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 definida 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.
O C6029 Aviso de análise de código é acionado se o valor de um parâmetro está marcado como [Post(Tainted=Yes)] imediatamente é passado para um parâmetro que está marcado como [Pre(Tainted=No)].
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);m