svf-tools 1.0.875 → 1.0.877

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 (303) hide show
  1. package/README.md +1 -1
  2. package/SVF-doxygen/html/AbstractExecution_8cpp.html +218 -0
  3. package/SVF-doxygen/html/AbstractExecution_8cpp_source.html +2124 -0
  4. package/SVF-doxygen/html/AbstractExecution_8h.html +118 -0
  5. package/SVF-doxygen/html/AbstractExecution_8h_source.html +512 -0
  6. package/SVF-doxygen/html/BufOverflowChecker_8cpp_source.html +81 -81
  7. package/SVF-doxygen/html/BufOverflowChecker_8h.html +1 -1
  8. package/SVF-doxygen/html/BufOverflowChecker_8h_source.html +20 -20
  9. package/SVF-doxygen/html/CFBasicBlockGBuilder_8cpp_source.html +3 -3
  10. package/SVF-doxygen/html/CFBasicBlockGBuilder_8h_source.html +1 -1
  11. package/SVF-doxygen/html/CFBasicBlockGWTO_8h_source.html +2 -2
  12. package/SVF-doxygen/html/CFBasicBlockG_8h_source.html +318 -367
  13. package/SVF-doxygen/html/ae_8cpp.html +7 -7
  14. package/SVF-doxygen/html/ae_8cpp_source.html +7 -7
  15. package/SVF-doxygen/html/annotated.html +12 -12
  16. package/SVF-doxygen/html/classSVF_1_1AEAPI-members.html +2 -2
  17. package/SVF-doxygen/html/classSVF_1_1AEAPI.html +145 -145
  18. package/SVF-doxygen/html/classSVF_1_1AEStat-members.html +2 -2
  19. package/SVF-doxygen/html/classSVF_1_1AEStat.html +53 -53
  20. package/SVF-doxygen/html/classSVF_1_1AbstractExecution-members.html +137 -0
  21. package/SVF-doxygen/html/classSVF_1_1AbstractExecution.html +2884 -0
  22. package/SVF-doxygen/html/classSVF_1_1AbstractExecution.png +0 -0
  23. package/SVF-doxygen/html/classSVF_1_1BufOverflowChecker-members.html +50 -50
  24. package/SVF-doxygen/html/classSVF_1_1BufOverflowChecker.html +117 -117
  25. package/SVF-doxygen/html/classSVF_1_1BufOverflowChecker.png +0 -0
  26. package/SVF-doxygen/html/classSVF_1_1BufOverflowCheckerAPI-members.html +3 -3
  27. package/SVF-doxygen/html/classSVF_1_1BufOverflowCheckerAPI.html +38 -38
  28. package/SVF-doxygen/html/classSVF_1_1CFBasicBlockGBuilder.html +2 -2
  29. package/SVF-doxygen/html/classSVF_1_1CFBasicBlockGWTO.html +1 -1
  30. package/SVF-doxygen/html/classSVF_1_1CFBasicBlockGraph.html +92 -92
  31. package/SVF-doxygen/html/classSVF_1_1CFBasicBlockNode-members.html +8 -8
  32. package/SVF-doxygen/html/classSVF_1_1CFBasicBlockNode.html +51 -309
  33. package/SVF-doxygen/html/classSVF_1_1GenericNode.html +8 -8
  34. package/SVF-doxygen/html/classes.html +16 -16
  35. package/SVF-doxygen/html/dir_81caa96ab1d3de93b353e2bbe80e6067.html +1 -1
  36. package/SVF-doxygen/html/dir_fbec400583b4bd6c5f2e89c86c5943a6.html +1 -1
  37. package/SVF-doxygen/html/files.html +2 -2
  38. package/SVF-doxygen/html/functions.html +21 -21
  39. package/SVF-doxygen/html/functions_a.html +17 -17
  40. package/SVF-doxygen/html/functions_b.html +1 -1
  41. package/SVF-doxygen/html/functions_c.html +16 -16
  42. package/SVF-doxygen/html/functions_d.html +7 -11
  43. package/SVF-doxygen/html/functions_e.html +1 -1
  44. package/SVF-doxygen/html/functions_func.html +13 -13
  45. package/SVF-doxygen/html/functions_func_c.html +11 -11
  46. package/SVF-doxygen/html/functions_func_d.html +7 -11
  47. package/SVF-doxygen/html/functions_func_e.html +1 -1
  48. package/SVF-doxygen/html/functions_func_g.html +1 -1
  49. package/SVF-doxygen/html/functions_func_h.html +11 -11
  50. package/SVF-doxygen/html/functions_func_i.html +8 -8
  51. package/SVF-doxygen/html/functions_func_m.html +1 -1
  52. package/SVF-doxygen/html/functions_func_n.html +1 -1
  53. package/SVF-doxygen/html/functions_func_r.html +2 -2
  54. package/SVF-doxygen/html/functions_func_s.html +2 -2
  55. package/SVF-doxygen/html/functions_func_w.html +1 -1
  56. package/SVF-doxygen/html/functions_func_~.html +3 -3
  57. package/SVF-doxygen/html/functions_g.html +1 -1
  58. package/SVF-doxygen/html/functions_h.html +11 -11
  59. package/SVF-doxygen/html/functions_i.html +8 -8
  60. package/SVF-doxygen/html/functions_m.html +1 -1
  61. package/SVF-doxygen/html/functions_n.html +1 -1
  62. package/SVF-doxygen/html/functions_p.html +7 -7
  63. package/SVF-doxygen/html/functions_r.html +6 -8
  64. package/SVF-doxygen/html/functions_rela.html +2 -2
  65. package/SVF-doxygen/html/functions_s.html +10 -8
  66. package/SVF-doxygen/html/functions_t.html +7 -7
  67. package/SVF-doxygen/html/functions_type_c.html +1 -1
  68. package/SVF-doxygen/html/functions_v.html +1 -3
  69. package/SVF-doxygen/html/functions_vars.html +21 -21
  70. package/SVF-doxygen/html/functions_w.html +1 -1
  71. package/SVF-doxygen/html/functions_~.html +3 -3
  72. package/SVF-doxygen/html/globals.html +2 -2
  73. package/SVF-doxygen/html/globals_defs.html +1 -1
  74. package/SVF-doxygen/html/globals_s.html +1 -1
  75. package/SVF-doxygen/html/globals_vars.html +2 -2
  76. package/SVF-doxygen/html/hierarchy.html +12 -12
  77. package/SVF-doxygen/html/namespaceSVF.html +9 -9
  78. package/SVF-doxygen/html/search/all_0.js +21 -21
  79. package/SVF-doxygen/html/search/all_1.js +503 -502
  80. package/SVF-doxygen/html/search/all_10.js +325 -325
  81. package/SVF-doxygen/html/search/all_11.js +228 -228
  82. package/SVF-doxygen/html/search/all_12.js +569 -569
  83. package/SVF-doxygen/html/search/all_13.js +208 -208
  84. package/SVF-doxygen/html/search/all_14.js +69 -69
  85. package/SVF-doxygen/html/search/all_15.js +176 -176
  86. package/SVF-doxygen/html/search/all_16.js +78 -78
  87. package/SVF-doxygen/html/search/all_17.js +1 -1
  88. package/SVF-doxygen/html/search/all_18.js +1 -1
  89. package/SVF-doxygen/html/search/all_19.js +26 -26
  90. package/SVF-doxygen/html/search/all_1a.js +182 -182
  91. package/SVF-doxygen/html/search/all_2.js +182 -182
  92. package/SVF-doxygen/html/search/all_3.js +654 -654
  93. package/SVF-doxygen/html/search/all_4.js +237 -237
  94. package/SVF-doxygen/html/search/all_5.js +128 -128
  95. package/SVF-doxygen/html/search/all_6.js +232 -232
  96. package/SVF-doxygen/html/search/all_7.js +1060 -1060
  97. package/SVF-doxygen/html/search/all_8.js +217 -217
  98. package/SVF-doxygen/html/search/all_9.js +628 -628
  99. package/SVF-doxygen/html/search/all_a.js +46 -46
  100. package/SVF-doxygen/html/search/all_b.js +26 -26
  101. package/SVF-doxygen/html/search/all_c.js +115 -115
  102. package/SVF-doxygen/html/search/all_d.js +203 -203
  103. package/SVF-doxygen/html/search/all_e.js +209 -209
  104. package/SVF-doxygen/html/search/all_f.js +121 -121
  105. package/SVF-doxygen/html/search/classes_0.js +29 -29
  106. package/SVF-doxygen/html/search/classes_1.js +12 -12
  107. package/SVF-doxygen/html/search/classes_10.js +74 -74
  108. package/SVF-doxygen/html/search/classes_11.js +14 -14
  109. package/SVF-doxygen/html/search/classes_12.js +2 -2
  110. package/SVF-doxygen/html/search/classes_13.js +10 -10
  111. package/SVF-doxygen/html/search/classes_14.js +20 -20
  112. package/SVF-doxygen/html/search/classes_15.js +1 -1
  113. package/SVF-doxygen/html/search/classes_2.js +78 -78
  114. package/SVF-doxygen/html/search/classes_3.js +37 -37
  115. package/SVF-doxygen/html/search/classes_4.js +9 -9
  116. package/SVF-doxygen/html/search/classes_5.js +28 -28
  117. package/SVF-doxygen/html/search/classes_6.js +104 -104
  118. package/SVF-doxygen/html/search/classes_7.js +38 -38
  119. package/SVF-doxygen/html/search/classes_8.js +58 -58
  120. package/SVF-doxygen/html/search/classes_9.js +1 -1
  121. package/SVF-doxygen/html/search/classes_a.js +12 -12
  122. package/SVF-doxygen/html/search/classes_b.js +29 -29
  123. package/SVF-doxygen/html/search/classes_c.js +6 -6
  124. package/SVF-doxygen/html/search/classes_d.js +19 -19
  125. package/SVF-doxygen/html/search/classes_e.js +36 -36
  126. package/SVF-doxygen/html/search/classes_f.js +25 -25
  127. package/SVF-doxygen/html/search/defines_0.js +3 -3
  128. package/SVF-doxygen/html/search/defines_1.js +3 -3
  129. package/SVF-doxygen/html/search/defines_10.js +2 -2
  130. package/SVF-doxygen/html/search/defines_2.js +30 -30
  131. package/SVF-doxygen/html/search/defines_3.js +20 -20
  132. package/SVF-doxygen/html/search/defines_4.js +3 -3
  133. package/SVF-doxygen/html/search/defines_5.js +4 -4
  134. package/SVF-doxygen/html/search/defines_6.js +2 -2
  135. package/SVF-doxygen/html/search/defines_7.js +5 -5
  136. package/SVF-doxygen/html/search/defines_8.js +11 -11
  137. package/SVF-doxygen/html/search/defines_9.js +9 -9
  138. package/SVF-doxygen/html/search/defines_a.js +2 -2
  139. package/SVF-doxygen/html/search/defines_b.js +1 -1
  140. package/SVF-doxygen/html/search/defines_c.js +4 -4
  141. package/SVF-doxygen/html/search/defines_d.js +2 -2
  142. package/SVF-doxygen/html/search/defines_e.js +8 -8
  143. package/SVF-doxygen/html/search/defines_f.js +4 -4
  144. package/SVF-doxygen/html/search/enums_0.js +4 -4
  145. package/SVF-doxygen/html/search/enums_1.js +2 -2
  146. package/SVF-doxygen/html/search/enums_10.js +1 -1
  147. package/SVF-doxygen/html/search/enums_11.js +1 -1
  148. package/SVF-doxygen/html/search/enums_2.js +8 -8
  149. package/SVF-doxygen/html/search/enums_3.js +1 -1
  150. package/SVF-doxygen/html/search/enums_4.js +4 -4
  151. package/SVF-doxygen/html/search/enums_5.js +1 -1
  152. package/SVF-doxygen/html/search/enums_6.js +2 -2
  153. package/SVF-doxygen/html/search/enums_7.js +2 -2
  154. package/SVF-doxygen/html/search/enums_8.js +4 -4
  155. package/SVF-doxygen/html/search/enums_9.js +1 -1
  156. package/SVF-doxygen/html/search/enums_a.js +1 -1
  157. package/SVF-doxygen/html/search/enums_b.js +7 -7
  158. package/SVF-doxygen/html/search/enums_c.js +1 -1
  159. package/SVF-doxygen/html/search/enums_d.js +4 -4
  160. package/SVF-doxygen/html/search/enums_e.js +2 -2
  161. package/SVF-doxygen/html/search/enums_f.js +4 -4
  162. package/SVF-doxygen/html/search/enumvalues_0.js +15 -15
  163. package/SVF-doxygen/html/search/enumvalues_1.js +15 -15
  164. package/SVF-doxygen/html/search/enumvalues_10.js +35 -35
  165. package/SVF-doxygen/html/search/enumvalues_11.js +4 -4
  166. package/SVF-doxygen/html/search/enumvalues_12.js +10 -10
  167. package/SVF-doxygen/html/search/enumvalues_13.js +1 -1
  168. package/SVF-doxygen/html/search/enumvalues_14.js +1 -1
  169. package/SVF-doxygen/html/search/enumvalues_15.js +3 -3
  170. package/SVF-doxygen/html/search/enumvalues_2.js +36 -36
  171. package/SVF-doxygen/html/search/enumvalues_3.js +13 -13
  172. package/SVF-doxygen/html/search/enumvalues_4.js +2 -2
  173. package/SVF-doxygen/html/search/enumvalues_5.js +47 -47
  174. package/SVF-doxygen/html/search/enumvalues_6.js +6 -6
  175. package/SVF-doxygen/html/search/enumvalues_7.js +8 -8
  176. package/SVF-doxygen/html/search/enumvalues_8.js +23 -23
  177. package/SVF-doxygen/html/search/enumvalues_9.js +6 -6
  178. package/SVF-doxygen/html/search/enumvalues_a.js +17 -17
  179. package/SVF-doxygen/html/search/enumvalues_b.js +11 -11
  180. package/SVF-doxygen/html/search/enumvalues_c.js +5 -5
  181. package/SVF-doxygen/html/search/enumvalues_d.js +18 -18
  182. package/SVF-doxygen/html/search/enumvalues_e.js +9 -9
  183. package/SVF-doxygen/html/search/enumvalues_f.js +47 -47
  184. package/SVF-doxygen/html/search/files_0.js +16 -15
  185. package/SVF-doxygen/html/search/files_1.js +9 -9
  186. package/SVF-doxygen/html/search/files_10.js +8 -8
  187. package/SVF-doxygen/html/search/files_11.js +8 -8
  188. package/SVF-doxygen/html/search/files_12.js +2 -2
  189. package/SVF-doxygen/html/search/files_2.js +58 -58
  190. package/SVF-doxygen/html/search/files_3.js +14 -14
  191. package/SVF-doxygen/html/search/files_4.js +5 -5
  192. package/SVF-doxygen/html/search/files_5.js +13 -13
  193. package/SVF-doxygen/html/search/files_6.js +10 -10
  194. package/SVF-doxygen/html/search/files_7.js +15 -15
  195. package/SVF-doxygen/html/search/files_8.js +13 -13
  196. package/SVF-doxygen/html/search/files_9.js +18 -18
  197. package/SVF-doxygen/html/search/files_a.js +3 -3
  198. package/SVF-doxygen/html/search/files_b.js +4 -4
  199. package/SVF-doxygen/html/search/files_c.js +20 -20
  200. package/SVF-doxygen/html/search/files_d.js +4 -4
  201. package/SVF-doxygen/html/search/files_e.js +62 -62
  202. package/SVF-doxygen/html/search/files_f.js +8 -8
  203. package/SVF-doxygen/html/search/functions_0.js +13 -13
  204. package/SVF-doxygen/html/search/functions_1.js +374 -374
  205. package/SVF-doxygen/html/search/functions_10.js +140 -140
  206. package/SVF-doxygen/html/search/functions_11.js +142 -142
  207. package/SVF-doxygen/html/search/functions_12.js +298 -298
  208. package/SVF-doxygen/html/search/functions_13.js +74 -74
  209. package/SVF-doxygen/html/search/functions_14.js +40 -40
  210. package/SVF-doxygen/html/search/functions_15.js +72 -72
  211. package/SVF-doxygen/html/search/functions_16.js +38 -38
  212. package/SVF-doxygen/html/search/functions_17.js +3 -3
  213. package/SVF-doxygen/html/search/functions_18.js +182 -182
  214. package/SVF-doxygen/html/search/functions_2.js +95 -95
  215. package/SVF-doxygen/html/search/functions_3.js +266 -266
  216. package/SVF-doxygen/html/search/functions_4.js +84 -84
  217. package/SVF-doxygen/html/search/functions_5.js +57 -57
  218. package/SVF-doxygen/html/search/functions_6.js +65 -65
  219. package/SVF-doxygen/html/search/functions_7.js +867 -867
  220. package/SVF-doxygen/html/search/functions_8.js +164 -164
  221. package/SVF-doxygen/html/search/functions_9.js +440 -440
  222. package/SVF-doxygen/html/search/functions_a.js +30 -30
  223. package/SVF-doxygen/html/search/functions_b.js +2 -2
  224. package/SVF-doxygen/html/search/functions_c.js +25 -25
  225. package/SVF-doxygen/html/search/functions_d.js +81 -81
  226. package/SVF-doxygen/html/search/functions_e.js +36 -36
  227. package/SVF-doxygen/html/search/functions_f.js +58 -58
  228. package/SVF-doxygen/html/search/namespaces_0.js +1 -1
  229. package/SVF-doxygen/html/search/namespaces_1.js +7 -7
  230. package/SVF-doxygen/html/search/related_0.js +4 -4
  231. package/SVF-doxygen/html/search/related_1.js +2 -2
  232. package/SVF-doxygen/html/search/related_2.js +3 -3
  233. package/SVF-doxygen/html/search/related_3.js +2 -2
  234. package/SVF-doxygen/html/search/related_4.js +2 -2
  235. package/SVF-doxygen/html/search/related_5.js +1 -1
  236. package/SVF-doxygen/html/search/related_6.js +2 -2
  237. package/SVF-doxygen/html/search/related_7.js +4 -4
  238. package/SVF-doxygen/html/search/related_8.js +2 -2
  239. package/SVF-doxygen/html/search/related_9.js +4 -4
  240. package/SVF-doxygen/html/search/related_a.js +19 -19
  241. package/SVF-doxygen/html/search/related_b.js +4 -4
  242. package/SVF-doxygen/html/search/related_c.js +2 -2
  243. package/SVF-doxygen/html/search/related_d.js +12 -12
  244. package/SVF-doxygen/html/search/related_e.js +2 -2
  245. package/SVF-doxygen/html/search/related_f.js +2 -2
  246. package/SVF-doxygen/html/search/typedefs_0.js +20 -20
  247. package/SVF-doxygen/html/search/typedefs_1.js +27 -27
  248. package/SVF-doxygen/html/search/typedefs_10.js +63 -63
  249. package/SVF-doxygen/html/search/typedefs_11.js +13 -13
  250. package/SVF-doxygen/html/search/typedefs_12.js +11 -11
  251. package/SVF-doxygen/html/search/typedefs_13.js +40 -40
  252. package/SVF-doxygen/html/search/typedefs_14.js +11 -11
  253. package/SVF-doxygen/html/search/typedefs_2.js +129 -129
  254. package/SVF-doxygen/html/search/typedefs_3.js +39 -39
  255. package/SVF-doxygen/html/search/typedefs_4.js +18 -18
  256. package/SVF-doxygen/html/search/typedefs_5.js +42 -42
  257. package/SVF-doxygen/html/search/typedefs_6.js +57 -57
  258. package/SVF-doxygen/html/search/typedefs_7.js +47 -47
  259. package/SVF-doxygen/html/search/typedefs_8.js +1 -1
  260. package/SVF-doxygen/html/search/typedefs_9.js +6 -6
  261. package/SVF-doxygen/html/search/typedefs_a.js +29 -29
  262. package/SVF-doxygen/html/search/typedefs_b.js +29 -29
  263. package/SVF-doxygen/html/search/typedefs_c.js +41 -41
  264. package/SVF-doxygen/html/search/typedefs_d.js +14 -14
  265. package/SVF-doxygen/html/search/typedefs_e.js +52 -52
  266. package/SVF-doxygen/html/search/typedefs_f.js +14 -14
  267. package/SVF-doxygen/html/search/variables_0.js +182 -182
  268. package/SVF-doxygen/html/search/variables_1.js +76 -76
  269. package/SVF-doxygen/html/search/variables_10.js +98 -98
  270. package/SVF-doxygen/html/search/variables_11.js +46 -46
  271. package/SVF-doxygen/html/search/variables_12.js +93 -93
  272. package/SVF-doxygen/html/search/variables_13.js +76 -76
  273. package/SVF-doxygen/html/search/variables_14.js +14 -14
  274. package/SVF-doxygen/html/search/variables_15.js +49 -49
  275. package/SVF-doxygen/html/search/variables_16.js +11 -11
  276. package/SVF-doxygen/html/search/variables_17.js +1 -1
  277. package/SVF-doxygen/html/search/variables_18.js +17 -17
  278. package/SVF-doxygen/html/search/variables_2.js +41 -41
  279. package/SVF-doxygen/html/search/variables_3.js +142 -142
  280. package/SVF-doxygen/html/search/variables_4.js +51 -51
  281. package/SVF-doxygen/html/search/variables_5.js +39 -39
  282. package/SVF-doxygen/html/search/variables_6.js +66 -66
  283. package/SVF-doxygen/html/search/variables_7.js +34 -34
  284. package/SVF-doxygen/html/search/variables_8.js +8 -8
  285. package/SVF-doxygen/html/search/variables_9.js +78 -78
  286. package/SVF-doxygen/html/search/variables_a.js +4 -4
  287. package/SVF-doxygen/html/search/variables_b.js +10 -10
  288. package/SVF-doxygen/html/search/variables_c.js +45 -45
  289. package/SVF-doxygen/html/search/variables_d.js +57 -57
  290. package/SVF-doxygen/html/search/variables_e.js +123 -123
  291. package/SVF-doxygen/html/search/variables_f.js +31 -31
  292. package/SVF-doxygen/html/structSVF_1_1DOTGraphTraits_3_01SVF_1_1CFBasicBlockGraph_01_5_01_4.html +102 -102
  293. package/SVF-doxygen/html/structSVF_1_1GenericGraphTraits_3_01Inverse_3_01SVF_1_1CFBasicBlockNode_01_5_01_4_01_4.html +1 -1
  294. package/SVF-doxygen/html/structSVF_1_1GenericGraphTraits_3_01SVF_1_1CFBasicBlockGraph_01_5_01_4.html +2 -2
  295. package/SVF-doxygen/html/structSVF_1_1GenericGraphTraits_3_01SVF_1_1CFBasicBlockNode_01_5_01_4.html +1 -1
  296. package/build.sh +1 -1
  297. package/package.json +1 -1
  298. package/svf/include/AE/Svfexe/{AE.h → AbstractExecution.h} +13 -14
  299. package/svf/include/AE/Svfexe/BufOverflowChecker.h +5 -5
  300. package/svf/include/Graphs/CFBasicBlockG.h +0 -43
  301. package/svf/lib/AE/Svfexe/{AE.cpp → AbstractExecution.cpp} +33 -33
  302. package/svf/lib/AE/Svfexe/BufOverflowChecker.cpp +2 -2
  303. package/svf-llvm/tools/AE/ae.cpp +1 -1
