rCanary: Detecting Memory Leaks Across Semi-automated Memory Management Boundary in Rust

Mohan Cui, Hui Xu, Hongliang Tian +1

Rust is an effective system programming language that guarantees memory safety via compile-time verifications. It employs a novel ownership-based resource management model to facil…