Determinare se il driver statico verifica supporta il driver o la libreria

  • Articolo

Static Driver Verifier (SDV) supporta completamente WDM, KMDF, NDIS e librerie Storport e supporta solo altri driver. Per determinare se il driver o la libreria è supportato e configurato correttamente, leggere i requisiti descritti in questa sezione.

Requisiti del driver o della libreria

È possibile eseguire il set completo di regole nello strumento di analisi SDV se il driver o la libreria soddisfa una delle condizioni seguenti e non collega a nessuna delle librerie del framework di classe elencate di seguito.

  • È disponibile un driver WDM o una libreria.
  • È disponibile un driver o una libreria che si collega a WdfLdr.lib o WdfDriverEntry.lib.
  • È disponibile un driver o una libreria che si collega a NDIS.lib.
  • È disponibile un driver o una libreria che si collega a Storport.lib.

Se si dispone di un driver che rientra all'esterno delle condizioni precedenti, SDV considererà il driver "generico" ed eseguirà un set limitato di controlli.

Si noti inoltre che le librerie verificate da SDV devono essere librerie driver in modalità kernel, non librerie C o C++ generali.

La verifica driver statica supporta un driver o una libreria che supera queste condizioni anche se il driver o la libreria collega a più librerie di utilità.

Inoltre, per eseguire l'analisi, SDV richiede che:

  • Il driver ha dichiarato almeno un punto di ingresso usando dichiarazioni di tipo di ruolo funzione.
  • Il driver compila e collega correttamente (in Visual Studio usando MSBuild).
  • Se il driver o la libreria usa KMDF, il driver o la libreria usa KDMF versione 1.7 o successiva.
  • Se il driver o la libreria usa NDIS, usa NDIS versione 6.0, 6.1, 6.20, 6.30 o 6.40. Si noti che questo elenco è soggetto a modifiche.
  • Il driver non combina modelli di driver, ad esempio KMDF con WDM o KMDF e NDIS.

Esistono altri fattori che influiscono sulla qualità e sull'accuratezza dei risultati dell'analisi statica. Questi fattori includono:

  • Uso delle librerie di utilità che non sono state elaborate da SDV.
  • Dimensioni del driver, in particolare se ha più di 100K righe di codice.
  • Uso di funzionalità specifiche del linguaggio, ad esempio funzioni virtuali e aritmetica puntatore.

Requisiti del progetto di Visual Studio

Per usare il verifica driver statico, il progetto di Visual Studio deve avere le impostazioni seguenti:

  • UseDebugLibraries = false
  • Piattaforma = Win32 (x86) o x64

Librerie del framework di classe

Se si dispone di un driver o una libreria WDM e si vuole eseguire SDV, il driver o la libreria non deve collegarsi a una delle librerie del framework di classi seguenti.

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 Soft1667FaultChangectionLimpetPool.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 termdd.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

Librerie di utilità

Static Driver Verifier supporta un driver o una libreria che include collegamenti a più librerie di utilità se il driver o la libreria è conforme ai requisiti del driver o della libreria.

File Name
BufferOverflowK.lib
hal.lib
ntoskrnl.lib
ntstrsafe.lib
rtlver.lib
sehupd.lib
wdm.lib
wmilib.lib
wdmsec.lib

Static Driver Verifier e librerie microsoft Class Framework

Se si utilizzano driver WDM che devono essere collegati a una libreria del framework di classi nelle librerie del framework di classe, il driver avrà esito negativo nella condizione Static Driver Verifier. Esistono tuttavia alcune regole generiche che possono comunque essere usate, ad esempio la regola NullCheck , per eseguire un certo livello di verifica statica.