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_1AddressValue.html CHANGED
@@ -77,27 +77,11 @@ $(function() {
77
77
  <div class="contents">
78
78
 
79
79
  <p><code>#include &lt;<a class="el" href="AddressValue_8h_source.html">AddressValue.h</a>&gt;</code></p>
80
- <div class="dynheader">
81
- Inheritance diagram for SVF::AddressValue:</div>
82
- <div class="dyncontent">
83
- <div class="center">
84
- <img src="classSVF_1_1AddressValue.png" usemap="#SVF::AddressValue_map" alt=""/>
85
- <map id="SVF::AddressValue_map" name="SVF::AddressValue_map">
86
- <area href="classSVF_1_1AbstractValue.html" alt="SVF::AbstractValue" shape="rect" coords="0,0,123,24"/>
87
- </map>
88
- </div></div>
89
80
  <table class="memberdecls">
90
81
  <tr class="heading"><td colspan="2"><h2 class="groupheader"><a name="pub-types"></a>
91
82
  Public Types</h2></td></tr>
92
83
  <tr class="memitem:a58a1b87857377f372782a7873e5d4ea6"><td class="memItemLeft" align="right" valign="top">typedef <a class="el" href="namespaceSVF.html#af739db846e47ba6b2fd15eaad31ab7fb">Set</a>&lt; <a class="el" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> &gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1AddressValue.html#a58a1b87857377f372782a7873e5d4ea6">AddrSet</a></td></tr>
93
84
  <tr class="separator:a58a1b87857377f372782a7873e5d4ea6"><td class="memSeparator" colspan="2">&#160;</td></tr>
94
- <tr class="inherit_header pub_types_classSVF_1_1AbstractValue"><td colspan="2" onclick="javascript:toggleInherit('pub_types_classSVF_1_1AbstractValue')"><img src="closed.png" alt="-"/>&#160;Public Types inherited from <a class="el" href="classSVF_1_1AbstractValue.html">SVF::AbstractValue</a></td></tr>
95
- <tr class="memitem:afc79860ce75455825ff75d1fef804c16 inherit pub_types_classSVF_1_1AbstractValue"><td class="memItemLeft" align="right" valign="top">enum &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1AbstractValue.html#afc79860ce75455825ff75d1fef804c16">AbstractValueK</a> { <a class="el" href="classSVF_1_1AbstractValue.html#afc79860ce75455825ff75d1fef804c16ae3efe972f0ed2983803d380f57e2546a">IntervalK</a>,
96
- <a class="el" href="classSVF_1_1AbstractValue.html#afc79860ce75455825ff75d1fef804c16a9f76747494000cadf2e655a77f0e6ae5">ConcreteK</a>,
97
- <a class="el" href="classSVF_1_1AbstractValue.html#afc79860ce75455825ff75d1fef804c16a7febb7f584172f4687c83b201a615187">AddressK</a>
98
- }</td></tr>
99
- <tr class="memdesc:afc79860ce75455825ff75d1fef804c16"><td class="mdescLeft">&#160;</td><td class="mdescRight">Abstract value kind. <a href="classSVF_1_1AbstractValue.html#afc79860ce75455825ff75d1fef804c16">More...</a><br /></td></tr>
100
- <tr class="separator:afc79860ce75455825ff75d1fef804c16 inherit pub_types_classSVF_1_1AbstractValue"><td class="memSeparator" colspan="2">&#160;</td></tr>
101
85
  </table><table class="memberdecls">
102
86
  <tr class="heading"><td colspan="2"><h2 class="groupheader"><a name="pub-methods"></a>
103
87
  Public Member Functions</h2></td></tr>
@@ -126,11 +110,6 @@ Public Member Functions</h2></td></tr>
126
110
  <tr class="separator:aba1127b2bd075c530f7cdc4826cbae73"><td class="memSeparator" colspan="2">&#160;</td></tr>
127
111
  <tr class="memitem:a04456fe47889dd8f1b712255c9598fe9"><td class="memItemLeft" align="right" valign="top">bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1AddressValue.html#a04456fe47889dd8f1b712255c9598fe9">equals</a> (const <a class="el" href="classSVF_1_1AddressValue.html">AddressValue</a> &amp;rhs) const</td></tr>
128
112
  <tr class="separator:a04456fe47889dd8f1b712255c9598fe9"><td class="memSeparator" colspan="2">&#160;</td></tr>
129
- <tr class="memitem:a8dd76412c39640fa71f9512b0136e30f"><td class="memItemLeft" align="right" valign="top">bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1AddressValue.html#a8dd76412c39640fa71f9512b0136e30f">operator==</a> (const <a class="el" href="classSVF_1_1AddressValue.html">AddressValue</a> &amp;rhs) const</td></tr>
130
- <tr class="separator:a8dd76412c39640fa71f9512b0136e30f"><td class="memSeparator" colspan="2">&#160;</td></tr>
131
- <tr class="memitem:aba8f1bfe0603192ca9d5c8b36ece1549"><td class="memItemLeft" align="right" valign="top">bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1AddressValue.html#aba8f1bfe0603192ca9d5c8b36ece1549">operator!=</a> (const <a class="el" href="classSVF_1_1AddressValue.html">AddressValue</a> &amp;rhs) const</td></tr>
132
- <tr class="memdesc:aba8f1bfe0603192ca9d5c8b36ece1549"><td class="mdescLeft">&#160;</td><td class="mdescRight">Operator !=. <a href="classSVF_1_1AddressValue.html#aba8f1bfe0603192ca9d5c8b36ece1549">More...</a><br /></td></tr>
133
- <tr class="separator:aba8f1bfe0603192ca9d5c8b36ece1549"><td class="memSeparator" colspan="2">&#160;</td></tr>
134
113
  <tr class="memitem:aed0b4789beda4980e4e215a65350f323"><td class="memItemLeft" align="right" valign="top">AddrSet::const_iterator&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1AddressValue.html#aed0b4789beda4980e4e215a65350f323">begin</a> () const</td></tr>
135
114
  <tr class="separator:aed0b4789beda4980e4e215a65350f323"><td class="memSeparator" colspan="2">&#160;</td></tr>
136
115
  <tr class="memitem:a6f8186d1df43be4fbd0a48f724046372"><td class="memItemLeft" align="right" valign="top">AddrSet::const_iterator&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1AddressValue.html#a6f8186d1df43be4fbd0a48f724046372">end</a> () const</td></tr>
@@ -156,29 +135,16 @@ Public Member Functions</h2></td></tr>
156
135
  <tr class="separator:a6c18835f554f02ead25ea3c1cf981e8f"><td class="memSeparator" colspan="2">&#160;</td></tr>
157
136
  <tr class="memitem:a269a73753a7b495eb08bb0c9c0a58dc0"><td class="memItemLeft" align="right" valign="top">bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1AddressValue.html#a269a73753a7b495eb08bb0c9c0a58dc0">hasIntersect</a> (const <a class="el" href="classSVF_1_1AddressValue.html">AddressValue</a> &amp;other)</td></tr>
158
137
  <tr class="separator:a269a73753a7b495eb08bb0c9c0a58dc0"><td class="memSeparator" colspan="2">&#160;</td></tr>
159
- <tr class="memitem:a3ead18a9602057bb034f8fc447715a06"><td class="memItemLeft" align="right" valign="top">bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1AddressValue.html#a3ead18a9602057bb034f8fc447715a06">isTop</a> () const override</td></tr>
160
- <tr class="separator:a3ead18a9602057bb034f8fc447715a06"><td class="memSeparator" colspan="2">&#160;</td></tr>
161
- <tr class="memitem:a8d723e05901bec417fec967972c6d6f2"><td class="memItemLeft" align="right" valign="top">bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1AddressValue.html#a8d723e05901bec417fec967972c6d6f2">isBottom</a> () const override</td></tr>
162
- <tr class="separator:a8d723e05901bec417fec967972c6d6f2"><td class="memSeparator" colspan="2">&#160;</td></tr>
138
+ <tr class="memitem:a91f2a42df382c7123c80cbab99a791e6"><td class="memItemLeft" align="right" valign="top">bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1AddressValue.html#a91f2a42df382c7123c80cbab99a791e6">isTop</a> () const</td></tr>
139
+ <tr class="separator:a91f2a42df382c7123c80cbab99a791e6"><td class="memSeparator" colspan="2">&#160;</td></tr>
140
+ <tr class="memitem:a95338ecda5ff5b6e75934db032caaf2c"><td class="memItemLeft" align="right" valign="top">bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1AddressValue.html#a95338ecda5ff5b6e75934db032caaf2c">isBottom</a> () const</td></tr>
141
+ <tr class="separator:a95338ecda5ff5b6e75934db032caaf2c"><td class="memSeparator" colspan="2">&#160;</td></tr>
163
142
  <tr class="memitem:a2100009a0e744ebc9e2780dffb6f622b"><td class="memItemLeft" align="right" valign="top">void&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1AddressValue.html#a2100009a0e744ebc9e2780dffb6f622b">setTop</a> ()</td></tr>
164
143
  <tr class="separator:a2100009a0e744ebc9e2780dffb6f622b"><td class="memSeparator" colspan="2">&#160;</td></tr>
165
144
  <tr class="memitem:a77d6a1706328d86b210b26bacaf2fa9f"><td class="memItemLeft" align="right" valign="top">void&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1AddressValue.html#a77d6a1706328d86b210b26bacaf2fa9f">setBottom</a> ()</td></tr>
166
145
  <tr class="separator:a77d6a1706328d86b210b26bacaf2fa9f"><td class="memSeparator" colspan="2">&#160;</td></tr>
167
- <tr class="inherit_header pub_methods_classSVF_1_1AbstractValue"><td colspan="2" onclick="javascript:toggleInherit('pub_methods_classSVF_1_1AbstractValue')"><img src="closed.png" alt="-"/>&#160;Public Member Functions inherited from <a class="el" href="classSVF_1_1AbstractValue.html">SVF::AbstractValue</a></td></tr>
168
- <tr class="memitem:a56c3cfc51a812f4a9b3171371d3efa60 inherit pub_methods_classSVF_1_1AbstractValue"><td class="memItemLeft" align="right" valign="top">&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1AbstractValue.html#a56c3cfc51a812f4a9b3171371d3efa60">AbstractValue</a> (<a class="el" href="classSVF_1_1AbstractValue.html#afc79860ce75455825ff75d1fef804c16">AbstractValueK</a> kind)</td></tr>
169
- <tr class="separator:a56c3cfc51a812f4a9b3171371d3efa60 inherit pub_methods_classSVF_1_1AbstractValue"><td class="memSeparator" colspan="2">&#160;</td></tr>
170
- <tr class="memitem:ab6901c81e0a0153120de25876b44e3c4 inherit pub_methods_classSVF_1_1AbstractValue"><td class="memItemLeft" align="right" valign="top">virtual&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1AbstractValue.html#ab6901c81e0a0153120de25876b44e3c4">~AbstractValue</a> ()=default</td></tr>
171
- <tr class="separator:ab6901c81e0a0153120de25876b44e3c4 inherit pub_methods_classSVF_1_1AbstractValue"><td class="memSeparator" colspan="2">&#160;</td></tr>
172
- <tr class="memitem:a40a7792f8cf21c268990d546ccc0a378 inherit pub_methods_classSVF_1_1AbstractValue"><td class="memItemLeft" align="right" valign="top">&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1AbstractValue.html#a40a7792f8cf21c268990d546ccc0a378">AbstractValue</a> (const <a class="el" href="classSVF_1_1AbstractValue.html">AbstractValue</a> &amp;) noexcept=default</td></tr>
173
- <tr class="separator:a40a7792f8cf21c268990d546ccc0a378 inherit pub_methods_classSVF_1_1AbstractValue"><td class="memSeparator" colspan="2">&#160;</td></tr>
174
- <tr class="memitem:a77574a2e9822d339124cf46eedcfb253 inherit pub_methods_classSVF_1_1AbstractValue"><td class="memItemLeft" align="right" valign="top">&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1AbstractValue.html#a77574a2e9822d339124cf46eedcfb253">AbstractValue</a> (<a class="el" href="classSVF_1_1AbstractValue.html">AbstractValue</a> &amp;&amp;) noexcept=default</td></tr>
175
- <tr class="separator:a77574a2e9822d339124cf46eedcfb253 inherit pub_methods_classSVF_1_1AbstractValue"><td class="memSeparator" colspan="2">&#160;</td></tr>
176
- <tr class="memitem:afaf73f48b769b40f990418f390dd5eb3 inherit pub_methods_classSVF_1_1AbstractValue"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1AbstractValue.html">AbstractValue</a> &amp;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1AbstractValue.html#afaf73f48b769b40f990418f390dd5eb3">operator=</a> (const <a class="el" href="classSVF_1_1AbstractValue.html">AbstractValue</a> &amp;) noexcept=default</td></tr>
177
- <tr class="separator:afaf73f48b769b40f990418f390dd5eb3 inherit pub_methods_classSVF_1_1AbstractValue"><td class="memSeparator" colspan="2">&#160;</td></tr>
178
- <tr class="memitem:a04166c2df89bf2f5edf54c3d6396608a inherit pub_methods_classSVF_1_1AbstractValue"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1AbstractValue.html">AbstractValue</a> &amp;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1AbstractValue.html#a04166c2df89bf2f5edf54c3d6396608a">operator=</a> (<a class="el" href="classSVF_1_1AbstractValue.html">AbstractValue</a> &amp;&amp;) noexcept=default</td></tr>
179
- <tr class="separator:a04166c2df89bf2f5edf54c3d6396608a inherit pub_methods_classSVF_1_1AbstractValue"><td class="memSeparator" colspan="2">&#160;</td></tr>
180
- <tr class="memitem:a74bc740e894dfbdb2253bedc2851dd2e inherit pub_methods_classSVF_1_1AbstractValue"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1AbstractValue.html#afc79860ce75455825ff75d1fef804c16">AbstractValueK</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1AbstractValue.html#a74bc740e894dfbdb2253bedc2851dd2e">getAbstractValueKind</a> () const</td></tr>
181
- <tr class="separator:a74bc740e894dfbdb2253bedc2851dd2e inherit pub_methods_classSVF_1_1AbstractValue"><td class="memSeparator" colspan="2">&#160;</td></tr>
146
+ <tr class="memitem:a25db03df057262182a42cc394f0c7e1d"><td class="memItemLeft" align="right" valign="top">const <a class="el" href="cJSON_8cpp.html#ae1adbce218e7a9d09164012443191d24">std::string</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1AddressValue.html#a25db03df057262182a42cc394f0c7e1d">toString</a> () const</td></tr>
147
+ <tr class="separator:a25db03df057262182a42cc394f0c7e1d"><td class="memSeparator" colspan="2">&#160;</td></tr>
182
148
  </table><table class="memberdecls">
183
149
  <tr class="heading"><td colspan="2"><h2 class="groupheader"><a name="pub-static-methods"></a>
184
150
  Static Public Member Functions</h2></td></tr>
@@ -244,7 +210,7 @@ Private Attributes</h2></td></tr>
244
210
  <p>Default constructor. </p>
245
211
 
246
212
  <p class="definition">Definition at line <a class="el" href="AddressValue_8h_source.html#l00051">51</a> of file <a class="el" href="AddressValue_8h_source.html">AddressValue.h</a>.</p>
247
- <div class="fragment"><div class="line"><a name="l00051"></a><span class="lineno"> 51</span>&#160;: <a class="code" href="classSVF_1_1AbstractValue.html#a56c3cfc51a812f4a9b3171371d3efa60">AbstractValue</a>(<a class="code" href="classSVF_1_1AbstractValue.html#afc79860ce75455825ff75d1fef804c16a7febb7f584172f4687c83b201a615187">AddressK</a>) {}</div>
213
+ <div class="fragment"><div class="line"><a name="l00051"></a><span class="lineno"> 51</span>&#160;{}</div>
248
214
  </div><!-- fragment -->
249
215
  </div>
250
216
  </div>
@@ -275,7 +241,7 @@ Private Attributes</h2></td></tr>
275
241
  <p>Constructor. </p>
276
242
 
277
243
  <p class="definition">Definition at line <a class="el" href="AddressValue_8h_source.html#l00054">54</a> of file <a class="el" href="AddressValue_8h_source.html">AddressValue.h</a>.</p>
278
- <div class="fragment"><div class="line"><a name="l00054"></a><span class="lineno"> 54</span>&#160;: <a class="code" href="classSVF_1_1AbstractValue.html#a56c3cfc51a812f4a9b3171371d3efa60">AbstractValue</a>(<a class="code" href="classSVF_1_1AbstractValue.html#afc79860ce75455825ff75d1fef804c16a7febb7f584172f4687c83b201a615187">AddressK</a>), <a class="code" href="classSVF_1_1AddressValue.html#aa2fb34da617be0cc5ccf4a1d404e32e5">_addrs</a>(addrs) {}</div>
244
+ <div class="fragment"><div class="line"><a name="l00054"></a><span class="lineno"> 54</span>&#160;: <a class="code" href="classSVF_1_1AddressValue.html#aa2fb34da617be0cc5ccf4a1d404e32e5">_addrs</a>(addrs) {}</div>
279
245
  </div><!-- fragment -->
280
246
  </div>
281
247
  </div>
@@ -304,7 +270,7 @@ Private Attributes</h2></td></tr>
304
270
  </div><div class="memdoc">
305
271
 
306
272
  <p class="definition">Definition at line <a class="el" href="AddressValue_8h_source.html#l00056">56</a> of file <a class="el" href="AddressValue_8h_source.html">AddressValue.h</a>.</p>
307
- <div class="fragment"><div class="line"><a name="l00056"></a><span class="lineno"> 56</span>&#160;: <a class="code" href="classSVF_1_1AbstractValue.html#a56c3cfc51a812f4a9b3171371d3efa60">AbstractValue</a>(<a class="code" href="classSVF_1_1AbstractValue.html#afc79860ce75455825ff75d1fef804c16a7febb7f584172f4687c83b201a615187">AddressK</a>), <a class="code" href="classSVF_1_1AddressValue.html#aa2fb34da617be0cc5ccf4a1d404e32e5">_addrs</a>({addr}) {}</div>
273
+ <div class="fragment"><div class="line"><a name="l00056"></a><span class="lineno"> 56</span>&#160;: <a class="code" href="classSVF_1_1AddressValue.html#aa2fb34da617be0cc5ccf4a1d404e32e5">_addrs</a>({addr}) {}</div>
308
274
  </div><!-- fragment -->
309
275
  </div>
310
276
  </div>
@@ -362,7 +328,7 @@ Private Attributes</h2></td></tr>
362
328
  <p>Copy constructor. </p>
363
329
 
364
330
  <p class="definition">Definition at line <a class="el" href="AddressValue_8h_source.html#l00062">62</a> of file <a class="el" href="AddressValue_8h_source.html">AddressValue.h</a>.</p>
365
- <div class="fragment"><div class="line"><a name="l00062"></a><span class="lineno"> 62</span>&#160;: <a class="code" href="classSVF_1_1AbstractValue.html#a56c3cfc51a812f4a9b3171371d3efa60">AbstractValue</a>(<a class="code" href="classSVF_1_1AbstractValue.html#afc79860ce75455825ff75d1fef804c16a7febb7f584172f4687c83b201a615187">AddressK</a>), <a class="code" href="classSVF_1_1AddressValue.html#aa2fb34da617be0cc5ccf4a1d404e32e5">_addrs</a>(other._addrs) {}</div>
331
+ <div class="fragment"><div class="line"><a name="l00062"></a><span class="lineno"> 62</span>&#160;: <a class="code" href="classSVF_1_1AddressValue.html#aa2fb34da617be0cc5ccf4a1d404e32e5">_addrs</a>(other._addrs) {}</div>
366
332
  </div><!-- fragment -->
367
333
  </div>
368
334
  </div>
@@ -393,7 +359,7 @@ Private Attributes</h2></td></tr>
393
359
  <p>Move constructor. </p>
394
360
 
395
361
  <p class="definition">Definition at line <a class="el" href="AddressValue_8h_source.html#l00065">65</a> of file <a class="el" href="AddressValue_8h_source.html">AddressValue.h</a>.</p>
396
- <div class="fragment"><div class="line"><a name="l00065"></a><span class="lineno"> 65</span>&#160;: <a class="code" href="classSVF_1_1AbstractValue.html#a56c3cfc51a812f4a9b3171371d3efa60">AbstractValue</a>(<a class="code" href="classSVF_1_1AbstractValue.html#afc79860ce75455825ff75d1fef804c16a7febb7f584172f4687c83b201a615187">AddressK</a>), <a class="code" href="classSVF_1_1AddressValue.html#aa2fb34da617be0cc5ccf4a1d404e32e5">_addrs</a>(<a class="code" href="namespaceSVF_1_1SVFUtil.html#a72502f7f536418621485e90ab98c2016">std::move</a>(other._addrs)) {}</div>
362
+ <div class="fragment"><div class="line"><a name="l00065"></a><span class="lineno"> 65</span>&#160;: <a class="code" href="classSVF_1_1AddressValue.html#aa2fb34da617be0cc5ccf4a1d404e32e5">_addrs</a>(<a class="code" href="namespaceSVF_1_1SVFUtil.html#a72502f7f536418621485e90ab98c2016">std::move</a>(other._addrs)) {}</div>
397
363
  </div><!-- fragment -->
398
364
  </div>
399
365
  </div>
@@ -421,10 +387,10 @@ Private Attributes</h2></td></tr>
421
387
  </table>
422
388
  </div><div class="memdoc">
423
389
 
424
- <p class="definition">Definition at line <a class="el" href="AddressValue_8h_source.html#l00105">105</a> of file <a class="el" href="AddressValue_8h_source.html">AddressValue.h</a>.</p>
425
- <div class="fragment"><div class="line"><a name="l00106"></a><span class="lineno"> 106</span>&#160; {</div>
426
- <div class="line"><a name="l00107"></a><span class="lineno"> 107</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1AddressValue.html#aa2fb34da617be0cc5ccf4a1d404e32e5">_addrs</a>.cbegin();</div>
427
- <div class="line"><a name="l00108"></a><span class="lineno"> 108</span>&#160; }</div>
390
+ <p class="definition">Definition at line <a class="el" href="AddressValue_8h_source.html#l00092">92</a> of file <a class="el" href="AddressValue_8h_source.html">AddressValue.h</a>.</p>
391
+ <div class="fragment"><div class="line"><a name="l00093"></a><span class="lineno"> 93</span>&#160; {</div>
392
+ <div class="line"><a name="l00094"></a><span class="lineno"> 94</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1AddressValue.html#aa2fb34da617be0cc5ccf4a1d404e32e5">_addrs</a>.cbegin();</div>
393
+ <div class="line"><a name="l00095"></a><span class="lineno"> 95</span>&#160; }</div>
428
394
  </div><!-- fragment -->
429
395
  </div>
430
396
  </div>
@@ -454,10 +420,10 @@ Private Attributes</h2></td></tr>
454
420
 
455
421
  <p>Return true if the <a class="el" href="classSVF_1_1AddressValue.html">AddressValue</a> contains n. </p>
456
422
 
457
- <p class="definition">Definition at line <a class="el" href="AddressValue_8h_source.html#l00172">172</a> of file <a class="el" href="AddressValue_8h_source.html">AddressValue.h</a>.</p>
458
- <div class="fragment"><div class="line"><a name="l00173"></a><span class="lineno"> 173</span>&#160; {</div>
459
- <div class="line"><a name="l00174"></a><span class="lineno"> 174</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1AddressValue.html#aa2fb34da617be0cc5ccf4a1d404e32e5">_addrs</a>.count(<span class="keywordtype">id</span>);</div>
460
- <div class="line"><a name="l00175"></a><span class="lineno"> 175</span>&#160; }</div>
423
+ <p class="definition">Definition at line <a class="el" href="AddressValue_8h_source.html#l00159">159</a> of file <a class="el" href="AddressValue_8h_source.html">AddressValue.h</a>.</p>
424
+ <div class="fragment"><div class="line"><a name="l00160"></a><span class="lineno"> 160</span>&#160; {</div>
425
+ <div class="line"><a name="l00161"></a><span class="lineno"> 161</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1AddressValue.html#aa2fb34da617be0cc5ccf4a1d404e32e5">_addrs</a>.count(<span class="keywordtype">id</span>);</div>
426
+ <div class="line"><a name="l00162"></a><span class="lineno"> 162</span>&#160; }</div>
461
427
  </div><!-- fragment -->
462
428
  </div>
463
429
  </div>
@@ -484,10 +450,10 @@ Private Attributes</h2></td></tr>
484
450
  </table>
485
451
  </div><div class="memdoc">
486
452
 
487
- <p class="definition">Definition at line <a class="el" href="AddressValue_8h_source.html#l00115">115</a> of file <a class="el" href="AddressValue_8h_source.html">AddressValue.h</a>.</p>
488
- <div class="fragment"><div class="line"><a name="l00116"></a><span class="lineno"> 116</span>&#160; {</div>
489
- <div class="line"><a name="l00117"></a><span class="lineno"> 117</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1AddressValue.html#aa2fb34da617be0cc5ccf4a1d404e32e5">_addrs</a>.empty();</div>
490
- <div class="line"><a name="l00118"></a><span class="lineno"> 118</span>&#160; }</div>
453
+ <p class="definition">Definition at line <a class="el" href="AddressValue_8h_source.html#l00102">102</a> of file <a class="el" href="AddressValue_8h_source.html">AddressValue.h</a>.</p>
454
+ <div class="fragment"><div class="line"><a name="l00103"></a><span class="lineno"> 103</span>&#160; {</div>
455
+ <div class="line"><a name="l00104"></a><span class="lineno"> 104</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1AddressValue.html#aa2fb34da617be0cc5ccf4a1d404e32e5">_addrs</a>.empty();</div>
456
+ <div class="line"><a name="l00105"></a><span class="lineno"> 105</span>&#160; }</div>
491
457
  </div><!-- fragment -->
492
458
  </div>
493
459
  </div>
@@ -514,10 +480,10 @@ Private Attributes</h2></td></tr>
514
480
  </table>
515
481
  </div><div class="memdoc">
516
482
 
517
- <p class="definition">Definition at line <a class="el" href="AddressValue_8h_source.html#l00110">110</a> of file <a class="el" href="AddressValue_8h_source.html">AddressValue.h</a>.</p>
518
- <div class="fragment"><div class="line"><a name="l00111"></a><span class="lineno"> 111</span>&#160; {</div>
519
- <div class="line"><a name="l00112"></a><span class="lineno"> 112</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1AddressValue.html#aa2fb34da617be0cc5ccf4a1d404e32e5">_addrs</a>.cend();</div>
520
- <div class="line"><a name="l00113"></a><span class="lineno"> 113</span>&#160; }</div>
483
+ <p class="definition">Definition at line <a class="el" href="AddressValue_8h_source.html#l00097">97</a> of file <a class="el" href="AddressValue_8h_source.html">AddressValue.h</a>.</p>
484
+ <div class="fragment"><div class="line"><a name="l00098"></a><span class="lineno"> 98</span>&#160; {</div>
485
+ <div class="line"><a name="l00099"></a><span class="lineno"> 99</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1AddressValue.html#aa2fb34da617be0cc5ccf4a1d404e32e5">_addrs</a>.cend();</div>
486
+ <div class="line"><a name="l00100"></a><span class="lineno"> 100</span>&#160; }</div>
521
487
  </div><!-- fragment -->
522
488
  </div>
523
489
  </div>
@@ -545,10 +511,10 @@ Private Attributes</h2></td></tr>
545
511
  </table>
546
512
  </div><div class="memdoc">
547
513
 
548
- <p class="definition">Definition at line <a class="el" href="AddressValue_8h_source.html#l00089">89</a> of file <a class="el" href="AddressValue_8h_source.html">AddressValue.h</a>.</p>
549
- <div class="fragment"><div class="line"><a name="l00090"></a><span class="lineno"> 90</span>&#160; {</div>
550
- <div class="line"><a name="l00091"></a><span class="lineno"> 91</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1AddressValue.html#aa2fb34da617be0cc5ccf4a1d404e32e5">_addrs</a> == rhs._addrs;</div>
551
- <div class="line"><a name="l00092"></a><span class="lineno"> 92</span>&#160; }</div>
514
+ <p class="definition">Definition at line <a class="el" href="AddressValue_8h_source.html#l00087">87</a> of file <a class="el" href="AddressValue_8h_source.html">AddressValue.h</a>.</p>
515
+ <div class="fragment"><div class="line"><a name="l00088"></a><span class="lineno"> 88</span>&#160; {</div>
516
+ <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#aa2fb34da617be0cc5ccf4a1d404e32e5">_addrs</a> == rhs._addrs;</div>
517
+ <div class="line"><a name="l00090"></a><span class="lineno"> 90</span>&#160; }</div>
552
518
  </div><!-- fragment -->
553
519
  </div>
554
520
  </div>
@@ -578,10 +544,10 @@ Private Attributes</h2></td></tr>
578
544
 
579
545
  <p>Return the internal index if idx is an address otherwise return the value of idx. </p>
580
546
 
581
- <p class="definition">Definition at line <a class="el" href="AddressValue_8h_source.html#l00217">217</a> of file <a class="el" href="AddressValue_8h_source.html">AddressValue.h</a>.</p>
582
- <div class="fragment"><div class="line"><a name="l00218"></a><span class="lineno"> 218</span>&#160; {</div>
583
- <div class="line"><a name="l00219"></a><span class="lineno"> 219</span>&#160; <span class="keywordflow">return</span> (idx &amp; <a class="code" href="AddressValue_8h.html#aec682540f2c8aa9deb79f610e4399411">FlippedAddressMask</a>);</div>
584
- <div class="line"><a name="l00220"></a><span class="lineno"> 220</span>&#160; }</div>
547
+ <p class="definition">Definition at line <a class="el" href="AddressValue_8h_source.html#l00224">224</a> of file <a class="el" href="AddressValue_8h_source.html">AddressValue.h</a>.</p>
548
+ <div class="fragment"><div class="line"><a name="l00225"></a><span class="lineno"> 225</span>&#160; {</div>
549
+ <div class="line"><a name="l00226"></a><span class="lineno"> 226</span>&#160; <span class="keywordflow">return</span> (idx &amp; <a class="code" href="AddressValue_8h.html#aec682540f2c8aa9deb79f610e4399411">FlippedAddressMask</a>);</div>
550
+ <div class="line"><a name="l00227"></a><span class="lineno"> 227</span>&#160; }</div>
585
551
  </div><!-- fragment -->
586
552
  </div>
587
553
  </div>
@@ -608,10 +574,10 @@ Private Attributes</h2></td></tr>
608
574
  </table>
609
575
  </div><div class="memdoc">
610
576
 
611
- <p class="definition">Definition at line <a class="el" href="AddressValue_8h_source.html#l00130">130</a> of file <a class="el" href="AddressValue_8h_source.html">AddressValue.h</a>.</p>
612
- <div class="fragment"><div class="line"><a name="l00131"></a><span class="lineno"> 131</span>&#160; {</div>
613
- <div class="line"><a name="l00132"></a><span class="lineno"> 132</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1AddressValue.html#aa2fb34da617be0cc5ccf4a1d404e32e5">_addrs</a>;</div>
614
- <div class="line"><a name="l00133"></a><span class="lineno"> 133</span>&#160; }</div>
577
+ <p class="definition">Definition at line <a class="el" href="AddressValue_8h_source.html#l00117">117</a> of file <a class="el" href="AddressValue_8h_source.html">AddressValue.h</a>.</p>
578
+ <div class="fragment"><div class="line"><a name="l00118"></a><span class="lineno"> 118</span>&#160; {</div>
579
+ <div class="line"><a name="l00119"></a><span class="lineno"> 119</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1AddressValue.html#aa2fb34da617be0cc5ccf4a1d404e32e5">_addrs</a>;</div>
580
+ <div class="line"><a name="l00120"></a><span class="lineno"> 120</span>&#160; }</div>
615
581
  </div><!-- fragment -->
616
582
  </div>
617
583
  </div>
@@ -641,10 +607,10 @@ Private Attributes</h2></td></tr>
641
607
 
642
608
  <p>The physical address starts with 0x7f...... + idx. </p>
643
609
 
644
- <p class="definition">Definition at line <a class="el" href="AddressValue_8h_source.html#l00205">205</a> of file <a class="el" href="AddressValue_8h_source.html">AddressValue.h</a>.</p>
645
- <div class="fragment"><div class="line"><a name="l00206"></a><span class="lineno"> 206</span>&#160; {</div>
646
- <div class="line"><a name="l00207"></a><span class="lineno"> 207</span>&#160; <span class="keywordflow">return</span> <a class="code" href="AddressValue_8h.html#a9c5bf91d8f58ded0fd8f57c04f26b56f">AddressMask</a> + idx;</div>
647
- <div class="line"><a name="l00208"></a><span class="lineno"> 208</span>&#160; }</div>
610
+ <p class="definition">Definition at line <a class="el" href="AddressValue_8h_source.html#l00212">212</a> of file <a class="el" href="AddressValue_8h_source.html">AddressValue.h</a>.</p>
611
+ <div class="fragment"><div class="line"><a name="l00213"></a><span class="lineno"> 213</span>&#160; {</div>
612
+ <div class="line"><a name="l00214"></a><span class="lineno"> 214</span>&#160; <span class="keywordflow">return</span> <a class="code" href="AddressValue_8h.html#a9c5bf91d8f58ded0fd8f57c04f26b56f">AddressMask</a> + idx;</div>
613
+ <div class="line"><a name="l00215"></a><span class="lineno"> 215</span>&#160; }</div>
648
614
  </div><!-- fragment -->
649
615
  </div>
650
616
  </div>
@@ -672,12 +638,12 @@ Private Attributes</h2></td></tr>
672
638
  </table>
673
639
  </div><div class="memdoc">
674
640
 
675
- <p class="definition">Definition at line <a class="el" href="AddressValue_8h_source.html#l00177">177</a> of file <a class="el" href="AddressValue_8h_source.html">AddressValue.h</a>.</p>
676
- <div class="fragment"><div class="line"><a name="l00178"></a><span class="lineno"> 178</span>&#160; {</div>
677
- <div class="line"><a name="l00179"></a><span class="lineno"> 179</span>&#160; <a class="code" href="classSVF_1_1AddressValue.html#a4be7b51c3290d9cccdf7f8d3c734bcce">AddressValue</a> v = *<span class="keyword">this</span>;</div>
678
- <div class="line"><a name="l00180"></a><span class="lineno"> 180</span>&#160; v.meet_with(other);</div>
679
- <div class="line"><a name="l00181"></a><span class="lineno"> 181</span>&#160; <span class="keywordflow">return</span> !v.empty();</div>
680
- <div class="line"><a name="l00182"></a><span class="lineno"> 182</span>&#160; }</div>
641
+ <p class="definition">Definition at line <a class="el" href="AddressValue_8h_source.html#l00164">164</a> of file <a class="el" href="AddressValue_8h_source.html">AddressValue.h</a>.</p>
642
+ <div class="fragment"><div class="line"><a name="l00165"></a><span class="lineno"> 165</span>&#160; {</div>
643
+ <div class="line"><a name="l00166"></a><span class="lineno"> 166</span>&#160; <a class="code" href="classSVF_1_1AddressValue.html#a4be7b51c3290d9cccdf7f8d3c734bcce">AddressValue</a> v = *<span class="keyword">this</span>;</div>
644
+ <div class="line"><a name="l00167"></a><span class="lineno"> 167</span>&#160; v.meet_with(other);</div>
645
+ <div class="line"><a name="l00168"></a><span class="lineno"> 168</span>&#160; <span class="keywordflow">return</span> !v.empty();</div>
646
+ <div class="line"><a name="l00169"></a><span class="lineno"> 169</span>&#160; }</div>
681
647
  </div><!-- fragment -->
682
648
  </div>
683
649
  </div>
@@ -705,15 +671,15 @@ Private Attributes</h2></td></tr>
705
671
  </table>
706
672
  </div><div class="memdoc">
707
673
 
708
- <p class="definition">Definition at line <a class="el" href="AddressValue_8h_source.html#l00125">125</a> of file <a class="el" href="AddressValue_8h_source.html">AddressValue.h</a>.</p>
709
- <div class="fragment"><div class="line"><a name="l00126"></a><span class="lineno"> 126</span>&#160; {</div>
710
- <div class="line"><a name="l00127"></a><span class="lineno"> 127</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1AddressValue.html#aa2fb34da617be0cc5ccf4a1d404e32e5">_addrs</a>.insert(<span class="keywordtype">id</span>);</div>
711
- <div class="line"><a name="l00128"></a><span class="lineno"> 128</span>&#160; }</div>
674
+ <p class="definition">Definition at line <a class="el" href="AddressValue_8h_source.html#l00112">112</a> of file <a class="el" href="AddressValue_8h_source.html">AddressValue.h</a>.</p>
675
+ <div class="fragment"><div class="line"><a name="l00113"></a><span class="lineno"> 113</span>&#160; {</div>
676
+ <div class="line"><a name="l00114"></a><span class="lineno"> 114</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1AddressValue.html#aa2fb34da617be0cc5ccf4a1d404e32e5">_addrs</a>.insert(<span class="keywordtype">id</span>);</div>
677
+ <div class="line"><a name="l00115"></a><span class="lineno"> 115</span>&#160; }</div>
712
678
  </div><!-- fragment -->
713
679
  </div>
714
680
  </div>
715
- <a id="a8d723e05901bec417fec967972c6d6f2"></a>
716
- <h2 class="memtitle"><span class="permalink"><a href="#a8d723e05901bec417fec967972c6d6f2">&#9670;&nbsp;</a></span>isBottom()</h2>
681
+ <a id="a95338ecda5ff5b6e75934db032caaf2c"></a>
682
+ <h2 class="memtitle"><span class="permalink"><a href="#a95338ecda5ff5b6e75934db032caaf2c">&#9670;&nbsp;</a></span>isBottom()</h2>
717
683
 
718
684
  <div class="memitem">
719
685
  <div class="memproto">
@@ -730,22 +696,20 @@ Private Attributes</h2></td></tr>
730
696
  </table>
731
697
  </td>
732
698
  <td class="mlabels-right">
733
- <span class="mlabels"><span class="mlabel">inline</span><span class="mlabel">override</span><span class="mlabel">virtual</span></span> </td>
699
+ <span class="mlabels"><span class="mlabel">inline</span></span> </td>
734
700
  </tr>
735
701
  </table>
736
702
  </div><div class="memdoc">
737
703
 
738
- <p>Implements <a class="el" href="classSVF_1_1AbstractValue.html#aafe29c4c572b851ce8031f5cd81600c5">SVF::AbstractValue</a>.</p>
739
-
740
- <p class="definition">Definition at line <a class="el" href="AddressValue_8h_source.html#l00189">189</a> of file <a class="el" href="AddressValue_8h_source.html">AddressValue.h</a>.</p>
741
- <div class="fragment"><div class="line"><a name="l00190"></a><span class="lineno"> 190</span>&#160; {</div>
742
- <div class="line"><a name="l00191"></a><span class="lineno"> 191</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1AddressValue.html#aa7291f4b74bb824fb38b8c383fa0b6a0">empty</a>();</div>
743
- <div class="line"><a name="l00192"></a><span class="lineno"> 192</span>&#160; }</div>
704
+ <p class="definition">Definition at line <a class="el" href="AddressValue_8h_source.html#l00176">176</a> of file <a class="el" href="AddressValue_8h_source.html">AddressValue.h</a>.</p>
705
+ <div class="fragment"><div class="line"><a name="l00177"></a><span class="lineno"> 177</span>&#160; {</div>
706
+ <div class="line"><a name="l00178"></a><span class="lineno"> 178</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1AddressValue.html#aa7291f4b74bb824fb38b8c383fa0b6a0">empty</a>();</div>
707
+ <div class="line"><a name="l00179"></a><span class="lineno"> 179</span>&#160; }</div>
744
708
  </div><!-- fragment -->
745
709
  </div>
746
710
  </div>
747
- <a id="a3ead18a9602057bb034f8fc447715a06"></a>
748
- <h2 class="memtitle"><span class="permalink"><a href="#a3ead18a9602057bb034f8fc447715a06">&#9670;&nbsp;</a></span>isTop()</h2>
711
+ <a id="a91f2a42df382c7123c80cbab99a791e6"></a>
712
+ <h2 class="memtitle"><span class="permalink"><a href="#a91f2a42df382c7123c80cbab99a791e6">&#9670;&nbsp;</a></span>isTop()</h2>
749
713
 
750
714
  <div class="memitem">
751
715
  <div class="memproto">
@@ -762,17 +726,15 @@ Private Attributes</h2></td></tr>
762
726
  </table>
763
727
  </td>
764
728
  <td class="mlabels-right">
765
- <span class="mlabels"><span class="mlabel">inline</span><span class="mlabel">override</span><span class="mlabel">virtual</span></span> </td>
729
+ <span class="mlabels"><span class="mlabel">inline</span></span> </td>
766
730
  </tr>
767
731
  </table>
768
732
  </div><div class="memdoc">
769
733
 
770
- <p>Implements <a class="el" href="classSVF_1_1AbstractValue.html#a8f470d727f665e3244b222df1eb724b6">SVF::AbstractValue</a>.</p>
771
-
772
- <p class="definition">Definition at line <a class="el" href="AddressValue_8h_source.html#l00184">184</a> of file <a class="el" href="AddressValue_8h_source.html">AddressValue.h</a>.</p>
773
- <div class="fragment"><div class="line"><a name="l00185"></a><span class="lineno"> 185</span>&#160; {</div>
774
- <div class="line"><a name="l00186"></a><span class="lineno"> 186</span>&#160; <span class="keywordflow">return</span> *<span class="keyword">this</span> == <a class="code" href="AddressValue_8h.html#aa3de212b2be9b2f91d42152dfc9f1eef">BlackHoleAddr</a>;</div>
775
- <div class="line"><a name="l00187"></a><span class="lineno"> 187</span>&#160; }</div>
734
+ <p class="definition">Definition at line <a class="el" href="AddressValue_8h_source.html#l00171">171</a> of file <a class="el" href="AddressValue_8h_source.html">AddressValue.h</a>.</p>
735
+ <div class="fragment"><div class="line"><a name="l00172"></a><span class="lineno"> 172</span>&#160; {</div>
736
+ <div class="line"><a name="l00173"></a><span class="lineno"> 173</span>&#160; <span class="keywordflow">return</span> *this-&gt;<a class="code" href="classSVF_1_1AddressValue.html#aed0b4789beda4980e4e215a65350f323">begin</a>() == <a class="code" href="AddressValue_8h.html#aa3de212b2be9b2f91d42152dfc9f1eef">BlackHoleAddr</a>;</div>
737
+ <div class="line"><a name="l00174"></a><span class="lineno"> 174</span>&#160; }</div>
776
738
  </div><!-- fragment -->
777
739
  </div>
778
740
  </div>
@@ -802,10 +764,10 @@ Private Attributes</h2></td></tr>
802
764
 
803
765
  <p>Check bit value of val start with 0x7F000000, filter by 0xFF000000. </p>
804
766
 
805
- <p class="definition">Definition at line <a class="el" href="AddressValue_8h_source.html#l00211">211</a> of file <a class="el" href="AddressValue_8h_source.html">AddressValue.h</a>.</p>
806
- <div class="fragment"><div class="line"><a name="l00212"></a><span class="lineno"> 212</span>&#160; {</div>
807
- <div class="line"><a name="l00213"></a><span class="lineno"> 213</span>&#160; <span class="keywordflow">return</span> (val &amp; 0xff000000) == <a class="code" href="AddressValue_8h.html#a9c5bf91d8f58ded0fd8f57c04f26b56f">AddressMask</a>;</div>
808
- <div class="line"><a name="l00214"></a><span class="lineno"> 214</span>&#160; }</div>
767
+ <p class="definition">Definition at line <a class="el" href="AddressValue_8h_source.html#l00218">218</a> of file <a class="el" href="AddressValue_8h_source.html">AddressValue.h</a>.</p>
768
+ <div class="fragment"><div class="line"><a name="l00219"></a><span class="lineno"> 219</span>&#160; {</div>
769
+ <div class="line"><a name="l00220"></a><span class="lineno"> 220</span>&#160; <span class="keywordflow">return</span> (val &amp; 0xff000000) == <a class="code" href="AddressValue_8h.html#a9c5bf91d8f58ded0fd8f57c04f26b56f">AddressMask</a>;</div>
770
+ <div class="line"><a name="l00221"></a><span class="lineno"> 221</span>&#160; }</div>
809
771
  </div><!-- fragment -->
810
772
  </div>
811
773
  </div>
@@ -835,19 +797,19 @@ Private Attributes</h2></td></tr>
835
797
 
836
798
  <p>Current <a class="el" href="classSVF_1_1AddressValue.html">AddressValue</a> joins with another <a class="el" href="classSVF_1_1AddressValue.html">AddressValue</a>. </p>
837
799
 
838
- <p class="definition">Definition at line <a class="el" href="AddressValue_8h_source.html#l00141">141</a> of file <a class="el" href="AddressValue_8h_source.html">AddressValue.h</a>.</p>
839
- <div class="fragment"><div class="line"><a name="l00142"></a><span class="lineno"> 142</span>&#160; {</div>
840
- <div class="line"><a name="l00143"></a><span class="lineno"> 143</span>&#160; <span class="keywordtype">bool</span> changed = <span class="keyword">false</span>;</div>
841
- <div class="line"><a name="l00144"></a><span class="lineno"> 144</span>&#160; <span class="keywordflow">for</span> (<span class="keyword">const</span> <span class="keyword">auto</span> &amp;addr: other)</div>
842
- <div class="line"><a name="l00145"></a><span class="lineno"> 145</span>&#160; {</div>
843
- <div class="line"><a name="l00146"></a><span class="lineno"> 146</span>&#160; <span class="keywordflow">if</span> (!<a class="code" href="classSVF_1_1AddressValue.html#aa2fb34da617be0cc5ccf4a1d404e32e5">_addrs</a>.count(addr))</div>
844
- <div class="line"><a name="l00147"></a><span class="lineno"> 147</span>&#160; {</div>
845
- <div class="line"><a name="l00148"></a><span class="lineno"> 148</span>&#160; <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1AddressValue.html#a40c67147606ab95dd3318d0fe821d8c0">insert</a>(addr).second)</div>
846
- <div class="line"><a name="l00149"></a><span class="lineno"> 149</span>&#160; changed = <span class="keyword">true</span>;</div>
847
- <div class="line"><a name="l00150"></a><span class="lineno"> 150</span>&#160; }</div>
848
- <div class="line"><a name="l00151"></a><span class="lineno"> 151</span>&#160; }</div>
849
- <div class="line"><a name="l00152"></a><span class="lineno"> 152</span>&#160; <span class="keywordflow">return</span> changed;</div>
850
- <div class="line"><a name="l00153"></a><span class="lineno"> 153</span>&#160; }</div>
800
+ <p class="definition">Definition at line <a class="el" href="AddressValue_8h_source.html#l00128">128</a> of file <a class="el" href="AddressValue_8h_source.html">AddressValue.h</a>.</p>
801
+ <div class="fragment"><div class="line"><a name="l00129"></a><span class="lineno"> 129</span>&#160; {</div>
802
+ <div class="line"><a name="l00130"></a><span class="lineno"> 130</span>&#160; <span class="keywordtype">bool</span> changed = <span class="keyword">false</span>;</div>
803
+ <div class="line"><a name="l00131"></a><span class="lineno"> 131</span>&#160; <span class="keywordflow">for</span> (<span class="keyword">const</span> <span class="keyword">auto</span> &amp;addr: other)</div>
804
+ <div class="line"><a name="l00132"></a><span class="lineno"> 132</span>&#160; {</div>
805
+ <div class="line"><a name="l00133"></a><span class="lineno"> 133</span>&#160; <span class="keywordflow">if</span> (!<a class="code" href="classSVF_1_1AddressValue.html#aa2fb34da617be0cc5ccf4a1d404e32e5">_addrs</a>.count(addr))</div>
806
+ <div class="line"><a name="l00134"></a><span class="lineno"> 134</span>&#160; {</div>
807
+ <div class="line"><a name="l00135"></a><span class="lineno"> 135</span>&#160; <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1AddressValue.html#a40c67147606ab95dd3318d0fe821d8c0">insert</a>(addr).second)</div>
808
+ <div class="line"><a name="l00136"></a><span class="lineno"> 136</span>&#160; changed = <span class="keyword">true</span>;</div>
809
+ <div class="line"><a name="l00137"></a><span class="lineno"> 137</span>&#160; }</div>
810
+ <div class="line"><a name="l00138"></a><span class="lineno"> 138</span>&#160; }</div>
811
+ <div class="line"><a name="l00139"></a><span class="lineno"> 139</span>&#160; <span class="keywordflow">return</span> changed;</div>
812
+ <div class="line"><a name="l00140"></a><span class="lineno"> 140</span>&#160; }</div>
851
813
  </div><!-- fragment -->
852
814
  </div>
853
815
  </div>
@@ -877,53 +839,20 @@ Private Attributes</h2></td></tr>
877
839
 
878
840
  <p>Return a intersected <a class="el" href="classSVF_1_1AddressValue.html">AddressValue</a>. </p>
879
841
 
880
- <p class="definition">Definition at line <a class="el" href="AddressValue_8h_source.html#l00156">156</a> of file <a class="el" href="AddressValue_8h_source.html">AddressValue.h</a>.</p>
881
- <div class="fragment"><div class="line"><a name="l00157"></a><span class="lineno"> 157</span>&#160; {</div>
882
- <div class="line"><a name="l00158"></a><span class="lineno"> 158</span>&#160; <a class="code" href="classSVF_1_1AddressValue.html#a58a1b87857377f372782a7873e5d4ea6">AddrSet</a> s;</div>
883
- <div class="line"><a name="l00159"></a><span class="lineno"> 159</span>&#160; <span class="keywordflow">for</span> (<span class="keyword">const</span> <span class="keyword">auto</span> &amp;<span class="keywordtype">id</span>: other._addrs)</div>
884
- <div class="line"><a name="l00160"></a><span class="lineno"> 160</span>&#160; {</div>
885
- <div class="line"><a name="l00161"></a><span class="lineno"> 161</span>&#160; <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1AddressValue.html#aa2fb34da617be0cc5ccf4a1d404e32e5">_addrs</a>.find(<span class="keywordtype">id</span>) != <a class="code" href="classSVF_1_1AddressValue.html#aa2fb34da617be0cc5ccf4a1d404e32e5">_addrs</a>.end())</div>
886
- <div class="line"><a name="l00162"></a><span class="lineno"> 162</span>&#160; {</div>
887
- <div class="line"><a name="l00163"></a><span class="lineno"> 163</span>&#160; s.insert(<span class="keywordtype">id</span>);</div>
888
- <div class="line"><a name="l00164"></a><span class="lineno"> 164</span>&#160; }</div>
889
- <div class="line"><a name="l00165"></a><span class="lineno"> 165</span>&#160; }</div>
890
- <div class="line"><a name="l00166"></a><span class="lineno"> 166</span>&#160; <span class="keywordtype">bool</span> changed = (<a class="code" href="classSVF_1_1AddressValue.html#aa2fb34da617be0cc5ccf4a1d404e32e5">_addrs</a> != s);</div>
891
- <div class="line"><a name="l00167"></a><span class="lineno"> 167</span>&#160; <a class="code" href="classSVF_1_1AddressValue.html#aa2fb34da617be0cc5ccf4a1d404e32e5">_addrs</a> = <a class="code" href="namespaceSVF_1_1SVFUtil.html#a72502f7f536418621485e90ab98c2016">std::move</a>(s);</div>
892
- <div class="line"><a name="l00168"></a><span class="lineno"> 168</span>&#160; <span class="keywordflow">return</span> changed;</div>
893
- <div class="line"><a name="l00169"></a><span class="lineno"> 169</span>&#160; }</div>
894
- </div><!-- fragment -->
895
- </div>
896
- </div>
897
- <a id="aba8f1bfe0603192ca9d5c8b36ece1549"></a>
898
- <h2 class="memtitle"><span class="permalink"><a href="#aba8f1bfe0603192ca9d5c8b36ece1549">&#9670;&nbsp;</a></span>operator!=()</h2>
899
-
900
- <div class="memitem">
901
- <div class="memproto">
902
- <table class="mlabels">
903
- <tr>
904
- <td class="mlabels-left">
905
- <table class="memname">
906
- <tr>
907
- <td class="memname">bool SVF::AddressValue::operator!= </td>
908
- <td>(</td>
909
- <td class="paramtype">const <a class="el" href="classSVF_1_1AddressValue.html">AddressValue</a> &amp;&#160;</td>
910
- <td class="paramname"><em>rhs</em></td><td>)</td>
911
- <td> const</td>
912
- </tr>
913
- </table>
914
- </td>
915
- <td class="mlabels-right">
916
- <span class="mlabels"><span class="mlabel">inline</span></span> </td>
917
- </tr>
918
- </table>
919
- </div><div class="memdoc">
920
-
921
- <p>Operator !=. </p>
922
-
923
- <p class="definition">Definition at line <a class="el" href="AddressValue_8h_source.html#l00100">100</a> of file <a class="el" href="AddressValue_8h_source.html">AddressValue.h</a>.</p>
924
- <div class="fragment"><div class="line"><a name="l00101"></a><span class="lineno"> 101</span>&#160; {</div>
925
- <div class="line"><a name="l00102"></a><span class="lineno"> 102</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1AddressValue.html#aa2fb34da617be0cc5ccf4a1d404e32e5">_addrs</a> != rhs._addrs;</div>
926
- <div class="line"><a name="l00103"></a><span class="lineno"> 103</span>&#160; }</div>
842
+ <p class="definition">Definition at line <a class="el" href="AddressValue_8h_source.html#l00143">143</a> of file <a class="el" href="AddressValue_8h_source.html">AddressValue.h</a>.</p>
843
+ <div class="fragment"><div class="line"><a name="l00144"></a><span class="lineno"> 144</span>&#160; {</div>
844
+ <div class="line"><a name="l00145"></a><span class="lineno"> 145</span>&#160; <a class="code" href="classSVF_1_1AddressValue.html#a58a1b87857377f372782a7873e5d4ea6">AddrSet</a> s;</div>
845
+ <div class="line"><a name="l00146"></a><span class="lineno"> 146</span>&#160; <span class="keywordflow">for</span> (<span class="keyword">const</span> <span class="keyword">auto</span> &amp;<span class="keywordtype">id</span>: other._addrs)</div>
846
+ <div class="line"><a name="l00147"></a><span class="lineno"> 147</span>&#160; {</div>
847
+ <div class="line"><a name="l00148"></a><span class="lineno"> 148</span>&#160; <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1AddressValue.html#aa2fb34da617be0cc5ccf4a1d404e32e5">_addrs</a>.find(<span class="keywordtype">id</span>) != <a class="code" href="classSVF_1_1AddressValue.html#aa2fb34da617be0cc5ccf4a1d404e32e5">_addrs</a>.end())</div>
848
+ <div class="line"><a name="l00149"></a><span class="lineno"> 149</span>&#160; {</div>
849
+ <div class="line"><a name="l00150"></a><span class="lineno"> 150</span>&#160; s.insert(<span class="keywordtype">id</span>);</div>
850
+ <div class="line"><a name="l00151"></a><span class="lineno"> 151</span>&#160; }</div>
851
+ <div class="line"><a name="l00152"></a><span class="lineno"> 152</span>&#160; }</div>
852
+ <div class="line"><a name="l00153"></a><span class="lineno"> 153</span>&#160; <span class="keywordtype">bool</span> changed = (<a class="code" href="classSVF_1_1AddressValue.html#aa2fb34da617be0cc5ccf4a1d404e32e5">_addrs</a> != s);</div>
853
+ <div class="line"><a name="l00154"></a><span class="lineno"> 154</span>&#160; <a class="code" href="classSVF_1_1AddressValue.html#aa2fb34da617be0cc5ccf4a1d404e32e5">_addrs</a> = <a class="code" href="namespaceSVF_1_1SVFUtil.html#a72502f7f536418621485e90ab98c2016">std::move</a>(s);</div>
854
+ <div class="line"><a name="l00155"></a><span class="lineno"> 155</span>&#160; <span class="keywordflow">return</span> changed;</div>
855
+ <div class="line"><a name="l00156"></a><span class="lineno"> 156</span>&#160; }</div>
927
856
  </div><!-- fragment -->
928
857
  </div>
929
858
  </div>
@@ -953,15 +882,14 @@ Private Attributes</h2></td></tr>
953
882
 
954
883
  <p>Move operator=. </p>
955
884
 
956
- <p class="definition">Definition at line <a class="el" href="AddressValue_8h_source.html#l00079">79</a> of file <a class="el" href="AddressValue_8h_source.html">AddressValue.h</a>.</p>
957
- <div class="fragment"><div class="line"><a name="l00080"></a><span class="lineno"> 80</span>&#160; {</div>
958
- <div class="line"><a name="l00081"></a><span class="lineno"> 81</span>&#160; <span class="keywordflow">if</span> (<span class="keyword">this</span> != &amp;other)</div>
959
- <div class="line"><a name="l00082"></a><span class="lineno"> 82</span>&#160; {</div>
960
- <div class="line"><a name="l00083"></a><span class="lineno"> 83</span>&#160; <a class="code" href="classSVF_1_1AddressValue.html#aa2fb34da617be0cc5ccf4a1d404e32e5">_addrs</a> = <a class="code" href="namespaceSVF_1_1SVFUtil.html#a72502f7f536418621485e90ab98c2016">std::move</a>(other._addrs);</div>
961
- <div class="line"><a name="l00084"></a><span class="lineno"> 84</span>&#160; <a class="code" href="classSVF_1_1AbstractValue.html#afaf73f48b769b40f990418f390dd5eb3">AbstractValue::operator=</a>(<a class="code" href="namespaceSVF_1_1SVFUtil.html#a72502f7f536418621485e90ab98c2016">std::move</a>(other));</div>
962
- <div class="line"><a name="l00085"></a><span class="lineno"> 85</span>&#160; }</div>
963
- <div class="line"><a name="l00086"></a><span class="lineno"> 86</span>&#160; <span class="keywordflow">return</span> *<span class="keyword">this</span>;</div>
964
- <div class="line"><a name="l00087"></a><span class="lineno"> 87</span>&#160; }</div>
885
+ <p class="definition">Definition at line <a class="el" href="AddressValue_8h_source.html#l00078">78</a> of file <a class="el" href="AddressValue_8h_source.html">AddressValue.h</a>.</p>
886
+ <div class="fragment"><div class="line"><a name="l00079"></a><span class="lineno"> 79</span>&#160; {</div>
887
+ <div class="line"><a name="l00080"></a><span class="lineno"> 80</span>&#160; <span class="keywordflow">if</span> (<span class="keyword">this</span> != &amp;other)</div>
888
+ <div class="line"><a name="l00081"></a><span class="lineno"> 81</span>&#160; {</div>
889
+ <div class="line"><a name="l00082"></a><span class="lineno"> 82</span>&#160; <a class="code" href="classSVF_1_1AddressValue.html#aa2fb34da617be0cc5ccf4a1d404e32e5">_addrs</a> = <a class="code" href="namespaceSVF_1_1SVFUtil.html#a72502f7f536418621485e90ab98c2016">std::move</a>(other._addrs);</div>
890
+ <div class="line"><a name="l00083"></a><span class="lineno"> 83</span>&#160; }</div>
891
+ <div class="line"><a name="l00084"></a><span class="lineno"> 84</span>&#160; <span class="keywordflow">return</span> *<span class="keyword">this</span>;</div>
892
+ <div class="line"><a name="l00085"></a><span class="lineno"> 85</span>&#160; }</div>
965
893
  </div><!-- fragment -->
966
894
  </div>
967
895
  </div>
@@ -996,15 +924,14 @@ Private Attributes</h2></td></tr>
996
924
  <div class="line"><a name="l00070"></a><span class="lineno"> 70</span>&#160; <span class="keywordflow">if</span> (!this-&gt;<a class="code" href="classSVF_1_1AddressValue.html#a04456fe47889dd8f1b712255c9598fe9">equals</a>(other))</div>
997
925
  <div class="line"><a name="l00071"></a><span class="lineno"> 71</span>&#160; {</div>
998
926
  <div class="line"><a name="l00072"></a><span class="lineno"> 72</span>&#160; <a class="code" href="classSVF_1_1AddressValue.html#aa2fb34da617be0cc5ccf4a1d404e32e5">_addrs</a> = other._addrs;</div>
999
- <div class="line"><a name="l00073"></a><span class="lineno"> 73</span>&#160; <a class="code" href="classSVF_1_1AbstractValue.html#afaf73f48b769b40f990418f390dd5eb3">AbstractValue::operator=</a>(other);</div>
1000
- <div class="line"><a name="l00074"></a><span class="lineno"> 74</span>&#160; }</div>
1001
- <div class="line"><a name="l00075"></a><span class="lineno"> 75</span>&#160; <span class="keywordflow">return</span> *<span class="keyword">this</span>;</div>
1002
- <div class="line"><a name="l00076"></a><span class="lineno"> 76</span>&#160; }</div>
927
+ <div class="line"><a name="l00073"></a><span class="lineno"> 73</span>&#160; }</div>
928
+ <div class="line"><a name="l00074"></a><span class="lineno"> 74</span>&#160; <span class="keywordflow">return</span> *<span class="keyword">this</span>;</div>
929
+ <div class="line"><a name="l00075"></a><span class="lineno"> 75</span>&#160; }</div>
1003
930
  </div><!-- fragment -->
1004
931
  </div>
1005
932
  </div>
1006
- <a id="a8dd76412c39640fa71f9512b0136e30f"></a>
1007
- <h2 class="memtitle"><span class="permalink"><a href="#a8dd76412c39640fa71f9512b0136e30f">&#9670;&nbsp;</a></span>operator==()</h2>
933
+ <a id="a77d6a1706328d86b210b26bacaf2fa9f"></a>
934
+ <h2 class="memtitle"><span class="permalink"><a href="#a77d6a1706328d86b210b26bacaf2fa9f">&#9670;&nbsp;</a></span>setBottom()</h2>
1008
935
 
1009
936
  <div class="memitem">
1010
937
  <div class="memproto">
@@ -1013,11 +940,10 @@ Private Attributes</h2></td></tr>
1013
940
  <td class="mlabels-left">
1014
941
  <table class="memname">
1015
942
  <tr>
1016
- <td class="memname">bool SVF::AddressValue::operator== </td>
943
+ <td class="memname">void SVF::AddressValue::setBottom </td>
1017
944
  <td>(</td>
1018
- <td class="paramtype">const <a class="el" href="classSVF_1_1AddressValue.html">AddressValue</a> &amp;&#160;</td>
1019
- <td class="paramname"><em>rhs</em></td><td>)</td>
1020
- <td> const</td>
945
+ <td class="paramname"></td><td>)</td>
946
+ <td></td>
1021
947
  </tr>
