June, 2009

Posts

| |

|

Static Driver Tools

PFD/SDV Clean - SDV Roletypes in Samples and Shipping Drivers

Posted over 3 years ago

by Michael Fourre
- 0 Comments
In parallel to the Annotation effort (detailed in this post ), other members on our team were focused on enabling better checking of Inbox and Sample drivers by adding role types for use with the drivers we were scanning with Static Driver Verifier (SDV...
Static Driver Tools

Example of how the Annotations in WDM.H and OACR catch a bug on the developer desktop (PFD/SDV "Clean" 2 of 6)

Posted over 3 years ago

by Michael Fourre
- 0 Comments
Suppose you have code that acquires a spinlock and then attempts to wait before releasing that spinlock without specifying a timeout value: NTSTATUS MyDPCRoutineRunningAtDispatchLevel() { // A whole bunch of code KeAcquireSpinLock(&myLock...
Static Driver Tools

PFD and SDV Clean: Improving the Quality of Headers and Samples in the WDK and Windows 7 (Part 1 of 6)

Posted over 3 years ago

by Michael Fourre
- 1 Comments
Overview: With the Windows 7 development process drawing to a close and the product slated to hit the shelves on October 22nd, we’re starting to look back and review the work our team has done. One of our work items – a major one – was a quality-driven...