Geoffrey White fc5d5b4fcc Rust: Compress the existing core::ops::arith models a bit.

2026-01-19 17:33:41 +00: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: Regenerate models

2026-01-13 16:02:32 +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: Regenerate models

2026-01-13 16:02:32 +01:00

strings

Rust: Regenerate models

2026-01-13 16:02:32 +01:00

taint

Rust: Compress the existing core::ops::arith models a bit.

2026-01-19 17:33:41 +00:00