Partilhar via

Análise de código para controladores

Code Analysis for Drivers é uma ferramenta de verificação estática em tempo de compilação que deteta erros básicos de codificação em programas C e C++ e inclui um módulo especializado que é projetado para detetar erros no código de driver de 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 WDK Build, como parte do Microsoft Automated Code Review (OACR). A partir do Windows Driver Kit (WDK) 8, as funcionalidades específicas do driver foram integradas à análise da qualidade de aplicações usando ferramentas de análise de código.

Importante

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

Nesta secção

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 será desativada em uma data futura.
No futuro, o CodeQL será a ferramenta principal de análise estática para controladores. O CodeQL fornece uma linguagem de consulta poderosa que trata o código como um banco de dados a ser consultado, simplificando a escrita 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.

  • Last updated on