Geoffrey White 97f7dcb04a Rust: Add dataflow test cases for neutral models.

2026-02-04 17:43:05 +00:00

..

barrier

Rust: Use TaintFlow instead of ValueFlow in tests

2025-12-01 11:33:57 +01: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: Use TaintFlow instead of ValueFlow in tests

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

local

Rust: Remove restriction that blanket(-like) impls must have a constraint

2026-01-19 11:21:58 +01:00

modeled

Rust: Update other affected tests.

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

models

Rust: Add dataflow test cases for neutral models.

2026-02-04 17:43:05 +00:00

pointers

Rust: Model implicit Deref trait calls in data flow

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

sources

Rust: Update other affected tests.

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

strings

Rust: Regenerate models

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

taint

Rust: Clean up / fix some existing models.

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