svf-tools 1.0.765 → 1.0.767

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 (242) hide show
  1. package/SVF-doxygen/html/html/AndersenPWC_8h_source.html +1 -1
  2. package/SVF-doxygen/html/html/ExtAPI_8cpp.html +120 -0
  3. package/SVF-doxygen/html/html/ExtAPI_8cpp_source.html +196 -114
  4. package/SVF-doxygen/html/html/ExtAPI_8h.html +27 -1
  5. package/SVF-doxygen/html/html/ExtAPI_8h_source.html +66 -60
  6. package/SVF-doxygen/html/html/Options_8cpp.html +1 -0
  7. package/SVF-doxygen/html/html/Options_8cpp_source.html +860 -858
  8. package/SVF-doxygen/html/html/SVFModule_8cpp_source.html +1 -1
  9. package/SVF-doxygen/html/html/SVFUtil_8h_source.html +9 -9
  10. package/SVF-doxygen/html/html/classSVF_1_1AndersenSCD.html +1 -1
  11. package/SVF-doxygen/html/html/classSVF_1_1ExtAPI-members.html +10 -9
  12. package/SVF-doxygen/html/html/classSVF_1_1ExtAPI.html +128 -88
  13. package/SVF-doxygen/html/html/classSVF_1_1SVFModule.html +1 -1
  14. package/SVF-doxygen/html/html/functions_func_g.html +16 -13
  15. package/SVF-doxygen/html/html/functions_func_p.html +1 -1
  16. package/SVF-doxygen/html/html/functions_func_s.html +2 -2
  17. package/SVF-doxygen/html/html/functions_g.html +19 -16
  18. package/SVF-doxygen/html/html/functions_o.html +3 -3
  19. package/SVF-doxygen/html/html/functions_p.html +9 -9
  20. package/SVF-doxygen/html/html/functions_r.html +8 -8
  21. package/SVF-doxygen/html/html/functions_s.html +10 -8
  22. package/SVF-doxygen/html/html/functions_t.html +5 -5
  23. package/SVF-doxygen/html/html/functions_v.html +6 -6
  24. package/SVF-doxygen/html/html/functions_w.html +1 -1
  25. package/SVF-doxygen/html/html/globals_defs.html +3 -0
  26. package/SVF-doxygen/html/html/globals_e.html +3 -0
  27. package/SVF-doxygen/html/html/globals_func.html +6 -0
  28. package/SVF-doxygen/html/html/globals_g.html +6 -0
  29. package/SVF-doxygen/html/html/namespaceSVF.html +0 -1
  30. package/SVF-doxygen/html/html/search/all_10.js +323 -323
  31. package/SVF-doxygen/html/html/search/all_11.js +212 -212
  32. package/SVF-doxygen/html/html/search/all_12.js +536 -536
  33. package/SVF-doxygen/html/html/search/all_13.js +188 -188
  34. package/SVF-doxygen/html/html/search/all_14.js +66 -66
  35. package/SVF-doxygen/html/html/search/all_15.js +170 -170
  36. package/SVF-doxygen/html/html/search/all_16.js +60 -60
  37. package/SVF-doxygen/html/html/search/all_17.js +1 -1
  38. package/SVF-doxygen/html/html/search/all_18.js +1 -1
  39. package/SVF-doxygen/html/html/search/all_19.js +10 -10
  40. package/SVF-doxygen/html/html/search/all_1a.js +169 -169
  41. package/SVF-doxygen/html/html/search/all_5.js +17 -16
  42. package/SVF-doxygen/html/html/search/all_6.js +224 -224
  43. package/SVF-doxygen/html/html/search/all_7.js +999 -996
  44. package/SVF-doxygen/html/html/search/all_8.js +191 -191
  45. package/SVF-doxygen/html/html/search/all_9.js +605 -605
  46. package/SVF-doxygen/html/html/search/all_a.js +46 -46
  47. package/SVF-doxygen/html/html/search/all_b.js +26 -26
  48. package/SVF-doxygen/html/html/search/all_c.js +114 -114
  49. package/SVF-doxygen/html/html/search/all_d.js +196 -196
  50. package/SVF-doxygen/html/html/search/all_e.js +205 -205
  51. package/SVF-doxygen/html/html/search/all_f.js +116 -116
  52. package/SVF-doxygen/html/html/search/classes_0.js +26 -26
  53. package/SVF-doxygen/html/html/search/classes_1.js +9 -9
  54. package/SVF-doxygen/html/html/search/classes_10.js +73 -73
  55. package/SVF-doxygen/html/html/search/classes_11.js +15 -15
  56. package/SVF-doxygen/html/html/search/classes_12.js +2 -2
  57. package/SVF-doxygen/html/html/search/classes_13.js +10 -10
  58. package/SVF-doxygen/html/html/search/classes_14.js +14 -14
  59. package/SVF-doxygen/html/html/search/classes_15.js +1 -1
  60. package/SVF-doxygen/html/html/search/classes_2.js +76 -76
  61. package/SVF-doxygen/html/html/search/classes_3.js +35 -35
  62. package/SVF-doxygen/html/html/search/classes_4.js +8 -8
  63. package/SVF-doxygen/html/html/search/classes_5.js +28 -28
  64. package/SVF-doxygen/html/html/search/classes_6.js +98 -98
  65. package/SVF-doxygen/html/html/search/classes_7.js +33 -33
  66. package/SVF-doxygen/html/html/search/classes_8.js +56 -56
  67. package/SVF-doxygen/html/html/search/classes_9.js +1 -1
  68. package/SVF-doxygen/html/html/search/classes_a.js +12 -12
  69. package/SVF-doxygen/html/html/search/classes_b.js +29 -29
  70. package/SVF-doxygen/html/html/search/classes_c.js +6 -6
  71. package/SVF-doxygen/html/html/search/classes_d.js +18 -18
  72. package/SVF-doxygen/html/html/search/classes_e.js +36 -36
  73. package/SVF-doxygen/html/html/search/classes_f.js +25 -25
  74. package/SVF-doxygen/html/html/search/defines_0.js +3 -3
  75. package/SVF-doxygen/html/html/search/defines_1.js +2 -2
  76. package/SVF-doxygen/html/html/search/defines_2.js +30 -30
  77. package/SVF-doxygen/html/html/search/defines_3.js +20 -20
  78. package/SVF-doxygen/html/html/search/defines_4.js +3 -2
  79. package/SVF-doxygen/html/html/search/defines_5.js +4 -4
  80. package/SVF-doxygen/html/html/search/defines_6.js +2 -2
  81. package/SVF-doxygen/html/html/search/defines_7.js +5 -5
  82. package/SVF-doxygen/html/html/search/defines_8.js +11 -11
  83. package/SVF-doxygen/html/html/search/defines_9.js +9 -9
  84. package/SVF-doxygen/html/html/search/defines_a.js +2 -2
  85. package/SVF-doxygen/html/html/search/defines_b.js +1 -1
  86. package/SVF-doxygen/html/html/search/defines_c.js +3 -3
  87. package/SVF-doxygen/html/html/search/defines_d.js +2 -2
  88. package/SVF-doxygen/html/html/search/defines_e.js +6 -6
  89. package/SVF-doxygen/html/html/search/defines_f.js +3 -3
  90. package/SVF-doxygen/html/html/search/enums_0.js +3 -3
  91. package/SVF-doxygen/html/html/search/enums_1.js +2 -2
  92. package/SVF-doxygen/html/html/search/enums_10.js +1 -1
  93. package/SVF-doxygen/html/html/search/enums_11.js +1 -1
  94. package/SVF-doxygen/html/html/search/enums_2.js +8 -8
  95. package/SVF-doxygen/html/html/search/enums_3.js +1 -1
  96. package/SVF-doxygen/html/html/search/enums_4.js +3 -3
  97. package/SVF-doxygen/html/html/search/enums_5.js +1 -1
  98. package/SVF-doxygen/html/html/search/enums_6.js +2 -2
  99. package/SVF-doxygen/html/html/search/enums_7.js +2 -2
  100. package/SVF-doxygen/html/html/search/enums_8.js +4 -4
  101. package/SVF-doxygen/html/html/search/enums_9.js +1 -1
  102. package/SVF-doxygen/html/html/search/enums_a.js +1 -1
  103. package/SVF-doxygen/html/html/search/enums_b.js +7 -7
  104. package/SVF-doxygen/html/html/search/enums_c.js +1 -1
  105. package/SVF-doxygen/html/html/search/enums_d.js +4 -4
  106. package/SVF-doxygen/html/html/search/enums_e.js +2 -2
  107. package/SVF-doxygen/html/html/search/enums_f.js +4 -4
  108. package/SVF-doxygen/html/html/search/enumvalues_0.js +14 -14
  109. package/SVF-doxygen/html/html/search/enumvalues_1.js +14 -14
  110. package/SVF-doxygen/html/html/search/enumvalues_10.js +35 -35
  111. package/SVF-doxygen/html/html/search/enumvalues_11.js +3 -3
  112. package/SVF-doxygen/html/html/search/enumvalues_12.js +10 -10
  113. package/SVF-doxygen/html/html/search/enumvalues_13.js +1 -1
  114. package/SVF-doxygen/html/html/search/enumvalues_14.js +1 -1
  115. package/SVF-doxygen/html/html/search/enumvalues_15.js +3 -3
  116. package/SVF-doxygen/html/html/search/enumvalues_2.js +36 -36
  117. package/SVF-doxygen/html/html/search/enumvalues_3.js +13 -13
  118. package/SVF-doxygen/html/html/search/enumvalues_4.js +2 -2
  119. package/SVF-doxygen/html/html/search/enumvalues_5.js +47 -47
  120. package/SVF-doxygen/html/html/search/enumvalues_6.js +6 -6
  121. package/SVF-doxygen/html/html/search/enumvalues_7.js +9 -9
  122. package/SVF-doxygen/html/html/search/enumvalues_8.js +23 -23
  123. package/SVF-doxygen/html/html/search/enumvalues_9.js +6 -6
  124. package/SVF-doxygen/html/html/search/enumvalues_a.js +15 -15
  125. package/SVF-doxygen/html/html/search/enumvalues_b.js +11 -11
  126. package/SVF-doxygen/html/html/search/enumvalues_c.js +5 -5
  127. package/SVF-doxygen/html/html/search/enumvalues_d.js +18 -18
  128. package/SVF-doxygen/html/html/search/enumvalues_e.js +9 -9
  129. package/SVF-doxygen/html/html/search/enumvalues_f.js +45 -45
  130. package/SVF-doxygen/html/html/search/files_0.js +13 -13
  131. package/SVF-doxygen/html/html/search/files_1.js +7 -7
  132. package/SVF-doxygen/html/html/search/files_10.js +8 -8
  133. package/SVF-doxygen/html/html/search/files_11.js +8 -8
  134. package/SVF-doxygen/html/html/search/files_12.js +2 -2
  135. package/SVF-doxygen/html/html/search/files_2.js +49 -49
  136. package/SVF-doxygen/html/html/search/files_3.js +14 -14
  137. package/SVF-doxygen/html/html/search/files_4.js +5 -5
  138. package/SVF-doxygen/html/html/search/files_5.js +13 -13
  139. package/SVF-doxygen/html/html/search/files_6.js +9 -9
  140. package/SVF-doxygen/html/html/search/files_7.js +14 -14
  141. package/SVF-doxygen/html/html/search/files_8.js +13 -13
  142. package/SVF-doxygen/html/html/search/files_9.js +18 -18
  143. package/SVF-doxygen/html/html/search/files_a.js +3 -3
  144. package/SVF-doxygen/html/html/search/files_b.js +2 -2
  145. package/SVF-doxygen/html/html/search/files_c.js +20 -20
  146. package/SVF-doxygen/html/html/search/files_d.js +4 -4
  147. package/SVF-doxygen/html/html/search/files_e.js +62 -62
  148. package/SVF-doxygen/html/html/search/files_f.js +8 -8
  149. package/SVF-doxygen/html/html/search/functions_0.js +6 -6
  150. package/SVF-doxygen/html/html/search/functions_1.js +348 -348
  151. package/SVF-doxygen/html/html/search/functions_10.js +139 -139
  152. package/SVF-doxygen/html/html/search/functions_11.js +126 -126
  153. package/SVF-doxygen/html/html/search/functions_12.js +273 -273
  154. package/SVF-doxygen/html/html/search/functions_13.js +56 -56
  155. package/SVF-doxygen/html/html/search/functions_14.js +38 -38
  156. package/SVF-doxygen/html/html/search/functions_15.js +71 -71
  157. package/SVF-doxygen/html/html/search/functions_16.js +29 -29
  158. package/SVF-doxygen/html/html/search/functions_17.js +2 -2
  159. package/SVF-doxygen/html/html/search/functions_18.js +169 -169
  160. package/SVF-doxygen/html/html/search/functions_2.js +82 -82
  161. package/SVF-doxygen/html/html/search/functions_3.js +251 -251
  162. package/SVF-doxygen/html/html/search/functions_4.js +71 -71
  163. package/SVF-doxygen/html/html/search/functions_5.js +51 -51
  164. package/SVF-doxygen/html/html/search/functions_6.js +58 -58
  165. package/SVF-doxygen/html/html/search/functions_7.js +819 -816
  166. package/SVF-doxygen/html/html/search/functions_8.js +143 -143
  167. package/SVF-doxygen/html/html/search/functions_9.js +425 -425
  168. package/SVF-doxygen/html/html/search/functions_a.js +30 -30
  169. package/SVF-doxygen/html/html/search/functions_b.js +2 -2
  170. package/SVF-doxygen/html/html/search/functions_c.js +24 -24
  171. package/SVF-doxygen/html/html/search/functions_d.js +77 -77
  172. package/SVF-doxygen/html/html/search/functions_e.js +34 -34
  173. package/SVF-doxygen/html/html/search/functions_f.js +56 -56
  174. package/SVF-doxygen/html/html/search/namespaces_0.js +1 -1
  175. package/SVF-doxygen/html/html/search/namespaces_1.js +7 -7
  176. package/SVF-doxygen/html/html/search/related_0.js +2 -2
  177. package/SVF-doxygen/html/html/search/related_1.js +1 -1
  178. package/SVF-doxygen/html/html/search/related_2.js +2 -2
  179. package/SVF-doxygen/html/html/search/related_3.js +2 -2
  180. package/SVF-doxygen/html/html/search/related_4.js +2 -2
  181. package/SVF-doxygen/html/html/search/related_5.js +1 -1
  182. package/SVF-doxygen/html/html/search/related_6.js +2 -2
  183. package/SVF-doxygen/html/html/search/related_7.js +4 -4
  184. package/SVF-doxygen/html/html/search/related_8.js +2 -2
  185. package/SVF-doxygen/html/html/search/related_9.js +4 -4
  186. package/SVF-doxygen/html/html/search/related_a.js +19 -19
  187. package/SVF-doxygen/html/html/search/related_b.js +4 -4
  188. package/SVF-doxygen/html/html/search/related_c.js +1 -1
  189. package/SVF-doxygen/html/html/search/related_d.js +11 -11
  190. package/SVF-doxygen/html/html/search/related_e.js +2 -2
  191. package/SVF-doxygen/html/html/search/related_f.js +2 -2
  192. package/SVF-doxygen/html/html/search/typedefs_0.js +18 -18
  193. package/SVF-doxygen/html/html/search/typedefs_1.js +25 -25
  194. package/SVF-doxygen/html/html/search/typedefs_10.js +60 -60
  195. package/SVF-doxygen/html/html/search/typedefs_11.js +13 -13
  196. package/SVF-doxygen/html/html/search/typedefs_12.js +11 -11
  197. package/SVF-doxygen/html/html/search/typedefs_13.js +35 -35
  198. package/SVF-doxygen/html/html/search/typedefs_14.js +8 -8
  199. package/SVF-doxygen/html/html/search/typedefs_2.js +126 -126
  200. package/SVF-doxygen/html/html/search/typedefs_3.js +39 -39
  201. package/SVF-doxygen/html/html/search/typedefs_4.js +16 -16
  202. package/SVF-doxygen/html/html/search/typedefs_5.js +41 -41
  203. package/SVF-doxygen/html/html/search/typedefs_6.js +52 -52
  204. package/SVF-doxygen/html/html/search/typedefs_7.js +40 -40
  205. package/SVF-doxygen/html/html/search/typedefs_8.js +1 -1
  206. package/SVF-doxygen/html/html/search/typedefs_9.js +6 -6
  207. package/SVF-doxygen/html/html/search/typedefs_a.js +29 -29
  208. package/SVF-doxygen/html/html/search/typedefs_b.js +29 -29
  209. package/SVF-doxygen/html/html/search/typedefs_c.js +40 -40
  210. package/SVF-doxygen/html/html/search/typedefs_d.js +15 -15
  211. package/SVF-doxygen/html/html/search/typedefs_e.js +52 -52
  212. package/SVF-doxygen/html/html/search/typedefs_f.js +14 -14
  213. package/SVF-doxygen/html/html/search/variables_0.js +147 -147
  214. package/SVF-doxygen/html/html/search/variables_1.js +75 -75
  215. package/SVF-doxygen/html/html/search/variables_10.js +97 -97
  216. package/SVF-doxygen/html/html/search/variables_11.js +46 -46
  217. package/SVF-doxygen/html/html/search/variables_12.js +92 -92
  218. package/SVF-doxygen/html/html/search/variables_13.js +75 -75
  219. package/SVF-doxygen/html/html/search/variables_14.js +14 -14
  220. package/SVF-doxygen/html/html/search/variables_15.js +48 -48
  221. package/SVF-doxygen/html/html/search/variables_16.js +9 -9
  222. package/SVF-doxygen/html/html/search/variables_17.js +1 -1
  223. package/SVF-doxygen/html/html/search/variables_18.js +2 -2
  224. package/SVF-doxygen/html/html/search/variables_2.js +34 -34
  225. package/SVF-doxygen/html/html/search/variables_3.js +141 -141
  226. package/SVF-doxygen/html/html/search/variables_4.js +55 -55
  227. package/SVF-doxygen/html/html/search/variables_5.js +38 -38
  228. package/SVF-doxygen/html/html/search/variables_6.js +66 -66
  229. package/SVF-doxygen/html/html/search/variables_7.js +33 -33
  230. package/SVF-doxygen/html/html/search/variables_8.js +7 -7
  231. package/SVF-doxygen/html/html/search/variables_9.js +77 -77
  232. package/SVF-doxygen/html/html/search/variables_a.js +4 -4
  233. package/SVF-doxygen/html/html/search/variables_b.js +10 -10
  234. package/SVF-doxygen/html/html/search/variables_c.js +45 -45
  235. package/SVF-doxygen/html/html/search/variables_d.js +56 -56
  236. package/SVF-doxygen/html/html/search/variables_e.js +123 -123
  237. package/SVF-doxygen/html/html/search/variables_f.js +30 -30
  238. package/package.json +1 -1
  239. package/svf/include/Util/ExtAPI.h +5 -0
  240. package/svf/include/WPA/AndersenPWC.h +1 -1
  241. package/svf/lib/Util/ExtAPI.cpp +73 -0
  242. package/svf/lib/Util/Options.cpp +2 -1
