svf-tools 1.0.781 → 1.0.783

package/SVF-doxygen/html/html/classSVF_1_1CFBasicBlockGBuilder.html

@@ -78,10 +78,12 @@ $(function() {
 <table class="memberdecls">
 <tr class="heading"><td colspan="2"><h2 class="groupheader"><a name="pub-methods"></a>
 Public Member Functions</h2></td></tr>
-<tr class="memitem:a24c285ef9522d889397519f91f1b91fd"><td class="memItemLeft" align="right" valign="top">&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CFBasicBlockGBuilder.html#a24c285ef9522d889397519f91f1b91fd">CFBasicBlockGBuilder</a> (const <a class="el" href="classSVF_1_1SVFFunction.html">SVFFunction</a> *func)</td></tr>
-<tr class="separator:a24c285ef9522d889397519f91f1b91fd"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:a99e4116e416962d1a2f3eb9b09d253b5"><td class="memItemLeft" align="right" valign="top">void&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CFBasicBlockGBuilder.html#a99e4116e416962d1a2f3eb9b09d253b5">build</a> ()</td></tr>
-<tr class="separator:a99e4116e416962d1a2f3eb9b09d253b5"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a61d70fb0d2181df3c90152e9226db947"><td class="memItemLeft" align="right" valign="top">&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CFBasicBlockGBuilder.html#a61d70fb0d2181df3c90152e9226db947">CFBasicBlockGBuilder</a> ()</td></tr>
+<tr class="separator:a61d70fb0d2181df3c90152e9226db947"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a9c830d44805689071793420deff5af1a"><td class="memItemLeft" align="right" valign="top">virtual void&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CFBasicBlockGBuilder.html#a9c830d44805689071793420deff5af1a">build</a> (<a class="el" href="classSVF_1_1SVFModule.html">SVFModule</a> *module)</td></tr>
+<tr class="separator:a9c830d44805689071793420deff5af1a"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a25f0496187622b156bafc49f34fffeaf"><td class="memItemLeft" align="right" valign="top">virtual void&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CFBasicBlockGBuilder.html#a25f0496187622b156bafc49f34fffeaf">build</a> (<a class="el" href="classSVF_1_1ICFG.html">ICFG</a> *icfg)</td></tr>
+<tr class="separator:a25f0496187622b156bafc49f34fffeaf"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:a879d8affb9b113c9d2d976cdd31b60f1"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1CFBasicBlockGraph.html">CFBasicBlockGraph</a> *&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CFBasicBlockGBuilder.html#a879d8affb9b113c9d2d976cdd31b60f1">getCFBasicBlockGraph</a> ()</td></tr>
 <tr class="separator:a879d8affb9b113c9d2d976cdd31b60f1"><td class="memSeparator" colspan="2">&#160;</td></tr>
 </table><table class="memberdecls">
@@ -92,10 +94,10 @@ Private Attributes</h2></td></tr>
 </table>
 <a name="details" id="details"></a><h2 class="groupheader">Detailed Description</h2>
 <div class="textblock">
-<p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#l00176">176</a> of file <a class="el" href="CFBasicBlockG_8h_source.html">CFBasicBlockG.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#l00484">484</a> of file <a class="el" href="CFBasicBlockG_8h_source.html">CFBasicBlockG.h</a>.</p>
 </div><h2 class="groupheader">Constructor &amp; Destructor Documentation</h2>
-<a id="a24c285ef9522d889397519f91f1b91fd"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#a24c285ef9522d889397519f91f1b91fd">&#9670;&nbsp;</a></span>CFBasicBlockGBuilder()</h2>
+<a id="a61d70fb0d2181df3c90152e9226db947"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#a61d70fb0d2181df3c90152e9226db947">&#9670;&nbsp;</a></span>CFBasicBlockGBuilder()</h2>
 
 <div class="memitem">
 <div class="memproto">
@@ -106,8 +108,7 @@ Private Attributes</h2></td></tr>
         <tr>
           <td class="memname">SVF::CFBasicBlockGBuilder::CFBasicBlockGBuilder </td>
           <td>(</td>
-          <td class="paramtype">const <a class="el" href="classSVF_1_1SVFFunction.html">SVFFunction</a> *&#160;</td>
-          <td class="paramname"><em>func</em></td><td>)</td>
+          <td class="paramname"></td><td>)</td>
           <td></td>
         </tr>
       </table>
@@ -118,42 +119,147 @@ Private Attributes</h2></td></tr>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#l00183">183</a> of file <a class="el" href="CFBasicBlockG_8h_source.html">CFBasicBlockG.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00183"></a><span class="lineno">  183</span>&#160;: <a class="code" href="classSVF_1_1CFBasicBlockGBuilder.html#a4a298a45e54cbaf41cdf44aeea1a63f3">_CFBasicBlockG</a>(<span class="keyword">new</span> CFBasicBlockGraph(func)) {}</div>
+<p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#l00491">491</a> of file <a class="el" href="CFBasicBlockG_8h_source.html">CFBasicBlockG.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00491"></a><span class="lineno">  491</span>&#160;: <a class="code" href="classSVF_1_1CFBasicBlockGBuilder.html#a4a298a45e54cbaf41cdf44aeea1a63f3">_CFBasicBlockG</a>() {}</div>
 </div><!-- fragment -->
 </div>
 </div>
 <h2 class="groupheader">Member Function Documentation</h2>
-<a id="a99e4116e416962d1a2f3eb9b09d253b5"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#a99e4116e416962d1a2f3eb9b09d253b5">&#9670;&nbsp;</a></span>build()</h2>
+<a id="a25f0496187622b156bafc49f34fffeaf"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#a25f0496187622b156bafc49f34fffeaf">&#9670;&nbsp;</a></span>build() <span class="overload">[1/2]</span></h2>
 
 <div class="memitem">
 <div class="memproto">
+<table class="mlabels">
+  <tr>
+  <td class="mlabels-left">
       <table class="memname">
         <tr>
           <td class="memname">void SVF::CFBasicBlockGBuilder::build </td>
           <td>(</td>
-          <td class="paramname"></td><td>)</td>
+          <td class="paramtype"><a class="el" href="classSVF_1_1ICFG.html">ICFG</a> *&#160;</td>
+          <td class="paramname"><em>icfg</em></td><td>)</td>
           <td></td>
         </tr>
       </table>
