Mathias Vorreiter Pedersen 56153d583e C++: Switch to doublyBoundedFastTC when computing virtual dispatch edges and inline pairCand to avoid a giant tuple explosion.

2026-03-26 17:31:18 +00:00

..

internal

C++: Switch to doublyBoundedFastTC when computing virtual dispatch edges and inline pairCand to avoid a giant tuple explosion.

2026-03-26 17:31:18 +00:00

DataFlow.qll

C++: Delete deprecated data flow api.

2024-12-03 14:52:14 +01:00

FlowSteps.qll

Update cpp/ql/lib/semmle/code/cpp/ir/dataflow/FlowSteps.qll

2024-03-26 16:59:18 +00:00

MustFlow.qll

C++: MustFlow minor clean up

2026-02-17 09:06:36 +01:00

ResolveCall.qll

C++: Change Node/Node0.getEnclosingCallable back to returning Declaration.

2024-03-11 12:22:55 +00:00

TaintTracking.qll

C++: Delete deprecated data flow api.

2024-12-03 14:52:14 +01:00