ROSE 0.11.145.147
|
This is the complete list of members for IntraBWDataflow, including all inherited members.
Analysis(bool(*f)(CFGNode)=defaultFilter) (defined in Analysis) | Analysis | inline |
filter (defined in Analysis) | Analysis | |
gatherDescendants(std::vector< DataflowEdge > edges, DataflowNode(DataflowEdge::*edgeFn)() const) (defined in IntraUniDirectionalDataflow) | IntraUniDirectionalDataflow | protected |
genInitState(const Function &func, const DataflowNode &n, const NodeState &state, std::vector< Lattice * > &initLattices, std::vector< NodeFact * > &initFacts)=0 (defined in IntraProceduralDataflow) | IntraProceduralDataflow | pure virtual |
getDescendants(const DataflowNode &n) (defined in IntraBWDataflow) | IntraBWDataflow | virtual |
getInitialWorklist(const Function &func, bool firstVisit, bool analyzeDueToCallers, const set< Function > &calleesUpdated, NodeState *fState) (defined in IntraBWDataflow) | IntraBWDataflow | virtual |
getInterAnalysis() const (defined in IntraProceduralDataflow) | IntraProceduralDataflow | inline |
getLatticeAnte(NodeState *state) (defined in IntraBWDataflow) | IntraBWDataflow | virtual |
getLatticePost(NodeState *state) (defined in IntraBWDataflow) | IntraBWDataflow | virtual |
getTransferVisitor(const Function &func, const DataflowNode &n, NodeState &state, const std::vector< Lattice * > &dfInfo) (defined in IntraUnitDataflow) | IntraUnitDataflow | inlinevirtual |
getUltimate(const Function &func) (defined in IntraBWDataflow) | IntraBWDataflow | virtual |
initializeFunctionNodeState(const Function &func, NodeState *fState) (defined in IntraBWDataflow) | IntraBWDataflow | virtual |
interAnalysis (defined in IntraProceduralAnalysis) | IntraProceduralAnalysis | protected |
IntraBWDataflow() (defined in IntraBWDataflow) | IntraBWDataflow | inline |
propagateStateToNextNode(const std::vector< Lattice * > &curNodeState, DataflowNode curDFNode, int nodeIndex, const std::vector< Lattice * > &nextNodeState, DataflowNode nextDFNode) (defined in IntraUniDirectionalDataflow) | IntraUniDirectionalDataflow | protected |
runAnalysis(const Function &func, NodeState *state, bool analyzeDueToCallers, std::set< Function > calleesUpdated) (defined in IntraUniDirectionalDataflow) | IntraUniDirectionalDataflow | virtual |
runAnalysis(const Function &func, NodeState *state) (defined in IntraProceduralDataflow) | IntraProceduralDataflow | inlinevirtual |
setInterAnalysis(InterProceduralDataflow *interDataflowAnalysis) (defined in IntraProceduralDataflow) | IntraProceduralDataflow | inline |
setInterAnalysis(IntraProceduralDataflow *intraDFAnalysis) (defined in IntraProceduralDataflow) | IntraProceduralDataflow | inline |
setInterAnalysis(InterProceduralAnalysis *interAnalysis) (defined in IntraProceduralAnalysis) | IntraProceduralAnalysis | inline |
transfer(const Function &func, const DataflowNode &n, NodeState &state, const std::vector< Lattice * > &dfInfo)=0 (defined in IntraUnitDataflow) | IntraUnitDataflow | pure virtual |
transferFunctionCall(const Function &func, const DataflowNode &n, NodeState *state) (defined in IntraBWDataflow) | IntraBWDataflow | virtual |
visited (defined in IntraProceduralDataflow) | IntraProceduralDataflow | |
~IntraProceduralAnalysis() (defined in IntraProceduralAnalysis) | IntraProceduralAnalysis | virtual |