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

SAL é a linguagem de anotação do código-fonte da Microsoft. Usando anotações de código-fonte, você pode tornar explícita a intenção por trás do código. Essas anotações também permitem que 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 desta seção da documentação discutem aspetos da SAL, fornecem referência para a sintaxe da SAL e dão exemplos de seu uso.

• Compreender SAL

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

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

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

• Anotando o comportamento da função

  Lista as anotações SAL para funções e comportamento das funções.

• Anotando Estruturas e Classes

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

• Anotação do comportamento de bloqueio

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

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

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

• Funções Intrínsecas

  Lista as anotações SAL intrínsecas.

• Melhores práticas e exemplos

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

Ver também

Anotações SAL 2.0 para drivers do Windows