svf-tools 1.0.893 → 1.0.895

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 (278) hide show
  1. package/SVF-doxygen/html/AbstractExecution_8cpp.html +3 -3
  2. package/SVF-doxygen/html/AbstractExecution_8cpp_source.html +1746 -1753
  3. package/SVF-doxygen/html/AbstractExecution_8h.html +0 -2
  4. package/SVF-doxygen/html/AbstractExecution_8h_source.html +284 -335
  5. package/SVF-doxygen/html/BufOverflowChecker_8cpp_source.html +773 -791
  6. package/SVF-doxygen/html/BufOverflowChecker_8h.html +0 -2
  7. package/SVF-doxygen/html/BufOverflowChecker_8h_source.html +48 -81
  8. package/SVF-doxygen/html/ObjTypeInference_8cpp_source.html +24 -24
  9. package/SVF-doxygen/html/ae_8cpp.html +16 -19
  10. package/SVF-doxygen/html/ae_8cpp_source.html +16 -19
  11. package/SVF-doxygen/html/annotated.html +434 -436
  12. package/SVF-doxygen/html/classSVF_1_1AEStat.html +168 -168
  13. package/SVF-doxygen/html/classSVF_1_1AbstractExecution-members.html +49 -24
  14. package/SVF-doxygen/html/classSVF_1_1AbstractExecution.html +2533 -1041
  15. package/SVF-doxygen/html/classSVF_1_1BufOverflowChecker-members.html +71 -41
  16. package/SVF-doxygen/html/classSVF_1_1BufOverflowChecker.html +777 -63
  17. package/SVF-doxygen/html/classSVF_1_1ObjTypeInference.html +24 -24
  18. package/SVF-doxygen/html/classes.html +418 -421
  19. package/SVF-doxygen/html/functions.html +8 -12
  20. package/SVF-doxygen/html/functions_a.html +10 -11
  21. package/SVF-doxygen/html/functions_b.html +5 -9
  22. package/SVF-doxygen/html/functions_c.html +26 -28
  23. package/SVF-doxygen/html/functions_d.html +2 -2
  24. package/SVF-doxygen/html/functions_e.html +2 -2
  25. package/SVF-doxygen/html/functions_enum.html +1 -1
  26. package/SVF-doxygen/html/functions_eval_m.html +2 -2
  27. package/SVF-doxygen/html/functions_eval_s.html +2 -2
  28. package/SVF-doxygen/html/functions_eval_u.html +1 -1
  29. package/SVF-doxygen/html/functions_func.html +9 -12
  30. package/SVF-doxygen/html/functions_func_b.html +2 -5
  31. package/SVF-doxygen/html/functions_func_c.html +25 -27
  32. package/SVF-doxygen/html/functions_func_d.html +2 -2
  33. package/SVF-doxygen/html/functions_func_g.html +15 -16
  34. package/SVF-doxygen/html/functions_func_h.html +6 -6
  35. package/SVF-doxygen/html/functions_func_i.html +9 -13
  36. package/SVF-doxygen/html/functions_func_p.html +1 -1
  37. package/SVF-doxygen/html/functions_func_s.html +19 -20
  38. package/SVF-doxygen/html/functions_func_t.html +1 -1
  39. package/SVF-doxygen/html/functions_func_~.html +0 -3
  40. package/SVF-doxygen/html/functions_g.html +21 -22
  41. package/SVF-doxygen/html/functions_h.html +6 -6
  42. package/SVF-doxygen/html/functions_i.html +15 -19
  43. package/SVF-doxygen/html/functions_l.html +5 -5
  44. package/SVF-doxygen/html/functions_m.html +2 -2
  45. package/SVF-doxygen/html/functions_o.html +15 -15
  46. package/SVF-doxygen/html/functions_p.html +13 -13
  47. package/SVF-doxygen/html/functions_r.html +4 -2
  48. package/SVF-doxygen/html/functions_s.html +21 -22
  49. package/SVF-doxygen/html/functions_t.html +5 -5
  50. package/SVF-doxygen/html/functions_type_c.html +1 -1
  51. package/SVF-doxygen/html/functions_u.html +1 -1
  52. package/SVF-doxygen/html/functions_vars.html +8 -12
  53. package/SVF-doxygen/html/functions_vars_b.html +0 -3
  54. package/SVF-doxygen/html/functions_w.html +7 -13
  55. package/SVF-doxygen/html/functions_~.html +0 -3
  56. package/SVF-doxygen/html/hierarchy.html +629 -631
  57. package/SVF-doxygen/html/namespaceSVF.html +5 -9
  58. package/SVF-doxygen/html/search/all_0.js +11 -11
  59. package/SVF-doxygen/html/search/all_1.js +5 -5
  60. package/SVF-doxygen/html/search/all_10.js +325 -325
  61. package/SVF-doxygen/html/search/all_11.js +226 -226
  62. package/SVF-doxygen/html/search/all_12.js +570 -570
  63. package/SVF-doxygen/html/search/all_13.js +207 -207
  64. package/SVF-doxygen/html/search/all_14.js +70 -70
  65. package/SVF-doxygen/html/search/all_15.js +176 -176
  66. package/SVF-doxygen/html/search/all_16.js +77 -77
  67. package/SVF-doxygen/html/search/all_17.js +1 -1
  68. package/SVF-doxygen/html/search/all_18.js +1 -1
  69. package/SVF-doxygen/html/search/all_19.js +26 -26
  70. package/SVF-doxygen/html/search/all_1a.js +179 -180
  71. package/SVF-doxygen/html/search/all_2.js +65 -66
  72. package/SVF-doxygen/html/search/all_3.js +640 -640
  73. package/SVF-doxygen/html/search/all_4.js +235 -235
  74. package/SVF-doxygen/html/search/all_5.js +126 -126
  75. package/SVF-doxygen/html/search/all_6.js +232 -232
  76. package/SVF-doxygen/html/search/all_7.js +1047 -1047
  77. package/SVF-doxygen/html/search/all_8.js +215 -215
  78. package/SVF-doxygen/html/search/all_9.js +629 -630
  79. package/SVF-doxygen/html/search/all_a.js +46 -46
  80. package/SVF-doxygen/html/search/all_b.js +26 -26
  81. package/SVF-doxygen/html/search/all_c.js +115 -115
  82. package/SVF-doxygen/html/search/all_d.js +204 -204
  83. package/SVF-doxygen/html/search/all_e.js +209 -209
  84. package/SVF-doxygen/html/search/all_f.js +122 -122
  85. package/SVF-doxygen/html/search/classes_0.js +28 -29
  86. package/SVF-doxygen/html/search/classes_1.js +11 -12
  87. package/SVF-doxygen/html/search/classes_10.js +74 -74
  88. package/SVF-doxygen/html/search/classes_11.js +14 -14
  89. package/SVF-doxygen/html/search/classes_12.js +2 -2
  90. package/SVF-doxygen/html/search/classes_13.js +10 -10
  91. package/SVF-doxygen/html/search/classes_14.js +19 -19
  92. package/SVF-doxygen/html/search/classes_15.js +1 -1
  93. package/SVF-doxygen/html/search/classes_2.js +73 -73
  94. package/SVF-doxygen/html/search/classes_3.js +35 -35
  95. package/SVF-doxygen/html/search/classes_4.js +8 -8
  96. package/SVF-doxygen/html/search/classes_5.js +28 -28
  97. package/SVF-doxygen/html/search/classes_6.js +98 -98
  98. package/SVF-doxygen/html/search/classes_7.js +38 -38
  99. package/SVF-doxygen/html/search/classes_8.js +59 -59
  100. package/SVF-doxygen/html/search/classes_9.js +1 -1
  101. package/SVF-doxygen/html/search/classes_a.js +12 -12
  102. package/SVF-doxygen/html/search/classes_b.js +29 -29
  103. package/SVF-doxygen/html/search/classes_c.js +6 -6
  104. package/SVF-doxygen/html/search/classes_d.js +19 -19
  105. package/SVF-doxygen/html/search/classes_e.js +36 -36
  106. package/SVF-doxygen/html/search/classes_f.js +25 -25
  107. package/SVF-doxygen/html/search/defines_0.js +3 -3
  108. package/SVF-doxygen/html/search/defines_1.js +3 -3
  109. package/SVF-doxygen/html/search/defines_10.js +2 -2
  110. package/SVF-doxygen/html/search/defines_2.js +30 -30
  111. package/SVF-doxygen/html/search/defines_3.js +20 -20
  112. package/SVF-doxygen/html/search/defines_4.js +3 -3
  113. package/SVF-doxygen/html/search/defines_5.js +4 -4
  114. package/SVF-doxygen/html/search/defines_6.js +2 -2
  115. package/SVF-doxygen/html/search/defines_7.js +5 -5
  116. package/SVF-doxygen/html/search/defines_8.js +11 -11
  117. package/SVF-doxygen/html/search/defines_9.js +9 -9
  118. package/SVF-doxygen/html/search/defines_a.js +2 -2
  119. package/SVF-doxygen/html/search/defines_b.js +1 -1
  120. package/SVF-doxygen/html/search/defines_c.js +4 -4
  121. package/SVF-doxygen/html/search/defines_d.js +2 -2
  122. package/SVF-doxygen/html/search/defines_e.js +8 -8
  123. package/SVF-doxygen/html/search/defines_f.js +4 -4
  124. package/SVF-doxygen/html/search/enums_0.js +4 -4
  125. package/SVF-doxygen/html/search/enums_1.js +2 -2
  126. package/SVF-doxygen/html/search/enums_10.js +1 -1
  127. package/SVF-doxygen/html/search/enums_11.js +1 -1
  128. package/SVF-doxygen/html/search/enums_2.js +8 -8
  129. package/SVF-doxygen/html/search/enums_3.js +1 -1
  130. package/SVF-doxygen/html/search/enums_4.js +4 -4
  131. package/SVF-doxygen/html/search/enums_5.js +1 -1
  132. package/SVF-doxygen/html/search/enums_6.js +2 -2
  133. package/SVF-doxygen/html/search/enums_7.js +2 -2
  134. package/SVF-doxygen/html/search/enums_8.js +4 -4
  135. package/SVF-doxygen/html/search/enums_9.js +1 -1
  136. package/SVF-doxygen/html/search/enums_a.js +1 -1
  137. package/SVF-doxygen/html/search/enums_b.js +7 -7
  138. package/SVF-doxygen/html/search/enums_c.js +1 -1
  139. package/SVF-doxygen/html/search/enums_d.js +4 -4
  140. package/SVF-doxygen/html/search/enums_e.js +2 -2
  141. package/SVF-doxygen/html/search/enums_f.js +4 -4
  142. package/SVF-doxygen/html/search/enumvalues_0.js +15 -15
  143. package/SVF-doxygen/html/search/enumvalues_1.js +15 -15
  144. package/SVF-doxygen/html/search/enumvalues_10.js +35 -35
  145. package/SVF-doxygen/html/search/enumvalues_11.js +4 -4
  146. package/SVF-doxygen/html/search/enumvalues_12.js +10 -10
  147. package/SVF-doxygen/html/search/enumvalues_13.js +1 -1
  148. package/SVF-doxygen/html/search/enumvalues_14.js +1 -1
  149. package/SVF-doxygen/html/search/enumvalues_15.js +3 -3
  150. package/SVF-doxygen/html/search/enumvalues_2.js +36 -36
  151. package/SVF-doxygen/html/search/enumvalues_3.js +13 -13
  152. package/SVF-doxygen/html/search/enumvalues_4.js +2 -2
  153. package/SVF-doxygen/html/search/enumvalues_5.js +47 -47
  154. package/SVF-doxygen/html/search/enumvalues_6.js +6 -6
  155. package/SVF-doxygen/html/search/enumvalues_7.js +8 -8
  156. package/SVF-doxygen/html/search/enumvalues_8.js +23 -23
  157. package/SVF-doxygen/html/search/enumvalues_9.js +6 -6
  158. package/SVF-doxygen/html/search/enumvalues_a.js +17 -17
  159. package/SVF-doxygen/html/search/enumvalues_b.js +11 -11
  160. package/SVF-doxygen/html/search/enumvalues_c.js +5 -5
  161. package/SVF-doxygen/html/search/enumvalues_d.js +18 -18
  162. package/SVF-doxygen/html/search/enumvalues_e.js +9 -9
  163. package/SVF-doxygen/html/search/enumvalues_f.js +47 -47
  164. package/SVF-doxygen/html/search/files_0.js +16 -16
  165. package/SVF-doxygen/html/search/files_1.js +9 -9
  166. package/SVF-doxygen/html/search/files_10.js +8 -8
  167. package/SVF-doxygen/html/search/files_11.js +8 -8
  168. package/SVF-doxygen/html/search/files_12.js +2 -2
  169. package/SVF-doxygen/html/search/files_2.js +53 -53
  170. package/SVF-doxygen/html/search/files_3.js +14 -14
  171. package/SVF-doxygen/html/search/files_4.js +5 -5
  172. package/SVF-doxygen/html/search/files_5.js +13 -13
  173. package/SVF-doxygen/html/search/files_6.js +10 -10
  174. package/SVF-doxygen/html/search/files_7.js +17 -17
  175. package/SVF-doxygen/html/search/files_8.js +13 -13
  176. package/SVF-doxygen/html/search/files_9.js +18 -18
  177. package/SVF-doxygen/html/search/files_a.js +3 -3
  178. package/SVF-doxygen/html/search/files_b.js +4 -4
  179. package/SVF-doxygen/html/search/files_c.js +20 -20
  180. package/SVF-doxygen/html/search/files_d.js +4 -4
  181. package/SVF-doxygen/html/search/files_e.js +62 -62
  182. package/SVF-doxygen/html/search/files_f.js +8 -8
  183. package/SVF-doxygen/html/search/functions_0.js +13 -13
  184. package/SVF-doxygen/html/search/functions_1.js +368 -369
  185. package/SVF-doxygen/html/search/functions_10.js +140 -140
  186. package/SVF-doxygen/html/search/functions_11.js +140 -140
  187. package/SVF-doxygen/html/search/functions_12.js +299 -299
  188. package/SVF-doxygen/html/search/functions_13.js +73 -73
  189. package/SVF-doxygen/html/search/functions_14.js +41 -41
  190. package/SVF-doxygen/html/search/functions_15.js +72 -72
  191. package/SVF-doxygen/html/search/functions_16.js +38 -38
  192. package/SVF-doxygen/html/search/functions_17.js +3 -3
  193. package/SVF-doxygen/html/search/functions_18.js +179 -180
  194. package/SVF-doxygen/html/search/functions_2.js +94 -95
  195. package/SVF-doxygen/html/search/functions_3.js +261 -261
  196. package/SVF-doxygen/html/search/functions_4.js +84 -84
  197. package/SVF-doxygen/html/search/functions_5.js +57 -57
  198. package/SVF-doxygen/html/search/functions_6.js +65 -65
  199. package/SVF-doxygen/html/search/functions_7.js +863 -863
  200. package/SVF-doxygen/html/search/functions_8.js +162 -162
  201. package/SVF-doxygen/html/search/functions_9.js +438 -439
  202. package/SVF-doxygen/html/search/functions_a.js +30 -30
  203. package/SVF-doxygen/html/search/functions_b.js +2 -2
  204. package/SVF-doxygen/html/search/functions_c.js +25 -25
  205. package/SVF-doxygen/html/search/functions_d.js +82 -82
  206. package/SVF-doxygen/html/search/functions_e.js +36 -36
  207. package/SVF-doxygen/html/search/functions_f.js +58 -58
  208. package/SVF-doxygen/html/search/namespaces_0.js +1 -1
  209. package/SVF-doxygen/html/search/namespaces_1.js +7 -7
  210. package/SVF-doxygen/html/search/related_0.js +4 -4
  211. package/SVF-doxygen/html/search/related_1.js +2 -2
  212. package/SVF-doxygen/html/search/related_2.js +2 -2
  213. package/SVF-doxygen/html/search/related_3.js +2 -2
  214. package/SVF-doxygen/html/search/related_4.js +2 -2
  215. package/SVF-doxygen/html/search/related_5.js +1 -1
  216. package/SVF-doxygen/html/search/related_6.js +2 -2
  217. package/SVF-doxygen/html/search/related_7.js +5 -5
  218. package/SVF-doxygen/html/search/related_8.js +2 -2
  219. package/SVF-doxygen/html/search/related_9.js +4 -4
  220. package/SVF-doxygen/html/search/related_a.js +19 -19
  221. package/SVF-doxygen/html/search/related_b.js +4 -4
  222. package/SVF-doxygen/html/search/related_c.js +2 -2
  223. package/SVF-doxygen/html/search/related_d.js +12 -12
  224. package/SVF-doxygen/html/search/related_e.js +2 -2
  225. package/SVF-doxygen/html/search/related_f.js +2 -2
  226. package/SVF-doxygen/html/search/typedefs_0.js +19 -19
  227. package/SVF-doxygen/html/search/typedefs_1.js +27 -27
  228. package/SVF-doxygen/html/search/typedefs_10.js +63 -63
  229. package/SVF-doxygen/html/search/typedefs_11.js +13 -13
  230. package/SVF-doxygen/html/search/typedefs_12.js +11 -11
  231. package/SVF-doxygen/html/search/typedefs_13.js +40 -40
  232. package/SVF-doxygen/html/search/typedefs_14.js +11 -11
  233. package/SVF-doxygen/html/search/typedefs_2.js +125 -125
  234. package/SVF-doxygen/html/search/typedefs_3.js +39 -39
  235. package/SVF-doxygen/html/search/typedefs_4.js +17 -17
  236. package/SVF-doxygen/html/search/typedefs_5.js +42 -42
  237. package/SVF-doxygen/html/search/typedefs_6.js +54 -54
  238. package/SVF-doxygen/html/search/typedefs_7.js +47 -47
  239. package/SVF-doxygen/html/search/typedefs_8.js +1 -1
  240. package/SVF-doxygen/html/search/typedefs_9.js +6 -6
  241. package/SVF-doxygen/html/search/typedefs_a.js +29 -29
  242. package/SVF-doxygen/html/search/typedefs_b.js +29 -29
  243. package/SVF-doxygen/html/search/typedefs_c.js +41 -41
  244. package/SVF-doxygen/html/search/typedefs_d.js +15 -15
  245. package/SVF-doxygen/html/search/typedefs_e.js +52 -52
  246. package/SVF-doxygen/html/search/typedefs_f.js +14 -14
  247. package/SVF-doxygen/html/search/variables_0.js +177 -177
  248. package/SVF-doxygen/html/search/variables_1.js +76 -76
  249. package/SVF-doxygen/html/search/variables_10.js +98 -98
  250. package/SVF-doxygen/html/search/variables_11.js +46 -46
  251. package/SVF-doxygen/html/search/variables_12.js +93 -93
  252. package/SVF-doxygen/html/search/variables_13.js +76 -76
  253. package/SVF-doxygen/html/search/variables_14.js +14 -14
  254. package/SVF-doxygen/html/search/variables_15.js +49 -49
  255. package/SVF-doxygen/html/search/variables_16.js +11 -11
  256. package/SVF-doxygen/html/search/variables_17.js +1 -1
  257. package/SVF-doxygen/html/search/variables_18.js +17 -17
  258. package/SVF-doxygen/html/search/variables_2.js +40 -41
  259. package/SVF-doxygen/html/search/variables_3.js +142 -142
  260. package/SVF-doxygen/html/search/variables_4.js +51 -51
  261. package/SVF-doxygen/html/search/variables_5.js +39 -39
  262. package/SVF-doxygen/html/search/variables_6.js +66 -66
  263. package/SVF-doxygen/html/search/variables_7.js +34 -34
  264. package/SVF-doxygen/html/search/variables_8.js +8 -8
  265. package/SVF-doxygen/html/search/variables_9.js +79 -79
  266. package/SVF-doxygen/html/search/variables_a.js +4 -4
  267. package/SVF-doxygen/html/search/variables_b.js +10 -10
  268. package/SVF-doxygen/html/search/variables_c.js +45 -45
  269. package/SVF-doxygen/html/search/variables_d.js +57 -57
  270. package/SVF-doxygen/html/search/variables_e.js +123 -123
  271. package/SVF-doxygen/html/search/variables_f.js +31 -31
  272. package/package.json +1 -1
  273. package/svf/include/AE/Svfexe/AbstractExecution.h +55 -102
  274. package/svf/include/AE/Svfexe/BufOverflowChecker.h +12 -33
  275. package/svf/lib/AE/Svfexe/AbstractExecution.cpp +59 -64
  276. package/svf/lib/AE/Svfexe/BufOverflowChecker.cpp +44 -59
  277. package/svf-llvm/lib/ObjTypeInference.cpp +24 -24
  278. package/svf-llvm/tools/AE/ae.cpp +1 -2
