Beltsys Labs
Beltsys Labs
Manticore

Manticore

Lanzado en 2017 por TrailOfBits, Manticore proporciona una herramienta de ejecución simbólica para el análisis de smart …

Ethereum

Que es Manticore

Lanzado en 2017 por TrailOfBits, Manticore proporciona una herramienta de ejecución simbólica para el análisis de smart contracts de Ethereum, binarios Linux ELF y módulos WASM. Manticore genera automáticamente nuevas entradas basadas en un estado, detecta fallos y casos de error, y explora los estados que un programa puede alcanzar. Usando hooks de instrucciones y callbacks, los desarrolladores tienen control preciso de la exploración de estados. Incluye un wiki, ejemplos y una guía de referencia API, Manticore proporciona a los desarrolladores los recursos necesarios para hacer uso completo y personalizado de su interfaz.

Las mejores herramientas de Dev Tools

Descubre mas aplicaciones web3 y herramientas para desarrolladores.

Ver todas las dApps →

Necesitas una solucion blockchain a medida?

Desarrollamos dApps, smart contracts y soluciones Web3 para startups y fintech.

Contacte con nosotros