+  </td>
+  <td class="mlabels-right">
+<span class="mlabels"><span class="mlabel">virtual</span></span>  </td>
+  </tr>
+</table>
+</div><div class="memdoc">
+
+<p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8cpp_source.html#l00136">136</a> of file <a class="el" href="CFBasicBlockG_8cpp_source.html">CFBasicBlockG.cpp</a>.</p>
+<div class="fragment"><div class="line"><a name="l00137"></a><span class="lineno">  137</span>&#160;{</div>
+<div class="line"><a name="l00138"></a><span class="lineno">  138</span>&#160;    <a class="code" href="classSVF_1_1CFBasicBlockGBuilder.html#a4a298a45e54cbaf41cdf44aeea1a63f3">_CFBasicBlockG</a> = <span class="keyword">new</span> CFBasicBlockGraph();</div>
+<div class="line"><a name="l00139"></a><span class="lineno">  139</span>&#160;    Map&lt;const SVFBasicBlock*, CFBasicBlockNode*&gt; bbToNode;</div>
+<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>
+<div class="line"><a name="l00141"></a><span class="lineno">  141</span>&#160;    {</div>
+<div class="line"><a name="l00142"></a><span class="lineno">  142</span>&#160;        CFBasicBlockNode* pNode  = <span class="keyword">nullptr</span>;</div>
+<div class="line"><a name="l00143"></a><span class="lineno">  143</span>&#160;        <span class="keywordflow">if</span> (<span class="keyword">const</span> SVFBasicBlock* bb = node.second-&gt;getBB())</div>
+<div class="line"><a name="l00144"></a><span class="lineno">  144</span>&#160;        {</div>
+<div class="line"><a name="l00145"></a><span class="lineno">  145</span>&#160;            <span class="keywordflow">if</span> (bbToNode.find(bb) == bbToNode.end())</div>
+<div class="line"><a name="l00146"></a><span class="lineno">  146</span>&#160;            {</div>
+<div class="line"><a name="l00147"></a><span class="lineno">  147</span>&#160;                pNode = <span class="keyword">new</span> CFBasicBlockNode({node.second});</div>
+<div class="line"><a name="l00148"></a><span class="lineno">  148</span>&#160;                bbToNode[node.second-&gt;getBB()] = pNode;</div>
+<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>
+<div class="line"><a name="l00150"></a><span class="lineno">  150</span>&#160;            }</div>
+<div class="line"><a name="l00151"></a><span class="lineno">  151</span>&#160;            <span class="keywordflow">else</span></div>
+<div class="line"><a name="l00152"></a><span class="lineno">  152</span>&#160;            {</div>
+<div class="line"><a name="l00153"></a><span class="lineno">  153</span>&#160;                pNode = bbToNode[node.second-&gt;getBB()];</div>
+<div class="line"><a name="l00154"></a><span class="lineno">  154</span>&#160;                pNode-&gt;addNode(node.second);</div>
+<div class="line"><a name="l00155"></a><span class="lineno">  155</span>&#160;            }</div>
+<div class="line"><a name="l00156"></a><span class="lineno">  156</span>&#160;        }</div>
+<div class="line"><a name="l00157"></a><span class="lineno">  157</span>&#160;    }</div>
+<div class="line"><a name="l00158"></a><span class="lineno">  158</span>&#160; </div>
+<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>
+<div class="line"><a name="l00160"></a><span class="lineno">  160</span>&#160;    {</div>
+<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>
+<div class="line"><a name="l00162"></a><span class="lineno">  162</span>&#160;        {</div>
+<div class="line"><a name="l00163"></a><span class="lineno">  163</span>&#160;            <span class="keyword">const</span> SVFFunction* node_fun = node.second-&gt;getFun();</div>
+<div class="line"><a name="l00164"></a><span class="lineno">  164</span>&#160;            <span class="keyword">const</span> SVFFunction* succ_fun = succ-&gt;getDstNode()-&gt;getFun();</div>
+<div class="line"><a name="l00165"></a><span class="lineno">  165</span>&#160;            <span class="keyword">const</span> SVFBasicBlock* node_bb = node.second-&gt;getBB();</div>
+<div class="line"><a name="l00166"></a><span class="lineno">  166</span>&#160;            <span class="keyword">const</span> SVFBasicBlock* succ_bb = succ-&gt;getDstNode()-&gt;getBB();</div>
+<div class="line"><a name="l00167"></a><span class="lineno">  167</span>&#160;            <span class="keywordflow">if</span> (node_fun == succ_fun)</div>
+<div class="line"><a name="l00168"></a><span class="lineno">  168</span>&#160;            {</div>
+<div class="line"><a name="l00169"></a><span class="lineno">  169</span>&#160;                <span class="keywordflow">if</span> (node_bb != succ_bb)</div>
+<div class="line"><a name="l00170"></a><span class="lineno">  170</span>&#160;                {</div>
+<div class="line"><a name="l00171"></a><span class="lineno">  171</span>&#160;                    CFBasicBlockEdge *pEdge = <span class="keyword">new</span> CFBasicBlockEdge(bbToNode[node_bb], bbToNode[succ_bb], succ);</div>
+<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>
+<div class="line"><a name="l00173"></a><span class="lineno">  173</span>&#160;                }</div>
+<div class="line"><a name="l00174"></a><span class="lineno">  174</span>&#160;            }</div>
+<div class="line"><a name="l00175"></a><span class="lineno">  175</span>&#160;        }</div>
+<div class="line"><a name="l00176"></a><span class="lineno">  176</span>&#160;    }</div>
+<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>
+<div class="line"><a name="l00178"></a><span class="lineno">  178</span>&#160;}</div>
+</div><!-- fragment -->
+</div>
+</div>
+<a id="a9c830d44805689071793420deff5af1a"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#a9c830d44805689071793420deff5af1a">&#9670;&nbsp;</a></span>build() <span class="overload">[2/2]</span></h2>
+
+<div class="memitem">
+<div class="memproto">
+<table class="mlabels">
+  <tr>
+  <td class="mlabels-left">
+      <table class="memname">
+        <tr>
+          <td class="memname">void SVF::CFBasicBlockGBuilder::build </td>
+          <td>(</td>
+          <td class="paramtype"><a class="el" href="classSVF_1_1SVFModule.html">SVFModule</a> *&#160;</td>
+          <td class="paramname"><em>module</em></td><td>)</td>
+          <td></td>
+        </tr>
+      </table>
+  </td>
+  <td class="mlabels-right">
+<span class="mlabels"><span class="mlabel">virtual</span></span>  </td>
+  </tr>
+</table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8cpp_source.html#l00103">103</a> of file <a class="el" href="CFBasicBlockG_8cpp_source.html">CFBasicBlockG.cpp</a>.</p>
-<div class="fragment"><div class="line"><a name="l00104"></a><span class="lineno">  104</span>&#160;{</div>
-<div class="line"><a name="l00105"></a><span class="lineno">  105</span>&#160;    <span class="keywordflow">for</span> (<span class="keyword">const</span> <span class="keyword">auto</span> &amp;bb: *<a class="code" href="classSVF_1_1CFBasicBlockGBuilder.html#a4a298a45e54cbaf41cdf44aeea1a63f3">_CFBasicBlockG</a>-&gt;<a class="code" href="classSVF_1_1CFBasicBlockGraph.html#a3b3b8c637c6bbbbf0f199ab83d498391">_svfFunction</a>)</div>
-<div class="line"><a name="l00106"></a><span class="lineno">  106</span>&#160;    {</div>
-<div class="line"><a name="l00107"></a><span class="lineno">  107</span>&#160;        <a class="code" href="classSVF_1_1CFBasicBlockGBuilder.html#a4a298a45e54cbaf41cdf44aeea1a63f3">_CFBasicBlockG</a>-&gt;<a class="code" href="classSVF_1_1CFBasicBlockGraph.html#a2e5ee754a3979b4f1c298a0f56083eba">getOrAddCFBasicBlockNode</a>(bb);</div>
-<div class="line"><a name="l00108"></a><span class="lineno">  108</span>&#160;    }</div>
-<div class="line"><a name="l00109"></a><span class="lineno">  109</span>&#160;    <span class="keywordflow">for</span> (<span class="keyword">const</span> <span class="keyword">auto</span> &amp;bb: *<a class="code" href="classSVF_1_1CFBasicBlockGBuilder.html#a4a298a45e54cbaf41cdf44aeea1a63f3">_CFBasicBlockG</a>-&gt;<a class="code" href="classSVF_1_1CFBasicBlockGraph.html#a3b3b8c637c6bbbbf0f199ab83d498391">_svfFunction</a>)</div>
-<div class="line"><a name="l00110"></a><span class="lineno">  110</span>&#160;    {</div>
-<div class="line"><a name="l00111"></a><span class="lineno">  111</span>&#160;        <span class="keywordflow">for</span> (<span class="keyword">const</span> <span class="keyword">auto</span> &amp;succ: bb-&gt;getSuccessors())</div>
-<div class="line"><a name="l00112"></a><span class="lineno">  112</span>&#160;        {</div>
-<div class="line"><a name="l00113"></a><span class="lineno">  113</span>&#160;            <a class="code" href="classSVF_1_1CFBasicBlockGBuilder.html#a4a298a45e54cbaf41cdf44aeea1a63f3">_CFBasicBlockG</a>-&gt;<a class="code" href="classSVF_1_1CFBasicBlockGraph.html#a5083e0c8e1c26d3ca7104c8f6310a37f">getOrAddCFBasicBlockEdge</a>(<a class="code" href="classSVF_1_1CFBasicBlockGBuilder.html#a4a298a45e54cbaf41cdf44aeea1a63f3">_CFBasicBlockG</a>-&gt;<a class="code" href="classSVF_1_1CFBasicBlockGraph.html#a54200b5a7c41c2ba19660da34c295e81">getCFBasicBlockNode</a>(bb),</div>
-<div class="line"><a name="l00114"></a><span class="lineno">  114</span>&#160;                    <a class="code" href="classSVF_1_1CFBasicBlockGBuilder.html#a4a298a45e54cbaf41cdf44aeea1a63f3">_CFBasicBlockG</a>-&gt;<a class="code" href="classSVF_1_1CFBasicBlockGraph.html#a54200b5a7c41c2ba19660da34c295e81">getCFBasicBlockNode</a>(succ));</div>
-<div class="line"><a name="l00115"></a><span class="lineno">  115</span>&#160;        }</div>
-<div class="line"><a name="l00116"></a><span class="lineno">  116</span>&#160;    }</div>
-<div class="line"><a name="l00117"></a><span class="lineno">  117</span>&#160;}</div>
+<p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8cpp_source.html#l00094">94</a> of file <a class="el" href="CFBasicBlockG_8cpp_source.html">CFBasicBlockG.cpp</a>.</p>
+<div class="fragment"><div class="line"><a name="l00095"></a><span class="lineno">   95</span>&#160;{</div>
+<div class="line"><a name="l00096"></a><span class="lineno">   96</span>&#160;    <a class="code" href="classSVF_1_1CFBasicBlockGBuilder.html#a4a298a45e54cbaf41cdf44aeea1a63f3">_CFBasicBlockG</a> = <span class="keyword">new</span> CFBasicBlockGraph();</div>
+<div class="line"><a name="l00097"></a><span class="lineno">   97</span>&#160;    Map&lt;const SVFBasicBlock*, CFBasicBlockNode*&gt; bbToNode;</div>
+<div class="line"><a name="l00098"></a><span class="lineno">   98</span>&#160;    <span class="keywordflow">for</span> (<span class="keyword">const</span> <span class="keyword">auto</span>&amp; func : *module)</div>
+<div class="line"><a name="l00099"></a><span class="lineno">   99</span>&#160;    {</div>
+<div class="line"><a name="l00100"></a><span class="lineno">  100</span>&#160;        <span class="keywordflow">for</span> (<span class="keyword">const</span> <span class="keyword">auto</span>&amp; bb : *func)</div>
+<div class="line"><a name="l00101"></a><span class="lineno">  101</span>&#160;        {</div>
+<div class="line"><a name="l00102"></a><span class="lineno">  102</span>&#160;            CFBasicBlockNode* pNode = <span class="keyword">new</span> CFBasicBlockNode(bb);</div>
+<div class="line"><a name="l00103"></a><span class="lineno">  103</span>&#160;            bbToNode[bb] = pNode;</div>
+<div class="line"><a name="l00104"></a><span class="lineno">  104</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>
+<div class="line"><a name="l00105"></a><span class="lineno">  105</span>&#160;        }</div>
+<div class="line"><a name="l00106"></a><span class="lineno">  106</span>&#160;    }</div>
+<div class="line"><a name="l00107"></a><span class="lineno">  107</span>&#160; </div>
+<div class="line"><a name="l00108"></a><span class="lineno">  108</span>&#160;    <span class="keywordflow">for</span> (<span class="keyword">const</span> <span class="keyword">auto</span>&amp; func : *module)</div>
+<div class="line"><a name="l00109"></a><span class="lineno">  109</span>&#160;    {</div>
+<div class="line"><a name="l00110"></a><span class="lineno">  110</span>&#160;        <span class="keywordflow">for</span> (<span class="keyword">const</span> <span class="keyword">auto</span>&amp; bb : *func)</div>
+<div class="line"><a name="l00111"></a><span class="lineno">  111</span>&#160;        {</div>
+<div class="line"><a name="l00112"></a><span class="lineno">  112</span>&#160;            <span class="keywordflow">for</span> (<span class="keyword">const</span> <span class="keyword">auto</span> &amp;succ: bb-&gt;getSuccessors())</div>
+<div class="line"><a name="l00113"></a><span class="lineno">  113</span>&#160;            {</div>
+<div class="line"><a name="l00114"></a><span class="lineno">  114</span>&#160;                ICFG *icfg = <a class="code" href="classSVF_1_1SVFIR.html#a37cfa2aa4e7b98ef9dc8179f581a2362">PAG::getPAG</a>()-&gt;<a class="code" href="classSVF_1_1SVFIR.html#abda052b73e869ed6d7c139ad1528da11">getICFG</a>();</div>
+<div class="line"><a name="l00115"></a><span class="lineno">  115</span>&#160;                <span class="keyword">const</span> ICFGNode *pred = icfg-&gt;<a class="code" href="classSVF_1_1ICFG.html#a5f2c0aaba07d6fdd63058da0fb60ca8b">getICFGNode</a>(bb-&gt;getTerminator());</div>
+<div class="line"><a name="l00116"></a><span class="lineno">  116</span>&#160;                <span class="keyword">const</span> ICFGEdge *edge = <span class="keyword">nullptr</span>;</div>
+<div class="line"><a name="l00117"></a><span class="lineno">  117</span>&#160;                <span class="keywordflow">for</span> (<span class="keyword">const</span> <span class="keyword">auto</span> &amp;inst: succ-&gt;getInstructionList())</div>
+<div class="line"><a name="l00118"></a><span class="lineno">  118</span>&#160;                {</div>
+<div class="line"><a name="l00119"></a><span class="lineno">  119</span>&#160;                    <span class="keywordflow">if</span> (<span class="keyword">const</span> ICFGEdge *e = icfg-&gt;getICFGEdge(pred, icfg-&gt;getICFGNode(inst), ICFGEdge::ICFGEdgeK::IntraCF))</div>
+<div class="line"><a name="l00120"></a><span class="lineno">  120</span>&#160;                    {</div>
+<div class="line"><a name="l00121"></a><span class="lineno">  121</span>&#160;                        edge = e;</div>
+<div class="line"><a name="l00122"></a><span class="lineno">  122</span>&#160;                        <span class="keywordflow">break</span>;</div>
+<div class="line"><a name="l00123"></a><span class="lineno">  123</span>&#160;                    }</div>
+<div class="line"><a name="l00124"></a><span class="lineno">  124</span>&#160;                }</div>
+<div class="line"><a name="l00125"></a><span class="lineno">  125</span>&#160;                <span class="keywordflow">if</span> (SVFUtil::isa&lt;IntraCFGEdge&gt;(edge))</div>
+<div class="line"><a name="l00126"></a><span class="lineno">  126</span>&#160;                {</div>
+<div class="line"><a name="l00127"></a><span class="lineno">  127</span>&#160;                    CFBasicBlockEdge *pEdge = <span class="keyword">new</span> CFBasicBlockEdge(bbToNode[bb], bbToNode[succ], edge);</div>
+<div class="line"><a name="l00128"></a><span class="lineno">  128</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>
+<div class="line"><a name="l00129"></a><span class="lineno">  129</span>&#160;                }</div>
+<div class="line"><a name="l00130"></a><span class="lineno">  130</span>&#160;            }</div>
+<div class="line"><a name="l00131"></a><span class="lineno">  131</span>&#160;        }</div>
+<div class="line"><a name="l00132"></a><span class="lineno">  132</span>&#160;    }</div>
+<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>
+<div class="line"><a name="l00134"></a><span class="lineno">  134</span>&#160;}</div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -180,10 +286,10 @@ Private Attributes</h2></td></tr>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#l00187">187</a> of file <a class="el" href="CFBasicBlockG_8h_source.html">CFBasicBlockG.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00188"></a><span class="lineno">  188</span>&#160;    {</div>
-<div class="line"><a name="l00189"></a><span class="lineno">  189</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1CFBasicBlockGBuilder.html#a4a298a45e54cbaf41cdf44aeea1a63f3">_CFBasicBlockG</a>;</div>
-<div class="line"><a name="l00190"></a><span class="lineno">  190</span>&#160;    }</div>
+<p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#l00497">497</a> of file <a class="el" href="CFBasicBlockG_8h_source.html">CFBasicBlockG.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00498"></a><span class="lineno">  498</span>&#160;    {</div>
+<div class="line"><a name="l00499"></a><span class="lineno">  499</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1CFBasicBlockGBuilder.html#a4a298a45e54cbaf41cdf44aeea1a63f3">_CFBasicBlockG</a>;</div>
+<div class="line"><a name="l00500"></a><span class="lineno">  500</span>&#160;    }</div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -208,7 +314,7 @@ Private Attributes</h2></td></tr>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#l00180">180</a> of file <a class="el" href="CFBasicBlockG_8h_source.html">CFBasicBlockG.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#l00488">488</a> of file <a class="el" href="CFBasicBlockG_8h_source.html">CFBasicBlockG.h</a>.</p>
 
 </div>
 </div>
