PREfast for Drivers Examples
This section provides several examples of the operation of PREfast for Drivers (PFD) and demonstrates strategies for verifying the result, distinguishing actual from false-positive results, and correcting the errors that PFD detects. .The examples here show the standalone version of PFD, but the analysis applies whether OACR or standalone PFD is involved.
Several of these examples use the sample code files that are included in PREfast for Drivers in the \tools\pfd\samples subdirectory of the WDK.
Build date: 5/3/2011