ROSE 0.11.145.192
|
Definition at line 28 of file dataflow.h.
Public Member Functions | |
virtual void | genInitState (const Function &func, const DataflowNode &n, const NodeState &state, std::vector< Lattice * > &initLattices, std::vector< NodeFact * > &initFacts)=0 |
void | setInterAnalysis (InterProceduralDataflow *interDataflowAnalysis) |
void | setInterAnalysis (IntraProceduralDataflow *intraDFAnalysis) |
virtual bool | runAnalysis (const Function &func, NodeState *state, bool analyzeDueToCallers, std::set< Function > calleesUpdated)=0 |
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) | |
Public Attributes | |
std::set< Function > | visited |
Public Attributes inherited from Analysis | |
bool(* | filter )(CFGNode cfgn) |
Additional Inherited Members | |
Protected Attributes inherited from IntraProceduralAnalysis | |
InterProceduralAnalysis * | interAnalysis |
|
pure virtual |
Implemented in TaintAnalysis.
|
inline |
Definition at line 50 of file dataflow.h.
|
inline |
Definition at line 53 of file dataflow.h.
|
inlinevirtual |
Implements IntraProceduralAnalysis.
Definition at line 68 of file dataflow.h.
|
inline |
Definition at line 80 of file dataflow.h.
std::set<Function> IntraProceduralDataflow::visited |
Definition at line 48 of file dataflow.h.