1353 Commits

Author	SHA1	Message	Date
Simon Friis Vindum	8e76bb1a43	Rust: Minor changes based on PR review	2025-04-07 16:46:54 +02:00
Paolo Tranquilli	1f9455c434	Rust: add upgrade/downgrade scripts for struct_field_is_unsafe	2025-04-07 15:39:14 +02:00
Tom Hvitved	13f4a6afa6	Rust: Handle path attributes in path resolution	2025-04-07 15:24:17 +02:00
Paolo Tranquilli	afb97d2797	Rust: regenerate schema	2025-04-07 14:34:33 +02:00
Simon Friis Vindum	74583e4fbf	Merge pull request #19227 from paldepind/rust-pr-self ... Rust: Resolve `Self` path in trait type of implementation	2025-04-07 14:21:02 +02:00
Tom Hvitved	ca5cc8e405	Merge pull request #19220 from hvitved/rust/path-resolution-crate-fix ... Rust: Minor path resolution fix for `($)crate` paths	2025-04-07 13:24:12 +02:00
Simon Friis Vindum	3441af136c	Merge pull request #19146 from paldepind/rust-ti-alias ... Rust: Implement support for inference of type aliases	2025-04-07 13:03:30 +02:00
Simon Friis Vindum	acc565f84e	Rust: Refactor PathMention as suggested in review	2025-04-07 12:50:31 +02:00
Simon Friis Vindum	6cecf7e618	Rust: Resolve Self path in trait type of implementation	2025-04-07 11:55:03 +02:00
Geoffrey White	893e42315e	Merge branch 'main' into badalloc	2025-04-07 09:33:23 +01:00
Geoffrey White	f292d04d7a	Merge branch 'main' into blockon	2025-04-07 09:03:55 +01:00
Geoffrey White	471f02cf3b	Merge branch 'main' into sinkstats	2025-04-04 22:28:30 +01:00
Geoffrey White	6ad7a950da	Merge branch 'main' into badalloc	2025-04-04 21:57:04 +01:00
Geoffrey White	bc92a99fae	Merge pull request #19080 from geoffw0/deallocation ... Rust: Query for dereferencing an invalid pointer	2025-04-04 21:25:40 +01:00
Geoffrey White	ff78c45e50	Rust: Abstractions then implementations.	2025-04-04 18:33:27 +01:00
Geoffrey White	47ee6c6b81	Rust: Give regex injection extendable sources as well.	2025-04-04 18:27:16 +01:00
Geoffrey White	0db551032c	Rust: Make imports consistent and correct.	2025-04-04 18:23:53 +01:00
Geoffrey White	784ccb740b	Rust: Define Rust queries and extensions more consistently.	2025-04-04 18:17:16 +01:00
Geoffrey White	1acbdbaaa2	Rust: Make all query sinks extend QuerySink::Range and import them into Stats.qll (this ensures that sink statistics are complete).	2025-04-04 18:02:59 +01:00
Geoffrey White	c783549b5c	Merge branch 'main' into blockon	2025-04-04 17:35:00 +01:00
Geoffrey White	8e7e162ebc	Merge branch 'main' into badalloc	2025-04-04 17:09:50 +01:00
Tom Hvitved	006cb024de	Merge pull request #19217 from hvitved/rust/macro-expansion-inherit-location ... Rust: Use macro call location as fall back in macro expansions	2025-04-04 16:25:45 +02:00
Tom Hvitved	8b6c8d7174	Rust: Minor path resolution fix for ($)crate paths	2025-04-04 14:44:39 +02:00
Geoffrey White	8b23945417	Merge branch 'main' into deallocation	2025-04-04 12:06:50 +01:00
Tom Hvitved	6f704f088e	Merge pull request #19157 from hvitved/rust/path-resolution-prelude ... Rust: Take prelude into account when resolving paths	2025-04-04 13:06:31 +02:00
Tom Hvitved	ffca52e5c0	Merge pull request #19195 from hvitved/rust/post-with-flow-in-exclude ... Rust: Add another disjunct to `postWithInFlowExclude`	2025-04-04 12:41:30 +02:00
Tom Hvitved	b115f3f5e9	Update rust/ql/lib/codeql/rust/internal/PathResolution.qll ... Co-authored-by: Simon Friis Vindum <paldepind@github.com>	2025-04-04 11:39:06 +02:00
Tom Hvitved	5731fa91f3	Rust: Use macro call location as fall back in macro expansions	2025-04-04 11:38:10 +02:00
Simon Friis Vindum	77e1b231a6	Rust: Handle associated types in trait methods	2025-04-04 10:24:55 +02:00
Tom Hvitved	f4e9382622	Rust: Take prelude into account when resolving paths	2025-04-03 16:07:26 +02:00
Tom Hvitved	4b3816e14e	Rust: Variants inherit visibility from their parent enum	2025-04-03 16:05:12 +02:00
Tom Hvitved	f09c3c5813	Rust: Handle self enum/struct uses	2025-04-03 16:05:11 +02:00
Simon Friis Vindum	a1d36c0501	Rust: Implement support for inference of type aliases	2025-04-03 15:18:15 +02:00
Simon Friis Vindum	a53f664e85	Rust: Fix bad join	2025-04-03 14:33:02 +02:00
Simon Friis Vindum	d5d61dd8b3	Rust: Add inline expectations test for type inference	2025-04-03 12:49:34 +02:00
Simon Friis Vindum	b0c40111e7	Rust: Tweaks to stringification	2025-04-03 12:45:08 +02:00
Simon Friis Vindum	52660fa57d	Merge pull request #19149 from paldepind/rust-ti-self-param ... Rust: Make trait a base type mention of the self type parameter	2025-04-03 08:44:09 +02:00
Tom Hvitved	a01b211f79	Merge pull request #19185 from hvitved/rust/ssa-capture-psudeo-read-dominate ... Rust: Fix `capturedCallRead`	2025-04-02 19:16:55 +02:00
Simon Friis Vindum	001735bfb8	Rust: Take internal IDs of a smaller class	2025-04-02 15:39:58 +02:00
Tom Hvitved	8663f3b8b2	Rust: Add another disjunct to postWithInFlowExclude	2025-04-02 12:32:28 +02:00
Geoffrey White	1d7dac485e	Rust: switch the query to taint flow so that we get taint through conversions (without needing a special case).	2025-04-01 17:57:04 +01:00
Tom Hvitved	ffb25b7aac	Merge pull request #19162 from hvitved/rust/to-string-non-rec ... Rust: Make `Element.toString` non-recursive	2025-04-01 15:31:18 +02:00
Arthur Baars	0e23b86bf5	Merge pull request #19182 from github/post-release-prep/codeql-cli-2.21.0 ... Post-release preparation for codeql-cli-2.21.0	2025-04-01 15:12:29 +02:00
Tom Hvitved	dcaeeabad8	Rust: Fix capturedCallRead	2025-04-01 15:11:20 +02:00
Tom Hvitved	01810cbac9	Rust: Update PhiDefinition.toString	2025-04-01 14:59:05 +02:00
Simon Friis Vindum	8acf9ceef4	Rust: Make trait a base type mention of the self type parameter	2025-04-01 14:04:46 +02:00
github-actions[bot]	10205cb990	Post-release preparation for codeql-cli-2.21.0	2025-04-01 11:30:43 +00:00
Paolo Tranquilli	7821fbf576	Merge branch 'main' into redsun82/rust-upgrades-downgrades	2025-04-01 11:38:34 +02:00
Tom Hvitved	f54d8325ae	Merge pull request #19133 from hvitved/rust/more-path-resolution ... Rust: More path resolution improvements	2025-04-01 11:25:16 +02:00
Tom Hvitved	4fb138a1a3	Rust: Make Element.toString non-recursive	2025-04-01 08:48:13 +02:00