Repository navigation

Rust: Lift content reads as taint steps - #20879

Merged

paldepind merged 12 commits into

github:mainfrom

paldepind:rust/reads-as-taint

Dec 11, 2025

Merged

Rust: Lift content reads as taint steps#20879
paldepind merged 12 commits into
github:mainfrom
paldepind:rust/reads-as-taint

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