svf-tools 1.0.785 → 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 (239) hide show
  1. package/SVF-doxygen/html/CFBasicBlockG_8cpp_source.html +63 -66
  2. package/SVF-doxygen/html/CFBasicBlockG_8h_source.html +250 -282
  3. package/SVF-doxygen/html/classSVF_1_1CFBasicBlockGBuilder.html +69 -72
  4. package/SVF-doxygen/html/classSVF_1_1CFBasicBlockGraph-members.html +28 -33
  5. package/SVF-doxygen/html/classSVF_1_1CFBasicBlockGraph.html +109 -274
  6. package/SVF-doxygen/html/functions.html +0 -3
  7. package/SVF-doxygen/html/functions_func_g.html +20 -23
  8. package/SVF-doxygen/html/functions_func_h.html +3 -3
  9. package/SVF-doxygen/html/functions_func_s.html +22 -25
  10. package/SVF-doxygen/html/functions_g.html +12 -15
  11. package/SVF-doxygen/html/functions_h.html +4 -4
  12. package/SVF-doxygen/html/functions_n.html +4 -4
  13. package/SVF-doxygen/html/functions_o.html +18 -18
  14. package/SVF-doxygen/html/functions_p.html +17 -21
  15. package/SVF-doxygen/html/functions_r.html +5 -5
  16. package/SVF-doxygen/html/functions_s.html +23 -24
  17. package/SVF-doxygen/html/functions_t.html +7 -7
  18. package/SVF-doxygen/html/functions_v.html +3 -3
  19. package/SVF-doxygen/html/functions_vars.html +0 -3
  20. package/SVF-doxygen/html/search/all_0.js +141 -142
  21. package/SVF-doxygen/html/search/all_1.js +484 -484
  22. package/SVF-doxygen/html/search/all_10.js +324 -324
  23. package/SVF-doxygen/html/search/all_11.js +224 -224
  24. package/SVF-doxygen/html/search/all_12.js +542 -543
  25. package/SVF-doxygen/html/search/all_13.js +190 -190
  26. package/SVF-doxygen/html/search/all_14.js +67 -67
  27. package/SVF-doxygen/html/search/all_15.js +170 -170
  28. package/SVF-doxygen/html/search/all_16.js +63 -63
  29. package/SVF-doxygen/html/search/all_17.js +1 -1
  30. package/SVF-doxygen/html/search/all_18.js +1 -1
  31. package/SVF-doxygen/html/search/all_19.js +11 -11
  32. package/SVF-doxygen/html/search/all_1a.js +172 -172
  33. package/SVF-doxygen/html/search/all_2.js +167 -167
  34. package/SVF-doxygen/html/search/all_3.js +640 -640
  35. package/SVF-doxygen/html/search/all_4.js +233 -233
  36. package/SVF-doxygen/html/search/all_5.js +121 -121
  37. package/SVF-doxygen/html/search/all_6.js +225 -225
  38. package/SVF-doxygen/html/search/all_7.js +1038 -1039
  39. package/SVF-doxygen/html/search/all_8.js +195 -195
  40. package/SVF-doxygen/html/search/all_9.js +607 -607
  41. package/SVF-doxygen/html/search/all_a.js +46 -46
  42. package/SVF-doxygen/html/search/all_b.js +26 -26
  43. package/SVF-doxygen/html/search/all_c.js +116 -116
  44. package/SVF-doxygen/html/search/all_d.js +196 -196
  45. package/SVF-doxygen/html/search/all_e.js +207 -207
  46. package/SVF-doxygen/html/search/all_f.js +116 -116
  47. package/SVF-doxygen/html/search/classes_0.js +26 -26
  48. package/SVF-doxygen/html/search/classes_1.js +9 -9
  49. package/SVF-doxygen/html/search/classes_10.js +73 -73
  50. package/SVF-doxygen/html/search/classes_11.js +15 -15
  51. package/SVF-doxygen/html/search/classes_12.js +2 -2
  52. package/SVF-doxygen/html/search/classes_13.js +10 -10
  53. package/SVF-doxygen/html/search/classes_14.js +14 -14
  54. package/SVF-doxygen/html/search/classes_15.js +1 -1
  55. package/SVF-doxygen/html/search/classes_2.js +80 -80
  56. package/SVF-doxygen/html/search/classes_3.js +37 -37
  57. package/SVF-doxygen/html/search/classes_4.js +9 -9
  58. package/SVF-doxygen/html/search/classes_5.js +28 -28
  59. package/SVF-doxygen/html/search/classes_6.js +104 -104
  60. package/SVF-doxygen/html/search/classes_7.js +33 -33
  61. package/SVF-doxygen/html/search/classes_8.js +56 -56
  62. package/SVF-doxygen/html/search/classes_9.js +1 -1
  63. package/SVF-doxygen/html/search/classes_a.js +12 -12
  64. package/SVF-doxygen/html/search/classes_b.js +29 -29
  65. package/SVF-doxygen/html/search/classes_c.js +6 -6
  66. package/SVF-doxygen/html/search/classes_d.js +18 -18
  67. package/SVF-doxygen/html/search/classes_e.js +36 -36
  68. package/SVF-doxygen/html/search/classes_f.js +25 -25
  69. package/SVF-doxygen/html/search/defines_0.js +3 -3
  70. package/SVF-doxygen/html/search/defines_1.js +2 -2
  71. package/SVF-doxygen/html/search/defines_2.js +30 -30
  72. package/SVF-doxygen/html/search/defines_3.js +21 -21
  73. package/SVF-doxygen/html/search/defines_4.js +2 -2
  74. package/SVF-doxygen/html/search/defines_5.js +4 -4
  75. package/SVF-doxygen/html/search/defines_6.js +2 -2
  76. package/SVF-doxygen/html/search/defines_7.js +5 -5
  77. package/SVF-doxygen/html/search/defines_8.js +11 -11
  78. package/SVF-doxygen/html/search/defines_9.js +9 -9
  79. package/SVF-doxygen/html/search/defines_a.js +2 -2
  80. package/SVF-doxygen/html/search/defines_b.js +1 -1
  81. package/SVF-doxygen/html/search/defines_c.js +3 -3
  82. package/SVF-doxygen/html/search/defines_d.js +2 -2
  83. package/SVF-doxygen/html/search/defines_e.js +7 -7
  84. package/SVF-doxygen/html/search/defines_f.js +3 -3
  85. package/SVF-doxygen/html/search/enums_0.js +3 -3
  86. package/SVF-doxygen/html/search/enums_1.js +2 -2
  87. package/SVF-doxygen/html/search/enums_10.js +1 -1
  88. package/SVF-doxygen/html/search/enums_11.js +1 -1
  89. package/SVF-doxygen/html/search/enums_2.js +8 -8
  90. package/SVF-doxygen/html/search/enums_3.js +1 -1
  91. package/SVF-doxygen/html/search/enums_4.js +3 -3
  92. package/SVF-doxygen/html/search/enums_5.js +1 -1
  93. package/SVF-doxygen/html/search/enums_6.js +2 -2
  94. package/SVF-doxygen/html/search/enums_7.js +2 -2
  95. package/SVF-doxygen/html/search/enums_8.js +4 -4
  96. package/SVF-doxygen/html/search/enums_9.js +1 -1
  97. package/SVF-doxygen/html/search/enums_a.js +1 -1
  98. package/SVF-doxygen/html/search/enums_b.js +7 -7
  99. package/SVF-doxygen/html/search/enums_c.js +1 -1
  100. package/SVF-doxygen/html/search/enums_d.js +4 -4
  101. package/SVF-doxygen/html/search/enums_e.js +2 -2
  102. package/SVF-doxygen/html/search/enums_f.js +4 -4
  103. package/SVF-doxygen/html/search/enumvalues_0.js +14 -14
  104. package/SVF-doxygen/html/search/enumvalues_1.js +14 -14
  105. package/SVF-doxygen/html/search/enumvalues_10.js +35 -35
  106. package/SVF-doxygen/html/search/enumvalues_11.js +3 -3
  107. package/SVF-doxygen/html/search/enumvalues_12.js +10 -10
  108. package/SVF-doxygen/html/search/enumvalues_13.js +1 -1
  109. package/SVF-doxygen/html/search/enumvalues_14.js +1 -1
  110. package/SVF-doxygen/html/search/enumvalues_15.js +3 -3
  111. package/SVF-doxygen/html/search/enumvalues_2.js +36 -36
  112. package/SVF-doxygen/html/search/enumvalues_3.js +13 -13
  113. package/SVF-doxygen/html/search/enumvalues_4.js +2 -2
  114. package/SVF-doxygen/html/search/enumvalues_5.js +47 -47
  115. package/SVF-doxygen/html/search/enumvalues_6.js +6 -6
  116. package/SVF-doxygen/html/search/enumvalues_7.js +9 -9
  117. package/SVF-doxygen/html/search/enumvalues_8.js +23 -23
  118. package/SVF-doxygen/html/search/enumvalues_9.js +6 -6
  119. package/SVF-doxygen/html/search/enumvalues_a.js +15 -15
  120. package/SVF-doxygen/html/search/enumvalues_b.js +11 -11
  121. package/SVF-doxygen/html/search/enumvalues_c.js +5 -5
  122. package/SVF-doxygen/html/search/enumvalues_d.js +18 -18
  123. package/SVF-doxygen/html/search/enumvalues_e.js +9 -9
  124. package/SVF-doxygen/html/search/enumvalues_f.js +45 -45
  125. package/SVF-doxygen/html/search/files_0.js +13 -13
  126. package/SVF-doxygen/html/search/files_1.js +7 -7
  127. package/SVF-doxygen/html/search/files_10.js +8 -8
  128. package/SVF-doxygen/html/search/files_11.js +8 -8
  129. package/SVF-doxygen/html/search/files_12.js +2 -2
  130. package/SVF-doxygen/html/search/files_2.js +53 -53
  131. package/SVF-doxygen/html/search/files_3.js +14 -14
  132. package/SVF-doxygen/html/search/files_4.js +5 -5
  133. package/SVF-doxygen/html/search/files_5.js +13 -13
  134. package/SVF-doxygen/html/search/files_6.js +9 -9
  135. package/SVF-doxygen/html/search/files_7.js +14 -14
  136. package/SVF-doxygen/html/search/files_8.js +13 -13
  137. package/SVF-doxygen/html/search/files_9.js +18 -18
  138. package/SVF-doxygen/html/search/files_a.js +3 -3
  139. package/SVF-doxygen/html/search/files_b.js +2 -2
  140. package/SVF-doxygen/html/search/files_c.js +20 -20
  141. package/SVF-doxygen/html/search/files_d.js +4 -4
  142. package/SVF-doxygen/html/search/files_e.js +62 -62
  143. package/SVF-doxygen/html/search/files_f.js +8 -8
  144. package/SVF-doxygen/html/search/functions_0.js +12 -12
  145. package/SVF-doxygen/html/search/functions_1.js +356 -356
  146. package/SVF-doxygen/html/search/functions_10.js +140 -140
  147. package/SVF-doxygen/html/search/functions_11.js +138 -138
  148. package/SVF-doxygen/html/search/functions_12.js +277 -278
  149. package/SVF-doxygen/html/search/functions_13.js +58 -58
  150. package/SVF-doxygen/html/search/functions_14.js +39 -39
  151. package/SVF-doxygen/html/search/functions_15.js +71 -71
  152. package/SVF-doxygen/html/search/functions_16.js +32 -32
  153. package/SVF-doxygen/html/search/functions_17.js +3 -3
  154. package/SVF-doxygen/html/search/functions_18.js +172 -172
  155. package/SVF-doxygen/html/search/functions_2.js +86 -86
  156. package/SVF-doxygen/html/search/functions_3.js +257 -257
  157. package/SVF-doxygen/html/search/functions_4.js +75 -75
  158. package/SVF-doxygen/html/search/functions_5.js +53 -53
  159. package/SVF-doxygen/html/search/functions_6.js +59 -59
  160. package/SVF-doxygen/html/search/functions_7.js +849 -850
  161. package/SVF-doxygen/html/search/functions_8.js +147 -147
  162. package/SVF-doxygen/html/search/functions_9.js +425 -425
  163. package/SVF-doxygen/html/search/functions_a.js +30 -30
  164. package/SVF-doxygen/html/search/functions_b.js +2 -2
  165. package/SVF-doxygen/html/search/functions_c.js +26 -26
  166. package/SVF-doxygen/html/search/functions_d.js +77 -77
  167. package/SVF-doxygen/html/search/functions_e.js +35 -35
  168. package/SVF-doxygen/html/search/functions_f.js +56 -56
  169. package/SVF-doxygen/html/search/namespaces_0.js +1 -1
  170. package/SVF-doxygen/html/search/namespaces_1.js +7 -7
  171. package/SVF-doxygen/html/search/related_0.js +2 -2
  172. package/SVF-doxygen/html/search/related_1.js +2 -2
  173. package/SVF-doxygen/html/search/related_2.js +2 -2
  174. package/SVF-doxygen/html/search/related_3.js +2 -2
  175. package/SVF-doxygen/html/search/related_4.js +2 -2
  176. package/SVF-doxygen/html/search/related_5.js +1 -1
  177. package/SVF-doxygen/html/search/related_6.js +2 -2
  178. package/SVF-doxygen/html/search/related_7.js +4 -4
  179. package/SVF-doxygen/html/search/related_8.js +2 -2
  180. package/SVF-doxygen/html/search/related_9.js +4 -4
  181. package/SVF-doxygen/html/search/related_a.js +19 -19
  182. package/SVF-doxygen/html/search/related_b.js +4 -4
  183. package/SVF-doxygen/html/search/related_c.js +1 -1
  184. package/SVF-doxygen/html/search/related_d.js +11 -11
  185. package/SVF-doxygen/html/search/related_e.js +2 -2
  186. package/SVF-doxygen/html/search/related_f.js +2 -2
  187. package/SVF-doxygen/html/search/typedefs_0.js +18 -18
  188. package/SVF-doxygen/html/search/typedefs_1.js +26 -26
  189. package/SVF-doxygen/html/search/typedefs_10.js +61 -61
  190. package/SVF-doxygen/html/search/typedefs_11.js +13 -13
  191. package/SVF-doxygen/html/search/typedefs_12.js +11 -11
  192. package/SVF-doxygen/html/search/typedefs_13.js +35 -35
  193. package/SVF-doxygen/html/search/typedefs_14.js +8 -8
  194. package/SVF-doxygen/html/search/typedefs_2.js +129 -129
  195. package/SVF-doxygen/html/search/typedefs_3.js +39 -39
  196. package/SVF-doxygen/html/search/typedefs_4.js +17 -17
  197. package/SVF-doxygen/html/search/typedefs_5.js +41 -41
  198. package/SVF-doxygen/html/search/typedefs_6.js +55 -55
  199. package/SVF-doxygen/html/search/typedefs_7.js +42 -42
  200. package/SVF-doxygen/html/search/typedefs_8.js +1 -1
  201. package/SVF-doxygen/html/search/typedefs_9.js +6 -6
  202. package/SVF-doxygen/html/search/typedefs_a.js +29 -29
  203. package/SVF-doxygen/html/search/typedefs_b.js +29 -29
  204. package/SVF-doxygen/html/search/typedefs_c.js +41 -41
  205. package/SVF-doxygen/html/search/typedefs_d.js +15 -15
  206. package/SVF-doxygen/html/search/typedefs_e.js +52 -52
  207. package/SVF-doxygen/html/search/typedefs_f.js +14 -14
  208. package/SVF-doxygen/html/search/variables_0.js +152 -153
  209. package/SVF-doxygen/html/search/variables_1.js +75 -75
  210. package/SVF-doxygen/html/search/variables_10.js +97 -97
  211. package/SVF-doxygen/html/search/variables_11.js +46 -46
  212. package/SVF-doxygen/html/search/variables_12.js +92 -92
  213. package/SVF-doxygen/html/search/variables_13.js +75 -75
  214. package/SVF-doxygen/html/search/variables_14.js +14 -14
  215. package/SVF-doxygen/html/search/variables_15.js +48 -48
  216. package/SVF-doxygen/html/search/variables_16.js +9 -9
  217. package/SVF-doxygen/html/search/variables_17.js +1 -1
  218. package/SVF-doxygen/html/search/variables_18.js +2 -2
  219. package/SVF-doxygen/html/search/variables_2.js +37 -37
  220. package/SVF-doxygen/html/search/variables_3.js +142 -142
  221. package/SVF-doxygen/html/search/variables_4.js +55 -55
  222. package/SVF-doxygen/html/search/variables_5.js +39 -39
  223. package/SVF-doxygen/html/search/variables_6.js +66 -66
  224. package/SVF-doxygen/html/search/variables_7.js +33 -33
  225. package/SVF-doxygen/html/search/variables_8.js +7 -7
  226. package/SVF-doxygen/html/search/variables_9.js +77 -77
  227. package/SVF-doxygen/html/search/variables_a.js +4 -4
  228. package/SVF-doxygen/html/search/variables_b.js +10 -10
  229. package/SVF-doxygen/html/search/variables_c.js +45 -45
  230. package/SVF-doxygen/html/search/variables_d.js +56 -56
  231. package/SVF-doxygen/html/search/variables_e.js +123 -123
  232. package/SVF-doxygen/html/search/variables_f.js +30 -30
  233. package/SVF-doxygen/html/structSVF_1_1DOTGraphTraits_3_01SVF_1_1CFBasicBlockGraph_01_5_01_4.html +40 -40
  234. package/SVF-doxygen/html/structSVF_1_1GenericGraphTraits_3_01Inverse_3_01SVF_1_1CFBasicBlockNode_01_5_01_4_01_4.html +1 -1
  235. package/SVF-doxygen/html/structSVF_1_1GenericGraphTraits_3_01SVF_1_1CFBasicBlockGraph_01_5_01_4.html +2 -2
  236. package/SVF-doxygen/html/structSVF_1_1GenericGraphTraits_3_01SVF_1_1CFBasicBlockNode_01_5_01_4.html +1 -1
  237. package/package.json +1 -1
  238. package/svf/include/Graphs/CFBasicBlockG.h +0 -27
  239. package/svf/lib/Graphs/CFBasicBlockG.cpp +0 -2
