Nota
L'accesso a questa pagina richiede l'autorizzazione. È possibile provare ad accedere o modificare le directory.
L'accesso a questa pagina richiede l'autorizzazione. È possibile provare a modificare le directory.
La proprietà Tainted specifica se un valore può essere utilizzato in modo sicuro da altre funzioni. Può essere utilizzata per gli attributi Pre e Post ed essere applicata a qualsiasi tipo di dati.
La proprietà Tainted deve essere impostata utilizzando uno dei seguenti valori:
SA_Yes: il valore è danneggiato e non può essere considerato attendibile.
SA_No: il valore non è danneggiato e può essere considerato attendibile.
SA_Maybe: il valore potrebbe essere danneggiato e non può essere considerato attendibile.
L'avviso di analisi del codice C6029 viene generato se il valore di un parametro contrassegnato con [Post(Tainted=Yes)] viene passato immediatamente a un parametro contrassegnato con [Pre(Tainted=No)].
Esempio
Nel codice riportato di seguito viene illustrato come utilizzare la proprietà 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
Vedere anche
Concetti
Cenni preliminari sull'annotazione