svf-tools 1.0.913 → 1.0.914

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 (264) hide show
  1. package/SVF-doxygen/html/AbstractInterpretation_8cpp.html +6 -4
  2. package/SVF-doxygen/html/AbstractInterpretation_8cpp_source.html +1592 -1609
  3. package/SVF-doxygen/html/AbstractInterpretation_8h_source.html +157 -144
  4. package/SVF-doxygen/html/BufOverflowChecker_8cpp_source.html +797 -786
  5. package/SVF-doxygen/html/BufOverflowChecker_8h_source.html +7 -7
  6. package/SVF-doxygen/html/SVFIR2AbsState_8cpp_source.html +815 -826
  7. package/SVF-doxygen/html/SVFIR2AbsState_8h_source.html +153 -196
  8. package/SVF-doxygen/html/classSVF_1_1AEStat.html +116 -120
  9. package/SVF-doxygen/html/classSVF_1_1AbstractInterpretation-members.html +32 -32
  10. package/SVF-doxygen/html/classSVF_1_1AbstractInterpretation.html +1736 -1681
  11. package/SVF-doxygen/html/classSVF_1_1BufOverflowChecker-members.html +32 -32
  12. package/SVF-doxygen/html/classSVF_1_1BufOverflowChecker.html +471 -462
  13. package/SVF-doxygen/html/classSVF_1_1SVFIR2AbsState-members.html +35 -47
  14. package/SVF-doxygen/html/classSVF_1_1SVFIR2AbsState.html +1261 -1546
  15. package/SVF-doxygen/html/dir_9a8e7a56f4029a0d9f62b1c6d1f6e85b.html +0 -2
  16. package/SVF-doxygen/html/files.html +0 -1
  17. package/SVF-doxygen/html/functions.html +4 -7
  18. package/SVF-doxygen/html/functions_a.html +2 -2
  19. package/SVF-doxygen/html/functions_f.html +3 -3
  20. package/SVF-doxygen/html/functions_func.html +2 -2
  21. package/SVF-doxygen/html/functions_func_g.html +40 -40
  22. package/SVF-doxygen/html/functions_func_h.html +21 -57
  23. package/SVF-doxygen/html/functions_func_i.html +23 -14
  24. package/SVF-doxygen/html/functions_func_n.html +1 -1
  25. package/SVF-doxygen/html/functions_func_s.html +13 -19
  26. package/SVF-doxygen/html/functions_func_t.html +1 -1
  27. package/SVF-doxygen/html/functions_func_w.html +1 -1
  28. package/SVF-doxygen/html/functions_g.html +35 -35
  29. package/SVF-doxygen/html/functions_h.html +18 -54
  30. package/SVF-doxygen/html/functions_i.html +32 -23
  31. package/SVF-doxygen/html/functions_l.html +3 -3
  32. package/SVF-doxygen/html/functions_n.html +1 -1
  33. package/SVF-doxygen/html/functions_o.html +4 -4
  34. package/SVF-doxygen/html/functions_p.html +16 -14
  35. package/SVF-doxygen/html/functions_r.html +6 -6
  36. package/SVF-doxygen/html/functions_s.html +22 -26
  37. package/SVF-doxygen/html/functions_t.html +13 -13
  38. package/SVF-doxygen/html/functions_v.html +3 -3
  39. package/SVF-doxygen/html/functions_vars.html +4 -7
  40. package/SVF-doxygen/html/functions_w.html +1 -1
  41. package/SVF-doxygen/html/search/all_0.js +131 -132
  42. package/SVF-doxygen/html/search/all_1.js +504 -504
  43. package/SVF-doxygen/html/search/all_10.js +326 -326
  44. package/SVF-doxygen/html/search/all_11.js +227 -227
  45. package/SVF-doxygen/html/search/all_12.js +559 -562
  46. package/SVF-doxygen/html/search/all_13.js +186 -186
  47. package/SVF-doxygen/html/search/all_14.js +74 -74
  48. package/SVF-doxygen/html/search/all_15.js +175 -175
  49. package/SVF-doxygen/html/search/all_16.js +77 -77
  50. package/SVF-doxygen/html/search/all_17.js +1 -1
  51. package/SVF-doxygen/html/search/all_18.js +1 -1
  52. package/SVF-doxygen/html/search/all_19.js +27 -27
  53. package/SVF-doxygen/html/search/all_1a.js +174 -174
  54. package/SVF-doxygen/html/search/all_2.js +180 -180
  55. package/SVF-doxygen/html/search/all_3.js +635 -635
  56. package/SVF-doxygen/html/search/all_4.js +237 -237
  57. package/SVF-doxygen/html/search/all_5.js +120 -120
  58. package/SVF-doxygen/html/search/all_6.js +236 -236
  59. package/SVF-doxygen/html/search/all_7.js +1039 -1039
  60. package/SVF-doxygen/html/search/all_8.js +212 -224
  61. package/SVF-doxygen/html/search/all_9.js +630 -627
  62. package/SVF-doxygen/html/search/all_a.js +46 -46
  63. package/SVF-doxygen/html/search/all_b.js +24 -24
  64. package/SVF-doxygen/html/search/all_c.js +111 -111
  65. package/SVF-doxygen/html/search/all_d.js +204 -204
  66. package/SVF-doxygen/html/search/all_e.js +207 -207
  67. package/SVF-doxygen/html/search/all_f.js +122 -122
  68. package/SVF-doxygen/html/search/classes_0.js +29 -29
  69. package/SVF-doxygen/html/search/classes_1.js +11 -11
  70. package/SVF-doxygen/html/search/classes_10.js +71 -71
  71. package/SVF-doxygen/html/search/classes_11.js +14 -14
  72. package/SVF-doxygen/html/search/classes_12.js +2 -2
  73. package/SVF-doxygen/html/search/classes_13.js +10 -10
  74. package/SVF-doxygen/html/search/classes_14.js +19 -19
  75. package/SVF-doxygen/html/search/classes_15.js +1 -1
  76. package/SVF-doxygen/html/search/classes_2.js +72 -72
  77. package/SVF-doxygen/html/search/classes_3.js +35 -35
  78. package/SVF-doxygen/html/search/classes_4.js +7 -7
  79. package/SVF-doxygen/html/search/classes_5.js +28 -28
  80. package/SVF-doxygen/html/search/classes_6.js +98 -98
  81. package/SVF-doxygen/html/search/classes_7.js +33 -33
  82. package/SVF-doxygen/html/search/classes_8.js +57 -57
  83. package/SVF-doxygen/html/search/classes_9.js +1 -1
  84. package/SVF-doxygen/html/search/classes_a.js +12 -12
  85. package/SVF-doxygen/html/search/classes_b.js +29 -29
  86. package/SVF-doxygen/html/search/classes_c.js +6 -6
  87. package/SVF-doxygen/html/search/classes_d.js +19 -19
  88. package/SVF-doxygen/html/search/classes_e.js +36 -36
  89. package/SVF-doxygen/html/search/classes_f.js +25 -25
  90. package/SVF-doxygen/html/search/defines_0.js +3 -3
  91. package/SVF-doxygen/html/search/defines_1.js +3 -3
  92. package/SVF-doxygen/html/search/defines_10.js +2 -2
  93. package/SVF-doxygen/html/search/defines_2.js +30 -30
  94. package/SVF-doxygen/html/search/defines_3.js +20 -20
  95. package/SVF-doxygen/html/search/defines_4.js +3 -3
  96. package/SVF-doxygen/html/search/defines_5.js +4 -4
  97. package/SVF-doxygen/html/search/defines_6.js +2 -2
  98. package/SVF-doxygen/html/search/defines_7.js +5 -5
  99. package/SVF-doxygen/html/search/defines_8.js +11 -11
  100. package/SVF-doxygen/html/search/defines_9.js +9 -9
  101. package/SVF-doxygen/html/search/defines_a.js +2 -2
  102. package/SVF-doxygen/html/search/defines_b.js +1 -1
  103. package/SVF-doxygen/html/search/defines_c.js +3 -3
  104. package/SVF-doxygen/html/search/defines_d.js +2 -2
  105. package/SVF-doxygen/html/search/defines_e.js +8 -8
  106. package/SVF-doxygen/html/search/defines_f.js +4 -4
  107. package/SVF-doxygen/html/search/enums_0.js +3 -3
  108. package/SVF-doxygen/html/search/enums_1.js +2 -2
  109. package/SVF-doxygen/html/search/enums_10.js +1 -1
  110. package/SVF-doxygen/html/search/enums_11.js +1 -1
  111. package/SVF-doxygen/html/search/enums_2.js +9 -9
  112. package/SVF-doxygen/html/search/enums_3.js +2 -2
  113. package/SVF-doxygen/html/search/enums_4.js +3 -3
  114. package/SVF-doxygen/html/search/enums_5.js +1 -1
  115. package/SVF-doxygen/html/search/enums_6.js +2 -2
  116. package/SVF-doxygen/html/search/enums_7.js +2 -2
  117. package/SVF-doxygen/html/search/enums_8.js +4 -4
  118. package/SVF-doxygen/html/search/enums_9.js +1 -1
  119. package/SVF-doxygen/html/search/enums_a.js +1 -1
  120. package/SVF-doxygen/html/search/enums_b.js +7 -7
  121. package/SVF-doxygen/html/search/enums_c.js +1 -1
  122. package/SVF-doxygen/html/search/enums_d.js +4 -4
  123. package/SVF-doxygen/html/search/enums_e.js +2 -2
  124. package/SVF-doxygen/html/search/enums_f.js +4 -4
  125. package/SVF-doxygen/html/search/enumvalues_0.js +15 -15
  126. package/SVF-doxygen/html/search/enumvalues_1.js +16 -16
  127. package/SVF-doxygen/html/search/enumvalues_10.js +36 -36
  128. package/SVF-doxygen/html/search/enumvalues_11.js +6 -6
  129. package/SVF-doxygen/html/search/enumvalues_12.js +10 -10
  130. package/SVF-doxygen/html/search/enumvalues_13.js +1 -1
  131. package/SVF-doxygen/html/search/enumvalues_14.js +1 -1
  132. package/SVF-doxygen/html/search/enumvalues_15.js +4 -4
  133. package/SVF-doxygen/html/search/enumvalues_2.js +36 -36
  134. package/SVF-doxygen/html/search/enumvalues_3.js +13 -13
  135. package/SVF-doxygen/html/search/enumvalues_4.js +2 -2
  136. package/SVF-doxygen/html/search/enumvalues_5.js +50 -50
  137. package/SVF-doxygen/html/search/enumvalues_6.js +6 -6
  138. package/SVF-doxygen/html/search/enumvalues_7.js +8 -8
  139. package/SVF-doxygen/html/search/enumvalues_8.js +24 -24
  140. package/SVF-doxygen/html/search/enumvalues_9.js +6 -6
  141. package/SVF-doxygen/html/search/enumvalues_a.js +17 -17
  142. package/SVF-doxygen/html/search/enumvalues_b.js +11 -11
  143. package/SVF-doxygen/html/search/enumvalues_c.js +5 -5
  144. package/SVF-doxygen/html/search/enumvalues_d.js +19 -19
  145. package/SVF-doxygen/html/search/enumvalues_e.js +9 -9
  146. package/SVF-doxygen/html/search/enumvalues_f.js +48 -48
  147. package/SVF-doxygen/html/search/files_0.js +18 -18
  148. package/SVF-doxygen/html/search/files_1.js +9 -9
  149. package/SVF-doxygen/html/search/files_10.js +8 -8
  150. package/SVF-doxygen/html/search/files_11.js +8 -8
  151. package/SVF-doxygen/html/search/files_12.js +2 -2
  152. package/SVF-doxygen/html/search/files_2.js +51 -51
  153. package/SVF-doxygen/html/search/files_3.js +14 -14
  154. package/SVF-doxygen/html/search/files_4.js +3 -3
  155. package/SVF-doxygen/html/search/files_5.js +13 -13
  156. package/SVF-doxygen/html/search/files_6.js +10 -10
  157. package/SVF-doxygen/html/search/files_7.js +15 -15
  158. package/SVF-doxygen/html/search/files_8.js +13 -13
  159. package/SVF-doxygen/html/search/files_9.js +18 -18
  160. package/SVF-doxygen/html/search/files_a.js +3 -3
  161. package/SVF-doxygen/html/search/files_b.js +4 -4
  162. package/SVF-doxygen/html/search/files_c.js +20 -20
  163. package/SVF-doxygen/html/search/files_d.js +4 -4
  164. package/SVF-doxygen/html/search/files_e.js +56 -57
  165. package/SVF-doxygen/html/search/files_f.js +8 -8
  166. package/SVF-doxygen/html/search/functions_0.js +13 -13
  167. package/SVF-doxygen/html/search/functions_1.js +366 -366
  168. package/SVF-doxygen/html/search/functions_10.js +140 -140
  169. package/SVF-doxygen/html/search/functions_11.js +140 -140
  170. package/SVF-doxygen/html/search/functions_12.js +291 -293
  171. package/SVF-doxygen/html/search/functions_13.js +52 -52
  172. package/SVF-doxygen/html/search/functions_14.js +41 -41
  173. package/SVF-doxygen/html/search/functions_15.js +70 -70
  174. package/SVF-doxygen/html/search/functions_16.js +38 -38
  175. package/SVF-doxygen/html/search/functions_17.js +3 -3
  176. package/SVF-doxygen/html/search/functions_18.js +174 -174
  177. package/SVF-doxygen/html/search/functions_2.js +92 -92
  178. package/SVF-doxygen/html/search/functions_3.js +257 -257
  179. package/SVF-doxygen/html/search/functions_4.js +85 -85
  180. package/SVF-doxygen/html/search/functions_5.js +54 -54
  181. package/SVF-doxygen/html/search/functions_6.js +65 -65
  182. package/SVF-doxygen/html/search/functions_7.js +857 -857
  183. package/SVF-doxygen/html/search/functions_8.js +164 -176
  184. package/SVF-doxygen/html/search/functions_9.js +439 -436
  185. package/SVF-doxygen/html/search/functions_a.js +30 -30
  186. package/SVF-doxygen/html/search/functions_b.js +2 -2
  187. package/SVF-doxygen/html/search/functions_c.js +22 -22
  188. package/SVF-doxygen/html/search/functions_d.js +81 -81
  189. package/SVF-doxygen/html/search/functions_e.js +34 -34
  190. package/SVF-doxygen/html/search/functions_f.js +58 -58
  191. package/SVF-doxygen/html/search/namespaces_0.js +1 -1
  192. package/SVF-doxygen/html/search/namespaces_1.js +7 -7
  193. package/SVF-doxygen/html/search/related_0.js +4 -4
  194. package/SVF-doxygen/html/search/related_1.js +2 -2
  195. package/SVF-doxygen/html/search/related_2.js +2 -2
  196. package/SVF-doxygen/html/search/related_3.js +2 -2
  197. package/SVF-doxygen/html/search/related_4.js +2 -2
  198. package/SVF-doxygen/html/search/related_5.js +1 -1
  199. package/SVF-doxygen/html/search/related_6.js +2 -2
  200. package/SVF-doxygen/html/search/related_7.js +5 -5
  201. package/SVF-doxygen/html/search/related_8.js +2 -2
  202. package/SVF-doxygen/html/search/related_9.js +4 -4
  203. package/SVF-doxygen/html/search/related_a.js +19 -19
  204. package/SVF-doxygen/html/search/related_b.js +4 -4
  205. package/SVF-doxygen/html/search/related_c.js +2 -2
  206. package/SVF-doxygen/html/search/related_d.js +11 -11
  207. package/SVF-doxygen/html/search/related_e.js +2 -2
  208. package/SVF-doxygen/html/search/related_f.js +2 -2
  209. package/SVF-doxygen/html/search/typedefs_0.js +20 -20
  210. package/SVF-doxygen/html/search/typedefs_1.js +27 -27
  211. package/SVF-doxygen/html/search/typedefs_10.js +65 -65
  212. package/SVF-doxygen/html/search/typedefs_11.js +12 -12
  213. package/SVF-doxygen/html/search/typedefs_12.js +13 -13
  214. package/SVF-doxygen/html/search/typedefs_13.js +40 -40
  215. package/SVF-doxygen/html/search/typedefs_14.js +11 -11
  216. package/SVF-doxygen/html/search/typedefs_2.js +125 -125
  217. package/SVF-doxygen/html/search/typedefs_3.js +39 -39
  218. package/SVF-doxygen/html/search/typedefs_4.js +17 -17
  219. package/SVF-doxygen/html/search/typedefs_5.js +42 -42
  220. package/SVF-doxygen/html/search/typedefs_6.js +54 -54
  221. package/SVF-doxygen/html/search/typedefs_7.js +47 -47
  222. package/SVF-doxygen/html/search/typedefs_8.js +1 -1
  223. package/SVF-doxygen/html/search/typedefs_9.js +4 -4
  224. package/SVF-doxygen/html/search/typedefs_a.js +28 -28
  225. package/SVF-doxygen/html/search/typedefs_b.js +29 -29
  226. package/SVF-doxygen/html/search/typedefs_c.js +41 -41
  227. package/SVF-doxygen/html/search/typedefs_d.js +15 -15
  228. package/SVF-doxygen/html/search/typedefs_e.js +52 -52
  229. package/SVF-doxygen/html/search/typedefs_f.js +14 -14
  230. package/SVF-doxygen/html/search/variables_0.js +169 -170
  231. package/SVF-doxygen/html/search/variables_1.js +78 -78
  232. package/SVF-doxygen/html/search/variables_10.js +98 -98
  233. package/SVF-doxygen/html/search/variables_11.js +47 -47
  234. package/SVF-doxygen/html/search/variables_12.js +93 -93
  235. package/SVF-doxygen/html/search/variables_13.js +76 -76
  236. package/SVF-doxygen/html/search/variables_14.js +14 -14
  237. package/SVF-doxygen/html/search/variables_15.js +49 -49
  238. package/SVF-doxygen/html/search/variables_16.js +11 -11
  239. package/SVF-doxygen/html/search/variables_17.js +1 -1
  240. package/SVF-doxygen/html/search/variables_18.js +17 -17
  241. package/SVF-doxygen/html/search/variables_2.js +40 -40
  242. package/SVF-doxygen/html/search/variables_3.js +143 -143
  243. package/SVF-doxygen/html/search/variables_4.js +51 -51
  244. package/SVF-doxygen/html/search/variables_5.js +39 -39
  245. package/SVF-doxygen/html/search/variables_6.js +66 -66
  246. package/SVF-doxygen/html/search/variables_7.js +32 -32
  247. package/SVF-doxygen/html/search/variables_8.js +8 -8
  248. package/SVF-doxygen/html/search/variables_9.js +80 -80
  249. package/SVF-doxygen/html/search/variables_a.js +4 -4
  250. package/SVF-doxygen/html/search/variables_b.js +10 -10
  251. package/SVF-doxygen/html/search/variables_c.js +44 -44
  252. package/SVF-doxygen/html/search/variables_d.js +58 -58
  253. package/SVF-doxygen/html/search/variables_e.js +123 -123
  254. package/SVF-doxygen/html/search/variables_f.js +31 -31
  255. package/SVF-doxygen/html/svf-ex_8cpp.html +199 -197
  256. package/SVF-doxygen/html/svf-ex_8cpp_source.html +204 -202
  257. package/package.json +1 -1
  258. package/svf/include/AE/Svfexe/AbstractInterpretation.h +28 -21
  259. package/svf/include/AE/Svfexe/SVFIR2AbsState.h +37 -67
  260. package/svf/lib/AE/Svfexe/AbstractInterpretation.cpp +123 -139
  261. package/svf/lib/AE/Svfexe/BufOverflowChecker.cpp +52 -42
  262. package/svf/lib/AE/Svfexe/SVFIR2AbsState.cpp +134 -146
  263. package/svf-llvm/tools/Example/svf-ex.cpp +13 -12
  264. package/svf/lib/AE/Core/SVFIR2Relation.cpp +0 -193
