Anders Schack-Mulligen b556590ef8 Merge pull request #17663 from aschackmull/dataflow/speculative-flow ...

Dataflow: Add support for speculative taint flow.

2024-10-31 08:12:43 +01:00

..

A.cpp

C++: The next commit is going to track flow out of both direct and indirect sources. This means we'll get a lot of duplication since there'll be flow from indirect source -> indirect sink and direct source -> direct sink (which both map to the same expressions). This commit changes the testing so that we only report a duplication when they're at different locations.

2023-02-27 14:57:35 +00:00

aliasing.cpp

C++: Accept library-test changes

2022-10-14 10:14:52 +02:00

arrays.cpp

C++: Accept test changes.

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

ASTConfiguration.qll

C++: Rewrite flow test common to use inline expectation test module

2023-05-23 16:34:41 +02:00

B.cpp

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

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

by_reference.cpp

C++: Accept test changes.

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

C.cpp

C++: Accept library-test changes

2022-10-14 10:14:52 +02:00

clearning.cpp

Apply suggestions from code review

2023-06-26 12:57:43 +02:00

complex.cpp

C++: Use new syntax in field-flow tests

2020-10-29 08:48:37 +01:00

conflated.cpp

C++: Fix the IR dataflow configuration for the field flow tests

2022-11-03 18:06:37 +01:00

constructors.cpp

C++: Use new syntax in field-flow tests

2020-10-29 08:48:37 +01:00

D.cpp

C++: Accept test changes.

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

dataflow-consistency.expected

Merge pull request #17663 from aschackmull/dataflow/speculative-flow

2024-10-31 08:12:43 +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

E.cpp

C++: Fix the IR dataflow configuration for the field flow tests

2022-11-03 18:06:37 +01:00

flow.expected

C++: Change queries to use 'asExpr' instead of 'asConvertedExpr'.

2023-09-01 15:01:32 +01:00

flow.ql

C++: Rewrite flow test common to use inline expectation test module

2023-05-23 16:34:41 +02:00

ir-path-flow.expected

C++/C#/Java: Accept test changes.

2024-08-21 10:51:28 +02:00

ir-path-flow.ql

C++: Rewrite flow test common to use inline expectation test module

2023-05-23 16:34:41 +02:00

IRConfiguration.qll

C++: Add tests for 'AdditionalCallTarget'.

2023-10-17 11:48:44 +01:00

Nodes.qll

use my script to delete outdated deprecations

2024-09-03 20:30:58 +02:00

partial-definition-diff.expected

C++: Accept test changes.

2024-10-23 13:37:06 +01:00

partial-definition-diff.ql

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

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

partial-definition-ir.expected

C++: Accept test changes.

2024-10-23 13:37:06 +01:00

partial-definition-ir.ql

C++: Add asPartialDefinition testcases

2020-05-26 13:14:11 +02:00

partial-definition.expected

C++: Accept test changes.

2024-10-23 13:37:06 +01:00

partial-definition.ql

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

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

path-flow.expected

C++/C#/Java: Accept test changes.

2024-08-21 10:51:28 +02:00

path-flow.ql

C++: Rewrite flow test common to use inline expectation test module

2023-05-23 16:34:41 +02:00

qualifiers.cpp

C++: Accept test changes.

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

realistic.cpp

C++: Change queries to use 'asExpr' instead of 'asConvertedExpr'.

2023-09-01 15:01:32 +01:00

simple.cpp

C++: Add test with missing flow.

2024-10-23 13:00:33 +01:00

struct_init.c

C++: Accept test changes.

2021-11-22 13:04:23 +00:00