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]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.