package/SVF-doxygen/html/ae_8cpp.html CHANGED
@@ -169,20 +169,19 @@ Variables</h2></td></tr>
169
169
  <div class="line"><a name="l00663"></a><span class="lineno"> 663</span>&#160; <span class="keywordflow">if</span> (Options::BufferOverflowCheck())</div>
170
170
  <div class="line"><a name="l00664"></a><span class="lineno"> 664</span>&#160; {</div>
171
171
  <div class="line"><a name="l00665"></a><span class="lineno"> 665</span>&#160; <a class="code" href="classSVF_1_1BufOverflowChecker.html">BufOverflowChecker</a> ae;</div>
172
- <div class="line"><a name="l00666"></a><span class="lineno"> 666</span>&#160; ae.<a class="code" href="classSVF_1_1BufOverflowChecker.html#a4787d2e56aa374763656b7942f0ed52f">initExtAPI</a>();</div>
173
- <div class="line"><a name="l00667"></a><span class="lineno"> 667</span>&#160; ae.<a class="code" href="classSVF_1_1AbstractExecution.html#ac848658bb3069193b1c7b08199b3d4c7">runOnModule</a>(pag-&gt;<a class="code" href="classSVF_1_1SVFIR.html#abda052b73e869ed6d7c139ad1528da11">getICFG</a>());</div>
174
- <div class="line"><a name="l00668"></a><span class="lineno"> 668</span>&#160; }</div>
175
- <div class="line"><a name="l00669"></a><span class="lineno"> 669</span>&#160; <span class="keywordflow">else</span></div>
176
- <div class="line"><a name="l00670"></a><span class="lineno"> 670</span>&#160; {</div>
177
- <div class="line"><a name="l00671"></a><span class="lineno"> 671</span>&#160; <a class="code" href="classSVF_1_1AbstractExecution.html">AbstractExecution</a> ae;</div>
178
- <div class="line"><a name="l00672"></a><span class="lineno"> 672</span>&#160; ae.<a class="code" href="classSVF_1_1AbstractExecution.html#a4bf7be47ddc0ba53ec4a5e87f300763f">initExtAPI</a>();</div>
179
- <div class="line"><a name="l00673"></a><span class="lineno"> 673</span>&#160; ae.<a class="code" href="classSVF_1_1AbstractExecution.html#ac848658bb3069193b1c7b08199b3d4c7">runOnModule</a>(pag-&gt;<a class="code" href="classSVF_1_1SVFIR.html#abda052b73e869ed6d7c139ad1528da11">getICFG</a>());</div>
180
- <div class="line"><a name="l00674"></a><span class="lineno"> 674</span>&#160; }</div>
181
- <div class="line"><a name="l00675"></a><span class="lineno"> 675</span>&#160; </div>
182
- <div class="line"><a name="l00676"></a><span class="lineno"> 676</span>&#160; LLVMModuleSet::releaseLLVMModuleSet();</div>
183
- <div class="line"><a name="l00677"></a><span class="lineno"> 677</span>&#160; </div>
184
- <div class="line"><a name="l00678"></a><span class="lineno"> 678</span>&#160; <span class="keywordflow">return</span> 0;</div>
185
- <div class="line"><a name="l00679"></a><span class="lineno"> 679</span>&#160;}</div>
172
+ <div class="line"><a name="l00666"></a><span class="lineno"> 666</span>&#160; ae.<a class="code" href="classSVF_1_1AbstractExecution.html#ac848658bb3069193b1c7b08199b3d4c7">runOnModule</a>(pag-&gt;<a class="code" href="classSVF_1_1SVFIR.html#abda052b73e869ed6d7c139ad1528da11">getICFG</a>());</div>
173
+ <div class="line"><a name="l00667"></a><span class="lineno"> 667</span>&#160; }</div>
174
+ <div class="line"><a name="l00668"></a><span class="lineno"> 668</span>&#160; <span class="keywordflow">else</span></div>
175
+ <div class="line"><a name="l00669"></a><span class="lineno"> 669</span>&#160; {</div>
176
+ <div class="line"><a name="l00670"></a><span class="lineno"> 670</span>&#160; <a class="code" href="classSVF_1_1AbstractExecution.html">AbstractExecution</a> ae;</div>
177
+ <div class="line"><a name="l00671"></a><span class="lineno"> 671</span>&#160; </div>
178
+ <div class="line"><a name="l00672"></a><span class="lineno"> 672</span>&#160; ae.<a class="code" href="classSVF_1_1AbstractExecution.html#ac848658bb3069193b1c7b08199b3d4c7">runOnModule</a>(pag-&gt;<a class="code" href="classSVF_1_1SVFIR.html#abda052b73e869ed6d7c139ad1528da11">getICFG</a>());</div>
179
+ <div class="line"><a name="l00673"></a><span class="lineno"> 673</span>&#160; }</div>
180
+ <div class="line"><a name="l00674"></a><span class="lineno"> 674</span>&#160; </div>
181
+ <div class="line"><a name="l00675"></a><span class="lineno"> 675</span>&#160; LLVMModuleSet::releaseLLVMModuleSet();</div>
182
+ <div class="line"><a name="l00676"></a><span class="lineno"> 676</span>&#160; </div>
183
+ <div class="line"><a name="l00677"></a><span class="lineno"> 677</span>&#160; <span class="keywordflow">return</span> 0;</div>
184
+ <div class="line"><a name="l00678"></a><span class="lineno"> 678</span>&#160;}</div>
186
185
  </div><!-- fragment -->
