Echidna
Auditoria de Smart ContractsGrátisDestaque
// DESCRIPTION
Property-based fuzzer for Ethereum smart contracts.
// TAGS
fuzzingethereumhaskelltesting
2,700 stars
0 views
1/26/2026
[ AD_SLOT: resource-content ]
// RELATED_RESOURCES
Destaque
Slither
Auditoria de Smart ContractsStatic analyzer for Solidity smart contracts. Automatically detects vulnerabilities.
solidityethereumaudit
ACESSAR
Destaque
Mythril
Auditoria de Smart ContractsSecurity analysis tool for EVM smart contracts. Symbolic execution.
ethereumsoliditysymbolic
3,900
ACESSAR
Destaque
Aderyn
Auditoria de Smart ContractsRust-based static analyzer for Solidity contract vulnerabilities.
soliditystatic-analysisrust
1,200
ACESSAR
Manticore
Auditoria de Smart ContractsSymbolic execution tool for analysis of binaries and smart contracts.
symbolicethereumpython
3,700
ACESSAR