Chapter 23: PREfast for Drivers

Overview

PREfast for Drivers is a static analysis tool that can detect certain kinds of source code errors that are not easily found by the typical compiler or by conventional testing. PRE fast is an essential tool for enhancing the quality of both WDF and WDM drivers.

This chapter provides an overview of PREfast, with details about how to run PREfast and how to analyze PREfast results. It also provides information about source code annotations that help PREfast to analyze code more effectively. The examples shown in this chapter are derived from WDM drivers; however, most PREfast rules and annotations also apply to WDF drivers.

For this chapter, you need …	From …
Tools and files
PREfast.exe	%wdk%\tools\pfd
SpecStrings.h	%wdk%\inc\api
Driverspecs.h	%wdk%\inc\ddk
Samples
Examples that trigger various PREfast warnings	%wdk%\tools\pfd\samples
Driver source code that illustrates driver-specific rules	%wdk%\tools\pfd\samples\fail_drivers
WDK documentation
PREfast for Drivers	http://go.microsoft.com/fwlink/?LinkId=80079