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

Biblioteca Java que sanitiza archivos SVG eliminando JavaScript, controladores de eventos en línea y etiquetas script, a la vez que bloquea la carga…
Biblioteca simple y ligera que ayuda a validar archivos SVG de forma segura.

Ejecuta código ARM64 preservado en Node o en un navegador; inspecciona píxeles de imágenes decodificadas y memoria inicializada.

Evaluación comparativa de 265 cambios de código reales que introducen vulnerabilidades en nueve proyectos de C, C++ y Rust, con tareas de revisión…

Una herramienta automatizada de desempaquetado y corrección de volcados para Themida / Code Virtualizer / WinLicense (v3.0-v4)

Escáner de secretos sin conexión que combina reglas regex, análisis semántico basado en lexer y coincidencia de valores con hash para detectar…

Recupera lo que la ofuscación oculta en binarios de Rust (cadenas, crates, funciones de biblioteca, flujo de control aplanado) mediante análisis…

Escáner offline para el compromiso de claves de la CA eMudhra/emSign de octubre de 2026, que encuentra los certificados afectados en los almacenes de…

Paquete de replicación que estudia cómo los auditores de vulnerabilidades de LLM se someten a la evidencia del análisis estático, con un front end de…

Un repositorio de soporte SLEIGH para ISAs de procesadores poco comunes

CVE-2020-37268 — Rocq/Coq Print Assumptions omite la comprobación de universos insegura mediante Parameter Inline

CVE-2026-72703 — El verificador Rocq Guard acepta un punto fijo no terminante mediante llamadas cruzadas no verificadas

Port en Rust de REA, una herramienta de ingeniería inversa de solo local con flujos de trabajo CLI/MCP y un worker nativo de Ghidra

Banco de trabajo de ingeniería inversa construido sobre el descompilador de Ghidra con un motor nativo sin Java, análisis de funciones asistido por…

Habilidad de agente + script para escanear proyectos en busca de CVE-2026-111497 (Brotli), calificar la criticidad y sugerir correcciones

Sentinel — el gobernador de entrada de DeanWay Labs. Controla lo que escucha un agente de IA: el contenido del mundo es dato, nunca órdenes. El…

Escáner de secretos rápido y configurable para sistemas de archivos, historial de git, contenedores y fuentes en la nube, con filtrado basado en…

🔎 Motor de análisis estático de código para encontrar problemas de seguridad en el código.