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:
- 11701170183812019
Workflow integration:
- cli
https://github.com/viperproject/prusti-dev
Other
Maintained