Echidna
Smart Contract AuditingFreeFeatured
// DESCRIPTION
Property-based fuzzer for Ethereum smart contracts.
// TAGS
fuzzingethereumhaskelltesting
2,700 stars
0 views
1/26/2026
[ AD_SLOT: resource-content ]
// RELATED_RESOURCES
Featured
Slither
Smart Contract AuditingStatic analyzer for Solidity smart contracts. Automatically detects vulnerabilities.
solidityethereumaudit
ACCESS
Featured
Mythril
Smart Contract AuditingSecurity analysis tool for EVM smart contracts. Symbolic execution.
ethereumsoliditysymbolic
3,900
ACCESS
Featured
Aderyn
Smart Contract AuditingRust-based static analyzer for Solidity contract vulnerabilities.
soliditystatic-analysisrust
1,200
ACCESS
Manticore
Smart Contract AuditingSymbolic execution tool for analysis of binaries and smart contracts.
symbolicethereumpython
3,700
ACCESS