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/classSVF_1_1ICFGWTO.html ADDED
@@ -0,0 +1,379 @@
1
+ <!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "https://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
2
+ <html xmlns="http://www.w3.org/1999/xhtml">
3
+ <head>
4
+ <meta http-equiv="Content-Type" content="text/xhtml;charset=UTF-8"/>
5
+ <meta http-equiv="X-UA-Compatible" content="IE=9"/>
6
+ <meta name="generator" content="Doxygen 1.8.17"/>
7
+ <meta name="viewport" content="width=device-width, initial-scale=1"/>
8
+ <title>Static Value-Flow Analysis: SVF::ICFGWTO Class Reference</title>
9
+ <link href="tabs.css" rel="stylesheet" type="text/css"/>
10
+ <script type="text/javascript" src="jquery.js"></script>
11
+ <script type="text/javascript" src="dynsections.js"></script>
12
+ <link href="search/search.css" rel="stylesheet" type="text/css"/>
13
+ <script type="text/javascript" src="search/searchdata.js"></script>
14
+ <script type="text/javascript" src="search/search.js"></script>
15
+ <link href="doxygen.css" rel="stylesheet" type="text/css" />
16
+ </head>
17
+ <body>
18
+ <div id="top"><!-- do not remove this div, it is closed by doxygen! -->
19
+ <div id="titlearea">
20
+ <table cellspacing="0" cellpadding="0">
21
+ <tbody>
22
+ <tr style="height: 56px;">
23
+ <td id="projectalign" style="padding-left: 0.5em;">
24
+ <div id="projectname">Static Value-Flow Analysis
25
+ </div>
26
+ </td>
27
+ </tr>
28
+ </tbody>
29
+ </table>
30
+ </div>
31
+ <!-- end header part -->
32
+ <!-- Generated by Doxygen 1.8.17 -->
33
+ <script type="text/javascript">
34
+ /* @license magnet:?xt=urn:btih:cf05388f2679ee054f2beb29a391d25f4e673ac3&amp;dn=gpl-2.0.txt GPL-v2 */
35
+ var searchBox = new SearchBox("searchBox", "search",false,'Search');
36
+ /* @license-end */
37
+ </script>
38
+ <script type="text/javascript" src="menudata.js"></script>
39
+ <script type="text/javascript" src="menu.js"></script>
40
+ <script type="text/javascript">
41
+ /* @license magnet:?xt=urn:btih:cf05388f2679ee054f2beb29a391d25f4e673ac3&amp;dn=gpl-2.0.txt GPL-v2 */
42
+ $(function() {
43
+ initMenu('',true,false,'search.php','Search');
44
+ $(document).ready(function() { init_search(); });
45
+ });
46
+ /* @license-end */</script>
47
+ <div id="main-nav"></div>
48
+ <!-- window showing the filter options -->
49
+ <div id="MSearchSelectWindow"
50
+ onmouseover="return searchBox.OnSearchSelectShow()"
51
+ onmouseout="return searchBox.OnSearchSelectHide()"
52
+ onkeydown="return searchBox.OnSearchSelectKey(event)">
53
+ </div>
54
+
55
+ <!-- iframe showing the search results (closed by default) -->
56
+ <div id="MSearchResultsWindow">
57
+ <iframe src="javascript:void(0)" frameborder="0"
58
+ name="MSearchResults" id="MSearchResults">
59
+ </iframe>
60
+ </div>
61
+
62
+ <div id="nav-path" class="navpath">
63
+ <ul>
64
+ <li class="navelem"><a class="el" href="namespaceSVF.html">SVF</a></li><li class="navelem"><a class="el" href="classSVF_1_1ICFGWTO.html">ICFGWTO</a></li> </ul>
65
+ </div>
66
+ </div><!-- top -->
67
+ <div class="header">
68
+ <div class="summary">
69
+ <a href="#pub-types">Public Types</a> &#124;
70
+ <a href="#pub-methods">Public Member Functions</a> &#124;
71
+ <a href="classSVF_1_1ICFGWTO-members.html">List of all members</a> </div>
72
+ <div class="headertitle">
73
+ <div class="title">SVF::ICFGWTO Class Reference</div> </div>
74
+ </div><!--header-->
75
+ <div class="contents">
76
+
77
+ <p><code>#include &lt;<a class="el" href="ICFGWTO_8h_source.html">ICFGWTO.h</a>&gt;</code></p>
78
+ <div class="dynheader">
79
+ Inheritance diagram for SVF::ICFGWTO:</div>
80
+ <div class="dyncontent">
81
+ <div class="center">
82
+ <img src="classSVF_1_1ICFGWTO.png" usemap="#SVF::ICFGWTO_map" alt=""/>
83
+ <map id="SVF::ICFGWTO_map" name="SVF::ICFGWTO_map">
84
+ <area href="classSVF_1_1WTO.html" alt="SVF::WTO&lt; ICFG &gt;" shape="rect" coords="0,0,124,24"/>
85
+ </map>
86
+ </div></div>
87
+ <table class="memberdecls">
88
+ <tr class="heading"><td colspan="2"><h2 class="groupheader"><a name="pub-types"></a>
89
+ Public Types</h2></td></tr>
90
+ <tr class="memitem:ae4e25014cecf1f57c8cf1800319aa98d"><td class="memItemLeft" align="right" valign="top">typedef <a class="el" href="classSVF_1_1WTO.html">WTO</a>&lt; <a class="el" href="classSVF_1_1ICFG.html">ICFG</a> &gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1ICFGWTO.html#ae4e25014cecf1f57c8cf1800319aa98d">Base</a></td></tr>
91
+ <tr class="separator:ae4e25014cecf1f57c8cf1800319aa98d"><td class="memSeparator" colspan="2">&#160;</td></tr>
92
+ <tr class="memitem:aebed373baddc2aa1c74b9e7aff501a2c"><td class="memItemLeft" align="right" valign="top">typedef <a class="el" href="classSVF_1_1WTOComponentVisitor.html">WTOComponentVisitor</a>&lt; <a class="el" href="classSVF_1_1ICFG.html">ICFG</a> &gt;::<a class="el" href="classSVF_1_1WTO.html#a96f37d843d4bd7c2b30cfc5bc59cf90d">WTONodeT</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1ICFGWTO.html#aebed373baddc2aa1c74b9e7aff501a2c">ICFGWTONode</a></td></tr>
93
+ <tr class="separator:aebed373baddc2aa1c74b9e7aff501a2c"><td class="memSeparator" colspan="2">&#160;</td></tr>
94
+ <tr class="inherit_header pub_types_classSVF_1_1WTO"><td colspan="2" onclick="javascript:toggleInherit('pub_types_classSVF_1_1WTO')"><img src="closed.png" alt="-"/>&#160;Public Types inherited from <a class="el" href="classSVF_1_1WTO.html">SVF::WTO&lt; ICFG &gt;</a></td></tr>
95
+ <tr class="memitem:a78e43eb435fb7f5ee47670f10c6e67f2 inherit pub_types_classSVF_1_1WTO"><td class="memItemLeft" align="right" valign="top">typedef <a class="el" href="classSVF_1_1ICFG.html">ICFG</a> ::NodeType&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1WTO.html#a78e43eb435fb7f5ee47670f10c6e67f2">NodeT</a></td></tr>
96
+ <tr class="separator:a78e43eb435fb7f5ee47670f10c6e67f2 inherit pub_types_classSVF_1_1WTO"><td class="memSeparator" colspan="2">&#160;</td></tr>
97
+ <tr class="memitem:a620d528ac72c17913b462acedb8e88c3 inherit pub_types_classSVF_1_1WTO"><td class="memItemLeft" align="right" valign="top">typedef <a class="el" href="classSVF_1_1ICFG.html">ICFG</a> ::EdgeType&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1WTO.html#a620d528ac72c17913b462acedb8e88c3">EdgeT</a></td></tr>
98
+ <tr class="separator:a620d528ac72c17913b462acedb8e88c3 inherit pub_types_classSVF_1_1WTO"><td class="memSeparator" colspan="2">&#160;</td></tr>
99
+ <tr class="memitem:ae2cde12ccd4206b7ace44bc2146c792e inherit pub_types_classSVF_1_1WTO"><td class="memItemLeft" align="right" valign="top">typedef <a class="el" href="classSVF_1_1WTOCycleDepth.html">WTOCycleDepth</a>&lt; <a class="el" href="classSVF_1_1ICFG.html">ICFG</a> &gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1WTO.html#ae2cde12ccd4206b7ace44bc2146c792e">GraphTWTOCycleDepth</a></td></tr>
100
+ <tr class="separator:ae2cde12ccd4206b7ace44bc2146c792e inherit pub_types_classSVF_1_1WTO"><td class="memSeparator" colspan="2">&#160;</td></tr>
101
+ <tr class="memitem:a43bd515dd7ea9ae1f56b79d29cfdc00c inherit pub_types_classSVF_1_1WTO"><td class="memItemLeft" align="right" valign="top">typedef <a class="el" href="classSVF_1_1WTOComponent.html">WTOComponent</a>&lt; <a class="el" href="classSVF_1_1ICFG.html">ICFG</a> &gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1WTO.html#a43bd515dd7ea9ae1f56b79d29cfdc00c">WTOComponentT</a></td></tr>
102
+ <tr class="separator:a43bd515dd7ea9ae1f56b79d29cfdc00c inherit pub_types_classSVF_1_1WTO"><td class="memSeparator" colspan="2">&#160;</td></tr>
103
+ <tr class="memitem:a96f37d843d4bd7c2b30cfc5bc59cf90d inherit pub_types_classSVF_1_1WTO"><td class="memItemLeft" align="right" valign="top">typedef <a class="el" href="classSVF_1_1WTONode.html">WTONode</a>&lt; <a class="el" href="classSVF_1_1ICFG.html">ICFG</a> &gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1WTO.html#a96f37d843d4bd7c2b30cfc5bc59cf90d">WTONodeT</a></td></tr>
104
+ <tr class="separator:a96f37d843d4bd7c2b30cfc5bc59cf90d inherit pub_types_classSVF_1_1WTO"><td class="memSeparator" colspan="2">&#160;</td></tr>
105
+ <tr class="memitem:a71a0d4afca77f59db4829c7b39419429 inherit pub_types_classSVF_1_1WTO"><td class="memItemLeft" align="right" valign="top">typedef <a class="el" href="classSVF_1_1WTOCycle.html">WTOCycle</a>&lt; <a class="el" href="classSVF_1_1ICFG.html">ICFG</a> &gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1WTO.html#a71a0d4afca77f59db4829c7b39419429">WTOCycleT</a></td></tr>
106
+ <tr class="separator:a71a0d4afca77f59db4829c7b39419429 inherit pub_types_classSVF_1_1WTO"><td class="memSeparator" colspan="2">&#160;</td></tr>
107
+ <tr class="memitem:a7be430782b325bbb92d9fd014e9c68c0 inherit pub_types_classSVF_1_1WTO"><td class="memItemLeft" align="right" valign="top">typedef <a class="el" href="namespaceSVF.html#af739db846e47ba6b2fd15eaad31ab7fb">Set</a>&lt; const <a class="el" href="classSVF_1_1WTO.html#a78e43eb435fb7f5ee47670f10c6e67f2">NodeT</a> * &gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1WTO.html#a7be430782b325bbb92d9fd014e9c68c0">NodeRefList</a></td></tr>
108
+ <tr class="separator:a7be430782b325bbb92d9fd014e9c68c0 inherit pub_types_classSVF_1_1WTO"><td class="memSeparator" colspan="2">&#160;</td></tr>
109
+ <tr class="memitem:a49ea9544fc55c3de1b3aebde1ba69470 inherit pub_types_classSVF_1_1WTO"><td class="memItemLeft" align="right" valign="top">typedef WTOComponentRefList::const_iterator&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1WTO.html#a49ea9544fc55c3de1b3aebde1ba69470">Iterator</a></td></tr>
110
+ <tr class="memdesc:a49ea9544fc55c3de1b3aebde1ba69470 inherit pub_types_classSVF_1_1WTO"><td class="mdescLeft">&#160;</td><td class="mdescRight">Iterator over the components. <a href="classSVF_1_1WTO.html#a49ea9544fc55c3de1b3aebde1ba69470">More...</a><br /></td></tr>
111
+ <tr class="separator:a49ea9544fc55c3de1b3aebde1ba69470 inherit pub_types_classSVF_1_1WTO"><td class="memSeparator" colspan="2">&#160;</td></tr>
112
+ </table><table class="memberdecls">
113
+ <tr class="heading"><td colspan="2"><h2 class="groupheader"><a name="pub-methods"></a>
114
+ Public Member Functions</h2></td></tr>
115
+ <tr class="memitem:aa8a472a41196fd7537908665c631dcbb"><td class="memItemLeft" align="right" valign="top">&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1ICFGWTO.html#aa8a472a41196fd7537908665c631dcbb">ICFGWTO</a> (<a class="el" href="classSVF_1_1ICFG.html">ICFG</a> *graph, const <a class="el" href="classSVF_1_1ICFGNode.html">ICFGNode</a> *node)</td></tr>
116
+ <tr class="separator:aa8a472a41196fd7537908665c631dcbb"><td class="memSeparator" colspan="2">&#160;</td></tr>
117
+ <tr class="memitem:a0178699f891c6814c04c10da72c0acf2"><td class="memItemLeft" align="right" valign="top">void&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1ICFGWTO.html#a0178699f891c6814c04c10da72c0acf2">forEachSuccessor</a> (const <a class="el" href="classSVF_1_1ICFGNode.html">ICFGNode</a> *node, std::function&lt; void(const <a class="el" href="classSVF_1_1ICFGNode.html">ICFGNode</a> *)&gt; func) const override</td></tr>
118
+ <tr class="separator:a0178699f891c6814c04c10da72c0acf2"><td class="memSeparator" colspan="2">&#160;</td></tr>
119
+ <tr class="inherit_header pub_methods_classSVF_1_1WTO"><td colspan="2" onclick="javascript:toggleInherit('pub_methods_classSVF_1_1WTO')"><img src="closed.png" alt="-"/>&#160;Public Member Functions inherited from <a class="el" href="classSVF_1_1WTO.html">SVF::WTO&lt; ICFG &gt;</a></td></tr>
120
+ <tr class="memitem:a7757a14d821963ad5ee03da0b542f8fb inherit pub_methods_classSVF_1_1WTO"><td class="memItemLeft" align="right" valign="top">&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1WTO.html#a7757a14d821963ad5ee03da0b542f8fb">WTO</a> (<a class="el" href="classSVF_1_1ICFG.html">ICFG</a> *graph, const <a class="el" href="classSVF_1_1WTO.html#a78e43eb435fb7f5ee47670f10c6e67f2">NodeT</a> *entry)</td></tr>
121
+ <tr class="memdesc:a7757a14d821963ad5ee03da0b542f8fb inherit pub_methods_classSVF_1_1WTO"><td class="mdescLeft">&#160;</td><td class="mdescRight">Compute the weak topological order of the given graph. <a href="classSVF_1_1WTO.html#a7757a14d821963ad5ee03da0b542f8fb">More...</a><br /></td></tr>
122
+ <tr class="separator:a7757a14d821963ad5ee03da0b542f8fb inherit pub_methods_classSVF_1_1WTO"><td class="memSeparator" colspan="2">&#160;</td></tr>
123
+ <tr class="memitem:a8455eb5252fb82df098af03ebca76044 inherit pub_methods_classSVF_1_1WTO"><td class="memItemLeft" align="right" valign="top">&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1WTO.html#a8455eb5252fb82df098af03ebca76044">WTO</a> (const <a class="el" href="classSVF_1_1WTO.html">WTO</a> &amp;other)=default</td></tr>
124
+ <tr class="memdesc:a8455eb5252fb82df098af03ebca76044 inherit pub_methods_classSVF_1_1WTO"><td class="mdescLeft">&#160;</td><td class="mdescRight">No copy constructor. <a href="classSVF_1_1WTO.html#a8455eb5252fb82df098af03ebca76044">More...</a><br /></td></tr>
125
+ <tr class="separator:a8455eb5252fb82df098af03ebca76044 inherit pub_methods_classSVF_1_1WTO"><td class="memSeparator" colspan="2">&#160;</td></tr>
126
+ <tr class="memitem:a0a8be6a1d8bd92d38eec429f68ce0414 inherit pub_methods_classSVF_1_1WTO"><td class="memItemLeft" align="right" valign="top">&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1WTO.html#a0a8be6a1d8bd92d38eec429f68ce0414">WTO</a> (<a class="el" href="classSVF_1_1WTO.html">WTO</a> &amp;&amp;other)=default</td></tr>
127
+ <tr class="memdesc:a0a8be6a1d8bd92d38eec429f68ce0414 inherit pub_methods_classSVF_1_1WTO"><td class="mdescLeft">&#160;</td><td class="mdescRight">Move constructor. <a href="classSVF_1_1WTO.html#a0a8be6a1d8bd92d38eec429f68ce0414">More...</a><br /></td></tr>
128
+ <tr class="separator:a0a8be6a1d8bd92d38eec429f68ce0414 inherit pub_methods_classSVF_1_1WTO"><td class="memSeparator" colspan="2">&#160;</td></tr>
129
+ <tr class="memitem:acbaef3d6d8053a3b7ab2fa6e7fefacb1 inherit pub_methods_classSVF_1_1WTO"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1WTO.html">WTO</a> &amp;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1WTO.html#acbaef3d6d8053a3b7ab2fa6e7fefacb1">operator=</a> (const <a class="el" href="classSVF_1_1WTO.html">WTO</a> &amp;other)=default</td></tr>
130
+ <tr class="memdesc:acbaef3d6d8053a3b7ab2fa6e7fefacb1 inherit pub_methods_classSVF_1_1WTO"><td class="mdescLeft">&#160;</td><td class="mdescRight">No copy assignment operator. <a href="classSVF_1_1WTO.html#acbaef3d6d8053a3b7ab2fa6e7fefacb1">More...</a><br /></td></tr>
131
+ <tr class="separator:acbaef3d6d8053a3b7ab2fa6e7fefacb1 inherit pub_methods_classSVF_1_1WTO"><td class="memSeparator" colspan="2">&#160;</td></tr>
132
+ <tr class="memitem:ad37e15c788927e0e2b4759f527b0476b inherit pub_methods_classSVF_1_1WTO"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1WTO.html">WTO</a> &amp;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1WTO.html#ad37e15c788927e0e2b4759f527b0476b">operator=</a> (<a class="el" href="classSVF_1_1WTO.html">WTO</a> &amp;&amp;other)=default</td></tr>
133
+ <tr class="memdesc:ad37e15c788927e0e2b4759f527b0476b inherit pub_methods_classSVF_1_1WTO"><td class="mdescLeft">&#160;</td><td class="mdescRight">Move assignment operator. <a href="classSVF_1_1WTO.html#ad37e15c788927e0e2b4759f527b0476b">More...</a><br /></td></tr>
134
+ <tr class="separator:ad37e15c788927e0e2b4759f527b0476b inherit pub_methods_classSVF_1_1WTO"><td class="memSeparator" colspan="2">&#160;</td></tr>
135
+ <tr class="memitem:a78828eb753f5a27848256d383cf57b5e inherit pub_methods_classSVF_1_1WTO"><td class="memItemLeft" align="right" valign="top">&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1WTO.html#a78828eb753f5a27848256d383cf57b5e">~WTO</a> ()</td></tr>
136
+ <tr class="memdesc:a78828eb753f5a27848256d383cf57b5e inherit pub_methods_classSVF_1_1WTO"><td class="mdescLeft">&#160;</td><td class="mdescRight">Destructor. <a href="classSVF_1_1WTO.html#a78828eb753f5a27848256d383cf57b5e">More...</a><br /></td></tr>
137
+ <tr class="separator:a78828eb753f5a27848256d383cf57b5e inherit pub_methods_classSVF_1_1WTO"><td class="memSeparator" colspan="2">&#160;</td></tr>
138
+ <tr class="memitem:a13e9082913aa4a14065687ccdd47642d inherit pub_methods_classSVF_1_1WTO"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1WTO.html#a49ea9544fc55c3de1b3aebde1ba69470">Iterator</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1WTO.html#a13e9082913aa4a14065687ccdd47642d">begin</a> () const</td></tr>
139
+ <tr class="separator:a13e9082913aa4a14065687ccdd47642d inherit pub_methods_classSVF_1_1WTO"><td class="memSeparator" colspan="2">&#160;</td></tr>
140
+ <tr class="memitem:a22b67a51964cb1d7882aab7e74b026f2 inherit pub_methods_classSVF_1_1WTO"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1WTO.html#a49ea9544fc55c3de1b3aebde1ba69470">Iterator</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1WTO.html#a22b67a51964cb1d7882aab7e74b026f2">end</a> () const</td></tr>
141
+ <tr class="memdesc:a22b67a51964cb1d7882aab7e74b026f2 inherit pub_methods_classSVF_1_1WTO"><td class="mdescLeft">&#160;</td><td class="mdescRight">End iterator over the components. <a href="classSVF_1_1WTO.html#a22b67a51964cb1d7882aab7e74b026f2">More...</a><br /></td></tr>
142
+ <tr class="separator:a22b67a51964cb1d7882aab7e74b026f2 inherit pub_methods_classSVF_1_1WTO"><td class="memSeparator" colspan="2">&#160;</td></tr>
143
+ <tr class="memitem:a605c2cb15b3c3ff2581d5f2d0a4719a7 inherit pub_methods_classSVF_1_1WTO"><td class="memItemLeft" align="right" valign="top">bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1WTO.html#a605c2cb15b3c3ff2581d5f2d0a4719a7">isHead</a> (const <a class="el" href="classSVF_1_1WTO.html#a78e43eb435fb7f5ee47670f10c6e67f2">NodeT</a> *node) const</td></tr>
144
+ <tr class="separator:a605c2cb15b3c3ff2581d5f2d0a4719a7 inherit pub_methods_classSVF_1_1WTO"><td class="memSeparator" colspan="2">&#160;</td></tr>
145
+ <tr class="memitem:a62a6ee6d3894861a0fb74309d2951e16 inherit pub_methods_classSVF_1_1WTO"><td class="memItemLeft" align="right" valign="top">NodeRefToWTOCycleMap::const_iterator&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1WTO.html#a62a6ee6d3894861a0fb74309d2951e16">headBegin</a> () const</td></tr>
146
+ <tr class="separator:a62a6ee6d3894861a0fb74309d2951e16 inherit pub_methods_classSVF_1_1WTO"><td class="memSeparator" colspan="2">&#160;</td></tr>
147
+ <tr class="memitem:ace35f97608d342cae7cda7936816f624 inherit pub_methods_classSVF_1_1WTO"><td class="memItemLeft" align="right" valign="top">NodeRefToWTOCycleMap::const_iterator&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1WTO.html#ace35f97608d342cae7cda7936816f624">headEnd</a> () const</td></tr>
148
+ <tr class="memdesc:ace35f97608d342cae7cda7936816f624 inherit pub_methods_classSVF_1_1WTO"><td class="mdescLeft">&#160;</td><td class="mdescRight">End iterator over the components. <a href="classSVF_1_1WTO.html#ace35f97608d342cae7cda7936816f624">More...</a><br /></td></tr>
149
+ <tr class="separator:ace35f97608d342cae7cda7936816f624 inherit pub_methods_classSVF_1_1WTO"><td class="memSeparator" colspan="2">&#160;</td></tr>
150
+ <tr class="memitem:aa50fbcbff0e3aa30bce2ba1b810e8ca8 inherit pub_methods_classSVF_1_1WTO"><td class="memItemLeft" align="right" valign="top">const <a class="el" href="classSVF_1_1WTO.html#ae2cde12ccd4206b7ace44bc2146c792e">GraphTWTOCycleDepth</a> &amp;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1WTO.html#aa50fbcbff0e3aa30bce2ba1b810e8ca8">cycleDepth</a> (const <a class="el" href="classSVF_1_1WTO.html#a78e43eb435fb7f5ee47670f10c6e67f2">NodeT</a> *<a class="el" href="cJSON_8cpp.html#ab6e2ea6dc7bd57d1483413449998230a">n</a>) const</td></tr>
151
+ <tr class="memdesc:aa50fbcbff0e3aa30bce2ba1b810e8ca8 inherit pub_methods_classSVF_1_1WTO"><td class="mdescLeft">&#160;</td><td class="mdescRight">Return the cycleDepth of the given node. <a href="classSVF_1_1WTO.html#aa50fbcbff0e3aa30bce2ba1b810e8ca8">More...</a><br /></td></tr>
152
+ <tr class="separator:aa50fbcbff0e3aa30bce2ba1b810e8ca8 inherit pub_methods_classSVF_1_1WTO"><td class="memSeparator" colspan="2">&#160;</td></tr>
153
+ <tr class="memitem:a1e331c472a19616ccef9f8230a8724fb inherit pub_methods_classSVF_1_1WTO"><td class="memItemLeft" align="right" valign="top">bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1WTO.html#a1e331c472a19616ccef9f8230a8724fb">in_cycleDepth_table</a> (const <a class="el" href="classSVF_1_1WTO.html#a78e43eb435fb7f5ee47670f10c6e67f2">NodeT</a> *<a class="el" href="cJSON_8cpp.html#ab6e2ea6dc7bd57d1483413449998230a">n</a>) const</td></tr>
154
+ <tr class="memdesc:a1e331c472a19616ccef9f8230a8724fb inherit pub_methods_classSVF_1_1WTO"><td class="mdescLeft">&#160;</td><td class="mdescRight">Return the cycleDepth of the given node. <a href="classSVF_1_1WTO.html#a1e331c472a19616ccef9f8230a8724fb">More...</a><br /></td></tr>
155
+ <tr class="separator:a1e331c472a19616ccef9f8230a8724fb inherit pub_methods_classSVF_1_1WTO"><td class="memSeparator" colspan="2">&#160;</td></tr>
156
+ <tr class="memitem:af2ac6543be66a6ca5911f49f16c341c4 inherit pub_methods_classSVF_1_1WTO"><td class="memItemLeft" align="right" valign="top">void&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1WTO.html#af2ac6543be66a6ca5911f49f16c341c4">accept</a> (<a class="el" href="classSVF_1_1WTOComponentVisitor.html">WTOComponentVisitor</a>&lt; <a class="el" href="classSVF_1_1ICFG.html">ICFG</a> &gt; &amp;v)</td></tr>
157
+ <tr class="memdesc:af2ac6543be66a6ca5911f49f16c341c4 inherit pub_methods_classSVF_1_1WTO"><td class="mdescLeft">&#160;</td><td class="mdescRight">Accept the given visitor. <a href="classSVF_1_1WTO.html#af2ac6543be66a6ca5911f49f16c341c4">More...</a><br /></td></tr>
158
+ <tr class="separator:af2ac6543be66a6ca5911f49f16c341c4 inherit pub_methods_classSVF_1_1WTO"><td class="memSeparator" colspan="2">&#160;</td></tr>
159
+ <tr class="memitem:a2245875350c4a72f826d998f02f5e796 inherit pub_methods_classSVF_1_1WTO"><td class="memItemLeft" align="right" valign="top"><a class="el" href="cJSON_8cpp.html#ae1adbce218e7a9d09164012443191d24">std::string</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1WTO.html#a2245875350c4a72f826d998f02f5e796">toString</a> () const</td></tr>
160
+ <tr class="memdesc:a2245875350c4a72f826d998f02f5e796 inherit pub_methods_classSVF_1_1WTO"><td class="mdescLeft">&#160;</td><td class="mdescRight">Dump the order, for debugging purpose. <a href="classSVF_1_1WTO.html#a2245875350c4a72f826d998f02f5e796">More...</a><br /></td></tr>
161
+ <tr class="separator:a2245875350c4a72f826d998f02f5e796 inherit pub_methods_classSVF_1_1WTO"><td class="memSeparator" colspan="2">&#160;</td></tr>
162
+ <tr class="memitem:a12d50323eaa2d40925699232beb37747 inherit pub_methods_classSVF_1_1WTO"><td class="memItemLeft" align="right" valign="top">void&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1WTO.html#a12d50323eaa2d40925699232beb37747">init</a> ()</td></tr>
163
+ <tr class="separator:a12d50323eaa2d40925699232beb37747 inherit pub_methods_classSVF_1_1WTO"><td class="memSeparator" colspan="2">&#160;</td></tr>
164
+ </table><table class="memberdecls">
165
+ <tr class="heading"><td colspan="2"><h2 class="groupheader"><a name="inherited"></a>
166
+ Additional Inherited Members</h2></td></tr>
167
+ <tr class="inherit_header pro_types_classSVF_1_1WTO"><td colspan="2" onclick="javascript:toggleInherit('pro_types_classSVF_1_1WTO')"><img src="closed.png" alt="-"/>&#160;Protected Types inherited from <a class="el" href="classSVF_1_1WTO.html">SVF::WTO&lt; ICFG &gt;</a></td></tr>
168
+ <tr class="memitem:ac1a8ef3c15d484dc4f593b7d737e7de9 inherit pro_types_classSVF_1_1WTO"><td class="memItemLeft" align="right" valign="top">typedef std::list&lt; <a class="el" href="classSVF_1_1WTO.html#a15ecb3d149a88c93318133314d010954">WTOComponentPtr</a> &gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1WTO.html#ac1a8ef3c15d484dc4f593b7d737e7de9">WTOComponentRefList</a></td></tr>
169
+ <tr class="separator:ac1a8ef3c15d484dc4f593b7d737e7de9 inherit pro_types_classSVF_1_1WTO"><td class="memSeparator" colspan="2">&#160;</td></tr>
170
+ <tr class="memitem:a928688b5f1e2111311262ccd936b1ca9 inherit pro_types_classSVF_1_1WTO"><td class="memItemLeft" align="right" valign="top">typedef <a class="el" href="namespaceSVF.html#af739db846e47ba6b2fd15eaad31ab7fb">Set</a>&lt; <a class="el" href="classSVF_1_1WTO.html#a15ecb3d149a88c93318133314d010954">WTOComponentPtr</a> &gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1WTO.html#a928688b5f1e2111311262ccd936b1ca9">WTOComponentRefSet</a></td></tr>
171
+ <tr class="separator:a928688b5f1e2111311262ccd936b1ca9 inherit pro_types_classSVF_1_1WTO"><td class="memSeparator" colspan="2">&#160;</td></tr>
172
+ <tr class="memitem:a9103af81d0c21787dcc96188ea243d0a inherit pro_types_classSVF_1_1WTO"><td class="memItemLeft" align="right" valign="top">typedef <a class="el" href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">Map</a>&lt; const <a class="el" href="classSVF_1_1WTO.html#a78e43eb435fb7f5ee47670f10c6e67f2">NodeT</a> *, const <a class="el" href="classSVF_1_1WTO.html#a71a0d4afca77f59db4829c7b39419429">WTOCycleT</a> * &gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1WTO.html#a9103af81d0c21787dcc96188ea243d0a">NodeRefToWTOCycleMap</a></td></tr>
173
+ <tr class="separator:a9103af81d0c21787dcc96188ea243d0a inherit pro_types_classSVF_1_1WTO"><td class="memSeparator" colspan="2">&#160;</td></tr>
174
+ <tr class="memitem:ae652de9cb9fca45b8cb6c08606d7971a inherit pro_types_classSVF_1_1WTO"><td class="memItemLeft" align="right" valign="top">typedef <a class="el" href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">Map</a>&lt; const <a class="el" href="classSVF_1_1WTO.html#a78e43eb435fb7f5ee47670f10c6e67f2">NodeT</a> *, <a class="el" href="classSVF_1_1WTO.html#a7be430782b325bbb92d9fd014e9c68c0">NodeRefList</a> &gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1WTO.html#ae652de9cb9fca45b8cb6c08606d7971a">NodeRefTONodeRefListMap</a></td></tr>
175
+ <tr class="separator:ae652de9cb9fca45b8cb6c08606d7971a inherit pro_types_classSVF_1_1WTO"><td class="memSeparator" colspan="2">&#160;</td></tr>
176
+ <tr class="memitem:a54890e9212acbff3ccd28d674f86e9e7 inherit pro_types_classSVF_1_1WTO"><td class="memItemLeft" align="right" valign="top">typedef <a class="el" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1WTO.html#a54890e9212acbff3ccd28d674f86e9e7">CycleDepthNumber</a></td></tr>
177
+ <tr class="separator:a54890e9212acbff3ccd28d674f86e9e7 inherit pro_types_classSVF_1_1WTO"><td class="memSeparator" colspan="2">&#160;</td></tr>
178
+ <tr class="memitem:a93a5b48c93dc4f01f50040e71c5aeada inherit pro_types_classSVF_1_1WTO"><td class="memItemLeft" align="right" valign="top">typedef <a class="el" href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">Map</a>&lt; const <a class="el" href="classSVF_1_1WTO.html#a78e43eb435fb7f5ee47670f10c6e67f2">NodeT</a> *, <a class="el" href="classSVF_1_1WTO.html#a54890e9212acbff3ccd28d674f86e9e7">CycleDepthNumber</a> &gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1WTO.html#a93a5b48c93dc4f01f50040e71c5aeada">NodeRefToCycleDepthNumber</a></td></tr>
179
+ <tr class="separator:a93a5b48c93dc4f01f50040e71c5aeada inherit pro_types_classSVF_1_1WTO"><td class="memSeparator" colspan="2">&#160;</td></tr>
180
+ <tr class="memitem:ab35eabe45c6b944b26532fbe630cd019 inherit pro_types_classSVF_1_1WTO"><td class="memItemLeft" align="right" valign="top">typedef std::vector&lt; const <a class="el" href="classSVF_1_1WTO.html#a78e43eb435fb7f5ee47670f10c6e67f2">NodeT</a> * &gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1WTO.html#ab35eabe45c6b944b26532fbe630cd019">Stack</a></td></tr>
181
+ <tr class="separator:ab35eabe45c6b944b26532fbe630cd019 inherit pro_types_classSVF_1_1WTO"><td class="memSeparator" colspan="2">&#160;</td></tr>
182
+ <tr class="memitem:a8022c9a6ebc62ed292698f07ab93bafe inherit pro_types_classSVF_1_1WTO"><td class="memItemLeft" align="right" valign="top">typedef std::shared_ptr&lt; <a class="el" href="classSVF_1_1WTO.html#ae2cde12ccd4206b7ace44bc2146c792e">GraphTWTOCycleDepth</a> &gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1WTO.html#a8022c9a6ebc62ed292698f07ab93bafe">WTOCycleDepthPtr</a></td></tr>
183
+ <tr class="separator:a8022c9a6ebc62ed292698f07ab93bafe inherit pro_types_classSVF_1_1WTO"><td class="memSeparator" colspan="2">&#160;</td></tr>
184
+ <tr class="memitem:a4d7362b707ea6013811db5ffa80aeb0b inherit pro_types_classSVF_1_1WTO"><td class="memItemLeft" align="right" valign="top">typedef <a class="el" href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">Map</a>&lt; const <a class="el" href="classSVF_1_1WTO.html#a78e43eb435fb7f5ee47670f10c6e67f2">NodeT</a> *, <a class="el" href="classSVF_1_1WTO.html#a8022c9a6ebc62ed292698f07ab93bafe">WTOCycleDepthPtr</a> &gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1WTO.html#a4d7362b707ea6013811db5ffa80aeb0b">NodeRefToWTOCycleDepthPtr</a></td></tr>
185
+ <tr class="separator:a4d7362b707ea6013811db5ffa80aeb0b inherit pro_types_classSVF_1_1WTO"><td class="memSeparator" colspan="2">&#160;</td></tr>
186
+ <tr class="inherit_header pro_methods_classSVF_1_1WTO"><td colspan="2" onclick="javascript:toggleInherit('pro_methods_classSVF_1_1WTO')"><img src="closed.png" alt="-"/>&#160;Protected Member Functions inherited from <a class="el" href="classSVF_1_1WTO.html">SVF::WTO&lt; ICFG &gt;</a></td></tr>
187
+ <tr class="memitem:a65d2ed9e7306392ce0b82ac018f0cdea inherit pro_methods_classSVF_1_1WTO"><td class="memItemLeft" align="right" valign="top">virtual void&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1WTO.html#a65d2ed9e7306392ce0b82ac018f0cdea">forEachSuccessor</a> (const <a class="el" href="classSVF_1_1WTO.html#a78e43eb435fb7f5ee47670f10c6e67f2">NodeT</a> *node, std::function&lt; void(const <a class="el" href="classSVF_1_1WTO.html#a78e43eb435fb7f5ee47670f10c6e67f2">NodeT</a> *)&gt; func) const</td></tr>
188
+ <tr class="separator:a65d2ed9e7306392ce0b82ac018f0cdea inherit pro_methods_classSVF_1_1WTO"><td class="memSeparator" colspan="2">&#160;</td></tr>
189
+ <tr class="memitem:a92034688db3f67feb6e997d4c03f769f inherit pro_methods_classSVF_1_1WTO"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1WTO.html#a54890e9212acbff3ccd28d674f86e9e7">CycleDepthNumber</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1WTO.html#a92034688db3f67feb6e997d4c03f769f">getCDN</a> (const <a class="el" href="classSVF_1_1WTO.html#a78e43eb435fb7f5ee47670f10c6e67f2">NodeT</a> *<a class="el" href="cJSON_8cpp.html#ab6e2ea6dc7bd57d1483413449998230a">n</a>) const</td></tr>
190
+ <tr class="memdesc:a92034688db3f67feb6e997d4c03f769f inherit pro_methods_classSVF_1_1WTO"><td class="mdescLeft">&#160;</td><td class="mdescRight">Return the depth-first number of the given node. <a href="classSVF_1_1WTO.html#a92034688db3f67feb6e997d4c03f769f">More...</a><br /></td></tr>
191
+ <tr class="separator:a92034688db3f67feb6e997d4c03f769f inherit pro_methods_classSVF_1_1WTO"><td class="memSeparator" colspan="2">&#160;</td></tr>
192
+ <tr class="memitem:a7fc78de450f2cb6cbed8aa6856638ad1 inherit pro_methods_classSVF_1_1WTO"><td class="memItemLeft" align="right" valign="top">void&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1WTO.html#a7fc78de450f2cb6cbed8aa6856638ad1">setCDN</a> (const <a class="el" href="classSVF_1_1WTO.html#a78e43eb435fb7f5ee47670f10c6e67f2">NodeT</a> *<a class="el" href="cJSON_8cpp.html#ab6e2ea6dc7bd57d1483413449998230a">n</a>, const <a class="el" href="classSVF_1_1WTO.html#a54890e9212acbff3ccd28d674f86e9e7">CycleDepthNumber</a> &amp;dfn)</td></tr>
193
+ <tr class="memdesc:a7fc78de450f2cb6cbed8aa6856638ad1 inherit pro_methods_classSVF_1_1WTO"><td class="mdescLeft">&#160;</td><td class="mdescRight">Set the depth-first number of the given node. <a href="classSVF_1_1WTO.html#a7fc78de450f2cb6cbed8aa6856638ad1">More...</a><br /></td></tr>
194
+ <tr class="separator:a7fc78de450f2cb6cbed8aa6856638ad1 inherit pro_methods_classSVF_1_1WTO"><td class="memSeparator" colspan="2">&#160;</td></tr>
195
+ <tr class="memitem:ae6655b82c9137b960eac07631897de82 inherit pro_methods_classSVF_1_1WTO"><td class="memItemLeft" align="right" valign="top">const <a class="el" href="classSVF_1_1WTO.html#a78e43eb435fb7f5ee47670f10c6e67f2">NodeT</a> *&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1WTO.html#ae6655b82c9137b960eac07631897de82">pop</a> ()</td></tr>
196
+ <tr class="memdesc:ae6655b82c9137b960eac07631897de82 inherit pro_methods_classSVF_1_1WTO"><td class="mdescLeft">&#160;</td><td class="mdescRight">Pop a node from the stack. <a href="classSVF_1_1WTO.html#ae6655b82c9137b960eac07631897de82">More...</a><br /></td></tr>
197
+ <tr class="separator:ae6655b82c9137b960eac07631897de82 inherit pro_methods_classSVF_1_1WTO"><td class="memSeparator" colspan="2">&#160;</td></tr>
198
+ <tr class="memitem:a9a67c7812a890ee4ff9cd470f947bf86 inherit pro_methods_classSVF_1_1WTO"><td class="memItemLeft" align="right" valign="top">void&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1WTO.html#a9a67c7812a890ee4ff9cd470f947bf86">push</a> (const <a class="el" href="classSVF_1_1WTO.html#a78e43eb435fb7f5ee47670f10c6e67f2">NodeT</a> *<a class="el" href="cJSON_8cpp.html#ab6e2ea6dc7bd57d1483413449998230a">n</a>)</td></tr>
199
+ <tr class="memdesc:a9a67c7812a890ee4ff9cd470f947bf86 inherit pro_methods_classSVF_1_1WTO"><td class="mdescLeft">&#160;</td><td class="mdescRight">Push a node on the stack. <a href="classSVF_1_1WTO.html#a9a67c7812a890ee4ff9cd470f947bf86">More...</a><br /></td></tr>
200
+ <tr class="separator:a9a67c7812a890ee4ff9cd470f947bf86 inherit pro_methods_classSVF_1_1WTO"><td class="memSeparator" colspan="2">&#160;</td></tr>
201
+ <tr class="memitem:a2ce51d9a57e8a353aa23d14dce933c9a inherit pro_methods_classSVF_1_1WTO"><td class="memItemLeft" align="right" valign="top">const <a class="el" href="classSVF_1_1WTO.html#a96f37d843d4bd7c2b30cfc5bc59cf90d">WTONodeT</a> *&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1WTO.html#a2ce51d9a57e8a353aa23d14dce933c9a">newNode</a> (const <a class="el" href="classSVF_1_1WTO.html#a78e43eb435fb7f5ee47670f10c6e67f2">NodeT</a> *node)</td></tr>
202
+ <tr class="separator:a2ce51d9a57e8a353aa23d14dce933c9a inherit pro_methods_classSVF_1_1WTO"><td class="memSeparator" colspan="2">&#160;</td></tr>
203
+ <tr class="memitem:aee55e23a1994d4daa29f21a608a1ca69 inherit pro_methods_classSVF_1_1WTO"><td class="memItemLeft" align="right" valign="top">const <a class="el" href="classSVF_1_1WTO.html#a71a0d4afca77f59db4829c7b39419429">WTOCycleT</a> *&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1WTO.html#aee55e23a1994d4daa29f21a608a1ca69">newCycle</a> (const <a class="el" href="classSVF_1_1WTO.html#a78e43eb435fb7f5ee47670f10c6e67f2">NodeT</a> *node, const <a class="el" href="classSVF_1_1WTO.html#ac1a8ef3c15d484dc4f593b7d737e7de9">WTOComponentRefList</a> &amp;partition)</td></tr>
204
+ <tr class="separator:aee55e23a1994d4daa29f21a608a1ca69 inherit pro_methods_classSVF_1_1WTO"><td class="memSeparator" colspan="2">&#160;</td></tr>
205
+ <tr class="memitem:a8dc175362f4dbbf158e1fe03745f1ce7 inherit pro_methods_classSVF_1_1WTO"><td class="memItemLeft" align="right" valign="top">virtual const <a class="el" href="classSVF_1_1WTO.html#a71a0d4afca77f59db4829c7b39419429">WTOCycleT</a> *&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1WTO.html#a8dc175362f4dbbf158e1fe03745f1ce7">component</a> (const <a class="el" href="classSVF_1_1WTO.html#a78e43eb435fb7f5ee47670f10c6e67f2">NodeT</a> *node)</td></tr>
206
+ <tr class="memdesc:a8dc175362f4dbbf158e1fe03745f1ce7 inherit pro_methods_classSVF_1_1WTO"><td class="mdescLeft">&#160;</td><td class="mdescRight">Create the cycle component for the given node. <a href="classSVF_1_1WTO.html#a8dc175362f4dbbf158e1fe03745f1ce7">More...</a><br /></td></tr>
207
+ <tr class="separator:a8dc175362f4dbbf158e1fe03745f1ce7 inherit pro_methods_classSVF_1_1WTO"><td class="memSeparator" colspan="2">&#160;</td></tr>
208
+ <tr class="memitem:a56259113c30312e5052d0d8c0d4d6b77 inherit pro_methods_classSVF_1_1WTO"><td class="memItemLeft" align="right" valign="top">virtual <a class="el" href="classSVF_1_1WTO.html#a54890e9212acbff3ccd28d674f86e9e7">CycleDepthNumber</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1WTO.html#a56259113c30312e5052d0d8c0d4d6b77">visit</a> (const <a class="el" href="classSVF_1_1WTO.html#a78e43eb435fb7f5ee47670f10c6e67f2">NodeT</a> *node, <a class="el" href="classSVF_1_1WTO.html#ac1a8ef3c15d484dc4f593b7d737e7de9">WTOComponentRefList</a> &amp;partition)</td></tr>
209
+ <tr class="separator:a56259113c30312e5052d0d8c0d4d6b77 inherit pro_methods_classSVF_1_1WTO"><td class="memSeparator" colspan="2">&#160;</td></tr>
210
+ <tr class="memitem:abf8ab42831098184ce972aa6664fcb8a inherit pro_methods_classSVF_1_1WTO"><td class="memItemLeft" align="right" valign="top">void&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1WTO.html#abf8ab42831098184ce972aa6664fcb8a">buildNodeToDepth</a> ()</td></tr>
211
+ <tr class="memdesc:abf8ab42831098184ce972aa6664fcb8a inherit pro_methods_classSVF_1_1WTO"><td class="mdescLeft">&#160;</td><td class="mdescRight">Build the node to WTO cycle depth table. <a href="classSVF_1_1WTO.html#abf8ab42831098184ce972aa6664fcb8a">More...</a><br /></td></tr>
212
+ <tr class="separator:abf8ab42831098184ce972aa6664fcb8a inherit pro_methods_classSVF_1_1WTO"><td class="memSeparator" colspan="2">&#160;</td></tr>
213
+ <tr class="inherit_header pro_attribs_classSVF_1_1WTO"><td colspan="2" onclick="javascript:toggleInherit('pro_attribs_classSVF_1_1WTO')"><img src="closed.png" alt="-"/>&#160;Protected Attributes inherited from <a class="el" href="classSVF_1_1WTO.html">SVF::WTO&lt; ICFG &gt;</a></td></tr>
214
+ <tr class="memitem:a15ecb3d149a88c93318133314d010954 inherit pro_attribs_classSVF_1_1WTO"><td class="memItemLeft" align="right" valign="top">const typedef <a class="el" href="classSVF_1_1WTO.html#a43bd515dd7ea9ae1f56b79d29cfdc00c">WTOComponentT</a> *&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1WTO.html#a15ecb3d149a88c93318133314d010954">WTOComponentPtr</a></td></tr>
215
+ <tr class="separator:a15ecb3d149a88c93318133314d010954 inherit pro_attribs_classSVF_1_1WTO"><td class="memSeparator" colspan="2">&#160;</td></tr>
216
+ <tr class="memitem:acbc503aa22e6d9bf2f6406fc45ebbab1 inherit pro_attribs_classSVF_1_1WTO"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1WTO.html#ac1a8ef3c15d484dc4f593b7d737e7de9">WTOComponentRefList</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1WTO.html#acbc503aa22e6d9bf2f6406fc45ebbab1">_components</a></td></tr>
217
+ <tr class="separator:acbc503aa22e6d9bf2f6406fc45ebbab1 inherit pro_attribs_classSVF_1_1WTO"><td class="memSeparator" colspan="2">&#160;</td></tr>
218
+ <tr class="memitem:a649f1a93b6fd51553f6e144f2fe99542 inherit pro_attribs_classSVF_1_1WTO"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1WTO.html#a928688b5f1e2111311262ccd936b1ca9">WTOComponentRefSet</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1WTO.html#a649f1a93b6fd51553f6e144f2fe99542">_allComponents</a></td></tr>
219
+ <tr class="separator:a649f1a93b6fd51553f6e144f2fe99542 inherit pro_attribs_classSVF_1_1WTO"><td class="memSeparator" colspan="2">&#160;</td></tr>
220
+ <tr class="memitem:a5752288fb686b9ef5d6c8edc0cee6348 inherit pro_attribs_classSVF_1_1WTO"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1WTO.html#a9103af81d0c21787dcc96188ea243d0a">NodeRefToWTOCycleMap</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1WTO.html#a5752288fb686b9ef5d6c8edc0cee6348">headRefToCycle</a></td></tr>
221
+ <tr class="separator:a5752288fb686b9ef5d6c8edc0cee6348 inherit pro_attribs_classSVF_1_1WTO"><td class="memSeparator" colspan="2">&#160;</td></tr>
222
+ <tr class="memitem:ab6eebbf5ab6f6c3ee157e22da10620e9 inherit pro_attribs_classSVF_1_1WTO"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1WTO.html#a4d7362b707ea6013811db5ffa80aeb0b">NodeRefToWTOCycleDepthPtr</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1WTO.html#ab6eebbf5ab6f6c3ee157e22da10620e9">_nodeToDepth</a></td></tr>
223
+ <tr class="separator:ab6eebbf5ab6f6c3ee157e22da10620e9 inherit pro_attribs_classSVF_1_1WTO"><td class="memSeparator" colspan="2">&#160;</td></tr>
224
+ <tr class="memitem:a54d8c25df36b0c44d52369c4294a1ed8 inherit pro_attribs_classSVF_1_1WTO"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1WTO.html#a93a5b48c93dc4f01f50040e71c5aeada">NodeRefToCycleDepthNumber</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1WTO.html#a54d8c25df36b0c44d52369c4294a1ed8">_nodeToCDN</a></td></tr>
225
+ <tr class="separator:a54d8c25df36b0c44d52369c4294a1ed8 inherit pro_attribs_classSVF_1_1WTO"><td class="memSeparator" colspan="2">&#160;</td></tr>
226
+ <tr class="memitem:af3e699fe03e5072f057cf162aefe8c12 inherit pro_attribs_classSVF_1_1WTO"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1WTO.html#a54890e9212acbff3ccd28d674f86e9e7">CycleDepthNumber</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1WTO.html#af3e699fe03e5072f057cf162aefe8c12">_num</a></td></tr>
227
+ <tr class="separator:af3e699fe03e5072f057cf162aefe8c12 inherit pro_attribs_classSVF_1_1WTO"><td class="memSeparator" colspan="2">&#160;</td></tr>
228
+ <tr class="memitem:a333df66435d9c4444ff7f729ca9d0050 inherit pro_attribs_classSVF_1_1WTO"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1WTO.html#ab35eabe45c6b944b26532fbe630cd019">Stack</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1WTO.html#a333df66435d9c4444ff7f729ca9d0050">_stack</a></td></tr>
229
+ <tr class="separator:a333df66435d9c4444ff7f729ca9d0050 inherit pro_attribs_classSVF_1_1WTO"><td class="memSeparator" colspan="2">&#160;</td></tr>
230
+ <tr class="memitem:ae8e57cc333199bc8b5aaff0a825eed47 inherit pro_attribs_classSVF_1_1WTO"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1ICFG.html">ICFG</a> *&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1WTO.html#ae8e57cc333199bc8b5aaff0a825eed47">_graph</a></td></tr>
231
+ <tr class="separator:ae8e57cc333199bc8b5aaff0a825eed47 inherit pro_attribs_classSVF_1_1WTO"><td class="memSeparator" colspan="2">&#160;</td></tr>
232
+ <tr class="memitem:a5853e7a33044635877b8f07de05ff047 inherit pro_attribs_classSVF_1_1WTO"><td class="memItemLeft" align="right" valign="top">const <a class="el" href="classSVF_1_1WTO.html#a78e43eb435fb7f5ee47670f10c6e67f2">NodeT</a> *&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1WTO.html#a5853e7a33044635877b8f07de05ff047">_entry</a></td></tr>
233
+ <tr class="separator:a5853e7a33044635877b8f07de05ff047 inherit pro_attribs_classSVF_1_1WTO"><td class="memSeparator" colspan="2">&#160;</td></tr>
234
+ </table>
235
+ <a name="details" id="details"></a><h2 class="groupheader">Detailed Description</h2>
236
+ <div class="textblock">
237
+ <p class="definition">Definition at line <a class="el" href="ICFGWTO_8h_source.html#l00047">47</a> of file <a class="el" href="ICFGWTO_8h_source.html">ICFGWTO.h</a>.</p>
238
+ </div><h2 class="groupheader">Member Typedef Documentation</h2>
239
+ <a id="ae4e25014cecf1f57c8cf1800319aa98d"></a>
240
+ <h2 class="memtitle"><span class="permalink"><a href="#ae4e25014cecf1f57c8cf1800319aa98d">&#9670;&nbsp;</a></span>Base</h2>
241
+
242
+ <div class="memitem">
243
+ <div class="memproto">
244
+ <table class="memname">
245
+ <tr>
246
+ <td class="memname">typedef <a class="el" href="classSVF_1_1WTO.html">WTO</a>&lt;<a class="el" href="classSVF_1_1ICFG.html">ICFG</a>&gt; <a class="el" href="classSVF_1_1ICFGWTO.html#ae4e25014cecf1f57c8cf1800319aa98d">SVF::ICFGWTO::Base</a></td>
247
+ </tr>
248
+ </table>
249
+ </div><div class="memdoc">
250
+
251
+ <p class="definition">Definition at line <a class="el" href="ICFGWTO_8h_source.html#l00050">50</a> of file <a class="el" href="ICFGWTO_8h_source.html">ICFGWTO.h</a>.</p>
252
+
253
+ </div>
254
+ </div>
255
+ <a id="aebed373baddc2aa1c74b9e7aff501a2c"></a>
256
+ <h2 class="memtitle"><span class="permalink"><a href="#aebed373baddc2aa1c74b9e7aff501a2c">&#9670;&nbsp;</a></span>ICFGWTONode</h2>
257
+
258
+ <div class="memitem">
259
+ <div class="memproto">
260
+ <table class="memname">
261
+ <tr>
262
+ <td class="memname">typedef <a class="el" href="classSVF_1_1WTOComponentVisitor.html">WTOComponentVisitor</a>&lt;<a class="el" href="classSVF_1_1ICFG.html">ICFG</a>&gt;::<a class="el" href="classSVF_1_1WTO.html#a96f37d843d4bd7c2b30cfc5bc59cf90d">WTONodeT</a> <a class="el" href="classSVF_1_1ICFGWTO.html#aebed373baddc2aa1c74b9e7aff501a2c">SVF::ICFGWTO::ICFGWTONode</a></td>
263
+ </tr>
264
+ </table>
265
+ </div><div class="memdoc">
266
+
267
+ <p class="definition">Definition at line <a class="el" href="ICFGWTO_8h_source.html#l00051">51</a> of file <a class="el" href="ICFGWTO_8h_source.html">ICFGWTO.h</a>.</p>
268
+
269
+ </div>
270
+ </div>
271
+ <h2 class="groupheader">Constructor &amp; Destructor Documentation</h2>
272
+ <a id="aa8a472a41196fd7537908665c631dcbb"></a>
273
+ <h2 class="memtitle"><span class="permalink"><a href="#aa8a472a41196fd7537908665c631dcbb">&#9670;&nbsp;</a></span>ICFGWTO()</h2>
274
+
275
+ <div class="memitem">
276
+ <div class="memproto">
277
+ <table class="mlabels">
278
+ <tr>
279
+ <td class="mlabels-left">
280
+ <table class="memname">
281
+ <tr>
282
+ <td class="memname">SVF::ICFGWTO::ICFGWTO </td>
283
+ <td>(</td>
284
+ <td class="paramtype"><a class="el" href="classSVF_1_1ICFG.html">ICFG</a> *&#160;</td>
285
+ <td class="paramname"><em>graph</em>, </td>
286
+ </tr>
287
+ <tr>
288
+ <td class="paramkey"></td>
289
+ <td></td>
290
+ <td class="paramtype">const <a class="el" href="classSVF_1_1ICFGNode.html">ICFGNode</a> *&#160;</td>
291
+ <td class="paramname"><em>node</em>&#160;</td>
292
+ </tr>
293
+ <tr>
294
+ <td></td>
295
+ <td>)</td>
296
+ <td></td><td></td>
297
+ </tr>
298
+ </table>
299
+ </td>
300
+ <td class="mlabels-right">
301
+ <span class="mlabels"><span class="mlabel">inline</span><span class="mlabel">explicit</span></span> </td>
302
+ </tr>
303
+ </table>
304
+ </div><div class="memdoc">
305
+
306
+ <p class="definition">Definition at line <a class="el" href="ICFGWTO_8h_source.html#l00053">53</a> of file <a class="el" href="ICFGWTO_8h_source.html">ICFGWTO.h</a>.</p>
307
+ <div class="fragment"><div class="line"><a name="l00053"></a><span class="lineno"> 53</span>&#160;: <a class="code" href="classSVF_1_1ICFGWTO.html#ae4e25014cecf1f57c8cf1800319aa98d">Base</a>(graph, node) {}</div>
308
+ </div><!-- fragment -->
309
+ </div>
310
+ </div>
311
+ <h2 class="groupheader">Member Function Documentation</h2>
312
+ <a id="a0178699f891c6814c04c10da72c0acf2"></a>
313
+ <h2 class="memtitle"><span class="permalink"><a href="#a0178699f891c6814c04c10da72c0acf2">&#9670;&nbsp;</a></span>forEachSuccessor()</h2>
314
+
315
+ <div class="memitem">
316
+ <div class="memproto">
317
+ <table class="mlabels">
318
+ <tr>
319
+ <td class="mlabels-left">
320
+ <table class="memname">
321
+ <tr>
322
+ <td class="memname">void SVF::ICFGWTO::forEachSuccessor </td>
323
+ <td>(</td>
324
+ <td class="paramtype">const <a class="el" href="classSVF_1_1ICFGNode.html">ICFGNode</a> *&#160;</td>
325
+ <td class="paramname"><em>node</em>, </td>
326
+ </tr>
327
+ <tr>
328
+ <td class="paramkey"></td>
329
+ <td></td>
330
+ <td class="paramtype">std::function&lt; void(const <a class="el" href="classSVF_1_1ICFGNode.html">ICFGNode</a> *)&gt;&#160;</td>
331
+ <td class="paramname"><em>func</em>&#160;</td>
332
+ </tr>
333
+ <tr>
334
+ <td></td>
335
+ <td>)</td>
336
+ <td></td><td> const</td>
337
+ </tr>
338
+ </table>
339
+ </td>
340
+ <td class="mlabels-right">
341
+ <span class="mlabels"><span class="mlabel">inline</span><span class="mlabel">override</span></span> </td>
342
+ </tr>
343
+ </table>
344
+ </div><div class="memdoc">
345
+
346
+ <p class="definition">Definition at line <a class="el" href="ICFGWTO_8h_source.html#l00055">55</a> of file <a class="el" href="ICFGWTO_8h_source.html">ICFGWTO.h</a>.</p>
347
+ <div class="fragment"><div class="line"><a name="l00058"></a><span class="lineno"> 58</span>&#160; {</div>
348
+ <div class="line"><a name="l00059"></a><span class="lineno"> 59</span>&#160; <span class="keywordflow">if</span> (<span class="keyword">const</span> <span class="keyword">auto</span>* callNode = SVFUtil::dyn_cast&lt;CallICFGNode&gt;(node))</div>
349
+ <div class="line"><a name="l00060"></a><span class="lineno"> 60</span>&#160; {</div>
350
+ <div class="line"><a name="l00061"></a><span class="lineno"> 61</span>&#160; <span class="keyword">const</span> ICFGNode* succ = callNode-&gt;getRetICFGNode();</div>
351
+ <div class="line"><a name="l00062"></a><span class="lineno"> 62</span>&#160; func(succ);</div>
352
+ <div class="line"><a name="l00063"></a><span class="lineno"> 63</span>&#160; }</div>
353
+ <div class="line"><a name="l00064"></a><span class="lineno"> 64</span>&#160; <span class="keywordflow">else</span></div>
354
+ <div class="line"><a name="l00065"></a><span class="lineno"> 65</span>&#160; {</div>
355
+ <div class="line"><a name="l00066"></a><span class="lineno"> 66</span>&#160; <span class="keywordflow">for</span> (<span class="keyword">const</span> <span class="keyword">auto</span>&amp; e : node-&gt;getOutEdges())</div>
356
+ <div class="line"><a name="l00067"></a><span class="lineno"> 67</span>&#160; {</div>
357
+ <div class="line"><a name="l00068"></a><span class="lineno"> 68</span>&#160; <span class="keywordflow">if</span> (!e-&gt;isIntraCFGEdge() ||</div>
358
+ <div class="line"><a name="l00069"></a><span class="lineno"> 69</span>&#160; node-&gt;getFun() != e-&gt;getDstNode()-&gt;getFun())</div>
359
+ <div class="line"><a name="l00070"></a><span class="lineno"> 70</span>&#160; <span class="keywordflow">continue</span>;</div>
360
+ <div class="line"><a name="l00071"></a><span class="lineno"> 71</span>&#160; func(e-&gt;getDstNode());</div>
361
+ <div class="line"><a name="l00072"></a><span class="lineno"> 72</span>&#160; }</div>
362
+ <div class="line"><a name="l00073"></a><span class="lineno"> 73</span>&#160; }</div>
363
+ <div class="line"><a name="l00074"></a><span class="lineno"> 74</span>&#160; }</div>
364
+ </div><!-- fragment -->
365
+ </div>
366
+ </div>
367
+ <hr/>The documentation for this class was generated from the following file:<ul>
368
+ <li>/home/runner/work/SVF/SVF/svf/include/AbstractExecution/<a class="el" href="ICFGWTO_8h_source.html">ICFGWTO.h</a></li>
369
+ </ul>
370
+ </div><!-- contents -->
371
+ <div class="ttc" id="aclassSVF_1_1ICFGWTO_html_ae4e25014cecf1f57c8cf1800319aa98d"><div class="ttname"><a href="classSVF_1_1ICFGWTO.html#ae4e25014cecf1f57c8cf1800319aa98d">SVF::ICFGWTO::Base</a></div><div class="ttdeci">WTO&lt; ICFG &gt; Base</div><div class="ttdef"><b>Definition:</b> <a href="ICFGWTO_8h_source.html#l00050">ICFGWTO.h:50</a></div></div>
372
+ <!-- start footer part -->
373
+ <hr class="footer"/><address class="footer"><small>
374
+ Generated by &#160;<a href="http://www.doxygen.org/index.html">
375
+ <img class="footer" src="doxygen.png" alt="doxygen"/>
376
+ </a> 1.8.17
377
+ </small></address>
378
+ </body>
379
+ </html>
package/SVF-doxygen/html/classSVF_1_1LLVMModuleSet.html CHANGED
@@ -4455,7 +4455,7 @@ Friends</h2></td></tr>
4455
4455
  <div class="ttc" id="aclassSVF_1_1LLVMModuleSet_html_a0f9b36699b99dfcfe3c1588bfab6b97c"><div class="ttname"><a href="classSVF_1_1LLVMModuleSet.html#a0f9b36699b99dfcfe3c1588bfab6b97c">SVF::LLVMModuleSet::LLVMBB2SVFBB</a></div><div class="ttdeci">LLVMBB2SVFBBMap LLVMBB2SVFBB</div><div class="ttdef"><b>Definition:</b> <a href="LLVMModule_8h_source.html#l00084">LLVMModule.h:84</a></div></div>
