SyzAnalyzer: Инструмент анализа трудновоспроизводимых ошибок в ядре Linux


SyzAnalyzer: Инструмент анализа трудновоспроизводимых ошибок в ядре Linux

Никульшин П.А. (ИСП РАН, Москва, Россия; НИУ ВШЭ, Москва, Россия)
Дубич Е.В. (ИСП РАН, Москва, Россия; НИУ ВШЭ, Москва, Россия)
Хорошилов А.В. (ИСП РАН, Москва, Россия; НИУ ВШЭ, Москва, Россия)

Аннотация

В современном мире операционные системы, использующие ядро Linux, по праву занимают важное место, поскольку широко используются в самых разных сферах: от высоконагруженных серверных систем до бытовой техники. Ядро Linux активно разрабатывается, вследствие чего размер его кодовой базы превысил сорок миллионов строк, что, в свою очередь, не может не приводить к появлению внушительного количества ошибок и уязвимостей. Данный факт является угрозой для безопасности и стабильности работы систем на базе ядра Linux. Одним из широко распространенных средств обнаружения ошибок ядра Linux является фаззинг-тестирование, которое основано на генерации программ, выполняющих большое количество псевдослучайных системных вызовов. Наиболее популярным инструментом фаззинг-тестирования для операционных систем является Syzkaller. В случае выявления аварийных завершений ядра фаззер пытается сгенерировать так называемые программы-репродьюсеры, позволяющие воспроизвести обнаруженную ошибку, однако большое количество найденных ошибок является трудно воспроизводимыми. Syzkaller не имеет достаточного количества инструментов для автоматизации процесса отладки трудно воспроизводимых ошибок и поиска границ их воспроизведения. Это значительно уменьшает шанс того, что ошибка будет исследована и исправлена. В данной работе мы представляем инструмент SyzAnalyzer, который предназначен для автоматизации процесса анализа трудновоспроизводимых ошибок. Инструмент позволяет сократить усилия, необходимые для локализации таких проблем.

Ключевые слова

тестирование; фаззинг; ядро Linux.

Издание

Труды Института системного программирования РАН, том 38, вып. 6, часть 2, 2026, стр. 7-20.

ISSN 2220-6426 (Online), ISSN 2079-8156 (Print).

DOI: 10.15514/ISPRAS-2026-38(6)-22

Для цитирования

Никульшин П.А., Дубич Е.В., Хорошилов А.В. SyzAnalyzer: Инструмент анализа трудновоспроизводимых ошибок в ядре Linux. Труды Института системного программирования РАН, том 38, вып. 6, часть 2, 2026, стр. 7-20. DOI: 10.15514/ISPRAS-2026-38(6)-22.

Полный текст статьи в формате pdf Вернуться к содержанию тома