Static Driver Verifier on Windows Sample Project RRS feed

All replies

  • It is possible that the flaws it has are only detected by the SDV in Visual Studio 2019.  Each version of SDV has become more refined.

    SDV takes a long time to run.  Are you sure it finished?

    Tim Roberts | Driver MVP Emeritus | Providenza & Boekelheide, Inc.

    Monday, March 30, 2020 7:53 PM
  • Thanks Tim.

    There was an issue with the WDK version. I installed visual studio 2019 and upgraded WDK to the latest version. Now i am seeing that rules are executed and defects are found as mentioned in the MSDN page. But one thing i couldn't understand, it reports that 4 defects are found but no tests are executed. Is this correct?


    Tuesday, March 31, 2020 12:51 AM