Rust: Lift content reads as taint steps - #20879

Merged

paldepind merged 12 commits into

github:mainfrom

paldepind:rust/reads-as-taint

Dec 11, 2025

Commits on Dec 10, 2025

Rust: Lift content reads as taint steps
paldepind
committed
8a0e5b5
Rust: Remov unneeded model
paldepind
committed
0f97e7e
Rust: Update tests and expected files
paldepind
committed
047ea10
Rust: Refactor flow summary implementation
paldepind
committed
6fcd8d1
Rust: Add extensible predicate to exclude fields and block fieldless enum types
paldepind
committed
647bed9
Rust: Exclude range start and end from field taint steps
paldepind
committed
5ba4e30
Rust: Apply suggestions from code review

paldepind
and
geoffw0
committed
273eb19
Rust: Address PR feedback
paldepind
committed
fe37e3d
Rust: Do not use types to limit lifting of reads to taint steps
paldepind
committed
efbc093
Rust: Update expected files
paldepind
committed
c6d2047

Commits on Dec 11, 2025

Rust: Add change note for reads as taint steps
paldepind
committed
8c39472
Rust: Fix typo in change note

paldepind
and
geoffw0
authored
74a77a7