4456
4456
  <div class="ttc" id="anamespaceSVF_html_a09f5fa3bc44bf53612a085e3a611cc4e"><div class="ttname"><a href="namespaceSVF.html#a09f5fa3bc44bf53612a085e3a611cc4e">SVF::GlobalVariable</a></div><div class="ttdeci">llvm::GlobalVariable GlobalVariable</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00128">BasicTypes.h:128</a></div></div>
4457
4457
  <div class="ttc" id="aclassSVF_1_1LLVMModuleSet_html_a0b46a2a5ff2165d17993a071d9cc82c1"><div class="ttname"><a href="classSVF_1_1LLVMModuleSet.html#a0b46a2a5ff2165d17993a071d9cc82c1">SVF::LLVMModuleSet::getLLVMGlobalFunctions</a></div><div class="ttdeci">std::vector&lt; const Function * &gt; getLLVMGlobalFunctions(const GlobalVariable *global)</div><div class="ttdef"><b>Definition:</b> <a href="LLVMModule_8cpp_source.html#l00596">LLVMModule.cpp:596</a></div></div>
4458
- <div class="ttc" id="aclassSVF_1_1SVFStat_html_aa4950ec26b66a085ad38ac154b789db5"><div class="ttname"><a href="classSVF_1_1SVFStat.html#aa4950ec26b66a085ad38ac154b789db5">SVF::SVFStat::timeOfBuildingLLVMModule</a></div><div class="ttdeci">static double timeOfBuildingLLVMModule</div><div class="ttdef"><b>Definition:</b> <a href="SVFStat_8h_source.html#l00090">SVFStat.h:90</a></div></div>
4458
+ <div class="ttc" id="aclassSVF_1_1SVFStat_html_aa4950ec26b66a085ad38ac154b789db5"><div class="ttname"><a href="classSVF_1_1SVFStat.html#aa4950ec26b66a085ad38ac154b789db5">SVF::SVFStat::timeOfBuildingLLVMModule</a></div><div class="ttdeci">static double timeOfBuildingLLVMModule</div><div class="ttdef"><b>Definition:</b> <a href="SVFStat_8h_source.html#l00093">SVFStat.h:93</a></div></div>
4459
4459
  <div class="ttc" id="anamespaceSVF_html_a0fd33072b099f61eaa642e94ed0c03fc"><div class="ttname"><a href="namespaceSVF.html#a0fd33072b099f61eaa642e94ed0c03fc">SVF::GlobalAlias</a></div><div class="ttdeci">llvm::GlobalAlias GlobalAlias</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00126">BasicTypes.h:126</a></div></div>
