Hi, when clicking on Driver > Launch Static Driver Verifier in VS, I get a prompt saying the following:
SDV only operates on non-debug configurations. Please select a non-debug configuration and try launching SDV again.
The problem is that the Release configuration is chosen. How does SDV determine a debug configuration is in use - does it go through the configuration properties. If yes, which properties are those, maybe there’s a property that specifies invalid value.
Other than that I tried running sdv in command-line to see whether that would produce any meaninful errors and did the following to setup the SDV environment:
cd /d “C:\Users\user\mydriver”
set VCTargetsPath=C:\Program Files (x86)\MSBuild\Microsoft.Cpp\v4.0\V120\
set WDKCONTENTROOT_SDV=C:\Program Files (x86)\Windows Kits\8.1\
set PLATFORM_SDV=x64
set TARGETNAME_SDV=MyDriver
set CONFIGURATION_SDV=DriverRelease
set USEDEBUGLIBRARIES_SDV=false
set MSBuildProjectFile_SDV=MyDriver.vcxproj
set DRIVERTYPE_SDV=WDM
staticdv /clean
You must set a WDK build environment correctly before starting SDV.
Does anybody know if some other environment variable needs to be set to satisfy the WDK build environment as is the error when running “staticdv /clean” ?