Note
Access to this page requires authorization. You can try signing in or changing directories.
Access to this page requires authorization. You can try changing directories.
In parallel to the Annotation effort (detailed in this post), other members on our team were focused...
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...
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...
Date: 06/12/2009
The Static Driver Tools team ships two products in the WDK, PREfast for Drivers, and Static Driver...
Date: 05/07/2009
__success() is an annotation that hs been around for "a little while", but isn't widely known about....
Date: 11/06/2008
As someone that has done development work, I know the joy experiecned when asked to better comment...
Date: 09/09/2008
IRQL levels can sometimes be a tricky thing to get right, especially if you’re new to drivers and...
Date: 05/05/2008
Welcome to the Static Driver Tools blog! This is a blog that was created by our team to inform the...
Date: 04/09/2008