DivAnalysis Member List

This is the complete list of members for DivAnalysis, including all inherited members.

Analysis(bool(*f)(CFGNode)=defaultFilter)	Analysis	inline
constVars	DivAnalysis	protectedstatic
constVars_init	DivAnalysis	protectedstatic
DivAnalysis(LiveDeadVarsAnalysis *ldva)	DivAnalysis	inline
filter	Analysis
gatherDescendants(std::vector< DataflowEdge > edges, DataflowNode(DataflowEdge::*edgeFn)() const)	IntraUniDirectionalDataflow	protected
genInitState(const Function &func, const DataflowNode &n, const NodeState &state, std::vector< Lattice * > &initLattices, std::vector< NodeFact * > &initFacts)	DivAnalysis	virtual
getDescendants(const DataflowNode &n)	IntraFWDataflow	virtual
getInitialWorklist(const Function &func, bool firstVisit, bool analyzeDueToCallers, const set< Function > &calleesUpdated, NodeState *fState)	IntraFWDataflow	virtual
getInterAnalysis() const	IntraProceduralDataflow	inline
getLatticeAnte(NodeState *state)	IntraFWDataflow	virtual
getLatticePost(NodeState *state)	IntraFWDataflow	virtual
getTransferVisitor(const Function &func, const DataflowNode &n, NodeState &state, const std::vector< Lattice * > &dfInfo)	DivAnalysis	inlinevirtual
getUltimate(const Function &func)	IntraFWDataflow	virtual
initializeFunctionNodeState(const Function &func, NodeState *fState)	IntraFWDataflow	virtual
interAnalysis	IntraProceduralAnalysis	protected
IntraFWDataflow()	IntraFWDataflow	inline
ldva	DivAnalysis	protected
propagateStateToNextNode(const std::vector< Lattice * > &curNodeState, DataflowNode curDFNode, int nodeIndex, const std::vector< Lattice * > &nextNodeState, DataflowNode nextDFNode)	IntraUniDirectionalDataflow	protected
runAnalysis(const Function &func, NodeState *state, bool analyzeDueToCallers, std::set< Function > calleesUpdated)	IntraUniDirectionalDataflow	virtual
IntraUnitDataflow::runAnalysis(const Function &func, NodeState *state)	IntraProceduralDataflow	inlinevirtual
setInterAnalysis(InterProceduralDataflow *interDataflowAnalysis)	IntraProceduralDataflow	inline
setInterAnalysis(IntraProceduralDataflow *intraDFAnalysis)	IntraProceduralDataflow	inline
IntraProceduralAnalysis::setInterAnalysis(InterProceduralAnalysis *interAnalysis)	IntraProceduralAnalysis	inline
transfer(const Function &func, const DataflowNode &n, NodeState &state, const std::vector< Lattice * > &dfInfo)	DivAnalysis	inlinevirtual
transferFunctionCall(const Function &func, const DataflowNode &n, NodeState *state)	IntraFWDataflow	virtual
visited	IntraProceduralDataflow
~IntraProceduralAnalysis()	IntraProceduralAnalysis	virtual