PreFast in VS 2010?

Which version of VS 2010 has PreFast static code analyzer for native c++? I have downloaded VS 2010 Ultimate edition trial version in hope that it would contain all the features, but could not found inbuilt PreFast in it. I tried to link VS 2010 to set it directories with WDK's PreFast and add "/analyze" in 开发者_JAVA技巧comand Line additional options but unable to get results.

it's in ultimate (I just tested it), but I don't think it's in pro.

help page http://msdn.microsoft.com/en-us/library/bb385907.aspx

I was looking for some memory leakage, thread dead locks kind of rules.

Prefast is static analysis tool. It checks for possible NULL derefferensing, buffer overruns and such. You are looking for dynamic analysis tool like Bounds Checker. Not sure, that it is available for VS 2010. Another option would be to use Application Verifyer.