Фаззинг драйверов KasperskyOS

KasperskyOS — это микроядерная операционная система. Драйверы KasperskyOS работают в пользовательском пространстве. Они написаны на языке программирования Си, активно взаимодействуют с аппаратным обеспечением и микроядром, а также используются другими компонентами операционной системы в процессе их работы. Обеспечение высокого качества драйверов, в том числе с помощью фаззинг-тестирования, — актуальная задача, а их особенности требуют адаптации существующих методов и инструментов фаззинга.

В докладе предложу подход к фаззингу драйверов KasperskyOS на основе движка libFuzzer. Покажу, каким образом достигаются достаточно сложные состояния, получается высокий процент покрытия кода и находятся те ошибки, которые затруднительно обнаружить с помощью других подходов к обеспечению качества.