Mythril
Auditoria de Smart ContractsGrátisDestaque
// DESCRIPTION
Security analysis tool for EVM smart contracts. Symbolic execution.
// TAGS
ethereumsoliditysymbolicanalysis
3,900 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
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