Description

Definition at line 29 of file ConstrGraphAnalysis.h.

Inheritance diagram for ConstrGraphAnalysis:

Collaboration diagram for ConstrGraphAnalysis:

[legend]

Public Member Functions
	ConstrGraphAnalysis (LiveDeadVarsAnalysis ldva, DivAnalysis divAnalysis)

void	genInitState (const Function &func, const DataflowNode &n, const NodeState &state, vector< Lattice * > &initLattices, vector< NodeFact * > &initFacts)

bool	transfer (const Function &func, const DataflowNode &n, NodeState &state, const vector< Lattice * > &dfInfo)

bool	incorporateConditionalsInfo (const Function &func, const DataflowNode &n, NodeState &state, const vector< Lattice * > &dfInfo)

bool	removeConstrDivVars (const Function &func, const DataflowNode &n, NodeState &state, const vector< Lattice * > &dfInfo, string indent="")

Public Member Functions inherited from IntraFWDataflow
NodeState *	initializeFunctionNodeState (const Function &func, NodeState *fState)

VirtualCFG::dataflow *	getInitialWorklist (const Function &func, bool firstVisit, bool analyzeDueToCallers, const set< Function > &calleesUpdated, NodeState *fState)

vector< Lattice * >	getLatticeAnte (NodeState *state)

vector< Lattice * >	getLatticePost (NodeState *state)

void	transferFunctionCall (const Function &func, const DataflowNode &n, NodeState *state)

vector< DataflowNode >	getDescendants (const DataflowNode &n)

DataflowNode	getUltimate (const Function &func)

Public Member Functions inherited from IntraUniDirectionalDataflow
bool	runAnalysis (const Function &func, NodeState *state, bool analyzeDueToCallers, std::set< Function > calleesUpdated)

Public Member Functions inherited from IntraUnitDataflow
virtual boost::shared_ptr< IntraDFTransferVisitor >	getTransferVisitor (const Function &func, const DataflowNode &n, NodeState &state, const std::vector< Lattice * > &dfInfo)

Public Member Functions inherited from IntraProceduralDataflow
void	setInterAnalysis (InterProceduralDataflow *interDataflowAnalysis)

void	setInterAnalysis (IntraProceduralDataflow *intraDFAnalysis)

bool	runAnalysis (const Function &func, NodeState *state)

InterProceduralDataflow *	getInterAnalysis () const

Public Member Functions inherited from IntraProceduralAnalysis
void	setInterAnalysis (InterProceduralAnalysis *interAnalysis)

Public Member Functions inherited from Analysis
	Analysis (bool(*f)(CFGNode)=defaultFilter)

Protected Attributes
DivAnalysis *	divAnalysis

LiveDeadVarsAnalysis *	ldva

Protected Attributes inherited from IntraProceduralAnalysis
InterProceduralAnalysis *	interAnalysis

Static Protected Attributes
static map< varID, Lattice * >	constVars

Additional Inherited Members
Public Attributes inherited from IntraProceduralDataflow
std::set< Function >	visited

Public Attributes inherited from Analysis
bool(*	filter )(CFGNode cfgn)

Protected Member Functions inherited from IntraUniDirectionalDataflow
bool	propagateStateToNextNode (const std::vector< Lattice * > &curNodeState, DataflowNode curDFNode, int nodeIndex, const std::vector< Lattice * > &nextNodeState, DataflowNode nextDFNode)

std::vector< DataflowNode >	gatherDescendants (std::vector< DataflowEdge > edges, DataflowNode(DataflowEdge::*edgeFn)() const)

Constructor & Destructor Documentation

◆ ConstrGraphAnalysis()

ConstrGraphAnalysis::ConstrGraphAnalysis	(	LiveDeadVarsAnalysis *	ldva,
		DivAnalysis *	divAnalysis
	)

inline

Definition at line 42 of file ConstrGraphAnalysis.h.

Member Function Documentation

◆ genInitState()

void ConstrGraphAnalysis::genInitState	(	const Function &	func,
		const DataflowNode &	n,
		const NodeState &	state,
		vector< Lattice * > &	initLattices,
		vector< NodeFact * > &	initFacts
	)

virtual

Implements IntraProceduralDataflow.

◆ transfer()

bool ConstrGraphAnalysis::transfer	(	const Function &	func,
		const DataflowNode &	n,
		NodeState &	state,
		const vector< Lattice * > &	dfInfo
	)

virtual

Implements IntraUnitDataflow.

Member Data Documentation

◆ constVars

map<varID, Lattice*> ConstrGraphAnalysis::constVars

staticprotected

Definition at line 32 of file ConstrGraphAnalysis.h.

◆ divAnalysis

DivAnalysis* ConstrGraphAnalysis::divAnalysis

protected

Definition at line 33 of file ConstrGraphAnalysis.h.

◆ ldva

LiveDeadVarsAnalysis* ConstrGraphAnalysis::ldva

protected

Definition at line 39 of file ConstrGraphAnalysis.h.

The documentation for this class was generated from the following file:

ConstrGraphAnalysis.h