Simon Friis Vindum
|
ca3e2db217
|
Rust: Accept changes to expected files
|
2026-01-14 16:00:59 +01:00 |
|
Simon Friis Vindum
|
a19ad5e557
|
Rust: Associated types are inherited as type parameters by traits and dyn traits
|
2026-01-14 14:44:31 +01:00 |
|
Simon Friis Vindum
|
62193540f7
|
Rust: Add additional tests for associated types
|
2026-01-14 14:44:30 +01:00 |
|
Simon Friis Vindum
|
fd5658dfe8
|
Rust: Tweak tests for associated types
|
2026-01-14 14:44:23 +01:00 |
|
Simon Friis Vindum
|
e0c36c758d
|
Rust: Move associated types tests into separate file
|
2026-01-14 14:39:59 +01:00 |
|
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 |
|
Geoffrey White
|
69de17ecf2
|
Merge pull request #21153 from geoffw0/splitoff
Rust: Add barrier for split_off
|
2026-01-13 10:44:31 +00:00 |
|
Tom Hvitved
|
5d5bad6cd4
|
Rust: Update expected test output
|
2026-01-13 10:24:10 +01:00 |
|
Tom Hvitved
|
3eafca0550
|
Rust: Run codegen
|
2026-01-13 10:22:16 +01:00 |
|
Simon Friis Vindum
|
9e74a7869a
|
Rust: Move everything type inference related into the typeinference directory
|
2026-01-12 16:31:34 +01:00 |
|
Geoffrey White
|
a78756ff8b
|
Merge branch 'main' into splitoff
|
2026-01-12 14:21:01 +00:00 |
|
Geoffrey White
|
479c58bef5
|
Rust: Add a barrier.
|
2026-01-12 13:52:54 +00:00 |
|
Geoffrey White
|
7658ebb449
|
Rust: Add spurious test case for rust/uncontrolled-allocation-size.
|
2026-01-12 13:52:53 +00:00 |
|
Tom Hvitved
|
17441a5462
|
Rust: Add missing .Reference in various models
|
2026-01-12 14:21:45 +01:00 |
|
Tom Hvitved
|
6b34d0d250
|
Merge pull request #21123 from hvitved/rust/fix-path-models
Rust: Improve/add various models
|
2026-01-12 12:20:56 +01:00 |
|
Simon Friis Vindum
|
41921a85bb
|
Rust: Make function trait syntax without return type default to unit
|
2026-01-09 16:08:01 +01:00 |
|
Simon Friis Vindum
|
d45269609a
|
Rust: Add test with fn trait syntax without return type
|
2026-01-09 15:38:12 +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 |
|
Tom Hvitved
|
caa0e90cd8
|
Rust: More type inference tests
|
2026-01-07 10:51:52 +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
|
da99bbf6a6
|
Merge pull request #21059 from paldepind/rust/adt-class
Rust: Improve and rename `Adt` class
|
2025-12-18 10:41:11 +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
|
97fd70e4f4
|
Rust: Accept change to expected file
|
2025-12-17 14:19:19 +01:00 |
|
Simon Friis Vindum
|
b64809cbd3
|
Rust: Adapt QL to AST changes
|
2025-12-17 14:19:16 +01:00 |
|
Simon Friis Vindum
|
dd02ac3964
|
Rust: Update generated files
|
2025-12-17 11:13:13 +01:00 |
|
Tom Hvitved
|
eb56cbd358
|
Rust: Fix candidate receiver type calculation for trait bounds
|
2025-12-17 11:06:27 +01:00 |
|
Tom Hvitved
|
3104adbe77
|
Rust: Add type inference test
|
2025-12-17 11:06:22 +01:00 |
|
Tom Hvitved
|
802c465b31
|
Merge pull request #21027 from hvitved/rust/type-inference-matching-specialization
Rust: Also use specialized types when inferring types for calls
|
2025-12-17 11:03:44 +01:00 |
|
Tom Hvitved
|
fe0ce7a492
|
Address review comments
|
2025-12-17 10:35: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
|
cbdab99497
|
Rust: Add XSS sink for Axum HTML response creation
|
2025-12-16 12:41:44 +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
|
86a4d42316
|
Rust: Remove obsolete comment from test
|
2025-12-15 13:10:41 +01:00 |
|
Tom Hvitved
|
3239afb278
|
Rust: Also use specialized types when inferring types for calls
|
2025-12-15 13:10:37 +01:00 |
|