Rust: Add neutral models (map, from) - #21375

Merged

geoffw0 merged 12 commits into

github:mainfrom

Mar 6, 2026

Commits on Feb 25, 2026

Rust: Add test cases for log injection with map.
geoffw0
committed
1213369
Rust: Add test cases for log injection + uncontrolled allocation size with from.
geoffw0
committed
97f7a26

Commits on Feb 26, 2026

Rust: Add a neutral model of Option::map (so that we don't use the generated models).
geoffw0
committed
53e8863
Rust: Add a manual model for flow through Option::map.
geoffw0
committed
5c108e5
Rust: Add neutral models of From::from (corresponding with existing generated sink models).
geoffw0
committed
75fea42
Rust: Change note.
geoffw0
committed
75ffb5f
Rust: Make the manual model for Option::map more accurate.
geoffw0
committed
78f855d
Rust: Accept consistency check changes.
geoffw0
committed
96a06be
Rust: Simplify with the Copilot suggestions.
geoffw0
committed
ec0b90f
Rust: Accept consistency check changes from CI.
geoffw0
committed
062fbf2

Commits on Mar 3, 2026

Rust: Update the models.
geoffw0
committed
bb5bfda

Commits on Mar 4, 2026

Merge branch 'main' into mapfix
geoffw0
authored
370c515