Echidna
Smart Contract AuditKostenlosEmpfohlen
// DESCRIPTION
Property-based fuzzer for Ethereum smart contracts.
// TAGS
fuzzingethereumhaskelltesting
2,700 stars
0 views
1/26/2026
// RELATED_RESOURCES
Empfohlen
Slither
Smart Contract AuditStatic analyzer for Solidity smart contracts. Automatically detects vulnerabilities.
solidityethereumaudit
ZUGRIFF
Empfohlen
Mythril
Smart Contract AuditSecurity analysis tool for EVM smart contracts. Symbolic execution.
ethereumsoliditysymbolic
3,900
ZUGRIFF
Empfohlen
Aderyn
Smart Contract AuditRust-based static analyzer for Solidity contract vulnerabilities.
soliditystatic-analysisrust
1,200
ZUGRIFF
Manticore
Smart Contract AuditSymbolic execution tool for analysis of binaries and smart contracts.
symbolicethereumpython
3,700
ZUGRIFF