Echidna
Audit de Smart ContractsGratuitEn vedette
// DESCRIPTION
Property-based fuzzer for Ethereum smart contracts.
// TAGS
fuzzingethereumhaskelltesting
2,700 stars
0 views
1/26/2026
// 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
Manticore
Audit de Smart ContractsSymbolic execution tool for analysis of binaries and smart contracts.
symbolicethereumpython
3,700
ACCÈS