IntraFWDataflow

Synopsis

Declared in <src/midend/programAnalysis/genericDataflow/analysis/dataflow.h>

class IntraFWDataflow
    : public IntraUniDirectionalDataflow

Base Classes

Name	Description
IntraUniDirectionalDataflow

Member Functions

Name	Description
IntraFWDataflow [constructor]	Default constructor
getDescendants [virtual]
getInitialWorklist [virtual]
getLatticeAnte [virtual]
getLatticePost [virtual]
getUltimate [virtual]
initializeFunctionNodeState [virtual]
transferFunctionCall [virtual]

Non-Member Functions

Name	Description
Dbg::dotGraphGenerator	Generate dot graphs for an analysis: it handles intra‐procedural analysis for now.

Derived Classes

Name	Description
ConstrGraphAnalysis
DivAnalysis
DominatorAnalysis
SeqStructAnalysis
SgnAnalysis
TaintAnalysis	Taint Flow Analysis******
nodeConstAnalysis
printDataflowInfoPass	** printDataflowInfoPass * Prints out the dataflow information associated * with a given analysis for every CFG node a * function. *****

Created with MrDocs