svf-tools 1.0.313 → 1.0.314

package/SVF-doxygen/html/html/search/functions_1.js

@@ -52,7 +52,7 @@ var searchData=
   ['buildglobaldeftorepmap',['buildGlobalDefToRepMap',['../classSVF_1_1LLVMModuleSet.html#aaab03cb6ff665bc008c67b866ba81e47',1,'SVF::LLVMModuleSet']]],
   ['buildinternalmaps',['buildInternalMaps',['../classSVF_1_1CHGraph.html#ab55b057a7be74ad03514dc15b6f01131',1,'SVF::CHGraph']]],
   ['buildisstoreloadmaps',['buildIsStoreLoadMaps',['../classSVF_1_1VersionedFlowSensitive.html#a8da4b9bd9d0c640a6857b4dc4991817c',1,'SVF::VersionedFlowSensitive']]],
-  ['buildmemmodel',['buildMemModel',['../classSVF_1_1SymbolTableInfo.html#a74481bb26d77d8c8bca91efd3e23c08e',1,'SVF::SymbolTableInfo']]],
+  ['buildmemmodel',['buildMemModel',['../classSVF_1_1MemModelBuilder.html#aa38a3ce969852945fb914bab56fe8850',1,'SVF::MemModelBuilder']]],
   ['buildmemssa',['buildMemSSA',['../classSVF_1_1MemSSA.html#ae56d1878046c119d1857727ca3609d74',1,'SVF::MemSSA']]],
   ['buildmssa',['buildMSSA',['../classSVF_1_1SVFGBuilder.html#a49cee21be46d6a3f65eec638714038ed',1,'SVF::SVFGBuilder']]],
   ['buildofflinecg',['buildOfflineCG',['../classSVF_1_1OfflineConsG.html#ac6197a5515ace76b2d51451f5149aef7',1,'SVF::OfflineConsG']]],

package/SVF-doxygen/html/html/search/functions_10.js

@@ -62,6 +62,7 @@ var searchData=
   ['setmemusagebefore',['setMemUsageBefore',['../classSVF_1_1DDAStat.html#accadfa44f7cf9f107e4c8d100ce8db0d',1,'SVF::DDAStat']]],
   ['setmergednode',['setMergedNode',['../classSVF_1_1AndersenHCD.html#a6d6d770848a42c6291db663ab138461d',1,'SVF::AndersenHCD']]],
   ['setmodelconstants',['setModelConstants',['../classSVF_1_1SymbolTableInfo.html#a4decfc9e7f5dc096d7bfa42d6965763d',1,'SVF::SymbolTableInfo']]],
+  ['setmodule',['setModule',['../classSVF_1_1SymbolTableInfo.html#a4f916c64ca04c4db30bd19fb8505724d',1,'SVF::SymbolTableInfo']]],
   ['setmultiforked',['setMultiforked',['../classSVF_1_1TCTNode.html#a0fafde34cdffde6d38bb9efca9b7a9a1',1,'SVF::TCTNode']]],
   ['setmultiforkedattrs',['setMultiForkedAttrs',['../classSVF_1_1TCT.html#a11e36f9b58646dee4014e12e55c70508',1,'SVF::TCT']]],
   ['setmultiinheritance',['setMultiInheritance',['../classSVF_1_1CHNode.html#a5d751a3a0d88c0de374bfeb526051440',1,'SVF::CHNode::setMultiInheritance()'],['../classSVF_1_1DCHNode.html#a798e80f0cc5951789474abc3a0999166',1,'SVF::DCHNode::setMultiInheritance()']]],

package/SVF-doxygen/html/html/search/functions_2.js

@@ -87,22 +87,22 @@ var searchData=
   ['collectmodrefforcall',['collectModRefForCall',['../classSVF_1_1MRGenerator.html#a502f8379620378b36bc12d9a91b408d2',1,'SVF::MRGenerator']]],
   ['collectmodrefforloadstore',['collectModRefForLoadStore',['../classSVF_1_1MRGenerator.html#a207dfa4c9f044764665478142c6e6b22',1,'SVF::MRGenerator']]],
   ['collectmultiforkedthreads',['collectMultiForkedThreads',['../classSVF_1_1TCT.html#ad15753a9c20d738325e5c0edea6c9c56',1,'SVF::TCT']]],
-  ['collectobj',['collectObj',['../classSVF_1_1SymbolTableInfo.html#af639e9bc59f5fb9a6bf1748ef0d07d5e',1,'SVF::SymbolTableInfo']]],
+  ['collectobj',['collectObj',['../classSVF_1_1MemModelBuilder.html#a65811b9e59b29598fdac5e33ef2bc682',1,'SVF::MemModelBuilder']]],
   ['collectptschain',['CollectPtsChain',['../classSVF_1_1MRGenerator.html#a81bd687d34eea884dfcf68274fcec7b5',1,'SVF::MRGenerator::CollectPtsChain()'],['../classSVF_1_1SaberSVFGBuilder.html#a411e168e2a6c27e15186c609c5e216b3',1,'SVF::SaberSVFGBuilder::CollectPtsChain()']]],
   ['collectregdefs',['collectRegDefs',['../classSVF_1_1MemSSA.html#a7c0bb1406f0e583c38e522ca06dfa73a',1,'SVF::MemSSA']]],
   ['collectreguses',['collectRegUses',['../classSVF_1_1MemSSA.html#a8032c530b44e264544881d53d2fac390',1,'SVF::MemSSA']]],
-  ['collectret',['collectRet',['../classSVF_1_1SymbolTableInfo.html#ae4a7d078322e99af965193c82b357239',1,'SVF::SymbolTableInfo']]],
+  ['collectret',['collectRet',['../classSVF_1_1MemModelBuilder.html#abb2767754c1640be1b88e26c2cd827af',1,'SVF::MemModelBuilder']]],
   ['collectscevinfo',['collectSCEVInfo',['../classSVF_1_1ForkJoinAnalysis.html#a731ece7e21bfa2b08ae16780b55f9f5f',1,'SVF::ForkJoinAnalysis']]],
   ['collectsimpletypeinfo',['collectSimpleTypeInfo',['../classSVF_1_1SymbolTableInfo.html#abf7567c655499d6744de8df689c11fad',1,'SVF::SymbolTableInfo']]],
   ['collectspawnees',['collectSpawnees',['../classSVF_1_1PCG.html#a8cff88e2a6cee5f655e491f9f2967460',1,'SVF::PCG']]],
   ['collectspawners',['collectSpawners',['../classSVF_1_1PCG.html#aef06745128e4e99c8e3bab226a337041',1,'SVF::PCG']]],
   ['collectstructinfo',['collectStructInfo',['../classSVF_1_1SymbolTableInfo.html#ab5297b79a02d8afce647a8b61bdab804',1,'SVF::SymbolTableInfo']]],