1022
948
  </table>
1023
949
  </td>
@@ -1027,15 +953,15 @@ Private Attributes</h2></td></tr>
1027
953
  </table>
1028
954
  </div><div class="memdoc">
1029
955
 
1030
- <p class="definition">Definition at line <a class="el" href="AddressValue_8h_source.html#l00094">94</a> of file <a class="el" href="AddressValue_8h_source.html">AddressValue.h</a>.</p>
1031
- <div class="fragment"><div class="line"><a name="l00095"></a><span class="lineno"> 95</span>&#160; {</div>
1032
- <div class="line"><a name="l00096"></a><span class="lineno"> 96</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1AddressValue.html#aa2fb34da617be0cc5ccf4a1d404e32e5">_addrs</a> == rhs._addrs;</div>
1033
- <div class="line"><a name="l00097"></a><span class="lineno"> 97</span>&#160; }</div>
956
+ <p class="definition">Definition at line <a class="el" href="AddressValue_8h_source.html#l00186">186</a> of file <a class="el" href="AddressValue_8h_source.html">AddressValue.h</a>.</p>
957
+ <div class="fragment"><div class="line"><a name="l00187"></a><span class="lineno"> 187</span>&#160; {</div>
958
+ <div class="line"><a name="l00188"></a><span class="lineno"> 188</span>&#160; <a class="code" href="classSVF_1_1AddressValue.html#aa2fb34da617be0cc5ccf4a1d404e32e5">_addrs</a>.clear();</div>
959
+ <div class="line"><a name="l00189"></a><span class="lineno"> 189</span>&#160; }</div>
1034
960
  </div><!-- fragment -->
