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).

Nota 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 da OACR (Revisão automatizada de código) da Microsoft. A partir do Windows Driver Kit (WDK) 8, os recursos específicos do driver foram integrados à Análise da Qualidade do Aplicativo usando as Ferramentas de Análise de Código.

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