Manticore
Smart Contract AuditingFree
// DESCRIPTION
Symbolic execution tool for analysis of binaries and smart contracts.
// TAGS
symbolicethereumpythonanalysis
3,700 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
Mythril
Smart Contract AuditingSecurity analysis tool for EVM smart contracts. Symbolic execution.
ethereumsoliditysymbolic
3,900
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