Supported Code and Platforms

  • Article

This topic explains the systems and software that PREfast for Drivers supports.

Code Support

  • PREfast for Drivers can analyze user-mode and kernel-mode programs and drivers. In some cases, you might have to ignore or suppress warnings that do not apply to your code.

  • PREfast for Drivers can analyze code written in C or C++, including some managed code and code written to the OpenMp API specification.

  • PREfast for Drivers can analyze any code that will compile. The code does not need to properly link or execute for PREfast for Drivers to work.

  • PREfast for Drivers works on any driver model. However, its effectiveness depends on the source code annotation that appears in the header files and support code. For information about code annotations, see PREfast for Drivers Annotations

Supported Operating Systems

PREfast for Drivers runs on Windows XP and later versions of Windows.

Supported Architectures

PREfast for Drivers is designed for drivers that can be compiled for x86-based or x64-based platforms. PREfast for Drivers can analyze drivers in the same environment in which the driver is compiled.

For Itanium (IA64)-based drivers, use conditional compilation or other compatibility techniques so that the driver can be compiled as an x64-based driver. In this scenario, PREfast can perform close to the same analysis as if the driver had been compiled for Itanium-based systems.

 

 

Send comments about this topic to Microsoft

Build date: 5/3/2011