Statically detect memory, concurrency bugs and possible panic locations for Rust.
BSD 3-Clause "New" or "Revised" License
445
stars
25
forks
source link
Add condar deadlock and missing-lock detectors with test cases #29
Closed
BurtonQin closed 2 years ago