PREfast for Drivers Annotations

PREfast for Drivers (PFD) supports annotations in source code. The annotated code significantly enhances the ability of PFD to detect potential bugs while reducing the number of false positives reported.

This section contains the following topics:

Overview of Annotations for Drivers

How to Add Annotations to a Driver

General-Purpose Annotations

Driver Annotations

 

 

Send comments about this topic to Microsoft

Build date: 5/3/2011