svf-lib 1.0.758 → 1.0.759

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

@@ -371,12 +371,6 @@ public:
     const Type* getOrigSubTypeWithByteOffset(const Type* baseType, u32_t byteOffset);
     //@}
 
-    /// Compute gep offset
-    virtual bool computeGepOffset(const User *V, LocationSet& ls);
-    /// Get the base type and max offset
-    const Type *getBaseTypeAndFlattenedFields(const Value *V, std::vector<LocationSet> &fields);
-    /// Replace fields with flatten fields of T if the number of its fields is larger than msz.
-    u32_t getFields(std::vector<LocationSet>& fields, const Type* T, u32_t msz);
     /// Collect type info
     void collectTypeInfo(const Type* T);
     /// Given an offset from a Gep Instruction, return it modulus offset by considering memory layout

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

@@ -124,6 +124,12 @@ public:
     /// Compute offset of a gep instruction or gep constant expression
     bool computeGepOffset(const User *V, LocationSet& ls);
 
+    /// Get the base type and max offset
+    const Type *getBaseTypeAndFlattenedFields(const Value *V, std::vector<LocationSet> &fields);
+
+    /// Replace fields with flatten fields of T if the number of its fields is larger than msz.
+    u32_t getFields(std::vector<LocationSet>& fields, const Type* T, u32_t msz);
+
     /// Handle direct call
     void handleDirectCall(CallSite cs, const SVFFunction *F);
 
@@ -133,7 +139,6 @@ public:
     /// Handle external call
     //@{
     virtual void handleExtCall(CallSite cs, const SVFFunction *F);
-    const Type *getBaseTypeAndFlattenedFields(Value* v, std::vector<LocationSet> &fields);
     void addComplexConsForExt(Value *D, Value *S,u32_t sz = 0);
     //@}
 

package/package.json

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