SafeDep: Detecting State Mutation Unsoundness in Rust via Dependency Slicing and LLM Reasoning

Zihao Rao, Yilin Chen, Chengjun Chen, Hui Xu

Published in 41st IEEE/ACM International Conference on Automated Software Engineering (ASE 2026), 2026