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]

Authors

Mohan Cui

This author has not been identified. Look up 'Mohan Cui' in Google

Chengjun Chen

This author has not been identified. Look up 'Chengjun Chen' in Google

Hui Xu 0009

This author has not been identified. Look up 'Hui Xu 0009' in Google

Yangfan Zhou

This author has not been identified. Look up 'Yangfan Zhou' in Google