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
Send comments about this topic to Microsoft
Build date: 5/3/2011