Mathias Vorreiter Pedersen 67ed12c916 C++: Correctly model that 'operator->', and 'get' ...

on smart pointers perform a load.

2023-10-23 20:11:23 +01:00

..

acrossLinkTargets.cpp

…

BarrierGuard.cpp

…

clang.cpp

…

dataflow-consistency.expected

C++: Update expected test output

2023-09-12 20:05:12 +02:00

dataflow-consistency.ql

…

dataflow-ir-consistency.expected

C++: Correctly model that 'operator->', and 'get'

2023-10-23 20:11:23 +01:00

dataflow-ir-consistency.ql

…

dispatch.cpp

…

example.c

…

globals.cpp

…

guard-condition-regression-test.cpp

C++: Accept test changes.

2023-09-14 14:04:12 +01:00

guard-condition-regression-test.expected

C++: Add failing test.

2023-09-14 14:01:48 +01:00

guard-condition-regression-test.ql

C++: Add failing test.

2023-09-14 14:01:48 +01:00

has-parameter-flow-out.expected

…

has-parameter-flow-out.ql

…

lambdas.cpp

…

localFlow.expected

…

localFlow.ql

…

ref.cpp

…

self_argument_flow.cpp

C++: Fix FPs by making 'isArgumentOfCallable' more robust.

2023-08-29 14:12:09 +01:00

self_parameter_flow.cpp

…

self-Iterator.cpp

…

test_self_argument_flow.expected

C++: Add false positive caused by flowing back into a function after doing reverse reads.

2023-08-28 14:45:16 +01:00

test_self_argument_flow.ql

C++: Add false positive caused by flowing back into a function after doing reverse reads.

2023-08-28 14:45:16 +01:00

test_self_parameter_flow.expected

…

test_self_parameter_flow.ql

…

test-number-of-outnodes.expected

…

test-number-of-outnodes.ql

…

test.cpp

C++: Accept test changes.

2023-09-08 17:07:26 +01:00

test.expected

C++: Add failing test.

2023-09-14 14:01:48 +01:00

test.ql

…

true_upon_entry.cpp

…

type-bugs.expected

C++: Accept test changes.

2023-10-10 16:45:31 +01:00

type-bugs.ql

…

uninitialized.expected

C++: Add regression test.

2023-09-08 13:10:04 +01:00

uninitialized.ql

…