-  ['collectsym',['collectSym',['../classSVF_1_1SymbolTableInfo.html#a7c422651a6cb299b0c94a2e4597fbe7c',1,'SVF::SymbolTableInfo']]],
+  ['collectsym',['collectSym',['../classSVF_1_1MemModelBuilder.html#ae87426d038c76ccdbb12f2b7d5d09173',1,'SVF::MemModelBuilder']]],
   ['collecttcttargets',['collectTCTTargets',['../classSVF_1_1MTAResultValidator.html#abdf31e8fca824b56a53788de525042a6',1,'SVF::MTAResultValidator']]],
   ['collecttypeinfo',['collectTypeInfo',['../classSVF_1_1SymbolTableInfo.html#aa99cab5480116905dd41ab0ad24b9462',1,'SVF::SymbolTableInfo']]],
-  ['collectval',['collectVal',['../classSVF_1_1SymbolTableInfo.html#a135ec0f7574d4bcb4bc411ce5775f1f5',1,'SVF::SymbolTableInfo']]],
+  ['collectval',['collectVal',['../classSVF_1_1MemModelBuilder.html#af2660d3b74dd474823ae13e83e00d1f7',1,'SVF::MemModelBuilder']]],
   ['collectvalidationtargets',['collectValidationTargets',['../classSVF_1_1RaceResultValidator.html#adb3030fc7514506e2592e11898217375',1,'SVF::RaceResultValidator']]],
-  ['collectvararg',['collectVararg',['../classSVF_1_1SymbolTableInfo.html#ae1fe33260d2a2d21f2c33aaf1b58fee3',1,'SVF::SymbolTableInfo']]],
+  ['collectvararg',['collectVararg',['../classSVF_1_1MemModelBuilder.html#ad7503ed106b59f2efb3d36bf3ac83c72',1,'SVF::MemModelBuilder']]],
   ['collectwpanum',['collectWPANum',['../classSVF_1_1DDAClient.html#a76b4c50a1051ff7c0b162b55473de028',1,'SVF::DDAClient']]],
   ['compare',['compare',['../classSVF_1_1RaceResultValidator.html#a7a16fb7a3f382284dbb080802f6e6f43',1,'SVF::RaceResultValidator']]],
   ['complementpts',['complementPts',['../classSVF_1_1PersistentPointsToCache.html#a86bf6959fb5587e350015d58d529af14',1,'SVF::PersistentPointsToCache']]],
@@ -186,7 +186,7 @@ var searchData=
   ['createmr',['createMR',['../classSVF_1_1MRGenerator.html#ac18324bd2b862c3cdbf65494bf69ecb5',1,'SVF::MRGenerator']]],
   ['createmuchi',['createMUCHI',['../classSVF_1_1MemSSA.html#a695adf83e8c40b9628b1866053f68033',1,'SVF::MemSSA']]],
   ['createnode',['createNode',['../classSVF_1_1CHGraph.html#a39a7a8f6a4b9bb03523f190ce7b91e58',1,'SVF::CHGraph']]],
-  ['createobjtypeinfo',['createObjTypeInfo',['../classSVF_1_1SymbolTableInfo.html#aa392fef870b1d3adfc3fd18116782439',1,'SVF::SymbolTableInfo::createObjTypeInfo(const Value *val)'],['../classSVF_1_1SymbolTableInfo.html#a76971ba9b579907ef937cd7adda89562',1,'SVF::SymbolTableInfo::createObjTypeInfo(const Type *type=nullptr)']]],
+  ['createobjtypeinfo',['createObjTypeInfo',['../classSVF_1_1MemModelBuilder.html#a25943b60f7b6beada54bd49369086c49',1,'SVF::MemModelBuilder::createObjTypeInfo()'],['../classSVF_1_1SymbolTableInfo.html#a76971ba9b579907ef937cd7adda89562',1,'SVF::SymbolTableInfo::createObjTypeInfo()']]],
   ['createrefnode',['createRefNode',['../classSVF_1_1OfflineConsG.html#a984e82f3185be03b8d1cb942685b2010',1,'SVF::OfflineConsG']]],
   ['createsteensgaard',['createSteensgaard',['../classSVF_1_1Steensgaard.html#a33714348b5ed79d579039014f3092b87',1,'SVF::Steensgaard']]],
   ['createvfswpa',['createVFSWPA',['../classSVF_1_1VersionedFlowSensitive.html#ab7b98127319bac71bd84652e622b5958',1,'SVF::VersionedFlowSensitive']]],

package/SVF-doxygen/html/html/search/functions_4.js

@@ -15,7 +15,7 @@ var searchData=
   ['enableflow',['ENABLEFLOW',['../dda_8cpp.html#af95c31f8cf35812a4fe4a22342aacaa2',1,'dda.cpp']]],
   ['end',['end',['../classSVF_1_1GenericGraph.html#a4bef15157423cef48dc7333a803cd27d',1,'SVF::GenericGraph::end()'],['../classSVF_1_1GenericGraph.html#a3001af3746d26b7dc0a212db5e48a4bb',1,'SVF::GenericGraph::end() const'],['../classSVF_1_1CondStdSet.html#a93c232ef7e5dea652622da7f994e1dc3',1,'SVF::CondStdSet::end()'],['../classSVF_1_1CondStdSet.html#accc5305781696701c00245ed1e8a25a3',1,'SVF::CondStdSet::end() const'],['../classSVF_1_1CondPointsToSet.html#a5ead697952ada3fbb07da3459a2b1b86',1,'SVF::CondPointsToSet::end()'],['../classSVF_1_1CondPointsToSet.html#a537890d918d23abeea39bc73198f7365',1,'SVF::CondPointsToSet::end() const'],['../classSVF_1_1PointsTo.html#a8f741cdffbf3c5fe0f602cdca677dee6',1,'SVF::PointsTo::end()'],['../classSVF_1_1TypeSet.html#acc97e569aacfe626a501d34d84d4d860',1,'SVF::TypeSet::end()'],['../classSVF_1_1TypeSet.html#a6687c5c175d601b2f1ddab8aac0bdf4e',1,'SVF::TypeSet::end() const'],['../classSVF_1_1TypeSystem.html#a8c8733d3ab9a28a25d9886ee97c3341f',1,'SVF::TypeSystem::end()'],['../classSVF_1_1TypeSystem.html#a3c0e2a090705c1f6a67b36ee4c607b9d',1,'SVF::TypeSystem::end() const'],['../classllvm_1_1generic__bridge__gep__type__iterator.html#a4f13b7cccd69bdac2a4f5feff5625f01',1,'llvm::generic_bridge_gep_type_iterator::end()'],['../classSVF_1_1CoreBitVector.html#a93cdd9890522cc9fee2451567e0b1f0d',1,'SVF::CoreBitVector::end()'],['../classSVF_1_1ContextCond.html#a4b56b54896a1241032d7614309829399',1,'SVF::ContextCond::end()'],['../classSVF_1_1SVFModule.html#a58d03edb6ff85f4943135478f113df31',1,'SVF::SVFModule::end()'],['../classSVF_1_1SVFModule.html#ad3f057892f970c22ef3bf345841eb4cc',1,'SVF::SVFModule::end() const']]],
   ['endclk',['endClk',['../classSVF_1_1PTAStat.html#afe854f7416ea408104721a083ee9fee0',1,'SVF::PTAStat']]],
