Two Birds One Stone: Effective Static Detection of Resource and Communication Deadlocks in Rust Programs

Yu Zhang, Kaiwen Zhang, Guanjun Liu +2

Although Rust claims to enable fearless concurrency, concurrency errors remain prevalent in practical applications, with deadlocks particularly prominent and harmful. Current stati…