package/SVF-doxygen/html/classSVF_1_1CFBasicBlockGraph.html CHANGED
@@ -99,20 +99,12 @@ Public Member Functions</h2></td></tr>
99
99
  <tr class="separator:a54200b5a7c41c2ba19660da34c295e81"><td class="memSeparator" colspan="2">&#160;</td></tr>
100
100
  <tr class="memitem:aa2110611126556090763024828dbc516"><td class="memItemLeft" align="right" valign="top">bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CFBasicBlockGraph.html#aa2110611126556090763024828dbc516">hasCFBasicBlockNode</a> (<a class="el" href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">NodeID</a> id) const</td></tr>
101
101
  <tr class="separator:aa2110611126556090763024828dbc516"><td class="memSeparator" colspan="2">&#160;</td></tr>
102
- <tr class="memitem:ad0755f35747c47572254410271bf1249"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1CFBasicBlockNode.html">CFBasicBlockNode</a> *&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CFBasicBlockGraph.html#ad0755f35747c47572254410271bf1249">getCFBasicBlockNode</a> (const <a class="el" href="classSVF_1_1SVFBasicBlock.html">SVFBasicBlock</a> *bb) const</td></tr>
103
- <tr class="separator:ad0755f35747c47572254410271bf1249"><td class="memSeparator" colspan="2">&#160;</td></tr>
104
- <tr class="memitem:aea881b727843ac6445e801f3ddfa4a98"><td class="memItemLeft" align="right" valign="top">bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CFBasicBlockGraph.html#aea881b727843ac6445e801f3ddfa4a98">hasCFBasicBlockNode</a> (const <a class="el" href="classSVF_1_1SVFBasicBlock.html">SVFBasicBlock</a> *bb) const</td></tr>
105
- <tr class="separator:aea881b727843ac6445e801f3ddfa4a98"><td class="memSeparator" colspan="2">&#160;</td></tr>
106
102
  <tr class="memitem:a39f1a9c9938ebec94ef050e3770620e6"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1CFBasicBlockNode.html">CFBasicBlockNode</a> *&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CFBasicBlockGraph.html#a39f1a9c9938ebec94ef050e3770620e6">getFirstCFBasicBlockNode</a> (const <a class="el" href="classSVF_1_1SVFFunction.html">SVFFunction</a> *fun) const</td></tr>
107
103
  <tr class="separator:a39f1a9c9938ebec94ef050e3770620e6"><td class="memSeparator" colspan="2">&#160;</td></tr>
108
104
  <tr class="memitem:a76632f02601c6a628058744f736a4352"><td class="memItemLeft" align="right" valign="top">bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CFBasicBlockGraph.html#a76632f02601c6a628058744f736a4352">hasFirstCFBasicBlockNode</a> (const <a class="el" href="classSVF_1_1SVFFunction.html">SVFFunction</a> *fun) const</td></tr>
109
105
  <tr class="separator:a76632f02601c6a628058744f736a4352"><td class="memSeparator" colspan="2">&#160;</td></tr>
