svf-tools 1.0.481 → 1.0.482

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

@@ -77,10 +77,6 @@ var searchData=
   ['addcandidate',['addCandidate',['../classSVF_1_1DDAClient.html#a7c07d9527011ea0165038e3a112a85d8',1,'SVF::DDAClient']]],
   ['addcfledge',['addCFLEdge',['../classSVF_1_1CFLGraph.html#a9eea8083dbeaf898948595b1d75cfee2',1,'SVF::CFLGraph']]],
   ['addcflnode',['addCFLNode',['../classSVF_1_1CFLGraph.html#a58b944d0f2c11868e17223acdb35f82c',1,'SVF::CFLGraph']]],
-  ['addclone',['addClone',['../classSVF_1_1TypeBasedHeapCloning.html#ae83ef821386b3fd4b86f29477cdda3e1',1,'SVF::TypeBasedHeapCloning']]],
-  ['addclonedummyobjnode',['addCloneDummyObjNode',['../classSVF_1_1TypeBasedHeapCloning.html#ac6ebb2fd24fc4272faf5db6ddd1e464b',1,'SVF::TypeBasedHeapCloning']]],
-  ['addclonefiobjnode',['addCloneFIObjNode',['../classSVF_1_1TypeBasedHeapCloning.html#a83fb1e2a7b66d5f33fa34698a52250af',1,'SVF::TypeBasedHeapCloning']]],
-  ['addclonegepobjnode',['addCloneGepObjNode',['../classSVF_1_1TypeBasedHeapCloning.html#a16ad9c601a044731b982305a177dbda3',1,'SVF::TypeBasedHeapCloning']]],
   ['addcmpedge',['addCmpEdge',['../classSVF_1_1SVFIRBuilder.html#a4e1d75ac5f54872762460c86a67de3a6',1,'SVF::SVFIRBuilder']]],
   ['addcmpstmt',['addCmpStmt',['../classSVF_1_1SVFIR.html#a7eb14738f0cf08cc8b5c623c953db4ba',1,'SVF::SVFIR']]],
   ['addcmpvfgnode',['addCmpVFGNode',['../classSVF_1_1VFG.html#a6c2280052b44ff7029cf4b98712c374b',1,'SVF::VFG']]],
@@ -142,7 +138,6 @@ var searchData=
   ['addgepedge',['addGepEdge',['../classSVF_1_1SVFIRBuilder.html#ac70a2368d5e0d3fe4dff94fecb2455ef',1,'SVF::SVFIRBuilder']]],
   ['addgepobjnode',['addGepObjNode',['../classSVF_1_1SVFIR.html#a1ac1e7752e98abff7054f4caa709260d',1,'SVF::SVFIR']]],
   ['addgepstmt',['addGepStmt',['../classSVF_1_1SVFIR.html#a9eeab593b2f161ad268d27a7031aedbe',1,'SVF::SVFIR']]],
-  ['addgeptoobj',['addGepToObj',['../classSVF_1_1TypeBasedHeapCloning.html#ad07fb204258fccda89053514338e3804',1,'SVF::TypeBasedHeapCloning']]],
   ['addgepvalnode',['addGepValNode',['../classSVF_1_1SVFIR.html#a781ffc0194fd501dcb34f1892a393c33',1,'SVF::SVFIR']]],
   ['addgepvfgnode',['addGepVFGNode',['../classSVF_1_1VFG.html#a4fb321fb0ff2a06c1065506552b862aa',1,'SVF::VFG']]],
   ['addglobalblackholeaddredge',['addGlobalBlackHoleAddrEdge',['../classSVF_1_1SVFIRBuilder.html#a55d8504dbc766c4ede031299a37417ef',1,'SVF::SVFIRBuilder']]],
@@ -343,7 +338,6 @@ var searchData=
   ['aliastestnoaliasmangled',['aliasTestNoAliasMangled',['../classSVF_1_1PointerAnalysis.html#a0e68883e2ee328315af29e59bb2008cd',1,'SVF::PointerAnalysis']]],
   ['aliastestpartialalias',['aliasTestPartialAlias',['../classSVF_1_1PointerAnalysis.html#a83b0a51d88fa7aadff6e9267765d07a5',1,'SVF::PointerAnalysis']]],
   ['aliastestpartialaliasmangled',['aliasTestPartialAliasMangled',['../classSVF_1_1PointerAnalysis.html#acbb517523fd30708ed1a93f306cd3545',1,'SVF::PointerAnalysis']]],
-  ['allctir',['allCTir',['../classSVF_1_1LLVMModuleSet.html#a4e125a4acf17d42a24576df6499eb491',1,'SVF::LLVMModuleSet']]],
   ['allglobals',['allGlobals',['../classSVF_1_1MRGenerator.html#af46b82e45aa1ecdfb397325971206541',1,'SVF::MRGenerator']]],
   ['alloc',['ALLOC',['../util_8h.html#a21755cdb11c76954a33c653579810f3a',1,'util.h']]],
   ['allocainst',['AllocaInst',['../SVF-FE_2BasicTypes_8h.html#a5e06fe1b4b25113ac322dbeda71055dc',1,'BasicTypes.h']]],
@@ -356,9 +350,8 @@ var searchData=
   ['allocator',['allocator',['../classSVF_1_1NodeIDAllocator.html#a67e85749e539ea34146b197668a4ea64',1,'SVF::NodeIDAllocator']]],
   ['allpairmhp',['AllPairMHP',['../classSVF_1_1Options.html#aa78f442ee8d7272e98396fd86dea4993',1,'SVF::Options']]],
   ['allpathreachablesolve',['AllPathReachableSolve',['../classSVF_1_1ProgSlice.html#aa7979418bed24fcecfc6fa04532cd586',1,'SVF::ProgSlice']]],
-  ['allreuse',['allReuse',['../classSVF_1_1FlowSensitiveTBHC.html#a734e01c66832346c61d4cda38db84f4a',1,'SVF::FlowSensitiveTBHC']]],
   ['alpha',['ALPHA',['../cuddInt_8c.html#af5abd28c44c29b7397c84f1fec4b1d84',1,'cuddInt.c']]],
-  ['analyze',['analyze',['../classSVF_1_1CFLAlias.html#afc6922e9f1965ed85ef87151e00f5311',1,'SVF::CFLAlias::analyze()'],['../classSVF_1_1ContextDDA.html#ac8fe1cb3af6048a28028f00bb87a5eba',1,'SVF::ContextDDA::analyze()'],['../classSVF_1_1FlowDDA.html#aa26f9b5ba2e51f904d8ede1db8584460',1,'SVF::FlowDDA::analyze()'],['../classSVF_1_1PointerAnalysis.html#ae1e217dc18be0ce70bee5ad930cb54c6',1,'SVF::PointerAnalysis::analyze()'],['../classSVF_1_1LockAnalysis.html#ad1516b6cb1dbd06b8dff04ae3c944621',1,'SVF::LockAnalysis::analyze()'],['../classSVF_1_1LockResultValidator.html#a88ff3ed1398a0b847d71a4c0352ed66d',1,'SVF::LockResultValidator::analyze()'],['../classSVF_1_1MHP.html#a02457fa6e3c85c897ec3b3d8db18cc4b',1,'SVF::MHP::analyze()'],['../classSVF_1_1MTAResultValidator.html#a462f1554e058b656861abfb0aa2e47ff',1,'SVF::MTAResultValidator::analyze()'],['../classSVF_1_1RaceResultValidator.html#ab8a261120a7f6520d22a6f5cdf2257e9',1,'SVF::RaceResultValidator::analyze()'],['../classSVF_1_1PCG.html#a50b677ec622247a464cee7f0f45c5a53',1,'SVF::PCG::analyze()'],['../classSVF_1_1SrcSnkDDA.html#ac12d813bcba4ec70de5e9048bbe16afc',1,'SVF::SrcSnkDDA::analyze()'],['../classSVF_1_1AndersenBase.html#a944966086ecb716184c8cdcc43db5751',1,'SVF::AndersenBase::analyze()'],['../classSVF_1_1FlowSensitive.html#a267f7198600dde3054feb40def7a6681',1,'SVF::FlowSensitive::analyze()'],['../classSVF_1_1FlowSensitiveTBHC.html#abcab6281cced08d90c92d67d43a37c2c',1,'SVF::FlowSensitiveTBHC::analyze()'],['../classSVF_1_1TypeAnalysis.html#a6073fc43443ceba8d77212ba04e483ef',1,'SVF::TypeAnalysis::analyze()']]],
+  ['analyze',['analyze',['../classSVF_1_1CFLAlias.html#afc6922e9f1965ed85ef87151e00f5311',1,'SVF::CFLAlias::analyze()'],['../classSVF_1_1ContextDDA.html#ac8fe1cb3af6048a28028f00bb87a5eba',1,'SVF::ContextDDA::analyze()'],['../classSVF_1_1FlowDDA.html#aa26f9b5ba2e51f904d8ede1db8584460',1,'SVF::FlowDDA::analyze()'],['../classSVF_1_1PointerAnalysis.html#ae1e217dc18be0ce70bee5ad930cb54c6',1,'SVF::PointerAnalysis::analyze()'],['../classSVF_1_1LockAnalysis.html#ad1516b6cb1dbd06b8dff04ae3c944621',1,'SVF::LockAnalysis::analyze()'],['../classSVF_1_1LockResultValidator.html#a88ff3ed1398a0b847d71a4c0352ed66d',1,'SVF::LockResultValidator::analyze()'],['../classSVF_1_1MHP.html#a02457fa6e3c85c897ec3b3d8db18cc4b',1,'SVF::MHP::analyze()'],['../classSVF_1_1MTAResultValidator.html#a462f1554e058b656861abfb0aa2e47ff',1,'SVF::MTAResultValidator::analyze()'],['../classSVF_1_1RaceResultValidator.html#ab8a261120a7f6520d22a6f5cdf2257e9',1,'SVF::RaceResultValidator::analyze()'],['../classSVF_1_1PCG.html#a50b677ec622247a464cee7f0f45c5a53',1,'SVF::PCG::analyze()'],['../classSVF_1_1SrcSnkDDA.html#ac12d813bcba4ec70de5e9048bbe16afc',1,'SVF::SrcSnkDDA::analyze()'],['../classSVF_1_1AndersenBase.html#a944966086ecb716184c8cdcc43db5751',1,'SVF::AndersenBase::analyze()'],['../classSVF_1_1FlowSensitive.html#a267f7198600dde3054feb40def7a6681',1,'SVF::FlowSensitive::analyze()'],['../classSVF_1_1TypeAnalysis.html#a6073fc43443ceba8d77212ba04e483ef',1,'SVF::TypeAnalysis::analyze()']]],
   ['analyzeforkjoinpair',['analyzeForkJoinPair',['../classSVF_1_1ForkJoinAnalysis.html#a16061e7c28e7a9177d9ab798c102b815',1,'SVF::ForkJoinAnalysis']]],
   ['analyzeheapobjtype',['analyzeHeapObjType',['../classSVF_1_1SymbolTableBuilder.html#a9fca576448cc1cb38c894a7ae3d9ec56',1,'SVF::SymbolTableBuilder']]],
   ['analyzeinterleaving',['analyzeInterleaving',['../classSVF_1_1MHP.html#adfd90a8d20d630bc3813f5ed71d3abf7',1,'SVF::MHP']]],

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

@@ -9,7 +9,7 @@ var searchData=
   ['pagedge',['pagEdge',['../classSVF_1_1StmtVFGNode.html#ab5f48de8258f92bb7b9d411e178beb49',1,'SVF::StmtVFGNode::pagEdge()'],['../namespaceSVF.html#ae6ead95a66f69e1e4cfa1159f868a152',1,'SVF::PAGEdge()']]],
   ['pagedges',['pagEdges',['../classSVF_1_1ICFGNode.html#a12ce3aabc1bd3bae7caa9be9ec0a6a71',1,'SVF::ICFGNode']]],
   ['pagedgesetty',['PAGEdgeSetTy',['../classSVF_1_1SVFStmt.html#a2bdfa37167b5496629e5cae62705d5f2',1,'SVF::SVFStmt']]],
-  ['pagedgetofunmap',['PAGEdgeToFunMap',['../classSVF_1_1MRGenerator.html#a82be01b460a498c07fb6a8aba853ed31',1,'SVF::MRGenerator::PAGEdgeToFunMap()'],['../classSVF_1_1MRGenerator.html#ab250a4950269f57027d8e8ef10089f58',1,'SVF::MRGenerator::pagEdgeToFunMap()']]],
+  ['pagedgetofunmap',['pagEdgeToFunMap',['../classSVF_1_1MRGenerator.html#ab250a4950269f57027d8e8ef10089f58',1,'SVF::MRGenerator::pagEdgeToFunMap()'],['../classSVF_1_1MRGenerator.html#a82be01b460a498c07fb6a8aba853ed31',1,'SVF::MRGenerator::PAGEdgeToFunMap()']]],
   ['pagedgetosetmapty',['PAGEdgeToSetMapTy',['../classSVF_1_1SVFStmt.html#a229c78147511f2a581c761552179b6fa',1,'SVF::SVFStmt']]],
   ['pagedgetostmtvfgnodemap',['PAGEdgeToStmtVFGNodeMap',['../classSVF_1_1VFG.html#a462fe6eefc55a436f90f91adeb34726f',1,'SVF::VFG']]],
   ['pagedgetostmtvfgnodemapty',['PAGEdgeToStmtVFGNodeMapTy',['../classSVF_1_1VFG.html#ab37b067a59b52c472a284eabbeba43ff',1,'SVF::VFG']]],
@@ -37,7 +37,7 @@ var searchData=
   ['pagnodetounaryopvfgnodemap',['PAGNodeToUnaryOPVFGNodeMap',['../classSVF_1_1VFG.html#ac7083aa233d8e3820d6eb8e922f0c051',1,'SVF::VFG']]],
   ['pagnodetounaryopvfgnodemapty',['PAGNodeToUnaryOPVFGNodeMapTy',['../classSVF_1_1VFG.html#acfcd84ac6bedde4e7e74abdeb9233474',1,'SVF::VFG']]],
   ['pagprint',['PAGPrint',['../classSVF_1_1Options.html#a98df022c5da54ea30b3f0ce008d3ca80',1,'SVF::Options']]],
-  ['pagreadfromtxt',['pagReadFromTxt',['../classSVF_1_1SVFModule.html#a2547331e2c32b077d5876e609cb7f48f',1,'SVF::SVFModule::pagReadFromTxt()'],['../classSVF_1_1SVFModule.html#a1357c876eccedd58b3abe68875b3a570',1,'SVF::SVFModule::pagReadFromTXT()']]],
+  ['pagreadfromtxt',['pagReadFromTXT',['../classSVF_1_1SVFModule.html#a1357c876eccedd58b3abe68875b3a570',1,'SVF::SVFModule::pagReadFromTXT()'],['../classSVF_1_1SVFModule.html#a2547331e2c32b077d5876e609cb7f48f',1,'SVF::SVFModule::pagReadFromTxt()']]],
   ['pairheadmap',['pairheadmap',['../classSVF_1_1MTASVFGBuilder.html#af65f6553c6a7184401e249d777cd520e',1,'SVF::MTASVFGBuilder']]],
   ['pairindex',['pairIndex',['../structDdSubtable.html#a027d40eb603e409faef302acc952ca85',1,'DdSubtable']]],
   ['pairtailmap',['pairtailmap',['../classSVF_1_1MTASVFGBuilder.html#aa444ad49952922e1b862b75c4949de78',1,'SVF::MTASVFGBuilder']]],
@@ -118,7 +118,7 @@ var searchData=
   ['persptdataty',['PersPTDataTy',['../classSVF_1_1BVDataPTAImpl.html#ae3ba6392560e5c0978335151c3373fd1',1,'SVF::BVDataPTAImpl']]],
   ['persversioned',['PersVersioned',['../classSVF_1_1PTData.html#a74ce29609c51f2be34a0b5b7650a9848a15e53fc2443dac125c703ccd7eef1a03',1,'SVF::PTData']]],
   ['persversionedptdataty',['PersVersionedPTDataTy',['../classSVF_1_1BVDataPTAImpl.html#ae028ae29bdc799f35777b82a39faf5e8',1,'SVF::BVDataPTAImpl']]],
-  ['phi',['Phi',['../classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a6b3cd98eeb47c8475e7ee64480dcdee9',1,'SVF::SVFStmt::Phi()'],['../classSVF_1_1MemSSA.html#a8e948ea7778158107657fdd8195530e1',1,'SVF::MemSSA::PHI()']]],
+  ['phi',['PHI',['../classSVF_1_1MemSSA.html#a8e948ea7778158107657fdd8195530e1',1,'SVF::MemSSA::PHI()'],['../classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a6b3cd98eeb47c8475e7ee64480dcdee9',1,'SVF::SVFStmt::Phi()']]],
   ['phinode',['PHINode',['../SVF-FE_2BasicTypes_8h.html#a65732ea63bff4b444b225629ee7cf252',1,'BasicTypes.h']]],
   ['phinodemap',['phiNodeMap',['../classSVF_1_1SVFIR.html#a41abf665421dbfaef508b1eba0c91fb9',1,'SVF::SVFIR::phiNodeMap()'],['../classSVF_1_1SVFIR.html#a08a05dfa6b9734936bb92b3969dbce3b',1,'SVF::SVFIR::PHINodeMap()']]],
   ['phiset',['PHISet',['../classSVF_1_1SVFG.html#aef7ee9d802934d51b3761663bdaf0c05',1,'SVF::SVFG::PHISet()'],['../classSVF_1_1MemSSA.html#a8a5d3597f3dba9744e170cc8c32bf25f',1,'SVF::MemSSA::PHISet()']]],
