Property-based fuzzer for Ethereum smart contracts
Echidna is Trail of Bits' open-source property-based fuzzer that generates grammar-driven inputs against Ethereum smart contracts to falsify user-defined invariants. Released in 2018.
For people
For agents
Nothing listed yet.