2639 Commits

Author	SHA1	Message	Date
Mathias Vorreiter Pedersen	56aacb1e55	Merge pull request #20145 from MathiasVP/fix-type-error-in-ir ... C++: Fix missing `bool` -> `int` conversions in C code	2025-08-11 10:26:54 +02:00
Mathias Vorreiter Pedersen	d76ce4fb69	C++: Also handle reference types when computing 'trueSize'.	2025-08-08 15:12:45 +01:00
Mathias Vorreiter Pedersen	c726285cac	C++: Sync identical files.	2025-08-03 12:17:31 +01:00
Mathias Vorreiter Pedersen	0d9e298250	C++: Specifier-only converting instructions preserve GVNs.	2025-08-03 12:17:19 +01:00
Mathias Vorreiter Pedersen	73e4bfdd3e	C++: Fix missing flow by also generating final global uses for functions that have a post-update node for the global variable.	2025-08-02 16:41:23 +01:00
Mathias Vorreiter Pedersen	7561190bd1	C++: Fix type errors in C code.	2025-08-01 16:09:42 +01:00
Mathias Vorreiter Pedersen	0e9286dd34	C++: Fix QLDoc.	2025-08-01 11:37:12 +01:00
Mathias Vorreiter Pedersen	b70836e241	C++: Modify the API to not expose dataflow nodes.	2025-08-01 11:34:49 +01:00
Mathias Vorreiter Pedersen	33d05984c8	C++: Stick the exposed SSA classes into a public SSA module.	2025-08-01 11:34:47 +01:00
Mathias Vorreiter Pedersen	32e6d0934e	C++: Drive-by fix: These files imported both the public dataflow files and the internal ones. Let's only import the internal ones.	2025-08-01 11:34:45 +01:00
Mathias Vorreiter Pedersen	7ede3aa516	C++: Fix imports.	2025-08-01 10:35:34 +01:00
Mathias Vorreiter Pedersen	0d91622d18	C++: Rename SsaInternals to SsaImpl and SsaInternalsCommon to SsaImplCommon.	2025-08-01 10:34:14 +01:00
Mathias Vorreiter Pedersen	c8f4b287d1	C++: Add a comment on the old SSA library.	2025-07-31 14:07:38 +01:00
Mathias Vorreiter Pedersen	8691075aae	Update cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/SsaInternals.qll ... Co-authored-by: Copilot <175728472+Copilot@users.noreply.github.com>	2025-07-31 13:52:21 +01:00
Mathias Vorreiter Pedersen	5a91aa2105	C++: Expose SSA definitions from dataflow.	2025-07-31 13:45:03 +01:00
Mathias Vorreiter Pedersen	1dae787605	C++: Drive-by fix suggested by Schack. This now matches the predicate in C#.	2025-07-31 12:58:05 +01:00
Anders Schack-Mulligen	3b8234ecec	SSA: Update data flow integration and BarrierGuard interface to use GuardValue.	2025-07-28 11:29:12 +02: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	a1f4246c5f	C++: Extract the barriers from 'cpp/invalid-pointer-deref' into a library.	2025-07-22 18:35:29 +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	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	96c379a076	C++: Fix formatting and typo	2025-07-10 15:56:11 +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
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
Jeroen Ketema	65b21286a1	C++: Move builtin function identification to its own table	2025-07-01 18:00:44 +02:00
Jeroen Ketema	a791640b52	Merge pull request #19935 from jketema/sync-dbscheme-cpp ... C++: synchronize dbscheme	2025-07-01 09:51:29 +02:00
Jeroen Ketema	d5c7905009	Merge pull request #19907 from github/idrissrio/no-string-representation ... C++: fix `(no string representation)` for `ConstructorInit`	2025-07-01 08:13:31 +02:00
idrissrio	6a291cc474	C++: fix (no string representation) for ConstructorInit	2025-06-30 17:11:58 +02:00
Jeroen Ketema	617edf0b70	C++: synchronize dbscheme	2025-06-30 15:28:45 +02:00