Aderyn
Auditoría de Smart ContractsGratisDestacado
// DESCRIPTION
Analizador estatico en Rust para vulnerabilidades en contratos Solidity.
// TAGS
soliditystatic-analysisrustaudit
1,200 stars
0 views
1/26/2026
[ AD_SLOT: resource-content ]
// RELATED_RESOURCES
Destacado
Slither
Auditoría de Smart ContractsAnalizador estático de smart contracts en Solidity. Detecta vulnerabilidades automáticamente.
solidityethereumaudit
ACCESS
Destacado
Mythril
Auditoría de Smart ContractsHerramienta de analisis de seguridad para smart contracts EVM. Ejecucion simbolica.
ethereumsoliditysymbolic
3,900
ACCESS
Destacado
Echidna
Auditoría de Smart ContractsFuzzer basado en propiedades para smart contracts Ethereum.
fuzzingethereumhaskell
2,700
ACCESS
Manticore
Auditoría de Smart ContractsHerramienta de ejecucion simbolica para analisis de binarios y smart contracts.
symbolicethereumpython
3,700
ACCESS