svf-tools 1.0.310 → 1.0.314

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

@@ -301,6 +301,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>
@@ -337,7 +338,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1MutableDFPTData.html#ab345e148997b9e1c6e4c2c76267880b7">SVF::MutableDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 , <a class="el" href="classSVF_1_1MutableDiffPTData.html#a8b6e2e5e016a5ae00ae440e3f383bb16">SVF::MutableDiffPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 , <a class="el" href="classSVF_1_1MutablePTData.html#a3bf34d8040779b4d251bb08a58604d77">SVF::MutablePTData&lt; Key, KeySet, Data, DataSet &gt;</a>
-, <a class="el" href="classSVF_1_1MutableVersionedPTData.html#aaf3df7501f84233f6a687ef9f2f0ae90">SVF::MutableVersionedPTData&lt; Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet &gt;</a>
+, <a class="el" href="classSVF_1_1MutableVersionedPTData.html#a9f985ff2daee53fb661e4b2bcfd17f05">SVF::MutableVersionedPTData&lt; Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet &gt;</a>
 , <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>
@@ -403,7 +404,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1VersionedFlowSensitive.html#aedd12e894fb2c17d2201f4049e5f3793">SVF::VersionedFlowSensitive</a>
 </li>
 <li>CmpPE()
-: <a class="el" href="classSVF_1_1CmpPE.html#ac84eb2426a312cb2a890b0805a99e7f8">SVF::CmpPE</a>
+: <a class="el" href="classSVF_1_1CmpPE.html#aaf403a40a8ab78cee6b9c7d8b4548c96">SVF::CmpPE</a>
 </li>
 <li>CmpVFGNode()
 : <a class="el" href="classSVF_1_1CmpVFGNode.html#ae7029edffae3f64899bf640fc0842258">SVF::CmpVFGNode</a>
@@ -423,8 +424,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1WPASolver.html#a138b403af0370ad6fdf8cc6af0530392">SVF::WPASolver&lt; GraphType &gt;</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>
@@ -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>
@@ -521,11 +521,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>
@@ -534,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>
@@ -567,8 +566,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()
@@ -619,7 +617,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#a7217769c21c50c44f139006ec44d3a6f">SVF::CondPointsToSet&lt; Cond &gt;</a>
+: <a class="el" href="classSVF_1_1CondPointsToSet.html#a3670dc2bb046f2d3e0d27dc02b32e62f">SVF::CondPointsToSet&lt; Cond &gt;</a>
 </li>
 <li>CondPTAImpl()
 : <a class="el" href="classSVF_1_1CondPTAImpl.html#adc5d33698377dc22aa1ae1151da13675">SVF::CondPTAImpl&lt; Cond &gt;</a>
