svf-tools 1.0.371 → 1.0.375

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

@@ -200,7 +200,6 @@ var searchData=
   ['isa_5fimpl_5fwrap_3c_20to_2c_20fromty_2c_20fromty_20_3e',['isa_impl_wrap< To, FromTy, FromTy >',['../structSVF_1_1SVFUtil_1_1isa__impl__wrap_3_01To_00_01FromTy_00_01FromTy_01_4.html',1,'SVF::SVFUtil']]],
   ['isactualoutphi',['isActualOUTPHI',['../classSVF_1_1InterMSSAPHISVFGNode.html#a4fef6f5eaeed80f1555b4cdaa2af5301',1,'SVF::InterMSSAPHISVFGNode']]],
   ['isactualretphi',['isActualRetPHI',['../classSVF_1_1InterPHIVFGNode.html#aacfd7f1e99e246283191f41d44567ed4',1,'SVF::InterPHIVFGNode']]],
-  ['isaddresstakenptr',['isAddressTakenPtr',['../classSVF_1_1SVFVar.html#a482652e097c8e7921b4db2e75eb71efc',1,'SVF::SVFVar']]],
   ['isagg',['isAgg',['../classSVF_1_1DCHGraph.html#a9d2be5aec5216cbc1d1709b41f79c44b',1,'SVF::DCHGraph']]],
   ['isaliasedforkjoin',['isAliasedForkJoin',['../classSVF_1_1ForkJoinAnalysis.html#a3655131add43346a175576b023e32509',1,'SVF::ForkJoinAnalysis']]],
   ['isaliasedlocks',['isAliasedLocks',['../classSVF_1_1LockAnalysis.html#add9272ead87ca994ee4e08dfa30fa0f4',1,'SVF::LockAnalysis::isAliasedLocks(const CxtLock &cl1, const CxtLock &cl2)'],['../classSVF_1_1LockAnalysis.html#ab5a541fb1585d475a89590cce66ba3b4',1,'SVF::LockAnalysis::isAliasedLocks(const Instruction *i1, const Instruction *i2)']]],
@@ -214,7 +213,6 @@ var searchData=
   ['isarray',['isArray',['../classSVF_1_1MemObj.html#aeba6eeed4843a1a90cf1d4b7deb197af',1,'SVF::MemObj::isArray()'],['../classSVF_1_1ObjTypeInfo.html#a0627e8b9dda2e13cc77c334eefab21e1',1,'SVF::ObjTypeInfo::isArray()']]],
   ['isarraycondmemobj',['isArrayCondMemObj',['../classSVF_1_1DDAVFSolver.html#a9aaa5ee3dc8abc51c4b6e463e1949ee7',1,'SVF::DDAVFSolver']]],
   ['isarraymemobj',['isArrayMemObj',['../classSVF_1_1PointerAnalysis.html#a89dfeedf8e3e91603a1e9c73e3608a73',1,'SVF::PointerAnalysis']]],
-  ['isatpointer',['isATPointer',['../classSVF_1_1SVFVar.html#a307c0f4d90308d5f77977d5635cad65d',1,'SVF::SVFVar']]],
   ['isbarrierwaitcall',['isBarrierWaitCall',['../namespaceSVF_1_1SVFUtil.html#ad09ba410acbbaee2aac9dd406c3cf01a',1,'SVF::SVFUtil::isBarrierWaitCall(const CallSite cs)'],['../namespaceSVF_1_1SVFUtil.html#a0a7fc57e1f5cec705e310a4bb72cba94',1,'SVF::SVFUtil::isBarrierWaitCall(const Instruction *inst)']]],
   ['isbase',['isBase',['../classSVF_1_1DCHGraph.html#ab33f9af6ad22eb99dd0d9950fb0e50e6',1,'SVF::DCHGraph::isBase()'],['../classSVF_1_1TypeBasedHeapCloning.html#add00f1c20a524c0be903af679bd6f638',1,'SVF::TypeBasedHeapCloning::isBase()']]],
   ['isbbcallsprogexit',['isBBCallsProgExit',['../classSVF_1_1PathCondAllocator.html#a39c0cc9dec89b0b52bf9f1026da942e1',1,'SVF::PathCondAllocator']]],
@@ -366,7 +364,7 @@ var searchData=
   ['isnodehidden',['isNodeHidden',['../structllvm_1_1DOTGraphTraits_3_01ConstraintGraph_01_5_01_4.html#a2a467ab9b0a9ef28f88099f8ed58bba6',1,'llvm::DOTGraphTraits< ConstraintGraph * >::isNodeHidden()'],['../structllvm_1_1DOTGraphTraits_3_01IRGraph_01_5_01_4.html#a8593f5bcb7ff8b33bce21cfbc91e3753',1,'llvm::DOTGraphTraits< IRGraph * >::isNodeHidden()'],['../structllvm_1_1DOTGraphTraits_3_01SVFG_01_5_01_4.html#a08335822e61278ca8deac60882343d7f',1,'llvm::DOTGraphTraits< SVFG * >::isNodeHidden()']]],
   ['isnoninstriccallsite',['isNonInstricCallSite',['../namespaceSVF_1_1SVFUtil.html#a8d8216a92140d982303f83ea424ddc91',1,'SVF::SVFUtil']]],
   ['isnonlocalobject',['isNonLocalObject',['../classSVF_1_1MRGenerator.html#a2cf20660f2fd686fa3cabd046c4a10bf',1,'SVF::MRGenerator']]],
-  ['isnonpointerobj',['isNonPointerObj',['../classSVF_1_1PointerAnalysis.html#a9d3b20c9883d734537fb98b57b5372b9',1,'SVF::PointerAnalysis::isNonPointerObj()'],['../classSVF_1_1SVFIR.html#a07716ca7f769f704a80ccee1a6ad7ee2',1,'SVF::SVFIR::isNonPointerObj()']]],
+  ['isnonpointerobj',['isNonPointerObj',['../classSVF_1_1PointerAnalysis.html#a9d3b20c9883d734537fb98b57b5372b9',1,'SVF::PointerAnalysis::isNonPointerObj()'],['../classSVF_1_1SVFIR.html#a980e54129ece0757d7f0373f37428507',1,'SVF::SVFIR::isNonPointerObj()']]],
   ['isnonptrfieldobj',['isNonPtrFieldObj',['../classSVF_1_1MemObj.html#ad6926becf26a625cfe165aec120b2a1e',1,'SVF::MemObj::isNonPtrFieldObj()'],['../classSVF_1_1ObjTypeInfo.html#a3a58b1e0192b92dac5bbfad24adbcdac',1,'SVF::ObjTypeInfo::isNonPtrFieldObj()']]],
   ['isnullptr',['isNullPtr',['../classSVF_1_1SVFIR.html#a18ca66c199b910b15f1bfa77dcc98c30',1,'SVF::SVFIR::isNullPtr()'],['../classSVF_1_1SymbolTableInfo.html#ad095e4a569d399cadc03ce864f61c394',1,'SVF::SymbolTableInfo::isNullPtr()']]],
   ['isnullptrsym',['isNullPtrSym',['../classSVF_1_1SymbolTableInfo.html#a65a7e9d6d238a04291cb7d0aa15ece90',1,'SVF::SymbolTableInfo']]],
@@ -388,6 +386,7 @@ var searchData=
   ['isprotectedbycommonlock',['isProtectedByCommonLock',['../classSVF_1_1LockAnalysis.html#a4d4501d62bf51475662b6ba66e6380aa',1,'SVF::LockAnalysis']]],
   ['isptaedge',['isPTAEdge',['../classSVF_1_1SVFStmt.html#a0b6c03af568b70903da6b200ac86c951',1,'SVF::SVFStmt']]],
   ['isptanode',['isPTANode',['../classSVF_1_1StmtVFGNode.html#a88d856dc04d922dc553bc2eae31e88a6',1,'SVF::StmtVFGNode::isPTANode()'],['../classSVF_1_1PHIVFGNode.html#a103e55e670ce614cabc13b8dc5b17b91',1,'SVF::PHIVFGNode::isPTANode()'],['../classSVF_1_1ArgumentVFGNode.html#ab891206b29c1cf7a732f09f5a187928e',1,'SVF::ArgumentVFGNode::isPTANode()'],['../classSVF_1_1NullPtrVFGNode.html#a320a99e99af0c6acf5dadc9e7077f776',1,'SVF::NullPtrVFGNode::isPTANode()']]],
+  ['isptr',['isPtr',['../classSVF_1_1SVFVar.html#a7c8ffadedbf53d30694feeb7771990af',1,'SVF::SVFVar']]],
   ['isptr2intconstantexpr',['isPtr2IntConstantExpr',['../namespaceSVF_1_1SVFUtil.html#a093b7ae4ad144fb5d028366b1814861a',1,'SVF::SVFUtil']]],
   ['isptrindeadfunction',['isPtrInDeadFunction',['../namespaceSVF_1_1SVFUtil.html#a4dcfe3e66a16813350ec8dffd47c5644',1,'SVF::SVFUtil']]],
   ['isptronlysvfg',['isPtrOnlySVFG',['../classSVF_1_1VFG.html#a268ec1495cbe4adb51fa50d28a4cba3d',1,'SVF::VFG']]],
@@ -448,8 +447,6 @@ var searchData=
   ['isthreadjoincall',['isThreadJoinCall',['../namespaceSVF_1_1SVFUtil.html#a194a8cf292726bd6cd54307b555c068a',1,'SVF::SVFUtil::isThreadJoinCall(const CallSite cs)'],['../namespaceSVF_1_1SVFUtil.html#a14793b41b05439a8a82fdce02e0587d5',1,'SVF::SVFUtil::isThreadJoinCall(const Instruction *inst)']]],
   ['isthreadmhpindirectvfgedge',['isThreadMHPIndirectVFGEdge',['../classSVF_1_1VFGEdge.html#ace832abe1ec87e3e2338944061d09ea4',1,'SVF::VFGEdge']]],
   ['isthunkfunc',['isThunkFunc',['../structSVF_1_1cppUtil_1_1DemangledName.html#af6117df8aec7f4c077058fa8f00b0243',1,'SVF::cppUtil::DemangledName']]],
-  ['istlpointer',['isTLPointer',['../classSVF_1_1SVFVar.html#afeb667f2af988479e93a6067c4e6e622',1,'SVF::SVFVar']]],
-  ['istoplevelptr',['isTopLevelPtr',['../classSVF_1_1SVFVar.html#a60bed99a7fd939873118698b058ccc4a',1,'SVF::SVFVar']]],
   ['istoplevelptrstmt',['isTopLevelPtrStmt',['../classSVF_1_1DDAVFSolver.html#a7b35588de00e322afd742041bf735571',1,'SVF::DDAVFSolver']]],
   ['istruncconstantexpr',['isTruncConstantExpr',['../namespaceSVF_1_1SVFUtil.html#a1373688c6faba4dcdb640106575ea433',1,'SVF::SVFUtil']]],
   ['isunaryconstantexpr',['isUnaryConstantExpr',['../namespaceSVF_1_1SVFUtil.html#af14757d5cf466bba20a125f118378560',1,'SVF::SVFUtil']]],

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

@@ -36,7 +36,7 @@ var searchData=
   ['llvmfunend',['llvmFunEnd',['../classSVF_1_1SVFModule.html#af38d0f831967d6d8391a4c84e58d6519',1,'SVF::SVFModule::llvmFunEnd()'],['../classSVF_1_1SVFModule.html#a7662ba877691e7e337af54835c15c3c5',1,'SVF::SVFModule::llvmFunEnd() const']]],
   ['llvmmodule_2ecpp',['LLVMModule.cpp',['../LLVMModule_8cpp.html',1,'']]],
   ['llvmmodule_2eh',['LLVMModule.h',['../LLVMModule_8h.html',1,'']]],
-  ['llvmmoduleset',['LLVMModuleSet',['../classSVF_1_1LLVMModuleSet.html',1,'SVF::LLVMModuleSet'],['../classSVF_1_1LLVMModuleSet.html#ac59b07cafcbacc950eefea4082425b63',1,'SVF::LLVMModuleSet::llvmModuleSet()'],['../classSVF_1_1LLVMModuleSet.html#a8e70de9eefe2e188b10e214e073750e6',1,'SVF::LLVMModuleSet::LLVMModuleSet()']]],
+  ['llvmmoduleset',['LLVMModuleSet',['../classSVF_1_1LLVMModuleSet.html',1,'SVF::LLVMModuleSet'],['../classSVF_1_1LLVMModuleSet.html#a8e70de9eefe2e188b10e214e073750e6',1,'SVF::LLVMModuleSet::LLVMModuleSet()'],['../classSVF_1_1LLVMModuleSet.html#ac59b07cafcbacc950eefea4082425b63',1,'SVF::LLVMModuleSet::llvmModuleSet()']]],
   ['llvmutil_2ecpp',['LLVMUtil.cpp',['../LLVMUtil_8cpp.html',1,'']]],
   ['llvmutil_2eh',['LLVMUtil.h',['../LLVMUtil_8h.html',1,'']]],
   ['load',['Load',['../classSVF_1_1ConstraintEdge.html#a663af27955ba0c545f34fa1f076b7375a1bdeb9a06641d16b43391120812b40b2',1,'SVF::ConstraintEdge::Load()'],['../classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75a0dfbaf92c48e11aebc85760e6e799d80',1,'SVF::VFGNode::Load()'],['../classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a62ac8480c43fcc657c631ec0003b15d5',1,'SVF::SVFStmt::Load()']]],
@@ -54,8 +54,8 @@ var searchData=
   ['loadset',['LoadSet',['../classSVF_1_1MTA.html#a80356495b6c45bac59dc15fd7a99730b',1,'SVF::MTA::LoadSet()'],['../classSVF_1_1MTAAnnotator.html#a469851829bf1105fe8faac44b4abbfdd',1,'SVF::MTAAnnotator::loadset()']]],
   ['loadsrcnodes',['loadSrcNodes',['../classSVF_1_1AliasDDAClient.html#a246448efd1ff5da683a6ffe9f759e282',1,'SVF::AliasDDAClient']]],
   ['loadstmt',['LoadStmt',['../classSVF_1_1LoadStmt.html',1,'SVF::LoadStmt'],['../classSVF_1_1LoadStmt.html#a4bd939005c7c6a5da4ed3b6be6ef1a22',1,'SVF::LoadStmt::LoadStmt()'],['../classSVF_1_1LoadStmt.html#a2efafa925a30de73735ca73b1632b5f8',1,'SVF::LoadStmt::LoadStmt(const LoadStmt &)'],['../classSVF_1_1LoadStmt.html#a92c5817abfaa1f6fbc9ee911f458dfb2',1,'SVF::LoadStmt::LoadStmt(SVFVar *s, SVFVar *d)']]],
