3702 Commits

Author	SHA1	Message	Date
Mathias Vorreiter Pedersen	5da7ae877b	Merge pull request #20115 from MathiasVP/add-more-windows-memcpy-functions ... C++: Add some more Windows specific memory copy models	2025-07-23 16:10:56 +01:00
Mathias Vorreiter Pedersen	9d736723fb	C++: Add more Windows specific models for memcpy-like tings.	2025-07-23 13:45:20 +01:00
Mathias Vorreiter Pedersen	3a977b86d4	Update cpp/ql/lib/semmle/code/cpp/security/ProductFlowUtils/ProductFlowUtils.qll ... Co-authored-by: Idriss Riouak <idrissrio@github.com>	2025-07-23 12:27:38 +01:00
Mathias Vorreiter Pedersen	5d6c4a63bb	Update cpp/ql/lib/semmle/code/cpp/security/ProductFlowUtils/ProductFlowUtils.qll ... Co-authored-by: Copilot <175728472+Copilot@users.noreply.github.com>	2025-07-23 11:53:55 +01:00
Mathias Vorreiter Pedersen	019447b681	C++: Add change note.	2025-07-23 11:49:07 +01:00
Mathias Vorreiter Pedersen	a1f4246c5f	C++: Extract the barriers from 'cpp/invalid-pointer-deref' into a library.	2025-07-22 18:35:29 +01:00
github-actions[bot]	37cc78255a	Post-release preparation for codeql-cli-2.22.2	2025-07-22 14:22:20 +00:00
Nick Rolfe	43d14c28c2	Tweak changenotes	2025-07-22 15:06:09 +01:00
github-actions[bot]	997547b8ef	Release preparation for version 2.22.2	2025-07-22 14:04:14 +00:00
Nick Rolfe	825c813095	Revert "Release preparation for version 2.22.2"	2025-07-22 14:33:45 +01:00
github-actions[bot]	deb035cf4e	Post-release preparation for codeql-cli-2.22.2	2025-07-22 09:36:07 +00:00
Nick Rolfe	74cd982aca	Tweak changenotes	2025-07-22 09:51:52 +01:00
github-actions[bot]	c8632b70b7	Release preparation for version 2.22.2	2025-07-21 16:45:45 +00:00
Nick Rolfe	ad9b637bec	Revert "Merge pull request #19994 from github/post-release-prep/codeql-cli-2.22.2" ... This reverts commit e5b4a15e35, reversing changes made to 33e63109bb.	2025-07-21 15:18:59 +01:00
Jeroen Ketema	29a6af4efd	C++: Fix instruction class name	2025-07-16 18:11:17 +02:00
Jeroen Ketema	f319381f27	C++: Support the spaceship operator in the IR	2025-07-16 17:53:55 +02:00
Mathias Vorreiter Pedersen	8b953e4f22	C++: No need for 'resolveCall' anymore.	2025-07-16 14:28:04 +01:00
Mathias Vorreiter Pedersen	df4b338c5d	C++: Add change notes.	2025-07-16 14:11:09 +01:00
Mathias Vorreiter Pedersen	ca913b452c	C++: Don't summarize calls through function pointers in FunctionWithWrappers.	2025-07-16 11:51:46 +01:00
Jeroen Ketema	529712122c	C++: Address review comments	2025-07-15 22:15:11 +02:00
Jeroen Ketema	a08d594371	C++: Introduce TypeidInstruction base class	2025-07-15 21:31:24 +02:00
Jeroen Ketema	54f11ca611	C++: Fix typo in comment	2025-07-15 20:40:57 +02:00
Jeroen Ketema	70bff4e726	C++: Fix typeid IR translation	2025-07-15 20:24:17 +02:00
Mathias Vorreiter Pedersen	c83895fdd2	Merge branch 'main' into fix-global-variable-recursion-fp	2025-07-14 16:08:46 +01:00
Mathias Vorreiter Pedersen	a825213c05	C++: Fix FP by not generating a global def entry node for variable 'v' in the 'IRfunction' for 'v' itself.	2025-07-14 15:22:52 +01:00
Jeroen Ketema	d82d5c23bf	Merge pull request #20026 from jketema/concept-fix ... C++: Fix C++20 concept related class extensions	2025-07-13 10:20:10 +02:00
Mathias Vorreiter Pedersen	1da42cb590	Merge pull request #20023 from MathiasVP/dataflow-for-functors ... C++: Better dataflow for function objects	2025-07-11 15:14:27 +01:00
Jeroen Ketema	232377a583	C++: Fix C++20 concept related class extensions	2025-07-11 13:38:06 +02:00
Mathias Vorreiter Pedersen	6d0c8c6d77	C++: Work around an extractor bug.	2025-07-11 09:46:20 +01:00
Mathias Vorreiter Pedersen	df241ad4f6	C++: Fix lambda creation for objects with no constructor.	2025-07-11 09:46:09 +01:00
Mathias Vorreiter Pedersen	b53c3547d0	C++: Add lambda dispatch for functors.	2025-07-11 09:36:45 +01:00
Mathias Vorreiter Pedersen	663c3e7b6d	C++: Sync identical files.	2025-07-11 09:36:44 +01:00
Mathias Vorreiter Pedersen	11cba94032	C++: Add a missing predicate on 'UninitializedInstruction' that we will use later.	2025-07-11 09:36:42 +01:00
Jeroen Ketema	6d8e2f8231	Merge pull request #20017 from jketema/final ... C++: Add dataflow predicate for checking if a node is the final value of a parameter	2025-07-10 18:47:09 +02:00
Jeroen Ketema	96c379a076	C++: Fix formatting and typo	2025-07-10 15:56:11 +02:00
Jeroen Ketema	214969feaf	C++: Add change note	2025-07-10 15:52:27 +02:00
Jeroen Ketema	b32a8c2489	C++: Add dataflow predicate for checking if a node is the final value of a parameter	2025-07-10 15:47:23 +02:00
Mathias Vorreiter Pedersen	89cf215ebb	C++: Add models for 'std::thread' and accept test changes.	2025-07-10 12:45:20 +01:00
Mathias Vorreiter Pedersen	d198a964e0	C++: Add a model for 'pthread_create' and accept test changes.	2025-07-10 12:20:24 +01:00
github-actions[bot]	24a0ac1223	Post-release preparation for codeql-cli-2.22.2	2025-07-07 18:15:04 +00:00
github-actions[bot]	f12daefabe	Release preparation for version 2.22.2	2025-07-07 14:00:26 +00:00
Mathias Vorreiter Pedersen	7bb3758093	Merge pull request #19976 from jketema/incr-2 ... C++: Output `CopyValue` in the IR when there is a non-transparent conversion	2025-07-07 13:08:50 +01:00
Jeroen Ketema	a004d9b2a2	Merge pull request #19990 from igfoo/igfoo/rename ... C++: Rename a changenote file	2025-07-07 13:59:15 +02:00
Ian Lynagh	fd733676cb	C++: Rename a changenote file	2025-07-07 12:53:42 +01:00
Jeroen Ketema	d6d7c6d55f	Revert "C++: Factor out transparent conversions in their own predicate" ... This reverts commit b185cc8b95.	2025-07-04 23:22:46 +02:00
Jeroen Ketema	463ae4b1eb	C++: Address review comments	2025-07-04 23:13:37 +02:00
Jeroen Ketema	2908570ce9	C++: Do not consider expression results discardable when there is a conversion	2025-07-04 14:10:34 +02:00
Jeroen Ketema	b185cc8b95	C++: Factor out transparent conversions in their own predicate	2025-07-04 14:09:34 +02:00
Jeroen Ketema	e68d10119b	C++: Fix typo in comment	2025-07-04 14:09:09 +02:00
Mathias Vorreiter Pedersen	e89662beb7	C++: Add glibc flow summaries.	2025-07-03 18:53:18 +01:00