Prev: filter driver for an USB modem
Next: WDF or WDM
From: Alastair Donaldson Alastair on 9 Feb 2010 06:36
Hi

I'm trying to run Static Driver Verifier, which comes with the WDK, on one
of the samples.

I am following the instructions in "Quick Start: Using SDV to Find Defects
in Drivers", which is part of the WDK help.

I am using the driver in tools\sdv\samples\kmdf\fail_driver1\driver

When I try to run SDV on the driver's library files, via the "staticdv /lib"
command, I get the following error:

C:\WinDDK\7600.16385.0\tools\sdv\samples\fail_drivers\kmdf\fail_driver1\driver>s
taticdv /lib
---------------------------------------------------------------------
Microsoft (R) Windows (R) Static Driver Verifier Version 2.0.372.0
Copyright (C) Microsoft Corporation. All rights reserved.
---------------------------------------------------------------------
The call to "Build" failed.
1>NMAKE : fatal error U1073: don't know how to make
'c:\winddk\7600.16385.0\tool
s\sdv\samples\fail_drivers\kmdf\fail_driver1\driver\..\library\objfre_wxp_x86\i3
86\fail_library1.lib'
SDV could not build this library.

It looks like something is going wrong behind the scenes. Can anyone help
me diagnose this problem?
From: Onur on 10 Feb 2010 19:39
Hi,

The driver calls some library functions. Prior to verifing the driver, SDV
needs to verify the library. You'll need to run SDV (using staticdv /lib
comamnd) on the library mentioned in the failure message,
c:\winddk\7600.16385.0\tools\sdv\samples\fail_drivers\kmdf\fail_driver1\library.


http://msdn.microsoft.com/en-us/library/aa469093.aspx has more details on
processing the library.

"Alastair Donaldson" wrote:

> Hi
>
> I'm trying to run Static Driver Verifier, which comes with the WDK, on one
> of the samples.
>
> I am following the instructions in "Quick Start: Using SDV to Find Defects
> in Drivers", which is part of the WDK help.
>
> I am using the driver in tools\sdv\samples\kmdf\fail_driver1\driver
>
> When I try to run SDV on the driver's library files, via the "staticdv /lib"
> command, I get the following error:
>
> C:\WinDDK\7600.16385.0\tools\sdv\samples\fail_drivers\kmdf\fail_driver1\driver>s
> taticdv /lib
> ---------------------------------------------------------------------
> Microsoft (R) Windows (R) Static Driver Verifier Version 2.0.372.0
> Copyright (C) Microsoft Corporation. All rights reserved.
> ---------------------------------------------------------------------
> The call to "Build" failed.
> 1>NMAKE : fatal error U1073: don't know how to make
> 'c:\winddk\7600.16385.0\tool
> s\sdv\samples\fail_drivers\kmdf\fail_driver1\driver\..\library\objfre_wxp_x86\i3
> 86\fail_library1.lib'
> SDV could not build this library.
>
> It looks like something is going wrong behind the scenes. Can anyone help
> me diagnose this problem?
 | 
Pages: 1
Prev: filter driver for an USB modem
Next: WDF or WDM