Implementando Testes de Fuzzing em CI/CD com AFL++

Visão Geral

AFL++ (American Fuzzy Lop Plus Plus) é um fork mantido pela comunidade do AFL que oferece testes de fuzzing de ponta guiados por cobertura para descobrir vulnerabilidades em aplicações compiladas. O AFL++ usa algoritmos genéticos para mutar entradas, rastreando a cobertura de código para encontrar novos caminhos de execução que acionam falhas, travamentos e comportamento indefinido. Em ambientes de CI/CD, o AFL++ pode ser integrado para testar continuamente parsers, manipuladores de protocolo, processadores de formato de arquivo e qualquer código que lide com entradas não confiáveis. O AFL++ suporta modo persistente para fuzzing de alta velocidade (até 100.000+ execuções por segundo), mutadores personalizados, modo QEMU para fuzzing apenas de binários e CmpLog/RedQueen para extração automática de dicionário.

Quando Usar

• Ao implantar ou configurar a implementação de testes de fuzzing em cicd com capacidades aflplusplus em seu ambiente
• Ao estabelecer controles de segurança alinhados aos requisitos de conformidade
• Ao construir ou melhorar a arquitetura de segurança para este domínio
• Ao realizar avaliações de segurança que exigem esta implementação

Pré-requisitos

• Runners de CI baseados em Linux (o AFL++ não suporta Windows nativamente)
• Toolchain de compilador GCC ou Clang
• AFL++ instalado (apt install aflplusplus ou compilado a partir do código-fonte)
• Aplicação alvo com funções de harness isolando o processamento de entrada
• Corpus de sementes de amostras de entrada válidas

Conceitos Principais

Testes de Fuzzing Guiados por Cobertura

O AFL++ instrumenta o binário alvo em tempo de compilação (ou via QEMU/Frida para alvos apenas de binários) para rastrear quais caminhos de código cada entrada exercita. Quando uma entrada mutada aciona um novo caminho de código, ela é salva no corpus para mutação adicional. Esse loop de feedback permite que o AFL++ explore sistematicamente o espaço de estado do programa.

Modos de Instrumentação

Modo Persistente

O modo persistente evita a sobrecarga de fork, realizando fuzzing dentro de um loop:

#include <unistd.h>

__AFL_FUZZ_INIT();

int main() {
    __AFL_INIT();
    unsigned char *buf = __AFL_FUZZ_TESTCASE_BUF;

    while (__AFL_LOOP(10000)) {
        int len = __AFL_FUZZ_TESTCASE_LEN;
        // Process buf[0..len-1]
        parse_input(buf, len);
    }
    return 0;
}

Fluxo de Trabalho

Etapa 1 --- Construir o Harness de Fuzzing

Crie um harness que alimente a entrada do AFL++ para a função alvo:

// fuzz_harness.c
#include <stdio.h>
#include <stdlib.h>
#include <string.h>
#include "target_parser.h"

__AFL_FUZZ_INIT();

int main() {
    __AFL_INIT();
    unsigned char *buf = __AFL_FUZZ_TESTCASE_BUF;

    while (__AFL_LOOP(10000)) {
        int len = __AFL_FUZZ_TESTCASE_LEN;
        if (len < 4) continue;

        // Reset state between iterations
        parser_context_t ctx;
        parser_init(&ctx);
        parser_process(&ctx, buf, len);
        parser_cleanup(&ctx);
    }
    return 0;
}

Etapa 2 --- Compilar com Instrumentação AFL++

# Standard instrumentation
export CC=afl-clang-fast
export CXX=afl-clang-fast++

# Enable AddressSanitizer for better crash detection
export AFL_USE_ASAN=1

# Build the target with instrumentation
$CC -o fuzz_harness fuzz_harness.c -ltarget_parser -fsanitize=address

# Build a CmpLog binary for better coverage
$CC -o fuzz_harness_cmplog fuzz_harness.c -ltarget_parser \
  -fsanitize=address -DCMPLOG

Etapa 3 --- Preparar o Corpus de Sementes

mkdir -p corpus/
# Add valid input samples
cp test_inputs/* corpus/
# Minimize the corpus
afl-cmin -i corpus/ -o corpus_min/ -- ./fuzz_harness @@
# Further minimize individual inputs
mkdir -p corpus_tmin/
for f in corpus_min/*; do
    afl-tmin -i "$f" -o "corpus_tmin/$(basename $f)" -- ./fuzz_harness @@
done

Etapa 4 --- Configurar a Integração CI/CD

GitHub Actions:

name: Fuzz Testing
on:
  push:
    branches: [main]
  schedule:
    - cron: '0 2 * * *'  # Fuzzing noturno

jobs:
  fuzz:
    runs-on: ubuntu-latest
    timeout-minutes: 120
    steps:
      - uses: actions/checkout@v4

      - name: Instalar AFL++
        run: |
          sudo apt-get update
          sudo apt-get install -y aflplusplus

      - name: Restaurar cache do corpus

…