Developing Drivers with the Windows Driver Foundation (Pro Developer)
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 |
Категории