Saltar al contenido principal
Seguridad y pruebas

Aderyn

Pruebas de fuzzing y propiedades

Visitar sitio web (se abre en una pestaña nueva)Aderyn en X (se abre en una pestaña nueva)Aderyn en GitHub (se abre en una pestaña nueva)

Ver siguiente

ItyFuzz

Acerca de Aderyn

Aderyn es el analizador estático de contratos inteligentes de Solidity de código abierto y basado en Rust de Cyfrin, diseñado para ayudar a los ingenieros de protocolos y a los investigadores de seguridad a encontrar vulnerabilidades en las bases de código de Solidity.

Etiquetas

  • CLI
  • Seguridad
  • Educación
  • Solidity
  • Análisis estático
  • Extensión de VSCode
  • Impulsado por la comunidad

RepositorioCyfrin

Información

Tipo
Pruebas de fuzzing y propiedades
Estrellas en GitHub
805
Licencia
GPL-3.0
Listado revisado
junio de 2026

Herramientas similares

Chimera

Chimera

Chimera es un marco para escribir pruebas de Solidity en foundry y poder reutilizarlas con otras herramientas de código abierto como Echidna, Medusa, Halmos y Kontrol.

Slither
Nativo de CROPS

Slither

Slither es el motor de análisis estático en Python de Trail of Bits para Solidity y Vyper: ejecútelo en CI para activar detectores, imprimir vistas estructurales de contratos o crear secuencias de comandos de comprobaciones personalizadas en bases de código completas.

Echidna
Nativo de CROPS

Echidna

Echidna is a property-based and grammar fuzzer for Ethereum smart contracts. Builders and auditors write properties with it to find inputs that break contract invariants.