5418 Commits

Author	SHA1	Message	Date
Jeroen Ketema	db1dc6fa2c	Merge pull request #15021 from jketema/ir-guards-unreached-fix ... C++: Fix handling of unreached instructions in IRGuards	2023-12-06 12:46:09 +01:00
Mathias Vorreiter Pedersen	9fa20f5f39	Merge pull request #14799 from MathiasVP/solve-modify-copy-problem ... DataFlow: Add language-specific predicate for ignoring steps in flow-through calculation	2023-12-06 09:55:34 +00:00
Jeroen Ketema	4390e4cad3	C++: Fix handling of unreached instructions in IRGuards	2023-12-06 10:23:27 +01:00
Jeroen Ketema	d6e30cd828	C++: Add test showing unreachable instructions give spurious blocks in IRGuards	2023-12-06 10:23:27 +01: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
Jeroen Ketema	30e5e74a78	Merge pull request #15005 from jketema/ir-guards-ternary-fix ... C++: Fix IRGuards ternary behaviour	2023-12-05 15:04:56 +01:00
Mathias Vorreiter Pedersen	8ce4bbec33	Merge pull request #14867 from MathiasVP/reduce-duplication-from-operators ... C++: Reduce duplication from crement operations	2023-12-05 11:57:48 +00:00
Jeroen Ketema	4d702e2eee	C++: Fix IRGuards ternary behaviour	2023-12-05 12:17:46 +01:00
Jeroen Ketema	d84961571b	C++: Add IRGuards test that shows that ternary behaviour is not quite correct	2023-12-05 12:16:01 +01:00
Mathias Vorreiter Pedersen	db0d203eb4	Merge branch 'main' into solve-modify-copy-problem	2023-12-05 09:43:17 +00:00
Mathias Vorreiter Pedersen	a8020f4f78	C++: Add barrier to prevent duplication.	2023-12-05 09:14:23 +00:00
Jeroen Ketema	7f1bd499ce	C++: Add test annotation	2023-12-04 17:53:08 +01:00
Jeroen Ketema	3e2397a3d1	C++: Fix chmod prototype in toctou test and additional test	2023-12-04 16:15:44 +01: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	c1561e8675	Merge branch 'main' into reduce-duplication-from-operators	2023-11-30 14:30:50 +00:00
Benjamin Rodes	94a0420040	Updated getResultExpr to getResultNode. Added strlcat. Added tests.	2023-11-29 16:03:41 -05:00
Mathias Vorreiter Pedersen	e47ad274ea	C++: Add Schack's tests.	2023-11-28 14:32:21 +00:00
Mathias Vorreiter Pedersen	fb6329fbc1	C++: Fix test annotation	2023-11-28 14:27:15 +00:00
Mathias Vorreiter Pedersen	1771d77c23	C++: Accept test changes.	2023-11-28 14:27:15 +00:00
Mathias Vorreiter Pedersen	1753a7e146	C++: Add tests.	2023-11-28 14:27:15 +00:00
Mathias Vorreiter Pedersen	2b36ba33f0	C++: Add support for 'data' in the query.	2023-11-28 12:57:59 +00:00
Alex Eyers-Taylor	3e9aeac004	CPP: Fix sscanf false positives in older linux repos	2023-11-28 12:07:05 +00:00
Mathias Vorreiter Pedersen	7b8d164692	C++: Add more good test cases.	2023-11-28 11:58:33 +00:00
Mathias Vorreiter Pedersen	62c432f3c7	C++: Tabs -> Spaces.	2023-11-28 11:52:17 +00:00
Mathias Vorreiter Pedersen	e10caa68f6	C++: Add tests.	2023-11-28 09:06:24 +00:00
Mathias Vorreiter Pedersen	e94cde9b4b	C++: Move the use-after-free tests to subdirectory.	2023-11-28 09:06:24 +00:00
Mathias Vorreiter Pedersen	204acbacc5	C++: Add a new query for detecting calls to 'c_str' on temporary objects.	2023-11-28 09:06:24 +00:00
Jeroen Ketema	c02a732632	C++: Remove DefaultTaintTracking library	2023-11-24 18:35:19 +01:00
Alex Eyers-Taylor	1c012548d4	CPP: Add tests for incorrect check scanf	2023-11-24 16:58:11 +00:00
Alex Eyers-Taylor	12e24a2b44	CPP: Exclude incorrect scanf checks from missing scanf checks	2023-11-24 16:57:59 +00:00
Jeroen Ketema	ee35bfb290	C++: Do not use isReturnValue in getenv, gets, and fgets models	2023-11-24 16:38:15 +01:00
Alex Eyers-Taylor	f48e8b6062	CPP: Add query for detecteing incorrect error checking for scanf	2023-11-24 14:53:10 +00:00
Mathias Vorreiter Pedersen	e438671846	Merge pull request #14896 from MathiasVP/no-dtt-in-user-controlled-bypass ... C++: Rewrite `cpp/user-controlled-bypass` away from `DefaultTaintTracking`	2023-11-24 14:43:10 +00:00
Mathias Vorreiter Pedersen	6b48b3643e	Merge branch 'main' into no-dtt-in-user-controlled-bypass	2023-11-24 12:50:45 +00:00
Mathias Vorreiter Pedersen	2681617f28	C++: Undo the workaround in 'cpp/tainted-permissions-check'.	2023-11-24 10:56:11 +00:00
Mathias Vorreiter Pedersen	5604fd7d80	C++: Rewrite 'cpp/user-controlled-bypass' away from 'DefaultTaintTracking'.	2023-11-23 17:35:54 +00:00
Mathias Vorreiter Pedersen	97319854e2	C++: Accept test changes.	2023-11-23 16:53:57 +00:00
Mathias Vorreiter Pedersen	98bf748e64	C++: Accept test changes.	2023-11-23 16:53:57 +00:00
Mathias Vorreiter Pedersen	257d94be20	Merge pull request #14886 from jketema/rewrite-tainted-condition ... C++: Rewrite `cpp/tainted-permissions-check` to not use `DefaultTaintTracking`	2023-11-23 16:18:03 +00:00
Mathias Vorreiter Pedersen	149fb7bbc2	Merge pull request #14881 from MathiasVP/no-dtt-in-user-controlled-null-termination-tainted ... C++: Rewrite `cpp/user-controlled-null-termination-tainted` away from `DefaultTaintTracking`	2023-11-23 14:41:33 +00:00
Mathias Vorreiter Pedersen	401a378598	C++: Accept test changes.	2023-11-23 14:12:16 +00:00
Jeroen Ketema	7834626e26	C++: Rewrite cpp/tainted-permissions-check to not use DefaultTaintTracking	2023-11-23 14:52:53 +01:00
Jeroen Ketema	1fbe23228e	C++: Update test to reflect updated test results	2023-11-22 16:49:13 +01:00
Jeroen Ketema	bb1945f899	C++: Rewrite cpp/tainted-format-string away from DefaultTaintTracking	2023-11-22 16:49:13 +01:00