4460
4460
  <div class="ttc" id="anamespaceSVF_html_aedd9d023a68dddd66314be63bb8e48d2"><div class="ttname"><a href="namespaceSVF.html#aedd9d023a68dddd66314be63bb8e48d2">SVF::operator&gt;</a></div><div class="ttdeci">IntervalValue operator&gt;(const IntervalValue &amp;lhs, const IntervalValue &amp;rhs)</div><div class="ttdef"><b>Definition:</b> <a href="IntervalValue_8h_source.html#l00581">IntervalValue.h:581</a></div></div>
4461
4461
  <div class="ttc" id="aclassSVF_1_1StInfo_html_a00339d1d7074e9222776801ce8689f6b"><div class="ttname"><a href="classSVF_1_1StInfo.html#a00339d1d7074e9222776801ce8689f6b">SVF::StInfo::addFldWithType</a></div><div class="ttdeci">void addFldWithType(u32_t fldIdx, const SVFType *type, u32_t elemIdx)</div><div class="ttdoc">Add field index and element index and their corresponding type.</div></div>
@@ -4541,7 +4541,7 @@ Friends</h2></td></tr>
4541
4541
  <div class="ttc" id="aclassSVF_1_1LLVMModuleSet_html_a25821b0feeb3b08e00ec9d444520b727"><div class="ttname"><a href="classSVF_1_1LLVMModuleSet.html#a25821b0feeb3b08e00ec9d444520b727">SVF::LLVMModuleSet::getSVFConstantData</a></div><div class="ttdeci">SVFConstantData * getSVFConstantData(const ConstantData *cd)</div><div class="ttdef"><b>Definition:</b> <a href="LLVMModule_8cpp_source.html#l01156">LLVMModule.cpp:1156</a></div></div>
