svf-tools 1.0.313 → 1.0.314

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_a.html

@@ -1106,7 +1106,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1ForkJoinAnalysis.html#a16061e7c28e7a9177d9ab798c102b815">SVF::ForkJoinAnalysis</a>
 </li>
 <li>analyzeGlobalStackObjType()
-: <a class="el" href="classSVF_1_1SymbolTableInfo.html#a36140622c6761ac5d1307308ff5b147f">SVF::SymbolTableInfo</a>
+: <a class="el" href="classSVF_1_1MemModelBuilder.html#a2baa1d18e5c0c94de01920ccdb153034">SVF::MemModelBuilder</a>
 </li>
 <li>analyzeHeapObjType()
 : <a class="el" href="classSVF_1_1ObjTypeInfo.html#a66692043a56c327ac7ac00cc3126cd78">SVF::ObjTypeInfo</a>

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>
@@ -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>
@@ -988,7 +986,7 @@ $(function() {
 : <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>
@@ -997,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>
@@ -1471,7 +1469,8 @@ $(function() {
 : <a class="el" href="classSVF_1_1CHGraph.html#a39a7a8f6a4b9bb03523f190ce7b91e58">SVF::CHGraph</a>
 </li>
 <li>createObjTypeInfo()
-: <a class="el" href="classSVF_1_1SymbolTableInfo.html#a76971ba9b579907ef937cd7adda89562">SVF::SymbolTableInfo</a>
+: <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>
@@ -1750,7 +1749,7 @@ $(function() {
 : <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>
@@ -1759,7 +1758,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1TCT.html#a23df579f18d4ea4b0f47272091ddc43e">SVF::TCT</a>
 </li>
 <li>CxtThreadStmt()
-: <a class="el" href="classSVF_1_1CxtThreadStmt.html#adeef75dbfd24665521931780c70aa5f9">SVF::CxtThreadStmt</a>
+: <a class="el" href="classSVF_1_1CxtThreadStmt.html#ab5487e3f330bb18685281c5effcecfbb">SVF::CxtThreadStmt</a>
 </li>
 <li>CxtThreadStmtSet
 : <a class="el" href="classSVF_1_1MHP.html#a28031502c4f8f0d4012c0827c57efb32">SVF::MHP</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

@@ -945,7 +945,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1ForkJoinAnalysis.html#a16061e7c28e7a9177d9ab798c102b815">SVF::ForkJoinAnalysis</a>
 </li>
 <li>analyzeGlobalStackObjType()
-: <a class="el" href="classSVF_1_1SymbolTableInfo.html#a36140622c6761ac5d1307308ff5b147f">SVF::SymbolTableInfo</a>
+: <a class="el" href="classSVF_1_1MemModelBuilder.html#a2baa1d18e5c0c94de01920ccdb153034">SVF::MemModelBuilder</a>
 </li>
 <li>analyzeHeapObjType()
 : <a class="el" href="classSVF_1_1ObjTypeInfo.html#a66692043a56c327ac7ac00cc3126cd78">SVF::ObjTypeInfo</a>

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>

package/SVF-doxygen/html/html/functions_func_c.html

@@ -493,7 +493,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>
@@ -506,7 +506,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>
@@ -524,7 +524,7 @@ $(function() {
 : <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>
@@ -533,13 +533,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>
@@ -810,7 +810,8 @@ $(function() {
 : <a class="el" href="classSVF_1_1CHGraph.html#a39a7a8f6a4b9bb03523f190ce7b91e58">SVF::CHGraph</a>
 </li>
 <li>createObjTypeInfo()
-: <a class="el" href="classSVF_1_1SymbolTableInfo.html#a76971ba9b579907ef937cd7adda89562">SVF::SymbolTableInfo</a>
+: <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>
@@ -835,7 +836,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1DCHGraph.html#a2fef8f7209f100c7a266cf3102b1219b">SVF::DCHGraph</a>
 </li>
 <li>CxtDPItem()
-: <a class="el" href="classSVF_1_1CxtDPItem.html#a673749f246b002b33ca3718a566779ca">SVF::CxtDPItem</a>
+: <a class="el" href="classSVF_1_1CxtDPItem.html#a1c2b14fd60bd4902bfc520c9ba08c6e8">SVF::CxtDPItem</a>
 </li>
 <li>CxtProc()
 : <a class="el" href="classSVF_1_1CxtProc.html#ac1ca3a049f6d0f8a0548a153cc903aa0">SVF::CxtProc</a>

package/SVF-doxygen/html/html/functions_func_e.html

@@ -117,7 +117,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>EntryCHI()
 : <a class="el" href="classSVF_1_1EntryCHI.html#a0ba7181ad2a793bf11e40b7c7092e28b">SVF::EntryCHI&lt; Cond &gt;</a>

package/SVF-doxygen/html/html/functions_func_g.html

@@ -1571,7 +1571,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1ExternalPAG.html#acb3156be31f4dd45590d931b0f9279f5">SVF::ExternalPAG</a>
 </li>
 <li>getObjSize()
-: <a class="el" href="classSVF_1_1SymbolTableInfo.html#a2f8ec960e3462cef867b1ac6e524dea8">SVF::SymbolTableInfo</a>
+: <a class="el" href="classSVF_1_1MemModelBuilder.html#a5e423694e9c1400d805b5c08b0ea7abc">SVF::MemModelBuilder</a>
 </li>
 <li>getObjsWithClones()
 : <a class="el" href="classSVF_1_1TypeBasedHeapCloning.html#ad1c67da3aac128ca8a69907fdad53fcd">SVF::TypeBasedHeapCloning</a>

package/SVF-doxygen/html/html/functions_func_h.html

@@ -87,7 +87,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1MRGenerator.html#a123a2ea51b04f1398b9ee66567f5014a">SVF::MRGenerator</a>
 </li>
 <li>handleCE()
-: <a class="el" href="classSVF_1_1SymbolTableInfo.html#ad92842613ac245ad06875a012a5549ab">SVF::SymbolTableInfo</a>
+: <a class="el" href="classSVF_1_1MemModelBuilder.html#a884a646e9c3b69124780e776af8947b6">SVF::MemModelBuilder</a>
 </li>
 <li>handleCopyGep()
 : <a class="el" href="classSVF_1_1Andersen.html#ab069683dd6ca563113efbde2813ab35e">SVF::Andersen</a>
@@ -120,10 +120,10 @@ $(function() {
 , <a class="el" href="classSVF_1_1MHP.html#a8a95f8ae419b66310ce6f572caea2ca5">SVF::MHP</a>
 </li>
 <li>handleGlobalCE()
-: <a class="el" href="classSVF_1_1SymbolTableInfo.html#a4d616d922793e1d74bb4143f2d72bf10">SVF::SymbolTableInfo</a>
+: <a class="el" href="classSVF_1_1MemModelBuilder.html#ab9e664a9b1d1dd47bb0e367d90bcc677">SVF::MemModelBuilder</a>
 </li>
 <li>handleGlobalInitializerCE()
-: <a class="el" href="classSVF_1_1SymbolTableInfo.html#a005df6b86f4058114bf7a336e73e63df">SVF::SymbolTableInfo</a>
+: <a class="el" href="classSVF_1_1MemModelBuilder.html#a210f0e6cc38453acdd558d306e184ad3">SVF::MemModelBuilder</a>
 </li>
 <li>handleIndCall()
 : <a class="el" href="classSVF_1_1PAGBuilder.html#ab222f5d9ad6c59e1c3a738153cf650d0">SVF::PAGBuilder</a>

package/SVF-doxygen/html/html/functions_func_i.html

@@ -215,7 +215,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1PersistentPointsToCache.html#ab19e4e17b1896565e0bada1f161d1266">SVF::PersistentPointsToCache&lt; Data &gt;</a>
 </li>
 <li>initTypeInfo()
-: <a class="el" href="classSVF_1_1SymbolTableInfo.html#a96067de8a2425b4f4c227fd7e472071d">SVF::SymbolTableInfo</a>
+: <a class="el" href="classSVF_1_1MemModelBuilder.html#a73c96940a305e8ef5473d5b91c361254">SVF::MemModelBuilder</a>
 </li>
 <li>initWorklist()
 : <a class="el" href="classSVF_1_1Andersen.html#a9075cd05cb21e0f08a1109b7af6c7480">SVF::Andersen</a>

package/SVF-doxygen/html/html/functions_func_m.html

@@ -138,6 +138,9 @@ $(function() {
 <li>meldLabel()
 : <a class="el" href="classSVF_1_1VersionedFlowSensitive.html#aaff594c78d93f7ad632d344e5c1c7f6a">SVF::VersionedFlowSensitive</a>
 </li>
+<li>MemModelBuilder()
+: <a class="el" href="classSVF_1_1MemModelBuilder.html#ac896e9141fbfa54bb019df4689a2c05e">SVF::MemModelBuilder</a>
+</li>
 <li>MemObj()
 : <a class="el" href="classSVF_1_1MemObj.html#afc62b5dbcaf790e561c852f567ca5bd1">SVF::MemObj</a>
 </li>

package/SVF-doxygen/html/html/functions_func_p.html

@@ -492,7 +492,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1VersionedFlowSensitive.html#a6e4964389f96667bd69354fd4a742720">SVF::VersionedFlowSensitive</a>
 </li>
 <li>PTASCEV()
-: <a class="el" href="classSVF_1_1PTASCEV.html#afb1582fa355f2ae93a877f4f5bed56d3">SVF::PTASCEV</a>
+: <a class="el" href="classSVF_1_1PTASCEV.html#a6a134ca4f7f50de053805e75431aa856">SVF::PTASCEV</a>
 </li>
 <li>PTAStat()
 : <a class="el" href="classSVF_1_1PTAStat.html#ac9b65b591200c16c420fbd26710b448f">SVF::PTAStat</a>

package/SVF-doxygen/html/html/functions_func_s.html

@@ -266,6 +266,9 @@ $(function() {
 <li>setModelConstants()
 : <a class="el" href="classSVF_1_1SymbolTableInfo.html#a4decfc9e7f5dc096d7bfa42d6965763d">SVF::SymbolTableInfo</a>
 </li>
+<li>setModule()
+: <a class="el" href="classSVF_1_1SymbolTableInfo.html#a4f916c64ca04c4db30bd19fb8505724d">SVF::SymbolTableInfo</a>
+</li>
 <li>setMultiforked()
 : <a class="el" href="classSVF_1_1TCTNode.html#a0fafde34cdffde6d38bb9efca9b7a9a1">SVF::TCTNode</a>
 </li>
@@ -473,7 +476,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1PCG.html#a8dcd94e8f996fdb2197159ea95226817">SVF::PCG</a>
 </li>
 <li>split()
-: <a class="el" href="classSVF_1_1LockResultValidator.html#ab8a6935e1ea6f99d60ead862a7b1782f">SVF::LockResultValidator</a>
+: <a class="el" href="classSVF_1_1LockResultValidator.html#ad26006e14c866d694bc6e2ebaa41ded9">SVF::LockResultValidator</a>
 , <a class="el" href="classSVF_1_1MTAResultValidator.html#a73db9ad234b263b6e644e4b38be14fe6">SVF::MTAResultValidator</a>
 </li>
 <li>SrcSnkDDA()
@@ -517,7 +520,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1StInfo.html#a72dd2114d61e1489676a524b83ebb5ac">SVF::StInfo</a>
 </li>
 <li>StmtDPItem()
-: <a class="el" href="classSVF_1_1StmtDPItem.html#aed9239e5558569f6e957e691fa1872d7">SVF::StmtDPItem&lt; LocCond &gt;</a>
+: <a class="el" href="classSVF_1_1StmtDPItem.html#a3882dc175baaccfa1f811dcbfef98f71">SVF::StmtDPItem&lt; LocCond &gt;</a>
 </li>
 <li>StmtVFGNode()
 : <a class="el" href="classSVF_1_1StmtVFGNode.html#a03c4e0a31d2377ef4ffe46fe183ccd9d">SVF::StmtVFGNode</a>
@@ -529,10 +532,10 @@ $(function() {
 : <a class="el" href="classSVF_1_1StoreCHI.html#aa220094176013de75a81c0bfa974b99b">SVF::StoreCHI&lt; Cond &gt;</a>
 </li>
 <li>StorePE()
-: <a class="el" href="classSVF_1_1StorePE.html#aa9afd5b4bdf803c699c7ccdf0043b469">SVF::StorePE</a>
+: <a class="el" href="classSVF_1_1StorePE.html#a5bc3df0d5c7356d5a64037cf4b56ba24">SVF::StorePE</a>
 </li>
 <li>StoreVFGNode()
-: <a class="el" href="classSVF_1_1StoreVFGNode.html#a9935b37ed646ac5c6989ed066468d61b">SVF::StoreVFGNode</a>
+: <a class="el" href="classSVF_1_1StoreVFGNode.html#a496607cda1cc26a8753d6a7af620e95a">SVF::StoreVFGNode</a>
 </li>
 <li>stripArray()
 : <a class="el" href="classSVF_1_1DCHGraph.html#a6c276e661e5e63c1c84387f84c8a62e4">SVF::DCHGraph</a>
@@ -544,7 +547,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1FlowSensitive.html#a8ebe4342c1496b906ee1b6450558c3e8">SVF::FlowSensitive</a>
 </li>
 <li>subNodes()
-: <a class="el" href="classSVF_1_1SCCDetection_1_1GNodeSCCInfo.html#a48981e6555ad221d08f16ed2df708027">SVF::SCCDetection&lt; GraphType &gt;::GNodeSCCInfo</a>
+: <a class="el" href="classSVF_1_1SCCDetection_1_1GNodeSCCInfo.html#aa2b23b22bb0304ce07ab9b14f0fdc395">SVF::SCCDetection&lt; GraphType &gt;::GNodeSCCInfo</a>
 , <a class="el" href="classSVF_1_1SCCDetection.html#a6ab5eff6a576e6d8703c1ea29b7f425d">SVF::SCCDetection&lt; GraphType &gt;</a>
 </li>
 <li>SVFBasicBlock()

package/SVF-doxygen/html/html/functions_g.html

@@ -1647,7 +1647,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1ExternalPAG.html#acb3156be31f4dd45590d931b0f9279f5">SVF::ExternalPAG</a>
 </li>
 <li>getObjSize()
-: <a class="el" href="classSVF_1_1SymbolTableInfo.html#a2f8ec960e3462cef867b1ac6e524dea8">SVF::SymbolTableInfo</a>
+: <a class="el" href="classSVF_1_1MemModelBuilder.html#a5e423694e9c1400d805b5c08b0ea7abc">SVF::MemModelBuilder</a>
 </li>
 <li>getObjsWithClones()
 : <a class="el" href="classSVF_1_1TypeBasedHeapCloning.html#ad1c67da3aac128ca8a69907fdad53fcd">SVF::TypeBasedHeapCloning</a>

package/SVF-doxygen/html/html/functions_h.html

@@ -93,7 +93,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1MRGenerator.html#a123a2ea51b04f1398b9ee66567f5014a">SVF::MRGenerator</a>
 </li>
 <li>handleCE()
-: <a class="el" href="classSVF_1_1SymbolTableInfo.html#ad92842613ac245ad06875a012a5549ab">SVF::SymbolTableInfo</a>
+: <a class="el" href="classSVF_1_1MemModelBuilder.html#a884a646e9c3b69124780e776af8947b6">SVF::MemModelBuilder</a>
 </li>
 <li>handleCopyGep()
 : <a class="el" href="classSVF_1_1Andersen.html#ab069683dd6ca563113efbde2813ab35e">SVF::Andersen</a>
@@ -126,10 +126,10 @@ $(function() {
 , <a class="el" href="classSVF_1_1MHP.html#a8a95f8ae419b66310ce6f572caea2ca5">SVF::MHP</a>
 </li>
 <li>handleGlobalCE()
-: <a class="el" href="classSVF_1_1SymbolTableInfo.html#a4d616d922793e1d74bb4143f2d72bf10">SVF::SymbolTableInfo</a>
+: <a class="el" href="classSVF_1_1MemModelBuilder.html#ab9e664a9b1d1dd47bb0e367d90bcc677">SVF::MemModelBuilder</a>
 </li>
 <li>handleGlobalInitializerCE()
-: <a class="el" href="classSVF_1_1SymbolTableInfo.html#a005df6b86f4058114bf7a336e73e63df">SVF::SymbolTableInfo</a>
+: <a class="el" href="classSVF_1_1MemModelBuilder.html#a210f0e6cc38453acdd558d306e184ad3">SVF::MemModelBuilder</a>
 </li>
 <li>handleIndCall()
 : <a class="el" href="classSVF_1_1PAGBuilder.html#ab222f5d9ad6c59e1c3a738153cf650d0">SVF::PAGBuilder</a>

package/SVF-doxygen/html/html/functions_i.html

@@ -345,7 +345,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1PersistentPointsToCache.html#ab19e4e17b1896565e0bada1f161d1266">SVF::PersistentPointsToCache&lt; Data &gt;</a>
 </li>
 <li>initTypeInfo()
-: <a class="el" href="classSVF_1_1SymbolTableInfo.html#a96067de8a2425b4f4c227fd7e472071d">SVF::SymbolTableInfo</a>
+: <a class="el" href="classSVF_1_1MemModelBuilder.html#a73c96940a305e8ef5473d5b91c361254">SVF::MemModelBuilder</a>
 </li>
 <li>initWorklist()
 : <a class="el" href="classSVF_1_1Andersen.html#a9075cd05cb21e0f08a1109b7af6c7480">SVF::Andersen</a>
@@ -386,12 +386,12 @@ $(function() {
 , <a class="el" href="classSVF_1_1RetPE.html#ad78a287bde15c03eec8d633d363e2ed2">SVF::RetPE</a>
 , <a class="el" href="classSVF_1_1StoreCHI.html#a787017e8aab6f713a409cdec76549293">SVF::StoreCHI&lt; Cond &gt;</a>
 </li>
-<li>Inst2LabelMap
-: <a class="el" href="classSVF_1_1PAGEdge.html#aea1cb2d45d301eea27d451241fa8ddd1">SVF::PAGEdge</a>
-</li>
 <li>inst2LabelMap
 : <a class="el" href="classSVF_1_1PAGEdge.html#a5c7605aa20425ef49294e6f153842a56">SVF::PAGEdge</a>
 </li>
+<li>Inst2LabelMap
+: <a class="el" href="classSVF_1_1PAGEdge.html#aea1cb2d45d301eea27d451241fa8ddd1">SVF::PAGEdge</a>
+</li>
 <li>inst2PAGEdgesMap
 : <a class="el" href="classSVF_1_1PAG.html#ace643a606d59eb972d0f55590745bd5f">SVF::PAG</a>
 </li>

package/SVF-doxygen/html/html/functions_l.html

@@ -178,18 +178,18 @@ $(function() {
 <li>loadSrcNodes
 : <a class="el" href="classSVF_1_1AliasDDAClient.html#a246448efd1ff5da683a6ffe9f759e282">SVF::AliasDDAClient</a>
 </li>
-<li>LoadsToMRsMap
-: <a class="el" href="classSVF_1_1MRGenerator.html#a72f55ad36f4ce46c5eee4bf0ce736cee">SVF::MRGenerator</a>
-</li>
 <li>loadsToMRsMap
 : <a class="el" href="classSVF_1_1MRGenerator.html#a0d8229b1f0b8428708e923d19096e4ba">SVF::MRGenerator</a>
 </li>
-<li>LoadsToPointsToMap
-: <a class="el" href="classSVF_1_1MRGenerator.html#a7b9b1c326d075a9be473680fef6a9616">SVF::MRGenerator</a>
+<li>LoadsToMRsMap
+: <a class="el" href="classSVF_1_1MRGenerator.html#a72f55ad36f4ce46c5eee4bf0ce736cee">SVF::MRGenerator</a>
 </li>
 <li>loadsToPointsToMap
 : <a class="el" href="classSVF_1_1MRGenerator.html#af47e15d6b8c15d547a718f3577513975">SVF::MRGenerator</a>
 </li>
+<li>LoadsToPointsToMap
+: <a class="el" href="classSVF_1_1MRGenerator.html#a7b9b1c326d075a9be473680fef6a9616">SVF::MRGenerator</a>
+</li>
 <li>loadTime
 : <a class="el" href="classSVF_1_1FlowSensitive.html#aab4f70210eb1e6447a24697d3b459067">SVF::FlowSensitive</a>
 </li>

package/SVF-doxygen/html/html/functions_m.html

@@ -304,6 +304,10 @@ $(function() {
 <li>mem
 : <a class="el" href="classSVF_1_1ObjPN.html#a7ec3165f6b61b089e25447f55ebf86a8">SVF::ObjPN</a>
 </li>
+<li>MemModelBuilder()
+: <a class="el" href="classSVF_1_1MemModelBuilder.html#ac896e9141fbfa54bb019df4689a2c05e">SVF::MemModelBuilder</a>
+, <a class="el" href="classSVF_1_1SymbolTableInfo.html#a43c3e140a49b8e5feb0630049b4e7475">SVF::SymbolTableInfo</a>
+</li>
 <li>MemObj()
 : <a class="el" href="classSVF_1_1MemObj.html#afc62b5dbcaf790e561c852f567ca5bd1">SVF::MemObj</a>
 </li>

package/SVF-doxygen/html/html/functions_n.html

@@ -257,18 +257,18 @@ $(function() {
 <li>NodeToRepMap
 : <a class="el" href="classSVF_1_1ConstraintGraph.html#afe34ca6bdbb22b188799a4297fd19004">SVF::ConstraintGraph</a>
 </li>
-<li>nodeToSubsMap
-: <a class="el" href="classSVF_1_1ConstraintGraph.html#af91f1027cd5de591ae40865f691c5f60">SVF::ConstraintGraph</a>
-</li>
 <li>NodeToSubsMap
 : <a class="el" href="classSVF_1_1ConstraintGraph.html#ac7d24753491a9bab39a13b32bb65f139">SVF::ConstraintGraph</a>
 </li>
 <li>nodeToSubsMap
-: <a class="el" href="classSVF_1_1Steensgaard.html#aca87fc74b6acb096a7165f105b14854b">SVF::Steensgaard</a>
+: <a class="el" href="classSVF_1_1ConstraintGraph.html#af91f1027cd5de591ae40865f691c5f60">SVF::ConstraintGraph</a>
 </li>
 <li>NodeToSubsMap
 : <a class="el" href="classSVF_1_1Steensgaard.html#a45d49eef110e3bc15509a2020be38453">SVF::Steensgaard</a>
 </li>
+<li>nodeToSubsMap
+: <a class="el" href="classSVF_1_1Steensgaard.html#aca87fc74b6acb096a7165f105b14854b">SVF::Steensgaard</a>
+</li>
 <li>NodeType
 : <a class="el" href="structllvm_1_1DOTGraphTraits_3_01CHGraph_01_5_01_4.html#a73928161c8b1427e8150ca68ec48160e">llvm::DOTGraphTraits&lt; CHGraph * &gt;</a>
 , <a class="el" href="structllvm_1_1DOTGraphTraits_3_01ConstraintGraph_01_5_01_4.html#ac3889bd563cdc21a55df0524df2ae4da">llvm::DOTGraphTraits&lt; ConstraintGraph * &gt;</a>

package/SVF-doxygen/html/html/functions_p.html

@@ -422,12 +422,12 @@ $(function() {
 <li>PHI
 : <a class="el" href="classSVF_1_1MemSSA.html#a8e948ea7778158107657fdd8195530e1">SVF::MemSSA</a>
 </li>
-<li>PHINodeMap
-: <a class="el" href="classSVF_1_1PAG.html#aaf91fa0a5807355e276eeaeee0638aea">SVF::PAG</a>
-</li>
 <li>phiNodeMap
 : <a class="el" href="classSVF_1_1PAG.html#af3158e346a519beca6aebf6c9092efc0">SVF::PAG</a>
 </li>
+<li>PHINodeMap
+: <a class="el" href="classSVF_1_1PAG.html#aaf91fa0a5807355e276eeaeee0638aea">SVF::PAG</a>
+</li>
 <li>PHISet
 : <a class="el" href="classSVF_1_1MemSSA.html#a8a5d3597f3dba9744e170cc8c32bf25f">SVF::MemSSA</a>
 , <a class="el" href="classSVF_1_1SVFG.html#aef7ee9d802934d51b3761663bdaf0c05">SVF::SVFG</a>
@@ -1012,11 +1012,15 @@ $(function() {
 , <a class="el" href="classSVF_1_1FlowSensitiveStat.html#a1b605e86f33e79f7d7cd88dc54f2c19e">SVF::FlowSensitiveStat</a>
 , <a class="el" href="classSVF_1_1MutableDFPTData.html#ae7456fccd4c95227cdd7163176703205">SVF::MutableDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 , <a class="el" href="classSVF_1_1MutableDiffPTData.html#a5d64ef2d4b9ab65cc7a9e33bb6fe47cf">SVF::MutableDiffPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
-, <a class="el" href="classSVF_1_1MutablePTData.html#ad74cc6c81c4a95f6ba4e89352bccee3e">SVF::MutablePTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 </li>
 <li>ptsMap
 : <a class="el" href="classSVF_1_1MutablePTData.html#a5ee6e307acd4edbf4f7c2b063032d942">SVF::MutablePTData&lt; Key, KeySet, Data, DataSet &gt;</a>
-, <a class="el" href="classSVF_1_1PersistentPTData.html#a483c690c6cf19e258bdf7bb13e77976e">SVF::PersistentPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
+</li>
+<li>PtsMap
+: <a class="el" href="classSVF_1_1MutablePTData.html#ad74cc6c81c4a95f6ba4e89352bccee3e">SVF::MutablePTData&lt; Key, KeySet, Data, DataSet &gt;</a>
+</li>
+<li>ptsMap
+: <a class="el" href="classSVF_1_1PersistentPTData.html#a483c690c6cf19e258bdf7bb13e77976e">SVF::PersistentPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 </li>
 <li>PtsMapConstIter
 : <a class="el" href="classSVF_1_1MutableDFPTData.html#a3f234abc0def4815a03de164fa258f24">SVF::MutableDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
@@ -1068,7 +1072,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1ForkJoinAnalysis.html#aaf70954762aa86f835d799994726790e">SVF::ForkJoinAnalysis</a>
 , <a class="el" href="classSVF_1_1LockAnalysis.html#a7d9fd3ddcadd84969b57491181983b17">SVF::LockAnalysis</a>
 , <a class="el" href="classSVF_1_1MHP.html#a67e2d43f0e35cc46eb7680ec66a4fe44">SVF::MHP</a>
-, <a class="el" href="classSVF_1_1TCT.html#afc6d7a91cfc98561bcce13425964a39e">SVF::TCT</a>
+, <a class="el" href="classSVF_1_1TCT.html#aa98a5b427a92eca1e043efcdf7945169">SVF::TCT</a>
 </li>
 <li>pushIntoWorklist()
 : <a class="el" href="classSVF_1_1CFLSolver.html#a28cd2677717b19c9cd8ab3c1c441d409">SVF::CFLSolver&lt; GraphType, DPIm &gt;</a>

package/SVF-doxygen/html/html/functions_r.html

@@ -618,8 +618,8 @@ $(function() {
 , <a class="el" href="classSVF_1_1FlowSensitive.html#a611608ccc9659bd320670f1ec31ad18e">SVF::FlowSensitive</a>
 , <a class="el" href="classSVF_1_1LeakChecker.html#ab3bb79d88d73c8b881d714921e7b5e12">SVF::LeakChecker</a>
 , <a class="el" href="classSVF_1_1MergeFunctionRets.html#a8fe74477a43f80104fb3461d006ad392">SVF::MergeFunctionRets</a>
-, <a class="el" href="classSVF_1_1MTA.html#a32f6beffb47e5c2ac86f5c3b8a1bd9ba">SVF::MTA</a>
-, <a class="el" href="classSVF_1_1WPAPass.html#a394dcd976c1ef08d9cadcba8f5d07c75">SVF::WPAPass</a>
+, <a class="el" href="classSVF_1_1MTA.html#a9c4b9eb2c04de305a30114019c3b1dae">SVF::MTA</a>
+, <a class="el" href="classSVF_1_1WPAPass.html#a1f47c1cb5a64bab9a6b8ac38103416ac">SVF::WPAPass</a>
 </li>
 <li>runPointerAnalysis()
 : <a class="el" href="classSVF_1_1DDAPass.html#a13ff3107a0e4f8749b166fa9b8165167">SVF::DDAPass</a>

package/SVF-doxygen/html/html/functions_rela.html

@@ -71,6 +71,9 @@ $(function() {
 <li>LocSymTableInfo
 : <a class="el" href="classSVF_1_1LocationSet.html#ac2acfe0b3cea2461ea6b6ba1a411d3b5">SVF::LocationSet</a>
 </li>
+<li>MemModelBuilder
+: <a class="el" href="classSVF_1_1SymbolTableInfo.html#a43c3e140a49b8e5feb0630049b4e7475">SVF::SymbolTableInfo</a>
+</li>
 <li>MTASVFGBuilder
 : <a class="el" href="classSVF_1_1SVFG.html#ac0e43f4a2043538c9046f95826caa725">SVF::SVFG</a>
 </li>