Mathias Vorreiter Pedersen fff5d293ff Merge branch 'main' into use-shared-ssa-in-ir-dataflow

2021-11-08 10:44:36 +00:00

..

additional-flow-to-parameter

C++: Autoformat everything

2019-09-09 11:25:53 +02:00

crement

C++: Move Load from AssignmentOperation to its LHS

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

dataflow-edge-tests

C++: Autoformat everything

2019-09-09 11:25:53 +02:00

dataflow-tests

C++: A 'LoadInstruction' in a store chain always sets 'certain = false'.

2021-10-28 14:52:57 +01:00

DefaultTaintTracking

Merge branch 'main' into use-shared-ssa-in-ir-dataflow

2021-11-08 10:44:36 +00:00

fields

Accept test changes.

2021-10-28 12:36:36 +01:00

partialdefinitions

C++: Accept test results with location fixes

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

recursion

C++: Autoformat everything

2019-09-09 11:25:53 +02:00

security-taint

C++: Accept test changes.

2021-10-28 12:35:01 +01:00

smart-pointers-taint

C++: Add annoying case in SSA.qll related to 'NewExpr' and accept test changes.

2021-10-28 12:35:01 +01:00

stackaddress

QL code and tests for C#/C++/JavaScript.

2018-08-02 17:53:23 +01:00

taint-tests

Accept test changes.

2021-10-28 12:36:36 +01:00

variable

C++: Relax type in two tests

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