svf-tools 1.0.875 → 1.0.877

package/SVF-doxygen/html/structSVF_1_1DOTGraphTraits_3_01SVF_1_1CFBasicBlockGraph_01_5_01_4.html

@@ -175,7 +175,7 @@ Additional Inherited Members</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#l00509">509</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#l00466">466</a> of file <a class="el" href="CFBasicBlockG_8h_source.html">CFBasicBlockG.h</a>.</p>
 </div><h2 class="groupheader">Member Typedef Documentation</h2>
 <a id="a10af45bcbdbb34263454107c0e5184d4"></a>
 <h2 class="memtitle"><span class="permalink"><a href="#a10af45bcbdbb34263454107c0e5184d4">&#9670;&nbsp;</a></span>NodeType</h2>
@@ -189,7 +189,7 @@ Additional Inherited Members</h2></td></tr>
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#l00512">512</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#l00469">469</a> of file <a class="el" href="CFBasicBlockG_8h_source.html">CFBasicBlockG.h</a>.</p>
 
 </div>
 </div>
@@ -218,11 +218,11 @@ Additional Inherited Members</h2></td></tr>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#l00514">514</a> of file <a class="el" href="CFBasicBlockG_8h_source.html">CFBasicBlockG.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00514"></a><span class="lineno">  514</span>&#160;                                          :</div>
-<div class="line"><a name="l00515"></a><span class="lineno">  515</span>&#160;        DOTGraphTraits&lt;SVF::SVFIR *&gt;(<a class="code" href="structSVF_1_1DefaultDOTGraphTraits.html#acc82bc6228128e5bb98a6b00d6dc5f77">isSimple</a>)</div>
-<div class="line"><a name="l00516"></a><span class="lineno">  516</span>&#160;    {</div>
-<div class="line"><a name="l00517"></a><span class="lineno">  517</span>&#160;    }</div>
+<p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#l00471">471</a> of file <a class="el" href="CFBasicBlockG_8h_source.html">CFBasicBlockG.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00471"></a><span class="lineno">  471</span>&#160;                                          :</div>
+<div class="line"><a name="l00472"></a><span class="lineno">  472</span>&#160;        DOTGraphTraits&lt;SVF::SVFIR *&gt;(<a class="code" href="structSVF_1_1DefaultDOTGraphTraits.html#acc82bc6228128e5bb98a6b00d6dc5f77">isSimple</a>)</div>
+<div class="line"><a name="l00473"></a><span class="lineno">  473</span>&#160;    {</div>
+<div class="line"><a name="l00474"></a><span class="lineno">  474</span>&#160;    }</div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -269,26 +269,26 @@ template&lt;class EdgeIter &gt; </div>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#l00584">584</a> of file <a class="el" href="CFBasicBlockG_8h_source.html">CFBasicBlockG.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00585"></a><span class="lineno">  585</span>&#160;    {</div>
-<div class="line"><a name="l00586"></a><span class="lineno">  586</span>&#160;        CFBasicBlockEdge* edge = *(EI.getCurrent());</div>
-<div class="line"><a name="l00587"></a><span class="lineno">  587</span>&#160;        assert(edge &amp;&amp; <span class="stringliteral">&quot;No edge found!!&quot;</span>);</div>
-<div class="line"><a name="l00588"></a><span class="lineno">  588</span>&#160;        <span class="keywordflow">if</span> (edge-&gt;getICFGEdge())</div>
-<div class="line"><a name="l00589"></a><span class="lineno">  589</span>&#160;        {</div>
-<div class="line"><a name="l00590"></a><span class="lineno">  590</span>&#160;            <span class="keywordflow">if</span> (SVFUtil::isa&lt;CallCFGEdge&gt;(edge-&gt;getICFGEdge()))</div>
-<div class="line"><a name="l00591"></a><span class="lineno">  591</span>&#160;            {</div>
-<div class="line"><a name="l00592"></a><span class="lineno">  592</span>&#160;                <span class="keywordflow">return</span> <span class="stringliteral">&quot;style=solid,color=red&quot;</span>;</div>
-<div class="line"><a name="l00593"></a><span class="lineno">  593</span>&#160;            }</div>
-<div class="line"><a name="l00594"></a><span class="lineno">  594</span>&#160;            <span class="keywordflow">else</span> <span class="keywordflow">if</span> (SVFUtil::isa&lt;RetCFGEdge&gt;(edge-&gt;getICFGEdge()))</div>
-<div class="line"><a name="l00595"></a><span class="lineno">  595</span>&#160;                <span class="keywordflow">return</span> <span class="stringliteral">&quot;style=solid,color=blue&quot;</span>;</div>
-<div class="line"><a name="l00596"></a><span class="lineno">  596</span>&#160;            <span class="keywordflow">else</span></div>
-<div class="line"><a name="l00597"></a><span class="lineno">  597</span>&#160;                <span class="keywordflow">return</span> <span class="stringliteral">&quot;style=solid&quot;</span>;</div>
-<div class="line"><a name="l00598"></a><span class="lineno">  598</span>&#160;        }</div>
-<div class="line"><a name="l00599"></a><span class="lineno">  599</span>&#160;        <span class="keywordflow">else</span></div>
-<div class="line"><a name="l00600"></a><span class="lineno">  600</span>&#160;        {</div>
-<div class="line"><a name="l00601"></a><span class="lineno">  601</span>&#160;            <span class="keywordflow">return</span> <span class="stringliteral">&quot;style=solid&quot;</span>;</div>
-<div class="line"><a name="l00602"></a><span class="lineno">  602</span>&#160;        }</div>
-<div class="line"><a name="l00603"></a><span class="lineno">  603</span>&#160;    }</div>
+<p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#l00541">541</a> of file <a class="el" href="CFBasicBlockG_8h_source.html">CFBasicBlockG.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00542"></a><span class="lineno">  542</span>&#160;    {</div>
+<div class="line"><a name="l00543"></a><span class="lineno">  543</span>&#160;        CFBasicBlockEdge* edge = *(EI.getCurrent());</div>
+<div class="line"><a name="l00544"></a><span class="lineno">  544</span>&#160;        assert(edge &amp;&amp; <span class="stringliteral">&quot;No edge found!!&quot;</span>);</div>
+<div class="line"><a name="l00545"></a><span class="lineno">  545</span>&#160;        <span class="keywordflow">if</span> (edge-&gt;getICFGEdge())</div>
+<div class="line"><a name="l00546"></a><span class="lineno">  546</span>&#160;        {</div>
+<div class="line"><a name="l00547"></a><span class="lineno">  547</span>&#160;            <span class="keywordflow">if</span> (SVFUtil::isa&lt;CallCFGEdge&gt;(edge-&gt;getICFGEdge()))</div>
+<div class="line"><a name="l00548"></a><span class="lineno">  548</span>&#160;            {</div>
+<div class="line"><a name="l00549"></a><span class="lineno">  549</span>&#160;                <span class="keywordflow">return</span> <span class="stringliteral">&quot;style=solid,color=red&quot;</span>;</div>
+<div class="line"><a name="l00550"></a><span class="lineno">  550</span>&#160;            }</div>
+<div class="line"><a name="l00551"></a><span class="lineno">  551</span>&#160;            <span class="keywordflow">else</span> <span class="keywordflow">if</span> (SVFUtil::isa&lt;RetCFGEdge&gt;(edge-&gt;getICFGEdge()))</div>
+<div class="line"><a name="l00552"></a><span class="lineno">  552</span>&#160;                <span class="keywordflow">return</span> <span class="stringliteral">&quot;style=solid,color=blue&quot;</span>;</div>
+<div class="line"><a name="l00553"></a><span class="lineno">  553</span>&#160;            <span class="keywordflow">else</span></div>
+<div class="line"><a name="l00554"></a><span class="lineno">  554</span>&#160;                <span class="keywordflow">return</span> <span class="stringliteral">&quot;style=solid&quot;</span>;</div>
+<div class="line"><a name="l00555"></a><span class="lineno">  555</span>&#160;        }</div>
+<div class="line"><a name="l00556"></a><span class="lineno">  556</span>&#160;        <span class="keywordflow">else</span></div>
+<div class="line"><a name="l00557"></a><span class="lineno">  557</span>&#160;        {</div>
+<div class="line"><a name="l00558"></a><span class="lineno">  558</span>&#160;            <span class="keywordflow">return</span> <span class="stringliteral">&quot;style=solid&quot;</span>;</div>
+<div class="line"><a name="l00559"></a><span class="lineno">  559</span>&#160;        }</div>
+<div class="line"><a name="l00560"></a><span class="lineno">  560</span>&#160;    }</div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -328,22 +328,22 @@ template&lt;class EdgeIter &gt; </div>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#l00606">606</a> of file <a class="el" href="CFBasicBlockG_8h_source.html">CFBasicBlockG.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00607"></a><span class="lineno">  607</span>&#160;    {</div>
-<div class="line"><a name="l00608"></a><span class="lineno">  608</span>&#160;        CFBasicBlockEdge* edge = *(EI.getCurrent());</div>
-<div class="line"><a name="l00609"></a><span class="lineno">  609</span>&#160;        assert(edge &amp;&amp; <span class="stringliteral">&quot;No edge found!!&quot;</span>);</div>
-<div class="line"><a name="l00610"></a><span class="lineno">  610</span>&#160; </div>
-<div class="line"><a name="l00611"></a><span class="lineno">  611</span>&#160;        <a class="code" href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">std::string</a> str;</div>
-<div class="line"><a name="l00612"></a><span class="lineno">  612</span>&#160;        std::stringstream rawstr(str);</div>
-<div class="line"><a name="l00613"></a><span class="lineno">  613</span>&#160;        <span class="keywordflow">if</span> (edge-&gt;getICFGEdge())</div>
-<div class="line"><a name="l00614"></a><span class="lineno">  614</span>&#160;        {</div>
-<div class="line"><a name="l00615"></a><span class="lineno">  615</span>&#160;            <span class="keywordflow">if</span> (<span class="keyword">const</span> CallCFGEdge* dirCall = SVFUtil::dyn_cast&lt;CallCFGEdge&gt;(edge-&gt;getICFGEdge()))</div>
-<div class="line"><a name="l00616"></a><span class="lineno">  616</span>&#160;                rawstr &lt;&lt; dirCall-&gt;getCallSite();</div>
-<div class="line"><a name="l00617"></a><span class="lineno">  617</span>&#160;            <span class="keywordflow">else</span> <span class="keywordflow">if</span> (<span class="keyword">const</span> RetCFGEdge* dirRet = SVFUtil::dyn_cast&lt;RetCFGEdge&gt;(edge-&gt;getICFGEdge()))</div>
-<div class="line"><a name="l00618"></a><span class="lineno">  618</span>&#160;                rawstr &lt;&lt; dirRet-&gt;getCallSite();</div>
-<div class="line"><a name="l00619"></a><span class="lineno">  619</span>&#160;        }</div>
-<div class="line"><a name="l00620"></a><span class="lineno">  620</span>&#160;        <span class="keywordflow">return</span> rawstr.str();</div>
-<div class="line"><a name="l00621"></a><span class="lineno">  621</span>&#160;    }</div>
+<p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#l00563">563</a> of file <a class="el" href="CFBasicBlockG_8h_source.html">CFBasicBlockG.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00564"></a><span class="lineno">  564</span>&#160;    {</div>
+<div class="line"><a name="l00565"></a><span class="lineno">  565</span>&#160;        CFBasicBlockEdge* edge = *(EI.getCurrent());</div>
+<div class="line"><a name="l00566"></a><span class="lineno">  566</span>&#160;        assert(edge &amp;&amp; <span class="stringliteral">&quot;No edge found!!&quot;</span>);</div>
+<div class="line"><a name="l00567"></a><span class="lineno">  567</span>&#160; </div>
+<div class="line"><a name="l00568"></a><span class="lineno">  568</span>&#160;        <a class="code" href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">std::string</a> str;</div>
+<div class="line"><a name="l00569"></a><span class="lineno">  569</span>&#160;        std::stringstream rawstr(str);</div>
+<div class="line"><a name="l00570"></a><span class="lineno">  570</span>&#160;        <span class="keywordflow">if</span> (edge-&gt;getICFGEdge())</div>
+<div class="line"><a name="l00571"></a><span class="lineno">  571</span>&#160;        {</div>
+<div class="line"><a name="l00572"></a><span class="lineno">  572</span>&#160;            <span class="keywordflow">if</span> (<span class="keyword">const</span> CallCFGEdge* dirCall = SVFUtil::dyn_cast&lt;CallCFGEdge&gt;(edge-&gt;getICFGEdge()))</div>
+<div class="line"><a name="l00573"></a><span class="lineno">  573</span>&#160;                rawstr &lt;&lt; dirCall-&gt;getCallSite();</div>
+<div class="line"><a name="l00574"></a><span class="lineno">  574</span>&#160;            <span class="keywordflow">else</span> <span class="keywordflow">if</span> (<span class="keyword">const</span> RetCFGEdge* dirRet = SVFUtil::dyn_cast&lt;RetCFGEdge&gt;(edge-&gt;getICFGEdge()))</div>
+<div class="line"><a name="l00575"></a><span class="lineno">  575</span>&#160;                rawstr &lt;&lt; dirRet-&gt;getCallSite();</div>
+<div class="line"><a name="l00576"></a><span class="lineno">  576</span>&#160;        }</div>
+<div class="line"><a name="l00577"></a><span class="lineno">  577</span>&#160;        <span class="keywordflow">return</span> rawstr.str();</div>
+<div class="line"><a name="l00578"></a><span class="lineno">  578</span>&#160;    }</div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -373,10 +373,10 @@ template&lt;class EdgeIter &gt; </div>
 
 <p>Return name of the graph. </p>
 
