Saltar al contenido principal
Chimera
Seguridad y pruebas

Chimera

Pruebas de fuzzing y propiedades

Foundry · Solidity · Cobertura de código · Automatización de pruebas · Extensión de VSCode

Social (se abre en una pestaña nueva)Recon-Fuzz/chimera(161 ☆) (se abre en una pestaña nueva)Recon-Fuzz/create-chimera-app(52 ☆) (se abre en una pestaña nueva)Recon-Fuzz/recon-extension(36 ☆) (se abre en una pestaña nueva)Recon-Fuzz/setup-helpers(4 ☆) (se abre en una pestaña nueva)Recon-Fuzz/log-parser(4 ☆) (se abre en una pestaña nueva)

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.

Recursos relacionados

Slither

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.

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.

Titanoboa

Titanoboa

Titanoboa es un intérprete interactivo de Vyper y un entorno de pruebas para ciclos de retroalimentación rápidos cuando experimenta con contratos fuera de un ciclo completo de Foundry.

Medusa

Medusa

Medusa es un fuzzer de contratos inteligentes con estado inspirado en Echidna. Proporciona pruebas de fuzzing paralelizadas de contratos inteligentes y la verificación de invariantes avanzados de contratos inteligentes.

solidity-coverage

solidity-coverage

solidity-coverage proporciona cobertura de código de contratos inteligentes para la plataforma de desarrolladores Hardhat. Es muy preciso, admite la compilación completa de Solidity viaIR y un gran conjunto de patrones de ramas de código específicos de Solidity. Está instalado en ~230 mil proyectos de Github y se descarga ~100 mil veces a la semana desde NPM.