-  ['loadstomrsmap',['loadsToMRsMap',['../classSVF_1_1MRGenerator.html#a0d8229b1f0b8428708e923d19096e4ba',1,'SVF::MRGenerator::loadsToMRsMap()'],['../classSVF_1_1MRGenerator.html#a273b2634adcfa10a08924517e8d51175',1,'SVF::MRGenerator::LoadsToMRsMap()']]],
-  ['loadstopointstomap',['loadsToPointsToMap',['../classSVF_1_1MRGenerator.html#af47e15d6b8c15d547a718f3577513975',1,'SVF::MRGenerator::loadsToPointsToMap()'],['../classSVF_1_1MRGenerator.html#acfadd565b5c978c9417e059b3ea7588c',1,'SVF::MRGenerator::LoadsToPointsToMap()']]],
+  ['loadstomrsmap',['LoadsToMRsMap',['../classSVF_1_1MRGenerator.html#a273b2634adcfa10a08924517e8d51175',1,'SVF::MRGenerator::LoadsToMRsMap()'],['../classSVF_1_1MRGenerator.html#a0d8229b1f0b8428708e923d19096e4ba',1,'SVF::MRGenerator::loadsToMRsMap()']]],
+  ['loadstopointstomap',['LoadsToPointsToMap',['../classSVF_1_1MRGenerator.html#acfadd565b5c978c9417e059b3ea7588c',1,'SVF::MRGenerator::LoadsToPointsToMap()'],['../classSVF_1_1MRGenerator.html#af47e15d6b8c15d547a718f3577513975',1,'SVF::MRGenerator::loadsToPointsToMap()']]],
   ['loadsvfgnode',['LoadSVFGNode',['../namespaceSVF.html#a3ce49be3724e1e8423ccdfa726fbf6c8',1,'SVF']]],
   ['loadtime',['loadTime',['../classSVF_1_1FlowSensitive.html#aab4f70210eb1e6447a24697d3b459067',1,'SVF::FlowSensitive']]],
   ['loadtomusetmap',['LoadToMUSetMap',['../classSVF_1_1MemSSA.html#a94164c59384ef04f98a3713b504fca35',1,'SVF::MemSSA']]],
@@ -63,7 +63,7 @@ var searchData=
   ['loadvfgnode',['LoadVFGNode',['../classSVF_1_1LoadVFGNode.html',1,'SVF::LoadVFGNode'],['../classSVF_1_1LoadVFGNode.html#aca72f4582e33a2d4ef3a96dd2936f567',1,'SVF::LoadVFGNode::LoadVFGNode()'],['../classSVF_1_1LoadVFGNode.html#afe482a8a05b0efc45ceb4052ea87a039',1,'SVF::LoadVFGNode::LoadVFGNode(const LoadVFGNode &)'],['../classSVF_1_1LoadVFGNode.html#a8ae07c41215e9c7544c45e581c18c29b',1,'SVF::LoadVFGNode::LoadVFGNode(NodeID id, const LoadStmt *edge)']]],
   ['localcaches',['localCaches',['../structDdManager.html#a8f62071184b231f7320214e735b7fd0d',1,'DdManager']]],
   ['localvarinrecursion',['localVarInRecursion',['../classSVF_1_1PTAStat.html#a5b4095f427c9c7b9ec0db497ba33baea',1,'SVF::PTAStat']]],
-  ['locationset',['LocationSet',['../classSVF_1_1LocationSet.html',1,'SVF::LocationSet'],['../classSVF_1_1LocationSet.html#a7fb1dbff5cf3ec18977cc92ae9800d47',1,'SVF::LocationSet::LocationSet(s64_t o=0)'],['../classSVF_1_1LocationSet.html#a290c7fe38704552fd66ad06e5deeaca9',1,'SVF::LocationSet::LocationSet(const LocationSet &ls)'],['../classSVF_1_1LocationSet.html#aa19807a258fc673e6885eafb924ecc91',1,'SVF::LocationSet::LocationSet(const FlattenedFieldInfo &fi)']]],
+  ['locationset',['LocationSet',['../classSVF_1_1LocationSet.html',1,'SVF::LocationSet'],['../classSVF_1_1LocationSet.html#a7fb1dbff5cf3ec18977cc92ae9800d47',1,'SVF::LocationSet::LocationSet(s64_t o=0)'],['../classSVF_1_1LocationSet.html#a290c7fe38704552fd66ad06e5deeaca9',1,'SVF::LocationSet::LocationSet(const LocationSet &ls)']]],
   ['locationset_2ecpp',['LocationSet.cpp',['../LocationSet_8cpp.html',1,'']]],
   ['locationset_2eh',['LocationSet.h',['../LocationSet_8h.html',1,'']]],
   ['locdpitem',['LocDPItem',['../namespaceSVF.html#aa50ee8563f99ba1eb897301f55e9d855',1,'SVF']]],

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

@@ -142,6 +142,7 @@ var searchData=
   ['mmoutofmemory',['MMoutOfMemory',['../util_8h.html#af76722b9c78f324a2cd1a57318e0eea1',1,'MMoutOfMemory(): util.c'],['../util_8c.html#af76722b9c78f324a2cd1a57318e0eea1',1,'MMoutOfMemory(): util.c']]],
   ['mmrealloc',['MMrealloc',['../util_8h.html#a22a3800f4699bb89ba29dc8a5a8fdaaa',1,'MMrealloc(char *, long): util.c'],['../util_8c.html#a5c4d3de481b4e749f7d0a384e3e71532',1,'MMrealloc(char *, long): util.c']]],
   ['mod',['mod',['../classSVF_1_1SymbolTableInfo.html#af8fdaaa03cd2ae9b7d50f57bc678b8ba',1,'SVF::SymbolTableInfo::mod()'],['../classSVF_1_1MTAResultValidator.html#a8d54a1e8d1703d0c9ba541bcf997e900',1,'SVF::MTAResultValidator::mod()'],['../classSVF_1_1PCG.html#a985b0c790c582d15e6242950ac66f574',1,'SVF::PCG::mod()']]],
+  ['modelarrays',['ModelArrays',['../classSVF_1_1Options.html#a170426acc0f9d99470fd1bde40d273e2',1,'SVF::Options']]],
   ['modelconstants',['modelConstants',['../classSVF_1_1SymbolTableInfo.html#ad20ccb90e8f9dee488a8aec0600399dc',1,'SVF::SymbolTableInfo']]],
   ['modelconsts',['ModelConsts',['../classSVF_1_1Options.html#a5c051cf6a93a87a07aa1d31e302a2877',1,'SVF::Options']]],
   ['modrefanalysis',['modRefAnalysis',['../classSVF_1_1MRGenerator.html#adc9d530e6f010596d91cd3711dc1358b',1,'SVF::MRGenerator']]],

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

@@ -20,7 +20,7 @@ var searchData=
   ['nextsetindex',['nextSetIndex',['../classSVF_1_1CoreBitVector.html#a087f69adea5e9e83bd908a1ab0ee1383',1,'SVF::CoreBitVector']]],
   ['nil',['NIL',['../util_8h.html#a31bfee01545b78af63301bf9e857218b',1,'util.h']]],
   ['no_5fstruct_5falloc',['no_struct_alloc',['../classSVF_1_1ExtAPI.html#a235ef40373e36583004eb6d289ce63f9',1,'SVF::ExtAPI']]],
-  ['node',['node',['../structDdGen.html#a7678908601787fa2d5ce4bccdd004ffb',1,'DdGen::node()'],['../classSVF_1_1NullPtrVFGNode.html#adef43dcc86e61145a7fdc6711b28239d',1,'SVF::NullPtrVFGNode::node()'],['../classSVF_1_1List.html#a4eba65b40d347ea80e2427320eb9c5a1',1,'SVF::List::Node()'],['../classSVF_1_1SCCDetection.html#a6458c27c625add944fcb8a3ef7b536a6',1,'SVF::SCCDetection::Node()'],['../classSVF_1_1WPASolver.html#a5fd488d74e04aa9e66ca4eb42c6dbbf4',1,'SVF::WPASolver::Node()']]],
+  ['node',['Node',['../classSVF_1_1List.html#a4eba65b40d347ea80e2427320eb9c5a1',1,'SVF::List::Node()'],['../classSVF_1_1SCCDetection.html#a6458c27c625add944fcb8a3ef7b536a6',1,'SVF::SCCDetection::Node()'],['../classSVF_1_1WPASolver.html#a5fd488d74e04aa9e66ca4eb42c6dbbf4',1,'SVF::WPASolver::Node()'],['../structDdGen.html#a7678908601787fa2d5ce4bccdd004ffb',1,'DdGen::node()'],['../classSVF_1_1NullPtrVFGNode.html#adef43dcc86e61145a7fdc6711b28239d',1,'SVF::NullPtrVFGNode::node()']]],
   ['node_5findex',['Node_Index',['../classSVF_1_1SCCDetection.html#a5fa111bb849052b8a753194cd0cd5e0c',1,'SVF::SCCDetection::Node_Index()'],['../classSVF_1_1WPASolver.html#a01450e1475679d093413e6496c198fc0',1,'SVF::WPASolver::Node_Index()']]],
   ['node_5fiterator',['node_iterator',['../classSVF_1_1CFLSolver.html#a586cfb2dd110d1853e70e534e0f66624',1,'SVF::CFLSolver::node_iterator()'],['../classSVF_1_1SCCDetection.html#abaf75ef45e8f5349b902dab063999ad8',1,'SVF::SCCDetection::node_iterator()']]],
   ['nodeallocstrat',['NodeAllocStrat',['../classSVF_1_1Options.html#a2537be131132830c63d408133619a065',1,'SVF::Options']]],
@@ -93,7 +93,7 @@ var searchData=
   ['numinit',['numInit',['../classSVF_1_1TypeBasedHeapCloning.html#a4c658be1ade99ad1e848cd80332e38ce',1,'SVF::TypeBasedHeapCloning']]],
   ['numnodes',['numNodes',['../classSVF_1_1NodeIDAllocator.html#a8e76e0da58f0a5bdbd8118ac419cfa62',1,'SVF::NodeIDAllocator']]],
   ['numnontrivialregionobjects',['NumNonTrivialRegionObjects',['../classSVF_1_1NodeIDAllocator_1_1Clusterer.html#a1bf9461c717e8dabaee6a57f3d76d61f',1,'SVF::NodeIDAllocator::Clusterer']]],
-  ['numobjects',['numObjects',['../classSVF_1_1NodeIDAllocator.html#a190c729a3f3f622f82cee4917946b50f',1,'SVF::NodeIDAllocator::numObjects()'],['../classSVF_1_1NodeIDAllocator_1_1Clusterer.html#afa74c5ccd22bebe0b76db33066d8b498',1,'SVF::NodeIDAllocator::Clusterer::NumObjects()']]],
+  ['numobjects',['NumObjects',['../classSVF_1_1NodeIDAllocator_1_1Clusterer.html#afa74c5ccd22bebe0b76db33066d8b498',1,'SVF::NodeIDAllocator::Clusterer::NumObjects()'],['../classSVF_1_1NodeIDAllocator.html#a190c729a3f3f622f82cee4917946b50f',1,'SVF::NodeIDAllocator::numObjects()']]],
   ['numofactualin',['numOfActualIn',['../classSVF_1_1SVFGStat.html#a5365744d2ec3594e2255d274f7256569',1,'SVF::SVFGStat']]],
   ['numofactualout',['numOfActualOut',['../classSVF_1_1SVFGStat.html#a122555f5c4b9746cc2b7f38c7cd6b505',1,'SVF::SVFGStat']]],
   ['numofactualparam',['numOfActualParam',['../classSVF_1_1SVFGStat.html#a0494c59483520b57acdca95952c93d76',1,'SVF::SVFGStat']]],
@@ -156,7 +156,7 @@ var searchData=
   ['numofmhpld',['numOfMHPLd',['../classSVF_1_1MTAAnnotator.html#a29e0123620ab072fddc45331c6aa46e8',1,'SVF::MTAAnnotator']]],
   ['numofmhpqueries',['numOfMHPQueries',['../classSVF_1_1MHP.html#ab8bd382e0c70b0feb2a291ecc4043106',1,'SVF::MHP']]],
   ['numofmhpst',['numOfMHPSt',['../classSVF_1_1MTAAnnotator.html#a3a53e90b4f361d1298983bc89795b3d2',1,'SVF::MTAAnnotator']]],
-  ['numofmssaphi',['numOfMSSAPhi',['../classSVF_1_1SVFGStat.html#a9fc87025af3b7e54442e78f46ebe0360',1,'SVF::SVFGStat::numOfMSSAPhi()'],['../classSVF_1_1MemSSAStat.html#a4b598cb1d06c4c0963787036862b1c3d',1,'SVF::MemSSAStat::NumOfMSSAPhi()']]],
+  ['numofmssaphi',['NumOfMSSAPhi',['../classSVF_1_1MemSSAStat.html#a4b598cb1d06c4c0963787036862b1c3d',1,'SVF::MemSSAStat::NumOfMSSAPhi()'],['../classSVF_1_1SVFGStat.html#a9fc87025af3b7e54442e78f46ebe0360',1,'SVF::SVFGStat::numOfMSSAPhi()']]],
   ['numofnewsvfgedges',['numOfNewSVFGEdges',['../classSVF_1_1MTASVFGBuilder.html#a019a4597074fdad6e51d936ed4ead0d9',1,'SVF::MTASVFGBuilder']]],
   ['numofnodes',['numOfNodes',['../classSVF_1_1ICFGStat.html#a8e71a19c266aacd7acb1fee6bb339788',1,'SVF::ICFGStat::numOfNodes()'],['../classSVF_1_1SVFGStat.html#ab499c24856a990dd4adb366107eb3302',1,'SVF::SVFGStat::numOfNodes()']]],
   ['numofnodesincycles',['NumOfNodesInCycles',['../classSVF_1_1PTAStat.html#aea3e95097b3b9d326bef0d36f17e51a5',1,'SVF::PTAStat']]],

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

@@ -12,7 +12,7 @@ var searchData=
   ['objtonsrevptsmap',['objToNSRevPtsMap',['../classSVF_1_1CondPTAImpl.html#a22c23f3ba1ee7e0aaccf0b8a1b58e33e',1,'SVF::CondPTAImpl']]],
   ['objtotype',['objToType',['../classSVF_1_1TypeBasedHeapCloning.html#a477492fb699d742c33007a6ca934b5c1',1,'SVF::TypeBasedHeapCloning']]],
   ['objtoversionmap',['ObjToVersionMap',['../classSVF_1_1VersionedFlowSensitive.html#af9a43f48b7d99cc6694f3ae3248fd8e0',1,'SVF::VersionedFlowSensitive']]],
