svf-tools 1.0.776 → 1.0.778

package/SVF-doxygen/html/html/dir_445b24f35a8ddd2effd3d23ee1278e0a.html

@@ -80,6 +80,8 @@ Files</h2></td></tr>
 <tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:Casting_8h"><td class="memItemLeft" align="right" valign="top">file &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="Casting_8h.html">Casting.h</a> <a href="Casting_8h_source.html">[code]</a></td></tr>
 <tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:CDGBuilder_8h"><td class="memItemLeft" align="right" valign="top">file &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="CDGBuilder_8h.html">CDGBuilder.h</a> <a href="CDGBuilder_8h_source.html">[code]</a></td></tr>
+<tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:cJSON_8h"><td class="memItemLeft" align="right" valign="top">file &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="cJSON_8h.html">cJSON.h</a> <a href="cJSON_8h_source.html">[code]</a></td></tr>
 <tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:CommandLine_8h"><td class="memItemLeft" align="right" valign="top">file &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="CommandLine_8h.html">CommandLine.h</a> <a href="CommandLine_8h_source.html">[code]</a></td></tr>

package/SVF-doxygen/html/html/dir_a10fe8a299b5f0831d187a9a2e1308ef.html

@@ -72,6 +72,8 @@ $(function() {
 <table class="memberdecls">
 <tr class="heading"><td colspan="2"><h2 class="groupheader"><a name="files"></a>
 Files</h2></td></tr>
+<tr class="memitem:CDG_8cpp"><td class="memItemLeft" align="right" valign="top">file &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="CDG_8cpp.html">CDG.cpp</a> <a href="CDG_8cpp_source.html">[code]</a></td></tr>
+<tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:CFBasicBlockG_8cpp"><td class="memItemLeft" align="right" valign="top">file &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="CFBasicBlockG_8cpp.html">CFBasicBlockG.cpp</a> <a href="CFBasicBlockG_8cpp_source.html">[code]</a></td></tr>
 <tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:CFLGraph_8cpp"><td class="memItemLeft" align="right" valign="top">file &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="CFLGraph_8cpp.html">CFLGraph.cpp</a> <a href="CFLGraph_8cpp_source.html">[code]</a></td></tr>
@@ -84,6 +86,8 @@ Files</h2></td></tr>
 <tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:ICFG_8cpp"><td class="memItemLeft" align="right" valign="top">file &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="ICFG_8cpp.html">ICFG.cpp</a> <a href="ICFG_8cpp_source.html">[code]</a></td></tr>
 <tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:ICFGWrapper_8cpp"><td class="memItemLeft" align="right" valign="top">file &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="ICFGWrapper_8cpp.html">ICFGWrapper.cpp</a> <a href="ICFGWrapper_8cpp_source.html">[code]</a></td></tr>
+<tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:IRGraph_8cpp"><td class="memItemLeft" align="right" valign="top">file &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="IRGraph_8cpp.html">IRGraph.cpp</a> <a href="IRGraph_8cpp_source.html">[code]</a></td></tr>
 <tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:PTACallGraph_8cpp"><td class="memItemLeft" align="right" valign="top">file &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="PTACallGraph_8cpp.html">PTACallGraph.cpp</a> <a href="PTACallGraph_8cpp_source.html">[code]</a></td></tr>

package/SVF-doxygen/html/html/dir_fc0329f850c815763e0c5b05933e8d55.html

@@ -72,6 +72,8 @@ $(function() {
 <table class="memberdecls">
 <tr class="heading"><td colspan="2"><h2 class="groupheader"><a name="files"></a>
 Files</h2></td></tr>
+<tr class="memitem:CDG_8h"><td class="memItemLeft" align="right" valign="top">file &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="CDG_8h.html">CDG.h</a> <a href="CDG_8h_source.html">[code]</a></td></tr>
+<tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:CFBasicBlockG_8h"><td class="memItemLeft" align="right" valign="top">file &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="CFBasicBlockG_8h.html">CFBasicBlockG.h</a> <a href="CFBasicBlockG_8h_source.html">[code]</a></td></tr>
 <tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:CFLGraph_8h"><td class="memItemLeft" align="right" valign="top">file &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="CFLGraph_8h.html">CFLGraph.h</a> <a href="CFLGraph_8h_source.html">[code]</a></td></tr>
@@ -102,6 +104,8 @@ Files</h2></td></tr>
 <tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:ICFGStat_8h"><td class="memItemLeft" align="right" valign="top">file &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="ICFGStat_8h.html">ICFGStat.h</a> <a href="ICFGStat_8h_source.html">[code]</a></td></tr>
 <tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:ICFGWrapper_8h"><td class="memItemLeft" align="right" valign="top">file &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="ICFGWrapper_8h.html">ICFGWrapper.h</a> <a href="ICFGWrapper_8h_source.html">[code]</a></td></tr>
+<tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:IRGraph_8h"><td class="memItemLeft" align="right" valign="top">file &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="IRGraph_8h.html">IRGraph.h</a> <a href="IRGraph_8h_source.html">[code]</a></td></tr>
 <tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:PTACallGraph_8h"><td class="memItemLeft" align="right" valign="top">file &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="PTACallGraph_8h.html">PTACallGraph.h</a> <a href="PTACallGraph_8h_source.html">[code]</a></td></tr>

package/SVF-doxygen/html/html/dir_fee120689dee99ef16f8bfcaa7a76083.html

@@ -76,6 +76,8 @@ Files</h2></td></tr>
 <tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:CallGraphBuilder_8cpp"><td class="memItemLeft" align="right" valign="top">file &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="CallGraphBuilder_8cpp.html">CallGraphBuilder.cpp</a> <a href="CallGraphBuilder_8cpp_source.html">[code]</a></td></tr>
 <tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:CDGBuilder_8cpp"><td class="memItemLeft" align="right" valign="top">file &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="CDGBuilder_8cpp.html">CDGBuilder.cpp</a> <a href="CDGBuilder_8cpp_source.html">[code]</a></td></tr>
+<tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:cJSON_8cpp"><td class="memItemLeft" align="right" valign="top">file &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="cJSON_8cpp.html">cJSON.cpp</a> <a href="cJSON_8cpp_source.html">[code]</a></td></tr>
 <tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:CoreBitVector_8cpp"><td class="memItemLeft" align="right" valign="top">file &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="CoreBitVector_8cpp.html">CoreBitVector.cpp</a> <a href="CoreBitVector_8cpp_source.html">[code]</a></td></tr>

package/SVF-doxygen/html/html/files.html

@@ -107,32 +107,34 @@ $(function() {
 <tr id="row_0_0_3_"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span id="arr_0_0_3_" class="arrow" onclick="toggleFolder('0_0_3_')">&#9658;</span><span id="img_0_0_3_" class="iconfclosed" onclick="toggleFolder('0_0_3_')">&#160;</span><a class="el" href="dir_2fd81f09bb6a2111d677cf3c6dd90a98.html" target="_self">FastCluster</a></td><td class="desc"></td></tr>
 <tr id="row_0_0_3_0_" class="even" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="fastcluster_8h_source.html"><span class="icondoc"></span></a><a class="el" href="fastcluster_8h.html" target="_self">fastcluster.h</a></td><td class="desc"></td></tr>
 <tr id="row_0_0_4_" class="even"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span id="arr_0_0_4_" class="arrow" onclick="toggleFolder('0_0_4_')">&#9658;</span><span id="img_0_0_4_" class="iconfclosed" onclick="toggleFolder('0_0_4_')">&#160;</span><a class="el" href="dir_fc0329f850c815763e0c5b05933e8d55.html" target="_self">Graphs</a></td><td class="desc"></td></tr>
-<tr id="row_0_0_4_0_" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="CFBasicBlockG_8h_source.html"><span class="icondoc"></span></a><a class="el" href="CFBasicBlockG_8h.html" target="_self">CFBasicBlockG.h</a></td><td class="desc"></td></tr>
-<tr id="row_0_0_4_1_" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="CFLGraph_8h_source.html"><span class="icondoc"></span></a><a class="el" href="CFLGraph_8h.html" target="_self">CFLGraph.h</a></td><td class="desc"></td></tr>
-<tr id="row_0_0_4_2_" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="CHG_8h_source.html"><span class="icondoc"></span></a><a class="el" href="CHG_8h.html" target="_self">CHG.h</a></td><td class="desc"></td></tr>
-<tr id="row_0_0_4_3_" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="ConsG_8h_source.html"><span class="icondoc"></span></a><a class="el" href="ConsG_8h.html" target="_self">ConsG.h</a></td><td class="desc"></td></tr>
-<tr id="row_0_0_4_4_" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="ConsGEdge_8h_source.html"><span class="icondoc"></span></a><a class="el" href="ConsGEdge_8h.html" target="_self">ConsGEdge.h</a></td><td class="desc"></td></tr>
-<tr id="row_0_0_4_5_" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="ConsGNode_8h_source.html"><span class="icondoc"></span></a><a class="el" href="ConsGNode_8h.html" target="_self">ConsGNode.h</a></td><td class="desc"></td></tr>
-<tr id="row_0_0_4_6_" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="DOTGraphTraits_8h_source.html"><span class="icondoc"></span></a><a class="el" href="DOTGraphTraits_8h.html" target="_self">DOTGraphTraits.h</a></td><td class="desc"></td></tr>
-<tr id="row_0_0_4_7_" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="GenericGraph_8h_source.html"><span class="icondoc"></span></a><a class="el" href="GenericGraph_8h.html" target="_self">GenericGraph.h</a></td><td class="desc"></td></tr>
-<tr id="row_0_0_4_8_" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="GraphPrinter_8h_source.html"><span class="icondoc"></span></a><a class="el" href="GraphPrinter_8h.html" target="_self">GraphPrinter.h</a></td><td class="desc"></td></tr>
-<tr id="row_0_0_4_9_" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="GraphTraits_8h_source.html"><span class="icondoc"></span></a><a class="el" href="GraphTraits_8h.html" target="_self">GraphTraits.h</a></td><td class="desc"></td></tr>
-<tr id="row_0_0_4_10_" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="GraphWriter_8h_source.html"><span class="icondoc"></span></a><a class="el" href="GraphWriter_8h.html" target="_self">GraphWriter.h</a></td><td class="desc"></td></tr>
-<tr id="row_0_0_4_11_" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="ICFG_8h_source.html"><span class="icondoc"></span></a><a class="el" href="ICFG_8h.html" target="_self">ICFG.h</a></td><td class="desc"></td></tr>
-<tr id="row_0_0_4_12_" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="ICFGEdge_8h_source.html"><span class="icondoc"></span></a><a class="el" href="ICFGEdge_8h.html" target="_self">ICFGEdge.h</a></td><td class="desc"></td></tr>
-<tr id="row_0_0_4_13_" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="ICFGNode_8h_source.html"><span class="icondoc"></span></a><a class="el" href="ICFGNode_8h.html" target="_self">ICFGNode.h</a></td><td class="desc"></td></tr>
-<tr id="row_0_0_4_14_" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="ICFGStat_8h_source.html"><span class="icondoc"></span></a><a class="el" href="ICFGStat_8h.html" target="_self">ICFGStat.h</a></td><td class="desc"></td></tr>
-<tr id="row_0_0_4_15_" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="IRGraph_8h_source.html"><span class="icondoc"></span></a><a class="el" href="IRGraph_8h.html" target="_self">IRGraph.h</a></td><td class="desc"></td></tr>
-<tr id="row_0_0_4_16_" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="PTACallGraph_8h_source.html"><span class="icondoc"></span></a><a class="el" href="PTACallGraph_8h.html" target="_self">PTACallGraph.h</a></td><td class="desc"></td></tr>
-<tr id="row_0_0_4_17_" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="SVFG_8h_source.html"><span class="icondoc"></span></a><a class="el" href="SVFG_8h.html" target="_self">SVFG.h</a></td><td class="desc"></td></tr>
-<tr id="row_0_0_4_18_" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="SVFGEdge_8h_source.html"><span class="icondoc"></span></a><a class="el" href="SVFGEdge_8h.html" target="_self">SVFGEdge.h</a></td><td class="desc"></td></tr>
-<tr id="row_0_0_4_19_" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="SVFGNode_8h_source.html"><span class="icondoc"></span></a><a class="el" href="SVFGNode_8h.html" target="_self">SVFGNode.h</a></td><td class="desc"></td></tr>
-<tr id="row_0_0_4_20_" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="SVFGOPT_8h_source.html"><span class="icondoc"></span></a><a class="el" href="SVFGOPT_8h.html" target="_self">SVFGOPT.h</a></td><td class="desc"></td></tr>
-<tr id="row_0_0_4_21_" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="SVFGStat_8h_source.html"><span class="icondoc"></span></a><a class="el" href="SVFGStat_8h.html" target="_self">SVFGStat.h</a></td><td class="desc"></td></tr>
-<tr id="row_0_0_4_22_" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="ThreadCallGraph_8h_source.html"><span class="icondoc"></span></a><a class="el" href="ThreadCallGraph_8h.html" target="_self">ThreadCallGraph.h</a></td><td class="desc"></td></tr>
-<tr id="row_0_0_4_23_" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="VFG_8h_source.html"><span class="icondoc"></span></a><a class="el" href="VFG_8h.html" target="_self">VFG.h</a></td><td class="desc"></td></tr>
-<tr id="row_0_0_4_24_" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="VFGEdge_8h_source.html"><span class="icondoc"></span></a><a class="el" href="VFGEdge_8h.html" target="_self">VFGEdge.h</a></td><td class="desc"></td></tr>
-<tr id="row_0_0_4_25_" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="VFGNode_8h_source.html"><span class="icondoc"></span></a><a class="el" href="VFGNode_8h.html" target="_self">VFGNode.h</a></td><td class="desc"></td></tr>
+<tr id="row_0_0_4_0_" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="CDG_8h_source.html"><span class="icondoc"></span></a><a class="el" href="CDG_8h.html" target="_self">CDG.h</a></td><td class="desc"></td></tr>
+<tr id="row_0_0_4_1_" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="CFBasicBlockG_8h_source.html"><span class="icondoc"></span></a><a class="el" href="CFBasicBlockG_8h.html" target="_self">CFBasicBlockG.h</a></td><td class="desc"></td></tr>
+<tr id="row_0_0_4_2_" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="CFLGraph_8h_source.html"><span class="icondoc"></span></a><a class="el" href="CFLGraph_8h.html" target="_self">CFLGraph.h</a></td><td class="desc"></td></tr>
+<tr id="row_0_0_4_3_" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="CHG_8h_source.html"><span class="icondoc"></span></a><a class="el" href="CHG_8h.html" target="_self">CHG.h</a></td><td class="desc"></td></tr>
+<tr id="row_0_0_4_4_" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="ConsG_8h_source.html"><span class="icondoc"></span></a><a class="el" href="ConsG_8h.html" target="_self">ConsG.h</a></td><td class="desc"></td></tr>
+<tr id="row_0_0_4_5_" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="ConsGEdge_8h_source.html"><span class="icondoc"></span></a><a class="el" href="ConsGEdge_8h.html" target="_self">ConsGEdge.h</a></td><td class="desc"></td></tr>
+<tr id="row_0_0_4_6_" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="ConsGNode_8h_source.html"><span class="icondoc"></span></a><a class="el" href="ConsGNode_8h.html" target="_self">ConsGNode.h</a></td><td class="desc"></td></tr>
+<tr id="row_0_0_4_7_" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="DOTGraphTraits_8h_source.html"><span class="icondoc"></span></a><a class="el" href="DOTGraphTraits_8h.html" target="_self">DOTGraphTraits.h</a></td><td class="desc"></td></tr>
+<tr id="row_0_0_4_8_" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="GenericGraph_8h_source.html"><span class="icondoc"></span></a><a class="el" href="GenericGraph_8h.html" target="_self">GenericGraph.h</a></td><td class="desc"></td></tr>
+<tr id="row_0_0_4_9_" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="GraphPrinter_8h_source.html"><span class="icondoc"></span></a><a class="el" href="GraphPrinter_8h.html" target="_self">GraphPrinter.h</a></td><td class="desc"></td></tr>
+<tr id="row_0_0_4_10_" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="GraphTraits_8h_source.html"><span class="icondoc"></span></a><a class="el" href="GraphTraits_8h.html" target="_self">GraphTraits.h</a></td><td class="desc"></td></tr>
+<tr id="row_0_0_4_11_" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="GraphWriter_8h_source.html"><span class="icondoc"></span></a><a class="el" href="GraphWriter_8h.html" target="_self">GraphWriter.h</a></td><td class="desc"></td></tr>
+<tr id="row_0_0_4_12_" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="ICFG_8h_source.html"><span class="icondoc"></span></a><a class="el" href="ICFG_8h.html" target="_self">ICFG.h</a></td><td class="desc"></td></tr>
+<tr id="row_0_0_4_13_" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="ICFGEdge_8h_source.html"><span class="icondoc"></span></a><a class="el" href="ICFGEdge_8h.html" target="_self">ICFGEdge.h</a></td><td class="desc"></td></tr>
+<tr id="row_0_0_4_14_" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="ICFGNode_8h_source.html"><span class="icondoc"></span></a><a class="el" href="ICFGNode_8h.html" target="_self">ICFGNode.h</a></td><td class="desc"></td></tr>
+<tr id="row_0_0_4_15_" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="ICFGStat_8h_source.html"><span class="icondoc"></span></a><a class="el" href="ICFGStat_8h.html" target="_self">ICFGStat.h</a></td><td class="desc"></td></tr>
+<tr id="row_0_0_4_16_" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="ICFGWrapper_8h_source.html"><span class="icondoc"></span></a><a class="el" href="ICFGWrapper_8h.html" target="_self">ICFGWrapper.h</a></td><td class="desc"></td></tr>
+<tr id="row_0_0_4_17_" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="IRGraph_8h_source.html"><span class="icondoc"></span></a><a class="el" href="IRGraph_8h.html" target="_self">IRGraph.h</a></td><td class="desc"></td></tr>
+<tr id="row_0_0_4_18_" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="PTACallGraph_8h_source.html"><span class="icondoc"></span></a><a class="el" href="PTACallGraph_8h.html" target="_self">PTACallGraph.h</a></td><td class="desc"></td></tr>
+<tr id="row_0_0_4_19_" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="SVFG_8h_source.html"><span class="icondoc"></span></a><a class="el" href="SVFG_8h.html" target="_self">SVFG.h</a></td><td class="desc"></td></tr>
+<tr id="row_0_0_4_20_" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="SVFGEdge_8h_source.html"><span class="icondoc"></span></a><a class="el" href="SVFGEdge_8h.html" target="_self">SVFGEdge.h</a></td><td class="desc"></td></tr>
+<tr id="row_0_0_4_21_" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="SVFGNode_8h_source.html"><span class="icondoc"></span></a><a class="el" href="SVFGNode_8h.html" target="_self">SVFGNode.h</a></td><td class="desc"></td></tr>
+<tr id="row_0_0_4_22_" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="SVFGOPT_8h_source.html"><span class="icondoc"></span></a><a class="el" href="SVFGOPT_8h.html" target="_self">SVFGOPT.h</a></td><td class="desc"></td></tr>
+<tr id="row_0_0_4_23_" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="SVFGStat_8h_source.html"><span class="icondoc"></span></a><a class="el" href="SVFGStat_8h.html" target="_self">SVFGStat.h</a></td><td class="desc"></td></tr>
+<tr id="row_0_0_4_24_" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="ThreadCallGraph_8h_source.html"><span class="icondoc"></span></a><a class="el" href="ThreadCallGraph_8h.html" target="_self">ThreadCallGraph.h</a></td><td class="desc"></td></tr>
+<tr id="row_0_0_4_25_" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="VFG_8h_source.html"><span class="icondoc"></span></a><a class="el" href="VFG_8h.html" target="_self">VFG.h</a></td><td class="desc"></td></tr>
+<tr id="row_0_0_4_26_" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="VFGEdge_8h_source.html"><span class="icondoc"></span></a><a class="el" href="VFGEdge_8h.html" target="_self">VFGEdge.h</a></td><td class="desc"></td></tr>
+<tr id="row_0_0_4_27_" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="VFGNode_8h_source.html"><span class="icondoc"></span></a><a class="el" href="VFGNode_8h.html" target="_self">VFGNode.h</a></td><td class="desc"></td></tr>
 <tr id="row_0_0_5_"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span id="arr_0_0_5_" class="arrow" onclick="toggleFolder('0_0_5_')">&#9658;</span><span id="img_0_0_5_" class="iconfclosed" onclick="toggleFolder('0_0_5_')">&#160;</span><a class="el" href="dir_2c6aa13248ecb79728f0356b6f37905a.html" target="_self">MemoryModel</a></td><td class="desc"></td></tr>
 <tr id="row_0_0_5_0_" class="even" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="AbstractPointsToDS_8h_source.html"><span class="icondoc"></span></a><a class="el" href="AbstractPointsToDS_8h.html" target="_self">AbstractPointsToDS.h</a></td><td class="desc"></td></tr>
 <tr id="row_0_0_5_1_" class="even" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="AccessPath_8h_source.html"><span class="icondoc"></span></a><a class="el" href="AccessPath_8h.html" target="_self">AccessPath.h</a></td><td class="desc"></td></tr>
@@ -184,27 +186,28 @@ $(function() {
 <tr id="row_0_0_10_1_" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="BitVector_8h_source.html"><span class="icondoc"></span></a><a class="el" href="BitVector_8h.html" target="_self">BitVector.h</a></td><td class="desc"></td></tr>
 <tr id="row_0_0_10_2_" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="CallGraphBuilder_8h_source.html"><span class="icondoc"></span></a><a class="el" href="CallGraphBuilder_8h.html" target="_self">CallGraphBuilder.h</a></td><td class="desc"></td></tr>
 <tr id="row_0_0_10_3_" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="Casting_8h_source.html"><span class="icondoc"></span></a><a class="el" href="Casting_8h.html" target="_self">Casting.h</a></td><td class="desc"></td></tr>
-<tr id="row_0_0_10_4_" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="cJSON_8h_source.html"><span class="icondoc"></span></a><a class="el" href="cJSON_8h.html" target="_self">cJSON.h</a></td><td class="desc"></td></tr>
-<tr id="row_0_0_10_5_" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="CommandLine_8h_source.html"><span class="icondoc"></span></a><a class="el" href="CommandLine_8h.html" target="_self">CommandLine.h</a></td><td class="desc"></td></tr>
-<tr id="row_0_0_10_6_" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="CoreBitVector_8h_source.html"><span class="icondoc"></span></a><a class="el" href="CoreBitVector_8h.html" target="_self">CoreBitVector.h</a></td><td class="desc"></td></tr>
-<tr id="row_0_0_10_7_" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="CppUtil_8h_source.html"><span class="icondoc"></span></a><a class="el" href="CppUtil_8h.html" target="_self">CppUtil.h</a></td><td class="desc"></td></tr>
-<tr id="row_0_0_10_8_" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="CxtStmt_8h_source.html"><span class="icondoc"></span></a><a class="el" href="CxtStmt_8h.html" target="_self">CxtStmt.h</a></td><td class="desc"></td></tr>
-<tr id="row_0_0_10_9_" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="DPItem_8h_source.html"><span class="icondoc"></span></a><a class="el" href="DPItem_8h.html" target="_self">DPItem.h</a></td><td class="desc"></td></tr>
-<tr id="row_0_0_10_10_" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="ExtAPI_8h_source.html"><span class="icondoc"></span></a><a class="el" href="ExtAPI_8h.html" target="_self">ExtAPI.h</a></td><td class="desc"></td></tr>
-<tr id="row_0_0_10_11_" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="GraphReachSolver_8h_source.html"><span class="icondoc"></span></a><a class="el" href="GraphReachSolver_8h.html" target="_self">GraphReachSolver.h</a></td><td class="desc"></td></tr>
-<tr id="row_0_0_10_12_" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="iterator_8h_source.html"><span class="icondoc"></span></a><a class="el" href="iterator_8h.html" target="_self">iterator.h</a></td><td class="desc"></td></tr>
-<tr id="row_0_0_10_13_" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="iterator__range_8h_source.html"><span class="icondoc"></span></a><a class="el" href="iterator__range_8h.html" target="_self">iterator_range.h</a></td><td class="desc"></td></tr>
-<tr id="row_0_0_10_14_" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="NodeIDAllocator_8h_source.html"><span class="icondoc"></span></a><a class="el" href="NodeIDAllocator_8h.html" target="_self">NodeIDAllocator.h</a></td><td class="desc"></td></tr>
-<tr id="row_0_0_10_15_" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="Options_8h_source.html"><span class="icondoc"></span></a><a class="el" href="Options_8h.html" target="_self">Options.h</a></td><td class="desc"></td></tr>
-<tr id="row_0_0_10_16_" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="PTAStat_8h_source.html"><span class="icondoc"></span></a><a class="el" href="PTAStat_8h.html" target="_self">PTAStat.h</a></td><td class="desc"></td></tr>
-<tr id="row_0_0_10_17_" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="SCC_8h_source.html"><span class="icondoc"></span></a><a class="el" href="SCC_8h.html" target="_self">SCC.h</a></td><td class="desc"></td></tr>
-<tr id="row_0_0_10_18_" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="SparseBitVector_8h_source.html"><span class="icondoc"></span></a><a class="el" href="SparseBitVector_8h.html" target="_self">SparseBitVector.h</a></td><td class="desc"></td></tr>
-<tr id="row_0_0_10_19_" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="SVFBugReport_8h_source.html"><span class="icondoc"></span></a><a class="el" href="SVFBugReport_8h.html" target="_self">SVFBugReport.h</a></td><td class="desc"></td></tr>
-<tr id="row_0_0_10_20_" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="SVFStat_8h_source.html"><span class="icondoc"></span></a><a class="el" href="SVFStat_8h.html" target="_self">SVFStat.h</a></td><td class="desc"></td></tr>
-<tr id="row_0_0_10_21_" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="SVFUtil_8h_source.html"><span class="icondoc"></span></a><a class="el" href="SVFUtil_8h.html" target="_self">SVFUtil.h</a></td><td class="desc"></td></tr>
-<tr id="row_0_0_10_22_" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="ThreadAPI_8h_source.html"><span class="icondoc"></span></a><a class="el" href="ThreadAPI_8h.html" target="_self">ThreadAPI.h</a></td><td class="desc"></td></tr>
-<tr id="row_0_0_10_23_" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="WorkList_8h_source.html"><span class="icondoc"></span></a><a class="el" href="WorkList_8h.html" target="_self">WorkList.h</a></td><td class="desc"></td></tr>
-<tr id="row_0_0_10_24_" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="Z3Expr_8h_source.html"><span class="icondoc"></span></a><a class="el" href="Z3Expr_8h.html" target="_self">Z3Expr.h</a></td><td class="desc"></td></tr>
+<tr id="row_0_0_10_4_" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="CDGBuilder_8h_source.html"><span class="icondoc"></span></a><a class="el" href="CDGBuilder_8h.html" target="_self">CDGBuilder.h</a></td><td class="desc"></td></tr>
+<tr id="row_0_0_10_5_" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="cJSON_8h_source.html"><span class="icondoc"></span></a><a class="el" href="cJSON_8h.html" target="_self">cJSON.h</a></td><td class="desc"></td></tr>
+<tr id="row_0_0_10_6_" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="CommandLine_8h_source.html"><span class="icondoc"></span></a><a class="el" href="CommandLine_8h.html" target="_self">CommandLine.h</a></td><td class="desc"></td></tr>
+<tr id="row_0_0_10_7_" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="CoreBitVector_8h_source.html"><span class="icondoc"></span></a><a class="el" href="CoreBitVector_8h.html" target="_self">CoreBitVector.h</a></td><td class="desc"></td></tr>
+<tr id="row_0_0_10_8_" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="CppUtil_8h_source.html"><span class="icondoc"></span></a><a class="el" href="CppUtil_8h.html" target="_self">CppUtil.h</a></td><td class="desc"></td></tr>
+<tr id="row_0_0_10_9_" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="CxtStmt_8h_source.html"><span class="icondoc"></span></a><a class="el" href="CxtStmt_8h.html" target="_self">CxtStmt.h</a></td><td class="desc"></td></tr>
+<tr id="row_0_0_10_10_" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="DPItem_8h_source.html"><span class="icondoc"></span></a><a class="el" href="DPItem_8h.html" target="_self">DPItem.h</a></td><td class="desc"></td></tr>
+<tr id="row_0_0_10_11_" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="ExtAPI_8h_source.html"><span class="icondoc"></span></a><a class="el" href="ExtAPI_8h.html" target="_self">ExtAPI.h</a></td><td class="desc"></td></tr>
+<tr id="row_0_0_10_12_" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="GraphReachSolver_8h_source.html"><span class="icondoc"></span></a><a class="el" href="GraphReachSolver_8h.html" target="_self">GraphReachSolver.h</a></td><td class="desc"></td></tr>
+<tr id="row_0_0_10_13_" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="iterator_8h_source.html"><span class="icondoc"></span></a><a class="el" href="iterator_8h.html" target="_self">iterator.h</a></td><td class="desc"></td></tr>
+<tr id="row_0_0_10_14_" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="iterator__range_8h_source.html"><span class="icondoc"></span></a><a class="el" href="iterator__range_8h.html" target="_self">iterator_range.h</a></td><td class="desc"></td></tr>
+<tr id="row_0_0_10_15_" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="NodeIDAllocator_8h_source.html"><span class="icondoc"></span></a><a class="el" href="NodeIDAllocator_8h.html" target="_self">NodeIDAllocator.h</a></td><td class="desc"></td></tr>
+<tr id="row_0_0_10_16_" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="Options_8h_source.html"><span class="icondoc"></span></a><a class="el" href="Options_8h.html" target="_self">Options.h</a></td><td class="desc"></td></tr>
+<tr id="row_0_0_10_17_" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="PTAStat_8h_source.html"><span class="icondoc"></span></a><a class="el" href="PTAStat_8h.html" target="_self">PTAStat.h</a></td><td class="desc"></td></tr>
+<tr id="row_0_0_10_18_" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="SCC_8h_source.html"><span class="icondoc"></span></a><a class="el" href="SCC_8h.html" target="_self">SCC.h</a></td><td class="desc"></td></tr>
+<tr id="row_0_0_10_19_" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="SparseBitVector_8h_source.html"><span class="icondoc"></span></a><a class="el" href="SparseBitVector_8h.html" target="_self">SparseBitVector.h</a></td><td class="desc"></td></tr>
+<tr id="row_0_0_10_20_" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="SVFBugReport_8h_source.html"><span class="icondoc"></span></a><a class="el" href="SVFBugReport_8h.html" target="_self">SVFBugReport.h</a></td><td class="desc"></td></tr>
+<tr id="row_0_0_10_21_" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="SVFStat_8h_source.html"><span class="icondoc"></span></a><a class="el" href="SVFStat_8h.html" target="_self">SVFStat.h</a></td><td class="desc"></td></tr>
+<tr id="row_0_0_10_22_" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="SVFUtil_8h_source.html"><span class="icondoc"></span></a><a class="el" href="SVFUtil_8h.html" target="_self">SVFUtil.h</a></td><td class="desc"></td></tr>
+<tr id="row_0_0_10_23_" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="ThreadAPI_8h_source.html"><span class="icondoc"></span></a><a class="el" href="ThreadAPI_8h.html" target="_self">ThreadAPI.h</a></td><td class="desc"></td></tr>
+<tr id="row_0_0_10_24_" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="WorkList_8h_source.html"><span class="icondoc"></span></a><a class="el" href="WorkList_8h.html" target="_self">WorkList.h</a></td><td class="desc"></td></tr>
+<tr id="row_0_0_10_25_" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="Z3Expr_8h_source.html"><span class="icondoc"></span></a><a class="el" href="Z3Expr_8h.html" target="_self">Z3Expr.h</a></td><td class="desc"></td></tr>
 <tr id="row_0_0_11_"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span id="arr_0_0_11_" class="arrow" onclick="toggleFolder('0_0_11_')">&#9658;</span><span id="img_0_0_11_" class="iconfclosed" onclick="toggleFolder('0_0_11_')">&#160;</span><a class="el" href="dir_44b8a8a7d90ce8b5d86cad1dadeedb05.html" target="_self">WPA</a></td><td class="desc"></td></tr>
 <tr id="row_0_0_11_0_" class="even" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="Andersen_8h_source.html"><span class="icondoc"></span></a><a class="el" href="Andersen_8h.html" target="_self">Andersen.h</a></td><td class="desc"></td></tr>
 <tr id="row_0_0_11_1_" class="even" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="AndersenPWC_8h_source.html"><span class="icondoc"></span></a><a class="el" href="AndersenPWC_8h.html" target="_self">AndersenPWC.h</a></td><td class="desc"></td></tr>
@@ -250,20 +253,22 @@ $(function() {
 <tr id="row_0_1_3_1_" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="fastcluster__dm_8cpp_8inc_source.html"><span class="icondoc"></span></a><a class="el" href="fastcluster__dm_8cpp_8inc.html" target="_self">fastcluster_dm.cpp.inc</a></td><td class="desc"></td></tr>
 <tr id="row_0_1_3_2_" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="fastcluster__R__dm_8cpp_8inc_source.html"><span class="icondoc"></span></a><a class="el" href="fastcluster__R__dm_8cpp_8inc.html" target="_self">fastcluster_R_dm.cpp.inc</a></td><td class="desc"></td></tr>
 <tr id="row_0_1_4_"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span id="arr_0_1_4_" class="arrow" onclick="toggleFolder('0_1_4_')">&#9658;</span><span id="img_0_1_4_" class="iconfclosed" onclick="toggleFolder('0_1_4_')">&#160;</span><a class="el" href="dir_a10fe8a299b5f0831d187a9a2e1308ef.html" target="_self">Graphs</a></td><td class="desc"></td></tr>
-<tr id="row_0_1_4_0_" class="even" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="CFBasicBlockG_8cpp_source.html"><span class="icondoc"></span></a><a class="el" href="CFBasicBlockG_8cpp.html" target="_self">CFBasicBlockG.cpp</a></td><td class="desc"></td></tr>
-<tr id="row_0_1_4_1_" class="even" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="CFLGraph_8cpp_source.html"><span class="icondoc"></span></a><a class="el" href="CFLGraph_8cpp.html" target="_self">CFLGraph.cpp</a></td><td class="desc"></td></tr>
-<tr id="row_0_1_4_2_" class="even" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="CHG_8cpp_source.html"><span class="icondoc"></span></a><a class="el" href="CHG_8cpp.html" target="_self">CHG.cpp</a></td><td class="desc"></td></tr>
-<tr id="row_0_1_4_3_" class="even" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="ConsG_8cpp_source.html"><span class="icondoc"></span></a><a class="el" href="ConsG_8cpp.html" target="_self">ConsG.cpp</a></td><td class="desc"></td></tr>
-<tr id="row_0_1_4_4_" class="even" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="GraphWriter_8cpp_source.html"><span class="icondoc"></span></a><a class="el" href="GraphWriter_8cpp.html" target="_self">GraphWriter.cpp</a></td><td class="desc"></td></tr>
-<tr id="row_0_1_4_5_" class="even" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="ICFG_8cpp_source.html"><span class="icondoc"></span></a><a class="el" href="ICFG_8cpp.html" target="_self">ICFG.cpp</a></td><td class="desc"></td></tr>
-<tr id="row_0_1_4_6_" class="even" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="IRGraph_8cpp_source.html"><span class="icondoc"></span></a><a class="el" href="IRGraph_8cpp.html" target="_self">IRGraph.cpp</a></td><td class="desc"></td></tr>
-<tr id="row_0_1_4_7_" class="even" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="PTACallGraph_8cpp_source.html"><span class="icondoc"></span></a><a class="el" href="PTACallGraph_8cpp.html" target="_self">PTACallGraph.cpp</a></td><td class="desc"></td></tr>
-<tr id="row_0_1_4_8_" class="even" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="SVFG_8cpp_source.html"><span class="icondoc"></span></a><a class="el" href="SVFG_8cpp.html" target="_self">SVFG.cpp</a></td><td class="desc"></td></tr>
-<tr id="row_0_1_4_9_" class="even" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="SVFGOPT_8cpp_source.html"><span class="icondoc"></span></a><a class="el" href="SVFGOPT_8cpp.html" target="_self">SVFGOPT.cpp</a></td><td class="desc"></td></tr>
-<tr id="row_0_1_4_10_" class="even" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="SVFGReadWrite_8cpp_source.html"><span class="icondoc"></span></a><a class="el" href="SVFGReadWrite_8cpp.html" target="_self">SVFGReadWrite.cpp</a></td><td class="desc"></td></tr>
-<tr id="row_0_1_4_11_" class="even" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="SVFGStat_8cpp_source.html"><span class="icondoc"></span></a><a class="el" href="SVFGStat_8cpp.html" target="_self">SVFGStat.cpp</a></td><td class="desc"></td></tr>
-<tr id="row_0_1_4_12_" class="even" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="ThreadCallGraph_8cpp_source.html"><span class="icondoc"></span></a><a class="el" href="ThreadCallGraph_8cpp.html" target="_self">ThreadCallGraph.cpp</a></td><td class="desc"></td></tr>
-<tr id="row_0_1_4_13_" class="even" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="VFG_8cpp_source.html"><span class="icondoc"></span></a><a class="el" href="VFG_8cpp.html" target="_self">VFG.cpp</a></td><td class="desc"></td></tr>
+<tr id="row_0_1_4_0_" class="even" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="CDG_8cpp_source.html"><span class="icondoc"></span></a><a class="el" href="CDG_8cpp.html" target="_self">CDG.cpp</a></td><td class="desc"></td></tr>
+<tr id="row_0_1_4_1_" class="even" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="CFBasicBlockG_8cpp_source.html"><span class="icondoc"></span></a><a class="el" href="CFBasicBlockG_8cpp.html" target="_self">CFBasicBlockG.cpp</a></td><td class="desc"></td></tr>
+<tr id="row_0_1_4_2_" class="even" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="CFLGraph_8cpp_source.html"><span class="icondoc"></span></a><a class="el" href="CFLGraph_8cpp.html" target="_self">CFLGraph.cpp</a></td><td class="desc"></td></tr>
+<tr id="row_0_1_4_3_" class="even" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="CHG_8cpp_source.html"><span class="icondoc"></span></a><a class="el" href="CHG_8cpp.html" target="_self">CHG.cpp</a></td><td class="desc"></td></tr>
+<tr id="row_0_1_4_4_" class="even" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="ConsG_8cpp_source.html"><span class="icondoc"></span></a><a class="el" href="ConsG_8cpp.html" target="_self">ConsG.cpp</a></td><td class="desc"></td></tr>
+<tr id="row_0_1_4_5_" class="even" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="GraphWriter_8cpp_source.html"><span class="icondoc"></span></a><a class="el" href="GraphWriter_8cpp.html" target="_self">GraphWriter.cpp</a></td><td class="desc"></td></tr>
+<tr id="row_0_1_4_6_" class="even" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="ICFG_8cpp_source.html"><span class="icondoc"></span></a><a class="el" href="ICFG_8cpp.html" target="_self">ICFG.cpp</a></td><td class="desc"></td></tr>
+<tr id="row_0_1_4_7_" class="even" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="ICFGWrapper_8cpp_source.html"><span class="icondoc"></span></a><a class="el" href="ICFGWrapper_8cpp.html" target="_self">ICFGWrapper.cpp</a></td><td class="desc"></td></tr>
+<tr id="row_0_1_4_8_" class="even" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="IRGraph_8cpp_source.html"><span class="icondoc"></span></a><a class="el" href="IRGraph_8cpp.html" target="_self">IRGraph.cpp</a></td><td class="desc"></td></tr>
+<tr id="row_0_1_4_9_" class="even" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="PTACallGraph_8cpp_source.html"><span class="icondoc"></span></a><a class="el" href="PTACallGraph_8cpp.html" target="_self">PTACallGraph.cpp</a></td><td class="desc"></td></tr>
+<tr id="row_0_1_4_10_" class="even" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="SVFG_8cpp_source.html"><span class="icondoc"></span></a><a class="el" href="SVFG_8cpp.html" target="_self">SVFG.cpp</a></td><td class="desc"></td></tr>
+<tr id="row_0_1_4_11_" class="even" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="SVFGOPT_8cpp_source.html"><span class="icondoc"></span></a><a class="el" href="SVFGOPT_8cpp.html" target="_self">SVFGOPT.cpp</a></td><td class="desc"></td></tr>
+<tr id="row_0_1_4_12_" class="even" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="SVFGReadWrite_8cpp_source.html"><span class="icondoc"></span></a><a class="el" href="SVFGReadWrite_8cpp.html" target="_self">SVFGReadWrite.cpp</a></td><td class="desc"></td></tr>
+<tr id="row_0_1_4_13_" class="even" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="SVFGStat_8cpp_source.html"><span class="icondoc"></span></a><a class="el" href="SVFGStat_8cpp.html" target="_self">SVFGStat.cpp</a></td><td class="desc"></td></tr>
+<tr id="row_0_1_4_14_" class="even" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="ThreadCallGraph_8cpp_source.html"><span class="icondoc"></span></a><a class="el" href="ThreadCallGraph_8cpp.html" target="_self">ThreadCallGraph.cpp</a></td><td class="desc"></td></tr>
+<tr id="row_0_1_4_15_" class="even" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="VFG_8cpp_source.html"><span class="icondoc"></span></a><a class="el" href="VFG_8cpp.html" target="_self">VFG.cpp</a></td><td class="desc"></td></tr>
 <tr id="row_0_1_5_" class="even"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span id="arr_0_1_5_" class="arrow" onclick="toggleFolder('0_1_5_')">&#9658;</span><span id="img_0_1_5_" class="iconfclosed" onclick="toggleFolder('0_1_5_')">&#160;</span><a class="el" href="dir_972c7d61a49accb20570f575a5ebb113.html" target="_self">MemoryModel</a></td><td class="desc"></td></tr>
 <tr id="row_0_1_5_0_" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="AccessPath_8cpp_source.html"><span class="icondoc"></span></a><a class="el" href="AccessPath_8cpp.html" target="_self">AccessPath.cpp</a></td><td class="desc"></td></tr>
 <tr id="row_0_1_5_1_" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="PointerAnalysis_8cpp_source.html"><span class="icondoc"></span></a><a class="el" href="PointerAnalysis_8cpp.html" target="_self">PointerAnalysis.cpp</a></td><td class="desc"></td></tr>
@@ -304,18 +309,19 @@ $(function() {
 <tr id="row_0_1_10_"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span id="arr_0_1_10_" class="arrow" onclick="toggleFolder('0_1_10_')">&#9658;</span><span id="img_0_1_10_" class="iconfclosed" onclick="toggleFolder('0_1_10_')">&#160;</span><a class="el" href="dir_fee120689dee99ef16f8bfcaa7a76083.html" target="_self">Util</a></td><td class="desc"></td></tr>
 <tr id="row_0_1_10_0_" class="even" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="BitVector_8cpp_source.html"><span class="icondoc"></span></a><a class="el" href="BitVector_8cpp.html" target="_self">BitVector.cpp</a></td><td class="desc"></td></tr>
 <tr id="row_0_1_10_1_" class="even" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="CallGraphBuilder_8cpp_source.html"><span class="icondoc"></span></a><a class="el" href="CallGraphBuilder_8cpp.html" target="_self">CallGraphBuilder.cpp</a></td><td class="desc"></td></tr>
-<tr id="row_0_1_10_2_" class="even" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="cJSON_8cpp_source.html"><span class="icondoc"></span></a><a class="el" href="cJSON_8cpp.html" target="_self">cJSON.cpp</a></td><td class="desc"></td></tr>
-<tr id="row_0_1_10_3_" class="even" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="CoreBitVector_8cpp_source.html"><span class="icondoc"></span></a><a class="el" href="CoreBitVector_8cpp.html" target="_self">CoreBitVector.cpp</a></td><td class="desc"></td></tr>
-<tr id="row_0_1_10_4_" class="even" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="CppUtil_8cpp_source.html"><span class="icondoc"></span></a><a class="el" href="CppUtil_8cpp.html" target="_self">CppUtil.cpp</a></td><td class="desc"></td></tr>
-<tr id="row_0_1_10_5_" class="even" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="ExtAPI_8cpp_source.html"><span class="icondoc"></span></a><a class="el" href="ExtAPI_8cpp.html" target="_self">ExtAPI.cpp</a></td><td class="desc"></td></tr>
-<tr id="row_0_1_10_6_" class="even" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="NodeIDAllocator_8cpp_source.html"><span class="icondoc"></span></a><a class="el" href="NodeIDAllocator_8cpp.html" target="_self">NodeIDAllocator.cpp</a></td><td class="desc"></td></tr>
-<tr id="row_0_1_10_7_" class="even" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="Options_8cpp_source.html"><span class="icondoc"></span></a><a class="el" href="Options_8cpp.html" target="_self">Options.cpp</a></td><td class="desc"></td></tr>
-<tr id="row_0_1_10_8_" class="even" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="PTAStat_8cpp_source.html"><span class="icondoc"></span></a><a class="el" href="PTAStat_8cpp.html" target="_self">PTAStat.cpp</a></td><td class="desc"></td></tr>
-<tr id="row_0_1_10_9_" class="even" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="SVFBugReport_8cpp_source.html"><span class="icondoc"></span></a><a class="el" href="SVFBugReport_8cpp.html" target="_self">SVFBugReport.cpp</a></td><td class="desc"></td></tr>
-<tr id="row_0_1_10_10_" class="even" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="SVFStat_8cpp_source.html"><span class="icondoc"></span></a><a class="el" href="SVFStat_8cpp.html" target="_self">SVFStat.cpp</a></td><td class="desc"></td></tr>
-<tr id="row_0_1_10_11_" class="even" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="SVFUtil_8cpp_source.html"><span class="icondoc"></span></a><a class="el" href="SVFUtil_8cpp.html" target="_self">SVFUtil.cpp</a></td><td class="desc"></td></tr>
-<tr id="row_0_1_10_12_" class="even" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="ThreadAPI_8cpp_source.html"><span class="icondoc"></span></a><a class="el" href="ThreadAPI_8cpp.html" target="_self">ThreadAPI.cpp</a></td><td class="desc"></td></tr>
-<tr id="row_0_1_10_13_" class="even" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="Z3Expr_8cpp_source.html"><span class="icondoc"></span></a><a class="el" href="Z3Expr_8cpp.html" target="_self">Z3Expr.cpp</a></td><td class="desc"></td></tr>
+<tr id="row_0_1_10_2_" class="even" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="CDGBuilder_8cpp_source.html"><span class="icondoc"></span></a><a class="el" href="CDGBuilder_8cpp.html" target="_self">CDGBuilder.cpp</a></td><td class="desc"></td></tr>
+<tr id="row_0_1_10_3_" class="even" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="cJSON_8cpp_source.html"><span class="icondoc"></span></a><a class="el" href="cJSON_8cpp.html" target="_self">cJSON.cpp</a></td><td class="desc"></td></tr>
+<tr id="row_0_1_10_4_" class="even" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="CoreBitVector_8cpp_source.html"><span class="icondoc"></span></a><a class="el" href="CoreBitVector_8cpp.html" target="_self">CoreBitVector.cpp</a></td><td class="desc"></td></tr>
+<tr id="row_0_1_10_5_" class="even" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="CppUtil_8cpp_source.html"><span class="icondoc"></span></a><a class="el" href="CppUtil_8cpp.html" target="_self">CppUtil.cpp</a></td><td class="desc"></td></tr>
+<tr id="row_0_1_10_6_" class="even" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="ExtAPI_8cpp_source.html"><span class="icondoc"></span></a><a class="el" href="ExtAPI_8cpp.html" target="_self">ExtAPI.cpp</a></td><td class="desc"></td></tr>
+<tr id="row_0_1_10_7_" class="even" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="NodeIDAllocator_8cpp_source.html"><span class="icondoc"></span></a><a class="el" href="NodeIDAllocator_8cpp.html" target="_self">NodeIDAllocator.cpp</a></td><td class="desc"></td></tr>
+<tr id="row_0_1_10_8_" class="even" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="Options_8cpp_source.html"><span class="icondoc"></span></a><a class="el" href="Options_8cpp.html" target="_self">Options.cpp</a></td><td class="desc"></td></tr>
+<tr id="row_0_1_10_9_" class="even" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="PTAStat_8cpp_source.html"><span class="icondoc"></span></a><a class="el" href="PTAStat_8cpp.html" target="_self">PTAStat.cpp</a></td><td class="desc"></td></tr>
+<tr id="row_0_1_10_10_" class="even" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="SVFBugReport_8cpp_source.html"><span class="icondoc"></span></a><a class="el" href="SVFBugReport_8cpp.html" target="_self">SVFBugReport.cpp</a></td><td class="desc"></td></tr>
+<tr id="row_0_1_10_11_" class="even" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="SVFStat_8cpp_source.html"><span class="icondoc"></span></a><a class="el" href="SVFStat_8cpp.html" target="_self">SVFStat.cpp</a></td><td class="desc"></td></tr>
+<tr id="row_0_1_10_12_" class="even" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="SVFUtil_8cpp_source.html"><span class="icondoc"></span></a><a class="el" href="SVFUtil_8cpp.html" target="_self">SVFUtil.cpp</a></td><td class="desc"></td></tr>
+<tr id="row_0_1_10_13_" class="even" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="ThreadAPI_8cpp_source.html"><span class="icondoc"></span></a><a class="el" href="ThreadAPI_8cpp.html" target="_self">ThreadAPI.cpp</a></td><td class="desc"></td></tr>
+<tr id="row_0_1_10_14_" class="even" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="Z3Expr_8cpp_source.html"><span class="icondoc"></span></a><a class="el" href="Z3Expr_8cpp.html" target="_self">Z3Expr.cpp</a></td><td class="desc"></td></tr>
 <tr id="row_0_1_11_" class="even"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span id="arr_0_1_11_" class="arrow" onclick="toggleFolder('0_1_11_')">&#9658;</span><span id="img_0_1_11_" class="iconfclosed" onclick="toggleFolder('0_1_11_')">&#160;</span><a class="el" href="dir_42bed6b03650e8dc21dc01d3676490df.html" target="_self">WPA</a></td><td class="desc"></td></tr>
 <tr id="row_0_1_11_0_" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="Andersen_8cpp_source.html"><span class="icondoc"></span></a><a class="el" href="Andersen_8cpp.html" target="_self">Andersen.cpp</a></td><td class="desc"></td></tr>
 <tr id="row_0_1_11_1_" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="AndersenSCD_8cpp_source.html"><span class="icondoc"></span></a><a class="el" href="AndersenSCD_8cpp.html" target="_self">AndersenSCD.cpp</a></td><td class="desc"></td></tr>

package/SVF-doxygen/html/html/functions.html

@@ -114,6 +114,9 @@ $(function() {
 <li>_callGraphSCC
 : <a class="el" href="classSVF_1_1DDAVFSolver.html#a4c307d486756daa1e79595b1e9edc40a">SVF::DDAVFSolver&lt; CVar, CPtSet, DPIm &gt;</a>
 </li>
+<li>_callICFGNodeWrapper
+: <a class="el" href="classSVF_1_1ICFGNodeWrapper.html#aae0a4bfca8e74af69c570f9a25a4a126">SVF::ICFGNodeWrapper</a>
+</li>
 <li>_CFBasicBlockG
 : <a class="el" href="classSVF_1_1CFBasicBlockGBuilder.html#a4a298a45e54cbaf41cdf44aeea1a63f3">SVF::CFBasicBlockGBuilder</a>
 </li>
@@ -132,6 +135,9 @@ $(function() {
 <li>_consG
 : <a class="el" href="classSVF_1_1CSC.html#a549a0a410b1ca9eeb22c05dd93761560">SVF::CSC</a>
 </li>
+<li>_controlDG
+: <a class="el" href="classSVF_1_1CDGBuilder.html#abd60cdbb947fe63accc2fea3683b81e4">SVF::CDGBuilder</a>
+</li>
 <li>_curIter
 : <a class="el" href="classSVF_1_1CondPointsToSet_1_1CondPtsSetIterator.html#a991ef07c78bd5a80cd62a398514f38ae">SVF::CondPointsToSet&lt; Cond &gt;::CondPtsSetIterator</a>
 </li>
@@ -145,6 +151,9 @@ $(function() {
 : <a class="el" href="classSVF_1_1CSC.html#a0eaf3a742fb8003b031528ee7c1c4799">SVF::CSC</a>
 , <a class="el" href="classSVF_1_1SCCDetection.html#a58b7ae8ed203311628dc5a84e1e79a5e">SVF::SCCDetection&lt; GraphType &gt;</a>
 </li>
+<li>_edgeWrapperNum
+: <a class="el" href="classSVF_1_1ICFGWrapper.html#a1217fa89fbfaa2d3eceb6dc3fa281b3e">SVF::ICFGWrapper</a>
+</li>
 <li>_endIter
 : <a class="el" href="classSVF_1_1CondPointsToSet_1_1CondPtsSetIterator.html#a9ffed93e0d4ae4b1431689b7fa5d6082">SVF::CondPointsToSet&lt; Cond &gt;::CondPtsSetIterator</a>
 </li>
@@ -155,6 +164,12 @@ $(function() {
 <li>_exeState
 : <a class="el" href="classSVF_1_1SymState.html#a10f55ddb22731a3c50bff12c6afdbd50">SVF::SymState</a>
 </li>
+<li>_funcToFunEntry
+: <a class="el" href="classSVF_1_1ICFGWrapper.html#a46883363840546f7b1b72c3726af9c54">SVF::ICFGWrapper</a>
+</li>
+<li>_funcToFunExit
+: <a class="el" href="classSVF_1_1ICFGWrapper.html#a4db9cf41b8fd87e950989ba26edbec5f">SVF::ICFGWrapper</a>
+</li>
 <li>_graph
 : <a class="el" href="classSVF_1_1GraphReachSolver.html#af486b67b972d797107ec82f3f7988668">SVF::GraphReachSolver&lt; GraphType, DPIm &gt;</a>
 , <a class="el" href="classSVF_1_1SCCDetection.html#a2123596f26729d61b241cf468d8925d8">SVF::SCCDetection&lt; GraphType &gt;</a>
@@ -181,9 +196,22 @@ $(function() {
 : <a class="el" href="classSVF_1_1CSC.html#af58e474ee7605663fd04fce58dc029d1">SVF::CSC</a>
 , <a class="el" href="classSVF_1_1SCCDetection.html#a9105051438f60587df95a9dba618d008">SVF::SCCDetection&lt; GraphType &gt;</a>
 </li>
+<li>_icfg
+: <a class="el" href="classSVF_1_1ICFGWrapper.html#a8eb126193a64d4c5c4dbc6db1ee770c0">SVF::ICFGWrapper</a>
+</li>
+<li>_icfgEdge
+: <a class="el" href="classSVF_1_1ICFGEdgeWrapper.html#a0b964c6ea18a4bb0ce59cfb4e226287e">SVF::ICFGEdgeWrapper</a>
+</li>
+<li>_icfgNode
+: <a class="el" href="classSVF_1_1CDGNode.html#a57d10ca10f4f5ac763f80515781b44ba">SVF::CDGNode</a>
+, <a class="el" href="classSVF_1_1ICFGNodeWrapper.html#afb1a2b1811794e94a05db2b6341e7e00">SVF::ICFGNodeWrapper</a>
+</li>
 <li>_icfgNodes
 : <a class="el" href="classSVF_1_1CFBasicBlockNode.html#a72e47a6254620d0b65a8d1182777440a">SVF::CFBasicBlockNode</a>
 </li>
+<li>_icfgWrapper
+: <a class="el" href="classSVF_1_1ICFGWrapper.html#a674cf5a565b1474045c81c33262ee95f">SVF::ICFGWrapper</a>
+</li>
 <li>_inSCC
 : <a class="el" href="classSVF_1_1SCCDetection_1_1GNodeSCCInfo.html#af3290b2321a70b3acd00927afe87911d">SVF::SCCDetection&lt; GraphType &gt;::GNodeSCCInfo</a>
 </li>
@@ -253,6 +281,12 @@ $(function() {
 <li>_node
 : <a class="el" href="classSVF_1_1CFBasicBlockGWTONode.html#a2c032aada23502c3e71921e338f0db9f">SVF::CFBasicBlockGWTONode</a>
 </li>
+<li>_nodeControlMap
+: <a class="el" href="classSVF_1_1CDGBuilder.html#a0774da5d81fe9e454800c63f2ada4a00">SVF::CDGBuilder</a>
+</li>
+<li>_nodeDependentOnMap
+: <a class="el" href="classSVF_1_1CDGBuilder.html#ae62cf8bbe09fcccbace46375f5b043f8">SVF::CDGBuilder</a>
+</li>
 <li>_NodeSCCAuxInfo
 : <a class="el" href="classSVF_1_1SCCDetection.html#a55e1ac9dff59ff78d02e8799d306215b">SVF::SCCDetection&lt; GraphType &gt;</a>
 </li>
@@ -266,6 +300,9 @@ $(function() {
 : <a class="el" href="classSVF_1_1CFBasicBlockGWTO_1_1TailBuilder.html#a0a06c8bb53552030d11398955eae665c">SVF::CFBasicBlockGWTO::TailBuilder</a>
 , <a class="el" href="classSVF_1_1CFBasicBlockGWTO_1_1WTOCycleDepthBuilder.html#acf93107c39ff71f30c678edd38ec21ad">SVF::CFBasicBlockGWTO::WTOCycleDepthBuilder</a>
 </li>
+<li>_nodeWrapperNum
+: <a class="el" href="classSVF_1_1ICFGWrapper.html#a4bf30edde695c64288311491744f3447">SVF::ICFGWrapper</a>
+</li>
 <li>_num
 : <a class="el" href="classSVF_1_1CFBasicBlockGWTO.html#a6f04a2b3e141e0b4df24ec6cfdf79532">SVF::CFBasicBlockGWTO</a>
 </li>
@@ -405,6 +442,9 @@ $(function() {
 <li>_rep
 : <a class="el" href="classSVF_1_1SCCDetection_1_1GNodeSCCInfo.html#a99f3c75c72892cf364b808ff7e773a51">SVF::SCCDetection&lt; GraphType &gt;::GNodeSCCInfo</a>
 </li>
+<li>_retICFGNodeWrapper
+: <a class="el" href="classSVF_1_1ICFGNodeWrapper.html#a6a19151c50fdd1201970ae4152f6d70b">SVF::ICFGNodeWrapper</a>
+</li>
 <li>_S
 : <a class="el" href="classSVF_1_1CSC.html#a44dbda27203499770ed1315366218c51">SVF::CSC</a>
 </li>
@@ -426,6 +466,12 @@ $(function() {
 <li>_svfBasicBlock
 : <a class="el" href="classSVF_1_1CFBasicBlockNode.html#a5cc563d66215225affbdd71d49e4a5c8">SVF::CFBasicBlockNode</a>
 </li>
+<li>_svfcontrolMap
+: <a class="el" href="classSVF_1_1CDGBuilder.html#ab24b985813e362f9470593e615c4c613">SVF::CDGBuilder</a>
+</li>
+<li>_svfdependentOnMap
+: <a class="el" href="classSVF_1_1CDGBuilder.html#a243ef2e6fa014ab5814a2200f92cc93e">SVF::CDGBuilder</a>
+</li>
 <li>_svfFunction
 : <a class="el" href="classSVF_1_1CFBasicBlockGraph.html#a3b3b8c637c6bbbbf0f199ab83d498391">SVF::CFBasicBlockGraph</a>
 </li>