I have declared macros like this: using macro like this: Where E is uint64_t datatype P is uint8_t datatype Which gives warning by Prefast: C62 ...

I am writing a device driver for windows 7 32 bit. I'm using the WDK version 7600.16385.1. So far things are going well, but prefast keeps telling me ...

I build my solution using MSBUILD on command line like this: Having /p:RunCodeAnalysis=True creats code analysis results for both native (PREfast) ...

Here's an example given on MSDN (http://msdn.microsoft.com/en-us/library/hh916383.aspx) that tried to explain SAL annotation could help find a common ...

I'm running PREfast static code analysis on my our projects, and it is giving me C6001 'using uninitialized memory' errors for this pattern: The tr ...

I am using PREFast to check some driver code build for Windows7. The following line of code Gives the warning: deviceObject is obtained with an ...

I'm trying to compile a bit of code that looks something like so: (examples starts on line 38, throw is 45) The ctor being called looks like: Wh ...

I have the following example code and would like to know what kind of annotations I can use to avoid them. The problem is that since Prefast evalua ...

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 wou ...

Where can I find a download of Prefast for Visual Studio 2008? I am not able find it through Google or the MSDN Website. ...

Is there any way to enable Prefast in Visual Studio 2008 Professional addition? I am trying to compile native c++ code. I have tried following thing ...