Mathias Vorreiter Pedersen
|
8de7d4e8ef
|
C++: Accept test changes.
|
2025-01-18 02:11:52 +00:00 |
|
Mathias Vorreiter Pedersen
|
9970f7837b
|
C++: Add pointer/pointee conflation test.
|
2025-01-17 21:03:44 +00:00 |
|
Michael Nebel
|
12008b4b4e
|
C++: Update all test util paths to point to the new location.
|
2024-12-12 13:21:34 +01:00 |
|
Mathias Vorreiter Pedersen
|
9bcdfb6d01
|
C++: VariableAddressInstructions with array types are not single-object types.
|
2024-12-09 15:06:22 +00:00 |
|
Mathias Vorreiter Pedersen
|
41425b157f
|
C++: Add test with missing flow.
|
2024-12-08 23:47:34 +00:00 |
|
Jeroen Ketema
|
1420f564a5
|
C++: Update expected test results
|
2024-12-03 19:18:55 +01:00 |
|
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 |
|
Mathias Vorreiter Pedersen
|
2dbf75fde9
|
C++: Accept test changes.
|
2024-10-16 14:15:05 +01:00 |
|
Mathias Vorreiter Pedersen
|
9ea4c40ca9
|
C++: Add failing test.
|
2024-10-16 14:13:55 +01:00 |
|
Anders Schack-Mulligen
|
9ca8a27bae
|
C/C++: Accept test changes.
|
2024-10-16 14:35:22 +02:00 |
|
Jeroen Ketema
|
c90d0faaf6
|
C++: Fix ODR violations in dataflow tests
|
2024-10-08 20:34:20 +02:00 |
|
Simon Friis Vindum
|
f066f21751
|
C++: Make swap member functions data-flow functions
|
2024-09-04 13:55:19 +02:00 |
|
Simon Friis Vindum
|
037912fd2d
|
C++: Add data-flow test for realloc
|
2024-09-03 14:02:03 +02:00 |
|
Mathias Vorreiter Pedersen
|
8e18e7d4e6
|
Merge pull request #16791 from MathiasVP/collection-content-2
C++: Add support for `Element` content
|
2024-07-04 08:52:33 +01:00 |
|
Mathias Vorreiter Pedersen
|
b8c01e2901
|
C++: Accept test changes.
|
2024-07-03 11:18:21 +01:00 |
|
Mathias Vorreiter Pedersen
|
2e74ae448c
|
C++: Accept more test changes.
|
2024-06-21 14:04:08 +01:00 |
|
Mathias Vorreiter Pedersen
|
6513c33d26
|
C++: Accept test changes.
|
2024-06-21 14:04:02 +01:00 |
|
Mathias Vorreiter Pedersen
|
1bb762bea9
|
C++: Accept test changes.
|
2024-06-21 13:35:10 +01:00 |
|
Mathias Vorreiter Pedersen
|
3b585b4196
|
C++: Add test with missing flow.
|
2024-06-21 13:35:08 +01:00 |
|
Jeroen Ketema
|
4c4c15b425
|
C++: Remove unneeded options from tests
|
2024-06-20 14:21:34 +02:00 |
|
Paolo Tranquilli
|
919ddccfdb
|
C++/Java: Accept new warning format in ql tests
|
2024-06-19 09:13:18 +02:00 |
|
Mathias Vorreiter Pedersen
|
ed525fce70
|
C++: Accept test changes.
|
2024-06-06 20:38:31 +01:00 |
|
Mathias Vorreiter Pedersen
|
b5a3575130
|
C++: Make proper use of barrier guards in test.
|
2024-06-06 20:38:17 +01:00 |
|
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 |
|
Mathias Vorreiter Pedersen
|
f7b2d98c6e
|
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 |
|
Mathias Vorreiter Pedersen
|
bd9ece0bd3
|
C++: Add dataflow through '__builtin_bit_cast'.
|
2024-06-06 10:00:18 +01:00 |
|
Mathias Vorreiter Pedersen
|
97f0c759c0
|
C++: Accept test changes.
|
2024-06-05 09:58:47 +01:00 |
|
Mathias Vorreiter Pedersen
|
43c7ac36d9
|
C++: Add a test with spurious flow.
|
2024-06-04 17:19:36 +01:00 |
|
Mathias Vorreiter Pedersen
|
5f0efc19fa
|
C++: Accept test changes.
|
2024-04-29 09:38:41 +01:00 |
|
Mathias Vorreiter Pedersen
|
58832a546a
|
C++: Accept test changes.
|
2024-04-18 12:33:27 +01:00 |
|
Mathias Vorreiter Pedersen
|
386580fc94
|
C++: Accept test changes.
|
2024-04-08 21:26:12 +01:00 |
|
Mathias Vorreiter Pedersen
|
c389611e5c
|
C++: Add spurious dataflow test.
|
2024-04-08 21:24:59 +01:00 |
|
Mathias Vorreiter Pedersen
|
4c9876b008
|
C++: Accept test changes.
|
2024-03-06 18:18:36 -08:00 |
|
Mathias Vorreiter Pedersen
|
cc754858c6
|
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 |
|
Mathias Vorreiter Pedersen
|
a60afef923
|
C++: Add a local flow test file for IR dataflow.
|
2024-03-06 18:10:08 -08:00 |
|
Mathias Vorreiter Pedersen
|
9b2019db6b
|
C++: Accept test changes.
|
2024-02-16 13:10:41 +01:00 |
|
Mathias Vorreiter Pedersen
|
24a63ae94d
|
C++: Block flow by default.
|
2024-02-16 12:56:19 +01:00 |
|
Mathias Vorreiter Pedersen
|
a799399639
|
C++: Accept test changes.
|
2024-02-12 16:51:25 +00:00 |
|
Mathias Vorreiter Pedersen
|
8635b5d316
|
C++: Add test with missing flow.
|
2024-02-12 16:44:38 +00:00 |
|
Mathias Vorreiter Pedersen
|
1dfddaf9ab
|
C++: Also mark indirections of glvalue instructions as glvalue nodes.
|
2024-02-08 16:52:09 +00:00 |
|
Mathias Vorreiter Pedersen
|
4d01a93107
|
C++: Use 'getUnderlyingType' instead of 'getUnspecifiedType'.
|
2024-02-08 16:49:15 +00:00 |
|
Mathias Vorreiter Pedersen
|
78ce857ef2
|
C++: Add consistency test and accept consistency failures.
|
2024-02-08 16:16:24 +00:00 |
|
Benjamin Rodes
|
5866fc1fd0
|
Updating expected file.
|
2024-02-07 10:12:25 -05:00 |
|
Benjamin Rodes
|
fc509c2cbe
|
Added additional gettext variant test.
|
2024-02-06 09:17:10 -05:00 |
|
Benjamin Rodes
|
5b2d15265f
|
gettext variant dataflow tests
|
2024-02-05 13:01:51 -05:00 |
|
Mathias Vorreiter Pedersen
|
439d3d2438
|
C++: Add tests with higher level of indirection.
|
2024-02-02 12:09:46 +00:00 |
|
Mathias Vorreiter Pedersen
|
6f5ed9ad3b
|
C++: Accept test changes.
|
2024-02-01 20:15:15 +00:00 |
|
Mathias Vorreiter Pedersen
|
1ac75def2b
|
C++: Add another testcase with spurious summary flow.
|
2024-02-01 15:11:52 +00:00 |
|
Mathias Vorreiter Pedersen
|
6bd31deb00
|
Merge pull request #15282 from MathiasVP/fix-duplicate-final-global-value
C++: Fix duplicate "final global value" nodes
|
2024-01-12 11:05:19 +00:00 |
|
Tom Hvitved
|
ad75562b55
|
CPP: Update expected test output
|
2024-01-10 15:27:22 +01:00 |
|