TY  - RPRT
TI  - SafeDrop: Detecting Memory Deallocation Bugs of Rust Programs via Static Data-Flow Analysis
AU  - Mohan Cui
AU  - Chengjun Chen
AU  - Hui Xu
AU  - Yangfan Zhou
PY  - 2021
UR  - https://arxiv.org/abs/2103.15420
ID  - 2103.15420
ER  -