Manticore
Auditoria de Smart ContractsGrátis
// DESCRIPTION
Symbolic execution tool for analysis of binaries and smart contracts.
// TAGS
symbolicethereumpythonanalysis
3,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
Destaque
Echidna
Auditoria de Smart ContractsProperty-based fuzzer for Ethereum smart contracts.
fuzzingethereumhaskell
2,700
ACESSAR