Usando anotações de SAL para reduzir defeitos de código do C/C++

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

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

• Noções básicas de 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 de 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