CULPA: Universal Detection of Memory-Safety Bugs in Unsafe Rust Through the Lens of Safety Requirements

Hung-Mao Chen and Bo Lu, George Mason University; Xu He, Visa Inc.; Xiaokuan Zhang and Kun Sun, George Mason University