Mathias Vorreiter Pedersen
|
afc0d0a078
|
C++: Accept test changes.
|
2024-07-30 11:54:20 +01:00 |
|
Mathias Vorreiter Pedersen
|
f932e515a7
|
C++: Accept test changes.
|
2024-07-30 11:11:38 +01:00 |
|
Mathias Vorreiter Pedersen
|
8edf19adc0
|
C++: Add MaD model for 'std::format'.
|
2024-07-30 10:15:39 +01:00 |
|
Mathias Vorreiter Pedersen
|
ff788c93c0
|
C++: Add a model for 'std::format' and a failing test.
|
2024-07-30 10:13:39 +01:00 |
|
Alexandre Boulgakov
|
2396c3c798
|
C++: Update MaD tests with correct template parameter counting in the presence of packs.
|
2024-07-29 14:59:49 +01:00 |
|
Geoffrey White
|
98319be3a7
|
Merge pull request #16985 from geoffw0/madprov
C++: Support MaD alert provenance
|
2024-07-17 16:25:49 +01:00 |
|
Geoffrey White
|
195c20cfd5
|
C++: Fix provenance for sources/sinks.
|
2024-07-16 09:33:51 +01:00 |
|
Geoffrey White
|
eefbb676e9
|
C++: Support alert provenance.
|
2024-07-16 09:33:48 +01:00 |
|
Geoffrey White
|
391816c9e7
|
C++: Add path graph to one of the external models tests.
|
2024-07-15 17:37:55 +01:00 |
|
Alexandre Boulgakov
|
18d9310a61
|
C++: Update tests to reflect on-demand indexing of special member functions.
None of these tests were relying on the removed rows.
|
2024-07-12 18:06:56 +01:00 |
|
Mathias Vorreiter Pedersen
|
7a2b170da2
|
C++: Accept test changes.
|
2024-07-12 09:54:20 +01:00 |
|
Mathias Vorreiter Pedersen
|
8ccdc2518f
|
C++: Accept test changes.
|
2024-07-06 12:27:41 +01:00 |
|
Mathias Vorreiter Pedersen
|
79919d3c58
|
C++: Add FP dataflow test.
|
2024-07-05 17:36:47 +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 |
|
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
|
2e74ae448c
|
C++: Accept more test changes.
|
2024-06-21 14:04:08 +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 |
|
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
|
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
|
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 |
|
Geoffrey White
|
34130d50d3
|
C++: Add library tests for YML extension models.
|
2024-06-03 13:49:26 +01:00 |
|
Anders Schack-Mulligen
|
e7f24318cd
|
C++: Accept qltest .expected file changes.
|
2024-05-22 15:36:30 +02:00 |
|
Anders Schack-Mulligen
|
f977a4206a
|
C++: Accept qltest .expected file changes (interesting).
|
2024-05-22 15:35:28 +02:00 |
|
Rasmus Wriedt Larsen
|
2451a6d3f6
|
Accept .expected changes
|
2024-05-21 14:47:42 +02:00 |
|
Mathias Vorreiter Pedersen
|
401717d739
|
C++: Add a missing taint step and accept test changes.
|
2024-04-29 09:38:42 +01:00 |
|
Mathias Vorreiter Pedersen
|
527409d05f
|
C++: Fix iterator return types and accept test changes.
|
2024-04-29 09:38:42 +01:00 |
|
Mathias Vorreiter Pedersen
|
d3d2e2188d
|
C++: Accept test changes.
|
2024-04-29 09:38:42 +01:00 |
|
Mathias Vorreiter Pedersen
|
5f0efc19fa
|
C++: Accept test changes.
|
2024-04-29 09:38:41 +01:00 |
|