@@ -217,11 +323,13 @@ Private Attributes</h2></td></tr>
 <li>/home/runner/work/SVF/SVF/svf/lib/Graphs/<a class="el" href="CFBasicBlockG_8cpp_source.html">CFBasicBlockG.cpp</a></li>
 </ul>
 </div><!-- contents -->
-<div class="ttc" id="aclassSVF_1_1CFBasicBlockGraph_html_a54200b5a7c41c2ba19660da34c295e81"><div class="ttname"><a href="classSVF_1_1CFBasicBlockGraph.html#a54200b5a7c41c2ba19660da34c295e81">SVF::CFBasicBlockGraph::getCFBasicBlockNode</a></div><div class="ttdeci">CFBasicBlockNode * getCFBasicBlockNode(u32_t id) const</div><div class="ttdef"><b>Definition:</b> <a href="CFBasicBlockG_8h_source.html#l00136">CFBasicBlockG.h:136</a></div></div>
-<div class="ttc" id="aclassSVF_1_1CFBasicBlockGraph_html_a2e5ee754a3979b4f1c298a0f56083eba"><div class="ttname"><a href="classSVF_1_1CFBasicBlockGraph.html#a2e5ee754a3979b4f1c298a0f56083eba">SVF::CFBasicBlockGraph::getOrAddCFBasicBlockNode</a></div><div class="ttdeci">const CFBasicBlockNode * getOrAddCFBasicBlockNode(const SVFBasicBlock *bb)</div><div class="ttdoc">Add a CFBasicBlockNode.</div><div class="ttdef"><b>Definition:</b> <a href="CFBasicBlockG_8cpp_source.html#l00080">CFBasicBlockG.cpp:80</a></div></div>
-<div class="ttc" id="aclassSVF_1_1CFBasicBlockGraph_html_a3b3b8c637c6bbbbf0f199ab83d498391"><div class="ttname"><a href="classSVF_1_1CFBasicBlockGraph.html#a3b3b8c637c6bbbbf0f199ab83d498391">SVF::CFBasicBlockGraph::_svfFunction</a></div><div class="ttdeci">const SVFFunction * _svfFunction</div><div class="ttdef"><b>Definition:</b> <a href="CFBasicBlockG_8h_source.html#l00117">CFBasicBlockG.h:117</a></div></div>
-<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#l00180">CFBasicBlockG.h:180</a></div></div>
-<div class="ttc" id="aclassSVF_1_1CFBasicBlockGraph_html_a5083e0c8e1c26d3ca7104c8f6310a37f"><div class="ttname"><a href="classSVF_1_1CFBasicBlockGraph.html#a5083e0c8e1c26d3ca7104c8f6310a37f">SVF::CFBasicBlockGraph::getOrAddCFBasicBlockEdge</a></div><div class="ttdeci">const CFBasicBlockEdge * getOrAddCFBasicBlockEdge(CFBasicBlockNode *src, CFBasicBlockNode *dst)</div><div class="ttdef"><b>Definition:</b> <a href="CFBasicBlockG_8cpp_source.html#l00090">CFBasicBlockG.cpp:90</a></div></div>
+<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>
+<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>
+<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>
+<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>
+<div class="ttc" id="aclassSVF_1_1ICFG_html_a5f2c0aaba07d6fdd63058da0fb60ca8b"><div class="ttname"><a href="classSVF_1_1ICFG.html#a5f2c0aaba07d6fdd63058da0fb60ca8b">SVF::ICFG::getICFGNode</a></div><div class="ttdeci">ICFGNode * getICFGNode(NodeID id) const</div><div class="ttdoc">Get a ICFG node.</div><div class="ttdef"><b>Definition:</b> <a href="ICFG_8h_source.html#l00088">ICFG.h:88</a></div></div>
+<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>
+<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>
 <!-- start footer part -->
 <hr class="footer"/><address class="footer"><small>
 Generated by &#160;<a href="http://www.doxygen.org/index.html">

