微软正在准备两款工具，帮助硬件厂商开发更稳定和更安全的Windows 驱动程序，这将有助于减少系统崩溃的次数。
PreFast for Drivers 和Static Driver Verifier是二款源代码分析工具，能够发现驱动程序源代码中的常见错误。微软在上周的WinHEC会议上发布了这二款工具的β2 版本。
在WinHEC上接受采访时，微软Static Driver Verifier的一名开发人员乔恩表示，我们希望驱动程序的可靠性和性能会有所提高。由于编写驱动程序异常复杂，这样的工具有需求。我们正在开发这二款工具，避免蓝屏的出现。
有问题的驱动程序能够引发许多问题。特别是网卡、硬盘等设备的驱动程序，由于以内核模式运行，其中的错误更能够导致蓝屏；用户模式的驱动程序通常无需重启系统。
微软PreFast for Drivers 的开发人员特里说，内核模式的驱动程序具有最高的权限，能够影响到操作系统中的任何部分。利用分析工具检查代码有助于排除许多缺陷，为用户减少许多麻烦。
特里说，驱动程序中没有bug ，就意味着用户没有安全漏洞。
特里表示，微软将对Windows Vista 驱动程序进行检查。这二款工具也能够用于Windows 2000之后的其它版本的Windows 操作系统。
据微软称，Static Driver Verifier面向内核模式的驱动程序，PreFast for Drivers 则适用于所有类型的驱动程序。
这二款工具是微软Windows 驱动程序开发工具包的一部分。
