Mohan Cui

Publication Activity (10 Years)

Years Active: 2021-2024
Publications (10 Years): 6

Top Topics

Programming Language

Forensic Analysis

Memory Management

Top Venues

ACM Trans. Softw. Eng. Methodol.

Softw. Test. Verification Reliab.

Publications

Mohan Cui, Shuran Sun, Hui Xu, Yangfan Zhou
Is unsafe an Achilles' Heel? A Comprehensive Study of Safety Requirements in Unsafe Rust Programming. ICSE (2024)
Yan Dong, Zhicong Zhang, Mohan Cui, Hui Xu
SafeNet: Towards mitigating replaceable unsafe Rust code via a recommendation-based approach. Softw. Test. Verification Reliab. 34 (5) (2024)
Mohan Cui, Chengjun Chen, Hui Xu, Yangfan Zhou
SafeDrop: Detecting Memory Deallocation Bugs of Rust Programs via Static Data-flow Analysis. ACM Trans. Softw. Eng. Methodol. 32 (4) (2023)
Mohan Cui, Suran Sun, Hui Xu, Yangfan Zhou
Is unsafe an Achilles' Heel? A Comprehensive Study of Safety Requirements in Unsafe Rust Programming. CoRR (2023)
Mohan Cui, Suran Sun, Hui Xu, Yangfan Zhou
rCanary: Detecting Memory Leaks Across Semi-automated Memory Management Boundary in Rust. CoRR (2023)
Mohan Cui, Chengjun Chen, Hui Xu, Yangfan Zhou
SafeDrop: Detecting Memory Deallocation Bugs of Rust Programs via Static Data-Flow Analysis. CoRR (2021)