Mathias Vorreiter Pedersen
|
7155af50be
|
C++: Accept more test changes.
|
2024-04-16 15:32:24 +01:00 |
|
Mathias Vorreiter Pedersen
|
fb9fc14f3d
|
C++: Accept test changes in paths.
|
2024-04-16 11:09:22 +01:00 |
|
Mathias Vorreiter Pedersen
|
f3a5ce5efc
|
C++: Accept more test changes.
|
2024-04-13 11:03:15 +01:00 |
|
Mathias Vorreiter Pedersen
|
587ae07579
|
C++: Accept query test changes.
|
2024-04-04 16:23:41 +01:00 |
|
Mathias Vorreiter Pedersen
|
b944f3b411
|
C++: Fix FP.
|
2024-03-18 15:57:20 +00:00 |
|
Mathias Vorreiter Pedersen
|
e373341f62
|
C++: Add more tests.
|
2024-03-18 15:57:17 +00:00 |
|
Mathias Vorreiter Pedersen
|
668239f355
|
C++: Convert tabs to spaces.
|
2024-03-18 15:16:10 +00:00 |
|
Mathias Vorreiter Pedersen
|
e23e3d7fb4
|
C++: Run tests without the extractor and analysis changes.
|
2024-03-15 17:35:47 +00:00 |
|
Mathias Vorreiter Pedersen
|
3a8db49573
|
C++: Add tests for 'cpp/iterator-to-expired-container'.
NOTE: This is with the yet-to-be-merged changes to the extractor and IR generation.
|
2024-03-15 17:35:17 +00:00 |
|
Mathias Vorreiter Pedersen
|
be54a41593
|
C++: Accept query test changes.
|
2024-02-16 15:01:50 +01:00 |
|
Anders Schack-Mulligen
|
7eb5e1833d
|
C++: Add empty provenance column to expected files.
|
2024-02-09 11:32:08 +01:00 |
|
Mathias Vorreiter Pedersen
|
61e30b9ff8
|
C++: Accept more test changes.
|
2023-12-14 15:25:29 +00:00 |
|
Geoffrey White
|
17cd22f9d0
|
Merge pull request #14972 from geoffw0/cryptoprimitives
C++: Experimental query for implementation of a cryptographic primitive
|
2023-12-11 09:47:46 +00:00 |
|
Mathias Vorreiter Pedersen
|
1c73d43b4f
|
C++: Accept more test changes.
|
2023-12-08 09:29:48 +00:00 |
|
Geoffrey White
|
521d98ed8d
|
C++: Make the encryption words a tiny bit more flexible.
|
2023-12-05 18:03:17 +00:00 |
|
Geoffrey White
|
cde975dc24
|
C++: Add even more test cases.
|
2023-12-05 18:02:51 +00:00 |
|
Geoffrey White
|
2f0be40f37
|
C++: Exclude results in some common libraries.
|
2023-12-05 18:00:00 +00:00 |
|
Geoffrey White
|
965d131b5a
|
C++: Add more test cases.
|
2023-12-05 17:59:26 +00:00 |
|
Geoffrey White
|
c83cfe4936
|
C++: Make output clearer in cases where the function name is a macro expansion (I've seen this more than once).
|
2023-12-05 17:58:22 +00:00 |
|
Geoffrey White
|
3c6f318cb2
|
C++: Add query tests.
|
2023-12-05 17:54:50 +00:00 |
|
Mathias Vorreiter Pedersen
|
b4958e7d58
|
C++: Accept path changes.
|
2023-10-30 12:44:30 +00:00 |
|
Jeroen Ketema
|
a972d0943a
|
C++: Accept test changes after changes in IR generation
|
2023-10-19 10:45:14 +02:00 |
|
Jeroen Ketema
|
bec3e62771
|
C++: Update cpp/constant-array-overflow test results after frontend update
|
2023-10-19 10:45:14 +02:00 |
|
Mathias Vorreiter Pedersen
|
e38f65981e
|
C++: Accept test changes.
|
2023-10-04 20:12:42 +02:00 |
|
Mathias Vorreiter Pedersen
|
ff28f45058
|
C++: Accept test changes.
|
2023-09-12 10:28:46 +01:00 |
|
Mathias Vorreiter Pedersen
|
4cbe82353f
|
C++: Accept more test changes.
|
2023-09-06 13:58:28 +01:00 |
|
Mathias Vorreiter Pedersen
|
e4a11b86d9
|
Merge branch 'main' into reuse-even-more-nodes
|
2023-08-29 15:08:30 +01:00 |
|
Mathias Vorreiter Pedersen
|
d14ad92dbd
|
Merge pull request #14006 from MathiasVP/promote-invalid-pointer-deref-out-of-experimental
C++: Promote `cpp/invalid-pointer-deref` out of experimental
|
2023-08-29 09:38:56 +01:00 |
|
Mathias Vorreiter Pedersen
|
bb1712b489
|
Merge branch 'main' into reuse-even-more-nodes
|
2023-08-26 18:08:58 +01:00 |
|
Alex Eyers-Taylor
|
9f8fbf8a1a
|
CPP: Update tests for argv change
|
2023-08-25 13:05:10 +01:00 |
|
Mathias Vorreiter Pedersen
|
ef9d342a99
|
C++: Accept more test changes.
|
2023-08-21 14:02:18 +01:00 |
|
Mathias Vorreiter Pedersen
|
4daabdae2b
|
C++: Promote 'cpp/invalid-pointer-deref' out of experimental.
|
2023-08-21 10:23:22 +01:00 |
|
Mathias Vorreiter Pedersen
|
5f5a87e2c7
|
C++: Add false positive.
|
2023-08-17 12:13:16 +01:00 |
|
Mathias Vorreiter Pedersen
|
49a5a39395
|
C++: Accept test changes.
|
2023-08-15 16:49:58 +01:00 |
|
Mathias Vorreiter Pedersen
|
e145b81f58
|
C++: Accept test changes.
|
2023-08-15 16:12:44 +01:00 |
|
Mathias Vorreiter Pedersen
|
3fb024164b
|
C++: Add a FP caused by bad range analysis for subtraction.
|
2023-08-15 16:00:35 +01:00 |
|
Mathias Vorreiter Pedersen
|
2164069eda
|
C++: Add another testcase.
|
2023-08-11 12:00:43 +01:00 |
|
Mathias Vorreiter Pedersen
|
3d5b1986c9
|
C++: Fix a bug where 'boundedImpl' could give back multiple deltas.
|
2023-08-11 11:46:28 +01:00 |
|
Mathias Vorreiter Pedersen
|
c0a54e90c9
|
C++: Fix an inequality that should be strict, but wasn't.
|
2023-08-11 11:43:55 +01:00 |
|
Mathias Vorreiter Pedersen
|
af07efe14f
|
C++: Accept test changes.
|
2023-08-05 21:59:08 +02:00 |
|
Mathias Vorreiter Pedersen
|
835b5e349b
|
C++: Accept test changes.
|
2023-08-05 21:56:51 +02:00 |
|
Mathias Vorreiter Pedersen
|
fd1949092c
|
C++: Accept test changes.
|
2023-07-29 11:29:06 +02:00 |
|
Mathias Vorreiter Pedersen
|
ce9a14b692
|
Revert "Merge pull request #13792 from MathiasVP/swap-argument-order-in-invalid-ptr-deref"
This reverts commit 1fa6511482, reversing
changes made to 4676ca5a4a.
|
2023-07-29 11:26:41 +02:00 |
|
Mathias Vorreiter Pedersen
|
cd4ec6c996
|
C++: Add FN testcase.
|
2023-07-25 12:13:46 +02:00 |
|
Mathias Vorreiter Pedersen
|
d350c0d5c8
|
C++: Accept test changes.
|
2023-07-21 16:54:46 +01:00 |
|
Mathias Vorreiter Pedersen
|
d905b1e006
|
C++: Add false positive.
|
2023-07-21 15:38:38 +01:00 |
|
Anders Schack-Mulligen
|
a9c76d4175
|
Merge pull request #13717 from aschackmull/dataflow/neverskipadditionalsteps
Dataflow: Add support for not skipping configuration-specific nodes in big-step
|
2023-07-19 14:06:54 +02:00 |
|
Anders Schack-Mulligen
|
8d365b04c1
|
C/C++: Adjust expected output.
|
2023-07-19 11:41:54 +02:00 |
|
Mathias Vorreiter Pedersen
|
576f021c25
|
C++: Fix Code Scanning errors.
|
2023-07-18 18:15:25 +01:00 |
|
Mathias Vorreiter Pedersen
|
4762e883fc
|
C++: Add inline expectations tests for the invalid-pointer-to-dereference stage of the query.
|
2023-07-18 18:15:24 +01:00 |
|