Statically detect memory, concurrency bugs and possible panic locations for Rust.
BSD 3-Clause "New" or "Revised" License
445
stars
25
forks
source link
FPs in condvar deadlock detector when the two locks are the same #35
Open
BurtonQin opened 2 years ago
This is the case in crate
blockingand many other crates.