-<p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#l00520">520</a> of file <a class="el" href="CFBasicBlockG_8h_source.html">CFBasicBlockG.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00521"></a><span class="lineno">  521</span>&#160;    {</div>
-<div class="line"><a name="l00522"></a><span class="lineno">  522</span>&#160;        <span class="keywordflow">return</span> <span class="stringliteral">&quot;CFBasicBlockGraph&quot;</span>;</div>
-<div class="line"><a name="l00523"></a><span class="lineno">  523</span>&#160;    }</div>
+<p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#l00477">477</a> of file <a class="el" href="CFBasicBlockG_8h_source.html">CFBasicBlockG.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00478"></a><span class="lineno">  478</span>&#160;    {</div>
+<div class="line"><a name="l00479"></a><span class="lineno">  479</span>&#160;        <span class="keywordflow">return</span> <span class="stringliteral">&quot;CFBasicBlockGraph&quot;</span>;</div>
+<div class="line"><a name="l00480"></a><span class="lineno">  480</span>&#160;    }</div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -414,47 +414,47 @@ template&lt;class EdgeIter &gt; </div>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#l00541">541</a> of file <a class="el" href="CFBasicBlockG_8h_source.html">CFBasicBlockG.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00542"></a><span class="lineno">  542</span>&#160;    {</div>
-<div class="line"><a name="l00543"></a><span class="lineno">  543</span>&#160;        <a class="code" href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">std::string</a> str;</div>
-<div class="line"><a name="l00544"></a><span class="lineno">  544</span>&#160;        std::stringstream rawstr(str);</div>
-<div class="line"><a name="l00545"></a><span class="lineno">  545</span>&#160;        <span class="keywordflow">if</span>(node-&gt;getICFGNodes().size() == 1)</div>
-<div class="line"><a name="l00546"></a><span class="lineno">  546</span>&#160;        {</div>
-<div class="line"><a name="l00547"></a><span class="lineno">  547</span>&#160;            <span class="keyword">const</span> ICFGNode* <a class="code" href="cJSON_8cpp.html#ab6e2ea6dc7bd57d1483413449998230a">n</a> = node-&gt;getICFGNodes()[0];</div>
-<div class="line"><a name="l00548"></a><span class="lineno">  548</span>&#160;            <span class="keywordflow">if</span>(SVFUtil::isa&lt;IntraICFGNode&gt;(<a class="code" href="cJSON_8cpp.html#ab6e2ea6dc7bd57d1483413449998230a">n</a>))</div>
-<div class="line"><a name="l00549"></a><span class="lineno">  549</span>&#160;            {</div>
-<div class="line"><a name="l00550"></a><span class="lineno">  550</span>&#160;                rawstr &lt;&lt;  <span class="stringliteral">&quot;color=black&quot;</span>;</div>
-<div class="line"><a name="l00551"></a><span class="lineno">  551</span>&#160;            }</div>
-<div class="line"><a name="l00552"></a><span class="lineno">  552</span>&#160;            <span class="keywordflow">else</span> <span class="keywordflow">if</span>(SVFUtil::isa&lt;FunEntryICFGNode&gt;(<a class="code" href="cJSON_8cpp.html#ab6e2ea6dc7bd57d1483413449998230a">n</a>))</div>
-<div class="line"><a name="l00553"></a><span class="lineno">  553</span>&#160;            {</div>
-<div class="line"><a name="l00554"></a><span class="lineno">  554</span>&#160;                rawstr &lt;&lt;  <span class="stringliteral">&quot;color=yellow&quot;</span>;</div>
-<div class="line"><a name="l00555"></a><span class="lineno">  555</span>&#160;            }</div>
-<div class="line"><a name="l00556"></a><span class="lineno">  556</span>&#160;            <span class="keywordflow">else</span> <span class="keywordflow">if</span>(SVFUtil::isa&lt;FunExitICFGNode&gt;(<a class="code" href="cJSON_8cpp.html#ab6e2ea6dc7bd57d1483413449998230a">n</a>))</div>
-<div class="line"><a name="l00557"></a><span class="lineno">  557</span>&#160;            {</div>
-<div class="line"><a name="l00558"></a><span class="lineno">  558</span>&#160;                rawstr &lt;&lt;  <span class="stringliteral">&quot;color=green&quot;</span>;</div>
-<div class="line"><a name="l00559"></a><span class="lineno">  559</span>&#160;            }</div>
-<div class="line"><a name="l00560"></a><span class="lineno">  560</span>&#160;            <span class="keywordflow">else</span> <span class="keywordflow">if</span>(SVFUtil::isa&lt;CallICFGNode&gt;(<a class="code" href="cJSON_8cpp.html#ab6e2ea6dc7bd57d1483413449998230a">n</a>))</div>
-<div class="line"><a name="l00561"></a><span class="lineno">  561</span>&#160;            {</div>
-<div class="line"><a name="l00562"></a><span class="lineno">  562</span>&#160;                rawstr &lt;&lt;  <span class="stringliteral">&quot;color=red&quot;</span>;</div>
-<div class="line"><a name="l00563"></a><span class="lineno">  563</span>&#160;            }</div>
-<div class="line"><a name="l00564"></a><span class="lineno">  564</span>&#160;            <span class="keywordflow">else</span> <span class="keywordflow">if</span>(SVFUtil::isa&lt;RetICFGNode&gt;(<a class="code" href="cJSON_8cpp.html#ab6e2ea6dc7bd57d1483413449998230a">n</a>))</div>
-<div class="line"><a name="l00565"></a><span class="lineno">  565</span>&#160;            {</div>
-<div class="line"><a name="l00566"></a><span class="lineno">  566</span>&#160;                rawstr &lt;&lt;  <span class="stringliteral">&quot;color=blue&quot;</span>;</div>
-<div class="line"><a name="l00567"></a><span class="lineno">  567</span>&#160;            }</div>
-<div class="line"><a name="l00568"></a><span class="lineno">  568</span>&#160;            <span class="keywordflow">else</span> <span class="keywordflow">if</span>(SVFUtil::isa&lt;GlobalICFGNode&gt;(<a class="code" href="cJSON_8cpp.html#ab6e2ea6dc7bd57d1483413449998230a">n</a>))</div>
-<div class="line"><a name="l00569"></a><span class="lineno">  569</span>&#160;            {</div>
-<div class="line"><a name="l00570"></a><span class="lineno">  570</span>&#160;                rawstr &lt;&lt;  <span class="stringliteral">&quot;color=purple&quot;</span>;</div>
-<div class="line"><a name="l00571"></a><span class="lineno">  571</span>&#160;            }</div>
-<div class="line"><a name="l00572"></a><span class="lineno">  572</span>&#160;            <span class="keywordflow">else</span></div>
-<div class="line"><a name="l00573"></a><span class="lineno">  573</span>&#160;                assert(<span class="keyword">false</span> &amp;&amp; <span class="stringliteral">&quot;no such kind of node!!&quot;</span>);</div>
-<div class="line"><a name="l00574"></a><span class="lineno">  574</span>&#160;        }</div>
-<div class="line"><a name="l00575"></a><span class="lineno">  575</span>&#160;        <span class="keywordflow">else</span></div>
-<div class="line"><a name="l00576"></a><span class="lineno">  576</span>&#160;        {</div>
-<div class="line"><a name="l00577"></a><span class="lineno">  577</span>&#160;            rawstr &lt;&lt; <span class="stringliteral">&quot;color=black&quot;</span>;</div>
-<div class="line"><a name="l00578"></a><span class="lineno">  578</span>&#160;        }</div>
-<div class="line"><a name="l00579"></a><span class="lineno">  579</span>&#160;        rawstr &lt;&lt;  <span class="stringliteral">&quot;&quot;</span>;</div>
-<div class="line"><a name="l00580"></a><span class="lineno">  580</span>&#160;        <span class="keywordflow">return</span> rawstr.str();</div>
-<div class="line"><a name="l00581"></a><span class="lineno">  581</span>&#160;    }</div>
+<p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#l00498">498</a> of file <a class="el" href="CFBasicBlockG_8h_source.html">CFBasicBlockG.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00499"></a><span class="lineno">  499</span>&#160;    {</div>
+<div class="line"><a name="l00500"></a><span class="lineno">  500</span>&#160;        <a class="code" href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">std::string</a> str;</div>
+<div class="line"><a name="l00501"></a><span class="lineno">  501</span>&#160;        std::stringstream rawstr(str);</div>
+<div class="line"><a name="l00502"></a><span class="lineno">  502</span>&#160;        <span class="keywordflow">if</span>(node-&gt;getICFGNodes().size() == 1)</div>
+<div class="line"><a name="l00503"></a><span class="lineno">  503</span>&#160;        {</div>
+<div class="line"><a name="l00504"></a><span class="lineno">  504</span>&#160;            <span class="keyword">const</span> ICFGNode* <a class="code" href="cJSON_8cpp.html#ab6e2ea6dc7bd57d1483413449998230a">n</a> = node-&gt;getICFGNodes()[0];</div>
+<div class="line"><a name="l00505"></a><span class="lineno">  505</span>&#160;            <span class="keywordflow">if</span>(SVFUtil::isa&lt;IntraICFGNode&gt;(<a class="code" href="cJSON_8cpp.html#ab6e2ea6dc7bd57d1483413449998230a">n</a>))</div>
+<div class="line"><a name="l00506"></a><span class="lineno">  506</span>&#160;            {</div>
+<div class="line"><a name="l00507"></a><span class="lineno">  507</span>&#160;                rawstr &lt;&lt;  <span class="stringliteral">&quot;color=black&quot;</span>;</div>
+<div class="line"><a name="l00508"></a><span class="lineno">  508</span>&#160;            }</div>
+<div class="line"><a name="l00509"></a><span class="lineno">  509</span>&#160;            <span class="keywordflow">else</span> <span class="keywordflow">if</span>(SVFUtil::isa&lt;FunEntryICFGNode&gt;(<a class="code" href="cJSON_8cpp.html#ab6e2ea6dc7bd57d1483413449998230a">n</a>))</div>
+<div class="line"><a name="l00510"></a><span class="lineno">  510</span>&#160;            {</div>
+<div class="line"><a name="l00511"></a><span class="lineno">  511</span>&#160;                rawstr &lt;&lt;  <span class="stringliteral">&quot;color=yellow&quot;</span>;</div>
+<div class="line"><a name="l00512"></a><span class="lineno">  512</span>&#160;            }</div>
+<div class="line"><a name="l00513"></a><span class="lineno">  513</span>&#160;            <span class="keywordflow">else</span> <span class="keywordflow">if</span>(SVFUtil::isa&lt;FunExitICFGNode&gt;(<a class="code" href="cJSON_8cpp.html#ab6e2ea6dc7bd57d1483413449998230a">n</a>))</div>
+<div class="line"><a name="l00514"></a><span class="lineno">  514</span>&#160;            {</div>
+<div class="line"><a name="l00515"></a><span class="lineno">  515</span>&#160;                rawstr &lt;&lt;  <span class="stringliteral">&quot;color=green&quot;</span>;</div>
+<div class="line"><a name="l00516"></a><span class="lineno">  516</span>&#160;            }</div>
+<div class="line"><a name="l00517"></a><span class="lineno">  517</span>&#160;            <span class="keywordflow">else</span> <span class="keywordflow">if</span>(SVFUtil::isa&lt;CallICFGNode&gt;(<a class="code" href="cJSON_8cpp.html#ab6e2ea6dc7bd57d1483413449998230a">n</a>))</div>
+<div class="line"><a name="l00518"></a><span class="lineno">  518</span>&#160;            {</div>
+<div class="line"><a name="l00519"></a><span class="lineno">  519</span>&#160;                rawstr &lt;&lt;  <span class="stringliteral">&quot;color=red&quot;</span>;</div>
+<div class="line"><a name="l00520"></a><span class="lineno">  520</span>&#160;            }</div>
+<div class="line"><a name="l00521"></a><span class="lineno">  521</span>&#160;            <span class="keywordflow">else</span> <span class="keywordflow">if</span>(SVFUtil::isa&lt;RetICFGNode&gt;(<a class="code" href="cJSON_8cpp.html#ab6e2ea6dc7bd57d1483413449998230a">n</a>))</div>
+<div class="line"><a name="l00522"></a><span class="lineno">  522</span>&#160;            {</div>
+<div class="line"><a name="l00523"></a><span class="lineno">  523</span>&#160;                rawstr &lt;&lt;  <span class="stringliteral">&quot;color=blue&quot;</span>;</div>
+<div class="line"><a name="l00524"></a><span class="lineno">  524</span>&#160;            }</div>
+<div class="line"><a name="l00525"></a><span class="lineno">  525</span>&#160;            <span class="keywordflow">else</span> <span class="keywordflow">if</span>(SVFUtil::isa&lt;GlobalICFGNode&gt;(<a class="code" href="cJSON_8cpp.html#ab6e2ea6dc7bd57d1483413449998230a">n</a>))</div>
+<div class="line"><a name="l00526"></a><span class="lineno">  526</span>&#160;            {</div>
+<div class="line"><a name="l00527"></a><span class="lineno">  527</span>&#160;                rawstr &lt;&lt;  <span class="stringliteral">&quot;color=purple&quot;</span>;</div>
+<div class="line"><a name="l00528"></a><span class="lineno">  528</span>&#160;            }</div>
+<div class="line"><a name="l00529"></a><span class="lineno">  529</span>&#160;            <span class="keywordflow">else</span></div>
+<div class="line"><a name="l00530"></a><span class="lineno">  530</span>&#160;                assert(<span class="keyword">false</span> &amp;&amp; <span class="stringliteral">&quot;no such kind of node!!&quot;</span>);</div>
+<div class="line"><a name="l00531"></a><span class="lineno">  531</span>&#160;        }</div>
+<div class="line"><a name="l00532"></a><span class="lineno">  532</span>&#160;        <span class="keywordflow">else</span></div>
+<div class="line"><a name="l00533"></a><span class="lineno">  533</span>&#160;        {</div>
+<div class="line"><a name="l00534"></a><span class="lineno">  534</span>&#160;            rawstr &lt;&lt; <span class="stringliteral">&quot;color=black&quot;</span>;</div>
+<div class="line"><a name="l00535"></a><span class="lineno">  535</span>&#160;        }</div>
+<div class="line"><a name="l00536"></a><span class="lineno">  536</span>&#160;        rawstr &lt;&lt;  <span class="stringliteral">&quot;&quot;</span>;</div>
+<div class="line"><a name="l00537"></a><span class="lineno">  537</span>&#160;        <span class="keywordflow">return</span> rawstr.str();</div>
+<div class="line"><a name="l00538"></a><span class="lineno">  538</span>&#160;    }</div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -492,10 +492,10 @@ template&lt;class EdgeIter &gt; </div>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#l00525">525</a> of file <a class="el" href="CFBasicBlockG_8h_source.html">CFBasicBlockG.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00526"></a><span class="lineno">  526</span>&#160;    {</div>
-<div class="line"><a name="l00527"></a><span class="lineno">  527</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="structSVF_1_1DOTGraphTraits_3_01SVF_1_1CFBasicBlockGraph_01_5_01_4.html#a66e6c63670681d78c6bd42f828b274c0">getSimpleNodeLabel</a>(node, graph);</div>
-<div class="line"><a name="l00528"></a><span class="lineno">  528</span>&#160;    }</div>
+<p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#l00482">482</a> of file <a class="el" href="CFBasicBlockG_8h_source.html">CFBasicBlockG.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00483"></a><span class="lineno">  483</span>&#160;    {</div>
+<div class="line"><a name="l00484"></a><span class="lineno">  484</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="structSVF_1_1DOTGraphTraits_3_01SVF_1_1CFBasicBlockGraph_01_5_01_4.html#a66e6c63670681d78c6bd42f828b274c0">getSimpleNodeLabel</a>(node, graph);</div>
+<div class="line"><a name="l00485"></a><span class="lineno">  485</span>&#160;    }</div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -535,15 +535,15 @@ template&lt;class EdgeIter &gt; </div>
 
 <p>Return the label of an <a class="el" href="classSVF_1_1ICFG.html">ICFG</a> node. </p>
 
