Propriétés d'annotation
[Cette documentation constitue un aperçu et peut faire l'objet de modifications avec les versions ultérieures. Blank topics are included as placeholders.]
Chaque instance d'un attribut Pre ou Post spécifie un jeu de propriétés pour le paramètre ou la valeur de retour annoté à un niveau particulier de déréférencement.
Le tableau suivant répertorie les propriétés qui peuvent être exprimées comme un paramètre des attributs Pre et Post.
Dans cette section
Rubriques connexes
Guidelines for Writing Secure Code
Analyse de la qualité du code C/C++ à l'aide de l'analyse du code