@@ -138,7 +138,7 @@ var searchData=
   ['pointeranalysisimpl_2ecpp',['PointerAnalysisImpl.cpp',['../PointerAnalysisImpl_8cpp.html',1,'']]],
   ['pointeranalysisimpl_2eh',['PointerAnalysisImpl.h',['../PointerAnalysisImpl_8h.html',1,'']]],
   ['pointertype',['PointerType',['../structSVF_1_1SVFUtil_1_1cast__retty__impl_3_01To_00_01std_1_1unique__ptr_3_01From_01_4_01_4.html#a9d08abc346f3b77c487eba144f3cbd8d',1,'SVF::SVFUtil::cast_retty_impl< To, std::unique_ptr< From > >::PointerType()'],['../namespaceSVF.html#aa962cc1d782cc46553251e96b64a754b',1,'SVF::PointerType()']]],
-  ['pointsto',['PointsTo',['../classSVF_1_1PointsTo.html',1,'SVF::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',1,'SVF::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)']]],
   ['pointsto_2ecpp',['PointsTo.cpp',['../PointsTo_8cpp.html',1,'']]],
   ['pointsto_2eh',['PointsTo.h',['../PointsTo_8h.html',1,'']]],
   ['pointstoid',['PointsToID',['../namespaceSVF.html#ae545a88267bd2246de827cf590675aca',1,'SVF']]],
@@ -158,7 +158,6 @@ var searchData=
   ['postgchook',['postGCHook',['../structDdManager.html#a1aaf2a374903e2cc91c65730d0cfc2e1',1,'DdManager']]],
   ['postprocessnode',['postProcessNode',['../classSVF_1_1AndersenWaveDiff.html#aa0659a2787c1f9b1b6ec62900313475e',1,'SVF::AndersenWaveDiff']]],
   ['postreorderinghook',['postReorderingHook',['../structDdManager.html#a051721a550ae2f41b9838b8153d46b30',1,'DdManager']]],
-  ['ppag',['ppag',['../classSVF_1_1TypeBasedHeapCloning.html#a629ad3cef8929865b7319fb9e389f7bf',1,'SVF::TypeBasedHeapCloning']]],
   ['prebuffer',['prebuffer',['../cJSON_8h.html#a039dc262c2ae63f95cfe193245f8ee7e',1,'prebuffer(): cJSON.h'],['../cJSON_8cpp.html#a039dc262c2ae63f95cfe193245f8ee7e',1,'prebuffer(): cJSON.cpp']]],
   ['precise',['Precise',['../classSVF_1_1WPAPass.html#a4505a1882956feda3cf83c788149394daa6dd95cbf907a36a9ec001af338ec54c',1,'SVF::WPAPass']]],
   ['predicate',['predicate',['../classSVF_1_1CmpStmt.html#a26fc263da6ab3fee40a335d367419328',1,'SVF::CmpStmt']]],
@@ -193,7 +192,6 @@ var searchData=
   ['printcggraph',['PrintCGGraph',['../classSVF_1_1Options.html#a87516daebb3d1b5fee9037068d60e268',1,'SVF::Options']]],
   ['printch',['printCH',['../classSVF_1_1CHGraph.html#ae382d5bab69843bdb9424c4c6ff94140',1,'SVF::CHGraph']]],
   ['printcpts',['PrintCPts',['../classSVF_1_1Options.html#aee5e47ee3ca9bacb514f9dfbcb3abf24',1,'SVF::Options']]],
-  ['printctiraliasstats',['printCTirAliasStats',['../classSVF_1_1FlowSensitive.html#a023d0b492deaba40c593332cf1b2e3f6',1,'SVF::FlowSensitive']]],
   ['printdchg',['PrintDCHG',['../classSVF_1_1Options.html#adf6c289ef9f2d0196984dd4024ea4316',1,'SVF::Options']]],
   ['printexprvalues',['printExprValues',['../classSVF_1_1ExeState.html#aee8eece3daa2b7cbebb8dcde761931c2',1,'SVF::ExeState']]],
   ['printflattenfields',['printFlattenFields',['../classSVF_1_1SymbolTableInfo.html#aa40ff2fcaba3d4297d63269b74738737',1,'SVF::SymbolTableInfo']]],
@@ -204,7 +202,7 @@ var searchData=
   ['printinterlev',['PrintInterLev',['../classSVF_1_1Options.html#aa3e6c78eb346a52bbaaac2610573604a',1,'SVF::Options']]],
   ['printlocks',['printLocks',['../classSVF_1_1LockAnalysis.html#ac1b42b0a53feae04f848e5b0828ff01a',1,'SVF::LockAnalysis']]],
   ['printlockspan',['PrintLockSpan',['../classSVF_1_1Options.html#ab8a9641b660197b4421fbd6141858c58',1,'SVF::Options']]],
-  ['printpathcond',['printPathCond',['../classSVF_1_1PathCondAllocator.html#a2932b15ef74e46b676075ba1b2e82111',1,'SVF::PathCondAllocator::printPathCond()'],['../classSVF_1_1Options.html#ae6b763ff293381ed5da9b07c2e8ae496',1,'SVF::Options::PrintPathCond()']]],
+  ['printpathcond',['PrintPathCond',['../classSVF_1_1Options.html#ae6b763ff293381ed5da9b07c2e8ae496',1,'SVF::Options::PrintPathCond()'],['../classSVF_1_1PathCondAllocator.html#a2932b15ef74e46b676075ba1b2e82111',1,'SVF::PathCondAllocator::printPathCond()']]],
   ['printpts',['printPts',['../svf-ex_8cpp.html#ae004a620ad67220b6dd8212a2ad625a9',1,'svf-ex.cpp']]],
   ['printquerypts',['printQueryPTS',['../classSVF_1_1DDAPass.html#afc700bd3abb5d9199621741b9bd04f0f',1,'SVF::DDAPass::printQueryPTS()'],['../classSVF_1_1Options.html#aabfcfcd67df527cdf587aff5ecc26a10',1,'SVF::Options::PrintQueryPts()']]],
   ['printresults',['printResults',['../classSVF_1_1PCG.html#ab8a16eb34da91f2b7cd5a456653b1da0',1,'SVF::PCG']]],
@@ -213,7 +211,7 @@ var searchData=
   ['printstats',['printStats',['../classSVF_1_1PersistentPointsToCache.html#a7d101df4e73b8fbf9ec0df25190417b5',1,'SVF::PersistentPointsToCache::printStats()'],['../classSVF_1_1NodeIDAllocator_1_1Clusterer.html#ac10cbda6a84ce890c9946a5ff35800b7',1,'SVF::NodeIDAllocator::Clusterer::printStats()']]],
   ['printtdfuns',['printTDFuns',['../classSVF_1_1PCG.html#af8af0a2a2159261bf05abe226c43006e',1,'SVF::PCG']]],
   ['printvalidres',['PrintValidRes',['../classSVF_1_1Options.html#ac609142ee5a0caaf3ac51238ec421c2e',1,'SVF::Options']]],
-  ['processaddr',['processAddr',['../classSVF_1_1Andersen.html#aca095e135edb5d27efe76bb7ee71184c',1,'SVF::Andersen::processAddr()'],['../classSVF_1_1AndersenSCD.html#a52704e25a1e3b30ddf8676811f4e1584',1,'SVF::AndersenSCD::processAddr()'],['../classSVF_1_1FlowSensitive.html#abb37c5e4e6fa4742e8dbcf397aea086e',1,'SVF::FlowSensitive::processAddr()'],['../classSVF_1_1FlowSensitiveTBHC.html#abce5580e93cba1e591a0bac4e9070816',1,'SVF::FlowSensitiveTBHC::processAddr()']]],
+  ['processaddr',['processAddr',['../classSVF_1_1Andersen.html#aca095e135edb5d27efe76bb7ee71184c',1,'SVF::Andersen::processAddr()'],['../classSVF_1_1AndersenSCD.html#a52704e25a1e3b30ddf8676811f4e1584',1,'SVF::AndersenSCD::processAddr()'],['../classSVF_1_1FlowSensitive.html#abb37c5e4e6fa4742e8dbcf397aea086e',1,'SVF::FlowSensitive::processAddr()']]],
   ['processalladdr',['processAllAddr',['../classSVF_1_1Andersen.html#adccf6acf63abc9cafc92b2148396fd10',1,'SVF::Andersen::processAllAddr()'],['../classSVF_1_1Steensgaard.html#ada542b3e393f23938d37e479008e8cc0',1,'SVF::Steensgaard::processAllAddr()']]],
   ['processandersenresults',['processAndersenResults',['../classSVF_1_1IRAnnotator.html#a1dfd230ddbc751ddf6833a6dc22b84f7',1,'SVF::IRAnnotator']]],
   ['processargumentnode',['processArgumentNode',['../classSVF_1_1IRAnnotator.html#a79ce14045e7321569b95cff0b4800c08',1,'SVF::IRAnnotator']]],
@@ -222,25 +220,25 @@ var searchData=
   ['processcast',['processCast',['../classSVF_1_1AndersenWaveDiff.html#a57c7c12ebcf06f2912e93c802c6cdd02',1,'SVF::AndersenWaveDiff']]],
   ['processce',['processCE',['../classSVF_1_1SVFIRBuilder.html#a5adf8baa546292434ba1fec48db2d0a7',1,'SVF::SVFIRBuilder']]],
   ['processconstantnode',['processConstantNode',['../classSVF_1_1IRAnnotator.html#a0a26b250269a2e38a5507d68fdbe03f4',1,'SVF::IRAnnotator']]],
-  ['processcopy',['processCopy',['../classSVF_1_1Andersen.html#ac4afe532655c3f311143ebbe15175ca2',1,'SVF::Andersen::processCopy()'],['../classSVF_1_1AndersenWaveDiff.html#a3a5b952c0c2fe2be1b9a6fcfeeba2c37',1,'SVF::AndersenWaveDiff::processCopy()'],['../classSVF_1_1FlowSensitive.html#aa401cc90de4e1c6842f08a43a28c5aa1',1,'SVF::FlowSensitive::processCopy()'],['../classSVF_1_1FlowSensitiveTBHC.html#ab6525ac133151692176a03227f81bcac',1,'SVF::FlowSensitiveTBHC::processCopy()']]],
+  ['processcopy',['processCopy',['../classSVF_1_1Andersen.html#ac4afe532655c3f311143ebbe15175ca2',1,'SVF::Andersen::processCopy()'],['../classSVF_1_1AndersenWaveDiff.html#a3a5b952c0c2fe2be1b9a6fcfeeba2c37',1,'SVF::AndersenWaveDiff::processCopy()'],['../classSVF_1_1FlowSensitive.html#aa401cc90de4e1c6842f08a43a28c5aa1',1,'SVF::FlowSensitive::processCopy()']]],
   ['processcopygeptime',['ProcessCopyGepTime',['../classSVF_1_1PTAStat.html#a95a0a7861731072baeaf75354531875f',1,'SVF::PTAStat']]],
   ['processfunbody',['processFunBody',['../classSVF_1_1ICFGBuilder.html#ab1cc5de5c2ee7acf83e9ae51c7b38cb5',1,'SVF::ICFGBuilder']]],
   ['processfunctionnode',['processFunctionNode',['../classSVF_1_1IRAnnotator.html#a31cbc6e5c63442cdbab3eea1b7b5393f',1,'SVF::IRAnnotator']]],
   ['processfunentry',['processFunEntry',['../classSVF_1_1ICFGBuilder.html#a52e6426f0a1af479159f6fbac6d5b8f4',1,'SVF::ICFGBuilder']]],
   ['processfunexit',['processFunExit',['../classSVF_1_1ICFGBuilder.html#a21ecc610b7ac35f4e64b2a4a45688359',1,'SVF::ICFGBuilder']]],
-  ['processgep',['processGep',['../classSVF_1_1Andersen.html#aa697d4a6fe09dd6e50abb09228b3567f',1,'SVF::Andersen::processGep()'],['../classSVF_1_1FlowSensitive.html#ae017c39ac471727d06868e0eacafd791',1,'SVF::FlowSensitive::processGep()'],['../classSVF_1_1FlowSensitiveTBHC.html#abf96f7329d8c50dcd75da048548d2c85',1,'SVF::FlowSensitiveTBHC::processGep()']]],
+  ['processgep',['processGep',['../classSVF_1_1Andersen.html#aa697d4a6fe09dd6e50abb09228b3567f',1,'SVF::Andersen::processGep()'],['../classSVF_1_1FlowSensitive.html#ae017c39ac471727d06868e0eacafd791',1,'SVF::FlowSensitive::processGep()']]],
   ['processgeppts',['processGepPts',['../classSVF_1_1ContextDDA.html#aefd2b50015aa98fa88a508e3ed1d402a',1,'SVF::ContextDDA::processGepPts()'],['../classSVF_1_1DDAVFSolver.html#ab10a34efa1acb6125ea32cf7a8cf919f',1,'SVF::DDAVFSolver::processGepPts()'],['../classSVF_1_1FlowDDA.html#ac48be374351dad54ee2418dde841cf24',1,'SVF::FlowDDA::processGepPts()'],['../classSVF_1_1Andersen.html#ac6b1efcaadfed48c226701ecf6bac55e',1,'SVF::Andersen::processGepPts()'],['../classSVF_1_1AndersenSFR.html#a654abe596f1f6f33e2373503af1f5038',1,'SVF::AndersenSFR::processGepPts()']]],
   ['processglobalvarnode',['processGlobalVarNode',['../classSVF_1_1IRAnnotator.html#ac0aa0266a7284a46ad62211fb595d663',1,'SVF::IRAnnotator']]],
   ['processgraph',['processGraph',['../classSVF_1_1SVFGStat.html#a3c016e166b8e84eb3b98bc3717cba5d8',1,'SVF::SVFGStat']]],
   ['processinlineasmnode',['processInlineAsmNode',['../classSVF_1_1IRAnnotator.html#ad7bc258f3a6201d06f80b3c4422536b2',1,'SVF::IRAnnotator']]],
   ['processinstructionnode',['processInstructionNode',['../classSVF_1_1IRAnnotator.html#a9ed32d75937cc2da63cf95fbc477c66a',1,'SVF::IRAnnotator']]],
-  ['processload',['processLoad',['../classSVF_1_1Andersen.html#abc20264231658b99998bc4af1f03a4de',1,'SVF::Andersen::processLoad()'],['../classSVF_1_1FlowSensitive.html#a9968530b3dee876f55e6659530decf27',1,'SVF::FlowSensitive::processLoad()'],['../classSVF_1_1FlowSensitiveTBHC.html#a42c8023e0e60e8701ec197b3d775b423',1,'SVF::FlowSensitiveTBHC::processLoad()'],['../classSVF_1_1VersionedFlowSensitive.html#a1d1f71c41cc3e81e636b58f4436e6d9b',1,'SVF::VersionedFlowSensitive::processLoad()']]],
+  ['processload',['processLoad',['../classSVF_1_1Andersen.html#abc20264231658b99998bc4af1f03a4de',1,'SVF::Andersen::processLoad()'],['../classSVF_1_1FlowSensitive.html#a9968530b3dee876f55e6659530decf27',1,'SVF::FlowSensitive::processLoad()'],['../classSVF_1_1VersionedFlowSensitive.html#a1d1f71c41cc3e81e636b58f4436e6d9b',1,'SVF::VersionedFlowSensitive::processLoad()']]],
   ['processloadstoretime',['ProcessLoadStoreTime',['../classSVF_1_1PTAStat.html#aeb6a52c31ecd004670e85f24b01d75d6',1,'SVF::PTAStat']]],
   ['processnode',['processNode',['../classSVF_1_1Andersen.html#a1caa6fa0740f4fa789d960a5a6fcb9c1',1,'SVF::Andersen::processNode()'],['../classSVF_1_1AndersenWaveDiff.html#afa1055cda6c910b24480505efd205895',1,'SVF::AndersenWaveDiff::processNode()'],['../classSVF_1_1FlowSensitive.html#a16f594356ea565eb1fed2acea516a16b',1,'SVF::FlowSensitive::processNode()'],['../classSVF_1_1VersionedFlowSensitive.html#a8cad0df2ae7df81dc2a966e694a0f7a2',1,'SVF::VersionedFlowSensitive::processNode()'],['../classSVF_1_1WPASolver.html#abd7fd785e70f66d394088101d78598ca',1,'SVF::WPASolver::processNode()']]],
   ['processpagnode',['processPAGNode',['../classSVF_1_1IRAnnotator.html#a067fe6d76b3b11bbb726e2b40e723f78',1,'SVF::IRAnnotator']]],
