5768 Commits

Author	SHA1	Message	Date
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
Mathias Vorreiter Pedersen	0631bd7466	C++: Add object/flow conflation for unions when resolving function pointers.	2025-08-19 13:57:13 +02:00
Mathias Vorreiter Pedersen	16508b1800	C++: Fix off-by-one error in getType on 'FinalGlobalValue' nodes and accept test changes.	2025-08-19 13:57:11 +02:00
Mathias Vorreiter Pedersen	302d35bedc	C++: Accept test changes.	2025-08-19 13:57:10 +02:00
Mathias Vorreiter Pedersen	c1b91db37a	C++: Add more virtual dispatch tests.	2025-08-19 12:32:09 +02:00
Mathias Vorreiter Pedersen	af00e46fc8	C++: Mark fprintf and friends as a partial write of the stream argument.	2025-08-18 18:15:14 +02:00
Mathias Vorreiter Pedersen	6a57da79de	C++: Add a test with missing flow.	2025-08-18 18:12:52 +02:00
Ian Lynagh	fd020b52e4	Merge pull request #20232 from igfoo/igfoo/SloppyGlobal ... C++: SloppyGlobal: Don't alert on template instantiations, only the template	2025-08-18 11:39:30 +01:00
Ian Lynagh	3157fcdf79	C++: Add some BAD annotations to SloppyGlobal test	2025-08-15 12:07:09 +01:00
Ian Lynagh	bfd4c41ed9	C++: SloppyGlobal: Accept test changes ... We no longer alert on template instantiations, just the template.	2025-08-15 11:24:19 +01:00
Ian Lynagh	0b68c1c974	C++: Add some more tests for SloppyGlobal	2025-08-15 11:20:31 +01:00