search

microsoft / Windows-driver-samples

This repo contains driver samples prepared for use with Microsoft Visual Studio and the Windows Driver Kit (WDK). It contains both Universal Windows Driver and desktop-only driver samples.
Microsoft Public License
6.92k stars 4.93k forks source link

Smart Card Driver and Static Driver Verifier (SDV) #436

Open dwkaiser opened 4 years ago

dwkaiser commented 4 years ago

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.

shokoman22 commented 4 years ago

so what the solution? Have a similar problem with drivers. For quick identification and updating of drivers, I use Driver Easy, it has a free version with good functionality. You can read the description here for more details https://thinkmobiles.com/blog/best-free-driver-updater/. It is rather convenient and fast. Perhaps, to fix your problem, the experience of others will help you.