Mathias Vorreiter Pedersen 9f4c1380e5 Merge pull request #16677 from MathiasVP/phi-input-nodes ...

C++: Extend barrier guards to handle phi inputs

2024-06-06 19:21:30 +01:00

..

acrossLinkTargets.cpp

C++: Port dataflow/dataflow-tests to inline expectations test library.

2020-11-27 16:03:15 +01:00

BarrierGuard.cpp

C++: Add tests to demonstrate that it's not barrier guard that's buggy. Rather, it's the GuardCondition library.

2024-06-06 15:35:16 +01:00

clang.cpp

C++: Add dataflow through '__builtin_bit_cast'.

2024-06-06 10:00:18 +01:00

dataflow-consistency.expected

C++: Add spurious dataflow test.

2024-04-08 21:24:59 +01:00

dataflow-consistency.ql

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

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

dataflow-ir-consistency.expected

C++: Accept test changes.

2024-02-12 16:51:25 +00:00

dataflow-ir-consistency.ql

C++: Add tests.

2020-03-11 10:49:21 +01:00

dispatch.cpp

C++: Accept test changes.

2024-02-16 13:10:41 +01:00

example.c

C++: Accept test changes.

2024-02-16 13:10:41 +01:00

flowOut.cpp

C++: Accept test changes.

2024-02-16 13:10:41 +01:00

globals.cpp

C++: Port dataflow/dataflow-tests to inline expectations test library.

2020-11-27 16:03:15 +01:00

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

C++: Add Schack's tests.

2023-11-28 14:32:21 +00:00

has-parameter-flow-out.ql

Add default for hasOptionalResult

2023-05-23 12:32:11 +02:00

lambdas.cpp

C++: Accept test changes.

2024-02-16 13:10:41 +01:00

localFlow-ir.expected

C++: Accept test changes.

2024-06-05 09:58:47 +01:00

localFlow-ir.ql

C++: Add a local flow test file for IR dataflow.

2024-03-06 18:10:08 -08:00

localFlow.expected

C++: Add a testcase with missing flow out of the address of 'a' and to the argument of 'sink'.

2024-03-06 18:15:49 -08:00

localFlow.ql

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

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

ref.cpp

C++: Accept test changes.

2024-02-16 13:10:41 +01:00

self_argument_flow.cpp

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

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

self_parameter_flow.cpp

C++: Accept test changes.

2024-02-16 13:10:41 +01:00

self-Iterator.cpp

C++: Accept test changes.

2023-06-20 13:05:25 +01:00

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

C++: Add testcase that demonstrate the need for self-flow out of indirect parameters.

2023-06-22 19:33:13 +01:00

test_self_parameter_flow.ql

C++: Add testcase that demonstrate the need for self-flow out of indirect parameters.

2023-06-22 19:33:13 +01:00

test-number-of-outnodes.expected

C++: Accept test changes.

2023-07-17 10:51:42 +01:00

test-number-of-outnodes.ql

C++: Rewrite inline expectation tests to use the parameterized module

2023-05-24 11:10:05 +02:00

test-source-sink.expected

Merge pull request #16677 from MathiasVP/phi-input-nodes

2024-06-06 19:21:30 +01:00

test-source-sink.ql

C++: Slightly refactor test QL files so that we can add a test which tests the nodes being selected.

2023-11-16 10:50:56 +00:00

test.cpp

C++: Accept test changes.

2024-04-29 09:38:41 +01:00

test.expected

C++: Accept test changes from refactoring QL files.

2023-11-16 10:52:10 +00:00

test.ql

C++: Slightly refactor test QL files so that we can add a test which tests the nodes being selected.

2023-11-16 10:50:56 +00:00

TestBase.qll

C++: Add tests to demonstrate that it's not barrier guard that's buggy. Rather, it's the GuardCondition library.

2024-06-06 15:35:16 +01:00

true_upon_entry.cpp

C++: Fix wrong return types and missing statement in dataflow test

2022-11-08 09:55:10 +01:00

type-bugs.expected

C++: Accept test changes.

2024-04-18 12:33:27 +01:00

type-bugs.ql

C++: Add consistency test and accept consistency failures.

2024-02-08 16:16:24 +00:00

uninitialized.expected

C++: Add a testcase with missing flow out of the address of 'a' and to the argument of 'sink'.

2024-03-06 18:15:49 -08:00

uninitialized.ql

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

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