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/CFBasicBlockG_8cpp_source.html CHANGED
@@ -201,13 +201,13 @@ $(function() {
201
201
  <div class="line"><a name="l00130"></a><span class="lineno"> 130</span>&#160; }</div>
202
202
  <div class="line"><a name="l00131"></a><span class="lineno"> 131</span>&#160; }</div>
203
203
  <div class="line"><a name="l00132"></a><span class="lineno"> 132</span>&#160; }</div>
204
- <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>
205
- <div class="line"><a name="l00134"></a><span class="lineno"> 134</span>&#160;}</div>
206
- <div class="line"><a name="l00135"></a><span class="lineno"> 135</span>&#160; </div>
207
- <div class="line"><a name="l00136"></a><span class="lineno"><a class="line" href="classSVF_1_1CFBasicBlockGBuilder.html#a25f0496187622b156bafc49f34fffeaf"> 136</a></span>&#160;<span class="keywordtype">void</span> <a class="code" href="classSVF_1_1CFBasicBlockGBuilder.html#a9c830d44805689071793420deff5af1a">CFBasicBlockGBuilder::build</a>(<a class="code" href="classSVF_1_1ICFG.html">ICFG</a>* icfg)</div>
208
- <div class="line"><a name="l00137"></a><span class="lineno"> 137</span>&#160;{</div>
209
- <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> <a class="code" href="classSVF_1_1CFBasicBlockGraph.html">CFBasicBlockGraph</a>();</div>
210
- <div class="line"><a name="l00139"></a><span class="lineno"> 139</span>&#160; <a class="code" href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">Map&lt;const SVFBasicBlock*, CFBasicBlockNode*&gt;</a> bbToNode;</div>
204
+ <div class="line"><a name="l00133"></a><span class="lineno"> 133</span>&#160;}</div>
205
+ <div class="line"><a name="l00134"></a><span class="lineno"> 134</span>&#160; </div>
206
+ <div class="line"><a name="l00135"></a><span class="lineno"><a class="line" href="classSVF_1_1CFBasicBlockGBuilder.html#a25f0496187622b156bafc49f34fffeaf"> 135</a></span>&#160;<span class="keywordtype">void</span> <a class="code" href="classSVF_1_1CFBasicBlockGBuilder.html#a9c830d44805689071793420deff5af1a">CFBasicBlockGBuilder::build</a>(<a class="code" href="classSVF_1_1ICFG.html">ICFG</a>* icfg)</div>
207
+ <div class="line"><a name="l00136"></a><span class="lineno"> 136</span>&#160;{</div>
208
+ <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> <a class="code" href="classSVF_1_1CFBasicBlockGraph.html">CFBasicBlockGraph</a>();</div>
209
+ <div class="line"><a name="l00138"></a><span class="lineno"> 138</span>&#160; <a class="code" href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">Map&lt;const SVFBasicBlock*, CFBasicBlockNode*&gt;</a> bbToNode;</div>
210
+ <div class="line"><a name="l00139"></a><span class="lineno"> 139</span>&#160; <a class="code" href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">Map&lt;const SVFFunction*, CFBasicBlockNode*&gt;</a> funToFirstNode;</div>
211
211
  <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>
212
212
  <div class="line"><a name="l00141"></a><span class="lineno"> 141</span>&#160; {</div>
213
213
  <div class="line"><a name="l00142"></a><span class="lineno"> 142</span>&#160; <a class="code" href="classSVF_1_1CFBasicBlockNode.html">CFBasicBlockNode</a>* pNode = <span class="keyword">nullptr</span>;</div>
@@ -224,44 +224,56 @@ $(function() {
224
224
  <div class="line"><a name="l00153"></a><span class="lineno"> 153</span>&#160; pNode = bbToNode[node.second-&gt;getBB()];</div>
225
225
  <div class="line"><a name="l00154"></a><span class="lineno"> 154</span>&#160; pNode-&gt;<a class="code" href="classSVF_1_1CFBasicBlockNode.html#a5374f4567cee38325f61940f4edbb142">addNode</a>(node.second);</div>
226
226
  <div class="line"><a name="l00155"></a><span class="lineno"> 155</span>&#160; }</div>
227
- <div class="line"><a name="l00156"></a><span class="lineno"> 156</span>&#160; }</div>
228
- <div class="line"><a name="l00157"></a><span class="lineno"> 157</span>&#160; }</div>
229
- <div class="line"><a name="l00158"></a><span class="lineno"> 158</span>&#160; </div>
230
- <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>
231
- <div class="line"><a name="l00160"></a><span class="lineno"> 160</span>&#160; {</div>
232
- <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>
233
- <div class="line"><a name="l00162"></a><span class="lineno"> 162</span>&#160; {</div>
234
- <div class="line"><a name="l00163"></a><span class="lineno"> 163</span>&#160; <span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFFunction.html">SVFFunction</a>* node_fun = node.second-&gt;getFun();</div>
235
- <div class="line"><a name="l00164"></a><span class="lineno"> 164</span>&#160; <span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFFunction.html">SVFFunction</a>* succ_fun = succ-&gt;getDstNode()-&gt;getFun();</div>
236
- <div class="line"><a name="l00165"></a><span class="lineno"> 165</span>&#160; <span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFBasicBlock.html">SVFBasicBlock</a>* node_bb = node.second-&gt;getBB();</div>
237
- <div class="line"><a name="l00166"></a><span class="lineno"> 166</span>&#160; <span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFBasicBlock.html">SVFBasicBlock</a>* succ_bb = succ-&gt;getDstNode()-&gt;getBB();</div>
238
- <div class="line"><a name="l00167"></a><span class="lineno"> 167</span>&#160; <span class="keywordflow">if</span> (node_fun == succ_fun)</div>
239
- <div class="line"><a name="l00168"></a><span class="lineno"> 168</span>&#160; {</div>
240
- <div class="line"><a name="l00169"></a><span class="lineno"> 169</span>&#160; <span class="keywordflow">if</span> (node_bb != succ_bb)</div>
241
- <div class="line"><a name="l00170"></a><span class="lineno"> 170</span>&#160; {</div>
242
- <div class="line"><a name="l00171"></a><span class="lineno"> 171</span>&#160; <a class="code" href="classSVF_1_1CFBasicBlockEdge.html">CFBasicBlockEdge</a> *pEdge = <span class="keyword">new</span> <a class="code" href="classSVF_1_1CFBasicBlockEdge.html">CFBasicBlockEdge</a>(bbToNode[node_bb], bbToNode[succ_bb], succ);</div>
243
- <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>
244
- <div class="line"><a name="l00173"></a><span class="lineno"> 173</span>&#160; }</div>
245
- <div class="line"><a name="l00174"></a><span class="lineno"> 174</span>&#160; }</div>
246
- <div class="line"><a name="l00175"></a><span class="lineno"> 175</span>&#160; }</div>
247
- <div class="line"><a name="l00176"></a><span class="lineno"> 176</span>&#160; }</div>
248
- <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>
249
- <div class="line"><a name="l00178"></a><span class="lineno"> 178</span>&#160;}</div>
250
- <div class="line"><a name="l00179"></a><span class="lineno"> 179</span>&#160;}</div>
227
+ <div class="line"><a name="l00156"></a><span class="lineno"> 156</span>&#160; <span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFFunction.html">SVFFunction</a>* fun = node.second-&gt;getFun();</div>
228
+ <div class="line"><a name="l00157"></a><span class="lineno"> 157</span>&#160; <span class="keywordflow">if</span> (funToFirstNode.find(fun) == funToFirstNode.end())</div>
229
+ <div class="line"><a name="l00158"></a><span class="lineno"> 158</span>&#160; {</div>
230
+ <div class="line"><a name="l00159"></a><span class="lineno"> 159</span>&#160; funToFirstNode[fun] = <span class="keyword">nullptr</span>;</div>
231
+ <div class="line"><a name="l00160"></a><span class="lineno"> 160</span>&#160; }</div>
232
+ <div class="line"><a name="l00161"></a><span class="lineno"> 161</span>&#160; }</div>
233
+ <div class="line"><a name="l00162"></a><span class="lineno"> 162</span>&#160; }</div>
234
+ <div class="line"><a name="l00163"></a><span class="lineno"> 163</span>&#160; </div>
235
+ <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>
236
+ <div class="line"><a name="l00165"></a><span class="lineno"> 165</span>&#160; {</div>
237
+ <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>
238
+ <div class="line"><a name="l00167"></a><span class="lineno"> 167</span>&#160; {</div>
239
+ <div class="line"><a name="l00168"></a><span class="lineno"> 168</span>&#160; <span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFFunction.html">SVFFunction</a>* node_fun = node.second-&gt;getFun();</div>
240
+ <div class="line"><a name="l00169"></a><span class="lineno"> 169</span>&#160; <span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFFunction.html">SVFFunction</a>* succ_fun = succ-&gt;getDstNode()-&gt;getFun();</div>
241
+ <div class="line"><a name="l00170"></a><span class="lineno"> 170</span>&#160; <span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFBasicBlock.html">SVFBasicBlock</a>* node_bb = node.second-&gt;getBB();</div>
242
+ <div class="line"><a name="l00171"></a><span class="lineno"> 171</span>&#160; <span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFBasicBlock.html">SVFBasicBlock</a>* succ_bb = succ-&gt;getDstNode()-&gt;getBB();</div>
243
+ <div class="line"><a name="l00172"></a><span class="lineno"> 172</span>&#160; <span class="keywordflow">if</span> (node_fun == succ_fun)</div>
244
+ <div class="line"><a name="l00173"></a><span class="lineno"> 173</span>&#160; {</div>
245
+ <div class="line"><a name="l00174"></a><span class="lineno"> 174</span>&#160; <span class="keywordflow">if</span> (node_bb != succ_bb)</div>
246
+ <div class="line"><a name="l00175"></a><span class="lineno"> 175</span>&#160; {</div>
247
+ <div class="line"><a name="l00176"></a><span class="lineno"> 176</span>&#160; <a class="code" href="classSVF_1_1CFBasicBlockEdge.html">CFBasicBlockEdge</a> *pEdge = <span class="keyword">new</span> <a class="code" href="classSVF_1_1CFBasicBlockEdge.html">CFBasicBlockEdge</a>(bbToNode[node_bb], bbToNode[succ_bb], succ);</div>
248
+ <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>
249
+ <div class="line"><a name="l00178"></a><span class="lineno"> 178</span>&#160; }</div>
250
+ <div class="line"><a name="l00179"></a><span class="lineno"> 179</span>&#160; }</div>
251
+ <div class="line"><a name="l00180"></a><span class="lineno"> 180</span>&#160; }</div>
252
+ <div class="line"><a name="l00181"></a><span class="lineno"> 181</span>&#160; }</div>
253
+ <div class="line"><a name="l00182"></a><span class="lineno"> 182</span>&#160; </div>
254
+ <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>
255
+ <div class="line"><a name="l00184"></a><span class="lineno"> 184</span>&#160; {</div>
256
+ <div class="line"><a name="l00185"></a><span class="lineno"> 185</span>&#160; <span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFFunction.html">SVFFunction</a>* fun = it-&gt;first;</div>
257
+ <div class="line"><a name="l00186"></a><span class="lineno"> 186</span>&#160; <span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFBasicBlock.html">SVFBasicBlock</a>* bb = *fun-&gt;<a class="code" href="classSVF_1_1SVFFunction.html#a8f2aced2df91bf97d644d9a2de449c38">getBasicBlockList</a>().begin();</div>
258
+ <div class="line"><a name="l00187"></a><span class="lineno"> 187</span>&#160; funToFirstNode[fun] = bbToNode[bb];</div>
259
+ <div class="line"><a name="l00188"></a><span class="lineno"> 188</span>&#160; }</div>
260
+ <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>
261
+ <div class="line"><a name="l00190"></a><span class="lineno"> 190</span>&#160;}</div>
262
+ <div class="line"><a name="l00191"></a><span class="lineno"> 191</span>&#160;}</div>
251
263
  </div><!-- fragment --></div><!-- contents -->
264
+ <div class="ttc" id="aclassSVF_1_1SVFFunction_html_a8f2aced2df91bf97d644d9a2de449c38"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#a8f2aced2df91bf97d644d9a2de449c38">SVF::SVFFunction::getBasicBlockList</a></div><div class="ttdeci">const std::vector&lt; const SVFBasicBlock * &gt; &amp; getBasicBlockList() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00441">SVFValue.h:441</a></div></div>
252
265
  <div class="ttc" id="aclassSVF_1_1ICFGEdge_html"><div class="ttname"><a href="classSVF_1_1ICFGEdge.html">SVF::ICFGEdge</a></div><div class="ttdef"><b>Definition:</b> <a href="ICFGEdge_8h_source.html#l00044">ICFGEdge.h:44</a></div></div>
253
- <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>
254
266
  <div class="ttc" id="anamespaceSVF_html"><div class="ttname"><a href="namespaceSVF.html">SVF</a></div><div class="ttdoc">for isBitcode</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00065">BasicTypes.h:65</a></div></div>
255
- <div class="ttc" id="aclassSVF_1_1CFBasicBlockNode_html_a72e47a6254620d0b65a8d1182777440a"><div class="ttname"><a href="classSVF_1_1CFBasicBlockNode.html#a72e47a6254620d0b65a8d1182777440a">SVF::CFBasicBlockNode::_icfgNodes</a></div><div class="ttdeci">std::vector&lt; const ICFGNode * &gt; _icfgNodes</div><div class="ttdef"><b>Definition:</b> <a href="CFBasicBlockG_8h_source.html#l00114">CFBasicBlockG.h:114</a></div></div>
256
- <div class="ttc" id="aclassSVF_1_1CFBasicBlockNode_html_a34ef44c3ffad24255a72c8ecf2f2919e"><div class="ttname"><a href="classSVF_1_1CFBasicBlockNode.html#a34ef44c3ffad24255a72c8ecf2f2919e">SVF::CFBasicBlockNode::CFBasicBlockNode</a></div><div class="ttdeci">CFBasicBlockNode(std::vector&lt; const ICFGNode * &gt; icfgNodes)</div><div class="ttdef"><b>Definition:</b> <a href="CFBasicBlockG_8h_source.html#l00119">CFBasicBlockG.h:119</a></div></div>
267
+ <div class="ttc" id="aclassSVF_1_1CFBasicBlockNode_html_a72e47a6254620d0b65a8d1182777440a"><div class="ttname"><a href="classSVF_1_1CFBasicBlockNode.html#a72e47a6254620d0b65a8d1182777440a">SVF::CFBasicBlockNode::_icfgNodes</a></div><div class="ttdeci">std::vector&lt; const ICFGNode * &gt; _icfgNodes</div><div class="ttdef"><b>Definition:</b> <a href="CFBasicBlockG_8h_source.html#l00119">CFBasicBlockG.h:119</a></div></div>
268
+ <div class="ttc" id="aclassSVF_1_1CFBasicBlockNode_html_a34ef44c3ffad24255a72c8ecf2f2919e"><div class="ttname"><a href="classSVF_1_1CFBasicBlockNode.html#a34ef44c3ffad24255a72c8ecf2f2919e">SVF::CFBasicBlockNode::CFBasicBlockNode</a></div><div class="ttdeci">CFBasicBlockNode(std::vector&lt; const ICFGNode * &gt; icfgNodes)</div><div class="ttdef"><b>Definition:</b> <a href="CFBasicBlockG_8h_source.html#l00124">CFBasicBlockG.h:124</a></div></div>
257
269
  <div class="ttc" id="aclassSVF_1_1CFBasicBlockGraph_html_a5feb9a73d517a2be4eac0d7dddfedef8"><div class="ttname"><a href="classSVF_1_1CFBasicBlockGraph.html#a5feb9a73d517a2be4eac0d7dddfedef8">SVF::CFBasicBlockGraph::getCFBasicBlockEdge</a></div><div class="ttdeci">CFBasicBlockEdge * getCFBasicBlockEdge(const CFBasicBlockNode *src, const CFBasicBlockNode *dst, const ICFGEdge *icfgEdge)</div><div class="ttdef"><b>Definition:</b> <a href="CFBasicBlockG_8cpp_source.html#l00063">CFBasicBlockG.cpp:63</a></div></div>
258
- <div class="ttc" id="aclassSVF_1_1CFBasicBlockNode_html_a93c5de88097d130a8ba06c7254f96510"><div class="ttname"><a href="classSVF_1_1CFBasicBlockNode.html#a93c5de88097d130a8ba06c7254f96510">SVF::CFBasicBlockNode::OutEdgeBegin</a></div><div class="ttdeci">iterator OutEdgeBegin()</div><div class="ttdoc">iterators</div><div class="ttdef"><b>Definition:</b> <a href="CFBasicBlockG_8h_source.html#l00209">CFBasicBlockG.h:209</a></div></div>
270
+ <div class="ttc" id="aclassSVF_1_1CFBasicBlockNode_html_a93c5de88097d130a8ba06c7254f96510"><div class="ttname"><a href="classSVF_1_1CFBasicBlockNode.html#a93c5de88097d130a8ba06c7254f96510">SVF::CFBasicBlockNode::OutEdgeBegin</a></div><div class="ttdeci">iterator OutEdgeBegin()</div><div class="ttdoc">iterators</div><div class="ttdef"><b>Definition:</b> <a href="CFBasicBlockG_8h_source.html#l00214">CFBasicBlockG.h:214</a></div></div>
259
271
  <div class="ttc" id="aclassSVF_1_1CFBasicBlockEdge_html"><div class="ttname"><a href="classSVF_1_1CFBasicBlockEdge.html">SVF::CFBasicBlockEdge</a></div><div class="ttdef"><b>Definition:</b> <a href="CFBasicBlockG_8h_source.html#l00043">CFBasicBlockG.h:43</a></div></div>
260
272
  <div class="ttc" id="aclassSVF_1_1ICFGNode_html"><div class="ttname"><a href="classSVF_1_1ICFGNode.html">SVF::ICFGNode</a></div><div class="ttdef"><b>Definition:</b> <a href="ICFGNode_8h_source.html#l00054">ICFGNode.h:54</a></div></div>
261
273
  <div class="ttc" id="aclassSVF_1_1CFBasicBlockGBuilder_html_a9c830d44805689071793420deff5af1a"><div class="ttname"><a href="classSVF_1_1CFBasicBlockGBuilder.html#a9c830d44805689071793420deff5af1a">SVF::CFBasicBlockGBuilder::build</a></div><div class="ttdeci">virtual void build(SVFModule *module)</div><div class="ttdef"><b>Definition:</b> <a href="CFBasicBlockG_8cpp_source.html#l00094">CFBasicBlockG.cpp:94</a></div></div>
262
274
  <div class="ttc" id="aclassSVF_1_1GenericNode_html_ac3e55ef37aefb411ea4c87b1aa3b1895"><div class="ttname"><a href="classSVF_1_1GenericNode.html#ac3e55ef37aefb411ea4c87b1aa3b1895">SVF::GenericNode::getId</a></div><div class="ttdeci">NodeID getId() const</div><div class="ttdoc">Get ID.</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00180">GenericGraph.h:180</a></div></div>
263
- <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>
264
- <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>
275
+ <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>
276
+ <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>
265
277
  <div class="ttc" id="aclassSVF_1_1SVFBasicBlock_html"><div class="ttname"><a href="classSVF_1_1SVFBasicBlock.html">SVF::SVFBasicBlock</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00517">SVFValue.h:517</a></div></div>
266
278
  <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>
267
279
  <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>
@@ -272,18 +284,19 @@ $(function() {
272
284
  <div class="ttc" id="aCFBasicBlockG_8h_html"><div class="ttname"><a href="CFBasicBlockG_8h.html">CFBasicBlockG.h</a></div></div>
273
285
  <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>
274
286
  <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>
275
- <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>
276
- <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>
277
- <div class="ttc" id="aclassSVF_1_1CFBasicBlockNode_html_a358586d95a6027da09b97a3c35128a35"><div class="ttname"><a href="classSVF_1_1CFBasicBlockNode.html#a358586d95a6027da09b97a3c35128a35">SVF::CFBasicBlockNode::OutEdgeEnd</a></div><div class="ttdeci">iterator OutEdgeEnd()</div><div class="ttdef"><b>Definition:</b> <a href="CFBasicBlockG_8h_source.html#l00214">CFBasicBlockG.h:214</a></div></div>
287
+ <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>
288
+ <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>
289
+ <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>
290
+ <div class="ttc" id="aclassSVF_1_1CFBasicBlockNode_html_a358586d95a6027da09b97a3c35128a35"><div class="ttname"><a href="classSVF_1_1CFBasicBlockNode.html#a358586d95a6027da09b97a3c35128a35">SVF::CFBasicBlockNode::OutEdgeEnd</a></div><div class="ttdeci">iterator OutEdgeEnd()</div><div class="ttdef"><b>Definition:</b> <a href="CFBasicBlockG_8h_source.html#l00219">CFBasicBlockG.h:219</a></div></div>
278
291
  <div class="ttc" id="aclassSVF_1_1SVFModule_html"><div class="ttname"><a href="classSVF_1_1SVFModule.html">SVF::SVFModule</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFModule_8h_source.html#l00040">SVFModule.h:40</a></div></div>
279
292
  <div class="ttc" id="aclassSVF_1_1ICFG_html"><div class="ttname"><a href="classSVF_1_1ICFG.html">SVF::ICFG</a></div><div class="ttdef"><b>Definition:</b> <a href="ICFG_8h_source.html#l00047">ICFG.h:47</a></div></div>
280
293
  <div class="ttc" id="aclassSVF_1_1SVFIR_html"><div class="ttname"><a href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFIR_8h_source.html#l00043">SVFIR.h:43</a></div></div>
281
- <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>
294
+ <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>
282
295
  <div class="ttc" id="aclassSVF_1_1GenericNode_html"><div class="ttname"><a href="classSVF_1_1GenericNode.html">SVF::GenericNode</a></div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00141">GenericGraph.h:141</a></div></div>
283
296
  <div class="ttc" id="aclassSVF_1_1CFBasicBlockNode_html_a727f0ef59605adf99af4babee90eb8a8"><div class="ttname"><a href="classSVF_1_1CFBasicBlockNode.html#a727f0ef59605adf99af4babee90eb8a8">SVF::CFBasicBlockNode::toString</a></div><div class="ttdeci">virtual const std::string toString() const</div><div class="ttdef"><b>Definition:</b> <a href="CFBasicBlockG_8cpp_source.html#l00051">CFBasicBlockG.cpp:51</a></div></div>
284
- <div class="ttc" id="aclassSVF_1_1CFBasicBlockGraph_html"><div class="ttname"><a href="classSVF_1_1CFBasicBlockGraph.html">SVF::CFBasicBlockGraph</a></div><div class="ttdef"><b>Definition:</b> <a href="CFBasicBlockG_8h_source.html#l00347">CFBasicBlockG.h:347</a></div></div>
297
+ <div class="ttc" id="aclassSVF_1_1CFBasicBlockGraph_html"><div class="ttname"><a href="classSVF_1_1CFBasicBlockGraph.html">SVF::CFBasicBlockGraph</a></div><div class="ttdef"><b>Definition:</b> <a href="CFBasicBlockG_8h_source.html#l00352">CFBasicBlockG.h:352</a></div></div>
285
298
  <div class="ttc" id="aclassSVF_1_1SVFBasicBlock_html_ac9cb2f17e42c40ca81b49c8b63a855fc"><div class="ttname"><a href="classSVF_1_1SVFBasicBlock.html#ac9cb2f17e42c40ca81b49c8b63a855fc">SVF::SVFBasicBlock::begin</a></div><div class="ttdeci">const_iterator begin() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00567">SVFValue.h:567</a></div></div>
286
- <div class="ttc" id="aclassSVF_1_1CFBasicBlockNode_html_a5374f4567cee38325f61940f4edbb142"><div class="ttname"><a href="classSVF_1_1CFBasicBlockNode.html#a5374f4567cee38325f61940f4edbb142">SVF::CFBasicBlockNode::addNode</a></div><div class="ttdeci">void addNode(const ICFGNode *node)</div><div class="ttdef"><b>Definition:</b> <a href="CFBasicBlockG_8h_source.html#l00170">CFBasicBlockG.h:170</a></div></div>
299
+ <div class="ttc" id="aclassSVF_1_1CFBasicBlockNode_html_a5374f4567cee38325f61940f4edbb142"><div class="ttname"><a href="classSVF_1_1CFBasicBlockNode.html#a5374f4567cee38325f61940f4edbb142">SVF::CFBasicBlockNode::addNode</a></div><div class="ttdeci">void addNode(const ICFGNode *node)</div><div class="ttdef"><b>Definition:</b> <a href="CFBasicBlockG_8h_source.html#l00175">CFBasicBlockG.h:175</a></div></div>
287
300
  <div class="ttc" id="aclassSVF_1_1ICFG_html_a5dd4ac55123501c47c628adcf27e2475"><div class="ttname"><a href="classSVF_1_1ICFG.html#a5dd4ac55123501c47c628adcf27e2475">SVF::ICFG::getICFGEdge</a></div><div class="ttdeci">ICFGEdge * getICFGEdge(const ICFGNode *src, const ICFGNode *dst, ICFGEdge::ICFGEdgeK kind)</div><div class="ttdoc">Get a SVFG edge according to src and dst.</div><div class="ttdef"><b>Definition:</b> <a href="ICFG_8cpp_source.html#l00341">ICFG.cpp:341</a></div></div>
288
301
  <div class="ttc" id="aclassSVF_1_1SVFInstruction_html"><div class="ttname"><a href="classSVF_1_1SVFInstruction.html">SVF::SVFInstruction</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00620">SVFValue.h:620</a></div></div>
289
302
  <div class="ttc" id="anamespaceSVF_html_a8234d4b959abc9123993bcff4eee34c1"><div class="ttname"><a href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">SVF::Map</a></div><div class="ttdeci">std::unordered_map&lt; Key, Value, Hash, KeyEqual, Allocator &gt; Map</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00102">SVFType.h:102</a></div></div>