Anders Schack-Mulligen b556590ef8 Merge pull request #17663 from aschackmull/dataflow/speculative-flow ...

Dataflow: Add support for speculative taint flow.

2024-10-31 08:12:43 +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

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

Merge pull request #17663 from aschackmull/dataflow/speculative-flow

2024-10-31 08:12:43 +01:00

external-models

Update expected test output

2024-09-18 13:51:02 +02:00

fields

Merge pull request #17663 from aschackmull/dataflow/speculative-flow

2024-10-31 08:12:43 +01:00

models-as-data

C++: No need for 'decodeUnknownContent' if we specify the MaD summary rows correctly. This avoids a bad join in a compiler-generated predicate.

2024-06-21 14:04:03 +01:00

parameters-without-defs

C++: Accept test changes.

2024-04-18 12:01:01 +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++/Java: Accept new warning format in ql tests

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

source-sink-tests

C++: Add Boost::Asio models.

2024-06-04 10:21:05 +01:00

stackaddress

C++: Fix 'StackPointerFlowsToUse' import.

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

taint-tests

C++: Add a taint model for 'fopen' and accept test changes.

2024-10-09 14:40:26 +01:00

variable

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

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