svf-tools 1.0.784 → 1.0.786

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 (249) hide show
  1. package/SVF-doxygen/html/CFBasicBlockG_8cpp_source.html +56 -43
  2. package/SVF-doxygen/html/CFBasicBlockG_8h_source.html +505 -494
  3. package/SVF-doxygen/html/WTO_8h_source.html +3 -3
  4. package/SVF-doxygen/html/classSVF_1_1CFBasicBlockEdge-members.html +27 -26
  5. package/SVF-doxygen/html/classSVF_1_1CFBasicBlockEdge.html +62 -19
  6. package/SVF-doxygen/html/classSVF_1_1CFBasicBlockGBuilder.html +53 -41
  7. package/SVF-doxygen/html/classSVF_1_1CFBasicBlockGWTOCycle.html +1 -1
  8. package/SVF-doxygen/html/classSVF_1_1CFBasicBlockGWTONode.html +1 -1
  9. package/SVF-doxygen/html/classSVF_1_1CFBasicBlockGraph-members.html +6 -5
  10. package/SVF-doxygen/html/classSVF_1_1CFBasicBlockGraph.html +169 -136
  11. package/SVF-doxygen/html/classSVF_1_1CFBasicBlockNode.html +177 -177
  12. package/SVF-doxygen/html/functions.html +3 -3
  13. package/SVF-doxygen/html/functions_b.html +3 -3
  14. package/SVF-doxygen/html/functions_c.html +29 -29
  15. package/SVF-doxygen/html/functions_f.html +3 -3
  16. package/SVF-doxygen/html/functions_func_c.html +21 -21
  17. package/SVF-doxygen/html/functions_func_g.html +11 -8
  18. package/SVF-doxygen/html/functions_func_h.html +4 -1
  19. package/SVF-doxygen/html/functions_func_s.html +25 -22
  20. package/SVF-doxygen/html/functions_g.html +7 -4
  21. package/SVF-doxygen/html/functions_h.html +3 -0
  22. package/SVF-doxygen/html/functions_i.html +6 -6
  23. package/SVF-doxygen/html/functions_l.html +3 -3
  24. package/SVF-doxygen/html/functions_n.html +4 -4
  25. package/SVF-doxygen/html/functions_o.html +18 -18
  26. package/SVF-doxygen/html/functions_p.html +12 -12
  27. package/SVF-doxygen/html/functions_r.html +5 -3
  28. package/SVF-doxygen/html/functions_s.html +21 -18
  29. package/SVF-doxygen/html/functions_t.html +10 -10
  30. package/SVF-doxygen/html/functions_v.html +3 -3
  31. package/SVF-doxygen/html/functions_vars.html +3 -3
  32. package/SVF-doxygen/html/namespaceSVF.html +2 -2
  33. package/SVF-doxygen/html/search/all_0.js +18 -18
  34. package/SVF-doxygen/html/search/all_10.js +324 -324
  35. package/SVF-doxygen/html/search/all_11.js +224 -224
  36. package/SVF-doxygen/html/search/all_12.js +542 -541
  37. package/SVF-doxygen/html/search/all_13.js +190 -190
  38. package/SVF-doxygen/html/search/all_14.js +67 -67
  39. package/SVF-doxygen/html/search/all_15.js +170 -170
  40. package/SVF-doxygen/html/search/all_16.js +63 -63
  41. package/SVF-doxygen/html/search/all_17.js +1 -1
  42. package/SVF-doxygen/html/search/all_18.js +1 -1
  43. package/SVF-doxygen/html/search/all_19.js +11 -11
  44. package/SVF-doxygen/html/search/all_1a.js +172 -172
  45. package/SVF-doxygen/html/search/all_2.js +1 -1
  46. package/SVF-doxygen/html/search/all_3.js +1 -1
  47. package/SVF-doxygen/html/search/all_6.js +1 -1
  48. package/SVF-doxygen/html/search/all_7.js +592 -591
  49. package/SVF-doxygen/html/search/all_8.js +195 -194
  50. package/SVF-doxygen/html/search/all_9.js +607 -607
  51. package/SVF-doxygen/html/search/all_a.js +46 -46
  52. package/SVF-doxygen/html/search/all_b.js +26 -26
  53. package/SVF-doxygen/html/search/all_c.js +116 -116
  54. package/SVF-doxygen/html/search/all_d.js +196 -196
  55. package/SVF-doxygen/html/search/all_e.js +207 -207
  56. package/SVF-doxygen/html/search/all_f.js +116 -116
  57. package/SVF-doxygen/html/search/classes_0.js +26 -26
  58. package/SVF-doxygen/html/search/classes_1.js +9 -9
  59. package/SVF-doxygen/html/search/classes_10.js +73 -73
  60. package/SVF-doxygen/html/search/classes_11.js +15 -15
  61. package/SVF-doxygen/html/search/classes_12.js +2 -2
  62. package/SVF-doxygen/html/search/classes_13.js +10 -10
  63. package/SVF-doxygen/html/search/classes_14.js +14 -14
  64. package/SVF-doxygen/html/search/classes_15.js +1 -1
  65. package/SVF-doxygen/html/search/classes_2.js +80 -80
  66. package/SVF-doxygen/html/search/classes_3.js +37 -37
  67. package/SVF-doxygen/html/search/classes_4.js +9 -9
  68. package/SVF-doxygen/html/search/classes_5.js +28 -28
  69. package/SVF-doxygen/html/search/classes_6.js +104 -104
  70. package/SVF-doxygen/html/search/classes_7.js +33 -33
  71. package/SVF-doxygen/html/search/classes_8.js +56 -56
  72. package/SVF-doxygen/html/search/classes_9.js +1 -1
  73. package/SVF-doxygen/html/search/classes_a.js +12 -12
  74. package/SVF-doxygen/html/search/classes_b.js +29 -29
  75. package/SVF-doxygen/html/search/classes_c.js +6 -6
  76. package/SVF-doxygen/html/search/classes_d.js +18 -18
  77. package/SVF-doxygen/html/search/classes_e.js +36 -36
  78. package/SVF-doxygen/html/search/classes_f.js +25 -25
  79. package/SVF-doxygen/html/search/defines_0.js +3 -3
  80. package/SVF-doxygen/html/search/defines_1.js +2 -2
  81. package/SVF-doxygen/html/search/defines_2.js +30 -30
  82. package/SVF-doxygen/html/search/defines_3.js +21 -21
  83. package/SVF-doxygen/html/search/defines_4.js +2 -2
  84. package/SVF-doxygen/html/search/defines_5.js +4 -4
  85. package/SVF-doxygen/html/search/defines_6.js +2 -2
  86. package/SVF-doxygen/html/search/defines_7.js +5 -5
  87. package/SVF-doxygen/html/search/defines_8.js +11 -11
  88. package/SVF-doxygen/html/search/defines_9.js +9 -9
  89. package/SVF-doxygen/html/search/defines_a.js +2 -2
  90. package/SVF-doxygen/html/search/defines_b.js +1 -1
  91. package/SVF-doxygen/html/search/defines_c.js +3 -3
  92. package/SVF-doxygen/html/search/defines_d.js +2 -2
  93. package/SVF-doxygen/html/search/defines_e.js +7 -7
  94. package/SVF-doxygen/html/search/defines_f.js +3 -3
  95. package/SVF-doxygen/html/search/enums_0.js +3 -3
  96. package/SVF-doxygen/html/search/enums_1.js +2 -2
  97. package/SVF-doxygen/html/search/enums_10.js +1 -1
  98. package/SVF-doxygen/html/search/enums_11.js +1 -1
  99. package/SVF-doxygen/html/search/enums_2.js +8 -8
  100. package/SVF-doxygen/html/search/enums_3.js +1 -1
  101. package/SVF-doxygen/html/search/enums_4.js +3 -3
  102. package/SVF-doxygen/html/search/enums_5.js +1 -1
  103. package/SVF-doxygen/html/search/enums_6.js +2 -2
  104. package/SVF-doxygen/html/search/enums_7.js +2 -2
  105. package/SVF-doxygen/html/search/enums_8.js +4 -4
  106. package/SVF-doxygen/html/search/enums_9.js +1 -1
  107. package/SVF-doxygen/html/search/enums_a.js +1 -1
  108. package/SVF-doxygen/html/search/enums_b.js +7 -7
  109. package/SVF-doxygen/html/search/enums_c.js +1 -1
  110. package/SVF-doxygen/html/search/enums_d.js +4 -4
  111. package/SVF-doxygen/html/search/enums_e.js +2 -2
  112. package/SVF-doxygen/html/search/enums_f.js +4 -4
  113. package/SVF-doxygen/html/search/enumvalues_0.js +14 -14
  114. package/SVF-doxygen/html/search/enumvalues_1.js +14 -14
  115. package/SVF-doxygen/html/search/enumvalues_10.js +35 -35
  116. package/SVF-doxygen/html/search/enumvalues_11.js +3 -3
  117. package/SVF-doxygen/html/search/enumvalues_12.js +10 -10
  118. package/SVF-doxygen/html/search/enumvalues_13.js +1 -1
  119. package/SVF-doxygen/html/search/enumvalues_14.js +1 -1
  120. package/SVF-doxygen/html/search/enumvalues_15.js +3 -3
  121. package/SVF-doxygen/html/search/enumvalues_2.js +36 -36
  122. package/SVF-doxygen/html/search/enumvalues_3.js +13 -13
  123. package/SVF-doxygen/html/search/enumvalues_4.js +2 -2
  124. package/SVF-doxygen/html/search/enumvalues_5.js +47 -47
  125. package/SVF-doxygen/html/search/enumvalues_6.js +6 -6
  126. package/SVF-doxygen/html/search/enumvalues_7.js +9 -9
  127. package/SVF-doxygen/html/search/enumvalues_8.js +23 -23
  128. package/SVF-doxygen/html/search/enumvalues_9.js +6 -6
  129. package/SVF-doxygen/html/search/enumvalues_a.js +15 -15
  130. package/SVF-doxygen/html/search/enumvalues_b.js +11 -11
  131. package/SVF-doxygen/html/search/enumvalues_c.js +5 -5
  132. package/SVF-doxygen/html/search/enumvalues_d.js +18 -18
  133. package/SVF-doxygen/html/search/enumvalues_e.js +9 -9
  134. package/SVF-doxygen/html/search/enumvalues_f.js +45 -45
  135. package/SVF-doxygen/html/search/files_0.js +13 -13
  136. package/SVF-doxygen/html/search/files_1.js +7 -7
  137. package/SVF-doxygen/html/search/files_10.js +8 -8
  138. package/SVF-doxygen/html/search/files_11.js +8 -8
  139. package/SVF-doxygen/html/search/files_12.js +2 -2
  140. package/SVF-doxygen/html/search/files_2.js +53 -53
  141. package/SVF-doxygen/html/search/files_3.js +14 -14
  142. package/SVF-doxygen/html/search/files_4.js +5 -5
  143. package/SVF-doxygen/html/search/files_5.js +13 -13
  144. package/SVF-doxygen/html/search/files_6.js +9 -9
  145. package/SVF-doxygen/html/search/files_7.js +14 -14
  146. package/SVF-doxygen/html/search/files_8.js +13 -13
  147. package/SVF-doxygen/html/search/files_9.js +18 -18
  148. package/SVF-doxygen/html/search/files_a.js +3 -3
  149. package/SVF-doxygen/html/search/files_b.js +2 -2
  150. package/SVF-doxygen/html/search/files_c.js +20 -20
  151. package/SVF-doxygen/html/search/files_d.js +4 -4
  152. package/SVF-doxygen/html/search/files_e.js +62 -62
  153. package/SVF-doxygen/html/search/files_f.js +8 -8
  154. package/SVF-doxygen/html/search/functions_0.js +12 -12
  155. package/SVF-doxygen/html/search/functions_1.js +356 -356
  156. package/SVF-doxygen/html/search/functions_10.js +140 -140
  157. package/SVF-doxygen/html/search/functions_11.js +138 -138
  158. package/SVF-doxygen/html/search/functions_12.js +277 -276
  159. package/SVF-doxygen/html/search/functions_13.js +58 -58
  160. package/SVF-doxygen/html/search/functions_14.js +39 -39
  161. package/SVF-doxygen/html/search/functions_15.js +71 -71
  162. package/SVF-doxygen/html/search/functions_16.js +32 -32
  163. package/SVF-doxygen/html/search/functions_17.js +3 -3
  164. package/SVF-doxygen/html/search/functions_18.js +172 -172
  165. package/SVF-doxygen/html/search/functions_2.js +86 -86
  166. package/SVF-doxygen/html/search/functions_3.js +257 -257
  167. package/SVF-doxygen/html/search/functions_4.js +75 -75
  168. package/SVF-doxygen/html/search/functions_5.js +53 -53
  169. package/SVF-doxygen/html/search/functions_6.js +59 -59
  170. package/SVF-doxygen/html/search/functions_7.js +849 -848
  171. package/SVF-doxygen/html/search/functions_8.js +147 -146
  172. package/SVF-doxygen/html/search/functions_9.js +425 -425
  173. package/SVF-doxygen/html/search/functions_a.js +30 -30
  174. package/SVF-doxygen/html/search/functions_b.js +2 -2
  175. package/SVF-doxygen/html/search/functions_c.js +26 -26
  176. package/SVF-doxygen/html/search/functions_d.js +77 -77
  177. package/SVF-doxygen/html/search/functions_e.js +35 -35
  178. package/SVF-doxygen/html/search/functions_f.js +56 -56
  179. package/SVF-doxygen/html/search/namespaces_0.js +1 -1
  180. package/SVF-doxygen/html/search/namespaces_1.js +7 -7
  181. package/SVF-doxygen/html/search/related_0.js +2 -2
  182. package/SVF-doxygen/html/search/related_1.js +2 -2
  183. package/SVF-doxygen/html/search/related_2.js +2 -2
  184. package/SVF-doxygen/html/search/related_3.js +2 -2
  185. package/SVF-doxygen/html/search/related_4.js +2 -2
  186. package/SVF-doxygen/html/search/related_5.js +1 -1
  187. package/SVF-doxygen/html/search/related_6.js +2 -2
  188. package/SVF-doxygen/html/search/related_7.js +4 -4
  189. package/SVF-doxygen/html/search/related_8.js +2 -2
  190. package/SVF-doxygen/html/search/related_9.js +4 -4
  191. package/SVF-doxygen/html/search/related_a.js +19 -19
  192. package/SVF-doxygen/html/search/related_b.js +4 -4
  193. package/SVF-doxygen/html/search/related_c.js +1 -1
  194. package/SVF-doxygen/html/search/related_d.js +11 -11
  195. package/SVF-doxygen/html/search/related_e.js +2 -2
  196. package/SVF-doxygen/html/search/related_f.js +2 -2
  197. package/SVF-doxygen/html/search/typedefs_0.js +18 -18
  198. package/SVF-doxygen/html/search/typedefs_1.js +26 -26
  199. package/SVF-doxygen/html/search/typedefs_10.js +61 -61
  200. package/SVF-doxygen/html/search/typedefs_11.js +13 -13
  201. package/SVF-doxygen/html/search/typedefs_12.js +11 -11
  202. package/SVF-doxygen/html/search/typedefs_13.js +35 -35
  203. package/SVF-doxygen/html/search/typedefs_14.js +8 -8
  204. package/SVF-doxygen/html/search/typedefs_2.js +129 -129
  205. package/SVF-doxygen/html/search/typedefs_3.js +39 -39
  206. package/SVF-doxygen/html/search/typedefs_4.js +17 -17
  207. package/SVF-doxygen/html/search/typedefs_5.js +41 -41
  208. package/SVF-doxygen/html/search/typedefs_6.js +55 -55
  209. package/SVF-doxygen/html/search/typedefs_7.js +42 -42
  210. package/SVF-doxygen/html/search/typedefs_8.js +1 -1
  211. package/SVF-doxygen/html/search/typedefs_9.js +6 -6
  212. package/SVF-doxygen/html/search/typedefs_a.js +29 -29
  213. package/SVF-doxygen/html/search/typedefs_b.js +29 -29
  214. package/SVF-doxygen/html/search/typedefs_c.js +41 -41
  215. package/SVF-doxygen/html/search/typedefs_d.js +15 -15
  216. package/SVF-doxygen/html/search/typedefs_e.js +52 -52
  217. package/SVF-doxygen/html/search/typedefs_f.js +14 -14
  218. package/SVF-doxygen/html/search/variables_0.js +152 -152
  219. package/SVF-doxygen/html/search/variables_1.js +75 -75
  220. package/SVF-doxygen/html/search/variables_10.js +97 -97
  221. package/SVF-doxygen/html/search/variables_11.js +46 -46
  222. package/SVF-doxygen/html/search/variables_12.js +92 -92
  223. package/SVF-doxygen/html/search/variables_13.js +75 -75
  224. package/SVF-doxygen/html/search/variables_14.js +14 -14
  225. package/SVF-doxygen/html/search/variables_15.js +48 -48
  226. package/SVF-doxygen/html/search/variables_16.js +9 -9
  227. package/SVF-doxygen/html/search/variables_17.js +1 -1
  228. package/SVF-doxygen/html/search/variables_18.js +2 -2
  229. package/SVF-doxygen/html/search/variables_2.js +37 -37
  230. package/SVF-doxygen/html/search/variables_3.js +142 -142
  231. package/SVF-doxygen/html/search/variables_4.js +55 -55
  232. package/SVF-doxygen/html/search/variables_5.js +39 -39
  233. package/SVF-doxygen/html/search/variables_6.js +66 -66
  234. package/SVF-doxygen/html/search/variables_7.js +33 -33
  235. package/SVF-doxygen/html/search/variables_8.js +7 -7
  236. package/SVF-doxygen/html/search/variables_9.js +77 -77
  237. package/SVF-doxygen/html/search/variables_a.js +4 -4
  238. package/SVF-doxygen/html/search/variables_b.js +10 -10
  239. package/SVF-doxygen/html/search/variables_c.js +45 -45
  240. package/SVF-doxygen/html/search/variables_d.js +56 -56
  241. package/SVF-doxygen/html/search/variables_e.js +123 -123
  242. package/SVF-doxygen/html/search/variables_f.js +30 -30
  243. package/SVF-doxygen/html/structSVF_1_1DOTGraphTraits_3_01SVF_1_1CFBasicBlockGraph_01_5_01_4.html +40 -40
  244. package/SVF-doxygen/html/structSVF_1_1GenericGraphTraits_3_01Inverse_3_01SVF_1_1CFBasicBlockNode_01_5_01_4_01_4.html +1 -1
  245. package/SVF-doxygen/html/structSVF_1_1GenericGraphTraits_3_01SVF_1_1CFBasicBlockGraph_01_5_01_4.html +2 -2
  246. package/SVF-doxygen/html/structSVF_1_1GenericGraphTraits_3_01SVF_1_1CFBasicBlockNode_01_5_01_4.html +1 -1
  247. package/package.json +1 -1
  248. package/svf/include/Graphs/CFBasicBlockG.h +16 -7
  249. package/svf/lib/Graphs/CFBasicBlockG.cpp +14 -2
