Compartir a través de

Creación de un archivo de registro para la herramienta de análisis de código

  • Artículo

El Programa de certificación de hardware de Windows requiere un registro de comprobación de controladores (DVL) para envíos de controladores. Es posible que tenga que ejecutar la herramienta de análisis de código antes de crear una DVL para el controlador. La DVL puede contener un resumen de los resultados de herramientas como CodeQL, Análisis de código y archivos de registro del comprobador de controladores estáticos. Los archivos de registro no contienen información de código fuente. Para obtener más información, consulte Pruebas de logotipos de Herramientas estáticas y CodeQL y prueba de logotipo de Static Tools.

Para ejecutar el análisis de código en el controlador

  1. En Microsoft Visual Studio, seleccione el archivo del proyecto de controlador y, a continuación, seleccione y mantenga presionado (o haga clic con el botón derecho) para abrir las propiedades del proyecto.
  2. En el menú Analizar o compilar , seleccione Ejecutar análisis de código en la solución.
  3. Si se encuentran errores o advertencias, use la ventana Informe de análisis de código para investigar la causa de los errores. Use los mensajes de advertencia para corregir esos problemas. Para obtener más información sobre la herramienta análisis de código, vea Cómo ejecutar análisis de código para controladores y analizar la calidad del código de C/C++ mediante el análisis de código.

La herramienta Análisis de código para controladores escribe los resultados en el archivo vc.nativecodeanalysis.all.xml en el subdirectorio de configuración de compilación y plataforma del proyecto, por ejemplo, \Windows 8Release\x64.

Comentarios

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).

Ventana del símbolo del sistema de Visual Studio

También puede ejecutar la herramienta Análisis de código desde una ventana del símbolo del sistema de Visual Studio. Configure el entorno mediante la ejecución de uno de los siguientes archivos por lotes.

"C:\Program Files\Microsoft Visual Studio 11.0\VC\vcvarsall.bat" x64

O bien:

"C:\Program Files (x86)\Microsoft Visual Studio 11.0\VC\vcvarsall.bat" x64

Ejecute la herramienta Análisis de código. Use la versión de Windows adecuada para el envío.

msbuild.exe <vcxprojectfile> /p:Configuration="Win8 Release" /P:Platform=x64 /target:clean
msbuild.exe <vcxprojectfile> /p:Configuration="Win8 Release" /P:Platform=x64 /P:RunCodeAnalysisOnce=True

Para obtener la información más actualizada sobre los requisitos del registro de comprobación de controladores, consulte las notas de la versión de WDK.