vix.ing · top · new · best · stats · spec

Mohan Cui

  1. SafeDrop: Detecting Memory Deallocation Bugs of Rust Programs via Static Data-Flow Analysis
    2021/03/29 by Mohan Cui, Chengjun Chen, Cui, Mohan +5 · 1 citation
    Computer Science · #FOS: Computer and information sciences #Programming Languages (cs.PL) #Software Engineering Research #Software System Performance and Reliability #Software Testing and Debugging Techniques