Mohan Cui
Orcid: 0000-0001-5117-5829Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2023
SafeDrop: Detecting Memory Deallocation Bugs of Rust Programs via Static Data-flow Analysis.
ACM Trans. Softw. Eng. Methodol., July, 2023
rCanary: Detecting Memory Leaks Across Semi-automated Memory Management Boundary in Rust.
CoRR, 2023
Is unsafe an Achilles' Heel? A Comprehensive Study of Safety Requirements in Unsafe Rust Programming.
CoRR, 2023