Методика фаззинга системных вызовов ядра Linux с применением больших языковых моделей
DOI: 10.21293/1818-0442-2024-27-3-85-91
DOI: 10.21293/1818-0442-2024-27-3-85-91
Аннотация: Актуальной проблемой организации фаззинг-тестирования ядра Linux является создание спецификаций системных вызовов – специальных декларативных описаний, которые впоследствии используются фаззером для генерации последовательностей системных вызовов. По большей части это является ручной работой, требующей глубо-ких знаний, занимающей много времени и не исключающей фактор ошибки. В настоящее время проводятся исследования, направленные на автоматизацию процесса создания таких спецификаций. В работе рассмотрены под-ходы к генерации спецификаций системных вызовов KSG, SyzDescribe и KernelGPT, которые зарекомендовали себя при обнаружении уникальных сбоев ядра в процессе фаззинг-тестирования. Предложена методика организации фаззинг-тестирования ядра Linux, содержащая в том числе этап автоматической генерации спецификаций системных вызовов на основе больших языковых моделей (Large Language Model – LLM).
Ключевые слова: операционная система, ядро Linux, фаззинг, Syzkaller, спецификации системных вызовов, LLM
Сведения о финансировании: Исследование выполнено при финансовой поддержке Минцифры России (грант ИБ). Проект № 26/23-К.
Библиография статьи:
Теплюк П. А. Методика фаззинга системных вызовов ядра Linux с применением больших языковых моделей / П. А. Теплюк, А. Г. Якунин // Доклады Томского государственного университета систем управления и радиоэлектроники. – 2024. – Т. 27, № 3. – С. 85–91. DOI: 10.21293/1818-0442-2024-27-3-85-91
Авторы и правообладатели: