40 Commits

Author	SHA1	Message	Date
Tom Hvitved	18d2f586b3	Rust: Update AccessAfterLifetime query to use FeatureEscapesSourceCallContextOrEqualSourceSinkCallContext	2026-03-04 10:44:25 +01:00
Simon Friis Vindum	da43e8cad8	Rust: Regenerate models	2026-01-13 16:02:32 +01:00
Simon Friis Vindum	c6d2047827	Rust: Update expected files	2025-12-10 15:05:36 +01:00
Simon Friis Vindum	047ea10a9a	Rust: Update tests and expected files	2025-12-10 14:35:17 +01:00
Simon Friis Vindum	7d1acbcb87	Rust: Restrict the scope of DereferenceSink to dereferences of raw pointers	2025-12-10 11:35:28 +01:00
Simon Friis Vindum	53ad3282c3	Rust: Accept changes to expected files	2025-12-09 14:01:31 +01:00
Tom Hvitved	0280771c51	Merge pull request #20953 from hvitved/rust/data-flow-call-models ... Rust: Model more data flow constructs as calls using MaD	2025-12-08 15:22:02 +01:00
Tom Hvitved	5a5679bd51	Rust: Taint flow through operations using MaD	2025-12-05 09:19:03 +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
Geoffrey White	03fc4cb0aa	Merge remote-tracking branch 'upstream/main' into access-invalid-pointer-fp	2025-11-21 17:39:56 +00:00
Geoffrey White	6c3566ab52	Rust: It turns out we need test cases for immutable pointers as well.	2025-11-17 14:32:57 +00:00
Tom Hvitved	8455663255	Rust: Speedup AccessAfterLifetime.ql	2025-11-15 15:21:03 +01:00
Geoffrey White	e0f0305ace	Rust: Add test cases for rust/access-invalid-pointer based on real world FPs.	2025-11-13 16:07:22 +00:00
Geoffrey White	ee86655742	Rust: Update another affected test.	2025-10-16 11:37:57 +01:00
Simon Friis Vindum	19871a2653	Rust: Accept test changes	2025-09-30 15:26:30 +02:00
Tom Hvitved	5b51bb2ef0	Rust: Deref as taint step	2025-09-02 08:55:10 +02:00
Paolo Tranquilli	680b4abae2	Rust: accept test changes	2025-08-19 14:37:45 +02:00
Paolo Tranquilli	71edc48c0e	Merge branch 'main' into redsun82/cargo-upgrade-2	2025-08-15 10:15:26 +02:00
Paolo Tranquilli	0924d795b4	Rust: accept test changes	2025-08-15 10:12:12 +02: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	11ffb1f86f	Merge branch 'main' into lifetime	2025-06-23 17:06:06 +01: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	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	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