svf-tools 1.0.812 → 1.0.813

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 (279) hide show
  1. package/SVF-doxygen/html/ConsExeState_8cpp_source.html +21 -21
  2. package/SVF-doxygen/html/ConsExeState_8h_source.html +384 -385
  3. package/SVF-doxygen/html/ExeState_8cpp_source.html +24 -24
  4. package/SVF-doxygen/html/ExeState_8h_source.html +227 -217
  5. package/SVF-doxygen/html/IntervalExeState_8cpp_source.html +8 -8
  6. package/SVF-doxygen/html/IntervalExeState_8h_source.html +412 -408
  7. package/SVF-doxygen/html/RelationSolver_8cpp_source.html +3 -3
  8. package/SVF-doxygen/html/SVFIR2ConsExeState_8cpp_source.html +43 -43
  9. package/SVF-doxygen/html/SVFIR2ConsExeState_8h_source.html +18 -18
  10. package/SVF-doxygen/html/SVFIR2ItvExeState_8cpp_source.html +250 -262
  11. package/SVF-doxygen/html/SVFIR2ItvExeState_8h_source.html +103 -101
  12. package/SVF-doxygen/html/SymState_8h_source.html +1 -1
  13. package/SVF-doxygen/html/classSVF_1_1ConsExeState-members.html +74 -74
  14. package/SVF-doxygen/html/classSVF_1_1ConsExeState.html +412 -394
  15. package/SVF-doxygen/html/classSVF_1_1ExeState-members.html +34 -34
  16. package/SVF-doxygen/html/classSVF_1_1ExeState.html +287 -272
  17. package/SVF-doxygen/html/classSVF_1_1IntervalExeState-members.html +78 -78
  18. package/SVF-doxygen/html/classSVF_1_1IntervalExeState.html +445 -434
  19. package/SVF-doxygen/html/classSVF_1_1RelationSolver.html +3 -3
  20. package/SVF-doxygen/html/classSVF_1_1SVFIR2ConsExeState-members.html +28 -28
  21. package/SVF-doxygen/html/classSVF_1_1SVFIR2ConsExeState.html +77 -77
  22. package/SVF-doxygen/html/classSVF_1_1SVFIR2ItvExeState-members.html +40 -40
  23. package/SVF-doxygen/html/classSVF_1_1SVFIR2ItvExeState.html +372 -372
  24. package/SVF-doxygen/html/classSVF_1_1SymState.html +2 -2
  25. package/SVF-doxygen/html/functions.html +6 -6
  26. package/SVF-doxygen/html/functions_a.html +13 -8
  27. package/SVF-doxygen/html/functions_b.html +3 -3
  28. package/SVF-doxygen/html/functions_e.html +2 -2
  29. package/SVF-doxygen/html/functions_func_e.html +2 -2
  30. package/SVF-doxygen/html/functions_func_g.html +32 -35
  31. package/SVF-doxygen/html/functions_func_i.html +11 -21
  32. package/SVF-doxygen/html/functions_func_l.html +6 -6
  33. package/SVF-doxygen/html/functions_func_n.html +3 -3
  34. package/SVF-doxygen/html/functions_func_p.html +2 -2
  35. package/SVF-doxygen/html/functions_func_s.html +7 -7
  36. package/SVF-doxygen/html/functions_func_w.html +3 -3
  37. package/SVF-doxygen/html/functions_g.html +27 -30
  38. package/SVF-doxygen/html/functions_i.html +13 -23
  39. package/SVF-doxygen/html/functions_l.html +8 -8
  40. package/SVF-doxygen/html/functions_n.html +7 -7
  41. package/SVF-doxygen/html/functions_o.html +4 -4
  42. package/SVF-doxygen/html/functions_p.html +9 -9
  43. package/SVF-doxygen/html/functions_r.html +1 -1
  44. package/SVF-doxygen/html/functions_s.html +19 -17
  45. package/SVF-doxygen/html/functions_t.html +7 -7
  46. package/SVF-doxygen/html/functions_type.html +5 -0
  47. package/SVF-doxygen/html/functions_type_v.html +3 -8
  48. package/SVF-doxygen/html/functions_v.html +13 -16
  49. package/SVF-doxygen/html/functions_vars.html +6 -6
  50. package/SVF-doxygen/html/functions_vars_g.html +2 -2
  51. package/SVF-doxygen/html/functions_w.html +3 -3
  52. package/SVF-doxygen/html/search/all_0.js +4 -4
  53. package/SVF-doxygen/html/search/all_1.js +210 -209
  54. package/SVF-doxygen/html/search/all_10.js +324 -324
  55. package/SVF-doxygen/html/search/all_11.js +222 -222
  56. package/SVF-doxygen/html/search/all_12.js +544 -544
  57. package/SVF-doxygen/html/search/all_13.js +191 -191
  58. package/SVF-doxygen/html/search/all_14.js +67 -67
  59. package/SVF-doxygen/html/search/all_15.js +167 -169
  60. package/SVF-doxygen/html/search/all_16.js +63 -63
  61. package/SVF-doxygen/html/search/all_17.js +1 -1
  62. package/SVF-doxygen/html/search/all_18.js +1 -1
  63. package/SVF-doxygen/html/search/all_19.js +11 -11
  64. package/SVF-doxygen/html/search/all_1a.js +172 -172
  65. package/SVF-doxygen/html/search/all_2.js +169 -169
  66. package/SVF-doxygen/html/search/all_3.js +642 -642
  67. package/SVF-doxygen/html/search/all_4.js +233 -233
  68. package/SVF-doxygen/html/search/all_5.js +119 -119
  69. package/SVF-doxygen/html/search/all_6.js +225 -225
  70. package/SVF-doxygen/html/search/all_7.js +946 -947
  71. package/SVF-doxygen/html/search/all_9.js +481 -486
  72. package/SVF-doxygen/html/search/all_a.js +46 -46
  73. package/SVF-doxygen/html/search/all_b.js +26 -26
  74. package/SVF-doxygen/html/search/all_c.js +116 -116
  75. package/SVF-doxygen/html/search/all_d.js +196 -196
  76. package/SVF-doxygen/html/search/all_e.js +207 -207
  77. package/SVF-doxygen/html/search/all_f.js +115 -115
  78. package/SVF-doxygen/html/search/classes_0.js +26 -26
  79. package/SVF-doxygen/html/search/classes_1.js +9 -9
  80. package/SVF-doxygen/html/search/classes_10.js +73 -73
  81. package/SVF-doxygen/html/search/classes_11.js +15 -15
  82. package/SVF-doxygen/html/search/classes_12.js +2 -2
  83. package/SVF-doxygen/html/search/classes_13.js +10 -10
  84. package/SVF-doxygen/html/search/classes_14.js +14 -14
  85. package/SVF-doxygen/html/search/classes_15.js +1 -1
  86. package/SVF-doxygen/html/search/classes_2.js +80 -80
  87. package/SVF-doxygen/html/search/classes_3.js +37 -37
  88. package/SVF-doxygen/html/search/classes_4.js +9 -9
  89. package/SVF-doxygen/html/search/classes_5.js +28 -28
  90. package/SVF-doxygen/html/search/classes_6.js +104 -104
  91. package/SVF-doxygen/html/search/classes_7.js +33 -33
  92. package/SVF-doxygen/html/search/classes_8.js +56 -56
  93. package/SVF-doxygen/html/search/classes_9.js +1 -1
  94. package/SVF-doxygen/html/search/classes_a.js +12 -12
  95. package/SVF-doxygen/html/search/classes_b.js +29 -29
  96. package/SVF-doxygen/html/search/classes_c.js +6 -6
  97. package/SVF-doxygen/html/search/classes_d.js +18 -18
  98. package/SVF-doxygen/html/search/classes_e.js +36 -36
  99. package/SVF-doxygen/html/search/classes_f.js +25 -25
  100. package/SVF-doxygen/html/search/defines_0.js +3 -3
  101. package/SVF-doxygen/html/search/defines_1.js +2 -2
  102. package/SVF-doxygen/html/search/defines_2.js +30 -30
  103. package/SVF-doxygen/html/search/defines_3.js +21 -21
  104. package/SVF-doxygen/html/search/defines_4.js +2 -2
  105. package/SVF-doxygen/html/search/defines_5.js +4 -4
  106. package/SVF-doxygen/html/search/defines_6.js +2 -2
  107. package/SVF-doxygen/html/search/defines_7.js +5 -5
  108. package/SVF-doxygen/html/search/defines_8.js +11 -11
  109. package/SVF-doxygen/html/search/defines_9.js +9 -9
  110. package/SVF-doxygen/html/search/defines_a.js +2 -2
  111. package/SVF-doxygen/html/search/defines_b.js +1 -1
  112. package/SVF-doxygen/html/search/defines_c.js +3 -3
  113. package/SVF-doxygen/html/search/defines_d.js +2 -2
  114. package/SVF-doxygen/html/search/defines_e.js +7 -7
  115. package/SVF-doxygen/html/search/defines_f.js +3 -3
  116. package/SVF-doxygen/html/search/enums_0.js +3 -3
  117. package/SVF-doxygen/html/search/enums_1.js +2 -2
  118. package/SVF-doxygen/html/search/enums_10.js +1 -1
  119. package/SVF-doxygen/html/search/enums_11.js +1 -1
  120. package/SVF-doxygen/html/search/enums_2.js +8 -8
  121. package/SVF-doxygen/html/search/enums_3.js +1 -1
  122. package/SVF-doxygen/html/search/enums_4.js +3 -3
  123. package/SVF-doxygen/html/search/enums_5.js +1 -1
  124. package/SVF-doxygen/html/search/enums_6.js +2 -2
  125. package/SVF-doxygen/html/search/enums_7.js +2 -2
  126. package/SVF-doxygen/html/search/enums_8.js +4 -4
  127. package/SVF-doxygen/html/search/enums_9.js +1 -1
  128. package/SVF-doxygen/html/search/enums_a.js +1 -1
  129. package/SVF-doxygen/html/search/enums_b.js +7 -7
  130. package/SVF-doxygen/html/search/enums_c.js +1 -1
  131. package/SVF-doxygen/html/search/enums_d.js +4 -4
  132. package/SVF-doxygen/html/search/enums_e.js +2 -2
  133. package/SVF-doxygen/html/search/enums_f.js +4 -4
  134. package/SVF-doxygen/html/search/enumvalues_0.js +14 -14
  135. package/SVF-doxygen/html/search/enumvalues_1.js +14 -14
  136. package/SVF-doxygen/html/search/enumvalues_10.js +35 -35
  137. package/SVF-doxygen/html/search/enumvalues_11.js +3 -3
  138. package/SVF-doxygen/html/search/enumvalues_12.js +10 -10
  139. package/SVF-doxygen/html/search/enumvalues_13.js +1 -1
  140. package/SVF-doxygen/html/search/enumvalues_14.js +1 -1
  141. package/SVF-doxygen/html/search/enumvalues_15.js +3 -3
  142. package/SVF-doxygen/html/search/enumvalues_2.js +36 -36
  143. package/SVF-doxygen/html/search/enumvalues_3.js +13 -13
  144. package/SVF-doxygen/html/search/enumvalues_4.js +2 -2
  145. package/SVF-doxygen/html/search/enumvalues_5.js +47 -47
  146. package/SVF-doxygen/html/search/enumvalues_6.js +6 -6
  147. package/SVF-doxygen/html/search/enumvalues_7.js +9 -9
  148. package/SVF-doxygen/html/search/enumvalues_8.js +23 -23
  149. package/SVF-doxygen/html/search/enumvalues_9.js +6 -6
  150. package/SVF-doxygen/html/search/enumvalues_a.js +15 -15
  151. package/SVF-doxygen/html/search/enumvalues_b.js +11 -11
  152. package/SVF-doxygen/html/search/enumvalues_c.js +5 -5
  153. package/SVF-doxygen/html/search/enumvalues_d.js +18 -18
  154. package/SVF-doxygen/html/search/enumvalues_e.js +9 -9
  155. package/SVF-doxygen/html/search/enumvalues_f.js +45 -45
  156. package/SVF-doxygen/html/search/files_0.js +13 -13
  157. package/SVF-doxygen/html/search/files_1.js +7 -7
  158. package/SVF-doxygen/html/search/files_10.js +8 -8
  159. package/SVF-doxygen/html/search/files_11.js +8 -8
  160. package/SVF-doxygen/html/search/files_12.js +2 -2
  161. package/SVF-doxygen/html/search/files_2.js +55 -55
  162. package/SVF-doxygen/html/search/files_3.js +14 -14
  163. package/SVF-doxygen/html/search/files_4.js +5 -5
  164. package/SVF-doxygen/html/search/files_5.js +13 -13
  165. package/SVF-doxygen/html/search/files_6.js +9 -9
  166. package/SVF-doxygen/html/search/files_7.js +14 -14
  167. package/SVF-doxygen/html/search/files_8.js +13 -13
  168. package/SVF-doxygen/html/search/files_9.js +18 -18
  169. package/SVF-doxygen/html/search/files_a.js +3 -3
  170. package/SVF-doxygen/html/search/files_b.js +2 -2
  171. package/SVF-doxygen/html/search/files_c.js +20 -20
  172. package/SVF-doxygen/html/search/files_d.js +4 -4
  173. package/SVF-doxygen/html/search/files_e.js +62 -62
  174. package/SVF-doxygen/html/search/files_f.js +8 -8
  175. package/SVF-doxygen/html/search/functions_0.js +12 -12
  176. package/SVF-doxygen/html/search/functions_1.js +360 -360
  177. package/SVF-doxygen/html/search/functions_10.js +140 -140
  178. package/SVF-doxygen/html/search/functions_11.js +138 -138
  179. package/SVF-doxygen/html/search/functions_12.js +279 -279
  180. package/SVF-doxygen/html/search/functions_13.js +59 -59
  181. package/SVF-doxygen/html/search/functions_14.js +39 -39
  182. package/SVF-doxygen/html/search/functions_15.js +71 -71
  183. package/SVF-doxygen/html/search/functions_16.js +32 -32
  184. package/SVF-doxygen/html/search/functions_17.js +3 -3
  185. package/SVF-doxygen/html/search/functions_18.js +172 -172
  186. package/SVF-doxygen/html/search/functions_2.js +87 -87
  187. package/SVF-doxygen/html/search/functions_3.js +257 -257
  188. package/SVF-doxygen/html/search/functions_4.js +75 -75
  189. package/SVF-doxygen/html/search/functions_5.js +53 -53
  190. package/SVF-doxygen/html/search/functions_6.js +59 -59
  191. package/SVF-doxygen/html/search/functions_7.js +852 -853
  192. package/SVF-doxygen/html/search/functions_8.js +149 -149
  193. package/SVF-doxygen/html/search/functions_9.js +423 -428
  194. package/SVF-doxygen/html/search/functions_a.js +30 -30
  195. package/SVF-doxygen/html/search/functions_b.js +2 -2
  196. package/SVF-doxygen/html/search/functions_c.js +26 -26
  197. package/SVF-doxygen/html/search/functions_d.js +77 -77
  198. package/SVF-doxygen/html/search/functions_e.js +35 -35
  199. package/SVF-doxygen/html/search/functions_f.js +56 -56
  200. package/SVF-doxygen/html/search/namespaces_0.js +1 -1
  201. package/SVF-doxygen/html/search/namespaces_1.js +7 -7
  202. package/SVF-doxygen/html/search/related_0.js +2 -2
  203. package/SVF-doxygen/html/search/related_1.js +2 -2
  204. package/SVF-doxygen/html/search/related_2.js +2 -2
  205. package/SVF-doxygen/html/search/related_3.js +2 -2
  206. package/SVF-doxygen/html/search/related_4.js +2 -2
  207. package/SVF-doxygen/html/search/related_5.js +1 -1
  208. package/SVF-doxygen/html/search/related_6.js +2 -2
  209. package/SVF-doxygen/html/search/related_7.js +4 -4
  210. package/SVF-doxygen/html/search/related_8.js +2 -2
  211. package/SVF-doxygen/html/search/related_9.js +4 -4
  212. package/SVF-doxygen/html/search/related_a.js +19 -19
  213. package/SVF-doxygen/html/search/related_b.js +4 -4
  214. package/SVF-doxygen/html/search/related_c.js +1 -1
  215. package/SVF-doxygen/html/search/related_d.js +12 -12
  216. package/SVF-doxygen/html/search/related_e.js +2 -2
  217. package/SVF-doxygen/html/search/related_f.js +2 -2
  218. package/SVF-doxygen/html/search/typedefs_0.js +19 -18
  219. package/SVF-doxygen/html/search/typedefs_1.js +26 -26
  220. package/SVF-doxygen/html/search/typedefs_10.js +61 -61
  221. package/SVF-doxygen/html/search/typedefs_11.js +13 -13
  222. package/SVF-doxygen/html/search/typedefs_12.js +11 -11
  223. package/SVF-doxygen/html/search/typedefs_13.js +33 -34
  224. package/SVF-doxygen/html/search/typedefs_14.js +8 -8
  225. package/SVF-doxygen/html/search/typedefs_2.js +129 -129
  226. package/SVF-doxygen/html/search/typedefs_3.js +39 -39
  227. package/SVF-doxygen/html/search/typedefs_4.js +17 -17
  228. package/SVF-doxygen/html/search/typedefs_5.js +41 -41
  229. package/SVF-doxygen/html/search/typedefs_6.js +55 -55
  230. package/SVF-doxygen/html/search/typedefs_7.js +44 -44
  231. package/SVF-doxygen/html/search/typedefs_8.js +1 -1
  232. package/SVF-doxygen/html/search/typedefs_9.js +6 -6
  233. package/SVF-doxygen/html/search/typedefs_a.js +29 -29
  234. package/SVF-doxygen/html/search/typedefs_b.js +29 -29
  235. package/SVF-doxygen/html/search/typedefs_c.js +41 -41
  236. package/SVF-doxygen/html/search/typedefs_d.js +14 -14
  237. package/SVF-doxygen/html/search/typedefs_e.js +52 -52
  238. package/SVF-doxygen/html/search/typedefs_f.js +14 -14
  239. package/SVF-doxygen/html/search/variables_0.js +151 -151
  240. package/SVF-doxygen/html/search/variables_1.js +75 -75
  241. package/SVF-doxygen/html/search/variables_10.js +97 -97
  242. package/SVF-doxygen/html/search/variables_11.js +44 -44
  243. package/SVF-doxygen/html/search/variables_12.js +92 -92
  244. package/SVF-doxygen/html/search/variables_13.js +75 -75
  245. package/SVF-doxygen/html/search/variables_14.js +14 -14
  246. package/SVF-doxygen/html/search/variables_15.js +48 -48
  247. package/SVF-doxygen/html/search/variables_16.js +9 -9
  248. package/SVF-doxygen/html/search/variables_17.js +1 -1
  249. package/SVF-doxygen/html/search/variables_18.js +2 -2
  250. package/SVF-doxygen/html/search/variables_2.js +38 -38
  251. package/SVF-doxygen/html/search/variables_3.js +142 -142
  252. package/SVF-doxygen/html/search/variables_4.js +55 -55
  253. package/SVF-doxygen/html/search/variables_5.js +37 -37
  254. package/SVF-doxygen/html/search/variables_6.js +66 -66
  255. package/SVF-doxygen/html/search/variables_7.js +33 -33
  256. package/SVF-doxygen/html/search/variables_8.js +7 -7
  257. package/SVF-doxygen/html/search/variables_9.js +78 -78
  258. package/SVF-doxygen/html/search/variables_a.js +4 -4
  259. package/SVF-doxygen/html/search/variables_b.js +10 -10
  260. package/SVF-doxygen/html/search/variables_c.js +45 -45
  261. package/SVF-doxygen/html/search/variables_d.js +56 -56
  262. package/SVF-doxygen/html/search/variables_e.js +123 -123
  263. package/SVF-doxygen/html/search/variables_f.js +29 -29
  264. package/SVF-doxygen/html/structstd_1_1hash_3_01SVF_1_1ConsExeState_01_4.html +5 -5
  265. package/SVF-doxygen/html/structstd_1_1hash_3_01SVF_1_1ExeState_01_4.html +5 -5
  266. package/SVF-doxygen/html/structstd_1_1hash_3_01SVF_1_1IntervalExeState_01_4.html +5 -5
  267. package/SVF-doxygen/html/svf-ex_8cpp.html +7 -7
  268. package/SVF-doxygen/html/svf-ex_8cpp_source.html +7 -7
  269. package/package.json +1 -1
  270. package/svf/include/AbstractExecution/ConsExeState.h +99 -96
  271. package/svf/include/AbstractExecution/ExeState.h +66 -53
  272. package/svf/include/AbstractExecution/IntervalExeState.h +66 -61
  273. package/svf/include/AbstractExecution/SVFIR2ConsExeState.h +7 -7
  274. package/svf/include/AbstractExecution/SVFIR2ItvExeState.h +20 -14
  275. package/svf/lib/AbstractExecution/ConsExeState.cpp +13 -13
  276. package/svf/lib/AbstractExecution/ExeState.cpp +19 -19
  277. package/svf/lib/AbstractExecution/IntervalExeState.cpp +4 -4
  278. package/svf/lib/AbstractExecution/SVFIR2ConsExeState.cpp +36 -36
  279. package/svf/lib/AbstractExecution/SVFIR2ItvExeState.cpp +80 -92
