Note
Access to this page requires authorization. You can try signing in or changing directories.
Access to this page requires authorization. You can try changing directories.
PREfast build command switches allow you to customize the PREfast build.
To use a PREfast build command switch, specify the switch before the build command. The following example specifies the /log and /update switches.
prefast /log=MyLogfile.txt /update nmake <nmake-arguments>
Switches are case insensitive and can be preceded by either a slash (/) or a hyphen (-).
The following PREfast switches are available for use with your build command.
| Switch | Description |
|---|---|
? |
Opens a quick syntax help file. |
HELP |
Opens a quick syntax help file. |
FILTERPRESET=filtername |
Specifies using a filter preset. |
LOG=logfile |
Specifies a location for the defect log file.
If nothing is specified, a default location is used. |
STACKHOGTHRESHOLD=nnnn |
Enables you to specify the stack usage threshold above which the Precedence defect module flags a function as a stack hog. |
You can also combine PREfast build command switches with PREfast commands. For example, the following command-line specifies that MyLogfile.txt should be displayed at the console.
prefast /log=MyLogfile.txt LIST
For more information, see PREfast Commands.
See Also
PREfast Warning Message Reference
Send Feedback on this topic to the authors