svf-tools 1.0.855 → 1.0.857

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 (502) hide show
  1. package/SVF-doxygen/html/AndersenPWC_8h_source.html +4 -4
  2. package/SVF-doxygen/html/AndersenSCD_8cpp_source.html +2 -2
  3. package/SVF-doxygen/html/AndersenStat_8cpp_source.html +154 -163
  4. package/SVF-doxygen/html/Andersen_8cpp_source.html +2 -2
  5. package/SVF-doxygen/html/Andersen_8h_source.html +13 -13
  6. package/SVF-doxygen/html/CFBasicBlockGWTO_8h.html +109 -0
  7. package/SVF-doxygen/html/CFBasicBlockGWTO_8h_source.html +185 -0
  8. package/SVF-doxygen/html/CFLAlias_8cpp_source.html +2 -2
  9. package/SVF-doxygen/html/CFLAlias_8h_source.html +4 -4
  10. package/SVF-doxygen/html/CFLBase_8cpp_source.html +1 -1
  11. package/SVF-doxygen/html/CFLBase_8h_source.html +1 -1
  12. package/SVF-doxygen/html/CFLSVFGBuilder_8cpp_source.html +2 -2
  13. package/SVF-doxygen/html/CFLStat_8cpp_source.html +2 -2
  14. package/SVF-doxygen/html/CFLVF_8h_source.html +2 -2
  15. package/SVF-doxygen/html/CSC_8h.html +3 -3
  16. package/SVF-doxygen/html/CSC_8h_source.html +5 -5
  17. package/SVF-doxygen/html/ConsGNode_8h_source.html +4 -4
  18. package/SVF-doxygen/html/ContextDDA_8cpp_source.html +14 -14
  19. package/SVF-doxygen/html/ContextDDA_8h_source.html +6 -6
  20. package/SVF-doxygen/html/DDAClient_8cpp_source.html +5 -5
  21. package/SVF-doxygen/html/DDAClient_8h_source.html +1 -1
  22. package/SVF-doxygen/html/DDAPass_8cpp_source.html +7 -7
  23. package/SVF-doxygen/html/DDAPass_8h.html +3 -3
  24. package/SVF-doxygen/html/DDAPass_8h_source.html +4 -4
  25. package/SVF-doxygen/html/DDAStat_8cpp_source.html +10 -10
  26. package/SVF-doxygen/html/DDAStat_8h_source.html +1 -1
  27. package/SVF-doxygen/html/DDAVFSolver_8h.html +2 -2
  28. package/SVF-doxygen/html/DDAVFSolver_8h_source.html +5 -5
  29. package/SVF-doxygen/html/FSMPTA_8cpp_source.html +2 -2
  30. package/SVF-doxygen/html/FSMPTA_8h_source.html +5 -5
  31. package/SVF-doxygen/html/FlowDDA_8h_source.html +11 -11
  32. package/SVF-doxygen/html/FlowSensitiveStat_8cpp_source.html +236 -238
  33. package/SVF-doxygen/html/FlowSensitive_8cpp_source.html +3 -3
  34. package/SVF-doxygen/html/FlowSensitive_8h_source.html +7 -7
  35. package/SVF-doxygen/html/ICFGStat_8h_source.html +1 -1
  36. package/SVF-doxygen/html/ICFGWTO_8h.html +109 -0
  37. package/SVF-doxygen/html/ICFGWTO_8h_source.html +177 -0
  38. package/SVF-doxygen/html/LLVMModule_8cpp_source.html +2 -2
  39. package/SVF-doxygen/html/MTAAnnotator_8cpp_source.html +2 -2
  40. package/SVF-doxygen/html/MTAAnnotator_8h_source.html +1 -1
  41. package/SVF-doxygen/html/MTAStat_8cpp_source.html +3 -3
  42. package/SVF-doxygen/html/MTA_8cpp_source.html +3 -3
  43. package/SVF-doxygen/html/MemRegion_8cpp_source.html +3 -3
  44. package/SVF-doxygen/html/MemRegion_8h.html +3 -3
  45. package/SVF-doxygen/html/MemRegion_8h_source.html +4 -4
  46. package/SVF-doxygen/html/MemSSA_8cpp_source.html +1 -1
  47. package/SVF-doxygen/html/Options_8cpp_source.html +10 -10
  48. package/SVF-doxygen/html/PCG_8h_source.html +4 -4
  49. package/SVF-doxygen/html/PTAStat_8cpp_source.html +99 -87
  50. package/SVF-doxygen/html/PTAStat_8h_source.html +2 -2
  51. package/SVF-doxygen/html/PointerAnalysisImpl_8cpp_source.html +30 -30
  52. package/SVF-doxygen/html/PointerAnalysisImpl_8h_source.html +15 -15
  53. package/SVF-doxygen/html/PointerAnalysis_8cpp_source.html +42 -42
  54. package/SVF-doxygen/html/PointerAnalysis_8h.html +5 -5
  55. package/SVF-doxygen/html/PointerAnalysis_8h_source.html +409 -418
  56. package/SVF-doxygen/html/SCC_8h.html +2 -2
  57. package/SVF-doxygen/html/SCC_8h_source.html +2 -2
  58. package/SVF-doxygen/html/SVFGBuilder_8h_source.html +3 -3
  59. package/SVF-doxygen/html/SVFGStat_8cpp_source.html +16 -19
  60. package/SVF-doxygen/html/SVFGStat_8h.html +1 -1
  61. package/SVF-doxygen/html/SVFGStat_8h_source.html +3 -3
  62. package/SVF-doxygen/html/SVFG_8h_source.html +1 -1
  63. package/SVF-doxygen/html/SVFStat_8cpp_source.html +196 -186
  64. package/SVF-doxygen/html/SVFStat_8h_source.html +44 -41
  65. package/SVF-doxygen/html/SaberSVFGBuilder_8cpp_source.html +5 -5
  66. package/SVF-doxygen/html/SrcSnkDDA_8cpp_source.html +1 -1
  67. package/SVF-doxygen/html/Steensgaard_8cpp_source.html +2 -2
  68. package/SVF-doxygen/html/Steensgaard_8h_source.html +4 -4
  69. package/SVF-doxygen/html/TCT_8h.html +2 -2
  70. package/SVF-doxygen/html/TCT_8h_source.html +9 -9
  71. package/SVF-doxygen/html/ThreadCallGraph_8cpp_source.html +3 -3
  72. package/SVF-doxygen/html/ThreadCallGraph_8h_source.html +1 -1
  73. package/SVF-doxygen/html/TypeAnalysis_8cpp_source.html +3 -3
  74. package/SVF-doxygen/html/TypeAnalysis_8h_source.html +6 -6
  75. package/SVF-doxygen/html/VFG_8cpp_source.html +3 -3
  76. package/SVF-doxygen/html/VFG_8h_source.html +1 -1
  77. package/SVF-doxygen/html/VersionedFlowSensitiveStat_8cpp_source.html +77 -79
  78. package/SVF-doxygen/html/VersionedFlowSensitive_8cpp_source.html +6 -6
  79. package/SVF-doxygen/html/VersionedFlowSensitive_8h_source.html +4 -4
  80. package/SVF-doxygen/html/WPAPass_8cpp_source.html +12 -12
  81. package/SVF-doxygen/html/WPAPass_8h_source.html +1 -1
  82. package/SVF-doxygen/html/WPAStat_8h_source.html +9 -9
  83. package/SVF-doxygen/html/WTO_8h.html +25 -13
  84. package/SVF-doxygen/html/WTO_8h_source.html +794 -853
  85. package/SVF-doxygen/html/annotated.html +402 -397
  86. package/SVF-doxygen/html/classSVF_1_1Andersen-members.html +121 -123
  87. package/SVF-doxygen/html/classSVF_1_1Andersen.html +11 -17
  88. package/SVF-doxygen/html/classSVF_1_1AndersenBase-members.html +100 -102
  89. package/SVF-doxygen/html/classSVF_1_1AndersenBase.html +11 -17
  90. package/SVF-doxygen/html/classSVF_1_1AndersenSCD-members.html +124 -126
  91. package/SVF-doxygen/html/classSVF_1_1AndersenSCD.html +2 -8
  92. package/SVF-doxygen/html/classSVF_1_1AndersenSFR-members.html +129 -131
  93. package/SVF-doxygen/html/classSVF_1_1AndersenSFR.html +1 -7
  94. package/SVF-doxygen/html/classSVF_1_1AndersenStat-members.html +21 -20
  95. package/SVF-doxygen/html/classSVF_1_1AndersenStat.html +155 -161
  96. package/SVF-doxygen/html/classSVF_1_1AndersenWaveDiff-members.html +122 -124
  97. package/SVF-doxygen/html/classSVF_1_1AndersenWaveDiff.html +2 -8
  98. package/SVF-doxygen/html/classSVF_1_1BVDataPTAImpl-members.html +58 -60
  99. package/SVF-doxygen/html/classSVF_1_1BVDataPTAImpl.html +26 -32
  100. package/SVF-doxygen/html/classSVF_1_1CFBasicBlockGWTO-members.html +57 -50
  101. package/SVF-doxygen/html/classSVF_1_1CFBasicBlockGWTO.html +203 -1663
  102. package/SVF-doxygen/html/classSVF_1_1CFBasicBlockGWTO.png +0 -0
  103. package/SVF-doxygen/html/classSVF_1_1CFLAlias-members.html +78 -80
  104. package/SVF-doxygen/html/classSVF_1_1CFLAlias.html +4 -10
  105. package/SVF-doxygen/html/classSVF_1_1CFLBase-members.html +75 -77
  106. package/SVF-doxygen/html/classSVF_1_1CFLBase.html +1 -7
  107. package/SVF-doxygen/html/classSVF_1_1CFLSVFGBuilder.html +2 -2
  108. package/SVF-doxygen/html/classSVF_1_1CFLStat-members.html +19 -18
  109. package/SVF-doxygen/html/classSVF_1_1CFLStat.html +5 -2
  110. package/SVF-doxygen/html/classSVF_1_1CFLVF-members.html +77 -79
  111. package/SVF-doxygen/html/classSVF_1_1CFLVF.html +2 -8
  112. package/SVF-doxygen/html/classSVF_1_1CondPTAImpl-members.html +50 -52
  113. package/SVF-doxygen/html/classSVF_1_1CondPTAImpl.html +9 -15
  114. package/SVF-doxygen/html/classSVF_1_1ConstraintNode-members.html +34 -34
  115. package/SVF-doxygen/html/classSVF_1_1ConstraintNode.html +25 -65
  116. package/SVF-doxygen/html/classSVF_1_1ContextDDA-members.html +97 -99
  117. package/SVF-doxygen/html/classSVF_1_1ContextDDA.html +18 -24
  118. package/SVF-doxygen/html/classSVF_1_1DDAClient.html +3 -3
  119. package/SVF-doxygen/html/classSVF_1_1DDAPass.html +6 -6
  120. package/SVF-doxygen/html/classSVF_1_1DDAStat-members.html +18 -17
  121. package/SVF-doxygen/html/classSVF_1_1DDAStat.html +12 -9
  122. package/SVF-doxygen/html/classSVF_1_1DDAVFSolver.html +1 -1
  123. package/SVF-doxygen/html/classSVF_1_1FSMPTA-members.html +140 -142
  124. package/SVF-doxygen/html/classSVF_1_1FSMPTA.html +2 -8
  125. package/SVF-doxygen/html/classSVF_1_1FlowDDA-members.html +102 -104
  126. package/SVF-doxygen/html/classSVF_1_1FlowDDA.html +15 -21
  127. package/SVF-doxygen/html/classSVF_1_1FlowSensitive-members.html +133 -135
  128. package/SVF-doxygen/html/classSVF_1_1FlowSensitive.html +18 -24
  129. package/SVF-doxygen/html/classSVF_1_1FlowSensitiveStat-members.html +24 -23
  130. package/SVF-doxygen/html/classSVF_1_1FlowSensitiveStat.html +241 -240
  131. package/SVF-doxygen/html/classSVF_1_1FunptrDDAClient.html +2 -2
  132. package/SVF-doxygen/html/classSVF_1_1GenericNode.html +9 -10
  133. package/SVF-doxygen/html/classSVF_1_1GenericNode.png +0 -0
  134. package/SVF-doxygen/html/classSVF_1_1ICFGStat-members.html +19 -18
  135. package/SVF-doxygen/html/classSVF_1_1ICFGStat.html +4 -1
  136. package/SVF-doxygen/html/classSVF_1_1ICFGWTO-members.html +140 -0
  137. package/SVF-doxygen/html/classSVF_1_1ICFGWTO.html +379 -0
  138. package/SVF-doxygen/html/classSVF_1_1ICFGWTO.png +0 -0
  139. package/SVF-doxygen/html/classSVF_1_1LLVMModuleSet.html +2 -2
  140. package/SVF-doxygen/html/classSVF_1_1MRGenerator.html +3 -3
  141. package/SVF-doxygen/html/classSVF_1_1MTA.html +3 -3
  142. package/SVF-doxygen/html/classSVF_1_1MTAAnnotator.html +2 -2
  143. package/SVF-doxygen/html/classSVF_1_1MTASVFGBuilder.html +1 -1
  144. package/SVF-doxygen/html/classSVF_1_1MTAStat-members.html +20 -19
  145. package/SVF-doxygen/html/classSVF_1_1MTAStat.html +6 -3
  146. package/SVF-doxygen/html/classSVF_1_1MemSSA.html +5 -5
  147. package/SVF-doxygen/html/classSVF_1_1MemSSAStat-members.html +24 -23
  148. package/SVF-doxygen/html/classSVF_1_1MemSSAStat.html +7 -4
  149. package/SVF-doxygen/html/classSVF_1_1PCG.html +3 -3
  150. package/SVF-doxygen/html/classSVF_1_1POCRAlias-members.html +78 -80
  151. package/SVF-doxygen/html/classSVF_1_1POCRAlias.html +0 -6
  152. package/SVF-doxygen/html/classSVF_1_1POCRHybrid-members.html +78 -80
  153. package/SVF-doxygen/html/classSVF_1_1POCRHybrid.html +0 -6
  154. package/SVF-doxygen/html/classSVF_1_1PTAStat-members.html +19 -18
  155. package/SVF-doxygen/html/classSVF_1_1PTAStat.html +100 -85
  156. package/SVF-doxygen/html/classSVF_1_1PointerAnalysis-members.html +34 -36
  157. package/SVF-doxygen/html/classSVF_1_1PointerAnalysis.html +291 -356
  158. package/SVF-doxygen/html/classSVF_1_1SCCDetection.html +1 -1
  159. package/SVF-doxygen/html/classSVF_1_1SCCDetection_1_1GNodeSCCInfo.html +1 -1
  160. package/SVF-doxygen/html/classSVF_1_1SVFGStat-members.html +41 -40
  161. package/SVF-doxygen/html/classSVF_1_1SVFGStat.html +18 -18
  162. package/SVF-doxygen/html/classSVF_1_1SVFIRBuilder.html +1 -1
  163. package/SVF-doxygen/html/classSVF_1_1SVFStat-members.html +13 -12
  164. package/SVF-doxygen/html/classSVF_1_1SVFStat.html +208 -168
  165. package/SVF-doxygen/html/classSVF_1_1SaberSVFGBuilder.html +5 -5
  166. package/SVF-doxygen/html/classSVF_1_1SrcSnkDDA.html +1 -1
  167. package/SVF-doxygen/html/classSVF_1_1Steensgaard-members.html +109 -111
  168. package/SVF-doxygen/html/classSVF_1_1Steensgaard.html +4 -10
  169. package/SVF-doxygen/html/classSVF_1_1TCT.html +4 -4
  170. package/SVF-doxygen/html/classSVF_1_1ThreadCallGraph.html +2 -2
  171. package/SVF-doxygen/html/classSVF_1_1TypeAnalysis-members.html +103 -105
  172. package/SVF-doxygen/html/classSVF_1_1TypeAnalysis.html +9 -15
  173. package/SVF-doxygen/html/classSVF_1_1VFG.html +2 -2
  174. package/SVF-doxygen/html/classSVF_1_1VersionedFlowSensitive-members.html +158 -160
  175. package/SVF-doxygen/html/classSVF_1_1VersionedFlowSensitive.html +6 -12
  176. package/SVF-doxygen/html/classSVF_1_1VersionedFlowSensitiveStat-members.html +24 -23
  177. package/SVF-doxygen/html/classSVF_1_1VersionedFlowSensitiveStat.html +84 -83
  178. package/SVF-doxygen/html/classSVF_1_1WPAPass.html +12 -12
  179. package/SVF-doxygen/html/classSVF_1_1WTO-members.html +137 -0
  180. package/SVF-doxygen/html/classSVF_1_1WTO.html +1998 -0
  181. package/SVF-doxygen/html/classSVF_1_1WTOComponent-members.html +97 -0
  182. package/SVF-doxygen/html/classSVF_1_1WTOComponent.html +515 -0
  183. package/SVF-doxygen/html/classSVF_1_1WTOComponentVisitor-members.html +93 -0
  184. package/SVF-doxygen/html/classSVF_1_1WTOComponentVisitor.html +421 -0
  185. package/SVF-doxygen/html/classSVF_1_1WTOComponentVisitor.png +0 -0
  186. package/SVF-doxygen/html/classSVF_1_1WTOCycle-members.html +98 -0
  187. package/SVF-doxygen/html/classSVF_1_1WTOCycle.html +630 -0
  188. package/SVF-doxygen/html/classSVF_1_1WTOCycleDepth-members.html +24 -23
  189. package/SVF-doxygen/html/classSVF_1_1WTOCycleDepth.html +338 -317
  190. package/SVF-doxygen/html/classSVF_1_1WTONode-members.html +91 -0
  191. package/SVF-doxygen/html/classSVF_1_1WTONode.html +390 -0
  192. package/SVF-doxygen/html/classSVF_1_1WTO_1_1WTOCycleDepthBuilder-members.html +96 -0
  193. package/SVF-doxygen/html/classSVF_1_1WTO_1_1WTOCycleDepthBuilder.html +332 -0
  194. package/SVF-doxygen/html/classSVF_1_1WTO_1_1WTOCycleDepthBuilder.png +0 -0
  195. package/SVF-doxygen/html/classes.html +383 -377
  196. package/SVF-doxygen/html/dir_445b24f35a8ddd2effd3d23ee1278e0a.html +0 -2
  197. package/SVF-doxygen/html/dir_f63327fc9cf9e35b7653a5e341daceab.html +4 -2
  198. package/SVF-doxygen/html/dir_fc0329f850c815763e0c5b05933e8d55.html +4 -0
  199. package/SVF-doxygen/html/files.html +31 -29
  200. package/SVF-doxygen/html/functions.html +18 -30
  201. package/SVF-doxygen/html/functions_a.html +17 -14
  202. package/SVF-doxygen/html/functions_b.html +25 -25
  203. package/SVF-doxygen/html/functions_c.html +37 -51
  204. package/SVF-doxygen/html/functions_e.html +7 -4
  205. package/SVF-doxygen/html/functions_enum.html +2 -2
  206. package/SVF-doxygen/html/functions_eval_c.html +1 -1
  207. package/SVF-doxygen/html/functions_eval_n.html +1 -1
  208. package/SVF-doxygen/html/functions_f.html +26 -21
  209. package/SVF-doxygen/html/functions_func.html +14 -11
  210. package/SVF-doxygen/html/functions_func_b.html +6 -10
  211. package/SVF-doxygen/html/functions_func_c.html +30 -36
  212. package/SVF-doxygen/html/functions_func_e.html +5 -5
  213. package/SVF-doxygen/html/functions_func_f.html +8 -3
  214. package/SVF-doxygen/html/functions_func_g.html +15 -25
  215. package/SVF-doxygen/html/functions_func_h.html +3 -3
  216. package/SVF-doxygen/html/functions_func_i.html +18 -14
  217. package/SVF-doxygen/html/functions_func_n.html +6 -6
  218. package/SVF-doxygen/html/functions_func_o.html +16 -16
  219. package/SVF-doxygen/html/functions_func_p.html +4 -7
  220. package/SVF-doxygen/html/functions_func_s.html +1 -1
  221. package/SVF-doxygen/html/functions_func_t.html +7 -10
  222. package/SVF-doxygen/html/functions_func_v.html +4 -5
  223. package/SVF-doxygen/html/functions_func_w.html +16 -4
  224. package/SVF-doxygen/html/functions_func_~.html +10 -10
  225. package/SVF-doxygen/html/functions_g.html +14 -21
  226. package/SVF-doxygen/html/functions_h.html +9 -6
  227. package/SVF-doxygen/html/functions_i.html +32 -29
  228. package/SVF-doxygen/html/functions_l.html +3 -3
  229. package/SVF-doxygen/html/functions_n.html +25 -23
  230. package/SVF-doxygen/html/functions_o.html +31 -29
  231. package/SVF-doxygen/html/functions_p.html +21 -15
  232. package/SVF-doxygen/html/functions_r.html +1 -1
  233. package/SVF-doxygen/html/functions_rela_o.html +3 -3
  234. package/SVF-doxygen/html/functions_s.html +26 -23
  235. package/SVF-doxygen/html/functions_t.html +14 -20
  236. package/SVF-doxygen/html/functions_type_b.html +4 -0
  237. package/SVF-doxygen/html/functions_type_c.html +3 -9
  238. package/SVF-doxygen/html/functions_type_e.html +3 -0
  239. package/SVF-doxygen/html/functions_type_g.html +3 -0
  240. package/SVF-doxygen/html/functions_type_i.html +7 -8
  241. package/SVF-doxygen/html/functions_type_n.html +13 -9
  242. package/SVF-doxygen/html/functions_type_s.html +3 -0
  243. package/SVF-doxygen/html/functions_type_w.html +19 -6
  244. package/SVF-doxygen/html/functions_v.html +8 -9
  245. package/SVF-doxygen/html/functions_vars.html +18 -30
  246. package/SVF-doxygen/html/functions_vars_h.html +3 -0
  247. package/SVF-doxygen/html/functions_vars_p.html +3 -0
  248. package/SVF-doxygen/html/functions_vars_t.html +0 -3
  249. package/SVF-doxygen/html/functions_vars_w.html +4 -0
  250. package/SVF-doxygen/html/functions_w.html +47 -20
  251. package/SVF-doxygen/html/functions_~.html +10 -10
  252. package/SVF-doxygen/html/hierarchy.html +621 -614
  253. package/SVF-doxygen/html/namespaceSVF.html +127 -7
  254. package/SVF-doxygen/html/namespacemembers_c.html +9 -0
  255. package/SVF-doxygen/html/namespacemembers_i.html +14 -5
  256. package/SVF-doxygen/html/namespacemembers_type_c.html +9 -0
  257. package/SVF-doxygen/html/namespacemembers_type_i.html +9 -0
  258. package/SVF-doxygen/html/search/all_0.js +124 -127
  259. package/SVF-doxygen/html/search/all_1.js +495 -495
  260. package/SVF-doxygen/html/search/all_10.js +325 -325
  261. package/SVF-doxygen/html/search/all_11.js +225 -225
  262. package/SVF-doxygen/html/search/all_12.js +555 -554
  263. package/SVF-doxygen/html/search/all_13.js +201 -203
  264. package/SVF-doxygen/html/search/all_14.js +67 -67
  265. package/SVF-doxygen/html/search/all_15.js +168 -168
  266. package/SVF-doxygen/html/search/all_16.js +73 -63
  267. package/SVF-doxygen/html/search/all_17.js +1 -1
  268. package/SVF-doxygen/html/search/all_18.js +1 -1
  269. package/SVF-doxygen/html/search/all_19.js +11 -11
  270. package/SVF-doxygen/html/search/all_1a.js +175 -175
  271. package/SVF-doxygen/html/search/all_2.js +172 -173
  272. package/SVF-doxygen/html/search/all_3.js +648 -649
  273. package/SVF-doxygen/html/search/all_4.js +230 -230
  274. package/SVF-doxygen/html/search/all_5.js +120 -119
  275. package/SVF-doxygen/html/search/all_6.js +227 -226
  276. package/SVF-doxygen/html/search/all_7.js +1046 -1048
  277. package/SVF-doxygen/html/search/all_8.js +196 -191
  278. package/SVF-doxygen/html/search/all_9.js +579 -574
  279. package/SVF-doxygen/html/search/all_a.js +46 -46
  280. package/SVF-doxygen/html/search/all_b.js +26 -26
  281. package/SVF-doxygen/html/search/all_c.js +115 -115
  282. package/SVF-doxygen/html/search/all_d.js +197 -197
  283. package/SVF-doxygen/html/search/all_e.js +207 -207
  284. package/SVF-doxygen/html/search/all_f.js +116 -116
  285. package/SVF-doxygen/html/search/classes_0.js +26 -26
  286. package/SVF-doxygen/html/search/classes_1.js +9 -9
  287. package/SVF-doxygen/html/search/classes_10.js +74 -74
  288. package/SVF-doxygen/html/search/classes_11.js +14 -15
  289. package/SVF-doxygen/html/search/classes_12.js +2 -2
  290. package/SVF-doxygen/html/search/classes_13.js +10 -10
  291. package/SVF-doxygen/html/search/classes_14.js +20 -14
  292. package/SVF-doxygen/html/search/classes_15.js +1 -1
  293. package/SVF-doxygen/html/search/classes_2.js +78 -81
  294. package/SVF-doxygen/html/search/classes_3.js +37 -37
  295. package/SVF-doxygen/html/search/classes_4.js +9 -9
  296. package/SVF-doxygen/html/search/classes_5.js +28 -28
  297. package/SVF-doxygen/html/search/classes_6.js +104 -104
  298. package/SVF-doxygen/html/search/classes_7.js +38 -34
  299. package/SVF-doxygen/html/search/classes_8.js +58 -57
  300. package/SVF-doxygen/html/search/classes_9.js +1 -1
  301. package/SVF-doxygen/html/search/classes_a.js +12 -12
  302. package/SVF-doxygen/html/search/classes_b.js +29 -29
  303. package/SVF-doxygen/html/search/classes_c.js +6 -6
  304. package/SVF-doxygen/html/search/classes_d.js +18 -18
  305. package/SVF-doxygen/html/search/classes_e.js +36 -36
  306. package/SVF-doxygen/html/search/classes_f.js +25 -25
  307. package/SVF-doxygen/html/search/defines_0.js +3 -3
  308. package/SVF-doxygen/html/search/defines_1.js +2 -2
  309. package/SVF-doxygen/html/search/defines_2.js +30 -30
  310. package/SVF-doxygen/html/search/defines_3.js +20 -20
  311. package/SVF-doxygen/html/search/defines_4.js +2 -2
  312. package/SVF-doxygen/html/search/defines_5.js +4 -4
  313. package/SVF-doxygen/html/search/defines_6.js +2 -2
  314. package/SVF-doxygen/html/search/defines_7.js +5 -5
  315. package/SVF-doxygen/html/search/defines_8.js +11 -11
  316. package/SVF-doxygen/html/search/defines_9.js +9 -9
  317. package/SVF-doxygen/html/search/defines_a.js +2 -2
  318. package/SVF-doxygen/html/search/defines_b.js +1 -1
  319. package/SVF-doxygen/html/search/defines_c.js +3 -3
  320. package/SVF-doxygen/html/search/defines_d.js +2 -2
  321. package/SVF-doxygen/html/search/defines_e.js +7 -7
  322. package/SVF-doxygen/html/search/defines_f.js +3 -3
  323. package/SVF-doxygen/html/search/enums_0.js +3 -3
  324. package/SVF-doxygen/html/search/enums_1.js +2 -2
  325. package/SVF-doxygen/html/search/enums_10.js +1 -1
  326. package/SVF-doxygen/html/search/enums_11.js +1 -1
  327. package/SVF-doxygen/html/search/enums_2.js +8 -8
  328. package/SVF-doxygen/html/search/enums_3.js +1 -1
  329. package/SVF-doxygen/html/search/enums_4.js +3 -3
  330. package/SVF-doxygen/html/search/enums_5.js +1 -1
  331. package/SVF-doxygen/html/search/enums_6.js +2 -2
  332. package/SVF-doxygen/html/search/enums_7.js +2 -2
  333. package/SVF-doxygen/html/search/enums_8.js +4 -4
  334. package/SVF-doxygen/html/search/enums_9.js +1 -1
  335. package/SVF-doxygen/html/search/enums_a.js +1 -1
  336. package/SVF-doxygen/html/search/enums_b.js +7 -7
  337. package/SVF-doxygen/html/search/enums_c.js +1 -1
  338. package/SVF-doxygen/html/search/enums_d.js +4 -4
  339. package/SVF-doxygen/html/search/enums_e.js +2 -2
  340. package/SVF-doxygen/html/search/enums_f.js +4 -4
  341. package/SVF-doxygen/html/search/enumvalues_0.js +14 -14
  342. package/SVF-doxygen/html/search/enumvalues_1.js +14 -14
  343. package/SVF-doxygen/html/search/enumvalues_10.js +35 -35
  344. package/SVF-doxygen/html/search/enumvalues_11.js +3 -3
  345. package/SVF-doxygen/html/search/enumvalues_12.js +10 -10
  346. package/SVF-doxygen/html/search/enumvalues_13.js +1 -1
  347. package/SVF-doxygen/html/search/enumvalues_14.js +1 -1
  348. package/SVF-doxygen/html/search/enumvalues_15.js +3 -3
  349. package/SVF-doxygen/html/search/enumvalues_2.js +36 -36
  350. package/SVF-doxygen/html/search/enumvalues_3.js +13 -13
  351. package/SVF-doxygen/html/search/enumvalues_4.js +2 -2
  352. package/SVF-doxygen/html/search/enumvalues_5.js +47 -47
  353. package/SVF-doxygen/html/search/enumvalues_6.js +6 -6
  354. package/SVF-doxygen/html/search/enumvalues_7.js +8 -8
  355. package/SVF-doxygen/html/search/enumvalues_8.js +23 -23
  356. package/SVF-doxygen/html/search/enumvalues_9.js +6 -6
  357. package/SVF-doxygen/html/search/enumvalues_a.js +15 -15
  358. package/SVF-doxygen/html/search/enumvalues_b.js +11 -11
  359. package/SVF-doxygen/html/search/enumvalues_c.js +5 -5
  360. package/SVF-doxygen/html/search/enumvalues_d.js +18 -18
  361. package/SVF-doxygen/html/search/enumvalues_e.js +9 -9
  362. package/SVF-doxygen/html/search/enumvalues_f.js +45 -45
  363. package/SVF-doxygen/html/search/files_0.js +14 -14
  364. package/SVF-doxygen/html/search/files_1.js +7 -7
  365. package/SVF-doxygen/html/search/files_10.js +8 -8
  366. package/SVF-doxygen/html/search/files_11.js +8 -8
  367. package/SVF-doxygen/html/search/files_12.js +2 -2
  368. package/SVF-doxygen/html/search/files_2.js +58 -57
  369. package/SVF-doxygen/html/search/files_3.js +14 -14
  370. package/SVF-doxygen/html/search/files_4.js +5 -5
  371. package/SVF-doxygen/html/search/files_5.js +13 -13
  372. package/SVF-doxygen/html/search/files_6.js +9 -9
  373. package/SVF-doxygen/html/search/files_7.js +15 -14
  374. package/SVF-doxygen/html/search/files_8.js +13 -13
  375. package/SVF-doxygen/html/search/files_9.js +18 -18
  376. package/SVF-doxygen/html/search/files_a.js +3 -3
  377. package/SVF-doxygen/html/search/files_b.js +2 -2
  378. package/SVF-doxygen/html/search/files_c.js +20 -20
  379. package/SVF-doxygen/html/search/files_d.js +4 -4
  380. package/SVF-doxygen/html/search/files_e.js +62 -62
  381. package/SVF-doxygen/html/search/files_f.js +8 -8
  382. package/SVF-doxygen/html/search/functions_0.js +13 -13
  383. package/SVF-doxygen/html/search/functions_1.js +365 -364
  384. package/SVF-doxygen/html/search/functions_10.js +139 -140
  385. package/SVF-doxygen/html/search/functions_11.js +140 -140
  386. package/SVF-doxygen/html/search/functions_12.js +289 -289
  387. package/SVF-doxygen/html/search/functions_13.js +71 -72
  388. package/SVF-doxygen/html/search/functions_14.js +39 -39
  389. package/SVF-doxygen/html/search/functions_15.js +71 -71
  390. package/SVF-doxygen/html/search/functions_16.js +36 -32
  391. package/SVF-doxygen/html/search/functions_17.js +3 -3
  392. package/SVF-doxygen/html/search/functions_18.js +175 -175
  393. package/SVF-doxygen/html/search/functions_2.js +90 -91
  394. package/SVF-doxygen/html/search/functions_3.js +260 -262
  395. package/SVF-doxygen/html/search/functions_4.js +78 -78
  396. package/SVF-doxygen/html/search/functions_5.js +53 -53
  397. package/SVF-doxygen/html/search/functions_6.js +61 -60
  398. package/SVF-doxygen/html/search/functions_7.js +854 -857
  399. package/SVF-doxygen/html/search/functions_8.js +148 -148
  400. package/SVF-doxygen/html/search/functions_9.js +422 -421
  401. package/SVF-doxygen/html/search/functions_a.js +30 -30
  402. package/SVF-doxygen/html/search/functions_b.js +2 -2
  403. package/SVF-doxygen/html/search/functions_c.js +25 -25
  404. package/SVF-doxygen/html/search/functions_d.js +79 -79
  405. package/SVF-doxygen/html/search/functions_e.js +35 -35
  406. package/SVF-doxygen/html/search/functions_f.js +56 -56
  407. package/SVF-doxygen/html/search/namespaces_0.js +1 -1
  408. package/SVF-doxygen/html/search/namespaces_1.js +7 -7
  409. package/SVF-doxygen/html/search/related_0.js +2 -2
  410. package/SVF-doxygen/html/search/related_1.js +2 -2
  411. package/SVF-doxygen/html/search/related_2.js +3 -3
  412. package/SVF-doxygen/html/search/related_3.js +2 -2
  413. package/SVF-doxygen/html/search/related_4.js +2 -2
  414. package/SVF-doxygen/html/search/related_5.js +1 -1
  415. package/SVF-doxygen/html/search/related_6.js +2 -2
  416. package/SVF-doxygen/html/search/related_7.js +4 -4
  417. package/SVF-doxygen/html/search/related_8.js +2 -2
  418. package/SVF-doxygen/html/search/related_9.js +4 -4
  419. package/SVF-doxygen/html/search/related_a.js +19 -19
  420. package/SVF-doxygen/html/search/related_b.js +4 -4
  421. package/SVF-doxygen/html/search/related_c.js +2 -2
  422. package/SVF-doxygen/html/search/related_d.js +12 -12
  423. package/SVF-doxygen/html/search/related_e.js +2 -2
  424. package/SVF-doxygen/html/search/related_f.js +2 -2
  425. package/SVF-doxygen/html/search/typedefs_0.js +19 -19
  426. package/SVF-doxygen/html/search/typedefs_1.js +27 -26
  427. package/SVF-doxygen/html/search/typedefs_10.js +63 -62
  428. package/SVF-doxygen/html/search/typedefs_11.js +13 -13
  429. package/SVF-doxygen/html/search/typedefs_12.js +11 -11
  430. package/SVF-doxygen/html/search/typedefs_13.js +33 -33
  431. package/SVF-doxygen/html/search/typedefs_14.js +11 -8
  432. package/SVF-doxygen/html/search/typedefs_2.js +129 -129
  433. package/SVF-doxygen/html/search/typedefs_3.js +39 -39
  434. package/SVF-doxygen/html/search/typedefs_4.js +18 -17
  435. package/SVF-doxygen/html/search/typedefs_5.js +41 -41
  436. package/SVF-doxygen/html/search/typedefs_6.js +57 -56
  437. package/SVF-doxygen/html/search/typedefs_7.js +47 -44
  438. package/SVF-doxygen/html/search/typedefs_8.js +1 -1
  439. package/SVF-doxygen/html/search/typedefs_9.js +6 -6
  440. package/SVF-doxygen/html/search/typedefs_a.js +29 -29
  441. package/SVF-doxygen/html/search/typedefs_b.js +29 -29
  442. package/SVF-doxygen/html/search/typedefs_c.js +41 -41
  443. package/SVF-doxygen/html/search/typedefs_d.js +14 -14
  444. package/SVF-doxygen/html/search/typedefs_e.js +52 -52
  445. package/SVF-doxygen/html/search/typedefs_f.js +14 -14
  446. package/SVF-doxygen/html/search/variables_0.js +148 -151
  447. package/SVF-doxygen/html/search/variables_1.js +76 -76
  448. package/SVF-doxygen/html/search/variables_10.js +99 -98
  449. package/SVF-doxygen/html/search/variables_11.js +45 -45
  450. package/SVF-doxygen/html/search/variables_12.js +91 -91
  451. package/SVF-doxygen/html/search/variables_13.js +73 -74
  452. package/SVF-doxygen/html/search/variables_14.js +14 -14
  453. package/SVF-doxygen/html/search/variables_15.js +49 -49
  454. package/SVF-doxygen/html/search/variables_16.js +10 -9
  455. package/SVF-doxygen/html/search/variables_17.js +1 -1
  456. package/SVF-doxygen/html/search/variables_18.js +2 -2
  457. package/SVF-doxygen/html/search/variables_2.js +38 -38
  458. package/SVF-doxygen/html/search/variables_3.js +142 -142
  459. package/SVF-doxygen/html/search/variables_4.js +50 -50
  460. package/SVF-doxygen/html/search/variables_5.js +37 -37
  461. package/SVF-doxygen/html/search/variables_6.js +66 -66
  462. package/SVF-doxygen/html/search/variables_7.js +34 -34
  463. package/SVF-doxygen/html/search/variables_8.js +8 -7
  464. package/SVF-doxygen/html/search/variables_9.js +78 -78
  465. package/SVF-doxygen/html/search/variables_a.js +4 -4
  466. package/SVF-doxygen/html/search/variables_b.js +10 -10
  467. package/SVF-doxygen/html/search/variables_c.js +45 -45
  468. package/SVF-doxygen/html/search/variables_d.js +55 -55
  469. package/SVF-doxygen/html/search/variables_e.js +123 -123
  470. package/SVF-doxygen/html/search/variables_f.js +30 -30
  471. package/SVF-doxygen/html/structSVF_1_1has__edgetype.html +97 -0
  472. package/SVF-doxygen/html/structSVF_1_1has__edgetype.png +0 -0
  473. package/SVF-doxygen/html/structSVF_1_1has__edgetype_3_01T_00_01std_1_1void__t_3_01typename_01T_1_1EdgeType_01_4_01_4.html +97 -0
  474. package/SVF-doxygen/html/structSVF_1_1has__edgetype_3_01T_00_01std_1_1void__t_3_01typename_01T_1_1EdgeType_01_4_01_4.png +0 -0
  475. package/SVF-doxygen/html/structSVF_1_1has__nodetype.html +97 -0
  476. package/SVF-doxygen/html/structSVF_1_1has__nodetype.png +0 -0
  477. package/SVF-doxygen/html/structSVF_1_1has__nodetype_3_01T_00_01std_1_1void__t_3_01typename_01T_1_1NodeType_01_4_01_4.html +97 -0
  478. package/SVF-doxygen/html/structSVF_1_1has__nodetype_3_01T_00_01std_1_1void__t_3_01typename_01T_1_1NodeType_01_4_01_4.png +0 -0
  479. package/SVF-doxygen/html/svf-ex_8cpp.html +2 -2
  480. package/SVF-doxygen/html/svf-ex_8cpp_source.html +3 -3
  481. package/package.json +1 -1
  482. package/svf/include/AbstractExecution/CFBasicBlockGWTO.h +83 -0
  483. package/svf/include/AbstractExecution/ICFGWTO.h +78 -0
  484. package/svf/include/DDA/DDAPass.h +2 -2
  485. package/svf/include/DDA/DDAVFSolver.h +2 -2
  486. package/svf/include/Graphs/SVFGStat.h +1 -1
  487. package/svf/include/Graphs/WTO.h +859 -0
  488. package/svf/include/MSSA/MemRegion.h +3 -3
  489. package/svf/include/MTA/TCT.h +2 -2
  490. package/svf/include/MemoryModel/PointerAnalysis.h +5 -14
  491. package/svf/include/Util/SVFStat.h +3 -0
  492. package/svf/include/WPA/CSC.h +3 -3
  493. package/svf/lib/DDA/DDAStat.cpp +2 -2
  494. package/svf/lib/Graphs/SVFGStat.cpp +2 -4
  495. package/svf/lib/MemoryModel/PointerAnalysis.cpp +1 -1
  496. package/svf/lib/Util/PTAStat.cpp +14 -4
  497. package/svf/lib/Util/SVFStat.cpp +13 -3
  498. package/svf/lib/WPA/AndersenStat.cpp +3 -8
  499. package/svf/lib/WPA/FlowSensitiveStat.cpp +1 -2
  500. package/svf/lib/WPA/VersionedFlowSensitiveStat.cpp +1 -2
  501. package/svf/include/AbstractExecution/WTO.h +0 -897
  502. /package/svf/include/{Util → Graphs}/SCC.h +0 -0
