Compartilhar via

Análise de código para drivers

A Análise de Código para Drivers é uma ferramenta de verificação estática em tempo de compilação que detecta erros básicos de codificação em programas C e C++ e inclui um módulo especializado projetado para detectar erros no código do driver do modo kernel (principalmente).

Nas versões anteriores do WDK, o módulo específico do driver para análise de código fazia parte de uma ferramenta autônoma chamada PREfast for Drivers (PFD). O PREfast for Drivers também foi integrado ao ambiente de Build do WDK, como parte do Microsoft Automated Code Review (OACR). A partir do Windows Driver Kit (WDK) 8, os recursos específicos do driver foram integrados com a Análise da Qualidade do Aplicativo usando as Ferramentas de Análise de Código.

Importante

O Programa de Compatibilidade de Hardware do Windows requer testes do CodeQL para STL (logotipo da ferramenta estática) em nossos sistemas operacionais cliente e servidor. Continuaremos a manter o suporte para SDV e AC em produtos mais antigos. Os parceiros são altamente encorajados a analisar os requisitos do CodeQL para o Teste de Logotipo de Ferramentas Estáticas. Para obter mais informações sobre como usar o CodeQL, consulte CodeQL e o Teste de Logotipo de Ferramentas Estáticas.

Nesta seção

Importante

A Análise de Código para drivers está disponível no WDK do Windows 24H2 e no EWDK, mas esteja ciente de que ela está programada para ser desativada em uma data futura.
De agora em diante, o CodeQL será a ferramenta principal de análise estática para drivers de software. O CodeQL fornece uma linguagem de consulta poderosa que trata o código como um banco de dados a ser consultado, simplificando a gravação de consultas para comportamentos específicos, padrões e muito mais. Para obter mais informações sobre como usar o CodeQL, consulte CodeQL e o Teste de Logotipo de Ferramentas Estáticas.

  • Last updated on