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


Использова­ние драйверов устройств операционной системы Linux для сравнения ин­струментов статической верификации.

Авторы

Мандрыкин М.У., Мутилин В.С., Новиков Е.М. и др.

Аннотация

Система верификации Linux Driver Verification предназначена для статического анализа исходного кода драйверов устройств операционной системы Linux. В настоящей статье описывается архитектура системы верификации, включая средства  интеграции сторонних инструментов статической верификации Си программ. Рассматриваются характеристики исходного кода драйверов Linux, интересные с точки зрения алгоритмов верификации, приводятся примеры проведения сравнительного анализа различных инструментов верификации, а также различных версий и конфигураций одного инструмента.

Полный текст статьи в формате pdf

Издание

Программирование. Выпуск 5.

Научная группа

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

Все публикации за 2012 год Все публикации