Book

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

Zi-Hao Rao Yi-Lin Chen Cheng-Jun Chen Hui Xu

Oct 2026 · 0 citations

View source

We use cookies to run the site and, with your consent, for analytics and to show ads. See our Cookie Policy.