Static Driver Verifier Options File

The Static Driver Verifier Options File, sdv-default.xml, stores the default option settings for Static Driver Verifier. This file is created in the \tools\sdv\data\wdm and \tools\sdv\data\wdf subdirectories of the WDK. You can edit the file to change the option settings and copy it to any driver's sources directory.

This section includes:

Global and Local Options Files

Option File Fields

Option File Examples