UnsafeCop: Towards Memory Safety for Real-World Unsafe Rust Code with Practical Bounded Model Checking.

Minghua Wang, Jingling Xue, Lin Huang, Yuan Zi, Tao Wei

Browse the full FM paper archive.