3740 Commits

Author	SHA1	Message	Date
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
Paolo Tranquilli	7a78766584	Merge pull request #18789 from github/redsun82/cargo-upgrade ... Upgrade cargo dependencies	2025-03-04 17:34:58 +01:00
Tom Hvitved	b8dd2e551e	Merge pull request #18919 from hvitved/rust/ast-consistency-internal ... Rust: Move `AstConsistency.qll` into `internal`	2025-03-04 15:35:34 +01:00
Simon Friis Vindum	c89e648738	Rust: Exclude function without canonical path from model generation	2025-03-04 13:56:10 +01:00
Tom Hvitved	1f13f0009f	Rust: Move AstConsistency.qll into internal	2025-03-04 13:00:09 +01:00
Anders Schack-Mulligen	4c0e5f62cf	Rust: Remove remaining DefinitionExt references.	2025-03-04 12:24:24 +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	8474a47c2b	Rust: Switch test to use dedicated test module.	2025-03-04 12:24:23 +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
Paolo Tranquilli	2a29239b01	Merge branch 'main' into redsun82/cargo-upgrade	2025-03-04 10:05:41 +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
Simon Friis Vindum	1225c5c828	Rust: Accept changes	2025-03-03 09:44:24 +01:00
Simon Friis Vindum	d8d882958d	Merge branch 'main' into rust-ref-mut	2025-03-03 09:19:08 +01:00
Simon Friis Vindum	c1ee20b2b9	Rust: Update generated models for Rust built-in libraries	2025-02-28 13:40:43 +01:00
Paolo Tranquilli	6b34d3f480	Rust: add missing empty expected file	2025-02-28 12:26:03 +01:00
Paolo Tranquilli	ee61fdcb6f	Merge branch 'main' into redsun82/rust-turn-off-ra-resolution	2025-02-28 12:03:14 +01:00
Simon Friis Vindum	c4773c42c4	Rust: Model pointer read and write functions	2025-02-28 11:44:11 +01:00
Simon Friis Vindum	bc651af319	Merge branch 'main' into rust-ref-mut	2025-02-28 11:42:06 +01:00
Paolo Tranquilli	e0d4e5ea7f	Rust: remove missing flow in test	2025-02-28 11:36:27 +01:00
Simon Friis Vindum	5b657035d2	Rust: Add test for models of pointer read and write	2025-02-28 11:19:41 +01:00
Simon Friis Vindum	518f164c61	Rust: Address PR comments	2025-02-28 10:49:27 +01:00
Paolo Tranquilli	d11bbdb5a7	Merge branch 'main' into redsun82/cargo-upgrade	2025-02-28 10:41:37 +01:00
Paolo Tranquilli	a444bbc080	Merge branch 'main' into redsun82/rust-turn-off-ra-resolution	2025-02-27 11:11:06 +01:00
Simon Friis Vindum	476fef49da	Rust: Allow SSA and some data flow for mutable borrows	2025-02-26 16:00:52 +01:00
Simon Friis Vindum	51ae7c6b8c	Rust: Reorganize pointers tests and add additional tests	2025-02-26 13:51:55 +01:00
Geoffrey White	0ef4c6f954	Merge branch 'main' into okerr	2025-02-26 12:33:39 +00:00
Paolo Tranquilli	3a67836eb2	Merge branch 'main' into redsun82/cargo-upgrade	2025-02-26 09:58:15 +01:00
Simon Friis Vindum	cc5179a35e	Merge pull request #18787 from paldepind/rust-core-std-models ... Rust: Add generated models for standard libraries including core	2025-02-26 09:31:16 +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
Simon Friis Vindum	26a96d9f65	Rust: Accept changes	2025-02-25 15:56:10 +01:00
Tom Hvitved	0522f3f694	Merge pull request #18856 from hvitved/rust/inline-expectations-update ... Rust: Update some inline expectation comments	2025-02-25 15:28:28 +01:00
Simon Friis Vindum	5c997859b0	Merge branch 'main' into rust-core-std-models	2025-02-25 15:07:29 +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
Paolo Tranquilli	cbae16b392	Rust: rerun code generation	2025-02-25 13:31:16 +01:00
Geoffrey White	f406914258	Merge pull request #18701 from geoffw0/nth ... Rust: Test and model some string and iterator methods	2025-02-25 10:42:49 +00:00
Tom Hvitved	b40290683e	Rust: Update some inline expectation comments	2025-02-25 09:34:50 +01:00
Geoffrey White	6437bd692e	Merge pull request #18851 from geoffw0/typo ... Fix typo in shared DataFlowImplConsistency.qll	2025-02-24 18:45:09 +00:00
Simon Friis Vindum	6353dbf3f5	Merge branch 'main' into rust-core-std-models	2025-02-24 16:05:08 +01:00
Geoffrey White	24411b61e9	Fix typo.	2025-02-24 13:59:22 +00:00
Anders Schack-Mulligen	7499df43d0	Rust: Remove getDefinitionExt reference.	2025-02-24 14:27:17 +01:00
Paolo Tranquilli	d8dad7dff0	Merge branch 'main' into redsun82/rust-trait-path	2025-02-24 14:12:53 +01:00
Tom Hvitved	425fa0db09	Merge pull request #18823 from hvitved/rust/path-resolution-more ... Rust: More path resolution improvements	2025-02-24 12:46:07 +01:00
Geoffrey White	6cb8f65076	Rust: Fix up .expected after merge.	2025-02-24 10:58:19 +00:00
Geoffrey White	fdc76dd06a	Merge branch 'main' into nth	2025-02-24 10:57:45 +00:00
Paolo Tranquilli	1bce783623	Rust: accept test changes for now	2025-02-24 11:30:58 +01:00
Tom Hvitved	7380ec8a55	Address review comments	2025-02-24 11:09:58 +01:00