
pmd
Un analizador de código estático extensible y multilenguaje.

Un analizador de código estático extensible y multilenguaje.

Framework de ingeniería inversa estilo UNIX y conjunto de herramientas de línea de comandos

Análisis dinámico y estático con Análisis de Malware en Tiempo Real con Antivirus para Windows, incluyendo XDR de código abierto (3 proyectos EDR),…

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

Habilidades de Claude Code de Trail of Bits para investigación de seguridad, detección de vulnerabilidades y flujos de trabajo de auditoría

AI-powered Docker security scanner that explains vulnerabilities in plain English. An OWASP Lab Project.

Biblioteca multiplataforma para analizar, modificar y abstraer formatos ejecutables ELF, PE y MachO. Admite APIs en C++, Python y Rust con…

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

Fast, developer-friendly JS/TS dependency vulnerability scanner with local lockfile scanning, OSV matching, direct vs transitive visibility, --fix,…

Motor de puntuación de malware para Android basado en reglas que analiza APKs mediante análisis estático y dinámico para detectar vulnerabilidades,…

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

B2R2 es un framework de análisis binario completamente gestionado escrito en F#. Proporciona un rico conjunto de algoritmos, funciones y herramientas…

Una reescritura de YARA en Rust.

FLARE Obfuscated String Solver - Extrae automáticamente cadenas ofuscadas de malware.

escaner que detecta el uso de librerías JavaScript con vulnerabilidades conocidas. También puede generar un SBOM de las librerías que encuentra.

The system of record for AI-written software. A persistent graph of entities, relationships, changes, and provenance, so humans and AI agents see…

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

Cripto en Rust con cero dependencias por defecto: BLAKE3, Ed25519/X25519, hashes, MACs, KDFs, AEADs y sumas de verificación con aceleración completa…