Geoffrey White 0ef4c6f954 Merge branch 'main' into okerr

2025-02-26 12:33:39 +00:00

..

barrier

Rust: Never skip match scrutinee/patterns in data flow

2024-12-16 15:12:16 +01:00

closures

Rust: Never skip assignment LHS in data flow

2024-12-16 15:12:15 +01:00

global

Rust: Path resolution for inherited functions

2025-02-18 13:49:05 +01:00

local

Merge branch 'main' into okerr

2025-02-26 12:33:39 +00:00

modeled

Rust: Adapt tests and existing models to account for generated models

2025-02-17 11:08:42 +01:00

models

Rust: Use Field MaD token instead of Variant, Struct, Tuple

2025-02-13 13:32:08 +01:00

pointers

Rust: Handle ref patterns in data flow

2025-02-12 13:20:11 +01:00

sources

Merge branch 'main' into nth

2025-02-12 15:14:20 +00:00

strings

Rust: Accept changes

2025-02-25 15:56:10 +01:00

taint

Rust: Add more models for Iterator.

2025-02-18 17:20:39 +00:00