
mastg
Guía completa de OWASP para pruebas de seguridad de aplicaciones móviles, ingeniería inversa y verificación de debilidades MASVS/MASWE mediante…

Guía completa de OWASP para pruebas de seguridad de aplicaciones móviles, ingeniería inversa y verificación de debilidades MASVS/MASWE mediante…

Solucionador SMT de alto rendimiento para demostración automática de teoremas, resolución de restricciones y verificación de programas. Soporta…

Programa para determinar tipos de archivos para Windows, Linux y MacOS.

Asistente de ingeniería inversa impulsado por IA que conecta IDA Pro con modelos de lenguaje a través de MCP.

Análisis estático de vulnerabilidades para contenedores

La navaja suiza de la coincidencia de patrones

Servidor MCP para Ghidra

Una plataforma de análisis binario potente y fácil de usar!

Framework de desensamblado multiarquitectura que proporciona una API ligera y segura para hilos para análisis binario, ingeniería inversa e…

Herramienta de análisis estático para infraestructura como código que detecta configuraciones erróneas en la nube, vulnerabilidades y secretos en…

Una colección de scripts de instalación de software para sistemas Windows que te permite configurar y mantener fácilmente un entorno de ingeniería…

RetDec es un descompilador de código máquina reorientable basado en LLVM.

Analizador estático de configuraciones de Nginx

Visor de bytecode de Android y Java

.NET deobfuscator and unpacker.

El moderno editor de bytecode de Java

Un escáner de vulnerabilidades de seguridad de análisis estático para aplicaciones Ruby on Rails

Comprobaci贸n de tipos de alto rendimiento para Python.