svf-tools 1.0.905 → 1.0.907

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 (438) hide show
  1. package/SVF-doxygen/html/AbstractInterpretation_8cpp.html +217 -0
  2. package/SVF-doxygen/html/AbstractInterpretation_8cpp_source.html +2093 -0
  3. package/SVF-doxygen/html/AbstractInterpretation_8h.html +115 -0
  4. package/SVF-doxygen/html/AbstractInterpretation_8h_source.html +459 -0
  5. package/SVF-doxygen/html/AbstractState_8cpp.html +84 -0
  6. package/SVF-doxygen/html/AbstractState_8cpp_source.html +461 -0
  7. package/SVF-doxygen/html/AbstractState_8h.html +105 -0
  8. package/SVF-doxygen/html/AbstractState_8h_source.html +891 -0
  9. package/SVF-doxygen/html/AbstractValue_8h.html +3 -3
  10. package/SVF-doxygen/html/AbstractValue_8h_source.html +652 -62
  11. package/SVF-doxygen/html/AddressValue_8h.html +4 -4
  12. package/SVF-doxygen/html/AddressValue_8h_source.html +180 -177
  13. package/SVF-doxygen/html/BufOverflowChecker_8cpp_source.html +782 -776
  14. package/SVF-doxygen/html/BufOverflowChecker_8h.html +1 -1
  15. package/SVF-doxygen/html/BufOverflowChecker_8h_source.html +19 -19
  16. package/SVF-doxygen/html/CFLGraph_8h_source.html +3 -3
  17. package/SVF-doxygen/html/CSC_8h_source.html +1 -1
  18. package/SVF-doxygen/html/ConsExeState_8cpp_source.html +1 -1
  19. package/SVF-doxygen/html/ConsExeState_8h_source.html +2 -2
  20. package/SVF-doxygen/html/ExeState_8cpp.html +1 -1
  21. package/SVF-doxygen/html/ExeState_8cpp_source.html +2 -2
  22. package/SVF-doxygen/html/ExeState_8h_source.html +8 -8
  23. package/SVF-doxygen/html/ICFGSimplification_8h.html +2 -2
  24. package/SVF-doxygen/html/ICFGSimplification_8h_source.html +17 -18
  25. package/SVF-doxygen/html/ICFG_8h_source.html +1 -1
  26. package/SVF-doxygen/html/IntervalValue_8h.html +2 -2
  27. package/SVF-doxygen/html/IntervalValue_8h_source.html +846 -864
  28. package/SVF-doxygen/html/LLVMModule_8cpp_source.html +1 -1
  29. package/SVF-doxygen/html/MSSAMuChi_8h_source.html +1 -1
  30. package/SVF-doxygen/html/MemRegion_8cpp_source.html +1 -1
  31. package/SVF-doxygen/html/ObjTypeInference_8cpp_source.html +1 -1
  32. package/SVF-doxygen/html/PointsTo_8cpp_source.html +3 -3
  33. package/SVF-doxygen/html/PointsTo_8h_source.html +3 -3
  34. package/SVF-doxygen/html/RelExeState_8h_source.html +5 -5
  35. package/SVF-doxygen/html/RelationSolver_8cpp_source.html +67 -68
  36. package/SVF-doxygen/html/RelationSolver_8h.html +1 -1
  37. package/SVF-doxygen/html/RelationSolver_8h_source.html +17 -17
  38. package/SVF-doxygen/html/SVFIR2AbsState_8cpp.html +84 -0
  39. package/SVF-doxygen/html/SVFIR2AbsState_8cpp_source.html +1348 -0
  40. package/SVF-doxygen/html/SVFIR2AbsState_8h.html +100 -0
  41. package/SVF-doxygen/html/SVFIR2AbsState_8h_source.html +378 -0
  42. package/SVF-doxygen/html/SVFIR2ConsExeState_8cpp_source.html +9 -8
  43. package/SVF-doxygen/html/SVFIR2ItvExeState_8cpp_source.html +920 -952
  44. package/SVF-doxygen/html/SVFIR2ItvExeState_8h.html +2 -3
  45. package/SVF-doxygen/html/SVFIR2ItvExeState_8h_source.html +202 -207
  46. package/SVF-doxygen/html/SVFIR2Relation_8cpp.html +1 -1
  47. package/SVF-doxygen/html/SVFIR2Relation_8cpp_source.html +76 -72
  48. package/SVF-doxygen/html/SVFType_8cpp_source.html +1 -1
  49. package/SVF-doxygen/html/SVFType_8h_source.html +1 -1
  50. package/SVF-doxygen/html/SVFValue_8h_source.html +1 -1
  51. package/SVF-doxygen/html/SparseBitVector_8h_source.html +3 -3
  52. package/SVF-doxygen/html/WorkList_8h_source.html +1 -1
  53. package/SVF-doxygen/html/ae_8cpp.html +57 -57
  54. package/SVF-doxygen/html/ae_8cpp_source.html +462 -466
  55. package/SVF-doxygen/html/annotated.html +409 -418
  56. package/SVF-doxygen/html/classSVF_1_1AEStat-members.html +2 -2
  57. package/SVF-doxygen/html/classSVF_1_1AEStat.html +184 -190
  58. package/SVF-doxygen/html/classSVF_1_1AbstractInterpretation-members.html +161 -0
  59. package/SVF-doxygen/html/classSVF_1_1AbstractInterpretation.html +4325 -0
  60. package/SVF-doxygen/html/classSVF_1_1AbstractInterpretation.png +0 -0
  61. package/SVF-doxygen/html/classSVF_1_1AbstractState-members.html +134 -0
  62. package/SVF-doxygen/html/classSVF_1_1AbstractState.html +2166 -0
  63. package/SVF-doxygen/html/classSVF_1_1AbstractState.png +0 -0
  64. package/SVF-doxygen/html/classSVF_1_1AddressValue-members.html +15 -28
  65. package/SVF-doxygen/html/classSVF_1_1AddressValue.html +171 -230
  66. package/SVF-doxygen/html/classSVF_1_1BoundedZ3Expr.html +0 -1
  67. package/SVF-doxygen/html/classSVF_1_1BoundedZ3Expr.png +0 -0
  68. package/SVF-doxygen/html/classSVF_1_1BufOverflowChecker-members.html +73 -73
  69. package/SVF-doxygen/html/classSVF_1_1BufOverflowChecker.html +578 -574
  70. package/SVF-doxygen/html/classSVF_1_1BufOverflowChecker.png +0 -0
  71. package/SVF-doxygen/html/classSVF_1_1CFLNode-members.html +48 -49
  72. package/SVF-doxygen/html/classSVF_1_1CFLNode.html +25 -25
  73. package/SVF-doxygen/html/classSVF_1_1ConsExeState.html +1 -1
  74. package/SVF-doxygen/html/classSVF_1_1ExeState.html +12 -14
  75. package/SVF-doxygen/html/classSVF_1_1ExeState.png +0 -0
  76. package/SVF-doxygen/html/classSVF_1_1FILOWorkList.html +3 -3
  77. package/SVF-doxygen/html/classSVF_1_1GenericNode.html +22 -8
  78. package/SVF-doxygen/html/classSVF_1_1GenericNode.png +0 -0
  79. package/SVF-doxygen/html/classSVF_1_1ICFGSimplification.html +1 -1
  80. package/SVF-doxygen/html/classSVF_1_1IntervalValue-members.html +50 -64
  81. package/SVF-doxygen/html/classSVF_1_1IntervalValue.html +349 -459
  82. package/SVF-doxygen/html/classSVF_1_1LLVMModuleSet.html +1 -1
  83. package/SVF-doxygen/html/classSVF_1_1ObjTypeInference.html +1 -1
  84. package/SVF-doxygen/html/classSVF_1_1RelExeState-members.html +1 -1
  85. package/SVF-doxygen/html/classSVF_1_1RelExeState.html +8 -8
  86. package/SVF-doxygen/html/classSVF_1_1RelationSolver-members.html +8 -8
  87. package/SVF-doxygen/html/classSVF_1_1RelationSolver.html +106 -107
  88. package/SVF-doxygen/html/classSVF_1_1SVFIR2AbsState-members.html +141 -0
  89. package/SVF-doxygen/html/classSVF_1_1SVFIR2AbsState.html +3137 -0
  90. package/SVF-doxygen/html/classSVF_1_1SVFIR2ConsExeState.html +5 -5
  91. package/SVF-doxygen/html/classSVF_1_1SVFIR2ItvExeState-members.html +56 -57
  92. package/SVF-doxygen/html/classSVF_1_1SVFIR2ItvExeState.html +1128 -1178
  93. package/SVF-doxygen/html/classSVF_1_1SVFStat.html +1 -1
  94. package/SVF-doxygen/html/classSVF_1_1SparseAbstractState-members.html +157 -0
  95. package/SVF-doxygen/html/classSVF_1_1SparseAbstractState.html +1512 -0
  96. package/SVF-doxygen/html/classSVF_1_1SparseAbstractState.png +0 -0
  97. package/SVF-doxygen/html/classSVF_1_1Z3Expr.html +0 -1
  98. package/SVF-doxygen/html/classSVF_1_1Z3Expr.png +0 -0
  99. package/SVF-doxygen/html/classSymblicAbstractionTest-members.html +3 -3
  100. package/SVF-doxygen/html/classSymblicAbstractionTest.html +400 -404
  101. package/SVF-doxygen/html/classes.html +326 -336
  102. package/SVF-doxygen/html/dir_2c6fb801affc4b3efe6e1ed5974683f6.html +2 -10
  103. package/SVF-doxygen/html/dir_81caa96ab1d3de93b353e2bbe80e6067.html +2 -4
  104. package/SVF-doxygen/html/dir_9a8e7a56f4029a0d9f62b1c6d1f6e85b.html +2 -8
  105. package/SVF-doxygen/html/dir_fbec400583b4bd6c5f2e89c86c5943a6.html +2 -4
  106. package/SVF-doxygen/html/fastcluster__dm_8cpp_8inc_source.html +1 -1
  107. package/SVF-doxygen/html/files.html +18 -27
  108. package/SVF-doxygen/html/functions.html +33 -56
  109. package/SVF-doxygen/html/functions_a.html +29 -42
  110. package/SVF-doxygen/html/functions_b.html +14 -21
  111. package/SVF-doxygen/html/functions_c.html +42 -52
  112. package/SVF-doxygen/html/functions_d.html +7 -4
  113. package/SVF-doxygen/html/functions_e.html +7 -21
  114. package/SVF-doxygen/html/functions_enum.html +4 -7
  115. package/SVF-doxygen/html/functions_eval.html +2 -2
  116. package/SVF-doxygen/html/functions_eval_c.html +0 -3
  117. package/SVF-doxygen/html/functions_eval_i.html +2 -3
  118. package/SVF-doxygen/html/functions_eval_m.html +2 -2
  119. package/SVF-doxygen/html/functions_eval_s.html +2 -5
  120. package/SVF-doxygen/html/functions_eval_u.html +4 -1
  121. package/SVF-doxygen/html/functions_f.html +6 -6
  122. package/SVF-doxygen/html/functions_func.html +24 -31
  123. package/SVF-doxygen/html/functions_func_b.html +10 -16
  124. package/SVF-doxygen/html/functions_func_c.html +30 -39
  125. package/SVF-doxygen/html/functions_func_d.html +1 -1
  126. package/SVF-doxygen/html/functions_func_e.html +7 -17
  127. package/SVF-doxygen/html/functions_func_g.html +61 -115
  128. package/SVF-doxygen/html/functions_func_h.html +22 -24
  129. package/SVF-doxygen/html/functions_func_i.html +64 -94
  130. package/SVF-doxygen/html/functions_func_j.html +4 -6
  131. package/SVF-doxygen/html/functions_func_l.html +9 -23
  132. package/SVF-doxygen/html/functions_func_m.html +7 -8
  133. package/SVF-doxygen/html/functions_func_n.html +8 -13
  134. package/SVF-doxygen/html/functions_func_o.html +57 -48
  135. package/SVF-doxygen/html/functions_func_p.html +6 -11
  136. package/SVF-doxygen/html/functions_func_r.html +4 -4
  137. package/SVF-doxygen/html/functions_func_s.html +35 -50
  138. package/SVF-doxygen/html/functions_func_t.html +26 -40
  139. package/SVF-doxygen/html/functions_func_u.html +6 -5
  140. package/SVF-doxygen/html/functions_func_v.html +2 -9
  141. package/SVF-doxygen/html/functions_func_w.html +9 -8
  142. package/SVF-doxygen/html/functions_func_z.html +1 -2
  143. package/SVF-doxygen/html/functions_func_~.html +10 -22
  144. package/SVF-doxygen/html/functions_g.html +61 -118
  145. package/SVF-doxygen/html/functions_h.html +21 -23
  146. package/SVF-doxygen/html/functions_i.html +76 -106
  147. package/SVF-doxygen/html/functions_j.html +4 -6
  148. package/SVF-doxygen/html/functions_k.html +0 -6
  149. package/SVF-doxygen/html/functions_l.html +11 -25
  150. package/SVF-doxygen/html/functions_m.html +8 -9
  151. package/SVF-doxygen/html/functions_n.html +14 -17
  152. package/SVF-doxygen/html/functions_o.html +71 -90
  153. package/SVF-doxygen/html/functions_p.html +31 -30
  154. package/SVF-doxygen/html/functions_r.html +11 -15
  155. package/SVF-doxygen/html/functions_rela.html +2 -3
  156. package/SVF-doxygen/html/functions_rela_b.html +0 -1
  157. package/SVF-doxygen/html/functions_rela_e.html +0 -1
  158. package/SVF-doxygen/html/functions_rela_i.html +0 -2
  159. package/SVF-doxygen/html/functions_rela_l.html +0 -1
  160. package/SVF-doxygen/html/functions_rela_o.html +0 -18
  161. package/SVF-doxygen/html/functions_rela_r.html +2 -2
  162. package/SVF-doxygen/html/functions_rela_s.html +4 -9
  163. package/SVF-doxygen/html/functions_s.html +45 -70
  164. package/SVF-doxygen/html/functions_t.html +29 -45
  165. package/SVF-doxygen/html/functions_type.html +0 -5
  166. package/SVF-doxygen/html/functions_type_c.html +1 -1
  167. package/SVF-doxygen/html/functions_type_k.html +0 -6
  168. package/SVF-doxygen/html/functions_type_l.html +4 -3
  169. package/SVF-doxygen/html/functions_type_t.html +0 -3
  170. package/SVF-doxygen/html/functions_type_v.html +3 -5
  171. package/SVF-doxygen/html/functions_u.html +8 -4
  172. package/SVF-doxygen/html/functions_v.html +11 -20
  173. package/SVF-doxygen/html/functions_vars.html +33 -56
  174. package/SVF-doxygen/html/functions_vars_a.html +3 -0
  175. package/SVF-doxygen/html/functions_vars_g.html +2 -5
  176. package/SVF-doxygen/html/functions_vars_i.html +3 -0
  177. package/SVF-doxygen/html/functions_vars_t.html +1 -0
  178. package/SVF-doxygen/html/functions_w.html +11 -10
  179. package/SVF-doxygen/html/functions_z.html +1 -2
  180. package/SVF-doxygen/html/functions_~.html +10 -22
  181. package/SVF-doxygen/html/globals.html +2 -2
  182. package/SVF-doxygen/html/globals_defs.html +1 -4
  183. package/SVF-doxygen/html/globals_n.html +2 -5
  184. package/SVF-doxygen/html/globals_s.html +1 -1
  185. package/SVF-doxygen/html/globals_vars.html +5 -5
  186. package/SVF-doxygen/html/globals_z.html +3 -3
  187. package/SVF-doxygen/html/hierarchy.html +622 -631
  188. package/SVF-doxygen/html/namespaceSVF.html +449 -458
  189. package/SVF-doxygen/html/search/all_0.js +155 -161
  190. package/SVF-doxygen/html/search/all_1.js +502 -503
  191. package/SVF-doxygen/html/search/all_10.js +325 -326
  192. package/SVF-doxygen/html/search/all_11.js +227 -227
  193. package/SVF-doxygen/html/search/all_12.js +563 -574
  194. package/SVF-doxygen/html/search/all_13.js +206 -208
  195. package/SVF-doxygen/html/search/all_14.js +74 -73
  196. package/SVF-doxygen/html/search/all_15.js +175 -176
  197. package/SVF-doxygen/html/search/all_16.js +77 -77
  198. package/SVF-doxygen/html/search/all_17.js +1 -1
  199. package/SVF-doxygen/html/search/all_18.js +1 -1
  200. package/SVF-doxygen/html/search/all_19.js +27 -27
  201. package/SVF-doxygen/html/search/all_1a.js +175 -179
  202. package/SVF-doxygen/html/search/all_2.js +180 -182
  203. package/SVF-doxygen/html/search/all_3.js +636 -642
  204. package/SVF-doxygen/html/search/all_4.js +237 -236
  205. package/SVF-doxygen/html/search/all_5.js +120 -126
  206. package/SVF-doxygen/html/search/all_6.js +236 -236
  207. package/SVF-doxygen/html/search/all_7.js +1040 -1056
  208. package/SVF-doxygen/html/search/all_8.js +211 -215
  209. package/SVF-doxygen/html/search/all_9.js +631 -638
  210. package/SVF-doxygen/html/search/all_a.js +46 -46
  211. package/SVF-doxygen/html/search/all_b.js +24 -26
  212. package/SVF-doxygen/html/search/all_c.js +113 -115
  213. package/SVF-doxygen/html/search/all_d.js +205 -205
  214. package/SVF-doxygen/html/search/all_e.js +207 -209
  215. package/SVF-doxygen/html/search/all_f.js +122 -122
  216. package/SVF-doxygen/html/search/classes_0.js +29 -28
  217. package/SVF-doxygen/html/search/classes_1.js +11 -11
  218. package/SVF-doxygen/html/search/classes_10.js +72 -74
  219. package/SVF-doxygen/html/search/classes_11.js +14 -14
  220. package/SVF-doxygen/html/search/classes_12.js +2 -2
  221. package/SVF-doxygen/html/search/classes_13.js +10 -10
  222. package/SVF-doxygen/html/search/classes_14.js +19 -19
  223. package/SVF-doxygen/html/search/classes_15.js +1 -1
  224. package/SVF-doxygen/html/search/classes_2.js +72 -73
  225. package/SVF-doxygen/html/search/classes_3.js +35 -35
  226. package/SVF-doxygen/html/search/classes_4.js +7 -8
  227. package/SVF-doxygen/html/search/classes_5.js +28 -28
  228. package/SVF-doxygen/html/search/classes_6.js +98 -98
  229. package/SVF-doxygen/html/search/classes_7.js +34 -38
  230. package/SVF-doxygen/html/search/classes_8.js +57 -59
  231. package/SVF-doxygen/html/search/classes_9.js +1 -1
  232. package/SVF-doxygen/html/search/classes_a.js +12 -12
  233. package/SVF-doxygen/html/search/classes_b.js +29 -29
  234. package/SVF-doxygen/html/search/classes_c.js +6 -6
  235. package/SVF-doxygen/html/search/classes_d.js +19 -19
  236. package/SVF-doxygen/html/search/classes_e.js +36 -36
  237. package/SVF-doxygen/html/search/classes_f.js +25 -25
  238. package/SVF-doxygen/html/search/defines_0.js +3 -3
  239. package/SVF-doxygen/html/search/defines_1.js +3 -3
  240. package/SVF-doxygen/html/search/defines_10.js +2 -2
  241. package/SVF-doxygen/html/search/defines_2.js +30 -30
  242. package/SVF-doxygen/html/search/defines_3.js +20 -20
  243. package/SVF-doxygen/html/search/defines_4.js +3 -3
  244. package/SVF-doxygen/html/search/defines_5.js +4 -4
  245. package/SVF-doxygen/html/search/defines_6.js +2 -2
  246. package/SVF-doxygen/html/search/defines_7.js +5 -5
  247. package/SVF-doxygen/html/search/defines_8.js +11 -11
  248. package/SVF-doxygen/html/search/defines_9.js +9 -9
  249. package/SVF-doxygen/html/search/defines_a.js +2 -2
  250. package/SVF-doxygen/html/search/defines_b.js +1 -1
  251. package/SVF-doxygen/html/search/defines_c.js +3 -4
  252. package/SVF-doxygen/html/search/defines_d.js +2 -2
  253. package/SVF-doxygen/html/search/defines_e.js +8 -8
  254. package/SVF-doxygen/html/search/defines_f.js +4 -4
  255. package/SVF-doxygen/html/search/enums_0.js +3 -4
  256. package/SVF-doxygen/html/search/enums_1.js +2 -2
  257. package/SVF-doxygen/html/search/enums_10.js +1 -1
  258. package/SVF-doxygen/html/search/enums_11.js +1 -1
  259. package/SVF-doxygen/html/search/enums_2.js +9 -9
  260. package/SVF-doxygen/html/search/enums_3.js +2 -1
  261. package/SVF-doxygen/html/search/enums_4.js +3 -4
  262. package/SVF-doxygen/html/search/enums_5.js +1 -1
  263. package/SVF-doxygen/html/search/enums_6.js +2 -2
  264. package/SVF-doxygen/html/search/enums_7.js +2 -2
  265. package/SVF-doxygen/html/search/enums_8.js +4 -4
  266. package/SVF-doxygen/html/search/enums_9.js +1 -1
  267. package/SVF-doxygen/html/search/enums_a.js +1 -1
  268. package/SVF-doxygen/html/search/enums_b.js +7 -7
  269. package/SVF-doxygen/html/search/enums_c.js +1 -1
  270. package/SVF-doxygen/html/search/enums_d.js +4 -4
  271. package/SVF-doxygen/html/search/enums_e.js +2 -2
  272. package/SVF-doxygen/html/search/enums_f.js +4 -4
  273. package/SVF-doxygen/html/search/enumvalues_0.js +15 -15
  274. package/SVF-doxygen/html/search/enumvalues_1.js +16 -16
  275. package/SVF-doxygen/html/search/enumvalues_10.js +36 -36
  276. package/SVF-doxygen/html/search/enumvalues_11.js +6 -5
  277. package/SVF-doxygen/html/search/enumvalues_12.js +10 -10
  278. package/SVF-doxygen/html/search/enumvalues_13.js +1 -1
  279. package/SVF-doxygen/html/search/enumvalues_14.js +1 -1
  280. package/SVF-doxygen/html/search/enumvalues_15.js +4 -4
  281. package/SVF-doxygen/html/search/enumvalues_2.js +36 -37
  282. package/SVF-doxygen/html/search/enumvalues_3.js +13 -13
  283. package/SVF-doxygen/html/search/enumvalues_4.js +2 -2
  284. package/SVF-doxygen/html/search/enumvalues_5.js +50 -50
  285. package/SVF-doxygen/html/search/enumvalues_6.js +6 -6
  286. package/SVF-doxygen/html/search/enumvalues_7.js +8 -8
  287. package/SVF-doxygen/html/search/enumvalues_8.js +24 -24
  288. package/SVF-doxygen/html/search/enumvalues_9.js +6 -6
  289. package/SVF-doxygen/html/search/enumvalues_a.js +17 -17
  290. package/SVF-doxygen/html/search/enumvalues_b.js +11 -11
  291. package/SVF-doxygen/html/search/enumvalues_c.js +5 -5
  292. package/SVF-doxygen/html/search/enumvalues_d.js +19 -19
  293. package/SVF-doxygen/html/search/enumvalues_e.js +9 -9
  294. package/SVF-doxygen/html/search/enumvalues_f.js +48 -49
  295. package/SVF-doxygen/html/search/files_0.js +18 -16
  296. package/SVF-doxygen/html/search/files_1.js +9 -9
  297. package/SVF-doxygen/html/search/files_10.js +8 -8
  298. package/SVF-doxygen/html/search/files_11.js +8 -8
  299. package/SVF-doxygen/html/search/files_12.js +2 -2
  300. package/SVF-doxygen/html/search/files_2.js +51 -53
  301. package/SVF-doxygen/html/search/files_3.js +14 -14
  302. package/SVF-doxygen/html/search/files_4.js +3 -5
  303. package/SVF-doxygen/html/search/files_5.js +13 -13
  304. package/SVF-doxygen/html/search/files_6.js +10 -10
  305. package/SVF-doxygen/html/search/files_7.js +15 -17
  306. package/SVF-doxygen/html/search/files_8.js +13 -13
  307. package/SVF-doxygen/html/search/files_9.js +18 -18
  308. package/SVF-doxygen/html/search/files_a.js +3 -3
  309. package/SVF-doxygen/html/search/files_b.js +4 -4
  310. package/SVF-doxygen/html/search/files_c.js +20 -20
  311. package/SVF-doxygen/html/search/files_d.js +4 -4
  312. package/SVF-doxygen/html/search/files_e.js +57 -62
  313. package/SVF-doxygen/html/search/files_f.js +8 -8
  314. package/SVF-doxygen/html/search/functions_0.js +13 -13
  315. package/SVF-doxygen/html/search/functions_1.js +366 -368
  316. package/SVF-doxygen/html/search/functions_10.js +139 -140
  317. package/SVF-doxygen/html/search/functions_11.js +140 -140
  318. package/SVF-doxygen/html/search/functions_12.js +294 -299
  319. package/SVF-doxygen/html/search/functions_13.js +72 -73
  320. package/SVF-doxygen/html/search/functions_14.js +41 -41
  321. package/SVF-doxygen/html/search/functions_15.js +70 -72
  322. package/SVF-doxygen/html/search/functions_16.js +38 -38
  323. package/SVF-doxygen/html/search/functions_17.js +3 -3
  324. package/SVF-doxygen/html/search/functions_18.js +175 -179
  325. package/SVF-doxygen/html/search/functions_2.js +92 -94
  326. package/SVF-doxygen/html/search/functions_3.js +258 -261
  327. package/SVF-doxygen/html/search/functions_4.js +85 -85
  328. package/SVF-doxygen/html/search/functions_5.js +54 -57
  329. package/SVF-doxygen/html/search/functions_6.js +65 -65
  330. package/SVF-doxygen/html/search/functions_7.js +857 -872
  331. package/SVF-doxygen/html/search/functions_8.js +162 -162
  332. package/SVF-doxygen/html/search/functions_9.js +440 -446
  333. package/SVF-doxygen/html/search/functions_a.js +30 -30
  334. package/SVF-doxygen/html/search/functions_b.js +2 -2
  335. package/SVF-doxygen/html/search/functions_c.js +22 -25
  336. package/SVF-doxygen/html/search/functions_d.js +82 -82
  337. package/SVF-doxygen/html/search/functions_e.js +34 -36
  338. package/SVF-doxygen/html/search/functions_f.js +58 -58
  339. package/SVF-doxygen/html/search/namespaces_0.js +1 -1
  340. package/SVF-doxygen/html/search/namespaces_1.js +7 -7
  341. package/SVF-doxygen/html/search/related_0.js +4 -4
  342. package/SVF-doxygen/html/search/related_1.js +2 -2
  343. package/SVF-doxygen/html/search/related_2.js +2 -2
  344. package/SVF-doxygen/html/search/related_3.js +2 -2
  345. package/SVF-doxygen/html/search/related_4.js +2 -2
  346. package/SVF-doxygen/html/search/related_5.js +1 -1
  347. package/SVF-doxygen/html/search/related_6.js +2 -2
  348. package/SVF-doxygen/html/search/related_7.js +5 -5
  349. package/SVF-doxygen/html/search/related_8.js +2 -2
  350. package/SVF-doxygen/html/search/related_9.js +4 -4
  351. package/SVF-doxygen/html/search/related_a.js +19 -19
  352. package/SVF-doxygen/html/search/related_b.js +4 -4
  353. package/SVF-doxygen/html/search/related_c.js +2 -2
  354. package/SVF-doxygen/html/search/related_d.js +11 -12
  355. package/SVF-doxygen/html/search/related_e.js +2 -2
  356. package/SVF-doxygen/html/search/related_f.js +2 -2
  357. package/SVF-doxygen/html/search/typedefs_0.js +18 -19
  358. package/SVF-doxygen/html/search/typedefs_1.js +27 -27
  359. package/SVF-doxygen/html/search/typedefs_10.js +65 -65
  360. package/SVF-doxygen/html/search/typedefs_11.js +12 -13
  361. package/SVF-doxygen/html/search/typedefs_12.js +13 -13
  362. package/SVF-doxygen/html/search/typedefs_13.js +40 -40
  363. package/SVF-doxygen/html/search/typedefs_14.js +11 -11
  364. package/SVF-doxygen/html/search/typedefs_2.js +125 -125
  365. package/SVF-doxygen/html/search/typedefs_3.js +39 -39
  366. package/SVF-doxygen/html/search/typedefs_4.js +17 -17
  367. package/SVF-doxygen/html/search/typedefs_5.js +42 -42
  368. package/SVF-doxygen/html/search/typedefs_6.js +54 -54
  369. package/SVF-doxygen/html/search/typedefs_7.js +47 -47
  370. package/SVF-doxygen/html/search/typedefs_8.js +1 -1
  371. package/SVF-doxygen/html/search/typedefs_9.js +4 -6
  372. package/SVF-doxygen/html/search/typedefs_a.js +30 -29
  373. package/SVF-doxygen/html/search/typedefs_b.js +29 -29
  374. package/SVF-doxygen/html/search/typedefs_c.js +41 -41
  375. package/SVF-doxygen/html/search/typedefs_d.js +15 -15
  376. package/SVF-doxygen/html/search/typedefs_e.js +52 -52
  377. package/SVF-doxygen/html/search/typedefs_f.js +14 -14
  378. package/SVF-doxygen/html/search/variables_0.js +171 -177
  379. package/SVF-doxygen/html/search/variables_1.js +78 -77
  380. package/SVF-doxygen/html/search/variables_10.js +98 -98
  381. package/SVF-doxygen/html/search/variables_11.js +47 -47
  382. package/SVF-doxygen/html/search/variables_12.js +93 -93
  383. package/SVF-doxygen/html/search/variables_13.js +76 -76
  384. package/SVF-doxygen/html/search/variables_14.js +14 -14
  385. package/SVF-doxygen/html/search/variables_15.js +49 -49
  386. package/SVF-doxygen/html/search/variables_16.js +11 -11
  387. package/SVF-doxygen/html/search/variables_17.js +1 -1
  388. package/SVF-doxygen/html/search/variables_18.js +17 -17
  389. package/SVF-doxygen/html/search/variables_2.js +40 -40
  390. package/SVF-doxygen/html/search/variables_3.js +143 -143
  391. package/SVF-doxygen/html/search/variables_4.js +51 -51
  392. package/SVF-doxygen/html/search/variables_5.js +39 -39
  393. package/SVF-doxygen/html/search/variables_6.js +66 -66
  394. package/SVF-doxygen/html/search/variables_7.js +33 -34
  395. package/SVF-doxygen/html/search/variables_8.js +8 -8
  396. package/SVF-doxygen/html/search/variables_9.js +80 -79
  397. package/SVF-doxygen/html/search/variables_a.js +4 -4
  398. package/SVF-doxygen/html/search/variables_b.js +10 -10
  399. package/SVF-doxygen/html/search/variables_c.js +44 -44
  400. package/SVF-doxygen/html/search/variables_d.js +58 -58
  401. package/SVF-doxygen/html/search/variables_e.js +123 -123
  402. package/SVF-doxygen/html/search/variables_f.js +31 -31
  403. package/SVF-doxygen/html/structSVF_1_1AbstractValue-members.html +164 -0
  404. package/SVF-doxygen/html/structSVF_1_1AbstractValue.html +2820 -0
  405. package/SVF-doxygen/html/structstd_1_1hash_3_01SVF_1_1SparseAbstractState_01_4-members.html +84 -0
  406. package/SVF-doxygen/html/structstd_1_1hash_3_01SVF_1_1SparseAbstractState_01_4.html +130 -0
  407. package/SVF-doxygen/html/svf-ex_8cpp.html +25 -25
  408. package/SVF-doxygen/html/svf-ex_8cpp_source.html +26 -26
  409. package/package.json +1 -1
  410. package/svf/include/AE/Core/AbstractState.h +749 -0
  411. package/svf/include/AE/Core/AbstractValue.h +514 -39
  412. package/svf/include/AE/Core/AddressValue.h +32 -25
  413. package/svf/include/AE/Core/IntervalValue.h +10 -24
  414. package/svf/include/AE/Core/RelExeState.h +1 -1
  415. package/svf/include/AE/Core/RelationSolver.h +9 -9
  416. package/svf/include/AE/Svfexe/{AbstractExecution.h → AbstractInterpretation.h} +27 -26
  417. package/svf/include/AE/Svfexe/BufOverflowChecker.h +5 -5
  418. package/svf/include/AE/Svfexe/ICFGSimplification.h +1 -2
  419. package/svf/include/AE/Svfexe/{SVFIR2ItvExeState.h → SVFIR2AbsState.h} +30 -33
  420. package/svf/lib/AE/Core/AbstractState.cpp +357 -0
  421. package/svf/lib/AE/Core/RelationSolver.cpp +31 -31
  422. package/svf/lib/AE/Core/SVFIR2Relation.cpp +17 -16
  423. package/svf/lib/AE/Svfexe/{AbstractExecution.cpp → AbstractInterpretation.cpp} +166 -156
  424. package/svf/lib/AE/Svfexe/BufOverflowChecker.cpp +51 -47
  425. package/svf/lib/AE/Svfexe/{SVFIR2ItvExeState.cpp → SVFIR2AbsState.cpp} +211 -247
  426. package/svf-llvm/tools/AE/ae.cpp +105 -108
  427. package/svf-llvm/tools/Example/svf-ex.cpp +2 -2
  428. package/svf/include/AE/Core/ConsExeState.h +0 -453
  429. package/svf/include/AE/Core/ExeState.h +0 -304
  430. package/svf/include/AE/Core/IntervalExeState.h +0 -650
  431. package/svf/include/AE/Core/SingleAbsValue.h +0 -477
  432. package/svf/include/AE/Core/SymState.h +0 -221
  433. package/svf/include/AE/Svfexe/SVFIR2ConsExeState.h +0 -148
  434. package/svf/lib/AE/Core/ConsExeState.cpp +0 -603
  435. package/svf/lib/AE/Core/ExeState.cpp +0 -117
  436. package/svf/lib/AE/Core/IntervalExeState.cpp +0 -329
  437. package/svf/lib/AE/Core/SymState.cpp +0 -37
  438. package/svf/lib/AE/Svfexe/SVFIR2ConsExeState.cpp +0 -772
