Analysis tools logo
1

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:
    115711577342020
Workflow integration:
  • Type: cli
    cli

Official Rudra Homepage

https://github.com/sslab-gatech/Rudra

Apache

Maintained

Alternative Tools

  • 10trunk
  • 2todocheck
  • 2trivy
  • 0Sigrid
  • 0warnalyzer