Nota
O acesso a esta página requer autorização. Podes tentar iniciar sessão ou mudar de diretório.
O acesso a esta página requer autorização. Podes tentar mudar de diretório.
Use estas regras para verificar se o driver usa corretamente os DDIs WDM.
Nesta secção
| Tópico | Descrição |
|---|---|
A regra DebugBreakUsage especifica que o driver não deve chamar DbgBreakPoint ou DbgBreakPointWithStatus. Esta regra só se aplica quando você está criando uma versão não-depuração do driver. |
|
A regra DoubleFetch verifica se há busca dupla nos ponteiros de memória do modo de usuário. Acessos duplos ao modo kernel da memória do modo de usuário podem levar a um problema de segurança de condição de corrida. Ao acessar os dados do modo de usuário, o código do modo kernel precisa fazer uma cópia dos dados do modo de usuário localmente e evitar acessar os dados do modo de usuário várias vezes. Não fazer isso resulta em um tipo de problema conhecido como "busca dupla", onde os dados podem mudar depois que foram acessados pela primeira vez. |
|
A regra NullCheck verifica se um valor NULL dentro do código do driver não é desreferenciado posteriormente no driver. Esta regra relata um defeito se uma destas condições for verdadeira:
** Com violações da regra NullCheck, as instruções de código mais relevantes são realçadas no painel da estrutura hierárquica de rastreamento. Para obter mais informações sobre como trabalhar com saída de relatório, consulte Relatório do verificador de driver estático e Noções básicas sobre o visualizador de rastreamento. |
|
A regra SafeStrings especifica que o driver chama apenas as funções de manipulação de cadeia de caracteres que protegem o sistema contra invasões não intencionais ou maliciosas. Essas funções de cadeia de caracteres seguras para drivers são definidas em Ntstrsafe.h. |
|
A regra ObsoleteDDIs especifica que os drivers não devem chamar FsRtlPrivateLock. Esta função está obsoleta. Use FsRtlFastLock em vez disso. |
Para selecionar o conjunto de regras de uso de DDI
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 DDIUsage.
Para selecionar o conjunto de regras padrão em uma janela de prompt de comando do desenvolvedor do Visual Studio, especifique DDIUsage.sdv com a opção /check . Por exemplo:
msbuild /t:sdv /p:Inputs="/check:DDIUsage.sdv" mydriver.VcxProj /p:Configuration="Win8 Release" /p:Platform=Win32Para 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).