Developing Drivers with the Windows Driver Foundation (Pro Developer)
Overview
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.
| 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 |
| Dispatch_routines.h | %wdk%\tools\sdv\osmodel\wdf |
| Sample drivers | |
| Osrusbfx2 | %wdk%\src\kmdf\osrusbfx2 |
| KMDF fail drivers | %wdk%\tools\sdv\samples\fail_drivers\kmdf |
| WDM fail drivers | %wdk%\tools\sdv\samples\fail_drivers\wdm |
| WDK documentation | |
| Static Driver Verifier | http://go.microsoft.com/fwlink/?LinkId=80084 |
| Other | |
| "Static Driver Verifier" on the WHDC Web site | http://go.microsoft.com/fwlink/?LinkId=80082 |
| Microsoft Research: SLAM | http://research.microsoft.com/slam |
Категории