Tainted
更新：2007 年 11 月
Tainted 属性指定某个值是否可以安全地由其他函数使用。 Pre 和 Post 属性 (Attribute) 上允许此属性 (Property)，此属性 (Property) 可以应用于任何数据类型。
必须使用下列值之一来设置 Tainted 属性：
SA_Yes - 此值已被污染，不能信任。
SA_No - 此值未被污染，可以信任。
SA_Maybe - 此值可能已被污染，不能信任。
示例
下面的代码演示如何使用 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);