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

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

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

Overview The Windows Driver Kit gives you access to static analysis tools: PREfast for Drivers (PFD) and Static Driver Verifier (SDV). The purpose of this article is to explain how to use PFD to validate that your driver correctly declares entry points...

The Static Driver Tools team ships two products in the WDK, PREfast for Drivers, and Static Driver Verifier (SDV). As such, we have a lot of interaction between the products and have emphasized using the light-weight tool (PFD) to help with some of best...

__success() is an annotation that hs been around for "a little while", but isn't widely known about. Admittedly, finding content about it on MSDN is difficult - that should change as we approach the release of Windows 7. Upon release, exposure to the...

As someone that has done development work, I know the joy experiecned when asked to better comment my own code after I’ve completed it. It works, I know what it does, and I would rather work on a different feature than go back and change something I’ve...

IRQL levels can sometimes be a tricky thing to get right, especially if you’re new to drivers and coming from user mode. Playing with IRQL levels, memory, structures… Mix them the wrong way and you bugcheck the box. What can really be painful is the process...

Welcome to the Static Driver Tools blog! This is a blog that was created by our team to inform the driver development community of upcoming features and changes to Static Driver Verifier (SDV) and PREfast for Drivers (PFD) . If you’re not familiar...