SafeDrop: Detecting Memory Deallocation Bugs of Rust Programs via Static Data-flow Analysis. - CUI, MOHAN; CHENGJUN CHEN; HUI XU; YANGFAN ZHOU (ACM Transactions on Software Engineering & Methodology, 2023)