ROSE
0.9.6a
|
#include <dataflow.h>
Public Member Functions | |
InterProceduralDataflow (IntraProceduralDataflow *intraDataflowAnalysis) | |
virtual bool | transfer (const Function &func, const DataflowNode &n, NodeState &state, const std::vector< Lattice * > &dfInfo, std::vector< Lattice * > **retState, bool fw)=0 |
Additional Inherited Members | |
Public Attributes inherited from Analysis | |
bool(* | filter )(CFGNode cfgn) |
Protected Member Functions inherited from InterProceduralAnalysis | |
InterProceduralAnalysis (IntraProceduralAnalysis *intraAnalysis) | |
virtual void | runAnalysis ()=0 |
virtual | ~InterProceduralAnalysis () |
Protected Attributes inherited from InterProceduralAnalysis | |
IntraProceduralAnalysis * | intraAnalysis |
Definition at line 151 of file dataflow.h.
InterProceduralDataflow::InterProceduralDataflow | ( | IntraProceduralDataflow * | intraDataflowAnalysis) |
|
pure virtual |
Implemented in ContextInsensitiveInterProceduralDataflow, and UnstructuredPassInterDataflow.