ROSE 0.11.145.192
|
Definition at line 166 of file sgnAnalysis.h.
Public Member Functions | |
SgnAnalysis (LiveDeadVarsAnalysis *ldva) | |
void | genInitState (const Function &func, const DataflowNode &n, const NodeState &state, vector< Lattice * > &initLattices, vector< NodeFact * > &initFacts) |
bool | transfer (const Function &func, const DataflowNode &n, NodeState &state, const vector< Lattice * > &dfInfo) |
Public Member Functions inherited from IntraFWDataflow | |
NodeState * | initializeFunctionNodeState (const Function &func, NodeState *fState) |
VirtualCFG::dataflow * | getInitialWorklist (const Function &func, bool firstVisit, bool analyzeDueToCallers, const set< Function > &calleesUpdated, NodeState *fState) |
vector< Lattice * > | getLatticeAnte (NodeState *state) |
vector< Lattice * > | getLatticePost (NodeState *state) |
void | transferFunctionCall (const Function &func, const DataflowNode &n, NodeState *state) |
vector< DataflowNode > | getDescendants (const DataflowNode &n) |
DataflowNode | getUltimate (const Function &func) |
Public Member Functions inherited from IntraUniDirectionalDataflow | |
bool | runAnalysis (const Function &func, NodeState *state, bool analyzeDueToCallers, std::set< Function > calleesUpdated) |
Public Member Functions inherited from IntraUnitDataflow | |
virtual boost::shared_ptr< IntraDFTransferVisitor > | getTransferVisitor (const Function &func, const DataflowNode &n, NodeState &state, const std::vector< Lattice * > &dfInfo) |
Public Member Functions inherited from IntraProceduralDataflow | |
void | setInterAnalysis (InterProceduralDataflow *interDataflowAnalysis) |
void | setInterAnalysis (IntraProceduralDataflow *intraDFAnalysis) |
bool | runAnalysis (const Function &func, NodeState *state) |
InterProceduralDataflow * | getInterAnalysis () const |
Public Member Functions inherited from IntraProceduralAnalysis | |
void | setInterAnalysis (InterProceduralAnalysis *interAnalysis) |
Public Member Functions inherited from Analysis | |
Analysis (bool(*f)(CFGNode)=defaultFilter) | |
Protected Attributes | |
LiveDeadVarsAnalysis * | ldva |
Protected Attributes inherited from IntraProceduralAnalysis | |
InterProceduralAnalysis * | interAnalysis |
Static Protected Attributes | |
static map< varID, Lattice * > | constVars |
static bool | constVars_init |
Additional Inherited Members | |
Public Attributes inherited from IntraProceduralDataflow | |
std::set< Function > | visited |
Public Attributes inherited from Analysis | |
bool(* | filter )(CFGNode cfgn) |
Protected Member Functions inherited from IntraUniDirectionalDataflow | |
bool | propagateStateToNextNode (const std::vector< Lattice * > &curNodeState, DataflowNode curDFNode, int nodeIndex, const std::vector< Lattice * > &nextNodeState, DataflowNode nextDFNode) |
std::vector< DataflowNode > | gatherDescendants (std::vector< DataflowEdge > edges, DataflowNode(DataflowEdge::*edgeFn)() const) |
|
inline |
Definition at line 177 of file sgnAnalysis.h.
|
virtual |
Implements IntraProceduralDataflow.
|
virtual |
Implements IntraUnitDataflow.
Definition at line 169 of file sgnAnalysis.h.
|
staticprotected |
Definition at line 170 of file sgnAnalysis.h.
|
protected |
Definition at line 174 of file sgnAnalysis.h.