Análisis de código para controladores

  • Artículo

El análisis de código para controladores 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 código de controlador en modo kernel (principalmente).

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 para controladores (PFD). PREfast for Drivers también se ha integrado en el entorno de compilación de WDK, como parte de Microsoft Automated Code Review (OACR). A partir del Kit de controladores de Windows (WDK) 8, las características específicas del controlador se han integrado con la Herramienta de análisis de calidad de la aplicación mediante herramientas de análisis de código.

En esta sección