Mathias Vorreiter Pedersen dd656d34be Merge branch 'main' into break-bigstep-at-store

2024-04-16 15:33:21 +01:00

..

additional-flow-to-parameter

C++: Rename references.

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

asExpr

C++: Accept test changes.

2024-01-29 14:11:07 +00:00

crement

C++: Rename references.

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

dataflow-edge-tests

C++: Accept test changes.

2023-07-17 10:51:42 +01:00

dataflow-tests

C++: Accept test changes.

2024-04-08 21:26:12 +01:00

fields

C++: Accept test changes in paths.

2024-04-16 11:09:22 +01:00

models-as-data

C++: Fixes for internals that are now private.

2024-04-10 17:32:10 +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++: Accept test changes.

2023-07-17 10:51:42 +01:00

source-sink-tests

C++: Improve indirectionForModelledFunction.

2024-04-09 12:06:03 +01:00

stackaddress

C++: Fix 'StackPointerFlowsToUse' import.

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

taint-tests

C++: Add ZMQ summary models.

2024-04-09 18:10:15 +01:00

variable

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

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