bzip2: verificando descobertas binárias despojadas em relação a uma construção simbolizada
Alvo: bzip2 1.0.8 compilado com gcc -O2 e despojado, Linux x86-64
Autor / atribuição: CassieFox23
Data de revisão da fonte:
Rever estado: Fontes revisadas; os testes do autor não são executados de forma independente.
A questão
Como uma função pode ser encontrada a partir de uma string de saída e seus relacionamentos de chamada verificados?
O que REA fez
REA 6.4.0 e Ghidra localizam uma função de uma string, listam chamadores e destinatários e retornam Evidence rotulados como observed/derived. O autor verifica separadamente uma compilação não removida da mesma fonte com código-fonte, nm e objdump.
Resultados relatados pelo autor
O autor relata ter descoberto a descompactação com o chamador 1 e os chamados 24 correspondentes à construção de referência. Etapas de construção, registros MCP cortados e duas classes de respostas de erro são públicas.
Limitações e reivindicações não verificadas
Um programa, configuração de compilação e função, sem comparação de ferramentas. As bordas 24 são chamadas diretas resolvidas pelo provedor, não um gráfico de tempo de execução completo. O script completo do cliente não é público; o arquivo possui um hash gravado, mas nenhuma verificação de assinatura. Este catálogo não foi executado novamente.
O que aprender
Construa a verdade básica a partir de uma construção simbolizada correspondente e separe observações, inferências e verificações de referência.
Evidência de uso de REA na fonte
REA's function, one caller and 24 callees all matched an unstripped build and the source.A formatação do trecho é simplificada. Leia a fonte original para o contexto completo.
Fontes originais
Resumo editorial independente. O crédito pertence aos autores originais. O software alvo, os instaladores e a saída completa do descompilador não são redistribuídos aqui.