svf-lib 1.0.2300 → 1.0.2301
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.
|
@@ -161,6 +161,7 @@ public:
|
|
|
161
161
|
|
|
162
162
|
/**
|
|
163
163
|
* @brief Updates the offset of a GEP object from its base.
|
|
164
|
+
* @param as Reference to the abstract state.
|
|
164
165
|
* @param gepAddrs Address value for GEP.
|
|
165
166
|
* @param objAddrs Address value for the object.
|
|
166
167
|
* @param offset The interval value of the offset.
|
|
@@ -358,6 +359,7 @@ public:
|
|
|
358
359
|
*/
|
|
359
360
|
bool isUninit(AbstractValue v)
|
|
360
361
|
{
|
|
362
|
+
// uninitialized value has neither interval value nor address value
|
|
361
363
|
bool is = v.getAddrs().isBottom() && v.getInterval().isBottom();
|
|
362
364
|
return is;
|
|
363
365
|
}
|
|
Binary file
|