Tom Hvitved
fe18e0e414
Merge pull request #20997 from paldepind/rust/fix-expected
...
Rust: Accept changes to expected files
2025-12-09 14:25:36 +01:00
Tom Hvitved
a5f513f178
Merge pull request #20954 from hvitved/rust/stats-more-calls
...
Rust: Include more calls in DB quality metrics
2025-12-09 14:14:07 +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
Geoffrey White
24852c6664
Merge pull request #20966 from geoffw0/lifetimetest
...
Rust: Fix FPs from rust/access-after-lifetime-ended
2025-12-08 09:03:51 +00:00
Tom Hvitved
5a5679bd51
Rust: Taint flow through operations using MaD
2025-12-05 09:19:03 +01:00
Tom Hvitved
57bca5ca9b
Rust: Include more calls in DB quality metrics
2025-12-05 09:15:26 +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
Simon Friis Vindum
c15e12c9ff
Rust: Accept test changes
2025-12-02 14:43:51 +01: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
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
