activity
20212024
most citedSafeDrop: Detecting Memory Deallocation Bugs of Rust Programs via Static Data-Flow Analysis

2 citations · 2 across the 3 of their papers we have counts for

collaborators
Showing 2023Show all

1 paper · 1 filter

cs.SE2023

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…