Geoffrey White d41ea6c799 Merge pull request #5081 from MathiasVP/indirection-in-dataflow-models ...

C++: Add more indirection flow in dataflow models

2021-02-04 11:55:34 +00:00

..

additional-flow-to-parameter

…

crement

C++: Move Load from AssignmentOperation to its LHS

2020-01-24 09:09:31 +01:00

dataflow-edge-tests

…

dataflow-tests

Revert "Merge pull request #4784 from MathiasVP/mathiasvp/reverse-read-take-3"

2021-02-03 08:49:37 +01:00

DefaultTaintTracking

C++: Remove MISSING annotations for tests that are already correct.

2020-12-01 19:41:24 +01:00

fields

Revert "Merge pull request #4784 from MathiasVP/mathiasvp/reverse-read-take-3"

2021-02-03 08:49:37 +01:00

partialdefinitions

C++: Accept test results with location fixes

2020-05-28 09:42:49 +02:00

recursion

…

security-taint

C++: Refine StrLenFunction, including removal of taint flow.

2020-05-29 14:04:27 +01:00

stackaddress

…

taint-tests

C++: emplace and emplace_back takes its arguments by universal references, so they should also specify flow as indirections.

2021-02-04 11:16:27 +01:00

variable

C++: Relax type in two tests

2019-11-19 11:31:34 +01:00