-  ['objtypeinfo',['ObjTypeInfo',['../classSVF_1_1ObjTypeInfo.html',1,'SVF::ObjTypeInfo'],['../classSVF_1_1ObjTypeInfo.html#a1a182e6a8710242f94729412d4683f8d',1,'SVF::ObjTypeInfo::ObjTypeInfo(const Value *, const Type *t, u32_t max)'],['../classSVF_1_1ObjTypeInfo.html#afa03172e8fe0af6b523e866d54235f3a',1,'SVF::ObjTypeInfo::ObjTypeInfo(u32_t max, const Type *t)']]],
+  ['objtypeinfo',['ObjTypeInfo',['../classSVF_1_1ObjTypeInfo.html',1,'SVF::ObjTypeInfo'],['../classSVF_1_1ObjTypeInfo.html#a351edf73b2b035ce61a99a10b3d9de87',1,'SVF::ObjTypeInfo::ObjTypeInfo()']]],
   ['objvar',['ObjVar',['../classSVF_1_1ObjVar.html',1,'SVF::ObjVar'],['../classSVF_1_1ObjVar.html#a3ccbe6bbe3f565641e0cf46c5ecbb6bb',1,'SVF::ObjVar::ObjVar()']]],
   ['ocg',['oCG',['../classSVF_1_1AndersenHCD.html#af5fe01816e65ece685a3c3537ebd0137',1,'SVF::AndersenHCD']]],
   ['ocgdotgraph',['OCGDotGraph',['../classSVF_1_1Options.html#a2780c16611375631cd48bf9487f9e0bf',1,'SVF::Options']]],
@@ -61,7 +61,7 @@ var searchData=
   ['opver',['opVer',['../classSVF_1_1MSSACHI.html#a86f2f3f6e2215cdbe31caee048510757',1,'SVF::MSSACHI']]],
   ['opverbegin',['opVerBegin',['../classSVF_1_1MSSAPHISVFGNode.html#ace39549f7e300cb4a0ac7b8506a8632a',1,'SVF::MSSAPHISVFGNode::opVerBegin()'],['../classSVF_1_1IntraMSSAPHISVFGNode.html#aff4e88ef6569d3c4f29b532d610cd2b9',1,'SVF::IntraMSSAPHISVFGNode::opVerBegin()'],['../classSVF_1_1CmpVFGNode.html#a78fb624f0ca9ff16e6a8e5fd1c384904',1,'SVF::CmpVFGNode::opVerBegin()'],['../classSVF_1_1BinaryOPVFGNode.html#adaff45c46c4cc8158bd3147d304deab5',1,'SVF::BinaryOPVFGNode::opVerBegin()'],['../classSVF_1_1UnaryOPVFGNode.html#ab63ddaa05181f2c60ca7a001001a908d',1,'SVF::UnaryOPVFGNode::opVerBegin()'],['../classSVF_1_1PHIVFGNode.html#a2e00f6d582aa4ac9aa116cc6d5c79369',1,'SVF::PHIVFGNode::opVerBegin()'],['../classSVF_1_1MSSAPHI.html#a940f9afa26bf54c7175276ea27003c2f',1,'SVF::MSSAPHI::opVerBegin()']]],
   ['opverend',['opVerEnd',['../classSVF_1_1MSSAPHISVFGNode.html#a33ec42a011781bbb63dce6dbe5f88bdf',1,'SVF::MSSAPHISVFGNode::opVerEnd()'],['../classSVF_1_1IntraMSSAPHISVFGNode.html#a5e78faceb497b0f3cb6f8f1a9fc4f799',1,'SVF::IntraMSSAPHISVFGNode::opVerEnd()'],['../classSVF_1_1CmpVFGNode.html#ae5ba94ffae500168f0e5c1b1ce78af9c',1,'SVF::CmpVFGNode::opVerEnd()'],['../classSVF_1_1BinaryOPVFGNode.html#aed5a32d1a145df7007ba7d934e4c2bd4',1,'SVF::BinaryOPVFGNode::opVerEnd()'],['../classSVF_1_1UnaryOPVFGNode.html#af31a06d33f41bdcff625ac23e269708c',1,'SVF::UnaryOPVFGNode::opVerEnd()'],['../classSVF_1_1PHIVFGNode.html#add18c60773871744123d12a037e78e20',1,'SVF::PHIVFGNode::opVerEnd()'],['../classSVF_1_1MultiOpndStmt.html#ad53097d07487d564e7d13f9d7d9ab10c',1,'SVF::MultiOpndStmt::opVerEnd()'],['../classSVF_1_1MSSAPHI.html#a2a49ad9d2eedf1dea98d725b13878d88',1,'SVF::MSSAPHI::opVerEnd()']]],
-  ['opvers',['opVers',['../classSVF_1_1MSSAPHISVFGNode.html#a9c327923ab939e06877441ebde5c1139',1,'SVF::MSSAPHISVFGNode::opVers()'],['../classSVF_1_1CmpVFGNode.html#aae30d80fd848d62467476d21c691573c',1,'SVF::CmpVFGNode::opVers()'],['../classSVF_1_1BinaryOPVFGNode.html#ae803603f567cc28f5a7e1b66fb324cbc',1,'SVF::BinaryOPVFGNode::opVers()'],['../classSVF_1_1UnaryOPVFGNode.html#ae6fdb5759a0dfeb0635ffd758b752dc1',1,'SVF::UnaryOPVFGNode::opVers()'],['../classSVF_1_1PHIVFGNode.html#a08ccd55d0fb6ce33f69959349008daca',1,'SVF::PHIVFGNode::opVers()'],['../classSVF_1_1MSSAPHI.html#abdabd6dff67cd59622f18d48e8b34271',1,'SVF::MSSAPHI::opVers()'],['../classSVF_1_1MSSAPHISVFGNode.html#a300f37203eb84fc57e005c27ce0422fb',1,'SVF::MSSAPHISVFGNode::OPVers()'],['../classSVF_1_1CmpVFGNode.html#a0db4ada3c366c811962415454a859b22',1,'SVF::CmpVFGNode::OPVers()'],['../classSVF_1_1BinaryOPVFGNode.html#a880c8260e3acb3fbe431446f2c1f5990',1,'SVF::BinaryOPVFGNode::OPVers()'],['../classSVF_1_1UnaryOPVFGNode.html#af96b598342bbcbcd739e2603acfc5a41',1,'SVF::UnaryOPVFGNode::OPVers()'],['../classSVF_1_1PHIVFGNode.html#a44ba5254e5f4def007c99916cd58668c',1,'SVF::PHIVFGNode::OPVers()'],['../classSVF_1_1MSSAPHI.html#a622892bb1c3c151e646ae1a46838c3ba',1,'SVF::MSSAPHI::OPVers()']]],
+  ['opvers',['OPVers',['../classSVF_1_1MSSAPHISVFGNode.html#a300f37203eb84fc57e005c27ce0422fb',1,'SVF::MSSAPHISVFGNode::OPVers()'],['../classSVF_1_1CmpVFGNode.html#a0db4ada3c366c811962415454a859b22',1,'SVF::CmpVFGNode::OPVers()'],['../classSVF_1_1BinaryOPVFGNode.html#a880c8260e3acb3fbe431446f2c1f5990',1,'SVF::BinaryOPVFGNode::OPVers()'],['../classSVF_1_1UnaryOPVFGNode.html#af96b598342bbcbcd739e2603acfc5a41',1,'SVF::UnaryOPVFGNode::OPVers()'],['../classSVF_1_1PHIVFGNode.html#a44ba5254e5f4def007c99916cd58668c',1,'SVF::PHIVFGNode::OPVers()'],['../classSVF_1_1MSSAPHI.html#a622892bb1c3c151e646ae1a46838c3ba',1,'SVF::MSSAPHI::OPVers()'],['../classSVF_1_1MSSAPHISVFGNode.html#a9c327923ab939e06877441ebde5c1139',1,'SVF::MSSAPHISVFGNode::opVers()'],['../classSVF_1_1CmpVFGNode.html#aae30d80fd848d62467476d21c691573c',1,'SVF::CmpVFGNode::opVers()'],['../classSVF_1_1BinaryOPVFGNode.html#ae803603f567cc28f5a7e1b66fb324cbc',1,'SVF::BinaryOPVFGNode::opVers()'],['../classSVF_1_1UnaryOPVFGNode.html#ae6fdb5759a0dfeb0635ffd758b752dc1',1,'SVF::UnaryOPVFGNode::opVers()'],['../classSVF_1_1PHIVFGNode.html#a08ccd55d0fb6ce33f69959349008daca',1,'SVF::PHIVFGNode::opVers()'],['../classSVF_1_1MSSAPHI.html#abdabd6dff67cd59622f18d48e8b34271',1,'SVF::MSSAPHI::opVers()']]],
   ['or',['OR',['../classSVF_1_1BranchCondManager.html#a7f3fa5e90c08950099ff6f05e96ecb9c',1,'SVF::BranchCondManager::OR()'],['../classSVF_1_1CondManager.html#a83824b36d6cd073a171df9919aa0c704',1,'SVF::CondManager::OR()']]],
   ['orderedmap',['OrderedMap',['../namespaceSVF.html#aedf0d6718ca176e0b9e17ab4b30729c6',1,'SVF']]],
   ['orderednodeset',['OrderedNodeSet',['../namespaceSVF.html#a3c2bd95727ec0d9c55c631b6617026c8',1,'SVF']]],
@@ -70,7 +70,7 @@ var searchData=
   ['originalsbvnumwords',['OriginalSbvNumWords',['../classSVF_1_1NodeIDAllocator_1_1Clusterer.html#a639b887e30115c2a6cd108c65f18fcc1',1,'SVF::NodeIDAllocator::Clusterer']]],
   ['originalsize',['originalSize',['../cuddInt_8c.html#afcdd597b50055b996a49d9e265965d01',1,'cuddInt.c']]],
   ['oscc',['OSCC',['../classSVF_1_1OfflineConsG.html#ab7ce6d127d85cedfdeb6501195b8818f',1,'SVF::OfflineConsG::OSCC()'],['../classSVF_1_1AndersenHCD.html#a33cb18543abbcd434861c5da7e588356',1,'SVF::AndersenHCD::OSCC()']]],
-  ['out',['out',['../structDdManager.html#af318bea3248f8e99d7889f028be4ec8f',1,'DdManager::out()'],['../classSVF_1_1FlowSensitiveStat.html#ab11996ab5606f51c977b9b1385c13d71ac018f116c78ed5e314b52e5d743f3fa5',1,'SVF::FlowSensitiveStat::OUT()']]],
+  ['out',['OUT',['../classSVF_1_1FlowSensitiveStat.html#ab11996ab5606f51c977b9b1385c13d71ac018f116c78ed5e314b52e5d743f3fa5',1,'SVF::FlowSensitiveStat::OUT()'],['../structDdManager.html#af318bea3248f8e99d7889f028be4ec8f',1,'DdManager::out()']]],
   ['outedgebegin',['OutEdgeBegin',['../classSVF_1_1GenericNode.html#aa4f103330118c8976bf95e4bf53416eb',1,'SVF::GenericNode::OutEdgeBegin()'],['../classSVF_1_1GenericNode.html#a50219c203fb5a8a44fe22428699f26e7',1,'SVF::GenericNode::OutEdgeBegin() const']]],
   ['outedgeend',['OutEdgeEnd',['../classSVF_1_1GenericNode.html#a19a3366fd8a58290d0c740c46c3dcb3d',1,'SVF::GenericNode::OutEdgeEnd()'],['../classSVF_1_1GenericNode.html#ace88b6c7561f61f747ff08f61e2c18bc',1,'SVF::GenericNode::OutEdgeEnd() const']]],
   ['outedgekindtosetmap',['OutEdgeKindToSetMap',['../classSVF_1_1SVFVar.html#a3775dd07e89ea6b25950a8b900a4ceab',1,'SVF::SVFVar']]],

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

@@ -26,17 +26,17 @@ var searchData=
   ['addandersenmetadata',['addAndersenMetadata',['../classSVF_1_1IRAnnotator.html#aa36cd38b0518a9c9a3b57cea9b07b227',1,'SVF::IRAnnotator']]],
   ['addandersennamedmetdata',['addAndersenNamedMetdata',['../classSVF_1_1IRAnnotator.html#af48723d319bbe2ecfd0c4777c1c92dc1',1,'SVF::IRAnnotator']]],
   ['addbackwardvisited',['addBackwardVisited',['../classSVF_1_1SrcSnkDDA.html#aa061e2d72d3045c9712512c6df002544',1,'SVF::SrcSnkDDA']]],
-  ['addbinaryopedge',['addBinaryOPEdge',['../classSVF_1_1SVFIRBuilder.html#a5832c14f0c8bf4d2f41921383c40340e',1,'SVF::SVFIRBuilder']]],
+  ['addbinaryopedge',['addBinaryOPEdge',['../classSVF_1_1SVFIRBuilder.html#a3f954c61381fe31088e791772c334105',1,'SVF::SVFIRBuilder']]],
   ['addbinaryopstmt',['addBinaryOPStmt',['../classSVF_1_1SVFIR.html#a955a2f93cf9eef857e40f19bc24edb2f',1,'SVF::SVFIR']]],
   ['addbinaryopvfgnode',['addBinaryOPVFGNode',['../classSVF_1_1VFG.html#ac79516fc4d9136241d708f9df5c73262',1,'SVF::VFG']]],
-  ['addblackholeaddredge',['addBlackHoleAddrEdge',['../classSVF_1_1SVFIRBuilder.html#a3e80511758692d2ad4e5dbee15beb719',1,'SVF::SVFIRBuilder']]],
+  ['addblackholeaddredge',['addBlackHoleAddrEdge',['../classSVF_1_1SVFIRBuilder.html#a8bf1847f31ff90937ce76cd0c0af7edb',1,'SVF::SVFIRBuilder']]],
   ['addblackholeaddrstmt',['addBlackHoleAddrStmt',['../classSVF_1_1SVFIR.html#a33df5f5d9b7de3846cf973135b04f513',1,'SVF::SVFIR']]],
   ['addblackholeobjnode',['addBlackholeObjNode',['../classSVF_1_1SVFIR.html#a2b532a5db0197c579b512fbcdb4d6220',1,'SVF::SVFIR']]],
   ['addblackholeptrnode',['addBlackholePtrNode',['../classSVF_1_1SVFIR.html#a2b1de62f88588b068d4eed125049ed8d',1,'SVF::SVFIR']]],
