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
Jeroen Ketema
352610d651
C++: Add GOOD annotation
2025-09-12 10:29:27 +02:00
Jeroen Ketema
2bc035cfcf
C++: Update test results after extractor changes
2025-09-11 10:31:01 +02:00
Jeroen Ketema
d224f85b24
C++: Add uninitialized variable FP test
2025-09-11 10:31:00 +02:00
Jeroen Ketema
6b580ac12d
C++: Update expected test results
2025-08-29 10:57:03 +02:00
Jeroen Ketema
a145e52faf
C++: Add uninitialized local test
2025-08-29 10:55:10 +02:00
Nora Dimitrijević
43e99d0872
[TEST] C++: CleartextSqliteDatabase: add new test
2025-08-15 12:00:26 +02:00
Mathias Vorreiter Pedersen
39f5e33dea
C++: Accept more test changes.
2025-08-13 17:46:06 +02:00
Jeroen Ketema
f9f99a043c
Merge pull request #20126 from MathiasVP/fix-missing-global-flow
...
C++: Fix missing global variable flow
2025-08-11 11:54:35 +02: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
Mathias Vorreiter Pedersen
fca49dde92
C++: Accept test changes.
2025-08-02 16:43:19 +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
Mathias Vorreiter Pedersen
1d36405084
C++: Accept path changes.
2025-07-14 15:47:06 +01:00
Jeroen Ketema
399967b507
C++: Do not alert on unreachable code in cpp/incorrect-string-type-conversion
2025-07-10 11:49:12 +02:00
Jeroen Ketema
2907861075
C++: Add cpp/incorrect-string-type-conversion test with unreachable code
2025-07-10 11:48:53 +02:00
Jeroen Ketema
acc06fab20
C++: Convert cpp/incorrect-string-type-conversion test to inline expectations
2025-07-10 11:48:18 +02:00
Jeroen Ketema
0996e6083e
C++: Pretty print MaD ids in test output
2025-06-26 23:38:32 +02:00
Geoffrey White
c2b317783f
C++: Fix for SQL query.
2025-06-24 09:29:46 +01:00
Eric Bickle
32464a8995
C++: Support SQL Injection sinks for Oracle Call Interface (OCI)
2025-06-20 06:05:24 -07:00
Mathias Vorreiter Pedersen
ff11aaf2bb
C++: Accept query test 'toString' improvements.
2025-05-16 21:01:55 +01:00
Jeroen Ketema
0bb0b5c587
C++: Add use-after-free FP tests
2025-04-28 14:13:14 +02:00
Anders Schack-Mulligen
c2309442d5
C++: Accept qltest changes.
2025-03-14 10:51:28 +01:00
Geoffrey White
7f56c67544
Merge pull request #18837 from geoffw0/overflowbuffer
...
C++: Improve and promote cpp/overflow-buffer
2025-03-03 14:17:12 +00: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
1354bebd7c
C++: Fix an issue with padding.
2025-02-26 17:43:25 +00:00
Geoffrey White
dbab845295
C++: Effect of this branch on the new test.
2025-02-26 17:18:48 +00:00
Geoffrey White
abb88e3dba
C++: Add a test file that was internal (results as on main).
2025-02-26 17:14:43 +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
Geoffrey White
3954f5e45e
C++: Add some test cases.
2025-02-20 15:21:25 +00:00
Geoffrey White
c36e91855f
C++: Fix a test case.
2025-02-20 15:21:17 +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
