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/AbstractState_8cpp_source.html ADDED
@@ -0,0 +1,461 @@
1
+ <!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "https://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
2
+ <html xmlns="http://www.w3.org/1999/xhtml">
3
+ <head>
4
+ <meta http-equiv="Content-Type" content="text/xhtml;charset=UTF-8"/>
5
+ <meta http-equiv="X-UA-Compatible" content="IE=9"/>
6
+ <meta name="generator" content="Doxygen 1.8.17"/>
7
+ <meta name="viewport" content="width=device-width, initial-scale=1"/>
8
+ <title>Static Value-Flow Analysis: /home/runner/work/SVF/SVF/svf/lib/AE/Core/AbstractState.cpp Source File</title>
9
+ <link href="tabs.css" rel="stylesheet" type="text/css"/>
10
+ <script type="text/javascript" src="jquery.js"></script>
11
+ <script type="text/javascript" src="dynsections.js"></script>
12
+ <link href="search/search.css" rel="stylesheet" type="text/css"/>
13
+ <script type="text/javascript" src="search/searchdata.js"></script>
14
+ <script type="text/javascript" src="search/search.js"></script>
15
+ <link href="doxygen.css" rel="stylesheet" type="text/css" />
16
+ </head>
17
+ <body>
18
+ <div id="top"><!-- do not remove this div, it is closed by doxygen! -->
19
+ <div id="titlearea">
20
+ <table cellspacing="0" cellpadding="0">
21
+ <tbody>
22
+ <tr style="height: 56px;">
23
+ <td id="projectalign" style="padding-left: 0.5em;">
24
+ <div id="projectname">Static Value-Flow Analysis
25
+ </div>
26
+ </td>
27
+ </tr>
28
+ </tbody>
29
+ </table>
30
+ </div>
31
+ <!-- end header part -->
32
+ <!-- Generated by Doxygen 1.8.17 -->
33
+ <script type="text/javascript">
34
+ /* @license magnet:?xt=urn:btih:cf05388f2679ee054f2beb29a391d25f4e673ac3&amp;dn=gpl-2.0.txt GPL-v2 */
35
+ var searchBox = new SearchBox("searchBox", "search",false,'Search');
36
+ /* @license-end */
37
+ </script>
38
+ <script type="text/javascript" src="menudata.js"></script>
39
+ <script type="text/javascript" src="menu.js"></script>
40
+ <script type="text/javascript">
41
+ /* @license magnet:?xt=urn:btih:cf05388f2679ee054f2beb29a391d25f4e673ac3&amp;dn=gpl-2.0.txt GPL-v2 */
42
+ $(function() {
43
+ initMenu('',true,false,'search.php','Search');
44
+ $(document).ready(function() { init_search(); });
45
+ });
46
+ /* @license-end */</script>
47
+ <div id="main-nav"></div>
48
+ <!-- window showing the filter options -->
49
+ <div id="MSearchSelectWindow"
50
+ onmouseover="return searchBox.OnSearchSelectShow()"
51
+ onmouseout="return searchBox.OnSearchSelectHide()"
52
+ onkeydown="return searchBox.OnSearchSelectKey(event)">
53
+ </div>
54
+
55
+ <!-- iframe showing the search results (closed by default) -->
56
+ <div id="MSearchResultsWindow">
57
+ <iframe src="javascript:void(0)" frameborder="0"
58
+ name="MSearchResults" id="MSearchResults">
59
+ </iframe>
60
+ </div>
61
+
62
+ <div id="nav-path" class="navpath">
63
+ <ul>
64
+ <li class="navelem"><a class="el" href="dir_f984cfbe93434e3daf67f2a9bd6d521f.html">svf</a></li><li class="navelem"><a class="el" href="dir_946e55d8e7afdb1629c1e1d7cdc5486a.html">lib</a></li><li class="navelem"><a class="el" href="dir_7e02b97230e2801c6749b0b00985526f.html">AE</a></li><li class="navelem"><a class="el" href="dir_9a8e7a56f4029a0d9f62b1c6d1f6e85b.html">Core</a></li> </ul>
65
+ </div>
66
+ </div><!-- top -->
67
+ <div class="header">
68
+ <div class="headertitle">
69
+ <div class="title">AbstractState.cpp</div> </div>
70
+ </div><!--header-->
71
+ <div class="contents">
72
+ <a href="AbstractState_8cpp.html">Go to the documentation of this file.</a><div class="fragment"><div class="line"><a name="l00001"></a><span class="lineno"> 1</span>&#160;<span class="comment">//===- IntervalExeState.cpp----Interval Domain-------------------------//</span></div>
73
+ <div class="line"><a name="l00002"></a><span class="lineno"> 2</span>&#160;<span class="comment">//</span></div>
74
+ <div class="line"><a name="l00003"></a><span class="lineno"> 3</span>&#160;<span class="comment">// SVF: Static Value-Flow Analysis</span></div>
75
+ <div class="line"><a name="l00004"></a><span class="lineno"> 4</span>&#160;<span class="comment">//</span></div>
76
+ <div class="line"><a name="l00005"></a><span class="lineno"> 5</span>&#160;<span class="comment">// Copyright (C) &lt;2013-2022&gt; &lt;Yulei Sui&gt;</span></div>
77
+ <div class="line"><a name="l00006"></a><span class="lineno"> 6</span>&#160;<span class="comment">//</span></div>
78
+ <div class="line"><a name="l00007"></a><span class="lineno"> 7</span>&#160; </div>
79
+ <div class="line"><a name="l00008"></a><span class="lineno"> 8</span>&#160;<span class="comment">// This program is free software: you can redistribute it and/or modify</span></div>
80
+ <div class="line"><a name="l00009"></a><span class="lineno"> 9</span>&#160;<span class="comment">// it under the terms of the GNU Affero General Public License as published by</span></div>
81
+ <div class="line"><a name="l00010"></a><span class="lineno"> 10</span>&#160;<span class="comment">// the Free Software Foundation, either version 3 of the License, or</span></div>
82
+ <div class="line"><a name="l00011"></a><span class="lineno"> 11</span>&#160;<span class="comment">// (at your option) any later version.</span></div>
83
+ <div class="line"><a name="l00012"></a><span class="lineno"> 12</span>&#160; </div>
84
+ <div class="line"><a name="l00013"></a><span class="lineno"> 13</span>&#160;<span class="comment">// This program is distributed in the hope that it will be useful,</span></div>
85
+ <div class="line"><a name="l00014"></a><span class="lineno"> 14</span>&#160;<span class="comment">// but WITHOUT ANY WARRANTY; without even the implied warranty of</span></div>
86
+ <div class="line"><a name="l00015"></a><span class="lineno"> 15</span>&#160;<span class="comment">// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the</span></div>
87
+ <div class="line"><a name="l00016"></a><span class="lineno"> 16</span>&#160;<span class="comment">// GNU Affero General Public License for more details.</span></div>
88
+ <div class="line"><a name="l00017"></a><span class="lineno"> 17</span>&#160; </div>
89
+ <div class="line"><a name="l00018"></a><span class="lineno"> 18</span>&#160;<span class="comment">// You should have received a copy of the GNU Affero General Public License</span></div>
90
+ <div class="line"><a name="l00019"></a><span class="lineno"> 19</span>&#160;<span class="comment">// along with this program. If not, see &lt;http://www.gnu.org/licenses/&gt;.</span></div>
91
+ <div class="line"><a name="l00020"></a><span class="lineno"> 20</span>&#160;<span class="comment">//</span></div>
92
+ <div class="line"><a name="l00021"></a><span class="lineno"> 21</span>&#160;<span class="comment">//===----------------------------------------------------------------------===//</span></div>
93
+ <div class="line"><a name="l00022"></a><span class="lineno"> 22</span>&#160;<span class="comment">/*</span></div>
94
+ <div class="line"><a name="l00023"></a><span class="lineno"> 23</span>&#160;<span class="comment"> * AbstractExeState.cpp</span></div>
95
+ <div class="line"><a name="l00024"></a><span class="lineno"> 24</span>&#160;<span class="comment"> *</span></div>
96
+ <div class="line"><a name="l00025"></a><span class="lineno"> 25</span>&#160;<span class="comment"> * Created on: Jul 9, 2022</span></div>
97
+ <div class="line"><a name="l00026"></a><span class="lineno"> 26</span>&#160;<span class="comment"> * Author: Xiao Cheng, Jiawei Wang</span></div>
98
+ <div class="line"><a name="l00027"></a><span class="lineno"> 27</span>&#160;<span class="comment"> *</span></div>
99
+ <div class="line"><a name="l00028"></a><span class="lineno"> 28</span>&#160;<span class="comment"> */</span></div>
100
+ <div class="line"><a name="l00029"></a><span class="lineno"> 29</span>&#160; </div>
101
+ <div class="line"><a name="l00030"></a><span class="lineno"> 30</span>&#160;<span class="preprocessor">#include &quot;<a class="code" href="AbstractState_8h.html">AE/Core/AbstractState.h</a>&quot;</span></div>
102
+ <div class="line"><a name="l00031"></a><span class="lineno"> 31</span>&#160;<span class="preprocessor">#include &quot;<a class="code" href="SVFUtil_8h.html">Util/SVFUtil.h</a>&quot;</span></div>
103
+ <div class="line"><a name="l00032"></a><span class="lineno"> 32</span>&#160; </div>
104
+ <div class="line"><a name="l00033"></a><span class="lineno"> 33</span>&#160;<span class="keyword">using namespace </span><a class="code" href="namespaceSVF.html">SVF</a>;</div>
105
+ <div class="line"><a name="l00034"></a><span class="lineno"> 34</span>&#160;<span class="keyword">using namespace </span>SVFUtil;</div>
106
+ <div class="line"><a name="l00035"></a><span class="lineno"> 35</span>&#160; </div>
107
+ <div class="line"><a name="l00036"></a><span class="lineno"><a class="line" href="classSVF_1_1AbstractState.html#a65131e4b96d21984c6907ac4fb32e973"> 36</a></span>&#160;<span class="keywordtype">bool</span> <a class="code" href="classSVF_1_1AbstractState.html#a65131e4b96d21984c6907ac4fb32e973">AbstractState::equals</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1AbstractState.html">AbstractState</a>&amp;other)<span class="keyword"> const</span></div>
108
+ <div class="line"><a name="l00037"></a><span class="lineno"> 37</span>&#160;<span class="keyword"></span>{</div>
109
+ <div class="line"><a name="l00038"></a><span class="lineno"> 38</span>&#160; <span class="keywordflow">return</span> *<span class="keyword">this</span> == other;</div>
110
+ <div class="line"><a name="l00039"></a><span class="lineno"> 39</span>&#160;}</div>
111
+ <div class="line"><a name="l00040"></a><span class="lineno"> 40</span>&#160; </div>
112
+ <div class="line"><a name="l00041"></a><span class="lineno"><a class="line" href="classSVF_1_1AbstractState.html#a38608261ed9a3f7b25cd68748456924b"> 41</a></span>&#160;<a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> <a class="code" href="classSVF_1_1AbstractState.html#a38608261ed9a3f7b25cd68748456924b">AbstractState::hash</a>()<span class="keyword"> const</span></div>
113
+ <div class="line"><a name="l00042"></a><span class="lineno"> 42</span>&#160;<span class="keyword"></span>{</div>
114
+ <div class="line"><a name="l00043"></a><span class="lineno"> 43</span>&#160; <span class="keywordtype">size_t</span> h = getVarToVal().size() * 2;</div>
115
+ <div class="line"><a name="l00044"></a><span class="lineno"> 44</span>&#160; <a class="code" href="structSVF_1_1Hash.html">Hash&lt;u32_t&gt;</a> hf;</div>
116
+ <div class="line"><a name="l00045"></a><span class="lineno"> 45</span>&#160; <span class="keywordflow">for</span> (<span class="keyword">const</span> <span class="keyword">auto</span> &amp;t: getVarToVal())</div>
117
+ <div class="line"><a name="l00046"></a><span class="lineno"> 46</span>&#160; {</div>
118
+ <div class="line"><a name="l00047"></a><span class="lineno"> 47</span>&#160; h ^= hf(t.first) + 0x9e3779b9 + (h &lt;&lt; 6) + (h &gt;&gt; 2);</div>
119
+ <div class="line"><a name="l00048"></a><span class="lineno"> 48</span>&#160; }</div>
120
+ <div class="line"><a name="l00049"></a><span class="lineno"> 49</span>&#160; <span class="keywordtype">size_t</span> h2 = getLocToVal().size() * 2;</div>
121
+ <div class="line"><a name="l00050"></a><span class="lineno"> 50</span>&#160; <span class="keywordflow">for</span> (<span class="keyword">const</span> <span class="keyword">auto</span> &amp;t: getLocToVal())</div>
122
+ <div class="line"><a name="l00051"></a><span class="lineno"> 51</span>&#160; {</div>
123
+ <div class="line"><a name="l00052"></a><span class="lineno"> 52</span>&#160; h2 ^= hf(t.first) + 0x9e3779b9 + (h2 &lt;&lt; 6) + (h2 &gt;&gt; 2);</div>
124
+ <div class="line"><a name="l00053"></a><span class="lineno"> 53</span>&#160; }</div>
125
+ <div class="line"><a name="l00054"></a><span class="lineno"> 54</span>&#160; <a class="code" href="structSVF_1_1Hash.html">Hash&lt;std::pair&lt;u32_t, u32_t&gt;</a>&gt; pairH;</div>
126
+ <div class="line"><a name="l00055"></a><span class="lineno"> 55</span>&#160; <span class="keywordflow">return</span> pairH({h, h2});</div>
127
+ <div class="line"><a name="l00056"></a><span class="lineno"> 56</span>&#160;}</div>
128
+ <div class="line"><a name="l00057"></a><span class="lineno"> 57</span>&#160; </div>
129
+ <div class="line"><a name="l00058"></a><span class="lineno"><a class="line" href="classSVF_1_1AbstractState.html#afd37c4419cfc79b6765fa243fcbea573"> 58</a></span>&#160;<a class="code" href="classSVF_1_1AbstractState.html">AbstractState</a> <a class="code" href="classSVF_1_1AbstractState.html#afd37c4419cfc79b6765fa243fcbea573">AbstractState::widening</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1AbstractState.html">AbstractState</a>&amp; other)</div>
130
+ <div class="line"><a name="l00059"></a><span class="lineno"> 59</span>&#160;{</div>
131
+ <div class="line"><a name="l00060"></a><span class="lineno"> 60</span>&#160; <span class="comment">// widen interval</span></div>
132
+ <div class="line"><a name="l00061"></a><span class="lineno"> 61</span>&#160; <a class="code" href="classSVF_1_1AbstractState.html">AbstractState</a> es = *<span class="keyword">this</span>;</div>
133
+ <div class="line"><a name="l00062"></a><span class="lineno"> 62</span>&#160; <span class="keywordflow">for</span> (<span class="keyword">auto</span> it = es.<a class="code" href="classSVF_1_1AbstractState.html#a6a49c75fb6b35159dcf1763b4484d335">_varToAbsVal</a>.begin(); it != es.<a class="code" href="classSVF_1_1AbstractState.html#a6a49c75fb6b35159dcf1763b4484d335">_varToAbsVal</a>.end(); ++it)</div>
134
+ <div class="line"><a name="l00063"></a><span class="lineno"> 63</span>&#160; {</div>
135
+ <div class="line"><a name="l00064"></a><span class="lineno"> 64</span>&#160; <span class="keyword">auto</span> key = it-&gt;first;</div>
136
+ <div class="line"><a name="l00065"></a><span class="lineno"> 65</span>&#160; <span class="keywordflow">if</span> (other.<a class="code" href="classSVF_1_1AbstractState.html#a6a49c75fb6b35159dcf1763b4484d335">_varToAbsVal</a>.find(key) != other.<a class="code" href="classSVF_1_1AbstractState.html#a6a49c75fb6b35159dcf1763b4484d335">_varToAbsVal</a>.end())</div>
137
+ <div class="line"><a name="l00066"></a><span class="lineno"> 66</span>&#160; {</div>
138
+ <div class="line"><a name="l00067"></a><span class="lineno"> 67</span>&#160; <span class="keywordflow">if</span> (it-&gt;second.isInterval())</div>
139
+ <div class="line"><a name="l00068"></a><span class="lineno"> 68</span>&#160; it-&gt;second.getInterval().widen_with(other.<a class="code" href="classSVF_1_1AbstractState.html#a6a49c75fb6b35159dcf1763b4484d335">_varToAbsVal</a>.at(key).getInterval());</div>
140
+ <div class="line"><a name="l00069"></a><span class="lineno"> 69</span>&#160; }</div>
141
+ <div class="line"><a name="l00070"></a><span class="lineno"> 70</span>&#160; }</div>
142
+ <div class="line"><a name="l00071"></a><span class="lineno"> 71</span>&#160; <span class="keywordflow">for</span> (<span class="keyword">auto</span> it = es.<a class="code" href="classSVF_1_1AbstractState.html#aade30bb08f86b3f74e7aa9cdc60c92a3">_locToAbsVal</a>.begin(); it != es.<a class="code" href="classSVF_1_1AbstractState.html#aade30bb08f86b3f74e7aa9cdc60c92a3">_locToAbsVal</a>.end(); ++it)</div>
143
+ <div class="line"><a name="l00072"></a><span class="lineno"> 72</span>&#160; {</div>
144
+ <div class="line"><a name="l00073"></a><span class="lineno"> 73</span>&#160; <span class="keyword">auto</span> key = it-&gt;first;</div>
145
+ <div class="line"><a name="l00074"></a><span class="lineno"> 74</span>&#160; <span class="keywordflow">if</span> (other.<a class="code" href="classSVF_1_1AbstractState.html#aade30bb08f86b3f74e7aa9cdc60c92a3">_locToAbsVal</a>.find(key) != other.<a class="code" href="classSVF_1_1AbstractState.html#aade30bb08f86b3f74e7aa9cdc60c92a3">_locToAbsVal</a>.end())</div>
146
+ <div class="line"><a name="l00075"></a><span class="lineno"> 75</span>&#160; <span class="keywordflow">if</span> (it-&gt;second.isInterval())</div>
147
+ <div class="line"><a name="l00076"></a><span class="lineno"> 76</span>&#160; it-&gt;second.getInterval().widen_with(other.<a class="code" href="classSVF_1_1AbstractState.html#aade30bb08f86b3f74e7aa9cdc60c92a3">_locToAbsVal</a>.at(key).getInterval());</div>
148
+ <div class="line"><a name="l00077"></a><span class="lineno"> 77</span>&#160; }</div>
149
+ <div class="line"><a name="l00078"></a><span class="lineno"> 78</span>&#160; <span class="keywordflow">return</span> es;</div>
150
+ <div class="line"><a name="l00079"></a><span class="lineno"> 79</span>&#160;}</div>
151
+ <div class="line"><a name="l00080"></a><span class="lineno"> 80</span>&#160; </div>
152
+ <div class="line"><a name="l00081"></a><span class="lineno"><a class="line" href="classSVF_1_1AbstractState.html#aa9f048614c0bdbe5e8562bfcc6288a97"> 81</a></span>&#160;<a class="code" href="classSVF_1_1AbstractState.html">AbstractState</a> <a class="code" href="classSVF_1_1AbstractState.html#aa9f048614c0bdbe5e8562bfcc6288a97">AbstractState::narrowing</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1AbstractState.html">AbstractState</a>&amp; other)</div>
153
+ <div class="line"><a name="l00082"></a><span class="lineno"> 82</span>&#160;{</div>
154
+ <div class="line"><a name="l00083"></a><span class="lineno"> 83</span>&#160; <a class="code" href="classSVF_1_1AbstractState.html">AbstractState</a> es = *<span class="keyword">this</span>;</div>
155
+ <div class="line"><a name="l00084"></a><span class="lineno"> 84</span>&#160; <span class="keywordflow">for</span> (<span class="keyword">auto</span> it = es.<a class="code" href="classSVF_1_1AbstractState.html#a6a49c75fb6b35159dcf1763b4484d335">_varToAbsVal</a>.begin(); it != es.<a class="code" href="classSVF_1_1AbstractState.html#a6a49c75fb6b35159dcf1763b4484d335">_varToAbsVal</a>.end(); ++it)</div>
156
+ <div class="line"><a name="l00085"></a><span class="lineno"> 85</span>&#160; {</div>
157
+ <div class="line"><a name="l00086"></a><span class="lineno"> 86</span>&#160; <span class="keyword">auto</span> key = it-&gt;first;</div>
158
+ <div class="line"><a name="l00087"></a><span class="lineno"> 87</span>&#160; <span class="keywordflow">if</span> (other.<a class="code" href="classSVF_1_1AbstractState.html#a6a49c75fb6b35159dcf1763b4484d335">_varToAbsVal</a>.find(key) != other.<a class="code" href="classSVF_1_1AbstractState.html#a6a49c75fb6b35159dcf1763b4484d335">_varToAbsVal</a>.end())</div>
159
+ <div class="line"><a name="l00088"></a><span class="lineno"> 88</span>&#160; it-&gt;second.getInterval().narrow_with(other.<a class="code" href="classSVF_1_1AbstractState.html#a6a49c75fb6b35159dcf1763b4484d335">_varToAbsVal</a>.at(key).getInterval());</div>
160
+ <div class="line"><a name="l00089"></a><span class="lineno"> 89</span>&#160; }</div>
161
+ <div class="line"><a name="l00090"></a><span class="lineno"> 90</span>&#160; <span class="keywordflow">for</span> (<span class="keyword">auto</span> it = es.<a class="code" href="classSVF_1_1AbstractState.html#aade30bb08f86b3f74e7aa9cdc60c92a3">_locToAbsVal</a>.begin(); it != es.<a class="code" href="classSVF_1_1AbstractState.html#aade30bb08f86b3f74e7aa9cdc60c92a3">_locToAbsVal</a>.end(); ++it)</div>
162
+ <div class="line"><a name="l00091"></a><span class="lineno"> 91</span>&#160; {</div>
163
+ <div class="line"><a name="l00092"></a><span class="lineno"> 92</span>&#160; <span class="keyword">auto</span> key = it-&gt;first;</div>
164
+ <div class="line"><a name="l00093"></a><span class="lineno"> 93</span>&#160; <span class="keywordflow">if</span> (other.<a class="code" href="classSVF_1_1AbstractState.html#aade30bb08f86b3f74e7aa9cdc60c92a3">_locToAbsVal</a>.find(key) != other.<a class="code" href="classSVF_1_1AbstractState.html#aade30bb08f86b3f74e7aa9cdc60c92a3">_locToAbsVal</a>.end())</div>
165
+ <div class="line"><a name="l00094"></a><span class="lineno"> 94</span>&#160; it-&gt;second.getInterval().narrow_with(other.<a class="code" href="classSVF_1_1AbstractState.html#aade30bb08f86b3f74e7aa9cdc60c92a3">_locToAbsVal</a>.at(key).getInterval());</div>
166
+ <div class="line"><a name="l00095"></a><span class="lineno"> 95</span>&#160; }</div>
167
+ <div class="line"><a name="l00096"></a><span class="lineno"> 96</span>&#160; <span class="keywordflow">return</span> es;</div>
168
+ <div class="line"><a name="l00097"></a><span class="lineno"> 97</span>&#160; </div>
169
+ <div class="line"><a name="l00098"></a><span class="lineno"> 98</span>&#160;}</div>
170
+ <div class="line"><a name="l00099"></a><span class="lineno"> 99</span>&#160; </div>
171
+ <div class="line"><a name="l00101"></a><span class="lineno"><a class="line" href="classSVF_1_1AbstractState.html#a8d2a6e895d17181324cdeb9e2cf8f1de"> 101</a></span>&#160;<span class="keywordtype">void</span> <a class="code" href="classSVF_1_1AbstractState.html#a8d2a6e895d17181324cdeb9e2cf8f1de">AbstractState::widenWith</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1AbstractState.html">AbstractState</a>&amp; other)</div>
172
+ <div class="line"><a name="l00102"></a><span class="lineno"> 102</span>&#160;{</div>
173
+ <div class="line"><a name="l00103"></a><span class="lineno"> 103</span>&#160; <span class="keywordflow">for</span> (<span class="keyword">auto</span> it = _varToAbsVal.begin(); it != _varToAbsVal.end(); ++it)</div>
174
+ <div class="line"><a name="l00104"></a><span class="lineno"> 104</span>&#160; {</div>
175
+ <div class="line"><a name="l00105"></a><span class="lineno"> 105</span>&#160; <span class="keyword">auto</span> key = it-&gt;first;</div>
176
+ <div class="line"><a name="l00106"></a><span class="lineno"> 106</span>&#160; <span class="keywordflow">if</span> (other.<a class="code" href="classSVF_1_1AbstractState.html#a4e4525823fd31c718216c698ed6e0a06">getVarToVal</a>().find(key) != other.<a class="code" href="classSVF_1_1AbstractState.html#a4e4525823fd31c718216c698ed6e0a06">getVarToVal</a>().end())</div>
177
+ <div class="line"><a name="l00107"></a><span class="lineno"> 107</span>&#160; <span class="keywordflow">if</span> (it-&gt;second.isInterval() &amp;&amp; other.<a class="code" href="classSVF_1_1AbstractState.html#a6a49c75fb6b35159dcf1763b4484d335">_varToAbsVal</a>.at(key).isInterval())</div>
178
+ <div class="line"><a name="l00108"></a><span class="lineno"> 108</span>&#160; it-&gt;second.getInterval().widen_with(other.<a class="code" href="classSVF_1_1AbstractState.html#a6a49c75fb6b35159dcf1763b4484d335">_varToAbsVal</a>.at(key).getInterval());</div>
179
+ <div class="line"><a name="l00109"></a><span class="lineno"> 109</span>&#160; }</div>
180
+ <div class="line"><a name="l00110"></a><span class="lineno"> 110</span>&#160; <span class="keywordflow">for</span> (<span class="keyword">auto</span> it = _locToAbsVal.begin(); it != _locToAbsVal.end(); ++it)</div>
181
+ <div class="line"><a name="l00111"></a><span class="lineno"> 111</span>&#160; {</div>
182
+ <div class="line"><a name="l00112"></a><span class="lineno"> 112</span>&#160; <span class="keyword">auto</span> key = it-&gt;first;</div>
183
+ <div class="line"><a name="l00113"></a><span class="lineno"> 113</span>&#160; <span class="keywordflow">if</span> (other.<a class="code" href="classSVF_1_1AbstractState.html#aade30bb08f86b3f74e7aa9cdc60c92a3">_locToAbsVal</a>.find(key) != other.<a class="code" href="classSVF_1_1AbstractState.html#aade30bb08f86b3f74e7aa9cdc60c92a3">_locToAbsVal</a>.end())</div>
184
+ <div class="line"><a name="l00114"></a><span class="lineno"> 114</span>&#160; <span class="keywordflow">if</span> (it-&gt;second.isInterval() &amp;&amp; other.<a class="code" href="classSVF_1_1AbstractState.html#a6a49c75fb6b35159dcf1763b4484d335">_varToAbsVal</a>.at(key).isInterval())</div>
185
+ <div class="line"><a name="l00115"></a><span class="lineno"> 115</span>&#160; it-&gt;second.getInterval().widen_with(other.<a class="code" href="classSVF_1_1AbstractState.html#aade30bb08f86b3f74e7aa9cdc60c92a3">_locToAbsVal</a>.at(key).getInterval());</div>
186
+ <div class="line"><a name="l00116"></a><span class="lineno"> 116</span>&#160; }</div>
187
+ <div class="line"><a name="l00117"></a><span class="lineno"> 117</span>&#160;}</div>
188
+ <div class="line"><a name="l00118"></a><span class="lineno"> 118</span>&#160; </div>
189
+ <div class="line"><a name="l00120"></a><span class="lineno"><a class="line" href="classSVF_1_1AbstractState.html#a413cb1d009e2a080960bb2432e193d0c"> 120</a></span>&#160;<span class="keywordtype">void</span> <a class="code" href="classSVF_1_1AbstractState.html#a413cb1d009e2a080960bb2432e193d0c">AbstractState::joinWith</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1AbstractState.html">AbstractState</a>&amp; other)</div>
190
+ <div class="line"><a name="l00121"></a><span class="lineno"> 121</span>&#160;{</div>
191
+ <div class="line"><a name="l00122"></a><span class="lineno"> 122</span>&#160; <span class="keywordflow">for</span> (<span class="keyword">auto</span> it = other.<a class="code" href="classSVF_1_1AbstractState.html#a6a49c75fb6b35159dcf1763b4484d335">_varToAbsVal</a>.begin(); it != other.<a class="code" href="classSVF_1_1AbstractState.html#a6a49c75fb6b35159dcf1763b4484d335">_varToAbsVal</a>.end(); ++it)</div>
192
+ <div class="line"><a name="l00123"></a><span class="lineno"> 123</span>&#160; {</div>
193
+ <div class="line"><a name="l00124"></a><span class="lineno"> 124</span>&#160; <span class="keyword">auto</span> key = it-&gt;first;</div>
194
+ <div class="line"><a name="l00125"></a><span class="lineno"> 125</span>&#160; <span class="keyword">auto</span> oit = _varToAbsVal.find(key);</div>
195
+ <div class="line"><a name="l00126"></a><span class="lineno"> 126</span>&#160; <span class="keywordflow">if</span> (oit != _varToAbsVal.end())</div>
196
+ <div class="line"><a name="l00127"></a><span class="lineno"> 127</span>&#160; {</div>
197
+ <div class="line"><a name="l00128"></a><span class="lineno"> 128</span>&#160; <span class="keywordflow">if</span> (oit-&gt;second.isInterval() &amp;&amp; it-&gt;second.isInterval())</div>
198
+ <div class="line"><a name="l00129"></a><span class="lineno"> 129</span>&#160; {</div>
199
+ <div class="line"><a name="l00130"></a><span class="lineno"> 130</span>&#160; oit-&gt;second.getInterval().join_with(it-&gt;second.getInterval());</div>
200
+ <div class="line"><a name="l00131"></a><span class="lineno"> 131</span>&#160; }</div>
201
+ <div class="line"><a name="l00132"></a><span class="lineno"> 132</span>&#160; <span class="keywordflow">else</span> <span class="keywordflow">if</span> (oit-&gt;second.isAddr() &amp;&amp; it-&gt;second.isAddr())</div>
202
+ <div class="line"><a name="l00133"></a><span class="lineno"> 133</span>&#160; {</div>
203
+ <div class="line"><a name="l00134"></a><span class="lineno"> 134</span>&#160; oit-&gt;second.getAddrs().join_with(it-&gt;second.getAddrs());</div>
204
+ <div class="line"><a name="l00135"></a><span class="lineno"> 135</span>&#160; }</div>
205
+ <div class="line"><a name="l00136"></a><span class="lineno"> 136</span>&#160; <span class="keywordflow">else</span></div>
206
+ <div class="line"><a name="l00137"></a><span class="lineno"> 137</span>&#160; {</div>
207
+ <div class="line"><a name="l00138"></a><span class="lineno"> 138</span>&#160; <span class="comment">// do nothing</span></div>
208
+ <div class="line"><a name="l00139"></a><span class="lineno"> 139</span>&#160; }</div>
209
+ <div class="line"><a name="l00140"></a><span class="lineno"> 140</span>&#160; }</div>
210
+ <div class="line"><a name="l00141"></a><span class="lineno"> 141</span>&#160; <span class="keywordflow">else</span></div>
211
+ <div class="line"><a name="l00142"></a><span class="lineno"> 142</span>&#160; {</div>
212
+ <div class="line"><a name="l00143"></a><span class="lineno"> 143</span>&#160; _varToAbsVal.emplace(key, it-&gt;second);</div>
213
+ <div class="line"><a name="l00144"></a><span class="lineno"> 144</span>&#160; }</div>
214
+ <div class="line"><a name="l00145"></a><span class="lineno"> 145</span>&#160; }</div>
215
+ <div class="line"><a name="l00146"></a><span class="lineno"> 146</span>&#160; <span class="keywordflow">for</span> (<span class="keyword">auto</span> it = other.<a class="code" href="classSVF_1_1AbstractState.html#aade30bb08f86b3f74e7aa9cdc60c92a3">_locToAbsVal</a>.begin(); it != other.<a class="code" href="classSVF_1_1AbstractState.html#aade30bb08f86b3f74e7aa9cdc60c92a3">_locToAbsVal</a>.end(); ++it)</div>
216
+ <div class="line"><a name="l00147"></a><span class="lineno"> 147</span>&#160; {</div>
217
+ <div class="line"><a name="l00148"></a><span class="lineno"> 148</span>&#160; <span class="keyword">auto</span> key = it-&gt;first;</div>
218
+ <div class="line"><a name="l00149"></a><span class="lineno"> 149</span>&#160; <span class="keyword">auto</span> oit = _locToAbsVal.find(key);</div>
219
+ <div class="line"><a name="l00150"></a><span class="lineno"> 150</span>&#160; <span class="keywordflow">if</span> (oit != _locToAbsVal.end())</div>
220
+ <div class="line"><a name="l00151"></a><span class="lineno"> 151</span>&#160; {</div>
221
+ <div class="line"><a name="l00152"></a><span class="lineno"> 152</span>&#160; <span class="keywordflow">if</span> (oit-&gt;second.isInterval() &amp;&amp; it-&gt;second.isInterval())</div>
222
+ <div class="line"><a name="l00153"></a><span class="lineno"> 153</span>&#160; {</div>
223
+ <div class="line"><a name="l00154"></a><span class="lineno"> 154</span>&#160; oit-&gt;second.getInterval().join_with(it-&gt;second.getInterval());</div>
224
+ <div class="line"><a name="l00155"></a><span class="lineno"> 155</span>&#160; }</div>
225
+ <div class="line"><a name="l00156"></a><span class="lineno"> 156</span>&#160; <span class="keywordflow">else</span> <span class="keywordflow">if</span> (oit-&gt;second.isAddr() &amp;&amp; it-&gt;second.isAddr())</div>
226
+ <div class="line"><a name="l00157"></a><span class="lineno"> 157</span>&#160; {</div>
227
+ <div class="line"><a name="l00158"></a><span class="lineno"> 158</span>&#160; oit-&gt;second.getAddrs().join_with(it-&gt;second.getAddrs());</div>
228
+ <div class="line"><a name="l00159"></a><span class="lineno"> 159</span>&#160; }</div>
229
+ <div class="line"><a name="l00160"></a><span class="lineno"> 160</span>&#160; <span class="keywordflow">else</span></div>
230
+ <div class="line"><a name="l00161"></a><span class="lineno"> 161</span>&#160; {</div>
231
+ <div class="line"><a name="l00162"></a><span class="lineno"> 162</span>&#160; <span class="comment">// do nothing</span></div>
232
+ <div class="line"><a name="l00163"></a><span class="lineno"> 163</span>&#160; }</div>
233
+ <div class="line"><a name="l00164"></a><span class="lineno"> 164</span>&#160; }</div>
234
+ <div class="line"><a name="l00165"></a><span class="lineno"> 165</span>&#160; <span class="keywordflow">else</span></div>
235
+ <div class="line"><a name="l00166"></a><span class="lineno"> 166</span>&#160; {</div>
236
+ <div class="line"><a name="l00167"></a><span class="lineno"> 167</span>&#160; _locToAbsVal.emplace(key, it-&gt;second);</div>
237
+ <div class="line"><a name="l00168"></a><span class="lineno"> 168</span>&#160; }</div>
238
+ <div class="line"><a name="l00169"></a><span class="lineno"> 169</span>&#160; }</div>
239
+ <div class="line"><a name="l00170"></a><span class="lineno"> 170</span>&#160;}</div>
240
+ <div class="line"><a name="l00171"></a><span class="lineno"> 171</span>&#160; </div>
241
+ <div class="line"><a name="l00173"></a><span class="lineno"><a class="line" href="classSVF_1_1AbstractState.html#a7e2ff1c509351658687ed87ca7ae544e"> 173</a></span>&#160;<span class="keywordtype">void</span> <a class="code" href="classSVF_1_1AbstractState.html#a7e2ff1c509351658687ed87ca7ae544e">AbstractState::narrowWith</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1AbstractState.html">AbstractState</a>&amp; other)</div>
242
+ <div class="line"><a name="l00174"></a><span class="lineno"> 174</span>&#160;{</div>
243
+ <div class="line"><a name="l00175"></a><span class="lineno"> 175</span>&#160; <span class="keywordflow">for</span> (<span class="keyword">auto</span> it = _varToAbsVal.begin(); it != _varToAbsVal.end(); ++it)</div>
244
+ <div class="line"><a name="l00176"></a><span class="lineno"> 176</span>&#160; {</div>
245
+ <div class="line"><a name="l00177"></a><span class="lineno"> 177</span>&#160; <span class="keyword">auto</span> key = it-&gt;first;</div>
246
+ <div class="line"><a name="l00178"></a><span class="lineno"> 178</span>&#160; <span class="keyword">auto</span> oit = other.<a class="code" href="classSVF_1_1AbstractState.html#a4e4525823fd31c718216c698ed6e0a06">getVarToVal</a>().find(key);</div>
247
+ <div class="line"><a name="l00179"></a><span class="lineno"> 179</span>&#160; <span class="keywordflow">if</span> (oit != other.<a class="code" href="classSVF_1_1AbstractState.html#a4e4525823fd31c718216c698ed6e0a06">getVarToVal</a>().end())</div>
248
+ <div class="line"><a name="l00180"></a><span class="lineno"> 180</span>&#160; <span class="keywordflow">if</span> (it-&gt;second.isInterval() &amp;&amp; oit-&gt;second.isInterval())</div>
249
+ <div class="line"><a name="l00181"></a><span class="lineno"> 181</span>&#160; it-&gt;second.getInterval().narrow_with(oit-&gt;second.getInterval());</div>
250
+ <div class="line"><a name="l00182"></a><span class="lineno"> 182</span>&#160; }</div>
251
+ <div class="line"><a name="l00183"></a><span class="lineno"> 183</span>&#160; <span class="keywordflow">for</span> (<span class="keyword">auto</span> it = _locToAbsVal.begin(); it != _locToAbsVal.end(); ++it)</div>
252
+ <div class="line"><a name="l00184"></a><span class="lineno"> 184</span>&#160; {</div>
253
+ <div class="line"><a name="l00185"></a><span class="lineno"> 185</span>&#160; <span class="keyword">auto</span> key = it-&gt;first;</div>
254
+ <div class="line"><a name="l00186"></a><span class="lineno"> 186</span>&#160; <span class="keyword">auto</span> oit = other.<a class="code" href="classSVF_1_1AbstractState.html#aade30bb08f86b3f74e7aa9cdc60c92a3">_locToAbsVal</a>.find(key);</div>
255
+ <div class="line"><a name="l00187"></a><span class="lineno"> 187</span>&#160; <span class="keywordflow">if</span> (oit != other.<a class="code" href="classSVF_1_1AbstractState.html#aade30bb08f86b3f74e7aa9cdc60c92a3">_locToAbsVal</a>.end())</div>
256
+ <div class="line"><a name="l00188"></a><span class="lineno"> 188</span>&#160; <span class="keywordflow">if</span> (it-&gt;second.isInterval() &amp;&amp; oit-&gt;second.isInterval())</div>
257
+ <div class="line"><a name="l00189"></a><span class="lineno"> 189</span>&#160; it-&gt;second.getInterval().narrow_with(oit-&gt;second.getInterval());</div>
258
+ <div class="line"><a name="l00190"></a><span class="lineno"> 190</span>&#160; }</div>
259
+ <div class="line"><a name="l00191"></a><span class="lineno"> 191</span>&#160;}</div>
260
+ <div class="line"><a name="l00192"></a><span class="lineno"> 192</span>&#160; </div>
261
+ <div class="line"><a name="l00194"></a><span class="lineno"><a class="line" href="classSVF_1_1AbstractState.html#adec6191b9f1e51ed70a7620dd06153a9"> 194</a></span>&#160;<span class="keywordtype">void</span> <a class="code" href="classSVF_1_1AbstractState.html#adec6191b9f1e51ed70a7620dd06153a9">AbstractState::meetWith</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1AbstractState.html">AbstractState</a>&amp; other)</div>
262
+ <div class="line"><a name="l00195"></a><span class="lineno"> 195</span>&#160;{</div>
263
+ <div class="line"><a name="l00196"></a><span class="lineno"> 196</span>&#160; <span class="keywordflow">for</span> (<span class="keyword">auto</span> it = other.<a class="code" href="classSVF_1_1AbstractState.html#a6a49c75fb6b35159dcf1763b4484d335">_varToAbsVal</a>.begin(); it != other.<a class="code" href="classSVF_1_1AbstractState.html#a6a49c75fb6b35159dcf1763b4484d335">_varToAbsVal</a>.end(); ++it)</div>
264
+ <div class="line"><a name="l00197"></a><span class="lineno"> 197</span>&#160; {</div>
265
+ <div class="line"><a name="l00198"></a><span class="lineno"> 198</span>&#160; <span class="keyword">auto</span> key = it-&gt;first;</div>
266
+ <div class="line"><a name="l00199"></a><span class="lineno"> 199</span>&#160; <span class="keyword">auto</span> oit = _varToAbsVal.find(key);</div>
267
+ <div class="line"><a name="l00200"></a><span class="lineno"> 200</span>&#160; <span class="keywordflow">if</span> (oit != _varToAbsVal.end())</div>
268
+ <div class="line"><a name="l00201"></a><span class="lineno"> 201</span>&#160; {</div>
269
+ <div class="line"><a name="l00202"></a><span class="lineno"> 202</span>&#160; <span class="keywordflow">if</span> (oit-&gt;second.isInterval() &amp;&amp; it-&gt;second.isInterval())</div>
270
+ <div class="line"><a name="l00203"></a><span class="lineno"> 203</span>&#160; {</div>
271
+ <div class="line"><a name="l00204"></a><span class="lineno"> 204</span>&#160; oit-&gt;second.getInterval().meet_with(it-&gt;second.getInterval());</div>
272
+ <div class="line"><a name="l00205"></a><span class="lineno"> 205</span>&#160; }</div>
273
+ <div class="line"><a name="l00206"></a><span class="lineno"> 206</span>&#160; <span class="keywordflow">else</span> <span class="keywordflow">if</span> (oit-&gt;second.isAddr() &amp;&amp; it-&gt;second.isAddr())</div>
274
+ <div class="line"><a name="l00207"></a><span class="lineno"> 207</span>&#160; {</div>
275
+ <div class="line"><a name="l00208"></a><span class="lineno"> 208</span>&#160; oit-&gt;second.getAddrs().meet_with(it-&gt;second.getAddrs());</div>
276
+ <div class="line"><a name="l00209"></a><span class="lineno"> 209</span>&#160; }</div>
277
+ <div class="line"><a name="l00210"></a><span class="lineno"> 210</span>&#160; <span class="keywordflow">else</span></div>
278
+ <div class="line"><a name="l00211"></a><span class="lineno"> 211</span>&#160; {</div>
279
+ <div class="line"><a name="l00212"></a><span class="lineno"> 212</span>&#160; <span class="comment">// do nothing</span></div>
280
+ <div class="line"><a name="l00213"></a><span class="lineno"> 213</span>&#160; }</div>
281
+ <div class="line"><a name="l00214"></a><span class="lineno"> 214</span>&#160; }</div>
282
+ <div class="line"><a name="l00215"></a><span class="lineno"> 215</span>&#160; }</div>
283
+ <div class="line"><a name="l00216"></a><span class="lineno"> 216</span>&#160; <span class="keywordflow">for</span> (<span class="keyword">auto</span> it = other.<a class="code" href="classSVF_1_1AbstractState.html#aade30bb08f86b3f74e7aa9cdc60c92a3">_locToAbsVal</a>.begin(); it != other.<a class="code" href="classSVF_1_1AbstractState.html#aade30bb08f86b3f74e7aa9cdc60c92a3">_locToAbsVal</a>.end(); ++it)</div>
284
+ <div class="line"><a name="l00217"></a><span class="lineno"> 217</span>&#160; {</div>
285
+ <div class="line"><a name="l00218"></a><span class="lineno"> 218</span>&#160; <span class="keyword">auto</span> key = it-&gt;first;</div>
286
+ <div class="line"><a name="l00219"></a><span class="lineno"> 219</span>&#160; <span class="keyword">auto</span> oit = _locToAbsVal.find(key);</div>
287
+ <div class="line"><a name="l00220"></a><span class="lineno"> 220</span>&#160; <span class="keywordflow">if</span> (oit != _locToAbsVal.end())</div>
288
+ <div class="line"><a name="l00221"></a><span class="lineno"> 221</span>&#160; {</div>
289
+ <div class="line"><a name="l00222"></a><span class="lineno"> 222</span>&#160; <span class="keywordflow">if</span> (oit-&gt;second.isInterval() &amp;&amp; it-&gt;second.isInterval())</div>
290
+ <div class="line"><a name="l00223"></a><span class="lineno"> 223</span>&#160; {</div>
291
+ <div class="line"><a name="l00224"></a><span class="lineno"> 224</span>&#160; oit-&gt;second.getInterval().meet_with(it-&gt;second.getInterval());</div>
292
+ <div class="line"><a name="l00225"></a><span class="lineno"> 225</span>&#160; }</div>
293
+ <div class="line"><a name="l00226"></a><span class="lineno"> 226</span>&#160; <span class="keywordflow">else</span> <span class="keywordflow">if</span> (oit-&gt;second.isAddr() &amp;&amp; it-&gt;second.isAddr())</div>
294
+ <div class="line"><a name="l00227"></a><span class="lineno"> 227</span>&#160; {</div>
295
+ <div class="line"><a name="l00228"></a><span class="lineno"> 228</span>&#160; oit-&gt;second.getAddrs().meet_with(it-&gt;second.getAddrs());</div>
296
+ <div class="line"><a name="l00229"></a><span class="lineno"> 229</span>&#160; }</div>
297
+ <div class="line"><a name="l00230"></a><span class="lineno"> 230</span>&#160; <span class="keywordflow">else</span></div>
298
+ <div class="line"><a name="l00231"></a><span class="lineno"> 231</span>&#160; {</div>
299
+ <div class="line"><a name="l00232"></a><span class="lineno"> 232</span>&#160; <span class="comment">// do nothing</span></div>
300
+ <div class="line"><a name="l00233"></a><span class="lineno"> 233</span>&#160; }</div>
301
+ <div class="line"><a name="l00234"></a><span class="lineno"> 234</span>&#160; }</div>
302
+ <div class="line"><a name="l00235"></a><span class="lineno"> 235</span>&#160; }</div>
303
+ <div class="line"><a name="l00236"></a><span class="lineno"> 236</span>&#160;}</div>
304
+ <div class="line"><a name="l00237"></a><span class="lineno"> 237</span>&#160; </div>
305
+ <div class="line"><a name="l00239"></a><span class="lineno"><a class="line" href="classSVF_1_1AbstractState.html#a00c811d7ef05476b7699c66a10eb4944"> 239</a></span>&#160;<span class="keywordtype">void</span> <a class="code" href="classSVF_1_1AbstractState.html#a00c811d7ef05476b7699c66a10eb4944">AbstractState::printExprValues</a>(std::ostream &amp;oss)<span class="keyword"> const</span></div>
306
+ <div class="line"><a name="l00240"></a><span class="lineno"> 240</span>&#160;<span class="keyword"></span>{</div>
307
+ <div class="line"><a name="l00241"></a><span class="lineno"> 241</span>&#160; oss &lt;&lt; <span class="stringliteral">&quot;-----------Var and Value-----------\n&quot;</span>;</div>
308
+ <div class="line"><a name="l00242"></a><span class="lineno"> 242</span>&#160; printTable(_varToAbsVal, oss);</div>
309
+ <div class="line"><a name="l00243"></a><span class="lineno"> 243</span>&#160; printTable(_locToAbsVal, oss);</div>
310
+ <div class="line"><a name="l00244"></a><span class="lineno"> 244</span>&#160; oss &lt;&lt; <span class="stringliteral">&quot;-----------------------------------------\n&quot;</span>;</div>
311
+ <div class="line"><a name="l00245"></a><span class="lineno"> 245</span>&#160;}</div>
312
+ <div class="line"><a name="l00246"></a><span class="lineno"> 246</span>&#160; </div>
313
+ <div class="line"><a name="l00247"></a><span class="lineno"><a class="line" href="classSVF_1_1AbstractState.html#a61a9a3873426ad522d0b4c16eb2ac67b"> 247</a></span>&#160;<span class="keywordtype">void</span> <a class="code" href="classSVF_1_1AbstractState.html#a61a9a3873426ad522d0b4c16eb2ac67b">AbstractState::printTable</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1AbstractState.html#ab8e7d112c380f0c3fe66b487af90c03e">VarToAbsValMap</a>&amp;table, std::ostream &amp;oss)<span class="keyword"> const</span></div>
314
+ <div class="line"><a name="l00248"></a><span class="lineno"> 248</span>&#160;<span class="keyword"></span>{</div>
315
+ <div class="line"><a name="l00249"></a><span class="lineno"> 249</span>&#160; oss.flags(std::ios::left);</div>
316
+ <div class="line"><a name="l00250"></a><span class="lineno"> 250</span>&#160; std::set&lt;NodeID&gt; ordered;</div>
317
+ <div class="line"><a name="l00251"></a><span class="lineno"> 251</span>&#160; <span class="keywordflow">for</span> (<span class="keyword">const</span> <span class="keyword">auto</span> &amp;<a class="code" href="cJSON_8h.html#ac76cea59d438ba893d2f82aabb367d14">item</a>: table)</div>
318
+ <div class="line"><a name="l00252"></a><span class="lineno"> 252</span>&#160; {</div>
319
+ <div class="line"><a name="l00253"></a><span class="lineno"> 253</span>&#160; ordered.insert(<a class="code" href="cJSON_8h.html#ac76cea59d438ba893d2f82aabb367d14">item</a>.first);</div>
320
+ <div class="line"><a name="l00254"></a><span class="lineno"> 254</span>&#160; }</div>
321
+ <div class="line"><a name="l00255"></a><span class="lineno"> 255</span>&#160; <span class="keywordflow">for</span> (<span class="keyword">const</span> <span class="keyword">auto</span> &amp;<a class="code" href="cJSON_8h.html#ac76cea59d438ba893d2f82aabb367d14">item</a>: ordered)</div>
322
+ <div class="line"><a name="l00256"></a><span class="lineno"> 256</span>&#160; {</div>
323
+ <div class="line"><a name="l00257"></a><span class="lineno"> 257</span>&#160; oss &lt;&lt; <span class="stringliteral">&quot;Var&quot;</span> &lt;&lt; std::to_string(<a class="code" href="cJSON_8h.html#ac76cea59d438ba893d2f82aabb367d14">item</a>);</div>
324
+ <div class="line"><a name="l00258"></a><span class="lineno"> 258</span>&#160; <a class="code" href="classSVF_1_1IntervalValue.html">IntervalValue</a> sim = table.at(<a class="code" href="cJSON_8h.html#ac76cea59d438ba893d2f82aabb367d14">item</a>).getInterval();</div>
325
+ <div class="line"><a name="l00259"></a><span class="lineno"> 259</span>&#160; <span class="keywordflow">if</span> (sim.<a class="code" href="classSVF_1_1IntervalValue.html#a523826aede7ad22736beed0c8223b6b0">is_numeral</a>() &amp;&amp; isVirtualMemAddress(Interval2NumValue(sim)))</div>
326
+ <div class="line"><a name="l00260"></a><span class="lineno"> 260</span>&#160; {</div>
327
+ <div class="line"><a name="l00261"></a><span class="lineno"> 261</span>&#160; oss &lt;&lt; <span class="stringliteral">&quot;\t Value: &quot;</span> &lt;&lt; std::hex &lt;&lt; <span class="stringliteral">&quot;0x&quot;</span> &lt;&lt; Interval2NumValue(sim) &lt;&lt; <span class="stringliteral">&quot;\n&quot;</span>;</div>
328
+ <div class="line"><a name="l00262"></a><span class="lineno"> 262</span>&#160; }</div>
329
+ <div class="line"><a name="l00263"></a><span class="lineno"> 263</span>&#160; <span class="keywordflow">else</span></div>
330
+ <div class="line"><a name="l00264"></a><span class="lineno"> 264</span>&#160; {</div>
331
+ <div class="line"><a name="l00265"></a><span class="lineno"> 265</span>&#160; oss &lt;&lt; <span class="stringliteral">&quot;\t Value: &quot;</span> &lt;&lt; std::dec &lt;&lt; sim &lt;&lt; <span class="stringliteral">&quot;\n&quot;</span>;</div>
332
+ <div class="line"><a name="l00266"></a><span class="lineno"> 266</span>&#160; }</div>
333
+ <div class="line"><a name="l00267"></a><span class="lineno"> 267</span>&#160; }</div>
334
+ <div class="line"><a name="l00268"></a><span class="lineno"> 268</span>&#160;}</div>
335
+ <div class="line"><a name="l00269"></a><span class="lineno"> 269</span>&#160; </div>
336
+ <div class="line"><a name="l00270"></a><span class="lineno"> 270</span>&#160;<a class="code" href="classSVF_1_1SparseAbstractState.html">SparseAbstractState</a> <a class="code" href="classSVF_1_1SparseAbstractState.html#a1683fd7da77812137b839b8c417200fe">SparseAbstractState::globalES</a>;</div>
337
+ <div class="line"><a name="l00271"></a><span class="lineno"><a class="line" href="classSVF_1_1SparseAbstractState.html#a305f05501629a3bb74789d297ed3383a"> 271</a></span>&#160;<span class="keywordtype">bool</span> <a class="code" href="classSVF_1_1SparseAbstractState.html#a305f05501629a3bb74789d297ed3383a">SparseAbstractState::equals</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1SparseAbstractState.html">SparseAbstractState</a>&amp;other)<span class="keyword"> const</span></div>
338
+ <div class="line"><a name="l00272"></a><span class="lineno"> 272</span>&#160;<span class="keyword"></span>{</div>
339
+ <div class="line"><a name="l00273"></a><span class="lineno"> 273</span>&#160; <span class="keywordflow">return</span> *<span class="keyword">this</span> == other;</div>
340
+ <div class="line"><a name="l00274"></a><span class="lineno"> 274</span>&#160;}</div>
341
+ <div class="line"><a name="l00275"></a><span class="lineno"> 275</span>&#160; </div>
342
+ <div class="line"><a name="l00276"></a><span class="lineno"><a class="line" href="classSVF_1_1SparseAbstractState.html#a1b8fd82fa6d63135a32acd33e3618354"> 276</a></span>&#160;<a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> <a class="code" href="classSVF_1_1SparseAbstractState.html#a1b8fd82fa6d63135a32acd33e3618354">SparseAbstractState::hash</a>()<span class="keyword"> const</span></div>
343
+ <div class="line"><a name="l00277"></a><span class="lineno"> 277</span>&#160;<span class="keyword"></span>{</div>
344
+ <div class="line"><a name="l00278"></a><span class="lineno"> 278</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1AbstractState.html#a38608261ed9a3f7b25cd68748456924b">AbstractState::hash</a>();</div>
345
+ <div class="line"><a name="l00279"></a><span class="lineno"> 279</span>&#160;}</div>
346
+ <div class="line"><a name="l00280"></a><span class="lineno"> 280</span>&#160; </div>
347
+ <div class="line"><a name="l00281"></a><span class="lineno"><a class="line" href="classSVF_1_1SparseAbstractState.html#a5782c4b128b1f7ee75296d19778502b3"> 281</a></span>&#160;<a class="code" href="classSVF_1_1SparseAbstractState.html">SparseAbstractState</a> <a class="code" href="classSVF_1_1SparseAbstractState.html#a5782c4b128b1f7ee75296d19778502b3">SparseAbstractState::widening</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1SparseAbstractState.html">SparseAbstractState</a>&amp; other)</div>
348
+ <div class="line"><a name="l00282"></a><span class="lineno"> 282</span>&#160;{</div>
349
+ <div class="line"><a name="l00283"></a><span class="lineno"> 283</span>&#160; <a class="code" href="classSVF_1_1SparseAbstractState.html">SparseAbstractState</a> es = *<span class="keyword">this</span>;</div>
350
+ <div class="line"><a name="l00284"></a><span class="lineno"> 284</span>&#160; <span class="keywordflow">for</span> (<span class="keyword">auto</span> it = es.<a class="code" href="classSVF_1_1AbstractState.html#a6a49c75fb6b35159dcf1763b4484d335">_varToAbsVal</a>.begin(); it != es.<a class="code" href="classSVF_1_1AbstractState.html#a6a49c75fb6b35159dcf1763b4484d335">_varToAbsVal</a>.end(); ++it)</div>
351
+ <div class="line"><a name="l00285"></a><span class="lineno"> 285</span>&#160; {</div>
352
+ <div class="line"><a name="l00286"></a><span class="lineno"> 286</span>&#160; <span class="keyword">auto</span> key = it-&gt;first;</div>
353
+ <div class="line"><a name="l00287"></a><span class="lineno"> 287</span>&#160; <span class="keywordflow">if</span> (other.<a class="code" href="classSVF_1_1AbstractState.html#a6a49c75fb6b35159dcf1763b4484d335">_varToAbsVal</a>.find(key) != other.<a class="code" href="classSVF_1_1AbstractState.html#a6a49c75fb6b35159dcf1763b4484d335">_varToAbsVal</a>.end())</div>
354
+ <div class="line"><a name="l00288"></a><span class="lineno"> 288</span>&#160; <span class="keywordflow">if</span> (it-&gt;second.isInterval() &amp;&amp; other.<a class="code" href="classSVF_1_1AbstractState.html#a6a49c75fb6b35159dcf1763b4484d335">_varToAbsVal</a>.at(key).isInterval())</div>
355
+ <div class="line"><a name="l00289"></a><span class="lineno"> 289</span>&#160; it-&gt;second.getInterval().widen_with(other.<a class="code" href="classSVF_1_1AbstractState.html#a6a49c75fb6b35159dcf1763b4484d335">_varToAbsVal</a>.at(key).getInterval());</div>
356
+ <div class="line"><a name="l00290"></a><span class="lineno"> 290</span>&#160; }</div>
357
+ <div class="line"><a name="l00291"></a><span class="lineno"> 291</span>&#160; <span class="keywordflow">for</span> (<span class="keyword">auto</span> it = es.<a class="code" href="classSVF_1_1AbstractState.html#aade30bb08f86b3f74e7aa9cdc60c92a3">_locToAbsVal</a>.begin(); it != es.<a class="code" href="classSVF_1_1AbstractState.html#aade30bb08f86b3f74e7aa9cdc60c92a3">_locToAbsVal</a>.end(); ++it)</div>
358
+ <div class="line"><a name="l00292"></a><span class="lineno"> 292</span>&#160; {</div>
359
+ <div class="line"><a name="l00293"></a><span class="lineno"> 293</span>&#160; <span class="keyword">auto</span> key = it-&gt;first;</div>
360
+ <div class="line"><a name="l00294"></a><span class="lineno"> 294</span>&#160; <span class="keywordflow">if</span> (other.<a class="code" href="classSVF_1_1AbstractState.html#aade30bb08f86b3f74e7aa9cdc60c92a3">_locToAbsVal</a>.find(key) != other.<a class="code" href="classSVF_1_1AbstractState.html#aade30bb08f86b3f74e7aa9cdc60c92a3">_locToAbsVal</a>.end())</div>
361
+ <div class="line"><a name="l00295"></a><span class="lineno"> 295</span>&#160; <span class="keywordflow">if</span> (it-&gt;second.isInterval() &amp;&amp; other.<a class="code" href="classSVF_1_1AbstractState.html#aade30bb08f86b3f74e7aa9cdc60c92a3">_locToAbsVal</a>.at(key).isInterval())</div>
362
+ <div class="line"><a name="l00296"></a><span class="lineno"> 296</span>&#160; it-&gt;second.getInterval().widen_with(other.<a class="code" href="classSVF_1_1AbstractState.html#aade30bb08f86b3f74e7aa9cdc60c92a3">_locToAbsVal</a>.at(key).getInterval());</div>
363
+ <div class="line"><a name="l00297"></a><span class="lineno"> 297</span>&#160; }</div>
364
+ <div class="line"><a name="l00298"></a><span class="lineno"> 298</span>&#160; <span class="keywordflow">return</span> es;</div>
365
+ <div class="line"><a name="l00299"></a><span class="lineno"> 299</span>&#160;}</div>
366
+ <div class="line"><a name="l00300"></a><span class="lineno"> 300</span>&#160; </div>
367
+ <div class="line"><a name="l00301"></a><span class="lineno"><a class="line" href="classSVF_1_1SparseAbstractState.html#a3c201f8d0c9d7802084faa035311935d"> 301</a></span>&#160;<a class="code" href="classSVF_1_1SparseAbstractState.html">SparseAbstractState</a> <a class="code" href="classSVF_1_1SparseAbstractState.html#a3c201f8d0c9d7802084faa035311935d">SparseAbstractState::narrowing</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1SparseAbstractState.html">SparseAbstractState</a>&amp; other)</div>
368
+ <div class="line"><a name="l00302"></a><span class="lineno"> 302</span>&#160;{</div>
369
+ <div class="line"><a name="l00303"></a><span class="lineno"> 303</span>&#160; <a class="code" href="classSVF_1_1SparseAbstractState.html">SparseAbstractState</a> es = *<span class="keyword">this</span>;</div>
370
+ <div class="line"><a name="l00304"></a><span class="lineno"> 304</span>&#160; <span class="keywordflow">for</span> (<span class="keyword">auto</span> it = es.<a class="code" href="classSVF_1_1AbstractState.html#a6a49c75fb6b35159dcf1763b4484d335">_varToAbsVal</a>.begin(); it != es.<a class="code" href="classSVF_1_1AbstractState.html#a6a49c75fb6b35159dcf1763b4484d335">_varToAbsVal</a>.end(); ++it)</div>
371
+ <div class="line"><a name="l00305"></a><span class="lineno"> 305</span>&#160; {</div>
372
+ <div class="line"><a name="l00306"></a><span class="lineno"> 306</span>&#160; <span class="keyword">auto</span> key = it-&gt;first;</div>
373
+ <div class="line"><a name="l00307"></a><span class="lineno"> 307</span>&#160; <span class="keywordflow">if</span> (other.<a class="code" href="classSVF_1_1AbstractState.html#a6a49c75fb6b35159dcf1763b4484d335">_varToAbsVal</a>.find(key) != other.<a class="code" href="classSVF_1_1AbstractState.html#a6a49c75fb6b35159dcf1763b4484d335">_varToAbsVal</a>.end())</div>
374
+ <div class="line"><a name="l00308"></a><span class="lineno"> 308</span>&#160; <span class="keywordflow">if</span> (it-&gt;second.isInterval() &amp;&amp; other.<a class="code" href="classSVF_1_1AbstractState.html#a6a49c75fb6b35159dcf1763b4484d335">_varToAbsVal</a>.at(key).isInterval())</div>
375
+ <div class="line"><a name="l00309"></a><span class="lineno"> 309</span>&#160; it-&gt;second.getInterval().narrow_with(other.<a class="code" href="classSVF_1_1AbstractState.html#a6a49c75fb6b35159dcf1763b4484d335">_varToAbsVal</a>.at(key).getInterval());</div>
376
+ <div class="line"><a name="l00310"></a><span class="lineno"> 310</span>&#160; }</div>
377
+ <div class="line"><a name="l00311"></a><span class="lineno"> 311</span>&#160; <span class="keywordflow">for</span> (<span class="keyword">auto</span> it = es.<a class="code" href="classSVF_1_1AbstractState.html#aade30bb08f86b3f74e7aa9cdc60c92a3">_locToAbsVal</a>.begin(); it != es.<a class="code" href="classSVF_1_1AbstractState.html#aade30bb08f86b3f74e7aa9cdc60c92a3">_locToAbsVal</a>.end(); ++it)</div>
378
+ <div class="line"><a name="l00312"></a><span class="lineno"> 312</span>&#160; {</div>
379
+ <div class="line"><a name="l00313"></a><span class="lineno"> 313</span>&#160; <span class="keyword">auto</span> key = it-&gt;first;</div>
380
+ <div class="line"><a name="l00314"></a><span class="lineno"> 314</span>&#160; <span class="keywordflow">if</span> (other.<a class="code" href="classSVF_1_1AbstractState.html#aade30bb08f86b3f74e7aa9cdc60c92a3">_locToAbsVal</a>.find(key) != other.<a class="code" href="classSVF_1_1AbstractState.html#aade30bb08f86b3f74e7aa9cdc60c92a3">_locToAbsVal</a>.end())</div>
381
+ <div class="line"><a name="l00315"></a><span class="lineno"> 315</span>&#160; <span class="keywordflow">if</span> (it-&gt;second.isInterval() &amp;&amp; other.<a class="code" href="classSVF_1_1AbstractState.html#aade30bb08f86b3f74e7aa9cdc60c92a3">_locToAbsVal</a>.at(key).isInterval())</div>
382
+ <div class="line"><a name="l00316"></a><span class="lineno"> 316</span>&#160; it-&gt;second.getInterval().narrow_with(other.<a class="code" href="classSVF_1_1AbstractState.html#aade30bb08f86b3f74e7aa9cdc60c92a3">_locToAbsVal</a>.at(key).getInterval());</div>
383
+ <div class="line"><a name="l00317"></a><span class="lineno"> 317</span>&#160; }</div>
384
+ <div class="line"><a name="l00318"></a><span class="lineno"> 318</span>&#160; <span class="keywordflow">return</span> es;</div>
385
+ <div class="line"><a name="l00319"></a><span class="lineno"> 319</span>&#160; </div>
386
+ <div class="line"><a name="l00320"></a><span class="lineno"> 320</span>&#160;}</div>
387
+ <div class="line"><a name="l00321"></a><span class="lineno"> 321</span>&#160; </div>
388
+ <div class="line"><a name="l00323"></a><span class="lineno"><a class="line" href="classSVF_1_1SparseAbstractState.html#a5a431c16fd9e6a113a764dfb33995141"> 323</a></span>&#160;<span class="keywordtype">void</span> <a class="code" href="classSVF_1_1SparseAbstractState.html#a5a431c16fd9e6a113a764dfb33995141">SparseAbstractState::widenWith</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1SparseAbstractState.html">SparseAbstractState</a>&amp; other)</div>
389
+ <div class="line"><a name="l00324"></a><span class="lineno"> 324</span>&#160;{</div>
390
+ <div class="line"><a name="l00325"></a><span class="lineno"> 325</span>&#160; <a class="code" href="classSVF_1_1AbstractState.html#a8d2a6e895d17181324cdeb9e2cf8f1de">AbstractState::widenWith</a>(other);</div>
391
+ <div class="line"><a name="l00326"></a><span class="lineno"> 326</span>&#160;}</div>
392
+ <div class="line"><a name="l00327"></a><span class="lineno"> 327</span>&#160; </div>
393
+ <div class="line"><a name="l00329"></a><span class="lineno"><a class="line" href="classSVF_1_1SparseAbstractState.html#abd860957dd1cd5577c7ea893be904c1b"> 329</a></span>&#160;<span class="keywordtype">void</span> <a class="code" href="classSVF_1_1SparseAbstractState.html#abd860957dd1cd5577c7ea893be904c1b">SparseAbstractState::joinWith</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1SparseAbstractState.html">SparseAbstractState</a>&amp; other)</div>
394
+ <div class="line"><a name="l00330"></a><span class="lineno"> 330</span>&#160;{</div>
395
+ <div class="line"><a name="l00331"></a><span class="lineno"> 331</span>&#160; <a class="code" href="classSVF_1_1AbstractState.html#a413cb1d009e2a080960bb2432e193d0c">AbstractState::joinWith</a>(other);</div>
396
+ <div class="line"><a name="l00332"></a><span class="lineno"> 332</span>&#160;}</div>
397
+ <div class="line"><a name="l00333"></a><span class="lineno"> 333</span>&#160; </div>
398
+ <div class="line"><a name="l00335"></a><span class="lineno"><a class="line" href="classSVF_1_1SparseAbstractState.html#a5a35c83e5f46a0496e20ec436db5e97e"> 335</a></span>&#160;<span class="keywordtype">void</span> <a class="code" href="classSVF_1_1SparseAbstractState.html#a5a35c83e5f46a0496e20ec436db5e97e">SparseAbstractState::narrowWith</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1SparseAbstractState.html">SparseAbstractState</a>&amp; other)</div>
399
+ <div class="line"><a name="l00336"></a><span class="lineno"> 336</span>&#160;{</div>
400
+ <div class="line"><a name="l00337"></a><span class="lineno"> 337</span>&#160; <a class="code" href="classSVF_1_1AbstractState.html#a7e2ff1c509351658687ed87ca7ae544e">AbstractState::narrowWith</a>(other);</div>
401
+ <div class="line"><a name="l00338"></a><span class="lineno"> 338</span>&#160;}</div>
402
+ <div class="line"><a name="l00339"></a><span class="lineno"> 339</span>&#160; </div>
403
+ <div class="line"><a name="l00341"></a><span class="lineno"><a class="line" href="classSVF_1_1SparseAbstractState.html#afb0e666f3ec688b1003839650f6a91e3"> 341</a></span>&#160;<span class="keywordtype">void</span> <a class="code" href="classSVF_1_1SparseAbstractState.html#afb0e666f3ec688b1003839650f6a91e3">SparseAbstractState::meetWith</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1SparseAbstractState.html">SparseAbstractState</a>&amp; other)</div>
404
+ <div class="line"><a name="l00342"></a><span class="lineno"> 342</span>&#160;{</div>
405
+ <div class="line"><a name="l00343"></a><span class="lineno"> 343</span>&#160; <a class="code" href="classSVF_1_1AbstractState.html#adec6191b9f1e51ed70a7620dd06153a9">AbstractState::meetWith</a>(other);</div>
406
+ <div class="line"><a name="l00344"></a><span class="lineno"> 344</span>&#160;}</div>
407
+ <div class="line"><a name="l00345"></a><span class="lineno"> 345</span>&#160; </div>
408
+ <div class="line"><a name="l00346"></a><span class="lineno"> 346</span>&#160; </div>
409
+ <div class="line"><a name="l00348"></a><span class="lineno"><a class="line" href="classSVF_1_1SparseAbstractState.html#acf7c9f1f3e4344d03d34686806f522f4"> 348</a></span>&#160;<span class="keywordtype">void</span> <a class="code" href="classSVF_1_1SparseAbstractState.html#acf7c9f1f3e4344d03d34686806f522f4">SparseAbstractState::printExprValues</a>(std::ostream &amp;oss)<span class="keyword"> const</span></div>
410
+ <div class="line"><a name="l00349"></a><span class="lineno"> 349</span>&#160;<span class="keyword"></span>{</div>
411
+ <div class="line"><a name="l00350"></a><span class="lineno"> 350</span>&#160; oss &lt;&lt; <span class="stringliteral">&quot;-----------Var and Value-----------\n&quot;</span>;</div>
412
+ <div class="line"><a name="l00351"></a><span class="lineno"> 351</span>&#160; printTable(_varToAbsVal, oss);</div>
413
+ <div class="line"><a name="l00352"></a><span class="lineno"> 352</span>&#160; printTable(_locToAbsVal, oss);</div>
414
+ <div class="line"><a name="l00353"></a><span class="lineno"> 353</span>&#160; oss &lt;&lt; <span class="stringliteral">&quot;------------Global---------------------\n&quot;</span>;</div>
415
+ <div class="line"><a name="l00354"></a><span class="lineno"> 354</span>&#160; printTable(globalES._varToAbsVal, oss);</div>
416
+ <div class="line"><a name="l00355"></a><span class="lineno"> 355</span>&#160; printTable(globalES._locToAbsVal, oss);</div>
417
+ <div class="line"><a name="l00356"></a><span class="lineno"> 356</span>&#160; </div>
418
+ <div class="line"><a name="l00357"></a><span class="lineno"> 357</span>&#160;}</div>
419
+ </div><!-- fragment --></div><!-- contents -->
420
+ <div class="ttc" id="aclassSVF_1_1AbstractState_html_aa9f048614c0bdbe5e8562bfcc6288a97"><div class="ttname"><a href="classSVF_1_1AbstractState.html#aa9f048614c0bdbe5e8562bfcc6288a97">SVF::AbstractState::narrowing</a></div><div class="ttdeci">AbstractState narrowing(const AbstractState &amp;other)</div><div class="ttdoc">domain narrow with other, and return the narrowed domain</div><div class="ttdef"><b>Definition:</b> <a href="AbstractState_8cpp_source.html#l00081">AbstractState.cpp:81</a></div></div>
421
+ <div class="ttc" id="aclassSVF_1_1SparseAbstractState_html_a305f05501629a3bb74789d297ed3383a"><div class="ttname"><a href="classSVF_1_1SparseAbstractState.html#a305f05501629a3bb74789d297ed3383a">SVF::SparseAbstractState::equals</a></div><div class="ttdeci">bool equals(const SparseAbstractState &amp;other) const</div><div class="ttdef"><b>Definition:</b> <a href="AbstractState_8cpp_source.html#l00271">AbstractState.cpp:271</a></div></div>
422
+ <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>
423
+ <div class="ttc" id="anamespaceSVF_html"><div class="ttname"><a href="namespaceSVF.html">SVF</a></div><div class="ttdoc">for isBitcode</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00067">BasicTypes.h:67</a></div></div>
424
+ <div class="ttc" id="aclassSVF_1_1AbstractState_html_a65131e4b96d21984c6907ac4fb32e973"><div class="ttname"><a href="classSVF_1_1AbstractState.html#a65131e4b96d21984c6907ac4fb32e973">SVF::AbstractState::equals</a></div><div class="ttdeci">bool equals(const AbstractState &amp;other) const</div><div class="ttdef"><b>Definition:</b> <a href="AbstractState_8cpp_source.html#l00036">AbstractState.cpp:36</a></div></div>
425
+ <div class="ttc" id="aclassSVF_1_1AbstractState_html_a7e2ff1c509351658687ed87ca7ae544e"><div class="ttname"><a href="classSVF_1_1AbstractState.html#a7e2ff1c509351658687ed87ca7ae544e">SVF::AbstractState::narrowWith</a></div><div class="ttdeci">void narrowWith(const AbstractState &amp;other)</div><div class="ttdoc">domain narrow with other, important! other widen this.</div><div class="ttdef"><b>Definition:</b> <a href="AbstractState_8cpp_source.html#l00173">AbstractState.cpp:173</a></div></div>
426
+ <div class="ttc" id="aclassSVF_1_1SparseAbstractState_html_a5a431c16fd9e6a113a764dfb33995141"><div class="ttname"><a href="classSVF_1_1SparseAbstractState.html#a5a431c16fd9e6a113a764dfb33995141">SVF::SparseAbstractState::widenWith</a></div><div class="ttdeci">void widenWith(const SparseAbstractState &amp;other)</div><div class="ttdoc">domain widen with other, important! other widen this.</div><div class="ttdef"><b>Definition:</b> <a href="AbstractState_8cpp_source.html#l00323">AbstractState.cpp:323</a></div></div>
427
+ <div class="ttc" id="astructSVF_1_1Hash_html"><div class="ttname"><a href="structSVF_1_1Hash.html">SVF::Hash</a></div><div class="ttdoc">provide extra hash function for std::pair handling</div><div class="ttdef"><b>Definition:</b> <a href="GeneralType_8h_source.html#l00066">GeneralType.h:66</a></div></div>
428
+ <div class="ttc" id="aclassSVF_1_1AbstractState_html_a6a49c75fb6b35159dcf1763b4484d335"><div class="ttname"><a href="classSVF_1_1AbstractState.html#a6a49c75fb6b35159dcf1763b4484d335">SVF::AbstractState::_varToAbsVal</a></div><div class="ttdeci">VarToAbsValMap _varToAbsVal</div><div class="ttdoc">Map a variable (symbol) to its abstract value.</div><div class="ttdef"><b>Definition:</b> <a href="AbstractState_8h_source.html#l00167">AbstractState.h:167</a></div></div>
429
+ <div class="ttc" id="aclassSVF_1_1IntervalValue_html_a523826aede7ad22736beed0c8223b6b0"><div class="ttname"><a href="classSVF_1_1IntervalValue.html#a523826aede7ad22736beed0c8223b6b0">SVF::IntervalValue::is_numeral</a></div><div class="ttdeci">bool is_numeral() const</div><div class="ttdoc">Return true if the IntervalValue is a number [num, num].</div><div class="ttdef"><b>Definition:</b> <a href="IntervalValue_8h_source.html#l00286">IntervalValue.h:286</a></div></div>
430
+ <div class="ttc" id="aSVFUtil_8h_html"><div class="ttname"><a href="SVFUtil_8h.html">SVFUtil.h</a></div></div>
431
+ <div class="ttc" id="aclassSVF_1_1AbstractState_html_ab8e7d112c380f0c3fe66b487af90c03e"><div class="ttname"><a href="classSVF_1_1AbstractState.html#ab8e7d112c380f0c3fe66b487af90c03e">SVF::AbstractState::VarToAbsValMap</a></div><div class="ttdeci">Map&lt; u32_t, AbstractValue &gt; VarToAbsValMap</div><div class="ttdef"><b>Definition:</b> <a href="AbstractState_8h_source.html#l00059">AbstractState.h:59</a></div></div>
432
+ <div class="ttc" id="aAbstractState_8h_html"><div class="ttname"><a href="AbstractState_8h.html">AbstractState.h</a></div></div>
433
+ <div class="ttc" id="aclassSVF_1_1SparseAbstractState_html_afb0e666f3ec688b1003839650f6a91e3"><div class="ttname"><a href="classSVF_1_1SparseAbstractState.html#afb0e666f3ec688b1003839650f6a91e3">SVF::SparseAbstractState::meetWith</a></div><div class="ttdeci">void meetWith(const SparseAbstractState &amp;other)</div><div class="ttdoc">domain meet with other, important! other widen this.</div><div class="ttdef"><b>Definition:</b> <a href="AbstractState_8cpp_source.html#l00341">AbstractState.cpp:341</a></div></div>
434
+ <div class="ttc" id="aclassSVF_1_1AbstractState_html_a38608261ed9a3f7b25cd68748456924b"><div class="ttname"><a href="classSVF_1_1AbstractState.html#a38608261ed9a3f7b25cd68748456924b">SVF::AbstractState::hash</a></div><div class="ttdeci">u32_t hash() const</div><div class="ttdef"><b>Definition:</b> <a href="AbstractState_8cpp_source.html#l00041">AbstractState.cpp:41</a></div></div>
435
+ <div class="ttc" id="aclassSVF_1_1SparseAbstractState_html_abd860957dd1cd5577c7ea893be904c1b"><div class="ttname"><a href="classSVF_1_1SparseAbstractState.html#abd860957dd1cd5577c7ea893be904c1b">SVF::SparseAbstractState::joinWith</a></div><div class="ttdeci">void joinWith(const SparseAbstractState &amp;other)</div><div class="ttdoc">domain join with other, important! other widen this.</div><div class="ttdef"><b>Definition:</b> <a href="AbstractState_8cpp_source.html#l00329">AbstractState.cpp:329</a></div></div>
436
+ <div class="ttc" id="aclassSVF_1_1AbstractState_html_afd37c4419cfc79b6765fa243fcbea573"><div class="ttname"><a href="classSVF_1_1AbstractState.html#afd37c4419cfc79b6765fa243fcbea573">SVF::AbstractState::widening</a></div><div class="ttdeci">AbstractState widening(const AbstractState &amp;other)</div><div class="ttdoc">domain widen with other, and return the widened domain</div><div class="ttdef"><b>Definition:</b> <a href="AbstractState_8cpp_source.html#l00058">AbstractState.cpp:58</a></div></div>
437
+ <div class="ttc" id="aclassSVF_1_1IntervalValue_html"><div class="ttname"><a href="classSVF_1_1IntervalValue.html">SVF::IntervalValue</a></div><div class="ttdef"><b>Definition:</b> <a href="IntervalValue_8h_source.html#l00043">IntervalValue.h:43</a></div></div>
438
+ <div class="ttc" id="aclassSVF_1_1SparseAbstractState_html_a5a35c83e5f46a0496e20ec436db5e97e"><div class="ttname"><a href="classSVF_1_1SparseAbstractState.html#a5a35c83e5f46a0496e20ec436db5e97e">SVF::SparseAbstractState::narrowWith</a></div><div class="ttdeci">void narrowWith(const SparseAbstractState &amp;other)</div><div class="ttdoc">domain narrow with other, important! other widen this.</div><div class="ttdef"><b>Definition:</b> <a href="AbstractState_8cpp_source.html#l00335">AbstractState.cpp:335</a></div></div>
439
+ <div class="ttc" id="aclassSVF_1_1AbstractState_html"><div class="ttname"><a href="classSVF_1_1AbstractState.html">SVF::AbstractState</a></div><div class="ttdef"><b>Definition:</b> <a href="AbstractState_8h_source.html#l00054">AbstractState.h:54</a></div></div>
440
+ <div class="ttc" id="aclassSVF_1_1SparseAbstractState_html_a5782c4b128b1f7ee75296d19778502b3"><div class="ttname"><a href="classSVF_1_1SparseAbstractState.html#a5782c4b128b1f7ee75296d19778502b3">SVF::SparseAbstractState::widening</a></div><div class="ttdeci">SparseAbstractState widening(const SparseAbstractState &amp;other)</div><div class="ttdoc">domain widen with other, and return the widened domain</div><div class="ttdef"><b>Definition:</b> <a href="AbstractState_8cpp_source.html#l00281">AbstractState.cpp:281</a></div></div>
441
+ <div class="ttc" id="aclassSVF_1_1SparseAbstractState_html_a3c201f8d0c9d7802084faa035311935d"><div class="ttname"><a href="classSVF_1_1SparseAbstractState.html#a3c201f8d0c9d7802084faa035311935d">SVF::SparseAbstractState::narrowing</a></div><div class="ttdeci">SparseAbstractState narrowing(const SparseAbstractState &amp;other)</div><div class="ttdoc">domain narrow with other, and return the narrowed domain</div><div class="ttdef"><b>Definition:</b> <a href="AbstractState_8cpp_source.html#l00301">AbstractState.cpp:301</a></div></div>
442
+ <div class="ttc" id="aclassSVF_1_1AbstractState_html_a00c811d7ef05476b7699c66a10eb4944"><div class="ttname"><a href="classSVF_1_1AbstractState.html#a00c811d7ef05476b7699c66a10eb4944">SVF::AbstractState::printExprValues</a></div><div class="ttdeci">void printExprValues(std::ostream &amp;oss) const</div><div class="ttdoc">Print values of all expressions.</div><div class="ttdef"><b>Definition:</b> <a href="AbstractState_8cpp_source.html#l00239">AbstractState.cpp:239</a></div></div>
443
+ <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>
444
+ <div class="ttc" id="aclassSVF_1_1AbstractState_html_a8d2a6e895d17181324cdeb9e2cf8f1de"><div class="ttname"><a href="classSVF_1_1AbstractState.html#a8d2a6e895d17181324cdeb9e2cf8f1de">SVF::AbstractState::widenWith</a></div><div class="ttdeci">void widenWith(const AbstractState &amp;other)</div><div class="ttdoc">domain widen with other, important! other widen this.</div><div class="ttdef"><b>Definition:</b> <a href="AbstractState_8cpp_source.html#l00101">AbstractState.cpp:101</a></div></div>
445
+ <div class="ttc" id="aclassSVF_1_1AbstractState_html_a413cb1d009e2a080960bb2432e193d0c"><div class="ttname"><a href="classSVF_1_1AbstractState.html#a413cb1d009e2a080960bb2432e193d0c">SVF::AbstractState::joinWith</a></div><div class="ttdeci">void joinWith(const AbstractState &amp;other)</div><div class="ttdoc">domain join with other, important! other widen this.</div><div class="ttdef"><b>Definition:</b> <a href="AbstractState_8cpp_source.html#l00120">AbstractState.cpp:120</a></div></div>
446
+ <div class="ttc" id="aclassSVF_1_1SparseAbstractState_html"><div class="ttname"><a href="classSVF_1_1SparseAbstractState.html">SVF::SparseAbstractState</a></div><div class="ttdef"><b>Definition:</b> <a href="AbstractState_8h_source.html#l00439">AbstractState.h:439</a></div></div>
447
+ <div class="ttc" id="acJSON_8h_html_ac76cea59d438ba893d2f82aabb367d14"><div class="ttname"><a href="cJSON_8h.html#ac76cea59d438ba893d2f82aabb367d14">item</a></div><div class="ttdeci">cJSON * item</div><div class="ttdef"><b>Definition:</b> <a href="cJSON_8h_source.html#l00222">cJSON.h:222</a></div></div>
448
+ <div class="ttc" id="aclassSVF_1_1AbstractState_html_aade30bb08f86b3f74e7aa9cdc60c92a3"><div class="ttname"><a href="classSVF_1_1AbstractState.html#aade30bb08f86b3f74e7aa9cdc60c92a3">SVF::AbstractState::_locToAbsVal</a></div><div class="ttdeci">LocToAbsValMap _locToAbsVal</div><div class="ttdoc">Map a memory address to its stored abstract value.</div><div class="ttdef"><b>Definition:</b> <a href="AbstractState_8h_source.html#l00168">AbstractState.h:168</a></div></div>
449
+ <div class="ttc" id="aclassSVF_1_1AbstractState_html_adec6191b9f1e51ed70a7620dd06153a9"><div class="ttname"><a href="classSVF_1_1AbstractState.html#adec6191b9f1e51ed70a7620dd06153a9">SVF::AbstractState::meetWith</a></div><div class="ttdeci">void meetWith(const AbstractState &amp;other)</div><div class="ttdoc">domain meet with other, important! other widen this.</div><div class="ttdef"><b>Definition:</b> <a href="AbstractState_8cpp_source.html#l00194">AbstractState.cpp:194</a></div></div>
450
+ <div class="ttc" id="aclassSVF_1_1SparseAbstractState_html_acf7c9f1f3e4344d03d34686806f522f4"><div class="ttname"><a href="classSVF_1_1SparseAbstractState.html#acf7c9f1f3e4344d03d34686806f522f4">SVF::SparseAbstractState::printExprValues</a></div><div class="ttdeci">virtual void printExprValues(std::ostream &amp;oss) const</div><div class="ttdoc">Print values of all expressions.</div><div class="ttdef"><b>Definition:</b> <a href="AbstractState_8cpp_source.html#l00348">AbstractState.cpp:348</a></div></div>
451
+ <div class="ttc" id="aclassSVF_1_1AbstractState_html_a61a9a3873426ad522d0b4c16eb2ac67b"><div class="ttname"><a href="classSVF_1_1AbstractState.html#a61a9a3873426ad522d0b4c16eb2ac67b">SVF::AbstractState::printTable</a></div><div class="ttdeci">void printTable(const VarToAbsValMap &amp;table, std::ostream &amp;oss) const</div><div class="ttdef"><b>Definition:</b> <a href="AbstractState_8cpp_source.html#l00247">AbstractState.cpp:247</a></div></div>
452
+ <div class="ttc" id="aclassSVF_1_1SparseAbstractState_html_a1b8fd82fa6d63135a32acd33e3618354"><div class="ttname"><a href="classSVF_1_1SparseAbstractState.html#a1b8fd82fa6d63135a32acd33e3618354">SVF::SparseAbstractState::hash</a></div><div class="ttdeci">u32_t hash() const</div><div class="ttdef"><b>Definition:</b> <a href="AbstractState_8cpp_source.html#l00276">AbstractState.cpp:276</a></div></div>
453
+ <div class="ttc" id="anamespaceSVF_html_ad42bff8d0a7d60a085aa32d10f4955af"><div class="ttname"><a href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">SVF::u32_t</a></div><div class="ttdeci">unsigned u32_t</div><div class="ttdef"><b>Definition:</b> <a href="GeneralType_8h_source.html#l00046">GeneralType.h:46</a></div></div>
454
+ <!-- start footer part -->
455
+ <hr class="footer"/><address class="footer"><small>
456
+ Generated by &#160;<a href="http://www.doxygen.org/index.html">
457
+ <img class="footer" src="doxygen.png" alt="doxygen"/>
458
+ </a> 1.8.17
459
+ </small></address>
460
+ </body>
461
+ </html>