5728 Commits

Author	SHA1	Message	Date
Ben Rodes	d251b3f9f7	Merge branch 'main' into signature_model_refactor	2025-10-02 09:02:34 -04:00
Mathias Vorreiter Pedersen	b0e9238ddf	Merge branch 'main' into use-shared-guards-library	2025-10-01 11:59:17 +01:00
Mathias Vorreiter Pedersen	353ee8baa0	C++: Port a test from the experimental directory to show that it works in the non-experimental "new" range analysis.	2025-10-01 11:33:47 +01:00
Mathias Vorreiter Pedersen	c1c1f60241	C++: Delete incorrect comment and add a bunch of barrier guard tests.	2025-09-25 12:56:46 +01:00
Mathias Vorreiter Pedersen	5b5c1de05b	C++: Fix fan-out.	2025-09-25 12:33:44 +01:00
Jeroen Ketema	e41b5f2bc0	C++: Update tests after extractor changes	2025-09-25 09:52:22 +02:00
Mathias Vorreiter Pedersen	a07d03f49b	C++: Use the 'StoreInstruction' instead of the 'ReturnValueInstruction' when detecting return expressions.	2025-09-24 20:09:35 +01:00
Mathias Vorreiter Pedersen	26a8a4b3d2	C++: Add failing test demonstrating broken wrapper barrier guards.	2025-09-24 19:54:05 +01:00
Mathias Vorreiter Pedersen	b2269fb5f5	C++: Add more tests.	2025-09-24 19:06:02 +01:00
Mathias Vorreiter Pedersen	d15e388f5c	C++: Get rid of the case range constant value with and instead implement 'rangeGuard'.	2025-09-24 15:52:10 +01:00
Mathias Vorreiter Pedersen	13cde4d700	C++: Add testcase demonstrating that a ConstantValue IPA branch representing a gcc case range is a bad idea.	2025-09-24 15:34:35 +01:00
Mathias Vorreiter Pedersen	c481be8ea7	C++: Accept test changes for tests that select all types of an expression.	2025-09-18 12:16:28 +01:00
Mathias Vorreiter Pedersen	5e82eb9b24	C++: Fixup queries which assumes that a guard is always an expression.	2025-09-18 12:16:21 +01:00
Mathias Vorreiter Pedersen	fbd877a118	C++: Delete a test. This is no longer useful when every expression is a guard condition.	2025-09-18 12:16:20 +01:00
Mathias Vorreiter Pedersen	2dc783d91f	C++: Accept test changes.	2025-09-18 12:16:16 +01:00
Mathias Vorreiter Pedersen	0b81fbbb2b	C++: Fixup tests.	2025-09-18 12:16:11 +01:00
Asger F	78bfdfd931	Merge pull request #20390 from asgerf/post-update-consistency ... DataFlow: Permit local flow between post-update nodes	2025-09-16 13:00:29 +02:00
Jeroen Ketema	352610d651	C++: Add GOOD annotation	2025-09-12 10:29:27 +02:00
Asger F	ae4cf302f2	Remove failures from dataflow-consistency expectations	2025-09-11 14:49:58 +02:00
Jeroen Ketema	2bc035cfcf	C++: Update test results after extractor changes	2025-09-11 10:31:01 +02:00
Jeroen Ketema	d224f85b24	C++: Add uninitialized variable FP test	2025-09-11 10:31:00 +02:00
Jeroen Ketema	f4df3881f8	C++: Handle *& sequences in sizeof VLA expressions	2025-09-02 12:29:24 +02:00
Jeroen Ketema	8a7553232f	C++: Add more sizeof VLA tests	2025-09-02 12:29:19 +02:00
Jeroen Ketema	f68d3477d4	C++: Output necessary conversions in the sizeof VLA IR	2025-09-02 12:29:17 +02:00
Jeroen Ketema	6a9324fab0	C++: Fix obtaining the base type of a VLA	2025-09-02 12:29:13 +02:00
Jeroen Ketema	ffbc83deeb	C++: Update expected test results	2025-09-02 12:29:10 +02:00
Jeroen Ketema	74f5687660	C++: Update expected test results	2025-09-02 12:29:07 +02:00
Jeroen Ketema	5bd08e8174	C++: Add more sizeof VLA tests	2025-09-02 12:29:02 +02:00
Jeroen Ketema	dc78330529	C++: Update expected test results	2025-09-02 12:29:00 +02:00
Jeroen Ketema	60845001dd	C++: Add sizeof VLA IR test cases	2025-09-02 12:28:56 +02:00
Jeroen Ketema	b361b0f3c3	Merge pull request #20310 from MathiasVP/add-comptr-model-now-with-more-models ... C++: Add `ComPtr` conversion operators	2025-08-29 16:45:39 +02:00
Jeroen Ketema	6b580ac12d	C++: Update expected test results	2025-08-29 10:57:03 +02:00
Jeroen Ketema	a145e52faf	C++: Add uninitialized local test	2025-08-29 10:55:10 +02:00
Jeroen Ketema	b8917c8c19	Merge branch 'main' into add-comptr-model-now-with-more-models	2025-08-28 17:15:06 +02:00
Mathias Vorreiter Pedersen	ddf0f37dac	C++: Accept test changes.	2025-08-28 16:58:49 +02:00
Mathias Vorreiter Pedersen	f135ed957d	C++: Add testcases with missing model.	2025-08-28 16:54:46 +02:00
Mathias Vorreiter Pedersen	4116292888	C++: Accept test changes.	2025-08-28 12:13:19 +02:00
Mathias Vorreiter Pedersen	d0e766da3e	C++: Add a testcase with invalid IR.	2025-08-28 12:06:21 +02:00
Mathias Vorreiter Pedersen	bebfe03166	C++: Add missing model and accept test changes.	2025-08-27 15:15:26 +02:00
Mathias Vorreiter Pedersen	8c07a3e552	C++: Add testcase with missing model.	2025-08-27 15:12:52 +02:00
Mathias Vorreiter Pedersen	7c05622a91	C++: Add missing type and accept test changes.	2025-08-27 14:41:00 +02:00
Mathias Vorreiter Pedersen	9e9f6dd11a	C++: Accept test changes.	2025-08-27 14:18:21 +02:00
Mathias Vorreiter Pedersen	6f64129b04	C++: Add ComPtr tests.	2025-08-27 14:05:13 +02:00
REDMOND\brodes	938b47c2ad	Crypto: Debug missing hashes associated with HMAC. EVP_PKEY_get1_RSA is now just a passthrough, it is not a known implicit operation call. Some final operations generating null outputs are now removed from possible final operartions (typically used to determine buffer lenghth and not actually performing the operation). Misc. false positive/error fixes and code clean up, and added missing models.	2025-08-26 16:07:04 -04:00
REDMOND\brodes	5d29240f27	Crypto: OperationStep overhaul to account for errors and missing interproc flow.	2025-08-25 16:59:09 -04:00
Jeroen Ketema	0752c07bc1	C++: Update expected test results after extractor changes	2025-08-25 15:56:00 +02:00
REDMOND\brodes	b7ceeb399f	Crypto: nodes.expected update and removed dead code from Language.qll	2025-08-22 14:50:31 -04:00
REDMOND\brodes	ec7e41cb30	Crypto: Fixed issues in CBOM representations (gaps in the underlying model) and simplified unit tests in terms of the graph complexity to aid visual assessments of model correctness.	2025-08-21 15:05:45 -04:00
Mathias Vorreiter Pedersen	dfda5a0793	Merge pull request #20249 from MathiasVP/type-tracking-for-cpp-3 ... C++: Use the shared type-tracking library for virtual dispatch resolution	2025-08-21 11:14:12 +02:00
Ben Rodes	65ff72719e	Merge branch 'main' into signature_model_refactor	2025-08-20 12:34:06 -04:00