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
|
7c5f561724
|
C++: Accept test changes.
|
2024-10-23 13:37:06 +01:00 |
|
Mathias Vorreiter Pedersen
|
2fd07f28f0
|
C++: Add test with missing flow.
|
2024-10-23 13:00:33 +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 |
|
Mathias Vorreiter Pedersen
|
338e82064e
|
C++: Add a taint model for 'fopen' and accept test changes.
|
2024-10-09 14:40:26 +01:00 |
|
Mathias Vorreiter Pedersen
|
201842d2f9
|
C++: Add test with missing flow through 'fopen'.
|
2024-10-09 14:39:24 +01:00 |
|
Jeroen Ketema
|
c90d0faaf6
|
C++: Fix ODR violations in dataflow tests
|
2024-10-08 20:34:20 +02:00 |
|
Tom Hvitved
|
ed9008a064
|
Update expected test output
|
2024-09-18 13:51:02 +02:00 |
|
Simon Friis Vindum
|
5950af390d
|
Merge pull request #17351 from paldepind/swap-member-data-flow
C++: Make swap member functions data-flow functions
|
2024-09-05 11:39:16 +02:00 |
|
Simon Friis Vindum
|
f066f21751
|
C++: Make swap member functions data-flow functions
|
2024-09-04 13:55:19 +02:00 |
|
Erik Krogh Kristensen
|
4258119ba3
|
Merge branch 'main' into del-deps-sep-2024
|
2024-09-04 12:43:41 +02:00 |
|
erik-krogh
|
0fdd06fff5
|
use my script to delete outdated deprecations
|
2024-09-03 20:30:58 +02:00 |
|
Simon Friis Vindum
|
037912fd2d
|
C++: Add data-flow test for realloc
|
2024-09-03 14:02:03 +02:00 |
|
Simon Friis Vindum
|
78068a488f
|
C++: Make realloc a data-flow function
|
2024-09-03 11:25:18 +02:00 |
|
Asger F
|
16c2cf24b3
|
C++: use inline annotation for missing flow
|
2024-08-26 11:53:31 +02:00 |
|
Asger F
|
d27b28d371
|
C++: update test output
This reveals that some tests were passing for the wrong reasons.
See https://github.com/github/codeql/pull/17275
|
2024-08-23 11:29:24 +02:00 |
|
Anders Schack-Mulligen
|
525b6f30e3
|
C++/C#/Java: Accept test changes.
|
2024-08-21 10:51:28 +02:00 |
|
Geoffrey White
|
bf66a787ab
|
C++: Accept test changes caused by new CLI version.
|
2024-08-06 16:45:48 +01:00 |
|
Mathias Vorreiter Pedersen
|
ef0370b64e
|
C++: Respond to review comments.
|
2024-07-30 13:19:02 +01:00 |
|
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 |
|