Paolo Tranquilli 2a29239b01 Merge branch 'main' into redsun82/cargo-upgrade

2025-03-04 10:05:41 +01: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: Allow SSA and some data flow for mutable borrows

2025-02-26 16:00:52 +01:00

local

Merge branch 'main' into rust-ref-mut

2025-03-03 09:19:08 +01:00

modeled

Rust: Accept changes

2025-03-03 09:44:24 +01:00

models

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

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

pointers

Rust: Address PR comments

2025-02-28 10:49:27 +01:00

sources

Rust: Allow SSA and some data flow for mutable borrows

2025-02-26 16:00:52 +01:00

strings

Merge branch 'main' into redsun82/cargo-upgrade

2025-03-04 10:05:41 +01:00

taint

Rust: Add more models for Iterator.

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