svf-tools 1.0.905 → 1.0.907

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (438) hide show
  1. package/SVF-doxygen/html/AbstractInterpretation_8cpp.html +217 -0
  2. package/SVF-doxygen/html/AbstractInterpretation_8cpp_source.html +2093 -0
  3. package/SVF-doxygen/html/AbstractInterpretation_8h.html +115 -0
  4. package/SVF-doxygen/html/AbstractInterpretation_8h_source.html +459 -0
  5. package/SVF-doxygen/html/AbstractState_8cpp.html +84 -0
  6. package/SVF-doxygen/html/AbstractState_8cpp_source.html +461 -0
  7. package/SVF-doxygen/html/AbstractState_8h.html +105 -0
  8. package/SVF-doxygen/html/AbstractState_8h_source.html +891 -0
  9. package/SVF-doxygen/html/AbstractValue_8h.html +3 -3
  10. package/SVF-doxygen/html/AbstractValue_8h_source.html +652 -62
  11. package/SVF-doxygen/html/AddressValue_8h.html +4 -4
  12. package/SVF-doxygen/html/AddressValue_8h_source.html +180 -177
  13. package/SVF-doxygen/html/BufOverflowChecker_8cpp_source.html +782 -776
  14. package/SVF-doxygen/html/BufOverflowChecker_8h.html +1 -1
  15. package/SVF-doxygen/html/BufOverflowChecker_8h_source.html +19 -19
  16. package/SVF-doxygen/html/CFLGraph_8h_source.html +3 -3
  17. package/SVF-doxygen/html/CSC_8h_source.html +1 -1
  18. package/SVF-doxygen/html/ConsExeState_8cpp_source.html +1 -1
  19. package/SVF-doxygen/html/ConsExeState_8h_source.html +2 -2
  20. package/SVF-doxygen/html/ExeState_8cpp.html +1 -1
  21. package/SVF-doxygen/html/ExeState_8cpp_source.html +2 -2
  22. package/SVF-doxygen/html/ExeState_8h_source.html +8 -8
  23. package/SVF-doxygen/html/ICFGSimplification_8h.html +2 -2
  24. package/SVF-doxygen/html/ICFGSimplification_8h_source.html +17 -18
  25. package/SVF-doxygen/html/ICFG_8h_source.html +1 -1
  26. package/SVF-doxygen/html/IntervalValue_8h.html +2 -2
  27. package/SVF-doxygen/html/IntervalValue_8h_source.html +846 -864
  28. package/SVF-doxygen/html/LLVMModule_8cpp_source.html +1 -1
  29. package/SVF-doxygen/html/MSSAMuChi_8h_source.html +1 -1
  30. package/SVF-doxygen/html/MemRegion_8cpp_source.html +1 -1
  31. package/SVF-doxygen/html/ObjTypeInference_8cpp_source.html +1 -1
  32. package/SVF-doxygen/html/PointsTo_8cpp_source.html +3 -3
  33. package/SVF-doxygen/html/PointsTo_8h_source.html +3 -3
  34. package/SVF-doxygen/html/RelExeState_8h_source.html +5 -5
  35. package/SVF-doxygen/html/RelationSolver_8cpp_source.html +67 -68
  36. package/SVF-doxygen/html/RelationSolver_8h.html +1 -1
  37. package/SVF-doxygen/html/RelationSolver_8h_source.html +17 -17
  38. package/SVF-doxygen/html/SVFIR2AbsState_8cpp.html +84 -0
  39. package/SVF-doxygen/html/SVFIR2AbsState_8cpp_source.html +1348 -0
  40. package/SVF-doxygen/html/SVFIR2AbsState_8h.html +100 -0
  41. package/SVF-doxygen/html/SVFIR2AbsState_8h_source.html +378 -0
  42. package/SVF-doxygen/html/SVFIR2ConsExeState_8cpp_source.html +9 -8
  43. package/SVF-doxygen/html/SVFIR2ItvExeState_8cpp_source.html +920 -952
  44. package/SVF-doxygen/html/SVFIR2ItvExeState_8h.html +2 -3
  45. package/SVF-doxygen/html/SVFIR2ItvExeState_8h_source.html +202 -207
  46. package/SVF-doxygen/html/SVFIR2Relation_8cpp.html +1 -1
  47. package/SVF-doxygen/html/SVFIR2Relation_8cpp_source.html +76 -72
  48. package/SVF-doxygen/html/SVFType_8cpp_source.html +1 -1
  49. package/SVF-doxygen/html/SVFType_8h_source.html +1 -1
  50. package/SVF-doxygen/html/SVFValue_8h_source.html +1 -1
  51. package/SVF-doxygen/html/SparseBitVector_8h_source.html +3 -3
  52. package/SVF-doxygen/html/WorkList_8h_source.html +1 -1
  53. package/SVF-doxygen/html/ae_8cpp.html +57 -57
  54. package/SVF-doxygen/html/ae_8cpp_source.html +462 -466
  55. package/SVF-doxygen/html/annotated.html +409 -418
  56. package/SVF-doxygen/html/classSVF_1_1AEStat-members.html +2 -2
  57. package/SVF-doxygen/html/classSVF_1_1AEStat.html +184 -190
  58. package/SVF-doxygen/html/classSVF_1_1AbstractInterpretation-members.html +161 -0
  59. package/SVF-doxygen/html/classSVF_1_1AbstractInterpretation.html +4325 -0
  60. package/SVF-doxygen/html/classSVF_1_1AbstractInterpretation.png +0 -0
  61. package/SVF-doxygen/html/classSVF_1_1AbstractState-members.html +134 -0
  62. package/SVF-doxygen/html/classSVF_1_1AbstractState.html +2166 -0
  63. package/SVF-doxygen/html/classSVF_1_1AbstractState.png +0 -0
  64. package/SVF-doxygen/html/classSVF_1_1AddressValue-members.html +15 -28
  65. package/SVF-doxygen/html/classSVF_1_1AddressValue.html +171 -230
  66. package/SVF-doxygen/html/classSVF_1_1BoundedZ3Expr.html +0 -1
  67. package/SVF-doxygen/html/classSVF_1_1BoundedZ3Expr.png +0 -0
  68. package/SVF-doxygen/html/classSVF_1_1BufOverflowChecker-members.html +73 -73
  69. package/SVF-doxygen/html/classSVF_1_1BufOverflowChecker.html +578 -574
  70. package/SVF-doxygen/html/classSVF_1_1BufOverflowChecker.png +0 -0
  71. package/SVF-doxygen/html/classSVF_1_1CFLNode-members.html +48 -49
  72. package/SVF-doxygen/html/classSVF_1_1CFLNode.html +25 -25
  73. package/SVF-doxygen/html/classSVF_1_1ConsExeState.html +1 -1
  74. package/SVF-doxygen/html/classSVF_1_1ExeState.html +12 -14
  75. package/SVF-doxygen/html/classSVF_1_1ExeState.png +0 -0
  76. package/SVF-doxygen/html/classSVF_1_1FILOWorkList.html +3 -3
  77. package/SVF-doxygen/html/classSVF_1_1GenericNode.html +22 -8
  78. package/SVF-doxygen/html/classSVF_1_1GenericNode.png +0 -0
  79. package/SVF-doxygen/html/classSVF_1_1ICFGSimplification.html +1 -1
  80. package/SVF-doxygen/html/classSVF_1_1IntervalValue-members.html +50 -64
  81. package/SVF-doxygen/html/classSVF_1_1IntervalValue.html +349 -459
  82. package/SVF-doxygen/html/classSVF_1_1LLVMModuleSet.html +1 -1
  83. package/SVF-doxygen/html/classSVF_1_1ObjTypeInference.html +1 -1
  84. package/SVF-doxygen/html/classSVF_1_1RelExeState-members.html +1 -1
  85. package/SVF-doxygen/html/classSVF_1_1RelExeState.html +8 -8
  86. package/SVF-doxygen/html/classSVF_1_1RelationSolver-members.html +8 -8
  87. package/SVF-doxygen/html/classSVF_1_1RelationSolver.html +106 -107
  88. package/SVF-doxygen/html/classSVF_1_1SVFIR2AbsState-members.html +141 -0
  89. package/SVF-doxygen/html/classSVF_1_1SVFIR2AbsState.html +3137 -0
  90. package/SVF-doxygen/html/classSVF_1_1SVFIR2ConsExeState.html +5 -5
  91. package/SVF-doxygen/html/classSVF_1_1SVFIR2ItvExeState-members.html +56 -57
  92. package/SVF-doxygen/html/classSVF_1_1SVFIR2ItvExeState.html +1128 -1178
  93. package/SVF-doxygen/html/classSVF_1_1SVFStat.html +1 -1
  94. package/SVF-doxygen/html/classSVF_1_1SparseAbstractState-members.html +157 -0
  95. package/SVF-doxygen/html/classSVF_1_1SparseAbstractState.html +1512 -0
  96. package/SVF-doxygen/html/classSVF_1_1SparseAbstractState.png +0 -0
  97. package/SVF-doxygen/html/classSVF_1_1Z3Expr.html +0 -1
  98. package/SVF-doxygen/html/classSVF_1_1Z3Expr.png +0 -0
  99. package/SVF-doxygen/html/classSymblicAbstractionTest-members.html +3 -3
  100. package/SVF-doxygen/html/classSymblicAbstractionTest.html +400 -404
  101. package/SVF-doxygen/html/classes.html +326 -336
  102. package/SVF-doxygen/html/dir_2c6fb801affc4b3efe6e1ed5974683f6.html +2 -10
  103. package/SVF-doxygen/html/dir_81caa96ab1d3de93b353e2bbe80e6067.html +2 -4
  104. package/SVF-doxygen/html/dir_9a8e7a56f4029a0d9f62b1c6d1f6e85b.html +2 -8
  105. package/SVF-doxygen/html/dir_fbec400583b4bd6c5f2e89c86c5943a6.html +2 -4
  106. package/SVF-doxygen/html/fastcluster__dm_8cpp_8inc_source.html +1 -1
  107. package/SVF-doxygen/html/files.html +18 -27
  108. package/SVF-doxygen/html/functions.html +33 -56
  109. package/SVF-doxygen/html/functions_a.html +29 -42
  110. package/SVF-doxygen/html/functions_b.html +14 -21
  111. package/SVF-doxygen/html/functions_c.html +42 -52
  112. package/SVF-doxygen/html/functions_d.html +7 -4
  113. package/SVF-doxygen/html/functions_e.html +7 -21
  114. package/SVF-doxygen/html/functions_enum.html +4 -7
  115. package/SVF-doxygen/html/functions_eval.html +2 -2
  116. package/SVF-doxygen/html/functions_eval_c.html +0 -3
  117. package/SVF-doxygen/html/functions_eval_i.html +2 -3
  118. package/SVF-doxygen/html/functions_eval_m.html +2 -2
  119. package/SVF-doxygen/html/functions_eval_s.html +2 -5
  120. package/SVF-doxygen/html/functions_eval_u.html +4 -1
  121. package/SVF-doxygen/html/functions_f.html +6 -6
  122. package/SVF-doxygen/html/functions_func.html +24 -31
  123. package/SVF-doxygen/html/functions_func_b.html +10 -16
  124. package/SVF-doxygen/html/functions_func_c.html +30 -39
  125. package/SVF-doxygen/html/functions_func_d.html +1 -1
  126. package/SVF-doxygen/html/functions_func_e.html +7 -17
  127. package/SVF-doxygen/html/functions_func_g.html +61 -115
  128. package/SVF-doxygen/html/functions_func_h.html +22 -24
  129. package/SVF-doxygen/html/functions_func_i.html +64 -94
  130. package/SVF-doxygen/html/functions_func_j.html +4 -6
  131. package/SVF-doxygen/html/functions_func_l.html +9 -23
  132. package/SVF-doxygen/html/functions_func_m.html +7 -8
  133. package/SVF-doxygen/html/functions_func_n.html +8 -13
  134. package/SVF-doxygen/html/functions_func_o.html +57 -48
  135. package/SVF-doxygen/html/functions_func_p.html +6 -11
  136. package/SVF-doxygen/html/functions_func_r.html +4 -4
  137. package/SVF-doxygen/html/functions_func_s.html +35 -50
  138. package/SVF-doxygen/html/functions_func_t.html +26 -40
  139. package/SVF-doxygen/html/functions_func_u.html +6 -5
  140. package/SVF-doxygen/html/functions_func_v.html +2 -9
  141. package/SVF-doxygen/html/functions_func_w.html +9 -8
  142. package/SVF-doxygen/html/functions_func_z.html +1 -2
  143. package/SVF-doxygen/html/functions_func_~.html +10 -22
  144. package/SVF-doxygen/html/functions_g.html +61 -118
  145. package/SVF-doxygen/html/functions_h.html +21 -23
  146. package/SVF-doxygen/html/functions_i.html +76 -106
  147. package/SVF-doxygen/html/functions_j.html +4 -6
  148. package/SVF-doxygen/html/functions_k.html +0 -6
  149. package/SVF-doxygen/html/functions_l.html +11 -25
  150. package/SVF-doxygen/html/functions_m.html +8 -9
  151. package/SVF-doxygen/html/functions_n.html +14 -17
  152. package/SVF-doxygen/html/functions_o.html +71 -90
  153. package/SVF-doxygen/html/functions_p.html +31 -30
  154. package/SVF-doxygen/html/functions_r.html +11 -15
  155. package/SVF-doxygen/html/functions_rela.html +2 -3
  156. package/SVF-doxygen/html/functions_rela_b.html +0 -1
  157. package/SVF-doxygen/html/functions_rela_e.html +0 -1
  158. package/SVF-doxygen/html/functions_rela_i.html +0 -2
  159. package/SVF-doxygen/html/functions_rela_l.html +0 -1
  160. package/SVF-doxygen/html/functions_rela_o.html +0 -18
  161. package/SVF-doxygen/html/functions_rela_r.html +2 -2
  162. package/SVF-doxygen/html/functions_rela_s.html +4 -9
  163. package/SVF-doxygen/html/functions_s.html +45 -70
  164. package/SVF-doxygen/html/functions_t.html +29 -45
  165. package/SVF-doxygen/html/functions_type.html +0 -5
  166. package/SVF-doxygen/html/functions_type_c.html +1 -1
  167. package/SVF-doxygen/html/functions_type_k.html +0 -6
  168. package/SVF-doxygen/html/functions_type_l.html +4 -3
  169. package/SVF-doxygen/html/functions_type_t.html +0 -3
  170. package/SVF-doxygen/html/functions_type_v.html +3 -5
  171. package/SVF-doxygen/html/functions_u.html +8 -4
  172. package/SVF-doxygen/html/functions_v.html +11 -20
  173. package/SVF-doxygen/html/functions_vars.html +33 -56
  174. package/SVF-doxygen/html/functions_vars_a.html +3 -0
  175. package/SVF-doxygen/html/functions_vars_g.html +2 -5
  176. package/SVF-doxygen/html/functions_vars_i.html +3 -0
  177. package/SVF-doxygen/html/functions_vars_t.html +1 -0
  178. package/SVF-doxygen/html/functions_w.html +11 -10
  179. package/SVF-doxygen/html/functions_z.html +1 -2
  180. package/SVF-doxygen/html/functions_~.html +10 -22
  181. package/SVF-doxygen/html/globals.html +2 -2
  182. package/SVF-doxygen/html/globals_defs.html +1 -4
  183. package/SVF-doxygen/html/globals_n.html +2 -5
  184. package/SVF-doxygen/html/globals_s.html +1 -1
  185. package/SVF-doxygen/html/globals_vars.html +5 -5
  186. package/SVF-doxygen/html/globals_z.html +3 -3
  187. package/SVF-doxygen/html/hierarchy.html +622 -631
  188. package/SVF-doxygen/html/namespaceSVF.html +449 -458
  189. package/SVF-doxygen/html/search/all_0.js +155 -161
  190. package/SVF-doxygen/html/search/all_1.js +502 -503
  191. package/SVF-doxygen/html/search/all_10.js +325 -326
  192. package/SVF-doxygen/html/search/all_11.js +227 -227
  193. package/SVF-doxygen/html/search/all_12.js +563 -574
  194. package/SVF-doxygen/html/search/all_13.js +206 -208
  195. package/SVF-doxygen/html/search/all_14.js +74 -73
  196. package/SVF-doxygen/html/search/all_15.js +175 -176
  197. package/SVF-doxygen/html/search/all_16.js +77 -77
  198. package/SVF-doxygen/html/search/all_17.js +1 -1
  199. package/SVF-doxygen/html/search/all_18.js +1 -1
  200. package/SVF-doxygen/html/search/all_19.js +27 -27
  201. package/SVF-doxygen/html/search/all_1a.js +175 -179
  202. package/SVF-doxygen/html/search/all_2.js +180 -182
  203. package/SVF-doxygen/html/search/all_3.js +636 -642
  204. package/SVF-doxygen/html/search/all_4.js +237 -236
  205. package/SVF-doxygen/html/search/all_5.js +120 -126
  206. package/SVF-doxygen/html/search/all_6.js +236 -236
  207. package/SVF-doxygen/html/search/all_7.js +1040 -1056
  208. package/SVF-doxygen/html/search/all_8.js +211 -215
  209. package/SVF-doxygen/html/search/all_9.js +631 -638
  210. package/SVF-doxygen/html/search/all_a.js +46 -46
  211. package/SVF-doxygen/html/search/all_b.js +24 -26
  212. package/SVF-doxygen/html/search/all_c.js +113 -115
  213. package/SVF-doxygen/html/search/all_d.js +205 -205
  214. package/SVF-doxygen/html/search/all_e.js +207 -209
  215. package/SVF-doxygen/html/search/all_f.js +122 -122
  216. package/SVF-doxygen/html/search/classes_0.js +29 -28
  217. package/SVF-doxygen/html/search/classes_1.js +11 -11
  218. package/SVF-doxygen/html/search/classes_10.js +72 -74
  219. package/SVF-doxygen/html/search/classes_11.js +14 -14
  220. package/SVF-doxygen/html/search/classes_12.js +2 -2
  221. package/SVF-doxygen/html/search/classes_13.js +10 -10
  222. package/SVF-doxygen/html/search/classes_14.js +19 -19
  223. package/SVF-doxygen/html/search/classes_15.js +1 -1
  224. package/SVF-doxygen/html/search/classes_2.js +72 -73
  225. package/SVF-doxygen/html/search/classes_3.js +35 -35
  226. package/SVF-doxygen/html/search/classes_4.js +7 -8
  227. package/SVF-doxygen/html/search/classes_5.js +28 -28
  228. package/SVF-doxygen/html/search/classes_6.js +98 -98
  229. package/SVF-doxygen/html/search/classes_7.js +34 -38
  230. package/SVF-doxygen/html/search/classes_8.js +57 -59
  231. package/SVF-doxygen/html/search/classes_9.js +1 -1
  232. package/SVF-doxygen/html/search/classes_a.js +12 -12
  233. package/SVF-doxygen/html/search/classes_b.js +29 -29
  234. package/SVF-doxygen/html/search/classes_c.js +6 -6
  235. package/SVF-doxygen/html/search/classes_d.js +19 -19
  236. package/SVF-doxygen/html/search/classes_e.js +36 -36
  237. package/SVF-doxygen/html/search/classes_f.js +25 -25
  238. package/SVF-doxygen/html/search/defines_0.js +3 -3
  239. package/SVF-doxygen/html/search/defines_1.js +3 -3
  240. package/SVF-doxygen/html/search/defines_10.js +2 -2
  241. package/SVF-doxygen/html/search/defines_2.js +30 -30
  242. package/SVF-doxygen/html/search/defines_3.js +20 -20
  243. package/SVF-doxygen/html/search/defines_4.js +3 -3
  244. package/SVF-doxygen/html/search/defines_5.js +4 -4
  245. package/SVF-doxygen/html/search/defines_6.js +2 -2
  246. package/SVF-doxygen/html/search/defines_7.js +5 -5
  247. package/SVF-doxygen/html/search/defines_8.js +11 -11
  248. package/SVF-doxygen/html/search/defines_9.js +9 -9
  249. package/SVF-doxygen/html/search/defines_a.js +2 -2
  250. package/SVF-doxygen/html/search/defines_b.js +1 -1
  251. package/SVF-doxygen/html/search/defines_c.js +3 -4
  252. package/SVF-doxygen/html/search/defines_d.js +2 -2
  253. package/SVF-doxygen/html/search/defines_e.js +8 -8
  254. package/SVF-doxygen/html/search/defines_f.js +4 -4
  255. package/SVF-doxygen/html/search/enums_0.js +3 -4
  256. package/SVF-doxygen/html/search/enums_1.js +2 -2
  257. package/SVF-doxygen/html/search/enums_10.js +1 -1
  258. package/SVF-doxygen/html/search/enums_11.js +1 -1
  259. package/SVF-doxygen/html/search/enums_2.js +9 -9
  260. package/SVF-doxygen/html/search/enums_3.js +2 -1
  261. package/SVF-doxygen/html/search/enums_4.js +3 -4
  262. package/SVF-doxygen/html/search/enums_5.js +1 -1
  263. package/SVF-doxygen/html/search/enums_6.js +2 -2
  264. package/SVF-doxygen/html/search/enums_7.js +2 -2
  265. package/SVF-doxygen/html/search/enums_8.js +4 -4
  266. package/SVF-doxygen/html/search/enums_9.js +1 -1
  267. package/SVF-doxygen/html/search/enums_a.js +1 -1
  268. package/SVF-doxygen/html/search/enums_b.js +7 -7
  269. package/SVF-doxygen/html/search/enums_c.js +1 -1
  270. package/SVF-doxygen/html/search/enums_d.js +4 -4
  271. package/SVF-doxygen/html/search/enums_e.js +2 -2
  272. package/SVF-doxygen/html/search/enums_f.js +4 -4
  273. package/SVF-doxygen/html/search/enumvalues_0.js +15 -15
  274. package/SVF-doxygen/html/search/enumvalues_1.js +16 -16
  275. package/SVF-doxygen/html/search/enumvalues_10.js +36 -36
  276. package/SVF-doxygen/html/search/enumvalues_11.js +6 -5
  277. package/SVF-doxygen/html/search/enumvalues_12.js +10 -10
  278. package/SVF-doxygen/html/search/enumvalues_13.js +1 -1
  279. package/SVF-doxygen/html/search/enumvalues_14.js +1 -1
  280. package/SVF-doxygen/html/search/enumvalues_15.js +4 -4
  281. package/SVF-doxygen/html/search/enumvalues_2.js +36 -37
  282. package/SVF-doxygen/html/search/enumvalues_3.js +13 -13
  283. package/SVF-doxygen/html/search/enumvalues_4.js +2 -2
  284. package/SVF-doxygen/html/search/enumvalues_5.js +50 -50
  285. package/SVF-doxygen/html/search/enumvalues_6.js +6 -6
  286. package/SVF-doxygen/html/search/enumvalues_7.js +8 -8
  287. package/SVF-doxygen/html/search/enumvalues_8.js +24 -24
  288. package/SVF-doxygen/html/search/enumvalues_9.js +6 -6
  289. package/SVF-doxygen/html/search/enumvalues_a.js +17 -17
  290. package/SVF-doxygen/html/search/enumvalues_b.js +11 -11
  291. package/SVF-doxygen/html/search/enumvalues_c.js +5 -5
  292. package/SVF-doxygen/html/search/enumvalues_d.js +19 -19
  293. package/SVF-doxygen/html/search/enumvalues_e.js +9 -9
  294. package/SVF-doxygen/html/search/enumvalues_f.js +48 -49
  295. package/SVF-doxygen/html/search/files_0.js +18 -16
  296. package/SVF-doxygen/html/search/files_1.js +9 -9
  297. package/SVF-doxygen/html/search/files_10.js +8 -8
  298. package/SVF-doxygen/html/search/files_11.js +8 -8
  299. package/SVF-doxygen/html/search/files_12.js +2 -2
  300. package/SVF-doxygen/html/search/files_2.js +51 -53
  301. package/SVF-doxygen/html/search/files_3.js +14 -14
  302. package/SVF-doxygen/html/search/files_4.js +3 -5
  303. package/SVF-doxygen/html/search/files_5.js +13 -13
  304. package/SVF-doxygen/html/search/files_6.js +10 -10
  305. package/SVF-doxygen/html/search/files_7.js +15 -17
  306. package/SVF-doxygen/html/search/files_8.js +13 -13
  307. package/SVF-doxygen/html/search/files_9.js +18 -18
  308. package/SVF-doxygen/html/search/files_a.js +3 -3
  309. package/SVF-doxygen/html/search/files_b.js +4 -4
  310. package/SVF-doxygen/html/search/files_c.js +20 -20
  311. package/SVF-doxygen/html/search/files_d.js +4 -4
  312. package/SVF-doxygen/html/search/files_e.js +57 -62
  313. package/SVF-doxygen/html/search/files_f.js +8 -8
  314. package/SVF-doxygen/html/search/functions_0.js +13 -13
  315. package/SVF-doxygen/html/search/functions_1.js +366 -368
  316. package/SVF-doxygen/html/search/functions_10.js +139 -140
  317. package/SVF-doxygen/html/search/functions_11.js +140 -140
  318. package/SVF-doxygen/html/search/functions_12.js +294 -299
  319. package/SVF-doxygen/html/search/functions_13.js +72 -73
  320. package/SVF-doxygen/html/search/functions_14.js +41 -41
  321. package/SVF-doxygen/html/search/functions_15.js +70 -72
  322. package/SVF-doxygen/html/search/functions_16.js +38 -38
  323. package/SVF-doxygen/html/search/functions_17.js +3 -3
  324. package/SVF-doxygen/html/search/functions_18.js +175 -179
  325. package/SVF-doxygen/html/search/functions_2.js +92 -94
  326. package/SVF-doxygen/html/search/functions_3.js +258 -261
  327. package/SVF-doxygen/html/search/functions_4.js +85 -85
  328. package/SVF-doxygen/html/search/functions_5.js +54 -57
  329. package/SVF-doxygen/html/search/functions_6.js +65 -65
  330. package/SVF-doxygen/html/search/functions_7.js +857 -872
  331. package/SVF-doxygen/html/search/functions_8.js +162 -162
  332. package/SVF-doxygen/html/search/functions_9.js +440 -446
  333. package/SVF-doxygen/html/search/functions_a.js +30 -30
  334. package/SVF-doxygen/html/search/functions_b.js +2 -2
  335. package/SVF-doxygen/html/search/functions_c.js +22 -25
  336. package/SVF-doxygen/html/search/functions_d.js +82 -82
  337. package/SVF-doxygen/html/search/functions_e.js +34 -36
  338. package/SVF-doxygen/html/search/functions_f.js +58 -58
  339. package/SVF-doxygen/html/search/namespaces_0.js +1 -1
  340. package/SVF-doxygen/html/search/namespaces_1.js +7 -7
  341. package/SVF-doxygen/html/search/related_0.js +4 -4
  342. package/SVF-doxygen/html/search/related_1.js +2 -2
  343. package/SVF-doxygen/html/search/related_2.js +2 -2
  344. package/SVF-doxygen/html/search/related_3.js +2 -2
  345. package/SVF-doxygen/html/search/related_4.js +2 -2
  346. package/SVF-doxygen/html/search/related_5.js +1 -1
  347. package/SVF-doxygen/html/search/related_6.js +2 -2
  348. package/SVF-doxygen/html/search/related_7.js +5 -5
  349. package/SVF-doxygen/html/search/related_8.js +2 -2
  350. package/SVF-doxygen/html/search/related_9.js +4 -4
  351. package/SVF-doxygen/html/search/related_a.js +19 -19
  352. package/SVF-doxygen/html/search/related_b.js +4 -4
  353. package/SVF-doxygen/html/search/related_c.js +2 -2
  354. package/SVF-doxygen/html/search/related_d.js +11 -12
  355. package/SVF-doxygen/html/search/related_e.js +2 -2
  356. package/SVF-doxygen/html/search/related_f.js +2 -2
  357. package/SVF-doxygen/html/search/typedefs_0.js +18 -19
  358. package/SVF-doxygen/html/search/typedefs_1.js +27 -27
  359. package/SVF-doxygen/html/search/typedefs_10.js +65 -65
  360. package/SVF-doxygen/html/search/typedefs_11.js +12 -13
  361. package/SVF-doxygen/html/search/typedefs_12.js +13 -13
  362. package/SVF-doxygen/html/search/typedefs_13.js +40 -40
  363. package/SVF-doxygen/html/search/typedefs_14.js +11 -11
  364. package/SVF-doxygen/html/search/typedefs_2.js +125 -125
  365. package/SVF-doxygen/html/search/typedefs_3.js +39 -39
  366. package/SVF-doxygen/html/search/typedefs_4.js +17 -17
  367. package/SVF-doxygen/html/search/typedefs_5.js +42 -42
  368. package/SVF-doxygen/html/search/typedefs_6.js +54 -54
  369. package/SVF-doxygen/html/search/typedefs_7.js +47 -47
  370. package/SVF-doxygen/html/search/typedefs_8.js +1 -1
  371. package/SVF-doxygen/html/search/typedefs_9.js +4 -6
  372. package/SVF-doxygen/html/search/typedefs_a.js +30 -29
  373. package/SVF-doxygen/html/search/typedefs_b.js +29 -29
  374. package/SVF-doxygen/html/search/typedefs_c.js +41 -41
  375. package/SVF-doxygen/html/search/typedefs_d.js +15 -15
  376. package/SVF-doxygen/html/search/typedefs_e.js +52 -52
  377. package/SVF-doxygen/html/search/typedefs_f.js +14 -14
  378. package/SVF-doxygen/html/search/variables_0.js +171 -177
  379. package/SVF-doxygen/html/search/variables_1.js +78 -77
  380. package/SVF-doxygen/html/search/variables_10.js +98 -98
  381. package/SVF-doxygen/html/search/variables_11.js +47 -47
  382. package/SVF-doxygen/html/search/variables_12.js +93 -93
  383. package/SVF-doxygen/html/search/variables_13.js +76 -76
  384. package/SVF-doxygen/html/search/variables_14.js +14 -14
  385. package/SVF-doxygen/html/search/variables_15.js +49 -49
  386. package/SVF-doxygen/html/search/variables_16.js +11 -11
  387. package/SVF-doxygen/html/search/variables_17.js +1 -1
  388. package/SVF-doxygen/html/search/variables_18.js +17 -17
  389. package/SVF-doxygen/html/search/variables_2.js +40 -40
  390. package/SVF-doxygen/html/search/variables_3.js +143 -143
  391. package/SVF-doxygen/html/search/variables_4.js +51 -51
  392. package/SVF-doxygen/html/search/variables_5.js +39 -39
  393. package/SVF-doxygen/html/search/variables_6.js +66 -66
  394. package/SVF-doxygen/html/search/variables_7.js +33 -34
  395. package/SVF-doxygen/html/search/variables_8.js +8 -8
  396. package/SVF-doxygen/html/search/variables_9.js +80 -79
  397. package/SVF-doxygen/html/search/variables_a.js +4 -4
  398. package/SVF-doxygen/html/search/variables_b.js +10 -10
  399. package/SVF-doxygen/html/search/variables_c.js +44 -44
  400. package/SVF-doxygen/html/search/variables_d.js +58 -58
  401. package/SVF-doxygen/html/search/variables_e.js +123 -123
  402. package/SVF-doxygen/html/search/variables_f.js +31 -31
  403. package/SVF-doxygen/html/structSVF_1_1AbstractValue-members.html +164 -0
  404. package/SVF-doxygen/html/structSVF_1_1AbstractValue.html +2820 -0
  405. package/SVF-doxygen/html/structstd_1_1hash_3_01SVF_1_1SparseAbstractState_01_4-members.html +84 -0
  406. package/SVF-doxygen/html/structstd_1_1hash_3_01SVF_1_1SparseAbstractState_01_4.html +130 -0
  407. package/SVF-doxygen/html/svf-ex_8cpp.html +25 -25
  408. package/SVF-doxygen/html/svf-ex_8cpp_source.html +26 -26
  409. package/package.json +1 -1
  410. package/svf/include/AE/Core/AbstractState.h +749 -0
  411. package/svf/include/AE/Core/AbstractValue.h +514 -39
  412. package/svf/include/AE/Core/AddressValue.h +32 -25
  413. package/svf/include/AE/Core/IntervalValue.h +10 -24
  414. package/svf/include/AE/Core/RelExeState.h +1 -1
  415. package/svf/include/AE/Core/RelationSolver.h +9 -9
  416. package/svf/include/AE/Svfexe/{AbstractExecution.h → AbstractInterpretation.h} +27 -26
  417. package/svf/include/AE/Svfexe/BufOverflowChecker.h +5 -5
  418. package/svf/include/AE/Svfexe/ICFGSimplification.h +1 -2
  419. package/svf/include/AE/Svfexe/{SVFIR2ItvExeState.h → SVFIR2AbsState.h} +30 -33
  420. package/svf/lib/AE/Core/AbstractState.cpp +357 -0
  421. package/svf/lib/AE/Core/RelationSolver.cpp +31 -31
  422. package/svf/lib/AE/Core/SVFIR2Relation.cpp +17 -16
  423. package/svf/lib/AE/Svfexe/{AbstractExecution.cpp → AbstractInterpretation.cpp} +166 -156
  424. package/svf/lib/AE/Svfexe/BufOverflowChecker.cpp +51 -47
  425. package/svf/lib/AE/Svfexe/{SVFIR2ItvExeState.cpp → SVFIR2AbsState.cpp} +211 -247
  426. package/svf-llvm/tools/AE/ae.cpp +105 -108
  427. package/svf-llvm/tools/Example/svf-ex.cpp +2 -2
  428. package/svf/include/AE/Core/ConsExeState.h +0 -453
  429. package/svf/include/AE/Core/ExeState.h +0 -304
  430. package/svf/include/AE/Core/IntervalExeState.h +0 -650
  431. package/svf/include/AE/Core/SingleAbsValue.h +0 -477
  432. package/svf/include/AE/Core/SymState.h +0 -221
  433. package/svf/include/AE/Svfexe/SVFIR2ConsExeState.h +0 -148
  434. package/svf/lib/AE/Core/ConsExeState.cpp +0 -603
  435. package/svf/lib/AE/Core/ExeState.cpp +0 -117
  436. package/svf/lib/AE/Core/IntervalExeState.cpp +0 -329
  437. package/svf/lib/AE/Core/SymState.cpp +0 -37
  438. package/svf/lib/AE/Svfexe/SVFIR2ConsExeState.cpp +0 -772