1035
961
  </div>
1036
962
  </div>
1037
- <a id="a77d6a1706328d86b210b26bacaf2fa9f"></a>
1038
- <h2 class="memtitle"><span class="permalink"><a href="#a77d6a1706328d86b210b26bacaf2fa9f">&#9670;&nbsp;</a></span>setBottom()</h2>
963
+ <a id="a2100009a0e744ebc9e2780dffb6f622b"></a>
964
+ <h2 class="memtitle"><span class="permalink"><a href="#a2100009a0e744ebc9e2780dffb6f622b">&#9670;&nbsp;</a></span>setTop()</h2>
1039
965
 
1040
966
  <div class="memitem">
1041
967
  <div class="memproto">
@@ -1044,7 +970,7 @@ Private Attributes</h2></td></tr>
1044
970
  <td class="mlabels-left">
1045
971
  <table class="memname">
1046
972
  <tr>
1047
- <td class="memname">void SVF::AddressValue::setBottom </td>
973
+ <td class="memname">void SVF::AddressValue::setTop </td>
1048
974
  <td>(</td>
1049
975
  <td class="paramname"></td><td>)</td>
1050
976
  <td></td>
@@ -1057,15 +983,15 @@ Private Attributes</h2></td></tr>
1057
983
  </table>
1058
984
  </div><div class="memdoc">
