svf-lib 1.0.944 → 1.0.947

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 (10) hide show
  1. package/SVF-linux/Release-build/lib/libSvf.a +0 -0
  2. package/SVF-linux/include/Graphs/ICFGEdge.h +1 -1
  3. package/SVF-linux/include/MemoryModel/PointsTo.h +1 -1
  4. package/SVF-linux/include/Util/CoreBitVector.h +1 -1
  5. package/SVF-osx/Release-build/lib/CUDD/libCudd.a +0 -0
  6. package/SVF-osx/Release-build/lib/libSvf.a +0 -0
  7. package/SVF-osx/include/Graphs/ICFGEdge.h +1 -1
  8. package/SVF-osx/include/MemoryModel/PointsTo.h +1 -1
  9. package/SVF-osx/include/Util/CoreBitVector.h +1 -1
  10. package/package.json +1 -1
package/SVF-linux/include/Graphs/ICFGEdge.h CHANGED
@@ -138,7 +138,7 @@ public:
138
138
  return conditionVar;
139
139
  }
140
140
 
141
- const s32_t getSuccessorCondValue() const{
141
+ s32_t getSuccessorCondValue() const{
142
142
  assert(getCondition() && "this is not a conditional branch edge");
143
143
  return branchCondVal;
144
144
  }
package/SVF-linux/include/MemoryModel/PointsTo.h CHANGED
@@ -199,7 +199,7 @@ public:
199
199
  const PointsToIterator operator++(int);
200
200
 
201
201
  /// Dereference: *it.
202
- const u32_t operator*(void) const;
202
+ u32_t operator*(void) const;
203
203
 
204
204
  /// Equality: *this == rhs.
205
205
  bool operator==(const PointsToIterator &rhs) const;
package/SVF-linux/include/Util/CoreBitVector.h CHANGED
@@ -172,7 +172,7 @@ public:
172
172
  const CoreBitVectorIterator operator++(int);
173
173
 
174
174
  /// Dereference: *it.
175
- const u32_t operator*(void) const;
175
+ u32_t operator*(void) const;
176
176
 
177
177
  /// Equality: *this == rhs.
178
178
  bool operator==(const CoreBitVectorIterator &rhs) const;
package/SVF-osx/Release-build/lib/libSvf.a CHANGED
Binary file
package/SVF-osx/include/Graphs/ICFGEdge.h CHANGED
@@ -138,7 +138,7 @@ public:
138
138
  return conditionVar;
139
139
  }
140
140
 
141
- const s32_t getSuccessorCondValue() const{
141
+ s32_t getSuccessorCondValue() const{
142
142
  assert(getCondition() && "this is not a conditional branch edge");
143
143
  return branchCondVal;
144
144
  }
package/SVF-osx/include/MemoryModel/PointsTo.h CHANGED
@@ -199,7 +199,7 @@ public:
199
199
  const PointsToIterator operator++(int);
200
200
 
201
201
  /// Dereference: *it.
202
- const u32_t operator*(void) const;
202
+ u32_t operator*(void) const;
203
203
 
204
204
  /// Equality: *this == rhs.
205
205
  bool operator==(const PointsToIterator &rhs) const;
package/SVF-osx/include/Util/CoreBitVector.h CHANGED
@@ -172,7 +172,7 @@ public:
172
172
  const CoreBitVectorIterator operator++(int);
173
173
 
174
174
  /// Dereference: *it.
175
- const u32_t operator*(void) const;
175
+ u32_t operator*(void) const;
176
176
 
177
177
  /// Equality: *this == rhs.
178
178
  bool operator==(const CoreBitVectorIterator &rhs) const;
package/package.json CHANGED
@@ -1,6 +1,6 @@
1
1
  {
2
2
  "name": "svf-lib",
3
- "version": "1.0.944",
3
+ "version": "1.0.947",
4
4
  "description": "SVF's npm support",
5
5
  "main": "index.js",
6
6
  "scripts": {