中文
Tools

contract-fuzzer

dropnation/contract-fuzzer

A Python smart-contract fuzzer for the EVM that compiles Solidity, discovers echidna_* property functions, and runs randomized call sequences to check invariants.

Topics