1059
985
 
1060
- <p class="definition">Definition at line <a class="el" href="AddressValue_8h_source.html#l00199">199</a> of file <a class="el" href="AddressValue_8h_source.html">AddressValue.h</a>.</p>
1061
- <div class="fragment"><div class="line"><a name="l00200"></a><span class="lineno"> 200</span>&#160; {</div>
1062
- <div class="line"><a name="l00201"></a><span class="lineno"> 201</span>&#160; <a class="code" href="classSVF_1_1AddressValue.html#aa2fb34da617be0cc5ccf4a1d404e32e5">_addrs</a>.clear();</div>
1063
- <div class="line"><a name="l00202"></a><span class="lineno"> 202</span>&#160; }</div>
986
+ <p class="definition">Definition at line <a class="el" href="AddressValue_8h_source.html#l00181">181</a> of file <a class="el" href="AddressValue_8h_source.html">AddressValue.h</a>.</p>
987
+ <div class="fragment"><div class="line"><a name="l00182"></a><span class="lineno"> 182</span>&#160; {</div>
988
+ <div class="line"><a name="l00183"></a><span class="lineno"> 183</span>&#160; *<span class="keyword">this</span> = <a class="code" href="classSVF_1_1AddressValue.html#a4be7b51c3290d9cccdf7f8d3c734bcce">AddressValue</a>(<a class="code" href="AddressValue_8h.html#aa3de212b2be9b2f91d42152dfc9f1eef">BlackHoleAddr</a>);</div>
989
+ <div class="line"><a name="l00184"></a><span class="lineno"> 184</span>&#160; }</div>
1064
990
  </div><!-- fragment -->
