1233 Commits

Author	SHA1	Message	Date
Anders Schack-Mulligen	669f9261f1	SSA: Skip irrelevant phi input nodes.	2025-03-25 12:31:01 +01:00
Anders Schack-Mulligen	c778bf6343	SSA: Rename SsaInputDefinitionExt	2025-03-25 12:31:01 +01:00
Anders Schack-Mulligen	5aa7029934	SSA: Add support for skipping WriteDefinitions in use-use.	2025-03-25 12:31:00 +01:00
Simon Friis Vindum	06c8963f70	Shared: Infer types for type parameters with contraints	2025-03-25 09:03:44 +01:00
Simon Friis Vindum	ba9edf8d25	Shared: Refactor type inference	2025-03-25 06:32:36 +01:00
Simon Friis Vindum	7dc49da6b0	Shared: Fix path in qldoc ... Co-authored-by: Anders Schack-Mulligen <aschackmull@users.noreply.github.com>	2025-03-24 11:38:15 +01:00
Simon Friis Vindum	e0ef24154a	Rust: Small tweaks to doc comments based on PR feedback	2025-03-21 08:30:14 +01:00
Paolo Tranquilli	13370200cc	Cargo: upgrade dependencies	2025-03-20 16:48:29 +01:00
Simon Friis Vindum	b2fc4f80fb	Rust: Adjustments to type inference	2025-03-20 16:38:06 +01:00
Simon Friis Vindum	659077769b	Merge pull request #19062 from paldepind/rust-ti-1 ... Rust: Improve handling of trait bounds	2025-03-20 14:38:03 +01:00
Chris Smowton	9a2a13ed55	Merge remote-tracking branch 'origin/main' into smowton/admin/merge-rc317-into-main	2025-03-19 16:01:29 +00:00
Simon Friis Vindum	0d770c8c91	Rust: Improve handling of type parameters with trait bounds	2025-03-19 16:34:23 +01:00
github-actions[bot]	51cdeefafb	Post-release preparation for codeql-cli-2.20.7	2025-03-17 13:00:41 +00:00
Simon Friis Vindum	81b28df089	Merge branch 'main' into rust-type-inference-tweaks	2025-03-17 13:18:45 +01:00
github-actions[bot]	2d64a618e6	Release preparation for version 2.20.7	2025-03-17 12:15:54 +00:00
Simon Friis Vindum	75355e9e53	Rust: Revert conjunct reorder	2025-03-17 07:46:54 +01:00
Tom Hvitved	dfc39272b4	Rust: Limit TypePaths to at most length 10	2025-03-16 20:35:16 +01:00
Simon Friis Vindum	4c3768f771	Rust: Add comments for type inference	2025-03-15 13:51:15 +01:00
Simon Friis Vindum	422d9e1f93	Rust: Minor refactoring of type inference	2025-03-15 13:47:08 +01:00
Simon Friis Vindum	210b4db908	Rust: Encapsulate type parameter decoding/encoding	2025-03-15 13:41:46 +01:00
Anders Schack-Mulligen	ecb5e7ad07	C++: Fix spurious ExprNode fanout in DataFlowIntegration.	2025-03-14 10:51:26 +01:00
Anders Schack-Mulligen	9375e571b1	C++: Use SSA data flow integration module.	2025-03-14 10:51:24 +01:00
Tom Hvitved	af91152f5c	Address review comments	2025-03-13 15:04:59 +01:00
Tom Hvitved	78280af570	Rust: Use 'infer' instead of 'resolve' in type inference library	2025-03-13 13:34:43 +01:00
Tom Hvitved	3a58611271	Shared: Add shared type inference library	2025-03-13 13:23:09 +01:00
Asger F	d84368eb54	Merge pull request #18858 from Napalys/js/react-relay ... JS: React-relay support	2025-03-10 14:33:23 +01:00
Anders Schack-Mulligen	d075466958	Merge pull request #18941 from aschackmull/ssa/refactor4 ... Ssa: Extend consistency checks and reduce phi read nodes	2025-03-07 15:18:02 +01:00
Napalys	89040d0d06	Added missing response and request MaD source kinds.	2025-03-06 18:10:25 +01:00
Anders Schack-Mulligen	9e6bdbbcbb	SSA: Don't add phi-reads for frontiers of uncertain reads.	2025-03-06 12:47:38 +01:00
Anders Schack-Mulligen	d95114fb1d	SSA: Extend consistency queries.	2025-03-06 12:47:37 +01:00
Anders Schack-Mulligen	c6761db2fc	SSA: Replace the Guards interface in the SSA data flow integration.	2025-03-05 13:29:31 +01:00
Anders Schack-Mulligen	709d36b502	Merge pull request #18869 from aschackmull/ssa/refactor3 ... Ssa: Update qltests including consistency checks	2025-03-05 11:40:27 +01:00
Anders Schack-Mulligen	6c89602691	SSA: Add some qldoc.	2025-03-04 12:24:25 +01:00
Anders Schack-Mulligen	f5eb2d94bc	SSA: Use Definition.getLocation in DefinitionExt.	2025-03-04 12:24:25 +01:00
Anders Schack-Mulligen	00b8c80c24	SSA/C#/Ruby/Rust: Clean up SSA consistency queries. ... The RelevantDefinition class is no longer needed since the introduction of LocationSig.	2025-03-04 12:24:23 +01:00
Anders Schack-Mulligen	2f744ce3ec	SSA: Expose module for qltesting adjacent references.	2025-03-04 12:24:22 +01:00
Anders Schack-Mulligen	9e03b12ba0	C#/Java/Ruby/Rust/SSA: Replace DefinitionExt with SourceVariable in data flow integration predicates.	2025-03-04 12:24:21 +01:00
Anders Schack-Mulligen	39bba7f5c2	SSA: Change a few DefinitionExt uses that are actually just Definitions.	2025-03-04 12:24:21 +01:00
Anders Schack-Mulligen	42eef9e4b7	SSA: Deprecate getDefinitionExt.	2025-03-04 12:24:20 +01:00
github-actions[bot]	58f355ae5a	Post-release preparation for codeql-cli-2.20.6	2025-03-03 18:18:15 +00:00
github-actions[bot]	fa850cccb1	Release preparation for version 2.20.6	2025-03-03 17:13:19 +00:00
Paolo Tranquilli	9740232df8	Merge branch 'main' into redsun82/cargo-upgrade	2025-03-03 10:15:17 +01:00
Geoffrey White	1b35c0b7c9	Data flow: Improve doc for defaultImplicitTaintRead.	2025-02-28 09:43:57 +00:00
Paolo Tranquilli	0f91323100	Merge branch 'main' into redsun82/cargo-upgrade	2025-02-27 10:05:57 +01:00
Asger F	6e53ebed47	Ensure total ranking order to avoid ambiguous results	2025-02-26 09:34:06 +01:00
Paolo Tranquilli	2585c2f908	Merge branch 'main' into redsun82/cargo-upgrade	2025-02-25 17:03:25 +01:00
Asger F	ff36d1916f	Merge pull request #18810 from asgerf/js/test-related-locations ... Test: Add support for RelatedLocation tag and use in a JS query	2025-02-25 16:40:41 +01:00
Anders Schack-Mulligen	994a8eea39	Merge pull request #18857 from aschackmull/ssa/refactor-df-integr ... Ssa: Refactor the data flow integration module	2025-02-25 15:04:11 +01:00
Asger F	bb8f4529bf	Fix bug when RelatedLocation was used with a query ID	2025-02-25 14:52:32 +01:00
Paolo Tranquilli	d9ecb6255e	Shared: fix clippy warning	2025-02-25 13:41:34 +01:00