GitHub repository: BurtonQin/rust-lock-bug-detector
Primary language: Rust
Created: 2020-06-04T03:26:59Z
Description: Statically detect double-lock & conflicting-lock bugs on MIR