Analysis tools logo
2

MIRAI

And abstract interpreter operating on Rust's mid-level intermediate language, and providing warnings based on taint analysis.

Github:
    5485488442018
Workflow integration:
  • Type: cli
    cli

Official MIRAI Homepage

https://github.com/facebookexperimental/MIRAI

MIT License

Maintained

Alternative Tools

  • 2todocheck
  • 2trivy
  • 1RustViz
  • 1ShiftLeft Scan
  • 0warnalyzer