Entries:
Comments:
Posts:

Loading User Information from Channel 9

Something went wrong getting user information from Channel 9

Latest Achievement:

Loading User Information from MSDN

Something went wrong getting user information from MSDN

Visual Studio Achievements

Latest Achievement:

Loading Visual Studio Achievements

Something went wrong getting the Visual Studio Achievements

Donn Terry: PreFAST for Drivers

Download

Right click “Save as…”

Donn Terry is a Software Developer who's been writing driver code for Windows for a very long time... He's the guy who's been working on PreFAST for drivers (PFD) for the past several years. PFD is a really handy static analysis tool used by driver developers to find bugs in their code that would otherwise go undetected until blue-screening Windows (assuming the drivers are running in the kernel) and other bad things. 

Tag:

Follow the Discussion

  • Where can I get a copy?  I tried to sign up for the WDF beta, but the web site doesn't seem to be responding.
  • CharlesCharles Welcome Change
    sparky wrote:
    Where can I get a copy?  I tried to sign up for the WDF beta, but the web site doesn't seem to be responding.


    From the people who know the answer...

    For external customers WDK is the only way to get PFD.  These are the steps you will need to follow to obtain the latest released WDK:

    "To signup for the WDK beta program please go to the http://connect.microsoft.com/" href="http://connect.microsoft.com/"> http://connect.microsoft.com website and click on the Available Programs on the left side bar.  Sign in to the website and scroll down to “Microsoft Windows Driver Kit (WDK) Beta Program” and click on Apply.  You are automatically approved for entry.  Please fill out our survey before downloading bits."

  • Charles wrote:
    "To signup for the WDK beta program please go to the http://connect.microsoft.com/" href="http://connect.microsoft.com/"> http://connect.microsoft.com website ..."
    That is what I tried to do.  The website http://connect.microsoft.com does not respond.  Does it work for you?
  • CharlesCharles Welcome Change
    Yep. It works for me. Is it timing out on you? 404? What's up?
    C
  • Charles wrote:
    Yep. It works for me. Is it timing out on you? 404? What's up?
    C
    It goes through when I try it from home.  I should have known it was those nice network guys at work protecting me from the internet again.
  • Charles,

    is it for C++ developed drivers, too?
  • Great seeing some of men behind a wonderful technology.  Keep up the great work.  Just wish it was more technical.  Loved your definition of real time code: Concurrent code that is timing critcal.  Just wish it was more...

  • I have been using Prefast for 32-bit env, and it wrks gr8..
    but for 64-bit env, I dont know..but it gives some cl.exe errors..
    I am using the Microsoft Compiler version:
    Microsoft (R) C/C++ Optimizing Compiler Version 14.00.40310.41 for AMD64
    Are there any special settings or requirements that I need to look for, while running Prefast in 64-bit environment ?

Remove this comment

Remove this thread

close

Comments Closed

Comments have been closed since this content was published more than 30 days ago, but if you'd like to continue the conversation, please create a new thread in our Forums,
or Contact Us and let us know.