20 Commits

Author	SHA1	Message	Date
Geoffrey White	5c64d4e9b7	Rust: Query framework.	2025-07-28 16:59:01 +01:00
Tom Hvitved	1d7d45e16b	Rust: Update expected test output	2025-07-10 19:40:39 +02:00
Tom Hvitved	433756debb	Rust: Make SummarizedCallable extend Function instead of string	2025-06-17 14:12:38 +02:00
Tom Hvitved	721ffb11cf	Rust: Path resolution for extern crates	2025-06-04 21:14:22 +02:00
Geoffrey White	9ac24c7f4f	Merge branch 'main' into moresensitive	2025-05-22 16:11:12 +01:00
Geoffrey White	e96e39c3d3	Rust: Model log_err.	2025-05-20 17:51:15 +01:00
Geoffrey White	e5af459787	Rust: Correct what we're testing here.	2025-05-20 17:30:49 +01:00
Geoffrey White	355e440fdf	Rust: Make the new test cases work.	2025-05-20 15:25:14 +01:00
Geoffrey White	3b40a5875a	Rust: Add test cases (generated by LLM).	2025-05-20 15:21:32 +01:00
Geoffrey White	d02d5c5baf	Rust: Update cleartext logging test with new found results.	2025-05-09 14:33:26 +01:00
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