1065
991
  </div>
1066
992
  </div>
1067
- <a id="a2100009a0e744ebc9e2780dffb6f622b"></a>
1068
- <h2 class="memtitle"><span class="permalink"><a href="#a2100009a0e744ebc9e2780dffb6f622b">&#9670;&nbsp;</a></span>setTop()</h2>
993
+ <a id="a0fed06401997d4259d7ef183343f1949"></a>
994
+ <h2 class="memtitle"><span class="permalink"><a href="#a0fed06401997d4259d7ef183343f1949">&#9670;&nbsp;</a></span>setVals()</h2>
1069
995
 
1070
996
  <div class="memitem">
1071
997
  <div class="memproto">
@@ -1074,9 +1000,10 @@ Private Attributes</h2></td></tr>
1074
1000
  <td class="mlabels-left">
1075
1001
  <table class="memname">
1076
1002
  <tr>
1077
- <td class="memname">void SVF::AddressValue::setTop </td>
1003
+ <td class="memname">void SVF::AddressValue::setVals </td>
1078
1004
  <td>(</td>
1079
- <td class="paramname"></td><td>)</td>
1005
+ <td class="paramtype">const <a class="el" href="classSVF_1_1AddressValue.html#a58a1b87857377f372782a7873e5d4ea6">AddrSet</a> &amp;&#160;</td>
1006
+ <td class="paramname"><em>vals</em></td><td>)</td>
1080
1007
  <td></td>
