Windows Driver Foundation
Static Driver Verifier (SDV) - コードの呼び出し関係を検証する。複数の関数呼び出しや複数の操作にまたがった問題を検出できる。ドライバがほぼ完成した時点で利用できるよう設計されている。
PREFast for Drivers (PFD) - SDV よりも浅い検証を行う。バッファオーバーランのチェックなど、よくあるバグやドライバ特有のバグを検出する。個々の関数内のコードを扱うので、ドライバ開発の初期から利用できる。