svf-lib 1.0.1651 → 1.0.1653

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 (11) hide show
  1. package/SVF-linux/Release-build/svf/libSvfCore.a +0 -0
  2. package/SVF-linux/Release-build/svf-llvm/libSvfLLVM.a +0 -0
  3. package/SVF-linux/svf/include/AbstractExecution/BoundedZ3Expr.h +4 -5
  4. package/SVF-linux/svf/include/AbstractExecution/IntervalValue.h +19 -19
  5. package/SVF-linux/svf/include/AbstractExecution/NumericLiteral.h +2 -2
  6. package/SVF-osx/Release-build/svf/libSvfCore.a +0 -0
  7. package/SVF-osx/Release-build/svf-llvm/libSvfLLVM.a +0 -0
  8. package/SVF-osx/svf/include/AbstractExecution/BoundedZ3Expr.h +4 -4
  9. package/SVF-osx/svf/include/AbstractExecution/IntervalValue.h +19 -19
  10. package/SVF-osx/svf/include/AbstractExecution/NumericLiteral.h +2 -2
  11. package/package.json +1 -1
package/SVF-linux/svf/include/AbstractExecution/BoundedZ3Expr.h CHANGED
@@ -51,11 +51,10 @@ public:
51
51
 
52
52
  BoundedZ3Expr(s32_t i) : Z3Expr(i) {}
53
53
 
54
- BoundedZ3Expr(int64_t i) : Z3Expr(getContext().int_val(i)) {}
54
+ BoundedZ3Expr(s64_t i) : Z3Expr(getContext().int_val((int64_t)i)) {}
55
55
 
56
56
  BoundedZ3Expr(const BoundedZ3Expr &z3Expr) : Z3Expr(z3Expr) {}
57
57
 
58
-
59
58
  inline BoundedZ3Expr &operator=(const BoundedZ3Expr &rhs)
60
59
  {
61
60
  Z3Expr::operator=(rhs);
@@ -347,13 +346,13 @@ public:
347
346
  }
348
347
 
349
348
  /// Return Numeral
350
- inline int64_t getNumeral() const
349
+ inline s64_t getNumeral() const
351
350
  {
352
351
  if (is_numeral())
353
352
  {
354
353
  int64_t i;
355
354
  if (getExpr().is_numeral_i64(i))
356
- return get_numeral_int64();
355
+ return (s64_t)get_numeral_int64();
357
356
  else
358
357
  {
359
358
  return (getExpr() < 0).simplify().is_true() ? INT64_MIN : INT64_MAX;
@@ -374,7 +373,7 @@ public:
374
373
  }
375
374
  }
376
375
 
377
- int64_t bvLen() const;
376
+ s64_t bvLen() const;
378
377
  //%}
379
378
  }; // end class ConZ3Expr
380
379
  } // end namespace SVF
package/SVF-linux/svf/include/AbstractExecution/IntervalValue.h CHANGED
@@ -95,13 +95,13 @@ public:
95
95
  explicit IntervalValue() : AbstractValue(AbstractValue::IntervalK), _lb(minus_infinity()), _ub(plus_infinity()) {}
96
96
 
97
97
  /// Create the IntervalValue [n, n]
98
- explicit IntervalValue(int64_t n) : AbstractValue(AbstractValue::IntervalK), _lb(n), _ub(n) {}
98
+ explicit IntervalValue(s64_t n) : AbstractValue(AbstractValue::IntervalK), _lb(n), _ub(n) {}
99
99
 
100
- explicit IntervalValue(s32_t n) : IntervalValue((int64_t) n) {}
100
+ explicit IntervalValue(s32_t n) : IntervalValue((s64_t) n) {}
101
101
 
102
- explicit IntervalValue(u32_t n) : IntervalValue((int64_t) n) {}
102
+ explicit IntervalValue(u32_t n) : IntervalValue((s64_t) n) {}
103
103
 
104
- explicit IntervalValue(double n) : IntervalValue((int64_t) n) {}
104
+ explicit IntervalValue(double n) : IntervalValue((s64_t) n) {}
105
105
 
106
106
  explicit IntervalValue(NumericLiteral n) : IntervalValue(n, n) {}
107
107
 
@@ -109,15 +109,15 @@ public:
109
109
  explicit IntervalValue(NumericLiteral lb, NumericLiteral ub) : AbstractValue(AbstractValue::IntervalK),
110
110
  _lb(std::move(lb)), _ub(std::move(ub)) {}
111
111
 
112
- explicit IntervalValue(int64_t lb, int64_t ub) : IntervalValue(NumericLiteral(lb), NumericLiteral(ub)) {}
112
+ explicit IntervalValue(s64_t lb, s64_t ub) : IntervalValue(NumericLiteral(lb), NumericLiteral(ub)) {}
113
113
 
