Aderyn

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

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