svf-lib 1.0.1268 → 1.0.1269

package/SVF-linux/include/Graphs/ICFG.h

@@ -209,6 +209,11 @@ public:
     {
         return globalBlockNode;
     }
+    inline void addGlobalICFGNode()
+    {
+        globalBlockNode = new GlobalICFGNode(totalICFGNode++);
+        addICFGNode(globalBlockNode);
+    }
     //@}
 
 private:

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

@@ -92,7 +92,7 @@ private:
     OrderedNodeSet candidatePointers;
     ICFG* icfg; // ICFG
     CallSiteSet callSiteSet; /// all the callsites of a program
-
+    SVFModule* svfModule; /// SVF Module
     /// Constructor
     SVFIR(bool buildFromFile);
 
@@ -128,9 +128,14 @@ public:
     {
         return GepObjVarMap;
     }
-    /// Return ICFG
+    /// Set/Get ICFG
+    inline void setICFG(ICFG* i)
+    {
+        icfg = i;
+    }
     inline ICFG* getICFG()
     {
+        assert(icfg->totalICFGNode>0 && "empty ICFG! Build SVF IR first!");
         return icfg;
     }
     /// Return valid pointers
@@ -151,10 +156,15 @@ public:
     /// Whether to handle blackhole edge
     static void handleBlackHole(bool b);
     //@}
-    /// Get LLVM Module
+    /// Set/Get LLVM Module
+    inline void setModule(SVFModule* mod)
+    {
+        svfModule = mod;
+    }
     inline SVFModule* getModule()
     {
-        return SymbolTableInfo::SymbolInfo()->getModule();
+        assert(svfModule && "empty SVFModule! Build SVF IR first!");
+        return svfModule;
     }
     /// Get/set methods to get SVFStmts based on their kinds and ICFGNodes
     //@{

package/SVF-linux/include/SVF-FE/SVFIRBuilder.h

@@ -47,13 +47,13 @@ class SVFIRBuilder: public llvm::InstVisitor<SVFIRBuilder>
 
 private:
     SVFIR* pag;
-    SVFModule* svfMod;
+    SVFModule* svfModule;
     const BasicBlock* curBB;	///< Current basic block during SVFIR construction when visiting the module
     const Value* curVal;	///< Current Value during SVFIR construction when visiting the module
 
 public:
     /// Constructor
-    SVFIRBuilder(): pag(SVFIR::getPAG()), svfMod(nullptr), curBB(nullptr),curVal(nullptr)
+    SVFIRBuilder(SVFModule* mod): pag(SVFIR::getPAG()), svfModule(mod), curBB(nullptr),curVal(nullptr)
     {
     }
     /// Destructor
@@ -62,7 +62,7 @@ public:
     }
 
     /// Start building SVFIR here
-    virtual SVFIR* build(SVFModule* svfModule);
+    virtual SVFIR* build();
 
     /// Return SVFIR
     SVFIR* getPAG() const

package/package.json

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