-  ['endsymbolallocation',['endSymbolAllocation',['../classSVF_1_1NodeIDAllocator.html#ae42c5bb7db4d2142adc2e7e904eb36c7',1,'SVF::NodeIDAllocator']]],
+  ['endsymbolallocation',['endSymbolAllocation',['../classSVF_1_1NodeIDAllocator.html#a92b053f79cfa1259603836cb0aacad7d',1,'SVF::NodeIDAllocator']]],
   ['entrychi',['EntryCHI',['../classSVF_1_1EntryCHI.html#a0ba7181ad2a793bf11e40b7c7092e28b',1,'SVF::EntryCHI']]],
   ['epdadd3',['EpdAdd3',['../epd_8h.html#afa1ea5db2ee414c65f06709aaad4c676',1,'EpdAdd3(EpDouble *epd1, EpDouble *epd2, EpDouble *epd3): epd.c'],['../epd_8c.html#afa1ea5db2ee414c65f06709aaad4c676',1,'EpdAdd3(EpDouble *epd1, EpDouble *epd2, EpDouble *epd3): epd.c']]],
   ['epdalloc',['EpdAlloc',['../epd_8h.html#a660d7b3c89a57b16874fbf0c1fc59254',1,'EpdAlloc(void): epd.c'],['../epd_8c.html#a660d7b3c89a57b16874fbf0c1fc59254',1,'EpdAlloc(void): epd.c']]],

package/SVF-doxygen/html/html/search/functions_6.js

@@ -449,7 +449,7 @@ var searchData=
   ['getobjectnode',['getObjectNode',['../classSVF_1_1PAG.html#a9e35f1d6a30c6200fb3c0c43ba4f36cb',1,'SVF::PAG::getObjectNode(const Value *V)'],['../classSVF_1_1PAG.html#a12be35fbe2d830fb23fd0173eb66c108',1,'SVF::PAG::getObjectNode(const MemObj *mem)'],['../classSVF_1_1PAGBuilder.html#a442ca853e750396d088aa736cc39356f',1,'SVF::PAGBuilder::getObjectNode()']]],
   ['getobjectnodenum',['getObjectNodeNum',['../classSVF_1_1PAG.html#afe02872115f15623178cb1ed8f737992',1,'SVF::PAG']]],
   ['getobjectnodes',['getObjectNodes',['../classSVF_1_1ExternalPAG.html#acb3156be31f4dd45590d931b0f9279f5',1,'SVF::ExternalPAG']]],
-  ['getobjsize',['getObjSize',['../classSVF_1_1SymbolTableInfo.html#a2f8ec960e3462cef867b1ac6e524dea8',1,'SVF::SymbolTableInfo']]],
+  ['getobjsize',['getObjSize',['../classSVF_1_1MemModelBuilder.html#a5e423694e9c1400d805b5c08b0ea7abc',1,'SVF::MemModelBuilder']]],
   ['getobjswithclones',['getObjsWithClones',['../classSVF_1_1TypeBasedHeapCloning.html#ad1c67da3aac128ca8a69907fdad53fcd',1,'SVF::TypeBasedHeapCloning']]],
   ['getobjsym',['getObjSym',['../classSVF_1_1SymbolTableInfo.html#afca5a68d1825326e3ec6302ce0afee66',1,'SVF::SymbolTableInfo']]],
   ['getocgrep',['getOCGRep',['../classSVF_1_1OfflineConsG.html#a3f390900ee8761055c6d59107bc0ad27',1,'SVF::OfflineConsG']]],

package/SVF-doxygen/html/html/search/functions_7.js

@@ -6,7 +6,7 @@ var searchData=
   ['handlecall',['handleCall',['../classSVF_1_1LockAnalysis.html#a97b186f9417144557bb17c41d515a9f4',1,'SVF::LockAnalysis::handleCall()'],['../classSVF_1_1MHP.html#af769afe6ba6baccda5a497df181c9fb0',1,'SVF::MHP::handleCall()'],['../classSVF_1_1ForkJoinAnalysis.html#ab636777379aca0b53a06e4888d4b4c6b',1,'SVF::ForkJoinAnalysis::handleCall()']]],
   ['handlecallrelation',['handleCallRelation',['../classSVF_1_1LockAnalysis.html#ab99ef73905f35d4c20ca408586fc8680',1,'SVF::LockAnalysis::handleCallRelation()'],['../classSVF_1_1TCT.html#aac0c4c3f1c7cb1d89ebd2a3da2d49bd3',1,'SVF::TCT::handleCallRelation()']]],
   ['handlecallsitemodref',['handleCallsiteModRef',['../classSVF_1_1MRGenerator.html#a123a2ea51b04f1398b9ee66567f5014a',1,'SVF::MRGenerator']]],
-  ['handlece',['handleCE',['../classSVF_1_1SymbolTableInfo.html#ad92842613ac245ad06875a012a5549ab',1,'SVF::SymbolTableInfo']]],
+  ['handlece',['handleCE',['../classSVF_1_1MemModelBuilder.html#a884a646e9c3b69124780e776af8947b6',1,'SVF::MemModelBuilder']]],
   ['handlecopygep',['handleCopyGep',['../classSVF_1_1Andersen.html#ab069683dd6ca563113efbde2813ab35e',1,'SVF::Andersen::handleCopyGep()'],['../classSVF_1_1AndersenWaveDiff.html#ad5c85a28967cc3f62e663dc00a8aa8c9',1,'SVF::AndersenWaveDiff::handleCopyGep()'],['../classSVF_1_1AndersenLCD.html#a139d80e25fe713194f719581915d36d5',1,'SVF::AndersenLCD::handleCopyGep()'],['../classSVF_1_1AndersenHLCD.html#a9582cde6cbb510f3fb624109f8ea8f63',1,'SVF::AndersenHLCD::handleCopyGep()'],['../classSVF_1_1AndersenSCD.html#aa0a496376f7bea2c417ef83c51d19a61',1,'SVF::AndersenSCD::handleCopyGep()']]],
   ['handledibasictype',['handleDIBasicType',['../classSVF_1_1DCHGraph.html#a86bf48776ccf53092f4cb742cf95f8eb',1,'SVF::DCHGraph']]],
   ['handledicompositetype',['handleDICompositeType',['../classSVF_1_1DCHGraph.html#a3ce75cbe92a1fa7d34c6fca2d2ca1b0f',1,'SVF::DCHGraph']]],
