Rivalry2

HTML Diff

1 added 1 removed

Original 2026-01-01

Modified 2026-03-10

1 Теги: реверс-инжиниринг кода, безопасность, фаззинг, тестирование приложений, статический анализ, динамический анализ, анализатор, american fuzzy lop, afl, security-oriented fuzzing, coverity, pvs studio и clang static analyzer

2 Многие знают, а некоторые с успехом используют в процессе разработкистатический анализ кода. Это эффективный, довольно быстрый и достаточно удобный способ контроля качества разрабатываемого кода. Кроме того, на этапе тестирования можно попробовать идинамический анализ. Про отличия между этими методиками написано очень много, но в нашем случае достаточно лишь вспомнить, что статический анализ осуществляется без выполнения кода (к примеру, во время компиляции), а динамический анализ - в процессе выполнения.

3 Когда анализируют компилируемый код с точки зрения безопасности, то под динамическим анализом зачастую подразумеваетсяфаззинг- методику тестирования, во время которой на вход программы подаются случайные или невалидные данные.Преимущество фаззинга- отсутствие ложных срабатываний, которые достаточно часто встречаются во время применения статических анализаторов.

4 <h2>American Fuzzy Lop (AFL)</h2>

5 - В последнее время широкую популярность приобрёл фаззер от Michal Zalewski -<a>American Fuzzy Lop</a>(AFL). Это связано с его эффективностью, а также тем, что он отличается инструментацией кода на этапе компиляции, производительностью и ориентированностью на практическое применение. ВAmerican Fuzzy Lopне используются SMT solver'ы, поэтому AFL должен быть менее требовательным к ресурсам, следовательно, работать быстрее.

5 + В последнее время широкую популярность приобрёл фаззер от Michal Zalewski -<a>American Fuzzy Lop</a>(AFL). Это связано с его эффективностью, а также тем, что он отличается инст��ументацией кода на этапе компиляции, производительностью и ориентированностью на практическое применение. ВAmerican Fuzzy Lopне используются SMT solver'ы, поэтому AFL должен быть менее требовательным к ресурсам, следовательно, работать быстрее.

6 Давайте посмотрим, как можно использовать этот инструмент и проведём эксперимент, сравнив результаты работы AFL с результатами ряда инструментов для статического анализа.

7 Итак, для начала надо понять, работает ли фаззер на практике, а также определиться с тем, что будем фаззить. Для проверки возьмём заведомо уязвимую версию библиотеки<a>libcurl</a>- 7.34.0. Эта версия имеет уязвимость, описанную в<a>CVE-2015-3145</a>(речь идёт об уязвимости в функции sanitize_cookie_path()).

8 Эта функция обрабатывает входные данныенекорректно. Если вы передадите в неё путь, состоящий из нуль-байта либо двойной кавычки, библиотека назначит нуль-байт по отрицательному указателю массиваnew_path, следовательно, испортит память на куче.

9 В первую очередь давайте проверим, каким образом на данную уязвимость реагируют статические инструменты анализа:PVS Studio,Coverity,Clang Static Analyzer.

10 <h3>Clang Static Analyzer</h3>

11 В Clang делаем так:

12 $ cd curl $ mkdir build-clang $ cd build-clang $ cmake -DCMAKE_C_COMPILER=/path/to/clang/ccc-analyzer -DCMAKE_CXX_COMPILER=/path/to/clang/ccc-analyzer -DCMAKE_BUILD_TYPE=release ../ $ scan-build -o html makeДалее в директории html видим результат анализа:

13 <h3>Coverity</h3>

14 Теперь Coverity. Он перехватывает вызовы компилятора и запускался со следующими параметрами:

15 $ cov-analyze --dir cov --all --security --enable-constraint-fpp --enable-single-virtual --enable-fnptr --enable-callgraph-metrics -j 2 --inherit-taint-from-unions --override-worker-limit<h3>PVS Studio</h3>

16 Что касается PVS Studio, то тут требуется Windows. Однако в trial-версии имена проблемных файлов не показываются, но мы ведь уже знаем строку и тип ошибки, а значит, для бинарной оценки этого будет вполне достаточно.PVS Studioзапускался в режиме монитора, причём для простоты сборки задействовался скриптbuild-libcurl-windows. Ниже мы приводим не весь вывод PVS Studio:

17 Результат нашей работы следующий:никакой из статических анализаторов проблему не обнаружил!

18 Что же, давайте теперь попробуемзапустить процесс фаззинга. Но мы сделаем это в следующей части нашей статьи и подробно узнаем, как надо использоватьAmerican Fuzzy Lop для тестирования приложений. Следите за обновлениями блога!