Note
Access to this page requires authorization. You can try signing in or changing directories.
Access to this page requires authorization. You can try changing directories.
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