Uso delle annotazioni SAL per ridurre gli errori del codice C/C++

 

Data di pubblicazione: agosto 2016

Per la documentazione più recente di Visual Studio 2017 RC, vedere Documentazione di Visual Studio 2017 RC.

Il SAL è il linguaggio di annotazione del codice sorgente Microsoft. Utilizzando le annotazioni di codice sorgente, è possibile rendere lo scopo del codice esplicita. Queste annotazioni consentono anche agli strumenti di analisi statistica automatizzati di analizzare il codice più precisamente, con molto meno falsi positivi e falsi negativi.

Gli articoli in questa sezione della documentazione illustrano vari aspetti di SAL, con riferimenti per la sintassi di SAL ed esempi sul relativo utilizzo.

Blog del team di analisi codice

Annotazioni SAL 2.0 per driver di Windows

Mostra: