Creación de un archivo de registro para el comprobador de controladores estáticos
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 el comprobador de controladores estáticos 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 Comprobador de controladores estáticos. Los archivos de registro no contienen información de código fuente. Para obtener más información, consulte Prueba de logotipo de Herramientas estáticas y CodeQL y prueba de logotipo de Static Tools.
Creación del archivo de registro para SDV
- 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.
- Si ya ha ejecutado la herramienta Análisis de código, siga estas instrucciones para ejecutar el comprobador de controladores estáticos. Para obtener más información sobre el uso de SDV, consulte Uso del comprobador de controladores estáticos para buscar defectos en controladores.
- Si SDV encuentra defectos en el controlador, seleccione el defecto en el panel Resultados para ver un seguimiento de la ruta de acceso del código que provocó la infracción de la regla. Corrija los defectos encontrados en el controlador y vuelva a ejecutar SDV.
El comprobador de controladores estáticos escribe los resultados en el archivo SDV.DVL.xml en el subdirectorio SDV del proyecto, por ejemplo, \myDriverProject\SDV.
Comentarios
Para obtener la información más actualizada sobre el comprobador de controladores estáticos y el registro de comprobación de controladores, consulte las notas de la versión de WDK. Las notas de la versión están disponibles en la página de descarga del Kit de controladores de Windows (WDK).
Importante
Los tiempos de espera, los espaciaciones y otros resultados no correctos en el archivo DVL son aceptables para el envío de certificación. Esto no hará que se produzca un error en la prueba de Herramientas estáticas en HCK. Para HCK 2.0, la prueba de herramientas estáticas solo requiere la presencia del archivo DVL para mostrar que se ha ejecutado el análisis de código y SDV, y no requiere que se pasen todas las reglas.
Ventana del símbolo del sistema de Visual Studio
También puede ejecutar el comprobador de controladores estáticos 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 el comprobador de controladores estáticos.
msbuild.exe <vcxprojectfile> /p:Configuration="Win8 Release" /p:Platform=x64 /target:sdv /p:inputs="/clean"
msbuild.exe <vcxprojectfile> /p:Configuration="Win8 Release" /p:Platform=x64 /target:sdv /p:inputs="/check:default.sdv"