chaujohnthan
Tue Jun 27 06:09:30 CDT 2006
SDV places a driver in a hostile environment and systematically tests all
code paths by looking for violations of WDM usage rules. The symbolic
execution makes very few assumptions about the state of the operating system
or the initial state of the driver, so it can exercise situations that are
difficult to exercise by traditional testing.
Thanks~
"Don Burn" <burn@stopspam.acm.org> дÈëÏûÏ¢ÐÂÎÅ:ejGJtdFmGHA.1812@TK2MSFTNGP04.phx.gbl...
> SDV stands for Static Driver Verifier, this is an advanced tool that does
> compile time analysis of potential problems in a Windows Device Driver.
> See
http://www.microsoft.com/whdc/devtools/tools/SDV.mspx for more
> information.
>
>
> --
> Don Burn (MVP, Windows DDK)
> Windows 2k/XP/2k3 Filesystem and Driver Consulting
>
http://www.windrvr.com
> Remove StopSpam from the email to reply
>
>
>
> "chaujohnthan" <chaujohnthan@hotmail.com> wrote in message
> news:O5PNVbFmGHA.508@TK2MSFTNGP03.phx.gbl...
>> what's that SDV? :-)
>>
>>
>>
>>
>>
>>
>> "Axter" <google@axter.com>
>> ??????:1151071157.986680.121830@r2g2000cwb.googlegroups.com...
>>> Don Burn wrote:
>>>> If had been part of an early WDF beta, but is no longer in the WDF. To
>>>> get
>>>> it now you need to get the WDK beta and install the WDK. This will
>>>> also get
>>>> you the latest PreFast which has a number of powerful extensions over
>>>> the
>>>> currently shipping version.
>>>>
>>>>
>>>> --
>>>> Don Burn (MVP, Windows DDK)
>>>> Windows 2k/XP/2k3 Filesystem and Driver Consulting
>>>>
http://www.windrvr.com
>>>> Remove StopSpam from the email to reply
>>>>
>>>>
>>>>
>>>> "Axter" <google@axter.com> wrote in message
>>>> news:1151064136.787187.135680@b68g2000cwa.googlegroups.com...
>>>> > I've been trying to find where I can't get the SDV from, which is
>>>> > described in the following link as being part of WDF:
>>>> >
http://www.microsoft.com/whdc/driver/wdf/Drv-VerTools.mspx
>>>> >
>>>> > I just finished downloading WDF, and installled it, but I still can't
>>>> > find the SDV tool.
>>>> >
>>>> > I did find a cab file (tool_sdv.cab), in the 5484.4_WDK_B2.iso which
>>>> > came with WDF iso, but there's no assoicated install program with it,
>>>> > and when I extracted the files listed in this cab file I found no
>>>> > executables, or instructions for this tool.
>>>> >
>>>> > Does anyone know where I can get this tool form?
>>>> >
>>> Disregard my last post.
>>> I took a second look, and now realized the WDF beta installs in a 5384
>>> sub directory.
>>> The non-beta version installs in a WDF sub directory, which is what I
>>> would expect from the beta version.
>>> For anyone else looking for this, you'll find the SDV in the following
>>> directory if you install WDF beta:
>>> C:\WINDDK\5384\tools\sdv
>>>
>>
>>
>
>