svf-lib 1.0.1815 → 1.0.1816

package/SVF-linux/svf/include/DDA/DDAStat.h

@@ -75,18 +75,6 @@ public:
 
     void getNumOfOOBQuery();
 
-    inline void setMemUsageBefore(u32_t vmrss, u32_t vmsize)
-    {
-        _vmrssUsageBefore = vmrss;
-        _vmsizeUsageBefore = vmsize;
-    }
-
-    inline void setMemUsageAfter(u32_t vmrss, u32_t vmsize)
-    {
-        _vmrssUsageAfter = vmrss;
-        _vmsizeUsageAfter = vmsize;
-    }
-
 private:
     FlowDDA* flowDDA;
     ContextDDA* contextDDA;
@@ -110,11 +98,6 @@ private:
     u32_t _NumOfConstantPtr;
     u32_t _NumOfBlackholePtr;
 
-    u32_t _vmrssUsageBefore;
-    u32_t _vmrssUsageAfter;
-    u32_t _vmsizeUsageBefore;
-    u32_t _vmsizeUsageAfter;
-
     double _AvgNumOfDPMAtSVFGNode;
     u32_t _MaxNumOfDPMAtSVFGNode;
 

package/SVF-linux/svf/include/Graphs/ConsG.h

@@ -67,6 +67,8 @@ protected:
 
     void destroy();
 
+    void clearSolitaries();  // remove nodes that are neither pointers nor connected with any edge
+
     SVFStmt::SVFStmtSetTy& getPAGEdgeSet(SVFStmt::PEDGEK kind)
     {
         return pag->getPTASVFStmtSet(kind);

package/SVF-linux/svf/include/Util/PTAStat.h

@@ -53,11 +53,29 @@ public:
 
     NodeBS localVarInRecursion;
 
+    inline void setMemUsageBefore(u32_t vmrss, u32_t vmsize)
+    {
+        _vmrssUsageBefore = vmrss;
+        _vmsizeUsageBefore = vmsize;
+    }
+
+    inline void setMemUsageAfter(u32_t vmrss, u32_t vmsize)
+    {
+        _vmrssUsageAfter = vmrss;
+        _vmsizeUsageAfter = vmsize;
+    }
+
     void performStat() override;
 
     void callgraphStat() override;
-private:
+
+
+protected:
     PointerAnalysis* pta;
+    u32_t _vmrssUsageBefore;
+    u32_t _vmrssUsageAfter;
+    u32_t _vmsizeUsageBefore;
+    u32_t _vmsizeUsageAfter;
 };
 
 } // End namespace SVF

package/package.json

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