-  ['processphi',['processPhi',['../classSVF_1_1FlowSensitive.html#aa36fd1387e948e83107431179d819067',1,'SVF::FlowSensitive::processPhi()'],['../classSVF_1_1FlowSensitiveTBHC.html#a0eb8335dd45b35b20d34c981b86b059c',1,'SVF::FlowSensitiveTBHC::processPhi()']]],
+  ['processphi',['processPhi',['../classSVF_1_1FlowSensitive.html#aa36fd1387e948e83107431179d819067',1,'SVF::FlowSensitive']]],
   ['processpwc',['processPWC',['../classSVF_1_1AndersenSCD.html#aaee864bb1fc5b5d4643e145d80ecfb8b',1,'SVF::AndersenSCD']]],
-  ['processstore',['processStore',['../classSVF_1_1Andersen.html#ac262d42d45dc6130cb031d5b0ed1f024',1,'SVF::Andersen::processStore()'],['../classSVF_1_1FlowSensitive.html#aa37d591d2d4f65957e840bef4d142a6a',1,'SVF::FlowSensitive::processStore()'],['../classSVF_1_1FlowSensitiveTBHC.html#ac937e0e388071bbf94a477e1880663eb',1,'SVF::FlowSensitiveTBHC::processStore()'],['../classSVF_1_1VersionedFlowSensitive.html#aa96f517740420665168e9b0c7d2347f1',1,'SVF::VersionedFlowSensitive::processStore()']]],
+  ['processstore',['processStore',['../classSVF_1_1Andersen.html#ac262d42d45dc6130cb031d5b0ed1f024',1,'SVF::Andersen::processStore()'],['../classSVF_1_1FlowSensitive.html#aa37d591d2d4f65957e840bef4d142a6a',1,'SVF::FlowSensitive::processStore()'],['../classSVF_1_1VersionedFlowSensitive.html#aa96f517740420665168e9b0c7d2347f1',1,'SVF::VersionedFlowSensitive::processStore()']]],
   ['processsvfgnode',['processSVFGNode',['../classSVF_1_1FlowSensitive.html#a979f89495966d71f9b470d832384ebd6',1,'SVF::FlowSensitive']]],
   ['processtime',['processTime',['../classSVF_1_1FlowSensitive.html#ae2e58d18abcdddc7a5a87f4edc5f3b72',1,'SVF::FlowSensitive']]],
   ['production',['Production',['../classSVF_1_1GrammarBase.html#af384c960a5edc576cbfb60a869e346ec',1,'SVF::GrammarBase::Production()'],['../classSVF_1_1CFLSolver.html#a0ade6e3827c629c3cc3d22a101df7288',1,'SVF::CFLSolver::Production()']]],
@@ -255,11 +253,11 @@ var searchData=
   ['propagateversion',['propagateVersion',['../classSVF_1_1VersionedFlowSensitive.html#a7a98162b69de90f80ce853a6ff43af56',1,'SVF::VersionedFlowSensitive::propagateVersion(NodeID o, Version v)'],['../classSVF_1_1VersionedFlowSensitive.html#ad1aa83a71379164d3b7ccf6b61639cb1',1,'SVF::VersionedFlowSensitive::propagateVersion(const NodeID o, const Version v, const Version vp, bool time=true)']]],
   ['propagateviaobj',['propagateViaObj',['../classSVF_1_1ContextDDA.html#a45d7a381fec0692b4d2f7d0eec47ccf1',1,'SVF::ContextDDA::propagateViaObj()'],['../classSVF_1_1DDAVFSolver.html#ace35b8247204d9806ca1a4f01bff2364',1,'SVF::DDAVFSolver::propagateViaObj()']]],
   ['propagationtime',['propagationTime',['../classSVF_1_1FlowSensitive.html#ac4d4b42bb96006801597f81ed3c4b337',1,'SVF::FlowSensitive']]],
-  ['propalongdirectedge',['propAlongDirectEdge',['../classSVF_1_1FlowSensitive.html#ad3518931d3b8a0671cbeb975f853b956',1,'SVF::FlowSensitive::propAlongDirectEdge()'],['../classSVF_1_1FlowSensitiveTBHC.html#a15b8610fd7456d158a9e640c69d401a0',1,'SVF::FlowSensitiveTBHC::propAlongDirectEdge()']]],
-  ['propalongindirectedge',['propAlongIndirectEdge',['../classSVF_1_1FlowSensitive.html#aeb1e002519123a67f8d18f78cda04bac',1,'SVF::FlowSensitive::propAlongIndirectEdge()'],['../classSVF_1_1FlowSensitiveTBHC.html#a83a4defe2bcb1c99c66aea8c8325d5fd',1,'SVF::FlowSensitiveTBHC::propAlongIndirectEdge()'],['../classSVF_1_1VersionedFlowSensitive.html#ad44c735b25158d2c934bdd44eb404686',1,'SVF::VersionedFlowSensitive::propAlongIndirectEdge()']]],
+  ['propalongdirectedge',['propAlongDirectEdge',['../classSVF_1_1FlowSensitive.html#ad3518931d3b8a0671cbeb975f853b956',1,'SVF::FlowSensitive']]],
+  ['propalongindirectedge',['propAlongIndirectEdge',['../classSVF_1_1FlowSensitive.html#aeb1e002519123a67f8d18f78cda04bac',1,'SVF::FlowSensitive::propAlongIndirectEdge()'],['../classSVF_1_1VersionedFlowSensitive.html#ad44c735b25158d2c934bdd44eb404686',1,'SVF::VersionedFlowSensitive::propAlongIndirectEdge()']]],
   ['propaptsmap',['propaPtsMap',['../classSVF_1_1MutableDiffPTData.html#acd3c327ee7c8fd077d51751cc7069dee',1,'SVF::MutableDiffPTData::propaPtsMap()'],['../classSVF_1_1PersistentDiffPTData.html#abffb5c9cfe1e306ce524ef1dc5ff18ad',1,'SVF::PersistentDiffPTData::propaPtsMap()']]],
-  ['propdfintoin',['propDFInToIn',['../classSVF_1_1FlowSensitive.html#a3be364754863bbbee6dfd0b5490dec47',1,'SVF::FlowSensitive::propDFInToIn()'],['../classSVF_1_1FlowSensitiveTBHC.html#aab08c9a0527138599e58e72f69071ecb',1,'SVF::FlowSensitiveTBHC::propDFInToIn()']]],
-  ['propdfouttoin',['propDFOutToIn',['../classSVF_1_1FlowSensitive.html#a5e97c3fe32f60b0e8e96323ceb9a10cf',1,'SVF::FlowSensitive::propDFOutToIn()'],['../classSVF_1_1FlowSensitiveTBHC.html#abf5cca7e8332930c8f6adbfdb6f72629',1,'SVF::FlowSensitiveTBHC::propDFOutToIn()']]],
+  ['propdfintoin',['propDFInToIn',['../classSVF_1_1FlowSensitive.html#a3be364754863bbbee6dfd0b5490dec47',1,'SVF::FlowSensitive']]],
+  ['propdfouttoin',['propDFOutToIn',['../classSVF_1_1FlowSensitive.html#a5e97c3fe32f60b0e8e96323ceb9a10cf',1,'SVF::FlowSensitive']]],
   ['propertycomplements',['propertyComplements',['../classSVF_1_1PersistentPointsToCache.html#a7961dd7af7db2774e852beabcba1e5a8',1,'SVF::PersistentPointsToCache']]],
   ['propertyintersections',['propertyIntersections',['../classSVF_1_1PersistentPointsToCache.html#a4c58a058c50703ba5f35e8bf052ee991',1,'SVF::PersistentPointsToCache']]],
   ['propertyunions',['propertyUnions',['../classSVF_1_1PersistentPointsToCache.html#ad045302497c76b9dfa656882cc0192dd',1,'SVF::PersistentPointsToCache']]],
@@ -271,7 +269,7 @@ var searchData=
   ['prunethreadlocal',['pruneThreadLocal',['../classSVF_1_1MTAAnnotator.html#af469d79fcc3bebd9360f72696a242d4e',1,'SVF::MTAAnnotator']]],
   ['pstat',['PStat',['../classSVF_1_1Options.html#a498a1a05a08be1ffd845aefeb0672bcb',1,'SVF::Options']]],
   ['pt',['pt',['../classSVF_1_1PointsTo_1_1PointsToIterator.html#a8be3dd8b1e66eac8577bf16b7403c9c5',1,'SVF::PointsTo::PointsToIterator']]],
-  ['pta',['pta',['../classSVF_1_1SVFG.html#a0d6cfa496e6885fe31b6b7a651fa01a8',1,'SVF::SVFG::pta()'],['../classSVF_1_1PTAStat.html#a608441b95be0861d8c1b0a035281f4d5',1,'SVF::PTAStat::pta()'],['../classSVF_1_1MRGenerator.html#afb7ce3a24edda14895999eb15231daff',1,'SVF::MRGenerator::pta()'],['../classSVF_1_1MemSSA.html#a468e1481926df6865678b7232bb79bf3',1,'SVF::MemSSA::pta()'],['../classSVF_1_1PCG.html#adb917fc3adc3b0c3aedd57e9c77eae05',1,'SVF::PCG::pta()'],['../classSVF_1_1TCT.html#a980de0593e41d18d2716aa5120d35d04',1,'SVF::TCT::pta()'],['../classSVF_1_1TypeBasedHeapCloning.html#a7d3f7d27c9491b099a623ba03b1c4732',1,'SVF::TypeBasedHeapCloning::pta()'],['../classSVF_1_1AndersenStat.html#a8af8dd60987c4c99ea3727d9db87c187',1,'SVF::AndersenStat::pta()']]],
+  ['pta',['pta',['../classSVF_1_1SVFG.html#a0d6cfa496e6885fe31b6b7a651fa01a8',1,'SVF::SVFG::pta()'],['../classSVF_1_1PTAStat.html#a608441b95be0861d8c1b0a035281f4d5',1,'SVF::PTAStat::pta()'],['../classSVF_1_1MRGenerator.html#afb7ce3a24edda14895999eb15231daff',1,'SVF::MRGenerator::pta()'],['../classSVF_1_1MemSSA.html#a468e1481926df6865678b7232bb79bf3',1,'SVF::MemSSA::pta()'],['../classSVF_1_1PCG.html#adb917fc3adc3b0c3aedd57e9c77eae05',1,'SVF::PCG::pta()'],['../classSVF_1_1TCT.html#a980de0593e41d18d2716aa5120d35d04',1,'SVF::TCT::pta()'],['../classSVF_1_1AndersenStat.html#a8af8dd60987c4c99ea3727d9db87c187',1,'SVF::AndersenStat::pta()']]],
   ['ptacallgraph',['PTACallGraph',['../classSVF_1_1PTACallGraph.html',1,'SVF::PTACallGraph'],['../classSVF_1_1PointerAnalysis.html#ad47b39252e02c68dfb466d4f42dc7ebe',1,'SVF::PointerAnalysis::ptaCallGraph()'],['../classSVF_1_1SrcSnkDDA.html#a97be553370acf305f86e903bc3f0bb1a',1,'SVF::SrcSnkDDA::ptaCallGraph()'],['../classSVF_1_1PTACallGraph.html#a612b05f1c37dc50a888b773b9bbe093f',1,'SVF::PTACallGraph::PTACallGraph()']]],
   ['ptacallgraph_2ecpp',['PTACallGraph.cpp',['../PTACallGraph_8cpp.html',1,'']]],
   ['ptacallgraph_2eh',['PTACallGraph.h',['../PTACallGraph_8h.html',1,'']]],
@@ -280,8 +278,8 @@ var searchData=
   ['ptacfinfo',['ptaCFInfo',['../classSVF_1_1ForkJoinAnalysis.html#a1c616b61fbe9c713f51f2a44c4208cfa',1,'SVF::ForkJoinAnalysis']]],
   ['ptacfinfobuilder',['PTACFInfoBuilder',['../classSVF_1_1PTACFInfoBuilder.html',1,'SVF::PTACFInfoBuilder'],['../classSVF_1_1PTACFInfoBuilder.html#abf1c70ba37181884e7848f6a7c6acf2c',1,'SVF::PTACFInfoBuilder::PTACFInfoBuilder()']]],
   ['ptacgnodeset',['PTACGNodeSet',['../classSVF_1_1TCT.html#afb579a5bdcc0a1c6b075bb9aae36c237',1,'SVF::TCT']]],
-  ['ptaimplty',['PTAImplTy',['../classSVF_1_1PointerAnalysis.html#ac0c0855918cb2cdc3d8ebc175acfbd4d',1,'SVF::PointerAnalysis::PTAImplTy()'],['../classSVF_1_1PointerAnalysis.html#a5d3c3094e263bf16a4f312a118c1bd36',1,'SVF::PointerAnalysis::ptaImplTy()']]],
-  ['ptaname',['PTAName',['../classSVF_1_1ContextDDA.html#afb0ab7fc43e6f0331072419e39ae0606',1,'SVF::ContextDDA::PTAName()'],['../classSVF_1_1FlowDDA.html#ab3edece1bfb076bc01d60829615f2fa9',1,'SVF::FlowDDA::PTAName()'],['../classSVF_1_1PointerAnalysis.html#aed4e5066f6ddef83afaf60adbcc11de0',1,'SVF::PointerAnalysis::PTAName()'],['../classSVF_1_1Andersen.html#ad92dbecc91170b235180e59ba307acda',1,'SVF::Andersen::PTAName()'],['../classSVF_1_1FlowSensitive.html#a4f1a0d533381660055210be1e2d7d72a',1,'SVF::FlowSensitive::PTAName()'],['../classSVF_1_1FlowSensitiveTBHC.html#a1eb2f49fd20527b174c2acb8b7d64a41',1,'SVF::FlowSensitiveTBHC::PTAName()'],['../classSVF_1_1VersionedFlowSensitive.html#a6e4964389f96667bd69354fd4a742720',1,'SVF::VersionedFlowSensitive::PTAName()']]],
+  ['ptaimplty',['ptaImplTy',['../classSVF_1_1PointerAnalysis.html#a5d3c3094e263bf16a4f312a118c1bd36',1,'SVF::PointerAnalysis::ptaImplTy()'],['../classSVF_1_1PointerAnalysis.html#ac0c0855918cb2cdc3d8ebc175acfbd4d',1,'SVF::PointerAnalysis::PTAImplTy()']]],
+  ['ptaname',['PTAName',['../classSVF_1_1ContextDDA.html#afb0ab7fc43e6f0331072419e39ae0606',1,'SVF::ContextDDA::PTAName()'],['../classSVF_1_1FlowDDA.html#ab3edece1bfb076bc01d60829615f2fa9',1,'SVF::FlowDDA::PTAName()'],['../classSVF_1_1PointerAnalysis.html#aed4e5066f6ddef83afaf60adbcc11de0',1,'SVF::PointerAnalysis::PTAName()'],['../classSVF_1_1Andersen.html#ad92dbecc91170b235180e59ba307acda',1,'SVF::Andersen::PTAName()'],['../classSVF_1_1FlowSensitive.html#a4f1a0d533381660055210be1e2d7d72a',1,'SVF::FlowSensitive::PTAName()'],['../classSVF_1_1VersionedFlowSensitive.html#a6e4964389f96667bd69354fd4a742720',1,'SVF::VersionedFlowSensitive::PTAName()']]],
   ['ptascev',['PTASCEV',['../classSVF_1_1PTASCEV.html',1,'SVF::PTASCEV'],['../classSVF_1_1PTASCEV.html#afb1582fa355f2ae93a877f4f5bed56d3',1,'SVF::PTASCEV::PTASCEV()'],['../classSVF_1_1PTASCEV.html#a6a134ca4f7f50de053805e75431aa856',1,'SVF::PTASCEV::PTASCEV(const Value *p, const SCEV *s, ScalarEvolution *SE)'],['../classSVF_1_1PTASCEV.html#a3f4fbad38457025f35e151e54ab96b70',1,'SVF::PTASCEV::PTASCEV(const PTASCEV &ptase)']]],
   ['ptastat',['PTAStat',['../classSVF_1_1PTAStat.html',1,'SVF::PTAStat'],['../classSVF_1_1PTAStat.html#ac9b65b591200c16c420fbd26710b448f',1,'SVF::PTAStat::PTAStat()']]],
   ['ptastat_2ecpp',['PTAStat.cpp',['../PTAStat_8cpp.html',1,'']]],
