Partilhar via


Conjunto de regras IRQL (KMDF)

Use estas regras para verificar se o driver faz chamadas DDI no IRQL necessário.

Um driver que não segue as regras IRQL pode causar sérios problemas durante a operação que podem levar a condições de bloqueio ou falhas do computador.

Nesta secção

Tópico Descrição

KmdfIrql

A regra KmdfIrql especifica que um driver chama um método de estrutura em um IRQL que é menor ou igual ao IRQL máximo para esse método.

KmdfIrql2

A regra KmdfIrql2 especifica que um driver chama um método de estrutura em um IRQL que é menor ou igual ao IRQL máximo para esse método.

UsbKmdfIrql

A regra UsbKmdfIrql especifica que um driver KMDF não chama as interfaces específicas de driver de dispositivo USB (DDI) a um nível IRQL incorreto.

UsbKmdfIrql2

A regra UsbKmdfIrql2 especifica que um driver KMDF não deve chamar DDIs específicas do USB no nível IRQL incorreto.

UsbKmdfIrqlExplicit

A regra UsbKmdfIrqlExplicit verifica se as DDIs KMDF são chamadas no nível IRQL correto. Esta regra aplica-se a todas as funções EvtIoCallback.

WdfRequestSendSyncAtDispatch

A regra WdfRequestSendSyncAtDispatch verifica se a função WdfRequestSend é enviada no nível de prioridade IRQL correto.

WdfRequestSendSyncAtDispatch2

A regra WdfRequestSendSyncAtDispatch2 verifica se a função WdfRequestSend é enviada no nível de prioridade IRQL correto.

Para selecionar o conjunto de regras Irql

  1. Selecione seu projeto de driver (.vcxProj) no Microsoft Visual Studio. No menu Driver, clique em Iniciar Verificador de Driver Estático...

  2. Clique na guia Regras . Em Conjuntos de Regras, selecione Irql.

    Para selecionar o conjunto de regras padrão em uma janela de prompt de comando do desenvolvedor do Visual Studio, especifique Irql.sdv com a opção /check . Por exemplo:

    msbuild /t:sdv /p:Inputs="/check:Irql.sdv" mydriver.VcxProj /p:Configuration="Win8 Release" /p:Platform=Win32
    

    Para obter mais informações, consulte Usando o Verificador de Driver Estático para Localizar Defeitos em Drivers e Comandos do Verificador de Driver Estático (MSBuild).