none
Smart Card Driver and Static Driver Verifier (SDV) RRS feed

  • Question

  • What results should be expected when running Static Driver Verifier (SDV) against the Smart Card Sample Driver (SmartCrd.sln)?

    I am working with Visual Studio 2017 and the Windows 10 WDK. Both this sample driver and my current proprietary smart card driver pass the Microsoft Code Analysis (VS2017) tests without errors or warnings. To avoid the test timeout result I have attempted configuring the test to use a single processor thread and maximum time and memory settings.

    I have reproduced the Main UI Page from SDV below:

    image

    (1) Should I expect that no Driver Entry Points were found? Why is this?
    (2) What is the root cause for the Timeout result? Can other configuration options be made to prevent the timeout?

    I am seeing similar results in my proprietary Smart Card Driver; i.e., No Entry Points Identified and all test rule sets time out.

    Thank you.

    Thursday, October 31, 2019 6:19 PM