Utilizar anotaciones SAL para reducir defectos de código de C/C++Using SAL Annotations to Reduce C/C++ Code Defects

SAL es el lenguaje de anotación de código de origen de Microsoft.SAL is the Microsoft source code annotation language. Mediante el uso de anotaciones de código fuente, puede aclarar la intención detrás del código explícito.By using source code annotations, you can make the intent behind your code explicit. Estas anotaciones también habilitar herramientas de análisis estático automático analizar el código con más precisión, con muchos menos falsos positivos y falsos negativos.These annotations also enable automated static analysis tools to analyze your code more accurately, with significantly fewer false positives and false negatives.

Los artículos de esta sección de la documentación tratan aspectos de SAL, proporcionan referencia de sintaxis SAL y proporcionen ejemplos de su uso.The articles in this section of the documentation discuss aspects of SAL, provide reference for SAL syntax, and give examples of its use.

Blog del equipo de análisis de códigoCode Analysis Team Blog

Vea tambiénSee Also

SAL 2.0 anotaciones para controladores de WindowsSAL 2.0 Annotations for Windows Drivers