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/functions_o.html CHANGED
@@ -152,19 +152,18 @@ $(function() {
152
152
  <li>operator!
153
153
  : <a class="el" href="classSVF_1_1BoundedZ3Expr.html#a6b8aac161a98a48003abb778414bd293">SVF::BoundedZ3Expr</a>
154
154
  , <a class="el" href="classSVF_1_1NumericLiteral.html#ad68b36d4cf69e4f627226a738d5d8a29">SVF::NumericLiteral</a>
155
- , <a class="el" href="classSVF_1_1SingleAbsValue.html#ac1943aa4e51a3a748df209785eb42e22">SVF::SingleAbsValue</a>
156
155
  , <a class="el" href="classSVF_1_1Z3Expr.html#ac2b4e7b63f15e6780d25107b61f208ca">SVF::Z3Expr</a>
157
156
  </li>
158
157
  <li>operator!=()
159
158
  : <a class="el" href="classllvm_1_1generic__bridge__gep__type__iterator.html#ab831157001de89b02c7df98a9b513e9c">llvm::generic_bridge_gep_type_iterator&lt; ItTy &gt;</a>
160
- , <a class="el" href="classSVF_1_1AddressValue.html#aba8f1bfe0603192ca9d5c8b36ece1549">SVF::AddressValue</a>
159
+ , <a class="el" href="classSVF_1_1AbstractState.html#a52c298445a68c11faabe042744cfdc1d">SVF::AbstractState</a>
160
+ , <a class="el" href="structSVF_1_1AbstractValue.html#ac721fe3bf7435af1de3120d5f6288efa">SVF::AbstractValue</a>
161
161
  , <a class="el" href="classSVF_1_1BoundedZ3Expr.html#a578526517c1c2e642e1e8e16959006ff">SVF::BoundedZ3Expr</a>
162
162
  , <a class="el" href="classSVF_1_1CallSite.html#a44d8147b8b6d54e05a7108858dbaa7c6">SVF::CallSite</a>
163
163
  , <a class="el" href="classSVF_1_1CondPointsToSet_1_1CondPtsSetIterator.html#a4b1e8adca9e8d1b046930e9d2abeb08f">SVF::CondPointsToSet&lt; Cond &gt;::CondPtsSetIterator</a>
164
164
  , <a class="el" href="classSVF_1_1CondPointsToSet.html#af06ca0ddfcdca69199fbc9ab42f98558">SVF::CondPointsToSet&lt; Cond &gt;</a>
165
165
  , <a class="el" href="classSVF_1_1CondStdSet.html#a060a01d33fcd5ed4dfcaecb3d24cda07">SVF::CondStdSet&lt; Element &gt;</a>
166
166
  , <a class="el" href="classSVF_1_1CondVar.html#a50321e5ead24c8a9d6c58998072634f0">SVF::CondVar&lt; Cond &gt;</a>
167
- , <a class="el" href="classSVF_1_1ConsExeState.html#a24e9becca0339056ba900ee35ab882f3">SVF::ConsExeState</a>
168
167
  , <a class="el" href="classSVF_1_1ContextCond.html#a357317ef5f0a848a30eb38eec8c8a0f8">SVF::ContextCond</a>
169
168
  , <a class="el" href="classSVF_1_1CoreBitVector_1_1CoreBitVectorIterator.html#aebdb5ddb9b50704f83dc924b7bfac74c">SVF::CoreBitVector::CoreBitVectorIterator</a>
170
169
  , <a class="el" href="classSVF_1_1CoreBitVector.html#af142d3bb07e77c28bba6ece5b5b13f51">SVF::CoreBitVector</a>
@@ -176,41 +175,36 @@ $(function() {
176
175
  , <a class="el" href="classSVF_1_1CxtThreadProc.html#a7f65ade2a231590c26643ef907061727">SVF::CxtThreadProc</a>
177
176
  , <a class="el" href="classSVF_1_1CxtThreadStmt.html#ab900fccf35773064aae491d552df3825">SVF::CxtThreadStmt</a>
178
177
  , <a class="el" href="classSVF_1_1DPItem.html#add804064ca2bfaa16bcc25503698a1ea">SVF::DPItem</a>
179
- , <a class="el" href="classSVF_1_1ExeState.html#ab828094e1026046814c1e3d44d3f084c">SVF::ExeState</a>
180
178
  , <a class="el" href="structSVF_1_1GrammarBase_1_1Symbol.html#a0c53c26afedc5ada95b32fa2d3b6e136">SVF::GrammarBase::Symbol</a>
181
- , <a class="el" href="classSVF_1_1IntervalESBase.html#ab3d0a23befaf69fac553e6e3ae3a42e0">SVF::IntervalESBase</a>
182
- , <a class="el" href="classSVF_1_1IntervalExeState.html#ad4cbc6543ffe3e663deea4736470bfc1">SVF::IntervalExeState</a>
183
179
  , <a class="el" href="classSVF_1_1IntervalValue.html#a18d0f2c15ea6fc84dfa28ca494423af9">SVF::IntervalValue</a>
184
180
  , <a class="el" href="classSVF_1_1iter__facade__base.html#a84d45b0f8c02a1c892d5e7f5104696ed">SVF::iter_facade_base&lt; DerivedT, IteratorCategoryT, T, DifferenceTypeT, PointerT, ReferenceT &gt;</a>
185
181
  , <a class="el" href="classSVF_1_1NumericLiteral.html#ad0b83965d54dd9a94b0ec0a87ef8aa83">SVF::NumericLiteral</a>
186
182
  , <a class="el" href="classSVF_1_1PointsTo.html#a888f05fe8da4b95c44226f3c69469c75">SVF::PointsTo</a>
187
183
  , <a class="el" href="classSVF_1_1PointsTo_1_1PointsToIterator.html#aa90476b4c0e75a256f8ff855f99ca970">SVF::PointsTo::PointsToIterator</a>
188
184
  , <a class="el" href="classSVF_1_1RelExeState.html#ae6ececb2e5bca174b46450d841ac51fa">SVF::RelExeState</a>
189
- , <a class="el" href="classSVF_1_1SingleAbsValue.html#a7fa4b919dfe1ae877298aea3b25f2b45">SVF::SingleAbsValue</a>
185
+ , <a class="el" href="classSVF_1_1SparseAbstractState.html#aee3e04539eaf9d0ecd6538fd791a65c4">SVF::SparseAbstractState</a>
190
186
  , <a class="el" href="classSVF_1_1SparseBitVector.html#abfb058304c4b174d162a94c0cc26d2f7">SVF::SparseBitVector&lt; ElementSize &gt;</a>
191
187
  , <a class="el" href="classSVF_1_1SparseBitVector_1_1SparseBitVectorIterator.html#a5448a6bdf09ef6a45d7c8e84648221ea">SVF::SparseBitVector&lt; ElementSize &gt;::SparseBitVectorIterator</a>
192
188
  , <a class="el" href="structSVF_1_1SparseBitVectorElement.html#aa812f8538b869b004791b4177c50069b">SVF::SparseBitVectorElement&lt; ElementSize &gt;</a>
193
189
  , <a class="el" href="classSVF_1_1StmtDPItem.html#ab89875a3b692ed348b1b28bb9a173254">SVF::StmtDPItem&lt; LocCond &gt;</a>
194
190
  , <a class="el" href="classSVF_1_1SVFGNodeLockSpan.html#afa11dc0e8124bb36bfb404bfd94f4b40">SVF::SVFGNodeLockSpan</a>
195
- , <a class="el" href="classSVF_1_1SymState.html#a6f3c1b4c3be13c65609a9de4d19f71ba">SVF::SymState</a>
196
191
  , <a class="el" href="classSVF_1_1Z3Expr.html#a180b9776e8388839bf321be33b8c0cb3">SVF::Z3Expr</a>
197
192
  </li>
198
- <li>operator%
199
- : <a class="el" href="classSVF_1_1BoundedZ3Expr.html#a5a2ed0a2efbf142be0c61f31e5abaece">SVF::BoundedZ3Expr</a>
193
+ <li>operator%()
194
+ : <a class="el" href="structSVF_1_1AbstractValue.html#a5c750e75a04bf3bc6f19c327790564c5">SVF::AbstractValue</a>
195
+ , <a class="el" href="classSVF_1_1BoundedZ3Expr.html#a5a2ed0a2efbf142be0c61f31e5abaece">SVF::BoundedZ3Expr</a>
200
196
  , <a class="el" href="classSVF_1_1NumericLiteral.html#a82340a506f381d4dad620cfd524aeb39">SVF::NumericLiteral</a>
201
- , <a class="el" href="classSVF_1_1SingleAbsValue.html#a2c21237267a01d1621e51d1a5ece28ee">SVF::SingleAbsValue</a>
202
197
  , <a class="el" href="classSVF_1_1Z3Expr.html#a2abad89a9cfb36d8b782a099931501ad">SVF::Z3Expr</a>
203
198
  </li>
204
- <li>operator&amp;
205
- : <a class="el" href="classSVF_1_1BoundedZ3Expr.html#ab71c961185c859a25940a6ef4335905c">SVF::BoundedZ3Expr</a>
199
+ <li>operator&amp;()
200
+ : <a class="el" href="structSVF_1_1AbstractValue.html#a320749c3297ed4d00d1df477508a63f0">SVF::AbstractValue</a>
201
+ , <a class="el" href="classSVF_1_1BoundedZ3Expr.html#ab71c961185c859a25940a6ef4335905c">SVF::BoundedZ3Expr</a>
206
202
  , <a class="el" href="classSVF_1_1NumericLiteral.html#a7139e461f2ac323b7e275f40dfd684da">SVF::NumericLiteral</a>
207
- , <a class="el" href="classSVF_1_1SingleAbsValue.html#a99f9503d4daab12b3c4817b237c0a0fb">SVF::SingleAbsValue</a>
208
203
  , <a class="el" href="classSVF_1_1Z3Expr.html#a65530f951359b30eab4794508d061e9c">SVF::Z3Expr</a>
209
204
  </li>
210
205
  <li>operator&amp;&amp;
211
206
  : <a class="el" href="classSVF_1_1BoundedZ3Expr.html#a4a36f2c5a084341a176cb81b2dec8280">SVF::BoundedZ3Expr</a>
212
207
  , <a class="el" href="classSVF_1_1NumericLiteral.html#af57d038fab712a70aab7a6984ec2ba67">SVF::NumericLiteral</a>
213
- , <a class="el" href="classSVF_1_1SingleAbsValue.html#a2e6442d5f27a3a9f42d90315f3365577">SVF::SingleAbsValue</a>
214
208
  , <a class="el" href="classSVF_1_1Z3Expr.html#ad9520b22c40c629150d6e3e1a3cc4950">SVF::Z3Expr</a>
215
209
  </li>
216
210
  <li>operator&amp;=()
@@ -232,7 +226,6 @@ $(function() {
232
226
  , <a class="el" href="structstd_1_1hash_3_01SVF_1_1CallSite_01_4.html#a6ed3f621cd155faae27cbd844338409a">std::hash&lt; SVF::CallSite &gt;</a>
233
227
  , <a class="el" href="structstd_1_1hash_3_01SVF_1_1CondStdSet_3_01Element_01_4_01_4.html#a0d50f7a011b2174e5c8064a8b03f8529">std::hash&lt; SVF::CondStdSet&lt; Element &gt; &gt;</a>
234
228
  , <a class="el" href="structstd_1_1hash_3_01SVF_1_1CondVar_3_01Cond_01_4_01_4.html#ac9b6dd9b7dd77c0303c1f4f5877d87db">std::hash&lt; SVF::CondVar&lt; Cond &gt; &gt;</a>
235
- , <a class="el" href="structstd_1_1hash_3_01SVF_1_1ConsExeState_01_4.html#a4c48e03d1f703d7d68065fdbbd4fee22">std::hash&lt; SVF::ConsExeState &gt;</a>
236
229
  , <a class="el" href="structstd_1_1hash_3_01SVF_1_1ContextCond_01_4.html#a40f9a910c62fa0cbdca9a5a31e958709">std::hash&lt; SVF::ContextCond &gt;</a>
237
230
  , <a class="el" href="structstd_1_1hash_3_01SVF_1_1CxtDPItem_01_4.html#af1d24d13fd5262019f58882dc53e83cc">std::hash&lt; SVF::CxtDPItem &gt;</a>
238
231
  , <a class="el" href="structstd_1_1hash_3_01SVF_1_1CxtProc_01_4.html#a318fb6797f07e8d780c949ad673cfae8">std::hash&lt; SVF::CxtProc &gt;</a>
@@ -241,17 +234,14 @@ $(function() {
241
234
  , <a class="el" href="structstd_1_1hash_3_01SVF_1_1CxtThread_01_4.html#acba6d528a8f587af9bc95f4b5aa4e201">std::hash&lt; SVF::CxtThread &gt;</a>
242
235
  , <a class="el" href="structstd_1_1hash_3_01SVF_1_1CxtThreadProc_01_4.html#aa88f8da2c709601e69e309604a384863">std::hash&lt; SVF::CxtThreadProc &gt;</a>
243
236
  , <a class="el" href="structstd_1_1hash_3_01SVF_1_1CxtThreadStmt_01_4.html#ae4d5049073212fdd47fb976585653c26">std::hash&lt; SVF::CxtThreadStmt &gt;</a>
244
- , <a class="el" href="structstd_1_1hash_3_01SVF_1_1ExeState_01_4.html#a6705ade63bf4797badccf432b56c5017">std::hash&lt; SVF::ExeState &gt;</a>
245
- , <a class="el" href="structstd_1_1hash_3_01SVF_1_1IntervalExeState_01_4.html#ae21394a2b8076439d48a118ff5b623a5">std::hash&lt; SVF::IntervalExeState &gt;</a>
246
237
  , <a class="el" href="structstd_1_1hash_3_01SVF_1_1NodePair_01_4.html#a33d0d439057cbfab969516ea6a976aae">std::hash&lt; SVF::NodePair &gt;</a>
247
238
  , <a class="el" href="structstd_1_1hash_3_01SVF_1_1NumericLiteral_01_4.html#a57f6de2fad6579075e6c7d60ddbff2a5">std::hash&lt; SVF::NumericLiteral &gt;</a>
248
239
  , <a class="el" href="structstd_1_1hash_3_01SVF_1_1PointsTo_01_4.html#a34dcd2ff517e67b98ec26e4957931367">std::hash&lt; SVF::PointsTo &gt;</a>
249
240
  , <a class="el" href="structstd_1_1hash_3_01SVF_1_1RelExeState_01_4.html#aea05ac3204b21682cf1accec34645d88">std::hash&lt; SVF::RelExeState &gt;</a>
250
- , <a class="el" href="structstd_1_1hash_3_01SVF_1_1SingleAbsValue_01_4.html#a3f1931d269277edb6733a02e3c0d539e">std::hash&lt; SVF::SingleAbsValue &gt;</a>
241
+ , <a class="el" href="structstd_1_1hash_3_01SVF_1_1SparseAbstractState_01_4.html#ab1024aa1c3da5b1395b2bcde04593cae">std::hash&lt; SVF::SparseAbstractState &gt;</a>
251
242
  , <a class="el" href="structstd_1_1hash_3_01SVF_1_1SparseBitVector_3_01N_01_4_01_4.html#a450703a33d907a011a97ee50818b0b4d">std::hash&lt; SVF::SparseBitVector&lt; N &gt; &gt;</a>
252
243
  , <a class="el" href="structstd_1_1hash_3_01SVF_1_1StmtDPItem_3_01LocCond_01_4_01_4.html#a265e5b7b0b4e15c14f1cc93ec4fc2267">std::hash&lt; SVF::StmtDPItem&lt; LocCond &gt; &gt;</a>
253
244
  , <a class="el" href="structstd_1_1hash_3_01SVF_1_1SVFGNodeLockSpan_01_4.html#a7854984f902d9a42c6d4e095de8464a7">std::hash&lt; SVF::SVFGNodeLockSpan &gt;</a>
254
- , <a class="el" href="structstd_1_1hash_3_01SVF_1_1SymState_01_4.html#aa1155bb32072fdffe0f7f28ee57eb36f">std::hash&lt; SVF::SymState &gt;</a>
255
245
  , <a class="el" href="structstd_1_1hash_3_01SVF_1_1Z3Expr_01_4.html#a5f22ba479b6e05b6d3932d65c7034ade">std::hash&lt; SVF::Z3Expr &gt;</a>
256
246
  , <a class="el" href="structSVF_1_1GenericEdge_1_1equalGEdge.html#ac4654da03578f3ab8183b10f98a27f62">SVF::GenericEdge&lt; NodeTy &gt;::equalGEdge</a>
257
247
  , <a class="el" href="classSVF_1_1GrammarBase_1_1SymbolHash.html#a9213c70ec0cb74fbd7559db8fb45fd54">SVF::GrammarBase::SymbolHash</a>
@@ -266,6 +256,7 @@ $(function() {
266
256
  </li>
267
257
  <li>operator*()
268
258
  : <a class="el" href="classllvm_1_1generic__bridge__gep__type__iterator.html#aef8babf0bd09f63692e99d3ec563b193">llvm::generic_bridge_gep_type_iterator&lt; ItTy &gt;</a>
259
+ , <a class="el" href="structSVF_1_1AbstractValue.html#ab259dfda5b69bbdcf0b43e5dc1f7464c">SVF::AbstractValue</a>
269
260
  , <a class="el" href="classSVF_1_1BoundedZ3Expr.html#a35c2b00e17dc8cf8d2f0371bf4b54f4c">SVF::BoundedZ3Expr</a>
270
261
  , <a class="el" href="classSVF_1_1CondPointsToSet_1_1CondPtsSetIterator.html#aaaed8caef122453b5ff543826e1757e0">SVF::CondPointsToSet&lt; Cond &gt;::CondPtsSetIterator</a>
271
262
  , <a class="el" href="classSVF_1_1CoreBitVector_1_1CoreBitVectorIterator.html#aec0b2c6ebcf16734a69a54613a18b33e">SVF::CoreBitVector::CoreBitVectorIterator</a>
@@ -275,16 +266,15 @@ $(function() {
275
266
  , <a class="el" href="structSVF_1_1pointee__iter.html#a3e5e7a02b9af71f37213d12f4f18ceb4">SVF::pointee_iter&lt; WrappedIteratorT, T &gt;</a>
276
267
  , <a class="el" href="classSVF_1_1pointer__iterator.html#a12bae66eedebffd73730d091d99e3c9a">SVF::pointer_iterator&lt; WrappedIteratorT, T &gt;</a>
277
268
  , <a class="el" href="classSVF_1_1PointsTo_1_1PointsToIterator.html#a0fc3ebfd1990d09cc1b7c26bd94fb57a">SVF::PointsTo::PointsToIterator</a>
278
- , <a class="el" href="classSVF_1_1SingleAbsValue.html#a37ed586cebb42c8c11f48dd28f33894b">SVF::SingleAbsValue</a>
279
269
  , <a class="el" href="classSVF_1_1SparseBitVector_1_1SparseBitVectorIterator.html#ab1f0f55fdfef6b2d64d0a715483f5da4">SVF::SparseBitVector&lt; ElementSize &gt;::SparseBitVectorIterator</a>
280
270
  , <a class="el" href="classSVF_1_1Z3Expr.html#a6732f9ac81422756d10b5fdd6ffaab3e">SVF::Z3Expr</a>
281
271
  </li>
282
272
  <li>operator+()
283
- : <a class="el" href="classSVF_1_1AccessPath.html#a6591b6092a829b0c874754b649087aa2">SVF::AccessPath</a>
273
+ : <a class="el" href="structSVF_1_1AbstractValue.html#ac8c9057acf648c5fcf167e3880257c92">SVF::AbstractValue</a>
274
+ , <a class="el" href="classSVF_1_1AccessPath.html#a6591b6092a829b0c874754b649087aa2">SVF::AccessPath</a>
284
275
  , <a class="el" href="classSVF_1_1BoundedZ3Expr.html#af55de92eb3ca95f812bc3964622319aa">SVF::BoundedZ3Expr</a>
285
276
  , <a class="el" href="classSVF_1_1iter__facade__base.html#aa9d4c4b13e555b7979672c20d9a40a24">SVF::iter_facade_base&lt; DerivedT, IteratorCategoryT, T, DifferenceTypeT, PointerT, ReferenceT &gt;</a>
286
277
  , <a class="el" href="classSVF_1_1NumericLiteral.html#a1a06b5b2e22ba2265d57b6f0c9ed9d84">SVF::NumericLiteral</a>
287
- , <a class="el" href="classSVF_1_1SingleAbsValue.html#aadd133298bbe7c823ad90d0288a73f44">SVF::SingleAbsValue</a>
288
278
  , <a class="el" href="classSVF_1_1Z3Expr.html#af86e0c01602b78f64933b06e43a48e06">SVF::Z3Expr</a>
289
279
  </li>
290
280
  <li>operator++()
@@ -299,12 +289,12 @@ $(function() {
299
289
  <li>operator+=()
300
290
  : <a class="el" href="classSVF_1_1iter__adaptor__base.html#a086291a49b72cd4705eab444a356d340">SVF::iter_adaptor_base&lt; DerivedT, WrappedIteratorT, IteratorCategoryT, T, DifferenceTypeT, PointerT, ReferenceT &gt;</a>
301
291
  </li>
302
- <li>operator-
303
- : <a class="el" href="classSVF_1_1BoundedZ3Expr.html#a7f80f976d048c166b61118a71f307c15">SVF::BoundedZ3Expr</a>
292
+ <li>operator-()
293
+ : <a class="el" href="structSVF_1_1AbstractValue.html#a689e417f12c56169d046d4ba0580c76e">SVF::AbstractValue</a>
294
+ , <a class="el" href="classSVF_1_1BoundedZ3Expr.html#a7f80f976d048c166b61118a71f307c15">SVF::BoundedZ3Expr</a>
304
295
  , <a class="el" href="classSVF_1_1iter__adaptor__base.html#aa870b13f5304a62dfd9f5aa535df3e90">SVF::iter_adaptor_base&lt; DerivedT, WrappedIteratorT, IteratorCategoryT, T, DifferenceTypeT, PointerT, ReferenceT &gt;</a>
305
296
  , <a class="el" href="classSVF_1_1iter__facade__base.html#af12e184fc89401f62c079181ff981475">SVF::iter_facade_base&lt; DerivedT, IteratorCategoryT, T, DifferenceTypeT, PointerT, ReferenceT &gt;</a>
306
297
  , <a class="el" href="classSVF_1_1NumericLiteral.html#aecb4c8bd2c66a906a4b4556c80838d1d">SVF::NumericLiteral</a>
307
- , <a class="el" href="classSVF_1_1SingleAbsValue.html#af84760e6047ee76380c0d092d1e45fca">SVF::SingleAbsValue</a>
308
298
  , <a class="el" href="classSVF_1_1Z3Expr.html#aea407969f346ed1692cac584e9d8d265">SVF::Z3Expr</a>
309
299
  </li>
310
300
  <li>operator--()
@@ -320,20 +310,21 @@ $(function() {
320
310
  : <a class="el" href="classllvm_1_1generic__bridge__gep__type__iterator.html#a7407c9a10bc872bcf03a2a4e67c2c188">llvm::generic_bridge_gep_type_iterator&lt; ItTy &gt;</a>
321
311
  , <a class="el" href="classSVF_1_1iter__facade__base.html#a7a44b9bf5f2a7c367baad3a3066c2b6b">SVF::iter_facade_base&lt; DerivedT, IteratorCategoryT, T, DifferenceTypeT, PointerT, ReferenceT &gt;</a>
322
312
  </li>
323
- <li>operator/
324
- : <a class="el" href="classSVF_1_1BoundedZ3Expr.html#afc5612cec82001939b3b14b0d0b18702">SVF::BoundedZ3Expr</a>
313
+ <li>operator/()
314
+ : <a class="el" href="structSVF_1_1AbstractValue.html#a684696365f2cca2491d09ab6e2f9f091">SVF::AbstractValue</a>
315
+ , <a class="el" href="classSVF_1_1BoundedZ3Expr.html#afc5612cec82001939b3b14b0d0b18702">SVF::BoundedZ3Expr</a>
325
316
  , <a class="el" href="classSVF_1_1NumericLiteral.html#a7b25cbee3dc405cb9c3e16305f263407">SVF::NumericLiteral</a>
326
- , <a class="el" href="classSVF_1_1SingleAbsValue.html#ad13d4fe654afd7ab08d27111b0b732bb">SVF::SingleAbsValue</a>
327
317
  , <a class="el" href="classSVF_1_1Z3Expr.html#a978668e0c0cc3b1fd261e02b5d7d96d4">SVF::Z3Expr</a>
328
318
  </li>
329
319
  <li>operator&lt;()
330
- : <a class="el" href="classSVF_1_1AccessPath.html#ae0f38a5f473af89678db2755667c3421">SVF::AccessPath</a>
320
+ : <a class="el" href="classSVF_1_1AbstractState.html#ae10585f056d3d6f23e3ec7da7fa0f849">SVF::AbstractState</a>
321
+ , <a class="el" href="structSVF_1_1AbstractValue.html#a474f9a805202db9c1c4cab613cc74584">SVF::AbstractValue</a>
322
+ , <a class="el" href="classSVF_1_1AccessPath.html#ae0f38a5f473af89678db2755667c3421">SVF::AccessPath</a>
331
323
  , <a class="el" href="classSVF_1_1BoundedZ3Expr.html#aaf3f27863e2d7776798776e64d72af39">SVF::BoundedZ3Expr</a>
332
324
  , <a class="el" href="classSVF_1_1CallSite.html#ab09ca7986f5b924b6c6b57e492f06c07">SVF::CallSite</a>
333
325
  , <a class="el" href="classSVF_1_1CondPointsToSet.html#a54d9d3f3a38bf4066cd930845f86a63c">SVF::CondPointsToSet&lt; Cond &gt;</a>
334
326
  , <a class="el" href="classSVF_1_1CondStdSet.html#ad3c38bb031419dd583a9cb0314e76afd">SVF::CondStdSet&lt; Element &gt;</a>
335
327
  , <a class="el" href="classSVF_1_1CondVar.html#add10a9d6f6a49cbd5dd0f5d47c423d27">SVF::CondVar&lt; Cond &gt;</a>
336
- , <a class="el" href="classSVF_1_1ConsExeState.html#a312954e26e384366f0ce2e99df918eda">SVF::ConsExeState</a>
337
328
  , <a class="el" href="classSVF_1_1ContextCond.html#a53e0a8ac864e15edf0de827bdbb4eb01">SVF::ContextCond</a>
338
329
  , <a class="el" href="classSVF_1_1CxtDPItem.html#aa2841c6ef632e747357ebcde0118ec49">SVF::CxtDPItem</a>
339
330
  , <a class="el" href="classSVF_1_1CxtProc.html#ab58a8dc44944ac2ab3280562a8306e7b">SVF::CxtProc</a>
@@ -344,30 +335,27 @@ $(function() {
344
335
  , <a class="el" href="classSVF_1_1CxtThreadStmt.html#affaa3bf793e1127a8333b6683ebb3fdd">SVF::CxtThreadStmt</a>
345
336
  , <a class="el" href="classSVF_1_1DPItem.html#a639c757076141a14bedc26c73f875ffe">SVF::DPItem</a>
346
337
  , <a class="el" href="structSVF_1_1GrammarBase_1_1Symbol.html#a065e31f186f058b9339cd4c162cddeb8">SVF::GrammarBase::Symbol</a>
347
- , <a class="el" href="classSVF_1_1IntervalESBase.html#aaafb882ca79738d39697d1461bd2032f">SVF::IntervalESBase</a>
348
- , <a class="el" href="classSVF_1_1IntervalExeState.html#aa4acf1e8ae7571f527047e36b77dfb58">SVF::IntervalExeState</a>
349
338
  , <a class="el" href="classSVF_1_1iter__adaptor__base.html#a0a4477a210b9d5ce260ca3790cfe9779">SVF::iter_adaptor_base&lt; DerivedT, WrappedIteratorT, IteratorCategoryT, T, DifferenceTypeT, PointerT, ReferenceT &gt;</a>
350
339
  , <a class="el" href="classSVF_1_1MSSADEF.html#ad24da3516c198ade16c6909c5222fd0f">SVF::MSSADEF</a>
351
340
  , <a class="el" href="classSVF_1_1MSSAMU.html#a838a4a7cd670eef1153701aef9871bcf">SVF::MSSAMU&lt; Cond &gt;</a>
352
341
  , <a class="el" href="classSVF_1_1NumericLiteral.html#a8f4a1492bdce0c3d04c50c746279272d">SVF::NumericLiteral</a>
353
342
  , <a class="el" href="structSVF_1_1POCRHybridSolver_1_1TreeNode.html#a15adcae81371065435eba8c38e909099">SVF::POCRHybridSolver::TreeNode</a>
354
343
  , <a class="el" href="classSVF_1_1RelExeState.html#ac280dc7a1db7dc80f9c85921215e4c97">SVF::RelExeState</a>
355
- , <a class="el" href="classSVF_1_1SingleAbsValue.html#ac380461334e98c6834ffecdad8c0d620">SVF::SingleAbsValue</a>
344
+ , <a class="el" href="classSVF_1_1SparseAbstractState.html#ab17ee01035dd30f5328848b3cd87a90b">SVF::SparseAbstractState</a>
356
345
  , <a class="el" href="classSVF_1_1StmtDPItem.html#af92976dc7a8785165cefb047e742cdf6">SVF::StmtDPItem&lt; LocCond &gt;</a>
357
346
  , <a class="el" href="classSVF_1_1SVFGNodeLockSpan.html#a6640840300cf03186ceb7a2dbc75e875">SVF::SVFGNodeLockSpan</a>
358
- , <a class="el" href="classSVF_1_1SymState.html#a4867a6662d75a6e3885be8d1fbd9af9f">SVF::SymState</a>
359
347
  , <a class="el" href="classSVF_1_1WTOCycleDepth.html#a44cce3ef52a02cfe8d650e9ce079c210">SVF::WTOCycleDepth&lt; GraphT &gt;</a>
360
348
  , <a class="el" href="classSVF_1_1Z3Expr.html#a9bc83c762453afc4602b1fef8ea8725d">SVF::Z3Expr</a>
361
349
  </li>
362
- <li>operator&lt;&lt;
363
- : <a class="el" href="classSVF_1_1BoundedZ3Expr.html#ab02df1045ee6cfc305c4b7780aeae538">SVF::BoundedZ3Expr</a>
350
+ <li>operator&lt;&lt;()
351
+ : <a class="el" href="structSVF_1_1AbstractValue.html#a22b11b08b20a028fe75606ebf4fe35b0">SVF::AbstractValue</a>
352
+ , <a class="el" href="classSVF_1_1BoundedZ3Expr.html#ab02df1045ee6cfc305c4b7780aeae538">SVF::BoundedZ3Expr</a>
364
353
  , <a class="el" href="classSVF_1_1CondVar.html#a01eb971ccd4ac623fa3cd9bb41cc696d">SVF::CondVar&lt; Cond &gt;</a>
365
354
  , <a class="el" href="classSVF_1_1ICFGEdge.html#abc76af809c5fcd738d2a2d1828e30ccb">SVF::ICFGEdge</a>
366
355
  , <a class="el" href="classSVF_1_1ICFGNode.html#a0c2586e90648aa3bf21aca0ba35a3ebd">SVF::ICFGNode</a>
367
356
  , <a class="el" href="classSVF_1_1NumericLiteral.html#adfd0722351b93c3ab7ffd4147e278f7d">SVF::NumericLiteral</a>
368
357
  , <a class="el" href="classSVF_1_1PTACallGraphEdge.html#a28737afd36ff7c2c6062883b20a572e5">SVF::PTACallGraphEdge</a>
369
358
  , <a class="el" href="classSVF_1_1PTACallGraphNode.html#a340e93b40e7cbf6f0d23df399a9b9fff">SVF::PTACallGraphNode</a>
370
- , <a class="el" href="classSVF_1_1SingleAbsValue.html#a817749cc657573d527c177d42b2f4950">SVF::SingleAbsValue</a>
371
359
  , <a class="el" href="classSVF_1_1SVFStmt.html#a02c04239d33d2334f5835bff50994dba">SVF::SVFStmt</a>
372
360
  , <a class="el" href="classSVF_1_1SVFValue.html#ae37edaf15e8c1fab59c70c86ad29a509">SVF::SVFValue</a>
373
361
  , <a class="el" href="classSVF_1_1SVFVar.html#aeea492411a86c65bcce4a1ef956b3dbe">SVF::SVFVar</a>
@@ -378,16 +366,17 @@ $(function() {
378
366
  , <a class="el" href="classSVF_1_1WTOCycleDepth.html#a6053b66d1350ef6ea9a0c8095869f606">SVF::WTOCycleDepth&lt; GraphT &gt;</a>
379
367
  , <a class="el" href="classSVF_1_1Z3Expr.html#aba8287dde6649b0c039539f71e8a7886">SVF::Z3Expr</a>
380
368
  </li>
381
- <li>operator&lt;=
382
- : <a class="el" href="classSVF_1_1BoundedZ3Expr.html#a97619cb4969f335ac2f234d969884467">SVF::BoundedZ3Expr</a>
369
+ <li>operator&lt;=()
370
+ : <a class="el" href="structSVF_1_1AbstractValue.html#ae30d2645f8f33920adcb8fe2f042d885">SVF::AbstractValue</a>
371
+ , <a class="el" href="classSVF_1_1BoundedZ3Expr.html#a97619cb4969f335ac2f234d969884467">SVF::BoundedZ3Expr</a>
383
372
  , <a class="el" href="classSVF_1_1iter__facade__base.html#adee425f22948da744f8aa100719c83cf">SVF::iter_facade_base&lt; DerivedT, IteratorCategoryT, T, DifferenceTypeT, PointerT, ReferenceT &gt;</a>
384
373
  , <a class="el" href="classSVF_1_1NumericLiteral.html#af40973365cb681abc4cc63c4fb2a6d07">SVF::NumericLiteral</a>
385
- , <a class="el" href="classSVF_1_1SingleAbsValue.html#a999468e7e071876182afc0e8f7ed6fb5">SVF::SingleAbsValue</a>
386
374
  , <a class="el" href="classSVF_1_1WTOCycleDepth.html#a2e3c5007c3348083b51b0a4fa3e843b9">SVF::WTOCycleDepth&lt; GraphT &gt;</a>
387
375
  , <a class="el" href="classSVF_1_1Z3Expr.html#a979529cf9531d2331d02b5db4b27535f">SVF::Z3Expr</a>
388
376
  </li>
389
377
  <li>operator=()
390
- : <a class="el" href="classSVF_1_1AbstractValue.html#afaf73f48b769b40f990418f390dd5eb3">SVF::AbstractValue</a>
378
+ : <a class="el" href="classSVF_1_1AbstractState.html#ae7cf1e64c5d6c04c1c37e0075ab32880">SVF::AbstractState</a>
379
+ , <a class="el" href="structSVF_1_1AbstractValue.html#ad53953330317179a8b5697bff9d83305">SVF::AbstractValue</a>
391
380
  , <a class="el" href="classSVF_1_1AccessPath.html#abfc3dfecd5be261ee39f2443d72c1d07">SVF::AccessPath</a>
392
381
  , <a class="el" href="classSVF_1_1ActualRetVFGNode.html#a4549da69c84064b914e9b4df9350ab6f">SVF::ActualRetVFGNode</a>
393
382
  , <a class="el" href="classSVF_1_1AddrCGEdge.html#a7f2959e08f010e5c30dcb76c6fbf6732">SVF::AddrCGEdge</a>
@@ -407,7 +396,6 @@ $(function() {
407
396
  , <a class="el" href="classSVF_1_1CondPointsToSet.html#a42056d7b29e50a3ed8a8db95674d24b2">SVF::CondPointsToSet&lt; Cond &gt;</a>
408
397
  , <a class="el" href="classSVF_1_1CondStdSet.html#a9fa868a473993d0244431d640799ce98">SVF::CondStdSet&lt; Element &gt;</a>
409
398
  , <a class="el" href="classSVF_1_1CondVar.html#a90d6c2204c92db5c78991e6dfdcc5c80">SVF::CondVar&lt; Cond &gt;</a>
410
- , <a class="el" href="classSVF_1_1ConsExeState.html#a642724fd50872cf54d427f46420bbc70">SVF::ConsExeState</a>
411
399
  , <a class="el" href="classSVF_1_1ContextCond.html#a87e2eff285fee018995be59ff0db4b52">SVF::ContextCond</a>
412
400
  , <a class="el" href="classSVF_1_1CopyCGEdge.html#a50348854a99591726e769078a8d2f703">SVF::CopyCGEdge</a>
413
401
  , <a class="el" href="classSVF_1_1CopyStmt.html#a96205e0ffb3001de306e856090dbf277">SVF::CopyStmt</a>
@@ -422,28 +410,25 @@ $(function() {
422
410
  , <a class="el" href="classSVF_1_1CxtThreadProc.html#a439a27864cb18accba5f8fe706c1e74b">SVF::CxtThreadProc</a>
423
411
  , <a class="el" href="classSVF_1_1CxtThreadStmt.html#a894849e24d01f80463a207e0c8f2548f">SVF::CxtThreadStmt</a>
424
412
  , <a class="el" href="classSVF_1_1DPItem.html#a3010d11982d57284627fc601ede9d811">SVF::DPItem</a>
425
- , <a class="el" href="classSVF_1_1ExeState.html#aebeb2054a8118fd33df9fef31bacda03">SVF::ExeState</a>
426
413
  , <a class="el" href="classSVF_1_1FormalRetVFGNode.html#a599d139a7973dfc09c5db18a60aba3dd">SVF::FormalRetVFGNode</a>
427
414
  , <a class="el" href="classSVF_1_1GepCGEdge.html#ab9b230aa38c6fe45914cfb2c52c70e5b">SVF::GepCGEdge</a>
428
415
  , <a class="el" href="classSVF_1_1GepStmt.html#aad988829009a31f173e3908461e3a7e8">SVF::GepStmt</a>
429
416
  , <a class="el" href="classSVF_1_1GepVFGNode.html#acacfe5f0a9f33dc4ca25e0926d0e7076">SVF::GepVFGNode</a>
430
417
  , <a class="el" href="structSVF_1_1GrammarBase_1_1Symbol.html#a61e31daf8b0bc18d69c3e7f5df1eb181">SVF::GrammarBase::Symbol</a>
431
- , <a class="el" href="classSVF_1_1IntervalESBase.html#a926025a01239d163e59582824ceb0580">SVF::IntervalESBase</a>
432
- , <a class="el" href="classSVF_1_1IntervalExeState.html#a5ca48cf99bb54008d824d8c475c450f7">SVF::IntervalExeState</a>
433
418
  , <a class="el" href="classSVF_1_1IntervalValue.html#a3e10b7d6fd99151cc73b2d942ae75190">SVF::IntervalValue</a>
434
419
  , <a class="el" href="classSVF_1_1LoadCGEdge.html#a079925b497671bd5ef60aae5d64fa443">SVF::LoadCGEdge</a>
435
420
  , <a class="el" href="classSVF_1_1LoadStmt.html#afd0b942170ec3aa8f44a6c5cc422a69d">SVF::LoadStmt</a>
436
421
  , <a class="el" href="classSVF_1_1LoadVFGNode.html#a8e42ee37ececc2391fc4d1ad1c24f13f">SVF::LoadVFGNode</a>
437
422
  , <a class="el" href="classSVF_1_1MultiOpndStmt.html#afbd0d606112605bf355f4a9de6b44406">SVF::MultiOpndStmt</a>
438
423
  , <a class="el" href="classSVF_1_1NormalGepCGEdge.html#a7f3a388e37e497fc5874e9f392901a39">SVF::NormalGepCGEdge</a>
439
- , <a class="el" href="classSVF_1_1NumericLiteral.html#ad58b37aff4db180c548cde777b19ed6a">SVF::NumericLiteral</a>
424
+ , <a class="el" href="classSVF_1_1NumericLiteral.html#aa33eb1c41cb582eb23e2c1d6fceb598d">SVF::NumericLiteral</a>
440
425
  , <a class="el" href="classSVF_1_1PhiStmt.html#a331c7e14409b2d78881a0ec8932c1170">SVF::PhiStmt</a>
441
426
  , <a class="el" href="classSVF_1_1PointsTo.html#a269d334618e4acc7e739317fd58d7fe7">SVF::PointsTo</a>
442
427
  , <a class="el" href="classSVF_1_1PointsTo_1_1PointsToIterator.html#acbbcff746f7f0dc37815e688e9172f21">SVF::PointsTo::PointsToIterator</a>
443
- , <a class="el" href="classSVF_1_1RelExeState.html#a7ab6cb58ed0f95417549b6291f658f86">SVF::RelExeState</a>
428
+ , <a class="el" href="classSVF_1_1RelExeState.html#a1fe9d8a646640f9995d92bf8a577cd20">SVF::RelExeState</a>
444
429
  , <a class="el" href="classSVF_1_1RetPE.html#acb2a5e66fab9f95278c44344d268f465">SVF::RetPE</a>
445
430
  , <a class="el" href="classSVF_1_1SelectStmt.html#ae3dd9ff3908218082b8c71c0ec7ef252">SVF::SelectStmt</a>
446
- , <a class="el" href="classSVF_1_1SingleAbsValue.html#a89a127d236878ac142ce881df41ef793">SVF::SingleAbsValue</a>
431
+ , <a class="el" href="classSVF_1_1SparseAbstractState.html#ae0c2cce46ff47b06b121479cf35a5ce1">SVF::SparseAbstractState</a>
447
432
  , <a class="el" href="classSVF_1_1SparseBitVector.html#adeed46c25650bdbccdef0519906d1030">SVF::SparseBitVector&lt; ElementSize &gt;</a>
448
433
  , <a class="el" href="classSVF_1_1StInfo.html#a00736806c009de53039544cfc85240f1">SVF::StInfo</a>
449
434
  , <a class="el" href="classSVF_1_1StmtDPItem.html#a072da7dc37fd3f9b7a79196394382499">SVF::StmtDPItem&lt; LocCond &gt;</a>
@@ -451,7 +436,6 @@ $(function() {
451
436
  , <a class="el" href="classSVF_1_1StoreStmt.html#abc2f677257ce4656f1da4373d6a016ef">SVF::StoreStmt</a>
452
437
  , <a class="el" href="classSVF_1_1StoreVFGNode.html#a7f4de642d80c7b7335d7bb0c58adc7d4">SVF::StoreVFGNode</a>
453
438
  , <a class="el" href="classSVF_1_1SVFGNodeLockSpan.html#afa2d1f6997dd5f06b4efe75f8145932e">SVF::SVFGNodeLockSpan</a>
454
- , <a class="el" href="classSVF_1_1SymState.html#a91f1ffdd197203bbb109a7853f5df00b">SVF::SymState</a>
455
439
  , <a class="el" href="classSVF_1_1TDForkPE.html#a3c6cc8db894e2c4cb62262fdd556e58f">SVF::TDForkPE</a>
456
440
  , <a class="el" href="classSVF_1_1TDJoinPE.html#a4e4d2ac2888d9e1c02bb62f0a40bd0e2">SVF::TDJoinPE</a>
457
441
  , <a class="el" href="classSVF_1_1UnaryOPStmt.html#a58a341847b24cfaf98ab7e82008bc018">SVF::UnaryOPStmt</a>
@@ -459,21 +443,21 @@ $(function() {
459
443
  , <a class="el" href="classSVF_1_1VariantGepCGEdge.html#a4caf6f4b31b78ca02985fc4722d43522">SVF::VariantGepCGEdge</a>
460
444
  , <a class="el" href="classSVF_1_1WTO.html#acbaef3d6d8053a3b7ab2fa6e7fefacb1">SVF::WTO&lt; GraphT &gt;</a>
461
445
  , <a class="el" href="classSVF_1_1WTOComponent.html#acc32a8927ef0213dbd383f3da3f0fe29">SVF::WTOComponent&lt; GraphT &gt;</a>
462
- , <a class="el" href="classSVF_1_1WTOComponentVisitor.html#a2f5ba04581b5771dd083aa799329e43b">SVF::WTOComponentVisitor&lt; GraphT &gt;</a>
446
+ , <a class="el" href="classSVF_1_1WTOComponentVisitor.html#a54c888711f890d9dd691d0c4c81901c9">SVF::WTOComponentVisitor&lt; GraphT &gt;</a>
463
447
  , <a class="el" href="classSVF_1_1WTOCycleDepth.html#aeca7ef6c7cca3533d72fc8d6a5d9337c">SVF::WTOCycleDepth&lt; GraphT &gt;</a>
464
448
  , <a class="el" href="classSVF_1_1Z3Expr.html#a3bd99446d5e56e704d812bd0d1f36a85">SVF::Z3Expr</a>
465
449
  </li>
466
450
  <li>operator==()
467
451
  : <a class="el" href="classllvm_1_1generic__bridge__gep__type__iterator.html#a1f0e8716ad7ff580240f81db1228a690">llvm::generic_bridge_gep_type_iterator&lt; ItTy &gt;</a>
452
+ , <a class="el" href="classSVF_1_1AbstractState.html#ac41c5f3e8b8820c796f84e8fbb36a283">SVF::AbstractState</a>
453
+ , <a class="el" href="structSVF_1_1AbstractValue.html#aec0cdd556358fc4257df89fd234b29a7">SVF::AbstractValue</a>
468
454
  , <a class="el" href="classSVF_1_1AccessPath.html#a9a21ba7604bc851f743250c9bd6afe35">SVF::AccessPath</a>
469
- , <a class="el" href="classSVF_1_1AddressValue.html#a8dd76412c39640fa71f9512b0136e30f">SVF::AddressValue</a>
470
455
  , <a class="el" href="classSVF_1_1BoundedZ3Expr.html#a98662c8823a81602fb00cb2be74b578d">SVF::BoundedZ3Expr</a>
471
456
  , <a class="el" href="classSVF_1_1CallSite.html#aa9b62205a5b63384042d9431a01f03ec">SVF::CallSite</a>
472
457
  , <a class="el" href="classSVF_1_1CondPointsToSet_1_1CondPtsSetIterator.html#ab069959f9b4b2a0e1441281acb666a60">SVF::CondPointsToSet&lt; Cond &gt;::CondPtsSetIterator</a>
473
458
  , <a class="el" href="classSVF_1_1CondPointsToSet.html#abe02e0bdcfddde7251b7d35e916c8f02">SVF::CondPointsToSet&lt; Cond &gt;</a>
474
459
  , <a class="el" href="classSVF_1_1CondStdSet.html#a6697d9c3d1107db2be430b8e8b670cb5">SVF::CondStdSet&lt; Element &gt;</a>
475
460
  , <a class="el" href="classSVF_1_1CondVar.html#a7faf827845c5e820f1b63ce6523bc2a9">SVF::CondVar&lt; Cond &gt;</a>
476
- , <a class="el" href="classSVF_1_1ConsExeState.html#ae708165c762328232dab128e27a62f30">SVF::ConsExeState</a>
477
461
  , <a class="el" href="classSVF_1_1ContextCond.html#a69b8789b4815f2958afe67028640bfc5">SVF::ContextCond</a>
478
462
  , <a class="el" href="classSVF_1_1CoreBitVector_1_1CoreBitVectorIterator.html#a7278c27a0ab2096b29a537a8afe0be5e">SVF::CoreBitVector::CoreBitVectorIterator</a>
479
463
  , <a class="el" href="classSVF_1_1CoreBitVector.html#a0ddd7fc5e043d36f3c62c2fb93b22684">SVF::CoreBitVector</a>
@@ -485,11 +469,8 @@ $(function() {
485
469
  , <a class="el" href="classSVF_1_1CxtThreadProc.html#aef53ca59b8cbd614b28350d12113e3c4">SVF::CxtThreadProc</a>
486
470
  , <a class="el" href="classSVF_1_1CxtThreadStmt.html#af8f221ea17599dfb678922e1bad37f35">SVF::CxtThreadStmt</a>
487
471
  , <a class="el" href="classSVF_1_1DPItem.html#ad67fcd340351360555b0cb88f57b183a">SVF::DPItem</a>
488
- , <a class="el" href="classSVF_1_1ExeState.html#a0e4c8a41aa861ff2862d8b620c902f21">SVF::ExeState</a>
489
472
  , <a class="el" href="classSVF_1_1GenericEdge.html#a0e461644bf9a4e50099b38f09222e858">SVF::GenericEdge&lt; NodeTy &gt;</a>
490
- , <a class="el" href="structSVF_1_1GrammarBase_1_1Symbol.html#a09f8568b3cdca65069b38879cfe57a53">SVF::GrammarBase::Symbol</a>
491
- , <a class="el" href="classSVF_1_1IntervalESBase.html#a6f6ba2a615f1227cf8397345d1d0f25d">SVF::IntervalESBase</a>
492
- , <a class="el" href="classSVF_1_1IntervalExeState.html#a92b846d3cd77ab12a35cb81815e22ee3">SVF::IntervalExeState</a>
473
+ , <a class="el" href="structSVF_1_1GrammarBase_1_1Symbol.html#ab888c449c25947a0082ca0e7136ef1e9">SVF::GrammarBase::Symbol</a>
493
474
  , <a class="el" href="classSVF_1_1IntervalValue.html#a3ac2a92a9d67dec907fa7ae4181dc171">SVF::IntervalValue</a>
494
475
  , <a class="el" href="classSVF_1_1iter__adaptor__base.html#a0cfce21cb7aa24062dd921a9a5bace3a">SVF::iter_adaptor_base&lt; DerivedT, WrappedIteratorT, IteratorCategoryT, T, DifferenceTypeT, PointerT, ReferenceT &gt;</a>
495
476
  , <a class="el" href="classSVF_1_1MemObj.html#a1a8601b72b6e6df211db1fffdd54c48b">SVF::MemObj</a>
@@ -499,56 +480,55 @@ $(function() {
499
480
  , <a class="el" href="classSVF_1_1PointsTo.html#a6b29626e4e4298943d2ad839f06db83e">SVF::PointsTo</a>
500
481
  , <a class="el" href="classSVF_1_1PointsTo_1_1PointsToIterator.html#aef4e1b40faa327f8bbf42a82df29c7b4">SVF::PointsTo::PointsToIterator</a>
501
482
  , <a class="el" href="classSVF_1_1RelExeState.html#ac07371e3f4f62530088cd8e6b5f0ba4e">SVF::RelExeState</a>
502
- , <a class="el" href="classSVF_1_1SingleAbsValue.html#a3f5221ce5f81dbed135b3d4745d4493e">SVF::SingleAbsValue</a>
483
+ , <a class="el" href="classSVF_1_1SparseAbstractState.html#a572350a253fe7411712889b6385dcb08">SVF::SparseAbstractState</a>
503
484
  , <a class="el" href="classSVF_1_1SparseBitVector.html#a816d96bad46fde34b3848bf08dc6cdf5">SVF::SparseBitVector&lt; ElementSize &gt;</a>
504
485
  , <a class="el" href="classSVF_1_1SparseBitVector_1_1SparseBitVectorIterator.html#a7fc92990c6a09c33c3676ab47807bc68">SVF::SparseBitVector&lt; ElementSize &gt;::SparseBitVectorIterator</a>
505
486
  , <a class="el" href="structSVF_1_1SparseBitVectorElement.html#a8484d923c29872843b0d0ffcebf4d112">SVF::SparseBitVectorElement&lt; ElementSize &gt;</a>
506
487
  , <a class="el" href="classSVF_1_1StmtDPItem.html#afd63ae0d881101d6c61709b9ac25dbf8">SVF::StmtDPItem&lt; LocCond &gt;</a>
507
488
  , <a class="el" href="classSVF_1_1SVFGNodeLockSpan.html#a880f9eec9d0c4835b7a524eeb801396d">SVF::SVFGNodeLockSpan</a>
508
- , <a class="el" href="classSVF_1_1SymState.html#af407d32bb8d293d43172a4ff450895e6">SVF::SymState</a>
509
489
  , <a class="el" href="classSVF_1_1WTOCycleDepth.html#a4779ba4cfc8a0ae23d27ef9d2f3987d0">SVF::WTOCycleDepth&lt; GraphT &gt;</a>
510
490
  , <a class="el" href="classSVF_1_1Z3Expr.html#a900309288fa5d43376d80e414f85dc45">SVF::Z3Expr</a>
511
491
  </li>
512
- <li>operator&gt;
513
- : <a class="el" href="classSVF_1_1BoundedZ3Expr.html#a86c18d9a2d9250690d7e988f7bb0a8b9">SVF::BoundedZ3Expr</a>
492
+ <li>operator&gt;()
493
+ : <a class="el" href="structSVF_1_1AbstractValue.html#a210877b0f87109b127332b9949df15f5">SVF::AbstractValue</a>
494
+ , <a class="el" href="classSVF_1_1BoundedZ3Expr.html#a86c18d9a2d9250690d7e988f7bb0a8b9">SVF::BoundedZ3Expr</a>
514
495
  , <a class="el" href="classSVF_1_1iter__facade__base.html#a5358c586434e85a8d0989b7d319def2f">SVF::iter_facade_base&lt; DerivedT, IteratorCategoryT, T, DifferenceTypeT, PointerT, ReferenceT &gt;</a>
515
496
  , <a class="el" href="classSVF_1_1NumericLiteral.html#ad99ed283f2b7875f13aea347fa2c8b54">SVF::NumericLiteral</a>
516
- , <a class="el" href="classSVF_1_1SingleAbsValue.html#affc856ad42b2ebd5ee0adc28542d25e4">SVF::SingleAbsValue</a>
517
497
  , <a class="el" href="classSVF_1_1WTOCycleDepth.html#a8ca19a3f2f7e79c20c4a4f98897470c7">SVF::WTOCycleDepth&lt; GraphT &gt;</a>
518
498
  , <a class="el" href="classSVF_1_1Z3Expr.html#a20cbf950bacc51e56c74918af268ed76">SVF::Z3Expr</a>
519
499
  </li>
520
- <li>operator&gt;=
521
- : <a class="el" href="classSVF_1_1BoundedZ3Expr.html#ac284f14cea9ceff9ee9e49cf7a2b6366">SVF::BoundedZ3Expr</a>
522
- , <a class="el" href="classSVF_1_1IntervalESBase.html#a8722234ba6bea5223e79174ff1d095c7">SVF::IntervalESBase</a>
523
- , <a class="el" href="classSVF_1_1IntervalExeState.html#a637a9c0f06b57e16a7f1afdd25df897f">SVF::IntervalExeState</a>
500
+ <li>operator&gt;=()
501
+ : <a class="el" href="classSVF_1_1AbstractState.html#a1be4db45d0af58508921bc2efddcb586">SVF::AbstractState</a>
502
+ , <a class="el" href="structSVF_1_1AbstractValue.html#a2a62a5ab23b7e27b41a64ebad3377a76">SVF::AbstractValue</a>
503
+ , <a class="el" href="classSVF_1_1BoundedZ3Expr.html#ac284f14cea9ceff9ee9e49cf7a2b6366">SVF::BoundedZ3Expr</a>
524
504
  , <a class="el" href="classSVF_1_1iter__facade__base.html#ab5d48611f6ef4aac65614576ab17b2e6">SVF::iter_facade_base&lt; DerivedT, IteratorCategoryT, T, DifferenceTypeT, PointerT, ReferenceT &gt;</a>
525
505
  , <a class="el" href="classSVF_1_1NumericLiteral.html#ab0cb27a9c31ce20500babb0dff9b87bf">SVF::NumericLiteral</a>
526
- , <a class="el" href="classSVF_1_1SingleAbsValue.html#ab6dbdbac2c0552901d621c86603ced2a">SVF::SingleAbsValue</a>
506
+ , <a class="el" href="classSVF_1_1SparseAbstractState.html#a809b05767f793646ddb0b40661374d61">SVF::SparseAbstractState</a>
527
507
  , <a class="el" href="classSVF_1_1WTOCycleDepth.html#a0aa519ff93cdab15f9324c6b05df8e47">SVF::WTOCycleDepth&lt; GraphT &gt;</a>
528
508
  , <a class="el" href="classSVF_1_1Z3Expr.html#a707735e67c852191e4e2a689a1a84858">SVF::Z3Expr</a>
529
509
  </li>
530
- <li>operator&gt;&gt;
531
- : <a class="el" href="classSVF_1_1NumericLiteral.html#a5b421ff78df11b84654155dc88bb5516">SVF::NumericLiteral</a>
510
+ <li>operator&gt;&gt;()
511
+ : <a class="el" href="structSVF_1_1AbstractValue.html#a64eb3362faa832b5d2ee2730e3fb886b">SVF::AbstractValue</a>
512
+ , <a class="el" href="classSVF_1_1NumericLiteral.html#a5b421ff78df11b84654155dc88bb5516">SVF::NumericLiteral</a>
532
513
  </li>
533
514
  <li>operator[]()
534
- : <a class="el" href="classSVF_1_1ConsExeState.html#a22e7ec17139695a1ae73bd058aa78e36">SVF::ConsExeState</a>
515
+ : <a class="el" href="classSVF_1_1AbstractState.html#ac4f511baa4ca9ecc1d6a3defae194ac5">SVF::AbstractState</a>
535
516
  , <a class="el" href="classSVF_1_1ContextCond.html#a62cc1c7c01d454e9cbebd3f7f5f3aa1f">SVF::ContextCond</a>
536
- , <a class="el" href="classSVF_1_1IntervalESBase.html#af00c9267eb35bf16c88e321ca3009151">SVF::IntervalESBase</a>
537
- , <a class="el" href="classSVF_1_1IntervalExeState.html#a2f39e01a347d10b2992a46e5cc52ab77">SVF::IntervalExeState</a>
538
- , <a class="el" href="classSVF_1_1iter__facade__base.html#aaf17d10058d2e8983e4e7d1559966b80">SVF::iter_facade_base&lt; DerivedT, IteratorCategoryT, T, DifferenceTypeT, PointerT, ReferenceT &gt;</a>
517
+ , <a class="el" href="classSVF_1_1iter__facade__base.html#a0ebfb2b2165a04b53d6813badb14dc25">SVF::iter_facade_base&lt; DerivedT, IteratorCategoryT, T, DifferenceTypeT, PointerT, ReferenceT &gt;</a>
539
518
  , <a class="el" href="classSVF_1_1RelExeState.html#a8cb105e01839b136618103a3710d9d86">SVF::RelExeState</a>
519
+ , <a class="el" href="classSVF_1_1SparseAbstractState.html#a125aed6fba9f44fba06229b97784fd5c">SVF::SparseAbstractState</a>
540
520
  </li>
541
- <li>operator^
542
- : <a class="el" href="classSVF_1_1BoundedZ3Expr.html#a2442520c94777a402b1d35c112964071">SVF::BoundedZ3Expr</a>
521
+ <li>operator^()
522
+ : <a class="el" href="structSVF_1_1AbstractValue.html#a53f92441803c528a23d637dcd6501dee">SVF::AbstractValue</a>
523
+ , <a class="el" href="classSVF_1_1BoundedZ3Expr.html#a2442520c94777a402b1d35c112964071">SVF::BoundedZ3Expr</a>
543
524
  , <a class="el" href="classSVF_1_1NumericLiteral.html#aa4b036114c2980f578c359fff6f4e604">SVF::NumericLiteral</a>
544
- , <a class="el" href="classSVF_1_1SingleAbsValue.html#adff66a9b6bb69424cef4894f7b75d958">SVF::SingleAbsValue</a>
545
525
  , <a class="el" href="classSVF_1_1WTOCycleDepth.html#ad4171d23b56c5402687bac3febb4b233">SVF::WTOCycleDepth&lt; GraphT &gt;</a>
546
526
  , <a class="el" href="classSVF_1_1Z3Expr.html#ae6419d6772044a2db7faf0ea0b848d12">SVF::Z3Expr</a>
547
527
  </li>
548
- <li>operator|
549
- : <a class="el" href="classSVF_1_1BoundedZ3Expr.html#aa8bc79a4735a44f6f59085df3a9d636c">SVF::BoundedZ3Expr</a>
528
+ <li>operator|()
529
+ : <a class="el" href="structSVF_1_1AbstractValue.html#a5ab2a6ac2824c97d40cdb589680504ff">SVF::AbstractValue</a>
530
+ , <a class="el" href="classSVF_1_1BoundedZ3Expr.html#aa8bc79a4735a44f6f59085df3a9d636c">SVF::BoundedZ3Expr</a>
550
531
  , <a class="el" href="classSVF_1_1NumericLiteral.html#a24e0085eb116dfcf0744af5531dbaf05">SVF::NumericLiteral</a>
551
- , <a class="el" href="classSVF_1_1SingleAbsValue.html#a9e181a02c4bd3f622bde912914b64715">SVF::SingleAbsValue</a>
552
532
  , <a class="el" href="classSVF_1_1Z3Expr.html#a1f29d0ff58e6969e394f5b06017138de">SVF::Z3Expr</a>
553
533
  </li>
554
534
  <li>operator|=()
@@ -561,7 +541,6 @@ $(function() {
561
541
  <li>operator||
562
542
  : <a class="el" href="classSVF_1_1BoundedZ3Expr.html#a660b38aa9458137fad4dde4224f6ab63">SVF::BoundedZ3Expr</a>
563
543
  , <a class="el" href="classSVF_1_1NumericLiteral.html#ab5decc89d3b8a4f5a171b8a01a1afef8">SVF::NumericLiteral</a>
564
- , <a class="el" href="classSVF_1_1SingleAbsValue.html#a11daa7e49c0a3b813e6f362c518ba8b0">SVF::SingleAbsValue</a>
565
544
  , <a class="el" href="classSVF_1_1Z3Expr.html#a31327900a231526ff8f62be87c5f309d">SVF::Z3Expr</a>
566
545
  </li>
567
546
  <li>opICFGNodes
@@ -570,12 +549,12 @@ $(function() {
570
549
  <li>OpICFGNodeVec
571
550
  : <a class="el" href="classSVF_1_1PhiStmt.html#a49d49b191592f21e8e4e8b6676871423">SVF::PhiStmt</a>
572
551
  </li>
573
- <li>OPIncomingBBs
574
- : <a class="el" href="classSVF_1_1IntraPHIVFGNode.html#a66928f6cc755bd2a048804d00f859a80">SVF::IntraPHIVFGNode</a>
575
- </li>
576
552
  <li>opIncomingBBs
577
553
  : <a class="el" href="classSVF_1_1IntraPHIVFGNode.html#a73f39a488ad82300010abd18afe247a4">SVF::IntraPHIVFGNode</a>
578
554
  </li>
555
+ <li>OPIncomingBBs
556
+ : <a class="el" href="classSVF_1_1IntraPHIVFGNode.html#a66928f6cc755bd2a048804d00f859a80">SVF::IntraPHIVFGNode</a>
557
+ </li>
579
558
  <li>OpIt
580
559
  : <a class="el" href="classllvm_1_1generic__bridge__gep__type__iterator.html#aa3fd4dca27e09df9ee726879624ae47e">llvm::generic_bridge_gep_type_iterator&lt; ItTy &gt;</a>
581
560
  </li>
@@ -586,7 +565,7 @@ $(function() {
586
565
  : <a class="el" href="classOption.html#a62e78ab5e41cc3ba467c07c014f410e5">Option&lt; T &gt;</a>
587
566
  </li>
588
567
  <li>OptionBase()
589
- : <a class="el" href="classOptionBase.html#ae99500409f218ce63d4dbce537884c7f">OptionBase</a>
568
+ : <a class="el" href="classOptionBase.html#a3a30161a89e5dd22b3501b6a7de3eab4">OptionBase</a>
590
569
  </li>
591
570
  <li>OptionMap()
592
571
  : <a class="el" href="classOptionMap.html#aa01d9dfa4aa1808c6d23fa900bbfc77c">OptionMap&lt; T &gt;</a>
@@ -656,21 +635,23 @@ $(function() {
656
635
  </li>
657
636
  <li>opVers
658
637
  : <a class="el" href="classSVF_1_1MSSAPHI.html#abdabd6dff67cd59622f18d48e8b34271">SVF::MSSAPHI&lt; Cond &gt;</a>
659
- , <a class="el" href="classSVF_1_1MSSAPHISVFGNode.html#a9c327923ab939e06877441ebde5c1139">SVF::MSSAPHISVFGNode</a>
660
638
  </li>
661
639
  <li>OPVers
662
640
  : <a class="el" href="classSVF_1_1MSSAPHISVFGNode.html#a300f37203eb84fc57e005c27ce0422fb">SVF::MSSAPHISVFGNode</a>
663
- , <a class="el" href="classSVF_1_1PHIVFGNode.html#a44ba5254e5f4def007c99916cd58668c">SVF::PHIVFGNode</a>
664
641
  </li>
665
642
  <li>opVers
666
- : <a class="el" href="classSVF_1_1PHIVFGNode.html#a08ccd55d0fb6ce33f69959349008daca">SVF::PHIVFGNode</a>
643
+ : <a class="el" href="classSVF_1_1MSSAPHISVFGNode.html#a9c327923ab939e06877441ebde5c1139">SVF::MSSAPHISVFGNode</a>
644
+ , <a class="el" href="classSVF_1_1PHIVFGNode.html#a08ccd55d0fb6ce33f69959349008daca">SVF::PHIVFGNode</a>
667
645
  </li>
668
646
  <li>OPVers
669
- : <a class="el" href="classSVF_1_1UnaryOPVFGNode.html#af96b598342bbcbcd739e2603acfc5a41">SVF::UnaryOPVFGNode</a>
647
+ : <a class="el" href="classSVF_1_1PHIVFGNode.html#a44ba5254e5f4def007c99916cd58668c">SVF::PHIVFGNode</a>
670
648
  </li>
671
649
  <li>opVers
672
650
  : <a class="el" href="classSVF_1_1UnaryOPVFGNode.html#ae6fdb5759a0dfeb0635ffd758b752dc1">SVF::UnaryOPVFGNode</a>
673
651
  </li>
652
+ <li>OPVers
653
+ : <a class="el" href="classSVF_1_1UnaryOPVFGNode.html#af96b598342bbcbcd739e2603acfc5a41">SVF::UnaryOPVFGNode</a>
654
+ </li>
674
655
  <li>Or
675
656
  : <a class="el" href="classSVF_1_1BinaryOPStmt.html#a2f647224242dd87099104e0fdc994de6a90745e5effc8b7ef43c693d1e4fa7dbe">SVF::BinaryOPStmt</a>
676
657
  </li>
@@ -696,10 +677,10 @@ $(function() {
696
677
  : <a class="el" href="classSVF_1_1CFLNode.html#a47eba9df9dc664e56631ecc9b6146b33">SVF::CFLNode</a>
697
678
  </li>
698
679
  <li>OutEdgeBegin()
699
- : <a class="el" href="classSVF_1_1GenericNode.html#a50219c203fb5a8a44fe22428699f26e7">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a>
680
+ : <a class="el" href="classSVF_1_1GenericNode.html#aa4f103330118c8976bf95e4bf53416eb">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a>
700
681
  </li>
701
682
  <li>OutEdgeEnd()
702
- : <a class="el" href="classSVF_1_1GenericNode.html#ace88b6c7561f61f747ff08f61e2c18bc">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a>
683
+ : <a class="el" href="classSVF_1_1GenericNode.html#a19a3366fd8a58290d0c740c46c3dcb3d">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a>
703
684
  </li>
704
685
  <li>OutEdgeKindToSetMap
705
686
  : <a class="el" href="classSVF_1_1SVFVar.html#a3775dd07e89ea6b25950a8b900a4ceab">SVF::SVFVar</a>