package/SVF-doxygen/html/classSVF_1_1AbstractState.html ADDED
@@ -0,0 +1,2166 @@
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: SVF::AbstractState Class Reference</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="namespaceSVF.html">SVF</a></li><li class="navelem"><a class="el" href="classSVF_1_1AbstractState.html">AbstractState</a></li> </ul>
65
+ </div>
66
+ </div><!-- top -->
67
+ <div class="header">
68
+ <div class="summary">
69
+ <a href="#pub-types">Public Types</a> &#124;
70
+ <a href="#pub-methods">Public Member Functions</a> &#124;
71
+ <a href="#pub-static-methods">Static Public Member Functions</a> &#124;
72
+ <a href="#pro-methods">Protected Member Functions</a> &#124;
73
+ <a href="#pro-attribs">Protected Attributes</a> &#124;
74
+ <a href="#friends">Friends</a> &#124;
75
+ <a href="classSVF_1_1AbstractState-members.html">List of all members</a> </div>
76
+ <div class="headertitle">
77
+ <div class="title">SVF::AbstractState Class Reference</div> </div>
78
+ </div><!--header-->
79
+ <div class="contents">
80
+
81
+ <p><code>#include &lt;<a class="el" href="AbstractState_8h_source.html">AbstractState.h</a>&gt;</code></p>
82
+ <div class="dynheader">
83
+ Inheritance diagram for SVF::AbstractState:</div>
84
+ <div class="dyncontent">
85
+ <div class="center">
86
+ <img src="classSVF_1_1AbstractState.png" usemap="#SVF::AbstractState_map" alt=""/>
87
+ <map id="SVF::AbstractState_map" name="SVF::AbstractState_map">
88
+ <area href="classSVF_1_1SparseAbstractState.html" alt="SVF::SparseAbstractState" shape="rect" coords="0,56,158,80"/>
89
+ </map>
90
+ </div></div>
91
+ <table class="memberdecls">
92
+ <tr class="heading"><td colspan="2"><h2 class="groupheader"><a name="pub-types"></a>
93
+ Public Types</h2></td></tr>
94
+ <tr class="memitem:ab8e7d112c380f0c3fe66b487af90c03e"><td class="memItemLeft" align="right" valign="top">typedef <a class="el" href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">Map</a>&lt; <a class="el" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a>, <a class="el" href="structSVF_1_1AbstractValue.html">AbstractValue</a> &gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1AbstractState.html#ab8e7d112c380f0c3fe66b487af90c03e">VarToAbsValMap</a></td></tr>
95
+ <tr class="separator:ab8e7d112c380f0c3fe66b487af90c03e"><td class="memSeparator" colspan="2">&#160;</td></tr>
96
+ <tr class="memitem:a046e475067c101430f87d67965ecfb08"><td class="memItemLeft" align="right" valign="top">typedef <a class="el" href="classSVF_1_1AbstractState.html#ab8e7d112c380f0c3fe66b487af90c03e">VarToAbsValMap</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1AbstractState.html#a046e475067c101430f87d67965ecfb08">LocToAbsValMap</a></td></tr>
97
+ <tr class="separator:a046e475067c101430f87d67965ecfb08"><td class="memSeparator" colspan="2">&#160;</td></tr>
98
+ </table><table class="memberdecls">
99
+ <tr class="heading"><td colspan="2"><h2 class="groupheader"><a name="pub-methods"></a>
100
+ Public Member Functions</h2></td></tr>
101
+ <tr class="memitem:aac4048e1e39f2dbc16f20b7ffe61af5e"><td class="memItemLeft" align="right" valign="top">&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1AbstractState.html#aac4048e1e39f2dbc16f20b7ffe61af5e">AbstractState</a> ()</td></tr>
102
+ <tr class="memdesc:aac4048e1e39f2dbc16f20b7ffe61af5e"><td class="mdescLeft">&#160;</td><td class="mdescRight">default constructor <a href="classSVF_1_1AbstractState.html#aac4048e1e39f2dbc16f20b7ffe61af5e">More...</a><br /></td></tr>
103
+ <tr class="separator:aac4048e1e39f2dbc16f20b7ffe61af5e"><td class="memSeparator" colspan="2">&#160;</td></tr>
104
+ <tr class="memitem:a6772fed9390734578b46b85cbf9ba95f"><td class="memItemLeft" align="right" valign="top">&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1AbstractState.html#a6772fed9390734578b46b85cbf9ba95f">AbstractState</a> (<a class="el" href="classSVF_1_1AbstractState.html#ab8e7d112c380f0c3fe66b487af90c03e">VarToAbsValMap</a> &amp;_varToValMap, <a class="el" href="classSVF_1_1AbstractState.html#a046e475067c101430f87d67965ecfb08">LocToAbsValMap</a> &amp;_locToValMap)</td></tr>
105
+ <tr class="separator:a6772fed9390734578b46b85cbf9ba95f"><td class="memSeparator" colspan="2">&#160;</td></tr>
106
+ <tr class="memitem:a4b2af0674aa1fd6689dc2660c4e7e812"><td class="memItemLeft" align="right" valign="top">&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1AbstractState.html#a4b2af0674aa1fd6689dc2660c4e7e812">AbstractState</a> (const <a class="el" href="classSVF_1_1AbstractState.html">AbstractState</a> &amp;rhs)</td></tr>
107
+ <tr class="memdesc:a4b2af0674aa1fd6689dc2660c4e7e812"><td class="mdescLeft">&#160;</td><td class="mdescRight">copy constructor <a href="classSVF_1_1AbstractState.html#a4b2af0674aa1fd6689dc2660c4e7e812">More...</a><br /></td></tr>
108
+ <tr class="separator:a4b2af0674aa1fd6689dc2660c4e7e812"><td class="memSeparator" colspan="2">&#160;</td></tr>
109
+ <tr class="memitem:ab956eb2731209fa52a8e4812d3ab8b37"><td class="memItemLeft" align="right" valign="top">virtual&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1AbstractState.html#ab956eb2731209fa52a8e4812d3ab8b37">~AbstractState</a> ()=default</td></tr>
110
+ <tr class="separator:ab956eb2731209fa52a8e4812d3ab8b37"><td class="memSeparator" colspan="2">&#160;</td></tr>
111
+ <tr class="memitem:ae7cf1e64c5d6c04c1c37e0075ab32880"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1AbstractState.html">AbstractState</a> &amp;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1AbstractState.html#ae7cf1e64c5d6c04c1c37e0075ab32880">operator=</a> (const <a class="el" href="classSVF_1_1AbstractState.html">AbstractState</a> &amp;rhs)</td></tr>
112
+ <tr class="separator:ae7cf1e64c5d6c04c1c37e0075ab32880"><td class="memSeparator" colspan="2">&#160;</td></tr>
113
+ <tr class="memitem:a67293389b28ed9ad361ec7ed92bd72dc"><td class="memItemLeft" align="right" valign="top">&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1AbstractState.html#a67293389b28ed9ad361ec7ed92bd72dc">AbstractState</a> (<a class="el" href="classSVF_1_1AbstractState.html">AbstractState</a> &amp;&amp;rhs)</td></tr>
114
+ <tr class="memdesc:a67293389b28ed9ad361ec7ed92bd72dc"><td class="mdescLeft">&#160;</td><td class="mdescRight">move constructor <a href="classSVF_1_1AbstractState.html#a67293389b28ed9ad361ec7ed92bd72dc">More...</a><br /></td></tr>
115
+ <tr class="separator:a67293389b28ed9ad361ec7ed92bd72dc"><td class="memSeparator" colspan="2">&#160;</td></tr>
116
+ <tr class="memitem:af1ec2c0fcc4d87d07d4d87232085435c"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1AbstractState.html">AbstractState</a> &amp;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1AbstractState.html#af1ec2c0fcc4d87d07d4d87232085435c">operator=</a> (<a class="el" href="classSVF_1_1AbstractState.html">AbstractState</a> &amp;&amp;rhs)</td></tr>
117
+ <tr class="memdesc:af1ec2c0fcc4d87d07d4d87232085435c"><td class="mdescLeft">&#160;</td><td class="mdescRight">operator= move constructor <a href="classSVF_1_1AbstractState.html#af1ec2c0fcc4d87d07d4d87232085435c">More...</a><br /></td></tr>
118
+ <tr class="separator:af1ec2c0fcc4d87d07d4d87232085435c"><td class="memSeparator" colspan="2">&#160;</td></tr>
119
+ <tr class="memitem:a325ac3691d7252d0dcef9aa5f774b4c4"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1AbstractState.html">AbstractState</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1AbstractState.html#a325ac3691d7252d0dcef9aa5f774b4c4">bottom</a> () const</td></tr>
120
+ <tr class="memdesc:a325ac3691d7252d0dcef9aa5f774b4c4"><td class="mdescLeft">&#160;</td><td class="mdescRight">Set all value bottom. <a href="classSVF_1_1AbstractState.html#a325ac3691d7252d0dcef9aa5f774b4c4">More...</a><br /></td></tr>
121
+ <tr class="separator:a325ac3691d7252d0dcef9aa5f774b4c4"><td class="memSeparator" colspan="2">&#160;</td></tr>
122
+ <tr class="memitem:ac34dc4e111967507950bd5afe4a59ea0"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1AbstractState.html">AbstractState</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1AbstractState.html#ac34dc4e111967507950bd5afe4a59ea0">top</a> () const</td></tr>
123
+ <tr class="memdesc:ac34dc4e111967507950bd5afe4a59ea0"><td class="mdescLeft">&#160;</td><td class="mdescRight">Set all value top. <a href="classSVF_1_1AbstractState.html#ac34dc4e111967507950bd5afe4a59ea0">More...</a><br /></td></tr>
124
+ <tr class="separator:ac34dc4e111967507950bd5afe4a59ea0"><td class="memSeparator" colspan="2">&#160;</td></tr>
125
+ <tr class="memitem:ae9897b85e3cb2dc675d3a2df76c44878"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1AbstractState.html">AbstractState</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1AbstractState.html#ae9897b85e3cb2dc675d3a2df76c44878">sliceState</a> (<a class="el" href="namespaceSVF.html#af739db846e47ba6b2fd15eaad31ab7fb">Set</a>&lt; <a class="el" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> &gt; &amp;sl)</td></tr>
126
+ <tr class="memdesc:ae9897b85e3cb2dc675d3a2df76c44878"><td class="mdescLeft">&#160;</td><td class="mdescRight">Copy some values and return a new IntervalExeState. <a href="classSVF_1_1AbstractState.html#ae9897b85e3cb2dc675d3a2df76c44878">More...</a><br /></td></tr>
127
+ <tr class="separator:ae9897b85e3cb2dc675d3a2df76c44878"><td class="memSeparator" colspan="2">&#160;</td></tr>
128
+ <tr class="memitem:a9666e46ba217b65e1482269055806034"><td class="memItemLeft" align="right" valign="top">virtual <a class="el" href="structSVF_1_1AbstractValue.html">AbstractValue</a> &amp;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1AbstractState.html#a9666e46ba217b65e1482269055806034">operator[]</a> (<a class="el" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> varId)</td></tr>
129
+ <tr class="memdesc:a9666e46ba217b65e1482269055806034"><td class="mdescLeft">&#160;</td><td class="mdescRight">get abstract value of variable <a href="classSVF_1_1AbstractState.html#a9666e46ba217b65e1482269055806034">More...</a><br /></td></tr>
130
+ <tr class="separator:a9666e46ba217b65e1482269055806034"><td class="memSeparator" colspan="2">&#160;</td></tr>
131
+ <tr class="memitem:ac4f511baa4ca9ecc1d6a3defae194ac5"><td class="memItemLeft" align="right" valign="top">virtual const <a class="el" href="structSVF_1_1AbstractValue.html">AbstractValue</a> &amp;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1AbstractState.html#ac4f511baa4ca9ecc1d6a3defae194ac5">operator[]</a> (<a class="el" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> varId) const</td></tr>
132
+ <tr class="memdesc:ac4f511baa4ca9ecc1d6a3defae194ac5"><td class="mdescLeft">&#160;</td><td class="mdescRight">get abstract value of variable <a href="classSVF_1_1AbstractState.html#ac4f511baa4ca9ecc1d6a3defae194ac5">More...</a><br /></td></tr>
133
+ <tr class="separator:ac4f511baa4ca9ecc1d6a3defae194ac5"><td class="memSeparator" colspan="2">&#160;</td></tr>
134
+ <tr class="memitem:aa34516a95191c5ec56ce44a117e8b018"><td class="memItemLeft" align="right" valign="top">bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1AbstractState.html#aa34516a95191c5ec56ce44a117e8b018">inVarToAddrsTable</a> (<a class="el" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> id) const</td></tr>
135
+ <tr class="memdesc:aa34516a95191c5ec56ce44a117e8b018"><td class="mdescLeft">&#160;</td><td class="mdescRight">whether the variable is in varToAddrs table <a href="classSVF_1_1AbstractState.html#aa34516a95191c5ec56ce44a117e8b018">More...</a><br /></td></tr>
136
+ <tr class="separator:aa34516a95191c5ec56ce44a117e8b018"><td class="memSeparator" colspan="2">&#160;</td></tr>
137
+ <tr class="memitem:ab4d209d0739f2c45dbc2a7e61318e2e3"><td class="memItemLeft" align="right" valign="top">virtual bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1AbstractState.html#ab4d209d0739f2c45dbc2a7e61318e2e3">inVarToValTable</a> (<a class="el" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> id) const</td></tr>
138
+ <tr class="memdesc:ab4d209d0739f2c45dbc2a7e61318e2e3"><td class="mdescLeft">&#160;</td><td class="mdescRight">whether the variable is in varToVal table <a href="classSVF_1_1AbstractState.html#ab4d209d0739f2c45dbc2a7e61318e2e3">More...</a><br /></td></tr>
139
+ <tr class="separator:ab4d209d0739f2c45dbc2a7e61318e2e3"><td class="memSeparator" colspan="2">&#160;</td></tr>
140
+ <tr class="memitem:aff46e9d0fb20cedd54323c808d06f7cf"><td class="memItemLeft" align="right" valign="top">bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1AbstractState.html#aff46e9d0fb20cedd54323c808d06f7cf">inLocToAddrsTable</a> (<a class="el" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> id) const</td></tr>
141
+ <tr class="memdesc:aff46e9d0fb20cedd54323c808d06f7cf"><td class="mdescLeft">&#160;</td><td class="mdescRight">whether the memory address stores memory addresses <a href="classSVF_1_1AbstractState.html#aff46e9d0fb20cedd54323c808d06f7cf">More...</a><br /></td></tr>
142
+ <tr class="separator:aff46e9d0fb20cedd54323c808d06f7cf"><td class="memSeparator" colspan="2">&#160;</td></tr>
143
+ <tr class="memitem:aa2ac2ba25a9859232717ee22192feb35"><td class="memItemLeft" align="right" valign="top">virtual bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1AbstractState.html#aa2ac2ba25a9859232717ee22192feb35">inLocToValTable</a> (<a class="el" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> id) const</td></tr>
144
+ <tr class="memdesc:aa2ac2ba25a9859232717ee22192feb35"><td class="mdescLeft">&#160;</td><td class="mdescRight">whether the memory address stores abstract value <a href="classSVF_1_1AbstractState.html#aa2ac2ba25a9859232717ee22192feb35">More...</a><br /></td></tr>
145
+ <tr class="separator:aa2ac2ba25a9859232717ee22192feb35"><td class="memSeparator" colspan="2">&#160;</td></tr>
146
+ <tr class="memitem:a4e4525823fd31c718216c698ed6e0a06"><td class="memItemLeft" align="right" valign="top">const <a class="el" href="classSVF_1_1AbstractState.html#ab8e7d112c380f0c3fe66b487af90c03e">VarToAbsValMap</a> &amp;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1AbstractState.html#a4e4525823fd31c718216c698ed6e0a06">getVarToVal</a> () const</td></tr>
147
+ <tr class="memdesc:a4e4525823fd31c718216c698ed6e0a06"><td class="mdescLeft">&#160;</td><td class="mdescRight">get var2val map <a href="classSVF_1_1AbstractState.html#a4e4525823fd31c718216c698ed6e0a06">More...</a><br /></td></tr>
148
+ <tr class="separator:a4e4525823fd31c718216c698ed6e0a06"><td class="memSeparator" colspan="2">&#160;</td></tr>
149
+ <tr class="memitem:ab409b0084c202ddf437b45873d6992c6"><td class="memItemLeft" align="right" valign="top">const <a class="el" href="classSVF_1_1AbstractState.html#a046e475067c101430f87d67965ecfb08">LocToAbsValMap</a> &amp;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1AbstractState.html#ab409b0084c202ddf437b45873d6992c6">getLocToVal</a> () const</td></tr>
150
+ <tr class="memdesc:ab409b0084c202ddf437b45873d6992c6"><td class="mdescLeft">&#160;</td><td class="mdescRight">get loc2val map <a href="classSVF_1_1AbstractState.html#ab409b0084c202ddf437b45873d6992c6">More...</a><br /></td></tr>
151
+ <tr class="separator:ab409b0084c202ddf437b45873d6992c6"><td class="memSeparator" colspan="2">&#160;</td></tr>
152
+ <tr class="memitem:afd37c4419cfc79b6765fa243fcbea573"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1AbstractState.html">AbstractState</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1AbstractState.html#afd37c4419cfc79b6765fa243fcbea573">widening</a> (const <a class="el" href="classSVF_1_1AbstractState.html">AbstractState</a> &amp;other)</td></tr>
153
+ <tr class="memdesc:afd37c4419cfc79b6765fa243fcbea573"><td class="mdescLeft">&#160;</td><td class="mdescRight">domain widen with other, and return the widened domain <a href="classSVF_1_1AbstractState.html#afd37c4419cfc79b6765fa243fcbea573">More...</a><br /></td></tr>
154
+ <tr class="separator:afd37c4419cfc79b6765fa243fcbea573"><td class="memSeparator" colspan="2">&#160;</td></tr>
155
+ <tr class="memitem:aa9f048614c0bdbe5e8562bfcc6288a97"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1AbstractState.html">AbstractState</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1AbstractState.html#aa9f048614c0bdbe5e8562bfcc6288a97">narrowing</a> (const <a class="el" href="classSVF_1_1AbstractState.html">AbstractState</a> &amp;other)</td></tr>
156
+ <tr class="memdesc:aa9f048614c0bdbe5e8562bfcc6288a97"><td class="mdescLeft">&#160;</td><td class="mdescRight">domain narrow with other, and return the narrowed domain <a href="classSVF_1_1AbstractState.html#aa9f048614c0bdbe5e8562bfcc6288a97">More...</a><br /></td></tr>
157
+ <tr class="separator:aa9f048614c0bdbe5e8562bfcc6288a97"><td class="memSeparator" colspan="2">&#160;</td></tr>
158
+ <tr class="memitem:a8d2a6e895d17181324cdeb9e2cf8f1de"><td class="memItemLeft" align="right" valign="top">void&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1AbstractState.html#a8d2a6e895d17181324cdeb9e2cf8f1de">widenWith</a> (const <a class="el" href="classSVF_1_1AbstractState.html">AbstractState</a> &amp;other)</td></tr>
159
+ <tr class="memdesc:a8d2a6e895d17181324cdeb9e2cf8f1de"><td class="mdescLeft">&#160;</td><td class="mdescRight">domain widen with other, important! other widen this. <a href="classSVF_1_1AbstractState.html#a8d2a6e895d17181324cdeb9e2cf8f1de">More...</a><br /></td></tr>
160
+ <tr class="separator:a8d2a6e895d17181324cdeb9e2cf8f1de"><td class="memSeparator" colspan="2">&#160;</td></tr>
161
+ <tr class="memitem:a413cb1d009e2a080960bb2432e193d0c"><td class="memItemLeft" align="right" valign="top">void&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1AbstractState.html#a413cb1d009e2a080960bb2432e193d0c">joinWith</a> (const <a class="el" href="classSVF_1_1AbstractState.html">AbstractState</a> &amp;other)</td></tr>
162
+ <tr class="memdesc:a413cb1d009e2a080960bb2432e193d0c"><td class="mdescLeft">&#160;</td><td class="mdescRight">domain join with other, important! other widen this. <a href="classSVF_1_1AbstractState.html#a413cb1d009e2a080960bb2432e193d0c">More...</a><br /></td></tr>
163
+ <tr class="separator:a413cb1d009e2a080960bb2432e193d0c"><td class="memSeparator" colspan="2">&#160;</td></tr>
164
+ <tr class="memitem:a7e2ff1c509351658687ed87ca7ae544e"><td class="memItemLeft" align="right" valign="top">void&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1AbstractState.html#a7e2ff1c509351658687ed87ca7ae544e">narrowWith</a> (const <a class="el" href="classSVF_1_1AbstractState.html">AbstractState</a> &amp;other)</td></tr>
165
+ <tr class="memdesc:a7e2ff1c509351658687ed87ca7ae544e"><td class="mdescLeft">&#160;</td><td class="mdescRight">domain narrow with other, important! other widen this. <a href="classSVF_1_1AbstractState.html#a7e2ff1c509351658687ed87ca7ae544e">More...</a><br /></td></tr>
166
+ <tr class="separator:a7e2ff1c509351658687ed87ca7ae544e"><td class="memSeparator" colspan="2">&#160;</td></tr>
167
+ <tr class="memitem:adec6191b9f1e51ed70a7620dd06153a9"><td class="memItemLeft" align="right" valign="top">void&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1AbstractState.html#adec6191b9f1e51ed70a7620dd06153a9">meetWith</a> (const <a class="el" href="classSVF_1_1AbstractState.html">AbstractState</a> &amp;other)</td></tr>
168
+ <tr class="memdesc:adec6191b9f1e51ed70a7620dd06153a9"><td class="mdescLeft">&#160;</td><td class="mdescRight">domain meet with other, important! other widen this. <a href="classSVF_1_1AbstractState.html#adec6191b9f1e51ed70a7620dd06153a9">More...</a><br /></td></tr>
169
+ <tr class="separator:adec6191b9f1e51ed70a7620dd06153a9"><td class="memSeparator" colspan="2">&#160;</td></tr>
170
+ <tr class="memitem:a55ef37a2d9636d030feaaac041a1b081"><td class="memItemLeft" align="right" valign="top"><a class="el" href="namespaceSVF.html#a9b707002523ece2ac54ca893ee9a2d4e">s32_t</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1AbstractState.html#a55ef37a2d9636d030feaaac041a1b081">Interval2NumValue</a> (const <a class="el" href="classSVF_1_1IntervalValue.html">IntervalValue</a> &amp;e) const</td></tr>
171
+ <tr class="memdesc:a55ef37a2d9636d030feaaac041a1b081"><td class="mdescLeft">&#160;</td><td class="mdescRight">Return int value from an expression if it is a numeral, otherwise return an approximate value. <a href="classSVF_1_1AbstractState.html#a55ef37a2d9636d030feaaac041a1b081">More...</a><br /></td></tr>
172
+ <tr class="separator:a55ef37a2d9636d030feaaac041a1b081"><td class="memSeparator" colspan="2">&#160;</td></tr>
173
+ <tr class="memitem:a52aa9356624716fcaecc3c55bf7043c4"><td class="memItemLeft" align="right" valign="top">bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1AbstractState.html#a52aa9356624716fcaecc3c55bf7043c4">has_bottom</a> ()</td></tr>
174
+ <tr class="memdesc:a52aa9356624716fcaecc3c55bf7043c4"><td class="mdescLeft">&#160;</td><td class="mdescRight">Return true if map has bottom value. <a href="classSVF_1_1AbstractState.html#a52aa9356624716fcaecc3c55bf7043c4">More...</a><br /></td></tr>
175
+ <tr class="separator:a52aa9356624716fcaecc3c55bf7043c4"><td class="memSeparator" colspan="2">&#160;</td></tr>
176
+ <tr class="memitem:a38608261ed9a3f7b25cd68748456924b"><td class="memItemLeft" align="right" valign="top"><a class="el" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1AbstractState.html#a38608261ed9a3f7b25cd68748456924b">hash</a> () const</td></tr>
177
+ <tr class="separator:a38608261ed9a3f7b25cd68748456924b"><td class="memSeparator" colspan="2">&#160;</td></tr>
178
+ <tr class="memitem:a1f935ea8ab16b04699284bf92bbbb23c"><td class="memItemLeft" align="right" valign="top">void&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1AbstractState.html#a1f935ea8ab16b04699284bf92bbbb23c">store</a> (<a class="el" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> addr, const <a class="el" href="structSVF_1_1AbstractValue.html">AbstractValue</a> &amp;val)</td></tr>
179
+ <tr class="separator:a1f935ea8ab16b04699284bf92bbbb23c"><td class="memSeparator" colspan="2">&#160;</td></tr>
180
+ <tr class="memitem:aa057c4c27e613d239161c04daf3a46d0"><td class="memItemLeft" align="right" valign="top">virtual <a class="el" href="structSVF_1_1AbstractValue.html">AbstractValue</a> &amp;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1AbstractState.html#aa057c4c27e613d239161c04daf3a46d0">load</a> (<a class="el" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> addr)</td></tr>
181
+ <tr class="separator:aa057c4c27e613d239161c04daf3a46d0"><td class="memSeparator" colspan="2">&#160;</td></tr>
182
+ <tr class="memitem:a00c811d7ef05476b7699c66a10eb4944"><td class="memItemLeft" align="right" valign="top">void&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1AbstractState.html#a00c811d7ef05476b7699c66a10eb4944">printExprValues</a> (std::ostream &amp;oss) const</td></tr>
183
+ <tr class="memdesc:a00c811d7ef05476b7699c66a10eb4944"><td class="mdescLeft">&#160;</td><td class="mdescRight">Print values of all expressions. <a href="classSVF_1_1AbstractState.html#a00c811d7ef05476b7699c66a10eb4944">More...</a><br /></td></tr>
184
+ <tr class="separator:a00c811d7ef05476b7699c66a10eb4944"><td class="memSeparator" colspan="2">&#160;</td></tr>
185
+ <tr class="memitem:a7c802c006225a50b1d83b5f78d0891fa"><td class="memItemLeft" align="right" valign="top"><a class="el" href="cJSON_8cpp.html#ae1adbce218e7a9d09164012443191d24">std::string</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1AbstractState.html#a7c802c006225a50b1d83b5f78d0891fa">toString</a> () const</td></tr>
186
+ <tr class="separator:a7c802c006225a50b1d83b5f78d0891fa"><td class="memSeparator" colspan="2">&#160;</td></tr>
187
+ <tr class="memitem:a65131e4b96d21984c6907ac4fb32e973"><td class="memItemLeft" align="right" valign="top">bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1AbstractState.html#a65131e4b96d21984c6907ac4fb32e973">equals</a> (const <a class="el" href="classSVF_1_1AbstractState.html">AbstractState</a> &amp;other) const</td></tr>
188
+ <tr class="separator:a65131e4b96d21984c6907ac4fb32e973"><td class="memSeparator" colspan="2">&#160;</td></tr>
189
+ <tr class="memitem:ac41c5f3e8b8820c796f84e8fbb36a283"><td class="memItemLeft" align="right" valign="top">bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1AbstractState.html#ac41c5f3e8b8820c796f84e8fbb36a283">operator==</a> (const <a class="el" href="classSVF_1_1AbstractState.html">AbstractState</a> &amp;rhs) const</td></tr>
190
+ <tr class="separator:ac41c5f3e8b8820c796f84e8fbb36a283"><td class="memSeparator" colspan="2">&#160;</td></tr>
191
+ <tr class="memitem:a52c298445a68c11faabe042744cfdc1d"><td class="memItemLeft" align="right" valign="top">bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1AbstractState.html#a52c298445a68c11faabe042744cfdc1d">operator!=</a> (const <a class="el" href="classSVF_1_1AbstractState.html">AbstractState</a> &amp;rhs) const</td></tr>
192
+ <tr class="separator:a52c298445a68c11faabe042744cfdc1d"><td class="memSeparator" colspan="2">&#160;</td></tr>
193
+ <tr class="memitem:ae10585f056d3d6f23e3ec7da7fa0f849"><td class="memItemLeft" align="right" valign="top">bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1AbstractState.html#ae10585f056d3d6f23e3ec7da7fa0f849">operator&lt;</a> (const <a class="el" href="classSVF_1_1AbstractState.html">AbstractState</a> &amp;rhs) const</td></tr>
194
+ <tr class="separator:ae10585f056d3d6f23e3ec7da7fa0f849"><td class="memSeparator" colspan="2">&#160;</td></tr>
195
+ <tr class="memitem:a1be4db45d0af58508921bc2efddcb586"><td class="memItemLeft" align="right" valign="top">bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1AbstractState.html#a1be4db45d0af58508921bc2efddcb586">operator&gt;=</a> (const <a class="el" href="classSVF_1_1AbstractState.html">AbstractState</a> &amp;rhs) const</td></tr>
196
+ <tr class="separator:a1be4db45d0af58508921bc2efddcb586"><td class="memSeparator" colspan="2">&#160;</td></tr>
197
+ <tr class="memitem:a46651dcb1b9c85bee52a4fad897d8ab3"><td class="memItemLeft" align="right" valign="top">void&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1AbstractState.html#a46651dcb1b9c85bee52a4fad897d8ab3">clear</a> ()</td></tr>
198
+ <tr class="separator:a46651dcb1b9c85bee52a4fad897d8ab3"><td class="memSeparator" colspan="2">&#160;</td></tr>
199
+ </table><table class="memberdecls">
200
+ <tr class="heading"><td colspan="2"><h2 class="groupheader"><a name="pub-static-methods"></a>
201
+ Static Public Member Functions</h2></td></tr>
202
+ <tr class="memitem:aa594b7f3d1590073a88bcc73918dde39"><td class="memItemLeft" align="right" valign="top">static <a class="el" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1AbstractState.html#aa594b7f3d1590073a88bcc73918dde39">getVirtualMemAddress</a> (<a class="el" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> idx)</td></tr>
203
+ <tr class="memdesc:aa594b7f3d1590073a88bcc73918dde39"><td class="mdescLeft">&#160;</td><td class="mdescRight">The physical address starts with 0x7f...... + idx. <a href="classSVF_1_1AbstractState.html#aa594b7f3d1590073a88bcc73918dde39">More...</a><br /></td></tr>
204
+ <tr class="separator:aa594b7f3d1590073a88bcc73918dde39"><td class="memSeparator" colspan="2">&#160;</td></tr>
205
+ <tr class="memitem:ad3eefae77eb1fc4bbcfe70b0f2f51dd4"><td class="memItemLeft" align="right" valign="top">static bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1AbstractState.html#ad3eefae77eb1fc4bbcfe70b0f2f51dd4">isVirtualMemAddress</a> (<a class="el" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> val)</td></tr>
206
+ <tr class="memdesc:ad3eefae77eb1fc4bbcfe70b0f2f51dd4"><td class="mdescLeft">&#160;</td><td class="mdescRight">Check bit value of val start with 0x7F000000, filter by 0xFF000000. <a href="classSVF_1_1AbstractState.html#ad3eefae77eb1fc4bbcfe70b0f2f51dd4">More...</a><br /></td></tr>
207
+ <tr class="separator:ad3eefae77eb1fc4bbcfe70b0f2f51dd4"><td class="memSeparator" colspan="2">&#160;</td></tr>
208
+ <tr class="memitem:aaabe5850dbf1620c6058f5ac6cb169b6"><td class="memItemLeft" align="right" valign="top">static <a class="el" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1AbstractState.html#aaabe5850dbf1620c6058f5ac6cb169b6">getInternalID</a> (<a class="el" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> idx)</td></tr>
209
+ <tr class="memdesc:aaabe5850dbf1620c6058f5ac6cb169b6"><td class="mdescLeft">&#160;</td><td class="mdescRight">Return the internal index if idx is an address otherwise return the value of idx. <a href="classSVF_1_1AbstractState.html#aaabe5850dbf1620c6058f5ac6cb169b6">More...</a><br /></td></tr>
210
+ <tr class="separator:aaabe5850dbf1620c6058f5ac6cb169b6"><td class="memSeparator" colspan="2">&#160;</td></tr>
211
+ <tr class="memitem:aad7588fead712273f6679d00759c06ea"><td class="memItemLeft" align="right" valign="top">static bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1AbstractState.html#aad7588fead712273f6679d00759c06ea">isNullPtr</a> (<a class="el" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> addr)</td></tr>
212
+ <tr class="separator:aad7588fead712273f6679d00759c06ea"><td class="memSeparator" colspan="2">&#160;</td></tr>
213
+ <tr class="memitem:adb1ce2a16c501aefa7c902e9bec012f6"><td class="memItemLeft" align="right" valign="top">static bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1AbstractState.html#adb1ce2a16c501aefa7c902e9bec012f6">eqVarToValMap</a> (const <a class="el" href="classSVF_1_1AbstractState.html#ab8e7d112c380f0c3fe66b487af90c03e">VarToAbsValMap</a> &amp;lhs, const <a class="el" href="classSVF_1_1AbstractState.html#ab8e7d112c380f0c3fe66b487af90c03e">VarToAbsValMap</a> &amp;rhs)</td></tr>
214
+ <tr class="separator:adb1ce2a16c501aefa7c902e9bec012f6"><td class="memSeparator" colspan="2">&#160;</td></tr>
215
+ <tr class="memitem:a943e87d9e3bf7332e7dbb3a00aeb996a"><td class="memItemLeft" align="right" valign="top">static bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1AbstractState.html#a943e87d9e3bf7332e7dbb3a00aeb996a">lessThanVarToValMap</a> (const <a class="el" href="classSVF_1_1AbstractState.html#ab8e7d112c380f0c3fe66b487af90c03e">VarToAbsValMap</a> &amp;lhs, const <a class="el" href="classSVF_1_1AbstractState.html#ab8e7d112c380f0c3fe66b487af90c03e">VarToAbsValMap</a> &amp;rhs)</td></tr>
216
+ <tr class="separator:a943e87d9e3bf7332e7dbb3a00aeb996a"><td class="memSeparator" colspan="2">&#160;</td></tr>
217
+ <tr class="memitem:a16486a0c6d9a1bb1ac19673b41a16a0e"><td class="memItemLeft" align="right" valign="top">static bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1AbstractState.html#a16486a0c6d9a1bb1ac19673b41a16a0e">geqVarToValMap</a> (const <a class="el" href="classSVF_1_1AbstractState.html#ab8e7d112c380f0c3fe66b487af90c03e">VarToAbsValMap</a> &amp;lhs, const <a class="el" href="classSVF_1_1AbstractState.html#ab8e7d112c380f0c3fe66b487af90c03e">VarToAbsValMap</a> &amp;rhs)</td></tr>
218
+ <tr class="separator:a16486a0c6d9a1bb1ac19673b41a16a0e"><td class="memSeparator" colspan="2">&#160;</td></tr>
219
+ </table><table class="memberdecls">
220
+ <tr class="heading"><td colspan="2"><h2 class="groupheader"><a name="pro-methods"></a>
221
+ Protected Member Functions</h2></td></tr>
222
+ <tr class="memitem:a61a9a3873426ad522d0b4c16eb2ac67b"><td class="memItemLeft" align="right" valign="top">void&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1AbstractState.html#a61a9a3873426ad522d0b4c16eb2ac67b">printTable</a> (const <a class="el" href="classSVF_1_1AbstractState.html#ab8e7d112c380f0c3fe66b487af90c03e">VarToAbsValMap</a> &amp;table, std::ostream &amp;oss) const</td></tr>
223
+ <tr class="separator:a61a9a3873426ad522d0b4c16eb2ac67b"><td class="memSeparator" colspan="2">&#160;</td></tr>
224
+ </table><table class="memberdecls">
225
+ <tr class="heading"><td colspan="2"><h2 class="groupheader"><a name="pro-attribs"></a>
226
+ Protected Attributes</h2></td></tr>
227
+ <tr class="memitem:a6a49c75fb6b35159dcf1763b4484d335"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1AbstractState.html#ab8e7d112c380f0c3fe66b487af90c03e">VarToAbsValMap</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1AbstractState.html#a6a49c75fb6b35159dcf1763b4484d335">_varToAbsVal</a></td></tr>
228
+ <tr class="memdesc:a6a49c75fb6b35159dcf1763b4484d335"><td class="mdescLeft">&#160;</td><td class="mdescRight">Map a variable (symbol) to its abstract value. <a href="classSVF_1_1AbstractState.html#a6a49c75fb6b35159dcf1763b4484d335">More...</a><br /></td></tr>
229
+ <tr class="separator:a6a49c75fb6b35159dcf1763b4484d335"><td class="memSeparator" colspan="2">&#160;</td></tr>
230
+ <tr class="memitem:aade30bb08f86b3f74e7aa9cdc60c92a3"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1AbstractState.html#a046e475067c101430f87d67965ecfb08">LocToAbsValMap</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1AbstractState.html#aade30bb08f86b3f74e7aa9cdc60c92a3">_locToAbsVal</a></td></tr>
231
+ <tr class="memdesc:aade30bb08f86b3f74e7aa9cdc60c92a3"><td class="mdescLeft">&#160;</td><td class="mdescRight">Map a memory address to its stored abstract value. <a href="classSVF_1_1AbstractState.html#aade30bb08f86b3f74e7aa9cdc60c92a3">More...</a><br /></td></tr>
232
+ <tr class="separator:aade30bb08f86b3f74e7aa9cdc60c92a3"><td class="memSeparator" colspan="2">&#160;</td></tr>
233
+ </table><table class="memberdecls">
234
+ <tr class="heading"><td colspan="2"><h2 class="groupheader"><a name="friends"></a>
235
+ Friends</h2></td></tr>
236
+ <tr class="memitem:a25fc4decbaf702ef771219564ec64c2a"><td class="memItemLeft" align="right" valign="top">class&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1AbstractState.html#a25fc4decbaf702ef771219564ec64c2a">SVFIR2AbsState</a></td></tr>
237
+ <tr class="separator:a25fc4decbaf702ef771219564ec64c2a"><td class="memSeparator" colspan="2">&#160;</td></tr>
238
+ <tr class="memitem:a44841fb4ad23542383ea77bf1ffda65f"><td class="memItemLeft" align="right" valign="top">class&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1AbstractState.html#a44841fb4ad23542383ea77bf1ffda65f">RelationSolver</a></td></tr>
239
+ <tr class="separator:a44841fb4ad23542383ea77bf1ffda65f"><td class="memSeparator" colspan="2">&#160;</td></tr>
240
+ </table>
241
+ <a name="details" id="details"></a><h2 class="groupheader">Detailed Description</h2>
242
+ <div class="textblock">
243
+ <p class="definition">Definition at line <a class="el" href="AbstractState_8h_source.html#l00054">54</a> of file <a class="el" href="AbstractState_8h_source.html">AbstractState.h</a>.</p>
244
+ </div><h2 class="groupheader">Member Typedef Documentation</h2>
245
+ <a id="a046e475067c101430f87d67965ecfb08"></a>
246
+ <h2 class="memtitle"><span class="permalink"><a href="#a046e475067c101430f87d67965ecfb08">&#9670;&nbsp;</a></span>LocToAbsValMap</h2>
247
+
248
+ <div class="memitem">
249
+ <div class="memproto">
250
+ <table class="memname">
251
+ <tr>
252
+ <td class="memname">typedef <a class="el" href="classSVF_1_1AbstractState.html#ab8e7d112c380f0c3fe66b487af90c03e">VarToAbsValMap</a> <a class="el" href="classSVF_1_1AbstractState.html#a046e475067c101430f87d67965ecfb08">SVF::AbstractState::LocToAbsValMap</a></td>
253
+ </tr>
254
+ </table>
255
+ </div><div class="memdoc">
256
+
257
+ <p class="definition">Definition at line <a class="el" href="AbstractState_8h_source.html#l00061">61</a> of file <a class="el" href="AbstractState_8h_source.html">AbstractState.h</a>.</p>
258
+
259
+ </div>
260
+ </div>
261
+ <a id="ab8e7d112c380f0c3fe66b487af90c03e"></a>
262
+ <h2 class="memtitle"><span class="permalink"><a href="#ab8e7d112c380f0c3fe66b487af90c03e">&#9670;&nbsp;</a></span>VarToAbsValMap</h2>
263
+
264
+ <div class="memitem">
265
+ <div class="memproto">
266
+ <table class="memname">
267
+ <tr>
268
+ <td class="memname">typedef <a class="el" href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">Map</a>&lt;<a class="el" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a>, <a class="el" href="structSVF_1_1AbstractValue.html">AbstractValue</a>&gt; <a class="el" href="classSVF_1_1AbstractState.html#ab8e7d112c380f0c3fe66b487af90c03e">SVF::AbstractState::VarToAbsValMap</a></td>
269
+ </tr>
270
+ </table>
271
+ </div><div class="memdoc">
272
+
273
+ <p class="definition">Definition at line <a class="el" href="AbstractState_8h_source.html#l00059">59</a> of file <a class="el" href="AbstractState_8h_source.html">AbstractState.h</a>.</p>
274
+
275
+ </div>
276
+ </div>
277
+ <h2 class="groupheader">Constructor &amp; Destructor Documentation</h2>
278
+ <a id="aac4048e1e39f2dbc16f20b7ffe61af5e"></a>
279
+ <h2 class="memtitle"><span class="permalink"><a href="#aac4048e1e39f2dbc16f20b7ffe61af5e">&#9670;&nbsp;</a></span>AbstractState() <span class="overload">[1/4]</span></h2>
280
+
281
+ <div class="memitem">
282
+ <div class="memproto">
283
+ <table class="mlabels">
284
+ <tr>
285
+ <td class="mlabels-left">
286
+ <table class="memname">
287
+ <tr>
288
+ <td class="memname">SVF::AbstractState::AbstractState </td>
289
+ <td>(</td>
290
+ <td class="paramname"></td><td>)</td>
291
+ <td></td>
292
+ </tr>
293
+ </table>
294
+ </td>
295
+ <td class="mlabels-right">
296
+ <span class="mlabels"><span class="mlabel">inline</span></span> </td>
297
+ </tr>
298
+ </table>
299
+ </div><div class="memdoc">
300
+
301
+ <p>default constructor </p>
302
+
303
+ <p class="definition">Definition at line <a class="el" href="AbstractState_8h_source.html#l00065">65</a> of file <a class="el" href="AbstractState_8h_source.html">AbstractState.h</a>.</p>
304
+ <div class="fragment"><div class="line"><a name="l00065"></a><span class="lineno"> 65</span>&#160;{}</div>
305
+ </div><!-- fragment -->
306
+ </div>
307
+ </div>
308
+ <a id="a6772fed9390734578b46b85cbf9ba95f"></a>
309
+ <h2 class="memtitle"><span class="permalink"><a href="#a6772fed9390734578b46b85cbf9ba95f">&#9670;&nbsp;</a></span>AbstractState() <span class="overload">[2/4]</span></h2>
310
+
311
+ <div class="memitem">
312
+ <div class="memproto">
313
+ <table class="mlabels">
314
+ <tr>
315
+ <td class="mlabels-left">
316
+ <table class="memname">
317
+ <tr>
318
+ <td class="memname">SVF::AbstractState::AbstractState </td>
319
+ <td>(</td>
320
+ <td class="paramtype"><a class="el" href="classSVF_1_1AbstractState.html#ab8e7d112c380f0c3fe66b487af90c03e">VarToAbsValMap</a> &amp;&#160;</td>
321
+ <td class="paramname"><em>_varToValMap</em>, </td>
322
+ </tr>
323
+ <tr>
324
+ <td class="paramkey"></td>
325
+ <td></td>
326
+ <td class="paramtype"><a class="el" href="classSVF_1_1AbstractState.html#a046e475067c101430f87d67965ecfb08">LocToAbsValMap</a> &amp;&#160;</td>
327
+ <td class="paramname"><em>_locToValMap</em>&#160;</td>
328
+ </tr>
329
+ <tr>
330
+ <td></td>
331
+ <td>)</td>
332
+ <td></td><td></td>
333
+ </tr>
334
+ </table>
335
+ </td>
336
+ <td class="mlabels-right">
337
+ <span class="mlabels"><span class="mlabel">inline</span></span> </td>
338
+ </tr>
339
+ </table>
340
+ </div><div class="memdoc">
341
+
342
+ <p class="definition">Definition at line <a class="el" href="AbstractState_8h_source.html#l00067">67</a> of file <a class="el" href="AbstractState_8h_source.html">AbstractState.h</a>.</p>
343
+ <div class="fragment"><div class="line"><a name="l00067"></a><span class="lineno"> 67</span>&#160; : <a class="code" href="classSVF_1_1AbstractState.html#a6a49c75fb6b35159dcf1763b4484d335">_varToAbsVal</a>(_varToValMap),</div>
344
+ <div class="line"><a name="l00068"></a><span class="lineno"> 68</span>&#160; <a class="code" href="classSVF_1_1AbstractState.html#aade30bb08f86b3f74e7aa9cdc60c92a3">_locToAbsVal</a>(_locToValMap) {}</div>
345
+ </div><!-- fragment -->
346
+ </div>
347
+ </div>
348
+ <a id="a4b2af0674aa1fd6689dc2660c4e7e812"></a>
349
+ <h2 class="memtitle"><span class="permalink"><a href="#a4b2af0674aa1fd6689dc2660c4e7e812">&#9670;&nbsp;</a></span>AbstractState() <span class="overload">[3/4]</span></h2>
350
+
351
+ <div class="memitem">
352
+ <div class="memproto">
353
+ <table class="mlabels">
354
+ <tr>
355
+ <td class="mlabels-left">
356
+ <table class="memname">
357
+ <tr>
358
+ <td class="memname">SVF::AbstractState::AbstractState </td>
359
+ <td>(</td>
360
+ <td class="paramtype">const <a class="el" href="classSVF_1_1AbstractState.html">AbstractState</a> &amp;&#160;</td>
361
+ <td class="paramname"><em>rhs</em></td><td>)</td>
362
+ <td></td>
363
+ </tr>
364
+ </table>
365
+ </td>
366
+ <td class="mlabels-right">
367
+ <span class="mlabels"><span class="mlabel">inline</span></span> </td>
368
+ </tr>
369
+ </table>
370
+ </div><div class="memdoc">
371
+
372
+ <p>copy constructor </p>
373
+
374
+ <p class="definition">Definition at line <a class="el" href="AbstractState_8h_source.html#l00071">71</a> of file <a class="el" href="AbstractState_8h_source.html">AbstractState.h</a>.</p>
375
+ <div class="fragment"><div class="line"><a name="l00071"></a><span class="lineno"> 71</span>&#160; : <a class="code" href="classSVF_1_1AbstractState.html#a6a49c75fb6b35159dcf1763b4484d335">_varToAbsVal</a>(rhs.getVarToVal()),</div>
376
+ <div class="line"><a name="l00072"></a><span class="lineno"> 72</span>&#160; <a class="code" href="classSVF_1_1AbstractState.html#aade30bb08f86b3f74e7aa9cdc60c92a3">_locToAbsVal</a>(rhs.getLocToVal())</div>
377
+ <div class="line"><a name="l00073"></a><span class="lineno"> 73</span>&#160; {</div>
378
+ <div class="line"><a name="l00074"></a><span class="lineno"> 74</span>&#160; </div>
379
+ <div class="line"><a name="l00075"></a><span class="lineno"> 75</span>&#160; }</div>
380
+ </div><!-- fragment -->
381
+ </div>
382
+ </div>
383
+ <a id="ab956eb2731209fa52a8e4812d3ab8b37"></a>
384
+ <h2 class="memtitle"><span class="permalink"><a href="#ab956eb2731209fa52a8e4812d3ab8b37">&#9670;&nbsp;</a></span>~AbstractState()</h2>
385
+
386
+ <div class="memitem">
387
+ <div class="memproto">
388
+ <table class="mlabels">
389
+ <tr>
390
+ <td class="mlabels-left">
391
+ <table class="memname">
392
+ <tr>
393
+ <td class="memname">virtual SVF::AbstractState::~AbstractState </td>
394
+ <td>(</td>
395
+ <td class="paramname"></td><td>)</td>
396
+ <td></td>
397
+ </tr>
398
+ </table>
399
+ </td>
400
+ <td class="mlabels-right">
401
+ <span class="mlabels"><span class="mlabel">virtual</span><span class="mlabel">default</span></span> </td>
402
+ </tr>
403
+ </table>
404
+ </div><div class="memdoc">
405
+
406
+ </div>
407
+ </div>
408
+ <a id="a67293389b28ed9ad361ec7ed92bd72dc"></a>
409
+ <h2 class="memtitle"><span class="permalink"><a href="#a67293389b28ed9ad361ec7ed92bd72dc">&#9670;&nbsp;</a></span>AbstractState() <span class="overload">[4/4]</span></h2>
410
+
411
+ <div class="memitem">
412
+ <div class="memproto">
413
+ <table class="mlabels">
414
+ <tr>
415
+ <td class="mlabels-left">
416
+ <table class="memname">
417
+ <tr>
418
+ <td class="memname">SVF::AbstractState::AbstractState </td>
419
+ <td>(</td>
420
+ <td class="paramtype"><a class="el" href="classSVF_1_1AbstractState.html">AbstractState</a> &amp;&amp;&#160;</td>
421
+ <td class="paramname"><em>rhs</em></td><td>)</td>
422
+ <td></td>
423
+ </tr>
424
+ </table>
425
+ </td>
426
+ <td class="mlabels-right">
427
+ <span class="mlabels"><span class="mlabel">inline</span></span> </td>
428
+ </tr>
429
+ </table>
430
+ </div><div class="memdoc">
431
+
432
+ <p>move constructor </p>
433
+
434
+ <p class="definition">Definition at line <a class="el" href="AbstractState_8h_source.html#l00114">114</a> of file <a class="el" href="AbstractState_8h_source.html">AbstractState.h</a>.</p>
435
+ <div class="fragment"><div class="line"><a name="l00114"></a><span class="lineno"> 114</span>&#160; : <a class="code" href="classSVF_1_1AbstractState.html#a6a49c75fb6b35159dcf1763b4484d335">_varToAbsVal</a>(<a class="code" href="namespaceSVF_1_1SVFUtil.html#a72502f7f536418621485e90ab98c2016">std::move</a>(rhs._varToAbsVal)),</div>
436
+ <div class="line"><a name="l00115"></a><span class="lineno"> 115</span>&#160; <a class="code" href="classSVF_1_1AbstractState.html#aade30bb08f86b3f74e7aa9cdc60c92a3">_locToAbsVal</a>(<a class="code" href="namespaceSVF_1_1SVFUtil.html#a72502f7f536418621485e90ab98c2016">std::move</a>(rhs._locToAbsVal))</div>
437
+ <div class="line"><a name="l00116"></a><span class="lineno"> 116</span>&#160; {</div>
438
+ <div class="line"><a name="l00117"></a><span class="lineno"> 117</span>&#160; </div>
439
+ <div class="line"><a name="l00118"></a><span class="lineno"> 118</span>&#160; }</div>
440
+ </div><!-- fragment -->
441
+ </div>
442
+ </div>
443
+ <h2 class="groupheader">Member Function Documentation</h2>
444
+ <a id="a325ac3691d7252d0dcef9aa5f774b4c4"></a>
445
+ <h2 class="memtitle"><span class="permalink"><a href="#a325ac3691d7252d0dcef9aa5f774b4c4">&#9670;&nbsp;</a></span>bottom()</h2>
446
+
447
+ <div class="memitem">
448
+ <div class="memproto">
449
+ <table class="mlabels">
450
+ <tr>
451
+ <td class="mlabels-left">
452
+ <table class="memname">
453
+ <tr>
454
+ <td class="memname"><a class="el" href="classSVF_1_1AbstractState.html">AbstractState</a> SVF::AbstractState::bottom </td>
455
+ <td>(</td>
456
+ <td class="paramname"></td><td>)</td>
457
+ <td> const</td>
458
+ </tr>
459
+ </table>
460
+ </td>
461
+ <td class="mlabels-right">
462
+ <span class="mlabels"><span class="mlabel">inline</span></span> </td>
463
+ </tr>
464
+ </table>
465
+ </div><div class="memdoc">
466
+
467
+ <p>Set all value bottom. </p>
468
+
469
+ <p class="definition">Definition at line <a class="el" href="AbstractState_8h_source.html#l00132">132</a> of file <a class="el" href="AbstractState_8h_source.html">AbstractState.h</a>.</p>
470
+ <div class="fragment"><div class="line"><a name="l00133"></a><span class="lineno"> 133</span>&#160; {</div>
471
+ <div class="line"><a name="l00134"></a><span class="lineno"> 134</span>&#160; <a class="code" href="classSVF_1_1AbstractState.html#aac4048e1e39f2dbc16f20b7ffe61af5e">AbstractState</a> inv = *<span class="keyword">this</span>;</div>
472
+ <div class="line"><a name="l00135"></a><span class="lineno"> 135</span>&#160; <span class="keywordflow">for</span> (<span class="keyword">auto</span> &amp;<a class="code" href="cJSON_8h.html#ac76cea59d438ba893d2f82aabb367d14">item</a>: inv._varToAbsVal)</div>
473
+ <div class="line"><a name="l00136"></a><span class="lineno"> 136</span>&#160; {</div>
474
+ <div class="line"><a name="l00137"></a><span class="lineno"> 137</span>&#160; <span class="keywordflow">if</span> (<a class="code" href="cJSON_8h.html#ac76cea59d438ba893d2f82aabb367d14">item</a>.second.isInterval())</div>
475
+ <div class="line"><a name="l00138"></a><span class="lineno"> 138</span>&#160; <a class="code" href="cJSON_8h.html#ac76cea59d438ba893d2f82aabb367d14">item</a>.second.getInterval().set_to_bottom();</div>
476
+ <div class="line"><a name="l00139"></a><span class="lineno"> 139</span>&#160; }</div>
477
+ <div class="line"><a name="l00140"></a><span class="lineno"> 140</span>&#160; <span class="keywordflow">return</span> inv;</div>
478
+ <div class="line"><a name="l00141"></a><span class="lineno"> 141</span>&#160; }</div>
479
+ </div><!-- fragment -->
480
+ </div>
481
+ </div>
482
+ <a id="a46651dcb1b9c85bee52a4fad897d8ab3"></a>
483
+ <h2 class="memtitle"><span class="permalink"><a href="#a46651dcb1b9c85bee52a4fad897d8ab3">&#9670;&nbsp;</a></span>clear()</h2>
484
+
485
+ <div class="memitem">
486
+ <div class="memproto">
487
+ <table class="mlabels">
488
+ <tr>
489
+ <td class="mlabels-left">
490
+ <table class="memname">
491
+ <tr>
492
+ <td class="memname">void SVF::AbstractState::clear </td>
493
+ <td>(</td>
494
+ <td class="paramname"></td><td>)</td>
495
+ <td></td>
496
+ </tr>
497
+ </table>
498
+ </td>
499
+ <td class="mlabels-right">
500
+ <span class="mlabels"><span class="mlabel">inline</span></span> </td>
501
+ </tr>
502
+ </table>
503
+ </div><div class="memdoc">
504
+
505
+ <p class="definition">Definition at line <a class="el" href="AbstractState_8h_source.html#l00427">427</a> of file <a class="el" href="AbstractState_8h_source.html">AbstractState.h</a>.</p>
506
+ <div class="fragment"><div class="line"><a name="l00428"></a><span class="lineno"> 428</span>&#160; {</div>
507
+ <div class="line"><a name="l00429"></a><span class="lineno"> 429</span>&#160; <a class="code" href="classSVF_1_1AbstractState.html#aade30bb08f86b3f74e7aa9cdc60c92a3">_locToAbsVal</a>.clear();</div>
508
+ <div class="line"><a name="l00430"></a><span class="lineno"> 430</span>&#160; <a class="code" href="classSVF_1_1AbstractState.html#a6a49c75fb6b35159dcf1763b4484d335">_varToAbsVal</a>.clear();</div>
509
+ <div class="line"><a name="l00431"></a><span class="lineno"> 431</span>&#160; }</div>
510
+ </div><!-- fragment -->
511
+ </div>
512
+ </div>
513
+ <a id="a65131e4b96d21984c6907ac4fb32e973"></a>
514
+ <h2 class="memtitle"><span class="permalink"><a href="#a65131e4b96d21984c6907ac4fb32e973">&#9670;&nbsp;</a></span>equals()</h2>
515
+
516
+ <div class="memitem">
517
+ <div class="memproto">
518
+ <table class="memname">
519
+ <tr>
520
+ <td class="memname">bool AbstractState::equals </td>
521
+ <td>(</td>
522
+ <td class="paramtype">const <a class="el" href="classSVF_1_1AbstractState.html">AbstractState</a> &amp;&#160;</td>
523
+ <td class="paramname"><em>other</em></td><td>)</td>
524
+ <td> const</td>
525
+ </tr>
526
+ </table>
527
+ </div><div class="memdoc">
528
+
529
+ <p class="definition">Definition at line <a class="el" href="AbstractState_8cpp_source.html#l00036">36</a> of file <a class="el" href="AbstractState_8cpp_source.html">AbstractState.cpp</a>.</p>
530
+ <div class="fragment"><div class="line"><a name="l00037"></a><span class="lineno"> 37</span>&#160;{</div>
531
+ <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>
532
+ <div class="line"><a name="l00039"></a><span class="lineno"> 39</span>&#160;}</div>
533
+ </div><!-- fragment -->
534
+ </div>
535
+ </div>
536
+ <a id="adb1ce2a16c501aefa7c902e9bec012f6"></a>
537
+ <h2 class="memtitle"><span class="permalink"><a href="#adb1ce2a16c501aefa7c902e9bec012f6">&#9670;&nbsp;</a></span>eqVarToValMap()</h2>
538
+
539
+ <div class="memitem">
540
+ <div class="memproto">
541
+ <table class="mlabels">
542
+ <tr>
543
+ <td class="mlabels-left">
544
+ <table class="memname">
545
+ <tr>
546
+ <td class="memname">static bool SVF::AbstractState::eqVarToValMap </td>
547
+ <td>(</td>
548
+ <td class="paramtype">const <a class="el" href="classSVF_1_1AbstractState.html#ab8e7d112c380f0c3fe66b487af90c03e">VarToAbsValMap</a> &amp;&#160;</td>
549
+ <td class="paramname"><em>lhs</em>, </td>
550
+ </tr>
551
+ <tr>
552
+ <td class="paramkey"></td>
553
+ <td></td>
554
+ <td class="paramtype">const <a class="el" href="classSVF_1_1AbstractState.html#ab8e7d112c380f0c3fe66b487af90c03e">VarToAbsValMap</a> &amp;&#160;</td>
555
+ <td class="paramname"><em>rhs</em>&#160;</td>
556
+ </tr>
557
+ <tr>
558
+ <td></td>
559
+ <td>)</td>
560
+ <td></td><td></td>
561
+ </tr>
562
+ </table>
563
+ </td>
564
+ <td class="mlabels-right">
565
+ <span class="mlabels"><span class="mlabel">inline</span><span class="mlabel">static</span></span> </td>
566
+ </tr>
567
+ </table>
568
+ </div><div class="memdoc">
569
+
570
+ <p class="definition">Definition at line <a class="el" href="AbstractState_8h_source.html#l00339">339</a> of file <a class="el" href="AbstractState_8h_source.html">AbstractState.h</a>.</p>
571
+ <div class="fragment"><div class="line"><a name="l00340"></a><span class="lineno"> 340</span>&#160; {</div>
572
+ <div class="line"><a name="l00341"></a><span class="lineno"> 341</span>&#160; <span class="keywordflow">if</span> (lhs.size() != rhs.size()) <span class="keywordflow">return</span> <span class="keyword">false</span>;</div>
573
+ <div class="line"><a name="l00342"></a><span class="lineno"> 342</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>: lhs)</div>
574
+ <div class="line"><a name="l00343"></a><span class="lineno"> 343</span>&#160; {</div>
575
+ <div class="line"><a name="l00344"></a><span class="lineno"> 344</span>&#160; <span class="keyword">auto</span> it = rhs.find(<a class="code" href="cJSON_8h.html#ac76cea59d438ba893d2f82aabb367d14">item</a>.first);</div>
576
+ <div class="line"><a name="l00345"></a><span class="lineno"> 345</span>&#160; <span class="keywordflow">if</span> (it == rhs.end())</div>
577
+ <div class="line"><a name="l00346"></a><span class="lineno"> 346</span>&#160; <span class="keywordflow">return</span> <span class="keyword">false</span>;</div>
578
+ <div class="line"><a name="l00347"></a><span class="lineno"> 347</span>&#160; <span class="keywordflow">if</span> (<a class="code" href="cJSON_8h.html#ac76cea59d438ba893d2f82aabb367d14">item</a>.second.getType() == it-&gt;second.getType())</div>
579
+ <div class="line"><a name="l00348"></a><span class="lineno"> 348</span>&#160; {</div>
580
+ <div class="line"><a name="l00349"></a><span class="lineno"> 349</span>&#160; <span class="keywordflow">if</span> (<a class="code" href="cJSON_8h.html#ac76cea59d438ba893d2f82aabb367d14">item</a>.second.isInterval())</div>
581
+ <div class="line"><a name="l00350"></a><span class="lineno"> 350</span>&#160; {</div>
582
+ <div class="line"><a name="l00351"></a><span class="lineno"> 351</span>&#160; <span class="keywordflow">if</span> (!<a class="code" href="cJSON_8h.html#ac76cea59d438ba893d2f82aabb367d14">item</a>.second.getInterval().equals(it-&gt;second.getInterval()))</div>
583
+ <div class="line"><a name="l00352"></a><span class="lineno"> 352</span>&#160; {</div>
584
+ <div class="line"><a name="l00353"></a><span class="lineno"> 353</span>&#160; <span class="keywordflow">return</span> <span class="keyword">false</span>;</div>
585
+ <div class="line"><a name="l00354"></a><span class="lineno"> 354</span>&#160; }</div>
586
+ <div class="line"><a name="l00355"></a><span class="lineno"> 355</span>&#160; }</div>
587
+ <div class="line"><a name="l00356"></a><span class="lineno"> 356</span>&#160; <span class="keywordflow">else</span> <span class="keywordflow">if</span> (<a class="code" href="cJSON_8h.html#ac76cea59d438ba893d2f82aabb367d14">item</a>.second.isAddr())</div>
588
+ <div class="line"><a name="l00357"></a><span class="lineno"> 357</span>&#160; {</div>
589
+ <div class="line"><a name="l00358"></a><span class="lineno"> 358</span>&#160; <span class="keywordflow">if</span> (!<a class="code" href="cJSON_8h.html#ac76cea59d438ba893d2f82aabb367d14">item</a>.second.getAddrs().equals(it-&gt;second.getAddrs()))</div>
590
+ <div class="line"><a name="l00359"></a><span class="lineno"> 359</span>&#160; {</div>
591
+ <div class="line"><a name="l00360"></a><span class="lineno"> 360</span>&#160; <span class="keywordflow">return</span> <span class="keyword">false</span>;</div>
592
+ <div class="line"><a name="l00361"></a><span class="lineno"> 361</span>&#160; }</div>
593
+ <div class="line"><a name="l00362"></a><span class="lineno"> 362</span>&#160; }</div>
594
+ <div class="line"><a name="l00363"></a><span class="lineno"> 363</span>&#160; }</div>
595
+ <div class="line"><a name="l00364"></a><span class="lineno"> 364</span>&#160; <span class="keywordflow">else</span></div>
596
+ <div class="line"><a name="l00365"></a><span class="lineno"> 365</span>&#160; {</div>
597
+ <div class="line"><a name="l00366"></a><span class="lineno"> 366</span>&#160; <span class="keywordflow">return</span> <span class="keyword">false</span>;</div>
598
+ <div class="line"><a name="l00367"></a><span class="lineno"> 367</span>&#160; }</div>
599
+ <div class="line"><a name="l00368"></a><span class="lineno"> 368</span>&#160; }</div>
600
+ <div class="line"><a name="l00369"></a><span class="lineno"> 369</span>&#160; <span class="keywordflow">return</span> <span class="keyword">true</span>;</div>
601
+ <div class="line"><a name="l00370"></a><span class="lineno"> 370</span>&#160; }</div>
602
+ </div><!-- fragment -->
603
+ </div>
604
+ </div>
605
+ <a id="a16486a0c6d9a1bb1ac19673b41a16a0e"></a>
606
+ <h2 class="memtitle"><span class="permalink"><a href="#a16486a0c6d9a1bb1ac19673b41a16a0e">&#9670;&nbsp;</a></span>geqVarToValMap()</h2>
607
+
608
+ <div class="memitem">
609
+ <div class="memproto">
610
+ <table class="mlabels">
611
+ <tr>
612
+ <td class="mlabels-left">
613
+ <table class="memname">
614
+ <tr>
615
+ <td class="memname">static bool SVF::AbstractState::geqVarToValMap </td>
616
+ <td>(</td>
617
+ <td class="paramtype">const <a class="el" href="classSVF_1_1AbstractState.html#ab8e7d112c380f0c3fe66b487af90c03e">VarToAbsValMap</a> &amp;&#160;</td>
618
+ <td class="paramname"><em>lhs</em>, </td>
619
+ </tr>
620
+ <tr>
621
+ <td class="paramkey"></td>
622
+ <td></td>
623
+ <td class="paramtype">const <a class="el" href="classSVF_1_1AbstractState.html#ab8e7d112c380f0c3fe66b487af90c03e">VarToAbsValMap</a> &amp;&#160;</td>
624
+ <td class="paramname"><em>rhs</em>&#160;</td>
625
+ </tr>
626
+ <tr>
627
+ <td></td>
628
+ <td>)</td>
629
+ <td></td><td></td>
630
+ </tr>
631
+ </table>
632
+ </td>
633
+ <td class="mlabels-right">
634
+ <span class="mlabels"><span class="mlabel">inline</span><span class="mlabel">static</span></span> </td>
635
+ </tr>
636
+ </table>
637
+ </div><div class="memdoc">
638
+
639
+ <p class="definition">Definition at line <a class="el" href="AbstractState_8h_source.html#l00387">387</a> of file <a class="el" href="AbstractState_8h_source.html">AbstractState.h</a>.</p>
640
+ <div class="fragment"><div class="line"><a name="l00388"></a><span class="lineno"> 388</span>&#160; {</div>
641
+ <div class="line"><a name="l00389"></a><span class="lineno"> 389</span>&#160; <span class="keywordflow">if</span> (rhs.empty()) <span class="keywordflow">return</span> <span class="keyword">true</span>;</div>
642
+ <div class="line"><a name="l00390"></a><span class="lineno"> 390</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>: rhs)</div>
643
+ <div class="line"><a name="l00391"></a><span class="lineno"> 391</span>&#160; {</div>
644
+ <div class="line"><a name="l00392"></a><span class="lineno"> 392</span>&#160; <span class="keyword">auto</span> it = lhs.find(<a class="code" href="cJSON_8h.html#ac76cea59d438ba893d2f82aabb367d14">item</a>.first);</div>
645
+ <div class="line"><a name="l00393"></a><span class="lineno"> 393</span>&#160; <span class="keywordflow">if</span> (it == lhs.end()) <span class="keywordflow">return</span> <span class="keyword">false</span>;</div>
646
+ <div class="line"><a name="l00394"></a><span class="lineno"> 394</span>&#160; <span class="comment">// judge from expr id</span></div>
647
+ <div class="line"><a name="l00395"></a><span class="lineno"> 395</span>&#160; <span class="keywordflow">if</span> (it-&gt;second.isInterval() &amp;&amp; <a class="code" href="cJSON_8h.html#ac76cea59d438ba893d2f82aabb367d14">item</a>.second.isInterval())</div>
648
+ <div class="line"><a name="l00396"></a><span class="lineno"> 396</span>&#160; {</div>
649
+ <div class="line"><a name="l00397"></a><span class="lineno"> 397</span>&#160; <span class="keywordflow">if</span> (!it-&gt;second.getInterval().geq(<a class="code" href="cJSON_8h.html#ac76cea59d438ba893d2f82aabb367d14">item</a>.second.getInterval()))</div>
650
+ <div class="line"><a name="l00398"></a><span class="lineno"> 398</span>&#160; <span class="keywordflow">return</span> <span class="keyword">false</span>;</div>
651
+ <div class="line"><a name="l00399"></a><span class="lineno"> 399</span>&#160; }</div>
652
+ <div class="line"><a name="l00400"></a><span class="lineno"> 400</span>&#160; </div>
653
+ <div class="line"><a name="l00401"></a><span class="lineno"> 401</span>&#160; }</div>
654
+ <div class="line"><a name="l00402"></a><span class="lineno"> 402</span>&#160; <span class="keywordflow">return</span> <span class="keyword">true</span>;</div>
655
+ <div class="line"><a name="l00403"></a><span class="lineno"> 403</span>&#160; }</div>
656
+ </div><!-- fragment -->
657
+ </div>
658
+ </div>
659
+ <a id="aaabe5850dbf1620c6058f5ac6cb169b6"></a>
660
+ <h2 class="memtitle"><span class="permalink"><a href="#aaabe5850dbf1620c6058f5ac6cb169b6">&#9670;&nbsp;</a></span>getInternalID()</h2>
661
+
662
+ <div class="memitem">
663
+ <div class="memproto">
664
+ <table class="mlabels">
665
+ <tr>
666
+ <td class="mlabels-left">
667
+ <table class="memname">
668
+ <tr>
669
+ <td class="memname">static <a class="el" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> SVF::AbstractState::getInternalID </td>
670
+ <td>(</td>
671
+ <td class="paramtype"><a class="el" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a>&#160;</td>
672
+ <td class="paramname"><em>idx</em></td><td>)</td>
673
+ <td></td>
674
+ </tr>
675
+ </table>
676
+ </td>
677
+ <td class="mlabels-right">
678
+ <span class="mlabels"><span class="mlabel">inline</span><span class="mlabel">static</span></span> </td>
679
+ </tr>
680
+ </table>
681
+ </div><div class="memdoc">
682
+
683
+ <p>Return the internal index if idx is an address otherwise return the value of idx. </p>
684
+
685
+ <p class="definition">Definition at line <a class="el" href="AbstractState_8h_source.html#l00093">93</a> of file <a class="el" href="AbstractState_8h_source.html">AbstractState.h</a>.</p>
686
+ <div class="fragment"><div class="line"><a name="l00094"></a><span class="lineno"> 94</span>&#160; {</div>
687
+ <div class="line"><a name="l00095"></a><span class="lineno"> 95</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1AddressValue.html#a3be7a2e3ec3215b67cd60f122d2cd10e">AddressValue::getInternalID</a>(idx);</div>
688
+ <div class="line"><a name="l00096"></a><span class="lineno"> 96</span>&#160; }</div>
689
+ </div><!-- fragment -->
690
+ </div>
691
+ </div>
692
+ <a id="ab409b0084c202ddf437b45873d6992c6"></a>
693
+ <h2 class="memtitle"><span class="permalink"><a href="#ab409b0084c202ddf437b45873d6992c6">&#9670;&nbsp;</a></span>getLocToVal()</h2>
694
+
695
+ <div class="memitem">
696
+ <div class="memproto">
697
+ <table class="mlabels">
698
+ <tr>
699
+ <td class="mlabels-left">
700
+ <table class="memname">
701
+ <tr>
702
+ <td class="memname">const <a class="el" href="classSVF_1_1AbstractState.html#a046e475067c101430f87d67965ecfb08">LocToAbsValMap</a>&amp; SVF::AbstractState::getLocToVal </td>
703
+ <td>(</td>
704
+ <td class="paramname"></td><td>)</td>
705
+ <td> const</td>
706
+ </tr>
707
+ </table>
708
+ </td>
709
+ <td class="mlabels-right">
710
+ <span class="mlabels"><span class="mlabel">inline</span></span> </td>
711
+ </tr>
712
+ </table>
713
+ </div><div class="memdoc">
714
+
715
+ <p>get loc2val map </p>
716
+
717
+ <p class="definition">Definition at line <a class="el" href="AbstractState_8h_source.html#l00244">244</a> of file <a class="el" href="AbstractState_8h_source.html">AbstractState.h</a>.</p>
718
+ <div class="fragment"><div class="line"><a name="l00245"></a><span class="lineno"> 245</span>&#160; {</div>
719
+ <div class="line"><a name="l00246"></a><span class="lineno"> 246</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1AbstractState.html#aade30bb08f86b3f74e7aa9cdc60c92a3">_locToAbsVal</a>;</div>
720
+ <div class="line"><a name="l00247"></a><span class="lineno"> 247</span>&#160; }</div>
721
+ </div><!-- fragment -->
722
+ </div>
723
+ </div>
724
+ <a id="a4e4525823fd31c718216c698ed6e0a06"></a>
725
+ <h2 class="memtitle"><span class="permalink"><a href="#a4e4525823fd31c718216c698ed6e0a06">&#9670;&nbsp;</a></span>getVarToVal()</h2>
726
+
727
+ <div class="memitem">
728
+ <div class="memproto">
729
+ <table class="mlabels">
730
+ <tr>
731
+ <td class="mlabels-left">
732
+ <table class="memname">
733
+ <tr>
734
+ <td class="memname">const <a class="el" href="classSVF_1_1AbstractState.html#ab8e7d112c380f0c3fe66b487af90c03e">VarToAbsValMap</a>&amp; SVF::AbstractState::getVarToVal </td>
735
+ <td>(</td>
736
+ <td class="paramname"></td><td>)</td>
737
+ <td> const</td>
738
+ </tr>
739
+ </table>
740
+ </td>
741
+ <td class="mlabels-right">
742
+ <span class="mlabels"><span class="mlabel">inline</span></span> </td>
743
+ </tr>
744
+ </table>
745
+ </div><div class="memdoc">
746
+
747
+ <p>get var2val map </p>
748
+
749
+ <p class="definition">Definition at line <a class="el" href="AbstractState_8h_source.html#l00238">238</a> of file <a class="el" href="AbstractState_8h_source.html">AbstractState.h</a>.</p>
750
+ <div class="fragment"><div class="line"><a name="l00239"></a><span class="lineno"> 239</span>&#160; {</div>
751
+ <div class="line"><a name="l00240"></a><span class="lineno"> 240</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1AbstractState.html#a6a49c75fb6b35159dcf1763b4484d335">_varToAbsVal</a>;</div>
752
+ <div class="line"><a name="l00241"></a><span class="lineno"> 241</span>&#160; }</div>
753
+ </div><!-- fragment -->
754
+ </div>
755
+ </div>
756
+ <a id="aa594b7f3d1590073a88bcc73918dde39"></a>
757
+ <h2 class="memtitle"><span class="permalink"><a href="#aa594b7f3d1590073a88bcc73918dde39">&#9670;&nbsp;</a></span>getVirtualMemAddress()</h2>
758
+
759
+ <div class="memitem">
760
+ <div class="memproto">
761
+ <table class="mlabels">
762
+ <tr>
763
+ <td class="mlabels-left">
764
+ <table class="memname">
765
+ <tr>
766
+ <td class="memname">static <a class="el" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> SVF::AbstractState::getVirtualMemAddress </td>
767
+ <td>(</td>
768
+ <td class="paramtype"><a class="el" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a>&#160;</td>
769
+ <td class="paramname"><em>idx</em></td><td>)</td>
770
+ <td></td>
771
+ </tr>
772
+ </table>
773
+ </td>
774
+ <td class="mlabels-right">
775
+ <span class="mlabels"><span class="mlabel">inline</span><span class="mlabel">static</span></span> </td>
776
+ </tr>
777
+ </table>
778
+ </div><div class="memdoc">
779
+
780
+ <p>The physical address starts with 0x7f...... + idx. </p>
781
+
782
+ <p class="definition">Definition at line <a class="el" href="AbstractState_8h_source.html#l00081">81</a> of file <a class="el" href="AbstractState_8h_source.html">AbstractState.h</a>.</p>
783
+ <div class="fragment"><div class="line"><a name="l00082"></a><span class="lineno"> 82</span>&#160; {</div>
784
+ <div class="line"><a name="l00083"></a><span class="lineno"> 83</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1AddressValue.html#aa6ccc9882f89804cd6566e3dfe3dfdc8">AddressValue::getVirtualMemAddress</a>(idx);</div>
785
+ <div class="line"><a name="l00084"></a><span class="lineno"> 84</span>&#160; }</div>
786
+ </div><!-- fragment -->
787
+ </div>
788
+ </div>
789
+ <a id="a52aa9356624716fcaecc3c55bf7043c4"></a>
790
+ <h2 class="memtitle"><span class="permalink"><a href="#a52aa9356624716fcaecc3c55bf7043c4">&#9670;&nbsp;</a></span>has_bottom()</h2>
791
+
792
+ <div class="memitem">
793
+ <div class="memproto">
794
+ <table class="mlabels">
795
+ <tr>
796
+ <td class="mlabels-left">
797
+ <table class="memname">
798
+ <tr>
799
+ <td class="memname">bool SVF::AbstractState::has_bottom </td>
800
+ <td>(</td>
801
+ <td class="paramname"></td><td>)</td>
802
+ <td></td>
803
+ </tr>
804
+ </table>
805
+ </td>
806
+ <td class="mlabels-right">
807
+ <span class="mlabels"><span class="mlabel">inline</span></span> </td>
808
+ </tr>
809
+ </table>
810
+ </div><div class="memdoc">
811
+
812
+ <p>Return true if map has bottom value. </p>
813
+
814
+ <p class="definition">Definition at line <a class="el" href="AbstractState_8h_source.html#l00278">278</a> of file <a class="el" href="AbstractState_8h_source.html">AbstractState.h</a>.</p>
815
+ <div class="fragment"><div class="line"><a name="l00279"></a><span class="lineno"> 279</span>&#160; {</div>
816
+ <div class="line"><a name="l00280"></a><span class="lineno"> 280</span>&#160; <span class="keywordflow">for</span> (<span class="keyword">auto</span> it = <a class="code" href="classSVF_1_1AbstractState.html#a6a49c75fb6b35159dcf1763b4484d335">_varToAbsVal</a>.begin(); it != <a class="code" href="classSVF_1_1AbstractState.html#a6a49c75fb6b35159dcf1763b4484d335">_varToAbsVal</a>.end(); ++it)</div>
817
+ <div class="line"><a name="l00281"></a><span class="lineno"> 281</span>&#160; {</div>
818
+ <div class="line"><a name="l00282"></a><span class="lineno"> 282</span>&#160; <span class="keywordflow">if</span> (it-&gt;second.isInterval())</div>
819
+ <div class="line"><a name="l00283"></a><span class="lineno"> 283</span>&#160; {</div>
820
+ <div class="line"><a name="l00284"></a><span class="lineno"> 284</span>&#160; <span class="keywordflow">if</span> (it-&gt;second.getInterval().isBottom())</div>
821
+ <div class="line"><a name="l00285"></a><span class="lineno"> 285</span>&#160; {</div>
822
+ <div class="line"><a name="l00286"></a><span class="lineno"> 286</span>&#160; <span class="keywordflow">return</span> <span class="keyword">true</span>;</div>
823
+ <div class="line"><a name="l00287"></a><span class="lineno"> 287</span>&#160; }</div>
824
+ <div class="line"><a name="l00288"></a><span class="lineno"> 288</span>&#160; }</div>
825
+ <div class="line"><a name="l00289"></a><span class="lineno"> 289</span>&#160; }</div>
826
+ <div class="line"><a name="l00290"></a><span class="lineno"> 290</span>&#160; <span class="keywordflow">for</span> (<span class="keyword">auto</span> it = <a class="code" href="classSVF_1_1AbstractState.html#aade30bb08f86b3f74e7aa9cdc60c92a3">_locToAbsVal</a>.begin(); it != <a class="code" href="classSVF_1_1AbstractState.html#aade30bb08f86b3f74e7aa9cdc60c92a3">_locToAbsVal</a>.end(); ++it)</div>
827
+ <div class="line"><a name="l00291"></a><span class="lineno"> 291</span>&#160; {</div>
828
+ <div class="line"><a name="l00292"></a><span class="lineno"> 292</span>&#160; <span class="keywordflow">if</span> (it-&gt;second.isInterval())</div>
829
+ <div class="line"><a name="l00293"></a><span class="lineno"> 293</span>&#160; {</div>
830
+ <div class="line"><a name="l00294"></a><span class="lineno"> 294</span>&#160; <span class="keywordflow">if</span> (it-&gt;second.getInterval().isBottom())</div>
831
+ <div class="line"><a name="l00295"></a><span class="lineno"> 295</span>&#160; {</div>
832
+ <div class="line"><a name="l00296"></a><span class="lineno"> 296</span>&#160; <span class="keywordflow">return</span> <span class="keyword">true</span>;</div>
833
+ <div class="line"><a name="l00297"></a><span class="lineno"> 297</span>&#160; }</div>
834
+ <div class="line"><a name="l00298"></a><span class="lineno"> 298</span>&#160; }</div>
835
+ <div class="line"><a name="l00299"></a><span class="lineno"> 299</span>&#160; }</div>
836
+ <div class="line"><a name="l00300"></a><span class="lineno"> 300</span>&#160; <span class="keywordflow">return</span> <span class="keyword">false</span>;</div>
837
+ <div class="line"><a name="l00301"></a><span class="lineno"> 301</span>&#160; }</div>
838
+ </div><!-- fragment -->
839
+ </div>
840
+ </div>
841
+ <a id="a38608261ed9a3f7b25cd68748456924b"></a>
842
+ <h2 class="memtitle"><span class="permalink"><a href="#a38608261ed9a3f7b25cd68748456924b">&#9670;&nbsp;</a></span>hash()</h2>
843
+
844
+ <div class="memitem">
845
+ <div class="memproto">
846
+ <table class="memname">
847
+ <tr>
848
+ <td class="memname"><a class="el" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> AbstractState::hash </td>
849
+ <td>(</td>
850
+ <td class="paramname"></td><td>)</td>
851
+ <td> const</td>
852
+ </tr>
853
+ </table>
854
+ </div><div class="memdoc">
855
+
856
+ <p class="definition">Definition at line <a class="el" href="AbstractState_8cpp_source.html#l00041">41</a> of file <a class="el" href="AbstractState_8cpp_source.html">AbstractState.cpp</a>.</p>
857
+ <div class="fragment"><div class="line"><a name="l00042"></a><span class="lineno"> 42</span>&#160;{</div>
858
+ <div class="line"><a name="l00043"></a><span class="lineno"> 43</span>&#160; <span class="keywordtype">size_t</span> h = <a class="code" href="classSVF_1_1AbstractState.html#a4e4525823fd31c718216c698ed6e0a06">getVarToVal</a>().size() * 2;</div>
859
+ <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>
860
+ <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: <a class="code" href="classSVF_1_1AbstractState.html#a4e4525823fd31c718216c698ed6e0a06">getVarToVal</a>())</div>
861
+ <div class="line"><a name="l00046"></a><span class="lineno"> 46</span>&#160; {</div>
862
+ <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>
863
+ <div class="line"><a name="l00048"></a><span class="lineno"> 48</span>&#160; }</div>
864
+ <div class="line"><a name="l00049"></a><span class="lineno"> 49</span>&#160; <span class="keywordtype">size_t</span> h2 = <a class="code" href="classSVF_1_1AbstractState.html#ab409b0084c202ddf437b45873d6992c6">getLocToVal</a>().size() * 2;</div>
865
+ <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: <a class="code" href="classSVF_1_1AbstractState.html#ab409b0084c202ddf437b45873d6992c6">getLocToVal</a>())</div>
866
+ <div class="line"><a name="l00051"></a><span class="lineno"> 51</span>&#160; {</div>
867
+ <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>
868
+ <div class="line"><a name="l00053"></a><span class="lineno"> 53</span>&#160; }</div>
869
+ <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>
870
+ <div class="line"><a name="l00055"></a><span class="lineno"> 55</span>&#160; <span class="keywordflow">return</span> pairH({h, h2});</div>
871
+ <div class="line"><a name="l00056"></a><span class="lineno"> 56</span>&#160;}</div>
872
+ </div><!-- fragment -->
873
+ </div>
874
+ </div>
875
+ <a id="aff46e9d0fb20cedd54323c808d06f7cf"></a>
876
+ <h2 class="memtitle"><span class="permalink"><a href="#aff46e9d0fb20cedd54323c808d06f7cf">&#9670;&nbsp;</a></span>inLocToAddrsTable()</h2>
877
+
878
+ <div class="memitem">
879
+ <div class="memproto">
880
+ <table class="mlabels">
881
+ <tr>
882
+ <td class="mlabels-left">
883
+ <table class="memname">
884
+ <tr>
885
+ <td class="memname">bool SVF::AbstractState::inLocToAddrsTable </td>
886
+ <td>(</td>
887
+ <td class="paramtype"><a class="el" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a>&#160;</td>
888
+ <td class="paramname"><em>id</em></td><td>)</td>
889
+ <td> const</td>
890
+ </tr>
891
+ </table>
892
+ </td>
893
+ <td class="mlabels-right">
894
+ <span class="mlabels"><span class="mlabel">inline</span></span> </td>
895
+ </tr>
896
+ </table>
897
+ </div><div class="memdoc">
898
+
899
+ <p>whether the memory address stores memory addresses </p>
900
+
901
+ <p class="definition">Definition at line <a class="el" href="AbstractState_8h_source.html#l00212">212</a> of file <a class="el" href="AbstractState_8h_source.html">AbstractState.h</a>.</p>
902
+ <div class="fragment"><div class="line"><a name="l00213"></a><span class="lineno"> 213</span>&#160; {</div>
903
+ <div class="line"><a name="l00214"></a><span class="lineno"> 214</span>&#160; <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1AbstractState.html#aade30bb08f86b3f74e7aa9cdc60c92a3">_locToAbsVal</a>.find(<span class="keywordtype">id</span>)!= <a class="code" href="classSVF_1_1AbstractState.html#aade30bb08f86b3f74e7aa9cdc60c92a3">_locToAbsVal</a>.end())</div>
904
+ <div class="line"><a name="l00215"></a><span class="lineno"> 215</span>&#160; {</div>
905
+ <div class="line"><a name="l00216"></a><span class="lineno"> 216</span>&#160; <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1AbstractState.html#aade30bb08f86b3f74e7aa9cdc60c92a3">_locToAbsVal</a>.at(<span class="keywordtype">id</span>).isAddr())</div>
906
+ <div class="line"><a name="l00217"></a><span class="lineno"> 217</span>&#160; {</div>
907
+ <div class="line"><a name="l00218"></a><span class="lineno"> 218</span>&#160; <span class="keywordflow">return</span> <span class="keyword">true</span>;</div>
908
+ <div class="line"><a name="l00219"></a><span class="lineno"> 219</span>&#160; }</div>
909
+ <div class="line"><a name="l00220"></a><span class="lineno"> 220</span>&#160; }</div>
910
+ <div class="line"><a name="l00221"></a><span class="lineno"> 221</span>&#160; <span class="keywordflow">return</span> <span class="keyword">false</span>;</div>
911
+ <div class="line"><a name="l00222"></a><span class="lineno"> 222</span>&#160; }</div>
912
+ </div><!-- fragment -->
913
+ </div>
914
+ </div>
915
+ <a id="aa2ac2ba25a9859232717ee22192feb35"></a>
916
+ <h2 class="memtitle"><span class="permalink"><a href="#aa2ac2ba25a9859232717ee22192feb35">&#9670;&nbsp;</a></span>inLocToValTable()</h2>
917
+
918
+ <div class="memitem">
919
+ <div class="memproto">
920
+ <table class="mlabels">
921
+ <tr>
922
+ <td class="mlabels-left">
923
+ <table class="memname">
924
+ <tr>
925
+ <td class="memname">virtual bool SVF::AbstractState::inLocToValTable </td>
926
+ <td>(</td>
927
+ <td class="paramtype"><a class="el" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a>&#160;</td>
928
+ <td class="paramname"><em>id</em></td><td>)</td>
929
+ <td> const</td>
930
+ </tr>
931
+ </table>
932
+ </td>
933
+ <td class="mlabels-right">
934
+ <span class="mlabels"><span class="mlabel">inline</span><span class="mlabel">virtual</span></span> </td>
935
+ </tr>
936
+ </table>
937
+ </div><div class="memdoc">
938
+
939
+ <p>whether the memory address stores abstract value </p>
940
+
941
+ <p>Reimplemented in <a class="el" href="classSVF_1_1SparseAbstractState.html#a931b900daaedf35965631b6492248940">SVF::SparseAbstractState</a>.</p>
942
+
943
+ <p class="definition">Definition at line <a class="el" href="AbstractState_8h_source.html#l00225">225</a> of file <a class="el" href="AbstractState_8h_source.html">AbstractState.h</a>.</p>
944
+ <div class="fragment"><div class="line"><a name="l00226"></a><span class="lineno"> 226</span>&#160; {</div>
945
+ <div class="line"><a name="l00227"></a><span class="lineno"> 227</span>&#160; <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1AbstractState.html#aade30bb08f86b3f74e7aa9cdc60c92a3">_locToAbsVal</a>.find(<span class="keywordtype">id</span>) != <a class="code" href="classSVF_1_1AbstractState.html#aade30bb08f86b3f74e7aa9cdc60c92a3">_locToAbsVal</a>.end())</div>
946
+ <div class="line"><a name="l00228"></a><span class="lineno"> 228</span>&#160; {</div>
947
+ <div class="line"><a name="l00229"></a><span class="lineno"> 229</span>&#160; <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1AbstractState.html#aade30bb08f86b3f74e7aa9cdc60c92a3">_locToAbsVal</a>.at(<span class="keywordtype">id</span>).isInterval())</div>
948
+ <div class="line"><a name="l00230"></a><span class="lineno"> 230</span>&#160; {</div>
949
+ <div class="line"><a name="l00231"></a><span class="lineno"> 231</span>&#160; <span class="keywordflow">return</span> <span class="keyword">true</span>;</div>
950
+ <div class="line"><a name="l00232"></a><span class="lineno"> 232</span>&#160; }</div>
951
+ <div class="line"><a name="l00233"></a><span class="lineno"> 233</span>&#160; }</div>
952
+ <div class="line"><a name="l00234"></a><span class="lineno"> 234</span>&#160; <span class="keywordflow">return</span> <span class="keyword">false</span>;</div>
953
+ <div class="line"><a name="l00235"></a><span class="lineno"> 235</span>&#160; }</div>
954
+ </div><!-- fragment -->
955
+ </div>
956
+ </div>
957
+ <a id="a55ef37a2d9636d030feaaac041a1b081"></a>
958
+ <h2 class="memtitle"><span class="permalink"><a href="#a55ef37a2d9636d030feaaac041a1b081">&#9670;&nbsp;</a></span>Interval2NumValue()</h2>
959
+
960
+ <div class="memitem">
961
+ <div class="memproto">
962
+ <table class="mlabels">
963
+ <tr>
964
+ <td class="mlabels-left">
965
+ <table class="memname">
966
+ <tr>
967
+ <td class="memname"><a class="el" href="namespaceSVF.html#a9b707002523ece2ac54ca893ee9a2d4e">s32_t</a> SVF::AbstractState::Interval2NumValue </td>
968
+ <td>(</td>
969
+ <td class="paramtype">const <a class="el" href="classSVF_1_1IntervalValue.html">IntervalValue</a> &amp;&#160;</td>
970
+ <td class="paramname"><em>e</em></td><td>)</td>
971
+ <td> const</td>
972
+ </tr>
973
+ </table>
974
+ </td>
975
+ <td class="mlabels-right">
976
+ <span class="mlabels"><span class="mlabel">inline</span></span> </td>
977
+ </tr>
978
+ </table>
979
+ </div><div class="memdoc">
980
+
981
+ <p>Return int value from an expression if it is a numeral, otherwise return an approximate value. </p>
982
+
983
+ <p class="definition">Definition at line <a class="el" href="AbstractState_8h_source.html#l00271">271</a> of file <a class="el" href="AbstractState_8h_source.html">AbstractState.h</a>.</p>
984
+ <div class="fragment"><div class="line"><a name="l00272"></a><span class="lineno"> 272</span>&#160; {</div>
985
+ <div class="line"><a name="l00273"></a><span class="lineno"> 273</span>&#160; <span class="comment">//TODO: return concrete value;</span></div>
986
+ <div class="line"><a name="l00274"></a><span class="lineno"> 274</span>&#160; <span class="keywordflow">return</span> (<a class="code" href="namespaceSVF.html#a9b707002523ece2ac54ca893ee9a2d4e">s32_t</a>) e.lb().getNumeral();</div>
987
+ <div class="line"><a name="l00275"></a><span class="lineno"> 275</span>&#160; }</div>
988
+ </div><!-- fragment -->
989
+ </div>
990
+ </div>
991
+ <a id="aa34516a95191c5ec56ce44a117e8b018"></a>
992
+ <h2 class="memtitle"><span class="permalink"><a href="#aa34516a95191c5ec56ce44a117e8b018">&#9670;&nbsp;</a></span>inVarToAddrsTable()</h2>
993
+
994
+ <div class="memitem">
995
+ <div class="memproto">
996
+ <table class="mlabels">
997
+ <tr>
998
+ <td class="mlabels-left">
999
+ <table class="memname">
1000
+ <tr>
1001
+ <td class="memname">bool SVF::AbstractState::inVarToAddrsTable </td>
1002
+ <td>(</td>
1003
+ <td class="paramtype"><a class="el" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a>&#160;</td>
1004
+ <td class="paramname"><em>id</em></td><td>)</td>
1005
+ <td> const</td>
1006
+ </tr>
1007
+ </table>
1008
+ </td>
1009
+ <td class="mlabels-right">
1010
+ <span class="mlabels"><span class="mlabel">inline</span></span> </td>
1011
+ </tr>
1012
+ </table>
1013
+ </div><div class="memdoc">
1014
+
1015
+ <p>whether the variable is in varToAddrs table </p>
1016
+
1017
+ <p class="definition">Definition at line <a class="el" href="AbstractState_8h_source.html#l00186">186</a> of file <a class="el" href="AbstractState_8h_source.html">AbstractState.h</a>.</p>
1018
+ <div class="fragment"><div class="line"><a name="l00187"></a><span class="lineno"> 187</span>&#160; {</div>
1019
+ <div class="line"><a name="l00188"></a><span class="lineno"> 188</span>&#160; <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1AbstractState.html#a6a49c75fb6b35159dcf1763b4484d335">_varToAbsVal</a>.find(<span class="keywordtype">id</span>)!= <a class="code" href="classSVF_1_1AbstractState.html#a6a49c75fb6b35159dcf1763b4484d335">_varToAbsVal</a>.end())</div>
1020
+ <div class="line"><a name="l00189"></a><span class="lineno"> 189</span>&#160; {</div>
1021
+ <div class="line"><a name="l00190"></a><span class="lineno"> 190</span>&#160; <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1AbstractState.html#a6a49c75fb6b35159dcf1763b4484d335">_varToAbsVal</a>.at(<span class="keywordtype">id</span>).isAddr())</div>
1022
+ <div class="line"><a name="l00191"></a><span class="lineno"> 191</span>&#160; {</div>
1023
+ <div class="line"><a name="l00192"></a><span class="lineno"> 192</span>&#160; <span class="keywordflow">return</span> <span class="keyword">true</span>;</div>
1024
+ <div class="line"><a name="l00193"></a><span class="lineno"> 193</span>&#160; }</div>
1025
+ <div class="line"><a name="l00194"></a><span class="lineno"> 194</span>&#160; }</div>
1026
+ <div class="line"><a name="l00195"></a><span class="lineno"> 195</span>&#160; <span class="keywordflow">return</span> <span class="keyword">false</span>;</div>
1027
+ <div class="line"><a name="l00196"></a><span class="lineno"> 196</span>&#160; }</div>
1028
+ </div><!-- fragment -->
1029
+ </div>
1030
+ </div>
1031
+ <a id="ab4d209d0739f2c45dbc2a7e61318e2e3"></a>
1032
+ <h2 class="memtitle"><span class="permalink"><a href="#ab4d209d0739f2c45dbc2a7e61318e2e3">&#9670;&nbsp;</a></span>inVarToValTable()</h2>
1033
+
1034
+ <div class="memitem">
1035
+ <div class="memproto">
1036
+ <table class="mlabels">
1037
+ <tr>
1038
+ <td class="mlabels-left">
1039
+ <table class="memname">
1040
+ <tr>
1041
+ <td class="memname">virtual bool SVF::AbstractState::inVarToValTable </td>
1042
+ <td>(</td>
1043
+ <td class="paramtype"><a class="el" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a>&#160;</td>
1044
+ <td class="paramname"><em>id</em></td><td>)</td>
1045
+ <td> const</td>
1046
+ </tr>
1047
+ </table>
1048
+ </td>
1049
+ <td class="mlabels-right">
1050
+ <span class="mlabels"><span class="mlabel">inline</span><span class="mlabel">virtual</span></span> </td>
1051
+ </tr>
1052
+ </table>
1053
+ </div><div class="memdoc">
1054
+
1055
+ <p>whether the variable is in varToVal table </p>
1056
+
1057
+ <p>Reimplemented in <a class="el" href="classSVF_1_1SparseAbstractState.html#a4f24d346d2ea4ed98f5516ba671d338b">SVF::SparseAbstractState</a>.</p>
1058
+
1059
+ <p class="definition">Definition at line <a class="el" href="AbstractState_8h_source.html#l00199">199</a> of file <a class="el" href="AbstractState_8h_source.html">AbstractState.h</a>.</p>
1060
+ <div class="fragment"><div class="line"><a name="l00200"></a><span class="lineno"> 200</span>&#160; {</div>
1061
+ <div class="line"><a name="l00201"></a><span class="lineno"> 201</span>&#160; <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1AbstractState.html#a6a49c75fb6b35159dcf1763b4484d335">_varToAbsVal</a>.find(<span class="keywordtype">id</span>) != <a class="code" href="classSVF_1_1AbstractState.html#a6a49c75fb6b35159dcf1763b4484d335">_varToAbsVal</a>.end())</div>
1062
+ <div class="line"><a name="l00202"></a><span class="lineno"> 202</span>&#160; {</div>
1063
+ <div class="line"><a name="l00203"></a><span class="lineno"> 203</span>&#160; <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1AbstractState.html#a6a49c75fb6b35159dcf1763b4484d335">_varToAbsVal</a>.at(<span class="keywordtype">id</span>).isInterval())</div>
1064
+ <div class="line"><a name="l00204"></a><span class="lineno"> 204</span>&#160; {</div>
1065
+ <div class="line"><a name="l00205"></a><span class="lineno"> 205</span>&#160; <span class="keywordflow">return</span> <span class="keyword">true</span>;</div>
1066
+ <div class="line"><a name="l00206"></a><span class="lineno"> 206</span>&#160; }</div>
1067
+ <div class="line"><a name="l00207"></a><span class="lineno"> 207</span>&#160; }</div>
1068
+ <div class="line"><a name="l00208"></a><span class="lineno"> 208</span>&#160; <span class="keywordflow">return</span> <span class="keyword">false</span>;</div>
1069
+ <div class="line"><a name="l00209"></a><span class="lineno"> 209</span>&#160; }</div>
1070
+ </div><!-- fragment -->
1071
+ </div>
1072
+ </div>
1073
+ <a id="aad7588fead712273f6679d00759c06ea"></a>
1074
+ <h2 class="memtitle"><span class="permalink"><a href="#aad7588fead712273f6679d00759c06ea">&#9670;&nbsp;</a></span>isNullPtr()</h2>
1075
+
1076
+ <div class="memitem">
1077
+ <div class="memproto">
1078
+ <table class="mlabels">
1079
+ <tr>
1080
+ <td class="mlabels-left">
1081
+ <table class="memname">
1082
+ <tr>
1083
+ <td class="memname">static bool SVF::AbstractState::isNullPtr </td>
1084
+ <td>(</td>
1085
+ <td class="paramtype"><a class="el" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a>&#160;</td>
1086
+ <td class="paramname"><em>addr</em></td><td>)</td>
1087
+ <td></td>
1088
+ </tr>
1089
+ </table>
1090
+ </td>
1091
+ <td class="mlabels-right">
1092
+ <span class="mlabels"><span class="mlabel">inline</span><span class="mlabel">static</span></span> </td>
1093
+ </tr>
1094
+ </table>
1095
+ </div><div class="memdoc">
1096
+
1097
+ <p class="definition">Definition at line <a class="el" href="AbstractState_8h_source.html#l00098">98</a> of file <a class="el" href="AbstractState_8h_source.html">AbstractState.h</a>.</p>
1098
+ <div class="fragment"><div class="line"><a name="l00099"></a><span class="lineno"> 99</span>&#160; {</div>
1099
+ <div class="line"><a name="l00100"></a><span class="lineno"> 100</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1AbstractState.html#aaabe5850dbf1620c6058f5ac6cb169b6">getInternalID</a>(addr) == 0;</div>
1100
+ <div class="line"><a name="l00101"></a><span class="lineno"> 101</span>&#160; }</div>
1101
+ </div><!-- fragment -->
1102
+ </div>
1103
+ </div>
1104
+ <a id="ad3eefae77eb1fc4bbcfe70b0f2f51dd4"></a>
1105
+ <h2 class="memtitle"><span class="permalink"><a href="#ad3eefae77eb1fc4bbcfe70b0f2f51dd4">&#9670;&nbsp;</a></span>isVirtualMemAddress()</h2>
1106
+
1107
+ <div class="memitem">
1108
+ <div class="memproto">
1109
+ <table class="mlabels">
1110
+ <tr>
1111
+ <td class="mlabels-left">
1112
+ <table class="memname">
1113
+ <tr>
1114
+ <td class="memname">static bool SVF::AbstractState::isVirtualMemAddress </td>
1115
+ <td>(</td>
1116
+ <td class="paramtype"><a class="el" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a>&#160;</td>
1117
+ <td class="paramname"><em>val</em></td><td>)</td>
1118
+ <td></td>
1119
+ </tr>
1120
+ </table>
1121
+ </td>
1122
+ <td class="mlabels-right">
1123
+ <span class="mlabels"><span class="mlabel">inline</span><span class="mlabel">static</span></span> </td>
1124
+ </tr>
1125
+ </table>
1126
+ </div><div class="memdoc">
1127
+
1128
+ <p>Check bit value of val start with 0x7F000000, filter by 0xFF000000. </p>
1129
+
1130
+ <p class="definition">Definition at line <a class="el" href="AbstractState_8h_source.html#l00087">87</a> of file <a class="el" href="AbstractState_8h_source.html">AbstractState.h</a>.</p>
1131
+ <div class="fragment"><div class="line"><a name="l00088"></a><span class="lineno"> 88</span>&#160; {</div>
1132
+ <div class="line"><a name="l00089"></a><span class="lineno"> 89</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1AddressValue.html#ab76f47f97262d40dbbee12f466f746e8">AddressValue::isVirtualMemAddress</a>(val);</div>
1133
+ <div class="line"><a name="l00090"></a><span class="lineno"> 90</span>&#160; }</div>
1134
+ </div><!-- fragment -->
1135
+ </div>
1136
+ </div>
1137
+ <a id="a413cb1d009e2a080960bb2432e193d0c"></a>
1138
+ <h2 class="memtitle"><span class="permalink"><a href="#a413cb1d009e2a080960bb2432e193d0c">&#9670;&nbsp;</a></span>joinWith()</h2>
1139
+
1140
+ <div class="memitem">
1141
+ <div class="memproto">
1142
+ <table class="memname">
1143
+ <tr>
1144
+ <td class="memname">void AbstractState::joinWith </td>
1145
+ <td>(</td>
1146
+ <td class="paramtype">const <a class="el" href="classSVF_1_1AbstractState.html">AbstractState</a> &amp;&#160;</td>
1147
+ <td class="paramname"><em>other</em></td><td>)</td>
1148
+ <td></td>
1149
+ </tr>
1150
+ </table>
1151
+ </div><div class="memdoc">
1152
+
1153
+ <p>domain join with other, important! other widen this. </p>
1154
+
1155
+ <p class="definition">Definition at line <a class="el" href="AbstractState_8cpp_source.html#l00120">120</a> of file <a class="el" href="AbstractState_8cpp_source.html">AbstractState.cpp</a>.</p>
1156
+ <div class="fragment"><div class="line"><a name="l00121"></a><span class="lineno"> 121</span>&#160;{</div>
1157
+ <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>
1158
+ <div class="line"><a name="l00123"></a><span class="lineno"> 123</span>&#160; {</div>
1159
+ <div class="line"><a name="l00124"></a><span class="lineno"> 124</span>&#160; <span class="keyword">auto</span> key = it-&gt;first;</div>
1160
+ <div class="line"><a name="l00125"></a><span class="lineno"> 125</span>&#160; <span class="keyword">auto</span> oit = <a class="code" href="classSVF_1_1AbstractState.html#a6a49c75fb6b35159dcf1763b4484d335">_varToAbsVal</a>.find(key);</div>
1161
+ <div class="line"><a name="l00126"></a><span class="lineno"> 126</span>&#160; <span class="keywordflow">if</span> (oit != <a class="code" href="classSVF_1_1AbstractState.html#a6a49c75fb6b35159dcf1763b4484d335">_varToAbsVal</a>.end())</div>
1162
+ <div class="line"><a name="l00127"></a><span class="lineno"> 127</span>&#160; {</div>
1163
+ <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>
1164
+ <div class="line"><a name="l00129"></a><span class="lineno"> 129</span>&#160; {</div>
1165
+ <div class="line"><a name="l00130"></a><span class="lineno"> 130</span>&#160; oit-&gt;second.getInterval().join_with(it-&gt;second.getInterval());</div>
1166
+ <div class="line"><a name="l00131"></a><span class="lineno"> 131</span>&#160; }</div>
1167
+ <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>
1168
+ <div class="line"><a name="l00133"></a><span class="lineno"> 133</span>&#160; {</div>
1169
+ <div class="line"><a name="l00134"></a><span class="lineno"> 134</span>&#160; oit-&gt;second.getAddrs().join_with(it-&gt;second.getAddrs());</div>
1170
+ <div class="line"><a name="l00135"></a><span class="lineno"> 135</span>&#160; }</div>
1171
+ <div class="line"><a name="l00136"></a><span class="lineno"> 136</span>&#160; <span class="keywordflow">else</span></div>
1172
+ <div class="line"><a name="l00137"></a><span class="lineno"> 137</span>&#160; {</div>
1173
+ <div class="line"><a name="l00138"></a><span class="lineno"> 138</span>&#160; <span class="comment">// do nothing</span></div>
1174
+ <div class="line"><a name="l00139"></a><span class="lineno"> 139</span>&#160; }</div>
1175
+ <div class="line"><a name="l00140"></a><span class="lineno"> 140</span>&#160; }</div>
1176
+ <div class="line"><a name="l00141"></a><span class="lineno"> 141</span>&#160; <span class="keywordflow">else</span></div>
1177
+ <div class="line"><a name="l00142"></a><span class="lineno"> 142</span>&#160; {</div>
1178
+ <div class="line"><a name="l00143"></a><span class="lineno"> 143</span>&#160; <a class="code" href="classSVF_1_1AbstractState.html#a6a49c75fb6b35159dcf1763b4484d335">_varToAbsVal</a>.emplace(key, it-&gt;second);</div>
1179
+ <div class="line"><a name="l00144"></a><span class="lineno"> 144</span>&#160; }</div>
1180
+ <div class="line"><a name="l00145"></a><span class="lineno"> 145</span>&#160; }</div>
1181
+ <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>
1182
+ <div class="line"><a name="l00147"></a><span class="lineno"> 147</span>&#160; {</div>
1183
+ <div class="line"><a name="l00148"></a><span class="lineno"> 148</span>&#160; <span class="keyword">auto</span> key = it-&gt;first;</div>
1184
+ <div class="line"><a name="l00149"></a><span class="lineno"> 149</span>&#160; <span class="keyword">auto</span> oit = <a class="code" href="classSVF_1_1AbstractState.html#aade30bb08f86b3f74e7aa9cdc60c92a3">_locToAbsVal</a>.find(key);</div>
1185
+ <div class="line"><a name="l00150"></a><span class="lineno"> 150</span>&#160; <span class="keywordflow">if</span> (oit != <a class="code" href="classSVF_1_1AbstractState.html#aade30bb08f86b3f74e7aa9cdc60c92a3">_locToAbsVal</a>.end())</div>
1186
+ <div class="line"><a name="l00151"></a><span class="lineno"> 151</span>&#160; {</div>
1187
+ <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>
1188
+ <div class="line"><a name="l00153"></a><span class="lineno"> 153</span>&#160; {</div>
1189
+ <div class="line"><a name="l00154"></a><span class="lineno"> 154</span>&#160; oit-&gt;second.getInterval().join_with(it-&gt;second.getInterval());</div>
1190
+ <div class="line"><a name="l00155"></a><span class="lineno"> 155</span>&#160; }</div>
1191
+ <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>
1192
+ <div class="line"><a name="l00157"></a><span class="lineno"> 157</span>&#160; {</div>
1193
+ <div class="line"><a name="l00158"></a><span class="lineno"> 158</span>&#160; oit-&gt;second.getAddrs().join_with(it-&gt;second.getAddrs());</div>
1194
+ <div class="line"><a name="l00159"></a><span class="lineno"> 159</span>&#160; }</div>
1195
+ <div class="line"><a name="l00160"></a><span class="lineno"> 160</span>&#160; <span class="keywordflow">else</span></div>
1196
+ <div class="line"><a name="l00161"></a><span class="lineno"> 161</span>&#160; {</div>
1197
+ <div class="line"><a name="l00162"></a><span class="lineno"> 162</span>&#160; <span class="comment">// do nothing</span></div>
1198
+ <div class="line"><a name="l00163"></a><span class="lineno"> 163</span>&#160; }</div>
1199
+ <div class="line"><a name="l00164"></a><span class="lineno"> 164</span>&#160; }</div>
1200
+ <div class="line"><a name="l00165"></a><span class="lineno"> 165</span>&#160; <span class="keywordflow">else</span></div>
1201
+ <div class="line"><a name="l00166"></a><span class="lineno"> 166</span>&#160; {</div>
1202
+ <div class="line"><a name="l00167"></a><span class="lineno"> 167</span>&#160; <a class="code" href="classSVF_1_1AbstractState.html#aade30bb08f86b3f74e7aa9cdc60c92a3">_locToAbsVal</a>.emplace(key, it-&gt;second);</div>
1203
+ <div class="line"><a name="l00168"></a><span class="lineno"> 168</span>&#160; }</div>
1204
+ <div class="line"><a name="l00169"></a><span class="lineno"> 169</span>&#160; }</div>
1205
+ <div class="line"><a name="l00170"></a><span class="lineno"> 170</span>&#160;}</div>
1206
+ </div><!-- fragment -->
1207
+ </div>
1208
+ </div>
1209
+ <a id="a943e87d9e3bf7332e7dbb3a00aeb996a"></a>
1210
+ <h2 class="memtitle"><span class="permalink"><a href="#a943e87d9e3bf7332e7dbb3a00aeb996a">&#9670;&nbsp;</a></span>lessThanVarToValMap()</h2>
1211
+
1212
+ <div class="memitem">
1213
+ <div class="memproto">
1214
+ <table class="mlabels">
1215
+ <tr>
1216
+ <td class="mlabels-left">
1217
+ <table class="memname">
1218
+ <tr>
1219
+ <td class="memname">static bool SVF::AbstractState::lessThanVarToValMap </td>
1220
+ <td>(</td>
1221
+ <td class="paramtype">const <a class="el" href="classSVF_1_1AbstractState.html#ab8e7d112c380f0c3fe66b487af90c03e">VarToAbsValMap</a> &amp;&#160;</td>
1222
+ <td class="paramname"><em>lhs</em>, </td>
1223
+ </tr>
1224
+ <tr>
1225
+ <td class="paramkey"></td>
1226
+ <td></td>
1227
+ <td class="paramtype">const <a class="el" href="classSVF_1_1AbstractState.html#ab8e7d112c380f0c3fe66b487af90c03e">VarToAbsValMap</a> &amp;&#160;</td>
1228
+ <td class="paramname"><em>rhs</em>&#160;</td>
1229
+ </tr>
1230
+ <tr>
1231
+ <td></td>
1232
+ <td>)</td>
1233
+ <td></td><td></td>
1234
+ </tr>
1235
+ </table>
1236
+ </td>
1237
+ <td class="mlabels-right">
1238
+ <span class="mlabels"><span class="mlabel">inline</span><span class="mlabel">static</span></span> </td>
1239
+ </tr>
1240
+ </table>
1241
+ </div><div class="memdoc">
1242
+
1243
+ <p class="definition">Definition at line <a class="el" href="AbstractState_8h_source.html#l00373">373</a> of file <a class="el" href="AbstractState_8h_source.html">AbstractState.h</a>.</p>
1244
+ <div class="fragment"><div class="line"><a name="l00374"></a><span class="lineno"> 374</span>&#160; {</div>
1245
+ <div class="line"><a name="l00375"></a><span class="lineno"> 375</span>&#160; <span class="keywordflow">if</span> (lhs.empty()) <span class="keywordflow">return</span> !rhs.empty();</div>
1246
+ <div class="line"><a name="l00376"></a><span class="lineno"> 376</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>: lhs)</div>
1247
+ <div class="line"><a name="l00377"></a><span class="lineno"> 377</span>&#160; {</div>
1248
+ <div class="line"><a name="l00378"></a><span class="lineno"> 378</span>&#160; <span class="keyword">auto</span> it = rhs.find(<a class="code" href="cJSON_8h.html#ac76cea59d438ba893d2f82aabb367d14">item</a>.first);</div>
1249
+ <div class="line"><a name="l00379"></a><span class="lineno"> 379</span>&#160; <span class="keywordflow">if</span> (it == rhs.end()) <span class="keywordflow">return</span> <span class="keyword">false</span>;</div>
1250
+ <div class="line"><a name="l00380"></a><span class="lineno"> 380</span>&#160; <span class="comment">// judge from expr id</span></div>
1251
+ <div class="line"><a name="l00381"></a><span class="lineno"> 381</span>&#160; <span class="keywordflow">if</span> (<a class="code" href="cJSON_8h.html#ac76cea59d438ba893d2f82aabb367d14">item</a>.second.getInterval().geq(it-&gt;second.getInterval())) <span class="keywordflow">return</span> <span class="keyword">false</span>;</div>
1252
+ <div class="line"><a name="l00382"></a><span class="lineno"> 382</span>&#160; }</div>
1253
+ <div class="line"><a name="l00383"></a><span class="lineno"> 383</span>&#160; <span class="keywordflow">return</span> <span class="keyword">true</span>;</div>
1254
+ <div class="line"><a name="l00384"></a><span class="lineno"> 384</span>&#160; }</div>
1255
+ </div><!-- fragment -->
1256
+ </div>
1257
+ </div>
1258
+ <a id="aa057c4c27e613d239161c04daf3a46d0"></a>
1259
+ <h2 class="memtitle"><span class="permalink"><a href="#aa057c4c27e613d239161c04daf3a46d0">&#9670;&nbsp;</a></span>load()</h2>
1260
+
1261
+ <div class="memitem">
1262
+ <div class="memproto">
1263
+ <table class="mlabels">
1264
+ <tr>
1265
+ <td class="mlabels-left">
1266
+ <table class="memname">
1267
+ <tr>
1268
+ <td class="memname">virtual <a class="el" href="structSVF_1_1AbstractValue.html">AbstractValue</a>&amp; SVF::AbstractState::load </td>
1269
+ <td>(</td>
1270
+ <td class="paramtype"><a class="el" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a>&#160;</td>
1271
+ <td class="paramname"><em>addr</em></td><td>)</td>
1272
+ <td></td>
1273
+ </tr>
1274
+ </table>
1275
+ </td>
1276
+ <td class="mlabels-right">
1277
+ <span class="mlabels"><span class="mlabel">inline</span><span class="mlabel">virtual</span></span> </td>
1278
+ </tr>
1279
+ </table>
1280
+ </div><div class="memdoc">
1281
+
1282
+ <p>Reimplemented in <a class="el" href="classSVF_1_1SparseAbstractState.html#a9e428ac8cc2b3b59b7dc4b164eb8b1c0">SVF::SparseAbstractState</a>.</p>
1283
+
1284
+ <p class="definition">Definition at line <a class="el" href="AbstractState_8h_source.html#l00314">314</a> of file <a class="el" href="AbstractState_8h_source.html">AbstractState.h</a>.</p>
1285
+ <div class="fragment"><div class="line"><a name="l00315"></a><span class="lineno"> 315</span>&#160; {</div>
1286
+ <div class="line"><a name="l00316"></a><span class="lineno"> 316</span>&#160; assert(<a class="code" href="classSVF_1_1AbstractState.html#ad3eefae77eb1fc4bbcfe70b0f2f51dd4">isVirtualMemAddress</a>(addr) &amp;&amp; <span class="stringliteral">&quot;not virtual address?&quot;</span>);</div>
1287
+ <div class="line"><a name="l00317"></a><span class="lineno"> 317</span>&#160; <a class="code" href="CommandLine_8h.html#a2429346d37bd4c40889bd7c6d319d9da">u32_t</a> objId = <a class="code" href="classSVF_1_1AbstractState.html#aaabe5850dbf1620c6058f5ac6cb169b6">getInternalID</a>(addr);</div>
1288
+ <div class="line"><a name="l00318"></a><span class="lineno"> 318</span>&#160; <span class="keyword">auto</span> it = <a class="code" href="classSVF_1_1AbstractState.html#aade30bb08f86b3f74e7aa9cdc60c92a3">_locToAbsVal</a>.find(objId);</div>
1289
+ <div class="line"><a name="l00319"></a><span class="lineno"> 319</span>&#160; <span class="keywordflow">if</span>(it != <a class="code" href="classSVF_1_1AbstractState.html#aade30bb08f86b3f74e7aa9cdc60c92a3">_locToAbsVal</a>.end())</div>
1290
+ <div class="line"><a name="l00320"></a><span class="lineno"> 320</span>&#160; <span class="keywordflow">return</span> it-&gt;second;</div>
1291
+ <div class="line"><a name="l00321"></a><span class="lineno"> 321</span>&#160; <span class="keywordflow">else</span></div>
1292
+ <div class="line"><a name="l00322"></a><span class="lineno"> 322</span>&#160; {</div>
1293
+ <div class="line"><a name="l00323"></a><span class="lineno"> 323</span>&#160; <a class="code" href="classSVF_1_1AbstractState.html#aade30bb08f86b3f74e7aa9cdc60c92a3">_locToAbsVal</a>[objId] = <a class="code" href="classSVF_1_1IntervalValue.html#add3acad151d5af6c9a5f692f7a01e65b">IntervalValue::top</a>();</div>
1294
+ <div class="line"><a name="l00324"></a><span class="lineno"> 324</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1AbstractState.html#aade30bb08f86b3f74e7aa9cdc60c92a3">_locToAbsVal</a>[objId];</div>
1295
+ <div class="line"><a name="l00325"></a><span class="lineno"> 325</span>&#160; }</div>
1296
+ <div class="line"><a name="l00326"></a><span class="lineno"> 326</span>&#160; }</div>
1297
+ </div><!-- fragment -->
1298
+ </div>
1299
+ </div>
1300
+ <a id="adec6191b9f1e51ed70a7620dd06153a9"></a>
1301
+ <h2 class="memtitle"><span class="permalink"><a href="#adec6191b9f1e51ed70a7620dd06153a9">&#9670;&nbsp;</a></span>meetWith()</h2>
1302
+
1303
+ <div class="memitem">
1304
+ <div class="memproto">
1305
+ <table class="memname">
1306
+ <tr>
1307
+ <td class="memname">void AbstractState::meetWith </td>
1308
+ <td>(</td>
1309
+ <td class="paramtype">const <a class="el" href="classSVF_1_1AbstractState.html">AbstractState</a> &amp;&#160;</td>
1310
+ <td class="paramname"><em>other</em></td><td>)</td>
1311
+ <td></td>
1312
+ </tr>
1313
+ </table>
1314
+ </div><div class="memdoc">
1315
+
1316
+ <p>domain meet with other, important! other widen this. </p>
1317
+
1318
+ <p class="definition">Definition at line <a class="el" href="AbstractState_8cpp_source.html#l00194">194</a> of file <a class="el" href="AbstractState_8cpp_source.html">AbstractState.cpp</a>.</p>
1319
+ <div class="fragment"><div class="line"><a name="l00195"></a><span class="lineno"> 195</span>&#160;{</div>
1320
+ <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>
1321
+ <div class="line"><a name="l00197"></a><span class="lineno"> 197</span>&#160; {</div>
1322
+ <div class="line"><a name="l00198"></a><span class="lineno"> 198</span>&#160; <span class="keyword">auto</span> key = it-&gt;first;</div>
1323
+ <div class="line"><a name="l00199"></a><span class="lineno"> 199</span>&#160; <span class="keyword">auto</span> oit = <a class="code" href="classSVF_1_1AbstractState.html#a6a49c75fb6b35159dcf1763b4484d335">_varToAbsVal</a>.find(key);</div>
1324
+ <div class="line"><a name="l00200"></a><span class="lineno"> 200</span>&#160; <span class="keywordflow">if</span> (oit != <a class="code" href="classSVF_1_1AbstractState.html#a6a49c75fb6b35159dcf1763b4484d335">_varToAbsVal</a>.end())</div>
1325
+ <div class="line"><a name="l00201"></a><span class="lineno"> 201</span>&#160; {</div>
1326
+ <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>
1327
+ <div class="line"><a name="l00203"></a><span class="lineno"> 203</span>&#160; {</div>
1328
+ <div class="line"><a name="l00204"></a><span class="lineno"> 204</span>&#160; oit-&gt;second.getInterval().meet_with(it-&gt;second.getInterval());</div>
1329
+ <div class="line"><a name="l00205"></a><span class="lineno"> 205</span>&#160; }</div>
1330
+ <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>
1331
+ <div class="line"><a name="l00207"></a><span class="lineno"> 207</span>&#160; {</div>
1332
+ <div class="line"><a name="l00208"></a><span class="lineno"> 208</span>&#160; oit-&gt;second.getAddrs().meet_with(it-&gt;second.getAddrs());</div>
1333
+ <div class="line"><a name="l00209"></a><span class="lineno"> 209</span>&#160; }</div>
1334
+ <div class="line"><a name="l00210"></a><span class="lineno"> 210</span>&#160; <span class="keywordflow">else</span></div>
1335
+ <div class="line"><a name="l00211"></a><span class="lineno"> 211</span>&#160; {</div>
1336
+ <div class="line"><a name="l00212"></a><span class="lineno"> 212</span>&#160; <span class="comment">// do nothing</span></div>
1337
+ <div class="line"><a name="l00213"></a><span class="lineno"> 213</span>&#160; }</div>
1338
+ <div class="line"><a name="l00214"></a><span class="lineno"> 214</span>&#160; }</div>
1339
+ <div class="line"><a name="l00215"></a><span class="lineno"> 215</span>&#160; }</div>
1340
+ <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>
1341
+ <div class="line"><a name="l00217"></a><span class="lineno"> 217</span>&#160; {</div>
1342
+ <div class="line"><a name="l00218"></a><span class="lineno"> 218</span>&#160; <span class="keyword">auto</span> key = it-&gt;first;</div>
1343
+ <div class="line"><a name="l00219"></a><span class="lineno"> 219</span>&#160; <span class="keyword">auto</span> oit = <a class="code" href="classSVF_1_1AbstractState.html#aade30bb08f86b3f74e7aa9cdc60c92a3">_locToAbsVal</a>.find(key);</div>
1344
+ <div class="line"><a name="l00220"></a><span class="lineno"> 220</span>&#160; <span class="keywordflow">if</span> (oit != <a class="code" href="classSVF_1_1AbstractState.html#aade30bb08f86b3f74e7aa9cdc60c92a3">_locToAbsVal</a>.end())</div>
1345
+ <div class="line"><a name="l00221"></a><span class="lineno"> 221</span>&#160; {</div>
1346
+ <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>
1347
+ <div class="line"><a name="l00223"></a><span class="lineno"> 223</span>&#160; {</div>
1348
+ <div class="line"><a name="l00224"></a><span class="lineno"> 224</span>&#160; oit-&gt;second.getInterval().meet_with(it-&gt;second.getInterval());</div>
1349
+ <div class="line"><a name="l00225"></a><span class="lineno"> 225</span>&#160; }</div>
1350
+ <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>
1351
+ <div class="line"><a name="l00227"></a><span class="lineno"> 227</span>&#160; {</div>
1352
+ <div class="line"><a name="l00228"></a><span class="lineno"> 228</span>&#160; oit-&gt;second.getAddrs().meet_with(it-&gt;second.getAddrs());</div>
1353
+ <div class="line"><a name="l00229"></a><span class="lineno"> 229</span>&#160; }</div>
1354
+ <div class="line"><a name="l00230"></a><span class="lineno"> 230</span>&#160; <span class="keywordflow">else</span></div>
1355
+ <div class="line"><a name="l00231"></a><span class="lineno"> 231</span>&#160; {</div>
1356
+ <div class="line"><a name="l00232"></a><span class="lineno"> 232</span>&#160; <span class="comment">// do nothing</span></div>
1357
+ <div class="line"><a name="l00233"></a><span class="lineno"> 233</span>&#160; }</div>
1358
+ <div class="line"><a name="l00234"></a><span class="lineno"> 234</span>&#160; }</div>
1359
+ <div class="line"><a name="l00235"></a><span class="lineno"> 235</span>&#160; }</div>
1360
+ <div class="line"><a name="l00236"></a><span class="lineno"> 236</span>&#160;}</div>
1361
+ </div><!-- fragment -->
1362
+ </div>
1363
+ </div>
1364
+ <a id="aa9f048614c0bdbe5e8562bfcc6288a97"></a>
1365
+ <h2 class="memtitle"><span class="permalink"><a href="#aa9f048614c0bdbe5e8562bfcc6288a97">&#9670;&nbsp;</a></span>narrowing()</h2>
1366
+
1367
+ <div class="memitem">
1368
+ <div class="memproto">
1369
+ <table class="memname">
1370
+ <tr>
1371
+ <td class="memname"><a class="el" href="classSVF_1_1AbstractState.html">AbstractState</a> AbstractState::narrowing </td>
1372
+ <td>(</td>
1373
+ <td class="paramtype">const <a class="el" href="classSVF_1_1AbstractState.html">AbstractState</a> &amp;&#160;</td>
1374
+ <td class="paramname"><em>other</em></td><td>)</td>
1375
+ <td></td>
1376
+ </tr>
1377
+ </table>
1378
+ </div><div class="memdoc">
1379
+
1380
+ <p>domain narrow with other, and return the narrowed domain </p>
1381
+
1382
+ <p class="definition">Definition at line <a class="el" href="AbstractState_8cpp_source.html#l00081">81</a> of file <a class="el" href="AbstractState_8cpp_source.html">AbstractState.cpp</a>.</p>
1383
+ <div class="fragment"><div class="line"><a name="l00082"></a><span class="lineno"> 82</span>&#160;{</div>
1384
+ <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>
1385
+ <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>
1386
+ <div class="line"><a name="l00085"></a><span class="lineno"> 85</span>&#160; {</div>
1387
+ <div class="line"><a name="l00086"></a><span class="lineno"> 86</span>&#160; <span class="keyword">auto</span> key = it-&gt;first;</div>
1388
+ <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>
1389
+ <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>
1390
+ <div class="line"><a name="l00089"></a><span class="lineno"> 89</span>&#160; }</div>
1391
+ <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>
1392
+ <div class="line"><a name="l00091"></a><span class="lineno"> 91</span>&#160; {</div>
1393
+ <div class="line"><a name="l00092"></a><span class="lineno"> 92</span>&#160; <span class="keyword">auto</span> key = it-&gt;first;</div>
1394
+ <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>
1395
+ <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>
1396
+ <div class="line"><a name="l00095"></a><span class="lineno"> 95</span>&#160; }</div>
1397
+ <div class="line"><a name="l00096"></a><span class="lineno"> 96</span>&#160; <span class="keywordflow">return</span> es;</div>
1398
+ <div class="line"><a name="l00097"></a><span class="lineno"> 97</span>&#160; </div>
1399
+ <div class="line"><a name="l00098"></a><span class="lineno"> 98</span>&#160;}</div>
1400
+ </div><!-- fragment -->
1401
+ </div>
1402
+ </div>
1403
+ <a id="a7e2ff1c509351658687ed87ca7ae544e"></a>
1404
+ <h2 class="memtitle"><span class="permalink"><a href="#a7e2ff1c509351658687ed87ca7ae544e">&#9670;&nbsp;</a></span>narrowWith()</h2>
1405
+
1406
+ <div class="memitem">
1407
+ <div class="memproto">
1408
+ <table class="memname">
1409
+ <tr>
1410
+ <td class="memname">void AbstractState::narrowWith </td>
1411
+ <td>(</td>
1412
+ <td class="paramtype">const <a class="el" href="classSVF_1_1AbstractState.html">AbstractState</a> &amp;&#160;</td>
1413
+ <td class="paramname"><em>other</em></td><td>)</td>
1414
+ <td></td>
1415
+ </tr>
1416
+ </table>
1417
+ </div><div class="memdoc">
1418
+
1419
+ <p>domain narrow with other, important! other widen this. </p>
1420
+
1421
+ <p class="definition">Definition at line <a class="el" href="AbstractState_8cpp_source.html#l00173">173</a> of file <a class="el" href="AbstractState_8cpp_source.html">AbstractState.cpp</a>.</p>
1422
+ <div class="fragment"><div class="line"><a name="l00174"></a><span class="lineno"> 174</span>&#160;{</div>
1423
+ <div class="line"><a name="l00175"></a><span class="lineno"> 175</span>&#160; <span class="keywordflow">for</span> (<span class="keyword">auto</span> it = <a class="code" href="classSVF_1_1AbstractState.html#a6a49c75fb6b35159dcf1763b4484d335">_varToAbsVal</a>.begin(); it != <a class="code" href="classSVF_1_1AbstractState.html#a6a49c75fb6b35159dcf1763b4484d335">_varToAbsVal</a>.end(); ++it)</div>
1424
+ <div class="line"><a name="l00176"></a><span class="lineno"> 176</span>&#160; {</div>
1425
+ <div class="line"><a name="l00177"></a><span class="lineno"> 177</span>&#160; <span class="keyword">auto</span> key = it-&gt;first;</div>
1426
+ <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>
1427
+ <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>
1428
+ <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>
1429
+ <div class="line"><a name="l00181"></a><span class="lineno"> 181</span>&#160; it-&gt;second.getInterval().narrow_with(oit-&gt;second.getInterval());</div>
1430
+ <div class="line"><a name="l00182"></a><span class="lineno"> 182</span>&#160; }</div>
1431
+ <div class="line"><a name="l00183"></a><span class="lineno"> 183</span>&#160; <span class="keywordflow">for</span> (<span class="keyword">auto</span> it = <a class="code" href="classSVF_1_1AbstractState.html#aade30bb08f86b3f74e7aa9cdc60c92a3">_locToAbsVal</a>.begin(); it != <a class="code" href="classSVF_1_1AbstractState.html#aade30bb08f86b3f74e7aa9cdc60c92a3">_locToAbsVal</a>.end(); ++it)</div>
1432
+ <div class="line"><a name="l00184"></a><span class="lineno"> 184</span>&#160; {</div>
1433
+ <div class="line"><a name="l00185"></a><span class="lineno"> 185</span>&#160; <span class="keyword">auto</span> key = it-&gt;first;</div>
1434
+ <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>
1435
+ <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>
1436
+ <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>
1437
+ <div class="line"><a name="l00189"></a><span class="lineno"> 189</span>&#160; it-&gt;second.getInterval().narrow_with(oit-&gt;second.getInterval());</div>
1438
+ <div class="line"><a name="l00190"></a><span class="lineno"> 190</span>&#160; }</div>
1439
+ <div class="line"><a name="l00191"></a><span class="lineno"> 191</span>&#160;}</div>
1440
+ </div><!-- fragment -->
1441
+ </div>
1442
+ </div>
1443
+ <a id="a52c298445a68c11faabe042744cfdc1d"></a>
1444
+ <h2 class="memtitle"><span class="permalink"><a href="#a52c298445a68c11faabe042744cfdc1d">&#9670;&nbsp;</a></span>operator!=()</h2>
1445
+
1446
+ <div class="memitem">
1447
+ <div class="memproto">
1448
+ <table class="mlabels">
1449
+ <tr>
1450
+ <td class="mlabels-left">
1451
+ <table class="memname">
1452
+ <tr>
1453
+ <td class="memname">bool SVF::AbstractState::operator!= </td>
1454
+ <td>(</td>
1455
+ <td class="paramtype">const <a class="el" href="classSVF_1_1AbstractState.html">AbstractState</a> &amp;&#160;</td>
1456
+ <td class="paramname"><em>rhs</em></td><td>)</td>
1457
+ <td> const</td>
1458
+ </tr>
1459
+ </table>
1460
+ </td>
1461
+ <td class="mlabels-right">
1462
+ <span class="mlabels"><span class="mlabel">inline</span></span> </td>
1463
+ </tr>
1464
+ </table>
1465
+ </div><div class="memdoc">
1466
+
1467
+ <p class="definition">Definition at line <a class="el" href="AbstractState_8h_source.html#l00411">411</a> of file <a class="el" href="AbstractState_8h_source.html">AbstractState.h</a>.</p>
1468
+ <div class="fragment"><div class="line"><a name="l00412"></a><span class="lineno"> 412</span>&#160; {</div>
1469
+ <div class="line"><a name="l00413"></a><span class="lineno"> 413</span>&#160; <span class="keywordflow">return</span> !(*<span class="keyword">this</span> == rhs);</div>
1470
+ <div class="line"><a name="l00414"></a><span class="lineno"> 414</span>&#160; }</div>
1471
+ </div><!-- fragment -->
1472
+ </div>
1473
+ </div>
1474
+ <a id="ae10585f056d3d6f23e3ec7da7fa0f849"></a>
1475
+ <h2 class="memtitle"><span class="permalink"><a href="#ae10585f056d3d6f23e3ec7da7fa0f849">&#9670;&nbsp;</a></span>operator&lt;()</h2>
1476
+
1477
+ <div class="memitem">
1478
+ <div class="memproto">
1479
+ <table class="mlabels">
1480
+ <tr>
1481
+ <td class="mlabels-left">
1482
+ <table class="memname">
1483
+ <tr>
1484
+ <td class="memname">bool SVF::AbstractState::operator&lt; </td>
1485
+ <td>(</td>
1486
+ <td class="paramtype">const <a class="el" href="classSVF_1_1AbstractState.html">AbstractState</a> &amp;&#160;</td>
1487
+ <td class="paramname"><em>rhs</em></td><td>)</td>
1488
+ <td> const</td>
1489
+ </tr>
1490
+ </table>
1491
+ </td>
1492
+ <td class="mlabels-right">
1493
+ <span class="mlabels"><span class="mlabel">inline</span></span> </td>
1494
+ </tr>
1495
+ </table>
1496
+ </div><div class="memdoc">
1497
+
1498
+ <p class="definition">Definition at line <a class="el" href="AbstractState_8h_source.html#l00416">416</a> of file <a class="el" href="AbstractState_8h_source.html">AbstractState.h</a>.</p>
1499
+ <div class="fragment"><div class="line"><a name="l00417"></a><span class="lineno"> 417</span>&#160; {</div>
1500
+ <div class="line"><a name="l00418"></a><span class="lineno"> 418</span>&#160; <span class="keywordflow">return</span> !(*<span class="keyword">this</span> &gt;= rhs);</div>
1501
+ <div class="line"><a name="l00419"></a><span class="lineno"> 419</span>&#160; }</div>
1502
+ </div><!-- fragment -->
1503
+ </div>
1504
+ </div>
1505
+ <a id="af1ec2c0fcc4d87d07d4d87232085435c"></a>
1506
+ <h2 class="memtitle"><span class="permalink"><a href="#af1ec2c0fcc4d87d07d4d87232085435c">&#9670;&nbsp;</a></span>operator=() <span class="overload">[1/2]</span></h2>
1507
+
1508
+ <div class="memitem">
1509
+ <div class="memproto">
1510
+ <table class="mlabels">
1511
+ <tr>
1512
+ <td class="mlabels-left">
1513
+ <table class="memname">
1514
+ <tr>
1515
+ <td class="memname"><a class="el" href="classSVF_1_1AbstractState.html">AbstractState</a>&amp; SVF::AbstractState::operator= </td>
1516
+ <td>(</td>
1517
+ <td class="paramtype"><a class="el" href="classSVF_1_1AbstractState.html">AbstractState</a> &amp;&amp;&#160;</td>
1518
+ <td class="paramname"><em>rhs</em></td><td>)</td>
1519
+ <td></td>
1520
+ </tr>
1521
+ </table>
1522
+ </td>
1523
+ <td class="mlabels-right">
1524
+ <span class="mlabels"><span class="mlabel">inline</span></span> </td>
1525
+ </tr>
1526
+ </table>
1527
+ </div><div class="memdoc">
1528
+
1529
+ <p>operator= move constructor </p>
1530
+
1531
+ <p class="definition">Definition at line <a class="el" href="AbstractState_8h_source.html#l00121">121</a> of file <a class="el" href="AbstractState_8h_source.html">AbstractState.h</a>.</p>
1532
+ <div class="fragment"><div class="line"><a name="l00122"></a><span class="lineno"> 122</span>&#160; {</div>
1533
+ <div class="line"><a name="l00123"></a><span class="lineno"> 123</span>&#160; <span class="keywordflow">if</span> (&amp;rhs != <span class="keyword">this</span>)</div>
1534
+ <div class="line"><a name="l00124"></a><span class="lineno"> 124</span>&#160; {</div>
1535
+ <div class="line"><a name="l00125"></a><span class="lineno"> 125</span>&#160; <a class="code" href="classSVF_1_1AbstractState.html#a6a49c75fb6b35159dcf1763b4484d335">_varToAbsVal</a> = <a class="code" href="namespaceSVF_1_1SVFUtil.html#a72502f7f536418621485e90ab98c2016">std::move</a>(rhs._varToAbsVal);</div>
1536
+ <div class="line"><a name="l00126"></a><span class="lineno"> 126</span>&#160; <a class="code" href="classSVF_1_1AbstractState.html#aade30bb08f86b3f74e7aa9cdc60c92a3">_locToAbsVal</a> = <a class="code" href="namespaceSVF_1_1SVFUtil.html#a72502f7f536418621485e90ab98c2016">std::move</a>(rhs._locToAbsVal);</div>
1537
+ <div class="line"><a name="l00127"></a><span class="lineno"> 127</span>&#160; }</div>
1538
+ <div class="line"><a name="l00128"></a><span class="lineno"> 128</span>&#160; <span class="keywordflow">return</span> *<span class="keyword">this</span>;</div>
1539
+ <div class="line"><a name="l00129"></a><span class="lineno"> 129</span>&#160; }</div>
1540
+ </div><!-- fragment -->
1541
+ </div>
1542
+ </div>
1543
+ <a id="ae7cf1e64c5d6c04c1c37e0075ab32880"></a>
1544
+ <h2 class="memtitle"><span class="permalink"><a href="#ae7cf1e64c5d6c04c1c37e0075ab32880">&#9670;&nbsp;</a></span>operator=() <span class="overload">[2/2]</span></h2>
1545
+
1546
+ <div class="memitem">
1547
+ <div class="memproto">
1548
+ <table class="mlabels">
1549
+ <tr>
1550
+ <td class="mlabels-left">
1551
+ <table class="memname">
1552
+ <tr>
1553
+ <td class="memname"><a class="el" href="classSVF_1_1AbstractState.html">AbstractState</a>&amp; SVF::AbstractState::operator= </td>
1554
+ <td>(</td>
1555
+ <td class="paramtype">const <a class="el" href="classSVF_1_1AbstractState.html">AbstractState</a> &amp;&#160;</td>
1556
+ <td class="paramname"><em>rhs</em></td><td>)</td>
1557
+ <td></td>
1558
+ </tr>
1559
+ </table>
1560
+ </td>
1561
+ <td class="mlabels-right">
1562
+ <span class="mlabels"><span class="mlabel">inline</span></span> </td>
1563
+ </tr>
1564
+ </table>
1565
+ </div><div class="memdoc">
1566
+
1567
+ <p class="definition">Definition at line <a class="el" href="AbstractState_8h_source.html#l00103">103</a> of file <a class="el" href="AbstractState_8h_source.html">AbstractState.h</a>.</p>
1568
+ <div class="fragment"><div class="line"><a name="l00104"></a><span class="lineno"> 104</span>&#160; {</div>
1569
+ <div class="line"><a name="l00105"></a><span class="lineno"> 105</span>&#160; <span class="keywordflow">if</span> (rhs != *<span class="keyword">this</span>)</div>
1570
+ <div class="line"><a name="l00106"></a><span class="lineno"> 106</span>&#160; {</div>
1571
+ <div class="line"><a name="l00107"></a><span class="lineno"> 107</span>&#160; <a class="code" href="classSVF_1_1AbstractState.html#a6a49c75fb6b35159dcf1763b4484d335">_varToAbsVal</a> = rhs._varToAbsVal;</div>
1572
+ <div class="line"><a name="l00108"></a><span class="lineno"> 108</span>&#160; <a class="code" href="classSVF_1_1AbstractState.html#aade30bb08f86b3f74e7aa9cdc60c92a3">_locToAbsVal</a> = rhs._locToAbsVal;</div>
1573
+ <div class="line"><a name="l00109"></a><span class="lineno"> 109</span>&#160; }</div>
1574
+ <div class="line"><a name="l00110"></a><span class="lineno"> 110</span>&#160; <span class="keywordflow">return</span> *<span class="keyword">this</span>;</div>
1575
+ <div class="line"><a name="l00111"></a><span class="lineno"> 111</span>&#160; }</div>
1576
+ </div><!-- fragment -->
1577
+ </div>
1578
+ </div>
1579
+ <a id="ac41c5f3e8b8820c796f84e8fbb36a283"></a>
1580
+ <h2 class="memtitle"><span class="permalink"><a href="#ac41c5f3e8b8820c796f84e8fbb36a283">&#9670;&nbsp;</a></span>operator==()</h2>
1581
+
1582
+ <div class="memitem">
1583
+ <div class="memproto">
1584
+ <table class="mlabels">
1585
+ <tr>
1586
+ <td class="mlabels-left">
1587
+ <table class="memname">
1588
+ <tr>
1589
+ <td class="memname">bool SVF::AbstractState::operator== </td>
1590
+ <td>(</td>
1591
+ <td class="paramtype">const <a class="el" href="classSVF_1_1AbstractState.html">AbstractState</a> &amp;&#160;</td>
1592
+ <td class="paramname"><em>rhs</em></td><td>)</td>
1593
+ <td> const</td>
1594
+ </tr>
1595
+ </table>
1596
+ </td>
1597
+ <td class="mlabels-right">
1598
+ <span class="mlabels"><span class="mlabel">inline</span></span> </td>
1599
+ </tr>
1600
+ </table>
1601
+ </div><div class="memdoc">
1602
+
1603
+ <p class="definition">Definition at line <a class="el" href="AbstractState_8h_source.html#l00405">405</a> of file <a class="el" href="AbstractState_8h_source.html">AbstractState.h</a>.</p>
1604
+ <div class="fragment"><div class="line"><a name="l00406"></a><span class="lineno"> 406</span>&#160; {</div>
1605
+ <div class="line"><a name="l00407"></a><span class="lineno"> 407</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1AbstractState.html#adb1ce2a16c501aefa7c902e9bec012f6">eqVarToValMap</a>(<a class="code" href="classSVF_1_1AbstractState.html#a6a49c75fb6b35159dcf1763b4484d335">_varToAbsVal</a>, rhs.getVarToVal()) &amp;&amp;</div>
1606
+ <div class="line"><a name="l00408"></a><span class="lineno"> 408</span>&#160; <a class="code" href="classSVF_1_1AbstractState.html#adb1ce2a16c501aefa7c902e9bec012f6">eqVarToValMap</a>(<a class="code" href="classSVF_1_1AbstractState.html#aade30bb08f86b3f74e7aa9cdc60c92a3">_locToAbsVal</a>, rhs.getLocToVal());</div>
1607
+ <div class="line"><a name="l00409"></a><span class="lineno"> 409</span>&#160; }</div>
1608
+ </div><!-- fragment -->
1609
+ </div>
1610
+ </div>
1611
+ <a id="a1be4db45d0af58508921bc2efddcb586"></a>
1612
+ <h2 class="memtitle"><span class="permalink"><a href="#a1be4db45d0af58508921bc2efddcb586">&#9670;&nbsp;</a></span>operator&gt;=()</h2>
1613
+
1614
+ <div class="memitem">
1615
+ <div class="memproto">
1616
+ <table class="mlabels">
1617
+ <tr>
1618
+ <td class="mlabels-left">
1619
+ <table class="memname">
1620
+ <tr>
1621
+ <td class="memname">bool SVF::AbstractState::operator&gt;= </td>
1622
+ <td>(</td>
1623
+ <td class="paramtype">const <a class="el" href="classSVF_1_1AbstractState.html">AbstractState</a> &amp;&#160;</td>
1624
+ <td class="paramname"><em>rhs</em></td><td>)</td>
1625
+ <td> const</td>
1626
+ </tr>
1627
+ </table>
1628
+ </td>
1629
+ <td class="mlabels-right">
1630
+ <span class="mlabels"><span class="mlabel">inline</span></span> </td>
1631
+ </tr>
1632
+ </table>
1633
+ </div><div class="memdoc">
1634
+
1635
+ <p class="definition">Definition at line <a class="el" href="AbstractState_8h_source.html#l00422">422</a> of file <a class="el" href="AbstractState_8h_source.html">AbstractState.h</a>.</p>
1636
+ <div class="fragment"><div class="line"><a name="l00423"></a><span class="lineno"> 423</span>&#160; {</div>
1637
+ <div class="line"><a name="l00424"></a><span class="lineno"> 424</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1AbstractState.html#a16486a0c6d9a1bb1ac19673b41a16a0e">geqVarToValMap</a>(<a class="code" href="classSVF_1_1AbstractState.html#a6a49c75fb6b35159dcf1763b4484d335">_varToAbsVal</a>, rhs.getVarToVal()) &amp;&amp; <a class="code" href="classSVF_1_1AbstractState.html#a16486a0c6d9a1bb1ac19673b41a16a0e">geqVarToValMap</a>(<a class="code" href="classSVF_1_1AbstractState.html#aade30bb08f86b3f74e7aa9cdc60c92a3">_locToAbsVal</a>, rhs.getLocToVal());</div>
1638
+ <div class="line"><a name="l00425"></a><span class="lineno"> 425</span>&#160; }</div>
1639
+ </div><!-- fragment -->
1640
+ </div>
1641
+ </div>
1642
+ <a id="a9666e46ba217b65e1482269055806034"></a>
1643
+ <h2 class="memtitle"><span class="permalink"><a href="#a9666e46ba217b65e1482269055806034">&#9670;&nbsp;</a></span>operator[]() <span class="overload">[1/2]</span></h2>
1644
+
1645
+ <div class="memitem">
1646
+ <div class="memproto">
1647
+ <table class="mlabels">
1648
+ <tr>
1649
+ <td class="mlabels-left">
1650
+ <table class="memname">
1651
+ <tr>
1652
+ <td class="memname">virtual <a class="el" href="structSVF_1_1AbstractValue.html">AbstractValue</a>&amp; SVF::AbstractState::operator[] </td>
1653
+ <td>(</td>
1654
+ <td class="paramtype"><a class="el" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a>&#160;</td>
1655
+ <td class="paramname"><em>varId</em></td><td>)</td>
1656
+ <td></td>
1657
+ </tr>
1658
+ </table>
1659
+ </td>
1660
+ <td class="mlabels-right">
1661
+ <span class="mlabels"><span class="mlabel">inline</span><span class="mlabel">virtual</span></span> </td>
1662
+ </tr>
1663
+ </table>
1664
+ </div><div class="memdoc">
1665
+
1666
+ <p>get abstract value of variable </p>
1667
+
1668
+ <p>Reimplemented in <a class="el" href="classSVF_1_1SparseAbstractState.html#a125aed6fba9f44fba06229b97784fd5c">SVF::SparseAbstractState</a>.</p>
1669
+
1670
+ <p class="definition">Definition at line <a class="el" href="AbstractState_8h_source.html#l00174">174</a> of file <a class="el" href="AbstractState_8h_source.html">AbstractState.h</a>.</p>
1671
+ <div class="fragment"><div class="line"><a name="l00175"></a><span class="lineno"> 175</span>&#160; {</div>
1672
+ <div class="line"><a name="l00176"></a><span class="lineno"> 176</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1AbstractState.html#a6a49c75fb6b35159dcf1763b4484d335">_varToAbsVal</a>[varId];</div>
1673
+ <div class="line"><a name="l00177"></a><span class="lineno"> 177</span>&#160; }</div>
1674
+ </div><!-- fragment -->
1675
+ </div>
1676
+ </div>
1677
+ <a id="ac4f511baa4ca9ecc1d6a3defae194ac5"></a>
1678
+ <h2 class="memtitle"><span class="permalink"><a href="#ac4f511baa4ca9ecc1d6a3defae194ac5">&#9670;&nbsp;</a></span>operator[]() <span class="overload">[2/2]</span></h2>
1679
+
1680
+ <div class="memitem">
1681
+ <div class="memproto">
1682
+ <table class="mlabels">
1683
+ <tr>
1684
+ <td class="mlabels-left">
1685
+ <table class="memname">
1686
+ <tr>
1687
+ <td class="memname">virtual const <a class="el" href="structSVF_1_1AbstractValue.html">AbstractValue</a>&amp; SVF::AbstractState::operator[] </td>
1688
+ <td>(</td>
1689
+ <td class="paramtype"><a class="el" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a>&#160;</td>
1690
+ <td class="paramname"><em>varId</em></td><td>)</td>
1691
+ <td> const</td>
1692
+ </tr>
1693
+ </table>
1694
+ </td>
1695
+ <td class="mlabels-right">
1696
+ <span class="mlabels"><span class="mlabel">inline</span><span class="mlabel">virtual</span></span> </td>
1697
+ </tr>
1698
+ </table>
1699
+ </div><div class="memdoc">
1700
+
1701
+ <p>get abstract value of variable </p>
1702
+
1703
+ <p class="definition">Definition at line <a class="el" href="AbstractState_8h_source.html#l00180">180</a> of file <a class="el" href="AbstractState_8h_source.html">AbstractState.h</a>.</p>
1704
+ <div class="fragment"><div class="line"><a name="l00181"></a><span class="lineno"> 181</span>&#160; {</div>
1705
+ <div class="line"><a name="l00182"></a><span class="lineno"> 182</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1AbstractState.html#a6a49c75fb6b35159dcf1763b4484d335">_varToAbsVal</a>.at(varId);</div>
1706
+ <div class="line"><a name="l00183"></a><span class="lineno"> 183</span>&#160; }</div>
1707
+ </div><!-- fragment -->
1708
+ </div>
1709
+ </div>
1710
+ <a id="a00c811d7ef05476b7699c66a10eb4944"></a>
1711
+ <h2 class="memtitle"><span class="permalink"><a href="#a00c811d7ef05476b7699c66a10eb4944">&#9670;&nbsp;</a></span>printExprValues()</h2>
1712
+
1713
+ <div class="memitem">
1714
+ <div class="memproto">
1715
+ <table class="memname">
1716
+ <tr>
1717
+ <td class="memname">void AbstractState::printExprValues </td>
1718
+ <td>(</td>
1719
+ <td class="paramtype">std::ostream &amp;&#160;</td>
1720
+ <td class="paramname"><em>oss</em></td><td>)</td>
1721
+ <td> const</td>
1722
+ </tr>
1723
+ </table>
1724
+ </div><div class="memdoc">
1725
+
1726
+ <p>Print values of all expressions. </p>
1727
+
1728
+ <p class="definition">Definition at line <a class="el" href="AbstractState_8cpp_source.html#l00239">239</a> of file <a class="el" href="AbstractState_8cpp_source.html">AbstractState.cpp</a>.</p>
1729
+ <div class="fragment"><div class="line"><a name="l00240"></a><span class="lineno"> 240</span>&#160;{</div>
1730
+ <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>
1731
+ <div class="line"><a name="l00242"></a><span class="lineno"> 242</span>&#160; <a class="code" href="classSVF_1_1AbstractState.html#a61a9a3873426ad522d0b4c16eb2ac67b">printTable</a>(<a class="code" href="classSVF_1_1AbstractState.html#a6a49c75fb6b35159dcf1763b4484d335">_varToAbsVal</a>, oss);</div>
1732
+ <div class="line"><a name="l00243"></a><span class="lineno"> 243</span>&#160; <a class="code" href="classSVF_1_1AbstractState.html#a61a9a3873426ad522d0b4c16eb2ac67b">printTable</a>(<a class="code" href="classSVF_1_1AbstractState.html#aade30bb08f86b3f74e7aa9cdc60c92a3">_locToAbsVal</a>, oss);</div>
1733
+ <div class="line"><a name="l00244"></a><span class="lineno"> 244</span>&#160; oss &lt;&lt; <span class="stringliteral">&quot;-----------------------------------------\n&quot;</span>;</div>
1734
+ <div class="line"><a name="l00245"></a><span class="lineno"> 245</span>&#160;}</div>
1735
+ </div><!-- fragment -->
1736
+ </div>
1737
+ </div>
1738
+ <a id="a61a9a3873426ad522d0b4c16eb2ac67b"></a>
1739
+ <h2 class="memtitle"><span class="permalink"><a href="#a61a9a3873426ad522d0b4c16eb2ac67b">&#9670;&nbsp;</a></span>printTable()</h2>
1740
+
1741
+ <div class="memitem">
1742
+ <div class="memproto">
1743
+ <table class="mlabels">
1744
+ <tr>
1745
+ <td class="mlabels-left">
1746
+ <table class="memname">
1747
+ <tr>
1748
+ <td class="memname">void AbstractState::printTable </td>
1749
+ <td>(</td>
1750
+ <td class="paramtype">const <a class="el" href="classSVF_1_1AbstractState.html#ab8e7d112c380f0c3fe66b487af90c03e">VarToAbsValMap</a> &amp;&#160;</td>
1751
+ <td class="paramname"><em>table</em>, </td>
1752
+ </tr>
1753
+ <tr>
1754
+ <td class="paramkey"></td>
1755
+ <td></td>
1756
+ <td class="paramtype">std::ostream &amp;&#160;</td>
1757
+ <td class="paramname"><em>oss</em>&#160;</td>
1758
+ </tr>
1759
+ <tr>
1760
+ <td></td>
1761
+ <td>)</td>
1762
+ <td></td><td> const</td>
1763
+ </tr>
1764
+ </table>
1765
+ </td>
1766
+ <td class="mlabels-right">
1767
+ <span class="mlabels"><span class="mlabel">protected</span></span> </td>
1768
+ </tr>
1769
+ </table>
1770
+ </div><div class="memdoc">
1771
+
1772
+ <p class="definition">Definition at line <a class="el" href="AbstractState_8cpp_source.html#l00247">247</a> of file <a class="el" href="AbstractState_8cpp_source.html">AbstractState.cpp</a>.</p>
1773
+ <div class="fragment"><div class="line"><a name="l00248"></a><span class="lineno"> 248</span>&#160;{</div>
1774
+ <div class="line"><a name="l00249"></a><span class="lineno"> 249</span>&#160; oss.flags(std::ios::left);</div>
1775
+ <div class="line"><a name="l00250"></a><span class="lineno"> 250</span>&#160; std::set&lt;NodeID&gt; ordered;</div>
1776
+ <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>
1777
+ <div class="line"><a name="l00252"></a><span class="lineno"> 252</span>&#160; {</div>
1778
+ <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>
1779
+ <div class="line"><a name="l00254"></a><span class="lineno"> 254</span>&#160; }</div>
1780
+ <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>
1781
+ <div class="line"><a name="l00256"></a><span class="lineno"> 256</span>&#160; {</div>
1782
+ <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>
1783
+ <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>
1784
+ <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; <a class="code" href="classSVF_1_1AbstractState.html#ad3eefae77eb1fc4bbcfe70b0f2f51dd4">isVirtualMemAddress</a>(<a class="code" href="classSVF_1_1AbstractState.html#a55ef37a2d9636d030feaaac041a1b081">Interval2NumValue</a>(sim)))</div>
1785
+ <div class="line"><a name="l00260"></a><span class="lineno"> 260</span>&#160; {</div>
1786
+ <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; <a class="code" href="classSVF_1_1AbstractState.html#a55ef37a2d9636d030feaaac041a1b081">Interval2NumValue</a>(sim) &lt;&lt; <span class="stringliteral">&quot;\n&quot;</span>;</div>
1787
+ <div class="line"><a name="l00262"></a><span class="lineno"> 262</span>&#160; }</div>
1788
+ <div class="line"><a name="l00263"></a><span class="lineno"> 263</span>&#160; <span class="keywordflow">else</span></div>
1789
+ <div class="line"><a name="l00264"></a><span class="lineno"> 264</span>&#160; {</div>
1790
+ <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>
1791
+ <div class="line"><a name="l00266"></a><span class="lineno"> 266</span>&#160; }</div>
1792
+ <div class="line"><a name="l00267"></a><span class="lineno"> 267</span>&#160; }</div>
1793
+ <div class="line"><a name="l00268"></a><span class="lineno"> 268</span>&#160;}</div>
1794
+ </div><!-- fragment -->
1795
+ </div>
1796
+ </div>
1797
+ <a id="ae9897b85e3cb2dc675d3a2df76c44878"></a>
1798
+ <h2 class="memtitle"><span class="permalink"><a href="#ae9897b85e3cb2dc675d3a2df76c44878">&#9670;&nbsp;</a></span>sliceState()</h2>
1799
+
1800
+ <div class="memitem">
1801
+ <div class="memproto">
1802
+ <table class="mlabels">
1803
+ <tr>
1804
+ <td class="mlabels-left">
1805
+ <table class="memname">
1806
+ <tr>
1807
+ <td class="memname"><a class="el" href="classSVF_1_1AbstractState.html">AbstractState</a> SVF::AbstractState::sliceState </td>
1808
+ <td>(</td>
1809
+ <td class="paramtype"><a class="el" href="namespaceSVF.html#af739db846e47ba6b2fd15eaad31ab7fb">Set</a>&lt; <a class="el" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> &gt; &amp;&#160;</td>
1810
+ <td class="paramname"><em>sl</em></td><td>)</td>
1811
+ <td></td>
1812
+ </tr>
1813
+ </table>
1814
+ </td>
1815
+ <td class="mlabels-right">
1816
+ <span class="mlabels"><span class="mlabel">inline</span></span> </td>
1817
+ </tr>
1818
+ </table>
1819
+ </div><div class="memdoc">
1820
+
1821
+ <p>Copy some values and return a new IntervalExeState. </p>
1822
+
1823
+ <p class="definition">Definition at line <a class="el" href="AbstractState_8h_source.html#l00156">156</a> of file <a class="el" href="AbstractState_8h_source.html">AbstractState.h</a>.</p>
1824
+ <div class="fragment"><div class="line"><a name="l00157"></a><span class="lineno"> 157</span>&#160; {</div>
1825
+ <div class="line"><a name="l00158"></a><span class="lineno"> 158</span>&#160; <a class="code" href="classSVF_1_1AbstractState.html#aac4048e1e39f2dbc16f20b7ffe61af5e">AbstractState</a> inv;</div>
1826
+ <div class="line"><a name="l00159"></a><span class="lineno"> 159</span>&#160; <span class="keywordflow">for</span> (<a class="code" href="CommandLine_8h.html#a2429346d37bd4c40889bd7c6d319d9da">u32_t</a> <span class="keywordtype">id</span>: sl)</div>
1827
+ <div class="line"><a name="l00160"></a><span class="lineno"> 160</span>&#160; {</div>
1828
+ <div class="line"><a name="l00161"></a><span class="lineno"> 161</span>&#160; inv._varToAbsVal[id] = <a class="code" href="classSVF_1_1AbstractState.html#a6a49c75fb6b35159dcf1763b4484d335">_varToAbsVal</a>[id];</div>
1829
+ <div class="line"><a name="l00162"></a><span class="lineno"> 162</span>&#160; }</div>
1830
+ <div class="line"><a name="l00163"></a><span class="lineno"> 163</span>&#160; <span class="keywordflow">return</span> inv;</div>
1831
+ <div class="line"><a name="l00164"></a><span class="lineno"> 164</span>&#160; }</div>
1832
+ </div><!-- fragment -->
1833
+ </div>
1834
+ </div>
1835
+ <a id="a1f935ea8ab16b04699284bf92bbbb23c"></a>
1836
+ <h2 class="memtitle"><span class="permalink"><a href="#a1f935ea8ab16b04699284bf92bbbb23c">&#9670;&nbsp;</a></span>store()</h2>
1837
+
1838
+ <div class="memitem">
1839
+ <div class="memproto">
1840
+ <table class="mlabels">
1841
+ <tr>
1842
+ <td class="mlabels-left">
1843
+ <table class="memname">
1844
+ <tr>
1845
+ <td class="memname">void SVF::AbstractState::store </td>
1846
+ <td>(</td>
1847
+ <td class="paramtype"><a class="el" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a>&#160;</td>
1848
+ <td class="paramname"><em>addr</em>, </td>
1849
+ </tr>
1850
+ <tr>
1851
+ <td class="paramkey"></td>
1852
+ <td></td>
1853
+ <td class="paramtype">const <a class="el" href="structSVF_1_1AbstractValue.html">AbstractValue</a> &amp;&#160;</td>
1854
+ <td class="paramname"><em>val</em>&#160;</td>
1855
+ </tr>
1856
+ <tr>
1857
+ <td></td>
1858
+ <td>)</td>
1859
+ <td></td><td></td>
1860
+ </tr>
1861
+ </table>
1862
+ </td>
1863
+ <td class="mlabels-right">
1864
+ <span class="mlabels"><span class="mlabel">inline</span></span> </td>
1865
+ </tr>
1866
+ </table>
1867
+ </div><div class="memdoc">
1868
+
1869
+ <p class="definition">Definition at line <a class="el" href="AbstractState_8h_source.html#l00306">306</a> of file <a class="el" href="AbstractState_8h_source.html">AbstractState.h</a>.</p>
1870
+ <div class="fragment"><div class="line"><a name="l00307"></a><span class="lineno"> 307</span>&#160; {</div>
1871
+ <div class="line"><a name="l00308"></a><span class="lineno"> 308</span>&#160; assert(<a class="code" href="classSVF_1_1AbstractState.html#ad3eefae77eb1fc4bbcfe70b0f2f51dd4">isVirtualMemAddress</a>(addr) &amp;&amp; <span class="stringliteral">&quot;not virtual address?&quot;</span>);</div>
1872
+ <div class="line"><a name="l00309"></a><span class="lineno"> 309</span>&#160; <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1AbstractState.html#aad7588fead712273f6679d00759c06ea">isNullPtr</a>(addr)) <span class="keywordflow">return</span>;</div>
1873
+ <div class="line"><a name="l00310"></a><span class="lineno"> 310</span>&#160; <a class="code" href="CommandLine_8h.html#a2429346d37bd4c40889bd7c6d319d9da">u32_t</a> objId = <a class="code" href="classSVF_1_1AbstractState.html#aaabe5850dbf1620c6058f5ac6cb169b6">getInternalID</a>(addr);</div>
1874
+ <div class="line"><a name="l00311"></a><span class="lineno"> 311</span>&#160; <a class="code" href="classSVF_1_1AbstractState.html#aade30bb08f86b3f74e7aa9cdc60c92a3">_locToAbsVal</a>[objId] = val;</div>
1875
+ <div class="line"><a name="l00312"></a><span class="lineno"> 312</span>&#160; }</div>
1876
+ </div><!-- fragment -->
1877
+ </div>
1878
+ </div>
1879
+ <a id="ac34dc4e111967507950bd5afe4a59ea0"></a>
1880
+ <h2 class="memtitle"><span class="permalink"><a href="#ac34dc4e111967507950bd5afe4a59ea0">&#9670;&nbsp;</a></span>top()</h2>
1881
+
1882
+ <div class="memitem">
1883
+ <div class="memproto">
1884
+ <table class="mlabels">
1885
+ <tr>
1886
+ <td class="mlabels-left">
1887
+ <table class="memname">
1888
+ <tr>
1889
+ <td class="memname"><a class="el" href="classSVF_1_1AbstractState.html">AbstractState</a> SVF::AbstractState::top </td>
1890
+ <td>(</td>
1891
+ <td class="paramname"></td><td>)</td>
1892
+ <td> const</td>
1893
+ </tr>
1894
+ </table>
1895
+ </td>
1896
+ <td class="mlabels-right">
1897
+ <span class="mlabels"><span class="mlabel">inline</span></span> </td>
1898
+ </tr>
1899
+ </table>
1900
+ </div><div class="memdoc">
1901
+
1902
+ <p>Set all value top. </p>
1903
+
1904
+ <p class="definition">Definition at line <a class="el" href="AbstractState_8h_source.html#l00144">144</a> of file <a class="el" href="AbstractState_8h_source.html">AbstractState.h</a>.</p>
1905
+ <div class="fragment"><div class="line"><a name="l00145"></a><span class="lineno"> 145</span>&#160; {</div>
1906
+ <div class="line"><a name="l00146"></a><span class="lineno"> 146</span>&#160; <a class="code" href="classSVF_1_1AbstractState.html#aac4048e1e39f2dbc16f20b7ffe61af5e">AbstractState</a> inv = *<span class="keyword">this</span>;</div>
1907
+ <div class="line"><a name="l00147"></a><span class="lineno"> 147</span>&#160; <span class="keywordflow">for</span> (<span class="keyword">auto</span> &amp;<a class="code" href="cJSON_8h.html#ac76cea59d438ba893d2f82aabb367d14">item</a>: inv._varToAbsVal)</div>
1908
+ <div class="line"><a name="l00148"></a><span class="lineno"> 148</span>&#160; {</div>
1909
+ <div class="line"><a name="l00149"></a><span class="lineno"> 149</span>&#160; <span class="keywordflow">if</span> (<a class="code" href="cJSON_8h.html#ac76cea59d438ba893d2f82aabb367d14">item</a>.second.isInterval())</div>
1910
+ <div class="line"><a name="l00150"></a><span class="lineno"> 150</span>&#160; <a class="code" href="cJSON_8h.html#ac76cea59d438ba893d2f82aabb367d14">item</a>.second.getInterval().set_to_top();</div>
1911
+ <div class="line"><a name="l00151"></a><span class="lineno"> 151</span>&#160; }</div>
1912
+ <div class="line"><a name="l00152"></a><span class="lineno"> 152</span>&#160; <span class="keywordflow">return</span> inv;</div>
1913
+ <div class="line"><a name="l00153"></a><span class="lineno"> 153</span>&#160; }</div>
1914
+ </div><!-- fragment -->
1915
+ </div>
1916
+ </div>
1917
+ <a id="a7c802c006225a50b1d83b5f78d0891fa"></a>
1918
+ <h2 class="memtitle"><span class="permalink"><a href="#a7c802c006225a50b1d83b5f78d0891fa">&#9670;&nbsp;</a></span>toString()</h2>
1919
+
1920
+ <div class="memitem">
1921
+ <div class="memproto">
1922
+ <table class="mlabels">
1923
+ <tr>
1924
+ <td class="mlabels-left">
1925
+ <table class="memname">
1926
+ <tr>
1927
+ <td class="memname"><a class="el" href="cJSON_8cpp.html#ae1adbce218e7a9d09164012443191d24">std::string</a> SVF::AbstractState::toString </td>
1928
+ <td>(</td>
1929
+ <td class="paramname"></td><td>)</td>
1930
+ <td> const</td>
1931
+ </tr>
1932
+ </table>
1933
+ </td>
1934
+ <td class="mlabels-right">
1935
+ <span class="mlabels"><span class="mlabel">inline</span></span> </td>
1936
+ </tr>
1937
+ </table>
1938
+ </div><div class="memdoc">
1939
+
1940
+ <p class="definition">Definition at line <a class="el" href="AbstractState_8h_source.html#l00332">332</a> of file <a class="el" href="AbstractState_8h_source.html">AbstractState.h</a>.</p>
1941
+ <div class="fragment"><div class="line"><a name="l00333"></a><span class="lineno"> 333</span>&#160; {</div>
1942
+ <div class="line"><a name="l00334"></a><span class="lineno"> 334</span>&#160; <span class="keywordflow">return</span> <span class="stringliteral">&quot;&quot;</span>;</div>
1943
+ <div class="line"><a name="l00335"></a><span class="lineno"> 335</span>&#160; }</div>
1944
+ </div><!-- fragment -->
1945
+ </div>
1946
+ </div>
1947
+ <a id="afd37c4419cfc79b6765fa243fcbea573"></a>
1948
+ <h2 class="memtitle"><span class="permalink"><a href="#afd37c4419cfc79b6765fa243fcbea573">&#9670;&nbsp;</a></span>widening()</h2>
1949
+
1950
+ <div class="memitem">
1951
+ <div class="memproto">
1952
+ <table class="memname">
1953
+ <tr>
1954
+ <td class="memname"><a class="el" href="classSVF_1_1AbstractState.html">AbstractState</a> AbstractState::widening </td>
1955
+ <td>(</td>
1956
+ <td class="paramtype">const <a class="el" href="classSVF_1_1AbstractState.html">AbstractState</a> &amp;&#160;</td>
1957
+ <td class="paramname"><em>other</em></td><td>)</td>
1958
+ <td></td>
1959
+ </tr>
1960
+ </table>
1961
+ </div><div class="memdoc">
1962
+
1963
+ <p>domain widen with other, and return the widened domain </p>
1964
+
1965
+ <p class="definition">Definition at line <a class="el" href="AbstractState_8cpp_source.html#l00058">58</a> of file <a class="el" href="AbstractState_8cpp_source.html">AbstractState.cpp</a>.</p>
1966
+ <div class="fragment"><div class="line"><a name="l00059"></a><span class="lineno"> 59</span>&#160;{</div>
1967
+ <div class="line"><a name="l00060"></a><span class="lineno"> 60</span>&#160; <span class="comment">// widen interval</span></div>
1968
+ <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>
1969
+ <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>
1970
+ <div class="line"><a name="l00063"></a><span class="lineno"> 63</span>&#160; {</div>
1971
+ <div class="line"><a name="l00064"></a><span class="lineno"> 64</span>&#160; <span class="keyword">auto</span> key = it-&gt;first;</div>
1972
+ <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>
1973
+ <div class="line"><a name="l00066"></a><span class="lineno"> 66</span>&#160; {</div>
1974
+ <div class="line"><a name="l00067"></a><span class="lineno"> 67</span>&#160; <span class="keywordflow">if</span> (it-&gt;second.isInterval())</div>
1975
+ <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>
1976
+ <div class="line"><a name="l00069"></a><span class="lineno"> 69</span>&#160; }</div>
1977
+ <div class="line"><a name="l00070"></a><span class="lineno"> 70</span>&#160; }</div>
1978
+ <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>
1979
+ <div class="line"><a name="l00072"></a><span class="lineno"> 72</span>&#160; {</div>
1980
+ <div class="line"><a name="l00073"></a><span class="lineno"> 73</span>&#160; <span class="keyword">auto</span> key = it-&gt;first;</div>
1981
+ <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>
1982
+ <div class="line"><a name="l00075"></a><span class="lineno"> 75</span>&#160; <span class="keywordflow">if</span> (it-&gt;second.isInterval())</div>
1983
+ <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>
1984
+ <div class="line"><a name="l00077"></a><span class="lineno"> 77</span>&#160; }</div>
1985
+ <div class="line"><a name="l00078"></a><span class="lineno"> 78</span>&#160; <span class="keywordflow">return</span> es;</div>
1986
+ <div class="line"><a name="l00079"></a><span class="lineno"> 79</span>&#160;}</div>
1987
+ </div><!-- fragment -->
1988
+ </div>
1989
+ </div>
1990
+ <a id="a8d2a6e895d17181324cdeb9e2cf8f1de"></a>
1991
+ <h2 class="memtitle"><span class="permalink"><a href="#a8d2a6e895d17181324cdeb9e2cf8f1de">&#9670;&nbsp;</a></span>widenWith()</h2>
1992
+
1993
+ <div class="memitem">
1994
+ <div class="memproto">
1995
+ <table class="memname">
1996
+ <tr>
1997
+ <td class="memname">void AbstractState::widenWith </td>
1998
+ <td>(</td>
1999
+ <td class="paramtype">const <a class="el" href="classSVF_1_1AbstractState.html">AbstractState</a> &amp;&#160;</td>
2000
+ <td class="paramname"><em>other</em></td><td>)</td>
2001
+ <td></td>
2002
+ </tr>
2003
+ </table>
2004
+ </div><div class="memdoc">
2005
+
2006
+ <p>domain widen with other, important! other widen this. </p>
2007
+
2008
+ <p class="definition">Definition at line <a class="el" href="AbstractState_8cpp_source.html#l00101">101</a> of file <a class="el" href="AbstractState_8cpp_source.html">AbstractState.cpp</a>.</p>
2009
+ <div class="fragment"><div class="line"><a name="l00102"></a><span class="lineno"> 102</span>&#160;{</div>
2010
+ <div class="line"><a name="l00103"></a><span class="lineno"> 103</span>&#160; <span class="keywordflow">for</span> (<span class="keyword">auto</span> it = <a class="code" href="classSVF_1_1AbstractState.html#a6a49c75fb6b35159dcf1763b4484d335">_varToAbsVal</a>.begin(); it != <a class="code" href="classSVF_1_1AbstractState.html#a6a49c75fb6b35159dcf1763b4484d335">_varToAbsVal</a>.end(); ++it)</div>
2011
+ <div class="line"><a name="l00104"></a><span class="lineno"> 104</span>&#160; {</div>
2012
+ <div class="line"><a name="l00105"></a><span class="lineno"> 105</span>&#160; <span class="keyword">auto</span> key = it-&gt;first;</div>
2013
+ <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>
2014
+ <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>
2015
+ <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>
2016
+ <div class="line"><a name="l00109"></a><span class="lineno"> 109</span>&#160; }</div>
2017
+ <div class="line"><a name="l00110"></a><span class="lineno"> 110</span>&#160; <span class="keywordflow">for</span> (<span class="keyword">auto</span> it = <a class="code" href="classSVF_1_1AbstractState.html#aade30bb08f86b3f74e7aa9cdc60c92a3">_locToAbsVal</a>.begin(); it != <a class="code" href="classSVF_1_1AbstractState.html#aade30bb08f86b3f74e7aa9cdc60c92a3">_locToAbsVal</a>.end(); ++it)</div>
2018
+ <div class="line"><a name="l00111"></a><span class="lineno"> 111</span>&#160; {</div>
2019
+ <div class="line"><a name="l00112"></a><span class="lineno"> 112</span>&#160; <span class="keyword">auto</span> key = it-&gt;first;</div>
2020
+ <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>
2021
+ <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>
2022
+ <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>
2023
+ <div class="line"><a name="l00116"></a><span class="lineno"> 116</span>&#160; }</div>
2024
+ <div class="line"><a name="l00117"></a><span class="lineno"> 117</span>&#160;}</div>
2025
+ </div><!-- fragment -->
2026
+ </div>
2027
+ </div>
2028
+ <h2 class="groupheader">Friends And Related Function Documentation</h2>
2029
+ <a id="a44841fb4ad23542383ea77bf1ffda65f"></a>
2030
+ <h2 class="memtitle"><span class="permalink"><a href="#a44841fb4ad23542383ea77bf1ffda65f">&#9670;&nbsp;</a></span>RelationSolver</h2>
2031
+
2032
+ <div class="memitem">
2033
+ <div class="memproto">
2034
+ <table class="mlabels">
2035
+ <tr>
2036
+ <td class="mlabels-left">
2037
+ <table class="memname">
2038
+ <tr>
2039
+ <td class="memname">friend class <a class="el" href="classSVF_1_1RelationSolver.html">RelationSolver</a></td>
2040
+ </tr>
2041
+ </table>
2042
+ </td>
2043
+ <td class="mlabels-right">
2044
+ <span class="mlabels"><span class="mlabel">friend</span></span> </td>
2045
+ </tr>
2046
+ </table>
2047
+ </div><div class="memdoc">
2048
+
2049
+ <p class="definition">Definition at line <a class="el" href="AbstractState_8h_source.html#l00057">57</a> of file <a class="el" href="AbstractState_8h_source.html">AbstractState.h</a>.</p>
2050
+
2051
+ </div>
2052
+ </div>
2053
+ <a id="a25fc4decbaf702ef771219564ec64c2a"></a>
2054
+ <h2 class="memtitle"><span class="permalink"><a href="#a25fc4decbaf702ef771219564ec64c2a">&#9670;&nbsp;</a></span>SVFIR2AbsState</h2>
2055
+
2056
+ <div class="memitem">
2057
+ <div class="memproto">
2058
+ <table class="mlabels">
2059
+ <tr>
2060
+ <td class="mlabels-left">
2061
+ <table class="memname">
2062
+ <tr>
2063
+ <td class="memname">friend class <a class="el" href="classSVF_1_1SVFIR2AbsState.html">SVFIR2AbsState</a></td>
2064
+ </tr>
2065
+ </table>
2066
+ </td>
2067
+ <td class="mlabels-right">
2068
+ <span class="mlabels"><span class="mlabel">friend</span></span> </td>
2069
+ </tr>
2070
+ </table>
2071
+ </div><div class="memdoc">
2072
+
2073
+ <p class="definition">Definition at line <a class="el" href="AbstractState_8h_source.html#l00056">56</a> of file <a class="el" href="AbstractState_8h_source.html">AbstractState.h</a>.</p>
2074
+
2075
+ </div>
2076
+ </div>
2077
+ <h2 class="groupheader">Member Data Documentation</h2>
2078
+ <a id="aade30bb08f86b3f74e7aa9cdc60c92a3"></a>
2079
+ <h2 class="memtitle"><span class="permalink"><a href="#aade30bb08f86b3f74e7aa9cdc60c92a3">&#9670;&nbsp;</a></span>_locToAbsVal</h2>
2080
+
2081
+ <div class="memitem">
2082
+ <div class="memproto">
2083
+ <table class="mlabels">
2084
+ <tr>
2085
+ <td class="mlabels-left">
2086
+ <table class="memname">
2087
+ <tr>
2088
+ <td class="memname"><a class="el" href="classSVF_1_1AbstractState.html#a046e475067c101430f87d67965ecfb08">LocToAbsValMap</a> SVF::AbstractState::_locToAbsVal</td>
2089
+ </tr>
2090
+ </table>
2091
+ </td>
2092
+ <td class="mlabels-right">
2093
+ <span class="mlabels"><span class="mlabel">protected</span></span> </td>
2094
+ </tr>
2095
+ </table>
2096
+ </div><div class="memdoc">
2097
+
2098
+ <p>Map a memory address to its stored abstract value. </p>
2099
+
2100
+ <p class="definition">Definition at line <a class="el" href="AbstractState_8h_source.html#l00168">168</a> of file <a class="el" href="AbstractState_8h_source.html">AbstractState.h</a>.</p>
2101
+
2102
+ </div>
2103
+ </div>
2104
+ <a id="a6a49c75fb6b35159dcf1763b4484d335"></a>
2105
+ <h2 class="memtitle"><span class="permalink"><a href="#a6a49c75fb6b35159dcf1763b4484d335">&#9670;&nbsp;</a></span>_varToAbsVal</h2>
2106
+
2107
+ <div class="memitem">
2108
+ <div class="memproto">
2109
+ <table class="mlabels">
2110
+ <tr>
2111
+ <td class="mlabels-left">
2112
+ <table class="memname">
2113
+ <tr>
2114
+ <td class="memname"><a class="el" href="classSVF_1_1AbstractState.html#ab8e7d112c380f0c3fe66b487af90c03e">VarToAbsValMap</a> SVF::AbstractState::_varToAbsVal</td>
2115
+ </tr>
2116
+ </table>
2117
+ </td>
2118
+ <td class="mlabels-right">
2119
+ <span class="mlabels"><span class="mlabel">protected</span></span> </td>
2120
+ </tr>
2121
+ </table>
2122
+ </div><div class="memdoc">
2123
+
2124
+ <p>Map a variable (symbol) to its abstract value. </p>
2125
+
2126
+ <p class="definition">Definition at line <a class="el" href="AbstractState_8h_source.html#l00167">167</a> of file <a class="el" href="AbstractState_8h_source.html">AbstractState.h</a>.</p>
2127
+
2128
+ </div>
2129
+ </div>
2130
+ <hr/>The documentation for this class was generated from the following files:<ul>
2131
+ <li>/home/runner/work/SVF/SVF/svf/include/AE/Core/<a class="el" href="AbstractState_8h_source.html">AbstractState.h</a></li>
2132
+ <li>/home/runner/work/SVF/SVF/svf/lib/AE/Core/<a class="el" href="AbstractState_8cpp_source.html">AbstractState.cpp</a></li>
2133
+ </ul>
2134
+ </div><!-- contents -->
2135
+ <div class="ttc" id="aclassSVF_1_1AbstractState_html_ab409b0084c202ddf437b45873d6992c6"><div class="ttname"><a href="classSVF_1_1AbstractState.html#ab409b0084c202ddf437b45873d6992c6">SVF::AbstractState::getLocToVal</a></div><div class="ttdeci">const LocToAbsValMap &amp; getLocToVal() const</div><div class="ttdoc">get loc2val map</div><div class="ttdef"><b>Definition:</b> <a href="AbstractState_8h_source.html#l00244">AbstractState.h:244</a></div></div>
2136
+ <div class="ttc" id="aCommandLine_8h_html_a2429346d37bd4c40889bd7c6d319d9da"><div class="ttname"><a href="CommandLine_8h.html#a2429346d37bd4c40889bd7c6d319d9da">u32_t</a></div><div class="ttdeci">unsigned u32_t</div><div class="ttdef"><b>Definition:</b> <a href="CommandLine_8h_source.html#l00018">CommandLine.h:18</a></div></div>
2137
+ <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>
2138
+ <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>
2139
+ <div class="ttc" id="aclassSVF_1_1AbstractState_html_aad7588fead712273f6679d00759c06ea"><div class="ttname"><a href="classSVF_1_1AbstractState.html#aad7588fead712273f6679d00759c06ea">SVF::AbstractState::isNullPtr</a></div><div class="ttdeci">static bool isNullPtr(u32_t addr)</div><div class="ttdef"><b>Definition:</b> <a href="AbstractState_8h_source.html#l00098">AbstractState.h:98</a></div></div>
2140
+ <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>
2141
+ <div class="ttc" id="aclassSVF_1_1IntervalValue_html_add3acad151d5af6c9a5f692f7a01e65b"><div class="ttname"><a href="classSVF_1_1IntervalValue.html#add3acad151d5af6c9a5f692f7a01e65b">SVF::IntervalValue::top</a></div><div class="ttdeci">static IntervalValue top()</div><div class="ttdoc">Create the IntervalValue [-oo, +oo].</div><div class="ttdef"><b>Definition:</b> <a href="IntervalValue_8h_source.html#l00083">IntervalValue.h:83</a></div></div>
2142
+ <div class="ttc" id="aclassSVF_1_1AbstractState_html_a55ef37a2d9636d030feaaac041a1b081"><div class="ttname"><a href="classSVF_1_1AbstractState.html#a55ef37a2d9636d030feaaac041a1b081">SVF::AbstractState::Interval2NumValue</a></div><div class="ttdeci">s32_t Interval2NumValue(const IntervalValue &amp;e) const</div><div class="ttdoc">Return int value from an expression if it is a numeral, otherwise return an approximate value.</div><div class="ttdef"><b>Definition:</b> <a href="AbstractState_8h_source.html#l00271">AbstractState.h:271</a></div></div>
2143
+ <div class="ttc" id="aclassSVF_1_1AbstractState_html_adb1ce2a16c501aefa7c902e9bec012f6"><div class="ttname"><a href="classSVF_1_1AbstractState.html#adb1ce2a16c501aefa7c902e9bec012f6">SVF::AbstractState::eqVarToValMap</a></div><div class="ttdeci">static bool eqVarToValMap(const VarToAbsValMap &amp;lhs, const VarToAbsValMap &amp;rhs)</div><div class="ttdef"><b>Definition:</b> <a href="AbstractState_8h_source.html#l00339">AbstractState.h:339</a></div></div>
2144
+ <div class="ttc" id="aclassSVF_1_1AbstractState_html_ad3eefae77eb1fc4bbcfe70b0f2f51dd4"><div class="ttname"><a href="classSVF_1_1AbstractState.html#ad3eefae77eb1fc4bbcfe70b0f2f51dd4">SVF::AbstractState::isVirtualMemAddress</a></div><div class="ttdeci">static bool isVirtualMemAddress(u32_t val)</div><div class="ttdoc">Check bit value of val start with 0x7F000000, filter by 0xFF000000.</div><div class="ttdef"><b>Definition:</b> <a href="AbstractState_8h_source.html#l00087">AbstractState.h:87</a></div></div>
2145
+ <div class="ttc" id="aclassSVF_1_1AddressValue_html_a3be7a2e3ec3215b67cd60f122d2cd10e"><div class="ttname"><a href="classSVF_1_1AddressValue.html#a3be7a2e3ec3215b67cd60f122d2cd10e">SVF::AddressValue::getInternalID</a></div><div class="ttdeci">static u32_t getInternalID(u32_t idx)</div><div class="ttdoc">Return the internal index if idx is an address otherwise return the value of idx.</div><div class="ttdef"><b>Definition:</b> <a href="AddressValue_8h_source.html#l00224">AddressValue.h:224</a></div></div>
2146
+ <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>
2147
+ <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>
2148
+ <div class="ttc" id="anamespaceSVF_html_a9b707002523ece2ac54ca893ee9a2d4e"><div class="ttname"><a href="namespaceSVF.html#a9b707002523ece2ac54ca893ee9a2d4e">SVF::s32_t</a></div><div class="ttdeci">signed s32_t</div><div class="ttdef"><b>Definition:</b> <a href="GeneralType_8h_source.html#l00047">GeneralType.h:47</a></div></div>
2149
+ <div class="ttc" id="anamespaceSVF_1_1SVFUtil_html_a72502f7f536418621485e90ab98c2016"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#a72502f7f536418621485e90ab98c2016">SVF::SVFUtil::move</a></div><div class="ttdeci">constexpr std::remove_reference&lt; T &gt;::type &amp;&amp; move(T &amp;&amp;t) noexcept</div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8h_source.html#l00621">SVFUtil.h:621</a></div></div>
2150
+ <div class="ttc" id="aclassSVF_1_1AddressValue_html_ab76f47f97262d40dbbee12f466f746e8"><div class="ttname"><a href="classSVF_1_1AddressValue.html#ab76f47f97262d40dbbee12f466f746e8">SVF::AddressValue::isVirtualMemAddress</a></div><div class="ttdeci">static bool isVirtualMemAddress(u32_t val)</div><div class="ttdoc">Check bit value of val start with 0x7F000000, filter by 0xFF000000.</div><div class="ttdef"><b>Definition:</b> <a href="AddressValue_8h_source.html#l00218">AddressValue.h:218</a></div></div>
2151
+ <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>
2152
+ <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>
2153
+ <div class="ttc" id="aclassSVF_1_1AddressValue_html_aa6ccc9882f89804cd6566e3dfe3dfdc8"><div class="ttname"><a href="classSVF_1_1AddressValue.html#aa6ccc9882f89804cd6566e3dfe3dfdc8">SVF::AddressValue::getVirtualMemAddress</a></div><div class="ttdeci">static u32_t getVirtualMemAddress(u32_t idx)</div><div class="ttdoc">The physical address starts with 0x7f...... + idx.</div><div class="ttdef"><b>Definition:</b> <a href="AddressValue_8h_source.html#l00212">AddressValue.h:212</a></div></div>
2154
+ <div class="ttc" id="aclassSVF_1_1AbstractState_html_aaabe5850dbf1620c6058f5ac6cb169b6"><div class="ttname"><a href="classSVF_1_1AbstractState.html#aaabe5850dbf1620c6058f5ac6cb169b6">SVF::AbstractState::getInternalID</a></div><div class="ttdeci">static u32_t getInternalID(u32_t idx)</div><div class="ttdoc">Return the internal index if idx is an address otherwise return the value of idx.</div><div class="ttdef"><b>Definition:</b> <a href="AbstractState_8h_source.html#l00093">AbstractState.h:93</a></div></div>
2155
+ <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>
2156
+ <div class="ttc" id="aclassSVF_1_1AbstractState_html_a16486a0c6d9a1bb1ac19673b41a16a0e"><div class="ttname"><a href="classSVF_1_1AbstractState.html#a16486a0c6d9a1bb1ac19673b41a16a0e">SVF::AbstractState::geqVarToValMap</a></div><div class="ttdeci">static bool geqVarToValMap(const VarToAbsValMap &amp;lhs, const VarToAbsValMap &amp;rhs)</div><div class="ttdef"><b>Definition:</b> <a href="AbstractState_8h_source.html#l00387">AbstractState.h:387</a></div></div>
2157
+ <div class="ttc" id="aclassSVF_1_1AbstractState_html_aac4048e1e39f2dbc16f20b7ffe61af5e"><div class="ttname"><a href="classSVF_1_1AbstractState.html#aac4048e1e39f2dbc16f20b7ffe61af5e">SVF::AbstractState::AbstractState</a></div><div class="ttdeci">AbstractState()</div><div class="ttdoc">default constructor</div><div class="ttdef"><b>Definition:</b> <a href="AbstractState_8h_source.html#l00065">AbstractState.h:65</a></div></div>
2158
+ <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>
2159
+ <!-- start footer part -->
2160
+ <hr class="footer"/><address class="footer"><small>
2161
+ Generated by &#160;<a href="http://www.doxygen.org/index.html">
2162
+ <img class="footer" src="doxygen.png" alt="doxygen"/>
2163
+ </a> 1.8.17
2164
+ </small></address>
2165
+ </body>
2166
+ </html>