-<p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#l00531">531</a> of file <a class="el" href="CFBasicBlockG_8h_source.html">CFBasicBlockG.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00532"></a><span class="lineno">  532</span>&#160;    {</div>
-<div class="line"><a name="l00533"></a><span class="lineno">  533</span>&#160;        <a class="code" href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">std::string</a> str;</div>
-<div class="line"><a name="l00534"></a><span class="lineno">  534</span>&#160;        std::stringstream rawstr(str);</div>
-<div class="line"><a name="l00535"></a><span class="lineno">  535</span>&#160;        rawstr &lt;&lt; <span class="stringliteral">&quot;NodeID: &quot;</span> &lt;&lt; node-&gt;getId() &lt;&lt; <span class="stringliteral">&quot;\n&quot;</span>;</div>
-<div class="line"><a name="l00536"></a><span class="lineno">  536</span>&#160;        rawstr &lt;&lt; node-&gt;toString();</div>
-<div class="line"><a name="l00537"></a><span class="lineno">  537</span>&#160; </div>
-<div class="line"><a name="l00538"></a><span class="lineno">  538</span>&#160;        <span class="keywordflow">return</span> rawstr.str();</div>
-<div class="line"><a name="l00539"></a><span class="lineno">  539</span>&#160;    }</div>
+<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 class="fragment"><div class="line"><a name="l00489"></a><span class="lineno">  489</span>&#160;    {</div>
+<div class="line"><a name="l00490"></a><span class="lineno">  490</span>&#160;        <a class="code" href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">std::string</a> str;</div>
+<div class="line"><a name="l00491"></a><span class="lineno">  491</span>&#160;        std::stringstream rawstr(str);</div>
+<div class="line"><a name="l00492"></a><span class="lineno">  492</span>&#160;        rawstr &lt;&lt; <span class="stringliteral">&quot;NodeID: &quot;</span> &lt;&lt; node-&gt;getId() &lt;&lt; <span class="stringliteral">&quot;\n&quot;</span>;</div>
+<div class="line"><a name="l00493"></a><span class="lineno">  493</span>&#160;        rawstr &lt;&lt; node-&gt;toString();</div>
+<div class="line"><a name="l00494"></a><span class="lineno">  494</span>&#160; </div>
+<div class="line"><a name="l00495"></a><span class="lineno">  495</span>&#160;        <span class="keywordflow">return</span> rawstr.str();</div>
+<div class="line"><a name="l00496"></a><span class="lineno">  496</span>&#160;    }</div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -553,7 +553,7 @@ template&lt;class EdgeIter &gt; </div>
 </div><!-- contents -->
 <div class="ttc" id="acJSON_8cpp_html_ab6e2ea6dc7bd57d1483413449998230a"><div class="ttname"><a href="cJSON_8cpp.html#ab6e2ea6dc7bd57d1483413449998230a">n</a></div><div class="ttdeci">cJSON * n</div><div class="ttdef"><b>Definition:</b> <a href="cJSON_8cpp_source.html#l02558">cJSON.cpp:2558</a></div></div>
 <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="astructSVF_1_1DOTGraphTraits_3_01SVF_1_1CFBasicBlockGraph_01_5_01_4_html_a66e6c63670681d78c6bd42f828b274c0"><div class="ttname"><a href="structSVF_1_1DOTGraphTraits_3_01SVF_1_1CFBasicBlockGraph_01_5_01_4.html#a66e6c63670681d78c6bd42f828b274c0">SVF::DOTGraphTraits&lt; SVF::CFBasicBlockGraph * &gt;::getSimpleNodeLabel</a></div><div class="ttdeci">static std::string getSimpleNodeLabel(NodeType *node, SVF::CFBasicBlockGraph *)</div><div class="ttdoc">Return the label of an ICFG node.</div><div class="ttdef"><b>Definition:</b> <a href="CFBasicBlockG_8h_source.html#l00531">CFBasicBlockG.h:531</a></div></div>
