Se recomienda usar Visual Studio 2017

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

 

Publicado: julio de 2016

Para obtener la documentación más reciente de Visual Studio 2017 RC, consulte Documentación de Visual Studio 2017 RC.

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.

Blog del equipo de análisis de código

SAL 2,0 Annotations para los controladores de Windows

Mostrar: