정적 드라이버 검증 도구가 드라이버 또는 라이브러리를 지원하는지 확인

SDV(정적 드라이버 검증 도구)는 WDM, KMDF, NDIS 및 Storport 드라이버 및 라이브러리를 완벽하게 지원하며 다른 드라이버에 대한 지원이 제한되어 있습니다. 드라이버 또는 라이브러리가 올바르게 지원되고 구성되었는지 확인하려면 이 섹션에 설명된 요구 사항을 읽어 보세요.

드라이버 또는 라이브러리 요구 사항

드라이버 또는 라이브러리가 다음 조건 중 하나를 충족 하고아래에 나열된 클래스 프레임워크 라이브러리에 연결되지 않는 경우 SDV 분석 도구에서 전체 규칙 집합을 실행할 수 있습니다.

• WDM 드라이버 또는 라이브러리가 있습니다.
• WdfLdr.lib 또는 WdfDriverEntry.lib에 연결되는 드라이버 또는 라이브러리가 있습니다.
• NDIS.lib에 연결되는 드라이버 또는 라이브러리가 있습니다.
• Storport.lib에 연결되는 드라이버 또는 라이브러리가 있습니다.

위의 조건을 벗어난 드라이버가 있는 경우 SDV는 드라이버를 "제네릭"으로 간주하고 제한된 검사 집합을 실행합니다.

또한 SDV에서 확인된 라이브러리는 일반 C 또는 C++ 라이브러리가 아닌 커널 모드 드라이버 라이브러리여야 합니다.

정적 드라이버 검증 도구는 드라이버 또는 라이브러리가 여러 유틸리티 라이브러리에 연결되는 경우에도 이러한 조건을 전달하는 드라이버 또는 라이브러리를 지원 합니다.

또한 분석을 수행하려면 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에서 처리되지 않은 유틸리티 라이브러리의 사용.
• 특히 100K가 넘는 코드 줄이 있는 경우 드라이버의 크기입니다.
• 가상 함수 및 포인터 산술과 같은 언어별 기능을 사용합니다.

Visual Studio 프로젝트 요구 사항

정적 드라이버 검증 도구를 사용하려면 Visual Studio 프로젝트에 다음 설정이 있어야 합니다.

• UseDebugLibraries = false
• 플랫폼 = 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	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

유틸리티 라이브러리

정적 드라이버 검증 도구는 드라이버 또는 라이브러리가 드라이버 또는 라이브러리 요구 사항을 준수하는 경우 여러 유틸리티 라이브러리에 대한 링크가 있는 드라이버 또는 라이브러리를 지원합니다.

파일 이름
BufferOverflowK.lib
hal.lib
ntoskrnl.lib
ntstrsafe.lib
rtlver.lib
sehupd.lib
wdm.lib
wmilib.lib
wdmsec.lib

정적 드라이버 검증 도구 및 Microsoft Class Framework 라이브러리

클래스 프레임워크 라이브러리 목록에서 클래스 프레임워크 라이브러리에 연결해야 하는 WDM 드라이버로 작업하는 경우 드라이버는 정적 드라이버 검증 도구 조건에 실패합니다. 그러나 일정 수준의 정적 확인을 수행하기 위해 NullCheck 규칙 과 같이 계속 사용할 수 있는 몇 가지 일반 규칙이 있습니다.