Echidna, a smart fuzzer for Ethereum

Summary: Trail of Bits released Echidna at EthCC, described as the first fuzzer to target smart contracts, with features including abstract state-machine modeling and automatic minimal test case generation. It ships with an echidna-test executable that requires only simple Solidity assertions to find bugs, plus a library for writing custom analyses, and depends only on stack and the solc version the contract uses.
What's compelling: The tool is used on real audits by its authors, so the bugs it surfaces are the ones standing between a contract and the people auditing it - and its minimal generated test cases are what make those findings actionable rather than theoretical.

Read the original at Trail of Bits Blog ↗