Mathias Vorreiter Pedersen 2482519cd3 DataFlow: Cached second level scope.

2024-04-26 13:09:59 +01:00

..

internal

DataFlow: Cached second level scope.

2024-04-26 13:09:59 +01:00

test

Dataflow: Use default fieldFlowBranchLimit in qltests.

2024-04-15 15:13:03 +02:00

DataFlow.qll

C++: Count return dispatch based on 2nd level scopes.

2024-04-15 15:13:08 +02:00

TaintTracking.qll

Java/Dataflow: Propagate MaD-id/model-id to PathGraph.

2024-04-12 09:19:51 +02:00

VariableCapture.qll

Variable capture: Avoid overlapping and false-positive data flow paths

2024-03-08 10:00:42 +01:00