Archivo de opciones del comprobador de controladores estático
El archivo de opciones del comprobador de controladores estáticos, sdv-default.xml, almacena la configuración de opción predeterminada para el comprobador de controladores estáticos. Este archivo se crea en los subdirectorios \tools\sdv\data\wdm y \tools\sdv\data\wdf del WDK. Puede editar el archivo para cambiar la configuración de la opción y copiarlo en el directorio de orígenes de cualquier controlador.
Esta sección incluye:
Archivos de opciones globales y locales
Ejemplos de archivos de opciones
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.