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/functions_type_b.html CHANGED
@@ -64,6 +64,10 @@ $(function() {
64
64
   
65
65
 
66
66
  <h3><a id="index_b"></a>- b -</h3><ul>
67
+ <li>Base
68
+ : <a class="el" href="classSVF_1_1CFBasicBlockGWTO.html#a78a298146b9c8c3af09ac9744b9043ca">SVF::CFBasicBlockGWTO</a>
69
+ , <a class="el" href="classSVF_1_1ICFGWTO.html#ae4e25014cecf1f57c8cf1800319aa98d">SVF::ICFGWTO</a>
70
+ </li>
67
71
  <li>BaseDFPTData
68
72
  : <a class="el" href="classSVF_1_1MutableDFPTData.html#a17a5aa4a749a5ffc75c663d057454e4a">SVF::MutableDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
69
73
  , <a class="el" href="classSVF_1_1MutableIncDFPTData.html#a4b944ec759d0e78a7a2238db587752a9">SVF::MutableIncDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
package/SVF-doxygen/html/functions_type_c.html CHANGED
@@ -184,14 +184,8 @@ $(function() {
184
184
  <li>CDGNodeIDToNodeMapTy
185
185
  : <a class="el" href="classSVF_1_1CDG.html#a11a2fac13eb704ea678d1e1bbd3e1466">SVF::CDG</a>
186
186
  </li>
187
- <li>CFBasicBlockGWTOCycleDepth
188
- : <a class="el" href="classSVF_1_1CFBasicBlockGWTO.html#acc7a69f2e4d44bda34a84ed68667b803">SVF::CFBasicBlockGWTO</a>
189
- </li>
190
- <li>CFBasicBlockGWTOCycleDepthPtr
191
- : <a class="el" href="classSVF_1_1CFBasicBlockGWTO.html#a1cb3ad13956ab175c4c16bd9c856de47">SVF::CFBasicBlockGWTO</a>
192
- </li>
193
- <li>CFBasicBlockNodes
194
- : <a class="el" href="classSVF_1_1CFBasicBlockGWTO.html#ae4fd19b6216a43afdac4edae42f22a26">SVF::CFBasicBlockGWTO</a>
187
+ <li>CFBasicBlockGWTONode
188
+ : <a class="el" href="classSVF_1_1CFBasicBlockGWTO.html#ad35362561a58036a5bed5184908adc03">SVF::CFBasicBlockGWTO</a>
195
189
  </li>
196
190
  <li>CFBBEdgeSetTy
197
191
  : <a class="el" href="classSVF_1_1CFBasicBlockEdge.html#a91416cbac7ad797a9b4ee67f93fbd8f4">SVF::CFBasicBlockEdge</a>
@@ -418,7 +412,7 @@ $(function() {
418
412
  : <a class="el" href="classSVF_1_1TCT.html#afdbc317c8db5e8e772221d6f7f9050a4">SVF::TCT</a>
419
413
  </li>
420
414
  <li>CycleDepthNumber
421
- : <a class="el" href="classSVF_1_1CFBasicBlockGWTO.html#a19ae57653ecb3c74d030bed48327ed0e">SVF::CFBasicBlockGWTO</a>
415
+ : <a class="el" href="classSVF_1_1WTO.html#a54890e9212acbff3ccd28d674f86e9e7">SVF::WTO&lt; GraphT &gt;</a>
422
416
  </li>
423
417
  </ul>
424
418
  </div><!-- contents -->
package/SVF-doxygen/html/functions_type_e.html CHANGED
@@ -64,6 +64,9 @@ $(function() {
64
64
  &#160;
65
65
 
66
66
  <h3><a id="index_e"></a>- e -</h3><ul>
67
+ <li>EdgeT
68
+ : <a class="el" href="classSVF_1_1WTO.html#a620d528ac72c17913b462acedb8e88c3">SVF::WTO&lt; GraphT &gt;</a>
69
+ </li>
67
70
  <li>EdgeType
68
71
  : <a class="el" href="classSVF_1_1GenericGraph.html#a12d493d6ad2b6c89f240c9ccfa3bdf30">SVF::GenericGraph&lt; NodeTy, EdgeTy &gt;</a>
69
72
  , <a class="el" href="structSVF_1_1GenericGraphTraits_3_01Inverse_3_01SVF_1_1GenericNode_3_01NodeTy_00_01EdgeTy_01_4_01_5_01_4_01_4.html#a938d240530e9f6d28c32a1445f451626">SVF::GenericGraphTraits&lt; Inverse&lt; SVF::GenericNode&lt; NodeTy, EdgeTy &gt; * &gt; &gt;</a>
package/SVF-doxygen/html/functions_type_g.html CHANGED
@@ -118,6 +118,9 @@ $(function() {
118
118
  <li>GNodeStack
119
119
  : <a class="el" href="classSVF_1_1SCCDetection.html#a84fc3aef6f950471a539b7d9fa3c1289">SVF::SCCDetection&lt; GraphType &gt;</a>
120
120
  </li>
121
+ <li>GraphTWTOCycleDepth
122
+ : <a class="el" href="classSVF_1_1WTO.html#ae2cde12ccd4206b7ace44bc2146c792e">SVF::WTO&lt; GraphT &gt;</a>
123
+ </li>
121
124
  <li>GraphType
122
125
  : <a class="el" href="classSVF_1_1GenericGraphWriter.html#a2c6d4c492b073f1b11440f606ed3cc92">SVF::GenericGraphWriter&lt; NodeTy, EdgeTy &gt;</a>
123
126
  </li>
package/SVF-doxygen/html/functions_type_i.html CHANGED
@@ -90,6 +90,9 @@ $(function() {
90
90
  <li>ICFGNodeVector
91
91
  : <a class="el" href="classSVF_1_1CDG.html#ae886ef8618ac9b16490270f6eb83a210">SVF::CDG</a>
92
92
  </li>
93
+ <li>ICFGWTONode
94
+ : <a class="el" href="classSVF_1_1ICFGWTO.html#aebed373baddc2aa1c74b9e7aff501a2c">SVF::ICFGWTO</a>
95
+ </li>
93
96
  <li>IdToCallSiteMap
94
97
  : <a class="el" href="classSVF_1_1PTACallGraph.html#a5f626f5c9254b9e643d943e59068efba">SVF::PTACallGraph</a>
95
98
  </li>
@@ -170,13 +173,7 @@ $(function() {
170
173
  : <a class="el" href="classSVF_1_1CDG.html#a2d92bee17875c2959a7fc657fd3498c8">SVF::CDG</a>
171
174
  , <a class="el" href="classSVF_1_1CDGNode.html#a3fa53ec2c78c57d8c5853c5b223c43f0">SVF::CDGNode</a>
172
175
  , <a class="el" href="classSVF_1_1CFBasicBlockEdge.html#a00cb890f5d3b51654bc7fe98d19406a4">SVF::CFBasicBlockEdge</a>
173
- </li>
174
- <li>Iterator
175
- : <a class="el" href="classSVF_1_1CFBasicBlockGWTO.html#ac767b7bdc3ee6f7e73fc36fa2d1e2745">SVF::CFBasicBlockGWTO</a>
176
- , <a class="el" href="classSVF_1_1CFBasicBlockGWTOCycle.html#af4f9d44087dceb6c028abf585b5a6d5b">SVF::CFBasicBlockGWTOCycle</a>
177
- </li>
178
- <li>iterator
179
- : <a class="el" href="classSVF_1_1CFBasicBlockNode.html#ad33fdf14d9334bd468d9eb541e0e8a31">SVF::CFBasicBlockNode</a>
176
+ , <a class="el" href="classSVF_1_1CFBasicBlockNode.html#ad33fdf14d9334bd468d9eb541e0e8a31">SVF::CFBasicBlockNode</a>
180
177
  , <a class="el" href="classSVF_1_1CondPointsToSet.html#a76d4c06b04161738351a813ae406aa83">SVF::CondPointsToSet&lt; Cond &gt;</a>
181
178
  , <a class="el" href="classSVF_1_1CondStdSet.html#a6d82b5ddafa28542ce65adb0cc56cdce">SVF::CondStdSet&lt; Element &gt;</a>
182
179
  , <a class="el" href="classSVF_1_1ConstraintNode.html#a19ebc316f4fa0246debb1ca61c2b2f3f">SVF::ConstraintNode</a>
@@ -196,7 +193,9 @@ $(function() {
196
193
  , <a class="el" href="classSVF_1_1VFGNode.html#a8b320525e5a0ed93030d578030761124">SVF::VFGNode</a>
197
194
  </li>
198
195
  <li>Iterator
199
- : <a class="el" href="classSVF_1_1WTOCycleDepth.html#a57a181856416fa5fe6b513c279a6c788">SVF::WTOCycleDepth&lt; NodeRef &gt;</a>
196
+ : <a class="el" href="classSVF_1_1WTO.html#a49ea9544fc55c3de1b3aebde1ba69470">SVF::WTO&lt; GraphT &gt;</a>
197
+ , <a class="el" href="classSVF_1_1WTOCycle.html#ad0a2a2bb4c2d6eafaedbf04ced31243d">SVF::WTOCycle&lt; GraphT &gt;</a>
198
+ , <a class="el" href="classSVF_1_1WTOCycleDepth.html#a375803014eebb65532a843eee6d9a690">SVF::WTOCycleDepth&lt; GraphT &gt;</a>
200
199
  </li>
201
200
  <li>iterator_category
202
201
  : <a class="el" href="classSVF_1_1CoreBitVector_1_1CoreBitVectorIterator.html#a3b33f7857169d26e1b90fbaa593e79ef">SVF::CoreBitVector::CoreBitVectorIterator</a>
package/SVF-doxygen/html/functions_type_n.html CHANGED
@@ -120,22 +120,20 @@ $(function() {
120
120
  , <a class="el" href="classSVF_1_1GraphWriter.html#ac2141c33c4075610f8253287ee4ff0c6">SVF::GraphWriter&lt; GraphType &gt;</a>
121
121
  </li>
122
122
  <li>NodeRefList
123
- : <a class="el" href="classSVF_1_1WTOCycleDepth.html#a39e8c68176dac40715f6b1595bca489b">SVF::WTOCycleDepth&lt; NodeRef &gt;</a>
124
- </li>
125
- <li>NodeRefSet
126
- : <a class="el" href="classSVF_1_1CFBasicBlockGWTO.html#ada27aa4f9b577c7f7cef09e9936327f2">SVF::CFBasicBlockGWTO</a>
123
+ : <a class="el" href="classSVF_1_1WTO.html#a7be430782b325bbb92d9fd014e9c68c0">SVF::WTO&lt; GraphT &gt;</a>
124
+ , <a class="el" href="classSVF_1_1WTOCycleDepth.html#af4c6d0f992a1844aa21a6d26be66b34c">SVF::WTOCycleDepth&lt; GraphT &gt;</a>
127
125
  </li>
128
126
  <li>NodeRefToCycleDepthNumber
129
- : <a class="el" href="classSVF_1_1CFBasicBlockGWTO.html#ae675544cc2cfc61ef9e37c4f20fa6109">SVF::CFBasicBlockGWTO</a>
127
+ : <a class="el" href="classSVF_1_1WTO.html#a93a5b48c93dc4f01f50040e71c5aeada">SVF::WTO&lt; GraphT &gt;</a>
130
128
  </li>
131
- <li>NodeRefToNodeRefSetMap
132
- : <a class="el" href="classSVF_1_1CFBasicBlockGWTO.html#a8ebe4f04e2c73a441e58b2e0533a75a5">SVF::CFBasicBlockGWTO</a>
129
+ <li>NodeRefTONodeRefListMap
130
+ : <a class="el" href="classSVF_1_1WTO.html#ae652de9cb9fca45b8cb6c08606d7971a">SVF::WTO&lt; GraphT &gt;</a>
133
131
  </li>
134
132
  <li>NodeRefToWTOCycleDepthPtr
135
- : <a class="el" href="classSVF_1_1CFBasicBlockGWTO.html#ac63d14c8e4957217f71f507d05f3ec5a">SVF::CFBasicBlockGWTO</a>
133
+ : <a class="el" href="classSVF_1_1WTO.html#a4d7362b707ea6013811db5ffa80aeb0b">SVF::WTO&lt; GraphT &gt;</a>
136
134
  </li>
137
135
  <li>NodeRefToWTOCycleMap
138
- : <a class="el" href="classSVF_1_1CFBasicBlockGWTO.html#a3c454131bb83a95d23070d0d732e4e5f">SVF::CFBasicBlockGWTO</a>
136
+ : <a class="el" href="classSVF_1_1WTO.html#a9103af81d0c21787dcc96188ea243d0a">SVF::WTO&lt; GraphT &gt;</a>
139
137
  </li>
140
138
  <li>nodes_iterator
141
139
  : <a class="el" href="structSVF_1_1GenericGraphTraits_3_01SVF_1_1GenericGraph_3_01NodeTy_00_01EdgeTy_01_4_01_5_01_4.html#a3dfaa09a91e899f747727144d26e483f">SVF::GenericGraphTraits&lt; SVF::GenericGraph&lt; NodeTy, EdgeTy &gt; * &gt;</a>
@@ -143,6 +141,12 @@ $(function() {
143
141
  <li>NodeStrides
144
142
  : <a class="el" href="classSVF_1_1AndersenSFR.html#ae81c9716b434f0f1e372d0ddf7003910">SVF::AndersenSFR</a>
145
143
  </li>
144
+ <li>NodeT
145
+ : <a class="el" href="classSVF_1_1WTO.html#a78e43eb435fb7f5ee47670f10c6e67f2">SVF::WTO&lt; GraphT &gt;</a>
146
+ , <a class="el" href="classSVF_1_1WTOCycle.html#a1c4a4a2387abd60e1fa1d4cee6b83b55">SVF::WTOCycle&lt; GraphT &gt;</a>
147
+ , <a class="el" href="classSVF_1_1WTOCycleDepth.html#ac1a815006184b8a54a1390832f929630">SVF::WTOCycleDepth&lt; GraphT &gt;</a>
148
+ , <a class="el" href="classSVF_1_1WTONode.html#a65738a32240777ce6ded22d2c4adbaf8">SVF::WTONode&lt; GraphT &gt;</a>
149
+ </li>
146
150
  <li>NodeToEquivClassMap
147
151
  : <a class="el" href="classSVF_1_1Steensgaard.html#a7f975fd9a694f4b06bab8f3deef9d60b">SVF::Steensgaard</a>
148
152
  </li>
package/SVF-doxygen/html/functions_type_s.html CHANGED
@@ -81,6 +81,9 @@ $(function() {
81
81
  <li>size_type
82
82
  : <a class="el" href="structSVF_1_1SparseBitVectorElement.html#ad9e38352db094adcdfb2964f325d9e53">SVF::SparseBitVectorElement&lt; ElementSize &gt;</a>
83
83
  </li>
84
+ <li>Stack
85
+ : <a class="el" href="classSVF_1_1WTO.html#ab35eabe45c6b944b26532fbe630cd019">SVF::WTO&lt; GraphT &gt;</a>
86
+ </li>
84
87
  <li>STORECHI
85
88
  : <a class="el" href="classSVF_1_1MemSSA.html#a150e9d53ced1c143bba2d1026f739fa4">SVF::MemSSA</a>
86
89
  , <a class="el" href="classSVF_1_1SVFG.html#ad14cdbb3f1df1f716aa03b4d39f4e52b">SVF::SVFG</a>
package/SVF-doxygen/html/functions_type_w.html CHANGED
@@ -86,14 +86,27 @@ $(function() {
86
86
  <li>WorkStack
87
87
  : <a class="el" href="classSVF_1_1CSC.html#a0490b9998987d245ee6e56bc68db4f1e">SVF::CSC</a>
88
88
  </li>
89
- <li>WtoComponentRefList
90
- : <a class="el" href="classSVF_1_1CFBasicBlockGWTOCycle.html#a68cc18d5e3e4be58467f4aa0806dcd59">SVF::CFBasicBlockGWTOCycle</a>
89
+ <li>WTOComponentRefList
90
+ : <a class="el" href="classSVF_1_1WTO.html#ac1a8ef3c15d484dc4f593b7d737e7de9">SVF::WTO&lt; GraphT &gt;</a>
91
+ , <a class="el" href="classSVF_1_1WTOCycle.html#a04d7ad708faad0b6cb360e6010c21600">SVF::WTOCycle&lt; GraphT &gt;</a>
91
92
  </li>
92
- <li>WTOCompRefList
93
- : <a class="el" href="classSVF_1_1CFBasicBlockGWTO.html#a1e6c7cb2b79de62cbad8d29980d5cf38">SVF::CFBasicBlockGWTO</a>
93
+ <li>WTOComponentRefSet
94
+ : <a class="el" href="classSVF_1_1WTO.html#a928688b5f1e2111311262ccd936b1ca9">SVF::WTO&lt; GraphT &gt;</a>
94
95
  </li>
95
- <li>WTOCompRefSet
96
- : <a class="el" href="classSVF_1_1CFBasicBlockGWTO.html#a2a453341c33faac3e74bb54d8da6db18">SVF::CFBasicBlockGWTO</a>
96
+ <li>WTOComponentT
97
+ : <a class="el" href="classSVF_1_1WTO.html#a43bd515dd7ea9ae1f56b79d29cfdc00c">SVF::WTO&lt; GraphT &gt;</a>
98
+ , <a class="el" href="classSVF_1_1WTOCycle.html#adaa4b0f063eaf6f1bd02da38fd3b29de">SVF::WTOCycle&lt; GraphT &gt;</a>
99
+ </li>
100
+ <li>WTOCycleDepthPtr
101
+ : <a class="el" href="classSVF_1_1WTO.html#a8022c9a6ebc62ed292698f07ab93bafe">SVF::WTO&lt; GraphT &gt;</a>
102
+ </li>
103
+ <li>WTOCycleT
104
+ : <a class="el" href="classSVF_1_1WTO.html#a71a0d4afca77f59db4829c7b39419429">SVF::WTO&lt; GraphT &gt;</a>
105
+ , <a class="el" href="classSVF_1_1WTOComponentVisitor.html#a978324f9b276a9d086b9e7a12feac997">SVF::WTOComponentVisitor&lt; GraphT &gt;</a>
106
+ </li>
107
+ <li>WTONodeT
108
+ : <a class="el" href="classSVF_1_1WTO.html#a96f37d843d4bd7c2b30cfc5bc59cf90d">SVF::WTO&lt; GraphT &gt;</a>
109
+ , <a class="el" href="classSVF_1_1WTOComponentVisitor.html#a873b7e2a4166cb6a5b48a63dbafa295d">SVF::WTOComponentVisitor&lt; GraphT &gt;</a>
97
110
  </li>
98
111
  </ul>
99
112
  </div><!-- contents -->
package/SVF-doxygen/html/functions_v.html CHANGED
@@ -144,12 +144,12 @@ $(function() {
144
144
  <li>ValVar()
145
145
  : <a class="el" href="classSVF_1_1ValVar.html#a5c097c0686df4897325bbdbb4067d6e5">SVF::ValVar</a>
146
146
  </li>
147
- <li>Var2LabelMap
148
- : <a class="el" href="classSVF_1_1SVFStmt.html#ad178ccbc7800527c3dc406ad5fa069bb">SVF::SVFStmt</a>
149
- </li>
150
147
  <li>var2LabelMap
151
148
  : <a class="el" href="classSVF_1_1SVFStmt.html#a24c64109d27ef7549d1c7a07c391e007">SVF::SVFStmt</a>
152
149
  </li>
150
+ <li>Var2LabelMap
151
+ : <a class="el" href="classSVF_1_1SVFStmt.html#ad178ccbc7800527c3dc406ad5fa069bb">SVF::SVFStmt</a>
152
+ </li>
153
153
  <li>VAR_ARRAY_OBJ
154
154
  : <a class="el" href="classSVF_1_1ObjTypeInfo.html#a91b41b7ade5871362b77a2ef566b2830adedc43e0fcaebf433120869aa9307b1c">SVF::ObjTypeInfo</a>
155
155
  </li>
@@ -357,7 +357,7 @@ $(function() {
357
357
  : <a class="el" href="classSVF_1_1SVFIRReader.html#ae46f4cf64824aa037447540ad60b239c">SVF::SVFIRReader</a>
358
358
  </li>
359
359
  <li>virtToJson()
360
- : <a class="el" href="classSVF_1_1SVFIRWriter.html#aef21822272ff9a57cdeb4a8b7a326047">SVF::SVFIRWriter</a>
360
+ : <a class="el" href="classSVF_1_1SVFIRWriter.html#a887a06136229f978a1084f23b0491d32">SVF::SVFIRWriter</a>
361
361
  </li>
362
362
  <li>virtualFunctionToIDMap
363
363
  : <a class="el" href="classSVF_1_1CHGraph.html#a70a2bab82563a910d32a9169030596c0">SVF::CHGraph</a>
@@ -369,13 +369,12 @@ $(function() {
369
369
  : <a class="el" href="classSVF_1_1SVFVirtualCallInst.html#adfb8e01d3715f0cf49db23544f4593e6">SVF::SVFVirtualCallInst</a>
370
370
  </li>
371
371
  <li>visit()
372
- : <a class="el" href="classSVF_1_1CFBasicBlockGWTO_1_1TailBuilder.html#a8daebe6f986aa1ab5e73368f69ea49e1">SVF::CFBasicBlockGWTO::TailBuilder</a>
373
- , <a class="el" href="classSVF_1_1CFBasicBlockGWTO.html#af7351af6e43b593b9915ed2a2d0d16fb">SVF::CFBasicBlockGWTO</a>
374
- , <a class="el" href="classSVF_1_1CFBasicBlockGWTO_1_1WTOCycleDepthBuilder.html#a3e28b1d60a731c51f6c9a12ddf4c8f20">SVF::CFBasicBlockGWTO::WTOCycleDepthBuilder</a>
375
- , <a class="el" href="classSVF_1_1CSC.html#a2863ae212693f9ca6341e23f9d9634bf">SVF::CSC</a>
372
+ : <a class="el" href="classSVF_1_1CSC.html#a2863ae212693f9ca6341e23f9d9634bf">SVF::CSC</a>
376
373
  , <a class="el" href="classSVF_1_1SCCDetection.html#af799d7043e501e43e04e51fd4d6c6571">SVF::SCCDetection&lt; GraphType &gt;</a>
377
374
  , <a class="el" href="classSVF_1_1VersionedFlowSensitive_1_1SCC.html#abbac2470771fc7dbc702eda9031bcad8">SVF::VersionedFlowSensitive::SCC</a>
378
- , <a class="el" href="classSVF_1_1WTOVisitor.html#a091a17f6b7eeee138fcde4499eb17311">SVF::WTOVisitor</a>
375
+ , <a class="el" href="classSVF_1_1WTO.html#a56259113c30312e5052d0d8c0d4d6b77">SVF::WTO&lt; GraphT &gt;</a>
376
+ , <a class="el" href="classSVF_1_1WTO_1_1WTOCycleDepthBuilder.html#aad99b0e8004bb36b9a4ba81ea16c5d90">SVF::WTO&lt; GraphT &gt;::WTOCycleDepthBuilder</a>
377
+ , <a class="el" href="classSVF_1_1WTOComponentVisitor.html#a1a5052418f6e73c9da9cee44dc50443d">SVF::WTOComponentVisitor&lt; GraphT &gt;</a>
379
378
  </li>
380
379
  <li>visitAllocaInst()
381
380
  : <a class="el" href="classSVF_1_1SVFIRBuilder.html#a4be150eb37b75e4c081dfe38429f2089">SVF::SVFIRBuilder</a>
package/SVF-doxygen/html/functions_vars.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_vars_h.html CHANGED
@@ -76,6 +76,9 @@ $(function() {
76
76
  <li>headmap
77
77
  : <a class="el" href="classSVF_1_1MTASVFGBuilder.html#ac92452c257052706b1cf1737b266eec1">SVF::MTASVFGBuilder</a>
78
78
  </li>
79
+ <li>headRefToCycle
80
+ : <a class="el" href="classSVF_1_1WTO.html#a5752288fb686b9ef5d6c8edc0cee6348">SVF::WTO&lt; GraphT &gt;</a>
81
+ </li>
79
82
  <li>hooks
80
83
  : <a class="el" href="structparse__buffer.html#a2c3e99b15da2935fc5d58124ffb4a894">parse_buffer</a>
81
84
  , <a class="el" href="structprintbuffer.html#a43a8b3bcc644432f12f5aed5159d2520">printbuffer</a>
package/SVF-doxygen/html/functions_vars_p.html CHANGED
@@ -246,6 +246,9 @@ $(function() {
246
246
  <li>PrintFieldWithBasePrefix
247
247
  : <a class="el" href="classSVF_1_1Options.html#a404f9785ed3e592e0c36d91cd6730655">SVF::Options</a>
248
248
  </li>
249
+ <li>printGeneralStats
250
+ : <a class="el" href="classSVF_1_1SVFStat.html#a218fc579a41983cad3f17f90e656ee72">SVF::SVFStat</a>
251
+ </li>
249
252
  <li>PrintInterLev
250
253
  : <a class="el" href="classSVF_1_1Options.html#a1c6e39ebc266c754de4d78a31cc021ba">SVF::Options</a>
251
254
  </li>
package/SVF-doxygen/html/functions_vars_t.html CHANGED
@@ -312,9 +312,6 @@ $(function() {
312
312
  <li>TypePrint
313
313
  : <a class="el" href="classSVF_1_1Options.html#a83103f0d5f166e0bb062aa7d7b393ddd">SVF::Options</a>
314
314
  </li>
315
- <li>typeSystem
316
- : <a class="el" href="classSVF_1_1PointerAnalysis.html#a219baed92b811d5519b056ad393fceed">SVF::PointerAnalysis</a>
317
- </li>
318
315
  </ul>
319
316
  </div><!-- contents -->
320
317
  <!-- start footer part -->
package/SVF-doxygen/html/functions_vars_w.html CHANGED
@@ -92,6 +92,10 @@ $(function() {
92
92
  <li>WriteSVFG
93
93
  : <a class="el" href="classSVF_1_1Options.html#a26711c33c9247a296f6dfaaf36d38e47">SVF::Options</a>
94
94
  </li>
95
+ <li>WTOComponentPtr
96
+ : <a class="el" href="classSVF_1_1WTO.html#a15ecb3d149a88c93318133314d010954">SVF::WTO&lt; GraphT &gt;</a>
97
+ , <a class="el" href="classSVF_1_1WTOCycle.html#acc26c1e8e39691416b590d1a29f57c38">SVF::WTOCycle&lt; GraphT &gt;</a>
98
+ </li>
95
99
  </ul>
96
100
  </div><!-- contents -->
97
101
  <!-- start footer part -->
package/SVF-doxygen/html/functions_w.html CHANGED
@@ -113,33 +113,31 @@ $(function() {
113
113
  , <a class="el" href="classSVF_1_1CHGBuilder.html#a727a1737e7290536b29b05e03d8b85ac">SVF::CHGBuilder</a>
114
114
  , <a class="el" href="classSVF_1_1CHGraph.html#af1b638faf888898cdf168c25e008ab12">SVF::CHGraph</a>
115
115
  , <a class="el" href="classSVF_1_1ConstraintGraph.html#ae80fc7e5d68e103d8f3a82bc9ffb0f00">SVF::ConstraintGraph</a>
116
- , <a class="el" href="classSVF_1_1GraphReachSolver.html#a472784c3cb958b4347958f039d2fe054">SVF::GraphReachSolver&lt; GraphType, DPIm &gt;</a>
117
116
  </li>
118
117
  <li>worklist
119
118
  : <a class="el" href="classSVF_1_1GraphReachSolver.html#a5032d3988dbce5a29274c55dc4dbe6bc">SVF::GraphReachSolver&lt; GraphType, DPIm &gt;</a>
120
119
  </li>
121
120
  <li>WorkList
122
- : <a class="el" href="classSVF_1_1ICFGBuilder.html#a2dc4467008cdd6eb896e98b67457082a">SVF::ICFGBuilder</a>
121
+ : <a class="el" href="classSVF_1_1GraphReachSolver.html#a472784c3cb958b4347958f039d2fe054">SVF::GraphReachSolver&lt; GraphType, DPIm &gt;</a>
122
+ , <a class="el" href="classSVF_1_1ICFGBuilder.html#a2dc4467008cdd6eb896e98b67457082a">SVF::ICFGBuilder</a>
123
123
  , <a class="el" href="classSVF_1_1LeakChecker.html#af1e1f0fd38f72dcdfb5daa3d8af9538b">SVF::LeakChecker</a>
124
124
  , <a class="el" href="classSVF_1_1MRGenerator.html#a68d50c752252bd40c402c7b99b95f0fc">SVF::MRGenerator</a>
125
125
  , <a class="el" href="classSVF_1_1SaberSVFGBuilder.html#a8e07c6afc4ae6e2792431065c2948039">SVF::SaberSVFGBuilder</a>
126
126
  , <a class="el" href="classSVF_1_1SrcSnkDDA.html#a3c0d8850c4dae49a760ce5f80fb8822a">SVF::SrcSnkDDA</a>
127
+ , <a class="el" href="classSVF_1_1SrcSnkSolver.html#a19861635c58ef6db7347c22daabf80da">SVF::SrcSnkSolver&lt; GraphType, DPIm &gt;</a>
127
128
  </li>
128
129
  <li>worklist
129
130
  : <a class="el" href="classSVF_1_1SrcSnkSolver.html#aeecbd88066567b2f123e84072dd09941">SVF::SrcSnkSolver&lt; GraphType, DPIm &gt;</a>
130
131
  </li>
131
132
  <li>WorkList
132
- : <a class="el" href="classSVF_1_1SrcSnkSolver.html#a19861635c58ef6db7347c22daabf80da">SVF::SrcSnkSolver&lt; GraphType, DPIm &gt;</a>
133
+ : <a class="el" href="classSVF_1_1SVFGOPT.html#a3ee399dc45e90a512be7575642855f40">SVF::SVFGOPT</a>
133
134
  </li>
134
135
  <li>worklist
135
136
  : <a class="el" href="classSVF_1_1SVFGOPT.html#a925f39665e13b18dfe66c2dded44c194">SVF::SVFGOPT</a>
137
+ , <a class="el" href="classSVF_1_1WPASolver.html#a1775717a8c8d5d125b7561bc1ae6abf5">SVF::WPASolver&lt; GraphType &gt;</a>
136
138
  </li>
137
139
  <li>WorkList
138
- : <a class="el" href="classSVF_1_1SVFGOPT.html#a3ee399dc45e90a512be7575642855f40">SVF::SVFGOPT</a>
139
- , <a class="el" href="classSVF_1_1WPASolver.html#a624e9156b2d3a4f284548cbaaf650334">SVF::WPASolver&lt; GraphType &gt;</a>
140
- </li>
141
- <li>worklist
142
- : <a class="el" href="classSVF_1_1WPASolver.html#a1775717a8c8d5d125b7561bc1ae6abf5">SVF::WPASolver&lt; GraphType &gt;</a>
140
+ : <a class="el" href="classSVF_1_1WPASolver.html#a624e9156b2d3a4f284548cbaaf650334">SVF::WPASolver&lt; GraphType &gt;</a>
143
141
  </li>
144
142
  <li>WorkStack
145
143
  : <a class="el" href="classSVF_1_1CSC.html#a0490b9998987d245ee6e56bc68db4f1e">SVF::CSC</a>
@@ -214,26 +212,55 @@ $(function() {
214
212
  <li>writeVersionedAnalysisResultToFile()
215
213
  : <a class="el" href="classSVF_1_1VersionedFlowSensitive.html#ab2c21cc1e4cd4d7dbc12b6bd9f34d971">SVF::VersionedFlowSensitive</a>
216
214
  </li>
217
- <li>WtoComponentRefList
218
- : <a class="el" href="classSVF_1_1CFBasicBlockGWTOCycle.html#a68cc18d5e3e4be58467f4aa0806dcd59">SVF::CFBasicBlockGWTOCycle</a>
215
+ <li>WTO()
216
+ : <a class="el" href="classSVF_1_1WTO.html#a0a8be6a1d8bd92d38eec429f68ce0414">SVF::WTO&lt; GraphT &gt;</a>
217
+ </li>
218
+ <li>WTOComponent()
219
+ : <a class="el" href="classSVF_1_1WTOComponent.html#ad26a0586d1561625da575ffee89872ba">SVF::WTOComponent&lt; GraphT &gt;</a>
220
+ </li>
221
+ <li>WTOComponentPtr
222
+ : <a class="el" href="classSVF_1_1WTO.html#a15ecb3d149a88c93318133314d010954">SVF::WTO&lt; GraphT &gt;</a>
223
+ , <a class="el" href="classSVF_1_1WTOCycle.html#acc26c1e8e39691416b590d1a29f57c38">SVF::WTOCycle&lt; GraphT &gt;</a>
219
224
  </li>
220
- <li>WTOCompRefList
221
- : <a class="el" href="classSVF_1_1CFBasicBlockGWTO.html#a1e6c7cb2b79de62cbad8d29980d5cf38">SVF::CFBasicBlockGWTO</a>
225
+ <li>WTOComponentRefList
226
+ : <a class="el" href="classSVF_1_1WTO.html#ac1a8ef3c15d484dc4f593b7d737e7de9">SVF::WTO&lt; GraphT &gt;</a>
227
+ , <a class="el" href="classSVF_1_1WTOCycle.html#a04d7ad708faad0b6cb360e6010c21600">SVF::WTOCycle&lt; GraphT &gt;</a>
222
228
  </li>
223
- <li>WTOCompRefSet
224
- : <a class="el" href="classSVF_1_1CFBasicBlockGWTO.html#a2a453341c33faac3e74bb54d8da6db18">SVF::CFBasicBlockGWTO</a>
229
+ <li>WTOComponentRefSet
230
+ : <a class="el" href="classSVF_1_1WTO.html#a928688b5f1e2111311262ccd936b1ca9">SVF::WTO&lt; GraphT &gt;</a>
225
231
  </li>
226
- <li>WtoCT
227
- : <a class="el" href="classSVF_1_1CFBasicBlockGWTOComp.html#a83d5f4a0d2c4efc9840d30f1a1c3b300">SVF::CFBasicBlockGWTOComp</a>
232
+ <li>WTOComponentT
233
+ : <a class="el" href="classSVF_1_1WTO.html#a43bd515dd7ea9ae1f56b79d29cfdc00c">SVF::WTO&lt; GraphT &gt;</a>
234
+ , <a class="el" href="classSVF_1_1WTOCycle.html#adaa4b0f063eaf6f1bd02da38fd3b29de">SVF::WTOCycle&lt; GraphT &gt;</a>
235
+ </li>
236
+ <li>WTOComponentVisitor()
237
+ : <a class="el" href="classSVF_1_1WTOComponentVisitor.html#a829bc3b32dcb5740da40c5cff75680d9">SVF::WTOComponentVisitor&lt; GraphT &gt;</a>
238
+ </li>
239
+ <li>WTOCT
240
+ : <a class="el" href="classSVF_1_1WTOComponent.html#a3c2b9ef6ae6a3d47b0bba929f12560f7">SVF::WTOComponent&lt; GraphT &gt;</a>
241
+ </li>
242
+ <li>WTOCycle()
243
+ : <a class="el" href="classSVF_1_1WTOCycle.html#a19ad36eef78d46348ca75c5d2e12519b">SVF::WTOCycle&lt; GraphT &gt;</a>
228
244
  </li>
229
245
  <li>WTOCycleDepth()
230
- : <a class="el" href="classSVF_1_1WTOCycleDepth.html#afc723013529bd727de465237b9f247b9">SVF::WTOCycleDepth&lt; NodeRef &gt;</a>
246
+ : <a class="el" href="classSVF_1_1WTOCycleDepth.html#a764ec49c9f0e5ed2f920c55c63e1c193">SVF::WTOCycleDepth&lt; GraphT &gt;</a>
231
247
  </li>
232
248
  <li>WTOCycleDepthBuilder()
233
- : <a class="el" href="classSVF_1_1CFBasicBlockGWTO_1_1WTOCycleDepthBuilder.html#adc313cc9a42ae663f0c018da128b77f6">SVF::CFBasicBlockGWTO::WTOCycleDepthBuilder</a>
249
+ : <a class="el" href="classSVF_1_1WTO_1_1WTOCycleDepthBuilder.html#a6cf986992bb78e6e3aa2e75b883c01c9">SVF::WTO&lt; GraphT &gt;::WTOCycleDepthBuilder</a>
250
+ </li>
251
+ <li>WTOCycleDepthPtr
252
+ : <a class="el" href="classSVF_1_1WTO.html#a8022c9a6ebc62ed292698f07ab93bafe">SVF::WTO&lt; GraphT &gt;</a>
253
+ </li>
254
+ <li>WTOCycleT
255
+ : <a class="el" href="classSVF_1_1WTO.html#a71a0d4afca77f59db4829c7b39419429">SVF::WTO&lt; GraphT &gt;</a>
256
+ , <a class="el" href="classSVF_1_1WTOComponentVisitor.html#a978324f9b276a9d086b9e7a12feac997">SVF::WTOComponentVisitor&lt; GraphT &gt;</a>
257
+ </li>
258
+ <li>WTONode()
259
+ : <a class="el" href="classSVF_1_1WTONode.html#acb1c9f5fa393500a8efe9f885b1748ce">SVF::WTONode&lt; GraphT &gt;</a>
234
260
  </li>
235
- <li>WTOVisitor()
236
- : <a class="el" href="classSVF_1_1WTOVisitor.html#a624905f5b86c02d1daa9d8860f129d25">SVF::WTOVisitor</a>
261
+ <li>WTONodeT
262
+ : <a class="el" href="classSVF_1_1WTO.html#a96f37d843d4bd7c2b30cfc5bc59cf90d">SVF::WTO&lt; GraphT &gt;</a>
263
+ , <a class="el" href="classSVF_1_1WTOComponentVisitor.html#a873b7e2a4166cb6a5b48a63dbafa295d">SVF::WTOComponentVisitor&lt; GraphT &gt;</a>
237
264
  </li>
238
265
  </ul>
239
266
  </div><!-- contents -->
package/SVF-doxygen/html/functions_~.html CHANGED
@@ -112,12 +112,6 @@ $(function() {
112
112
  <li>~CFBasicBlockGraph()
113
113
  : <a class="el" href="classSVF_1_1CFBasicBlockGraph.html#af025ac00db2493720d8170fb08f237d4">SVF::CFBasicBlockGraph</a>
114
114
  </li>
115
- <li>~CFBasicBlockGWTO()
116
- : <a class="el" href="classSVF_1_1CFBasicBlockGWTO.html#ae611a47e1f7c41dba63577a1435b56bd">SVF::CFBasicBlockGWTO</a>
117
- </li>
118
- <li>~CFBasicBlockGWTOComp()
119
- : <a class="el" href="classSVF_1_1CFBasicBlockGWTOComp.html#aeed5f13a504b5348e10801de7d20f50c">SVF::CFBasicBlockGWTOComp</a>
120
- </li>
121
115
  <li>~CFLBase()
122
116
  : <a class="el" href="classSVF_1_1CFLBase.html#a9bcd55546fc9ec1fbbac2b257ffa3243">SVF::CFLBase</a>
123
117
  </li>
@@ -580,11 +574,17 @@ $(function() {
580
574
  <li>~WPASolver()
581
575
  : <a class="el" href="classSVF_1_1WPASolver.html#a99571af72e62bcf535a05095835bddfb">SVF::WPASolver&lt; GraphType &gt;</a>
582
576
  </li>
583
- <li>~WTOCycleDepth()
584
- : <a class="el" href="classSVF_1_1WTOCycleDepth.html#a9d23c459bac6e9f3b64ec0233065ba61">SVF::WTOCycleDepth&lt; NodeRef &gt;</a>
577
+ <li>~WTO()
578
+ : <a class="el" href="classSVF_1_1WTO.html#a78828eb753f5a27848256d383cf57b5e">SVF::WTO&lt; GraphT &gt;</a>
585
579
  </li>
586
- <li>~WTOVisitor()
587
- : <a class="el" href="classSVF_1_1WTOVisitor.html#af970a9f973fb8fbf6640a5bde15a8a40">SVF::WTOVisitor</a>
580
+ <li>~WTOComponent()
581
+ : <a class="el" href="classSVF_1_1WTOComponent.html#a7e5a6a71bd7d7ff1d39c1a8f2395c351">SVF::WTOComponent&lt; GraphT &gt;</a>
582
+ </li>
583
+ <li>~WTOComponentVisitor()
584
+ : <a class="el" href="classSVF_1_1WTOComponentVisitor.html#a89da4723a4218e42ccfe142db1322097">SVF::WTOComponentVisitor&lt; GraphT &gt;</a>
585
+ </li>
586
+ <li>~WTOCycleDepth()
587
+ : <a class="el" href="classSVF_1_1WTOCycleDepth.html#a1208cd4c5a880905df4031bf610bd0bb">SVF::WTOCycleDepth&lt; GraphT &gt;</a>
588
588
  </li>
589
589
  <li>~Z3Expr()
590
590
  : <a class="el" href="classSVF_1_1Z3Expr.html#ab7310d0e1e92a0150fde7c7aae961f9d">SVF::Z3Expr</a>