MIRAI
And abstract interpreter operating on Rust's mid-level intermediate language, and providing warnings based on taint analysis.
Github:
- 7807807722018
Workflow integration:
- cli
https://github.com/facebookexperimental/MIRAI
MIT License
Maintained