Seguridad y pruebas

CodeTracer es un depurador de viaje en el tiempo fácil de usar diseñado para admitir una amplia gama de lenguajes de programación web3.

Simbolik es un potente depurador de Solidity que combina la depuración tradicional de puntos de interrupción con la ejecución simbólica, lo que permite a los desarrolladores explorar todas las rutas de ejecución posibles y descubrir vulnerabilidades con precisión. Disponible como una extensión de VSCode, Simbolik se integra a la perfección en los flujos de trabajo existentes, ofreciendo depuración de estilo de punto de interrupción, inspección a nivel de Solidity y EVM, y capacidades de verificación formal.

Depurador y simulador de transacciones basado en la web para la EVM. De código abierto y autohospedable. Inspeccione los estados de las variables en cada paso, simule transacciones antes de desplegar y analice el uso de gas. Admite cualquier proveedor de RPC.

Abi Ninja es una interfaz de usuario de navegador para llamar a contratos con ABI conocidas, ABI pegadas o código de bytes descompilado, con lecturas compatibles con proxies en muchas redes, incluyendo tu nodo local de Hardhat o Anvil en ejecución.

una sencilla herramienta de línea de comandos (CLI) para cargar el código de un contrato en tu IDE al instante.

Shell interactivo súper fácil para interactuar con contratos inteligentes

viem-tracer aumenta un cliente Viem para que las llamadas fallidas a ethestimateGas y ethsendTransaction incluyan automáticamente una salida de seguimiento legible por humanos decodificada con sourcify.dev, y agrega ayudantes tipados en torno a debug_traceCall para que los desarrolladores puedan inspeccionar la ejecución sin abandonar su pila RPC existente.

EDB es un depurador a nivel de código fuente para la ejecución de Solidity con ejecución paso a paso, variables locales, inspecciones y puntos de interrupción cuando necesitas visibilidad de nivel IDE en el comportamiento del contrato en cadena o en pruebas.

forge-stack-tracer canaliza la salida detallada de las pruebas de Foundry a través de la decodificación de Swiss-Knife para que las pruebas fallidas devuelvan seguimientos de pila interactivos en lugar de valores hexadecimales opacos.

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.

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

hevm es un motor de ejecución de EVM simbólico y concreto, rápido, de código abierto y de última generación que puede encontrar problemas en contratos inteligentes. A través de su sistema de ejecución y análisis simbólico, hevm puede ejecutar contratos de forma simbólica, semiconcreta o concreta para encontrar errores, o comparar dos contratos diferentes en busca de discrepancias, realizando comprobaciones de equivalencia.

Crytic-Properties es un conjunto de pruebas de seguridad reutilizables para algunos de los estándares de tokens más utilizados, como ERC-20, ERC-721, ERC-4626 y más.

Wallet Test Framework es un conjunto automatizado que recorre los flujos principales de la billetera (transferencias, lecturas de saldo, interacciones básicas con aplicaciones descentralizadas (dapp)) para que los equipos puedan realizar pruebas de regresión de las expectativas de UX compartidas en CI.

Un generador de pruebas de contratos inteligentes basado en la técnica de árbol de ramificación (Branching Tree Technique).

ERCx es una biblioteca de pruebas de código abierto completa para los estándares de tokens ERC, que presenta más de 500 pruebas individuales en implementaciones de ERC-20, ERC-721, ERC-1155 y ERC-4626.

Auditor de seguridad de contratos inteligentes de Solidity/EVM con 104 patrones de vulnerabilidad y 8 herramientas de análisis. Logra el 100 % en los puntos de referencia CTF y EVMBench (120/120). Análisis estático para detectar vulnerabilidades en contratos inteligentes.

foundry-storage-check es una GitHub Action para proyectos de Foundry que se ejecuta en cada solicitud de extracción (pull request) para garantizar que los diseños de almacenamiento de proxy actualizables se mantengan a salvo de colisiones y que las ranuras de almacenamiento recién agregadas se inicialicen en cero en cadena antes de que se envíen las fusiones.

blocksmith.js es un entorno de pruebas ligero de JavaScript en torno a forge y anvil para crear scripts de pruebas de Foundry multicadena o multiinstancia cuando una sola EVM local no es suficiente.

La KEVM es la semántica ejecutable del marco K de la EVM: apúntela al código de bytes cuando necesite una ejecución con comprobación de conformidad, exploración simbólica, razonamiento de gas o pruebas que sigan de cerca las reglas de Ethereum.

Kontrol eleva las pruebas de propiedades de Foundry a pruebas respaldadas por la KEVM para que pueda buscar garantías formales con menos trabajo de especificación escrito a mano que la KEVM sin procesar por sí sola.

hax es una herramienta para traducciones de alta garantía de un gran subconjunto de Rust a lenguajes formales como F* o Rocq.

Act es el lenguaje de especificación declarativa y la cadena de herramientas de Ethereum para describir todos los comportamientos de un programa de la EVM, de modo que los solucionadores SMT, los demostradores de teoremas o las herramientas de análisis económico puedan razonar sobre la corrección a nivel de código de bytes y la compatibilidad de incentivos, incluyendo pruebas de refinamiento automático frente a implementaciones concretas.

Verifereum conecta los contratos inteligentes de Ethereum con la demostración de teoremas respaldada por HOL4 para que pueda apuntar a afirmaciones de corrección muy sólidas cuando los enfoques SMT automatizados no son suficientes.