Asger F 4645f327a5 JS: Avoid more bad joins due to locality

2025-11-13 09:46:14 +01:00

..

internal

JS: Add more overlay[caller?] annotations

2025-11-13 09:46:06 +01:00

AbstractProperties.qll

JS: Make implicit this receivers explicit

2023-05-03 15:31:00 +02:00

AbstractValues.qll

JS: Overlay annotations for AST layer

2025-11-13 09:45:56 +01:00

AdditionalFlowSteps.qll

JS: Overlay annotations for AST layer

2025-11-13 09:45:56 +01:00

AdditionalTaintSteps.qll

JS: Remove TODO about evaluating legacy steps

2025-01-09 09:40:29 +01:00

BackwardExploration.qll

JS: Deprecate forward/backward exploration modules

2025-01-03 11:41:39 +01:00

Configuration.qll

JS: Overlay annotations for AST layer

2025-11-13 09:45:56 +01:00

CustomAbstractValueDefinitions.qll

JS: Overlay annotations for AST layer

2025-11-13 09:45:56 +01:00

DataFlow.qll

JS: Avoid more bad joins due to locality

2025-11-13 09:46:14 +01:00

FlowSummary.qll

JS: Overlay annotations for AST layer

2025-11-13 09:45:56 +01:00

ForwardExploration.qll

JS: Deprecate forward/backward exploration modules

2025-01-03 11:41:39 +01:00

InferredTypes.qll

JS: Overlay annotations for AST layer

2025-11-13 09:45:56 +01:00

LocalObjects.qll

JS: Make implicit this receivers explicit

2023-05-03 15:31:00 +02:00

Nodes.qll

JS: Overlay annotations for AST layer

2025-11-13 09:45:56 +01:00

Portals.qll

JS: Deprecate Portals and delete tests

2025-09-11 11:05:36 +02:00

PromisifyFlow.qll

JS: Add data flow modeling for promisified user-defined functions

2025-09-15 17:13:13 +02:00

Refinements.qll

JS: Overlay annotations for AST layer

2025-11-13 09:45:56 +01:00

Sources.qll

JS: Overlay annotations for AST layer

2025-11-13 09:45:56 +01:00

TaintTracking.qll

Added escape as StringManipulationTaintStep.

2025-03-14 14:49:45 +01:00

TypeInference.qll

remove redundant imports for JS

2023-12-08 16:56:54 +01:00

TypeTracking.qll

JS: Refine criteria so that explicit this-passing is not affected

2025-10-06 11:43:18 +02:00