Playing with solidity fuzzing, invariant and formal verification tools
Tool | Type | Checked | Notes |
---|---|---|---|
https://github.com/foundry-rs/foundry | fuzz/invariant | yes | |
https://github.com/crytic/echidna | fuzz/invariant | yes | |
https://github.com/a16z/halmos | formal verification | yes | |
https://github.com/crytic/medusa | fuzz/invariant | no | Not ready for production, early alpha |
https://github.com/ethereum/hevm | formal verification | no | Written in Haskell |
https://github.com/fuzzland/ityfuzz | fuzz/invariant/formal verification | no | |
https://github.com/Certora | formal verification | no | Close sourced |