114
- explicit IntervalValue(double lb, double ub) : IntervalValue(NumericLiteral((int64_t) lb), NumericLiteral((int64_t) ub)) {}
114
+ explicit IntervalValue(double lb, double ub) : IntervalValue(NumericLiteral((s64_t) lb), NumericLiteral((s64_t) ub)) {}
115
115
 
116
- explicit IntervalValue(s32_t lb, s32_t ub) : IntervalValue((int64_t) lb, (int64_t) ub) {}
116
+ explicit IntervalValue(s32_t lb, s32_t ub) : IntervalValue((s64_t) lb, (s64_t) ub) {}
117
117
 
118
- explicit IntervalValue(u32_t lb, u32_t ub) : IntervalValue((int64_t) lb, (int64_t) ub) {}
118
+ explicit IntervalValue(u32_t lb, u32_t ub) : IntervalValue((s64_t) lb, (s64_t) ub) {}
119
119
 
120
- explicit IntervalValue(u64_t lb, u64_t ub) : IntervalValue((int64_t) lb, (int64_t) ub) {}
120
+ explicit IntervalValue(u64_t lb, u64_t ub) : IntervalValue((s64_t) lb, (s64_t) ub) {}
121
121
 
122
122
  /// Copy constructor
123
123
  IntervalValue(const IntervalValue &) = default;
@@ -260,7 +260,7 @@ public:
260
260
  }
261
261
 
262
262
  /// Return
