svf-tools 1.0.310 → 1.0.314

package/SVF-doxygen/html/html/dda_8cpp.html

@@ -334,7 +334,7 @@ Functions</h2></td></tr>
 
 <p class="definition">Definition at line <a class="el" href="dda_8cpp_source.html#l00044">44</a> of file <a class="el" href="dda_8cpp_source.html">dda.cpp</a>.</p>
 <div class="fragment"><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="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>
-<div class="ttc" id="classSVF_1_1SVFModule_html"><div class="ttname"><a href="classSVF_1_1SVFModule.html">SVF::SVFModule</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFModule_8h_source.html#l00038">SVFModule.h:38</a></div></div>
+<div class="ttc" id="classSVF_1_1SVFModule_html"><div class="ttname"><a href="classSVF_1_1SVFModule.html">SVF::SVFModule</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFModule_8h_source.html#l00041">SVFModule.h:41</a></div></div>
 <div class="ttc" id="classSVF_1_1DDAPass_html"><div class="ttname"><a href="classSVF_1_1DDAPass.html">SVF::DDAPass</a></div><div class="ttdef"><b>Definition:</b> <a href="DDAPass_8h_source.html#l00024">DDAPass.h:24</a></div></div>
 <div class="ttc" id="classSVF_1_1DDAPass_html_af196994d6ec7f5cead72212407842103"><div class="ttname"><a href="classSVF_1_1DDAPass.html#af196994d6ec7f5cead72212407842103">SVF::DDAPass::runOnModule</a></div><div class="ttdeci">virtual void runOnModule(SVFModule *module)</div><div class="ttdoc">We start from here. </div><div class="ttdef"><b>Definition:</b> <a href="DDAPass_8cpp_source.html#l00034">DDAPass.cpp:34</a></div></div>
 <div class="ttc" id="classSVF_1_1SVFModule_html_aa03ab5272652290f30870c6e2d053d98"><div class="ttname"><a href="classSVF_1_1SVFModule.html#aa03ab5272652290f30870c6e2d053d98">SVF::SVFModule::buildSymbolTableInfo</a></div><div class="ttdeci">void buildSymbolTableInfo()</div><div class="ttdef"><b>Definition:</b> <a href="SVFModule_8cpp_source.html#l00030">SVFModule.cpp:30</a></div></div>

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

