31 Commits

Author	SHA1	Message	Date
Geoffrey White	74a350a432	Rust: Effect on tests.	2025-09-26 09:55:16 +01:00
Geoffrey White	118ac07b71	Rust: Convert 'from' models into one generic one.	2025-09-12 18:05:30 +01:00
Tom Hvitved	5b51bb2ef0	Rust: Deref as taint step	2025-09-02 08:55:10 +02:00
Paolo Tranquilli	0924d795b4	Rust: accept test changes	2025-08-15 10:12:12 +02:00
Geoffrey White	75078346c0	Rust: Accept .expected changes (mostly renumberings).	2025-07-10 17:05:12 +01:00
Tom Hvitved	1f09f713b9	Rust: Avoid overlapping path resolution consistency checks	2025-06-23 11:26:30 +02:00
Paolo Tranquilli	691281a481	Rust: mark one value flow as spurious (should be taint)	2025-06-20 14:13:37 +02:00
Paolo Tranquilli	0e9d4aacd9	Rust: accept test changes	2025-06-19 16:13:26 +02:00
Tom Hvitved	433756debb	Rust: Make SummarizedCallable extend Function instead of string	2025-06-17 14:12:38 +02:00
Paolo Tranquilli	55096a31f2	Rust: add Cargo.lock files to all tests with cargo check	2025-06-16 10:52:53 +02:00
Tom Hvitved	66c0ff61bb	Rust: Model String -> str implicit conversion in type inference	2025-06-13 11:32:23 +02:00
Tom Hvitved	721ffb11cf	Rust: Path resolution for extern crates	2025-06-04 21:14:22 +02:00
Geoffrey White	9da6d9435e	Rust: More tests affected.	2025-04-16 17:41:27 +01:00
Simon Friis Vindum	b0c40111e7	Rust: Tweaks to stringification	2025-04-03 12:45:08 +02:00
Paolo Tranquilli	2a29239b01	Merge branch 'main' into redsun82/cargo-upgrade	2025-03-04 10:05:41 +01:00
Paolo Tranquilli	e0d4e5ea7f	Rust: remove missing flow in test	2025-02-28 11:36:27 +01:00
Simon Friis Vindum	476fef49da	Rust: Allow SSA and some data flow for mutable borrows	2025-02-26 16:00:52 +01:00
Simon Friis Vindum	26a96d9f65	Rust: Accept changes	2025-02-25 15:56:10 +01:00
Simon Friis Vindum	5c997859b0	Merge branch 'main' into rust-core-std-models	2025-02-25 15:07:29 +01:00
Simon Friis Vindum	0c3e8a0f5b	Rust: Adapt tests and existing models to account for generated models	2025-02-17 11:08:42 +01:00
Tom Hvitved	33e6d6392c	Rust: Avoid location-based variable analysis	2025-01-13 11:08:00 +01:00
Simon Friis Vindum	c55b256d47	Rust: Remove accidentally commited expected files	2025-01-06 12:01:03 +01:00
Simon Friis Vindum	5c64a8c948	Rust: Accept expected changes and fix other CI complaints	2025-01-03 16:38:11 +01:00
Simon Friis Vindum	0d19fb6040	Rust: Add taint from children of format_args to format_args	2025-01-03 14:06:47 +01:00
Simon Friis Vindum	f09632df58	Rust: Add data flow tests for macros and format_args	2025-01-03 13:28:19 +01:00
Simon Friis Vindum	049fab4c72	Rust: Remove taint steps	2024-12-18 11:22:56 +01:00
Simon Friis Vindum	c1e21974c6	Rust: Address review comments	2024-12-17 17:24:42 +01:00
Simon Friis Vindum	d8c301a96b	Merge branch 'main' into rust-data-flow-models	2024-12-17 16:09:59 +01:00
Simon Friis Vindum	defbbb2a24	Rust: Add additional models for stdlib and sqlx	2024-12-16 11:46:57 +01:00
Simon Friis Vindum	aab3428bc7	Rust: Model address-of and dereference as stores and loads	2024-12-16 11:31:15 +01:00
Simon Friis Vindum	df0375103c	Rust: Add data flow tests	2024-12-16 11:09:22 +01:00