99 Commits

Author	SHA1	Message	Date
Geoffrey White	5edd6e85e7	Rust: Restrict results to 'unsafe' blocks.	2025-06-18 15:45:31 +01:00
Geoffrey White	dbde8418bb	Rust: Another test case (unsafe function).	2025-06-18 15:29:37 +01:00
Tom Hvitved	c88a5049e0	Rust: Fix column orders in interpretModelForTest	2025-06-18 13:15:36 +02:00
Paolo Tranquilli	8b98e2a559	Rust: accept test changes	2025-06-16 11:54:07 +02:00
Paolo Tranquilli	55096a31f2	Rust: add Cargo.lock files to all tests with cargo check	2025-06-16 10:52:53 +02:00
Tom Hvitved	3d18e3ea8f	Rust: Use hasImplementation in path resolution	2025-06-13 08:44:44 +02:00
Geoffrey White	087e666658	Rust: Exclude sources in macro expansions.	2025-06-11 18:48:23 +01:00
Geoffrey White	168246005c	Rust: Extend tests based on cases found in DCA.	2025-06-11 18:33:59 +01:00
Geoffrey White	ecac0dbe69	Rust: Accept consistency check failures.	2025-06-11 08:52:52 +01:00
Paolo Tranquilli	0d036992e0	Merge branch 'main' into redsun82/mad	2025-06-10 13:39:10 +02:00
Geoffrey White	a9d5d8b2b3	Rust: Accept the new alert message in tests.	2025-06-09 19:14:14 +01:00
Geoffrey White	b3330b5636	Rust: Allow parameter accesses as sources.	2025-06-09 17:58:42 +01:00
Geoffrey White	d3d0a533b5	Rust: Add test showing yet another spurious result.	2025-06-09 17:58:41 +01:00
Geoffrey White	858eec390d	Rust: Exclude results where the source is a reference.	2025-06-09 17:58:40 +01:00
Geoffrey White	7bae451af3	Rust: Exclude results in macro invocations.	2025-06-09 17:58:38 +01:00
Geoffrey White	26f85585fd	Rust: Add qhelp, examples, and examples as tests.	2025-06-09 17:58:37 +01:00
Geoffrey White	fe20fb403d	Rust: More robust fix for closures.	2025-06-09 16:41:31 +01:00
Geoffrey White	21b4baeb42	Rust: Have the alert message cite the variable, so it's easier to understand whether the alert is correct.	2025-06-09 10:28:25 +01:00
Geoffrey White	79f8584efb	Rust: Fix spurious results involving closures.	2025-06-09 10:25:48 +01:00
Geoffrey White	bf4ea02dd2	Rust: Implement the query.	2025-06-09 10:25:40 +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	43cb98ad15	Rust: Fix some warnings in the existing test.	2025-06-05 10:37:27 +01:00
Geoffrey White	8e8374b9bc	Rust: Label source annotations in the test properly.	2025-06-05 10:37:26 +01:00
Geoffrey White	da4fbfb449	Rust: Placeholder new query.	2025-06-05 10:37:25 +01:00
Paolo Tranquilli	6162cf5dbb	Rust: accept test changes	2025-06-05 10:52:59 +02:00
Tom Hvitved	721ffb11cf	Rust: Path resolution for extern crates	2025-06-04 21:14:22 +02:00
Tom Hvitved	3fa308e723	Rust: Also take the std prelude into account when resolving paths	2025-05-28 16:57:19 +02:00
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