ROSE
0.9.6a
|
#include <dataflow.h>
Public Member Functions | |
ContextInsensitiveInterProceduralDataflow (IntraProceduralDataflow *intraDataflowAnalysis, SgIncidenceDirectedGraph *graph) | |
bool | transfer (const Function &func, const DataflowNode &n, NodeState &state, const std::vector< Lattice * > &dfInfo, std::vector< Lattice * > **retState, bool fw) |
void | runAnalysis () |
void | visit (const CGFunction *func) |
Public Member Functions inherited from InterProceduralDataflow | |
InterProceduralDataflow (IntraProceduralDataflow *intraDataflowAnalysis) | |
Public Member Functions inherited from TraverseCallGraphDataflow | |
TraverseCallGraphDataflow (SgIncidenceDirectedGraph *graph) | |
void | traverse () |
void | addToRemaining (const CGFunction *func) |
virtual | ~TraverseCallGraphDataflow () |
Public Member Functions inherited from TraverseCallGraph | |
TraverseCallGraph (SgIncidenceDirectedGraph *graph) | |
const CGFunction * | getFunc (SgFunctionDeclaration *decl) |
const CGFunction * | getFunc (const Function &func) |
Private Attributes | |
std::set< Function > | remainingDueToCallers |
std::map< Function, std::set < Function > > | remainingDueToCalls |
Additional Inherited Members | |
Public Attributes inherited from Analysis | |
bool(* | filter )(CFGNode cfgn) |
Public Attributes inherited from TraverseCallGraphDataflow | |
std::list< const CGFunction * > | remaining |
Protected Member Functions inherited from InterProceduralAnalysis | |
InterProceduralAnalysis (IntraProceduralAnalysis *intraAnalysis) | |
virtual | ~InterProceduralAnalysis () |
Protected Attributes inherited from InterProceduralAnalysis | |
IntraProceduralAnalysis * | intraAnalysis |
Protected Attributes inherited from TraverseCallGraph | |
SgIncidenceDirectedGraph * | graph |
std::set< CGFunction > | functions |
std::map< const CGFunction *, int > | numCallers |
std::set< const CGFunction * > | noPred |
Definition at line 463 of file dataflow.h.
ContextInsensitiveInterProceduralDataflow::ContextInsensitiveInterProceduralDataflow | ( | IntraProceduralDataflow * | intraDataflowAnalysis, |
SgIncidenceDirectedGraph * | graph | ||
) |
|
virtual |
Implements InterProceduralDataflow.
|
virtual |
Implements InterProceduralAnalysis.
|
virtual |
Implements TraverseCallGraphDataflow.
|
private |
Definition at line 472 of file dataflow.h.
|
private |
Definition at line 478 of file dataflow.h.