1081
1008
  </tr>
1082
1009
  </table>
@@ -1087,15 +1014,15 @@ Private Attributes</h2></td></tr>
1087
1014
  </table>
1088
1015
  </div><div class="memdoc">
1089
1016
 
1090
- <p class="definition">Definition at line <a class="el" href="AddressValue_8h_source.html#l00194">194</a> of file <a class="el" href="AddressValue_8h_source.html">AddressValue.h</a>.</p>
1091
- <div class="fragment"><div class="line"><a name="l00195"></a><span class="lineno"> 195</span>&#160; {</div>
1092
- <div class="line"><a name="l00196"></a><span class="lineno"> 196</span>&#160; *<span class="keyword">this</span> = <a class="code" href="AddressValue_8h.html#aa3de212b2be9b2f91d42152dfc9f1eef">BlackHoleAddr</a>;</div>
1093
- <div class="line"><a name="l00197"></a><span class="lineno"> 197</span>&#160; }</div>
1017
+ <p class="definition">Definition at line <a class="el" href="AddressValue_8h_source.html#l00122">122</a> of file <a class="el" href="AddressValue_8h_source.html">AddressValue.h</a>.</p>
1018
+ <div class="fragment"><div class="line"><a name="l00123"></a><span class="lineno"> 123</span>&#160; {</div>
1019
+ <div class="line"><a name="l00124"></a><span class="lineno"> 124</span>&#160; <a class="code" href="classSVF_1_1AddressValue.html#aa2fb34da617be0cc5ccf4a1d404e32e5">_addrs</a> = vals;</div>
1020
+ <div class="line"><a name="l00125"></a><span class="lineno"> 125</span>&#160; }</div>
1094
1021
  </div><!-- fragment -->