package/SVF-doxygen/html/dir_445b24f35a8ddd2effd3d23ee1278e0a.html CHANGED
@@ -110,8 +110,6 @@ Files</h2></td></tr>
110
110
  <tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
111
111
  <tr class="memitem:PTAStat_8h"><td class="memItemLeft" align="right" valign="top">file &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="PTAStat_8h.html">PTAStat.h</a> <a href="PTAStat_8h_source.html">[code]</a></td></tr>
112
112
  <tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
113
- <tr class="memitem:SCC_8h"><td class="memItemLeft" align="right" valign="top">file &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="SCC_8h.html">SCC.h</a> <a href="SCC_8h_source.html">[code]</a></td></tr>
114
- <tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
115
113
  <tr class="memitem:SparseBitVector_8h"><td class="memItemLeft" align="right" valign="top">file &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="SparseBitVector_8h.html">SparseBitVector.h</a> <a href="SparseBitVector_8h_source.html">[code]</a></td></tr>
116
114
  <tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
117
115
  <tr class="memitem:SVFBugReport_8h"><td class="memItemLeft" align="right" valign="top">file &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="SVFBugReport_8h.html">SVFBugReport.h</a> <a href="SVFBugReport_8h_source.html">[code]</a></td></tr>
package/SVF-doxygen/html/dir_f63327fc9cf9e35b7653a5e341daceab.html CHANGED
@@ -78,10 +78,14 @@ Files</h2></td></tr>
78
78
  <tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
