IntraFWDataflow Member List

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

Analysis(bool(*f)(CFGNode)=defaultFilter)	Analysis	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)=0	IntraProceduralDataflow	pure 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)	IntraUnitDataflow	inlinevirtual
getUltimate(const Function &func)	IntraFWDataflow	virtual
initializeFunctionNodeState(const Function &func, NodeState *fState)	IntraFWDataflow	virtual
interAnalysis	IntraProceduralAnalysis	protected
IntraFWDataflow()	IntraFWDataflow	inline
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)=0	IntraUnitDataflow	pure virtual
transferFunctionCall(const Function &func, const DataflowNode &n, NodeState *state)	IntraFWDataflow	virtual
visited	IntraProceduralDataflow
~IntraProceduralAnalysis()	IntraProceduralAnalysis	virtual