Asger F 891b2b8335 DataFlow: Support a bare Argument[n] as a valid output stack

2025-05-12 09:42:45 +02:00

..

internal

DataFlow: Support a bare Argument[n] as a valid output stack

2025-05-12 09:42:45 +02:00

test

Rust: Translate more MaD IDs in tests

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

DataFlow.qll

Dataflow: Make default field flow branch limit configurable per language

2025-04-24 11:02:49 +02: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