Static Driver Tools
PFD/SDV Clean - SDV Roletypes in Samples and Shipping Drivers
In parallel to the Annotation effort (detailed in this post), other members on our team were focused...
Author: mfourre Date: 06/26/2009
Example of how the Annotations in WDM.H and OACR catch a bug on the developer desktop (PFD/SDV "Clean" 2 of 6)
Suppose you have code that acquires a spinlock and then attempts to wait before releasing that...
Author: mfourre Date: 06/12/2009
PFD and SDV Clean: Improving the Quality of Headers and Samples in the WDK and Windows 7 (Part 1 of 6)
Overview: With the Windows 7 development process drawing to a close and the product slated to hit...
Author: mfourre Date: 06/12/2009
Make Static Driver Verifier More Efficient: Add a Preset Filter to PFD/OACR Defect Viewer
The Static Driver Tools team ships two products in the WDK, PREfast for Drivers, and Static Driver...
Author: mfourre Date: 05/07/2009
Annotating for __success()
__success() is an annotation that hs been around for "a little while", but isn't widely known about....
Author: mfourre Date: 11/06/2008
PFD Annotations - They're just comments, really.
As someone that has done development work, I know the joy experiecned when asked to better comment...
Author: mfourre Date: 09/09/2008
PREfast for Drivers and IRQL Levels
IRQL levels can sometimes be a tricky thing to get right, especially if you’re new to drivers and...
Author: Jon Hagen Date: 05/05/2008
Welcome to the Static Driver Tools Blog!
Welcome to the Static Driver Tools blog! This is a blog that was created by our team to inform the...
Author: Jon Hagen Date: 04/09/2008