Mathias Vorreiter Pedersen
|
0c9d14f417
|
C++: Accept test changes.
|
2025-08-08 15:14:09 +01:00 |
|
Mathias Vorreiter Pedersen
|
26be9839df
|
C++: Add FP.
|
2025-08-08 15:10:40 +01:00 |
|
Mathias Vorreiter Pedersen
|
1189665970
|
C++: Add barriers to 'cpp/overrun-write'.
|
2025-07-22 18:35:56 +01:00 |
|
Mathias Vorreiter Pedersen
|
e0eadc75dd
|
C++: Remove the ad-hoc code for keeping track of increments/decrements on pointers in the 'cpp/overrun-write' query.
|
2025-07-22 18:35:31 +01:00 |
|
Mathias Vorreiter Pedersen
|
92a730c9ac
|
C++: Add a false positive.
|
2025-07-22 18:35:21 +01:00 |
|
Geoffrey White
|
998bec1efb
|
C++: Fix the bug.
|
2025-02-27 21:24:07 +00:00 |
|
Geoffrey White
|
51d916263d
|
C++: Another test.
|
2025-02-27 21:19:05 +00:00 |
|
Geoffrey White
|
c41add896f
|
C++: Accept regressions in SAMATE based test cases.
|
2025-02-26 16:34:10 +00:00 |
|
Geoffrey White
|
812315df27
|
C++: Use existing getSize / getRootType to find more generous bounds for arrays inside classes (though it sometimes fails, costing us TPs).
|
2025-02-25 16:29:49 +00:00 |
|
Geoffrey White
|
07004bd6f9
|
C++: Test cases motivated by a real world FP.
|
2025-02-25 15:36:12 +00:00 |
|
Geoffrey White
|
3681ace746
|
C++: Explore negative indices more in tests.
|
2025-02-24 10:36:43 +00:00 |
|
Geoffrey White
|
ae25399a47
|
C++: Fix offsetof bug.
|
2025-02-21 18:58:56 +00:00 |
|
Geoffrey White
|
547b082ac3
|
C++: Even more test cases.
|
2025-02-21 18:58:42 +00:00 |
|
Geoffrey White
|
3aa1ba5876
|
C++: More additional test cases.
|
2025-02-21 18:09:41 +00:00 |
|
Geoffrey White
|
89355991df
|
C++: Additional test cases.
|
2025-02-20 16:28:35 +00:00 |
|
Geoffrey White
|
e77ebf0715
|
C++: Test spacing.
|
2025-02-20 16:23:35 +00:00 |
|
Mathias Vorreiter Pedersen
|
9fa3ff74cc
|
C++: Accept test changes.
|
2025-01-29 18:32:35 +00:00 |
|
Mathias Vorreiter Pedersen
|
3591f84a50
|
C++: Add lots of tests for CWE-119 involving unions and structs.
|
2025-01-29 18:11:23 +00:00 |
|
Mathias Vorreiter Pedersen
|
48cae7e7ed
|
C++: Accept test changes after previous commit.
|
2025-01-29 11:04:55 +00:00 |
|
Mathias Vorreiter Pedersen
|
373b38e881
|
Update cpp/ql/test/query-tests/Security/CWE/CWE-119/semmle/tests/tests.cpp
Co-authored-by: Geoffrey White <40627776+geoffw0@users.noreply.github.com>
|
2025-01-29 11:03:52 +00:00 |
|
Mathias Vorreiter Pedersen
|
c9a3cf4bd0
|
C++: Accept test changes.
|
2025-01-28 15:48:11 +00:00 |
|
Mathias Vorreiter Pedersen
|
1643a66183
|
C++: Add 'cpp/overflow-buffer' FP tests.
|
2025-01-28 15:44:53 +00:00 |
|
Mathias Vorreiter Pedersen
|
d661158fed
|
C++: Accept query test changes.
|
2025-01-18 18:04:40 +00:00 |
|
REDMOND\brodes
|
1005a89007
|
Updating test cases.
|
2024-09-05 15:25:23 -04:00 |
|
Ben Rodes
|
8ab22feae1
|
Update cpp/ql/test/query-tests/Security/CWE/CWE-119/semmle/tests/tests.cpp
Co-authored-by: Geoffrey White <40627776+geoffw0@users.noreply.github.com>
|
2024-09-05 10:07:19 -04:00 |
|
REDMOND\brodes
|
cc953c87d9
|
Added test case to demonstrate type error corrected in this branch.
|
2024-09-04 12:41:05 -04:00 |
|
REDMOND\brodes
|
e4d29905a9
|
Formatting and updating tests.
|
2024-09-04 11:16:24 -04:00 |
|
REDMOND\brodes
|
abd0a076a8
|
Addressing false positive with strncpy.
|
2024-09-04 11:16:21 -04:00 |
|
Rasmus Wriedt Larsen
|
2451a6d3f6
|
Accept .expected changes
|
2024-05-21 14:47:42 +02:00 |
|
Mathias Vorreiter Pedersen
|
58832a546a
|
C++: Accept test changes.
|
2024-04-18 12:33:27 +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
|
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
|
6f5ed9ad3b
|
C++: Accept test changes.
|
2024-02-01 20:15:15 +00:00 |
|
Mathias Vorreiter Pedersen
|
0c100eb122
|
C++: Accept test changes.
|
2023-12-14 14:44:58 +00:00 |
|
Mathias Vorreiter Pedersen
|
e648058d30
|
C++: Accept test changes.
|
2023-12-07 23:11:28 +00:00 |
|
Mathias Vorreiter Pedersen
|
359b15bb60
|
C++: Fix FP by special-casing compound assignments in 'asExprInternal'.
|
2023-12-04 11:29:51 +00:00 |
|
Mathias Vorreiter Pedersen
|
ce28c9b485
|
C++: Add more CWE-119 testcases with compound assignments instead of increments.
|
2023-12-04 11:22:16 +00:00 |
|
Mathias Vorreiter Pedersen
|
9aafbfce13
|
C++: Fix test annotation.
|
2023-11-13 16:17:18 +00:00 |
|
Mathias Vorreiter Pedersen
|
cc6268339b
|
C++: Fix failing test and accept test cases.
|
2023-11-13 15:57:22 +00:00 |
|
Mathias Vorreiter Pedersen
|
834b07e6ad
|
C++: Add failing tests.
|
2023-11-13 15:54:41 +00:00 |
|
Mathias Vorreiter Pedersen
|
eb263e747f
|
C++: Make sure the test terminates.
|
2023-11-13 15:25:48 +00:00 |
|
Mathias Vorreiter Pedersen
|
bc576f658e
|
C++: Add a test that fails because of a non-terminating test that dominates this one.
|
2023-11-13 15:24:56 +00:00 |
|
Mathias Vorreiter Pedersen
|
b4958e7d58
|
C++: Accept path changes.
|
2023-10-30 12:44:30 +00:00 |
|
Henry Mercer
|
f3847b3f51
|
Merge branch 'main' into henrymercer/rc-3.11-mergeback
|
2023-10-03 16:30:23 +01:00 |
|
Mathias Vorreiter Pedersen
|
fda52a568d
|
C++: Accept test changes.
|
2023-09-18 17:55:25 +01:00 |
|
Mathias Vorreiter Pedersen
|
9f89c63771
|
C++: Accept test changes.
|
2023-09-08 17:07:26 +01:00 |
|
Mathias Vorreiter Pedersen
|
d2bb73ba1f
|
C++: Use the index to to get the 'most converted' and 'least converted' instruction in a bunch of places.
|
2023-09-01 13:47:06 +01:00 |
|
Mathias Vorreiter Pedersen
|
16d62186c0
|
C++: Use this new predicate everywhere we need to convert an instruction to an expression.
|
2023-09-01 13:32:25 +01:00 |
|