package/SVF-doxygen/html/ExeState_8h_source.html CHANGED
@@ -117,8 +117,8 @@ $(function() {
117
117
  <div class="line"><a name="l00049"></a><span class="lineno"> 49</span>&#160; </div>
118
118
  <div class="line"><a name="l00050"></a><span class="lineno"> 50</span>&#160;<span class="keyword">public</span>:</div>
119
119
  <div class="line"><a name="l00051"></a><span class="lineno"> 51</span>&#160; </div>
120
- <div class="line"><a name="l00052"></a><span class="lineno"><a class="line" href="classSVF_1_1ExeState.html#aa1355e828af78b55b5d23f2dffa330f1"> 52</a></span>&#160; <span class="keyword">typedef</span> <a class="code" href="classSVF_1_1AddressValue.html">AddressValue</a> <a class="code" href="classSVF_1_1ExeState.html#aa1355e828af78b55b5d23f2dffa330f1">VAddrs</a>;</div>
121
- <div class="line"><a name="l00053"></a><span class="lineno"><a class="line" href="classSVF_1_1ExeState.html#aab6dfbae3f5d743d5fff6bba3327f231"> 53</a></span>&#160; <span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">Map&lt;u32_t, VAddrs&gt;</a> <a class="code" href="classSVF_1_1ExeState.html#aab6dfbae3f5d743d5fff6bba3327f231">VarToVAddrs</a>;</div>
120
+ <div class="line"><a name="l00052"></a><span class="lineno"><a class="line" href="classSVF_1_1ExeState.html#a78038dd4884a501cfc94f073021eac96"> 52</a></span>&#160; <span class="keyword">typedef</span> <a class="code" href="classSVF_1_1AddressValue.html">AddressValue</a> <a class="code" href="classSVF_1_1ExeState.html#a78038dd4884a501cfc94f073021eac96">Addrs</a>;</div>
121
+ <div class="line"><a name="l00053"></a><span class="lineno"><a class="line" href="classSVF_1_1ExeState.html#a09f34aca79479221305769cae307feef"> 53</a></span>&#160; <span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">Map&lt;u32_t, Addrs&gt;</a> <a class="code" href="classSVF_1_1ExeState.html#a09f34aca79479221305769cae307feef">VarToAddrs</a>;</div>
122
122
  <div class="line"><a name="l00055"></a><span class="lineno"><a class="line" href="classSVF_1_1ExeState.html#a259b93247e06141077b2c1ae15efcbb8"> 55</a></span>&#160; <span class="keyword">enum</span> <a class="code" href="classSVF_1_1ExeState.html#a259b93247e06141077b2c1ae15efcbb8">ExeState_TYPE</a></div>
123
123
  <div class="line"><a name="l00056"></a><span class="lineno"> 56</span>&#160; {</div>
124
124
  <div class="line"><a name="l00057"></a><span class="lineno"><a class="line" href="classSVF_1_1ExeState.html#a259b93247e06141077b2c1ae15efcbb8acb163848414937d2331958216330a20e"> 57</a></span>&#160; <a class="code" href="classSVF_1_1ExeState.html#a259b93247e06141077b2c1ae15efcbb8a39d5fb8ca9906072253f8af46b916351">IntervalK</a>, <a class="code" href="classSVF_1_1ExeState.html#a259b93247e06141077b2c1ae15efcbb8acb163848414937d2331958216330a20e">SingleValueK</a></div>
@@ -131,18 +131,18 @@ $(function() {
131
131
  <div class="line"><a name="l00064"></a><span class="lineno"> 64</span>&#160; </div>
132
132
  <div class="line"><a name="l00065"></a><span class="lineno"> 65</span>&#160; <span class="keyword">virtual</span> <a class="code" href="classSVF_1_1ExeState.html#a56dc11162e701d8d48ea354f9d380167">~ExeState</a>() = <span class="keywordflow">default</span>;</div>
133
133
  <div class="line"><a name="l00066"></a><span class="lineno"> 66</span>&#160; </div>
134
- <div class="line"><a name="l00067"></a><span class="lineno"><a class="line" href="classSVF_1_1ExeState.html#a62bef487b31f2a4ca27b4e9b183bdef5"> 67</a></span>&#160; <a class="code" href="classSVF_1_1ExeState.html#a62bef487b31f2a4ca27b4e9b183bdef5">ExeState</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1ExeState.html">ExeState</a> &amp;rhs) : <a class="code" href="classSVF_1_1ExeState.html#a69895af213955ea1ba29812bfddcea66">_varToVAddrs</a>(rhs.<a class="code" href="classSVF_1_1ExeState.html#a69895af213955ea1ba29812bfddcea66">_varToVAddrs</a>),</div>
135
- <div class="line"><a name="l00068"></a><span class="lineno"> 68</span>&#160; <a class="code" href="classSVF_1_1ExeState.html#adb724bd1c3154368c629f4972c503d72">_locToVAddrs</a>(rhs.<a class="code" href="classSVF_1_1ExeState.html#adb724bd1c3154368c629f4972c503d72">_locToVAddrs</a>) {}</div>
134
+ <div class="line"><a name="l00067"></a><span class="lineno"><a class="line" href="classSVF_1_1ExeState.html#a62bef487b31f2a4ca27b4e9b183bdef5"> 67</a></span>&#160; <a class="code" href="classSVF_1_1ExeState.html#a62bef487b31f2a4ca27b4e9b183bdef5">ExeState</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1ExeState.html">ExeState</a> &amp;rhs) : <a class="code" href="classSVF_1_1ExeState.html#ad317f2ae2e599a131a6fd9f415f5d712">_varToAddrs</a>(rhs.<a class="code" href="classSVF_1_1ExeState.html#ad317f2ae2e599a131a6fd9f415f5d712">_varToAddrs</a>),</div>
135
+ <div class="line"><a name="l00068"></a><span class="lineno"> 68</span>&#160; <a class="code" href="classSVF_1_1ExeState.html#a79866a547dc4805d3fefdfd528d2df2a">_locToAddrs</a>(rhs.<a class="code" href="classSVF_1_1ExeState.html#a79866a547dc4805d3fefdfd528d2df2a">_locToAddrs</a>) {}</div>
136
136
  <div class="line"><a name="l00069"></a><span class="lineno"> 69</span>&#160; </div>
137
- <div class="line"><a name="l00070"></a><span class="lineno"><a class="line" href="classSVF_1_1ExeState.html#a2e79702693c4fce03ab9fc03d1ceb2b8"> 70</a></span>&#160; <a class="code" href="classSVF_1_1ExeState.html#a2e79702693c4fce03ab9fc03d1ceb2b8">ExeState</a>(<a class="code" href="classSVF_1_1ExeState.html">ExeState</a> &amp;&amp;rhs) noexcept: <a class="code" href="classSVF_1_1ExeState.html#a69895af213955ea1ba29812bfddcea66">_varToVAddrs</a>(<a class="code" href="namespaceSVF_1_1SVFUtil.html#a72502f7f536418621485e90ab98c2016">std::move</a>(rhs._varToVAddrs)),</div>
138
- <div class="line"><a name="l00071"></a><span class="lineno"> 71</span>&#160; <a class="code" href="classSVF_1_1ExeState.html#adb724bd1c3154368c629f4972c503d72">_locToVAddrs</a>(<a class="code" href="namespaceSVF_1_1SVFUtil.html#a72502f7f536418621485e90ab98c2016">std::move</a>(rhs._locToVAddrs)) {}</div>
137
+ <div class="line"><a name="l00070"></a><span class="lineno"><a class="line" href="classSVF_1_1ExeState.html#a2e79702693c4fce03ab9fc03d1ceb2b8"> 70</a></span>&#160; <a class="code" href="classSVF_1_1ExeState.html#a2e79702693c4fce03ab9fc03d1ceb2b8">ExeState</a>(<a class="code" href="classSVF_1_1ExeState.html">ExeState</a> &amp;&amp;rhs) noexcept: <a class="code" href="classSVF_1_1ExeState.html#ad317f2ae2e599a131a6fd9f415f5d712">_varToAddrs</a>(<a class="code" href="namespaceSVF_1_1SVFUtil.html#a72502f7f536418621485e90ab98c2016">std::move</a>(rhs._varToAddrs)),</div>
138
+ <div class="line"><a name="l00071"></a><span class="lineno"> 71</span>&#160; <a class="code" href="classSVF_1_1ExeState.html#a79866a547dc4805d3fefdfd528d2df2a">_locToAddrs</a>(<a class="code" href="namespaceSVF_1_1SVFUtil.html#a72502f7f536418621485e90ab98c2016">std::move</a>(rhs._locToAddrs)) {}</div>
139
139
  <div class="line"><a name="l00072"></a><span class="lineno"> 72</span>&#160; </div>
140
140
  <div class="line"><a name="l00073"></a><span class="lineno"><a class="line" href="classSVF_1_1ExeState.html#aebeb2054a8118fd33df9fef31bacda03"> 73</a></span>&#160; <a class="code" href="classSVF_1_1ExeState.html">ExeState</a> &amp;<a class="code" href="classSVF_1_1ExeState.html#aebeb2054a8118fd33df9fef31bacda03">operator=</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1ExeState.html">ExeState</a> &amp;rhs)</div>
141
141
  <div class="line"><a name="l00074"></a><span class="lineno"> 74</span>&#160; {</div>
142
142
  <div class="line"><a name="l00075"></a><span class="lineno"> 75</span>&#160; <span class="keywordflow">if</span>(*<span class="keyword">this</span> != rhs)</div>
143
143
  <div class="line"><a name="l00076"></a><span class="lineno"> 76</span>&#160; {</div>
144
- <div class="line"><a name="l00077"></a><span class="lineno"> 77</span>&#160; <a class="code" href="classSVF_1_1ExeState.html#a69895af213955ea1ba29812bfddcea66">_varToVAddrs</a> = rhs.<a class="code" href="classSVF_1_1ExeState.html#a69895af213955ea1ba29812bfddcea66">_varToVAddrs</a>;</div>
145
- <div class="line"><a name="l00078"></a><span class="lineno"> 78</span>&#160; <a class="code" href="classSVF_1_1ExeState.html#adb724bd1c3154368c629f4972c503d72">_locToVAddrs</a> = rhs.<a class="code" href="classSVF_1_1ExeState.html#adb724bd1c3154368c629f4972c503d72">_locToVAddrs</a>;</div>
144
+ <div class="line"><a name="l00077"></a><span class="lineno"> 77</span>&#160; <a class="code" href="classSVF_1_1ExeState.html#ad317f2ae2e599a131a6fd9f415f5d712">_varToAddrs</a> = rhs.<a class="code" href="classSVF_1_1ExeState.html#ad317f2ae2e599a131a6fd9f415f5d712">_varToAddrs</a>;</div>
145
+ <div class="line"><a name="l00078"></a><span class="lineno"> 78</span>&#160; <a class="code" href="classSVF_1_1ExeState.html#a79866a547dc4805d3fefdfd528d2df2a">_locToAddrs</a> = rhs.<a class="code" href="classSVF_1_1ExeState.html#a79866a547dc4805d3fefdfd528d2df2a">_locToAddrs</a>;</div>
146
146
  <div class="line"><a name="l00079"></a><span class="lineno"> 79</span>&#160; }</div>
147
147
  <div class="line"><a name="l00080"></a><span class="lineno"> 80</span>&#160; <span class="keywordflow">return</span> *<span class="keyword">this</span>;</div>
148
148
  <div class="line"><a name="l00081"></a><span class="lineno"> 81</span>&#160; }</div>
@@ -151,261 +151,271 @@ $(function() {
151
151
  <div class="line"><a name="l00084"></a><span class="lineno"> 84</span>&#160; {</div>
152
152
  <div class="line"><a name="l00085"></a><span class="lineno"> 85</span>&#160; <span class="keywordflow">if</span> (<span class="keyword">this</span> != &amp;rhs)</div>
153
153
  <div class="line"><a name="l00086"></a><span class="lineno"> 86</span>&#160; {</div>
154
- <div class="line"><a name="l00087"></a><span class="lineno"> 87</span>&#160; <a class="code" href="classSVF_1_1ExeState.html#a69895af213955ea1ba29812bfddcea66">_varToVAddrs</a> = <a class="code" href="namespaceSVF_1_1SVFUtil.html#a72502f7f536418621485e90ab98c2016">std::move</a>(rhs._varToVAddrs);</div>
155
- <div class="line"><a name="l00088"></a><span class="lineno"> 88</span>&#160; <a class="code" href="classSVF_1_1ExeState.html#adb724bd1c3154368c629f4972c503d72">_locToVAddrs</a> = <a class="code" href="namespaceSVF_1_1SVFUtil.html#a72502f7f536418621485e90ab98c2016">std::move</a>(rhs._locToVAddrs);</div>
154
+ <div class="line"><a name="l00087"></a><span class="lineno"> 87</span>&#160; <a class="code" href="classSVF_1_1ExeState.html#ad317f2ae2e599a131a6fd9f415f5d712">_varToAddrs</a> = <a class="code" href="namespaceSVF_1_1SVFUtil.html#a72502f7f536418621485e90ab98c2016">std::move</a>(rhs._varToAddrs);</div>
155
+ <div class="line"><a name="l00088"></a><span class="lineno"> 88</span>&#160; <a class="code" href="classSVF_1_1ExeState.html#a79866a547dc4805d3fefdfd528d2df2a">_locToAddrs</a> = <a class="code" href="namespaceSVF_1_1SVFUtil.html#a72502f7f536418621485e90ab98c2016">std::move</a>(rhs._locToAddrs);</div>
156
156
  <div class="line"><a name="l00089"></a><span class="lineno"> 89</span>&#160; }</div>
157
157
  <div class="line"><a name="l00090"></a><span class="lineno"> 90</span>&#160; <span class="keywordflow">return</span> *<span class="keyword">this</span>;</div>
158
158
  <div class="line"><a name="l00091"></a><span class="lineno"> 91</span>&#160; }</div>
159
159
  <div class="line"><a name="l00092"></a><span class="lineno"> 92</span>&#160; </div>
160
- <div class="line"><a name="l00093"></a><span class="lineno"> 93</span>&#160; <span class="keyword">virtual</span> <span class="keywordtype">bool</span> <a class="code" href="classSVF_1_1ExeState.html#a0e4c8a41aa861ff2862d8b620c902f21">operator==</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1ExeState.html">ExeState</a> &amp;rhs) <span class="keyword">const</span>;</div>
161
- <div class="line"><a name="l00094"></a><span class="lineno"> 94</span>&#160; </div>
162
- <div class="line"><a name="l00095"></a><span class="lineno"><a class="line" href="classSVF_1_1ExeState.html#ab828094e1026046814c1e3d44d3f084c"> 95</a></span>&#160; <span class="keyword">inline</span> <span class="keyword">virtual</span> <span class="keywordtype">bool</span> <a class="code" href="classSVF_1_1ExeState.html#ab828094e1026046814c1e3d44d3f084c">operator!=</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1ExeState.html">ExeState</a> &amp;rhs)<span class="keyword"> const</span></div>
163
- <div class="line"><a name="l00096"></a><span class="lineno"> 96</span>&#160;<span class="keyword"> </span>{</div>
164
- <div class="line"><a name="l00097"></a><span class="lineno"> 97</span>&#160; <span class="keywordflow">return</span> !(*<span class="keyword">this</span> == rhs);</div>
165
- <div class="line"><a name="l00098"></a><span class="lineno"> 98</span>&#160; }</div>
160
+ <div class="line"><a name="l00093"></a><span class="lineno"> 93</span>&#160; </div>
161
+ <div class="line"><a name="l00094"></a><span class="lineno"> 94</span>&#160;<span class="keyword">protected</span>:</div>
162
+ <div class="line"><a name="l00095"></a><span class="lineno"><a class="line" href="classSVF_1_1ExeState.html#ad317f2ae2e599a131a6fd9f415f5d712"> 95</a></span>&#160; <a class="code" href="classSVF_1_1ExeState.html#a09f34aca79479221305769cae307feef">VarToAddrs</a> <a class="code" href="classSVF_1_1ExeState.html#ad317f2ae2e599a131a6fd9f415f5d712">_varToAddrs</a>{{0, <a class="code" href="classSVF_1_1ExeState.html#a2f01e583abcdeb236a11e85c7a8aafdc">getVirtualMemAddress</a>(0)}}; </div>
163
+ <div class="line"><a name="l00096"></a><span class="lineno"><a class="line" href="classSVF_1_1ExeState.html#a79866a547dc4805d3fefdfd528d2df2a"> 96</a></span>&#160; <a class="code" href="classSVF_1_1ExeState.html#a09f34aca79479221305769cae307feef">VarToAddrs</a> <a class="code" href="classSVF_1_1ExeState.html#a79866a547dc4805d3fefdfd528d2df2a">_locToAddrs</a>; </div>
164
+ <div class="line"><a name="l00097"></a><span class="lineno"> 97</span>&#160; </div>
165
+ <div class="line"><a name="l00098"></a><span class="lineno"> 98</span>&#160;<span class="keyword">public</span>:</div>
166
166
  <div class="line"><a name="l00099"></a><span class="lineno"> 99</span>&#160; </div>
167
- <div class="line"><a name="l00100"></a><span class="lineno"><a class="line" href="classSVF_1_1ExeState.html#a45be8c439528b7560024fa51f36a8ffb"> 100</a></span>&#160; <span class="keywordtype">bool</span> <a class="code" href="classSVF_1_1ExeState.html#a45be8c439528b7560024fa51f36a8ffb">equals</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1ExeState.html">ExeState</a> *other)<span class="keyword"> const</span></div>
168
- <div class="line"><a name="l00101"></a><span class="lineno"> 101</span>&#160;<span class="keyword"> </span>{</div>
169
- <div class="line"><a name="l00102"></a><span class="lineno"> 102</span>&#160; <span class="keywordflow">return</span> <span class="keyword">false</span>;</div>
170
- <div class="line"><a name="l00103"></a><span class="lineno"> 103</span>&#160; }</div>
171
- <div class="line"><a name="l00104"></a><span class="lineno"> 104</span>&#160; </div>
172
- <div class="line"><a name="l00106"></a><span class="lineno"> 106</span>&#160; <span class="keywordtype">bool</span> <a class="code" href="classSVF_1_1ExeState.html#a60464bebe5f257bbe1356eee149524c0">joinWith</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1ExeState.html">ExeState</a> &amp;other);</div>
173
- <div class="line"><a name="l00107"></a><span class="lineno"> 107</span>&#160; </div>
174
- <div class="line"><a name="l00109"></a><span class="lineno"> 109</span>&#160; <span class="keywordtype">bool</span> <a class="code" href="classSVF_1_1ExeState.html#a80bcce9b4303d651b27332c2fc0d3bdc">meetWith</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1ExeState.html">ExeState</a> &amp;other);</div>
175
- <div class="line"><a name="l00110"></a><span class="lineno"> 110</span>&#160; </div>
176
- <div class="line"><a name="l00111"></a><span class="lineno"> 111</span>&#160; <span class="keyword">virtual</span> <a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> <a class="code" href="classSVF_1_1ExeState.html#a2e63af0f29d04484c09cca217b799986">hash</a>() <span class="keyword">const</span>;</div>
177
- <div class="line"><a name="l00112"></a><span class="lineno"> 112</span>&#160; </div>
178
- <div class="line"><a name="l00114"></a><span class="lineno"><a class="line" href="classSVF_1_1ExeState.html#a06245a3061b7a52488d593b9faeddbe0"> 114</a></span>&#160; <span class="keyword">virtual</span> <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1ExeState.html#a06245a3061b7a52488d593b9faeddbe0">printExprValues</a>(std::ostream &amp;oss)<span class="keyword"> const </span>{}</div>
179
- <div class="line"><a name="l00115"></a><span class="lineno"> 115</span>&#160; </div>
180
- <div class="line"><a name="l00116"></a><span class="lineno"><a class="line" href="classSVF_1_1ExeState.html#af58dd98bbad68a7c72e16831be26c677"> 116</a></span>&#160; <span class="keyword">virtual</span> <a class="code" href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">std::string</a> <a class="code" href="classSVF_1_1ExeState.html#af58dd98bbad68a7c72e16831be26c677">toString</a>()<span class="keyword"> const</span></div>
181
- <div class="line"><a name="l00117"></a><span class="lineno"> 117</span>&#160;<span class="keyword"> </span>{</div>
182
- <div class="line"><a name="l00118"></a><span class="lineno"> 118</span>&#160; <span class="keywordflow">return</span> <span class="stringliteral">&quot;&quot;</span>;</div>
183
- <div class="line"><a name="l00119"></a><span class="lineno"> 119</span>&#160; }</div>
184
- <div class="line"><a name="l00120"></a><span class="lineno"> 120</span>&#160; </div>
185
- <div class="line"><a name="l00121"></a><span class="lineno"><a class="line" href="classSVF_1_1ExeState.html#ab7f7de02202838bb9e3da5410983cfb1"> 121</a></span>&#160; <span class="keyword">inline</span> <a class="code" href="classSVF_1_1ExeState.html#a259b93247e06141077b2c1ae15efcbb8">ExeState_TYPE</a> <a class="code" href="classSVF_1_1ExeState.html#ab7f7de02202838bb9e3da5410983cfb1">getExeStateKind</a>()<span class="keyword"> const</span></div>
186
- <div class="line"><a name="l00122"></a><span class="lineno"> 122</span>&#160;<span class="keyword"> </span>{</div>
187
- <div class="line"><a name="l00123"></a><span class="lineno"> 123</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1ExeState.html#a2545017305d54f6416ba48cb45e43cb8">_kind</a>;</div>
188
- <div class="line"><a name="l00124"></a><span class="lineno"> 124</span>&#160; }</div>
189
- <div class="line"><a name="l00125"></a><span class="lineno"> 125</span>&#160; </div>
190
- <div class="line"><a name="l00126"></a><span class="lineno"><a class="line" href="classSVF_1_1ExeState.html#aebbcf15653f00e07cb7a754d1e314d69"> 126</a></span>&#160; <span class="keyword">inline</span> <span class="keyword">virtual</span> <span class="keyword">const</span> <a class="code" href="classSVF_1_1ExeState.html#aab6dfbae3f5d743d5fff6bba3327f231">VarToVAddrs</a> &amp;<a class="code" href="classSVF_1_1ExeState.html#aebbcf15653f00e07cb7a754d1e314d69">getVarToVAddrs</a>()<span class="keyword"> const</span></div>
191
- <div class="line"><a name="l00127"></a><span class="lineno"> 127</span>&#160;<span class="keyword"> </span>{</div>
192
- <div class="line"><a name="l00128"></a><span class="lineno"> 128</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1ExeState.html#a69895af213955ea1ba29812bfddcea66">_varToVAddrs</a>;</div>
193
- <div class="line"><a name="l00129"></a><span class="lineno"> 129</span>&#160; }</div>
194
- <div class="line"><a name="l00130"></a><span class="lineno"> 130</span>&#160; </div>
195
- <div class="line"><a name="l00131"></a><span class="lineno"><a class="line" href="classSVF_1_1ExeState.html#afcb9e71dc8686d5c125d63596bd4f442"> 131</a></span>&#160; <span class="keyword">inline</span> <span class="keyword">virtual</span> <span class="keyword">const</span> <a class="code" href="classSVF_1_1ExeState.html#aab6dfbae3f5d743d5fff6bba3327f231">VarToVAddrs</a> &amp;<a class="code" href="classSVF_1_1ExeState.html#afcb9e71dc8686d5c125d63596bd4f442">getLocToVAddrs</a>()<span class="keyword"> const</span></div>
196
- <div class="line"><a name="l00132"></a><span class="lineno"> 132</span>&#160;<span class="keyword"> </span>{</div>
197
- <div class="line"><a name="l00133"></a><span class="lineno"> 133</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1ExeState.html#adb724bd1c3154368c629f4972c503d72">_locToVAddrs</a>;</div>
198
- <div class="line"><a name="l00134"></a><span class="lineno"> 134</span>&#160; }</div>
167
+ <div class="line"><a name="l00101"></a><span class="lineno"><a class="line" href="classSVF_1_1ExeState.html#a3b340ae2aad86f6125d24b42ec8901d0"> 101</a></span>&#160; <span class="keyword">virtual</span> <a class="code" href="classSVF_1_1AddressValue.html">Addrs</a> &amp;<a class="code" href="classSVF_1_1ExeState.html#a3b340ae2aad86f6125d24b42ec8901d0">getAddrs</a>(<a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> <span class="keywordtype">id</span>)</div>
168
+ <div class="line"><a name="l00102"></a><span class="lineno"> 102</span>&#160; {</div>
169
+ <div class="line"><a name="l00103"></a><span class="lineno"> 103</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1ExeState.html#ad317f2ae2e599a131a6fd9f415f5d712">_varToAddrs</a>[id];</div>
170
+ <div class="line"><a name="l00104"></a><span class="lineno"> 104</span>&#160; }</div>
171
+ <div class="line"><a name="l00105"></a><span class="lineno"> 105</span>&#160; </div>
172
+ <div class="line"><a name="l00107"></a><span class="lineno"><a class="line" href="classSVF_1_1ExeState.html#a6dfff6d4302faeb80c78a512f32b529f"> 107</a></span>&#160; <span class="keyword">inline</span> <span class="keyword">virtual</span> <span class="keywordtype">bool</span> <a class="code" href="classSVF_1_1ExeState.html#a6dfff6d4302faeb80c78a512f32b529f">inVarToAddrsTable</a>(<a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> <span class="keywordtype">id</span>)<span class="keyword"> const</span></div>
173
+ <div class="line"><a name="l00108"></a><span class="lineno"> 108</span>&#160;<span class="keyword"> </span>{</div>
174
+ <div class="line"><a name="l00109"></a><span class="lineno"> 109</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1ExeState.html#ad317f2ae2e599a131a6fd9f415f5d712">_varToAddrs</a>.find(<span class="keywordtype">id</span>) != <a class="code" href="classSVF_1_1ExeState.html#ad317f2ae2e599a131a6fd9f415f5d712">_varToAddrs</a>.end();</div>
175
+ <div class="line"><a name="l00110"></a><span class="lineno"> 110</span>&#160; }</div>
176
+ <div class="line"><a name="l00111"></a><span class="lineno"> 111</span>&#160; </div>
177
+ <div class="line"><a name="l00113"></a><span class="lineno"><a class="line" href="classSVF_1_1ExeState.html#a54168f48a6c1fe983d20efce06a35710"> 113</a></span>&#160; <span class="keyword">inline</span> <span class="keyword">virtual</span> <span class="keywordtype">bool</span> <a class="code" href="classSVF_1_1ExeState.html#a54168f48a6c1fe983d20efce06a35710">inLocToAddrsTable</a>(<a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> <span class="keywordtype">id</span>)<span class="keyword"> const</span></div>
178
+ <div class="line"><a name="l00114"></a><span class="lineno"> 114</span>&#160;<span class="keyword"> </span>{</div>
179
+ <div class="line"><a name="l00115"></a><span class="lineno"> 115</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1ExeState.html#a79866a547dc4805d3fefdfd528d2df2a">_locToAddrs</a>.find(<span class="keywordtype">id</span>) != <a class="code" href="classSVF_1_1ExeState.html#a79866a547dc4805d3fefdfd528d2df2a">_locToAddrs</a>.end();</div>
180
+ <div class="line"><a name="l00116"></a><span class="lineno"> 116</span>&#160; }</div>
181
+ <div class="line"><a name="l00117"></a><span class="lineno"> 117</span>&#160; </div>
182
+ <div class="line"><a name="l00118"></a><span class="lineno"> 118</span>&#160; </div>
183
+ <div class="line"><a name="l00119"></a><span class="lineno"><a class="line" href="classSVF_1_1ExeState.html#a0710c9cc1a3c40c95cd362d49bea459b"> 119</a></span>&#160; <span class="keyword">inline</span> <span class="keyword">virtual</span> <span class="keyword">const</span> <a class="code" href="classSVF_1_1ExeState.html#a09f34aca79479221305769cae307feef">VarToAddrs</a> &amp;<a class="code" href="classSVF_1_1ExeState.html#a0710c9cc1a3c40c95cd362d49bea459b">getVarToAddrs</a>()<span class="keyword"> const</span></div>
184
+ <div class="line"><a name="l00120"></a><span class="lineno"> 120</span>&#160;<span class="keyword"> </span>{</div>
185
+ <div class="line"><a name="l00121"></a><span class="lineno"> 121</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1ExeState.html#ad317f2ae2e599a131a6fd9f415f5d712">_varToAddrs</a>;</div>
186
+ <div class="line"><a name="l00122"></a><span class="lineno"> 122</span>&#160; }</div>
187
+ <div class="line"><a name="l00123"></a><span class="lineno"> 123</span>&#160; </div>
188
+ <div class="line"><a name="l00124"></a><span class="lineno"><a class="line" href="classSVF_1_1ExeState.html#aa7b897b107d722909f9de9dcbabad7cf"> 124</a></span>&#160; <span class="keyword">inline</span> <span class="keyword">virtual</span> <span class="keyword">const</span> <a class="code" href="classSVF_1_1ExeState.html#a09f34aca79479221305769cae307feef">VarToAddrs</a> &amp;<a class="code" href="classSVF_1_1ExeState.html#aa7b897b107d722909f9de9dcbabad7cf">getLocToAddrs</a>()<span class="keyword"> const</span></div>
189
+ <div class="line"><a name="l00125"></a><span class="lineno"> 125</span>&#160;<span class="keyword"> </span>{</div>
190
+ <div class="line"><a name="l00126"></a><span class="lineno"> 126</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1ExeState.html#a79866a547dc4805d3fefdfd528d2df2a">_locToAddrs</a>;</div>
191
+ <div class="line"><a name="l00127"></a><span class="lineno"> 127</span>&#160; }</div>
192
+ <div class="line"><a name="l00128"></a><span class="lineno"> 128</span>&#160; </div>
193
+ <div class="line"><a name="l00129"></a><span class="lineno"> 129</span>&#160;<span class="keyword">public</span>:</div>
194
+ <div class="line"><a name="l00131"></a><span class="lineno"> 131</span>&#160; <span class="keywordtype">bool</span> <a class="code" href="classSVF_1_1ExeState.html#a60464bebe5f257bbe1356eee149524c0">joinWith</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1ExeState.html">ExeState</a> &amp;other);</div>
195
+ <div class="line"><a name="l00132"></a><span class="lineno"> 132</span>&#160; </div>
196
+ <div class="line"><a name="l00134"></a><span class="lineno"> 134</span>&#160; <span class="keywordtype">bool</span> <a class="code" href="classSVF_1_1ExeState.html#a80bcce9b4303d651b27332c2fc0d3bdc">meetWith</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1ExeState.html">ExeState</a> &amp;other);</div>
199
197
  <div class="line"><a name="l00135"></a><span class="lineno"> 135</span>&#160; </div>
200
- <div class="line"><a name="l00136"></a><span class="lineno"><a class="line" href="classSVF_1_1ExeState.html#a6dfff6d4302faeb80c78a512f32b529f"> 136</a></span>&#160; <span class="keyword">inline</span> <span class="keyword">virtual</span> <span class="keywordtype">bool</span> <a class="code" href="classSVF_1_1ExeState.html#a6dfff6d4302faeb80c78a512f32b529f">inVarToAddrsTable</a>(<a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> <span class="keywordtype">id</span>)<span class="keyword"> const</span></div>
201
- <div class="line"><a name="l00137"></a><span class="lineno"> 137</span>&#160;<span class="keyword"> </span>{</div>
202
- <div class="line"><a name="l00138"></a><span class="lineno"> 138</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1ExeState.html#a69895af213955ea1ba29812bfddcea66">_varToVAddrs</a>.find(<span class="keywordtype">id</span>) != <a class="code" href="classSVF_1_1ExeState.html#a69895af213955ea1ba29812bfddcea66">_varToVAddrs</a>.end();</div>
203
- <div class="line"><a name="l00139"></a><span class="lineno"> 139</span>&#160; }</div>
198
+ <div class="line"><a name="l00136"></a><span class="lineno"> 136</span>&#160; <span class="keyword">virtual</span> <a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> <a class="code" href="classSVF_1_1ExeState.html#a2e63af0f29d04484c09cca217b799986">hash</a>() <span class="keyword">const</span>;</div>
199
+ <div class="line"><a name="l00137"></a><span class="lineno"> 137</span>&#160; </div>
200
+ <div class="line"><a name="l00139"></a><span class="lineno"><a class="line" href="classSVF_1_1ExeState.html#a06245a3061b7a52488d593b9faeddbe0"> 139</a></span>&#160; <span class="keyword">virtual</span> <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1ExeState.html#a06245a3061b7a52488d593b9faeddbe0">printExprValues</a>(std::ostream &amp;oss)<span class="keyword"> const </span>{}</div>
204
201
  <div class="line"><a name="l00140"></a><span class="lineno"> 140</span>&#160; </div>
205
- <div class="line"><a name="l00141"></a><span class="lineno"><a class="line" href="classSVF_1_1ExeState.html#a54168f48a6c1fe983d20efce06a35710"> 141</a></span>&#160; <span class="keyword">inline</span> <span class="keyword">virtual</span> <span class="keywordtype">bool</span> <a class="code" href="classSVF_1_1ExeState.html#a54168f48a6c1fe983d20efce06a35710">inLocToAddrsTable</a>(<a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> <span class="keywordtype">id</span>)<span class="keyword"> const</span></div>
202
+ <div class="line"><a name="l00141"></a><span class="lineno"><a class="line" href="classSVF_1_1ExeState.html#af58dd98bbad68a7c72e16831be26c677"> 141</a></span>&#160; <span class="keyword">virtual</span> <a class="code" href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">std::string</a> <a class="code" href="classSVF_1_1ExeState.html#af58dd98bbad68a7c72e16831be26c677">toString</a>()<span class="keyword"> const</span></div>
206
203
  <div class="line"><a name="l00142"></a><span class="lineno"> 142</span>&#160;<span class="keyword"> </span>{</div>
207
- <div class="line"><a name="l00143"></a><span class="lineno"> 143</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1ExeState.html#adb724bd1c3154368c629f4972c503d72">_locToVAddrs</a>.find(<span class="keywordtype">id</span>) != <a class="code" href="classSVF_1_1ExeState.html#adb724bd1c3154368c629f4972c503d72">_locToVAddrs</a>.end();</div>
204
+ <div class="line"><a name="l00143"></a><span class="lineno"> 143</span>&#160; <span class="keywordflow">return</span> <span class="stringliteral">&quot;&quot;</span>;</div>
208
205
  <div class="line"><a name="l00144"></a><span class="lineno"> 144</span>&#160; }</div>
209
206
  <div class="line"><a name="l00145"></a><span class="lineno"> 145</span>&#160; </div>
210
- <div class="line"><a name="l00146"></a><span class="lineno"><a class="line" href="classSVF_1_1ExeState.html#a789f023e4b5938324993b37021265f53"> 146</a></span>&#160; <span class="keyword">virtual</span> <a class="code" href="classSVF_1_1AddressValue.html">VAddrs</a> &amp;<a class="code" href="classSVF_1_1ExeState.html#a789f023e4b5938324993b37021265f53">getVAddrs</a>(<a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> <span class="keywordtype">id</span>)</div>
211
- <div class="line"><a name="l00147"></a><span class="lineno"> 147</span>&#160; {</div>
212
- <div class="line"><a name="l00148"></a><span class="lineno"> 148</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1ExeState.html#a69895af213955ea1ba29812bfddcea66">_varToVAddrs</a>[id];</div>
207
+ <div class="line"><a name="l00146"></a><span class="lineno"><a class="line" href="classSVF_1_1ExeState.html#ab7f7de02202838bb9e3da5410983cfb1"> 146</a></span>&#160; <span class="keyword">inline</span> <a class="code" href="classSVF_1_1ExeState.html#a259b93247e06141077b2c1ae15efcbb8">ExeState_TYPE</a> <a class="code" href="classSVF_1_1ExeState.html#ab7f7de02202838bb9e3da5410983cfb1">getExeStateKind</a>()<span class="keyword"> const</span></div>
208
+ <div class="line"><a name="l00147"></a><span class="lineno"> 147</span>&#160;<span class="keyword"> </span>{</div>
209
+ <div class="line"><a name="l00148"></a><span class="lineno"> 148</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1ExeState.html#a2545017305d54f6416ba48cb45e43cb8">_kind</a>;</div>
213
210
  <div class="line"><a name="l00149"></a><span class="lineno"> 149</span>&#160; }</div>
214
211
  <div class="line"><a name="l00150"></a><span class="lineno"> 150</span>&#160; </div>
215
- <div class="line"><a name="l00151"></a><span class="lineno"><a class="line" href="classSVF_1_1ExeState.html#aad0556739ce5b173054c81cbbfff4b72"> 151</a></span>&#160; <span class="keyword">inline</span> <span class="keyword">virtual</span> <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1ExeState.html#aad0556739ce5b173054c81cbbfff4b72">storeVAddrs</a>(<a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> addr, <span class="keyword">const</span> <a class="code" href="classSVF_1_1AddressValue.html">VAddrs</a> &amp;vaddrs)</div>
216
- <div class="line"><a name="l00152"></a><span class="lineno"> 152</span>&#160; {</div>
217
- <div class="line"><a name="l00153"></a><span class="lineno"> 153</span>&#160; assert(<a class="code" href="classSVF_1_1ExeState.html#abfaad70395d9f4416f297887c84f7df4">isVirtualMemAddress</a>(addr) &amp;&amp; <span class="stringliteral">&quot;not virtual address?&quot;</span>);</div>
218
- <div class="line"><a name="l00154"></a><span class="lineno"> 154</span>&#160; <span class="keywordflow">if</span>(<a class="code" href="classSVF_1_1ExeState.html#a8edd5f30ab971ce893ffdb39d8b6a265">isNullPtr</a>(addr)) <span class="keywordflow">return</span>;</div>
219
- <div class="line"><a name="l00155"></a><span class="lineno"> 155</span>&#160; <a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> objId = <a class="code" href="classSVF_1_1ExeState.html#ab72f3bc855feeda75e11768ab03ad84e">getInternalID</a>(addr);</div>
220
- <div class="line"><a name="l00156"></a><span class="lineno"> 156</span>&#160; <a class="code" href="classSVF_1_1ExeState.html#adb724bd1c3154368c629f4972c503d72">_locToVAddrs</a>[objId] = vaddrs;</div>
221
- <div class="line"><a name="l00157"></a><span class="lineno"> 157</span>&#160; }</div>
222
- <div class="line"><a name="l00158"></a><span class="lineno"> 158</span>&#160; </div>
223
- <div class="line"><a name="l00159"></a><span class="lineno"><a class="line" href="classSVF_1_1ExeState.html#a3c1ea75e3a97aa18d4d10a85c1829d83"> 159</a></span>&#160; <span class="keyword">inline</span> <span class="keyword">virtual</span> <a class="code" href="classSVF_1_1AddressValue.html">VAddrs</a> &amp;<a class="code" href="classSVF_1_1ExeState.html#a3c1ea75e3a97aa18d4d10a85c1829d83">loadVAddrs</a>(<a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> addr)</div>
224
- <div class="line"><a name="l00160"></a><span class="lineno"> 160</span>&#160; {</div>
225
- <div class="line"><a name="l00161"></a><span class="lineno"> 161</span>&#160; assert(<a class="code" href="classSVF_1_1ExeState.html#abfaad70395d9f4416f297887c84f7df4">isVirtualMemAddress</a>(addr) &amp;&amp; <span class="stringliteral">&quot;not virtual address?&quot;</span>);</div>
226
- <div class="line"><a name="l00162"></a><span class="lineno"> 162</span>&#160; <a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> objId = <a class="code" href="classSVF_1_1ExeState.html#ab72f3bc855feeda75e11768ab03ad84e">getInternalID</a>(addr);</div>
227
- <div class="line"><a name="l00163"></a><span class="lineno"> 163</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1ExeState.html#adb724bd1c3154368c629f4972c503d72">_locToVAddrs</a>[objId];</div>
228
- <div class="line"><a name="l00164"></a><span class="lineno"> 164</span>&#160; }</div>
229
- <div class="line"><a name="l00165"></a><span class="lineno"> 165</span>&#160; </div>
230
- <div class="line"><a name="l00166"></a><span class="lineno"><a class="line" href="classSVF_1_1ExeState.html#a8edd5f30ab971ce893ffdb39d8b6a265"> 166</a></span>&#160; <span class="keyword">inline</span> <span class="keywordtype">bool</span> <a class="code" href="classSVF_1_1ExeState.html#a8edd5f30ab971ce893ffdb39d8b6a265">isNullPtr</a>(<a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> addr)</div>
231
- <div class="line"><a name="l00167"></a><span class="lineno"> 167</span>&#160; {</div>
232
- <div class="line"><a name="l00168"></a><span class="lineno"> 168</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1ExeState.html#ab72f3bc855feeda75e11768ab03ad84e">getInternalID</a>(addr) == 0;</div>
233
- <div class="line"><a name="l00169"></a><span class="lineno"> 169</span>&#160; }</div>
234
- <div class="line"><a name="l00170"></a><span class="lineno"> 170</span>&#160; </div>
235
- <div class="line"><a name="l00171"></a><span class="lineno"> 171</span>&#160;<span class="keyword">protected</span>:</div>
236
- <div class="line"><a name="l00172"></a><span class="lineno"><a class="line" href="classSVF_1_1ExeState.html#a69895af213955ea1ba29812bfddcea66"> 172</a></span>&#160; <a class="code" href="classSVF_1_1ExeState.html#aab6dfbae3f5d743d5fff6bba3327f231">VarToVAddrs</a> <a class="code" href="classSVF_1_1ExeState.html#a69895af213955ea1ba29812bfddcea66">_varToVAddrs</a>{{0, <a class="code" href="classSVF_1_1ExeState.html#a2f01e583abcdeb236a11e85c7a8aafdc">getVirtualMemAddress</a>(0)}};</div>
237
- <div class="line"><a name="l00173"></a><span class="lineno"><a class="line" href="classSVF_1_1ExeState.html#adb724bd1c3154368c629f4972c503d72"> 173</a></span>&#160; <a class="code" href="classSVF_1_1ExeState.html#aab6dfbae3f5d743d5fff6bba3327f231">VarToVAddrs</a> <a class="code" href="classSVF_1_1ExeState.html#adb724bd1c3154368c629f4972c503d72">_locToVAddrs</a>;</div>
238
- <div class="line"><a name="l00174"></a><span class="lineno"> 174</span>&#160; </div>
239
- <div class="line"><a name="l00175"></a><span class="lineno"> 175</span>&#160;<span class="keyword">protected</span>:</div>
240
- <div class="line"><a name="l00176"></a><span class="lineno"> 176</span>&#160; </div>
241
- <div class="line"><a name="l00177"></a><span class="lineno"><a class="line" href="classSVF_1_1ExeState.html#ab809f545610434737c048dd005f9cd25"> 177</a></span>&#160; <span class="keyword">static</span> <span class="keywordtype">bool</span> <a class="code" href="classSVF_1_1ExeState.html#ab809f545610434737c048dd005f9cd25">eqVarToVAddrs</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1ExeState.html#aab6dfbae3f5d743d5fff6bba3327f231">VarToVAddrs</a> &amp;lhs, <span class="keyword">const</span> <a class="code" href="classSVF_1_1ExeState.html#aab6dfbae3f5d743d5fff6bba3327f231">VarToVAddrs</a> &amp;rhs)</div>
242
- <div class="line"><a name="l00178"></a><span class="lineno"> 178</span>&#160; {</div>
243
- <div class="line"><a name="l00179"></a><span class="lineno"> 179</span>&#160; <span class="keywordflow">if</span> (lhs.size() != rhs.size()) <span class="keywordflow">return</span> <span class="keyword">false</span>;</div>
244
- <div class="line"><a name="l00180"></a><span class="lineno"> 180</span>&#160; <span class="keywordflow">for</span> (<span class="keyword">const</span> <span class="keyword">auto</span> &amp;<a class="code" href="cJSON_8h.html#ac76cea59d438ba893d2f82aabb367d14">item</a>: lhs)</div>
245
- <div class="line"><a name="l00181"></a><span class="lineno"> 181</span>&#160; {</div>
246
- <div class="line"><a name="l00182"></a><span class="lineno"> 182</span>&#160; <span class="keyword">auto</span> it = rhs.find(<a class="code" href="cJSON_8h.html#ac76cea59d438ba893d2f82aabb367d14">item</a>.first);</div>
247
- <div class="line"><a name="l00183"></a><span class="lineno"> 183</span>&#160; <span class="keywordflow">if</span> (it == rhs.end())</div>
248
- <div class="line"><a name="l00184"></a><span class="lineno"> 184</span>&#160; <span class="keywordflow">return</span> <span class="keyword">false</span>;</div>
249
- <div class="line"><a name="l00185"></a><span class="lineno"> 185</span>&#160; <span class="keywordflow">if</span> (<a class="code" href="cJSON_8h.html#ac76cea59d438ba893d2f82aabb367d14">item</a>.second != it-&gt;second)</div>
250
- <div class="line"><a name="l00186"></a><span class="lineno"> 186</span>&#160; {</div>
251
- <div class="line"><a name="l00187"></a><span class="lineno"> 187</span>&#160; <span class="keywordflow">return</span> <span class="keyword">false</span>;</div>
252
- <div class="line"><a name="l00188"></a><span class="lineno"> 188</span>&#160; }</div>
253
- <div class="line"><a name="l00189"></a><span class="lineno"> 189</span>&#160; }</div>
254
- <div class="line"><a name="l00190"></a><span class="lineno"> 190</span>&#160; <span class="keywordflow">return</span> <span class="keyword">true</span>;</div>
255
- <div class="line"><a name="l00191"></a><span class="lineno"> 191</span>&#160; }</div>
256
- <div class="line"><a name="l00192"></a><span class="lineno"> 192</span>&#160; </div>
257
- <div class="line"><a name="l00193"></a><span class="lineno"> 193</span>&#160;<span class="keyword">public</span>:</div>
258
- <div class="line"><a name="l00194"></a><span class="lineno"> 194</span>&#160; </div>
259
- <div class="line"><a name="l00195"></a><span class="lineno"><a class="line" href="classSVF_1_1ExeState.html#aa01e978f41f4134257b380994e3b8409"> 195</a></span>&#160; <span class="keyword">virtual</span> <a class="code" href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">std::string</a> <a class="code" href="classSVF_1_1ExeState.html#aa01e978f41f4134257b380994e3b8409">varToAddrs</a>(<a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> varId)<span class="keyword"> const</span></div>
260
- <div class="line"><a name="l00196"></a><span class="lineno"> 196</span>&#160;<span class="keyword"> </span>{</div>
261
- <div class="line"><a name="l00197"></a><span class="lineno"> 197</span>&#160; std::stringstream exprName;</div>
262
- <div class="line"><a name="l00198"></a><span class="lineno"> 198</span>&#160; <span class="keyword">auto</span> it = <a class="code" href="classSVF_1_1ExeState.html#a69895af213955ea1ba29812bfddcea66">_varToVAddrs</a>.find(varId);</div>
263
- <div class="line"><a name="l00199"></a><span class="lineno"> 199</span>&#160; <span class="keywordflow">if</span> (it == <a class="code" href="classSVF_1_1ExeState.html#a69895af213955ea1ba29812bfddcea66">_varToVAddrs</a>.end())</div>
264
- <div class="line"><a name="l00200"></a><span class="lineno"> 200</span>&#160; {</div>
265
- <div class="line"><a name="l00201"></a><span class="lineno"> 201</span>&#160; exprName &lt;&lt; <span class="stringliteral">&quot;Var not in varToAddrs!\n&quot;</span>;</div>
212
+ <div class="line"><a name="l00151"></a><span class="lineno"> 151</span>&#160; </div>
213
+ <div class="line"><a name="l00152"></a><span class="lineno"> 152</span>&#160; </div>
214
+ <div class="line"><a name="l00153"></a><span class="lineno"> 153</span>&#160;<span class="keyword">public</span>:</div>
215
+ <div class="line"><a name="l00154"></a><span class="lineno"><a class="line" href="classSVF_1_1ExeState.html#a99f4437a7e350fec131d48f52082d672"> 154</a></span>&#160; <span class="keyword">inline</span> <span class="keyword">virtual</span> <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1ExeState.html#a99f4437a7e350fec131d48f52082d672">storeAddrs</a>(<a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> addr, <span class="keyword">const</span> <a class="code" href="classSVF_1_1AddressValue.html">Addrs</a> &amp;vaddrs)</div>
216
+ <div class="line"><a name="l00155"></a><span class="lineno"> 155</span>&#160; {</div>
217
+ <div class="line"><a name="l00156"></a><span class="lineno"> 156</span>&#160; assert(<a class="code" href="classSVF_1_1ExeState.html#abfaad70395d9f4416f297887c84f7df4">isVirtualMemAddress</a>(addr) &amp;&amp; <span class="stringliteral">&quot;not virtual address?&quot;</span>);</div>
218
+ <div class="line"><a name="l00157"></a><span class="lineno"> 157</span>&#160; <span class="keywordflow">if</span>(<a class="code" href="classSVF_1_1ExeState.html#a8edd5f30ab971ce893ffdb39d8b6a265">isNullPtr</a>(addr)) <span class="keywordflow">return</span>;</div>
219
+ <div class="line"><a name="l00158"></a><span class="lineno"> 158</span>&#160; <a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> objId = <a class="code" href="classSVF_1_1ExeState.html#ab72f3bc855feeda75e11768ab03ad84e">getInternalID</a>(addr);</div>
220
+ <div class="line"><a name="l00159"></a><span class="lineno"> 159</span>&#160; <a class="code" href="classSVF_1_1ExeState.html#a79866a547dc4805d3fefdfd528d2df2a">_locToAddrs</a>[objId] = vaddrs;</div>
221
+ <div class="line"><a name="l00160"></a><span class="lineno"> 160</span>&#160; }</div>
222
+ <div class="line"><a name="l00161"></a><span class="lineno"> 161</span>&#160; </div>
223
+ <div class="line"><a name="l00162"></a><span class="lineno"><a class="line" href="classSVF_1_1ExeState.html#a9e0fd700bea1ac741d96b4f52fd4756f"> 162</a></span>&#160; <span class="keyword">inline</span> <span class="keyword">virtual</span> <a class="code" href="classSVF_1_1AddressValue.html">Addrs</a> &amp;<a class="code" href="classSVF_1_1ExeState.html#a9e0fd700bea1ac741d96b4f52fd4756f">loadAddrs</a>(<a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> addr)</div>
224
+ <div class="line"><a name="l00163"></a><span class="lineno"> 163</span>&#160; {</div>
225
+ <div class="line"><a name="l00164"></a><span class="lineno"> 164</span>&#160; assert(<a class="code" href="classSVF_1_1ExeState.html#abfaad70395d9f4416f297887c84f7df4">isVirtualMemAddress</a>(addr) &amp;&amp; <span class="stringliteral">&quot;not virtual address?&quot;</span>);</div>
226
+ <div class="line"><a name="l00165"></a><span class="lineno"> 165</span>&#160; <a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> objId = <a class="code" href="classSVF_1_1ExeState.html#ab72f3bc855feeda75e11768ab03ad84e">getInternalID</a>(addr);</div>
227
+ <div class="line"><a name="l00166"></a><span class="lineno"> 166</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1ExeState.html#a79866a547dc4805d3fefdfd528d2df2a">_locToAddrs</a>[objId];</div>
228
+ <div class="line"><a name="l00167"></a><span class="lineno"> 167</span>&#160; }</div>
229
+ <div class="line"><a name="l00168"></a><span class="lineno"> 168</span>&#160; </div>
230
+ <div class="line"><a name="l00169"></a><span class="lineno"><a class="line" href="classSVF_1_1ExeState.html#a8edd5f30ab971ce893ffdb39d8b6a265"> 169</a></span>&#160; <span class="keyword">inline</span> <span class="keywordtype">bool</span> <a class="code" href="classSVF_1_1ExeState.html#a8edd5f30ab971ce893ffdb39d8b6a265">isNullPtr</a>(<a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> addr)</div>
231
+ <div class="line"><a name="l00170"></a><span class="lineno"> 170</span>&#160; {</div>
232
+ <div class="line"><a name="l00171"></a><span class="lineno"> 171</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1ExeState.html#ab72f3bc855feeda75e11768ab03ad84e">getInternalID</a>(addr) == 0;</div>
233
+ <div class="line"><a name="l00172"></a><span class="lineno"> 172</span>&#160; }</div>
234
+ <div class="line"><a name="l00173"></a><span class="lineno"> 173</span>&#160; </div>
235
+ <div class="line"><a name="l00174"></a><span class="lineno"> 174</span>&#160;<span class="keyword">public</span>:</div>
236
+ <div class="line"><a name="l00175"></a><span class="lineno"> 175</span>&#160; </div>
237
+ <div class="line"><a name="l00176"></a><span class="lineno"> 176</span>&#160; <span class="keyword">virtual</span> <span class="keywordtype">bool</span> <a class="code" href="classSVF_1_1ExeState.html#a0e4c8a41aa861ff2862d8b620c902f21">operator==</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1ExeState.html">ExeState</a> &amp;rhs) <span class="keyword">const</span>;</div>
238
+ <div class="line"><a name="l00177"></a><span class="lineno"> 177</span>&#160; </div>
239
+ <div class="line"><a name="l00178"></a><span class="lineno"><a class="line" href="classSVF_1_1ExeState.html#ab828094e1026046814c1e3d44d3f084c"> 178</a></span>&#160; <span class="keyword">inline</span> <span class="keyword">virtual</span> <span class="keywordtype">bool</span> <a class="code" href="classSVF_1_1ExeState.html#ab828094e1026046814c1e3d44d3f084c">operator!=</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1ExeState.html">ExeState</a> &amp;rhs)<span class="keyword"> const</span></div>
240
+ <div class="line"><a name="l00179"></a><span class="lineno"> 179</span>&#160;<span class="keyword"> </span>{</div>
241
+ <div class="line"><a name="l00180"></a><span class="lineno"> 180</span>&#160; <span class="keywordflow">return</span> !(*<span class="keyword">this</span> == rhs);</div>
242
+ <div class="line"><a name="l00181"></a><span class="lineno"> 181</span>&#160; }</div>
243
+ <div class="line"><a name="l00182"></a><span class="lineno"> 182</span>&#160; </div>
244
+ <div class="line"><a name="l00183"></a><span class="lineno"><a class="line" href="classSVF_1_1ExeState.html#a45be8c439528b7560024fa51f36a8ffb"> 183</a></span>&#160; <span class="keywordtype">bool</span> <a class="code" href="classSVF_1_1ExeState.html#a45be8c439528b7560024fa51f36a8ffb">equals</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1ExeState.html">ExeState</a> *other)<span class="keyword"> const</span></div>
245
+ <div class="line"><a name="l00184"></a><span class="lineno"> 184</span>&#160;<span class="keyword"> </span>{</div>
246
+ <div class="line"><a name="l00185"></a><span class="lineno"> 185</span>&#160; <span class="keywordflow">return</span> <span class="keyword">false</span>;</div>
247
+ <div class="line"><a name="l00186"></a><span class="lineno"> 186</span>&#160; }</div>
248
+ <div class="line"><a name="l00187"></a><span class="lineno"> 187</span>&#160; </div>
249
+ <div class="line"><a name="l00188"></a><span class="lineno"> 188</span>&#160;<span class="keyword">protected</span>:</div>
250
+ <div class="line"><a name="l00189"></a><span class="lineno"> 189</span>&#160; </div>
251
+ <div class="line"><a name="l00190"></a><span class="lineno"><a class="line" href="classSVF_1_1ExeState.html#a0a24ad3ced48b6755b7fc917d0f0fbb9"> 190</a></span>&#160; <span class="keyword">static</span> <span class="keywordtype">bool</span> <a class="code" href="classSVF_1_1ExeState.html#a0a24ad3ced48b6755b7fc917d0f0fbb9">eqVarToAddrs</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1ExeState.html#a09f34aca79479221305769cae307feef">VarToAddrs</a> &amp;lhs, <span class="keyword">const</span> <a class="code" href="classSVF_1_1ExeState.html#a09f34aca79479221305769cae307feef">VarToAddrs</a> &amp;rhs)</div>
252
+ <div class="line"><a name="l00191"></a><span class="lineno"> 191</span>&#160; {</div>
253
+ <div class="line"><a name="l00192"></a><span class="lineno"> 192</span>&#160; <span class="keywordflow">if</span> (lhs.size() != rhs.size()) <span class="keywordflow">return</span> <span class="keyword">false</span>;</div>
254
+ <div class="line"><a name="l00193"></a><span class="lineno"> 193</span>&#160; <span class="keywordflow">for</span> (<span class="keyword">const</span> <span class="keyword">auto</span> &amp;<a class="code" href="cJSON_8h.html#ac76cea59d438ba893d2f82aabb367d14">item</a>: lhs)</div>
255
+ <div class="line"><a name="l00194"></a><span class="lineno"> 194</span>&#160; {</div>
256
+ <div class="line"><a name="l00195"></a><span class="lineno"> 195</span>&#160; <span class="keyword">auto</span> it = rhs.find(<a class="code" href="cJSON_8h.html#ac76cea59d438ba893d2f82aabb367d14">item</a>.first);</div>
257
+ <div class="line"><a name="l00196"></a><span class="lineno"> 196</span>&#160; <span class="keywordflow">if</span> (it == rhs.end())</div>
258
+ <div class="line"><a name="l00197"></a><span class="lineno"> 197</span>&#160; <span class="keywordflow">return</span> <span class="keyword">false</span>;</div>
259
+ <div class="line"><a name="l00198"></a><span class="lineno"> 198</span>&#160; <span class="keywordflow">if</span> (<a class="code" href="cJSON_8h.html#ac76cea59d438ba893d2f82aabb367d14">item</a>.second != it-&gt;second)</div>
260
+ <div class="line"><a name="l00199"></a><span class="lineno"> 199</span>&#160; {</div>
261
+ <div class="line"><a name="l00200"></a><span class="lineno"> 200</span>&#160; <span class="keywordflow">return</span> <span class="keyword">false</span>;</div>
262
+ <div class="line"><a name="l00201"></a><span class="lineno"> 201</span>&#160; }</div>
266
263
  <div class="line"><a name="l00202"></a><span class="lineno"> 202</span>&#160; }</div>
267
- <div class="line"><a name="l00203"></a><span class="lineno"> 203</span>&#160; <span class="keywordflow">else</span></div>
268
- <div class="line"><a name="l00204"></a><span class="lineno"> 204</span>&#160; {</div>
269
- <div class="line"><a name="l00205"></a><span class="lineno"> 205</span>&#160; <span class="keyword">const</span> <a class="code" href="classSVF_1_1AddressValue.html">VAddrs</a> &amp;vaddrs = it-&gt;second;</div>
270
- <div class="line"><a name="l00206"></a><span class="lineno"> 206</span>&#160; <span class="keywordflow">if</span> (vaddrs.<a class="code" href="classSVF_1_1AddressValue.html#ae93859318bf4f618b4cf681988a870ce">size</a>() == 1)</div>
271
- <div class="line"><a name="l00207"></a><span class="lineno"> 207</span>&#160; {</div>
272
- <div class="line"><a name="l00208"></a><span class="lineno"> 208</span>&#160; exprName &lt;&lt; <span class="stringliteral">&quot;addr: {&quot;</span> &lt;&lt; std::dec &lt;&lt; <a class="code" href="classSVF_1_1ExeState.html#ab72f3bc855feeda75e11768ab03ad84e">getInternalID</a>(*vaddrs.<a class="code" href="classSVF_1_1AddressValue.html#aed0b4789beda4980e4e215a65350f323">begin</a>()) &lt;&lt; <span class="stringliteral">&quot;}\n&quot;</span>;</div>
273
- <div class="line"><a name="l00209"></a><span class="lineno"> 209</span>&#160; }</div>
274
- <div class="line"><a name="l00210"></a><span class="lineno"> 210</span>&#160; <span class="keywordflow">else</span></div>
275
- <div class="line"><a name="l00211"></a><span class="lineno"> 211</span>&#160; {</div>
276
- <div class="line"><a name="l00212"></a><span class="lineno"> 212</span>&#160; exprName &lt;&lt; <span class="stringliteral">&quot;addr: {&quot;</span>;</div>
277
- <div class="line"><a name="l00213"></a><span class="lineno"> 213</span>&#160; <span class="keywordflow">for</span> (<span class="keyword">const</span> <span class="keyword">auto</span> &amp;addr: vaddrs)</div>
278
- <div class="line"><a name="l00214"></a><span class="lineno"> 214</span>&#160; {</div>
279
- <div class="line"><a name="l00215"></a><span class="lineno"> 215</span>&#160; exprName &lt;&lt; std::dec &lt;&lt; <a class="code" href="classSVF_1_1ExeState.html#ab72f3bc855feeda75e11768ab03ad84e">getInternalID</a>(addr) &lt;&lt; <span class="stringliteral">&quot;, &quot;</span>;</div>
280
- <div class="line"><a name="l00216"></a><span class="lineno"> 216</span>&#160; }</div>
281
- <div class="line"><a name="l00217"></a><span class="lineno"> 217</span>&#160; exprName &lt;&lt; <span class="stringliteral">&quot;}\n&quot;</span>;</div>
282
- <div class="line"><a name="l00218"></a><span class="lineno"> 218</span>&#160; }</div>
283
- <div class="line"><a name="l00219"></a><span class="lineno"> 219</span>&#160; }</div>
284
- <div class="line"><a name="l00220"></a><span class="lineno"> 220</span>&#160; <span class="keywordflow">return</span> <a class="code" href="namespaceSVF_1_1SVFUtil.html#a72502f7f536418621485e90ab98c2016">SVFUtil::move</a>(exprName.str());</div>
285
- <div class="line"><a name="l00221"></a><span class="lineno"> 221</span>&#160; }</div>
286
- <div class="line"><a name="l00222"></a><span class="lineno"> 222</span>&#160; </div>
287
- <div class="line"><a name="l00223"></a><span class="lineno"><a class="line" href="classSVF_1_1ExeState.html#ad2f921623e41209c6702534c98431403"> 223</a></span>&#160; <span class="keyword">virtual</span> <a class="code" href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">std::string</a> <a class="code" href="classSVF_1_1ExeState.html#ad2f921623e41209c6702534c98431403">locToAddrs</a>(<a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> objId)<span class="keyword"> const</span></div>
288
- <div class="line"><a name="l00224"></a><span class="lineno"> 224</span>&#160;<span class="keyword"> </span>{</div>
289
- <div class="line"><a name="l00225"></a><span class="lineno"> 225</span>&#160; std::stringstream exprName;</div>
290
- <div class="line"><a name="l00226"></a><span class="lineno"> 226</span>&#160; <span class="keyword">auto</span> it = <a class="code" href="classSVF_1_1ExeState.html#adb724bd1c3154368c629f4972c503d72">_locToVAddrs</a>.find(objId);</div>
291
- <div class="line"><a name="l00227"></a><span class="lineno"> 227</span>&#160; <span class="keywordflow">if</span> (it == <a class="code" href="classSVF_1_1ExeState.html#adb724bd1c3154368c629f4972c503d72">_locToVAddrs</a>.end())</div>
292
- <div class="line"><a name="l00228"></a><span class="lineno"> 228</span>&#160; {</div>
293
- <div class="line"><a name="l00229"></a><span class="lineno"> 229</span>&#160; exprName &lt;&lt; <span class="stringliteral">&quot;Var not in varToAddrs!\n&quot;</span>;</div>
294
- <div class="line"><a name="l00230"></a><span class="lineno"> 230</span>&#160; }</div>
295
- <div class="line"><a name="l00231"></a><span class="lineno"> 231</span>&#160; <span class="keywordflow">else</span></div>
296
- <div class="line"><a name="l00232"></a><span class="lineno"> 232</span>&#160; {</div>
297
- <div class="line"><a name="l00233"></a><span class="lineno"> 233</span>&#160; <span class="keyword">const</span> <a class="code" href="classSVF_1_1AddressValue.html">VAddrs</a> &amp;vaddrs = it-&gt;second;</div>
298
- <div class="line"><a name="l00234"></a><span class="lineno"> 234</span>&#160; <span class="keywordflow">if</span> (vaddrs.<a class="code" href="classSVF_1_1AddressValue.html#ae93859318bf4f618b4cf681988a870ce">size</a>() == 1)</div>
299
- <div class="line"><a name="l00235"></a><span class="lineno"> 235</span>&#160; {</div>
300
- <div class="line"><a name="l00236"></a><span class="lineno"> 236</span>&#160; exprName &lt;&lt; <span class="stringliteral">&quot;addr: {&quot;</span> &lt;&lt; std::dec &lt;&lt; <a class="code" href="classSVF_1_1ExeState.html#ab72f3bc855feeda75e11768ab03ad84e">getInternalID</a>(*vaddrs.<a class="code" href="classSVF_1_1AddressValue.html#aed0b4789beda4980e4e215a65350f323">begin</a>()) &lt;&lt; <span class="stringliteral">&quot;}\n&quot;</span>;</div>
301
- <div class="line"><a name="l00237"></a><span class="lineno"> 237</span>&#160; }</div>
302
- <div class="line"><a name="l00238"></a><span class="lineno"> 238</span>&#160; <span class="keywordflow">else</span></div>
303
- <div class="line"><a name="l00239"></a><span class="lineno"> 239</span>&#160; {</div>
304
- <div class="line"><a name="l00240"></a><span class="lineno"> 240</span>&#160; exprName &lt;&lt; <span class="stringliteral">&quot;addr: {&quot;</span>;</div>
305
- <div class="line"><a name="l00241"></a><span class="lineno"> 241</span>&#160; <span class="keywordflow">for</span> (<span class="keyword">const</span> <span class="keyword">auto</span> &amp;addr: vaddrs)</div>
306
- <div class="line"><a name="l00242"></a><span class="lineno"> 242</span>&#160; {</div>
307
- <div class="line"><a name="l00243"></a><span class="lineno"> 243</span>&#160; exprName &lt;&lt; std::dec &lt;&lt; <a class="code" href="classSVF_1_1ExeState.html#ab72f3bc855feeda75e11768ab03ad84e">getInternalID</a>(addr) &lt;&lt; <span class="stringliteral">&quot;, &quot;</span>;</div>
308
- <div class="line"><a name="l00244"></a><span class="lineno"> 244</span>&#160; }</div>
309
- <div class="line"><a name="l00245"></a><span class="lineno"> 245</span>&#160; exprName &lt;&lt; <span class="stringliteral">&quot;}\n&quot;</span>;</div>
310
- <div class="line"><a name="l00246"></a><span class="lineno"> 246</span>&#160; }</div>
311
- <div class="line"><a name="l00247"></a><span class="lineno"> 247</span>&#160; }</div>
312
- <div class="line"><a name="l00248"></a><span class="lineno"> 248</span>&#160; <span class="keywordflow">return</span> <a class="code" href="namespaceSVF_1_1SVFUtil.html#a72502f7f536418621485e90ab98c2016">SVFUtil::move</a>(exprName.str());</div>
313
- <div class="line"><a name="l00249"></a><span class="lineno"> 249</span>&#160; }</div>
314
- <div class="line"><a name="l00250"></a><span class="lineno"> 250</span>&#160; </div>
315
- <div class="line"><a name="l00251"></a><span class="lineno"> 251</span>&#160;<span class="keyword">public</span>:</div>
316
- <div class="line"><a name="l00252"></a><span class="lineno"><a class="line" href="classSVF_1_1ExeState.html#a35a28ef0a8acd14f44e6755eff424d9d"> 252</a></span>&#160; <span class="keyword">static</span> z3::context &amp;<a class="code" href="classSVF_1_1ExeState.html#a35a28ef0a8acd14f44e6755eff424d9d">getContext</a>()</div>
317
- <div class="line"><a name="l00253"></a><span class="lineno"> 253</span>&#160; {</div>
318
- <div class="line"><a name="l00254"></a><span class="lineno"> 254</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1Z3Expr.html#acfdff582a0188678c10939165a40df30">Z3Expr::getContext</a>();</div>
319
- <div class="line"><a name="l00255"></a><span class="lineno"> 255</span>&#160; }</div>
320
- <div class="line"><a name="l00256"></a><span class="lineno"> 256</span>&#160; </div>
321
- <div class="line"><a name="l00258"></a><span class="lineno"><a class="line" href="classSVF_1_1ExeState.html#a2f01e583abcdeb236a11e85c7a8aafdc"> 258</a></span>&#160; <span class="keyword">static</span> <span class="keyword">inline</span> <a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> <a class="code" href="classSVF_1_1ExeState.html#a2f01e583abcdeb236a11e85c7a8aafdc">getVirtualMemAddress</a>(<a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> idx)</div>
322
- <div class="line"><a name="l00259"></a><span class="lineno"> 259</span>&#160; {</div>
323
- <div class="line"><a name="l00260"></a><span class="lineno"> 260</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1AddressValue.html#aa6ccc9882f89804cd6566e3dfe3dfdc8">AddressValue::getVirtualMemAddress</a>(idx);</div>
324
- <div class="line"><a name="l00261"></a><span class="lineno"> 261</span>&#160; }</div>
325
- <div class="line"><a name="l00262"></a><span class="lineno"> 262</span>&#160; </div>
326
- <div class="line"><a name="l00264"></a><span class="lineno"><a class="line" href="classSVF_1_1ExeState.html#abfaad70395d9f4416f297887c84f7df4"> 264</a></span>&#160; <span class="keyword">static</span> <span class="keyword">inline</span> <span class="keywordtype">bool</span> <a class="code" href="classSVF_1_1ExeState.html#abfaad70395d9f4416f297887c84f7df4">isVirtualMemAddress</a>(<a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> val)</div>
327
- <div class="line"><a name="l00265"></a><span class="lineno"> 265</span>&#160; {</div>
328
- <div class="line"><a name="l00266"></a><span class="lineno"> 266</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1AddressValue.html#ab76f47f97262d40dbbee12f466f746e8">AddressValue::isVirtualMemAddress</a>(val);</div>
329
- <div class="line"><a name="l00267"></a><span class="lineno"> 267</span>&#160; }</div>
330
- <div class="line"><a name="l00268"></a><span class="lineno"> 268</span>&#160; </div>
331
- <div class="line"><a name="l00270"></a><span class="lineno"><a class="line" href="classSVF_1_1ExeState.html#ab72f3bc855feeda75e11768ab03ad84e"> 270</a></span>&#160; <span class="keyword">static</span> <span class="keyword">inline</span> <a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> <a class="code" href="classSVF_1_1ExeState.html#ab72f3bc855feeda75e11768ab03ad84e">getInternalID</a>(<a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> idx)</div>
332
- <div class="line"><a name="l00271"></a><span class="lineno"> 271</span>&#160; {</div>
333
- <div class="line"><a name="l00272"></a><span class="lineno"> 272</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1AddressValue.html#a3be7a2e3ec3215b67cd60f122d2cd10e">AddressValue::getInternalID</a>(idx);</div>
334
- <div class="line"><a name="l00273"></a><span class="lineno"> 273</span>&#160; }</div>
335
- <div class="line"><a name="l00274"></a><span class="lineno"> 274</span>&#160; </div>
264
+ <div class="line"><a name="l00203"></a><span class="lineno"> 203</span>&#160; <span class="keywordflow">return</span> <span class="keyword">true</span>;</div>
265
+ <div class="line"><a name="l00204"></a><span class="lineno"> 204</span>&#160; }</div>
266
+ <div class="line"><a name="l00205"></a><span class="lineno"> 205</span>&#160; </div>
267
+ <div class="line"><a name="l00206"></a><span class="lineno"> 206</span>&#160;<span class="keyword">public</span>:</div>
268
+ <div class="line"><a name="l00207"></a><span class="lineno"> 207</span>&#160; </div>
269
+ <div class="line"><a name="l00208"></a><span class="lineno"><a class="line" href="classSVF_1_1ExeState.html#aa01e978f41f4134257b380994e3b8409"> 208</a></span>&#160; <span class="keyword">virtual</span> <a class="code" href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">std::string</a> <a class="code" href="classSVF_1_1ExeState.html#aa01e978f41f4134257b380994e3b8409">varToAddrs</a>(<a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> varId)<span class="keyword"> const</span></div>
270
+ <div class="line"><a name="l00209"></a><span class="lineno"> 209</span>&#160;<span class="keyword"> </span>{</div>
271
+ <div class="line"><a name="l00210"></a><span class="lineno"> 210</span>&#160; std::stringstream exprName;</div>
272
+ <div class="line"><a name="l00211"></a><span class="lineno"> 211</span>&#160; <span class="keyword">auto</span> it = <a class="code" href="classSVF_1_1ExeState.html#ad317f2ae2e599a131a6fd9f415f5d712">_varToAddrs</a>.find(varId);</div>
273
+ <div class="line"><a name="l00212"></a><span class="lineno"> 212</span>&#160; <span class="keywordflow">if</span> (it == <a class="code" href="classSVF_1_1ExeState.html#ad317f2ae2e599a131a6fd9f415f5d712">_varToAddrs</a>.end())</div>
274
+ <div class="line"><a name="l00213"></a><span class="lineno"> 213</span>&#160; {</div>
275
+ <div class="line"><a name="l00214"></a><span class="lineno"> 214</span>&#160; exprName &lt;&lt; <span class="stringliteral">&quot;Var not in varToAddrs!\n&quot;</span>;</div>
276
+ <div class="line"><a name="l00215"></a><span class="lineno"> 215</span>&#160; }</div>
277
+ <div class="line"><a name="l00216"></a><span class="lineno"> 216</span>&#160; <span class="keywordflow">else</span></div>
278
+ <div class="line"><a name="l00217"></a><span class="lineno"> 217</span>&#160; {</div>
279
+ <div class="line"><a name="l00218"></a><span class="lineno"> 218</span>&#160; <span class="keyword">const</span> <a class="code" href="classSVF_1_1AddressValue.html">Addrs</a> &amp;vaddrs = it-&gt;second;</div>
280
+ <div class="line"><a name="l00219"></a><span class="lineno"> 219</span>&#160; <span class="keywordflow">if</span> (vaddrs.<a class="code" href="classSVF_1_1AddressValue.html#ae93859318bf4f618b4cf681988a870ce">size</a>() == 1)</div>
281
+ <div class="line"><a name="l00220"></a><span class="lineno"> 220</span>&#160; {</div>
282
+ <div class="line"><a name="l00221"></a><span class="lineno"> 221</span>&#160; exprName &lt;&lt; <span class="stringliteral">&quot;addr: {&quot;</span> &lt;&lt; std::dec &lt;&lt; <a class="code" href="classSVF_1_1ExeState.html#ab72f3bc855feeda75e11768ab03ad84e">getInternalID</a>(*vaddrs.<a class="code" href="classSVF_1_1AddressValue.html#aed0b4789beda4980e4e215a65350f323">begin</a>()) &lt;&lt; <span class="stringliteral">&quot;}\n&quot;</span>;</div>
283
+ <div class="line"><a name="l00222"></a><span class="lineno"> 222</span>&#160; }</div>
284
+ <div class="line"><a name="l00223"></a><span class="lineno"> 223</span>&#160; <span class="keywordflow">else</span></div>
285
+ <div class="line"><a name="l00224"></a><span class="lineno"> 224</span>&#160; {</div>
286
+ <div class="line"><a name="l00225"></a><span class="lineno"> 225</span>&#160; exprName &lt;&lt; <span class="stringliteral">&quot;addr: {&quot;</span>;</div>
287
+ <div class="line"><a name="l00226"></a><span class="lineno"> 226</span>&#160; <span class="keywordflow">for</span> (<span class="keyword">const</span> <span class="keyword">auto</span> &amp;addr: vaddrs)</div>
288
+ <div class="line"><a name="l00227"></a><span class="lineno"> 227</span>&#160; {</div>
289
+ <div class="line"><a name="l00228"></a><span class="lineno"> 228</span>&#160; exprName &lt;&lt; std::dec &lt;&lt; <a class="code" href="classSVF_1_1ExeState.html#ab72f3bc855feeda75e11768ab03ad84e">getInternalID</a>(addr) &lt;&lt; <span class="stringliteral">&quot;, &quot;</span>;</div>
290
+ <div class="line"><a name="l00229"></a><span class="lineno"> 229</span>&#160; }</div>
291
+ <div class="line"><a name="l00230"></a><span class="lineno"> 230</span>&#160; exprName &lt;&lt; <span class="stringliteral">&quot;}\n&quot;</span>;</div>
292
+ <div class="line"><a name="l00231"></a><span class="lineno"> 231</span>&#160; }</div>
293
+ <div class="line"><a name="l00232"></a><span class="lineno"> 232</span>&#160; }</div>
294
+ <div class="line"><a name="l00233"></a><span class="lineno"> 233</span>&#160; <span class="keywordflow">return</span> <a class="code" href="namespaceSVF_1_1SVFUtil.html#a72502f7f536418621485e90ab98c2016">SVFUtil::move</a>(exprName.str());</div>
295
+ <div class="line"><a name="l00234"></a><span class="lineno"> 234</span>&#160; }</div>
296
+ <div class="line"><a name="l00235"></a><span class="lineno"> 235</span>&#160; </div>
297
+ <div class="line"><a name="l00236"></a><span class="lineno"><a class="line" href="classSVF_1_1ExeState.html#ad2f921623e41209c6702534c98431403"> 236</a></span>&#160; <span class="keyword">virtual</span> <a class="code" href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">std::string</a> <a class="code" href="classSVF_1_1ExeState.html#ad2f921623e41209c6702534c98431403">locToAddrs</a>(<a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> objId)<span class="keyword"> const</span></div>
298
+ <div class="line"><a name="l00237"></a><span class="lineno"> 237</span>&#160;<span class="keyword"> </span>{</div>
299
+ <div class="line"><a name="l00238"></a><span class="lineno"> 238</span>&#160; std::stringstream exprName;</div>
300
+ <div class="line"><a name="l00239"></a><span class="lineno"> 239</span>&#160; <span class="keyword">auto</span> it = <a class="code" href="classSVF_1_1ExeState.html#a79866a547dc4805d3fefdfd528d2df2a">_locToAddrs</a>.find(objId);</div>
301
+ <div class="line"><a name="l00240"></a><span class="lineno"> 240</span>&#160; <span class="keywordflow">if</span> (it == <a class="code" href="classSVF_1_1ExeState.html#a79866a547dc4805d3fefdfd528d2df2a">_locToAddrs</a>.end())</div>
302
+ <div class="line"><a name="l00241"></a><span class="lineno"> 241</span>&#160; {</div>
303
+ <div class="line"><a name="l00242"></a><span class="lineno"> 242</span>&#160; exprName &lt;&lt; <span class="stringliteral">&quot;Var not in varToAddrs!\n&quot;</span>;</div>
304
+ <div class="line"><a name="l00243"></a><span class="lineno"> 243</span>&#160; }</div>
305
+ <div class="line"><a name="l00244"></a><span class="lineno"> 244</span>&#160; <span class="keywordflow">else</span></div>
306
+ <div class="line"><a name="l00245"></a><span class="lineno"> 245</span>&#160; {</div>
307
+ <div class="line"><a name="l00246"></a><span class="lineno"> 246</span>&#160; <span class="keyword">const</span> <a class="code" href="classSVF_1_1AddressValue.html">Addrs</a> &amp;vaddrs = it-&gt;second;</div>
308
+ <div class="line"><a name="l00247"></a><span class="lineno"> 247</span>&#160; <span class="keywordflow">if</span> (vaddrs.<a class="code" href="classSVF_1_1AddressValue.html#ae93859318bf4f618b4cf681988a870ce">size</a>() == 1)</div>
309
+ <div class="line"><a name="l00248"></a><span class="lineno"> 248</span>&#160; {</div>
310
+ <div class="line"><a name="l00249"></a><span class="lineno"> 249</span>&#160; exprName &lt;&lt; <span class="stringliteral">&quot;addr: {&quot;</span> &lt;&lt; std::dec &lt;&lt; <a class="code" href="classSVF_1_1ExeState.html#ab72f3bc855feeda75e11768ab03ad84e">getInternalID</a>(*vaddrs.<a class="code" href="classSVF_1_1AddressValue.html#aed0b4789beda4980e4e215a65350f323">begin</a>()) &lt;&lt; <span class="stringliteral">&quot;}\n&quot;</span>;</div>
311
+ <div class="line"><a name="l00250"></a><span class="lineno"> 250</span>&#160; }</div>
312
+ <div class="line"><a name="l00251"></a><span class="lineno"> 251</span>&#160; <span class="keywordflow">else</span></div>
313
+ <div class="line"><a name="l00252"></a><span class="lineno"> 252</span>&#160; {</div>
314
+ <div class="line"><a name="l00253"></a><span class="lineno"> 253</span>&#160; exprName &lt;&lt; <span class="stringliteral">&quot;addr: {&quot;</span>;</div>
315
+ <div class="line"><a name="l00254"></a><span class="lineno"> 254</span>&#160; <span class="keywordflow">for</span> (<span class="keyword">const</span> <span class="keyword">auto</span> &amp;addr: vaddrs)</div>
316
+ <div class="line"><a name="l00255"></a><span class="lineno"> 255</span>&#160; {</div>
317
+ <div class="line"><a name="l00256"></a><span class="lineno"> 256</span>&#160; exprName &lt;&lt; std::dec &lt;&lt; <a class="code" href="classSVF_1_1ExeState.html#ab72f3bc855feeda75e11768ab03ad84e">getInternalID</a>(addr) &lt;&lt; <span class="stringliteral">&quot;, &quot;</span>;</div>
318
+ <div class="line"><a name="l00257"></a><span class="lineno"> 257</span>&#160; }</div>
319
+ <div class="line"><a name="l00258"></a><span class="lineno"> 258</span>&#160; exprName &lt;&lt; <span class="stringliteral">&quot;}\n&quot;</span>;</div>
320
+ <div class="line"><a name="l00259"></a><span class="lineno"> 259</span>&#160; }</div>
321
+ <div class="line"><a name="l00260"></a><span class="lineno"> 260</span>&#160; }</div>
322
+ <div class="line"><a name="l00261"></a><span class="lineno"> 261</span>&#160; <span class="keywordflow">return</span> <a class="code" href="namespaceSVF_1_1SVFUtil.html#a72502f7f536418621485e90ab98c2016">SVFUtil::move</a>(exprName.str());</div>
323
+ <div class="line"><a name="l00262"></a><span class="lineno"> 262</span>&#160; }</div>
324
+ <div class="line"><a name="l00263"></a><span class="lineno"> 263</span>&#160; </div>
325
+ <div class="line"><a name="l00264"></a><span class="lineno"> 264</span>&#160;<span class="keyword">public</span>:</div>
326
+ <div class="line"><a name="l00265"></a><span class="lineno"><a class="line" href="classSVF_1_1ExeState.html#a35a28ef0a8acd14f44e6755eff424d9d"> 265</a></span>&#160; <span class="keyword">static</span> z3::context &amp;<a class="code" href="classSVF_1_1ExeState.html#a35a28ef0a8acd14f44e6755eff424d9d">getContext</a>()</div>
327
+ <div class="line"><a name="l00266"></a><span class="lineno"> 266</span>&#160; {</div>
328
+ <div class="line"><a name="l00267"></a><span class="lineno"> 267</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1Z3Expr.html#acfdff582a0188678c10939165a40df30">Z3Expr::getContext</a>();</div>
329
+ <div class="line"><a name="l00268"></a><span class="lineno"> 268</span>&#160; }</div>
330
+ <div class="line"><a name="l00269"></a><span class="lineno"> 269</span>&#160; </div>
331
+ <div class="line"><a name="l00271"></a><span class="lineno"><a class="line" href="classSVF_1_1ExeState.html#a2f01e583abcdeb236a11e85c7a8aafdc"> 271</a></span>&#160; <span class="keyword">static</span> <span class="keyword">inline</span> <a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> <a class="code" href="classSVF_1_1ExeState.html#a2f01e583abcdeb236a11e85c7a8aafdc">getVirtualMemAddress</a>(<a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> idx)</div>
332
+ <div class="line"><a name="l00272"></a><span class="lineno"> 272</span>&#160; {</div>
333
+ <div class="line"><a name="l00273"></a><span class="lineno"> 273</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1AddressValue.html#aa6ccc9882f89804cd6566e3dfe3dfdc8">AddressValue::getVirtualMemAddress</a>(idx);</div>
334
+ <div class="line"><a name="l00274"></a><span class="lineno"> 274</span>&#160; }</div>
336
335
  <div class="line"><a name="l00275"></a><span class="lineno"> 275</span>&#160; </div>
337
- <div class="line"><a name="l00276"></a><span class="lineno"> 276</span>&#160;}; <span class="comment">// end class ExeState</span></div>
338
- <div class="line"><a name="l00277"></a><span class="lineno"> 277</span>&#160; </div>
339
- <div class="line"><a name="l00278"></a><span class="lineno"> 278</span>&#160; </div>
340
- <div class="line"><a name="l00279"></a><span class="lineno"> 279</span>&#160; </div>
341
- <div class="line"><a name="l00280"></a><span class="lineno"> 280</span>&#160;} <span class="comment">// end namespace SVF</span></div>
336
+ <div class="line"><a name="l00277"></a><span class="lineno"><a class="line" href="classSVF_1_1ExeState.html#abfaad70395d9f4416f297887c84f7df4"> 277</a></span>&#160; <span class="keyword">static</span> <span class="keyword">inline</span> <span class="keywordtype">bool</span> <a class="code" href="classSVF_1_1ExeState.html#abfaad70395d9f4416f297887c84f7df4">isVirtualMemAddress</a>(<a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> val)</div>
337
+ <div class="line"><a name="l00278"></a><span class="lineno"> 278</span>&#160; {</div>
338
+ <div class="line"><a name="l00279"></a><span class="lineno"> 279</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1AddressValue.html#ab76f47f97262d40dbbee12f466f746e8">AddressValue::isVirtualMemAddress</a>(val);</div>
339
+ <div class="line"><a name="l00280"></a><span class="lineno"> 280</span>&#160; }</div>
342
340
  <div class="line"><a name="l00281"></a><span class="lineno"> 281</span>&#160; </div>
343
- <div class="line"><a name="l00282"></a><span class="lineno"> 282</span>&#160;<span class="keyword">template</span>&lt;&gt;</div>
344
- <div class="line"><a name="l00283"></a><span class="lineno"><a class="line" href="structstd_1_1hash_3_01SVF_1_1ExeState_01_4.html"> 283</a></span>&#160;<span class="keyword">struct </span>std::hash&lt;<a class="code" href="namespaceSVF.html">SVF</a>::ExeState&gt;</div>
345
- <div class="line"><a name="l00284"></a><span class="lineno"> 284</span>&#160;{</div>
346
- <div class="line"><a name="l00285"></a><span class="lineno"><a class="line" href="structstd_1_1hash_3_01SVF_1_1ExeState_01_4.html#a6705ade63bf4797badccf432b56c5017"> 285</a></span>&#160; <span class="keywordtype">size_t</span> <a class="code" href="structstd_1_1hash_3_01SVF_1_1ExeState_01_4.html#a6705ade63bf4797badccf432b56c5017">operator()</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1ExeState.html">SVF::ExeState</a> &amp;es)<span class="keyword"> const</span></div>
347
- <div class="line"><a name="l00286"></a><span class="lineno"> 286</span>&#160;<span class="keyword"> </span>{</div>
348
- <div class="line"><a name="l00287"></a><span class="lineno"> 287</span>&#160; <span class="keywordflow">return</span> es.<a class="code" href="classSVF_1_1ExeState.html#a2e63af0f29d04484c09cca217b799986">hash</a>();</div>
349
- <div class="line"><a name="l00288"></a><span class="lineno"> 288</span>&#160; }</div>
350
- <div class="line"><a name="l00289"></a><span class="lineno"> 289</span>&#160;};</div>
351
- <div class="line"><a name="l00290"></a><span class="lineno"> 290</span>&#160;<span class="preprocessor">#endif //Z3_EXAMPLE_EXESTATE_H</span></div>
341
+ <div class="line"><a name="l00283"></a><span class="lineno"><a class="line" href="classSVF_1_1ExeState.html#ab72f3bc855feeda75e11768ab03ad84e"> 283</a></span>&#160; <span class="keyword">static</span> <span class="keyword">inline</span> <a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> <a class="code" href="classSVF_1_1ExeState.html#ab72f3bc855feeda75e11768ab03ad84e">getInternalID</a>(<a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> idx)</div>
342
+ <div class="line"><a name="l00284"></a><span class="lineno"> 284</span>&#160; {</div>
343
+ <div class="line"><a name="l00285"></a><span class="lineno"> 285</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1AddressValue.html#a3be7a2e3ec3215b67cd60f122d2cd10e">AddressValue::getInternalID</a>(idx);</div>
344
+ <div class="line"><a name="l00286"></a><span class="lineno"> 286</span>&#160; }</div>
345
+ <div class="line"><a name="l00287"></a><span class="lineno"> 287</span>&#160; </div>
346
+ <div class="line"><a name="l00288"></a><span class="lineno"> 288</span>&#160; </div>
347
+ <div class="line"><a name="l00289"></a><span class="lineno"> 289</span>&#160;}; <span class="comment">// end class ExeState</span></div>
348
+ <div class="line"><a name="l00290"></a><span class="lineno"> 290</span>&#160; </div>
349
+ <div class="line"><a name="l00291"></a><span class="lineno"> 291</span>&#160; </div>
350
+ <div class="line"><a name="l00292"></a><span class="lineno"> 292</span>&#160; </div>
351
+ <div class="line"><a name="l00293"></a><span class="lineno"> 293</span>&#160;} <span class="comment">// end namespace SVF</span></div>
352
+ <div class="line"><a name="l00294"></a><span class="lineno"> 294</span>&#160; </div>
353
+ <div class="line"><a name="l00295"></a><span class="lineno"> 295</span>&#160;<span class="keyword">template</span>&lt;&gt;</div>
354
+ <div class="line"><a name="l00296"></a><span class="lineno"><a class="line" href="structstd_1_1hash_3_01SVF_1_1ExeState_01_4.html"> 296</a></span>&#160;<span class="keyword">struct </span>std::hash&lt;<a class="code" href="namespaceSVF.html">SVF</a>::ExeState&gt;</div>
355
+ <div class="line"><a name="l00297"></a><span class="lineno"> 297</span>&#160;{</div>
356
+ <div class="line"><a name="l00298"></a><span class="lineno"><a class="line" href="structstd_1_1hash_3_01SVF_1_1ExeState_01_4.html#a6705ade63bf4797badccf432b56c5017"> 298</a></span>&#160; <span class="keywordtype">size_t</span> <a class="code" href="structstd_1_1hash_3_01SVF_1_1ExeState_01_4.html#a6705ade63bf4797badccf432b56c5017">operator()</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1ExeState.html">SVF::ExeState</a> &amp;es)<span class="keyword"> const</span></div>
357
+ <div class="line"><a name="l00299"></a><span class="lineno"> 299</span>&#160;<span class="keyword"> </span>{</div>
358
+ <div class="line"><a name="l00300"></a><span class="lineno"> 300</span>&#160; <span class="keywordflow">return</span> es.<a class="code" href="classSVF_1_1ExeState.html#a2e63af0f29d04484c09cca217b799986">hash</a>();</div>
359
+ <div class="line"><a name="l00301"></a><span class="lineno"> 301</span>&#160; }</div>
360
+ <div class="line"><a name="l00302"></a><span class="lineno"> 302</span>&#160;};</div>
361
+ <div class="line"><a name="l00303"></a><span class="lineno"> 303</span>&#160;<span class="preprocessor">#endif //Z3_EXAMPLE_EXESTATE_H</span></div>
352
362
  </div><!-- fragment --></div><!-- contents -->
353
- <div class="ttc" id="aclassSVF_1_1ExeState_html_a54168f48a6c1fe983d20efce06a35710"><div class="ttname"><a href="classSVF_1_1ExeState.html#a54168f48a6c1fe983d20efce06a35710">SVF::ExeState::inLocToAddrsTable</a></div><div class="ttdeci">virtual bool inLocToAddrsTable(u32_t id) const</div><div class="ttdef"><b>Definition:</b> <a href="ExeState_8h_source.html#l00141">ExeState.h:141</a></div></div>
354
- <div class="ttc" id="aclassSVF_1_1ExeState_html_a06245a3061b7a52488d593b9faeddbe0"><div class="ttname"><a href="classSVF_1_1ExeState.html#a06245a3061b7a52488d593b9faeddbe0">SVF::ExeState::printExprValues</a></div><div class="ttdeci">virtual void printExprValues(std::ostream &amp;oss) const</div><div class="ttdoc">Print values of all expressions.</div><div class="ttdef"><b>Definition:</b> <a href="ExeState_8h_source.html#l00114">ExeState.h:114</a></div></div>
363
+ <div class="ttc" id="aclassSVF_1_1ExeState_html_a54168f48a6c1fe983d20efce06a35710"><div class="ttname"><a href="classSVF_1_1ExeState.html#a54168f48a6c1fe983d20efce06a35710">SVF::ExeState::inLocToAddrsTable</a></div><div class="ttdeci">virtual bool inLocToAddrsTable(u32_t id) const</div><div class="ttdoc">whether the memory address stores memory addresses</div><div class="ttdef"><b>Definition:</b> <a href="ExeState_8h_source.html#l00113">ExeState.h:113</a></div></div>
364
+ <div class="ttc" id="aclassSVF_1_1ExeState_html_aa7b897b107d722909f9de9dcbabad7cf"><div class="ttname"><a href="classSVF_1_1ExeState.html#aa7b897b107d722909f9de9dcbabad7cf">SVF::ExeState::getLocToAddrs</a></div><div class="ttdeci">virtual const VarToAddrs &amp; getLocToAddrs() const</div><div class="ttdef"><b>Definition:</b> <a href="ExeState_8h_source.html#l00124">ExeState.h:124</a></div></div>
365
+ <div class="ttc" id="aclassSVF_1_1ExeState_html_a06245a3061b7a52488d593b9faeddbe0"><div class="ttname"><a href="classSVF_1_1ExeState.html#a06245a3061b7a52488d593b9faeddbe0">SVF::ExeState::printExprValues</a></div><div class="ttdeci">virtual void printExprValues(std::ostream &amp;oss) const</div><div class="ttdoc">Print values of all expressions.</div><div class="ttdef"><b>Definition:</b> <a href="ExeState_8h_source.html#l00139">ExeState.h:139</a></div></div>
366
+ <div class="ttc" id="aclassSVF_1_1ExeState_html_a78038dd4884a501cfc94f073021eac96"><div class="ttname"><a href="classSVF_1_1ExeState.html#a78038dd4884a501cfc94f073021eac96">SVF::ExeState::Addrs</a></div><div class="ttdeci">AddressValue Addrs</div><div class="ttdef"><b>Definition:</b> <a href="ExeState_8h_source.html#l00052">ExeState.h:52</a></div></div>
355
367
  <div class="ttc" id="aclassSVF_1_1ExeState_html_a60464bebe5f257bbe1356eee149524c0"><div class="ttname"><a href="classSVF_1_1ExeState.html#a60464bebe5f257bbe1356eee149524c0">SVF::ExeState::joinWith</a></div><div class="ttdeci">bool joinWith(const ExeState &amp;other)</div><div class="ttdoc">Make all value join with the other.</div><div class="ttdef"><b>Definition:</b> <a href="ExeState_8cpp_source.html#l00040">ExeState.cpp:40</a></div></div>
356
- <div class="ttc" id="aclassSVF_1_1ExeState_html_a789f023e4b5938324993b37021265f53"><div class="ttname"><a href="classSVF_1_1ExeState.html#a789f023e4b5938324993b37021265f53">SVF::ExeState::getVAddrs</a></div><div class="ttdeci">virtual VAddrs &amp; getVAddrs(u32_t id)</div><div class="ttdef"><b>Definition:</b> <a href="ExeState_8h_source.html#l00146">ExeState.h:146</a></div></div>
357
368
  <div class="ttc" id="aclassSVF_1_1AddressValue_html_ae93859318bf4f618b4cf681988a870ce"><div class="ttname"><a href="classSVF_1_1AddressValue.html#ae93859318bf4f618b4cf681988a870ce">SVF::AddressValue::size</a></div><div class="ttdeci">u32_t size() const</div><div class="ttdef"><b>Definition:</b> <a href="AddressValue_8h_source.html#l00118">AddressValue.h:118</a></div></div>
358
- <div class="ttc" id="astructstd_1_1hash_3_01SVF_1_1ExeState_01_4_html_a6705ade63bf4797badccf432b56c5017"><div class="ttname"><a href="structstd_1_1hash_3_01SVF_1_1ExeState_01_4.html#a6705ade63bf4797badccf432b56c5017">std::hash&lt; SVF::ExeState &gt;::operator()</a></div><div class="ttdeci">size_t operator()(const SVF::ExeState &amp;es) const</div><div class="ttdef"><b>Definition:</b> <a href="ExeState_8h_source.html#l00285">ExeState.h:285</a></div></div>
369
+ <div class="ttc" id="aclassSVF_1_1ExeState_html_a09f34aca79479221305769cae307feef"><div class="ttname"><a href="classSVF_1_1ExeState.html#a09f34aca79479221305769cae307feef">SVF::ExeState::VarToAddrs</a></div><div class="ttdeci">Map&lt; u32_t, Addrs &gt; VarToAddrs</div><div class="ttdef"><b>Definition:</b> <a href="ExeState_8h_source.html#l00053">ExeState.h:53</a></div></div>
370
+ <div class="ttc" id="astructstd_1_1hash_3_01SVF_1_1ExeState_01_4_html_a6705ade63bf4797badccf432b56c5017"><div class="ttname"><a href="structstd_1_1hash_3_01SVF_1_1ExeState_01_4.html#a6705ade63bf4797badccf432b56c5017">std::hash&lt; SVF::ExeState &gt;::operator()</a></div><div class="ttdeci">size_t operator()(const SVF::ExeState &amp;es) const</div><div class="ttdef"><b>Definition:</b> <a href="ExeState_8h_source.html#l00298">ExeState.h:298</a></div></div>
359
371
  <div class="ttc" id="anamespaceSVF_html"><div class="ttname"><a href="namespaceSVF.html">SVF</a></div><div class="ttdoc">for isBitcode</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00065">BasicTypes.h:65</a></div></div>
360
- <div class="ttc" id="aclassSVF_1_1ExeState_html_abfaad70395d9f4416f297887c84f7df4"><div class="ttname"><a href="classSVF_1_1ExeState.html#abfaad70395d9f4416f297887c84f7df4">SVF::ExeState::isVirtualMemAddress</a></div><div class="ttdeci">static bool isVirtualMemAddress(u32_t val)</div><div class="ttdoc">Check bit value of val start with 0x7F000000, filter by 0xFF000000.</div><div class="ttdef"><b>Definition:</b> <a href="ExeState_8h_source.html#l00264">ExeState.h:264</a></div></div>
361
- <div class="ttc" id="aclassSVF_1_1ExeState_html_a35a28ef0a8acd14f44e6755eff424d9d"><div class="ttname"><a href="classSVF_1_1ExeState.html#a35a28ef0a8acd14f44e6755eff424d9d">SVF::ExeState::getContext</a></div><div class="ttdeci">static z3::context &amp; getContext()</div><div class="ttdef"><b>Definition:</b> <a href="ExeState_8h_source.html#l00252">ExeState.h:252</a></div></div>
362
- <div class="ttc" id="aclassSVF_1_1ExeState_html_aa01e978f41f4134257b380994e3b8409"><div class="ttname"><a href="classSVF_1_1ExeState.html#aa01e978f41f4134257b380994e3b8409">SVF::ExeState::varToAddrs</a></div><div class="ttdeci">virtual std::string varToAddrs(u32_t varId) const</div><div class="ttdef"><b>Definition:</b> <a href="ExeState_8h_source.html#l00195">ExeState.h:195</a></div></div>
372
+ <div class="ttc" id="aclassSVF_1_1ExeState_html_abfaad70395d9f4416f297887c84f7df4"><div class="ttname"><a href="classSVF_1_1ExeState.html#abfaad70395d9f4416f297887c84f7df4">SVF::ExeState::isVirtualMemAddress</a></div><div class="ttdeci">static bool isVirtualMemAddress(u32_t val)</div><div class="ttdoc">Check bit value of val start with 0x7F000000, filter by 0xFF000000.</div><div class="ttdef"><b>Definition:</b> <a href="ExeState_8h_source.html#l00277">ExeState.h:277</a></div></div>
373
+ <div class="ttc" id="aclassSVF_1_1ExeState_html_a35a28ef0a8acd14f44e6755eff424d9d"><div class="ttname"><a href="classSVF_1_1ExeState.html#a35a28ef0a8acd14f44e6755eff424d9d">SVF::ExeState::getContext</a></div><div class="ttdeci">static z3::context &amp; getContext()</div><div class="ttdef"><b>Definition:</b> <a href="ExeState_8h_source.html#l00265">ExeState.h:265</a></div></div>
374
+ <div class="ttc" id="aclassSVF_1_1ExeState_html_aa01e978f41f4134257b380994e3b8409"><div class="ttname"><a href="classSVF_1_1ExeState.html#aa01e978f41f4134257b380994e3b8409">SVF::ExeState::varToAddrs</a></div><div class="ttdeci">virtual std::string varToAddrs(u32_t varId) const</div><div class="ttdef"><b>Definition:</b> <a href="ExeState_8h_source.html#l00208">ExeState.h:208</a></div></div>
363
375
  <div class="ttc" id="aclassSVF_1_1ExeState_html_a2e63af0f29d04484c09cca217b799986"><div class="ttname"><a href="classSVF_1_1ExeState.html#a2e63af0f29d04484c09cca217b799986">SVF::ExeState::hash</a></div><div class="ttdeci">virtual u32_t hash() const</div><div class="ttdef"><b>Definition:</b> <a href="ExeState_8cpp_source.html#l00102">ExeState.cpp:102</a></div></div>
376
+ <div class="ttc" id="aclassSVF_1_1ExeState_html_a3b340ae2aad86f6125d24b42ec8901d0"><div class="ttname"><a href="classSVF_1_1ExeState.html#a3b340ae2aad86f6125d24b42ec8901d0">SVF::ExeState::getAddrs</a></div><div class="ttdeci">virtual Addrs &amp; getAddrs(u32_t id)</div><div class="ttdoc">get memory addresses of variable</div><div class="ttdef"><b>Definition:</b> <a href="ExeState_8h_source.html#l00101">ExeState.h:101</a></div></div>
364
377
  <div class="ttc" id="aclassSVF_1_1ExeState_html_af1b6335e3ca95d491b0d8dfb95cf3c9b"><div class="ttname"><a href="classSVF_1_1ExeState.html#af1b6335e3ca95d491b0d8dfb95cf3c9b">SVF::ExeState::ExeState</a></div><div class="ttdeci">ExeState(ExeState_TYPE kind)</div><div class="ttdef"><b>Definition:</b> <a href="ExeState_8h_source.html#l00063">ExeState.h:63</a></div></div>
365
- <div class="ttc" id="aclassSVF_1_1ExeState_html_a69895af213955ea1ba29812bfddcea66"><div class="ttname"><a href="classSVF_1_1ExeState.html#a69895af213955ea1ba29812bfddcea66">SVF::ExeState::_varToVAddrs</a></div><div class="ttdeci">VarToVAddrs _varToVAddrs</div><div class="ttdef"><b>Definition:</b> <a href="ExeState_8h_source.html#l00172">ExeState.h:172</a></div></div>
366
378
  <div class="ttc" id="aclassSVF_1_1ExeState_html_ad706a7c5d1e4b198a74a0b5a8a89be8f"><div class="ttname"><a href="classSVF_1_1ExeState.html#ad706a7c5d1e4b198a74a0b5a8a89be8f">SVF::ExeState::operator=</a></div><div class="ttdeci">ExeState &amp; operator=(ExeState &amp;&amp;rhs) noexcept</div><div class="ttdef"><b>Definition:</b> <a href="ExeState_8h_source.html#l00083">ExeState.h:83</a></div></div>
367
379
  <div class="ttc" id="aclassSVF_1_1ExeState_html_a80bcce9b4303d651b27332c2fc0d3bdc"><div class="ttname"><a href="classSVF_1_1ExeState.html#a80bcce9b4303d651b27332c2fc0d3bdc">SVF::ExeState::meetWith</a></div><div class="ttdeci">bool meetWith(const ExeState &amp;other)</div><div class="ttdoc">Make all value meet with the other.</div><div class="ttdef"><b>Definition:</b> <a href="ExeState_8cpp_source.html#l00076">ExeState.cpp:76</a></div></div>
368
380
  <div class="ttc" id="aclassSVF_1_1Z3Expr_html_acfdff582a0188678c10939165a40df30"><div class="ttname"><a href="classSVF_1_1Z3Expr.html#acfdff582a0188678c10939165a40df30">SVF::Z3Expr::getContext</a></div><div class="ttdeci">static z3::context &amp; getContext()</div><div class="ttdoc">Get z3 context, singleton design here to make sure we only have one context.</div><div class="ttdef"><b>Definition:</b> <a href="Z3Expr_8cpp_source.html#l00066">Z3Expr.cpp:66</a></div></div>
369
- <div class="ttc" id="aclassSVF_1_1ExeState_html_aad0556739ce5b173054c81cbbfff4b72"><div class="ttname"><a href="classSVF_1_1ExeState.html#aad0556739ce5b173054c81cbbfff4b72">SVF::ExeState::storeVAddrs</a></div><div class="ttdeci">virtual void storeVAddrs(u32_t addr, const VAddrs &amp;vaddrs)</div><div class="ttdef"><b>Definition:</b> <a href="ExeState_8h_source.html#l00151">ExeState.h:151</a></div></div>
370
- <div class="ttc" id="aclassSVF_1_1ExeState_html_adb724bd1c3154368c629f4972c503d72"><div class="ttname"><a href="classSVF_1_1ExeState.html#adb724bd1c3154368c629f4972c503d72">SVF::ExeState::_locToVAddrs</a></div><div class="ttdeci">VarToVAddrs _locToVAddrs</div><div class="ttdef"><b>Definition:</b> <a href="ExeState_8h_source.html#l00173">ExeState.h:173</a></div></div>
371
- <div class="ttc" id="aclassSVF_1_1ExeState_html_ab809f545610434737c048dd005f9cd25"><div class="ttname"><a href="classSVF_1_1ExeState.html#ab809f545610434737c048dd005f9cd25">SVF::ExeState::eqVarToVAddrs</a></div><div class="ttdeci">static bool eqVarToVAddrs(const VarToVAddrs &amp;lhs, const VarToVAddrs &amp;rhs)</div><div class="ttdef"><b>Definition:</b> <a href="ExeState_8h_source.html#l00177">ExeState.h:177</a></div></div>
381
+ <div class="ttc" id="aclassSVF_1_1ExeState_html_a9e0fd700bea1ac741d96b4f52fd4756f"><div class="ttname"><a href="classSVF_1_1ExeState.html#a9e0fd700bea1ac741d96b4f52fd4756f">SVF::ExeState::loadAddrs</a></div><div class="ttdeci">virtual Addrs &amp; loadAddrs(u32_t addr)</div><div class="ttdef"><b>Definition:</b> <a href="ExeState_8h_source.html#l00162">ExeState.h:162</a></div></div>
372
382
  <div class="ttc" id="aclassSVF_1_1SVFIR2ItvExeState_html"><div class="ttname"><a href="classSVF_1_1SVFIR2ItvExeState.html">SVF::SVFIR2ItvExeState</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFIR2ItvExeState_8h_source.html#l00041">SVFIR2ItvExeState.h:41</a></div></div>
373
383
  <div class="ttc" id="aNumericLiteral_8h_html"><div class="ttname"><a href="NumericLiteral_8h.html">NumericLiteral.h</a></div></div>
374
384
  <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>
375
385
  <div class="ttc" id="aclassSVF_1_1ExeState_html"><div class="ttname"><a href="classSVF_1_1ExeState.html">SVF::ExeState</a></div><div class="ttdef"><b>Definition:</b> <a href="ExeState_8h_source.html#l00046">ExeState.h:46</a></div></div>
376
- <div class="ttc" id="aclassSVF_1_1ExeState_html_a45be8c439528b7560024fa51f36a8ffb"><div class="ttname"><a href="classSVF_1_1ExeState.html#a45be8c439528b7560024fa51f36a8ffb">SVF::ExeState::equals</a></div><div class="ttdeci">bool equals(const ExeState *other) const</div><div class="ttdef"><b>Definition:</b> <a href="ExeState_8h_source.html#l00100">ExeState.h:100</a></div></div>
386
+ <div class="ttc" id="aclassSVF_1_1ExeState_html_a0710c9cc1a3c40c95cd362d49bea459b"><div class="ttname"><a href="classSVF_1_1ExeState.html#a0710c9cc1a3c40c95cd362d49bea459b">SVF::ExeState::getVarToAddrs</a></div><div class="ttdeci">virtual const VarToAddrs &amp; getVarToAddrs() const</div><div class="ttdef"><b>Definition:</b> <a href="ExeState_8h_source.html#l00119">ExeState.h:119</a></div></div>
387
+ <div class="ttc" id="aclassSVF_1_1ExeState_html_a0a24ad3ced48b6755b7fc917d0f0fbb9"><div class="ttname"><a href="classSVF_1_1ExeState.html#a0a24ad3ced48b6755b7fc917d0f0fbb9">SVF::ExeState::eqVarToAddrs</a></div><div class="ttdeci">static bool eqVarToAddrs(const VarToAddrs &amp;lhs, const VarToAddrs &amp;rhs)</div><div class="ttdef"><b>Definition:</b> <a href="ExeState_8h_source.html#l00190">ExeState.h:190</a></div></div>
388
+ <div class="ttc" id="aclassSVF_1_1ExeState_html_a45be8c439528b7560024fa51f36a8ffb"><div class="ttname"><a href="classSVF_1_1ExeState.html#a45be8c439528b7560024fa51f36a8ffb">SVF::ExeState::equals</a></div><div class="ttdeci">bool equals(const ExeState *other) const</div><div class="ttdef"><b>Definition:</b> <a href="ExeState_8h_source.html#l00183">ExeState.h:183</a></div></div>
377
389
  <div class="ttc" id="aclassSVF_1_1AddressValue_html_a3be7a2e3ec3215b67cd60f122d2cd10e"><div class="ttname"><a href="classSVF_1_1AddressValue.html#a3be7a2e3ec3215b67cd60f122d2cd10e">SVF::AddressValue::getInternalID</a></div><div class="ttdeci">static u32_t getInternalID(u32_t idx)</div><div class="ttdoc">Return the internal index if idx is an address otherwise return the value of idx.</div><div class="ttdef"><b>Definition:</b> <a href="AddressValue_8h_source.html#l00215">AddressValue.h:215</a></div></div>
378
- <div class="ttc" id="aclassSVF_1_1ExeState_html_ab828094e1026046814c1e3d44d3f084c"><div class="ttname"><a href="classSVF_1_1ExeState.html#ab828094e1026046814c1e3d44d3f084c">SVF::ExeState::operator!=</a></div><div class="ttdeci">virtual bool operator!=(const ExeState &amp;rhs) const</div><div class="ttdef"><b>Definition:</b> <a href="ExeState_8h_source.html#l00095">ExeState.h:95</a></div></div>
390
+ <div class="ttc" id="aclassSVF_1_1ExeState_html_ab828094e1026046814c1e3d44d3f084c"><div class="ttname"><a href="classSVF_1_1ExeState.html#ab828094e1026046814c1e3d44d3f084c">SVF::ExeState::operator!=</a></div><div class="ttdeci">virtual bool operator!=(const ExeState &amp;rhs) const</div><div class="ttdef"><b>Definition:</b> <a href="ExeState_8h_source.html#l00178">ExeState.h:178</a></div></div>
379
391
  <div class="ttc" id="aclassSVF_1_1ExeState_html_a62bef487b31f2a4ca27b4e9b183bdef5"><div class="ttname"><a href="classSVF_1_1ExeState.html#a62bef487b31f2a4ca27b4e9b183bdef5">SVF::ExeState::ExeState</a></div><div class="ttdeci">ExeState(const ExeState &amp;rhs)</div><div class="ttdef"><b>Definition:</b> <a href="ExeState_8h_source.html#l00067">ExeState.h:67</a></div></div>
380
- <div class="ttc" id="aclassSVF_1_1ExeState_html_a3c1ea75e3a97aa18d4d10a85c1829d83"><div class="ttname"><a href="classSVF_1_1ExeState.html#a3c1ea75e3a97aa18d4d10a85c1829d83">SVF::ExeState::loadVAddrs</a></div><div class="ttdeci">virtual VAddrs &amp; loadVAddrs(u32_t addr)</div><div class="ttdef"><b>Definition:</b> <a href="ExeState_8h_source.html#l00159">ExeState.h:159</a></div></div>
381
- <div class="ttc" id="aclassSVF_1_1ExeState_html_ad2f921623e41209c6702534c98431403"><div class="ttname"><a href="classSVF_1_1ExeState.html#ad2f921623e41209c6702534c98431403">SVF::ExeState::locToAddrs</a></div><div class="ttdeci">virtual std::string locToAddrs(u32_t objId) const</div><div class="ttdef"><b>Definition:</b> <a href="ExeState_8h_source.html#l00223">ExeState.h:223</a></div></div>
392
+ <div class="ttc" id="aclassSVF_1_1ExeState_html_ad2f921623e41209c6702534c98431403"><div class="ttname"><a href="classSVF_1_1ExeState.html#ad2f921623e41209c6702534c98431403">SVF::ExeState::locToAddrs</a></div><div class="ttdeci">virtual std::string locToAddrs(u32_t objId) const</div><div class="ttdef"><b>Definition:</b> <a href="ExeState_8h_source.html#l00236">ExeState.h:236</a></div></div>
382
393
  <div class="ttc" id="aclassSVF_1_1ExeState_html_a0e4c8a41aa861ff2862d8b620c902f21"><div class="ttname"><a href="classSVF_1_1ExeState.html#a0e4c8a41aa861ff2862d8b620c902f21">SVF::ExeState::operator==</a></div><div class="ttdeci">virtual bool operator==(const ExeState &amp;rhs) const</div><div class="ttdef"><b>Definition:</b> <a href="ExeState_8cpp_source.html#l00035">ExeState.cpp:35</a></div></div>
383
- <div class="ttc" id="aclassSVF_1_1ExeState_html_ab72f3bc855feeda75e11768ab03ad84e"><div class="ttname"><a href="classSVF_1_1ExeState.html#ab72f3bc855feeda75e11768ab03ad84e">SVF::ExeState::getInternalID</a></div><div class="ttdeci">static u32_t getInternalID(u32_t idx)</div><div class="ttdoc">Return the internal index if idx is an address otherwise return the value of idx.</div><div class="ttdef"><b>Definition:</b> <a href="ExeState_8h_source.html#l00270">ExeState.h:270</a></div></div>
394
+ <div class="ttc" id="aclassSVF_1_1ExeState_html_ad317f2ae2e599a131a6fd9f415f5d712"><div class="ttname"><a href="classSVF_1_1ExeState.html#ad317f2ae2e599a131a6fd9f415f5d712">SVF::ExeState::_varToAddrs</a></div><div class="ttdeci">VarToAddrs _varToAddrs</div><div class="ttdoc">Map a variable (symbol) to its memory addresses.</div><div class="ttdef"><b>Definition:</b> <a href="ExeState_8h_source.html#l00095">ExeState.h:95</a></div></div>
395
+ <div class="ttc" id="aclassSVF_1_1ExeState_html_ab72f3bc855feeda75e11768ab03ad84e"><div class="ttname"><a href="classSVF_1_1ExeState.html#ab72f3bc855feeda75e11768ab03ad84e">SVF::ExeState::getInternalID</a></div><div class="ttdeci">static u32_t getInternalID(u32_t idx)</div><div class="ttdoc">Return the internal index if idx is an address otherwise return the value of idx.</div><div class="ttdef"><b>Definition:</b> <a href="ExeState_8h_source.html#l00283">ExeState.h:283</a></div></div>
384
396
  <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>
385
397
  <div class="ttc" id="aclassSVF_1_1AddressValue_html_ab76f47f97262d40dbbee12f466f746e8"><div class="ttname"><a href="classSVF_1_1AddressValue.html#ab76f47f97262d40dbbee12f466f746e8">SVF::AddressValue::isVirtualMemAddress</a></div><div class="ttdeci">static bool isVirtualMemAddress(u32_t val)</div><div class="ttdoc">Check bit value of val start with 0x7F000000, filter by 0xFF000000.</div><div class="ttdef"><b>Definition:</b> <a href="AddressValue_8h_source.html#l00209">AddressValue.h:209</a></div></div>
386
- <div class="ttc" id="aclassSVF_1_1ExeState_html_a6dfff6d4302faeb80c78a512f32b529f"><div class="ttname"><a href="classSVF_1_1ExeState.html#a6dfff6d4302faeb80c78a512f32b529f">SVF::ExeState::inVarToAddrsTable</a></div><div class="ttdeci">virtual bool inVarToAddrsTable(u32_t id) const</div><div class="ttdef"><b>Definition:</b> <a href="ExeState_8h_source.html#l00136">ExeState.h:136</a></div></div>
398
+ <div class="ttc" id="aclassSVF_1_1ExeState_html_a6dfff6d4302faeb80c78a512f32b529f"><div class="ttname"><a href="classSVF_1_1ExeState.html#a6dfff6d4302faeb80c78a512f32b529f">SVF::ExeState::inVarToAddrsTable</a></div><div class="ttdeci">virtual bool inVarToAddrsTable(u32_t id) const</div><div class="ttdoc">whether the variable is in varToAddrs table</div><div class="ttdef"><b>Definition:</b> <a href="ExeState_8h_source.html#l00107">ExeState.h:107</a></div></div>
387
399
  <div class="ttc" id="aclassSVF_1_1ExeState_html_a259b93247e06141077b2c1ae15efcbb8acb163848414937d2331958216330a20e"><div class="ttname"><a href="classSVF_1_1ExeState.html#a259b93247e06141077b2c1ae15efcbb8acb163848414937d2331958216330a20e">SVF::ExeState::SingleValueK</a></div><div class="ttdeci">@ SingleValueK</div><div class="ttdef"><b>Definition:</b> <a href="ExeState_8h_source.html#l00057">ExeState.h:57</a></div></div>
388
- <div class="ttc" id="aclassSVF_1_1ExeState_html_aab6dfbae3f5d743d5fff6bba3327f231"><div class="ttname"><a href="classSVF_1_1ExeState.html#aab6dfbae3f5d743d5fff6bba3327f231">SVF::ExeState::VarToVAddrs</a></div><div class="ttdeci">Map&lt; u32_t, VAddrs &gt; VarToVAddrs</div><div class="ttdef"><b>Definition:</b> <a href="ExeState_8h_source.html#l00053">ExeState.h:53</a></div></div>
389
400
  <div class="ttc" id="aclassSVF_1_1AddressValue_html"><div class="ttname"><a href="classSVF_1_1AddressValue.html">SVF::AddressValue</a></div><div class="ttdef"><b>Definition:</b> <a href="AddressValue_8h_source.html#l00041">AddressValue.h:41</a></div></div>
390
- <div class="ttc" id="aclassSVF_1_1ExeState_html_aebbcf15653f00e07cb7a754d1e314d69"><div class="ttname"><a href="classSVF_1_1ExeState.html#aebbcf15653f00e07cb7a754d1e314d69">SVF::ExeState::getVarToVAddrs</a></div><div class="ttdeci">virtual const VarToVAddrs &amp; getVarToVAddrs() const</div><div class="ttdef"><b>Definition:</b> <a href="ExeState_8h_source.html#l00126">ExeState.h:126</a></div></div>
391
401
  <div class="ttc" id="acJSON_8h_html_ac76cea59d438ba893d2f82aabb367d14"><div class="ttname"><a href="cJSON_8h.html#ac76cea59d438ba893d2f82aabb367d14">item</a></div><div class="ttdeci">cJSON * item</div><div class="ttdef"><b>Definition:</b> <a href="cJSON_8h_source.html#l00222">cJSON.h:222</a></div></div>
392
- <div class="ttc" id="aclassSVF_1_1ExeState_html_afcb9e71dc8686d5c125d63596bd4f442"><div class="ttname"><a href="classSVF_1_1ExeState.html#afcb9e71dc8686d5c125d63596bd4f442">SVF::ExeState::getLocToVAddrs</a></div><div class="ttdeci">virtual const VarToVAddrs &amp; getLocToVAddrs() const</div><div class="ttdef"><b>Definition:</b> <a href="ExeState_8h_source.html#l00131">ExeState.h:131</a></div></div>
393
402
  <div class="ttc" id="aclassSVF_1_1AddressValue_html_aa6ccc9882f89804cd6566e3dfe3dfdc8"><div class="ttname"><a href="classSVF_1_1AddressValue.html#aa6ccc9882f89804cd6566e3dfe3dfdc8">SVF::AddressValue::getVirtualMemAddress</a></div><div class="ttdeci">static u32_t getVirtualMemAddress(u32_t idx)</div><div class="ttdoc">The physical address starts with 0x7f...... + idx.</div><div class="ttdef"><b>Definition:</b> <a href="AddressValue_8h_source.html#l00203">AddressValue.h:203</a></div></div>
403
+ <div class="ttc" id="aclassSVF_1_1ExeState_html_a79866a547dc4805d3fefdfd528d2df2a"><div class="ttname"><a href="classSVF_1_1ExeState.html#a79866a547dc4805d3fefdfd528d2df2a">SVF::ExeState::_locToAddrs</a></div><div class="ttdeci">VarToAddrs _locToAddrs</div><div class="ttdoc">Map a memory address to its stored memory addresses.</div><div class="ttdef"><b>Definition:</b> <a href="ExeState_8h_source.html#l00096">ExeState.h:96</a></div></div>
394
404
  <div class="ttc" id="aclassSVF_1_1ExeState_html_aebeb2054a8118fd33df9fef31bacda03"><div class="ttname"><a href="classSVF_1_1ExeState.html#aebeb2054a8118fd33df9fef31bacda03">SVF::ExeState::operator=</a></div><div class="ttdeci">ExeState &amp; operator=(const ExeState &amp;rhs)</div><div class="ttdef"><b>Definition:</b> <a href="ExeState_8h_source.html#l00073">ExeState.h:73</a></div></div>
395
- <div class="ttc" id="aclassSVF_1_1ExeState_html_aa1355e828af78b55b5d23f2dffa330f1"><div class="ttname"><a href="classSVF_1_1ExeState.html#aa1355e828af78b55b5d23f2dffa330f1">SVF::ExeState::VAddrs</a></div><div class="ttdeci">AddressValue VAddrs</div><div class="ttdef"><b>Definition:</b> <a href="ExeState_8h_source.html#l00052">ExeState.h:52</a></div></div>
396
405
  <div class="ttc" id="aclassSVF_1_1ExeState_html_a2e79702693c4fce03ab9fc03d1ceb2b8"><div class="ttname"><a href="classSVF_1_1ExeState.html#a2e79702693c4fce03ab9fc03d1ceb2b8">SVF::ExeState::ExeState</a></div><div class="ttdeci">ExeState(ExeState &amp;&amp;rhs) noexcept</div><div class="ttdef"><b>Definition:</b> <a href="ExeState_8h_source.html#l00070">ExeState.h:70</a></div></div>
397
406
  <div class="ttc" id="aclassSVF_1_1ExeState_html_a56dc11162e701d8d48ea354f9d380167"><div class="ttname"><a href="classSVF_1_1ExeState.html#a56dc11162e701d8d48ea354f9d380167">SVF::ExeState::~ExeState</a></div><div class="ttdeci">virtual ~ExeState()=default</div></div>
398
- <div class="ttc" id="aclassSVF_1_1ExeState_html_af58dd98bbad68a7c72e16831be26c677"><div class="ttname"><a href="classSVF_1_1ExeState.html#af58dd98bbad68a7c72e16831be26c677">SVF::ExeState::toString</a></div><div class="ttdeci">virtual std::string toString() const</div><div class="ttdef"><b>Definition:</b> <a href="ExeState_8h_source.html#l00116">ExeState.h:116</a></div></div>
407
+ <div class="ttc" id="aclassSVF_1_1ExeState_html_af58dd98bbad68a7c72e16831be26c677"><div class="ttname"><a href="classSVF_1_1ExeState.html#af58dd98bbad68a7c72e16831be26c677">SVF::ExeState::toString</a></div><div class="ttdeci">virtual std::string toString() const</div><div class="ttdef"><b>Definition:</b> <a href="ExeState_8h_source.html#l00141">ExeState.h:141</a></div></div>
399
408
  <div class="ttc" id="anamespaceSVF_html_a8234d4b959abc9123993bcff4eee34c1"><div class="ttname"><a href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">SVF::Map</a></div><div class="ttdeci">std::unordered_map&lt; Key, Value, Hash, KeyEqual, Allocator &gt; Map</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00102">SVFType.h:102</a></div></div>
400
409
  <div class="ttc" id="aclassSVF_1_1ExeState_html_a2545017305d54f6416ba48cb45e43cb8"><div class="ttname"><a href="classSVF_1_1ExeState.html#a2545017305d54f6416ba48cb45e43cb8">SVF::ExeState::_kind</a></div><div class="ttdeci">ExeState_TYPE _kind</div><div class="ttdef"><b>Definition:</b> <a href="ExeState_8h_source.html#l00060">ExeState.h:60</a></div></div>
401
- <div class="ttc" id="aclassSVF_1_1ExeState_html_a2f01e583abcdeb236a11e85c7a8aafdc"><div class="ttname"><a href="classSVF_1_1ExeState.html#a2f01e583abcdeb236a11e85c7a8aafdc">SVF::ExeState::getVirtualMemAddress</a></div><div class="ttdeci">static u32_t getVirtualMemAddress(u32_t idx)</div><div class="ttdoc">The physical address starts with 0x7f...... + idx.</div><div class="ttdef"><b>Definition:</b> <a href="ExeState_8h_source.html#l00258">ExeState.h:258</a></div></div>
410
+ <div class="ttc" id="aclassSVF_1_1ExeState_html_a99f4437a7e350fec131d48f52082d672"><div class="ttname"><a href="classSVF_1_1ExeState.html#a99f4437a7e350fec131d48f52082d672">SVF::ExeState::storeAddrs</a></div><div class="ttdeci">virtual void storeAddrs(u32_t addr, const Addrs &amp;vaddrs)</div><div class="ttdef"><b>Definition:</b> <a href="ExeState_8h_source.html#l00154">ExeState.h:154</a></div></div>
411
+ <div class="ttc" id="aclassSVF_1_1ExeState_html_a2f01e583abcdeb236a11e85c7a8aafdc"><div class="ttname"><a href="classSVF_1_1ExeState.html#a2f01e583abcdeb236a11e85c7a8aafdc">SVF::ExeState::getVirtualMemAddress</a></div><div class="ttdeci">static u32_t getVirtualMemAddress(u32_t idx)</div><div class="ttdoc">The physical address starts with 0x7f...... + idx.</div><div class="ttdef"><b>Definition:</b> <a href="ExeState_8h_source.html#l00271">ExeState.h:271</a></div></div>
402
412
  <div class="ttc" id="aAddressValue_8h_html"><div class="ttname"><a href="AddressValue_8h.html">AddressValue.h</a></div></div>
403
- <div class="ttc" id="aclassSVF_1_1ExeState_html_ab7f7de02202838bb9e3da5410983cfb1"><div class="ttname"><a href="classSVF_1_1ExeState.html#ab7f7de02202838bb9e3da5410983cfb1">SVF::ExeState::getExeStateKind</a></div><div class="ttdeci">ExeState_TYPE getExeStateKind() const</div><div class="ttdef"><b>Definition:</b> <a href="ExeState_8h_source.html#l00121">ExeState.h:121</a></div></div>
404
- <div class="ttc" id="aclassSVF_1_1ExeState_html_a8edd5f30ab971ce893ffdb39d8b6a265"><div class="ttname"><a href="classSVF_1_1ExeState.html#a8edd5f30ab971ce893ffdb39d8b6a265">SVF::ExeState::isNullPtr</a></div><div class="ttdeci">bool isNullPtr(u32_t addr)</div><div class="ttdef"><b>Definition:</b> <a href="ExeState_8h_source.html#l00166">ExeState.h:166</a></div></div>
413
+ <div class="ttc" id="aclassSVF_1_1ExeState_html_ab7f7de02202838bb9e3da5410983cfb1"><div class="ttname"><a href="classSVF_1_1ExeState.html#ab7f7de02202838bb9e3da5410983cfb1">SVF::ExeState::getExeStateKind</a></div><div class="ttdeci">ExeState_TYPE getExeStateKind() const</div><div class="ttdef"><b>Definition:</b> <a href="ExeState_8h_source.html#l00146">ExeState.h:146</a></div></div>
414
+ <div class="ttc" id="aclassSVF_1_1ExeState_html_a8edd5f30ab971ce893ffdb39d8b6a265"><div class="ttname"><a href="classSVF_1_1ExeState.html#a8edd5f30ab971ce893ffdb39d8b6a265">SVF::ExeState::isNullPtr</a></div><div class="ttdeci">bool isNullPtr(u32_t addr)</div><div class="ttdef"><b>Definition:</b> <a href="ExeState_8h_source.html#l00169">ExeState.h:169</a></div></div>
405
415
  <div class="ttc" id="anamespaceSVF_html_ad42bff8d0a7d60a085aa32d10f4955af"><div class="ttname"><a href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">SVF::u32_t</a></div><div class="ttdeci">unsigned u32_t</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00051">SVFType.h:51</a></div></div>
406
416
  <div class="ttc" id="aZ3Expr_8h_html"><div class="ttname"><a href="Z3Expr_8h.html">Z3Expr.h</a></div></div>
407
417
  <div class="ttc" id="aclassSVF_1_1ExeState_html_a259b93247e06141077b2c1ae15efcbb8a39d5fb8ca9906072253f8af46b916351"><div class="ttname"><a href="classSVF_1_1ExeState.html#a259b93247e06141077b2c1ae15efcbb8a39d5fb8ca9906072253f8af46b916351">SVF::ExeState::IntervalK</a></div><div class="ttdeci">@ IntervalK</div><div class="ttdef"><b>Definition:</b> <a href="ExeState_8h_source.html#l00057">ExeState.h:57</a></div></div>
408
- <div class="ttc" id="aclassSVF_1_1ExeState_html_a259b93247e06141077b2c1ae15efcbb8"><div class="ttname"><a href="classSVF_1_1ExeState.html#a259b93247e06141077b2c1ae15efcbb8">SVF::ExeState::ExeState_TYPE</a></div><div class="ttdeci">ExeState_TYPE</div><div class="ttdoc">Execution state kind.</div><div class="ttdef"><b>Definition:</b> <a href="ExeState_8h_source.html#l00055">ExeState.h:55</a></div></div>
418
+ <div class="ttc" id="aclassSVF_1_1ExeState_html_a259b93247e06141077b2c1ae15efcbb8"><div class="ttname"><a href="classSVF_1_1ExeState.html#a259b93247e06141077b2c1ae15efcbb8">SVF::ExeState::ExeState_TYPE</a></div><div class="ttdeci">ExeState_TYPE</div><div class="ttdoc">Execution state type.</div><div class="ttdef"><b>Definition:</b> <a href="ExeState_8h_source.html#l00055">ExeState.h:55</a></div></div>
409
419
  <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#l00103">AddressValue.h:103</a></div></div>
410
420
  <!-- start footer part -->
411
421
  <hr class="footer"/><address class="footer"><small>