Securify v2.0
Audit de Smart ContractsGratuit
// 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
En vedette
Slither
Audit de Smart ContractsStatic analyzer for Solidity smart contracts. Automatically detects vulnerabilities.
solidityethereumaudit
ACCÈS
En vedette
Mythril
Audit de Smart ContractsSecurity analysis tool for EVM smart contracts. Symbolic execution.
ethereumsoliditysymbolic
3,900
ACCÈS
En vedette
Aderyn
Audit de Smart ContractsRust-based static analyzer for Solidity contract vulnerabilities.
soliditystatic-analysisrust
1,200
ACCÈS
En vedette
Echidna
Audit de Smart ContractsProperty-based fuzzer for Ethereum smart contracts.
fuzzingethereumhaskell
2,700
ACCÈS