package/SVF-doxygen/html/WTO_8h_source.html CHANGED
@@ -818,7 +818,7 @@ $(function() {
818
818
  <div class="ttc" id="aclassSVF_1_1CFBasicBlockGWTOComp_html_afc8a2840e779e319aa4088cf7deecf54"><div class="ttname"><a href="classSVF_1_1CFBasicBlockGWTOComp.html#afc8a2840e779e319aa4088cf7deecf54">SVF::CFBasicBlockGWTOComp::_type</a></div><div class="ttdeci">WtoCT _type</div><div class="ttdef"><b>Definition:</b> <a href="WTO_8h_source.html#l00332">WTO.h:332</a></div></div>
819
819
  <div class="ttc" id="aclassSVF_1_1WTOCycleDepth_html_af70d7a393f898a72153da55d87b3d739"><div class="ttname"><a href="classSVF_1_1WTOCycleDepth.html#af70d7a393f898a72153da55d87b3d739">SVF::WTOCycleDepth::operator&lt;=</a></div><div class="ttdeci">bool operator&lt;=(const WTOCycleDepth &amp;other) const</div><div class="ttdoc">Less than or Equal with other's depth.</div><div class="ttdef"><b>Definition:</b> <a href="WTO_8h_source.html#l00214">WTO.h:214</a></div></div>
820
820
  <div class="ttc" id="aclassSVF_1_1CFBasicBlockGWTO_html_ac2fdb330a81c28cae01858952d237c7e"><div class="ttname"><a href="classSVF_1_1CFBasicBlockGWTO.html#ac2fdb330a81c28cae01858952d237c7e">SVF::CFBasicBlockGWTO::headBegin</a></div><div class="ttdeci">NodeRefToWTOCycleMap::const_iterator headBegin() const</div><div class="ttdef"><b>Definition:</b> <a href="WTO_8h_source.html#l00535">WTO.h:535</a></div></div>
821
- <div class="ttc" id="aclassSVF_1_1CFBasicBlockNode_html_a48c0b6643c481afb15d4c4f89d00eecb"><div class="ttname"><a href="classSVF_1_1CFBasicBlockNode.html#a48c0b6643c481afb15d4c4f89d00eecb">SVF::CFBasicBlockNode::getOutEdges</a></div><div class="ttdeci">const CFBBEdgeSetTy &amp; getOutEdges() const</div><div class="ttdef"><b>Definition:</b> <a href="CFBasicBlockG_8h_source.html#l00183">CFBasicBlockG.h:183</a></div></div>
821
+ <div class="ttc" id="aclassSVF_1_1CFBasicBlockNode_html_a48c0b6643c481afb15d4c4f89d00eecb"><div class="ttname"><a href="classSVF_1_1CFBasicBlockNode.html#a48c0b6643c481afb15d4c4f89d00eecb">SVF::CFBasicBlockNode::getOutEdges</a></div><div class="ttdeci">const CFBBEdgeSetTy &amp; getOutEdges() const</div><div class="ttdef"><b>Definition:</b> <a href="CFBasicBlockG_8h_source.html#l00188">CFBasicBlockG.h:188</a></div></div>
822
822
  <div class="ttc" id="anamespaceSVF_html_af739db846e47ba6b2fd15eaad31ab7fb"><div class="ttname"><a href="namespaceSVF.html#af739db846e47ba6b2fd15eaad31ab7fb">SVF::Set</a></div><div class="ttdeci">std::unordered_set&lt; Key, Hash, KeyEqual, Allocator &gt; Set</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00097">SVFType.h:97</a></div></div>
823
823
  <div class="ttc" id="aclassSVF_1_1WTOCycleDepth_html_a2bfdd81b8742322d03c52c811ff742ce"><div class="ttname"><a href="classSVF_1_1WTOCycleDepth.html#a2bfdd81b8742322d03c52c811ff742ce">SVF::WTOCycleDepth::begin</a></div><div class="ttdeci">Iterator begin() const</div><div class="ttdef"><b>Definition:</b> <a href="WTO_8h_source.html#l00117">WTO.h:117</a></div></div>
824
824
  <div class="ttc" id="aclassSVF_1_1CFBasicBlockGWTO_html_ae4fd19b6216a43afdac4edae42f22a26"><div class="ttname"><a href="classSVF_1_1CFBasicBlockGWTO.html#ae4fd19b6216a43afdac4edae42f22a26">SVF::CFBasicBlockGWTO::CFBasicBlockNodes</a></div><div class="ttdeci">std::vector&lt; const CFBasicBlockNode * &gt; CFBasicBlockNodes</div><div class="ttdef"><b>Definition:</b> <a href="WTO_8h_source.html#l00479">WTO.h:479</a></div></div>
@@ -895,11 +895,11 @@ $(function() {
895
895
  <div class="ttc" id="aclassSVF_1_1CFBasicBlockGWTO_html_ad8d9315b18c019bada948380f8a4bb35"><div class="ttname"><a href="classSVF_1_1CFBasicBlockGWTO.html#ad8d9315b18c019bada948380f8a4bb35">SVF::CFBasicBlockGWTO::pop</a></div><div class="ttdeci">const CFBasicBlockNode * pop()</div><div class="ttdoc">Pop a node from the stack.</div><div class="ttdef"><b>Definition:</b> <a href="WTO_8h_source.html#l00722">WTO.h:722</a></div></div>
896
896
  <div class="ttc" id="aclassSVF_1_1WTOCycleDepth_html_a9d23c459bac6e9f3b64ec0233065ba61"><div class="ttname"><a href="classSVF_1_1WTOCycleDepth.html#a9d23c459bac6e9f3b64ec0233065ba61">SVF::WTOCycleDepth::~WTOCycleDepth</a></div><div class="ttdeci">~WTOCycleDepth()=default</div><div class="ttdoc">Default Destructor.</div></div>
897
897
  <div class="ttc" id="aclassSVF_1_1WTOCycleDepth_html_a0874603e54060f9309aea39c7655d28e"><div class="ttname"><a href="classSVF_1_1WTOCycleDepth.html#a0874603e54060f9309aea39c7655d28e">SVF::WTOCycleDepth::compare</a></div><div class="ttdeci">int compare(const WTOCycleDepth &amp;other) const</div><div class="ttdoc">Compare the given wto-cycle-depth.</div><div class="ttdef"><b>Definition:</b> <a href="WTO_8h_source.html#l00148">WTO.h:148</a></div></div>
898
- <div class="ttc" id="aclassSVF_1_1CFBasicBlockNode_html"><div class="ttname"><a href="classSVF_1_1CFBasicBlockNode.html">SVF::CFBasicBlockNode</a></div><div class="ttdef"><b>Definition:</b> <a href="CFBasicBlockG_8h_source.html#l00106">CFBasicBlockG.h:106</a></div></div>
898
+ <div class="ttc" id="aclassSVF_1_1CFBasicBlockNode_html"><div class="ttname"><a href="classSVF_1_1CFBasicBlockNode.html">SVF::CFBasicBlockNode</a></div><div class="ttdef"><b>Definition:</b> <a href="CFBasicBlockG_8h_source.html#l00111">CFBasicBlockG.h:111</a></div></div>
899
899
  <div class="ttc" id="aclassSVF_1_1CFBasicBlockGWTO_1_1WTOCycleDepthBuilder_html_a0f190d9a736d0d0aa6621aa6984bb962"><div class="ttname"><a href="classSVF_1_1CFBasicBlockGWTO_1_1WTOCycleDepthBuilder.html#a0f190d9a736d0d0aa6621aa6984bb962">SVF::CFBasicBlockGWTO::WTOCycleDepthBuilder::visit</a></div><div class="ttdeci">void visit(const CFBasicBlockGWTOCycle &amp;cycle) override</div><div class="ttdoc">Visit WTO Cycle.</div><div class="ttdef"><b>Definition:</b> <a href="WTO_8h_source.html#l00625">WTO.h:625</a></div></div>
900
900
  <div class="ttc" id="aclassSVF_1_1CFBasicBlockGWTOComp_html"><div class="ttname"><a href="classSVF_1_1CFBasicBlockGWTOComp.html">SVF::CFBasicBlockGWTOComp</a></div><div class="ttdef"><b>Definition:</b> <a href="WTO_8h_source.html#l00285">WTO.h:285</a></div></div>
901
901
  <div class="ttc" id="aclassSVF_1_1CFBasicBlockGWTOCycle_html_a68cc18d5e3e4be58467f4aa0806dcd59"><div class="ttname"><a href="classSVF_1_1CFBasicBlockGWTOCycle.html#a68cc18d5e3e4be58467f4aa0806dcd59">SVF::CFBasicBlockGWTOCycle::WtoComponentRefList</a></div><div class="ttdeci">std::list&lt; const CFBasicBlockGWTOComp * &gt; WtoComponentRefList</div><div class="ttdef"><b>Definition:</b> <a href="WTO_8h_source.html#l00389">WTO.h:389</a></div></div>
902
- <div class="ttc" id="aclassSVF_1_1CFBasicBlockNode_html_a4ed32455eaafc3bd1a06ed9b417b329d"><div class="ttname"><a href="classSVF_1_1CFBasicBlockNode.html#a4ed32455eaafc3bd1a06ed9b417b329d">SVF::CFBasicBlockNode::getName</a></div><div class="ttdeci">std::string getName() const</div><div class="ttdef"><b>Definition:</b> <a href="CFBasicBlockG_8h_source.html#l00135">CFBasicBlockG.h:135</a></div></div>
902
+ <div class="ttc" id="aclassSVF_1_1CFBasicBlockNode_html_a4ed32455eaafc3bd1a06ed9b417b329d"><div class="ttname"><a href="classSVF_1_1CFBasicBlockNode.html#a4ed32455eaafc3bd1a06ed9b417b329d">SVF::CFBasicBlockNode::getName</a></div><div class="ttdeci">std::string getName() const</div><div class="ttdef"><b>Definition:</b> <a href="CFBasicBlockG_8h_source.html#l00140">CFBasicBlockG.h:140</a></div></div>
903
903
  <div class="ttc" id="aclassSVF_1_1CFBasicBlockGWTONode_html"><div class="ttname"><a href="classSVF_1_1CFBasicBlockGWTONode.html">SVF::CFBasicBlockGWTONode</a></div><div class="ttdef"><b>Definition:</b> <a href="WTO_8h_source.html#l00340">WTO.h:340</a></div></div>
904
904
  <div class="ttc" id="aclassSVF_1_1CFBasicBlockGWTONode_html_a2e572490ff932b1efdc6bc86b5ea9558"><div class="ttname"><a href="classSVF_1_1CFBasicBlockGWTONode.html#a2e572490ff932b1efdc6bc86b5ea9558">SVF::CFBasicBlockGWTONode::classof</a></div><div class="ttdeci">static bool classof(const CFBasicBlockGWTOComp *c)</div><div class="ttdef"><b>Definition:</b> <a href="WTO_8h_source.html#l00374">WTO.h:374</a></div></div>
905
905
  <div class="ttc" id="aclassSVF_1_1CFBasicBlockGWTOComp_html_a906097ba3f14728a1e3e0f7f8d8218a6"><div class="ttname"><a href="classSVF_1_1CFBasicBlockGWTOComp.html#a906097ba3f14728a1e3e0f7f8d8218a6">SVF::CFBasicBlockGWTOComp::getKind</a></div><div class="ttdeci">WtoCT getKind() const</div><div class="ttdoc">Return the WTO Kind (node or cycle)</div><div class="ttdef"><b>Definition:</b> <a href="WTO_8h_source.html#l00317">WTO.h:317</a></div></div>
package/SVF-doxygen/html/classSVF_1_1CFBasicBlockEdge-members.html CHANGED
@@ -74,32 +74,33 @@ $(function() {
74
74
  <table class="directory">
75
75
  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1CFBasicBlockEdge.html#a90d4a0b67bea812b4258719906ba03ab">_icfgEdge</a></td><td class="entry"><a class="el" href="classSVF_1_1CFBasicBlockEdge.html">SVF::CFBasicBlockEdge</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
76
76
  <tr><td class="entry"><a class="el" href="classSVF_1_1CFBasicBlockEdge.html#a19282dcbe8b0cb22471f72cfc8469f45">CFBasicBlockEdge</a>(CFBasicBlockNode *src, CFBasicBlockNode *dst, const ICFGEdge *edge)</td><td class="entry"><a class="el" href="classSVF_1_1CFBasicBlockEdge.html">SVF::CFBasicBlockEdge</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
77
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1CFBasicBlockEdge.html#a91416cbac7ad797a9b4ee67f93fbd8f4">CFBBEdgeSetTy</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1CFBasicBlockEdge.html">SVF::CFBasicBlockEdge</a></td><td class="entry"></td></tr>
78
- <tr><td class="entry"><a class="el" href="classSVF_1_1CFBasicBlockEdge.html#a99f9b76dce6bdbfca228273eece2b923">const_iterator</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1CFBasicBlockEdge.html">SVF::CFBasicBlockEdge</a></td><td class="entry"></td></tr>
79
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html#aa41cb7482bdab1ba328f4b94f30f3ee4">dst</a></td><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html">SVF::GenericEdge&lt; NodeTy &gt;</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
80
- <tr><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html#aa1f446e93750580dce04a127231dd1a3">edgeFlag</a></td><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html">SVF::GenericEdge&lt; NodeTy &gt;</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
81
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html#a93dec4c27088242a4b1b6aa82cea46b9">EdgeKindMask</a></td><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html">SVF::GenericEdge&lt; NodeTy &gt;</a></td><td class="entry"><span class="mlabel">protected</span><span class="mlabel">static</span></td></tr>
82
- <tr><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html#af1c2fd4b5ef1d7b7605572bf2489c298">EdgeKindMaskBits</a></td><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html">SVF::GenericEdge&lt; NodeTy &gt;</a></td><td class="entry"><span class="mlabel">protected</span><span class="mlabel">static</span></td></tr>
83
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html#a5126563245987eba1bfc4e196a795270">equalGEdge</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html">SVF::GenericEdge&lt; NodeTy &gt;</a></td><td class="entry"></td></tr>
84
- <tr><td class="entry"><a class="el" href="classSVF_1_1CFBasicBlockEdge.html#a0bb3c8008c17e12ad2e17363f9257e23">equalICFGEdgeWrapper</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1CFBasicBlockEdge.html">SVF::CFBasicBlockEdge</a></td><td class="entry"></td></tr>
85
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html#aab8892b73370c32b48621cd1d0cce614">GEdgeFlag</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html">SVF::GenericEdge&lt; NodeTy &gt;</a></td><td class="entry"></td></tr>
86
- <tr><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html#a5aceeb48929f54264807b36569019a8a">GEdgeKind</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html">SVF::GenericEdge&lt; NodeTy &gt;</a></td><td class="entry"></td></tr>
87
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html#a6764973569c281d483afab17a75cb4dc">GenericEdge</a>(NodeTy *s, NodeTy *d, GEdgeFlag k)</td><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html">SVF::GenericEdge&lt; NodeTy &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
88
- <tr><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html#ad9edb45e74ae675d9da82f5acf02d56e">getDstID</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html">SVF::GenericEdge&lt; NodeTy &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
89
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html#aeaa31a2c8479e831b36ce2e2582ceb86">getDstNode</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html">SVF::GenericEdge&lt; NodeTy &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
90
- <tr><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html#abe8525c542def8162b094c169a01993b">getEdgeKind</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html">SVF::GenericEdge&lt; NodeTy &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
91
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html#a20d8b844fc4bb0bb776d290b4e477fc5">getEdgeKindWithoutMask</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html">SVF::GenericEdge&lt; NodeTy &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
92
- <tr><td class="entry"><a class="el" href="classSVF_1_1CFBasicBlockEdge.html#ab76d16c6799ccd45575f8d30728832ad">getICFGEdge</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1CFBasicBlockEdge.html">SVF::CFBasicBlockEdge</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
93
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html#ae6792506a0150a9400d635eceab7f9e7">getSrcID</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html">SVF::GenericEdge&lt; NodeTy &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
94
- <tr><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html#ab47ca533c415841ef75456cbad439589">getSrcNode</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html">SVF::GenericEdge&lt; NodeTy &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
95
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1CFBasicBlockEdge.html#a00cb890f5d3b51654bc7fe98d19406a4">iterator</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1CFBasicBlockEdge.html">SVF::CFBasicBlockEdge</a></td><td class="entry"></td></tr>
96
- <tr><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html#aff95460d4b859e657a9198b7c5e5c736">NodeType</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html">SVF::GenericEdge&lt; NodeTy &gt;</a></td><td class="entry"></td></tr>
97
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1CFBasicBlockEdge.html#a9385587148475626fba07d2cc13d0488">operator&lt;&lt;</a>(std::ostream &amp;o, const CFBasicBlockEdge &amp;edge)</td><td class="entry"><a class="el" href="classSVF_1_1CFBasicBlockEdge.html">SVF::CFBasicBlockEdge</a></td><td class="entry"><span class="mlabel">friend</span></td></tr>
98
- <tr><td class="entry"><a class="el" href="classSVF_1_1CFBasicBlockEdge.html#a8dcfa5b748916c61392f340c68c769a8">operator==</a>(const CFBasicBlockEdge *rhs) const</td><td class="entry"><a class="el" href="classSVF_1_1CFBasicBlockEdge.html">SVF::CFBasicBlockEdge</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
99
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html#a0e461644bf9a4e50099b38f09222e858">SVF::GenericEdge::operator==</a>(const GenericEdge&lt; NodeType &gt; *rhs) const</td><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html">SVF::GenericEdge&lt; NodeTy &gt;</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
100
- <tr><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html#a0e8736f88ee75da025d874f92328ca71">src</a></td><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html">SVF::GenericEdge&lt; NodeTy &gt;</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
101
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1CFBasicBlockEdge.html#abb9b3f9a5464f40e6d4d0cd2def08906">toString</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1CFBasicBlockEdge.html">SVF::CFBasicBlockEdge</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
102
- <tr><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html#a548daea0cac6491de91d4840b7297741">~GenericEdge</a>()</td><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html">SVF::GenericEdge&lt; NodeTy &gt;</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
77
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1CFBasicBlockEdge.html#abf8dc2f35d28b630f875104ed05512af">CFBasicBlockEdge</a>(CFBasicBlockNode *src, CFBasicBlockNode *dst)</td><td class="entry"><a class="el" href="classSVF_1_1CFBasicBlockEdge.html">SVF::CFBasicBlockEdge</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
78
+ <tr><td class="entry"><a class="el" href="classSVF_1_1CFBasicBlockEdge.html#a91416cbac7ad797a9b4ee67f93fbd8f4">CFBBEdgeSetTy</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1CFBasicBlockEdge.html">SVF::CFBasicBlockEdge</a></td><td class="entry"></td></tr>
79
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1CFBasicBlockEdge.html#a99f9b76dce6bdbfca228273eece2b923">const_iterator</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1CFBasicBlockEdge.html">SVF::CFBasicBlockEdge</a></td><td class="entry"></td></tr>
80
+ <tr><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html#aa41cb7482bdab1ba328f4b94f30f3ee4">dst</a></td><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html">SVF::GenericEdge&lt; NodeTy &gt;</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
81
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html#aa1f446e93750580dce04a127231dd1a3">edgeFlag</a></td><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html">SVF::GenericEdge&lt; NodeTy &gt;</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
82
+ <tr><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html#a93dec4c27088242a4b1b6aa82cea46b9">EdgeKindMask</a></td><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html">SVF::GenericEdge&lt; NodeTy &gt;</a></td><td class="entry"><span class="mlabel">protected</span><span class="mlabel">static</span></td></tr>
83
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html#af1c2fd4b5ef1d7b7605572bf2489c298">EdgeKindMaskBits</a></td><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html">SVF::GenericEdge&lt; NodeTy &gt;</a></td><td class="entry"><span class="mlabel">protected</span><span class="mlabel">static</span></td></tr>
84
+ <tr><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html#a5126563245987eba1bfc4e196a795270">equalGEdge</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html">SVF::GenericEdge&lt; NodeTy &gt;</a></td><td class="entry"></td></tr>
85
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1CFBasicBlockEdge.html#a0bb3c8008c17e12ad2e17363f9257e23">equalICFGEdgeWrapper</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1CFBasicBlockEdge.html">SVF::CFBasicBlockEdge</a></td><td class="entry"></td></tr>
86
+ <tr><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html#aab8892b73370c32b48621cd1d0cce614">GEdgeFlag</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html">SVF::GenericEdge&lt; NodeTy &gt;</a></td><td class="entry"></td></tr>
87
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html#a5aceeb48929f54264807b36569019a8a">GEdgeKind</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html">SVF::GenericEdge&lt; NodeTy &gt;</a></td><td class="entry"></td></tr>
88
+ <tr><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html#a6764973569c281d483afab17a75cb4dc">GenericEdge</a>(NodeTy *s, NodeTy *d, GEdgeFlag k)</td><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html">SVF::GenericEdge&lt; NodeTy &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
89
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html#ad9edb45e74ae675d9da82f5acf02d56e">getDstID</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html">SVF::GenericEdge&lt; NodeTy &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
90
+ <tr><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html#aeaa31a2c8479e831b36ce2e2582ceb86">getDstNode</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html">SVF::GenericEdge&lt; NodeTy &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
91
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html#abe8525c542def8162b094c169a01993b">getEdgeKind</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html">SVF::GenericEdge&lt; NodeTy &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
92
+ <tr><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html#a20d8b844fc4bb0bb776d290b4e477fc5">getEdgeKindWithoutMask</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html">SVF::GenericEdge&lt; NodeTy &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
93
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1CFBasicBlockEdge.html#ab76d16c6799ccd45575f8d30728832ad">getICFGEdge</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1CFBasicBlockEdge.html">SVF::CFBasicBlockEdge</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
94
+ <tr><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html#ae6792506a0150a9400d635eceab7f9e7">getSrcID</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html">SVF::GenericEdge&lt; NodeTy &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
95
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html#ab47ca533c415841ef75456cbad439589">getSrcNode</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html">SVF::GenericEdge&lt; NodeTy &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
96
+ <tr><td class="entry"><a class="el" href="classSVF_1_1CFBasicBlockEdge.html#a00cb890f5d3b51654bc7fe98d19406a4">iterator</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1CFBasicBlockEdge.html">SVF::CFBasicBlockEdge</a></td><td class="entry"></td></tr>
97
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html#aff95460d4b859e657a9198b7c5e5c736">NodeType</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html">SVF::GenericEdge&lt; NodeTy &gt;</a></td><td class="entry"></td></tr>
98
+ <tr><td class="entry"><a class="el" href="classSVF_1_1CFBasicBlockEdge.html#a9385587148475626fba07d2cc13d0488">operator&lt;&lt;</a>(std::ostream &amp;o, const CFBasicBlockEdge &amp;edge)</td><td class="entry"><a class="el" href="classSVF_1_1CFBasicBlockEdge.html">SVF::CFBasicBlockEdge</a></td><td class="entry"><span class="mlabel">friend</span></td></tr>
99
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1CFBasicBlockEdge.html#a8dcfa5b748916c61392f340c68c769a8">operator==</a>(const CFBasicBlockEdge *rhs) const</td><td class="entry"><a class="el" href="classSVF_1_1CFBasicBlockEdge.html">SVF::CFBasicBlockEdge</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
100
+ <tr><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html#a0e461644bf9a4e50099b38f09222e858">SVF::GenericEdge::operator==</a>(const GenericEdge&lt; NodeType &gt; *rhs) const</td><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html">SVF::GenericEdge&lt; NodeTy &gt;</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
101
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html#a0e8736f88ee75da025d874f92328ca71">src</a></td><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html">SVF::GenericEdge&lt; NodeTy &gt;</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
102
+ <tr><td class="entry"><a class="el" href="classSVF_1_1CFBasicBlockEdge.html#abb9b3f9a5464f40e6d4d0cd2def08906">toString</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1CFBasicBlockEdge.html">SVF::CFBasicBlockEdge</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
103
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html#a548daea0cac6491de91d4840b7297741">~GenericEdge</a>()</td><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html">SVF::GenericEdge&lt; NodeTy &gt;</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
103
104
  </table></div><!-- contents -->
104
105
  <!-- start footer part -->
105
106
  <hr class="footer"/><address class="footer"><small>
package/SVF-doxygen/html/classSVF_1_1CFBasicBlockEdge.html CHANGED
@@ -119,6 +119,8 @@ Public Types</h2></td></tr>
119
119
  Public Member Functions</h2></td></tr>
120
120
  <tr class="memitem:a19282dcbe8b0cb22471f72cfc8469f45"><td class="memItemLeft" align="right" valign="top">&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CFBasicBlockEdge.html#a19282dcbe8b0cb22471f72cfc8469f45">CFBasicBlockEdge</a> (<a class="el" href="classSVF_1_1CFBasicBlockNode.html">CFBasicBlockNode</a> *<a class="el" href="classSVF_1_1GenericEdge.html#a0e8736f88ee75da025d874f92328ca71">src</a>, <a class="el" href="classSVF_1_1CFBasicBlockNode.html">CFBasicBlockNode</a> *<a class="el" href="classSVF_1_1GenericEdge.html#aa41cb7482bdab1ba328f4b94f30f3ee4">dst</a>, const <a class="el" href="classSVF_1_1ICFGEdge.html">ICFGEdge</a> *edge)</td></tr>
121
121
  <tr class="separator:a19282dcbe8b0cb22471f72cfc8469f45"><td class="memSeparator" colspan="2">&#160;</td></tr>
122
+ <tr class="memitem:abf8dc2f35d28b630f875104ed05512af"><td class="memItemLeft" align="right" valign="top">&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CFBasicBlockEdge.html#abf8dc2f35d28b630f875104ed05512af">CFBasicBlockEdge</a> (<a class="el" href="classSVF_1_1CFBasicBlockNode.html">CFBasicBlockNode</a> *<a class="el" href="classSVF_1_1GenericEdge.html#a0e8736f88ee75da025d874f92328ca71">src</a>, <a class="el" href="classSVF_1_1CFBasicBlockNode.html">CFBasicBlockNode</a> *<a class="el" href="classSVF_1_1GenericEdge.html#aa41cb7482bdab1ba328f4b94f30f3ee4">dst</a>)</td></tr>
123
+ <tr class="separator:abf8dc2f35d28b630f875104ed05512af"><td class="memSeparator" colspan="2">&#160;</td></tr>
122
124
  <tr class="memitem:abb9b3f9a5464f40e6d4d0cd2def08906"><td class="memItemLeft" align="right" valign="top">virtual const <a class="el" href="cJSON_8cpp.html#ae1adbce218e7a9d09164012443191d24">std::string</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CFBasicBlockEdge.html#abb9b3f9a5464f40e6d4d0cd2def08906">toString</a> () const</td></tr>
123
125
  <tr class="separator:abb9b3f9a5464f40e6d4d0cd2def08906"><td class="memSeparator" colspan="2">&#160;</td></tr>
124
126
  <tr class="memitem:ab76d16c6799ccd45575f8d30728832ad"><td class="memItemLeft" align="right" valign="top">const <a class="el" href="classSVF_1_1ICFGEdge.html">ICFGEdge</a> *&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CFBasicBlockEdge.html#ab76d16c6799ccd45575f8d30728832ad">getICFGEdge</a> () const</td></tr>
@@ -236,7 +238,7 @@ Additional Inherited Members</h2></td></tr>
236
238
  </div>
237
239
  <h2 class="groupheader">Constructor &amp; Destructor Documentation</h2>
238
240
  <a id="a19282dcbe8b0cb22471f72cfc8469f45"></a>
239
- <h2 class="memtitle"><span class="permalink"><a href="#a19282dcbe8b0cb22471f72cfc8469f45">&#9670;&nbsp;</a></span>CFBasicBlockEdge()</h2>
241
+ <h2 class="memtitle"><span class="permalink"><a href="#a19282dcbe8b0cb22471f72cfc8469f45">&#9670;&nbsp;</a></span>CFBasicBlockEdge() <span class="overload">[1/2]</span></h2>
240
242
 
241
243
  <div class="memitem">
242
244
  <div class="memproto">
@@ -282,6 +284,47 @@ Additional Inherited Members</h2></td></tr>
282
284
  </div><!-- fragment -->
283
285
  </div>
284
286
  </div>
287
+ <a id="abf8dc2f35d28b630f875104ed05512af"></a>
288
+ <h2 class="memtitle"><span class="permalink"><a href="#abf8dc2f35d28b630f875104ed05512af">&#9670;&nbsp;</a></span>CFBasicBlockEdge() <span class="overload">[2/2]</span></h2>
289
+
290
+ <div class="memitem">
291
+ <div class="memproto">
292
+ <table class="mlabels">
293
+ <tr>
294
+ <td class="mlabels-left">
295
+ <table class="memname">
296
+ <tr>
297
+ <td class="memname">SVF::CFBasicBlockEdge::CFBasicBlockEdge </td>
298
+ <td>(</td>
299
+ <td class="paramtype"><a class="el" href="classSVF_1_1CFBasicBlockNode.html">CFBasicBlockNode</a> *&#160;</td>
300
+ <td class="paramname"><em>src</em>, </td>
301
+ </tr>
302
+ <tr>
303
+ <td class="paramkey"></td>
304
+ <td></td>
305
+ <td class="paramtype"><a class="el" href="classSVF_1_1CFBasicBlockNode.html">CFBasicBlockNode</a> *&#160;</td>
306
+ <td class="paramname"><em>dst</em>&#160;</td>
307
+ </tr>
308
+ <tr>
309
+ <td></td>
310
+ <td>)</td>
311
+ <td></td><td></td>
312
+ </tr>
313
+ </table>
314
+ </td>
315
+ <td class="mlabels-right">
316
+ <span class="mlabels"><span class="mlabel">inline</span></span> </td>
317
+ </tr>
318
+ </table>
319
+ </div><div class="memdoc">
320
+
321
+ <p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#l00074">74</a> of file <a class="el" href="CFBasicBlockG_8h_source.html">CFBasicBlockG.h</a>.</p>
322
+ <div class="fragment"><div class="line"><a name="l00075"></a><span class="lineno"> 75</span>&#160; : <a class="code" href="namespaceSVF.html#add130ff635b1364201548469c28c0572">GenericCFBasicBlockEdgeTy</a>(<a class="code" href="classSVF_1_1GenericEdge.html#a0e8736f88ee75da025d874f92328ca71">src</a>, <a class="code" href="classSVF_1_1GenericEdge.html#aa41cb7482bdab1ba328f4b94f30f3ee4">dst</a>, 0), <a class="code" href="classSVF_1_1CFBasicBlockEdge.html#a90d4a0b67bea812b4258719906ba03ab">_icfgEdge</a>(<span class="keyword">nullptr</span>)</div>
323
+ <div class="line"><a name="l00076"></a><span class="lineno"> 76</span>&#160; {</div>
324
+ <div class="line"><a name="l00077"></a><span class="lineno"> 77</span>&#160; }</div>
325
+ </div><!-- fragment -->
326
+ </div>
327
+ </div>
285
328
  <h2 class="groupheader">Member Function Documentation</h2>
286
329
  <a id="ab76d16c6799ccd45575f8d30728832ad"></a>
287
330
  <h2 class="memtitle"><span class="permalink"><a href="#ab76d16c6799ccd45575f8d30728832ad">&#9670;&nbsp;</a></span>getICFGEdge()</h2>
@@ -306,10 +349,10 @@ Additional Inherited Members</h2></td></tr>
306
349
  </table>
307
350
  </div><div class="memdoc">
308
351
 
309
- <p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#l00085">85</a> of file <a class="el" href="CFBasicBlockG_8h_source.html">CFBasicBlockG.h</a>.</p>
310
- <div class="fragment"><div class="line"><a name="l00086"></a><span class="lineno"> 86</span>&#160; {</div>
311
- <div class="line"><a name="l00087"></a><span class="lineno"> 87</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1CFBasicBlockEdge.html#a90d4a0b67bea812b4258719906ba03ab">_icfgEdge</a>;</div>
312
- <div class="line"><a name="l00088"></a><span class="lineno"> 88</span>&#160; }</div>
352
+ <p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#l00090">90</a> of file <a class="el" href="CFBasicBlockG_8h_source.html">CFBasicBlockG.h</a>.</p>
353
+ <div class="fragment"><div class="line"><a name="l00091"></a><span class="lineno"> 91</span>&#160; {</div>
354
+ <div class="line"><a name="l00092"></a><span class="lineno"> 92</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1CFBasicBlockEdge.html#a90d4a0b67bea812b4258719906ba03ab">_icfgEdge</a>;</div>
355
+ <div class="line"><a name="l00093"></a><span class="lineno"> 93</span>&#160; }</div>
313
356
  </div><!-- fragment -->
314
357
  </div>
315
358
  </div>
@@ -339,11 +382,11 @@ Additional Inherited Members</h2></td></tr>
339
382
 
340
383
  <p>Add the hash function for std::set (we also can overload operator&lt; to implement this) </p>
341
384
 
342
- <p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#l00095">95</a> of file <a class="el" href="CFBasicBlockG_8h_source.html">CFBasicBlockG.h</a>.</p>
343
- <div class="fragment"><div class="line"><a name="l00096"></a><span class="lineno"> 96</span>&#160; {</div>
344
- <div class="line"><a name="l00097"></a><span class="lineno"> 97</span>&#160; <span class="keywordflow">return</span> (rhs-&gt;getSrcID() == this-&gt;getSrcID() &amp;&amp; rhs-&gt;getDstID() == this-&gt;getDstID() &amp;&amp;</div>
345
- <div class="line"><a name="l00098"></a><span class="lineno"> 98</span>&#160; rhs-&gt;getICFGEdge() == this-&gt;getICFGEdge());</div>
346
- <div class="line"><a name="l00099"></a><span class="lineno"> 99</span>&#160; }</div>
385
+ <p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#l00100">100</a> of file <a class="el" href="CFBasicBlockG_8h_source.html">CFBasicBlockG.h</a>.</p>
386
+ <div class="fragment"><div class="line"><a name="l00101"></a><span class="lineno"> 101</span>&#160; {</div>
387
+ <div class="line"><a name="l00102"></a><span class="lineno"> 102</span>&#160; <span class="keywordflow">return</span> (rhs-&gt;getSrcID() == this-&gt;getSrcID() &amp;&amp; rhs-&gt;getDstID() == this-&gt;getDstID() &amp;&amp;</div>
388
+ <div class="line"><a name="l00103"></a><span class="lineno"> 103</span>&#160; rhs-&gt;getICFGEdge() == this-&gt;getICFGEdge());</div>
389
+ <div class="line"><a name="l00104"></a><span class="lineno"> 104</span>&#160; }</div>
347
390
  </div><!-- fragment -->
348
391
  </div>
349
392
  </div>
@@ -370,10 +413,10 @@ Additional Inherited Members</h2></td></tr>
370
413
  </table>
371
414
  </div><div class="memdoc">
372
415
 
373
- <p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#l00080">80</a> of file <a class="el" href="CFBasicBlockG_8h_source.html">CFBasicBlockG.h</a>.</p>
374
- <div class="fragment"><div class="line"><a name="l00081"></a><span class="lineno"> 81</span>&#160; {</div>
375
- <div class="line"><a name="l00082"></a><span class="lineno"> 82</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1CFBasicBlockEdge.html#a90d4a0b67bea812b4258719906ba03ab">_icfgEdge</a>-&gt;<a class="code" href="classSVF_1_1ICFGEdge.html#a7233609f62f278b738036e8de9bbbfc8">toString</a>();</div>
376
- <div class="line"><a name="l00083"></a><span class="lineno"> 83</span>&#160; }</div>
416
+ <p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#l00085">85</a> of file <a class="el" href="CFBasicBlockG_8h_source.html">CFBasicBlockG.h</a>.</p>
417
+ <div class="fragment"><div class="line"><a name="l00086"></a><span class="lineno"> 86</span>&#160; {</div>
418
+ <div class="line"><a name="l00087"></a><span class="lineno"> 87</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1CFBasicBlockEdge.html#a90d4a0b67bea812b4258719906ba03ab">_icfgEdge</a>-&gt;<a class="code" href="classSVF_1_1ICFGEdge.html#a7233609f62f278b738036e8de9bbbfc8">toString</a>();</div>
419
+ <div class="line"><a name="l00088"></a><span class="lineno"> 88</span>&#160; }</div>
377
420
  </div><!-- fragment -->
378
421
  </div>
379
422
  </div>
@@ -412,11 +455,11 @@ Additional Inherited Members</h2></td></tr>
412
455
  </table>
413
456
  </div><div class="memdoc">
414
457
 
415
- <p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#l00074">74</a> of file <a class="el" href="CFBasicBlockG_8h_source.html">CFBasicBlockG.h</a>.</p>
416
- <div class="fragment"><div class="line"><a name="l00075"></a><span class="lineno"> 75</span>&#160; {</div>
417
- <div class="line"><a name="l00076"></a><span class="lineno"> 76</span>&#160; o &lt;&lt; edge.toString();</div>
418
- <div class="line"><a name="l00077"></a><span class="lineno"> 77</span>&#160; <span class="keywordflow">return</span> o;</div>
419
- <div class="line"><a name="l00078"></a><span class="lineno"> 78</span>&#160; }</div>
458
+ <p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#l00079">79</a> of file <a class="el" href="CFBasicBlockG_8h_source.html">CFBasicBlockG.h</a>.</p>
459
+ <div class="fragment"><div class="line"><a name="l00080"></a><span class="lineno"> 80</span>&#160; {</div>
460
+ <div class="line"><a name="l00081"></a><span class="lineno"> 81</span>&#160; o &lt;&lt; edge.toString();</div>
461
+ <div class="line"><a name="l00082"></a><span class="lineno"> 82</span>&#160; <span class="keywordflow">return</span> o;</div>
462
+ <div class="line"><a name="l00083"></a><span class="lineno"> 83</span>&#160; }</div>
420
463
  </div><!-- fragment -->
421
464
  </div>
422
465
  </div>
package/SVF-doxygen/html/classSVF_1_1CFBasicBlockGBuilder.html CHANGED
@@ -94,7 +94,7 @@ Private Attributes</h2></td></tr>
94
94
  </table>
95
95
  <a name="details" id="details"></a><h2 class="groupheader">Detailed Description</h2>
96
96
  <div class="textblock">
97
- <p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#l00484">484</a> of file <a class="el" href="CFBasicBlockG_8h_source.html">CFBasicBlockG.h</a>.</p>
97
+ <p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#l00493">493</a> of file <a class="el" href="CFBasicBlockG_8h_source.html">CFBasicBlockG.h</a>.</p>
98
98
  </div><h2 class="groupheader">Constructor &amp; Destructor Documentation</h2>
99
99
  <a id="a61d70fb0d2181df3c90152e9226db947"></a>
100
100
  <h2 class="memtitle"><span class="permalink"><a href="#a61d70fb0d2181df3c90152e9226db947">&#9670;&nbsp;</a></span>CFBasicBlockGBuilder()</h2>
@@ -119,8 +119,8 @@ Private Attributes</h2></td></tr>
119
119
  </table>
120
120
  </div><div class="memdoc">
121
121
 
122
- <p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#l00491">491</a> of file <a class="el" href="CFBasicBlockG_8h_source.html">CFBasicBlockG.h</a>.</p>
123
- <div class="fragment"><div class="line"><a name="l00491"></a><span class="lineno"> 491</span>&#160;: <a class="code" href="classSVF_1_1CFBasicBlockGBuilder.html#a4a298a45e54cbaf41cdf44aeea1a63f3">_CFBasicBlockG</a>() {}</div>
122
+ <p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#l00500">500</a> of file <a class="el" href="CFBasicBlockG_8h_source.html">CFBasicBlockG.h</a>.</p>
123
+ <div class="fragment"><div class="line"><a name="l00500"></a><span class="lineno"> 500</span>&#160;: <a class="code" href="classSVF_1_1CFBasicBlockGBuilder.html#a4a298a45e54cbaf41cdf44aeea1a63f3">_CFBasicBlockG</a>() {}</div>
124
124
  </div><!-- fragment -->
125
125
  </div>
126
126
  </div>
@@ -149,10 +149,11 @@ Private Attributes</h2></td></tr>
149
149
  </table>
150
150
  </div><div class="memdoc">
151
151
 
152
- <p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8cpp_source.html#l00136">136</a> of file <a class="el" href="CFBasicBlockG_8cpp_source.html">CFBasicBlockG.cpp</a>.</p>
153
- <div class="fragment"><div class="line"><a name="l00137"></a><span class="lineno"> 137</span>&#160;{</div>
154
- <div class="line"><a name="l00138"></a><span class="lineno"> 138</span>&#160; <a class="code" href="classSVF_1_1CFBasicBlockGBuilder.html#a4a298a45e54cbaf41cdf44aeea1a63f3">_CFBasicBlockG</a> = <span class="keyword">new</span> CFBasicBlockGraph();</div>
155
- <div class="line"><a name="l00139"></a><span class="lineno"> 139</span>&#160; Map&lt;const SVFBasicBlock*, CFBasicBlockNode*&gt; bbToNode;</div>
152
+ <p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8cpp_source.html#l00135">135</a> of file <a class="el" href="CFBasicBlockG_8cpp_source.html">CFBasicBlockG.cpp</a>.</p>
153
+ <div class="fragment"><div class="line"><a name="l00136"></a><span class="lineno"> 136</span>&#160;{</div>
154
+ <div class="line"><a name="l00137"></a><span class="lineno"> 137</span>&#160; <a class="code" href="classSVF_1_1CFBasicBlockGBuilder.html#a4a298a45e54cbaf41cdf44aeea1a63f3">_CFBasicBlockG</a> = <span class="keyword">new</span> CFBasicBlockGraph();</div>
155
+ <div class="line"><a name="l00138"></a><span class="lineno"> 138</span>&#160; Map&lt;const SVFBasicBlock*, CFBasicBlockNode*&gt; bbToNode;</div>
156
+ <div class="line"><a name="l00139"></a><span class="lineno"> 139</span>&#160; Map&lt;const SVFFunction*, CFBasicBlockNode*&gt; funToFirstNode;</div>
156
157
  <div class="line"><a name="l00140"></a><span class="lineno"> 140</span>&#160; <span class="keywordflow">for</span> (<span class="keyword">const</span> <span class="keyword">auto</span>&amp; node : *icfg)</div>
157
158
  <div class="line"><a name="l00141"></a><span class="lineno"> 141</span>&#160; {</div>
158
159
  <div class="line"><a name="l00142"></a><span class="lineno"> 142</span>&#160; CFBasicBlockNode* pNode = <span class="keyword">nullptr</span>;</div>
@@ -169,29 +170,41 @@ Private Attributes</h2></td></tr>
169
170
  <div class="line"><a name="l00153"></a><span class="lineno"> 153</span>&#160; pNode = bbToNode[node.second-&gt;getBB()];</div>
170
171
  <div class="line"><a name="l00154"></a><span class="lineno"> 154</span>&#160; pNode-&gt;addNode(node.second);</div>
171
172
  <div class="line"><a name="l00155"></a><span class="lineno"> 155</span>&#160; }</div>
172
- <div class="line"><a name="l00156"></a><span class="lineno"> 156</span>&#160; }</div>
173
- <div class="line"><a name="l00157"></a><span class="lineno"> 157</span>&#160; }</div>
174
- <div class="line"><a name="l00158"></a><span class="lineno"> 158</span>&#160; </div>
175
- <div class="line"><a name="l00159"></a><span class="lineno"> 159</span>&#160; <span class="keywordflow">for</span> (<span class="keyword">const</span> <span class="keyword">auto</span>&amp; node : *icfg)</div>
176
- <div class="line"><a name="l00160"></a><span class="lineno"> 160</span>&#160; {</div>
177
- <div class="line"><a name="l00161"></a><span class="lineno"> 161</span>&#160; <span class="keywordflow">for</span> (<span class="keyword">const</span> <span class="keyword">auto</span> &amp;succ: node.second-&gt;getOutEdges())</div>
178
- <div class="line"><a name="l00162"></a><span class="lineno"> 162</span>&#160; {</div>
179
- <div class="line"><a name="l00163"></a><span class="lineno"> 163</span>&#160; <span class="keyword">const</span> SVFFunction* node_fun = node.second-&gt;getFun();</div>
180
- <div class="line"><a name="l00164"></a><span class="lineno"> 164</span>&#160; <span class="keyword">const</span> SVFFunction* succ_fun = succ-&gt;getDstNode()-&gt;getFun();</div>
181
- <div class="line"><a name="l00165"></a><span class="lineno"> 165</span>&#160; <span class="keyword">const</span> SVFBasicBlock* node_bb = node.second-&gt;getBB();</div>
182
- <div class="line"><a name="l00166"></a><span class="lineno"> 166</span>&#160; <span class="keyword">const</span> SVFBasicBlock* succ_bb = succ-&gt;getDstNode()-&gt;getBB();</div>
183
- <div class="line"><a name="l00167"></a><span class="lineno"> 167</span>&#160; <span class="keywordflow">if</span> (node_fun == succ_fun)</div>
184
- <div class="line"><a name="l00168"></a><span class="lineno"> 168</span>&#160; {</div>
185
- <div class="line"><a name="l00169"></a><span class="lineno"> 169</span>&#160; <span class="keywordflow">if</span> (node_bb != succ_bb)</div>
186
- <div class="line"><a name="l00170"></a><span class="lineno"> 170</span>&#160; {</div>
187
- <div class="line"><a name="l00171"></a><span class="lineno"> 171</span>&#160; CFBasicBlockEdge *pEdge = <span class="keyword">new</span> CFBasicBlockEdge(bbToNode[node_bb], bbToNode[succ_bb], succ);</div>
188
- <div class="line"><a name="l00172"></a><span class="lineno"> 172</span>&#160; <a class="code" href="classSVF_1_1CFBasicBlockGBuilder.html#a4a298a45e54cbaf41cdf44aeea1a63f3">_CFBasicBlockG</a>-&gt;<a class="code" href="classSVF_1_1CFBasicBlockGraph.html#acd6a4b291c9aab8abdc466f985975d0d">addCFBBEdge</a>(pEdge);</div>
189
- <div class="line"><a name="l00173"></a><span class="lineno"> 173</span>&#160; }</div>
190
- <div class="line"><a name="l00174"></a><span class="lineno"> 174</span>&#160; }</div>
191
- <div class="line"><a name="l00175"></a><span class="lineno"> 175</span>&#160; }</div>
192
- <div class="line"><a name="l00176"></a><span class="lineno"> 176</span>&#160; }</div>
193
- <div class="line"><a name="l00177"></a><span class="lineno"> 177</span>&#160; <a class="code" href="classSVF_1_1CFBasicBlockGBuilder.html#a4a298a45e54cbaf41cdf44aeea1a63f3">_CFBasicBlockG</a>-&gt;<a class="code" href="classSVF_1_1CFBasicBlockGraph.html#ab8b75e7bcafc8a1512c3e78d12bffe16">_bbToNode</a> = bbToNode;</div>
194
- <div class="line"><a name="l00178"></a><span class="lineno"> 178</span>&#160;}</div>
173
+ <div class="line"><a name="l00156"></a><span class="lineno"> 156</span>&#160; <span class="keyword">const</span> SVFFunction* fun = node.second-&gt;getFun();</div>
174
+ <div class="line"><a name="l00157"></a><span class="lineno"> 157</span>&#160; <span class="keywordflow">if</span> (funToFirstNode.find(fun) == funToFirstNode.end())</div>
175
+ <div class="line"><a name="l00158"></a><span class="lineno"> 158</span>&#160; {</div>
176
+ <div class="line"><a name="l00159"></a><span class="lineno"> 159</span>&#160; funToFirstNode[fun] = <span class="keyword">nullptr</span>;</div>
177
+ <div class="line"><a name="l00160"></a><span class="lineno"> 160</span>&#160; }</div>
178
+ <div class="line"><a name="l00161"></a><span class="lineno"> 161</span>&#160; }</div>
179
+ <div class="line"><a name="l00162"></a><span class="lineno"> 162</span>&#160; }</div>
180
+ <div class="line"><a name="l00163"></a><span class="lineno"> 163</span>&#160; </div>
181
+ <div class="line"><a name="l00164"></a><span class="lineno"> 164</span>&#160; <span class="keywordflow">for</span> (<span class="keyword">const</span> <span class="keyword">auto</span>&amp; node : *icfg)</div>
182
+ <div class="line"><a name="l00165"></a><span class="lineno"> 165</span>&#160; {</div>
183
+ <div class="line"><a name="l00166"></a><span class="lineno"> 166</span>&#160; <span class="keywordflow">for</span> (<span class="keyword">const</span> <span class="keyword">auto</span> &amp;succ: node.second-&gt;getOutEdges())</div>
184
+ <div class="line"><a name="l00167"></a><span class="lineno"> 167</span>&#160; {</div>
185
+ <div class="line"><a name="l00168"></a><span class="lineno"> 168</span>&#160; <span class="keyword">const</span> SVFFunction* node_fun = node.second-&gt;getFun();</div>
186
+ <div class="line"><a name="l00169"></a><span class="lineno"> 169</span>&#160; <span class="keyword">const</span> SVFFunction* succ_fun = succ-&gt;getDstNode()-&gt;getFun();</div>
187
+ <div class="line"><a name="l00170"></a><span class="lineno"> 170</span>&#160; <span class="keyword">const</span> SVFBasicBlock* node_bb = node.second-&gt;getBB();</div>
188
+ <div class="line"><a name="l00171"></a><span class="lineno"> 171</span>&#160; <span class="keyword">const</span> SVFBasicBlock* succ_bb = succ-&gt;getDstNode()-&gt;getBB();</div>
189
+ <div class="line"><a name="l00172"></a><span class="lineno"> 172</span>&#160; <span class="keywordflow">if</span> (node_fun == succ_fun)</div>
190
+ <div class="line"><a name="l00173"></a><span class="lineno"> 173</span>&#160; {</div>
191
+ <div class="line"><a name="l00174"></a><span class="lineno"> 174</span>&#160; <span class="keywordflow">if</span> (node_bb != succ_bb)</div>
192
+ <div class="line"><a name="l00175"></a><span class="lineno"> 175</span>&#160; {</div>
193
+ <div class="line"><a name="l00176"></a><span class="lineno"> 176</span>&#160; CFBasicBlockEdge *pEdge = <span class="keyword">new</span> CFBasicBlockEdge(bbToNode[node_bb], bbToNode[succ_bb], succ);</div>
194
+ <div class="line"><a name="l00177"></a><span class="lineno"> 177</span>&#160; <a class="code" href="classSVF_1_1CFBasicBlockGBuilder.html#a4a298a45e54cbaf41cdf44aeea1a63f3">_CFBasicBlockG</a>-&gt;<a class="code" href="classSVF_1_1CFBasicBlockGraph.html#acd6a4b291c9aab8abdc466f985975d0d">addCFBBEdge</a>(pEdge);</div>
195
+ <div class="line"><a name="l00178"></a><span class="lineno"> 178</span>&#160; }</div>
196
+ <div class="line"><a name="l00179"></a><span class="lineno"> 179</span>&#160; }</div>
197
+ <div class="line"><a name="l00180"></a><span class="lineno"> 180</span>&#160; }</div>
198
+ <div class="line"><a name="l00181"></a><span class="lineno"> 181</span>&#160; }</div>
199
+ <div class="line"><a name="l00182"></a><span class="lineno"> 182</span>&#160; </div>
200
+ <div class="line"><a name="l00183"></a><span class="lineno"> 183</span>&#160; <span class="keywordflow">for</span> (<span class="keyword">auto</span> it = funToFirstNode.begin(); it != funToFirstNode.end(); ++it)</div>
201
+ <div class="line"><a name="l00184"></a><span class="lineno"> 184</span>&#160; {</div>
202
+ <div class="line"><a name="l00185"></a><span class="lineno"> 185</span>&#160; <span class="keyword">const</span> SVFFunction* fun = it-&gt;first;</div>
203
+ <div class="line"><a name="l00186"></a><span class="lineno"> 186</span>&#160; <span class="keyword">const</span> SVFBasicBlock* bb = *fun-&gt;getBasicBlockList().begin();</div>
204
+ <div class="line"><a name="l00187"></a><span class="lineno"> 187</span>&#160; funToFirstNode[fun] = bbToNode[bb];</div>
205
+ <div class="line"><a name="l00188"></a><span class="lineno"> 188</span>&#160; }</div>
206
+ <div class="line"><a name="l00189"></a><span class="lineno"> 189</span>&#160; <a class="code" href="classSVF_1_1CFBasicBlockGBuilder.html#a4a298a45e54cbaf41cdf44aeea1a63f3">_CFBasicBlockG</a>-&gt;<a class="code" href="classSVF_1_1CFBasicBlockGraph.html#a22c1d5a9da2acd9c3ad8bb5f72cfbfc8">_funToFirstNode</a> = funToFirstNode;</div>
207
+ <div class="line"><a name="l00190"></a><span class="lineno"> 190</span>&#160;}</div>
195
208
  </div><!-- fragment -->
196
209
  </div>
197
210
  </div>
@@ -258,8 +271,7 @@ Private Attributes</h2></td></tr>
258
271
  <div class="line"><a name="l00130"></a><span class="lineno"> 130</span>&#160; }</div>
259
272
  <div class="line"><a name="l00131"></a><span class="lineno"> 131</span>&#160; }</div>
260
273
  <div class="line"><a name="l00132"></a><span class="lineno"> 132</span>&#160; }</div>
261
- <div class="line"><a name="l00133"></a><span class="lineno"> 133</span>&#160; <a class="code" href="classSVF_1_1CFBasicBlockGBuilder.html#a4a298a45e54cbaf41cdf44aeea1a63f3">_CFBasicBlockG</a>-&gt;<a class="code" href="classSVF_1_1CFBasicBlockGraph.html#ab8b75e7bcafc8a1512c3e78d12bffe16">_bbToNode</a> = bbToNode;</div>
262
- <div class="line"><a name="l00134"></a><span class="lineno"> 134</span>&#160;}</div>
274
+ <div class="line"><a name="l00133"></a><span class="lineno"> 133</span>&#160;}</div>
263
275
  </div><!-- fragment -->
264
276
  </div>
265
277
  </div>
@@ -286,10 +298,10 @@ Private Attributes</h2></td></tr>
286
298
  </table>
287
299
  </div><div class="memdoc">
288
300
 
289
- <p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#l00497">497</a> of file <a class="el" href="CFBasicBlockG_8h_source.html">CFBasicBlockG.h</a>.</p>
290
- <div class="fragment"><div class="line"><a name="l00498"></a><span class="lineno"> 498</span>&#160; {</div>
291
- <div class="line"><a name="l00499"></a><span class="lineno"> 499</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1CFBasicBlockGBuilder.html#a4a298a45e54cbaf41cdf44aeea1a63f3">_CFBasicBlockG</a>;</div>
292
- <div class="line"><a name="l00500"></a><span class="lineno"> 500</span>&#160; }</div>
301
+ <p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#l00506">506</a> of file <a class="el" href="CFBasicBlockG_8h_source.html">CFBasicBlockG.h</a>.</p>
302
+ <div class="fragment"><div class="line"><a name="l00507"></a><span class="lineno"> 507</span>&#160; {</div>
303
+ <div class="line"><a name="l00508"></a><span class="lineno"> 508</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1CFBasicBlockGBuilder.html#a4a298a45e54cbaf41cdf44aeea1a63f3">_CFBasicBlockG</a>;</div>
304
+ <div class="line"><a name="l00509"></a><span class="lineno"> 509</span>&#160; }</div>
293
305
  </div><!-- fragment -->
294
306
  </div>
295
307
  </div>
@@ -314,7 +326,7 @@ Private Attributes</h2></td></tr>
314
326
  </table>
315
327
  </div><div class="memdoc">
316
328
 
317
- <p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#l00488">488</a> of file <a class="el" href="CFBasicBlockG_8h_source.html">CFBasicBlockG.h</a>.</p>
329
+ <p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#l00497">497</a> of file <a class="el" href="CFBasicBlockG_8h_source.html">CFBasicBlockG.h</a>.</p>
318
330
 
319
331
  </div>
320
332
  </div>
@@ -323,13 +335,13 @@ Private Attributes</h2></td></tr>
323
335
  <li>/home/runner/work/SVF/SVF/svf/lib/Graphs/<a class="el" href="CFBasicBlockG_8cpp_source.html">CFBasicBlockG.cpp</a></li>
324
336
  </ul>
325
337
  </div><!-- contents -->
326
- <div class="ttc" id="aclassSVF_1_1CFBasicBlockGraph_html_ab8b75e7bcafc8a1512c3e78d12bffe16"><div class="ttname"><a href="classSVF_1_1CFBasicBlockGraph.html#ab8b75e7bcafc8a1512c3e78d12bffe16">SVF::CFBasicBlockGraph::_bbToNode</a></div><div class="ttdeci">Map&lt; const SVFBasicBlock *, CFBasicBlockNode * &gt; _bbToNode</div><div class="ttdef"><b>Definition:</b> <a href="CFBasicBlockG_8h_source.html#l00353">CFBasicBlockG.h:353</a></div></div>
327
- <div class="ttc" id="aclassSVF_1_1CFBasicBlockGraph_html_acd6a4b291c9aab8abdc466f985975d0d"><div class="ttname"><a href="classSVF_1_1CFBasicBlockGraph.html#acd6a4b291c9aab8abdc466f985975d0d">SVF::CFBasicBlockGraph::addCFBBEdge</a></div><div class="ttdeci">bool addCFBBEdge(CFBasicBlockEdge *edge)</div><div class="ttdoc">Add ICFGEdgeWrapper.</div><div class="ttdef"><b>Definition:</b> <a href="CFBasicBlockG_8h_source.html#l00467">CFBasicBlockG.h:467</a></div></div>
328
- <div class="ttc" id="aclassSVF_1_1CFBasicBlockGraph_html_a4a7a6e00d13b4099c34a3015b4f06a67"><div class="ttname"><a href="classSVF_1_1CFBasicBlockGraph.html#a4a7a6e00d13b4099c34a3015b4f06a67">SVF::CFBasicBlockGraph::addCFBBNode</a></div><div class="ttdeci">virtual void addCFBBNode(CFBasicBlockNode *node)</div><div class="ttdoc">Add a ICFGNodeWrapper.</div><div class="ttdef"><b>Definition:</b> <a href="CFBasicBlockG_8h_source.html#l00477">CFBasicBlockG.h:477</a></div></div>
338
+ <div class="ttc" id="aclassSVF_1_1CFBasicBlockGraph_html_acd6a4b291c9aab8abdc466f985975d0d"><div class="ttname"><a href="classSVF_1_1CFBasicBlockGraph.html#acd6a4b291c9aab8abdc466f985975d0d">SVF::CFBasicBlockGraph::addCFBBEdge</a></div><div class="ttdeci">bool addCFBBEdge(CFBasicBlockEdge *edge)</div><div class="ttdoc">Add ICFGEdgeWrapper.</div><div class="ttdef"><b>Definition:</b> <a href="CFBasicBlockG_8h_source.html#l00476">CFBasicBlockG.h:476</a></div></div>
339
+ <div class="ttc" id="aclassSVF_1_1CFBasicBlockGraph_html_a4a7a6e00d13b4099c34a3015b4f06a67"><div class="ttname"><a href="classSVF_1_1CFBasicBlockGraph.html#a4a7a6e00d13b4099c34a3015b4f06a67">SVF::CFBasicBlockGraph::addCFBBNode</a></div><div class="ttdeci">virtual void addCFBBNode(CFBasicBlockNode *node)</div><div class="ttdoc">Add a ICFGNodeWrapper.</div><div class="ttdef"><b>Definition:</b> <a href="CFBasicBlockG_8h_source.html#l00486">CFBasicBlockG.h:486</a></div></div>
329
340
  <div class="ttc" id="aclassSVF_1_1SVFIR_html_a37cfa2aa4e7b98ef9dc8179f581a2362"><div class="ttname"><a href="classSVF_1_1SVFIR.html#a37cfa2aa4e7b98ef9dc8179f581a2362">SVF::SVFIR::getPAG</a></div><div class="ttdeci">static SVFIR * getPAG(bool buildFromFile=false)</div><div class="ttdoc">Singleton design here to make sure we only have one instance during any analysis.</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR_8h_source.html#l00114">SVFIR.h:114</a></div></div>
330
341
  <div class="ttc" id="aclassSVF_1_1ICFG_html_a5f2c0aaba07d6fdd63058da0fb60ca8b"><div class="ttname"><a href="classSVF_1_1ICFG.html#a5f2c0aaba07d6fdd63058da0fb60ca8b">SVF::ICFG::getICFGNode</a></div><div class="ttdeci">ICFGNode * getICFGNode(NodeID id) const</div><div class="ttdoc">Get a ICFG node.</div><div class="ttdef"><b>Definition:</b> <a href="ICFG_8h_source.html#l00088">ICFG.h:88</a></div></div>
331
342
  <div class="ttc" id="aclassSVF_1_1SVFIR_html_abda052b73e869ed6d7c139ad1528da11"><div class="ttname"><a href="classSVF_1_1SVFIR.html#abda052b73e869ed6d7c139ad1528da11">SVF::SVFIR::getICFG</a></div><div class="ttdeci">ICFG * getICFG() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR_8h_source.html#l00170">SVFIR.h:170</a></div></div>
332
- <div class="ttc" id="aclassSVF_1_1CFBasicBlockGBuilder_html_a4a298a45e54cbaf41cdf44aeea1a63f3"><div class="ttname"><a href="classSVF_1_1CFBasicBlockGBuilder.html#a4a298a45e54cbaf41cdf44aeea1a63f3">SVF::CFBasicBlockGBuilder::_CFBasicBlockG</a></div><div class="ttdeci">CFBasicBlockGraph * _CFBasicBlockG</div><div class="ttdef"><b>Definition:</b> <a href="CFBasicBlockG_8h_source.html#l00488">CFBasicBlockG.h:488</a></div></div>
343
+ <div class="ttc" id="aclassSVF_1_1CFBasicBlockGraph_html_a22c1d5a9da2acd9c3ad8bb5f72cfbfc8"><div class="ttname"><a href="classSVF_1_1CFBasicBlockGraph.html#a22c1d5a9da2acd9c3ad8bb5f72cfbfc8">SVF::CFBasicBlockGraph::_funToFirstNode</a></div><div class="ttdeci">Map&lt; const SVFFunction *, CFBasicBlockNode * &gt; _funToFirstNode</div><div class="ttdef"><b>Definition:</b> <a href="CFBasicBlockG_8h_source.html#l00358">CFBasicBlockG.h:358</a></div></div>
344
+ <div class="ttc" id="aclassSVF_1_1CFBasicBlockGBuilder_html_a4a298a45e54cbaf41cdf44aeea1a63f3"><div class="ttname"><a href="classSVF_1_1CFBasicBlockGBuilder.html#a4a298a45e54cbaf41cdf44aeea1a63f3">SVF::CFBasicBlockGBuilder::_CFBasicBlockG</a></div><div class="ttdeci">CFBasicBlockGraph * _CFBasicBlockG</div><div class="ttdef"><b>Definition:</b> <a href="CFBasicBlockG_8h_source.html#l00497">CFBasicBlockG.h:497</a></div></div>
333
345
  <!-- start footer part -->
334
346
  <hr class="footer"/><address class="footer"><small>
335
347
  Generated by &#160;<a href="http://www.doxygen.org/index.html">
package/SVF-doxygen/html/classSVF_1_1CFBasicBlockGWTOCycle.html CHANGED
@@ -557,7 +557,7 @@ Additional Inherited Members</h2></td></tr>
557
557
  <div class="ttc" id="aclassSVF_1_1CFBasicBlockGWTOComp_html_a83d5f4a0d2c4efc9840d30f1a1c3b300aca33b5832e3fca1c5966ecc4ce695f96"><div class="ttname"><a href="classSVF_1_1CFBasicBlockGWTOComp.html#a83d5f4a0d2c4efc9840d30f1a1c3b300aca33b5832e3fca1c5966ecc4ce695f96">SVF::CFBasicBlockGWTOComp::Cycle</a></div><div class="ttdeci">@ Cycle</div><div class="ttdef"><b>Definition:</b> <a href="WTO_8h_source.html#l00291">WTO.h:291</a></div></div>
558
558
  <div class="ttc" id="anamespaceSVF_1_1SVFUtil_html_a72502f7f536418621485e90ab98c2016"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#a72502f7f536418621485e90ab98c2016">SVF::SVFUtil::move</a></div><div class="ttdeci">constexpr std::remove_reference&lt; T &gt;::type &amp;&amp; move(T &amp;&amp;t) noexcept</div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8h_source.html#l00621">SVFUtil.h:621</a></div></div>
559
559
  <div class="ttc" id="aclassSVF_1_1CFBasicBlockGWTOCycle_html_ac1093f863214966bd24e3696d276856f"><div class="ttname"><a href="classSVF_1_1CFBasicBlockGWTOCycle.html#ac1093f863214966bd24e3696d276856f">SVF::CFBasicBlockGWTOCycle::_components</a></div><div class="ttdeci">WtoComponentRefList _components</div><div class="ttdoc">List of components.</div><div class="ttdef"><b>Definition:</b> <a href="WTO_8h_source.html#l00397">WTO.h:397</a></div></div>
560
- <div class="ttc" id="aclassSVF_1_1CFBasicBlockNode_html_a4ed32455eaafc3bd1a06ed9b417b329d"><div class="ttname"><a href="classSVF_1_1CFBasicBlockNode.html#a4ed32455eaafc3bd1a06ed9b417b329d">SVF::CFBasicBlockNode::getName</a></div><div class="ttdeci">std::string getName() const</div><div class="ttdef"><b>Definition:</b> <a href="CFBasicBlockG_8h_source.html#l00135">CFBasicBlockG.h:135</a></div></div>
560
+ <div class="ttc" id="aclassSVF_1_1CFBasicBlockNode_html_a4ed32455eaafc3bd1a06ed9b417b329d"><div class="ttname"><a href="classSVF_1_1CFBasicBlockNode.html#a4ed32455eaafc3bd1a06ed9b417b329d">SVF::CFBasicBlockNode::getName</a></div><div class="ttdeci">std::string getName() const</div><div class="ttdef"><b>Definition:</b> <a href="CFBasicBlockG_8h_source.html#l00140">CFBasicBlockG.h:140</a></div></div>
561
561
  <div class="ttc" id="aclassSVF_1_1CFBasicBlockGWTOCycle_html_af4205c03d5bbb94d52fe449a97d2b881"><div class="ttname"><a href="classSVF_1_1CFBasicBlockGWTOCycle.html#af4205c03d5bbb94d52fe449a97d2b881">SVF::CFBasicBlockGWTOCycle::end</a></div><div class="ttdeci">Iterator end() const</div><div class="ttdef"><b>Definition:</b> <a href="WTO_8h_source.html#l00415">WTO.h:415</a></div></div>
562
562
  <!-- start footer part -->
563
563
  <hr class="footer"/><address class="footer"><small>
package/SVF-doxygen/html/classSVF_1_1CFBasicBlockGWTONode.html CHANGED
@@ -378,7 +378,7 @@ Additional Inherited Members</h2></td></tr>
378
378
  <div class="ttc" id="acJSON_8h_html_ad4c68ea99a26b0a98ad9a79982960458"><div class="ttname"><a href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">string</a></div><div class="ttdeci">const char *const string</div><div class="ttdef"><b>Definition:</b> <a href="cJSON_8h_source.html#l00172">cJSON.h:172</a></div></div>
379
379
  <div class="ttc" id="aclassSVF_1_1CFBasicBlockGWTOComp_html_a0ddb4d1f31175afee6d2a57e312f783c"><div class="ttname"><a href="classSVF_1_1CFBasicBlockGWTOComp.html#a0ddb4d1f31175afee6d2a57e312f783c">SVF::CFBasicBlockGWTOComp::CFBasicBlockGWTOComp</a></div><div class="ttdeci">CFBasicBlockGWTOComp(WtoCT k)</div><div class="ttdoc">Default Constructor.</div><div class="ttdef"><b>Definition:</b> <a href="WTO_8h_source.html#l00296">WTO.h:296</a></div></div>
380
380
  <div class="ttc" id="aclassSVF_1_1CFBasicBlockGWTONode_html_a2c032aada23502c3e71921e338f0db9f"><div class="ttname"><a href="classSVF_1_1CFBasicBlockGWTONode.html#a2c032aada23502c3e71921e338f0db9f">SVF::CFBasicBlockGWTONode::_node</a></div><div class="ttdeci">const CFBasicBlockNode * _node</div><div class="ttdef"><b>Definition:</b> <a href="WTO_8h_source.html#l00343">WTO.h:343</a></div></div>
381
- <div class="ttc" id="aclassSVF_1_1CFBasicBlockNode_html_a4ed32455eaafc3bd1a06ed9b417b329d"><div class="ttname"><a href="classSVF_1_1CFBasicBlockNode.html#a4ed32455eaafc3bd1a06ed9b417b329d">SVF::CFBasicBlockNode::getName</a></div><div class="ttdeci">std::string getName() const</div><div class="ttdef"><b>Definition:</b> <a href="CFBasicBlockG_8h_source.html#l00135">CFBasicBlockG.h:135</a></div></div>
381
+ <div class="ttc" id="aclassSVF_1_1CFBasicBlockNode_html_a4ed32455eaafc3bd1a06ed9b417b329d"><div class="ttname"><a href="classSVF_1_1CFBasicBlockNode.html#a4ed32455eaafc3bd1a06ed9b417b329d">SVF::CFBasicBlockNode::getName</a></div><div class="ttdeci">std::string getName() const</div><div class="ttdef"><b>Definition:</b> <a href="CFBasicBlockG_8h_source.html#l00140">CFBasicBlockG.h:140</a></div></div>
382
382
  <div class="ttc" id="aclassSVF_1_1CFBasicBlockGWTONode_html_ab0b71fd36e24dcc7ff4f5489a5ee1444"><div class="ttname"><a href="classSVF_1_1CFBasicBlockGWTONode.html#ab0b71fd36e24dcc7ff4f5489a5ee1444">SVF::CFBasicBlockGWTONode::node</a></div><div class="ttdeci">const CFBasicBlockNode * node() const</div><div class="ttdoc">Return the graph node.</div><div class="ttdef"><b>Definition:</b> <a href="WTO_8h_source.html#l00350">WTO.h:350</a></div></div>
383
383
  <div class="ttc" id="aclassSVF_1_1CFBasicBlockGWTOComp_html_a83d5f4a0d2c4efc9840d30f1a1c3b300aaf4f363db1d83aea6168413b9530b392"><div class="ttname"><a href="classSVF_1_1CFBasicBlockGWTOComp.html#a83d5f4a0d2c4efc9840d30f1a1c3b300aaf4f363db1d83aea6168413b9530b392">SVF::CFBasicBlockGWTOComp::Node</a></div><div class="ttdeci">@ Node</div><div class="ttdef"><b>Definition:</b> <a href="WTO_8h_source.html#l00291">WTO.h:291</a></div></div>
384
384
  <!-- start footer part -->