https://github.com/BurtonQin/lockbud

Statically detect memory, concurrency bugs and possible panic locations for Rust.

bug-detection deadlock-detection mir rust static-analyzer

Last synced: 05 Apr 2025