Análise de código para drivers
Code Analysis for 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 de driver (principalmente) de modo kernel.
Em 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 WDK Build, como parte do Microsoft Automated Code Review (OACR). A partir do WDK (Windows Driver Kit) 8, os recursos específicos do driver foram integrados ao Analisando a qualidade do aplicativo usando ferramentas de análise de código.
Importante
O Programa de Compatibilidade de Hardware do Windows requer o CodeQL para Teste de Logotipo de Ferramentas Estáticas (STL) em nossos sistemas operacionais cliente e servidor. Continuaremos mantendo o suporte para SDV e CA 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
- Visão geral da Análise de Código para drivers
- Como executar a análise de código para drivers
- Anotações SAL 2 para drivers do Windows
- Análise de código para avisos de drivers
Importante
A Análise de Código para drivers está disponível no WDK e EWDK do Windows 24H2, mas esteja ciente de que ela está definida para ser desativada em uma data futura.
No futuro, o CodeQL será a principal ferramenta de análise estática para drivers. 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, padrões e muito mais específicos.
Para obter mais informações sobre como usar o CodeQL, consulte CodeQL e o teste de logotipo de ferramentas estáticas.