110
106
  <tr class="memitem:a0fb246e9cdbc7fcdc69d9049ed61d8ad"><td class="memItemLeft" align="right" valign="top">void&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CFBasicBlockGraph.html#a0fb246e9cdbc7fcdc69d9049ed61d8ad">setFirstCFBasicBlockNode</a> (const <a class="el" href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">Map</a>&lt; const <a class="el" href="classSVF_1_1SVFFunction.html">SVFFunction</a> *, <a class="el" href="classSVF_1_1CFBasicBlockNode.html">CFBasicBlockNode</a> * &gt; &amp;svfNodeMap)</td></tr>
111
107
  <tr class="separator:a0fb246e9cdbc7fcdc69d9049ed61d8ad"><td class="memSeparator" colspan="2">&#160;</td></tr>
112
- <tr class="memitem:adf198792bfd1c944df6cb3992df96f75"><td class="memItemLeft" align="right" valign="top">void&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CFBasicBlockGraph.html#adf198792bfd1c944df6cb3992df96f75">setBBCFNodeMap</a> (const <a class="el" href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">Map</a>&lt; const <a class="el" href="classSVF_1_1SVFBasicBlock.html">SVFBasicBlock</a> *, <a class="el" href="classSVF_1_1CFBasicBlockNode.html">CFBasicBlockNode</a> * &gt; &amp;svfNodeMap)</td></tr>
113
- <tr class="separator:adf198792bfd1c944df6cb3992df96f75"><td class="memSeparator" colspan="2">&#160;</td></tr>
114
- <tr class="memitem:aa9f644adc0eadfbed9f1a9b494911610"><td class="memItemLeft" align="right" valign="top">const <a class="el" href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">Map</a>&lt; const <a class="el" href="classSVF_1_1SVFBasicBlock.html">SVFBasicBlock</a> *, <a class="el" href="classSVF_1_1CFBasicBlockNode.html">CFBasicBlockNode</a> * &gt; &amp;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CFBasicBlockGraph.html#aa9f644adc0eadfbed9f1a9b494911610">getBBCFNodeMap</a> () const</td></tr>
115
- <tr class="separator:aa9f644adc0eadfbed9f1a9b494911610"><td class="memSeparator" colspan="2">&#160;</td></tr>
116
108
  <tr class="memitem:a8e41d155ded9f4527adf8f1644600839"><td class="memItemLeft" align="right" valign="top">bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CFBasicBlockGraph.html#a8e41d155ded9f4527adf8f1644600839">hasCFBasicBlockEdge</a> (<a class="el" href="classSVF_1_1CFBasicBlockNode.html">CFBasicBlockNode</a> *src, <a class="el" href="classSVF_1_1CFBasicBlockNode.html">CFBasicBlockNode</a> *dst, <a class="el" href="classSVF_1_1ICFGEdge.html">ICFGEdge</a> *icfgEdge)</td></tr>
117
109
  <tr class="separator:a8e41d155ded9f4527adf8f1644600839"><td class="memSeparator" colspan="2">&#160;</td></tr>
118
110
  <tr class="memitem:a154d9dae860b441b1653e0afb90f1da3"><td class="memItemLeft" align="right" valign="top">bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CFBasicBlockGraph.html#a154d9dae860b441b1653e0afb90f1da3">hasCFBasicBlockEdge</a> (<a class="el" href="classSVF_1_1CFBasicBlockNode.html">CFBasicBlockNode</a> *src, <a class="el" href="classSVF_1_1CFBasicBlockNode.html">CFBasicBlockNode</a> *dst) const</td></tr>
@@ -184,8 +176,6 @@ Private Attributes</h2></td></tr>
184
176
  <tr class="separator:af26009309b28b1d9f3f31f802307f6e9"><td class="memSeparator" colspan="2">&#160;</td></tr>
185
177
  <tr class="memitem:a307a47681c72267f6e90d7009d1b3c6b"><td class="memItemLeft" align="right" valign="top"><a class="el" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CFBasicBlockGraph.html#a307a47681c72267f6e90d7009d1b3c6b">_totalCFBasicBlockEdge</a> {0}</td></tr>
186
178
  <tr class="separator:a307a47681c72267f6e90d7009d1b3c6b"><td class="memSeparator" colspan="2">&#160;</td></tr>
187
- <tr class="memitem:ab8b75e7bcafc8a1512c3e78d12bffe16"><td class="memItemLeft" align="right" valign="top"><a class="el" href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">Map</a>&lt; const <a class="el" href="classSVF_1_1SVFBasicBlock.html">SVFBasicBlock</a> *, <a class="el" href="classSVF_1_1CFBasicBlockNode.html">CFBasicBlockNode</a> * &gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CFBasicBlockGraph.html#ab8b75e7bcafc8a1512c3e78d12bffe16">_bbToNode</a></td></tr>
188
- <tr class="separator:ab8b75e7bcafc8a1512c3e78d12bffe16"><td class="memSeparator" colspan="2">&#160;</td></tr>
189
179
  <tr class="memitem:a22c1d5a9da2acd9c3ad8bb5f72cfbfc8"><td class="memItemLeft" align="right" valign="top"><a class="el" href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">Map</a>&lt; const <a class="el" href="classSVF_1_1SVFFunction.html">SVFFunction</a> *, <a class="el" href="classSVF_1_1CFBasicBlockNode.html">CFBasicBlockNode</a> * &gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CFBasicBlockGraph.html#a22c1d5a9da2acd9c3ad8bb5f72cfbfc8">_funToFirstNode</a></td></tr>
190
180
  <tr class="separator:a22c1d5a9da2acd9c3ad8bb5f72cfbfc8"><td class="memSeparator" colspan="2">&#160;</td></tr>
191
181
  </table><table class="memberdecls">
@@ -302,14 +292,14 @@ Additional Inherited Members</h2></td></tr>
302
292
 
303
293
  <p>Add ICFGEdgeWrapper. </p>
304
294
 
305
- <p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#l00503">503</a> of file <a class="el" href="CFBasicBlockG_8h_source.html">CFBasicBlockG.h</a>.</p>
306
- <div class="fragment"><div class="line"><a name="l00504"></a><span class="lineno"> 504</span>&#160; {</div>
307
- <div class="line"><a name="l00505"></a><span class="lineno"> 505</span>&#160; <span class="keywordtype">bool</span> added1 = edge-&gt;getDstNode()-&gt;addIncomingEdge(edge);</div>
308
- <div class="line"><a name="l00506"></a><span class="lineno"> 506</span>&#160; <span class="keywordtype">bool</span> added2 = edge-&gt;getSrcNode()-&gt;addOutgoingEdge(edge);</div>
309
- <div class="line"><a name="l00507"></a><span class="lineno"> 507</span>&#160; assert(added1 &amp;&amp; added2 &amp;&amp; <span class="stringliteral">&quot;edge not added??&quot;</span>);</div>
310
- <div class="line"><a name="l00508"></a><span class="lineno"> 508</span>&#160; <a class="code" href="classSVF_1_1CFBasicBlockGraph.html#a307a47681c72267f6e90d7009d1b3c6b">_totalCFBasicBlockEdge</a>++;</div>
311
- <div class="line"><a name="l00509"></a><span class="lineno"> 509</span>&#160; <span class="keywordflow">return</span> <span class="keyword">true</span>;</div>
312
- <div class="line"><a name="l00510"></a><span class="lineno"> 510</span>&#160; }</div>
295
+ <p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#l00476">476</a> of file <a class="el" href="CFBasicBlockG_8h_source.html">CFBasicBlockG.h</a>.</p>
296
+ <div class="fragment"><div class="line"><a name="l00477"></a><span class="lineno"> 477</span>&#160; {</div>
297
+ <div class="line"><a name="l00478"></a><span class="lineno"> 478</span>&#160; <span class="keywordtype">bool</span> added1 = edge-&gt;getDstNode()-&gt;addIncomingEdge(edge);</div>
298
+ <div class="line"><a name="l00479"></a><span class="lineno"> 479</span>&#160; <span class="keywordtype">bool</span> added2 = edge-&gt;getSrcNode()-&gt;addOutgoingEdge(edge);</div>
299
+ <div class="line"><a name="l00480"></a><span class="lineno"> 480</span>&#160; assert(added1 &amp;&amp; added2 &amp;&amp; <span class="stringliteral">&quot;edge not added??&quot;</span>);</div>
300
+ <div class="line"><a name="l00481"></a><span class="lineno"> 481</span>&#160; <a class="code" href="classSVF_1_1CFBasicBlockGraph.html#a307a47681c72267f6e90d7009d1b3c6b">_totalCFBasicBlockEdge</a>++;</div>
301
+ <div class="line"><a name="l00482"></a><span class="lineno"> 482</span>&#160; <span class="keywordflow">return</span> <span class="keyword">true</span>;</div>
302
+ <div class="line"><a name="l00483"></a><span class="lineno"> 483</span>&#160; }</div>
313
303
  </div><!-- fragment -->
314
304
  </div>
315
305
  </div>
@@ -339,11 +329,11 @@ Additional Inherited Members</h2></td></tr>
339
329
 
340
330
  <p>Add a ICFGNodeWrapper. </p>
341
331
 
342
- <p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#l00513">513</a> of file <a class="el" href="CFBasicBlockG_8h_source.html">CFBasicBlockG.h</a>.</p>
343
- <div class="fragment"><div class="line"><a name="l00514"></a><span class="lineno"> 514</span>&#160; {</div>
344
- <div class="line"><a name="l00515"></a><span class="lineno"> 515</span>&#160; <a class="code" href="classSVF_1_1GenericGraph.html#a0a8831a5429005ff9d71adbd6bf3994f">addGNode</a>(node-&gt;getId(), node);</div>
345
- <div class="line"><a name="l00516"></a><span class="lineno"> 516</span>&#160; <a class="code" href="classSVF_1_1CFBasicBlockGraph.html#af26009309b28b1d9f3f31f802307f6e9">_totalCFBasicBlockNode</a>++;</div>
346
- <div class="line"><a name="l00517"></a><span class="lineno"> 517</span>&#160; }</div>
332
+ <p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#l00486">486</a> of file <a class="el" href="CFBasicBlockG_8h_source.html">CFBasicBlockG.h</a>.</p>
333
+ <div class="fragment"><div class="line"><a name="l00487"></a><span class="lineno"> 487</span>&#160; {</div>
334
+ <div class="line"><a name="l00488"></a><span class="lineno"> 488</span>&#160; <a class="code" href="classSVF_1_1GenericGraph.html#a0a8831a5429005ff9d71adbd6bf3994f">addGNode</a>(node-&gt;getId(), node);</div>
335
+ <div class="line"><a name="l00489"></a><span class="lineno"> 489</span>&#160; <a class="code" href="classSVF_1_1CFBasicBlockGraph.html#af26009309b28b1d9f3f31f802307f6e9">_totalCFBasicBlockNode</a>++;</div>
336
+ <div class="line"><a name="l00490"></a><span class="lineno"> 490</span>&#160; }</div>
347
337
  </div><!-- fragment -->