1095
1022
  </div>
1096
1023
  </div>
1097
- <a id="a0fed06401997d4259d7ef183343f1949"></a>
1098
- <h2 class="memtitle"><span class="permalink"><a href="#a0fed06401997d4259d7ef183343f1949">&#9670;&nbsp;</a></span>setVals()</h2>
1024
+ <a id="ae93859318bf4f618b4cf681988a870ce"></a>
1025
+ <h2 class="memtitle"><span class="permalink"><a href="#ae93859318bf4f618b4cf681988a870ce">&#9670;&nbsp;</a></span>size()</h2>
1099
1026
 
1100
1027
  <div class="memitem">
1101
1028
  <div class="memproto">
@@ -1104,11 +1031,10 @@ Private Attributes</h2></td></tr>
1104
1031
  <td class="mlabels-left">
1105
1032
  <table class="memname">
1106
1033
  <tr>
1107
- <td class="memname">void SVF::AddressValue::setVals </td>
1034
+ <td class="memname"><a class="el" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> SVF::AddressValue::size </td>
1108
1035
  <td>(</td>
1109
- <td class="paramtype">const <a class="el" href="classSVF_1_1AddressValue.html#a58a1b87857377f372782a7873e5d4ea6">AddrSet</a> &amp;&#160;</td>
1110
- <td class="paramname"><em>vals</em></td><td>)</td>
1111
- <td></td>
1036
+ <td class="paramname"></td><td>)</td>
1037
+ <td> const</td>
1112
1038
  </tr>
1113
1039
  </table>
1114
1040
  </td>
@@ -1118,15 +1044,15 @@ Private Attributes</h2></td></tr>
1118
1044
  </table>
1119
1045
  </div><div class="memdoc">
1120
1046
 
1121
- <p class="definition">Definition at line <a class="el" href="AddressValue_8h_source.html#l00135">135</a> of file <a class="el" href="AddressValue_8h_source.html">AddressValue.h</a>.</p>
1122
- <div class="fragment"><div class="line"><a name="l00136"></a><span class="lineno"> 136</span>&#160; {</div>
1123
- <div class="line"><a name="l00137"></a><span class="lineno"> 137</span>&#160; <a class="code" href="classSVF_1_1AddressValue.html#aa2fb34da617be0cc5ccf4a1d404e32e5">_addrs</a> = vals;</div>
1124
- <div class="line"><a name="l00138"></a><span class="lineno"> 138</span>&#160; }</div>
1047
+ <p class="definition">Definition at line <a class="el" href="AddressValue_8h_source.html#l00107">107</a> of file <a class="el" href="AddressValue_8h_source.html">AddressValue.h</a>.</p>
1048
+ <div class="fragment"><div class="line"><a name="l00108"></a><span class="lineno"> 108</span>&#160; {</div>
1049
+ <div class="line"><a name="l00109"></a><span class="lineno"> 109</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1AddressValue.html#aa2fb34da617be0cc5ccf4a1d404e32e5">_addrs</a>.size();</div>
1050
+ <div class="line"><a name="l00110"></a><span class="lineno"> 110</span>&#160; }</div>
1125
1051
  </div><!-- fragment -->
1126
1052
  </div>
1127
1053
  </div>
1128
- <a id="ae93859318bf4f618b4cf681988a870ce"></a>
1129
- <h2 class="memtitle"><span class="permalink"><a href="#ae93859318bf4f618b4cf681988a870ce">&#9670;&nbsp;</a></span>size()</h2>
1054
+ <a id="a25db03df057262182a42cc394f0c7e1d"></a>
1055
+ <h2 class="memtitle"><span class="permalink"><a href="#a25db03df057262182a42cc394f0c7e1d">&#9670;&nbsp;</a></span>toString()</h2>
1130
1056
 
1131
1057
  <div class="memitem">
1132
1058
  <div class="memproto">
@@ -1135,7 +1061,7 @@ Private Attributes</h2></td></tr>
1135
1061
  <td class="mlabels-left">
1136
1062
  <table class="memname">
1137
1063
  <tr>
1138
- <td class="memname"><a class="el" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> SVF::AddressValue::size </td>
1064
+ <td class="memname">const <a class="el" href="cJSON_8cpp.html#ae1adbce218e7a9d09164012443191d24">std::string</a> SVF::AddressValue::toString </td>
1139
1065
  <td>(</td>
1140
1066
  <td class="paramname"></td><td>)</td>
1141
1067
  <td> const</td>
@@ -1148,10 +1074,25 @@ Private Attributes</h2></td></tr>
1148
1074
  </table>
1149
1075
  </div><div class="memdoc">
1150
1076
 
1151
- <p class="definition">Definition at line <a class="el" href="AddressValue_8h_source.html#l00120">120</a> of file <a class="el" href="AddressValue_8h_source.html">AddressValue.h</a>.</p>
1152
- <div class="fragment"><div class="line"><a name="l00121"></a><span class="lineno"> 121</span>&#160; {</div>
1153
- <div class="line"><a name="l00122"></a><span class="lineno"> 122</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1AddressValue.html#aa2fb34da617be0cc5ccf4a1d404e32e5">_addrs</a>.size();</div>
1154
- <div class="line"><a name="l00123"></a><span class="lineno"> 123</span>&#160; }</div>
1077
+ <p class="definition">Definition at line <a class="el" href="AddressValue_8h_source.html#l00191">191</a> of file <a class="el" href="AddressValue_8h_source.html">AddressValue.h</a>.</p>
1078
+ <div class="fragment"><div class="line"><a name="l00192"></a><span class="lineno"> 192</span>&#160; {</div>
1079
+ <div class="line"><a name="l00193"></a><span class="lineno"> 193</span>&#160; <a class="code" href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">std::string</a> str;</div>
1080
+ <div class="line"><a name="l00194"></a><span class="lineno"> 194</span>&#160; std::stringstream rawStr(str);</div>
1081
+ <div class="line"><a name="l00195"></a><span class="lineno"> 195</span>&#160; <span class="keywordflow">if</span> (this-&gt;<a class="code" href="classSVF_1_1AddressValue.html#a95338ecda5ff5b6e75934db032caaf2c">isBottom</a>())</div>
1082
+ <div class="line"><a name="l00196"></a><span class="lineno"> 196</span>&#160; {</div>
1083
+ <div class="line"><a name="l00197"></a><span class="lineno"> 197</span>&#160; rawStr &lt;&lt; <span class="stringliteral">&quot;⊥&quot;</span>;</div>
1084
+ <div class="line"><a name="l00198"></a><span class="lineno"> 198</span>&#160; }</div>
1085
+ <div class="line"><a name="l00199"></a><span class="lineno"> 199</span>&#160; <span class="keywordflow">else</span></div>
1086
+ <div class="line"><a name="l00200"></a><span class="lineno"> 200</span>&#160; {</div>
1087
+ <div class="line"><a name="l00201"></a><span class="lineno"> 201</span>&#160; rawStr &lt;&lt; <span class="stringliteral">&quot;[&quot;</span>;</div>
1088
+ <div class="line"><a name="l00202"></a><span class="lineno"> 202</span>&#160; <span class="keywordflow">for</span> (<span class="keyword">auto</span> it = <a class="code" href="classSVF_1_1AddressValue.html#aa2fb34da617be0cc5ccf4a1d404e32e5">_addrs</a>.begin(), eit = <a class="code" href="classSVF_1_1AddressValue.html#aa2fb34da617be0cc5ccf4a1d404e32e5">_addrs</a>.end(); it!= eit; ++it)</div>
1089
+ <div class="line"><a name="l00203"></a><span class="lineno"> 203</span>&#160; {</div>
1090
+ <div class="line"><a name="l00204"></a><span class="lineno"> 204</span>&#160; rawStr &lt;&lt; *it &lt;&lt; <span class="stringliteral">&quot;, &quot;</span>;</div>
1091
+ <div class="line"><a name="l00205"></a><span class="lineno"> 205</span>&#160; }</div>
1092
+ <div class="line"><a name="l00206"></a><span class="lineno"> 206</span>&#160; rawStr &lt;&lt; <span class="stringliteral">&quot;]&quot;</span>;</div>
1093
+ <div class="line"><a name="l00207"></a><span class="lineno"> 207</span>&#160; }</div>
1094
+ <div class="line"><a name="l00208"></a><span class="lineno"> 208</span>&#160; <span class="keywordflow">return</span> rawStr.str();</div>
1095
+ <div class="line"><a name="l00209"></a><span class="lineno"> 209</span>&#160; }</div>
1155
1096
  </div><!-- fragment -->
