README.htm: Overview of SDV RDK

Static Driver Verifier (SDV) is a compile-time static verification tool, included in the Windows Driver Kit (WDK). 

The SDV Rule Development Kit (RDK) is an extension to SDV that allows you to adapt SDV to support additional frameworks (or APIs) and write custom SLIC rules for this framework.  Please request the RDK via an e-mail to rdk_req@microsoft.com

• Getting Started
• Documentation
• Installation Instructions

Getting Started

• Obtain and install WDK and RDK (See section Installation Instructions beneath).
• Understand SDV: See staticdv.chm, in particular sections "Static Driver Verifier Concepts" and the "Verifying Fail_Driver1".
• Try the RDK Custom Framework. See RDK.pdf’s "Walk Through: fail_driver1".
• Read the rest of RDK.pdf and SLIC.pdf and start experimenting on your own!

Documentation

After installation the following documents are available in the Start -> All Programs -> Microsoft Static Driver Verifier folder:

• README.htm: This file.
• RDK.pdf: RDK Documentation.  This is the primary document supporting RDK development; however it does not cover the details of the SLIC language, or the basic operation of SDV.  These topics are covered by SLIC.docx and staticdv.chm (see beneath).
• SLIC.pdf: SLIC Documentation.  Syntax and semantics of SLIC, the rule specification language of SDV.
• staticdv.chm: SDV Documentation.  This is the documentation provided with the regular version of Static Driver Verifier.  It does not cover the RDK extensions.  This document is also included in the Windows Driver Kit Documentation.
• License.rtf: License Agreement.  This license is also presented during download and installation.

Installation Instructions

• Install the WDK.
  • What: The WDK contains compiler, build environment, and supporting tools that is required to use SDV.
  • Recommend default selection of Features and Location.
  • Notice: The WDK will be installed to "%SystemDrive%\WinDDK\6000".
• Install the RDK.
  • What: The RDK contains a customized version of SDV that can be used for rule development.
  • Recommend default selection of Features and Location.
  • Notice: The RDK will be installed to "%ProgramFiles%\Microsoft Static Driver Verifier" in an x86 based operating system, or to "%ProgramFiles(x86)%\Microsoft Static Driver Verifier" in an x64 based operating system.
• Customize the WDK to use RDK version of SDV:
  • What: The WDK already has SDV available (in the "tools\sdv" folder), but this WDK version of SDV is not useable for RDK work.  The following steps will change the WDK build environment to use the RDK version of SDV.
  • Edit the WDK "setenv.bat" script using the following command:
    • notepad %SystemDrive%\WinDDK\6000\bin\setenv.bat
  • Replace each occurrence (there should be two occurrences) of:
    • set SDV=%BASEDIR%\tools\sdv
    • set PATH=%SDV%\bin;%PATH%
  • With:
    • REM set SDV=%BASEDIR%\tools\sdv
    • REM set PATH=%SDV%\bin;%PATH%
  • Save your changes to this file and exit.
  • Open a "Windows Vista and Windows Server Longhorn x86 Free Build Environment".
  • Validate that variables %SDV% points to and %PATH% contains the RDK version of SDV:
    • C:\WinDDK\6000>echo %SDV%
    • C:\Program Files (x86)\Microsoft Static Driver Verifier\
    • C:\WinDDK\6000>where staticdv
    • C:\Program Files (x86)\Microsoft Static Driver Verifier\bin\staticdv.exe
    • (Exact output depends on your architecture and system drive letter)
• The RDK is now ready for use!