263
- int64_t getNumeral() const
263
+ s64_t getNumeral() const
264
264
  {
265
265
  assert(is_numeral() && "this IntervalValue is not numeral");
266
266
  return _lb.getNumeral();
@@ -800,15 +800,15 @@ inline IntervalValue operator&(const IntervalValue &lhs, const IntervalValue &rh
800
800
  }
801
801
  else if (lhs.lb().getNumeral() >= 0 && rhs.lb().getNumeral() >= 0)
802
802
  {
803
- return IntervalValue((int64_t) 0, min(lhs.ub(), rhs.ub()));
803
+ return IntervalValue((s64_t) 0, min(lhs.ub(), rhs.ub()));
804
804
  }
805
805
  else if (lhs.lb().getNumeral() >= 0)
806
806
  {
807
- return IntervalValue((int64_t) 0, lhs.ub());
807
+ return IntervalValue((s64_t) 0, lhs.ub());
808
808
  }
809
809
  else if (rhs.lb().getNumeral() >= 0)
810
810
  {
811
- return IntervalValue((int64_t) 0, rhs.ub());
811
+ return IntervalValue((s64_t) 0, rhs.ub());
812
812
  }
813
813
  else
814
814
  {
@@ -835,9 +835,9 @@ inline IntervalValue operator|(const IntervalValue &lhs, const IntervalValue &rh
835
835
  else if (lhs.lb().getNumeral() >= 0 && !lhs.ub().is_infinity() &&
836
836
  rhs.lb().getNumeral() >= 0 && !rhs.ub().is_infinity())
837
837
  {
838
- int64_t m = std::max(lhs.ub().getNumeral(), rhs.ub().getNumeral());
839
- int64_t ub = next_power_of_2(s64_t(m+1));
840
- return IntervalValue((int64_t) 0, (int64_t) ub);
838
+ s64_t m = std::max(lhs.ub().getNumeral(), rhs.ub().getNumeral());
839
+ s64_t ub = next_power_of_2(s64_t(m+1));
840
+ return IntervalValue((s64_t) 0, (s64_t) ub);
841
841
  }
842
842
  else
843
843
  {
@@ -864,9 +864,9 @@ inline IntervalValue operator^(const IntervalValue &lhs, const IntervalValue &rh
864
864
  else if (lhs.lb().getNumeral() >= 0 && !lhs.ub().is_infinity() &&
865
865
  rhs.lb().getNumeral() >= 0 && !rhs.ub().is_infinity())
866
866
  {
867
- int64_t m = std::max(lhs.ub().getNumeral(), rhs.ub().getNumeral());
868
- int64_t ub = next_power_of_2(s64_t(m+1));
869
- return IntervalValue((int64_t) 0, (int64_t) ub);
867
+ s64_t m = std::max(lhs.ub().getNumeral(), rhs.ub().getNumeral());
868
+ s64_t ub = next_power_of_2(s64_t(m+1));
869
+ return IntervalValue((s64_t) 0, (s64_t) ub);
870
870
  }
871
871
  else
872
872
  {
package/SVF-linux/svf/include/AbstractExecution/NumericLiteral.h CHANGED
@@ -54,7 +54,7 @@ public:
54
54
 
55
55
  NumericLiteral(s32_t i) : _n(i) {}
56
56
 
57
- NumericLiteral(int64_t i) : _n(i) {}
57
+ NumericLiteral(s64_t i) : _n(i) {}
58
58
 
59
59
  NumericLiteral(BoundedZ3Expr z3Expr) : _n(std::move(z3Expr)) {}
60
60
 
@@ -117,7 +117,7 @@ public:
117
117
  }
118
118
 
119
119
  /// Return Numeral
120
- inline int64_t getNumeral() const
120
+ inline s64_t getNumeral() const
121
121
  {
122
122
  return _n.getNumeral();
123
123
  }
package/SVF-osx/svf/include/AbstractExecution/BoundedZ3Expr.h CHANGED
@@ -51,7 +51,7 @@ public:
51
51
 
52
52
  BoundedZ3Expr(s32_t i) : Z3Expr(i) {}
53
53
 
54
- BoundedZ3Expr(int64_t i) : Z3Expr(getContext().int_val(i)) {}
54
+ BoundedZ3Expr(s64_t i) : Z3Expr(getContext().int_val((int64_t)i)) {}
55
55
 
56
56
  BoundedZ3Expr(const BoundedZ3Expr &z3Expr) : Z3Expr(z3Expr) {}
57
57
 
@@ -345,13 +345,13 @@ public:
345
345
  }
346
346
 
347
347
  /// Return Numeral
348
- inline int64_t getNumeral() const
348
+ inline s64_t getNumeral() const
349
349
  {
350
350
  if (is_numeral())
351
351
  {
352
352
  int64_t i;
353
353
  if (getExpr().is_numeral_i64(i))
354
- return get_numeral_int64();
354
+ return (s64_t)get_numeral_int64();
355
355
  else
356
356
  {
357
357
  return (getExpr() < 0).simplify().is_true() ? INT64_MIN : INT64_MAX;
@@ -372,7 +372,7 @@ public:
372
372
  }
373
373
  }
374
374
 
375
- int64_t bvLen() const;
375
+ s64_t bvLen() const;
376
376
  //%}
377
377
  }; // end class ConZ3Expr
378
378
  } // end namespace SVF
package/SVF-osx/svf/include/AbstractExecution/IntervalValue.h CHANGED
@@ -94,13 +94,13 @@ public:
94
94
  explicit IntervalValue() : AbstractValue(AbstractValue::IntervalK), _lb(minus_infinity()), _ub(plus_infinity()) {}
95
95
 
96
96
  /// Create the IntervalValue [n, n]
97
- explicit IntervalValue(int64_t n) : AbstractValue(AbstractValue::IntervalK), _lb(n), _ub(n) {}
97
+ explicit IntervalValue(s64_t n) : AbstractValue(AbstractValue::IntervalK), _lb(n), _ub(n) {}
98
98
 
99
- explicit IntervalValue(s32_t n) : IntervalValue((int64_t) n) {}
99
+ explicit IntervalValue(s32_t n) : IntervalValue((s64_t) n) {}
100
100
 
101
- explicit IntervalValue(u32_t n) : IntervalValue((int64_t) n) {}
101
+ explicit IntervalValue(u32_t n) : IntervalValue((s64_t) n) {}
102
102
 
103
- explicit IntervalValue(double n) : IntervalValue((int64_t) n) {}
103
+ explicit IntervalValue(double n) : IntervalValue((s64_t) n) {}
104
104
 
105
105
  explicit IntervalValue(NumericLiteral n) : IntervalValue(n, n) {}
106
106
 
@@ -108,15 +108,15 @@ public:
108
108
  explicit IntervalValue(NumericLiteral lb, NumericLiteral ub) : AbstractValue(AbstractValue::IntervalK),
109
109
  _lb(std::move(lb)), _ub(std::move(ub)) {}
110
110
 
111
- explicit IntervalValue(int64_t lb, int64_t ub) : IntervalValue(NumericLiteral(lb), NumericLiteral(ub)) {}
111
+ explicit IntervalValue(s64_t lb, s64_t ub) : IntervalValue(NumericLiteral(lb), NumericLiteral(ub)) {}
112
112
 
113
- explicit IntervalValue(double lb, double ub) : IntervalValue(NumericLiteral((int64_t) lb), NumericLiteral((int64_t) ub)) {}
113
+ explicit IntervalValue(double lb, double ub) : IntervalValue(NumericLiteral((s64_t) lb), NumericLiteral((s64_t) ub)) {}
114
114
 
115
- explicit IntervalValue(s32_t lb, s32_t ub) : IntervalValue((int64_t) lb, (int64_t) ub) {}
115
+ explicit IntervalValue(s32_t lb, s32_t ub) : IntervalValue((s64_t) lb, (s64_t) ub) {}
116
116
 
117
- explicit IntervalValue(u32_t lb, u32_t ub) : IntervalValue((int64_t) lb, (int64_t) ub) {}
117
+ explicit IntervalValue(u32_t lb, u32_t ub) : IntervalValue((s64_t) lb, (s64_t) ub) {}
118
118
 
119
- explicit IntervalValue(u64_t lb, u64_t ub) : IntervalValue((int64_t) lb, (int64_t) ub) {}
119
+ explicit IntervalValue(u64_t lb, u64_t ub) : IntervalValue((s64_t) lb, (s64_t) ub) {}
120
120
 
121
121
  /// Copy constructor
122
122
  IntervalValue(const IntervalValue &) = default;
@@ -259,7 +259,7 @@ public:
259
259
  }
260
260
 
261
261
  /// Return
262
- int64_t getNumeral() const
262
+ s64_t getNumeral() const
263
263
  {
264
264
  assert(is_numeral() && "this IntervalValue is not numeral");
265
265
  return _lb.getNumeral();
@@ -797,15 +797,15 @@ inline IntervalValue operator&(const IntervalValue &lhs, const IntervalValue &rh
797
797
  }
798
798
  else if (lhs.lb().getNumeral() >= 0 && rhs.lb().getNumeral() >= 0)
799
799
  {
800
- return IntervalValue((int64_t) 0, min(lhs.ub(), rhs.ub()));
800
+ return IntervalValue((s64_t) 0, min(lhs.ub(), rhs.ub()));
801
801
  }
802
802
  else if (lhs.lb().getNumeral() >= 0)
803
803
  {
804
- return IntervalValue((int64_t) 0, lhs.ub());
804
+ return IntervalValue((s64_t) 0, lhs.ub());
805
805
  }
806
806
  else if (rhs.lb().getNumeral() >= 0)
807
807
  {
808
- return IntervalValue((int64_t) 0, rhs.ub());
808
+ return IntervalValue((s64_t) 0, rhs.ub());
809
809
  }
810
810
  else
811
811
  {
@@ -832,9 +832,9 @@ inline IntervalValue operator|(const IntervalValue &lhs, const IntervalValue &rh
832
832
  else if (lhs.lb().getNumeral() >= 0 && !lhs.ub().is_infinity() &&
833
833
  rhs.lb().getNumeral() >= 0 && !rhs.ub().is_infinity())
834
834
  {
835
- int64_t m = std::max(lhs.ub().getNumeral(), rhs.ub().getNumeral());
836
- int64_t ub = next_power_of_2(s64_t(m+1));
837
- return IntervalValue((int64_t) 0, (int64_t) ub);
835
+ s64_t m = std::max(lhs.ub().getNumeral(), rhs.ub().getNumeral());
836
+ s64_t ub = next_power_of_2(s64_t(m+1));
837
+ return IntervalValue((s64_t) 0, (s64_t) ub);
838
838
  }
839
839
  else
840
840
  {
@@ -861,9 +861,9 @@ inline IntervalValue operator^(const IntervalValue &lhs, const IntervalValue &rh
861
861
  else if (lhs.lb().getNumeral() >= 0 && !lhs.ub().is_infinity() &&
862
862
  rhs.lb().getNumeral() >= 0 && !rhs.ub().is_infinity())
863
863
  {
864
- int64_t m = std::max(lhs.ub().getNumeral(), rhs.ub().getNumeral());
865
- int64_t ub = next_power_of_2(s64_t(m+1));
866
- return IntervalValue((int64_t) 0, (int64_t) ub);
864
+ s64_t m = std::max(lhs.ub().getNumeral(), rhs.ub().getNumeral());
865
+ s64_t ub = next_power_of_2(s64_t(m+1));
866
+ return IntervalValue((s64_t) 0, (s64_t) ub);
867
867
  }
868
868
  else
869
869
  {
package/SVF-osx/svf/include/AbstractExecution/NumericLiteral.h CHANGED
@@ -54,7 +54,7 @@ public:
54
54
 
55
55
  NumericLiteral(s32_t i) : _n(i) {}
56
56
 
57
- NumericLiteral(int64_t i) : _n(i) {}
57
+ NumericLiteral(s64_t i) : _n(i) {}
58
58
 
59
59
  NumericLiteral(BoundedZ3Expr z3Expr) : _n(std::move(z3Expr)) {}
60
60
 
@@ -117,7 +117,7 @@ public:
117
117
  }
118
118
 
119
119
  /// Return Numeral
120
- inline int64_t getNumeral() const
120
+ inline s64_t getNumeral() const
121
121
  {
122
122
  return _n.getNumeral();
123
123
  }
package/package.json CHANGED
@@ -1,6 +1,6 @@
1
1
  {
2
2
  "name": "svf-lib",
3
- "version": "1.0.1651",
3
+ "version": "1.0.1653",
4
4
  "description": "SVF's npm support",
5
5
  "main": "index.js",
6
6
  "scripts": {