Anders Schack-Mulligen ca6444ce98 VariableCapture: Replace phi-read reference with SSA data flow integration module.

2025-03-31 10:49:09 +02:00

..

internal

Fix typo.

2025-02-24 13:59:22 +00:00

test

Rust: Translate more MaD IDs in tests

2025-01-23 14:45:33 +01:00

DataFlow.qll

Dataflow: Use (node,state) pair as node type in stage 2+.

2025-02-04 10:46:58 +01:00

TaintTracking.qll

Data flow: Improve doc for defaultImplicitTaintRead.

2025-02-28 09:43:57 +00:00

VariableCapture.qll

VariableCapture: Replace phi-read reference with SSA data flow integration module.

2025-03-31 10:49:09 +02:00