348
338
  </div>
349
339
  </div>
@@ -373,40 +363,10 @@ Additional Inherited Members</h2></td></tr>
373
363
 
374
364
  <p>Dump graph into dot file. </p>
375
365
 
376
- <p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#l00367">367</a> of file <a class="el" href="CFBasicBlockG_8h_source.html">CFBasicBlockG.h</a>.</p>
377
- <div class="fragment"><div class="line"><a name="l00368"></a><span class="lineno"> 368</span>&#160; {</div>
378
- <div class="line"><a name="l00369"></a><span class="lineno"> 369</span>&#160; <a class="code" href="classSVF_1_1GraphPrinter.html#a014217fb0d05c8f2a2f1a6c5b19d3e10">GraphPrinter::WriteGraphToFile</a>(<a class="code" href="namespaceSVF_1_1SVFUtil.html#aed0b0b9f035057552a6a82154fd88e61">SVFUtil::outs</a>(), filename, <span class="keyword">this</span>);</div>
379
- <div class="line"><a name="l00370"></a><span class="lineno"> 370</span>&#160; }</div>
380
- </div><!-- fragment -->
381
- </div>
382
- </div>
383
- <a id="aa9f644adc0eadfbed9f1a9b494911610"></a>
384
- <h2 class="memtitle"><span class="permalink"><a href="#aa9f644adc0eadfbed9f1a9b494911610">&#9670;&nbsp;</a></span>getBBCFNodeMap()</h2>
385
-
386
- <div class="memitem">
387
- <div class="memproto">
388
- <table class="mlabels">
389
- <tr>
390
- <td class="mlabels-left">
391
- <table class="memname">
392
- <tr>
393
- <td class="memname">const <a class="el" href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">Map</a>&lt;const <a class="el" href="classSVF_1_1SVFBasicBlock.html">SVFBasicBlock</a>*, <a class="el" href="classSVF_1_1CFBasicBlockNode.html">CFBasicBlockNode</a>*&gt;&amp; SVF::CFBasicBlockGraph::getBBCFNodeMap </td>
394
- <td>(</td>
395
- <td class="paramname"></td><td>)</td>
396
- <td> const</td>
397
- </tr>
398
- </table>
399
- </td>
400
- <td class="mlabels-right">
401
- <span class="mlabels"><span class="mlabel">inline</span></span> </td>
402
- </tr>
403
- </table>
404
- </div><div class="memdoc">
405
-
406
- <p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#l00426">426</a> of file <a class="el" href="CFBasicBlockG_8h_source.html">CFBasicBlockG.h</a>.</p>
407
- <div class="fragment"><div class="line"><a name="l00427"></a><span class="lineno"> 427</span>&#160; {</div>
408
- <div class="line"><a name="l00428"></a><span class="lineno"> 428</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1CFBasicBlockGraph.html#ab8b75e7bcafc8a1512c3e78d12bffe16">_bbToNode</a>;</div>
409
- <div class="line"><a name="l00429"></a><span class="lineno"> 429</span>&#160; }</div>
366
+ <p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#l00366">366</a> of file <a class="el" href="CFBasicBlockG_8h_source.html">CFBasicBlockG.h</a>.</p>
367
+ <div class="fragment"><div class="line"><a name="l00367"></a><span class="lineno"> 367</span>&#160; {</div>
368
+ <div class="line"><a name="l00368"></a><span class="lineno"> 368</span>&#160; <a class="code" href="classSVF_1_1GraphPrinter.html#a014217fb0d05c8f2a2f1a6c5b19d3e10">GraphPrinter::WriteGraphToFile</a>(<a class="code" href="namespaceSVF_1_1SVFUtil.html#aed0b0b9f035057552a6a82154fd88e61">SVFUtil::outs</a>(), filename, <span class="keyword">this</span>);</div>
369
+ <div class="line"><a name="l00369"></a><span class="lineno"> 369</span>&#160; }</div>
410
370
  </div><!-- fragment -->
411
371
  </div>
412
372
  </div>
@@ -503,46 +463,8 @@ Additional Inherited Members</h2></td></tr>
503
463
  </div><!-- fragment -->
504
464
  </div>
505
465
  </div>
506
- <a id="ad0755f35747c47572254410271bf1249"></a>
507
- <h2 class="memtitle"><span class="permalink"><a href="#ad0755f35747c47572254410271bf1249">&#9670;&nbsp;</a></span>getCFBasicBlockNode() <span class="overload">[1/2]</span></h2>
508
-
509
- <div class="memitem">
510
- <div class="memproto">
511
- <table class="mlabels">
512
- <tr>
513
- <td class="mlabels-left">
514
- <table class="memname">
515
- <tr>
516
- <td class="memname"><a class="el" href="classSVF_1_1CFBasicBlockNode.html">CFBasicBlockNode</a>* SVF::CFBasicBlockGraph::getCFBasicBlockNode </td>
517
- <td>(</td>
518
- <td class="paramtype">const <a class="el" href="classSVF_1_1SVFBasicBlock.html">SVFBasicBlock</a> *&#160;</td>
519
- <td class="paramname"><em>bb</em></td><td>)</td>
520
- <td> const</td>
521
- </tr>
522
- </table>
523
- </td>
524
- <td class="mlabels-right">
525
- <span class="mlabels"><span class="mlabel">inline</span></span> </td>
526
- </tr>
527
- </table>
528
- </div><div class="memdoc">
529
-
530
- <p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#l00383">383</a> of file <a class="el" href="CFBasicBlockG_8h_source.html">CFBasicBlockG.h</a>.</p>
531
- <div class="fragment"><div class="line"><a name="l00384"></a><span class="lineno"> 384</span>&#160; {</div>
532
- <div class="line"><a name="l00385"></a><span class="lineno"> 385</span>&#160; <span class="keywordflow">if</span> (bb &amp;&amp; <a class="code" href="classSVF_1_1CFBasicBlockGraph.html#ab8b75e7bcafc8a1512c3e78d12bffe16">_bbToNode</a>.find(bb) != <a class="code" href="classSVF_1_1CFBasicBlockGraph.html#ab8b75e7bcafc8a1512c3e78d12bffe16">_bbToNode</a>.end())</div>
533
- <div class="line"><a name="l00386"></a><span class="lineno"> 386</span>&#160; {</div>
534
- <div class="line"><a name="l00387"></a><span class="lineno"> 387</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1CFBasicBlockGraph.html#ab8b75e7bcafc8a1512c3e78d12bffe16">_bbToNode</a>.at(bb);</div>
535
- <div class="line"><a name="l00388"></a><span class="lineno"> 388</span>&#160; }</div>
536
- <div class="line"><a name="l00389"></a><span class="lineno"> 389</span>&#160; <span class="keywordflow">else</span></div>
537
- <div class="line"><a name="l00390"></a><span class="lineno"> 390</span>&#160; {</div>
538
- <div class="line"><a name="l00391"></a><span class="lineno"> 391</span>&#160; <span class="keywordflow">return</span> <span class="keyword">nullptr</span>;</div>
539
- <div class="line"><a name="l00392"></a><span class="lineno"> 392</span>&#160; }</div>
540
- <div class="line"><a name="l00393"></a><span class="lineno"> 393</span>&#160; }</div>
541
- </div><!-- fragment -->
542
- </div>
543
- </div>
544
466
  <a id="a54200b5a7c41c2ba19660da34c295e81"></a>
545
- <h2 class="memtitle"><span class="permalink"><a href="#a54200b5a7c41c2ba19660da34c295e81">&#9670;&nbsp;</a></span>getCFBasicBlockNode() <span class="overload">[2/2]</span></h2>
467
+ <h2 class="memtitle"><span class="permalink"><a href="#a54200b5a7c41c2ba19660da34c295e81">&#9670;&nbsp;</a></span>getCFBasicBlockNode()</h2>
546
468
 
547
469
  <div class="memitem">
548
470
  <div class="memproto">
@@ -565,11 +487,11 @@ Additional Inherited Members</h2></td></tr>
565
487
  </table>
566
488
  </div><div class="memdoc">
567
489
 
568
- <p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#l00372">372</a> of file <a class="el" href="CFBasicBlockG_8h_source.html">CFBasicBlockG.h</a>.</p>
569
- <div class="fragment"><div class="line"><a name="l00373"></a><span class="lineno"> 373</span>&#160; {</div>
570
- <div class="line"><a name="l00374"></a><span class="lineno"> 374</span>&#160; <span class="keywordflow">if</span> (!<a class="code" href="classSVF_1_1GenericGraph.html#a6885064afa211958af7b73f0233284e5">hasGNode</a>(<span class="keywordtype">id</span>)) <span class="keywordflow">return</span> <span class="keyword">nullptr</span>;</div>
571
- <div class="line"><a name="l00375"></a><span class="lineno"> 375</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1GenericGraph.html#a43c9c773bfa17abf481c33073e30d01b">getGNode</a>(<span class="keywordtype">id</span>);</div>
572
- <div class="line"><a name="l00376"></a><span class="lineno"> 376</span>&#160; }</div>
490
+ <p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#l00371">371</a> of file <a class="el" href="CFBasicBlockG_8h_source.html">CFBasicBlockG.h</a>.</p>
491
+ <div class="fragment"><div class="line"><a name="l00372"></a><span class="lineno"> 372</span>&#160; {</div>
492
+ <div class="line"><a name="l00373"></a><span class="lineno"> 373</span>&#160; <span class="keywordflow">if</span> (!<a class="code" href="classSVF_1_1GenericGraph.html#a6885064afa211958af7b73f0233284e5">hasGNode</a>(<span class="keywordtype">id</span>)) <span class="keywordflow">return</span> <span class="keyword">nullptr</span>;</div>
493
+ <div class="line"><a name="l00374"></a><span class="lineno"> 374</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1GenericGraph.html#a43c9c773bfa17abf481c33073e30d01b">getGNode</a>(<span class="keywordtype">id</span>);</div>
494
+ <div class="line"><a name="l00375"></a><span class="lineno"> 375</span>&#160; }</div>
573
495
  </div><!-- fragment -->
574
496
  </div>
575
497
  </div>
@@ -597,17 +519,17 @@ Additional Inherited Members</h2></td></tr>
597
519
  </table>
598
520
  </div><div class="memdoc">
599
521
 