187
186
  </div>
188
187
  </div>
@@ -210,7 +209,7 @@ Variables</h2></td></tr>
210
209
  </div>
211
210
  </div>
212
211
  </div><!-- contents -->
213
- <div class="ttc" id="aclassSVF_1_1AbstractExecution_html"><div class="ttname"><a href="classSVF_1_1AbstractExecution.html">SVF::AbstractExecution</a></div><div class="ttdef"><b>Definition:</b> <a href="AbstractExecution_8h_source.html#l00113">AbstractExecution.h:113</a></div></div>
212
+ <div class="ttc" id="aclassSVF_1_1AbstractExecution_html"><div class="ttname"><a href="classSVF_1_1AbstractExecution.html">SVF::AbstractExecution</a></div><div class="ttdef"><b>Definition:</b> <a href="AbstractExecution_8h_source.html#l00108">AbstractExecution.h:108</a></div></div>
214
213
  <div class="ttc" id="aclassSymblicAbstractionTest_html"><div class="ttname"><a href="classSymblicAbstractionTest.html">SymblicAbstractionTest</a></div><div class="ttdef"><b>Definition:</b> <a href="ae_8cpp_source.html#l00049">ae.cpp:49</a></div></div>
215
214
  <div class="ttc" id="aclassSVF_1_1PointerAnalysis_html_a7c9b7e5fe37ae31ba84d167945ca57df"><div class="ttname"><a href="classSVF_1_1PointerAnalysis.html#a7c9b7e5fe37ae31ba84d167945ca57df">SVF::PointerAnalysis::getPTACallGraph</a></div><div class="ttdeci">PTACallGraph * getPTACallGraph() const</div><div class="ttdoc">Return call graph.</div><div class="ttdef"><b>Definition:</b> <a href="PointerAnalysis_8h_source.html#l00171">PointerAnalysis.h:171</a></div></div>
