Book
Open access
Oct 2026
SafeDep: Detecting State Mutation Unsoundness in Rust via Dependency Slicing and LLM Reasoning
Rust's type system protects safe code, but many low-level abstractions depend on internal unsafe operations whose correctness rests on memory and logical invariants. In struct-based abstractions, a sibling method may legally modify internal fields while invalidating a precondition required by another method's unsafe op...
Zi-Hao Rao, Yi-Lin Chen, Cheng-Jun Chen et al.
· Proceedings of the 41st IEEE... · 0 citations