@@ -304,7 +302,7 @@ var searchData=
   ['ptronlysvfg',['PTRONLYSVFG',['../classSVF_1_1VFG.html#ac2e2f555975063da3fa1932ac35802c6ada8562b20e8d888a4b421c200957294d',1,'SVF::VFG']]],
   ['ptronlysvfg_5fopt',['PTRONLYSVFG_OPT',['../classSVF_1_1VFG.html#ac2e2f555975063da3fa1932ac35802c6a8ed0b9aea88fbbbe91f33301bea0c9dd',1,'SVF::VFG']]],
   ['ptrtobvptsmap',['ptrToBVPtsMap',['../classSVF_1_1CondPTAImpl.html#a30b9ee7b1dcd04285f92cf7accd05b2e',1,'SVF::CondPTAImpl::ptrToBVPtsMap()'],['../classSVF_1_1CondPTAImpl.html#aba828ca8e2aa2bd71b78be8b45a48c9b',1,'SVF::CondPTAImpl::PtrToBVPtsMap()']]],
-  ['ptrtocptsmap',['PtrToCPtsMap',['../classSVF_1_1CondPTAImpl.html#a5043e9d9255d31777d038c48c809bb09',1,'SVF::CondPTAImpl::PtrToCPtsMap()'],['../classSVF_1_1CondPTAImpl.html#a61167fcdb2005090de1b38e53450431a',1,'SVF::CondPTAImpl::ptrToCPtsMap()']]],
+  ['ptrtocptsmap',['ptrToCPtsMap',['../classSVF_1_1CondPTAImpl.html#a61167fcdb2005090de1b38e53450431a',1,'SVF::CondPTAImpl::ptrToCPtsMap()'],['../classSVF_1_1CondPTAImpl.html#a5043e9d9255d31777d038c48c809bb09',1,'SVF::CondPTAImpl::PtrToCPtsMap()']]],
   ['ptrtonsmap',['PtrToNSMap',['../classSVF_1_1CondPTAImpl.html#a838c3f2be39d278072f7a9df7c0bcb4d',1,'SVF::CondPTAImpl']]],
   ['ptruint',['ptruint',['../cuddInt_8h.html#afd9afe0bf7ac5855fcd5eb42ea5fcb18',1,'cuddInt.h']]],
   ['ptsallprint',['PTSAllPrint',['../classSVF_1_1Options.html#a113ee30422ef08b6790eed9a83277b9c',1,'SVF::Options']]],

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

@@ -29,7 +29,7 @@ var searchData=
   ['readsvfg',['ReadSVFG',['../classSVF_1_1Options.html#a1608ded89f829a780d67cb82e1e62944',1,'SVF::Options']]],
   ['realign',['realign',['../structDdManager.html#ab50e58f446cce13dd36cf63230e2d836',1,'DdManager']]],
   ['realignz',['realignZ',['../structDdManager.html#aeb6927b50fc978391e3eda5161df8c5c',1,'DdManager']]],
-  ['realloc',['realloc',['../util_8h.html#af6ef63a39a975856bc39bf0f3d13b292',1,'realloc(): util.h'],['../util_8h.html#ac3d02b1026db1997f09067d47aed16a8',1,'REALLOC(): util.h']]],
+  ['realloc',['REALLOC',['../util_8h.html#ac3d02b1026db1997f09067d47aed16a8',1,'REALLOC(): util.h'],['../util_8h.html#af6ef63a39a975856bc39bf0f3d13b292',1,'realloc(): util.h']]],
   ['reallocate',['reallocate',['../structinternal__hooks.html#a5dd48d5c2f2b1cf4f6eec5df6205e15c',1,'internal_hooks']]],
   ['reanalyze',['reanalyze',['../classSVF_1_1WPASolver.html#ac460772d9236a2fefe17b2557023b883',1,'SVF::WPASolver']]],
   ['reclaimed',['reclaimed',['../structDdManager.html#a4ab47b179b205207c8e738f4b6ed1ebd',1,'DdManager']]],

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

@@ -55,7 +55,6 @@ var searchData=
   ['seq',['SEQ',['../classSVF_1_1NodeIDAllocator.html#a8cf553cd07768aad3f3b91bf3d7c6228a85142db6ed24203f054117f3a5110e2f',1,'SVF::NodeIDAllocator']]],
   ['set',['set',['../classSVF_1_1CondStdSet.html#ae11deddad534be115d29daad08c90599',1,'SVF::CondStdSet::set()'],['../classSVF_1_1CondPointsToSet.html#aadf2576b55bbdb82d7affc8466c09861',1,'SVF::CondPointsToSet::set()'],['../classSVF_1_1PointsTo.html#ab196d86cfb48d1c5d27a0c03c7497afa',1,'SVF::PointsTo::set()'],['../classSVF_1_1CoreBitVector.html#a553e3e51bffe1aab04adc047e0fd3f24',1,'SVF::CoreBitVector::set()'],['../lib_2CUDD_2CMakeLists_8txt.html#a97d8d30dc013aa2acba4c146fdcb1acf',1,'set(SOURCES epd.c st.c util.c mtr.c cuddInt.c) add_llvm_library(Cudd $: CMakeLists.txt'],['../tools_2WPA_2CMakeLists_8txt.html#ae7f9c126d87731a942268db0cad0ac75',1,'set(THREADS_PREFER_PTHREAD_FLAG ON) find_package(Threads REQUIRED) if(DEFINED IN_SOURCE_BUILD) set(LLVM_LINK_COMPONENTS BitWriter Core IPO IrReader InstCombine Instrumentation Target Linker Analysis ScalarOpts Support Svf Cudd) add_llvm_tool(wpa wpa.cpp) else() add_executable(wpa wpa.cpp) target_link_libraries(wpa Svf Cudd $: CMakeLists.txt'],['../namespaceSVF.html#af739db846e47ba6b2fd15eaad31ab7fb',1,'SVF::Set()']]],
   ['setactualindef',['setActualINDef',['../classSVF_1_1SVFGOPT.html#a490695ab536cd455c531fbdc57499cac',1,'SVF::SVFGOPT']]],
-  ['setallocationsite',['setAllocationSite',['../classSVF_1_1TypeBasedHeapCloning.html#a006243a1416f4950de254d0d62ba40b0',1,'SVF::TypeBasedHeapCloning']]],
   ['setallreachable',['setAllReachable',['../classSVF_1_1ProgSlice.html#ae6102647fa4985142c293116516612cd',1,'SVF::ProgSlice']]],
   ['setattributekinds',['setAttributeKinds',['../classSVF_1_1GrammarBase.html#a1e1bf1e32bcd7c68ce789c2f9f6327c0',1,'SVF::GrammarBase']]],
   ['setbasenode',['setBaseNode',['../classSVF_1_1GepObjVar.html#a5e371fae7592d763661a7cb777107ff4',1,'SVF::GepObjVar']]],
@@ -77,7 +76,6 @@ var searchData=
   ['setcurrentscc',['setCurrentSCC',['../classSVF_1_1WPASCCSolver.html#a782121c831536e231f5b287629defef7',1,'SVF::WPASCCSolver']]],
   ['setcurslice',['setCurSlice',['../classSVF_1_1SrcSnkDDA.html#ab35c0d1f02c83a2c10717905f1abf5cd',1,'SVF::SrcSnkDDA']]],
   ['setcursvfgnode',['setCurSVFGNode',['../classSVF_1_1ProgSlice.html#aee72d029c185c24b2bf01cdc0dcb25d8',1,'SVF::ProgSlice']]],
-  ['setdchg',['setDCHG',['../classSVF_1_1TypeBasedHeapCloning.html#aaaf50870e50b45b44d4ecaaaab662770',1,'SVF::TypeBasedHeapCloning']]],
   ['setddastat',['setDDAStat',['../classSVF_1_1DDAVFSolver.html#adcb641eec4f620effdb3f61a46429f40',1,'SVF::DDAVFSolver']]],
   ['setdef',['setDef',['../classSVF_1_1SVFG.html#accd1cbd26c9b194971f3107a57a0ab2e',1,'SVF::SVFG::setDef(const PAGNode *pagNode, const SVFGNode *node)'],['../classSVF_1_1SVFG.html#aa3ebc066d376e7ed508d2bce49fa864d',1,'SVF::SVFG::setDef(const MRVer *mvar, const SVFGNode *node)'],['../classSVF_1_1VFG.html#a1e0b8c7df55e05739775e8a1c50cf660',1,'SVF::VFG::setDef()']]],
   ['setdiffopt',['setDiffOpt',['../classSVF_1_1Andersen.html#a69161671030b51c5a6cf139325aa098f',1,'SVF::Andersen']]],
@@ -119,8 +117,7 @@ var searchData=
   ['setoffset',['setOffset',['../classSVF_1_1DCHEdge.html#a70f757826082c95766c8324c1264e977',1,'SVF::DCHEdge']]],
   ['setopver',['setOpVer',['../classSVF_1_1MSSAPHISVFGNode.html#a928a57d7f518c5af98a0245d9221e671',1,'SVF::MSSAPHISVFGNode::setOpVer()'],['../classSVF_1_1CmpVFGNode.html#a41bcdd6b46a31c8d15533342478dc236',1,'SVF::CmpVFGNode::setOpVer()'],['../classSVF_1_1BinaryOPVFGNode.html#a76c67d31ffb67c4ef102471898ae2709',1,'SVF::BinaryOPVFGNode::setOpVer()'],['../classSVF_1_1UnaryOPVFGNode.html#a3b082eef98b8393499908f6c430b8d6c',1,'SVF::UnaryOPVFGNode::setOpVer()'],['../classSVF_1_1PHIVFGNode.html#a36f469a129063b43161a8d1423414ce5',1,'SVF::PHIVFGNode::setOpVer()'],['../classSVF_1_1MSSACHI.html#a245d8ee9e81ba4fe6f41533baf471331',1,'SVF::MSSACHI::setOpVer()'],['../classSVF_1_1MSSAPHI.html#a74f663dc5ecc659e98542a53414b7988',1,'SVF::MSSAPHI::setOpVer()']]],
   ['setopverandbb',['setOpVerAndBB',['../classSVF_1_1IntraPHIVFGNode.html#a7e5fd83393224ece808de83cbf496882',1,'SVF::IntraPHIVFGNode']]],
-  ['setoriginalobj',['setOriginalObj',['../classSVF_1_1TypeBasedHeapCloning.html#a14027d92c4f8e33d7487fe81acce6a85',1,'SVF::TypeBasedHeapCloning']]],
-  ['setpag',['setPAG',['../classSVF_1_1DDAClient.html#a21badb317a249bbb506615182671b32c',1,'SVF::DDAClient::setPAG()'],['../classSVF_1_1TypeBasedHeapCloning.html#a0890235fa3725c23435ea3245c52c038',1,'SVF::TypeBasedHeapCloning::setPAG()']]],
+  ['setpag',['setPAG',['../classSVF_1_1DDAClient.html#a21badb317a249bbb506615182671b32c',1,'SVF::DDAClient']]],
   ['setpagfromtxt',['setPagFromTXT',['../classSVF_1_1SVFModule.html#ac630e9f18a239ac6b3b88d05e64140c5',1,'SVF::SVFModule']]],
   ['setpartialreachable',['setPartialReachable',['../classSVF_1_1ProgSlice.html#af6f137be08ca0e743424ff07d679777d',1,'SVF::ProgSlice']]],
   ['setpathconstraint',['setPathConstraint',['../classSVF_1_1ExeState.html#abb73aa9e213818e89e1fb8abdd7a3309',1,'SVF::ExeState']]],
@@ -143,7 +140,6 @@ var searchData=
   ['settokeepallselfcycle',['setTokeepAllSelfCycle',['../classSVF_1_1SVFGOPT.html#a99cce24804a9116f9bf4e773b2f28e85',1,'SVF::SVFGOPT']]],
   ['settokeepcontextselfcycle',['setTokeepContextSelfCycle',['../classSVF_1_1SVFGOPT.html#abe2392e0971f6c46537727f001fa44de',1,'SVF::SVFGOPT']]],
   ['settotalkind',['setTotalKind',['../classSVF_1_1GrammarBase.html#a37a31f03501a11e7951d56dbf1cb146a',1,'SVF::GrammarBase']]],
-  ['settype',['setType',['../classSVF_1_1TypeBasedHeapCloning.html#ac51cd735739a2499196a87323172a6a6',1,'SVF::TypeBasedHeapCloning']]],
   ['setvalue',['setValue',['../classSVF_1_1SVFStmt.html#a24dddb4e346a6e569908e3efe8a6ecc0',1,'SVF::SVFStmt']]],
   ['setvardfinsetupdated',['setVarDFInSetUpdated',['../classSVF_1_1MutableIncDFPTData.html#a33b2e976439e489d4bd707379e1bac9c',1,'SVF::MutableIncDFPTData::setVarDFInSetUpdated()'],['../classSVF_1_1PersistentIncDFPTData.html#a3b42e65b301c1e2cf7976e2780cb6fd2',1,'SVF::PersistentIncDFPTData::setVarDFInSetUpdated()']]],
   ['setvardfoutsetupdated',['setVarDFOutSetUpdated',['../classSVF_1_1MutableIncDFPTData.html#a851947de9ccbe51239b76d2d93fcd4c4',1,'SVF::MutableIncDFPTData::setVarDFOutSetUpdated()'],['../classSVF_1_1PersistentIncDFPTData.html#aa9f6b38595cabbb583c52217188457e8',1,'SVF::PersistentIncDFPTData::setVarDFOutSetUpdated()']]],
@@ -252,14 +248,14 @@ var searchData=
   ['st_5fis_5fmember',['st_is_member',['../st_8h.html#a3e18b4a4f91b4188aa376a15ca372b9c',1,'st.h']]],
   ['st_5flookup',['st_lookup',['../st_8h.html#a0ed63fd0cb21b0a1fe502e84aa5563ef',1,'st_lookup(st_table *, void *, void *): st.c'],['../st_8c.html#a0664208425f99d5c88fe2a79c425756c',1,'st_lookup(st_table *table, void *key, void *value): st.c']]],
   ['st_5flookup_5fint',['st_lookup_int',['../st_8h.html#ab10245506c3e5d053c75a902ec62a074',1,'st_lookup_int(st_table *, void *, int *): st.c'],['../st_8c.html#a958c280b8f24c847ca511eaffd410f04',1,'st_lookup_int(st_table *table, void *key, int *value): st.c']]],
-  ['st_5fnumcmp',['st_numcmp',['../st_8h.html#a65b35768bcf5b6f173b063b441a493db',1,'st_numcmp(const char *, const char *): st.c'],['../st_8c.html#a0ba60ae98aae8e6dd21bbe3b485bcfbe',1,'st_numcmp(const char *x, const char *y): st.c'],['../st_8c.html#a2796b8bc2a5f15834d61a3519ad149d5',1,'ST_NUMCMP(): st.c']]],
-  ['st_5fnumhash',['st_numhash',['../st_8h.html#a487317ef8c55ab34fb58ddfe47163b9e',1,'st_numhash(char *, int): st.c'],['../st_8c.html#aede320ef4713f295a335b4da6e1d8358',1,'st_numhash(char *x, int size): st.c'],['../st_8c.html#a76573cced143d429f99bfb5e286c621e',1,'ST_NUMHASH(): st.c']]],
+  ['st_5fnumcmp',['ST_NUMCMP',['../st_8c.html#a2796b8bc2a5f15834d61a3519ad149d5',1,'ST_NUMCMP(): st.c'],['../st_8h.html#a65b35768bcf5b6f173b063b441a493db',1,'st_numcmp(const char *, const char *): st.c'],['../st_8c.html#a0ba60ae98aae8e6dd21bbe3b485bcfbe',1,'st_numcmp(const char *x, const char *y): st.c']]],
+  ['st_5fnumhash',['ST_NUMHASH',['../st_8c.html#a76573cced143d429f99bfb5e286c621e',1,'ST_NUMHASH(): st.c'],['../st_8h.html#a487317ef8c55ab34fb58ddfe47163b9e',1,'st_numhash(char *, int): st.c'],['../st_8c.html#aede320ef4713f295a335b4da6e1d8358',1,'st_numhash(char *x, int size): st.c']]],
   ['st_5fout_5fof_5fmem',['ST_OUT_OF_MEM',['../st_8h.html#a1276d6ae80c20ae2ec082db7c502ef75',1,'st.h']]],
   ['st_5fpficpcp',['ST_PFICPCP',['../st_8h.html#afb91ce58b9010645ed1cdf1ed2b76b03',1,'st.h']]],
   ['st_5fpficpi',['ST_PFICPI',['../st_8h.html#a4689d232930698db6d2432922e094539',1,'st.h']]],
   ['st_5fpfsr',['ST_PFSR',['../st_8h.html#afcc2f06d7b3802b2710eec97355f968d',1,'st.h']]],
   ['st_5fptrcmp',['st_ptrcmp',['../st_8h.html#a6073f524b9f0ec98b2b3d3e59e4e3fbf',1,'st_ptrcmp(const char *, const char *): st.c'],['../st_8c.html#a52bf6e577a2a87b2cdedb1c3d0e25075',1,'st_ptrcmp(const char *x, const char *y): st.c']]],
