Donn Terry: PreFAST for Drivers (Channel 9)

Donn Terry: PreFAST for Drivers

Posted: Sep 07, 2006 at 10:54 AM

By: Charles

16,664 Views

8 Comments

Video format

Option selected may change based on video formats available and browser capability.

Auto

Use our suggested format for this video.

Smooth Streaming

Adaptive bitrate streaming - little buffering but lower video quality at times of low bandwidth. Silverlight 5 required

Progressive

Traditional buffered video format. Silverlight 5 required

HTML5

For browsers that support H.264 MP4 or WebM video playback such as:
IE9+, Firefox 4+, Chrome 5+, or Safari 4+.

Flash

For browsers that have the Adobe Flash Player plugin installed.

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.

Follow the Discussion

Follow
Oops, something didn't work.

Try again?

Sign In to be begin to follow these comments

What does this mean?
Following an item on Channel 9 allows you to watch for new content and comments that you are interested in. You need to be signed in to Channel 9 to use this feature.

Getting "follow" information

Stop following these comments

Start following these comments

What does this mean?
Following an item on Channel 9 allows you to watch for new content and comments that you are interested in and view them all on your notifications page.

Removing your "follow"

Setting up your "follow"

Did you know you can
sign up for email notifications?
- Subscribe to this comments

sparky

Sep 11, 2006 at 12:19 PM

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

Sep 11, 2006 at 1:17 PM

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

Sep 11, 2006 at 1:24 PM

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?
Charles Welcome Change

Sep 11, 2006 at 1:27 PM

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

Sep 12, 2006 at 6:52 AM

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

Sep 26, 2006 at 6:58 AM

Charles,

is it for C++ developed drivers, too?
mjones

Oct 07, 2006 at 11:37 AM

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

Jul 20, 2007 at 8:21 AM

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 ?