Repository navigation

JS: Add overlay annotations - #20424

Merged

asgerf merged 23 commits into

github:mainfrom

asgerf:js/overlay-manual-v4

Nov 20, 2025

Merged

JS: Add overlay annotations#20424
asgerf merged 23 commits into
github:mainfrom
asgerf:js/overlay-manual-v4

Commits on Nov 13, 2025
- JS: Overlay annotations for AST layer
  asgerf
  committed
  23e42c8
- JS: Fix getRawEnclosingStmt call
  asgerf
  committed
  2b338fc
- JS: Add overlay[local?] to new summaries after rebasing
  asgerf
  committed
  b1418e1
- JS: Make more general-purpose data flow things local
  asgerf
  committed
  c09563f
- JS: Overlay annotations for some failing tests
  
  tausbn
  authored and
  asgerf
  committed
  8892097
- JS: Add some overlay[caller] and a pragma[nomagic] annotations
  asgerf
  committed
  66febb2
- JS: Add more overlay[caller?] annotations
  asgerf
  committed
  e72232f
- JS: Fix bad join in DuplicateProperty.ql
  asgerf
  committed
  ac3913e
- JS: Add overlay[local] to restore magic in unwrap() predicate
  asgerf
  committed
  5dd87e3
- JS: Avoid bad join in shared predicate induced by 'forex'.
  asgerf
  committed
  269489e
- JS: Avoid more bad joins due to locality
  asgerf
  committed
  4645f32
- JS: Improve join orders related to getABooleanValue()
  asgerf
  committed
  0594f84
- JS: Remove obsolete overlay[global] annotations
  asgerf
  committed
  6498cd1
- JS: Make isAssignedInUniqueFile global, as it should be
  asgerf
  committed
  46b1387
- Sync ApiGraphModelsExtensions.qll
  asgerf
  committed
  16e7dc1
- Sync ApiGraphModels.qll
  asgerf
  committed
  ecfa946
- JS: Fix bad join in CallGraphs.qll
  asgerf
  committed
  578355a
- JS: Fix bad join in BarrierGuards.qll
  asgerf
  committed
  c7341f2
Commits on Nov 17, 2025
- JS: Add discard predicates for locations
  asgerf
  committed
  a405b7b
- JS: Factor out some code
  asgerf
  committed
  4b57b44
Commits on Nov 18, 2025
- JS: Also discard JSON, YAML, and XML
  asgerf
  committed
  a0965f3
Commits on Nov 19, 2025
- JS: Remove out-commented code
  asgerf
  committed
  8fef604
- JS: Move identityFunctionStep back into CachedSteps module
  asgerf
  committed
  efa438a

Commits

Commits on Nov 13, 2025

Commits on Nov 17, 2025

Commits on Nov 18, 2025

Commits on Nov 19, 2025