Cornelius Riemenschneider
|
feb05542d2
|
C++: Refactor common implementation of data/taint flow tests.
|
2020-12-02 15:42:52 +01:00 |
|
Mathias Vorreiter Pedersen
|
2a1ba6d592
|
C++: Share configurations in testcases
|
2020-06-02 16:50:57 +02:00 |
|
Mathias Vorreiter Pedersen
|
1c2b8563ae
|
C++: Remove 'flow' value from testcases
|
2020-05-14 15:33:02 +02:00 |
|
Mathias Vorreiter Pedersen
|
f5f3405ec3
|
C++: Modify IR field flow tests to use InlineExpectationsTest.qll
|
2020-05-14 11:11:21 +02:00 |
|
Anders Schack-Mulligen
|
96e4a57edd
|
C++: Autoformat.
|
2020-01-29 13:11:50 +01:00 |
|
Mathias Vorreiter Pedersen
|
1d3ee71f73
|
C++: Added test for 333d0a69
|
2019-12-17 13:54:41 +01:00 |
|
Pavel Avgustinov
|
79d75d7d18
|
Add extra test cases
|
2019-08-08 14:05:03 +02:00 |
|
Pavel Avgustinov
|
b1632587bc
|
Use more meaningful name
|
2019-08-08 14:05:03 +02:00 |
|
Pavel Avgustinov
|
6d4d131ad4
|
C++ field flow: Add test.
This is a fairly direct translation of the Java field flow test to
C++. Not all the `// flow` annotations are currently accurate.
|
2019-08-08 14:05:03 +02:00 |
|