4542
4542
  <div class="ttc" id="anamespaceSVF_1_1SVFUtil_html_aed0b0b9f035057552a6a82154fd88e61"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#aed0b0b9f035057552a6a82154fd88e61">SVF::SVFUtil::outs</a></div><div class="ttdeci">std::ostream &amp; outs()</div><div class="ttdoc">Overwrite llvm::outs()</div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8h_source.html#l00050">SVFUtil.h:50</a></div></div>
4543
4543
  <div class="ttc" id="aclassSVF_1_1SVFIntegerType_html"><div class="ttname"><a href="classSVF_1_1SVFIntegerType.html">SVF::SVFIntegerType</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00383">SVFType.h:383</a></div></div>
4544
- <div class="ttc" id="aclassSVF_1_1SVFStat_html_ae89293bc063bdc74a988e9c37c70321e"><div class="ttname"><a href="classSVF_1_1SVFStat.html#ae89293bc063bdc74a988e9c37c70321e">SVF::SVFStat::timeOfBuildingSymbolTable</a></div><div class="ttdeci">static double timeOfBuildingSymbolTable</div><div class="ttdef"><b>Definition:</b> <a href="SVFStat_8h_source.html#l00091">SVFStat.h:91</a></div></div>
4544
+ <div class="ttc" id="aclassSVF_1_1SVFStat_html_ae89293bc063bdc74a988e9c37c70321e"><div class="ttname"><a href="classSVF_1_1SVFStat.html#ae89293bc063bdc74a988e9c37c70321e">SVF::SVFStat::timeOfBuildingSymbolTable</a></div><div class="ttdeci">static double timeOfBuildingSymbolTable</div><div class="ttdef"><b>Definition:</b> <a href="SVFStat_8h_source.html#l00094">SVFStat.h:94</a></div></div>
4545
4545
  <div class="ttc" id="anamespaceSVF_1_1LLVMUtil_html_a3d34fcdfc98add848a34fd5259c11eb2"><div class="ttname"><a href="namespaceSVF_1_1LLVMUtil.html#a3d34fcdfc98add848a34fd5259c11eb2">SVF::LLVMUtil::getDefFunForMultipleModule</a></div><div class="ttdeci">const Function * getDefFunForMultipleModule(const Function *fun)</div><div class="ttdoc">Get the definition of a function across multiple modules.</div><div class="ttdef"><b>Definition:</b> <a href="LLVMUtil_8h_source.html#l00057">LLVMUtil.h:57</a></div></div>
