13 Commits

Author	SHA1	Message	Date
Tom Hvitved	5b51bb2ef0	Rust: Deref as taint step	2025-09-02 08:55:10 +02:00
Geoffrey White	dbde8418bb	Rust: Another test case (unsafe function).	2025-06-18 15:29:37 +01:00
Geoffrey White	d3d0a533b5	Rust: Add test showing yet another spurious result.	2025-06-09 17:58:41 +01:00
Geoffrey White	26f85585fd	Rust: Add qhelp, examples, and examples as tests.	2025-06-09 17:58:37 +01:00
Geoffrey White	96dc34e36d	Rust: Even more test cases (inspired by real world results).	2025-06-05 16:29:58 +01:00
Geoffrey White	66c1e2cace	Rust: Add test cases for implicit dereferences and more pointer/enum mixes (inspired by early real world results).	2025-06-05 10:37:30 +01:00
Geoffrey White	e2fb1d3892	Rust: Add test cases involving lifetimes + lifetime annotations.	2025-06-05 10:37:29 +01:00
Geoffrey White	ae19ecc674	Rust: Add test cases involving lifetimes + closures and async blocks.	2025-06-05 10:37:28 +01:00
Geoffrey White	d1a0237e87	Rust: Correct a few details in the test.	2025-03-27 09:20:25 +00:00
Geoffrey White	f582054ca4	Rust: Refactor the tests that have multiple control flow paths.	2025-03-24 11:56:32 +00:00
Geoffrey White	5831c446d3	Rust: Add test cases for another situation I came across.	2025-03-20 14:26:15 +00:00
Geoffrey White	019fcbfbf9	Rust: Add qhelp examples, and add them as tests.	2025-03-20 14:26:13 +00:00
Geoffrey White	19f009ae08	Rust: Add tests for various kinds of dangling pointers.	2025-03-20 14:26:04 +00:00