Donn Terry: PreFAST for Drivers

Download this episode

Download Video

Description

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:

Drivers

Embed

Format

Available formats for this video:

Actual format may change based on video formats available and browser capability.

    The Discussion

    • User profile image
      sparky
      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.
    • User profile image
      Charles
      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."

    • User profile image
      sparky
      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?
    • User profile image
      Charles
      Yep. It works for me. Is it timing out on you? 404? What's up?
      C
    • User profile image
      sparky
      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.
    • User profile image
      FrankF
      Charles,

      is it for C++ developed drivers, too?
    • User profile image
      mjones
      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...

    • User profile image
      chintanp
      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 ?

    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.