2639 Commits

Author	SHA1	Message	Date
Mathias Vorreiter Pedersen	0b4459db75	C++: Add more QLDoc.	2024-07-01 10:13:32 +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
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
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
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	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	b0bd7a983f	C++: Add MaD syntax for an arbitrary number of dereferences.	2024-06-21 12:47:42 +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	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	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	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
Mathias Vorreiter Pedersen	c3bba38950	C++: Fix QLDoc.	2024-06-10 13:39:34 +01:00
Mathias Vorreiter Pedersen	b0c4fcec57	C++: Cleanup.	2024-06-10 12:53:07 +01:00
Mathias Vorreiter Pedersen	84c1341b62	C++: Support builtin expect in IRGuards.	2024-06-10 12:53:04 +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
Jeroen Ketema	5ae8fe502a	C++: Correctly identify orphaned variables as static	2024-06-06 20:35:26 +02:00
Mathias Vorreiter Pedersen	7b92554cf2	Merge branch 'main' into better-guards	2024-06-06 19:22:10 +01:00
Mathias Vorreiter Pedersen	9f4c1380e5	Merge pull request #16677 from MathiasVP/phi-input-nodes ... C++: Extend barrier guards to handle phi inputs	2024-06-06 19:21:30 +01:00
Mathias Vorreiter Pedersen	36aac3ffd8	C++: Get rid of 'relevantUnaryComparison' since it was excluding too much. The performance is most likely fine with that restriction.	2024-06-06 16:32:16 +01:00
Mathias Vorreiter Pedersen	703832f5a1	C++: Remove a column from a few predicates.	2024-06-06 16:30:32 +01:00
Mathias Vorreiter Pedersen	8aaa2a1079	C++: Improve comment.	2024-06-06 15:58:52 +01:00
Mathias Vorreiter Pedersen	fa09d21c32	C++: Simplify. No need for the 'PhiInputNodeExt' class.	2024-06-06 15:33:38 +01:00
Mathias Vorreiter Pedersen	5deb9002bf	Merge pull request #16665 from geoffw0/yml ... C++: Support for extension models (.yml)	2024-06-06 14:21:42 +01:00
Geoffrey White	7aec488d8a	C++: Permit ':' in models-as-data namespaces.	2024-06-06 12:53:42 +01:00
Mathias Vorreiter Pedersen	31bc4263e7	C++: Fix QLDoc.	2024-06-06 10:52:37 +01:00
Mathias Vorreiter Pedersen	bd9ece0bd3	C++: Add dataflow through '__builtin_bit_cast'.	2024-06-06 10:00:18 +01:00
Mathias Vorreiter Pedersen	d6352b47a1	C++: Fix IR generation for builtin operations.	2024-06-06 09:52:20 +01:00
Mathias Vorreiter Pedersen	f58757ff9d	C++: Skip children we cannot translate when translating builtin operations.	2024-06-06 09:48:41 +01:00
Mathias Vorreiter Pedersen	44cc19cd6b	C++: Handle phi inputs in barrier guards logic.	2024-06-05 09:58:45 +01:00
Mathias Vorreiter Pedersen	0149fb640d	C++: Simplify.	2024-06-05 09:58:43 +01:00
Mathias Vorreiter Pedersen	25179074c1	C++: Better toString on phi nodes.	2024-06-05 09:58:41 +01:00
Mathias Vorreiter Pedersen	85d0efcbed	C++: Make the last use of a node before entering the phi node map to a phi input dataflow node.	2024-06-05 09:58:40 +01:00
Owen Mansel-Chan	6b2e86afea	Accept review suggestion	2024-06-05 07:34:46 +01:00