600
- <p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#l00400">400</a> of file <a class="el" href="CFBasicBlockG_8h_source.html">CFBasicBlockG.h</a>.</p>
601
- <div class="fragment"><div class="line"><a name="l00401"></a><span class="lineno"> 401</span>&#160; {</div>
602
- <div class="line"><a name="l00402"></a><span class="lineno"> 402</span>&#160; <span class="keywordflow">if</span> (fun &amp;&amp; <a class="code" href="classSVF_1_1CFBasicBlockGraph.html#a22c1d5a9da2acd9c3ad8bb5f72cfbfc8">_funToFirstNode</a>.find(fun) != <a class="code" href="classSVF_1_1CFBasicBlockGraph.html#a22c1d5a9da2acd9c3ad8bb5f72cfbfc8">_funToFirstNode</a>.end())</div>
603
- <div class="line"><a name="l00403"></a><span class="lineno"> 403</span>&#160; {</div>
604
- <div class="line"><a name="l00404"></a><span class="lineno"> 404</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1CFBasicBlockGraph.html#a22c1d5a9da2acd9c3ad8bb5f72cfbfc8">_funToFirstNode</a>.at(fun);</div>
605
- <div class="line"><a name="l00405"></a><span class="lineno"> 405</span>&#160; }</div>
606
- <div class="line"><a name="l00406"></a><span class="lineno"> 406</span>&#160; <span class="keywordflow">else</span></div>
607
- <div class="line"><a name="l00407"></a><span class="lineno"> 407</span>&#160; {</div>
608
- <div class="line"><a name="l00408"></a><span class="lineno"> 408</span>&#160; <span class="keywordflow">return</span> <span class="keyword">nullptr</span>;</div>
609
- <div class="line"><a name="l00409"></a><span class="lineno"> 409</span>&#160; }</div>
610
- <div class="line"><a name="l00410"></a><span class="lineno"> 410</span>&#160; }</div>
522
+ <p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#l00382">382</a> of file <a class="el" href="CFBasicBlockG_8h_source.html">CFBasicBlockG.h</a>.</p>
523
+ <div class="fragment"><div class="line"><a name="l00383"></a><span class="lineno"> 383</span>&#160; {</div>
524
+ <div class="line"><a name="l00384"></a><span class="lineno"> 384</span>&#160; <span class="keywordflow">if</span> (fun &amp;&amp; <a class="code" href="classSVF_1_1CFBasicBlockGraph.html#a22c1d5a9da2acd9c3ad8bb5f72cfbfc8">_funToFirstNode</a>.find(fun) != <a class="code" href="classSVF_1_1CFBasicBlockGraph.html#a22c1d5a9da2acd9c3ad8bb5f72cfbfc8">_funToFirstNode</a>.end())</div>
525
+ <div class="line"><a name="l00385"></a><span class="lineno"> 385</span>&#160; {</div>
526
+ <div class="line"><a name="l00386"></a><span class="lineno"> 386</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1CFBasicBlockGraph.html#a22c1d5a9da2acd9c3ad8bb5f72cfbfc8">_funToFirstNode</a>.at(fun);</div>
527
+ <div class="line"><a name="l00387"></a><span class="lineno"> 387</span>&#160; }</div>
528
+ <div class="line"><a name="l00388"></a><span class="lineno"> 388</span>&#160; <span class="keywordflow">else</span></div>
529
+ <div class="line"><a name="l00389"></a><span class="lineno"> 389</span>&#160; {</div>
530
+ <div class="line"><a name="l00390"></a><span class="lineno"> 390</span>&#160; <span class="keywordflow">return</span> <span class="keyword">nullptr</span>;</div>
531
+ <div class="line"><a name="l00391"></a><span class="lineno"> 391</span>&#160; }</div>
532
+ <div class="line"><a name="l00392"></a><span class="lineno"> 392</span>&#160; }</div>
611
533
  </div><!-- fragment -->
612
534
  </div>
613
535
  </div>
@@ -645,15 +567,15 @@ Additional Inherited Members</h2></td></tr>
645
567
  </table>
646
568
  </div><div class="memdoc">
647
569
 
648
- <p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#l00445">445</a> of file <a class="el" href="CFBasicBlockG_8h_source.html">CFBasicBlockG.h</a>.</p>
649
- <div class="fragment"><div class="line"><a name="l00446"></a><span class="lineno"> 446</span>&#160; {</div>
650
- <div class="line"><a name="l00447"></a><span class="lineno"> 447</span>&#160; <span class="keywordflow">for</span> (<span class="keyword">const</span> <span class="keyword">auto</span> &amp;e: src-&gt;getOutEdges())</div>
651
- <div class="line"><a name="l00448"></a><span class="lineno"> 448</span>&#160; {</div>
652
- <div class="line"><a name="l00449"></a><span class="lineno"> 449</span>&#160; <span class="keywordflow">if</span> (e-&gt;getDstNode() == dst)</div>
653
- <div class="line"><a name="l00450"></a><span class="lineno"> 450</span>&#160; <span class="keywordflow">return</span> <span class="keyword">true</span>;</div>
654
- <div class="line"><a name="l00451"></a><span class="lineno"> 451</span>&#160; }</div>
655
- <div class="line"><a name="l00452"></a><span class="lineno"> 452</span>&#160; <span class="keywordflow">return</span> <span class="keyword">false</span>;</div>
656
- <div class="line"><a name="l00453"></a><span class="lineno"> 453</span>&#160; }</div>
570
+ <p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#l00418">418</a> of file <a class="el" href="CFBasicBlockG_8h_source.html">CFBasicBlockG.h</a>.</p>
571
+ <div class="fragment"><div class="line"><a name="l00419"></a><span class="lineno"> 419</span>&#160; {</div>
572
+ <div class="line"><a name="l00420"></a><span class="lineno"> 420</span>&#160; <span class="keywordflow">for</span> (<span class="keyword">const</span> <span class="keyword">auto</span> &amp;e: src-&gt;getOutEdges())</div>
573
+ <div class="line"><a name="l00421"></a><span class="lineno"> 421</span>&#160; {</div>
574
+ <div class="line"><a name="l00422"></a><span class="lineno"> 422</span>&#160; <span class="keywordflow">if</span> (e-&gt;getDstNode() == dst)</div>
575
+ <div class="line"><a name="l00423"></a><span class="lineno"> 423</span>&#160; <span class="keywordflow">return</span> <span class="keyword">true</span>;</div>
576
+ <div class="line"><a name="l00424"></a><span class="lineno"> 424</span>&#160; }</div>
577
+ <div class="line"><a name="l00425"></a><span class="lineno"> 425</span>&#160; <span class="keywordflow">return</span> <span class="keyword">false</span>;</div>
578
+ <div class="line"><a name="l00426"></a><span class="lineno"> 426</span>&#160; }</div>
657
579
  </div><!-- fragment -->
658
580
  </div>
659
581
  </div>
@@ -697,55 +619,24 @@ Additional Inherited Members</h2></td></tr>
697
619
  </table>
698
620
  </div><div class="memdoc">
699
621
 
700
- <p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#l00431">431</a> of file <a class="el" href="CFBasicBlockG_8h_source.html">CFBasicBlockG.h</a>.</p>
701
- <div class="fragment"><div class="line"><a name="l00432"></a><span class="lineno"> 432</span>&#160; {</div>
702
- <div class="line"><a name="l00433"></a><span class="lineno"> 433</span>&#160; CFBasicBlockEdge edge(src, dst, icfgEdge);</div>
703
- <div class="line"><a name="l00434"></a><span class="lineno"> 434</span>&#160; CFBasicBlockEdge *outEdge = src-&gt;hasOutgoingEdge(&amp;edge);</div>
704
- <div class="line"><a name="l00435"></a><span class="lineno"> 435</span>&#160; CFBasicBlockEdge *inEdge = dst-&gt;hasIncomingEdge(&amp;edge);</div>
705
- <div class="line"><a name="l00436"></a><span class="lineno"> 436</span>&#160; <span class="keywordflow">if</span> (outEdge &amp;&amp; inEdge)</div>
706
- <div class="line"><a name="l00437"></a><span class="lineno"> 437</span>&#160; {</div>
707
- <div class="line"><a name="l00438"></a><span class="lineno"> 438</span>&#160; assert(outEdge == inEdge &amp;&amp; <span class="stringliteral">&quot;edges not match&quot;</span>);</div>
708
- <div class="line"><a name="l00439"></a><span class="lineno"> 439</span>&#160; <span class="keywordflow">return</span> <span class="keyword">true</span>;</div>
709
- <div class="line"><a name="l00440"></a><span class="lineno"> 440</span>&#160; }</div>
710
- <div class="line"><a name="l00441"></a><span class="lineno"> 441</span>&#160; <span class="keywordflow">else</span></div>
711
- <div class="line"><a name="l00442"></a><span class="lineno"> 442</span>&#160; <span class="keywordflow">return</span> <span class="keyword">false</span>;</div>
712
- <div class="line"><a name="l00443"></a><span class="lineno"> 443</span>&#160; }</div>
713
- </div><!-- fragment -->
714
- </div>
715
- </div>
716
- <a id="aea881b727843ac6445e801f3ddfa4a98"></a>
717
- <h2 class="memtitle"><span class="permalink"><a href="#aea881b727843ac6445e801f3ddfa4a98">&#9670;&nbsp;</a></span>hasCFBasicBlockNode() <span class="overload">[1/2]</span></h2>
718
-
719
- <div class="memitem">
720
- <div class="memproto">
721
- <table class="mlabels">
722
- <tr>
723
- <td class="mlabels-left">
724
- <table class="memname">
725
- <tr>
726
- <td class="memname">bool SVF::CFBasicBlockGraph::hasCFBasicBlockNode </td>
727
- <td>(</td>
728
- <td class="paramtype">const <a class="el" href="classSVF_1_1SVFBasicBlock.html">SVFBasicBlock</a> *&#160;</td>
729
- <td class="paramname"><em>bb</em></td><td>)</td>
730
- <td> const</td>
731
- </tr>
732
- </table>
733
- </td>
734
- <td class="mlabels-right">
735
- <span class="mlabels"><span class="mlabel">inline</span></span> </td>
736
- </tr>
737
- </table>
738
- </div><div class="memdoc">
739
-
740
- <p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#l00395">395</a> of file <a class="el" href="CFBasicBlockG_8h_source.html">CFBasicBlockG.h</a>.</p>
741
- <div class="fragment"><div class="line"><a name="l00396"></a><span class="lineno"> 396</span>&#160; {</div>
742
- <div class="line"><a name="l00397"></a><span class="lineno"> 397</span>&#160; <span class="keywordflow">return</span> bb &amp;&amp; <a class="code" href="classSVF_1_1CFBasicBlockGraph.html#ab8b75e7bcafc8a1512c3e78d12bffe16">_bbToNode</a>.find(bb) != <a class="code" href="classSVF_1_1CFBasicBlockGraph.html#ab8b75e7bcafc8a1512c3e78d12bffe16">_bbToNode</a>.end();</div>
743
- <div class="line"><a name="l00398"></a><span class="lineno"> 398</span>&#160; }</div>
622
+ <p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#l00404">404</a> of file <a class="el" href="CFBasicBlockG_8h_source.html">CFBasicBlockG.h</a>.</p>
623
+ <div class="fragment"><div class="line"><a name="l00405"></a><span class="lineno"> 405</span>&#160; {</div>
624
+ <div class="line"><a name="l00406"></a><span class="lineno"> 406</span>&#160; CFBasicBlockEdge edge(src, dst, icfgEdge);</div>
625
+ <div class="line"><a name="l00407"></a><span class="lineno"> 407</span>&#160; CFBasicBlockEdge *outEdge = src-&gt;hasOutgoingEdge(&amp;edge);</div>
626
+ <div class="line"><a name="l00408"></a><span class="lineno"> 408</span>&#160; CFBasicBlockEdge *inEdge = dst-&gt;hasIncomingEdge(&amp;edge);</div>
627
+ <div class="line"><a name="l00409"></a><span class="lineno"> 409</span>&#160; <span class="keywordflow">if</span> (outEdge &amp;&amp; inEdge)</div>
628
+ <div class="line"><a name="l00410"></a><span class="lineno"> 410</span>&#160; {</div>
629
+ <div class="line"><a name="l00411"></a><span class="lineno"> 411</span>&#160; assert(outEdge == inEdge &amp;&amp; <span class="stringliteral">&quot;edges not match&quot;</span>);</div>
630
+ <div class="line"><a name="l00412"></a><span class="lineno"> 412</span>&#160; <span class="keywordflow">return</span> <span class="keyword">true</span>;</div>
631
+ <div class="line"><a name="l00413"></a><span class="lineno"> 413</span>&#160; }</div>
632
+ <div class="line"><a name="l00414"></a><span class="lineno"> 414</span>&#160; <span class="keywordflow">else</span></div>
633
+ <div class="line"><a name="l00415"></a><span class="lineno"> 415</span>&#160; <span class="keywordflow">return</span> <span class="keyword">false</span>;</div>
634
+ <div class="line"><a name="l00416"></a><span class="lineno"> 416</span>&#160; }</div>
744
635
  </div><!-- fragment -->
