Определение того, поддерживает ли статический драйвер или библиотеку

  • Статья

Static Driver Verifier (SDV) полностью поддерживает драйверы и библиотеки WDM, KMDF, NDIS и Storport, а также ограниченную поддержку других драйверов. Чтобы определить, правильно ли поддерживается и настроен драйвер или библиотека, ознакомьтесь с требованиями, описанными в этом разделе.

Требования к драйверу или библиотеке

Вы можете запустить полный набор правил в средстве анализа SDV, если драйвер или библиотека соответствуют одному из следующих условий и не связаны ни с одной из перечисленных ниже библиотек платформ классов.

  • У вас есть драйвер или библиотека WDM.
  • У вас есть драйвер или библиотека, которая ссылается на WdfLdr.lib или WdfDriverEntry.lib.
  • У вас есть драйвер или библиотека, которая ссылается на NDIS.lib.
  • У вас есть драйвер или библиотека, которая ссылается на Storport.lib.

Если у вас есть драйвер, который выходит за рамки указанных выше условий, SDV будет считать драйвер "универсальным" и выполнять ограниченный набор проверок.

Кроме того, обратите внимание, что библиотеки, проверенные SDV, должны быть библиотеками драйверов в режиме ядра, а не общими библиотеками C или C++.

Static Driver Verifier поддерживает драйвер или библиотеку, которая выполняет эти условия, даже если драйвер или библиотека ссылается на несколько служебных библиотек.

Кроме того, для выполнения анализа SDV требуется следующее:

  • Драйвер объявил по крайней мере одну точку входа с помощью объявлений типов ролей функции.
  • Драйвер правильно выполняет сборку и связывает его (в Visual Studio с помощью MSBuild).
  • Если драйвер или библиотека использует KMDF, драйвер или библиотека использует KDMF версии 1.7 или более поздней.
  • Если драйвер или библиотека использует NDIS, он использует NDIS версии 6.0, 6.1, 6.20, 6.30 или 6.40. Обратите внимание, что этот список может быть изменен.
  • Драйвер не объединяет модели драйверов (например, KMDF с WDM или KMDF и NDIS).

Существуют и другие факторы, влияющие на качество и точность результатов статического анализа. К ним относятся:

  • Использование служебных библиотек, которые не были обработаны SDV.
  • Размер драйвера, особенно если он содержит более 100 000 строк кода.
  • Использование функций языка, таких как виртуальные функции и арифметика указателя.

Требования к проекту Visual Studio

Чтобы использовать средство проверки статических драйверов, проект Visual Studio должен иметь следующие параметры:

  • UseDebugLibraries = false
  • Platform = Win32 (x86) или x64

Библиотеки платформы классов

Если у вас есть драйвер или библиотека WDM и вы хотите запустить SDV, драйвер или библиотека не должны ссылаться на одну из следующих библиотек платформы классов.

1394bus.lib fltMgr.lib rdbss.lib usbrpm.lib
acpi.lib FsDepends.lib RNDISMP.lib videoprt.lib
armppm.lib fwpkclnt.lib RNDISMP6.lib vwififlt.lib
ataport.lib hidclass.lib RNDISMPX.lib watchdog.lib
ath_hwpci.lib hidparse.lib rpcxdr.lib win32k.lib
athhal.lib hwpolicy.lib Saha.lib winhv.lib
battc.lib ipmidrv_hrmcust.lib scsiport.lib WMBBCLASS.lib
BdaSup.lib irt30.lib smclib.lib
bdl.lib irt30.lib Soft1667FaultInjectionLimpetPool.lib
btampm.lib ks.lib SoftFCKernel.lib
bthport.lib ksecdd.lib SoftFCLimpetPool.lib
BTHPRINT.lib ksmartcpu.lib SoftSATAKernel.lib
classpnp.lib mcd.lib SoftStorageLimpetPool.lib
clfs.lib mpio.lib srvnet.lib
cng.lib mrxsmb.lib storvsp.lib
crashdmp.lib msnfsflt.lib stream.lib
csr_vfp_avdtp.lib msrpc.lib tape.lib
diskdump.lib mup.lib tbs.lib
drmk.lib ndistapi.lib tcpip.lib
dumpata.lib netio.lib tdi.lib
dumpfve.lib ntasn1k.lib termd.lib
dxapi.lib parallel.lib USBCAMD.lib
dxg.lib pciidex.lib USBCAMD2.lib
dxgkrnl.lib portcls.lib usbd.lib
dxgmms1.lib protogon.lib usbport.lib

Служебные библиотеки

Средство проверки статических драйверов поддерживает драйвер или библиотеку, которая имеет ссылки на несколько служебных библиотек, если драйвер или библиотека соответствуют требованиям драйвера или библиотеки.

Имя файла
BufferOverflowK.lib
hal.lib
ntoskrnl.lib
ntstrsafe.lib
rtlver.lib
sehupd.lib
wdm.lib
wmilib.lib
wdmsec.lib

Средства проверки статических драйверов и библиотеки Microsoft Class Framework

Если вы работаете с драйверами WDM, которые должны ссылаться на библиотеку платформы классов в списке библиотек платформы классов , драйвер завершится ошибкой условия статического средства проверки драйверов. Однако существуют некоторые универсальные правила, которые по-прежнему можно использовать, например правило NullCheck для выполнения некоторого уровня статической проверки.