ドライバーまたはライブラリが静的ドライバー検証ツールでサポートされているかどうかの判定
静的ドライバー検証ツール (SDV) は、WDM、KMDF、NDIS、Storport のドライバーとライブラリを完全にサポートしており、他のドライバーのサポートは限られています。 ドライバーまたはライブラリがサポートされ、正しく構成されているかどうかを確認するには、このセクションで説明されている要件を一読してください。
ドライバーまたはライブラリの要件
ドライバーまたはライブラリが次のいずれかの条件を満たし、以下に示すクラス フレームワーク ライブラリにリンクされていない場合は、SDV 分析ツールでルールの完全なセットを実行できます。
- WDM ドライバーまたはライブラリがあります。
- WdfLdr.lib または WdfDriverEntry.lib にリンクするドライバーまたはライブラリがあります。
- NDIS.lib にリンクするドライバーまたはライブラリがあります。
- Storport.lib にリンクするドライバーまたはライブラリがあります。
上記の条件に該当するドライバーがある場合、SDV はドライバーを「汎用」と見なし、限られた一連のチェックを実行します。
さらに、SDV によって検証されるライブラリは、一般的な C または C++ ライブラリではなく、カーネル モード ドライバー ライブラリである必要があることに注意してください。
静的ドライバー検証ツールは、ドライバーまたはライブラリが複数のユーティリティ ライブラリにリンクしている場合でも、これらの条件を渡すドライバーまたはライブラリをサポートします。
さらに、分析を実行するには、SDV では次のことが必要です。
- ドライバーは、関数の役割の種類の宣言を使用して、少なくとも 1 つのエントリ ポイント を宣言しています。
- ドライバーは、(MSBuild を使用して Visual Studio で) 正しくビルドおよびリンクします。
- ドライバーまたはライブラリが KMDF を使用している場合、ドライバーまたはライブラリは KDMF バージョン 1.7 以降を使用します。
- ドライバーまたはライブラリが NDIS を使用する場合は、NDIS バージョン 6.0、6.1、6.20、6.30、または 6.40 を使用します。 このリストは変更される可能性があることに注意してください。
- ドライバーは、ドライバー モデル (WDM を使用した KMDF、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 | 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 |
ユーティリティ ライブラリ
静的ドライバー検証ツールは、ドライバーまたはライブラリがドライバーまたはライブラリの要件に準拠している場合、複数のユーティリティ ライブラリへのリンクを持つドライバーまたはライブラリをサポートします。
| File Name |
|---|
| BufferOverflowK.lib |
| hal.lib |
| ntoskrnl.lib |
| ntstrsafe.lib |
| rtlver.lib |
| sehupd.lib |
| wdm.lib |
| wmilib.lib |
| wdmsec.lib |
静的ドライバー検証ツールと Microsoft クラス フレームワーク ライブラリ
クラス フレームワーク ライブラリの一覧でクラス フレームワーク ライブラリにリンクする必要がある WDM ドライバーを操作している場合、ドライバーは静的ドライバー検証ツールの条件に失敗します。 ただし、ある程度の静的検証を実行するために NullCheck rule ルールなど、引き続き使用できる一般的な規則がいくつかあります。