svf-tools 1.0.892 → 1.0.894

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 (276) 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/ae_8cpp.html +16 -19
  9. package/SVF-doxygen/html/ae_8cpp_source.html +16 -19
  10. package/SVF-doxygen/html/annotated.html +434 -436
  11. package/SVF-doxygen/html/classSVF_1_1AEStat.html +168 -168
  12. package/SVF-doxygen/html/classSVF_1_1AbstractExecution-members.html +49 -24
  13. package/SVF-doxygen/html/classSVF_1_1AbstractExecution.html +2533 -1041
  14. package/SVF-doxygen/html/classSVF_1_1BufOverflowChecker-members.html +71 -41
  15. package/SVF-doxygen/html/classSVF_1_1BufOverflowChecker.html +777 -63
  16. package/SVF-doxygen/html/classes.html +418 -421
  17. package/SVF-doxygen/html/functions.html +8 -12
  18. package/SVF-doxygen/html/functions_a.html +10 -11
  19. package/SVF-doxygen/html/functions_b.html +5 -9
  20. package/SVF-doxygen/html/functions_c.html +26 -28
  21. package/SVF-doxygen/html/functions_d.html +2 -2
  22. package/SVF-doxygen/html/functions_e.html +2 -2
  23. package/SVF-doxygen/html/functions_enum.html +1 -1
  24. package/SVF-doxygen/html/functions_eval_m.html +2 -2
  25. package/SVF-doxygen/html/functions_eval_s.html +2 -2
  26. package/SVF-doxygen/html/functions_eval_u.html +1 -1
  27. package/SVF-doxygen/html/functions_func.html +9 -12
  28. package/SVF-doxygen/html/functions_func_b.html +2 -5
  29. package/SVF-doxygen/html/functions_func_c.html +25 -27
  30. package/SVF-doxygen/html/functions_func_d.html +2 -2
  31. package/SVF-doxygen/html/functions_func_g.html +15 -16
  32. package/SVF-doxygen/html/functions_func_h.html +6 -6
  33. package/SVF-doxygen/html/functions_func_i.html +9 -13
  34. package/SVF-doxygen/html/functions_func_p.html +1 -1
  35. package/SVF-doxygen/html/functions_func_s.html +19 -20
  36. package/SVF-doxygen/html/functions_func_t.html +1 -1
  37. package/SVF-doxygen/html/functions_func_~.html +0 -3
  38. package/SVF-doxygen/html/functions_g.html +21 -22
  39. package/SVF-doxygen/html/functions_h.html +6 -6
  40. package/SVF-doxygen/html/functions_i.html +15 -19
  41. package/SVF-doxygen/html/functions_l.html +5 -5
  42. package/SVF-doxygen/html/functions_m.html +2 -2
  43. package/SVF-doxygen/html/functions_o.html +15 -15
  44. package/SVF-doxygen/html/functions_p.html +13 -13
  45. package/SVF-doxygen/html/functions_r.html +4 -2
  46. package/SVF-doxygen/html/functions_s.html +21 -22
  47. package/SVF-doxygen/html/functions_t.html +5 -5
  48. package/SVF-doxygen/html/functions_type_c.html +1 -1
  49. package/SVF-doxygen/html/functions_u.html +1 -1
  50. package/SVF-doxygen/html/functions_vars.html +8 -12
  51. package/SVF-doxygen/html/functions_vars_b.html +0 -3
  52. package/SVF-doxygen/html/functions_w.html +7 -13
  53. package/SVF-doxygen/html/functions_~.html +0 -3
  54. package/SVF-doxygen/html/hierarchy.html +629 -631
  55. package/SVF-doxygen/html/namespaceSVF.html +5 -9
  56. package/SVF-doxygen/html/search/all_0.js +11 -11
  57. package/SVF-doxygen/html/search/all_1.js +5 -5
  58. package/SVF-doxygen/html/search/all_10.js +325 -325
  59. package/SVF-doxygen/html/search/all_11.js +226 -226
  60. package/SVF-doxygen/html/search/all_12.js +570 -570
  61. package/SVF-doxygen/html/search/all_13.js +207 -207
  62. package/SVF-doxygen/html/search/all_14.js +70 -70
  63. package/SVF-doxygen/html/search/all_15.js +176 -176
  64. package/SVF-doxygen/html/search/all_16.js +77 -77
  65. package/SVF-doxygen/html/search/all_17.js +1 -1
  66. package/SVF-doxygen/html/search/all_18.js +1 -1
  67. package/SVF-doxygen/html/search/all_19.js +26 -26
  68. package/SVF-doxygen/html/search/all_1a.js +179 -180
  69. package/SVF-doxygen/html/search/all_2.js +65 -66
  70. package/SVF-doxygen/html/search/all_3.js +640 -640
  71. package/SVF-doxygen/html/search/all_4.js +235 -235
  72. package/SVF-doxygen/html/search/all_5.js +126 -126
  73. package/SVF-doxygen/html/search/all_6.js +232 -232
  74. package/SVF-doxygen/html/search/all_7.js +1047 -1047
  75. package/SVF-doxygen/html/search/all_8.js +215 -215
  76. package/SVF-doxygen/html/search/all_9.js +629 -630
  77. package/SVF-doxygen/html/search/all_a.js +46 -46
  78. package/SVF-doxygen/html/search/all_b.js +26 -26
  79. package/SVF-doxygen/html/search/all_c.js +115 -115
  80. package/SVF-doxygen/html/search/all_d.js +204 -204
  81. package/SVF-doxygen/html/search/all_e.js +209 -209
  82. package/SVF-doxygen/html/search/all_f.js +122 -122
  83. package/SVF-doxygen/html/search/classes_0.js +28 -29
  84. package/SVF-doxygen/html/search/classes_1.js +11 -12
  85. package/SVF-doxygen/html/search/classes_10.js +74 -74
  86. package/SVF-doxygen/html/search/classes_11.js +14 -14
  87. package/SVF-doxygen/html/search/classes_12.js +2 -2
  88. package/SVF-doxygen/html/search/classes_13.js +10 -10
  89. package/SVF-doxygen/html/search/classes_14.js +19 -19
  90. package/SVF-doxygen/html/search/classes_15.js +1 -1
  91. package/SVF-doxygen/html/search/classes_2.js +73 -73
  92. package/SVF-doxygen/html/search/classes_3.js +35 -35
  93. package/SVF-doxygen/html/search/classes_4.js +8 -8
  94. package/SVF-doxygen/html/search/classes_5.js +28 -28
  95. package/SVF-doxygen/html/search/classes_6.js +98 -98
  96. package/SVF-doxygen/html/search/classes_7.js +38 -38
  97. package/SVF-doxygen/html/search/classes_8.js +59 -59
  98. package/SVF-doxygen/html/search/classes_9.js +1 -1
  99. package/SVF-doxygen/html/search/classes_a.js +12 -12
  100. package/SVF-doxygen/html/search/classes_b.js +29 -29
  101. package/SVF-doxygen/html/search/classes_c.js +6 -6
  102. package/SVF-doxygen/html/search/classes_d.js +19 -19
  103. package/SVF-doxygen/html/search/classes_e.js +36 -36
  104. package/SVF-doxygen/html/search/classes_f.js +25 -25
  105. package/SVF-doxygen/html/search/defines_0.js +3 -3
  106. package/SVF-doxygen/html/search/defines_1.js +3 -3
  107. package/SVF-doxygen/html/search/defines_10.js +2 -2
  108. package/SVF-doxygen/html/search/defines_2.js +30 -30
  109. package/SVF-doxygen/html/search/defines_3.js +20 -20
  110. package/SVF-doxygen/html/search/defines_4.js +3 -3
  111. package/SVF-doxygen/html/search/defines_5.js +4 -4
  112. package/SVF-doxygen/html/search/defines_6.js +2 -2
  113. package/SVF-doxygen/html/search/defines_7.js +5 -5
  114. package/SVF-doxygen/html/search/defines_8.js +11 -11
  115. package/SVF-doxygen/html/search/defines_9.js +9 -9
  116. package/SVF-doxygen/html/search/defines_a.js +2 -2
  117. package/SVF-doxygen/html/search/defines_b.js +1 -1
  118. package/SVF-doxygen/html/search/defines_c.js +4 -4
  119. package/SVF-doxygen/html/search/defines_d.js +2 -2
  120. package/SVF-doxygen/html/search/defines_e.js +8 -8
  121. package/SVF-doxygen/html/search/defines_f.js +4 -4
  122. package/SVF-doxygen/html/search/enums_0.js +4 -4
  123. package/SVF-doxygen/html/search/enums_1.js +2 -2
  124. package/SVF-doxygen/html/search/enums_10.js +1 -1
  125. package/SVF-doxygen/html/search/enums_11.js +1 -1
  126. package/SVF-doxygen/html/search/enums_2.js +8 -8
  127. package/SVF-doxygen/html/search/enums_3.js +1 -1
  128. package/SVF-doxygen/html/search/enums_4.js +4 -4
  129. package/SVF-doxygen/html/search/enums_5.js +1 -1
  130. package/SVF-doxygen/html/search/enums_6.js +2 -2
  131. package/SVF-doxygen/html/search/enums_7.js +2 -2
  132. package/SVF-doxygen/html/search/enums_8.js +4 -4
  133. package/SVF-doxygen/html/search/enums_9.js +1 -1
  134. package/SVF-doxygen/html/search/enums_a.js +1 -1
  135. package/SVF-doxygen/html/search/enums_b.js +7 -7
  136. package/SVF-doxygen/html/search/enums_c.js +1 -1
  137. package/SVF-doxygen/html/search/enums_d.js +4 -4
  138. package/SVF-doxygen/html/search/enums_e.js +2 -2
  139. package/SVF-doxygen/html/search/enums_f.js +4 -4
  140. package/SVF-doxygen/html/search/enumvalues_0.js +15 -15
  141. package/SVF-doxygen/html/search/enumvalues_1.js +15 -15
  142. package/SVF-doxygen/html/search/enumvalues_10.js +35 -35
  143. package/SVF-doxygen/html/search/enumvalues_11.js +4 -4
  144. package/SVF-doxygen/html/search/enumvalues_12.js +10 -10
  145. package/SVF-doxygen/html/search/enumvalues_13.js +1 -1
  146. package/SVF-doxygen/html/search/enumvalues_14.js +1 -1
  147. package/SVF-doxygen/html/search/enumvalues_15.js +3 -3
  148. package/SVF-doxygen/html/search/enumvalues_2.js +36 -36
  149. package/SVF-doxygen/html/search/enumvalues_3.js +13 -13
  150. package/SVF-doxygen/html/search/enumvalues_4.js +2 -2
  151. package/SVF-doxygen/html/search/enumvalues_5.js +47 -47
  152. package/SVF-doxygen/html/search/enumvalues_6.js +6 -6
  153. package/SVF-doxygen/html/search/enumvalues_7.js +8 -8
  154. package/SVF-doxygen/html/search/enumvalues_8.js +23 -23
  155. package/SVF-doxygen/html/search/enumvalues_9.js +6 -6
  156. package/SVF-doxygen/html/search/enumvalues_a.js +17 -17
  157. package/SVF-doxygen/html/search/enumvalues_b.js +11 -11
  158. package/SVF-doxygen/html/search/enumvalues_c.js +5 -5
  159. package/SVF-doxygen/html/search/enumvalues_d.js +18 -18
  160. package/SVF-doxygen/html/search/enumvalues_e.js +9 -9
  161. package/SVF-doxygen/html/search/enumvalues_f.js +47 -47
  162. package/SVF-doxygen/html/search/files_0.js +16 -16
  163. package/SVF-doxygen/html/search/files_1.js +9 -9
  164. package/SVF-doxygen/html/search/files_10.js +8 -8
  165. package/SVF-doxygen/html/search/files_11.js +8 -8
  166. package/SVF-doxygen/html/search/files_12.js +2 -2
  167. package/SVF-doxygen/html/search/files_2.js +53 -53
  168. package/SVF-doxygen/html/search/files_3.js +14 -14
  169. package/SVF-doxygen/html/search/files_4.js +5 -5
  170. package/SVF-doxygen/html/search/files_5.js +13 -13
  171. package/SVF-doxygen/html/search/files_6.js +10 -10
  172. package/SVF-doxygen/html/search/files_7.js +17 -17
  173. package/SVF-doxygen/html/search/files_8.js +13 -13
  174. package/SVF-doxygen/html/search/files_9.js +18 -18
  175. package/SVF-doxygen/html/search/files_a.js +3 -3
  176. package/SVF-doxygen/html/search/files_b.js +4 -4
  177. package/SVF-doxygen/html/search/files_c.js +20 -20
  178. package/SVF-doxygen/html/search/files_d.js +4 -4
  179. package/SVF-doxygen/html/search/files_e.js +62 -62
  180. package/SVF-doxygen/html/search/files_f.js +8 -8
  181. package/SVF-doxygen/html/search/functions_0.js +13 -13
  182. package/SVF-doxygen/html/search/functions_1.js +368 -369
  183. package/SVF-doxygen/html/search/functions_10.js +140 -140
  184. package/SVF-doxygen/html/search/functions_11.js +140 -140
  185. package/SVF-doxygen/html/search/functions_12.js +299 -299
  186. package/SVF-doxygen/html/search/functions_13.js +73 -73
  187. package/SVF-doxygen/html/search/functions_14.js +41 -41
  188. package/SVF-doxygen/html/search/functions_15.js +72 -72
  189. package/SVF-doxygen/html/search/functions_16.js +38 -38
  190. package/SVF-doxygen/html/search/functions_17.js +3 -3
  191. package/SVF-doxygen/html/search/functions_18.js +179 -180
  192. package/SVF-doxygen/html/search/functions_2.js +94 -95
  193. package/SVF-doxygen/html/search/functions_3.js +261 -261
  194. package/SVF-doxygen/html/search/functions_4.js +84 -84
  195. package/SVF-doxygen/html/search/functions_5.js +57 -57
  196. package/SVF-doxygen/html/search/functions_6.js +65 -65
  197. package/SVF-doxygen/html/search/functions_7.js +863 -863
  198. package/SVF-doxygen/html/search/functions_8.js +162 -162
  199. package/SVF-doxygen/html/search/functions_9.js +438 -439
  200. package/SVF-doxygen/html/search/functions_a.js +30 -30
  201. package/SVF-doxygen/html/search/functions_b.js +2 -2
  202. package/SVF-doxygen/html/search/functions_c.js +25 -25
  203. package/SVF-doxygen/html/search/functions_d.js +82 -82
  204. package/SVF-doxygen/html/search/functions_e.js +36 -36
  205. package/SVF-doxygen/html/search/functions_f.js +58 -58
  206. package/SVF-doxygen/html/search/namespaces_0.js +1 -1
  207. package/SVF-doxygen/html/search/namespaces_1.js +7 -7
  208. package/SVF-doxygen/html/search/related_0.js +4 -4
  209. package/SVF-doxygen/html/search/related_1.js +2 -2
  210. package/SVF-doxygen/html/search/related_2.js +2 -2
  211. package/SVF-doxygen/html/search/related_3.js +2 -2
  212. package/SVF-doxygen/html/search/related_4.js +2 -2
  213. package/SVF-doxygen/html/search/related_5.js +1 -1
  214. package/SVF-doxygen/html/search/related_6.js +2 -2
  215. package/SVF-doxygen/html/search/related_7.js +5 -5
  216. package/SVF-doxygen/html/search/related_8.js +2 -2
  217. package/SVF-doxygen/html/search/related_9.js +4 -4
  218. package/SVF-doxygen/html/search/related_a.js +19 -19
  219. package/SVF-doxygen/html/search/related_b.js +4 -4
  220. package/SVF-doxygen/html/search/related_c.js +2 -2
  221. package/SVF-doxygen/html/search/related_d.js +12 -12
  222. package/SVF-doxygen/html/search/related_e.js +2 -2
  223. package/SVF-doxygen/html/search/related_f.js +2 -2
  224. package/SVF-doxygen/html/search/typedefs_0.js +19 -19
  225. package/SVF-doxygen/html/search/typedefs_1.js +27 -27
  226. package/SVF-doxygen/html/search/typedefs_10.js +63 -63
  227. package/SVF-doxygen/html/search/typedefs_11.js +13 -13
  228. package/SVF-doxygen/html/search/typedefs_12.js +11 -11
  229. package/SVF-doxygen/html/search/typedefs_13.js +40 -40
  230. package/SVF-doxygen/html/search/typedefs_14.js +11 -11
  231. package/SVF-doxygen/html/search/typedefs_2.js +125 -125
  232. package/SVF-doxygen/html/search/typedefs_3.js +39 -39
  233. package/SVF-doxygen/html/search/typedefs_4.js +17 -17
  234. package/SVF-doxygen/html/search/typedefs_5.js +42 -42
  235. package/SVF-doxygen/html/search/typedefs_6.js +54 -54
  236. package/SVF-doxygen/html/search/typedefs_7.js +47 -47
  237. package/SVF-doxygen/html/search/typedefs_8.js +1 -1
  238. package/SVF-doxygen/html/search/typedefs_9.js +6 -6
  239. package/SVF-doxygen/html/search/typedefs_a.js +29 -29
  240. package/SVF-doxygen/html/search/typedefs_b.js +29 -29
  241. package/SVF-doxygen/html/search/typedefs_c.js +41 -41
  242. package/SVF-doxygen/html/search/typedefs_d.js +15 -15
  243. package/SVF-doxygen/html/search/typedefs_e.js +52 -52
  244. package/SVF-doxygen/html/search/typedefs_f.js +14 -14
  245. package/SVF-doxygen/html/search/variables_0.js +177 -177
  246. package/SVF-doxygen/html/search/variables_1.js +76 -76
  247. package/SVF-doxygen/html/search/variables_10.js +98 -98
  248. package/SVF-doxygen/html/search/variables_11.js +46 -46
  249. package/SVF-doxygen/html/search/variables_12.js +93 -93
  250. package/SVF-doxygen/html/search/variables_13.js +76 -76
  251. package/SVF-doxygen/html/search/variables_14.js +14 -14
  252. package/SVF-doxygen/html/search/variables_15.js +49 -49
  253. package/SVF-doxygen/html/search/variables_16.js +11 -11
  254. package/SVF-doxygen/html/search/variables_17.js +1 -1
  255. package/SVF-doxygen/html/search/variables_18.js +17 -17
  256. package/SVF-doxygen/html/search/variables_2.js +40 -41
  257. package/SVF-doxygen/html/search/variables_3.js +142 -142
  258. package/SVF-doxygen/html/search/variables_4.js +51 -51
  259. package/SVF-doxygen/html/search/variables_5.js +39 -39
  260. package/SVF-doxygen/html/search/variables_6.js +66 -66
  261. package/SVF-doxygen/html/search/variables_7.js +34 -34
  262. package/SVF-doxygen/html/search/variables_8.js +8 -8
  263. package/SVF-doxygen/html/search/variables_9.js +79 -79
  264. package/SVF-doxygen/html/search/variables_a.js +4 -4
  265. package/SVF-doxygen/html/search/variables_b.js +10 -10
  266. package/SVF-doxygen/html/search/variables_c.js +45 -45
  267. package/SVF-doxygen/html/search/variables_d.js +57 -57
  268. package/SVF-doxygen/html/search/variables_e.js +123 -123
  269. package/SVF-doxygen/html/search/variables_f.js +31 -31
  270. package/package.json +1 -1
  271. package/setup.sh +1 -1
  272. package/svf/include/AE/Svfexe/AbstractExecution.h +55 -102
  273. package/svf/include/AE/Svfexe/BufOverflowChecker.h +12 -33
  274. package/svf/lib/AE/Svfexe/AbstractExecution.cpp +59 -64
  275. package/svf/lib/AE/Svfexe/BufOverflowChecker.cpp +44 -59
  276. package/svf-llvm/tools/AE/ae.cpp +1 -2