216
215
  <div class="ttc" id="aae_8cpp_html_acf883aea11ed083025935a7257b5967d"><div class="ttname"><a href="ae_8cpp.html#acf883aea11ed083025935a7257b5967d">SYMABS</a></div><div class="ttdeci">static Option&lt; bool &gt; SYMABS(&quot;symabs&quot;, &quot;symbolic abstraction test&quot;, false)</div></div>
@@ -218,15 +217,13 @@ Variables</h2></td></tr>
218
217
  <div class="ttc" id="aclassSVF_1_1SVFIRBuilder_html"><div class="ttname"><a href="classSVF_1_1SVFIRBuilder.html">SVF::SVFIRBuilder</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFIRBuilder_8h_source.html#l00046">SVFIRBuilder.h:46</a></div></div>
219
218
  <div class="ttc" id="aclassSymblicAbstractionTest_html_a66155c2b52131a7782382d8e5da560fc"><div class="ttname"><a href="classSymblicAbstractionTest.html#a66155c2b52131a7782382d8e5da560fc">SymblicAbstractionTest::testsValidation</a></div><div class="ttdeci">void testsValidation()</div><div class="ttdef"><b>Definition:</b> <a href="ae_8cpp_source.html#l00601">ae.cpp:601</a></div></div>
220
219
  <div class="ttc" id="aclassSVF_1_1SVFIR_html_abda052b73e869ed6d7c139ad1528da11"><div class="ttname"><a href="classSVF_1_1SVFIR.html#abda052b73e869ed6d7c139ad1528da11">SVF::SVFIR::getICFG</a></div><div class="ttdeci">ICFG * getICFG() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR_8h_source.html#l00170">SVFIR.h:170</a></div></div>
