Statically detect memory, concurrency bugs and possible panic locations for Rust.
BSD 3-Clause "New" or "Revised" License
445
stars
25
forks
source link
Update README.md: rustc version, detected bugs, usage demo of blacklists #25
Closed
BurtonQin closed 2 years ago