3809 Commits

Author	SHA1	Message	Date
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
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
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
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	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
Mathias Vorreiter Pedersen	fdb9f7ba2a	C++: Move these predicates to make the diff smaller.	2025-08-19 12:42:15 +02:00
Mathias Vorreiter Pedersen	42fcfca849	C++: Remove the old virtual dispatch case from 'defaultViableCallable' and slightly reorganize the code in preparation for the next commit.	2025-08-19 12:39:26 +02:00
Mathias Vorreiter Pedersen	af00e46fc8	C++: Mark fprintf and friends as a partial write of the stream argument.	2025-08-18 18:15:14 +02:00
Mathias Vorreiter Pedersen	4551875e2e	C++: Drive-by improvement: Use 'partialFlowFunc' since it is in scope anyway.	2025-08-18 18:10:35 +02:00
github-actions[bot]	42e3d31c49	Post-release preparation for codeql-cli-2.22.4	2025-08-18 14:42:42 +00:00
github-actions[bot]	90d29994c8	Release preparation for version 2.22.4	2025-08-18 14:06:09 +00:00
Mathias Vorreiter Pedersen	9c3bb87b89	C++: Add change note.	2025-08-13 16:42:39 +02:00
Mathias Vorreiter Pedersen	9ee313ff0a	C++: Remove code that is now subsumed.	2025-08-13 16:29:49 +02:00
Mathias Vorreiter Pedersen	bf4a84ba8f	C++: Drive-by: Add forgotten disjuncts involving '__builtin_expect'.	2025-08-13 16:29:42 +02:00
Mathias Vorreiter Pedersen	e6cd27a992	C++: Skip non-Boolean instructions in the new inference step.	2025-08-13 16:20:21 +02:00
Mathias Vorreiter Pedersen	e67b6d6c9a	C++: Add another inference step.	2025-08-13 16:20:19 +02:00
Jeroen Ketema	f9f99a043c	Merge pull request #20126 from MathiasVP/fix-missing-global-flow ... C++: Fix missing global variable flow	2025-08-11 11:54:35 +02:00
Mathias Vorreiter Pedersen	c8eb1cf826	C++: Add change note.	2025-08-11 11:28:53 +02:00
Mathias Vorreiter Pedersen	851cb04d36	Merge pull request #20193 from MathiasVP/fix-fp-in-overflow-buffer ... C++: Fix FP in `cpp/overflow-buffer`	2025-08-11 10:45:06 +02:00
Mathias Vorreiter Pedersen	ccfcd90f08	Merge pull request #20156 from MathiasVP/value-numbering-for-noop-casts ... C++: Value numbering for casts that only modify specifiers	2025-08-11 10:33:58 +02:00
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
github-actions[bot]	fb4b0aac53	Post-release preparation for codeql-cli-2.22.3	2025-08-04 17:18:08 +00:00
github-actions[bot]	fd82aeb1f8	Release preparation for version 2.22.3	2025-08-04 15:47:57 +00:00
Mathias Vorreiter Pedersen	65b1b7f63e	C++: Add change note.	2025-08-03 12:17:37 +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