Partager via

PREfast, SAL and the Windows SDK

  • Article

In a prior article I wrote about the benefits of the Standard Annotation Language (SAL) available in various high-end versions of Visual Studio 2005. The good news is the Windows SDK released for Windows Vista Beta 2, also includes PREfast and can therefore take advantage of the SAL-annotated CRT and Windows SDK headers. Viz:

PS C:\Program Files\Microsoft SDKs\Windows\v1.0\VC\Bin> ./cl –help

Microsoft (R) 32-bit C/C++ Optimizing Compiler Version 14.00.50727.42 for 80x86Copyright (C) Microsoft Corporation. All rights reserved.

C/C++ COMPILER OPTIONS

<snip>

-CODE ANALYSIS-

/analyze[:WX-] enable code analysis

WX- - code analysis warnings should not be treated as errors even if /WX is invoked

I’m told that PREfast was also included in the Windows SDK February 2006 CTP release, but I have not verified it.

Finally, as you probably know by now, we wrapped up Windows Vista beta 2 today, so I would wait for the beta 2 SDK to come out anyway!

Comments

  • Anonymous
    May 23, 2006
    Wonderful news! It's a shame that, although I have exactly the same version of CL in my Visual Studio 2005, it doesn't come with PREFast. That makes me wonder if PREFast is a DLL I can add to my installation, or if I have to download the whole Vista SDK.
  • Anonymous
    May 23, 2006
    Will this be available in the final release?  I can't remember if VS2005 also had /analyze in the beta, but I'd really like to work with software that is going to last.
  • Anonymous
    May 23, 2006
    PingBack from http://kernelmustard.com/2006/05/23/see-i-told-you-so-2/
  • Anonymous
    May 28, 2006
    Okay, so for the foreseeable future at least, SAL (and other code analysis goodness) is indeed available...
  • Anonymous
    June 12, 2006
    A couple of people have asked about the relationship between /GS, SAL and ASLR in Windows Vista. Here’s...
  • Anonymous
    June 12, 2006
    Hey Michael, do you know if the version of PREfast included in the Windows SDK released for Windows Vista Beta 2 is a beta or release version?
  • Anonymous
    June 12, 2006
    Technically it's beta - but it's the same tool we use on Vista :)
  • Anonymous
    June 19, 2006
    &amp;nbsp;




    Web Resources



    &amp;nbsp;

    [Default] Game Developers: Make Contact in Seattle
    August...
  • Anonymous
    October 08, 2006
    PingBack from http://kernelmustard.com/2006/10/08/code-analysis-with-visual-c-express-edition/