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:
Rating:
0
0
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 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 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 ?