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/dir_2c6fb801affc4b3efe6e1ed5974683f6.html CHANGED
@@ -72,20 +72,16 @@ $(function() {
72
72
  <table class="memberdecls">
73
73
  <tr class="heading"><td colspan="2"><h2 class="groupheader"><a name="files"></a>
74
74
  Files</h2></td></tr>
75
+ <tr class="memitem:AbstractState_8h"><td class="memItemLeft" align="right" valign="top">file &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="AbstractState_8h.html">AbstractState.h</a> <a href="AbstractState_8h_source.html">[code]</a></td></tr>
76
+ <tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
75
77
  <tr class="memitem:AbstractValue_8h"><td class="memItemLeft" align="right" valign="top">file &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="AbstractValue_8h.html">AbstractValue.h</a> <a href="AbstractValue_8h_source.html">[code]</a></td></tr>
76
78
  <tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
77
79
  <tr class="memitem:AddressValue_8h"><td class="memItemLeft" align="right" valign="top">file &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="AddressValue_8h.html">AddressValue.h</a> <a href="AddressValue_8h_source.html">[code]</a></td></tr>
78
80
  <tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
79
81
  <tr class="memitem:BoundedZ3Expr_8h"><td class="memItemLeft" align="right" valign="top">file &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="BoundedZ3Expr_8h.html">BoundedZ3Expr.h</a> <a href="BoundedZ3Expr_8h_source.html">[code]</a></td></tr>
80
82
  <tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
81
- <tr class="memitem:ConsExeState_8h"><td class="memItemLeft" align="right" valign="top">file &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="ConsExeState_8h.html">ConsExeState.h</a> <a href="ConsExeState_8h_source.html">[code]</a></td></tr>
82
- <tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
83
- <tr class="memitem:ExeState_8h"><td class="memItemLeft" align="right" valign="top">file &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="ExeState_8h.html">ExeState.h</a> <a href="ExeState_8h_source.html">[code]</a></td></tr>
84
- <tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
85
83
  <tr class="memitem:ICFGWTO_8h"><td class="memItemLeft" align="right" valign="top">file &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="ICFGWTO_8h.html">ICFGWTO.h</a> <a href="ICFGWTO_8h_source.html">[code]</a></td></tr>
86
84
  <tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
87
- <tr class="memitem:IntervalExeState_8h"><td class="memItemLeft" align="right" valign="top">file &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="IntervalExeState_8h.html">IntervalExeState.h</a> <a href="IntervalExeState_8h_source.html">[code]</a></td></tr>
88
- <tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
89
85
  <tr class="memitem:IntervalValue_8h"><td class="memItemLeft" align="right" valign="top">file &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="IntervalValue_8h.html">IntervalValue.h</a> <a href="IntervalValue_8h_source.html">[code]</a></td></tr>
90
86
  <tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
91
87
  <tr class="memitem:NumericLiteral_8h"><td class="memItemLeft" align="right" valign="top">file &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="NumericLiteral_8h.html">NumericLiteral.h</a> <a href="NumericLiteral_8h_source.html">[code]</a></td></tr>
@@ -94,10 +90,6 @@ Files</h2></td></tr>
94
90
  <tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
95
91
  <tr class="memitem:RelExeState_8h"><td class="memItemLeft" align="right" valign="top">file &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="RelExeState_8h.html">RelExeState.h</a> <a href="RelExeState_8h_source.html">[code]</a></td></tr>
96
92
  <tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
97
- <tr class="memitem:SingleAbsValue_8h"><td class="memItemLeft" align="right" valign="top">file &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="SingleAbsValue_8h.html">SingleAbsValue.h</a> <a href="SingleAbsValue_8h_source.html">[code]</a></td></tr>
98
- <tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
99
- <tr class="memitem:SymState_8h"><td class="memItemLeft" align="right" valign="top">file &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="SymState_8h.html">SymState.h</a> <a href="SymState_8h_source.html">[code]</a></td></tr>
100
- <tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
101
93
  </table>
102
94
  </div><!-- contents -->
103
95
  <!-- start footer part -->
package/SVF-doxygen/html/dir_81caa96ab1d3de93b353e2bbe80e6067.html CHANGED
@@ -72,15 +72,13 @@ $(function() {
72
72
  <table class="memberdecls">
73
73
  <tr class="heading"><td colspan="2"><h2 class="groupheader"><a name="files"></a>
74
74
  Files</h2></td></tr>
75
- <tr class="memitem:AbstractExecution_8cpp"><td class="memItemLeft" align="right" valign="top">file &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="AbstractExecution_8cpp.html">AbstractExecution.cpp</a> <a href="AbstractExecution_8cpp_source.html">[code]</a></td></tr>
75
+ <tr class="memitem:AbstractInterpretation_8cpp"><td class="memItemLeft" align="right" valign="top">file &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="AbstractInterpretation_8cpp.html">AbstractInterpretation.cpp</a> <a href="AbstractInterpretation_8cpp_source.html">[code]</a></td></tr>
76
76
  <tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
77
77
  <tr class="memitem:BufOverflowChecker_8cpp"><td class="memItemLeft" align="right" valign="top">file &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="BufOverflowChecker_8cpp.html">BufOverflowChecker.cpp</a> <a href="BufOverflowChecker_8cpp_source.html">[code]</a></td></tr>
78
78
  <tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
79
79
  <tr class="memitem:ICFGSimplification_8cpp"><td class="memItemLeft" align="right" valign="top">file &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="ICFGSimplification_8cpp.html">ICFGSimplification.cpp</a> <a href="ICFGSimplification_8cpp_source.html">[code]</a></td></tr>
80
80
  <tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
81
- <tr class="memitem:SVFIR2ConsExeState_8cpp"><td class="memItemLeft" align="right" valign="top">file &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="SVFIR2ConsExeState_8cpp.html">SVFIR2ConsExeState.cpp</a> <a href="SVFIR2ConsExeState_8cpp_source.html">[code]</a></td></tr>
82
- <tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
83
- <tr class="memitem:SVFIR2ItvExeState_8cpp"><td class="memItemLeft" align="right" valign="top">file &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="SVFIR2ItvExeState_8cpp.html">SVFIR2ItvExeState.cpp</a> <a href="SVFIR2ItvExeState_8cpp_source.html">[code]</a></td></tr>
81
+ <tr class="memitem:SVFIR2AbsState_8cpp"><td class="memItemLeft" align="right" valign="top">file &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="SVFIR2AbsState_8cpp.html">SVFIR2AbsState.cpp</a> <a href="SVFIR2AbsState_8cpp_source.html">[code]</a></td></tr>
84
82
  <tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
85
83
  </table>
86
84
  </div><!-- contents -->
package/SVF-doxygen/html/dir_9a8e7a56f4029a0d9f62b1c6d1f6e85b.html CHANGED
@@ -72,13 +72,9 @@ $(function() {
72
72
  <table class="memberdecls">
73
73
  <tr class="heading"><td colspan="2"><h2 class="groupheader"><a name="files"></a>
74
74
  Files</h2></td></tr>
75
- <tr class="memitem:BoundedZ3Expr_8cpp"><td class="memItemLeft" align="right" valign="top">file &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="BoundedZ3Expr_8cpp.html">BoundedZ3Expr.cpp</a> <a href="BoundedZ3Expr_8cpp_source.html">[code]</a></td></tr>
76
- <tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
77
- <tr class="memitem:ConsExeState_8cpp"><td class="memItemLeft" align="right" valign="top">file &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="ConsExeState_8cpp.html">ConsExeState.cpp</a> <a href="ConsExeState_8cpp_source.html">[code]</a></td></tr>
78
- <tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
79
- <tr class="memitem:ExeState_8cpp"><td class="memItemLeft" align="right" valign="top">file &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="ExeState_8cpp.html">ExeState.cpp</a> <a href="ExeState_8cpp_source.html">[code]</a></td></tr>
75
+ <tr class="memitem:AbstractState_8cpp"><td class="memItemLeft" align="right" valign="top">file &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="AbstractState_8cpp.html">AbstractState.cpp</a> <a href="AbstractState_8cpp_source.html">[code]</a></td></tr>
80
76
  <tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
81
- <tr class="memitem:IntervalExeState_8cpp"><td class="memItemLeft" align="right" valign="top">file &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="IntervalExeState_8cpp.html">IntervalExeState.cpp</a> <a href="IntervalExeState_8cpp_source.html">[code]</a></td></tr>
77
+ <tr class="memitem:BoundedZ3Expr_8cpp"><td class="memItemLeft" align="right" valign="top">file &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="BoundedZ3Expr_8cpp.html">BoundedZ3Expr.cpp</a> <a href="BoundedZ3Expr_8cpp_source.html">[code]</a></td></tr>
82
78
  <tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
83
79
  <tr class="memitem:RelationSolver_8cpp"><td class="memItemLeft" align="right" valign="top">file &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="RelationSolver_8cpp.html">RelationSolver.cpp</a> <a href="RelationSolver_8cpp_source.html">[code]</a></td></tr>
84
80
  <tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
@@ -86,8 +82,6 @@ Files</h2></td></tr>
86
82
  <tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
87
83
  <tr class="memitem:SVFIR2Relation_8cpp"><td class="memItemLeft" align="right" valign="top">file &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="SVFIR2Relation_8cpp.html">SVFIR2Relation.cpp</a> <a href="SVFIR2Relation_8cpp_source.html">[code]</a></td></tr>
88
84
  <tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
89
- <tr class="memitem:SymState_8cpp"><td class="memItemLeft" align="right" valign="top">file &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="SymState_8cpp.html">SymState.cpp</a> <a href="SymState_8cpp_source.html">[code]</a></td></tr>
90
- <tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
91
85
  </table>
92
86
  </div><!-- contents -->
93
87
  <!-- start footer part -->
package/SVF-doxygen/html/dir_fbec400583b4bd6c5f2e89c86c5943a6.html CHANGED
@@ -72,15 +72,13 @@ $(function() {
72
72
  <table class="memberdecls">
73
73
  <tr class="heading"><td colspan="2"><h2 class="groupheader"><a name="files"></a>
74
74
  Files</h2></td></tr>
75
- <tr class="memitem:AbstractExecution_8h"><td class="memItemLeft" align="right" valign="top">file &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="AbstractExecution_8h.html">AbstractExecution.h</a> <a href="AbstractExecution_8h_source.html">[code]</a></td></tr>
75
+ <tr class="memitem:AbstractInterpretation_8h"><td class="memItemLeft" align="right" valign="top">file &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="AbstractInterpretation_8h.html">AbstractInterpretation.h</a> <a href="AbstractInterpretation_8h_source.html">[code]</a></td></tr>
76
76
  <tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
77
77
  <tr class="memitem:BufOverflowChecker_8h"><td class="memItemLeft" align="right" valign="top">file &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="BufOverflowChecker_8h.html">BufOverflowChecker.h</a> <a href="BufOverflowChecker_8h_source.html">[code]</a></td></tr>
78
78
  <tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
79
79
  <tr class="memitem:ICFGSimplification_8h"><td class="memItemLeft" align="right" valign="top">file &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="ICFGSimplification_8h.html">ICFGSimplification.h</a> <a href="ICFGSimplification_8h_source.html">[code]</a></td></tr>
80
80
  <tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
81
- <tr class="memitem:SVFIR2ConsExeState_8h"><td class="memItemLeft" align="right" valign="top">file &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="SVFIR2ConsExeState_8h.html">SVFIR2ConsExeState.h</a> <a href="SVFIR2ConsExeState_8h_source.html">[code]</a></td></tr>
82
- <tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
83
- <tr class="memitem:SVFIR2ItvExeState_8h"><td class="memItemLeft" align="right" valign="top">file &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="SVFIR2ItvExeState_8h.html">SVFIR2ItvExeState.h</a> <a href="SVFIR2ItvExeState_8h_source.html">[code]</a></td></tr>
81
+ <tr class="memitem:SVFIR2AbsState_8h"><td class="memItemLeft" align="right" valign="top">file &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="SVFIR2AbsState_8h.html">SVFIR2AbsState.h</a> <a href="SVFIR2AbsState_8h_source.html">[code]</a></td></tr>
84
82
  <tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
85
83
  </table>
86
84
  </div><!-- contents -->
package/SVF-doxygen/html/fastcluster__dm_8cpp_8inc_source.html CHANGED
@@ -1866,7 +1866,7 @@ $(function() {
1866
1866
  <div class="line"><a name="l01795"></a><span class="lineno"> 1795</span>&#160;<span class="preprocessor">#endif</span></div>
1867
1867
  </div><!-- fragment --></div><!-- contents -->
1868
1868
  <div class="ttc" id="acJSON_8cpp_html_a009ef1d888ab6dbe77e6b42b0b39f1ae"><div class="ttname"><a href="cJSON_8cpp.html#a009ef1d888ab6dbe77e6b42b0b39f1ae">p</a></div><div class="ttdeci">cJSON * p</div><div class="ttdef"><b>Definition:</b> <a href="cJSON_8cpp_source.html#l02559">cJSON.cpp:2559</a></div></div>
1869
- <div class="ttc" id="anamespaceSVF_html_adeb418bb692b6b0c3498a24927e1068b"><div class="ttname"><a href="namespaceSVF.html#adeb418bb692b6b0c3498a24927e1068b">SVF::operator&lt;</a></div><div class="ttdeci">IntervalValue operator&lt;(const IntervalValue &amp;lhs, const IntervalValue &amp;rhs)</div><div class="ttdef"><b>Definition:</b> <a href="IntervalValue_8h_source.html#l00684">IntervalValue.h:684</a></div></div>
1869
+ <div class="ttc" id="anamespaceSVF_html_adeb418bb692b6b0c3498a24927e1068b"><div class="ttname"><a href="namespaceSVF.html#adeb418bb692b6b0c3498a24927e1068b">SVF::operator&lt;</a></div><div class="ttdeci">IntervalValue operator&lt;(const IntervalValue &amp;lhs, const IntervalValue &amp;rhs)</div><div class="ttdef"><b>Definition:</b> <a href="IntervalValue_8h_source.html#l00670">IntervalValue.h:670</a></div></div>
1870
1870
  <div class="ttc" id="acJSON_8h_html_a750b5d744c39a06bfb13e6eb010e35d0"><div class="ttname"><a href="cJSON_8h.html#a750b5d744c39a06bfb13e6eb010e35d0">index</a></div><div class="ttdeci">int index</div><div class="ttdef"><b>Definition:</b> <a href="cJSON_8h_source.html#l00170">cJSON.h:170</a></div></div>
1871
1871
  <div class="ttc" id="afastcluster_8cpp_html_a8abcd9d66492e761592578e82ce2cba0"><div class="ttname"><a href="fastcluster_8cpp.html#a8abcd9d66492e761592578e82ce2cba0">fc_isnan</a></div><div class="ttdeci">bool fc_isnan(double x)</div><div class="ttdef"><b>Definition:</b> <a href="fastcluster_8cpp_source.html#l00019">fastcluster.cpp:19</a></div></div>
1872
1872
  <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>
package/SVF-doxygen/html/files.html CHANGED
@@ -71,25 +71,20 @@ $(function() {
71
71
  <tr id="row_0_0_"><td class="entry"><span style="width:16px;display:inline-block;">&#160;</span><span id="arr_0_0_" class="arrow" onclick="toggleFolder('0_0_')">&#9660;</span><span id="img_0_0_" class="iconfopen" onclick="toggleFolder('0_0_')">&#160;</span><a class="el" href="dir_390f2a6be5eff59a6919ecbd9cc9f31d.html" target="_self">include</a></td><td class="desc"></td></tr>
72
72
  <tr id="row_0_0_0_" class="even"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span id="arr_0_0_0_" class="arrow" onclick="toggleFolder('0_0_0_')">&#9658;</span><span id="img_0_0_0_" class="iconfclosed" onclick="toggleFolder('0_0_0_')">&#160;</span><a class="el" href="dir_53d761ae38d6f143a0d195c719804439.html" target="_self">AE</a></td><td class="desc"></td></tr>
73
73
  <tr id="row_0_0_0_0_" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;">&#160;</span><span id="arr_0_0_0_0_" class="arrow" onclick="toggleFolder('0_0_0_0_')">&#9658;</span><span id="img_0_0_0_0_" class="iconfclosed" onclick="toggleFolder('0_0_0_0_')">&#160;</span><a class="el" href="dir_2c6fb801affc4b3efe6e1ed5974683f6.html" target="_self">Core</a></td><td class="desc"></td></tr>
74
- <tr id="row_0_0_0_0_0_" style="display:none;"><td class="entry"><span style="width:80px;display:inline-block;">&#160;</span><a href="AbstractValue_8h_source.html"><span class="icondoc"></span></a><a class="el" href="AbstractValue_8h.html" target="_self">AbstractValue.h</a></td><td class="desc"></td></tr>
75
- <tr id="row_0_0_0_0_1_" style="display:none;"><td class="entry"><span style="width:80px;display:inline-block;">&#160;</span><a href="AddressValue_8h_source.html"><span class="icondoc"></span></a><a class="el" href="AddressValue_8h.html" target="_self">AddressValue.h</a></td><td class="desc"></td></tr>
76
- <tr id="row_0_0_0_0_2_" style="display:none;"><td class="entry"><span style="width:80px;display:inline-block;">&#160;</span><a href="BoundedZ3Expr_8h_source.html"><span class="icondoc"></span></a><a class="el" href="BoundedZ3Expr_8h.html" target="_self">BoundedZ3Expr.h</a></td><td class="desc"></td></tr>
77
- <tr id="row_0_0_0_0_3_" style="display:none;"><td class="entry"><span style="width:80px;display:inline-block;">&#160;</span><a href="ConsExeState_8h_source.html"><span class="icondoc"></span></a><a class="el" href="ConsExeState_8h.html" target="_self">ConsExeState.h</a></td><td class="desc"></td></tr>
78
- <tr id="row_0_0_0_0_4_" style="display:none;"><td class="entry"><span style="width:80px;display:inline-block;">&#160;</span><a href="ExeState_8h_source.html"><span class="icondoc"></span></a><a class="el" href="ExeState_8h.html" target="_self">ExeState.h</a></td><td class="desc"></td></tr>
79
- <tr id="row_0_0_0_0_5_" style="display:none;"><td class="entry"><span style="width:80px;display:inline-block;">&#160;</span><a href="ICFGWTO_8h_source.html"><span class="icondoc"></span></a><a class="el" href="ICFGWTO_8h.html" target="_self">ICFGWTO.h</a></td><td class="desc"></td></tr>
80
- <tr id="row_0_0_0_0_6_" style="display:none;"><td class="entry"><span style="width:80px;display:inline-block;">&#160;</span><a href="IntervalExeState_8h_source.html"><span class="icondoc"></span></a><a class="el" href="IntervalExeState_8h.html" target="_self">IntervalExeState.h</a></td><td class="desc"></td></tr>
81
- <tr id="row_0_0_0_0_7_" style="display:none;"><td class="entry"><span style="width:80px;display:inline-block;">&#160;</span><a href="IntervalValue_8h_source.html"><span class="icondoc"></span></a><a class="el" href="IntervalValue_8h.html" target="_self">IntervalValue.h</a></td><td class="desc"></td></tr>
82
- <tr id="row_0_0_0_0_8_" style="display:none;"><td class="entry"><span style="width:80px;display:inline-block;">&#160;</span><a href="NumericLiteral_8h_source.html"><span class="icondoc"></span></a><a class="el" href="NumericLiteral_8h.html" target="_self">NumericLiteral.h</a></td><td class="desc"></td></tr>
83
- <tr id="row_0_0_0_0_9_" style="display:none;"><td class="entry"><span style="width:80px;display:inline-block;">&#160;</span><a href="RelationSolver_8h_source.html"><span class="icondoc"></span></a><a class="el" href="RelationSolver_8h.html" target="_self">RelationSolver.h</a></td><td class="desc"></td></tr>
84
- <tr id="row_0_0_0_0_10_" style="display:none;"><td class="entry"><span style="width:80px;display:inline-block;">&#160;</span><a href="RelExeState_8h_source.html"><span class="icondoc"></span></a><a class="el" href="RelExeState_8h.html" target="_self">RelExeState.h</a></td><td class="desc"></td></tr>
85
- <tr id="row_0_0_0_0_11_" style="display:none;"><td class="entry"><span style="width:80px;display:inline-block;">&#160;</span><a href="SingleAbsValue_8h_source.html"><span class="icondoc"></span></a><a class="el" href="SingleAbsValue_8h.html" target="_self">SingleAbsValue.h</a></td><td class="desc"></td></tr>
86
- <tr id="row_0_0_0_0_12_" style="display:none;"><td class="entry"><span style="width:80px;display:inline-block;">&#160;</span><a href="SymState_8h_source.html"><span class="icondoc"></span></a><a class="el" href="SymState_8h.html" target="_self">SymState.h</a></td><td class="desc"></td></tr>
74
+ <tr id="row_0_0_0_0_0_" style="display:none;"><td class="entry"><span style="width:80px;display:inline-block;">&#160;</span><a href="AbstractState_8h_source.html"><span class="icondoc"></span></a><a class="el" href="AbstractState_8h.html" target="_self">AbstractState.h</a></td><td class="desc"></td></tr>
75
+ <tr id="row_0_0_0_0_1_" style="display:none;"><td class="entry"><span style="width:80px;display:inline-block;">&#160;</span><a href="AbstractValue_8h_source.html"><span class="icondoc"></span></a><a class="el" href="AbstractValue_8h.html" target="_self">AbstractValue.h</a></td><td class="desc"></td></tr>
76
+ <tr id="row_0_0_0_0_2_" style="display:none;"><td class="entry"><span style="width:80px;display:inline-block;">&#160;</span><a href="AddressValue_8h_source.html"><span class="icondoc"></span></a><a class="el" href="AddressValue_8h.html" target="_self">AddressValue.h</a></td><td class="desc"></td></tr>
77
+ <tr id="row_0_0_0_0_3_" style="display:none;"><td class="entry"><span style="width:80px;display:inline-block;">&#160;</span><a href="BoundedZ3Expr_8h_source.html"><span class="icondoc"></span></a><a class="el" href="BoundedZ3Expr_8h.html" target="_self">BoundedZ3Expr.h</a></td><td class="desc"></td></tr>
78
+ <tr id="row_0_0_0_0_4_" style="display:none;"><td class="entry"><span style="width:80px;display:inline-block;">&#160;</span><a href="ICFGWTO_8h_source.html"><span class="icondoc"></span></a><a class="el" href="ICFGWTO_8h.html" target="_self">ICFGWTO.h</a></td><td class="desc"></td></tr>
79
+ <tr id="row_0_0_0_0_5_" style="display:none;"><td class="entry"><span style="width:80px;display:inline-block;">&#160;</span><a href="IntervalValue_8h_source.html"><span class="icondoc"></span></a><a class="el" href="IntervalValue_8h.html" target="_self">IntervalValue.h</a></td><td class="desc"></td></tr>
80
+ <tr id="row_0_0_0_0_6_" style="display:none;"><td class="entry"><span style="width:80px;display:inline-block;">&#160;</span><a href="NumericLiteral_8h_source.html"><span class="icondoc"></span></a><a class="el" href="NumericLiteral_8h.html" target="_self">NumericLiteral.h</a></td><td class="desc"></td></tr>
81
+ <tr id="row_0_0_0_0_7_" style="display:none;"><td class="entry"><span style="width:80px;display:inline-block;">&#160;</span><a href="RelationSolver_8h_source.html"><span class="icondoc"></span></a><a class="el" href="RelationSolver_8h.html" target="_self">RelationSolver.h</a></td><td class="desc"></td></tr>
82
+ <tr id="row_0_0_0_0_8_" style="display:none;"><td class="entry"><span style="width:80px;display:inline-block;">&#160;</span><a href="RelExeState_8h_source.html"><span class="icondoc"></span></a><a class="el" href="RelExeState_8h.html" target="_self">RelExeState.h</a></td><td class="desc"></td></tr>
87
83
  <tr id="row_0_0_0_1_" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;">&#160;</span><span id="arr_0_0_0_1_" class="arrow" onclick="toggleFolder('0_0_0_1_')">&#9658;</span><span id="img_0_0_0_1_" class="iconfclosed" onclick="toggleFolder('0_0_0_1_')">&#160;</span><a class="el" href="dir_fbec400583b4bd6c5f2e89c86c5943a6.html" target="_self">Svfexe</a></td><td class="desc"></td></tr>
88
- <tr id="row_0_0_0_1_0_" style="display:none;"><td class="entry"><span style="width:80px;display:inline-block;">&#160;</span><a href="AbstractExecution_8h_source.html"><span class="icondoc"></span></a><a class="el" href="AbstractExecution_8h.html" target="_self">AbstractExecution.h</a></td><td class="desc"></td></tr>
84
+ <tr id="row_0_0_0_1_0_" style="display:none;"><td class="entry"><span style="width:80px;display:inline-block;">&#160;</span><a href="AbstractInterpretation_8h_source.html"><span class="icondoc"></span></a><a class="el" href="AbstractInterpretation_8h.html" target="_self">AbstractInterpretation.h</a></td><td class="desc"></td></tr>
89
85
  <tr id="row_0_0_0_1_1_" style="display:none;"><td class="entry"><span style="width:80px;display:inline-block;">&#160;</span><a href="BufOverflowChecker_8h_source.html"><span class="icondoc"></span></a><a class="el" href="BufOverflowChecker_8h.html" target="_self">BufOverflowChecker.h</a></td><td class="desc"></td></tr>
90
86
  <tr id="row_0_0_0_1_2_" style="display:none;"><td class="entry"><span style="width:80px;display:inline-block;">&#160;</span><a href="ICFGSimplification_8h_source.html"><span class="icondoc"></span></a><a class="el" href="ICFGSimplification_8h.html" target="_self">ICFGSimplification.h</a></td><td class="desc"></td></tr>
91
- <tr id="row_0_0_0_1_3_" style="display:none;"><td class="entry"><span style="width:80px;display:inline-block;">&#160;</span><a href="SVFIR2ConsExeState_8h_source.html"><span class="icondoc"></span></a><a class="el" href="SVFIR2ConsExeState_8h.html" target="_self">SVFIR2ConsExeState.h</a></td><td class="desc"></td></tr>
92
- <tr id="row_0_0_0_1_4_" style="display:none;"><td class="entry"><span style="width:80px;display:inline-block;">&#160;</span><a href="SVFIR2ItvExeState_8h_source.html"><span class="icondoc"></span></a><a class="el" href="SVFIR2ItvExeState_8h.html" target="_self">SVFIR2ItvExeState.h</a></td><td class="desc"></td></tr>
87
+ <tr id="row_0_0_0_1_3_" style="display:none;"><td class="entry"><span style="width:80px;display:inline-block;">&#160;</span><a href="SVFIR2AbsState_8h_source.html"><span class="icondoc"></span></a><a class="el" href="SVFIR2AbsState_8h.html" target="_self">SVFIR2AbsState.h</a></td><td class="desc"></td></tr>
93
88
  <tr id="row_0_0_1_"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span id="arr_0_0_1_" class="arrow" onclick="toggleFolder('0_0_1_')">&#9658;</span><span id="img_0_0_1_" class="iconfclosed" onclick="toggleFolder('0_0_1_')">&#160;</span><a class="el" href="dir_1b8e404556d3e8597ae60437f0a084bf.html" target="_self">CFL</a></td><td class="desc"></td></tr>
94
89
  <tr id="row_0_0_1_0_" class="even" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><span class="icondoc"></span><a class="el" href="dir_7de7f3d0ab1cbd78bc64b135e4cd18be.html" target="_self">grammar</a></td><td class="desc"></td></tr>
95
90
  <tr id="row_0_0_1_1_" class="even" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="CFGNormalizer_8h_source.html"><span class="icondoc"></span></a><a class="el" href="CFGNormalizer_8h.html" target="_self">CFGNormalizer.h</a></td><td class="desc"></td></tr>
@@ -228,20 +223,16 @@ $(function() {
228
223
  <tr id="row_0_1_" class="even"><td class="entry"><span style="width:16px;display:inline-block;">&#160;</span><span id="arr_0_1_" class="arrow" onclick="toggleFolder('0_1_')">&#9660;</span><span id="img_0_1_" class="iconfopen" onclick="toggleFolder('0_1_')">&#160;</span><a class="el" href="dir_946e55d8e7afdb1629c1e1d7cdc5486a.html" target="_self">lib</a></td><td class="desc"></td></tr>
229
224
  <tr id="row_0_1_0_"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span id="arr_0_1_0_" class="arrow" onclick="toggleFolder('0_1_0_')">&#9658;</span><span id="img_0_1_0_" class="iconfclosed" onclick="toggleFolder('0_1_0_')">&#160;</span><a class="el" href="dir_7e02b97230e2801c6749b0b00985526f.html" target="_self">AE</a></td><td class="desc"></td></tr>
230
225
  <tr id="row_0_1_0_0_" class="even" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;">&#160;</span><span id="arr_0_1_0_0_" class="arrow" onclick="toggleFolder('0_1_0_0_')">&#9658;</span><span id="img_0_1_0_0_" class="iconfclosed" onclick="toggleFolder('0_1_0_0_')">&#160;</span><a class="el" href="dir_9a8e7a56f4029a0d9f62b1c6d1f6e85b.html" target="_self">Core</a></td><td class="desc"></td></tr>
231
- <tr id="row_0_1_0_0_0_" class="even" style="display:none;"><td class="entry"><span style="width:80px;display:inline-block;">&#160;</span><a href="BoundedZ3Expr_8cpp_source.html"><span class="icondoc"></span></a><a class="el" href="BoundedZ3Expr_8cpp.html" target="_self">BoundedZ3Expr.cpp</a></td><td class="desc"></td></tr>
232
- <tr id="row_0_1_0_0_1_" class="even" style="display:none;"><td class="entry"><span style="width:80px;display:inline-block;">&#160;</span><a href="ConsExeState_8cpp_source.html"><span class="icondoc"></span></a><a class="el" href="ConsExeState_8cpp.html" target="_self">ConsExeState.cpp</a></td><td class="desc"></td></tr>
233
- <tr id="row_0_1_0_0_2_" class="even" style="display:none;"><td class="entry"><span style="width:80px;display:inline-block;">&#160;</span><a href="ExeState_8cpp_source.html"><span class="icondoc"></span></a><a class="el" href="ExeState_8cpp.html" target="_self">ExeState.cpp</a></td><td class="desc"></td></tr>
234
- <tr id="row_0_1_0_0_3_" class="even" style="display:none;"><td class="entry"><span style="width:80px;display:inline-block;">&#160;</span><a href="IntervalExeState_8cpp_source.html"><span class="icondoc"></span></a><a class="el" href="IntervalExeState_8cpp.html" target="_self">IntervalExeState.cpp</a></td><td class="desc"></td></tr>
235
- <tr id="row_0_1_0_0_4_" class="even" style="display:none;"><td class="entry"><span style="width:80px;display:inline-block;">&#160;</span><a href="RelationSolver_8cpp_source.html"><span class="icondoc"></span></a><a class="el" href="RelationSolver_8cpp.html" target="_self">RelationSolver.cpp</a></td><td class="desc"></td></tr>
236
- <tr id="row_0_1_0_0_5_" class="even" style="display:none;"><td class="entry"><span style="width:80px;display:inline-block;">&#160;</span><a href="RelExeState_8cpp_source.html"><span class="icondoc"></span></a><a class="el" href="RelExeState_8cpp.html" target="_self">RelExeState.cpp</a></td><td class="desc"></td></tr>
237
- <tr id="row_0_1_0_0_6_" class="even" style="display:none;"><td class="entry"><span style="width:80px;display:inline-block;">&#160;</span><a href="SVFIR2Relation_8cpp_source.html"><span class="icondoc"></span></a><a class="el" href="SVFIR2Relation_8cpp.html" target="_self">SVFIR2Relation.cpp</a></td><td class="desc"></td></tr>
238
- <tr id="row_0_1_0_0_7_" class="even" style="display:none;"><td class="entry"><span style="width:80px;display:inline-block;">&#160;</span><a href="SymState_8cpp_source.html"><span class="icondoc"></span></a><a class="el" href="SymState_8cpp.html" target="_self">SymState.cpp</a></td><td class="desc"></td></tr>
226
+ <tr id="row_0_1_0_0_0_" class="even" style="display:none;"><td class="entry"><span style="width:80px;display:inline-block;">&#160;</span><a href="AbstractState_8cpp_source.html"><span class="icondoc"></span></a><a class="el" href="AbstractState_8cpp.html" target="_self">AbstractState.cpp</a></td><td class="desc"></td></tr>
227
+ <tr id="row_0_1_0_0_1_" class="even" style="display:none;"><td class="entry"><span style="width:80px;display:inline-block;">&#160;</span><a href="BoundedZ3Expr_8cpp_source.html"><span class="icondoc"></span></a><a class="el" href="BoundedZ3Expr_8cpp.html" target="_self">BoundedZ3Expr.cpp</a></td><td class="desc"></td></tr>
228
+ <tr id="row_0_1_0_0_2_" class="even" style="display:none;"><td class="entry"><span style="width:80px;display:inline-block;">&#160;</span><a href="RelationSolver_8cpp_source.html"><span class="icondoc"></span></a><a class="el" href="RelationSolver_8cpp.html" target="_self">RelationSolver.cpp</a></td><td class="desc"></td></tr>
229
+ <tr id="row_0_1_0_0_3_" class="even" style="display:none;"><td class="entry"><span style="width:80px;display:inline-block;">&#160;</span><a href="RelExeState_8cpp_source.html"><span class="icondoc"></span></a><a class="el" href="RelExeState_8cpp.html" target="_self">RelExeState.cpp</a></td><td class="desc"></td></tr>
230
+ <tr id="row_0_1_0_0_4_" class="even" style="display:none;"><td class="entry"><span style="width:80px;display:inline-block;">&#160;</span><a href="SVFIR2Relation_8cpp_source.html"><span class="icondoc"></span></a><a class="el" href="SVFIR2Relation_8cpp.html" target="_self">SVFIR2Relation.cpp</a></td><td class="desc"></td></tr>
239
231
  <tr id="row_0_1_0_1_" class="even" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;">&#160;</span><span id="arr_0_1_0_1_" class="arrow" onclick="toggleFolder('0_1_0_1_')">&#9658;</span><span id="img_0_1_0_1_" class="iconfclosed" onclick="toggleFolder('0_1_0_1_')">&#160;</span><a class="el" href="dir_81caa96ab1d3de93b353e2bbe80e6067.html" target="_self">Svfexe</a></td><td class="desc"></td></tr>
240
- <tr id="row_0_1_0_1_0_" class="even" style="display:none;"><td class="entry"><span style="width:80px;display:inline-block;">&#160;</span><a href="AbstractExecution_8cpp_source.html"><span class="icondoc"></span></a><a class="el" href="AbstractExecution_8cpp.html" target="_self">AbstractExecution.cpp</a></td><td class="desc"></td></tr>
232
+ <tr id="row_0_1_0_1_0_" class="even" style="display:none;"><td class="entry"><span style="width:80px;display:inline-block;">&#160;</span><a href="AbstractInterpretation_8cpp_source.html"><span class="icondoc"></span></a><a class="el" href="AbstractInterpretation_8cpp.html" target="_self">AbstractInterpretation.cpp</a></td><td class="desc"></td></tr>
241
233
  <tr id="row_0_1_0_1_1_" class="even" style="display:none;"><td class="entry"><span style="width:80px;display:inline-block;">&#160;</span><a href="BufOverflowChecker_8cpp_source.html"><span class="icondoc"></span></a><a class="el" href="BufOverflowChecker_8cpp.html" target="_self">BufOverflowChecker.cpp</a></td><td class="desc"></td></tr>
242
234
  <tr id="row_0_1_0_1_2_" class="even" style="display:none;"><td class="entry"><span style="width:80px;display:inline-block;">&#160;</span><a href="ICFGSimplification_8cpp_source.html"><span class="icondoc"></span></a><a class="el" href="ICFGSimplification_8cpp.html" target="_self">ICFGSimplification.cpp</a></td><td class="desc"></td></tr>
243
- <tr id="row_0_1_0_1_3_" class="even" style="display:none;"><td class="entry"><span style="width:80px;display:inline-block;">&#160;</span><a href="SVFIR2ConsExeState_8cpp_source.html"><span class="icondoc"></span></a><a class="el" href="SVFIR2ConsExeState_8cpp.html" target="_self">SVFIR2ConsExeState.cpp</a></td><td class="desc"></td></tr>
244
- <tr id="row_0_1_0_1_4_" class="even" style="display:none;"><td class="entry"><span style="width:80px;display:inline-block;">&#160;</span><a href="SVFIR2ItvExeState_8cpp_source.html"><span class="icondoc"></span></a><a class="el" href="SVFIR2ItvExeState_8cpp.html" target="_self">SVFIR2ItvExeState.cpp</a></td><td class="desc"></td></tr>
235
+ <tr id="row_0_1_0_1_3_" class="even" style="display:none;"><td class="entry"><span style="width:80px;display:inline-block;">&#160;</span><a href="SVFIR2AbsState_8cpp_source.html"><span class="icondoc"></span></a><a class="el" href="SVFIR2AbsState_8cpp.html" target="_self">SVFIR2AbsState.cpp</a></td><td class="desc"></td></tr>
245
236
  <tr id="row_0_1_1_" class="even"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span id="arr_0_1_1_" class="arrow" onclick="toggleFolder('0_1_1_')">&#9658;</span><span id="img_0_1_1_" class="iconfclosed" onclick="toggleFolder('0_1_1_')">&#160;</span><a class="el" href="dir_8a9c8659eb68b9cbd3fead4690588a47.html" target="_self">CFL</a></td><td class="desc"></td></tr>
246
237
  <tr id="row_0_1_1_0_" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="CFGNormalizer_8cpp_source.html"><span class="icondoc"></span></a><a class="el" href="CFGNormalizer_8cpp.html" target="_self">CFGNormalizer.cpp</a></td><td class="desc"></td></tr>
247
238
  <tr id="row_0_1_1_1_" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="CFGrammar_8cpp_source.html"><span class="icondoc"></span></a><a class="el" href="CFGrammar_8cpp.html" target="_self">CFGrammar.cpp</a></td><td class="desc"></td></tr>
package/SVF-doxygen/html/functions.html CHANGED
@@ -77,7 +77,7 @@ $(function() {
77
77
  : <a class="el" href="classSVF_1_1BufOverflowChecker.html#a0088456e712c555cbfba6203aec38037">SVF::BufOverflowChecker</a>
78
78
  </li>
79
79
  <li>_ae
80
- : <a class="el" href="classSVF_1_1AEStat.html#adbce526127c9cc83d642cde2a1e77ff7">SVF::AEStat</a>
80
+ : <a class="el" href="classSVF_1_1AEStat.html#aeba2d77291837b9615c4f8b014cacfeb">SVF::AEStat</a>
81
81
  </li>
82
82
  <li>_allComponents
83
83
  : <a class="el" href="classSVF_1_1WTO.html#a649f1a93b6fd51553f6e144f2fe99542">SVF::WTO&lt; GraphT &gt;</a>
@@ -98,11 +98,11 @@ $(function() {
98
98
  : <a class="el" href="classSVF_1_1DDAStat.html#a2b788792447d4bccceff2426b45a21b2">SVF::DDAStat</a>
99
99
  </li>
100
100
  <li>_ander
101
- : <a class="el" href="classSVF_1_1AbstractExecution.html#a53f3b9c51ed8648f14ecb703e9fe67ae">SVF::AbstractExecution</a>
101
+ : <a class="el" href="classSVF_1_1AbstractInterpretation.html#abc0d4715611b8f4a61e1da82658ef95f">SVF::AbstractInterpretation</a>
102
102
  , <a class="el" href="classSVF_1_1DDAVFSolver.html#aa1d1b6e8cc23f0a6d3935cbe4f02cbdf">SVF::DDAVFSolver&lt; CVar, CPtSet, DPIm &gt;</a>
103
103
  </li>
104
104
  <li>_api
105
- : <a class="el" href="classSVF_1_1AbstractExecution.html#a26f8c21bd96ae22ca2e72af6fbfa410c">SVF::AbstractExecution</a>
105
+ : <a class="el" href="classSVF_1_1AbstractInterpretation.html#a00154ebaceda1be070b38803c1a82535">SVF::AbstractInterpretation</a>
106
106
  </li>
107
107
  <li>_AvgAddrTakenVarPtsSize
108
108
  : <a class="el" href="classSVF_1_1FlowSensitiveStat.html#a08bfa021eab91d647932aa790d300bbc">SVF::FlowSensitiveStat</a>
@@ -125,16 +125,13 @@ $(function() {
125
125
  : <a class="el" href="classSVF_1_1VersionedFlowSensitiveStat.html#a2e3c24fbb1faaf345e6806e99a07f782">SVF::VersionedFlowSensitiveStat</a>
126
126
  </li>
127
127
  <li>_br_cond
128
- : <a class="el" href="classSVF_1_1SVFIR2ItvExeState.html#a76bc62f9bcaf8a0513ffd11ccc23bc3b">SVF::SVFIR2ItvExeState</a>
129
- </li>
130
- <li>_branchCondition
131
- : <a class="el" href="classSVF_1_1SymState.html#acb13a8b241647b36ccd77b5efffb132e">SVF::SymState</a>
128
+ : <a class="el" href="classSVF_1_1SVFIR2AbsState.html#a55246cb0b2493c9edc05029cc6a114dd">SVF::SVFIR2AbsState</a>
132
129
  </li>
133
130
  <li>_bugLoc
134
- : <a class="el" href="classSVF_1_1AbstractExecution.html#a790c178f8c29eecfc256a5dfd97d1637">SVF::AbstractExecution</a>
131
+ : <a class="el" href="classSVF_1_1AbstractInterpretation.html#a2a5e0a88ebef4ae740983726e7f1b5eb">SVF::AbstractInterpretation</a>
135
132
  </li>
136
133
  <li>_callgraph
137
- : <a class="el" href="classSVF_1_1AbstractExecution.html#a39439604f7d397f620a7639884ea5b50">SVF::AbstractExecution</a>
134
+ : <a class="el" href="classSVF_1_1AbstractInterpretation.html#adf3fad75a4f96aefe5c25e3405509fbe">SVF::AbstractInterpretation</a>
138
135
  </li>
139
136
  <li>_callGraph
140
137
  : <a class="el" href="classSVF_1_1DDAVFSolver.html#abf24080617c6a74abed9f0bb0bc9c0c5">SVF::DDAVFSolver&lt; CVar, CPtSet, DPIm &gt;</a>
@@ -143,13 +140,13 @@ $(function() {
143
140
  : <a class="el" href="classSVF_1_1DDAVFSolver.html#a4c307d486756daa1e79595b1e9edc40a">SVF::DDAVFSolver&lt; CVar, CPtSet, DPIm &gt;</a>
144
141
  </li>
145
142
  <li>_callSiteStack
146
- : <a class="el" href="classSVF_1_1AbstractExecution.html#ab9d6ebcf67ec473ce7ad5910c74eddc1">SVF::AbstractExecution</a>
143
+ : <a class="el" href="classSVF_1_1AbstractInterpretation.html#a9885b50cf28b65bebb488442085fab26">SVF::AbstractInterpretation</a>
147
144
  </li>
148
145
  <li>_checkpoint_names
149
- : <a class="el" href="classSVF_1_1AbstractExecution.html#a32abc52bc54745027aa2daa67a8278f3">SVF::AbstractExecution</a>
146
+ : <a class="el" href="classSVF_1_1AbstractInterpretation.html#a2a1e1b72ed740cef4c3e57e3e32c3f75">SVF::AbstractInterpretation</a>
150
147
  </li>
151
148
  <li>_checkpoints
152
- : <a class="el" href="classSVF_1_1AbstractExecution.html#a0a64bef0cc898059c50f6aec470cc6d9">SVF::AbstractExecution</a>
149
+ : <a class="el" href="classSVF_1_1AbstractInterpretation.html#a219313e979d779221116c1bc45becc1b">SVF::AbstractInterpretation</a>
153
150
  </li>
154
151
  <li>_client
155
152
  : <a class="el" href="classSVF_1_1ContextDDA.html#ae3b04859ed69c47302177988aa68a70b">SVF::ContextDDA</a>
@@ -189,20 +186,16 @@ $(function() {
189
186
  : <a class="el" href="classSVF_1_1WTO.html#a5853e7a33044635877b8f07de05ff047">SVF::WTO&lt; GraphT &gt;</a>
190
187
  </li>
191
188
  <li>_es
192
- : <a class="el" href="classSVF_1_1SVFIR2ConsExeState.html#a89c8aeb1b6f0d1f953e756760f72c224">SVF::SVFIR2ConsExeState</a>
193
- , <a class="el" href="classSVF_1_1SVFIR2ItvExeState.html#ab6b5ed878ce12016424c48c6252a764e">SVF::SVFIR2ItvExeState</a>
194
- </li>
195
- <li>_exeState
196
- : <a class="el" href="classSVF_1_1SymState.html#a10f55ddb22731a3c50bff12c6afdbd50">SVF::SymState</a>
189
+ : <a class="el" href="classSVF_1_1SVFIR2AbsState.html#aefdc1e49328ae897c1cf28aeb107f45b">SVF::SVFIR2AbsState</a>
197
190
  </li>
198
191
  <li>_extAPIBufOverflowCheckRules
199
192
  : <a class="el" href="classSVF_1_1BufOverflowChecker.html#af83b65ed98cd4e0f6cd92962e7392d4d">SVF::BufOverflowChecker</a>
200
193
  </li>
201
194
  <li>_func_map
202
- : <a class="el" href="classSVF_1_1AbstractExecution.html#ac1742440725909fee77526726424d135">SVF::AbstractExecution</a>
195
+ : <a class="el" href="classSVF_1_1AbstractInterpretation.html#aa27d0ef684deec1f5385fdb0d4c64827">SVF::AbstractInterpretation</a>
203
196
  </li>
204
197
  <li>_funcToWTO
205
- : <a class="el" href="classSVF_1_1AbstractExecution.html#ade8434d8f0f5d832842d60b7a56fa64f">SVF::AbstractExecution</a>
198
+ : <a class="el" href="classSVF_1_1AbstractInterpretation.html#af41aa555a5b607ae7700263ac72f8dbb">SVF::AbstractInterpretation</a>
206
199
  </li>
207
200
  <li>_graph
208
201
  : <a class="el" href="classSVF_1_1GraphReachSolver.html#af486b67b972d797107ec82f3f7988668">SVF::GraphReachSolver&lt; GraphType, DPIm &gt;</a>
@@ -222,7 +215,7 @@ $(function() {
222
215
  , <a class="el" href="classSVF_1_1SCCDetection.html#a9105051438f60587df95a9dba618d008">SVF::SCCDetection&lt; GraphType &gt;</a>
223
216
  </li>
224
217
  <li>_icfg
225
- : <a class="el" href="classSVF_1_1AbstractExecution.html#ab5021d59a929f4eaf5e59d911036d201">SVF::AbstractExecution</a>
218
+ : <a class="el" href="classSVF_1_1AbstractInterpretation.html#ab988e460fe92f0ba3c4cbee8e0c480a0">SVF::AbstractInterpretation</a>
226
219
  </li>
227
220
  <li>_icfgNode
228
221
  : <a class="el" href="classSVF_1_1CDGNode.html#a57d10ca10f4f5ac763f80515781b44ba">SVF::CDGNode</a>
@@ -233,13 +226,8 @@ $(function() {
233
226
  <li>_isPWCNode
234
227
  : <a class="el" href="classSVF_1_1ConstraintNode.html#ab93b0083cd84702900dcdc853e511275">SVF::ConstraintNode</a>
235
228
  </li>
236
- <li>_keyNodesSet
237
- : <a class="el" href="classSVF_1_1SymState.html#a55fdbbd612acf5f95b59a6b4b8650e43">SVF::SymState</a>
238
- </li>
239
229
  <li>_kind
240
- : <a class="el" href="classSVF_1_1AbstractExecution.html#ad36d48c0ef82de915d9339c4f47cbd70">SVF::AbstractExecution</a>
241
- , <a class="el" href="classSVF_1_1AbstractValue.html#a9405e2725442f2f641f729038efbe172">SVF::AbstractValue</a>
242
- , <a class="el" href="classSVF_1_1ExeState.html#a2545017305d54f6416ba48cb45e43cb8">SVF::ExeState</a>
230
+ : <a class="el" href="classSVF_1_1AbstractInterpretation.html#a5d3b15c3cdb9c8e91b942924bf8aee21">SVF::AbstractInterpretation</a>
243
231
  </li>
244
232
  <li>_la
245
233
  : <a class="el" href="classSVF_1_1LockResultValidator.html#ae68afb4d129dc6cecfc3561f6a17c798">SVF::LockResultValidator</a>
@@ -247,15 +235,11 @@ $(function() {
247
235
  <li>_lb
248
236
  : <a class="el" href="classSVF_1_1IntervalValue.html#a0827c976d921894e89ca4ac88ecf3f95">SVF::IntervalValue</a>
249
237
  </li>
250
- <li>_locToAddrs
251
- : <a class="el" href="classSVF_1_1ExeState.html#a79866a547dc4805d3fefdfd528d2df2a">SVF::ExeState</a>
252
- </li>
253
- <li>_locToItvVal
254
- : <a class="el" href="classSVF_1_1IntervalESBase.html#acba74693030fca248521412c552e3dcc">SVF::IntervalESBase</a>
238
+ <li>_locToAbsVal
239
+ : <a class="el" href="classSVF_1_1AbstractState.html#aade30bb08f86b3f74e7aa9cdc60c92a3">SVF::AbstractState</a>
255
240
  </li>
256
241
  <li>_locToVal
257
- : <a class="el" href="classSVF_1_1ConsExeState.html#a987e69694742dafb49eb697bfde5cd19">SVF::ConsExeState</a>
258
- , <a class="el" href="classSVF_1_1RelExeState.html#ab2bae973796c52765500b506844286e4">SVF::RelExeState</a>
242
+ : <a class="el" href="classSVF_1_1RelExeState.html#ab2bae973796c52765500b506844286e4">SVF::RelExeState</a>
259
243
  </li>
260
244
  <li>_MaxAddrTakenVarPts
261
245
  : <a class="el" href="classSVF_1_1FlowSensitiveStat.html#a7c88e2528a93511ba8dde4805cadcd30">SVF::FlowSensitiveStat</a>
@@ -292,7 +276,7 @@ $(function() {
292
276
  : <a class="el" href="classSVF_1_1LockResultValidator.html#a2e3ded56c4e1e1a2a0b28c0d44011b61">SVF::LockResultValidator</a>
293
277
  </li>
294
278
  <li>_moduleName
295
- : <a class="el" href="classSVF_1_1AbstractExecution.html#a18903b2257e3a2aeec53d79bcf83e7d5">SVF::AbstractExecution</a>
279
+ : <a class="el" href="classSVF_1_1AbstractInterpretation.html#afefc0098ecd9bc01ce270a4a6f251b0c">SVF::AbstractInterpretation</a>
296
280
  </li>
297
281
  <li>_msg
298
282
  : <a class="el" href="structSVF_1_1BufOverflowException.html#add564a4b3a2d36953936f217e794ded0">SVF::BufOverflowException</a>
@@ -313,7 +297,7 @@ $(function() {
313
297
  : <a class="el" href="classSVF_1_1SCCDetection.html#a55e1ac9dff59ff78d02e8799d306215b">SVF::SCCDetection&lt; GraphType &gt;</a>
314
298
  </li>
315
299
  <li>_nodeToBugInfo
316
- : <a class="el" href="classSVF_1_1AbstractExecution.html#a04e812385041270901af0f2cb599fa96">SVF::AbstractExecution</a>
300
+ : <a class="el" href="classSVF_1_1AbstractInterpretation.html#a09aa739395388f64fcb3d539d58d2041">SVF::AbstractInterpretation</a>
317
301
  </li>
318
302
  <li>_nodeToCDN
319
303
  : <a class="el" href="classSVF_1_1WTO.html#a54d8c25df36b0c44d52369c4294a1ed8">SVF::WTO&lt; GraphT &gt;</a>
@@ -447,14 +431,14 @@ $(function() {
447
431
  <li>_pag
448
432
  : <a class="el" href="classSVF_1_1DDAVFSolver.html#a5521918cc06c182c821b9fae8136e4fe">SVF::DDAVFSolver&lt; CVar, CPtSet, DPIm &gt;</a>
449
433
  </li>
450
- <li>_postES
451
- : <a class="el" href="classSVF_1_1AbstractExecution.html#a9c6a5b802710efe11b34df45a3f8f73b">SVF::AbstractExecution</a>
434
+ <li>_postAbstractTrace
435
+ : <a class="el" href="classSVF_1_1AbstractInterpretation.html#a8a7a673452ccba14e5aa025313dd9832">SVF::AbstractInterpretation</a>
452
436
  </li>
453
437
  <li>_PotentialNumOfVarHaveINOUTPts
454
438
  : <a class="el" href="classSVF_1_1FlowSensitiveStat.html#a08ea2c3d891337992291123a1bb4da97">SVF::FlowSensitiveStat</a>
455
439
  </li>
456
- <li>_preES
457
- : <a class="el" href="classSVF_1_1AbstractExecution.html#a86d304f1a16689234d091da4e6e967a7">SVF::AbstractExecution</a>
440
+ <li>_preAbstractTrace
441
+ : <a class="el" href="classSVF_1_1AbstractInterpretation.html#aeeb85346212cabd5ae70e19041131094">SVF::AbstractInterpretation</a>
458
442
  </li>
459
443
  <li>_pta
460
444
  : <a class="el" href="classSVF_1_1DDAPass.html#a7a4bd29396855329972f928107521c86">SVF::DDAPass</a>
@@ -467,13 +451,13 @@ $(function() {
467
451
  : <a class="el" href="classSVF_1_1CondPointsToSet_1_1CondPtsSetIterator.html#a2b34cb72c2ecc8e4fc7071b6ed814df9">SVF::CondPointsToSet&lt; Cond &gt;::CondPtsSetIterator</a>
468
452
  </li>
469
453
  <li>_recoder
470
- : <a class="el" href="classSVF_1_1AbstractExecution.html#a5ed683d635bd05f0bee10436d20deb31">SVF::AbstractExecution</a>
454
+ : <a class="el" href="classSVF_1_1AbstractInterpretation.html#a8e4f0c5f527e321369a19a0b37124079">SVF::AbstractInterpretation</a>
471
455
  </li>
472
456
  <li>_recursiveFuns
473
- : <a class="el" href="classSVF_1_1AbstractExecution.html#ac7b2e6bdccab5a507c9e8db8ea4682d3">SVF::AbstractExecution</a>
457
+ : <a class="el" href="classSVF_1_1AbstractInterpretation.html#a9b5e58476c372570551da971d22c5c02">SVF::AbstractInterpretation</a>
474
458
  </li>
475
459
  <li>_relEs
476
- : <a class="el" href="classSVF_1_1SVFIR2ItvExeState.html#ab8bd2de9d86489845f5a74727040b217">SVF::SVFIR2ItvExeState</a>
460
+ : <a class="el" href="classSVF_1_1SVFIR2AbsState.html#a592f4fe473d0159a3fbdac3bc35b424e">SVF::SVFIR2AbsState</a>
477
461
  </li>
478
462
  <li>_rep
479
463
  : <a class="el" href="classSVF_1_1SCCDetection_1_1GNodeSCCInfo.html#a99f3c75c72892cf364b808ff7e773a51">SVF::SCCDetection&lt; GraphType &gt;::GNodeSCCInfo</a>
@@ -494,7 +478,7 @@ $(function() {
494
478
  : <a class="el" href="classSVF_1_1WTO.html#a333df66435d9c4444ff7f729ca9d0050">SVF::WTO&lt; GraphT &gt;</a>
495
479
  </li>
496
480
  <li>_stat
497
- : <a class="el" href="classSVF_1_1AbstractExecution.html#a74a55a4d4941c85bdfed81f060049bf0">SVF::AbstractExecution</a>
481
+ : <a class="el" href="classSVF_1_1AbstractInterpretation.html#a75e493e6b9db3e29428794432d293bc2">SVF::AbstractInterpretation</a>
498
482
  </li>
499
483
  <li>_StrongUpdateStores
500
484
  : <a class="el" href="classSVF_1_1DDAStat.html#ad53ad7a958c05b45624d2859a6a9e647">SVF::DDAStat</a>
@@ -517,11 +501,11 @@ $(function() {
517
501
  : <a class="el" href="classSVF_1_1DDAVFSolver.html#a54f5d4972238ae69f19c9da3b9f51644">SVF::DDAVFSolver&lt; CVar, CPtSet, DPIm &gt;</a>
518
502
  </li>
519
503
  <li>_svfir
520
- : <a class="el" href="classSVF_1_1AbstractExecution.html#a49742e8c3a8fe598a0945a8d8ff394d0">SVF::AbstractExecution</a>
521
- , <a class="el" href="classSVF_1_1SVFIR2ItvExeState.html#a4359c73e131a44f899c694fad25b7e1a">SVF::SVFIR2ItvExeState</a>
504
+ : <a class="el" href="classSVF_1_1AbstractInterpretation.html#a618fc324a6c205d7e1b471bd850377a9">SVF::AbstractInterpretation</a>
505
+ , <a class="el" href="classSVF_1_1SVFIR2AbsState.html#a80a0f0a20e993c6fcffc89f9de409f44">SVF::SVFIR2AbsState</a>
522
506
  </li>
523
507
  <li>_svfir2ExeState
524
- : <a class="el" href="classSVF_1_1AbstractExecution.html#a5e24bceb3d6961117651dbc65e9a097a">SVF::AbstractExecution</a>
508
+ : <a class="el" href="classSVF_1_1AbstractInterpretation.html#af78f068a373ebb6a2f14dcde980a9dae">SVF::AbstractInterpretation</a>
525
509
  </li>
526
510
  <li>_T
527
511
  : <a class="el" href="classSVF_1_1SCCDetection.html#a0373c80345ffb147ba9a5f57e96d7745">SVF::SCCDetection&lt; GraphType &gt;</a>
@@ -570,9 +554,6 @@ $(function() {
570
554
  <li>_type
571
555
  : <a class="el" href="classSVF_1_1WTOComponent.html#a1da81c85c89d975b6df9dafdb32dc788">SVF::WTOComponent&lt; GraphT &gt;</a>
572
556
  </li>
573
- <li>_typeState
574
- : <a class="el" href="classSVF_1_1SymState.html#aaf72b784ae851cec1c6676f2f8f9038b">SVF::SymState</a>
575
- </li>
576
557
  <li>_ub
577
558
  : <a class="el" href="classSVF_1_1IntervalValue.html#a3c00a3b16192645f667a88bf636f01ff">SVF::IntervalValue</a>
578
559
  </li>
@@ -588,15 +569,11 @@ $(function() {
588
569
  <li>_valueToType
589
570
  : <a class="el" href="classSVF_1_1ObjTypeInference.html#ad9ceac3c884a08ce0ae4fef4b488a7c5">SVF::ObjTypeInference</a>
590
571
  </li>
591
- <li>_varToAddrs
592
- : <a class="el" href="classSVF_1_1ExeState.html#ad317f2ae2e599a131a6fd9f415f5d712">SVF::ExeState</a>
593
- </li>
594
- <li>_varToItvVal
595
- : <a class="el" href="classSVF_1_1IntervalESBase.html#ad2288306aed7301ccd30e55410c7b428">SVF::IntervalESBase</a>
572
+ <li>_varToAbsVal
573
+ : <a class="el" href="classSVF_1_1AbstractState.html#a6a49c75fb6b35159dcf1763b4484d335">SVF::AbstractState</a>
596
574
  </li>
597
575
  <li>_varToVal
598
- : <a class="el" href="classSVF_1_1ConsExeState.html#a07b135c218f56fdab8ef8504190563df">SVF::ConsExeState</a>
599
- , <a class="el" href="classSVF_1_1RelExeState.html#ab4cede761cb0bdc082da8e53cd2d5b06">SVF::RelExeState</a>
576
+ : <a class="el" href="classSVF_1_1RelExeState.html#ab4cede761cb0bdc082da8e53cd2d5b06">SVF::RelExeState</a>
600
577
  </li>
601
578
  <li>_visited
602
579
  : <a class="el" href="classSVF_1_1CSC.html#a98bf29b1b9a1ffee14fe65a7f6b56672">SVF::CSC</a>