svf-lib 1.0.2184 → 1.0.2186

package/SVF-linux/Release-build/include/SVF-LLVM/LLVMModule.h

@@ -190,17 +190,17 @@ public:
     inline void addInstructionMap(const Instruction* inst, CallICFGNode* svfInst)
     {
         CSToCallNodeMap[inst] = svfInst;
-        addToLLVMVal2SVFVarMap(inst, svfInst);
+        addToSVFVar2LLVMValueMap(inst, svfInst);
     }
     inline void addInstructionMap(const Instruction* inst, RetICFGNode* svfInst)
     {
         CSToRetNodeMap[inst] = svfInst;
-        addToLLVMVal2SVFVarMap(inst, svfInst);
+        addToSVFVar2LLVMValueMap(inst, svfInst);
     }
     inline void addInstructionMap(const Instruction* inst, IntraICFGNode* svfInst)
     {
         InstToBlockNodeMap[inst] = svfInst;
-        addToLLVMVal2SVFVarMap(inst, svfInst);
+        addToSVFVar2LLVMValueMap(inst, svfInst);
     }
 
     inline void addArgumentMap(const Argument* arg, SVFArgument* svfArg)
@@ -426,7 +426,7 @@ private:
     void initSVFBasicBlock(const Function* func);
     void initDomTree(SVFFunction* func, const Function* f);
     void setValueAttr(const Value* val, SVFValue* value);
-    void addToLLVMVal2SVFVarMap(const Value* val, SVFBaseNode* svfBaseNode);
+    void addToSVFVar2LLVMValueMap(const Value* val, SVFBaseNode* svfBaseNode);
     void buildFunToFunMap();
     void buildGlobalDefToRepMap();
     /// Invoke llvm passes to modify module

package/SVF-linux/Release-build/include/SVF-LLVM/SVFIRBuilder.h

@@ -273,7 +273,7 @@ protected:
         LLVMContext& cxt = llvmModuleSet()->getContext();
         ConstantPointerNull* constNull = ConstantPointerNull::get(PointerType::getUnqual(cxt));
         NodeID nullPtr = pag->addConstantNullPtrValNode(llvmModuleSet()->getSVFValue(constNull),pag->getNullPtr(), nullptr);
-        llvmModuleSet()->addToLLVMVal2SVFVarMap(
+        llvmModuleSet()->addToSVFVar2LLVMValueMap(
             constNull, pag->getGNode(pag->getNullPtr()));
         setCurrentLocation(constNull, nullptr);
         addBlackHoleAddrEdge(pag->getBlkPtr());

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

@@ -529,8 +529,7 @@ public:
 };
 
 /*
- * Field-insensitive Gep Obj variable, this is dynamic generated for field sensitive analysis
- * Each field-insensitive gep obj node represents all fields of a MemObj (base)
+ * Base memory object variable (address-taken variables in LLVM-based languages)
  */
 class BaseObjVar : public ObjVar
 {
@@ -540,7 +539,7 @@ class BaseObjVar : public ObjVar
 private:
     ObjTypeInfo* typeInfo;
 
-    const SVFBaseNode* gNode;
+    const ICFGNode* icfgNode; /// ICFGNode related to the creation of this object
 
 protected:
     /// Constructor to create empty ObjVar (for SVFIRReader/deserialization)
@@ -571,7 +570,7 @@ public:
     }
     //@}
 
-    /// Constructorx
+    /// Constructor
     BaseObjVar(const SVFValue* val, NodeID i, ObjTypeInfo* ti, PNODEK ty = BaseObjNode)
         :  ObjVar(val, i, ty), typeInfo(ti)
     {
@@ -582,10 +581,10 @@ public:
         return this;
     }
 
-    /// Get the reference value to this object
-    inline const SVFBaseNode* getGNode() const
+    /// Get the ICFGNode related to the creation of this object
+    inline const ICFGNode* getICFGNode() const
     {
-        return gNode;
+        return icfgNode;
     }
 
     /// Return name of a LLVM value