package/SVF-doxygen/html/html/classSVF_1_1CFBasicBlockGWTOCycle.html

@@ -557,7 +557,7 @@ Additional Inherited Members</h2></td></tr>
 <div class="ttc" id="aclassSVF_1_1CFBasicBlockGWTOComp_html_a83d5f4a0d2c4efc9840d30f1a1c3b300aca33b5832e3fca1c5966ecc4ce695f96"><div class="ttname"><a href="classSVF_1_1CFBasicBlockGWTOComp.html#a83d5f4a0d2c4efc9840d30f1a1c3b300aca33b5832e3fca1c5966ecc4ce695f96">SVF::CFBasicBlockGWTOComp::Cycle</a></div><div class="ttdeci">@ Cycle</div><div class="ttdef"><b>Definition:</b> <a href="WTO_8h_source.html#l00291">WTO.h:291</a></div></div>
 <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>
 <div class="ttc" id="aclassSVF_1_1CFBasicBlockGWTOCycle_html_ac1093f863214966bd24e3696d276856f"><div class="ttname"><a href="classSVF_1_1CFBasicBlockGWTOCycle.html#ac1093f863214966bd24e3696d276856f">SVF::CFBasicBlockGWTOCycle::_components</a></div><div class="ttdeci">WtoComponentRefList _components</div><div class="ttdoc">List of components.</div><div class="ttdef"><b>Definition:</b> <a href="WTO_8h_source.html#l00397">WTO.h:397</a></div></div>
