- fast contract fuzzer for detecting vulnerabilities in smart contracts through property-based testing.
- tutorial to use echidna to automatically test smart contracts
- medusa, mutational solidity smart contract fuzzing, powered by go-ethereum, inspired by echidna
- automated fuzzing tool useful for detecting property violations in smart contract code.
- dynamic symbolic execution framework for analyzing EVM bytecode.