svf-lib 1.0.907 → 1.0.910

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

@@ -98,9 +98,6 @@ private:
     /// Module
     SVFModule* mod;
 
-    /// Max field limit
-    static u32_t maxFieldLimit;
-
     /// Clean up memory
     void destroy();
 
@@ -513,7 +510,6 @@ private:
     /// Type vector of fields
     std::vector<const Type*> flattenElementTypes;
     /// Max field limit
-    static u32_t maxFieldLimit;
 
     StInfo(); ///< place holder
     StInfo(const StInfo& st); ///< place holder
@@ -529,16 +525,6 @@ public:
     {
     }
 
-    static inline void setMaxFieldLimit(u32_t limit)
-    {
-        maxFieldLimit = limit;
-    }
-
-    static inline u32_t getMaxFieldLimit()
-    {
-        return maxFieldLimit;
-    }
-
     ///  struct A { int id; int salary; }; struct B { char name[20]; struct A a;}   B b;
     ///  OriginalFieldType of b with field_idx 1 : Struct A
     ///  FlatternedFieldType of b with field_idx 1 : int
@@ -620,6 +606,8 @@ private:
     /// maximum number of field object can be created
     /// minimum number is 0 (field insensitive analysis)
     u32_t maxOffsetLimit;
+    /// Size of the object or number of elements
+    u32_t elemNum;
 
     void resetTypeForHeapStaticObj(const Type* type);
 public:
@@ -650,6 +638,19 @@ public:
         maxOffsetLimit = limit;
     }
 
+    /// Set the number of elements of this object 
+    inline void setNumOfElements(u32_t num)
+    {
+        elemNum = num;
+        setMaxFieldOffsetLimit(num);
+    }
+
+    /// Get the number of elements of this object 
+    inline u32_t getNumOfElements()
+    {
+        return elemNum;
+    }
+
     /// Flag for this object type
     //@{
     inline void setFlag(MEMTYPE mask)

package/SVF-osx/include/MemoryModel/SymbolTableInfo.h

@@ -98,9 +98,6 @@ private:
     /// Module
     SVFModule* mod;
 
-    /// Max field limit
-    static u32_t maxFieldLimit;
-
     /// Clean up memory
     void destroy();
 
@@ -513,7 +510,6 @@ private:
     /// Type vector of fields
     std::vector<const Type*> flattenElementTypes;
     /// Max field limit
-    static u32_t maxFieldLimit;
 
     StInfo(); ///< place holder
     StInfo(const StInfo& st); ///< place holder
@@ -529,16 +525,6 @@ public:
     {
     }
 
-    static inline void setMaxFieldLimit(u32_t limit)
-    {
-        maxFieldLimit = limit;
-    }
-
-    static inline u32_t getMaxFieldLimit()
-    {
-        return maxFieldLimit;
-    }
-
     ///  struct A { int id; int salary; }; struct B { char name[20]; struct A a;}   B b;
     ///  OriginalFieldType of b with field_idx 1 : Struct A
     ///  FlatternedFieldType of b with field_idx 1 : int
@@ -620,6 +606,8 @@ private:
     /// maximum number of field object can be created
     /// minimum number is 0 (field insensitive analysis)
     u32_t maxOffsetLimit;
+    /// Size of the object or number of elements
+    u32_t elemNum;
 
     void resetTypeForHeapStaticObj(const Type* type);
 public:
@@ -650,6 +638,19 @@ public:
         maxOffsetLimit = limit;
     }
 
+    /// Set the number of elements of this object 
+    inline void setNumOfElements(u32_t num)
+    {
+        elemNum = num;
+        setMaxFieldOffsetLimit(num);
+    }
+
+    /// Get the number of elements of this object 
+    inline u32_t getNumOfElements()
+    {
+        return elemNum;
+    }
+
     /// Flag for this object type
     //@{
     inline void setFlag(MEMTYPE mask)

package/SVF-osx/include/SVF-FE/LLVMUtil.h

@@ -517,6 +517,9 @@ const Value *stripAllCasts(const Value *val) ;
 /// Get the type of the heap allocation
 const Type *getTypeOfHeapAlloc(const llvm::Instruction *inst) ;
 
+/// Return the bitcast instruction which is val's only use site, otherwise return nullptr
+const Value* getUniqueUseViaCastInst(const Value* val);
+
 /// Return corresponding constant expression, otherwise return nullptr
 //@{
 inline const ConstantExpr *isGepConstantExpr(const Value *val)

package/SVF-osx/include/SVF-FE/SymbolTableBuilder.h

@@ -84,8 +84,6 @@ public:
     void analyzeHeapObjType(ObjTypeInfo* typeinfo, const Value* val);
     /// Analyse types of heap and static objects
     void analyzeStaticObjType(ObjTypeInfo* typeinfo, const Value* val);
-    /// Return the bitcast instruction which is val's only use site, otherwise return nullptr
-    const Value* getUniqueUseViaCastInst(const Value* val);
 
     /// Return size of this object based on LLVM value
     u32_t getObjSize(const Value* val);

package/package.json

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