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 verificació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.

Ejemplo	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.