A PHP Error was encountered

Severity: 8192

Message: mysql_escape_string(): This function is deprecated; use mysql_real_escape_string() instead.

Filename: mysql/mysql_driver.php

Line Number: 319

Архитектура Linux Driver Verification

Архитектура Linux Driver Verification


Рубрика: Новости Linux
Метки:
Просмотров: 2358

В статье "Архитектура Линукс Driver Verification 0" (PDF, 700 Кб) представлено описание применимости способа статического анализа кода для проверки корректности драйверов устройств для платформы Линукс. Представленный способ дает возможность выявить ошибки на основании анализа исходных текстов, без непосредственного исполнения кода. В отличие от традиционных методов тестирования статический разбор кода дает возможность проследить немедленно все пути исполнения утилиты, в частности, нечасто встречающиеся и трудно воспроизводимые при динамическом тестировании.

Проект Линукс Driver Verification является открытым и развивается при участии организации Линукс Foundation, Института системного программирования Отечественной Академии Наук (ИСП РАН) и Федерального агентства РФ по науке и инновациям. Наработки проекта распространяются в рамках лицензии Apache. Дополнительно подготовлен online-сервис для проверки драйверов. Перечень выявленных с помощью LDV проблем возможно поглядеть на данной странице 0.