Mingjie Shen
25a46a82ba
C++: Use appropriate sizeof in CWE-119 memcpy tests
...
Signed-off-by: Mingjie Shen <shen497@purdue.edu >
2025-11-27 05:15:51 +00:00
Mingjie Shen
b293dfe3a6
C++: Fix CWE-119 memcpy tests
...
sizeof(pointer) only gives the pointer size, not the buffer
size, so use explicit 10/20 lengths in tests.cpp and update
OverflowBuffer.expected to accept the resulting memcpy diagnostics.
Signed-off-by: Mingjie Shen <shen497@purdue.edu >
2025-11-19 22:06:06 +00:00
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
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
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
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
Henry Mercer
f3847b3f51
Merge branch 'main' into henrymercer/rc-3.11-mergeback
2023-10-03 16:30:23 +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
Mathias Vorreiter Pedersen
b092da485d
C++: Accept more test changes.
2023-08-30 11:26:40 +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
50190efe1c
C++: Don't limit instruction and operand reuse to those cases where we have a result for 'isUseImpl'.
2023-08-21 12:51:00 +01:00
Mathias Vorreiter Pedersen
79fb6a6079
C++: Accept test changes.
2023-06-22 19:34:05 +01:00
Mathias Vorreiter Pedersen
2ce0d2b7ee
C++: Accept more test changes.
2023-03-21 10:07:23 +00:00