{"repo":"Dropnation/contract-fuzzer","free":true,"listed":false,"github":"https://github.com/Dropnation/contract-fuzzer","clone":"git clone https://github.com/Dropnation/contract-fuzzer.git","description":"Ethereum smart contract fuzzer","language":"Python","stars":760,"topics":["ethereum","evm","fuzzer","fuzzing","smart-contract","testing"],"license":"MIT","category":"blockchain-web3","readme_excerpt":"Solfuzz Python-based smart contract fuzzer for EVM. It compiles Solidity sources, discovers property functions named echidna , executes random sequences of public/external calls, and checks that all properties hold after each step. Runs locally without Docker; Docker files are included only for convenience. Quick start Requirements: - Python 3.9+ - pip 26+ - Windows/macOS/Linux Install in editable mode: Print diagnostics (attach to bug reports): Fuzz example contract: Replay a failure (best-effort): Concepts - Properties: Solidity functions named echidna returning bool . If any returns false or reverts, Solfuzz reports a violation. - Targets: All other public/external non-view functions are fuzzed. - Reproducibility: Seeds can be provided via --seed . Failures are saved under artifacts/run- /failure.json . Configuration See configs/example.yaml for a reference. Key options: - solidity.sources : file(s) or directories with .sol files - solidity.optimize , solidity.runs , solidity.evm version - fuzz.max steps , fuzz.stop on fail , fuzz.seed , fuzz.gas limit - report.dir : artifacts directory Windows notes - Uses in-process EVM ( eth-tester + py-evm ), no external binaries required. - Solidity compiler is managed by py-solc-x and downloaded on first compile per pragma. Limitations - Input shrinking/minimization is basic and will be improved. - Coverage-guided scheduling and parallel workers are on the roadmap. Development Run a short smoke: Docker (optional) Build and run inside","default_branch":null,"files":null,"tree":[],"storefront":"/r/Dropnation","claimed":false,"request_supported":{"post":"https://gitbuyer.com/r/Dropnation/contract-fuzzer/request-supported","requests":0},"note":"indexed from public GitHub; nothing is for sale on this page. Clone it from GitHub. Paid listings live at /search."}