Esta es la aplicación de Windows llamada Manticore cuya última versión se puede descargar como Manticore0.3.7.zip. Se puede ejecutar en línea en el proveedor de alojamiento gratuito OnWorks para estaciones de trabajo.
Descargue y ejecute en línea esta aplicación llamada Manticore con OnWorks de forma gratuita.
Siga estas instrucciones para ejecutar esta aplicación:
- 1. Descargue esta aplicación en su PC.
- 2. Ingrese en nuestro administrador de archivos https://www.onworks.net/myfiles.php?username=XXXXX con el nombre de usuario que desee.
- 3. Cargue esta aplicación en dicho administrador de archivos.
- 4. Inicie cualquier emulador en línea de OS OnWorks desde este sitio web, pero mejor emulador en línea de Windows.
- 5. Desde el sistema operativo OnWorks Windows que acaba de iniciar, vaya a nuestro administrador de archivos https://www.onworks.net/myfiles.php?username=XXXXX con el nombre de usuario que desee.
- 6. Descarga la aplicación e instálala.
- 7. Descargue Wine desde los repositorios de software de sus distribuciones de Linux. Una vez instalada, puede hacer doble clic en la aplicación para ejecutarla con Wine. También puedes probar PlayOnLinux, una elegante interfaz sobre Wine que te ayudará a instalar programas y juegos populares de Windows.
Wine es una forma de ejecutar software de Windows en Linux, pero no requiere Windows. Wine es una capa de compatibilidad de Windows de código abierto que puede ejecutar programas de Windows directamente en cualquier escritorio de Linux. Esencialmente, Wine está tratando de volver a implementar una cantidad suficiente de Windows desde cero para poder ejecutar todas esas aplicaciones de Windows sin necesidad de Windows.
SCREENSHOTS
Ad
Manticore
DESCRIPCIÓN
Manticore nos ayuda a aprovechar rápidamente la ejecución simbólica, el análisis de corrupción y la instrumentación para analizar binarios. Partes de Manticore sustentaron nuestras capacidades de ejecución simbólica en el Cyber Grand Challenge. Como herramienta de código abierto, esperamos que otros puedan aprovechar estas capacidades en sus propios proyectos. Priorizamos la simplicidad y la facilidad de uso al construir Manticore. Usamos dependencias externas mínimas y nuestra API debería resultarle familiar a cualquier persona con antecedentes de explotación o inversión. Si nunca antes ha usado una herramienta de este tipo, pruebe Manticore. Manticore viene con una herramienta de línea de comandos fácil de usar que genera rápidamente nuevos "casos de prueba" del programa (o entradas de muestra) con ejecución simbólica. Cada caso de prueba genera un resultado único cuando se ejecuta el programa, como una salida normal del proceso o un bloqueo (p. ej., contador de programa no válido, lectura/escritura de memoria no válida).
Caracteristicas
- Manticore puede ejecutar un programa con entradas simbólicas y explorar todos los estados posibles que puede alcanzar
- Manticore puede producir automáticamente entradas concretas que dan como resultado un estado de programa dado
- Manticore puede detectar fallas y otros casos de fallas en binarios y contratos inteligentes
- Manticore proporciona un control detallado de la exploración del estado a través de devoluciones de llamadas de eventos y enlaces de instrucciones.
- Manticore expone el acceso programático a su motor de análisis a través de una API de Python
- Contratos inteligentes de Ethereum (código de bytes EVM)
Lenguaje de programación
Python
Categorías
Esta es una aplicación que también se puede obtener de https://sourceforge.net/projects/manticore.mirror/. Ha sido alojado en OnWorks para poder ejecutarse online de la forma más sencilla desde uno de nuestros Sistemas Operativos gratuitos.