221
- <div class="ttc" id="aclassSVF_1_1BufOverflowChecker_html"><div class="ttname"><a href="classSVF_1_1BufOverflowChecker.html">SVF::BufOverflowChecker</a></div><div class="ttdef"><b>Definition:</b> <a href="BufOverflowChecker_8h_source.html#l00173">BufOverflowChecker.h:173</a></div></div>
220
+ <div class="ttc" id="aclassSVF_1_1BufOverflowChecker_html"><div class="ttname"><a href="classSVF_1_1BufOverflowChecker.html">SVF::BufOverflowChecker</a></div><div class="ttdef"><b>Definition:</b> <a href="BufOverflowChecker_8h_source.html#l00103">BufOverflowChecker.h:103</a></div></div>
222
221
  <div class="ttc" id="aclassSVF_1_1PTACallGraph_html"><div class="ttname"><a href="classSVF_1_1PTACallGraph.html">SVF::PTACallGraph</a></div><div class="ttdef"><b>Definition:</b> <a href="PTACallGraph_8h_source.html#l00218">PTACallGraph.h:218</a></div></div>
223
222
  <div class="ttc" id="aclassSVF_1_1AndersenWaveDiff_html"><div class="ttname"><a href="classSVF_1_1AndersenWaveDiff.html">SVF::AndersenWaveDiff</a></div><div class="ttdef"><b>Definition:</b> <a href="Andersen_8h_source.html#l00384">Andersen.h:384</a></div></div>
224
223
  <div class="ttc" id="aclassSVF_1_1SVFModule_html"><div class="ttname"><a href="classSVF_1_1SVFModule.html">SVF::SVFModule</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFModule_8h_source.html#l00040">SVFModule.h:40</a></div></div>
225
224
  <div class="ttc" id="aclassSVF_1_1SVFIR_html"><div class="ttname"><a href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFIR_8h_source.html#l00043">SVFIR.h:43</a></div></div>
226
225
  <div class="ttc" id="aclassSVF_1_1ICFG_html_a5a00682b75726cacc1b4d88bbf40c824"><div class="ttname"><a href="classSVF_1_1ICFG.html#a5a00682b75726cacc1b4d88bbf40c824">SVF::ICFG::updateCallGraph</a></div><div class="ttdeci">void updateCallGraph(PTACallGraph *callgraph)</div><div class="ttdoc">update ICFG for indirect calls</div><div class="ttdef"><b>Definition:</b> <a href="ICFG_8cpp_source.html#l00459">ICFG.cpp:459</a></div></div>
