Análise Estática

trailofbits/trailmark

Build and query a graph database representation of source code

uxmal/reko

Reko é um descompilador binário.

tamarin-prover/tamarin-prover

Ferramenta de verificação simbólica para protocolos de segurança usando reescrita de multiconjuntos e resolução de restrições para provar…

hydradragonantivirus/hydradragonantivirus

Dynamic and static analysis with Real Time Malware Analysis with Antivirus for Windows, including open-source XDR (3 EDR projects), ClamAV, YARA-X,…

z3prover/z3

High-performance SMT solver for automated theorem proving, constraint solving, and program verification. Supports multiple theories and language…

hashgraph-online/hol-guard

Open-source antivirus for AI agents: block risky tools, secret access, prompt injection, malicious packages, MCP servers, plugins, and skills at…

radareorg/radare2

Framework UNIX-like de engenharia reversa e conjunto de ferramentas de linha de comando

facebook/mariana-trench

Uma ferramenta de análise estática focada em segurança para aplicações Android e Java.

erocarrera/pefile

pefile é um módulo Python para ler e trabalhar com arquivos PE (Portable Executable).

e-m-b-a/emba

EMBA - O analisador de segurança de firmware

loadingalias/rscrypto

Rust cryptography w/ zero required deps: hashes, checksums, MACs, KDFs, password hashing, AEADs, signatures, RSA, key exchange, ML-KEM, and ML-DSA.…

lkimuk/reark

An intelligent reverse engineering and AI-assisted analysis tool for HarmonyOS NEXT (HAP/APP/ABC), Android (APK/AAB), iOS (IPA), and native…

anthropics/oss-scanner

Serviço que compila repositórios open-source inscritos em VMs isoladas offline e os analisa em busca de vulnerabilidades de segurança, enviando por…

gautamvarmadatla/mcpsafetywarden

Servidor proxy que envolve servidores MCP com perfil comportamental, varredura de segurança, controle de risco e execução segura. Detecta injeção de…

mobsf/mobile-security-framework-mobsf

Estrutura automatizada de teste de segurança de aplicações móveis para Android, iOS e Windows. Realiza análise estática e dinâmica, deteção de…

idamcp/idamcp

Servidor MCP que integra o IDA Pro com agentes de IA, apresentando um gateway sem estado para gerenciamento de múltiplas sessões, um mecanismo de…