9 Commits

Author	SHA1	Message	Date
Geoffrey White	993154ed57	Rust: Avoid duplicating sinks.	2025-11-21 19:34:16 +00:00
Geoffrey White	0ea28b4026	Rust: Test .expected changes.	2025-11-21 18:57:06 +00:00
Geoffrey White	ace7a77fd6	Rust: Switch to MaD models.	2025-11-21 16:27:52 +00:00
Geoffrey White	785754ec65	Rust: Switch the query to taint flow, since some taint summaries are relevant now.	2025-11-21 15:02:29 +00:00
Geoffrey White	aca7877be2	Rust: Add some missing path / file metadata models.	2025-11-21 15:02:25 +00:00
Geoffrey White	2da0814f65	Rust: Add test case involving taint.	2025-11-21 14:39:15 +00:00
Geoffrey White	c77eef39e2	Rust: Convert the query to a path-problem with global data flow.	2025-11-12 16:21:46 +00:00
Geoffrey White	209f394b5e	Rust: Fix the alert message.	2025-11-12 15:51:03 +00:00
Geoffrey White	f8ef48b924	Rust: Add query test.	2025-11-12 15:44:15 +00:00