Security & testing

foundry-storage-check

Fuzz/Property testing

Foundry · CLI · DevOps · GitHub Actions · Solidity · Distribución de almacenamiento · Calidad de código · Seguridad

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.

Related resources

Chimera

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

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

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.

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.