svf-lib 1.0.2395 → 1.0.2397
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-aarch64/include/AE/Core/NumericValue.h +6 -6
- package/SVF-linux-x86_64/include/AE/Svfexe/AEDetector.h +2 -1
- package/SVF-linux-x86_64/include/AE/Svfexe/AbsExtAPI.h +2 -2
- package/SVF-linux-x86_64/include/AE/Svfexe/AbstractInterpretation.h +2 -1
- package/SVF-linux-x86_64/lib/libSvfCore.so.3.2 +0 -0
- package/package.json +1 -1
|
@@ -216,39 +216,39 @@ public:
|
|
|
216
216
|
/// Reload operator
|
|
217
217
|
//{%
|
|
218
218
|
// Overloads the equality operator to compare two BoundedInt objects.
|
|
219
|
-
friend
|
|
219
|
+
friend bool operator==(const BoundedInt& lhs, const BoundedInt& rhs)
|
|
220
220
|
{
|
|
221
221
|
return lhs.equal(rhs);
|
|
222
222
|
}
|
|
223
223
|
|
|
224
224
|
// Overloads the inequality operator to compare two BoundedInt objects.
|
|
225
|
-
friend
|
|
225
|
+
friend bool operator!=(const BoundedInt& lhs, const BoundedInt& rhs)
|
|
226
226
|
{
|
|
227
227
|
return !lhs.equal(rhs);
|
|
228
228
|
}
|
|
229
229
|
|
|
230
230
|
// Overloads the greater than operator to compare two BoundedInt objects.
|
|
231
|
-
friend
|
|
231
|
+
friend bool operator>(const BoundedInt& lhs, const BoundedInt& rhs)
|
|
232
232
|
{
|
|
233
233
|
return !lhs.leq(rhs);
|
|
234
234
|
}
|
|
235
235
|
|
|
236
236
|
// Overloads the less than operator to compare two BoundedInt objects.
|
|
237
|
-
friend
|
|
237
|
+
friend bool operator<(const BoundedInt& lhs, const BoundedInt& rhs)
|
|
238
238
|
{
|
|
239
239
|
return !lhs.geq(rhs);
|
|
240
240
|
}
|
|
241
241
|
|
|
242
242
|
// Overloads the less than or equal to operator to compare two BoundedInt
|
|
243
243
|
// objects.
|
|
244
|
-
friend
|
|
244
|
+
friend bool operator<=(const BoundedInt& lhs, const BoundedInt& rhs)
|
|
245
245
|
{
|
|
246
246
|
return lhs.leq(rhs);
|
|
247
247
|
}
|
|
248
248
|
|
|
249
249
|
// Overloads the greater than or equal to operator to compare two BoundedInt
|
|
250
250
|
// objects.
|
|
251
|
-
friend
|
|
251
|
+
friend bool operator>=(const BoundedInt& lhs, const BoundedInt& rhs)
|
|
252
252
|
{
|
|
253
253
|
return lhs.geq(rhs);
|
|
254
254
|
}
|
|
@@ -21,8 +21,8 @@
|
|
|
21
21
|
//===----------------------------------------------------------------------===//
|
|
22
22
|
|
|
23
23
|
|
|
24
|
-
//
|
|
25
|
-
//
|
|
24
|
+
// Created on: Sep 9, 2024
|
|
25
|
+
// Author: Xiao Cheng, Jiawei Wang
|
|
26
26
|
//
|
|
27
27
|
#pragma once
|
|
28
28
|
#include "AE/Core/AbstractState.h"
|
|
@@ -22,7 +22,8 @@
|
|
|
22
22
|
|
|
23
23
|
|
|
24
24
|
//
|
|
25
|
-
//
|
|
25
|
+
// Created on: Jan 10, 2024
|
|
26
|
+
// Author: Xiao Cheng, Jiawei Wang
|
|
26
27
|
// The implementation is based on
|
|
27
28
|
// Xiao Cheng, Jiawei Wang and Yulei Sui. Precise Sparse Abstract Execution via Cross-Domain Interaction.
|
|
28
29
|
// 46th International Conference on Software Engineering. (ICSE24)
|
|
Binary file
|