Mythril
Smart Contract AuditingFreeFeatured
// 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
Featured
Slither
Smart Contract AuditingStatic analyzer for Solidity smart contracts. Automatically detects vulnerabilities.
solidityethereumaudit
ACCESS
Featured
Aderyn
Smart Contract AuditingRust-based static analyzer for Solidity contract vulnerabilities.
soliditystatic-analysisrust
1,200
ACCESS
Featured
Echidna
Smart Contract AuditingProperty-based fuzzer for Ethereum smart contracts.
fuzzingethereumhaskell
2,700
ACCESS
Manticore
Smart Contract AuditingSymbolic execution tool for analysis of binaries and smart contracts.
symbolicethereumpython
3,700
ACCESS