次の方法で共有


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...

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

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...

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....

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...

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...

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...

Date: 04/09/2008