Esta es la aplicación para Linux llamada Echidna, cuya última versión se puede descargar como echidna-2.2.7-x86_64-linux.tar.gz. Se puede ejecutar en línea en el proveedor de alojamiento gratuito OnWorks para estaciones de trabajo.
Descargue y ejecute en línea esta aplicación llamada Echidna con OnWorks de forma gratuita.
Siga estas instrucciones para ejecutar esta aplicación:
- 1. Descargue esta aplicación en su PC.
- 2. Ingrese en nuestro administrador de archivos https://www.onworks.net/myfiles.php?username=XXXXX con el nombre de usuario que desee.
- 3. Cargue esta aplicación en dicho administrador de archivos.
- 4. Inicie el emulador en línea OnWorks Linux o Windows en línea o el emulador en línea MACOS desde este sitio web.
- 5. Desde el SO OnWorks Linux que acaba de iniciar, vaya a nuestro administrador de archivos https://www.onworks.net/myfiles.php?username=XXXXX con el nombre de usuario que desee.
- 6. Descarga la aplicación, instálala y ejecútala.
SCREENSHOTS
Ad
Echidna
DESCRIPCIÓN
Echidna es una criatura extraña que come insectos y es altamente electrosensible (con disculpas a Jacob Stanley). Más en serio, Echidna es un programa de Haskell diseñado para pruebas de fuzzing/basadas en propiedades de contratos inteligentes de Ethereum. Utiliza sofisticadas campañas de fuzzing basadas en gramática basadas en un contrato ABI para falsificar predicados definidos por el usuario o afirmaciones de Solidity. Diseñamos Echidna pensando en la modularidad, por lo que se puede ampliar fácilmente para incluir nuevas mutaciones o probar contratos específicos en casos específicos. Recopilación de corpus opcional, guía de mutación y cobertura para encontrar errores más profundos. Desarrollado por Slither para extraer información útil antes de la campaña de fuzzing. Integración de código fuente para identificar qué líneas se cubren después de la campaña de fuzzing. Interfaz de usuario retro basada en Curses, solo texto o salida JSON.
Caracteristicas
- Genera entradas adaptadas a su código real
- Soporte para una inicialización de contrato compleja con Etheno y Truffle
- Informe de uso máximo de gas de la campaña de fuzzing
- Perfecta integración en el flujo de trabajo de desarrollo
- Minimización automática de casos de prueba para una clasificación rápida
- Interfaz de usuario retro basada en Curses, solo texto o salida JSON
Lenguaje de programación
Haskell, Solidez
Categorías
Esta es una aplicación que también se puede obtener de https://sourceforge.net/projects/echidna.mirror/. Ha sido alojado en OnWorks para poder ejecutarse online de la forma más sencilla desde uno de nuestros Sistemas Operativos gratuitos.
