Microsoft: инструменты проверки кода драйверов

30/05/2006 11:19

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.
Источник