svf-lib 1.0.732 → 1.0.736

package/SVF-linux/include/WPA/FlowSensitiveTBHC.h

@@ -33,7 +33,7 @@ public:
     static const MDNode *getRawCTirMetadata(const SVFGNode *);
 
     /// Constructor
-    FlowSensitiveTBHC(PAG* _pag, PTATY type = FSTBHC_WPA);
+    FlowSensitiveTBHC(SVFIR* _pag, PTATY type = FSTBHC_WPA);
 
     /// Destructor
     virtual ~FlowSensitiveTBHC() { };

package/SVF-linux/include/WPA/Steensgaard.h

@@ -26,13 +26,13 @@ public:
     typedef Map<NodeID, Set<NodeID>> NodeToSubsMap;
 
     /// Constructor
-    Steensgaard(PAG* _pag)
+    Steensgaard(SVFIR* _pag)
         :  AndersenBase(_pag, Steensgaard_WPA, true)
     {
     }
 
     /// Create an singleton instance
-    static Steensgaard* createSteensgaard(PAG* _pag)
+    static Steensgaard* createSteensgaard(SVFIR* _pag)
     {
         if(steens==nullptr)
         {

package/SVF-linux/include/WPA/TypeAnalysis.h

@@ -40,7 +40,7 @@ class TypeAnalysis:  public AndersenBase
 
 public:
     /// Constructor
-    TypeAnalysis(PAG* pag)
+    TypeAnalysis(SVFIR* pag)
         :  AndersenBase(pag, TypeCPP_WPA)
     {
     }

package/SVF-linux/include/WPA/VersionedFlowSensitive.h

@@ -47,7 +47,7 @@ public:
     static VersionedVar atKey(NodeID, Version);
 
     /// Constructor
-    VersionedFlowSensitive(PAG *_pag, PTATY type = VFS_WPA);
+    VersionedFlowSensitive(SVFIR *_pag, PTATY type = VFS_WPA);
 
     /// Initialize analysis
     virtual void initialize() override;
@@ -74,7 +74,7 @@ public:
     //@}
 
     /// Create single instance of versioned flow-sensitive points-to analysis.
-    static VersionedFlowSensitive *createVFSWPA(PAG *_pag)
+    static VersionedFlowSensitive *createVFSWPA(SVFIR *_pag)
     {
         if (vfspta == nullptr)
         {

package/SVF-linux/include/WPA/WPAStat.h

@@ -39,9 +39,8 @@ namespace SVF
 {
 
 class AndersenBase;
-class PAG;
+class SVFIR;
 class ConstraintGraph;
-class PAGNode;
 
 /*!
  * Statistics of Andersen's analysis

package/SVF-osx/include/DDA/ContextDDA.h

@@ -28,7 +28,7 @@ class ContextDDA : public CondPTAImpl<ContextCond>, public DDAVFSolver<CxtVar,Cx
 
 public:
     /// Constructor
-    ContextDDA(PAG* _pag, DDAClient* client);
+    ContextDDA(SVFIR* _pag, DDAClient* client);
 
     /// Destructor
     virtual ~ContextDDA();

package/SVF-osx/include/DDA/DDAClient.h

@@ -11,7 +11,7 @@
 #ifndef DDACLIENT_H_
 #define DDACLIENT_H_
 
-#include "Graphs/PAG.h"
+#include "MemoryModel/SVFIR.h"
 #include "MemoryModel/PointerAnalysisImpl.h"
 #include "Graphs/SVFG.h"
 #include "Util/BasicTypes.h"
@@ -32,7 +32,7 @@ public:
     virtual inline void initialise(SVFModule*) {}
 
     /// Collect candidate pointers for query.
-    virtual inline OrderedNodeSet& collectCandidateQueries(PAG* p)
+    virtual inline OrderedNodeSet& collectCandidateQueries(SVFIR* p)
     {
         setPAG(p);
         if (solveAll)
@@ -52,8 +52,8 @@ public:
 
     /// Call back used by DDAVFSolver.
     virtual inline void handleStatement(const SVFGNode*, NodeID) {}
-    /// Set PAG graph.
-    inline void setPAG(PAG* g)
+    /// Set SVFIR graph.
+    inline void setPAG(SVFIR* g)
     {
         pag = g;
     }
@@ -81,11 +81,11 @@ public:
 protected:
     void addCandidate(NodeID id)
     {
-        if (pag->isValidTopLevelPtr(pag->getPAGNode(id)))
+        if (pag->isValidTopLevelPtr(pag->getGNode(id)))
             candidateQueries.insert(id);
     }
 
-    PAG*   pag;					///< PAG graph used by current DDA analysis
+    SVFIR*   pag;					///< SVFIR graph used by current DDA analysis
     SVFModule* module;		///< LLVM module
     NodeID curPtr;				///< current pointer being queried
     OrderedNodeSet candidateQueries;	///< store all candidate pointers to be queried
@@ -109,7 +109,7 @@ public:
     ~FunptrDDAClient() {}
 
     /// Only collect function pointers as query candidates.
-    virtual OrderedNodeSet& collectCandidateQueries(PAG* p);
+    virtual OrderedNodeSet& collectCandidateQueries(SVFIR* p);
     virtual void performStat(PointerAnalysis* pta);
 };
 
@@ -128,7 +128,7 @@ public:
     ~AliasDDAClient() {}
 
     /// Only collect function pointers as query candidates.
-    virtual OrderedNodeSet& collectCandidateQueries(PAG* pag);
+    virtual OrderedNodeSet& collectCandidateQueries(SVFIR* pag);
 
     virtual void performStat(PointerAnalysis* pta);
 

package/SVF-osx/include/DDA/DDAVFSolver.h

@@ -29,7 +29,7 @@ public:
     typedef SCCDetection<SVFG*> SVFGSCC;
     typedef SCCDetection<PTACallGraph*> CallGraphSCC;
     typedef PTACallGraphEdge::CallInstSet CallInstSet;
-    typedef PAG::CallSiteSet CallSiteSet;
+    typedef SVFIR::CallSiteSet CallSiteSet;
     typedef OrderedSet<DPIm> DPTItemSet;
     typedef OrderedMap<DPIm, CPtSet> DPImToCPtSetMap;
     typedef OrderedMap<DPIm,CVar> DPMToCVarMap;
@@ -287,7 +287,7 @@ protected:
     }
 
     /// Build SVFG
-    virtual inline void buildSVFG(PAG* pag)
+    virtual inline void buildSVFG(SVFIR* pag)
     {
         _ander = AndersenWaveDiff::createAndersenWaveDiff(pag);
         _svfg = svfgBuilder.buildPTROnlySVFGWithoutOPT(_ander);
@@ -473,7 +473,7 @@ protected:
             {
                 NodeID funPtr = _pag->getFunPtr(cbn);
                 DPIm funPtrDpm(dpm);
-                funPtrDpm.setLocVar(getSVFG()->getDefSVFGNode(_pag->getPAGNode(funPtr)),funPtr);
+                funPtrDpm.setLocVar(getSVFG()->getDefSVFGNode(_pag->getGNode(funPtr)),funPtr);
                 findPT(funPtrDpm);
             }
         }
@@ -486,7 +486,7 @@ protected:
             {
                 NodeID funPtr = _pag->getFunPtr(*it);
                 DPIm funPtrDpm(dpm);
-                funPtrDpm.setLocVar(getSVFG()->getDefSVFGNode(_pag->getPAGNode(funPtr)),funPtr);
+                funPtrDpm.setLocVar(getSVFG()->getDefSVFGNode(_pag->getGNode(funPtr)),funPtr);
                 findPT(funPtrDpm);
             }
         }
@@ -750,7 +750,7 @@ protected:
     }
 
     bool outOfBudgetQuery;			///< Whether the current query is out of step limits
-    PAG* _pag;						///< PAG
+    SVFIR* _pag;						///< SVFIR
     SVFG* _svfg;					///< SVFG
     AndersenWaveDiff* _ander;		///< Andersen's analysis
     NodeBS candidateQueries;		///< candidate pointers;

package/SVF-osx/include/DDA/FlowDDA.h

@@ -30,7 +30,7 @@ public:
     typedef BVDataPTAImpl::CallEdgeMap	CallEdgeMap;
     typedef BVDataPTAImpl::FunctionSet	FunctionSet;
     /// Constructor
-    FlowDDA(PAG* _pag, DDAClient* client): BVDataPTAImpl(_pag, PointerAnalysis::FlowS_DDA),
+    FlowDDA(SVFIR* _pag, DDAClient* client): BVDataPTAImpl(_pag, PointerAnalysis::FlowS_DDA),
         DDAVFSolver<NodeID,PointsTo,LocDPItem>(),
         _client(client)
     {

package/SVF-osx/include/Graphs/ConsG.h

@@ -52,7 +52,7 @@ public:
     typedef FIFOWorkList<NodeID> WorkList;
 
 protected:
-    PAG*pag;
+    SVFIR*pag;
     NodeToRepMap nodeToRepMap;
     NodeToSubsMap nodeToSubsMap;
     WorkList nodesToBeCollapsed;
@@ -92,7 +92,7 @@ protected:
 
 public:
     /// Constructor
-    ConstraintGraph(PAG* p): pag(p), edgeIndex(0)
+    ConstraintGraph(SVFIR* p): pag(p), edgeIndex(0)
     {
         buildCG();
     }
@@ -172,7 +172,7 @@ public:
         }
     }
 
-    ///Add a PAG edge into Edge map
+    ///Add a SVFIR edge into Edge map
     //@{
     /// Add Address edge
     AddrCGEdge* addAddrCGEdge(NodeID src, NodeID dst);
@@ -187,7 +187,7 @@ public:
     StoreCGEdge* addStoreCGEdge(NodeID src, NodeID dst);
     //@}
 
-    ///Get PAG edge
+    ///Get SVFIR edge
     //@{
     /// Get Address edges
     inline ConstraintEdge::ConstraintEdgeSetTy& getAddrCGEdges()
@@ -296,9 +296,9 @@ public:
         return false;
     }
 
-    /// Wrappers for invoking PAG methods
+    /// Wrappers for invoking SVFIR methods
     //@{
-    inline const PAG::CallSiteToFunPtrMap& getIndirectCallsites() const
+    inline const SVFIR::CallSiteToFunPtrMap& getIndirectCallsites() const
     {
         return pag->getIndirectCallsites();
     }

package/SVF-osx/include/Graphs/ConsGEdge.h

@@ -30,7 +30,7 @@
 #ifndef CONSGEDGE_H_
 #define CONSGEDGE_H_
 
-#include "Graphs/PAG.h"
+#include "MemoryModel/SVFIR.h"
 #include "Util/WorkList.h"
 
 #include <map>
@@ -42,7 +42,7 @@ namespace SVF
 class ConstraintNode;
 /*!
  * Self-defined edge for constraint resolution
- * including add/remove/re-target, but all the operations do not affect original PAG Edges
+ * including add/remove/re-target, but all the operations do not affect original SVFIR Edges
  */
 typedef GenericEdge<ConstraintNode> GenericConsEdgeTy;
 class ConstraintEdge : public GenericConsEdgeTy

package/SVF-osx/include/Graphs/ConsGNode.h

@@ -101,7 +101,7 @@ public:
     }
     //@}
 
-    /// Direct and Indirect PAG edges
+    /// Direct and Indirect SVFIR edges
     inline bool isdirectEdge(ConstraintEdge::ConstraintEdgeK kind)
     {
         return (kind == ConstraintEdge::Copy || kind == ConstraintEdge::NormalGep || kind == ConstraintEdge::VariantGep );

package/SVF-osx/include/Graphs/ExternalPAG.h

@@ -10,15 +10,15 @@
 #ifndef EXTERNALPAG_H_
 #define EXTERNALPAG_H_
 
-#include "Graphs/PAGNode.h"
+#include "MemoryModel/SVFVariables.h"
 
 extern llvm::cl::list<std::string> DumpPAGFunctions;
 
 namespace SVF
 {
 
-/// Represents the PAG of a function loaded externally (i.e. from file).
-/// It's purpose is to be attached to the main PAG (almost) seamlessly.
+/// Represents the SVFIR of a function loaded externally (i.e. from file).
+/// It's purpose is to be attached to the main SVFIR (almost) seamlessly.
 class ExternalPAG
 {
 private:
@@ -28,17 +28,17 @@ private:
             functionToExternalPAGEntries;
     static Map<const SVFFunction*, PAGNode *> functionToExternalPAGReturns;
 
-    /// Name of the function this external PAG represents.
+    /// Name of the function this external SVFIR represents.
     std::string functionName;
 
-    /// Value nodes in this external PAG, represented by NodeIDs
-    /// because we will rebuild these nodes in the main PAG.
+    /// Value nodes in this external SVFIR, represented by NodeIDs
+    /// because we will rebuild these nodes in the main SVFIR.
     NodeSet valueNodes;
-    /// Object nodes in this external PAG, represented by NodeIDs
-    /// because we will rebuild these nodes in the main PAG.
+    /// Object nodes in this external SVFIR, represented by NodeIDs
+    /// because we will rebuild these nodes in the main SVFIR.
     NodeSet objectNodes;
-    /// Edges in this external PAG, represented by the parts of an Edge because
-    /// we will rebuild these edges in the main PAG.
+    /// Edges in this external SVFIR, represented by the parts of an Edge because
+    /// we will rebuild these edges in the main SVFIR.
     OrderedSet<std::tuple<NodeID, NodeID, std::string, int>> edges;
 
     // Special nodes.
@@ -82,15 +82,15 @@ public:
     ~ExternalPAG() {}
 
     /// Parses command line arguments and attaches external PAGs to main
-    /// PAG.
+    /// SVFIR.
     static void initialise(SVFModule* svfModule);
 
-    /// Connects callsite if a external PAG implementing the relevant function
+    /// Connects callsite if a external SVFIR implementing the relevant function
     /// has been added.
     /// Returns true on success, false otherwise.
     static bool connectCallsiteToExternalPAG(CallSite *cs);
 
-    /// Whether an external PAG implementing function exists.
+    /// Whether an external SVFIR implementing function exists.
     static bool hasExternalPAG(const SVFFunction* function);
 
     /// Dump individual PAGs of specified functions. Currently to outs().
@@ -136,7 +136,7 @@ public:
     }
 
     /// Adds (creates new equivalents) all the nodes and edges of this extpag to
-    /// the main PAG. function is used as a key for future lookups.
+    /// the main SVFIR. function is used as a key for future lookups.
     /// Returns true on success, false otherwise (incl. if it already exists).
     bool addExternalPAG(const SVFFunction* function);
 

package/SVF-osx/include/Graphs/GenericGraph.h

@@ -108,7 +108,7 @@ public:
         }
     } equalGEdge;
 
-    inline bool operator==(const GenericEdge<NodeType>* rhs) const
+    virtual inline bool operator==(const GenericEdge<NodeType>* rhs) const
     {
         return (rhs->edgeFlag == this->edgeFlag && rhs->getSrcID() == this->getSrcID()
                 && rhs->getDstID() == this->getDstID());

package/SVF-osx/include/Graphs/ICFGNode.h

@@ -41,8 +41,8 @@ class ICFGNode;
 class RetBlockNode;
 class CallPE;
 class RetPE;
-class PAGEdge;
-class PAGNode;
+class SVFStmt;
+class SVFVar;
 class VFGNode;
 
 /*!
@@ -67,7 +67,7 @@ public:
     typedef Set<const CallPE *> CallPESet;
     typedef Set<const RetPE *> RetPESet;
     typedef std::list<const VFGNode*> VFGNodeList;
-    typedef std::list<const PAGEdge*> PAGEdgeList;
+    typedef std::list<const SVFStmt*> PAGEdgeList;
 
 public:
     /// Constructor
@@ -113,7 +113,7 @@ public:
 
     /// Set/Get methods of VFGNodes
     ///@{
-    inline void addPAGEdge(const PAGEdge *edge)
+    inline void addPAGEdge(const SVFStmt *edge)
     {
         pagEdges.push_back(edge);
     }
@@ -252,7 +252,7 @@ class FunEntryBlockNode : public InterBlockNode
 {
 
 public:
-    typedef std::vector<const PAGNode *> FormalParmNodeVec;
+    typedef std::vector<const SVFVar *> FormalParmNodeVec;
 private:
     FormalParmNodeVec FPNodes;
 public:
@@ -271,7 +271,7 @@ public:
     }
 
     /// Add formal parameters
-    inline void addFormalParms(const PAGNode *fp)
+    inline void addFormalParms(const SVFVar *fp)
     {
         FPNodes.push_back(fp);
     }
@@ -310,7 +310,7 @@ class FunExitBlockNode : public InterBlockNode
 
 private:
     const SVFFunction* fun;
-    const PAGNode *formalRet;
+    const SVFVar *formalRet;
 public:
     FunExitBlockNode(NodeID id, const SVFFunction* f);
 
@@ -321,13 +321,13 @@ public:
     }
 
     /// Return actual return parameter
-    inline const PAGNode *getFormalRet() const
+    inline const SVFVar *getFormalRet() const
     {
         return formalRet;
     }
 
     /// Add actual return parameter
-    inline void addFormalRet(const PAGNode *fr)
+    inline void addFormalRet(const SVFVar *fr)
     {
         formalRet = fr;
     }
@@ -365,7 +365,7 @@ class CallBlockNode : public InterBlockNode
 {
 
 public:
-    typedef std::vector<const PAGNode *> ActualParmVFGNodeVec;
+    typedef std::vector<const SVFVar *> ActualParmVFGNodeVec;
 private:
     const Instruction* cs;
     const RetBlockNode* ret;
@@ -421,7 +421,7 @@ public:
     }
 
     /// Add actual parameters
-    inline void addActualParms(const PAGNode *ap)
+    inline void addActualParms(const SVFVar *ap)
     {
         APNodes.push_back(ap);
     }
@@ -461,7 +461,7 @@ class RetBlockNode : public InterBlockNode
 
 private:
     const Instruction* cs;
-    const PAGNode *actualRet;
+    const SVFVar *actualRet;
     const CallBlockNode* callBlockNode;
 public:
     RetBlockNode(NodeID id, const Instruction* c, CallBlockNode* cb) :
@@ -482,13 +482,13 @@ public:
         return callBlockNode;
     }
     /// Return actual return parameter
-    inline const PAGNode *getActualRet() const
+    inline const SVFVar *getActualRet() const
     {
         return actualRet;
     }
 
     /// Add actual return parameter
-    inline void addActualRet(const PAGNode *ar)
+    inline void addActualRet(const SVFVar *ar)
     {
         actualRet = ar;
     }