@@ -15,8 +15,8 @@ var searchData=
   ['handledisubroutinetype',['handleDISubroutineType',['../classSVF_1_1DCHGraph.html#a671f379ae54eef247b5e013478eb3f0c',1,'SVF::DCHGraph']]],
   ['handleextcall',['handleExtCall',['../classSVF_1_1PAGBuilder.html#a5344e675f4207a1e9a2de54d0e5f6e9d',1,'SVF::PAGBuilder']]],
   ['handlefork',['handleFork',['../classSVF_1_1LockAnalysis.html#a52e79d50288bfa2d146072be53ed058b',1,'SVF::LockAnalysis::handleFork()'],['../classSVF_1_1MHP.html#a8a95f8ae419b66310ce6f572caea2ca5',1,'SVF::MHP::handleFork()'],['../classSVF_1_1ForkJoinAnalysis.html#adddbc09b7b99170cd0941f22ccc7e561',1,'SVF::ForkJoinAnalysis::handleFork()']]],
-  ['handleglobalce',['handleGlobalCE',['../classSVF_1_1SymbolTableInfo.html#a4d616d922793e1d74bb4143f2d72bf10',1,'SVF::SymbolTableInfo']]],
-  ['handleglobalinitializerce',['handleGlobalInitializerCE',['../classSVF_1_1SymbolTableInfo.html#a005df6b86f4058114bf7a336e73e63df',1,'SVF::SymbolTableInfo']]],
+  ['handleglobalce',['handleGlobalCE',['../classSVF_1_1MemModelBuilder.html#ab9e664a9b1d1dd47bb0e367d90bcc677',1,'SVF::MemModelBuilder']]],
+  ['handleglobalinitializerce',['handleGlobalInitializerCE',['../classSVF_1_1MemModelBuilder.html#a210f0e6cc38453acdd558d306e184ad3',1,'SVF::MemModelBuilder']]],
   ['handleindcall',['handleIndCall',['../classSVF_1_1PAGBuilder.html#ab222f5d9ad6c59e1c3a738153cf650d0',1,'SVF::PAGBuilder']]],
   ['handleintervalueflow',['handleInterValueFlow',['../classSVF_1_1SVFGOPT.html#a4c698184cc23730fb44904d4048958da',1,'SVF::SVFGOPT']]],
   ['handleintra',['handleIntra',['../classSVF_1_1LockAnalysis.html#a711760ebaed0437176f4f9d314e9929c',1,'SVF::LockAnalysis::handleIntra()'],['../classSVF_1_1MHP.html#af4d6f0884ce18ea5caf0dfd9799d1aae',1,'SVF::MHP::handleIntra()'],['../classSVF_1_1ForkJoinAnalysis.html#add09218cce8d8bd8dd9e73b2d26a5797',1,'SVF::ForkJoinAnalysis::handleIntra()']]],

package/SVF-doxygen/html/html/search/functions_8.js

@@ -47,7 +47,7 @@ var searchData=
   ['initsrcs',['initSrcs',['../classSVF_1_1LeakChecker.html#a273a7bfc3e81505ec971ca1d419bb565',1,'SVF::LeakChecker::initSrcs()'],['../classSVF_1_1SrcSnkDDA.html#a1c8f91ffa0b9f01d51c8cd5e14f076d5',1,'SVF::SrcSnkDDA::initSrcs()']]],
   ['initstats',['initStats',['../classSVF_1_1PersistentPointsToCache.html#ab19e4e17b1896565e0bada1f161d1266',1,'SVF::PersistentPointsToCache']]],
   ['initsymminfo',['initSymmInfo',['../cuddInt_8c.html#a16251e8ba5d258ae683665b47d2112e9',1,'cuddInt.c']]],
-  ['inittypeinfo',['initTypeInfo',['../classSVF_1_1SymbolTableInfo.html#a96067de8a2425b4f4c227fd7e472071d',1,'SVF::SymbolTableInfo']]],
+  ['inittypeinfo',['initTypeInfo',['../classSVF_1_1MemModelBuilder.html#a73c96940a305e8ef5473d5b91c361254',1,'SVF::MemModelBuilder']]],
   ['initworklist',['initWorklist',['../classSVF_1_1Andersen.html#a9075cd05cb21e0f08a1109b7af6c7480',1,'SVF::Andersen::initWorklist()'],['../classSVF_1_1WPASolver.html#a7195381c3aab04890139b4fe2c561909',1,'SVF::WPASolver::initWorklist()']]],
   ['inputfilename',['InputFilename',['../dda_8cpp.html#a17d2e24d913aaa7484a3e226255019b7',1,'InputFilename(cl::Positional, cl::desc("<input bitcode>"), cl::init("-")): dda.cpp'],['../svf-ex_8cpp.html#a2d332c504284f0bc181289ee67479845',1,'InputFilename(cl::Positional, llvm::cl::desc("<input bitcode>"), llvm::cl::init("-")): svf-ex.cpp'],['../mta_8cpp.html#a2d332c504284f0bc181289ee67479845',1,'InputFilename(cl::Positional, llvm::cl::desc("<input bitcode>"), llvm::cl::init("-")): mta.cpp'],['../saber_8cpp.html#a2d332c504284f0bc181289ee67479845',1,'InputFilename(cl::Positional, llvm::cl::desc("<input bitcode>"), llvm::cl::init("-")): saber.cpp'],['../wpa_8cpp.html#a2d332c504284f0bc181289ee67479845',1,'InputFilename(cl::Positional, llvm::cl::desc("<input bitcode>"), llvm::cl::init("-")): wpa.cpp']]],
   ['insamecallgraphscc',['inSameCallGraphSCC',['../classSVF_1_1PointerAnalysis.html#ae58c2b25494ec51e714c83c6cfd5dd67',1,'SVF::PointerAnalysis::inSameCallGraphSCC()'],['../classSVF_1_1TCT.html#a95cd490d37f8831edc6910f7ecdf413e',1,'SVF::TCT::inSameCallGraphSCC()']]],

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

@@ -28,6 +28,7 @@ var searchData=
   ['memchr',['memchr',['../util_8h.html#a550ca98f8f3cd9b4dc549d9391f7dab0',1,'util.h']]],
   ['memcmp',['memcmp',['../util_8h.html#a65c3e6b23d6855c86acaf147853c82cc',1,'util.h']]],
   ['memcpy',['memcpy',['../util_8h.html#a13050899d2d81aa69b56529e7264e238',1,'util.h']]],
+  ['memmodelbuilder',['MemModelBuilder',['../classSVF_1_1MemModelBuilder.html#ac896e9141fbfa54bb019df4689a2c05e',1,'SVF::MemModelBuilder']]],
   ['memmove',['memmove',['../util_8h.html#afb434ca60c6699bb20fd11a71be5b0e0',1,'util.h']]],
   ['memobj',['MemObj',['../classSVF_1_1MemObj.html#afc62b5dbcaf790e561c852f567ca5bd1',1,'SVF::MemObj']]],
   ['memregion',['MemRegion',['../classSVF_1_1MemRegion.html#a1d8189977196da687f50cfa6df98394b',1,'SVF::MemRegion']]],

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

