Friday, September 24, 2004

PREfast

PREfast is a static source code analysis tool that detects certain classes of errors not easily found by the typical compiler.


...

PREfast analyzes C and C++ source code by stepping through all possible execution paths in each function and simulating execution to evaluate each path for problems. PREfast does not actually execute code and cannot find all possible errors, but it can find errors that the compiler may ignore and that may be difficult to find during debugging.

http://www.microsoft.com/whdc/devtools/tools/PREfast.mspx

No comments: