1816 Commits

Author	SHA1	Message	Date
Geoffrey White	61faeef1d3	Rust: Pretty print models, so that the MaD IDs aren't reported raw / in continual flux.	2025-09-16 09:00:40 +01:00
Geoffrey White	5c33af32e3	Rust: Update .expected file.	2025-09-16 08:55:49 +01:00
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
Simon Friis Vindum	af49301332	Merge pull request #20381 from paldepind/rust/request-forgery-query ... Rust: Add basic request forgery query	2025-09-15 12:46:23 +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
Geoffrey White	9f83b67a7c	Rust: Model vec::from_elem.	2025-09-12 17:30:44 +01:00
Geoffrey White	e2d94127d6	Rust: Model vec::from.	2025-09-12 16:44:47 +01:00
Geoffrey White	5d3ea2f4d3	Rust: Add models for the cookie and biscotti crates.	2025-09-12 16:13:14 +01:00
Geoffrey White	2bb9e2f7be	Rust: Add test cases for hardcoded cryptographic constants in cookies.	2025-09-12 15:42:56 +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	d1a3294f06	Merge branch 'main' into rust/request-forgery-query	2025-09-10 14:48:22 +02:00
Simon Friis Vindum	c73d081a32	Rust: Fix based on review	2025-09-10 14:41:20 +02:00
Simon Friis Vindum	50cd200ec5	Apply suggestions from code review ... Co-authored-by: Geoffrey White <40627776+geoffw0@users.noreply.github.com>	2025-09-10 14:34:54 +02:00
Simon Friis Vindum	f7c74664fa	Rust: Improve a few toString implementations	2025-09-09 13:46:51 +02:00
Simon Friis Vindum	e1047dc40b	Rust: Add request forgery query	2025-09-09 10:37:57 +02:00
Simon Friis Vindum	63a2c9da76	Rust: Add request forgery tests	2025-09-09 10:37:56 +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
Simon Friis Vindum	eea11dbf5f	Rust: Relabel reqwest sinks as request-url	2025-09-08 13:05:58 +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
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
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
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	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
Tom Hvitved	dcaf4a735b	Rust: Fallback crate resolution	2025-08-28 09:34:05 +02:00
Geoffrey White	2e747bb05c	Merge branch 'main' into oldpaths1 (some generated files are left unmerged).	2025-08-27 16:56:06 +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	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	152ae1d29b	Rust: Codegen.	2025-08-27 10:42:42 +01: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
Paolo Tranquilli	531955e922	Merge branch 'main' into redsun82/rust-less-warnings	2025-08-26 17:29:20 +02:00
Tom Hvitved	6453b71017	Rust: Add more cases to inferCertainType	2025-08-26 14:44:55 +02:00
Paolo Tranquilli	42a40c14ac	Rust: reword macro expansion error	2025-08-26 13:58:47 +02:00