activity
20212024
most citedSafeDrop: Detecting Memory Deallocation Bugs of Rust Programs via Static Data-Flow Analysis

2 citations · 2 across the 3 of their papers we have counts for

collaborators
Showing 2024Show all

1 paper · 1 filter

cs.SE2024

Fearless Unsafe. A More User-friendly Document for Unsafe Rust Programming Base on Refined Safety Properties

Mohan Cui, Penglei Mao, Shuran Sun +2

Rust, a popular systems-level programming language, has garnered widespread attention due to its features of achieving run-time efficiency and memory safety. With an increasing num…