13019 Commits

Author	SHA1	Message	Date
Mathias Vorreiter Pedersen	3b585b4196	C++: Add test with missing flow.	2024-06-21 13:35:08 +01:00
Mathias Vorreiter Pedersen	47309df2a9	C++: Fix 'toString' on parameter and argument positions.	2024-06-21 12:47:46 +01:00
Mathias Vorreiter Pedersen	85da3d2f13	C++: Update MaD models.	2024-06-21 12:47:43 +01:00
Mathias Vorreiter Pedersen	b0bd7a983f	C++: Add MaD syntax for an arbitrary number of dereferences.	2024-06-21 12:47:42 +01:00
Mathias Vorreiter Pedersen	4dc13e850e	C++: Add summaries for std dequence containers.	2024-06-21 12:47:40 +01:00
Mathias Vorreiter Pedersen	716df0c7ce	C++: Support a richer language in MaD summaries for selecting member functions.	2024-06-21 12:47:39 +01:00
Mathias Vorreiter Pedersen	c357cc9f08	C++: Add change note.	2024-06-21 08:54:12 +01:00
Mathias Vorreiter Pedersen	69490c62cd	C++: Add qlpack dependency.	2024-06-21 08:54:10 +01:00
Mathias Vorreiter Pedersen	6bf22bda58	C++: Replace allocation models with models from extensible predicates.	2024-06-21 08:54:09 +01:00
Mathias Vorreiter Pedersen	d308178781	C++: Add extensible predicate for allocation.	2024-06-20 16:26:52 +01:00
Mathias Vorreiter Pedersen	ce5ab4c4b7	C++: Add qlpack dependency.	2024-06-20 16:26:50 +01:00
Mathias Vorreiter Pedersen	3457551264	C++: Replace deallocation models with models from extensible predicates.	2024-06-20 16:26:49 +01:00
Mathias Vorreiter Pedersen	e5c20b13cf	C++: Add extensible predicate for deallocation.	2024-06-20 14:51:09 +01:00
Jeroen Ketema	4c4c15b425	C++: Remove unneeded options from tests	2024-06-20 14:21:34 +02:00
Mathias Vorreiter Pedersen	901fac4282	C++: Support 'Element' content in flow summaries.	2024-06-19 13:40:06 +01:00
Mathias Vorreiter Pedersen	013ee9c15e	C++: Add support for 'Element' content in dataflow.	2024-06-19 13:39:39 +01:00
Mathias Vorreiter Pedersen	c158f8054e	C++: Get rid of all the 'StdContainer' taint models.	2024-06-19 13:36:19 +01:00
Paolo Tranquilli	919ddccfdb	C++/Java: Accept new warning format in ql tests	2024-06-19 09:13:18 +02:00
Jeroen Ketema	14b5114aa6	C++: Add more tests that show we do not properly deduplicate attributes	2024-06-14 17:44:05 +02:00
Jeroen Ketema	7d97463e4d	C++: Add test that show that routine attributes are not fully de-duplicated	2024-06-14 16:43:29 +02:00
Mathias Vorreiter Pedersen	4bbeda08d6	C++: Fix change note naming.	2024-06-13 11:10:00 +01:00
Mathias Vorreiter Pedersen	83108e3e25	C++: Add change note.	2024-06-13 11:03:52 +01:00
Mathias Vorreiter Pedersen	bcabc88649	C++: Accept test changes.	2024-06-13 10:59:46 +01:00
Mathias Vorreiter Pedersen	4079de125f	C++: Fix FP by also excluding indirections of array expressions.	2024-06-13 10:59:39 +01:00
Mathias Vorreiter Pedersen	eec259279a	C++: Add another FP test. We already have tests for this, but it doesn't hurt to have another one, I guess.	2024-06-13 10:57:49 +01:00
am0o0	11a416ea7c	add FlowSources as a common source for all sinks, so we don't need States anymore	2024-06-13 03:30:07 +02:00
Mathias Vorreiter Pedersen	3351b9547d	Merge branch 'rc/3.14' into rc-3.14-mergeback	2024-06-11 16:21:08 +01:00
Mathias Vorreiter Pedersen	6a6978398a	C++: Add file QLDoc.	2024-06-11 15:39:45 +01:00
Mathias Vorreiter Pedersen	333df03f64	C++: Cache more things.	2024-06-11 15:39:43 +01:00
github-actions[bot]	8a25081a0e	Post-release preparation for codeql-cli-2.17.5	2024-06-10 15:33:08 +00:00
github-actions[bot]	877bfa2468	Release preparation for version 2.17.5	2024-06-10 13:40:39 +00:00
Mathias Vorreiter Pedersen	c3bba38950	C++: Fix QLDoc.	2024-06-10 13:39:34 +01:00
Mathias Vorreiter Pedersen	1aea120e89	C++: Add change note.	2024-06-10 13:01:01 +01:00
Mathias Vorreiter Pedersen	b0c4fcec57	C++: Cleanup.	2024-06-10 12:53:07 +01:00
Mathias Vorreiter Pedersen	9e088f3e4a	C++: Accept test changes.	2024-06-10 12:53:06 +01:00
Mathias Vorreiter Pedersen	84c1341b62	C++: Support builtin expect in IRGuards.	2024-06-10 12:53:04 +01:00
Mathias Vorreiter Pedersen	d76700497b	C++: Add testcases using the builtin expect operation.	2024-06-10 12:47:45 +01:00
Mathias Vorreiter Pedersen	9c98652116	C++: Handle 'unlikely' in IRGuards.	2024-06-10 12:47:44 +01:00
Jeroen Ketema	000a81fd29	Merge pull request #16690 from MathiasVP/better-guards ... C++: Fix missing results for `comparesEq` in `IRGuardCondition`	2024-06-10 13:32:10 +02:00
Mathias Vorreiter Pedersen	7819cc1c36	C++: Add more QLDoc.	2024-06-10 10:58:52 +01:00
Mathias Vorreiter Pedersen	7f62085be5	C++: Delete unused predicate.	2024-06-07 09:13:29 +01:00
am0o0	273848c879	remove old comments	2024-06-07 05:40:17 +02:00
am0o0	a5363286f1	add implicit this	2024-06-07 05:37:58 +02:00
am0o0	184aa0480e	Merge branch 'amammad-cpp-bombs' of https://github.com/amammad/codeql into amammad-cpp-bombs	2024-06-07 05:27:12 +02:00
Am	a5c9dc74bf	Merge branch 'github:main' into amammad-cpp-bombs	2024-06-07 05:27:08 +02:00
am0o0	e37ceac3b1	merge all query files into one query file	2024-06-07 05:26:51 +02:00
Mathias Vorreiter Pedersen	ed525fce70	C++: Accept test changes.	2024-06-06 20:38:31 +01:00
Mathias Vorreiter Pedersen	b5a3575130	C++: Make proper use of barrier guards in test.	2024-06-06 20:38:17 +01:00
Jeroen Ketema	4488518838	C++: Update expected test results	2024-06-06 21:12:34 +02:00
Jeroen Ketema	5ae8fe502a	C++: Correctly identify orphaned variables as static	2024-06-06 20:35:26 +02:00