PREFAST_ROOT

Use the PREFAST_ROOT environment variable to specify the root directory used by PREfast, a static code analysis tool. If this environment variable is set, PREfast will be available during the build process.

In the Microsoft Windows Driver Kit (WDK), the default value in all build environments is as follows:

%WDKROOT%\bin\x86\prefast

For this default value, %WDKROOT% is the root installation directory of the WDK.

To run PREfast, you need to pass the Build utility command as the argument list to the PREfast command. For example:

prefast build [Switches] [Directories] 

PREfast is not automatically started by the Build utility, and the PREFAST_ROOT variable setting has no effect if PREfast is not invoked. To disable PREfast and prevent it from running in a WDK build environment, delete the PREFAST_ROOT environment variable and remove the PREfast directory from the default path. This is the same as using the no_prefast parameter when you create a build environment window with the SetEnv.bat batch file.

 

 

Send comments about this topic to Microsoft

Build date: 5/3/2011