package/SVF-doxygen/html/AbstractExecution_8h_source.html CHANGED
@@ -114,392 +114,341 @@ $(function() {
114
114
  <div class="line"><a name="l00043"></a><span class="lineno"> 43</span>&#160; </div>
115
115
  <div class="line"><a name="l00044"></a><span class="lineno"><a class="line" href="classSVF_1_1FILOWorkList.html"> 44</a></span>&#160;<span class="keyword">template</span>&lt;<span class="keyword">typename</span> T&gt; <span class="keyword">class </span><a class="code" href="classSVF_1_1FILOWorkList.html">FILOWorkList</a>;</div>
116
116
  <div class="line"><a name="l00045"></a><span class="lineno"> 45</span>&#160; </div>
117
- <div class="line"><a name="l00046"></a><span class="lineno"> 46</span>&#160; </div>
118
- <div class="line"><a name="l00047"></a><span class="lineno"> 47</span>&#160; </div>
119
- <div class="line"><a name="l00048"></a><span class="lineno"> 48</span>&#160; </div>
120
- <div class="line"><a name="l00049"></a><span class="lineno"> 49</span>&#160; </div>
121
- <div class="line"><a name="l00050"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a41375daa7cc99317d0aa2a21dc643b88"> 50</a></span>&#160;<span class="keyword">enum class</span> <a class="code" href="namespaceSVF.html#a41375daa7cc99317d0aa2a21dc643b88">AEKind</a></div>
122
- <div class="line"><a name="l00051"></a><span class="lineno"> 51</span>&#160;{</div>
123
- <div class="line"><a name="l00052"></a><span class="lineno"> 52</span>&#160; <a class="code" href="namespaceSVF.html#a41375daa7cc99317d0aa2a21dc643b88a53d18d0ea8b11173db3d2f60f838ffe1">AbstractExecution</a>,</div>
124
- <div class="line"><a name="l00053"></a><span class="lineno"> 53</span>&#160; <a class="code" href="namespaceSVF.html#a41375daa7cc99317d0aa2a21dc643b88aa5aa2ddadb5f0392b52dcbe487fe0ecd">BufOverflowChecker</a>,</div>
125
- <div class="line"><a name="l00054"></a><span class="lineno"> 54</span>&#160;};</div>
126
- <div class="line"><a name="l00055"></a><span class="lineno"> 55</span>&#160; </div>
127
- <div class="line"><a name="l00057"></a><span class="lineno"><a class="line" href="classSVF_1_1AEStat.html"> 57</a></span>&#160;<span class="keyword">class </span><a class="code" href="classSVF_1_1AEStat.html">AEStat</a> : <span class="keyword">public</span> <a class="code" href="classSVF_1_1SVFStat.html">SVFStat</a></div>
128
- <div class="line"><a name="l00058"></a><span class="lineno"> 58</span>&#160;{</div>
129
- <div class="line"><a name="l00059"></a><span class="lineno"> 59</span>&#160;<span class="keyword">public</span>:</div>
130
- <div class="line"><a name="l00060"></a><span class="lineno"> 60</span>&#160; <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1AEStat.html#ae2cfe939670689a4ec5030c096a5f546">countStateSize</a>();</div>
131
- <div class="line"><a name="l00061"></a><span class="lineno"><a class="line" href="classSVF_1_1AEStat.html#a1e297f15d582d8c94c128a146ec92e1d"> 61</a></span>&#160; <a class="code" href="classSVF_1_1AEStat.html#a1e297f15d582d8c94c128a146ec92e1d">AEStat</a>(<a class="code" href="classSVF_1_1AbstractExecution.html">AbstractExecution</a> *ae): <a class="code" href="classSVF_1_1AEStat.html#adbce526127c9cc83d642cde2a1e77ff7">_ae</a>(ae)</div>
117
+ <div class="line"><a name="l00046"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a41375daa7cc99317d0aa2a21dc643b88"> 46</a></span>&#160;<span class="keyword">enum class</span> <a class="code" href="namespaceSVF.html#a41375daa7cc99317d0aa2a21dc643b88">AEKind</a></div>
118
+ <div class="line"><a name="l00047"></a><span class="lineno"> 47</span>&#160;{</div>
119
+ <div class="line"><a name="l00048"></a><span class="lineno"> 48</span>&#160; <a class="code" href="namespaceSVF.html#a41375daa7cc99317d0aa2a21dc643b88a53d18d0ea8b11173db3d2f60f838ffe1">AbstractExecution</a>,</div>
120
+ <div class="line"><a name="l00049"></a><span class="lineno"> 49</span>&#160; <a class="code" href="namespaceSVF.html#a41375daa7cc99317d0aa2a21dc643b88aa5aa2ddadb5f0392b52dcbe487fe0ecd">BufOverflowChecker</a>,</div>
121
+ <div class="line"><a name="l00050"></a><span class="lineno"> 50</span>&#160;};</div>
122
+ <div class="line"><a name="l00051"></a><span class="lineno"> 51</span>&#160; </div>
123
+ <div class="line"><a name="l00053"></a><span class="lineno"><a class="line" href="classSVF_1_1AEStat.html"> 53</a></span>&#160;<span class="keyword">class </span><a class="code" href="classSVF_1_1AEStat.html">AEStat</a> : <span class="keyword">public</span> <a class="code" href="classSVF_1_1SVFStat.html">SVFStat</a></div>
124
+ <div class="line"><a name="l00054"></a><span class="lineno"> 54</span>&#160;{</div>
125
+ <div class="line"><a name="l00055"></a><span class="lineno"> 55</span>&#160;<span class="keyword">public</span>:</div>
126
+ <div class="line"><a name="l00056"></a><span class="lineno"> 56</span>&#160; <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1AEStat.html#ae2cfe939670689a4ec5030c096a5f546">countStateSize</a>();</div>
127
+ <div class="line"><a name="l00057"></a><span class="lineno"><a class="line" href="classSVF_1_1AEStat.html#a1e297f15d582d8c94c128a146ec92e1d"> 57</a></span>&#160; <a class="code" href="classSVF_1_1AEStat.html#a1e297f15d582d8c94c128a146ec92e1d">AEStat</a>(<a class="code" href="classSVF_1_1AbstractExecution.html">AbstractExecution</a>* ae) : <a class="code" href="classSVF_1_1AEStat.html#adbce526127c9cc83d642cde2a1e77ff7">_ae</a>(ae)</div>
128
+ <div class="line"><a name="l00058"></a><span class="lineno"> 58</span>&#160; {</div>
129
+ <div class="line"><a name="l00059"></a><span class="lineno"> 59</span>&#160; <a class="code" href="classSVF_1_1SVFStat.html#abd7a79d1fe50110a0c1d448027492669">startTime</a> = <a class="code" href="classSVF_1_1SVFStat.html#ac9d390c417df6f6af6b274618b87010d">getClk</a>(<span class="keyword">true</span>);</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"><a class="line" href="classSVF_1_1AEStat.html#a974988b7df3982938e081883d7349a91"> 61</a></span>&#160; <a class="code" href="classSVF_1_1AEStat.html#a974988b7df3982938e081883d7349a91">~AEStat</a>()</div>
132
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; <a class="code" href="classSVF_1_1SVFStat.html#abd7a79d1fe50110a0c1d448027492669">startTime</a> = <a class="code" href="classSVF_1_1SVFStat.html#ac9d390c417df6f6af6b274618b87010d">getClk</a>(<span class="keyword">true</span>);</div>
134
- <div class="line"><a name="l00064"></a><span class="lineno"> 64</span>&#160; }</div>
135
- <div class="line"><a name="l00065"></a><span class="lineno"><a class="line" href="classSVF_1_1AEStat.html#a974988b7df3982938e081883d7349a91"> 65</a></span>&#160; <a class="code" href="classSVF_1_1AEStat.html#a974988b7df3982938e081883d7349a91">~AEStat</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; }</div>
138
- <div class="line"><a name="l00068"></a><span class="lineno"><a class="line" href="classSVF_1_1AEStat.html#acc2262e59167d040da3b5c726bdbf36e"> 68</a></span>&#160; <span class="keyword">inline</span> <a class="code" href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">std::string</a> <a class="code" href="classSVF_1_1AEStat.html#acc2262e59167d040da3b5c726bdbf36e">getMemUsage</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; <a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> vmrss, vmsize;</div>
141
- <div class="line"><a name="l00071"></a><span class="lineno"> 71</span>&#160; <span class="keywordflow">return</span> <a class="code" href="namespaceSVF_1_1SVFUtil.html#a630ff9c47f58f9b8df7c8a2b3711477c">SVFUtil::getMemoryUsageKB</a>(&amp;vmrss, &amp;vmsize) ? std::to_string(vmsize) + <span class="stringliteral">&quot;KB&quot;</span> : <span class="stringliteral">&quot;cannot read memory usage&quot;</span>;</div>
142
- <div class="line"><a name="l00072"></a><span class="lineno"> 72</span>&#160; }</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"><a class="line" href="classSVF_1_1AEStat.html#acc2262e59167d040da3b5c726bdbf36e"> 64</a></span>&#160; <span class="keyword">inline</span> <a class="code" href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">std::string</a> <a class="code" href="classSVF_1_1AEStat.html#acc2262e59167d040da3b5c726bdbf36e">getMemUsage</a>()</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; <a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> vmrss, vmsize;</div>
137
+ <div class="line"><a name="l00067"></a><span class="lineno"> 67</span>&#160; <span class="keywordflow">return</span> <a class="code" href="namespaceSVF_1_1SVFUtil.html#a630ff9c47f58f9b8df7c8a2b3711477c">SVFUtil::getMemoryUsageKB</a>(&amp;vmrss, &amp;vmsize) ? std::to_string(vmsize) + <span class="stringliteral">&quot;KB&quot;</span> : <span class="stringliteral">&quot;cannot read memory usage&quot;</span>;</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; </div>
140
+ <div class="line"><a name="l00070"></a><span class="lineno"> 70</span>&#160; <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1AEStat.html#a5b246c2175c44454236242dcf426f21f">finializeStat</a>();</div>
141
+ <div class="line"><a name="l00071"></a><span class="lineno"> 71</span>&#160; <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1AEStat.html#a798d07cc0a36ce0d9010ab86d1ec216f">performStat</a>() <span class="keyword">override</span>;</div>
142
+ <div class="line"><a name="l00072"></a><span class="lineno"> 72</span>&#160; <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1AEStat.html#ae24590233a864e18a6b0948bef89201a">reportBug</a>();</div>
143
143
  <div class="line"><a name="l00073"></a><span class="lineno"> 73</span>&#160; </div>
144
- <div class="line"><a name="l00074"></a><span class="lineno"> 74</span>&#160; <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1AEStat.html#a5b246c2175c44454236242dcf426f21f">finializeStat</a>();</div>
145
- <div class="line"><a name="l00075"></a><span class="lineno"> 75</span>&#160; <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1AEStat.html#a798d07cc0a36ce0d9010ab86d1ec216f">performStat</a>() <span class="keyword">override</span>;</div>
146
- <div class="line"><a name="l00076"></a><span class="lineno"> 76</span>&#160; <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1AEStat.html#ae24590233a864e18a6b0948bef89201a">reportBug</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="keyword">public</span>:</div>
149
- <div class="line"><a name="l00079"></a><span class="lineno"><a class="line" href="classSVF_1_1AEStat.html#adbce526127c9cc83d642cde2a1e77ff7"> 79</a></span>&#160; <a class="code" href="classSVF_1_1AbstractExecution.html">AbstractExecution</a> *<a class="code" href="classSVF_1_1AEStat.html#adbce526127c9cc83d642cde2a1e77ff7">_ae</a>;</div>
150
- <div class="line"><a name="l00080"></a><span class="lineno"><a class="line" href="classSVF_1_1AEStat.html#a03a5abacf309902ce2bb9a9733ff195f"> 80</a></span>&#160; <a class="code" href="namespaceSVF.html#a9b707002523ece2ac54ca893ee9a2d4e">s32_t</a> <a class="code" href="classSVF_1_1AEStat.html#a03a5abacf309902ce2bb9a9733ff195f">count</a>{0};</div>
151
- <div class="line"><a name="l00081"></a><span class="lineno"><a class="line" href="classSVF_1_1AEStat.html#a2064225a75798a495100eb7da2c880af"> 81</a></span>&#160; <a class="code" href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">std::string</a> <a class="code" href="classSVF_1_1AEStat.html#a2064225a75798a495100eb7da2c880af">memory_usage</a>;</div>
152
- <div class="line"><a name="l00082"></a><span class="lineno"><a class="line" href="classSVF_1_1AEStat.html#a4b1f6388893e6aaef1acd411972cde19"> 82</a></span>&#160; <a class="code" href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">std::string</a> <a class="code" href="classSVF_1_1AEStat.html#a4b1f6388893e6aaef1acd411972cde19">memUsage</a>;</div>
153
- <div class="line"><a name="l00083"></a><span class="lineno"><a class="line" href="classSVF_1_1AEStat.html#a2387fafd4d8f7775cb4ebf7b41b07bf8"> 83</a></span>&#160; <a class="code" href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">std::string</a> <a class="code" href="classSVF_1_1AEStat.html#a2387fafd4d8f7775cb4ebf7b41b07bf8">bugStr</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; </div>
156
- <div class="line"><a name="l00086"></a><span class="lineno"><a class="line" href="classSVF_1_1AEStat.html#a8c69d36465485cddc17eddfdeea551e0"> 86</a></span>&#160; <a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a>&amp; <a class="code" href="classSVF_1_1AEStat.html#a8c69d36465485cddc17eddfdeea551e0">getFunctionTrace</a>()</div>
157
- <div class="line"><a name="l00087"></a><span class="lineno"> 87</span>&#160; {</div>
158
- <div class="line"><a name="l00088"></a><span class="lineno"> 88</span>&#160; <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1SVFStat.html#a07b6f8cb424b84b468c4518140fa3a41">generalNumMap</a>.count(<span class="stringliteral">&quot;Function_Trace&quot;</span>) == 0)</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; <a class="code" href="classSVF_1_1SVFStat.html#a07b6f8cb424b84b468c4518140fa3a41">generalNumMap</a>[<span class="stringliteral">&quot;Function_Trace&quot;</span>] = 0;</div>
161
- <div class="line"><a name="l00091"></a><span class="lineno"> 91</span>&#160; }</div>
162
- <div class="line"><a name="l00092"></a><span class="lineno"> 92</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFStat.html#a07b6f8cb424b84b468c4518140fa3a41">generalNumMap</a>[<span class="stringliteral">&quot;Function_Trace&quot;</span>];</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"><a class="line" href="classSVF_1_1AEStat.html#a4a08e449307cdcb56e8e32ca346d5349"> 94</a></span>&#160; <a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a>&amp; <a class="code" href="classSVF_1_1AEStat.html#a4a08e449307cdcb56e8e32ca346d5349">getBlockTrace</a>()</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="keywordflow">if</span> (<a class="code" href="classSVF_1_1SVFStat.html#a07b6f8cb424b84b468c4518140fa3a41">generalNumMap</a>.count(<span class="stringliteral">&quot;Block_Trace&quot;</span>) == 0)</div>
167
- <div class="line"><a name="l00097"></a><span class="lineno"> 97</span>&#160; {</div>
168
- <div class="line"><a name="l00098"></a><span class="lineno"> 98</span>&#160; <a class="code" href="classSVF_1_1SVFStat.html#a07b6f8cb424b84b468c4518140fa3a41">generalNumMap</a>[<span class="stringliteral">&quot;Block_Trace&quot;</span>] = 0;</div>
169
- <div class="line"><a name="l00099"></a><span class="lineno"> 99</span>&#160; }</div>
170
- <div class="line"><a name="l00100"></a><span class="lineno"> 100</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFStat.html#a07b6f8cb424b84b468c4518140fa3a41">generalNumMap</a>[<span class="stringliteral">&quot;Block_Trace&quot;</span>];</div>
171
- <div class="line"><a name="l00101"></a><span class="lineno"> 101</span>&#160; }</div>
172
- <div class="line"><a name="l00102"></a><span class="lineno"><a class="line" href="classSVF_1_1AEStat.html#afaa47798ebfde513c709b46cac05294c"> 102</a></span>&#160; <a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a>&amp; <a class="code" href="classSVF_1_1AEStat.html#afaa47798ebfde513c709b46cac05294c">getICFGNodeTrace</a>()</div>
173
- <div class="line"><a name="l00103"></a><span class="lineno"> 103</span>&#160; {</div>
174
- <div class="line"><a name="l00104"></a><span class="lineno"> 104</span>&#160; <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1SVFStat.html#a07b6f8cb424b84b468c4518140fa3a41">generalNumMap</a>.count(<span class="stringliteral">&quot;ICFG_Node_Trace&quot;</span>) == 0)</div>
175
- <div class="line"><a name="l00105"></a><span class="lineno"> 105</span>&#160; {</div>
176
- <div class="line"><a name="l00106"></a><span class="lineno"> 106</span>&#160; <a class="code" href="classSVF_1_1SVFStat.html#a07b6f8cb424b84b468c4518140fa3a41">generalNumMap</a>[<span class="stringliteral">&quot;ICFG_Node_Trace&quot;</span>] = 0;</div>
177
- <div class="line"><a name="l00107"></a><span class="lineno"> 107</span>&#160; }</div>
178
- <div class="line"><a name="l00108"></a><span class="lineno"> 108</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFStat.html#a07b6f8cb424b84b468c4518140fa3a41">generalNumMap</a>[<span class="stringliteral">&quot;ICFG_Node_Trace&quot;</span>];</div>
179
- <div class="line"><a name="l00109"></a><span class="lineno"> 109</span>&#160; }</div>
180
- <div class="line"><a name="l00110"></a><span class="lineno"> 110</span>&#160; </div>
181
- <div class="line"><a name="l00111"></a><span class="lineno"> 111</span>&#160;};</div>
144
+ <div class="line"><a name="l00074"></a><span class="lineno"> 74</span>&#160;<span class="keyword">public</span>:</div>
145
+ <div class="line"><a name="l00075"></a><span class="lineno"><a class="line" href="classSVF_1_1AEStat.html#adbce526127c9cc83d642cde2a1e77ff7"> 75</a></span>&#160; <a class="code" href="classSVF_1_1AbstractExecution.html">AbstractExecution</a>* <a class="code" href="classSVF_1_1AEStat.html#adbce526127c9cc83d642cde2a1e77ff7">_ae</a>;</div>
146
+ <div class="line"><a name="l00076"></a><span class="lineno"><a class="line" href="classSVF_1_1AEStat.html#a03a5abacf309902ce2bb9a9733ff195f"> 76</a></span>&#160; <a class="code" href="namespaceSVF.html#a9b707002523ece2ac54ca893ee9a2d4e">s32_t</a> <a class="code" href="classSVF_1_1AEStat.html#a03a5abacf309902ce2bb9a9733ff195f">count</a>{0};</div>
147
+ <div class="line"><a name="l00077"></a><span class="lineno"><a class="line" href="classSVF_1_1AEStat.html#a2064225a75798a495100eb7da2c880af"> 77</a></span>&#160; <a class="code" href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">std::string</a> <a class="code" href="classSVF_1_1AEStat.html#a2064225a75798a495100eb7da2c880af">memory_usage</a>;</div>
148
+ <div class="line"><a name="l00078"></a><span class="lineno"><a class="line" href="classSVF_1_1AEStat.html#a4b1f6388893e6aaef1acd411972cde19"> 78</a></span>&#160; <a class="code" href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">std::string</a> <a class="code" href="classSVF_1_1AEStat.html#a4b1f6388893e6aaef1acd411972cde19">memUsage</a>;</div>
149
+ <div class="line"><a name="l00079"></a><span class="lineno"><a class="line" href="classSVF_1_1AEStat.html#a2387fafd4d8f7775cb4ebf7b41b07bf8"> 79</a></span>&#160; <a class="code" href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">std::string</a> <a class="code" href="classSVF_1_1AEStat.html#a2387fafd4d8f7775cb4ebf7b41b07bf8">bugStr</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; </div>
152
+ <div class="line"><a name="l00082"></a><span class="lineno"><a class="line" href="classSVF_1_1AEStat.html#a8c69d36465485cddc17eddfdeea551e0"> 82</a></span>&#160; <a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a>&amp; <a class="code" href="classSVF_1_1AEStat.html#a8c69d36465485cddc17eddfdeea551e0">getFunctionTrace</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="keywordflow">if</span> (<a class="code" href="classSVF_1_1SVFStat.html#a07b6f8cb424b84b468c4518140fa3a41">generalNumMap</a>.count(<span class="stringliteral">&quot;Function_Trace&quot;</span>) == 0)</div>
155
+ <div class="line"><a name="l00085"></a><span class="lineno"> 85</span>&#160; {</div>
156
+ <div class="line"><a name="l00086"></a><span class="lineno"> 86</span>&#160; <a class="code" href="classSVF_1_1SVFStat.html#a07b6f8cb424b84b468c4518140fa3a41">generalNumMap</a>[<span class="stringliteral">&quot;Function_Trace&quot;</span>] = 0;</div>
157
+ <div class="line"><a name="l00087"></a><span class="lineno"> 87</span>&#160; }</div>
158
+ <div class="line"><a name="l00088"></a><span class="lineno"> 88</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFStat.html#a07b6f8cb424b84b468c4518140fa3a41">generalNumMap</a>[<span class="stringliteral">&quot;Function_Trace&quot;</span>];</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"><a class="line" href="classSVF_1_1AEStat.html#a4a08e449307cdcb56e8e32ca346d5349"> 90</a></span>&#160; <a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a>&amp; <a class="code" href="classSVF_1_1AEStat.html#a4a08e449307cdcb56e8e32ca346d5349">getBlockTrace</a>()</div>
161
+ <div class="line"><a name="l00091"></a><span class="lineno"> 91</span>&#160; {</div>
162
+ <div class="line"><a name="l00092"></a><span class="lineno"> 92</span>&#160; <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1SVFStat.html#a07b6f8cb424b84b468c4518140fa3a41">generalNumMap</a>.count(<span class="stringliteral">&quot;Block_Trace&quot;</span>) == 0)</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; <a class="code" href="classSVF_1_1SVFStat.html#a07b6f8cb424b84b468c4518140fa3a41">generalNumMap</a>[<span class="stringliteral">&quot;Block_Trace&quot;</span>] = 0;</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="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFStat.html#a07b6f8cb424b84b468c4518140fa3a41">generalNumMap</a>[<span class="stringliteral">&quot;Block_Trace&quot;</span>];</div>
167
+ <div class="line"><a name="l00097"></a><span class="lineno"> 97</span>&#160; }</div>
168
+ <div class="line"><a name="l00098"></a><span class="lineno"><a class="line" href="classSVF_1_1AEStat.html#afaa47798ebfde513c709b46cac05294c"> 98</a></span>&#160; <a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a>&amp; <a class="code" href="classSVF_1_1AEStat.html#afaa47798ebfde513c709b46cac05294c">getICFGNodeTrace</a>()</div>
169
+ <div class="line"><a name="l00099"></a><span class="lineno"> 99</span>&#160; {</div>
170
+ <div class="line"><a name="l00100"></a><span class="lineno"> 100</span>&#160; <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1SVFStat.html#a07b6f8cb424b84b468c4518140fa3a41">generalNumMap</a>.count(<span class="stringliteral">&quot;ICFG_Node_Trace&quot;</span>) == 0)</div>
171
+ <div class="line"><a name="l00101"></a><span class="lineno"> 101</span>&#160; {</div>
172
+ <div class="line"><a name="l00102"></a><span class="lineno"> 102</span>&#160; <a class="code" href="classSVF_1_1SVFStat.html#a07b6f8cb424b84b468c4518140fa3a41">generalNumMap</a>[<span class="stringliteral">&quot;ICFG_Node_Trace&quot;</span>] = 0;</div>
173
+ <div class="line"><a name="l00103"></a><span class="lineno"> 103</span>&#160; }</div>
174
+ <div class="line"><a name="l00104"></a><span class="lineno"> 104</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFStat.html#a07b6f8cb424b84b468c4518140fa3a41">generalNumMap</a>[<span class="stringliteral">&quot;ICFG_Node_Trace&quot;</span>];</div>
175
+ <div class="line"><a name="l00105"></a><span class="lineno"> 105</span>&#160; }</div>
176
+ <div class="line"><a name="l00106"></a><span class="lineno"> 106</span>&#160;};</div>
177
+ <div class="line"><a name="l00107"></a><span class="lineno"> 107</span>&#160; </div>
178
+ <div class="line"><a name="l00108"></a><span class="lineno"><a class="line" href="classSVF_1_1AbstractExecution.html"> 108</a></span>&#160;<span class="keyword">class </span><a class="code" href="classSVF_1_1AbstractExecution.html">AbstractExecution</a></div>
179
+ <div class="line"><a name="l00109"></a><span class="lineno"> 109</span>&#160;{</div>
180
+ <div class="line"><a name="l00110"></a><span class="lineno"><a class="line" href="classSVF_1_1AbstractExecution.html#adc6fd1004f4277cb4d6c8bb0dacf3208"> 110</a></span>&#160; <span class="keyword">friend</span> <span class="keyword">class </span><a class="code" href="classSVF_1_1AEStat.html">AEStat</a>;</div>
181
+ <div class="line"><a name="l00111"></a><span class="lineno"><a class="line" href="classSVF_1_1AbstractExecution.html#ac0bcb586dffbfadeb33f501cafbaa1c9"> 111</a></span>&#160; <span class="keyword">friend</span> <span class="keyword">class </span><a class="code" href="classSVF_1_1AbstractExecution.html#ac0bcb586dffbfadeb33f501cafbaa1c9">AEAPI</a>;</div>
182
182
  <div class="line"><a name="l00112"></a><span class="lineno"> 112</span>&#160; </div>
183
- <div class="line"><a name="l00113"></a><span class="lineno"><a class="line" href="classSVF_1_1AbstractExecution.html"> 113</a></span>&#160;<span class="keyword">class </span><a class="code" href="classSVF_1_1AbstractExecution.html">AbstractExecution</a></div>
184
- <div class="line"><a name="l00114"></a><span class="lineno"> 114</span>&#160;{</div>
185
- <div class="line"><a name="l00115"></a><span class="lineno"><a class="line" href="classSVF_1_1AbstractExecution.html#adc6fd1004f4277cb4d6c8bb0dacf3208"> 115</a></span>&#160; <span class="keyword">friend</span> <span class="keyword">class </span><a class="code" href="classSVF_1_1AEStat.html">AEStat</a>;</div>
186
- <div class="line"><a name="l00116"></a><span class="lineno"><a class="line" href="classSVF_1_1AbstractExecution.html#ac0bcb586dffbfadeb33f501cafbaa1c9"> 116</a></span>&#160; <span class="keyword">friend</span> <span class="keyword">class </span><a class="code" href="classSVF_1_1AEAPI.html">AEAPI</a>;</div>
187
- <div class="line"><a name="l00117"></a><span class="lineno"> 117</span>&#160; </div>
188
- <div class="line"><a name="l00118"></a><span class="lineno"> 118</span>&#160;<span class="keyword">public</span>:</div>
189
- <div class="line"><a name="l00119"></a><span class="lineno"><a class="line" href="classSVF_1_1AbstractExecution.html#a8ad0f3d5a0c9de60eff91fcc0dd44aae"> 119</a></span>&#160; <span class="keyword">typedef</span> <a class="code" href="classSVF_1_1SCCDetection.html">SCCDetection&lt;PTACallGraph *&gt;</a> <a class="code" href="classSVF_1_1AbstractExecution.html#a8ad0f3d5a0c9de60eff91fcc0dd44aae">CallGraphSCC</a>;</div>
190
- <div class="line"><a name="l00121"></a><span class="lineno"> 121</span>&#160; <a class="code" href="classSVF_1_1AbstractExecution.html#a84d8fedb7e9d23e92ffcb74b4cfbf78c">AbstractExecution</a>();</div>
191
- <div class="line"><a name="l00122"></a><span class="lineno"> 122</span>&#160; </div>
192
- <div class="line"><a name="l00123"></a><span class="lineno"> 123</span>&#160; <span class="keyword">virtual</span> <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1AbstractExecution.html#a4bf7be47ddc0ba53ec4a5e87f300763f">initExtAPI</a>();</div>
193
- <div class="line"><a name="l00124"></a><span class="lineno"> 124</span>&#160; </div>
194
- <div class="line"><a name="l00125"></a><span class="lineno"> 125</span>&#160; <span class="keyword">virtual</span> <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1AbstractExecution.html#ac848658bb3069193b1c7b08199b3d4c7">runOnModule</a>(<a class="code" href="classSVF_1_1ICFG.html">ICFG</a>* icfg);</div>
183
+ <div class="line"><a name="l00113"></a><span class="lineno"> 113</span>&#160;<span class="keyword">public</span>:</div>
184
+ <div class="line"><a name="l00114"></a><span class="lineno"><a class="line" href="classSVF_1_1AbstractExecution.html#a442fb8eda087f72aa61816213dea43afa12d7009fd0108df805ee49182fe12ccc"> 114</a></span>&#160; <span class="keyword">enum</span> <a class="code" href="classSVF_1_1AbstractExecution.html#a442fb8eda087f72aa61816213dea43af">ExtAPIType</a> { <a class="code" href="classSVF_1_1AbstractExecution.html#a442fb8eda087f72aa61816213dea43afa12d7009fd0108df805ee49182fe12ccc">UNCLASSIFIED</a>, <a class="code" href="classSVF_1_1AbstractExecution.html#a442fb8eda087f72aa61816213dea43afa622ab5082468499be675c2783aaf3dcf">MEMCPY</a>, <a class="code" href="classSVF_1_1AbstractExecution.html#a442fb8eda087f72aa61816213dea43afa45836a81adf553b872a061e5fe4c5be8">MEMSET</a>, <a class="code" href="classSVF_1_1AbstractExecution.html#a442fb8eda087f72aa61816213dea43afac9539311eec734c966b719990e869b12">STRCPY</a>, <a class="code" href="classSVF_1_1AbstractExecution.html#a442fb8eda087f72aa61816213dea43afadcda19decab7b2d85523b1fdbceb23e6">STRCAT</a> };</div>
185
+ <div class="line"><a name="l00115"></a><span class="lineno"><a class="line" href="classSVF_1_1AbstractExecution.html#a39c711b4657459d03ec67ae536bdec4d"> 115</a></span>&#160; <span class="keyword">typedef</span> <a class="code" href="classSVF_1_1SCCDetection.html">SCCDetection&lt;PTACallGraph*&gt;</a> <a class="code" href="classSVF_1_1AbstractExecution.html#a39c711b4657459d03ec67ae536bdec4d">CallGraphSCC</a>;</div>
186
+ <div class="line"><a name="l00117"></a><span class="lineno"> 117</span>&#160; <a class="code" href="classSVF_1_1AbstractExecution.html#a84d8fedb7e9d23e92ffcb74b4cfbf78c">AbstractExecution</a>();</div>
187
+ <div class="line"><a name="l00118"></a><span class="lineno"> 118</span>&#160; </div>
188
+ <div class="line"><a name="l00119"></a><span class="lineno"> 119</span>&#160; <span class="keyword">virtual</span> <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1AbstractExecution.html#ac848658bb3069193b1c7b08199b3d4c7">runOnModule</a>(<a class="code" href="classSVF_1_1ICFG.html">ICFG</a>* icfg);</div>
189
+ <div class="line"><a name="l00120"></a><span class="lineno"> 120</span>&#160; </div>
190
+ <div class="line"><a name="l00122"></a><span class="lineno"> 122</span>&#160; <span class="keyword">virtual</span> <a class="code" href="classSVF_1_1AbstractExecution.html#a6771ac262e5fdbac0006b293cde47398">~AbstractExecution</a>();</div>
191
+ <div class="line"><a name="l00123"></a><span class="lineno"> 123</span>&#160; </div>
192
+ <div class="line"><a name="l00125"></a><span class="lineno"> 125</span>&#160; <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1AbstractExecution.html#a46364bb8814f7bf6ddd492aa7dc58ffb">analyse</a>();</div>
195
193
  <div class="line"><a name="l00126"></a><span class="lineno"> 126</span>&#160; </div>
196
- <div class="line"><a name="l00128"></a><span class="lineno"> 128</span>&#160; <span class="keyword">virtual</span> <a class="code" href="classSVF_1_1AbstractExecution.html#a6771ac262e5fdbac0006b293cde47398">~AbstractExecution</a>();</div>
197
- <div class="line"><a name="l00129"></a><span class="lineno"> 129</span>&#160; </div>
198
- <div class="line"><a name="l00131"></a><span class="lineno"> 131</span>&#160; <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1AbstractExecution.html#a46364bb8814f7bf6ddd492aa7dc58ffb">analyse</a>();</div>
199
- <div class="line"><a name="l00132"></a><span class="lineno"> 132</span>&#160; </div>
200
- <div class="line"><a name="l00133"></a><span class="lineno"><a class="line" href="classSVF_1_1AbstractExecution.html#a9c23029833558b082c613fa5e0f14c0d"> 133</a></span>&#160; <span class="keyword">static</span> <span class="keywordtype">bool</span> <a class="code" href="classSVF_1_1AbstractExecution.html#a9c23029833558b082c613fa5e0f14c0d">classof</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1AbstractExecution.html">AbstractExecution</a>* ae)</div>
201
- <div class="line"><a name="l00134"></a><span class="lineno"> 134</span>&#160; {</div>
202
- <div class="line"><a name="l00135"></a><span class="lineno"> 135</span>&#160; <span class="keywordflow">return</span> ae-&gt;<a class="code" href="classSVF_1_1AbstractExecution.html#a6c381287424a3623cfdae5a75d2a9c9b">getKind</a>() == <a class="code" href="namespaceSVF.html#a41375daa7cc99317d0aa2a21dc643b88a53d18d0ea8b11173db3d2f60f838ffe1">AEKind::AbstractExecution</a>;</div>
203
- <div class="line"><a name="l00136"></a><span class="lineno"> 136</span>&#160; }</div>
204
- <div class="line"><a name="l00137"></a><span class="lineno"> 137</span>&#160; </div>
205
- <div class="line"><a name="l00138"></a><span class="lineno"><a class="line" href="classSVF_1_1AbstractExecution.html#a6c381287424a3623cfdae5a75d2a9c9b"> 138</a></span>&#160; <a class="code" href="namespaceSVF.html#a41375daa7cc99317d0aa2a21dc643b88">AEKind</a> <a class="code" href="classSVF_1_1AbstractExecution.html#a6c381287424a3623cfdae5a75d2a9c9b">getKind</a>()<span class="keyword"> const</span></div>
206
- <div class="line"><a name="l00139"></a><span class="lineno"> 139</span>&#160;<span class="keyword"> </span>{</div>
207
- <div class="line"><a name="l00140"></a><span class="lineno"> 140</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1AbstractExecution.html#ad36d48c0ef82de915d9339c4f47cbd70">_kind</a>;</div>
208
- <div class="line"><a name="l00141"></a><span class="lineno"> 141</span>&#160; }</div>
209
- <div class="line"><a name="l00142"></a><span class="lineno"> 142</span>&#160; </div>
210
- <div class="line"><a name="l00143"></a><span class="lineno"> 143</span>&#160;<span class="keyword">protected</span>:</div>
211
- <div class="line"><a name="l00145"></a><span class="lineno"> 145</span>&#160; <span class="keyword">virtual</span> <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1AbstractExecution.html#a7efff2047b2b6017fdd210a8679817cd">handleGlobalNode</a>();</div>
212
- <div class="line"><a name="l00146"></a><span class="lineno"> 146</span>&#160; </div>
213
- <div class="line"><a name="l00148"></a><span class="lineno"> 148</span>&#160; <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1AbstractExecution.html#ae641b5687513661a2542e8318430d760">markRecursiveFuns</a>();</div>
214
- <div class="line"><a name="l00149"></a><span class="lineno"> 149</span>&#160; </div>
215
- <div class="line"><a name="l00156"></a><span class="lineno"> 156</span>&#160; <span class="keywordtype">bool</span> <a class="code" href="classSVF_1_1AbstractExecution.html#a6f02cd1885c0879cb88149c91998291f">hasInEdgesES</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1ICFGNode.html">ICFGNode</a> *node);</div>
216
- <div class="line"><a name="l00157"></a><span class="lineno"> 157</span>&#160; </div>
217
- <div class="line"><a name="l00164"></a><span class="lineno"> 164</span>&#160; <span class="keywordtype">bool</span> <a class="code" href="classSVF_1_1AbstractExecution.html#a28df4f2bd5b337468f254cd609adb25f">hasBranchES</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1IntraCFGEdge.html">IntraCFGEdge</a>* intraEdge, <a class="code" href="classSVF_1_1IntervalExeState.html">IntervalExeState</a>&amp; es);</div>
218
- <div class="line"><a name="l00165"></a><span class="lineno"> 165</span>&#160; </div>
219
- <div class="line"><a name="l00171"></a><span class="lineno"> 171</span>&#160; <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1AbstractExecution.html#a6c06e39df9b60a25480b4f485d1c2cbb">handleWTONode</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1ICFGNode.html">ICFGNode</a>* node);</div>
220
- <div class="line"><a name="l00172"></a><span class="lineno"> 172</span>&#160; </div>
221
- <div class="line"><a name="l00178"></a><span class="lineno"> 178</span>&#160; <span class="keyword">virtual</span> <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1AbstractExecution.html#a714fa1f4794008f630de415414cf8bfd">handleICFGNode</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1ICFGNode.html">ICFGNode</a> *node);</div>
222
- <div class="line"><a name="l00179"></a><span class="lineno"> 179</span>&#160; </div>
223
- <div class="line"><a name="l00185"></a><span class="lineno"> 185</span>&#160; <span class="keyword">virtual</span> <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1AbstractExecution.html#a6cbc336372afb947c783fb14c45426df">handleCallSite</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1ICFGNode.html">ICFGNode</a>* node);</div>
224
- <div class="line"><a name="l00186"></a><span class="lineno"> 186</span>&#160; </div>
225
- <div class="line"><a name="l00192"></a><span class="lineno"> 192</span>&#160; <span class="keyword">virtual</span> <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1AbstractExecution.html#a609f7f047d88f8a2f44cd783668dc179">handleCycle</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1WTOCycle.html">ICFGWTOCycle</a> *cycle);</div>
226
- <div class="line"><a name="l00193"></a><span class="lineno"> 193</span>&#160; </div>
227
- <div class="line"><a name="l00199"></a><span class="lineno"> 199</span>&#160; <span class="keyword">virtual</span> <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1AbstractExecution.html#adb88a8be0bc1c1ac2d1546e9191c6f93">handleFunc</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFFunction.html">SVFFunction</a> *func);</div>
228
- <div class="line"><a name="l00200"></a><span class="lineno"> 200</span>&#160; </div>
229
- <div class="line"><a name="l00206"></a><span class="lineno"> 206</span>&#160; <span class="keyword">virtual</span> <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1AbstractExecution.html#a1d725fe50a7084bfa18bd47b941af885">handleSVFStatement</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFStmt.html">SVFStmt</a> *stmt);</div>
230
- <div class="line"><a name="l00207"></a><span class="lineno"> 207</span>&#160; </div>
231
- <div class="line"><a name="l00213"></a><span class="lineno"> 213</span>&#160; <span class="keyword">virtual</span> <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1AbstractExecution.html#a97c5745ddcd0ce72e65dee09ff7afb42">SkipRecursiveCall</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1CallICFGNode.html">CallICFGNode</a> *callnode);</div>
232
- <div class="line"><a name="l00214"></a><span class="lineno"> 214</span>&#160; </div>
233
- <div class="line"><a name="l00220"></a><span class="lineno"> 220</span>&#160; <span class="keyword">virtual</span> <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1AbstractExecution.html#a7e1c3edfa546182ad394116b37b834f9">SkipRecursiveFunc</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFFunction.html">SVFFunction</a> *func);</div>
234
- <div class="line"><a name="l00221"></a><span class="lineno"> 221</span>&#160; </div>
235
- <div class="line"><a name="l00229"></a><span class="lineno"> 229</span>&#160; <span class="keywordtype">bool</span> <a class="code" href="classSVF_1_1AbstractExecution.html#ac7a25ad5cbc1a6132869ae54b805f73a">hasCmpBranchES</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1CmpStmt.html">CmpStmt</a>* cmpStmt, <a class="code" href="namespaceSVF.html#ad781b0b14e89773e774072b280658ef3">s64_t</a> succ, <a class="code" href="classSVF_1_1IntervalExeState.html">IntervalExeState</a>&amp; es);</div>
236
- <div class="line"><a name="l00230"></a><span class="lineno"> 230</span>&#160; </div>
237
- <div class="line"><a name="l00238"></a><span class="lineno"> 238</span>&#160; <span class="keywordtype">bool</span> <a class="code" href="classSVF_1_1AbstractExecution.html#adc740771e712644d08f95fc6c488c1af">hasSwitchBranchES</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFVar.html">SVFVar</a>* var, <a class="code" href="namespaceSVF.html#ad781b0b14e89773e774072b280658ef3">s64_t</a> succ, <a class="code" href="classSVF_1_1IntervalExeState.html">IntervalExeState</a>&amp; es);</div>
238
- <div class="line"><a name="l00239"></a><span class="lineno"> 239</span>&#160; </div>
239
- <div class="line"><a name="l00241"></a><span class="lineno"><a class="line" href="classSVF_1_1AbstractExecution.html#a49742e8c3a8fe598a0945a8d8ff394d0"> 241</a></span>&#160; <a class="code" href="classSVF_1_1SVFIR.html">SVFIR</a>* <a class="code" href="classSVF_1_1AbstractExecution.html#a49742e8c3a8fe598a0945a8d8ff394d0">_svfir</a>;</div>
240
- <div class="line"><a name="l00242"></a><span class="lineno"><a class="line" href="classSVF_1_1AbstractExecution.html#a39439604f7d397f620a7639884ea5b50"> 242</a></span>&#160; <a class="code" href="classSVF_1_1PTACallGraph.html">PTACallGraph</a>* <a class="code" href="classSVF_1_1AbstractExecution.html#a39439604f7d397f620a7639884ea5b50">_callgraph</a>;</div>
241
- <div class="line"><a name="l00244"></a><span class="lineno"><a class="line" href="classSVF_1_1AbstractExecution.html#a5e24bceb3d6961117651dbc65e9a097a"> 244</a></span>&#160; <a class="code" href="classSVF_1_1SVFIR2ItvExeState.html">SVFIR2ItvExeState</a>* <a class="code" href="classSVF_1_1AbstractExecution.html#a5e24bceb3d6961117651dbc65e9a097a">_svfir2ExeState</a>;</div>
242
- <div class="line"><a name="l00245"></a><span class="lineno"><a class="line" href="classSVF_1_1AbstractExecution.html#a26f8c21bd96ae22ca2e72af6fbfa410c"> 245</a></span>&#160; <a class="code" href="classSVF_1_1AEAPI.html">AEAPI</a>* <a class="code" href="classSVF_1_1AbstractExecution.html#a26f8c21bd96ae22ca2e72af6fbfa410c">_api</a>{<span class="keyword">nullptr</span>};</div>
243
- <div class="line"><a name="l00246"></a><span class="lineno"> 246</span>&#160; </div>
244
- <div class="line"><a name="l00247"></a><span class="lineno"><a class="line" href="classSVF_1_1AbstractExecution.html#ab5021d59a929f4eaf5e59d911036d201"> 247</a></span>&#160; <a class="code" href="classSVF_1_1ICFG.html">ICFG</a>* <a class="code" href="classSVF_1_1AbstractExecution.html#ab5021d59a929f4eaf5e59d911036d201">_icfg</a>;</div>
245
- <div class="line"><a name="l00248"></a><span class="lineno"><a class="line" href="classSVF_1_1AbstractExecution.html#a74a55a4d4941c85bdfed81f060049bf0"> 248</a></span>&#160; <a class="code" href="classSVF_1_1AEStat.html">AEStat</a>* <a class="code" href="classSVF_1_1AbstractExecution.html#a74a55a4d4941c85bdfed81f060049bf0">_stat</a>;</div>
246
- <div class="line"><a name="l00249"></a><span class="lineno"><a class="line" href="classSVF_1_1AbstractExecution.html#ad36d48c0ef82de915d9339c4f47cbd70"> 249</a></span>&#160; <a class="code" href="namespaceSVF.html#a41375daa7cc99317d0aa2a21dc643b88">AEKind</a> <a class="code" href="classSVF_1_1AbstractExecution.html#ad36d48c0ef82de915d9339c4f47cbd70">_kind</a>;</div>
247
- <div class="line"><a name="l00250"></a><span class="lineno"> 250</span>&#160; </div>
248
- <div class="line"><a name="l00251"></a><span class="lineno"><a class="line" href="classSVF_1_1AbstractExecution.html#a790c178f8c29eecfc256a5dfd97d1637"> 251</a></span>&#160; <a class="code" href="namespaceSVF.html#af739db846e47ba6b2fd15eaad31ab7fb">Set&lt;std::string&gt;</a> <a class="code" href="classSVF_1_1AbstractExecution.html#a790c178f8c29eecfc256a5dfd97d1637">_bugLoc</a>;</div>
249
- <div class="line"><a name="l00252"></a><span class="lineno"><a class="line" href="classSVF_1_1AbstractExecution.html#a5ed683d635bd05f0bee10436d20deb31"> 252</a></span>&#160; <a class="code" href="classSVF_1_1SVFBugReport.html">SVFBugReport</a> <a class="code" href="classSVF_1_1AbstractExecution.html#a5ed683d635bd05f0bee10436d20deb31">_recoder</a>;</div>
250
- <div class="line"><a name="l00253"></a><span class="lineno"><a class="line" href="classSVF_1_1AbstractExecution.html#ab9d6ebcf67ec473ce7ad5910c74eddc1"> 253</a></span>&#160; std::vector&lt;const CallICFGNode*&gt; <a class="code" href="classSVF_1_1AbstractExecution.html#ab9d6ebcf67ec473ce7ad5910c74eddc1">_callSiteStack</a>;</div>
251
- <div class="line"><a name="l00254"></a><span class="lineno"><a class="line" href="classSVF_1_1AbstractExecution.html#a55737f5c82afce29a816eb21070a2bc1"> 254</a></span>&#160; <a class="code" href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">Map&lt;const ICFGNode *, std::string&gt;</a> <a class="code" href="classSVF_1_1AbstractExecution.html#a55737f5c82afce29a816eb21070a2bc1">_nodeToBugInfo</a>;</div>
252
- <div class="line"><a name="l00255"></a><span class="lineno"><a class="line" href="classSVF_1_1AbstractExecution.html#a53f3b9c51ed8648f14ecb703e9fe67ae"> 255</a></span>&#160; <a class="code" href="classSVF_1_1AndersenWaveDiff.html">AndersenWaveDiff</a> *<a class="code" href="classSVF_1_1AbstractExecution.html#a53f3b9c51ed8648f14ecb703e9fe67ae">_ander</a>;</div>
253
- <div class="line"><a name="l00256"></a><span class="lineno"><a class="line" href="classSVF_1_1AbstractExecution.html#abe2d42c3c107d54aa89ee8e6ea718dfc"> 256</a></span>&#160; <a class="code" href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">Map&lt;const SVFFunction*, ICFGWTO *&gt;</a> <a class="code" href="classSVF_1_1AbstractExecution.html#abe2d42c3c107d54aa89ee8e6ea718dfc">_funcToWTO</a>;</div>
254
- <div class="line"><a name="l00257"></a><span class="lineno"><a class="line" href="classSVF_1_1AbstractExecution.html#ac7b2e6bdccab5a507c9e8db8ea4682d3"> 257</a></span>&#160; <a class="code" href="namespaceSVF.html#af739db846e47ba6b2fd15eaad31ab7fb">Set&lt;const SVFFunction*&gt;</a> <a class="code" href="classSVF_1_1AbstractExecution.html#ac7b2e6bdccab5a507c9e8db8ea4682d3">_recursiveFuns</a>;</div>
255
- <div class="line"><a name="l00258"></a><span class="lineno"> 258</span>&#160; </div>
256
- <div class="line"><a name="l00259"></a><span class="lineno"> 259</span>&#160;<span class="keyword">private</span>:</div>
257
- <div class="line"><a name="l00260"></a><span class="lineno"> 260</span>&#160; <span class="comment">// helper functions in handleCallSite</span></div>
258
- <div class="line"><a name="l00261"></a><span class="lineno"> 261</span>&#160; <span class="keyword">virtual</span> <span class="keywordtype">bool</span> <a class="code" href="classSVF_1_1AbstractExecution.html#a319fe24ebb925f70fde574d5b17c3b98">isExtCall</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1CallICFGNode.html">CallICFGNode</a>* callNode);</div>
259
- <div class="line"><a name="l00262"></a><span class="lineno"> 262</span>&#160; <span class="keyword">virtual</span> <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1AbstractExecution.html#acf4a6c3fe5a2239512acb791b9aba854">extCallPass</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1CallICFGNode.html">CallICFGNode</a>* callNode);</div>
260
- <div class="line"><a name="l00263"></a><span class="lineno"> 263</span>&#160; <span class="keyword">virtual</span> <span class="keywordtype">bool</span> <a class="code" href="classSVF_1_1AbstractExecution.html#a6b92cdb6c5d3ae425955864536f2cba7">isRecursiveCall</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1CallICFGNode.html">CallICFGNode</a>* callNode);</div>
261
- <div class="line"><a name="l00264"></a><span class="lineno"> 264</span>&#160; <span class="keyword">virtual</span> <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1AbstractExecution.html#aa220cdcd1653998d684ec14fe729932d">recursiveCallPass</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1CallICFGNode.html">CallICFGNode</a>* callNode);</div>
262
- <div class="line"><a name="l00265"></a><span class="lineno"> 265</span>&#160; <span class="keyword">virtual</span> <span class="keywordtype">bool</span> <a class="code" href="classSVF_1_1AbstractExecution.html#aec702d92bbba9e847a9b3eada060a2c5">isDirectCall</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1CallICFGNode.html">CallICFGNode</a>* callNode);</div>
263
- <div class="line"><a name="l00266"></a><span class="lineno"> 266</span>&#160; <span class="keyword">virtual</span> <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1AbstractExecution.html#aff1c9582db75361b68aaaf0c4b8b6f0d">directCallFunPass</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1CallICFGNode.html">CallICFGNode</a>* callNode);</div>
264
- <div class="line"><a name="l00267"></a><span class="lineno"> 267</span>&#160; <span class="keyword">virtual</span> <span class="keywordtype">bool</span> <a class="code" href="classSVF_1_1AbstractExecution.html#ad1baaa8eaad68b215f63941776e79ccf">isIndirectCall</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1CallICFGNode.html">CallICFGNode</a>* callNode);</div>
265
- <div class="line"><a name="l00268"></a><span class="lineno"> 268</span>&#160; <span class="keyword">virtual</span> <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1AbstractExecution.html#accf5896d39647e41e1408fa90935b650">indirectCallFunPass</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1CallICFGNode.html">CallICFGNode</a>* callNode);</div>
266
- <div class="line"><a name="l00269"></a><span class="lineno"> 269</span>&#160; </div>
267
- <div class="line"><a name="l00270"></a><span class="lineno"> 270</span>&#160; <span class="comment">// helper functions in hasInEdgesES</span></div>
268
- <div class="line"><a name="l00271"></a><span class="lineno"> 271</span>&#160; <span class="keywordtype">bool</span> <a class="code" href="classSVF_1_1AbstractExecution.html#a76595e5d1a25c6c012f949f2d94c5ab6">isFunEntry</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1ICFGNode.html">ICFGNode</a>* node);</div>
269
- <div class="line"><a name="l00272"></a><span class="lineno"> 272</span>&#160; <span class="keywordtype">bool</span> <a class="code" href="classSVF_1_1AbstractExecution.html#a1b2ea55ebd7c09a83bf1051c0c189bb8">isGlobalEntry</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1ICFGNode.html">ICFGNode</a>* node);</div>
270
- <div class="line"><a name="l00273"></a><span class="lineno"> 273</span>&#160; </div>
271
- <div class="line"><a name="l00274"></a><span class="lineno"> 274</span>&#160; <span class="comment">// helper functions in handleCycle</span></div>
272
- <div class="line"><a name="l00275"></a><span class="lineno"> 275</span>&#160; <span class="keywordtype">bool</span> <a class="code" href="classSVF_1_1AbstractExecution.html#a438c0702d8b1e074c3db37025377b2a7">widenFixpointPass</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1ICFGNode.html">ICFGNode</a>* cycle_head, <a class="code" href="classSVF_1_1IntervalExeState.html">IntervalExeState</a>&amp; pre_es);</div>
273
- <div class="line"><a name="l00276"></a><span class="lineno"> 276</span>&#160; <span class="keywordtype">bool</span> <a class="code" href="classSVF_1_1AbstractExecution.html#a87c34d221e5b3ec37e89e8977eb28608">narrowFixpointPass</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1ICFGNode.html">ICFGNode</a>* cycle_head, <a class="code" href="classSVF_1_1IntervalExeState.html">IntervalExeState</a>&amp; pre_es);</div>
274
- <div class="line"><a name="l00277"></a><span class="lineno"> 277</span>&#160; </div>
275
- <div class="line"><a name="l00278"></a><span class="lineno"> 278</span>&#160; <span class="comment">// private data</span></div>
276
- <div class="line"><a name="l00279"></a><span class="lineno"><a class="line" href="classSVF_1_1AbstractExecution.html#a86d304f1a16689234d091da4e6e967a7"> 279</a></span>&#160; <a class="code" href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">Map&lt;const ICFGNode*, IntervalExeState&gt;</a> <a class="code" href="classSVF_1_1AbstractExecution.html#a86d304f1a16689234d091da4e6e967a7">_preES</a>;</div>
277
- <div class="line"><a name="l00280"></a><span class="lineno"><a class="line" href="classSVF_1_1AbstractExecution.html#a9c6a5b802710efe11b34df45a3f8f73b"> 280</a></span>&#160; <a class="code" href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">Map&lt;const ICFGNode*, IntervalExeState&gt;</a> <a class="code" href="classSVF_1_1AbstractExecution.html#a9c6a5b802710efe11b34df45a3f8f73b">_postES</a>;</div>
278
- <div class="line"><a name="l00281"></a><span class="lineno"><a class="line" href="classSVF_1_1AbstractExecution.html#a18903b2257e3a2aeec53d79bcf83e7d5"> 281</a></span>&#160; <a class="code" href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">std::string</a> <a class="code" href="classSVF_1_1AbstractExecution.html#a18903b2257e3a2aeec53d79bcf83e7d5">_moduleName</a>;</div>
279
- <div class="line"><a name="l00282"></a><span class="lineno"> 282</span>&#160; </div>
280
- <div class="line"><a name="l00283"></a><span class="lineno"> 283</span>&#160; </div>
281
- <div class="line"><a name="l00284"></a><span class="lineno"> 284</span>&#160;};</div>
282
- <div class="line"><a name="l00285"></a><span class="lineno"> 285</span>&#160; </div>
283
- <div class="line"><a name="l00286"></a><span class="lineno"><a class="line" href="classSVF_1_1AEAPI.html"> 286</a></span>&#160;<span class="keyword">class </span><a class="code" href="classSVF_1_1AEAPI.html">AEAPI</a></div>
284
- <div class="line"><a name="l00287"></a><span class="lineno"> 287</span>&#160;{</div>
285
- <div class="line"><a name="l00288"></a><span class="lineno"> 288</span>&#160;<span class="keyword">public</span>:</div>
286
- <div class="line"><a name="l00289"></a><span class="lineno"><a class="line" href="classSVF_1_1AEAPI.html#a29ab312d273e6c9c32a40d61861afb04a2dc334d7904e139e2e2b5e9eb2a1bb0a"> 289</a></span>&#160; <span class="keyword">enum</span> <a class="code" href="classSVF_1_1AEAPI.html#a29ab312d273e6c9c32a40d61861afb04">ExtAPIType</a> { <a class="code" href="classSVF_1_1AEAPI.html#a29ab312d273e6c9c32a40d61861afb04a2dc334d7904e139e2e2b5e9eb2a1bb0a">UNCLASSIFIED</a>, <a class="code" href="classSVF_1_1AEAPI.html#a29ab312d273e6c9c32a40d61861afb04a9a492bae5e1779267055b83cf033da28">MEMCPY</a>, <a class="code" href="classSVF_1_1AEAPI.html#a29ab312d273e6c9c32a40d61861afb04a68863d4626b3cde194a0fa6da74a3313">MEMSET</a>, <a class="code" href="classSVF_1_1AEAPI.html#a29ab312d273e6c9c32a40d61861afb04aadccf4db29e170b4d669ef023866a28d">STRCPY</a>, <a class="code" href="classSVF_1_1AEAPI.html#a29ab312d273e6c9c32a40d61861afb04ab8167323edeff68403cf4ceb7e8133d9">STRCAT</a> };</div>
287
- <div class="line"><a name="l00290"></a><span class="lineno"><a class="line" href="classSVF_1_1AEAPI.html#a31545025fcf62a0c6680ba99666f7b01"> 290</a></span>&#160; <span class="keyword">static</span> <span class="keywordtype">bool</span> <a class="code" href="classSVF_1_1AEAPI.html#a31545025fcf62a0c6680ba99666f7b01">classof</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1AEAPI.html">AEAPI</a>* api)</div>
288
- <div class="line"><a name="l00291"></a><span class="lineno"> 291</span>&#160; {</div>
289
- <div class="line"><a name="l00292"></a><span class="lineno"> 292</span>&#160; <span class="keywordflow">return</span> api-&gt;<a class="code" href="classSVF_1_1AEAPI.html#ab549486e45e0c775c75f0f8749797a1c">getKind</a>() == <a class="code" href="namespaceSVF.html#a41375daa7cc99317d0aa2a21dc643b88a53d18d0ea8b11173db3d2f60f838ffe1">AEKind::AbstractExecution</a>;</div>
290
- <div class="line"><a name="l00293"></a><span class="lineno"> 293</span>&#160; }</div>
291
- <div class="line"><a name="l00294"></a><span class="lineno"> 294</span>&#160; </div>
292
- <div class="line"><a name="l00301"></a><span class="lineno"><a class="line" href="classSVF_1_1AEAPI.html#aef0e9a5ff5633dc6fb96bab35484df2a"> 301</a></span>&#160; <a class="code" href="classSVF_1_1AEAPI.html#aef0e9a5ff5633dc6fb96bab35484df2a">AEAPI</a>(<a class="code" href="classSVF_1_1AbstractExecution.html">AbstractExecution</a>* ae, <a class="code" href="classSVF_1_1AEStat.html">AEStat</a>* stat): <a class="code" href="classSVF_1_1AEAPI.html#a33b63d79de59e0015097c43978162ded">_ae</a>(ae), <a class="code" href="classSVF_1_1AEAPI.html#afed1d221bdb876046ec036f1cae53fd3">_stat</a>(stat)</div>
293
- <div class="line"><a name="l00302"></a><span class="lineno"> 302</span>&#160; {</div>
294
- <div class="line"><a name="l00303"></a><span class="lineno"> 303</span>&#160; <a class="code" href="classSVF_1_1AEAPI.html#a243821a56807acf98be9d88f8947e01d">initExtFunMap</a>();</div>
295
- <div class="line"><a name="l00304"></a><span class="lineno"> 304</span>&#160; <a class="code" href="classSVF_1_1AEAPI.html#ac647ce8e5e4e14303a4c8c8fc6321492">_kind</a> = <a class="code" href="namespaceSVF.html#a41375daa7cc99317d0aa2a21dc643b88a53d18d0ea8b11173db3d2f60f838ffe1">AEKind::AbstractExecution</a>;</div>
296
- <div class="line"><a name="l00305"></a><span class="lineno"> 305</span>&#160; }</div>
297
- <div class="line"><a name="l00306"></a><span class="lineno"> 306</span>&#160; </div>
298
- <div class="line"><a name="l00307"></a><span class="lineno"><a class="line" href="classSVF_1_1AEAPI.html#a1b878ba64873caf341984d788d7b4d2a"> 307</a></span>&#160; <span class="keyword">virtual</span> <a class="code" href="classSVF_1_1AEAPI.html#a1b878ba64873caf341984d788d7b4d2a">~AEAPI</a>() {}</div>
299
- <div class="line"><a name="l00308"></a><span class="lineno"> 308</span>&#160; </div>
300
- <div class="line"><a name="l00309"></a><span class="lineno"><a class="line" href="classSVF_1_1AEAPI.html#a5172791c4432a4c4ab0f7e97e7b3b596"> 309</a></span>&#160; <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1AEAPI.html#a5172791c4432a4c4ab0f7e97e7b3b596">setModule</a>(<a class="code" href="classSVF_1_1SVFIR.html">SVFIR</a>* svfModule)</div>
301
- <div class="line"><a name="l00310"></a><span class="lineno"> 310</span>&#160; {</div>
302
- <div class="line"><a name="l00311"></a><span class="lineno"> 311</span>&#160; <a class="code" href="classSVF_1_1AEAPI.html#ae983d887ccf66c7f21b4712b37ab5f60">_svfir</a> = svfModule;</div>
303
- <div class="line"><a name="l00312"></a><span class="lineno"> 312</span>&#160; }</div>
304
- <div class="line"><a name="l00313"></a><span class="lineno"> 313</span>&#160; </div>
305
- <div class="line"><a name="l00314"></a><span class="lineno"><a class="line" href="classSVF_1_1AEAPI.html#ab549486e45e0c775c75f0f8749797a1c"> 314</a></span>&#160; <a class="code" href="namespaceSVF.html#a41375daa7cc99317d0aa2a21dc643b88">AEKind</a> <a class="code" href="classSVF_1_1AEAPI.html#ab549486e45e0c775c75f0f8749797a1c">getKind</a>()<span class="keyword"> const</span></div>
306
- <div class="line"><a name="l00315"></a><span class="lineno"> 315</span>&#160;<span class="keyword"> </span>{</div>
307
- <div class="line"><a name="l00316"></a><span class="lineno"> 316</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1AEAPI.html#ac647ce8e5e4e14303a4c8c8fc6321492">_kind</a>;</div>
308
- <div class="line"><a name="l00317"></a><span class="lineno"> 317</span>&#160; }</div>
309
- <div class="line"><a name="l00318"></a><span class="lineno"> 318</span>&#160; </div>
310
- <div class="line"><a name="l00324"></a><span class="lineno"> 324</span>&#160; <span class="keyword">virtual</span> <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1AEAPI.html#af64d742317f2ddad87b87012225ddaaa">handleExtAPI</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1CallICFGNode.html">CallICFGNode</a> *call);</div>
311
- <div class="line"><a name="l00325"></a><span class="lineno"> 325</span>&#160; </div>
312
- <div class="line"><a name="l00332"></a><span class="lineno"> 332</span>&#160; <span class="keyword">virtual</span> <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1AEAPI.html#a243821a56807acf98be9d88f8947e01d">initExtFunMap</a>();</div>
313
- <div class="line"><a name="l00333"></a><span class="lineno"> 333</span>&#160; </div>
314
- <div class="line"><a name="l00340"></a><span class="lineno"> 340</span>&#160; <a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> <a class="code" href="classSVF_1_1AEAPI.html#afe6d49fd36a96bda165654eb393be6f2">getAllocaInstByteSize</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1AddrStmt.html">AddrStmt</a> *addr);</div>
315
- <div class="line"><a name="l00341"></a><span class="lineno"> 341</span>&#160; </div>
316
- <div class="line"><a name="l00349"></a><span class="lineno"> 349</span>&#160; <a class="code" href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">std::string</a> <a class="code" href="classSVF_1_1AEAPI.html#a3df0f1b34893f44904dce62e6641a58e">strRead</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFValue.html">SVFValue</a>* rhs);</div>
194
+ <div class="line"><a name="l00127"></a><span class="lineno"><a class="line" href="classSVF_1_1AbstractExecution.html#a9c23029833558b082c613fa5e0f14c0d"> 127</a></span>&#160; <span class="keyword">static</span> <span class="keywordtype">bool</span> <a class="code" href="classSVF_1_1AbstractExecution.html#a9c23029833558b082c613fa5e0f14c0d">classof</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1AbstractExecution.html">AbstractExecution</a>* ae)</div>
195
+ <div class="line"><a name="l00128"></a><span class="lineno"> 128</span>&#160; {</div>
196
+ <div class="line"><a name="l00129"></a><span class="lineno"> 129</span>&#160; <span class="keywordflow">return</span> ae-&gt;<a class="code" href="classSVF_1_1AbstractExecution.html#a6c381287424a3623cfdae5a75d2a9c9b">getKind</a>() == <a class="code" href="namespaceSVF.html#a41375daa7cc99317d0aa2a21dc643b88a53d18d0ea8b11173db3d2f60f838ffe1">AEKind::AbstractExecution</a>;</div>
197
+ <div class="line"><a name="l00130"></a><span class="lineno"> 130</span>&#160; }</div>
198
+ <div class="line"><a name="l00131"></a><span class="lineno"> 131</span>&#160; </div>
199
+ <div class="line"><a name="l00132"></a><span class="lineno"><a class="line" href="classSVF_1_1AbstractExecution.html#a6c381287424a3623cfdae5a75d2a9c9b"> 132</a></span>&#160; <a class="code" href="namespaceSVF.html#a41375daa7cc99317d0aa2a21dc643b88">AEKind</a> <a class="code" href="classSVF_1_1AbstractExecution.html#a6c381287424a3623cfdae5a75d2a9c9b">getKind</a>()<span class="keyword"> const</span></div>
200
+ <div class="line"><a name="l00133"></a><span class="lineno"> 133</span>&#160;<span class="keyword"> </span>{</div>
201
+ <div class="line"><a name="l00134"></a><span class="lineno"> 134</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1AbstractExecution.html#ad36d48c0ef82de915d9339c4f47cbd70">_kind</a>;</div>
202
+ <div class="line"><a name="l00135"></a><span class="lineno"> 135</span>&#160; }</div>
203
+ <div class="line"><a name="l00136"></a><span class="lineno"> 136</span>&#160; </div>
204
+ <div class="line"><a name="l00137"></a><span class="lineno"> 137</span>&#160;<span class="keyword">protected</span>:</div>
205
+ <div class="line"><a name="l00139"></a><span class="lineno"> 139</span>&#160; <span class="keyword">virtual</span> <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1AbstractExecution.html#a7efff2047b2b6017fdd210a8679817cd">handleGlobalNode</a>();</div>
206
+ <div class="line"><a name="l00140"></a><span class="lineno"> 140</span>&#160; </div>
207
+ <div class="line"><a name="l00142"></a><span class="lineno"> 142</span>&#160; <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1AbstractExecution.html#ae641b5687513661a2542e8318430d760">markRecursiveFuns</a>();</div>
208
+ <div class="line"><a name="l00143"></a><span class="lineno"> 143</span>&#160; </div>
209
+ <div class="line"><a name="l00150"></a><span class="lineno"> 150</span>&#160; <span class="keywordtype">bool</span> <a class="code" href="classSVF_1_1AbstractExecution.html#a6f02cd1885c0879cb88149c91998291f">hasInEdgesES</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1ICFGNode.html">ICFGNode</a>* node);</div>
210
+ <div class="line"><a name="l00151"></a><span class="lineno"> 151</span>&#160; </div>
211
+ <div class="line"><a name="l00158"></a><span class="lineno"> 158</span>&#160; <span class="keywordtype">bool</span> <a class="code" href="classSVF_1_1AbstractExecution.html#a28df4f2bd5b337468f254cd609adb25f">hasBranchES</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1IntraCFGEdge.html">IntraCFGEdge</a>* intraEdge, <a class="code" href="classSVF_1_1IntervalExeState.html">IntervalExeState</a>&amp; es);</div>
212
+ <div class="line"><a name="l00159"></a><span class="lineno"> 159</span>&#160; </div>
213
+ <div class="line"><a name="l00165"></a><span class="lineno"> 165</span>&#160; <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1AbstractExecution.html#a6c06e39df9b60a25480b4f485d1c2cbb">handleWTONode</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1ICFGNode.html">ICFGNode</a>* node);</div>
214
+ <div class="line"><a name="l00166"></a><span class="lineno"> 166</span>&#160; </div>
215
+ <div class="line"><a name="l00172"></a><span class="lineno"> 172</span>&#160; <span class="keyword">virtual</span> <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1AbstractExecution.html#a714fa1f4794008f630de415414cf8bfd">handleICFGNode</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1ICFGNode.html">ICFGNode</a>* node);</div>
216
+ <div class="line"><a name="l00173"></a><span class="lineno"> 173</span>&#160; </div>
217
+ <div class="line"><a name="l00179"></a><span class="lineno"> 179</span>&#160; <span class="keyword">virtual</span> <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1AbstractExecution.html#a6cbc336372afb947c783fb14c45426df">handleCallSite</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1ICFGNode.html">ICFGNode</a>* node);</div>
218
+ <div class="line"><a name="l00180"></a><span class="lineno"> 180</span>&#160; </div>
219
+ <div class="line"><a name="l00186"></a><span class="lineno"> 186</span>&#160; <span class="keyword">virtual</span> <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1AbstractExecution.html#a609f7f047d88f8a2f44cd783668dc179">handleCycle</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1WTOCycle.html">ICFGWTOCycle</a>* cycle);</div>
220
+ <div class="line"><a name="l00187"></a><span class="lineno"> 187</span>&#160; </div>
221
+ <div class="line"><a name="l00193"></a><span class="lineno"> 193</span>&#160; <span class="keyword">virtual</span> <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1AbstractExecution.html#adb88a8be0bc1c1ac2d1546e9191c6f93">handleFunc</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFFunction.html">SVFFunction</a>* func);</div>
222
+ <div class="line"><a name="l00194"></a><span class="lineno"> 194</span>&#160; </div>
223
+ <div class="line"><a name="l00200"></a><span class="lineno"> 200</span>&#160; <span class="keyword">virtual</span> <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1AbstractExecution.html#a1d725fe50a7084bfa18bd47b941af885">handleSVFStatement</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFStmt.html">SVFStmt</a>* stmt);</div>
224
+ <div class="line"><a name="l00201"></a><span class="lineno"> 201</span>&#160; </div>
225
+ <div class="line"><a name="l00207"></a><span class="lineno"> 207</span>&#160; <span class="keyword">virtual</span> <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1AbstractExecution.html#a97c5745ddcd0ce72e65dee09ff7afb42">SkipRecursiveCall</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1CallICFGNode.html">CallICFGNode</a>* callnode);</div>
226
+ <div class="line"><a name="l00208"></a><span class="lineno"> 208</span>&#160; </div>
227
+ <div class="line"><a name="l00214"></a><span class="lineno"> 214</span>&#160; <span class="keyword">virtual</span> <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1AbstractExecution.html#a7e1c3edfa546182ad394116b37b834f9">SkipRecursiveFunc</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFFunction.html">SVFFunction</a>* func);</div>
228
+ <div class="line"><a name="l00215"></a><span class="lineno"> 215</span>&#160; </div>
229
+ <div class="line"><a name="l00223"></a><span class="lineno"> 223</span>&#160; <span class="keywordtype">bool</span> <a class="code" href="classSVF_1_1AbstractExecution.html#ac7a25ad5cbc1a6132869ae54b805f73a">hasCmpBranchES</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1CmpStmt.html">CmpStmt</a>* cmpStmt, <a class="code" href="namespaceSVF.html#ad781b0b14e89773e774072b280658ef3">s64_t</a> succ, <a class="code" href="classSVF_1_1IntervalExeState.html">IntervalExeState</a>&amp; es);</div>
230
+ <div class="line"><a name="l00224"></a><span class="lineno"> 224</span>&#160; </div>
231
+ <div class="line"><a name="l00232"></a><span class="lineno"> 232</span>&#160; <span class="keywordtype">bool</span> <a class="code" href="classSVF_1_1AbstractExecution.html#adc740771e712644d08f95fc6c488c1af">hasSwitchBranchES</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFVar.html">SVFVar</a>* var, <a class="code" href="namespaceSVF.html#ad781b0b14e89773e774072b280658ef3">s64_t</a> succ, <a class="code" href="classSVF_1_1IntervalExeState.html">IntervalExeState</a>&amp; es);</div>
232
+ <div class="line"><a name="l00233"></a><span class="lineno"> 233</span>&#160; </div>
233
+ <div class="line"><a name="l00234"></a><span class="lineno"> 234</span>&#160; </div>
234
+ <div class="line"><a name="l00240"></a><span class="lineno"> 240</span>&#160; <span class="keyword">virtual</span> <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1AbstractExecution.html#ae002abb8711300ff52200f78f1463369">handleExtAPI</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1CallICFGNode.html">CallICFGNode</a> *call);</div>
235
+ <div class="line"><a name="l00241"></a><span class="lineno"> 241</span>&#160; </div>
236
+ <div class="line"><a name="l00248"></a><span class="lineno"> 248</span>&#160; <span class="keyword">virtual</span> <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1AbstractExecution.html#a5715b1a5994715f19b17687b9e91d7c8">initExtFunMap</a>();</div>
237
+ <div class="line"><a name="l00249"></a><span class="lineno"> 249</span>&#160; </div>
238
+ <div class="line"><a name="l00256"></a><span class="lineno"> 256</span>&#160; <a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> <a class="code" href="classSVF_1_1AbstractExecution.html#a598cb7b97bae122d0015c03b72beee9d">getAllocaInstByteSize</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1AddrStmt.html">AddrStmt</a> *addr);</div>
239
+ <div class="line"><a name="l00257"></a><span class="lineno"> 257</span>&#160; </div>
240
+ <div class="line"><a name="l00265"></a><span class="lineno"> 265</span>&#160; <a class="code" href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">std::string</a> <a class="code" href="classSVF_1_1AbstractExecution.html#a63044080ddea89905bc9a4336eb8b2a7">strRead</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFValue.html">SVFValue</a>* rhs);</div>
241
+ <div class="line"><a name="l00266"></a><span class="lineno"> 266</span>&#160; </div>
242
+ <div class="line"><a name="l00274"></a><span class="lineno"> 274</span>&#160; <a class="code" href="classSVF_1_1IntervalValue.html">IntervalValue</a> <a class="code" href="classSVF_1_1AbstractExecution.html#a99be86146ad4ddbdb900cdb6b324f943">getStrlen</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFValue.html">SVF::SVFValue</a> *strValue);</div>
243
+ <div class="line"><a name="l00275"></a><span class="lineno"> 275</span>&#160; </div>
244
+ <div class="line"><a name="l00285"></a><span class="lineno"> 285</span>&#160; <a class="code" href="classSVF_1_1IntervalValue.html">IntervalValue</a> <a class="code" href="classSVF_1_1AbstractExecution.html#a2484783853c5a266223882f66e683fa9">traceMemoryAllocationSize</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFValue.html">SVFValue</a> *value);</div>
245
+ <div class="line"><a name="l00294"></a><span class="lineno"> 294</span>&#160; <span class="keyword">virtual</span> <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1AbstractExecution.html#a0ed5456bdeaff7ab4e1decdff8ae2afb">handleStrcpy</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1CallICFGNode.html">CallICFGNode</a> *call);</div>
246
+ <div class="line"><a name="l00303"></a><span class="lineno"> 303</span>&#160; <span class="keyword">virtual</span> <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1AbstractExecution.html#a28c04e0a985eda44fe8532c44c7e05bb">handleStrcat</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1CallICFGNode.html">CallICFGNode</a> *call);</div>
247
+ <div class="line"><a name="l00312"></a><span class="lineno"> 312</span>&#160; <span class="keyword">virtual</span> <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1AbstractExecution.html#a37c0e12879d3320857a288191e6d2202">handleMemcpy</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFValue.html">SVFValue</a>* dst, <span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFValue.html">SVFValue</a>* src, <a class="code" href="classSVF_1_1IntervalValue.html">IntervalValue</a> len, <a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> start_idx);</div>
248
+ <div class="line"><a name="l00320"></a><span class="lineno"> 320</span>&#160; <span class="keyword">virtual</span> <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1AbstractExecution.html#ad70015e99339c3beb3a911c0ff6f0144">handleMemset</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFValue.html">SVFValue</a>* dst, <a class="code" href="classSVF_1_1IntervalValue.html">IntervalValue</a> elem, <a class="code" href="classSVF_1_1IntervalValue.html">IntervalValue</a> len);</div>
249
+ <div class="line"><a name="l00321"></a><span class="lineno"> 321</span>&#160; </div>
250
+ <div class="line"><a name="l00329"></a><span class="lineno"> 329</span>&#160; <span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFType.html">SVFType</a>* <a class="code" href="classSVF_1_1AbstractExecution.html#a888fd56160afe0d431c47bcf10674dc0">getPointeeElement</a>(<a class="code" href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">NodeID</a> <span class="keywordtype">id</span>);</div>
251
+ <div class="line"><a name="l00330"></a><span class="lineno"> 330</span>&#160; </div>
252
+ <div class="line"><a name="l00331"></a><span class="lineno"> 331</span>&#160; <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1AbstractExecution.html#afb6de3effc0f483836bfe9f42aca760d">collectCheckPoint</a>();</div>
253
+ <div class="line"><a name="l00332"></a><span class="lineno"> 332</span>&#160; <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1AbstractExecution.html#aaa2f3713bd6d39bb4e9b5119b64277c7">checkPointAllSet</a>();</div>
254
+ <div class="line"><a name="l00333"></a><span class="lineno"> 333</span>&#160; <span class="comment">// helper functions for traceMemoryAllocationSize and canSafelyAccessMemory</span></div>
255
+ <div class="line"><a name="l00334"></a><span class="lineno"> 334</span>&#160; <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1AbstractExecution.html#a140acf4733b46855c8627cf10dbb0bd5">AccessMemoryViaRetNode</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1CallICFGNode.html">CallICFGNode</a> *callnode, <a class="code" href="classSVF_1_1FILOWorkList.html">SVF::FILOWorkList&lt;const SVFValue *&gt;</a>&amp; worklist, <a class="code" href="namespaceSVF.html#af739db846e47ba6b2fd15eaad31ab7fb">Set&lt;const SVFValue *&gt;</a>&amp; visited);</div>
256
+ <div class="line"><a name="l00335"></a><span class="lineno"> 335</span>&#160; <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1AbstractExecution.html#a20df87d2a269c3feab3acc40e4cd8801">AccessMemoryViaCopyStmt</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1CopyStmt.html">CopyStmt</a> *<a class="code" href="cJSON_8cpp.html#a7669ee67a0563250c1efaa24d130e1ac">copy</a>, <a class="code" href="classSVF_1_1FILOWorkList.html">SVF::FILOWorkList&lt;const SVFValue *&gt;</a>&amp; worklist, <a class="code" href="namespaceSVF.html#af739db846e47ba6b2fd15eaad31ab7fb">Set&lt;const SVFValue *&gt;</a>&amp; visited);</div>
257
+ <div class="line"><a name="l00336"></a><span class="lineno"> 336</span>&#160; <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1AbstractExecution.html#a98f3c7d5e4b3722b717071cd320c8a60">AccessMemoryViaLoadStmt</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1LoadStmt.html">LoadStmt</a> *load, <a class="code" href="classSVF_1_1FILOWorkList.html">SVF::FILOWorkList&lt;const SVFValue *&gt;</a>&amp; worklist, <a class="code" href="namespaceSVF.html#af739db846e47ba6b2fd15eaad31ab7fb">Set&lt;const SVFValue *&gt;</a>&amp; visited);</div>
258
+ <div class="line"><a name="l00337"></a><span class="lineno"> 337</span>&#160; <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1AbstractExecution.html#ac920e03f019c47e585f6d0138f91585f">AccessMemoryViaCallArgs</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFArgument.html">SVF::SVFArgument</a> *arg, <a class="code" href="classSVF_1_1FILOWorkList.html">SVF::FILOWorkList&lt;const SVFValue *&gt;</a>&amp; worklist, <a class="code" href="namespaceSVF.html#af739db846e47ba6b2fd15eaad31ab7fb">Set&lt;const SVFValue *&gt;</a>&amp; visited);</div>
259
+ <div class="line"><a name="l00338"></a><span class="lineno"> 338</span>&#160; </div>
260
+ <div class="line"><a name="l00339"></a><span class="lineno"> 339</span>&#160; </div>
261
+ <div class="line"><a name="l00341"></a><span class="lineno"><a class="line" href="classSVF_1_1AbstractExecution.html#a49742e8c3a8fe598a0945a8d8ff394d0"> 341</a></span>&#160; <a class="code" href="classSVF_1_1SVFIR.html">SVFIR</a>* <a class="code" href="classSVF_1_1AbstractExecution.html#a49742e8c3a8fe598a0945a8d8ff394d0">_svfir</a>;</div>
262
+ <div class="line"><a name="l00342"></a><span class="lineno"><a class="line" href="classSVF_1_1AbstractExecution.html#a39439604f7d397f620a7639884ea5b50"> 342</a></span>&#160; <a class="code" href="classSVF_1_1PTACallGraph.html">PTACallGraph</a>* <a class="code" href="classSVF_1_1AbstractExecution.html#a39439604f7d397f620a7639884ea5b50">_callgraph</a>;</div>
263
+ <div class="line"><a name="l00344"></a><span class="lineno"><a class="line" href="classSVF_1_1AbstractExecution.html#a5e24bceb3d6961117651dbc65e9a097a"> 344</a></span>&#160; <a class="code" href="classSVF_1_1SVFIR2ItvExeState.html">SVFIR2ItvExeState</a>* <a class="code" href="classSVF_1_1AbstractExecution.html#a5e24bceb3d6961117651dbc65e9a097a">_svfir2ExeState</a>;</div>
264
+ <div class="line"><a name="l00345"></a><span class="lineno"><a class="line" href="classSVF_1_1AbstractExecution.html#a26f8c21bd96ae22ca2e72af6fbfa410c"> 345</a></span>&#160; <a class="code" href="classSVF_1_1AbstractExecution.html#ac0bcb586dffbfadeb33f501cafbaa1c9">AEAPI</a>* <a class="code" href="classSVF_1_1AbstractExecution.html#a26f8c21bd96ae22ca2e72af6fbfa410c">_api</a>{<span class="keyword">nullptr</span>};</div>
265
+ <div class="line"><a name="l00346"></a><span class="lineno"> 346</span>&#160; </div>
266
+ <div class="line"><a name="l00347"></a><span class="lineno"><a class="line" href="classSVF_1_1AbstractExecution.html#ab5021d59a929f4eaf5e59d911036d201"> 347</a></span>&#160; <a class="code" href="classSVF_1_1ICFG.html">ICFG</a>* <a class="code" href="classSVF_1_1AbstractExecution.html#ab5021d59a929f4eaf5e59d911036d201">_icfg</a>;</div>
267
+ <div class="line"><a name="l00348"></a><span class="lineno"><a class="line" href="classSVF_1_1AbstractExecution.html#a74a55a4d4941c85bdfed81f060049bf0"> 348</a></span>&#160; <a class="code" href="classSVF_1_1AEStat.html">AEStat</a>* <a class="code" href="classSVF_1_1AbstractExecution.html#a74a55a4d4941c85bdfed81f060049bf0">_stat</a>;</div>
268
+ <div class="line"><a name="l00349"></a><span class="lineno"><a class="line" href="classSVF_1_1AbstractExecution.html#ad36d48c0ef82de915d9339c4f47cbd70"> 349</a></span>&#160; <a class="code" href="namespaceSVF.html#a41375daa7cc99317d0aa2a21dc643b88">AEKind</a> <a class="code" href="classSVF_1_1AbstractExecution.html#ad36d48c0ef82de915d9339c4f47cbd70">_kind</a>;</div>
317
269
  <div class="line"><a name="l00350"></a><span class="lineno"> 350</span>&#160; </div>
318
- <div class="line"><a name="l00358"></a><span class="lineno"> 358</span>&#160; <a class="code" href="classSVF_1_1IntervalValue.html">IntervalValue</a> <a class="code" href="classSVF_1_1AEAPI.html#ae0519df0b6927a2d077c3d46beeaa9f7">getStrlen</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFValue.html">SVF::SVFValue</a> *strValue);</div>
319
- <div class="line"><a name="l00359"></a><span class="lineno"> 359</span>&#160; </div>
320
- <div class="line"><a name="l00369"></a><span class="lineno"> 369</span>&#160; <a class="code" href="classSVF_1_1IntervalValue.html">IntervalValue</a> <a class="code" href="classSVF_1_1AEAPI.html#a4efc7447db13da26ce284218d6c01059">traceMemoryAllocationSize</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFValue.html">SVFValue</a> *value);</div>
321
- <div class="line"><a name="l00378"></a><span class="lineno"> 378</span>&#160; <span class="keyword">virtual</span> <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1AEAPI.html#a13abbe8b8622df63e7f160732bc1cbfc">handleStrcpy</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1CallICFGNode.html">CallICFGNode</a> *call);</div>
322
- <div class="line"><a name="l00387"></a><span class="lineno"> 387</span>&#160; <span class="keyword">virtual</span> <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1AEAPI.html#a4d160903c3bbedbd486be39c40c2c836">handleStrcat</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1CallICFGNode.html">CallICFGNode</a> *call);</div>
323
- <div class="line"><a name="l00396"></a><span class="lineno"> 396</span>&#160; <span class="keyword">virtual</span> <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1AEAPI.html#ae0847fb421538982bfd50cc280d1a65b">handleMemcpy</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFValue.html">SVFValue</a>* dst, <span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFValue.html">SVFValue</a>* src, <a class="code" href="classSVF_1_1IntervalValue.html">IntervalValue</a> len, <a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> start_idx);</div>
324
- <div class="line"><a name="l00404"></a><span class="lineno"> 404</span>&#160; <span class="keyword">virtual</span> <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1AEAPI.html#a185e694007f4d69b0030c65fb54c9c6d">handleMemset</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFValue.html">SVFValue</a>* dst, <a class="code" href="classSVF_1_1IntervalValue.html">IntervalValue</a> elem, <a class="code" href="classSVF_1_1IntervalValue.html">IntervalValue</a> len);</div>
325
- <div class="line"><a name="l00405"></a><span class="lineno"> 405</span>&#160; </div>
326
- <div class="line"><a name="l00413"></a><span class="lineno"> 413</span>&#160; <span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFType.html">SVFType</a>* <a class="code" href="classSVF_1_1AEAPI.html#a112519b672206ac552273666949eeb3b">getPointeeElement</a>(<a class="code" href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">NodeID</a> <span class="keywordtype">id</span>);</div>
327
- <div class="line"><a name="l00414"></a><span class="lineno"> 414</span>&#160; </div>
328
- <div class="line"><a name="l00415"></a><span class="lineno"> 415</span>&#160; <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1AEAPI.html#a2dc09f4a21cf629ebe500f856cf86bb4">collectCheckPoint</a>();</div>
329
- <div class="line"><a name="l00416"></a><span class="lineno"> 416</span>&#160; <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1AEAPI.html#aa2a97be698768ddbcab0fec27bde60c8">checkPointAllSet</a>();</div>
330
- <div class="line"><a name="l00417"></a><span class="lineno"> 417</span>&#160; </div>
331
- <div class="line"><a name="l00418"></a><span class="lineno"> 418</span>&#160;<span class="keyword">protected</span>:</div>
332
- <div class="line"><a name="l00419"></a><span class="lineno"> 419</span>&#160; <span class="comment">// helper functions for traceMemoryAllocationSize and canSafelyAccessMemory</span></div>
333
- <div class="line"><a name="l00420"></a><span class="lineno"> 420</span>&#160; <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1AEAPI.html#a7be3da80bedb1077a99d67daa124afde">AccessMemoryViaRetNode</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1CallICFGNode.html">CallICFGNode</a> *callnode, <a class="code" href="classSVF_1_1FILOWorkList.html">SVF::FILOWorkList&lt;const SVFValue *&gt;</a>&amp; worklist, <a class="code" href="namespaceSVF.html#af739db846e47ba6b2fd15eaad31ab7fb">Set&lt;const SVFValue *&gt;</a>&amp; visited);</div>
334
- <div class="line"><a name="l00421"></a><span class="lineno"> 421</span>&#160; <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1AEAPI.html#a3665513f6e8f8b93ef3f9d273d03ee70">AccessMemoryViaCopyStmt</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1CopyStmt.html">CopyStmt</a> *<a class="code" href="cJSON_8cpp.html#a7669ee67a0563250c1efaa24d130e1ac">copy</a>, <a class="code" href="classSVF_1_1FILOWorkList.html">SVF::FILOWorkList&lt;const SVFValue *&gt;</a>&amp; worklist, <a class="code" href="namespaceSVF.html#af739db846e47ba6b2fd15eaad31ab7fb">Set&lt;const SVFValue *&gt;</a>&amp; visited);</div>
335
- <div class="line"><a name="l00422"></a><span class="lineno"> 422</span>&#160; <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1AEAPI.html#afa34cb2ee3fc1ca5aa04a2afe7c2d6e8">AccessMemoryViaLoadStmt</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1LoadStmt.html">LoadStmt</a> *load, <a class="code" href="classSVF_1_1FILOWorkList.html">SVF::FILOWorkList&lt;const SVFValue *&gt;</a>&amp; worklist, <a class="code" href="namespaceSVF.html#af739db846e47ba6b2fd15eaad31ab7fb">Set&lt;const SVFValue *&gt;</a>&amp; visited);</div>
336
- <div class="line"><a name="l00423"></a><span class="lineno"> 423</span>&#160; <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1AEAPI.html#ac49859a7848fbef0e29492e95b031f1f">AccessMemoryViaCallArgs</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFArgument.html">SVF::SVFArgument</a> *arg, <a class="code" href="classSVF_1_1FILOWorkList.html">SVF::FILOWorkList&lt;const SVFValue *&gt;</a>&amp; worklist, <a class="code" href="namespaceSVF.html#af739db846e47ba6b2fd15eaad31ab7fb">Set&lt;const SVFValue *&gt;</a>&amp; visited);</div>
337
- <div class="line"><a name="l00424"></a><span class="lineno"> 424</span>&#160; </div>
338
- <div class="line"><a name="l00425"></a><span class="lineno"> 425</span>&#160; </div>
339
- <div class="line"><a name="l00426"></a><span class="lineno"> 426</span>&#160;<span class="keyword">protected</span>:</div>
340
- <div class="line"><a name="l00427"></a><span class="lineno"><a class="line" href="classSVF_1_1AEAPI.html#a33b63d79de59e0015097c43978162ded"> 427</a></span>&#160; <a class="code" href="classSVF_1_1AbstractExecution.html">AbstractExecution</a>* <a class="code" href="classSVF_1_1AEAPI.html#a33b63d79de59e0015097c43978162ded">_ae</a>;</div>
341
- <div class="line"><a name="l00428"></a><span class="lineno"><a class="line" href="classSVF_1_1AEAPI.html#afed1d221bdb876046ec036f1cae53fd3"> 428</a></span>&#160; <a class="code" href="classSVF_1_1AEStat.html">AEStat</a>* <a class="code" href="classSVF_1_1AEAPI.html#afed1d221bdb876046ec036f1cae53fd3">_stat</a>;</div>
342
- <div class="line"><a name="l00429"></a><span class="lineno"><a class="line" href="classSVF_1_1AEAPI.html#ae983d887ccf66c7f21b4712b37ab5f60"> 429</a></span>&#160; <a class="code" href="classSVF_1_1SVFIR.html">SVFIR</a>* <a class="code" href="classSVF_1_1AEAPI.html#ae983d887ccf66c7f21b4712b37ab5f60">_svfir</a>;</div>
343
- <div class="line"><a name="l00430"></a><span class="lineno"><a class="line" href="classSVF_1_1AEAPI.html#ac647ce8e5e4e14303a4c8c8fc6321492"> 430</a></span>&#160; <a class="code" href="namespaceSVF.html#a41375daa7cc99317d0aa2a21dc643b88">AEKind</a> <a class="code" href="classSVF_1_1AEAPI.html#ac647ce8e5e4e14303a4c8c8fc6321492">_kind</a>;</div>
344
- <div class="line"><a name="l00431"></a><span class="lineno"> 431</span>&#160; </div>
345
- <div class="line"><a name="l00432"></a><span class="lineno"><a class="line" href="classSVF_1_1AEAPI.html#ab47136a3fee89fa6cad5ddb95306f27f"> 432</a></span>&#160; <a class="code" href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">Map</a>&lt;<a class="code" href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">std::string</a>, std::function&lt;void(<span class="keyword">const</span> <a class="code" href="classSVF_1_1CallSite.html">CallSite</a> &amp;)&gt;&gt; <a class="code" href="classSVF_1_1AEAPI.html#ab47136a3fee89fa6cad5ddb95306f27f">_func_map</a>;</div>
346
- <div class="line"><a name="l00433"></a><span class="lineno"> 433</span>&#160; </div>
347
- <div class="line"><a name="l00434"></a><span class="lineno"><a class="line" href="classSVF_1_1AEAPI.html#ad364ccca2d91efa83263fad7ed196361"> 434</a></span>&#160; <a class="code" href="namespaceSVF.html#af739db846e47ba6b2fd15eaad31ab7fb">Set&lt;const CallICFGNode*&gt;</a> <a class="code" href="classSVF_1_1AEAPI.html#ad364ccca2d91efa83263fad7ed196361">_checkpoints</a>;</div>
348
- <div class="line"><a name="l00435"></a><span class="lineno"><a class="line" href="classSVF_1_1AEAPI.html#ace3e82bcfbb4495a765e01d75a58dc3f"> 435</a></span>&#160; <a class="code" href="namespaceSVF.html#af739db846e47ba6b2fd15eaad31ab7fb">Set&lt;std::string&gt;</a> <a class="code" href="classSVF_1_1AEAPI.html#ace3e82bcfbb4495a765e01d75a58dc3f">_checkpoint_names</a>;</div>
349
- <div class="line"><a name="l00436"></a><span class="lineno"> 436</span>&#160; </div>
350
- <div class="line"><a name="l00437"></a><span class="lineno"> 437</span>&#160;};</div>
351
- <div class="line"><a name="l00438"></a><span class="lineno"> 438</span>&#160;}</div>
270
+ <div class="line"><a name="l00351"></a><span class="lineno"><a class="line" href="classSVF_1_1AbstractExecution.html#a790c178f8c29eecfc256a5dfd97d1637"> 351</a></span>&#160; <a class="code" href="namespaceSVF.html#af739db846e47ba6b2fd15eaad31ab7fb">Set&lt;std::string&gt;</a> <a class="code" href="classSVF_1_1AbstractExecution.html#a790c178f8c29eecfc256a5dfd97d1637">_bugLoc</a>;</div>
271
+ <div class="line"><a name="l00352"></a><span class="lineno"><a class="line" href="classSVF_1_1AbstractExecution.html#a5ed683d635bd05f0bee10436d20deb31"> 352</a></span>&#160; <a class="code" href="classSVF_1_1SVFBugReport.html">SVFBugReport</a> <a class="code" href="classSVF_1_1AbstractExecution.html#a5ed683d635bd05f0bee10436d20deb31">_recoder</a>;</div>
272
+ <div class="line"><a name="l00353"></a><span class="lineno"><a class="line" href="classSVF_1_1AbstractExecution.html#ab9d6ebcf67ec473ce7ad5910c74eddc1"> 353</a></span>&#160; std::vector&lt;const CallICFGNode*&gt; <a class="code" href="classSVF_1_1AbstractExecution.html#ab9d6ebcf67ec473ce7ad5910c74eddc1">_callSiteStack</a>;</div>
273
+ <div class="line"><a name="l00354"></a><span class="lineno"><a class="line" href="classSVF_1_1AbstractExecution.html#a04e812385041270901af0f2cb599fa96"> 354</a></span>&#160; <a class="code" href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">Map&lt;const ICFGNode*, std::string&gt;</a> <a class="code" href="classSVF_1_1AbstractExecution.html#a04e812385041270901af0f2cb599fa96">_nodeToBugInfo</a>;</div>
274
+ <div class="line"><a name="l00355"></a><span class="lineno"><a class="line" href="classSVF_1_1AbstractExecution.html#a53f3b9c51ed8648f14ecb703e9fe67ae"> 355</a></span>&#160; <a class="code" href="classSVF_1_1AndersenWaveDiff.html">AndersenWaveDiff</a>* <a class="code" href="classSVF_1_1AbstractExecution.html#a53f3b9c51ed8648f14ecb703e9fe67ae">_ander</a>;</div>
275
+ <div class="line"><a name="l00356"></a><span class="lineno"><a class="line" href="classSVF_1_1AbstractExecution.html#ade8434d8f0f5d832842d60b7a56fa64f"> 356</a></span>&#160; <a class="code" href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">Map&lt;const SVFFunction*, ICFGWTO*&gt;</a> <a class="code" href="classSVF_1_1AbstractExecution.html#ade8434d8f0f5d832842d60b7a56fa64f">_funcToWTO</a>;</div>
276
+ <div class="line"><a name="l00357"></a><span class="lineno"><a class="line" href="classSVF_1_1AbstractExecution.html#ac7b2e6bdccab5a507c9e8db8ea4682d3"> 357</a></span>&#160; <a class="code" href="namespaceSVF.html#af739db846e47ba6b2fd15eaad31ab7fb">Set&lt;const SVFFunction*&gt;</a> <a class="code" href="classSVF_1_1AbstractExecution.html#ac7b2e6bdccab5a507c9e8db8ea4682d3">_recursiveFuns</a>;</div>
277
+ <div class="line"><a name="l00358"></a><span class="lineno"> 358</span>&#160; </div>
278
+ <div class="line"><a name="l00359"></a><span class="lineno"> 359</span>&#160;<span class="keyword">private</span>:</div>
279
+ <div class="line"><a name="l00360"></a><span class="lineno"> 360</span>&#160; <span class="comment">// helper functions in handleCallSite</span></div>
280
+ <div class="line"><a name="l00361"></a><span class="lineno"> 361</span>&#160; <span class="keyword">virtual</span> <span class="keywordtype">bool</span> <a class="code" href="classSVF_1_1AbstractExecution.html#a319fe24ebb925f70fde574d5b17c3b98">isExtCall</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1CallICFGNode.html">CallICFGNode</a>* callNode);</div>
281
+ <div class="line"><a name="l00362"></a><span class="lineno"> 362</span>&#160; <span class="keyword">virtual</span> <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1AbstractExecution.html#acf4a6c3fe5a2239512acb791b9aba854">extCallPass</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1CallICFGNode.html">CallICFGNode</a>* callNode);</div>
282
+ <div class="line"><a name="l00363"></a><span class="lineno"> 363</span>&#160; <span class="keyword">virtual</span> <span class="keywordtype">bool</span> <a class="code" href="classSVF_1_1AbstractExecution.html#a6b92cdb6c5d3ae425955864536f2cba7">isRecursiveCall</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1CallICFGNode.html">CallICFGNode</a>* callNode);</div>
283
+ <div class="line"><a name="l00364"></a><span class="lineno"> 364</span>&#160; <span class="keyword">virtual</span> <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1AbstractExecution.html#aa220cdcd1653998d684ec14fe729932d">recursiveCallPass</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1CallICFGNode.html">CallICFGNode</a>* callNode);</div>
284
+ <div class="line"><a name="l00365"></a><span class="lineno"> 365</span>&#160; <span class="keyword">virtual</span> <span class="keywordtype">bool</span> <a class="code" href="classSVF_1_1AbstractExecution.html#aec702d92bbba9e847a9b3eada060a2c5">isDirectCall</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1CallICFGNode.html">CallICFGNode</a>* callNode);</div>
285
+ <div class="line"><a name="l00366"></a><span class="lineno"> 366</span>&#160; <span class="keyword">virtual</span> <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1AbstractExecution.html#aff1c9582db75361b68aaaf0c4b8b6f0d">directCallFunPass</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1CallICFGNode.html">CallICFGNode</a>* callNode);</div>
286
+ <div class="line"><a name="l00367"></a><span class="lineno"> 367</span>&#160; <span class="keyword">virtual</span> <span class="keywordtype">bool</span> <a class="code" href="classSVF_1_1AbstractExecution.html#ad1baaa8eaad68b215f63941776e79ccf">isIndirectCall</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1CallICFGNode.html">CallICFGNode</a>* callNode);</div>
287
+ <div class="line"><a name="l00368"></a><span class="lineno"> 368</span>&#160; <span class="keyword">virtual</span> <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1AbstractExecution.html#accf5896d39647e41e1408fa90935b650">indirectCallFunPass</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1CallICFGNode.html">CallICFGNode</a>* callNode);</div>
288
+ <div class="line"><a name="l00369"></a><span class="lineno"> 369</span>&#160; </div>
289
+ <div class="line"><a name="l00370"></a><span class="lineno"> 370</span>&#160; <span class="comment">// helper functions in hasInEdgesES</span></div>
290
+ <div class="line"><a name="l00371"></a><span class="lineno"> 371</span>&#160; <span class="keywordtype">bool</span> <a class="code" href="classSVF_1_1AbstractExecution.html#a76595e5d1a25c6c012f949f2d94c5ab6">isFunEntry</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1ICFGNode.html">ICFGNode</a>* node);</div>
291
+ <div class="line"><a name="l00372"></a><span class="lineno"> 372</span>&#160; <span class="keywordtype">bool</span> <a class="code" href="classSVF_1_1AbstractExecution.html#a1b2ea55ebd7c09a83bf1051c0c189bb8">isGlobalEntry</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1ICFGNode.html">ICFGNode</a>* node);</div>
292
+ <div class="line"><a name="l00373"></a><span class="lineno"> 373</span>&#160; </div>
293
+ <div class="line"><a name="l00374"></a><span class="lineno"> 374</span>&#160; <span class="comment">// helper functions in handleCycle</span></div>
294
+ <div class="line"><a name="l00375"></a><span class="lineno"> 375</span>&#160; <span class="keywordtype">bool</span> <a class="code" href="classSVF_1_1AbstractExecution.html#a438c0702d8b1e074c3db37025377b2a7">widenFixpointPass</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1ICFGNode.html">ICFGNode</a>* cycle_head,</div>
295
+ <div class="line"><a name="l00376"></a><span class="lineno"> 376</span>&#160; <a class="code" href="classSVF_1_1IntervalExeState.html">IntervalExeState</a>&amp; pre_es);</div>
296
+ <div class="line"><a name="l00377"></a><span class="lineno"> 377</span>&#160; <span class="keywordtype">bool</span> <a class="code" href="classSVF_1_1AbstractExecution.html#a87c34d221e5b3ec37e89e8977eb28608">narrowFixpointPass</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1ICFGNode.html">ICFGNode</a>* cycle_head,</div>
297
+ <div class="line"><a name="l00378"></a><span class="lineno"> 378</span>&#160; <a class="code" href="classSVF_1_1IntervalExeState.html">IntervalExeState</a>&amp; pre_es);</div>
298
+ <div class="line"><a name="l00379"></a><span class="lineno"> 379</span>&#160; </div>
299
+ <div class="line"><a name="l00380"></a><span class="lineno"> 380</span>&#160;<span class="keyword">protected</span>:</div>
300
+ <div class="line"><a name="l00381"></a><span class="lineno"> 381</span>&#160; <span class="comment">// there data should be shared with subclasses</span></div>
301
+ <div class="line"><a name="l00382"></a><span class="lineno"><a class="line" href="classSVF_1_1AbstractExecution.html#ac1742440725909fee77526726424d135"> 382</a></span>&#160; <a class="code" href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">Map</a>&lt;<a class="code" href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">std::string</a>, std::function&lt;void(<span class="keyword">const</span> <a class="code" href="classSVF_1_1CallSite.html">CallSite</a> &amp;)&gt;&gt; <a class="code" href="classSVF_1_1AbstractExecution.html#ac1742440725909fee77526726424d135">_func_map</a>;</div>
302
+ <div class="line"><a name="l00383"></a><span class="lineno"><a class="line" href="classSVF_1_1AbstractExecution.html#a0a64bef0cc898059c50f6aec470cc6d9"> 383</a></span>&#160; <a class="code" href="namespaceSVF.html#af739db846e47ba6b2fd15eaad31ab7fb">Set&lt;const CallICFGNode*&gt;</a> <a class="code" href="classSVF_1_1AbstractExecution.html#a0a64bef0cc898059c50f6aec470cc6d9">_checkpoints</a>;</div>
303
+ <div class="line"><a name="l00384"></a><span class="lineno"><a class="line" href="classSVF_1_1AbstractExecution.html#a32abc52bc54745027aa2daa67a8278f3"> 384</a></span>&#160; <a class="code" href="namespaceSVF.html#af739db846e47ba6b2fd15eaad31ab7fb">Set&lt;std::string&gt;</a> <a class="code" href="classSVF_1_1AbstractExecution.html#a32abc52bc54745027aa2daa67a8278f3">_checkpoint_names</a>;</div>
304
+ <div class="line"><a name="l00385"></a><span class="lineno"> 385</span>&#160; </div>
305
+ <div class="line"><a name="l00386"></a><span class="lineno"> 386</span>&#160;<span class="keyword">private</span>:</div>
306
+ <div class="line"><a name="l00387"></a><span class="lineno"><a class="line" href="classSVF_1_1AbstractExecution.html#a86d304f1a16689234d091da4e6e967a7"> 387</a></span>&#160; <a class="code" href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">Map&lt;const ICFGNode*, IntervalExeState&gt;</a> <a class="code" href="classSVF_1_1AbstractExecution.html#a86d304f1a16689234d091da4e6e967a7">_preES</a>;</div>
307
+ <div class="line"><a name="l00388"></a><span class="lineno"><a class="line" href="classSVF_1_1AbstractExecution.html#a9c6a5b802710efe11b34df45a3f8f73b"> 388</a></span>&#160; <a class="code" href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">Map&lt;const ICFGNode*, IntervalExeState&gt;</a> <a class="code" href="classSVF_1_1AbstractExecution.html#a9c6a5b802710efe11b34df45a3f8f73b">_postES</a>;</div>
308
+ <div class="line"><a name="l00389"></a><span class="lineno"><a class="line" href="classSVF_1_1AbstractExecution.html#a18903b2257e3a2aeec53d79bcf83e7d5"> 389</a></span>&#160; <a class="code" href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">std::string</a> <a class="code" href="classSVF_1_1AbstractExecution.html#a18903b2257e3a2aeec53d79bcf83e7d5">_moduleName</a>;</div>
309
+ <div class="line"><a name="l00390"></a><span class="lineno"> 390</span>&#160;};</div>
310
+ <div class="line"><a name="l00391"></a><span class="lineno"> 391</span>&#160;}</div>
352
311
  </div><!-- fragment --></div><!-- contents -->
353
- <div class="ttc" id="aclassSVF_1_1AEAPI_html_afe6d49fd36a96bda165654eb393be6f2"><div class="ttname"><a href="classSVF_1_1AEAPI.html#afe6d49fd36a96bda165654eb393be6f2">SVF::AEAPI::getAllocaInstByteSize</a></div><div class="ttdeci">u32_t getAllocaInstByteSize(const AddrStmt *addr)</div><div class="ttdef"><b>Definition:</b> <a href="AbstractExecution_8cpp_source.html#l01356">AbstractExecution.cpp:1356</a></div></div>
354
- <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>
355
- <div class="ttc" id="aclassSVF_1_1AbstractExecution_html_abe2d42c3c107d54aa89ee8e6ea718dfc"><div class="ttname"><a href="classSVF_1_1AbstractExecution.html#abe2d42c3c107d54aa89ee8e6ea718dfc">SVF::AbstractExecution::_funcToWTO</a></div><div class="ttdeci">Map&lt; const SVFFunction *, ICFGWTO * &gt; _funcToWTO</div><div class="ttdef"><b>Definition:</b> <a href="AbstractExecution_8h_source.html#l00256">AbstractExecution.h:256</a></div></div>
312
+ <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>
356
313
  <div class="ttc" id="aclassSVF_1_1CopyStmt_html"><div class="ttname"><a href="classSVF_1_1CopyStmt.html">SVF::CopyStmt</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00364">SVFStatements.h:364</a></div></div>
357
- <div class="ttc" id="aclassSVF_1_1AbstractExecution_html_a76595e5d1a25c6c012f949f2d94c5ab6"><div class="ttname"><a href="classSVF_1_1AbstractExecution.html#a76595e5d1a25c6c012f949f2d94c5ab6">SVF::AbstractExecution::isFunEntry</a></div><div class="ttdeci">bool isFunEntry(const ICFGNode *node)</div><div class="ttdef"><b>Definition:</b> <a href="AbstractExecution_8cpp_source.html#l00260">AbstractExecution.cpp:260</a></div></div>
358
- <div class="ttc" id="aclassSVF_1_1AEAPI_html_a33b63d79de59e0015097c43978162ded"><div class="ttname"><a href="classSVF_1_1AEAPI.html#a33b63d79de59e0015097c43978162ded">SVF::AEAPI::_ae</a></div><div class="ttdeci">AbstractExecution * _ae</div><div class="ttdef"><b>Definition:</b> <a href="AbstractExecution_8h_source.html#l00427">AbstractExecution.h:427</a></div></div>
359
- <div class="ttc" id="aclassSVF_1_1AbstractExecution_html_a28df4f2bd5b337468f254cd609adb25f"><div class="ttname"><a href="classSVF_1_1AbstractExecution.html#a28df4f2bd5b337468f254cd609adb25f">SVF::AbstractExecution::hasBranchES</a></div><div class="ttdeci">bool hasBranchES(const IntraCFGEdge *intraEdge, IntervalExeState &amp;es)</div><div class="ttdef"><b>Definition:</b> <a href="AbstractExecution_8cpp_source.html#l00558">AbstractExecution.cpp:558</a></div></div>
360
- <div class="ttc" id="aclassSVF_1_1AbstractExecution_html_ad36d48c0ef82de915d9339c4f47cbd70"><div class="ttname"><a href="classSVF_1_1AbstractExecution.html#ad36d48c0ef82de915d9339c4f47cbd70">SVF::AbstractExecution::_kind</a></div><div class="ttdeci">AEKind _kind</div><div class="ttdef"><b>Definition:</b> <a href="AbstractExecution_8h_source.html#l00249">AbstractExecution.h:249</a></div></div>
361
- <div class="ttc" id="aclassSVF_1_1AbstractExecution_html_adc740771e712644d08f95fc6c488c1af"><div class="ttname"><a href="classSVF_1_1AbstractExecution.html#adc740771e712644d08f95fc6c488c1af">SVF::AbstractExecution::hasSwitchBranchES</a></div><div class="ttdeci">bool hasSwitchBranchES(const SVFVar *var, s64_t succ, IntervalExeState &amp;es)</div><div class="ttdef"><b>Definition:</b> <a href="AbstractExecution_8cpp_source.html#l00514">AbstractExecution.cpp:514</a></div></div>
362
- <div class="ttc" id="aclassSVF_1_1AbstractExecution_html_a9c23029833558b082c613fa5e0f14c0d"><div class="ttname"><a href="classSVF_1_1AbstractExecution.html#a9c23029833558b082c613fa5e0f14c0d">SVF::AbstractExecution::classof</a></div><div class="ttdeci">static bool classof(const AbstractExecution *ae)</div><div class="ttdef"><b>Definition:</b> <a href="AbstractExecution_8h_source.html#l00133">AbstractExecution.h:133</a></div></div>
363
- <div class="ttc" id="aclassSVF_1_1AbstractExecution_html_aff1c9582db75361b68aaaf0c4b8b6f0d"><div class="ttname"><a href="classSVF_1_1AbstractExecution.html#aff1c9582db75361b68aaaf0c4b8b6f0d">SVF::AbstractExecution::directCallFunPass</a></div><div class="ttdeci">virtual void directCallFunPass(const CallICFGNode *callNode)</div><div class="ttdef"><b>Definition:</b> <a href="AbstractExecution_8cpp_source.html#l00686">AbstractExecution.cpp:686</a></div></div>
314
+ <div class="ttc" id="aclassSVF_1_1AbstractExecution_html_a76595e5d1a25c6c012f949f2d94c5ab6"><div class="ttname"><a href="classSVF_1_1AbstractExecution.html#a76595e5d1a25c6c012f949f2d94c5ab6">SVF::AbstractExecution::isFunEntry</a></div><div class="ttdeci">bool isFunEntry(const ICFGNode *node)</div><div class="ttdef"><b>Definition:</b> <a href="AbstractExecution_8cpp_source.html#l00255">AbstractExecution.cpp:255</a></div></div>
315
+ <div class="ttc" id="aclassSVF_1_1AbstractExecution_html_a28df4f2bd5b337468f254cd609adb25f"><div class="ttname"><a href="classSVF_1_1AbstractExecution.html#a28df4f2bd5b337468f254cd609adb25f">SVF::AbstractExecution::hasBranchES</a></div><div class="ttdeci">bool hasBranchES(const IntraCFGEdge *intraEdge, IntervalExeState &amp;es)</div><div class="ttdef"><b>Definition:</b> <a href="AbstractExecution_8cpp_source.html#l00553">AbstractExecution.cpp:553</a></div></div>
316
+ <div class="ttc" id="aclassSVF_1_1AbstractExecution_html_ad36d48c0ef82de915d9339c4f47cbd70"><div class="ttname"><a href="classSVF_1_1AbstractExecution.html#ad36d48c0ef82de915d9339c4f47cbd70">SVF::AbstractExecution::_kind</a></div><div class="ttdeci">AEKind _kind</div><div class="ttdef"><b>Definition:</b> <a href="AbstractExecution_8h_source.html#l00349">AbstractExecution.h:349</a></div></div>
317
+ <div class="ttc" id="aclassSVF_1_1AbstractExecution_html_adc740771e712644d08f95fc6c488c1af"><div class="ttname"><a href="classSVF_1_1AbstractExecution.html#adc740771e712644d08f95fc6c488c1af">SVF::AbstractExecution::hasSwitchBranchES</a></div><div class="ttdeci">bool hasSwitchBranchES(const SVFVar *var, s64_t succ, IntervalExeState &amp;es)</div><div class="ttdef"><b>Definition:</b> <a href="AbstractExecution_8cpp_source.html#l00509">AbstractExecution.cpp:509</a></div></div>
318
+ <div class="ttc" id="aclassSVF_1_1AbstractExecution_html_a9c23029833558b082c613fa5e0f14c0d"><div class="ttname"><a href="classSVF_1_1AbstractExecution.html#a9c23029833558b082c613fa5e0f14c0d">SVF::AbstractExecution::classof</a></div><div class="ttdeci">static bool classof(const AbstractExecution *ae)</div><div class="ttdef"><b>Definition:</b> <a href="AbstractExecution_8h_source.html#l00127">AbstractExecution.h:127</a></div></div>
319
+ <div class="ttc" id="aclassSVF_1_1AbstractExecution_html_a99be86146ad4ddbdb900cdb6b324f943"><div class="ttname"><a href="classSVF_1_1AbstractExecution.html#a99be86146ad4ddbdb900cdb6b324f943">SVF::AbstractExecution::getStrlen</a></div><div class="ttdeci">IntervalValue getStrlen(const SVF::SVFValue *strValue)</div><div class="ttdef"><b>Definition:</b> <a href="AbstractExecution_8cpp_source.html#l01516">AbstractExecution.cpp:1516</a></div></div>
320
+ <div class="ttc" id="aclassSVF_1_1AbstractExecution_html_aff1c9582db75361b68aaaf0c4b8b6f0d"><div class="ttname"><a href="classSVF_1_1AbstractExecution.html#aff1c9582db75361b68aaaf0c4b8b6f0d">SVF::AbstractExecution::directCallFunPass</a></div><div class="ttdeci">virtual void directCallFunPass(const CallICFGNode *callNode)</div><div class="ttdef"><b>Definition:</b> <a href="AbstractExecution_8cpp_source.html#l00681">AbstractExecution.cpp:681</a></div></div>
364
321
  <div class="ttc" id="aclassSVF_1_1AddrStmt_html"><div class="ttname"><a href="classSVF_1_1AddrStmt.html">SVF::AddrStmt</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00313">SVFStatements.h:313</a></div></div>
365
- <div class="ttc" id="aclassSVF_1_1AbstractExecution_html_a319fe24ebb925f70fde574d5b17c3b98"><div class="ttname"><a href="classSVF_1_1AbstractExecution.html#a319fe24ebb925f70fde574d5b17c3b98">SVF::AbstractExecution::isExtCall</a></div><div class="ttdeci">virtual bool isExtCall(const CallICFGNode *callNode)</div><div class="ttdef"><b>Definition:</b> <a href="AbstractExecution_8cpp_source.html#l00644">AbstractExecution.cpp:644</a></div></div>
366
- <div class="ttc" id="aclassSVF_1_1AbstractExecution_html_ab5021d59a929f4eaf5e59d911036d201"><div class="ttname"><a href="classSVF_1_1AbstractExecution.html#ab5021d59a929f4eaf5e59d911036d201">SVF::AbstractExecution::_icfg</a></div><div class="ttdeci">ICFG * _icfg</div><div class="ttdef"><b>Definition:</b> <a href="AbstractExecution_8h_source.html#l00247">AbstractExecution.h:247</a></div></div>
322
+ <div class="ttc" id="aclassSVF_1_1AbstractExecution_html_a319fe24ebb925f70fde574d5b17c3b98"><div class="ttname"><a href="classSVF_1_1AbstractExecution.html#a319fe24ebb925f70fde574d5b17c3b98">SVF::AbstractExecution::isExtCall</a></div><div class="ttdeci">virtual bool isExtCall(const CallICFGNode *callNode)</div><div class="ttdef"><b>Definition:</b> <a href="AbstractExecution_8cpp_source.html#l00639">AbstractExecution.cpp:639</a></div></div>
323
+ <div class="ttc" id="aclassSVF_1_1AbstractExecution_html_aaa2f3713bd6d39bb4e9b5119b64277c7"><div class="ttname"><a href="classSVF_1_1AbstractExecution.html#aaa2f3713bd6d39bb4e9b5119b64277c7">SVF::AbstractExecution::checkPointAllSet</a></div><div class="ttdeci">void checkPointAllSet()</div><div class="ttdef"><b>Definition:</b> <a href="AbstractExecution_8cpp_source.html#l01320">AbstractExecution.cpp:1320</a></div></div>
324
+ <div class="ttc" id="aclassSVF_1_1AbstractExecution_html_ab5021d59a929f4eaf5e59d911036d201"><div class="ttname"><a href="classSVF_1_1AbstractExecution.html#ab5021d59a929f4eaf5e59d911036d201">SVF::AbstractExecution::_icfg</a></div><div class="ttdeci">ICFG * _icfg</div><div class="ttdef"><b>Definition:</b> <a href="AbstractExecution_8h_source.html#l00347">AbstractExecution.h:347</a></div></div>
367
325
  <div class="ttc" id="aclassSVF_1_1SVFStat_html_abd7a79d1fe50110a0c1d448027492669"><div class="ttname"><a href="classSVF_1_1SVFStat.html#abd7a79d1fe50110a0c1d448027492669">SVF::SVFStat::startTime</a></div><div class="ttdeci">double startTime</div><div class="ttdef"><b>Definition:</b> <a href="SVFStat_8h_source.html#l00080">SVFStat.h:80</a></div></div>
368
- <div class="ttc" id="aclassSVF_1_1AbstractExecution_html_a6cbc336372afb947c783fb14c45426df"><div class="ttname"><a href="classSVF_1_1AbstractExecution.html#a6cbc336372afb947c783fb14c45426df">SVF::AbstractExecution::handleCallSite</a></div><div class="ttdeci">virtual void handleCallSite(const ICFGNode *node)</div><div class="ttdef"><b>Definition:</b> <a href="AbstractExecution_8cpp_source.html#l00613">AbstractExecution.cpp:613</a></div></div>
326
+ <div class="ttc" id="aclassSVF_1_1AbstractExecution_html_a6cbc336372afb947c783fb14c45426df"><div class="ttname"><a href="classSVF_1_1AbstractExecution.html#a6cbc336372afb947c783fb14c45426df">SVF::AbstractExecution::handleCallSite</a></div><div class="ttdeci">virtual void handleCallSite(const ICFGNode *node)</div><div class="ttdef"><b>Definition:</b> <a href="AbstractExecution_8cpp_source.html#l00608">AbstractExecution.cpp:608</a></div></div>
369
327
  <div class="ttc" id="anamespaceSVF_html_af739db846e47ba6b2fd15eaad31ab7fb"><div class="ttname"><a href="namespaceSVF.html#af739db846e47ba6b2fd15eaad31ab7fb">SVF::Set</a></div><div class="ttdeci">std::unordered_set&lt; Key, Hash, KeyEqual, Allocator &gt; Set</div><div class="ttdef"><b>Definition:</b> <a href="GeneralType_8h_source.html#l00092">GeneralType.h:92</a></div></div>
370
- <div class="ttc" id="aclassSVF_1_1AEStat_html_a4b1f6388893e6aaef1acd411972cde19"><div class="ttname"><a href="classSVF_1_1AEStat.html#a4b1f6388893e6aaef1acd411972cde19">SVF::AEStat::memUsage</a></div><div class="ttdeci">std::string memUsage</div><div class="ttdef"><b>Definition:</b> <a href="AbstractExecution_8h_source.html#l00082">AbstractExecution.h:82</a></div></div>
328
+ <div class="ttc" id="aclassSVF_1_1AEStat_html_a4b1f6388893e6aaef1acd411972cde19"><div class="ttname"><a href="classSVF_1_1AEStat.html#a4b1f6388893e6aaef1acd411972cde19">SVF::AEStat::memUsage</a></div><div class="ttdeci">std::string memUsage</div><div class="ttdef"><b>Definition:</b> <a href="AbstractExecution_8h_source.html#l00078">AbstractExecution.h:78</a></div></div>
371
329
  <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#l00066">BasicTypes.h:66</a></div></div>
372
- <div class="ttc" id="aclassSVF_1_1AEAPI_html_ad364ccca2d91efa83263fad7ed196361"><div class="ttname"><a href="classSVF_1_1AEAPI.html#ad364ccca2d91efa83263fad7ed196361">SVF::AEAPI::_checkpoints</a></div><div class="ttdeci">Set&lt; const CallICFGNode * &gt; _checkpoints</div><div class="ttdef"><b>Definition:</b> <a href="AbstractExecution_8h_source.html#l00434">AbstractExecution.h:434</a></div></div>
373
- <div class="ttc" id="aclassSVF_1_1AEAPI_html_a4d160903c3bbedbd486be39c40c2c836"><div class="ttname"><a href="classSVF_1_1AEAPI.html#a4d160903c3bbedbd486be39c40c2c836">SVF::AEAPI::handleStrcat</a></div><div class="ttdeci">virtual void handleStrcat(const CallICFGNode *call)</div><div class="ttdef"><b>Definition:</b> <a href="AbstractExecution_8cpp_source.html#l01575">AbstractExecution.cpp:1575</a></div></div>
374
- <div class="ttc" id="aclassSVF_1_1AbstractExecution_html_ac7a25ad5cbc1a6132869ae54b805f73a"><div class="ttname"><a href="classSVF_1_1AbstractExecution.html#ac7a25ad5cbc1a6132869ae54b805f73a">SVF::AbstractExecution::hasCmpBranchES</a></div><div class="ttdeci">bool hasCmpBranchES(const CmpStmt *cmpStmt, s64_t succ, IntervalExeState &amp;es)</div><div class="ttdef"><b>Definition:</b> <a href="AbstractExecution_8cpp_source.html#l00284">AbstractExecution.cpp:284</a></div></div>
330
+ <div class="ttc" id="aclassSVF_1_1AbstractExecution_html_ade8434d8f0f5d832842d60b7a56fa64f"><div class="ttname"><a href="classSVF_1_1AbstractExecution.html#ade8434d8f0f5d832842d60b7a56fa64f">SVF::AbstractExecution::_funcToWTO</a></div><div class="ttdeci">Map&lt; const SVFFunction *, ICFGWTO * &gt; _funcToWTO</div><div class="ttdef"><b>Definition:</b> <a href="AbstractExecution_8h_source.html#l00356">AbstractExecution.h:356</a></div></div>
331
+ <div class="ttc" id="aclassSVF_1_1AbstractExecution_html_a442fb8eda087f72aa61816213dea43afa12d7009fd0108df805ee49182fe12ccc"><div class="ttname"><a href="classSVF_1_1AbstractExecution.html#a442fb8eda087f72aa61816213dea43afa12d7009fd0108df805ee49182fe12ccc">SVF::AbstractExecution::UNCLASSIFIED</a></div><div class="ttdeci">@ UNCLASSIFIED</div><div class="ttdef"><b>Definition:</b> <a href="AbstractExecution_8h_source.html#l00114">AbstractExecution.h:114</a></div></div>
332
+ <div class="ttc" id="aclassSVF_1_1AbstractExecution_html_ac7a25ad5cbc1a6132869ae54b805f73a"><div class="ttname"><a href="classSVF_1_1AbstractExecution.html#ac7a25ad5cbc1a6132869ae54b805f73a">SVF::AbstractExecution::hasCmpBranchES</a></div><div class="ttdeci">bool hasCmpBranchES(const CmpStmt *cmpStmt, s64_t succ, IntervalExeState &amp;es)</div><div class="ttdef"><b>Definition:</b> <a href="AbstractExecution_8cpp_source.html#l00279">AbstractExecution.cpp:279</a></div></div>
375
333
  <div class="ttc" id="aSVFIR2ItvExeState_8h_html"><div class="ttname"><a href="SVFIR2ItvExeState_8h.html">SVFIR2ItvExeState.h</a></div></div>
376
- <div class="ttc" id="aclassSVF_1_1AEAPI_html_a29ab312d273e6c9c32a40d61861afb04ab8167323edeff68403cf4ceb7e8133d9"><div class="ttname"><a href="classSVF_1_1AEAPI.html#a29ab312d273e6c9c32a40d61861afb04ab8167323edeff68403cf4ceb7e8133d9">SVF::AEAPI::STRCAT</a></div><div class="ttdeci">@ STRCAT</div><div class="ttdef"><b>Definition:</b> <a href="AbstractExecution_8h_source.html#l00289">AbstractExecution.h:289</a></div></div>
377
334
  <div class="ttc" id="anamespaceSVF_html_a41375daa7cc99317d0aa2a21dc643b88a53d18d0ea8b11173db3d2f60f838ffe1"><div class="ttname"><a href="namespaceSVF.html#a41375daa7cc99317d0aa2a21dc643b88a53d18d0ea8b11173db3d2f60f838ffe1">SVF::AEKind::AbstractExecution</a></div><div class="ttdeci">@ AbstractExecution</div></div>
378
- <div class="ttc" id="aclassSVF_1_1AEAPI_html_ae983d887ccf66c7f21b4712b37ab5f60"><div class="ttname"><a href="classSVF_1_1AEAPI.html#ae983d887ccf66c7f21b4712b37ab5f60">SVF::AEAPI::_svfir</a></div><div class="ttdeci">SVFIR * _svfir</div><div class="ttdef"><b>Definition:</b> <a href="AbstractExecution_8h_source.html#l00429">AbstractExecution.h:429</a></div></div>
379
- <div class="ttc" id="aclassSVF_1_1AEStat_html_a03a5abacf309902ce2bb9a9733ff195f"><div class="ttname"><a href="classSVF_1_1AEStat.html#a03a5abacf309902ce2bb9a9733ff195f">SVF::AEStat::count</a></div><div class="ttdeci">s32_t count</div><div class="ttdef"><b>Definition:</b> <a href="AbstractExecution_8h_source.html#l00080">AbstractExecution.h:80</a></div></div>
380
- <div class="ttc" id="aclassSVF_1_1AbstractExecution_html_a55737f5c82afce29a816eb21070a2bc1"><div class="ttname"><a href="classSVF_1_1AbstractExecution.html#a55737f5c82afce29a816eb21070a2bc1">SVF::AbstractExecution::_nodeToBugInfo</a></div><div class="ttdeci">Map&lt; const ICFGNode *, std::string &gt; _nodeToBugInfo</div><div class="ttdef"><b>Definition:</b> <a href="AbstractExecution_8h_source.html#l00254">AbstractExecution.h:254</a></div></div>
335
+ <div class="ttc" id="aclassSVF_1_1AEStat_html_a03a5abacf309902ce2bb9a9733ff195f"><div class="ttname"><a href="classSVF_1_1AEStat.html#a03a5abacf309902ce2bb9a9733ff195f">SVF::AEStat::count</a></div><div class="ttdeci">s32_t count</div><div class="ttdef"><b>Definition:</b> <a href="AbstractExecution_8h_source.html#l00076">AbstractExecution.h:76</a></div></div>
381
336
  <div class="ttc" id="aclassSVF_1_1SVFBugReport_html"><div class="ttname"><a href="classSVF_1_1SVFBugReport.html">SVF::SVFBugReport</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFBugReport_8h_source.html#l00288">SVFBugReport.h:288</a></div></div>
382
337
  <div class="ttc" id="aclassSVF_1_1CmpStmt_html"><div class="ttname"><a href="classSVF_1_1CmpStmt.html">SVF::CmpStmt</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00884">SVFStatements.h:884</a></div></div>
383
- <div class="ttc" id="aclassSVF_1_1AEAPI_html_a5172791c4432a4c4ab0f7e97e7b3b596"><div class="ttname"><a href="classSVF_1_1AEAPI.html#a5172791c4432a4c4ab0f7e97e7b3b596">SVF::AEAPI::setModule</a></div><div class="ttdeci">void setModule(SVFIR *svfModule)</div><div class="ttdef"><b>Definition:</b> <a href="AbstractExecution_8h_source.html#l00309">AbstractExecution.h:309</a></div></div>
384
- <div class="ttc" id="aclassSVF_1_1AbstractExecution_html_a5e24bceb3d6961117651dbc65e9a097a"><div class="ttname"><a href="classSVF_1_1AbstractExecution.html#a5e24bceb3d6961117651dbc65e9a097a">SVF::AbstractExecution::_svfir2ExeState</a></div><div class="ttdeci">SVFIR2ItvExeState * _svfir2ExeState</div><div class="ttdoc">Execution State, used to store the Interval Value of every SVF variable.</div><div class="ttdef"><b>Definition:</b> <a href="AbstractExecution_8h_source.html#l00244">AbstractExecution.h:244</a></div></div>
385
- <div class="ttc" id="aclassSVF_1_1AEStat_html_a2387fafd4d8f7775cb4ebf7b41b07bf8"><div class="ttname"><a href="classSVF_1_1AEStat.html#a2387fafd4d8f7775cb4ebf7b41b07bf8">SVF::AEStat::bugStr</a></div><div class="ttdeci">std::string bugStr</div><div class="ttdef"><b>Definition:</b> <a href="AbstractExecution_8h_source.html#l00083">AbstractExecution.h:83</a></div></div>
386
- <div class="ttc" id="aclassSVF_1_1AbstractExecution_html_aa220cdcd1653998d684ec14fe729932d"><div class="ttname"><a href="classSVF_1_1AbstractExecution.html#aa220cdcd1653998d684ec14fe729932d">SVF::AbstractExecution::recursiveCallPass</a></div><div class="ttdeci">virtual void recursiveCallPass(const CallICFGNode *callNode)</div><div class="ttdef"><b>Definition:</b> <a href="AbstractExecution_8cpp_source.html#l00663">AbstractExecution.cpp:663</a></div></div>
387
- <div class="ttc" id="aclassSVF_1_1AEAPI_html_a2dc09f4a21cf629ebe500f856cf86bb4"><div class="ttname"><a href="classSVF_1_1AEAPI.html#a2dc09f4a21cf629ebe500f856cf86bb4">SVF::AEAPI::collectCheckPoint</a></div><div class="ttdeci">void collectCheckPoint()</div><div class="ttdef"><b>Definition:</b> <a href="AbstractExecution_8cpp_source.html#l01306">AbstractExecution.cpp:1306</a></div></div>
338
+ <div class="ttc" id="aclassSVF_1_1AbstractExecution_html_a5e24bceb3d6961117651dbc65e9a097a"><div class="ttname"><a href="classSVF_1_1AbstractExecution.html#a5e24bceb3d6961117651dbc65e9a097a">SVF::AbstractExecution::_svfir2ExeState</a></div><div class="ttdeci">SVFIR2ItvExeState * _svfir2ExeState</div><div class="ttdoc">Execution State, used to store the Interval Value of every SVF variable.</div><div class="ttdef"><b>Definition:</b> <a href="AbstractExecution_8h_source.html#l00344">AbstractExecution.h:344</a></div></div>
339
+ <div class="ttc" id="aclassSVF_1_1AEStat_html_a2387fafd4d8f7775cb4ebf7b41b07bf8"><div class="ttname"><a href="classSVF_1_1AEStat.html#a2387fafd4d8f7775cb4ebf7b41b07bf8">SVF::AEStat::bugStr</a></div><div class="ttdeci">std::string bugStr</div><div class="ttdef"><b>Definition:</b> <a href="AbstractExecution_8h_source.html#l00079">AbstractExecution.h:79</a></div></div>
340
+ <div class="ttc" id="aclassSVF_1_1AbstractExecution_html_aa220cdcd1653998d684ec14fe729932d"><div class="ttname"><a href="classSVF_1_1AbstractExecution.html#aa220cdcd1653998d684ec14fe729932d">SVF::AbstractExecution::recursiveCallPass</a></div><div class="ttdeci">virtual void recursiveCallPass(const CallICFGNode *callNode)</div><div class="ttdef"><b>Definition:</b> <a href="AbstractExecution_8cpp_source.html#l00658">AbstractExecution.cpp:658</a></div></div>
388
341
  <div class="ttc" id="aclassSVF_1_1ICFGNode_html"><div class="ttname"><a href="classSVF_1_1ICFGNode.html">SVF::ICFGNode</a></div><div class="ttdef"><b>Definition:</b> <a href="ICFGNode_8h_source.html#l00054">ICFGNode.h:54</a></div></div>
389
- <div class="ttc" id="aclassSVF_1_1AEStat_html_a798d07cc0a36ce0d9010ab86d1ec216f"><div class="ttname"><a href="classSVF_1_1AEStat.html#a798d07cc0a36ce0d9010ab86d1ec216f">SVF::AEStat::performStat</a></div><div class="ttdeci">void performStat() override</div><div class="ttdef"><b>Definition:</b> <a href="AbstractExecution_8cpp_source.html#l01078">AbstractExecution.cpp:1078</a></div></div>
390
- <div class="ttc" id="aclassSVF_1_1AbstractExecution_html_a5ed683d635bd05f0bee10436d20deb31"><div class="ttname"><a href="classSVF_1_1AbstractExecution.html#a5ed683d635bd05f0bee10436d20deb31">SVF::AbstractExecution::_recoder</a></div><div class="ttdeci">SVFBugReport _recoder</div><div class="ttdef"><b>Definition:</b> <a href="AbstractExecution_8h_source.html#l00252">AbstractExecution.h:252</a></div></div>
342
+ <div class="ttc" id="aclassSVF_1_1AEStat_html_a798d07cc0a36ce0d9010ab86d1ec216f"><div class="ttname"><a href="classSVF_1_1AEStat.html#a798d07cc0a36ce0d9010ab86d1ec216f">SVF::AEStat::performStat</a></div><div class="ttdeci">void performStat() override</div><div class="ttdef"><b>Definition:</b> <a href="AbstractExecution_8cpp_source.html#l01073">AbstractExecution.cpp:1073</a></div></div>
343
+ <div class="ttc" id="aclassSVF_1_1AbstractExecution_html_a5ed683d635bd05f0bee10436d20deb31"><div class="ttname"><a href="classSVF_1_1AbstractExecution.html#a5ed683d635bd05f0bee10436d20deb31">SVF::AbstractExecution::_recoder</a></div><div class="ttdeci">SVFBugReport _recoder</div><div class="ttdef"><b>Definition:</b> <a href="AbstractExecution_8h_source.html#l00352">AbstractExecution.h:352</a></div></div>
391
344
  <div class="ttc" id="anamespaceSVF_html_a41375daa7cc99317d0aa2a21dc643b88aa5aa2ddadb5f0392b52dcbe487fe0ecd"><div class="ttname"><a href="namespaceSVF.html#a41375daa7cc99317d0aa2a21dc643b88aa5aa2ddadb5f0392b52dcbe487fe0ecd">SVF::AEKind::BufOverflowChecker</a></div><div class="ttdeci">@ BufOverflowChecker</div></div>
392
- <div class="ttc" id="aclassSVF_1_1AbstractExecution_html_a97c5745ddcd0ce72e65dee09ff7afb42"><div class="ttname"><a href="classSVF_1_1AbstractExecution.html#a97c5745ddcd0ce72e65dee09ff7afb42">SVF::AbstractExecution::SkipRecursiveCall</a></div><div class="ttdeci">virtual void SkipRecursiveCall(const CallICFGNode *callnode)</div><div class="ttdef"><b>Definition:</b> <a href="AbstractExecution_8cpp_source.html#l00951">AbstractExecution.cpp:951</a></div></div>
393
- <div class="ttc" id="aclassSVF_1_1AbstractExecution_html_ac7b2e6bdccab5a507c9e8db8ea4682d3"><div class="ttname"><a href="classSVF_1_1AbstractExecution.html#ac7b2e6bdccab5a507c9e8db8ea4682d3">SVF::AbstractExecution::_recursiveFuns</a></div><div class="ttdeci">Set&lt; const SVFFunction * &gt; _recursiveFuns</div><div class="ttdef"><b>Definition:</b> <a href="AbstractExecution_8h_source.html#l00257">AbstractExecution.h:257</a></div></div>
394
- <div class="ttc" id="aclassSVF_1_1AEAPI_html_ac49859a7848fbef0e29492e95b031f1f"><div class="ttname"><a href="classSVF_1_1AEAPI.html#ac49859a7848fbef0e29492e95b031f1f">SVF::AEAPI::AccessMemoryViaCallArgs</a></div><div class="ttdeci">void AccessMemoryViaCallArgs(const SVF::SVFArgument *arg, SVF::FILOWorkList&lt; const SVFValue * &gt; &amp;worklist, Set&lt; const SVFValue * &gt; &amp;visited)</div><div class="ttdef"><b>Definition:</b> <a href="AbstractExecution_8cpp_source.html#l01794">AbstractExecution.cpp:1794</a></div></div>
395
- <div class="ttc" id="aclassSVF_1_1AEAPI_html_a3df0f1b34893f44904dce62e6641a58e"><div class="ttname"><a href="classSVF_1_1AEAPI.html#a3df0f1b34893f44904dce62e6641a58e">SVF::AEAPI::strRead</a></div><div class="ttdeci">std::string strRead(const SVFValue *rhs)</div><div class="ttdef"><b>Definition:</b> <a href="AbstractExecution_8cpp_source.html#l01211">AbstractExecution.cpp:1211</a></div></div>
396
- <div class="ttc" id="aclassSVF_1_1AbstractExecution_html_a87c34d221e5b3ec37e89e8977eb28608"><div class="ttname"><a href="classSVF_1_1AbstractExecution.html#a87c34d221e5b3ec37e89e8977eb28608">SVF::AbstractExecution::narrowFixpointPass</a></div><div class="ttdeci">bool narrowFixpointPass(const ICFGNode *cycle_head, IntervalExeState &amp;pre_es)</div><div class="ttdef"><b>Definition:</b> <a href="AbstractExecution_8cpp_source.html#l00845">AbstractExecution.cpp:845</a></div></div>
397
- <div class="ttc" id="aclassSVF_1_1AbstractExecution_html_a86d304f1a16689234d091da4e6e967a7"><div class="ttname"><a href="classSVF_1_1AbstractExecution.html#a86d304f1a16689234d091da4e6e967a7">SVF::AbstractExecution::_preES</a></div><div class="ttdeci">Map&lt; const ICFGNode *, IntervalExeState &gt; _preES</div><div class="ttdef"><b>Definition:</b> <a href="AbstractExecution_8h_source.html#l00279">AbstractExecution.h:279</a></div></div>
398
- <div class="ttc" id="aclassSVF_1_1AEAPI_html_afed1d221bdb876046ec036f1cae53fd3"><div class="ttname"><a href="classSVF_1_1AEAPI.html#afed1d221bdb876046ec036f1cae53fd3">SVF::AEAPI::_stat</a></div><div class="ttdeci">AEStat * _stat</div><div class="ttdef"><b>Definition:</b> <a href="AbstractExecution_8h_source.html#l00428">AbstractExecution.h:428</a></div></div>
399
- <div class="ttc" id="aclassSVF_1_1AbstractExecution_html_a6c381287424a3623cfdae5a75d2a9c9b"><div class="ttname"><a href="classSVF_1_1AbstractExecution.html#a6c381287424a3623cfdae5a75d2a9c9b">SVF::AbstractExecution::getKind</a></div><div class="ttdeci">AEKind getKind() const</div><div class="ttdef"><b>Definition:</b> <a href="AbstractExecution_8h_source.html#l00138">AbstractExecution.h:138</a></div></div>
400
- <div class="ttc" id="aclassSVF_1_1AEAPI_html_afa34cb2ee3fc1ca5aa04a2afe7c2d6e8"><div class="ttname"><a href="classSVF_1_1AEAPI.html#afa34cb2ee3fc1ca5aa04a2afe7c2d6e8">SVF::AEAPI::AccessMemoryViaLoadStmt</a></div><div class="ttdeci">void AccessMemoryViaLoadStmt(const LoadStmt *load, SVF::FILOWorkList&lt; const SVFValue * &gt; &amp;worklist, Set&lt; const SVFValue * &gt; &amp;visited)</div><div class="ttdef"><b>Definition:</b> <a href="AbstractExecution_8cpp_source.html#l01774">AbstractExecution.cpp:1774</a></div></div>
345
+ <div class="ttc" id="aclassSVF_1_1AbstractExecution_html_a97c5745ddcd0ce72e65dee09ff7afb42"><div class="ttname"><a href="classSVF_1_1AbstractExecution.html#a97c5745ddcd0ce72e65dee09ff7afb42">SVF::AbstractExecution::SkipRecursiveCall</a></div><div class="ttdeci">virtual void SkipRecursiveCall(const CallICFGNode *callnode)</div><div class="ttdef"><b>Definition:</b> <a href="AbstractExecution_8cpp_source.html#l00946">AbstractExecution.cpp:946</a></div></div>
346
+ <div class="ttc" id="aclassSVF_1_1AbstractExecution_html_a32abc52bc54745027aa2daa67a8278f3"><div class="ttname"><a href="classSVF_1_1AbstractExecution.html#a32abc52bc54745027aa2daa67a8278f3">SVF::AbstractExecution::_checkpoint_names</a></div><div class="ttdeci">Set&lt; std::string &gt; _checkpoint_names</div><div class="ttdef"><b>Definition:</b> <a href="AbstractExecution_8h_source.html#l00384">AbstractExecution.h:384</a></div></div>
347
+ <div class="ttc" id="aclassSVF_1_1AbstractExecution_html_ac7b2e6bdccab5a507c9e8db8ea4682d3"><div class="ttname"><a href="classSVF_1_1AbstractExecution.html#ac7b2e6bdccab5a507c9e8db8ea4682d3">SVF::AbstractExecution::_recursiveFuns</a></div><div class="ttdeci">Set&lt; const SVFFunction * &gt; _recursiveFuns</div><div class="ttdef"><b>Definition:</b> <a href="AbstractExecution_8h_source.html#l00357">AbstractExecution.h:357</a></div></div>
348
+ <div class="ttc" id="aclassSVF_1_1AbstractExecution_html_a87c34d221e5b3ec37e89e8977eb28608"><div class="ttname"><a href="classSVF_1_1AbstractExecution.html#a87c34d221e5b3ec37e89e8977eb28608">SVF::AbstractExecution::narrowFixpointPass</a></div><div class="ttdeci">bool narrowFixpointPass(const ICFGNode *cycle_head, IntervalExeState &amp;pre_es)</div><div class="ttdef"><b>Definition:</b> <a href="AbstractExecution_8cpp_source.html#l00840">AbstractExecution.cpp:840</a></div></div>
349
+ <div class="ttc" id="aclassSVF_1_1AbstractExecution_html_a86d304f1a16689234d091da4e6e967a7"><div class="ttname"><a href="classSVF_1_1AbstractExecution.html#a86d304f1a16689234d091da4e6e967a7">SVF::AbstractExecution::_preES</a></div><div class="ttdeci">Map&lt; const ICFGNode *, IntervalExeState &gt; _preES</div><div class="ttdef"><b>Definition:</b> <a href="AbstractExecution_8h_source.html#l00387">AbstractExecution.h:387</a></div></div>
350
+ <div class="ttc" id="aclassSVF_1_1AbstractExecution_html_a37c0e12879d3320857a288191e6d2202"><div class="ttname"><a href="classSVF_1_1AbstractExecution.html#a37c0e12879d3320857a288191e6d2202">SVF::AbstractExecution::handleMemcpy</a></div><div class="ttdeci">virtual void handleMemcpy(const SVFValue *dst, const SVFValue *src, IntervalValue len, u32_t start_idx)</div><div class="ttdef"><b>Definition:</b> <a href="AbstractExecution_8cpp_source.html#l01606">AbstractExecution.cpp:1606</a></div></div>
351
+ <div class="ttc" id="aclassSVF_1_1AbstractExecution_html_a63044080ddea89905bc9a4336eb8b2a7"><div class="ttname"><a href="classSVF_1_1AbstractExecution.html#a63044080ddea89905bc9a4336eb8b2a7">SVF::AbstractExecution::strRead</a></div><div class="ttdeci">std::string strRead(const SVFValue *rhs)</div><div class="ttdef"><b>Definition:</b> <a href="AbstractExecution_8cpp_source.html#l01206">AbstractExecution.cpp:1206</a></div></div>
352
+ <div class="ttc" id="aclassSVF_1_1AbstractExecution_html_a6c381287424a3623cfdae5a75d2a9c9b"><div class="ttname"><a href="classSVF_1_1AbstractExecution.html#a6c381287424a3623cfdae5a75d2a9c9b">SVF::AbstractExecution::getKind</a></div><div class="ttdeci">AEKind getKind() const</div><div class="ttdef"><b>Definition:</b> <a href="AbstractExecution_8h_source.html#l00132">AbstractExecution.h:132</a></div></div>
353
+ <div class="ttc" id="aclassSVF_1_1AbstractExecution_html_ad70015e99339c3beb3a911c0ff6f0144"><div class="ttname"><a href="classSVF_1_1AbstractExecution.html#ad70015e99339c3beb3a911c0ff6f0144">SVF::AbstractExecution::handleMemset</a></div><div class="ttdeci">virtual void handleMemset(const SVFValue *dst, IntervalValue elem, IntervalValue len)</div><div class="ttdef"><b>Definition:</b> <a href="AbstractExecution_8cpp_source.html#l01680">AbstractExecution.cpp:1680</a></div></div>
401
354
  <div class="ttc" id="aclassSVF_1_1SVFStat_html_ac9d390c417df6f6af6b274618b87010d"><div class="ttname"><a href="classSVF_1_1SVFStat.html#ac9d390c417df6f6af6b274618b87010d">SVF::SVFStat::getClk</a></div><div class="ttdeci">static double getClk(bool mark=false)</div><div class="ttdef"><b>Definition:</b> <a href="SVFStat_8cpp_source.html#l00047">SVFStat.cpp:47</a></div></div>
402
355
  <div class="ttc" id="aclassSVF_1_1SVFIR2ItvExeState_html"><div class="ttname"><a href="classSVF_1_1SVFIR2ItvExeState.html">SVF::SVFIR2ItvExeState</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFIR2ItvExeState_8h_source.html#l00044">SVFIR2ItvExeState.h:44</a></div></div>
403
- <div class="ttc" id="aclassSVF_1_1AEAPI_html_a29ab312d273e6c9c32a40d61861afb04a9a492bae5e1779267055b83cf033da28"><div class="ttname"><a href="classSVF_1_1AEAPI.html#a29ab312d273e6c9c32a40d61861afb04a9a492bae5e1779267055b83cf033da28">SVF::AEAPI::MEMCPY</a></div><div class="ttdeci">@ MEMCPY</div><div class="ttdef"><b>Definition:</b> <a href="AbstractExecution_8h_source.html#l00289">AbstractExecution.h:289</a></div></div>
404
- <div class="ttc" id="aclassSVF_1_1AbstractExecution_html_a790c178f8c29eecfc256a5dfd97d1637"><div class="ttname"><a href="classSVF_1_1AbstractExecution.html#a790c178f8c29eecfc256a5dfd97d1637">SVF::AbstractExecution::_bugLoc</a></div><div class="ttdeci">Set&lt; std::string &gt; _bugLoc</div><div class="ttdef"><b>Definition:</b> <a href="AbstractExecution_8h_source.html#l00251">AbstractExecution.h:251</a></div></div>
405
- <div class="ttc" id="aclassSVF_1_1AbstractExecution_html_a1d725fe50a7084bfa18bd47b941af885"><div class="ttname"><a href="classSVF_1_1AbstractExecution.html#a1d725fe50a7084bfa18bd47b941af885">SVF::AbstractExecution::handleSVFStatement</a></div><div class="ttdeci">virtual void handleSVFStatement(const SVFStmt *stmt)</div><div class="ttdef"><b>Definition:</b> <a href="AbstractExecution_8cpp_source.html#l00892">AbstractExecution.cpp:892</a></div></div>
406
- <div class="ttc" id="aclassSVF_1_1AEAPI_html_a243821a56807acf98be9d88f8947e01d"><div class="ttname"><a href="classSVF_1_1AEAPI.html#a243821a56807acf98be9d88f8947e01d">SVF::AEAPI::initExtFunMap</a></div><div class="ttdeci">virtual void initExtFunMap()</div><div class="ttdef"><b>Definition:</b> <a href="AbstractExecution_8cpp_source.html#l01139">AbstractExecution.cpp:1139</a></div></div>
356
+ <div class="ttc" id="aclassSVF_1_1AbstractExecution_html_a790c178f8c29eecfc256a5dfd97d1637"><div class="ttname"><a href="classSVF_1_1AbstractExecution.html#a790c178f8c29eecfc256a5dfd97d1637">SVF::AbstractExecution::_bugLoc</a></div><div class="ttdeci">Set&lt; std::string &gt; _bugLoc</div><div class="ttdef"><b>Definition:</b> <a href="AbstractExecution_8h_source.html#l00351">AbstractExecution.h:351</a></div></div>
357
+ <div class="ttc" id="aclassSVF_1_1AbstractExecution_html_a1d725fe50a7084bfa18bd47b941af885"><div class="ttname"><a href="classSVF_1_1AbstractExecution.html#a1d725fe50a7084bfa18bd47b941af885">SVF::AbstractExecution::handleSVFStatement</a></div><div class="ttdeci">virtual void handleSVFStatement(const SVFStmt *stmt)</div><div class="ttdef"><b>Definition:</b> <a href="AbstractExecution_8cpp_source.html#l00887">AbstractExecution.cpp:887</a></div></div>
407
358
  <div class="ttc" id="aclassSVF_1_1SVFValue_html"><div class="ttname"><a href="classSVF_1_1SVFValue.html">SVF::SVFValue</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00177">SVFValue.h:177</a></div></div>
408
- <div class="ttc" id="aclassSVF_1_1AEAPI_html_ae0519df0b6927a2d077c3d46beeaa9f7"><div class="ttname"><a href="classSVF_1_1AEAPI.html#ae0519df0b6927a2d077c3d46beeaa9f7">SVF::AEAPI::getStrlen</a></div><div class="ttdeci">IntervalValue getStrlen(const SVF::SVFValue *strValue)</div><div class="ttdef"><b>Definition:</b> <a href="AbstractExecution_8cpp_source.html#l01521">AbstractExecution.cpp:1521</a></div></div>
409
359
  <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>
360
+ <div class="ttc" id="aclassSVF_1_1AbstractExecution_html_a39c711b4657459d03ec67ae536bdec4d"><div class="ttname"><a href="classSVF_1_1AbstractExecution.html#a39c711b4657459d03ec67ae536bdec4d">SVF::AbstractExecution::CallGraphSCC</a></div><div class="ttdeci">SCCDetection&lt; PTACallGraph * &gt; CallGraphSCC</div><div class="ttdef"><b>Definition:</b> <a href="AbstractExecution_8h_source.html#l00115">AbstractExecution.h:115</a></div></div>
361
+ <div class="ttc" id="aclassSVF_1_1AbstractExecution_html_a598cb7b97bae122d0015c03b72beee9d"><div class="ttname"><a href="classSVF_1_1AbstractExecution.html#a598cb7b97bae122d0015c03b72beee9d">SVF::AbstractExecution::getAllocaInstByteSize</a></div><div class="ttdeci">u32_t getAllocaInstByteSize(const AddrStmt *addr)</div><div class="ttdef"><b>Definition:</b> <a href="AbstractExecution_8cpp_source.html#l01351">AbstractExecution.cpp:1351</a></div></div>
410
362
  <div class="ttc" id="aclassSVF_1_1CallICFGNode_html"><div class="ttname"><a href="classSVF_1_1CallICFGNode.html">SVF::CallICFGNode</a></div><div class="ttdef"><b>Definition:</b> <a href="ICFGNode_8h_source.html#l00385">ICFGNode.h:385</a></div></div>
411
363
  <div class="ttc" id="aclassSVF_1_1SVFType_html"><div class="ttname"><a href="classSVF_1_1SVFType.html">SVF::SVFType</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00156">SVFType.h:156</a></div></div>
412
- <div class="ttc" id="aclassSVF_1_1AbstractExecution_html_a7e1c3edfa546182ad394116b37b834f9"><div class="ttname"><a href="classSVF_1_1AbstractExecution.html#a7e1c3edfa546182ad394116b37b834f9">SVF::AbstractExecution::SkipRecursiveFunc</a></div><div class="ttdeci">virtual void SkipRecursiveFunc(const SVFFunction *func)</div><div class="ttdef"><b>Definition:</b> <a href="AbstractExecution_8cpp_source.html#l00978">AbstractExecution.cpp:978</a></div></div>
364
+ <div class="ttc" id="aclassSVF_1_1AbstractExecution_html_a7e1c3edfa546182ad394116b37b834f9"><div class="ttname"><a href="classSVF_1_1AbstractExecution.html#a7e1c3edfa546182ad394116b37b834f9">SVF::AbstractExecution::SkipRecursiveFunc</a></div><div class="ttdeci">virtual void SkipRecursiveFunc(const SVFFunction *func)</div><div class="ttdef"><b>Definition:</b> <a href="AbstractExecution_8cpp_source.html#l00973">AbstractExecution.cpp:973</a></div></div>
413
365
  <div class="ttc" id="aICFGWTO_8h_html"><div class="ttname"><a href="ICFGWTO_8h.html">ICFGWTO.h</a></div></div>
414
- <div class="ttc" id="aclassSVF_1_1AEAPI_html_a29ab312d273e6c9c32a40d61861afb04a68863d4626b3cde194a0fa6da74a3313"><div class="ttname"><a href="classSVF_1_1AEAPI.html#a29ab312d273e6c9c32a40d61861afb04a68863d4626b3cde194a0fa6da74a3313">SVF::AEAPI::MEMSET</a></div><div class="ttdeci">@ MEMSET</div><div class="ttdef"><b>Definition:</b> <a href="AbstractExecution_8h_source.html#l00289">AbstractExecution.h:289</a></div></div>
415
- <div class="ttc" id="aclassSVF_1_1AbstractExecution_html_a6c06e39df9b60a25480b4f485d1c2cbb"><div class="ttname"><a href="classSVF_1_1AbstractExecution.html#a6c06e39df9b60a25480b4f485d1c2cbb">SVF::AbstractExecution::handleWTONode</a></div><div class="ttdeci">void handleWTONode(const ICFGNode *node)</div><div class="ttdoc">handle instructions in svf basic blocks</div><div class="ttdef"><b>Definition:</b> <a href="AbstractExecution_8cpp_source.html#l00584">AbstractExecution.cpp:584</a></div></div>
416
- <div class="ttc" id="aclassSVF_1_1AEStat_html_a1e297f15d582d8c94c128a146ec92e1d"><div class="ttname"><a href="classSVF_1_1AEStat.html#a1e297f15d582d8c94c128a146ec92e1d">SVF::AEStat::AEStat</a></div><div class="ttdeci">AEStat(AbstractExecution *ae)</div><div class="ttdef"><b>Definition:</b> <a href="AbstractExecution_8h_source.html#l00061">AbstractExecution.h:61</a></div></div>
366
+ <div class="ttc" id="aclassSVF_1_1AbstractExecution_html_a888fd56160afe0d431c47bcf10674dc0"><div class="ttname"><a href="classSVF_1_1AbstractExecution.html#a888fd56160afe0d431c47bcf10674dc0">SVF::AbstractExecution::getPointeeElement</a></div><div class="ttdeci">const SVFType * getPointeeElement(NodeID id)</div><div class="ttdef"><b>Definition:</b> <a href="AbstractExecution_8cpp_source.html#l01663">AbstractExecution.cpp:1663</a></div></div>
367
+ <div class="ttc" id="aclassSVF_1_1AbstractExecution_html_a6c06e39df9b60a25480b4f485d1c2cbb"><div class="ttname"><a href="classSVF_1_1AbstractExecution.html#a6c06e39df9b60a25480b4f485d1c2cbb">SVF::AbstractExecution::handleWTONode</a></div><div class="ttdeci">void handleWTONode(const ICFGNode *node)</div><div class="ttdoc">handle instructions in svf basic blocks</div><div class="ttdef"><b>Definition:</b> <a href="AbstractExecution_8cpp_source.html#l00579">AbstractExecution.cpp:579</a></div></div>
368
+ <div class="ttc" id="aclassSVF_1_1AEStat_html_a1e297f15d582d8c94c128a146ec92e1d"><div class="ttname"><a href="classSVF_1_1AEStat.html#a1e297f15d582d8c94c128a146ec92e1d">SVF::AEStat::AEStat</a></div><div class="ttdeci">AEStat(AbstractExecution *ae)</div><div class="ttdef"><b>Definition:</b> <a href="AbstractExecution_8h_source.html#l00057">AbstractExecution.h:57</a></div></div>
369
+ <div class="ttc" id="aclassSVF_1_1AbstractExecution_html_a98f3c7d5e4b3722b717071cd320c8a60"><div class="ttname"><a href="classSVF_1_1AbstractExecution.html#a98f3c7d5e4b3722b717071cd320c8a60">SVF::AbstractExecution::AccessMemoryViaLoadStmt</a></div><div class="ttdeci">void AccessMemoryViaLoadStmt(const LoadStmt *load, SVF::FILOWorkList&lt; const SVFValue * &gt; &amp;worklist, Set&lt; const SVFValue * &gt; &amp;visited)</div><div class="ttdef"><b>Definition:</b> <a href="AbstractExecution_8cpp_source.html#l01769">AbstractExecution.cpp:1769</a></div></div>
417
370
  <div class="ttc" id="aclassSVF_1_1IntraCFGEdge_html"><div class="ttname"><a href="classSVF_1_1IntraCFGEdge.html">SVF::IntraCFGEdge</a></div><div class="ttdef"><b>Definition:</b> <a href="ICFGEdge_8h_source.html#l00113">ICFGEdge.h:113</a></div></div>
418
371
  <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#l00297">SVFValue.h:297</a></div></div>
419
- <div class="ttc" id="aclassSVF_1_1AEAPI_html_a7be3da80bedb1077a99d67daa124afde"><div class="ttname"><a href="classSVF_1_1AEAPI.html#a7be3da80bedb1077a99d67daa124afde">SVF::AEAPI::AccessMemoryViaRetNode</a></div><div class="ttdeci">void AccessMemoryViaRetNode(const CallICFGNode *callnode, SVF::FILOWorkList&lt; const SVFValue * &gt; &amp;worklist, Set&lt; const SVFValue * &gt; &amp;visited)</div><div class="ttdef"><b>Definition:</b> <a href="AbstractExecution_8cpp_source.html#l01740">AbstractExecution.cpp:1740</a></div></div>
420
- <div class="ttc" id="aclassSVF_1_1AbstractExecution_html_a53f3b9c51ed8648f14ecb703e9fe67ae"><div class="ttname"><a href="classSVF_1_1AbstractExecution.html#a53f3b9c51ed8648f14ecb703e9fe67ae">SVF::AbstractExecution::_ander</a></div><div class="ttdeci">AndersenWaveDiff * _ander</div><div class="ttdef"><b>Definition:</b> <a href="AbstractExecution_8h_source.html#l00255">AbstractExecution.h:255</a></div></div>
372
+ <div class="ttc" id="aclassSVF_1_1AbstractExecution_html_a53f3b9c51ed8648f14ecb703e9fe67ae"><div class="ttname"><a href="classSVF_1_1AbstractExecution.html#a53f3b9c51ed8648f14ecb703e9fe67ae">SVF::AbstractExecution::_ander</a></div><div class="ttdeci">AndersenWaveDiff * _ander</div><div class="ttdef"><b>Definition:</b> <a href="AbstractExecution_8h_source.html#l00355">AbstractExecution.h:355</a></div></div>
421
373
  <div class="ttc" id="anamespaceSVF_1_1SVFUtil_html_a630ff9c47f58f9b8df7c8a2b3711477c"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#a630ff9c47f58f9b8df7c8a2b3711477c">SVF::SVFUtil::getMemoryUsageKB</a></div><div class="ttdeci">bool getMemoryUsageKB(u32_t *vmrss_kb, u32_t *vmsize_kb)</div><div class="ttdoc">Get memory usage from system file. Return TRUE if succeed.</div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8cpp_source.html#l00177">SVFUtil.cpp:177</a></div></div>
422
- <div class="ttc" id="aclassSVF_1_1AbstractExecution_html_a609f7f047d88f8a2f44cd783668dc179"><div class="ttname"><a href="classSVF_1_1AbstractExecution.html#a609f7f047d88f8a2f44cd783668dc179">SVF::AbstractExecution::handleCycle</a></div><div class="ttdeci">virtual void handleCycle(const ICFGWTOCycle *cycle)</div><div class="ttdoc">handle wto cycle (loop)</div><div class="ttdef"><b>Definition:</b> <a href="AbstractExecution_8cpp_source.html#l00758">AbstractExecution.cpp:758</a></div></div>
423
- <div class="ttc" id="anamespaceSVF_html_a41375daa7cc99317d0aa2a21dc643b88"><div class="ttname"><a href="namespaceSVF.html#a41375daa7cc99317d0aa2a21dc643b88">SVF::AEKind</a></div><div class="ttdeci">AEKind</div><div class="ttdef"><b>Definition:</b> <a href="AbstractExecution_8h_source.html#l00050">AbstractExecution.h:50</a></div></div>
424
- <div class="ttc" id="aclassSVF_1_1AEStat_html_acc2262e59167d040da3b5c726bdbf36e"><div class="ttname"><a href="classSVF_1_1AEStat.html#acc2262e59167d040da3b5c726bdbf36e">SVF::AEStat::getMemUsage</a></div><div class="ttdeci">std::string getMemUsage()</div><div class="ttdef"><b>Definition:</b> <a href="AbstractExecution_8h_source.html#l00068">AbstractExecution.h:68</a></div></div>
425
- <div class="ttc" id="aclassSVF_1_1AbstractExecution_html_ae641b5687513661a2542e8318430d760"><div class="ttname"><a href="classSVF_1_1AbstractExecution.html#ae641b5687513661a2542e8318430d760">SVF::AbstractExecution::markRecursiveFuns</a></div><div class="ttdeci">void markRecursiveFuns()</div><div class="ttdoc">mark recursive functions by detecting SCC in callgraph</div><div class="ttdef"><b>Definition:</b> <a href="AbstractExecution_8cpp_source.html#l00143">AbstractExecution.cpp:143</a></div></div>
374
+ <div class="ttc" id="aclassSVF_1_1AbstractExecution_html_a28c04e0a985eda44fe8532c44c7e05bb"><div class="ttname"><a href="classSVF_1_1AbstractExecution.html#a28c04e0a985eda44fe8532c44c7e05bb">SVF::AbstractExecution::handleStrcat</a></div><div class="ttdeci">virtual void handleStrcat(const CallICFGNode *call)</div><div class="ttdef"><b>Definition:</b> <a href="AbstractExecution_8cpp_source.html#l01570">AbstractExecution.cpp:1570</a></div></div>
375
+ <div class="ttc" id="aclassSVF_1_1AbstractExecution_html_a609f7f047d88f8a2f44cd783668dc179"><div class="ttname"><a href="classSVF_1_1AbstractExecution.html#a609f7f047d88f8a2f44cd783668dc179">SVF::AbstractExecution::handleCycle</a></div><div class="ttdeci">virtual void handleCycle(const ICFGWTOCycle *cycle)</div><div class="ttdoc">handle wto cycle (loop)</div><div class="ttdef"><b>Definition:</b> <a href="AbstractExecution_8cpp_source.html#l00753">AbstractExecution.cpp:753</a></div></div>
376
+ <div class="ttc" id="anamespaceSVF_html_a41375daa7cc99317d0aa2a21dc643b88"><div class="ttname"><a href="namespaceSVF.html#a41375daa7cc99317d0aa2a21dc643b88">SVF::AEKind</a></div><div class="ttdeci">AEKind</div><div class="ttdef"><b>Definition:</b> <a href="AbstractExecution_8h_source.html#l00046">AbstractExecution.h:46</a></div></div>
377
+ <div class="ttc" id="aclassSVF_1_1AEStat_html_acc2262e59167d040da3b5c726bdbf36e"><div class="ttname"><a href="classSVF_1_1AEStat.html#acc2262e59167d040da3b5c726bdbf36e">SVF::AEStat::getMemUsage</a></div><div class="ttdeci">std::string getMemUsage()</div><div class="ttdef"><b>Definition:</b> <a href="AbstractExecution_8h_source.html#l00064">AbstractExecution.h:64</a></div></div>
378
+ <div class="ttc" id="aclassSVF_1_1AbstractExecution_html_ae641b5687513661a2542e8318430d760"><div class="ttname"><a href="classSVF_1_1AbstractExecution.html#ae641b5687513661a2542e8318430d760">SVF::AbstractExecution::markRecursiveFuns</a></div><div class="ttdeci">void markRecursiveFuns()</div><div class="ttdoc">mark recursive functions by detecting SCC in callgraph</div><div class="ttdef"><b>Definition:</b> <a href="AbstractExecution_8cpp_source.html#l00138">AbstractExecution.cpp:138</a></div></div>
379
+ <div class="ttc" id="aclassSVF_1_1AbstractExecution_html_a0a64bef0cc898059c50f6aec470cc6d9"><div class="ttname"><a href="classSVF_1_1AbstractExecution.html#a0a64bef0cc898059c50f6aec470cc6d9">SVF::AbstractExecution::_checkpoints</a></div><div class="ttdeci">Set&lt; const CallICFGNode * &gt; _checkpoints</div><div class="ttdef"><b>Definition:</b> <a href="AbstractExecution_8h_source.html#l00383">AbstractExecution.h:383</a></div></div>
426
380
  <div class="ttc" id="aclassSVF_1_1SVFStmt_html"><div class="ttname"><a href="classSVF_1_1SVFStmt.html">SVF::SVFStmt</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00051">SVFStatements.h:51</a></div></div>
427
381
  <div class="ttc" id="aclassSVF_1_1SVFStat_html_a07b6f8cb424b84b468c4518140fa3a41"><div class="ttname"><a href="classSVF_1_1SVFStat.html#a07b6f8cb424b84b468c4518140fa3a41">SVF::SVFStat::generalNumMap</a></div><div class="ttdeci">NUMStatMap generalNumMap</div><div class="ttdef"><b>Definition:</b> <a href="SVFStat_8h_source.html#l00076">SVFStat.h:76</a></div></div>
428
382
  <div class="ttc" id="aclassSVF_1_1IntervalExeState_html"><div class="ttname"><a href="classSVF_1_1IntervalExeState.html">SVF::IntervalExeState</a></div><div class="ttdef"><b>Definition:</b> <a href="IntervalExeState_8h_source.html#l00407">IntervalExeState.h:407</a></div></div>
383
+ <div class="ttc" id="aclassSVF_1_1AbstractExecution_html_ac920e03f019c47e585f6d0138f91585f"><div class="ttname"><a href="classSVF_1_1AbstractExecution.html#ac920e03f019c47e585f6d0138f91585f">SVF::AbstractExecution::AccessMemoryViaCallArgs</a></div><div class="ttdeci">void AccessMemoryViaCallArgs(const SVF::SVFArgument *arg, SVF::FILOWorkList&lt; const SVFValue * &gt; &amp;worklist, Set&lt; const SVFValue * &gt; &amp;visited)</div><div class="ttdef"><b>Definition:</b> <a href="AbstractExecution_8cpp_source.html#l01789">AbstractExecution.cpp:1789</a></div></div>
384
+ <div class="ttc" id="aclassSVF_1_1AbstractExecution_html_a140acf4733b46855c8627cf10dbb0bd5"><div class="ttname"><a href="classSVF_1_1AbstractExecution.html#a140acf4733b46855c8627cf10dbb0bd5">SVF::AbstractExecution::AccessMemoryViaRetNode</a></div><div class="ttdeci">void AccessMemoryViaRetNode(const CallICFGNode *callnode, SVF::FILOWorkList&lt; const SVFValue * &gt; &amp;worklist, Set&lt; const SVFValue * &gt; &amp;visited)</div><div class="ttdef"><b>Definition:</b> <a href="AbstractExecution_8cpp_source.html#l01735">AbstractExecution.cpp:1735</a></div></div>
429
385
  <div class="ttc" id="aclassSVF_1_1SVFVar_html"><div class="ttname"><a href="classSVF_1_1SVFVar.html">SVF::SVFVar</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFVariables_8h_source.html#l00045">SVFVariables.h:45</a></div></div>
430
- <div class="ttc" id="aclassSVF_1_1AEStat_html_ae2cfe939670689a4ec5030c096a5f546"><div class="ttname"><a href="classSVF_1_1AEStat.html#ae2cfe939670689a4ec5030c096a5f546">SVF::AEStat::countStateSize</a></div><div class="ttdeci">void countStateSize()</div><div class="ttdef"><b>Definition:</b> <a href="AbstractExecution_8cpp_source.html#l01015">AbstractExecution.cpp:1015</a></div></div>
386
+ <div class="ttc" id="aclassSVF_1_1AEStat_html_ae2cfe939670689a4ec5030c096a5f546"><div class="ttname"><a href="classSVF_1_1AEStat.html#ae2cfe939670689a4ec5030c096a5f546">SVF::AEStat::countStateSize</a></div><div class="ttdeci">void countStateSize()</div><div class="ttdef"><b>Definition:</b> <a href="AbstractExecution_8cpp_source.html#l01010">AbstractExecution.cpp:1010</a></div></div>
431
387
  <div class="ttc" id="aSVFBugReport_8h_html"><div class="ttname"><a href="SVFBugReport_8h.html">SVFBugReport.h</a></div></div>
432
388
  <div class="ttc" id="aclassSVF_1_1LoadStmt_html"><div class="ttname"><a href="classSVF_1_1LoadStmt.html">SVF::LoadStmt</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00437">SVFStatements.h:437</a></div></div>
433
- <div class="ttc" id="aclassSVF_1_1AEAPI_html_a29ab312d273e6c9c32a40d61861afb04a2dc334d7904e139e2e2b5e9eb2a1bb0a"><div class="ttname"><a href="classSVF_1_1AEAPI.html#a29ab312d273e6c9c32a40d61861afb04a2dc334d7904e139e2e2b5e9eb2a1bb0a">SVF::AEAPI::UNCLASSIFIED</a></div><div class="ttdeci">@ UNCLASSIFIED</div><div class="ttdef"><b>Definition:</b> <a href="AbstractExecution_8h_source.html#l00289">AbstractExecution.h:289</a></div></div>
389
+ <div class="ttc" id="aclassSVF_1_1AbstractExecution_html_acf4a6c3fe5a2239512acb791b9aba854"><div class="ttname"><a href="classSVF_1_1AbstractExecution.html#acf4a6c3fe5a2239512acb791b9aba854">SVF::AbstractExecution::extCallPass</a></div><div class="ttdeci">virtual void extCallPass(const CallICFGNode *callNode)</div><div class="ttdef"><b>Definition:</b> <a href="AbstractExecution_8cpp_source.html#l00645">AbstractExecution.cpp:645</a></div></div>
434
390
  <div class="ttc" id="aclassSVF_1_1IntervalValue_html"><div class="ttname"><a href="classSVF_1_1IntervalValue.html">SVF::IntervalValue</a></div><div class="ttdef"><b>Definition:</b> <a href="IntervalValue_8h_source.html#l00043">IntervalValue.h:43</a></div></div>
435
- <div class="ttc" id="aclassSVF_1_1AbstractExecution_html_acf4a6c3fe5a2239512acb791b9aba854"><div class="ttname"><a href="classSVF_1_1AbstractExecution.html#acf4a6c3fe5a2239512acb791b9aba854">SVF::AbstractExecution::extCallPass</a></div><div class="ttdeci">virtual void extCallPass(const CallICFGNode *callNode)</div><div class="ttdef"><b>Definition:</b> <a href="AbstractExecution_8cpp_source.html#l00650">AbstractExecution.cpp:650</a></div></div>
436
- <div class="ttc" id="aclassSVF_1_1AEStat_html_a974988b7df3982938e081883d7349a91"><div class="ttname"><a href="classSVF_1_1AEStat.html#a974988b7df3982938e081883d7349a91">SVF::AEStat::~AEStat</a></div><div class="ttdeci">~AEStat()</div><div class="ttdef"><b>Definition:</b> <a href="AbstractExecution_8h_source.html#l00065">AbstractExecution.h:65</a></div></div>
437
- <div class="ttc" id="aclassSVF_1_1AbstractExecution_html_aec702d92bbba9e847a9b3eada060a2c5"><div class="ttname"><a href="classSVF_1_1AbstractExecution.html#aec702d92bbba9e847a9b3eada060a2c5">SVF::AbstractExecution::isDirectCall</a></div><div class="ttdeci">virtual bool isDirectCall(const CallICFGNode *callNode)</div><div class="ttdef"><b>Definition:</b> <a href="AbstractExecution_8cpp_source.html#l00681">AbstractExecution.cpp:681</a></div></div>
438
- <div class="ttc" id="aclassSVF_1_1AEAPI_html_ae0847fb421538982bfd50cc280d1a65b"><div class="ttname"><a href="classSVF_1_1AEAPI.html#ae0847fb421538982bfd50cc280d1a65b">SVF::AEAPI::handleMemcpy</a></div><div class="ttdeci">virtual void handleMemcpy(const SVFValue *dst, const SVFValue *src, IntervalValue len, u32_t start_idx)</div><div class="ttdef"><b>Definition:</b> <a href="AbstractExecution_8cpp_source.html#l01611">AbstractExecution.cpp:1611</a></div></div>
391
+ <div class="ttc" id="aclassSVF_1_1AEStat_html_a974988b7df3982938e081883d7349a91"><div class="ttname"><a href="classSVF_1_1AEStat.html#a974988b7df3982938e081883d7349a91">SVF::AEStat::~AEStat</a></div><div class="ttdeci">~AEStat()</div><div class="ttdef"><b>Definition:</b> <a href="AbstractExecution_8h_source.html#l00061">AbstractExecution.h:61</a></div></div>
392
+ <div class="ttc" id="aclassSVF_1_1AbstractExecution_html_a5715b1a5994715f19b17687b9e91d7c8"><div class="ttname"><a href="classSVF_1_1AbstractExecution.html#a5715b1a5994715f19b17687b9e91d7c8">SVF::AbstractExecution::initExtFunMap</a></div><div class="ttdeci">virtual void initExtFunMap()</div><div class="ttdef"><b>Definition:</b> <a href="AbstractExecution_8cpp_source.html#l01134">AbstractExecution.cpp:1134</a></div></div>
393
+ <div class="ttc" id="aclassSVF_1_1AbstractExecution_html_ac1742440725909fee77526726424d135"><div class="ttname"><a href="classSVF_1_1AbstractExecution.html#ac1742440725909fee77526726424d135">SVF::AbstractExecution::_func_map</a></div><div class="ttdeci">Map&lt; std::string, std::function&lt; void(const CallSite &amp;)&gt; &gt; _func_map</div><div class="ttdef"><b>Definition:</b> <a href="AbstractExecution_8h_source.html#l00382">AbstractExecution.h:382</a></div></div>
394
+ <div class="ttc" id="aclassSVF_1_1AbstractExecution_html_aec702d92bbba9e847a9b3eada060a2c5"><div class="ttname"><a href="classSVF_1_1AbstractExecution.html#aec702d92bbba9e847a9b3eada060a2c5">SVF::AbstractExecution::isDirectCall</a></div><div class="ttdeci">virtual bool isDirectCall(const CallICFGNode *callNode)</div><div class="ttdef"><b>Definition:</b> <a href="AbstractExecution_8cpp_source.html#l00676">AbstractExecution.cpp:676</a></div></div>
439
395
  <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="GeneralType_8h_source.html#l00047">GeneralType.h:47</a></div></div>
440
- <div class="ttc" id="aclassSVF_1_1AEStat_html_a8c69d36465485cddc17eddfdeea551e0"><div class="ttname"><a href="classSVF_1_1AEStat.html#a8c69d36465485cddc17eddfdeea551e0">SVF::AEStat::getFunctionTrace</a></div><div class="ttdeci">u32_t &amp; getFunctionTrace()</div><div class="ttdef"><b>Definition:</b> <a href="AbstractExecution_8h_source.html#l00086">AbstractExecution.h:86</a></div></div>
441
- <div class="ttc" id="aclassSVF_1_1AbstractExecution_html_accf5896d39647e41e1408fa90935b650"><div class="ttname"><a href="classSVF_1_1AbstractExecution.html#accf5896d39647e41e1408fa90935b650">SVF::AbstractExecution::indirectCallFunPass</a></div><div class="ttdeci">virtual void indirectCallFunPass(const CallICFGNode *callNode)</div><div class="ttdef"><b>Definition:</b> <a href="AbstractExecution_8cpp_source.html#l00708">AbstractExecution.cpp:708</a></div></div>
442
- <div class="ttc" id="aclassSVF_1_1AbstractExecution_html_a714fa1f4794008f630de415414cf8bfd"><div class="ttname"><a href="classSVF_1_1AbstractExecution.html#a714fa1f4794008f630de415414cf8bfd">SVF::AbstractExecution::handleICFGNode</a></div><div class="ttdeci">virtual void handleICFGNode(const ICFGNode *node)</div><div class="ttdef"><b>Definition:</b> <a href="AbstractExecution_8cpp_source.html#l00737">AbstractExecution.cpp:737</a></div></div>
443
- <div class="ttc" id="aclassSVF_1_1AbstractExecution_html_a26f8c21bd96ae22ca2e72af6fbfa410c"><div class="ttname"><a href="classSVF_1_1AbstractExecution.html#a26f8c21bd96ae22ca2e72af6fbfa410c">SVF::AbstractExecution::_api</a></div><div class="ttdeci">AEAPI * _api</div><div class="ttdef"><b>Definition:</b> <a href="AbstractExecution_8h_source.html#l00245">AbstractExecution.h:245</a></div></div>
444
- <div class="ttc" id="aclassSVF_1_1AEAPI_html_a185e694007f4d69b0030c65fb54c9c6d"><div class="ttname"><a href="classSVF_1_1AEAPI.html#a185e694007f4d69b0030c65fb54c9c6d">SVF::AEAPI::handleMemset</a></div><div class="ttdeci">virtual void handleMemset(const SVFValue *dst, IntervalValue elem, IntervalValue len)</div><div class="ttdef"><b>Definition:</b> <a href="AbstractExecution_8cpp_source.html#l01685">AbstractExecution.cpp:1685</a></div></div>
445
- <div class="ttc" id="aclassSVF_1_1AEAPI_html_ab549486e45e0c775c75f0f8749797a1c"><div class="ttname"><a href="classSVF_1_1AEAPI.html#ab549486e45e0c775c75f0f8749797a1c">SVF::AEAPI::getKind</a></div><div class="ttdeci">AEKind getKind() const</div><div class="ttdef"><b>Definition:</b> <a href="AbstractExecution_8h_source.html#l00314">AbstractExecution.h:314</a></div></div>
446
- <div class="ttc" id="aclassSVF_1_1AEAPI_html_af64d742317f2ddad87b87012225ddaaa"><div class="ttname"><a href="classSVF_1_1AEAPI.html#af64d742317f2ddad87b87012225ddaaa">SVF::AEAPI::handleExtAPI</a></div><div class="ttdeci">virtual void handleExtAPI(const CallICFGNode *call)</div><div class="ttdef"><b>Definition:</b> <a href="AbstractExecution_8cpp_source.html#l01240">AbstractExecution.cpp:1240</a></div></div>
447
- <div class="ttc" id="aclassSVF_1_1AbstractExecution_html_a1b2ea55ebd7c09a83bf1051c0c189bb8"><div class="ttname"><a href="classSVF_1_1AbstractExecution.html#a1b2ea55ebd7c09a83bf1051c0c189bb8">SVF::AbstractExecution::isGlobalEntry</a></div><div class="ttdeci">bool isGlobalEntry(const ICFGNode *node)</div><div class="ttdef"><b>Definition:</b> <a href="AbstractExecution_8cpp_source.html#l00272">AbstractExecution.cpp:272</a></div></div>
396
+ <div class="ttc" id="aclassSVF_1_1AEStat_html_a8c69d36465485cddc17eddfdeea551e0"><div class="ttname"><a href="classSVF_1_1AEStat.html#a8c69d36465485cddc17eddfdeea551e0">SVF::AEStat::getFunctionTrace</a></div><div class="ttdeci">u32_t &amp; getFunctionTrace()</div><div class="ttdef"><b>Definition:</b> <a href="AbstractExecution_8h_source.html#l00082">AbstractExecution.h:82</a></div></div>
397
+ <div class="ttc" id="aclassSVF_1_1AbstractExecution_html_accf5896d39647e41e1408fa90935b650"><div class="ttname"><a href="classSVF_1_1AbstractExecution.html#accf5896d39647e41e1408fa90935b650">SVF::AbstractExecution::indirectCallFunPass</a></div><div class="ttdeci">virtual void indirectCallFunPass(const CallICFGNode *callNode)</div><div class="ttdef"><b>Definition:</b> <a href="AbstractExecution_8cpp_source.html#l00703">AbstractExecution.cpp:703</a></div></div>
398
+ <div class="ttc" id="aclassSVF_1_1AbstractExecution_html_a714fa1f4794008f630de415414cf8bfd"><div class="ttname"><a href="classSVF_1_1AbstractExecution.html#a714fa1f4794008f630de415414cf8bfd">SVF::AbstractExecution::handleICFGNode</a></div><div class="ttdeci">virtual void handleICFGNode(const ICFGNode *node)</div><div class="ttdef"><b>Definition:</b> <a href="AbstractExecution_8cpp_source.html#l00732">AbstractExecution.cpp:732</a></div></div>
399
+ <div class="ttc" id="aclassSVF_1_1AbstractExecution_html_a26f8c21bd96ae22ca2e72af6fbfa410c"><div class="ttname"><a href="classSVF_1_1AbstractExecution.html#a26f8c21bd96ae22ca2e72af6fbfa410c">SVF::AbstractExecution::_api</a></div><div class="ttdeci">AEAPI * _api</div><div class="ttdef"><b>Definition:</b> <a href="AbstractExecution_8h_source.html#l00345">AbstractExecution.h:345</a></div></div>
400
+ <div class="ttc" id="aclassSVF_1_1AbstractExecution_html_a04e812385041270901af0f2cb599fa96"><div class="ttname"><a href="classSVF_1_1AbstractExecution.html#a04e812385041270901af0f2cb599fa96">SVF::AbstractExecution::_nodeToBugInfo</a></div><div class="ttdeci">Map&lt; const ICFGNode *, std::string &gt; _nodeToBugInfo</div><div class="ttdef"><b>Definition:</b> <a href="AbstractExecution_8h_source.html#l00354">AbstractExecution.h:354</a></div></div>
401
+ <div class="ttc" id="aclassSVF_1_1AbstractExecution_html_a1b2ea55ebd7c09a83bf1051c0c189bb8"><div class="ttname"><a href="classSVF_1_1AbstractExecution.html#a1b2ea55ebd7c09a83bf1051c0c189bb8">SVF::AbstractExecution::isGlobalEntry</a></div><div class="ttdeci">bool isGlobalEntry(const ICFGNode *node)</div><div class="ttdef"><b>Definition:</b> <a href="AbstractExecution_8cpp_source.html#l00267">AbstractExecution.cpp:267</a></div></div>
448
402
  <div class="ttc" id="aclassSVF_1_1WTOCycle_html"><div class="ttname"><a href="classSVF_1_1WTOCycle.html">SVF::WTOCycle</a></div><div class="ttdef"><b>Definition:</b> <a href="WTO_8h_source.html#l00048">WTO.h:48</a></div></div>
449
- <div class="ttc" id="aclassSVF_1_1AbstractExecution_html_a8ad0f3d5a0c9de60eff91fcc0dd44aae"><div class="ttname"><a href="classSVF_1_1AbstractExecution.html#a8ad0f3d5a0c9de60eff91fcc0dd44aae">SVF::AbstractExecution::CallGraphSCC</a></div><div class="ttdeci">SCCDetection&lt; PTACallGraph * &gt; CallGraphSCC</div><div class="ttdef"><b>Definition:</b> <a href="AbstractExecution_8h_source.html#l00119">AbstractExecution.h:119</a></div></div>
450
- <div class="ttc" id="aclassSVF_1_1AEStat_html_afaa47798ebfde513c709b46cac05294c"><div class="ttname"><a href="classSVF_1_1AEStat.html#afaa47798ebfde513c709b46cac05294c">SVF::AEStat::getICFGNodeTrace</a></div><div class="ttdeci">u32_t &amp; getICFGNodeTrace()</div><div class="ttdef"><b>Definition:</b> <a href="AbstractExecution_8h_source.html#l00102">AbstractExecution.h:102</a></div></div>
451
- <div class="ttc" id="aclassSVF_1_1AbstractExecution_html_a74a55a4d4941c85bdfed81f060049bf0"><div class="ttname"><a href="classSVF_1_1AbstractExecution.html#a74a55a4d4941c85bdfed81f060049bf0">SVF::AbstractExecution::_stat</a></div><div class="ttdeci">AEStat * _stat</div><div class="ttdef"><b>Definition:</b> <a href="AbstractExecution_8h_source.html#l00248">AbstractExecution.h:248</a></div></div>
403
+ <div class="ttc" id="aclassSVF_1_1AEStat_html_afaa47798ebfde513c709b46cac05294c"><div class="ttname"><a href="classSVF_1_1AEStat.html#afaa47798ebfde513c709b46cac05294c">SVF::AEStat::getICFGNodeTrace</a></div><div class="ttdeci">u32_t &amp; getICFGNodeTrace()</div><div class="ttdef"><b>Definition:</b> <a href="AbstractExecution_8h_source.html#l00098">AbstractExecution.h:98</a></div></div>
404
+ <div class="ttc" id="aclassSVF_1_1AbstractExecution_html_a74a55a4d4941c85bdfed81f060049bf0"><div class="ttname"><a href="classSVF_1_1AbstractExecution.html#a74a55a4d4941c85bdfed81f060049bf0">SVF::AbstractExecution::_stat</a></div><div class="ttdeci">AEStat * _stat</div><div class="ttdef"><b>Definition:</b> <a href="AbstractExecution_8h_source.html#l00348">AbstractExecution.h:348</a></div></div>
452
405
  <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>
453
- <div class="ttc" id="aclassSVF_1_1AEAPI_html_a4efc7447db13da26ce284218d6c01059"><div class="ttname"><a href="classSVF_1_1AEAPI.html#a4efc7447db13da26ce284218d6c01059">SVF::AEAPI::traceMemoryAllocationSize</a></div><div class="ttdeci">IntervalValue traceMemoryAllocationSize(const SVFValue *value)</div><div class="ttdef"><b>Definition:</b> <a href="AbstractExecution_8cpp_source.html#l01389">AbstractExecution.cpp:1389</a></div></div>
454
406
  <div class="ttc" id="aclassSVF_1_1SCCDetection_html"><div class="ttname"><a href="classSVF_1_1SCCDetection.html">SVF::SCCDetection</a></div><div class="ttdef"><b>Definition:</b> <a href="SCC_8h_source.html#l00054">SCC.h:54</a></div></div>
455
407
  <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>
456
- <div class="ttc" id="aclassSVF_1_1AbstractExecution_html_a438c0702d8b1e074c3db37025377b2a7"><div class="ttname"><a href="classSVF_1_1AbstractExecution.html#a438c0702d8b1e074c3db37025377b2a7">SVF::AbstractExecution::widenFixpointPass</a></div><div class="ttdeci">bool widenFixpointPass(const ICFGNode *cycle_head, IntervalExeState &amp;pre_es)</div><div class="ttdef"><b>Definition:</b> <a href="AbstractExecution_8cpp_source.html#l00823">AbstractExecution.cpp:823</a></div></div>
457
- <div class="ttc" id="aclassSVF_1_1AbstractExecution_html_a84d8fedb7e9d23e92ffcb74b4cfbf78c"><div class="ttname"><a href="classSVF_1_1AbstractExecution.html#a84d8fedb7e9d23e92ffcb74b4cfbf78c">SVF::AbstractExecution::AbstractExecution</a></div><div class="ttdeci">AbstractExecution()</div><div class="ttdoc">Constructor.</div><div class="ttdef"><b>Definition:</b> <a href="AbstractExecution_8cpp_source.html#l00128">AbstractExecution.cpp:128</a></div></div>
458
- <div class="ttc" id="aclassSVF_1_1AEAPI_html_a31545025fcf62a0c6680ba99666f7b01"><div class="ttname"><a href="classSVF_1_1AEAPI.html#a31545025fcf62a0c6680ba99666f7b01">SVF::AEAPI::classof</a></div><div class="ttdeci">static bool classof(const AEAPI *api)</div><div class="ttdef"><b>Definition:</b> <a href="AbstractExecution_8h_source.html#l00290">AbstractExecution.h:290</a></div></div>
459
- <div class="ttc" id="aclassSVF_1_1AbstractExecution_html_a39439604f7d397f620a7639884ea5b50"><div class="ttname"><a href="classSVF_1_1AbstractExecution.html#a39439604f7d397f620a7639884ea5b50">SVF::AbstractExecution::_callgraph</a></div><div class="ttdeci">PTACallGraph * _callgraph</div><div class="ttdef"><b>Definition:</b> <a href="AbstractExecution_8h_source.html#l00242">AbstractExecution.h:242</a></div></div>
460
- <div class="ttc" id="aclassSVF_1_1AEAPI_html_aef0e9a5ff5633dc6fb96bab35484df2a"><div class="ttname"><a href="classSVF_1_1AEAPI.html#aef0e9a5ff5633dc6fb96bab35484df2a">SVF::AEAPI::AEAPI</a></div><div class="ttdeci">AEAPI(AbstractExecution *ae, AEStat *stat)</div><div class="ttdef"><b>Definition:</b> <a href="AbstractExecution_8h_source.html#l00301">AbstractExecution.h:301</a></div></div>
461
- <div class="ttc" id="aclassSVF_1_1AbstractExecution_html_a46364bb8814f7bf6ddd492aa7dc58ffb"><div class="ttname"><a href="classSVF_1_1AbstractExecution.html#a46364bb8814f7bf6ddd492aa7dc58ffb">SVF::AbstractExecution::analyse</a></div><div class="ttdeci">void analyse()</div><div class="ttdoc">Program entry.</div><div class="ttdef"><b>Definition:</b> <a href="AbstractExecution_8cpp_source.html#l00157">AbstractExecution.cpp:157</a></div></div>
462
- <div class="ttc" id="aclassSVF_1_1AbstractExecution_html_a49742e8c3a8fe598a0945a8d8ff394d0"><div class="ttname"><a href="classSVF_1_1AbstractExecution.html#a49742e8c3a8fe598a0945a8d8ff394d0">SVF::AbstractExecution::_svfir</a></div><div class="ttdeci">SVFIR * _svfir</div><div class="ttdoc">protected data members, also used in subclasses</div><div class="ttdef"><b>Definition:</b> <a href="AbstractExecution_8h_source.html#l00241">AbstractExecution.h:241</a></div></div>
463
- <div class="ttc" id="aclassSVF_1_1AbstractExecution_html_a6b92cdb6c5d3ae425955864536f2cba7"><div class="ttname"><a href="classSVF_1_1AbstractExecution.html#a6b92cdb6c5d3ae425955864536f2cba7">SVF::AbstractExecution::isRecursiveCall</a></div><div class="ttdeci">virtual bool isRecursiveCall(const CallICFGNode *callNode)</div><div class="ttdef"><b>Definition:</b> <a href="AbstractExecution_8cpp_source.html#l00657">AbstractExecution.cpp:657</a></div></div>
408
+ <div class="ttc" id="aclassSVF_1_1AbstractExecution_html_a438c0702d8b1e074c3db37025377b2a7"><div class="ttname"><a href="classSVF_1_1AbstractExecution.html#a438c0702d8b1e074c3db37025377b2a7">SVF::AbstractExecution::widenFixpointPass</a></div><div class="ttdeci">bool widenFixpointPass(const ICFGNode *cycle_head, IntervalExeState &amp;pre_es)</div><div class="ttdef"><b>Definition:</b> <a href="AbstractExecution_8cpp_source.html#l00818">AbstractExecution.cpp:818</a></div></div>
409
+ <div class="ttc" id="aclassSVF_1_1AbstractExecution_html_a84d8fedb7e9d23e92ffcb74b4cfbf78c"><div class="ttname"><a href="classSVF_1_1AbstractExecution.html#a84d8fedb7e9d23e92ffcb74b4cfbf78c">SVF::AbstractExecution::AbstractExecution</a></div><div class="ttdeci">AbstractExecution()</div><div class="ttdoc">Constructor.</div><div class="ttdef"><b>Definition:</b> <a href="AbstractExecution_8cpp_source.html#l00123">AbstractExecution.cpp:123</a></div></div>
410
+ <div class="ttc" id="aclassSVF_1_1AbstractExecution_html_ac0bcb586dffbfadeb33f501cafbaa1c9"><div class="ttname"><a href="classSVF_1_1AbstractExecution.html#ac0bcb586dffbfadeb33f501cafbaa1c9">SVF::AbstractExecution::AEAPI</a></div><div class="ttdeci">friend class AEAPI</div><div class="ttdef"><b>Definition:</b> <a href="AbstractExecution_8h_source.html#l00111">AbstractExecution.h:111</a></div></div>
411
+ <div class="ttc" id="aclassSVF_1_1AbstractExecution_html_a39439604f7d397f620a7639884ea5b50"><div class="ttname"><a href="classSVF_1_1AbstractExecution.html#a39439604f7d397f620a7639884ea5b50">SVF::AbstractExecution::_callgraph</a></div><div class="ttdeci">PTACallGraph * _callgraph</div><div class="ttdef"><b>Definition:</b> <a href="AbstractExecution_8h_source.html#l00342">AbstractExecution.h:342</a></div></div>
412
+ <div class="ttc" id="aclassSVF_1_1AbstractExecution_html_a46364bb8814f7bf6ddd492aa7dc58ffb"><div class="ttname"><a href="classSVF_1_1AbstractExecution.html#a46364bb8814f7bf6ddd492aa7dc58ffb">SVF::AbstractExecution::analyse</a></div><div class="ttdeci">void analyse()</div><div class="ttdoc">Program entry.</div><div class="ttdef"><b>Definition:</b> <a href="AbstractExecution_8cpp_source.html#l00152">AbstractExecution.cpp:152</a></div></div>
413
+ <div class="ttc" id="aclassSVF_1_1AbstractExecution_html_a49742e8c3a8fe598a0945a8d8ff394d0"><div class="ttname"><a href="classSVF_1_1AbstractExecution.html#a49742e8c3a8fe598a0945a8d8ff394d0">SVF::AbstractExecution::_svfir</a></div><div class="ttdeci">SVFIR * _svfir</div><div class="ttdoc">protected data members, also used in subclasses</div><div class="ttdef"><b>Definition:</b> <a href="AbstractExecution_8h_source.html#l00341">AbstractExecution.h:341</a></div></div>
414
+ <div class="ttc" id="aclassSVF_1_1AbstractExecution_html_a442fb8eda087f72aa61816213dea43afa45836a81adf553b872a061e5fe4c5be8"><div class="ttname"><a href="classSVF_1_1AbstractExecution.html#a442fb8eda087f72aa61816213dea43afa45836a81adf553b872a061e5fe4c5be8">SVF::AbstractExecution::MEMSET</a></div><div class="ttdeci">@ MEMSET</div><div class="ttdef"><b>Definition:</b> <a href="AbstractExecution_8h_source.html#l00114">AbstractExecution.h:114</a></div></div>
415
+ <div class="ttc" id="aclassSVF_1_1AbstractExecution_html_a6b92cdb6c5d3ae425955864536f2cba7"><div class="ttname"><a href="classSVF_1_1AbstractExecution.html#a6b92cdb6c5d3ae425955864536f2cba7">SVF::AbstractExecution::isRecursiveCall</a></div><div class="ttdeci">virtual bool isRecursiveCall(const CallICFGNode *callNode)</div><div class="ttdef"><b>Definition:</b> <a href="AbstractExecution_8cpp_source.html#l00652">AbstractExecution.cpp:652</a></div></div>
416
+ <div class="ttc" id="aclassSVF_1_1AbstractExecution_html_afb6de3effc0f483836bfe9f42aca760d"><div class="ttname"><a href="classSVF_1_1AbstractExecution.html#afb6de3effc0f483836bfe9f42aca760d">SVF::AbstractExecution::collectCheckPoint</a></div><div class="ttdeci">void collectCheckPoint()</div><div class="ttdef"><b>Definition:</b> <a href="AbstractExecution_8cpp_source.html#l01301">AbstractExecution.cpp:1301</a></div></div>
464
417
  <div class="ttc" id="aclassSVF_1_1CallSite_html"><div class="ttname"><a href="classSVF_1_1CallSite.html">SVF::CallSite</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l01113">SVFValue.h:1113</a></div></div>
465
- <div class="ttc" id="aclassSVF_1_1AEStat_html"><div class="ttname"><a href="classSVF_1_1AEStat.html">SVF::AEStat</a></div><div class="ttdoc">AEStat: Statistic for AE.</div><div class="ttdef"><b>Definition:</b> <a href="AbstractExecution_8h_source.html#l00057">AbstractExecution.h:57</a></div></div>
466
- <div class="ttc" id="aclassSVF_1_1AbstractExecution_html_ab9d6ebcf67ec473ce7ad5910c74eddc1"><div class="ttname"><a href="classSVF_1_1AbstractExecution.html#ab9d6ebcf67ec473ce7ad5910c74eddc1">SVF::AbstractExecution::_callSiteStack</a></div><div class="ttdeci">std::vector&lt; const CallICFGNode * &gt; _callSiteStack</div><div class="ttdef"><b>Definition:</b> <a href="AbstractExecution_8h_source.html#l00253">AbstractExecution.h:253</a></div></div>
467
- <div class="ttc" id="aclassSVF_1_1AEAPI_html_a29ab312d273e6c9c32a40d61861afb04aadccf4db29e170b4d669ef023866a28d"><div class="ttname"><a href="classSVF_1_1AEAPI.html#a29ab312d273e6c9c32a40d61861afb04aadccf4db29e170b4d669ef023866a28d">SVF::AEAPI::STRCPY</a></div><div class="ttdeci">@ STRCPY</div><div class="ttdef"><b>Definition:</b> <a href="AbstractExecution_8h_source.html#l00289">AbstractExecution.h:289</a></div></div>
468
- <div class="ttc" id="aclassSVF_1_1AEAPI_html_aa2a97be698768ddbcab0fec27bde60c8"><div class="ttname"><a href="classSVF_1_1AEAPI.html#aa2a97be698768ddbcab0fec27bde60c8">SVF::AEAPI::checkPointAllSet</a></div><div class="ttdeci">void checkPointAllSet()</div><div class="ttdef"><b>Definition:</b> <a href="AbstractExecution_8cpp_source.html#l01325">AbstractExecution.cpp:1325</a></div></div>
469
- <div class="ttc" id="aclassSVF_1_1AbstractExecution_html_adb88a8be0bc1c1ac2d1546e9191c6f93"><div class="ttname"><a href="classSVF_1_1AbstractExecution.html#adb88a8be0bc1c1ac2d1546e9191c6f93">SVF::AbstractExecution::handleFunc</a></div><div class="ttdeci">virtual void handleFunc(const SVFFunction *func)</div><div class="ttdoc">handle user defined function, ext function is not included.</div><div class="ttdef"><b>Definition:</b> <a href="AbstractExecution_8cpp_source.html#l00869">AbstractExecution.cpp:869</a></div></div>
470
- <div class="ttc" id="aclassSVF_1_1AEAPI_html_ab47136a3fee89fa6cad5ddb95306f27f"><div class="ttname"><a href="classSVF_1_1AEAPI.html#ab47136a3fee89fa6cad5ddb95306f27f">SVF::AEAPI::_func_map</a></div><div class="ttdeci">Map&lt; std::string, std::function&lt; void(const CallSite &amp;)&gt; &gt; _func_map</div><div class="ttdef"><b>Definition:</b> <a href="AbstractExecution_8h_source.html#l00432">AbstractExecution.h:432</a></div></div>
418
+ <div class="ttc" id="aclassSVF_1_1AbstractExecution_html_a442fb8eda087f72aa61816213dea43afa622ab5082468499be675c2783aaf3dcf"><div class="ttname"><a href="classSVF_1_1AbstractExecution.html#a442fb8eda087f72aa61816213dea43afa622ab5082468499be675c2783aaf3dcf">SVF::AbstractExecution::MEMCPY</a></div><div class="ttdeci">@ MEMCPY</div><div class="ttdef"><b>Definition:</b> <a href="AbstractExecution_8h_source.html#l00114">AbstractExecution.h:114</a></div></div>
419
+ <div class="ttc" id="aclassSVF_1_1AEStat_html"><div class="ttname"><a href="classSVF_1_1AEStat.html">SVF::AEStat</a></div><div class="ttdoc">AEStat: Statistic for AE.</div><div class="ttdef"><b>Definition:</b> <a href="AbstractExecution_8h_source.html#l00053">AbstractExecution.h:53</a></div></div>
420
+ <div class="ttc" id="aclassSVF_1_1AbstractExecution_html_ab9d6ebcf67ec473ce7ad5910c74eddc1"><div class="ttname"><a href="classSVF_1_1AbstractExecution.html#ab9d6ebcf67ec473ce7ad5910c74eddc1">SVF::AbstractExecution::_callSiteStack</a></div><div class="ttdeci">std::vector&lt; const CallICFGNode * &gt; _callSiteStack</div><div class="ttdef"><b>Definition:</b> <a href="AbstractExecution_8h_source.html#l00353">AbstractExecution.h:353</a></div></div>
421
+ <div class="ttc" id="aclassSVF_1_1AbstractExecution_html_adb88a8be0bc1c1ac2d1546e9191c6f93"><div class="ttname"><a href="classSVF_1_1AbstractExecution.html#adb88a8be0bc1c1ac2d1546e9191c6f93">SVF::AbstractExecution::handleFunc</a></div><div class="ttdeci">virtual void handleFunc(const SVFFunction *func)</div><div class="ttdoc">handle user defined function, ext function is not included.</div><div class="ttdef"><b>Definition:</b> <a href="AbstractExecution_8cpp_source.html#l00864">AbstractExecution.cpp:864</a></div></div>
471
422
  <div class="ttc" id="acJSON_8cpp_html_a7669ee67a0563250c1efaa24d130e1ac"><div class="ttname"><a href="cJSON_8cpp.html#a7669ee67a0563250c1efaa24d130e1ac">copy</a></div><div class="ttdeci">copy</div><div class="ttdef"><b>Definition:</b> <a href="cJSON_8cpp_source.html#l00414">cJSON.cpp:414</a></div></div>
472
- <div class="ttc" id="aclassSVF_1_1AbstractExecution_html_a18903b2257e3a2aeec53d79bcf83e7d5"><div class="ttname"><a href="classSVF_1_1AbstractExecution.html#a18903b2257e3a2aeec53d79bcf83e7d5">SVF::AbstractExecution::_moduleName</a></div><div class="ttdeci">std::string _moduleName</div><div class="ttdef"><b>Definition:</b> <a href="AbstractExecution_8h_source.html#l00281">AbstractExecution.h:281</a></div></div>
423
+ <div class="ttc" id="aclassSVF_1_1AbstractExecution_html_a18903b2257e3a2aeec53d79bcf83e7d5"><div class="ttname"><a href="classSVF_1_1AbstractExecution.html#a18903b2257e3a2aeec53d79bcf83e7d5">SVF::AbstractExecution::_moduleName</a></div><div class="ttdeci">std::string _moduleName</div><div class="ttdef"><b>Definition:</b> <a href="AbstractExecution_8h_source.html#l00389">AbstractExecution.h:389</a></div></div>
473
424
  <div class="ttc" id="aclassSVF_1_1ICFG_html"><div class="ttname"><a href="classSVF_1_1ICFG.html">SVF::ICFG</a></div><div class="ttdef"><b>Definition:</b> <a href="ICFG_8h_source.html#l00047">ICFG.h:47</a></div></div>
474
- <div class="ttc" id="aclassSVF_1_1AEStat_html_a4a08e449307cdcb56e8e32ca346d5349"><div class="ttname"><a href="classSVF_1_1AEStat.html#a4a08e449307cdcb56e8e32ca346d5349">SVF::AEStat::getBlockTrace</a></div><div class="ttdeci">u32_t &amp; getBlockTrace()</div><div class="ttdef"><b>Definition:</b> <a href="AbstractExecution_8h_source.html#l00094">AbstractExecution.h:94</a></div></div>
425
+ <div class="ttc" id="aclassSVF_1_1AEStat_html_a4a08e449307cdcb56e8e32ca346d5349"><div class="ttname"><a href="classSVF_1_1AEStat.html#a4a08e449307cdcb56e8e32ca346d5349">SVF::AEStat::getBlockTrace</a></div><div class="ttdeci">u32_t &amp; getBlockTrace()</div><div class="ttdef"><b>Definition:</b> <a href="AbstractExecution_8h_source.html#l00090">AbstractExecution.h:90</a></div></div>
426
+ <div class="ttc" id="aclassSVF_1_1AbstractExecution_html_a442fb8eda087f72aa61816213dea43afac9539311eec734c966b719990e869b12"><div class="ttname"><a href="classSVF_1_1AbstractExecution.html#a442fb8eda087f72aa61816213dea43afac9539311eec734c966b719990e869b12">SVF::AbstractExecution::STRCPY</a></div><div class="ttdeci">@ STRCPY</div><div class="ttdef"><b>Definition:</b> <a href="AbstractExecution_8h_source.html#l00114">AbstractExecution.h:114</a></div></div>
475
427
  <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>
476
- <div class="ttc" id="aclassSVF_1_1AEAPI_html_ace3e82bcfbb4495a765e01d75a58dc3f"><div class="ttname"><a href="classSVF_1_1AEAPI.html#ace3e82bcfbb4495a765e01d75a58dc3f">SVF::AEAPI::_checkpoint_names</a></div><div class="ttdeci">Set&lt; std::string &gt; _checkpoint_names</div><div class="ttdef"><b>Definition:</b> <a href="AbstractExecution_8h_source.html#l00435">AbstractExecution.h:435</a></div></div>
477
- <div class="ttc" id="aclassSVF_1_1AbstractExecution_html_a6771ac262e5fdbac0006b293cde47398"><div class="ttname"><a href="classSVF_1_1AbstractExecution.html#a6771ac262e5fdbac0006b293cde47398">SVF::AbstractExecution::~AbstractExecution</a></div><div class="ttdeci">virtual ~AbstractExecution()</div><div class="ttdoc">Destructor.</div><div class="ttdef"><b>Definition:</b> <a href="AbstractExecution_8cpp_source.html#l00133">AbstractExecution.cpp:133</a></div></div>
478
- <div class="ttc" id="aclassSVF_1_1AbstractExecution_html_a9c6a5b802710efe11b34df45a3f8f73b"><div class="ttname"><a href="classSVF_1_1AbstractExecution.html#a9c6a5b802710efe11b34df45a3f8f73b">SVF::AbstractExecution::_postES</a></div><div class="ttdeci">Map&lt; const ICFGNode *, IntervalExeState &gt; _postES</div><div class="ttdef"><b>Definition:</b> <a href="AbstractExecution_8h_source.html#l00280">AbstractExecution.h:280</a></div></div>
479
- <div class="ttc" id="aclassSVF_1_1AbstractExecution_html_a6f02cd1885c0879cb88149c91998291f"><div class="ttname"><a href="classSVF_1_1AbstractExecution.html#a6f02cd1885c0879cb88149c91998291f">SVF::AbstractExecution::hasInEdgesES</a></div><div class="ttdeci">bool hasInEdgesES(const ICFGNode *node)</div><div class="ttdef"><b>Definition:</b> <a href="AbstractExecution_8cpp_source.html#l00206">AbstractExecution.cpp:206</a></div></div>
428
+ <div class="ttc" id="aclassSVF_1_1AbstractExecution_html_a6771ac262e5fdbac0006b293cde47398"><div class="ttname"><a href="classSVF_1_1AbstractExecution.html#a6771ac262e5fdbac0006b293cde47398">SVF::AbstractExecution::~AbstractExecution</a></div><div class="ttdeci">virtual ~AbstractExecution()</div><div class="ttdoc">Destructor.</div><div class="ttdef"><b>Definition:</b> <a href="AbstractExecution_8cpp_source.html#l00129">AbstractExecution.cpp:129</a></div></div>
429
+ <div class="ttc" id="aclassSVF_1_1AbstractExecution_html_a442fb8eda087f72aa61816213dea43af"><div class="ttname"><a href="classSVF_1_1AbstractExecution.html#a442fb8eda087f72aa61816213dea43af">SVF::AbstractExecution::ExtAPIType</a></div><div class="ttdeci">ExtAPIType</div><div class="ttdef"><b>Definition:</b> <a href="AbstractExecution_8h_source.html#l00114">AbstractExecution.h:114</a></div></div>
430
+ <div class="ttc" id="aclassSVF_1_1AbstractExecution_html_a9c6a5b802710efe11b34df45a3f8f73b"><div class="ttname"><a href="classSVF_1_1AbstractExecution.html#a9c6a5b802710efe11b34df45a3f8f73b">SVF::AbstractExecution::_postES</a></div><div class="ttdeci">Map&lt; const ICFGNode *, IntervalExeState &gt; _postES</div><div class="ttdef"><b>Definition:</b> <a href="AbstractExecution_8h_source.html#l00388">AbstractExecution.h:388</a></div></div>
431
+ <div class="ttc" id="aclassSVF_1_1AbstractExecution_html_a6f02cd1885c0879cb88149c91998291f"><div class="ttname"><a href="classSVF_1_1AbstractExecution.html#a6f02cd1885c0879cb88149c91998291f">SVF::AbstractExecution::hasInEdgesES</a></div><div class="ttdeci">bool hasInEdgesES(const ICFGNode *node)</div><div class="ttdef"><b>Definition:</b> <a href="AbstractExecution_8cpp_source.html#l00201">AbstractExecution.cpp:201</a></div></div>
480
432
  <div class="ttc" id="aclassSVF_1_1FILOWorkList_html"><div class="ttname"><a href="classSVF_1_1FILOWorkList.html">SVF::FILOWorkList</a></div><div class="ttdef"><b>Definition:</b> <a href="AbstractExecution_8h_source.html#l00044">AbstractExecution.h:44</a></div></div>
481
- <div class="ttc" id="aclassSVF_1_1AEAPI_html_a1b878ba64873caf341984d788d7b4d2a"><div class="ttname"><a href="classSVF_1_1AEAPI.html#a1b878ba64873caf341984d788d7b4d2a">SVF::AEAPI::~AEAPI</a></div><div class="ttdeci">virtual ~AEAPI()</div><div class="ttdef"><b>Definition:</b> <a href="AbstractExecution_8h_source.html#l00307">AbstractExecution.h:307</a></div></div>
433
+ <div class="ttc" id="aclassSVF_1_1AbstractExecution_html_a2484783853c5a266223882f66e683fa9"><div class="ttname"><a href="classSVF_1_1AbstractExecution.html#a2484783853c5a266223882f66e683fa9">SVF::AbstractExecution::traceMemoryAllocationSize</a></div><div class="ttdeci">IntervalValue traceMemoryAllocationSize(const SVFValue *value)</div><div class="ttdef"><b>Definition:</b> <a href="AbstractExecution_8cpp_source.html#l01384">AbstractExecution.cpp:1384</a></div></div>
482
434
  <div class="ttc" id="anamespaceSVF_html_a43a65e0d33af3c743294f7a1139d2301"><div class="ttname"><a href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">SVF::NodeID</a></div><div class="ttdeci">unsigned NodeID</div><div class="ttdef"><b>Definition:</b> <a href="svf-llvm_2tools_2MTA_2MTAResultValidator_8h_source.html#l00020">MTAResultValidator.h:20</a></div></div>
483
- <div class="ttc" id="aclassSVF_1_1AEStat_html_adbce526127c9cc83d642cde2a1e77ff7"><div class="ttname"><a href="classSVF_1_1AEStat.html#adbce526127c9cc83d642cde2a1e77ff7">SVF::AEStat::_ae</a></div><div class="ttdeci">AbstractExecution * _ae</div><div class="ttdef"><b>Definition:</b> <a href="AbstractExecution_8h_source.html#l00079">AbstractExecution.h:79</a></div></div>
435
+ <div class="ttc" id="aclassSVF_1_1AEStat_html_adbce526127c9cc83d642cde2a1e77ff7"><div class="ttname"><a href="classSVF_1_1AEStat.html#adbce526127c9cc83d642cde2a1e77ff7">SVF::AEStat::_ae</a></div><div class="ttdeci">AbstractExecution * _ae</div><div class="ttdef"><b>Definition:</b> <a href="AbstractExecution_8h_source.html#l00075">AbstractExecution.h:75</a></div></div>
484
436
  <div class="ttc" id="aclassSVF_1_1SVFArgument_html"><div class="ttname"><a href="classSVF_1_1SVFArgument.html">SVF::SVFArgument</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00897">SVFValue.h:897</a></div></div>
485
- <div class="ttc" id="aclassSVF_1_1AEStat_html_a5b246c2175c44454236242dcf426f21f"><div class="ttname"><a href="classSVF_1_1AEStat.html#a5b246c2175c44454236242dcf426f21f">SVF::AEStat::finializeStat</a></div><div class="ttdeci">void finializeStat()</div><div class="ttdef"><b>Definition:</b> <a href="AbstractExecution_8cpp_source.html#l01035">AbstractExecution.cpp:1035</a></div></div>
437
+ <div class="ttc" id="aclassSVF_1_1AEStat_html_a5b246c2175c44454236242dcf426f21f"><div class="ttname"><a href="classSVF_1_1AEStat.html#a5b246c2175c44454236242dcf426f21f">SVF::AEStat::finializeStat</a></div><div class="ttdeci">void finializeStat()</div><div class="ttdef"><b>Definition:</b> <a href="AbstractExecution_8cpp_source.html#l01030">AbstractExecution.cpp:1030</a></div></div>
486
438
  <div class="ttc" id="anamespaceSVF_html_ad781b0b14e89773e774072b280658ef3"><div class="ttname"><a href="namespaceSVF.html#ad781b0b14e89773e774072b280658ef3">SVF::s64_t</a></div><div class="ttdeci">signed long long s64_t</div><div class="ttdef"><b>Definition:</b> <a href="GeneralType_8h_source.html#l00049">GeneralType.h:49</a></div></div>
487
- <div class="ttc" id="aclassSVF_1_1AEStat_html_a2064225a75798a495100eb7da2c880af"><div class="ttname"><a href="classSVF_1_1AEStat.html#a2064225a75798a495100eb7da2c880af">SVF::AEStat::memory_usage</a></div><div class="ttdeci">std::string memory_usage</div><div class="ttdef"><b>Definition:</b> <a href="AbstractExecution_8h_source.html#l00081">AbstractExecution.h:81</a></div></div>
488
- <div class="ttc" id="aclassSVF_1_1AEAPI_html"><div class="ttname"><a href="classSVF_1_1AEAPI.html">SVF::AEAPI</a></div><div class="ttdef"><b>Definition:</b> <a href="AbstractExecution_8h_source.html#l00286">AbstractExecution.h:286</a></div></div>
489
- <div class="ttc" id="aclassSVF_1_1AEAPI_html_ac647ce8e5e4e14303a4c8c8fc6321492"><div class="ttname"><a href="classSVF_1_1AEAPI.html#ac647ce8e5e4e14303a4c8c8fc6321492">SVF::AEAPI::_kind</a></div><div class="ttdeci">AEKind _kind</div><div class="ttdef"><b>Definition:</b> <a href="AbstractExecution_8h_source.html#l00430">AbstractExecution.h:430</a></div></div>
490
- <div class="ttc" id="aclassSVF_1_1AEAPI_html_a13abbe8b8622df63e7f160732bc1cbfc"><div class="ttname"><a href="classSVF_1_1AEAPI.html#a13abbe8b8622df63e7f160732bc1cbfc">SVF::AEAPI::handleStrcpy</a></div><div class="ttdeci">virtual void handleStrcpy(const CallICFGNode *call)</div><div class="ttdef"><b>Definition:</b> <a href="AbstractExecution_8cpp_source.html#l01344">AbstractExecution.cpp:1344</a></div></div>
491
- <div class="ttc" id="aclassSVF_1_1AEAPI_html_a29ab312d273e6c9c32a40d61861afb04"><div class="ttname"><a href="classSVF_1_1AEAPI.html#a29ab312d273e6c9c32a40d61861afb04">SVF::AEAPI::ExtAPIType</a></div><div class="ttdeci">ExtAPIType</div><div class="ttdef"><b>Definition:</b> <a href="AbstractExecution_8h_source.html#l00289">AbstractExecution.h:289</a></div></div>
439
+ <div class="ttc" id="aclassSVF_1_1AEStat_html_a2064225a75798a495100eb7da2c880af"><div class="ttname"><a href="classSVF_1_1AEStat.html#a2064225a75798a495100eb7da2c880af">SVF::AEStat::memory_usage</a></div><div class="ttdeci">std::string memory_usage</div><div class="ttdef"><b>Definition:</b> <a href="AbstractExecution_8h_source.html#l00077">AbstractExecution.h:77</a></div></div>
492
440
  <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>
493
- <div class="ttc" id="aclassSVF_1_1AEStat_html_ae24590233a864e18a6b0948bef89201a"><div class="ttname"><a href="classSVF_1_1AEStat.html#ae24590233a864e18a6b0948bef89201a">SVF::AEStat::reportBug</a></div><div class="ttdeci">void reportBug()</div><div class="ttdef"><b>Definition:</b> <a href="AbstractExecution_8cpp_source.html#l01115">AbstractExecution.cpp:1115</a></div></div>
494
- <div class="ttc" id="aclassSVF_1_1AEAPI_html_a112519b672206ac552273666949eeb3b"><div class="ttname"><a href="classSVF_1_1AEAPI.html#a112519b672206ac552273666949eeb3b">SVF::AEAPI::getPointeeElement</a></div><div class="ttdeci">const SVFType * getPointeeElement(NodeID id)</div><div class="ttdef"><b>Definition:</b> <a href="AbstractExecution_8cpp_source.html#l01668">AbstractExecution.cpp:1668</a></div></div>
495
- <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>
441
+ <div class="ttc" id="aclassSVF_1_1AbstractExecution_html_a442fb8eda087f72aa61816213dea43afadcda19decab7b2d85523b1fdbceb23e6"><div class="ttname"><a href="classSVF_1_1AbstractExecution.html#a442fb8eda087f72aa61816213dea43afadcda19decab7b2d85523b1fdbceb23e6">SVF::AbstractExecution::STRCAT</a></div><div class="ttdeci">@ STRCAT</div><div class="ttdef"><b>Definition:</b> <a href="AbstractExecution_8h_source.html#l00114">AbstractExecution.h:114</a></div></div>
442
+ <div class="ttc" id="aclassSVF_1_1AEStat_html_ae24590233a864e18a6b0948bef89201a"><div class="ttname"><a href="classSVF_1_1AEStat.html#ae24590233a864e18a6b0948bef89201a">SVF::AEStat::reportBug</a></div><div class="ttdeci">void reportBug()</div><div class="ttdef"><b>Definition:</b> <a href="AbstractExecution_8cpp_source.html#l01110">AbstractExecution.cpp:1110</a></div></div>
443
+ <div class="ttc" id="aclassSVF_1_1AbstractExecution_html_a20df87d2a269c3feab3acc40e4cd8801"><div class="ttname"><a href="classSVF_1_1AbstractExecution.html#a20df87d2a269c3feab3acc40e4cd8801">SVF::AbstractExecution::AccessMemoryViaCopyStmt</a></div><div class="ttdeci">void AccessMemoryViaCopyStmt(const CopyStmt *copy, SVF::FILOWorkList&lt; const SVFValue * &gt; &amp;worklist, Set&lt; const SVFValue * &gt; &amp;visited)</div><div class="ttdef"><b>Definition:</b> <a href="AbstractExecution_8cpp_source.html#l01760">AbstractExecution.cpp:1760</a></div></div>
444
+ <div class="ttc" id="aclassSVF_1_1AbstractExecution_html_a0ed5456bdeaff7ab4e1decdff8ae2afb"><div class="ttname"><a href="classSVF_1_1AbstractExecution.html#a0ed5456bdeaff7ab4e1decdff8ae2afb">SVF::AbstractExecution::handleStrcpy</a></div><div class="ttdeci">virtual void handleStrcpy(const CallICFGNode *call)</div><div class="ttdef"><b>Definition:</b> <a href="AbstractExecution_8cpp_source.html#l01339">AbstractExecution.cpp:1339</a></div></div>
445
+ <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>
496
446
  <div class="ttc" id="aclassSVF_1_1SVFStat_html"><div class="ttname"><a href="classSVF_1_1SVFStat.html">SVF::SVFStat</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFStat_8h_source.html#l00040">SVFStat.h:40</a></div></div>
497
447
  <div class="ttc" id="anamespaceSVF_html_ad42bff8d0a7d60a085aa32d10f4955af"><div class="ttname"><a href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">SVF::u32_t</a></div><div class="ttdeci">unsigned u32_t</div><div class="ttdef"><b>Definition:</b> <a href="GeneralType_8h_source.html#l00046">GeneralType.h:46</a></div></div>
498
- <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>
499
- <div class="ttc" id="aclassSVF_1_1AbstractExecution_html_a7efff2047b2b6017fdd210a8679817cd"><div class="ttname"><a href="classSVF_1_1AbstractExecution.html#a7efff2047b2b6017fdd210a8679817cd">SVF::AbstractExecution::handleGlobalNode</a></div><div class="ttdeci">virtual void handleGlobalNode()</div><div class="ttdoc">Global ICFGNode is handled at the entry of the program,.</div><div class="ttdef"><b>Definition:</b> <a href="AbstractExecution_8cpp_source.html#l00168">AbstractExecution.cpp:168</a></div></div>
500
- <div class="ttc" id="aclassSVF_1_1AbstractExecution_html_ad1baaa8eaad68b215f63941776e79ccf"><div class="ttname"><a href="classSVF_1_1AbstractExecution.html#ad1baaa8eaad68b215f63941776e79ccf">SVF::AbstractExecution::isIndirectCall</a></div><div class="ttdeci">virtual bool isIndirectCall(const CallICFGNode *callNode)</div><div class="ttdef"><b>Definition:</b> <a href="AbstractExecution_8cpp_source.html#l00702">AbstractExecution.cpp:702</a></div></div>
448
+ <div class="ttc" id="aclassSVF_1_1AbstractExecution_html_a7efff2047b2b6017fdd210a8679817cd"><div class="ttname"><a href="classSVF_1_1AbstractExecution.html#a7efff2047b2b6017fdd210a8679817cd">SVF::AbstractExecution::handleGlobalNode</a></div><div class="ttdeci">virtual void handleGlobalNode()</div><div class="ttdoc">Global ICFGNode is handled at the entry of the program,.</div><div class="ttdef"><b>Definition:</b> <a href="AbstractExecution_8cpp_source.html#l00163">AbstractExecution.cpp:163</a></div></div>
449
+ <div class="ttc" id="aclassSVF_1_1AbstractExecution_html_ad1baaa8eaad68b215f63941776e79ccf"><div class="ttname"><a href="classSVF_1_1AbstractExecution.html#ad1baaa8eaad68b215f63941776e79ccf">SVF::AbstractExecution::isIndirectCall</a></div><div class="ttdeci">virtual bool isIndirectCall(const CallICFGNode *callNode)</div><div class="ttdef"><b>Definition:</b> <a href="AbstractExecution_8cpp_source.html#l00697">AbstractExecution.cpp:697</a></div></div>
450
+ <div class="ttc" id="aclassSVF_1_1AbstractExecution_html_ae002abb8711300ff52200f78f1463369"><div class="ttname"><a href="classSVF_1_1AbstractExecution.html#ae002abb8711300ff52200f78f1463369">SVF::AbstractExecution::handleExtAPI</a></div><div class="ttdeci">virtual void handleExtAPI(const CallICFGNode *call)</div><div class="ttdef"><b>Definition:</b> <a href="AbstractExecution_8cpp_source.html#l01235">AbstractExecution.cpp:1235</a></div></div>
501
451
  <div class="ttc" id="aAndersen_8h_html"><div class="ttname"><a href="Andersen_8h.html">Andersen.h</a></div></div>
502
- <div class="ttc" id="aclassSVF_1_1AEAPI_html_a3665513f6e8f8b93ef3f9d273d03ee70"><div class="ttname"><a href="classSVF_1_1AEAPI.html#a3665513f6e8f8b93ef3f9d273d03ee70">SVF::AEAPI::AccessMemoryViaCopyStmt</a></div><div class="ttdeci">void AccessMemoryViaCopyStmt(const CopyStmt *copy, SVF::FILOWorkList&lt; const SVFValue * &gt; &amp;worklist, Set&lt; const SVFValue * &gt; &amp;visited)</div><div class="ttdef"><b>Definition:</b> <a href="AbstractExecution_8cpp_source.html#l01765">AbstractExecution.cpp:1765</a></div></div>
503
452
  <!-- start footer part -->
504
453
  <hr class="footer"/><address class="footer"><small>
505
454
  Generated by &#160;<a href="http://www.doxygen.org/index.html">