Donn Terry: PreFAST for Drivers

Posted By: Charles | Sep 7th, 2006 @ 10:54 AM

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.

Tags: Drivers

Rating:

Views (15,498)

Comments (8)

Downloads

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.

Charles
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 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."

sparky

Charles wrote:

"To signup for the WDK beta program please go to the 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?

Charles
Welcome Change

Yep. It works for me. Is it timing out on you? 404? What's up?
C

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.

FrankF

Charles,

is it for C++ developed drivers, too?

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

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 ?