
mininode
Herramienta CLI de análisis estático que reduce la superficie de ataque de aplicaciones Node.js mediante la construcción de grafos de dependencias y…

Herramienta CLI de análisis estático que reduce la superficie de ataque de aplicaciones Node.js mediante la construcción de grafos de dependencias y…

Analizar solicitudes HTTP para minimizar riesgos de ataques HTTP Desync (precursor de HTTP request smuggling/splitting).

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

Escáner SAST semánticamente consciente para aplicaciones Node.js que detecta patrones de código inseguros utilizando coincidencia de patrones de…

Una herramienta de análisis estático centrada en la seguridad para aplicaciones Android y Java.

Ofuscar APIs específicas de Windows con diferentes APIs

Complemento de Binary Ninja para identificar código ofuscado y otras construcciones de código interesantes

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

Módulo de Ghidra para desensamblar, descompilar y analizar bytecode de contratos inteligentes de Ethereum. Detecta instrucciones inseguras, extrae…

Herramienta de análisis estático rápida y de código abierto para detectar secretos hardcodeados como contraseñas, claves API y tokens en repositorios…

EMBA - El analizador de seguridad de firmware

Componente de CI para la herramienta SAST Gitleaks que escanea repositorios git en busca de secretos codificados, claves API y tokens, con soporte de…

Servidor MCP para diffing binario automatizado.

Análisis binario paralelo con IDA Pro, nomenclatura de funciones potenciada por IA, grafo de conocimiento Neo4j y motor de emulación/hooking/fuzzing…

Una herramienta de análisis de malware con interfaz TUI, ultrarrápida y multi-hilo, construida en Rust. Incluye análisis profundo de PE, escaneo YARA…

Desensambla binarios PE/ELF x86/x64, resuelve ramas indirectas a través de GOT, tablas de saltos y rastreo de registros, y exporta el grafo de flujo…

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