-  ['st_5fptrhash',['ST_PTRHASH',['../st_8c.html#a524a1efaf5df2432aa5bf96e35546164',1,'ST_PTRHASH(): st.c'],['../st_8h.html#a144fc385b211526daab6da9ad5a854cc',1,'st_ptrhash(char *, int): st.c'],['../st_8c.html#ada6e90b4df1ca291977c89a6d4fdea06',1,'st_ptrhash(char *x, int size): st.c']]],
+  ['st_5fptrhash',['st_ptrhash',['../st_8h.html#a144fc385b211526daab6da9ad5a854cc',1,'st_ptrhash(char *, int): st.c'],['../st_8c.html#ada6e90b4df1ca291977c89a6d4fdea06',1,'st_ptrhash(char *x, int size): st.c'],['../st_8c.html#a524a1efaf5df2432aa5bf96e35546164',1,'ST_PTRHASH(): st.c']]],
   ['st_5fretval',['st_retval',['../st_8h.html#a0c6a172fd99de7928916e65034ed8b1f',1,'st.h']]],
   ['st_5fshift',['st_shift',['../st_8c.html#ab2920f4cebe075a6fda8b299fce9f762',1,'st.c']]],
   ['st_5fstop',['ST_STOP',['../st_8h.html#a0c6a172fd99de7928916e65034ed8b1fa04b939c166d4baa471909eb224d5fed3',1,'st.h']]],
@@ -307,11 +303,11 @@ var searchData=
   ['stop_5ftemp',['STOP_TEMP',['../cuddInt_8c.html#a325542c76e61adb1cebccf04f755bf52',1,'cuddInt.c']]],
   ['stopanalysislimittimer',['stopAnalysisLimitTimer',['../namespaceSVF_1_1SVFUtil.html#a168f7f7a3a8c70dbf2b5b4269cd4c7c5',1,'SVF::SVFUtil']]],
   ['stopping_5fcriterion',['stopping_criterion',['../cuddInt_8c.html#a5f2b499b6706d3e880ad375ab7eacd03',1,'cuddInt.c']]],
-  ['store',['store',['../classSVF_1_1ExeState.html#a08db85e0e599d17b54743feb03a7717a',1,'SVF::ExeState::store(const Z3Expr &loc, const Z3Expr &value)'],['../classSVF_1_1ExeState.html#ade4fc12b40dd05bf840c313f2b723879',1,'SVF::ExeState::store(u32_t objId, const Z3Expr &z3Expr)'],['../classSVF_1_1ConstraintEdge.html#a663af27955ba0c545f34fa1f076b7375a20d6a102ddc06257a822ffffcc5a3b47',1,'SVF::ConstraintEdge::Store()'],['../classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75a6df1bb8732d5402a6f40209ea8b803e8',1,'SVF::VFGNode::Store()'],['../classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9aa0f700b514c431ec5329aec49df56dcc',1,'SVF::SVFStmt::Store()']]],
+  ['store',['Store',['../classSVF_1_1ConstraintEdge.html#a663af27955ba0c545f34fa1f076b7375a20d6a102ddc06257a822ffffcc5a3b47',1,'SVF::ConstraintEdge::Store()'],['../classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75a6df1bb8732d5402a6f40209ea8b803e8',1,'SVF::VFGNode::Store()'],['../classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9aa0f700b514c431ec5329aec49df56dcc',1,'SVF::SVFStmt::Store()'],['../classSVF_1_1ExeState.html#a08db85e0e599d17b54743feb03a7717a',1,'SVF::ExeState::store(const Z3Expr &loc, const Z3Expr &value)'],['../classSVF_1_1ExeState.html#ade4fc12b40dd05bf840c313f2b723879',1,'SVF::ExeState::store(u32_t objId, const Z3Expr &z3Expr)']]],
   ['store2chisetmap',['store2ChiSetMap',['../classSVF_1_1MemSSA.html#a73d7465cf166d9ffa9d234d15edb375a',1,'SVF::MemSSA']]],
   ['storecgedge',['StoreCGEdge',['../classSVF_1_1StoreCGEdge.html',1,'SVF::StoreCGEdge'],['../classSVF_1_1StoreCGEdge.html#a667b277ef845b866d3b11a7fbfce0815',1,'SVF::StoreCGEdge::StoreCGEdge()'],['../classSVF_1_1StoreCGEdge.html#a0f873b0be0ac726e412171119c5b3a50',1,'SVF::StoreCGEdge::StoreCGEdge(const StoreCGEdge &)'],['../classSVF_1_1StoreCGEdge.html#afdba4e02b1ccdc19fdc18bbe43363e79',1,'SVF::StoreCGEdge::StoreCGEdge(ConstraintNode *s, ConstraintNode *d, EdgeID id)']]],
   ['storecgedgeset',['StoreCGEdgeSet',['../classSVF_1_1ConstraintGraph.html#a0f9d5eef25827ac1d380e5d8bd225025',1,'SVF::ConstraintGraph']]],
-  ['storechi',['StoreCHI',['../classSVF_1_1StoreCHI.html',1,'SVF::StoreCHI< Cond >'],['../classSVF_1_1SVFG.html#ad14cdbb3f1df1f716aa03b4d39f4e52b',1,'SVF::SVFG::STORECHI()'],['../classSVF_1_1MemSSA.html#a150e9d53ced1c143bba2d1026f739fa4',1,'SVF::MemSSA::STORECHI()'],['../classSVF_1_1StoreCHI.html#a34433e6e437d302014fd06b5fb624a79',1,'SVF::StoreCHI::StoreCHI()']]],
+  ['storechi',['StoreCHI',['../classSVF_1_1StoreCHI.html',1,'SVF::StoreCHI< Cond >'],['../classSVF_1_1StoreCHI.html#a34433e6e437d302014fd06b5fb624a79',1,'SVF::StoreCHI::StoreCHI()'],['../classSVF_1_1SVFG.html#ad14cdbb3f1df1f716aa03b4d39f4e52b',1,'SVF::SVFG::STORECHI()'],['../classSVF_1_1MemSSA.html#a150e9d53ced1c143bba2d1026f739fa4',1,'SVF::MemSSA::STORECHI()']]],
   ['storedd',['storedd',['../cuddInt_8c.html#a8ed518c7fe7ea969bd6981b71c37ec07',1,'storedd(): cuddInt.c'],['../cuddInt_8c.html#ad90b4208ba9aa22e8f37b1ce723cdcf5',1,'STOREDD(): cuddInt.c']]],
   ['storedstnodes',['storeDstNodes',['../classSVF_1_1AliasDDAClient.html#aaad2197cec53f7eae91b3c57c168447a',1,'SVF::AliasDDAClient']]],
   ['storeedgelabelcounter',['storeEdgeLabelCounter',['../classSVF_1_1SVFStmt.html#a53b7e0d8666e37c23dc2c7d0fc931f27',1,'SVF::SVFStmt']]],
@@ -320,11 +316,10 @@ var searchData=
   ['storeinst',['StoreInst',['../namespaceSVF.html#ab696aab940eb187dc81217efe8649af5',1,'SVF']]],
   ['storemssachi',['StoreMSSACHI',['../classSVF_1_1MSSADEF.html#a32682e20c9c08d2bdd5abc62ea17af18ac9b53519d32443a72c04e771489aba43',1,'SVF::MSSADEF']]],
   ['storeoutedges',['storeOutEdges',['../classSVF_1_1ConstraintNode.html#a8d28c94a72acf221177aeae135f73ec1',1,'SVF::ConstraintNode']]],
-  ['storereuse',['storeReuse',['../classSVF_1_1FlowSensitiveTBHC.html#ac7ed9100533dc399c71cdf017bfa2462',1,'SVF::FlowSensitiveTBHC']]],
   ['storeset',['StoreSet',['../classSVF_1_1MTA.html#a891e56104b9c2daa8b052e3821e85b9b',1,'SVF::MTA::StoreSet()'],['../classSVF_1_1MTAAnnotator.html#a37df9f2416685c535be2faa01e162f3a',1,'SVF::MTAAnnotator::storeset()']]],
   ['storestmt',['StoreStmt',['../classSVF_1_1StoreStmt.html',1,'SVF::StoreStmt'],['../classSVF_1_1StoreStmt.html#acbea1ddbde90259b668b21f80f56cfbb',1,'SVF::StoreStmt::StoreStmt()'],['../classSVF_1_1StoreStmt.html#a22bc2f9290dfd7ade13ba63cc983ac42',1,'SVF::StoreStmt::StoreStmt(const StoreStmt &)'],['../classSVF_1_1StoreStmt.html#a39ee0d8cc951aff0d6418a3d743fb3ae',1,'SVF::StoreStmt::StoreStmt(SVFVar *s, SVFVar *d, const IntraICFGNode *st)']]],
-  ['storestomrsmap',['StoresToMRsMap',['../classSVF_1_1MRGenerator.html#afacb458ca832ef459e873b7d90134a8c',1,'SVF::MRGenerator::StoresToMRsMap()'],['../classSVF_1_1MRGenerator.html#a255551fd3ff8fb33bcea93d0b00280b3',1,'SVF::MRGenerator::storesToMRsMap()']]],
-  ['storestopointstomap',['storesToPointsToMap',['../classSVF_1_1MRGenerator.html#a7d86f708743a59aa31c0a9fd6de45dac',1,'SVF::MRGenerator::storesToPointsToMap()'],['../classSVF_1_1MRGenerator.html#a357e1654e30b2f91f6ea30ea5a52e91d',1,'SVF::MRGenerator::StoresToPointsToMap()']]],
+  ['storestomrsmap',['storesToMRsMap',['../classSVF_1_1MRGenerator.html#a255551fd3ff8fb33bcea93d0b00280b3',1,'SVF::MRGenerator::storesToMRsMap()'],['../classSVF_1_1MRGenerator.html#afacb458ca832ef459e873b7d90134a8c',1,'SVF::MRGenerator::StoresToMRsMap()']]],
+  ['storestopointstomap',['StoresToPointsToMap',['../classSVF_1_1MRGenerator.html#a357e1654e30b2f91f6ea30ea5a52e91d',1,'SVF::MRGenerator::StoresToPointsToMap()'],['../classSVF_1_1MRGenerator.html#a7d86f708743a59aa31c0a9fd6de45dac',1,'SVF::MRGenerator::storesToPointsToMap()']]],
   ['storesvfgnode',['StoreSVFGNode',['../namespaceSVF.html#a54c5725186e66ead6faf53c10a288714',1,'SVF']]],
   ['storetime',['storeTime',['../classSVF_1_1FlowSensitive.html#a82b76087363b26fbe749653935569de7',1,'SVF::FlowSensitive']]],
   ['storetochisetmap',['StoreToChiSetMap',['../classSVF_1_1MemSSA.html#acfee1bb5534026ce991a1ab5e796c6b9',1,'SVF::MemSSA']]],
@@ -386,7 +381,7 @@ var searchData=
   ['svfbb',['SVFBB',['../classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860ea732cb3760ef56163428add79824174f4',1,'SVF::SVFValue']]],
   ['svffunc',['SVFFunc',['../classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860ea4582a3728eda9f58c4e7d069e4fec577',1,'SVF::SVFValue']]],
   ['svffunction',['SVFFunction',['../classSVF_1_1SVFFunction.html',1,'SVF::SVFFunction'],['../classSVF_1_1SVFFunction.html#aed73a0604a9fc5b6560ce87cfeaa3944',1,'SVF::SVFFunction::SVFFunction(const std::string &val)'],['../classSVF_1_1SVFFunction.html#ae7a55d86a87088f7d70254980e4325b3',1,'SVF::SVFFunction::SVFFunction(Function *f)']]],
-  ['svfg',['SVFG',['../classSVF_1_1SVFG.html',1,'SVF::SVFG'],['../classSVF_1_1SVFG.html#a68965c5a9cc5136aa0b593851c60ff12',1,'SVF::SVFG::SVFG()'],['../classSVF_1_1SVFGBuilder.html#a26bc3b9c07472e454bc567cd8746caef',1,'SVF::SVFGBuilder::svfg()'],['../classSVF_1_1ProgSlice.html#a457a759c552a1418538769d79d7a7dde',1,'SVF::ProgSlice::svfg()'],['../classSVF_1_1SrcSnkDDA.html#ae657ebdeae8a083cfec210859a0023e4',1,'SVF::SrcSnkDDA::svfg()'],['../classSVF_1_1FlowSensitive.html#aae032e5f5d53b131d0112dc8faa464a9',1,'SVF::FlowSensitive::svfg()']]],
+  ['svfg',['SVFG',['../classSVF_1_1SVFG.html',1,'SVF::SVFG'],['../classSVF_1_1SVFGBuilder.html#a26bc3b9c07472e454bc567cd8746caef',1,'SVF::SVFGBuilder::svfg()'],['../classSVF_1_1ProgSlice.html#a457a759c552a1418538769d79d7a7dde',1,'SVF::ProgSlice::svfg()'],['../classSVF_1_1SrcSnkDDA.html#ae657ebdeae8a083cfec210859a0023e4',1,'SVF::SrcSnkDDA::svfg()'],['../classSVF_1_1FlowSensitive.html#aae032e5f5d53b131d0112dc8faa464a9',1,'SVF::FlowSensitive::svfg()'],['../classSVF_1_1SVFG.html#a68965c5a9cc5136aa0b593851c60ff12',1,'SVF::SVFG::SVFG()']]],
   ['svfg_2ecpp',['SVFG.cpp',['../SVFG_8cpp.html',1,'']]],
   ['svfg_2eh',['SVFG.h',['../SVFG_8h.html',1,'']]],
   ['svfgbuilder',['SVFGBuilder',['../classSVF_1_1SVFGBuilder.html',1,'SVF::SVFGBuilder'],['../classSVF_1_1DDAVFSolver.html#a0d563fe8b016b27a58f5b054fec9c38a',1,'SVF::DDAVFSolver::svfgBuilder()'],['../classSVF_1_1SVFG.html#ab2f81db3935389480baa5cb14e15e9d7',1,'SVF::SVFG::SVFGBuilder()'],['../classSVF_1_1SVFGBuilder.html#a003c6d9e13e5f73e0648d97400f1854e',1,'SVF::SVFGBuilder::SVFGBuilder()']]],
@@ -408,7 +403,7 @@ var searchData=
   ['svfgnodelockspan',['SVFGNodeLockSpan',['../classSVF_1_1SVFGNodeLockSpan.html',1,'SVF::SVFGNodeLockSpan'],['../classSVF_1_1SVFGNodeLockSpan.html#a43f4d595b31259576b141cb99883938e',1,'SVF::SVFGNodeLockSpan::SVFGNodeLockSpan()']]],
   ['svfgnodeset',['SVFGNodeSet',['../classSVF_1_1SVFGOPT.html#a07874e1a77bcd5ff593757d202a4edd6',1,'SVF::SVFGOPT::SVFGNodeSet()'],['../classSVF_1_1SVFGStat.html#aee5ecd6a92c40e1e27197869028689c4',1,'SVF::SVFGStat::SVFGNodeSet()'],['../classSVF_1_1MTASVFGBuilder.html#a467e7b445394acb735b1b24ce39e966a',1,'SVF::MTASVFGBuilder::SVFGNodeSet()'],['../classSVF_1_1ProgSlice.html#a4864972e12f3e95f06bcf2bf8c847b3a',1,'SVF::ProgSlice::SVFGNodeSet()'],['../classSVF_1_1SaberSVFGBuilder.html#a298a94f9b368e37767935a42e5ba954a',1,'SVF::SaberSVFGBuilder::SVFGNodeSet()'],['../classSVF_1_1SrcSnkDDA.html#a19f02a14ee669fadc37fde3816fa2f84',1,'SVF::SrcSnkDDA::SVFGNodeSet()']]],
   ['svfgnodesetiter',['SVFGNodeSetIter',['../classSVF_1_1ProgSlice.html#af41c438baa739406a35bcb2e9ba431dd',1,'SVF::ProgSlice::SVFGNodeSetIter()'],['../classSVF_1_1SrcSnkDDA.html#ad6935e27bbd95d26a01b22b879efed58',1,'SVF::SrcSnkDDA::SVFGNodeSetIter()']]],
-  ['svfgnodetocondmap',['SVFGNodeToCondMap',['../classSVF_1_1ProgSlice.html#ae16157bd0b66dfb3cc18b778a745ed00',1,'SVF::ProgSlice::SVFGNodeToCondMap()'],['../classSVF_1_1ProgSlice.html#aeda61b2786b128e8c45089de60dcafce',1,'SVF::ProgSlice::svfgNodeToCondMap()']]],
+  ['svfgnodetocondmap',['svfgNodeToCondMap',['../classSVF_1_1ProgSlice.html#aeda61b2786b128e8c45089de60dcafce',1,'SVF::ProgSlice::svfgNodeToCondMap()'],['../classSVF_1_1ProgSlice.html#ae16157bd0b66dfb3cc18b778a745ed00',1,'SVF::ProgSlice::SVFGNodeToCondMap()']]],
   ['svfgnodetocsidmap',['SVFGNodeToCSIDMap',['../classSVF_1_1LeakChecker.html#a90c7275babe222f006233d2f2d2b6700',1,'SVF::LeakChecker']]],
   ['svfgnodetodpitemsmap',['SVFGNodeToDPItemsMap',['../classSVF_1_1SrcSnkDDA.html#a4f9de61860db86668606f0c276ce8117',1,'SVF::SrcSnkDDA']]],
   ['svfgnodetoslicemap',['SVFGNodeToSliceMap',['../classSVF_1_1SrcSnkDDA.html#ac96c2f09dee260b4378eae7eb67b21e4',1,'SVF::SrcSnkDDA']]],
