Geoffrey White 1b35c0b7c9 Data flow: Improve doc for defaultImplicitTaintRead.

2025-02-28 09:43:57 +00: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

SSA: Remove the need for ExitBasicBlock in SSA.

2025-02-10 14:36:18 +01:00