Angora

Angora — это фаззер, основанный на мутациях и управляемый покрытием. Основная цель Angora — увеличить покрытие ветвей, решая ограничения пути без символьного выполнения.

Опубликованная работа

Arxiv: Angora: Efficient Fuzzing by Principled Search, S&P 2018.

Сборка Angora

Требования к сборке

• Linux-amd64 (протестировано на Ubuntu 16.04/18.04 и Debian Buster)
• Rust stable (>= 1.31) можно получить с помощью rustup
• LLVM 4.0.0 - 12.0.1: запустите PREFIX=/path-to-install ./build/install_llvm.sh.

Переменные окружения

Добавьте следующие записи в файл конфигурации оболочки (~/.bashrc, ~/.zshrc).

export PATH=/path-to-clang/bin:$PATH
export LD_LIBRARY_PATH=/path-to-clang/lib:$LD_LIBRARY_PATH

Компиляция фаззера

Скрипт сборки установит большинство зависимостей и настроит среду выполнения.

./build/build.sh

Конфигурация системы

Как и в AFL, необходимо отключить системные аварийные дампы (core dumps).

echo core | sudo tee /proc/sys/kernel/core_pattern

Тест

Проверьте, что Angora собрался успешно.

cd /path-to-angora/tests
./test.sh mini

Запуск Angora

Сборка целевой программы

Angora компилирует программу в два отдельных бинарных файла, каждый со своей инструментацией. На примере программ autoconf ниже приведены необходимые шаги.

# Use the instrumenting compilers
CC=/path/to/angora/bin/angora-clang \
CXX=/path/to/angora/bin/angora-clang++ \
LD=/path/to/angora/bin/angora-clang \
PREFIX=/path/to/target/directory \
./configure --disable-shared

# Build with taint tracking support 
USE_TRACK=1 make -j
make install

# Save the compiled target binary into a new directory
# and rename it with .taint postfix, such as uniq.taint

# Build with light instrumentation support
make clean
USE_FAST=1 make -j
make install

# Save the compiled binary into the directory previously
# created and rename it with .fast postfix, such as uniq.fast

Если не удалось собрать таким способом, попробуйте wllvm и gllvm, описанные в разделе Сборка целевой программы.

Кроме того, мы реализовали taint-анализ с помощью libdft64 вместо DFSan (Использование libdft64 для taint-отслеживания).

Фаззинг

./angora_fuzzer -i input -o output -t path/to/taint/program -- path/to/fast/program [argv]

Для получения дополнительной информации обратитесь к документации в каталоге docs/.

• Обзор Angora
• Сборка целевой программы
• Запуск Angora
• Использование libdft64 для taint-отслеживания
• Пример — фаззинг файла программы с помощью Angora
• Запуск Angora на LAVA
• Использование точек атаки
• Использование
• Файлы конфигурации
• Переменные окружения
• Терминология интерфейса
• Поиск и устранение неисправностей
• Связанные работы