1173 Commits

Author	SHA1	Message	Date
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
Anders Schack-Mulligen	47b1c3d3ce	Merge pull request #19154 from aschackmull/ssa/variablecapture ... Ssa: Replace phi-read references in VariableCapture with default use-use flow	2025-04-02 10:16:17 +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
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
Anders Schack-Mulligen	56c46d74f9	Java/Rust/Swift: Accept qltest changes.	2025-03-31 11:44:37 +02:00
Tom Hvitved	605cf35970	Rust: More path resolution improvements	2025-03-28 15:32:20 +01:00
Simon Friis Vindum	884c828452	Merge pull request #19102 from paldepind/rust-ti-refactor ... Shared, type inference: Add inference for type parameters with constraints (base type mentions)	2025-03-28 13:58:16 +01:00
Anders Schack-Mulligen	0c74f21107	Merge pull request #19044 from aschackmull/ssa/useuse-trim ... Ssa: Trim the use-use relation to skip irrelevant nodes	2025-03-28 11:55:34 +01:00
Tom Hvitved	f6ac82aff0	Rust: Add more path resolution tests	2025-03-27 15:54:57 +01:00
Simon Friis Vindum	0d75054955	Rust: Implement toString on type aliases and add docs	2025-03-27 11:34:39 +01:00
Arthur Baars	9dd7b20db7	Merge pull request #18960 from github/aibaars/rust-tainted-path ... Rust: TaintedPath query	2025-03-27 10:37:36 +01:00
Tom Hvitved	72028c034e	Rust: Add reverse post-update flow steps	2025-03-26 09:03:18 +01:00
Tom Hvitved	fcb1d9433a	Rust: Add more data flow tests	2025-03-26 09:02:23 +01:00
Tom Hvitved	278d251dc1	Merge pull request #19107 from hvitved/rust/mad-argument-source ... Rust: Support `Argument[x]` MaD source definitions	2025-03-26 09:02:06 +01:00
Geoffrey White	3ad4de400f	Merge pull request #19067 from geoffw0/convtest ... Rust: Add a couple of test cases for data flow through conversions	2025-03-25 17:44:29 +00:00
Simon Friis Vindum	efcffc55e3	Merge branch 'main' into rust-ti-refactor	2025-03-25 15:44:39 +01:00
Anders Schack-Mulligen	ae47339d1a	Rust: Accept test changes.	2025-03-25 12:31:05 +01:00
Tom Hvitved	d6d3028e5a	Rust: Support Argument[x] MaD source definitions	2025-03-25 09:08:40 +01:00
Tom Hvitved	cf1b19f7c4	Rust: Add test for MaD argument source	2025-03-25 09:06:56 +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	831413b5ec	Rust: Expand on type parameter bounds type inference test	2025-03-25 08:41:05 +01:00
Tom Hvitved	0f1aee025c	Merge pull request #19051 from hvitved/rust/path-resolution-cross-crate ... Rust: Path resolution improvements	2025-03-24 14:14:12 +01:00
Geoffrey White	d1ef2b50fb	Rust: Model futures::executor::block_on.	2025-03-21 16:51:10 +00:00
Simon Friis Vindum	b2fc4f80fb	Rust: Adjustments to type inference	2025-03-20 16:38:06 +01:00
Tom Hvitved	b2fc7e771f	Rust: Handle super in use statements	2025-03-20 14:14:33 +01:00
Tom Hvitved	57dfbf4faa	Rust: Add path resolution test for super in use statement	2025-03-20 14:14:29 +01:00
Tom Hvitved	7c2bafeb17	Rust: Handle self in use statements	2025-03-20 14:13:12 +01:00
Tom Hvitved	8f8f6f74bc	Rust: Add use+self path resolution test	2025-03-20 14:13:11 +01:00
Tom Hvitved	c91176116f	Rust: Cross-crate path resolution	2025-03-20 14:13:06 +01:00
Tom Hvitved	bd4c85a5bc	Rust: Add cross-crate path resolution test	2025-03-20 13:50:20 +01:00
Tom Hvitved	c5106f78ac	Rust: Handle pub use reexports in path resolution	2025-03-20 13:50:18 +01:00
Tom Hvitved	6cf83d3a68	Rust: Add path resolution test for reexported items	2025-03-20 13:50:16 +01:00
Simon Friis Vindum	b02a249fbd	Merge branch 'main' into rust-ti-1	2025-03-20 11:49:58 +01:00
Arthur Baars	2804c13027	Rust: use optionalBarrier	2025-03-20 11:37:05 +01:00
Geoffrey White	0f622b38ab	Rust: Update test results.	2025-03-19 18:42:50 +00:00
Geoffrey White	b609bbb4d8	Merge branch 'main' into convtest	2025-03-19 18:41:56 +00:00
Geoffrey White	bbef3fe7fa	Rust: Test dataflow through conversions.	2025-03-19 18:13:23 +00:00
Simon Friis Vindum	0d770c8c91	Rust: Improve handling of type parameters with trait bounds	2025-03-19 16:34:23 +01:00
Simon Friis Vindum	aa97bf932a	Rust: Add type inference tests	2025-03-19 13:26:06 +01:00
Simon Friis Vindum	b2b650ddd3	Rust: Rename classes with Record to Struct	2025-03-19 12:05:39 +01:00
Arthur Baars	f08d1d10f1	Rust: tainted path implement basic sanitizers	2025-03-18 19:16:13 +01:00
Arthur Baars	f53de135e6	Merge pull request #19024 from github/aibaars/mut-borrow ... Rust: SSA: restrict mutablyBorrowed to variables with a 'mut' modifier	2025-03-18 16:57:32 +01:00
Simon Friis Vindum	7a18da82fa	Merge pull request #19000 from paldepind/rust-cleartext-transmission ... Rust: Add cleartext transmission query	2025-03-17 14:56:57 +01:00
Simon Friis Vindum	81b28df089	Merge branch 'main' into rust-type-inference-tweaks	2025-03-17 13:18:45 +01:00
Simon Friis Vindum	e9ca43ae94	Merge pull request #19039 from paldepind/rust-cfg-uppercase ... Rust: Assume in the CFG that lowercase identifiers are in fact identifiers	2025-03-17 12:40:56 +01:00
Tom Hvitved	0e3907b2a8	Merge pull request #19035 from hvitved/rust/type-inference-path-limit ... Rust: Limit `TypePath`s to at most length 10	2025-03-17 12:01:31 +01:00
Simon Friis Vindum	17d6cb626d	Rust: Assume in the CFG that lowercase identifiers are in fact identifiers	2025-03-17 08:40:02 +01:00
Simon Friis Vindum	1b7f4e4d4b	Rust: Add type inference tests and rename modules	2025-03-17 07:41:47 +01:00