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