Detecting Memory Errors in Rust Programs Including Unsafe Foreign Code.

Andrea Franceschi, Letterio Galletta, Pierpaolo Degano

Browse the full SEFM paper archive.