Tom Hvitved
|
cc4926ad37
|
Merge pull request #21148 from hvitved/rust/remove-macro-block-expr
Rust: Remove `MacroBlockExpr` class
|
2026-01-14 10:11:22 +01:00 |
|
Simon Friis Vindum
|
da43e8cad8
|
Rust: Regenerate models
|
2026-01-13 16:02:32 +01:00 |
|
Tom Hvitved
|
5d5bad6cd4
|
Rust: Update expected test output
|
2026-01-13 10:24:10 +01:00 |
|
Tom Hvitved
|
17441a5462
|
Rust: Add missing .Reference in various models
|
2026-01-12 14:21:45 +01:00 |
|
Tom Hvitved
|
f3d78a4e0b
|
Rust: Update expected test output
|
2026-01-09 14:40:04 +01:00 |
|
Tom Hvitved
|
0d0029f5a3
|
Rust: Update expected test output
|
2026-01-09 14:40:01 +01:00 |
|
Tom Hvitved
|
209ee9236b
|
Rust: Also lift read steps in summaries as taint steps
|
2026-01-09 12:13:46 +01:00 |
|
Tom Hvitved
|
dce21e595e
|
Rust: Model implicit Deref trait calls in data flow
|
2026-01-07 10:51:56 +01:00 |
|
Tom Hvitved
|
0c7aeb4bce
|
Rust: Update data flow test to use implicit borrow
|
2026-01-07 10:51:55 +01:00 |
|
Tom Hvitved
|
4540662ab9
|
Rust: Model Deref trait in type inference
|
2026-01-07 10:51:53 +01:00 |
|
Geoffrey White
|
13df23630b
|
Rust: Effect of lifting content reads as taint steps.
|
2026-01-06 16:47:07 +00:00 |
|
Geoffrey White
|
6e2702c3af
|
Rust: Add some taint tests involving tuples.
|
2026-01-06 16:38:36 +00:00 |
|
Tom Hvitved
|
1a2f72252a
|
Merge pull request #21072 from hvitved/rust/mad-provenance-refactor
Rust: Refactor MaD provenance-based filtering
|
2026-01-06 14:59:42 +01:00 |
|
Tom Hvitved
|
ae9588e176
|
Rust: Improve TuplePositionContent.getAnAccess
|
2026-01-06 09:24:32 +01:00 |
|
Tom Hvitved
|
f23351afca
|
Rust: Refactor MaD provanance-based filtering
|
2025-12-19 19:35:41 +01:00 |
|
Tom Hvitved
|
3c6a757c3e
|
Rust: Distinguish &mut T from &T in type inference
|
2025-12-18 12:47:42 +01:00 |
|
Simon Friis Vindum
|
9e8735f84c
|
Merge pull request #20878 from paldepind/rust/axum-model
Rust: Add models for Axum
|
2025-12-17 15:47:28 +01:00 |
|
Simon Friis Vindum
|
e53bdb11be
|
Rust: Accept changes to expected files for consistency check
|
2025-12-16 13:15:34 +01:00 |
|
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
|
fbf9f7eda7
|
Rust: Add models for Axum
|
2025-12-16 12:41:32 +01:00 |
|
Simon Friis Vindum
|
0ea06aca06
|
Rust: Introduce more functions in Axum test
|
2025-12-16 12:32:40 +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 |
|