SafeDrop: Detecting Memory Deallocation Bugs of Rust Programs

Rust is an emerging programming language that aims to prevent memory-safety
bugs. However, the current design of Rust also brings side effects which may
increase the risk of memory-safety issues. In particular, it employs OBRM
(ownership-based resource ma… Read more

Similar