79
79
  <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
80
  <tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
81
+ <tr class="memitem:CFBasicBlockGWTO_8h"><td class="memItemLeft" align="right" valign="top">file &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="CFBasicBlockGWTO_8h.html">CFBasicBlockGWTO.h</a> <a href="CFBasicBlockGWTO_8h_source.html">[code]</a></td></tr>
82
+ <tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
81
83
  <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
84
  <tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
83
85
  <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
86
  <tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
87
+ <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>
88
+ <tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
85
89
  <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>
86
90
  <tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
87
91
  <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>
@@ -100,8 +104,6 @@ Files</h2></td></tr>
100
104
  <tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
101
105
  <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>
102
106
  <tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
103
- <tr class="memitem:WTO_8h"><td class="memItemLeft" align="right" valign="top">file &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="WTO_8h.html">WTO.h</a> <a href="WTO_8h_source.html">[code]</a></td></tr>
104
- <tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
105
107
  </table>
106
108
  </div><!-- contents -->
107
109
  <!-- start footer part -->
package/SVF-doxygen/html/dir_fc0329f850c815763e0c5b05933e8d55.html CHANGED
@@ -108,6 +108,8 @@ Files</h2></td></tr>
108
108
  <tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
109
109
  <tr class="memitem:PTACallGraph_8h"><td class="memItemLeft" align="right" valign="top">file &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="PTACallGraph_8h.html">PTACallGraph.h</a> <a href="PTACallGraph_8h_source.html">[code]</a></td></tr>
