manticore

⚠️ Project is archived ⚠️ Este proyecto ya no se desarrolla ni mantiene internamente. Manticore Manticore es una herramienta de ejecución simbólica para el análisis de contratos inteligentes y binarios. Características Exploración de programas : Manticore puede ejecutar un programa con entradas...