Análise Estática

nazeeh111/capsulith

Execute código ARM64 preservado no Node ou em um navegador; inspecione pixels de imagens decodificadas e memória inicializada.

secprbench/secprbench

Benchmark de 265 alterações reais de código que introduzem vulnerabilidades em nove projetos em C, C++ e Rust, com tarefas de revisão emparelhadas,…

x86rc/unthemidator

Uma ferramenta automatizada de desempacotamento e correção de dump para Themida / Code Virtualizer / WinLicense (v3.0-v4)

ntoskernel/deepsecrets

Scanner de segredos offline que combina regras regex, análise semântica baseada em lexer e correspondência de valores com hash para detectar…

vahpem/rust-deobf

Recupere o que a ofuscação esconde em binários Rust (strings, crates, funções de biblioteca, fluxo de controle achatado) por meio de análise estática…

0xajstrike/emsign-trust-scan

Scanner offline para o comprometimento da chave da CA eMudhra/emSign de outubro de 2026, que localiza certificados afetados em repositórios de…

lzh0082-cloud/code-detection

Pacote de replicação que estuda como auditores de vulnerabilidades baseados em LLM acatam evidências de análise estática, com um front end C/C++…

aleph-void/ghidra-rare

Um repositório de suporte SLEIGH para ISAs de processadores raros

endrazine/rocq-cve-poc-12155

CVE-2020-37268 — Rocq/Coq Print Assumptions omite a verificação insegura de universos via Parameter Inline

endrazine/rocq-cve-poc-21682

CVE-2026-72703 — O verificador Rocq Guard aceita ponto fixo não terminante por meio de chamadas cruzadas não verificadas

nanashili/rea-rust

Port em Rust do REA, uma ferramenta de engenharia reversa apenas local com fluxos de trabalho CLI/MCP e um worker nativo do Ghidra

adam-atlassoftware/kraken

Bancada de engenharia reversa construída sobre o descompilador do Ghidra com um motor nativo sem Java, análise de funções assistida por IA, patch de…

apaonum/brotli-cve-check

Agent skill + script para escanear projetos em busca de CVE-2026-111497 (Brotli), avaliar criticidade e sugerir correções

jondean213-pixel/quietos-sentinel

Sentinel — o governador de entrada da DeanWay Labs. Protege aquilo que um agente de IA ouve: o conteúdo do mundo é dado, nunca ordem. O espelho do…

betterleaks/betterleaks

Scanner de segredos rápido e configurável para sistemas de arquivos, histórico do git, contêineres e fontes de nuvem, com filtragem baseada em Expr,…

opengrep/opengrep

🔎 Mecanismo de análise estática de código para encontrar problemas de segurança no código.