13876 Commits

Author	SHA1	Message	Date
Mathias Vorreiter Pedersen	e59de9a3d6	C++: Add models for the remaining member functions (and conversions) in ComPtr.	2025-08-28 16:56:39 +02:00
Mathias Vorreiter Pedersen	3e78572a3a	C++: Drive-by fix: Add missing '@'.	2025-08-28 16:54:49 +02:00
Mathias Vorreiter Pedersen	f135ed957d	C++: Add testcases with missing model.	2025-08-28 16:54:46 +02:00
Mathias Vorreiter Pedersen	2c2b1e4116	Merge pull request #20306 from MathiasVP/fix-new-initializer-bug ... C++: Fix IR construction for implicit conversions in `new` initializers	2025-08-28 16:40:37 +02:00
Jeroen Ketema	1847a450cc	Merge pull request #20298 from jketema/pch-expose ... C++: Add class representing PCH files	2025-08-28 15:33:20 +02:00
Jeroen Ketema	31126649a9	Update cpp/ql/lib/semmle/code/cpp/PchFile.qll ... Co-authored-by: Idriss Riouak <idrissrio@github.com>	2025-08-28 13:10:39 +02:00
Mathias Vorreiter Pedersen	4116292888	C++: Accept test changes.	2025-08-28 12:13:19 +02:00
Mathias Vorreiter Pedersen	2033552bb2	C++: Handle conversions in new initializers.	2025-08-28 12:13:02 +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	96b6986660	C++: Fix duplicated entries.	2025-08-27 14:35:45 +02:00
Mathias Vorreiter Pedersen	9e9f6dd11a	C++: Accept test changes.	2025-08-27 14:18:21 +02:00
Mathias Vorreiter Pedersen	246ed9d30b	C++: Add a model for ComPtr.	2025-08-27 14:18:12 +02:00
Mathias Vorreiter Pedersen	6f64129b04	C++: Add ComPtr tests.	2025-08-27 14:05:13 +02:00
Jeroen Ketema	fd752d36cb	C++: Add missing QLDoc	2025-08-27 13:48:10 +02:00
Jeroen Ketema	97d3982061	C++: Add change note	2025-08-27 13:42:46 +02:00
Jeroen Ketema	9b19ccf884	C++: Update dbscheme stats file	2025-08-27 12:52:26 +02:00
REDMOND\brodes	7c8177de97	Crypto: Added missing ArtifactPassthrough.qll (forgot to add to merged in branch). Acronym casing fix.	2025-08-26 17:12:21 -04:00
Jeroen Ketema	896a802194	C++: Add upgrade and downgrade scripts	2025-08-26 23:12:15 +02:00
Jeroen Ketema	e20ce57023	C++: Expose PCH file creation as usage in QL	2025-08-26 22:12:27 +02:00
Jeroen Ketema	e9b00f1e0d	C++: Add tables that represent the creation and use of PCH files ... This allows a use to be linked to a creation.	2025-08-26 22:12:12 +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	422352c632	Crypto: Continued refactoring of operation steps and bug fixes.	2025-08-26 11:49:26 -04:00
REDMOND\brodes	48dc280e6c	Crypto: Fix issue with OAEP padding edges regressing.	2025-08-26 08:51:52 -04:00
Jeroen Ketema	54f264851a	Merge branch 'main' into cpp/use-flow-state-inout-barriers	2025-08-26 11:24:32 +02:00
Jeroen Ketema	75786e9a71	C++: Revert changes to cpp/constant-array-overflow ... It is not clear that this does what we want here, and the query is severly broken in any case.	2025-08-26 10:43:54 +02: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	a104600d4d	Merge branch 'main' into cpp/use-flow-state-inout-barriers	2025-08-25 17:04:30 +02: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
Chris Smowton	1829060fab	Merge remote-tracking branch 'origin/main' into smowton/admin/merge-rc319-into-main	2025-08-21 16:33:37 +01: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
Kristen Newbury	cf0342410d	Merge branch 'knewbury01/add-uniform-Customizations' of https://github.com/knewbury01/codeql into knewbury01/add-uniform-Customizations	2025-08-20 13:19:16 -04:00
Kristen Newbury	854a5b5871	Add changenotes customizations addition	2025-08-20 13:18:17 -04:00
Ben Rodes	65ff72719e	Merge branch 'main' into signature_model_refactor	2025-08-20 12:34:06 -04:00
Mathias Vorreiter Pedersen	70d3e69ce5	C++: Rename 'lambda' to 'virtual'.	2025-08-20 10:38:22 +02:00
Jeroen Ketema	c9f0e3a377	Apply suggestions from code review	2025-08-20 08:07:10 +02:00
Kristen Newbury	d630e32ce9	Format Customizations.qll	2025-08-19 15:27:29 -04:00
Kristen Newbury	49ef6939d4	Add extra Customizations files	2025-08-19 14:49:31 -04:00
Mathias Vorreiter Pedersen	02bf923f7e	C++: Add change note.	2025-08-19 13:57:15 +02: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	cca5bd9ada	C++: Update 'mayBenefitFromCallContext' to not use the old virtual dispatch local flow predicate.	2025-08-19 13:57:07 +02:00
Mathias Vorreiter Pedersen	383799ce67	C++: Perform 6 rounds of virtual dispatch resolution like Java.	2025-08-19 13:57:05 +02:00
Mathias Vorreiter Pedersen	d4188d59a8	C++: Instantiate the type tracking module inside a reusable module like it's done in Java.	2025-08-19 13:57:03 +02:00
Mathias Vorreiter Pedersen	caf7464f3b	C++: Prefix with 'DataflowPrivate'.	2025-08-19 12:46:12 +02:00