Usando o SAL anotações para reduzir os defeitos no código C/C++

O SAL é o idioma de anotação de código-fonte da Microsoft.Usando anotações do código-fonte, você pode fazer a intenção de apoio seu código explícita.Essas anotações também permitem ferramentas de análise estática automatizadas para analisar mais precisamente seu código, com significativamente menos falsos positivos e negativos falsos.

Os artigos nesta seção da documentação abordam aspectos de SAL, fornecem a referência para a sintaxe de SAL, e fornecem exemplos de uso.

• Noções básicas sobre SAL

  Fornece informações e exemplos que mostram as anotações de SAL principal.

• Anotando parâmetros de função e valores de retorno

  Lista as anotações de SAL para funções e parâmetros da função.

• Anotando o comportamento da função

  Lista as anotações de SAL para funções e comportamento da função.

• Anotando estruturas e classes

  Lista as anotações de SAL para estruturas e classes.

• Anotando o comportamento de bloqueio

  Explica como usar anotações de SAL com mecanismos de bloqueio.

• Especificando quando e onde uma anotação se aplica

  Lista as anotações de SAL que especificam a condição ou o escopo (posicionamento) de outras anotações de SAL.

• Funções intrínsecas

  Lista as anotações intrínsecas de SAL.

• Práticas recomendadas e exemplos (SAL)

  Fornece exemplos que mostram como usar anotações de SAL.Também explica armadilhas comuns.

Recursos relacionados

Blog da Equipe de Análise de Código

Consulte também

Outros recursos

SAL 2,0 anotações para drivers do Windows