3218 Commits

Author	SHA1	Message	Date
Mathias Vorreiter Pedersen	d7eac4d567	C++: Add change note.	2024-07-03 11:33:52 +01:00
Mathias Vorreiter Pedersen	5be948533c	C++: Replace 'Element[*@]' with 'Element[@]'.	2024-07-03 11:18:13 +01:00
Tom Hvitved	4ae8720930	SSA: Add BasicBlock.{getNode/1,length/0} to the input signature	2024-07-03 11:32:35 +02:00
Mathias Vorreiter Pedersen	284007dbff	C++: Fix more QLDoc.	2024-07-03 09:14:06 +01:00
Mathias Vorreiter Pedersen	4652003688	C++: Update QLDoc on 'GuardCondition' to reflect the fact that switch statements are supported.	2024-07-02 20:21:54 +01:00
Mathias Vorreiter Pedersen	6b025db824	C++: Add QLDoc to 'getParameterTypeName'.	2024-07-02 14:26:15 +01:00
Mathias Vorreiter Pedersen	c104a0a74c	C++: Expand QLDoc on 'signatureMatches'.	2024-07-02 14:23:04 +01:00
Mathias Vorreiter Pedersen	0b4459db75	C++: Add more QLDoc.	2024-07-01 10:13:32 +01:00
Arthur Baars	b12b33c8f9	Merge remote-tracking branch 'upstream/main' into 'rc/3.14'	2024-06-28 19:50:35 +02:00
Mathias Vorreiter Pedersen	2ad8704325	C++: Add bsl models.	2024-06-27 19:48:27 +01:00
Mathias Vorreiter Pedersen	e845204ec9	C++: Add tests of internal MaD predicates and accept test changes.	2024-06-26 14:10:31 +01:00
Mathias Vorreiter Pedersen	d38ce61e03	C++: Mention in the QLDoc that you cannot instantiate templates in the signature string.	2024-06-26 13:54:28 +01:00
github-actions[bot]	fd385736e6	Post-release preparation for codeql-cli-2.17.6	2024-06-25 06:39:45 +00:00
Mathias Vorreiter Pedersen	5b1b60cc92	Merge pull request #16797 from MathiasVP/yml-for-allocation-and-deallocation ... C++: Add extensible predicates to `Allocation` and `Deallocation`	2024-06-24 15:34:27 +01:00
github-actions[bot]	e32a587078	Release preparation for version 2.17.6	2024-06-24 14:33:10 +00:00
Anders Schack-Mulligen	25d520a7f1	Merge pull request #16785 from aschackmull/dataflow/stage3-notypes ... Dataflow: Replace stage 3 type pruning with flow-insensitive type pruning.	2024-06-24 15:21:37 +02:00
Mathias Vorreiter Pedersen	36d59cef7e	C++: Add 'bsl::free' as a deallocation function model.	2024-06-24 13:56:44 +01:00
Mathias Vorreiter Pedersen	82ed1ee671	Update cpp/ql/lib/change-notes/2024-06-20-extensible-allocation-deallocation.md ... Co-authored-by: Geoffrey White <40627776+geoffw0@users.noreply.github.com>	2024-06-24 13:50:24 +01:00
Anders Schack-Mulligen	8c23e21073	Dataflow: Cache compatibleTypes.	2024-06-24 13:35:48 +02:00
Mathias Vorreiter Pedersen	00d772f980	C++: Fix value numbering imports.	2024-06-24 11:53:24 +01:00
Mathias Vorreiter Pedersen	9a2c7d34af	C++: Simplify 'parseParens'.	2024-06-21 15:45:43 +01:00
Mathias Vorreiter Pedersen	40fb59dc0b	C++: Add gnu iterator models to regain TP.	2024-06-21 14:04:07 +01:00
Mathias Vorreiter Pedersen	f507b51170	C++: Fix Code Scanning errors.	2024-06-21 14:04:05 +01:00
Mathias Vorreiter Pedersen	3e9862391b	C++: No need for 'decodeUnknownContent' if we specify the MaD summary rows correctly. This avoids a bad join in a compiler-generated predicate.	2024-06-21 14:04:03 +01:00
Mathias Vorreiter Pedersen	7d41e8ef73	C++: Perform a TC to skip conversions when special-casing materialization of temporaries.	2024-06-21 13:35:09 +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
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
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	4079de125f	C++: Fix FP by also excluding indirections of array expressions.	2024-06-13 10:59:39 +01: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