Chapter 23: PREfast for Drivers


Overview

PREfast for Drivers is a static analysis tool that can detect certain kinds of source code errors that are not easily found by the typical compiler or by conventional testing. PRE fast is an essential tool for enhancing the quality of both WDF and WDM drivers.

This chapter provides an overview of PREfast, with details about how to run PREfast and how to analyze PREfast results. It also provides information about source code annotations that help PREfast to analyze code more effectively. The examples shown in this chapter are derived from WDM drivers; however, most PREfast rules and annotations also apply to WDF drivers.

For this chapter, you need

From


Tools and files

 

PREfast.exe

%wdk%\tools\pfd

SpecStrings.h

%wdk%\inc\api

Driverspecs.h

%wdk%\inc\ddk

Samples

 

Examples that trigger various PREfast warnings

%wdk%\tools\pfd\samples

Driver source code that illustrates driver-specific rules

%wdk%\tools\pfd\samples\fail_drivers

WDK documentation

 

PREfast for Drivers

http://go.microsoft.com/fwlink/?LinkId=80079




Developing Drivers with the Microsoft Windows Driver Foundation
Developing Drivers with the Windows Driver Foundation (Pro Developer)
ISBN: 0735623740
EAN: 2147483647
Year: 2007
Pages: 224

Similar book on Amazon
Windows Internals, Part 1: Covering Windows Server 2008 R2 and Windows 7
Windows Internals, Part 1: Covering Windows Server 2008 R2 and Windows 7
Windowsu00ae Internals: Including Windows Server 2008 and Windows Vista, Fifth Edition (Pro Developer)
Windowsu00ae Internals: Including Windows Server 2008 and Windows Vista, Fifth Edition (Pro Developer)
Advanced Windows Debugging
Advanced Windows Debugging
The Windows 2000 Device Driver Book: A Guide for Programmers (2nd Edition)
The Windows 2000 Device Driver Book: A Guide for Programmers (2nd Edition)

flylib.com © 2008-2017.
If you may any questions please contact us: flylib@qtcs.net