Verifier Flags: 0x00b009a8

  Standard Flags:

    [ ] 0x00000001 Special pool.
    [ ] 0x00000002 Force IRQL checking.
    [X] 0x00000008 Pool tracking.
    [ ] 0x00000010 I/O verification.
    [X] 0x00000020 Deadlock detection.
    [X] 0x00000080 DMA checking.
    [X] 0x00000100 Security checks.
    [X] 0x00000800 Miscellaneous checks.
    [ ] 0x00020000 DDI compliance checking.

  Additional Flags:

    [ ] 0x00000004 Randomized low resources simulation.
    [ ] 0x00000200 Force pending I/O requests.
    [ ] 0x00000400 IRP logging.
    [ ] 0x00002000 Invariant MDL checking for stack.
    [ ] 0x00004000 Invariant MDL checking for driver.
    [ ] 0x00008000 Power framework delay fuzzing.
    [ ] 0x00010000 Port/miniport interface checking.
    [ ] 0x00040000 Systematic low resources simulation.
    [ ] 0x00080000 DDI compliance checking (additional).
    [X] 0x00200000 NDIS/WIFI verification.
    [X] 0x00800000 Kernel synchronization delay fuzzing.
    [ ] 0x01000000 VM switch verification.
    [ ] 0x02000000 Code integrity checks.

  Internal Flags:

    [X] 0x00100000 Extended Verifier flags (internal).

    [X] Indicates flag is enabled.

  Active Rule Classes:

    4  - Pool tracking.
    6  - Deadlock detection.
    8  - DMA checking.
    9  - Security checks.
    12 - Miscellaneous checks.
    21 - Extended Verifier flags (internal).
    22 - NDIS/WIFI verification.
    24 - Kernel synchronization delay fuzzing.
    34 - WDF verfication.
    37 - File system filter verification.

  Boot Mode:

    Persistent

  Rules:

    All rules are using default settings

  Extensions:

    ndis: rules.default

  Verified Drivers:

    globmerger.sys
    npcap.sys
    vigembus.sys
    steamxbox.sys
    tapnordvpn.sys
    ovpn-dco.sys
    nvlddmkm.sys
    ucmcxucsinvppc.sys
    teedriverw10x64.sys
    rt640x64.sys
    ialpss2_gpio2_tgl.sys
    steamstreamingmicrophone.sys
    steamstreamingspeakers.sys
    nvvad64v.sys
    uvhid.sys
    nvhda64v.sys
    rtkvhd64.sys
    rtkbtfilter.sys
    dump_dumpstorport.sys
    dump_stornvme.sys
    dump_dumpfve.sys
    ndivert.sys
    googledrivefs31931.sys
    rtcore64.sys
    wireguard.sys
    rtcoremini64.sys
    norddivert1064.sys
    ndis.sys
    netadaptercx.sys
    mbbcx.sys
    wificx.sys
    wdiwifi.sys
