Методика фаззинга системных вызовов ядра Linux с применением больших языковых моделей

Аннотация: Актуальной проблемой организации фаззинг-тестирования ядра Linux является создание спецификаций систем-ных вызовов – специальных декларативных описаний, которые впоследствии используются фаззером для генера-ции последовательностей системных вызовов. По большей части это является ручной работой, требующей глубо-ких знаний, занимающей много времени и не исключающей фактор ошибки. В настоящее время проводятся ис-следования, направленные на автоматизацию процесса создания таких спецификаций. В работе рассмотрены под-ходы к генерации спецификаций системных вызовов KSG, SyzDescribe и KernelGPT, которые зарекомендовали себя при обнаружении уникальных сбоев ядра в процессе фаззинг-тестирования. Предложена методика организа-ции фаззинг-тестирования ядра Linux, содержащая в том числе этап автоматической генерации спецификаций си-стемных вызовов на основе больших языковых моделей (Large Language Model – LLM).

Ключевые слова: llm, спецификации системных вызовов, syzkaller, фаззинг, ядро linux, операционная система

Библиография статьи: Теплюк П. А. Методика фаззинга системных вызовов ядра Linux с применением больших языковых моделей / П. А. Теплюк, А. Г. Якунин // Доклады ТУСУР. – 2024. – Т. 27, № 3. – С. 85–91. DOI: 10.21293/1818-0442-2024-27-3-85-91