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.