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)
関連情報 †