-  ['addbranchstmt',['addBranchStmt',['../classSVF_1_1SVFIR.html#ae61030da4a84b5c9c47903804af9d107',1,'SVF::SVFIR::addBranchStmt()'],['../classSVF_1_1SVFIRBuilder.html#a9a5334fc4133b2eeadb9b5104635cca2',1,'SVF::SVFIRBuilder::addBranchStmt()']]],
+  ['addbranchstmt',['addBranchStmt',['../classSVF_1_1SVFIR.html#ae61030da4a84b5c9c47903804af9d107',1,'SVF::SVFIR::addBranchStmt()'],['../classSVF_1_1SVFIRBuilder.html#a5e56beb1a362b6e596183b04d37fd9e0',1,'SVF::SVFIRBuilder::addBranchStmt()']]],
   ['addbranchvfgnode',['addBranchVFGNode',['../classSVF_1_1VFG.html#a18afc4baf33eb700e0510928016019f5',1,'SVF::VFG']]],
   ['addcallblock',['addCallBlock',['../classSVF_1_1ICFG.html#af6dc72c9ba19d41cc11439a7c632af48',1,'SVF::ICFG']]],
-  ['addcalledge',['addCallEdge',['../classSVF_1_1ICFG.html#abde033687317d47909ee45db7501723f',1,'SVF::ICFG::addCallEdge()'],['../classSVF_1_1VFG.html#aa01f63b17acdd52122a7f1ade329ccea',1,'SVF::VFG::addCallEdge()'],['../classSVF_1_1SVFIRBuilder.html#aec94aaebd392aa4facdbdc6bfef74bde',1,'SVF::SVFIRBuilder::addCallEdge()']]],
+  ['addcalledge',['addCallEdge',['../classSVF_1_1ICFG.html#abde033687317d47909ee45db7501723f',1,'SVF::ICFG::addCallEdge()'],['../classSVF_1_1VFG.html#aa01f63b17acdd52122a7f1ade329ccea',1,'SVF::VFG::addCallEdge()'],['../classSVF_1_1SVFIRBuilder.html#abaf03c3031ef3940c73e3cd8e8ca17b6',1,'SVF::SVFIRBuilder::addCallEdge()']]],
   ['addcallgraphnode',['addCallGraphNode',['../classSVF_1_1PTACallGraph.html#a8a1621038edeb847bfc5a4a7be7620a3',1,'SVF::PTACallGraph']]],
   ['addcallindirectsvfgedge',['addCallIndirectSVFGEdge',['../classSVF_1_1SVFGOPT.html#a11dc712bf74ba61160fed7a5c3efaeee',1,'SVF::SVFGOPT']]],
   ['addcallindirectvfedge',['addCallIndirectVFEdge',['../classSVF_1_1SVFG.html#af8ceb1ebf745e6803c606c41f7a482ac',1,'SVF::SVFG']]],
@@ -51,10 +51,10 @@ var searchData=
   ['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#a0a7183291291e3f91188607ead065c81',1,'SVF::SVFIRBuilder']]],
+  ['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']]],
-  ['addcomplexconsforext',['addComplexConsForExt',['../classSVF_1_1SVFIRBuilder.html#ab83a61a519cb0bb6fed823a938cf0602',1,'SVF::SVFIRBuilder']]],
+  ['addcomplexconsforext',['addComplexConsForExt',['../classSVF_1_1SVFIRBuilder.html#ad0e9f1dd1cba235a699c2b710a888d06',1,'SVF::SVFIRBuilder']]],
   ['addcondintralock',['addCondIntraLock',['../classSVF_1_1LockAnalysis.html#a0cc6e4b4ab78f3c54b68fe35adb02957',1,'SVF::LockAnalysis']]],
   ['addconditionalintraedge',['addConditionalIntraEdge',['../classSVF_1_1ICFG.html#a6436c2e6ab117007db80b9936fd4b5fe',1,'SVF::ICFG']]],
   ['addconstantobjnode',['addConstantObjNode',['../classSVF_1_1SVFIR.html#aff3f3ff198e7511576484dfda7bf051b',1,'SVF::SVFIR']]],
@@ -79,7 +79,7 @@ var searchData=
   ['adddirectparforedge',['addDirectParForEdge',['../classSVF_1_1ThreadCallGraph.html#ae942f7d46198207219e5ce8287497262',1,'SVF::ThreadCallGraph']]],
   ['adddpmtoloc',['addDpmToLoc',['../classSVF_1_1DDAVFSolver.html#af7be3fa6c73dde97d6f9fd0395c9aee0',1,'SVF::DDAVFSolver']]],
   ['adddummymemobj',['addDummyMemObj',['../classSVF_1_1SVFIR.html#a4ee79c74a7a2cea5c063fa598ab89532',1,'SVF::SVFIR']]],
-  ['adddummyobjnode',['addDummyObjNode',['../classSVF_1_1SVFIR.html#a18388bc282c5329a837c6a273893c4fb',1,'SVF::SVFIR::addDummyObjNode(const Type *type=nullptr)'],['../classSVF_1_1SVFIR.html#a3071c94ea72048d74a65a409a906af35',1,'SVF::SVFIR::addDummyObjNode(NodeID i, const Type *type)']]],
+  ['adddummyobjnode',['addDummyObjNode',['../classSVF_1_1SVFIR.html#a905b16c9fe739c4e95902b2729951b5b',1,'SVF::SVFIR::addDummyObjNode(const Type *type)'],['../classSVF_1_1SVFIR.html#a3071c94ea72048d74a65a409a906af35',1,'SVF::SVFIR::addDummyObjNode(NodeID i, const Type *type)']]],
   ['adddummyvalnode',['addDummyValNode',['../classSVF_1_1SVFIR.html#aa7e98cd2fd599aedefa4c2e6fb659da0',1,'SVF::SVFIR::addDummyValNode()'],['../classSVF_1_1SVFIR.html#a6b1bb039f068ff2ab486214354df4684',1,'SVF::SVFIR::addDummyValNode(NodeID i)']]],
   ['adddummyversionpropsvfgnode',['addDummyVersionPropSVFGNode',['../classSVF_1_1SVFG.html#a8dd513e8e5343beeb5d117c1ff4e45ea',1,'SVF::SVFG']]],
   ['addedge',['addEdge',['../classSVF_1_1CHGraph.html#a3867db3e76f068bd8c4399b103dcd0b7',1,'SVF::CHGraph::addEdge()'],['../classSVF_1_1IRGraph.html#a722f32d0a0a3bafdd97fc74819d2621e',1,'SVF::IRGraph::addEdge()'],['../classSVF_1_1PTACallGraph.html#a3154bbc421fc85649e786ed67ca03750',1,'SVF::PTACallGraph::addEdge()'],['../classSVF_1_1PAGBuilderFromFile.html#ac34cd4f9426da0325e67bc1b3d7bcecd',1,'SVF::PAGBuilderFromFile::addEdge()'],['../classSVF_1_1DCHGraph.html#a294a2075c97e1db8003393fb472c1def',1,'SVF::DCHGraph::addEdge()'],['../classSVF_1_1SVFIRBuilder.html#abd980f840b613171e879eb03f6089eeb',1,'SVF::SVFIRBuilder::addEdge()']]],
@@ -101,11 +101,11 @@ var searchData=
   ['addfunentryblock',['addFunEntryBlock',['../classSVF_1_1ICFG.html#a1af9ae1c2efb4cb7897d5234d035c06b',1,'SVF::ICFG']]],
   ['addfunexitblock',['addFunExitBlock',['../classSVF_1_1ICFG.html#a6b716225b38638d6a34703995b749ad2',1,'SVF::ICFG']]],
   ['addfunret',['addFunRet',['../classSVF_1_1SVFIR.html#a53774463f34bb8b528b179b72b48fd69',1,'SVF::SVFIR']]],
-  ['addgepedge',['addGepEdge',['../classSVF_1_1SVFIRBuilder.html#a45ab73a812809b3c725daf11b5da6141',1,'SVF::SVFIRBuilder']]],
+  ['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#a9a702ceb8ba3851daef444f1ece3a2f8',1,'SVF::SVFIR']]],
+  ['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']]],
   ['addglobalpagedge',['addGlobalPAGEdge',['../classSVF_1_1SVFIR.html#ae3d9b4acb63a7dbe316e87bad4e3987a',1,'SVF::SVFIR']]],
@@ -151,7 +151,7 @@ var searchData=
   ['addloadcvar',['addLoadCVar',['../classSVF_1_1DDAVFSolver.html#a7579491400f1781356cb7d1913537547',1,'SVF::DDAVFSolver']]],
   ['addloaddpm',['addLoadDpm',['../classSVF_1_1DDAVFSolver.html#a4725013a7617645e1418ed670d4837b5',1,'SVF::DDAVFSolver']]],
   ['addloaddpmandcvar',['addLoadDpmAndCVar',['../classSVF_1_1DDAVFSolver.html#a1cd1023bca18db16bc54e622c881e494',1,'SVF::DDAVFSolver']]],
-  ['addloadedge',['addLoadEdge',['../classSVF_1_1SVFIRBuilder.html#a9fdcddcdcf14a90cc80d42de0d5ad189',1,'SVF::SVFIRBuilder']]],
+  ['addloadedge',['addLoadEdge',['../classSVF_1_1SVFIRBuilder.html#a4469ae4c52c162d3fbbd559420045243',1,'SVF::SVFIRBuilder']]],
   ['addloadmu',['AddLoadMU',['../classSVF_1_1MemSSA.html#adb8009633b4e3b69609790fa068b3f42',1,'SVF::MemSSA::AddLoadMU(const BasicBlock *bb, const LoadStmt *load, const MRSet &mrSet)'],['../classSVF_1_1MemSSA.html#a397c835c15c15e18697beca2ff27a73f',1,'SVF::MemSSA::AddLoadMU(const BasicBlock *bb, const LoadStmt *load, const MemRegion *mr)']]],
   ['addloadstmt',['addLoadStmt',['../classSVF_1_1SVFIR.html#a3837804b2622baf7e6991aa993286e9e',1,'SVF::SVFIR']]],
   ['addloadvfgnode',['addLoadVFGNode',['../classSVF_1_1VFG.html#a373e7066630719ffb7c62681f2c2a74e',1,'SVF::VFG']]],
@@ -168,7 +168,7 @@ var searchData=
   ['addnodeintoworklist',['addNodeIntoWorkList',['../classSVF_1_1WPASCCSolver.html#a92c96800a81e69f0148c2d43342837a5',1,'SVF::WPASCCSolver::addNodeIntoWorkList()'],['../classSVF_1_1WPAMinimumSolver.html#ace696b79f4a0eb5f6f83ab652894cdf7',1,'SVF::WPAMinimumSolver::addNodeIntoWorkList()']]],
   ['addnodetobecollapsed',['addNodeToBeCollapsed',['../classSVF_1_1ConstraintGraph.html#a19e69dabc1f5d16129bfedc81e6e7ceb',1,'SVF::ConstraintGraph']]],
   ['addnormalgepcgedge',['addNormalGepCGEdge',['../classSVF_1_1ConstraintGraph.html#a5aac453464955185ca0d47e91db9df7b',1,'SVF::ConstraintGraph']]],
-  ['addnormalgepedge',['addNormalGepEdge',['../classSVF_1_1SVFIRBuilder.html#afb1520090d28e6a75f359d8f838dd831',1,'SVF::SVFIRBuilder']]],
+  ['addnormalgepedge',['addNormalGepEdge',['../classSVF_1_1SVFIRBuilder.html#a4e9698f1d85f47ea126f71db3bb5a3a5',1,'SVF::SVFIRBuilder']]],
   ['addnormalgepstmt',['addNormalGepStmt',['../classSVF_1_1SVFIR.html#a460011093c6426b98236c8381b1df0a0',1,'SVF::SVFIR']]],
   ['addnullptrnode',['addNullPtrNode',['../classSVF_1_1SVFIRBuilder.html#a1717e26e29f50096b96d7e4c43fe1c76',1,'SVF::SVFIRBuilder']]],
   ['addnullptrvfgnode',['addNullPtrVFGNode',['../classSVF_1_1VFG.html#a59bc855eb8591d88e0898e14d4f4b607',1,'SVF::VFG']]],
@@ -186,7 +186,7 @@ var searchData=
   ['addoutofbudgetdpm',['addOutOfBudgetDpm',['../classSVF_1_1DDAVFSolver.html#ae1e77060ac22d465b5cc9430962e280c',1,'SVF::DDAVFSolver']]],
   ['addparforsite',['addParForSite',['../classSVF_1_1ThreadCallGraph.html#a69719915e8c23e3afd6766daea946ffe',1,'SVF::ThreadCallGraph']]],
   ['addpath',['addPath',['../classSVF_1_1VFPathCond.html#a47d117a7c5e789766f28cdca6d71ff19',1,'SVF::VFPathCond']]],
