11 Commits

Author	SHA1	Message	Date
Geoffrey White	ec0b90f4b4	Rust: Simplify with the Copilot suggestions.	2026-02-26 13:00:07 +00:00
Geoffrey White	75fea4245a	Rust: Add neutral models of From::from (corresponding with existing generated sink models).	2026-02-26 10:00:30 +00:00
Geoffrey White	5c108e5c12	Rust: Add a manual model for flow through Option::map.	2026-02-26 09:12:33 +00:00
Geoffrey White	53e886380c	Rust: Add a neutral model of Option::map (so that we don't use the generated models).	2026-02-26 08:36:28 +00:00
Geoffrey White	97f7a26e11	Rust: Add test cases for log injection + uncontrolled allocation size with from.	2026-02-25 19:12:06 +00:00
Geoffrey White	1213369d75	Rust: Add test cases for log injection with map.	2026-02-25 14:30:01 +00:00
Tom Hvitved	f3d78a4e0b	Rust: Update expected test output	2026-01-09 14:40:04 +01:00
Geoffrey White	2d4369ac6c	Rust: Add numeric type barrier for log injection.	2025-10-31 16:32:32 +00:00
Geoffrey White	aaa3b1bcb4	Rust: Add a couple of new test cases.	2025-10-31 16:20:52 +00:00
Geoffrey White	49265b6e7e	Rust: Update inline test annotations accordingly.	2025-08-14 13:49:41 +01:00
copilot-swe-agent[bot]	39ea50746f	Implement Rust log injection query and test infrastructure ... Co-authored-by: geoffw0 <40627776+geoffw0@users.noreply.github.com>	2025-08-13 18:09:03 +00:00