4546
4546
  <div class="ttc" id="aclassSVF_1_1SVFType_html_a3ddabbd763acaaca28cacbabe5bc7f3b"><div class="ttname"><a href="classSVF_1_1SVFType.html#a3ddabbd763acaaca28cacbabe5bc7f3b">SVF::SVFType::setPointerTo</a></div><div class="ttdeci">void setPointerTo(const SVFPointerType *ty)</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00292">SVFType.h:292</a></div></div>
4547
4547
  <div class="ttc" id="aclassSVF_1_1LLVMModuleSet_html_a74256f36f0fdc242df9729906c34efbc"><div class="ttname"><a href="classSVF_1_1LLVMModuleSet.html#a74256f36f0fdc242df9729906c34efbc">SVF::LLVMModuleSet::getOtherSVFConstant</a></div><div class="ttdeci">SVFConstant * getOtherSVFConstant(const Constant *oc)</div><div class="ttdef"><b>Definition:</b> <a href="LLVMModule_8cpp_source.html#l01203">LLVMModule.cpp:1203</a></div></div>
package/SVF-doxygen/html/classSVF_1_1MRGenerator.html CHANGED
@@ -4065,7 +4065,7 @@ Private Attributes</h2></td></tr>
4065
4065
  <div class="ttc" id="aclassSVF_1_1MRGenerator_html_a62757aa995a6a01b484c60df2f51c53d"><div class="ttname"><a href="classSVF_1_1MRGenerator.html#a62757aa995a6a01b484c60df2f51c53d">SVF::MRGenerator::getRefSideEffectOfCallSite</a></div><div class="ttdeci">const NodeBS &amp; getRefSideEffectOfCallSite(const CallICFGNode *cs)</div><div class="ttdoc">Get indirect refs of a callsite.</div><div class="ttdef"><b>Definition:</b> <a href="MemRegion_8h_source.html#l00398">MemRegion.h:398</a></div></div>