745
636
  </div>
746
637
  </div>
747
638
  <a id="aa2110611126556090763024828dbc516"></a>
748
- <h2 class="memtitle"><span class="permalink"><a href="#aa2110611126556090763024828dbc516">&#9670;&nbsp;</a></span>hasCFBasicBlockNode() <span class="overload">[2/2]</span></h2>
639
+ <h2 class="memtitle"><span class="permalink"><a href="#aa2110611126556090763024828dbc516">&#9670;&nbsp;</a></span>hasCFBasicBlockNode()</h2>
749
640
 
750
641
  <div class="memitem">
751
642
  <div class="memproto">
@@ -768,10 +659,10 @@ Additional Inherited Members</h2></td></tr>
768
659
  </table>
769
660
  </div><div class="memdoc">
770
661
 
771
- <p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#l00378">378</a> of file <a class="el" href="CFBasicBlockG_8h_source.html">CFBasicBlockG.h</a>.</p>
772
- <div class="fragment"><div class="line"><a name="l00379"></a><span class="lineno"> 379</span>&#160; {</div>
773
- <div class="line"><a name="l00380"></a><span class="lineno"> 380</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1GenericGraph.html#a6885064afa211958af7b73f0233284e5">hasGNode</a>(<span class="keywordtype">id</span>);</div>
774
- <div class="line"><a name="l00381"></a><span class="lineno"> 381</span>&#160; }</div>
662
+ <p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#l00377">377</a> of file <a class="el" href="CFBasicBlockG_8h_source.html">CFBasicBlockG.h</a>.</p>
663
+ <div class="fragment"><div class="line"><a name="l00378"></a><span class="lineno"> 378</span>&#160; {</div>
664
+ <div class="line"><a name="l00379"></a><span class="lineno"> 379</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1GenericGraph.html#a6885064afa211958af7b73f0233284e5">hasGNode</a>(<span class="keywordtype">id</span>);</div>
665
+ <div class="line"><a name="l00380"></a><span class="lineno"> 380</span>&#160; }</div>
775
666
  </div><!-- fragment -->
776
667
  </div>
777
668
  </div>
@@ -799,10 +690,10 @@ Additional Inherited Members</h2></td></tr>
799
690
  </table>
800
691
  </div><div class="memdoc">
801
692
 
802
- <p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#l00411">411</a> of file <a class="el" href="CFBasicBlockG_8h_source.html">CFBasicBlockG.h</a>.</p>
803
- <div class="fragment"><div class="line"><a name="l00412"></a><span class="lineno"> 412</span>&#160; {</div>
804
- <div class="line"><a name="l00413"></a><span class="lineno"> 413</span>&#160; <span class="keywordflow">return</span> fun &amp;&amp; <a class="code" href="classSVF_1_1CFBasicBlockGraph.html#a22c1d5a9da2acd9c3ad8bb5f72cfbfc8">_funToFirstNode</a>.find(fun) != <a class="code" href="classSVF_1_1CFBasicBlockGraph.html#a22c1d5a9da2acd9c3ad8bb5f72cfbfc8">_funToFirstNode</a>.end();</div>
805
- <div class="line"><a name="l00414"></a><span class="lineno"> 414</span>&#160; }</div>
693
+ <p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#l00393">393</a> of file <a class="el" href="CFBasicBlockG_8h_source.html">CFBasicBlockG.h</a>.</p>
694
+ <div class="fragment"><div class="line"><a name="l00394"></a><span class="lineno"> 394</span>&#160; {</div>
695
+ <div class="line"><a name="l00395"></a><span class="lineno"> 395</span>&#160; <span class="keywordflow">return</span> fun &amp;&amp; <a class="code" href="classSVF_1_1CFBasicBlockGraph.html#a22c1d5a9da2acd9c3ad8bb5f72cfbfc8">_funToFirstNode</a>.find(fun) != <a class="code" href="classSVF_1_1CFBasicBlockGraph.html#a22c1d5a9da2acd9c3ad8bb5f72cfbfc8">_funToFirstNode</a>.end();</div>
696
+ <div class="line"><a name="l00396"></a><span class="lineno"> 396</span>&#160; }</div>
806
697
  </div><!-- fragment -->
807
698
  </div>
808
699
  </div>
@@ -832,19 +723,19 @@ Additional Inherited Members</h2></td></tr>
832
723
 
833
724
  <p>Remove a ICFGEdgeWrapper. </p>
834
725
 
835
- <p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#l00460">460</a> of file <a class="el" href="CFBasicBlockG_8h_source.html">CFBasicBlockG.h</a>.</p>
836
- <div class="fragment"><div class="line"><a name="l00461"></a><span class="lineno"> 461</span>&#160; {</div>
837
- <div class="line"><a name="l00462"></a><span class="lineno"> 462</span>&#160; <span class="keywordflow">if</span> (edge-&gt;getDstNode()-&gt;hasIncomingEdge(edge))</div>
838
- <div class="line"><a name="l00463"></a><span class="lineno"> 463</span>&#160; {</div>
839
- <div class="line"><a name="l00464"></a><span class="lineno"> 464</span>&#160; edge-&gt;getDstNode()-&gt;removeIncomingEdge(edge);</div>
840
- <div class="line"><a name="l00465"></a><span class="lineno"> 465</span>&#160; }</div>
841
- <div class="line"><a name="l00466"></a><span class="lineno"> 466</span>&#160; <span class="keywordflow">if</span> (edge-&gt;getSrcNode()-&gt;hasOutgoingEdge(edge))</div>
842
- <div class="line"><a name="l00467"></a><span class="lineno"> 467</span>&#160; {</div>
843
- <div class="line"><a name="l00468"></a><span class="lineno"> 468</span>&#160; edge-&gt;getSrcNode()-&gt;removeOutgoingEdge(edge);</div>
844
- <div class="line"><a name="l00469"></a><span class="lineno"> 469</span>&#160; }</div>
845
- <div class="line"><a name="l00470"></a><span class="lineno"> 470</span>&#160; <span class="keyword">delete</span> edge;</div>
846
- <div class="line"><a name="l00471"></a><span class="lineno"> 471</span>&#160; <a class="code" href="classSVF_1_1CFBasicBlockGraph.html#a307a47681c72267f6e90d7009d1b3c6b">_totalCFBasicBlockEdge</a>--;</div>
847
- <div class="line"><a name="l00472"></a><span class="lineno"> 472</span>&#160; }</div>
726
+ <p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#l00433">433</a> of file <a class="el" href="CFBasicBlockG_8h_source.html">CFBasicBlockG.h</a>.</p>
727
+ <div class="fragment"><div class="line"><a name="l00434"></a><span class="lineno"> 434</span>&#160; {</div>
728
+ <div class="line"><a name="l00435"></a><span class="lineno"> 435</span>&#160; <span class="keywordflow">if</span> (edge-&gt;getDstNode()-&gt;hasIncomingEdge(edge))</div>
729
+ <div class="line"><a name="l00436"></a><span class="lineno"> 436</span>&#160; {</div>
730
+ <div class="line"><a name="l00437"></a><span class="lineno"> 437</span>&#160; edge-&gt;getDstNode()-&gt;removeIncomingEdge(edge);</div>
731
+ <div class="line"><a name="l00438"></a><span class="lineno"> 438</span>&#160; }</div>
732
+ <div class="line"><a name="l00439"></a><span class="lineno"> 439</span>&#160; <span class="keywordflow">if</span> (edge-&gt;getSrcNode()-&gt;hasOutgoingEdge(edge))</div>
733
+ <div class="line"><a name="l00440"></a><span class="lineno"> 440</span>&#160; {</div>
734
+ <div class="line"><a name="l00441"></a><span class="lineno"> 441</span>&#160; edge-&gt;getSrcNode()-&gt;removeOutgoingEdge(edge);</div>
735
+ <div class="line"><a name="l00442"></a><span class="lineno"> 442</span>&#160; }</div>
736
+ <div class="line"><a name="l00443"></a><span class="lineno"> 443</span>&#160; <span class="keyword">delete</span> edge;</div>
737
+ <div class="line"><a name="l00444"></a><span class="lineno"> 444</span>&#160; <a class="code" href="classSVF_1_1CFBasicBlockGraph.html#a307a47681c72267f6e90d7009d1b3c6b">_totalCFBasicBlockEdge</a>--;</div>
738
+ <div class="line"><a name="l00445"></a><span class="lineno"> 445</span>&#160; }</div>
848
739
  </div><!-- fragment -->
849
740
  </div>
850
741
  </div>
@@ -874,20 +765,20 @@ Additional Inherited Members</h2></td></tr>
874
765
 
875
766
  <p>Remove a ICFGNodeWrapper. </p>
876
767
 
