Slither
Auditoria de Smart ContractsGrátisDestaque
// DESCRIPTION
Static analyzer for Solidity smart contracts. Automatically detects vulnerabilities.
// TAGS
solidityethereumauditsecurity
0 views
1/26/2026
[ AD_SLOT: resource-content ]
// RELATED_RESOURCES
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
Destaque
Echidna
Auditoria de Smart ContractsProperty-based fuzzer for Ethereum smart contracts.
fuzzingethereumhaskell
2,700
ACESSAR
Manticore
Auditoria de Smart ContractsSymbolic execution tool for analysis of binaries and smart contracts.
symbolicethereumpython
3,700
ACESSAR