@@ -41,7 +41,7 @@ var searchData=
   ['plainmap',['plainMap',['../classSVF_1_1FlowSensitive.html#a5a8688102f3675cf414b01dc2ae51c6b',1,'SVF::FlowSensitive']]],
   ['pmx',['PMX',['../cuddInt_8c.html#a6e6108316d27c8e3b393f65362e5e37b',1,'cuddInt.c']]],
   ['pointeranalysis',['PointerAnalysis',['../classSVF_1_1PointerAnalysis.html#af42ef08568b1fa892f8f98c4421a0477',1,'SVF::PointerAnalysis']]],
-  ['pointsto',['pointsTo',['../classSVF_1_1CondPointsToSet.html#a63f09ca69e00b317de29af6a6a12daac',1,'SVF::CondPointsToSet::pointsTo(void)'],['../classSVF_1_1CondPointsToSet.html#ada240bc77570174a1d17ac097583fa78',1,'SVF::CondPointsToSet::pointsTo(void) const'],['../classSVF_1_1CondPointsToSet.html#a03311162626acf16ad05b7b93248a92b',1,'SVF::CondPointsToSet::pointsTo(Cond cond) const'],['../classSVF_1_1CondPointsToSet.html#a8775ef2c073af6c8055c3f5b0035288f',1,'SVF::CondPointsToSet::pointsTo(Cond cond)'],['../classSVF_1_1PointsTo.html#a05aa807f21f311eb50ff11dde98b8d22',1,'SVF::PointsTo::PointsTo(void)'],['../classSVF_1_1PointsTo.html#acef2d3e41263aef641c3411e28ad445c',1,'SVF::PointsTo::PointsTo(const PointsTo &pt)'],['../classSVF_1_1PointsTo.html#a5ecef616428a70e8e7726406dfb43544',1,'SVF::PointsTo::PointsTo(PointsTo &&pt)']]],
+  ['pointsto',['PointsTo',['../classSVF_1_1PointsTo.html#a05aa807f21f311eb50ff11dde98b8d22',1,'SVF::PointsTo::PointsTo(void)'],['../classSVF_1_1PointsTo.html#acef2d3e41263aef641c3411e28ad445c',1,'SVF::PointsTo::PointsTo(const PointsTo &pt)'],['../classSVF_1_1PointsTo.html#a5ecef616428a70e8e7726406dfb43544',1,'SVF::PointsTo::PointsTo(PointsTo &&pt)'],['../classSVF_1_1CondPointsToSet.html#a63f09ca69e00b317de29af6a6a12daac',1,'SVF::CondPointsToSet::pointsTo(void)'],['../classSVF_1_1CondPointsToSet.html#ada240bc77570174a1d17ac097583fa78',1,'SVF::CondPointsToSet::pointsTo(void) const'],['../classSVF_1_1CondPointsToSet.html#a03311162626acf16ad05b7b93248a92b',1,'SVF::CondPointsToSet::pointsTo(Cond cond) const'],['../classSVF_1_1CondPointsToSet.html#a8775ef2c073af6c8055c3f5b0035288f',1,'SVF::CondPointsToSet::pointsTo(Cond cond)']]],
   ['pointstoiterator',['PointsToIterator',['../classSVF_1_1PointsTo_1_1PointsToIterator.html#a3974dee7680da3a43b58932766e77a16',1,'SVF::PointsTo::PointsToIterator::PointsToIterator(void)=delete'],['../classSVF_1_1PointsTo_1_1PointsToIterator.html#a19f371ccb5b1c84fb4adfd5b0c8a3eec',1,'SVF::PointsTo::PointsToIterator::PointsToIterator(const PointsToIterator &pt)'],['../classSVF_1_1PointsTo_1_1PointsToIterator.html#abe128c47fb16093756195f789e5f68d5',1,'SVF::PointsTo::PointsToIterator::PointsToIterator(PointsToIterator &&pt)'],['../classSVF_1_1PointsTo_1_1PointsToIterator.html#ad9efcd9fb0c8201b9166a1560d06a71b',1,'SVF::PointsTo::PointsToIterator::PointsToIterator(const PointsTo *pt, bool end=false)']]],
   ['pop',['pop',['../classSVF_1_1List.html#a6e85bd3d8b23ccc7752a72e2a5b171ab',1,'SVF::List::pop()'],['../classSVF_1_1FIFOWorkList.html#a8fa72918fce7e9c0b2dc34b683a797c6',1,'SVF::FIFOWorkList::pop()'],['../classSVF_1_1FILOWorkList.html#a3fd9acb6d09fd142bfd402fdf8cac93b',1,'SVF::FILOWorkList::pop()']]],
   ['popen',['popen',['../util_8h.html#a7a377e01cff8d8243569ddc8bfef959b',1,'util.h']]],

package/SVF-doxygen/html/html/search/related_3.js

@@ -1,5 +1,6 @@
 var searchData=
 [
+  ['memmodelbuilder',['MemModelBuilder',['../classSVF_1_1SymbolTableInfo.html#a43c3e140a49b8e5feb0630049b4e7475',1,'SVF::SymbolTableInfo']]],
   ['mtasvfgbuilder',['MTASVFGBuilder',['../classSVF_1_1SVFG.html#ac0e43f4a2043538c9046f95826caa725',1,'SVF::SVFG']]],
   ['mutabledfptdata_3c_20key_2c_20keyset_2c_20data_2c_20dataset_20_3e',['MutableDFPTData< Key, KeySet, Data, DataSet >',['../classSVF_1_1MutablePTData.html#ad92cfe345043b1bc8d6c7a03df43310f',1,'SVF::MutablePTData']]]
 ];

package/SVF-doxygen/html/html/search/variables_13.js

@@ -85,7 +85,7 @@ var searchData=
   ['svfmain',['SVFMain',['../classSVF_1_1Options.html#a868fa5069b01b7a7dfbc5fb99cb76385',1,'SVF::Options']]],
   ['svfmod',['svfMod',['../classSVF_1_1PointerAnalysis.html#a7e8b3f6843e5ea75fd189162d2cd60a5',1,'SVF::PointerAnalysis::svfMod()'],['../classSVF_1_1CHGraph.html#a62a3ccdbc55381d5f8d96dc23141f2e5',1,'SVF::CHGraph::svfMod()'],['../classSVF_1_1PAGBuilder.html#a7c197702fff05b1b6cd744b70a4a278c',1,'SVF::PAGBuilder::svfMod()']]],
   ['svfmodule',['svfModule',['../classSVF_1_1DCHGraph.html#a85a3c9a6a60a4379717773f8722ae42e',1,'SVF::DCHGraph::svfModule()'],['../classSVF_1_1LLVMModuleSet.html#a43832e93a42ae43d44b0cc160981678f',1,'SVF::LLVMModuleSet::svfModule()']]],