@@ -628,10 +626,10 @@ $(function() {
 : <a class="el" href="classSVF_1_1CondPointsToSet_1_1CondPtsSetIterator.html#a8a3d10d0aaf4708e7e44bedc6be077e0">SVF::CondPointsToSet&lt; Cond &gt;::CondPtsSetIterator</a>
 </li>
 <li>CondStdSet()
-: <a class="el" href="classSVF_1_1CondStdSet.html#a1f3e8aa09ca8e7f252525e35c4886c5b">SVF::CondStdSet&lt; Element &gt;</a>
+: <a class="el" href="classSVF_1_1CondStdSet.html#a3f1885562bb34c3ccbd15117788725e0">SVF::CondStdSet&lt; Element &gt;</a>
 </li>
 <li>CondVar()
-: <a class="el" href="classSVF_1_1CondVar.html#a93101c4401ed4ced33d64b5726e9cd69">SVF::CondVar&lt; Cond &gt;</a>
+: <a class="el" href="classSVF_1_1CondVar.html#a0999a4b34face00af83b3b840920fd3f">SVF::CondVar&lt; Cond &gt;</a>
 </li>
 <li>connectAInAndFIn()
 : <a class="el" href="classSVF_1_1SVFG.html#ac9ab2a95cd7a09bbe4b4aa3e6fafaf62">SVF::SVFG</a>
@@ -725,19 +723,19 @@ $(function() {
 : <a class="el" href="classSVF_1_1ContextDDA.html#adc70126ea6583df10b52501943a2af49">SVF::ContextDDA</a>
 </li>
 <li>CopyCGEdge()
-: <a class="el" href="classSVF_1_1CopyCGEdge.html#a0e950b306ec8d45e38f0320c63681ecd">SVF::CopyCGEdge</a>
+: <a class="el" href="classSVF_1_1CopyCGEdge.html#a90cbb8b4085648811f95afde4175a168">SVF::CopyCGEdge</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>CopyVFGNode()
-: <a class="el" href="classSVF_1_1CopyVFGNode.html#a0f3f697a0053bf5847db95f526bec1e7">SVF::CopyVFGNode</a>
+: <a class="el" href="classSVF_1_1CopyVFGNode.html#ac04930bac7b31563ce761779ff1dbf91">SVF::CopyVFGNode</a>
 </li>
 <li>CoreBitVector()
-: <a class="el" href="classSVF_1_1CoreBitVector.html#a93f42d767c99bdf788dc4df4881751c5">SVF::CoreBitVector</a>
+: <a class="el" href="classSVF_1_1CoreBitVector.html#a57b3db689583b652ab1426c04a66c4ae">SVF::CoreBitVector</a>
 </li>
 <li>CoreBitVectorIterator()
-: <a class="el" href="classSVF_1_1CoreBitVector_1_1CoreBitVectorIterator.html#abe0289ad45158397b6950afc920f34ef">SVF::CoreBitVector::CoreBitVectorIterator</a>
+: <a class="el" href="classSVF_1_1CoreBitVector_1_1CoreBitVectorIterator.html#a66b4a85853791c4e1537a4bdbc7a2f90">SVF::CoreBitVector::CoreBitVectorIterator</a>
 </li>
 <li>count()
 : <a class="el" href="classSVF_1_1CondStdSet.html#aa19e82905537f3ae41f64fce070ee555">SVF::CondStdSet&lt; Element &gt;</a>
@@ -752,7 +750,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1ICFGStat.html#a632f57db1f1e17f49289b5dfec048ef6">SVF::ICFGStat</a>
 </li>
 <li>cptsBegin()
-: <a class="el" href="classSVF_1_1CondPointsToSet.html#acc5c77fbd1a6133d5e80c3f587d49fb3">SVF::CondPointsToSet&lt; Cond &gt;</a>
+: <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#a20026db57cfef6bf6a978140b2372cea">SVF::CondPointsToSet&lt; Cond &gt;</a>
@@ -811,6 +809,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>
@@ -834,19 +836,19 @@ $(function() {
 , <a class="el" href="classSVF_1_1DCHGraph.html#a2fef8f7209f100c7a266cf3102b1219b">SVF::DCHGraph</a>
 </li>
 <li>CxtDPItem()
-: <a class="el" href="classSVF_1_1CxtDPItem.html#a53fa464132d5e51e832158d2e928db32">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#a25a80c93a6aeb1112a846d6c588364cc">SVF::CxtProc</a>
+: <a class="el" href="classSVF_1_1CxtProc.html#ac1ca3a049f6d0f8a0548a153cc903aa0">SVF::CxtProc</a>
 </li>
 <li>cxtSize()
 : <a class="el" href="classSVF_1_1ContextCond.html#a20f15a1661f928ab80bacaf8f5c497b1">SVF::ContextCond</a>
 </li>
 <li>CxtStmt()
-: <a class="el" href="classSVF_1_1CxtStmt.html#ac11734a3e0db8415fdf55157b20b56a4">SVF::CxtStmt</a>
+: <a class="el" href="classSVF_1_1CxtStmt.html#ad976db5b794019bb68ccc9a35349fb41">SVF::CxtStmt</a>
 </li>
 <li>CxtStmtDPItem()
-: <a class="el" href="classSVF_1_1CxtStmtDPItem.html#a5c3bd4e8f26bfdc863baeb1241a557d1">SVF::CxtStmtDPItem&lt; LocCond &gt;</a>
+: <a class="el" href="classSVF_1_1CxtStmtDPItem.html#a595d44fa92f4ebef2fe789873fd357e0">SVF::CxtStmtDPItem&lt; LocCond &gt;</a>
 </li>
 <li>CxtThread()
 : <a class="el" href="classSVF_1_1CxtThread.html#a7f842879cad19328575f33220491352a">SVF::CxtThread</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

@@ -1401,8 +1401,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1LLVMModuleSet.html#ad647d73d2e1bda61348eff658e32f481">SVF::LLVMModuleSet</a>
 </li>
 <li>getModulusOffset()
-: <a class="el" href="classSVF_1_1LocSymTableInfo.html#a81763320f531da09014b4f5019dc8144">SVF::LocSymTableInfo</a>
-, <a class="el" href="classSVF_1_1SymbolTableInfo.html#a480a7565dcb5d9a94f4b0ffb44b127ee">SVF::SymbolTableInfo</a>
+: <a class="el" href="classSVF_1_1SymbolTableInfo.html#a480a7565dcb5d9a94f4b0ffb44b127ee">SVF::SymbolTableInfo</a>
 </li>
 <li>getMR()
 : <a class="el" href="classSVF_1_1MRGenerator.html#a55d38020bbece70847f7e72bb02bc4af">SVF::MRGenerator</a>
@@ -1572,8 +1571,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1ExternalPAG.html#acb3156be31f4dd45590d931b0f9279f5">SVF::ExternalPAG</a>
 </li>
 <li>getObjSize()
-: <a class="el" href="classSVF_1_1LocObjTypeInfo.html#a9c859cb40a6e02f0a7fd18d5c826b990">SVF::LocObjTypeInfo</a>
-, <a class="el" href="classSVF_1_1ObjTypeInfo.html#a9208f6856f2554a6d3a2745a2b7a366c">SVF::ObjTypeInfo</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>
@@ -1822,15 +1820,15 @@ $(function() {
 <li>getPts()
 : <a class="el" href="classSVF_1_1Andersen.html#a187285a5bdf9422d9188b2b11b667639">SVF::Andersen</a>
 , <a class="el" href="classSVF_1_1BVDataPTAImpl.html#aee289e298e421448caaa604b7eb34fcb">SVF::BVDataPTAImpl</a>
-, <a class="el" href="classSVF_1_1CondPTAImpl.html#a63fa2b3a96696ffc67a119c1ba5ce748">SVF::CondPTAImpl&lt; Cond &gt;</a>
+, <a class="el" href="classSVF_1_1CondPTAImpl.html#a0b96ba98239186d6d676f9540da9e590">SVF::CondPTAImpl&lt; Cond &gt;</a>
 , <a class="el" href="classSVF_1_1MutableDFPTData.html#a4cbb9131a89c5c48367fb927693b5c6b">SVF::MutableDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 , <a class="el" href="classSVF_1_1MutableDiffPTData.html#ac2f494da9379c336bb81a0dc438b5af9">SVF::MutableDiffPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 , <a class="el" href="classSVF_1_1MutablePTData.html#abe4230f3ba78fc660ea291fda36ffa62">SVF::MutablePTData&lt; Key, KeySet, Data, DataSet &gt;</a>
-, <a class="el" href="classSVF_1_1MutableVersionedPTData.html#afcc34f6cedca6a8f151b1a7251832818">SVF::MutableVersionedPTData&lt; Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet &gt;</a>
+, <a class="el" href="classSVF_1_1MutableVersionedPTData.html#aaf519166d2e0ca3c81088b52a1cf3066">SVF::MutableVersionedPTData&lt; Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet &gt;</a>
 , <a class="el" href="classSVF_1_1PersistentDFPTData.html#a5f6a01d0bb40a718bc14f2cc1bb98a13">SVF::PersistentDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 , <a class="el" href="classSVF_1_1PersistentDiffPTData.html#a9982ecf42416756a0729a28e8713cfed">SVF::PersistentDiffPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 , <a class="el" href="classSVF_1_1PersistentPTData.html#a34f8226202e1654d4e67916b21ec4d99">SVF::PersistentPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
-, <a class="el" href="classSVF_1_1PersistentVersionedPTData.html#a9b81d20e54d08e36edbff43549b1e820">SVF::PersistentVersionedPTData&lt; Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet &gt;</a>
+, <a class="el" href="classSVF_1_1PersistentVersionedPTData.html#afe80884fa8227e50f28631e20aa6fdf6">SVF::PersistentVersionedPTData&lt; Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet &gt;</a>
 , <a class="el" href="classSVF_1_1PointerAnalysis.html#a4dfb43679e9fa794ebad99b6584c32ec">SVF::PointerAnalysis</a>
 , <a class="el" href="classSVF_1_1PTData.html#a9ae6037637d8b9acb323333f491f4a7d">SVF::PTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 , <a class="el" href="classSVF_1_1Steensgaard.html#adbcb9af660ab9bb0202bd32342280486">SVF::Steensgaard</a>
@@ -1843,7 +1841,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1MutablePTData.html#a8838058efe94b62553bb5416fdc2ec5b">SVF::MutablePTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 </li>
 <li>getPtsSubSetMap()
-: <a class="el" href="classSVF_1_1IntraDisjointMRG.html#ad0640ef6e02d9a90964ca495c0fd8f53">SVF::IntraDisjointMRG</a>
+: <a class="el" href="classSVF_1_1IntraDisjointMRG.html#ae3c857c056f4e6e863843bafba7fdea1">SVF::IntraDisjointMRG</a>
 </li>
 <li>getRawCTirMetadata()
 : <a class="el" href="classSVF_1_1FlowSensitiveTBHC.html#a2c47ba37bd250be455a21d1f0049d556">SVF::FlowSensitiveTBHC</a>
@@ -1900,7 +1898,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1ICFG.html#ae3bd3bf29b3dac286b93be22cbb60b2c">SVF::ICFG</a>
 </li>
 <li>getRetParmAtJoinedSite()
-: <a class="el" href="classSVF_1_1ThreadAPI.html#a5439ef32c909b02c83cbd30eb0a0fe12">SVF::ThreadAPI</a>
+: <a class="el" href="classSVF_1_1ThreadAPI.html#ad1c595f7b15a2d3079b9e9200c84f7d7">SVF::ThreadAPI</a>
 </li>
 <li>getRetSite()
 : <a class="el" href="classSVF_1_1ProgSlice.html#a2a4c2d573b43f005ae668bffc7fc911d">SVF::ProgSlice</a>
@@ -2051,7 +2049,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1ConstraintGraph.html#ade6a90ed5e0a9e8615bafec54d9d1d73">SVF::ConstraintGraph</a>
 </li>
 <li>getSuccNodes()
-: <a class="el" href="classSVF_1_1MTASVFGBuilder.html#a7033805052c8fae5cd0104fdd9e345c0">SVF::MTASVFGBuilder</a>
+: <a class="el" href="classSVF_1_1MTASVFGBuilder.html#a8164ae39b494115142767abc29cebd53">SVF::MTASVFGBuilder</a>
 </li>
 <li>getSVFFun()
 : <a class="el" href="classSVF_1_1PCG.html#ac7dd2bbd4274a5e3a6427f3b674f99ba">SVF::PCG</a>
@@ -2093,10 +2091,10 @@ $(function() {
 : <a class="el" href="classSVF_1_1MemObj.html#ad7f7de744715c3acaf3d48822865c87b">SVF::MemObj</a>
 </li>
 <li>getTaskDataAtHareParForSite()
-: <a class="el" href="classSVF_1_1ThreadAPI.html#a58cf56e35be873a5a26c5eb0d9b5c9b3">SVF::ThreadAPI</a>
+: <a class="el" href="classSVF_1_1ThreadAPI.html#aee8fac6281a95d8a519add100e8887d1">SVF::ThreadAPI</a>
 </li>
 <li>getTaskFuncAtHareParForSite()
-: <a class="el" href="classSVF_1_1ThreadAPI.html#a282d6aeab91135af4cab8195d67badf6">SVF::ThreadAPI</a>
+: <a class="el" href="classSVF_1_1ThreadAPI.html#afeedd6e518af76fa9e7142af8899b2f5">SVF::ThreadAPI</a>
 </li>
 <li>getTCG()
 : <a class="el" href="classSVF_1_1ForkJoinAnalysis.html#a8ad9b8cb0e6300b2ffc55244e53cece6">SVF::ForkJoinAnalysis</a>
@@ -2322,7 +2320,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1SVFModule.html#af81c6deed3978562f83f120119c6aad2">SVF::SVFModule</a>
 </li>
 <li>global_end()
-: <a class="el" href="classSVF_1_1SVFModule.html#a8a34164634d6ad9a7b76175907c8c44b">SVF::SVFModule</a>
+: <a class="el" href="classSVF_1_1SVFModule.html#afa9068e662918f6649d5ca25340a3ae2">SVF::SVFModule</a>
 </li>
 <li>GlobalBlockNode()
 : <a class="el" href="classSVF_1_1GlobalBlockNode.html#a233fceb667e517862fd97d50832a4d7e">SVF::GlobalBlockNode</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

@@ -155,8 +155,6 @@ $(function() {
 </li>
 <li>init()
 : <a class="el" href="classSVF_1_1ExtAPI.html#ac8af2b917fcc71c0a1a66b8cb0cc55ba">SVF::ExtAPI</a>
-, <a class="el" href="classSVF_1_1MemObj.html#a768e82826964c68673af7db3b5702442">SVF::MemObj</a>
-, <a class="el" href="classSVF_1_1ObjTypeInfo.html#aba198ceecd53d73ab0b0deb0133cda0d">SVF::ObjTypeInfo</a>
 , <a class="el" href="classSVF_1_1RaceResultValidator.html#aec8b923a0da580113a13bf94ffb3ebd7">SVF::RaceResultValidator</a>
 , <a class="el" href="classSVF_1_1SaberCheckerAPI.html#a5771df69ffa75b6103a32c8bd48ef488">SVF::SaberCheckerAPI</a>
 , <a class="el" href="classSVF_1_1ThreadAPI.html#a4535862f26efff9f45236000507932c9">SVF::ThreadAPI</a>
@@ -216,6 +214,9 @@ $(function() {
 <li>initStats()
 : <a class="el" href="classSVF_1_1PersistentPointsToCache.html#ab19e4e17b1896565e0bada1f161d1266">SVF::PersistentPointsToCache&lt; Data &gt;</a>
 </li>
+<li>initTypeInfo()
+: <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>
 , <a class="el" href="classSVF_1_1WPASolver.html#a7195381c3aab04890139b4fe2c561909">SVF::WPASolver&lt; GraphType &gt;</a>
@@ -559,7 +560,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1MHP.html#a6f07427b45991b2d8a3ff21582121d23">SVF::MHP</a>
 </li>
 <li>isHeadofSpan()
-: <a class="el" href="classSVF_1_1MTASVFGBuilder.html#a5c32c2f5038aab15ec2da50c7c99b405">SVF::MTASVFGBuilder</a>
+: <a class="el" href="classSVF_1_1MTASVFGBuilder.html#a4d36dc553bc87508b78add9b52ce9c2a">SVF::MTASVFGBuilder</a>
 </li>
 <li>isHeap()
 : <a class="el" href="classSVF_1_1MemObj.html#af8f4f85cfbcb09615fb04ca63d634138">SVF::MemObj</a>
@@ -624,7 +625,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1LockAnalysis.html#a65aca2bc12fc34203b16549653943eae">SVF::LockAnalysis</a>
 </li>
 <li>isInSameCSSpan()
-: <a class="el" href="classSVF_1_1LockAnalysis.html#a8595b976bf60d161561e5494257aa179">SVF::LockAnalysis</a>
+: <a class="el" href="classSVF_1_1LockAnalysis.html#a4245d946dd694b59b5c8ef30b08cb1dd">SVF::LockAnalysis</a>
 </li>
 <li>isInSameSpan()
 : <a class="el" href="classSVF_1_1LockAnalysis.html#af30d0dad3d17188de8c2cea9b004f3d3">SVF::LockAnalysis</a>
@@ -911,13 +912,13 @@ $(function() {
 </li>
 <li>isTDAcquire()
 : <a class="el" href="classSVF_1_1LockAnalysis.html#a5521de9933ce74d0954a942dfceae772">SVF::LockAnalysis</a>
-, <a class="el" href="classSVF_1_1ThreadAPI.html#a9db4df7968ec179e5012794c58fdee70">SVF::ThreadAPI</a>
+, <a class="el" href="classSVF_1_1ThreadAPI.html#a608f0cb60a665745748b6a6654a6e837">SVF::ThreadAPI</a>
 </li>
 <li>isTDBarWait()
 : <a class="el" href="classSVF_1_1ThreadAPI.html#af3aa58dc83dca382162df67c12169585">SVF::ThreadAPI</a>
 </li>
 <li>isTDExit()
-: <a class="el" href="classSVF_1_1ThreadAPI.html#a22d6c0cf0ba19af0661b106a8859024f">SVF::ThreadAPI</a>
+: <a class="el" href="classSVF_1_1ThreadAPI.html#ae87d129560d7015966336f06a516db23">SVF::ThreadAPI</a>
 </li>
 <li>isTDFork()
 : <a class="el" href="classSVF_1_1ForkJoinAnalysis.html#aff32f240a03421937c2fc606359dca9b">SVF::ForkJoinAnalysis</a>
@@ -928,7 +929,7 @@ $(function() {
 <li>isTDJoin()
 : <a class="el" href="classSVF_1_1ForkJoinAnalysis.html#aac722a42dc6e03e771a7a80de5f8ec94">SVF::ForkJoinAnalysis</a>
 , <a class="el" href="classSVF_1_1MHP.html#ab566508ffd73abd4d5ad047a1d7f9c27">SVF::MHP</a>
-, <a class="el" href="classSVF_1_1ThreadAPI.html#a8cc5f9ff6039392ce1471cd830973c44">SVF::ThreadAPI</a>
+, <a class="el" href="classSVF_1_1ThreadAPI.html#a50e56d63c6d713ac34b4006d248f880b">SVF::ThreadAPI</a>
 </li>
 <li>isTDRelease()
 : <a class="el" href="classSVF_1_1LockAnalysis.html#ae312fa9ddb320674f7bc31e29aa474ed">SVF::LockAnalysis</a>

package/SVF-doxygen/html/html/functions_func_l.html

@@ -89,13 +89,13 @@ $(function() {
 : <a class="el" href="classSVF_1_1LoadMU.html#a2288f957cbd10892eb6f3a4d3d0e39ee">SVF::LoadMU&lt; Cond &gt;</a>
 </li>
 <li>LoadPE()
-: <a class="el" href="classSVF_1_1LoadPE.html#ad0678fd591a21f67f613f42365e7bfa8">SVF::LoadPE</a>
+: <a class="el" href="classSVF_1_1LoadPE.html#ade066a690dbf51edbe6b9585e02ddd42">SVF::LoadPE</a>
 </li>
 <li>LoadVFGNode()
 : <a class="el" href="classSVF_1_1LoadVFGNode.html#aca72f4582e33a2d4ef3a96dd2936f567">SVF::LoadVFGNode</a>
 </li>
 <li>LocationSet()
-: <a class="el" href="classSVF_1_1LocationSet.html#afd3b135453644cd42e869d378c270d23">SVF::LocationSet</a>
+: <a class="el" href="classSVF_1_1LocationSet.html#a290c7fe38704552fd66ad06e5deeaca9">SVF::LocationSet</a>
 </li>
 <li>LockAnalysis()
 : <a class="el" href="classSVF_1_1LockAnalysis.html#af8aff31058caba691c127b8aef297b43">SVF::LockAnalysis</a>
@@ -103,12 +103,6 @@ $(function() {
 <li>LockResultValidator()
 : <a class="el" href="classSVF_1_1LockResultValidator.html#acfe0b43eee73c5e02f5744d8993cb529">SVF::LockResultValidator</a>
 </li>
-<li>LocObjTypeInfo()
-: <a class="el" href="classSVF_1_1LocObjTypeInfo.html#aec1aceb9d7d69423b8103c37c277f6ee">SVF::LocObjTypeInfo</a>
-</li>
-<li>LocSymTableInfo()
-: <a class="el" href="classSVF_1_1LocSymTableInfo.html#a6ae1ada9c99ceb53fb41f3b59696423e">SVF::LocSymTableInfo</a>
-</li>
 </ul>
 </div><!-- contents -->
 <!-- start footer part -->

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

@@ -138,8 +138,11 @@ $(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#ab22373574ae9dff2f8ffbef16d5b339c">SVF::MemObj</a>
+: <a class="el" href="classSVF_1_1MemObj.html#afc62b5dbcaf790e561c852f567ca5bd1">SVF::MemObj</a>
 </li>
 <li>MemRegion()
 : <a class="el" href="classSVF_1_1MemRegion.html#a1d8189977196da687f50cfa6df98394b">SVF::MemRegion</a>

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

@@ -123,9 +123,6 @@ $(function() {
 <li>verifyCallGraph()
 : <a class="el" href="classSVF_1_1PTACallGraph.html#ac695d78f0a78e2e5f1fb4f93264e52b8">SVF::PTACallGraph</a>
 </li>
-<li>verifyStructSize()
-: <a class="el" href="classSVF_1_1LocSymTableInfo.html#a1b4b45547634b0c68c363ce21870e610">SVF::LocSymTableInfo</a>
-</li>
 <li>VersionedFlowSensitive()
 : <a class="el" href="classSVF_1_1VersionedFlowSensitive.html#af52cafc2bb393823f51ca89a0abacec4">SVF::VersionedFlowSensitive</a>
 </li>

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

@@ -1477,8 +1477,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1LLVMModuleSet.html#ad647d73d2e1bda61348eff658e32f481">SVF::LLVMModuleSet</a>
 </li>
 <li>getModulusOffset()
-: <a class="el" href="classSVF_1_1LocSymTableInfo.html#a81763320f531da09014b4f5019dc8144">SVF::LocSymTableInfo</a>
-, <a class="el" href="classSVF_1_1SymbolTableInfo.html#a480a7565dcb5d9a94f4b0ffb44b127ee">SVF::SymbolTableInfo</a>
+: <a class="el" href="classSVF_1_1SymbolTableInfo.html#a480a7565dcb5d9a94f4b0ffb44b127ee">SVF::SymbolTableInfo</a>
 </li>
 <li>getMR()
 : <a class="el" href="classSVF_1_1MRGenerator.html#a55d38020bbece70847f7e72bb02bc4af">SVF::MRGenerator</a>
@@ -1648,8 +1647,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1ExternalPAG.html#acb3156be31f4dd45590d931b0f9279f5">SVF::ExternalPAG</a>
 </li>
 <li>getObjSize()
-: <a class="el" href="classSVF_1_1LocObjTypeInfo.html#a9c859cb40a6e02f0a7fd18d5c826b990">SVF::LocObjTypeInfo</a>
-, <a class="el" href="classSVF_1_1ObjTypeInfo.html#a9208f6856f2554a6d3a2745a2b7a366c">SVF::ObjTypeInfo</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>
@@ -1902,7 +1900,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1MutableDFPTData.html#a4cbb9131a89c5c48367fb927693b5c6b">SVF::MutableDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 , <a class="el" href="classSVF_1_1MutableDiffPTData.html#ac2f494da9379c336bb81a0dc438b5af9">SVF::MutableDiffPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 , <a class="el" href="classSVF_1_1MutablePTData.html#abe4230f3ba78fc660ea291fda36ffa62">SVF::MutablePTData&lt; Key, KeySet, Data, DataSet &gt;</a>
-, <a class="el" href="classSVF_1_1MutableVersionedPTData.html#aaf519166d2e0ca3c81088b52a1cf3066">SVF::MutableVersionedPTData&lt; Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet &gt;</a>
+, <a class="el" href="classSVF_1_1MutableVersionedPTData.html#afcc34f6cedca6a8f151b1a7251832818">SVF::MutableVersionedPTData&lt; Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet &gt;</a>
 , <a class="el" href="classSVF_1_1PersistentDFPTData.html#a5f6a01d0bb40a718bc14f2cc1bb98a13">SVF::PersistentDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 , <a class="el" href="classSVF_1_1PersistentDiffPTData.html#a9982ecf42416756a0729a28e8713cfed">SVF::PersistentDiffPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 , <a class="el" href="classSVF_1_1PersistentPTData.html#a34f8226202e1654d4e67916b21ec4d99">SVF::PersistentPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
@@ -1919,7 +1917,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1MutablePTData.html#a8838058efe94b62553bb5416fdc2ec5b">SVF::MutablePTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 </li>
 <li>getPtsSubSetMap()
-: <a class="el" href="classSVF_1_1IntraDisjointMRG.html#ad0640ef6e02d9a90964ca495c0fd8f53">SVF::IntraDisjointMRG</a>
+: <a class="el" href="classSVF_1_1IntraDisjointMRG.html#ae3c857c056f4e6e863843bafba7fdea1">SVF::IntraDisjointMRG</a>
 </li>
 <li>getRawCTirMetadata()
 : <a class="el" href="classSVF_1_1FlowSensitiveTBHC.html#a2c47ba37bd250be455a21d1f0049d556">SVF::FlowSensitiveTBHC</a>
@@ -2169,7 +2167,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1MemObj.html#ad7f7de744715c3acaf3d48822865c87b">SVF::MemObj</a>
 </li>
 <li>getTaskDataAtHareParForSite()
-: <a class="el" href="classSVF_1_1ThreadAPI.html#aee8fac6281a95d8a519add100e8887d1">SVF::ThreadAPI</a>
+: <a class="el" href="classSVF_1_1ThreadAPI.html#a58cf56e35be873a5a26c5eb0d9b5c9b3">SVF::ThreadAPI</a>
 </li>
 <li>getTaskFuncAtHareParForSite()
 : <a class="el" href="classSVF_1_1ThreadAPI.html#a282d6aeab91135af4cab8195d67badf6">SVF::ThreadAPI</a>
@@ -2256,7 +2254,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1TypeSystem.html#a6b52e1b6fbf9cfcc0337471bb425f330">SVF::TypeSystem</a>
 </li>
 <li>getTypeSizeInBytes()
-: <a class="el" href="classSVF_1_1SymbolTableInfo.html#ada63ac47515daa4402914083058baec8">SVF::SymbolTableInfo</a>
+: <a class="el" href="classSVF_1_1SymbolTableInfo.html#af4239ff717303dee25f1f4ba60070f9e">SVF::SymbolTableInfo</a>
 </li>
 <li>getTypeSystem()
 : <a class="el" href="classSVF_1_1PointerAnalysis.html#ae615dd279fbf681e3c15e7209e3adfbe">SVF::PointerAnalysis</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>