Simon Friis Vindum
63329b47d8
Merge pull request #21036 from paldepind/rust/prioritize-manual-summaries
...
Rust: Don't apply generated models for functions that have a manual model
2025-12-16 12:47:27 +01:00
Simon Friis Vindum
477e1cd96c
Rust: Fix manual model for PathBuf::as_path
2025-12-16 09:25:42 +01:00
Simon Friis Vindum
1b70111dd2
Rust: Don't apply generated models for functions that have a manual model
2025-12-15 14:25:49 +01:00
Simon Friis Vindum
d2cfd53933
Rust: Add test with wrong generated model
2025-12-15 14:23:48 +01:00
Tom Hvitved
fc49360e81
Rust: Add models for core::cmp::Ord::{min,max,clamp}
2025-12-15 11:52:05 +01:00
Tom Hvitved
0b00589f95
Rust: Update expected test output
2025-12-12 11:16:17 +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
Tom Hvitved
30b903604d
Rust: Update expected test output
2025-12-10 11:02:04 +01:00
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
Simon Friis Vindum
5888ed30bd
Rust: Do not dispatch to all implementations when trait target is accurate
2025-12-05 13:01:22 +01:00
Simon Friis Vindum
59ce721f7d
Rust: Add global data flow example
2025-12-05 09:38:22 +01:00
Tom Hvitved
5a5679bd51
Rust: Taint flow through operations using MaD
2025-12-05 09:19:03 +01:00
Tom Hvitved
41916640c3
Rust: Taint flow tests for operations
2025-12-05 09:19:02 +01:00
Tom Hvitved
294c489fd8
Rust: Handle x[y] expressions as *.index(y) calls in data flow
2025-12-05 09:18:59 +01:00
Tom Hvitved
e72c8acb6c
Rust: Add data flow tests for collections
2025-12-05 09:16:57 +01:00
Tom Hvitved
57bca5ca9b
Rust: Include more calls in DB quality metrics
2025-12-05 09:15:26 +01:00
Tom Hvitved
be1d756de4
Rust: Call refactor follow-up fixes
2025-12-04 21:15:28 +01:00
Tom Hvitved
bc6d38ebb4
Address review comments
2025-12-04 10:38:47 +01:00
Tom Hvitved
7378fbc567
Rust: Restructure classes representing calls
2025-12-02 10:08:04 +01:00
Tom Hvitved
d8177274a8
Rust: Improve handling of deref expressions in data flow
2025-12-01 11:34:06 +01:00
Tom Hvitved
6b003580d1
Rust: Improve handling of implicit derefs/borrows in data flow
2025-12-01 11:34:01 +01:00
Tom Hvitved
9b25a3112d
Rust: Use TaintFlow instead of ValueFlow in tests
2025-12-01 11:33:57 +01:00
Geoffrey White
80615056c0
Merge remote-tracking branch 'upstream/main' into cert-checks
2025-11-21 18:40:40 +00:00
Geoffrey White
e01c871b70
Rust: Accept changes to the dataflow/sources/file test.
2025-11-21 17:12:23 +00:00
Tom Hvitved
489fff9572
Rust: Base DataFlow::Node on AST instead of CFG
2025-11-19 19:37:39 +01:00
Simon Friis Vindum
a07f015d01
Rust: Accept changes to expected files
2025-11-17 12:39:36 +01:00
Tom Hvitved
c81f5f5190
Rust: Remove elements superseded by attribute macro expansions
2025-11-10 09:18:58 +01:00
Tom Hvitved
bc53fee1c5
Rust: Infer more () types
2025-10-29 15:43:00 +01:00
Geoffrey White
03204b7881
Rust: Accept tests repaired.
2025-10-27 17:53:40 +00:00
Geoffrey White
a468b1d647
Rust: Accept regressions spotted by CI.
2025-10-27 17:46:01 +00:00
Geoffrey White
bd11873e0d
Rust: Generalize a model of futures_io...poll_read.
2025-10-27 12:22:13 +00:00
Geoffrey White
d650ccb74b
Rust: Generalize some std::io::Read models.
2025-10-27 12:09:04 +00:00
Geoffrey White
47334fbab7
Rust: Accept changes to the web_frameworks results.
2025-10-23 09:06:11 +01:00
Geoffrey White
e18bf1661a
Rust: Accept result de-regression.
2025-10-22 17:52:12 +01:00
Geoffrey White
6b08297c2a
Rust: Repair after merge.
2025-10-22 17:46:25 +01:00
Geoffrey White
bc4d8a8425
Merge branch 'main' into sourcestest
2025-10-22 17:31:25 +01:00
Geoffrey White
6878a43223
Rust: Add missing file.
2025-10-22 14:18:16 +01:00
Geoffrey White
8336a956c0
Rust: Add consistency check failures.
2025-10-22 13:50:49 +01:00
Geoffrey White
9b11ec53d4
Rust: Merge InlineFlow.ql test queries using .qlrefs.
2025-10-22 09:02:18 +01:00
Geoffrey White
4893f53607
Rust: Fix a comment.
2025-10-22 09:02:15 +01:00
Geoffrey White
42224fe642
Rust: Clean up the sources test directory.
2025-10-22 09:02:14 +01:00
Geoffrey White
7efd4d26a0
Rust: Accept result regression.
...
Presumably because of a change in context, e.g. the module wrapping
this test now, or the different inputs. Either way we *should* be
able to get the result, and what we *actually* get in our analysis
doesn't change here either. We've just slightly changed the test
and exposed a gap.
2025-10-22 09:02:12 +01:00
Geoffrey White
8a7e206401
Rust: Move the remaining test_futures_io test into net.
2025-10-22 09:02:11 +01:00
Geoffrey White
8c02cb2ed1
Rust: Split off sources/web_frameworks.
2025-10-22 09:02:10 +01:00
Geoffrey White
5ba331e986
Rust: Splits off sources/net.
2025-10-22 09:01:34 +01:00
Geoffrey White
7ddd441e5f
Rust: Split off sources/database test.
2025-10-22 09:00:42 +01:00
