Tainted
A propriedade Tainted especifica se um valor é seguro para uso por outras funções.Essa propriedade é permitida em atributos pré e pós e pode ser aplicada a qualquer tipo de dados.
A propriedade Tainted deve ser conjunto usando um dos seguintes valores:
SA_Yes - o valor está corrompido e não pode ser confiável.
SA_No - o valor não está corrompido e pode ser confiável.
SA_Maybe - o valor pode estar corrompido e não pode ser confiável.
Exemplo
O código a seguir mostra como usar a propriedade 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);