Microsoft готовит два инструмента проверки исходного кода программных драйверов под Windows.

PreFast for Drivers и Static Driver Verifier предназначены для поиска типичных ошибок в коде драйверов, первый из них - пользовательских драйверов и драйверов уровня ядра, второй - только уровня ядра. Вторые бета-версии продуктов были недавно представлены на конференции Windows Hardware Engineering в Сиэтле.

По мнению разработчиков, новые инструменты помогут создавать более надежные и безопасные драйверы. В частности, они должны исправлять уязвимости для проникновения в систему руткитов (ПО, повышающего привилегии в системе и прячущего вредоносную активность).

PreFast for Drivers и Static Driver Verifier предназначены для драйверов под Windows 2000, ХР и Vista. Они входят в состав Microsoft's Windows Driver Development kit.