+<div class="ttc" id="astructSVF_1_1DOTGraphTraits_3_01SVF_1_1CFBasicBlockGraph_01_5_01_4_html_a66e6c63670681d78c6bd42f828b274c0"><div class="ttname"><a href="structSVF_1_1DOTGraphTraits_3_01SVF_1_1CFBasicBlockGraph_01_5_01_4.html#a66e6c63670681d78c6bd42f828b274c0">SVF::DOTGraphTraits&lt; SVF::CFBasicBlockGraph * &gt;::getSimpleNodeLabel</a></div><div class="ttdeci">static std::string getSimpleNodeLabel(NodeType *node, SVF::CFBasicBlockGraph *)</div><div class="ttdoc">Return the label of an ICFG node.</div><div class="ttdef"><b>Definition:</b> <a href="CFBasicBlockG_8h_source.html#l00488">CFBasicBlockG.h:488</a></div></div>
 <div class="ttc" id="astructSVF_1_1DefaultDOTGraphTraits_html_acc82bc6228128e5bb98a6b00d6dc5f77"><div class="ttname"><a href="structSVF_1_1DefaultDOTGraphTraits.html#acc82bc6228128e5bb98a6b00d6dc5f77">SVF::DefaultDOTGraphTraits::isSimple</a></div><div class="ttdeci">bool isSimple()</div><div class="ttdef"><b>Definition:</b> <a href="DOTGraphTraits_8h_source.html#l00035">DOTGraphTraits.h:35</a></div></div>
 <!-- start footer part -->
 <hr class="footer"/><address class="footer"><small>

