Tools
echidna
crytic/echidna
A fast property-based fuzzer for Ethereum smart contracts that generates ABI-aware call sequences to falsify invariants, with multiple test modes, coverage collection and CI integration.
Topics
Related projects
openzeppelin-contracts27.4kA community-vetted Solidity library of secure, reusable smart contract components such as ERC token standards, access control, and utility contracts.
mythril4.3kA symbolic-execution security analyzer for EVM bytecode that finds vulnerabilities in Ethereum and EVM-compatible smart contracts, reporting each issue with an exploit transaction sequence.
contract-fuzzer1.4kA Python smart-contract fuzzer for the EVM that compiles Solidity, discovers echidna_* property functions, and runs randomized call sequences to check invariants.
reentrancy-attacks1.6kA chronological, curated list of Ethereum reentrancy attacks with links to victim contracts, exploit contracts and transactions, serving as a reference for smart-contract security research.
syzkaller6.4kAn unsupervised coverage-guided kernel fuzzer from Google that generates system calls to find bugs across Linux, FreeBSD, Windows, and other kernels. It is a security testing tool run and configured by developers.
solhint1.1kAn open-source Solidity linter providing security and style checks, auto-fix, shareable configs and IDE integrations.