TaintLattice::get_vertex

Accessor for this node's vertex in the lattice. The set_level() mutator also returns true if the new value is different than the old value, and false if there was no change. @{

Synopsis

Declared in <src/midend/programAnalysis/genericDataflow/simpleAnalyses/taintAnalysis.h>

Vertex
get_vertex() const;

Return Value

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.

Created with MrDocs