Detecting Memory Errors in Rust Programs Including Unsafe Foreign Code. - Andrea Franceschi 001; Letterio Galletta; Pierpaolo Degano (SEFM, 2025)