Static Driver Tools

Static Analysis for Drivers Best Practices: Declare Entry Points of Your Driver Through Role Types – This Will Prepare It for Static Driver Verifier

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

PFD Annotations - They're just comments, really.

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

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