TaintAnalysis::lattice_info

Helps print lattice pointers. Like std::cout <<"lhs lattice is " <<lattice_info(lhs) <<"n". Convenient because the live/dead analysis causes some lattices to be missing (null).

Synopsis

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

static
std::string
lattice_info(TaintLattice const* lattice);

Parameters

Name	Description
lattice	A pointer to a vertex of the static taint lattice.

Created with MrDocs