12902 Commits

Author	SHA1	Message	Date
Mathias Vorreiter Pedersen	2cc6ffbd28	C++: Fix ql-for-ql findings.	2024-12-17 16:55:52 +00:00
Calum Grant	14cef6a207	C++: Fix FPs to cpp/return-stack-allocated-memory	2024-12-17 15:58:39 +00:00
Mathias Vorreiter Pedersen	5ed0222b1a	C++: Sync identical files.	2024-12-17 15:28:04 +00:00
Mathias Vorreiter Pedersen	f351558547	C++: While here, let's avoid materializing 'ensuresEq' and 'ensuresLt' when computing unreachable nodes in dataflow.	2024-12-17 15:27:54 +00:00
Mathias Vorreiter Pedersen	9b6f39c1fe	C++: Apply similar join order fixes to the other cases.	2024-12-17 15:26:49 +00:00
Mathias Vorreiter Pedersen	eea7804b62	C++: Join with value number only after joining with 'controls'.	2024-12-17 15:25:16 +00:00
Jeroen Ketema	fa5cc90167	Merge pull request #18281 from jketema/changenote ... C++: Add word missing from change note	2024-12-16 20:23:47 +01:00
Mathias Vorreiter Pedersen	913357b70d	C++: Fix incorrect QLDoc.	2024-12-16 14:02:50 +00:00
Mathias Vorreiter Pedersen	5a90b25c45	C++: Remove the released change note and add a new change note.	2024-12-16 14:02:48 +00:00
Mathias Vorreiter Pedersen	5327847744	C++: No need to exclude static and global initializers now that we inline the predicates.	2024-12-16 14:02:46 +00:00
Mathias Vorreiter Pedersen	3bdfdd0573	C++: Change all the 'ensures' and (and most 'compares') predicates to be inlined to prevent explosions. Also remove the caching since this is't necessary now that the main recursion is cached.	2024-12-16 14:02:44 +00:00
Mathias Vorreiter Pedersen	404dd33498	C++: Move the main recursion into to a cached module.	2024-12-16 14:02:42 +00:00
Mathias Vorreiter Pedersen	6f73aa552d	C++: Convert IRGuards to use final abstract classes.	2024-12-16 14:02:40 +00:00
Mathias Vorreiter Pedersen	20dfbdc5cc	Revert "Merge pull request #18057 from jketema/codeql-cli-2.19.4" ... This reverts commit ed922f6519, reversing changes made to aa4cc72f30.	2024-12-16 14:02:38 +00:00
Jeroen Ketema	da3fcda4fc	C++: Address review comments	2024-12-16 14:25:41 +01:00
Michael Nebel	aaf0cd5dee	Merge pull request #17968 from michaelnebel/java/movetestutils ... Move test utilities to the query pack.	2024-12-16 13:41:30 +01:00
Jeroen Ketema	d6964ff755	C++: Add word missing from change note	2024-12-13 10:48:46 +01:00
Jeroen Ketema	8e458f4651	C++: Simplify local variable names	2024-12-12 17:13:02 +01:00
Jeroen Ketema	f9bfd969a9	C++: Address review comments	2024-12-12 16:49:24 +01:00
Michael Nebel	0bfc1b6ea8	Also move the postprocessing queries to the library pack.	2024-12-12 15:03:03 +01:00
Michael Nebel	941b0abbf6	Move modules to the library packs.	2024-12-12 15:03:01 +01:00
Jeroen Ketema	35403d4299	C++: Fix IR printing when multiple edges point to the same block	2024-12-12 13:46:45 +01:00
Jeroen Ketema	e43f7fbb48	C++: Fix AST printing for OverloadedArrayExpr	2024-12-12 13:44:24 +01:00
Jeroen Ketema	0a7ed159a4	C++: Add test that show that PrintAST is broekn for OverloadedArrayExpr	2024-12-12 13:40:22 +01:00
Michael Nebel	12008b4b4e	C++: Update all test util paths to point to the new location.	2024-12-12 13:21:34 +01:00
Michael Nebel	47813e17c9	C++: Move test utilities into the query pack.	2024-12-12 13:21:32 +01:00
Mathias Vorreiter Pedersen	0acef590b1	C++: Add more MaD models.	2024-12-10 18:29:48 +00:00
Mathias Vorreiter Pedersen	64464b39c6	C++: Add tests for a few string-related classes.	2024-12-10 18:28:12 +00:00
Mathias Vorreiter Pedersen	c5bb907fe0	C++: Also handle varargs in MaD parsing.	2024-12-10 18:25:56 +00:00
Mathias Vorreiter Pedersen	c604c44a55	C++: Add CStringT model and accept tests.	2024-12-10 18:22:06 +00:00
Mathias Vorreiter Pedersen	73ff33888b	C++: Add CStringT tests.	2024-12-10 18:18:37 +00:00
Mathias Vorreiter Pedersen	ba0ba15e88	C++: Add CSimpleStringT model and accept tests.	2024-12-10 18:13:42 +00:00
Mathias Vorreiter Pedersen	b42bffc55c	C++: Add CSimpleStringT tests.	2024-12-10 18:10:54 +00:00
Mathias Vorreiter Pedersen	fb75f54951	C++: Add another typedef.	2024-12-10 18:07:45 +00:00
Mathias Vorreiter Pedersen	0f5786e4e6	Merge pull request #18251 from MathiasVP/fix-uncertain-array-writes ... C++: Consider writes to arrays as uncertain	2024-12-10 12:38:47 +00:00
Mathias Vorreiter Pedersen	1266b244f5	Merge pull request #18136 from MathiasVP/model-active-template-library ... C++: Model Microsoft's "Active Template Library"	2024-12-09 16:05:19 +00:00
Mathias Vorreiter Pedersen	0f49ba848d	C++: Accept test changes. Nothing exciting to see here.	2024-12-09 16:04:46 +00:00
Mathias Vorreiter Pedersen	9bcdfb6d01	C++: VariableAddressInstructions with array types are not single-object types.	2024-12-09 15:06:22 +00:00
Mathias Vorreiter Pedersen	8bdd10c0c2	C++: Fix spurious columns in 'CRegKey'.	2024-12-09 14:31:17 +00:00
Mathias Vorreiter Pedersen	5f33733b6e	C++: Fix 'QueryValue' model.	2024-12-09 14:27:24 +00:00
Mathias Vorreiter Pedersen	184dfc24b9	C++: Fix 'QueryStringValue' model.	2024-12-09 13:42:39 +00:00
Mathias Vorreiter Pedersen	7f87a25768	C++: Fix 'QueryMultiStringValue' model.	2024-12-09 13:41:14 +00:00
Mathias Vorreiter Pedersen	674dbce36d	C++: Add taint flow through 'CRegKey::Create'.	2024-12-09 13:38:37 +00:00
Mathias Vorreiter Pedersen	db86f6aaf9	C++: Fix annotation.	2024-12-09 13:32:22 +00:00
Mathias Vorreiter Pedersen	d3dc318ba1	C++: Make 'GetValueAt' a value-preserving step.	2024-12-09 13:26:46 +00:00
Mathias Vorreiter Pedersen	d735a1433b	C++: Also flow to the return value of 'operator='.	2024-12-09 13:24:21 +00:00
Jeroen Ketema	fb5aa97077	Merge pull request #18239 from jketema/typo ... C++: Fix word duplication in change note	2024-12-09 10:55:13 +01:00
Mathias Vorreiter Pedersen	41425b157f	C++: Add test with missing flow.	2024-12-08 23:47:34 +00:00
Mathias Vorreiter Pedersen	8a6c52967d	Merge pull request #18233 from MathiasVP/fix-join-order-in-barrier-guards ... C++: Fix two bad joins in barrier guards	2024-12-06 19:13:51 +00:00
Jeroen Ketema	3a3eb001e3	C++: Fix word duplication in change note	2024-12-06 19:53:06 +01:00