package/SVF-osx/Release-build/include/SVF-LLVM/LLVMModule.h

@@ -190,17 +190,17 @@ public:
     inline void addInstructionMap(const Instruction* inst, CallICFGNode* svfInst)
     {
         CSToCallNodeMap[inst] = svfInst;
-        addToLLVMVal2SVFVarMap(inst, svfInst);
+        addToSVFVar2LLVMValueMap(inst, svfInst);
     }
     inline void addInstructionMap(const Instruction* inst, RetICFGNode* svfInst)
     {
         CSToRetNodeMap[inst] = svfInst;
-        addToLLVMVal2SVFVarMap(inst, svfInst);
+        addToSVFVar2LLVMValueMap(inst, svfInst);
     }
     inline void addInstructionMap(const Instruction* inst, IntraICFGNode* svfInst)
     {
         InstToBlockNodeMap[inst] = svfInst;
-        addToLLVMVal2SVFVarMap(inst, svfInst);
+        addToSVFVar2LLVMValueMap(inst, svfInst);
     }
 
     inline void addArgumentMap(const Argument* arg, SVFArgument* svfArg)
@@ -426,7 +426,7 @@ private:
     void initSVFBasicBlock(const Function* func);
     void initDomTree(SVFFunction* func, const Function* f);
     void setValueAttr(const Value* val, SVFValue* value);
-    void addToLLVMVal2SVFVarMap(const Value* val, SVFBaseNode* svfBaseNode);
+    void addToSVFVar2LLVMValueMap(const Value* val, SVFBaseNode* svfBaseNode);
     void buildFunToFunMap();
     void buildGlobalDefToRepMap();
     /// Invoke llvm passes to modify module

package/SVF-osx/Release-build/include/SVF-LLVM/SVFIRBuilder.h

@@ -273,7 +273,7 @@ protected:
         LLVMContext& cxt = llvmModuleSet()->getContext();
         ConstantPointerNull* constNull = ConstantPointerNull::get(PointerType::getUnqual(cxt));
         NodeID nullPtr = pag->addConstantNullPtrValNode(llvmModuleSet()->getSVFValue(constNull),pag->getNullPtr(), nullptr);
-        llvmModuleSet()->addToLLVMVal2SVFVarMap(
+        llvmModuleSet()->addToSVFVar2LLVMValueMap(
             constNull, pag->getGNode(pag->getNullPtr()));
         setCurrentLocation(constNull, nullptr);
         addBlackHoleAddrEdge(pag->getBlkPtr());

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

@@ -529,8 +529,7 @@ public:
 };
 
 /*
- * Field-insensitive Gep Obj variable, this is dynamic generated for field sensitive analysis
- * Each field-insensitive gep obj node represents all fields of a MemObj (base)
+ * Base memory object variable (address-taken variables in LLVM-based languages)
  */
 class BaseObjVar : public ObjVar
 {
@@ -540,7 +539,7 @@ class BaseObjVar : public ObjVar
 private:
     ObjTypeInfo* typeInfo;
 
-    const SVFBaseNode* gNode;
+    const ICFGNode* icfgNode; /// ICFGNode related to the creation of this object
 
 protected:
     /// Constructor to create empty ObjVar (for SVFIRReader/deserialization)
@@ -571,7 +570,7 @@ public:
     }
     //@}
 
-    /// Constructorx
+    /// Constructor
     BaseObjVar(const SVFValue* val, NodeID i, ObjTypeInfo* ti, PNODEK ty = BaseObjNode)
         :  ObjVar(val, i, ty), typeInfo(ti)
     {
@@ -582,10 +581,10 @@ public:
         return this;
     }
 
-    /// Get the reference value to this object
-    inline const SVFBaseNode* getGNode() const
+    /// Get the ICFGNode related to the creation of this object
+    inline const ICFGNode* getICFGNode() const
     {
-        return gNode;
+        return icfgNode;
     }
 
     /// Return name of a LLVM value

package/package.json

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