C + + Static code analysis PREfast

1 history
PREfast is a static code analysis tool proposed by Microsoft Research. The main purpose is to detect defects in the program by analyzing the data of the code and controlling the information. It should be emphasized that prefast detection is not only a security flaw, but the type of security flaw is the most important part of its detection. PREfast has been widely used within Microsoft since its launch, and has undergone several versions of the upgrade. Now, Microsoft is commercializing this in-house tool to provide external developers with access.

2 How to get PREfast
There are currently two ways to obtain PREfast tools.
PREfast is included in the team version of Visual Studio 2005/2008 (Group edition).
PREfast is included in the development environment of the Windows Driver Development package (Microsoft Windows Driver Kits).

3 Using PREfast
In the team version of Visual Studio, using PREfast, open Project Properties--Configuration Properties--Code analysis-->enable The Code analysis for C + + on build. Select Yes (/analyze).

C + + Static code analysis PREfast