877
- <p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#l00475">475</a> of file <a class="el" href="CFBasicBlockG_8h_source.html">CFBasicBlockG.h</a>.</p>
878
- <div class="fragment"><div class="line"><a name="l00476"></a><span class="lineno"> 476</span>&#160; {</div>
879
- <div class="line"><a name="l00477"></a><span class="lineno"> 477</span>&#160; std::set&lt;CFBasicBlockEdge *&gt; temp;</div>
880
- <div class="line"><a name="l00478"></a><span class="lineno"> 478</span>&#160; <span class="keywordflow">for</span> (CFBasicBlockEdge *e: node-&gt;getInEdges())</div>
881
- <div class="line"><a name="l00479"></a><span class="lineno"> 479</span>&#160; temp.insert(e);</div>
882
- <div class="line"><a name="l00480"></a><span class="lineno"> 480</span>&#160; <span class="keywordflow">for</span> (CFBasicBlockEdge *e: node-&gt;getOutEdges())</div>
883
- <div class="line"><a name="l00481"></a><span class="lineno"> 481</span>&#160; temp.insert(e);</div>
884
- <div class="line"><a name="l00482"></a><span class="lineno"> 482</span>&#160; <span class="keywordflow">for</span> (CFBasicBlockEdge *e: temp)</div>
885
- <div class="line"><a name="l00483"></a><span class="lineno"> 483</span>&#160; {</div>
886
- <div class="line"><a name="l00484"></a><span class="lineno"> 484</span>&#160; <a class="code" href="classSVF_1_1CFBasicBlockGraph.html#a9d7ebedc25848db79b551cb8a1ef11af">removeCFBBEdge</a>(e);</div>
887
- <div class="line"><a name="l00485"></a><span class="lineno"> 485</span>&#160; }</div>
888
- <div class="line"><a name="l00486"></a><span class="lineno"> 486</span>&#160; <a class="code" href="classSVF_1_1GenericGraph.html#a1817b65e76052f11e36a67d6b9efd915">removeGNode</a>(node);</div>
889
- <div class="line"><a name="l00487"></a><span class="lineno"> 487</span>&#160; <a class="code" href="classSVF_1_1CFBasicBlockGraph.html#af26009309b28b1d9f3f31f802307f6e9">_totalCFBasicBlockNode</a>--;</div>
890
- <div class="line"><a name="l00488"></a><span class="lineno"> 488</span>&#160; }</div>
768
+ <p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#l00448">448</a> of file <a class="el" href="CFBasicBlockG_8h_source.html">CFBasicBlockG.h</a>.</p>
769
+ <div class="fragment"><div class="line"><a name="l00449"></a><span class="lineno"> 449</span>&#160; {</div>
770
+ <div class="line"><a name="l00450"></a><span class="lineno"> 450</span>&#160; std::set&lt;CFBasicBlockEdge *&gt; temp;</div>
771
+ <div class="line"><a name="l00451"></a><span class="lineno"> 451</span>&#160; <span class="keywordflow">for</span> (CFBasicBlockEdge *e: node-&gt;getInEdges())</div>
772
+ <div class="line"><a name="l00452"></a><span class="lineno"> 452</span>&#160; temp.insert(e);</div>
773
+ <div class="line"><a name="l00453"></a><span class="lineno"> 453</span>&#160; <span class="keywordflow">for</span> (CFBasicBlockEdge *e: node-&gt;getOutEdges())</div>
774
+ <div class="line"><a name="l00454"></a><span class="lineno"> 454</span>&#160; temp.insert(e);</div>
775
+ <div class="line"><a name="l00455"></a><span class="lineno"> 455</span>&#160; <span class="keywordflow">for</span> (CFBasicBlockEdge *e: temp)</div>
776
+ <div class="line"><a name="l00456"></a><span class="lineno"> 456</span>&#160; {</div>
777
+ <div class="line"><a name="l00457"></a><span class="lineno"> 457</span>&#160; <a class="code" href="classSVF_1_1CFBasicBlockGraph.html#a9d7ebedc25848db79b551cb8a1ef11af">removeCFBBEdge</a>(e);</div>
778
+ <div class="line"><a name="l00458"></a><span class="lineno"> 458</span>&#160; }</div>
779
+ <div class="line"><a name="l00459"></a><span class="lineno"> 459</span>&#160; <a class="code" href="classSVF_1_1GenericGraph.html#a1817b65e76052f11e36a67d6b9efd915">removeGNode</a>(node);</div>
780
+ <div class="line"><a name="l00460"></a><span class="lineno"> 460</span>&#160; <a class="code" href="classSVF_1_1CFBasicBlockGraph.html#af26009309b28b1d9f3f31f802307f6e9">_totalCFBasicBlockNode</a>--;</div>
781
+ <div class="line"><a name="l00461"></a><span class="lineno"> 461</span>&#160; }</div>
891
782
  </div><!-- fragment -->
892
783
  </div>
893
784
  </div>
@@ -917,46 +808,15 @@ Additional Inherited Members</h2></td></tr>
917
808
 
918
809
  <p>Remove node from nodeID. </p>
919
810
 
920
- <p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#l00492">492</a> of file <a class="el" href="CFBasicBlockG_8h_source.html">CFBasicBlockG.h</a>.</p>
921
- <div class="fragment"><div class="line"><a name="l00493"></a><span class="lineno"> 493</span>&#160; {</div>
922
- <div class="line"><a name="l00494"></a><span class="lineno"> 494</span>&#160; <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1GenericGraph.html#a6885064afa211958af7b73f0233284e5">hasGNode</a>(<span class="keywordtype">id</span>))</div>
923
- <div class="line"><a name="l00495"></a><span class="lineno"> 495</span>&#160; {</div>
924
- <div class="line"><a name="l00496"></a><span class="lineno"> 496</span>&#160; <a class="code" href="classSVF_1_1CFBasicBlockGraph.html#a0ed78b8098e84845a500979d52bb8d18">removeCFBBNode</a>(<a class="code" href="classSVF_1_1GenericGraph.html#a43c9c773bfa17abf481c33073e30d01b">getGNode</a>(<span class="keywordtype">id</span>));</div>
925
- <div class="line"><a name="l00497"></a><span class="lineno"> 497</span>&#160; <span class="keywordflow">return</span> <span class="keyword">true</span>;</div>
926
- <div class="line"><a name="l00498"></a><span class="lineno"> 498</span>&#160; }</div>
927
- <div class="line"><a name="l00499"></a><span class="lineno"> 499</span>&#160; <span class="keywordflow">return</span> <span class="keyword">false</span>;</div>
928
- <div class="line"><a name="l00500"></a><span class="lineno"> 500</span>&#160; }</div>
929
- </div><!-- fragment -->
930
- </div>
931
- </div>
932
- <a id="adf198792bfd1c944df6cb3992df96f75"></a>
933
- <h2 class="memtitle"><span class="permalink"><a href="#adf198792bfd1c944df6cb3992df96f75">&#9670;&nbsp;</a></span>setBBCFNodeMap()</h2>
934
-
935
- <div class="memitem">
936
- <div class="memproto">
937
- <table class="mlabels">
938
- <tr>
939
- <td class="mlabels-left">
940
- <table class="memname">
941
- <tr>
942
- <td class="memname">void SVF::CFBasicBlockGraph::setBBCFNodeMap </td>
943
- <td>(</td>
944
- <td class="paramtype">const <a class="el" href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">Map</a>&lt; const <a class="el" href="classSVF_1_1SVFBasicBlock.html">SVFBasicBlock</a> *, <a class="el" href="classSVF_1_1CFBasicBlockNode.html">CFBasicBlockNode</a> * &gt; &amp;&#160;</td>
945
- <td class="paramname"><em>svfNodeMap</em></td><td>)</td>
946
- <td></td>
947
- </tr>
948
- </table>
949
- </td>
950
- <td class="mlabels-right">
951
- <span class="mlabels"><span class="mlabel">inline</span></span> </td>
952
- </tr>
953
- </table>
954
- </div><div class="memdoc">
955
-
956
- <p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#l00421">421</a> of file <a class="el" href="CFBasicBlockG_8h_source.html">CFBasicBlockG.h</a>.</p>
957
- <div class="fragment"><div class="line"><a name="l00422"></a><span class="lineno"> 422</span>&#160; {</div>
958
- <div class="line"><a name="l00423"></a><span class="lineno"> 423</span>&#160; <a class="code" href="classSVF_1_1CFBasicBlockGraph.html#ab8b75e7bcafc8a1512c3e78d12bffe16">_bbToNode</a> = svfNodeMap;</div>
959
- <div class="line"><a name="l00424"></a><span class="lineno"> 424</span>&#160; }</div>
811
+ <p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#l00465">465</a> of file <a class="el" href="CFBasicBlockG_8h_source.html">CFBasicBlockG.h</a>.</p>
812
+ <div class="fragment"><div class="line"><a name="l00466"></a><span class="lineno"> 466</span>&#160; {</div>
813
+ <div class="line"><a name="l00467"></a><span class="lineno"> 467</span>&#160; <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1GenericGraph.html#a6885064afa211958af7b73f0233284e5">hasGNode</a>(<span class="keywordtype">id</span>))</div>
814
+ <div class="line"><a name="l00468"></a><span class="lineno"> 468</span>&#160; {</div>
815
+ <div class="line"><a name="l00469"></a><span class="lineno"> 469</span>&#160; <a class="code" href="classSVF_1_1CFBasicBlockGraph.html#a0ed78b8098e84845a500979d52bb8d18">removeCFBBNode</a>(<a class="code" href="classSVF_1_1GenericGraph.html#a43c9c773bfa17abf481c33073e30d01b">getGNode</a>(<span class="keywordtype">id</span>));</div>
816
+ <div class="line"><a name="l00470"></a><span class="lineno"> 470</span>&#160; <span class="keywordflow">return</span> <span class="keyword">true</span>;</div>
817
+ <div class="line"><a name="l00471"></a><span class="lineno"> 471</span>&#160; }</div>
818
+ <div class="line"><a name="l00472"></a><span class="lineno"> 472</span>&#160; <span class="keywordflow">return</span> <span class="keyword">false</span>;</div>
819
+ <div class="line"><a name="l00473"></a><span class="lineno"> 473</span>&#160; }</div>
960
820
  </div><!-- fragment -->
961
821
  </div>
962
822
  </div>
@@ -984,10 +844,10 @@ Additional Inherited Members</h2></td></tr>
984
844
  </table>
985
845
  </div><div class="memdoc">
986
846
 
