Mathias Vorreiter Pedersen 85875c2879 C++: Remove unnecessary recursion through Node.toString.

2026-02-27 16:32:01 +00:00

..

AddressFlow.qll

C++: Mark internal files in the old dataflow library as deprecated (the public imports already are).

2024-02-26 14:49:10 +00:00

DataFlowDispatch.qll

Dataflow: Add totalorder predicates to all languages.

2024-05-27 11:01:52 +02:00

DataFlowImpl.qll

C++: Implement new data flow interface

2024-03-11 20:56:38 +01:00

DataFlowImplCommon.qll

C++: Implement new data flow interface

2024-03-11 20:56:38 +01:00

DataFlowImplConsistency.qll

C++: Implement new data flow interface

2024-03-11 20:56:38 +01:00

DataFlowImplSpecific.qll

C++: Implement new data flow interface

2024-03-11 20:56:38 +01:00

DataFlowPrivate.qll

Dataflow: Replace ppReprType with DataFlowType.toString.

2024-07-25 13:08:47 +02:00

DataFlowUtil.qll

C++: Address review comments.

2025-09-04 12:52:46 +02:00

ExternalFlowExtensions.qll

MaD: Use "namespace" instead "package" in shared code.

2025-12-12 13:57:02 +01:00

FlowSummaryImpl.qll

C++: Remove unnecessary recursion through Node.toString.

2026-02-27 16:32:01 +00:00

FlowVar.qll

C++: Mark internal files in the old dataflow library as deprecated (the public imports already are).

2024-02-26 14:49:10 +00:00

SubBasicBlocks.qll

C++: Update deprecated note to respect identical files.

2024-02-26 16:38:27 +00:00

TaintTrackingImplSpecific.qll

C++: Implement new data flow interface

2024-03-11 20:56:38 +01:00

TaintTrackingUtil.qll

Add qldoc.

2024-10-16 14:35:23 +02:00