ПОВЫШЕНИЕ ЭФФЕКТИВНОСТИ ФАЗЗИНГА С ПОМОЩЬЮ АВТОМАТИЧЕСКОЙ ГЕНЕРАЦИИ ФАЗЗИНГ-ОБЕРТОК

Фаззинг остается наиболее эффективным методом выявления уязвимостей в программном обеспечении. В контексте тестирования методом фаззинга фаззер передает различные входные данные фаззинг-оберткам, которые предназначены для всестороннего тестирования критических участков клиентского кода. Различные исследования были посвящены оптимизации и разработке продвинутых фаззеров, таких как AFL++, libFuzzer, Honggfuzz, syzkaller, ISP-Fuzzer, что значительно повысило эффективность обнаружения уязвимостей в широко используемых программах и библиотеках. Тем не менее достижение более высокого покрытия требует улучшения как качества, так и количества фаззинг-оберток. В крупных программных проектах и библиотеках, содержащих множество пользовательских функций и типов данных, ручное создание фаззинг-оберток требует значительных временных и трудовых затрат. Эта проблема подчеркивает необходимость автоматизированных методов не только для генерации фаззинг-оберток, но и для упрощения их исполнения и анализа результатов. В данной статье мы представляем подход к улучшению фаззинга за счет автоматизации генерации фаззинг-оберток на основе статического анализа исходного кода библиотек. Предложенный метод включает несколько этапов: анализ структур исходного кода для корректной генерации вызовов функций и фаззинг-оберток, сопоставление входных данных фаззера с соответствующими параметрами функций, обработка результатов компиляции для фаззинг-оберток, а также автоматический сбор и анализ результатов исполнения. Полученные результаты в экспериментах с библиотеками на C/C++ превосходят ряд аналогичных методов, используемых в данной области.

фаззинг, статический анализ, генерация кода, анализ потоков данных