3133 Commits

Author	SHA1	Message	Date
Simon Friis Vindum	f7201023de	Rust: Add annotations to type inference tests	2025-09-02 16:24:40 +02:00
Simon Friis Vindum	17d23a9b78	Merge pull request #20343 from paldepind/rust/certain-type-inline-expectation ... Rust: Change inline expectation annotation for inferred certain types	2025-09-02 15:07:41 +02:00
Arthur Baars	0bb7fdccf6	Merge pull request #20347 from github/post-release-prep/codeql-cli-2.23.0 ... Post-release preparation for codeql-cli-2.23.0	2025-09-02 14:14:03 +02:00
Anders Schack-Mulligen	f833fe0e6e	Merge pull request #20300 from aschackmull/cfg/successortype ... Shared: Add a shared SuccessorType implementation	2025-09-02 14:09:35 +02:00
Michael Nebel	9d521e9cb6	Merge pull request #20333 from michaelnebel/rust/ql4ql ... Rust: Fix some Ql4Ql violations.	2025-09-02 14:00:47 +02:00
github-actions[bot]	e8a2600a0c	Post-release preparation for codeql-cli-2.23.0	2025-09-02 11:46:23 +00:00
Simon Friis Vindum	8a92b2d611	Rust: Change inline expectation annotation for certain inferred types	2025-09-02 13:44:06 +02:00
Michael Nebel	6f5da528a4	Update rust/ql/lib/codeql/rust/dataflow/internal/ModelsAsData.qll ... Co-authored-by: Simon Friis Vindum <paldepind@github.com>	2025-09-02 13:34:23 +02:00
Michael Nebel	464d8b13a8	Rust: Address review comments.	2025-09-02 13:33:51 +02:00
github-actions[bot]	0bfa93828b	Release preparation for version 2.23.0	2025-09-02 11:09:32 +00:00
Tom Hvitved	9bae0bfb35	Merge pull request #20295 from geoffw0/oldpaths1 ... Rust: Remove extractor path resolution.	2025-09-02 11:17:51 +02:00
Simon Friis Vindum	0ed6428a94	Merge pull request #20321 from paldepind/rust/trait-method-scope-2 ... Rust: Take trait visibility into account when resolving paths and methods	2025-09-02 10:58:00 +02:00
Tom Hvitved	1130595c67	Merge pull request #20340 from hvitved/rust/taint-tracking-implicit-deref-at-sinks ... Rust: Deref as taint step	2025-09-02 09:44:33 +02:00
Simon Friis Vindum	322ef4d985	Rust: Account for trait visibility when resolving paths and methods	2025-09-02 09:01:17 +02:00
Tom Hvitved	5b51bb2ef0	Rust: Deref as taint step	2025-09-02 08:55:10 +02:00
Henry Mercer	d71991fdc0	Merge pull request #20320 from github/henrymercer/default-queries ... Specify default queries in `codeql-extractor.yml`	2025-09-01 15:52:47 +01:00
Michael Nebel	37997c0561	Rust: Fix some Ql4Ql violations.	2025-09-01 15:21:41 +02:00
Anders Schack-Mulligen	144e34c669	Shared: Use shared SuccessorType in shared Cfg and BasicBlock libs.	2025-09-01 13:43:32 +02:00
Anders Schack-Mulligen	cf9196fb55	Rust: Use shared SuccessorType.	2025-09-01 12:56:07 +02:00
Anders Schack-Mulligen	09b2c5abf0	BasicBlock: Replace entryBlock predicate with subclass.	2025-09-01 11:48:44 +02:00
Anders Schack-Mulligen	f459ddc40a	Languages: Adapt to api changes.	2025-09-01 11:26:33 +02:00
Anders Schack-Mulligen	bb3abc815f	SSA: Update input to use member predicates.	2025-09-01 11:19:48 +02:00
Simon Friis Vindum	c1c7127894	Rust: Add examples where trait visibility affects path and method resolution	2025-08-30 13:26:13 +02:00
Henry Mercer	55869f28c3	Specify default queries in codeql-extractor.yml	2025-08-29 17:34:45 +01:00
Geoffrey White	45d6fc04ce	Merge pull request #20312 from geoffw0/dbquality ... Rust: Tune rust/diagnostic/database-quality	2025-08-29 13:04:46 +01:00
Geoffrey White	d650d56485	Rust: Implement upgrade and downgrade scripts.	2025-08-29 12:37:52 +01:00
Geoffrey White	bdc1f1715d	Rust: Add upgrade and downgrade scripts (template).	2025-08-29 08:49:33 +01:00
Geoffrey White	a6bdab15f6	Merge branch 'main' into oldpaths1	2025-08-29 08:30:43 +01:00
Tom Hvitved	0cc9ff8320	Merge pull request #20225 from hvitved/rust/path-resolution-crate-fallback ... Rust: Fallback crate resolution	2025-08-28 20:48:51 +02:00
Geoffrey White	5d14ef5fd3	Rust: Change note.	2025-08-28 17:14:53 +01:00
Geoffrey White	9e0a31cafc	Rust: Change note.	2025-08-28 17:08:03 +01:00
Geoffrey White	5c90b908cd	Rust: Lower the thresholds in rust/diagnostic/database-quality to more pragmatic numbers.	2025-08-28 17:08:02 +01:00
Geoffrey White	e8b7ce43a5	Merge pull request #20270 from geoffw0/pathi ... Rust: Improve FS models	2025-08-28 14:30:18 +01:00
Geoffrey White	e860600712	Rust: Remove the canonical_path_disabled test entirely.	2025-08-28 12:55:01 +01:00
Geoffrey White	1e46dd8412	Rust: Remove redundant code.	2025-08-28 10:59:37 +01:00
Tom Hvitved	f87f52d8d2	Address review comments	2025-08-28 10:08:48 +02:00
Tom Hvitved	dcaf4a735b	Rust: Fallback crate resolution	2025-08-28 09:34:05 +02:00
Geoffrey White	194363c107	Rust: Codegen.	2025-08-27 20:01:16 +01:00
Geoffrey White	f838494bf0	Rust: Remove empty impls.	2025-08-27 19:58:03 +01:00
Geoffrey White	9efb6ea995	Rust: Cargo fmt.	2025-08-27 19:16:43 +01:00
Geoffrey White	83df1137b6	Rust: Codegen.	2025-08-27 17:47:34 +01:00
Geoffrey White	2e747bb05c	Merge branch 'main' into oldpaths1 (some generated files are left unmerged).	2025-08-27 16:56:06 +01:00
Geoffrey White	a075ed595c	Rust: Remove telemetry about extractor generated paths.	2025-08-27 15:56:59 +01:00
Simon Friis Vindum	08f025f164	Rust: Infer range expressions certainly and support full ranges	2025-08-27 13:59:20 +02:00
Simon Friis Vindum	4c10f07d5f	Rust: Add type inference test with range full expression	2025-08-27 13:59:19 +02:00
Simon Friis Vindum	2f4e2d6d79	Rust: Infer certain types for logical operators	2025-08-27 13:59:18 +02:00
Simon Friis Vindum	0ff4dbcea0	Rust: Fix type inference inconsistency	2025-08-27 13:59:16 +02:00
Simon Friis Vindum	1981668f3c	Rust: Add pattern match type inference test	2025-08-27 13:59:15 +02:00
Geoffrey White	1d815b16d6	Rust: Update test expectations.	2025-08-27 10:42:45 +01:00
Geoffrey White	5d060d621b	Rust: Remove leftover QL use of Resolvable.	2025-08-27 10:42:44 +01:00