4066
4066
  <div class="ttc" id="aclassSVF_1_1SparseBitVector_html_a61bd86909a141f9de873d92c0f904832"><div class="ttname"><a href="classSVF_1_1SparseBitVector.html#a61bd86909a141f9de873d92c0f904832">SVF::SparseBitVector::set</a></div><div class="ttdeci">void set(unsigned Idx)</div><div class="ttdef"><b>Definition:</b> <a href="SparseBitVector_8h_source.html#l00747">SparseBitVector.h:747</a></div></div>
4067
4067
  <div class="ttc" id="aclassSVF_1_1MRGenerator_html_a1535832f5b1ae3178fea950bf71fdd99"><div class="ttname"><a href="classSVF_1_1MRGenerator.html#a1535832f5b1ae3178fea950bf71fdd99">SVF::MRGenerator::getModSideEffectOfCallSite</a></div><div class="ttdeci">const NodeBS &amp; getModSideEffectOfCallSite(const CallICFGNode *cs)</div><div class="ttdoc">Get indirect mods of a callsite.</div><div class="ttdef"><b>Definition:</b> <a href="MemRegion_8h_source.html#l00403">MemRegion.h:403</a></div></div>
4068
- <div class="ttc" id="aclassSVF_1_1PointerAnalysis_html_a7c9b7e5fe37ae31ba84d167945ca57df"><div class="ttname"><a href="classSVF_1_1PointerAnalysis.html#a7c9b7e5fe37ae31ba84d167945ca57df">SVF::PointerAnalysis::getPTACallGraph</a></div><div class="ttdeci">PTACallGraph * getPTACallGraph() const</div><div class="ttdoc">Return call graph.</div><div class="ttdef"><b>Definition:</b> <a href="PointerAnalysis_8h_source.html#l00174">PointerAnalysis.h:174</a></div></div>
4068
+ <div class="ttc" id="aclassSVF_1_1PointerAnalysis_html_a7c9b7e5fe37ae31ba84d167945ca57df"><div class="ttname"><a href="classSVF_1_1PointerAnalysis.html#a7c9b7e5fe37ae31ba84d167945ca57df">SVF::PointerAnalysis::getPTACallGraph</a></div><div class="ttdeci">PTACallGraph * getPTACallGraph() const</div><div class="ttdoc">Return call graph.</div><div class="ttdef"><b>Definition:</b> <a href="PointerAnalysis_8h_source.html#l00171">PointerAnalysis.h:171</a></div></div>
4069
4069
  <div class="ttc" id="aclassSVF_1_1PTACallGraph_html_aaab54c670518d9d6790707f76ea76aa1"><div class="ttname"><a href="classSVF_1_1PTACallGraph.html#aaab54c670518d9d6790707f76ea76aa1">SVF::PTACallGraph::getCallGraphNode</a></div><div class="ttdeci">PTACallGraphNode * getCallGraphNode(NodeID id) const</div><div class="ttdoc">Get call graph node.</div><div class="ttdef"><b>Definition:</b> <a href="PTACallGraph_8h_source.html#l00315">PTACallGraph.h:315</a></div></div>