110
110
  <tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
111
+ <tr class="memitem:SCC_8h"><td class="memItemLeft" align="right" valign="top">file &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="SCC_8h.html">SCC.h</a> <a href="SCC_8h_source.html">[code]</a></td></tr>
112
+ <tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
111
113
  <tr class="memitem:SVFG_8h"><td class="memItemLeft" align="right" valign="top">file &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="SVFG_8h.html">SVFG.h</a> <a href="SVFG_8h_source.html">[code]</a></td></tr>
112
114
  <tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
113
115
  <tr class="memitem:SVFGEdge_8h"><td class="memItemLeft" align="right" valign="top">file &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="SVFGEdge_8h.html">SVFGEdge.h</a> <a href="SVFGEdge_8h_source.html">[code]</a></td></tr>
@@ -126,6 +128,8 @@ Files</h2></td></tr>
126
128
  <tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
127
129
  <tr class="memitem:VFGNode_8h"><td class="memItemLeft" align="right" valign="top">file &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="VFGNode_8h.html">VFGNode.h</a> <a href="VFGNode_8h_source.html">[code]</a></td></tr>
128
130
  <tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
131
+ <tr class="memitem:WTO_8h"><td class="memItemLeft" align="right" valign="top">file &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="WTO_8h.html">WTO.h</a> <a href="WTO_8h_source.html">[code]</a></td></tr>
132
+ <tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
129
133
  </table>
