Tom Hvitved 069431941e Merge pull request #21596 from hvitved/rust/data-flow-closure-type ...

Rust: Track closure types in data flow

2026-04-15 10:32:05 +02:00

..

barrier

Update MaD barrier guard test output

2026-03-20 11:10:08 +00:00

collections

Rust: Update other affected tests.

2026-01-22 12:29:21 +00:00

global

Rust: More affected tests.

2026-01-22 13:22:43 +00:00

lambdas

Rust: Track closure types in data flow

2026-04-09 15:25:52 +02:00

local

Rust: Replace recursion through forall with ranked recursion

2026-04-10 13:18:57 +02:00

modeled

Rust: Adapt to changes in FlowSummaryImpl

2026-01-26 12:40:10 +01:00

models

Rust: Fix for neutral summaries.

2026-02-06 18:15:13 +00:00

pointers

Rust: Model implicit Deref trait calls in data flow

2026-01-07 10:51:56 +01:00

sources

Rust: Unify type inference logic for associated functions

2026-03-12 10:31:35 +01:00

strings

Rust: Adapt to changes in FlowSummaryImpl

2026-01-26 12:40:10 +01:00

taint

Rust: Unify type inference logic for associated functions

2026-03-12 10:31:35 +01:00