Asger F
|
ae4cf302f2
|
Remove failures from dataflow-consistency expectations
|
2025-09-11 14:49:58 +02:00 |
|
Mathias Vorreiter Pedersen
|
0631bd7466
|
C++: Add object/flow conflation for unions when resolving function pointers.
|
2025-08-19 13:57:13 +02:00 |
|
Mathias Vorreiter Pedersen
|
16508b1800
|
C++: Fix off-by-one error in getType on 'FinalGlobalValue' nodes and accept test changes.
|
2025-08-19 13:57:11 +02:00 |
|
Mathias Vorreiter Pedersen
|
302d35bedc
|
C++: Accept test changes.
|
2025-08-19 13:57:10 +02:00 |
|
Mathias Vorreiter Pedersen
|
fca49dde92
|
C++: Accept test changes.
|
2025-08-02 16:43:19 +01:00 |
|
Mathias Vorreiter Pedersen
|
34c1ec73c2
|
C++: Add tests with missing flow through globals.
|
2025-08-02 16:38:32 +01:00 |
|
Mathias Vorreiter Pedersen
|
a825213c05
|
C++: Fix FP by not generating a global def entry node for variable 'v' in the 'IRfunction' for 'v' itself.
|
2025-07-14 15:22:52 +01:00 |
|
Mathias Vorreiter Pedersen
|
46627c677d
|
C++: Add FP in dataflow through global variables.
|
2025-07-14 15:20:08 +01:00 |
|
Jeroen Ketema
|
b32a8c2489
|
C++: Add dataflow predicate for checking if a node is the final value of a parameter
|
2025-07-10 15:47:23 +02:00 |
|
Jeroen Ketema
|
fbc9615287
|
C++: Update expected test results
|
2025-05-23 16:03:47 +02:00 |
|
Jeroen Ketema
|
b800040c73
|
C++: Add tests for various local Windows dataflow sources
|
2025-05-23 15:55:02 +02:00 |
|
Mathias Vorreiter Pedersen
|
c3c6bb6e60
|
C++: Accept test changes.
|
2025-05-15 17:23:35 +01:00 |
|
Anders Schack-Mulligen
|
8749bdb979
|
C++: Accept test changes.
|
2025-03-25 13:58:52 +01:00 |
|
Anders Schack-Mulligen
|
c2309442d5
|
C++: Accept qltest changes.
|
2025-03-14 10:51:28 +01:00 |
|
Mathias Vorreiter Pedersen
|
f9a7ac4e89
|
C++: Accept test changes.
|
2025-03-07 19:59:06 +00:00 |
|
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 |
|