5635 Commits

Author	SHA1	Message	Date
Mathias Vorreiter Pedersen	61e30b9ff8	C++: Accept more test changes.	2023-12-14 15:25:29 +00:00
Mathias Vorreiter Pedersen	0c100eb122	C++: Accept test changes.	2023-12-14 14:44:58 +00:00
Alex Eyers-Taylor	e9bc5a54ea	CPP: Add query for detecting invalid uses of temporary unique pointers.	2023-12-12 16:22:20 +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
Jeroen Ketema	611a177c3c	Merge pull request #15066 from jketema/ql-test ... C++: Update test for CLI changes	2023-12-12 10:36:57 +01:00
Jeroen Ketema	8d2c72fc73	C++: Update test for CLI changes	2023-12-11 16:36:51 +01:00
Geoffrey White	17cd22f9d0	Merge pull request #14972 from geoffw0/cryptoprimitives ... C++: Experimental query for implementation of a cryptographic primitive	2023-12-11 09:47:46 +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
Anders Schack-Mulligen	64eb4ff753	Merge pull request #14983 from aschackmull/dataflow/deprecate-old-api ... Data Flow: Deprecate old data flow api.	2023-12-08 14:27:25 +01:00
Mathias Vorreiter Pedersen	7b83947383	Merge branch 'main' into fewer-dataflow-branches	2023-12-08 09:30:01 +00:00
Mathias Vorreiter Pedersen	1c73d43b4f	C++: Accept more test changes.	2023-12-08 09:29:48 +00:00
Jeroen Ketema	9a555ba16e	Merge pull request #14909 from jketema/rm-dtt ... C++: Remove `DefaultTaintTracking` library	2023-12-08 10:08:55 +01:00
Mathias Vorreiter Pedersen	e648058d30	C++: Accept test changes.	2023-12-07 23:11:28 +00:00
Anders Schack-Mulligen	9fafa973d8	C++: Remove irrelevant test.	2023-12-07 14:13:42 +01:00
Jeroen Ketema	edf178696d	C++: accept test changes for IR Guards replacement	2023-12-06 12:47:20 +01:00
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