svf-tools 1.0.905 → 1.0.907

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (438) hide show
  1. package/SVF-doxygen/html/AbstractInterpretation_8cpp.html +217 -0
  2. package/SVF-doxygen/html/AbstractInterpretation_8cpp_source.html +2093 -0
  3. package/SVF-doxygen/html/AbstractInterpretation_8h.html +115 -0
  4. package/SVF-doxygen/html/AbstractInterpretation_8h_source.html +459 -0
  5. package/SVF-doxygen/html/AbstractState_8cpp.html +84 -0
  6. package/SVF-doxygen/html/AbstractState_8cpp_source.html +461 -0
  7. package/SVF-doxygen/html/AbstractState_8h.html +105 -0
  8. package/SVF-doxygen/html/AbstractState_8h_source.html +891 -0
  9. package/SVF-doxygen/html/AbstractValue_8h.html +3 -3
  10. package/SVF-doxygen/html/AbstractValue_8h_source.html +652 -62
  11. package/SVF-doxygen/html/AddressValue_8h.html +4 -4
  12. package/SVF-doxygen/html/AddressValue_8h_source.html +180 -177
  13. package/SVF-doxygen/html/BufOverflowChecker_8cpp_source.html +782 -776
  14. package/SVF-doxygen/html/BufOverflowChecker_8h.html +1 -1
  15. package/SVF-doxygen/html/BufOverflowChecker_8h_source.html +19 -19
  16. package/SVF-doxygen/html/CFLGraph_8h_source.html +3 -3
  17. package/SVF-doxygen/html/CSC_8h_source.html +1 -1
  18. package/SVF-doxygen/html/ConsExeState_8cpp_source.html +1 -1
  19. package/SVF-doxygen/html/ConsExeState_8h_source.html +2 -2
  20. package/SVF-doxygen/html/ExeState_8cpp.html +1 -1
  21. package/SVF-doxygen/html/ExeState_8cpp_source.html +2 -2
  22. package/SVF-doxygen/html/ExeState_8h_source.html +8 -8
  23. package/SVF-doxygen/html/ICFGSimplification_8h.html +2 -2
  24. package/SVF-doxygen/html/ICFGSimplification_8h_source.html +17 -18
  25. package/SVF-doxygen/html/ICFG_8h_source.html +1 -1
  26. package/SVF-doxygen/html/IntervalValue_8h.html +2 -2
  27. package/SVF-doxygen/html/IntervalValue_8h_source.html +846 -864
  28. package/SVF-doxygen/html/LLVMModule_8cpp_source.html +1 -1
  29. package/SVF-doxygen/html/MSSAMuChi_8h_source.html +1 -1
  30. package/SVF-doxygen/html/MemRegion_8cpp_source.html +1 -1
  31. package/SVF-doxygen/html/ObjTypeInference_8cpp_source.html +1 -1
  32. package/SVF-doxygen/html/PointsTo_8cpp_source.html +3 -3
  33. package/SVF-doxygen/html/PointsTo_8h_source.html +3 -3
  34. package/SVF-doxygen/html/RelExeState_8h_source.html +5 -5
  35. package/SVF-doxygen/html/RelationSolver_8cpp_source.html +67 -68
  36. package/SVF-doxygen/html/RelationSolver_8h.html +1 -1
  37. package/SVF-doxygen/html/RelationSolver_8h_source.html +17 -17
  38. package/SVF-doxygen/html/SVFIR2AbsState_8cpp.html +84 -0
  39. package/SVF-doxygen/html/SVFIR2AbsState_8cpp_source.html +1348 -0
  40. package/SVF-doxygen/html/SVFIR2AbsState_8h.html +100 -0
  41. package/SVF-doxygen/html/SVFIR2AbsState_8h_source.html +378 -0
  42. package/SVF-doxygen/html/SVFIR2ConsExeState_8cpp_source.html +9 -8
  43. package/SVF-doxygen/html/SVFIR2ItvExeState_8cpp_source.html +920 -952
  44. package/SVF-doxygen/html/SVFIR2ItvExeState_8h.html +2 -3
  45. package/SVF-doxygen/html/SVFIR2ItvExeState_8h_source.html +202 -207
  46. package/SVF-doxygen/html/SVFIR2Relation_8cpp.html +1 -1
  47. package/SVF-doxygen/html/SVFIR2Relation_8cpp_source.html +76 -72
  48. package/SVF-doxygen/html/SVFType_8cpp_source.html +1 -1
  49. package/SVF-doxygen/html/SVFType_8h_source.html +1 -1
  50. package/SVF-doxygen/html/SVFValue_8h_source.html +1 -1
  51. package/SVF-doxygen/html/SparseBitVector_8h_source.html +3 -3
  52. package/SVF-doxygen/html/WorkList_8h_source.html +1 -1
  53. package/SVF-doxygen/html/ae_8cpp.html +57 -57
  54. package/SVF-doxygen/html/ae_8cpp_source.html +462 -466
  55. package/SVF-doxygen/html/annotated.html +409 -418
  56. package/SVF-doxygen/html/classSVF_1_1AEStat-members.html +2 -2
  57. package/SVF-doxygen/html/classSVF_1_1AEStat.html +184 -190
  58. package/SVF-doxygen/html/classSVF_1_1AbstractInterpretation-members.html +161 -0
  59. package/SVF-doxygen/html/classSVF_1_1AbstractInterpretation.html +4325 -0
  60. package/SVF-doxygen/html/classSVF_1_1AbstractInterpretation.png +0 -0
  61. package/SVF-doxygen/html/classSVF_1_1AbstractState-members.html +134 -0
  62. package/SVF-doxygen/html/classSVF_1_1AbstractState.html +2166 -0
  63. package/SVF-doxygen/html/classSVF_1_1AbstractState.png +0 -0
  64. package/SVF-doxygen/html/classSVF_1_1AddressValue-members.html +15 -28
  65. package/SVF-doxygen/html/classSVF_1_1AddressValue.html +171 -230
  66. package/SVF-doxygen/html/classSVF_1_1BoundedZ3Expr.html +0 -1
  67. package/SVF-doxygen/html/classSVF_1_1BoundedZ3Expr.png +0 -0
  68. package/SVF-doxygen/html/classSVF_1_1BufOverflowChecker-members.html +73 -73
  69. package/SVF-doxygen/html/classSVF_1_1BufOverflowChecker.html +578 -574
  70. package/SVF-doxygen/html/classSVF_1_1BufOverflowChecker.png +0 -0
  71. package/SVF-doxygen/html/classSVF_1_1CFLNode-members.html +48 -49
  72. package/SVF-doxygen/html/classSVF_1_1CFLNode.html +25 -25
  73. package/SVF-doxygen/html/classSVF_1_1ConsExeState.html +1 -1
  74. package/SVF-doxygen/html/classSVF_1_1ExeState.html +12 -14
  75. package/SVF-doxygen/html/classSVF_1_1ExeState.png +0 -0
  76. package/SVF-doxygen/html/classSVF_1_1FILOWorkList.html +3 -3
  77. package/SVF-doxygen/html/classSVF_1_1GenericNode.html +22 -8
  78. package/SVF-doxygen/html/classSVF_1_1GenericNode.png +0 -0
  79. package/SVF-doxygen/html/classSVF_1_1ICFGSimplification.html +1 -1
  80. package/SVF-doxygen/html/classSVF_1_1IntervalValue-members.html +50 -64
  81. package/SVF-doxygen/html/classSVF_1_1IntervalValue.html +349 -459
  82. package/SVF-doxygen/html/classSVF_1_1LLVMModuleSet.html +1 -1
  83. package/SVF-doxygen/html/classSVF_1_1ObjTypeInference.html +1 -1
  84. package/SVF-doxygen/html/classSVF_1_1RelExeState-members.html +1 -1
  85. package/SVF-doxygen/html/classSVF_1_1RelExeState.html +8 -8
  86. package/SVF-doxygen/html/classSVF_1_1RelationSolver-members.html +8 -8
  87. package/SVF-doxygen/html/classSVF_1_1RelationSolver.html +106 -107
  88. package/SVF-doxygen/html/classSVF_1_1SVFIR2AbsState-members.html +141 -0
  89. package/SVF-doxygen/html/classSVF_1_1SVFIR2AbsState.html +3137 -0
  90. package/SVF-doxygen/html/classSVF_1_1SVFIR2ConsExeState.html +5 -5
  91. package/SVF-doxygen/html/classSVF_1_1SVFIR2ItvExeState-members.html +56 -57
  92. package/SVF-doxygen/html/classSVF_1_1SVFIR2ItvExeState.html +1128 -1178
  93. package/SVF-doxygen/html/classSVF_1_1SVFStat.html +1 -1
  94. package/SVF-doxygen/html/classSVF_1_1SparseAbstractState-members.html +157 -0
  95. package/SVF-doxygen/html/classSVF_1_1SparseAbstractState.html +1512 -0
  96. package/SVF-doxygen/html/classSVF_1_1SparseAbstractState.png +0 -0
  97. package/SVF-doxygen/html/classSVF_1_1Z3Expr.html +0 -1
  98. package/SVF-doxygen/html/classSVF_1_1Z3Expr.png +0 -0
  99. package/SVF-doxygen/html/classSymblicAbstractionTest-members.html +3 -3
  100. package/SVF-doxygen/html/classSymblicAbstractionTest.html +400 -404
  101. package/SVF-doxygen/html/classes.html +326 -336
  102. package/SVF-doxygen/html/dir_2c6fb801affc4b3efe6e1ed5974683f6.html +2 -10
  103. package/SVF-doxygen/html/dir_81caa96ab1d3de93b353e2bbe80e6067.html +2 -4
  104. package/SVF-doxygen/html/dir_9a8e7a56f4029a0d9f62b1c6d1f6e85b.html +2 -8
  105. package/SVF-doxygen/html/dir_fbec400583b4bd6c5f2e89c86c5943a6.html +2 -4
  106. package/SVF-doxygen/html/fastcluster__dm_8cpp_8inc_source.html +1 -1
  107. package/SVF-doxygen/html/files.html +18 -27
  108. package/SVF-doxygen/html/functions.html +33 -56
  109. package/SVF-doxygen/html/functions_a.html +29 -42
  110. package/SVF-doxygen/html/functions_b.html +14 -21
  111. package/SVF-doxygen/html/functions_c.html +42 -52
  112. package/SVF-doxygen/html/functions_d.html +7 -4
  113. package/SVF-doxygen/html/functions_e.html +7 -21
  114. package/SVF-doxygen/html/functions_enum.html +4 -7
  115. package/SVF-doxygen/html/functions_eval.html +2 -2
  116. package/SVF-doxygen/html/functions_eval_c.html +0 -3
  117. package/SVF-doxygen/html/functions_eval_i.html +2 -3
  118. package/SVF-doxygen/html/functions_eval_m.html +2 -2
  119. package/SVF-doxygen/html/functions_eval_s.html +2 -5
  120. package/SVF-doxygen/html/functions_eval_u.html +4 -1
  121. package/SVF-doxygen/html/functions_f.html +6 -6
  122. package/SVF-doxygen/html/functions_func.html +24 -31
  123. package/SVF-doxygen/html/functions_func_b.html +10 -16
  124. package/SVF-doxygen/html/functions_func_c.html +30 -39
  125. package/SVF-doxygen/html/functions_func_d.html +1 -1
  126. package/SVF-doxygen/html/functions_func_e.html +7 -17
  127. package/SVF-doxygen/html/functions_func_g.html +61 -115
  128. package/SVF-doxygen/html/functions_func_h.html +22 -24
  129. package/SVF-doxygen/html/functions_func_i.html +64 -94
  130. package/SVF-doxygen/html/functions_func_j.html +4 -6
  131. package/SVF-doxygen/html/functions_func_l.html +9 -23
  132. package/SVF-doxygen/html/functions_func_m.html +7 -8
  133. package/SVF-doxygen/html/functions_func_n.html +8 -13
  134. package/SVF-doxygen/html/functions_func_o.html +57 -48
  135. package/SVF-doxygen/html/functions_func_p.html +6 -11
  136. package/SVF-doxygen/html/functions_func_r.html +4 -4
  137. package/SVF-doxygen/html/functions_func_s.html +35 -50
  138. package/SVF-doxygen/html/functions_func_t.html +26 -40
  139. package/SVF-doxygen/html/functions_func_u.html +6 -5
  140. package/SVF-doxygen/html/functions_func_v.html +2 -9
  141. package/SVF-doxygen/html/functions_func_w.html +9 -8
  142. package/SVF-doxygen/html/functions_func_z.html +1 -2
  143. package/SVF-doxygen/html/functions_func_~.html +10 -22
  144. package/SVF-doxygen/html/functions_g.html +61 -118
  145. package/SVF-doxygen/html/functions_h.html +21 -23
  146. package/SVF-doxygen/html/functions_i.html +76 -106
  147. package/SVF-doxygen/html/functions_j.html +4 -6
  148. package/SVF-doxygen/html/functions_k.html +0 -6
  149. package/SVF-doxygen/html/functions_l.html +11 -25
  150. package/SVF-doxygen/html/functions_m.html +8 -9
  151. package/SVF-doxygen/html/functions_n.html +14 -17
  152. package/SVF-doxygen/html/functions_o.html +71 -90
  153. package/SVF-doxygen/html/functions_p.html +31 -30
  154. package/SVF-doxygen/html/functions_r.html +11 -15
  155. package/SVF-doxygen/html/functions_rela.html +2 -3
  156. package/SVF-doxygen/html/functions_rela_b.html +0 -1
  157. package/SVF-doxygen/html/functions_rela_e.html +0 -1
  158. package/SVF-doxygen/html/functions_rela_i.html +0 -2
  159. package/SVF-doxygen/html/functions_rela_l.html +0 -1
  160. package/SVF-doxygen/html/functions_rela_o.html +0 -18
  161. package/SVF-doxygen/html/functions_rela_r.html +2 -2
  162. package/SVF-doxygen/html/functions_rela_s.html +4 -9
  163. package/SVF-doxygen/html/functions_s.html +45 -70
  164. package/SVF-doxygen/html/functions_t.html +29 -45
  165. package/SVF-doxygen/html/functions_type.html +0 -5
  166. package/SVF-doxygen/html/functions_type_c.html +1 -1
  167. package/SVF-doxygen/html/functions_type_k.html +0 -6
  168. package/SVF-doxygen/html/functions_type_l.html +4 -3
  169. package/SVF-doxygen/html/functions_type_t.html +0 -3
  170. package/SVF-doxygen/html/functions_type_v.html +3 -5
  171. package/SVF-doxygen/html/functions_u.html +8 -4
  172. package/SVF-doxygen/html/functions_v.html +11 -20
  173. package/SVF-doxygen/html/functions_vars.html +33 -56
  174. package/SVF-doxygen/html/functions_vars_a.html +3 -0
  175. package/SVF-doxygen/html/functions_vars_g.html +2 -5
  176. package/SVF-doxygen/html/functions_vars_i.html +3 -0
  177. package/SVF-doxygen/html/functions_vars_t.html +1 -0
  178. package/SVF-doxygen/html/functions_w.html +11 -10
  179. package/SVF-doxygen/html/functions_z.html +1 -2
  180. package/SVF-doxygen/html/functions_~.html +10 -22
  181. package/SVF-doxygen/html/globals.html +2 -2
  182. package/SVF-doxygen/html/globals_defs.html +1 -4
  183. package/SVF-doxygen/html/globals_n.html +2 -5
  184. package/SVF-doxygen/html/globals_s.html +1 -1
  185. package/SVF-doxygen/html/globals_vars.html +5 -5
  186. package/SVF-doxygen/html/globals_z.html +3 -3
  187. package/SVF-doxygen/html/hierarchy.html +622 -631
  188. package/SVF-doxygen/html/namespaceSVF.html +449 -458
  189. package/SVF-doxygen/html/search/all_0.js +155 -161
  190. package/SVF-doxygen/html/search/all_1.js +502 -503
  191. package/SVF-doxygen/html/search/all_10.js +325 -326
  192. package/SVF-doxygen/html/search/all_11.js +227 -227
  193. package/SVF-doxygen/html/search/all_12.js +563 -574
  194. package/SVF-doxygen/html/search/all_13.js +206 -208
  195. package/SVF-doxygen/html/search/all_14.js +74 -73
  196. package/SVF-doxygen/html/search/all_15.js +175 -176
  197. package/SVF-doxygen/html/search/all_16.js +77 -77
  198. package/SVF-doxygen/html/search/all_17.js +1 -1
  199. package/SVF-doxygen/html/search/all_18.js +1 -1
  200. package/SVF-doxygen/html/search/all_19.js +27 -27
  201. package/SVF-doxygen/html/search/all_1a.js +175 -179
  202. package/SVF-doxygen/html/search/all_2.js +180 -182
  203. package/SVF-doxygen/html/search/all_3.js +636 -642
  204. package/SVF-doxygen/html/search/all_4.js +237 -236
  205. package/SVF-doxygen/html/search/all_5.js +120 -126
  206. package/SVF-doxygen/html/search/all_6.js +236 -236
  207. package/SVF-doxygen/html/search/all_7.js +1040 -1056
  208. package/SVF-doxygen/html/search/all_8.js +211 -215
  209. package/SVF-doxygen/html/search/all_9.js +631 -638
  210. package/SVF-doxygen/html/search/all_a.js +46 -46
  211. package/SVF-doxygen/html/search/all_b.js +24 -26
  212. package/SVF-doxygen/html/search/all_c.js +113 -115
  213. package/SVF-doxygen/html/search/all_d.js +205 -205
  214. package/SVF-doxygen/html/search/all_e.js +207 -209
  215. package/SVF-doxygen/html/search/all_f.js +122 -122
  216. package/SVF-doxygen/html/search/classes_0.js +29 -28
  217. package/SVF-doxygen/html/search/classes_1.js +11 -11
  218. package/SVF-doxygen/html/search/classes_10.js +72 -74
  219. package/SVF-doxygen/html/search/classes_11.js +14 -14
  220. package/SVF-doxygen/html/search/classes_12.js +2 -2
  221. package/SVF-doxygen/html/search/classes_13.js +10 -10
  222. package/SVF-doxygen/html/search/classes_14.js +19 -19
  223. package/SVF-doxygen/html/search/classes_15.js +1 -1
  224. package/SVF-doxygen/html/search/classes_2.js +72 -73
  225. package/SVF-doxygen/html/search/classes_3.js +35 -35
  226. package/SVF-doxygen/html/search/classes_4.js +7 -8
  227. package/SVF-doxygen/html/search/classes_5.js +28 -28
  228. package/SVF-doxygen/html/search/classes_6.js +98 -98
  229. package/SVF-doxygen/html/search/classes_7.js +34 -38
  230. package/SVF-doxygen/html/search/classes_8.js +57 -59
  231. package/SVF-doxygen/html/search/classes_9.js +1 -1
  232. package/SVF-doxygen/html/search/classes_a.js +12 -12
  233. package/SVF-doxygen/html/search/classes_b.js +29 -29
  234. package/SVF-doxygen/html/search/classes_c.js +6 -6
  235. package/SVF-doxygen/html/search/classes_d.js +19 -19
  236. package/SVF-doxygen/html/search/classes_e.js +36 -36
  237. package/SVF-doxygen/html/search/classes_f.js +25 -25
  238. package/SVF-doxygen/html/search/defines_0.js +3 -3
  239. package/SVF-doxygen/html/search/defines_1.js +3 -3
  240. package/SVF-doxygen/html/search/defines_10.js +2 -2
  241. package/SVF-doxygen/html/search/defines_2.js +30 -30
  242. package/SVF-doxygen/html/search/defines_3.js +20 -20
  243. package/SVF-doxygen/html/search/defines_4.js +3 -3
  244. package/SVF-doxygen/html/search/defines_5.js +4 -4
  245. package/SVF-doxygen/html/search/defines_6.js +2 -2
  246. package/SVF-doxygen/html/search/defines_7.js +5 -5
  247. package/SVF-doxygen/html/search/defines_8.js +11 -11
  248. package/SVF-doxygen/html/search/defines_9.js +9 -9
  249. package/SVF-doxygen/html/search/defines_a.js +2 -2
  250. package/SVF-doxygen/html/search/defines_b.js +1 -1
  251. package/SVF-doxygen/html/search/defines_c.js +3 -4
  252. package/SVF-doxygen/html/search/defines_d.js +2 -2
  253. package/SVF-doxygen/html/search/defines_e.js +8 -8
  254. package/SVF-doxygen/html/search/defines_f.js +4 -4
  255. package/SVF-doxygen/html/search/enums_0.js +3 -4
  256. package/SVF-doxygen/html/search/enums_1.js +2 -2
  257. package/SVF-doxygen/html/search/enums_10.js +1 -1
  258. package/SVF-doxygen/html/search/enums_11.js +1 -1
  259. package/SVF-doxygen/html/search/enums_2.js +9 -9
  260. package/SVF-doxygen/html/search/enums_3.js +2 -1
  261. package/SVF-doxygen/html/search/enums_4.js +3 -4
  262. package/SVF-doxygen/html/search/enums_5.js +1 -1
  263. package/SVF-doxygen/html/search/enums_6.js +2 -2
  264. package/SVF-doxygen/html/search/enums_7.js +2 -2
  265. package/SVF-doxygen/html/search/enums_8.js +4 -4
  266. package/SVF-doxygen/html/search/enums_9.js +1 -1
  267. package/SVF-doxygen/html/search/enums_a.js +1 -1
  268. package/SVF-doxygen/html/search/enums_b.js +7 -7
  269. package/SVF-doxygen/html/search/enums_c.js +1 -1
  270. package/SVF-doxygen/html/search/enums_d.js +4 -4
  271. package/SVF-doxygen/html/search/enums_e.js +2 -2
  272. package/SVF-doxygen/html/search/enums_f.js +4 -4
  273. package/SVF-doxygen/html/search/enumvalues_0.js +15 -15
  274. package/SVF-doxygen/html/search/enumvalues_1.js +16 -16
  275. package/SVF-doxygen/html/search/enumvalues_10.js +36 -36
  276. package/SVF-doxygen/html/search/enumvalues_11.js +6 -5
  277. package/SVF-doxygen/html/search/enumvalues_12.js +10 -10
  278. package/SVF-doxygen/html/search/enumvalues_13.js +1 -1
  279. package/SVF-doxygen/html/search/enumvalues_14.js +1 -1
  280. package/SVF-doxygen/html/search/enumvalues_15.js +4 -4
  281. package/SVF-doxygen/html/search/enumvalues_2.js +36 -37
  282. package/SVF-doxygen/html/search/enumvalues_3.js +13 -13
  283. package/SVF-doxygen/html/search/enumvalues_4.js +2 -2
  284. package/SVF-doxygen/html/search/enumvalues_5.js +50 -50
  285. package/SVF-doxygen/html/search/enumvalues_6.js +6 -6
  286. package/SVF-doxygen/html/search/enumvalues_7.js +8 -8
  287. package/SVF-doxygen/html/search/enumvalues_8.js +24 -24
  288. package/SVF-doxygen/html/search/enumvalues_9.js +6 -6
  289. package/SVF-doxygen/html/search/enumvalues_a.js +17 -17
  290. package/SVF-doxygen/html/search/enumvalues_b.js +11 -11
  291. package/SVF-doxygen/html/search/enumvalues_c.js +5 -5
  292. package/SVF-doxygen/html/search/enumvalues_d.js +19 -19
  293. package/SVF-doxygen/html/search/enumvalues_e.js +9 -9
  294. package/SVF-doxygen/html/search/enumvalues_f.js +48 -49
  295. package/SVF-doxygen/html/search/files_0.js +18 -16
  296. package/SVF-doxygen/html/search/files_1.js +9 -9
  297. package/SVF-doxygen/html/search/files_10.js +8 -8
  298. package/SVF-doxygen/html/search/files_11.js +8 -8
  299. package/SVF-doxygen/html/search/files_12.js +2 -2
  300. package/SVF-doxygen/html/search/files_2.js +51 -53
  301. package/SVF-doxygen/html/search/files_3.js +14 -14
  302. package/SVF-doxygen/html/search/files_4.js +3 -5
  303. package/SVF-doxygen/html/search/files_5.js +13 -13
  304. package/SVF-doxygen/html/search/files_6.js +10 -10
  305. package/SVF-doxygen/html/search/files_7.js +15 -17
  306. package/SVF-doxygen/html/search/files_8.js +13 -13
  307. package/SVF-doxygen/html/search/files_9.js +18 -18
  308. package/SVF-doxygen/html/search/files_a.js +3 -3
  309. package/SVF-doxygen/html/search/files_b.js +4 -4
  310. package/SVF-doxygen/html/search/files_c.js +20 -20
  311. package/SVF-doxygen/html/search/files_d.js +4 -4
  312. package/SVF-doxygen/html/search/files_e.js +57 -62
  313. package/SVF-doxygen/html/search/files_f.js +8 -8
  314. package/SVF-doxygen/html/search/functions_0.js +13 -13
  315. package/SVF-doxygen/html/search/functions_1.js +366 -368
  316. package/SVF-doxygen/html/search/functions_10.js +139 -140
  317. package/SVF-doxygen/html/search/functions_11.js +140 -140
  318. package/SVF-doxygen/html/search/functions_12.js +294 -299
  319. package/SVF-doxygen/html/search/functions_13.js +72 -73
  320. package/SVF-doxygen/html/search/functions_14.js +41 -41
  321. package/SVF-doxygen/html/search/functions_15.js +70 -72
  322. package/SVF-doxygen/html/search/functions_16.js +38 -38
  323. package/SVF-doxygen/html/search/functions_17.js +3 -3
  324. package/SVF-doxygen/html/search/functions_18.js +175 -179
  325. package/SVF-doxygen/html/search/functions_2.js +92 -94
  326. package/SVF-doxygen/html/search/functions_3.js +258 -261
  327. package/SVF-doxygen/html/search/functions_4.js +85 -85
  328. package/SVF-doxygen/html/search/functions_5.js +54 -57
  329. package/SVF-doxygen/html/search/functions_6.js +65 -65
  330. package/SVF-doxygen/html/search/functions_7.js +857 -872
  331. package/SVF-doxygen/html/search/functions_8.js +162 -162
  332. package/SVF-doxygen/html/search/functions_9.js +440 -446
  333. package/SVF-doxygen/html/search/functions_a.js +30 -30
  334. package/SVF-doxygen/html/search/functions_b.js +2 -2
  335. package/SVF-doxygen/html/search/functions_c.js +22 -25
  336. package/SVF-doxygen/html/search/functions_d.js +82 -82
  337. package/SVF-doxygen/html/search/functions_e.js +34 -36
  338. package/SVF-doxygen/html/search/functions_f.js +58 -58
  339. package/SVF-doxygen/html/search/namespaces_0.js +1 -1
  340. package/SVF-doxygen/html/search/namespaces_1.js +7 -7
  341. package/SVF-doxygen/html/search/related_0.js +4 -4
  342. package/SVF-doxygen/html/search/related_1.js +2 -2
  343. package/SVF-doxygen/html/search/related_2.js +2 -2
  344. package/SVF-doxygen/html/search/related_3.js +2 -2
  345. package/SVF-doxygen/html/search/related_4.js +2 -2
  346. package/SVF-doxygen/html/search/related_5.js +1 -1
  347. package/SVF-doxygen/html/search/related_6.js +2 -2
  348. package/SVF-doxygen/html/search/related_7.js +5 -5
  349. package/SVF-doxygen/html/search/related_8.js +2 -2
  350. package/SVF-doxygen/html/search/related_9.js +4 -4
  351. package/SVF-doxygen/html/search/related_a.js +19 -19
  352. package/SVF-doxygen/html/search/related_b.js +4 -4
  353. package/SVF-doxygen/html/search/related_c.js +2 -2
  354. package/SVF-doxygen/html/search/related_d.js +11 -12
  355. package/SVF-doxygen/html/search/related_e.js +2 -2
  356. package/SVF-doxygen/html/search/related_f.js +2 -2
  357. package/SVF-doxygen/html/search/typedefs_0.js +18 -19
  358. package/SVF-doxygen/html/search/typedefs_1.js +27 -27
  359. package/SVF-doxygen/html/search/typedefs_10.js +65 -65
  360. package/SVF-doxygen/html/search/typedefs_11.js +12 -13
  361. package/SVF-doxygen/html/search/typedefs_12.js +13 -13
  362. package/SVF-doxygen/html/search/typedefs_13.js +40 -40
  363. package/SVF-doxygen/html/search/typedefs_14.js +11 -11
  364. package/SVF-doxygen/html/search/typedefs_2.js +125 -125
  365. package/SVF-doxygen/html/search/typedefs_3.js +39 -39
  366. package/SVF-doxygen/html/search/typedefs_4.js +17 -17
  367. package/SVF-doxygen/html/search/typedefs_5.js +42 -42
  368. package/SVF-doxygen/html/search/typedefs_6.js +54 -54
  369. package/SVF-doxygen/html/search/typedefs_7.js +47 -47
  370. package/SVF-doxygen/html/search/typedefs_8.js +1 -1
  371. package/SVF-doxygen/html/search/typedefs_9.js +4 -6
  372. package/SVF-doxygen/html/search/typedefs_a.js +30 -29
  373. package/SVF-doxygen/html/search/typedefs_b.js +29 -29
  374. package/SVF-doxygen/html/search/typedefs_c.js +41 -41
  375. package/SVF-doxygen/html/search/typedefs_d.js +15 -15
  376. package/SVF-doxygen/html/search/typedefs_e.js +52 -52
  377. package/SVF-doxygen/html/search/typedefs_f.js +14 -14
  378. package/SVF-doxygen/html/search/variables_0.js +171 -177
  379. package/SVF-doxygen/html/search/variables_1.js +78 -77
  380. package/SVF-doxygen/html/search/variables_10.js +98 -98
  381. package/SVF-doxygen/html/search/variables_11.js +47 -47
  382. package/SVF-doxygen/html/search/variables_12.js +93 -93
  383. package/SVF-doxygen/html/search/variables_13.js +76 -76
  384. package/SVF-doxygen/html/search/variables_14.js +14 -14
  385. package/SVF-doxygen/html/search/variables_15.js +49 -49
  386. package/SVF-doxygen/html/search/variables_16.js +11 -11
  387. package/SVF-doxygen/html/search/variables_17.js +1 -1
  388. package/SVF-doxygen/html/search/variables_18.js +17 -17
  389. package/SVF-doxygen/html/search/variables_2.js +40 -40
  390. package/SVF-doxygen/html/search/variables_3.js +143 -143
  391. package/SVF-doxygen/html/search/variables_4.js +51 -51
  392. package/SVF-doxygen/html/search/variables_5.js +39 -39
  393. package/SVF-doxygen/html/search/variables_6.js +66 -66
  394. package/SVF-doxygen/html/search/variables_7.js +33 -34
  395. package/SVF-doxygen/html/search/variables_8.js +8 -8
  396. package/SVF-doxygen/html/search/variables_9.js +80 -79
  397. package/SVF-doxygen/html/search/variables_a.js +4 -4
  398. package/SVF-doxygen/html/search/variables_b.js +10 -10
  399. package/SVF-doxygen/html/search/variables_c.js +44 -44
  400. package/SVF-doxygen/html/search/variables_d.js +58 -58
  401. package/SVF-doxygen/html/search/variables_e.js +123 -123
  402. package/SVF-doxygen/html/search/variables_f.js +31 -31
  403. package/SVF-doxygen/html/structSVF_1_1AbstractValue-members.html +164 -0
  404. package/SVF-doxygen/html/structSVF_1_1AbstractValue.html +2820 -0
  405. package/SVF-doxygen/html/structstd_1_1hash_3_01SVF_1_1SparseAbstractState_01_4-members.html +84 -0
  406. package/SVF-doxygen/html/structstd_1_1hash_3_01SVF_1_1SparseAbstractState_01_4.html +130 -0
  407. package/SVF-doxygen/html/svf-ex_8cpp.html +25 -25
  408. package/SVF-doxygen/html/svf-ex_8cpp_source.html +26 -26
  409. package/package.json +1 -1
  410. package/svf/include/AE/Core/AbstractState.h +749 -0
  411. package/svf/include/AE/Core/AbstractValue.h +514 -39
  412. package/svf/include/AE/Core/AddressValue.h +32 -25
  413. package/svf/include/AE/Core/IntervalValue.h +10 -24
  414. package/svf/include/AE/Core/RelExeState.h +1 -1
  415. package/svf/include/AE/Core/RelationSolver.h +9 -9
  416. package/svf/include/AE/Svfexe/{AbstractExecution.h → AbstractInterpretation.h} +27 -26
  417. package/svf/include/AE/Svfexe/BufOverflowChecker.h +5 -5
  418. package/svf/include/AE/Svfexe/ICFGSimplification.h +1 -2
  419. package/svf/include/AE/Svfexe/{SVFIR2ItvExeState.h → SVFIR2AbsState.h} +30 -33
  420. package/svf/lib/AE/Core/AbstractState.cpp +357 -0
  421. package/svf/lib/AE/Core/RelationSolver.cpp +31 -31
  422. package/svf/lib/AE/Core/SVFIR2Relation.cpp +17 -16
  423. package/svf/lib/AE/Svfexe/{AbstractExecution.cpp → AbstractInterpretation.cpp} +166 -156
  424. package/svf/lib/AE/Svfexe/BufOverflowChecker.cpp +51 -47
  425. package/svf/lib/AE/Svfexe/{SVFIR2ItvExeState.cpp → SVFIR2AbsState.cpp} +211 -247
  426. package/svf-llvm/tools/AE/ae.cpp +105 -108
  427. package/svf-llvm/tools/Example/svf-ex.cpp +2 -2
  428. package/svf/include/AE/Core/ConsExeState.h +0 -453
  429. package/svf/include/AE/Core/ExeState.h +0 -304
  430. package/svf/include/AE/Core/IntervalExeState.h +0 -650
  431. package/svf/include/AE/Core/SingleAbsValue.h +0 -477
  432. package/svf/include/AE/Core/SymState.h +0 -221
  433. package/svf/include/AE/Svfexe/SVFIR2ConsExeState.h +0 -148
  434. package/svf/lib/AE/Core/ConsExeState.cpp +0 -603
  435. package/svf/lib/AE/Core/ExeState.cpp +0 -117
  436. package/svf/lib/AE/Core/IntervalExeState.cpp +0 -329
  437. package/svf/lib/AE/Core/SymState.cpp +0 -37
  438. package/svf/lib/AE/Svfexe/SVFIR2ConsExeState.cpp +0 -772