package/SVF-doxygen/html/html/ExtAPI_8h.html CHANGED
@@ -67,7 +67,8 @@ $(function() {
67
67
  <div class="header">
68
68
  <div class="summary">
69
69
  <a href="#nested-classes">Classes</a> &#124;
70
- <a href="#namespaces">Namespaces</a> </div>
70
+ <a href="#namespaces">Namespaces</a> &#124;
71
+ <a href="#define-members">Macros</a> </div>
71
72
  <div class="headertitle">
72
73
  <div class="title">ExtAPI.h File Reference</div> </div>
73
74
  </div><!--header-->
@@ -90,7 +91,32 @@ Namespaces</h2></td></tr>
90
91
  <tr class="memitem:namespaceSVF"><td class="memItemLeft" align="right" valign="top"> &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF.html">SVF</a></td></tr>
91
92
  <tr class="memdesc:namespaceSVF"><td class="mdescLeft">&#160;</td><td class="mdescRight">for isBitcode <br /></td></tr>
92
93
  <tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
94
+ </table><table class="memberdecls">
95
+ <tr class="heading"><td colspan="2"><h2 class="groupheader"><a name="define-members"></a>
96
+ Macros</h2></td></tr>
97
+ <tr class="memitem:a02f944ad8948fa28a15d67ab1252573b"><td class="memItemLeft" align="right" valign="top">#define&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="ExtAPI_8h.html#a02f944ad8948fa28a15d67ab1252573b">EXTAPI_BC_PATH</a>&#160;&#160;&#160;&quot;Release-build/svf-llvm/extapi.bc&quot;</td></tr>
98
+ <tr class="memdesc:a02f944ad8948fa28a15d67ab1252573b"><td class="mdescLeft">&#160;</td><td class="mdescRight">For a more detailed explanation of how External APIs are handled in <a class="el" href="namespaceSVF.html" title="for isBitcode">SVF</a>, please refer to the <a class="el" href="namespaceSVF.html" title="for isBitcode">SVF</a> Wiki: <a href="https://github.com/SVF-tools/SVF/wiki/Handling-External-APIs-with-extapi.c">https://github.com/SVF-tools/SVF/wiki/Handling-External-APIs-with-extapi.c</a>. <a href="ExtAPI_8h.html#a02f944ad8948fa28a15d67ab1252573b">More...</a><br /></td></tr>
99
+ <tr class="separator:a02f944ad8948fa28a15d67ab1252573b"><td class="memSeparator" colspan="2">&#160;</td></tr>
93
100
  </table>
101
+ <h2 class="groupheader">Macro Definition Documentation</h2>
102
+ <a id="a02f944ad8948fa28a15d67ab1252573b"></a>
103
+ <h2 class="memtitle"><span class="permalink"><a href="#a02f944ad8948fa28a15d67ab1252573b">&#9670;&nbsp;</a></span>EXTAPI_BC_PATH</h2>
104
+
105
+ <div class="memitem">
106
+ <div class="memproto">
107
+ <table class="memname">
108
+ <tr>
109
+ <td class="memname">#define EXTAPI_BC_PATH&#160;&#160;&#160;&quot;Release-build/svf-llvm/extapi.bc&quot;</td>
110
+ </tr>
111
+ </table>
112
+ </div><div class="memdoc">
113
+
114
+ <p>For a more detailed explanation of how External APIs are handled in <a class="el" href="namespaceSVF.html" title="for isBitcode">SVF</a>, please refer to the <a class="el" href="namespaceSVF.html" title="for isBitcode">SVF</a> Wiki: <a href="https://github.com/SVF-tools/SVF/wiki/Handling-External-APIs-with-extapi.c">https://github.com/SVF-tools/SVF/wiki/Handling-External-APIs-with-extapi.c</a>. </p>
115
+
116
+ <p class="definition">Definition at line <a class="el" href="ExtAPI_8h_source.html#l00041">41</a> of file <a class="el" href="ExtAPI_8h_source.html">ExtAPI.h</a>.</p>
117
+
118
+ </div>
119
+ </div>
94
120
  </div><!-- contents -->
95
121
  <!-- start footer part -->
96
122
  <hr class="footer"/><address class="footer"><small>
package/SVF-doxygen/html/html/ExtAPI_8h_source.html CHANGED
@@ -108,79 +108,85 @@ $(function() {
108
108
  <div class="line"><a name="l00037"></a><span class="lineno"> 37</span>&#160;<span class="preprocessor">#include &lt;map&gt;</span></div>
109
109
  <div class="line"><a name="l00038"></a><span class="lineno"> 38</span>&#160; </div>
110
110
  <div class="line"><a name="l00040"></a><span class="lineno"> 40</span>&#160; </div>
111
- <div class="line"><a name="l00041"></a><span class="lineno"> 41</span>&#160;<span class="keyword">namespace </span><a class="code" href="namespaceSVF.html">SVF</a></div>
112
- <div class="line"><a name="l00042"></a><span class="lineno"> 42</span>&#160;{</div>
113
- <div class="line"><a name="l00043"></a><span class="lineno"> 43</span>&#160; </div>
114
- <div class="line"><a name="l00044"></a><span class="lineno"><a class="line" href="classSVF_1_1ExtAPI.html"> 44</a></span>&#160;<span class="keyword">class </span><a class="code" href="classSVF_1_1ExtAPI.html">ExtAPI</a></div>
115
- <div class="line"><a name="l00045"></a><span class="lineno"> 45</span>&#160;{</div>
116
- <div class="line"><a name="l00046"></a><span class="lineno"> 46</span>&#160;<span class="keyword">private</span>:</div>
117
- <div class="line"><a name="l00047"></a><span class="lineno"> 47</span>&#160; </div>
118
- <div class="line"><a name="l00048"></a><span class="lineno"><a class="line" href="classSVF_1_1ExtAPI.html#a552feab663622681db231d5b48f00d75"> 48</a></span>&#160; <span class="keyword">static</span> <a class="code" href="classSVF_1_1ExtAPI.html">ExtAPI</a> *<a class="code" href="classSVF_1_1ExtAPI.html#a552feab663622681db231d5b48f00d75">extOp</a>;</div>
111
+ <div class="line"><a name="l00041"></a><span class="lineno"><a class="line" href="ExtAPI_8h.html#a02f944ad8948fa28a15d67ab1252573b"> 41</a></span>&#160;<span class="preprocessor">#define EXTAPI_BC_PATH &quot;Release-build/svf-llvm/extapi.bc&quot;</span></div>
112
+ <div class="line"><a name="l00042"></a><span class="lineno"> 42</span>&#160; </div>
113
+ <div class="line"><a name="l00043"></a><span class="lineno"> 43</span>&#160;<span class="keyword">namespace </span><a class="code" href="namespaceSVF.html">SVF</a></div>
114
+ <div class="line"><a name="l00044"></a><span class="lineno"> 44</span>&#160;{</div>
115
+ <div class="line"><a name="l00045"></a><span class="lineno"> 45</span>&#160; </div>
116
+ <div class="line"><a name="l00046"></a><span class="lineno"><a class="line" href="classSVF_1_1ExtAPI.html"> 46</a></span>&#160;<span class="keyword">class </span><a class="code" href="classSVF_1_1ExtAPI.html">ExtAPI</a></div>
117
+ <div class="line"><a name="l00047"></a><span class="lineno"> 47</span>&#160;{</div>
118
+ <div class="line"><a name="l00048"></a><span class="lineno"> 48</span>&#160;<span class="keyword">private</span>:</div>
119
119
  <div class="line"><a name="l00049"></a><span class="lineno"> 49</span>&#160; </div>
120
- <div class="line"><a name="l00050"></a><span class="lineno"> 50</span>&#160; <a class="code" href="classSVF_1_1ExtAPI.html#ab793be4b6f8f0a025599e76f5df2a4eb">ExtAPI</a>() = <span class="keywordflow">default</span>;</div>
120
+ <div class="line"><a name="l00050"></a><span class="lineno"><a class="line" href="classSVF_1_1ExtAPI.html#a552feab663622681db231d5b48f00d75"> 50</a></span>&#160; <span class="keyword">static</span> <a class="code" href="classSVF_1_1ExtAPI.html">ExtAPI</a> *<a class="code" href="classSVF_1_1ExtAPI.html#a552feab663622681db231d5b48f00d75">extOp</a>;</div>
121
121
  <div class="line"><a name="l00051"></a><span class="lineno"> 51</span>&#160; </div>
122
- <div class="line"><a name="l00052"></a><span class="lineno"> 52</span>&#160;<span class="keyword">public</span>:</div>
122
+ <div class="line"><a name="l00052"></a><span class="lineno"> 52</span>&#160; <a class="code" href="classSVF_1_1ExtAPI.html#ab793be4b6f8f0a025599e76f5df2a4eb">ExtAPI</a>() = <span class="keywordflow">default</span>;</div>
123
123
  <div class="line"><a name="l00053"></a><span class="lineno"> 53</span>&#160; </div>
124
- <div class="line"><a name="l00054"></a><span class="lineno"> 54</span>&#160; <span class="keyword">static</span> <a class="code" href="classSVF_1_1ExtAPI.html">ExtAPI</a> *<a class="code" href="classSVF_1_1ExtAPI.html#a02380d22fd6021ebce1e54723d695c99">getExtAPI</a>(<span class="keyword">const</span> <a class="code" href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">std::string</a>&amp; = <span class="stringliteral">&quot;&quot;</span>);</div>
124
+ <div class="line"><a name="l00054"></a><span class="lineno"> 54</span>&#160;<span class="keyword">public</span>:</div>
125
125
  <div class="line"><a name="l00055"></a><span class="lineno"> 55</span>&#160; </div>
126
- <div class="line"><a name="l00056"></a><span class="lineno"> 56</span>&#160; <span class="keyword">static</span> <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1ExtAPI.html#abe3e0e2500532acfc01cee7e2ce1cd90">destory</a>();</div>
126
+ <div class="line"><a name="l00056"></a><span class="lineno"> 56</span>&#160; <span class="keyword">static</span> <a class="code" href="classSVF_1_1ExtAPI.html">ExtAPI</a> *<a class="code" href="classSVF_1_1ExtAPI.html#a02380d22fd6021ebce1e54723d695c99">getExtAPI</a>(<span class="keyword">const</span> <a class="code" href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">std::string</a>&amp; = <span class="stringliteral">&quot;&quot;</span>);</div>
127
127
  <div class="line"><a name="l00057"></a><span class="lineno"> 57</span>&#160; </div>
128
- <div class="line"><a name="l00058"></a><span class="lineno"> 58</span>&#160; <span class="comment">// Get the annotation of (F)</span></div>
129
- <div class="line"><a name="l00059"></a><span class="lineno"> 59</span>&#160; <a class="code" href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">std::string</a> <a class="code" href="classSVF_1_1ExtAPI.html#a641c82ed1f1a86f0f8a6015ef1fdbfef">getExtFuncAnnotation</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFFunction.html">SVFFunction</a>* fun, <span class="keyword">const</span> <a class="code" href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">std::string</a>&amp; funcAnnotation);</div>
130
- <div class="line"><a name="l00060"></a><span class="lineno"> 60</span>&#160; </div>
131
- <div class="line"><a name="l00061"></a><span class="lineno"> 61</span>&#160; <span class="comment">// Does (F) have some annotation?</span></div>
132
- <div class="line"><a name="l00062"></a><span class="lineno"> 62</span>&#160; <span class="keywordtype">bool</span> <a class="code" href="classSVF_1_1ExtAPI.html#a1d7778db3b31f732f06129b49ec6dacd">hasExtFuncAnnotation</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFFunction.html">SVFFunction</a>* fun, <span class="keyword">const</span> <a class="code" href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">std::string</a>&amp; funcAnnotation);</div>
133
- <div class="line"><a name="l00063"></a><span class="lineno"> 63</span>&#160; </div>
134
- <div class="line"><a name="l00064"></a><span class="lineno"> 64</span>&#160; <span class="comment">// Does (F) have a static var X (unavailable to us) that its return points to?</span></div>
135
- <div class="line"><a name="l00065"></a><span class="lineno"> 65</span>&#160; <span class="keywordtype">bool</span> <a class="code" href="classSVF_1_1ExtAPI.html#ae20ea24cce02de87d89a2d0b773a2357">has_static</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFFunction.html">SVFFunction</a> *<a class="code" href="SVFFileSystem_8cpp.html#ab25baccb41e3b67ef0bfdaa1336c9649">F</a>);</div>
136
- <div class="line"><a name="l00066"></a><span class="lineno"> 66</span>&#160; </div>
137
- <div class="line"><a name="l00067"></a><span class="lineno"> 67</span>&#160; <span class="comment">// Does (F) have a memcpy_like operation?</span></div>
138
- <div class="line"><a name="l00068"></a><span class="lineno"> 68</span>&#160; <span class="keywordtype">bool</span> <a class="code" href="classSVF_1_1ExtAPI.html#aadc8f2e0ff777e3f611a7d741def0742">is_memcpy</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFFunction.html">SVFFunction</a> *<a class="code" href="SVFFileSystem_8cpp.html#ab25baccb41e3b67ef0bfdaa1336c9649">F</a>);</div>
139
- <div class="line"><a name="l00069"></a><span class="lineno"> 69</span>&#160; </div>
140
- <div class="line"><a name="l00070"></a><span class="lineno"> 70</span>&#160; <span class="comment">// Does (F) have a memset_like operation?</span></div>
141
- <div class="line"><a name="l00071"></a><span class="lineno"> 71</span>&#160; <span class="keywordtype">bool</span> <a class="code" href="classSVF_1_1ExtAPI.html#a9f6e5cd617ab57ef9da0bab6c3c9cdc8">is_memset</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFFunction.html">SVFFunction</a> *<a class="code" href="SVFFileSystem_8cpp.html#ab25baccb41e3b67ef0bfdaa1336c9649">F</a>);</div>
142
- <div class="line"><a name="l00072"></a><span class="lineno"> 72</span>&#160; </div>
143
- <div class="line"><a name="l00073"></a><span class="lineno"> 73</span>&#160; <span class="comment">// Does (F) allocate a new object and return it?</span></div>
144
- <div class="line"><a name="l00074"></a><span class="lineno"> 74</span>&#160; <span class="keywordtype">bool</span> <a class="code" href="classSVF_1_1ExtAPI.html#a0d865c55681a3b4a9bb965fd0200029d">is_alloc</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFFunction.html">SVFFunction</a> *<a class="code" href="SVFFileSystem_8cpp.html#ab25baccb41e3b67ef0bfdaa1336c9649">F</a>);</div>
145
- <div class="line"><a name="l00075"></a><span class="lineno"> 75</span>&#160; </div>
146
- <div class="line"><a name="l00076"></a><span class="lineno"> 76</span>&#160; <span class="comment">// Does (F) allocate a new object and assign it to one of its arguments?</span></div>
147
- <div class="line"><a name="l00077"></a><span class="lineno"> 77</span>&#160; <span class="keywordtype">bool</span> <a class="code" href="classSVF_1_1ExtAPI.html#a158e7da51d45b746e067dc40e912c477">is_arg_alloc</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFFunction.html">SVFFunction</a> *<a class="code" href="SVFFileSystem_8cpp.html#ab25baccb41e3b67ef0bfdaa1336c9649">F</a>);</div>
148
- <div class="line"><a name="l00078"></a><span class="lineno"> 78</span>&#160; </div>
149
- <div class="line"><a name="l00079"></a><span class="lineno"> 79</span>&#160; <span class="comment">// Get the position of argument which holds the new object</span></div>
150
- <div class="line"><a name="l00080"></a><span class="lineno"> 80</span>&#160; <a class="code" href="namespaceSVF.html#a9b707002523ece2ac54ca893ee9a2d4e">s32_t</a> <a class="code" href="classSVF_1_1ExtAPI.html#a68939c789d0530151a4e79e79317531a">get_alloc_arg_pos</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFFunction.html">SVFFunction</a> *<a class="code" href="SVFFileSystem_8cpp.html#ab25baccb41e3b67ef0bfdaa1336c9649">F</a>);</div>
151
- <div class="line"><a name="l00081"></a><span class="lineno"> 81</span>&#160; </div>
152
- <div class="line"><a name="l00082"></a><span class="lineno"> 82</span>&#160; <span class="comment">// Does (F) reallocate a new object?</span></div>
153
- <div class="line"><a name="l00083"></a><span class="lineno"> 83</span>&#160; <span class="keywordtype">bool</span> <a class="code" href="classSVF_1_1ExtAPI.html#ac6d6bdc51a6b75d6d5741cb751559fe4">is_realloc</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFFunction.html">SVFFunction</a> *<a class="code" href="SVFFileSystem_8cpp.html#ab25baccb41e3b67ef0bfdaa1336c9649">F</a>);</div>
154
- <div class="line"><a name="l00084"></a><span class="lineno"> 84</span>&#160; </div>
155
- <div class="line"><a name="l00085"></a><span class="lineno"> 85</span>&#160; <span class="comment">// Should (F) be considered &quot;external&quot; (either not defined in the program</span></div>
156
- <div class="line"><a name="l00086"></a><span class="lineno"> 86</span>&#160; <span class="comment">// or a user-defined version of a known alloc or no-op)?</span></div>
157
- <div class="line"><a name="l00087"></a><span class="lineno"> 87</span>&#160; <span class="keywordtype">bool</span> <a class="code" href="classSVF_1_1ExtAPI.html#a21f45c806672255c044d39490990eae2">is_ext</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFFunction.html">SVFFunction</a> *<a class="code" href="SVFFileSystem_8cpp.html#ab25baccb41e3b67ef0bfdaa1336c9649">F</a>);</div>
158
- <div class="line"><a name="l00088"></a><span class="lineno"> 88</span>&#160;};</div>
159
- <div class="line"><a name="l00089"></a><span class="lineno"> 89</span>&#160;} <span class="comment">// End namespace SVF</span></div>
160
- <div class="line"><a name="l00090"></a><span class="lineno"> 90</span>&#160; </div>
161
- <div class="line"><a name="l00091"></a><span class="lineno"> 91</span>&#160;<span class="preprocessor">#endif</span></div>
128
+ <div class="line"><a name="l00058"></a><span class="lineno"> 58</span>&#160; <span class="keyword">static</span> <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1ExtAPI.html#abe3e0e2500532acfc01cee7e2ce1cd90">destory</a>();</div>
129
+ <div class="line"><a name="l00059"></a><span class="lineno"> 59</span>&#160; </div>
130
+ <div class="line"><a name="l00060"></a><span class="lineno"> 60</span>&#160; <span class="comment">// Get extapi.bc file path</span></div>
131
+ <div class="line"><a name="l00061"></a><span class="lineno"> 61</span>&#160; <a class="code" href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">std::string</a> <a class="code" href="classSVF_1_1ExtAPI.html#a26bc352dbfd1b2fe34106a73f1f6d50c">getExtBcPath</a>();</div>
132
+ <div class="line"><a name="l00062"></a><span class="lineno"> 62</span>&#160; </div>
133
+ <div class="line"><a name="l00063"></a><span class="lineno"> 63</span>&#160; <span class="comment">// Get the annotation of (F)</span></div>
134
+ <div class="line"><a name="l00064"></a><span class="lineno"> 64</span>&#160; <a class="code" href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">std::string</a> <a class="code" href="classSVF_1_1ExtAPI.html#a641c82ed1f1a86f0f8a6015ef1fdbfef">getExtFuncAnnotation</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFFunction.html">SVFFunction</a>* fun, <span class="keyword">const</span> <a class="code" href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">std::string</a>&amp; funcAnnotation);</div>
135
+ <div class="line"><a name="l00065"></a><span class="lineno"> 65</span>&#160; </div>
136
+ <div class="line"><a name="l00066"></a><span class="lineno"> 66</span>&#160; <span class="comment">// Does (F) have some annotation?</span></div>
137
+ <div class="line"><a name="l00067"></a><span class="lineno"> 67</span>&#160; <span class="keywordtype">bool</span> <a class="code" href="classSVF_1_1ExtAPI.html#a1d7778db3b31f732f06129b49ec6dacd">hasExtFuncAnnotation</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFFunction.html">SVFFunction</a>* fun, <span class="keyword">const</span> <a class="code" href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">std::string</a>&amp; funcAnnotation);</div>
138
+ <div class="line"><a name="l00068"></a><span class="lineno"> 68</span>&#160; </div>
139
+ <div class="line"><a name="l00069"></a><span class="lineno"> 69</span>&#160; <span class="comment">// Does (F) have a static var X (unavailable to us) that its return points to?</span></div>
140
+ <div class="line"><a name="l00070"></a><span class="lineno"> 70</span>&#160; <span class="keywordtype">bool</span> <a class="code" href="classSVF_1_1ExtAPI.html#ae20ea24cce02de87d89a2d0b773a2357">has_static</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFFunction.html">SVFFunction</a> *<a class="code" href="SVFFileSystem_8cpp.html#ab25baccb41e3b67ef0bfdaa1336c9649">F</a>);</div>
141
+ <div class="line"><a name="l00071"></a><span class="lineno"> 71</span>&#160; </div>
142
+ <div class="line"><a name="l00072"></a><span class="lineno"> 72</span>&#160; <span class="comment">// Does (F) have a memcpy_like operation?</span></div>
143
+ <div class="line"><a name="l00073"></a><span class="lineno"> 73</span>&#160; <span class="keywordtype">bool</span> <a class="code" href="classSVF_1_1ExtAPI.html#aadc8f2e0ff777e3f611a7d741def0742">is_memcpy</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFFunction.html">SVFFunction</a> *<a class="code" href="SVFFileSystem_8cpp.html#ab25baccb41e3b67ef0bfdaa1336c9649">F</a>);</div>
144
+ <div class="line"><a name="l00074"></a><span class="lineno"> 74</span>&#160; </div>
145
+ <div class="line"><a name="l00075"></a><span class="lineno"> 75</span>&#160; <span class="comment">// Does (F) have a memset_like operation?</span></div>
146
+ <div class="line"><a name="l00076"></a><span class="lineno"> 76</span>&#160; <span class="keywordtype">bool</span> <a class="code" href="classSVF_1_1ExtAPI.html#a9f6e5cd617ab57ef9da0bab6c3c9cdc8">is_memset</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFFunction.html">SVFFunction</a> *<a class="code" href="SVFFileSystem_8cpp.html#ab25baccb41e3b67ef0bfdaa1336c9649">F</a>);</div>
147
+ <div class="line"><a name="l00077"></a><span class="lineno"> 77</span>&#160; </div>
148
+ <div class="line"><a name="l00078"></a><span class="lineno"> 78</span>&#160; <span class="comment">// Does (F) allocate a new object and return it?</span></div>
149
+ <div class="line"><a name="l00079"></a><span class="lineno"> 79</span>&#160; <span class="keywordtype">bool</span> <a class="code" href="classSVF_1_1ExtAPI.html#a0d865c55681a3b4a9bb965fd0200029d">is_alloc</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFFunction.html">SVFFunction</a> *<a class="code" href="SVFFileSystem_8cpp.html#ab25baccb41e3b67ef0bfdaa1336c9649">F</a>);</div>
150
+ <div class="line"><a name="l00080"></a><span class="lineno"> 80</span>&#160; </div>
151
+ <div class="line"><a name="l00081"></a><span class="lineno"> 81</span>&#160; <span class="comment">// Does (F) allocate a new object and assign it to one of its arguments?</span></div>
152
+ <div class="line"><a name="l00082"></a><span class="lineno"> 82</span>&#160; <span class="keywordtype">bool</span> <a class="code" href="classSVF_1_1ExtAPI.html#a158e7da51d45b746e067dc40e912c477">is_arg_alloc</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFFunction.html">SVFFunction</a> *<a class="code" href="SVFFileSystem_8cpp.html#ab25baccb41e3b67ef0bfdaa1336c9649">F</a>);</div>
153
+ <div class="line"><a name="l00083"></a><span class="lineno"> 83</span>&#160; </div>
154
+ <div class="line"><a name="l00084"></a><span class="lineno"> 84</span>&#160; <span class="comment">// Get the position of argument which holds the new object</span></div>
155
+ <div class="line"><a name="l00085"></a><span class="lineno"> 85</span>&#160; <a class="code" href="namespaceSVF.html#a9b707002523ece2ac54ca893ee9a2d4e">s32_t</a> <a class="code" href="classSVF_1_1ExtAPI.html#a68939c789d0530151a4e79e79317531a">get_alloc_arg_pos</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFFunction.html">SVFFunction</a> *<a class="code" href="SVFFileSystem_8cpp.html#ab25baccb41e3b67ef0bfdaa1336c9649">F</a>);</div>
156
+ <div class="line"><a name="l00086"></a><span class="lineno"> 86</span>&#160; </div>
157
+ <div class="line"><a name="l00087"></a><span class="lineno"> 87</span>&#160; <span class="comment">// Does (F) reallocate a new object?</span></div>
158
+ <div class="line"><a name="l00088"></a><span class="lineno"> 88</span>&#160; <span class="keywordtype">bool</span> <a class="code" href="classSVF_1_1ExtAPI.html#ac6d6bdc51a6b75d6d5741cb751559fe4">is_realloc</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFFunction.html">SVFFunction</a> *<a class="code" href="SVFFileSystem_8cpp.html#ab25baccb41e3b67ef0bfdaa1336c9649">F</a>);</div>
159
+ <div class="line"><a name="l00089"></a><span class="lineno"> 89</span>&#160; </div>
160
+ <div class="line"><a name="l00090"></a><span class="lineno"> 90</span>&#160; <span class="comment">// Should (F) be considered &quot;external&quot; (either not defined in the program</span></div>
161
+ <div class="line"><a name="l00091"></a><span class="lineno"> 91</span>&#160; <span class="comment">// or a user-defined version of a known alloc or no-op)?</span></div>
162
+ <div class="line"><a name="l00092"></a><span class="lineno"> 92</span>&#160; <span class="keywordtype">bool</span> <a class="code" href="classSVF_1_1ExtAPI.html#a21f45c806672255c044d39490990eae2">is_ext</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFFunction.html">SVFFunction</a> *<a class="code" href="SVFFileSystem_8cpp.html#ab25baccb41e3b67ef0bfdaa1336c9649">F</a>);</div>
163
+ <div class="line"><a name="l00093"></a><span class="lineno"> 93</span>&#160;};</div>
164
+ <div class="line"><a name="l00094"></a><span class="lineno"> 94</span>&#160;} <span class="comment">// End namespace SVF</span></div>
165
+ <div class="line"><a name="l00095"></a><span class="lineno"> 95</span>&#160; </div>
166
+ <div class="line"><a name="l00096"></a><span class="lineno"> 96</span>&#160;<span class="preprocessor">#endif</span></div>
162
167
  </div><!-- fragment --></div><!-- contents -->
163
- <div class="ttc" id="aclassSVF_1_1ExtAPI_html_a552feab663622681db231d5b48f00d75"><div class="ttname"><a href="classSVF_1_1ExtAPI.html#a552feab663622681db231d5b48f00d75">SVF::ExtAPI::extOp</a></div><div class="ttdeci">static ExtAPI * extOp</div><div class="ttdef"><b>Definition:</b> <a href="ExtAPI_8h_source.html#l00048">ExtAPI.h:48</a></div></div>
164
- <div class="ttc" id="aclassSVF_1_1ExtAPI_html_abe3e0e2500532acfc01cee7e2ce1cd90"><div class="ttname"><a href="classSVF_1_1ExtAPI.html#abe3e0e2500532acfc01cee7e2ce1cd90">SVF::ExtAPI::destory</a></div><div class="ttdeci">static void destory()</div><div class="ttdef"><b>Definition:</b> <a href="ExtAPI_8cpp_source.html#l00045">ExtAPI.cpp:45</a></div></div>
165
- <div class="ttc" id="aclassSVF_1_1ExtAPI_html_a21f45c806672255c044d39490990eae2"><div class="ttname"><a href="classSVF_1_1ExtAPI.html#a21f45c806672255c044d39490990eae2">SVF::ExtAPI::is_ext</a></div><div class="ttdeci">bool is_ext(const SVFFunction *F)</div><div class="ttdef"><b>Definition:</b> <a href="ExtAPI_8cpp_source.html#l00127">ExtAPI.cpp:127</a></div></div>
168
+ <div class="ttc" id="aclassSVF_1_1ExtAPI_html_a552feab663622681db231d5b48f00d75"><div class="ttname"><a href="classSVF_1_1ExtAPI.html#a552feab663622681db231d5b48f00d75">SVF::ExtAPI::extOp</a></div><div class="ttdeci">static ExtAPI * extOp</div><div class="ttdef"><b>Definition:</b> <a href="ExtAPI_8h_source.html#l00050">ExtAPI.h:50</a></div></div>
169
+ <div class="ttc" id="aclassSVF_1_1ExtAPI_html_abe3e0e2500532acfc01cee7e2ce1cd90"><div class="ttname"><a href="classSVF_1_1ExtAPI.html#abe3e0e2500532acfc01cee7e2ce1cd90">SVF::ExtAPI::destory</a></div><div class="ttdeci">static void destory()</div><div class="ttdef"><b>Definition:</b> <a href="ExtAPI_8cpp_source.html#l00047">ExtAPI.cpp:47</a></div></div>
170
+ <div class="ttc" id="aclassSVF_1_1ExtAPI_html_a21f45c806672255c044d39490990eae2"><div class="ttname"><a href="classSVF_1_1ExtAPI.html#a21f45c806672255c044d39490990eae2">SVF::ExtAPI::is_ext</a></div><div class="ttdeci">bool is_ext(const SVFFunction *F)</div><div class="ttdef"><b>Definition:</b> <a href="ExtAPI_8cpp_source.html#l00200">ExtAPI.cpp:200</a></div></div>
166
171
  <div class="ttc" id="anamespaceSVF_html"><div class="ttname"><a href="namespaceSVF.html">SVF</a></div><div class="ttdoc">for isBitcode</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00065">BasicTypes.h:65</a></div></div>
167
172
  <div class="ttc" id="aclassSVF_1_1ExtAPI_html_ab793be4b6f8f0a025599e76f5df2a4eb"><div class="ttname"><a href="classSVF_1_1ExtAPI.html#ab793be4b6f8f0a025599e76f5df2a4eb">SVF::ExtAPI::ExtAPI</a></div><div class="ttdeci">ExtAPI()=default</div></div>
168
- <div class="ttc" id="aclassSVF_1_1ExtAPI_html_a68939c789d0530151a4e79e79317531a"><div class="ttname"><a href="classSVF_1_1ExtAPI.html#a68939c789d0530151a4e79e79317531a">SVF::ExtAPI::get_alloc_arg_pos</a></div><div class="ttdeci">s32_t get_alloc_arg_pos(const SVFFunction *F)</div><div class="ttdef"><b>Definition:</b> <a href="ExtAPI_8cpp_source.html#l00102">ExtAPI.cpp:102</a></div></div>
169
- <div class="ttc" id="aclassSVF_1_1ExtAPI_html_a02380d22fd6021ebce1e54723d695c99"><div class="ttname"><a href="classSVF_1_1ExtAPI.html#a02380d22fd6021ebce1e54723d695c99">SVF::ExtAPI::getExtAPI</a></div><div class="ttdeci">static ExtAPI * getExtAPI(const std::string &amp;=&quot;&quot;)</div><div class="ttdef"><b>Definition:</b> <a href="ExtAPI_8cpp_source.html#l00036">ExtAPI.cpp:36</a></div></div>
170
- <div class="ttc" id="aclassSVF_1_1ExtAPI_html_a9f6e5cd617ab57ef9da0bab6c3c9cdc8"><div class="ttname"><a href="classSVF_1_1ExtAPI.html#a9f6e5cd617ab57ef9da0bab6c3c9cdc8">SVF::ExtAPI::is_memset</a></div><div class="ttdeci">bool is_memset(const SVFFunction *F)</div><div class="ttdef"><b>Definition:</b> <a href="ExtAPI_8cpp_source.html#l00085">ExtAPI.cpp:85</a></div></div>
171
- <div class="ttc" id="aclassSVF_1_1ExtAPI_html_a0d865c55681a3b4a9bb965fd0200029d"><div class="ttname"><a href="classSVF_1_1ExtAPI.html#a0d865c55681a3b4a9bb965fd0200029d">SVF::ExtAPI::is_alloc</a></div><div class="ttdeci">bool is_alloc(const SVFFunction *F)</div><div class="ttdef"><b>Definition:</b> <a href="ExtAPI_8cpp_source.html#l00090">ExtAPI.cpp:90</a></div></div>
173
+ <div class="ttc" id="aclassSVF_1_1ExtAPI_html_a68939c789d0530151a4e79e79317531a"><div class="ttname"><a href="classSVF_1_1ExtAPI.html#a68939c789d0530151a4e79e79317531a">SVF::ExtAPI::get_alloc_arg_pos</a></div><div class="ttdeci">s32_t get_alloc_arg_pos(const SVFFunction *F)</div><div class="ttdef"><b>Definition:</b> <a href="ExtAPI_8cpp_source.html#l00175">ExtAPI.cpp:175</a></div></div>
174
+ <div class="ttc" id="aclassSVF_1_1ExtAPI_html_a02380d22fd6021ebce1e54723d695c99"><div class="ttname"><a href="classSVF_1_1ExtAPI.html#a02380d22fd6021ebce1e54723d695c99">SVF::ExtAPI::getExtAPI</a></div><div class="ttdeci">static ExtAPI * getExtAPI(const std::string &amp;=&quot;&quot;)</div><div class="ttdef"><b>Definition:</b> <a href="ExtAPI_8cpp_source.html#l00038">ExtAPI.cpp:38</a></div></div>
175
+ <div class="ttc" id="aclassSVF_1_1ExtAPI_html_a9f6e5cd617ab57ef9da0bab6c3c9cdc8"><div class="ttname"><a href="classSVF_1_1ExtAPI.html#a9f6e5cd617ab57ef9da0bab6c3c9cdc8">SVF::ExtAPI::is_memset</a></div><div class="ttdeci">bool is_memset(const SVFFunction *F)</div><div class="ttdef"><b>Definition:</b> <a href="ExtAPI_8cpp_source.html#l00158">ExtAPI.cpp:158</a></div></div>
176
+ <div class="ttc" id="aclassSVF_1_1ExtAPI_html_a0d865c55681a3b4a9bb965fd0200029d"><div class="ttname"><a href="classSVF_1_1ExtAPI.html#a0d865c55681a3b4a9bb965fd0200029d">SVF::ExtAPI::is_alloc</a></div><div class="ttdeci">bool is_alloc(const SVFFunction *F)</div><div class="ttdef"><b>Definition:</b> <a href="ExtAPI_8cpp_source.html#l00163">ExtAPI.cpp:163</a></div></div>
172
177
  <div class="ttc" id="acJSON_8h_html_ad4c68ea99a26b0a98ad9a79982960458"><div class="ttname"><a href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">string</a></div><div class="ttdeci">const char *const string</div><div class="ttdef"><b>Definition:</b> <a href="cJSON_8h_source.html#l00172">cJSON.h:172</a></div></div>
173
- <div class="ttc" id="aclassSVF_1_1ExtAPI_html_a1d7778db3b31f732f06129b49ec6dacd"><div class="ttname"><a href="classSVF_1_1ExtAPI.html#a1d7778db3b31f732f06129b49ec6dacd">SVF::ExtAPI::hasExtFuncAnnotation</a></div><div class="ttdeci">bool hasExtFuncAnnotation(const SVFFunction *fun, const std::string &amp;funcAnnotation)</div><div class="ttdef"><b>Definition:</b> <a href="ExtAPI_8cpp_source.html#l00064">ExtAPI.cpp:64</a></div></div>
174
- <div class="ttc" id="aclassSVF_1_1ExtAPI_html_ae20ea24cce02de87d89a2d0b773a2357"><div class="ttname"><a href="classSVF_1_1ExtAPI.html#ae20ea24cce02de87d89a2d0b773a2357">SVF::ExtAPI::has_static</a></div><div class="ttdeci">bool has_static(const SVFFunction *F)</div><div class="ttdef"><b>Definition:</b> <a href="ExtAPI_8cpp_source.html#l00075">ExtAPI.cpp:75</a></div></div>
178
+ <div class="ttc" id="aclassSVF_1_1ExtAPI_html_a1d7778db3b31f732f06129b49ec6dacd"><div class="ttname"><a href="classSVF_1_1ExtAPI.html#a1d7778db3b31f732f06129b49ec6dacd">SVF::ExtAPI::hasExtFuncAnnotation</a></div><div class="ttdeci">bool hasExtFuncAnnotation(const SVFFunction *fun, const std::string &amp;funcAnnotation)</div><div class="ttdef"><b>Definition:</b> <a href="ExtAPI_8cpp_source.html#l00137">ExtAPI.cpp:137</a></div></div>
179
+ <div class="ttc" id="aclassSVF_1_1ExtAPI_html_ae20ea24cce02de87d89a2d0b773a2357"><div class="ttname"><a href="classSVF_1_1ExtAPI.html#ae20ea24cce02de87d89a2d0b773a2357">SVF::ExtAPI::has_static</a></div><div class="ttdeci">bool has_static(const SVFFunction *F)</div><div class="ttdef"><b>Definition:</b> <a href="ExtAPI_8cpp_source.html#l00148">ExtAPI.cpp:148</a></div></div>
175
180
  <div class="ttc" id="aclassSVF_1_1SVFFunction_html"><div class="ttname"><a href="classSVF_1_1SVFFunction.html">SVF::SVFFunction</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00270">SVFValue.h:270</a></div></div>
176
- <div class="ttc" id="aclassSVF_1_1ExtAPI_html"><div class="ttname"><a href="classSVF_1_1ExtAPI.html">SVF::ExtAPI</a></div><div class="ttdef"><b>Definition:</b> <a href="ExtAPI_8h_source.html#l00044">ExtAPI.h:44</a></div></div>
177
- <div class="ttc" id="aclassSVF_1_1ExtAPI_html_a158e7da51d45b746e067dc40e912c477"><div class="ttname"><a href="classSVF_1_1ExtAPI.html#a158e7da51d45b746e067dc40e912c477">SVF::ExtAPI::is_arg_alloc</a></div><div class="ttdeci">bool is_arg_alloc(const SVFFunction *F)</div><div class="ttdef"><b>Definition:</b> <a href="ExtAPI_8cpp_source.html#l00096">ExtAPI.cpp:96</a></div></div>
178
- <div class="ttc" id="aclassSVF_1_1ExtAPI_html_a641c82ed1f1a86f0f8a6015ef1fdbfef"><div class="ttname"><a href="classSVF_1_1ExtAPI.html#a641c82ed1f1a86f0f8a6015ef1fdbfef">SVF::ExtAPI::getExtFuncAnnotation</a></div><div class="ttdeci">std::string getExtFuncAnnotation(const SVFFunction *fun, const std::string &amp;funcAnnotation)</div><div class="ttdef"><b>Definition:</b> <a href="ExtAPI_8cpp_source.html#l00054">ExtAPI.cpp:54</a></div></div>
181
+ <div class="ttc" id="aclassSVF_1_1ExtAPI_html"><div class="ttname"><a href="classSVF_1_1ExtAPI.html">SVF::ExtAPI</a></div><div class="ttdef"><b>Definition:</b> <a href="ExtAPI_8h_source.html#l00046">ExtAPI.h:46</a></div></div>
182
+ <div class="ttc" id="aclassSVF_1_1ExtAPI_html_a158e7da51d45b746e067dc40e912c477"><div class="ttname"><a href="classSVF_1_1ExtAPI.html#a158e7da51d45b746e067dc40e912c477">SVF::ExtAPI::is_arg_alloc</a></div><div class="ttdeci">bool is_arg_alloc(const SVFFunction *F)</div><div class="ttdef"><b>Definition:</b> <a href="ExtAPI_8cpp_source.html#l00169">ExtAPI.cpp:169</a></div></div>
183
+ <div class="ttc" id="aclassSVF_1_1ExtAPI_html_a641c82ed1f1a86f0f8a6015ef1fdbfef"><div class="ttname"><a href="classSVF_1_1ExtAPI.html#a641c82ed1f1a86f0f8a6015ef1fdbfef">SVF::ExtAPI::getExtFuncAnnotation</a></div><div class="ttdeci">std::string getExtFuncAnnotation(const SVFFunction *fun, const std::string &amp;funcAnnotation)</div><div class="ttdef"><b>Definition:</b> <a href="ExtAPI_8cpp_source.html#l00127">ExtAPI.cpp:127</a></div></div>
179
184
  <div class="ttc" id="anamespaceSVF_html_a9b707002523ece2ac54ca893ee9a2d4e"><div class="ttname"><a href="namespaceSVF.html#a9b707002523ece2ac54ca893ee9a2d4e">SVF::s32_t</a></div><div class="ttdeci">signed s32_t</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00052">SVFType.h:52</a></div></div>
180
185
  <div class="ttc" id="aSVFFileSystem_8cpp_html_ab25baccb41e3b67ef0bfdaa1336c9649"><div class="ttname"><a href="SVFFileSystem_8cpp.html#ab25baccb41e3b67ef0bfdaa1336c9649">F</a></div><div class="ttdeci">#define F(f)</div></div>
181
- <div class="ttc" id="aclassSVF_1_1ExtAPI_html_ac6d6bdc51a6b75d6d5741cb751559fe4"><div class="ttname"><a href="classSVF_1_1ExtAPI.html#ac6d6bdc51a6b75d6d5741cb751559fe4">SVF::ExtAPI::is_realloc</a></div><div class="ttdeci">bool is_realloc(const SVFFunction *F)</div><div class="ttdef"><b>Definition:</b> <a href="ExtAPI_8cpp_source.html#l00119">ExtAPI.cpp:119</a></div></div>
186
+ <div class="ttc" id="aclassSVF_1_1ExtAPI_html_ac6d6bdc51a6b75d6d5741cb751559fe4"><div class="ttname"><a href="classSVF_1_1ExtAPI.html#ac6d6bdc51a6b75d6d5741cb751559fe4">SVF::ExtAPI::is_realloc</a></div><div class="ttdeci">bool is_realloc(const SVFFunction *F)</div><div class="ttdef"><b>Definition:</b> <a href="ExtAPI_8cpp_source.html#l00192">ExtAPI.cpp:192</a></div></div>
187
+ <div class="ttc" id="aclassSVF_1_1ExtAPI_html_a26bc352dbfd1b2fe34106a73f1f6d50c"><div class="ttname"><a href="classSVF_1_1ExtAPI.html#a26bc352dbfd1b2fe34106a73f1f6d50c">SVF::ExtAPI::getExtBcPath</a></div><div class="ttdeci">std::string getExtBcPath()</div><div class="ttdef"><b>Definition:</b> <a href="ExtAPI_8cpp_source.html#l00108">ExtAPI.cpp:108</a></div></div>
182
188
  <div class="ttc" id="aSVFValue_8h_html"><div class="ttname"><a href="SVFValue_8h.html">SVFValue.h</a></div></div>
183
- <div class="ttc" id="aclassSVF_1_1ExtAPI_html_aadc8f2e0ff777e3f611a7d741def0742"><div class="ttname"><a href="classSVF_1_1ExtAPI.html#aadc8f2e0ff777e3f611a7d741def0742">SVF::ExtAPI::is_memcpy</a></div><div class="ttdeci">bool is_memcpy(const SVFFunction *F)</div><div class="ttdef"><b>Definition:</b> <a href="ExtAPI_8cpp_source.html#l00080">ExtAPI.cpp:80</a></div></div>
189
+ <div class="ttc" id="aclassSVF_1_1ExtAPI_html_aadc8f2e0ff777e3f611a7d741def0742"><div class="ttname"><a href="classSVF_1_1ExtAPI.html#aadc8f2e0ff777e3f611a7d741def0742">SVF::ExtAPI::is_memcpy</a></div><div class="ttdeci">bool is_memcpy(const SVFFunction *F)</div><div class="ttdef"><b>Definition:</b> <a href="ExtAPI_8cpp_source.html#l00153">ExtAPI.cpp:153</a></div></div>
184
190
  <!-- start footer part -->
185
191
  <hr class="footer"/><address class="footer"><small>
186
192
  Generated by &#160;<a href="http://www.doxygen.org/index.html">
package/SVF-doxygen/html/html/Options_8cpp.html CHANGED
@@ -73,6 +73,7 @@ $(function() {
73
73
  <div class="contents">
74
74
  <div class="textblock"><code>#include &quot;<a class="el" href="Options_8h_source.html">Util/Options.h</a>&quot;</code><br />
75
75
  <code>#include &quot;<a class="el" href="CommandLine_8h_source.html">Util/CommandLine.h</a>&quot;</code><br />
76
+ <code>#include &quot;<a class="el" href="ExtAPI_8h_source.html">Util/ExtAPI.h</a>&quot;</code><br />
76
77
  </div>
77
78
  <p><a href="Options_8cpp_source.html">Go to the source code of this file.</a></p>
78
79
  <table class="memberdecls">