Is unsafe an Achilles' Heel? A Comprehensive Study of Safety Requirements in Unsafe Rust Programming. - Mohan Cui; Suran Sun; Hui Xu 009; Yangfan Zhou (CoRR, 2023)

rCanary: Detecting Memory Leaks Across Semi-automated Memory Management Boundary in Rust. - Mohan Cui; Suran Sun; Hui Xu 009; Yangfan Zhou (CoRR, 2023)

SafeDrop: Detecting Memory Deallocation Bugs of Rust Programs via Static Data-flow Analysis. - Mohan Cui; Chengjun Chen; Hui Xu 009; Yangfan Zhou (ACM Trans. Softw. Eng. Methodol., 2023)

Is unsafe an Achilles' Heel? A Comprehensive Study of Safety Requirements in Unsafe Rust Programming. - Mohan Cui; Shuran Sun; Hui Xu 009; Yangfan Zhou (ICSE, 2024)

Fearless Unsafe. A More User-friendly Document for Unsafe Rust Programming Base on Refined Safety Properties. - Mohan Cui; Penglei Mao; Shuran Sun; Yangfan Zhou; Hui Xu 009 (CoRR, 2024)

SafeNet: Towards mitigating replaceable unsafe Rust code via a recommendation-based approach. - Yan Dong; Zhicong Zhang; Mohan Cui; Hui Xu 009 (Softw. Test. Verification Reliab., 2024)

rCanary: Detecting Memory Leaks Across Semi-Automated Memory Management Boundary in Rust. - Mohan Cui; Hui Xu 009; Hongliang Tian; Yangfan Zhou (IEEE Trans. Software Eng., 2024)