May, 2009

Posts

| |

|

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

Posted over 3 years ago

by Andrew Mikesell
- 1 Comments
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...
Static Driver Tools

Make Static Driver Verifier More Efficient: Add a Preset Filter to PFD/OACR Defect Viewer

Posted over 3 years ago

by Michael Fourre
- 2 Comments
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...