#1Herramientas para examinar binarios y código de malware sin ejecutarlos (ej. desensambladores, desempacadores).
Recomendado por Kitploit

Repositorio curado de muestras de malware activo y código fuente para análisis educativo de malware e investigación, con una base de datos organizada…
High-performance SMT solver for automated theorem proving, constraint solving, and program verification. Supports multiple theories and language…

La navaja suiza de la coincidencia de patrones

Un escáner de vulnerabilidades para imágenes de contenedores y sistemas de archivos.

Escáner de vulnerabilidades impulsado por agentes para bases de código a gran escala. Utiliza LLM para encontrar problemas de seguridad difíciles de…

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

DOMPurify: un sanitizador XSS exclusivo para DOM, súper rápido y ultra tolerante, para HTML, MathML y SVG. DOMPurify funciona con una configuración…

Desarrollo de exploits e ingeniería inversa con GDB y LLDB simplificado

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

Análisis estático de vulnerabilidades para contenedores

Servidor MCP para Ghidra

Plataforma de calidad de código y análisis estático con quality gates, análisis multilingüe y reglas centradas en la seguridad para detectar…

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

Revival no oficial del conocido depurador y editor de ensamblados .NET, dnSpy

Herramienta CLI y biblioteca para generar una Lista de Materiales de Software a partir de imágenes de contenedores y sistemas de archivos

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…

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