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

SAL é a linguagem de anotação de código-fonte da Microsoft. Usando anotações de código-fonte, você pode tornar a intenção por trás do código explícita. Essas anotações também permitem que as ferramentas de análise estática automatizadas analisem seu código com mais precisão, com significativamente menos falsos positivos e falsos negativos.

Os artigos nesta seção da documentação discutem aspectos da SAL, fornecem referência à sintaxe da SAL e dão exemplos do uso dela.

• Noções básicas de SAL

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

• 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 de 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

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

Confira também

Anotações de SAL 2.0 para drivers do Windows