RHEL Engineering is moving the tracking of its product development work on RHEL 6 through RHEL 9 to Red Hat Jira (issues.redhat.com). If you're a Red Hat customer, please continue to file support cases via the Red Hat customer portal. If you're not, please head to the "RHEL project" in Red Hat Jira and file new tickets here. Individual Bugzilla bugs in the statuses "NEW", "ASSIGNED", and "POST" are being migrated throughout September 2023. Bugs of Red Hat partners with an assigned Engineering Partner Manager (EPM) are migrated in late September as per pre-agreed dates. Bugs against components "kernel", "kernel-rt", and "kpatch" are only migrated if still in "NEW" or "ASSIGNED". If you cannot log in to RH Jira, please consult article #7032570. That failing, please send an e-mail to the RH Jira admins at rh-issues@redhat.com to troubleshoot your issue as a user management inquiry. The email creates a ServiceNow ticket with Red Hat. Individual Bugzilla bugs that are migrated will be moved to status "CLOSED", resolution "MIGRATED", and set with "MigratedToJIRA" in "Keywords". The link to the successor Jira issue will be found under "Links", have a little "two-footprint" icon next to it, and direct you to the "RHEL project" in Red Hat Jira (issue links are of type "https://issues.redhat.com/browse/RHEL-XXXX", where "X" is a digit). This same link will be available in a blue banner at the top of the page informing you that that bug has been migrated.
Bug 1826352 - [Microsoft driver security checklist] Use kernel syncronization delay fuzzing in the virtio-win tests with Driver Verifier
Summary: [Microsoft driver security checklist] Use kernel syncronization delay fuzzing...
Keywords:
Status: CLOSED ERRATA
Alias: None
Product: Red Hat Enterprise Linux 8
Classification: Red Hat
Component: virtio-win
Version: 8.3
Hardware: Unspecified
OS: Windows
unspecified
medium
Target Milestone: rc
: 8.0
Assignee: Amnon Ilan
QA Contact: lijin
URL:
Whiteboard:
Depends On:
Blocks: 1826331
TreeView+ depends on / blocked
 
Reported: 2020-04-21 13:43 UTC by Yvugenfi@redhat.com
Modified: 2021-03-03 09:07 UTC (History)
6 users (show)

Fixed In Version:
Doc Type: If docs needed, set a value
Doc Text:
Clone Of:
Environment:
Last Closed: 2020-07-21 15:32:52 UTC
Type: Enhancement
Target Upstream Version:
Embargoed:
pm-rhel: mirror+

Attachments (Terms of Use)


Links
System ID Private Priority Status Summary Last Updated
Red Hat Product Errata RHEA-2020:3055 0 None None None 2020-07-21 15:33:27 UTC

Comment 5 lijin 2020-04-28 03:19:18 UTC 
All virtio-win test cases have been modified now,following is one of our case step:
For Windows guest, Enable viorng.sys verifier in guest:
# verifier.exe /standard /driver viorng.sys (run as administrator ,Win8/Win2012)    
# verifier /flags 0x00800000 0x00000001 0x00000002 0x00000008 0x00000010  0x00000020  0x00000080 0x00000100 0x00000800 0x00020000 /driver viorng.sys (Win8.1+)
Then reboot the guest and recheck
#verifier /querysettings

So change status to verified
Comment 6 lijin 2020-04-29 09:17:21 UTC 
Just find that "verifier /flags 0x00800000 0x00000001 0x00000002 0x00000008 0x00000010 0x00000020 0x00000080 0x00000100 0x00000800 0x00020000 /driver MyDriver.sys" does not work on win8.1 and win2012r2 guests, only the first flag can be set, others will be ignored.

There is another way to enable the expected flags:
set related verifier flags by verifier GUI, and query setting in cmd.
Then we can get an equivalent flag value that matched with all flags we want and we can use that flag directly in verifier setting command.

For win10, win2016, win2019, the flag value is 0x009209bb:
Verifier Flags: 0x009209bb

  Standard Flags:

    [X] 0x00000001 Special pool.
    [X] 0x00000002 Force IRQL checking.
    [X] 0x00000008 Pool tracking.
    [X] 0x00000010 I/O verification.
    [X] 0x00000020 Deadlock detection.
    [X] 0x00000080 DMA checking.
    [X] 0x00000100 Security checks.
    [X] 0x00000800 Miscellaneous checks.
    [X] 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).
    [ ] 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.

  Boot Mode:

    Persistent

  Rules:

    All rules are using default settings

  Extensions:

    wdm: rules.default

  Verified Drivers:

    vioscsi.sys

For win8.1, win2012R2, the flag value is 0x008209bb:
Enabled Flags Value: 0x008209BB

Standard Flags:
  [X] (0x00000001) Special pool
  [X] (0x00000002) Force IRQL checking
  [X] (0x00000008) Pool tracking
  [X] (0x00000010) I/O verification
  [X] (0x00000020) Deadlock detection
  [X] (0x00000080) DMA checking
  [X] (0x00000100) Security checks
  [X] (0x00000800) Miscellaneous checks
  [X] (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
  [ ] (0x00040000) Systematic low resources simulation
  [ ] (0x00080000) DDI compliance checking (additional)
  [ ] (0x00200000) NDIS/WIFI verification
  [X] (0x00800000) Kernel synchronization delay fuzzing
  [ ] (0x01000000) VM switch verification

  [X] Indicates flag is enabled

Bootmode:
  Persistent

Rules:
  All rules using default settings.

Verified drivers:
  viorng.sys


So QE will use following command in our test:
For win7,win8,win2012:     verifier /standard /driver viorng.sys
For win8.1,win2012R2:      verifier /flags 0x008209BB /driver viorng.sys
For win10,win2016,win2019: verifier /flags 0x009209BB /driver viorng.sys
Comment 12 errata-xmlrpc 2020-07-21 15:32:52 UTC 
Since the problem described in this bug report should be
resolved in a recent advisory, it has been closed with a
resolution of ERRATA.

For information on the advisory, and where to find the updated
files, follow the link below.

If the solution does not work for you, open a new bug report.

https://access.redhat.com/errata/RHEA-2020:3055
Note You need to log in before you can comment on or make changes to this bug.