Slither
Audit de Smart ContractsGratuitEn vedette
// DESCRIPTION
Static analyzer for Solidity smart contracts. Automatically detects vulnerabilities.
// TAGS
solidityethereumauditsecurity
0 views
1/26/2026
// RELATED_RESOURCES
En vedette
Mythril
Audit de Smart ContractsSecurity analysis tool for EVM smart contracts. Symbolic execution.
ethereumsoliditysymbolic
3,900
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