Dna

DNA

Dna é uma estrutura de análise binária estática construída sobre o LLVM. Notavelmente, está escrito quase inteiramente em C#, incluindo ligações gerenciadas para LLVM, Remill e Souper.

Funcionalidade

Dna implementa uma reconstrução do gráfico de fluxo de controle iterativo inspirado fortemente pelo papel de Saturno. Ele aplica iterativamente a descida recursiva, levantamento (usando remill) e resolução de caminho até que o gráfico de fluxo de controle completo seja recuperado. No caso das tabelas de salto, usamos um algoritmo recursivo baseado em Souper e Z3 para resolver o conjunto de possíveis alvos de mesa de salto. Você pode encontrar o algoritmo de exploração iterativo aqui e o algoritmo de solução de mesa de salto aqui.

Depois que um gráfico de fluxo de controle é totalmente explorado, ele pode ser recompilado ao x86 e reinserido no binário usando os algoritmos daqui e daqui. Embora o código compilado não seja bonito, ele deve ser executado enquanto o gráfico de fluxo de controle recuperado estiver correto. Dito isto, ainda é um protótipo de pesquisa - os casos de bugs e borda são esperados. A exploração do gráfico de fluxo de controle pode falhar no caso de mesas de salto ilimitado ou instruções inacessíveis.

Alguns outros recursos notáveis:

• Suporta a maioria das tabelas de salto, incluindo as chamadas tabelas de salto aninhadas ou as chamadas do MSVC.
• Suporta o código de levantamento com o SEH para LLVM IR. Quando o SEH estiver presente, try / catch instruções e filter Intrinsics são inseridos no gráfico de fluxo de controle. Embora o recompilador ainda não suportasse o SEH (as entradas do SEH não são corrigidas), as exceções causam falhas.
• Inclui uma API forte para escrever LLVM passa nativamente em C#. Temos ligações para o EG MemorySSA , LoopInfo , árvores de dominador, gerenciamento de oleodutos, etc.
• Visualização de gráficos para gráficos de fluxo de controle de IR e binários LLVM usando GraphViz ou, alternativamente, um gerador de script para Ninja binário.

Algumas advertências:

• Somente x86_64 é suportado
• O código recompilado não é compatível com CET

Dependências

• Llvm/llvmsharp
• Remilir
• Souper
• ASMRESOLVER
• Rios

Observe que Dna é atualmente baseado no LLVM 17.

Prédio

Dna não será construído para fora da caixa. Patches personalizados para remilhar e Souper eram necessários para que isso se baseasse no Windows. Se você deseja trabalhar no DNA, abra um problema ou envie um e -mail para [email protected] . Em algum momento, posso publicar etapas adequadas de construção, mas não tenho garantias.