PeAR: A Static Binary Rewriting Framework for Binary-Only Fuzzing
O artigo apresenta o PeAR, um framework de reescrita estática de binários que demonstra que a instrumentação estática é uma alternativa prática e eficaz à instrumentação dinâmica para fuzzing de apenas binários, alcançando alta compatibilidade com o alvo, ganhos significativos de desempenho através do modo persistente e cobertura comparável a métodos baseados em compilador.
Artigo original sob licença CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). Esta é uma explicação gerada por IA do artigo abaixo. Não foi escrita nem endossada pelos autores. Para precisão técnica, consulte o artigo original. Ler aviso legal completo
Imagine que você é um segurança tentando encontrar armadilhas escondidas em um edifício misterioso e trancado (um software). Você não consegue ver as plantas (o código-fonte), então tem que adivinhar onde as armadilhas podem estar jogando milhares de objetos diferentes contra as portas e paredes para ver o que quebra. Esse processo é chamado de fuzzing.
Para saber se você encontrou um novo ponto para testar, você precisa de uma maneira de rastrear quais partes do edifício você já visitou. Normalmente, o arquiteto do edifício (o compilador) instala pequenos sensores (instrumentação) para contar seus passos. Mas, como você não tem as plantas, você mesmo tem que instalar esses sensores depois que o edifício já foi construído.
Existem duas maneiras principais de fazer isso:
- O Método "Ao Vivo" (Dinâmico): Você contrata uma equipe de trabalhadores para ficarem dentro do edifício enquanto você joga objetos. Eles observam tudo e anotam. É muito preciso, mas os trabalhadores são lentos e atrapalham, tornando todo o processo muito mais devagar.
- O Método "Pré-Jogo" (Estático): Você entra de fininho antes do edifício abrir, modifica as paredes para incluir seus sensores e depois o tranca. Isso é muito mais rápido porque os sensores fazem parte do próprio edifício. No entanto, é arriscado. Se você errar a estrutura da parede, pode quebrar o edifício ou perder as armadilhas completamente.
Por muito tempo, as pessoas pensaram que o método "Ao Vivo" era a única escolha segura porque o método "Pré-Jogo" era considerado muito desajeitado e propenso a erros.
Conheça o PeAR: O Mestre dos Reformadores
Os autores deste artigo construíram uma nova ferramenta chamada PeAR. Pense no PeAR como uma equipe de reforma altamente qualificada e automatizada que pode entrar de fininho em um edifício terminado, mapear as paredes com precisão e instalar sensores de alta tecnologia sem quebrar nada.
Eles queriam provar que o método "Pré-Jogo" não é mais apenas uma aposta arriscada; pode ser tão bom quanto o método "Ao Vivo", mas muito mais rápido.
O Que Torna o PeAR Especial?
A maioria das equipes de reforma anteriores (ferramentas antigas) só conseguia instalar sensores básicos. Elas não consegiam lidar com os truques sofisticados que os guardas de segurança modernos usam para trabalhar mais rápido. O PeAR, no entanto, é construído sobre um novo e confiável sistema de mapeamento (chamado GTIRB) que permite realizar três truques avançados:
O Loop "Sem Reset" (Modo Persistente):
- O Jeito Antigo: Toda vez que você joga uma pedra, a equipe tem que te expulsar, reconstruir a porta e deixar você entrar novamente. Isso leva uma eternidade.
- O Jeito PeAR: O PeAR instala um corredor especial onde você pode jogar 1.000 pedras seguidas sem nunca sair do edifício. Você apenas reseta a sala entre os lançamentos. Isso torna o processo incrivelmente rápido.
O Truque de "Pular a Configuração" (Inicialização Diferida):
- O Jeito Antigo: Alguns edifícios têm uma verificação de segurança longa e entediante na entrada (carregando bibliotecas, verificando configurações) antes de você poder começar a jogar pedras.
- O Jeito PeAR: O PeAR abre o edifício e permite que você comece a jogar pedras depois que a configuração entediante está concluída. Você pula a fila de espera todas as vezes.
A "Passagem Telepática" (Fuzzing de Memória Compartilhada):
- O Jeito Antigo: Você tem que escrever sua pedra em um papel, caminhar até uma caixa de correio, colocá-la lá dentro, e o edifício tem que abrir a caixa de correio para ler. Isso é lento.
- O Jeito PeAR: O PeAR instala um tubo direto entre a sua mão e a mão do edifício. Você passa a pedra diretamente pelo ar. Sem papel, sem caixa de correio, sem espera.
O Grande Testo
Os autores colocaram o PeAR à prova contra outras ferramentas usando um famoso circuito de obstáculos chamado FuzzBench, que contém 25 programas de software complexos. Eles realizaram os testes durante um período massivo (equivalente a 4,25 anos de processamento contínuo de computador).
Aqui está o que eles descobriram:
- Confiabilidade: O PeAR modificou com sucesso 22 de 25 edifícios. Isso é tão bom quanto as melhores outras ferramentas "Pré-Jogo" e prova que você não precisa quebrar o edifício para instalar os sensores.
- Velocidade: Quando o PeAR usou seus truques sofisticados (o loop "Sem Reset" e a "Passagem Telepática"), ele se tornou 4 vezes mais rápido do que sua versão básica. Foi significativamente mais rápido do que qualquer outra ferramenta "Pré-Jogo".
- Precisão: Mesmo sendo mais rápido, o PeAR não perdeu nenhuma armadilha. Ele encontrou tantos caminhos ocultos (cobertura de código) quanto o método lento "Ao Vivo" e as ferramentas que utilizam as plantas.
A Conclusão
O artigo conclui que o método "Pré-Jogo" (Instrumentação de Binário Estático) não é mais uma opção arriscada, lenta ou imprecisa. Com a ferramenta certa, como o PeAR, você pode modificar softwares fechados para encontrar bugs de forma rápida e precisa, sem precisar das plantas originais. O PeAR prova que você pode ter a velocidade de uma equipe de reforma com a precisão de um observador ao vivo.
Afogado em artigos na sua área?
Receba digests diários dos artigos mais recentes que correspondam às suas palavras-chave de pesquisa — com resumos técnicos, no seu idioma.