PREfast with Driver-Specific RulesUpdated: October 19, 2004
File name: PREfast-drv.doc
About This DownloadThis paper provides an informal introduction to PREfast, a tool provided by Microsoft that detects certain classes of software errors not easily found by other methods. This paper describes our experience in testing device drivers with PREfast. It describes the messages that PREfast returned in driver source code, the conditions under which those messages were returned, and the implications for the driver developer who is testing code with PREfast. PREfast (prefast.exe) is a tool that detects certain classes of errors not easily found by the typical compiler. This tool also provides advice from PREfast developers about the reliability of certain coding constructs. It operates on each function in the source separately, producing a single combined list for all of the files checked in a single run, with duplicates (from headers) eliminated. A newer version of PREfast, which tests code against driver-specific rules is also available. Warning messages generated because of the new rules are also described in the section “Additions for the First Driver-specific Version of PREfast” of this paper. The new version of PREfast is provided in the Microsoft Windows Server 2003 SP1 Driver Development Kit (DDK). This information applies for the following operating systems: Included in this white paper:
|
|
- Related developer sites
- Microsoft Connect
- OSR Online
- Windows Phone
- Other Windows sites
- Enterprise
- Small business
- Students
- Home users
- Essentials
- Recently published
- Debugging
- Samples
- Hardware dashboard
- Support
- Forums
- More support resources
© 2013 Microsoft. All rights reserved.
