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)