Analysis tools logo
0

Prusti

A static verifier for Rust, based on the Viper verification infrastructure. By default Prusti verifies absence of panics by proving that statements such as unreachable!() and panic!() are unreachable.

Github:
    392392119452019
Workflow integration:
  • Type: cli
    cli

Official Prusti Homepage

https://github.com/viperproject/prusti-dev

Other

Maintained

Alternative Tools

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