Analysis tools logo
3

electrolysis

A tool for formally verifying Rust programs by transpiling them into definitions in the Lean theorem prover.

Github:
    283283272016
Workflow integration:
  • Type: cli
    cli

Official electrolysis Homepage

https://github.com/Kha/electrolysis

Other

Maintained

Alternative Tools

  • 4trunk
  • 3todocheck
  • 2trivy
  • 0warnalyzer
  • -4ShiftLeft Scan