80 Commits

Author	SHA1	Message	Date
Geoffrey White	03fc4cb0aa	Merge remote-tracking branch 'upstream/main' into access-invalid-pointer-fp	2025-11-21 17:39:56 +00:00
Geoffrey White	9db1722060	Rust: Accept consistency check changes.	2025-11-21 17:35:34 +00:00
Geoffrey White	41a6bf079d	Rust: Add barrier for null pointer checks to the query.	2025-11-17 15:00:22 +00:00
Geoffrey White	d804229158	Rust: Add missing model.	2025-11-17 14:41:14 +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
Tom Hvitved	ee0467d74c	Rust: Update expected output	2025-10-21 18:44:37 +02: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	ce48202b6a	Merge branch 'main' into redsun82/cargo-upgrade-2	2025-08-19 12:25:49 +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	a07e357e67	Rust: Distinguish internal/external items in path resolution	2025-08-14 20:42:47 +02:00
Tom Hvitved	f63e55c1fd	Rust: Handle chained let expressions	2025-08-14 10:36:43 +02:00
Simon Friis Vindum	12942667bf	Rust: Add type inference for dyn types	2025-07-23 14:08:15 +02:00
Geoffrey White	75078346c0	Rust: Accept .expected changes (mostly renumberings).	2025-07-10 17:05:12 +01:00
Geoffrey White	8177b0938d	Merge branch 'main' into models5	2025-07-10 09:41:48 +01:00
Tom Hvitved	2a207f9f6f	Rust: Update inline expectations	2025-07-08 13:03:16 +02:00
Geoffrey White	c7de873a22	Rust: Update the libc models.	2025-07-08 08:44:44 +01:00
Geoffrey White	a1e9a4eddf	Rust: Accept test .expected changes.	2025-07-08 08:44:24 +01:00
Tom Hvitved	57661df306	Rust: Fix variable capture inconsistencies	2025-06-30 10:19:42 +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
Tom Hvitved	1f09f713b9	Rust: Avoid overlapping path resolution consistency checks	2025-06-23 11:26:30 +02:00
Paolo Tranquilli	6253b5c5d0	Merge branch 'main' into redsun82/rust-regenerate-models	2025-06-20 15:27:40 +02:00
Paolo Tranquilli	7f1769e8d1	Rust: fix nightly toolchain version for tests using it ... Rather than fixing the version separately for each test, we can just request to use a nightly in the `options.yml` file, with the specific version hard-coded in `qltest.rs`. We can update it if we need to. It's better to have a single nightly version for all tests that require it, in order to avoid downloading more versions than necessary.	2025-06-20 14:03:42 +02:00
Paolo Tranquilli	0e9d4aacd9	Rust: accept test changes	2025-06-19 16:13:26 +02:00
Geoffrey White	36cf4b613e	Rust: Accept consistency changes.	2025-06-18 17:32:20 +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
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