227
- <div class="ttc" id="aclassSVF_1_1AbstractExecution_html_ac848658bb3069193b1c7b08199b3d4c7"><div class="ttname"><a href="classSVF_1_1AbstractExecution.html#ac848658bb3069193b1c7b08199b3d4c7">SVF::AbstractExecution::runOnModule</a></div><div class="ttdeci">virtual void runOnModule(ICFG *icfg)</div><div class="ttdef"><b>Definition:</b> <a href="AbstractExecution_8cpp_source.html#l00091">AbstractExecution.cpp:91</a></div></div>
228
- <div class="ttc" id="aclassSVF_1_1AbstractExecution_html_a4bf7be47ddc0ba53ec4a5e87f300763f"><div class="ttname"><a href="classSVF_1_1AbstractExecution.html#a4bf7be47ddc0ba53ec4a5e87f300763f">SVF::AbstractExecution::initExtAPI</a></div><div class="ttdeci">virtual void initExtAPI()</div><div class="ttdef"><b>Definition:</b> <a href="AbstractExecution_8cpp_source.html#l00086">AbstractExecution.cpp:86</a></div></div>
229
- <div class="ttc" id="aclassSVF_1_1BufOverflowChecker_html_a4787d2e56aa374763656b7942f0ed52f"><div class="ttname"><a href="classSVF_1_1BufOverflowChecker.html#a4787d2e56aa374763656b7942f0ed52f">SVF::BufOverflowChecker::initExtAPI</a></div><div class="ttdeci">void initExtAPI() override</div><div class="ttdef"><b>Definition:</b> <a href="BufOverflowChecker_8h_source.html#l00188">BufOverflowChecker.h:188</a></div></div>
226
+ <div class="ttc" id="aclassSVF_1_1AbstractExecution_html_ac848658bb3069193b1c7b08199b3d4c7"><div class="ttname"><a href="classSVF_1_1AbstractExecution.html#ac848658bb3069193b1c7b08199b3d4c7">SVF::AbstractExecution::runOnModule</a></div><div class="ttdeci">virtual void runOnModule(ICFG *icfg)</div><div class="ttdef"><b>Definition:</b> <a href="AbstractExecution_8cpp_source.html#l00087">AbstractExecution.cpp:87</a></div></div>
230
227
  <!-- start footer part -->
231
228
  <hr class="footer"/><address class="footer"><small>
232
229
  Generated by &#160;<a href="http://www.doxygen.org/index.html">
