Securify v2.0
Auditoria de Smart ContractsGrátis
// DESCRIPTION
Sophisticated static analyzer for auditing Solidity smart contracts.
// TAGS
soliditystatic-analysispythonaudit
650 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