package/SVF-doxygen/html/structSVF_1_1GenericGraphTraits_3_01Inverse_3_01SVF_1_1CFBasicBlockNode_01_5_01_4_01_4.html

@@ -95,7 +95,7 @@ Additional Inherited Members</h2></td></tr>
 <a name="details" id="details"></a><h2 class="groupheader">Detailed Description</h2>
 <div class="textblock"><p><a class="el" href="structSVF_1_1Inverse.html">Inverse</a> <a class="el" href="structSVF_1_1GenericGraphTraits.html">GenericGraphTraits</a> specializations for call graph node, it is used for inverse ICFGTraversal. </p>
 
-<p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#l00492">492</a> of file <a class="el" href="CFBasicBlockG_8h_source.html">CFBasicBlockG.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#l00449">449</a> of file <a class="el" href="CFBasicBlockG_8h_source.html">CFBasicBlockG.h</a>.</p>
 </div><hr/>The documentation for this struct was generated from the following file:<ul>
 <li>/home/runner/work/SVF/SVF/svf/include/Graphs/<a class="el" href="CFBasicBlockG_8h_source.html">CFBasicBlockG.h</a></li>
 </ul>

package/SVF-doxygen/html/structSVF_1_1GenericGraphTraits_3_01SVF_1_1CFBasicBlockGraph_01_5_01_4.html

