Déterminer si Static Driver Verifier prend en charge votre pilote ou votre bibliothèque

Static Driver Verifier (SDV) prend entièrement en charge les bibliothèques et les pilotes WDM, KMDF, NDIS et Storport, et a une prise en charge limitée pour les autres pilotes. Pour déterminer si votre pilote ou votre bibliothèque est pris en charge et configuré correctement, lisez les exigences décrites dans cette section.

Configuration requise pour les pilotes ou les bibliothèques

Vous pouvez exécuter l’ensemble complet de règles dans l’outil d’analyse SDV si votre pilote ou votre bibliothèque répond à l’une des conditions suivantes et n’est liée à aucune des bibliothèques d’infrastructure de classes répertoriées ci-dessous.

• Vous disposez d’un pilote ou d’une bibliothèque WDM.
• Vous disposez d’un pilote ou d’une bibliothèque qui établit un lien vers WdfLdr.lib ou WdfDriverEntry.lib.
• Vous disposez d’un pilote ou d’une bibliothèque qui établit un lien vers NDIS.lib.
• Vous disposez d’un pilote ou d’une bibliothèque qui est lié à Storport.lib.

Si vous avez un pilote qui se trouve en dehors des conditions ci-dessus, SDV considérera le pilote « générique » et exécutera un ensemble limité de vérifications.

En outre, notez que les bibliothèques vérifiées par SDV doivent être des bibliothèques de pilotes en mode noyau, et non des bibliothèques générales C ou C++.

Static Driver Verifier prend en charge un pilote ou une bibliothèque qui passe ces conditions, même si le pilote ou la bibliothèque est lié à plusieurs bibliothèques d’utilitaires.

En outre, pour effectuer l’analyse, SDV nécessite que :

• Le pilote a déclaré au moins un point d’entrée à l’aide de déclarations de type de rôle de fonction.
• Le pilote génère et lie correctement (dans Visual Studio à l’aide de MSBuild).
• Si le pilote ou la bibliothèque utilise KMDF, le pilote ou la bibliothèque utilise KDMF version 1.7 ou ultérieure.
• Si le pilote ou la bibliothèque utilise NDIS, elle utilise NDIS version 6.0, 6.1, 6.20, 6.30 ou 6.40. Notez que cette liste est susceptible d’être modifiée.
• Le pilote ne combine pas de modèles de pilotes (par exemple, KMDF avec WDM, ou KMDF et NDIS).

D’autres facteurs affectent la qualité et la précision des résultats de l’analyse statique. Exemples de facteurs :

• Utilisation de bibliothèques d’utilitaires qui n’ont pas été traitées par SDV.
• Taille du pilote, en particulier s’il a plus de 100 000 lignes de code.
• Utilisation de fonctionnalités spécifiques au langage, telles que les fonctions virtuelles et l’arithmétique de pointeur.

Configuration requise du projet Visual Studio

Pour utiliser Static Driver Verifier, le projet Visual Studio doit avoir les paramètres suivants :

• UseDebugLibraries = false
• Plateforme = Win32 (x86) ou x64

Bibliothèques d’infrastructure de classes

Si vous disposez d’un pilote ou d’une bibliothèque WDM et que vous souhaitez exécuter SDV, le pilote ou la bibliothèque ne doit pas être lié à l’une des bibliothèques d’infrastructure de classes suivantes.

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	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

Bibliothèques d’utilitaires

Static Driver Verifier prend en charge un pilote ou une bibliothèque qui a des liens vers plusieurs bibliothèques d’utilitaires si le pilote ou la bibliothèque est conforme aux exigences du pilote ou de la bibliothèque.

Nom de fichier
BufferOverflowK.lib
hal.lib
ntoskrnl.lib
ntstrsafe.lib
rtlver.lib
sehupd.lib
wdm.lib
wmilib.lib
wdmsec.lib

Bibliothèques Static Driver Verifier et Microsoft Class Framework

Si vous utilisez des pilotes WDM qui doivent être liés à une bibliothèque d’infrastructure de classes dans la liste Bibliothèques d’infrastructure de classes, le pilote échoue à la condition du vérificateur de pilote statique. Toutefois, il existe certaines règles génériques qui peuvent toujours être utilisées, telles que la règle NullCheck pour effectuer un certain niveau de vérification statique.