Hi,
I was following the MSDN document (https://msdn.microsoft.com/windows/hardware/drivers/develop/creating-a-log-file-for-static-driver-verifier) to run the Static verifier from VS2015 console.
My storage driver project has recently been migrated from VS2013 WDK8.1 to VS2015 WDK10.
The project builds fine when I build seperately. However, when I run the static verifier, the build fails with the following log.
After some analysis on the web I got to know that it is a path error (since returned error code is 3), but I don’t know how to fix it. Which path is referred here and in which file and what was the value expected.
staticdv.exe /check:default.sdv
Microsoft (R) Windows (R) Static Driver Verifier Version 4.0.1604.1
Copyright (C) Microsoft Corporation. All rights reserved.
SDV is building for
The call to “Build” failed.
SDV exit code: 3
SDV encountered errors when building the driver.
C:\Program Files (x86)\Windows Kits\10\build\windowsdriver.Sdv.targets(120,9): error MSB3073: The command “staticdv.
exe /check:default.sdv” exited with code 3.
Please help. Thanks.
Do you also have VS2013 on the system? I have found that SDV does not work
in the presence of older Visual Studio/WDK environments on the same system.
It is incredibly frustrating, since most of my clients are still building
with older environments so I need to have a large number of WDK’s on my
development system.
Don Burn
Windows Driver Consulting
Website: http://www.windrvr.com
-----Original Message-----
From: xxxxx@lists.osr.com
[mailto:xxxxx@lists.osr.com] On Behalf Of
xxxxx@gmail.com
Sent: Monday, April 24, 2017 10:12 AM
To: Windows System Software Devs Interest List
Subject: [ntdev] Static driver verifier build failed for HLK Test.
Hi,
I was following the MSDN document
(https://msdn.microsoft.com/windows/hardware/drivers/develop/creating-a-log-
file-for-static-driver-verifier) to run the Static verifier from VS2015
console.
My storage driver project has recently been migrated from VS2013 WDK8.1 to
VS2015 WDK10.
The project builds fine when I build seperately. However, when I run the
static verifier, the build fails with the following log.
After some analysis on the web I got to know that it is a path error (since
returned error code is 3), but I don’t know how to fix it. Which path is
referred here and in which file and what was the value expected.
staticdv.exe /check:default.sdv
---------------------------------------------------------------------
Microsoft (R) Windows (R) Static Driver Verifier Version 4.0.1604.1
Copyright (C) Microsoft Corporation. All rights reserved.
---------------------------------------------------------------------
SDV is building for
The call to “Build” failed.
SDV exit code: 3
SDV encountered errors when building the driver.
C:\Program Files (x86)\Windows
Kits\10\build\windowsdriver.Sdv.targets(120,9): error MSB3073: The command
“staticdv.
exe /check:default.sdv” exited with code 3.
Please help. Thanks.
—
NTDEV is sponsored by OSR
Visit the list online at:
http:
MONTHLY seminars on crash dump analysis, WDF, Windows internals and software
drivers!
Details at http:
To unsubscribe, visit the List Server section of OSR Online at
http:</http:></http:></http:>
Hi Don,
Thanks for replying.
I have two development systems. One with just VS2015+WDK10. And another one
with VS2015+WDK10+VS2013+WDK8.1.
SDV failed in both of these systems with the same error message and code 3.
On 24 April 2017 at 19:45, Don Burn wrote:
> Do you also have VS2013 on the system? I have found that SDV does not work
> in the presence of older Visual Studio/WDK environments on the same system.
> It is incredibly frustrating, since most of my clients are still building
> with older environments so I need to have a large number of WDK’s on my
> development system.
>
>
> Don Burn
> Windows Driver Consulting
> Website: http://www.windrvr.com
>
>
>
> -----Original Message-----
> From: xxxxx@lists.osr.com
> [mailto:xxxxx@lists.osr.com] On Behalf Of
> xxxxx@gmail.com
> Sent: Monday, April 24, 2017 10:12 AM
> To: Windows System Software Devs Interest List
> Subject: [ntdev] Static driver verifier build failed for HLK Test.
>
> Hi,
>
> I was following the MSDN document
> (https://msdn.microsoft.com/windows/hardware/drivers/
> develop/creating-a-log-
> file-for-static-driver-verifier) to run the Static verifier from VS2015
> console.
>
> My storage driver project has recently been migrated from VS2013 WDK8.1 to
> VS2015 WDK10.
>
> The project builds fine when I build seperately. However, when I run the
> static verifier, the build fails with the following log.
>
> After some analysis on the web I got to know that it is a path error (since
> returned error code is 3), but I don’t know how to fix it. Which path is
> referred here and in which file and what was the value expected.
>
>
>
> staticdv.exe /check:default.sdv
> ---------------------------------------------------------------------
> Microsoft (R) Windows (R) Static Driver Verifier Version 4.0.1604.1
> Copyright (C) Microsoft Corporation. All rights reserved.
> ---------------------------------------------------------------------
> SDV is building for
> The call to “Build” failed.
> SDV exit code: 3
> SDV encountered errors when building the driver.
> C:\Program Files (x86)\Windows
> Kits\10\build\windowsdriver.Sdv.targets(120,9): error MSB3073: The command
> “staticdv.
> exe /check:default.sdv” exited with code 3.
>
>
>
> Please help. Thanks.
>
> —
> NTDEV is sponsored by OSR
>
> Visit the list online at:
> http:
>
> MONTHLY seminars on crash dump analysis, WDF, Windows internals and
> software
> drivers!
> Details at http:
>
> To unsubscribe, visit the List Server section of OSR Online at
> http:
>
>
> —
> NTDEV is sponsored by OSR
>
> Visit the list online at: http:> showlists.cfm?list=ntdev>
>
> MONTHLY seminars on crash dump analysis, WDF, Windows internals and
> software drivers!
> Details at http:
>
> To unsubscribe, visit the List Server section of OSR Online at <
> http://www.osronline.com/page.cfm?name=ListServer>
>
–
*Utkal Sinha *
M.Tech (CS), NIT Rourkela
Website: www.utkalsinha.com http:</http:></http:></http:></http:></http:></http:>