SafeDrop: Detecting Memory Deallocation Bugs of Rust Programs via Static Data-flow Analysis.
Saved in:
| Title: | SafeDrop: Detecting Memory Deallocation Bugs of Rust Programs via Static Data-flow Analysis. |
|---|---|
| Authors: | CUI, MOHAN1, mhcui20@fudan.edu.cn, CHENGJUN CHEN2, cjchen20@fudan.edu.cn, HUI XU2, xuh@fudan.edu.cn, YANGFAN ZHOU2, zyf@fudan.edu.cn |
| Source: | ACM Transactions on Software Engineering & Methodology; Jul2023, Vol. 32 Issue 4, p1-32, 32p |
| Database: | Applied Science & Technology Source |
| ISSN: | 1049331X |
|---|---|
| DOI: | 10.1145/3542948 |
