ドライバーのコード分析

  • [アーティクル]

Code Analysis for Drivers は、C および C++ プログラムの基本的なコーディング エラーを検出するコンパイル時の静的検証ツールであり、(主に) カーネル モード ドライバー コードのエラーを検出するように設計された特殊なモジュールが含まれています。

注: WDK の以前のバージョンでは、コード分析用のドライバー固有のモジュールは、PREfast for Drivers (PFD) と呼ばれるスタンドアロン ツールの一部でした。 PREfast for Drivers は、Microsoft Automated Code Review (OACR) の一部として WDK Build 環境にも統合されました。 Windows Driver Kit (WDK) 8 以降、ドライバー固有の機能がコード分析ツールを使用したアプリケーション品質の分析に統合されました。

このセクションの内容