Aderyn
Auditoria de Smart ContractsGrátisDestaque
// DESCRIPTION
Rust-based static analyzer for Solidity contract vulnerabilities.
// TAGS
soliditystatic-analysisrustaudit
1,200 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
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