1156
1097
  </div>
1157
1098
  </div>
@@ -1184,19 +1125,19 @@ Private Attributes</h2></td></tr>
1184
1125
  <li>/home/runner/work/SVF/SVF/svf/include/AE/Core/<a class="el" href="AddressValue_8h_source.html">AddressValue.h</a></li>
1185
1126
  </ul>
1186
1127
  </div><!-- contents -->
1187
- <div class="ttc" id="aclassSVF_1_1AbstractValue_html_a56c3cfc51a812f4a9b3171371d3efa60"><div class="ttname"><a href="classSVF_1_1AbstractValue.html#a56c3cfc51a812f4a9b3171371d3efa60">SVF::AbstractValue::AbstractValue</a></div><div class="ttdeci">AbstractValue(AbstractValueK kind)</div><div class="ttdef"><b>Definition:</b> <a href="AbstractValue_8h_source.html#l00056">AbstractValue.h:56</a></div></div>
1188
- <div class="ttc" id="aclassSVF_1_1AbstractValue_html_afaf73f48b769b40f990418f390dd5eb3"><div class="ttname"><a href="classSVF_1_1AbstractValue.html#afaf73f48b769b40f990418f390dd5eb3">SVF::AbstractValue::operator=</a></div><div class="ttdeci">AbstractValue &amp; operator=(const AbstractValue &amp;) noexcept=default</div></div>
1128
+ <div class="ttc" id="aclassSVF_1_1AddressValue_html_a95338ecda5ff5b6e75934db032caaf2c"><div class="ttname"><a href="classSVF_1_1AddressValue.html#a95338ecda5ff5b6e75934db032caaf2c">SVF::AddressValue::isBottom</a></div><div class="ttdeci">bool isBottom() const</div><div class="ttdef"><b>Definition:</b> <a href="AddressValue_8h_source.html#l00176">AddressValue.h:176</a></div></div>
1129
+ <div class="ttc" id="acJSON_8h_html_ad4c68ea99a26b0a98ad9a79982960458"><div class="ttname"><a href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">string</a></div><div class="ttdeci">const char *const string</div><div class="ttdef"><b>Definition:</b> <a href="cJSON_8h_source.html#l00172">cJSON.h:172</a></div></div>
1189
1130
  <div class="ttc" id="aAddressValue_8h_html_aec682540f2c8aa9deb79f610e4399411"><div class="ttname"><a href="AddressValue_8h.html#aec682540f2c8aa9deb79f610e4399411">FlippedAddressMask</a></div><div class="ttdeci">#define FlippedAddressMask</div><div class="ttdef"><b>Definition:</b> <a href="AddressValue_8h_source.html#l00034">AddressValue.h:34</a></div></div>
1190
- <div class="ttc" id="aclassSVF_1_1AbstractValue_html_afc79860ce75455825ff75d1fef804c16a7febb7f584172f4687c83b201a615187"><div class="ttname"><a href="classSVF_1_1AbstractValue.html#afc79860ce75455825ff75d1fef804c16a7febb7f584172f4687c83b201a615187">SVF::AbstractValue::AddressK</a></div><div class="ttdeci">@ AddressK</div><div class="ttdef"><b>Definition:</b> <a href="AbstractValue_8h_source.html#l00050">AbstractValue.h:50</a></div></div>
1191
- <div class="ttc" id="aclassSVF_1_1AddressValue_html_aa7291f4b74bb824fb38b8c383fa0b6a0"><div class="ttname"><a href="classSVF_1_1AddressValue.html#aa7291f4b74bb824fb38b8c383fa0b6a0">SVF::AddressValue::empty</a></div><div class="ttdeci">bool empty() const</div><div class="ttdef"><b>Definition:</b> <a href="AddressValue_8h_source.html#l00115">AddressValue.h:115</a></div></div>
1131
+ <div class="ttc" id="aclassSVF_1_1AddressValue_html_aa7291f4b74bb824fb38b8c383fa0b6a0"><div class="ttname"><a href="classSVF_1_1AddressValue.html#aa7291f4b74bb824fb38b8c383fa0b6a0">SVF::AddressValue::empty</a></div><div class="ttdeci">bool empty() const</div><div class="ttdef"><b>Definition:</b> <a href="AddressValue_8h_source.html#l00102">AddressValue.h:102</a></div></div>
1192
1132
  <div class="ttc" id="aAddressValue_8h_html_aa3de212b2be9b2f91d42152dfc9f1eef"><div class="ttname"><a href="AddressValue_8h.html#aa3de212b2be9b2f91d42152dfc9f1eef">BlackHoleAddr</a></div><div class="ttdeci">#define BlackHoleAddr</div><div class="ttdef"><b>Definition:</b> <a href="AddressValue_8h_source.html#l00036">AddressValue.h:36</a></div></div>
1193
1133
  <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>
1194
1134
  <div class="ttc" id="aAddressValue_8h_html_a9c5bf91d8f58ded0fd8f57c04f26b56f"><div class="ttname"><a href="AddressValue_8h.html#a9c5bf91d8f58ded0fd8f57c04f26b56f">AddressMask</a></div><div class="ttdeci">#define AddressMask</div><div class="ttdef"><b>Definition:</b> <a href="AddressValue_8h_source.html#l00033">AddressValue.h:33</a></div></div>
1195
- <div class="ttc" id="aclassSVF_1_1AddressValue_html_a40c67147606ab95dd3318d0fe821d8c0"><div class="ttname"><a href="classSVF_1_1AddressValue.html#a40c67147606ab95dd3318d0fe821d8c0">SVF::AddressValue::insert</a></div><div class="ttdeci">std::pair&lt; AddressValue::AddrSet::iterator, bool &gt; insert(u32_t id)</div><div class="ttdef"><b>Definition:</b> <a href="AddressValue_8h_source.html#l00125">AddressValue.h:125</a></div></div>
1135
+ <div class="ttc" id="aclassSVF_1_1AddressValue_html_a40c67147606ab95dd3318d0fe821d8c0"><div class="ttname"><a href="classSVF_1_1AddressValue.html#a40c67147606ab95dd3318d0fe821d8c0">SVF::AddressValue::insert</a></div><div class="ttdeci">std::pair&lt; AddressValue::AddrSet::iterator, bool &gt; insert(u32_t id)</div><div class="ttdef"><b>Definition:</b> <a href="AddressValue_8h_source.html#l00112">AddressValue.h:112</a></div></div>
1196
1136
  <div class="ttc" id="aclassSVF_1_1AddressValue_html_a4be7b51c3290d9cccdf7f8d3c734bcce"><div class="ttname"><a href="classSVF_1_1AddressValue.html#a4be7b51c3290d9cccdf7f8d3c734bcce">SVF::AddressValue::AddressValue</a></div><div class="ttdeci">AddressValue()</div><div class="ttdoc">Default constructor.</div><div class="ttdef"><b>Definition:</b> <a href="AddressValue_8h_source.html#l00051">AddressValue.h:51</a></div></div>
1197
1137
  <div class="ttc" id="aclassSVF_1_1AddressValue_html_a58a1b87857377f372782a7873e5d4ea6"><div class="ttname"><a href="classSVF_1_1AddressValue.html#a58a1b87857377f372782a7873e5d4ea6">SVF::AddressValue::AddrSet</a></div><div class="ttdeci">Set&lt; u32_t &gt; AddrSet</div><div class="ttdef"><b>Definition:</b> <a href="AddressValue_8h_source.html#l00046">AddressValue.h:46</a></div></div>
1198
- <div class="ttc" id="aclassSVF_1_1AddressValue_html_a04456fe47889dd8f1b712255c9598fe9"><div class="ttname"><a href="classSVF_1_1AddressValue.html#a04456fe47889dd8f1b712255c9598fe9">SVF::AddressValue::equals</a></div><div class="ttdeci">bool equals(const AddressValue &amp;rhs) const</div><div class="ttdef"><b>Definition:</b> <a href="AddressValue_8h_source.html#l00089">AddressValue.h:89</a></div></div>
1138
+ <div class="ttc" id="aclassSVF_1_1AddressValue_html_a04456fe47889dd8f1b712255c9598fe9"><div class="ttname"><a href="classSVF_1_1AddressValue.html#a04456fe47889dd8f1b712255c9598fe9">SVF::AddressValue::equals</a></div><div class="ttdeci">bool equals(const AddressValue &amp;rhs) const</div><div class="ttdef"><b>Definition:</b> <a href="AddressValue_8h_source.html#l00087">AddressValue.h:87</a></div></div>
1199
1139
  <div class="ttc" id="aclassSVF_1_1AddressValue_html_aa2fb34da617be0cc5ccf4a1d404e32e5"><div class="ttname"><a href="classSVF_1_1AddressValue.html#aa2fb34da617be0cc5ccf4a1d404e32e5">SVF::AddressValue::_addrs</a></div><div class="ttdeci">AddrSet _addrs</div><div class="ttdef"><b>Definition:</b> <a href="AddressValue_8h_source.html#l00048">AddressValue.h:48</a></div></div>
1140
+ <div class="ttc" id="aclassSVF_1_1AddressValue_html_aed0b4789beda4980e4e215a65350f323"><div class="ttname"><a href="classSVF_1_1AddressValue.html#aed0b4789beda4980e4e215a65350f323">SVF::AddressValue::begin</a></div><div class="ttdeci">AddrSet::const_iterator begin() const</div><div class="ttdef"><b>Definition:</b> <a href="AddressValue_8h_source.html#l00092">AddressValue.h:92</a></div></div>
1200
1141
  <!-- start footer part -->
1201
1142
  <hr class="footer"/><address class="footer"><small>
1202
1143
  Generated by &#160;<a href="http://www.doxygen.org/index.html">