Mythril
Audit de Smart ContractsGratuitEn vedette
// DESCRIPTION
Security analysis tool for EVM smart contracts. Symbolic execution.
// TAGS
ethereumsoliditysymbolicanalysis
3,900 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
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
Manticore
Audit de Smart ContractsSymbolic execution tool for analysis of binaries and smart contracts.
symbolicethereumpython
3,700
ACCÈS