Mathias Vorreiter Pedersen 2af48e2536 Merge pull request #12970 from MathiasVP/barrier-guards-for-indirect-expressions ...

C++: Barrier guards API for indirect expressions

2023-05-03 18:14:01 +01:00

..

additional-flow-to-parameter

C++: Rename references.

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

crement

C++: Rename references.

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

dataflow-edge-tests

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

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

dataflow-tests

Merge pull request #12970 from MathiasVP/barrier-guards-for-indirect-expressions

2023-05-03 18:14:01 +01:00

DefaultTaintTracking

C++: Add conflation into DefaultTaintTracking.

2023-02-27 14:57:35 +00:00

fields

Merge remote-tracking branch 'upstream/main' into mathiasvp/replace-ast-with-ir-use-usedataflow

2023-03-16 10:28:44 +01:00

partialdefinitions

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

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

recursion

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

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

security-taint

C++: Add conflation into DefaultTaintTracking.

2023-02-27 14:57:35 +00:00

smart-pointers-taint

C++: The next commit is going to track flow out of both direct and indirect sources. This means we'll get a lot of duplication since there'll be flow from indirect source -> indirect sink and direct source -> direct sink (which both map to the same expressions). This commit changes the testing so that we only report a duplication when they're at different locations.

2023-02-27 14:57:35 +00:00

source-sink-tests

C++: Accept test changes.

2023-01-11 16:25:21 +00:00

stackaddress

C++: Fix 'StackPointerFlowsToUse' import.

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

taint-tests

C++: Fix test annotation.

2023-02-27 15:47:52 +00:00

variable

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

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