Condividi tramite


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.

Vedi anche

Annotazioni SAL 2.0 per i driver di Windows