none
SDV and Microsoft Class Framework Libraries RRS feed

  • Question

  • "You can run the full set of rules in the SDV analysis tool if your driver or library meets one of following conditions:

    Case 1:  You have a WDM driver or library, and the driver or library does not link to a class framework (that is, a Microsoft-provided library). For more information, see Class framework libraries."

    The above information comes from the article, "Determining if Static Driver Verifier supports your driver or library", located at the following URL:  https://docs.microsoft.com/en-us/windows-hardware/drivers/devtest/determining-if-static-driver-verifier-supports-your-driver-or-library

    I am working with WDM drivers that must link to the smclib.lib class framework.  This library is cited in the "Class framework libraries" list included in the above reference.  Therefore, the drivers fail the SDV condition cited above.

    Is there a way to work around this limitation of the SDV?

    Has the SDV been open sourced so that this issue may be investigated further?

    Will driver signing require SDV compliance (as opposed to "just making an attempt to run SDV") in the near future?

    Thank you for the feedback.

    Thursday, September 19, 2019 10:00 PM

Answers

  • Hi Dave,

    Unfortunately, this is a limitation to SDV that does not have a work-around.  However, there are some generic rules that can still be used such as the nullcheck rule (https://docs.microsoft.com/en-us/windows-hardware/drivers/devtest/nullcheck) to perform some level of static verification.

    SDV has not been open sourced and there is no plan to do so at this moment.

    To certify for Windows Server, SDV must be run and all "must-fix" errors must be fixed (https://docs.microsoft.com/en-us/windows-hardware/test/hlk/testref/windows-server-must-fix-errors)

    For Windows Desktop, there is no requirement to run SDV at this time.

    Wednesday, October 2, 2019 5:42 PM