svf-lib 1.0.1653 → 1.0.1654

package/SVF-linux/svf/include/MemoryModel/PointerAnalysisImpl.h

@@ -142,7 +142,12 @@ public:
     //@{
     virtual void writeToFile(const std::string& filename);
     virtual void writeObjVarToFile(const std::string& filename);
+    virtual void writePtsResultToFile(std::fstream& f);
+    virtual void writeGepObjVarMapToFile(std::fstream& f);
     virtual bool readFromFile(const std::string& filename);
+    virtual void readPtsResultFromFile(std::ifstream& f);
+    virtual void readGepObjVarMapFromFile(std::ifstream& f);
+    virtual void readAndSetObjFieldSensitivity(std::ifstream& f, const std::string& delimiterStr);
     //@}
 
 protected:

package/SVF-linux/svf/include/SVFIR/SVFIR.h

@@ -48,6 +48,7 @@ class SVFIR : public IRGraph
     friend class TypeBasedHeapCloning;
     friend class SVFIRWriter;
     friend class SVFIRReader;
+    friend class BVDataPTAImpl;
 
 public:
     typedef Set<const CallICFGNode*> CallSiteSet;
@@ -560,7 +561,7 @@ private:
     /// Add a temp field value node, this method can only invoked by getGepValVar
     NodeID addGepValNode(const SVFValue* curInst,const SVFValue* val, const AccessPath& ap, NodeID i, const SVFType* type);
     /// Add a field obj node, this method can only invoked by getGepObjVar
-    NodeID addGepObjNode(const MemObj* obj, const APOffset& apOffset);
+    NodeID addGepObjNode(const MemObj* obj, const APOffset& apOffset, const NodeID gepId);
     /// Add a field-insensitive node, this method can only invoked by getFIGepObjNode
     NodeID addFIObjNode(const MemObj* obj);
     //@}

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

@@ -82,6 +82,12 @@ public:
         return numObjects;
     }
 
+    inline void increaseNumOfObjAndNodes()
+    {
+        ++numObjects;
+        ++numNodes;
+    }
+
 private:
     /// Builds a node ID allocator with the strategy specified on the command line.
     NodeIDAllocator(void);

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

@@ -181,6 +181,14 @@ private:
     /// Dumps maps consume and yield.
     void dumpLocVersionMaps(void) const;
 
+    void solveAndwritePtsToFile(const std::string& filename) override;
+
+    void writeVersionedAnalysisResultToFile(const std::string& filename);
+
+    void readVersionedAnalysisResultFromFile(std::ifstream& F);
+
+    void readPtsFromFile(const std::string& filename) override;
+
     /// Dumps a MeldVersion to stdout.
     static void dumpMeldVersion(MeldVersion &v);
 

package/package.json

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