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
Mathias Vorreiter Pedersen
17edfdf801
Merge pull request #16833 from MathiasVP/simplify-incorrect-allocation-error-handling
...
C++: Simplify `cpp/incorrect-allocation-error-handling`
2024-06-25 12:16:21 +01:00
Mathias Vorreiter Pedersen
982f845be7
C++: Accept test changes.
2024-06-25 09:31:00 +01:00
Jeroen Ketema
285ed3630b
C++: Update expected test results
2024-06-25 09:16:05 +02:00
Porcupiney Hairs
a7cdf0e2fd
CPP: Disabled SSL certificate verification
...
Disable SSL certificate verification can expose the communication to MITM attacks.
This PR adds a query to detect the same. This also include the tests and qhelp for the same.
2024-06-23 14:27:04 +05:30
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
bcabc88649
C++: Accept test changes.
2024-06-13 10:59:46 +01:00
Mathias Vorreiter Pedersen
eec259279a
C++: Add another FP test. We already have tests for this, but it doesn't hurt to have another one, I guess.
2024-06-13 10:57:49 +01: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
Jeroen Ketema
66077dc38d
C++: Ignore gets'es with incorrect parameter counts
2024-06-04 11:15:07 +02:00
Geoffrey White
94413c8c2e
C++: Implement YML extension models.
2024-06-03 13:49:38 +01:00
