1000 Commits

Author	SHA1	Message	Date
Simon Friis Vindum	78389c8897	Merge pull request #20133 from paldepind/rust/type-inference-blanket-impl ... Rust: Support blanket implementations	2025-09-15 12:46:41 +02:00
Geoffrey White	00f644888c	Merge pull request #20426 from geoffw0/cookie2 ... Rust: cookie and biscotti crypto query sinks	2025-09-15 11:07:46 +01:00
Geoffrey White	118ac07b71	Rust: Convert 'from' models into one generic one.	2025-09-12 18:05:30 +01:00
Simon Friis Vindum	e2e6fd0683	Rust: Address feedback from PR review	2025-09-12 16:10:58 +02:00
Simon Friis Vindum	12dcd751d3	Rust: Accept test changes	2025-09-12 15:34:09 +02:00
Simon Friis Vindum	29ba013580	Rust: Add support for resolving methods from blanket implementations	2025-09-12 15:34:04 +02:00
Simon Friis Vindum	d10cdfb7f1	Rust: Move existing blanket implementation test	2025-09-12 15:31:42 +02:00
Simon Friis Vindum	69a1c7e1e8	Rust: Add tests with blanket implementation	2025-09-12 15:26:19 +02:00
Simon Friis Vindum	eea70069e7	Rust: Infer certain type information for struct expressions	2025-09-11 09:53:56 +02:00
Simon Friis Vindum	f7c74664fa	Rust: Improve a few toString implementations	2025-09-09 13:46:51 +02:00
Simon Friis Vindum	aa9d299230	Merge pull request #20348 from paldepind/rust/certain-shorthand-self ... Rust: Infer certain type for shorthand `self`	2025-09-09 09:40:18 +02:00
Tom Hvitved	dff5ed7d29	Rust: Assign locations to all DataFlowCallables	2025-09-03 11:21:57 +02:00
Simon Friis Vindum	1b683f6359	Rust: Infer certain type for self shorthand	2025-09-02 16:30:21 +02:00
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
Simon Friis Vindum	8a92b2d611	Rust: Change inline expectation annotation for certain inferred types	2025-09-02 13:44:06 +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
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
Simon Friis Vindum	c1c7127894	Rust: Add examples where trait visibility affects path and method resolution	2025-08-30 13:26:13 +02: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	e8b7ce43a5	Merge pull request #20270 from geoffw0/pathi ... Rust: Improve FS models	2025-08-28 14:30:18 +01:00
Tom Hvitved	dcaf4a735b	Rust: Fallback crate resolution	2025-08-28 09:34:05 +02: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	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
Tom Hvitved	f232335618	Merge pull request #20291 from hvitved/rust/type-inference-more-certain-types ... Rust: Add more cases to `inferCertainType`	2025-08-27 11:25:24 +02:00
Tom Hvitved	6453b71017	Rust: Add more cases to inferCertainType	2025-08-26 14:44:55 +02:00
Paolo Tranquilli	999920c968	Rust: accept test changes	2025-08-26 12:30:27 +02:00
Geoffrey White	4a4f782d86	Rust: Accept another consistency test change.	2025-08-22 16:57:51 +01:00
Geoffrey White	0e2bc7c95d	Merge remote-tracking branch 'upstream/main' into pathi	2025-08-22 16:57:41 +01:00
Geoffrey White	08cb038086	Rust: Accept changes to other tests.	2025-08-22 16:17:50 +01:00
Paolo Tranquilli	e05eca6680	Merge branch 'main' into redsun82/cargo-upgrade-2	2025-08-22 13:52:28 +02:00
Geoffrey White	8b04bc0ceb	Rust: Model std::fs::OpenOptions and similar.	2025-08-22 09:58:07 +01:00
Geoffrey White	1d2ac33bb6	Rust: Model async-std::fs.	2025-08-22 09:58:00 +01:00
Geoffrey White	49b4adcc99	Rust: Add more tests for DirEntry, PathBuf, OsString.	2025-08-22 09:57:59 +01:00
Geoffrey White	bc226e2117	Rust: Add more general test cases for async_std::fs and tokio::fs.	2025-08-21 16:47:10 +01:00
Geoffrey White	5da296d77f	Rust: Add tests for std::fs::OpenOptions and similar.	2025-08-21 16:47:08 +01:00
Tom Hvitved	714423d6b9	Rust: Adjust jump-to-def for paths with generic arguments	2025-08-19 10:22:32 +02:00
Tom Hvitved	0cd8c9009f	Rust: Add more jump-to-def tests	2025-08-19 10:20:59 +02:00
Paolo Tranquilli	3d2bd8fedb	Merge branch 'main' into redsun82/cargo-upgrade-2	2025-08-18 15:55:15 +02:00
Geoffrey White	4eea4431b5	Merge pull request #20222 from geoffw0/pathbuf ... Rust: Add a type inference test case resembling PathBuf.canonicalize.	2025-08-18 11:06:41 +01:00
Paolo Tranquilli	71edc48c0e	Merge branch 'main' into redsun82/cargo-upgrade-2	2025-08-15 10:15:26 +02:00
Paolo Tranquilli	0924d795b4	Rust: accept test changes	2025-08-15 10:12:12 +02:00
Tom Hvitved	f1bff93bc5	Merge pull request #20203 from hvitved/rust/if-let-chain-test ... Rust: Handle chained `let` expressions	2025-08-14 19:51:43 +02:00
Tom Hvitved	51fb2157ef	Rust: Remove references to getResolvedPath and getExtendedCanonicalPath	2025-08-14 11:31:42 +02:00
Geoffrey White	1c186e2a59	Merge remote-tracking branch 'upstream/main' into pathbuf	2025-08-14 09:38:38 +01:00
Tom Hvitved	f63e55c1fd	Rust: Handle chained let expressions	2025-08-14 10:36:43 +02:00
Tom Hvitved	fd1d9401c0	Rust: Add tests for chained let expressions	2025-08-14 10:36:41 +02:00