RE: [NtDev] Driver Verifier Usage

NTDEV
1

  1. I believe driver verifier will work with any driver you can load in 2000.
    I have seen a few posts here about it being used to test legacy drivers.

  2. You run/start driver verifier from the target. the WinDbg hosts !verifier
    command, when it works does not start verifier on the target, it simply
    displays verifier information, when it works. However, even with out the
    !verifier command working, there is a wealth of information that is
    presented when the system crashes.

  3. Verifier help is reached from within WinDbg’s online help. The DDK also
    has some good information on verifier and gflags.

Gary G. Little
Staff Engineer
Broadband Storage, Inc.
xxxxx@Broadstor.com
xxxxx@inland.net

-----Original Message-----
From: Miguel Monteiro [mailto:xxxxx@criticalsoftware.com]
Sent: Thursday, June 07, 2001 3:08 AM
To: NT Developers Interest List
Subject: [ntdev] Driver Verifier Usage

Hi,
I would like to try using Driver Verifier (Win2K DDK/dev. environment),
but because I haven’t done this yet I would mostly appreciate if someone
could give me some quick tips, namely:

  1. May I use Driver Verifier (DV) to test *any* kind of Device Driver
    (e.g. “legacy” kernel-mode device drivers), or is it limited to specific
    driver “flavours” (NDIS, WDM…)?

  2. As I understand it, DV runs from the development machine (where the
    DDK and its tools are); wouldn’t it be correct to test the driver in the
    target machine, instead? Thus, do I a) Copy verifier.exe to the target
    and
    run DV from there or b) Do I have to install my driver in the
    development
    machine :frowning: to test it? This, of course, assumes I would be using DV to
    test “finished”, ready-for-beta-testing drivers (this option seems a bit
    “dangerous”, doesn’t it?..). Hopefully, there will be a c) “I’m totally
    missing the point here” option. :slight_smile:

  3. Finally, the reason why I’m posting the above couple of questions is
    simply because I can’t find the verifier.hlp file (although I’m positive
    the
    DDK is correctly and fully installed, as everything else works fine)…
    :frowning: Ooops.

Thank’s in advance,

Miguel Monteiro
xxxxx@criticalsoftware.com
www.criticalsoftware.com

?Humour and love are God’s answers
to Human weaknesses?

You are currently subscribed to ntdev as: xxxxx@broadstor.com
To unsubscribe send a blank email to leave-ntdev-$subst(‘Recip.MemberIDChar’)@lists.osr.com

You are currently subscribed to ntdev as: $subst(‘Recip.EmailAddr’)
To unsubscribe send a blank email to leave-ntdev-$subst(‘Recip.MemberIDChar’)@lists.osr.com