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:
- 106010606202020
Workflow integration:
cli
https://github.com/sslab-gatech/Rudra
proprietary
Maintained