svf-lib 1.0.1213 → 1.0.1216

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 (13) hide show
  1. package/SVF-linux/Release-build/lib/libSvf.a +0 -0
  2. package/SVF-linux/include/Graphs/ICFGStat.h +1 -1
  3. package/SVF-linux/include/Util/ExtAPI.h +3 -0
  4. package/SVF-linux/include/Util/ExtAPI.json +1456 -44
  5. package/SVF-linux/include/Util/PTAStat.h +6 -36
  6. package/SVF-linux/include/Util/SVFStat.h +95 -0
  7. package/SVF-linux/include/WPA/AndersenPWC.h +1 -1
  8. package/SVF-osx/Release-build/lib/libSvf.a +0 -0
  9. package/SVF-osx/include/Graphs/ICFGStat.h +1 -1
  10. package/SVF-osx/include/Util/PTAStat.h +6 -36
  11. package/SVF-osx/include/Util/SVFStat.h +95 -0
  12. package/SVF-osx/include/WPA/AndersenPWC.h +1 -1
  13. package/package.json +1 -1
package/SVF-linux/include/Graphs/ICFGStat.h CHANGED
@@ -142,7 +142,7 @@ public:
142
142
  }
143
143
  }
144
144
 
145
- void printStat(string statname)
145
+ void printStat(std::string statname)
146
146
  {
147
147
 
148
148
  SVFUtil::outs() << "\n************ " << statname << " ***************\n";
package/SVF-linux/include/Util/ExtAPI.h CHANGED
@@ -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);