-<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#l00080">CFBasicBlockG.h:80</a></div></div>
+<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>
 <div class="ttc" id="aclassSVF_1_1CFBasicBlockGWTOCycle_html_af4205c03d5bbb94d52fe449a97d2b881"><div class="ttname"><a href="classSVF_1_1CFBasicBlockGWTOCycle.html#af4205c03d5bbb94d52fe449a97d2b881">SVF::CFBasicBlockGWTOCycle::end</a></div><div class="ttdeci">Iterator end() const</div><div class="ttdef"><b>Definition:</b> <a href="WTO_8h_source.html#l00415">WTO.h:415</a></div></div>
 <!-- start footer part -->
 <hr class="footer"/><address class="footer"><small>

package/SVF-doxygen/html/html/classSVF_1_1CFBasicBlockGWTONode.html

@@ -378,7 +378,7 @@ Additional Inherited Members</h2></td></tr>
 <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>
 <div class="ttc" id="aclassSVF_1_1CFBasicBlockGWTOComp_html_a0ddb4d1f31175afee6d2a57e312f783c"><div class="ttname"><a href="classSVF_1_1CFBasicBlockGWTOComp.html#a0ddb4d1f31175afee6d2a57e312f783c">SVF::CFBasicBlockGWTOComp::CFBasicBlockGWTOComp</a></div><div class="ttdeci">CFBasicBlockGWTOComp(WtoCT k)</div><div class="ttdoc">Default Constructor.</div><div class="ttdef"><b>Definition:</b> <a href="WTO_8h_source.html#l00296">WTO.h:296</a></div></div>
 <div class="ttc" id="aclassSVF_1_1CFBasicBlockGWTONode_html_a2c032aada23502c3e71921e338f0db9f"><div class="ttname"><a href="classSVF_1_1CFBasicBlockGWTONode.html#a2c032aada23502c3e71921e338f0db9f">SVF::CFBasicBlockGWTONode::_node</a></div><div class="ttdeci">const CFBasicBlockNode * _node</div><div class="ttdef"><b>Definition:</b> <a href="WTO_8h_source.html#l00343">WTO.h:343</a></div></div>
