Utilizar anotaciones SAL para reducir defectos de código de C/C++

SAL es el lenguaje de anotación de código fuente de Microsoft.Mediante anotaciones de código fuente, se puede crear el propósito detrás del código explícito.Estas anotaciones también permiten a herramientas automatizadas de análisis estáticas analizar el código con más precisión, con una reducción significativa de falsos positivos y falsos negativos.

Los casos en esta sección de la documentación tratan los aspectos SAL, proporcionan la referencia para la sintaxis SAL y proporcionan ejemplos de su uso.

• Introducción a SAL

  Proporciona información y ejemplos que muestran las anotaciones de base SAL.

• Anotar parámetros de función y valores devueltos

  Enumera las anotaciones SAL para las funciones y los parámetros de la función.

• Anotar el comportamiento de funciones

  Enumera las anotaciones SAL para las funciones y el comportamiento de la función.

• Anotar structs y clases

  Enumera las anotaciones SAL para clases y estructuras.

• Anotar comportamiento de bloqueo

  Explica cómo utilizar anotaciones SAL con mecanismos de bloqueo.

• Especificar cuándo y dónde se aplica una anotación

  Enumera las anotaciones SAL que especifican la condición o el ámbito (posición) de otras anotaciones SAL.

• Funciones intrínsecas

  Enumera las anotaciones intrínsecas SAL.

• Procedimientos recomendados y ejemplos (SAL)

  Proporciona ejemplos que muestran cómo usar anotaciones SAL.También explica problemas comunes.

Recursos relacionados

Blog del equipo de análisis de código

Vea también

Otros recursos

SAL 2,0 Annotations para los controladores de Windows