package/SVF-doxygen/html/SVFIR2AbsState_8h_source.html ADDED
@@ -0,0 +1,378 @@
1
+ <!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "https://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
2
+ <html xmlns="http://www.w3.org/1999/xhtml">
3
+ <head>
4
+ <meta http-equiv="Content-Type" content="text/xhtml;charset=UTF-8"/>
5
+ <meta http-equiv="X-UA-Compatible" content="IE=9"/>
6
+ <meta name="generator" content="Doxygen 1.8.17"/>
7
+ <meta name="viewport" content="width=device-width, initial-scale=1"/>
8
+ <title>Static Value-Flow Analysis: /home/runner/work/SVF/SVF/svf/include/AE/Svfexe/SVFIR2AbsState.h Source File</title>
9
+ <link href="tabs.css" rel="stylesheet" type="text/css"/>
10
+ <script type="text/javascript" src="jquery.js"></script>
11
+ <script type="text/javascript" src="dynsections.js"></script>
12
+ <link href="search/search.css" rel="stylesheet" type="text/css"/>
13
+ <script type="text/javascript" src="search/searchdata.js"></script>
14
+ <script type="text/javascript" src="search/search.js"></script>
15
+ <link href="doxygen.css" rel="stylesheet" type="text/css" />
16
+ </head>
17
+ <body>
18
+ <div id="top"><!-- do not remove this div, it is closed by doxygen! -->
19
+ <div id="titlearea">
20
+ <table cellspacing="0" cellpadding="0">
21
+ <tbody>
22
+ <tr style="height: 56px;">
23
+ <td id="projectalign" style="padding-left: 0.5em;">
24
+ <div id="projectname">Static Value-Flow Analysis
25
+ </div>
26
+ </td>
27
+ </tr>
28
+ </tbody>
29
+ </table>
30
+ </div>
31
+ <!-- end header part -->
32
+ <!-- Generated by Doxygen 1.8.17 -->
33
+ <script type="text/javascript">
34
+ /* @license magnet:?xt=urn:btih:cf05388f2679ee054f2beb29a391d25f4e673ac3&amp;dn=gpl-2.0.txt GPL-v2 */
35
+ var searchBox = new SearchBox("searchBox", "search",false,'Search');
36
+ /* @license-end */
37
+ </script>
38
+ <script type="text/javascript" src="menudata.js"></script>
39
+ <script type="text/javascript" src="menu.js"></script>
40
+ <script type="text/javascript">
41
+ /* @license magnet:?xt=urn:btih:cf05388f2679ee054f2beb29a391d25f4e673ac3&amp;dn=gpl-2.0.txt GPL-v2 */
42
+ $(function() {
43
+ initMenu('',true,false,'search.php','Search');
44
+ $(document).ready(function() { init_search(); });
45
+ });
46
+ /* @license-end */</script>
47
+ <div id="main-nav"></div>
48
+ <!-- window showing the filter options -->
49
+ <div id="MSearchSelectWindow"
50
+ onmouseover="return searchBox.OnSearchSelectShow()"
51
+ onmouseout="return searchBox.OnSearchSelectHide()"
52
+ onkeydown="return searchBox.OnSearchSelectKey(event)">
53
+ </div>
54
+
55
+ <!-- iframe showing the search results (closed by default) -->
56
+ <div id="MSearchResultsWindow">
57
+ <iframe src="javascript:void(0)" frameborder="0"
58
+ name="MSearchResults" id="MSearchResults">
59
+ </iframe>
60
+ </div>
61
+
62
+ <div id="nav-path" class="navpath">
63
+ <ul>
64
+ <li class="navelem"><a class="el" href="dir_f984cfbe93434e3daf67f2a9bd6d521f.html">svf</a></li><li class="navelem"><a class="el" href="dir_390f2a6be5eff59a6919ecbd9cc9f31d.html">include</a></li><li class="navelem"><a class="el" href="dir_53d761ae38d6f143a0d195c719804439.html">AE</a></li><li class="navelem"><a class="el" href="dir_fbec400583b4bd6c5f2e89c86c5943a6.html">Svfexe</a></li> </ul>
65
+ </div>
66
+ </div><!-- top -->
67
+ <div class="header">
68
+ <div class="headertitle">
69
+ <div class="title">SVFIR2AbsState.h</div> </div>
70
+ </div><!--header-->
71
+ <div class="contents">
72
+ <a href="SVFIR2AbsState_8h.html">Go to the documentation of this file.</a><div class="fragment"><div class="line"><a name="l00001"></a><span class="lineno"> 1</span>&#160;<span class="comment">//===- SVFIR2AbsState.h -- SVF IR Translation to Interval Domain-----//</span></div>
73
+ <div class="line"><a name="l00002"></a><span class="lineno"> 2</span>&#160;<span class="comment">//</span></div>
74
+ <div class="line"><a name="l00003"></a><span class="lineno"> 3</span>&#160;<span class="comment">// SVF: Static Value-Flow Analysis</span></div>
75
+ <div class="line"><a name="l00004"></a><span class="lineno"> 4</span>&#160;<span class="comment">//</span></div>
76
+ <div class="line"><a name="l00005"></a><span class="lineno"> 5</span>&#160;<span class="comment">// Copyright (C) &lt;2013-2022&gt; &lt;Yulei Sui&gt;</span></div>
77
+ <div class="line"><a name="l00006"></a><span class="lineno"> 6</span>&#160;<span class="comment">//</span></div>
78
+ <div class="line"><a name="l00007"></a><span class="lineno"> 7</span>&#160; </div>
79
+ <div class="line"><a name="l00008"></a><span class="lineno"> 8</span>&#160;<span class="comment">// This program is free software: you can redistribute it and/or modify</span></div>
80
+ <div class="line"><a name="l00009"></a><span class="lineno"> 9</span>&#160;<span class="comment">// it under the terms of the GNU Affero General Public License as published by</span></div>
81
+ <div class="line"><a name="l00010"></a><span class="lineno"> 10</span>&#160;<span class="comment">// the Free Software Foundation, either version 3 of the License, or</span></div>
82
+ <div class="line"><a name="l00011"></a><span class="lineno"> 11</span>&#160;<span class="comment">// (at your option) any later version.</span></div>
83
+ <div class="line"><a name="l00012"></a><span class="lineno"> 12</span>&#160; </div>
84
+ <div class="line"><a name="l00013"></a><span class="lineno"> 13</span>&#160;<span class="comment">// This program is distributed in the hope that it will be useful,</span></div>
85
+ <div class="line"><a name="l00014"></a><span class="lineno"> 14</span>&#160;<span class="comment">// but WITHOUT ANY WARRANTY; without even the implied warranty of</span></div>
86
+ <div class="line"><a name="l00015"></a><span class="lineno"> 15</span>&#160;<span class="comment">// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the</span></div>
87
+ <div class="line"><a name="l00016"></a><span class="lineno"> 16</span>&#160;<span class="comment">// GNU Affero General Public License for more details.</span></div>
88
+ <div class="line"><a name="l00017"></a><span class="lineno"> 17</span>&#160; </div>
89
+ <div class="line"><a name="l00018"></a><span class="lineno"> 18</span>&#160;<span class="comment">// You should have received a copy of the GNU Affero General Public License</span></div>
90
+ <div class="line"><a name="l00019"></a><span class="lineno"> 19</span>&#160;<span class="comment">// along with this program. If not, see &lt;http://www.gnu.org/licenses/&gt;.</span></div>
91
+ <div class="line"><a name="l00020"></a><span class="lineno"> 20</span>&#160;<span class="comment">//</span></div>
92
+ <div class="line"><a name="l00021"></a><span class="lineno"> 21</span>&#160;<span class="comment">// The implementation is based on</span></div>
93
+ <div class="line"><a name="l00022"></a><span class="lineno"> 22</span>&#160;<span class="comment">// Xiao Cheng, Jiawei Wang and Yulei Sui. Precise Sparse Abstract Execution via Cross-Domain Interaction.</span></div>
94
+ <div class="line"><a name="l00023"></a><span class="lineno"> 23</span>&#160;<span class="comment">// 46th International Conference on Software Engineering. (ICSE24)</span></div>
95
+ <div class="line"><a name="l00024"></a><span class="lineno"> 24</span>&#160;<span class="comment">//===----------------------------------------------------------------------===//</span></div>
96
+ <div class="line"><a name="l00025"></a><span class="lineno"> 25</span>&#160;<span class="comment">/*</span></div>
97
+ <div class="line"><a name="l00026"></a><span class="lineno"> 26</span>&#160;<span class="comment"> * SVFIR2AbsState.h</span></div>
98
+ <div class="line"><a name="l00027"></a><span class="lineno"> 27</span>&#160;<span class="comment"> *</span></div>
99
+ <div class="line"><a name="l00028"></a><span class="lineno"> 28</span>&#160;<span class="comment"> * Created on: Aug 7, 2022</span></div>
100
+ <div class="line"><a name="l00029"></a><span class="lineno"> 29</span>&#160;<span class="comment"> * Author: Jiawei Wang, Xiao Cheng</span></div>
101
+ <div class="line"><a name="l00030"></a><span class="lineno"> 30</span>&#160;<span class="comment"> *</span></div>
102
+ <div class="line"><a name="l00031"></a><span class="lineno"> 31</span>&#160;<span class="comment"> */</span></div>
103
+ <div class="line"><a name="l00032"></a><span class="lineno"> 32</span>&#160; </div>
104
+ <div class="line"><a name="l00033"></a><span class="lineno"> 33</span>&#160;<span class="preprocessor">#ifndef Z3_EXAMPLE_SVFIR2ITVEXESTATE_H</span></div>
105
+ <div class="line"><a name="l00034"></a><span class="lineno"> 34</span>&#160;<span class="preprocessor">#define Z3_EXAMPLE_SVFIR2ITVEXESTATE_H</span></div>
106
+ <div class="line"><a name="l00035"></a><span class="lineno"> 35</span>&#160; </div>
107
+ <div class="line"><a name="l00036"></a><span class="lineno"> 36</span>&#160;<span class="preprocessor">#include &quot;<a class="code" href="AbstractState_8h.html">AE/Core/AbstractState.h</a>&quot;</span></div>
108
+ <div class="line"><a name="l00037"></a><span class="lineno"> 37</span>&#160;<span class="preprocessor">#include &quot;<a class="code" href="RelExeState_8h.html">AE/Core/RelExeState.h</a>&quot;</span></div>
109
+ <div class="line"><a name="l00038"></a><span class="lineno"> 38</span>&#160;<span class="preprocessor">#include &quot;<a class="code" href="SVFIR_8h.html">SVFIR/SVFIR.h</a>&quot;</span></div>
110
+ <div class="line"><a name="l00039"></a><span class="lineno"> 39</span>&#160; </div>
111
+ <div class="line"><a name="l00040"></a><span class="lineno"> 40</span>&#160;<span class="keyword">namespace </span><a class="code" href="namespaceSVF.html">SVF</a></div>
112
+ <div class="line"><a name="l00041"></a><span class="lineno"> 41</span>&#160;{</div>
113
+ <div class="line"><a name="l00042"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFIR2AbsState.html"> 42</a></span>&#160;<span class="keyword">class </span><a class="code" href="classSVF_1_1SVFIR2AbsState.html">SVFIR2AbsState</a></div>
114
+ <div class="line"><a name="l00043"></a><span class="lineno"> 43</span>&#160;{</div>
115
+ <div class="line"><a name="l00044"></a><span class="lineno"> 44</span>&#160;<span class="keyword">public</span>:</div>
116
+ <div class="line"><a name="l00045"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFIR2AbsState.html#a46a2f2eedd729f4764f630d72391ec97"> 45</a></span>&#160; <span class="keyword">static</span> <a class="code" href="structSVF_1_1AbstractValue.html">AbstractValue</a> <a class="code" href="classSVF_1_1SVFIR2AbsState.html#a46a2f2eedd729f4764f630d72391ec97">globalNulladdrs</a>;</div>
117
+ <div class="line"><a name="l00046"></a><span class="lineno"> 46</span>&#160;<span class="keyword">public</span>:</div>
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
+ <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#a05c1e3d5240466dda229080df6cb48f5"> 49</a></span>&#160; <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1SVFIR2AbsState.html#a05c1e3d5240466dda229080df6cb48f5">setEs</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1SparseAbstractState.html">SparseAbstractState</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#aefdc1e49328ae897c1cf28aeb107f45b">_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#a260c4ccfd79a2b9dbd580fa2030ac238"> 54</a></span>&#160; <a class="code" href="classSVF_1_1SparseAbstractState.html">SparseAbstractState</a>&amp; <a class="code" href="classSVF_1_1SVFIR2AbsState.html#a260c4ccfd79a2b9dbd580fa2030ac238">getEs</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#aefdc1e49328ae897c1cf28aeb107f45b">_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>
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#a72c49e5c07eacfeeb494f26c761ec257">widenAddrs</a>(<a class="code" href="classSVF_1_1SparseAbstractState.html">SparseAbstractState</a>&amp;lhs, <span class="keyword">const</span> <a class="code" href="classSVF_1_1SparseAbstractState.html">SparseAbstractState</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#ab18f664b8bf3df6a772aa403c9a3d13d">narrowAddrs</a>(<a class="code" href="classSVF_1_1SparseAbstractState.html">SparseAbstractState</a>&amp;lhs, <span class="keyword">const</span> <a class="code" href="classSVF_1_1SparseAbstractState.html">SparseAbstractState</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>
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>
158
+ <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>
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>
166
+ <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#ad247b7d3ff5fd99c0d92cac8f1c876eb">applySummary</a>(<a class="code" href="classSVF_1_1SparseAbstractState.html">SparseAbstractState</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>
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#aefdc1e49328ae897c1cf28aeb107f45b">_es</a>.<a class="code" href="classSVF_1_1SparseAbstractState.html#a6749b39cd32b138578f7ff12669d36c3">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#aefdc1e49328ae897c1cf28aeb107f45b">_es</a>.<a class="code" href="classSVF_1_1SparseAbstractState.html#a4f24d346d2ea4ed98f5516ba671d338b">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#aefdc1e49328ae897c1cf28aeb107f45b">_es</a>.<a class="code" href="classSVF_1_1SparseAbstractState.html#a41a0ffbedd20ce499bc04bbd9c1894e1">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#aefdc1e49328ae897c1cf28aeb107f45b">_es</a>.<a class="code" href="classSVF_1_1SparseAbstractState.html#a931b900daaedf35965631b6492248940">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#aefdc1e49328ae897c1cf28aeb107f45b">_es</a>.<a class="code" href="classSVF_1_1SparseAbstractState.html#ad28955676ab059f0c175cbff8bf097b5">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#a4dc5a3a3778f84d810ad37a885804134">moveToGlobal</a>();</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#a21593731d5c76fe84a553037cfb4f558">translateAddr</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1AddrStmt.html">AddrStmt</a> *addr);</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#a43a5d141547d1ceb37be60ce9647af91">translateBinary</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1BinaryOPStmt.html">BinaryOPStmt</a> *binary);</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#ad574a6e7e28daebcd074021d831a1d1a">translateCmp</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1CmpStmt.html">CmpStmt</a> *cmp);</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#a79839998d6db869a690ab63fdf635873">translateLoad</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1LoadStmt.html">LoadStmt</a> *load);</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#a4d5f3771dbe847f883594a0b1c2e246f">translateStore</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1StoreStmt.html">StoreStmt</a> *store);</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#a860fd3feafa0e76b53d4972f8c187dcd">translateCopy</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>
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#a216039856e097a03cc158ce5729f1790">translateCall</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1CallPE.html">CallPE</a> *callPE);</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#a9cdb7cc614bd71884304c627f141fd3d">translateRet</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1RetPE.html">RetPE</a> *retPE);</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#a934d7f60b5610bc39c5319dab927aa1b">translateGep</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1GepStmt.html">GepStmt</a> *gep);</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#a05ee8c5925b490f24f0d7662d0e00d42">translateSelect</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1SelectStmt.html">SelectStmt</a> *select);</div>
225
+ <div class="line"><a name="l00168"></a><span class="lineno"> 168</span>&#160; </div>
226
+ <div class="line"><a name="l00169"></a><span class="lineno"> 169</span>&#160; <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1SVFIR2AbsState.html#a21a24cc4e0c9e4750332e6faa036f6f2">translatePhi</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1PhiStmt.html">PhiStmt</a> *phi);</div>
227
+ <div class="line"><a name="l00170"></a><span class="lineno"> 170</span>&#160; </div>
228
+ <div class="line"><a name="l00172"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFIR2AbsState.html#ac37760566b534d89a61d789b00efb993"> 172</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>
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; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1AbstractState.html#aaabe5850dbf1620c6058f5ac6cb169b6">AbstractState::getInternalID</a>(idx);</div>
231
+ <div class="line"><a name="l00175"></a><span class="lineno"> 175</span>&#160; }</div>
232
+ <div class="line"><a name="l00176"></a><span class="lineno"> 176</span>&#160; </div>
233
+ <div class="line"><a name="l00178"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFIR2AbsState.html#a63d855cf3342454ce5154fa7605f9935"> 178</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>
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; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1AbstractState.html#aa594b7f3d1590073a88bcc73918dde39">AbstractState::getVirtualMemAddress</a>(idx);</div>
236
+ <div class="line"><a name="l00181"></a><span class="lineno"> 181</span>&#160; }</div>
237
+ <div class="line"><a name="l00182"></a><span class="lineno"> 182</span>&#160; </div>
238
+ <div class="line"><a name="l00184"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFIR2AbsState.html#a3bbf4cda2e3892c7359279337fab7d24"> 184</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>
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; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1AbstractState.html#ad3eefae77eb1fc4bbcfe70b0f2f51dd4">AbstractState::isVirtualMemAddress</a>(val);</div>
241
+ <div class="line"><a name="l00187"></a><span class="lineno"> 187</span>&#160; }</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="keyword">protected</span>:</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#aba122108bcba27e86c3b9079125698a2">translateBinaryRel</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1BinaryOPStmt.html">BinaryOPStmt</a> *binary);</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#ad44dba4fb64a2a664d315f7c71d095d4">translateCmpRel</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1CmpStmt.html">CmpStmt</a> *cmp);</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#aff94d5675005beef8a3c761839d4a94b">translateLoadRel</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1LoadStmt.html">LoadStmt</a> *load);</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#a9ab9226636ccfc53d59017ad5e5a6ab7">translateStoreRel</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1StoreStmt.html">StoreStmt</a> *store);</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#ac232760ba4cfe4d5f7d9502ac00780fd">translateCopyRel</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>
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#a1ea10ebb9cf317029ef3d45fca71d24d">translateCallRel</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1CallPE.html">CallPE</a> *callPE);</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#aee3c4eed017d379ebc1724fa395c6d92">translateRetRel</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1RetPE.html">RetPE</a> *retPE);</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#a562b6b73c7d6c2157ba369c4e25b0ed1">translateSelectRel</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1SelectStmt.html">SelectStmt</a> *select);</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="keywordtype">void</span> <a class="code" href="classSVF_1_1SVFIR2AbsState.html#a31f7fd30718aa9e0e4a1da5c6baed114">translatePhiRel</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>
262
+ <div class="line"><a name="l00208"></a><span class="lineno"> 208</span>&#160; </div>
263
+ <div class="line"><a name="l00209"></a><span class="lineno"> 209</span>&#160;<span class="keyword">private</span>:</div>
264
+ <div class="line"><a name="l00210"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFIR2AbsState.html#a80a0f0a20e993c6fcffc89f9de409f44"> 210</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>
265
+ <div class="line"><a name="l00211"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFIR2AbsState.html#aefdc1e49328ae897c1cf28aeb107f45b"> 211</a></span>&#160; <a class="code" href="classSVF_1_1SparseAbstractState.html">SparseAbstractState</a> <a class="code" href="classSVF_1_1SVFIR2AbsState.html#aefdc1e49328ae897c1cf28aeb107f45b">_es</a>;</div>
266
+ <div class="line"><a name="l00212"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFIR2AbsState.html#a592f4fe473d0159a3fbdac3bc35b424e"> 212</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>
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"><a class="line" href="classSVF_1_1SVFIR2AbsState.html#a55246cb0b2493c9edc05029cc6a114dd"> 214</a></span>&#160; <a class="code" href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">Map&lt;NodeID, SparseAbstractState*&gt;</a> <a class="code" href="classSVF_1_1SVFIR2AbsState.html#a55246cb0b2493c9edc05029cc6a114dd">_br_cond</a>;</div>
269
+ <div class="line"><a name="l00215"></a><span class="lineno"> 215</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, <span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFType.html">SVFType</a>*);</div>
270
+ <div class="line"><a name="l00216"></a><span class="lineno"> 216</span>&#160;};</div>
271
+ <div class="line"><a name="l00217"></a><span class="lineno"> 217</span>&#160;}</div>
272
+ <div class="line"><a name="l00218"></a><span class="lineno"> 218</span>&#160; </div>
273
+ <div class="line"><a name="l00219"></a><span class="lineno"> 219</span>&#160;<span class="preprocessor">#endif //Z3_EXAMPLE_SVFIR2ITVEXESTATE_H</span></div>
274
+ </div><!-- fragment --></div><!-- contents -->
275
+ <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>
276
+ <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>
277
+ <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>
278
+ <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>
279
+ <div class="ttc" id="aclassSVF_1_1SVFIR2AbsState_html_ad44dba4fb64a2a664d315f7c71d095d4"><div class="ttname"><a href="classSVF_1_1SVFIR2AbsState.html#ad44dba4fb64a2a664d315f7c71d095d4">SVF::SVFIR2AbsState::translateCmpRel</a></div><div class="ttdeci">void translateCmpRel(const CmpStmt *cmp)</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR2Relation_8cpp_source.html#l00060">SVFIR2Relation.cpp:60</a></div></div>
280
+ <div class="ttc" id="aRelExeState_8h_html"><div class="ttname"><a href="RelExeState_8h.html">RelExeState.h</a></div></div>
281
+ <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>
282
+ <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>
283
+ <div class="ttc" id="aclassSVF_1_1SVFIR2AbsState_html_a562b6b73c7d6c2157ba369c4e25b0ed1"><div class="ttname"><a href="classSVF_1_1SVFIR2AbsState.html#a562b6b73c7d6c2157ba369c4e25b0ed1">SVF::SVFIR2AbsState::translateSelectRel</a></div><div class="ttdeci">void translateSelectRel(const SelectStmt *select)</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR2Relation_8cpp_source.html#l00134">SVFIR2Relation.cpp:134</a></div></div>
284
+ <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>
285
+ <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>
286
+ <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>
287
+ <div class="ttc" id="aclassSVF_1_1SVFIR2AbsState_html_a21593731d5c76fe84a553037cfb4f558"><div class="ttname"><a href="classSVF_1_1SVFIR2AbsState.html#a21593731d5c76fe84a553037cfb4f558">SVF::SVFIR2AbsState::translateAddr</a></div><div class="ttdeci">void translateAddr(const AddrStmt *addr)</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR2AbsState_8cpp_source.html#l00630">SVFIR2AbsState.cpp:630</a></div></div>
288
+ <div class="ttc" id="aclassSVF_1_1SVFIR2AbsState_html_a934d7f60b5610bc39c5319dab927aa1b"><div class="ttname"><a href="classSVF_1_1SVFIR2AbsState.html#a934d7f60b5610bc39c5319dab927aa1b">SVF::SVFIR2AbsState::translateGep</a></div><div class="ttdeci">void translateGep(const GepStmt *gep)</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR2AbsState_8cpp_source.html#l01036">SVFIR2AbsState.cpp:1036</a></div></div>
289
+ <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>
290
+ <div class="ttc" id="aclassSVF_1_1SVFIR2AbsState_html_ad247b7d3ff5fd99c0d92cac8f1c876eb"><div class="ttname"><a href="classSVF_1_1SVFIR2AbsState.html#ad247b7d3ff5fd99c0d92cac8f1c876eb">SVF::SVFIR2AbsState::applySummary</a></div><div class="ttdeci">void applySummary(SparseAbstractState &amp;es)</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR2AbsState_8cpp_source.html#l00274">SVFIR2AbsState.cpp:274</a></div></div>
291
+ <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>
292
+ <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>
293
+ <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>
294
+ <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>
295
+ <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>
296
+ <div class="ttc" id="aclassSVF_1_1SVFIR2AbsState_html_a9ab9226636ccfc53d59017ad5e5a6ab7"><div class="ttname"><a href="classSVF_1_1SVFIR2AbsState.html#a9ab9226636ccfc53d59017ad5e5a6ab7">SVF::SVFIR2AbsState::translateStoreRel</a></div><div class="ttdeci">void translateStoreRel(const StoreStmt *store)</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR2Relation_8cpp_source.html#l00118">SVFIR2Relation.cpp:118</a></div></div>
297
+ <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>
298
+ <div class="ttc" id="aclassSVF_1_1SVFIR2AbsState_html_aba122108bcba27e86c3b9079125698a2"><div class="ttname"><a href="classSVF_1_1SVFIR2AbsState.html#aba122108bcba27e86c3b9079125698a2">SVF::SVFIR2AbsState::translateBinaryRel</a></div><div class="ttdeci">void translateBinaryRel(const BinaryOPStmt *binary)</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR2Relation_8cpp_source.html#l00010">SVFIR2Relation.cpp:10</a></div></div>
299
+ <div class="ttc" id="aclassSVF_1_1SVFIR2AbsState_html_a1ea10ebb9cf317029ef3d45fca71d24d"><div class="ttname"><a href="classSVF_1_1SVFIR2AbsState.html#a1ea10ebb9cf317029ef3d45fca71d24d">SVF::SVFIR2AbsState::translateCallRel</a></div><div class="ttdeci">void translateCallRel(const CallPE *callPE)</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR2Relation_8cpp_source.html#l00179">SVFIR2Relation.cpp:179</a></div></div>
300
+ <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>
301
+ <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>
302
+ <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>
303
+ <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>
304
+ <div class="ttc" id="aclassSVF_1_1SVFIR2AbsState_html_a05c1e3d5240466dda229080df6cb48f5"><div class="ttname"><a href="classSVF_1_1SVFIR2AbsState.html#a05c1e3d5240466dda229080df6cb48f5">SVF::SVFIR2AbsState::setEs</a></div><div class="ttdeci">void setEs(const SparseAbstractState &amp;es)</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR2AbsState_8h_source.html#l00049">SVFIR2AbsState.h:49</a></div></div>
305
+ <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>
306
+ <div class="ttc" id="aclassSVF_1_1SVFIR2AbsState_html_a55246cb0b2493c9edc05029cc6a114dd"><div class="ttname"><a href="classSVF_1_1SVFIR2AbsState.html#a55246cb0b2493c9edc05029cc6a114dd">SVF::SVFIR2AbsState::_br_cond</a></div><div class="ttdeci">Map&lt; NodeID, SparseAbstractState * &gt; _br_cond</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR2AbsState_8h_source.html#l00214">SVFIR2AbsState.h:214</a></div></div>
307
+ <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>
308
+ <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>
309
+ <div class="ttc" id="aclassSVF_1_1SVFIR2AbsState_html_a216039856e097a03cc158ce5729f1790"><div class="ttname"><a href="classSVF_1_1SVFIR2AbsState.html#a216039856e097a03cc158ce5729f1790">SVF::SVFIR2AbsState::translateCall</a></div><div class="ttdeci">void translateCall(const CallPE *callPE)</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR2AbsState_8cpp_source.html#l01107">SVFIR2AbsState.cpp:1107</a></div></div>
310
+ <div class="ttc" id="aclassSVF_1_1SparseAbstractState_html_a6749b39cd32b138578f7ff12669d36c3"><div class="ttname"><a href="classSVF_1_1SparseAbstractState.html#a6749b39cd32b138578f7ff12669d36c3">SVF::SparseAbstractState::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#l00485">AbstractState.h:485</a></div></div>
311
+ <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>
312
+ <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>
313
+ <div class="ttc" id="aclassSVF_1_1SVFIR2AbsState_html_a9cdb7cc614bd71884304c627f141fd3d"><div class="ttname"><a href="classSVF_1_1SVFIR2AbsState.html#a9cdb7cc614bd71884304c627f141fd3d">SVF::SVFIR2AbsState::translateRet</a></div><div class="ttdeci">void translateRet(const RetPE *retPE)</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR2AbsState_8cpp_source.html#l01117">SVFIR2AbsState.cpp:1117</a></div></div>
314
+ <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#l00432">SVFIR2AbsState.cpp:432</a></div></div>
315
+ <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>
316
+ <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>
317
+ <div class="ttc" id="aSVFIR_8h_html"><div class="ttname"><a href="SVFIR_8h.html">SVFIR.h</a></div></div>
318
+ <div class="ttc" id="aAbstractState_8h_html"><div class="ttname"><a href="AbstractState_8h.html">AbstractState.h</a></div></div>
319
+ <div class="ttc" id="aclassSVF_1_1SVFIR2AbsState_html_ac232760ba4cfe4d5f7d9502ac00780fd"><div class="ttname"><a href="classSVF_1_1SVFIR2AbsState.html#ac232760ba4cfe4d5f7d9502ac00780fd">SVF::SVFIR2AbsState::translateCopyRel</a></div><div class="ttdeci">void translateCopyRel(const CopyStmt *copy)</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR2Relation_8cpp_source.html#l00127">SVFIR2Relation.cpp:127</a></div></div>
320
+ <div class="ttc" id="aclassSVF_1_1SVFIR2AbsState_html_a4dc5a3a3778f84d810ad37a885804134"><div class="ttname"><a href="classSVF_1_1SVFIR2AbsState.html#a4dc5a3a3778f84d810ad37a885804134">SVF::SVFIR2AbsState::moveToGlobal</a></div><div class="ttdeci">void moveToGlobal()</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR2AbsState_8cpp_source.html#l00286">SVFIR2AbsState.cpp:286</a></div></div>
321
+ <div class="ttc" id="aclassSVF_1_1SVFIR2AbsState_html_a21a24cc4e0c9e4750332e6faa036f6f2"><div class="ttname"><a href="classSVF_1_1SVFIR2AbsState.html#a21a24cc4e0c9e4750332e6faa036f6f2">SVF::SVFIR2AbsState::translatePhi</a></div><div class="ttdeci">void translatePhi(const PhiStmt *phi)</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR2AbsState_8cpp_source.html#l01089">SVFIR2AbsState.cpp:1089</a></div></div>
322
+ <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>
323
+ <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>
324
+ <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>
325
+ <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>
326
+ <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>
327
+ <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#l00577">SVFIR2AbsState.cpp:577</a></div></div>
328
+ <div class="ttc" id="aclassSVF_1_1SVFIR2AbsState_html_a72c49e5c07eacfeeb494f26c761ec257"><div class="ttname"><a href="classSVF_1_1SVFIR2AbsState.html#a72c49e5c07eacfeeb494f26c761ec257">SVF::SVFIR2AbsState::widenAddrs</a></div><div class="ttdeci">void widenAddrs(SparseAbstractState &amp;lhs, const SparseAbstractState &amp;rhs)</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR2AbsState_8cpp_source.html#l00303">SVFIR2AbsState.cpp:303</a></div></div>
329
+ <div class="ttc" id="aclassSVF_1_1SVFIR2AbsState_html_aff94d5675005beef8a3c761839d4a94b"><div class="ttname"><a href="classSVF_1_1SVFIR2AbsState.html#aff94d5675005beef8a3c761839d4a94b">SVF::SVFIR2AbsState::translateLoadRel</a></div><div class="ttdeci">void translateLoadRel(const LoadStmt *load)</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR2Relation_8cpp_source.html#l00111">SVFIR2Relation.cpp:111</a></div></div>
330
+ <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>
331
+ <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>
332
+ <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>
333
+ <div class="ttc" id="aclassSVF_1_1SVFIR2AbsState_html_a860fd3feafa0e76b53d4972f8c187dcd"><div class="ttname"><a href="classSVF_1_1SVFIR2AbsState.html#a860fd3feafa0e76b53d4972f8c187dcd">SVF::SVFIR2AbsState::translateCopy</a></div><div class="ttdeci">void translateCopy(const CopyStmt *copy)</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR2AbsState_8cpp_source.html#l00955">SVFIR2AbsState.cpp:955</a></div></div>
334
+ <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>
335
+ <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#l00212">SVFIR2AbsState.h:212</a></div></div>
336
+ <div class="ttc" id="aclassSVF_1_1SVFIR2AbsState_html_a31f7fd30718aa9e0e4a1da5c6baed114"><div class="ttname"><a href="classSVF_1_1SVFIR2AbsState.html#a31f7fd30718aa9e0e4a1da5c6baed114">SVF::SVFIR2AbsState::translatePhiRel</a></div><div class="ttdeci">void translatePhiRel(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>
337
+ <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#l00612">SVFIR2AbsState.cpp:612</a></div></div>
338
+ <div class="ttc" id="aclassSVF_1_1SVFIR2AbsState_html_a260c4ccfd79a2b9dbd580fa2030ac238"><div class="ttname"><a href="classSVF_1_1SVFIR2AbsState.html#a260c4ccfd79a2b9dbd580fa2030ac238">SVF::SVFIR2AbsState::getEs</a></div><div class="ttdeci">SparseAbstractState &amp; getEs()</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR2AbsState_8h_source.html#l00054">SVFIR2AbsState.h:54</a></div></div>
339
+ <div class="ttc" id="aclassSVF_1_1SVFIR2AbsState_html_aefdc1e49328ae897c1cf28aeb107f45b"><div class="ttname"><a href="classSVF_1_1SVFIR2AbsState.html#aefdc1e49328ae897c1cf28aeb107f45b">SVF::SVFIR2AbsState::_es</a></div><div class="ttdeci">SparseAbstractState _es</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR2AbsState_8h_source.html#l00211">SVFIR2AbsState.h:211</a></div></div>
340
+ <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>
341
+ <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>
342
+ <div class="ttc" id="aclassSVF_1_1SVFIR2AbsState_html_a79839998d6db869a690ab63fdf635873"><div class="ttname"><a href="classSVF_1_1SVFIR2AbsState.html#a79839998d6db869a690ab63fdf635873">SVF::SVFIR2AbsState::translateLoad</a></div><div class="ttdeci">void translateLoad(const LoadStmt *load)</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR2AbsState_8cpp_source.html#l00904">SVFIR2AbsState.cpp:904</a></div></div>
343
+ <div class="ttc" id="aclassSVF_1_1SVFIR2AbsState_html_ab18f664b8bf3df6a772aa403c9a3d13d"><div class="ttname"><a href="classSVF_1_1SVFIR2AbsState.html#ab18f664b8bf3df6a772aa403c9a3d13d">SVF::SVFIR2AbsState::narrowAddrs</a></div><div class="ttdeci">void narrowAddrs(SparseAbstractState &amp;lhs, const SparseAbstractState &amp;rhs)</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR2AbsState_8cpp_source.html#l00349">SVFIR2AbsState.cpp:349</a></div></div>
344
+ <div class="ttc" id="aclassSVF_1_1SVFIR2AbsState_html_a4d5f3771dbe847f883594a0b1c2e246f"><div class="ttname"><a href="classSVF_1_1SVFIR2AbsState.html#a4d5f3771dbe847f883594a0b1c2e246f">SVF::SVFIR2AbsState::translateStore</a></div><div class="ttdeci">void translateStore(const StoreStmt *store)</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR2AbsState_8cpp_source.html#l00930">SVFIR2AbsState.cpp:930</a></div></div>
345
+ <div class="ttc" id="aclassSVF_1_1SparseAbstractState_html_a4f24d346d2ea4ed98f5516ba671d338b"><div class="ttname"><a href="classSVF_1_1SparseAbstractState.html#a4f24d346d2ea4ed98f5516ba671d338b">SVF::SparseAbstractState::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="AbstractState_8h_source.html#l00546">AbstractState.h:546</a></div></div>
346
+ <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#l00184">SVFIR2AbsState.h:184</a></div></div>
347
+ <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>
348
+ <div class="ttc" id="aclassSVF_1_1SVFIR2AbsState_html_aee3c4eed017d379ebc1724fa395c6d92"><div class="ttname"><a href="classSVF_1_1SVFIR2AbsState.html#aee3c4eed017d379ebc1724fa395c6d92">SVF::SVFIR2AbsState::translateRetRel</a></div><div class="ttdeci">void translateRetRel(const RetPE *retPE)</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR2Relation_8cpp_source.html#l00186">SVFIR2Relation.cpp:186</a></div></div>
349
+ <div class="ttc" id="aclassSVF_1_1SparseAbstractState_html_a931b900daaedf35965631b6492248940"><div class="ttname"><a href="classSVF_1_1SparseAbstractState.html#a931b900daaedf35965631b6492248940">SVF::SparseAbstractState::inLocToValTable</a></div><div class="ttdeci">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#l00608">AbstractState.h:608</a></div></div>
350
+ <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#l00502">SVFIR2AbsState.cpp:502</a></div></div>
351
+ <div class="ttc" id="aclassSVF_1_1SVFIR2AbsState_html_ad574a6e7e28daebcd074021d831a1d1a"><div class="ttname"><a href="classSVF_1_1SVFIR2AbsState.html#ad574a6e7e28daebcd074021d831a1d1a">SVF::SVFIR2AbsState::translateCmp</a></div><div class="ttdeci">void translateCmp(const CmpStmt *cmp)</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR2AbsState_8cpp_source.html#l00718">SVFIR2AbsState.cpp:718</a></div></div>
352
+ <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>
353
+ <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>
354
+ <div class="ttc" id="aclassSVF_1_1SparseAbstractState_html"><div class="ttname"><a href="classSVF_1_1SparseAbstractState.html">SVF::SparseAbstractState</a></div><div class="ttdef"><b>Definition:</b> <a href="AbstractState_8h_source.html#l00439">AbstractState.h:439</a></div></div>
355
+ <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>
356
+ <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#l00210">SVFIR2AbsState.h:210</a></div></div>
357
+ <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>
358
+ <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>
359
+ <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#l00389">SVFIR2AbsState.cpp:389</a></div></div>
360
+ <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#l00178">SVFIR2AbsState.h:178</a></div></div>
361
+ <div class="ttc" id="aclassSVF_1_1SVFIR2AbsState_html_a43a5d141547d1ceb37be60ce9647af91"><div class="ttname"><a href="classSVF_1_1SVFIR2AbsState.html#a43a5d141547d1ceb37be60ce9647af91">SVF::SVFIR2AbsState::translateBinary</a></div><div class="ttdeci">void translateBinary(const BinaryOPStmt *binary)</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR2AbsState_8cpp_source.html#l00656">SVFIR2AbsState.cpp:656</a></div></div>
362
+ <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>
363
+ <div class="ttc" id="aclassSVF_1_1SparseAbstractState_html_ad28955676ab059f0c175cbff8bf097b5"><div class="ttname"><a href="classSVF_1_1SparseAbstractState.html#ad28955676ab059f0c175cbff8bf097b5">SVF::SparseAbstractState::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#l00577">AbstractState.h:577</a></div></div>
364
+ <div class="ttc" id="anamespaceSVF_html_a8234d4b959abc9123993bcff4eee34c1"><div class="ttname"><a href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">SVF::Map</a></div><div class="ttdeci">std::unordered_map&lt; Key, Value, Hash, KeyEqual, Allocator &gt; Map</div><div class="ttdef"><b>Definition:</b> <a href="GeneralType_8h_source.html#l00101">GeneralType.h:101</a></div></div>
365
+ <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>
366
+ <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>
367
+ <div class="ttc" id="aclassSVF_1_1SVFIR2AbsState_html_a05ee8c5925b490f24f0d7662d0e00d42"><div class="ttname"><a href="classSVF_1_1SVFIR2AbsState.html#a05ee8c5925b490f24f0d7662d0e00d42">SVF::SVFIR2AbsState::translateSelect</a></div><div class="ttdeci">void translateSelect(const SelectStmt *select)</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR2AbsState_8cpp_source.html#l01061">SVFIR2AbsState.cpp:1061</a></div></div>
368
+ <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#l00172">SVFIR2AbsState.h:172</a></div></div>
369
+ <div class="ttc" id="aclassSVF_1_1SparseAbstractState_html_a41a0ffbedd20ce499bc04bbd9c1894e1"><div class="ttname"><a href="classSVF_1_1SparseAbstractState.html#a41a0ffbedd20ce499bc04bbd9c1894e1">SVF::SparseAbstractState::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#l00515">AbstractState.h:515</a></div></div>
370
+ <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>
371
+ <!-- start footer part -->
372
+ <hr class="footer"/><address class="footer"><small>
373
+ Generated by &#160;<a href="http://www.doxygen.org/index.html">
374
+ <img class="footer" src="doxygen.png" alt="doxygen"/>
375
+ </a> 1.8.17
376
+ </small></address>
377
+ </body>
378
+ </html>