echidna (homebrew): Ethereum smart contract fuzzer
Keywords: ethereum|evm|fuzzer|security|smart-contracts|solidity|testing