Utilizzo delle annotazioni per ridurre gli errori del codice C/C++
Le annotazioni consentono a una funzione di dichiarare in modo esplicito il comportamento di parametri e valori restituiti prima e dopo la chiamata alla funzione. Le informazioni ulteriori fornite dallo sviluppatore vengono utilizzate dallo strumento di analisi del codice per rilevare le violazioni del contratto tra il chiamante e il chiamato. Lo schema di annotazione viene implementato come attributi del compilatore VC++.
Nelle sezioni che seguono vengono fornite ulteriori informazioni sugli attributi e sulle modalità con cui essi vengono definiti e applicati.
In questa sezione
Vengono illustrate le annotazioni, gli attributi, le proprietà e l'utilizzo. |
|
Viene illustrato come annotare il codice C/C++ compilato utilizzando l'opzione /TP. |
|
Viene illustrato come annotare il codice C/C++ compilato utilizzando l'opzione /TC. |
|
Vengono elencate e descritte le proprietà che è possibile utilizzare durante l'annotazione del codice. |