Conjunto de regras de aviso (Storport)
Use essas regras para verificar se o driver pode processar corretamente os IRPs em vários contextos e segue as melhores práticas recomendadas da Microsoft.
Nesta seção
Tópico | Descrição |
---|---|
Essa regra verifica se, quando a macro PAGED_CODE é chamada, o driver está em DISPATCH_LEVEL IRQL<. Qualquer código em execução em IRQL >= DISPATCH_LEVEL deve estar na memória não paginada para evitar causar falhas de página. |
|
Essa regra verifica se um SRB não foi concluído com status SRB_STATUS_PENDING. |
Para selecionar o conjunto de regras de aviso
Selecione seu projeto de driver (.vcxProj) no Microsoft Visual Studio. No menu Driver , clique em Iniciar Verificador de Driver Estático....
Clique na guia Regras . Em Conjuntos de Regras, selecione Aviso.
Para selecionar o conjunto de regras padrão em uma janela do prompt de comando do desenvolvedor do Visual Studio, especifique Warning.sdv com a opção /marcar. Por exemplo:
msbuild /t:sdv /p:Inputs="/check:Warning.sdv" mydriver.VcxProj /p:Configuration="Win8 Release" /p:Platform=Win32
Para obter mais informações, consulte Using Static Driver Verifier to Find Defects in Drivers and Static Driver Verifier commands (MSBuild).