-  ['addphistmt',['addPhiStmt',['../classSVF_1_1SVFIR.html#abb272e6fff36a29fe84c9d8695f7d630',1,'SVF::SVFIR::addPhiStmt()'],['../classSVF_1_1SVFIRBuilder.html#aa26d69a4f6d6ecc93e91231c22c50dac',1,'SVF::SVFIRBuilder::addPhiStmt()']]],
+  ['addphistmt',['addPhiStmt',['../classSVF_1_1SVFIR.html#abb272e6fff36a29fe84c9d8695f7d630',1,'SVF::SVFIR::addPhiStmt()'],['../classSVF_1_1SVFIRBuilder.html#a2bd394d9fe3b7a10080987b7a707f5c0',1,'SVF::SVFIRBuilder::addPhiStmt()']]],
   ['addpointsto',['addPointsTo',['../classSVF_1_1IndirectSVFGEdge.html#a50ac2e33c6a4a41291c0a476ed07de53',1,'SVF::IndirectSVFGEdge']]],
   ['addpts',['addPts',['../classSVF_1_1PTData.html#ac1b9dc035fb0bdf468c7d14b9f9d437a',1,'SVF::PTData::addPts()'],['../classSVF_1_1VersionedPTData.html#ae00316730227769a39b22d3df1b6d38a',1,'SVF::VersionedPTData::addPts()'],['../classSVF_1_1MutablePTData.html#aab4a2eec11e83beca70b016102431ab1',1,'SVF::MutablePTData::addPts(const Key &dstKey, const Data &element) override'],['../classSVF_1_1MutablePTData.html#a8cdeda0ef0e976102d05de3004bd8c8a',1,'SVF::MutablePTData::addPts(DataSet &d, const Data &e)'],['../classSVF_1_1MutableDiffPTData.html#a717c166c5efdf2e1d71be1772fc0898d',1,'SVF::MutableDiffPTData::addPts()'],['../classSVF_1_1MutableDFPTData.html#ab75373d16f57dbbf1e9472e9a27d6b4b',1,'SVF::MutableDFPTData::addPts(const Key &dstKey, const Key &srcKey) override'],['../classSVF_1_1MutableDFPTData.html#ab7d1a3464e561029573f6f3c13c9bff4',1,'SVF::MutableDFPTData::addPts(DataSet &d, const Data &e)'],['../classSVF_1_1MutableVersionedPTData.html#a00a88cc3e802921c6a0951801ec712a6',1,'SVF::MutableVersionedPTData::addPts(const Key &k, const Data &element) override'],['../classSVF_1_1MutableVersionedPTData.html#af39232f64ff0ede20161c7f265da6cf5',1,'SVF::MutableVersionedPTData::addPts(const VersionedKey &vk, const Data &element) override'],['../classSVF_1_1PersistentPTData.html#a8d53322eadc657ed88a8b724647070b2',1,'SVF::PersistentPTData::addPts()'],['../classSVF_1_1PersistentDiffPTData.html#a9f748619f67f3ff9c4c4a429e6614989',1,'SVF::PersistentDiffPTData::addPts()'],['../classSVF_1_1PersistentDFPTData.html#a95df7d565ba8e990b61b1c932c8d4273',1,'SVF::PersistentDFPTData::addPts()'],['../classSVF_1_1PersistentVersionedPTData.html#a7f3730473af9218bea520ec0498fb4ac',1,'SVF::PersistentVersionedPTData::addPts(const Key &k, const Data &element) override'],['../classSVF_1_1PersistentVersionedPTData.html#ae4877cf4db5b1da5e7d05fe65ae8ed32',1,'SVF::PersistentVersionedPTData::addPts(const VersionedKey &vk, const Data &element) override'],['../classSVF_1_1BVDataPTAImpl.html#af68485a2208553579f9c2e4b2cb20cff',1,'SVF::BVDataPTAImpl::addPts()'],['../classSVF_1_1CondPTAImpl.html#a08037f32b927fe2e6be47a61a060463c',1,'SVF::CondPTAImpl::addPts()']]],
   ['addrcgedge',['AddrCGEdge',['../classSVF_1_1AddrCGEdge.html#a9c8da69a469e51d83c5009ba2685bcf6',1,'SVF::AddrCGEdge::AddrCGEdge()'],['../classSVF_1_1AddrCGEdge.html#a3e07c316815631b1ddfd35ae3781daab',1,'SVF::AddrCGEdge::AddrCGEdge(const AddrCGEdge &)'],['../classSVF_1_1AddrCGEdge.html#a131779667553499b85423e1932664252',1,'SVF::AddrCGEdge::AddrCGEdge(ConstraintNode *s, ConstraintNode *d, EdgeID id)']]],
@@ -195,7 +195,7 @@ var searchData=
   ['addrefsideeffectoffunction',['addRefSideEffectOfFunction',['../classSVF_1_1MRGenerator.html#a899c81db92c6bcf24f6f9b769e02e5bf',1,'SVF::MRGenerator']]],
   ['addrefstoreedge',['addRefStoreEdge',['../classSVF_1_1OfflineConsG.html#a99e2de184d8f532074666881b67e0b17',1,'SVF::OfflineConsG']]],
   ['addretblock',['addRetBlock',['../classSVF_1_1ICFG.html#aae7bcc56ba04d08cc030f108b06299ae',1,'SVF::ICFG']]],
-  ['addretedge',['addRetEdge',['../classSVF_1_1ICFG.html#a4a44849b596c89ab14d2e5f18366e848',1,'SVF::ICFG::addRetEdge()'],['../classSVF_1_1VFG.html#a27ac8d60de7be75e831b4a28f8f8f1d2',1,'SVF::VFG::addRetEdge()'],['../classSVF_1_1SVFIRBuilder.html#aff15a202dfa9419cec787d9acf6c35c2',1,'SVF::SVFIRBuilder::addRetEdge()']]],
+  ['addretedge',['addRetEdge',['../classSVF_1_1ICFG.html#a4a44849b596c89ab14d2e5f18366e848',1,'SVF::ICFG::addRetEdge()'],['../classSVF_1_1VFG.html#a27ac8d60de7be75e831b4a28f8f8f1d2',1,'SVF::VFG::addRetEdge()'],['../classSVF_1_1SVFIRBuilder.html#a89e8cc23aad23d2c326b4a5ff12535ca',1,'SVF::SVFIRBuilder::addRetEdge()']]],
   ['addretindirectsvfgedge',['addRetIndirectSVFGEdge',['../classSVF_1_1SVFGOPT.html#afa99da68ef756d968d39a85f0fac3649',1,'SVF::SVFGOPT']]],
   ['addretindirectvfedge',['addRetIndirectVFEdge',['../classSVF_1_1SVFG.html#a8ebf0e285c69db8332a1f8914d6190f6',1,'SVF::SVFG']]],
   ['addretnode',['addRetNode',['../classSVF_1_1SVFIR.html#a38f6d0c7db935fd4e556761f96f1fa09',1,'SVF::SVFIR::addRetNode(const SVFFunction *val, NodeID i)'],['../classSVF_1_1SVFIR.html#a1f63adcd679596996ee2eabf0179462f',1,'SVF::SVFIR::addRetNode(const SVFFunction *, SVFVar *node, NodeID i)']]],
@@ -204,7 +204,7 @@ var searchData=
   ['addrstmt',['AddrStmt',['../classSVF_1_1AddrStmt.html#a0fa28f3a081cd6d32801ab245b6e95ae',1,'SVF::AddrStmt::AddrStmt()'],['../classSVF_1_1AddrStmt.html#a2576465276cd68b6d2029e1838c3b487',1,'SVF::AddrStmt::AddrStmt(const AddrStmt &)'],['../classSVF_1_1AddrStmt.html#a42caa75acb42ce8e290c1278622f139c',1,'SVF::AddrStmt::AddrStmt(SVFVar *s, SVFVar *d)']]],
   ['addrvfgnode',['AddrVFGNode',['../classSVF_1_1AddrVFGNode.html#ae83e51310f51cfb9cd7e2bb2002d758a',1,'SVF::AddrVFGNode::AddrVFGNode()'],['../classSVF_1_1AddrVFGNode.html#ad44d3d2b21708a472469b08450114f2c',1,'SVF::AddrVFGNode::AddrVFGNode(const AddrVFGNode &)'],['../classSVF_1_1AddrVFGNode.html#ad0608b31c5cc414454313617ff3e0ff5',1,'SVF::AddrVFGNode::AddrVFGNode(NodeID id, const AddrStmt *edge)']]],
   ['addscccandidate',['addSccCandidate',['../classSVF_1_1AndersenSCD.html#ad8530ce52f87c4ea94cac579288e2689',1,'SVF::AndersenSCD']]],
-  ['addselectstmt',['addSelectStmt',['../classSVF_1_1SVFIR.html#accbff738e77fd2256d4a6629c48d63f4',1,'SVF::SVFIR::addSelectStmt()'],['../classSVF_1_1SVFIRBuilder.html#a96d0878e2eaa0104a1b07fceb2b33c45',1,'SVF::SVFIRBuilder::addSelectStmt()']]],
+  ['addselectstmt',['addSelectStmt',['../classSVF_1_1SVFIR.html#accbff738e77fd2256d4a6629c48d63f4',1,'SVF::SVFIR::addSelectStmt()'],['../classSVF_1_1SVFIRBuilder.html#a5bf90e30bb591caba9ff85535e6a33f8',1,'SVF::SVFIRBuilder::addSelectStmt()']]],
   ['addsinglerevpts',['addSingleRevPts',['../classSVF_1_1MutablePTData.html#a4c5d5d5d73db6dc6b721a076bcae3662',1,'SVF::MutablePTData']]],
   ['addsinktocurslice',['addSinkToCurSlice',['../classSVF_1_1SrcSnkDDA.html#a6caea43079963b13e9a7a017074bdbb7',1,'SVF::SrcSnkDDA']]],
   ['addspawneefun',['addSpawneeFun',['../classSVF_1_1PCG.html#acc48f65798275f5443b34b84e4bb6eae',1,'SVF::PCG']]],
@@ -215,7 +215,7 @@ var searchData=
   ['addstmtvfgnode',['addStmtVFGNode',['../classSVF_1_1VFG.html#a6d2a20830533ee40a5757e58e127f927',1,'SVF::VFG']]],
   ['addstorecgedge',['addStoreCGEdge',['../classSVF_1_1ConstraintGraph.html#a633666953f8d6675961981c4eab1adb0',1,'SVF::ConstraintGraph']]],
   ['addstorechi',['AddStoreCHI',['../classSVF_1_1MemSSA.html#a4e11797df16b0b612191607180acc0c5',1,'SVF::MemSSA::AddStoreCHI(const BasicBlock *bb, const StoreStmt *store, const MRSet &mrSet)'],['../classSVF_1_1MemSSA.html#a8d9bfa2ad724a3b286edc56b7c15e9bf',1,'SVF::MemSSA::AddStoreCHI(const BasicBlock *bb, const StoreStmt *store, const MemRegion *mr)']]],
-  ['addstoreedge',['addStoreEdge',['../classSVF_1_1SVFIRBuilder.html#ac5795471aff6ccb07a84ffe1277ff2d4',1,'SVF::SVFIRBuilder']]],
+  ['addstoreedge',['addStoreEdge',['../classSVF_1_1SVFIRBuilder.html#a30f043eeca79259d84b97e265110f018',1,'SVF::SVFIRBuilder']]],
   ['addstorestmt',['addStoreStmt',['../classSVF_1_1SVFIR.html#af9804d78e4158d3c8961e1f84bbef91e',1,'SVF::SVFIR']]],
   ['addstorevfgnode',['addStoreVFGNode',['../classSVF_1_1VFG.html#a13f7caf44741db3b0e8a44b13d8931f5',1,'SVF::VFG']]],
   ['addsubnode',['addSubNode',['../classSVF_1_1Steensgaard.html#abcb15d923ebbf289672b54b6f0963e03',1,'SVF::Steensgaard']]],
@@ -230,10 +230,10 @@ var searchData=
   ['addtctedge',['addTCTEdge',['../classSVF_1_1TCT.html#aa87bfebf48f9e74655ab3db4ec1576b3',1,'SVF::TCT']]],
   ['addtctnode',['addTCTNode',['../classSVF_1_1TCT.html#a4d26418c050876eb365af0ee31d3922c',1,'SVF::TCT']]],
   ['addtdedges',['addTDEdges',['../classSVF_1_1MTASVFGBuilder.html#a2e654f80c3680cd434fd04932a309a2d',1,'SVF::MTASVFGBuilder']]],
-  ['addthreadforkedge',['addThreadForkEdge',['../classSVF_1_1SVFIRBuilder.html#a013560b7d7d173e1558ae6dd404d1bba',1,'SVF::SVFIRBuilder']]],
+  ['addthreadforkedge',['addThreadForkEdge',['../classSVF_1_1SVFIRBuilder.html#a54636413fd3ed7e634ac7428139966a4',1,'SVF::SVFIRBuilder']]],
   ['addthreadforkedgesetmap',['addThreadForkEdgeSetMap',['../classSVF_1_1ThreadCallGraph.html#ab20211a66583387f0da4769bee65e300',1,'SVF::ThreadCallGraph']]],
   ['addthreadforkpe',['addThreadForkPE',['../classSVF_1_1SVFIR.html#a916d893cb852bbbd933e3e5349d5154b',1,'SVF::SVFIR']]],
-  ['addthreadjoinedge',['addThreadJoinEdge',['../classSVF_1_1SVFIRBuilder.html#af10d23b0ef64d3f4cd2543beabafe9df',1,'SVF::SVFIRBuilder']]],
+  ['addthreadjoinedge',['addThreadJoinEdge',['../classSVF_1_1SVFIRBuilder.html#aec565ef04a35b0be0d8275ae511cc7b1',1,'SVF::SVFIRBuilder']]],
   ['addthreadjoinedgesetmap',['addThreadJoinEdgeSetMap',['../classSVF_1_1ThreadCallGraph.html#a7100a68c27a965927975e26bb06e061c',1,'SVF::ThreadCallGraph']]],
   ['addthreadjoinpe',['addThreadJoinPE',['../classSVF_1_1SVFIR.html#a64d14e7ee334c85b02414d68877faab2',1,'SVF::SVFIR']]],
   ['addthreadmhpindirectvfedge',['addThreadMHPIndirectVFEdge',['../classSVF_1_1SVFG.html#a1aba3845bad017f81cd5f938db03a161',1,'SVF::SVFG']]],
@@ -251,13 +251,13 @@ var searchData=
   ['addtosvfstmtlist',['addToSVFStmtList',['../classSVF_1_1SVFIR.html#a6a84868ab4e2845e884fba08d82b40f6',1,'SVF::SVFIR']]],
   ['addtypedef',['addTypedef',['../classSVF_1_1DCHNode.html#a9d1016e3da3462664198b1125dfc8f6e',1,'SVF::DCHNode']]],
   ['addtypeforgepobjnode',['addTypeForGepObjNode',['../classSVF_1_1Andersen.html#a85cc81a4f9399e9a23372fa2658325a6',1,'SVF::Andersen']]],
-  ['addunaryopedge',['addUnaryOPEdge',['../classSVF_1_1SVFIRBuilder.html#a6102431dd8a8d7b050d5773e499d0fbf',1,'SVF::SVFIRBuilder']]],
+  ['addunaryopedge',['addUnaryOPEdge',['../classSVF_1_1SVFIRBuilder.html#a9e81039d17b70e6a3d7310d05fa73c45',1,'SVF::SVFIRBuilder']]],
   ['addunaryopstmt',['addUnaryOPStmt',['../classSVF_1_1SVFIR.html#a8abc436992aa3b6b636084ff5f9a8ef2',1,'SVF::SVFIR']]],
   ['addunaryopvfgnode',['addUnaryOPVFGNode',['../classSVF_1_1VFG.html#a65c88a6c20380b715ac8b6c31e68afed',1,'SVF::VFG']]],
   ['addvalnode',['addValNode',['../classSVF_1_1SVFIR.html#a93bc14960cdd4eb345c64e9b79757ccf',1,'SVF::SVFIR::addValNode(const Value *val, NodeID i)'],['../classSVF_1_1SVFIR.html#a3face8a526a33d82ef7cde7602030bc9',1,'SVF::SVFIR::addValNode(const Value *, SVFVar *node, NodeID i)']]],
   ['addvarargnode',['addVarargNode',['../classSVF_1_1SVFIR.html#a6ade5bf3edc7b6c3faafc3e5ff3d0538',1,'SVF::SVFIR::addVarargNode(const SVFFunction *val, NodeID i)'],['../classSVF_1_1SVFIR.html#a078c01295f47bf12f1a2b8abfab8b28d',1,'SVF::SVFIR::addVarargNode(const SVFFunction *, SVFVar *node, NodeID i)']]],
   ['addvariantgepcgedge',['addVariantGepCGEdge',['../classSVF_1_1ConstraintGraph.html#a6902cabb252b1eaadb3c8220b4581a2f',1,'SVF::ConstraintGraph']]],
