4077 Commits

Author	SHA1	Message	Date
Ian Lynagh	9a5128f915	C++: Add up/downgrade scripts	2026-02-09 18:01:01 +00:00
Ian Lynagh	c5f6820b5d	C++ overlay: Add trap_filename, source_file_uses_trap, in_trap	2026-02-09 18:01:01 +00:00
Mathias Vorreiter Pedersen	d57a42a7f7	C++: Make 'getChildCount' more robust by counting indexes instead of 'TranslatedDeclarationEntry's.	2026-02-05 20:23:45 +00:00
Idriss Riouak	1df3adf021	Merge pull request #21244 from github/idrissrio/cpp/overlay/changes-json ... C/C++ overlay: use files table instead of `overlayChangedFiles` for overlay discard	2026-02-05 13:15:07 +01:00
idrissrio	e26c199426	C/C++ overlay: use files table instead of overlayChangedFiles for overlay discard	2026-02-05 12:43:01 +01:00
Mathias Vorreiter Pedersen	476df7de73	Merge pull request #21260 from MathiasVP/add-windows-remote-flow-sources ... C++: Add more Win32 and Azure SDK remote flow sources	2026-02-05 10:47:03 +00:00
Mathias Vorreiter Pedersen	092d25451f	C++: Fix Copilot comments.	2026-02-03 11:45:30 +00:00
Mathias Vorreiter Pedersen	32b86eca50	C++: Add change note.	2026-02-03 11:40:31 +00:00
Mathias Vorreiter Pedersen	7ef96e3f3c	C++: Add taint-inheriting reads from the Winhttp structs.	2026-02-03 11:30:31 +00:00
Mathias Vorreiter Pedersen	cbc2dbc14d	C++: Add flow sources and summary models.	2026-02-03 11:14:16 +00:00
github-actions[bot]	73d06f26cb	Post-release preparation for codeql-cli-2.24.1	2026-02-02 14:04:26 +00:00
Henry Mercer	1a6b2b9b82	Fix capitalization of MySQL	2026-02-02 12:37:32 +00:00
github-actions[bot]	0db542e9f0	Release preparation for version 2.24.1	2026-02-02 12:09:09 +00:00
Mathias Vorreiter Pedersen	16670511de	Merge pull request #21239 from MathiasVP/logical-binary-fix-guards-cpp ... C++: Ensure that there are AST `GuardCondition`s for `||` and `&&`	2026-01-30 13:50:55 +00:00
Mathias Vorreiter Pedersen	5f079c1d51	C++: Add change note.	2026-01-30 12:19:28 +00:00
Mathias Vorreiter Pedersen	1b1c9c680c	Merge pull request #21227 from MathiasVP/postfix-fix ... C++: Get rid of an ugly workaround in dataflow	2026-01-29 12:25:02 +00:00
Mathias Vorreiter Pedersen	61a53fadc0	C++: Fix spelling.	2026-01-29 11:50:44 +00:00
Mathias Vorreiter Pedersen	25647badbd	C++: Fix the AST wrapper for binary logical operators.	2026-01-28 14:06:10 +00:00
Mathias Vorreiter Pedersen	6445fd805d	C++: Fix IR -> AST mapping for basic blocks.	2026-01-28 14:01:34 +00:00
Mathias Vorreiter Pedersen	4503c625b4	C++: Implement copilot suggestions.	2026-01-27 19:02:28 +00:00
Mathias Vorreiter Pedersen	445cca1432	C++: Proper SSA support for post-crement reads.	2026-01-27 18:29:12 +00:00
Ian Lynagh	46a5035543	Merge pull request #21200 from github/igfoo/rename-holdsInBase-to-isBase ... C++: Rename `holdsInBase` to `isBase`	2026-01-27 13:50:04 +00:00
Ian Lynagh	bb71790a53	Merge pull request #21199 from github/igfoo/refactorOverlayFunctionCalls ... C++ overlay: Simplify QL	2026-01-27 13:03:01 +00:00
Mathias Vorreiter Pedersen	db3f22a2e8	C++: Another small refactor.	2026-01-27 12:46:52 +00:00
Mathias Vorreiter Pedersen	3d445be926	C++: Small refactor.	2026-01-27 12:46:48 +00:00
Mathias Vorreiter Pedersen	9e9d57bac5	Merge pull request #21219 from MathiasVP/force-more-uniquess-in-buffer-overflow ... C++: Enforce more uniqueness in `Buffer.qll`	2026-01-27 11:00:40 +00:00
Mathias Vorreiter Pedersen	e0a7889b71	C++: Undo the hack.	2026-01-26 21:28:21 +00:00
Mathias Vorreiter Pedersen	980c4cf5f4	Update cpp/ql/lib/semmle/code/cpp/commons/Buffer.qll ... Co-authored-by: Copilot <175728472+Copilot@users.noreply.github.com>	2026-01-26 19:12:38 +00:00
Mathias Vorreiter Pedersen	544015d0a6	C++: Add change note.	2026-01-26 19:12:14 +00:00
Mathias Vorreiter Pedersen	aed0e688f5	C++: Remove uniqueness since it is enforced earlier now.	2026-01-26 15:01:40 +00:00
Mathias Vorreiter Pedersen	13a5249a9d	C++: Enforce uniqueness in the other branch of 'getSize'.	2026-01-26 15:00:58 +00:00
Mathias Vorreiter Pedersen	91752e5307	C++: Enforce uniqueness in 'getVariableSize'.	2026-01-26 15:00:00 +00:00
Tom Hvitved	0f6bae0ae1	Add change notes	2026-01-26 12:40:22 +01:00
Tom Hvitved	3b1e062985	C++: Adapt to changes in FlowSummaryImpl	2026-01-26 12:40:20 +01:00
Mathias Vorreiter Pedersen	cabcb83b2f	Merge pull request #21212 from MathiasVP/fix-as-definition ... C++: Fix missing results for `Node.asDefinition`	2026-01-23 19:39:22 +00:00
Mathias Vorreiter Pedersen	6c2a3a68b6	C++: Add change note.	2026-01-23 16:35:02 +00:00
Mathias Vorreiter Pedersen	a556152b9d	C++: Fix asDefinition to not only work for SSA definitions.	2026-01-23 16:23:21 +00:00
Jeroen Ketema	7ed1c0a2ee	C++: Add change note	2026-01-23 14:15:29 +01:00
Jeroen Ketema	ecd247bf16	C++: Add MaD models for MySQL escaping	2026-01-23 14:15:27 +01:00
Mathias Vorreiter Pedersen	60ee92d834	C++: Drive-by fix: Don't use the uncached ''getAPhiInputOrPriorDefinition' predicate. Instead, cache it and call it like we are supposed to.	2026-01-21 20:28:28 +00:00
Mathias Vorreiter Pedersen	d89967ce8e	C++: Add ''isLiveAtEndOfBlock' predicate to 'Definition'.	2026-01-21 20:27:39 +00:00
Ian Lynagh	5e536fb121	C++: Rename holdsInBase to isBase ... Makes it consistent with isOverlay.	2026-01-21 18:13:58 +00:00
Ian Lynagh	7bd62087a4	C++ overlay: Simplify QL ... Remove redundant variable names.	2026-01-21 18:06:43 +00:00
Mathias Vorreiter Pedersen	e1089c8d89	Merge branch 'main' into ir-support-for-assertions	2026-01-21 13:56:30 +00:00
Mathias Vorreiter Pedersen	e4ec79255b	C++: Fix bugs in variable resolution for assertions following review comments.	2026-01-21 13:50:27 +00:00
Mathias Vorreiter Pedersen	c30dffc7b9	C++: Add more tests.	2026-01-21 13:50:13 +00:00
Mathias Vorreiter Pedersen	6ae1ea73f7	Merge pull request #21185 from MathiasVP/mad-cpp-guards ... C++: Support models-as-data barriers and barrier guards	2026-01-21 12:13:49 +00:00
Jeroen Ketema	701569bb20	Update cpp/ql/lib/semmle/code/cpp/Preprocessor.qll ... Co-authored-by: Copilot <175728472+Copilot@users.noreply.github.com>	2026-01-20 16:05:51 +01:00
Jeroen Ketema	b35271a2ca	C++: Add upgrade and downgrade script	2026-01-20 15:40:24 +01:00
Jeroen Ketema	28047fe625	C++: Update dbscheme stats file	2026-01-20 14:39:00 +01:00