@@ -421,13 +416,13 @@ var searchData=
   ['svfgreadwrite_2ecpp',['SVFGReadWrite.cpp',['../SVFGReadWrite_8cpp.html',1,'']]],
   ['svfgscc',['SVFGSCC',['../classSVF_1_1DDAPass.html#a5e51ac666db439865846b835bcea9d21',1,'SVF::DDAPass::SVFGSCC()'],['../classSVF_1_1DDAVFSolver.html#a502207f81ed22fa42f9e18ccba83ad4e',1,'SVF::DDAVFSolver::SVFGSCC()'],['../classSVF_1_1SVFGStat.html#a149edd19cd5adafec13cbb49c590f0a8',1,'SVF::SVFGStat::SVFGSCC()']]],
   ['svfgsccdetection',['SVFGSCCDetection',['../classSVF_1_1DDAVFSolver.html#aba0ec611a5cfd096ac0b8b11e0bd5580',1,'SVF::DDAVFSolver']]],
-  ['svfgstat',['SVFGStat',['../classSVF_1_1SVFGStat.html',1,'SVF::SVFGStat'],['../classSVF_1_1SVFGStat.html#ae61d5bd92ef495a0f6c2f9dedac3da03',1,'SVF::SVFGStat::SVFGStat()'],['../classSVF_1_1FlowSensitive.html#a5f015d8f2b0956306822172d02b415c3',1,'SVF::FlowSensitive::svfgStat()']]],
+  ['svfgstat',['SVFGStat',['../classSVF_1_1SVFGStat.html',1,'SVF::SVFGStat'],['../classSVF_1_1FlowSensitive.html#a5f015d8f2b0956306822172d02b415c3',1,'SVF::FlowSensitive::svfgStat()'],['../classSVF_1_1SVFGStat.html#ae61d5bd92ef495a0f6c2f9dedac3da03',1,'SVF::SVFGStat::SVFGStat()']]],
   ['svfgstat_2ecpp',['SVFGStat.cpp',['../SVFGStat_8cpp.html',1,'']]],
   ['svfgstat_2eh',['SVFGStat.h',['../SVFGStat_8h.html',1,'']]],
   ['svfgwithindcall',['SVFGWithIndCall',['../classSVF_1_1SVFGBuilder.html#a70de38086437635d2e44d2a0c9fdded9',1,'SVF::SVFGBuilder']]],
   ['svfgwithindirectcall',['SVFGWithIndirectCall',['../classSVF_1_1Options.html#a982b4cd71ccafd07d94f10a0a2e953c2',1,'SVF::Options']]],
   ['svfinst',['SVFInst',['../classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860eacb5f1f872986a8f8bccd9a3b3904e9dd',1,'SVF::SVFValue']]],
-  ['svfir',['SVFIR',['../classSVF_1_1SVFIR.html',1,'SVF::SVFIR'],['../classSVF_1_1SVFVar.html#a6dbb40e8ee92033b77440c44acd8a868',1,'SVF::SVFVar::SVFIR()'],['../classSVF_1_1SVFIR.html#abf511f82cdbf7a6d9b6da167aee57636',1,'SVF::SVFIR::SVFIR()'],['../classSVF_1_1CFLAlias.html#a0bf4ce7e4fb3d1d95608c06420cc65dc',1,'SVF::CFLAlias::svfir()']]],
+  ['svfir',['SVFIR',['../classSVF_1_1SVFIR.html',1,'SVF::SVFIR'],['../classSVF_1_1CFLAlias.html#a0bf4ce7e4fb3d1d95608c06420cc65dc',1,'SVF::CFLAlias::svfir()'],['../classSVF_1_1SVFVar.html#a6dbb40e8ee92033b77440c44acd8a868',1,'SVF::SVFVar::SVFIR()'],['../classSVF_1_1SVFIR.html#abf511f82cdbf7a6d9b6da167aee57636',1,'SVF::SVFIR::SVFIR()']]],
   ['svfir_2ecpp',['SVFIR.cpp',['../SVFIR_8cpp.html',1,'']]],
   ['svfir_2eh',['SVFIR.h',['../SVFIR_8h.html',1,'']]],
   ['svfirbuilder',['SVFIRBuilder',['../classSVF_1_1SVFIRBuilder.html',1,'SVF::SVFIRBuilder'],['../classSVF_1_1SVFIR.html#a46fadea4d08baefc8fbc1d8928da7f6b',1,'SVF::SVFIR::SVFIRBuilder()'],['../classSVF_1_1SVFIRBuilder.html#a8c25c3903cda26312f182014f29069fc',1,'SVF::SVFIRBuilder::SVFIRBuilder()']]],

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

@@ -7,8 +7,6 @@ var searchData=
   ['taintsvfgbuilder',['TaintSVFGBuilder',['../classSVF_1_1SVFG.html#a665c93b68f49078c281270a028d04445',1,'SVF::SVFG']]],
   ['taintuninitheap',['TaintUninitHeap',['../classSVF_1_1Options.html#a40080aa0a7c926c6f2797e3d7856c03e',1,'SVF::Options']]],
   ['taintuninitstack',['TaintUninitStack',['../classSVF_1_1Options.html#aa1d9db53dbb6e1364662a8297a744bbc',1,'SVF::Options']]],
-  ['tbhcallreuse',['TBHCAllReuse',['../classSVF_1_1Options.html#a930ed87e35ba7502f9d00be6f17f902f',1,'SVF::Options']]],
-  ['tbhcstorereuse',['TBHCStoreReuse',['../classSVF_1_1Options.html#a10cc9fa1d4e553865343d635cf84592e',1,'SVF::Options']]],
   ['tcg',['tcg',['../classSVF_1_1MHP.html#a4b73d112880ad940e078e801f8725799',1,'SVF::MHP::tcg()'],['../classSVF_1_1MTA.html#a308ca0fa99b3c95f3e62b27522b6aeaa',1,'SVF::MTA::tcg()'],['../classSVF_1_1MTAResultValidator.html#abe087e2e8d92aa218ef282d2493193ef',1,'SVF::MTAResultValidator::tcg()'],['../classSVF_1_1TCT.html#ac9ddd6559e818f37c018ed5435182363',1,'SVF::TCT::tcg()']]],
   ['tcgscc',['tcgSCC',['../classSVF_1_1TCT.html#a30662928bafc97c1e7b123270ca69980',1,'SVF::TCT']]],
   ['tct',['TCT',['../classSVF_1_1TCT.html',1,'SVF::TCT'],['../classSVF_1_1TCT.html#a8eaa746805b0afc17329d0ba4ad6a887',1,'SVF::TCT::TCT()'],['../classSVF_1_1LockAnalysis.html#a2c4a69b0f2381142c172b3043943c79d',1,'SVF::LockAnalysis::tct()'],['../classSVF_1_1MHP.html#a176eefb65e4ba99ee70513c8add44176',1,'SVF::MHP::tct()'],['../classSVF_1_1ForkJoinAnalysis.html#a2c6ce7aa04c399746d89230be0e0f1ce',1,'SVF::ForkJoinAnalysis::tct()'],['../classSVF_1_1MTA.html#a9c9a42fb8a8ada910cdb9a8fb55d7c36',1,'SVF::MTA::tct()']]],
@@ -43,7 +41,7 @@ var searchData=
   ['td_5ftype',['TD_TYPE',['../classSVF_1_1ThreadAPI.html#a38a7516702c55ab418167b7c850516b3',1,'SVF::ThreadAPI']]],
   ['tdalive',['TDAlive',['../classSVF_1_1ForkJoinAnalysis.html#a8d40e687caf8999369621ed385dfc631a2abecc56b7d5c644f7e14c98d33d0a0a',1,'SVF::ForkJoinAnalysis']]],
   ['tdapi',['tdAPI',['../classSVF_1_1ThreadCallGraph.html#af1146c3d8e8b8885a1c48701e5b5a27f',1,'SVF::ThreadCallGraph::tdAPI()'],['../classSVF_1_1MTAResultValidator.html#aa0ca978e95529568edc4bdac1ffac110',1,'SVF::MTAResultValidator::tdAPI()'],['../classSVF_1_1PCG.html#a8215dc3643d1c4fb3d489e80cd3db336',1,'SVF::PCG::tdAPI()'],['../classSVF_1_1ThreadAPI.html#a2faebd2e481362b11ccce4256f81c32d',1,'SVF::ThreadAPI::tdAPI()']]],
-  ['tdapimap',['TDAPIMap',['../classSVF_1_1SaberCheckerAPI.html#a7acbb76087b863393e0214c77bb934b2',1,'SVF::SaberCheckerAPI::TDAPIMap()'],['../classSVF_1_1ThreadAPI.html#abad7c113fd56c30537444ae4bdff2144',1,'SVF::ThreadAPI::TDAPIMap()'],['../classSVF_1_1SaberCheckerAPI.html#a62471599cba4bde20d2696a91fa064ec',1,'SVF::SaberCheckerAPI::tdAPIMap()'],['../classSVF_1_1ThreadAPI.html#a4277abaae24b43d83470054c247f479c',1,'SVF::ThreadAPI::tdAPIMap()']]],
+  ['tdapimap',['tdAPIMap',['../classSVF_1_1SaberCheckerAPI.html#a62471599cba4bde20d2696a91fa064ec',1,'SVF::SaberCheckerAPI::tdAPIMap()'],['../classSVF_1_1ThreadAPI.html#a4277abaae24b43d83470054c247f479c',1,'SVF::ThreadAPI::tdAPIMap()'],['../classSVF_1_1SaberCheckerAPI.html#a7acbb76087b863393e0214c77bb934b2',1,'SVF::SaberCheckerAPI::TDAPIMap()'],['../classSVF_1_1ThreadAPI.html#abad7c113fd56c30537444ae4bdff2144',1,'SVF::ThreadAPI::TDAPIMap()']]],
   ['tddead',['TDDead',['../classSVF_1_1ForkJoinAnalysis.html#a8d40e687caf8999369621ed385dfc631ad5af2a561c196e33d88fc63363d0d8f4',1,'SVF::ForkJoinAnalysis']]],
   ['tdforkedge',['TDForkEdge',['../classSVF_1_1PTACallGraphEdge.html#a9738544725458bb022b8d5f2dbd281f7af32caf15ca19d512b5183bcf0d859cd7',1,'SVF::PTACallGraphEdge']]],
   ['tdforkpe',['TDForkPE',['../classSVF_1_1TDForkPE.html',1,'SVF::TDForkPE'],['../classSVF_1_1TDForkPE.html#a8d474c87f2f641336064270536fae8ae',1,'SVF::TDForkPE::TDForkPE()'],['../classSVF_1_1TDForkPE.html#ad55687afd603a027c4d7124061fce40b',1,'SVF::TDForkPE::TDForkPE(const TDForkPE &)'],['../classSVF_1_1TDForkPE.html#ae28fa8ad500a11208410adbfd0d19ea5',1,'SVF::TDForkPE::TDForkPE(SVFVar *s, SVFVar *d, const CallICFGNode *i, const FunEntryICFGNode *entry)']]],
@@ -89,16 +87,16 @@ var searchData=
   ['timelimit',['timeLimit',['../structDdManager.html#a6c14f932c4a66c6234e6b19bd8b6647f',1,'DdManager']]],
   ['timelimitreached',['timeLimitReached',['../namespaceSVF_1_1SVFUtil.html#add4cd21115988f9f5eec12e268ddf1d9',1,'SVF::SVFUtil']]],
   ['timeofcollapse',['timeOfCollapse',['../classSVF_1_1AndersenBase.html#ad40b196c2c699bd115529b806d20de25',1,'SVF::AndersenBase']]],
-  ['timeofcreatemuchi',['TimeOfCreateMUCHI',['../classSVF_1_1MemSSAStat.html#a48c70f0ed1c7d031a3cd528035162e52',1,'SVF::MemSSAStat::TimeOfCreateMUCHI()'],['../classSVF_1_1MemSSA.html#a4d2418b7df74f23d8fd328f66e29f198',1,'SVF::MemSSA::timeOfCreateMUCHI()']]],
+  ['timeofcreatemuchi',['timeOfCreateMUCHI',['../classSVF_1_1MemSSA.html#a4d2418b7df74f23d8fd328f66e29f198',1,'SVF::MemSSA::timeOfCreateMUCHI()'],['../classSVF_1_1MemSSAStat.html#a48c70f0ed1c7d031a3cd528035162e52',1,'SVF::MemSSAStat::TimeOfCreateMUCHI()']]],
   ['timeofgeneratingmemregions',['timeOfGeneratingMemRegions',['../classSVF_1_1MemSSA.html#a37dca8a7d155de4870358146d219b5e5',1,'SVF::MemSSA::timeOfGeneratingMemRegions()'],['../classSVF_1_1MemSSAStat.html#a74c36654b7452aa94aa241881f0a83c5',1,'SVF::MemSSAStat::TimeOfGeneratingMemRegions()']]],
-  ['timeofinsertingphi',['TimeOfInsertingPHI',['../classSVF_1_1MemSSAStat.html#a0c24822c8549af6a96e82312954fab9b',1,'SVF::MemSSAStat::TimeOfInsertingPHI()'],['../classSVF_1_1MemSSA.html#a3c7b5fa73fdc7c805ee3673fbe812b44',1,'SVF::MemSSA::timeOfInsertingPHI()']]],
+  ['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_1MemSSAStat.html#a887ff23a7ea1a18f08b1744ff30da773',1,'SVF::MemSSAStat::TimeOfSSARenaming()'],['../classSVF_1_1MemSSA.html#a97ccd5e0b9ab6144415e26bdf95cbabd',1,'SVF::MemSSA::timeOfSSARenaming()']]],
+  ['timeofssarenaming',['timeOfSSARenaming',['../classSVF_1_1MemSSA.html#a97ccd5e0b9ab6144415e26bdf95cbabd',1,'SVF::MemSSA::timeOfSSARenaming()'],['../classSVF_1_1MemSSAStat.html#a887ff23a7ea1a18f08b1744ff30da773',1,'SVF::MemSSAStat::TimeOfSSARenaming()']]],
   ['timeofupdatecallgraph',['timeOfUpdateCallGraph',['../classSVF_1_1AndersenBase.html#a2afb49f513c9534fd051117b59dc056b',1,'SVF::AndersenBase']]],
-  ['timestatmap',['TIMEStatMap',['../classSVF_1_1PTAStat.html#a28f304e7095f3843ca4cc017bc1f7b10',1,'SVF::PTAStat::TIMEStatMap()'],['../classSVF_1_1PTAStat.html#a3724756ac0527ba3d199be32e38c6337',1,'SVF::PTAStat::timeStatMap()']]],
+  ['timestatmap',['timeStatMap',['../classSVF_1_1PTAStat.html#a3724756ac0527ba3d199be32e38c6337',1,'SVF::PTAStat::timeStatMap()'],['../classSVF_1_1PTAStat.html#a28f304e7095f3843ca4cc017bc1f7b10',1,'SVF::PTAStat::TIMEStatMap()']]],
   ['tinterphi',['TInterPhi',['../classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75aa501e9891cbacea3950d80aa6071ec69',1,'SVF::VFGNode']]],
   ['tintraphi',['TIntraPhi',['../classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75a3d97c6d57d8d2e7387715f4eb719f727',1,'SVF::VFGNode']]],
   ['tlptdata',['tlPTData',['../classSVF_1_1MutableVersionedPTData.html#a01974968b7cf60a4231cc83c93b26d7f',1,'SVF::MutableVersionedPTData::tlPTData()'],['../classSVF_1_1PersistentVersionedPTData.html#a29104a2d53d94805e142f778d3d21ad5',1,'SVF::PersistentVersionedPTData::tlPTData()']]],
@@ -108,7 +106,7 @@ var searchData=
   ['to_5fstring',['to_string',['../classSVF_1_1Z3Expr.html#a1da8e647e12c0e105271eadbd72f437e',1,'SVF::Z3Expr']]],
   ['tonodebs',['toNodeBS',['../classSVF_1_1PointsTo.html#ae4749cf6dc43645e2479cefbcc246637',1,'SVF::PointsTo']]],
   ['toponodestack',['topoNodeStack',['../classSVF_1_1SCCDetection.html#a6502c0a765ac1653474ffee651949f93',1,'SVF::SCCDetection']]],