@@ -72,7 +72,7 @@ $(function() {
 <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>
-<div class="ttc" id="classSVF_1_1SVFModule_html"><div class="ttname"><a href="classSVF_1_1SVFModule.html">SVF::SVFModule</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFModule_8h_source.html#l00038">SVFModule.h:38</a></div></div>
+<div class="ttc" id="classSVF_1_1SVFModule_html"><div class="ttname"><a href="classSVF_1_1SVFModule.html">SVF::SVFModule</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFModule_8h_source.html#l00041">SVFModule.h:41</a></div></div>
 <div class="ttc" id="dda_8cpp_html_a55c1167d4e6efe7828f050d978291725"><div class="ttname"><a href="dda_8cpp.html#a55c1167d4e6efe7828f050d978291725">DAA</a></div><div class="ttdeci">static cl::opt&lt; bool &gt; DAA(&quot;daa&quot;, cl::init(false), cl::desc(&quot;Demand-Driven Alias Analysis Pass&quot;))</div></div>
 <div class="ttc" id="dda_8cpp_html_a3abc2ce6737d192a5c3f967734fe8389"><div class="ttname"><a href="dda_8cpp.html#a3abc2ce6737d192a5c3f967734fe8389">RFINEPT</a></div><div class="ttdeci">static cl::opt&lt; bool &gt; RFINEPT(&quot;dref&quot;, cl::init(false), cl::desc(&quot;Demand-driven refinement points-to analysis&quot;))</div></div>
 <div class="ttc" id="classSVF_1_1DDAPass_html"><div class="ttname"><a href="classSVF_1_1DDAPass.html">SVF::DDAPass</a></div><div class="ttdef"><b>Definition:</b> <a href="DDAPass_8h_source.html#l00024">DDAPass.h:24</a></div></div>

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

@@ -89,7 +89,7 @@ Files</h2></td></tr>
 <tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:LLVMUtil_8cpp"><td class="memItemLeft" align="right" valign="top">file &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="LLVMUtil_8cpp.html">LLVMUtil.cpp</a> <a href="LLVMUtil_8cpp_source.html">[code]</a></td></tr>
 <tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:LocMemModel_8cpp"><td class="memItemLeft" align="right" valign="top">file &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="LocMemModel_8cpp.html">LocMemModel.cpp</a> <a href="LocMemModel_8cpp_source.html">[code]</a></td></tr>
+<tr class="memitem:MemModelBuilder_8cpp"><td class="memItemLeft" align="right" valign="top">file &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="MemModelBuilder_8cpp.html">MemModelBuilder.cpp</a> <a href="MemModelBuilder_8cpp_source.html">[code]</a></td></tr>
 <tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:PAGBuilder_8cpp"><td class="memItemLeft" align="right" valign="top">file &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="PAGBuilder_8cpp.html">PAGBuilder.cpp</a> <a href="PAGBuilder_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

@@ -93,7 +93,7 @@ Files</h2></td></tr>
 <tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:LLVMUtil_8h"><td class="memItemLeft" align="right" valign="top">file &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="LLVMUtil_8h.html">LLVMUtil.h</a> <a href="LLVMUtil_8h_source.html">[code]</a></td></tr>
 <tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:LocMemModel_8h"><td class="memItemLeft" align="right" valign="top">file &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="LocMemModel_8h.html">LocMemModel.h</a> <a href="LocMemModel_8h_source.html">[code]</a></td></tr>
+<tr class="memitem:MemModelBuilder_8h"><td class="memItemLeft" align="right" valign="top">file &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="MemModelBuilder_8h.html">MemModelBuilder.h</a> <a href="MemModelBuilder_8h_source.html">[code]</a></td></tr>
 <tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:PAGBuilder_8h"><td class="memItemLeft" align="right" valign="top">file &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="PAGBuilder_8h.html">PAGBuilder.h</a> <a href="PAGBuilder_8h_source.html">[code]</a></td></tr>
 <tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>

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

@@ -160,7 +160,7 @@ $(function() {
 <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="LocMemModel_8h_source.html"><span class="icondoc"></span></a><a class="el" href="LocMemModel_8h.html" target="_self">LocMemModel.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="MemModelBuilder_8h_source.html"><span class="icondoc"></span></a><a class="el" href="MemModelBuilder_8h.html" target="_self">MemModelBuilder.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="PAGBuilder_8h_source.html"><span class="icondoc"></span></a><a class="el" href="PAGBuilder_8h.html" target="_self">PAGBuilder.h</a></td><td class="desc"></td></tr>
 <tr id="row_0_8_14_" class="even" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;">&#160;</span><a href="SymbolTableInfo_8h_source.html"><span class="icondoc"></span></a><a class="el" href="SymbolTableInfo_8h.html" target="_self">SymbolTableInfo.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>
@@ -271,7 +271,7 @@ $(function() {
 <tr id="row_1_8_7_" class="even" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;">&#160;</span><a href="ICFGBuilder_8cpp_source.html"><span class="icondoc"></span></a><a class="el" href="ICFGBuilder_8cpp.html" target="_self">ICFGBuilder.cpp</a></td><td class="desc"></td></tr>
 <tr id="row_1_8_8_" class="even" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;">&#160;</span><a href="LLVMModule_8cpp_source.html"><span class="icondoc"></span></a><a class="el" href="LLVMModule_8cpp.html" target="_self">LLVMModule.cpp</a></td><td class="desc"></td></tr>
 <tr id="row_1_8_9_" class="even" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;">&#160;</span><a href="LLVMUtil_8cpp_source.html"><span class="icondoc"></span></a><a class="el" href="LLVMUtil_8cpp.html" target="_self">LLVMUtil.cpp</a></td><td class="desc"></td></tr>
-<tr id="row_1_8_10_" class="even" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;">&#160;</span><a href="LocMemModel_8cpp_source.html"><span class="icondoc"></span></a><a class="el" href="LocMemModel_8cpp.html" target="_self">LocMemModel.cpp</a></td><td class="desc"></td></tr>
+<tr id="row_1_8_10_" class="even" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;">&#160;</span><a href="MemModelBuilder_8cpp_source.html"><span class="icondoc"></span></a><a class="el" href="MemModelBuilder_8cpp.html" target="_self">MemModelBuilder.cpp</a></td><td class="desc"></td></tr>
 <tr id="row_1_8_11_" class="even" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;">&#160;</span><a href="PAGBuilder_8cpp_source.html"><span class="icondoc"></span></a><a class="el" href="PAGBuilder_8cpp.html" target="_self">PAGBuilder.cpp</a></td><td class="desc"></td></tr>
 <tr id="row_1_8_12_" class="even" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;">&#160;</span><a href="SymbolTableInfo_8cpp_source.html"><span class="icondoc"></span></a><a class="el" href="SymbolTableInfo_8cpp.html" target="_self">SymbolTableInfo.cpp</a></td><td class="desc"></td></tr>
 <tr id="row_1_9_" class="even"><td class="entry"><span style="width:16px;display:inline-block;">&#160;</span><span id="arr_1_9_" class="arrow" onclick="toggleFolder('1_9_')">&#9658;</span><span id="img_1_9_" class="iconfclosed" onclick="toggleFolder('1_9_')">&#160;</span><a class="el" href="dir_862d3276083eaac55caed79b9120bf29.html" target="_self">Util</a></td><td class="desc"></td></tr>

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

@@ -68,7 +68,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1Andersen.html#a15218a84e653baf2cd7f1dc95ccfb77d">SVF::Andersen</a>
 </li>
 <li>~AndersenBase()
-: <a class="el" href="classSVF_1_1AndersenBase.html#abd9b91b2cfe1e30ab3bdb6ac26466c1f">SVF::AndersenBase</a>
+: <a class="el" href="classSVF_1_1AndersenBase.html#a8da8746b38c55561d3f6904e8fd0a9aa">SVF::AndersenBase</a>
 </li>
 <li>~AndersenSFR()
 : <a class="el" href="classSVF_1_1AndersenSFR.html#aabdafa8234569219fc5d96bb44ca8ef0">SVF::AndersenSFR</a>
@@ -95,7 +95,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1CFLSolver.html#ac37d5e6e81edcc0a6c53e02d7d343f5b">SVF::CFLSolver&lt; GraphType, DPIm &gt;</a>
 </li>
 <li>~CHGraph()
-: <a class="el" href="classSVF_1_1CHGraph.html#ae50fcba9fb131bc1956bcd6053bb7354">SVF::CHGraph</a>
+: <a class="el" href="classSVF_1_1CHGraph.html#a63c4f42eea94e786090a546fc2195a00">SVF::CHGraph</a>
 </li>
 <li>~CHNode()
 : <a class="el" href="classSVF_1_1CHNode.html#aff05589899b58112119af68df5d1997e">SVF::CHNode</a>
@@ -265,12 +265,6 @@ $(function() {
 <li>~LockResultValidator()
 : <a class="el" href="classSVF_1_1LockResultValidator.html#a6790b9a632b172e1ea537ab93f526375">SVF::LockResultValidator</a>
 </li>
-<li>~LocObjTypeInfo()
-: <a class="el" href="classSVF_1_1LocObjTypeInfo.html#a26cd4a1307c89c43fcbfa4d8e84d0e80">SVF::LocObjTypeInfo</a>
-</li>
-<li>~LocSymTableInfo()
-: <a class="el" href="classSVF_1_1LocSymTableInfo.html#ae1789cb25f50fbce3fc44a14a2cf124d">SVF::LocSymTableInfo</a>
-</li>
 <li>~MemObj()
 : <a class="el" href="classSVF_1_1MemObj.html#ad56f353dde7462dd54297e1b51e6eb05">SVF::MemObj</a>
 </li>
@@ -436,6 +430,9 @@ $(function() {
 <li>~SVFGStat()
 : <a class="el" href="classSVF_1_1SVFGStat.html#ad70617b64bb651c0c16943a8b016399e">SVF::SVFGStat</a>
 </li>
+<li>~SVFModule()
+: <a class="el" href="classSVF_1_1SVFModule.html#a1eb570539328976351d95ca93cb7aa02">SVF::SVFModule</a>
+</li>
 <li>~SymbolTableInfo()
 : <a class="el" href="classSVF_1_1SymbolTableInfo.html#a6efac0ae8ebf2865067136675be5a340">SVF::SymbolTableInfo</a>
 </li>

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

@@ -968,18 +968,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#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_1BVDataPTAImpl.html#adaba5a41a60e32d18d964bdb8ae5b2df">SVF::BVDataPTAImpl</a>
+, <a class="el" href="classSVF_1_1CondPTAImpl.html#a171918ada9b679b0114b27476caa5ee6">SVF::CondPTAImpl&lt; Cond &gt;</a>
+, <a class="el" href="classSVF_1_1DDAPass.html#a96de481dd2af7b39428aff38158c1d4e">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#a7f2b4647c8d69c8328b63e576cb6d065">SVF::SVFModule</a>
+: <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>
@@ -1106,10 +1106,10 @@ $(function() {
 : <a class="el" href="classSVF_1_1ForkJoinAnalysis.html#a16061e7c28e7a9177d9ab798c102b815">SVF::ForkJoinAnalysis</a>
 </li>
 <li>analyzeGlobalStackObjType()
-: <a class="el" href="classSVF_1_1ObjTypeInfo.html#acc90d7a517c58ac86ef8109dcece3f10">SVF::ObjTypeInfo</a>
+: <a class="el" href="classSVF_1_1MemModelBuilder.html#a2baa1d18e5c0c94de01920ccdb153034">SVF::MemModelBuilder</a>
 </li>
-<li>analyzeHeapStaticObjType()
-: <a class="el" href="classSVF_1_1ObjTypeInfo.html#a57ffe17476467619e844b27cb292149a">SVF::ObjTypeInfo</a>
+<li>analyzeHeapObjType()
+: <a class="el" href="classSVF_1_1ObjTypeInfo.html#a66692043a56c327ac7ac00cc3126cd78">SVF::ObjTypeInfo</a>
 </li>
 <li>analyzeInterleaving()
 : <a class="el" href="classSVF_1_1MHP.html#adfd90a8d20d630bc3813f5ed71d3abf7">SVF::MHP</a>
@@ -1120,6 +1120,9 @@ $(function() {
 <li>analyzeLockSpanCxtStmt()
 : <a class="el" href="classSVF_1_1LockAnalysis.html#a00ccd89eff3fe8fec397df101f927cbe">SVF::LockAnalysis</a>
 </li>
+<li>analyzeStaticObjType()
+: <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>
 </li>

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

@@ -381,7 +381,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1VersionedFlowSensitive.html#a8da4b9bd9d0c640a6857b4dc4991817c">SVF::VersionedFlowSensitive</a>
 </li>
 <li>buildMemModel()
-: <a class="el" href="classSVF_1_1SymbolTableInfo.html#a74481bb26d77d8c8bca91efd3e23c08e">SVF::SymbolTableInfo</a>
+: <a class="el" href="classSVF_1_1MemModelBuilder.html#aa38a3ce969852945fb914bab56fe8850">SVF::MemModelBuilder</a>
 </li>
 <li>buildMemSSA()
 : <a class="el" href="classSVF_1_1MemSSA.html#ae56d1878046c119d1857727ca3609d74">SVF::MemSSA</a>

package/SVF-doxygen/html/html/functions_c.html

@@ -176,13 +176,11 @@ $(function() {
 </li>
 <li>callGraphSCC
 : <a class="el" href="classSVF_1_1MRGenerator.html#aa3a12cf1f761d25b9213bc6e50d89ba5">SVF::MRGenerator</a>
+, <a class="el" href="classSVF_1_1PointerAnalysis.html#ae3b651799345d9d92b6d736dafb03f63">SVF::PointerAnalysis</a>
 </li>
 <li>CallGraphSCC
 : <a class="el" href="classSVF_1_1PointerAnalysis.html#ac4ad73782f42f90ad7ac9c66edb27c69">SVF::PointerAnalysis</a>
 </li>
-<li>callGraphSCC
-: <a class="el" href="classSVF_1_1PointerAnalysis.html#ae3b651799345d9d92b6d736dafb03f63">SVF::PointerAnalysis</a>
-</li>
 <li>callGraphSCCDetection()
 : <a class="el" href="classSVF_1_1PointerAnalysis.html#aafa5df4aa576a144476e547b1da35795">SVF::PointerAnalysis</a>
 </li>
@@ -718,6 +716,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1PersistentDFPTData.html#ab070b1baa6a01800edac36dc075107fd">SVF::PersistentDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 , <a class="el" href="classSVF_1_1PersistentDiffPTData.html#a10504f854b1b390818f8ee12182d857c">SVF::PersistentDiffPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 , <a class="el" href="classSVF_1_1PersistentIncDFPTData.html#a5e8036d18088ed272ab052b5cd6ef1ce">SVF::PersistentIncDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
+, <a class="el" href="classSVF_1_1PersistentPointsToCache.html#ae9017daca63227066bb1be6dedef8b0f">SVF::PersistentPointsToCache&lt; Data &gt;</a>
 , <a class="el" href="classSVF_1_1PersistentPTData.html#abf836f1b063b869215c7e9b53b013d3f">SVF::PersistentPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 , <a class="el" href="classSVF_1_1PersistentVersionedPTData.html#ac563829c0d6d091c905bfe16580ceb47">SVF::PersistentVersionedPTData&lt; Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet &gt;</a>
 , <a class="el" href="classSVF_1_1PointsTo.html#acb5af4139d42dcd19c6327520f074e91">SVF::PointsTo</a>
@@ -758,7 +757,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1PersistentDFPTData.html#afa828c0db9c030584e379e86cf0a25a9">SVF::PersistentDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 , <a class="el" href="classSVF_1_1PersistentDiffPTData.html#ae4b558e119c7e3fae25a0b4509422c87">SVF::PersistentDiffPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 , <a class="el" href="classSVF_1_1PersistentPTData.html#aff3437089686869faa772c44bca753b6">SVF::PersistentPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
-, <a class="el" href="classSVF_1_1PersistentVersionedPTData.html#a78f2b0ee440ed5b358928ee775e95564">SVF::PersistentVersionedPTData&lt; Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet &gt;</a>
+, <a class="el" href="classSVF_1_1PersistentVersionedPTData.html#a5c31a5faad444bd19005d06ba28d0185">SVF::PersistentVersionedPTData&lt; Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet &gt;</a>
 , <a class="el" href="classSVF_1_1PTData.html#a877888f12d9f8048002cc0e6b83d45ac">SVF::PTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 , <a class="el" href="classSVF_1_1VersionedPTData.html#a4bfd083fae6ff689945ed34632e208e9">SVF::VersionedPTData&lt; Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet &gt;</a>
 </li>
@@ -781,7 +780,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1PersistentDFPTData.html#af64c6a2c0a1b2044fac56a69e9db7cff">SVF::PersistentDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 , <a class="el" href="classSVF_1_1PersistentDiffPTData.html#ab01a663b665d629c15f3531f18b5abc2">SVF::PersistentDiffPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 , <a class="el" href="classSVF_1_1PersistentPTData.html#a10221452ea6ffed4ae51a9c6f9dc1e93">SVF::PersistentPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
-, <a class="el" href="classSVF_1_1PersistentVersionedPTData.html#a9f5bb9d2020973660268c4e5ac98cb61">SVF::PersistentVersionedPTData&lt; Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet &gt;</a>
+, <a class="el" href="classSVF_1_1PersistentVersionedPTData.html#afe724603022a8fed7469f9ecd633febc">SVF::PersistentVersionedPTData&lt; Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet &gt;</a>
 , <a class="el" href="classSVF_1_1PointerAnalysis.html#a3f78f60e1947a6d6fbcd3a0ee11e262a">SVF::PointerAnalysis</a>
 , <a class="el" href="classSVF_1_1PTData.html#a03c783b9a1faac0aee3e22361df594ce">SVF::PTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 , <a class="el" href="classSVF_1_1VersionedPTData.html#a164436121f658ce0967a88bb84ecf220">SVF::VersionedPTData&lt; Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet &gt;</a>
@@ -851,12 +850,12 @@ $(function() {
 : <a class="el" href="classSVF_1_1PAGEdge.html#a79080505b4744aa8806b55215ac2b0f6a90aa1e3ce21dcd54cf433610b427ba96">SVF::PAGEdge</a>
 , <a class="el" href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75a98fd43afc6615f418d2d96209eb31828">SVF::VFGNode</a>
 </li>
-<li>cmpNodeMap
-: <a class="el" href="classSVF_1_1PAG.html#ab51dc1fa314705f66d3319ea95adfc68">SVF::PAG</a>
-</li>
 <li>CmpNodeMap
 : <a class="el" href="classSVF_1_1PAG.html#a373335a3c28622cfc0aeb1ef7ae8ccf7">SVF::PAG</a>
 </li>
+<li>cmpNodeMap
+: <a class="el" href="classSVF_1_1PAG.html#ab51dc1fa314705f66d3319ea95adfc68">SVF::PAG</a>
+</li>
 <li>CmpPE()
 : <a class="el" href="classSVF_1_1CmpPE.html#aaf403a40a8ab78cee6b9c7d8b4548c96">SVF::CmpPE</a>
 </li>
@@ -887,8 +886,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1AndersenStat.html#a3f5739454b1f4e03b4388a4ba5730e15">SVF::AndersenStat</a>
 </li>
 <li>collectArrayInfo()
-: <a class="el" href="classSVF_1_1LocSymTableInfo.html#a45b52cb8f8634ecf8bfb33f8e71bb82f">SVF::LocSymTableInfo</a>
-, <a class="el" href="classSVF_1_1SymbolTableInfo.html#aea1c4ec32c307feb5da455a41cc51b5e">SVF::SymbolTableInfo</a>
+: <a class="el" href="classSVF_1_1SymbolTableInfo.html#aea1c4ec32c307feb5da455a41cc51b5e">SVF::SymbolTableInfo</a>
 </li>
 <li>collectBBCallingProgExit()
 : <a class="el" href="classSVF_1_1PathCondAllocator.html#a391cb347cf98f33c261e59975900048e">SVF::PathCondAllocator</a>
@@ -957,7 +955,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1TCT.html#ad15753a9c20d738325e5c0edea6c9c56">SVF::TCT</a>
 </li>
 <li>collectObj()
-: <a class="el" href="classSVF_1_1SymbolTableInfo.html#af639e9bc59f5fb9a6bf1748ef0d07d5e">SVF::SymbolTableInfo</a>
+: <a class="el" href="classSVF_1_1MemModelBuilder.html#a65811b9e59b29598fdac5e33ef2bc682">SVF::MemModelBuilder</a>
 </li>
 <li>CollectPtsChain()
 : <a class="el" href="classSVF_1_1MRGenerator.html#a81bd687d34eea884dfcf68274fcec7b5">SVF::MRGenerator</a>
@@ -970,7 +968,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1MemSSA.html#a8032c530b44e264544881d53d2fac390">SVF::MemSSA</a>
 </li>
 <li>collectRet()
-: <a class="el" href="classSVF_1_1SymbolTableInfo.html#ae4a7d078322e99af965193c82b357239">SVF::SymbolTableInfo</a>
+: <a class="el" href="classSVF_1_1MemModelBuilder.html#abb2767754c1640be1b88e26c2cd827af">SVF::MemModelBuilder</a>
 </li>
 <li>collectSCEVInfo()
 : <a class="el" href="classSVF_1_1ForkJoinAnalysis.html#a731ece7e21bfa2b08ae16780b55f9f5f">SVF::ForkJoinAnalysis</a>
@@ -985,11 +983,10 @@ $(function() {
 : <a class="el" href="classSVF_1_1PCG.html#aef06745128e4e99c8e3bab226a337041">SVF::PCG</a>
 </li>
 <li>collectStructInfo()
-: <a class="el" href="classSVF_1_1LocSymTableInfo.html#aedca0dbfb8641cefe68d547e3f4d62e8">SVF::LocSymTableInfo</a>
-, <a class="el" href="classSVF_1_1SymbolTableInfo.html#ab5297b79a02d8afce647a8b61bdab804">SVF::SymbolTableInfo</a>
+: <a class="el" href="classSVF_1_1SymbolTableInfo.html#ab5297b79a02d8afce647a8b61bdab804">SVF::SymbolTableInfo</a>
 </li>
 <li>collectSym()
-: <a class="el" href="classSVF_1_1SymbolTableInfo.html#a7c422651a6cb299b0c94a2e4597fbe7c">SVF::SymbolTableInfo</a>
+: <a class="el" href="classSVF_1_1MemModelBuilder.html#ae87426d038c76ccdbb12f2b7d5d09173">SVF::MemModelBuilder</a>
 </li>
 <li>collectTCTTargets()
 : <a class="el" href="classSVF_1_1MTAResultValidator.html#abdf31e8fca824b56a53788de525042a6">SVF::MTAResultValidator</a>
@@ -998,13 +995,13 @@ $(function() {
 : <a class="el" href="classSVF_1_1SymbolTableInfo.html#aa99cab5480116905dd41ab0ad24b9462">SVF::SymbolTableInfo</a>
 </li>
 <li>collectVal()
-: <a class="el" href="classSVF_1_1SymbolTableInfo.html#a135ec0f7574d4bcb4bc411ce5775f1f5">SVF::SymbolTableInfo</a>
+: <a class="el" href="classSVF_1_1MemModelBuilder.html#af2660d3b74dd474823ae13e83e00d1f7">SVF::MemModelBuilder</a>
 </li>
 <li>collectValidationTargets()
 : <a class="el" href="classSVF_1_1RaceResultValidator.html#adb3030fc7514506e2592e11898217375">SVF::RaceResultValidator</a>
 </li>
 <li>collectVararg()
-: <a class="el" href="classSVF_1_1SymbolTableInfo.html#ae1fe33260d2a2d21f2c33aaf1b58fee3">SVF::SymbolTableInfo</a>
+: <a class="el" href="classSVF_1_1MemModelBuilder.html#ad7503ed106b59f2efb3d36bf3ac83c72">SVF::MemModelBuilder</a>
 </li>
 <li>collectWPANum()
 : <a class="el" href="classSVF_1_1DDAClient.html#a76b4c50a1051ff7c0b162b55473de028">SVF::DDAClient</a>
@@ -1023,7 +1020,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1LocationSet.html#afc0f702b6cce26861b409130fe5e019f">SVF::LocationSet</a>
 </li>
 <li>computeDDAPts()
-: <a class="el" href="classSVF_1_1ContextDDA.html#a337eb89cc5f31741ad8d840d9f284ca5">SVF::ContextDDA</a>
+: <a class="el" href="classSVF_1_1ContextDDA.html#ae0f3b07267ded5f0ee879c39effff864">SVF::ContextDDA</a>
 , <a class="el" href="classSVF_1_1FlowDDA.html#a113faa56ee75eff39da19fd4b47a47e0">SVF::FlowDDA</a>
 , <a class="el" href="classSVF_1_1PointerAnalysis.html#a0bb90b398ef85504bcd816ae57bee01d">SVF::PointerAnalysis</a>
 </li>
@@ -1035,8 +1032,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1PersistentDiffPTData.html#ae42379dbabbd66dfd91e305673788ed3">SVF::PersistentDiffPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 </li>
 <li>computeGepOffset()
-: <a class="el" href="classSVF_1_1LocSymTableInfo.html#a4aa6bf984692e879ad12806d35a6d2be">SVF::LocSymTableInfo</a>
-, <a class="el" href="classSVF_1_1PAGBuilder.html#a5cedcedab00c875ba392da281de7f5f2">SVF::PAGBuilder</a>
+: <a class="el" href="classSVF_1_1PAGBuilder.html#a5cedcedab00c875ba392da281de7f5f2">SVF::PAGBuilder</a>
 , <a class="el" href="classSVF_1_1SymbolTableInfo.html#a86b742ca197b3505b3246d6bed2484db">SVF::SymbolTableInfo</a>
 </li>
 <li>ComputeInterCallVFGGuard()
@@ -1112,7 +1108,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1VFPathCond.html#a1a2927860cfad8b01e1882dce4044203">SVF::VFPathCond</a>
 </li>
 <li>CondPointsToSet()
-: <a class="el" href="classSVF_1_1CondPointsToSet.html#a3670dc2bb046f2d3e0d27dc02b32e62f">SVF::CondPointsToSet&lt; Cond &gt;</a>
+: <a class="el" href="classSVF_1_1CondPointsToSet.html#aad144061d006968ff4d6d21488b84801">SVF::CondPointsToSet&lt; Cond &gt;</a>
 </li>
 <li>CondPosMap
 : <a class="el" href="classSVF_1_1PathCondAllocator.html#a0d685cfd0f0652a0ff839969f763371b">SVF::PathCondAllocator</a>
@@ -1342,7 +1338,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75af589a053fdb7efc728b68a324fc58b2b">SVF::VFGNode</a>
 </li>
 <li>CopyCGEdge()
-: <a class="el" href="classSVF_1_1CopyCGEdge.html#ac82949d49688f428d09842bda0ba1d53">SVF::CopyCGEdge</a>
+: <a class="el" href="classSVF_1_1CopyCGEdge.html#a0e950b306ec8d45e38f0320c63681ecd">SVF::CopyCGEdge</a>
 </li>
 <li>copyInEdges
 : <a class="el" href="classSVF_1_1ConstraintNode.html#a4d413d64bf554ecdc72709afeeb85775">SVF::ConstraintNode</a>
@@ -1351,7 +1347,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1ConstraintNode.html#a12df688fd9b5b7617daadc7bee0fff40">SVF::ConstraintNode</a>
 </li>
 <li>CopyPE()
-: <a class="el" href="classSVF_1_1CopyPE.html#ad80e63a8a67a3760d78ccde867b15284">SVF::CopyPE</a>
+: <a class="el" href="classSVF_1_1CopyPE.html#aabb6ea2c6f8561e42933b5da45544e5f">SVF::CopyPE</a>
 </li>
 <li>CopyPEList
 : <a class="el" href="classSVF_1_1PAG.html#a7bdc824c927d79b624e93c1135ab98a6">SVF::PAG</a>
@@ -1366,7 +1362,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1CoreBitVector.html#a93f42d767c99bdf788dc4df4881751c5">SVF::CoreBitVector</a>
 </li>
 <li>CoreBitVectorIterator()
-: <a class="el" href="classSVF_1_1CoreBitVector_1_1CoreBitVectorIterator.html#a66b4a85853791c4e1537a4bdbc7a2f90">SVF::CoreBitVector::CoreBitVectorIterator</a>
+: <a class="el" href="classSVF_1_1CoreBitVector_1_1CoreBitVectorIterator.html#ae209179f396c8b5b788ff6d2c437e5d6">SVF::CoreBitVector::CoreBitVectorIterator</a>
 </li>
 <li>count
 : <a class="el" href="structDdHashItem.html#aa5bce9f94fb976df2a1768f0f0c7d50c">DdHashItem</a>
@@ -1404,7 +1400,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1CondPointsToSet.html#ad26570b94c56d6d2ae1cd5093ac66670">SVF::CondPointsToSet&lt; Cond &gt;</a>
 </li>
 <li>cptsEnd()
-: <a class="el" href="classSVF_1_1CondPointsToSet.html#aa4c47630b9a06d70375daf5e9237303d">SVF::CondPointsToSet&lt; Cond &gt;</a>
+: <a class="el" href="classSVF_1_1CondPointsToSet.html#a20026db57cfef6bf6a978140b2372cea">SVF::CondPointsToSet&lt; Cond &gt;</a>
 </li>
 <li>CPtSet
 : <a class="el" href="classSVF_1_1CondPTAImpl.html#a3f2f48fc122c07ff9eb1382aa7a3f966">SVF::CondPTAImpl&lt; Cond &gt;</a>
@@ -1472,6 +1468,10 @@ $(function() {
 <li>createNode()
 : <a class="el" href="classSVF_1_1CHGraph.html#a39a7a8f6a4b9bb03523f190ce7b91e58">SVF::CHGraph</a>
 </li>
+<li>createObjTypeInfo()
+: <a class="el" href="classSVF_1_1MemModelBuilder.html#a25943b60f7b6beada54bd49369086c49">SVF::MemModelBuilder</a>
+, <a class="el" href="classSVF_1_1SymbolTableInfo.html#a76971ba9b579907ef937cd7adda89562">SVF::SymbolTableInfo</a>
+</li>
 <li>createRefNode()
 : <a class="el" href="classSVF_1_1OfflineConsG.html#a984e82f3185be03b8d1cb942685b2010">SVF::OfflineConsG</a>
 </li>
@@ -1685,14 +1685,14 @@ $(function() {
 <li>CxtLockToLockSet
 : <a class="el" href="classSVF_1_1LockAnalysis.html#ab782401c6521a2810e28ac602710ac22">SVF::LockAnalysis</a>
 </li>
-<li>CxtLockToSpan
-: <a class="el" href="classSVF_1_1LockAnalysis.html#a7335d5b13a6cb1dcde9706f30b8a4826">SVF::LockAnalysis</a>
-</li>
 <li>cxtLocktoSpan
 : <a class="el" href="classSVF_1_1LockAnalysis.html#a2fd796765f16cc7094f36d68c0ff70a0">SVF::LockAnalysis</a>
 </li>
+<li>CxtLockToSpan
+: <a class="el" href="classSVF_1_1LockAnalysis.html#a7335d5b13a6cb1dcde9706f30b8a4826">SVF::LockAnalysis</a>
+</li>
 <li>CxtProc()
-: <a class="el" href="classSVF_1_1CxtProc.html#a25a80c93a6aeb1112a846d6c588364cc">SVF::CxtProc</a>
+: <a class="el" href="classSVF_1_1CxtProc.html#ac1ca3a049f6d0f8a0548a153cc903aa0">SVF::CxtProc</a>
 </li>
 <li>cxts
 : <a class="el" href="classSVF_1_1LLVMModuleSet.html#ad06a92bf8bc556de742e0ffdf79ffafe">SVF::LLVMModuleSet</a>
@@ -1714,21 +1714,23 @@ $(function() {
 <li>CxtStmtSet
 : <a class="el" href="classSVF_1_1LockAnalysis.html#a42ed881d4cd79eae099266a9e171aeb2">SVF::LockAnalysis</a>
 </li>
-<li>cxtStmtToAliveFlagMap
-: <a class="el" href="classSVF_1_1ForkJoinAnalysis.html#aa31b3f3d51b963ccd475e66b77143dba">SVF::ForkJoinAnalysis</a>
-</li>
 <li>CxtStmtToAliveFlagMap
 : <a class="el" href="classSVF_1_1ForkJoinAnalysis.html#acdc652faba35e45820cce0cdd20ea99c">SVF::ForkJoinAnalysis</a>
 </li>
+<li>cxtStmtToAliveFlagMap
+: <a class="el" href="classSVF_1_1ForkJoinAnalysis.html#aa31b3f3d51b963ccd475e66b77143dba">SVF::ForkJoinAnalysis</a>
+</li>
 <li>CxtStmtToCxtLockS
 : <a class="el" href="classSVF_1_1LockResultValidator.html#a03954bdf28345cd7fbcd5cc242d40681">SVF::LockResultValidator</a>
 </li>
+<li>cxtStmtToCxtLockSet
+: <a class="el" href="classSVF_1_1LockAnalysis.html#ae256a84fd63947a6f81bee030bdbe7fc">SVF::LockAnalysis</a>
+</li>
 <li>CxtStmtToCxtLockSet
 : <a class="el" href="classSVF_1_1LockAnalysis.html#a710aad28484677637367e9098a55c7d7">SVF::LockAnalysis</a>
 </li>
 <li>cxtStmtToCxtLockSet
-: <a class="el" href="classSVF_1_1LockAnalysis.html#ae256a84fd63947a6f81bee030bdbe7fc">SVF::LockAnalysis</a>
-, <a class="el" href="classSVF_1_1LockResultValidator.html#ad8a03181445edeb835fed08c88f6e0bb">SVF::LockResultValidator</a>
+: <a class="el" href="classSVF_1_1LockResultValidator.html#ad8a03181445edeb835fed08c88f6e0bb">SVF::LockResultValidator</a>
 </li>
 <li>CxtStmtToLockFlagMap
 : <a class="el" href="classSVF_1_1LockAnalysis.html#a451d9b41fd048e11615ea47872f614c9">SVF::LockAnalysis</a>
@@ -1744,10 +1746,10 @@ $(function() {
 , <a class="el" href="classSVF_1_1LockAnalysis.html#ae2218961699a4b4385f47fb039005dbe">SVF::LockAnalysis</a>
 </li>
 <li>CxtThread()
-: <a class="el" href="classSVF_1_1CxtThread.html#a7f842879cad19328575f33220491352a">SVF::CxtThread</a>
+: <a class="el" href="classSVF_1_1CxtThread.html#ac6af46ba08bbad4454358298fd2557d3">SVF::CxtThread</a>
 </li>
 <li>CxtThreadProc()
-: <a class="el" href="classSVF_1_1CxtThreadProc.html#acce14996e41ae55ae8e27b29408ef7c8">SVF::CxtThreadProc</a>
+: <a class="el" href="classSVF_1_1CxtThreadProc.html#a1c7dd7740266a07d354df537a9167bcc">SVF::CxtThreadProc</a>
 </li>
 <li>CxtThreadProcSet
 : <a class="el" href="classSVF_1_1TCT.html#a09493a428c0ebe7f67847b48f0481f40">SVF::TCT</a>

package/SVF-doxygen/html/html/functions_e.html

@@ -292,7 +292,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1PTAStat.html#afe854f7416ea408104721a083ee9fee0">SVF::PTAStat</a>
 </li>
 <li>endSymbolAllocation()
-: <a class="el" href="classSVF_1_1NodeIDAllocator.html#ae42c5bb7db4d2142adc2e7e904eb36c7">SVF::NodeIDAllocator</a>
+: <a class="el" href="classSVF_1_1NodeIDAllocator.html#a92b053f79cfa1259603836cb0aacad7d">SVF::NodeIDAllocator</a>
 </li>
 <li>endTime
 : <a class="el" href="classSVF_1_1PTAStat.html#a267ba4aac2e7ceb65f008f9486d3d9f7">SVF::PTAStat</a>

package/SVF-doxygen/html/html/functions_f.html

@@ -515,12 +515,12 @@ $(function() {
 <li>FunToDTMap
 : <a class="el" href="classSVF_1_1PTACFInfoBuilder.html#a69109de5fddf4042037bc6d66563a9e5">SVF::PTACFInfoBuilder</a>
 </li>
-<li>FunToEntryChiSetMap
-: <a class="el" href="classSVF_1_1MemSSA.html#ac34aa1ac96600bfc27b3c2eb0b1510ca">SVF::MemSSA</a>
-</li>
 <li>funToEntryChiSetMap
 : <a class="el" href="classSVF_1_1MemSSA.html#a59314f6ce17919574d687a08a38b55ec">SVF::MemSSA</a>
 </li>
+<li>FunToEntryChiSetMap
+: <a class="el" href="classSVF_1_1MemSSA.html#ac34aa1ac96600bfc27b3c2eb0b1510ca">SVF::MemSSA</a>
+</li>
 <li>FunToExitBBsMap
 : <a class="el" href="classSVF_1_1PathCondAllocator.html#a0753fb35cb8fd37cfe8fd795d01e5275">SVF::PathCondAllocator</a>
 </li>

package/SVF-doxygen/html/html/functions_func.html

@@ -845,7 +845,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1VFG.html#aaeefa7a696350f6573510b670babbe4e">SVF::VFG</a>
 </li>
 <li>addValNode()
-: <a class="el" href="classSVF_1_1PAG.html#a7a7929598197f300b97393ecdffd81f1">SVF::PAG</a>
+: <a class="el" href="classSVF_1_1PAG.html#a20fef02062c6047810907f0f8973ba2b">SVF::PAG</a>
 </li>
 <li>addVarargNode()
 : <a class="el" href="classSVF_1_1PAG.html#a86e660bbb9764bce241bdb5c91a6705c">SVF::PAG</a>
@@ -886,17 +886,17 @@ $(function() {
 </li>
 <li>alias()
 : <a class="el" href="classSVF_1_1BVDataPTAImpl.html#a949533e5c99698c7f9862aae5de23687">SVF::BVDataPTAImpl</a>
-, <a class="el" href="classSVF_1_1CondPTAImpl.html#ac18e1dc9c6fc8cc952f67a93c2491876">SVF::CondPTAImpl&lt; Cond &gt;</a>
+, <a class="el" href="classSVF_1_1CondPTAImpl.html#adb1ed3728d53a13c94402392155e9913">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#abd9da46106d820721a24201caaa164e1">SVF::PointerAnalysis</a>
-, <a class="el" href="classSVF_1_1WPAPass.html#af339db8bffc554be7dd5cb6b100649e7">SVF::WPAPass</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>
 </li>
 <li>alias_begin()
-: <a class="el" href="classSVF_1_1SVFModule.html#a0e28f6eaf32efc6f2c0987e64f1df852">SVF::SVFModule</a>
+: <a class="el" href="classSVF_1_1SVFModule.html#a7f2b4647c8d69c8328b63e576cb6d065">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>AliasDDAClient()
 : <a class="el" href="classSVF_1_1AliasDDAClient.html#af55b1ccfa6cfaa6ec079b19d62288cb6">SVF::AliasDDAClient</a>
@@ -945,10 +945,10 @@ $(function() {
 : <a class="el" href="classSVF_1_1ForkJoinAnalysis.html#a16061e7c28e7a9177d9ab798c102b815">SVF::ForkJoinAnalysis</a>
 </li>
 <li>analyzeGlobalStackObjType()
-: <a class="el" href="classSVF_1_1ObjTypeInfo.html#acc90d7a517c58ac86ef8109dcece3f10">SVF::ObjTypeInfo</a>
+: <a class="el" href="classSVF_1_1MemModelBuilder.html#a2baa1d18e5c0c94de01920ccdb153034">SVF::MemModelBuilder</a>
 </li>
-<li>analyzeHeapStaticObjType()
-: <a class="el" href="classSVF_1_1ObjTypeInfo.html#a57ffe17476467619e844b27cb292149a">SVF::ObjTypeInfo</a>
+<li>analyzeHeapObjType()
+: <a class="el" href="classSVF_1_1ObjTypeInfo.html#a66692043a56c327ac7ac00cc3126cd78">SVF::ObjTypeInfo</a>
 </li>
 <li>analyzeInterleaving()
 : <a class="el" href="classSVF_1_1MHP.html#adfd90a8d20d630bc3813f5ed71d3abf7">SVF::MHP</a>
@@ -959,6 +959,9 @@ $(function() {
 <li>analyzeLockSpanCxtStmt()
 : <a class="el" href="classSVF_1_1LockAnalysis.html#a00ccd89eff3fe8fec397df101f927cbe">SVF::LockAnalysis</a>
 </li>
+<li>analyzeStaticObjType()
+: <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>
 </li>

package/SVF-doxygen/html/html/functions_func_0x7e.html

@@ -68,7 +68,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1Andersen.html#a15218a84e653baf2cd7f1dc95ccfb77d">SVF::Andersen</a>
 </li>
 <li>~AndersenBase()
-: <a class="el" href="classSVF_1_1AndersenBase.html#abd9b91b2cfe1e30ab3bdb6ac26466c1f">SVF::AndersenBase</a>
+: <a class="el" href="classSVF_1_1AndersenBase.html#a8da8746b38c55561d3f6904e8fd0a9aa">SVF::AndersenBase</a>
 </li>
 <li>~AndersenSFR()
 : <a class="el" href="classSVF_1_1AndersenSFR.html#aabdafa8234569219fc5d96bb44ca8ef0">SVF::AndersenSFR</a>
@@ -95,7 +95,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1CFLSolver.html#ac37d5e6e81edcc0a6c53e02d7d343f5b">SVF::CFLSolver&lt; GraphType, DPIm &gt;</a>
 </li>
 <li>~CHGraph()
-: <a class="el" href="classSVF_1_1CHGraph.html#ae50fcba9fb131bc1956bcd6053bb7354">SVF::CHGraph</a>
+: <a class="el" href="classSVF_1_1CHGraph.html#a63c4f42eea94e786090a546fc2195a00">SVF::CHGraph</a>
 </li>
 <li>~CHNode()
 : <a class="el" href="classSVF_1_1CHNode.html#aff05589899b58112119af68df5d1997e">SVF::CHNode</a>
@@ -265,12 +265,6 @@ $(function() {
 <li>~LockResultValidator()
 : <a class="el" href="classSVF_1_1LockResultValidator.html#a6790b9a632b172e1ea537ab93f526375">SVF::LockResultValidator</a>
 </li>
-<li>~LocObjTypeInfo()
-: <a class="el" href="classSVF_1_1LocObjTypeInfo.html#a26cd4a1307c89c43fcbfa4d8e84d0e80">SVF::LocObjTypeInfo</a>
-</li>
-<li>~LocSymTableInfo()
-: <a class="el" href="classSVF_1_1LocSymTableInfo.html#ae1789cb25f50fbce3fc44a14a2cf124d">SVF::LocSymTableInfo</a>
-</li>
 <li>~MemObj()
 : <a class="el" href="classSVF_1_1MemObj.html#ad56f353dde7462dd54297e1b51e6eb05">SVF::MemObj</a>
 </li>
@@ -436,6 +430,9 @@ $(function() {
 <li>~SVFGStat()
 : <a class="el" href="classSVF_1_1SVFGStat.html#ad70617b64bb651c0c16943a8b016399e">SVF::SVFGStat</a>
 </li>
+<li>~SVFModule()
+: <a class="el" href="classSVF_1_1SVFModule.html#a1eb570539328976351d95ca93cb7aa02">SVF::SVFModule</a>
+</li>
 <li>~SymbolTableInfo()
 : <a class="el" href="classSVF_1_1SymbolTableInfo.html#a6efac0ae8ebf2865067136675be5a340">SVF::SymbolTableInfo</a>
 </li>

package/SVF-doxygen/html/html/functions_func_b.html

@@ -198,7 +198,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1VersionedFlowSensitive.html#a8da4b9bd9d0c640a6857b4dc4991817c">SVF::VersionedFlowSensitive</a>
 </li>
 <li>buildMemModel()
-: <a class="el" href="classSVF_1_1SymbolTableInfo.html#a74481bb26d77d8c8bca91efd3e23c08e">SVF::SymbolTableInfo</a>
+: <a class="el" href="classSVF_1_1MemModelBuilder.html#aa38a3ce969852945fb914bab56fe8850">SVF::MemModelBuilder</a>
 </li>
 <li>buildMemSSA()
 : <a class="el" href="classSVF_1_1MemSSA.html#ae56d1878046c119d1857727ca3609d74">SVF::MemSSA</a>