Tainted
Свойство Tainted задает, является ли значение безопасным для использования другими функциями. Данное свойство применяется к пред- и постатрибутам и может использоваться с любыми типами данных.
Свойство Tainted должно быть задано при помощи одного из следующих значений:
SA_Yes — значение небезопасно и не заслуживает доверия.
SA_No — значение безопасно и заслуживает доверия.
SA_Maybe — значение может быть небезопасно и не заслуживает доверия.
Предупреждения анализа кода C6029 возникает, если значение параметра, помеченного как [Post(Tainted=Yes)] передается непосредственно в параметр, помеченный как [Pre(Tainted=No)].
Пример
В следующем примере кода демонстрируется использование свойства 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