-<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#l00080">CFBasicBlockG.h:80</a></div></div>
+<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>
 <div class="ttc" id="aclassSVF_1_1CFBasicBlockGWTONode_html_ab0b71fd36e24dcc7ff4f5489a5ee1444"><div class="ttname"><a href="classSVF_1_1CFBasicBlockGWTONode.html#ab0b71fd36e24dcc7ff4f5489a5ee1444">SVF::CFBasicBlockGWTONode::node</a></div><div class="ttdeci">const CFBasicBlockNode * node() const</div><div class="ttdoc">Return the graph node.</div><div class="ttdef"><b>Definition:</b> <a href="WTO_8h_source.html#l00350">WTO.h:350</a></div></div>
 <div class="ttc" id="aclassSVF_1_1CFBasicBlockGWTOComp_html_a83d5f4a0d2c4efc9840d30f1a1c3b300aaf4f363db1d83aea6168413b9530b392"><div class="ttname"><a href="classSVF_1_1CFBasicBlockGWTOComp.html#a83d5f4a0d2c4efc9840d30f1a1c3b300aaf4f363db1d83aea6168413b9530b392">SVF::CFBasicBlockGWTOComp::Node</a></div><div class="ttdeci">@ Node</div><div class="ttdef"><b>Definition:</b> <a href="WTO_8h_source.html#l00291">WTO.h:291</a></div></div>
 <!-- start footer part -->

package/SVF-doxygen/html/html/classSVF_1_1CFBasicBlockGraph-members.html

