svf-lib 1.0.1504 → 1.0.1506
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.
- package/SVF-linux/Release-build/svf/libSvfCore.a +0 -0
- package/SVF-linux/Release-build/svf-llvm/libSvfLLVM.a +0 -0
- package/SVF-linux/svf/include/AbstractExecution/IntervalValue.h +3 -3
- package/SVF-linux/svf/include/AbstractExecution/SVFIR2ItvExeState.h +4 -0
- package/SVF-osx/Release-build/svf/libSvfCore.a +0 -0
- package/SVF-osx/Release-build/svf-llvm/libSvfLLVM.a +0 -0
- package/SVF-osx/svf/include/AbstractExecution/IntervalValue.h +3 -3
- package/SVF-osx/svf/include/AbstractExecution/SVFIR2ItvExeState.h +4 -0
- package/package.json +1 -1
|
Binary file
|
|
Binary file
|
|
@@ -299,7 +299,7 @@ public:
|
|
|
299
299
|
}
|
|
300
300
|
else
|
|
301
301
|
{
|
|
302
|
-
return
|
|
302
|
+
return other._lb.leq(this->_lb) && this->_ub.leq(other._ub);
|
|
303
303
|
}
|
|
304
304
|
|
|
305
305
|
}
|
|
@@ -317,7 +317,7 @@ public:
|
|
|
317
317
|
}
|
|
318
318
|
else
|
|
319
319
|
{
|
|
320
|
-
return
|
|
320
|
+
return other._lb.geq(this->_lb) && this->_ub.geq(other._ub);
|
|
321
321
|
}
|
|
322
322
|
}
|
|
323
323
|
|
|
@@ -381,7 +381,7 @@ public:
|
|
|
381
381
|
}
|
|
382
382
|
else
|
|
383
383
|
{
|
|
384
|
-
this->_lb = !lb().
|
|
384
|
+
this->_lb = !lb().leq(other.lb()) ? minus_infinity() : this->lb();
|
|
385
385
|
this->_ub = !ub().geq(other.ub()) ? plus_infinity() : this->ub();
|
|
386
386
|
}
|
|
387
387
|
}
|
|
@@ -66,6 +66,10 @@ public:
|
|
|
66
66
|
return _relEs;
|
|
67
67
|
}
|
|
68
68
|
|
|
69
|
+
void widenVAddrs(IntervalExeState &lhs, const IntervalExeState &rhs);
|
|
70
|
+
|
|
71
|
+
void narrowVAddrs(IntervalExeState &lhs, const IntervalExeState &rhs);
|
|
72
|
+
|
|
69
73
|
/// Return the field address given a pointer points to a struct object and an offset
|
|
70
74
|
VAddrs getGepObjAddress(u32_t pointer, u32_t offset);
|
|
71
75
|
|
|
Binary file
|
|
Binary file
|
|
@@ -299,7 +299,7 @@ public:
|
|
|
299
299
|
}
|
|
300
300
|
else
|
|
301
301
|
{
|
|
302
|
-
return
|
|
302
|
+
return other._lb.leq(this->_lb) && this->_ub.leq(other._ub);
|
|
303
303
|
}
|
|
304
304
|
|
|
305
305
|
}
|
|
@@ -317,7 +317,7 @@ public:
|
|
|
317
317
|
}
|
|
318
318
|
else
|
|
319
319
|
{
|
|
320
|
-
return
|
|
320
|
+
return other._lb.geq(this->_lb) && this->_ub.geq(other._ub);
|
|
321
321
|
}
|
|
322
322
|
}
|
|
323
323
|
|
|
@@ -381,7 +381,7 @@ public:
|
|
|
381
381
|
}
|
|
382
382
|
else
|
|
383
383
|
{
|
|
384
|
-
this->_lb = !lb().
|
|
384
|
+
this->_lb = !lb().leq(other.lb()) ? minus_infinity() : this->lb();
|
|
385
385
|
this->_ub = !ub().geq(other.ub()) ? plus_infinity() : this->ub();
|
|
386
386
|
}
|
|
387
387
|
}
|
|
@@ -66,6 +66,10 @@ public:
|
|
|
66
66
|
return _relEs;
|
|
67
67
|
}
|
|
68
68
|
|
|
69
|
+
void widenVAddrs(IntervalExeState &lhs, const IntervalExeState &rhs);
|
|
70
|
+
|
|
71
|
+
void narrowVAddrs(IntervalExeState &lhs, const IntervalExeState &rhs);
|
|
72
|
+
|
|
69
73
|
/// Return the field address given a pointer points to a struct object and an offset
|
|
70
74
|
VAddrs getGepObjAddress(u32_t pointer, u32_t offset);
|
|
71
75
|
|