svf-lib 1.0.851 → 1.0.855

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (6) hide show
  1. package/SVF-linux/Release-build/lib/libSvf.a +0 -0
  2. package/SVF-linux/include/SVF-FE/SVFIRBuilder.h +3 -4
  3. package/SVF-osx/Release-build/lib/CUDD/libCudd.a +0 -0
  4. package/SVF-osx/Release-build/lib/libSvf.a +0 -0
  5. package/SVF-osx/include/SVF-FE/SVFIRBuilder.h +3 -4
  6. package/package.json +1 -1
package/SVF-linux/include/SVF-FE/SVFIRBuilder.h CHANGED
@@ -205,7 +205,9 @@ public:
205
205
  // TODO: ignore here:
206
206
  }
207
207
  //}@
208
-
208
+ /// Compute offset of a gep instruction or gep constant expression
209
+ bool computeGepOffset(const User *V, LocationSet& ls);
210
+
209
211
  protected:
210
212
  /// Handle globals including (global variable and functions)
211
213
  //@{
@@ -221,9 +223,6 @@ protected:
221
223
  /// Infer field index from byteoffset.
222
224
  u32_t inferFieldIdxFromByteOffset(const llvm::GEPOperator* gepOp, DataLayout *dl, LocationSet& ls, s64_t idx);
223
225
 
224
- /// Compute offset of a gep instruction or gep constant expression
225
- bool computeGepOffset(const User *V, LocationSet& ls);
226
-
227
226
  /// Get the base type and max offset
228
227
  const Type *getBaseTypeAndFlattenedFields(const Value *V, std::vector<LocationSet> &fields, const Value* sz);
229
228
 
package/SVF-osx/Release-build/lib/libSvf.a CHANGED
Binary file
package/SVF-osx/include/SVF-FE/SVFIRBuilder.h CHANGED
@@ -205,7 +205,9 @@ public:
205
205
  // TODO: ignore here:
206
206
  }
207
207
  //}@
208
-
208
+ /// Compute offset of a gep instruction or gep constant expression
209
+ bool computeGepOffset(const User *V, LocationSet& ls);
210
+
209
211
  protected:
210
212
  /// Handle globals including (global variable and functions)
211
213
  //@{
@@ -221,9 +223,6 @@ protected:
221
223
  /// Infer field index from byteoffset.
222
224
  u32_t inferFieldIdxFromByteOffset(const llvm::GEPOperator* gepOp, DataLayout *dl, LocationSet& ls, s64_t idx);
223
225
 
224
- /// Compute offset of a gep instruction or gep constant expression
225
- bool computeGepOffset(const User *V, LocationSet& ls);
226
-
227
226
  /// Get the base type and max offset
228
227
  const Type *getBaseTypeAndFlattenedFields(const Value *V, std::vector<LocationSet> &fields, const Value* sz);
229
228
 
package/package.json CHANGED
@@ -1,6 +1,6 @@
1
1
  {
2
2
  "name": "svf-lib",
3
- "version": "1.0.851",
3
+ "version": "1.0.855",
4
4
  "description": "SVF's npm support",
5
5
  "main": "index.js",
6
6
  "scripts": {