Saltar al contenido principal
Seguridad y pruebas
Nativo de CROPS

Slither

Pruebas de fuzzing y propiedades

Ver en GitHub (se abre en una pestaña nueva)Slither en X (se abre en una pestaña nueva)

Ver siguiente

Echidna

Acerca de 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.

Etiquetas

  • Seguridad
  • Análisis estático
  • Solidity
  • Vyper
  • Integración continua

Repositoriocrytic

Información

Tipo
Pruebas de fuzzing y propiedades
Estrellas en GitHub
6,4 mil
Licencia
AGPL-3.0
Listado revisado
septiembre 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.

Synpress

Synpress

Synpress combina Playwright con la automatización del navegador compatible con Ethereum para que pueda realizar pruebas de extremo a extremo de aplicaciones descentralizadas (dapp), incluidas las ventanas emergentes de la billetera y los cambios de cadena, en CI.

Aderyn

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.