24 Commits

Author	SHA1	Message	Date
Tom Hvitved	18d2f586b3	Rust: Update AccessAfterLifetime query to use FeatureEscapesSourceCallContextOrEqualSourceSinkCallContext	2026-03-04 10:44:25 +01:00
Geoffrey White	32e9fdfe19	Rust: Fix the false positives.	2025-12-04 17:19:41 +00:00
Geoffrey White	8594c7a29a	Rust: Add test for rust/access-after-lifetime-ended FP involving generic calls.	2025-12-04 15:28:15 +00:00
Tom Hvitved	f63e55c1fd	Rust: Handle chained let expressions	2025-08-14 10:36:43 +02:00
Tom Hvitved	2a207f9f6f	Rust: Update inline expectations	2025-07-08 13:03:16 +02:00
Geoffrey White	b82a7ab745	Rust: Update variable name in examples.	2025-06-23 16:42:02 +01:00
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
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	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	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	f582054ca4	Rust: Refactor the tests that have multiple control flow paths.	2025-03-24 11:56:32 +00:00
Geoffrey White	19f009ae08	Rust: Add tests for various kinds of dangling pointers.	2025-03-20 14:26:04 +00:00