Rudra
Rust Memory Safety & Undefined Behavior Detection. It is capable of analyzing single Rust packages as well as all the packages on crates.io.
Github:
- 108810887262020
Workflow integration:
- cli
https://github.com/sslab-gatech/Rudra
Apache
Maintained