@@ -72,33 +72,35 @@ $(function() {
 
 <p>This is the complete list of members for <a class="el" href="classSVF_1_1CFBasicBlockGraph.html">SVF::CFBasicBlockGraph</a>, including all inherited members.</p>
 <table class="directory">
-  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1CFBasicBlockGraph.html#a9c4bab700158a9e285bcc71118a59308">_bbToNode</a></td><td class="entry"><a class="el" href="classSVF_1_1CFBasicBlockGraph.html">SVF::CFBasicBlockGraph</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
-  <tr><td class="entry"><a class="el" href="classSVF_1_1CFBasicBlockGraph.html#a3b3b8c637c6bbbbf0f199ab83d498391">_svfFunction</a></td><td class="entry"><a class="el" href="classSVF_1_1CFBasicBlockGraph.html">SVF::CFBasicBlockGraph</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
-  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1CFBasicBlockGraph.html#a307a47681c72267f6e90d7009d1b3c6b">_totalCFBasicBlockEdge</a></td><td class="entry"><a class="el" href="classSVF_1_1CFBasicBlockGraph.html">SVF::CFBasicBlockGraph</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
-  <tr><td class="entry"><a class="el" href="classSVF_1_1CFBasicBlockGraph.html#af26009309b28b1d9f3f31f802307f6e9">_totalCFBasicBlockNode</a></td><td class="entry"><a class="el" href="classSVF_1_1CFBasicBlockGraph.html">SVF::CFBasicBlockGraph</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
-  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html#a0a8831a5429005ff9d71adbd6bf3994f">addGNode</a>(NodeID id, NodeType *node)</td><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html">SVF::GenericGraph&lt; NodeTy, EdgeTy &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
-  <tr><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html#a0d9744b1b0e7a09a6f7af29188e243b7">begin</a>()</td><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html">SVF::GenericGraph&lt; NodeTy, EdgeTy &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
-  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html#a3385b008ae03444404c1e392fd47f1d6">begin</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html">SVF::GenericGraph&lt; NodeTy, EdgeTy &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
-  <tr><td class="entry"><a class="el" href="classSVF_1_1CFBasicBlockGraph.html#a7ce096ffa0d05b095e3dbb649917265f">CFBasicBlockGBuilder</a> class</td><td class="entry"><a class="el" href="classSVF_1_1CFBasicBlockGraph.html">SVF::CFBasicBlockGraph</a></td><td class="entry"><span class="mlabel">friend</span></td></tr>
-  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1CFBasicBlockGraph.html#ad042f65d6b9ce50db37e0c2584228fa3">CFBasicBlockGraph</a>(const SVFFunction *svfFunction)</td><td class="entry"><a class="el" href="classSVF_1_1CFBasicBlockGraph.html">SVF::CFBasicBlockGraph</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
-  <tr><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html#a5dfa3f178d4abf37177d0d74ff4c6a97">const_iterator</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html">SVF::GenericGraph&lt; NodeTy, EdgeTy &gt;</a></td><td class="entry"></td></tr>
-  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html#adf0a205f4f62f33c5fa8f2d544aac633">destroy</a>()</td><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html">SVF::GenericGraph&lt; NodeTy, EdgeTy &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
-  <tr><td class="entry"><a class="el" href="classSVF_1_1CFBasicBlockGraph.html#a41494b39a562ee1788f91bc39776604f">dump</a>(const std::string &amp;filename)</td><td class="entry"><a class="el" href="classSVF_1_1CFBasicBlockGraph.html">SVF::CFBasicBlockGraph</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
-  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html#a2fbc96de5f066469c2739229307bcc0c">edgeNum</a></td><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html">SVF::GenericGraph&lt; NodeTy, EdgeTy &gt;</a></td><td class="entry"></td></tr>
-  <tr><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html#a12d493d6ad2b6c89f240c9ccfa3bdf30">EdgeType</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html">SVF::GenericGraph&lt; NodeTy, EdgeTy &gt;</a></td><td class="entry"></td></tr>
-  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html#a4bef15157423cef48dc7333a803cd27d">end</a>()</td><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html">SVF::GenericGraph&lt; NodeTy, EdgeTy &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
-  <tr><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html#a3001af3746d26b7dc0a212db5e48a4bb">end</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html">SVF::GenericGraph&lt; NodeTy, EdgeTy &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
-  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html#aa5837cddbbd63c5a8ac5725bcecb192f">GenericGraph</a>()</td><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html">SVF::GenericGraph&lt; NodeTy, EdgeTy &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
-  <tr><td class="entry"><a class="el" href="classSVF_1_1CFBasicBlockGraph.html#a1bde348163056b87d5679b0bb91413a9">getCFBasicBlockEdge</a>(const CFBasicBlockNode *src, const CFBasicBlockNode *dst)</td><td class="entry"><a class="el" href="classSVF_1_1CFBasicBlockGraph.html">SVF::CFBasicBlockGraph</a></td><td class="entry"></td></tr>
-  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1CFBasicBlockGraph.html#abd9f0f5e3f50112af2e46342328aabf5">getCFBasicBlockEdge</a>(const SVFBasicBlock *src, const SVFBasicBlock *dst)</td><td class="entry"><a class="el" href="classSVF_1_1CFBasicBlockGraph.html">SVF::CFBasicBlockGraph</a></td><td class="entry"></td></tr>
-  <tr><td class="entry"><a class="el" href="classSVF_1_1CFBasicBlockGraph.html#a54200b5a7c41c2ba19660da34c295e81">getCFBasicBlockNode</a>(u32_t id) const</td><td class="entry"><a class="el" href="classSVF_1_1CFBasicBlockGraph.html">SVF::CFBasicBlockGraph</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
-  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1CFBasicBlockGraph.html#ad0755f35747c47572254410271bf1249">getCFBasicBlockNode</a>(const SVFBasicBlock *bb) const</td><td class="entry"><a class="el" href="classSVF_1_1CFBasicBlockGraph.html">SVF::CFBasicBlockGraph</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
-  <tr><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html#a43c9c773bfa17abf481c33073e30d01b">getGNode</a>(NodeID id) const</td><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html">SVF::GenericGraph&lt; NodeTy, EdgeTy &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
-  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1CFBasicBlockGraph.html#a5083e0c8e1c26d3ca7104c8f6310a37f">getOrAddCFBasicBlockEdge</a>(CFBasicBlockNode *src, CFBasicBlockNode *dst)</td><td class="entry"><a class="el" href="classSVF_1_1CFBasicBlockGraph.html">SVF::CFBasicBlockGraph</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">private</span></td></tr>
-  <tr><td class="entry"><a class="el" href="classSVF_1_1CFBasicBlockGraph.html#a2e5ee754a3979b4f1c298a0f56083eba">getOrAddCFBasicBlockNode</a>(const SVFBasicBlock *bb)</td><td class="entry"><a class="el" href="classSVF_1_1CFBasicBlockGraph.html">SVF::CFBasicBlockGraph</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">private</span></td></tr>
-  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html#a29cab1426b0000bd87c026ab8c9979c0">getTotalEdgeNum</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html">SVF::GenericGraph&lt; NodeTy, EdgeTy &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
-  <tr><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html#a8c8d16036008f87c7811586047599858">getTotalNodeNum</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html">SVF::GenericGraph&lt; NodeTy, EdgeTy &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1CFBasicBlockGraph.html#ab8b75e7bcafc8a1512c3e78d12bffe16">_bbToNode</a></td><td class="entry"><a class="el" href="classSVF_1_1CFBasicBlockGraph.html">SVF::CFBasicBlockGraph</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1CFBasicBlockGraph.html#a307a47681c72267f6e90d7009d1b3c6b">_totalCFBasicBlockEdge</a></td><td class="entry"><a class="el" href="classSVF_1_1CFBasicBlockGraph.html">SVF::CFBasicBlockGraph</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1CFBasicBlockGraph.html#af26009309b28b1d9f3f31f802307f6e9">_totalCFBasicBlockNode</a></td><td class="entry"><a class="el" href="classSVF_1_1CFBasicBlockGraph.html">SVF::CFBasicBlockGraph</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1CFBasicBlockGraph.html#acd6a4b291c9aab8abdc466f985975d0d">addCFBBEdge</a>(CFBasicBlockEdge *edge)</td><td class="entry"><a class="el" href="classSVF_1_1CFBasicBlockGraph.html">SVF::CFBasicBlockGraph</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1CFBasicBlockGraph.html#a4a7a6e00d13b4099c34a3015b4f06a67">addCFBBNode</a>(CFBasicBlockNode *node)</td><td class="entry"><a class="el" href="classSVF_1_1CFBasicBlockGraph.html">SVF::CFBasicBlockGraph</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html#a0a8831a5429005ff9d71adbd6bf3994f">addGNode</a>(NodeID id, NodeType *node)</td><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html">SVF::GenericGraph&lt; NodeTy, EdgeTy &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html#a0d9744b1b0e7a09a6f7af29188e243b7">begin</a>()</td><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html">SVF::GenericGraph&lt; NodeTy, EdgeTy &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html#a3385b008ae03444404c1e392fd47f1d6">begin</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html">SVF::GenericGraph&lt; NodeTy, EdgeTy &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1CFBasicBlockGraph.html#a7ce096ffa0d05b095e3dbb649917265f">CFBasicBlockGBuilder</a> class</td><td class="entry"><a class="el" href="classSVF_1_1CFBasicBlockGraph.html">SVF::CFBasicBlockGraph</a></td><td class="entry"><span class="mlabel">friend</span></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1CFBasicBlockGraph.html#afad7ee1f21bf2983d4aa40cccf368137">CFBasicBlockGraph</a>()=default</td><td class="entry"><a class="el" href="classSVF_1_1CFBasicBlockGraph.html">SVF::CFBasicBlockGraph</a></td><td class="entry"></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html#a5dfa3f178d4abf37177d0d74ff4c6a97">const_iterator</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html">SVF::GenericGraph&lt; NodeTy, EdgeTy &gt;</a></td><td class="entry"></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html#adf0a205f4f62f33c5fa8f2d544aac633">destroy</a>()</td><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html">SVF::GenericGraph&lt; NodeTy, EdgeTy &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1CFBasicBlockGraph.html#a41494b39a562ee1788f91bc39776604f">dump</a>(const std::string &amp;filename)</td><td class="entry"><a class="el" href="classSVF_1_1CFBasicBlockGraph.html">SVF::CFBasicBlockGraph</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html#a2fbc96de5f066469c2739229307bcc0c">edgeNum</a></td><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html">SVF::GenericGraph&lt; NodeTy, EdgeTy &gt;</a></td><td class="entry"></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html#a12d493d6ad2b6c89f240c9ccfa3bdf30">EdgeType</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html">SVF::GenericGraph&lt; NodeTy, EdgeTy &gt;</a></td><td class="entry"></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html#a4bef15157423cef48dc7333a803cd27d">end</a>()</td><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html">SVF::GenericGraph&lt; NodeTy, EdgeTy &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html#a3001af3746d26b7dc0a212db5e48a4bb">end</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html">SVF::GenericGraph&lt; NodeTy, EdgeTy &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html#aa5837cddbbd63c5a8ac5725bcecb192f">GenericGraph</a>()</td><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html">SVF::GenericGraph&lt; NodeTy, EdgeTy &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1CFBasicBlockGraph.html#a5feb9a73d517a2be4eac0d7dddfedef8">getCFBasicBlockEdge</a>(const CFBasicBlockNode *src, const CFBasicBlockNode *dst, const ICFGEdge *icfgEdge)</td><td class="entry"><a class="el" href="classSVF_1_1CFBasicBlockGraph.html">SVF::CFBasicBlockGraph</a></td><td class="entry"></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1CFBasicBlockGraph.html#afb226e06477a205891f80d21419485aa">getCFBasicBlockEdge</a>(const CFBasicBlockNode *src, const CFBasicBlockNode *dst)</td><td class="entry"><a class="el" href="classSVF_1_1CFBasicBlockGraph.html">SVF::CFBasicBlockGraph</a></td><td class="entry"></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1CFBasicBlockGraph.html#a54200b5a7c41c2ba19660da34c295e81">getCFBasicBlockNode</a>(u32_t id) const</td><td class="entry"><a class="el" href="classSVF_1_1CFBasicBlockGraph.html">SVF::CFBasicBlockGraph</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1CFBasicBlockGraph.html#ad0755f35747c47572254410271bf1249">getCFBasicBlockNode</a>(const SVFBasicBlock *bb) const</td><td class="entry"><a class="el" href="classSVF_1_1CFBasicBlockGraph.html">SVF::CFBasicBlockGraph</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html#a43c9c773bfa17abf481c33073e30d01b">getGNode</a>(NodeID id) const</td><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html">SVF::GenericGraph&lt; NodeTy, EdgeTy &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html#a29cab1426b0000bd87c026ab8c9979c0">getTotalEdgeNum</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html">SVF::GenericGraph&lt; NodeTy, EdgeTy &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html#a8c8d16036008f87c7811586047599858">getTotalNodeNum</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html">SVF::GenericGraph&lt; NodeTy, EdgeTy &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1CFBasicBlockGraph.html#a8e41d155ded9f4527adf8f1644600839">hasCFBasicBlockEdge</a>(CFBasicBlockNode *src, CFBasicBlockNode *dst, ICFGEdge *icfgEdge)</td><td class="entry"><a class="el" href="classSVF_1_1CFBasicBlockGraph.html">SVF::CFBasicBlockGraph</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
   <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1CFBasicBlockGraph.html#a154d9dae860b441b1653e0afb90f1da3">hasCFBasicBlockEdge</a>(CFBasicBlockNode *src, CFBasicBlockNode *dst) const</td><td class="entry"><a class="el" href="classSVF_1_1CFBasicBlockGraph.html">SVF::CFBasicBlockGraph</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1CFBasicBlockGraph.html#aa2110611126556090763024828dbc516">hasCFBasicBlockNode</a>(NodeID id) const</td><td class="entry"><a class="el" href="classSVF_1_1CFBasicBlockGraph.html">SVF::CFBasicBlockGraph</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1CFBasicBlockGraph.html#aea881b727843ac6445e801f3ddfa4a98">hasCFBasicBlockNode</a>(const SVFBasicBlock *bb) const</td><td class="entry"><a class="el" href="classSVF_1_1CFBasicBlockGraph.html">SVF::CFBasicBlockGraph</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
   <tr><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html#a6885064afa211958af7b73f0233284e5">hasGNode</a>(NodeID id) const</td><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html">SVF::GenericGraph&lt; NodeTy, EdgeTy &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
   <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html#a47a1ef8b67b0c92f78b4457dc3bbfe71">IDToNodeMap</a></td><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html">SVF::GenericGraph&lt; NodeTy, EdgeTy &gt;</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
   <tr><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html#afe017704d73445211fecaf7f3853010e">IDToNodeMapTy</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html">SVF::GenericGraph&lt; NodeTy, EdgeTy &gt;</a></td><td class="entry"></td></tr>
@@ -107,8 +109,10 @@ $(function() {
   <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html#ac213302cf5c7cdf3b66f7b18649d0fbc">iterator</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html">SVF::GenericGraph&lt; NodeTy, EdgeTy &gt;</a></td><td class="entry"></td></tr>
   <tr><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html#a38122734cbe71551a420dfb7fee2012e">nodeNum</a></td><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html">SVF::GenericGraph&lt; NodeTy, EdgeTy &gt;</a></td><td class="entry"></td></tr>
   <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html#a86c50fc6775fd29f88df2cb4646bb211">NodeType</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html">SVF::GenericGraph&lt; NodeTy, EdgeTy &gt;</a></td><td class="entry"></td></tr>
-  <tr><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html#a1817b65e76052f11e36a67d6b9efd915">removeGNode</a>(NodeType *node)</td><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html">SVF::GenericGraph&lt; NodeTy, EdgeTy &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
-  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1CFBasicBlockGraph.html#a7ad3779ac1173bac3f354e50b8722db5">SVFBasicBlockToCFBasicBlockNodeMap</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1CFBasicBlockGraph.html">SVF::CFBasicBlockGraph</a></td><td class="entry"></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1CFBasicBlockGraph.html#a9d7ebedc25848db79b551cb8a1ef11af">removeCFBBEdge</a>(CFBasicBlockEdge *edge)</td><td class="entry"><a class="el" href="classSVF_1_1CFBasicBlockGraph.html">SVF::CFBasicBlockGraph</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1CFBasicBlockGraph.html#a0ed78b8098e84845a500979d52bb8d18">removeCFBBNode</a>(CFBasicBlockNode *node)</td><td class="entry"><a class="el" href="classSVF_1_1CFBasicBlockGraph.html">SVF::CFBasicBlockGraph</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1CFBasicBlockGraph.html#a9b9d1a149ad405f1b64020a41402583e">removeCFBBNode</a>(NodeID id)</td><td class="entry"><a class="el" href="classSVF_1_1CFBasicBlockGraph.html">SVF::CFBasicBlockGraph</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html#a1817b65e76052f11e36a67d6b9efd915">removeGNode</a>(NodeType *node)</td><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html">SVF::GenericGraph&lt; NodeTy, EdgeTy &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
   <tr><td class="entry"><a class="el" href="classSVF_1_1CFBasicBlockGraph.html#af025ac00db2493720d8170fb08f237d4">~CFBasicBlockGraph</a>() override=default</td><td class="entry"><a class="el" href="classSVF_1_1CFBasicBlockGraph.html">SVF::CFBasicBlockGraph</a></td><td class="entry"></td></tr>
   <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html#a3b94850d788a1b8da45e9b8bf2f2df2c">~GenericGraph</a>()</td><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html">SVF::GenericGraph&lt; NodeTy, EdgeTy &gt;</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
 </table></div><!-- contents -->