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 el uso de anotaciones de código fuente, puede hacer que la intención subyacente al código sea explícita. Estas anotaciones también permiten a las herramientas de análisis estático automatizado analizar el código con más precisión, con un número considerablemente menor de falsos positivos y falsos negativos.

Los artículos de esta sección de la documentación analizan aspectos de SAL, proporcionan referencia para la sintaxis sal y proporcionan 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 las funciones y el comportamiento de la función.

• 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 (selección de ubicació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 los problemas comunes.

Consulte también

Anotaciones de SAL 2.0 para Windows controladores