7 Commits

Author	SHA1	Message	Date
Simon Friis Vindum	049fab4c72	Rust: Remove taint steps	2024-12-18 11:22:56 +01:00
Simon Friis Vindum	d8c301a96b	Merge branch 'main' into rust-data-flow-models	2024-12-17 16:09:59 +01:00
Tom Hvitved	9f2b436d35	Rust: Never skip assignment LHS in data flow	2024-12-16 15:12:15 +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	1f4e7d1f37	Rust: Handle arrays in taint tracking	2024-12-05 11:41:32 +01:00
Simon Friis Vindum	3004639fca	Rust: Add default taint flow steps	2024-12-04 14:11:05 +01:00
Simon Friis Vindum	f10ffa39e4	Rust: Add tests for taint flow	2024-12-04 12:54:36 +01:00