Tom Hvitved 5d5bad6cd4 Rust: Update expected test output

2026-01-13 10:24:10 +01:00

..

barrier

Rust: Use TaintFlow instead of ValueFlow in tests

2025-12-01 11:33:57 +01:00

collections

Rust: Model implicit Deref trait calls in data flow

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

global

Rust: Model implicit Deref trait calls in data flow

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

lambdas

Rust: Use TaintFlow instead of ValueFlow in tests

2025-12-01 11:33:57 +01:00

local

Rust: Update expected test output

2026-01-13 10:24:10 +01:00

modeled

Rust: Also lift read steps in summaries as taint steps

2026-01-09 12:13:46 +01:00

models

Rust: Refactor MaD provanance-based filtering

2025-12-19 19:35:41 +01:00

pointers

Rust: Model implicit Deref trait calls in data flow

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

sources

Rust: Add missing .Reference in various models

2026-01-12 14:21:45 +01:00

strings

Rust: Add missing .Reference in various models

2026-01-12 14:21:45 +01:00

taint

Rust: Model implicit Deref trait calls in data flow

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