To run PREfast for Drivers, use the following procedure.
1. Open a WDK build environment window.
To open a build environment window, use the follow menu path:
Start | All Programs | Windows Driver Kits | WDK_Version | Build Enviroment | Operating System | Build Environment.
2. Navigate to the driver's sources directory.
This is the directory that contains the sources file for the driver. If you do not have a driver to test, consider running PREfast for Drivers on one of the sample code files packaged with the tool. To run PREfast for Drivers on its sample files, navigate to the /tools/pfd/samples subdirectory of the WDK.
Eg：>cd D:/WinDDK/7600.16385.0/tools/pfd/samples/fail_drivers/ fail_driver1
3. Start PREfast for Drivers. To start PREfast for Drivers, at the command prompt, type prefast followed your standard build command. For example:
prefast build –cZ
但是在我机器上有错误：
D:/WinDDK/7600.16385.0/tools/pfd/samples/fail_drivers/fail_driver1>prefast build -cZ
输入错误: 没有文件扩展“.js”的脚本引擎。
解决方法：
修改注册表就可以了
运行-》regedit
进入.js目录下，双击第一个文件，并将数值数据修改为JSFile