svf-lib 1.0.1216 → 1.0.1217
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.
|
Binary file
|
|
@@ -302,6 +302,9 @@ public:
|
|
|
302
302
|
// Does (F) reallocate a new object?
|
|
303
303
|
bool is_realloc(const SVFFunction *F);
|
|
304
304
|
|
|
305
|
+
// Does (F) have the same return type(pointer or nonpointer) and same number of arguments
|
|
306
|
+
bool is_sameSignature(const SVFFunction *F);
|
|
307
|
+
|
|
305
308
|
// Should (F) be considered "external" (either not defined in the program
|
|
306
309
|
// or a user-defined version of a known alloc or no-op)?
|
|
307
310
|
bool is_ext(const SVFFunction *F);
|