18 citations · 22 across the 6 of their papers we have counts for
Showing cs.SEShow all
2 papers · 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…
cs.SE2021
RULF: Rust Library Fuzzing via API Dependency Graph Traversal
Jianfeng Jiang, Hui Xu, Yangfan Zhou
Robustness is a key concern for Rust library development because Rust promises no risks of undefined behaviors if developers use safe APIs only. Fuzzing is a practical approach for…