ICFGDFProblem.hpp

Go to the documentation of this file.

#ifndef ICFGDFProblem_h
#define ICFGDFProblem_h

#include <OpenAnalysis/Utils/OA_ptr.hpp>
#include <OpenAnalysis/DataFlow/DataFlowSet.hpp>
#include <OpenAnalysis/ICFG/ICFGInterface.hpp>
//#include <OpenAnalysis/IRInterface/CFGIRInterface.hpp>

namespace OA {
  namespace DataFlow {

//*********************************************************************
// class ICFGDFProblem
//*********************************************************************
class ICFGDFProblem  {
public:
  //--------------------------------------------------------
  // constructor/destructor
  //--------------------------------------------------------
  ICFGDFProblem() {}
  virtual ~ICFGDFProblem() {}

  //--------------------------------------------------------
  // initialization callbacks
  //--------------------------------------------------------

  virtual OA_ptr<DataFlowSet>  initializeTop() = 0;

  //virtual OA_ptr<DataFlowSet>  initializeBottom() = 0;

  virtual OA_ptr<DataFlowSet> 
      initializeNodeIN(OA_ptr<ICFG::NodeInterface> n)  = 0;
  virtual OA_ptr<DataFlowSet> 
      initializeNodeOUT(OA_ptr<ICFG::NodeInterface> n)  = 0;
  //virtual void initializeEdge(DGraph::Interface::Edge *e)  = 0;

  //--------------------------------------------------------
  // solver callbacks 
  //--------------------------------------------------------
  
  virtual OA_ptr<DataFlowSet> meet(OA_ptr<DataFlowSet> set1, 
                                   OA_ptr<DataFlowSet> set2) = 0; 

  virtual OA_ptr<DataFlowSet> transfer(ProcHandle proc,
                                       OA_ptr<DataFlowSet> in, 
                                       OA::StmtHandle stmt) = 0; 
  
  virtual OA_ptr<DataFlowSet> entryTransfer(ProcHandle proc,
                                            OA_ptr<DataFlowSet> in) = 0; 

  virtual OA_ptr<DataFlowSet> exitTransfer(ProcHandle proc,
                                           OA_ptr<DataFlowSet> out) = 0; 

  virtual OA_ptr<DataFlowSet> callerToCallee(ProcHandle caller,
    OA_ptr<DataFlowSet> dfset, CallHandle call, ProcHandle callee) = 0;
  
  virtual OA_ptr<DataFlowSet> calleeToCaller(ProcHandle callee,
    OA_ptr<DataFlowSet> dfset, CallHandle call, ProcHandle caller) = 0;

  // MMA
  virtual OA_ptr<DataFlowSet> callToReturn(ProcHandle caller,
    OA_ptr<DataFlowSet> dfset, CallHandle call, ProcHandle callee) = 0;

};
                            
  } // end of DataFlow namespace
}  // end of OA namespace

#endif