Tainted

Actualización: noviembre 2007

La propiedad Tainted especifica si un valor es seguro para su uso por otras funciones. Esta propiedad se permite en los atributos Pre y Post y se puede aplicar a cualquier tipo de datos.

La propiedad Tainted se debe establecer utilizando uno de los valores siguientes:

  • SA_Yes: el valor está dañado y no es confiable.

  • SA_No: el valor no está dañado y es confiable.

  • SA_Maybe: el valor podría estar dañado y no es confiable.

Ejemplo

En el siguiente código se muestra cómo se utiliza la propiedad 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);

Vea también

Conceptos

Información general sobre anotaciones

Otros recursos

Propiedades de anotación