4070
4070
  <div class="ttc" id="aclassSVF_1_1SVFBasicBlock_html_a73b7029f85e3762033f49c953d4b95ca"><div class="ttname"><a href="classSVF_1_1SVFBasicBlock.html#a73b7029f85e3762033f49c953d4b95ca">SVF::SVFBasicBlock::const_iterator</a></div><div class="ttdeci">std::vector&lt; const SVFInstruction * &gt;::const_iterator const_iterator</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00531">SVFValue.h:531</a></div></div>
4071
4071
  <div class="ttc" id="aclassSVF_1_1MRGenerator_html_a899c81db92c6bcf24f6f9b769e02e5bf"><div class="ttname"><a href="classSVF_1_1MRGenerator.html#a899c81db92c6bcf24f6f9b769e02e5bf">SVF::MRGenerator::addRefSideEffectOfFunction</a></div><div class="ttdeci">void addRefSideEffectOfFunction(const SVFFunction *fun, const NodeBS &amp;refs)</div><div class="ttdoc">Add/Get methods for side-effect of functions and callsites.</div><div class="ttdef"><b>Definition:</b> <a href="MemRegion_8cpp_source.html#l00405">MemRegion.cpp:405</a></div></div>
@@ -4131,7 +4131,7 @@ Private Attributes</h2></td></tr>
4131
4131
  <div class="ttc" id="aclassSVF_1_1MRGenerator_html_a55d38020bbece70847f7e72bb02bc4af"><div class="ttname"><a href="classSVF_1_1MRGenerator.html#a55d38020bbece70847f7e72bb02bc4af">SVF::MRGenerator::getMR</a></div><div class="ttdeci">const MemRegion * getMR(const NodeBS &amp;cpts) const</div><div class="ttdoc">Get a memory region according to cpts.</div><div class="ttdef"><b>Definition:</b> <a href="MemRegion_8cpp_source.html#l00092">MemRegion.cpp:92</a></div></div>