@@ -94,7 +94,7 @@ Public Types</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#l00498">498</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#l00455">455</a> of file <a class="el" href="CFBasicBlockG_8h_source.html">CFBasicBlockG.h</a>.</p>
 </div><h2 class="groupheader">Member Typedef Documentation</h2>
 <a id="a0d7eb2f1c00f0499d99f5508ce5055f5"></a>
 <h2 class="memtitle"><span class="permalink"><a href="#a0d7eb2f1c00f0499d99f5508ce5055f5">&#9670;&nbsp;</a></span>NodeRef</h2>
@@ -108,7 +108,7 @@ Public Types</h2></td></tr>
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#l00501">501</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#l00458">458</a> of file <a class="el" href="CFBasicBlockG_8h_source.html">CFBasicBlockG.h</a>.</p>
 
 </div>
 </div>

package/SVF-doxygen/html/structSVF_1_1GenericGraphTraits_3_01SVF_1_1CFBasicBlockNode_01_5_01_4.html

@@ -91,7 +91,7 @@ Additional Inherited Members</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#l00485">485</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#l00442">442</a> of file <a class="el" href="CFBasicBlockG_8h_source.html">CFBasicBlockG.h</a>.</p>
 </div><hr/>The documentation for this struct was generated from the following file:<ul>
 <li>/home/runner/work/SVF/SVF/svf/include/Graphs/<a class="el" href="CFBasicBlockG_8h_source.html">CFBasicBlockG.h</a></li>
 </ul>

