Realizando Fuzzing com AFL++

Visão Geral

AFL++ é um fork mantido pela comunidade do American Fuzzy Lop (AFL) que fornece fuzzing guiado por cobertura para binários compilados. Ele instrumenta alvos no tempo de compilação ou via modo QEMU/Unicorn para fuzzing apenas de binários, e então muta corpora de entrada para descobrir novos caminhos de código. AFL++ inclui agendamento avançado (MOpt, rare), mutadores personalizados, CMPLOG para resolução de comparação de entrada para estado, e modo persistente para fuzzing de alto rendimento.

Quando Usar

• Ao realizar avaliações de segurança que envolvam fuzzing com aflplusplus
• Ao seguir procedimentos de resposta a incidentes para eventos de segurança relacionados
• Ao realizar testes de segurança agendados ou atividades de auditoria
• Ao validar controles de segurança por meio de testes práticos

Pré-requisitos

• AFL++ instalado (apt install afl++ ou compilado a partir do código fonte)
• Código fonte do binário alvo (para instrumentação no tempo de compilação) ou modo QEMU para apenas binário
• Corpus inicial de sementes com entradas válidas para o formato alvo
• Sistema Linux com /proc/sys/kernel/core_pattern configurado

Passos

1. Instrumente o binário alvo com afl-cc ou afl-clang-fast
2. Prepare o diretório do corpus de sementes com entradas mínimas válidas
3. Minimize o corpus com afl-cmin para remover sementes redundantes
4. Execute afl-fuzz com flags apropriadas (-i input -o output)
5. Monitore o progresso do fuzzing via afl-whatsup e estatísticas da UI
6. Triagem de crashes com minimização afl-tmin e análise CASR/GDB
7. Relate crashes únicos com passos de reprodução

Saída Esperada

+++ Findings +++
  unique crashes: 12
  unique hangs: 3
  last crash: 00:02:15 ago
+++ Coverage +++
  map density: 4.23% / 8.41%
  paths found: 1847
  exec speed: 2145/sec