-  ['addvariantgepedge',['addVariantGepEdge',['../classSVF_1_1SVFIRBuilder.html#a76cf53044c3c939512c392cceb21d8a4',1,'SVF::SVFIRBuilder']]],
+  ['addvariantgepedge',['addVariantGepEdge',['../classSVF_1_1SVFIRBuilder.html#a9bcc50d3c340acfb88bee64dc7270b2a',1,'SVF::SVFIRBuilder']]],
   ['addvariantgepstmt',['addVariantGepStmt',['../classSVF_1_1SVFIR.html#a996574dbe5d5d79b1dc24cf5dc4145de',1,'SVF::SVFIR']]],
   ['addvartoconst',['addVarToConst',['../cuddInt_8c.html#a1beb03ec42d575c3c90eb690a0edf97b',1,'cuddInt.c']]],
   ['addvfedge',['addVFEdge',['../classSVF_1_1VFPathCond.html#adbf3026a7f2a9cbbb1de55159e264263',1,'SVF::VFPathCond']]],
@@ -282,12 +282,12 @@ var searchData=
   ['allpathreachablesolve',['AllPathReachableSolve',['../classSVF_1_1ProgSlice.html#aa7979418bed24fcecfc6fa04532cd586',1,'SVF::ProgSlice']]],
   ['analyze',['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()']]],
   ['analyzeforkjoinpair',['analyzeForkJoinPair',['../classSVF_1_1ForkJoinAnalysis.html#a16061e7c28e7a9177d9ab798c102b815',1,'SVF::ForkJoinAnalysis']]],
-  ['analyzeglobalstackobjtype',['analyzeGlobalStackObjType',['../classSVF_1_1SymbolTableBuilder.html#a403767d4aee3cf36ef9655e734e0b74f',1,'SVF::SymbolTableBuilder']]],
-  ['analyzeheapobjtype',['analyzeHeapObjType',['../classSVF_1_1ObjTypeInfo.html#a66692043a56c327ac7ac00cc3126cd78',1,'SVF::ObjTypeInfo']]],
+  ['analyzeheapobjtype',['analyzeHeapObjType',['../classSVF_1_1SymbolTableBuilder.html#a9fca576448cc1cb38c894a7ae3d9ec56',1,'SVF::SymbolTableBuilder']]],
   ['analyzeinterleaving',['analyzeInterleaving',['../classSVF_1_1MHP.html#adfd90a8d20d630bc3813f5ed71d3abf7',1,'SVF::MHP']]],
   ['analyzeintraproceduallock',['analyzeIntraProcedualLock',['../classSVF_1_1LockAnalysis.html#a8a34f7544f22a87e1caf010c34abda75',1,'SVF::LockAnalysis']]],
   ['analyzelockspancxtstmt',['analyzeLockSpanCxtStmt',['../classSVF_1_1LockAnalysis.html#a00ccd89eff3fe8fec397df101f927cbe',1,'SVF::LockAnalysis']]],
-  ['analyzestaticobjtype',['analyzeStaticObjType',['../classSVF_1_1ObjTypeInfo.html#aa8b97a2cbd2de56b3c6c5c0e2e0a2211',1,'SVF::ObjTypeInfo']]],
+  ['analyzeobjtype',['analyzeObjType',['../classSVF_1_1SymbolTableBuilder.html#af5c882c10cd46c669c5aededbdb510d8',1,'SVF::SymbolTableBuilder']]],
+  ['analyzestaticobjtype',['analyzeStaticObjType',['../classSVF_1_1SymbolTableBuilder.html#afe2806a0aef240ab313975decfe362f7',1,'SVF::SymbolTableBuilder']]],
   ['analyzevtables',['analyzeVTables',['../classSVF_1_1CHGBuilder.html#a2828eb6b2bd86d6f279967c34da8e7e4',1,'SVF::CHGBuilder']]],
   ['and',['AND',['../classSVF_1_1BranchCondManager.html#a739f4206abf4f367dc796e9fd35d4d04',1,'SVF::BranchCondManager::AND()'],['../classSVF_1_1CondManager.html#a4b88160366a7c7b2bf7e2ab632ed04c7',1,'SVF::CondManager::AND()']]],
   ['andersen',['Andersen',['../classSVF_1_1Andersen.html#a680dc709c0263fc1a13aa5c81d95fc72',1,'SVF::Andersen']]],

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

@@ -175,7 +175,7 @@ var searchData=
   ['strcpy',['strcpy',['../util_8h.html#add539a5755e4c4070b0c8ca97477fe47',1,'util.h']]],
   ['strcspn',['strcspn',['../util_8h.html#a400ca51e66dc11efb3d8ef17ced1ffa4',1,'util.h']]],
   ['strerror',['strerror',['../util_8h.html#a3b960eeb937b0deb53d4a2812d342242',1,'util.h']]],
-  ['stripallcasts',['stripAllCasts',['../namespaceSVF_1_1SVFUtil.html#a862eaa4f3d172bc7ffa56406f2d5af92',1,'SVF::SVFUtil']]],
+  ['stripallcasts',['stripAllCasts',['../namespaceSVF_1_1SVFUtil.html#a69991ab4e9a7705202c1357079ab5fa8',1,'SVF::SVFUtil']]],
   ['striparray',['stripArray',['../classSVF_1_1DCHGraph.html#a6c276e661e5e63c1c84387f84c8a62e4',1,'SVF::DCHGraph']]],
   ['stripconstantcasts',['stripConstantCasts',['../namespaceSVF_1_1SVFUtil.html#a86763e6a3606598580cd0172aecb5bc7',1,'SVF::SVFUtil']]],
   ['stripqualifiers',['stripQualifiers',['../classSVF_1_1DCHGraph.html#a175ed6ad0c9b23d5617f755ab96c76c4',1,'SVF::DCHGraph']]],
@@ -200,7 +200,7 @@ var searchData=
   ['svfgnodelockspan',['SVFGNodeLockSpan',['../classSVF_1_1SVFGNodeLockSpan.html#a43f4d595b31259576b141cb99883938e',1,'SVF::SVFGNodeLockSpan']]],
   ['svfgopt',['SVFGOPT',['../classSVF_1_1SVFGOPT.html#a239475c15b39d54c632427307b8e9350',1,'SVF::SVFGOPT']]],
   ['svfgsccdetection',['SVFGSCCDetection',['../classSVF_1_1DDAVFSolver.html#aba0ec611a5cfd096ac0b8b11e0bd5580',1,'SVF::DDAVFSolver']]],
-  ['svfgstat',['svfgStat',['../classSVF_1_1FlowSensitive.html#a5f015d8f2b0956306822172d02b415c3',1,'SVF::FlowSensitive::svfgStat()'],['../classSVF_1_1SVFGStat.html#ae61d5bd92ef495a0f6c2f9dedac3da03',1,'SVF::SVFGStat::SVFGStat()']]],
+  ['svfgstat',['SVFGStat',['../classSVF_1_1SVFGStat.html#ae61d5bd92ef495a0f6c2f9dedac3da03',1,'SVF::SVFGStat::SVFGStat()'],['../classSVF_1_1FlowSensitive.html#a5f015d8f2b0956306822172d02b415c3',1,'SVF::FlowSensitive::svfgStat()']]],
   ['svfir',['SVFIR',['../classSVF_1_1SVFIR.html#abf511f82cdbf7a6d9b6da167aee57636',1,'SVF::SVFIR']]],
   ['svfirbuilder',['SVFIRBuilder',['../classSVF_1_1SVFIRBuilder.html#a8c25c3903cda26312f182014f29069fc',1,'SVF::SVFIRBuilder']]],
   ['svfmodule',['SVFModule',['../classSVF_1_1SVFModule.html#a22b214595dd7841eb974e7c633ed8bb1',1,'SVF::SVFModule']]],

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

@@ -185,7 +185,7 @@ var searchData=
   ['createmr',['createMR',['../classSVF_1_1MRGenerator.html#ac18324bd2b862c3cdbf65494bf69ecb5',1,'SVF::MRGenerator']]],
   ['createmuchi',['createMUCHI',['../classSVF_1_1MemSSA.html#a695adf83e8c40b9628b1866053f68033',1,'SVF::MemSSA']]],
   ['createnode',['createNode',['../classSVF_1_1CHGBuilder.html#a8e915f257224b1d8e40d0e4c9b5e1df0',1,'SVF::CHGBuilder']]],
-  ['createobjtypeinfo',['createObjTypeInfo',['../classSVF_1_1SymbolTableInfo.html#a76971ba9b579907ef937cd7adda89562',1,'SVF::SymbolTableInfo::createObjTypeInfo()'],['../classSVF_1_1SymbolTableBuilder.html#a31190ba1934f945abe8a1b4fcbb636b3',1,'SVF::SymbolTableBuilder::createObjTypeInfo()']]],
+  ['createobjtypeinfo',['createObjTypeInfo',['../classSVF_1_1SymbolTableInfo.html#a2b0f2c6745d14a9f6447ed96484dddac',1,'SVF::SymbolTableInfo::createObjTypeInfo()'],['../classSVF_1_1SymbolTableBuilder.html#a31190ba1934f945abe8a1b4fcbb636b3',1,'SVF::SymbolTableBuilder::createObjTypeInfo()']]],
   ['createrefnode',['createRefNode',['../classSVF_1_1OfflineConsG.html#a984e82f3185be03b8d1cb942685b2010',1,'SVF::OfflineConsG']]],
   ['createsteensgaard',['createSteensgaard',['../classSVF_1_1Steensgaard.html#acd5f31c3b1f9b47def458637f8e9389e',1,'SVF::Steensgaard']]],
   ['createvfswpa',['createVFSWPA',['../classSVF_1_1VersionedFlowSensitive.html#ae7cf16ad79c13104dd9981e6b984057e',1,'SVF::VersionedFlowSensitive']]],

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

@@ -10,7 +10,7 @@ var searchData=
   ['gepisload',['gepIsLoad',['../classSVF_1_1FlowSensitiveTBHC.html#ad5b294dacf51a89306df9a22c6799bad',1,'SVF::FlowSensitiveTBHC']]],
   ['gepobjvar',['GepObjVar',['../classSVF_1_1GepObjVar.html#ae80d95a4d90ca64eca819e140445004c',1,'SVF::GepObjVar']]],
   ['gepstmt',['GepStmt',['../classSVF_1_1GepStmt.html#a9877729d1b82317d6e5d28bea9741586',1,'SVF::GepStmt::GepStmt()'],['../classSVF_1_1GepStmt.html#a800c21f9263eb5d9b1980b1dff013391',1,'SVF::GepStmt::GepStmt(const GepStmt &)'],['../classSVF_1_1GepStmt.html#ae4509ee7b57121da3c67de00e8bdf0b3',1,'SVF::GepStmt::GepStmt(SVFVar *s, SVFVar *d, const LocationSet &l, bool varfld=false)']]],
-  ['gepvalvar',['GepValVar',['../classSVF_1_1GepValVar.html#a9bad2709e0d82d2d4a8578cc57bdf9f5',1,'SVF::GepValVar']]],
+  ['gepvalvar',['GepValVar',['../classSVF_1_1GepValVar.html#af4fd4a194f00d5cc76c2aeb9e316f768',1,'SVF::GepValVar']]],
   ['gepvfgnode',['GepVFGNode',['../classSVF_1_1GepVFGNode.html#a0c5d942e163a732ce78af81327e73ab2',1,'SVF::GepVFGNode::GepVFGNode()'],['../classSVF_1_1GepVFGNode.html#a1edc695ae4d62a0fe19ecba74a1db3e4',1,'SVF::GepVFGNode::GepVFGNode(const GepVFGNode &)'],['../classSVF_1_1GepVFGNode.html#a4877548499e779b09a0cb29ad9ec0f43',1,'SVF::GepVFGNode::GepVFGNode(NodeID id, const GepStmt *edge)']]],
   ['get',['get',['../classSVF_1_1NodeIDAllocator.html#a2bd3ca30fc9669d9a0327544bdb4557b',1,'SVF::NodeIDAllocator']]],
   ['get_5falloc_5farg_5fpos',['get_alloc_arg_pos',['../classSVF_1_1ExtAPI.html#a090df490c65fab16ec9fa5431e13361e',1,'SVF::ExtAPI']]],
@@ -48,7 +48,7 @@ var searchData=
   ['getbaseobj',['getBaseObj',['../classSVF_1_1SVFIR.html#af76a55c3b8255a81a566bdce35ffc749',1,'SVF::SVFIR']]],
   ['getbaseobjvar',['getBaseObjVar',['../classSVF_1_1ConstraintGraph.html#a6e8c46641da751fe3369c9d5407ce415',1,'SVF::ConstraintGraph::getBaseObjVar()'],['../classSVF_1_1PointerAnalysis.html#a9f1c599cb9f6e2ae83e29bb84ef6831c',1,'SVF::PointerAnalysis::getBaseObjVar()'],['../classSVF_1_1SVFIR.html#a77a6bb9335aa12d29825af1b5ea07e08',1,'SVF::SVFIR::getBaseObjVar()']]],
   ['getbaseptr',['getBasePtr',['../MHP_8cpp.html#a04cfa4119d5964972799ae716951babe',1,'MHP.cpp']]],
