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.
The feedback system for this content will be changing soon. Old comments will not be carried over. If content within a comment thread is important to you, please save a copy. For more information on the upcoming change, we invite you to read our blog post.