Tainted
Tainted 속성은 다른 함수에서 값을 사용해도 안전한지 여부를 지정합니다. 이 속성은 Pre 및 Post 특성에서 사용할 수 있으며 모든 데이터 형식에 적용할 수 있습니다.
다음 값 중 하나를 사용하여 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