Prefast是微軟研究院提出的靜態代碼分析工具。主要目的是通過分析代碼的數據和控制信息來檢測程序中的缺陷。需要強調的是，Prefast檢測的缺項不僅僅是安全缺陷，但是安全缺陷類型是其檢測的最爲重要的部分。Prefast推出後在微軟內部得到了廣泛的使用，並經歷了若干格版本的升級。現在，微軟將這個內部工具商業化，以提供給外部的開發人員使用。
它能夠幫助你找到編譯器不能找到的錯誤或者缺陷。
- Prefast包括在Visual Studio 2005 /2008的團隊版本（team edition）中。
- Prefast包括在Windows驅動程序開發包（Microsoft Windows Driver Kits）的開發環境中。
more detail:
http://blog.csdn.net/chengyun_chu/archive/2008/08/05/2768482.aspx