-  ['tostring',['toString',['../classSVF_1_1ICFGEdge.html#a7233609f62f278b738036e8de9bbbfc8',1,'SVF::ICFGEdge::toString()'],['../classSVF_1_1IntraCFGEdge.html#a1e63286b4d6f757ac1220f5f03ae62de',1,'SVF::IntraCFGEdge::toString()'],['../classSVF_1_1CallCFGEdge.html#a2ad72b065dcb752e0779de9ff69c443a',1,'SVF::CallCFGEdge::toString()'],['../classSVF_1_1RetCFGEdge.html#aca97e28617505e482b014dc805cb70aa',1,'SVF::RetCFGEdge::toString()'],['../classSVF_1_1ICFGNode.html#af1b6fd9ea200ab0ff51d48a4872c921a',1,'SVF::ICFGNode::toString()'],['../classSVF_1_1GlobalICFGNode.html#ada960e5bdba75c165a67b33c09819c47',1,'SVF::GlobalICFGNode::toString()'],['../classSVF_1_1IntraICFGNode.html#a85d3e05cb5a95c2f9d678d9f010419a5',1,'SVF::IntraICFGNode::toString()'],['../classSVF_1_1FunEntryICFGNode.html#a3e9032ea2388682e568b6324fe8e4882',1,'SVF::FunEntryICFGNode::toString()'],['../classSVF_1_1FunExitICFGNode.html#aa73e5a5e577b789842987fec2fb307f9',1,'SVF::FunExitICFGNode::toString()'],['../classSVF_1_1CallICFGNode.html#ab07e504bbc100fa3e111d62de815a88c',1,'SVF::CallICFGNode::toString()'],['../classSVF_1_1RetICFGNode.html#ab0b54268167a593e2db9d02d3dd9c4f1',1,'SVF::RetICFGNode::toString()'],['../classSVF_1_1PTACallGraphEdge.html#a27979e812ced26f114369b46e1536b02',1,'SVF::PTACallGraphEdge::toString()'],['../classSVF_1_1PTACallGraphNode.html#a57f173a28c2a153d37cb63d451e62973',1,'SVF::PTACallGraphNode::toString()'],['../classSVF_1_1IndirectSVFGEdge.html#a33e6221e5005fda68903f4cdadf58ce8',1,'SVF::IndirectSVFGEdge::toString()'],['../classSVF_1_1IntraIndSVFGEdge.html#ae148fda488b6505a6cc4103aae30e291',1,'SVF::IntraIndSVFGEdge::toString()'],['../classSVF_1_1CallIndSVFGEdge.html#a06cc5ba2c5be41bf38e4fad0c031138e',1,'SVF::CallIndSVFGEdge::toString()'],['../classSVF_1_1RetIndSVFGEdge.html#a58502c0881d2d8dccf9dd09385e08dc5',1,'SVF::RetIndSVFGEdge::toString()'],['../classSVF_1_1ThreadMHPIndSVFGEdge.html#a09b7fef74030eecc6fa7b83a15c12521',1,'SVF::ThreadMHPIndSVFGEdge::toString()'],['../classSVF_1_1MRSVFGNode.html#a232213efbfa9e21b7410de6b4040c475',1,'SVF::MRSVFGNode::toString()'],['../classSVF_1_1FormalINSVFGNode.html#a4022ecd01a88758b5fa7d22856c89745',1,'SVF::FormalINSVFGNode::toString()'],['../classSVF_1_1FormalOUTSVFGNode.html#a45b1aafb8a2464c868c5249b37e9ff0a',1,'SVF::FormalOUTSVFGNode::toString()'],['../classSVF_1_1ActualINSVFGNode.html#a5f583665f7e094dc4f7c387f4522a1a5',1,'SVF::ActualINSVFGNode::toString()'],['../classSVF_1_1ActualOUTSVFGNode.html#a460d0d6f338c33e39d810f7921237b5c',1,'SVF::ActualOUTSVFGNode::toString()'],['../classSVF_1_1MSSAPHISVFGNode.html#a1a07b3e8da65d17c16ed34a4f66b80dd',1,'SVF::MSSAPHISVFGNode::toString()'],['../classSVF_1_1IntraMSSAPHISVFGNode.html#ad463be283dcad18654cee4311d071a47',1,'SVF::IntraMSSAPHISVFGNode::toString()'],['../classSVF_1_1InterMSSAPHISVFGNode.html#a286e9064de854a84bdd2efe8f7d73688',1,'SVF::InterMSSAPHISVFGNode::toString()'],['../classSVF_1_1ThreadForkEdge.html#acdc2ff9ad9800847b581e9d27efd3843',1,'SVF::ThreadForkEdge::toString()'],['../classSVF_1_1ThreadJoinEdge.html#a67b68672ef76e0a4f326f7dbbd77bbf7',1,'SVF::ThreadJoinEdge::toString()'],['../classSVF_1_1VFGEdge.html#a8f4bec008af7cd1a89870715eaa91a7b',1,'SVF::VFGEdge::toString()'],['../classSVF_1_1DirectSVFGEdge.html#aa8d70214eb0242c3f2baaa506c12852c',1,'SVF::DirectSVFGEdge::toString()'],['../classSVF_1_1IntraDirSVFGEdge.html#a1c8dc17717409aa42749181aafd155aa',1,'SVF::IntraDirSVFGEdge::toString()'],['../classSVF_1_1CallDirSVFGEdge.html#af07decd05375f56baa4a1c4fe70bc3f1',1,'SVF::CallDirSVFGEdge::toString()'],['../classSVF_1_1RetDirSVFGEdge.html#a6282c2619d843cf90575886a0ef81edf',1,'SVF::RetDirSVFGEdge::toString()'],['../classSVF_1_1VFGNode.html#a0342b5a6f270f4ff0e8e2a9b0082c6c5',1,'SVF::VFGNode::toString()'],['../classSVF_1_1StmtVFGNode.html#aa5011ff12de490146ab106e90d0b6ad8',1,'SVF::StmtVFGNode::toString()'],['../classSVF_1_1LoadVFGNode.html#aad3591f38e30c5168d4accb76ac8dc04',1,'SVF::LoadVFGNode::toString()'],['../classSVF_1_1StoreVFGNode.html#aba7e8b8329caf412a55f5880f68414fe',1,'SVF::StoreVFGNode::toString()'],['../classSVF_1_1CopyVFGNode.html#ad86bbc5ec4a9ea226364a84e04724b37',1,'SVF::CopyVFGNode::toString()'],['../classSVF_1_1CmpVFGNode.html#aa08c4475c47beb0d026acab859d68117',1,'SVF::CmpVFGNode::toString()'],['../classSVF_1_1BinaryOPVFGNode.html#aa743cf19c5dc91dbb0c7b8981fecc6c4',1,'SVF::BinaryOPVFGNode::toString()'],['../classSVF_1_1UnaryOPVFGNode.html#ad0b45546c62bdef367149b58f530f89d',1,'SVF::UnaryOPVFGNode::toString()'],['../classSVF_1_1BranchVFGNode.html#a131fe96308f67b307ea08e645b019e13',1,'SVF::BranchVFGNode::toString()'],['../classSVF_1_1GepVFGNode.html#ad27376633c939952878d5d73621ec638',1,'SVF::GepVFGNode::toString()'],['../classSVF_1_1PHIVFGNode.html#a7fb9cbed3718922cd81b18d069c79aea',1,'SVF::PHIVFGNode::toString()'],['../classSVF_1_1IntraPHIVFGNode.html#a145413d87e9174b5eb70b871b9dfa13e',1,'SVF::IntraPHIVFGNode::toString()'],['../classSVF_1_1AddrVFGNode.html#ac26fbce400355f43fdc22ad88a8d9067',1,'SVF::AddrVFGNode::toString()'],['../classSVF_1_1ArgumentVFGNode.html#a3c10cd63e18f79ccc66f4687d05cb8c5',1,'SVF::ArgumentVFGNode::toString()'],['../classSVF_1_1ActualParmVFGNode.html#a60d6ce4c4fe2cf54be45e58b2b93c9f6',1,'SVF::ActualParmVFGNode::toString()'],['../classSVF_1_1FormalParmVFGNode.html#ac4e695d6ee7bb7c5ed4e273567e7c1cc',1,'SVF::FormalParmVFGNode::toString()'],['../classSVF_1_1ActualRetVFGNode.html#a4d1e7df32604becd2e2b60fe2e5cfbfa',1,'SVF::ActualRetVFGNode::toString()'],['../classSVF_1_1FormalRetVFGNode.html#ab1ae2339d7408d9156cdfe5ab4559e66',1,'SVF::FormalRetVFGNode::toString()'],['../classSVF_1_1InterPHIVFGNode.html#aff35aebdc8d955df160e51da7b666a7e',1,'SVF::InterPHIVFGNode::toString()'],['../classSVF_1_1NullPtrVFGNode.html#a75c8b89a34bfd89a4af2c699cdb626b9',1,'SVF::NullPtrVFGNode::toString()'],['../classSVF_1_1CondVar.html#a4baf5fb20288491c96827177f9965cc4',1,'SVF::CondVar::toString()'],['../classSVF_1_1CondStdSet.html#a07267b0a4f7cfeaa6d1f7d722932c4d5',1,'SVF::CondStdSet::toString()'],['../classSVF_1_1SVFStmt.html#ad0b4dbe87e009518f22360c48b0d0c22',1,'SVF::SVFStmt::toString()'],['../classSVF_1_1AssignStmt.html#abbe582a24bf4b42284f78eab5b18a90a',1,'SVF::AssignStmt::toString()'],['../classSVF_1_1AddrStmt.html#abf9453ed58c6946640a85be31512c0e8',1,'SVF::AddrStmt::toString()'],['../classSVF_1_1CopyStmt.html#ad72ccb8ab29258b7c0fb54c48e8dec3a',1,'SVF::CopyStmt::toString()'],['../classSVF_1_1StoreStmt.html#a3b9692c3de9437c4f686f646aa6b4aac',1,'SVF::StoreStmt::toString()'],['../classSVF_1_1LoadStmt.html#a5c930e62bc3b03c9dfa4a8dbe9b4df2a',1,'SVF::LoadStmt::toString()'],['../classSVF_1_1GepStmt.html#acae68ff97d408a1dd929b0348415c81d',1,'SVF::GepStmt::toString()'],['../classSVF_1_1CallPE.html#aecdf349bde9547dae7eb88c6cfd34bab',1,'SVF::CallPE::toString()'],['../classSVF_1_1RetPE.html#a68aa24dcabeae26bcc4184110fbb50ef',1,'SVF::RetPE::toString()'],['../classSVF_1_1PhiStmt.html#a09575a14aa359a0795b4d6c83bee487a',1,'SVF::PhiStmt::toString()'],['../classSVF_1_1SelectStmt.html#a7d1a9feec3ada330ed5aba9c35056b39',1,'SVF::SelectStmt::toString()'],['../classSVF_1_1CmpStmt.html#a2f050b8af64dbe5e6bace2a82167a439',1,'SVF::CmpStmt::toString()'],['../classSVF_1_1BinaryOPStmt.html#a138547516e2676c297a27d762544f2aa',1,'SVF::BinaryOPStmt::toString()'],['../classSVF_1_1UnaryOPStmt.html#a1d5eced1a537eeab82d24f451d6b7f65',1,'SVF::UnaryOPStmt::toString()'],['../classSVF_1_1BranchStmt.html#afc44edd6d1d5c855dc2169d26629377f',1,'SVF::BranchStmt::toString()'],['../classSVF_1_1TDForkPE.html#aa385dc7e7e439cb4d8ee1524c8fbf9fe',1,'SVF::TDForkPE::toString()'],['../classSVF_1_1TDJoinPE.html#accac29adba7ca4883ae161c223a1703d',1,'SVF::TDJoinPE::toString()'],['../classSVF_1_1SVFVar.html#ada932ef2ae0a3e712174df479c35b0dd',1,'SVF::SVFVar::toString()'],['../classSVF_1_1ValVar.html#a4591213dd266efd380fd916fee73c1fd',1,'SVF::ValVar::toString()'],['../classSVF_1_1ObjVar.html#a14da09447f9f0495a42a61bdd92688a3',1,'SVF::ObjVar::toString()'],['../classSVF_1_1GepValVar.html#ac9016b61dde44eb89ea715a0619994de',1,'SVF::GepValVar::toString()'],['../classSVF_1_1GepObjVar.html#aa7bfd42a92e9ebc34613818e70689218',1,'SVF::GepObjVar::toString()'],['../classSVF_1_1FIObjVar.html#ad383a7468348cf040e9dcd8515848595',1,'SVF::FIObjVar::toString()'],['../classSVF_1_1RetPN.html#a9824061477c142e5dba14af14fa53aa2',1,'SVF::RetPN::toString()'],['../classSVF_1_1VarArgPN.html#a617077176f0ea586a0cf9a4a1034e99d',1,'SVF::VarArgPN::toString()'],['../classSVF_1_1DummyValVar.html#a4da61151fed6a64cc361d69276d00b84',1,'SVF::DummyValVar::toString()'],['../classSVF_1_1DummyObjVar.html#a0888335fe157af01e647b79043c7ae40',1,'SVF::DummyObjVar::toString()'],['../classSVF_1_1CloneDummyObjVar.html#a72249d18032dfcd866d0519da3c0999b',1,'SVF::CloneDummyObjVar::toString()'],['../classSVF_1_1CloneGepObjVar.html#a74e6fea7dc651c57de3e06ff356522a5',1,'SVF::CloneGepObjVar::toString()'],['../classSVF_1_1CloneFIObjVar.html#a336acd6fdf3e6be5ea44435a1576c9fc',1,'SVF::CloneFIObjVar::toString()'],['../classSVF_1_1SymbolTableInfo.html#a7d3001549966444622d5918e5811e89e',1,'SVF::SymbolTableInfo::toString()'],['../classSVF_1_1MemObj.html#a614b26f4a3db926055a576b13842c1d7',1,'SVF::MemObj::toString()'],['../classSVF_1_1ContextCond.html#a5f73451064b22bc1aab91b22ddea1eee',1,'SVF::ContextCond::toString()']]],
+  ['tostring',['toString',['../classSVF_1_1ICFGEdge.html#a7233609f62f278b738036e8de9bbbfc8',1,'SVF::ICFGEdge::toString()'],['../classSVF_1_1IntraCFGEdge.html#a1e63286b4d6f757ac1220f5f03ae62de',1,'SVF::IntraCFGEdge::toString()'],['../classSVF_1_1CallCFGEdge.html#a2ad72b065dcb752e0779de9ff69c443a',1,'SVF::CallCFGEdge::toString()'],['../classSVF_1_1RetCFGEdge.html#aca97e28617505e482b014dc805cb70aa',1,'SVF::RetCFGEdge::toString()'],['../classSVF_1_1ICFGNode.html#af1b6fd9ea200ab0ff51d48a4872c921a',1,'SVF::ICFGNode::toString()'],['../classSVF_1_1GlobalICFGNode.html#ada960e5bdba75c165a67b33c09819c47',1,'SVF::GlobalICFGNode::toString()'],['../classSVF_1_1IntraICFGNode.html#a85d3e05cb5a95c2f9d678d9f010419a5',1,'SVF::IntraICFGNode::toString()'],['../classSVF_1_1FunEntryICFGNode.html#a3e9032ea2388682e568b6324fe8e4882',1,'SVF::FunEntryICFGNode::toString()'],['../classSVF_1_1FunExitICFGNode.html#aa73e5a5e577b789842987fec2fb307f9',1,'SVF::FunExitICFGNode::toString()'],['../classSVF_1_1CallICFGNode.html#ab07e504bbc100fa3e111d62de815a88c',1,'SVF::CallICFGNode::toString()'],['../classSVF_1_1RetICFGNode.html#ab0b54268167a593e2db9d02d3dd9c4f1',1,'SVF::RetICFGNode::toString()'],['../classSVF_1_1PTACallGraphEdge.html#a27979e812ced26f114369b46e1536b02',1,'SVF::PTACallGraphEdge::toString()'],['../classSVF_1_1PTACallGraphNode.html#a57f173a28c2a153d37cb63d451e62973',1,'SVF::PTACallGraphNode::toString()'],['../classSVF_1_1IndirectSVFGEdge.html#a33e6221e5005fda68903f4cdadf58ce8',1,'SVF::IndirectSVFGEdge::toString()'],['../classSVF_1_1IntraIndSVFGEdge.html#ae148fda488b6505a6cc4103aae30e291',1,'SVF::IntraIndSVFGEdge::toString()'],['../classSVF_1_1CallIndSVFGEdge.html#a06cc5ba2c5be41bf38e4fad0c031138e',1,'SVF::CallIndSVFGEdge::toString()'],['../classSVF_1_1RetIndSVFGEdge.html#a58502c0881d2d8dccf9dd09385e08dc5',1,'SVF::RetIndSVFGEdge::toString()'],['../classSVF_1_1ThreadMHPIndSVFGEdge.html#a09b7fef74030eecc6fa7b83a15c12521',1,'SVF::ThreadMHPIndSVFGEdge::toString()'],['../classSVF_1_1MRSVFGNode.html#a232213efbfa9e21b7410de6b4040c475',1,'SVF::MRSVFGNode::toString()'],['../classSVF_1_1FormalINSVFGNode.html#a4022ecd01a88758b5fa7d22856c89745',1,'SVF::FormalINSVFGNode::toString()'],['../classSVF_1_1FormalOUTSVFGNode.html#a45b1aafb8a2464c868c5249b37e9ff0a',1,'SVF::FormalOUTSVFGNode::toString()'],['../classSVF_1_1ActualINSVFGNode.html#a5f583665f7e094dc4f7c387f4522a1a5',1,'SVF::ActualINSVFGNode::toString()'],['../classSVF_1_1ActualOUTSVFGNode.html#a460d0d6f338c33e39d810f7921237b5c',1,'SVF::ActualOUTSVFGNode::toString()'],['../classSVF_1_1MSSAPHISVFGNode.html#a1a07b3e8da65d17c16ed34a4f66b80dd',1,'SVF::MSSAPHISVFGNode::toString()'],['../classSVF_1_1IntraMSSAPHISVFGNode.html#ad463be283dcad18654cee4311d071a47',1,'SVF::IntraMSSAPHISVFGNode::toString()'],['../classSVF_1_1InterMSSAPHISVFGNode.html#a286e9064de854a84bdd2efe8f7d73688',1,'SVF::InterMSSAPHISVFGNode::toString()'],['../classSVF_1_1ThreadForkEdge.html#acdc2ff9ad9800847b581e9d27efd3843',1,'SVF::ThreadForkEdge::toString()'],['../classSVF_1_1ThreadJoinEdge.html#a67b68672ef76e0a4f326f7dbbd77bbf7',1,'SVF::ThreadJoinEdge::toString()'],['../classSVF_1_1VFGEdge.html#a8f4bec008af7cd1a89870715eaa91a7b',1,'SVF::VFGEdge::toString()'],['../classSVF_1_1DirectSVFGEdge.html#aa8d70214eb0242c3f2baaa506c12852c',1,'SVF::DirectSVFGEdge::toString()'],['../classSVF_1_1IntraDirSVFGEdge.html#a1c8dc17717409aa42749181aafd155aa',1,'SVF::IntraDirSVFGEdge::toString()'],['../classSVF_1_1CallDirSVFGEdge.html#af07decd05375f56baa4a1c4fe70bc3f1',1,'SVF::CallDirSVFGEdge::toString()'],['../classSVF_1_1RetDirSVFGEdge.html#a6282c2619d843cf90575886a0ef81edf',1,'SVF::RetDirSVFGEdge::toString()'],['../classSVF_1_1VFGNode.html#a0342b5a6f270f4ff0e8e2a9b0082c6c5',1,'SVF::VFGNode::toString()'],['../classSVF_1_1StmtVFGNode.html#aa5011ff12de490146ab106e90d0b6ad8',1,'SVF::StmtVFGNode::toString()'],['../classSVF_1_1LoadVFGNode.html#aad3591f38e30c5168d4accb76ac8dc04',1,'SVF::LoadVFGNode::toString()'],['../classSVF_1_1StoreVFGNode.html#aba7e8b8329caf412a55f5880f68414fe',1,'SVF::StoreVFGNode::toString()'],['../classSVF_1_1CopyVFGNode.html#ad86bbc5ec4a9ea226364a84e04724b37',1,'SVF::CopyVFGNode::toString()'],['../classSVF_1_1CmpVFGNode.html#aa08c4475c47beb0d026acab859d68117',1,'SVF::CmpVFGNode::toString()'],['../classSVF_1_1BinaryOPVFGNode.html#aa743cf19c5dc91dbb0c7b8981fecc6c4',1,'SVF::BinaryOPVFGNode::toString()'],['../classSVF_1_1UnaryOPVFGNode.html#ad0b45546c62bdef367149b58f530f89d',1,'SVF::UnaryOPVFGNode::toString()'],['../classSVF_1_1BranchVFGNode.html#a131fe96308f67b307ea08e645b019e13',1,'SVF::BranchVFGNode::toString()'],['../classSVF_1_1GepVFGNode.html#ad27376633c939952878d5d73621ec638',1,'SVF::GepVFGNode::toString()'],['../classSVF_1_1PHIVFGNode.html#a7fb9cbed3718922cd81b18d069c79aea',1,'SVF::PHIVFGNode::toString()'],['../classSVF_1_1IntraPHIVFGNode.html#a145413d87e9174b5eb70b871b9dfa13e',1,'SVF::IntraPHIVFGNode::toString()'],['../classSVF_1_1AddrVFGNode.html#ac26fbce400355f43fdc22ad88a8d9067',1,'SVF::AddrVFGNode::toString()'],['../classSVF_1_1ArgumentVFGNode.html#a3c10cd63e18f79ccc66f4687d05cb8c5',1,'SVF::ArgumentVFGNode::toString()'],['../classSVF_1_1ActualParmVFGNode.html#a60d6ce4c4fe2cf54be45e58b2b93c9f6',1,'SVF::ActualParmVFGNode::toString()'],['../classSVF_1_1FormalParmVFGNode.html#ac4e695d6ee7bb7c5ed4e273567e7c1cc',1,'SVF::FormalParmVFGNode::toString()'],['../classSVF_1_1ActualRetVFGNode.html#a4d1e7df32604becd2e2b60fe2e5cfbfa',1,'SVF::ActualRetVFGNode::toString()'],['../classSVF_1_1FormalRetVFGNode.html#ab1ae2339d7408d9156cdfe5ab4559e66',1,'SVF::FormalRetVFGNode::toString()'],['../classSVF_1_1InterPHIVFGNode.html#aff35aebdc8d955df160e51da7b666a7e',1,'SVF::InterPHIVFGNode::toString()'],['../classSVF_1_1NullPtrVFGNode.html#a75c8b89a34bfd89a4af2c699cdb626b9',1,'SVF::NullPtrVFGNode::toString()'],['../classSVF_1_1CondVar.html#a4baf5fb20288491c96827177f9965cc4',1,'SVF::CondVar::toString()'],['../classSVF_1_1CondStdSet.html#a07267b0a4f7cfeaa6d1f7d722932c4d5',1,'SVF::CondStdSet::toString()'],['../classSVF_1_1SVFStmt.html#ad0b4dbe87e009518f22360c48b0d0c22',1,'SVF::SVFStmt::toString()'],['../classSVF_1_1AssignStmt.html#abbe582a24bf4b42284f78eab5b18a90a',1,'SVF::AssignStmt::toString()'],['../classSVF_1_1AddrStmt.html#abf9453ed58c6946640a85be31512c0e8',1,'SVF::AddrStmt::toString()'],['../classSVF_1_1CopyStmt.html#ad72ccb8ab29258b7c0fb54c48e8dec3a',1,'SVF::CopyStmt::toString()'],['../classSVF_1_1StoreStmt.html#a3b9692c3de9437c4f686f646aa6b4aac',1,'SVF::StoreStmt::toString()'],['../classSVF_1_1LoadStmt.html#a5c930e62bc3b03c9dfa4a8dbe9b4df2a',1,'SVF::LoadStmt::toString()'],['../classSVF_1_1GepStmt.html#acae68ff97d408a1dd929b0348415c81d',1,'SVF::GepStmt::toString()'],['../classSVF_1_1CallPE.html#aecdf349bde9547dae7eb88c6cfd34bab',1,'SVF::CallPE::toString()'],['../classSVF_1_1RetPE.html#a68aa24dcabeae26bcc4184110fbb50ef',1,'SVF::RetPE::toString()'],['../classSVF_1_1PhiStmt.html#a09575a14aa359a0795b4d6c83bee487a',1,'SVF::PhiStmt::toString()'],['../classSVF_1_1SelectStmt.html#a7d1a9feec3ada330ed5aba9c35056b39',1,'SVF::SelectStmt::toString()'],['../classSVF_1_1CmpStmt.html#a2f050b8af64dbe5e6bace2a82167a439',1,'SVF::CmpStmt::toString()'],['../classSVF_1_1BinaryOPStmt.html#a138547516e2676c297a27d762544f2aa',1,'SVF::BinaryOPStmt::toString()'],['../classSVF_1_1UnaryOPStmt.html#a1d5eced1a537eeab82d24f451d6b7f65',1,'SVF::UnaryOPStmt::toString()'],['../classSVF_1_1BranchStmt.html#afc44edd6d1d5c855dc2169d26629377f',1,'SVF::BranchStmt::toString()'],['../classSVF_1_1TDForkPE.html#aa385dc7e7e439cb4d8ee1524c8fbf9fe',1,'SVF::TDForkPE::toString()'],['../classSVF_1_1TDJoinPE.html#accac29adba7ca4883ae161c223a1703d',1,'SVF::TDJoinPE::toString()'],['../classSVF_1_1SVFVar.html#ada932ef2ae0a3e712174df479c35b0dd',1,'SVF::SVFVar::toString()'],['../classSVF_1_1ValVar.html#a4591213dd266efd380fd916fee73c1fd',1,'SVF::ValVar::toString()'],['../classSVF_1_1ObjVar.html#a14da09447f9f0495a42a61bdd92688a3',1,'SVF::ObjVar::toString()'],['../classSVF_1_1GepValVar.html#ac9016b61dde44eb89ea715a0619994de',1,'SVF::GepValVar::toString()'],['../classSVF_1_1GepObjVar.html#aa7bfd42a92e9ebc34613818e70689218',1,'SVF::GepObjVar::toString()'],['../classSVF_1_1FIObjVar.html#ad383a7468348cf040e9dcd8515848595',1,'SVF::FIObjVar::toString()'],['../classSVF_1_1RetPN.html#a9824061477c142e5dba14af14fa53aa2',1,'SVF::RetPN::toString()'],['../classSVF_1_1VarArgPN.html#a617077176f0ea586a0cf9a4a1034e99d',1,'SVF::VarArgPN::toString()'],['../classSVF_1_1DummyValVar.html#a4da61151fed6a64cc361d69276d00b84',1,'SVF::DummyValVar::toString()'],['../classSVF_1_1DummyObjVar.html#a0888335fe157af01e647b79043c7ae40',1,'SVF::DummyObjVar::toString()'],['../classSVF_1_1SymbolTableInfo.html#a7d3001549966444622d5918e5811e89e',1,'SVF::SymbolTableInfo::toString()'],['../classSVF_1_1MemObj.html#a614b26f4a3db926055a576b13842c1d7',1,'SVF::MemObj::toString()'],['../classSVF_1_1ContextCond.html#a5f73451064b22bc1aab91b22ddea1eee',1,'SVF::ContextCond::toString()']]],
   ['totalanalysistime',['TotalAnalysisTime',['../classSVF_1_1PTAStat.html#a25001a6d794d91056f37d954d9660910',1,'SVF::PTAStat']]],
   ['totalcallsitenum',['totalCallSiteNum',['../classSVF_1_1PTACallGraph.html#a276338e88cc286f6a1808b1fcdf74d9a',1,'SVF::PTACallGraph']]],
   ['totalcomplements',['totalComplements',['../classSVF_1_1PersistentPointsToCache.html#a6d52fb93d22b2ce3e4e4acbdd82b88b0',1,'SVF::PersistentPointsToCache']]],