package/build.sh

@@ -196,8 +196,8 @@ if [[ ! -d "$LLVM_DIR" ]]; then
             mkdir -p "./$LLVMHome" && tar -xf llvm.tar.xz -C "./$LLVMHome" --strip-components 1
             rm llvm.tar.xz
         fi
-        export LLVM_DIR="$SVFHOME/$LLVMHome"
     fi
+    export LLVM_DIR="$SVFHOME/$LLVMHome"
 fi
 
 

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "svf-tools",
-  "version": "1.0.875",
+  "version": "1.0.877",
   "description": "* <b>[TypeClone](https://github.com/SVF-tools/SVF/wiki/TypeClone) published in our [ECOOP paper](https://yuleisui.github.io/publications/ecoop20.pdf) is now available in SVF </b> * <b>SVF now uses a single script for its build. Just type [`source ./build.sh`](https://github.com/SVF-tools/SVF/blob/master/build.sh) in your terminal, that's it!</b> * <b>SVF now supports LLVM-10.0.0! </b> * <b>We thank [bsauce](https://github.com/bsauce) for writing a user manual of SVF ([link1](https://www.jianshu.com/p/068a08ec749c) and [link2](https://www.jianshu.com/p/777c30d4240e)) in Chinese </b> * <b>SVF now supports LLVM-9.0.0 (Thank [Byoungyoung Lee](https://github.com/SVF-tools/SVF/issues/142) for his help!). </b> * <b>SVF now supports a set of [field-sensitive pointer analyses](https://yuleisui.github.io/publications/sas2019a.pdf). </b> * <b>[Use SVF as an external lib](https://github.com/SVF-tools/SVF/wiki/Using-SVF-as-a-lib-in-your-own-tool) for your own project (Contributed by [Hongxu Chen](https://github.com/HongxuChen)). </b> * <b>SVF now supports LLVM-7.0.0. </b> * <b>SVF now supports Docker. [Try SVF in Docker](https://github.com/SVF-tools/SVF/wiki/Try-SVF-in-Docker)! </b> * <b>SVF now supports [LLVM-6.0.0](https://github.com/svf-tools/SVF/pull/38) (Contributed by [Jack Anthony](https://github.com/jackanth)). </b> * <b>SVF now supports [LLVM-4.0.0](https://github.com/svf-tools/SVF/pull/23) (Contributed by Jared Carlson. Thank [Jared](https://github.com/jcarlson23) and [Will](https://github.com/dtzWill) for their in-depth [discussions](https://github.com/svf-tools/SVF/pull/18) about updating SVF!) </b> * <b>SVF now supports analysis for C++ programs.</b> <br />",
   "main": "index.js",
   "scripts": {

package/svf/include/AE/Svfexe/{AE.h → AbstractExecution.h}

@@ -35,14 +35,14 @@
 
 namespace SVF
 {
-class AE;
+class AbstractExecution;
 class AEStat;
 class AEAPI;
 
 
 enum class AEKind
 {
-    AE,
+    AbstractExecution,
     BufOverflowChecker
 };
 
@@ -51,7 +51,7 @@ class AEStat : public SVFStat
 {
 public:
     void countStateSize();
-    AEStat(AE *ae): _ae(ae)
+    AEStat(AbstractExecution *ae): _ae(ae)
     {
         startTime = getClk(true);
     }
@@ -69,7 +69,7 @@ public:
     void reportBug();
 
 public:
-    AE *_ae;
+    AbstractExecution *_ae;
     s32_t count{0};
     std::string memory_usage;
     std::string memUsage;
@@ -103,8 +103,7 @@ public:
 
 };
 
-// AE: Abstract Execution
-class AE
+class AbstractExecution
 {
     friend class AEStat;
     friend class AEAPI;
@@ -112,7 +111,7 @@ class AE
 public:
     typedef SCCDetection<PTACallGraph *> CallGraphSCC;
     /// Constructor
-    AE();
+    AbstractExecution();
 
     virtual void initExtAPI();
 
@@ -120,14 +119,14 @@ public:
 
 
     /// Destructor
-    virtual ~AE();
+    virtual ~AbstractExecution();
 
     /// Program entry
     void analyse();
 
-    static bool classof(const AE* ae)
+    static bool classof(const AbstractExecution* ae)
     {
-        return ae->getKind() == AEKind::AE;
+        return ae->getKind() == AEKind::AbstractExecution;
     }
 
     AEKind getKind() const
@@ -286,7 +285,7 @@ public:
     enum ExtAPIType { UNCLASSIFIED, MEMCPY, MEMSET, STRCPY, STRCAT };
     static bool classof(const AEAPI* api)
     {
-        return api->getKind() == AEKind::AE;
+        return api->getKind() == AEKind::AbstractExecution;
     }
 
     /**
@@ -295,10 +294,10 @@ public:
     * @param ae Abstract Execution or its subclass
     * @param stat AEStat
     */
-    AEAPI(AE* ae, AEStat* stat): _ae(ae), _stat(stat)
+    AEAPI(AbstractExecution* ae, AEStat* stat): _ae(ae), _stat(stat)
     {
         initExtFunMap();
-        _kind = AEKind::AE;
+        _kind = AEKind::AbstractExecution;
     }
 
     virtual ~AEAPI() {}
@@ -421,7 +420,7 @@ protected:
 
 
 protected:
-    AE* _ae;
+    AbstractExecution* _ae;
     AEStat* _stat;
     SVFIR* _svfir;
     AEKind _kind;

package/svf/include/AE/Svfexe/BufOverflowChecker.h

@@ -25,7 +25,7 @@
 // Created by Jiawei Wang on 2024/1/12.
 //
 
-#include "AE.h"
+#include "AE/Svfexe/AbstractExecution.h"
 
 namespace SVF
 {
@@ -101,7 +101,7 @@ class BufOverflowCheckerAPI: public AEAPI
 {
 public:
     BufOverflowCheckerAPI() = delete;
-    BufOverflowCheckerAPI(AE * ae, AEStat * stat): AEAPI(ae, stat)
+    BufOverflowCheckerAPI(AbstractExecution * ae, AEStat * stat): AEAPI(ae, stat)
     {
         initExtFunMap();
         initExtAPIBufOverflowCheckRules();
@@ -167,17 +167,17 @@ public:
     Map<std::string, std::vector<std::pair<u32_t, u32_t>>> _extAPIBufOverflowCheckRules;
 };
 
-class BufOverflowChecker: public AE
+class BufOverflowChecker: public AbstractExecution
 {
     friend BufOverflowCheckerAPI;
 
 public:
-    BufOverflowChecker() : AE()
+    BufOverflowChecker() : AbstractExecution()
     {
         _kind = AEKind::BufOverflowChecker;
     }
 
-    static bool classof(const AE* ae)
+    static bool classof(const AbstractExecution* ae)
     {
         return ae->getKind() == AEKind::BufOverflowChecker;
     }

package/svf/include/Graphs/CFBasicBlockG.h

@@ -258,49 +258,6 @@ public:
     }
     //@}
 
-    /// Iterators used for SCC detection, overwrite it in child class if necessory
-    //@{
-    virtual inline iterator directOutEdgeBegin()
-    {
-        return OutEdges.begin();
-    }
-
-    virtual inline iterator directOutEdgeEnd()
-    {
-        return OutEdges.end();
-    }
-
-    virtual inline iterator directInEdgeBegin()
-    {
-        return InEdges.begin();
-    }
-
-    virtual inline iterator directInEdgeEnd()
-    {
-        return InEdges.end();
-    }
-
-    virtual inline const_iterator directOutEdgeBegin() const
-    {
-        return OutEdges.begin();
-    }
-
-    virtual inline const_iterator directOutEdgeEnd() const
-    {
-        return OutEdges.end();
-    }
-
-    virtual inline const_iterator directInEdgeBegin() const
-    {
-        return InEdges.begin();
-    }
-
-    virtual inline const_iterator directInEdgeEnd() const
-    {
-        return InEdges.end();
-    }
-    //@}
-
     /// Add incoming and outgoing edges
     //@{
     inline bool addIncomingEdge(CFBasicBlockEdge *inEdge)