-  ['syminfo',['symInfo',['../classSVF_1_1PAG.html#acebd1174f9bbeeb35ccfdf87a8f0998a',1,'SVF::PAG::symInfo()'],['../classSVF_1_1SymbolTableInfo.html#a4fbb8ea4b4796d10d13c027b7455505c',1,'SVF::SymbolTableInfo::symInfo()']]],
+  ['syminfo',['symInfo',['../classSVF_1_1PAG.html#acebd1174f9bbeeb35ccfdf87a8f0998a',1,'SVF::PAG::symInfo()'],['../classSVF_1_1MemModelBuilder.html#a9ac2873486cc2d9698d2d0c762119574',1,'SVF::MemModelBuilder::symInfo()'],['../classSVF_1_1SymbolTableInfo.html#a4fbb8ea4b4796d10d13c027b7455505c',1,'SVF::SymbolTableInfo::symInfo()']]],
   ['symmviolation',['symmviolation',['../structDdManager.html#a4a8e54350702f269411399762cb958e1',1,'DdManager']]],
   ['symtabprint',['SymTabPrint',['../classSVF_1_1Options.html#abbfd1d7e985483c486394d8db85b6a85',1,'SVF::Options']]],
   ['symtymap',['symTyMap',['../classSVF_1_1SymbolTableInfo.html#a2680e554af6153cbe8521425c1fbb123',1,'SVF::SymbolTableInfo']]]

package/SVF-doxygen/html/html/search/variables_14.js

@@ -26,13 +26,13 @@ var searchData=
   ['timelimit',['timeLimit',['../structDdManager.html#a6c14f932c4a66c6234e6b19bd8b6647f',1,'DdManager']]],
   ['timeofcollapse',['timeOfCollapse',['../classSVF_1_1AndersenBase.html#ad40b196c2c699bd115529b806d20de25',1,'SVF::AndersenBase']]],
   ['timeofcreatemuchi',['timeOfCreateMUCHI',['../classSVF_1_1MemSSA.html#a4d2418b7df74f23d8fd328f66e29f198',1,'SVF::MemSSA::timeOfCreateMUCHI()'],['../classSVF_1_1MemSSAStat.html#a48c70f0ed1c7d031a3cd528035162e52',1,'SVF::MemSSAStat::TimeOfCreateMUCHI()']]],
-  ['timeofgeneratingmemregions',['TimeOfGeneratingMemRegions',['../classSVF_1_1MemSSAStat.html#a74c36654b7452aa94aa241881f0a83c5',1,'SVF::MemSSAStat::TimeOfGeneratingMemRegions()'],['../classSVF_1_1MemSSA.html#a37dca8a7d155de4870358146d219b5e5',1,'SVF::MemSSA::timeOfGeneratingMemRegions()']]],
-  ['timeofinsertingphi',['TimeOfInsertingPHI',['../classSVF_1_1MemSSAStat.html#a0c24822c8549af6a96e82312954fab9b',1,'SVF::MemSSAStat::TimeOfInsertingPHI()'],['../classSVF_1_1MemSSA.html#a3c7b5fa73fdc7c805ee3673fbe812b44',1,'SVF::MemSSA::timeOfInsertingPHI()']]],
+  ['timeofgeneratingmemregions',['timeOfGeneratingMemRegions',['../classSVF_1_1MemSSA.html#a37dca8a7d155de4870358146d219b5e5',1,'SVF::MemSSA::timeOfGeneratingMemRegions()'],['../classSVF_1_1MemSSAStat.html#a74c36654b7452aa94aa241881f0a83c5',1,'SVF::MemSSAStat::TimeOfGeneratingMemRegions()']]],
+  ['timeofinsertingphi',['timeOfInsertingPHI',['../classSVF_1_1MemSSA.html#a3c7b5fa73fdc7c805ee3673fbe812b44',1,'SVF::MemSSA::timeOfInsertingPHI()'],['../classSVF_1_1MemSSAStat.html#a0c24822c8549af6a96e82312954fab9b',1,'SVF::MemSSAStat::TimeOfInsertingPHI()']]],
   ['timeofprocesscopygep',['timeOfProcessCopyGep',['../classSVF_1_1AndersenBase.html#aae14de6fbca9280d8d0290326aa493f0',1,'SVF::AndersenBase']]],
   ['timeofprocessloadstore',['timeOfProcessLoadStore',['../classSVF_1_1AndersenBase.html#a9fe738f1e11c80006d540f246a80bfdf',1,'SVF::AndersenBase']]],
   ['timeofsccdetection',['timeOfSCCDetection',['../classSVF_1_1AndersenBase.html#a6b7d0e57f741c446d0bf178939960143',1,'SVF::AndersenBase']]],
   ['timeofsccmerges',['timeOfSCCMerges',['../classSVF_1_1AndersenBase.html#a02c5a50b214d36921e1404784e76704d',1,'SVF::AndersenBase']]],
-  ['timeofssarenaming',['timeOfSSARenaming',['../classSVF_1_1MemSSA.html#a97ccd5e0b9ab6144415e26bdf95cbabd',1,'SVF::MemSSA::timeOfSSARenaming()'],['../classSVF_1_1MemSSAStat.html#a887ff23a7ea1a18f08b1744ff30da773',1,'SVF::MemSSAStat::TimeOfSSARenaming()']]],
+  ['timeofssarenaming',['TimeOfSSARenaming',['../classSVF_1_1MemSSAStat.html#a887ff23a7ea1a18f08b1744ff30da773',1,'SVF::MemSSAStat::TimeOfSSARenaming()'],['../classSVF_1_1MemSSA.html#a97ccd5e0b9ab6144415e26bdf95cbabd',1,'SVF::MemSSA::timeOfSSARenaming()']]],
   ['timeofupdatecallgraph',['timeOfUpdateCallGraph',['../classSVF_1_1AndersenBase.html#a2afb49f513c9534fd051117b59dc056b',1,'SVF::AndersenBase']]],
   ['timestatmap',['timeStatMap',['../classSVF_1_1PTAStat.html#a3724756ac0527ba3d199be32e38c6337',1,'SVF::PTAStat']]],
   ['tlptdata',['tlPTData',['../classSVF_1_1MutableVersionedPTData.html#a01974968b7cf60a4231cc83c93b26d7f',1,'SVF::MutableVersionedPTData::tlPTData()'],['../classSVF_1_1PersistentVersionedPTData.html#a29104a2d53d94805e142f778d3d21ad5',1,'SVF::PersistentVersionedPTData::tlPTData()']]],

package/SVF-doxygen/html/html/search/variables_15.js

@@ -9,7 +9,7 @@ var searchData=
   ['uniqueunions',['uniqueUnions',['../classSVF_1_1PersistentPointsToCache.html#aacebdd87b1dd45250391d035b032f9d4',1,'SVF::PersistentPointsToCache']]],
   ['univ',['univ',['../structDdManager.html#ab21d56989b9a13502aeb84228de45df0',1,'DdManager']]],
   ['unlocksites',['unlocksites',['../classSVF_1_1LockAnalysis.html#aec459af1d1624df55ffc95cd75655780',1,'SVF::LockAnalysis']]],
