svf-lib 1.0.1916 → 1.0.1918

package/SVF-linux/Release-build/include/SVFIR/SVFIR.h

@@ -484,7 +484,8 @@ private:
         bool added = KindToSVFStmtSetMap[edge->getEdgeKind()].insert(edge).second;
         (void)added; // Suppress warning of unused variable under release build
         assert(added && "duplicated edge, not added!!!");
-        if (edge->isPTAEdge())
+        /// this is a pointer-related SVFStmt if (1) both RHS and LHS are pointers or (2) this an int2ptr statment, i.e., LHS = int2ptr RHS
+        if (edge->isPTAEdge() || (SVFUtil::isa<CopyStmt>(edge) && SVFUtil::cast<CopyStmt>(edge)->isInt2Ptr()))
         {
             totalPTAPAGEdge++;
             KindToPTASVFStmtSetMap[edge->getEdgeKind()].insert(edge);

package/SVF-linux/Release-build/include/SVFIR/SVFStatements.h

@@ -371,9 +371,21 @@ private:
     CopyStmt(const CopyStmt&);       ///< place holder
     void operator=(const CopyStmt&); ///< place holder
 public:
-    enum CopyKind {COPYVAL, ZEXT, SEXT, BITCAST, TRUNC, FPTRUNC,
-                   FPTOUI, FPTOSI, UITOFP, SITOFP, INTTOPTR, PTRTOINT
-                  };
+    enum CopyKind
+    {
+        COPYVAL,    // Value copies (default one)
+        ZEXT,       // Zero extend integers
+        SEXT,       // Sign extend integers
+        BITCAST,    // Type cast
+        TRUNC,      // Truncate integers
+        FPTRUNC,    // Truncate floating point
+        FPTOUI,     // floating point -> UInt
+        FPTOSI,     // floating point -> SInt
+        UITOFP,     // UInt -> floating point
+        SITOFP,     // SInt -> floating point
+        INTTOPTR,   // Integer -> Pointer
+        PTRTOINT    // Pointer -> Integer
+    };
     /// Methods for support type inquiry through isa, cast, and dyn_cast:
     //@{
     static inline bool classof(const CopyStmt*)
@@ -396,6 +408,36 @@ public:
         return copyKind;
     }
 
+    inline bool isBitCast() const
+    {
+        return copyKind == BITCAST;
+    }
+
+    inline bool isValueCopy() const
+    {
+        return copyKind == COPYVAL;
+    }
+
+    inline bool isInt2Ptr() const
+    {
+        return copyKind == INTTOPTR;
+    }
+
+    inline bool isPtr2Int() const
+    {
+        return copyKind == PTRTOINT;
+    }
+
+    inline bool isZext() const
+    {
+        return copyKind == ZEXT;
+    }
+
+    inline bool isSext() const
+    {
+        return copyKind == SEXT;
+    }
+
     /// constructor
     CopyStmt(SVFVar* s, SVFVar* d, CopyKind k) : AssignStmt(s, d, SVFStmt::Copy), copyKind(k) {}
 

package/SVF-osx/Release-build/include/SVFIR/SVFIR.h

@@ -484,7 +484,8 @@ private:
         bool added = KindToSVFStmtSetMap[edge->getEdgeKind()].insert(edge).second;
         (void)added; // Suppress warning of unused variable under release build
         assert(added && "duplicated edge, not added!!!");
-        if (edge->isPTAEdge())
+        /// this is a pointer-related SVFStmt if (1) both RHS and LHS are pointers or (2) this an int2ptr statment, i.e., LHS = int2ptr RHS
+        if (edge->isPTAEdge() || (SVFUtil::isa<CopyStmt>(edge) && SVFUtil::cast<CopyStmt>(edge)->isInt2Ptr()))
         {
             totalPTAPAGEdge++;
             KindToPTASVFStmtSetMap[edge->getEdgeKind()].insert(edge);

package/SVF-osx/Release-build/include/SVFIR/SVFStatements.h

@@ -371,9 +371,21 @@ private:
     CopyStmt(const CopyStmt&);       ///< place holder
     void operator=(const CopyStmt&); ///< place holder
 public:
-    enum CopyKind {COPYVAL, ZEXT, SEXT, BITCAST, TRUNC, FPTRUNC,
-                   FPTOUI, FPTOSI, UITOFP, SITOFP, INTTOPTR, PTRTOINT
-                  };
+    enum CopyKind
+    {
+        COPYVAL,    // Value copies (default one)
+        ZEXT,       // Zero extend integers
+        SEXT,       // Sign extend integers
+        BITCAST,    // Type cast
+        TRUNC,      // Truncate integers
+        FPTRUNC,    // Truncate floating point
+        FPTOUI,     // floating point -> UInt
+        FPTOSI,     // floating point -> SInt
+        UITOFP,     // UInt -> floating point
+        SITOFP,     // SInt -> floating point
+        INTTOPTR,   // Integer -> Pointer
+        PTRTOINT    // Pointer -> Integer
+    };
     /// Methods for support type inquiry through isa, cast, and dyn_cast:
     //@{
     static inline bool classof(const CopyStmt*)
@@ -396,6 +408,36 @@ public:
         return copyKind;
     }
 
+    inline bool isBitCast() const
+    {
+        return copyKind == BITCAST;
+    }
+
+    inline bool isValueCopy() const
+    {
+        return copyKind == COPYVAL;
+    }
+
+    inline bool isInt2Ptr() const
+    {
+        return copyKind == INTTOPTR;
+    }
+
+    inline bool isPtr2Int() const
+    {
+        return copyKind == PTRTOINT;
+    }
+
+    inline bool isZext() const
+    {
+        return copyKind == ZEXT;
+    }
+
+    inline bool isSext() const
+    {
+        return copyKind == SEXT;
+    }
+
     /// constructor
     CopyStmt(SVFVar* s, SVFVar* d, CopyKind k) : AssignStmt(s, d, SVFStmt::Copy), copyKind(k) {}
 

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "svf-lib",
-  "version": "1.0.1916",
+  "version": "1.0.1918",
   "description": "SVF's npm support",
   "main": "index.js",
   "scripts": {