2024/07/02 · Code Analysis for Drivers は、C および C++ プログラムの基本的なコーディング エラーを検出するコンパイル時の静的検証ツールです。

PREfast - Windows用のデバイスドライバを開発するのに使用するWDKの一部; Review-C （商用）; Smatch - C言語ソースチェッカー。主にLinuxカーネル用。 Sparse (GPL) ...

2024/03/19 · ... PREfast for ... 静的ドライバー検証ツール (SDV) は、Windows カーネル モードのドライバーのソース コードを系統的に分析する静的検証ツールです。

静的コード分析としては、「PREfast」および「FXCop」という2種類のツールが統合されている。PREfastはアンマネージ・コードのC／C++向けの静的解析ツールで、メモリ ...

2005/03/17 · PREfastは、CやC++といったネイティブコード上で、欠陥の可能性を検知し、その情報を通知するツールである。PREfastが検知できるコードのエラーは、 ...

2005/04/21 · 静的分析ツールとは，開発者が記述したコードに対して，そのコードを実行せずに調べることで，より実行性能が高くなる命令をアドバイスしたり，セキュリティ上 ...

2021/05/02 · Comparing Version Visual Studio 2019 16.6.4 against newer Versions like 16.9.4 or 16.10.0 preview 2.1, shows a performance regression in the ...

Driver Kit（WDK）に含まれるドライバの静的コード解析. ツールです．メモリや ... 次に，DTM テスト用に PREfast 解析結果のログ・ファ. イルを生成します ...

PREfast is a static analysis tool that identifies defects in C/C++ programs. Last update 2006. Progpilot, Open Source or Free, Progpilot is a static analyzer ...

含まれない: PREfast | 必須にする:PREfast