Propriétés d'annotation
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
Sections connexes
Indications pour l'écriture de code sécurisé
Analyse de la qualité du code C/C++ à l'aide de l'analyse du code