Tainted
Mise à jour : novembre 2007
La propriété Tainted spécifie si une valeur est sûre pour une utilisation par d'autres fonctions. Cette propriété est autorisée sur les attributs Pre et Post et peut s'appliquer à tout type de données.
La propriété Tainted doit être définie à l'aide de l'une des valeurs suivantes :
SA_Yes - la valeur est Tainted et ne peut pas être approuvée.
SA_No - la valeur n'est pas Tainted et peut être approuvée.
SA_Maybe - la valeur peut être Tainted et ne peut pas être approuvée.
Exemple
Le code suivant illustre l'utilisation de la propriété Tainted :
// C
#include <CodeAnalysis\SourceAnnotations.h>
void f([SA_Pre(Tainted=SA_Yes)] int c);
// C++
#include <CodeAnalysis\SourceAnnotations.h>
using namespace vc_attributes;
void f([Pre(Tainted=Yes)] int c);
Voir aussi
Concepts
Vue d'ensemble de l'annotation