@misc{indiciae059a082e04a0,
  title = {SafeDrop: Detecting Memory Deallocation Bugs of Rust Programs via Static Data-Flow Analysis},
  author = {Mohan Cui and Chengjun Chen and Hui Xu and Yangfan Zhou},
  year = {2021},
  url = {https://arxiv.org/abs/2103.15420},
  note = {Source identifier: 2103.15420}
}