Uso del comprobador de controladores estático
Para obtener información sobre lo que necesita hacer para ponerse en marcha rápidamente, consulte Uso del comprobador de controladores estáticos para buscar defectos en controladores de Windows.
En esta sección
- Uso de declaraciones de tipo de rol de función
- Examen del controlador
- Interpretación de los resultados del comprobador de controladores estáticos
- Uso del informe de comprobador de controladores estáticos
- Recomendaciones para solucionar problemas del comprobador de controladores estáticos
- Uso de SDV y los controladores de ejemplo
Importante
SDV ya no es compatible y SDV no está disponible en las versiones de WDK o EWDK de Windows 24H2. No está disponible en WDK más reciente que la compilación 26017 y no se incluye en windows 24H2 RTM WDK.
SDV todavía se puede usar descargando windows 11, versión 22H2 EWDK (publicada el 24 de octubre de 2023) con las herramientas de compilación de Visual Studio 17.1.5 desde Descargar el Kit de controladores de Windows (WDK). Solo se recomienda el uso de Enterprise WDK para ejecutar SDV. No se recomienda usar versiones anteriores del WDK estándar junto con las versiones recientes de Visual Studio, ya que esto probablemente provocará errores de análisis.
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.