Annotazioni SAL
Se si esaminano i file di intestazione della libreria, possono essere presenti alcune annotazioni descritti, ad esempio, _In_z e _Out_z_cap_(_Size).Questi sono esempi di linguaggio di annotazione del codice sorgente Microsoft (SAL), che fornisce un set di annotazioni per descrivere come una funzione utilizza i parametri, ad esempio, i presupposti che a loro e le garanzie effettua su rifinitura.Il file di intestazione <sal.h> definisce le annotazioni.
Per ulteriori informazioni sull'utilizzo delle annotazioni SAL in Visual C++ in Visual Studio 2012, vedere Utilizzo delle annotazioni SAL per ridurre gli errori del codice C/C++.