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
Send comments about this topic to Microsoft
Build date: 5/3/2011