Mathias Vorreiter Pedersen 0631bd7466 C++: Add object/flow conflation for unions when resolving function pointers.

2025-08-19 13:57:13 +02:00

..

acrossLinkTargets.cpp

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

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

BarrierGuard.cpp

C++: Accept test changes.

2024-06-06 20:38:31 +01:00

clang.cpp

C++: Remove unneeded options from tests

2024-06-20 14:21:34 +02:00

dataflow-consistency.expected

C++: Add tests with missing flow through globals.

2025-08-02 16:38:32 +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/C++: Accept test changes.

2024-10-16 14:35:22 +02:00

dataflow-ir-consistency.ql

C++: Add tests.

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

dispatch.cpp

C++: Add object/flow conflation for unions when resolving function pointers.

2025-08-19 13:57:13 +02:00

example.c

C++: Accept test changes.

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

flowOut.cpp

C++: Fix ODR violations in dataflow tests

2024-10-08 20:34:20 +02: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++: Update expected test results

2024-12-03 19:18:55 +01:00

guard-condition-regression-test.ql

C++: Update all test util paths to point to the new location.

2024-12-12 13:21:34 +01:00

has-parameter-flow-out.expected

C++: Update expected test results

2024-12-03 19:18:55 +01:00

has-parameter-flow-out.ql

C++: Add dataflow predicate for checking if a node is the final value of a parameter

2025-07-10 15:47:23 +02:00

lambdas.cpp

C++: Accept test changes.

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

localFlow-ir.expected

C++: Accept test changes.

2025-05-15 17:23:35 +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++: Make swap member functions data-flow functions

2024-09-04 13:55:19 +02: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++: Fix ODR violations in dataflow tests

2024-10-08 20:34:20 +02:00

test_self_argument_flow.expected

C++: Update expected test results

2024-12-03 19:18:55 +01:00

test_self_argument_flow.ql

C++: Update all test util paths to point to the new location.

2024-12-12 13:21:34 +01:00

test_self_parameter_flow.expected

C++: Update expected test results

2024-12-03 19:18:55 +01:00

test_self_parameter_flow.ql

C++: Update all test util paths to point to the new location.

2024-12-12 13:21:34 +01:00

test-number-of-outnodes.expected

C++: Update expected test results

2024-12-03 19:18:55 +01:00

test-number-of-outnodes.ql

C++: Update all test util paths to point to the new location.

2024-12-12 13:21:34 +01:00

test-source-sink.expected

C++: Add object/flow conflation for unions when resolving function pointers.

2025-08-19 13:57:13 +02: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.

2025-08-02 16:43:19 +01:00

test.expected

C++: Update expected test results

2024-12-03 19:18:55 +01:00

test.ql

C++: Update all test util paths to point to the new location.

2024-12-12 13:21:34 +01:00

TestBase.qll

C++: Add tests for various local Windows dataflow sources

2025-05-23 15:55:02 +02:00

true_upon_entry.cpp

C++: Fix ODR violations in dataflow tests

2024-10-08 20:34:20 +02:00

type-bugs.expected

C++: Update expected test results

2024-12-03 19:18:55 +01:00

type-bugs.ql

C++: Update all test util paths to point to the new location.

2024-12-12 13:21:34 +01:00

uninitialized.expected

C++: Add test with missing flow.

2024-12-08 23:47:34 +00:00

uninitialized.ql

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

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

winmain.cpp

C++: Update expected test results

2025-05-23 16:03:47 +02:00