Slither
Smart Contract AuditingFreeFeatured
// DESCRIPTION
Static analyzer for Solidity smart contracts. Automatically detects vulnerabilities.
// TAGS
solidityethereumauditsecurity
0 views
1/26/2026
// RELATED_RESOURCES
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
Manticore
Smart Contract AuditingSymbolic execution tool for analysis of binaries and smart contracts.
symbolicethereumpython
3,700
ACCESS