package/SVF-doxygen/html/classSVF_1_1AEStat.html CHANGED
@@ -77,7 +77,7 @@ $(function() {
77
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="AbstractExecution_8h_source.html">AbstractExecution.h</a>&gt;</code></p>
80
+ <p><code>#include &lt;<a class="el" href="AbstractInterpretation_8h_source.html">AbstractInterpretation.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: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>
95
+ <tr class="memitem:a9a3a1cc22654d3d259599005a5336923"><td class="memItemLeft" align="right" valign="top">&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1AEStat.html#a9a3a1cc22654d3d259599005a5336923">AEStat</a> (<a class="el" href="classSVF_1_1AbstractInterpretation.html">AbstractInterpretation</a> *ae)</td></tr>
96
+ <tr class="separator:a9a3a1cc22654d3d259599005a5336923"><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: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>
133
+ <tr class="memitem:aeba2d77291837b9615c4f8b014cacfeb"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1AbstractInterpretation.html">AbstractInterpretation</a> *&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1AEStat.html#aeba2d77291837b9615c4f8b014cacfeb">_ae</a></td></tr>
134
+ <tr class="separator:aeba2d77291837b9615c4f8b014cacfeb"><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>
@@ -180,10 +180,10 @@ Additional Inherited Members</h2></td></tr>
180
180
  <a name="details" id="details"></a><h2 class="groupheader">Detailed Description</h2>
181
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="AbstractExecution_8h_source.html#l00053">53</a> of file <a class="el" href="AbstractExecution_8h_source.html">AbstractExecution.h</a>.</p>
183
+ <p class="definition">Definition at line <a class="el" href="AbstractInterpretation_8h_source.html#l00051">51</a> of file <a class="el" href="AbstractInterpretation_8h_source.html">AbstractInterpretation.h</a>.</p>
184
184
  </div><h2 class="groupheader">Constructor &amp; Destructor Documentation</h2>
185
- <a id="a1e297f15d582d8c94c128a146ec92e1d"></a>
186
- <h2 class="memtitle"><span class="permalink"><a href="#a1e297f15d582d8c94c128a146ec92e1d">&#9670;&nbsp;</a></span>AEStat()</h2>
185
+ <a id="a9a3a1cc22654d3d259599005a5336923"></a>
186
+ <h2 class="memtitle"><span class="permalink"><a href="#a9a3a1cc22654d3d259599005a5336923">&#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_1AbstractExecution.html">AbstractExecution</a> *&#160;</td>
197
+ <td class="paramtype"><a class="el" href="classSVF_1_1AbstractInterpretation.html">AbstractInterpretation</a> *&#160;</td>
198
198
  <td class="paramname"><em>ae</em></td><td>)</td>
199
199
  <td></td>
200
200
  </tr>
@@ -206,11 +206,11 @@ 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="AbstractExecution_8h_source.html#l00057">57</a> of file <a class="el" href="AbstractExecution_8h_source.html">AbstractExecution.h</a>.</p>
210
- <div class="fragment"><div class="line"><a name="l00057"></a><span class="lineno"> 57</span>&#160; : <a class="code" href="classSVF_1_1AEStat.html#adbce526127c9cc83d642cde2a1e77ff7">_ae</a>(ae)</div>
211
- <div class="line"><a name="l00058"></a><span class="lineno"> 58</span>&#160; {</div>
212
- <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>
213
- <div class="line"><a name="l00060"></a><span class="lineno"> 60</span>&#160; }</div>
209
+ <p class="definition">Definition at line <a class="el" href="AbstractInterpretation_8h_source.html#l00055">55</a> of file <a class="el" href="AbstractInterpretation_8h_source.html">AbstractInterpretation.h</a>.</p>
210
+ <div class="fragment"><div class="line"><a name="l00055"></a><span class="lineno"> 55</span>&#160; : <a class="code" href="classSVF_1_1AEStat.html#aeba2d77291837b9615c4f8b014cacfeb">_ae</a>(ae)</div>
211
+ <div class="line"><a name="l00056"></a><span class="lineno"> 56</span>&#160; {</div>
212
+ <div class="line"><a name="l00057"></a><span class="lineno"> 57</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
+ <div class="line"><a name="l00058"></a><span class="lineno"> 58</span>&#160; }</div>
214
214
  </div><!-- fragment -->
215
215
  </div>
216
216
  </div>
@@ -237,9 +237,9 @@ 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="AbstractExecution_8h_source.html#l00061">61</a> of file <a class="el" href="AbstractExecution_8h_source.html">AbstractExecution.h</a>.</p>
241
- <div class="fragment"><div class="line"><a name="l00062"></a><span class="lineno"> 62</span>&#160; {</div>
242
- <div class="line"><a name="l00063"></a><span class="lineno"> 63</span>&#160; }</div>
240
+ <p class="definition">Definition at line <a class="el" href="AbstractInterpretation_8h_source.html#l00059">59</a> of file <a class="el" href="AbstractInterpretation_8h_source.html">AbstractInterpretation.h</a>.</p>
241
+ <div class="fragment"><div class="line"><a name="l00060"></a><span class="lineno"> 60</span>&#160; {</div>
242
+ <div class="line"><a name="l00061"></a><span class="lineno"> 61</span>&#160; }</div>
243
243
  </div><!-- fragment -->
244
244
  </div>
245
245
  </div>
@@ -259,25 +259,23 @@ 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="AbstractExecution_8cpp_source.html#l00989">989</a> of file <a class="el" href="AbstractExecution_8cpp_source.html">AbstractExecution.cpp</a>.</p>
263
- <div class="fragment"><div class="line"><a name="l00990"></a><span class="lineno"> 990</span>&#160;{</div>
264
- <div class="line"><a name="l00991"></a><span class="lineno"> 991</span>&#160; <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1AEStat.html#a03a5abacf309902ce2bb9a9733ff195f">count</a> == 0)</div>
265
- <div class="line"><a name="l00992"></a><span class="lineno"> 992</span>&#160; {</div>
266
- <div class="line"><a name="l00993"></a><span class="lineno"> 993</span>&#160; <a class="code" href="classSVF_1_1SVFStat.html#a07b6f8cb424b84b468c4518140fa3a41">generalNumMap</a>[<span class="stringliteral">&quot;Global_ES_Var_AVG_Num&quot;</span>] = <a class="code" href="classSVF_1_1IntervalExeState.html#a92b1b163493a74a31d30a261128edd05">IntervalExeState::globalES</a>.<a class="code" href="classSVF_1_1IntervalESBase.html#a903797577ba99ef57879774a3849bbfe">getVarToVal</a>().size();</div>
267
- <div class="line"><a name="l00994"></a><span class="lineno"> 994</span>&#160; <a class="code" href="classSVF_1_1SVFStat.html#a07b6f8cb424b84b468c4518140fa3a41">generalNumMap</a>[<span class="stringliteral">&quot;Global_ES_Loc_AVG_Num&quot;</span>] = <a class="code" href="classSVF_1_1IntervalExeState.html#a92b1b163493a74a31d30a261128edd05">IntervalExeState::globalES</a>.<a class="code" href="classSVF_1_1IntervalESBase.html#af7451ea87d5117a90b5912a1e6f34e10">getLocToVal</a>().size();</div>
268
- <div class="line"><a name="l00995"></a><span class="lineno"> 995</span>&#160; <a class="code" href="classSVF_1_1SVFStat.html#a07b6f8cb424b84b468c4518140fa3a41">generalNumMap</a>[<span class="stringliteral">&quot;Global_ES_Var_Addr_AVG_Num&quot;</span>] = <a class="code" href="classSVF_1_1IntervalExeState.html#a92b1b163493a74a31d30a261128edd05">IntervalExeState::globalES</a>.<a class="code" href="classSVF_1_1ExeState.html#a0710c9cc1a3c40c95cd362d49bea459b">getVarToAddrs</a>().size();</div>
269
- <div class="line"><a name="l00996"></a><span class="lineno"> 996</span>&#160; <a class="code" href="classSVF_1_1SVFStat.html#a07b6f8cb424b84b468c4518140fa3a41">generalNumMap</a>[<span class="stringliteral">&quot;Global_ES_Loc_Addr_AVG_Num&quot;</span>] = <a class="code" href="classSVF_1_1IntervalExeState.html#a92b1b163493a74a31d30a261128edd05">IntervalExeState::globalES</a>.<a class="code" href="classSVF_1_1ExeState.html#aa7b897b107d722909f9de9dcbabad7cf">getLocToAddrs</a>().size();</div>
270
- <div class="line"><a name="l00997"></a><span class="lineno"> 997</span>&#160; <a class="code" href="classSVF_1_1SVFStat.html#a07b6f8cb424b84b468c4518140fa3a41">generalNumMap</a>[<span class="stringliteral">&quot;ES_Var_AVG_Num&quot;</span>] = 0;</div>
271
- <div class="line"><a name="l00998"></a><span class="lineno"> 998</span>&#160; <a class="code" href="classSVF_1_1SVFStat.html#a07b6f8cb424b84b468c4518140fa3a41">generalNumMap</a>[<span class="stringliteral">&quot;ES_Loc_AVG_Num&quot;</span>] = 0;</div>
272
- <div class="line"><a name="l00999"></a><span class="lineno"> 999</span>&#160; <a class="code" href="classSVF_1_1SVFStat.html#a07b6f8cb424b84b468c4518140fa3a41">generalNumMap</a>[<span class="stringliteral">&quot;ES_Var_Addr_AVG_Num&quot;</span>] = 0;</div>
273
- <div class="line"><a name="l01000"></a><span class="lineno"> 1000</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
- <div class="line"><a name="l01001"></a><span class="lineno"> 1001</span>&#160; }</div>
275
- <div class="line"><a name="l01002"></a><span class="lineno"> 1002</span>&#160; ++<a class="code" href="classSVF_1_1AEStat.html#a03a5abacf309902ce2bb9a9733ff195f">count</a>;</div>
276
- <div class="line"><a name="l01003"></a><span class="lineno"> 1003</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="l01004"></a><span class="lineno"> 1004</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="l01005"></a><span class="lineno"> 1005</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="l01006"></a><span class="lineno"> 1006</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
- <div class="line"><a name="l01007"></a><span class="lineno"> 1007</span>&#160;}</div>
262
+ <p class="definition">Definition at line <a class="el" href="AbstractInterpretation_8cpp_source.html#l00994">994</a> of file <a class="el" href="AbstractInterpretation_8cpp_source.html">AbstractInterpretation.cpp</a>.</p>
263
+ <div class="fragment"><div class="line"><a name="l00995"></a><span class="lineno"> 995</span>&#160;{</div>
264
+ <div class="line"><a name="l00996"></a><span class="lineno"> 996</span>&#160; <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1AEStat.html#a03a5abacf309902ce2bb9a9733ff195f">count</a> == 0)</div>
265
+ <div class="line"><a name="l00997"></a><span class="lineno"> 997</span>&#160; {</div>
266
+ <div class="line"><a name="l00998"></a><span class="lineno"> 998</span>&#160; <a class="code" href="classSVF_1_1SVFStat.html#a07b6f8cb424b84b468c4518140fa3a41">generalNumMap</a>[<span class="stringliteral">&quot;Global_ES_Var_AVG_Num&quot;</span>] =</div>
267
+ <div class="line"><a name="l00999"></a><span class="lineno"> 999</span>&#160; <a class="code" href="classSVF_1_1SparseAbstractState.html#a1683fd7da77812137b839b8c417200fe">SparseAbstractState::globalES</a>.<a class="code" href="classSVF_1_1AbstractState.html#a4e4525823fd31c718216c698ed6e0a06">getVarToVal</a>().size();</div>
268
+ <div class="line"><a name="l01000"></a><span class="lineno"> 1000</span>&#160; <a class="code" href="classSVF_1_1SVFStat.html#a07b6f8cb424b84b468c4518140fa3a41">generalNumMap</a>[<span class="stringliteral">&quot;Global_ES_Loc_AVG_Num&quot;</span>] =</div>
269
+ <div class="line"><a name="l01001"></a><span class="lineno"> 1001</span>&#160; <a class="code" href="classSVF_1_1SparseAbstractState.html#a1683fd7da77812137b839b8c417200fe">SparseAbstractState::globalES</a>.<a class="code" href="classSVF_1_1AbstractState.html#ab409b0084c202ddf437b45873d6992c6">getLocToVal</a>().size();</div>
270
+ <div class="line"><a name="l01002"></a><span class="lineno"> 1002</span>&#160; <a class="code" href="classSVF_1_1SVFStat.html#a07b6f8cb424b84b468c4518140fa3a41">generalNumMap</a>[<span class="stringliteral">&quot;ES_Var_AVG_Num&quot;</span>] = 0;</div>
271
+ <div class="line"><a name="l01003"></a><span class="lineno"> 1003</span>&#160; <a class="code" href="classSVF_1_1SVFStat.html#a07b6f8cb424b84b468c4518140fa3a41">generalNumMap</a>[<span class="stringliteral">&quot;ES_Loc_AVG_Num&quot;</span>] = 0;</div>
272
+ <div class="line"><a name="l01004"></a><span class="lineno"> 1004</span>&#160; <a class="code" href="classSVF_1_1SVFStat.html#a07b6f8cb424b84b468c4518140fa3a41">generalNumMap</a>[<span class="stringliteral">&quot;ES_Var_Addr_AVG_Num&quot;</span>] = 0;</div>
273
+ <div class="line"><a name="l01005"></a><span class="lineno"> 1005</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
+ <div class="line"><a name="l01006"></a><span class="lineno"> 1006</span>&#160; }</div>
275
+ <div class="line"><a name="l01007"></a><span class="lineno"> 1007</span>&#160; ++<a class="code" href="classSVF_1_1AEStat.html#a03a5abacf309902ce2bb9a9733ff195f">count</a>;</div>
276
+ <div class="line"><a name="l01008"></a><span class="lineno"> 1008</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#aeba2d77291837b9615c4f8b014cacfeb">_ae</a>-&gt;<a class="code" href="classSVF_1_1AbstractInterpretation.html#af78f068a373ebb6a2f14dcde980a9dae">_svfir2ExeState</a>-&gt;<a class="code" href="classSVF_1_1SVFIR2AbsState.html#a260c4ccfd79a2b9dbd580fa2030ac238">getEs</a>().<a class="code" href="classSVF_1_1AbstractState.html#a4e4525823fd31c718216c698ed6e0a06">getVarToVal</a>().size();</div>
277
+ <div class="line"><a name="l01009"></a><span class="lineno"> 1009</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#aeba2d77291837b9615c4f8b014cacfeb">_ae</a>-&gt;<a class="code" href="classSVF_1_1AbstractInterpretation.html#af78f068a373ebb6a2f14dcde980a9dae">_svfir2ExeState</a>-&gt;<a class="code" href="classSVF_1_1SVFIR2AbsState.html#a260c4ccfd79a2b9dbd580fa2030ac238">getEs</a>().<a class="code" href="classSVF_1_1AbstractState.html#ab409b0084c202ddf437b45873d6992c6">getLocToVal</a>().size();</div>
278
+ <div class="line"><a name="l01010"></a><span class="lineno"> 1010</span>&#160;}</div>
281
279
  </div><!-- fragment -->
282
280
  </div>
283
281
  </div>
@@ -296,48 +294,46 @@ Additional Inherited Members</h2></td></tr>
296
294
  </table>
297
295
  </div><div class="memdoc">
298
296
 
299
- <p class="definition">Definition at line <a class="el" href="AbstractExecution_8cpp_source.html#l01009">1009</a> of file <a class="el" href="AbstractExecution_8cpp_source.html">AbstractExecution.cpp</a>.</p>
300
- <div class="fragment"><div class="line"><a name="l01010"></a><span class="lineno"> 1010</span>&#160;{</div>
301
- <div class="line"><a name="l01011"></a><span class="lineno"> 1011</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
- <div class="line"><a name="l01012"></a><span class="lineno"> 1012</span>&#160; <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1AEStat.html#a03a5abacf309902ce2bb9a9733ff195f">count</a> &gt; 0)</div>
303
- <div class="line"><a name="l01013"></a><span class="lineno"> 1013</span>&#160; {</div>
304
- <div class="line"><a name="l01014"></a><span class="lineno"> 1014</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#a03a5abacf309902ce2bb9a9733ff195f">count</a>;</div>
305
- <div class="line"><a name="l01015"></a><span class="lineno"> 1015</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#a03a5abacf309902ce2bb9a9733ff195f">count</a>;</div>
306
- <div class="line"><a name="l01016"></a><span class="lineno"> 1016</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#a03a5abacf309902ce2bb9a9733ff195f">count</a>;</div>
307
- <div class="line"><a name="l01017"></a><span class="lineno"> 1017</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
- <div class="line"><a name="l01018"></a><span class="lineno"> 1018</span>&#160; }</div>
309
- <div class="line"><a name="l01019"></a><span class="lineno"> 1019</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="l01020"></a><span class="lineno"> 1020</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
- <div class="line"><a name="l01021"></a><span class="lineno"> 1021</span>&#160; <a class="code" href="CommandLine_8h.html#a2429346d37bd4c40889bd7c6d319d9da">u32_t</a> callSiteNum = 0;</div>
312
- <div class="line"><a name="l01022"></a><span class="lineno"> 1022</span>&#160; <a class="code" href="CommandLine_8h.html#a2429346d37bd4c40889bd7c6d319d9da">u32_t</a> extCallSiteNum = 0;</div>
313
- <div class="line"><a name="l01023"></a><span class="lineno"> 1023</span>&#160; <a class="code" href="namespaceSVF.html#af739db846e47ba6b2fd15eaad31ab7fb">Set&lt;const SVFFunction *&gt;</a> funs;</div>
314
- <div class="line"><a name="l01024"></a><span class="lineno"> 1024</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
- <div class="line"><a name="l01025"></a><span class="lineno"> 1025</span>&#160; {</div>
316
- <div class="line"><a name="l01026"></a><span class="lineno"> 1026</span>&#160; <span class="keywordflow">if</span> (it.second-&gt;getFun())</div>
317
- <div class="line"><a name="l01027"></a><span class="lineno"> 1027</span>&#160; {</div>
318
- <div class="line"><a name="l01028"></a><span class="lineno"> 1028</span>&#160; funs.insert(it.second-&gt;getFun());</div>
319
- <div class="line"><a name="l01029"></a><span class="lineno"> 1029</span>&#160; }</div>
320
- <div class="line"><a name="l01030"></a><span class="lineno"> 1030</span>&#160; <span class="keywordflow">if</span> (<span class="keyword">const</span> <a class="code" href="classSVF_1_1CallICFGNode.html">CallICFGNode</a> *callNode = dyn_cast&lt;CallICFGNode&gt;(it.second))</div>
321
- <div class="line"><a name="l01031"></a><span class="lineno"> 1031</span>&#160; {</div>
322
- <div class="line"><a name="l01032"></a><span class="lineno"> 1032</span>&#160; <span class="keywordflow">if</span> (!<a class="code" href="namespaceSVF_1_1SVFUtil.html#a22ef185e767ff76c098e75126c885400">isExtCall</a>(callNode-&gt;getCallSite()))</div>
323
- <div class="line"><a name="l01033"></a><span class="lineno"> 1033</span>&#160; {</div>
324
- <div class="line"><a name="l01034"></a><span class="lineno"> 1034</span>&#160; callSiteNum++;</div>
325
- <div class="line"><a name="l01035"></a><span class="lineno"> 1035</span>&#160; }</div>
326
- <div class="line"><a name="l01036"></a><span class="lineno"> 1036</span>&#160; <span class="keywordflow">else</span></div>
327
- <div class="line"><a name="l01037"></a><span class="lineno"> 1037</span>&#160; {</div>
328
- <div class="line"><a name="l01038"></a><span class="lineno"> 1038</span>&#160; extCallSiteNum++;</div>
329
- <div class="line"><a name="l01039"></a><span class="lineno"> 1039</span>&#160; }</div>
330
- <div class="line"><a name="l01040"></a><span class="lineno"> 1040</span>&#160; }</div>
331
- <div class="line"><a name="l01041"></a><span class="lineno"> 1041</span>&#160; }</div>
332
- <div class="line"><a name="l01042"></a><span class="lineno"> 1042</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
- <div class="line"><a name="l01043"></a><span class="lineno"> 1043</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
- <div class="line"><a name="l01044"></a><span class="lineno"> 1044</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="l01045"></a><span class="lineno"> 1045</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="l01046"></a><span class="lineno"> 1046</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="l01047"></a><span class="lineno"> 1047</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#a04e812385041270901af0f2cb599fa96">_nodeToBugInfo</a>.size();</div>
338
- <div class="line"><a name="l01048"></a><span class="lineno"> 1048</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
- <div class="line"><a name="l01049"></a><span class="lineno"> 1049</span>&#160; </div>
340
- <div class="line"><a name="l01050"></a><span class="lineno"> 1050</span>&#160;}</div>
297
+ <p class="definition">Definition at line <a class="el" href="AbstractInterpretation_8cpp_source.html#l01012">1012</a> of file <a class="el" href="AbstractInterpretation_8cpp_source.html">AbstractInterpretation.cpp</a>.</p>
298
+ <div class="fragment"><div class="line"><a name="l01013"></a><span class="lineno"> 1013</span>&#160;{</div>
299
+ <div class="line"><a name="l01014"></a><span class="lineno"> 1014</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>
300
+ <div class="line"><a name="l01015"></a><span class="lineno"> 1015</span>&#160; <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1AEStat.html#a03a5abacf309902ce2bb9a9733ff195f">count</a> &gt; 0)</div>
301
+ <div class="line"><a name="l01016"></a><span class="lineno"> 1016</span>&#160; {</div>
302
+ <div class="line"><a name="l01017"></a><span class="lineno"> 1017</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#a03a5abacf309902ce2bb9a9733ff195f">count</a>;</div>
303
+ <div class="line"><a name="l01018"></a><span class="lineno"> 1018</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#a03a5abacf309902ce2bb9a9733ff195f">count</a>;</div>
304
+ <div class="line"><a name="l01019"></a><span class="lineno"> 1019</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#a03a5abacf309902ce2bb9a9733ff195f">count</a>;</div>
305
+ <div class="line"><a name="l01020"></a><span class="lineno"> 1020</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>
306
+ <div class="line"><a name="l01021"></a><span class="lineno"> 1021</span>&#160; }</div>
307
+ <div class="line"><a name="l01022"></a><span class="lineno"> 1022</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>
308
+ <div class="line"><a name="l01023"></a><span class="lineno"> 1023</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#aeba2d77291837b9615c4f8b014cacfeb">_ae</a>-&gt;<a class="code" href="classSVF_1_1AbstractInterpretation.html#a618fc324a6c205d7e1b471bd850377a9">_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>
309
+ <div class="line"><a name="l01024"></a><span class="lineno"> 1024</span>&#160; <a class="code" href="CommandLine_8h.html#a2429346d37bd4c40889bd7c6d319d9da">u32_t</a> callSiteNum = 0;</div>
310
+ <div class="line"><a name="l01025"></a><span class="lineno"> 1025</span>&#160; <a class="code" href="CommandLine_8h.html#a2429346d37bd4c40889bd7c6d319d9da">u32_t</a> extCallSiteNum = 0;</div>
311
+ <div class="line"><a name="l01026"></a><span class="lineno"> 1026</span>&#160; <a class="code" href="namespaceSVF.html#af739db846e47ba6b2fd15eaad31ab7fb">Set&lt;const SVFFunction *&gt;</a> funs;</div>
312
+ <div class="line"><a name="l01027"></a><span class="lineno"> 1027</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#aeba2d77291837b9615c4f8b014cacfeb">_ae</a>-&gt;<a class="code" href="classSVF_1_1AbstractInterpretation.html#a618fc324a6c205d7e1b471bd850377a9">_svfir</a>-&gt;<a class="code" href="classSVF_1_1SVFIR.html#abda052b73e869ed6d7c139ad1528da11">getICFG</a>())</div>
313
+ <div class="line"><a name="l01028"></a><span class="lineno"> 1028</span>&#160; {</div>
314
+ <div class="line"><a name="l01029"></a><span class="lineno"> 1029</span>&#160; <span class="keywordflow">if</span> (it.second-&gt;getFun())</div>
315
+ <div class="line"><a name="l01030"></a><span class="lineno"> 1030</span>&#160; {</div>
316
+ <div class="line"><a name="l01031"></a><span class="lineno"> 1031</span>&#160; funs.insert(it.second-&gt;getFun());</div>
317
+ <div class="line"><a name="l01032"></a><span class="lineno"> 1032</span>&#160; }</div>
318
+ <div class="line"><a name="l01033"></a><span class="lineno"> 1033</span>&#160; <span class="keywordflow">if</span> (<span class="keyword">const</span> <a class="code" href="classSVF_1_1CallICFGNode.html">CallICFGNode</a> *callNode = dyn_cast&lt;CallICFGNode&gt;(it.second))</div>
319
+ <div class="line"><a name="l01034"></a><span class="lineno"> 1034</span>&#160; {</div>
320
+ <div class="line"><a name="l01035"></a><span class="lineno"> 1035</span>&#160; <span class="keywordflow">if</span> (!<a class="code" href="namespaceSVF_1_1SVFUtil.html#a22ef185e767ff76c098e75126c885400">isExtCall</a>(callNode-&gt;getCallSite()))</div>
321
+ <div class="line"><a name="l01036"></a><span class="lineno"> 1036</span>&#160; {</div>
322
+ <div class="line"><a name="l01037"></a><span class="lineno"> 1037</span>&#160; callSiteNum++;</div>
323
+ <div class="line"><a name="l01038"></a><span class="lineno"> 1038</span>&#160; }</div>
324
+ <div class="line"><a name="l01039"></a><span class="lineno"> 1039</span>&#160; <span class="keywordflow">else</span></div>
325
+ <div class="line"><a name="l01040"></a><span class="lineno"> 1040</span>&#160; {</div>
326
+ <div class="line"><a name="l01041"></a><span class="lineno"> 1041</span>&#160; extCallSiteNum++;</div>
327
+ <div class="line"><a name="l01042"></a><span class="lineno"> 1042</span>&#160; }</div>
328
+ <div class="line"><a name="l01043"></a><span class="lineno"> 1043</span>&#160; }</div>
329
+ <div class="line"><a name="l01044"></a><span class="lineno"> 1044</span>&#160; }</div>
330
+ <div class="line"><a name="l01045"></a><span class="lineno"> 1045</span>&#160; <a class="code" href="classSVF_1_1SVFStat.html#a07b6f8cb424b84b468c4518140fa3a41">generalNumMap</a>[<span class="stringliteral">&quot;Func_Num&quot;</span>] = funs.size();</div>
331
+ <div class="line"><a name="l01046"></a><span class="lineno"> 1046</span>&#160; <a class="code" href="classSVF_1_1SVFStat.html#a07b6f8cb424b84b468c4518140fa3a41">generalNumMap</a>[<span class="stringliteral">&quot;EXT_CallSite_Num&quot;</span>] = extCallSiteNum;</div>
332
+ <div class="line"><a name="l01047"></a><span class="lineno"> 1047</span>&#160; <a class="code" href="classSVF_1_1SVFStat.html#a07b6f8cb424b84b468c4518140fa3a41">generalNumMap</a>[<span class="stringliteral">&quot;NonEXT_CallSite_Num&quot;</span>] = callSiteNum;</div>
333
+ <div class="line"><a name="l01048"></a><span class="lineno"> 1048</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#aeba2d77291837b9615c4f8b014cacfeb">_ae</a>-&gt;<a class="code" href="classSVF_1_1AbstractInterpretation.html#a09aa739395388f64fcb3d539d58d2041">_nodeToBugInfo</a>.size();</div>
334
+ <div class="line"><a name="l01049"></a><span class="lineno"> 1049</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>
335
+ <div class="line"><a name="l01050"></a><span class="lineno"> 1050</span>&#160; </div>
336
+ <div class="line"><a name="l01051"></a><span class="lineno"> 1051</span>&#160;}</div>
341
337
  </div><!-- fragment -->
342
338
  </div>
343
339
  </div>
@@ -364,14 +360,14 @@ Additional Inherited Members</h2></td></tr>
364
360
  </table>
365
361
  </div><div class="memdoc">
366
362
 
367
- <p class="definition">Definition at line <a class="el" href="AbstractExecution_8h_source.html#l00090">90</a> of file <a class="el" href="AbstractExecution_8h_source.html">AbstractExecution.h</a>.</p>
368
- <div class="fragment"><div class="line"><a name="l00091"></a><span class="lineno"> 91</span>&#160; {</div>
369
- <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>
370
- <div class="line"><a name="l00093"></a><span class="lineno"> 93</span>&#160; {</div>
371
- <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>
372
- <div class="line"><a name="l00095"></a><span class="lineno"> 95</span>&#160; }</div>
373
- <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>
374
- <div class="line"><a name="l00097"></a><span class="lineno"> 97</span>&#160; }</div>
363
+ <p class="definition">Definition at line <a class="el" href="AbstractInterpretation_8h_source.html#l00088">88</a> of file <a class="el" href="AbstractInterpretation_8h_source.html">AbstractInterpretation.h</a>.</p>
364
+ <div class="fragment"><div class="line"><a name="l00089"></a><span class="lineno"> 89</span>&#160; {</div>
365
+ <div class="line"><a name="l00090"></a><span class="lineno"> 90</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>
366
+ <div class="line"><a name="l00091"></a><span class="lineno"> 91</span>&#160; {</div>
367
+ <div class="line"><a name="l00092"></a><span class="lineno"> 92</span>&#160; <a class="code" href="classSVF_1_1SVFStat.html#a07b6f8cb424b84b468c4518140fa3a41">generalNumMap</a>[<span class="stringliteral">&quot;Block_Trace&quot;</span>] = 0;</div>
368
+ <div class="line"><a name="l00093"></a><span class="lineno"> 93</span>&#160; }</div>
369
+ <div class="line"><a name="l00094"></a><span class="lineno"> 94</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>
370
+ <div class="line"><a name="l00095"></a><span class="lineno"> 95</span>&#160; }</div>
375
371
  </div><!-- fragment -->
376
372
  </div>
377
373
  </div>
@@ -398,14 +394,14 @@ Additional Inherited Members</h2></td></tr>
398
394
  </table>
399
395
  </div><div class="memdoc">
400
396
 
401
- <p class="definition">Definition at line <a class="el" href="AbstractExecution_8h_source.html#l00082">82</a> of file <a class="el" href="AbstractExecution_8h_source.html">AbstractExecution.h</a>.</p>
402
- <div class="fragment"><div class="line"><a name="l00083"></a><span class="lineno"> 83</span>&#160; {</div>
403
- <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>
404
- <div class="line"><a name="l00085"></a><span class="lineno"> 85</span>&#160; {</div>
405
- <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>
406
- <div class="line"><a name="l00087"></a><span class="lineno"> 87</span>&#160; }</div>
407
- <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>
408
- <div class="line"><a name="l00089"></a><span class="lineno"> 89</span>&#160; }</div>
397
+ <p class="definition">Definition at line <a class="el" href="AbstractInterpretation_8h_source.html#l00080">80</a> of file <a class="el" href="AbstractInterpretation_8h_source.html">AbstractInterpretation.h</a>.</p>
398
+ <div class="fragment"><div class="line"><a name="l00081"></a><span class="lineno"> 81</span>&#160; {</div>
399
+ <div class="line"><a name="l00082"></a><span class="lineno"> 82</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>
400
+ <div class="line"><a name="l00083"></a><span class="lineno"> 83</span>&#160; {</div>
401
+ <div class="line"><a name="l00084"></a><span class="lineno"> 84</span>&#160; <a class="code" href="classSVF_1_1SVFStat.html#a07b6f8cb424b84b468c4518140fa3a41">generalNumMap</a>[<span class="stringliteral">&quot;Function_Trace&quot;</span>] = 0;</div>
402
+ <div class="line"><a name="l00085"></a><span class="lineno"> 85</span>&#160; }</div>
403
+ <div class="line"><a name="l00086"></a><span class="lineno"> 86</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>
404
+ <div class="line"><a name="l00087"></a><span class="lineno"> 87</span>&#160; }</div>
409
405
  </div><!-- fragment -->
410
406
  </div>
411
407
  </div>
@@ -432,14 +428,14 @@ Additional Inherited Members</h2></td></tr>
432
428
  </table>
433
429
  </div><div class="memdoc">
434
430
 
435
- <p class="definition">Definition at line <a class="el" href="AbstractExecution_8h_source.html#l00098">98</a> of file <a class="el" href="AbstractExecution_8h_source.html">AbstractExecution.h</a>.</p>
436
- <div class="fragment"><div class="line"><a name="l00099"></a><span class="lineno"> 99</span>&#160; {</div>
437
- <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>
438
- <div class="line"><a name="l00101"></a><span class="lineno"> 101</span>&#160; {</div>
439
- <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>
440
- <div class="line"><a name="l00103"></a><span class="lineno"> 103</span>&#160; }</div>
441
- <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>
442
- <div class="line"><a name="l00105"></a><span class="lineno"> 105</span>&#160; }</div>
431
+ <p class="definition">Definition at line <a class="el" href="AbstractInterpretation_8h_source.html#l00096">96</a> of file <a class="el" href="AbstractInterpretation_8h_source.html">AbstractInterpretation.h</a>.</p>
432
+ <div class="fragment"><div class="line"><a name="l00097"></a><span class="lineno"> 97</span>&#160; {</div>
433
+ <div class="line"><a name="l00098"></a><span class="lineno"> 98</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>
434
+ <div class="line"><a name="l00099"></a><span class="lineno"> 99</span>&#160; {</div>
435
+ <div class="line"><a name="l00100"></a><span class="lineno"> 100</span>&#160; <a class="code" href="classSVF_1_1SVFStat.html#a07b6f8cb424b84b468c4518140fa3a41">generalNumMap</a>[<span class="stringliteral">&quot;ICFG_Node_Trace&quot;</span>] = 0;</div>
436
+ <div class="line"><a name="l00101"></a><span class="lineno"> 101</span>&#160; }</div>
437
+ <div class="line"><a name="l00102"></a><span class="lineno"> 102</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>
438
+ <div class="line"><a name="l00103"></a><span class="lineno"> 103</span>&#160; }</div>
443
439
  </div><!-- fragment -->
444
440
  </div>
445
441
  </div>
@@ -466,11 +462,11 @@ Additional Inherited Members</h2></td></tr>
466
462
  </table>
467
463
  </div><div class="memdoc">
468
464
 
469
- <p class="definition">Definition at line <a class="el" href="AbstractExecution_8h_source.html#l00064">64</a> of file <a class="el" href="AbstractExecution_8h_source.html">AbstractExecution.h</a>.</p>
470
- <div class="fragment"><div class="line"><a name="l00065"></a><span class="lineno"> 65</span>&#160; {</div>
471
- <div class="line"><a name="l00066"></a><span class="lineno"> 66</span>&#160; <a class="code" href="CommandLine_8h.html#a2429346d37bd4c40889bd7c6d319d9da">u32_t</a> vmrss, vmsize;</div>
472
- <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>
473
- <div class="line"><a name="l00068"></a><span class="lineno"> 68</span>&#160; }</div>
465
+ <p class="definition">Definition at line <a class="el" href="AbstractInterpretation_8h_source.html#l00062">62</a> of file <a class="el" href="AbstractInterpretation_8h_source.html">AbstractInterpretation.h</a>.</p>
466
+ <div class="fragment"><div class="line"><a name="l00063"></a><span class="lineno"> 63</span>&#160; {</div>
467
+ <div class="line"><a name="l00064"></a><span class="lineno"> 64</span>&#160; <a class="code" href="CommandLine_8h.html#a2429346d37bd4c40889bd7c6d319d9da">u32_t</a> vmrss, vmsize;</div>
468
+ <div class="line"><a name="l00065"></a><span class="lineno"> 65</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>
469
+ <div class="line"><a name="l00066"></a><span class="lineno"> 66</span>&#160; }</div>
474
470
  </div><!-- fragment -->
475
471
  </div>
476
472
  </div>
@@ -499,42 +495,42 @@ Additional Inherited Members</h2></td></tr>
499
495
 
500
496
  <p>Implements <a class="el" href="classSVF_1_1SVFStat.html#a77c24aa3409dcbf56f57302f237b1eeb">SVF::SVFStat</a>.</p>
501
497
 
502
- <p class="definition">Definition at line <a class="el" href="AbstractExecution_8cpp_source.html#l01052">1052</a> of file <a class="el" href="AbstractExecution_8cpp_source.html">AbstractExecution.cpp</a>.</p>
503
- <div class="fragment"><div class="line"><a name="l01053"></a><span class="lineno"> 1053</span>&#160;{</div>
504
- <div class="line"><a name="l01054"></a><span class="lineno"> 1054</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
- <div class="line"><a name="l01055"></a><span class="lineno"> 1055</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
- <div class="line"><a name="l01056"></a><span class="lineno"> 1056</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
- <div class="line"><a name="l01057"></a><span class="lineno"> 1057</span>&#160; <span class="keywordflow">if</span> (fullName.find(<span class="charliteral">&#39;/&#39;</span>) == std::string::npos)</div>
508
- <div class="line"><a name="l01058"></a><span class="lineno"> 1058</span>&#160; {</div>
509
- <div class="line"><a name="l01059"></a><span class="lineno"> 1059</span>&#160; <a class="code" href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">std::string</a> <a class="code" href="cJSON_8h.html#a25d22ecc7e656d2c59332072684e8766">name</a> = fullName;</div>
510
- <div class="line"><a name="l01060"></a><span class="lineno"> 1060</span>&#160; <a class="code" href="classSVF_1_1SVFStat.html#a3333e45303dcc9c3da00858628cdbbff">moduleName</a> = <a class="code" href="cJSON_8h.html#a25d22ecc7e656d2c59332072684e8766">name</a>.substr(0, fullName.find(<span class="charliteral">&#39;.&#39;</span>));</div>
511
- <div class="line"><a name="l01061"></a><span class="lineno"> 1061</span>&#160; }</div>
512
- <div class="line"><a name="l01062"></a><span class="lineno"> 1062</span>&#160; <span class="keywordflow">else</span></div>
513
- <div class="line"><a name="l01063"></a><span class="lineno"> 1063</span>&#160; {</div>
514
- <div class="line"><a name="l01064"></a><span class="lineno"> 1064</span>&#160; <a class="code" href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">std::string</a> <a class="code" href="cJSON_8h.html#a25d22ecc7e656d2c59332072684e8766">name</a> = fullName.substr(fullName.find(<span class="charliteral">&#39;/&#39;</span>), fullName.size());</div>
515
- <div class="line"><a name="l01065"></a><span class="lineno"> 1065</span>&#160; <a class="code" href="classSVF_1_1SVFStat.html#a3333e45303dcc9c3da00858628cdbbff">moduleName</a> = <a class="code" href="cJSON_8h.html#a25d22ecc7e656d2c59332072684e8766">name</a>.substr(0, fullName.find(<span class="charliteral">&#39;.&#39;</span>));</div>
516
- <div class="line"><a name="l01066"></a><span class="lineno"> 1066</span>&#160; }</div>
517
- <div class="line"><a name="l01067"></a><span class="lineno"> 1067</span>&#160; </div>
518
- <div class="line"><a name="l01068"></a><span class="lineno"> 1068</span>&#160; <a class="code" href="namespaceSVF_1_1SVFUtil.html#aed0b0b9f035057552a6a82154fd88e61">SVFUtil::outs</a>() &lt;&lt; <span class="stringliteral">&quot;\n************************\n&quot;</span>;</div>
519
- <div class="line"><a name="l01069"></a><span class="lineno"> 1069</span>&#160; <a class="code" href="namespaceSVF_1_1SVFUtil.html#aed0b0b9f035057552a6a82154fd88e61">SVFUtil::outs</a>() &lt;&lt; <span class="stringliteral">&quot;################ (program : &quot;</span> &lt;&lt; <a class="code" href="classSVF_1_1SVFStat.html#a3333e45303dcc9c3da00858628cdbbff">moduleName</a> &lt;&lt; <span class="stringliteral">&quot;)###############\n&quot;</span>;</div>
520
- <div class="line"><a name="l01070"></a><span class="lineno"> 1070</span>&#160; <a class="code" href="namespaceSVF_1_1SVFUtil.html#aed0b0b9f035057552a6a82154fd88e61">SVFUtil::outs</a>().flags(std::ios::left);</div>
521
- <div class="line"><a name="l01071"></a><span class="lineno"> 1071</span>&#160; <span class="keywordtype">unsigned</span> field_width = 30;</div>
522
- <div class="line"><a name="l01072"></a><span class="lineno"> 1072</span>&#160; <span class="keywordflow">for</span> (NUMStatMap::iterator it = <a class="code" href="classSVF_1_1SVFStat.html#a07b6f8cb424b84b468c4518140fa3a41">generalNumMap</a>.begin(), eit = <a class="code" href="classSVF_1_1SVFStat.html#a07b6f8cb424b84b468c4518140fa3a41">generalNumMap</a>.end(); it != eit; ++it)</div>
523
- <div class="line"><a name="l01073"></a><span class="lineno"> 1073</span>&#160; {</div>
524
- <div class="line"><a name="l01074"></a><span class="lineno"> 1074</span>&#160; <span class="comment">// format out put with width 20 space</span></div>
525
- <div class="line"><a name="l01075"></a><span class="lineno"> 1075</span>&#160; std::cout &lt;&lt; std::setw(field_width) &lt;&lt; it-&gt;first &lt;&lt; it-&gt;second &lt;&lt; <span class="stringliteral">&quot;\n&quot;</span>;</div>
526
- <div class="line"><a name="l01076"></a><span class="lineno"> 1076</span>&#160; }</div>
527
- <div class="line"><a name="l01077"></a><span class="lineno"> 1077</span>&#160; <a class="code" href="namespaceSVF_1_1SVFUtil.html#aed0b0b9f035057552a6a82154fd88e61">SVFUtil::outs</a>() &lt;&lt; <span class="stringliteral">&quot;-------------------------------------------------------\n&quot;</span>;</div>
528
- <div class="line"><a name="l01078"></a><span class="lineno"> 1078</span>&#160; <span class="keywordflow">for</span> (TIMEStatMap::iterator it = <a class="code" href="classSVF_1_1SVFStat.html#a5383691a34426a1a997b5eed387f1831">timeStatMap</a>.begin(), eit = <a class="code" href="classSVF_1_1SVFStat.html#a5383691a34426a1a997b5eed387f1831">timeStatMap</a>.end(); it != eit; ++it)</div>
529
- <div class="line"><a name="l01079"></a><span class="lineno"> 1079</span>&#160; {</div>
530
- <div class="line"><a name="l01080"></a><span class="lineno"> 1080</span>&#160; <span class="comment">// format out put with width 20 space</span></div>
531
- <div class="line"><a name="l01081"></a><span class="lineno"> 1081</span>&#160; <a class="code" href="namespaceSVF_1_1SVFUtil.html#aed0b0b9f035057552a6a82154fd88e61">SVFUtil::outs</a>() &lt;&lt; std::setw(field_width) &lt;&lt; it-&gt;first &lt;&lt; it-&gt;second &lt;&lt; <span class="stringliteral">&quot;\n&quot;</span>;</div>
532
- <div class="line"><a name="l01082"></a><span class="lineno"> 1082</span>&#160; }</div>
533
- <div class="line"><a name="l01083"></a><span class="lineno"> 1083</span>&#160; <a class="code" href="namespaceSVF_1_1SVFUtil.html#aed0b0b9f035057552a6a82154fd88e61">SVFUtil::outs</a>() &lt;&lt; <span class="stringliteral">&quot;Memory usage: &quot;</span> &lt;&lt; <a class="code" href="classSVF_1_1AEStat.html#a4b1f6388893e6aaef1acd411972cde19">memUsage</a> &lt;&lt; <span class="stringliteral">&quot;\n&quot;</span>;</div>
534
- <div class="line"><a name="l01084"></a><span class="lineno"> 1084</span>&#160; </div>
535
- <div class="line"><a name="l01085"></a><span class="lineno"> 1085</span>&#160; <a class="code" href="namespaceSVF_1_1SVFUtil.html#aed0b0b9f035057552a6a82154fd88e61">SVFUtil::outs</a>() &lt;&lt; <span class="stringliteral">&quot;#######################################################&quot;</span> &lt;&lt; std::endl;</div>
536
- <div class="line"><a name="l01086"></a><span class="lineno"> 1086</span>&#160; <a class="code" href="namespaceSVF_1_1SVFUtil.html#aed0b0b9f035057552a6a82154fd88e61">SVFUtil::outs</a>().flush();</div>
537
- <div class="line"><a name="l01087"></a><span class="lineno"> 1087</span>&#160;}</div>
498
+ <p class="definition">Definition at line <a class="el" href="AbstractInterpretation_8cpp_source.html#l01053">1053</a> of file <a class="el" href="AbstractInterpretation_8cpp_source.html">AbstractInterpretation.cpp</a>.</p>
499
+ <div class="fragment"><div class="line"><a name="l01054"></a><span class="lineno"> 1054</span>&#160;{</div>
500
+ <div class="line"><a name="l01055"></a><span class="lineno"> 1055</span>&#160; <a class="code" href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">std::string</a> fullName(<a class="code" href="classSVF_1_1AEStat.html#aeba2d77291837b9615c4f8b014cacfeb">_ae</a>-&gt;<a class="code" href="classSVF_1_1AbstractInterpretation.html#afefc0098ecd9bc01ce270a4a6f251b0c">_moduleName</a>);</div>
501
+ <div class="line"><a name="l01056"></a><span class="lineno"> 1056</span>&#160; <a class="code" href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">std::string</a> <a class="code" href="cJSON_8h.html#a25d22ecc7e656d2c59332072684e8766">name</a>;</div>
502
+ <div class="line"><a name="l01057"></a><span class="lineno"> 1057</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>
503
+ <div class="line"><a name="l01058"></a><span class="lineno"> 1058</span>&#160; <span class="keywordflow">if</span> (fullName.find(<span class="charliteral">&#39;/&#39;</span>) == std::string::npos)</div>
504
+ <div class="line"><a name="l01059"></a><span class="lineno"> 1059</span>&#160; {</div>
505
+ <div class="line"><a name="l01060"></a><span class="lineno"> 1060</span>&#160; <a class="code" href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">std::string</a> <a class="code" href="cJSON_8h.html#a25d22ecc7e656d2c59332072684e8766">name</a> = fullName;</div>
506
+ <div class="line"><a name="l01061"></a><span class="lineno"> 1061</span>&#160; <a class="code" href="classSVF_1_1SVFStat.html#a3333e45303dcc9c3da00858628cdbbff">moduleName</a> = <a class="code" href="cJSON_8h.html#a25d22ecc7e656d2c59332072684e8766">name</a>.substr(0, fullName.find(<span class="charliteral">&#39;.&#39;</span>));</div>
507
+ <div class="line"><a name="l01062"></a><span class="lineno"> 1062</span>&#160; }</div>
508
+ <div class="line"><a name="l01063"></a><span class="lineno"> 1063</span>&#160; <span class="keywordflow">else</span></div>
509
+ <div class="line"><a name="l01064"></a><span class="lineno"> 1064</span>&#160; {</div>
510
+ <div class="line"><a name="l01065"></a><span class="lineno"> 1065</span>&#160; <a class="code" href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">std::string</a> <a class="code" href="cJSON_8h.html#a25d22ecc7e656d2c59332072684e8766">name</a> = fullName.substr(fullName.find(<span class="charliteral">&#39;/&#39;</span>), fullName.size());</div>
511
+ <div class="line"><a name="l01066"></a><span class="lineno"> 1066</span>&#160; <a class="code" href="classSVF_1_1SVFStat.html#a3333e45303dcc9c3da00858628cdbbff">moduleName</a> = <a class="code" href="cJSON_8h.html#a25d22ecc7e656d2c59332072684e8766">name</a>.substr(0, fullName.find(<span class="charliteral">&#39;.&#39;</span>));</div>
512
+ <div class="line"><a name="l01067"></a><span class="lineno"> 1067</span>&#160; }</div>
513
+ <div class="line"><a name="l01068"></a><span class="lineno"> 1068</span>&#160; </div>
514
+ <div class="line"><a name="l01069"></a><span class="lineno"> 1069</span>&#160; <a class="code" href="namespaceSVF_1_1SVFUtil.html#aed0b0b9f035057552a6a82154fd88e61">SVFUtil::outs</a>() &lt;&lt; <span class="stringliteral">&quot;\n************************\n&quot;</span>;</div>
515
+ <div class="line"><a name="l01070"></a><span class="lineno"> 1070</span>&#160; <a class="code" href="namespaceSVF_1_1SVFUtil.html#aed0b0b9f035057552a6a82154fd88e61">SVFUtil::outs</a>() &lt;&lt; <span class="stringliteral">&quot;################ (program : &quot;</span> &lt;&lt; <a class="code" href="classSVF_1_1SVFStat.html#a3333e45303dcc9c3da00858628cdbbff">moduleName</a> &lt;&lt; <span class="stringliteral">&quot;)###############\n&quot;</span>;</div>
516
+ <div class="line"><a name="l01071"></a><span class="lineno"> 1071</span>&#160; <a class="code" href="namespaceSVF_1_1SVFUtil.html#aed0b0b9f035057552a6a82154fd88e61">SVFUtil::outs</a>().flags(std::ios::left);</div>
517
+ <div class="line"><a name="l01072"></a><span class="lineno"> 1072</span>&#160; <span class="keywordtype">unsigned</span> field_width = 30;</div>
518
+ <div class="line"><a name="l01073"></a><span class="lineno"> 1073</span>&#160; <span class="keywordflow">for</span> (NUMStatMap::iterator it = <a class="code" href="classSVF_1_1SVFStat.html#a07b6f8cb424b84b468c4518140fa3a41">generalNumMap</a>.begin(), eit = <a class="code" href="classSVF_1_1SVFStat.html#a07b6f8cb424b84b468c4518140fa3a41">generalNumMap</a>.end(); it != eit; ++it)</div>
519
+ <div class="line"><a name="l01074"></a><span class="lineno"> 1074</span>&#160; {</div>
520
+ <div class="line"><a name="l01075"></a><span class="lineno"> 1075</span>&#160; <span class="comment">// format out put with width 20 space</span></div>
521
+ <div class="line"><a name="l01076"></a><span class="lineno"> 1076</span>&#160; std::cout &lt;&lt; std::setw(field_width) &lt;&lt; it-&gt;first &lt;&lt; it-&gt;second &lt;&lt; <span class="stringliteral">&quot;\n&quot;</span>;</div>
522
+ <div class="line"><a name="l01077"></a><span class="lineno"> 1077</span>&#160; }</div>
523
+ <div class="line"><a name="l01078"></a><span class="lineno"> 1078</span>&#160; <a class="code" href="namespaceSVF_1_1SVFUtil.html#aed0b0b9f035057552a6a82154fd88e61">SVFUtil::outs</a>() &lt;&lt; <span class="stringliteral">&quot;-------------------------------------------------------\n&quot;</span>;</div>
524
+ <div class="line"><a name="l01079"></a><span class="lineno"> 1079</span>&#160; <span class="keywordflow">for</span> (TIMEStatMap::iterator it = <a class="code" href="classSVF_1_1SVFStat.html#a5383691a34426a1a997b5eed387f1831">timeStatMap</a>.begin(), eit = <a class="code" href="classSVF_1_1SVFStat.html#a5383691a34426a1a997b5eed387f1831">timeStatMap</a>.end(); it != eit; ++it)</div>
525
+ <div class="line"><a name="l01080"></a><span class="lineno"> 1080</span>&#160; {</div>
526
+ <div class="line"><a name="l01081"></a><span class="lineno"> 1081</span>&#160; <span class="comment">// format out put with width 20 space</span></div>
527
+ <div class="line"><a name="l01082"></a><span class="lineno"> 1082</span>&#160; <a class="code" href="namespaceSVF_1_1SVFUtil.html#aed0b0b9f035057552a6a82154fd88e61">SVFUtil::outs</a>() &lt;&lt; std::setw(field_width) &lt;&lt; it-&gt;first &lt;&lt; it-&gt;second &lt;&lt; <span class="stringliteral">&quot;\n&quot;</span>;</div>
528
+ <div class="line"><a name="l01083"></a><span class="lineno"> 1083</span>&#160; }</div>
529
+ <div class="line"><a name="l01084"></a><span class="lineno"> 1084</span>&#160; <a class="code" href="namespaceSVF_1_1SVFUtil.html#aed0b0b9f035057552a6a82154fd88e61">SVFUtil::outs</a>() &lt;&lt; <span class="stringliteral">&quot;Memory usage: &quot;</span> &lt;&lt; <a class="code" href="classSVF_1_1AEStat.html#a4b1f6388893e6aaef1acd411972cde19">memUsage</a> &lt;&lt; <span class="stringliteral">&quot;\n&quot;</span>;</div>
530
+ <div class="line"><a name="l01085"></a><span class="lineno"> 1085</span>&#160; </div>
531
+ <div class="line"><a name="l01086"></a><span class="lineno"> 1086</span>&#160; <a class="code" href="namespaceSVF_1_1SVFUtil.html#aed0b0b9f035057552a6a82154fd88e61">SVFUtil::outs</a>() &lt;&lt; <span class="stringliteral">&quot;#######################################################&quot;</span> &lt;&lt; std::endl;</div>
532
+ <div class="line"><a name="l01087"></a><span class="lineno"> 1087</span>&#160; <a class="code" href="namespaceSVF_1_1SVFUtil.html#aed0b0b9f035057552a6a82154fd88e61">SVFUtil::outs</a>().flush();</div>
533
+ <div class="line"><a name="l01088"></a><span class="lineno"> 1088</span>&#160;}</div>
538
534
  </div><!-- fragment -->
539
535
  </div>
540
536
  </div>
@@ -553,46 +549,46 @@ Additional Inherited Members</h2></td></tr>
553
549
  </table>
554
550
  </div><div class="memdoc">
555
551
 
556
- <p class="definition">Definition at line <a class="el" href="AbstractExecution_8cpp_source.html#l01089">1089</a> of file <a class="el" href="AbstractExecution_8cpp_source.html">AbstractExecution.cpp</a>.</p>
557
- <div class="fragment"><div class="line"><a name="l01090"></a><span class="lineno"> 1090</span>&#160;{</div>
558
- <div class="line"><a name="l01091"></a><span class="lineno"> 1091</span>&#160; </div>
559
- <div class="line"><a name="l01092"></a><span class="lineno"> 1092</span>&#160; std::ofstream f;</div>
560
- <div class="line"><a name="l01093"></a><span class="lineno"> 1093</span>&#160; <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1Options.html#ad989eab7d521e9933ac8e46e1c29f662">Options::OutputName</a>().size() == 0)</div>
561
- <div class="line"><a name="l01094"></a><span class="lineno"> 1094</span>&#160; {</div>
562
- <div class="line"><a name="l01095"></a><span class="lineno"> 1095</span>&#160; f.open(<span class="stringliteral">&quot;/dev/null&quot;</span>);</div>
563
- <div class="line"><a name="l01096"></a><span class="lineno"> 1096</span>&#160; }</div>
564
- <div class="line"><a name="l01097"></a><span class="lineno"> 1097</span>&#160; <span class="keywordflow">else</span></div>
565
- <div class="line"><a name="l01098"></a><span class="lineno"> 1098</span>&#160; {</div>
566
- <div class="line"><a name="l01099"></a><span class="lineno"> 1099</span>&#160; f.open(<a class="code" href="classSVF_1_1Options.html#ad989eab7d521e9933ac8e46e1c29f662">Options::OutputName</a>());</div>
567
- <div class="line"><a name="l01100"></a><span class="lineno"> 1100</span>&#160; }</div>
568
- <div class="line"><a name="l01101"></a><span class="lineno"> 1101</span>&#160; </div>
569
- <div class="line"><a name="l01102"></a><span class="lineno"> 1102</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#a04e812385041270901af0f2cb599fa96">_nodeToBugInfo</a>.size()) + <span class="stringliteral">&quot; found)######################\n&quot;</span>;</div>
570
- <div class="line"><a name="l01103"></a><span class="lineno"> 1103</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#a04e812385041270901af0f2cb599fa96">_nodeToBugInfo</a>.size()) + <span class="stringliteral">&quot; found)######################\n&quot;</span>;</div>
571
- <div class="line"><a name="l01104"></a><span class="lineno"> 1104</span>&#160; std::cerr &lt;&lt; <span class="stringliteral">&quot;---------------------------------------------\n&quot;</span>;</div>
572
- <div class="line"><a name="l01105"></a><span class="lineno"> 1105</span>&#160; f &lt;&lt; <span class="stringliteral">&quot;---------------------------------------------\n&quot;</span>;</div>
573
- <div class="line"><a name="l01106"></a><span class="lineno"> 1106</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#a04e812385041270901af0f2cb599fa96">_nodeToBugInfo</a>)</div>
574
- <div class="line"><a name="l01107"></a><span class="lineno"> 1107</span>&#160; {</div>
575
- <div class="line"><a name="l01108"></a><span class="lineno"> 1108</span>&#160; std::cerr &lt;&lt; it.second &lt;&lt; <span class="stringliteral">&quot;---------------------------------------------\n&quot;</span>;</div>
576
- <div class="line"><a name="l01109"></a><span class="lineno"> 1109</span>&#160; f &lt;&lt; it.second &lt;&lt; <span class="stringliteral">&quot;---------------------------------------------\n&quot;</span>;</div>
577
- <div class="line"><a name="l01110"></a><span class="lineno"> 1110</span>&#160; }</div>
578
- <div class="line"><a name="l01111"></a><span class="lineno"> 1111</span>&#160;}</div>
552
+ <p class="definition">Definition at line <a class="el" href="AbstractInterpretation_8cpp_source.html#l01090">1090</a> of file <a class="el" href="AbstractInterpretation_8cpp_source.html">AbstractInterpretation.cpp</a>.</p>
553
+ <div class="fragment"><div class="line"><a name="l01091"></a><span class="lineno"> 1091</span>&#160;{</div>
554
+ <div class="line"><a name="l01092"></a><span class="lineno"> 1092</span>&#160; </div>
555
+ <div class="line"><a name="l01093"></a><span class="lineno"> 1093</span>&#160; std::ofstream f;</div>
556
+ <div class="line"><a name="l01094"></a><span class="lineno"> 1094</span>&#160; <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1Options.html#ad989eab7d521e9933ac8e46e1c29f662">Options::OutputName</a>().size() == 0)</div>
557
+ <div class="line"><a name="l01095"></a><span class="lineno"> 1095</span>&#160; {</div>
558
+ <div class="line"><a name="l01096"></a><span class="lineno"> 1096</span>&#160; f.open(<span class="stringliteral">&quot;/dev/null&quot;</span>);</div>
559
+ <div class="line"><a name="l01097"></a><span class="lineno"> 1097</span>&#160; }</div>
560
+ <div class="line"><a name="l01098"></a><span class="lineno"> 1098</span>&#160; <span class="keywordflow">else</span></div>
561
+ <div class="line"><a name="l01099"></a><span class="lineno"> 1099</span>&#160; {</div>
562
+ <div class="line"><a name="l01100"></a><span class="lineno"> 1100</span>&#160; f.open(<a class="code" href="classSVF_1_1Options.html#ad989eab7d521e9933ac8e46e1c29f662">Options::OutputName</a>());</div>
563
+ <div class="line"><a name="l01101"></a><span class="lineno"> 1101</span>&#160; }</div>
564
+ <div class="line"><a name="l01102"></a><span class="lineno"> 1102</span>&#160; </div>
565
+ <div class="line"><a name="l01103"></a><span class="lineno"> 1103</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#aeba2d77291837b9615c4f8b014cacfeb">_ae</a>-&gt;<a class="code" href="classSVF_1_1AbstractInterpretation.html#a09aa739395388f64fcb3d539d58d2041">_nodeToBugInfo</a>.size()) + <span class="stringliteral">&quot; found)######################\n&quot;</span>;</div>
566
+ <div class="line"><a name="l01104"></a><span class="lineno"> 1104</span>&#160; f &lt;&lt; <span class="stringliteral">&quot;######################Full Overflow (&quot;</span> + std::to_string(<a class="code" href="classSVF_1_1AEStat.html#aeba2d77291837b9615c4f8b014cacfeb">_ae</a>-&gt;<a class="code" href="classSVF_1_1AbstractInterpretation.html#a09aa739395388f64fcb3d539d58d2041">_nodeToBugInfo</a>.size()) + <span class="stringliteral">&quot; found)######################\n&quot;</span>;</div>
567
+ <div class="line"><a name="l01105"></a><span class="lineno"> 1105</span>&#160; std::cerr &lt;&lt; <span class="stringliteral">&quot;---------------------------------------------\n&quot;</span>;</div>
568
+ <div class="line"><a name="l01106"></a><span class="lineno"> 1106</span>&#160; f &lt;&lt; <span class="stringliteral">&quot;---------------------------------------------\n&quot;</span>;</div>
569
+ <div class="line"><a name="l01107"></a><span class="lineno"> 1107</span>&#160; <span class="keywordflow">for</span> (<span class="keyword">auto</span>&amp; it: <a class="code" href="classSVF_1_1AEStat.html#aeba2d77291837b9615c4f8b014cacfeb">_ae</a>-&gt;<a class="code" href="classSVF_1_1AbstractInterpretation.html#a09aa739395388f64fcb3d539d58d2041">_nodeToBugInfo</a>)</div>
570
+ <div class="line"><a name="l01108"></a><span class="lineno"> 1108</span>&#160; {</div>
571
+ <div class="line"><a name="l01109"></a><span class="lineno"> 1109</span>&#160; std::cerr &lt;&lt; it.second &lt;&lt; <span class="stringliteral">&quot;---------------------------------------------\n&quot;</span>;</div>
572
+ <div class="line"><a name="l01110"></a><span class="lineno"> 1110</span>&#160; f &lt;&lt; it.second &lt;&lt; <span class="stringliteral">&quot;---------------------------------------------\n&quot;</span>;</div>
573
+ <div class="line"><a name="l01111"></a><span class="lineno"> 1111</span>&#160; }</div>
574
+ <div class="line"><a name="l01112"></a><span class="lineno"> 1112</span>&#160;}</div>
579
575
  </div><!-- fragment -->
580
576
  </div>
581
577
  </div>
582
578
  <h2 class="groupheader">Member Data Documentation</h2>
583
- <a id="adbce526127c9cc83d642cde2a1e77ff7"></a>
584
- <h2 class="memtitle"><span class="permalink"><a href="#adbce526127c9cc83d642cde2a1e77ff7">&#9670;&nbsp;</a></span>_ae</h2>
579
+ <a id="aeba2d77291837b9615c4f8b014cacfeb"></a>
580
+ <h2 class="memtitle"><span class="permalink"><a href="#aeba2d77291837b9615c4f8b014cacfeb">&#9670;&nbsp;</a></span>_ae</h2>
585
581
 
586
582
  <div class="memitem">
587
583
  <div class="memproto">
588
584
  <table class="memname">
589
585
  <tr>
590
- <td class="memname"><a class="el" href="classSVF_1_1AbstractExecution.html">AbstractExecution</a>* SVF::AEStat::_ae</td>
586
+ <td class="memname"><a class="el" href="classSVF_1_1AbstractInterpretation.html">AbstractInterpretation</a>* SVF::AEStat::_ae</td>
591
587
  </tr>
592
588
  </table>
593
589
  </div><div class="memdoc">
594
590
 
595
- <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>
591
+ <p class="definition">Definition at line <a class="el" href="AbstractInterpretation_8h_source.html#l00073">73</a> of file <a class="el" href="AbstractInterpretation_8h_source.html">AbstractInterpretation.h</a>.</p>
596
592
 
597
593
  </div>
598
594
  </div>
@@ -608,7 +604,7 @@ Additional Inherited Members</h2></td></tr>
608
604
  </table>
609
605
  </div><div class="memdoc">
610
606
 
611
- <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>
607
+ <p class="definition">Definition at line <a class="el" href="AbstractInterpretation_8h_source.html#l00077">77</a> of file <a class="el" href="AbstractInterpretation_8h_source.html">AbstractInterpretation.h</a>.</p>
612
608
 
613
609
  </div>
614
610
  </div>
@@ -624,7 +620,7 @@ Additional Inherited Members</h2></td></tr>
624
620
  </table>
625
621
  </div><div class="memdoc">
626
622
 
627
- <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>
623
+ <p class="definition">Definition at line <a class="el" href="AbstractInterpretation_8h_source.html#l00074">74</a> of file <a class="el" href="AbstractInterpretation_8h_source.html">AbstractInterpretation.h</a>.</p>
628
624
 
629
625
  </div>
630
626
  </div>
@@ -640,7 +636,7 @@ Additional Inherited Members</h2></td></tr>
640
636
  </table>
641
637
  </div><div class="memdoc">
642
638
 
643
- <p class="definition">Definition at line <a class="el" href="AbstractExecution_8h_source.html#l00077">77</a> of file <a class="el" href="AbstractExecution_8h_source.html">AbstractExecution.h</a>.</p>
639
+ <p class="definition">Definition at line <a class="el" href="AbstractInterpretation_8h_source.html#l00075">75</a> of file <a class="el" href="AbstractInterpretation_8h_source.html">AbstractInterpretation.h</a>.</p>
644
640
 
645
641
  </div>
646
642
  </div>
@@ -656,47 +652,45 @@ Additional Inherited Members</h2></td></tr>
656
652
  </table>
657
653
  </div><div class="memdoc">
658
654
 
659
- <p class="definition">Definition at line <a class="el" href="AbstractExecution_8h_source.html#l00078">78</a> of file <a class="el" href="AbstractExecution_8h_source.html">AbstractExecution.h</a>.</p>
655
+ <p class="definition">Definition at line <a class="el" href="AbstractInterpretation_8h_source.html#l00076">76</a> of file <a class="el" href="AbstractInterpretation_8h_source.html">AbstractInterpretation.h</a>.</p>
660
656
 
661
657
  </div>
662
658
  </div>
663
659
  <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="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>
660
+ <li>/home/runner/work/SVF/SVF/svf/include/AE/Svfexe/<a class="el" href="AbstractInterpretation_8h_source.html">AbstractInterpretation.h</a></li>
661
+ <li>/home/runner/work/SVF/SVF/svf/lib/AE/Svfexe/<a class="el" href="AbstractInterpretation_8cpp_source.html">AbstractInterpretation.cpp</a></li>
666
662
  </ul>
667
663
  </div><!-- contents -->
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>
664
+ <div class="ttc" id="aclassSVF_1_1AbstractInterpretation_html_afefc0098ecd9bc01ce270a4a6f251b0c"><div class="ttname"><a href="classSVF_1_1AbstractInterpretation.html#afefc0098ecd9bc01ce270a4a6f251b0c">SVF::AbstractInterpretation::_moduleName</a></div><div class="ttdeci">std::string _moduleName</div><div class="ttdef"><b>Definition:</b> <a href="AbstractInterpretation_8h_source.html#l00390">AbstractInterpretation.h:390</a></div></div>
665
+ <div class="ttc" id="aclassSVF_1_1AbstractState_html_ab409b0084c202ddf437b45873d6992c6"><div class="ttname"><a href="classSVF_1_1AbstractState.html#ab409b0084c202ddf437b45873d6992c6">SVF::AbstractState::getLocToVal</a></div><div class="ttdeci">const LocToAbsValMap &amp; getLocToVal() const</div><div class="ttdoc">get loc2val map</div><div class="ttdef"><b>Definition:</b> <a href="AbstractState_8h_source.html#l00244">AbstractState.h:244</a></div></div>
669
666
  <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>
667
+ <div class="ttc" id="aclassSVF_1_1SparseAbstractState_html_a1683fd7da77812137b839b8c417200fe"><div class="ttname"><a href="classSVF_1_1SparseAbstractState.html#a1683fd7da77812137b839b8c417200fe">SVF::SparseAbstractState::globalES</a></div><div class="ttdeci">static SparseAbstractState globalES</div><div class="ttdef"><b>Definition:</b> <a href="AbstractState_8h_source.html#l00445">AbstractState.h:445</a></div></div>
670
668
  <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>
671
669
  <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#l00096">GeneralType.h:96</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#l00078">AbstractExecution.h:78</a></div></div>
670
+ <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="AbstractInterpretation_8h_source.html#l00076">AbstractInterpretation.h:76</a></div></div>
673
671
  <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>
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#l00076">AbstractExecution.h:76</a></div></div>
675
- <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>
672
+ <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="AbstractInterpretation_8h_source.html#l00074">AbstractInterpretation.h:74</a></div></div>
673
+ <div class="ttc" id="aclassSVF_1_1AbstractInterpretation_html_af78f068a373ebb6a2f14dcde980a9dae"><div class="ttname"><a href="classSVF_1_1AbstractInterpretation.html#af78f068a373ebb6a2f14dcde980a9dae">SVF::AbstractInterpretation::_svfir2ExeState</a></div><div class="ttdeci">SVFIR2AbsState * _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="AbstractInterpretation_8h_source.html#l00345">AbstractInterpretation.h:345</a></div></div>
676
674
  <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>
675
+ <div class="ttc" id="aclassSVF_1_1AbstractInterpretation_html_a09aa739395388f64fcb3d539d58d2041"><div class="ttname"><a href="classSVF_1_1AbstractInterpretation.html#a09aa739395388f64fcb3d539d58d2041">SVF::AbstractInterpretation::_nodeToBugInfo</a></div><div class="ttdeci">Map&lt; const ICFGNode *, std::string &gt; _nodeToBugInfo</div><div class="ttdef"><b>Definition:</b> <a href="AbstractInterpretation_8h_source.html#l00355">AbstractInterpretation.h:355</a></div></div>
676
+ <div class="ttc" id="aclassSVF_1_1AbstractInterpretation_html_a618fc324a6c205d7e1b471bd850377a9"><div class="ttname"><a href="classSVF_1_1AbstractInterpretation.html#a618fc324a6c205d7e1b471bd850377a9">SVF::AbstractInterpretation::_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="AbstractInterpretation_8h_source.html#l00342">AbstractInterpretation.h:342</a></div></div>
677
677
  <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>
678
+ <div class="ttc" id="aclassSVF_1_1AEStat_html_aeba2d77291837b9615c4f8b014cacfeb"><div class="ttname"><a href="classSVF_1_1AEStat.html#aeba2d77291837b9615c4f8b014cacfeb">SVF::AEStat::_ae</a></div><div class="ttdeci">AbstractInterpretation * _ae</div><div class="ttdef"><b>Definition:</b> <a href="AbstractInterpretation_8h_source.html#l00073">AbstractInterpretation.h:73</a></div></div>
678
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>
679
680
  <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>
680
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>
681
- <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>
682
682
  <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>
683
- <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>
683
+ <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="AbstractInterpretation_8h_source.html#l00062">AbstractInterpretation.h:62</a></div></div>
684
684
  <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>
685
- <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>
686
685
  <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>
687
686
  <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>
688
687
  <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>
689
- <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>
688
+ <div class="ttc" id="aclassSVF_1_1AbstractState_html_a4e4525823fd31c718216c698ed6e0a06"><div class="ttname"><a href="classSVF_1_1AbstractState.html#a4e4525823fd31c718216c698ed6e0a06">SVF::AbstractState::getVarToVal</a></div><div class="ttdeci">const VarToAbsValMap &amp; getVarToVal() const</div><div class="ttdoc">get var2val map</div><div class="ttdef"><b>Definition:</b> <a href="AbstractState_8h_source.html#l00238">AbstractState.h:238</a></div></div>
689
+ <div class="ttc" id="aclassSVF_1_1SVFIR2AbsState_html_a260c4ccfd79a2b9dbd580fa2030ac238"><div class="ttname"><a href="classSVF_1_1SVFIR2AbsState.html#a260c4ccfd79a2b9dbd580fa2030ac238">SVF::SVFIR2AbsState::getEs</a></div><div class="ttdeci">SparseAbstractState &amp; getEs()</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR2AbsState_8h_source.html#l00054">SVFIR2AbsState.h:54</a></div></div>
690
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#l00341">AbstractExecution.h:341</a></div></div>
692
691
  <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>
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>
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#l00057">SVFIR2ItvExeState.h:57</a></div></div>
695
692
  <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>
696
693
  <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#l00389">AbstractExecution.h:389</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#l00075">AbstractExecution.h:75</a></div></div>
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
694
  <!-- start footer part -->
701
695
  <hr class="footer"/><address class="footer"><small>
702
696
  Generated by &#160;<a href="http://www.doxygen.org/index.html">