TaintLattice::Vertex
The differet vertices of this static lattice. They're defined in a particular order so that the meetUpdate() method only needs to compute the maximum when merging two vertex pointers. A value is considered to be tainted if it points to the VERTEX_TAINTED or the VERTEX_TOP vertex of the static taint lattice.
Synopsis
Declared in <src/midend/programAnalysis/genericDataflow/simpleAnalyses/taintAnalysis.h>
enum Vertex;Members
Name |
Description |
|
No information is known about the value of the variable. |
|
Value is not tainted. |
|
Value is tainted. |
Created with MrDocs