Compartir a través de

Análisis de código para controladores

  • Artículo

Análisis de código para controladores es una herramienta de verificació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).

En versiones anteriores del 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 el análisis de la calidad de la aplicación mediante herramientas de análisis de código.

Importante

El Programa de compatibilidad de hardware de Windows necesita CodeQL para pruebas de logotipo de herramientas estáticas (STL) en nuestros sistemas operativos de cliente y servidor. Seguiremos manteniendo el servicio de SDV y CA en productos anteriores. Se recomienda a los partners a comprobar los requisitos de CodeQL para las pruebas de logotipo de herramientas estáticas. Para obtener más información sobre el uso de CodeQL, consulte CodeQL y la prueba de logotipo de herramientas estáticas.

En esta sección

Importante

El análisis de código de los controladores está disponible en WDK y EWDK de Windows 24H2, pero tenga en cuenta que está configurado para retirarse en una fecha futura.
En el futuro, CodeQL será la herramienta de análisis estático principal para los controladores. CodeQL proporciona un lenguaje de consulta eficaz que trata el código como una base de datos que se va a consultar, lo que facilita la escritura de consultas para comportamientos, patrones y mucho más específicos. Para obtener más información sobre el uso de CodeQL, consulte CodeQL y la prueba de logotipo de herramientas estáticas.