-  ['updatecallgraphtime',['updateCallGraphTime',['../classSVF_1_1FlowSensitive.html#afc140b6c8e78dc2d962f64fdf53b1e07',1,'SVF::FlowSensitive::updateCallGraphTime()'],['../classSVF_1_1PTAStat.html#a8aedfeb35f76e6d33135637156468894',1,'SVF::PTAStat::UpdateCallGraphTime()']]],
+  ['updatecallgraphtime',['UpdateCallGraphTime',['../classSVF_1_1PTAStat.html#a8aedfeb35f76e6d33135637156468894',1,'SVF::PTAStat::UpdateCallGraphTime()'],['../classSVF_1_1FlowSensitive.html#afc140b6c8e78dc2d962f64fdf53b1e07',1,'SVF::FlowSensitive::updateCallGraphTime()']]],
   ['updatetime',['updateTime',['../classSVF_1_1FlowSensitive.html#af5a94d14096ae2bbc47b3b3b9f723226',1,'SVF::FlowSensitive']]],
   ['usedregs',['usedRegs',['../classSVF_1_1MemSSA.html#acf840b71b67cabe831f01f2d358f27fa',1,'SVF::MemSSA']]],
   ['usepcg',['UsePCG',['../classSVF_1_1Options.html#af2f66307e1d51947676f622c98ef0762',1,'SVF::Options']]],

package/SVF-doxygen/html/html/search/variables_d.js

@@ -39,7 +39,7 @@ var searchData=
   ['maxpointstosetsize',['MaxPointsToSetSize',['../classSVF_1_1PTAStat.html#af2b45aab2eee96a1cabba3025e4375a2',1,'SVF::PTAStat::MaxPointsToSetSize()'],['../classSVF_1_1AndersenBase.html#a7cfafe54d564c9401f435362d44d3f9c',1,'SVF::AndersenBase::MaxPointsToSetSize()']]],
   ['maxreorderings',['maxReorderings',['../structDdManager.html#a61170edf6d08bb1c4bacab68823a825d',1,'DdManager']]],
   ['maxsccsize',['maxSCCSize',['../classSVF_1_1FlowSensitive.html#a90deaa3c1afa762f568ceab0fe174353',1,'SVF::FlowSensitive']]],
-  ['maxsize',['maxsize',['../structDdHashTable.html#aba376a6d310dcead9f74cfc459f4a248',1,'DdHashTable::maxsize()'],['../structDdLevelQueue.html#acb7146e9f3dd73a052340c0e4010e6b6',1,'DdLevelQueue::maxsize()'],['../structDdManager.html#aa4d0701dc4e6f11b30085ae30c09fab6',1,'DdManager::maxSize()']]],
+  ['maxsize',['maxSize',['../structDdManager.html#aa4d0701dc4e6f11b30085ae30c09fab6',1,'DdManager::maxSize()'],['../structDdHashTable.html#aba376a6d310dcead9f74cfc459f4a248',1,'DdHashTable::maxsize()'],['../structDdLevelQueue.html#acb7146e9f3dd73a052340c0e4010e6b6',1,'DdLevelQueue::maxsize()']]],
   ['maxsizez',['maxSizeZ',['../structDdManager.html#a4a0b8f95d02bc99557fb55140e9b0963',1,'DdManager']]],
   ['maxslots',['maxslots',['../structDdLocalCache.html#af4379636b29a9bfe4a55708ac637545a',1,'DdLocalCache']]],
   ['maxstepinwrapper',['MaxStepInWrapper',['../classSVF_1_1Options.html#a0b82f16ee0c7e6566a6ae20662525e84',1,'SVF::Options']]],

package/SVF-doxygen/html/html/search/variables_e.js

@@ -70,7 +70,7 @@ var searchData=
   ['numofentrychi',['NumOfEntryChi',['../classSVF_1_1MemSSAStat.html#ad96437d0c28f8088c711a718d2f2730e',1,'SVF::MemSSAStat']]],
   ['numofentrynodes',['numOfEntryNodes',['../classSVF_1_1ICFGStat.html#ad37793e64fe58a8faba201c18d876685',1,'SVF::ICFGStat']]],
   ['numofexitnodes',['numOfExitNodes',['../classSVF_1_1ICFGStat.html#ad7e00680fb8ca31afbd166f9a4adc5ec',1,'SVF::ICFGStat']]],
-  ['numoffieldexpand',['numOfFieldExpand',['../classSVF_1_1AndersenBase.html#ad21fc4e60abc4e6030880f8197e1c93f',1,'SVF::AndersenBase::numOfFieldExpand()'],['../classSVF_1_1PTAStat.html#a1745e5c3c026a130a70954da9c0074b1',1,'SVF::PTAStat::NumOfFieldExpand()']]],
+  ['numoffieldexpand',['NumOfFieldExpand',['../classSVF_1_1PTAStat.html#a1745e5c3c026a130a70954da9c0074b1',1,'SVF::PTAStat::NumOfFieldExpand()'],['../classSVF_1_1AndersenBase.html#ad21fc4e60abc4e6030880f8197e1c93f',1,'SVF::AndersenBase::numOfFieldExpand()']]],
   ['numofformalin',['numOfFormalIn',['../classSVF_1_1SVFGStat.html#abc5e079242666bb55ec7dbc7f258b3db',1,'SVF::SVFGStat']]],
   ['numofformalout',['numOfFormalOut',['../classSVF_1_1SVFGStat.html#ab20900eb0ecb0d2e1e601755848ac531',1,'SVF::SVFGStat']]],
   ['numofformalparam',['numOfFormalParam',['../classSVF_1_1SVFGStat.html#a1e9ddd5678b05e145af41a6d53f47748',1,'SVF::SVFGStat']]],
@@ -139,7 +139,7 @@ var searchData=
   ['numofretnodes',['numOfRetNodes',['../classSVF_1_1ICFGStat.html#ac9bfce40c058ed7ab178fe1f1818e9de',1,'SVF::ICFGStat']]],
   ['numofreturns',['NumOfReturns',['../classSVF_1_1PTAStat.html#a0a552611fcd20e1310290bdae404a514',1,'SVF::PTAStat']]],
   ['numofscc',['numOfSCC',['../classSVF_1_1FlowSensitive.html#ab6c2494ca36cefb5409c5c20befb326f',1,'SVF::FlowSensitive']]],
