Class InterproceduralCFG

Contents

Class InterproceduralCFG#

Defined in File interproceduralCFG.h

Inheritance Relationships#

Base Type#

public StaticCFG::CFG (Class CFG)

Class Documentation#

class InterproceduralCFG : public StaticCFG::CFG #

Public Functions

inline InterproceduralCFG()#

inline InterproceduralCFG(SgNode *node, bool is_filtered = false)#

inline SgNode *getEntry()#

inline SgIncidenceDirectedGraph *getGraph()#

inline SgGraphNode *getGraphNode(CFGNode n)#

inline virtual void buildCFG()#: Build CFG according to the ‘is_filtered_’ flag.

virtual void buildFullCFG()#: Build CFG for debugging.

virtual void buildFilteredCFG()#: Build filtered CFG which only contains interesting nodes.

Public Members

std::map<CFGNode, SgGraphNode*> alNodes#

CFGNode neededStart#

Protected Functions

virtual void buildCFG(CFGNode n, std::map<CFGNode, SgGraphNode*> &all_nodes, std::set<CFGNode> &explored, ClassHierarchyWrapper *classHierarchy)#