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