@@ -150,15 +148,13 @@ var searchData=
   ['tripcount',['tripcount',['../classSVF_1_1PTASCEV.html#aa92f2da24c8b6d3548f8b4920a8d157f',1,'SVF::PTASCEV']]],
   ['true',['true',['../cJSON_8cpp.html#a930920b2bc42824a5c03be681830f4b2',1,'true(): cJSON.cpp'],['../cJSON_8cpp.html#a930920b2bc42824a5c03be681830f4b2',1,'true(): cJSON.cpp']]],
   ['truecond',['trueCond',['../classSVF_1_1BDDExprManager.html#acf9824ae990ee816bf182fb9e4a14053',1,'SVF::BDDExprManager']]],
-  ['type',['Type',['../classSVF_1_1PointsTo.html#a8f757f92ebf0a2ebdb5e6b001606923e',1,'SVF::PointsTo::Type()'],['../structDdNode.html#ac7e82d45498ac66d16e74db9a7971d9b',1,'DdNode::type()'],['../structDdGen.html#ab08569c7ba12c63288a09a92109aa81d',1,'DdGen::type()'],['../structEpDoubleStruct.html#ad715bfed9d5d6ebd3333b0f9d36030c6',1,'EpDoubleStruct::type()'],['../classSVF_1_1PointsTo.html#aaa9c956187f2c04a7a242ce440d1416f',1,'SVF::PointsTo::type()'],['../classSVF_1_1ObjTypeInfo.html#a6e7780d4e2639c089ff6c853d8d78a4d',1,'SVF::ObjTypeInfo::type()'],['../classSVF_1_1MSSAMU.html#a3cbe5ca0cb91090ef0e8b331e2f15f7c',1,'SVF::MSSAMU::type()'],['../classSVF_1_1MSSADEF.html#a9e8a03dc2c2f76ef6bc095f21911f5b6',1,'SVF::MSSADEF::type()'],['../structcJSON.html#ab13084c574681593b12f6e0a3db0dcfc',1,'cJSON::type()'],['../namespaceSVF.html#a1d008c0666c145622b81d427be64c52d',1,'SVF::Type()'],['../cJSON_8cpp.html#a3f9a0d3265a6254722587175dac3e4dc',1,'type(): cJSON.cpp']]],
+  ['type',['type',['../structDdNode.html#ac7e82d45498ac66d16e74db9a7971d9b',1,'DdNode::type()'],['../structDdGen.html#ab08569c7ba12c63288a09a92109aa81d',1,'DdGen::type()'],['../structEpDoubleStruct.html#ad715bfed9d5d6ebd3333b0f9d36030c6',1,'EpDoubleStruct::type()'],['../classSVF_1_1PointsTo.html#aaa9c956187f2c04a7a242ce440d1416f',1,'SVF::PointsTo::type()'],['../classSVF_1_1ObjTypeInfo.html#a6e7780d4e2639c089ff6c853d8d78a4d',1,'SVF::ObjTypeInfo::type()'],['../classSVF_1_1MSSAMU.html#a3cbe5ca0cb91090ef0e8b331e2f15f7c',1,'SVF::MSSAMU::type()'],['../classSVF_1_1MSSADEF.html#a9e8a03dc2c2f76ef6bc095f21911f5b6',1,'SVF::MSSADEF::type()'],['../structcJSON.html#ab13084c574681593b12f6e0a3db0dcfc',1,'cJSON::type()'],['../classSVF_1_1PointsTo.html#a8f757f92ebf0a2ebdb5e6b001606923e',1,'SVF::PointsTo::Type()'],['../cJSON_8cpp.html#a3f9a0d3265a6254722587175dac3e4dc',1,'type(): cJSON.cpp'],['../namespaceSVF.html#a1d008c0666c145622b81d427be64c52d',1,'SVF::Type()']]],
   ['type2string',['type2String',['../namespaceSVF_1_1SVFUtil.html#a817a63e8330530cb18e077556f7ce518',1,'SVF::SVFUtil']]],
   ['type_5fpair',['type_pair',['../classSVF_1_1ExtAPI.html#a95ac45d2367b3d3124d5d98958e74cc5',1,'SVF::ExtAPI']]],
   ['typeanalysis',['TypeAnalysis',['../classSVF_1_1TypeAnalysis.html',1,'SVF::TypeAnalysis'],['../classSVF_1_1TypeAnalysis.html#aaec66fea631bfe00064182e17dfb9db3',1,'SVF::TypeAnalysis::TypeAnalysis()']]],
   ['typeanalysis_2ecpp',['TypeAnalysis.cpp',['../TypeAnalysis_8cpp.html',1,'']]],
   ['typeanalysis_2eh',['TypeAnalysis.h',['../TypeAnalysis_8h.html',1,'']]],
-  ['typebasedheapcloning',['TypeBasedHeapCloning',['../classSVF_1_1TypeBasedHeapCloning.html',1,'SVF::TypeBasedHeapCloning'],['../classSVF_1_1SVFIR.html#ac7f1349df526a5a50741e9303f3bd446',1,'SVF::SVFIR::TypeBasedHeapCloning()'],['../classSVF_1_1TypeBasedHeapCloning.html#af4d0abf53755a070478c142add3322d8',1,'SVF::TypeBasedHeapCloning::TypeBasedHeapCloning()']]],
-  ['typebasedheapcloning_2ecpp',['TypeBasedHeapCloning.cpp',['../TypeBasedHeapCloning_8cpp.html',1,'']]],
-  ['typebasedheapcloning_2eh',['TypeBasedHeapCloning.h',['../TypeBasedHeapCloning_8h.html',1,'']]],
+  ['typebasedheapcloning',['TypeBasedHeapCloning',['../classSVF_1_1SVFIR.html#ac7f1349df526a5a50741e9303f3bd446',1,'SVF::SVFIR']]],
   ['typecpp_5fwpa',['TypeCPP_WPA',['../classSVF_1_1PointerAnalysis.html#a0b182ac680cce0547dbe7714c870ca85acc2e7cbdd04a614a3b6189d2f01042f3',1,'SVF::PointerAnalysis']]],
   ['typedefs',['typedefs',['../classSVF_1_1DCHNode.html#abafa483be12690549fbcccaf4c3fa511',1,'SVF::DCHNode']]],
   ['typeinfo',['typeInfo',['../classSVF_1_1MemObj.html#a750770ea992d39b22c8b2dda9aff2eaf',1,'SVF::MemObj']]],