package/SVF-doxygen/html/SVFIR2AbsState_8h_source.html CHANGED
@@ -117,249 +117,206 @@ $(function() {
117
117
  <div class="line"><a name="l00046"></a><span class="lineno"> 46</span>&#160;<span class="keyword">public</span>:</div>
118
118
  <div class="line"><a name="l00047"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFIR2AbsState.html#a0141f9c8689e906a082f3566cb5d2cb6"> 47</a></span>&#160; <a class="code" href="classSVF_1_1SVFIR2AbsState.html#a0141f9c8689e906a082f3566cb5d2cb6">SVFIR2AbsState</a>(<a class="code" href="classSVF_1_1SVFIR.html">SVFIR</a> *ir) : <a class="code" href="classSVF_1_1SVFIR2AbsState.html#a80a0f0a20e993c6fcffc89f9de409f44">_svfir</a>(ir) {}</div>
119
119
  <div class="line"><a name="l00048"></a><span class="lineno"> 48</span>&#160; </div>
120
- <div class="line"><a name="l00049"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFIR2AbsState.html#a7d0fdfbb8d5b38d29aaded6cf803150c"> 49</a></span>&#160; <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1SVFIR2AbsState.html#a7d0fdfbb8d5b38d29aaded6cf803150c">setEs</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1AbstractState.html">AbstractState</a>&amp;es)</div>
121
- <div class="line"><a name="l00050"></a><span class="lineno"> 50</span>&#160; {</div>
122
- <div class="line"><a name="l00051"></a><span class="lineno"> 51</span>&#160; <a class="code" href="classSVF_1_1SVFIR2AbsState.html#ad487088a4456b3f1d712c25756fe71e9">_es</a> = es;</div>
123
- <div class="line"><a name="l00052"></a><span class="lineno"> 52</span>&#160; }</div>
124
- <div class="line"><a name="l00053"></a><span class="lineno"> 53</span>&#160; </div>
125
- <div class="line"><a name="l00054"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFIR2AbsState.html#a99b526db536fb241ff755a82a45123fa"> 54</a></span>&#160; <a class="code" href="classSVF_1_1AbstractState.html">AbstractState</a>&amp; <a class="code" href="classSVF_1_1SVFIR2AbsState.html#a99b526db536fb241ff755a82a45123fa">getAbsState</a>()</div>
126
- <div class="line"><a name="l00055"></a><span class="lineno"> 55</span>&#160; {</div>
127
- <div class="line"><a name="l00056"></a><span class="lineno"> 56</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFIR2AbsState.html#ad487088a4456b3f1d712c25756fe71e9">_es</a>;</div>
128
- <div class="line"><a name="l00057"></a><span class="lineno"> 57</span>&#160; }</div>
129
- <div class="line"><a name="l00058"></a><span class="lineno"> 58</span>&#160; </div>
130
- <div class="line"><a name="l00059"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFIR2AbsState.html#ab58a5cc7a2bc6c38e87c8e5beb725b7a"> 59</a></span>&#160; <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1SVFIR2AbsState.html#ab58a5cc7a2bc6c38e87c8e5beb725b7a">setRelEs</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1RelExeState.html">RelExeState</a> &amp;relEs)</div>
131
- <div class="line"><a name="l00060"></a><span class="lineno"> 60</span>&#160; {</div>
132
- <div class="line"><a name="l00061"></a><span class="lineno"> 61</span>&#160; <a class="code" href="classSVF_1_1SVFIR2AbsState.html#a592f4fe473d0159a3fbdac3bc35b424e">_relEs</a> = relEs;</div>
133
- <div class="line"><a name="l00062"></a><span class="lineno"> 62</span>&#160; }</div>
120
+ <div class="line"><a name="l00049"></a><span class="lineno"> 49</span>&#160; </div>
121
+ <div class="line"><a name="l00050"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFIR2AbsState.html#ab58a5cc7a2bc6c38e87c8e5beb725b7a"> 50</a></span>&#160; <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1SVFIR2AbsState.html#ab58a5cc7a2bc6c38e87c8e5beb725b7a">setRelEs</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1RelExeState.html">RelExeState</a> &amp;relEs)</div>
122
+ <div class="line"><a name="l00051"></a><span class="lineno"> 51</span>&#160; {</div>
123
+ <div class="line"><a name="l00052"></a><span class="lineno"> 52</span>&#160; <a class="code" href="classSVF_1_1SVFIR2AbsState.html#a592f4fe473d0159a3fbdac3bc35b424e">_relEs</a> = relEs;</div>
124
+ <div class="line"><a name="l00053"></a><span class="lineno"> 53</span>&#160; }</div>
125
+ <div class="line"><a name="l00054"></a><span class="lineno"> 54</span>&#160; </div>
126
+ <div class="line"><a name="l00055"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFIR2AbsState.html#ae2ee40a59aec3fb7c7abc4ddb7784bcf"> 55</a></span>&#160; <a class="code" href="classSVF_1_1RelExeState.html">RelExeState</a> &amp;<a class="code" href="classSVF_1_1SVFIR2AbsState.html#ae2ee40a59aec3fb7c7abc4ddb7784bcf">getRelEs</a>()</div>
127
+ <div class="line"><a name="l00056"></a><span class="lineno"> 56</span>&#160; {</div>
128
+ <div class="line"><a name="l00057"></a><span class="lineno"> 57</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFIR2AbsState.html#a592f4fe473d0159a3fbdac3bc35b424e">_relEs</a>;</div>
129
+ <div class="line"><a name="l00058"></a><span class="lineno"> 58</span>&#160; }</div>
130
+ <div class="line"><a name="l00059"></a><span class="lineno"> 59</span>&#160; </div>
131
+ <div class="line"><a name="l00060"></a><span class="lineno"> 60</span>&#160; <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1SVFIR2AbsState.html#ad4ae901d5e3fe20c155e508884a5bf7f">widenAddrs</a>(<a class="code" href="classSVF_1_1AbstractState.html">AbstractState</a>&amp; es, <a class="code" href="classSVF_1_1AbstractState.html">AbstractState</a>&amp;lhs, <span class="keyword">const</span> <a class="code" href="classSVF_1_1AbstractState.html">AbstractState</a>&amp;rhs);</div>
132
+ <div class="line"><a name="l00061"></a><span class="lineno"> 61</span>&#160; </div>
133
+ <div class="line"><a name="l00062"></a><span class="lineno"> 62</span>&#160; <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1SVFIR2AbsState.html#a4abde8e78108675a6980c362857cc7f0">narrowAddrs</a>(<a class="code" href="classSVF_1_1AbstractState.html">AbstractState</a>&amp; es, <a class="code" href="classSVF_1_1AbstractState.html">AbstractState</a>&amp;lhs, <span class="keyword">const</span> <a class="code" href="classSVF_1_1AbstractState.html">AbstractState</a>&amp;rhs);</div>
134
134
  <div class="line"><a name="l00063"></a><span class="lineno"> 63</span>&#160; </div>
135
- <div class="line"><a name="l00064"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFIR2AbsState.html#ae2ee40a59aec3fb7c7abc4ddb7784bcf"> 64</a></span>&#160; <a class="code" href="classSVF_1_1RelExeState.html">RelExeState</a> &amp;<a class="code" href="classSVF_1_1SVFIR2AbsState.html#ae2ee40a59aec3fb7c7abc4ddb7784bcf">getRelEs</a>()</div>
136
- <div class="line"><a name="l00065"></a><span class="lineno"> 65</span>&#160; {</div>
137
- <div class="line"><a name="l00066"></a><span class="lineno"> 66</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFIR2AbsState.html#a592f4fe473d0159a3fbdac3bc35b424e">_relEs</a>;</div>
138
- <div class="line"><a name="l00067"></a><span class="lineno"> 67</span>&#160; }</div>
139
- <div class="line"><a name="l00068"></a><span class="lineno"> 68</span>&#160; </div>
140
- <div class="line"><a name="l00069"></a><span class="lineno"> 69</span>&#160; <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1SVFIR2AbsState.html#ad41b11a2a046f253353f5e888c0004ca">widenAddrs</a>(<a class="code" href="classSVF_1_1AbstractState.html">AbstractState</a>&amp;lhs, <span class="keyword">const</span> <a class="code" href="classSVF_1_1AbstractState.html">AbstractState</a>&amp;rhs);</div>
141
- <div class="line"><a name="l00070"></a><span class="lineno"> 70</span>&#160; </div>
142
- <div class="line"><a name="l00071"></a><span class="lineno"> 71</span>&#160; <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1SVFIR2AbsState.html#a6292b9ebe6dd7e6857641210984bb815">narrowAddrs</a>(<a class="code" href="classSVF_1_1AbstractState.html">AbstractState</a>&amp;lhs, <span class="keyword">const</span> <a class="code" href="classSVF_1_1AbstractState.html">AbstractState</a>&amp;rhs);</div>
143
- <div class="line"><a name="l00072"></a><span class="lineno"> 72</span>&#160; </div>
144
- <div class="line"><a name="l00074"></a><span class="lineno"> 74</span>&#160; <a class="code" href="structSVF_1_1AbstractValue.html">AbstractValue</a> <a class="code" href="classSVF_1_1SVFIR2AbsState.html#a10a83572bf5dee369b54cda74f402073">getGepObjAddress</a>(<a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> pointer, <a class="code" href="namespaceSVF.html#a5c4820681ef340339ddded756eb82ae1">APOffset</a> <a class="code" href="cJSON_8cpp.html#a95bf816579e97b6f33bdb5e25ed6d5de">offset</a>);</div>
145
- <div class="line"><a name="l00075"></a><span class="lineno"> 75</span>&#160; </div>
146
- <div class="line"><a name="l00077"></a><span class="lineno"> 77</span>&#160; <a class="code" href="structSVF_1_1AbstractValue.html">AbstractValue</a> <a class="code" href="classSVF_1_1SVFIR2AbsState.html#a4e032a5e0898f0e349927d5a86c8477c">getRangeLimitFromType</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFType.html">SVFType</a>* <a class="code" href="cJSON_8cpp.html#a3f9a0d3265a6254722587175dac3e4dc">type</a>);</div>
135
+ <div class="line"><a name="l00065"></a><span class="lineno"> 65</span>&#160; <a class="code" href="structSVF_1_1AbstractValue.html">AbstractValue</a> <a class="code" href="classSVF_1_1SVFIR2AbsState.html#aaca7dc6ee9a3c8ea6e3eca094c7c3045">getGepObjAddress</a>(<a class="code" href="classSVF_1_1AbstractState.html">AbstractState</a>&amp; es, <a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> pointer, <a class="code" href="namespaceSVF.html#a5c4820681ef340339ddded756eb82ae1">APOffset</a> <a class="code" href="cJSON_8cpp.html#a95bf816579e97b6f33bdb5e25ed6d5de">offset</a>);</div>
136
+ <div class="line"><a name="l00066"></a><span class="lineno"> 66</span>&#160; </div>
137
+ <div class="line"><a name="l00068"></a><span class="lineno"> 68</span>&#160; <a class="code" href="structSVF_1_1AbstractValue.html">AbstractValue</a> <a class="code" href="classSVF_1_1SVFIR2AbsState.html#a4e032a5e0898f0e349927d5a86c8477c">getRangeLimitFromType</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFType.html">SVFType</a>* <a class="code" href="cJSON_8cpp.html#a3f9a0d3265a6254722587175dac3e4dc">type</a>);</div>
138
+ <div class="line"><a name="l00069"></a><span class="lineno"> 69</span>&#160; </div>
139
+ <div class="line"><a name="l00070"></a><span class="lineno"> 70</span>&#160; <a class="code" href="structSVF_1_1AbstractValue.html">AbstractValue</a> <a class="code" href="classSVF_1_1SVFIR2AbsState.html#a037e4c0e35b1fd45df3a969c6d054a1e">getZExtValue</a>(<a class="code" href="classSVF_1_1AbstractState.html">AbstractState</a>&amp; es, <span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFVar.html">SVFVar</a>* var);</div>
140
+ <div class="line"><a name="l00071"></a><span class="lineno"> 71</span>&#160; <a class="code" href="structSVF_1_1AbstractValue.html">AbstractValue</a> <a class="code" href="classSVF_1_1SVFIR2AbsState.html#a7dbb2fcda16a2879d4b508ab41d6919d">getSExtValue</a>(<a class="code" href="classSVF_1_1AbstractState.html">AbstractState</a>&amp; es, <span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFVar.html">SVFVar</a>* var);</div>
141
+ <div class="line"><a name="l00072"></a><span class="lineno"> 72</span>&#160; <a class="code" href="structSVF_1_1AbstractValue.html">AbstractValue</a> <a class="code" href="classSVF_1_1SVFIR2AbsState.html#accc3a4574ab5dd71149b4266dd19ca2f">getFPToSIntValue</a>(<a class="code" href="classSVF_1_1AbstractState.html">AbstractState</a>&amp; es, <span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFVar.html">SVFVar</a>* var);</div>
142
+ <div class="line"><a name="l00073"></a><span class="lineno"> 73</span>&#160; <a class="code" href="structSVF_1_1AbstractValue.html">AbstractValue</a> <a class="code" href="classSVF_1_1SVFIR2AbsState.html#a8ceffd42b533a28fffa665537e14d4e8">getFPToUIntValue</a>(<a class="code" href="classSVF_1_1AbstractState.html">AbstractState</a>&amp; es, <span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFVar.html">SVFVar</a>* var);</div>
143
+ <div class="line"><a name="l00074"></a><span class="lineno"> 74</span>&#160; <a class="code" href="structSVF_1_1AbstractValue.html">AbstractValue</a> <a class="code" href="classSVF_1_1SVFIR2AbsState.html#aba8911ddb22a7e9736f7676ed1d99a82">getSIntToFPValue</a>(<a class="code" href="classSVF_1_1AbstractState.html">AbstractState</a>&amp; es, <span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFVar.html">SVFVar</a>* var);</div>
144
+ <div class="line"><a name="l00075"></a><span class="lineno"> 75</span>&#160; <a class="code" href="structSVF_1_1AbstractValue.html">AbstractValue</a> <a class="code" href="classSVF_1_1SVFIR2AbsState.html#ab6c5effe0a781740bdee4d12583c5c8e">getUIntToFPValue</a>(<a class="code" href="classSVF_1_1AbstractState.html">AbstractState</a>&amp; es, <span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFVar.html">SVFVar</a>* var);</div>
145
+ <div class="line"><a name="l00076"></a><span class="lineno"> 76</span>&#160; <a class="code" href="structSVF_1_1AbstractValue.html">AbstractValue</a> <a class="code" href="classSVF_1_1SVFIR2AbsState.html#a8bc2d298ea7a239cd06f5462045da14f">getTruncValue</a>(<a class="code" href="classSVF_1_1AbstractState.html">AbstractState</a>&amp; es, <span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFVar.html">SVFVar</a>* var, <span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFType.html">SVFType</a>* dstType);</div>
146
+ <div class="line"><a name="l00077"></a><span class="lineno"> 77</span>&#160; <a class="code" href="structSVF_1_1AbstractValue.html">AbstractValue</a> <a class="code" href="classSVF_1_1SVFIR2AbsState.html#a0bdeaa3dac43c85cfac9195592db3fc9">getFPTruncValue</a>(<a class="code" href="classSVF_1_1AbstractState.html">AbstractState</a>&amp; es, <span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFVar.html">SVFVar</a>* var, <span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFType.html">SVFType</a>* dstType);</div>
147
147
  <div class="line"><a name="l00078"></a><span class="lineno"> 78</span>&#160; </div>
148
- <div class="line"><a name="l00079"></a><span class="lineno"> 79</span>&#160; <a class="code" href="structSVF_1_1AbstractValue.html">AbstractValue</a> <a class="code" href="classSVF_1_1SVFIR2AbsState.html#a1e270574a1d6f0894868cfb098ffbb8b">getZExtValue</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFVar.html">SVFVar</a>* var);</div>
149
- <div class="line"><a name="l00080"></a><span class="lineno"> 80</span>&#160; <a class="code" href="structSVF_1_1AbstractValue.html">AbstractValue</a> <a class="code" href="classSVF_1_1SVFIR2AbsState.html#aa925878721ae7028c3edae0c7fe8e127">getSExtValue</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFVar.html">SVFVar</a>* var);</div>
150
- <div class="line"><a name="l00081"></a><span class="lineno"> 81</span>&#160; <a class="code" href="structSVF_1_1AbstractValue.html">AbstractValue</a> <a class="code" href="classSVF_1_1SVFIR2AbsState.html#af48bab5352f5d1927aa467e1eb59c09f">getFPToSIntValue</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFVar.html">SVFVar</a>* var);</div>
151
- <div class="line"><a name="l00082"></a><span class="lineno"> 82</span>&#160; <a class="code" href="structSVF_1_1AbstractValue.html">AbstractValue</a> <a class="code" href="classSVF_1_1SVFIR2AbsState.html#ae6a36e79bdc4506f9f011ad100125444">getFPToUIntValue</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFVar.html">SVFVar</a>* var);</div>
152
- <div class="line"><a name="l00083"></a><span class="lineno"> 83</span>&#160; <a class="code" href="structSVF_1_1AbstractValue.html">AbstractValue</a> <a class="code" href="classSVF_1_1SVFIR2AbsState.html#af38b6e392cfd91b3516f2bc9feacce34">getSIntToFPValue</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFVar.html">SVFVar</a>* var);</div>
153
- <div class="line"><a name="l00084"></a><span class="lineno"> 84</span>&#160; <a class="code" href="structSVF_1_1AbstractValue.html">AbstractValue</a> <a class="code" href="classSVF_1_1SVFIR2AbsState.html#ae247497ab346e612f645d39041b2ce32">getUIntToFPValue</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFVar.html">SVFVar</a>* var);</div>
154
- <div class="line"><a name="l00085"></a><span class="lineno"> 85</span>&#160; <a class="code" href="structSVF_1_1AbstractValue.html">AbstractValue</a> <a class="code" href="classSVF_1_1SVFIR2AbsState.html#a38a62cdec2fac4ad2e64b86b4eb3b0bf">getTruncValue</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFVar.html">SVFVar</a>* var, <span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFType.html">SVFType</a>* dstType);</div>
155
- <div class="line"><a name="l00086"></a><span class="lineno"> 86</span>&#160; <a class="code" href="structSVF_1_1AbstractValue.html">AbstractValue</a> <a class="code" href="classSVF_1_1SVFIR2AbsState.html#a5ba833f2f98f5b1b1a8a7ff7ecdb72b9">getFPTruncValue</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFVar.html">SVFVar</a>* var, <span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFType.html">SVFType</a>* dstType);</div>
156
- <div class="line"><a name="l00087"></a><span class="lineno"> 87</span>&#160; </div>
157
- <div class="line"><a name="l00093"></a><span class="lineno"> 93</span>&#160; <a class="code" href="structSVF_1_1AbstractValue.html">AbstractValue</a> <a class="code" href="classSVF_1_1SVFIR2AbsState.html#a21e927af79c73460ff5629cbd4961163">getByteOffset</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1GepStmt.html">GepStmt</a> *gep);</div>
148
+ <div class="line"><a name="l00084"></a><span class="lineno"> 84</span>&#160; <a class="code" href="structSVF_1_1AbstractValue.html">AbstractValue</a> <a class="code" href="classSVF_1_1SVFIR2AbsState.html#aec9a351850857fa3c6fb23c58317cb0d">getByteOffset</a>(<a class="code" href="classSVF_1_1AbstractState.html">AbstractState</a>&amp; es, <span class="keyword">const</span> <a class="code" href="classSVF_1_1GepStmt.html">GepStmt</a> *gep);</div>
149
+ <div class="line"><a name="l00085"></a><span class="lineno"> 85</span>&#160; </div>
150
+ <div class="line"><a name="l00087"></a><span class="lineno"> 87</span>&#160; <a class="code" href="structSVF_1_1AbstractValue.html">AbstractValue</a> <a class="code" href="classSVF_1_1SVFIR2AbsState.html#af3f15bd1ccf90a4e11a4dcfda2f2aa47">getItvOfFlattenedElemIndex</a>(<a class="code" href="classSVF_1_1AbstractState.html">AbstractState</a>&amp; es, <span class="keyword">const</span> <a class="code" href="classSVF_1_1GepStmt.html">GepStmt</a> *gep);</div>
151
+ <div class="line"><a name="l00088"></a><span class="lineno"> 88</span>&#160; </div>
152
+ <div class="line"><a name="l00089"></a><span class="lineno"> 89</span>&#160; </div>
153
+ <div class="line"><a name="l00090"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFIR2AbsState.html#a36a428b990477a204cd73151680259a2"> 90</a></span>&#160; <span class="keyword">static</span> z3::context &amp;<a class="code" href="classSVF_1_1SVFIR2AbsState.html#a36a428b990477a204cd73151680259a2">getContext</a>()</div>
154
+ <div class="line"><a name="l00091"></a><span class="lineno"> 91</span>&#160; {</div>
155
+ <div class="line"><a name="l00092"></a><span class="lineno"> 92</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1Z3Expr.html#acfdff582a0188678c10939165a40df30">Z3Expr::getContext</a>();</div>
156
+ <div class="line"><a name="l00093"></a><span class="lineno"> 93</span>&#160; }</div>
158
157
  <div class="line"><a name="l00094"></a><span class="lineno"> 94</span>&#160; </div>
159
- <div class="line"><a name="l00096"></a><span class="lineno"> 96</span>&#160; <a class="code" href="structSVF_1_1AbstractValue.html">AbstractValue</a> <a class="code" href="classSVF_1_1SVFIR2AbsState.html#a928b35a6ea960a94470b0983008bfa9d">getItvOfFlattenedElemIndex</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1GepStmt.html">GepStmt</a> *gep);</div>
158
+ <div class="line"><a name="l00095"></a><span class="lineno"> 95</span>&#160; <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1SVFIR2AbsState.html#ab1172cf5c51b84c2a5c70f8642cfc51b">applySummary</a>(<a class="code" href="classSVF_1_1AbstractState.html">AbstractState</a>&amp;es);</div>
159
+ <div class="line"><a name="l00096"></a><span class="lineno"> 96</span>&#160; </div>
160
160
  <div class="line"><a name="l00097"></a><span class="lineno"> 97</span>&#160; </div>
161
- <div class="line"><a name="l00098"></a><span class="lineno"> 98</span>&#160; </div>
162
- <div class="line"><a name="l00099"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFIR2AbsState.html#a36a428b990477a204cd73151680259a2"> 99</a></span>&#160; <span class="keyword">static</span> z3::context &amp;<a class="code" href="classSVF_1_1SVFIR2AbsState.html#a36a428b990477a204cd73151680259a2">getContext</a>()</div>
163
- <div class="line"><a name="l00100"></a><span class="lineno"> 100</span>&#160; {</div>
164
- <div class="line"><a name="l00101"></a><span class="lineno"> 101</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1Z3Expr.html#acfdff582a0188678c10939165a40df30">Z3Expr::getContext</a>();</div>
165
- <div class="line"><a name="l00102"></a><span class="lineno"> 102</span>&#160; }</div>
161
+ <div class="line"><a name="l00099"></a><span class="lineno"> 99</span>&#160; <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1SVFIR2AbsState.html#ae0801d4df0304e422ee4cc1b60d2ffb3">initObjVar</a>(<a class="code" href="classSVF_1_1AbstractState.html">AbstractState</a>&amp; es, <span class="keyword">const</span> <a class="code" href="classSVF_1_1ObjVar.html">ObjVar</a> *objVar, <a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> varId);</div>
162
+ <div class="line"><a name="l00100"></a><span class="lineno"> 100</span>&#160; </div>
163
+ <div class="line"><a name="l00102"></a><span class="lineno"> 102</span>&#160; <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1SVFIR2AbsState.html#aa992d91842053a6a651976cdb49199e4">initSVFVar</a>(<a class="code" href="classSVF_1_1AbstractState.html">AbstractState</a>&amp; es, <a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> varId);</div>
166
164
  <div class="line"><a name="l00103"></a><span class="lineno"> 103</span>&#160; </div>
167
- <div class="line"><a name="l00104"></a><span class="lineno"> 104</span>&#160; <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1SVFIR2AbsState.html#aedb9ed0802f5aabb3dff760615600678">applySummary</a>(<a class="code" href="classSVF_1_1AbstractState.html">AbstractState</a>&amp;es);</div>
168
- <div class="line"><a name="l00105"></a><span class="lineno"> 105</span>&#160; </div>
169
- <div class="line"><a name="l00106"></a><span class="lineno"> 106</span>&#160; </div>
170
- <div class="line"><a name="l00108"></a><span class="lineno"> 108</span>&#160; <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1SVFIR2AbsState.html#ae1490bd3f93a4fcbb2390a3f30539b8a">initObjVar</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1ObjVar.html">ObjVar</a> *objVar, <a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> varId);</div>
171
- <div class="line"><a name="l00109"></a><span class="lineno"> 109</span>&#160; </div>
172
- <div class="line"><a name="l00111"></a><span class="lineno"> 111</span>&#160; <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1SVFIR2AbsState.html#aaecd2f39d5038009cb41b849fd8fe55f">initSVFVar</a>(<a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> varId);</div>
165
+ <div class="line"><a name="l00104"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFIR2AbsState.html#a611ac228efd661b301ea1dd675cd1c0c"> 104</a></span>&#160; <span class="keyword">inline</span> <a class="code" href="structSVF_1_1AbstractValue.html">AbstractValue</a> &amp;<a class="code" href="classSVF_1_1SVFIR2AbsState.html#a611ac228efd661b301ea1dd675cd1c0c">getAddrs</a>(<a class="code" href="classSVF_1_1AbstractState.html">AbstractState</a>&amp; es, <a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> <span class="keywordtype">id</span>)</div>
166
+ <div class="line"><a name="l00105"></a><span class="lineno"> 105</span>&#160; {</div>
167
+ <div class="line"><a name="l00106"></a><span class="lineno"> 106</span>&#160; <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1SVFIR2AbsState.html#ad42ca3cab47612c78a5d99cedea2f4ba">inVarToAddrsTable</a>(es, <span class="keywordtype">id</span>))</div>
168
+ <div class="line"><a name="l00107"></a><span class="lineno"> 107</span>&#160; <span class="keywordflow">return</span> es.<a class="code" href="classSVF_1_1AbstractState.html#a234d0b11624febec605bc028f093240b">getAddrs</a>(<span class="keywordtype">id</span>);</div>
169
+ <div class="line"><a name="l00108"></a><span class="lineno"> 108</span>&#160; <span class="keywordflow">else</span></div>
170
+ <div class="line"><a name="l00109"></a><span class="lineno"> 109</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFIR2AbsState.html#a46a2f2eedd729f4764f630d72391ec97">globalNulladdrs</a>;</div>
171
+ <div class="line"><a name="l00110"></a><span class="lineno"> 110</span>&#160; }</div>
172
+ <div class="line"><a name="l00111"></a><span class="lineno"> 111</span>&#160; </div>
173
173
  <div class="line"><a name="l00112"></a><span class="lineno"> 112</span>&#160; </div>
174
- <div class="line"><a name="l00113"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFIR2AbsState.html#aa3e62b9ef912def502b95992199f5d8c"> 113</a></span>&#160; <span class="keyword">inline</span> <a class="code" href="structSVF_1_1AbstractValue.html">AbstractValue</a> &amp;<a class="code" href="classSVF_1_1SVFIR2AbsState.html#aa3e62b9ef912def502b95992199f5d8c">getAddrs</a>(<a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> <span class="keywordtype">id</span>)</div>
175
- <div class="line"><a name="l00114"></a><span class="lineno"> 114</span>&#160; {</div>
176
- <div class="line"><a name="l00115"></a><span class="lineno"> 115</span>&#160; <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1SVFIR2AbsState.html#a62baa9403069a9b1e010eaeb2f6b9b34">inVarToAddrsTable</a>(<span class="keywordtype">id</span>))</div>
177
- <div class="line"><a name="l00116"></a><span class="lineno"> 116</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFIR2AbsState.html#ad487088a4456b3f1d712c25756fe71e9">_es</a>.<a class="code" href="classSVF_1_1AbstractState.html#a234d0b11624febec605bc028f093240b">getAddrs</a>(<span class="keywordtype">id</span>);</div>
178
- <div class="line"><a name="l00117"></a><span class="lineno"> 117</span>&#160; <span class="keywordflow">else</span></div>
179
- <div class="line"><a name="l00118"></a><span class="lineno"> 118</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFIR2AbsState.html#a46a2f2eedd729f4764f630d72391ec97">globalNulladdrs</a>;</div>
180
- <div class="line"><a name="l00119"></a><span class="lineno"> 119</span>&#160; }</div>
181
- <div class="line"><a name="l00120"></a><span class="lineno"> 120</span>&#160; </div>
182
- <div class="line"><a name="l00121"></a><span class="lineno"> 121</span>&#160; </div>
183
- <div class="line"><a name="l00123"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFIR2AbsState.html#a26afaf14db3b2a56e2d325630e5ba841"> 123</a></span>&#160; <span class="keyword">inline</span> <span class="keywordtype">bool</span> <a class="code" href="classSVF_1_1SVFIR2AbsState.html#a26afaf14db3b2a56e2d325630e5ba841">inVarToValTable</a>(<a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> <span class="keywordtype">id</span>)<span class="keyword"> const</span></div>
184
- <div class="line"><a name="l00124"></a><span class="lineno"> 124</span>&#160;<span class="keyword"> </span>{</div>
185
- <div class="line"><a name="l00125"></a><span class="lineno"> 125</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFIR2AbsState.html#ad487088a4456b3f1d712c25756fe71e9">_es</a>.<a class="code" href="classSVF_1_1AbstractState.html#ab4d209d0739f2c45dbc2a7e61318e2e3">inVarToValTable</a>(<span class="keywordtype">id</span>);</div>
186
- <div class="line"><a name="l00126"></a><span class="lineno"> 126</span>&#160; }</div>
187
- <div class="line"><a name="l00127"></a><span class="lineno"> 127</span>&#160; </div>
188
- <div class="line"><a name="l00129"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFIR2AbsState.html#a62baa9403069a9b1e010eaeb2f6b9b34"> 129</a></span>&#160; <span class="keyword">inline</span> <span class="keywordtype">bool</span> <a class="code" href="classSVF_1_1SVFIR2AbsState.html#a62baa9403069a9b1e010eaeb2f6b9b34">inVarToAddrsTable</a>(<a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> <span class="keywordtype">id</span>)<span class="keyword"> const</span></div>
189
- <div class="line"><a name="l00130"></a><span class="lineno"> 130</span>&#160;<span class="keyword"> </span>{</div>
190
- <div class="line"><a name="l00131"></a><span class="lineno"> 131</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFIR2AbsState.html#ad487088a4456b3f1d712c25756fe71e9">_es</a>.<a class="code" href="classSVF_1_1AbstractState.html#aa34516a95191c5ec56ce44a117e8b018">inVarToAddrsTable</a>(<span class="keywordtype">id</span>);</div>
191
- <div class="line"><a name="l00132"></a><span class="lineno"> 132</span>&#160; }</div>
192
- <div class="line"><a name="l00133"></a><span class="lineno"> 133</span>&#160; </div>
193
- <div class="line"><a name="l00134"></a><span class="lineno"> 134</span>&#160; </div>
194
- <div class="line"><a name="l00136"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFIR2AbsState.html#a847a9d505d3ed722b5b3d32cbcbd72ee"> 136</a></span>&#160; <span class="keyword">inline</span> <span class="keywordtype">bool</span> <a class="code" href="classSVF_1_1SVFIR2AbsState.html#a847a9d505d3ed722b5b3d32cbcbd72ee">inLocToValTable</a>(<a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> <span class="keywordtype">id</span>)<span class="keyword"> const</span></div>
195
- <div class="line"><a name="l00137"></a><span class="lineno"> 137</span>&#160;<span class="keyword"> </span>{</div>
196
- <div class="line"><a name="l00138"></a><span class="lineno"> 138</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFIR2AbsState.html#ad487088a4456b3f1d712c25756fe71e9">_es</a>.<a class="code" href="classSVF_1_1AbstractState.html#aa2ac2ba25a9859232717ee22192feb35">inLocToValTable</a>(<span class="keywordtype">id</span>);</div>
197
- <div class="line"><a name="l00139"></a><span class="lineno"> 139</span>&#160; }</div>
198
- <div class="line"><a name="l00140"></a><span class="lineno"> 140</span>&#160; </div>
199
- <div class="line"><a name="l00142"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFIR2AbsState.html#a8eb06c3e65594dbcb602ec472258f09c"> 142</a></span>&#160; <span class="keyword">inline</span> <span class="keywordtype">bool</span> <a class="code" href="classSVF_1_1SVFIR2AbsState.html#a8eb06c3e65594dbcb602ec472258f09c">inLocToAddrsTable</a>(<a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> <span class="keywordtype">id</span>)<span class="keyword"> const</span></div>
200
- <div class="line"><a name="l00143"></a><span class="lineno"> 143</span>&#160;<span class="keyword"> </span>{</div>
201
- <div class="line"><a name="l00144"></a><span class="lineno"> 144</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFIR2AbsState.html#ad487088a4456b3f1d712c25756fe71e9">_es</a>.<a class="code" href="classSVF_1_1AbstractState.html#aff46e9d0fb20cedd54323c808d06f7cf">inLocToAddrsTable</a>(<span class="keywordtype">id</span>);</div>
202
- <div class="line"><a name="l00145"></a><span class="lineno"> 145</span>&#160; }</div>
203
- <div class="line"><a name="l00146"></a><span class="lineno"> 146</span>&#160; </div>
204
- <div class="line"><a name="l00147"></a><span class="lineno"> 147</span>&#160; <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1SVFIR2AbsState.html#a2cc9783b020cb3b019d2691ab38e243a">handleAddr</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1AddrStmt.html">AddrStmt</a> *addr);</div>
205
- <div class="line"><a name="l00148"></a><span class="lineno"> 148</span>&#160; </div>
206
- <div class="line"><a name="l00149"></a><span class="lineno"> 149</span>&#160; <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1SVFIR2AbsState.html#a82afa83da1b1b17140b5b9c0b7eca153">handleBinary</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1BinaryOPStmt.html">BinaryOPStmt</a> *binary);</div>
207
- <div class="line"><a name="l00150"></a><span class="lineno"> 150</span>&#160; </div>
208
- <div class="line"><a name="l00151"></a><span class="lineno"> 151</span>&#160; <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1SVFIR2AbsState.html#af13e2b1c28a16e046776187de62d3c20">handleCmp</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1CmpStmt.html">CmpStmt</a> *cmp);</div>
209
- <div class="line"><a name="l00152"></a><span class="lineno"> 152</span>&#160; </div>
210
- <div class="line"><a name="l00153"></a><span class="lineno"> 153</span>&#160; <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1SVFIR2AbsState.html#a1930df3df0fa3f955a30beb25204438c">handleLoad</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1LoadStmt.html">LoadStmt</a> *load);</div>
211
- <div class="line"><a name="l00154"></a><span class="lineno"> 154</span>&#160; </div>
212
- <div class="line"><a name="l00155"></a><span class="lineno"> 155</span>&#160; <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1SVFIR2AbsState.html#a4d614da483954db61664603cf0cf72e0">handleStore</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1StoreStmt.html">StoreStmt</a> *store);</div>
213
- <div class="line"><a name="l00156"></a><span class="lineno"> 156</span>&#160; </div>
214
- <div class="line"><a name="l00157"></a><span class="lineno"> 157</span>&#160; <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1SVFIR2AbsState.html#ae9cabdfecbc7773c1b15aafc4abf15e5">handleCopy</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1CopyStmt.html">CopyStmt</a> *<a class="code" href="cJSON_8cpp.html#a7669ee67a0563250c1efaa24d130e1ac">copy</a>);</div>
215
- <div class="line"><a name="l00158"></a><span class="lineno"> 158</span>&#160; </div>
216
- <div class="line"><a name="l00159"></a><span class="lineno"> 159</span>&#160; <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1SVFIR2AbsState.html#a175a43f33d55e812ec61a349eb175157">handleCall</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1CallPE.html">CallPE</a> *callPE);</div>
217
- <div class="line"><a name="l00160"></a><span class="lineno"> 160</span>&#160; </div>
218
- <div class="line"><a name="l00161"></a><span class="lineno"> 161</span>&#160; <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1SVFIR2AbsState.html#a839a881ecff03f73102c1b48d9dbfb88">handleRet</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1RetPE.html">RetPE</a> *retPE);</div>
219
- <div class="line"><a name="l00162"></a><span class="lineno"> 162</span>&#160; </div>
220
- <div class="line"><a name="l00163"></a><span class="lineno"> 163</span>&#160; <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1SVFIR2AbsState.html#aa36938b22e2d3521f2af9d13c2697d83">handleGep</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1GepStmt.html">GepStmt</a> *gep);</div>
221
- <div class="line"><a name="l00164"></a><span class="lineno"> 164</span>&#160; </div>
222
- <div class="line"><a name="l00165"></a><span class="lineno"> 165</span>&#160; <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1SVFIR2AbsState.html#acce4bce2322fe1cdcab369d906b9aee2">handleSelect</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1SelectStmt.html">SelectStmt</a> *select);</div>
223
- <div class="line"><a name="l00166"></a><span class="lineno"> 166</span>&#160; </div>
224
- <div class="line"><a name="l00167"></a><span class="lineno"> 167</span>&#160; <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1SVFIR2AbsState.html#a44deea0e4cbc98bf999598d7862fe115">handlePhi</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1PhiStmt.html">PhiStmt</a> *phi);</div>
225
- <div class="line"><a name="l00168"></a><span class="lineno"> 168</span>&#160; </div>
226
- <div class="line"><a name="l00170"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFIR2AbsState.html#ac37760566b534d89a61d789b00efb993"> 170</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_1SVFIR2AbsState.html#ac37760566b534d89a61d789b00efb993">getInternalID</a>(<a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> idx)</div>
227
- <div class="line"><a name="l00171"></a><span class="lineno"> 171</span>&#160; {</div>
228
- <div class="line"><a name="l00172"></a><span class="lineno"> 172</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1AbstractState.html#aaabe5850dbf1620c6058f5ac6cb169b6">AbstractState::getInternalID</a>(idx);</div>
229
- <div class="line"><a name="l00173"></a><span class="lineno"> 173</span>&#160; }</div>
230
- <div class="line"><a name="l00174"></a><span class="lineno"> 174</span>&#160; </div>
231
- <div class="line"><a name="l00176"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFIR2AbsState.html#a63d855cf3342454ce5154fa7605f9935"> 176</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_1SVFIR2AbsState.html#a63d855cf3342454ce5154fa7605f9935">getVirtualMemAddress</a>(<a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> idx)</div>
232
- <div class="line"><a name="l00177"></a><span class="lineno"> 177</span>&#160; {</div>
233
- <div class="line"><a name="l00178"></a><span class="lineno"> 178</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1AbstractState.html#aa594b7f3d1590073a88bcc73918dde39">AbstractState::getVirtualMemAddress</a>(idx);</div>
234
- <div class="line"><a name="l00179"></a><span class="lineno"> 179</span>&#160; }</div>
235
- <div class="line"><a name="l00180"></a><span class="lineno"> 180</span>&#160; </div>
236
- <div class="line"><a name="l00182"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFIR2AbsState.html#a3bbf4cda2e3892c7359279337fab7d24"> 182</a></span>&#160; <span class="keyword">static</span> <span class="keyword">inline</span> <span class="keywordtype">bool</span> <a class="code" href="classSVF_1_1SVFIR2AbsState.html#a3bbf4cda2e3892c7359279337fab7d24">isVirtualMemAddress</a>(<a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> val)</div>
237
- <div class="line"><a name="l00183"></a><span class="lineno"> 183</span>&#160; {</div>
238
- <div class="line"><a name="l00184"></a><span class="lineno"> 184</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1AbstractState.html#ad3eefae77eb1fc4bbcfe70b0f2f51dd4">AbstractState::isVirtualMemAddress</a>(val);</div>
239
- <div class="line"><a name="l00185"></a><span class="lineno"> 185</span>&#160; }</div>
240
- <div class="line"><a name="l00186"></a><span class="lineno"> 186</span>&#160; </div>
241
- <div class="line"><a name="l00187"></a><span class="lineno"> 187</span>&#160;<span class="keyword">protected</span>:</div>
242
- <div class="line"><a name="l00188"></a><span class="lineno"> 188</span>&#160; </div>
243
- <div class="line"><a name="l00189"></a><span class="lineno"> 189</span>&#160; <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1SVFIR2AbsState.html#ac2001071c306817cd52355e1d3b9154e">handleBinaryRel</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1BinaryOPStmt.html">BinaryOPStmt</a> *binary);</div>
244
- <div class="line"><a name="l00190"></a><span class="lineno"> 190</span>&#160; </div>
245
- <div class="line"><a name="l00191"></a><span class="lineno"> 191</span>&#160; <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1SVFIR2AbsState.html#aebb9e9209fc4abe36b71a0498dc1045e">handleCmpRel</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1CmpStmt.html">CmpStmt</a> *cmp);</div>
246
- <div class="line"><a name="l00192"></a><span class="lineno"> 192</span>&#160; </div>
247
- <div class="line"><a name="l00193"></a><span class="lineno"> 193</span>&#160; <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1SVFIR2AbsState.html#a0a0ad0b3f12c5297f4d2ee48624914ea">handleLoadRel</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1LoadStmt.html">LoadStmt</a> *load);</div>
248
- <div class="line"><a name="l00194"></a><span class="lineno"> 194</span>&#160; </div>
249
- <div class="line"><a name="l00195"></a><span class="lineno"> 195</span>&#160; <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1SVFIR2AbsState.html#a41cb305781a119d0551c112023bbf88b">handleStoreRel</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1StoreStmt.html">StoreStmt</a> *store);</div>
250
- <div class="line"><a name="l00196"></a><span class="lineno"> 196</span>&#160; </div>
251
- <div class="line"><a name="l00197"></a><span class="lineno"> 197</span>&#160; <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1SVFIR2AbsState.html#a4b584ca677ccf79c18f4b9521a151c0a">handleCopyRel</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1CopyStmt.html">CopyStmt</a> *<a class="code" href="cJSON_8cpp.html#a7669ee67a0563250c1efaa24d130e1ac">copy</a>);</div>
252
- <div class="line"><a name="l00198"></a><span class="lineno"> 198</span>&#160; </div>
253
- <div class="line"><a name="l00199"></a><span class="lineno"> 199</span>&#160; <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1SVFIR2AbsState.html#ab57524c8490ffb84ac7ebe629f5149b6">handleCallRel</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1CallPE.html">CallPE</a> *callPE);</div>
254
- <div class="line"><a name="l00200"></a><span class="lineno"> 200</span>&#160; </div>
255
- <div class="line"><a name="l00201"></a><span class="lineno"> 201</span>&#160; <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1SVFIR2AbsState.html#aed83aeb1d918eb3584641ab95a82df66">handleRetRel</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1RetPE.html">RetPE</a> *retPE);</div>
256
- <div class="line"><a name="l00202"></a><span class="lineno"> 202</span>&#160; </div>
257
- <div class="line"><a name="l00203"></a><span class="lineno"> 203</span>&#160; <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1SVFIR2AbsState.html#a588d02aee4d770fe6019197896fb405e">handleSelectRel</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1SelectStmt.html">SelectStmt</a> *select);</div>
258
- <div class="line"><a name="l00204"></a><span class="lineno"> 204</span>&#160; </div>
259
- <div class="line"><a name="l00205"></a><span class="lineno"> 205</span>&#160; <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1SVFIR2AbsState.html#a72ed908d877abe23b899bb5052b56b5d">handlePhiRel</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1PhiStmt.html">PhiStmt</a> *phi, <span class="keyword">const</span> <a class="code" href="classSVF_1_1ICFGNode.html">ICFGNode</a> *srcNode, <span class="keyword">const</span> std::vector&lt;const ICFGEdge *&gt; &amp;path);</div>
260
- <div class="line"><a name="l00206"></a><span class="lineno"> 206</span>&#160; </div>
261
- <div class="line"><a name="l00207"></a><span class="lineno"> 207</span>&#160;<span class="keyword">private</span>:</div>
262
- <div class="line"><a name="l00208"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFIR2AbsState.html#a80a0f0a20e993c6fcffc89f9de409f44"> 208</a></span>&#160; <a class="code" href="classSVF_1_1SVFIR.html">SVFIR</a> *<a class="code" href="classSVF_1_1SVFIR2AbsState.html#a80a0f0a20e993c6fcffc89f9de409f44">_svfir</a>;</div>
263
- <div class="line"><a name="l00209"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFIR2AbsState.html#ad487088a4456b3f1d712c25756fe71e9"> 209</a></span>&#160; <a class="code" href="classSVF_1_1AbstractState.html">AbstractState</a> <a class="code" href="classSVF_1_1SVFIR2AbsState.html#ad487088a4456b3f1d712c25756fe71e9">_es</a>;</div>
264
- <div class="line"><a name="l00210"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFIR2AbsState.html#a592f4fe473d0159a3fbdac3bc35b424e"> 210</a></span>&#160; <a class="code" href="classSVF_1_1RelExeState.html">RelExeState</a> <a class="code" href="classSVF_1_1SVFIR2AbsState.html#a592f4fe473d0159a3fbdac3bc35b424e">_relEs</a>;</div>
265
- <div class="line"><a name="l00211"></a><span class="lineno"> 211</span>&#160;};</div>
266
- <div class="line"><a name="l00212"></a><span class="lineno"> 212</span>&#160;}</div>
267
- <div class="line"><a name="l00213"></a><span class="lineno"> 213</span>&#160; </div>
268
- <div class="line"><a name="l00214"></a><span class="lineno"> 214</span>&#160;<span class="preprocessor">#endif //Z3_EXAMPLE_SVFIR2ITVEXESTATE_H</span></div>
174
+ <div class="line"><a name="l00114"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFIR2AbsState.html#a48e57f3511afd03c76dd0fe4b87b61e9"> 114</a></span>&#160; <span class="keyword">inline</span> <span class="keywordtype">bool</span> <a class="code" href="classSVF_1_1SVFIR2AbsState.html#a48e57f3511afd03c76dd0fe4b87b61e9">inVarToValTable</a>(<a class="code" href="classSVF_1_1AbstractState.html">AbstractState</a>&amp; es, <a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> <span class="keywordtype">id</span>)<span class="keyword"> const</span></div>
175
+ <div class="line"><a name="l00115"></a><span class="lineno"> 115</span>&#160;<span class="keyword"> </span>{</div>
176
+ <div class="line"><a name="l00116"></a><span class="lineno"> 116</span>&#160; <span class="keywordflow">return</span> es.<a class="code" href="classSVF_1_1AbstractState.html#ab4d209d0739f2c45dbc2a7e61318e2e3">inVarToValTable</a>(<span class="keywordtype">id</span>);</div>
177
+ <div class="line"><a name="l00117"></a><span class="lineno"> 117</span>&#160; }</div>
178
+ <div class="line"><a name="l00118"></a><span class="lineno"> 118</span>&#160; </div>
179
+ <div class="line"><a name="l00120"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFIR2AbsState.html#ad42ca3cab47612c78a5d99cedea2f4ba"> 120</a></span>&#160; <span class="keyword">inline</span> <span class="keywordtype">bool</span> <a class="code" href="classSVF_1_1SVFIR2AbsState.html#ad42ca3cab47612c78a5d99cedea2f4ba">inVarToAddrsTable</a>(<a class="code" href="classSVF_1_1AbstractState.html">AbstractState</a>&amp; es, <a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> <span class="keywordtype">id</span>)<span class="keyword"> const</span></div>
180
+ <div class="line"><a name="l00121"></a><span class="lineno"> 121</span>&#160;<span class="keyword"> </span>{</div>
181
+ <div class="line"><a name="l00122"></a><span class="lineno"> 122</span>&#160; <span class="keywordflow">return</span> es.<a class="code" href="classSVF_1_1AbstractState.html#aa34516a95191c5ec56ce44a117e8b018">inVarToAddrsTable</a>(<span class="keywordtype">id</span>);</div>
182
+ <div class="line"><a name="l00123"></a><span class="lineno"> 123</span>&#160; }</div>
183
+ <div class="line"><a name="l00124"></a><span class="lineno"> 124</span>&#160; </div>
184
+ <div class="line"><a name="l00125"></a><span class="lineno"> 125</span>&#160; </div>
185
+ <div class="line"><a name="l00127"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFIR2AbsState.html#a378bc7aabe87501e3fbc9920f5f13e66"> 127</a></span>&#160; <span class="keyword">inline</span> <span class="keywordtype">bool</span> <a class="code" href="classSVF_1_1SVFIR2AbsState.html#a378bc7aabe87501e3fbc9920f5f13e66">inLocToValTable</a>(<a class="code" href="classSVF_1_1AbstractState.html">AbstractState</a>&amp; es, <a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> <span class="keywordtype">id</span>)<span class="keyword"> const</span></div>
186
+ <div class="line"><a name="l00128"></a><span class="lineno"> 128</span>&#160;<span class="keyword"> </span>{</div>
187
+ <div class="line"><a name="l00129"></a><span class="lineno"> 129</span>&#160; <span class="keywordflow">return</span> es.<a class="code" href="classSVF_1_1AbstractState.html#aa2ac2ba25a9859232717ee22192feb35">inLocToValTable</a>(<span class="keywordtype">id</span>);</div>
188
+ <div class="line"><a name="l00130"></a><span class="lineno"> 130</span>&#160; }</div>
189
+ <div class="line"><a name="l00131"></a><span class="lineno"> 131</span>&#160; </div>
190
+ <div class="line"><a name="l00133"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFIR2AbsState.html#aff41668736469523873f0407bcbb70fd"> 133</a></span>&#160; <span class="keyword">inline</span> <span class="keywordtype">bool</span> <a class="code" href="classSVF_1_1SVFIR2AbsState.html#aff41668736469523873f0407bcbb70fd">inLocToAddrsTable</a>(<a class="code" href="classSVF_1_1AbstractState.html">AbstractState</a>&amp; es, <a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> <span class="keywordtype">id</span>)<span class="keyword"> const</span></div>
191
+ <div class="line"><a name="l00134"></a><span class="lineno"> 134</span>&#160;<span class="keyword"> </span>{</div>
192
+ <div class="line"><a name="l00135"></a><span class="lineno"> 135</span>&#160; <span class="keywordflow">return</span> es.<a class="code" href="classSVF_1_1AbstractState.html#aff46e9d0fb20cedd54323c808d06f7cf">inLocToAddrsTable</a>(<span class="keywordtype">id</span>);</div>
193
+ <div class="line"><a name="l00136"></a><span class="lineno"> 136</span>&#160; }</div>
194
+ <div class="line"><a name="l00137"></a><span class="lineno"> 137</span>&#160; </div>
195
+ <div class="line"><a name="l00138"></a><span class="lineno"> 138</span>&#160; <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1SVFIR2AbsState.html#af09515297cb9c31153ed7f32bc3febd2">handleAddr</a>(<a class="code" href="classSVF_1_1AbstractState.html">AbstractState</a>&amp; es, <span class="keyword">const</span> <a class="code" href="classSVF_1_1AddrStmt.html">AddrStmt</a> *addr);</div>
196
+ <div class="line"><a name="l00139"></a><span class="lineno"> 139</span>&#160; </div>
197
+ <div class="line"><a name="l00140"></a><span class="lineno"> 140</span>&#160; <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1SVFIR2AbsState.html#a9db48252f099848d0f152e9fa523333a">handleBinary</a>(<a class="code" href="classSVF_1_1AbstractState.html">AbstractState</a>&amp; es, <span class="keyword">const</span> <a class="code" href="classSVF_1_1BinaryOPStmt.html">BinaryOPStmt</a> *binary);</div>
198
+ <div class="line"><a name="l00141"></a><span class="lineno"> 141</span>&#160; </div>
199
+ <div class="line"><a name="l00142"></a><span class="lineno"> 142</span>&#160; <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1SVFIR2AbsState.html#a729cc61337cfe055adc49d04676f5717">handleCmp</a>(<a class="code" href="classSVF_1_1AbstractState.html">AbstractState</a>&amp; es, <span class="keyword">const</span> <a class="code" href="classSVF_1_1CmpStmt.html">CmpStmt</a> *cmp);</div>
200
+ <div class="line"><a name="l00143"></a><span class="lineno"> 143</span>&#160; </div>
201
+ <div class="line"><a name="l00144"></a><span class="lineno"> 144</span>&#160; <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1SVFIR2AbsState.html#a4478a7e793920ec543d32314f13a5bb9">handleLoad</a>(<a class="code" href="classSVF_1_1AbstractState.html">AbstractState</a>&amp; es, <span class="keyword">const</span> <a class="code" href="classSVF_1_1LoadStmt.html">LoadStmt</a> *load);</div>
202
+ <div class="line"><a name="l00145"></a><span class="lineno"> 145</span>&#160; </div>
203
+ <div class="line"><a name="l00146"></a><span class="lineno"> 146</span>&#160; <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1SVFIR2AbsState.html#a75204b54b40f1402d670691c0355d6b5">handleStore</a>(<a class="code" href="classSVF_1_1AbstractState.html">AbstractState</a>&amp; es, <span class="keyword">const</span> <a class="code" href="classSVF_1_1StoreStmt.html">StoreStmt</a> *store);</div>
204
+ <div class="line"><a name="l00147"></a><span class="lineno"> 147</span>&#160; </div>
205
+ <div class="line"><a name="l00148"></a><span class="lineno"> 148</span>&#160; <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1SVFIR2AbsState.html#abce457a32553584eb656ff0fa4e52a64">handleCopy</a>(<a class="code" href="classSVF_1_1AbstractState.html">AbstractState</a>&amp; es, <span class="keyword">const</span> <a class="code" href="classSVF_1_1CopyStmt.html">CopyStmt</a> *<a class="code" href="cJSON_8cpp.html#a7669ee67a0563250c1efaa24d130e1ac">copy</a>);</div>
206
+ <div class="line"><a name="l00149"></a><span class="lineno"> 149</span>&#160; </div>
207
+ <div class="line"><a name="l00150"></a><span class="lineno"> 150</span>&#160; <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1SVFIR2AbsState.html#ac5d31c2e3387c04749195d6cdb417a7a">handleCall</a>(<a class="code" href="classSVF_1_1AbstractState.html">AbstractState</a>&amp; es, <span class="keyword">const</span> <a class="code" href="classSVF_1_1CallPE.html">CallPE</a> *callPE);</div>
208
+ <div class="line"><a name="l00151"></a><span class="lineno"> 151</span>&#160; </div>
209
+ <div class="line"><a name="l00152"></a><span class="lineno"> 152</span>&#160; <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1SVFIR2AbsState.html#a8d4535dae277ade2d1e75678ad89d950">handleRet</a>(<a class="code" href="classSVF_1_1AbstractState.html">AbstractState</a>&amp; es, <span class="keyword">const</span> <a class="code" href="classSVF_1_1RetPE.html">RetPE</a> *retPE);</div>
210
+ <div class="line"><a name="l00153"></a><span class="lineno"> 153</span>&#160; </div>
211
+ <div class="line"><a name="l00154"></a><span class="lineno"> 154</span>&#160; <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1SVFIR2AbsState.html#a74c008c44d3181d20819323aa83ec0ae">handleGep</a>(<a class="code" href="classSVF_1_1AbstractState.html">AbstractState</a>&amp; es, <span class="keyword">const</span> <a class="code" href="classSVF_1_1GepStmt.html">GepStmt</a> *gep);</div>
212
+ <div class="line"><a name="l00155"></a><span class="lineno"> 155</span>&#160; </div>
213
+ <div class="line"><a name="l00156"></a><span class="lineno"> 156</span>&#160; <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1SVFIR2AbsState.html#a05673fde6e9f697fa6ffb8bc32fb6baa">handleSelect</a>(<a class="code" href="classSVF_1_1AbstractState.html">AbstractState</a>&amp; es, <span class="keyword">const</span> <a class="code" href="classSVF_1_1SelectStmt.html">SelectStmt</a> *select);</div>
214
+ <div class="line"><a name="l00157"></a><span class="lineno"> 157</span>&#160; </div>
215
+ <div class="line"><a name="l00158"></a><span class="lineno"> 158</span>&#160; <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1SVFIR2AbsState.html#a151cd00e030b8e9b51b907a3da8428e5">handlePhi</a>(<a class="code" href="classSVF_1_1AbstractState.html">AbstractState</a>&amp; es, <span class="keyword">const</span> <a class="code" href="classSVF_1_1PhiStmt.html">PhiStmt</a> *phi);</div>
216
+ <div class="line"><a name="l00159"></a><span class="lineno"> 159</span>&#160; </div>
217
+ <div class="line"><a name="l00161"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFIR2AbsState.html#ac37760566b534d89a61d789b00efb993"> 161</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_1SVFIR2AbsState.html#ac37760566b534d89a61d789b00efb993">getInternalID</a>(<a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> idx)</div>
218
+ <div class="line"><a name="l00162"></a><span class="lineno"> 162</span>&#160; {</div>
219
+ <div class="line"><a name="l00163"></a><span class="lineno"> 163</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1AbstractState.html#aaabe5850dbf1620c6058f5ac6cb169b6">AbstractState::getInternalID</a>(idx);</div>
220
+ <div class="line"><a name="l00164"></a><span class="lineno"> 164</span>&#160; }</div>
221
+ <div class="line"><a name="l00165"></a><span class="lineno"> 165</span>&#160; </div>
222
+ <div class="line"><a name="l00167"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFIR2AbsState.html#a63d855cf3342454ce5154fa7605f9935"> 167</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_1SVFIR2AbsState.html#a63d855cf3342454ce5154fa7605f9935">getVirtualMemAddress</a>(<a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> idx)</div>
223
+ <div class="line"><a name="l00168"></a><span class="lineno"> 168</span>&#160; {</div>
224
+ <div class="line"><a name="l00169"></a><span class="lineno"> 169</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1AbstractState.html#aa594b7f3d1590073a88bcc73918dde39">AbstractState::getVirtualMemAddress</a>(idx);</div>
225
+ <div class="line"><a name="l00170"></a><span class="lineno"> 170</span>&#160; }</div>
226
+ <div class="line"><a name="l00171"></a><span class="lineno"> 171</span>&#160; </div>
227
+ <div class="line"><a name="l00173"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFIR2AbsState.html#a3bbf4cda2e3892c7359279337fab7d24"> 173</a></span>&#160; <span class="keyword">static</span> <span class="keyword">inline</span> <span class="keywordtype">bool</span> <a class="code" href="classSVF_1_1SVFIR2AbsState.html#a3bbf4cda2e3892c7359279337fab7d24">isVirtualMemAddress</a>(<a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> val)</div>
228
+ <div class="line"><a name="l00174"></a><span class="lineno"> 174</span>&#160; {</div>
229
+ <div class="line"><a name="l00175"></a><span class="lineno"> 175</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1AbstractState.html#ad3eefae77eb1fc4bbcfe70b0f2f51dd4">AbstractState::isVirtualMemAddress</a>(val);</div>
230
+ <div class="line"><a name="l00176"></a><span class="lineno"> 176</span>&#160; }</div>
231
+ <div class="line"><a name="l00177"></a><span class="lineno"> 177</span>&#160; </div>
232
+ <div class="line"><a name="l00178"></a><span class="lineno"> 178</span>&#160;<span class="keyword">private</span>:</div>
233
+ <div class="line"><a name="l00179"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFIR2AbsState.html#a80a0f0a20e993c6fcffc89f9de409f44"> 179</a></span>&#160; <a class="code" href="classSVF_1_1SVFIR.html">SVFIR</a> *<a class="code" href="classSVF_1_1SVFIR2AbsState.html#a80a0f0a20e993c6fcffc89f9de409f44">_svfir</a>;</div>
234
+ <div class="line"><a name="l00180"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFIR2AbsState.html#a592f4fe473d0159a3fbdac3bc35b424e"> 180</a></span>&#160; <a class="code" href="classSVF_1_1RelExeState.html">RelExeState</a> <a class="code" href="classSVF_1_1SVFIR2AbsState.html#a592f4fe473d0159a3fbdac3bc35b424e">_relEs</a>;</div>
235
+ <div class="line"><a name="l00181"></a><span class="lineno"> 181</span>&#160;};</div>
236
+ <div class="line"><a name="l00182"></a><span class="lineno"> 182</span>&#160;}</div>
237
+ <div class="line"><a name="l00183"></a><span class="lineno"> 183</span>&#160; </div>
238
+ <div class="line"><a name="l00184"></a><span class="lineno"> 184</span>&#160;<span class="preprocessor">#endif //Z3_EXAMPLE_SVFIR2ITVEXESTATE_H</span></div>
269
239
  </div><!-- fragment --></div><!-- contents -->
270
240
  <div class="ttc" id="anamespaceSVF_html_a5c4820681ef340339ddded756eb82ae1"><div class="ttname"><a href="namespaceSVF.html#a5c4820681ef340339ddded756eb82ae1">SVF::APOffset</a></div><div class="ttdeci">s64_t APOffset</div><div class="ttdef"><b>Definition:</b> <a href="GeneralType_8h_source.html#l00060">GeneralType.h:60</a></div></div>
241
+ <div class="ttc" id="aclassSVF_1_1SVFIR2AbsState_html_ad4ae901d5e3fe20c155e508884a5bf7f"><div class="ttname"><a href="classSVF_1_1SVFIR2AbsState.html#ad4ae901d5e3fe20c155e508884a5bf7f">SVF::SVFIR2AbsState::widenAddrs</a></div><div class="ttdeci">void widenAddrs(AbstractState &amp;es, AbstractState &amp;lhs, const AbstractState &amp;rhs)</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR2AbsState_8cpp_source.html#l00274">SVFIR2AbsState.cpp:274</a></div></div>
271
242
  <div class="ttc" id="aclassSVF_1_1CopyStmt_html"><div class="ttname"><a href="classSVF_1_1CopyStmt.html">SVF::CopyStmt</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00364">SVFStatements.h:364</a></div></div>
272
- <div class="ttc" id="aclassSVF_1_1SVFIR2AbsState_html_aa36938b22e2d3521f2af9d13c2697d83"><div class="ttname"><a href="classSVF_1_1SVFIR2AbsState.html#aa36938b22e2d3521f2af9d13c2697d83">SVF::SVFIR2AbsState::handleGep</a></div><div class="ttdeci">void handleGep(const GepStmt *gep)</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR2AbsState_8cpp_source.html#l01018">SVFIR2AbsState.cpp:1018</a></div></div>
273
- <div class="ttc" id="aclassSVF_1_1SVFIR2AbsState_html_a62baa9403069a9b1e010eaeb2f6b9b34"><div class="ttname"><a href="classSVF_1_1SVFIR2AbsState.html#a62baa9403069a9b1e010eaeb2f6b9b34">SVF::SVFIR2AbsState::inVarToAddrsTable</a></div><div class="ttdeci">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="SVFIR2AbsState_8h_source.html#l00129">SVFIR2AbsState.h:129</a></div></div>
243
+ <div class="ttc" id="aclassSVF_1_1SVFIR2AbsState_html_a151cd00e030b8e9b51b907a3da8428e5"><div class="ttname"><a href="classSVF_1_1SVFIR2AbsState.html#a151cd00e030b8e9b51b907a3da8428e5">SVF::SVFIR2AbsState::handlePhi</a></div><div class="ttdeci">void handlePhi(AbstractState &amp;es, const PhiStmt *phi)</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR2AbsState_8cpp_source.html#l01059">SVFIR2AbsState.cpp:1059</a></div></div>
274
244
  <div class="ttc" id="aclassSVF_1_1AbstractState_html_ab4d209d0739f2c45dbc2a7e61318e2e3"><div class="ttname"><a href="classSVF_1_1AbstractState.html#ab4d209d0739f2c45dbc2a7e61318e2e3">SVF::AbstractState::inVarToValTable</a></div><div class="ttdeci">virtual bool inVarToValTable(u32_t id) const</div><div class="ttdoc">whether the variable is in varToVal table</div><div class="ttdef"><b>Definition:</b> <a href="AbstractState_8h_source.html#l00214">AbstractState.h:214</a></div></div>
245
+ <div class="ttc" id="aclassSVF_1_1SVFIR2AbsState_html_ae0801d4df0304e422ee4cc1b60d2ffb3"><div class="ttname"><a href="classSVF_1_1SVFIR2AbsState.html#ae0801d4df0304e422ee4cc1b60d2ffb3">SVF::SVFIR2AbsState::initObjVar</a></div><div class="ttdeci">void initObjVar(AbstractState &amp;es, const ObjVar *objVar, u32_t varId)</div><div class="ttdoc">Init ObjVar.</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR2AbsState_8cpp_source.html#l00548">SVFIR2AbsState.cpp:548</a></div></div>
275
246
  <div class="ttc" id="aclassSVF_1_1AddrStmt_html"><div class="ttname"><a href="classSVF_1_1AddrStmt.html">SVF::AddrStmt</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00313">SVFStatements.h:313</a></div></div>
276
247
  <div class="ttc" id="aRelExeState_8h_html"><div class="ttname"><a href="RelExeState_8h.html">RelExeState.h</a></div></div>
277
248
  <div class="ttc" id="aclassSVF_1_1PhiStmt_html"><div class="ttname"><a href="classSVF_1_1PhiStmt.html">SVF::PhiStmt</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00813">SVFStatements.h:813</a></div></div>
278
- <div class="ttc" id="aclassSVF_1_1SVFIR2AbsState_html_af38b6e392cfd91b3516f2bc9feacce34"><div class="ttname"><a href="classSVF_1_1SVFIR2AbsState.html#af38b6e392cfd91b3516f2bc9feacce34">SVF::SVFIR2AbsState::getSIntToFPValue</a></div><div class="ttdeci">AbstractValue getSIntToFPValue(const SVFVar *var)</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR2AbsState_8cpp_source.html#l00197">SVFIR2AbsState.cpp:197</a></div></div>
279
249
  <div class="ttc" id="aclassSVF_1_1ObjVar_html"><div class="ttname"><a href="classSVF_1_1ObjVar.html">SVF::ObjVar</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFVariables_8h_source.html#l00315">SVFVariables.h:315</a></div></div>
280
250
  <div class="ttc" id="anamespaceSVF_html"><div class="ttname"><a href="namespaceSVF.html">SVF</a></div><div class="ttdoc">for isBitcode</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00067">BasicTypes.h:67</a></div></div>
281
- <div class="ttc" id="aclassSVF_1_1SVFIR2AbsState_html_a36a428b990477a204cd73151680259a2"><div class="ttname"><a href="classSVF_1_1SVFIR2AbsState.html#a36a428b990477a204cd73151680259a2">SVF::SVFIR2AbsState::getContext</a></div><div class="ttdeci">static z3::context &amp; getContext()</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR2AbsState_8h_source.html#l00099">SVFIR2AbsState.h:99</a></div></div>
282
- <div class="ttc" id="aclassSVF_1_1SVFIR2AbsState_html_a44deea0e4cbc98bf999598d7862fe115"><div class="ttname"><a href="classSVF_1_1SVFIR2AbsState.html#a44deea0e4cbc98bf999598d7862fe115">SVF::SVFIR2AbsState::handlePhi</a></div><div class="ttdeci">void handlePhi(const PhiStmt *phi)</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR2AbsState_8cpp_source.html#l01071">SVFIR2AbsState.cpp:1071</a></div></div>
283
- <div class="ttc" id="aclassSVF_1_1SVFIR2AbsState_html_a6292b9ebe6dd7e6857641210984bb815"><div class="ttname"><a href="classSVF_1_1SVFIR2AbsState.html#a6292b9ebe6dd7e6857641210984bb815">SVF::SVFIR2AbsState::narrowAddrs</a></div><div class="ttdeci">void narrowAddrs(AbstractState &amp;lhs, const AbstractState &amp;rhs)</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR2AbsState_8cpp_source.html#l00332">SVFIR2AbsState.cpp:332</a></div></div>
251
+ <div class="ttc" id="aclassSVF_1_1SVFIR2AbsState_html_a36a428b990477a204cd73151680259a2"><div class="ttname"><a href="classSVF_1_1SVFIR2AbsState.html#a36a428b990477a204cd73151680259a2">SVF::SVFIR2AbsState::getContext</a></div><div class="ttdeci">static z3::context &amp; getContext()</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR2AbsState_8h_source.html#l00090">SVFIR2AbsState.h:90</a></div></div>
252
+ <div class="ttc" id="aclassSVF_1_1SVFIR2AbsState_html_a8bc2d298ea7a239cd06f5462045da14f"><div class="ttname"><a href="classSVF_1_1SVFIR2AbsState.html#a8bc2d298ea7a239cd06f5462045da14f">SVF::SVFIR2AbsState::getTruncValue</a></div><div class="ttdeci">AbstractValue getTruncValue(AbstractState &amp;es, const SVFVar *var, const SVFType *dstType)</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR2AbsState_8cpp_source.html#l00219">SVFIR2AbsState.cpp:219</a></div></div>
253
+ <div class="ttc" id="aclassSVF_1_1SVFIR2AbsState_html_af09515297cb9c31153ed7f32bc3febd2"><div class="ttname"><a href="classSVF_1_1SVFIR2AbsState.html#af09515297cb9c31153ed7f32bc3febd2">SVF::SVFIR2AbsState::handleAddr</a></div><div class="ttdeci">void handleAddr(AbstractState &amp;es, const AddrStmt *addr)</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR2AbsState_8cpp_source.html#l00601">SVFIR2AbsState.cpp:601</a></div></div>
254
+ <div class="ttc" id="aclassSVF_1_1SVFIR2AbsState_html_aba8911ddb22a7e9736f7676ed1d99a82"><div class="ttname"><a href="classSVF_1_1SVFIR2AbsState.html#aba8911ddb22a7e9736f7676ed1d99a82">SVF::SVFIR2AbsState::getSIntToFPValue</a></div><div class="ttdeci">AbstractValue getSIntToFPValue(AbstractState &amp;es, const SVFVar *var)</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR2AbsState_8cpp_source.html#l00197">SVFIR2AbsState.cpp:197</a></div></div>
255
+ <div class="ttc" id="aclassSVF_1_1SVFIR2AbsState_html_af3f15bd1ccf90a4e11a4dcfda2f2aa47"><div class="ttname"><a href="classSVF_1_1SVFIR2AbsState.html#af3f15bd1ccf90a4e11a4dcfda2f2aa47">SVF::SVFIR2AbsState::getItvOfFlattenedElemIndex</a></div><div class="ttdeci">AbstractValue getItvOfFlattenedElemIndex(AbstractState &amp;es, const GepStmt *gep)</div><div class="ttdoc">Return the offset expression of a GepStmt.</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR2AbsState_8cpp_source.html#l00473">SVFIR2AbsState.cpp:473</a></div></div>
284
256
  <div class="ttc" id="aclassSVF_1_1SelectStmt_html"><div class="ttname"><a href="classSVF_1_1SelectStmt.html">SVF::SelectStmt</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00881">SVFStatements.h:881</a></div></div>
257
+ <div class="ttc" id="aclassSVF_1_1SVFIR2AbsState_html_accc3a4574ab5dd71149b4266dd19ca2f"><div class="ttname"><a href="classSVF_1_1SVFIR2AbsState.html#accc3a4574ab5dd71149b4266dd19ca2f">SVF::SVFIR2AbsState::getFPToSIntValue</a></div><div class="ttdeci">AbstractValue getFPToSIntValue(AbstractState &amp;es, const SVFVar *var)</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR2AbsState_8cpp_source.html#l00161">SVFIR2AbsState.cpp:161</a></div></div>
258
+ <div class="ttc" id="aclassSVF_1_1SVFIR2AbsState_html_abce457a32553584eb656ff0fa4e52a64"><div class="ttname"><a href="classSVF_1_1SVFIR2AbsState.html#abce457a32553584eb656ff0fa4e52a64">SVF::SVFIR2AbsState::handleCopy</a></div><div class="ttdeci">void handleCopy(AbstractState &amp;es, const CopyStmt *copy)</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR2AbsState_8cpp_source.html#l00925">SVFIR2AbsState.cpp:925</a></div></div>
259
+ <div class="ttc" id="aclassSVF_1_1SVFIR2AbsState_html_aa992d91842053a6a651976cdb49199e4"><div class="ttname"><a href="classSVF_1_1SVFIR2AbsState.html#aa992d91842053a6a651976cdb49199e4">SVF::SVFIR2AbsState::initSVFVar</a></div><div class="ttdeci">void initSVFVar(AbstractState &amp;es, u32_t varId)</div><div class="ttdoc">Init SVFVar.</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR2AbsState_8cpp_source.html#l00583">SVFIR2AbsState.cpp:583</a></div></div>
260
+ <div class="ttc" id="aclassSVF_1_1SVFIR2AbsState_html_a8ceffd42b533a28fffa665537e14d4e8"><div class="ttname"><a href="classSVF_1_1SVFIR2AbsState.html#a8ceffd42b533a28fffa665537e14d4e8">SVF::SVFIR2AbsState::getFPToUIntValue</a></div><div class="ttdeci">AbstractValue getFPToUIntValue(AbstractState &amp;es, const SVFVar *var)</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR2AbsState_8cpp_source.html#l00179">SVFIR2AbsState.cpp:179</a></div></div>
285
261
  <div class="ttc" id="aclassSVF_1_1SVFIR2AbsState_html_a46a2f2eedd729f4764f630d72391ec97"><div class="ttname"><a href="classSVF_1_1SVFIR2AbsState.html#a46a2f2eedd729f4764f630d72391ec97">SVF::SVFIR2AbsState::globalNulladdrs</a></div><div class="ttdeci">static AbstractValue globalNulladdrs</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR2AbsState_8h_source.html#l00045">SVFIR2AbsState.h:45</a></div></div>
286
262
  <div class="ttc" id="aclassSVF_1_1RetPE_html"><div class="ttname"><a href="classSVF_1_1RetPE.html">SVF::RetPE</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00670">SVFStatements.h:670</a></div></div>
287
263
  <div class="ttc" id="aclassSVF_1_1CmpStmt_html"><div class="ttname"><a href="classSVF_1_1CmpStmt.html">SVF::CmpStmt</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00936">SVFStatements.h:936</a></div></div>
288
- <div class="ttc" id="aclassSVF_1_1SVFIR2AbsState_html_a1e270574a1d6f0894868cfb098ffbb8b"><div class="ttname"><a href="classSVF_1_1SVFIR2AbsState.html#a1e270574a1d6f0894868cfb098ffbb8b">SVF::SVFIR2AbsState::getZExtValue</a></div><div class="ttdeci">AbstractValue getZExtValue(const SVFVar *var)</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR2AbsState_8cpp_source.html#l00111">SVFIR2AbsState.cpp:111</a></div></div>
264
+ <div class="ttc" id="aclassSVF_1_1SVFIR2AbsState_html_a9db48252f099848d0f152e9fa523333a"><div class="ttname"><a href="classSVF_1_1SVFIR2AbsState.html#a9db48252f099848d0f152e9fa523333a">SVF::SVFIR2AbsState::handleBinary</a></div><div class="ttdeci">void handleBinary(AbstractState &amp;es, const BinaryOPStmt *binary)</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR2AbsState_8cpp_source.html#l00626">SVFIR2AbsState.cpp:626</a></div></div>
289
265
  <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>
290
- <div class="ttc" id="aclassSVF_1_1ICFGNode_html"><div class="ttname"><a href="classSVF_1_1ICFGNode.html">SVF::ICFGNode</a></div><div class="ttdef"><b>Definition:</b> <a href="ICFGNode_8h_source.html#l00054">ICFGNode.h:54</a></div></div>
266
+ <div class="ttc" id="aclassSVF_1_1SVFIR2AbsState_html_a4478a7e793920ec543d32314f13a5bb9"><div class="ttname"><a href="classSVF_1_1SVFIR2AbsState.html#a4478a7e793920ec543d32314f13a5bb9">SVF::SVFIR2AbsState::handleLoad</a></div><div class="ttdeci">void handleLoad(AbstractState &amp;es, const LoadStmt *load)</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR2AbsState_8cpp_source.html#l00874">SVFIR2AbsState.cpp:874</a></div></div>
291
267
  <div class="ttc" id="aclassSVF_1_1AbstractState_html_aff46e9d0fb20cedd54323c808d06f7cf"><div class="ttname"><a href="classSVF_1_1AbstractState.html#aff46e9d0fb20cedd54323c808d06f7cf">SVF::AbstractState::inLocToAddrsTable</a></div><div class="ttdeci">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="AbstractState_8h_source.html#l00227">AbstractState.h:227</a></div></div>
268
+ <div class="ttc" id="aclassSVF_1_1SVFIR2AbsState_html_a611ac228efd661b301ea1dd675cd1c0c"><div class="ttname"><a href="classSVF_1_1SVFIR2AbsState.html#a611ac228efd661b301ea1dd675cd1c0c">SVF::SVFIR2AbsState::getAddrs</a></div><div class="ttdeci">AbstractValue &amp; getAddrs(AbstractState &amp;es, u32_t id)</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR2AbsState_8h_source.html#l00104">SVFIR2AbsState.h:104</a></div></div>
292
269
  <div class="ttc" id="aclassSVF_1_1AbstractState_html_aa34516a95191c5ec56ce44a117e8b018"><div class="ttname"><a href="classSVF_1_1AbstractState.html#aa34516a95191c5ec56ce44a117e8b018">SVF::AbstractState::inVarToAddrsTable</a></div><div class="ttdeci">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="AbstractState_8h_source.html#l00201">AbstractState.h:201</a></div></div>
293
- <div class="ttc" id="aclassSVF_1_1SVFIR2AbsState_html_a8eb06c3e65594dbcb602ec472258f09c"><div class="ttname"><a href="classSVF_1_1SVFIR2AbsState.html#a8eb06c3e65594dbcb602ec472258f09c">SVF::SVFIR2AbsState::inLocToAddrsTable</a></div><div class="ttdeci">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="SVFIR2AbsState_8h_source.html#l00142">SVFIR2AbsState.h:142</a></div></div>
294
270
  <div class="ttc" id="aclassSVF_1_1AbstractState_html_a234d0b11624febec605bc028f093240b"><div class="ttname"><a href="classSVF_1_1AbstractState.html#a234d0b11624febec605bc028f093240b">SVF::AbstractState::getAddrs</a></div><div class="ttdeci">AbstractValue &amp; getAddrs(u32_t id)</div><div class="ttdoc">get memory addresses of variable</div><div class="ttdef"><b>Definition:</b> <a href="AbstractState_8h_source.html#l00187">AbstractState.h:187</a></div></div>
295
- <div class="ttc" id="aclassSVF_1_1SVFIR2AbsState_html_af48bab5352f5d1927aa467e1eb59c09f"><div class="ttname"><a href="classSVF_1_1SVFIR2AbsState.html#af48bab5352f5d1927aa467e1eb59c09f">SVF::SVFIR2AbsState::getFPToSIntValue</a></div><div class="ttdeci">AbstractValue getFPToSIntValue(const SVFVar *var)</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR2AbsState_8cpp_source.html#l00161">SVFIR2AbsState.cpp:161</a></div></div>
296
271
  <div class="ttc" id="aclassSVF_1_1CallPE_html"><div class="ttname"><a href="classSVF_1_1CallPE.html">SVF::CallPE</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00610">SVFStatements.h:610</a></div></div>
297
272
  <div class="ttc" id="aclassSVF_1_1SVFIR2AbsState_html_a4e032a5e0898f0e349927d5a86c8477c"><div class="ttname"><a href="classSVF_1_1SVFIR2AbsState.html#a4e032a5e0898f0e349927d5a86c8477c">SVF::SVFIR2AbsState::getRangeLimitFromType</a></div><div class="ttdeci">AbstractValue getRangeLimitFromType(const SVFType *type)</div><div class="ttdoc">Return the value range of Integer SVF Type, e.g. unsigned i8 Type-&gt;[0, 255], signed i8 Type-&gt;[-128,...</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR2AbsState_8cpp_source.html#l00049">SVFIR2AbsState.cpp:49</a></div></div>
298
- <div class="ttc" id="aclassSVF_1_1SVFIR2AbsState_html_ab58a5cc7a2bc6c38e87c8e5beb725b7a"><div class="ttname"><a href="classSVF_1_1SVFIR2AbsState.html#ab58a5cc7a2bc6c38e87c8e5beb725b7a">SVF::SVFIR2AbsState::setRelEs</a></div><div class="ttdeci">void setRelEs(const RelExeState &amp;relEs)</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR2AbsState_8h_source.html#l00059">SVFIR2AbsState.h:59</a></div></div>
299
- <div class="ttc" id="aclassSVF_1_1SVFIR2AbsState_html_a26afaf14db3b2a56e2d325630e5ba841"><div class="ttname"><a href="classSVF_1_1SVFIR2AbsState.html#a26afaf14db3b2a56e2d325630e5ba841">SVF::SVFIR2AbsState::inVarToValTable</a></div><div class="ttdeci">bool inVarToValTable(u32_t id) const</div><div class="ttdoc">whether the variable is in varToVal table</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR2AbsState_8h_source.html#l00123">SVFIR2AbsState.h:123</a></div></div>
273
+ <div class="ttc" id="aclassSVF_1_1SVFIR2AbsState_html_a8d4535dae277ade2d1e75678ad89d950"><div class="ttname"><a href="classSVF_1_1SVFIR2AbsState.html#a8d4535dae277ade2d1e75678ad89d950">SVF::SVFIR2AbsState::handleRet</a></div><div class="ttdeci">void handleRet(AbstractState &amp;es, const RetPE *retPE)</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR2AbsState_8cpp_source.html#l01087">SVFIR2AbsState.cpp:1087</a></div></div>
274
+ <div class="ttc" id="aclassSVF_1_1SVFIR2AbsState_html_ab58a5cc7a2bc6c38e87c8e5beb725b7a"><div class="ttname"><a href="classSVF_1_1SVFIR2AbsState.html#ab58a5cc7a2bc6c38e87c8e5beb725b7a">SVF::SVFIR2AbsState::setRelEs</a></div><div class="ttdeci">void setRelEs(const RelExeState &amp;relEs)</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR2AbsState_8h_source.html#l00050">SVFIR2AbsState.h:50</a></div></div>
275
+ <div class="ttc" id="aclassSVF_1_1SVFIR2AbsState_html_a48e57f3511afd03c76dd0fe4b87b61e9"><div class="ttname"><a href="classSVF_1_1SVFIR2AbsState.html#a48e57f3511afd03c76dd0fe4b87b61e9">SVF::SVFIR2AbsState::inVarToValTable</a></div><div class="ttdeci">bool inVarToValTable(AbstractState &amp;es, u32_t id) const</div><div class="ttdoc">whether the variable is in varToVal table</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR2AbsState_8h_source.html#l00114">SVFIR2AbsState.h:114</a></div></div>
300
276
  <div class="ttc" id="aclassSVF_1_1BinaryOPStmt_html"><div class="ttname"><a href="classSVF_1_1BinaryOPStmt.html">SVF::BinaryOPStmt</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l01022">SVFStatements.h:1022</a></div></div>
301
277
  <div class="ttc" id="aclassSVF_1_1StoreStmt_html"><div class="ttname"><a href="classSVF_1_1StoreStmt.html">SVF::StoreStmt</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00452">SVFStatements.h:452</a></div></div>
302
- <div class="ttc" id="aclassSVF_1_1SVFIR2AbsState_html_ab57524c8490ffb84ac7ebe629f5149b6"><div class="ttname"><a href="classSVF_1_1SVFIR2AbsState.html#ab57524c8490ffb84ac7ebe629f5149b6">SVF::SVFIR2AbsState::handleCallRel</a></div><div class="ttdeci">void handleCallRel(const CallPE *callPE)</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR2Relation_8cpp_source.html#l00179">SVFIR2Relation.cpp:179</a></div></div>
303
- <div class="ttc" id="aclassSVF_1_1SVFIR2AbsState_html_ae2ee40a59aec3fb7c7abc4ddb7784bcf"><div class="ttname"><a href="classSVF_1_1SVFIR2AbsState.html#ae2ee40a59aec3fb7c7abc4ddb7784bcf">SVF::SVFIR2AbsState::getRelEs</a></div><div class="ttdeci">RelExeState &amp; getRelEs()</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR2AbsState_8h_source.html#l00064">SVFIR2AbsState.h:64</a></div></div>
304
- <div class="ttc" id="aclassSVF_1_1SVFIR2AbsState_html_a4d614da483954db61664603cf0cf72e0"><div class="ttname"><a href="classSVF_1_1SVFIR2AbsState.html#a4d614da483954db61664603cf0cf72e0">SVF::SVFIR2AbsState::handleStore</a></div><div class="ttdeci">void handleStore(const StoreStmt *store)</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR2AbsState_8cpp_source.html#l00912">SVFIR2AbsState.cpp:912</a></div></div>
305
- <div class="ttc" id="aclassSVF_1_1SVFIR2AbsState_html_a588d02aee4d770fe6019197896fb405e"><div class="ttname"><a href="classSVF_1_1SVFIR2AbsState.html#a588d02aee4d770fe6019197896fb405e">SVF::SVFIR2AbsState::handleSelectRel</a></div><div class="ttdeci">void handleSelectRel(const SelectStmt *select)</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR2Relation_8cpp_source.html#l00134">SVFIR2Relation.cpp:134</a></div></div>
306
- <div class="ttc" id="aclassSVF_1_1SVFIR2AbsState_html_a839a881ecff03f73102c1b48d9dbfb88"><div class="ttname"><a href="classSVF_1_1SVFIR2AbsState.html#a839a881ecff03f73102c1b48d9dbfb88">SVF::SVFIR2AbsState::handleRet</a></div><div class="ttdeci">void handleRet(const RetPE *retPE)</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR2AbsState_8cpp_source.html#l01099">SVFIR2AbsState.cpp:1099</a></div></div>
307
- <div class="ttc" id="aclassSVF_1_1SVFIR2AbsState_html_a21e927af79c73460ff5629cbd4961163"><div class="ttname"><a href="classSVF_1_1SVFIR2AbsState.html#a21e927af79c73460ff5629cbd4961163">SVF::SVFIR2AbsState::getByteOffset</a></div><div class="ttdeci">AbstractValue getByteOffset(const GepStmt *gep)</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR2AbsState_8cpp_source.html#l00415">SVFIR2AbsState.cpp:415</a></div></div>
278
+ <div class="ttc" id="aclassSVF_1_1SVFIR2AbsState_html_ae2ee40a59aec3fb7c7abc4ddb7784bcf"><div class="ttname"><a href="classSVF_1_1SVFIR2AbsState.html#ae2ee40a59aec3fb7c7abc4ddb7784bcf">SVF::SVFIR2AbsState::getRelEs</a></div><div class="ttdeci">RelExeState &amp; getRelEs()</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR2AbsState_8h_source.html#l00055">SVFIR2AbsState.h:55</a></div></div>
308
279
  <div class="ttc" id="acJSON_8cpp_html_a3f9a0d3265a6254722587175dac3e4dc"><div class="ttname"><a href="cJSON_8cpp.html#a3f9a0d3265a6254722587175dac3e4dc">type</a></div><div class="ttdeci">newitem type</div><div class="ttdef"><b>Definition:</b> <a href="cJSON_8cpp_source.html#l02739">cJSON.cpp:2739</a></div></div>
309
280
  <div class="ttc" id="aclassSVF_1_1SVFType_html"><div class="ttname"><a href="classSVF_1_1SVFType.html">SVF::SVFType</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00156">SVFType.h:156</a></div></div>
310
- <div class="ttc" id="aclassSVF_1_1SVFIR2AbsState_html_af13e2b1c28a16e046776187de62d3c20"><div class="ttname"><a href="classSVF_1_1SVFIR2AbsState.html#af13e2b1c28a16e046776187de62d3c20">SVF::SVFIR2AbsState::handleCmp</a></div><div class="ttdeci">void handleCmp(const CmpStmt *cmp)</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR2AbsState_8cpp_source.html#l00700">SVFIR2AbsState.cpp:700</a></div></div>
281
+ <div class="ttc" id="aclassSVF_1_1SVFIR2AbsState_html_aec9a351850857fa3c6fb23c58317cb0d"><div class="ttname"><a href="classSVF_1_1SVFIR2AbsState.html#aec9a351850857fa3c6fb23c58317cb0d">SVF::SVFIR2AbsState::getByteOffset</a></div><div class="ttdeci">AbstractValue getByteOffset(AbstractState &amp;es, const GepStmt *gep)</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR2AbsState_8cpp_source.html#l00403">SVFIR2AbsState.cpp:403</a></div></div>
311
282
  <div class="ttc" id="aSVFIR_8h_html"><div class="ttname"><a href="SVFIR_8h.html">SVFIR.h</a></div></div>
312
283
  <div class="ttc" id="aAbstractState_8h_html"><div class="ttname"><a href="AbstractState_8h.html">AbstractState.h</a></div></div>
284
+ <div class="ttc" id="aclassSVF_1_1SVFIR2AbsState_html_a378bc7aabe87501e3fbc9920f5f13e66"><div class="ttname"><a href="classSVF_1_1SVFIR2AbsState.html#a378bc7aabe87501e3fbc9920f5f13e66">SVF::SVFIR2AbsState::inLocToValTable</a></div><div class="ttdeci">bool inLocToValTable(AbstractState &amp;es, u32_t id) const</div><div class="ttdoc">whether the memory address stores a interval value</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR2AbsState_8h_source.html#l00127">SVFIR2AbsState.h:127</a></div></div>
285
+ <div class="ttc" id="aclassSVF_1_1SVFIR2AbsState_html_a4abde8e78108675a6980c362857cc7f0"><div class="ttname"><a href="classSVF_1_1SVFIR2AbsState.html#a4abde8e78108675a6980c362857cc7f0">SVF::SVFIR2AbsState::narrowAddrs</a></div><div class="ttdeci">void narrowAddrs(AbstractState &amp;es, AbstractState &amp;lhs, const AbstractState &amp;rhs)</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR2AbsState_8cpp_source.html#l00320">SVFIR2AbsState.cpp:320</a></div></div>
286
+ <div class="ttc" id="aclassSVF_1_1SVFIR2AbsState_html_ad42ca3cab47612c78a5d99cedea2f4ba"><div class="ttname"><a href="classSVF_1_1SVFIR2AbsState.html#ad42ca3cab47612c78a5d99cedea2f4ba">SVF::SVFIR2AbsState::inVarToAddrsTable</a></div><div class="ttdeci">bool inVarToAddrsTable(AbstractState &amp;es, u32_t id) const</div><div class="ttdoc">whether the variable is in varToAddrs table</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR2AbsState_8h_source.html#l00120">SVFIR2AbsState.h:120</a></div></div>
287
+ <div class="ttc" id="aclassSVF_1_1SVFIR2AbsState_html_a05673fde6e9f697fa6ffb8bc32fb6baa"><div class="ttname"><a href="classSVF_1_1SVFIR2AbsState.html#a05673fde6e9f697fa6ffb8bc32fb6baa">SVF::SVFIR2AbsState::handleSelect</a></div><div class="ttdeci">void handleSelect(AbstractState &amp;es, const SelectStmt *select)</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR2AbsState_8cpp_source.html#l01031">SVFIR2AbsState.cpp:1031</a></div></div>
313
288
  <div class="ttc" id="aclassSVF_1_1SVFIR2AbsState_html_a0141f9c8689e906a082f3566cb5d2cb6"><div class="ttname"><a href="classSVF_1_1SVFIR2AbsState.html#a0141f9c8689e906a082f3566cb5d2cb6">SVF::SVFIR2AbsState::SVFIR2AbsState</a></div><div class="ttdeci">SVFIR2AbsState(SVFIR *ir)</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR2AbsState_8h_source.html#l00047">SVFIR2AbsState.h:47</a></div></div>
314
- <div class="ttc" id="aclassSVF_1_1SVFIR2AbsState_html_a4b584ca677ccf79c18f4b9521a151c0a"><div class="ttname"><a href="classSVF_1_1SVFIR2AbsState.html#a4b584ca677ccf79c18f4b9521a151c0a">SVF::SVFIR2AbsState::handleCopyRel</a></div><div class="ttdeci">void handleCopyRel(const CopyStmt *copy)</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR2Relation_8cpp_source.html#l00127">SVFIR2Relation.cpp:127</a></div></div>
315
289
  <div class="ttc" id="aclassSVF_1_1AbstractState_html_ad3eefae77eb1fc4bbcfe70b0f2f51dd4"><div class="ttname"><a href="classSVF_1_1AbstractState.html#ad3eefae77eb1fc4bbcfe70b0f2f51dd4">SVF::AbstractState::isVirtualMemAddress</a></div><div class="ttdeci">static bool isVirtualMemAddress(u32_t val)</div><div class="ttdoc">Check bit value of val start with 0x7F000000, filter by 0xFF000000.</div><div class="ttdef"><b>Definition:</b> <a href="AbstractState_8h_source.html#l00087">AbstractState.h:87</a></div></div>
290
+ <div class="ttc" id="aclassSVF_1_1SVFIR2AbsState_html_ac5d31c2e3387c04749195d6cdb417a7a"><div class="ttname"><a href="classSVF_1_1SVFIR2AbsState.html#ac5d31c2e3387c04749195d6cdb417a7a">SVF::SVFIR2AbsState::handleCall</a></div><div class="ttdeci">void handleCall(AbstractState &amp;es, const CallPE *callPE)</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR2AbsState_8cpp_source.html#l01077">SVFIR2AbsState.cpp:1077</a></div></div>
291
+ <div class="ttc" id="aclassSVF_1_1SVFIR2AbsState_html_a0bdeaa3dac43c85cfac9195592db3fc9"><div class="ttname"><a href="classSVF_1_1SVFIR2AbsState.html#a0bdeaa3dac43c85cfac9195592db3fc9">SVF::SVFIR2AbsState::getFPTruncValue</a></div><div class="ttdeci">AbstractValue getFPTruncValue(AbstractState &amp;es, const SVFVar *var, const SVFType *dstType)</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR2AbsState_8cpp_source.html#l00268">SVFIR2AbsState.cpp:268</a></div></div>
316
292
  <div class="ttc" id="aclassSVF_1_1SVFVar_html"><div class="ttname"><a href="classSVF_1_1SVFVar.html">SVF::SVFVar</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFVariables_8h_source.html#l00045">SVFVariables.h:45</a></div></div>
317
293
  <div class="ttc" id="aclassSVF_1_1AbstractState_html_aa594b7f3d1590073a88bcc73918dde39"><div class="ttname"><a href="classSVF_1_1AbstractState.html#aa594b7f3d1590073a88bcc73918dde39">SVF::AbstractState::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="AbstractState_8h_source.html#l00081">AbstractState.h:81</a></div></div>
318
- <div class="ttc" id="aclassSVF_1_1SVFIR2AbsState_html_ad487088a4456b3f1d712c25756fe71e9"><div class="ttname"><a href="classSVF_1_1SVFIR2AbsState.html#ad487088a4456b3f1d712c25756fe71e9">SVF::SVFIR2AbsState::_es</a></div><div class="ttdeci">AbstractState _es</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR2AbsState_8h_source.html#l00209">SVFIR2AbsState.h:209</a></div></div>
319
294
  <div class="ttc" id="aclassSVF_1_1LoadStmt_html"><div class="ttname"><a href="classSVF_1_1LoadStmt.html">SVF::LoadStmt</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00489">SVFStatements.h:489</a></div></div>
320
- <div class="ttc" id="aclassSVF_1_1SVFIR2AbsState_html_ae1490bd3f93a4fcbb2390a3f30539b8a"><div class="ttname"><a href="classSVF_1_1SVFIR2AbsState.html#ae1490bd3f93a4fcbb2390a3f30539b8a">SVF::SVFIR2AbsState::initObjVar</a></div><div class="ttdeci">void initObjVar(const ObjVar *objVar, u32_t varId)</div><div class="ttdoc">Init ObjVar.</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR2AbsState_8cpp_source.html#l00560">SVFIR2AbsState.cpp:560</a></div></div>
321
- <div class="ttc" id="aclassSVF_1_1SVFIR2AbsState_html_aed83aeb1d918eb3584641ab95a82df66"><div class="ttname"><a href="classSVF_1_1SVFIR2AbsState.html#aed83aeb1d918eb3584641ab95a82df66">SVF::SVFIR2AbsState::handleRetRel</a></div><div class="ttdeci">void handleRetRel(const RetPE *retPE)</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR2Relation_8cpp_source.html#l00186">SVFIR2Relation.cpp:186</a></div></div>
295
+ <div class="ttc" id="aclassSVF_1_1SVFIR2AbsState_html_aff41668736469523873f0407bcbb70fd"><div class="ttname"><a href="classSVF_1_1SVFIR2AbsState.html#aff41668736469523873f0407bcbb70fd">SVF::SVFIR2AbsState::inLocToAddrsTable</a></div><div class="ttdeci">bool inLocToAddrsTable(AbstractState &amp;es, u32_t id) const</div><div class="ttdoc">whether the memory address stores memory addresses</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR2AbsState_8h_source.html#l00133">SVFIR2AbsState.h:133</a></div></div>
322
296
  <div class="ttc" id="aclassSVF_1_1AbstractState_html"><div class="ttname"><a href="classSVF_1_1AbstractState.html">SVF::AbstractState</a></div><div class="ttdef"><b>Definition:</b> <a href="AbstractState_8h_source.html#l00054">AbstractState.h:54</a></div></div>
323
297
  <div class="ttc" id="aclassSVF_1_1GepStmt_html"><div class="ttname"><a href="classSVF_1_1GepStmt.html">SVF::GepStmt</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00526">SVFStatements.h:526</a></div></div>
324
- <div class="ttc" id="aclassSVF_1_1SVFIR2AbsState_html_a5ba833f2f98f5b1b1a8a7ff7ecdb72b9"><div class="ttname"><a href="classSVF_1_1SVFIR2AbsState.html#a5ba833f2f98f5b1b1a8a7ff7ecdb72b9">SVF::SVFIR2AbsState::getFPTruncValue</a></div><div class="ttdeci">AbstractValue getFPTruncValue(const SVFVar *var, const SVFType *dstType)</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR2AbsState_8cpp_source.html#l00268">SVFIR2AbsState.cpp:268</a></div></div>
325
- <div class="ttc" id="aclassSVF_1_1SVFIR2AbsState_html_a99b526db536fb241ff755a82a45123fa"><div class="ttname"><a href="classSVF_1_1SVFIR2AbsState.html#a99b526db536fb241ff755a82a45123fa">SVF::SVFIR2AbsState::getAbsState</a></div><div class="ttdeci">AbstractState &amp; getAbsState()</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR2AbsState_8h_source.html#l00054">SVFIR2AbsState.h:54</a></div></div>
326
- <div class="ttc" id="aclassSVF_1_1SVFIR2AbsState_html_aa3e62b9ef912def502b95992199f5d8c"><div class="ttname"><a href="classSVF_1_1SVFIR2AbsState.html#aa3e62b9ef912def502b95992199f5d8c">SVF::SVFIR2AbsState::getAddrs</a></div><div class="ttdeci">AbstractValue &amp; getAddrs(u32_t id)</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR2AbsState_8h_source.html#l00113">SVFIR2AbsState.h:113</a></div></div>
298
+ <div class="ttc" id="aclassSVF_1_1SVFIR2AbsState_html_a74c008c44d3181d20819323aa83ec0ae"><div class="ttname"><a href="classSVF_1_1SVFIR2AbsState.html#a74c008c44d3181d20819323aa83ec0ae">SVF::SVFIR2AbsState::handleGep</a></div><div class="ttdeci">void handleGep(AbstractState &amp;es, const GepStmt *gep)</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR2AbsState_8cpp_source.html#l01006">SVFIR2AbsState.cpp:1006</a></div></div>
299
+ <div class="ttc" id="aclassSVF_1_1SVFIR2AbsState_html_a729cc61337cfe055adc49d04676f5717"><div class="ttname"><a href="classSVF_1_1SVFIR2AbsState.html#a729cc61337cfe055adc49d04676f5717">SVF::SVFIR2AbsState::handleCmp</a></div><div class="ttdeci">void handleCmp(AbstractState &amp;es, const CmpStmt *cmp)</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR2AbsState_8cpp_source.html#l00688">SVFIR2AbsState.cpp:688</a></div></div>
327
300
  <div class="ttc" id="acJSON_8cpp_html_a95bf816579e97b6f33bdb5e25ed6d5de"><div class="ttname"><a href="cJSON_8cpp.html#a95bf816579e97b6f33bdb5e25ed6d5de">offset</a></div><div class="ttdeci">buffer offset</div><div class="ttdef"><b>Definition:</b> <a href="cJSON_8cpp_source.html#l01113">cJSON.cpp:1113</a></div></div>
328
- <div class="ttc" id="aclassSVF_1_1SVFIR2AbsState_html_a592f4fe473d0159a3fbdac3bc35b424e"><div class="ttname"><a href="classSVF_1_1SVFIR2AbsState.html#a592f4fe473d0159a3fbdac3bc35b424e">SVF::SVFIR2AbsState::_relEs</a></div><div class="ttdeci">RelExeState _relEs</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR2AbsState_8h_source.html#l00210">SVFIR2AbsState.h:210</a></div></div>
329
- <div class="ttc" id="aclassSVF_1_1SVFIR2AbsState_html_acce4bce2322fe1cdcab369d906b9aee2"><div class="ttname"><a href="classSVF_1_1SVFIR2AbsState.html#acce4bce2322fe1cdcab369d906b9aee2">SVF::SVFIR2AbsState::handleSelect</a></div><div class="ttdeci">void handleSelect(const SelectStmt *select)</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR2AbsState_8cpp_source.html#l01043">SVFIR2AbsState.cpp:1043</a></div></div>
330
- <div class="ttc" id="aclassSVF_1_1SVFIR2AbsState_html_a72ed908d877abe23b899bb5052b56b5d"><div class="ttname"><a href="classSVF_1_1SVFIR2AbsState.html#a72ed908d877abe23b899bb5052b56b5d">SVF::SVFIR2AbsState::handlePhiRel</a></div><div class="ttdeci">void handlePhiRel(const PhiStmt *phi, const ICFGNode *srcNode, const std::vector&lt; const ICFGEdge * &gt; &amp;path)</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR2Relation_8cpp_source.html#l00151">SVFIR2Relation.cpp:151</a></div></div>
331
- <div class="ttc" id="aclassSVF_1_1SVFIR2AbsState_html_aaecd2f39d5038009cb41b849fd8fe55f"><div class="ttname"><a href="classSVF_1_1SVFIR2AbsState.html#aaecd2f39d5038009cb41b849fd8fe55f">SVF::SVFIR2AbsState::initSVFVar</a></div><div class="ttdeci">void initSVFVar(u32_t varId)</div><div class="ttdoc">Init SVFVar.</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR2AbsState_8cpp_source.html#l00595">SVFIR2AbsState.cpp:595</a></div></div>
332
- <div class="ttc" id="aclassSVF_1_1SVFIR2AbsState_html_ae247497ab346e612f645d39041b2ce32"><div class="ttname"><a href="classSVF_1_1SVFIR2AbsState.html#ae247497ab346e612f645d39041b2ce32">SVF::SVFIR2AbsState::getUIntToFPValue</a></div><div class="ttdeci">AbstractValue getUIntToFPValue(const SVFVar *var)</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR2AbsState_8cpp_source.html#l00208">SVFIR2AbsState.cpp:208</a></div></div>
333
- <div class="ttc" id="aclassSVF_1_1SVFIR2AbsState_html_a38a62cdec2fac4ad2e64b86b4eb3b0bf"><div class="ttname"><a href="classSVF_1_1SVFIR2AbsState.html#a38a62cdec2fac4ad2e64b86b4eb3b0bf">SVF::SVFIR2AbsState::getTruncValue</a></div><div class="ttdeci">AbstractValue getTruncValue(const SVFVar *var, const SVFType *dstType)</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR2AbsState_8cpp_source.html#l00219">SVFIR2AbsState.cpp:219</a></div></div>
334
- <div class="ttc" id="aclassSVF_1_1SVFIR2AbsState_html_a82afa83da1b1b17140b5b9c0b7eca153"><div class="ttname"><a href="classSVF_1_1SVFIR2AbsState.html#a82afa83da1b1b17140b5b9c0b7eca153">SVF::SVFIR2AbsState::handleBinary</a></div><div class="ttdeci">void handleBinary(const BinaryOPStmt *binary)</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR2AbsState_8cpp_source.html#l00638">SVFIR2AbsState.cpp:638</a></div></div>
335
- <div class="ttc" id="aclassSVF_1_1SVFIR2AbsState_html_a3bbf4cda2e3892c7359279337fab7d24"><div class="ttname"><a href="classSVF_1_1SVFIR2AbsState.html#a3bbf4cda2e3892c7359279337fab7d24">SVF::SVFIR2AbsState::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="SVFIR2AbsState_8h_source.html#l00182">SVFIR2AbsState.h:182</a></div></div>
336
- <div class="ttc" id="aclassSVF_1_1SVFIR2AbsState_html_ad41b11a2a046f253353f5e888c0004ca"><div class="ttname"><a href="classSVF_1_1SVFIR2AbsState.html#ad41b11a2a046f253353f5e888c0004ca">SVF::SVFIR2AbsState::widenAddrs</a></div><div class="ttdeci">void widenAddrs(AbstractState &amp;lhs, const AbstractState &amp;rhs)</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR2AbsState_8cpp_source.html#l00286">SVFIR2AbsState.cpp:286</a></div></div>
301
+ <div class="ttc" id="aclassSVF_1_1SVFIR2AbsState_html_a592f4fe473d0159a3fbdac3bc35b424e"><div class="ttname"><a href="classSVF_1_1SVFIR2AbsState.html#a592f4fe473d0159a3fbdac3bc35b424e">SVF::SVFIR2AbsState::_relEs</a></div><div class="ttdeci">RelExeState _relEs</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR2AbsState_8h_source.html#l00180">SVFIR2AbsState.h:180</a></div></div>
302
+ <div class="ttc" id="aclassSVF_1_1SVFIR2AbsState_html_a7dbb2fcda16a2879d4b508ab41d6919d"><div class="ttname"><a href="classSVF_1_1SVFIR2AbsState.html#a7dbb2fcda16a2879d4b508ab41d6919d">SVF::SVFIR2AbsState::getSExtValue</a></div><div class="ttdeci">AbstractValue getSExtValue(AbstractState &amp;es, const SVFVar *var)</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR2AbsState_8cpp_source.html#l00156">SVFIR2AbsState.cpp:156</a></div></div>
303
+ <div class="ttc" id="aclassSVF_1_1SVFIR2AbsState_html_a3bbf4cda2e3892c7359279337fab7d24"><div class="ttname"><a href="classSVF_1_1SVFIR2AbsState.html#a3bbf4cda2e3892c7359279337fab7d24">SVF::SVFIR2AbsState::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="SVFIR2AbsState_8h_source.html#l00173">SVFIR2AbsState.h:173</a></div></div>
337
304
  <div class="ttc" id="aclassSVF_1_1SVFIR2AbsState_html"><div class="ttname"><a href="classSVF_1_1SVFIR2AbsState.html">SVF::SVFIR2AbsState</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFIR2AbsState_8h_source.html#l00042">SVFIR2AbsState.h:42</a></div></div>
338
- <div class="ttc" id="aclassSVF_1_1SVFIR2AbsState_html_a928b35a6ea960a94470b0983008bfa9d"><div class="ttname"><a href="classSVF_1_1SVFIR2AbsState.html#a928b35a6ea960a94470b0983008bfa9d">SVF::SVFIR2AbsState::getItvOfFlattenedElemIndex</a></div><div class="ttdeci">AbstractValue getItvOfFlattenedElemIndex(const GepStmt *gep)</div><div class="ttdoc">Return the offset expression of a GepStmt.</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR2AbsState_8cpp_source.html#l00485">SVFIR2AbsState.cpp:485</a></div></div>
305
+ <div class="ttc" id="aclassSVF_1_1SVFIR2AbsState_html_ab6c5effe0a781740bdee4d12583c5c8e"><div class="ttname"><a href="classSVF_1_1SVFIR2AbsState.html#ab6c5effe0a781740bdee4d12583c5c8e">SVF::SVFIR2AbsState::getUIntToFPValue</a></div><div class="ttdeci">AbstractValue getUIntToFPValue(AbstractState &amp;es, const SVFVar *var)</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR2AbsState_8cpp_source.html#l00208">SVFIR2AbsState.cpp:208</a></div></div>
339
306
  <div class="ttc" id="acJSON_8cpp_html_a7669ee67a0563250c1efaa24d130e1ac"><div class="ttname"><a href="cJSON_8cpp.html#a7669ee67a0563250c1efaa24d130e1ac">copy</a></div><div class="ttdeci">copy</div><div class="ttdef"><b>Definition:</b> <a href="cJSON_8cpp_source.html#l00414">cJSON.cpp:414</a></div></div>
307
+ <div class="ttc" id="aclassSVF_1_1SVFIR2AbsState_html_ab1172cf5c51b84c2a5c70f8642cfc51b"><div class="ttname"><a href="classSVF_1_1SVFIR2AbsState.html#ab1172cf5c51b84c2a5c70f8642cfc51b">SVF::SVFIR2AbsState::applySummary</a></div><div class="ttdeci">void applySummary(AbstractState &amp;es)</div></div>
340
308
  <div class="ttc" id="aclassSVF_1_1RelExeState_html"><div class="ttname"><a href="classSVF_1_1RelExeState.html">SVF::RelExeState</a></div><div class="ttdef"><b>Definition:</b> <a href="RelExeState_8h_source.html#l00039">RelExeState.h:39</a></div></div>
341
309
  <div class="ttc" id="aclassSVF_1_1SVFIR_html"><div class="ttname"><a href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFIR_8h_source.html#l00043">SVFIR.h:43</a></div></div>
342
- <div class="ttc" id="aclassSVF_1_1SVFIR2AbsState_html_a2cc9783b020cb3b019d2691ab38e243a"><div class="ttname"><a href="classSVF_1_1SVFIR2AbsState.html#a2cc9783b020cb3b019d2691ab38e243a">SVF::SVFIR2AbsState::handleAddr</a></div><div class="ttdeci">void handleAddr(const AddrStmt *addr)</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR2AbsState_8cpp_source.html#l00613">SVFIR2AbsState.cpp:613</a></div></div>
343
- <div class="ttc" id="aclassSVF_1_1SVFIR2AbsState_html_a80a0f0a20e993c6fcffc89f9de409f44"><div class="ttname"><a href="classSVF_1_1SVFIR2AbsState.html#a80a0f0a20e993c6fcffc89f9de409f44">SVF::SVFIR2AbsState::_svfir</a></div><div class="ttdeci">SVFIR * _svfir</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR2AbsState_8h_source.html#l00208">SVFIR2AbsState.h:208</a></div></div>
310
+ <div class="ttc" id="aclassSVF_1_1SVFIR2AbsState_html_a037e4c0e35b1fd45df3a969c6d054a1e"><div class="ttname"><a href="classSVF_1_1SVFIR2AbsState.html#a037e4c0e35b1fd45df3a969c6d054a1e">SVF::SVFIR2AbsState::getZExtValue</a></div><div class="ttdeci">AbstractValue getZExtValue(AbstractState &amp;es, const SVFVar *var)</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR2AbsState_8cpp_source.html#l00111">SVFIR2AbsState.cpp:111</a></div></div>
311
+ <div class="ttc" id="aclassSVF_1_1SVFIR2AbsState_html_a80a0f0a20e993c6fcffc89f9de409f44"><div class="ttname"><a href="classSVF_1_1SVFIR2AbsState.html#a80a0f0a20e993c6fcffc89f9de409f44">SVF::SVFIR2AbsState::_svfir</a></div><div class="ttdeci">SVFIR * _svfir</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR2AbsState_8h_source.html#l00179">SVFIR2AbsState.h:179</a></div></div>
312
+ <div class="ttc" id="aclassSVF_1_1SVFIR2AbsState_html_aaca7dc6ee9a3c8ea6e3eca094c7c3045"><div class="ttname"><a href="classSVF_1_1SVFIR2AbsState.html#aaca7dc6ee9a3c8ea6e3eca094c7c3045">SVF::SVFIR2AbsState::getGepObjAddress</a></div><div class="ttdeci">AbstractValue getGepObjAddress(AbstractState &amp;es, u32_t pointer, APOffset offset)</div><div class="ttdoc">Return the field address given a pointer points to a struct object and an offset.</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR2AbsState_8cpp_source.html#l00360">SVFIR2AbsState.cpp:360</a></div></div>
344
313
  <div class="ttc" id="aclassSVF_1_1AbstractState_html_aaabe5850dbf1620c6058f5ac6cb169b6"><div class="ttname"><a href="classSVF_1_1AbstractState.html#aaabe5850dbf1620c6058f5ac6cb169b6">SVF::AbstractState::getInternalID</a></div><div class="ttdeci">static u32_t getInternalID(u32_t idx)</div><div class="ttdoc">Return the internal index if idx is an address otherwise return the value of idx.</div><div class="ttdef"><b>Definition:</b> <a href="AbstractState_8h_source.html#l00093">AbstractState.h:93</a></div></div>
345
- <div class="ttc" id="aclassSVF_1_1SVFIR2AbsState_html_ae6a36e79bdc4506f9f011ad100125444"><div class="ttname"><a href="classSVF_1_1SVFIR2AbsState.html#ae6a36e79bdc4506f9f011ad100125444">SVF::SVFIR2AbsState::getFPToUIntValue</a></div><div class="ttdeci">AbstractValue getFPToUIntValue(const SVFVar *var)</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR2AbsState_8cpp_source.html#l00179">SVFIR2AbsState.cpp:179</a></div></div>
346
- <div class="ttc" id="aclassSVF_1_1SVFIR2AbsState_html_a1930df3df0fa3f955a30beb25204438c"><div class="ttname"><a href="classSVF_1_1SVFIR2AbsState.html#a1930df3df0fa3f955a30beb25204438c">SVF::SVFIR2AbsState::handleLoad</a></div><div class="ttdeci">void handleLoad(const LoadStmt *load)</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR2AbsState_8cpp_source.html#l00886">SVFIR2AbsState.cpp:886</a></div></div>
347
- <div class="ttc" id="aclassSVF_1_1SVFIR2AbsState_html_ac2001071c306817cd52355e1d3b9154e"><div class="ttname"><a href="classSVF_1_1SVFIR2AbsState.html#ac2001071c306817cd52355e1d3b9154e">SVF::SVFIR2AbsState::handleBinaryRel</a></div><div class="ttdeci">void handleBinaryRel(const BinaryOPStmt *binary)</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR2Relation_8cpp_source.html#l00010">SVFIR2Relation.cpp:10</a></div></div>
348
- <div class="ttc" id="aclassSVF_1_1SVFIR2AbsState_html_a10a83572bf5dee369b54cda74f402073"><div class="ttname"><a href="classSVF_1_1SVFIR2AbsState.html#a10a83572bf5dee369b54cda74f402073">SVF::SVFIR2AbsState::getGepObjAddress</a></div><div class="ttdeci">AbstractValue getGepObjAddress(u32_t pointer, APOffset offset)</div><div class="ttdoc">Return the field address given a pointer points to a struct object and an offset.</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR2AbsState_8cpp_source.html#l00372">SVFIR2AbsState.cpp:372</a></div></div>
349
- <div class="ttc" id="aclassSVF_1_1SVFIR2AbsState_html_a41cb305781a119d0551c112023bbf88b"><div class="ttname"><a href="classSVF_1_1SVFIR2AbsState.html#a41cb305781a119d0551c112023bbf88b">SVF::SVFIR2AbsState::handleStoreRel</a></div><div class="ttdeci">void handleStoreRel(const StoreStmt *store)</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR2Relation_8cpp_source.html#l00118">SVFIR2Relation.cpp:118</a></div></div>
350
- <div class="ttc" id="aclassSVF_1_1SVFIR2AbsState_html_a63d855cf3342454ce5154fa7605f9935"><div class="ttname"><a href="classSVF_1_1SVFIR2AbsState.html#a63d855cf3342454ce5154fa7605f9935">SVF::SVFIR2AbsState::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="SVFIR2AbsState_8h_source.html#l00176">SVFIR2AbsState.h:176</a></div></div>
351
- <div class="ttc" id="aclassSVF_1_1SVFIR2AbsState_html_aebb9e9209fc4abe36b71a0498dc1045e"><div class="ttname"><a href="classSVF_1_1SVFIR2AbsState.html#aebb9e9209fc4abe36b71a0498dc1045e">SVF::SVFIR2AbsState::handleCmpRel</a></div><div class="ttdeci">void handleCmpRel(const CmpStmt *cmp)</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR2Relation_8cpp_source.html#l00060">SVFIR2Relation.cpp:60</a></div></div>
352
- <div class="ttc" id="aclassSVF_1_1SVFIR2AbsState_html_a847a9d505d3ed722b5b3d32cbcbd72ee"><div class="ttname"><a href="classSVF_1_1SVFIR2AbsState.html#a847a9d505d3ed722b5b3d32cbcbd72ee">SVF::SVFIR2AbsState::inLocToValTable</a></div><div class="ttdeci">bool inLocToValTable(u32_t id) const</div><div class="ttdoc">whether the memory address stores a interval value</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR2AbsState_8h_source.html#l00136">SVFIR2AbsState.h:136</a></div></div>
314
+ <div class="ttc" id="aclassSVF_1_1SVFIR2AbsState_html_a63d855cf3342454ce5154fa7605f9935"><div class="ttname"><a href="classSVF_1_1SVFIR2AbsState.html#a63d855cf3342454ce5154fa7605f9935">SVF::SVFIR2AbsState::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="SVFIR2AbsState_8h_source.html#l00167">SVFIR2AbsState.h:167</a></div></div>
353
315
  <div class="ttc" id="astructSVF_1_1AbstractValue_html"><div class="ttname"><a href="structSVF_1_1AbstractValue.html">SVF::AbstractValue</a></div><div class="ttdef"><b>Definition:</b> <a href="AbstractValue_8h_source.html#l00029">AbstractValue.h:29</a></div></div>
354
- <div class="ttc" id="aclassSVF_1_1SVFIR2AbsState_html_ae9cabdfecbc7773c1b15aafc4abf15e5"><div class="ttname"><a href="classSVF_1_1SVFIR2AbsState.html#ae9cabdfecbc7773c1b15aafc4abf15e5">SVF::SVFIR2AbsState::handleCopy</a></div><div class="ttdeci">void handleCopy(const CopyStmt *copy)</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR2AbsState_8cpp_source.html#l00937">SVFIR2AbsState.cpp:937</a></div></div>
355
- <div class="ttc" id="aclassSVF_1_1SVFIR2AbsState_html_aa925878721ae7028c3edae0c7fe8e127"><div class="ttname"><a href="classSVF_1_1SVFIR2AbsState.html#aa925878721ae7028c3edae0c7fe8e127">SVF::SVFIR2AbsState::getSExtValue</a></div><div class="ttdeci">AbstractValue getSExtValue(const SVFVar *var)</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR2AbsState_8cpp_source.html#l00156">SVFIR2AbsState.cpp:156</a></div></div>
356
- <div class="ttc" id="aclassSVF_1_1SVFIR2AbsState_html_ac37760566b534d89a61d789b00efb993"><div class="ttname"><a href="classSVF_1_1SVFIR2AbsState.html#ac37760566b534d89a61d789b00efb993">SVF::SVFIR2AbsState::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="SVFIR2AbsState_8h_source.html#l00170">SVFIR2AbsState.h:170</a></div></div>
316
+ <div class="ttc" id="aclassSVF_1_1SVFIR2AbsState_html_a75204b54b40f1402d670691c0355d6b5"><div class="ttname"><a href="classSVF_1_1SVFIR2AbsState.html#a75204b54b40f1402d670691c0355d6b5">SVF::SVFIR2AbsState::handleStore</a></div><div class="ttdeci">void handleStore(AbstractState &amp;es, const StoreStmt *store)</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR2AbsState_8cpp_source.html#l00900">SVFIR2AbsState.cpp:900</a></div></div>
317
+ <div class="ttc" id="aclassSVF_1_1SVFIR2AbsState_html_ac37760566b534d89a61d789b00efb993"><div class="ttname"><a href="classSVF_1_1SVFIR2AbsState.html#ac37760566b534d89a61d789b00efb993">SVF::SVFIR2AbsState::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="SVFIR2AbsState_8h_source.html#l00161">SVFIR2AbsState.h:161</a></div></div>
357
318
  <div class="ttc" id="aclassSVF_1_1AbstractState_html_aa2ac2ba25a9859232717ee22192feb35"><div class="ttname"><a href="classSVF_1_1AbstractState.html#aa2ac2ba25a9859232717ee22192feb35">SVF::AbstractState::inLocToValTable</a></div><div class="ttdeci">virtual bool inLocToValTable(u32_t id) const</div><div class="ttdoc">whether the memory address stores abstract value</div><div class="ttdef"><b>Definition:</b> <a href="AbstractState_8h_source.html#l00240">AbstractState.h:240</a></div></div>
358
- <div class="ttc" id="aclassSVF_1_1SVFIR2AbsState_html_a175a43f33d55e812ec61a349eb175157"><div class="ttname"><a href="classSVF_1_1SVFIR2AbsState.html#a175a43f33d55e812ec61a349eb175157">SVF::SVFIR2AbsState::handleCall</a></div><div class="ttdeci">void handleCall(const CallPE *callPE)</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR2AbsState_8cpp_source.html#l01089">SVFIR2AbsState.cpp:1089</a></div></div>
359
- <div class="ttc" id="aclassSVF_1_1SVFIR2AbsState_html_a7d0fdfbb8d5b38d29aaded6cf803150c"><div class="ttname"><a href="classSVF_1_1SVFIR2AbsState.html#a7d0fdfbb8d5b38d29aaded6cf803150c">SVF::SVFIR2AbsState::setEs</a></div><div class="ttdeci">void setEs(const AbstractState &amp;es)</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR2AbsState_8h_source.html#l00049">SVFIR2AbsState.h:49</a></div></div>
360
- <div class="ttc" id="aclassSVF_1_1SVFIR2AbsState_html_aedb9ed0802f5aabb3dff760615600678"><div class="ttname"><a href="classSVF_1_1SVFIR2AbsState.html#aedb9ed0802f5aabb3dff760615600678">SVF::SVFIR2AbsState::applySummary</a></div><div class="ttdeci">void applySummary(AbstractState &amp;es)</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR2AbsState_8cpp_source.html#l00274">SVFIR2AbsState.cpp:274</a></div></div>
361
319
  <div class="ttc" id="anamespaceSVF_html_ad42bff8d0a7d60a085aa32d10f4955af"><div class="ttname"><a href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">SVF::u32_t</a></div><div class="ttdeci">unsigned u32_t</div><div class="ttdef"><b>Definition:</b> <a href="GeneralType_8h_source.html#l00046">GeneralType.h:46</a></div></div>
362
- <div class="ttc" id="aclassSVF_1_1SVFIR2AbsState_html_a0a0ad0b3f12c5297f4d2ee48624914ea"><div class="ttname"><a href="classSVF_1_1SVFIR2AbsState.html#a0a0ad0b3f12c5297f4d2ee48624914ea">SVF::SVFIR2AbsState::handleLoadRel</a></div><div class="ttdeci">void handleLoadRel(const LoadStmt *load)</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR2Relation_8cpp_source.html#l00111">SVFIR2Relation.cpp:111</a></div></div>
363
320
  <!-- start footer part -->
364
321
  <hr class="footer"/><address class="footer"><small>
365
322
  Generated by &#160;<a href="http://www.doxygen.org/index.html">