Tainted
Tainted 屬性 (Property) 會指出某個值是否可安全地由其他函式使用。 這個屬性 (Property) 可以用在 Pre 和 Post 屬性 (Attribute) 上，而且可以套用至任何資料型別。
Tainted 屬性 (Property) 必須使用下列其中一個值進行設定：
SA_Yes - 值已污染且無法信任。
SA_No - 值未污染且可以信任。
SA_Maybe - 值可能污染且無法信任。
如果標示為 [Post(Tainted=Yes)] 的參數之值立即傳遞至標示為 [Pre(Tainted=No)] 的參數，就會引發 C6029 程式碼分析警告。
範例
下列程式碼會顯示如何使用 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