19 Commits

Author	SHA1	Message	Date
Geoffrey White	d47e925e85	Rust: Delete empty .expected files.	2025-04-04 14:43:24 +01:00
Geoffrey White	24a4aad120	Rust: Accept consistency check fixes following merge with main.	2025-04-04 12:11:25 +01:00
Geoffrey White	1d7dac485e	Rust: switch the query to taint flow so that we get taint through conversions (without needing a special case).	2025-04-01 17:57:04 +01:00
Geoffrey White	4a76b5b3db	Rust: Accept consistency check failures.	2025-03-28 15:40:18 +00:00
Geoffrey White	ce7a0fd094	Rust: Test for sinks inside sources.	2025-03-28 11:12:10 +00:00
Geoffrey White	4e496fe7b2	Rust: Lets just not model 'drop' incorrectly, for now.	2025-03-27 12:25:08 +00:00
Geoffrey White	8598d619f2	Rust: Add a test case involving a Drop method.	2025-03-27 09:39:25 +00:00
Geoffrey White	d1a0237e87	Rust: Correct a few details in the test.	2025-03-27 09:20:25 +00:00
Geoffrey White	c84e2cd7cb	Rust: Reduce the workaround (fixes duplicate results).	2025-03-26 15:40:45 +00:00
Geoffrey White	0a04191a61	Rust: Effect of merging main (duplicate results).	2025-03-26 15:06:03 +00:00
Geoffrey White	e4cadf09ce	Rust: Don't report excessive results for the same source.	2025-03-24 12:12:42 +00:00
Geoffrey White	b7044bdcde	Rust: Add a test of repeat sinks.	2025-03-24 12:04:43 +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	7ceb76441a	Rust: Improve the source to account for conversions.	2025-03-20 14:26:10 +00:00
Geoffrey White	be6d0d1f86	Rust: Work around data flow source issue.	2025-03-20 14:26:09 +00:00
Geoffrey White	dcd016f5be	Rust: Initial version of the query.	2025-03-20 14:26:06 +00:00
Geoffrey White	19f009ae08	Rust: Add tests for various kinds of dangling pointers.	2025-03-20 14:26:04 +00:00