10 Commits

Author	SHA1	Message	Date
Asger F	fc1d36f867	Rust: update a Rust test case	2025-02-03 11:31:04 +01:00
Geoffrey White	0a3d44c44e	Rust: Re-apply suggested changes (I accidentally force-pushed them away).	2025-01-24 17:31:38 +00:00
Geoffrey White	117db8a9b2	Rust: Make the test runnable.	2025-01-24 17:22:42 +00:00
Geoffrey White	59c3ac6f80	Rust: Allow flow through reference taking (&).	2025-01-23 17:17:07 +00:00
Geoffrey White	78c58aa5f1	Rust: Allow implicit taint reads from tuple contents at sinks.	2025-01-23 17:17:05 +00:00
Geoffrey White	2bbf493991	Rust: Model assert_failed.	2025-01-23 17:17:03 +00:00
Geoffrey White	484331c303	Rust: Model StdoutLock, StderrLock methods and String.as_bytes.	2025-01-23 17:17:02 +00:00
Geoffrey White	1d2950c70c	Rust: Add some sinks.	2025-01-23 17:17:00 +00:00
Geoffrey White	173cfd5c7b	Rust: Add test cases for various std:: bits.	2025-01-23 17:16:58 +00:00
Geoffrey White	bb3be2f8af	Rust: Add a test for the log crate + placeholder query.	2025-01-23 12:24:47 +00:00