svf-tools 1.0.317 → 1.0.321

package/SVF-doxygen/html/html/dda_8cpp_source.html

@@ -68,7 +68,7 @@ $(function() {
 <div class="contents">
 <a href="dda_8cpp.html">Go to the documentation of this file.</a><div class="fragment"><div class="line"><a name="l00001"></a><span class="lineno">    1</span>&#160;<span class="comment">/*</span></div><div class="line"><a name="l00002"></a><span class="lineno">    2</span>&#160;<span class="comment"> // On Demand Value Flow Analysis</span></div><div class="line"><a name="l00003"></a><span class="lineno">    3</span>&#160;<span class="comment"> //</span></div><div class="line"><a name="l00004"></a><span class="lineno">    4</span>&#160;<span class="comment"> // Author: Yulei Sui,</span></div><div class="line"><a name="l00005"></a><span class="lineno">    5</span>&#160;<span class="comment"> */</span></div><div class="line"><a name="l00006"></a><span class="lineno">    6</span>&#160;</div><div class="line"><a name="l00007"></a><span class="lineno">    7</span>&#160;<span class="comment">//#include &quot;AliasUtil/AliasAnalysisCounter.h&quot;</span></div><div class="line"><a name="l00008"></a><span class="lineno">    8</span>&#160;<span class="comment">//#include &quot;MemoryModel/ComTypeModel.h&quot;</span></div><div class="line"><a name="l00009"></a><span class="lineno">    9</span>&#160;<span class="preprocessor">#include &quot;<a class="code" href="LLVMUtil_8h.html">SVF-FE/LLVMUtil.h</a>&quot;</span></div><div class="line"><a name="l00010"></a><span class="lineno">   10</span>&#160;<span class="preprocessor">#include &quot;<a class="code" href="DDAPass_8h.html">DDA/DDAPass.h</a>&quot;</span></div><div class="line"><a name="l00011"></a><span class="lineno">   11</span>&#160;<span class="preprocessor">#include &quot;<a class="code" href="Options_8h.html">Util/Options.h</a>&quot;</span></div><div class="line"><a name="l00012"></a><span class="lineno">   12</span>&#160;</div><div class="line"><a name="l00013"></a><span class="lineno">   13</span>&#160;<span class="keyword">using namespace </span><a class="code" href="namespacellvm.html">llvm</a>;</div><div class="line"><a name="l00014"></a><span class="lineno">   14</span>&#160;<span class="keyword">using namespace </span><a class="code" href="namespaceSVF.html">SVF</a>;</div><div class="line"><a name="l00015"></a><span class="lineno">   15</span>&#160;</div><div class="line"><a name="l00016"></a><span class="lineno">   16</span>&#160;<span class="keyword">static</span> cl::opt&lt;std::string&gt; <a class="code" href="dda_8cpp.html#a17d2e24d913aaa7484a3e226255019b7">InputFilename</a>(cl::Positional,</div><div class="line"><a name="l00017"></a><span class="lineno">   17</span>&#160;        cl::desc(<span class="stringliteral">&quot;&lt;input bitcode&gt;&quot;</span>), cl::init(<span class="stringliteral">&quot;-&quot;</span>));</div><div class="line"><a name="l00018"></a><span class="lineno">   18</span>&#160;</div><div class="line"><a name="l00019"></a><span class="lineno">   19</span>&#160;<span class="keyword">static</span> cl::opt&lt;bool&gt;</div><div class="line"><a name="l00020"></a><span class="lineno">   20</span>&#160;<a class="code" href="dda_8cpp.html#afffbd7760f0128b74c9dbfd517d0f99e">StandardCompileOpts</a>(<span class="stringliteral">&quot;std-compile-opts&quot;</span>,</div><div class="line"><a name="l00021"></a><span class="lineno">   21</span>&#160;                    cl::desc(<span class="stringliteral">&quot;Include the standard compile time optimizations&quot;</span>));</div><div class="line"><a name="l00022"></a><span class="lineno">   22</span>&#160;</div><div class="line"><a name="l00023"></a><span class="lineno">   23</span>&#160;<span class="comment">//static cl::list&lt;const PassInfo*, bool, PassNameParser&gt;</span></div><div class="line"><a name="l00024"></a><span class="lineno">   24</span>&#160;<span class="comment">//PassList(cl::desc(&quot;Optimizations available:&quot;));</span></div><div class="line"><a name="l00025"></a><span class="lineno">   25</span>&#160;</div><div class="line"><a name="l00026"></a><span class="lineno">   26</span>&#160;<span class="keyword">static</span> cl::opt&lt;bool&gt; <a class="code" href="dda_8cpp.html#a55c1167d4e6efe7828f050d978291725">DAA</a>(<span class="stringliteral">&quot;daa&quot;</span>, cl::init(<span class="keyword">false</span>),</div><div class="line"><a name="l00027"></a><span class="lineno">   27</span>&#160;                         cl::desc(<span class="stringliteral">&quot;Demand-Driven Alias Analysis Pass&quot;</span>));</div><div class="line"><a name="l00028"></a><span class="lineno">   28</span>&#160;</div><div class="line"><a name="l00029"></a><span class="lineno">   29</span>&#160;<span class="keyword">static</span> cl::opt&lt;bool&gt; <a class="code" href="dda_8cpp.html#a5ed1de5ad06cf459c1b4e63685316618">REGPT</a>(<span class="stringliteral">&quot;dreg&quot;</span>, cl::init(<span class="keyword">false</span>),</div><div class="line"><a name="l00030"></a><span class="lineno">   30</span>&#160;                           cl::desc(<span class="stringliteral">&quot;Demand-driven regular points-to analysis&quot;</span>));</div><div class="line"><a name="l00031"></a><span class="lineno">   31</span>&#160;</div><div class="line"><a name="l00032"></a><span class="lineno">   32</span>&#160;<span class="keyword">static</span> cl::opt&lt;bool&gt; <a class="code" href="dda_8cpp.html#a3abc2ce6737d192a5c3f967734fe8389">RFINEPT</a>(<span class="stringliteral">&quot;dref&quot;</span>, cl::init(<span class="keyword">false</span>),</div><div class="line"><a name="l00033"></a><span class="lineno">   33</span>&#160;                             cl::desc(<span class="stringliteral">&quot;Demand-driven refinement points-to analysis&quot;</span>));</div><div class="line"><a name="l00034"></a><span class="lineno">   34</span>&#160;</div><div class="line"><a name="l00035"></a><span class="lineno">   35</span>&#160;<span class="keyword">static</span> cl::opt&lt;bool&gt; <a class="code" href="dda_8cpp.html#adad2a8a1b2f5bf9f333382725f174cb0">ENABLEFIELD</a>(<span class="stringliteral">&quot;fdaa&quot;</span>, cl::init(<span class="keyword">false</span>),</div><div class="line"><a name="l00036"></a><span class="lineno">   36</span>&#160;                                 cl::desc(<span class="stringliteral">&quot;enable field-sensitivity for demand-driven analysis&quot;</span>));</div><div class="line"><a name="l00037"></a><span class="lineno">   37</span>&#160;</div><div class="line"><a name="l00038"></a><span class="lineno">   38</span>&#160;<span class="keyword">static</span> cl::opt&lt;bool&gt; <a class="code" href="dda_8cpp.html#a1fe1900e000a62ca91dc0651bfa3a24f">ENABLECONTEXT</a>(<span class="stringliteral">&quot;cdaa&quot;</span>, cl::init(<span class="keyword">false</span>),</div><div class="line"><a name="l00039"></a><span class="lineno">   39</span>&#160;                                   cl::desc(<span class="stringliteral">&quot;enable context-sensitivity for demand-driven analysis&quot;</span>));</div><div class="line"><a name="l00040"></a><span class="lineno">   40</span>&#160;</div><div class="line"><a name="l00041"></a><span class="lineno">   41</span>&#160;<span class="keyword">static</span> cl::opt&lt;bool&gt; <a class="code" href="dda_8cpp.html#af95c31f8cf35812a4fe4a22342aacaa2">ENABLEFLOW</a>(<span class="stringliteral">&quot;ldaa&quot;</span>, cl::init(<span class="keyword">false</span>),</div><div class="line"><a name="l00042"></a><span class="lineno">   42</span>&#160;                                cl::desc(<span class="stringliteral">&quot;enable flow-sensitivity for demand-driven analysis&quot;</span>));</div><div class="line"><a name="l00043"></a><span class="lineno">   43</span>&#160;</div><div class="line"><a name="l00044"></a><span class="lineno"><a class="line" href="dda_8cpp.html#a3c04138a5bfe5d72780bb7e82a18e627">   44</a></span>&#160;<span class="keywordtype">int</span> <a class="code" href="dda_8cpp.html#a3c04138a5bfe5d72780bb7e82a18e627">main</a>(<span class="keywordtype">int</span> argc, <span class="keywordtype">char</span> ** argv)</div><div class="line"><a name="l00045"></a><span class="lineno">   45</span>&#160;{</div><div class="line"><a name="l00046"></a><span class="lineno">   46</span>&#160;</div><div class="line"><a name="l00047"></a><span class="lineno">   47</span>&#160;    <span class="keywordtype">int</span> arg_num = 0;</div><div class="line"><a name="l00048"></a><span class="lineno">   48</span>&#160;    <span class="keywordtype">char</span> **arg_value = <span class="keyword">new</span> <span class="keywordtype">char</span>*[argc];</div><div class="line"><a name="l00049"></a><span class="lineno">   49</span>&#160;    std::vector&lt;std::string&gt; moduleNameVec;</div><div class="line"><a name="l00050"></a><span class="lineno">   50</span>&#160;    <a class="code" href="namespaceSVF_1_1SVFUtil.html#a62ca9a79ce7b6960e3fc42d8b183bd50">SVFUtil::processArguments</a>(argc, argv, arg_num, arg_value, moduleNameVec);</div><div class="line"><a name="l00051"></a><span class="lineno">   51</span>&#160;    cl::ParseCommandLineOptions(arg_num, arg_value,</div><div class="line"><a name="l00052"></a><span class="lineno">   52</span>&#160;                                <span class="stringliteral">&quot;Demand-Driven Points-to Analysis\n&quot;</span>);</div><div class="line"><a name="l00053"></a><span class="lineno">   53</span>&#160;</div><div class="line"><a name="l00054"></a><span class="lineno">   54</span>&#160;    <span class="keywordflow">if</span> (Options::WriteAnder == <span class="stringliteral">&quot;ir_annotator&quot;</span>)</div><div class="line"><a name="l00055"></a><span class="lineno">   55</span>&#160;    {</div><div class="line"><a name="l00056"></a><span class="lineno">   56</span>&#160;        LLVMModuleSet::getLLVMModuleSet()-&gt;preProcessBCs(moduleNameVec);</div><div class="line"><a name="l00057"></a><span class="lineno">   57</span>&#160;    }</div><div class="line"><a name="l00058"></a><span class="lineno">   58</span>&#160;</div><div class="line"><a name="l00059"></a><span class="lineno">   59</span>&#160;    <a class="code" href="classSVF_1_1SVFModule.html">SVFModule</a>* svfModule = LLVMModuleSet::getLLVMModuleSet()-&gt;buildSVFModule(moduleNameVec);</div><div class="line"><a name="l00060"></a><span class="lineno">   60</span>&#160;    svfModule-&gt;<a class="code" href="classSVF_1_1SVFModule.html#aa03ab5272652290f30870c6e2d053d98">buildSymbolTableInfo</a>();</div><div class="line"><a name="l00061"></a><span class="lineno">   61</span>&#160;</div><div class="line"><a name="l00062"></a><span class="lineno">   62</span>&#160;    <a class="code" href="classSVF_1_1DDAPass.html">DDAPass</a> *dda = <span class="keyword">new</span> <a class="code" href="classSVF_1_1DDAPass.html">DDAPass</a>();</div><div class="line"><a name="l00063"></a><span class="lineno">   63</span>&#160;    dda-&gt;<a class="code" href="classSVF_1_1DDAPass.html#af196994d6ec7f5cead72212407842103">runOnModule</a>(svfModule);</div><div class="line"><a name="l00064"></a><span class="lineno">   64</span>&#160;</div><div class="line"><a name="l00065"></a><span class="lineno">   65</span>&#160;    <span class="keywordflow">return</span> 0;</div><div class="line"><a name="l00066"></a><span class="lineno">   66</span>&#160;</div><div class="line"><a name="l00067"></a><span class="lineno">   67</span>&#160;}</div><div class="line"><a name="l00068"></a><span class="lineno">   68</span>&#160;</div><div class="ttc" id="dda_8cpp_html_a17d2e24d913aaa7484a3e226255019b7"><div class="ttname"><a href="dda_8cpp.html#a17d2e24d913aaa7484a3e226255019b7">InputFilename</a></div><div class="ttdeci">static cl::opt&lt; std::string &gt; InputFilename(cl::Positional, cl::desc(&quot;&lt;input bitcode&gt;&quot;), cl::init(&quot;-&quot;))</div></div>
 <div class="ttc" id="dda_8cpp_html_a1fe1900e000a62ca91dc0651bfa3a24f"><div class="ttname"><a href="dda_8cpp.html#a1fe1900e000a62ca91dc0651bfa3a24f">ENABLECONTEXT</a></div><div class="ttdeci">static cl::opt&lt; bool &gt; ENABLECONTEXT(&quot;cdaa&quot;, cl::init(false), cl::desc(&quot;enable context-sensitivity for demand-driven analysis&quot;))</div></div>
-<div class="ttc" id="namespacellvm_html"><div class="ttname"><a href="namespacellvm.html">llvm</a></div><div class="ttdef"><b>Definition:</b> <a href="ConsG_8h_source.html#l00385">ConsG.h:385</a></div></div>
+<div class="ttc" id="namespacellvm_html"><div class="ttname"><a href="namespacellvm.html">llvm</a></div><div class="ttdef"><b>Definition:</b> <a href="CHG_8h_source.html#l00328">CHG.h:328</a></div></div>
 <div class="ttc" id="dda_8cpp_html_afffbd7760f0128b74c9dbfd517d0f99e"><div class="ttname"><a href="dda_8cpp.html#afffbd7760f0128b74c9dbfd517d0f99e">StandardCompileOpts</a></div><div class="ttdeci">static cl::opt&lt; bool &gt; StandardCompileOpts(&quot;std-compile-opts&quot;, cl::desc(&quot;Include the standard compile time optimizations&quot;))</div></div>
 <div class="ttc" id="dda_8cpp_html_a5ed1de5ad06cf459c1b4e63685316618"><div class="ttname"><a href="dda_8cpp.html#a5ed1de5ad06cf459c1b4e63685316618">REGPT</a></div><div class="ttdeci">static cl::opt&lt; bool &gt; REGPT(&quot;dreg&quot;, cl::init(false), cl::desc(&quot;Demand-driven regular points-to analysis&quot;))</div></div>
 <div class="ttc" id="namespaceSVF_1_1SVFUtil_html_a62ca9a79ce7b6960e3fc42d8b183bd50"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#a62ca9a79ce7b6960e3fc42d8b183bd50">SVF::SVFUtil::processArguments</a></div><div class="ttdeci">void processArguments(int argc, char **argv, int &amp;arg_num, char **arg_value, std::vector&lt; std::string &gt; &amp;moduleNameVec)</div><div class="ttdoc">Parse argument for multi-module analysis. </div><div class="ttdef"><b>Definition:</b> <a href="LLVMUtil_8cpp_source.html#l00369">LLVMUtil.cpp:369</a></div></div>

package/SVF-doxygen/html/html/dir_1870ebf480d659cc38d2dd7ac3aa8993.html

@@ -69,9 +69,9 @@ $(function() {
 <table class="memberdecls">
 <tr class="heading"><td colspan="2"><h2 class="groupheader"><a name="files"></a>
 Files</h2></td></tr>
-<tr class="memitem:ConsG_8cpp"><td class="memItemLeft" align="right" valign="top">file &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="ConsG_8cpp.html">ConsG.cpp</a> <a href="ConsG_8cpp_source.html">[code]</a></td></tr>
+<tr class="memitem:CHG_8cpp"><td class="memItemLeft" align="right" valign="top">file &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="CHG_8cpp.html">CHG.cpp</a> <a href="CHG_8cpp_source.html">[code]</a></td></tr>
 <tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:ExternalPAG_8cpp"><td class="memItemLeft" align="right" valign="top">file &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="ExternalPAG_8cpp.html">ExternalPAG.cpp</a> <a href="ExternalPAG_8cpp_source.html">[code]</a></td></tr>
+<tr class="memitem:ConsG_8cpp"><td class="memItemLeft" align="right" valign="top">file &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="ConsG_8cpp.html">ConsG.cpp</a> <a href="ConsG_8cpp_source.html">[code]</a></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>

package/SVF-doxygen/html/html/dir_5840dc76920ee0f379cd88b55fa041fd.html

@@ -73,7 +73,7 @@ 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:CHG_8cpp"><td class="memItemLeft" align="right" valign="top">file &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="CHG_8cpp.html">CHG.cpp</a> <a href="CHG_8cpp_source.html">[code]</a></td></tr>
+<tr class="memitem:CHGBuilder_8cpp"><td class="memItemLeft" align="right" valign="top">file &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="CHGBuilder_8cpp.html">CHGBuilder.cpp</a> <a href="CHGBuilder_8cpp_source.html">[code]</a></td></tr>
 <tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:CPPUtil_8cpp"><td class="memItemLeft" align="right" valign="top">file &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="CPPUtil_8cpp.html">CPPUtil.cpp</a> <a href="CPPUtil_8cpp_source.html">[code]</a></td></tr>
 <tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>

package/SVF-doxygen/html/html/dir_770a542efe75a1b68c109cb4e4290224.html

@@ -73,9 +73,7 @@ Files</h2></td></tr>
 <tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:CallGraphBuilder_8h"><td class="memItemLeft" align="right" valign="top">file &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="CallGraphBuilder_8h.html">CallGraphBuilder.h</a> <a href="CallGraphBuilder_8h_source.html">[code]</a></td></tr>
 <tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:CHG_8h"><td class="memItemLeft" align="right" valign="top">file &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="CHG_8h.html">CHG.h</a> <a href="CHG_8h_source.html">[code]</a></td></tr>
-<tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:CommonCHG_8h"><td class="memItemLeft" align="right" valign="top">file &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="CommonCHG_8h.html">CommonCHG.h</a> <a href="CommonCHG_8h_source.html">[code]</a></td></tr>
+<tr class="memitem:CHGBuilder_8h"><td class="memItemLeft" align="right" valign="top">file &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="CHGBuilder_8h.html">CHGBuilder.h</a> <a href="CHGBuilder_8h_source.html">[code]</a></td></tr>
 <tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:CPPUtil_8h"><td class="memItemLeft" align="right" valign="top">file &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="CPPUtil_8h.html">CPPUtil.h</a> <a href="CPPUtil_8h_source.html">[code]</a></td></tr>
 <tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>

package/SVF-doxygen/html/html/dir_fa02919a30fec2d2c2d591b4d920d648.html

@@ -69,14 +69,14 @@ $(function() {
 <table class="memberdecls">
 <tr class="heading"><td colspan="2"><h2 class="groupheader"><a name="files"></a>
 Files</h2></td></tr>
+<tr class="memitem:CHG_8h"><td class="memItemLeft" align="right" valign="top">file &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="CHG_8h.html">CHG.h</a> <a href="CHG_8h_source.html">[code]</a></td></tr>
+<tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:ConsG_8h"><td class="memItemLeft" align="right" valign="top">file &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="ConsG_8h.html">ConsG.h</a> <a href="ConsG_8h_source.html">[code]</a></td></tr>
 <tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:ConsGEdge_8h"><td class="memItemLeft" align="right" valign="top">file &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="ConsGEdge_8h.html">ConsGEdge.h</a> <a href="ConsGEdge_8h_source.html">[code]</a></td></tr>
 <tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:ConsGNode_8h"><td class="memItemLeft" align="right" valign="top">file &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="ConsGNode_8h.html">ConsGNode.h</a> <a href="ConsGNode_8h_source.html">[code]</a></td></tr>
 <tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:ExternalPAG_8h"><td class="memItemLeft" align="right" valign="top">file &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="ExternalPAG_8h.html">ExternalPAG.h</a> <a href="ExternalPAG_8h_source.html">[code]</a></td></tr>
-<tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:GenericGraph_8h"><td class="memItemLeft" align="right" valign="top">file &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="GenericGraph_8h.html">GenericGraph.h</a> <a href="GenericGraph_8h_source.html">[code]</a></td></tr>
 <tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:GraphPrinter_8h"><td class="memItemLeft" align="right" valign="top">file &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="GraphPrinter_8h.html">GraphPrinter.h</a> <a href="GraphPrinter_8h_source.html">[code]</a></td></tr>

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

@@ -82,10 +82,10 @@ $(function() {
 <tr id="row_0_2_"><td class="entry"><span style="width:16px;display:inline-block;">&#160;</span><span id="arr_0_2_" class="arrow" onclick="toggleFolder('0_2_')">&#9658;</span><span id="img_0_2_" class="iconfclosed" onclick="toggleFolder('0_2_')">&#160;</span><a class="el" href="dir_63dba4c559aa5986900c35e27974bafc.html" target="_self">FastCluster</a></td><td class="desc"></td></tr>
 <tr id="row_0_2_0_" class="even" style="display:none;"><td class="entry"><span style="width:48px;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_3_" class="even"><td class="entry"><span style="width:16px;display:inline-block;">&#160;</span><span id="arr_0_3_" class="arrow" onclick="toggleFolder('0_3_')">&#9658;</span><span id="img_0_3_" class="iconfclosed" onclick="toggleFolder('0_3_')">&#160;</span><a class="el" href="dir_fa02919a30fec2d2c2d591b4d920d648.html" target="_self">Graphs</a></td><td class="desc"></td></tr>
-<tr id="row_0_3_0_" style="display:none;"><td class="entry"><span style="width:48px;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_3_1_" style="display:none;"><td class="entry"><span style="width:48px;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_3_2_" style="display:none;"><td class="entry"><span style="width:48px;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_3_3_" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;">&#160;</span><a href="ExternalPAG_8h_source.html"><span class="icondoc"></span></a><a class="el" href="ExternalPAG_8h.html" target="_self">ExternalPAG.h</a></td><td class="desc"></td></tr>
+<tr id="row_0_3_0_" style="display:none;"><td class="entry"><span style="width:48px;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_3_1_" style="display:none;"><td class="entry"><span style="width:48px;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_3_2_" style="display:none;"><td class="entry"><span style="width:48px;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_3_3_" style="display:none;"><td class="entry"><span style="width:48px;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_3_4_" style="display:none;"><td class="entry"><span style="width:48px;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_3_5_" style="display:none;"><td class="entry"><span style="width:48px;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_3_6_" style="display:none;"><td class="entry"><span style="width:48px;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>
@@ -150,18 +150,17 @@ $(function() {
 <tr id="row_0_8_"><td class="entry"><span style="width:16px;display:inline-block;">&#160;</span><span id="arr_0_8_" class="arrow" onclick="toggleFolder('0_8_')">&#9658;</span><span id="img_0_8_" class="iconfclosed" onclick="toggleFolder('0_8_')">&#160;</span><a class="el" href="dir_770a542efe75a1b68c109cb4e4290224.html" target="_self">SVF-FE</a></td><td class="desc"></td></tr>
 <tr id="row_0_8_0_" class="even" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;">&#160;</span><a href="BreakConstantExpr_8h_source.html"><span class="icondoc"></span></a><a class="el" href="BreakConstantExpr_8h.html" target="_self">BreakConstantExpr.h</a></td><td class="desc"></td></tr>
 <tr id="row_0_8_1_" class="even" style="display:none;"><td class="entry"><span style="width:48px;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_8_2_" class="even" style="display:none;"><td class="entry"><span style="width:48px;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_8_3_" class="even" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;">&#160;</span><a href="CommonCHG_8h_source.html"><span class="icondoc"></span></a><a class="el" href="CommonCHG_8h.html" target="_self">CommonCHG.h</a></td><td class="desc"></td></tr>
-<tr id="row_0_8_4_" class="even" style="display:none;"><td class="entry"><span style="width:48px;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_8_5_" class="even" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;">&#160;</span><a href="DataFlowUtil_8h_source.html"><span class="icondoc"></span></a><a class="el" href="DataFlowUtil_8h.html" target="_self">DataFlowUtil.h</a></td><td class="desc"></td></tr>
-<tr id="row_0_8_6_" class="even" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;">&#160;</span><a href="DCHG_8h_source.html"><span class="icondoc"></span></a><a class="el" href="DCHG_8h.html" target="_self">DCHG.h</a></td><td class="desc"></td></tr>
-<tr id="row_0_8_7_" class="even" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;">&#160;</span><a href="GEPTypeBridgeIterator_8h_source.html"><span class="icondoc"></span></a><a class="el" href="GEPTypeBridgeIterator_8h.html" target="_self">GEPTypeBridgeIterator.h</a></td><td class="desc"></td></tr>
-<tr id="row_0_8_8_" class="even" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;">&#160;</span><a href="Graph2Json_8h_source.html"><span class="icondoc"></span></a><a class="el" href="Graph2Json_8h.html" target="_self">Graph2Json.h</a></td><td class="desc"></td></tr>
-<tr id="row_0_8_9_" class="even" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;">&#160;</span><a href="ICFGBuilder_8h_source.html"><span class="icondoc"></span></a><a class="el" href="ICFGBuilder_8h.html" target="_self">ICFGBuilder.h</a></td><td class="desc"></td></tr>
-<tr id="row_0_8_10_" class="even" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;">&#160;</span><a href="LLVMModule_8h_source.html"><span class="icondoc"></span></a><a class="el" href="LLVMModule_8h.html" target="_self">LLVMModule.h</a></td><td class="desc"></td></tr>
-<tr id="row_0_8_11_" class="even" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;">&#160;</span><a href="LLVMUtil_8h_source.html"><span class="icondoc"></span></a><a class="el" href="LLVMUtil_8h.html" target="_self">LLVMUtil.h</a></td><td class="desc"></td></tr>
-<tr id="row_0_8_12_" class="even" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;">&#160;</span><a href="SVFIRBuilder_8h_source.html"><span class="icondoc"></span></a><a class="el" href="SVFIRBuilder_8h.html" target="_self">SVFIRBuilder.h</a></td><td class="desc"></td></tr>
-<tr id="row_0_8_13_" class="even" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;">&#160;</span><a href="SymbolTableBuilder_8h_source.html"><span class="icondoc"></span></a><a class="el" href="SymbolTableBuilder_8h.html" target="_self">SymbolTableBuilder.h</a></td><td class="desc"></td></tr>
+<tr id="row_0_8_2_" class="even" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;">&#160;</span><a href="CHGBuilder_8h_source.html"><span class="icondoc"></span></a><a class="el" href="CHGBuilder_8h.html" target="_self">CHGBuilder.h</a></td><td class="desc"></td></tr>
+<tr id="row_0_8_3_" class="even" style="display:none;"><td class="entry"><span style="width:48px;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_8_4_" class="even" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;">&#160;</span><a href="DataFlowUtil_8h_source.html"><span class="icondoc"></span></a><a class="el" href="DataFlowUtil_8h.html" target="_self">DataFlowUtil.h</a></td><td class="desc"></td></tr>
+<tr id="row_0_8_5_" class="even" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;">&#160;</span><a href="DCHG_8h_source.html"><span class="icondoc"></span></a><a class="el" href="DCHG_8h.html" target="_self">DCHG.h</a></td><td class="desc"></td></tr>
+<tr id="row_0_8_6_" class="even" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;">&#160;</span><a href="GEPTypeBridgeIterator_8h_source.html"><span class="icondoc"></span></a><a class="el" href="GEPTypeBridgeIterator_8h.html" target="_self">GEPTypeBridgeIterator.h</a></td><td class="desc"></td></tr>
+<tr id="row_0_8_7_" class="even" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;">&#160;</span><a href="Graph2Json_8h_source.html"><span class="icondoc"></span></a><a class="el" href="Graph2Json_8h.html" target="_self">Graph2Json.h</a></td><td class="desc"></td></tr>
+<tr id="row_0_8_8_" class="even" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;">&#160;</span><a href="ICFGBuilder_8h_source.html"><span class="icondoc"></span></a><a class="el" href="ICFGBuilder_8h.html" target="_self">ICFGBuilder.h</a></td><td class="desc"></td></tr>
+<tr id="row_0_8_9_" class="even" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;">&#160;</span><a href="LLVMModule_8h_source.html"><span class="icondoc"></span></a><a class="el" href="LLVMModule_8h.html" target="_self">LLVMModule.h</a></td><td class="desc"></td></tr>
+<tr id="row_0_8_10_" class="even" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;">&#160;</span><a href="LLVMUtil_8h_source.html"><span class="icondoc"></span></a><a class="el" href="LLVMUtil_8h.html" target="_self">LLVMUtil.h</a></td><td class="desc"></td></tr>
+<tr id="row_0_8_11_" class="even" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;">&#160;</span><a href="SVFIRBuilder_8h_source.html"><span class="icondoc"></span></a><a class="el" href="SVFIRBuilder_8h.html" target="_self">SVFIRBuilder.h</a></td><td class="desc"></td></tr>
+<tr id="row_0_8_12_" class="even" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;">&#160;</span><a href="SymbolTableBuilder_8h_source.html"><span class="icondoc"></span></a><a class="el" href="SymbolTableBuilder_8h.html" target="_self">SymbolTableBuilder.h</a></td><td class="desc"></td></tr>
 <tr id="row_0_9_" class="even"><td class="entry"><span style="width:16px;display:inline-block;">&#160;</span><span id="arr_0_9_" class="arrow" onclick="toggleFolder('0_9_')">&#9658;</span><span id="img_0_9_" class="iconfclosed" onclick="toggleFolder('0_9_')">&#160;</span><a class="el" href="dir_95e22971b5dbae2382075a3453e365b4.html" target="_self">Util</a></td><td class="desc"></td></tr>
 <tr id="row_0_9_0_" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;">&#160;</span><a href="Annotator_8h_source.html"><span class="icondoc"></span></a><a class="el" href="Annotator_8h.html" target="_self">Annotator.h</a></td><td class="desc"></td></tr>
 <tr id="row_0_9_1_" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;">&#160;</span><a href="BasicTypes_8h_source.html"><span class="icondoc"></span></a><a class="el" href="BasicTypes_8h.html" target="_self">BasicTypes.h</a></td><td class="desc"></td></tr>
@@ -215,8 +214,8 @@ $(function() {
 <tr id="row_1_2_1_" class="even" style="display:none;"><td class="entry"><span style="width:48px;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_1_2_2_" class="even" style="display:none;"><td class="entry"><span style="width:48px;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_1_3_" class="even"><td class="entry"><span style="width:16px;display:inline-block;">&#160;</span><span id="arr_1_3_" class="arrow" onclick="toggleFolder('1_3_')">&#9658;</span><span id="img_1_3_" class="iconfclosed" onclick="toggleFolder('1_3_')">&#160;</span><a class="el" href="dir_1870ebf480d659cc38d2dd7ac3aa8993.html" target="_self">Graphs</a></td><td class="desc"></td></tr>
-<tr id="row_1_3_0_" style="display:none;"><td class="entry"><span style="width:48px;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_1_3_1_" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;">&#160;</span><a href="ExternalPAG_8cpp_source.html"><span class="icondoc"></span></a><a class="el" href="ExternalPAG_8cpp.html" target="_self">ExternalPAG.cpp</a></td><td class="desc"></td></tr>
+<tr id="row_1_3_0_" style="display:none;"><td class="entry"><span style="width:48px;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_1_3_1_" style="display:none;"><td class="entry"><span style="width:48px;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_1_3_2_" style="display:none;"><td class="entry"><span style="width:48px;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_1_3_3_" style="display:none;"><td class="entry"><span style="width:48px;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_1_3_4_" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;">&#160;</span><a href="OfflineConsG_8cpp_source.html"><span class="icondoc"></span></a><a class="el" href="OfflineConsG_8cpp.html" target="_self">OfflineConsG.cpp</a></td><td class="desc"></td></tr>
@@ -265,7 +264,7 @@ $(function() {
 <tr id="row_1_8_"><td class="entry"><span style="width:16px;display:inline-block;">&#160;</span><span id="arr_1_8_" class="arrow" onclick="toggleFolder('1_8_')">&#9658;</span><span id="img_1_8_" class="iconfclosed" onclick="toggleFolder('1_8_')">&#160;</span><a class="el" href="dir_5840dc76920ee0f379cd88b55fa041fd.html" target="_self">SVF-FE</a></td><td class="desc"></td></tr>
 <tr id="row_1_8_0_" class="even" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;">&#160;</span><a href="BreakConstantExpr_8cpp_source.html"><span class="icondoc"></span></a><a class="el" href="BreakConstantExpr_8cpp.html" target="_self">BreakConstantExpr.cpp</a></td><td class="desc"></td></tr>
 <tr id="row_1_8_1_" class="even" style="display:none;"><td class="entry"><span style="width:48px;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_1_8_2_" class="even" style="display:none;"><td class="entry"><span style="width:48px;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_1_8_2_" class="even" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;">&#160;</span><a href="CHGBuilder_8cpp_source.html"><span class="icondoc"></span></a><a class="el" href="CHGBuilder_8cpp.html" target="_self">CHGBuilder.cpp</a></td><td class="desc"></td></tr>
 <tr id="row_1_8_3_" class="even" style="display:none;"><td class="entry"><span style="width:48px;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_1_8_4_" class="even" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;">&#160;</span><a href="DataFlowUtil_8cpp_source.html"><span class="icondoc"></span></a><a class="el" href="DataFlowUtil_8cpp.html" target="_self">DataFlowUtil.cpp</a></td><td class="desc"></td></tr>
 <tr id="row_1_8_5_" class="even" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;">&#160;</span><a href="DCHG_8cpp_source.html"><span class="icondoc"></span></a><a class="el" href="DCHG_8cpp.html" target="_self">DCHG.cpp</a></td><td class="desc"></td></tr>

package/SVF-doxygen/html/html/functions_0x7e.html

@@ -187,9 +187,6 @@ $(function() {
 <li>~EntryCHI()
 : <a class="el" href="classSVF_1_1EntryCHI.html#ac198f01dd7ebac778367b63081ae487b">SVF::EntryCHI&lt; Cond &gt;</a>
 </li>
-<li>~ExternalPAG()
-: <a class="el" href="classSVF_1_1ExternalPAG.html#a4ede253f0e34780aa56ee884924f76f9">SVF::ExternalPAG</a>
-</li>
 <li>~FIFOWorkList()
 : <a class="el" href="classSVF_1_1FIFOWorkList.html#a1471fb927833748ab34fe0ef3cf0eada">SVF::FIFOWorkList&lt; Data &gt;</a>
 </li>

package/SVF-doxygen/html/html/functions_a.html

@@ -161,17 +161,14 @@ $(function() {
 <li>addBackwardVisited()
 : <a class="el" href="classSVF_1_1SrcSnkDDA.html#aa061e2d72d3045c9712512c6df002544">SVF::SrcSnkDDA</a>
 </li>
-<li>addBinaryNode()
-: <a class="el" href="classSVF_1_1SVFIR.html#ad1a64553b9291d9bd05d89728c686d44">SVF::SVFIR</a>
-</li>
 <li>addBinaryOPEdge()
-: <a class="el" href="classSVF_1_1SVFIRBuilder.html#a9a470a38227ba07e62c0c812a4ec2f81">SVF::SVFIRBuilder</a>
+: <a class="el" href="classSVF_1_1SVFIRBuilder.html#aa939418b3f4727fb7ec84057dd97ba66">SVF::SVFIRBuilder</a>
 </li>
 <li>addBinaryOPPE()
-: <a class="el" href="classSVF_1_1SVFIR.html#a1b04aece8eb719555982bd947840947d">SVF::SVFIR</a>
+: <a class="el" href="classSVF_1_1SVFIR.html#a1d6d9dbc5cd43eb8af776f5a1b373507">SVF::SVFIR</a>
 </li>
 <li>addBinaryOPVFGNode()
-: <a class="el" href="classSVF_1_1VFG.html#aa6c2ec65e990fcf7f2d77b75c6f0f9a3">SVF::VFG</a>
+: <a class="el" href="classSVF_1_1VFG.html#afb440e02353766c2a2541005dd29fb24">SVF::VFG</a>
 </li>
 <li>addBlackHoleAddrEdge()
 : <a class="el" href="classSVF_1_1SVFIRBuilder.html#a3e80511758692d2ad4e5dbee15beb719">SVF::SVFIRBuilder</a>
@@ -185,6 +182,13 @@ $(function() {
 <li>addBlackholePtrNode()
 : <a class="el" href="classSVF_1_1SVFIR.html#a2b1de62f88588b068d4eed125049ed8d">SVF::SVFIR</a>
 </li>
+<li>addBranchStmt()
+: <a class="el" href="classSVF_1_1SVFIR.html#a4f0d318deff3b97a4bd5e7b9d53e42fd">SVF::SVFIR</a>
+, <a class="el" href="classSVF_1_1SVFIRBuilder.html#ae0a1f66dee058f6af0f6b074db38db8e">SVF::SVFIRBuilder</a>
+</li>
+<li>addBranchVFGNode()
+: <a class="el" href="classSVF_1_1VFG.html#a18afc4baf33eb700e0510928016019f5">SVF::VFG</a>
+</li>
 <li>addCallEdge()
 : <a class="el" href="classSVF_1_1ICFG.html#abde033687317d47909ee45db7501723f">SVF::ICFG</a>
 , <a class="el" href="classSVF_1_1SVFIRBuilder.html#af4ff212d09284eb377eefd14f60d2f14">SVF::SVFIRBuilder</a>
@@ -238,16 +242,13 @@ $(function() {
 : <a class="el" href="classSVF_1_1TypeBasedHeapCloning.html#a16ad9c601a044731b982305a177dbda3">SVF::TypeBasedHeapCloning</a>
 </li>
 <li>addCmpEdge()
-: <a class="el" href="classSVF_1_1SVFIRBuilder.html#a724ba7c0c43efec7d7fd171640dfd0f9">SVF::SVFIRBuilder</a>
-</li>
-<li>addCmpNode()
-: <a class="el" href="classSVF_1_1SVFIR.html#a2f33717b2b9bb3de30791f4ae55dbe49">SVF::SVFIR</a>
+: <a class="el" href="classSVF_1_1SVFIRBuilder.html#a6636324fa8135f2be841e0d06d5e5f54">SVF::SVFIRBuilder</a>
 </li>
 <li>addCmpPE()
-: <a class="el" href="classSVF_1_1SVFIR.html#ac655a9b115fb6a48a74d794847858aef">SVF::SVFIR</a>
+: <a class="el" href="classSVF_1_1SVFIR.html#afbb721dfd574c35e3ddb0a8d26f978c7">SVF::SVFIR</a>
 </li>
 <li>addCmpVFGNode()
-: <a class="el" href="classSVF_1_1VFG.html#a4f605ce5604c65ffb816d3be0688bbd3">SVF::VFG</a>
+: <a class="el" href="classSVF_1_1VFG.html#ab4166804d4612c1cf194d1d8710c09a6">SVF::VFG</a>
 </li>
 <li>addComplexConsForExt()
 : <a class="el" href="classSVF_1_1SVFIRBuilder.html#ab83a61a519cb0bb6fed823a938cf0602">SVF::SVFIRBuilder</a>
@@ -327,10 +328,10 @@ $(function() {
 : <a class="el" href="classSVF_1_1SVFIR.html#a4ee79c74a7a2cea5c063fa598ab89532">SVF::SVFIR</a>
 </li>
 <li>addDummyObjNode()
-: <a class="el" href="classSVF_1_1SVFIR.html#a3071c94ea72048d74a65a409a906af35">SVF::SVFIR</a>
+: <a class="el" href="classSVF_1_1SVFIR.html#a18388bc282c5329a837c6a273893c4fb">SVF::SVFIR</a>
 </li>
 <li>addDummyValNode()
-: <a class="el" href="classSVF_1_1SVFIR.html#a6b1bb039f068ff2ab486214354df4684">SVF::SVFIR</a>
+: <a class="el" href="classSVF_1_1SVFIR.html#aa7e98cd2fd599aedefa4c2e6fb659da0">SVF::SVFIR</a>
 </li>
 <li>addDummyVersionPropSVFGNode()
 : <a class="el" href="classSVF_1_1SVFG.html#a8dd513e8e5343beeb5d117c1ff4e45ea">SVF::SVFG</a>
@@ -370,9 +371,6 @@ $(function() {
 <li>AddExtActualParmSVFGNodes()
 : <a class="el" href="classSVF_1_1SaberSVFGBuilder.html#ab6870d6f6f5abc5417dcea771eaa31f7">SVF::SaberSVFGBuilder</a>
 </li>
-<li>addExternalPAG()
-: <a class="el" href="classSVF_1_1ExternalPAG.html#a6e8b309508de040504ad4b2ce6a5de28">SVF::ExternalPAG</a>
-</li>
 <li>addFIObjNode()
 : <a class="el" href="classSVF_1_1SVFIR.html#a06465449e58e14bfb1c3eee2c97d3242">SVF::SVFIR</a>
 </li>
@@ -413,7 +411,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1SVFModule.html#ae5512e574414dc259daaacaecf8cdf13">SVF::SVFModule</a>
 </li>
 <li>addFuncToFuncVector()
-: <a class="el" href="classSVF_1_1CHGraph.html#a9836450a0f8cc10bf4f2311295c4c404">SVF::CHGraph</a>
+: <a class="el" href="classSVF_1_1CHGBuilder.html#a77753749b34b00c18d419057b4757a26">SVF::CHGBuilder</a>
 </li>
 <li>addFunEntryICFGNode()
 : <a class="el" href="classSVF_1_1ICFG.html#a37720720adf125ea4f8c12c4bdf41cdd">SVF::ICFG</a>
@@ -554,7 +552,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1SVFG.html#a0554abe7c072b66ab24a900284646572">SVF::SVFG</a>
 </li>
 <li>addIntraPHIVFGNode()
-: <a class="el" href="classSVF_1_1VFG.html#a8ed810b95bdb58a12d2c24aad3e588ae">SVF::VFG</a>
+: <a class="el" href="classSVF_1_1VFG.html#aba0389fbcac1efab08339b53d149bf84">SVF::VFG</a>
 </li>
 <li>addJoinsite()
 : <a class="el" href="classSVF_1_1ThreadCallGraph.html#ae72e4e29bfda892f059f719454f6fcd2">SVF::ThreadCallGraph</a>
@@ -641,6 +639,9 @@ $(function() {
 <li>addObjNode()
 : <a class="el" href="classSVF_1_1SVFIR.html#a83bc8ecf4c5d10af10af3c8c44b9882d">SVF::SVFIR</a>
 </li>
+<li>addOpVar()
+: <a class="el" href="classSVF_1_1PhiPE.html#a046dc179515df629e079092827e25036">SVF::PhiPE</a>
+</li>
 <li>addOutEdge()
 : <a class="el" href="classSVF_1_1SVFVar.html#a21a44c7a30e4e3743f6c3186fd7dbe8f">SVF::SVFVar</a>
 </li>
@@ -678,7 +679,8 @@ $(function() {
 : <a class="el" href="classSVF_1_1VFPathCond.html#a47d117a7c5e789766f28cdca6d71ff19">SVF::VFPathCond</a>
 </li>
 <li>addPhiNode()
-: <a class="el" href="classSVF_1_1SVFIR.html#aa20b26d03ffb6920046f6c532d42e68a">SVF::SVFIR</a>
+: <a class="el" href="classSVF_1_1SVFIR.html#a3da8a2168e33f49708cdcc79f9e311a4">SVF::SVFIR</a>
+, <a class="el" href="classSVF_1_1SVFIRBuilder.html#ab6c80be878f5e9d888d8532a633a2566">SVF::SVFIRBuilder</a>
 </li>
 <li>addPointsTo()
 : <a class="el" href="classSVF_1_1IndirectSVFGEdge.html#a50ac2e33c6a4a41291c0a476ed07de53">SVF::IndirectSVFGEdge</a>
@@ -741,7 +743,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1SVFG.html#a8ebf0e285c69db8332a1f8914d6190f6">SVF::SVFG</a>
 </li>
 <li>addRetNode()
-: <a class="el" href="classSVF_1_1SVFIR.html#a38f6d0c7db935fd4e556761f96f1fa09">SVF::SVFIR</a>
+: <a class="el" href="classSVF_1_1SVFIR.html#a1f63adcd679596996ee2eabf0179462f">SVF::SVFIR</a>
 </li>
 <li>addRetPE()
 : <a class="el" href="classSVF_1_1FormalRetVFGNode.html#a051f7dc0da465d7ce0dc733d9a8fae6a">SVF::FormalRetVFGNode</a>
@@ -902,23 +904,23 @@ $(function() {
 : <a class="el" href="classSVF_1_1SrcSnkDDA.html#acdffb63fd5ae67306640bfe2fcfc3a79">SVF::SrcSnkDDA</a>
 , <a class="el" href="classSVF_1_1SVFGStat.html#a59585ec387e8cc30a85eeec99a97e968">SVF::SVFGStat</a>
 </li>
+<li>addToStmt2TypeMap()
+: <a class="el" href="classSVF_1_1SVFIR.html#a292b5a477c1f87777730b591c271e523">SVF::SVFIR</a>
+</li>
 <li>addTypedef()
 : <a class="el" href="classSVF_1_1DCHNode.html#a9d1016e3da3462664198b1125dfc8f6e">SVF::DCHNode</a>
 </li>
 <li>addTypeForGepObjNode()
 : <a class="el" href="classSVF_1_1Andersen.html#a85cc81a4f9399e9a23372fa2658325a6">SVF::Andersen</a>
 </li>
-<li>addUnaryNode()
-: <a class="el" href="classSVF_1_1SVFIR.html#a3a3cf0f247024ffd73caf75d63ed04d2">SVF::SVFIR</a>
-</li>
 <li>addUnaryOPEdge()
-: <a class="el" href="classSVF_1_1SVFIRBuilder.html#a78d85371f9ddca90bcd311eca9ecf639">SVF::SVFIRBuilder</a>
+: <a class="el" href="classSVF_1_1SVFIRBuilder.html#a2020793d5013abd1300331302f0514d4">SVF::SVFIRBuilder</a>
 </li>
 <li>addUnaryOPPE()
-: <a class="el" href="classSVF_1_1SVFIR.html#a3c167ee7cdf012306acef6149a874c3e">SVF::SVFIR</a>
+: <a class="el" href="classSVF_1_1SVFIR.html#a30409c96194976713b6b7728c072b8a5">SVF::SVFIR</a>
 </li>
 <li>addUnaryOPVFGNode()
-: <a class="el" href="classSVF_1_1VFG.html#a0a7c8a1e8a85ab815161497113435e4a">SVF::VFG</a>
+: <a class="el" href="classSVF_1_1VFG.html#ae746db691e5c96dff1d590b109bffb7f">SVF::VFG</a>
 </li>
 <li>addValNode()
 : <a class="el" href="classSVF_1_1SVFIR.html#a93bc14960cdd4eb345c64e9b79757ccf">SVF::SVFIR</a>
@@ -958,18 +960,18 @@ $(function() {
 : <a class="el" href="classSVF_1_1CHNode.html#a8c51571df92b5e152cc42e9aaf712dc9">SVF::CHNode</a>
 </li>
 <li>alias()
-: <a class="el" href="classSVF_1_1BVDataPTAImpl.html#a25720f154731a8c745da10aa76ab8517">SVF::BVDataPTAImpl</a>
-, <a class="el" href="classSVF_1_1CondPTAImpl.html#a171918ada9b679b0114b27476caa5ee6">SVF::CondPTAImpl&lt; Cond &gt;</a>
+: <a class="el" href="classSVF_1_1BVDataPTAImpl.html#adaba5a41a60e32d18d964bdb8ae5b2df">SVF::BVDataPTAImpl</a>
+, <a class="el" href="classSVF_1_1CondPTAImpl.html#afa6dffc1ac7e8dada1ff9e75b8cfd187">SVF::CondPTAImpl&lt; Cond &gt;</a>
 , <a class="el" href="classSVF_1_1DDAPass.html#a242575c5bd8a8f17fdc802e5ba80e7b0">SVF::DDAPass</a>
 , <a class="el" href="classSVF_1_1LockAnalysis.html#a4424f27444c12dce8071c56a95c664bf">SVF::LockAnalysis</a>
-, <a class="el" href="classSVF_1_1PointerAnalysis.html#a0f712ead1f31750879948c36b2fc77cf">SVF::PointerAnalysis</a>
-, <a class="el" href="classSVF_1_1WPAPass.html#a5a71ab4d4bd993ff52da60c730d7b57f">SVF::WPAPass</a>
+, <a class="el" href="classSVF_1_1PointerAnalysis.html#abd9da46106d820721a24201caaa164e1">SVF::PointerAnalysis</a>
+, <a class="el" href="classSVF_1_1WPAPass.html#af339db8bffc554be7dd5cb6b100649e7">SVF::WPAPass</a>
 </li>
 <li>alias_begin()
 : <a class="el" href="classSVF_1_1SVFModule.html#a0e28f6eaf32efc6f2c0987e64f1df852">SVF::SVFModule</a>
 </li>
 <li>alias_end()
-: <a class="el" href="classSVF_1_1SVFModule.html#a1bb5c818ec63d81a238f3d242a89079f">SVF::SVFModule</a>
+: <a class="el" href="classSVF_1_1SVFModule.html#a3cfd0983849950099d1e8f8e0fda42bc">SVF::SVFModule</a>
 </li>
 <li>alias_iterator
 : <a class="el" href="classSVF_1_1SVFModule.html#abee99d29b7d4c4915a386895c755009c">SVF::SVFModule</a>
@@ -1111,7 +1113,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1ObjTypeInfo.html#aa8b97a2cbd2de56b3c6c5c0e2e0a2211">SVF::ObjTypeInfo</a>
 </li>
 <li>analyzeVTables()
-: <a class="el" href="classSVF_1_1CHGraph.html#a0685bd653851a903f765e21aec0fdbd1">SVF::CHGraph</a>
+: <a class="el" href="classSVF_1_1CHGBuilder.html#a2828eb6b2bd86d6f279967c34da8e7e4">SVF::CHGBuilder</a>
 </li>
 <li>AND()
 : <a class="el" href="classSVF_1_1BranchCondManager.html#a739f4206abf4f367dc796e9fd35d4d04">SVF::BranchCondManager</a>
@@ -1262,9 +1264,6 @@ $(function() {
 : <a class="el" href="classSVF_1_1CallSite.html#a145676880fce313b4634d14118476c27">SVF::CallSite</a>
 , <a class="el" href="classSVF_1_1SVFFunction.html#a3757cd3ae587eaca488fa4cd8ad3967d">SVF::SVFFunction</a>
 </li>
-<li>argNodes
-: <a class="el" href="classSVF_1_1ExternalPAG.html#ae8d9064d781ed859cba85b99a69070ac">SVF::ExternalPAG</a>
-</li>
 <li>ArgumentVFGNode()
 : <a class="el" href="classSVF_1_1ArgumentVFGNode.html#a0b35234b96e98099a289b73028bae276">SVF::ArgumentVFGNode</a>
 </li>

package/SVF-doxygen/html/html/functions_b.html

@@ -219,19 +219,10 @@ $(function() {
 <li>BestCandidate
 : <a class="el" href="classSVF_1_1NodeIDAllocator_1_1Clusterer.html#a3556bdda6725b72d0ca88364daeae32e">SVF::NodeIDAllocator::Clusterer</a>
 </li>
-<li>binaryNodeMap
-: <a class="el" href="classSVF_1_1SVFIR.html#a5ea6cfb0656b6a60d853a82b5ba99f5c">SVF::SVFIR</a>
-</li>
-<li>BinaryNodeMap
-: <a class="el" href="classSVF_1_1SVFIR.html#a5c4e176e2bc022b571b0b29a258034b9">SVF::SVFIR</a>
-</li>
 <li>BinaryOp
 : <a class="el" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9ad58f5e59c55e1ffd23b83d16224fed13">SVF::SVFStmt</a>
 , <a class="el" href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75a0e99fed4f3145668652aad5a3700e337">SVF::VFGNode</a>
 </li>
-<li>BinaryOPList
-: <a class="el" href="classSVF_1_1SVFIR.html#ad4704a620a7e2ec39e059cdc70442214">SVF::SVFIR</a>
-</li>
 <li>BinaryOPPE()
 : <a class="el" href="classSVF_1_1BinaryOPPE.html#a93f0e04b8b424dc85432b43b70027670">SVF::BinaryOPPE</a>
 </li>
@@ -278,6 +269,10 @@ $(function() {
 <li>bothInterEdges()
 : <a class="el" href="classSVF_1_1SVFGOPT.html#a6d5cdb3b78e4ed482b0da4c64323b463">SVF::SVFGOPT</a>
 </li>
+<li>Branch
+: <a class="el" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9ad52703e3ec09b6a4f565e5d82279b6a3">SVF::SVFStmt</a>
+, <a class="el" href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75a7e37444f61c10c22b694a86064ae4f01">SVF::VFGNode</a>
+</li>
 <li>branchCond
 : <a class="el" href="classSVF_1_1BranchCondExpr.html#a99b54ea1152131f8e0991374043ffced">SVF::BranchCondExpr</a>
 </li>
@@ -310,6 +305,12 @@ $(function() {
 <li>branchStat()
 : <a class="el" href="classSVF_1_1PTAStat.html#ada838d9e03f2be4fb3ceffab3983b564">SVF::PTAStat</a>
 </li>
+<li>BranchStmt()
+: <a class="el" href="classSVF_1_1BranchStmt.html#a83244ad7db61a544f7538961081d4fbd">SVF::BranchStmt</a>
+</li>
+<li>BranchVFGNode()
+: <a class="el" href="classSVF_1_1BranchVFGNode.html#adbaa9b14441cb66ad46671d93c09c513">SVF::BranchVFGNode</a>
+</li>
 <li>brCondition
 : <a class="el" href="classSVF_1_1IntraCFGEdge.html#a1948630208ff0a67f28913ca928ba9b4">SVF::IntraCFGEdge</a>
 </li>
@@ -319,6 +320,12 @@ $(function() {
 <li>BriefConsCGDotGraph
 : <a class="el" href="classSVF_1_1Options.html#a82370c2b8c9cd62b5767ceeaeeaa7177">SVF::Options</a>
 </li>
+<li>brInst
+: <a class="el" href="classSVF_1_1BranchStmt.html#a33887345c00ffda9ca7dca59d61e184a">SVF::BranchStmt</a>
+</li>
+<li>brstmt
+: <a class="el" href="classSVF_1_1BranchVFGNode.html#ab2c5f49a3ac21d827b37b0e4b61f1a10">SVF::BranchVFGNode</a>
+</li>
 <li>bucket
 : <a class="el" href="structDdHashTable.html#a14e9b750bdad0f77294dd8e18f18d32c">DdHashTable</a>
 </li>
@@ -343,20 +350,20 @@ $(function() {
 : <a class="el" href="classSVF_1_1ConstraintGraph.html#a1973126243ff619033a78a3782944278">SVF::ConstraintGraph</a>
 </li>
 <li>buildCHG()
-: <a class="el" href="classSVF_1_1CHGraph.html#ae6b620ead0f214e72fbef9c26da3d5a0">SVF::CHGraph</a>
+: <a class="el" href="classSVF_1_1CHGBuilder.html#aa5c672ac426ad4085d64d97f8cb14ace">SVF::CHGBuilder</a>
 , <a class="el" href="classSVF_1_1DCHGraph.html#a710c6b87fd475552eddb425e38de8889">SVF::DCHGraph</a>
 </li>
 <li>buildCHGEdges()
-: <a class="el" href="classSVF_1_1CHGraph.html#a57062fb6b3d22d98e5ef564eaff84b2e">SVF::CHGraph</a>
+: <a class="el" href="classSVF_1_1CHGBuilder.html#a7420a3a4858ebe861aaa47d76f49ab1f">SVF::CHGBuilder</a>
 </li>
 <li>buildCHGNodes()
-: <a class="el" href="classSVF_1_1CHGraph.html#aa7280c8102df6ee625cbe1accba6f09f">SVF::CHGraph</a>
+: <a class="el" href="classSVF_1_1CHGBuilder.html#a648e97899c16a5634fc8369aef8a031f">SVF::CHGBuilder</a>
 </li>
 <li>buildClassNameToAncestorsDescendantsMap()
-: <a class="el" href="classSVF_1_1CHGraph.html#a3468ae9cbcff4c525c627ddb7a416cda">SVF::CHGraph</a>
+: <a class="el" href="classSVF_1_1CHGBuilder.html#ae7832c277f0ff86f3ae750aac6063adb">SVF::CHGBuilder</a>
 </li>
 <li>buildCSToCHAVtblsAndVfnsMap()
-: <a class="el" href="classSVF_1_1CHGraph.html#a71e74fc9c9a27cd354aa113801ed416f">SVF::CHGraph</a>
+: <a class="el" href="classSVF_1_1CHGBuilder.html#abab6d95945a43fbe4c73ac12550f5d8c">SVF::CHGBuilder</a>
 </li>
 <li>buildDeltaMaps()
 : <a class="el" href="classSVF_1_1VersionedFlowSensitive.html#a3407cc82ef9806e26b79edb677979014">SVF::VersionedFlowSensitive</a>
@@ -377,7 +384,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1CHGraph.html#ab5bd2348e4418fcb2f3b18227fccd836">SVF::CHGraph</a>
 </li>
 <li>buildInternalMaps()
-: <a class="el" href="classSVF_1_1CHGraph.html#ab55b057a7be74ad03514dc15b6f01131">SVF::CHGraph</a>
+: <a class="el" href="classSVF_1_1CHGBuilder.html#ad9f1c51ba6dc279f22aa671f29257a50">SVF::CHGBuilder</a>
 </li>
 <li>buildIsStoreLoadMaps()
 : <a class="el" href="classSVF_1_1VersionedFlowSensitive.html#a8da4b9bd9d0c640a6857b4dc4991817c">SVF::VersionedFlowSensitive</a>
@@ -412,7 +419,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1SVFGOPT.html#af4d2c6d2e3b316b256f860801fe3b178">SVF::SVFGOPT</a>
 </li>
 <li>buildSVFModule()
-: <a class="el" href="classSVF_1_1LLVMModuleSet.html#a1f8e769251c89433311eeb6f98d115e9">SVF::LLVMModuleSet</a>
+: <a class="el" href="classSVF_1_1LLVMModuleSet.html#ae919327019b5014f64b754dbdeb07f75">SVF::LLVMModuleSet</a>
 </li>
 <li>buildSymbolTableInfo()
 : <a class="el" href="classSVF_1_1SVFModule.html#aa03ab5272652290f30870c6e2d053d98">SVF::SVFModule</a>
@@ -421,7 +428,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1ThreadCallGraphBuilder.html#a0f5bf24257858919c10af0e076d87ef7">SVF::ThreadCallGraphBuilder</a>
 </li>
 <li>buildVirtualFunctionToIDMap()
-: <a class="el" href="classSVF_1_1CHGraph.html#aa54643023932a31697840cbb79be52e4">SVF::CHGraph</a>
+: <a class="el" href="classSVF_1_1CHGBuilder.html#aa677ac2c640ee7fc0dab1d4fe508ead8">SVF::CHGBuilder</a>
 </li>
 <li>buildVTables()
 : <a class="el" href="classSVF_1_1DCHGraph.html#a0c873ab28d5967991e636696fae8c67f">SVF::DCHGraph</a>