Projetos open source sobre “static-analysis”

Um mecanismo de análise estática em Rust que cria grafos compactos de programas a partir do código-fonte e gera 19 diagramas UML e de IR de compilador.

Um compilador que lê aplicações Rails em Ruby e gera projetos independentes em outras linguagens, como Rust, Go, TypeScript, Elixir ou um binário nativo Spinel.

Skills do Hermes Agent que fazem o agente criar prompts analíticos (prisms) próprios e adaptados a cada artefato, relatando também os pontos cegos.

Ferramenta de linha de comando em Python que decompila APKs Android com jadx e procura URLs, endpoints e segredos embutidos no código.

Linter de Dockerfile rápido, feito em Go, com mais de 60 regras de boas práticas, pontuação de qualidade e verificações de segurança para secrets e uso de ARG.

Um grafo local de conhecimento do código que fornece às ferramentas de programação com IA contexto preciso para revisões via MCP e CLI.