12 Commits

Author	SHA1	Message	Date
Tom Hvitved	a7bb95249b	Rust: Implement known{Source,Sink}Model	2025-01-09 11:47:57 +01:00
Tom Hvitved	8f6ae6274d	Rust: Add support for MaD sources and sinks with access paths	2025-01-06 13:26:49 +01:00
Tom Hvitved	ddd05b5d1b	Rust: Never skip match scrutinee/patterns in data flow	2024-12-16 15:12:16 +01:00
Tom Hvitved	9f2b436d35	Rust: Never skip assignment LHS in data flow	2024-12-16 15:12:15 +01:00
Michael Nebel	864c34fc03	Rust: Update all test util paths to point to the new location.	2024-12-12 15:02:59 +01:00
Tom Hvitved	baf186fed7	Address review comments	2024-12-11 10:28:32 +01:00
Tom Hvitved	2f8b04b225	Rust: Models-as-data for flow summaries	2024-12-09 13:41:55 +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
Paolo Tranquilli	b6f0ae0460	Rust: accept test changes	2024-12-04 11:05:01 +01:00
Tom Hvitved	3c767b086b	Rust: Use canonical paths for variants in data flow	2024-12-03 10:19:33 +01:00
Tom Hvitved	395901b8e0	Rust: Adopt shared flow summaries library	2024-12-03 09:11:06 +01:00