PREFast for Drivers (PFD) - SDV よりも浅い検証を行う。バッファオーバーランのチェックなど、よくあるバグやドライバ特有のバグを検出する。個々の関数内のコードを扱うので、ドライバ開発の初期から利用できる。
脚注
^"Windows Driver Frameworks (WDF) is a wrapper around Microsoft Windows Driver Model (WDM) interfaces. Although the framework simplifies many WDM concepts and hides others completely" WDM Concepts for WDF Drivers. Windows Hardware Developer.