-  ['getbasetypeandflattenedfields',['getBaseTypeAndFlattenedFields',['../classSVF_1_1SVFIRBuilder.html#ac03c4203e4b32a68dd548af64764fe2c',1,'SVF::SVFIRBuilder']]],
+  ['getbasetypeandflattenedfields',['getBaseTypeAndFlattenedFields',['../classSVF_1_1SVFIRBuilder.html#a4cb5ac4a19002023683c4ee47aabb802',1,'SVF::SVFIRBuilder']]],
   ['getbasevalvar',['getBaseValVar',['../classSVF_1_1SVFIR.html#a5298f34143ec3a2e6bb74ebad668cbbc',1,'SVF::SVFIR']]],
   ['getbasicblock',['getBasicBlock',['../classSVF_1_1LoadMU.html#abcd77653329021248bb406815f8691a7',1,'SVF::LoadMU::getBasicBlock()'],['../classSVF_1_1CallMU.html#ab20ae240ad380c760b9b1f4b8b06344f',1,'SVF::CallMU::getBasicBlock()'],['../classSVF_1_1StoreCHI.html#a85eb84312c003a57b2c9c4ed7df7c239',1,'SVF::StoreCHI::getBasicBlock()'],['../classSVF_1_1CallCHI.html#a69f83ff81ea017d645aadeb46334880f',1,'SVF::CallCHI::getBasicBlock()'],['../classSVF_1_1MSSAPHI.html#a00b3ab85b31b4de91398efea41db158f',1,'SVF::MSSAPHI::getBasicBlock()']]],
   ['getbb',['getBB',['../classSVF_1_1ICFGNode.html#ac1689701c75e04481e2ae2f4482551c4',1,'SVF::ICFGNode::getBB()'],['../classSVF_1_1SVFStmt.html#a793c53e0b4f9a58099c096f0a0856495',1,'SVF::SVFStmt::getBB()']]],
@@ -225,9 +225,7 @@ var searchData=
   ['getexternalnode',['getExternalNode',['../classSVF_1_1PointsTo.html#a80a3caf74c138b3833c79622fef7b626',1,'SVF::PointsTo']]],
   ['getfalsecond',['getFalseCond',['../classSVF_1_1PathCondAllocator.html#a0d059c9adce2c998ddf2489376beb8e2',1,'SVF::PathCondAllocator::getFalseCond()'],['../classSVF_1_1ProgSlice.html#a9150b694dd7b2e53ef7e78ea1b78094d',1,'SVF::ProgSlice::getFalseCond()'],['../classSVF_1_1BranchCondManager.html#a013eb66493beb2b1d004605c68894a95',1,'SVF::BranchCondManager::getFalseCond()'],['../classSVF_1_1CondManager.html#a39e9d42cb3661d1c686b5163c70eeade',1,'SVF::CondManager::getFalseCond()']]],
   ['getfalsevalue',['getFalseValue',['../classSVF_1_1SelectStmt.html#af64d7855e352a0afb5d2e98a8622a4ad',1,'SVF::SelectStmt']]],
-  ['getfieldidx',['getFieldIdx',['../classSVF_1_1GepValVar.html#ae6965dc3d70ff6d1877d29b8e7aa4af8',1,'SVF::GepValVar']]],
   ['getfieldobjnodenum',['getFieldObjNodeNum',['../classSVF_1_1SVFIR.html#a3bbaafd80dfcae6ccc82c3d8b9d303ea',1,'SVF::SVFIR']]],
-  ['getfields',['getFields',['../classSVF_1_1SVFIRBuilder.html#a5c7cc40f0a9c89a8b9c21c65215dda29',1,'SVF::SVFIRBuilder']]],
   ['getfieldsaftercollapse',['getFieldsAfterCollapse',['../classSVF_1_1SVFIR.html#a42d1e2f0213fb6e54c56cc0695b57cb0',1,'SVF::SVFIR']]],
   ['getfieldtype',['getFieldType',['../classSVF_1_1DCHGraph.html#acaff636e6a9cf59363d6ee00435c04ff',1,'SVF::DCHGraph']]],
   ['getfieldtypes',['getFieldTypes',['../classSVF_1_1DCHGraph.html#ae9a0007299178912e2568dc7158d6824',1,'SVF::DCHGraph']]],
@@ -235,8 +233,9 @@ var searchData=
   ['getfilename',['getFileName',['../classSVF_1_1PAGBuilderFromFile.html#aaaa1e516e5eeceece371a9178142c3ff',1,'SVF::PAGBuilderFromFile']]],
   ['getfilterset',['getFilterSet',['../classSVF_1_1TypeBasedHeapCloning.html#ae520e0551e63223a908f92a6b9667356',1,'SVF::TypeBasedHeapCloning']]],
   ['getfiobjvar',['getFIObjVar',['../classSVF_1_1ConstraintGraph.html#a7c8a29ad1d270fca745f233bb4800731',1,'SVF::ConstraintGraph::getFIObjVar()'],['../classSVF_1_1PointerAnalysis.html#a68b05bc02c5473c1e0d39ac4f4454bac',1,'SVF::PointerAnalysis::getFIObjVar()'],['../classSVF_1_1SVFIR.html#a2878e202045b7f2c817185e8bf95d354',1,'SVF::SVFIR::getFIObjVar(const MemObj *obj) const'],['../classSVF_1_1SVFIR.html#ac9f860028c8cbd364720888084701628',1,'SVF::SVFIR::getFIObjVar(NodeID id) const']]],
-  ['getflattenedelemidxvec',['getFlattenedElemIdxVec',['../classSVF_1_1SymbolTableInfo.html#a439024050e7b78021259ca5a2d68a83f',1,'SVF::SymbolTableInfo::getFlattenedElemIdxVec()'],['../classSVF_1_1StInfo.html#a55e5fd85f232c1867c5c6a73646d53eb',1,'SVF::StInfo::getFlattenedElemIdxVec()']]],
-  ['getflattenedfieldidxvec',['getFlattenedFieldIdxVec',['../classSVF_1_1SymbolTableInfo.html#af0477d1e8af9ad51a9884e687fcdf29b',1,'SVF::SymbolTableInfo::getFlattenedFieldIdxVec()'],['../classSVF_1_1StInfo.html#aaf05447c20c9f90eea64ab6e88d6ab05',1,'SVF::StInfo::getFlattenedFieldIdxVec()']]],
+  ['getflattenedelemidx',['getFlattenedElemIdx',['../classSVF_1_1SymbolTableInfo.html#a6fe89e9d6c18a6aff6dffc1c78d08dff',1,'SVF::SymbolTableInfo']]],
+  ['getflattenedelemidxvec',['getFlattenedElemIdxVec',['../classSVF_1_1StInfo.html#a55e5fd85f232c1867c5c6a73646d53eb',1,'SVF::StInfo']]],
+  ['getflattenedfieldidxvec',['getFlattenedFieldIdxVec',['../classSVF_1_1StInfo.html#aaf05447c20c9f90eea64ab6e88d6ab05',1,'SVF::StInfo']]],
   ['getflattenedfieldinfovec',['getFlattenedFieldInfoVec',['../classSVF_1_1SymbolTableInfo.html#a9ca564bdc1f40a2ccd30d98e0e4075b0',1,'SVF::SymbolTableInfo::getFlattenedFieldInfoVec()'],['../classSVF_1_1StInfo.html#ab5908115f11eccee61bd0759a51d5af0',1,'SVF::StInfo::getFlattenedFieldInfoVec()']]],
   ['getflattenelemty',['getFlattenElemTy',['../classSVF_1_1FlattenedFieldInfo.html#a92c1b65c36feeabf09541c9af4650f14',1,'SVF::FlattenedFieldInfo']]],
   ['getflattenfldidx',['getFlattenFldIdx',['../classSVF_1_1FlattenedFieldInfo.html#a34759f793f0445d2941c9a7d1413b7b2',1,'SVF::FlattenedFieldInfo']]],
@@ -285,7 +284,7 @@ var searchData=
   ['getgepobjsfrommemobj',['getGepObjsFromMemObj',['../classSVF_1_1TypeBasedHeapCloning.html#ad043ab95900849a5a894ca4bada4e032',1,'SVF::TypeBasedHeapCloning']]],
   ['getgepobjvar',['getGepObjVar',['../classSVF_1_1ConstraintGraph.html#a3f727a2822fb18a14ce9e10c6534cf5a',1,'SVF::ConstraintGraph::getGepObjVar()'],['../classSVF_1_1PointerAnalysis.html#acbbc0934af9bc0145389dc41430c6d8b',1,'SVF::PointerAnalysis::getGepObjVar()'],['../classSVF_1_1SVFIR.html#a20c0c65af266ac876cb722aee6e87101',1,'SVF::SVFIR::getGepObjVar(const MemObj *obj, const LocationSet &ls)'],['../classSVF_1_1SVFIR.html#ab3e37eab61e7899f950be7de5f4d7916',1,'SVF::SVFIR::getGepObjVar(NodeID id, const LocationSet &ls)']]],
   ['getgepoutedges',['getGepOutEdges',['../classSVF_1_1ConstraintNode.html#a19d3d2c996ba821227a836717e5443c8',1,'SVF::ConstraintNode']]],
-  ['getgepvalvar',['getGepValVar',['../classSVF_1_1SVFIR.html#a811c5eaeef1e52cc2d6f56ec5a76bb02',1,'SVF::SVFIR::getGepValVar()'],['../classSVF_1_1SVFIRBuilder.html#ad0b30ca8fc2939bb7360a3ff08727d58',1,'SVF::SVFIRBuilder::getGepValVar()']]],
+  ['getgepvalvar',['getGepValVar',['../classSVF_1_1SVFIR.html#af17643b59ad9aa277b6e8f90a47c76b0',1,'SVF::SVFIR::getGepValVar()'],['../classSVF_1_1SVFIRBuilder.html#a74cff1c31f2fd1d23709b34ae988c29a',1,'SVF::SVFIRBuilder::getGepValVar()']]],
   ['getglobalicfgnode',['getGlobalICFGNode',['../classSVF_1_1ICFG.html#ae0b05ce161d62362642803158228e5d0',1,'SVF::ICFG']]],
   ['getglobalrep',['getGlobalRep',['../classSVF_1_1LLVMModuleSet.html#a757bf149437cce22163c764ea9993e12',1,'SVF::LLVMModuleSet::getGlobalRep()'],['../namespaceSVF_1_1SVFUtil.html#a4b55d5252da1f316f505cf6ce2078b28',1,'SVF::SVFUtil::getGlobalRep()']]],
   ['getglobalsvfstmtset',['getGlobalSVFStmtSet',['../classSVF_1_1SVFIR.html#a5c5adab1f68520a304fbf70ca40f7687',1,'SVF::SVFIR']]],
@@ -426,8 +425,8 @@ var searchData=
   ['getnumfields',['getNumFields',['../classSVF_1_1DCHGraph.html#a0788694fbff155949fc4f4d6487c223e',1,'SVF::DCHGraph']]],
   ['getnumobjects',['getNumObjects',['../classSVF_1_1NodeIDAllocator.html#ad63e43c65cb7d7cac7824f5cede5ec89',1,'SVF::NodeIDAllocator']]],
   ['getnumofcxtlocks',['getNumOfCxtLocks',['../classSVF_1_1LockAnalysis.html#a3df63f936d488166109d73bdcf0437d5',1,'SVF::LockAnalysis']]],
-  ['getnumofflattenelements',['getNumOfFlattenElements',['../classSVF_1_1SymbolTableInfo.html#a747073d433e05e15085a2675f6a1e18f',1,'SVF::SymbolTableInfo::getNumOfFlattenElements()'],['../classSVF_1_1StInfo.html#a518c82138fcadc6634980566c1c0f762',1,'SVF::StInfo::getNumOfFlattenElements()']]],
-  ['getnumofflattenfields',['getNumOfFlattenFields',['../classSVF_1_1SymbolTableInfo.html#a5ef16ff6a5787d89fd3f829bf518cf87',1,'SVF::SymbolTableInfo::getNumOfFlattenFields()'],['../classSVF_1_1StInfo.html#ae5fad367673315da57a604e64b5889f0',1,'SVF::StInfo::getNumOfFlattenFields()']]],
+  ['getnumofflattenelements',['getNumOfFlattenElements',['../classSVF_1_1SymbolTableInfo.html#aec579894eed558ea89740b68360187aa',1,'SVF::SymbolTableInfo::getNumOfFlattenElements()'],['../classSVF_1_1StInfo.html#a518c82138fcadc6634980566c1c0f762',1,'SVF::StInfo::getNumOfFlattenElements()']]],
+  ['getnumofflattenfields',['getNumOfFlattenFields',['../classSVF_1_1StInfo.html#ae5fad367673315da57a604e64b5889f0',1,'SVF::StInfo']]],
   ['getnumofforksite',['getNumOfForksite',['../classSVF_1_1ThreadCallGraph.html#aa847760765aae18bcb93b260a881441b',1,'SVF::ThreadCallGraph']]],
   ['getnumofjoinsite',['getNumOfJoinsite',['../classSVF_1_1ThreadCallGraph.html#a733bf08c7a496435ad09a41e6b0343ff',1,'SVF::ThreadCallGraph']]],
   ['getnumofoobquery',['getNumOfOOBQuery',['../classSVF_1_1DDAStat.html#ab508281a78749ec5d7b5dc8231a4be11',1,'SVF::DDAStat']]],
@@ -628,6 +627,7 @@ var searchData=
   ['gettypesystem',['getTypeSystem',['../classSVF_1_1PointerAnalysis.html#ae615dd279fbf681e3c15e7209e3adfbe',1,'SVF::PointerAnalysis']]],
   ['getunaryopvfgnode',['getUnaryOPVFGNode',['../classSVF_1_1VFG.html#a1ba67eb17437a1a47c230614c1e3d9fd',1,'SVF::VFG']]],
   ['getunifyexit',['getUnifyExit',['../classSVF_1_1MergeFunctionRets.html#a0644ac0f560911632855d9129f3d71ca',1,'SVF::MergeFunctionRets']]],
+  ['getuniqueuseviacastinst',['getUniqueUseViaCastInst',['../classSVF_1_1SymbolTableBuilder.html#aa5c2b13b54ddb172816d1ee269ddbb81',1,'SVF::SymbolTableBuilder']]],
   ['getvalsym',['getValSym',['../classSVF_1_1SymbolTableInfo.html#aec7ee137f828c9d61a11df7fc2241161',1,'SVF::SymbolTableInfo']]],
   ['getvalue',['getValue',['../classSVF_1_1VFGNode.html#a5ac80149696c243f77e4b4d25ad44898',1,'SVF::VFGNode::getValue()'],['../classSVF_1_1StmtVFGNode.html#ab51f462a26bc03cd5e2379be98a4dd3b',1,'SVF::StmtVFGNode::getValue()'],['../classSVF_1_1CmpVFGNode.html#a166ac2df82ebfcb77d50b71ce573e1eb',1,'SVF::CmpVFGNode::getValue()'],['../classSVF_1_1BinaryOPVFGNode.html#ad4c45bbfd044502106c41ba70f568463',1,'SVF::BinaryOPVFGNode::getValue()'],['../classSVF_1_1PHIVFGNode.html#a188a4d3ae95fe01dc59784d076f28aef',1,'SVF::PHIVFGNode::getValue()'],['../classSVF_1_1ArgumentVFGNode.html#aaf6a78630b0365d50dd7b4394215d3a1',1,'SVF::ArgumentVFGNode::getValue()'],['../classSVF_1_1SVFStmt.html#a65ee8b43a3a4999eb112a197d1a9f882',1,'SVF::SVFStmt::getValue()'],['../classSVF_1_1SVFVar.html#afaa33caa8d2a306f6741d9d066243e40',1,'SVF::SVFVar::getValue()'],['../classSVF_1_1MemObj.html#a4da54ef60231d2e6c26669226b99d2f3',1,'SVF::MemObj::getValue()'],['../classSVF_1_1SVFValue.html#a50f77757ac9c37a9501eb48deccdfef1',1,'SVF::SVFValue::getValue()']]],
   ['getvalueedges',['getValueEdges',['../classSVF_1_1IRGraph.html#a7710f6795d971d7a8b5683835c4c0fb8',1,'SVF::IRGraph']]],

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

