SafeDrop: Detecting Memory Deallocation Bugs of Rust Programs via Static Data-flow Analysis

Mohan Cui, Chengjun Chen, Hui Xu 0009, Yangfan Zhou. SafeDrop: Detecting Memory Deallocation Bugs of Rust Programs via Static Data-flow Analysis. ACM Transactions on Software Engineering Methodology, 32(4), July 2023. [doi]

Abstract

Abstract is missing.