package/SVF-doxygen/html/ae_8cpp_source.html CHANGED
@@ -734,22 +734,21 @@ $(function() {
734
734
  <div class="line"><a name="l00663"></a><span class="lineno"> 663</span>&#160; <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1Options.html#afbe432aabda95308e2c190a04d227a6d">Options::BufferOverflowCheck</a>())</div>
735
735
  <div class="line"><a name="l00664"></a><span class="lineno"> 664</span>&#160; {</div>
736
736
  <div class="line"><a name="l00665"></a><span class="lineno"> 665</span>&#160; <a class="code" href="classSVF_1_1BufOverflowChecker.html">BufOverflowChecker</a> ae;</div>
737
- <div class="line"><a name="l00666"></a><span class="lineno"> 666</span>&#160; ae.<a class="code" href="classSVF_1_1BufOverflowChecker.html#a4787d2e56aa374763656b7942f0ed52f">initExtAPI</a>();</div>
738
- <div class="line"><a name="l00667"></a><span class="lineno"> 667</span>&#160; ae.<a class="code" href="classSVF_1_1AbstractExecution.html#ac848658bb3069193b1c7b08199b3d4c7">runOnModule</a>(pag-&gt;<a class="code" href="classSVF_1_1SVFIR.html#abda052b73e869ed6d7c139ad1528da11">getICFG</a>());</div>
739
- <div class="line"><a name="l00668"></a><span class="lineno"> 668</span>&#160; }</div>
740
- <div class="line"><a name="l00669"></a><span class="lineno"> 669</span>&#160; <span class="keywordflow">else</span></div>
741
- <div class="line"><a name="l00670"></a><span class="lineno"> 670</span>&#160; {</div>
742
- <div class="line"><a name="l00671"></a><span class="lineno"> 671</span>&#160; <a class="code" href="classSVF_1_1AbstractExecution.html">AbstractExecution</a> ae;</div>
743
- <div class="line"><a name="l00672"></a><span class="lineno"> 672</span>&#160; ae.<a class="code" href="classSVF_1_1AbstractExecution.html#a4bf7be47ddc0ba53ec4a5e87f300763f">initExtAPI</a>();</div>
744
- <div class="line"><a name="l00673"></a><span class="lineno"> 673</span>&#160; ae.<a class="code" href="classSVF_1_1AbstractExecution.html#ac848658bb3069193b1c7b08199b3d4c7">runOnModule</a>(pag-&gt;<a class="code" href="classSVF_1_1SVFIR.html#abda052b73e869ed6d7c139ad1528da11">getICFG</a>());</div>
745
- <div class="line"><a name="l00674"></a><span class="lineno"> 674</span>&#160; }</div>
746
- <div class="line"><a name="l00675"></a><span class="lineno"> 675</span>&#160; </div>
747
- <div class="line"><a name="l00676"></a><span class="lineno"> 676</span>&#160; <a class="code" href="classSVF_1_1LLVMModuleSet.html#a2f8e91c075d90be66412a079fe73e936">LLVMModuleSet::releaseLLVMModuleSet</a>();</div>
748
- <div class="line"><a name="l00677"></a><span class="lineno"> 677</span>&#160; </div>
749
- <div class="line"><a name="l00678"></a><span class="lineno"> 678</span>&#160; <span class="keywordflow">return</span> 0;</div>
750
- <div class="line"><a name="l00679"></a><span class="lineno"> 679</span>&#160;}</div>
737
+ <div class="line"><a name="l00666"></a><span class="lineno"> 666</span>&#160; ae.<a class="code" href="classSVF_1_1AbstractExecution.html#ac848658bb3069193b1c7b08199b3d4c7">runOnModule</a>(pag-&gt;<a class="code" href="classSVF_1_1SVFIR.html#abda052b73e869ed6d7c139ad1528da11">getICFG</a>());</div>
738
+ <div class="line"><a name="l00667"></a><span class="lineno"> 667</span>&#160; }</div>
739
+ <div class="line"><a name="l00668"></a><span class="lineno"> 668</span>&#160; <span class="keywordflow">else</span></div>
740
+ <div class="line"><a name="l00669"></a><span class="lineno"> 669</span>&#160; {</div>
741
+ <div class="line"><a name="l00670"></a><span class="lineno"> 670</span>&#160; <a class="code" href="classSVF_1_1AbstractExecution.html">AbstractExecution</a> ae;</div>
742
+ <div class="line"><a name="l00671"></a><span class="lineno"> 671</span>&#160; </div>
743
+ <div class="line"><a name="l00672"></a><span class="lineno"> 672</span>&#160; ae.<a class="code" href="classSVF_1_1AbstractExecution.html#ac848658bb3069193b1c7b08199b3d4c7">runOnModule</a>(pag-&gt;<a class="code" href="classSVF_1_1SVFIR.html#abda052b73e869ed6d7c139ad1528da11">getICFG</a>());</div>
744
+ <div class="line"><a name="l00673"></a><span class="lineno"> 673</span>&#160; }</div>
745
+ <div class="line"><a name="l00674"></a><span class="lineno"> 674</span>&#160; </div>
746
+ <div class="line"><a name="l00675"></a><span class="lineno"> 675</span>&#160; <a class="code" href="classSVF_1_1LLVMModuleSet.html#a2f8e91c075d90be66412a079fe73e936">LLVMModuleSet::releaseLLVMModuleSet</a>();</div>
747
+ <div class="line"><a name="l00676"></a><span class="lineno"> 676</span>&#160; </div>
748
+ <div class="line"><a name="l00677"></a><span class="lineno"> 677</span>&#160; <span class="keywordflow">return</span> 0;</div>
749
+ <div class="line"><a name="l00678"></a><span class="lineno"> 678</span>&#160;}</div>
751
750
  </div><!-- fragment --></div><!-- contents -->
752
- <div class="ttc" id="aclassSVF_1_1AbstractExecution_html"><div class="ttname"><a href="classSVF_1_1AbstractExecution.html">SVF::AbstractExecution</a></div><div class="ttdef"><b>Definition:</b> <a href="AbstractExecution_8h_source.html#l00113">AbstractExecution.h:113</a></div></div>
751
+ <div class="ttc" id="aclassSVF_1_1AbstractExecution_html"><div class="ttname"><a href="classSVF_1_1AbstractExecution.html">SVF::AbstractExecution</a></div><div class="ttdef"><b>Definition:</b> <a href="AbstractExecution_8h_source.html#l00108">AbstractExecution.h:108</a></div></div>
753
752
  <div class="ttc" id="aclassSymblicAbstractionTest_html_a40b9879a5465f960bbd4fad6654304aa"><div class="ttname"><a href="classSymblicAbstractionTest.html#a40b9879a5465f960bbd4fad6654304aa">SymblicAbstractionTest::testRelExeState2_2</a></div><div class="ttdeci">void testRelExeState2_2()</div><div class="ttdef"><b>Definition:</b> <a href="ae_8cpp_source.html#l00214">ae.cpp:214</a></div></div>
754
753
  <div class="ttc" id="aclassSymblicAbstractionTest_html_a56541a5e9bc61f092ee3c48700f00bf7"><div class="ttname"><a href="classSymblicAbstractionTest.html#a56541a5e9bc61f092ee3c48700f00bf7">SymblicAbstractionTest::testRelExeState3_2</a></div><div class="ttdeci">void testRelExeState3_2()</div><div class="ttdef"><b>Definition:</b> <a href="ae_8cpp_source.html#l00431">ae.cpp:431</a></div></div>
755
754
  <div class="ttc" id="aclassSVF_1_1LLVMModuleSet_html_acf40310917909e4234282c0695a43160"><div class="ttname"><a href="classSVF_1_1LLVMModuleSet.html#acf40310917909e4234282c0695a43160">SVF::LLVMModuleSet::getLLVMModuleSet</a></div><div class="ttdeci">static LLVMModuleSet * getLLVMModuleSet()</div><div class="ttdef"><b>Definition:</b> <a href="LLVMModule_8h_source.html#l00105">LLVMModule.h:105</a></div></div>
@@ -798,7 +797,7 @@ $(function() {
798
797
  <div class="ttc" id="aae_8cpp_html_a3c04138a5bfe5d72780bb7e82a18e627"><div class="ttname"><a href="ae_8cpp.html#a3c04138a5bfe5d72780bb7e82a18e627">main</a></div><div class="ttdeci">int main(int argc, char **argv)</div><div class="ttdef"><b>Definition:</b> <a href="ae_8cpp_source.html#l00624">ae.cpp:624</a></div></div>
799
798
  <div class="ttc" id="aclassSVF_1_1SVFIR_html_abda052b73e869ed6d7c139ad1528da11"><div class="ttname"><a href="classSVF_1_1SVFIR.html#abda052b73e869ed6d7c139ad1528da11">SVF::SVFIR::getICFG</a></div><div class="ttdeci">ICFG * getICFG() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR_8h_source.html#l00170">SVFIR.h:170</a></div></div>
800
799
  <div class="ttc" id="aclassSVF_1_1RelExeState_html_a3393f160508c33e68ebedd042d1d296f"><div class="ttname"><a href="classSVF_1_1RelExeState.html#a3393f160508c33e68ebedd042d1d296f">SVF::RelExeState::extractSubVars</a></div><div class="ttdeci">void extractSubVars(const Z3Expr &amp;expr, Set&lt; u32_t &gt; &amp;res)</div><div class="ttdoc">Extract sub SVFVar IDs of a Z3Expr.</div><div class="ttdef"><b>Definition:</b> <a href="RelExeState_8cpp_source.html#l00045">RelExeState.cpp:45</a></div></div>
801
- <div class="ttc" id="aclassSVF_1_1BufOverflowChecker_html"><div class="ttname"><a href="classSVF_1_1BufOverflowChecker.html">SVF::BufOverflowChecker</a></div><div class="ttdef"><b>Definition:</b> <a href="BufOverflowChecker_8h_source.html#l00173">BufOverflowChecker.h:173</a></div></div>
800
+ <div class="ttc" id="aclassSVF_1_1BufOverflowChecker_html"><div class="ttname"><a href="classSVF_1_1BufOverflowChecker.html">SVF::BufOverflowChecker</a></div><div class="ttdef"><b>Definition:</b> <a href="BufOverflowChecker_8h_source.html#l00103">BufOverflowChecker.h:103</a></div></div>
802
801
  <div class="ttc" id="aclassSymblicAbstractionTest_html_abaa1ae92b79979cfabee1a2b8a284f80"><div class="ttname"><a href="classSymblicAbstractionTest.html#abaa1ae92b79979cfabee1a2b8a284f80">SymblicAbstractionTest::RSY_time</a></div><div class="ttdeci">IntervalESBase RSY_time(IntervalESBase &amp;inv, const Z3Expr &amp;phi, RelationSolver &amp;rs)</div><div class="ttdef"><b>Definition:</b> <a href="ae_8cpp_source.html#l00066">ae.cpp:66</a></div></div>
803
802
  <div class="ttc" id="aclassSVF_1_1PTACallGraph_html"><div class="ttname"><a href="classSVF_1_1PTACallGraph.html">SVF::PTACallGraph</a></div><div class="ttdef"><b>Definition:</b> <a href="PTACallGraph_8h_source.html#l00218">PTACallGraph.h:218</a></div></div>
804
803
  <div class="ttc" id="aclassSVF_1_1AndersenWaveDiff_html"><div class="ttname"><a href="classSVF_1_1AndersenWaveDiff.html">SVF::AndersenWaveDiff</a></div><div class="ttdef"><b>Definition:</b> <a href="Andersen_8h_source.html#l00384">Andersen.h:384</a></div></div>
@@ -819,12 +818,10 @@ $(function() {
819
818
  <div class="ttc" id="aclassSVF_1_1IntervalESBase_html_a903797577ba99ef57879774a3849bbfe"><div class="ttname"><a href="classSVF_1_1IntervalESBase.html#a903797577ba99ef57879774a3849bbfe">SVF::IntervalESBase::getVarToVal</a></div><div class="ttdeci">const VarToValMap &amp; getVarToVal() const</div><div class="ttdoc">get var2val map</div><div class="ttdef"><b>Definition:</b> <a href="IntervalExeState_8h_source.html#l00189">IntervalExeState.h:189</a></div></div>
820
819
  <div class="ttc" id="anamespaceSVF_html_a8234d4b959abc9123993bcff4eee34c1"><div class="ttname"><a href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">SVF::Map</a></div><div class="ttdeci">std::unordered_map&lt; Key, Value, Hash, KeyEqual, Allocator &gt; Map</div><div class="ttdef"><b>Definition:</b> <a href="GeneralType_8h_source.html#l00097">GeneralType.h:97</a></div></div>
821
820
  <div class="ttc" id="aclassSVF_1_1ICFGSimplification_html_afaea7e3622ee5341a3f28135a2ae8644"><div class="ttname"><a href="classSVF_1_1ICFGSimplification.html#afaea7e3622ee5341a3f28135a2ae8644">SVF::ICFGSimplification::mergeAdjacentNodes</a></div><div class="ttdeci">static void mergeAdjacentNodes(ICFG *icfg)</div><div class="ttdef"><b>Definition:</b> <a href="ICFGSimplification_8cpp_source.html#l00034">ICFGSimplification.cpp:34</a></div></div>
822
- <div class="ttc" id="aclassSVF_1_1AbstractExecution_html_ac848658bb3069193b1c7b08199b3d4c7"><div class="ttname"><a href="classSVF_1_1AbstractExecution.html#ac848658bb3069193b1c7b08199b3d4c7">SVF::AbstractExecution::runOnModule</a></div><div class="ttdeci">virtual void runOnModule(ICFG *icfg)</div><div class="ttdef"><b>Definition:</b> <a href="AbstractExecution_8cpp_source.html#l00091">AbstractExecution.cpp:91</a></div></div>
821
+ <div class="ttc" id="aclassSVF_1_1AbstractExecution_html_ac848658bb3069193b1c7b08199b3d4c7"><div class="ttname"><a href="classSVF_1_1AbstractExecution.html#ac848658bb3069193b1c7b08199b3d4c7">SVF::AbstractExecution::runOnModule</a></div><div class="ttdeci">virtual void runOnModule(ICFG *icfg)</div><div class="ttdef"><b>Definition:</b> <a href="AbstractExecution_8cpp_source.html#l00087">AbstractExecution.cpp:87</a></div></div>
823
822
  <div class="ttc" id="aSVFIRBuilder_8h_html"><div class="ttname"><a href="SVFIRBuilder_8h.html">SVFIRBuilder.h</a></div></div>
824
- <div class="ttc" id="aclassSVF_1_1AbstractExecution_html_a4bf7be47ddc0ba53ec4a5e87f300763f"><div class="ttname"><a href="classSVF_1_1AbstractExecution.html#a4bf7be47ddc0ba53ec4a5e87f300763f">SVF::AbstractExecution::initExtAPI</a></div><div class="ttdeci">virtual void initExtAPI()</div><div class="ttdef"><b>Definition:</b> <a href="AbstractExecution_8cpp_source.html#l00086">AbstractExecution.cpp:86</a></div></div>
825
823
  <div class="ttc" id="aAndersen_8h_html"><div class="ttname"><a href="Andersen_8h.html">Andersen.h</a></div></div>
826
824
  <div class="ttc" id="aclassSymblicAbstractionTest_html_a7c319b15dd3bd82a7c805ba6dd60beab"><div class="ttname"><a href="classSymblicAbstractionTest.html#a7c319b15dd3bd82a7c805ba6dd60beab">SymblicAbstractionTest::testRelExeState2_3</a></div><div class="ttdeci">void testRelExeState2_3()</div><div class="ttdef"><b>Definition:</b> <a href="ae_8cpp_source.html#l00257">ae.cpp:257</a></div></div>
827
- <div class="ttc" id="aclassSVF_1_1BufOverflowChecker_html_a4787d2e56aa374763656b7942f0ed52f"><div class="ttname"><a href="classSVF_1_1BufOverflowChecker.html#a4787d2e56aa374763656b7942f0ed52f">SVF::BufOverflowChecker::initExtAPI</a></div><div class="ttdeci">void initExtAPI() override</div><div class="ttdef"><b>Definition:</b> <a href="BufOverflowChecker_8h_source.html#l00188">BufOverflowChecker.h:188</a></div></div>
828
825
  <!-- start footer part -->
829
826
  <hr class="footer"/><address class="footer"><small>
830
827
  Generated by &#160;<a href="http://www.doxygen.org/index.html">