Top / Develop / Debugging / PREfast

PREfast

PREfast は、Microsoft 社が開発している静的に C/C++ のコード解析を行うチェックツールです。静的に解析を行うので、実行時のチェックには出てこない障害を論理的に発生させ、警告してきます。

以下のプロダクトで実装されています。

  • Windows Server 2003 以降の DDK
    基本的にはデバイスドライバ用途にチューニングされていますが、アプリケーション用途にも使えないこともありません。
  • Visual Studio 2005 Team Edition for Software Developers
    VS2005 の機能として内蔵されています。ただし比較的安価な Professional Edition にはこの機能がわざわざ省かれているので注意が必要です。
    Visual Studio 2005 の新しいセキュリティ機能 (MSDN)
    Visual Studio 2005 コード分析 (MSDN)

関連情報


Last-modified: 2005.12.11 (日) 17:09:20 (6911d)