3861 Commits

Author	SHA1	Message	Date
Jeroen Ketema	af82da5db3	Merge pull request #20350 from michaelnebel/cpp/ql4qlexperimental ... C++: Fix some Ql4Ql violations (crypto).	2025-09-04 16:21:44 +02:00
Michael Nebel	64d68feab3	Merge pull request #20325 from michaelnebel/cpp/ql4ql ... C++: Fix some Ql4Ql violations.	2025-09-04 14:17:11 +02:00
Michael Nebel	61e8ad264f	C++: Address review comments.	2025-09-04 12:52:46 +02:00
Michael Nebel	83d53baf82	C++: Fix some Ql4Ql violations.	2025-09-03 08:19:18 +02:00
Michael Nebel	462d639627	C++: Fix some Ql4Ql violations.	2025-09-03 08:13:20 +02:00
Jeroen Ketema	ab3ad20a1e	Merge pull request #20319 from jketema/ir-vla-sizeof ... C++: Support `sizeof` VLAs in the IR	2025-09-02 17:29:18 +02:00
Jeroen Ketema	8de1ed0d85	C++: Address review comments	2025-09-02 17:03:48 +02:00
Arthur Baars	0bb7fdccf6	Merge pull request #20347 from github/post-release-prep/codeql-cli-2.23.0 ... Post-release preparation for codeql-cli-2.23.0	2025-09-02 14:14:03 +02:00
github-actions[bot]	e8a2600a0c	Post-release preparation for codeql-cli-2.23.0	2025-09-02 11:46:23 +00:00
Jeroen Ketema	9431b0c754	C++: Add change note for new VlaDeclStmt predicates	2025-09-02 13:17:26 +02:00
github-actions[bot]	0bfa93828b	Release preparation for version 2.23.0	2025-09-02 11:09:32 +00:00
Jeroen Ketema	f4df3881f8	C++: Handle *& sequences in sizeof VLA expressions	2025-09-02 12:29:24 +02:00
Jeroen Ketema	438cc961da	C++: Document TranslatedSizeofExpr	2025-09-02 12:29:21 +02:00
Jeroen Ketema	f68d3477d4	C++: Output necessary conversions in the sizeof VLA IR	2025-09-02 12:29:17 +02:00
Jeroen Ketema	f0f66c6d58	C++: Minor refactor ... * Introduce new instruction tag for the base size * Introduce some convenience predicates on `VlaDeclStmt`	2025-09-02 12:29:15 +02:00
Jeroen Ketema	6a9324fab0	C++: Fix obtaining the base type of a VLA	2025-09-02 12:29:13 +02:00
Jeroen Ketema	6e8f44da42	C++: Handle sizeof VLAs with typedefs	2025-09-02 12:29:09 +02:00
Jeroen Ketema	fdab63fd5f	C++: Handle ArrayExprs in sizeof VLAs	2025-09-02 12:29:04 +02:00
Jeroen Ketema	d9320b3c16	C++: Support sizeof VLAs in the IR	2025-09-02 12:28:59 +02:00
Anders Schack-Mulligen	144e34c669	Shared: Use shared SuccessorType in shared Cfg and BasicBlock libs.	2025-09-01 13:43:32 +02:00
Anders Schack-Mulligen	70a871c1e5	Merge pull request #20253 from aschackmull/shared/basicblock-signature2 ... Shared: Add and use a signature for basic blocks	2025-09-01 12:39:33 +02:00
Jeroen Ketema	93f4721418	Merge pull request #20316 from jketema/stats ... C++: Update dbscheme stats file	2025-09-01 11:54:43 +02:00
Anders Schack-Mulligen	09b2c5abf0	BasicBlock: Replace entryBlock predicate with subclass.	2025-09-01 11:48:44 +02:00
Anders Schack-Mulligen	6ffb9b129f	C++: Extend final IRBlock	2025-09-01 11:26:36 +02:00
Anders Schack-Mulligen	a7b2a2fa9f	C++: Sync files.	2025-09-01 11:26:35 +02:00
Anders Schack-Mulligen	f459ddc40a	Languages: Adapt to api changes.	2025-09-01 11:26:33 +02:00
Anders Schack-Mulligen	bb3abc815f	SSA: Update input to use member predicates.	2025-09-01 11:19:48 +02:00
Jeroen Ketema	277f5efa9c	C++: Update dbscheme stats file	2025-08-29 11:13:59 +02:00
REDMOND\brodes	74ce7cd188	Crypto: Moving all data flow analyses to taint tracking.	2025-08-28 20:40:05 -04: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	b9cd7a80f9	C++: Fix conflation in models.	2025-08-28 17:10:06 +02:00
Mathias Vorreiter Pedersen	759e339444	C++: Add change note.	2025-08-28 17:02:26 +02:00
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	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	2033552bb2	C++: Handle conversions in new initializers.	2025-08-28 12:13:02 +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	96b6986660	C++: Fix duplicated entries.	2025-08-27 14:35:45 +02:00
Mathias Vorreiter Pedersen	246ed9d30b	C++: Add a model for ComPtr.	2025-08-27 14:18:12 +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