Mathias Vorreiter Pedersen dfda5a0793 Merge pull request #20249 from MathiasVP/type-tracking-for-cpp-3 ...

C++: Use the shared type-tracking library for virtual dispatch resolution

2025-08-21 11:14:12 +02:00

..

additional-flow-to-parameter

C++: Rename references.

2023-03-23 13:06:19 +01:00

asExpr

C++: Address review comments

2025-07-04 23:13:37 +02:00

calls-as-ssa-variables

C++: Accept test changes.

2024-07-06 12:27:41 +01:00

crement

C++: Rename references.

2023-03-23 13:06:19 +01:00

dataflow-edge-tests

C++/Java: Accept new warning format in ql tests

2024-06-19 09:13:18 +02:00

dataflow-tests

C++: Add object/flow conflation for unions when resolving function pointers.

2025-08-19 13:57:13 +02:00

dispatch

C++: Fix off-by-one error in getType on 'FinalGlobalValue' nodes and accept test changes.

2025-08-19 13:57:11 +02:00

external-models

C++: Accept test changes.

2025-07-23 14:05:42 +01:00

fields

C++: Accept test changes.

2025-08-02 16:43:19 +01:00

ir-barrier-guards

C++: Accept test changes.

2025-01-13 18:34:42 +00:00

modelgenerator/dataflow

C++/C#/Java/Rust: Fixup tests.

2025-05-02 16:52:05 +01:00

models-as-data

C++: Accept test changes.

2025-05-23 11:19:25 +01:00

parameters-without-defs

C++: Update all test util paths to point to the new location.

2024-12-12 13:21:34 +01:00

partialdefinitions

C++: Revert semmle.code.cpp.dataflow to its old state

2023-02-10 14:21:44 +01:00

smart-pointers-taint

C++: Update all test util paths to point to the new location.

2024-12-12 13:21:34 +01:00

source-sink-tests

C++: Also update source-sink tests.

2025-03-14 20:04:45 +00:00

stackaddress

C++: Fix 'StackPointerFlowsToUse' import.

2022-10-27 16:34:04 +02:00

taint-tests

C++: Mark fprintf and friends as a partial write of the stream argument.

2025-08-18 18:15:14 +02:00

variable

C++: Revert semmle.code.cpp.dataflow to its old state

2023-02-10 14:21:44 +01:00