@@ -16,7 +16,7 @@ var searchData=
   ['handleextcall',['handleExtCall',['../classSVF_1_1SVFIRBuilder.html#aff08d65b1411d1db81f80b9d4228c65d',1,'SVF::SVFIRBuilder']]],
   ['handlefork',['handleFork',['../classSVF_1_1LockAnalysis.html#a52e79d50288bfa2d146072be53ed058b',1,'SVF::LockAnalysis::handleFork()'],['../classSVF_1_1MHP.html#a8a95f8ae419b66310ce6f572caea2ca5',1,'SVF::MHP::handleFork()'],['../classSVF_1_1ForkJoinAnalysis.html#adddbc09b7b99170cd0941f22ccc7e561',1,'SVF::ForkJoinAnalysis::handleFork()']]],
   ['handleglobalce',['handleGlobalCE',['../classSVF_1_1SymbolTableBuilder.html#a72732ec0392d9d5b900fc12177890779',1,'SVF::SymbolTableBuilder']]],
-  ['handleglobalinitializerce',['handleGlobalInitializerCE',['../classSVF_1_1SymbolTableBuilder.html#ac17a325eac72cb01798cc7b06b0e6b6e',1,'SVF::SymbolTableBuilder']]],
+  ['handleglobalinitializerce',['handleGlobalInitializerCE',['../classSVF_1_1SymbolTableBuilder.html#a1efd9406182eb86b1ee4829c931b566d',1,'SVF::SymbolTableBuilder']]],
   ['handleindcall',['handleIndCall',['../classSVF_1_1SVFIRBuilder.html#aa21ed35656d26eec22c53dc41019adc4',1,'SVF::SVFIRBuilder']]],
   ['handleintervalueflow',['handleInterValueFlow',['../classSVF_1_1SVFGOPT.html#a4c698184cc23730fb44904d4048958da',1,'SVF::SVFGOPT']]],
   ['handleintra',['handleIntra',['../classSVF_1_1LockAnalysis.html#a711760ebaed0437176f4f9d314e9929c',1,'SVF::LockAnalysis::handleIntra()'],['../classSVF_1_1MHP.html#af4d6f0884ce18ea5caf0dfd9799d1aae',1,'SVF::MHP::handleIntra()'],['../classSVF_1_1ForkJoinAnalysis.html#add09218cce8d8bd8dd9e73b2d26a5797',1,'SVF::ForkJoinAnalysis::handleIntra()']]],

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

@@ -83,7 +83,6 @@ var searchData=
   ['isa',['isa',['../namespaceSVF_1_1SVFUtil.html#a5c8cbc986cccb9d84f87aae162df3737',1,'SVF::SVFUtil']]],
   ['isactualoutphi',['isActualOUTPHI',['../classSVF_1_1InterMSSAPHISVFGNode.html#a4fef6f5eaeed80f1555b4cdaa2af5301',1,'SVF::InterMSSAPHISVFGNode']]],
   ['isactualretphi',['isActualRetPHI',['../classSVF_1_1InterPHIVFGNode.html#aacfd7f1e99e246283191f41d44567ed4',1,'SVF::InterPHIVFGNode']]],
-  ['isaddresstakenptr',['isAddressTakenPtr',['../classSVF_1_1SVFVar.html#a482652e097c8e7921b4db2e75eb71efc',1,'SVF::SVFVar']]],
   ['isagg',['isAgg',['../classSVF_1_1DCHGraph.html#a9d2be5aec5216cbc1d1709b41f79c44b',1,'SVF::DCHGraph']]],
   ['isaliasedforkjoin',['isAliasedForkJoin',['../classSVF_1_1ForkJoinAnalysis.html#a3655131add43346a175576b023e32509',1,'SVF::ForkJoinAnalysis']]],
   ['isaliasedlocks',['isAliasedLocks',['../classSVF_1_1LockAnalysis.html#add9272ead87ca994ee4e08dfa30fa0f4',1,'SVF::LockAnalysis::isAliasedLocks(const CxtLock &cl1, const CxtLock &cl2)'],['../classSVF_1_1LockAnalysis.html#ab5a541fb1585d475a89590cce66ba3b4',1,'SVF::LockAnalysis::isAliasedLocks(const Instruction *i1, const Instruction *i2)']]],
@@ -244,7 +243,7 @@ var searchData=
   ['isnodehidden',['isNodeHidden',['../structllvm_1_1DOTGraphTraits_3_01ConstraintGraph_01_5_01_4.html#a2a467ab9b0a9ef28f88099f8ed58bba6',1,'llvm::DOTGraphTraits< ConstraintGraph * >::isNodeHidden()'],['../structllvm_1_1DOTGraphTraits_3_01IRGraph_01_5_01_4.html#a8593f5bcb7ff8b33bce21cfbc91e3753',1,'llvm::DOTGraphTraits< IRGraph * >::isNodeHidden()'],['../structllvm_1_1DOTGraphTraits_3_01SVFG_01_5_01_4.html#a08335822e61278ca8deac60882343d7f',1,'llvm::DOTGraphTraits< SVFG * >::isNodeHidden()']]],
   ['isnoninstriccallsite',['isNonInstricCallSite',['../namespaceSVF_1_1SVFUtil.html#a8d8216a92140d982303f83ea424ddc91',1,'SVF::SVFUtil']]],
   ['isnonlocalobject',['isNonLocalObject',['../classSVF_1_1MRGenerator.html#a2cf20660f2fd686fa3cabd046c4a10bf',1,'SVF::MRGenerator']]],
-  ['isnonpointerobj',['isNonPointerObj',['../classSVF_1_1PointerAnalysis.html#a9d3b20c9883d734537fb98b57b5372b9',1,'SVF::PointerAnalysis::isNonPointerObj()'],['../classSVF_1_1SVFIR.html#a07716ca7f769f704a80ccee1a6ad7ee2',1,'SVF::SVFIR::isNonPointerObj()']]],
+  ['isnonpointerobj',['isNonPointerObj',['../classSVF_1_1PointerAnalysis.html#a9d3b20c9883d734537fb98b57b5372b9',1,'SVF::PointerAnalysis::isNonPointerObj()'],['../classSVF_1_1SVFIR.html#a980e54129ece0757d7f0373f37428507',1,'SVF::SVFIR::isNonPointerObj()']]],
   ['isnonptrfieldobj',['isNonPtrFieldObj',['../classSVF_1_1MemObj.html#ad6926becf26a625cfe165aec120b2a1e',1,'SVF::MemObj::isNonPtrFieldObj()'],['../classSVF_1_1ObjTypeInfo.html#a3a58b1e0192b92dac5bbfad24adbcdac',1,'SVF::ObjTypeInfo::isNonPtrFieldObj()']]],
   ['isnullptr',['isNullPtr',['../classSVF_1_1SVFIR.html#a18ca66c199b910b15f1bfa77dcc98c30',1,'SVF::SVFIR::isNullPtr()'],['../classSVF_1_1SymbolTableInfo.html#ad095e4a569d399cadc03ce864f61c394',1,'SVF::SymbolTableInfo::isNullPtr()']]],
   ['isnullptrsym',['isNullPtrSym',['../classSVF_1_1SymbolTableInfo.html#a65a7e9d6d238a04291cb7d0aa15ece90',1,'SVF::SymbolTableInfo']]],
@@ -323,7 +322,6 @@ var searchData=
   ['isthreadforkcall',['isThreadForkCall',['../namespaceSVF_1_1SVFUtil.html#a5c2abeb363081381c3dc939ab511e3f0',1,'SVF::SVFUtil::isThreadForkCall(const CallSite cs)'],['../namespaceSVF_1_1SVFUtil.html#a834afc0042c24ed5a1dd00cadc1f00c3',1,'SVF::SVFUtil::isThreadForkCall(const Instruction *inst)']]],
   ['isthreadjoincall',['isThreadJoinCall',['../namespaceSVF_1_1SVFUtil.html#a194a8cf292726bd6cd54307b555c068a',1,'SVF::SVFUtil::isThreadJoinCall(const CallSite cs)'],['../namespaceSVF_1_1SVFUtil.html#a14793b41b05439a8a82fdce02e0587d5',1,'SVF::SVFUtil::isThreadJoinCall(const Instruction *inst)']]],
   ['isthreadmhpindirectvfgedge',['isThreadMHPIndirectVFGEdge',['../classSVF_1_1VFGEdge.html#ace832abe1ec87e3e2338944061d09ea4',1,'SVF::VFGEdge']]],
-  ['istoplevelptr',['isTopLevelPtr',['../classSVF_1_1SVFVar.html#a60bed99a7fd939873118698b058ccc4a',1,'SVF::SVFVar']]],
   ['istoplevelptrstmt',['isTopLevelPtrStmt',['../classSVF_1_1DDAVFSolver.html#a7b35588de00e322afd742041bf735571',1,'SVF::DDAVFSolver']]],
   ['istruncconstantexpr',['isTruncConstantExpr',['../namespaceSVF_1_1SVFUtil.html#a1373688c6faba4dcdb640106575ea433',1,'SVF::SVFUtil']]],
   ['isunaryconstantexpr',['isUnaryConstantExpr',['../namespaceSVF_1_1SVFUtil.html#af14757d5cf466bba20a125f118378560',1,'SVF::SVFUtil']]],

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

@@ -12,7 +12,7 @@ var searchData=
   ['loadmu',['LoadMU',['../classSVF_1_1LoadMU.html#aaf916feaa76c3eaf96dcff576ef366ca',1,'SVF::LoadMU']]],
   ['loadstmt',['LoadStmt',['../classSVF_1_1LoadStmt.html#a4bd939005c7c6a5da4ed3b6be6ef1a22',1,'SVF::LoadStmt::LoadStmt()'],['../classSVF_1_1LoadStmt.html#a2efafa925a30de73735ca73b1632b5f8',1,'SVF::LoadStmt::LoadStmt(const LoadStmt &)'],['../classSVF_1_1LoadStmt.html#a92c5817abfaa1f6fbc9ee911f458dfb2',1,'SVF::LoadStmt::LoadStmt(SVFVar *s, SVFVar *d)']]],
   ['loadvfgnode',['LoadVFGNode',['../classSVF_1_1LoadVFGNode.html#aca72f4582e33a2d4ef3a96dd2936f567',1,'SVF::LoadVFGNode::LoadVFGNode()'],['../classSVF_1_1LoadVFGNode.html#afe482a8a05b0efc45ceb4052ea87a039',1,'SVF::LoadVFGNode::LoadVFGNode(const LoadVFGNode &)'],['../classSVF_1_1LoadVFGNode.html#a8ae07c41215e9c7544c45e581c18c29b',1,'SVF::LoadVFGNode::LoadVFGNode(NodeID id, const LoadStmt *edge)']]],
-  ['locationset',['LocationSet',['../classSVF_1_1LocationSet.html#a7fb1dbff5cf3ec18977cc92ae9800d47',1,'SVF::LocationSet::LocationSet(s64_t o=0)'],['../classSVF_1_1LocationSet.html#a290c7fe38704552fd66ad06e5deeaca9',1,'SVF::LocationSet::LocationSet(const LocationSet &ls)'],['../classSVF_1_1LocationSet.html#aa19807a258fc673e6885eafb924ecc91',1,'SVF::LocationSet::LocationSet(const FlattenedFieldInfo &fi)']]],
+  ['locationset',['LocationSet',['../classSVF_1_1LocationSet.html#a7fb1dbff5cf3ec18977cc92ae9800d47',1,'SVF::LocationSet::LocationSet(s64_t o=0)'],['../classSVF_1_1LocationSet.html#a290c7fe38704552fd66ad06e5deeaca9',1,'SVF::LocationSet::LocationSet(const LocationSet &ls)']]],
   ['lockanalysis',['LockAnalysis',['../classSVF_1_1LockAnalysis.html#af8aff31058caba691c127b8aef297b43',1,'SVF::LockAnalysis']]],
   ['lockresultvalidator',['LockResultValidator',['../classSVF_1_1LockResultValidator.html#acfe0b43eee73c5e02f5744d8993cb529',1,'SVF::LockResultValidator']]]
 ];

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

@@ -1,7 +1,7 @@
 var searchData=
 [
   ['objsyms',['objSyms',['../classSVF_1_1SymbolTableInfo.html#a3f9612f32c651220386beb0514f8fcff',1,'SVF::SymbolTableInfo']]],
-  ['objtypeinfo',['ObjTypeInfo',['../classSVF_1_1ObjTypeInfo.html#a1a182e6a8710242f94729412d4683f8d',1,'SVF::ObjTypeInfo::ObjTypeInfo(const Value *, const Type *t, u32_t max)'],['../classSVF_1_1ObjTypeInfo.html#afa03172e8fe0af6b523e866d54235f3a',1,'SVF::ObjTypeInfo::ObjTypeInfo(u32_t max, const Type *t)']]],
+  ['objtypeinfo',['ObjTypeInfo',['../classSVF_1_1ObjTypeInfo.html#a351edf73b2b035ce61a99a10b3d9de87',1,'SVF::ObjTypeInfo']]],
   ['objvar',['ObjVar',['../classSVF_1_1ObjVar.html#a3ccbe6bbe3f565641e0cf46c5ecbb6bb',1,'SVF::ObjVar']]],
   ['offlineconsg',['OfflineConsG',['../classSVF_1_1OfflineConsG.html#ae61c4f509b90dd43f63a07560ba3562f',1,'SVF::OfflineConsG']]],
   ['ontheflycallgraphsolve',['onTheFlyCallGraphSolve',['../classSVF_1_1BVDataPTAImpl.html#a9830d4676fd424b633f8e4d918734296',1,'SVF::BVDataPTAImpl']]],