Mathias Vorreiter Pedersen 07db62d90b C++: Rewrite the PartialDefinitionNode classes to match the new StoreNodes.

2021-10-22 11:42:34 +01:00

..

A.cpp

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

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

aliasing.cpp

C++: Use new predicate and accept test changes.

2021-03-04 16:05:38 +01:00

arrays.cpp

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

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

ASTConfiguration.qll

C++: Refactor common implementation of data/taint flow tests.

2020-12-02 15:42:52 +01:00

B.cpp

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

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

by_reference.cpp

Revert "Merge pull request #4784 from MathiasVP/mathiasvp/reverse-read-take-3"

2021-02-03 08:49:37 +01:00

C.cpp

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

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

complex.cpp

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

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

conflated.cpp

C++: Add dataflow testcases that need flow through conflated memory.

2021-01-04 11:43:23 +01:00

constructors.cpp

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

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

D.cpp

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

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

dataflow-consistency.expected

C++: Add support for default member initializers.

2021-08-26 12:32:30 +01:00

dataflow-consistency.ql

C++: Add tests.

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

dataflow-ir-consistency.expected

C++: Add missing store step for single-field struct use

2021-04-12 18:11:41 -04:00

dataflow-ir-consistency.ql

C++: Add tests.

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

E.cpp

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

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

flow.expected

C++: Update inline expectation comments

2020-10-16 09:05:01 +02:00

flow.ql

C++: Refactor common implementation of data/taint flow tests.

2020-12-02 15:42:52 +01:00

ir-path-flow.expected

Dataflow: Update test expected outputs.

2021-09-07 13:02:20 +02:00

ir-path-flow.ql

C++: Refactor common implementation of data/taint flow tests.

2020-12-02 15:42:52 +01:00

IRConfiguration.qll

C++: Refactor common implementation of data/taint flow tests.

2020-12-02 15:42:52 +01:00

Nodes.qll

C++: Add test demonstrating differences between AST and IR field flow. Also refactored the partial definitions test

2020-06-15 09:39:15 +02:00

partial-definition-diff.expected

C++: Rewrite the PartialDefinitionNode classes to match the new StoreNodes.

2021-10-22 11:42:34 +01:00

partial-definition-diff.ql

C++: Ensure all values are bound in both disjunctions.

2021-04-12 18:27:21 +02:00

partial-definition-ir.expected

C++: Rewrite the PartialDefinitionNode classes to match the new StoreNodes.

2021-10-22 11:42:34 +01:00

partial-definition-ir.ql

C++: Add asPartialDefinition testcases

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

partial-definition.expected

C++: Rewrite the PartialDefinitionNode classes to match the new StoreNodes.

2021-10-22 11:42:34 +01:00

partial-definition.ql

C++: Add asPartialDefinition testcases

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

path-flow.expected

Dataflow: Update test expected outputs.

2021-09-07 13:02:20 +02:00

path-flow.ql

C++: Refactor common implementation of data/taint flow tests.

2020-12-02 15:42:52 +01:00

qualifiers.cpp

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

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

realistic.cpp

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

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

simple.cpp

Revert "Merge pull request #4784 from MathiasVP/mathiasvp/reverse-read-take-3"

2021-02-03 08:49:37 +01:00

struct_init.c

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

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