Chapter 24: Static Driver Verifier


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




Developing Drivers with the Microsoft Windows Driver Foundation
Developing Drivers with the Windows Driver Foundation (Pro Developer)
ISBN: 0735623740
EAN: 2147483647
Year: 2007
Pages: 224

Similar book on Amazon
Windows Internals, Part 1: Covering Windows Server 2008 R2 and Windows 7
Windows Internals, Part 1: Covering Windows Server 2008 R2 and Windows 7
Windowsu00ae Internals: Including Windows Server 2008 and Windows Vista, Fifth Edition (Pro Developer)
Windowsu00ae Internals: Including Windows Server 2008 and Windows Vista, Fifth Edition (Pro Developer)
Advanced Windows Debugging
Advanced Windows Debugging
The Windows 2000 Device Driver Book: A Guide for Programmers (2nd Edition)
The Windows 2000 Device Driver Book: A Guide for Programmers (2nd Edition)

flylib.com © 2008-2017.
If you may any questions please contact us: flylib@qtcs.net