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

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.

• Informazioni su SAL

  Fornisce informazioni ed esempi che illustrano le annotazioni SAL principali.

• Annotazione di parametri di funzione e valori restituiti

  Elenca le annotazioni SAL per le funzioni e i parametri di funzione.

• Annotazione del comportamento delle funzioni

  Elenca le annotazioni SAL per le funzioni ed il loro comportamento.

• Annotazioni di struct e classi

  Elenca le annotazioni SAL per le strutture e classi.

• Annotazione del comportamento di blocco

  Viene illustrato come utilizzare le annotazioni SAL con i meccanismi di blocco.

• Specificare dove e quando applicare un'annotazione

  Elenca le annotazioni SAL che specificano lo stato o l'ambito (percorso) di altre annotazioni SAL.

• Funzioni intrinseche

  Elenca le annotazioni SAL intrinseche.

• Suggerimenti ed esempi (SAL)

  Vengono forniti esempi che illustrano come utilizzare le annotazioni SAL.Inoltre vengono illustrati i problemi comuni.

Risorse correlate

Blog del Team di analisi codice

Vedere anche

Altre risorse

SAL 2.0 Annotazioni per Windows Drivers