Análisis de código para controladores

Code Analysis for Drivers es una herramienta de comprobación estática en tiempo de compilación que detecta errores de codificación básicos en programas de C y C++ e incluye un módulo especializado diseñado para detectar errores en (principalmente) código de controlador en modo kernel.

Nota En versiones anteriores de WDK, el módulo específico del controlador para el análisis de código formaba parte de una herramienta independiente denominada PREfast for Drivers (PFD). PREfast for Drivers también se integró en el entorno de compilación de WDK, como parte de Microsoft Automated Code Review (OACR). A partir Windows Driver Kit (WDK) 8, las características específicas del controlador se han integrado con Analizar la calidad de la aplicación mediante Code Analysis Tools.

En esta sección