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

SAL es el lenguaje de anotación de código fuente de Microsoft. Con las anotaciones de código fuente, puede hacer que la intención subyacente al código sea explícita. Estas anotaciones también permiten herramientas de análisis estático automatizadas para analizar el código con mayor precisión, con muchos menos falsos positivos y falsos negativos.

En los artículos de esta sección de la documentación se tratan aspectos de SAL y se proporciona una referencia de la sintaxis de SAL y ejemplos de su uso.

• Introducción a SAL

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

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

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

• Anotar el comportamiento de funciones

  Enumera las anotaciones SAL para funciones y comportamiento de funciones.

• Anotar structs y clases

  Enumera las anotaciones SAL para estructuras y clases.

• Anotar comportamiento de bloqueo

  Explica cómo usar 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 (colocación) de otras anotaciones SAL.

• Funciones intrínsecas

  Enumera las anotaciones SAL intrínsecas.

• Procedimientos recomendados y ejemplos

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

Consulte también

Anotaciones SAL 2.0 para controladores de Windows