4132
4132
  <div class="ttc" id="aclassSVF_1_1MRGenerator_html_acbf0be131b1fc5d0366157d300d1aa68"><div class="ttname"><a href="classSVF_1_1MRGenerator.html#acbf0be131b1fc5d0366157d300d1aa68">SVF::MRGenerator::handleCallsiteModRef</a></div><div class="ttdeci">virtual bool handleCallsiteModRef(NodeBS &amp;mod, NodeBS &amp;ref, const CallICFGNode *cs, const SVFFunction *fun)</div><div class="ttdoc">Get Mod-Ref of a callee function.</div><div class="ttdef"><b>Definition:</b> <a href="MemRegion_8cpp_source.html#l00601">MemRegion.cpp:601</a></div></div>
4133
4133
  <div class="ttc" id="aclassSVF_1_1SVFStmt_html"><div class="ttname"><a href="classSVF_1_1SVFStmt.html">SVF::SVFStmt</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00051">SVFStatements.h:51</a></div></div>
4134
- <div class="ttc" id="aclassSVF_1_1PointerAnalysis_html_ad8b71cebf46deaf60e2cd4f6d6bb9433"><div class="ttname"><a href="classSVF_1_1PointerAnalysis.html#ad8b71cebf46deaf60e2cd4f6d6bb9433">SVF::PointerAnalysis::getModule</a></div><div class="ttdeci">SVFModule * getModule() const</div><div class="ttdoc">Module.</div><div class="ttdef"><b>Definition:</b> <a href="PointerAnalysis_8h_source.html#l00213">PointerAnalysis.h:213</a></div></div>
4134
+ <div class="ttc" id="aclassSVF_1_1PointerAnalysis_html_ad8b71cebf46deaf60e2cd4f6d6bb9433"><div class="ttname"><a href="classSVF_1_1PointerAnalysis.html#ad8b71cebf46deaf60e2cd4f6d6bb9433">SVF::PointerAnalysis::getModule</a></div><div class="ttdeci">SVFModule * getModule() const</div><div class="ttdoc">Module.</div><div class="ttdef"><b>Definition:</b> <a href="PointerAnalysis_8h_source.html#l00210">PointerAnalysis.h:210</a></div></div>
4135
4135
  <div class="ttc" id="aclassSVF_1_1SVFVar_html"><div class="ttname"><a href="classSVF_1_1SVFVar.html">SVF::SVFVar</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFVariables_8h_source.html#l00045">SVFVariables.h:45</a></div></div>
4136
4136
  <div class="ttc" id="aclassSVF_1_1LoadStmt_html"><div class="ttname"><a href="classSVF_1_1LoadStmt.html">SVF::LoadStmt</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00437">SVFStatements.h:437</a></div></div>
4137
4137
  <div class="ttc" id="aclassSVF_1_1MRGenerator_html_a187d82895b2e1156c6dd5ae28795944f"><div class="ttname"><a href="classSVF_1_1MRGenerator.html#a187d82895b2e1156c6dd5ae28795944f">SVF::MRGenerator::hasModSideEffectOfCallSite</a></div><div class="ttdeci">bool hasModSideEffectOfCallSite(const CallICFGNode *cs)</div><div class="ttdoc">Has indirect mods of a callsite.</div><div class="ttdef"><b>Definition:</b> <a href="MemRegion_8h_source.html#l00413">MemRegion.h:413</a></div></div>
@@ -4208,7 +4208,7 @@ Private Attributes</h2></td></tr>
4208
4208
  <div class="ttc" id="aclassSVF_1_1MRGenerator_html_a9de695122660c1d8b65e1f3dab8a7ece"><div class="ttname"><a href="classSVF_1_1MRGenerator.html#a9de695122660c1d8b65e1f3dab8a7ece">SVF::MRGenerator::collectCallSitePts</a></div><div class="ttdeci">void collectCallSitePts(const CallICFGNode *cs)</div><div class="ttdef"><b>Definition:</b> <a href="MemRegion_8cpp_source.html#l00477">MemRegion.cpp:477</a></div></div>
4209
4209
  <div class="ttc" id="aclassSVF_1_1MRGenerator_html_a98b3481580be48cff7e93bf3c8a29dac"><div class="ttname"><a href="classSVF_1_1MRGenerator.html#a98b3481580be48cff7e93bf3c8a29dac">SVF::MRGenerator::getRepPointsTo</a></div><div class="ttdeci">const NodeBS &amp; getRepPointsTo(const NodeBS &amp;cpts) const</div><div class="ttdoc">Get superset cpts set.</div><div class="ttdef"><b>Definition:</b> <a href="MemRegion_8h_source.html#l00186">MemRegion.h:186</a></div></div>
4210
4210
  <div class="ttc" id="anamespaceSVF_html_a3e2b6638b0fbca37846e953142bcc844aea8604a04fd5c658e0ca8b9177316ba0"><div class="ttname"><a href="namespaceSVF.html#a3e2b6638b0fbca37846e953142bcc844aea8604a04fd5c658e0ca8b9177316ba0">SVF::Mod</a></div><div class="ttdeci">@ Mod</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00614">SVFType.h:614</a></div></div>
4211
- <div class="ttc" id="aclassSVF_1_1PointerAnalysis_html_a240219c2dc4f5cc5f85445e18c79b83b"><div class="ttname"><a href="classSVF_1_1PointerAnalysis.html#a240219c2dc4f5cc5f85445e18c79b83b">SVF::PointerAnalysis::getPAG</a></div><div class="ttdeci">SVFIR * getPAG() const</div><div class="ttdef"><b>Definition:</b> <a href="PointerAnalysis_8h_source.html#l00201">PointerAnalysis.h:201</a></div></div>
4211
+ <div class="ttc" id="aclassSVF_1_1PointerAnalysis_html_a240219c2dc4f5cc5f85445e18c79b83b"><div class="ttname"><a href="classSVF_1_1PointerAnalysis.html#a240219c2dc4f5cc5f85445e18c79b83b">SVF::PointerAnalysis::getPAG</a></div><div class="ttdeci">SVFIR * getPAG() const</div><div class="ttdef"><b>Definition:</b> <a href="PointerAnalysis_8h_source.html#l00198">PointerAnalysis.h:198</a></div></div>
4212
4212
  <div class="ttc" id="aclassSVF_1_1MRGenerator_html_a3121380139c7ae96d2045d66203253b6"><div class="ttname"><a href="classSVF_1_1MRGenerator.html#a3121380139c7ae96d2045d66203253b6">SVF::MRGenerator::getFunction</a></div><div class="ttdeci">const SVFFunction * getFunction(const PAGEdge *pagEdge) const</div><div class="ttdoc">Get the function which SVFIR Edge located.</div><div class="ttdef"><b>Definition:</b> <a href="MemRegion_8h_source.html#l00435">MemRegion.h:435</a></div></div>
4213
4213
  <div class="ttc" id="aclassSVF_1_1SCCDetection_html_a6502c0a765ac1653474ffee651949f93"><div class="ttname"><a href="classSVF_1_1SCCDetection.html#a6502c0a765ac1653474ffee651949f93">SVF::SCCDetection::topoNodeStack</a></div><div class="ttdeci">GNodeStack &amp; topoNodeStack()</div><div class="ttdef"><b>Definition:</b> <a href="SCC_8h_source.html#l00128">SCC.h:128</a></div></div>
4214
4214
  <!-- start footer part -->