Kaiwen Zhang

Petri Nets-based Methods on Automatically Detecting for Concurrency Bugs in Rust Programs

Rust's memory safety guarantees, notably ownership and lifetime systems, have driven its widespread adoption. Concurrency bugs still occur in Rust programs, and existing detection approaches exhibit significant limitations: static analyzers suffer from context insensitivity and h...