987
- <p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#l00416">416</a> of file <a class="el" href="CFBasicBlockG_8h_source.html">CFBasicBlockG.h</a>.</p>
988
- <div class="fragment"><div class="line"><a name="l00417"></a><span class="lineno"> 417</span>&#160; {</div>
989
- <div class="line"><a name="l00418"></a><span class="lineno"> 418</span>&#160; <a class="code" href="classSVF_1_1CFBasicBlockGraph.html#a22c1d5a9da2acd9c3ad8bb5f72cfbfc8">_funToFirstNode</a> = svfNodeMap;</div>
990
- <div class="line"><a name="l00419"></a><span class="lineno"> 419</span>&#160; }</div>
847
+ <p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#l00398">398</a> of file <a class="el" href="CFBasicBlockG_8h_source.html">CFBasicBlockG.h</a>.</p>
848
+ <div class="fragment"><div class="line"><a name="l00399"></a><span class="lineno"> 399</span>&#160; {</div>
849
+ <div class="line"><a name="l00400"></a><span class="lineno"> 400</span>&#160; <a class="code" href="classSVF_1_1CFBasicBlockGraph.html#a22c1d5a9da2acd9c3ad8bb5f72cfbfc8">_funToFirstNode</a> = svfNodeMap;</div>
850
+ <div class="line"><a name="l00401"></a><span class="lineno"> 401</span>&#160; }</div>
991
851
  </div><!-- fragment -->
992
852
  </div>
993
853
  </div>
@@ -1017,30 +877,6 @@ Additional Inherited Members</h2></td></tr>
1017
877
  </div>
1018
878
  </div>
1019
879
  <h2 class="groupheader">Member Data Documentation</h2>
1020
- <a id="ab8b75e7bcafc8a1512c3e78d12bffe16"></a>
1021
- <h2 class="memtitle"><span class="permalink"><a href="#ab8b75e7bcafc8a1512c3e78d12bffe16">&#9670;&nbsp;</a></span>_bbToNode</h2>
1022
-
1023
- <div class="memitem">
1024
- <div class="memproto">
1025
- <table class="mlabels">
1026
- <tr>
1027
- <td class="mlabels-left">
1028
- <table class="memname">
1029
- <tr>
1030
- <td class="memname"><a class="el" href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">Map</a>&lt;const <a class="el" href="classSVF_1_1SVFBasicBlock.html">SVFBasicBlock</a>*, <a class="el" href="classSVF_1_1CFBasicBlockNode.html">CFBasicBlockNode</a>*&gt; SVF::CFBasicBlockGraph::_bbToNode</td>
1031
- </tr>
1032
- </table>
1033
- </td>
1034
- <td class="mlabels-right">
1035
- <span class="mlabels"><span class="mlabel">private</span></span> </td>
1036
- </tr>
1037
- </table>
1038
- </div><div class="memdoc">
1039
-
1040
- <p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#l00358">358</a> of file <a class="el" href="CFBasicBlockG_8h_source.html">CFBasicBlockG.h</a>.</p>
1041
-
1042
- </div>
1043
- </div>
1044
880
  <a id="a22c1d5a9da2acd9c3ad8bb5f72cfbfc8"></a>
1045
881
  <h2 class="memtitle"><span class="permalink"><a href="#a22c1d5a9da2acd9c3ad8bb5f72cfbfc8">&#9670;&nbsp;</a></span>_funToFirstNode</h2>
1046
882
 
@@ -1061,7 +897,7 @@ Additional Inherited Members</h2></td></tr>
1061
897
  </table>
1062
898
  </div><div class="memdoc">
1063
899
 
1064
- <p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#l00359">359</a> of file <a class="el" href="CFBasicBlockG_8h_source.html">CFBasicBlockG.h</a>.</p>
900
+ <p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#l00358">358</a> of file <a class="el" href="CFBasicBlockG_8h_source.html">CFBasicBlockG.h</a>.</p>
1065
901
 
1066
902
  </div>
1067
903
  </div>
@@ -1118,19 +954,18 @@ Additional Inherited Members</h2></td></tr>
1118
954
  <li>/home/runner/work/SVF/SVF/svf/lib/Graphs/<a class="el" href="CFBasicBlockG_8cpp_source.html">CFBasicBlockG.cpp</a></li>
1119
955
  </ul>
1120
956
  </div><!-- contents -->
1121
- <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#l00358">CFBasicBlockG.h:358</a></div></div>
1122
- <div class="ttc" id="aclassSVF_1_1CFBasicBlockGraph_html_a9d7ebedc25848db79b551cb8a1ef11af"><div class="ttname"><a href="classSVF_1_1CFBasicBlockGraph.html#a9d7ebedc25848db79b551cb8a1ef11af">SVF::CFBasicBlockGraph::removeCFBBEdge</a></div><div class="ttdeci">void removeCFBBEdge(CFBasicBlockEdge *edge)</div><div class="ttdoc">Remove a ICFGEdgeWrapper.</div><div class="ttdef"><b>Definition:</b> <a href="CFBasicBlockG_8h_source.html#l00460">CFBasicBlockG.h:460</a></div></div>
957
+ <div class="ttc" id="aclassSVF_1_1CFBasicBlockGraph_html_a9d7ebedc25848db79b551cb8a1ef11af"><div class="ttname"><a href="classSVF_1_1CFBasicBlockGraph.html#a9d7ebedc25848db79b551cb8a1ef11af">SVF::CFBasicBlockGraph::removeCFBBEdge</a></div><div class="ttdeci">void removeCFBBEdge(CFBasicBlockEdge *edge)</div><div class="ttdoc">Remove a ICFGEdgeWrapper.</div><div class="ttdef"><b>Definition:</b> <a href="CFBasicBlockG_8h_source.html#l00433">CFBasicBlockG.h:433</a></div></div>
1123
958
  <div class="ttc" id="aclassSVF_1_1CFBasicBlockGraph_html_af26009309b28b1d9f3f31f802307f6e9"><div class="ttname"><a href="classSVF_1_1CFBasicBlockGraph.html#af26009309b28b1d9f3f31f802307f6e9">SVF::CFBasicBlockGraph::_totalCFBasicBlockNode</a></div><div class="ttdeci">u32_t _totalCFBasicBlockNode</div><div class="ttdef"><b>Definition:</b> <a href="CFBasicBlockG_8h_source.html#l00356">CFBasicBlockG.h:356</a></div></div>
1124
959
  <div class="ttc" id="aclassSVF_1_1GenericGraph_html_a0a8831a5429005ff9d71adbd6bf3994f"><div class="ttname"><a href="classSVF_1_1GenericGraph.html#a0a8831a5429005ff9d71adbd6bf3994f">SVF::GenericGraph::addGNode</a></div><div class="ttdeci">void addGNode(NodeID id, NodeType *node)</div><div class="ttdoc">Add a Node.</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00399">GenericGraph.h:399</a></div></div>
1125
960
  <div class="ttc" id="aclassSVF_1_1GenericGraph_html_a1817b65e76052f11e36a67d6b9efd915"><div class="ttname"><a href="classSVF_1_1GenericGraph.html#a1817b65e76052f11e36a67d6b9efd915">SVF::GenericGraph::removeGNode</a></div><div class="ttdeci">void removeGNode(NodeType *node)</div><div class="ttdoc">Delete a node.</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00421">GenericGraph.h:421</a></div></div>
1126
961
  <div class="ttc" id="aclassSVF_1_1GenericGraph_html_a43c9c773bfa17abf481c33073e30d01b"><div class="ttname"><a href="classSVF_1_1GenericGraph.html#a43c9c773bfa17abf481c33073e30d01b">SVF::GenericGraph::getGNode</a></div><div class="ttdeci">NodeType * getGNode(NodeID id) const</div><div class="ttdoc">Get a node.</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00406">GenericGraph.h:406</a></div></div>
1127
962
  <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>
1128
- <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#l00359">CFBasicBlockG.h:359</a></div></div>
963
+ <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>
1129
964
  <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>
1130
965
  <div class="ttc" id="aclassSVF_1_1CFBasicBlockGraph_html_a307a47681c72267f6e90d7009d1b3c6b"><div class="ttname"><a href="classSVF_1_1CFBasicBlockGraph.html#a307a47681c72267f6e90d7009d1b3c6b">SVF::CFBasicBlockGraph::_totalCFBasicBlockEdge</a></div><div class="ttdeci">u32_t _totalCFBasicBlockEdge</div><div class="ttdef"><b>Definition:</b> <a href="CFBasicBlockG_8h_source.html#l00357">CFBasicBlockG.h:357</a></div></div>
1131
966
  <div class="ttc" id="aclassSVF_1_1GenericGraph_html_a6885064afa211958af7b73f0233284e5"><div class="ttname"><a href="classSVF_1_1GenericGraph.html#a6885064afa211958af7b73f0233284e5">SVF::GenericGraph::hasGNode</a></div><div class="ttdeci">bool hasGNode(NodeID id) const</div><div class="ttdoc">Has a node.</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00414">GenericGraph.h:414</a></div></div>
1132
967
  <div class="ttc" id="aclassSVF_1_1GraphPrinter_html_a014217fb0d05c8f2a2f1a6c5b19d3e10"><div class="ttname"><a href="classSVF_1_1GraphPrinter.html#a014217fb0d05c8f2a2f1a6c5b19d3e10">SVF::GraphPrinter::WriteGraphToFile</a></div><div class="ttdeci">static void WriteGraphToFile(SVF::OutStream &amp;O, const std::string &amp;GraphName, const GraphType &amp;GT, bool simple=false)</div><div class="ttdef"><b>Definition:</b> <a href="GraphPrinter_8h_source.html#l00056">GraphPrinter.h:56</a></div></div>
1133
- <div class="ttc" id="aclassSVF_1_1CFBasicBlockGraph_html_a0ed78b8098e84845a500979d52bb8d18"><div class="ttname"><a href="classSVF_1_1CFBasicBlockGraph.html#a0ed78b8098e84845a500979d52bb8d18">SVF::CFBasicBlockGraph::removeCFBBNode</a></div><div class="ttdeci">void removeCFBBNode(CFBasicBlockNode *node)</div><div class="ttdoc">Remove a ICFGNodeWrapper.</div><div class="ttdef"><b>Definition:</b> <a href="CFBasicBlockG_8h_source.html#l00475">CFBasicBlockG.h:475</a></div></div>
968
+ <div class="ttc" id="aclassSVF_1_1CFBasicBlockGraph_html_a0ed78b8098e84845a500979d52bb8d18"><div class="ttname"><a href="classSVF_1_1CFBasicBlockGraph.html#a0ed78b8098e84845a500979d52bb8d18">SVF::CFBasicBlockGraph::removeCFBBNode</a></div><div class="ttdeci">void removeCFBBNode(CFBasicBlockNode *node)</div><div class="ttdoc">Remove a ICFGNodeWrapper.</div><div class="ttdef"><b>Definition:</b> <a href="CFBasicBlockG_8h_source.html#l00448">CFBasicBlockG.h:448</a></div></div>
1134
969
  <!-- start footer part -->
1135
970
  <hr class="footer"/><address class="footer"><small>
1136
971
  Generated by &#160;<a href="http://www.doxygen.org/index.html">