Comprobador de controlador estático
El Comprobador de controladores estáticos (también conocido como "StaticDV" o "SDV") es una herramienta de comprobación estática que analiza sistemáticamente el código fuente de los controladores en modo kernel de Windows. SDV es una herramienta en tiempo de compilación capaz de detectar defectos y problemas de diseño en un controlador. En función de un conjunto de reglas de interfaz y un modelo del sistema operativo, SDV determina si el controlador interactúa correctamente con el kernel del sistema operativo Windows.
Instalación del comprobador de controladores estáticos
El Comprobador de controladores estáticos está disponible como parte del Kit de controladores de Windows (WDK) tanto en la experiencia de WDK completa como en el WDK enterprise independiente. Además, los paquetes de Visual C++ Redistributable para Visual Studio son necesarios para que se ejecute SDV. Consulte lo siguiente:
- Redistribución de Visual Studio 2019
- paquetes de Visual C++ Redistributable para Visual Studio 2017
- Paquetes redistribuibles de Visual C++ para Visual Studio 2013
En el caso de las versiones de SDV disponibles en WDK para Windows 10, versión 1809 o anteriores, los paquetes de Visual C++ Redistributable para Visual Studio 2012 deben instalarse en lugar de los paquetes 2017.
Integración de Visual Studio
El comprobador de controladores estáticos está integrado en Visual Studio. Puede ejecutar análisis estáticos en el proyecto de controlador de Visual Studio. Puede iniciar, configurar y controlar el Comprobador de controladores estáticos desde el menú Controlador de Visual Studio.
Documentación del comprobador de controladores estáticos
- Problemas conocidos del comprobador de controladores estáticos: enumera los problemas conocidos más recientes del comprobador de controladores estáticos.
- Uso del comprobador de controladores estáticos para buscar defectos en controladores: indica lo que necesita para empezar a analizar el código del controlador en el entorno de Visual Studio.
- Comandos del comprobador de controladores estáticos (MSBuild): enumera los comandos de MSBuild que se usarán para ejecutar SDV en una ventana del símbolo del sistema de Visual Studio.
- Introducción al comprobador de controladores estáticos: proporciona información general sobre la herramienta de análisis estático.
- Uso del comprobador de controladores estáticos: proporciona los detalles sobre el uso y la configuración de la herramienta de análisis estático.
- Informe de comprobador de controladores estáticos: describe el visor que muestra el seguimiento detallado del análisis de código estático.
- Reglas de comprobador de controladores estáticos: las reglas definen los requisitos para la interacción adecuada entre un modelo de controlador y la interfaz de kernel del sistema operativo.
- Referencia del comprobador de controladores estáticos: proporciona información de referencia sobre los tipos de rol de función, los archivos de configuración de SDV, los mensajes de error y advertencia.
Búsqueda de errores en el código del controlador de Windows
Microsoft usa SDV para probar los controladores en modo kernel que se incluyen con el sistema operativo Microsoft Windows y para probar los controladores de ejemplo en WDK. Mediante el uso de las reglas de cumplimiento de DDI para modelos de controladores específicos, SDV puede comprobar el comportamiento correcto del controlador. Por ejemplo, SDV puede comprobar que el controlador:
- Llama a funciones en el IRQL correcto.
- Adquiere y libera bloqueos en la secuencia correcta
- Usa correctamente funciones que controlan paquetes de solicitud de E/S (IRP)
SDV examina todas las rutas de acceso posibles a través del código del controlador. Está diseñado para encontrar errores graves en rutas de acceso ocultas que es poco probable que se encuentren incluso en pruebas exhaustivas.
Recursos adicionales
Para obtener información específica sobre los controladores que SDV puede comprobar, consulte Controladores admitidos.
Para obtener más información y sugerencias sobre el uso del comprobador de controladores estáticos, consulte lo siguiente:
Comentarios
Próximamente: A lo largo de 2024 iremos eliminando gradualmente GitHub Issues como mecanismo de comentarios sobre el contenido y lo sustituiremos por un nuevo sistema de comentarios. Para más información, vea: https://aka.ms/ContentUserFeedback.
Enviar y ver comentarios de