Ejemplos de herramientas
Los ejemplos de controladores de este directorio contienen errores de código intencionales diseñados para mostrar las funcionalidades y características del Comprobador de controladores estáticos (SDV).
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 se incluye en el Kit de controladores de Windows (WDK) y se puede ejecutar desde Microsoft Visual Studio.
Muestra | Descripción |
---|---|
DV-FailDriver-WDM | En este ejemplo se muestra cómo DV puede encontrar errores en un controlador WDM. |
SDV-FailDriver-KMDF | En este ejemplo se muestra cómo SDV puede encontrar errores en un controlador KMDF. |
SDV-FailDriver-NDIS | En este ejemplo se muestra cómo SDV puede encontrar errores en un controlador NDIS. |
SDV-FailDriver-STORPORT | En este ejemplo se muestra cómo SDV puede encontrar errores en un controlador storport. |
SDV-FailDriver-WDM | En este ejemplo se muestra cómo SDV puede encontrar errores en un controlador WDM. |