Mathias Vorreiter Pedersen
|
6ef9dba2fb
|
C++: Accept test changes.
|
2024-07-04 14:22:04 +01:00 |
|
Mathias Vorreiter Pedersen
|
d1e1037586
|
C++: Accept test changes.
|
2024-07-04 14:22:00 +01:00 |
|
Mathias Vorreiter Pedersen
|
c5c4f08bea
|
C++: Rename from 'getAllocation' to 'getAnAllocation'.
|
2024-07-04 12:12:00 +01:00 |
|
Mathias Vorreiter Pedersen
|
4953e7e7fa
|
C++: Add tests.
|
2024-07-04 12:11:50 +01: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
|
356d928544
|
C++: Accept test changes.
|
2024-07-03 18:16:20 +01:00 |
|
Mathias Vorreiter Pedersen
|
b8c01e2901
|
C++: Accept test changes.
|
2024-07-03 11:18:21 +01:00 |
|
Mathias Vorreiter Pedersen
|
4535043e90
|
C++: Accept test changes.
|
2024-06-27 20:15:58 +01:00 |
|
Jeroen Ketema
|
8defd27b49
|
C++: Update test expectations
|
2024-06-27 17:45:33 +02:00 |
|
Mathias Vorreiter Pedersen
|
e845204ec9
|
C++: Add tests of internal MaD predicates and accept test changes.
|
2024-06-26 14:10:31 +01:00 |
|
Jeroen Ketema
|
285ed3630b
|
C++: Update expected test results
|
2024-06-25 09:16:05 +02:00 |
|
Mathias Vorreiter Pedersen
|
2e74ae448c
|
C++: Accept more test changes.
|
2024-06-21 14:04:08 +01:00 |
|
Mathias Vorreiter Pedersen
|
c8f3c1a798
|
C++: Accept test changes. Nothing exciting to see here.
|
2024-06-21 14:04:06 +01:00 |
|
Mathias Vorreiter Pedersen
|
3e9862391b
|
C++: No need for 'decodeUnknownContent' if we specify the MaD summary rows correctly. This avoids a bad join in a compiler-generated predicate.
|
2024-06-21 14:04:03 +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 |
|
Jeroen Ketema
|
14b5114aa6
|
C++: Add more tests that show we do not properly deduplicate attributes
|
2024-06-14 17:44:05 +02:00 |
|
Jeroen Ketema
|
7d97463e4d
|
C++: Add test that show that routine attributes are not fully de-duplicated
|
2024-06-14 16:43:29 +02:00 |
|
Mathias Vorreiter Pedersen
|
9e088f3e4a
|
C++: Accept test changes.
|
2024-06-10 12:53:06 +01:00 |
|
Mathias Vorreiter Pedersen
|
d76700497b
|
C++: Add testcases using the builtin expect operation.
|
2024-06-10 12:47:45 +01:00 |
|
Jeroen Ketema
|
000a81fd29
|
Merge pull request #16690 from MathiasVP/better-guards
C++: Fix missing results for `comparesEq` in `IRGuardCondition`
|
2024-06-10 13:32:10 +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 |
|
Jeroen Ketema
|
4488518838
|
C++: Update expected test results
|
2024-06-06 21:12:34 +02:00 |
|
Jeroen Ketema
|
5ae8fe502a
|
C++: Correctly identify orphaned variables as static
|
2024-06-06 20:35:26 +02:00 |
|
Jeroen Ketema
|
798357ffc6
|
C++: Add test case that shows that __func__ is not considered static
|
2024-06-06 20:31:45 +02:00 |
|
Mathias Vorreiter Pedersen
|
7b92554cf2
|
Merge branch 'main' into better-guards
|
2024-06-06 19:22:10 +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
|
9564ae1ca4
|
C++: Accept more test changes.
|
2024-06-06 17:04:48 +01:00 |
|
Mathias Vorreiter Pedersen
|
528afba919
|
C++: Accept test changes.
|
2024-06-06 16:32:29 +01:00 |
|
Mathias Vorreiter Pedersen
|
0298755975
|
C++: Add a test.
|
2024-06-06 16:22:23 +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
|
5deb9002bf
|
Merge pull request #16665 from geoffw0/yml
C++: Support for extension models (.yml)
|
2024-06-06 14:21:42 +01:00 |
|
Geoffrey White
|
8acb11924d
|
C++: Remove redundant import.
|
2024-06-06 13:39:10 +01:00 |
|
Geoffrey White
|
7aec488d8a
|
C++: Permit ':' in models-as-data namespaces.
|
2024-06-06 12:53:42 +01:00 |
|
Geoffrey White
|
894497218d
|
Shared: Recognize 'remote-sink' in ModelValidation.qll.
|
2024-06-06 12:49:13 +01:00 |
|
Mathias Vorreiter Pedersen
|
bd9ece0bd3
|
C++: Add dataflow through '__builtin_bit_cast'.
|
2024-06-06 10:00:18 +01:00 |
|
Mathias Vorreiter Pedersen
|
48f2fd0460
|
C++: Accept IR changes.
|
2024-06-06 09:52:35 +01:00 |
|
Mathias Vorreiter Pedersen
|
af4d2f1ed3
|
C++: Add an IR test.
|
2024-06-06 09:48:03 +01:00 |
|
Mathias Vorreiter Pedersen
|
97f0c759c0
|
C++: Accept test changes.
|
2024-06-05 09:58:47 +01:00 |
|
Mathias Vorreiter Pedersen
|
ceccc9294c
|
C++: Add a testcase that failed during development.
|
2024-06-04 17:19:41 +01:00 |
|
Mathias Vorreiter Pedersen
|
43c7ac36d9
|
C++: Add a test with spurious flow.
|
2024-06-04 17:19:36 +01:00 |
|
Geoffrey White
|
79e9198b20
|
C++: An empty models-as-data namespace / type is not 'dubious' in CPP.
|
2024-06-04 10:21:06 +01:00 |
|
Geoffrey White
|
f479649727
|
C++: Add Boost::Asio models.
|
2024-06-04 10:21:05 +01:00 |
|
Geoffrey White
|
7e5b7346c0
|
C++: Add flow test cases for Boost::Asio.
|
2024-06-04 10:21:05 +01:00 |
|
Geoffrey White
|
8a5b5d220a
|
C++: Add source/sink test cases for Boost::Asio.
|
2024-06-04 10:21:05 +01:00 |
|
Geoffrey White
|
94413c8c2e
|
C++: Implement YML extension models.
|
2024-06-03 13:49:38 +01:00 |
|