Aderyn
Smart Contract AuditKostenlosEmpfohlen
// DESCRIPTION
Rust-based static analyzer for Solidity contract vulnerabilities.
// TAGS
soliditystatic-analysisrustaudit
1,200 stars
0 views
1/26/2026
[ AD_SLOT: resource-content ]
// RELATED_RESOURCES
Empfohlen
Slither
Smart Contract AuditStatic analyzer for Solidity smart contracts. Automatically detects vulnerabilities.
solidityethereumaudit
ZUGRIFF
Empfohlen
Mythril
Smart Contract AuditSecurity analysis tool for EVM smart contracts. Symbolic execution.
ethereumsoliditysymbolic
3,900
ZUGRIFF
Empfohlen
Echidna
Smart Contract AuditProperty-based fuzzer for Ethereum smart contracts.
fuzzingethereumhaskell
2,700
ZUGRIFF
Manticore
Smart Contract AuditSymbolic execution tool for analysis of binaries and smart contracts.
symbolicethereumpython
3,700
ZUGRIFF