ROSE 0.11.145.147
IntraUniDirectionalDataflow Member List

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

Analysis(bool(*f)(CFGNode)=defaultFilter) (defined in Analysis)Analysisinline
filter (defined in Analysis)Analysis
gatherDescendants(std::vector< DataflowEdge > edges, DataflowNode(DataflowEdge::*edgeFn)() const) (defined in IntraUniDirectionalDataflow)IntraUniDirectionalDataflowprotected
genInitState(const Function &func, const DataflowNode &n, const NodeState &state, std::vector< Lattice * > &initLattices, std::vector< NodeFact * > &initFacts)=0 (defined in IntraProceduralDataflow)IntraProceduralDataflowpure virtual
getDescendants(const DataflowNode &n)=0 (defined in IntraUniDirectionalDataflow)IntraUniDirectionalDataflowprotectedpure virtual
getInitialWorklist(const Function &func, bool firstVisit, bool analyzeDueToCallers, const set< Function > &calleesUpdated, NodeState *fState)=0 (defined in IntraUniDirectionalDataflow)IntraUniDirectionalDataflowprotectedpure virtual
getInterAnalysis() const (defined in IntraProceduralDataflow)IntraProceduralDataflowinline
getLatticeAnte(NodeState *state)=0 (defined in IntraUniDirectionalDataflow)IntraUniDirectionalDataflowprotectedpure virtual
getLatticePost(NodeState *state)=0 (defined in IntraUniDirectionalDataflow)IntraUniDirectionalDataflowprotectedpure virtual
getTransferVisitor(const Function &func, const DataflowNode &n, NodeState &state, const std::vector< Lattice * > &dfInfo) (defined in IntraUnitDataflow)IntraUnitDataflowinlinevirtual
getUltimate(const Function &func)=0 (defined in IntraUniDirectionalDataflow)IntraUniDirectionalDataflowprotectedpure virtual
initializeFunctionNodeState(const Function &func, NodeState *fState)=0 (defined in IntraUniDirectionalDataflow)IntraUniDirectionalDataflowprotectedpure virtual
interAnalysis (defined in IntraProceduralAnalysis)IntraProceduralAnalysisprotected
propagateStateToNextNode(const std::vector< Lattice * > &curNodeState, DataflowNode curDFNode, int nodeIndex, const std::vector< Lattice * > &nextNodeState, DataflowNode nextDFNode) (defined in IntraUniDirectionalDataflow)IntraUniDirectionalDataflowprotected
runAnalysis(const Function &func, NodeState *state, bool analyzeDueToCallers, std::set< Function > calleesUpdated) (defined in IntraUniDirectionalDataflow)IntraUniDirectionalDataflowvirtual
runAnalysis(const Function &func, NodeState *state) (defined in IntraProceduralDataflow)IntraProceduralDataflowinlinevirtual
setInterAnalysis(InterProceduralDataflow *interDataflowAnalysis) (defined in IntraProceduralDataflow)IntraProceduralDataflowinline
setInterAnalysis(IntraProceduralDataflow *intraDFAnalysis) (defined in IntraProceduralDataflow)IntraProceduralDataflowinline
setInterAnalysis(InterProceduralAnalysis *interAnalysis) (defined in IntraProceduralAnalysis)IntraProceduralAnalysisinline
transfer(const Function &func, const DataflowNode &n, NodeState &state, const std::vector< Lattice * > &dfInfo)=0 (defined in IntraUnitDataflow)IntraUnitDataflowpure virtual
transferFunctionCall(const Function &func, const DataflowNode &n, NodeState *state)=0 (defined in IntraUniDirectionalDataflow)IntraUniDirectionalDataflowprotectedpure virtual
visited (defined in IntraProceduralDataflow)IntraProceduralDataflow
~IntraProceduralAnalysis() (defined in IntraProceduralAnalysis)IntraProceduralAnalysisvirtual