program-analysis

Um depurador em modo de usuário de código aberto para Windows. Otimizado para engenharia reversa e análise de malware.

Programa para determinar tipos de arquivos para Windows, Linux e MacOS.

Triton é uma biblioteca de análise binária dinâmica. Construa suas próprias ferramentas de análise de programas, automatize sua engenharia reversa, realize verificação de software ou apenas emule código.

Mythril é uma ferramenta de análise de segurança baseada em execução simbólica para bytecode EVM. Detecta vulnerabilidades de segurança em contratos inteligentes criados para Ethereum e outras blockchains compatíveis com EVM.

Framework de engenharia reversa estilo UNIX e conjunto de ferramentas de linha de comando.

Motor DIE.

Analisador estático para C/C++ baseado na teoria de Interpretação Abstrata

Encontre rapidamente diferenças e semelhanças em código desmontado.

Plataforma de Análise Binária

Jar Analyzer - Uma ferramenta de análise GUI para arquivos JAR, com assistente de IA integrado para auxiliar na análise, suporte a análise de DIFF de JAR, busca de relações de chamada de método, análise de cadeia de chamadas de método via algoritmo DFS, verificação de resultados DFS com análise de poluição simulada da JVM, busca de strings, análise de entrada de componentes Java Web, análise de programa CFG, análise de frame de pilha JVM, busca de expressões personalizadas, entre outros.

Detecção de plágio e conluio em código-fonte de última geração. Verifique plágio em um conjunto de programas.

Análise estática de código

cwe_checker encontra padrões vulneráveis em executáveis binários.

Regras da Semgrep Community Edition, mantidas pela Semgrep e pela comunidade. Gratuito para uso sob a licença Semgrep Rules.

Exercícios de Tai-e para análise estática de programas

A GUI oficial do angr.

Uma estrutura de análise estática baseada em LLVM.

Bibliotecas T.J. Watson para Análise, com front-ends para Java, Android e JavaScript, e muitas análises de programas estáticos comuns.

Compreenda qualquer base de código instantaneamente. Inteligência de sistema para bases de código, criada para humanos e IA.

Uma nova versão do Soot com uma arquitetura completamente reformulada

Uma lista curada de recursos impressionantes relacionados ao LLVM (incluindo Clang, etc.).

Uma coleção abrangente de cheatsheets para engenharia reversa, análise binária e ferramentas de programação assembly. Este repositório serve como uma referência única para pesquisadores de segurança, engenheiros reversos e programadores de baixo nível.

Framework de análise binária em Rust

Um frontend de compilador para a linguagem de programação C

[LLVM Static Slicer] Várias análises de programas, construção de grafos de dependência e fatiamento de programas de bitcode LLVM.