Chapter 24. Static Driver Verifier
Static Driver Verifier—SDV—is a static analysis tool designed to automatically inspect C code in a Windows driver at compile time, targeting violations of KMDF and WDM usage rules. This chapter describes how SDV works and provides insight into using SDV to verify KMDF drivers.
In this chapter:
How SDV Works 825
How to Annotate KMDF Driver Source Code for SDV 832
How to Run SDV 834
Example: Walkthrough SDV Analysis of Fail_Driver3 855
KMDF Callback Function Role Types for SDV 860
For this chapter, you need … | From … |
|---|---|
Tools and files | |
SDV in the WDK | %wdk%\tools\sdv (Windows Server Longhorn Beta 3 or later version) |
Wdf.h header file | %wdk%\inc\wdf\kmdf ... |
Get Developing Drivers with the Windows® Driver Foundation now with the O’Reilly learning platform.
O’Reilly members experience books, live events, courses curated by job role, and more from O’Reilly and nearly 200 top publishers.