package/SVF-doxygen/html/classSVF_1_1AEStat-members.html CHANGED
@@ -72,8 +72,8 @@ $(function() {
72
72
 
73
73
  <p>This is the complete list of members for <a class="el" href="classSVF_1_1AEStat.html">SVF::AEStat</a>, including all inherited members.</p>
74
74
  <table class="directory">
75
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1AEStat.html#a5270c59a538881996429837436b3ec4f">_ae</a></td><td class="entry"><a class="el" href="classSVF_1_1AEStat.html">SVF::AEStat</a></td><td class="entry"></td></tr>
76
- <tr><td class="entry"><a class="el" href="classSVF_1_1AEStat.html#a447ba17fd7010ba730288fa8b0253821">AEStat</a>(AE *ae)</td><td class="entry"><a class="el" href="classSVF_1_1AEStat.html">SVF::AEStat</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
75
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1AEStat.html#adbce526127c9cc83d642cde2a1e77ff7">_ae</a></td><td class="entry"><a class="el" href="classSVF_1_1AEStat.html">SVF::AEStat</a></td><td class="entry"></td></tr>
76
+ <tr><td class="entry"><a class="el" href="classSVF_1_1AEStat.html#a1e297f15d582d8c94c128a146ec92e1d">AEStat</a>(AbstractExecution *ae)</td><td class="entry"><a class="el" href="classSVF_1_1AEStat.html">SVF::AEStat</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
77
77
  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFStat.html#a17c8ea68bf1341ab80f71fff76a9ffce">branchStat</a>()</td><td class="entry"><a class="el" href="classSVF_1_1SVFStat.html">SVF::SVFStat</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
78
78
  <tr><td class="entry"><a class="el" href="classSVF_1_1AEStat.html#a2387fafd4d8f7775cb4ebf7b41b07bf8">bugStr</a></td><td class="entry"><a class="el" href="classSVF_1_1AEStat.html">SVF::AEStat</a></td><td class="entry"></td></tr>
79
79
  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFStat.html#a21e6767fbe2c3cdea4aac30199dfd2f0">callgraphStat</a>()</td><td class="entry"><a class="el" href="classSVF_1_1SVFStat.html">SVF::SVFStat</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
package/SVF-doxygen/html/classSVF_1_1AEStat.html CHANGED
@@ -74,10 +74,10 @@ $(function() {
74
74
  </div><!--header-->
75
75
  <div class="contents">
76
76
 
77
- <p><a class="el" href="classSVF_1_1AEStat.html" title="AEStat: Statistic for AE.">AEStat</a>: Statistic for <a class="el" href="classSVF_1_1AE.html">AE</a>.
77
+ <p><a class="el" href="classSVF_1_1AEStat.html" title="AEStat: Statistic for AE.">AEStat</a>: Statistic for AE.
78
78
  <a href="classSVF_1_1AEStat.html#details">More...</a></p>
79
79
 
80
- <p><code>#include &lt;<a class="el" href="AE_8h_source.html">AE.h</a>&gt;</code></p>
80
+ <p><code>#include &lt;<a class="el" href="AbstractExecution_8h_source.html">AbstractExecution.h</a>&gt;</code></p>
81
81
  <div class="dynheader">
82
82
  Inheritance diagram for SVF::AEStat:</div>
83
83
  <div class="dyncontent">
@@ -92,8 +92,8 @@ Inheritance diagram for SVF::AEStat:</div>
92
92
  Public Member Functions</h2></td></tr>
93
93
  <tr class="memitem:ae2cfe939670689a4ec5030c096a5f546"><td class="memItemLeft" align="right" valign="top">void&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1AEStat.html#ae2cfe939670689a4ec5030c096a5f546">countStateSize</a> ()</td></tr>
94
94
  <tr class="separator:ae2cfe939670689a4ec5030c096a5f546"><td class="memSeparator" colspan="2">&#160;</td></tr>
95
- <tr class="memitem:a447ba17fd7010ba730288fa8b0253821"><td class="memItemLeft" align="right" valign="top">&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1AEStat.html#a447ba17fd7010ba730288fa8b0253821">AEStat</a> (<a class="el" href="classSVF_1_1AE.html">AE</a> *ae)</td></tr>
96
- <tr class="separator:a447ba17fd7010ba730288fa8b0253821"><td class="memSeparator" colspan="2">&#160;</td></tr>
95
+ <tr class="memitem:a1e297f15d582d8c94c128a146ec92e1d"><td class="memItemLeft" align="right" valign="top">&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1AEStat.html#a1e297f15d582d8c94c128a146ec92e1d">AEStat</a> (<a class="el" href="classSVF_1_1AbstractExecution.html">AbstractExecution</a> *ae)</td></tr>
96
+ <tr class="separator:a1e297f15d582d8c94c128a146ec92e1d"><td class="memSeparator" colspan="2">&#160;</td></tr>
97
97
  <tr class="memitem:a974988b7df3982938e081883d7349a91"><td class="memItemLeft" align="right" valign="top">&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1AEStat.html#a974988b7df3982938e081883d7349a91">~AEStat</a> ()</td></tr>
98
98
  <tr class="separator:a974988b7df3982938e081883d7349a91"><td class="memSeparator" colspan="2">&#160;</td></tr>
99
99
  <tr class="memitem:acc2262e59167d040da3b5c726bdbf36e"><td class="memItemLeft" align="right" valign="top"><a class="el" href="cJSON_8cpp.html#ae1adbce218e7a9d09164012443191d24">std::string</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1AEStat.html#acc2262e59167d040da3b5c726bdbf36e">getMemUsage</a> ()</td></tr>
@@ -130,8 +130,8 @@ Public Member Functions</h2></td></tr>
130
130
  </table><table class="memberdecls">
131
131
  <tr class="heading"><td colspan="2"><h2 class="groupheader"><a name="pub-attribs"></a>
132
132
  Public Attributes</h2></td></tr>
133
- <tr class="memitem:a5270c59a538881996429837436b3ec4f"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1AE.html">AE</a> *&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1AEStat.html#a5270c59a538881996429837436b3ec4f">_ae</a></td></tr>
134
- <tr class="separator:a5270c59a538881996429837436b3ec4f"><td class="memSeparator" colspan="2">&#160;</td></tr>
133
+ <tr class="memitem:adbce526127c9cc83d642cde2a1e77ff7"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1AbstractExecution.html">AbstractExecution</a> *&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1AEStat.html#adbce526127c9cc83d642cde2a1e77ff7">_ae</a></td></tr>
134
+ <tr class="separator:adbce526127c9cc83d642cde2a1e77ff7"><td class="memSeparator" colspan="2">&#160;</td></tr>
135
135
  <tr class="memitem:a03a5abacf309902ce2bb9a9733ff195f"><td class="memItemLeft" align="right" valign="top"><a class="el" href="namespaceSVF.html#a9b707002523ece2ac54ca893ee9a2d4e">s32_t</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1AEStat.html#a03a5abacf309902ce2bb9a9733ff195f">count</a> {0}</td></tr>
136
136
  <tr class="separator:a03a5abacf309902ce2bb9a9733ff195f"><td class="memSeparator" colspan="2">&#160;</td></tr>
137
137
  <tr class="memitem:a2064225a75798a495100eb7da2c880af"><td class="memItemLeft" align="right" valign="top"><a class="el" href="cJSON_8cpp.html#ae1adbce218e7a9d09164012443191d24">std::string</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1AEStat.html#a2064225a75798a495100eb7da2c880af">memory_usage</a></td></tr>
@@ -178,12 +178,12 @@ Additional Inherited Members</h2></td></tr>
178
178
  <tr class="separator:aea75388c973674686d1f2b7498b4095c inherit pub_static_attribs_classSVF_1_1SVFStat"><td class="memSeparator" colspan="2">&#160;</td></tr>
179
179
  </table>
180
180
  <a name="details" id="details"></a><h2 class="groupheader">Detailed Description</h2>
181
- <div class="textblock"><p><a class="el" href="classSVF_1_1AEStat.html" title="AEStat: Statistic for AE.">AEStat</a>: Statistic for <a class="el" href="classSVF_1_1AE.html">AE</a>. </p>
181
+ <div class="textblock"><p><a class="el" href="classSVF_1_1AEStat.html" title="AEStat: Statistic for AE.">AEStat</a>: Statistic for AE. </p>
182
182
 
183
- <p class="definition">Definition at line <a class="el" href="AE_8h_source.html#l00050">50</a> of file <a class="el" href="AE_8h_source.html">AE.h</a>.</p>
183
+ <p class="definition">Definition at line <a class="el" href="AbstractExecution_8h_source.html#l00050">50</a> of file <a class="el" href="AbstractExecution_8h_source.html">AbstractExecution.h</a>.</p>
184
184
  </div><h2 class="groupheader">Constructor &amp; Destructor Documentation</h2>
185
- <a id="a447ba17fd7010ba730288fa8b0253821"></a>
186
- <h2 class="memtitle"><span class="permalink"><a href="#a447ba17fd7010ba730288fa8b0253821">&#9670;&nbsp;</a></span>AEStat()</h2>
185
+ <a id="a1e297f15d582d8c94c128a146ec92e1d"></a>
186
+ <h2 class="memtitle"><span class="permalink"><a href="#a1e297f15d582d8c94c128a146ec92e1d">&#9670;&nbsp;</a></span>AEStat()</h2>
187
187
 
188
188
  <div class="memitem">
189
189
  <div class="memproto">
@@ -194,7 +194,7 @@ Additional Inherited Members</h2></td></tr>
194
194
  <tr>
195
195
  <td class="memname">SVF::AEStat::AEStat </td>
196
196
  <td>(</td>
197
- <td class="paramtype"><a class="el" href="classSVF_1_1AE.html">AE</a> *&#160;</td>
197
+ <td class="paramtype"><a class="el" href="classSVF_1_1AbstractExecution.html">AbstractExecution</a> *&#160;</td>
198
198
  <td class="paramname"><em>ae</em></td><td>)</td>
199
199
  <td></td>
200
200
  </tr>
@@ -206,8 +206,8 @@ Additional Inherited Members</h2></td></tr>
206
206
  </table>
207
207
  </div><div class="memdoc">
208
208
 
209
- <p class="definition">Definition at line <a class="el" href="AE_8h_source.html#l00054">54</a> of file <a class="el" href="AE_8h_source.html">AE.h</a>.</p>
210
- <div class="fragment"><div class="line"><a name="l00054"></a><span class="lineno"> 54</span>&#160; : <a class="code" href="classSVF_1_1AEStat.html#a5270c59a538881996429837436b3ec4f">_ae</a>(ae)</div>
209
+ <p class="definition">Definition at line <a class="el" href="AbstractExecution_8h_source.html#l00054">54</a> of file <a class="el" href="AbstractExecution_8h_source.html">AbstractExecution.h</a>.</p>
210
+ <div class="fragment"><div class="line"><a name="l00054"></a><span class="lineno"> 54</span>&#160; : <a class="code" href="classSVF_1_1AEStat.html#adbce526127c9cc83d642cde2a1e77ff7">_ae</a>(ae)</div>
211
211
  <div class="line"><a name="l00055"></a><span class="lineno"> 55</span>&#160; {</div>
212
212
  <div class="line"><a name="l00056"></a><span class="lineno"> 56</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>
213
213
  <div class="line"><a name="l00057"></a><span class="lineno"> 57</span>&#160; }</div>
@@ -237,7 +237,7 @@ Additional Inherited Members</h2></td></tr>
237
237
  </table>
238
238
  </div><div class="memdoc">
239
239
 
240
- <p class="definition">Definition at line <a class="el" href="AE_8h_source.html#l00058">58</a> of file <a class="el" href="AE_8h_source.html">AE.h</a>.</p>
240
+ <p class="definition">Definition at line <a class="el" href="AbstractExecution_8h_source.html#l00058">58</a> of file <a class="el" href="AbstractExecution_8h_source.html">AbstractExecution.h</a>.</p>
241
241
  <div class="fragment"><div class="line"><a name="l00059"></a><span class="lineno"> 59</span>&#160; {</div>
242
242
  <div class="line"><a name="l00060"></a><span class="lineno"> 60</span>&#160; }</div>
243
243
  </div><!-- fragment -->
@@ -259,7 +259,7 @@ Additional Inherited Members</h2></td></tr>
259
259
  </table>
260
260
  </div><div class="memdoc">
261
261
 
262
- <p class="definition">Definition at line <a class="el" href="AE_8cpp_source.html#l01022">1022</a> of file <a class="el" href="AE_8cpp_source.html">AE.cpp</a>.</p>
262
+ <p class="definition">Definition at line <a class="el" href="AbstractExecution_8cpp_source.html#l01022">1022</a> of file <a class="el" href="AbstractExecution_8cpp_source.html">AbstractExecution.cpp</a>.</p>
263
263
  <div class="fragment"><div class="line"><a name="l01023"></a><span class="lineno"> 1023</span>&#160;{</div>
264
264
  <div class="line"><a name="l01024"></a><span class="lineno"> 1024</span>&#160; <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1AEStat.html#a03a5abacf309902ce2bb9a9733ff195f">count</a> == 0)</div>
265
265
  <div class="line"><a name="l01025"></a><span class="lineno"> 1025</span>&#160; {</div>
@@ -273,10 +273,10 @@ Additional Inherited Members</h2></td></tr>
273
273
  <div class="line"><a name="l01033"></a><span class="lineno"> 1033</span>&#160; <a class="code" href="classSVF_1_1SVFStat.html#a07b6f8cb424b84b468c4518140fa3a41">generalNumMap</a>[<span class="stringliteral">&quot;ES_Loc_Addr_AVG_Num&quot;</span>] = 0;</div>
274
274
  <div class="line"><a name="l01034"></a><span class="lineno"> 1034</span>&#160; }</div>
275
275
  <div class="line"><a name="l01035"></a><span class="lineno"> 1035</span>&#160; ++<a class="code" href="classSVF_1_1AEStat.html#a03a5abacf309902ce2bb9a9733ff195f">count</a>;</div>
276
- <div class="line"><a name="l01036"></a><span class="lineno"> 1036</span>&#160; <a class="code" href="classSVF_1_1SVFStat.html#a07b6f8cb424b84b468c4518140fa3a41">generalNumMap</a>[<span class="stringliteral">&quot;ES_Var_AVG_Num&quot;</span>] += <a class="code" href="classSVF_1_1AEStat.html#a5270c59a538881996429837436b3ec4f">_ae</a>-&gt;<a class="code" href="classSVF_1_1AE.html#abea70264606aa7687d4b93e13155f96f">_svfir2ExeState</a>-&gt;<a class="code" href="classSVF_1_1SVFIR2ItvExeState.html#a56434326130c8127c823097ad764947b">getEs</a>().<a class="code" href="classSVF_1_1IntervalESBase.html#a903797577ba99ef57879774a3849bbfe">getVarToVal</a>().size();</div>
277
- <div class="line"><a name="l01037"></a><span class="lineno"> 1037</span>&#160; <a class="code" href="classSVF_1_1SVFStat.html#a07b6f8cb424b84b468c4518140fa3a41">generalNumMap</a>[<span class="stringliteral">&quot;ES_Loc_AVG_Num&quot;</span>] += <a class="code" href="classSVF_1_1AEStat.html#a5270c59a538881996429837436b3ec4f">_ae</a>-&gt;<a class="code" href="classSVF_1_1AE.html#abea70264606aa7687d4b93e13155f96f">_svfir2ExeState</a>-&gt;<a class="code" href="classSVF_1_1SVFIR2ItvExeState.html#a56434326130c8127c823097ad764947b">getEs</a>().<a class="code" href="classSVF_1_1IntervalESBase.html#af7451ea87d5117a90b5912a1e6f34e10">getLocToVal</a>().size();</div>
278
- <div class="line"><a name="l01038"></a><span class="lineno"> 1038</span>&#160; <a class="code" href="classSVF_1_1SVFStat.html#a07b6f8cb424b84b468c4518140fa3a41">generalNumMap</a>[<span class="stringliteral">&quot;ES_Var_Addr_AVG_Num&quot;</span>] += <a class="code" href="classSVF_1_1AEStat.html#a5270c59a538881996429837436b3ec4f">_ae</a>-&gt;<a class="code" href="classSVF_1_1AE.html#abea70264606aa7687d4b93e13155f96f">_svfir2ExeState</a>-&gt;<a class="code" href="classSVF_1_1SVFIR2ItvExeState.html#a56434326130c8127c823097ad764947b">getEs</a>().<a class="code" href="classSVF_1_1ExeState.html#a0710c9cc1a3c40c95cd362d49bea459b">getVarToAddrs</a>().size();</div>
279
- <div class="line"><a name="l01039"></a><span class="lineno"> 1039</span>&#160; <a class="code" href="classSVF_1_1SVFStat.html#a07b6f8cb424b84b468c4518140fa3a41">generalNumMap</a>[<span class="stringliteral">&quot;ES_Loc_Addr_AVG_Num&quot;</span>] += <a class="code" href="classSVF_1_1AEStat.html#a5270c59a538881996429837436b3ec4f">_ae</a>-&gt;<a class="code" href="classSVF_1_1AE.html#abea70264606aa7687d4b93e13155f96f">_svfir2ExeState</a>-&gt;<a class="code" href="classSVF_1_1SVFIR2ItvExeState.html#a56434326130c8127c823097ad764947b">getEs</a>().<a class="code" href="classSVF_1_1ExeState.html#aa7b897b107d722909f9de9dcbabad7cf">getLocToAddrs</a>().size();</div>
276
+ <div class="line"><a name="l01036"></a><span class="lineno"> 1036</span>&#160; <a class="code" href="classSVF_1_1SVFStat.html#a07b6f8cb424b84b468c4518140fa3a41">generalNumMap</a>[<span class="stringliteral">&quot;ES_Var_AVG_Num&quot;</span>] += <a class="code" href="classSVF_1_1AEStat.html#adbce526127c9cc83d642cde2a1e77ff7">_ae</a>-&gt;<a class="code" href="classSVF_1_1AbstractExecution.html#a5e24bceb3d6961117651dbc65e9a097a">_svfir2ExeState</a>-&gt;<a class="code" href="classSVF_1_1SVFIR2ItvExeState.html#a56434326130c8127c823097ad764947b">getEs</a>().<a class="code" href="classSVF_1_1IntervalESBase.html#a903797577ba99ef57879774a3849bbfe">getVarToVal</a>().size();</div>
277
+ <div class="line"><a name="l01037"></a><span class="lineno"> 1037</span>&#160; <a class="code" href="classSVF_1_1SVFStat.html#a07b6f8cb424b84b468c4518140fa3a41">generalNumMap</a>[<span class="stringliteral">&quot;ES_Loc_AVG_Num&quot;</span>] += <a class="code" href="classSVF_1_1AEStat.html#adbce526127c9cc83d642cde2a1e77ff7">_ae</a>-&gt;<a class="code" href="classSVF_1_1AbstractExecution.html#a5e24bceb3d6961117651dbc65e9a097a">_svfir2ExeState</a>-&gt;<a class="code" href="classSVF_1_1SVFIR2ItvExeState.html#a56434326130c8127c823097ad764947b">getEs</a>().<a class="code" href="classSVF_1_1IntervalESBase.html#af7451ea87d5117a90b5912a1e6f34e10">getLocToVal</a>().size();</div>
278
+ <div class="line"><a name="l01038"></a><span class="lineno"> 1038</span>&#160; <a class="code" href="classSVF_1_1SVFStat.html#a07b6f8cb424b84b468c4518140fa3a41">generalNumMap</a>[<span class="stringliteral">&quot;ES_Var_Addr_AVG_Num&quot;</span>] += <a class="code" href="classSVF_1_1AEStat.html#adbce526127c9cc83d642cde2a1e77ff7">_ae</a>-&gt;<a class="code" href="classSVF_1_1AbstractExecution.html#a5e24bceb3d6961117651dbc65e9a097a">_svfir2ExeState</a>-&gt;<a class="code" href="classSVF_1_1SVFIR2ItvExeState.html#a56434326130c8127c823097ad764947b">getEs</a>().<a class="code" href="classSVF_1_1ExeState.html#a0710c9cc1a3c40c95cd362d49bea459b">getVarToAddrs</a>().size();</div>
279
+ <div class="line"><a name="l01039"></a><span class="lineno"> 1039</span>&#160; <a class="code" href="classSVF_1_1SVFStat.html#a07b6f8cb424b84b468c4518140fa3a41">generalNumMap</a>[<span class="stringliteral">&quot;ES_Loc_Addr_AVG_Num&quot;</span>] += <a class="code" href="classSVF_1_1AEStat.html#adbce526127c9cc83d642cde2a1e77ff7">_ae</a>-&gt;<a class="code" href="classSVF_1_1AbstractExecution.html#a5e24bceb3d6961117651dbc65e9a097a">_svfir2ExeState</a>-&gt;<a class="code" href="classSVF_1_1SVFIR2ItvExeState.html#a56434326130c8127c823097ad764947b">getEs</a>().<a class="code" href="classSVF_1_1ExeState.html#aa7b897b107d722909f9de9dcbabad7cf">getLocToAddrs</a>().size();</div>
280
280
  <div class="line"><a name="l01040"></a><span class="lineno"> 1040</span>&#160;}</div>
281
281
  </div><!-- fragment -->
282
282
  </div>
@@ -296,7 +296,7 @@ Additional Inherited Members</h2></td></tr>
296
296
  </table>
297
297
  </div><div class="memdoc">
298
298
 
299
- <p class="definition">Definition at line <a class="el" href="AE_8cpp_source.html#l01042">1042</a> of file <a class="el" href="AE_8cpp_source.html">AE.cpp</a>.</p>
299
+ <p class="definition">Definition at line <a class="el" href="AbstractExecution_8cpp_source.html#l01042">1042</a> of file <a class="el" href="AbstractExecution_8cpp_source.html">AbstractExecution.cpp</a>.</p>
300
300
  <div class="fragment"><div class="line"><a name="l01043"></a><span class="lineno"> 1043</span>&#160;{</div>
301
301
  <div class="line"><a name="l01044"></a><span class="lineno"> 1044</span>&#160; <a class="code" href="classSVF_1_1AEStat.html#a4b1f6388893e6aaef1acd411972cde19">memUsage</a> = <a class="code" href="classSVF_1_1AEStat.html#acc2262e59167d040da3b5c726bdbf36e">getMemUsage</a>();</div>
302
302
  <div class="line"><a name="l01045"></a><span class="lineno"> 1045</span>&#160; <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1AEStat.html#a03a5abacf309902ce2bb9a9733ff195f">count</a> &gt; 0)</div>
@@ -307,11 +307,11 @@ Additional Inherited Members</h2></td></tr>
307
307
  <div class="line"><a name="l01050"></a><span class="lineno"> 1050</span>&#160; <a class="code" href="classSVF_1_1SVFStat.html#a07b6f8cb424b84b468c4518140fa3a41">generalNumMap</a>[<span class="stringliteral">&quot;ES_Loc_Addr_AVG_Num&quot;</span>] /= <a class="code" href="classSVF_1_1AEStat.html#a03a5abacf309902ce2bb9a9733ff195f">count</a>;</div>
308
308
  <div class="line"><a name="l01051"></a><span class="lineno"> 1051</span>&#160; }</div>
309
309
  <div class="line"><a name="l01052"></a><span class="lineno"> 1052</span>&#160; <a class="code" href="classSVF_1_1SVFStat.html#a07b6f8cb424b84b468c4518140fa3a41">generalNumMap</a>[<span class="stringliteral">&quot;SVF_STMT_NUM&quot;</span>] = <a class="code" href="classSVF_1_1AEStat.html#a03a5abacf309902ce2bb9a9733ff195f">count</a>;</div>
310
- <div class="line"><a name="l01053"></a><span class="lineno"> 1053</span>&#160; <a class="code" href="classSVF_1_1SVFStat.html#a07b6f8cb424b84b468c4518140fa3a41">generalNumMap</a>[<span class="stringliteral">&quot;ICFG_Node_Num&quot;</span>] = <a class="code" href="classSVF_1_1AEStat.html#a5270c59a538881996429837436b3ec4f">_ae</a>-&gt;<a class="code" href="classSVF_1_1AE.html#af42ae42a73107e29133c481f94a9161f">_svfir</a>-&gt;<a class="code" href="classSVF_1_1SVFIR.html#abda052b73e869ed6d7c139ad1528da11">getICFG</a>()-&gt;<a class="code" href="classSVF_1_1GenericGraph.html#a38122734cbe71551a420dfb7fee2012e">nodeNum</a>;</div>
310
+ <div class="line"><a name="l01053"></a><span class="lineno"> 1053</span>&#160; <a class="code" href="classSVF_1_1SVFStat.html#a07b6f8cb424b84b468c4518140fa3a41">generalNumMap</a>[<span class="stringliteral">&quot;ICFG_Node_Num&quot;</span>] = <a class="code" href="classSVF_1_1AEStat.html#adbce526127c9cc83d642cde2a1e77ff7">_ae</a>-&gt;<a class="code" href="classSVF_1_1AbstractExecution.html#a49742e8c3a8fe598a0945a8d8ff394d0">_svfir</a>-&gt;<a class="code" href="classSVF_1_1SVFIR.html#abda052b73e869ed6d7c139ad1528da11">getICFG</a>()-&gt;<a class="code" href="classSVF_1_1GenericGraph.html#a38122734cbe71551a420dfb7fee2012e">nodeNum</a>;</div>
311
311
  <div class="line"><a name="l01054"></a><span class="lineno"> 1054</span>&#160; <a class="code" href="CommandLine_8h.html#a2429346d37bd4c40889bd7c6d319d9da">u32_t</a> callSiteNum = 0;</div>
312
312
  <div class="line"><a name="l01055"></a><span class="lineno"> 1055</span>&#160; <a class="code" href="CommandLine_8h.html#a2429346d37bd4c40889bd7c6d319d9da">u32_t</a> extCallSiteNum = 0;</div>
313
313
  <div class="line"><a name="l01056"></a><span class="lineno"> 1056</span>&#160; <a class="code" href="namespaceSVF.html#af739db846e47ba6b2fd15eaad31ab7fb">Set&lt;const SVFFunction *&gt;</a> funs;</div>
314
- <div class="line"><a name="l01057"></a><span class="lineno"> 1057</span>&#160; <span class="keywordflow">for</span> (<span class="keyword">const</span> <span class="keyword">auto</span> &amp;it: *<a class="code" href="classSVF_1_1AEStat.html#a5270c59a538881996429837436b3ec4f">_ae</a>-&gt;<a class="code" href="classSVF_1_1AE.html#af42ae42a73107e29133c481f94a9161f">_svfir</a>-&gt;<a class="code" href="classSVF_1_1SVFIR.html#abda052b73e869ed6d7c139ad1528da11">getICFG</a>())</div>
314
+ <div class="line"><a name="l01057"></a><span class="lineno"> 1057</span>&#160; <span class="keywordflow">for</span> (<span class="keyword">const</span> <span class="keyword">auto</span> &amp;it: *<a class="code" href="classSVF_1_1AEStat.html#adbce526127c9cc83d642cde2a1e77ff7">_ae</a>-&gt;<a class="code" href="classSVF_1_1AbstractExecution.html#a49742e8c3a8fe598a0945a8d8ff394d0">_svfir</a>-&gt;<a class="code" href="classSVF_1_1SVFIR.html#abda052b73e869ed6d7c139ad1528da11">getICFG</a>())</div>
315
315
  <div class="line"><a name="l01058"></a><span class="lineno"> 1058</span>&#160; {</div>
316
316
  <div class="line"><a name="l01059"></a><span class="lineno"> 1059</span>&#160; <span class="keywordflow">if</span> (it.second-&gt;getFun())</div>
317
317
  <div class="line"><a name="l01060"></a><span class="lineno"> 1060</span>&#160; {</div>
@@ -332,9 +332,9 @@ Additional Inherited Members</h2></td></tr>
332
332
  <div class="line"><a name="l01075"></a><span class="lineno"> 1075</span>&#160; <a class="code" href="classSVF_1_1SVFStat.html#a07b6f8cb424b84b468c4518140fa3a41">generalNumMap</a>[<span class="stringliteral">&quot;Func_Num&quot;</span>] = funs.size();</div>
333
333
  <div class="line"><a name="l01076"></a><span class="lineno"> 1076</span>&#160; <a class="code" href="classSVF_1_1SVFStat.html#a07b6f8cb424b84b468c4518140fa3a41">generalNumMap</a>[<span class="stringliteral">&quot;EXT_CallSite_Num&quot;</span>] = extCallSiteNum;</div>
334
334
  <div class="line"><a name="l01077"></a><span class="lineno"> 1077</span>&#160; <a class="code" href="classSVF_1_1SVFStat.html#a07b6f8cb424b84b468c4518140fa3a41">generalNumMap</a>[<span class="stringliteral">&quot;NonEXT_CallSite_Num&quot;</span>] = callSiteNum;</div>
335
- <div class="line"><a name="l01078"></a><span class="lineno"> 1078</span>&#160; <a class="code" href="classSVF_1_1SVFStat.html#a07b6f8cb424b84b468c4518140fa3a41">generalNumMap</a>[<span class="stringliteral">&quot;VarToAddrSize&quot;</span>] = <a class="code" href="classSVF_1_1AEStat.html#a5270c59a538881996429837436b3ec4f">_ae</a>-&gt;<a class="code" href="classSVF_1_1AE.html#abea70264606aa7687d4b93e13155f96f">_svfir2ExeState</a>-&gt;<a class="code" href="classSVF_1_1SVFIR2ItvExeState.html#a56434326130c8127c823097ad764947b">getEs</a>().<a class="code" href="classSVF_1_1ExeState.html#a0710c9cc1a3c40c95cd362d49bea459b">getVarToAddrs</a>().size();</div>
336
- <div class="line"><a name="l01079"></a><span class="lineno"> 1079</span>&#160; <a class="code" href="classSVF_1_1SVFStat.html#a07b6f8cb424b84b468c4518140fa3a41">generalNumMap</a>[<span class="stringliteral">&quot;LocToAddrSize&quot;</span>] = <a class="code" href="classSVF_1_1AEStat.html#a5270c59a538881996429837436b3ec4f">_ae</a>-&gt;<a class="code" href="classSVF_1_1AE.html#abea70264606aa7687d4b93e13155f96f">_svfir2ExeState</a>-&gt;<a class="code" href="classSVF_1_1SVFIR2ItvExeState.html#a56434326130c8127c823097ad764947b">getEs</a>().<a class="code" href="classSVF_1_1ExeState.html#aa7b897b107d722909f9de9dcbabad7cf">getLocToAddrs</a>().size();</div>
337
- <div class="line"><a name="l01080"></a><span class="lineno"> 1080</span>&#160; <a class="code" href="classSVF_1_1SVFStat.html#a07b6f8cb424b84b468c4518140fa3a41">generalNumMap</a>[<span class="stringliteral">&quot;Bug_Num&quot;</span>] = <a class="code" href="classSVF_1_1AEStat.html#a5270c59a538881996429837436b3ec4f">_ae</a>-&gt;<a class="code" href="classSVF_1_1AE.html#a4ed21da186c37ab4e6a24ea26db2b5f2">_nodeToBugInfo</a>.size();</div>
335
+ <div class="line"><a name="l01078"></a><span class="lineno"> 1078</span>&#160; <a class="code" href="classSVF_1_1SVFStat.html#a07b6f8cb424b84b468c4518140fa3a41">generalNumMap</a>[<span class="stringliteral">&quot;VarToAddrSize&quot;</span>] = <a class="code" href="classSVF_1_1AEStat.html#adbce526127c9cc83d642cde2a1e77ff7">_ae</a>-&gt;<a class="code" href="classSVF_1_1AbstractExecution.html#a5e24bceb3d6961117651dbc65e9a097a">_svfir2ExeState</a>-&gt;<a class="code" href="classSVF_1_1SVFIR2ItvExeState.html#a56434326130c8127c823097ad764947b">getEs</a>().<a class="code" href="classSVF_1_1ExeState.html#a0710c9cc1a3c40c95cd362d49bea459b">getVarToAddrs</a>().size();</div>
336
+ <div class="line"><a name="l01079"></a><span class="lineno"> 1079</span>&#160; <a class="code" href="classSVF_1_1SVFStat.html#a07b6f8cb424b84b468c4518140fa3a41">generalNumMap</a>[<span class="stringliteral">&quot;LocToAddrSize&quot;</span>] = <a class="code" href="classSVF_1_1AEStat.html#adbce526127c9cc83d642cde2a1e77ff7">_ae</a>-&gt;<a class="code" href="classSVF_1_1AbstractExecution.html#a5e24bceb3d6961117651dbc65e9a097a">_svfir2ExeState</a>-&gt;<a class="code" href="classSVF_1_1SVFIR2ItvExeState.html#a56434326130c8127c823097ad764947b">getEs</a>().<a class="code" href="classSVF_1_1ExeState.html#aa7b897b107d722909f9de9dcbabad7cf">getLocToAddrs</a>().size();</div>
337
+ <div class="line"><a name="l01080"></a><span class="lineno"> 1080</span>&#160; <a class="code" href="classSVF_1_1SVFStat.html#a07b6f8cb424b84b468c4518140fa3a41">generalNumMap</a>[<span class="stringliteral">&quot;Bug_Num&quot;</span>] = <a class="code" href="classSVF_1_1AEStat.html#adbce526127c9cc83d642cde2a1e77ff7">_ae</a>-&gt;<a class="code" href="classSVF_1_1AbstractExecution.html#a55737f5c82afce29a816eb21070a2bc1">_nodeToBugInfo</a>.size();</div>
338
338
  <div class="line"><a name="l01081"></a><span class="lineno"> 1081</span>&#160; <a class="code" href="classSVF_1_1SVFStat.html#a5383691a34426a1a997b5eed387f1831">timeStatMap</a>[<span class="stringliteral">&quot;Total_Time(sec)&quot;</span>] = (double)(<a class="code" href="classSVF_1_1SVFStat.html#a8b01f1564408b51f28c107454bf9068d">endTime</a> - <a class="code" href="classSVF_1_1SVFStat.html#abd7a79d1fe50110a0c1d448027492669">startTime</a>) / <a class="code" href="SVFType_8h.html#a1aeda3370621dc00e9a0fe8e7aabc736">TIMEINTERVAL</a>;</div>
339
339
  <div class="line"><a name="l01082"></a><span class="lineno"> 1082</span>&#160; </div>
340
340
  <div class="line"><a name="l01083"></a><span class="lineno"> 1083</span>&#160;}</div>
@@ -364,7 +364,7 @@ Additional Inherited Members</h2></td></tr>
364
364
  </table>
365
365
  </div><div class="memdoc">
366
366
 
367
- <p class="definition">Definition at line <a class="el" href="AE_8h_source.html#l00087">87</a> of file <a class="el" href="AE_8h_source.html">AE.h</a>.</p>
367
+ <p class="definition">Definition at line <a class="el" href="AbstractExecution_8h_source.html#l00087">87</a> of file <a class="el" href="AbstractExecution_8h_source.html">AbstractExecution.h</a>.</p>
368
368
  <div class="fragment"><div class="line"><a name="l00088"></a><span class="lineno"> 88</span>&#160; {</div>
369
369
  <div class="line"><a name="l00089"></a><span class="lineno"> 89</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>
370
370
  <div class="line"><a name="l00090"></a><span class="lineno"> 90</span>&#160; {</div>
@@ -398,7 +398,7 @@ Additional Inherited Members</h2></td></tr>
398
398
  </table>
399
399
  </div><div class="memdoc">
400
400
 
401
- <p class="definition">Definition at line <a class="el" href="AE_8h_source.html#l00079">79</a> of file <a class="el" href="AE_8h_source.html">AE.h</a>.</p>
401
+ <p class="definition">Definition at line <a class="el" href="AbstractExecution_8h_source.html#l00079">79</a> of file <a class="el" href="AbstractExecution_8h_source.html">AbstractExecution.h</a>.</p>
402
402
  <div class="fragment"><div class="line"><a name="l00080"></a><span class="lineno"> 80</span>&#160; {</div>
403
403
  <div class="line"><a name="l00081"></a><span class="lineno"> 81</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>
404
404
  <div class="line"><a name="l00082"></a><span class="lineno"> 82</span>&#160; {</div>
@@ -432,7 +432,7 @@ Additional Inherited Members</h2></td></tr>
432
432
  </table>
433
433
  </div><div class="memdoc">
434
434
 
435
- <p class="definition">Definition at line <a class="el" href="AE_8h_source.html#l00095">95</a> of file <a class="el" href="AE_8h_source.html">AE.h</a>.</p>
435
+ <p class="definition">Definition at line <a class="el" href="AbstractExecution_8h_source.html#l00095">95</a> of file <a class="el" href="AbstractExecution_8h_source.html">AbstractExecution.h</a>.</p>
436
436
  <div class="fragment"><div class="line"><a name="l00096"></a><span class="lineno"> 96</span>&#160; {</div>
437
437
  <div class="line"><a name="l00097"></a><span class="lineno"> 97</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>
438
438
  <div class="line"><a name="l00098"></a><span class="lineno"> 98</span>&#160; {</div>
@@ -466,7 +466,7 @@ Additional Inherited Members</h2></td></tr>
466
466
  </table>
467
467
  </div><div class="memdoc">
468
468
 
469
- <p class="definition">Definition at line <a class="el" href="AE_8h_source.html#l00061">61</a> of file <a class="el" href="AE_8h_source.html">AE.h</a>.</p>
469
+ <p class="definition">Definition at line <a class="el" href="AbstractExecution_8h_source.html#l00061">61</a> of file <a class="el" href="AbstractExecution_8h_source.html">AbstractExecution.h</a>.</p>
470
470
  <div class="fragment"><div class="line"><a name="l00062"></a><span class="lineno"> 62</span>&#160; {</div>
471
471
  <div class="line"><a name="l00063"></a><span class="lineno"> 63</span>&#160; <a class="code" href="CommandLine_8h.html#a2429346d37bd4c40889bd7c6d319d9da">u32_t</a> vmrss, vmsize;</div>
472
472
  <div class="line"><a name="l00064"></a><span class="lineno"> 64</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>
@@ -499,9 +499,9 @@ Additional Inherited Members</h2></td></tr>
499
499
 
500
500
  <p>Implements <a class="el" href="classSVF_1_1SVFStat.html#a77c24aa3409dcbf56f57302f237b1eeb">SVF::SVFStat</a>.</p>
501
501
 
502
- <p class="definition">Definition at line <a class="el" href="AE_8cpp_source.html#l01085">1085</a> of file <a class="el" href="AE_8cpp_source.html">AE.cpp</a>.</p>
502
+ <p class="definition">Definition at line <a class="el" href="AbstractExecution_8cpp_source.html#l01085">1085</a> of file <a class="el" href="AbstractExecution_8cpp_source.html">AbstractExecution.cpp</a>.</p>
503
503
  <div class="fragment"><div class="line"><a name="l01086"></a><span class="lineno"> 1086</span>&#160;{</div>
504
- <div class="line"><a name="l01087"></a><span class="lineno"> 1087</span>&#160; <a class="code" href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">std::string</a> fullName(<a class="code" href="classSVF_1_1AEStat.html#a5270c59a538881996429837436b3ec4f">_ae</a>-&gt;<a class="code" href="classSVF_1_1AE.html#aba45a74b04d97ffc0853830148258a64">_moduleName</a>);</div>
504
+ <div class="line"><a name="l01087"></a><span class="lineno"> 1087</span>&#160; <a class="code" href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">std::string</a> fullName(<a class="code" href="classSVF_1_1AEStat.html#adbce526127c9cc83d642cde2a1e77ff7">_ae</a>-&gt;<a class="code" href="classSVF_1_1AbstractExecution.html#a18903b2257e3a2aeec53d79bcf83e7d5">_moduleName</a>);</div>
505
505
  <div class="line"><a name="l01088"></a><span class="lineno"> 1088</span>&#160; <a class="code" href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">std::string</a> <a class="code" href="cJSON_8h.html#a25d22ecc7e656d2c59332072684e8766">name</a>;</div>
506
506
  <div class="line"><a name="l01089"></a><span class="lineno"> 1089</span>&#160; <a class="code" href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">std::string</a> <a class="code" href="classSVF_1_1SVFStat.html#a3333e45303dcc9c3da00858628cdbbff">moduleName</a>;</div>
507
507
  <div class="line"><a name="l01090"></a><span class="lineno"> 1090</span>&#160; <span class="keywordflow">if</span> (fullName.find(<span class="charliteral">&#39;/&#39;</span>) == std::string::npos)</div>
@@ -553,7 +553,7 @@ Additional Inherited Members</h2></td></tr>
553
553
  </table>
554
554
  </div><div class="memdoc">
555
555
 
556
- <p class="definition">Definition at line <a class="el" href="AE_8cpp_source.html#l01122">1122</a> of file <a class="el" href="AE_8cpp_source.html">AE.cpp</a>.</p>
556
+ <p class="definition">Definition at line <a class="el" href="AbstractExecution_8cpp_source.html#l01122">1122</a> of file <a class="el" href="AbstractExecution_8cpp_source.html">AbstractExecution.cpp</a>.</p>
557
557
  <div class="fragment"><div class="line"><a name="l01123"></a><span class="lineno"> 1123</span>&#160;{</div>
558
558
  <div class="line"><a name="l01124"></a><span class="lineno"> 1124</span>&#160; </div>
559
559
  <div class="line"><a name="l01125"></a><span class="lineno"> 1125</span>&#160; std::ofstream f;</div>
@@ -566,11 +566,11 @@ Additional Inherited Members</h2></td></tr>
566
566
  <div class="line"><a name="l01132"></a><span class="lineno"> 1132</span>&#160; f.open(<a class="code" href="classSVF_1_1Options.html#ad989eab7d521e9933ac8e46e1c29f662">Options::OutputName</a>());</div>
567
567
  <div class="line"><a name="l01133"></a><span class="lineno"> 1133</span>&#160; }</div>
568
568
  <div class="line"><a name="l01134"></a><span class="lineno"> 1134</span>&#160; </div>
569
- <div class="line"><a name="l01135"></a><span class="lineno"> 1135</span>&#160; std::cerr &lt;&lt; <span class="stringliteral">&quot;######################Full Overflow (&quot;</span> + std::to_string(<a class="code" href="classSVF_1_1AEStat.html#a5270c59a538881996429837436b3ec4f">_ae</a>-&gt;<a class="code" href="classSVF_1_1AE.html#a4ed21da186c37ab4e6a24ea26db2b5f2">_nodeToBugInfo</a>.size()) + <span class="stringliteral">&quot; found)######################\n&quot;</span>;</div>
570
- <div class="line"><a name="l01136"></a><span class="lineno"> 1136</span>&#160; f &lt;&lt; <span class="stringliteral">&quot;######################Full Overflow (&quot;</span> + std::to_string(<a class="code" href="classSVF_1_1AEStat.html#a5270c59a538881996429837436b3ec4f">_ae</a>-&gt;<a class="code" href="classSVF_1_1AE.html#a4ed21da186c37ab4e6a24ea26db2b5f2">_nodeToBugInfo</a>.size()) + <span class="stringliteral">&quot; found)######################\n&quot;</span>;</div>
569
+ <div class="line"><a name="l01135"></a><span class="lineno"> 1135</span>&#160; std::cerr &lt;&lt; <span class="stringliteral">&quot;######################Full Overflow (&quot;</span> + std::to_string(<a class="code" href="classSVF_1_1AEStat.html#adbce526127c9cc83d642cde2a1e77ff7">_ae</a>-&gt;<a class="code" href="classSVF_1_1AbstractExecution.html#a55737f5c82afce29a816eb21070a2bc1">_nodeToBugInfo</a>.size()) + <span class="stringliteral">&quot; found)######################\n&quot;</span>;</div>
570
+ <div class="line"><a name="l01136"></a><span class="lineno"> 1136</span>&#160; f &lt;&lt; <span class="stringliteral">&quot;######################Full Overflow (&quot;</span> + std::to_string(<a class="code" href="classSVF_1_1AEStat.html#adbce526127c9cc83d642cde2a1e77ff7">_ae</a>-&gt;<a class="code" href="classSVF_1_1AbstractExecution.html#a55737f5c82afce29a816eb21070a2bc1">_nodeToBugInfo</a>.size()) + <span class="stringliteral">&quot; found)######################\n&quot;</span>;</div>
571
571
  <div class="line"><a name="l01137"></a><span class="lineno"> 1137</span>&#160; std::cerr &lt;&lt; <span class="stringliteral">&quot;---------------------------------------------\n&quot;</span>;</div>
572
572
  <div class="line"><a name="l01138"></a><span class="lineno"> 1138</span>&#160; f &lt;&lt; <span class="stringliteral">&quot;---------------------------------------------\n&quot;</span>;</div>
573
- <div class="line"><a name="l01139"></a><span class="lineno"> 1139</span>&#160; <span class="keywordflow">for</span> (<span class="keyword">auto</span>&amp; it: <a class="code" href="classSVF_1_1AEStat.html#a5270c59a538881996429837436b3ec4f">_ae</a>-&gt;<a class="code" href="classSVF_1_1AE.html#a4ed21da186c37ab4e6a24ea26db2b5f2">_nodeToBugInfo</a>)</div>
573
+ <div class="line"><a name="l01139"></a><span class="lineno"> 1139</span>&#160; <span class="keywordflow">for</span> (<span class="keyword">auto</span>&amp; it: <a class="code" href="classSVF_1_1AEStat.html#adbce526127c9cc83d642cde2a1e77ff7">_ae</a>-&gt;<a class="code" href="classSVF_1_1AbstractExecution.html#a55737f5c82afce29a816eb21070a2bc1">_nodeToBugInfo</a>)</div>
574
574
  <div class="line"><a name="l01140"></a><span class="lineno"> 1140</span>&#160; {</div>
575
575
  <div class="line"><a name="l01141"></a><span class="lineno"> 1141</span>&#160; std::cerr &lt;&lt; it.second &lt;&lt; <span class="stringliteral">&quot;---------------------------------------------\n&quot;</span>;</div>
576
576
  <div class="line"><a name="l01142"></a><span class="lineno"> 1142</span>&#160; f &lt;&lt; it.second &lt;&lt; <span class="stringliteral">&quot;---------------------------------------------\n&quot;</span>;</div>
@@ -580,19 +580,19 @@ Additional Inherited Members</h2></td></tr>
580
580
  </div>
581
581
  </div>
582
582
  <h2 class="groupheader">Member Data Documentation</h2>
583
- <a id="a5270c59a538881996429837436b3ec4f"></a>
584
- <h2 class="memtitle"><span class="permalink"><a href="#a5270c59a538881996429837436b3ec4f">&#9670;&nbsp;</a></span>_ae</h2>
583
+ <a id="adbce526127c9cc83d642cde2a1e77ff7"></a>
584
+ <h2 class="memtitle"><span class="permalink"><a href="#adbce526127c9cc83d642cde2a1e77ff7">&#9670;&nbsp;</a></span>_ae</h2>
585
585
 
586
586
  <div class="memitem">
587
587
  <div class="memproto">
588
588
  <table class="memname">
589
589
  <tr>
590
- <td class="memname"><a class="el" href="classSVF_1_1AE.html">AE</a>* SVF::AEStat::_ae</td>
590
+ <td class="memname"><a class="el" href="classSVF_1_1AbstractExecution.html">AbstractExecution</a>* SVF::AEStat::_ae</td>
591
591
  </tr>
592
592
  </table>
593
593
  </div><div class="memdoc">
594
594
 
595
- <p class="definition">Definition at line <a class="el" href="AE_8h_source.html#l00072">72</a> of file <a class="el" href="AE_8h_source.html">AE.h</a>.</p>
595
+ <p class="definition">Definition at line <a class="el" href="AbstractExecution_8h_source.html#l00072">72</a> of file <a class="el" href="AbstractExecution_8h_source.html">AbstractExecution.h</a>.</p>
596
596
 
597
597
  </div>
598
598
  </div>
@@ -608,7 +608,7 @@ Additional Inherited Members</h2></td></tr>
608
608
  </table>
609
609
  </div><div class="memdoc">
610
610
 
611
- <p class="definition">Definition at line <a class="el" href="AE_8h_source.html#l00076">76</a> of file <a class="el" href="AE_8h_source.html">AE.h</a>.</p>
611
+ <p class="definition">Definition at line <a class="el" href="AbstractExecution_8h_source.html#l00076">76</a> of file <a class="el" href="AbstractExecution_8h_source.html">AbstractExecution.h</a>.</p>
612
612
 
613
613
  </div>
614
614
  </div>
@@ -624,7 +624,7 @@ Additional Inherited Members</h2></td></tr>
624
624
  </table>
625
625
  </div><div class="memdoc">
626
626
 
627
- <p class="definition">Definition at line <a class="el" href="AE_8h_source.html#l00073">73</a> of file <a class="el" href="AE_8h_source.html">AE.h</a>.</p>
627
+ <p class="definition">Definition at line <a class="el" href="AbstractExecution_8h_source.html#l00073">73</a> of file <a class="el" href="AbstractExecution_8h_source.html">AbstractExecution.h</a>.</p>
628
628
 
629
629
  </div>
630
630
  </div>
@@ -640,7 +640,7 @@ Additional Inherited Members</h2></td></tr>
640
640
  </table>
641
641
  </div><div class="memdoc">
642
642
 
643
- <p class="definition">Definition at line <a class="el" href="AE_8h_source.html#l00074">74</a> of file <a class="el" href="AE_8h_source.html">AE.h</a>.</p>
643
+ <p class="definition">Definition at line <a class="el" href="AbstractExecution_8h_source.html#l00074">74</a> of file <a class="el" href="AbstractExecution_8h_source.html">AbstractExecution.h</a>.</p>
644
644
 
645
645
  </div>
646
646
  </div>
@@ -656,24 +656,24 @@ Additional Inherited Members</h2></td></tr>
656
656
  </table>
657
657
  </div><div class="memdoc">
658
658
 
659
- <p class="definition">Definition at line <a class="el" href="AE_8h_source.html#l00075">75</a> of file <a class="el" href="AE_8h_source.html">AE.h</a>.</p>
659
+ <p class="definition">Definition at line <a class="el" href="AbstractExecution_8h_source.html#l00075">75</a> of file <a class="el" href="AbstractExecution_8h_source.html">AbstractExecution.h</a>.</p>
660
660
 
661
661
  </div>
662
662
  </div>
663
663
  <hr/>The documentation for this class was generated from the following files:<ul>
664
- <li>/home/runner/work/SVF/SVF/svf/include/AE/Svfexe/<a class="el" href="AE_8h_source.html">AE.h</a></li>
665
- <li>/home/runner/work/SVF/SVF/svf/lib/AE/Svfexe/<a class="el" href="AE_8cpp_source.html">AE.cpp</a></li>
664
+ <li>/home/runner/work/SVF/SVF/svf/include/AE/Svfexe/<a class="el" href="AbstractExecution_8h_source.html">AbstractExecution.h</a></li>
665
+ <li>/home/runner/work/SVF/SVF/svf/lib/AE/Svfexe/<a class="el" href="AbstractExecution_8cpp_source.html">AbstractExecution.cpp</a></li>
666
666
  </ul>
667
667
  </div><!-- contents -->
668
- <div class="ttc" id="aclassSVF_1_1AEStat_html_a5270c59a538881996429837436b3ec4f"><div class="ttname"><a href="classSVF_1_1AEStat.html#a5270c59a538881996429837436b3ec4f">SVF::AEStat::_ae</a></div><div class="ttdeci">AE * _ae</div><div class="ttdef"><b>Definition:</b> <a href="AE_8h_source.html#l00072">AE.h:72</a></div></div>
669
668
  <div class="ttc" id="aclassSVF_1_1ExeState_html_aa7b897b107d722909f9de9dcbabad7cf"><div class="ttname"><a href="classSVF_1_1ExeState.html#aa7b897b107d722909f9de9dcbabad7cf">SVF::ExeState::getLocToAddrs</a></div><div class="ttdeci">virtual const VarToAddrs &amp; getLocToAddrs() const</div><div class="ttdef"><b>Definition:</b> <a href="ExeState_8h_source.html#l00125">ExeState.h:125</a></div></div>
670
669
  <div class="ttc" id="aCommandLine_8h_html_a2429346d37bd4c40889bd7c6d319d9da"><div class="ttname"><a href="CommandLine_8h.html#a2429346d37bd4c40889bd7c6d319d9da">u32_t</a></div><div class="ttdeci">unsigned u32_t</div><div class="ttdef"><b>Definition:</b> <a href="CommandLine_8h_source.html#l00018">CommandLine.h:18</a></div></div>
671
670
  <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>
672
671
  <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>
673
- <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="AE_8h_source.html#l00075">AE.h:75</a></div></div>
672
+ <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#l00075">AbstractExecution.h:75</a></div></div>
674
673
  <div class="ttc" id="aSVFType_8h_html_a1aeda3370621dc00e9a0fe8e7aabc736"><div class="ttname"><a href="SVFType_8h.html#a1aeda3370621dc00e9a0fe8e7aabc736">TIMEINTERVAL</a></div><div class="ttdeci">#define TIMEINTERVAL</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00512">SVFType.h:512</a></div></div>
675
- <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="AE_8h_source.html#l00073">AE.h:73</a></div></div>
676
- <div class="ttc" id="aclassSVF_1_1AE_html_a4ed21da186c37ab4e6a24ea26db2b5f2"><div class="ttname"><a href="classSVF_1_1AE.html#a4ed21da186c37ab4e6a24ea26db2b5f2">SVF::AE::_nodeToBugInfo</a></div><div class="ttdeci">Map&lt; const ICFGNode *, std::string &gt; _nodeToBugInfo</div><div class="ttdef"><b>Definition:</b> <a href="AE_8h_source.html#l00249">AE.h:249</a></div></div>
674
+ <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#l00073">AbstractExecution.h:73</a></div></div>
675
+ <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#l00248">AbstractExecution.h:248</a></div></div>
676
+ <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#l00238">AbstractExecution.h:238</a></div></div>
677
677
  <div class="ttc" id="acJSON_8h_html_a25d22ecc7e656d2c59332072684e8766"><div class="ttname"><a href="cJSON_8h.html#a25d22ecc7e656d2c59332072684e8766">name</a></div><div class="ttdeci">const char *const name</div><div class="ttdef"><b>Definition:</b> <a href="cJSON_8h_source.html#l00264">cJSON.h:264</a></div></div>
678
678
  <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>
679
679
  <div class="ttc" id="aclassSVF_1_1Options_html_ad989eab7d521e9933ac8e46e1c29f662"><div class="ttname"><a href="classSVF_1_1Options.html#ad989eab7d521e9933ac8e46e1c29f662">SVF::Options::OutputName</a></div><div class="ttdeci">static const Option&lt; std::string &gt; OutputName</div><div class="ttdoc">bug info output file, Default: output.db</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00269">Options.h:269</a></div></div>
@@ -681,21 +681,21 @@ Additional Inherited Members</h2></td></tr>
681
681
  <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>
682
682
  <div class="ttc" id="aclassSVF_1_1ExeState_html_a0710c9cc1a3c40c95cd362d49bea459b"><div class="ttname"><a href="classSVF_1_1ExeState.html#a0710c9cc1a3c40c95cd362d49bea459b">SVF::ExeState::getVarToAddrs</a></div><div class="ttdeci">virtual const VarToAddrs &amp; getVarToAddrs() const</div><div class="ttdef"><b>Definition:</b> <a href="ExeState_8h_source.html#l00120">ExeState.h:120</a></div></div>
683
683
  <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>
684
- <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="AE_8h_source.html#l00061">AE.h:61</a></div></div>
684
+ <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#l00061">AbstractExecution.h:61</a></div></div>
685
685
  <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>
686
686
  <div class="ttc" id="aclassSVF_1_1IntervalExeState_html_a92b1b163493a74a31d30a261128edd05"><div class="ttname"><a href="classSVF_1_1IntervalExeState.html#a92b1b163493a74a31d30a261128edd05">SVF::IntervalExeState::globalES</a></div><div class="ttdeci">static IntervalExeState globalES</div><div class="ttdef"><b>Definition:</b> <a href="IntervalExeState_8h_source.html#l00413">IntervalExeState.h:413</a></div></div>
687
687
  <div class="ttc" id="aclassSVF_1_1GenericGraph_html_a38122734cbe71551a420dfb7fee2012e"><div class="ttname"><a href="classSVF_1_1GenericGraph.html#a38122734cbe71551a420dfb7fee2012e">SVF::GenericGraph::nodeNum</a></div><div class="ttdeci">u32_t nodeNum</div><div class="ttdoc">total num of edge</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00456">GenericGraph.h:456</a></div></div>
688
- <div class="ttc" id="aclassSVF_1_1AE_html_abea70264606aa7687d4b93e13155f96f"><div class="ttname"><a href="classSVF_1_1AE.html#abea70264606aa7687d4b93e13155f96f">SVF::AE::_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="AE_8h_source.html#l00239">AE.h:239</a></div></div>
689
688
  <div class="ttc" id="anamespaceSVF_1_1SVFUtil_html_a22ef185e767ff76c098e75126c885400"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#a22ef185e767ff76c098e75126c885400">SVF::SVFUtil::isExtCall</a></div><div class="ttdeci">bool isExtCall(const SVFFunction *fun)</div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8h_source.html#l00309">SVFUtil.h:309</a></div></div>
690
689
  <div class="ttc" id="aclassSVF_1_1SVFIR_html_abda052b73e869ed6d7c139ad1528da11"><div class="ttname"><a href="classSVF_1_1SVFIR.html#abda052b73e869ed6d7c139ad1528da11">SVF::SVFIR::getICFG</a></div><div class="ttdeci">ICFG * getICFG() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR_8h_source.html#l00170">SVFIR.h:170</a></div></div>
691
- <div class="ttc" id="aclassSVF_1_1AE_html_af42ae42a73107e29133c481f94a9161f"><div class="ttname"><a href="classSVF_1_1AE.html#af42ae42a73107e29133c481f94a9161f">SVF::AE::_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="AE_8h_source.html#l00236">AE.h:236</a></div></div>
692
- <div class="ttc" id="aclassSVF_1_1AE_html_aba45a74b04d97ffc0853830148258a64"><div class="ttname"><a href="classSVF_1_1AE.html#aba45a74b04d97ffc0853830148258a64">SVF::AE::_moduleName</a></div><div class="ttdeci">std::string _moduleName</div><div class="ttdef"><b>Definition:</b> <a href="AE_8h_source.html#l00277">AE.h:277</a></div></div>
693
690
  <div class="ttc" id="anamespaceSVF_1_1SVFUtil_html_aed0b0b9f035057552a6a82154fd88e61"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#aed0b0b9f035057552a6a82154fd88e61">SVF::SVFUtil::outs</a></div><div class="ttdeci">std::ostream &amp; outs()</div><div class="ttdoc">Overwrite llvm::outs()</div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8h_source.html#l00050">SVFUtil.h:50</a></div></div>
691
+ <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#l00235">AbstractExecution.h:235</a></div></div>
694
692
  <div class="ttc" id="aclassSVF_1_1SVFStat_html_a5383691a34426a1a997b5eed387f1831"><div class="ttname"><a href="classSVF_1_1SVFStat.html#a5383691a34426a1a997b5eed387f1831">SVF::SVFStat::timeStatMap</a></div><div class="ttdeci">TIMEStatMap timeStatMap</div><div class="ttdef"><b>Definition:</b> <a href="SVFStat_8h_source.html#l00078">SVFStat.h:78</a></div></div>
695
693
  <div class="ttc" id="aclassSVF_1_1IntervalESBase_html_af7451ea87d5117a90b5912a1e6f34e10"><div class="ttname"><a href="classSVF_1_1IntervalESBase.html#af7451ea87d5117a90b5912a1e6f34e10">SVF::IntervalESBase::getLocToVal</a></div><div class="ttdeci">const LocToValMap &amp; getLocToVal() const</div><div class="ttdoc">get loc2val map</div><div class="ttdef"><b>Definition:</b> <a href="IntervalExeState_8h_source.html#l00195">IntervalExeState.h:195</a></div></div>
696
694
  <div class="ttc" id="aclassSVF_1_1SVFIR2ItvExeState_html_a56434326130c8127c823097ad764947b"><div class="ttname"><a href="classSVF_1_1SVFIR2ItvExeState.html#a56434326130c8127c823097ad764947b">SVF::SVFIR2ItvExeState::getEs</a></div><div class="ttdeci">IntervalExeState &amp; getEs()</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR2ItvExeState_8h_source.html#l00054">SVFIR2ItvExeState.h:54</a></div></div>
697
695
  <div class="ttc" id="aclassSVF_1_1SVFStat_html_a3333e45303dcc9c3da00858628cdbbff"><div class="ttname"><a href="classSVF_1_1SVFStat.html#a3333e45303dcc9c3da00858628cdbbff">SVF::SVFStat::moduleName</a></div><div class="ttdeci">std::string moduleName</div><div class="ttdef"><b>Definition:</b> <a href="SVFStat_8h_source.html#l00099">SVFStat.h:99</a></div></div>
698
696
  <div class="ttc" id="aclassSVF_1_1SVFStat_html_a8b01f1564408b51f28c107454bf9068d"><div class="ttname"><a href="classSVF_1_1SVFStat.html#a8b01f1564408b51f28c107454bf9068d">SVF::SVFStat::endTime</a></div><div class="ttdeci">double endTime</div><div class="ttdef"><b>Definition:</b> <a href="SVFStat_8h_source.html#l00081">SVFStat.h:81</a></div></div>
697
+ <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#l00276">AbstractExecution.h:276</a></div></div>
698
+ <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#l00072">AbstractExecution.h:72</a></div></div>
699
699
  <div class="ttc" id="aclassSVF_1_1IntervalESBase_html_a903797577ba99ef57879774a3849bbfe"><div class="ttname"><a href="classSVF_1_1IntervalESBase.html#a903797577ba99ef57879774a3849bbfe">SVF::IntervalESBase::getVarToVal</a></div><div class="ttdeci">const VarToValMap &amp; getVarToVal() const</div><div class="ttdoc">get var2val map</div><div class="ttdef"><b>Definition:</b> <a href="IntervalExeState_8h_source.html#l00189">IntervalExeState.h:189</a></div></div>
700
700
  <!-- start footer part -->
701
701
  <hr class="footer"/><address class="footer"><small>