Институт системного программирования им. В.П. Иванникова РАН


Инструменты для динамического анализа модулей и драйверов ядра Linux

Андрей Цыварев. Начало семинара - 5 февраля 2013 г.

Самым распространенным способом проверки качества драйверов Linux является тестирование. Однако за счет работы только в пользовательском пространстве могут быть проверены не все свойства драйвера. Не вмешиваясь в работу драйвера на уровне ядра невозможно проверить, например, освобождает ли драйвер все используемые им ресурсы, и правильно ли драйвер работает в случае системных сбоев.

В докладе будут рассмотрены существующие инструменты, применимые для проверок тех свойств драйверов, которые связаны с пространством ядра. Будет представлена платформа KEDR, которая позволяет перехватывать операции модуля ядра, и на этой основе реализовывать различные инструменты. Некоторые из этих инструментов будут также представлены в докладе. Их преимуществами перед аналогами являются расширяемость, маленькое потребление системных ресурсов и работа "из коробки" на большинстве современных дистрибутивов Linux (нет необходимости перекомпилировать ядро).

С презентацией доклада можно ознакомиться здесь.

Семинар группы

Технологии программирования

Перейти к списку семинаров ИСП РАН