LupaBin

Análisis estático de ejecutables de Windows · la muestra nunca se ejecuta

Un archivo. Evidencias para entenderlo.

Entiende un ejecutable.
Sin ejecutarlo.

Explora qué contiene, qué llama su código y qué no se puede afirmar. Sigue cada conclusión hasta la evidencia que la respalda.

Ejemplo sintético e inofensivo. Sin aportar una muestra, subir archivos ni consultar VirusTotal.

Análisis estático, no un veredicto de seguridad.

Tu mesa de análisis

Analizar un archivo

Ejecutables PE de Windows (.exe, .dll, .sys…), hasta 20 MiB.

Qué inspecciona

Qué analiza LupaBin sin ejecutar la muestra

Cada método se mide antes sobre binarios benignos y cada resultado se revalida en el host contra los bytes reales del ejecutable. Consultar resumen HTML estático del caso de estudio.

Cabeceras PE32/PE32+ y triaje verificable

Lee hashes, secciones, permisos de escritura y ejecución, entropía, marcas de compilador (MSVC, GCC, MinGW-w64, Go, .NET, PyInstaller), ruta PDB, textos de versión, tabla de certificados y datos tras la última sección.

Recorrido de código x86/x64 y argumentos

Recorre instrucciones estáticamente con Capstone para localizar llamadas a 72 funciones de la API de Windows, recuperar argumentos constantes en registros o pila y separar lo alcanzable desde main del arranque.

Capacidades y contraste con MITRE ATT&CK

Resume capacidades observadas en el código (claves Run, servicios, ejecución de comandos, memoria escribible y ejecutable, red o criptografía) junto con su frecuencia medida en 3.090 binarios benignos.

Metadatos .NET y desempaquetado UPX 5

Inspecciona tablas de metadatos CLI/CLR (P/Invoke, miembros, tipos y textos literales) y reconstruye estáticamente secciones, punto de entrada, importaciones y cadenas ocultas en ejecutables comprimidos con UPX 5.

Decodificación acotada y reglas YARA

Extrae cadenas ASCII y UTF-16, aplica decodificación verificada de Base64, hexadecimal y XOR de 1 a 8 bytes anclado en texto conocido, y evalúa reglas YARA propias dentro de un subproceso aislado.

Citas, práctica guiada y exportación a Ghidra

Regenera cada afirmación desde sus citas con su límite explícito, incluye glosario con fuentes primarias, preguntas tipo test autocorregibles y exportación ZIP con ImportLupaBin.java para Ghidra.

Preguntas frecuentes

Preguntas frecuentes sobre el análisis estático

¿LupaBin ejecuta el archivo o funciona como un antivirus?

No. LupaBin nunca ejecuta ni emula el programa ni emite veredictos de seguridad. Lee los bytes dentro de un contenedor Linux sin red ni privilegios y describe qué estructuras, llamadas y cadenas contiene el ejecutable.

¿Cómo evita que el informe invente datos o dé falsos positivos?

No utiliza modelos de lenguaje para deducir resultados. El host comprueba de nuevo cada evidencia contra los bytes de la muestra, regenera cada frase a partir de sus citas y declara siempre lo que ese dato no demuestra.

¿Puedo probar LupaBin y practicar sin subir un ejecutable propio?

Sí. El botón «Ver informe de ejemplo» abre un informe completo generado a partir de un archivo sintético e inofensivo, con filtros, glosario, descargas y preguntas de práctica autocorregibles sin consultar servicios externos.

¿Cómo funciona la exportación de evidencias a Ghidra?

Desde el menú «Descargar» puedes obtener un archivo ZIP con lupabin-ghidra.json y el script ImportLupaBin.java. Al ejecutarlo en Ghidra sobre el mismo ejecutable, verifica el SHA-256, genera una revisión previa y añade comentarios sin sobrescribir tus anotaciones.