Mrigank Pawagi
809d1d55a8
remove cases involving sizeof
2025-06-28 17:16:04 +00:00
Mrigank Pawagi
114b46824a
update test
2025-06-05 15:56:35 +00:00
Mathias Vorreiter Pedersen
20dfbdc5cc
Revert "Merge pull request #18057 from jketema/codeql-cli-2.19.4"
...
This reverts commit ed922f6519aa4cc72f30
2024-12-16 14:02:38 +00:00
Michael Nebel
12008b4b4e
C++: Update all test util paths to point to the new location.
2024-12-12 13:21:34 +01:00
Jeroen Ketema
fa8aba88af
Revert "Merge pull request #17938 from MathiasVP/fix-fp-in-missing-check-scanf-fixing-take-2"
...
This reverts commit 6785b93ed8d9b86f55c8
2024-11-21 15:39:00 +01:00
Mathias Vorreiter Pedersen
bb85aa2fc9
C++: Accept test changes.
2024-11-14 16:29:51 +00:00
Mathias Vorreiter Pedersen
a40c1d50b8
C++: Add FP tests.
2024-11-14 16:13:46 +00:00
Tom Hvitved
4750b0de94
C++: Post-processing query for inline test expectations
2024-10-29 13:35:36 +01:00
Tom Hvitved
c92c96fa78
Data flow: Compute local big step relation per stage
2024-08-26 09:15:27 +02:00
Geoffrey White
20672acb74
Merge pull request #17110 from geoffw0/memfree
...
C++: Improve cpp/memory-may-not-be-freed
2024-07-31 15:59:42 +01:00
Geoffrey White
4aea4c0323
C++: Simple fix.
2024-07-31 14:46:25 +01:00
Geoffrey White
c04428dedc
C++: Add test cases for the memory freed queries.
2024-07-31 14:03:56 +01:00
Geoffrey White
eaf2949857
Merge pull request #17054 from geoffw0/scanf
...
C++: Fix false positives in cpp/incorrectly-checked-scanf
2024-07-24 10:51:25 +01:00
Geoffrey White
741a3289a1
Merge pull request #17055 from geoffw0/usefree
...
C++: More tests for cpp/use-after-free
2024-07-24 10:35:32 +01:00
Geoffrey White
1456012b54
C++: Additional test cases for cpp/use-after-free.
2024-07-23 18:02:14 +01:00
Geoffrey White
4920039a00
C++: Test spacing.
2024-07-23 18:01:30 +01:00
Geoffrey White
6026f65f8b
C++: Fix FPs in cpp/incorrectly-checked-scanf.
2024-07-23 17:27:37 +01:00
Geoffrey White
c3f2faff76
C++: Add another pattern I found in the wild.
2024-07-23 17:19:01 +01:00
Geoffrey White
a9f6b2110e
C++: Add new test cases for cpp/incorrectly-checked-scanf.
2024-07-23 15:27:22 +01:00
Geoffrey White
7b03f3268f
C++: Fix false positives.
2024-07-22 18:00:15 +01:00
Geoffrey White
45e92cec6a
C++: Extend tests for cpp/suspicious-allocation-size.
2024-07-22 17:34:49 +01: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
df24e5982a
C++: Add tests and accept test changes.
2024-05-20 09:01:42 +01:00
Geoffrey White
315f439135
C++: Add test case for reassignment to UseAfterFree.ql.
2024-05-02 16:40:28 +01:00
Geoffrey White
57a53891e9
C++: Effect of recent QL changes.
2024-04-23 18:12:05 +01:00
Geoffrey White
b6703bc25c
C++: Add test cases inspired by QA results differences.
2024-04-23 18:06:12 +01:00
Mathias Vorreiter Pedersen
fdddec74d3
Merge branch 'main' into break-bigstep-at-store
2024-04-16 21:08:33 +01:00
Mathias Vorreiter Pedersen
c3cf425079
C++: Use interpolation to avoid a bad join order.
2024-04-16 16:24:08 +01:00
Mathias Vorreiter Pedersen
dd656d34be
Merge branch 'main' into break-bigstep-at-store
2024-04-16 15:33:21 +01:00
Mathias Vorreiter Pedersen
e1884c193b
C++: Add tests (and fix a missing quote in the alert message).
2024-04-16 14:20:19 +01:00
Mathias Vorreiter Pedersen
fb9fc14f3d
C++: Accept test changes in paths.
2024-04-16 11:09:22 +01:00
Mathias Vorreiter Pedersen
6f08790065
C++: Accept test changes.
2024-04-13 01:00:48 +01:00
Mathias Vorreiter Pedersen
352e7de07d
C++: Accept test changes.
2024-04-02 10:43:10 +01:00
Mathias Vorreiter Pedersen
14aff5c94c
C++: Convert 'cpp/missing-check-scanf' to a path-problem query.
2024-03-20 14:54:53 +00:00
Mathias Vorreiter Pedersen
3ea39a2553
C++: Add some query tests.
2024-03-13 11:39:34 +00:00
Anders Schack-Mulligen
7eb5e1833d
C++: Add empty provenance column to expected files.
2024-02-09 11:32:08 +01:00
Mathias Vorreiter Pedersen
ea79a84c2e
C++: Accept test changes.
2024-01-29 16:24:44 +00:00
Mathias Vorreiter Pedersen
7e29141196
C++: Add FP test.
2024-01-29 16:23:37 +00:00
Mathias Vorreiter Pedersen
a5794509ec
C++: Accept test changes.
2024-01-29 11:33:14 +00:00
Mathias Vorreiter Pedersen
3a66fd7175
C++: Add FP test.
2024-01-29 10:59:38 +00:00
Benjamin Rodes
2181fcf284
Updating .expected to account for new free/deallocation sources.
2024-01-22 10:36:24 -05:00
Mathias Vorreiter Pedersen
39dafd6f6a
C++: Suggestions to #15343 ( #39 )
...
* C++: Change the interface of 'FlowAfterFree' so that the module it takes
a single module as a parameter.
* C++: Add another predicate to the module signature.
* C++: Convert the use-after-free and double-free libraries to use new interface.
* C++: Accept test changes.
2024-01-17 11:02:46 -05:00
Benjamin Rodes
9a0e2e57ba
Updating .expected
2024-01-16 13:18:25 -05:00
Mathias Vorreiter Pedersen
82b9f1b31c
C++: Accept test changes.
2023-12-15 14:57:31 +00:00
Mathias Vorreiter Pedersen
0c100eb122
C++: Accept test changes.
2023-12-14 14:44:58 +00:00
Mathias Vorreiter Pedersen
3dea467dcc
Merge pull request #15047 from MathiasVP/add-puns-for-addresses-of-arguments
...
C++: Add `PostUpdateNode`s for addresses of outgoing arguments
2023-12-12 13:55:13 +00:00
Alexander Eyers-Taylor
e87b3911dc
Merge pull request #14910 from alexet/incorrect-scanf
...
CPP: Add query for detecteing incorrect error checking for scanf
2023-12-12 11:57:17 +00:00
Mathias Vorreiter Pedersen
a6104ad878
C++: Fix test annotations.
2023-12-12 11:06:18 +00:00
Mathias Vorreiter Pedersen
90b06c2046
C++: Switch the source of use-after-free and double-free to be post-update nodes.
2023-12-08 14:41:29 +00:00
