Nota:
El acceso a esta página requiere autorización. Puede intentar iniciar sesión o cambiar directorios.
El acceso a esta página requiere autorización. Puede intentar cambiar los directorios.
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.
Se desencadena la advertencia de análisis de código C6029 si el valor de un parámetro que se marca [Post(Tainted=Yes)] se pasa inmediatamente a un parámetro que se marca [Pre(Tainted=No)].
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);m
Vea también
Conceptos
Información general sobre anotaciones