Saltar al contenido principal
Seguridad y pruebas

Titanoboa

Pruebas de fuzzing y propiedades

Visitar sitio web (se abre en una pestaña nueva)Titanoboa en GitHub (se abre en una pestaña nueva)

Ver siguiente

Hive

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

Etiquetas

  • Vyper
  • Herramientas de depuración

Repositoriovyperlang

Información

Tipo
Pruebas de fuzzing y propiedades
Estrellas en GitHub
313
Listado revisado
junio de 2026

Herramientas similares

Chimera

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
Nativo de CROPS

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.

Echidna
Nativo de CROPS

Echidna

Echidna is a property-based and grammar fuzzer for Ethereum smart contracts. Builders and auditors write properties with it to find inputs that break contract invariants.