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

SAL è il linguaggio di annotazione del codice sorgente Microsoft. Usando le annotazioni del codice sorgente, è possibile rendere esplicita la finalità alla base del codice. Queste annotazioni consentono anche agli strumenti di analisi statica automatizzati di analizzare il codice in modo più accurato, con un minor numero significativo di falsi positivi e falsi negativi.

Gli articoli in questa sezione della documentazione illustrano gli aspetti di SAL, forniscono informazioni di riferimento per la sintassi SAL e ne forniscono esempi.

• Informazioni su SAL

  Fornisce informazioni ed esempi che mostrano le annotazioni SAL di base.

• Annotazione di parametri di funzione e valori restituiti

  Elenca le annotazioni SAL per funzioni e parametri di funzione.

• Annotazione del comportamento delle funzioni

  Elenca le annotazioni SAL per le funzioni e il comportamento della funzione.

• Annotazioni di struct e classi

  Elenca le annotazioni SAL per strutture e classi.

• Annotazione del comportamento di blocco

  Viene illustrato come usare le annotazioni SAL con meccanismi di blocco.

• Specificare dove e quando applicare un'annotazione

  Elenca le annotazioni SAL che specificano la condizione o l'ambito (posizionamento) di altre annotazioni SAL.

• Funzioni intrinseche

  Elenca le annotazioni SAL intrinseche.

• Suggerimenti ed esempi

  Vengono forniti esempi che illustrano come usare le annotazioni SAL. Spiega anche le insidie comuni.

Vedi anche

Annotazioni SAL 2.0 per i driver di Windows