Proyectos open source sobre «static-analysis»

Motor de análisis estático en Rust que crea grafos compactos de programas a partir del código fuente y genera 19 diagramas UML y de IR de compilador.

Un compilador que lee aplicaciones Rails en Ruby y genera proyectos independientes en otros lenguajes, como Rust, Go, TypeScript y Elixir, o un binario nativo de Spinel.

Skills de Hermes Agent que hacen que el agente genere sus propios prompts analíticos (prismas), adaptados a cada artefacto, y que informe tanto de los hallazgos como de los puntos ciegos.

Herramienta de línea de comandos en Python que descompila archivos APK de Android con jadx y busca URL, endpoints y secretos incrustados en el código.

Un linter rápido para Dockerfiles, escrito en Go, con más de 60 reglas de buenas prácticas, puntuación de calidad y comprobaciones de seguridad para secretos y el uso de ARG.

Un grafo local de conocimiento del código que proporciona a las herramientas de programación con IA contexto preciso para revisiones mediante MCP y una CLI.