18 citations · 56 across the 12 of their papers we have counts for
Showing 2021Show all
2 papers · 1 filter
cs.PL2021★ 2 cited
SafeDrop: Detecting Memory Deallocation Bugs of Rust Programs via Static Data-Flow Analysis
Mohan Cui, Chengjun Chen, Hui Xu +1
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…
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…