ManagerReachDefsOverwriteStandard.hpp

Go to the documentation of this file.

#ifndef ReachDefsOverwriteManagerStandard_h
#define ReachDefsOverwriteManagerStandard_h

#include <OpenAnalysis/Utils/OA_ptr.hpp>
#include <OpenAnalysis/Alias/Interface.hpp>
#include <OpenAnalysis/Location/Locations.hpp>
#include <OpenAnalysis/DataFlow/IRHandleDataFlowSet.hpp>
#include <OpenAnalysis/SideEffect/InterSideEffectInterface.hpp>
#include <OpenAnalysis/CFG/CFGInterface.hpp>
#include <OpenAnalysis/IRInterface/ReachDefsIRInterface.hpp>
#include <OpenAnalysis/ReachDefs/ManagerReachDefsStandard.hpp>
#include <OpenAnalysis/ReachDefsOverwrite/ReachDefsOverwriteStandard.hpp>

namespace OA {
  namespace ReachDefsOverwrite {

    class ManagerReachDefsOverwriteStandard : public virtual ReachDefs::ManagerReachDefsStandard { 

    public:
      ManagerReachDefsOverwriteStandard(OA_ptr<ReachDefs::ReachDefsIRInterface> _ir);
      ~ManagerReachDefsOverwriteStandard () {}

      OA_ptr<ReachDefsOverwriteStandard> performAnalysis(ProcHandle, 
                                                         OA_ptr<CFG::CFGInterface> cfg, OA_ptr<Alias::Interface> alias, 
                                                         OA_ptr<SideEffect::InterSideEffectInterface> interSE,
                                                         DataFlow::DFPImplement algorithm);
    private:
      
      OA_ptr<DataFlow::DataFlowSet> transfer(OA_ptr<DataFlow::DataFlowSet> in, OA::StmtHandle stmt); 

      std::map<StmtHandle,std::set<OA_ptr<Location> > > mStmtAllDefMap;

      OA_ptr<ReachDefsOverwriteStandard> mReachDefOverwriteMap;
    
    };

  } 
} 

#endif