PREfast for Drivers Overview

PREfast for Drivers is a compile-time static verification tool that detects basic coding errors in C and C++ programs and includes a specialized module that is designed to detect errors in (primarily) kernel-mode driver code. This section introduces PREfast for Drivers and answers some basic conceptual questions about the tool and its use. It includes:

Understanding PREfast for Drivers

The Errors that PREfast for Drivers Detects

Software Requirements

Supported Code and Platforms



Send comments about this topic to Microsoft

Build date: 5/3/2011