11 Commits

Author	SHA1	Message	Date
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