ROSE 0.11.145.192
IntraFWDataflow Member List

This is the complete list of members for IntraFWDataflow, 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) (defined in IntraFWDataflow)IntraFWDataflowvirtual
getInitialWorklist(const Function &func, bool firstVisit, bool analyzeDueToCallers, const set< Function > &calleesUpdated, NodeState *fState) (defined in IntraFWDataflow)IntraFWDataflowvirtual
getInterAnalysis() const (defined in IntraProceduralDataflow)IntraProceduralDataflowinline
getLatticeAnte(NodeState *state) (defined in IntraFWDataflow)IntraFWDataflowvirtual
getLatticePost(NodeState *state) (defined in IntraFWDataflow)IntraFWDataflowvirtual
getTransferVisitor(const Function &func, const DataflowNode &n, NodeState &state, const std::vector< Lattice * > &dfInfo) (defined in IntraUnitDataflow)IntraUnitDataflowinlinevirtual
getUltimate(const Function &func) (defined in IntraFWDataflow)IntraFWDataflowvirtual
initializeFunctionNodeState(const Function &func, NodeState *fState) (defined in IntraFWDataflow)IntraFWDataflowvirtual
interAnalysis (defined in IntraProceduralAnalysis)IntraProceduralAnalysisprotected
IntraFWDataflow() (defined in IntraFWDataflow)IntraFWDataflowinline
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) (defined in IntraFWDataflow)IntraFWDataflowvirtual
visited (defined in IntraProceduralDataflow)IntraProceduralDataflow
~IntraProceduralAnalysis() (defined in IntraProceduralAnalysis)IntraProceduralAnalysisvirtual