-  ['numofsccdetection',['NumOfSCCDetection',['../classSVF_1_1PTAStat.html#ad1731b88c24bb79728f62cd3e9c55699',1,'SVF::PTAStat::NumOfSCCDetection()'],['../classSVF_1_1AndersenBase.html#a6da6e1231a46fde6925493045b8b2490',1,'SVF::AndersenBase::numOfSCCDetection()']]],
+  ['numofsccdetection',['numOfSCCDetection',['../classSVF_1_1AndersenBase.html#a6da6e1231a46fde6925493045b8b2490',1,'SVF::AndersenBase::numOfSCCDetection()'],['../classSVF_1_1PTAStat.html#ad1731b88c24bb79728f62cd3e9c55699',1,'SVF::PTAStat::NumOfSCCDetection()']]],
   ['numofsfr',['NumOfSfr',['../classSVF_1_1PTAStat.html#a07a1db62ddba50bda787b2985ef8d135',1,'SVF::PTAStat']]],
   ['numofsfrs',['numOfSfrs',['../classSVF_1_1AndersenBase.html#aa31bc83cdeaa30dd0975976e29a5be12',1,'SVF::AndersenBase']]],
   ['numofstackobjs',['NumOfStackObjs',['../classSVF_1_1PTAStat.html#ae05503909688a17dc1f282d1d029d24e',1,'SVF::PTAStat']]],

package/include/SVF-FE/MemModelBuilder.h

@@ -0,0 +1,102 @@
+//===- LocMemModel.h -- Memory model builder-----------------------//
+//
+//                     SVF: Static Value-Flow Analysis
+//
+// Copyright (C) <2013-2017>  <Yulei Sui>
+//
+
+// This program is free software: you can redistribute it and/or modify
+// it under the terms of the GNU General Public License as published by
+// the Free Software Foundation, either version 3 of the License, or
+// (at your option) any later version.
+
+// This program is distributed in the hope that it will be useful,
+// but WITHOUT ANY WARRANTY; without even the implied warranty of
+// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+// GNU General Public License for more details.
+
+// You should have received a copy of the GNU General Public License
+// along with this program.  If not, see <http://www.gnu.org/licenses/>.
+//
+//===----------------------------------------------------------------------===//
+
+/*
+ * MemModelBuilder.h
+ *
+ *  Created on: Apr 28, 2014
+ *      Author: Yulei
+ */
+
+#ifndef MEMMODELBUILDER_H_
+#define MEMMODELBUILDER_H_
+
+#include "MemoryModel/MemModel.h"
+#include "SVF-FE/LLVMModule.h"
+#include "SVF-FE/SymbolTableInfo.h"
+
+/*
+* This class is to build SymbolTableInfo, MemObjs and ObjTypeInfo
+*/
+namespace SVF
+{
+
+class MemModelBuilder 
+{
+
+private:
+    SymbolTableInfo* symInfo;
+
+public:
+    /// Constructor
+    MemModelBuilder(SymbolTableInfo* si): symInfo(si){
+
+    }
+
+    /// Start building memory model
+    void buildMemModel(SVFModule* svfModule);
+
+    /// collect the syms
+    //@{
+    void collectSym(const Value *val);
+
+    void collectVal(const Value *val);
+
+    void collectObj(const Value *val);
+
+    void collectRet(const Function *val);
+
+    void collectVararg(const Function *val);
+    //@}
+
+    /// Handle constant expression
+    // @{
+    void handleGlobalCE(const GlobalVariable *G);
+    void handleGlobalInitializerCE(const Constant *C, u32_t offset);
+    void handleCE(const Value *val);
+    // @}
+
+
+    //     /// Collect the struct info
+    // virtual void collectStructInfo(const StructType *T);
+    // /// Collect the array info
+    // virtual void collectArrayInfo(const ArrayType* T);
+    // /// Collect simple type (non-aggregate) info
+    // virtual void collectSimpleTypeInfo(const Type* T);
+
+    /// Create an objectInfo based on LLVM value
+    ObjTypeInfo* createObjTypeInfo(const Value *val);
+    /// Create an objectInfo based on LLVM type (value is null, and type could be null, representing a dummy object)
+    // ObjTypeInfo* createObjTypeInfo(const Type *type = nullptr);
+
+    /// Initialize TypeInfo based on LLVM Value
+    void initTypeInfo(ObjTypeInfo* typeinfo, const Value* value);
+    /// Analyse types of all flattened fields of this object
+    void analyzeGlobalStackObjType(ObjTypeInfo* typeinfo, const Value* val);
+    /// Return size of this object based on LLVM value
+    u32_t getObjSize(const Value* val);
+
+};
+
+}
+
+#endif /* MEMMODELBUILDER_H_ */

package/include/SVF-FE/SymbolTableInfo.h

@@ -42,6 +42,8 @@ namespace SVF
 class SymbolTableInfo
 {
 
+friend class MemModelBuilder;
+
 public:
     /// various maps defined
     //{@
@@ -142,6 +144,11 @@ public:
     {
         return mod;
     }
+        /// Module
+    inline void setModule(SVFModule* m)
+    {
+        mod = m;
+    }
 
     /// Get target machine data layout
     inline static DataLayout* getDataLayout(Module* mod)
@@ -157,22 +164,6 @@ public:
     u32_t getTypeSizeInBytes(const StructType *sty, u32_t field_index);
     //@}
 
-    /// Start building memory model
-    void buildMemModel(SVFModule* svfModule);
-
-    /// collect the syms
-    //@{
-    void collectSym(const Value *val);
-
-    void collectVal(const Value *val);
-
-    void collectObj(const Value *val);
-
-    void collectRet(const Function *val);
-
-    void collectVararg(const Function *val);
-    //@}
-
     /// special value
     // @{
     static bool isNullPtrSym(const Value *val);
@@ -248,13 +239,6 @@ public:
     }
     // @}
 
-    /// Handle constant expression
-    // @{
-    void handleGlobalCE(const GlobalVariable *G);
-    void handleGlobalInitializerCE(const Constant *C, u32_t offset);
-    void handleCE(const Value *val);
-    // @}
-
     /// Get different kinds of syms
     //@{
     SymID getValSym(const Value *val)
@@ -433,18 +417,9 @@ protected:
     /// Collect simple type (non-aggregate) info
     virtual void collectSimpleTypeInfo(const Type* T);
 
-    /// Create an objectInfo based on LLVM value
-    ObjTypeInfo* createObjTypeInfo(const Value *val);
     /// Create an objectInfo based on LLVM type (value is null, and type could be null, representing a dummy object)
     ObjTypeInfo* createObjTypeInfo(const Type *type = nullptr);
 
-    /// Initialize TypeInfo based on LLVM Value
-    void initTypeInfo(ObjTypeInfo* typeinfo, const Value* value);
-    /// Analyse types of all flattened fields of this object
-    void analyzeGlobalStackObjType(ObjTypeInfo* typeinfo, const Value* val);
-    /// Return size of this object based on LLVM value
-    u32_t getObjSize(const Value* val);
-
     /// Every type T is mapped to StInfo
     /// which contains size (fsize) , offset(foffset)
     /// fsize[i] is the number of fields in the largest such struct, else fsize[i] = 1.

package/include/Util/NodeIDAllocator.h

@@ -68,7 +68,7 @@ public:
     NodeID allocateValueId(void);
 
     /// Notify the allocator that all symbols have had IDs allocated.
-    void endSymbolAllocation(void);
+    NodeID endSymbolAllocation(void);
 
     /// Returns the total number of memory objects.
     NodeID getNumObjects(void) const { return numObjects; }