Crytic-Properties

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.