130
134
  </div><!-- contents -->
131
135
  <!-- start footer part -->
package/SVF-doxygen/html/files.html CHANGED
@@ -73,18 +73,19 @@ $(function() {
73
73
  <tr id="row_0_0_0_0_" style="display:none;"><td class="entry"><span style="width:64px;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>
74
74
  <tr id="row_0_0_0_1_" style="display:none;"><td class="entry"><span style="width:64px;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>
75
75
  <tr id="row_0_0_0_2_" style="display:none;"><td class="entry"><span style="width:64px;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>
76
- <tr id="row_0_0_0_3_" style="display:none;"><td class="entry"><span style="width:64px;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>
77
- <tr id="row_0_0_0_4_" style="display:none;"><td class="entry"><span style="width:64px;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>
78
- <tr id="row_0_0_0_5_" style="display:none;"><td class="entry"><span style="width:64px;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>
79
- <tr id="row_0_0_0_6_" style="display:none;"><td class="entry"><span style="width:64px;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_7_" style="display:none;"><td class="entry"><span style="width:64px;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_8_" style="display:none;"><td class="entry"><span style="width:64px;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_9_" style="display:none;"><td class="entry"><span style="width:64px;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>
83
- <tr id="row_0_0_0_10_" style="display:none;"><td class="entry"><span style="width:64px;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>
84
- <tr id="row_0_0_0_11_" style="display:none;"><td class="entry"><span style="width:64px;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>
85
- <tr id="row_0_0_0_12_" style="display:none;"><td class="entry"><span style="width:64px;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>
86
- <tr id="row_0_0_0_13_" style="display:none;"><td class="entry"><span style="width:64px;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>
87
- <tr id="row_0_0_0_14_" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="WTO_8h_source.html"><span class="icondoc"></span></a><a class="el" href="WTO_8h.html" target="_self">WTO.h</a></td><td class="desc"></td></tr>
76
+ <tr id="row_0_0_0_3_" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="CFBasicBlockGWTO_8h_source.html"><span class="icondoc"></span></a><a class="el" href="CFBasicBlockGWTO_8h.html" target="_self">CFBasicBlockGWTO.h</a></td><td class="desc"></td></tr>
77
+ <tr id="row_0_0_0_4_" style="display:none;"><td class="entry"><span style="width:64px;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_5_" style="display:none;"><td class="entry"><span style="width:64px;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_6_" style="display:none;"><td class="entry"><span style="width:64px;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_7_" style="display:none;"><td class="entry"><span style="width:64px;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_8_" style="display:none;"><td class="entry"><span style="width:64px;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_9_" style="display:none;"><td class="entry"><span style="width:64px;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_10_" style="display:none;"><td class="entry"><span style="width:64px;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_11_" style="display:none;"><td class="entry"><span style="width:64px;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_12_" style="display:none;"><td class="entry"><span style="width:64px;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_13_" style="display:none;"><td class="entry"><span style="width:64px;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>
87
+ <tr id="row_0_0_0_14_" style="display:none;"><td class="entry"><span style="width:64px;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>
88
+ <tr id="row_0_0_0_15_" style="display:none;"><td class="entry"><span style="width:64px;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>
88
89
  <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>
89
90
  <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>
90
91
  <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>
@@ -126,15 +127,17 @@ $(function() {
126
127
  <tr id="row_0_0_4_15_" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="ICFGStat_8h_source.html"><span class="icondoc"></span></a><a class="el" href="ICFGStat_8h.html" target="_self">ICFGStat.h</a></td><td class="desc"></td></tr>
127
128
  <tr id="row_0_0_4_16_" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="IRGraph_8h_source.html"><span class="icondoc"></span></a><a class="el" href="IRGraph_8h.html" target="_self">IRGraph.h</a></td><td class="desc"></td></tr>
128
129
  <tr id="row_0_0_4_17_" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="PTACallGraph_8h_source.html"><span class="icondoc"></span></a><a class="el" href="PTACallGraph_8h.html" target="_self">PTACallGraph.h</a></td><td class="desc"></td></tr>
129
- <tr id="row_0_0_4_18_" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="SVFG_8h_source.html"><span class="icondoc"></span></a><a class="el" href="SVFG_8h.html" target="_self">SVFG.h</a></td><td class="desc"></td></tr>
130
- <tr id="row_0_0_4_19_" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="SVFGEdge_8h_source.html"><span class="icondoc"></span></a><a class="el" href="SVFGEdge_8h.html" target="_self">SVFGEdge.h</a></td><td class="desc"></td></tr>
131
- <tr id="row_0_0_4_20_" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="SVFGNode_8h_source.html"><span class="icondoc"></span></a><a class="el" href="SVFGNode_8h.html" target="_self">SVFGNode.h</a></td><td class="desc"></td></tr>
132
- <tr id="row_0_0_4_21_" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="SVFGOPT_8h_source.html"><span class="icondoc"></span></a><a class="el" href="SVFGOPT_8h.html" target="_self">SVFGOPT.h</a></td><td class="desc"></td></tr>
133
- <tr id="row_0_0_4_22_" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="SVFGStat_8h_source.html"><span class="icondoc"></span></a><a class="el" href="SVFGStat_8h.html" target="_self">SVFGStat.h</a></td><td class="desc"></td></tr>
134
- <tr id="row_0_0_4_23_" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="ThreadCallGraph_8h_source.html"><span class="icondoc"></span></a><a class="el" href="ThreadCallGraph_8h.html" target="_self">ThreadCallGraph.h</a></td><td class="desc"></td></tr>
135
- <tr id="row_0_0_4_24_" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="VFG_8h_source.html"><span class="icondoc"></span></a><a class="el" href="VFG_8h.html" target="_self">VFG.h</a></td><td class="desc"></td></tr>
136
- <tr id="row_0_0_4_25_" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="VFGEdge_8h_source.html"><span class="icondoc"></span></a><a class="el" href="VFGEdge_8h.html" target="_self">VFGEdge.h</a></td><td class="desc"></td></tr>
137
- <tr id="row_0_0_4_26_" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="VFGNode_8h_source.html"><span class="icondoc"></span></a><a class="el" href="VFGNode_8h.html" target="_self">VFGNode.h</a></td><td class="desc"></td></tr>
130
+ <tr id="row_0_0_4_18_" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="SCC_8h_source.html"><span class="icondoc"></span></a><a class="el" href="SCC_8h.html" target="_self">SCC.h</a></td><td class="desc"></td></tr>
131
+ <tr id="row_0_0_4_19_" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="SVFG_8h_source.html"><span class="icondoc"></span></a><a class="el" href="SVFG_8h.html" target="_self">SVFG.h</a></td><td class="desc"></td></tr>
132
+ <tr id="row_0_0_4_20_" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="SVFGEdge_8h_source.html"><span class="icondoc"></span></a><a class="el" href="SVFGEdge_8h.html" target="_self">SVFGEdge.h</a></td><td class="desc"></td></tr>
133
+ <tr id="row_0_0_4_21_" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="SVFGNode_8h_source.html"><span class="icondoc"></span></a><a class="el" href="SVFGNode_8h.html" target="_self">SVFGNode.h</a></td><td class="desc"></td></tr>
134
+ <tr id="row_0_0_4_22_" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="SVFGOPT_8h_source.html"><span class="icondoc"></span></a><a class="el" href="SVFGOPT_8h.html" target="_self">SVFGOPT.h</a></td><td class="desc"></td></tr>
135
+ <tr id="row_0_0_4_23_" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="SVFGStat_8h_source.html"><span class="icondoc"></span></a><a class="el" href="SVFGStat_8h.html" target="_self">SVFGStat.h</a></td><td class="desc"></td></tr>
136
+ <tr id="row_0_0_4_24_" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="ThreadCallGraph_8h_source.html"><span class="icondoc"></span></a><a class="el" href="ThreadCallGraph_8h.html" target="_self">ThreadCallGraph.h</a></td><td class="desc"></td></tr>
137
+ <tr id="row_0_0_4_25_" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="VFG_8h_source.html"><span class="icondoc"></span></a><a class="el" href="VFG_8h.html" target="_self">VFG.h</a></td><td class="desc"></td></tr>
138
+ <tr id="row_0_0_4_26_" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="VFGEdge_8h_source.html"><span class="icondoc"></span></a><a class="el" href="VFGEdge_8h.html" target="_self">VFGEdge.h</a></td><td class="desc"></td></tr>
139
+ <tr id="row_0_0_4_27_" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="VFGNode_8h_source.html"><span class="icondoc"></span></a><a class="el" href="VFGNode_8h.html" target="_self">VFGNode.h</a></td><td class="desc"></td></tr>
140
+ <tr id="row_0_0_4_28_" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="WTO_8h_source.html"><span class="icondoc"></span></a><a class="el" href="WTO_8h.html" target="_self">WTO.h</a></td><td class="desc"></td></tr>
138
141
  <tr id="row_0_0_5_"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span id="arr_0_0_5_" class="arrow" onclick="toggleFolder('0_0_5_')">&#9658;</span><span id="img_0_0_5_" class="iconfclosed" onclick="toggleFolder('0_0_5_')">&#160;</span><a class="el" href="dir_2c6aa13248ecb79728f0356b6f37905a.html" target="_self">MemoryModel</a></td><td class="desc"></td></tr>
139
142
  <tr id="row_0_0_5_0_" class="even" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="AbstractPointsToDS_8h_source.html"><span class="icondoc"></span></a><a class="el" href="AbstractPointsToDS_8h.html" target="_self">AbstractPointsToDS.h</a></td><td class="desc"></td></tr>
140
143
  <tr id="row_0_0_5_1_" class="even" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="AccessPath_8h_source.html"><span class="icondoc"></span></a><a class="el" href="AccessPath_8h.html" target="_self">AccessPath.h</a></td><td class="desc"></td></tr>
@@ -201,14 +204,13 @@ $(function() {
201
204
  <tr id="row_0_0_10_16_" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="NodeIDAllocator_8h_source.html"><span class="icondoc"></span></a><a class="el" href="NodeIDAllocator_8h.html" target="_self">NodeIDAllocator.h</a></td><td class="desc"></td></tr>
202
205
  <tr id="row_0_0_10_17_" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="Options_8h_source.html"><span class="icondoc"></span></a><a class="el" href="Options_8h.html" target="_self">Options.h</a></td><td class="desc"></td></tr>
203
206
  <tr id="row_0_0_10_18_" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="PTAStat_8h_source.html"><span class="icondoc"></span></a><a class="el" href="PTAStat_8h.html" target="_self">PTAStat.h</a></td><td class="desc"></td></tr>
204
- <tr id="row_0_0_10_19_" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="SCC_8h_source.html"><span class="icondoc"></span></a><a class="el" href="SCC_8h.html" target="_self">SCC.h</a></td><td class="desc"></td></tr>
205
- <tr id="row_0_0_10_20_" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="SparseBitVector_8h_source.html"><span class="icondoc"></span></a><a class="el" href="SparseBitVector_8h.html" target="_self">SparseBitVector.h</a></td><td class="desc"></td></tr>
206
- <tr id="row_0_0_10_21_" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="SVFBugReport_8h_source.html"><span class="icondoc"></span></a><a class="el" href="SVFBugReport_8h.html" target="_self">SVFBugReport.h</a></td><td class="desc"></td></tr>
207
- <tr id="row_0_0_10_22_" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="SVFStat_8h_source.html"><span class="icondoc"></span></a><a class="el" href="SVFStat_8h.html" target="_self">SVFStat.h</a></td><td class="desc"></td></tr>
208
- <tr id="row_0_0_10_23_" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="SVFUtil_8h_source.html"><span class="icondoc"></span></a><a class="el" href="SVFUtil_8h.html" target="_self">SVFUtil.h</a></td><td class="desc"></td></tr>
209
- <tr id="row_0_0_10_24_" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="ThreadAPI_8h_source.html"><span class="icondoc"></span></a><a class="el" href="ThreadAPI_8h.html" target="_self">ThreadAPI.h</a></td><td class="desc"></td></tr>
210
- <tr id="row_0_0_10_25_" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="WorkList_8h_source.html"><span class="icondoc"></span></a><a class="el" href="WorkList_8h.html" target="_self">WorkList.h</a></td><td class="desc"></td></tr>
211
- <tr id="row_0_0_10_26_" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="Z3Expr_8h_source.html"><span class="icondoc"></span></a><a class="el" href="Z3Expr_8h.html" target="_self">Z3Expr.h</a></td><td class="desc"></td></tr>
207
+ <tr id="row_0_0_10_19_" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="SparseBitVector_8h_source.html"><span class="icondoc"></span></a><a class="el" href="SparseBitVector_8h.html" target="_self">SparseBitVector.h</a></td><td class="desc"></td></tr>
208
+ <tr id="row_0_0_10_20_" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="SVFBugReport_8h_source.html"><span class="icondoc"></span></a><a class="el" href="SVFBugReport_8h.html" target="_self">SVFBugReport.h</a></td><td class="desc"></td></tr>
209
+ <tr id="row_0_0_10_21_" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="SVFStat_8h_source.html"><span class="icondoc"></span></a><a class="el" href="SVFStat_8h.html" target="_self">SVFStat.h</a></td><td class="desc"></td></tr>
210
+ <tr id="row_0_0_10_22_" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="SVFUtil_8h_source.html"><span class="icondoc"></span></a><a class="el" href="SVFUtil_8h.html" target="_self">SVFUtil.h</a></td><td class="desc"></td></tr>
211
+ <tr id="row_0_0_10_23_" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="ThreadAPI_8h_source.html"><span class="icondoc"></span></a><a class="el" href="ThreadAPI_8h.html" target="_self">ThreadAPI.h</a></td><td class="desc"></td></tr>
212
+ <tr id="row_0_0_10_24_" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="WorkList_8h_source.html"><span class="icondoc"></span></a><a class="el" href="WorkList_8h.html" target="_self">WorkList.h</a></td><td class="desc"></td></tr>
213
+ <tr id="row_0_0_10_25_" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="Z3Expr_8h_source.html"><span class="icondoc"></span></a><a class="el" href="Z3Expr_8h.html" target="_self">Z3Expr.h</a></td><td class="desc"></td></tr>
212
214
  <tr id="row_0_0_11_"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span id="arr_0_0_11_" class="arrow" onclick="toggleFolder('0_0_11_')">&#9658;</span><span id="img_0_0_11_" class="iconfclosed" onclick="toggleFolder('0_0_11_')">&#160;</span><a class="el" href="dir_44b8a8a7d90ce8b5d86cad1dadeedb05.html" target="_self">WPA</a></td><td class="desc"></td></tr>
213
215
  <tr id="row_0_0_11_0_" class="even" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="Andersen_8h_source.html"><span class="icondoc"></span></a><a class="el" href="Andersen_8h.html" target="_self">Andersen.h</a></td><td class="desc"></td></tr>
214
216
  <tr id="row_0_0_11_1_" class="even" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="AndersenPWC_8h_source.html"><span class="icondoc"></span></a><a class="el" href="AndersenPWC_8h.html" target="_self">AndersenPWC.h</a></td><td class="desc"></td></tr>
package/SVF-doxygen/html/functions.html CHANGED
@@ -68,7 +68,7 @@ $(function() {
68
68
  : <a class="el" href="classSVF_1_1AddressValue.html#aa2fb34da617be0cc5ccf4a1d404e32e5">SVF::AddressValue</a>
69
69
  </li>
70
70
  <li>_allComponents
71
- : <a class="el" href="classSVF_1_1CFBasicBlockGWTO.html#ac70fb325200079c4ffee90e1666a3694">SVF::CFBasicBlockGWTO</a>
71
+ : <a class="el" href="classSVF_1_1WTO.html#a649f1a93b6fd51553f6e144f2fe99542">SVF::WTO&lt; GraphT &gt;</a>
72
72
  </li>
73
73
  <li>_AnaTimeCyclePerQuery
74
74
  : <a class="el" href="classSVF_1_1DDAStat.html#aae8366a4876154fa66298c7bf0fc47c4">SVF::DDAStat</a>
@@ -120,8 +120,8 @@ $(function() {
120
120
  , <a class="el" href="classSVF_1_1FlowDDA.html#a0e10ce1de61977d2fbb3ad2f64df64b9">SVF::FlowDDA</a>
121
121
  </li>
122
122
  <li>_components
123
- : <a class="el" href="classSVF_1_1CFBasicBlockGWTO.html#add361ba0493a8fc9e9b08a4076a8e171">SVF::CFBasicBlockGWTO</a>
124
- , <a class="el" href="classSVF_1_1CFBasicBlockGWTOCycle.html#ac1093f863214966bd24e3696d276856f">SVF::CFBasicBlockGWTOCycle</a>
123
+ : <a class="el" href="classSVF_1_1WTO.html#acbc503aa22e6d9bf2f6406fc45ebbab1">SVF::WTO&lt; GraphT &gt;</a>
124
+ , <a class="el" href="classSVF_1_1WTOCycle.html#a8e781898712dae7399ded6ccdce6aa53">SVF::WTOCycle&lt; GraphT &gt;</a>
125
125
  </li>
126
126
  <li>_condPts
127
127
  : <a class="el" href="classSVF_1_1CondPointsToSet.html#ad0e1a70889a7bf2cb1b201a129128c52">SVF::CondPointsToSet&lt; Cond &gt;</a>
@@ -148,6 +148,9 @@ $(function() {
148
148
  <li>_endIter
149
149
  : <a class="el" href="classSVF_1_1CondPointsToSet_1_1CondPtsSetIterator.html#a9ffed93e0d4ae4b1431689b7fa5d6082">SVF::CondPointsToSet&lt; Cond &gt;::CondPtsSetIterator</a>
150
150
  </li>
151
+ <li>_entry
152
+ : <a class="el" href="classSVF_1_1WTO.html#a5853e7a33044635877b8f07de05ff047">SVF::WTO&lt; GraphT &gt;</a>
153
+ </li>
151
154
  <li>_es
152
155
  : <a class="el" href="classSVF_1_1SVFIR2ConsExeState.html#a89c8aeb1b6f0d1f953e756760f72c224">SVF::SVFIR2ConsExeState</a>
153
156
  , <a class="el" href="classSVF_1_1SVFIR2ItvExeState.html#ab6b5ed878ce12016424c48c6252a764e">SVF::SVFIR2ItvExeState</a>
@@ -156,28 +159,17 @@ $(function() {
156
159
  : <a class="el" href="classSVF_1_1SymState.html#a10f55ddb22731a3c50bff12c6afdbd50">SVF::SymState</a>
157
160
  </li>
158
161
  <li>_graph
159
- : <a class="el" href="classSVF_1_1CFBasicBlockGWTO.html#ad00addfd46be014c35a6ffbc9333d7f3">SVF::CFBasicBlockGWTO</a>
160
- , <a class="el" href="classSVF_1_1CFBasicBlockGWTO_1_1TailBuilder.html#aeb1a15b36d109ea3c286a73af5f08777">SVF::CFBasicBlockGWTO::TailBuilder</a>
161
- , <a class="el" href="classSVF_1_1GraphReachSolver.html#af486b67b972d797107ec82f3f7988668">SVF::GraphReachSolver&lt; GraphType, DPIm &gt;</a>
162
+ : <a class="el" href="classSVF_1_1GraphReachSolver.html#af486b67b972d797107ec82f3f7988668">SVF::GraphReachSolver&lt; GraphType, DPIm &gt;</a>
162
163
  , <a class="el" href="classSVF_1_1SCCDetection.html#a2123596f26729d61b241cf468d8925d8">SVF::SCCDetection&lt; GraphType &gt;</a>
163
164
  , <a class="el" href="classSVF_1_1SrcSnkSolver.html#a87242199e12fce5c5978ed0a4baa6b09">SVF::SrcSnkSolver&lt; GraphType, DPIm &gt;</a>
164
165
  , <a class="el" href="classSVF_1_1WPASolver.html#a87e9adb7fb0e0a42abaf90adac27a9c0">SVF::WPASolver&lt; GraphType &gt;</a>
166
+ , <a class="el" href="classSVF_1_1WTO.html#ae8e57cc333199bc8b5aaff0a825eed47">SVF::WTO&lt; GraphT &gt;</a>
165
167
  </li>
166
168
  <li>_head
167
- : <a class="el" href="classSVF_1_1CFBasicBlockGWTO_1_1TailBuilder.html#ae846777ace039ab74fad15ee52884f44">SVF::CFBasicBlockGWTO::TailBuilder</a>
168
- , <a class="el" href="classSVF_1_1CFBasicBlockGWTOCycle.html#a1a47343251d77e859dcae8aad05901da">SVF::CFBasicBlockGWTOCycle</a>
169
+ : <a class="el" href="classSVF_1_1WTOCycle.html#a1f54ed975152670e16280f8b12aebc66">SVF::WTOCycle&lt; GraphT &gt;</a>
169
170
  </li>
170
171
  <li>_heads
171
- : <a class="el" href="classSVF_1_1WTOCycleDepth.html#acbe5ed1e3ea411cc87c2fafa16f4c38f">SVF::WTOCycleDepth&lt; NodeRef &gt;</a>
172
- </li>
173
- <li>_headToCycle
174
- : <a class="el" href="classSVF_1_1CFBasicBlockGWTO.html#ab9fa2e63665b25c8fb771e92dc9b19dc">SVF::CFBasicBlockGWTO</a>
175
- </li>
176
- <li>_headToTails
177
- : <a class="el" href="classSVF_1_1CFBasicBlockGWTO.html#abb5b72dbfa6f00bf952f1b71deb48598">SVF::CFBasicBlockGWTO</a>
178
- </li>
179
- <li>_headWTOCycleDepth
180
- : <a class="el" href="classSVF_1_1CFBasicBlockGWTO_1_1TailBuilder.html#a27e3f03587ce871f41853e3be2537209">SVF::CFBasicBlockGWTO::TailBuilder</a>
172
+ : <a class="el" href="classSVF_1_1WTOCycleDepth.html#a6d7bd6b0da1527da8c85aab87462fba8">SVF::WTOCycleDepth&lt; GraphT &gt;</a>
181
173
  </li>
182
174
  <li>_I
183
175
  : <a class="el" href="classSVF_1_1CSC.html#af58e474ee7605663fd04fce58dc029d1">SVF::CSC</a>
@@ -259,7 +251,7 @@ $(function() {
259
251
  : <a class="el" href="classSVF_1_1NumericLiteral.html#ae3d91383159a67b9f5e102581229560a">SVF::NumericLiteral</a>
260
252
  </li>
261
253
  <li>_node
262
- : <a class="el" href="classSVF_1_1CFBasicBlockGWTONode.html#a2c032aada23502c3e71921e338f0db9f">SVF::CFBasicBlockGWTONode</a>
254
+ : <a class="el" href="classSVF_1_1WTONode.html#aa673666e3776f7b75b341dc1695841e9">SVF::WTONode&lt; GraphT &gt;</a>
263
255
  </li>
264
256
  <li>_nodeControlMap
265
257
  : <a class="el" href="classSVF_1_1CDGBuilder.html#a0774da5d81fe9e454800c63f2ada4a00">SVF::CDGBuilder</a>
@@ -271,17 +263,16 @@ $(function() {
271
263
  : <a class="el" href="classSVF_1_1SCCDetection.html#a55e1ac9dff59ff78d02e8799d306215b">SVF::SCCDetection&lt; GraphType &gt;</a>
272
264
  </li>
273
265
  <li>_nodeToCDN
274
- : <a class="el" href="classSVF_1_1CFBasicBlockGWTO.html#a84e542a2dc10c8d7e306b0134c66c02e">SVF::CFBasicBlockGWTO</a>
266
+ : <a class="el" href="classSVF_1_1WTO.html#a54d8c25df36b0c44d52369c4294a1ed8">SVF::WTO&lt; GraphT &gt;</a>
275
267
  </li>
276
268
  <li>_nodeToDepth
277
- : <a class="el" href="classSVF_1_1CFBasicBlockGWTO.html#ada96b743fb0fd92f5f2c539130404187">SVF::CFBasicBlockGWTO</a>
269
+ : <a class="el" href="classSVF_1_1WTO.html#ab6eebbf5ab6f6c3ee157e22da10620e9">SVF::WTO&lt; GraphT &gt;</a>
278
270
  </li>
279
271
  <li>_nodeToWTOCycleDepth
280
- : <a class="el" href="classSVF_1_1CFBasicBlockGWTO_1_1TailBuilder.html#a0a06c8bb53552030d11398955eae665c">SVF::CFBasicBlockGWTO::TailBuilder</a>
281
- , <a class="el" href="classSVF_1_1CFBasicBlockGWTO_1_1WTOCycleDepthBuilder.html#acf93107c39ff71f30c678edd38ec21ad">SVF::CFBasicBlockGWTO::WTOCycleDepthBuilder</a>
272
+ : <a class="el" href="classSVF_1_1WTO_1_1WTOCycleDepthBuilder.html#a853dc3f6646858f76de023925d9d6bce">SVF::WTO&lt; GraphT &gt;::WTOCycleDepthBuilder</a>
282
273
  </li>
283
274
  <li>_num
284
- : <a class="el" href="classSVF_1_1CFBasicBlockGWTO.html#a6f04a2b3e141e0b4df24ec6cfdf79532">SVF::CFBasicBlockGWTO</a>
275
+ : <a class="el" href="classSVF_1_1WTO.html#af3e699fe03e5072f057cf162aefe8c12">SVF::WTO&lt; GraphT &gt;</a>
285
276
  </li>
286
277
  <li>_NumEmptyVersions
287
278
  : <a class="el" href="classSVF_1_1VersionedFlowSensitiveStat.html#a585f952ecdbd9fb559d2a5754a77d7b4">SVF::VersionedFlowSensitiveStat</a>
@@ -429,7 +420,7 @@ $(function() {
429
420
  : <a class="el" href="classSVF_1_1SCCDetection.html#a0e9ca6d916963160fb4ae9acec1c1fe9">SVF::SCCDetection&lt; GraphType &gt;</a>
430
421
  </li>
431
422
  <li>_stack
432
- : <a class="el" href="classSVF_1_1CFBasicBlockGWTO.html#a97fb5b5dff4b1b08ee6fb09876630303">SVF::CFBasicBlockGWTO</a>
423
+ : <a class="el" href="classSVF_1_1WTO.html#a333df66435d9c4444ff7f729ca9d0050">SVF::WTO&lt; GraphT &gt;</a>
433
424
  </li>
434
425
  <li>_StrongUpdateStores
435
426
  : <a class="el" href="classSVF_1_1DDAStat.html#ad53ad7a958c05b45624d2859a6a9e647">SVF::DDAStat</a>
@@ -456,9 +447,6 @@ $(function() {
456
447
  <li>_T
457
448
  : <a class="el" href="classSVF_1_1SCCDetection.html#a0373c80345ffb147ba9a5f57e96d7745">SVF::SCCDetection&lt; GraphType &gt;</a>
458
449
  </li>
459
- <li>_tails
460
- : <a class="el" href="classSVF_1_1CFBasicBlockGWTO_1_1TailBuilder.html#a6328b869dd664d4eca8e13c4dae3703b">SVF::CFBasicBlockGWTO::TailBuilder</a>
461
- </li>
462
450
  <li>_totalCFBasicBlockEdge
463
451
  : <a class="el" href="classSVF_1_1CFBasicBlockGraph.html#a307a47681c72267f6e90d7009d1b3c6b">SVF::CFBasicBlockGraph</a>
464
452
  </li>
@@ -504,7 +492,7 @@ $(function() {
504
492
  : <a class="el" href="classSVF_1_1DDAStat.html#ac3189db5d8e17f64fdfcc9b040cf6100">SVF::DDAStat</a>
505
493
  </li>
506
494
  <li>_type
507
- : <a class="el" href="classSVF_1_1CFBasicBlockGWTOComp.html#afc8a2840e779e319aa4088cf7deecf54">SVF::CFBasicBlockGWTOComp</a>
495
+ : <a class="el" href="classSVF_1_1WTOComponent.html#a1da81c85c89d975b6df9dafdb32dc788">SVF::WTOComponent&lt; GraphT &gt;</a>
508
496
  </li>
509
497
  <li>_typeState
510
498
  : <a class="el" href="classSVF_1_1SymState.html#aaf72b784ae851cec1c6676f2f8f9038b">SVF::SymState</a>
@@ -539,7 +527,7 @@ $(function() {
539
527
  : <a class="el" href="classSVF_1_1PTAStat.html#a4ca7e1972a14b48225a2bd0f4bd8e825">SVF::PTAStat</a>
540
528
  </li>
541
529
  <li>_wtoCycleDepth
542
- : <a class="el" href="classSVF_1_1CFBasicBlockGWTO_1_1WTOCycleDepthBuilder.html#ad2be261b3cccfd58d83ad1d6659ef639">SVF::CFBasicBlockGWTO::WTOCycleDepthBuilder</a>
530
+ : <a class="el" href="classSVF_1_1WTO_1_1WTOCycleDepthBuilder.html#ad40b8e78a27207b8cf113517aed6dca3">SVF::WTO&lt; GraphT &gt;::WTOCycleDepthBuilder</a>
543
531
  </li>
544
532
  </ul>
545
533
  </div><!-- contents -->
package/SVF-doxygen/html/functions_a.html CHANGED
@@ -77,10 +77,10 @@ $(function() {
77
77
  : <a class="el" href="classSVF_1_1AbstractValue.html#afc79860ce75455825ff75d1fef804c16">SVF::AbstractValue</a>
78
78
  </li>
79
79
  <li>accept()
80
- : <a class="el" href="classSVF_1_1CFBasicBlockGWTO.html#afd0400cf19450143fa53b3a017e8a3cd">SVF::CFBasicBlockGWTO</a>
81
- , <a class="el" href="classSVF_1_1CFBasicBlockGWTOComp.html#abcf38d30d6739751c20ad612d26349a9">SVF::CFBasicBlockGWTOComp</a>
82
- , <a class="el" href="classSVF_1_1CFBasicBlockGWTOCycle.html#ae02e497f73b7217df31bc1bb86996132">SVF::CFBasicBlockGWTOCycle</a>
83
- , <a class="el" href="classSVF_1_1CFBasicBlockGWTONode.html#a2668c86630ba496424411bad5fec9190">SVF::CFBasicBlockGWTONode</a>
80
+ : <a class="el" href="classSVF_1_1WTO.html#af2ac6543be66a6ca5911f49f16c341c4">SVF::WTO&lt; GraphT &gt;</a>
81
+ , <a class="el" href="classSVF_1_1WTOComponent.html#a2b92d79dd17e8d89f2441c5655157b80">SVF::WTOComponent&lt; GraphT &gt;</a>
82
+ , <a class="el" href="classSVF_1_1WTOCycle.html#acb7a52e66c5ef16f01cf6b7637578fcd">SVF::WTOCycle&lt; GraphT &gt;</a>
83
+ , <a class="el" href="classSVF_1_1WTONode.html#a26f8f157a0661fff8d9f4f38d21a6445">SVF::WTONode&lt; GraphT &gt;</a>
84
84
  </li>
85
85
  <li>accessGlobal()
86
86
  : <a class="el" href="classSVF_1_1SaberSVFGBuilder.html#a4bfa849a30d1982ae597d26b4a01dd0f">SVF::SaberSVFGBuilder</a>
@@ -142,6 +142,9 @@ $(function() {
142
142
  <li>Add
143
143
  : <a class="el" href="classSVF_1_1BinaryOPStmt.html#a2f647224242dd87099104e0fdc994de6a06926877b6c25931a409224497753862">SVF::BinaryOPStmt</a>
144
144
  </li>
145
+ <li>add()
146
+ : <a class="el" href="classSVF_1_1WTOCycleDepth.html#a8df436e4ff4cc9df4900c1262cc89b1c">SVF::WTOCycleDepth&lt; GraphT &gt;</a>
147
+ </li>
145
148
  <li>addAbsExecBug()
146
149
  : <a class="el" href="classSVF_1_1SVFBugReport.html#a05f395eff23619ed10c31c0acda949e2">SVF::SVFBugReport</a>
147
150
  </li>
@@ -852,7 +855,7 @@ $(function() {
852
855
  , <a class="el" href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75af866301a661c59a7aa3182c0a7fc0c92">SVF::VFGNode</a>
853
856
  </li>
854
857
  <li>AddrCGEdge()
855
- : <a class="el" href="classSVF_1_1AddrCGEdge.html#a3e07c316815631b1ddfd35ae3781daab">SVF::AddrCGEdge</a>
858
+ : <a class="el" href="classSVF_1_1AddrCGEdge.html#a9c8da69a469e51d83c5009ba2685bcf6">SVF::AddrCGEdge</a>
856
859
  </li>
857
860
  <li>AddrCGEdgeSet
858
861
  : <a class="el" href="classSVF_1_1ConstraintGraph.html#a5bbd6df25027d26911f5d8d6a10881dc">SVF::ConstraintGraph</a>
@@ -873,7 +876,7 @@ $(function() {
873
876
  : <a class="el" href="classSVF_1_1ConstraintNode.html#af05accba5a61957323bc2fd409b6f6e0">SVF::ConstraintNode</a>
874
877
  </li>
875
878
  <li>AddressValue()
876
- : <a class="el" href="classSVF_1_1AddressValue.html#a5edc442bfe6f4e50c78acb83a906ba0e">SVF::AddressValue</a>
879
+ : <a class="el" href="classSVF_1_1AddressValue.html#ac7f6b332aedcf8a7d6cb0c9b661ce2bc">SVF::AddressValue</a>
877
880
  </li>
878
881
  <li>addRetBlock()
879
882
  : <a class="el" href="classSVF_1_1ICFG.html#ac58aa82eb74616a6608ff51d92f5baf6">SVF::ICFG</a>
@@ -890,7 +893,7 @@ $(function() {
890
893
  : <a class="el" href="classSVF_1_1SVFG.html#a8ebf0e285c69db8332a1f8914d6190f6">SVF::SVFG</a>
891
894
  </li>
892
895
  <li>addRetNode()
893
- : <a class="el" href="classSVF_1_1SVFIR.html#a1f63adcd679596996ee2eabf0179462f">SVF::SVFIR</a>
896
+ : <a class="el" href="classSVF_1_1SVFIR.html#a38f6d0c7db935fd4e556761f96f1fa09">SVF::SVFIR</a>
894
897
  </li>
895
898
  <li>addRetPE()
896
899
  : <a class="el" href="classSVF_1_1FormalRetVFGNode.html#a051f7dc0da465d7ce0dc733d9a8fae6a">SVF::FormalRetVFGNode</a>
@@ -921,7 +924,7 @@ $(function() {
921
924
  : <a class="el" href="classSVF_1_1FlowSensitive.html#a38f3ed35185addf701d4401bfdd5f29b">SVF::FlowSensitive</a>
922
925
  </li>
923
926
  <li>AddrVFGNode()
924
- : <a class="el" href="classSVF_1_1AddrVFGNode.html#ae83e51310f51cfb9cd7e2bb2002d758a">SVF::AddrVFGNode</a>
927
+ : <a class="el" href="classSVF_1_1AddrVFGNode.html#ad44d3d2b21708a472469b08450114f2c">SVF::AddrVFGNode</a>
925
928
  </li>
926
929
  <li>addSaberBug()
927
930
  : <a class="el" href="classSVF_1_1SVFBugReport.html#aca243a30fa7f65f3d21cddd18a8fbf45">SVF::SVFBugReport</a>
@@ -964,7 +967,7 @@ $(function() {
964
967
  : <a class="el" href="classSVF_1_1ConstraintGraph.html#a633666953f8d6675961981c4eab1adb0">SVF::ConstraintGraph</a>
965
968
  </li>
966
969
  <li>AddStoreCHI()
967
- : <a class="el" href="classSVF_1_1MemSSA.html#a0b60dea5024b7303e7d9f223dd45fc7c">SVF::MemSSA</a>
970
+ : <a class="el" href="classSVF_1_1MemSSA.html#a3a2dde7ee3aaf6f66038a6b5ae7255a0">SVF::MemSSA</a>
968
971
  </li>
969
972
  <li>addStoreEdge()
970
973
  : <a class="el" href="classSVF_1_1SVFIRBuilder.html#a30f043eeca79259d84b97e265110f018">SVF::SVFIRBuilder</a>
@@ -1116,7 +1119,7 @@ $(function() {
1116
1119
  : <a class="el" href="classSVF_1_1SVFIR.html#ac792c1f8b385515a8cc0a0303d40f212">SVF::SVFIR</a>
1117
1120
  </li>
1118
1121
  <li>addVarargNode()
1119
- : <a class="el" href="classSVF_1_1SVFIR.html#a6ade5bf3edc7b6c3faafc3e5ff3d0538">SVF::SVFIR</a>
1122
+ : <a class="el" href="classSVF_1_1SVFIR.html#a078c01295f47bf12f1a2b8abfab8b28d">SVF::SVFIR</a>
1120
1123
  </li>
1121
1124
  <li>addVariantGepCGEdge()
1122
1125
  : <a class="el" href="classSVF_1_1ConstraintGraph.html#a6902cabb252b1eaadb3c8220b4581a2f">SVF::ConstraintGraph</a>
@@ -1150,19 +1153,19 @@ $(function() {
1150
1153
  : <a class="el" href="classSVF_1_1SparseBitVector_1_1SparseBitVectorIterator.html#a346d500f11666f4746237f42a8d67fc1">SVF::SparseBitVector&lt; ElementSize &gt;::SparseBitVectorIterator</a>
1151
1154
  </li>
1152
1155
  <li>alias()
1153
- : <a class="el" href="classSVF_1_1BVDataPTAImpl.html#a63c474d3a2d4d196e167d6969c6ad21f">SVF::BVDataPTAImpl</a>
1156
+ : <a class="el" href="classSVF_1_1BVDataPTAImpl.html#a25720f154731a8c745da10aa76ab8517">SVF::BVDataPTAImpl</a>
1154
1157
  , <a class="el" href="classSVF_1_1CFLAlias.html#afb96040a903b9b889fcf23b26cb4565a">SVF::CFLAlias</a>
1155
- , <a class="el" href="classSVF_1_1CondPTAImpl.html#a167a232a697976602c2ad0eb6d35c2d6">SVF::CondPTAImpl&lt; Cond &gt;</a>
1158
+ , <a class="el" href="classSVF_1_1CondPTAImpl.html#ac18e1dc9c6fc8cc952f67a93c2491876">SVF::CondPTAImpl&lt; Cond &gt;</a>
1156
1159
  , <a class="el" href="classSVF_1_1DDAPass.html#a2635769ff8a1e0013b9b8546b18fcfeb">SVF::DDAPass</a>
1157
1160
  , <a class="el" href="classSVF_1_1LockAnalysis.html#a4424f27444c12dce8071c56a95c664bf">SVF::LockAnalysis</a>
1158
1161
  , <a class="el" href="classSVF_1_1PointerAnalysis.html#a0f712ead1f31750879948c36b2fc77cf">SVF::PointerAnalysis</a>
1159
1162
  , <a class="el" href="classSVF_1_1WPAPass.html#a92e19b9ddf342d688ff0f1aa6cecc729">SVF::WPAPass</a>
1160
1163
  </li>
1161
1164
  <li>alias_begin()
1162
- : <a class="el" href="classSVF_1_1SVFModule.html#a7f2b4647c8d69c8328b63e576cb6d065">SVF::SVFModule</a>
1165
+ : <a class="el" href="classSVF_1_1SVFModule.html#a0e28f6eaf32efc6f2c0987e64f1df852">SVF::SVFModule</a>
1163
1166
  </li>
1164
1167
  <li>alias_end()
1165
- : <a class="el" href="classSVF_1_1SVFModule.html#a3cfd0983849950099d1e8f8e0fda42bc">SVF::SVFModule</a>
1168
+ : <a class="el" href="classSVF_1_1SVFModule.html#a1bb5c818ec63d81a238f3d242a89079f">SVF::SVFModule</a>
1166
1169
  </li>
1167
1170
  <li>alias_iterator
1168
1171
  : <a class="el" href="classSVF_1_1SVFModule.html#abee99d29b7d4c4915a386895c755009c">SVF::SVFModule</a>