ManagerICFG.hpp

Go to the documentation of this file.

#ifndef ICFGManagerStandard_h
#define ICFGManagerStandard_h

//--------------------------------------------------------------------
// OpenAnalysis headers
#include <OpenAnalysis/Utils/OA_ptr.hpp>
#include <OpenAnalysis/CFG/EachCFGInterface.hpp>
#include <OpenAnalysis/CFG/CFG.hpp>
#include <OpenAnalysis/IRInterface/ICFGIRInterface.hpp>
#include <OpenAnalysis/CallGraph/CallGraphInterface.hpp>
#include "ICFG.hpp"

/*
#include <queue>
#include <set>
#include <map>
#include <string>
#include <algorithm>
#include <cctype>
*/

namespace OA {
  namespace ICFG {

class ManagerICFGStandard { 
public:
  ManagerICFGStandard(OA_ptr<ICFGIRInterface> _ir);
 ~ManagerICFGStandard () {}

  OA_ptr<ICFG> performAnalysis( OA_ptr<IRProcIterator>,
                                        OA_ptr<CFG::EachCFGInterface>,
                                        OA_ptr<CallGraph::CallGraphInterface>);

private: // helper functions

  bool stmt_has_call(StmtHandle stmt);

  StmtHandle 
  get_call_stmt(OA_ptr<CFG::Node> cfgNode);

  OA_ptr<Node> create_icfg_node(
        OA_ptr<ICFG> icfg, ProcHandle proc, NodeType pType, 
        OA_ptr<CFG::Node> cfgNode);

  OA_ptr<Node> handle_call_node(OA_ptr<ICFG> icfg, 
        ProcHandle proc, OA_ptr<CFG::Node> cfgNodeNew,
        OA_ptr<Node> prevICFGNode, 
        OA_ptr<Node>& firstICFGNode,
        std::list<ProcHandle>& worklist);
    
  OA_ptr<std::list<OA_ptr<CFG::Node> > >
  break_out_calls(OA_ptr<CFG::Node> cfgNode);

private: // member variables

  OA_ptr<ICFGIRInterface> mIR;
  OA_ptr<CFG::EachCFGInterface> mEachCFG;
  OA_ptr<CallGraph::CallGraphInterface> mCallGraph;
  
  // mapping of CFG nodes to ICFG nodes so that know what
  // ICFG nodes edges should connect
  typedef std::map<OA_ptr<CFG::Node>,OA_ptr<Node> > 
      NodeToNodeMap;
  NodeToNodeMap mCFGNodeToICFGNode;


};

  } // end of ICFG namespace
} // end of OA namespace

#endif