133 Commits

Author	SHA1	Message	Date
Anders Schack-Mulligen	c2309442d5	C++: Accept qltest changes.	2025-03-14 10:51:28 +01:00
Mathias Vorreiter Pedersen	0f49ba848d	C++: Accept test changes. Nothing exciting to see here.	2024-12-09 16:04:46 +00:00
Anders Schack-Mulligen	5c635e982e	C++/C#/Java: Update expected output.	2024-05-27 11:01:52 +02:00
Anders Schack-Mulligen	e7f24318cd	C++: Accept qltest .expected file changes.	2024-05-22 15:36:30 +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	f3a5ce5efc	C++: Accept more test changes.	2024-04-13 11:03:15 +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	61e30b9ff8	C++: Accept more test changes.	2023-12-14 15:25:29 +00:00
Mathias Vorreiter Pedersen	1c73d43b4f	C++: Accept more test changes.	2023-12-08 09:29:48 +00:00
Mathias Vorreiter Pedersen	b4958e7d58	C++: Accept path changes.	2023-10-30 12:44:30 +00:00
Jeroen Ketema	a972d0943a	C++: Accept test changes after changes in IR generation	2023-10-19 10:45:14 +02:00
Jeroen Ketema	bec3e62771	C++: Update cpp/constant-array-overflow test results after frontend update	2023-10-19 10:45:14 +02:00
Mathias Vorreiter Pedersen	e38f65981e	C++: Accept test changes.	2023-10-04 20:12:42 +02:00
Mathias Vorreiter Pedersen	e4a11b86d9	Merge branch 'main' into reuse-even-more-nodes	2023-08-29 15:08:30 +01:00
Mathias Vorreiter Pedersen	ef9d342a99	C++: Accept more test changes.	2023-08-21 14:02:18 +01:00
Mathias Vorreiter Pedersen	4daabdae2b	C++: Promote 'cpp/invalid-pointer-deref' out of experimental.	2023-08-21 10:23:22 +01:00
Mathias Vorreiter Pedersen	5f5a87e2c7	C++: Add false positive.	2023-08-17 12:13:16 +01:00
Mathias Vorreiter Pedersen	49a5a39395	C++: Accept test changes.	2023-08-15 16:49:58 +01:00
Mathias Vorreiter Pedersen	e145b81f58	C++: Accept test changes.	2023-08-15 16:12:44 +01:00
Mathias Vorreiter Pedersen	3fb024164b	C++: Add a FP caused by bad range analysis for subtraction.	2023-08-15 16:00:35 +01:00
Mathias Vorreiter Pedersen	2164069eda	C++: Add another testcase.	2023-08-11 12:00:43 +01:00
Mathias Vorreiter Pedersen	3d5b1986c9	C++: Fix a bug where 'boundedImpl' could give back multiple deltas.	2023-08-11 11:46:28 +01:00
Mathias Vorreiter Pedersen	c0a54e90c9	C++: Fix an inequality that should be strict, but wasn't.	2023-08-11 11:43:55 +01:00
Mathias Vorreiter Pedersen	af07efe14f	C++: Accept test changes.	2023-08-05 21:59:08 +02:00
Mathias Vorreiter Pedersen	835b5e349b	C++: Accept test changes.	2023-08-05 21:56:51 +02:00
Mathias Vorreiter Pedersen	fd1949092c	C++: Accept test changes.	2023-07-29 11:29:06 +02:00
Mathias Vorreiter Pedersen	ce9a14b692	Revert "Merge pull request #13792 from MathiasVP/swap-argument-order-in-invalid-ptr-deref" ... This reverts commit 1fa6511482, reversing changes made to 4676ca5a4a.	2023-07-29 11:26:41 +02:00
Mathias Vorreiter Pedersen	cd4ec6c996	C++: Add FN testcase.	2023-07-25 12:13:46 +02:00
Mathias Vorreiter Pedersen	d350c0d5c8	C++: Accept test changes.	2023-07-21 16:54:46 +01:00
Mathias Vorreiter Pedersen	d905b1e006	C++: Add false positive.	2023-07-21 15:38:38 +01:00
Anders Schack-Mulligen	a9c76d4175	Merge pull request #13717 from aschackmull/dataflow/neverskipadditionalsteps ... Dataflow: Add support for not skipping configuration-specific nodes in big-step	2023-07-19 14:06:54 +02:00
Anders Schack-Mulligen	8d365b04c1	C/C++: Adjust expected output.	2023-07-19 11:41:54 +02:00
Mathias Vorreiter Pedersen	576f021c25	C++: Fix Code Scanning errors.	2023-07-18 18:15:25 +01:00
Mathias Vorreiter Pedersen	4762e883fc	C++: Add inline expectations tests for the invalid-pointer-to-dereference stage of the query.	2023-07-18 18:15:24 +01:00
Mathias Vorreiter Pedersen	a735d18a1b	C++: Add inline expectations tests for the allocation-to-invalid-pointer stage of the query.	2023-07-18 18:15:24 +01:00
Mathias Vorreiter Pedersen	d41d2bc29e	Merge pull request #13699 from MathiasVP/final-config-to-invalid-pointer-deref ... C++: Handle call-contexts mismatches in `cpp/invalid-pointer-deref`	2023-07-18 13:08:21 +01:00
Mathias Vorreiter Pedersen	c13f015b95	C++: No need to select the 'instruction' as the sink when the dataflow node has a better 'toString'.	2023-07-13 14:17:43 +01:00
Mathias Vorreiter Pedersen	5e06043120	C++: Completely get rid of merged path nodes.	2023-07-13 14:15:14 +01:00
Robert Marsh	5eea8e49b7	C++: more constant array off-by-one tests	2023-07-10 12:51:48 -04:00
Mathias Vorreiter Pedersen	3fe58d97bd	C++: Accept test changes.	2023-07-10 13:53:04 +01:00
Mathias Vorreiter Pedersen	ae8ecc9076	C++: Add a final configuration to preserve call contexts between configuration transitions.	2023-07-10 13:52:32 +01:00
Mathias Vorreiter Pedersen	055aea6e1a	C++: Add FP caused by missing call context.	2023-07-10 13:52:30 +01:00
Mathias Vorreiter Pedersen	d24a05a1b9	Merge branch 'main' into rdmarsh2/cpp/constant-array-overflow-tests	2023-07-05 13:49:17 +01:00
Mathias Vorreiter Pedersen	60c0226dce	Update cpp/ql/test/experimental/query-tests/Security/CWE/CWE-193/constant-size/test.cpp ... Co-authored-by: Calum Grant <42069085+calumgrant@users.noreply.github.com>	2023-07-05 12:03:47 +01:00
Robert Marsh	1c2c48c74a	C++: more constant-array-overflow tests	2023-07-03 16:59:02 -04:00
Mathias Vorreiter Pedersen	42356a899a	Merge pull request #13603 from MathiasVP/implement-is-unreachable-in-call-2	2023-06-30 12:00:15 +01:00
Mathias Vorreiter Pedersen	90336705e1	C++: Accept test changes after merge.	2023-06-29 14:48:17 +01:00
Jeroen Ketema	f8b1dc9f59	Merge pull request #13617 from jketema/pointer-deref-barrier-fps ... C++: Add more `cpp/invalid-pointer-deref` FP test cases	2023-06-29 15:48:15 +02:00