IntraProceduralDataflow Member List

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

Analysis(bool(*f)(CFGNode)=defaultFilter)	Analysis	inline
filter	Analysis
genInitState(const Function &func, const DataflowNode &n, const NodeState &state, std::vector< Lattice * > &initLattices, std::vector< NodeFact * > &initFacts)=0	IntraProceduralDataflow	pure virtual
getInterAnalysis() const	IntraProceduralDataflow	inline
interAnalysis	IntraProceduralAnalysis	protected
runAnalysis(const Function &func, NodeState *state, bool analyzeDueToCallers, std::set< Function > calleesUpdated)=0	IntraProceduralDataflow	pure virtual
runAnalysis(const Function &func, NodeState *state)	IntraProceduralDataflow	inlinevirtual
setInterAnalysis(InterProceduralDataflow *interDataflowAnalysis)	IntraProceduralDataflow	inline
setInterAnalysis(IntraProceduralDataflow *intraDFAnalysis)	IntraProceduralDataflow	inline
IntraProceduralAnalysis::setInterAnalysis(InterProceduralAnalysis *interAnalysis)	IntraProceduralAnalysis	inline
visited	IntraProceduralDataflow
~IntraProceduralAnalysis()	IntraProceduralAnalysis	virtual