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/CFBasicBlockG_8cpp_source.html CHANGED
@@ -201,71 +201,68 @@ $(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>
211
- <div class="line"><a name="l00140"></a><span class="lineno"> 140</span>&#160; <a class="code" href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">Map&lt;const SVFFunction*, CFBasicBlockNode*&gt;</a> funToFirstNode;</div>
212
- <div class="line"><a name="l00141"></a><span class="lineno"> 141</span>&#160; <span class="keywordflow">for</span> (<span class="keyword">const</span> <span class="keyword">auto</span>&amp; node : *icfg)</div>
213
- <div class="line"><a name="l00142"></a><span class="lineno"> 142</span>&#160; {</div>
214
- <div class="line"><a name="l00143"></a><span class="lineno"> 143</span>&#160; <a class="code" href="classSVF_1_1CFBasicBlockNode.html">CFBasicBlockNode</a>* pNode = <span class="keyword">nullptr</span>;</div>
215
- <div class="line"><a name="l00144"></a><span class="lineno"> 144</span>&#160; <span class="keywordflow">if</span> (<span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFBasicBlock.html">SVFBasicBlock</a>* bb = node.second-&gt;getBB())</div>
216
- <div class="line"><a name="l00145"></a><span class="lineno"> 145</span>&#160; {</div>
217
- <div class="line"><a name="l00146"></a><span class="lineno"> 146</span>&#160; <span class="keywordflow">if</span> (bbToNode.find(bb) == bbToNode.end())</div>
218
- <div class="line"><a name="l00147"></a><span class="lineno"> 147</span>&#160; {</div>
219
- <div class="line"><a name="l00148"></a><span class="lineno"> 148</span>&#160; pNode = <span class="keyword">new</span> <a class="code" href="classSVF_1_1CFBasicBlockNode.html">CFBasicBlockNode</a>({node.second});</div>
220
- <div class="line"><a name="l00149"></a><span class="lineno"> 149</span>&#160; bbToNode[node.second-&gt;getBB()] = pNode;</div>
221
- <div class="line"><a name="l00150"></a><span class="lineno"> 150</span>&#160; <a class="code" href="classSVF_1_1CFBasicBlockGBuilder.html#a4a298a45e54cbaf41cdf44aeea1a63f3">_CFBasicBlockG</a>-&gt;<a class="code" href="classSVF_1_1CFBasicBlockGraph.html#a4a7a6e00d13b4099c34a3015b4f06a67">addCFBBNode</a>(pNode);</div>
222
- <div class="line"><a name="l00151"></a><span class="lineno"> 151</span>&#160; }</div>
223
- <div class="line"><a name="l00152"></a><span class="lineno"> 152</span>&#160; <span class="keywordflow">else</span></div>
224
- <div class="line"><a name="l00153"></a><span class="lineno"> 153</span>&#160; {</div>
225
- <div class="line"><a name="l00154"></a><span class="lineno"> 154</span>&#160; pNode = bbToNode[node.second-&gt;getBB()];</div>
226
- <div class="line"><a name="l00155"></a><span class="lineno"> 155</span>&#160; pNode-&gt;<a class="code" href="classSVF_1_1CFBasicBlockNode.html#a5374f4567cee38325f61940f4edbb142">addNode</a>(node.second);</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; <span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFFunction.html">SVFFunction</a>* fun = node.second-&gt;getFun();</div>
229
- <div class="line"><a name="l00158"></a><span class="lineno"> 158</span>&#160; <span class="keywordflow">if</span> (funToFirstNode.find(fun) == funToFirstNode.end())</div>
230
- <div class="line"><a name="l00159"></a><span class="lineno"> 159</span>&#160; {</div>
231
- <div class="line"><a name="l00160"></a><span class="lineno"> 160</span>&#160; funToFirstNode[fun] = <span class="keyword">nullptr</span>;</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; </div>
236
- <div class="line"><a name="l00165"></a><span class="lineno"> 165</span>&#160; <span class="keywordflow">for</span> (<span class="keyword">const</span> <span class="keyword">auto</span>&amp; node : *icfg)</div>
237
- <div class="line"><a name="l00166"></a><span class="lineno"> 166</span>&#160; {</div>
238
- <div class="line"><a name="l00167"></a><span class="lineno"> 167</span>&#160; <span class="keywordflow">for</span> (<span class="keyword">const</span> <span class="keyword">auto</span> &amp;succ: node.second-&gt;getOutEdges())</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="keyword">const</span> <a class="code" href="classSVF_1_1SVFFunction.html">SVFFunction</a>* node_fun = node.second-&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_1SVFFunction.html">SVFFunction</a>* succ_fun = succ-&gt;getDstNode()-&gt;getFun();</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>* node_bb = node.second-&gt;getBB();</div>
243
- <div class="line"><a name="l00172"></a><span class="lineno"> 172</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>
244
- <div class="line"><a name="l00173"></a><span class="lineno"> 173</span>&#160; <span class="keywordflow">if</span> (node_fun == succ_fun)</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; <span class="keywordflow">if</span> (node_bb != succ_bb)</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_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>
249
- <div class="line"><a name="l00178"></a><span class="lineno"> 178</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>
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; </div>
255
- <div class="line"><a name="l00184"></a><span class="lineno"> 184</span>&#160; <span class="keywordflow">for</span> (<span class="keyword">auto</span> it = funToFirstNode.begin(); it != funToFirstNode.end(); ++it)</div>
256
- <div class="line"><a name="l00185"></a><span class="lineno"> 185</span>&#160; {</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_1SVFFunction.html">SVFFunction</a>* fun = it-&gt;first;</div>
258
- <div class="line"><a name="l00187"></a><span class="lineno"> 187</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>
259
- <div class="line"><a name="l00188"></a><span class="lineno"> 188</span>&#160; funToFirstNode[fun] = bbToNode[bb];</div>
260
- <div class="line"><a name="l00189"></a><span class="lineno"> 189</span>&#160; }</div>
261
- <div class="line"><a name="l00190"></a><span class="lineno"> 190</span>&#160; <a class="code" href="classSVF_1_1CFBasicBlockGBuilder.html#a4a298a45e54cbaf41cdf44aeea1a63f3">_CFBasicBlockG</a>-&gt;<a class="code" href="classSVF_1_1CFBasicBlockGraph.html#ab8b75e7bcafc8a1512c3e78d12bffe16">_bbToNode</a> = bbToNode;</div>
262
- <div class="line"><a name="l00191"></a><span class="lineno"> 191</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>
263
- <div class="line"><a name="l00192"></a><span class="lineno"> 192</span>&#160;}</div>
264
- <div class="line"><a name="l00193"></a><span class="lineno"> 193</span>&#160;}</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
+ <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
+ <div class="line"><a name="l00141"></a><span class="lineno"> 141</span>&#160; {</div>
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>
214
+ <div class="line"><a name="l00143"></a><span class="lineno"> 143</span>&#160; <span class="keywordflow">if</span> (<span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFBasicBlock.html">SVFBasicBlock</a>* bb = node.second-&gt;getBB())</div>
215
+ <div class="line"><a name="l00144"></a><span class="lineno"> 144</span>&#160; {</div>
216
+ <div class="line"><a name="l00145"></a><span class="lineno"> 145</span>&#160; <span class="keywordflow">if</span> (bbToNode.find(bb) == bbToNode.end())</div>
217
+ <div class="line"><a name="l00146"></a><span class="lineno"> 146</span>&#160; {</div>
218
+ <div class="line"><a name="l00147"></a><span class="lineno"> 147</span>&#160; pNode = <span class="keyword">new</span> <a class="code" href="classSVF_1_1CFBasicBlockNode.html">CFBasicBlockNode</a>({node.second});</div>
219
+ <div class="line"><a name="l00148"></a><span class="lineno"> 148</span>&#160; bbToNode[node.second-&gt;getBB()] = pNode;</div>
220
+ <div class="line"><a name="l00149"></a><span class="lineno"> 149</span>&#160; <a class="code" href="classSVF_1_1CFBasicBlockGBuilder.html#a4a298a45e54cbaf41cdf44aeea1a63f3">_CFBasicBlockG</a>-&gt;<a class="code" href="classSVF_1_1CFBasicBlockGraph.html#a4a7a6e00d13b4099c34a3015b4f06a67">addCFBBNode</a>(pNode);</div>
221
+ <div class="line"><a name="l00150"></a><span class="lineno"> 150</span>&#160; }</div>
222
+ <div class="line"><a name="l00151"></a><span class="lineno"> 151</span>&#160; <span class="keywordflow">else</span></div>
223
+ <div class="line"><a name="l00152"></a><span class="lineno"> 152</span>&#160; {</div>
224
+ <div class="line"><a name="l00153"></a><span class="lineno"> 153</span>&#160; pNode = bbToNode[node.second-&gt;getBB()];</div>
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
+ <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; <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>
265
263
  </div><!-- fragment --></div><!-- contents -->
266
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>
267
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>
268
- <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>
269
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>
270
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>
271
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>
@@ -275,8 +272,8 @@ $(function() {
275
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>
276
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>
277
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>
278
- <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#l00503">CFBasicBlockG.h:503</a></div></div>
279
- <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#l00513">CFBasicBlockG.h:513</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>
280
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>
281
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>
282
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>
@@ -288,13 +285,13 @@ $(function() {
288
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>
289
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>
290
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>
291
- <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>
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>
292
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>
293
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>
294
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>
295
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>
296
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>
297
- <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#l00524">CFBasicBlockG.h:524</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>
298
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>
299
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>
300
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>