Donn Terry: PreFAST for Drivers

Sign in to queue

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

Download

Download this episode

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 ?

Add Your 2 Cents