svf-tools 1.0.321 → 1.0.325

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

@@ -53,21 +53,21 @@ var searchData=
   ['gepisload',['gepIsLoad',['../classSVF_1_1FlowSensitiveTBHC.html#ad5b294dacf51a89306df9a22c6799bad',1,'SVF::FlowSensitiveTBHC']]],
   ['gepnodenumindex',['gepNodeNumIndex',['../PAGBuilderFromFile_8cpp.html#a1af3947dbaf1ad4364bc4818f70ead40',1,'PAGBuilderFromFile.cpp']]],
   ['gepobjnode',['GepObjNode',['../classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffaf3364b22f497146f06d1f4175a839f4f',1,'SVF::SVFVar']]],
-  ['gepobjnodemap',['GepObjNodeMap',['../classSVF_1_1SVFIR.html#a3ab46db0dc6ebab78d431e4a540dcc9e',1,'SVF::SVFIR']]],
   ['gepobjpn',['GepObjPN',['../classSVF_1_1GepObjPN.html',1,'SVF::GepObjPN'],['../classSVF_1_1GepObjPN.html#aadf56cdc45296514f142306e2556dcc1',1,'SVF::GepObjPN::GepObjPN()']]],
+  ['gepobjvarmap',['GepObjVarMap',['../classSVF_1_1SVFIR.html#a148b51118eeba8117e033fea84b56be8',1,'SVF::SVFIR']]],
   ['gepoutedges',['gepOutEdges',['../classSVF_1_1ConstraintNode.html#a583880cd83a9f353003e199401d1b024',1,'SVF::ConstraintNode']]],
-  ['geppe',['GepPE',['../classSVF_1_1GepPE.html',1,'SVF::GepPE'],['../classSVF_1_1GepPE.html#a6fc0ad43bcb6500f45403c6c82db164e',1,'SVF::GepPE::GepPE()'],['../classSVF_1_1GepPE.html#aa2751e1e2c1f993e3629799449bea325',1,'SVF::GepPE::GepPE(const GepPE &)'],['../classSVF_1_1GepPE.html#a784a6cafb88aa4b659ca9a477862aa08',1,'SVF::GepPE::GepPE(SVFVar *s, SVFVar *d, PEDGEK k)']]],
   ['gepsrcnodes',['gepSrcNodes',['../classSVF_1_1AliasDDAClient.html#ab165537f4c9a318f31de8a272a529c9c',1,'SVF::AliasDDAClient']]],
+  ['gepstmt',['GepStmt',['../classSVF_1_1GepStmt.html',1,'SVF::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#a6ace22baaf73db3302ff2b8ad4285bb6',1,'SVF::GepStmt::GepStmt(SVFVar *s, SVFVar *d, PEDGEK k)']]],
   ['gepsvfgnode',['GepSVFGNode',['../namespaceSVF.html#a65a3be463427d1112a8b87f072f3d22f',1,'SVF']]],
   ['geptime',['gepTime',['../classSVF_1_1FlowSensitive.html#a282126e5b67ed4e19aa40c81180b8290',1,'SVF::FlowSensitive']]],
   ['geptosvfgretrievers',['gepToSVFGRetrievers',['../classSVF_1_1FlowSensitiveTBHC.html#acd6ade2b73c19d1eb7faf0e457becba6',1,'SVF::FlowSensitiveTBHC']]],
   ['geptypebridgeiterator_2eh',['GEPTypeBridgeIterator.h',['../GEPTypeBridgeIterator_8h.html',1,'']]],
   ['gepvalnode',['GepValNode',['../classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffa288e3f5d01c94d5c5d685d43f08a6c4a',1,'SVF::SVFVar']]],
-  ['gepvalnodemap',['GepValNodeMap',['../classSVF_1_1SVFIR.html#ae5e06d403091c05df995aeea0a4f773d',1,'SVF::SVFIR']]],
-  ['gepvalpn',['GepValPN',['../classSVF_1_1GepValPN.html',1,'SVF::GepValPN'],['../classSVF_1_1GepValPN.html#a02df9e70d4daf4eefaa63b0d26cd06ce',1,'SVF::GepValPN::GepValPN()']]],
-  ['gepvalpnmap',['GepValPNMap',['../classSVF_1_1SVFIR.html#a3cf5be37df32cdcd44fa7b1971fae2de',1,'SVF::SVFIR']]],
-  ['gepvaltype',['gepValType',['../classSVF_1_1GepValPN.html#a41d083e2ed08dd926a8228df5c42a4d7',1,'SVF::GepValPN']]],
-  ['gepvfgnode',['GepVFGNode',['../classSVF_1_1GepVFGNode.html',1,'SVF::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#af918342cc39f2e4a91f5bc2d8b028a5d',1,'SVF::GepVFGNode::GepVFGNode(NodeID id, const GepPE *edge)']]],
+  ['gepvalobjmap',['GepValObjMap',['../classSVF_1_1SVFIR.html#ad7bbe1abea55ed03c9b6c81891c0bd67',1,'SVF::SVFIR']]],
+  ['gepvaltype',['gepValType',['../classSVF_1_1GepValVar.html#aaf5f5d3734e1db83c6d4f38d560b2f45',1,'SVF::GepValVar']]],
+  ['gepvaluevarmap',['GepValueVarMap',['../classSVF_1_1SVFIR.html#a52dfad2ac907db45a91752c53384fb3d',1,'SVF::SVFIR']]],
+  ['gepvalvar',['GepValVar',['../classSVF_1_1GepValVar.html',1,'SVF::GepValVar'],['../classSVF_1_1GepValVar.html#a9bad2709e0d82d2d4a8578cc57bdf9f5',1,'SVF::GepValVar::GepValVar()']]],
+  ['gepvfgnode',['GepVFGNode',['../classSVF_1_1GepVFGNode.html',1,'SVF::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']]],
   ['get_5fcond',['get_cond',['../classSVF_1_1CondVar.html#af84e7bfcff909009be5e109c600c63fe',1,'SVF::CondVar']]],
@@ -89,7 +89,7 @@ var searchData=
   ['getaggs',['getAggs',['../classSVF_1_1DCHGraph.html#a159e158c794fff115d5642b85963f43b',1,'SVF::DCHGraph']]],
   ['getaliasmemregions',['getAliasMemRegions',['../classSVF_1_1MRGenerator.html#ad740188222439c089907fa6c6c951f02',1,'SVF::MRGenerator']]],
   ['getallcallsitesinvokingcallee',['getAllCallSitesInvokingCallee',['../classSVF_1_1PTACallGraph.html#a80070e2f50ed1036d334250841215ca8',1,'SVF::PTACallGraph']]],
-  ['getallfieldsobjnode',['getAllFieldsObjNode',['../classSVF_1_1ConstraintGraph.html#a8200b7cbd600958c662f24169ccbc8d6',1,'SVF::ConstraintGraph::getAllFieldsObjNode()'],['../classSVF_1_1PointerAnalysis.html#aeec490de5955497af1a2a9cd429f0d5d',1,'SVF::PointerAnalysis::getAllFieldsObjNode()'],['../classSVF_1_1SVFIR.html#a5a635bc1142c388da1db87d9172c03ab',1,'SVF::SVFIR::getAllFieldsObjNode(const MemObj *obj)'],['../classSVF_1_1SVFIR.html#ae25a27f68888763f9e02ab584a638d65',1,'SVF::SVFIR::getAllFieldsObjNode(NodeID id)'],['../classSVF_1_1FlowSensitiveTBHC.html#a96089e24ef6aaa7f7d30c50a64d5042f',1,'SVF::FlowSensitiveTBHC::getAllFieldsObjNode()']]],
+  ['getallfieldsobjvars',['getAllFieldsObjVars',['../classSVF_1_1ConstraintGraph.html#afd200919cf8742bb62bb0bde279a558a',1,'SVF::ConstraintGraph::getAllFieldsObjVars()'],['../classSVF_1_1PointerAnalysis.html#a5dddd53b4ca9d7cc23d88ed9f3de9fde',1,'SVF::PointerAnalysis::getAllFieldsObjVars()'],['../classSVF_1_1SVFIR.html#a7276e82b4648ed0e1b3d1b8b37b24089',1,'SVF::SVFIR::getAllFieldsObjVars(const MemObj *obj)'],['../classSVF_1_1SVFIR.html#a942072d153928e478c76e4b7f1fafa29',1,'SVF::SVFIR::getAllFieldsObjVars(NodeID id)'],['../classSVF_1_1FlowSensitiveTBHC.html#a56dc95bb4b6d48f82c87c6280237990a',1,'SVF::FlowSensitiveTBHC::getAllFieldsObjVars()']]],
   ['getallocationsite',['getAllocationSite',['../classSVF_1_1TypeBasedHeapCloning.html#a5681d78630ca8770dd493ef3841ec683',1,'SVF::TypeBasedHeapCloning']]],
   ['getallpts',['getAllPts',['../classSVF_1_1PTData.html#adbe2b955f119871b54dc502de84b94c4',1,'SVF::PTData::getAllPts()'],['../classSVF_1_1MutablePTData.html#ad20254ace6d9976da2099413f5790458',1,'SVF::MutablePTData::getAllPts()'],['../classSVF_1_1MutableDiffPTData.html#adb89579b46a478f6d0e30e790838dca9',1,'SVF::MutableDiffPTData::getAllPts()'],['../classSVF_1_1MutableDFPTData.html#ac9120fbb056e23cdf84646a37d809a8d',1,'SVF::MutableDFPTData::getAllPts()'],['../classSVF_1_1MutableVersionedPTData.html#a6cac338e74f869d0e708c7e2b356b5d7',1,'SVF::MutableVersionedPTData::getAllPts()'],['../classSVF_1_1PersistentPointsToCache.html#ab84d0806e87c982bf81ae309f28751e3',1,'SVF::PersistentPointsToCache::getAllPts()'],['../classSVF_1_1PersistentPTData.html#aadba2724dfe3cb745d9e9d73b8c3de67',1,'SVF::PersistentPTData::getAllPts()'],['../classSVF_1_1PersistentDiffPTData.html#a3bad0126e25b0a7134e8ef25869bd40e',1,'SVF::PersistentDiffPTData::getAllPts()'],['../classSVF_1_1PersistentDFPTData.html#a98f84bffeba6bd7dc140f1d5b63ff368',1,'SVF::PersistentDFPTData::getAllPts()'],['../classSVF_1_1PersistentVersionedPTData.html#a6c9ad3635f73b805289cc1f14cdcf09a',1,'SVF::PersistentVersionedPTData::getAllPts()']]],
   ['getallvalidptrs',['getAllValidPtrs',['../classSVF_1_1PointerAnalysis.html#a60b111647e000cc983aa52513f90afbc',1,'SVF::PointerAnalysis::getAllValidPtrs()'],['../classSVF_1_1SVFIR.html#a7990c72dd6d645d713f19ed973841484',1,'SVF::SVFIR::getAllValidPtrs()']]],
@@ -102,10 +102,10 @@ var searchData=
   ['getbackwardslicesize',['getBackwardSliceSize',['../classSVF_1_1ProgSlice.html#a967fa01a8baae0dd086b5c09ae0faa7b',1,'SVF::ProgSlice']]],
   ['getbasenode',['getBaseNode',['../classSVF_1_1GepObjPN.html#aefa0383972a9c68e487ccf989a7e500c',1,'SVF::GepObjPN']]],
   ['getbaseobj',['getBaseObj',['../classSVF_1_1SVFIR.html#af76a55c3b8255a81a566bdce35ffc749',1,'SVF::SVFIR']]],
-  ['getbaseobjnode',['getBaseObjNode',['../classSVF_1_1ConstraintGraph.html#a2337fa70dc5b0b13dbba4cd776404c6b',1,'SVF::ConstraintGraph::getBaseObjNode()'],['../classSVF_1_1PointerAnalysis.html#a8008bdef087708de961a37a8bf458fc7',1,'SVF::PointerAnalysis::getBaseObjNode()'],['../classSVF_1_1SVFIR.html#a4720426ab75f8d07e780995ffad7d51a',1,'SVF::SVFIR::getBaseObjNode()']]],
+  ['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_1SymbolTableInfo.html#a6243a2a002784b2ee1f0b1cfe9d3ea0f',1,'SVF::SymbolTableInfo::getBaseTypeAndFlattenedFields()'],['../classSVF_1_1SVFIRBuilder.html#a4792ed440aab997e13321f5f6cba2156',1,'SVF::SVFIRBuilder::getBaseTypeAndFlattenedFields()']]],
-  ['getbasevalnode',['getBaseValNode',['../classSVF_1_1SVFIR.html#a851075193a0b9a9b594848d6b3ba659e',1,'SVF::SVFIR']]],
+  ['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()']]],
   ['getbbphinum',['getBBPhiNum',['../classSVF_1_1MemSSA.html#a9bb6512999cbf9c7c03153be77c8af20',1,'SVF::MemSSA']]],
@@ -151,7 +151,7 @@ var searchData=
   ['getcallinst',['getCallInst',['../classSVF_1_1CallPE.html#ac8f25219948d3a6ff205048e746338d5',1,'SVF::CallPE::getCallInst()'],['../classSVF_1_1RetPE.html#ac28900a70a604bbba2b4cdab09709226',1,'SVF::RetPE::getCallInst()']]],
   ['getcallinsttocallgraphedgesmap',['getCallInstToCallGraphEdgesMap',['../classSVF_1_1PTACallGraph.html#a368306a46d84ccc6d07d94833aded629',1,'SVF::PTACallGraph']]],
   ['getcallsite',['getCallSite',['../classSVF_1_1CallCFGEdge.html#ab25becb3cae2747eb518a6bfc7ad5332',1,'SVF::CallCFGEdge::getCallSite()'],['../classSVF_1_1RetCFGEdge.html#a121c3069d4c82b56a0398fd517a9a714',1,'SVF::RetCFGEdge::getCallSite()'],['../classSVF_1_1CallBlockNode.html#ad3d50024efcfa94b1246c982b43aff2f',1,'SVF::CallBlockNode::getCallSite()'],['../classSVF_1_1RetBlockNode.html#a436cd30be9fba449fee6bc6dcc18bb18',1,'SVF::RetBlockNode::getCallSite()'],['../classSVF_1_1PTACallGraph.html#a2c8b1674f1f942a3b5aa77b7abccb229',1,'SVF::PTACallGraph::getCallSite()'],['../classSVF_1_1ActualINSVFGNode.html#aaf7e2a52f8e70bb5dda80b3616f207aa',1,'SVF::ActualINSVFGNode::getCallSite()'],['../classSVF_1_1ActualOUTSVFGNode.html#a929e15d57bc95e6314be714ae0034c0c',1,'SVF::ActualOUTSVFGNode::getCallSite()'],['../classSVF_1_1InterMSSAPHISVFGNode.html#a30ac16715dc9f4281eae2ab969bad348',1,'SVF::InterMSSAPHISVFGNode::getCallSite()'],['../classSVF_1_1VFG.html#af04068b6f6beff961f815cc6eae7f5b0',1,'SVF::VFG::getCallSite()'],['../classSVF_1_1ActualParmVFGNode.html#afe9b8911c6e79dd13e0df19b158a3179',1,'SVF::ActualParmVFGNode::getCallSite()'],['../classSVF_1_1ActualRetVFGNode.html#a984d1aa6c67d1f90bb00d3d34f455797',1,'SVF::ActualRetVFGNode::getCallSite()'],['../classSVF_1_1InterPHIVFGNode.html#a100fc9476699f36255f538bc07123157',1,'SVF::InterPHIVFGNode::getCallSite()'],['../classSVF_1_1CallPE.html#a6a7a917cd6f1235b9453c9672f38c0ef',1,'SVF::CallPE::getCallSite()'],['../classSVF_1_1RetPE.html#a1495bfc171fa21980712f1d729a6b175',1,'SVF::RetPE::getCallSite()'],['../classSVF_1_1CallMU.html#a401be4fc10a3b9f3d392f1c278bef866',1,'SVF::CallMU::getCallSite()'],['../classSVF_1_1CallCHI.html#a7bce9987b6377a24436b878dcd9c76c9',1,'SVF::CallCHI::getCallSite()'],['../classSVF_1_1ProgSlice.html#a40ca6247fde5e973298e8383f2180203',1,'SVF::ProgSlice::getCallSite()']]],
-  ['getcallsiteargslist',['getCallSiteArgsList',['../classSVF_1_1SVFIR.html#a432e99757dfe844fd8450f2ab4ff4093',1,'SVF::SVFIR']]],
+  ['getcallsiteargslist',['getCallSiteArgsList',['../classSVF_1_1SVFIR.html#ac7f90610a7b5f456c530a4419393fae5',1,'SVF::SVFIR']]],
   ['getcallsiteargsmap',['getCallSiteArgsMap',['../classSVF_1_1SVFIR.html#a346b9300ad16ef65e3ab4e11f88193a7',1,'SVF::SVFIR']]],
   ['getcallsiteargspts',['getCallSiteArgsPts',['../classSVF_1_1MRGenerator.html#a373b57017e99ee8466d1c8a363adaeef',1,'SVF::MRGenerator']]],
   ['getcallsitechinum',['getCallSiteChiNum',['../classSVF_1_1MemSSA.html#a2c65795ca63a53c833f5ac17a752b6dc',1,'SVF::MemSSA']]],
@@ -175,7 +175,7 @@ var searchData=
   ['getchgraph',['getCHGraph',['../classSVF_1_1PointerAnalysis.html#ae2cc7cd0803dbd90639140e71b06b1b5',1,'SVF::PointerAnalysis']]],
   ['getchildrenbegin',['getChildrenBegin',['../classSVF_1_1TCT.html#a511c2ee4cfdc01a720135b2cd493fe3b',1,'SVF::TCT']]],
   ['getchildrenend',['getChildrenEnd',['../classSVF_1_1TCT.html#af47837e30a80e8d6684f3ee6001afb7a',1,'SVF::TCT']]],
-  ['getchiset',['getCHISet',['../classSVF_1_1MemSSA.html#a24dd10cbd41df4f57d8d6fa9ca6a3083',1,'SVF::MemSSA::getCHISet(const StorePE *st)'],['../classSVF_1_1MemSSA.html#ae7b0f618fb36bbc8e9439d70b377cf6b',1,'SVF::MemSSA::getCHISet(const CallBlockNode *cs)']]],
+  ['getchiset',['getCHISet',['../classSVF_1_1MemSSA.html#a2e656a50f8964fc3e99d1d436de64418',1,'SVF::MemSSA::getCHISet(const StoreStmt *st)'],['../classSVF_1_1MemSSA.html#ae7b0f618fb36bbc8e9439d70b377cf6b',1,'SVF::MemSSA::getCHISet(const CallBlockNode *cs)']]],
   ['getclassnamefromtype',['getClassNameFromType',['../namespaceSVF_1_1cppUtil.html#a891719bac36ebb6c001f073dfa5a9e7b',1,'SVF::cppUtil']]],
   ['getclassnamefromvtblobj',['getClassNameFromVtblObj',['../namespaceSVF_1_1cppUtil.html#ad83c097f1c77cdf52fc219ef07ee0b1a',1,'SVF::cppUtil']]],
   ['getclassnameofthisptr',['getClassNameOfThisPtr',['../namespaceSVF_1_1cppUtil.html#a3bed7bc0a0ae580841ca049f91690ff7',1,'SVF::cppUtil']]],
@@ -259,15 +259,14 @@ var searchData=
   ['getdpim',['getDPIm',['../classSVF_1_1DDAVFSolver.html#ad7d92fad8606d5512786a7b7a08930e2',1,'SVF::DDAVFSolver']]],
   ['getdpimwitholdcond',['getDPImWithOldCond',['../classSVF_1_1DDAVFSolver.html#ac4cb0b666d68d135c5e385bfc880fd67',1,'SVF::DDAVFSolver']]],
   ['getdpmsetatloc',['getDpmSetAtLoc',['../classSVF_1_1DDAVFSolver.html#a6c32a1cdcdbea0151c8cf17ffe598f29',1,'SVF::DDAVFSolver']]],
-  ['getdstid',['getDstID',['../classSVF_1_1GenericEdge.html#ad9edb45e74ae675d9da82f5acf02d56e',1,'SVF::GenericEdge::getDstID()'],['../classSVF_1_1PhiPE.html#a22cddfea40eae983e8837d2a0dc7883f',1,'SVF::PhiPE::getDstID()'],['../classSVF_1_1CmpPE.html#a8f70278ac9d9bf4cd8750c474646b0e2',1,'SVF::CmpPE::getDstID()'],['../classSVF_1_1BinaryOPPE.html#a8931941a1b06e14b91cce4a96275a430',1,'SVF::BinaryOPPE::getDstID()'],['../classSVF_1_1UnaryOPPE.html#a4787898e7f2b72bf00994fb664c5136d',1,'SVF::UnaryOPPE::getDstID()'],['../classSVF_1_1BranchStmt.html#a308157a390c01cd68dd870f3e94624e7',1,'SVF::BranchStmt::getDstID()']]],
-  ['getdstnode',['getDstNode',['../classSVF_1_1GenericEdge.html#aeaa31a2c8479e831b36ce2e2582ceb86',1,'SVF::GenericEdge::getDstNode()'],['../classSVF_1_1PhiPE.html#aa40c8037d8ddb883ba044aba4d528c80',1,'SVF::PhiPE::getDstNode()'],['../classSVF_1_1CmpPE.html#a4e66cb6ffd9d6a6dd6d575ce091bec5f',1,'SVF::CmpPE::getDstNode()'],['../classSVF_1_1BinaryOPPE.html#ac8a72c9d79dc893d95b4e4bf27a88fe6',1,'SVF::BinaryOPPE::getDstNode()'],['../classSVF_1_1UnaryOPPE.html#a5b34d99314a12894af2a155dd85cc4da',1,'SVF::UnaryOPPE::getDstNode()'],['../classSVF_1_1BranchStmt.html#ade327625e74b717697340c9a78444757',1,'SVF::BranchStmt::getDstNode()']]],
+  ['getdstid',['getDstID',['../classSVF_1_1GenericEdge.html#ad9edb45e74ae675d9da82f5acf02d56e',1,'SVF::GenericEdge::getDstID()'],['../classSVF_1_1PhiStmt.html#a54ca12e0375a19a655f57f91bf899593',1,'SVF::PhiStmt::getDstID()'],['../classSVF_1_1CmpStmt.html#a4849faf9aff64d966ef2303389e43d31',1,'SVF::CmpStmt::getDstID()'],['../classSVF_1_1BinaryOPStmt.html#a038040bb8f22fc56a595fb10c21f4e32',1,'SVF::BinaryOPStmt::getDstID()'],['../classSVF_1_1UnaryOPStmt.html#aaea063a340f2e4a8949178406d9cd33b',1,'SVF::UnaryOPStmt::getDstID()'],['../classSVF_1_1BranchStmt.html#a308157a390c01cd68dd870f3e94624e7',1,'SVF::BranchStmt::getDstID()']]],
+  ['getdstnode',['getDstNode',['../classSVF_1_1GenericEdge.html#aeaa31a2c8479e831b36ce2e2582ceb86',1,'SVF::GenericEdge::getDstNode()'],['../classSVF_1_1PhiStmt.html#aabae1e97422bd9b6c861e45b3153946e',1,'SVF::PhiStmt::getDstNode()'],['../classSVF_1_1CmpStmt.html#a1f2f847bbff70e43f65cf06b1b41f99d',1,'SVF::CmpStmt::getDstNode()'],['../classSVF_1_1BinaryOPStmt.html#a5b9991fd0aa583d5f8df7f3e19c1687f',1,'SVF::BinaryOPStmt::getDstNode()'],['../classSVF_1_1UnaryOPStmt.html#a46207ce57a8fb0551faad1f5ccc8b8ce',1,'SVF::UnaryOPStmt::getDstNode()'],['../classSVF_1_1BranchStmt.html#ade327625e74b717697340c9a78444757',1,'SVF::BranchStmt::getDstNode()']]],
   ['getdt',['getDT',['../classSVF_1_1MemSSA.html#a9741a8d0540ba4c27cb667590d246197',1,'SVF::MemSSA::getDT()'],['../classSVF_1_1TCT.html#a9b2977014d3c3e7df5cb56cc876ddc70',1,'SVF::TCT::getDT()'],['../classSVF_1_1PathCondAllocator.html#a496a23bc37dfdea32c536e9ebe9a4b88',1,'SVF::PathCondAllocator::getDT()'],['../classSVF_1_1PTACFInfoBuilder.html#afb3864bae4ac95c7d3b731634c1abdab',1,'SVF::PTACFInfoBuilder::getDT()']]],
   ['getec',['getEC',['../classSVF_1_1Steensgaard.html#af2afffc0617d588a68fdfa4fcfd24b70',1,'SVF::Steensgaard']]],
   ['getedge',['getEdge',['../classSVF_1_1ConstraintGraph.html#a04a57ef9803917346cb966e05ecd0de4',1,'SVF::ConstraintGraph']]],
   ['getedgeattributes',['getEdgeAttributes',['../structllvm_1_1DOTGraphTraits_3_01CHGraph_01_5_01_4.html#a0ad443da42379a0038d42de4f7895b60',1,'llvm::DOTGraphTraits< CHGraph * >::getEdgeAttributes()'],['../structllvm_1_1DOTGraphTraits_3_01ConstraintGraph_01_5_01_4.html#ad7d0a5d387c31c186b8527c7c6bd9791',1,'llvm::DOTGraphTraits< ConstraintGraph * >::getEdgeAttributes()'],['../structllvm_1_1DOTGraphTraits_3_01ICFG_01_5_01_4.html#a74b0725d64b6e9c3060f2366633425f5',1,'llvm::DOTGraphTraits< ICFG * >::getEdgeAttributes()'],['../structllvm_1_1DOTGraphTraits_3_01IRGraph_01_5_01_4.html#a27816e06b813b2723a5757128d009cab',1,'llvm::DOTGraphTraits< IRGraph * >::getEdgeAttributes()'],['../structllvm_1_1DOTGraphTraits_3_01OfflineConsG_01_5_01_4.html#a0cda5ff37828cb37d152c25878fa208d',1,'llvm::DOTGraphTraits< OfflineConsG * >::getEdgeAttributes()'],['../structllvm_1_1DOTGraphTraits_3_01PTACallGraph_01_5_01_4.html#a52d5c95a8f9823174c0acebc101de20b',1,'llvm::DOTGraphTraits< PTACallGraph * >::getEdgeAttributes()'],['../structllvm_1_1DOTGraphTraits_3_01SVFG_01_5_01_4.html#a0ade71edb2771cb6c4e7a0a7910d374e',1,'llvm::DOTGraphTraits< SVFG * >::getEdgeAttributes()'],['../structllvm_1_1DOTGraphTraits_3_01VFG_01_5_01_4.html#a646a1023dab5169a73c8ea54e860c78b',1,'llvm::DOTGraphTraits< VFG * >::getEdgeAttributes()'],['../structllvm_1_1DOTGraphTraits_3_01TCT_01_5_01_4.html#a349d851998bd1defbbafc16693e04764',1,'llvm::DOTGraphTraits< TCT * >::getEdgeAttributes()']]],
   ['getedgeid',['getEdgeID',['../classSVF_1_1ConstraintEdge.html#ab201b7df925c12e6944516f4b87d7823',1,'SVF::ConstraintEdge::getEdgeID()'],['../classSVF_1_1SVFStmt.html#af7bb0d687fc61cae1de639c88e472491',1,'SVF::SVFStmt::getEdgeID()']]],
   ['getedgekind',['getEdgeKind',['../classSVF_1_1GenericEdge.html#abe8525c542def8162b094c169a01993b',1,'SVF::GenericEdge']]],
-  ['getedgeset',['getEdgeSet',['../classSVF_1_1SVFIR.html#ac2dff0e76e4ee879dc023255e7e6a63e',1,'SVF::SVFIR']]],
   ['getedgesourcelabel',['getEdgeSourceLabel',['../structllvm_1_1DOTGraphTraits_3_01ConstraintGraph_01_5_01_4.html#a76e78cd94e56ca46ac7e1db7162e594b',1,'llvm::DOTGraphTraits< ConstraintGraph * >::getEdgeSourceLabel()'],['../structllvm_1_1DOTGraphTraits_3_01ICFG_01_5_01_4.html#a6255edef186d9268868d683b4bbda133',1,'llvm::DOTGraphTraits< ICFG * >::getEdgeSourceLabel()'],['../structllvm_1_1DOTGraphTraits_3_01IRGraph_01_5_01_4.html#a947696a48fdac183d0cc40de92944315',1,'llvm::DOTGraphTraits< IRGraph * >::getEdgeSourceLabel()'],['../structllvm_1_1DOTGraphTraits_3_01OfflineConsG_01_5_01_4.html#a046f087794d334eb303a2cea66aad3c3',1,'llvm::DOTGraphTraits< OfflineConsG * >::getEdgeSourceLabel()'],['../structllvm_1_1DOTGraphTraits_3_01PTACallGraph_01_5_01_4.html#a576f422e667714d3e4948cbf3f631fc9',1,'llvm::DOTGraphTraits< PTACallGraph * >::getEdgeSourceLabel()'],['../structllvm_1_1DOTGraphTraits_3_01SVFG_01_5_01_4.html#aaaf78b3bb17f15a2c91566bfdc1bae9e',1,'llvm::DOTGraphTraits< SVFG * >::getEdgeSourceLabel()'],['../structllvm_1_1DOTGraphTraits_3_01VFG_01_5_01_4.html#af794115d33a8ea6f7f2e2c7ac5dd4c80',1,'llvm::DOTGraphTraits< VFG * >::getEdgeSourceLabel()']]],
   ['getedgetype',['getEdgeType',['../classSVF_1_1CHEdge.html#ae2b90913c6c5a30df2b285d31c694525',1,'SVF::CHEdge']]],
   ['getelementptrinst',['GetElementPtrInst',['../namespaceSVF.html#ac4e93e1fec646ff222940a663843921b',1,'SVF']]],
@@ -285,7 +284,7 @@ var searchData=
   ['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()']]],
   ['getfattenfieldidxvec',['getFattenFieldIdxVec',['../classSVF_1_1SymbolTableInfo.html#ae57d9e939164a25bad4a84a25c9b35e6',1,'SVF::SymbolTableInfo']]],
   ['getfattenfieldoffsetvec',['getFattenFieldOffsetVec',['../classSVF_1_1SymbolTableInfo.html#adfea906ce463903c365abca5ea1b45d1',1,'SVF::SymbolTableInfo']]],
-  ['getfieldidx',['getFieldIdx',['../classSVF_1_1GepValPN.html#ab61c3b510838c4654e880e306f3af881',1,'SVF::GepValPN']]],
+  ['getfieldidx',['getFieldIdx',['../classSVF_1_1GepValVar.html#ae6965dc3d70ff6d1877d29b8e7aa4af8',1,'SVF::GepValVar']]],
   ['getfieldidxvec',['getFieldIdxVec',['../classSVF_1_1StInfo.html#a219b42bae46d10dbeab28c6fd922dd68',1,'SVF::StInfo']]],
   ['getfieldobjnodenum',['getFieldObjNodeNum',['../classSVF_1_1SVFIR.html#af7a98a5eb789178594063140c85cd21f',1,'SVF::SVFIR']]],
   ['getfieldoffsetvec',['getFieldOffsetVec',['../classSVF_1_1StInfo.html#a25a1d7b04738c9e3b60654992b897385',1,'SVF::StInfo']]],
@@ -298,7 +297,7 @@ var searchData=
   ['getfieldvalnodenum',['getFieldValNodeNum',['../classSVF_1_1SVFIR.html#a4b4592e3187bb6583aba63b2f374754e',1,'SVF::SVFIR']]],
   ['getfilename',['getFileName',['../classSVF_1_1PAGBuilderFromFile.html#aaaa1e516e5eeceece371a9178142c3ff',1,'SVF::PAGBuilderFromFile']]],
   ['getfilterset',['getFilterSet',['../classSVF_1_1TypeBasedHeapCloning.html#ae520e0551e63223a908f92a6b9667356',1,'SVF::TypeBasedHeapCloning']]],
-  ['getfiobjnode',['getFIObjNode',['../classSVF_1_1ConstraintGraph.html#a5fbbfb7b935e0b8867f7beab32ab7763',1,'SVF::ConstraintGraph::getFIObjNode()'],['../classSVF_1_1PointerAnalysis.html#a15494d0aa074ae2e89470b3c9f407cc4',1,'SVF::PointerAnalysis::getFIObjNode()'],['../classSVF_1_1SVFIR.html#a702edc6714da142c16857995778a9f4b',1,'SVF::SVFIR::getFIObjNode(const MemObj *obj) const'],['../classSVF_1_1SVFIR.html#a44aae3b2a519cdbb704e852e7be9059a',1,'SVF::SVFIR::getFIObjNode(NodeID id) const']]],
+  ['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']]],
   ['getflattenbyteoffset',['getFlattenByteOffset',['../classSVF_1_1FieldInfo.html#a727d1ea8110a3239834f0aab134231d6',1,'SVF::FieldInfo']]],
   ['getflattenelemty',['getFlattenElemTy',['../classSVF_1_1FieldInfo.html#a779ef81046fd403804f74a8562afad63',1,'SVF::FieldInfo']]],
   ['getflattenfieldinfovec',['getFlattenFieldInfoVec',['../classSVF_1_1SymbolTableInfo.html#a3fa4043c6e33a5b1daaa65f206b6a843',1,'SVF::SymbolTableInfo::getFlattenFieldInfoVec()'],['../classSVF_1_1StInfo.html#a9bb25646a735d612cf777394fa3ba5d6',1,'SVF::StInfo::getFlattenFieldInfoVec()']]],
@@ -317,7 +316,7 @@ var searchData=
   ['getformalretvfgnode',['getFormalRetVFGNode',['../classSVF_1_1VFG.html#ab7ba9d179504165f277d347a7cb9f5d8',1,'SVF::VFG']]],
   ['getforwardslicesize',['getForwardSliceSize',['../classSVF_1_1ProgSlice.html#aae54f4e8a827f55abe08762b69d9f84b',1,'SVF::ProgSlice']]],
   ['getfun',['getFun',['../classSVF_1_1ICFGNode.html#ae526280cca2d6cbb2868c80461bc16da',1,'SVF::ICFGNode::getFun()'],['../classSVF_1_1FunEntryBlockNode.html#ac0f34c048695a1ed822bc7fec0dfe028',1,'SVF::FunEntryBlockNode::getFun()'],['../classSVF_1_1FunExitBlockNode.html#a1463cde3f7e218c4bef996b2e1e9aef4',1,'SVF::FunExitBlockNode::getFun()'],['../classSVF_1_1InterMSSAPHISVFGNode.html#a242d8967d6fc10ba37e3f0103081ec01',1,'SVF::InterMSSAPHISVFGNode::getFun()'],['../classSVF_1_1VFGNode.html#ab98e74dfd4756e70e3e3c5b7d5e5ae27',1,'SVF::VFGNode::getFun()'],['../classSVF_1_1FormalParmVFGNode.html#af3039ab67875b177f7ba0bf246cec2f8',1,'SVF::FormalParmVFGNode::getFun()'],['../classSVF_1_1FormalRetVFGNode.html#a68d9c5d58e2282b2891c93203233fd93',1,'SVF::FormalRetVFGNode::getFun()'],['../classSVF_1_1InterPHIVFGNode.html#a875ffe4fcc25af08ba9be4a568da8b4f',1,'SVF::InterPHIVFGNode::getFun()']]],
-  ['getfunargslist',['getFunArgsList',['../classSVF_1_1SVFIR.html#a1cac93c15fcbf15798c4fe374380f8ae',1,'SVF::SVFIR']]],
+  ['getfunargslist',['getFunArgsList',['../classSVF_1_1SVFIR.html#aa148e3e14ebad8460e32079f2f44413a',1,'SVF::SVFIR']]],
   ['getfunargsmap',['getFunArgsMap',['../classSVF_1_1SVFIR.html#a615c056c876b59d1fd174a2ac9ade27c',1,'SVF::SVFIR']]],
   ['getfuncentrychiset',['getFuncEntryChiSet',['../classSVF_1_1MemSSA.html#a10743fe9c116ee624387c0473815b800',1,'SVF::MemSSA']]],
   ['getfunction',['getFunction',['../classSVF_1_1PTACallGraphNode.html#a959445c97605953fbdebbbd999437a09',1,'SVF::PTACallGraphNode::getFunction()'],['../classSVF_1_1SVFVar.html#a53439a493963d16e5a1b5ed36ab6d33e',1,'SVF::SVFVar::getFunction()'],['../classSVF_1_1MRGenerator.html#a3121380139c7ae96d2045d66203253b6',1,'SVF::MRGenerator::getFunction()'],['../classSVF_1_1RetMU.html#a8ad6bf3d517e20089dac516742ee4b8f',1,'SVF::RetMU::getFunction()'],['../classSVF_1_1EntryCHI.html#ae021640611362449382668665710154c',1,'SVF::EntryCHI::getFunction()'],['../namespaceSVF_1_1SVFUtil.html#a4f457db1cfa0d4f94762a306c0ac3757',1,'SVF::SVFUtil::getFunction()']]],
@@ -342,15 +341,15 @@ var searchData=
   ['getfuntoretmusetmap',['getFunToRetMuSetMap',['../classSVF_1_1MemSSA.html#a44cbdb1231c2709c24d19ad2bae2475a',1,'SVF::MemSSA']]],
   ['getgepinedges',['getGepInEdges',['../classSVF_1_1ConstraintNode.html#ac645cf2114161981cd4465c83cbc31f5',1,'SVF::ConstraintNode']]],
   ['getgepobjclones',['getGepObjClones',['../classSVF_1_1TypeBasedHeapCloning.html#aa175b5db473eb57c03b6f908791d1133',1,'SVF::TypeBasedHeapCloning']]],
-  ['getgepobjnode',['getGepObjNode',['../classSVF_1_1ConstraintGraph.html#a4a42759f8a39ff4495c8691f3c87e443',1,'SVF::ConstraintGraph::getGepObjNode()'],['../classSVF_1_1PointerAnalysis.html#a6423e0d1bc9a5ee6bfea27a4a358574f',1,'SVF::PointerAnalysis::getGepObjNode()'],['../classSVF_1_1SVFIR.html#a2b80cf884eedb51f77a5e84def7d8793',1,'SVF::SVFIR::getGepObjNode(const MemObj *obj, const LocationSet &ls)'],['../classSVF_1_1SVFIR.html#a52eacab35b4a5b5e09592ab941a0cfb5',1,'SVF::SVFIR::getGepObjNode(NodeID id, const LocationSet &ls)']]],
   ['getgepobjnodemap',['getGepObjNodeMap',['../classSVF_1_1SVFIR.html#a77e3c407ea3990413e371589aa468963',1,'SVF::SVFIR']]],
   ['getgepobjs',['getGepObjs',['../classSVF_1_1TypeBasedHeapCloning.html#afe416f9ec57923f34ef1db3890a3f9e1',1,'SVF::TypeBasedHeapCloning']]],
   ['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']]],
-  ['getgepvalnode',['getGepValNode',['../classSVF_1_1SVFIR.html#af37d6fc7f816d235c0a6158d43d6dda5',1,'SVF::SVFIR::getGepValNode()'],['../classSVF_1_1SVFIRBuilder.html#a1f2f512b7cf1ebb9aa2cebe90c8372c2',1,'SVF::SVFIRBuilder::getGepValNode()']]],
+  ['getgepvalvar',['getGepValVar',['../classSVF_1_1SVFIR.html#a811c5eaeef1e52cc2d6f56ec5a76bb02',1,'SVF::SVFIR::getGepValVar()'],['../classSVF_1_1SVFIRBuilder.html#ad0b30ca8fc2939bb7360a3ff08727d58',1,'SVF::SVFIRBuilder::getGepValVar()']]],
   ['getglobalblocknode',['getGlobalBlockNode',['../classSVF_1_1ICFG.html#ae3b8f1b45c75b5fc231da76d3a49ad57',1,'SVF::ICFG']]],
-  ['getglobalpagedgeset',['getGlobalPAGEdgeSet',['../classSVF_1_1SVFIR.html#ac0b7ac004c8c258af81a0d16872f3406',1,'SVF::SVFIR']]],
   ['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']]],
   ['getglobalvarfield',['getGlobalVarField',['../classSVF_1_1SVFIRBuilder.html#a8e2440b87147a9d1380876d6beb410ae',1,'SVF::SVFIRBuilder']]],
   ['getglobalvfgnodes',['getGlobalVFGNodes',['../classSVF_1_1VFG.html#aff291586a4b0c28a6939577d39de5d0a',1,'SVF::VFG']]],
   ['getgnode',['getGNode',['../classSVF_1_1GenericGraph.html#a43c9c773bfa17abf481c33073e30d01b',1,'SVF::GenericGraph']]],
@@ -364,9 +363,9 @@ var searchData=
   ['getid',['getId',['../classSVF_1_1GenericNode.html#ac3e55ef37aefb411ea4c87b1aa3b1895',1,'SVF::GenericNode::getId()'],['../classSVF_1_1MemObj.html#a3ab6f65ffbf6442daac4d3f70f2d3cb1',1,'SVF::MemObj::getId()'],['../classSVF_1_1CondExpr.html#adef8b04d84d8882a2db68e5acab20438',1,'SVF::CondExpr::getId()'],['../classSVF_1_1MRVer.html#a45b70add039a7f134e8d44bfc6b8f0bc',1,'SVF::MRVer::getID()']]],
   ['getidfset',['getIDFSet',['../classSVF_1_1IteratedDominanceFrontier.html#a9469ee9a9a7712a261076c9a747b6a22',1,'SVF::IteratedDominanceFrontier']]],
   ['getimplty',['getImplTy',['../classSVF_1_1PointerAnalysis.html#ac0f821cfe4fb9c9c8816e7a1b1bc0c5e',1,'SVF::PointerAnalysis']]],
-  ['getincomingedges',['getIncomingEdges',['../classSVF_1_1SVFVar.html#a0deeb2f08b7681c63ad91a04a4b4c6c9',1,'SVF::SVFVar']]],
-  ['getincomingedgesbegin',['getIncomingEdgesBegin',['../classSVF_1_1SVFVar.html#ab137b1def56c6539b5048c84dfd92c7b',1,'SVF::SVFVar']]],
-  ['getincomingedgesend',['getIncomingEdgesEnd',['../classSVF_1_1SVFVar.html#ab6cfd409bdb445cc1a7e50ed958b7d25',1,'SVF::SVFVar']]],
+  ['getincomingedges',['getIncomingEdges',['../classSVF_1_1SVFVar.html#a76964ef7d4842a469d7720881499d8a6',1,'SVF::SVFVar']]],
+  ['getincomingedgesbegin',['getIncomingEdgesBegin',['../classSVF_1_1SVFVar.html#a893890649ae7d8e275dd823e941aa39b',1,'SVF::SVFVar']]],
+  ['getincomingedgesend',['getIncomingEdgesEnd',['../classSVF_1_1SVFVar.html#af1cf24ab50e0d86c9d0f9bd5744b4c10',1,'SVF::SVFVar']]],
   ['getindcallmap',['getIndCallMap',['../classSVF_1_1PTACallGraph.html#ad49fa2a288945f6910deb11acdf6a42d',1,'SVF::PTACallGraph::getIndCallMap()'],['../classSVF_1_1PointerAnalysis.html#a1ca30dfa42702071b65d363c76d25cbe',1,'SVF::PointerAnalysis::getIndCallMap()']]],
   ['getindcallsites',['getIndCallSites',['../classSVF_1_1SVFIR.html#abf209739a97b96ae0d1c8451fdc684e8',1,'SVF::SVFIR']]],
   ['getindcallsitesinvokingcallee',['getIndCallSitesInvokingCallee',['../classSVF_1_1PTACallGraph.html#a9a4b0c6672288b9201ab254b4c49548d',1,'SVF::PTACallGraph']]],
@@ -379,8 +378,6 @@ var searchData=
   ['getinst',['getInst',['../classSVF_1_1IntraBlockNode.html#ac4d046229e38c7501d7aca638f13f07b',1,'SVF::IntraBlockNode::getInst()'],['../classSVF_1_1StmtVFGNode.html#aae94dd9031a6662d509627e602aef532',1,'SVF::StmtVFGNode::getInst()'],['../classSVF_1_1SVFStmt.html#a86628ea173dec4934322f5d1caf2e1db',1,'SVF::SVFStmt::getInst()']]],
   ['getinstances',['getInstances',['../classSVF_1_1CHGraph.html#a894a69fa143d3f460d433646a0521b6f',1,'SVF::CHGraph']]],
   ['getinstancesanddescendants',['getInstancesAndDescendants',['../classSVF_1_1CHGBuilder.html#a444dba7f18bee07a6cad51f88bb63e30',1,'SVF::CHGBuilder']]],
-  ['getinstpagedgelist',['getInstPAGEdgeList',['../classSVF_1_1SVFIR.html#adf344b7cbcebd343b026b9b4b9d72fdb',1,'SVF::SVFIR']]],
-  ['getinstptapagedgelist',['getInstPTAPAGEdgeList',['../classSVF_1_1SVFIR.html#ad0c6908c3e4ff83d0eb34906826d2a10',1,'SVF::SVFIR']]],
   ['getinstruction',['getInstruction',['../classSVF_1_1CallSite.html#ab36a6a35eea673d4bdca615efc4336b1',1,'SVF::CallSite']]],
   ['getinstruction1',['getInstruction1',['../classSVF_1_1RaceResultValidator_1_1AccessPair.html#a97307972daebc1fc358ba2c8009c5990',1,'SVF::RaceResultValidator::AccessPair']]],
   ['getinstruction2',['getInstruction2',['../classSVF_1_1RaceResultValidator_1_1AccessPair.html#acf383712e9399fec0d52614b2338836c',1,'SVF::RaceResultValidator::AccessPair']]],
@@ -416,14 +413,14 @@ var searchData=
   ['getloadcvar',['getLoadCVar',['../classSVF_1_1DDAVFSolver.html#ad42efad8e857290459689833c224e467',1,'SVF::DDAVFSolver']]],
   ['getloaddpm',['getLoadDpm',['../classSVF_1_1DDAVFSolver.html#a630aad14a285c954a50c632f9cb13fa9',1,'SVF::DDAVFSolver']]],
   ['getloadinedges',['getLoadInEdges',['../classSVF_1_1ConstraintNode.html#abd8d146e9b30b6d9757021a84bcab158',1,'SVF::ConstraintNode']]],
-  ['getloadinst',['getLoadInst',['../classSVF_1_1LoadMU.html#abd883317106589b17e4a824dc44721c0',1,'SVF::LoadMU']]],
-  ['getloadmrset',['getLoadMRSet',['../classSVF_1_1MRGenerator.html#a5cf5ae60ad6028809088f3c842afde9d',1,'SVF::MRGenerator']]],
+  ['getloadinst',['getLoadInst',['../classSVF_1_1LoadMU.html#a5c26668b6ab2db91c4d5ba32d6a27b14',1,'SVF::LoadMU']]],
+  ['getloadmrset',['getLoadMRSet',['../classSVF_1_1MRGenerator.html#a19da5768681a21c52a6c43761814a157',1,'SVF::MRGenerator']]],
   ['getloadmunum',['getLoadMuNum',['../classSVF_1_1MemSSA.html#aafc83f7f22ebf3b3683607440c488bef',1,'SVF::MemSSA']]],
   ['getloadoperand',['getLoadOperand',['../classSVF_1_1MTAAnnotator.html#a399e53d065bc34af428a1ba89a04972b',1,'SVF::MTAAnnotator']]],
   ['getloadoutedges',['getLoadOutEdges',['../classSVF_1_1ConstraintNode.html#a59ab1cea514100c63ee179e3e9a5aa0a',1,'SVF::ConstraintNode']]],
   ['getloadtomusetmap',['getLoadToMUSetMap',['../classSVF_1_1MemSSA.html#a70dd35ef458c452330dfebcdde17b84c',1,'SVF::MemSSA']]],
   ['getloc',['getLoc',['../classSVF_1_1StmtDPItem.html#a3616c94c4394b61c757ffcd39888d5b9',1,'SVF::StmtDPItem']]],
-  ['getlocationset',['getLocationSet',['../classSVF_1_1NormalGepCGEdge.html#ac469605b74fa8cd38e1959c8b948864b',1,'SVF::NormalGepCGEdge::getLocationSet()'],['../classSVF_1_1NormalGepPE.html#ac086d39e0f554705b627c2fc07a33875',1,'SVF::NormalGepPE::getLocationSet()'],['../classSVF_1_1GepObjPN.html#aeb05e3a512e89c7af36c675e0efeec7e',1,'SVF::GepObjPN::getLocationSet()']]],
+  ['getlocationset',['getLocationSet',['../classSVF_1_1NormalGepCGEdge.html#ac469605b74fa8cd38e1959c8b948864b',1,'SVF::NormalGepCGEdge::getLocationSet()'],['../classSVF_1_1NormalGepStmt.html#a7bf625581c4852212bcea89562ea9cef',1,'SVF::NormalGepStmt::getLocationSet()'],['../classSVF_1_1GepObjPN.html#aeb05e3a512e89c7af36c675e0efeec7e',1,'SVF::GepObjPN::getLocationSet()']]],
   ['getlocationsetfrombasenode',['getLocationSetFromBaseNode',['../classSVF_1_1SVFIR.html#a8b36d077c30fb2830a253ded82413c2d',1,'SVF::SVFIR']]],
   ['getlockspan',['getLockSpan',['../classSVF_1_1SVFGNodeLockSpan.html#a4e6207b3b64a60993e1e02f6ef125452',1,'SVF::SVFGNodeLockSpan']]],
   ['getlockval',['getLockVal',['../classSVF_1_1LockAnalysis.html#a785616f9c744d7249fd1080e5ed04d29',1,'SVF::LockAnalysis::getLockVal()'],['../classSVF_1_1ThreadAPI.html#a8f1c869eb42f7c89697cf2c7452ba9e9',1,'SVF::ThreadAPI::getLockVal(const Instruction *inst) const'],['../classSVF_1_1ThreadAPI.html#ad1d43e47f5036138e85068a1714f6c48',1,'SVF::ThreadAPI::getLockVal(CallSite cs) const']]],
@@ -442,7 +439,7 @@ var searchData=
   ['getmaxpathlen',['getMaxPathLen',['../classSVF_1_1ContextCond.html#a935415951bfc6f5089663980bf8e324d',1,'SVF::ContextCond']]],
   ['getmaxstructsize',['getMaxStructSize',['../classSVF_1_1SymbolTableInfo.html#abc7e567209010286a68634c700d76cca',1,'SVF::SymbolTableInfo']]],
   ['getmdnodepts',['getMdNodePts',['../classSVF_1_1IRAnnotator.html#a08a3ad9b6d872a70b1480f1beed49441',1,'SVF::IRAnnotator']]],
-  ['getmemobj',['getMemObj',['../classSVF_1_1IRGraph.html#a4f5792216c6f38c32dac5074862ffc50',1,'SVF::IRGraph::getMemObj()'],['../classSVF_1_1ObjPN.html#a63ee5624271a63c2dc4f7f3ed2dcefdf',1,'SVF::ObjPN::getMemObj()']]],
+  ['getmemobj',['getMemObj',['../classSVF_1_1IRGraph.html#a4f5792216c6f38c32dac5074862ffc50',1,'SVF::IRGraph::getMemObj()'],['../classSVF_1_1ObjVar.html#a6a4feb73b54e602407e35eeb09f55930',1,'SVF::ObjVar::getMemObj()']]],
   ['getmemoryusagekb',['getMemoryUsageKB',['../namespaceSVF_1_1SVFUtil.html#a630ff9c47f58f9b8df7c8a2b3711477c',1,'SVF::SVFUtil']]],
   ['getmemtofieldsmap',['getMemToFieldsMap',['../classSVF_1_1SVFIR.html#a6f46446d667258b32ddc1ccab48f651c',1,'SVF::SVFIR']]],
   ['getmemusage',['getMemUsage',['../classSVF_1_1PathCondAllocator.html#ad6d58127299d87ae3c231065bb411557',1,'SVF::PathCondAllocator::getMemUsage()'],['../classSVF_1_1BranchCondManager.html#ab728e3f0906854e94776ff0e6297c181',1,'SVF::BranchCondManager::getMemUsage()'],['../classSVF_1_1CondManager.html#a8a9d3d96c2c8cfef8b9d9c27c28871f6',1,'SVF::CondManager::getMemUsage()']]],
@@ -468,7 +465,7 @@ var searchData=
   ['getmrsforloadfrominterlist',['getMRsForLoadFromInterList',['../classSVF_1_1IntraDisjointMRG.html#a8d390306f30e8b9736a3d1228ef5bf3a',1,'SVF::IntraDisjointMRG']]],
   ['getmrver',['getMRVer',['../classSVF_1_1IndirectSVFGEdge.html#ac08d8b88c44881d87c1299d18c943ace',1,'SVF::IndirectSVFGEdge::getMRVer()'],['../classSVF_1_1FormalINSVFGNode.html#a07e23637c89164add5fc3ea52b250735',1,'SVF::FormalINSVFGNode::getMRVer()'],['../classSVF_1_1FormalOUTSVFGNode.html#ad2e841a18b777220c2b13f38289d6168',1,'SVF::FormalOUTSVFGNode::getMRVer()'],['../classSVF_1_1ActualINSVFGNode.html#aa92b36228a6f42496984cfea32f3415c',1,'SVF::ActualINSVFGNode::getMRVer()'],['../classSVF_1_1ActualOUTSVFGNode.html#a3e3a14a042d75e5613eb049a9eb4fac5',1,'SVF::ActualOUTSVFGNode::getMRVer()'],['../classSVF_1_1IntraMSSAPHISVFGNode.html#a9d4b2b8d343796bb465cc5a138eb3f18',1,'SVF::IntraMSSAPHISVFGNode::getMRVer()'],['../classSVF_1_1MSSAMU.html#ad120dfc87b90b26649bcd8d0c0d3ca80',1,'SVF::MSSAMU::getMRVer()']]],
   ['getmssa',['getMSSA',['../classSVF_1_1SVFG.html#a49a910bc4ea6e98d1584e74a018badc9',1,'SVF::SVFG']]],
-  ['getmuset',['getMUSet',['../classSVF_1_1MemSSA.html#aea0fc1d2e5407f86e0211d8e253fa24e',1,'SVF::MemSSA::getMUSet(const LoadPE *ld)'],['../classSVF_1_1MemSSA.html#a59392ba4cc987f5fefa4eca0ebe411fe',1,'SVF::MemSSA::getMUSet(const CallBlockNode *cs)']]],
+  ['getmuset',['getMUSet',['../classSVF_1_1MemSSA.html#af4d11a0c7da0ddd7dff8d75a00279847',1,'SVF::MemSSA::getMUSet(const LoadStmt *ld)'],['../classSVF_1_1MemSSA.html#a59392ba4cc987f5fefa4eca0ebe411fe',1,'SVF::MemSSA::getMUSet(const CallBlockNode *cs)']]],
   ['getmutdfptdataty',['getMutDFPTDataTy',['../classSVF_1_1BVDataPTAImpl.html#acbb979edee9427efa2a7c0dbd881c483',1,'SVF::BVDataPTAImpl']]],
   ['getmutptdataty',['getMutPTDataTy',['../classSVF_1_1CondPTAImpl.html#ab582d46731c06a7fa022bf301d6008c1',1,'SVF::CondPTAImpl']]],
   ['getname',['getName',['../classSVF_1_1CHNode.html#af6e71c1a932464b1b615fc177f5af089',1,'SVF::CHNode::getName()'],['../classSVF_1_1DCHNode.html#a089af6085dec833b58133a9e834dab54',1,'SVF::DCHNode::getName()'],['../classSVF_1_1SVFValue.html#adc15c1f7a77158142156fba7524e89c9',1,'SVF::SVFValue::getName()']]],
@@ -496,7 +493,7 @@ var searchData=
   ['getnumstridepair',['getNumStridePair',['../classSVF_1_1LocationSet.html#a3720af92ca2a65f02492e752b07ba241',1,'SVF::LocationSet']]],
   ['getnumsuccessors',['getNumSuccessors',['../classSVF_1_1BranchVFGNode.html#ad070e36a440deb982779cec18aa03ee6',1,'SVF::BranchVFGNode::getNumSuccessors()'],['../classSVF_1_1BranchStmt.html#a022d355bde3d0d0a9471cd125b24583b',1,'SVF::BranchStmt::getNumSuccessors()']]],
   ['getobj',['getObj',['../classSVF_1_1SymbolTableInfo.html#a65f49178a948380c2d6105178509a906',1,'SVF::SymbolTableInfo']]],
-  ['getobject',['getObject',['../classSVF_1_1DummyVersionPropSVFGNode.html#ac10a4b9c2ee536cfcb74120d86c0619f',1,'SVF::DummyVersionPropSVFGNode::getObject()'],['../classSVF_1_1SVFIR.html#a2dd4d5f704906270af13e7a07f900eb1',1,'SVF::SVFIR::getObject(NodeID id) const'],['../classSVF_1_1SVFIR.html#a09e5b8af97c902bf25ff8f1542346138',1,'SVF::SVFIR::getObject(const ObjPN *node) const']]],
+  ['getobject',['getObject',['../classSVF_1_1DummyVersionPropSVFGNode.html#ac10a4b9c2ee536cfcb74120d86c0619f',1,'SVF::DummyVersionPropSVFGNode::getObject()'],['../classSVF_1_1SVFIR.html#a2dd4d5f704906270af13e7a07f900eb1',1,'SVF::SVFIR::getObject(NodeID id) const'],['../classSVF_1_1SVFIR.html#a25b86c16d11b4d50ccc28ead525687ae',1,'SVF::SVFIR::getObject(const ObjVar *node) const']]],
   ['getobjectnode',['getObjectNode',['../classSVF_1_1IRGraph.html#aba13ca47865614e45321c1ae53e640c1',1,'SVF::IRGraph::getObjectNode()'],['../classSVF_1_1SVFIRBuilder.html#a5a93f3d13e2b3df126fbc42b1bd09006',1,'SVF::SVFIRBuilder::getObjectNode()']]],
   ['getobjectnodenum',['getObjectNodeNum',['../classSVF_1_1IRGraph.html#a8e9b2e37b36433c01e90d54a4edbf7f3',1,'SVF::IRGraph']]],
   ['getobjsize',['getObjSize',['../classSVF_1_1SymbolTableBuilder.html#a0f6e58467a6c280181c0366ca6331f98',1,'SVF::SymbolTableBuilder']]],
@@ -505,13 +502,13 @@ var searchData=
   ['getocgrep',['getOCGRep',['../classSVF_1_1OfflineConsG.html#a3f390900ee8761055c6d59107bc0ad27',1,'SVF::OfflineConsG']]],
   ['getocgrepmap',['getOCGRepMap',['../classSVF_1_1OfflineConsG.html#a4c27bd33977816db33d0e7d92036239a',1,'SVF::OfflineConsG']]],
   ['getofflinerep',['getOfflineRep',['../classSVF_1_1AndersenHCD.html#ac2e6a5acffff567e729b6aa9e9beeb55',1,'SVF::AndersenHCD']]],
-  ['getoffset',['getOffset',['../classSVF_1_1NormalGepCGEdge.html#ac7dc9a2857ee020345ebe465ba0d08f3',1,'SVF::NormalGepCGEdge::getOffset()'],['../classSVF_1_1LocationSet.html#ab85c3707152e03722bd631b2525f223e',1,'SVF::LocationSet::getOffset()'],['../classSVF_1_1NormalGepPE.html#a38ac1dd06ada0a04e13a038f8b69e3e5',1,'SVF::NormalGepPE::getOffset()'],['../classSVF_1_1GepValPN.html#a0f8a17f7624765228e44456d34897d5a',1,'SVF::GepValPN::getOffset()'],['../classSVF_1_1DCHEdge.html#a228405631dd68eeeb274581865e4d13d',1,'SVF::DCHEdge::getOffset()']]],
-  ['getopcode',['getOpcode',['../classSVF_1_1CmpPE.html#aac8a0b9e765da7baa617c14cc6154ea2',1,'SVF::CmpPE::getOpcode()'],['../classSVF_1_1BinaryOPPE.html#ac1738c0751fb19b56af2e3296a4b439f',1,'SVF::BinaryOPPE::getOpcode()'],['../classSVF_1_1UnaryOPPE.html#a8884cec63c7eea39f0e767bcedf74b3d',1,'SVF::UnaryOPPE::getOpcode()']]],
+  ['getoffset',['getOffset',['../classSVF_1_1NormalGepCGEdge.html#ac7dc9a2857ee020345ebe465ba0d08f3',1,'SVF::NormalGepCGEdge::getOffset()'],['../classSVF_1_1LocationSet.html#ab85c3707152e03722bd631b2525f223e',1,'SVF::LocationSet::getOffset()'],['../classSVF_1_1NormalGepStmt.html#a904919192ddbd054381c3b863531ab10',1,'SVF::NormalGepStmt::getOffset()'],['../classSVF_1_1GepValVar.html#a149d738115af2bcd815306ee6eb91bb3',1,'SVF::GepValVar::getOffset()'],['../classSVF_1_1DCHEdge.html#a228405631dd68eeeb274581865e4d13d',1,'SVF::DCHEdge::getOffset()']]],
+  ['getopcode',['getOpcode',['../classSVF_1_1BinaryOPStmt.html#ad0a7c5e87355d7a83176343322db448f',1,'SVF::BinaryOPStmt::getOpcode()'],['../classSVF_1_1UnaryOPStmt.html#af29723d5e777b10d53d48263a786f5b6',1,'SVF::UnaryOPStmt::getOpcode()']]],
   ['getoperand',['getOperand',['../classllvm_1_1generic__bridge__gep__type__iterator.html#a9494bbdc909dab98dd3fd23a416f3a31',1,'llvm::generic_bridge_gep_type_iterator']]],
   ['getopincomingbb',['getOpIncomingBB',['../classSVF_1_1IntraPHIVFGNode.html#a3a6ef9d2b10a6f2f1ac1b25590f56a70',1,'SVF::IntraPHIVFGNode']]],
   ['getopndvars',['getOpndVars',['../classSVF_1_1MultiOpndStmt.html#a0441f2646fed28830439c41a0704ed4b',1,'SVF::MultiOpndStmt']]],
-  ['getopvar',['getOpVar',['../classSVF_1_1UnaryOPVFGNode.html#adb0928a2547397d0ac2bbc2cf261d595',1,'SVF::UnaryOPVFGNode::getOpVar()'],['../classSVF_1_1MultiOpndStmt.html#a18f9d9ea87def35d4eaa707a339316b8',1,'SVF::MultiOpndStmt::getOpVar()'],['../classSVF_1_1UnaryOPPE.html#a9e1afd73d1cd1f03e6e4e46cce5f1a64',1,'SVF::UnaryOPPE::getOpVar()']]],
-  ['getopvarid',['getOpVarID',['../classSVF_1_1MultiOpndStmt.html#a5c6efcc023e90ef2e618586091958c59',1,'SVF::MultiOpndStmt::getOpVarID()'],['../classSVF_1_1UnaryOPPE.html#a4a5fb44d0171a871d5434fc97f9cf21d',1,'SVF::UnaryOPPE::getOpVarID()']]],
+  ['getopvar',['getOpVar',['../classSVF_1_1UnaryOPVFGNode.html#adb0928a2547397d0ac2bbc2cf261d595',1,'SVF::UnaryOPVFGNode::getOpVar()'],['../classSVF_1_1MultiOpndStmt.html#a18f9d9ea87def35d4eaa707a339316b8',1,'SVF::MultiOpndStmt::getOpVar()'],['../classSVF_1_1UnaryOPStmt.html#abde2b32d5bbd37df0e194b1a4e78483b',1,'SVF::UnaryOPStmt::getOpVar()']]],
+  ['getopvarid',['getOpVarID',['../classSVF_1_1MultiOpndStmt.html#a5c6efcc023e90ef2e618586091958c59',1,'SVF::MultiOpndStmt::getOpVarID()'],['../classSVF_1_1UnaryOPStmt.html#a8029b46bccda153ca2e677686c2655e2',1,'SVF::UnaryOPStmt::getOpVarID()']]],
   ['getopvarnum',['getOpVarNum',['../classSVF_1_1MultiOpndStmt.html#af300571886b7aa2d84b0a70851c99bc3',1,'SVF::MultiOpndStmt']]],
   ['getopver',['getOpVer',['../classSVF_1_1MSSAPHISVFGNode.html#a9ff8a58538d4df8e06e8d16dd58f02a3',1,'SVF::MSSAPHISVFGNode::getOpVer()'],['../classSVF_1_1CmpVFGNode.html#a62a87f7ee66c51302e093bbaf5d0901b',1,'SVF::CmpVFGNode::getOpVer()'],['../classSVF_1_1BinaryOPVFGNode.html#a4c71d3d586a5389f524f93ca82ffe0e5',1,'SVF::BinaryOPVFGNode::getOpVer()'],['../classSVF_1_1UnaryOPVFGNode.html#a1582b9fe65306c3fcd8c5390f5c07e5d',1,'SVF::UnaryOPVFGNode::getOpVer()'],['../classSVF_1_1PHIVFGNode.html#a4277e367a10362ddc14dbe219a88353a',1,'SVF::PHIVFGNode::getOpVer()'],['../classSVF_1_1MSSACHI.html#a7af6f73ff1432d4adb5ee8493fbe73fb',1,'SVF::MSSACHI::getOpVer()'],['../classSVF_1_1MSSAPHI.html#aeb5a948499f913264de749001f605a4e',1,'SVF::MSSAPHI::getOpVer()']]],
   ['getopvernum',['getOpVerNum',['../classSVF_1_1MSSAPHISVFGNode.html#af7bd2cd776dcdbd1aee11569ec9f4a4f',1,'SVF::MSSAPHISVFGNode::getOpVerNum()'],['../classSVF_1_1CmpVFGNode.html#ad95b04c10a54b38344863e6552fc7775',1,'SVF::CmpVFGNode::getOpVerNum()'],['../classSVF_1_1BinaryOPVFGNode.html#a16511457605363135685cf3cf3a474dd',1,'SVF::BinaryOPVFGNode::getOpVerNum()'],['../classSVF_1_1UnaryOPVFGNode.html#aeb8722a2efdc4bf4e79d65230dc41fd5',1,'SVF::UnaryOPVFGNode::getOpVerNum()'],['../classSVF_1_1PHIVFGNode.html#aa147f43ddf3efac3e0143235ab611cf2',1,'SVF::PHIVFGNode::getOpVerNum()'],['../classSVF_1_1MSSAPHI.html#adbefc58750f87cf1c30dd5d445b50feb',1,'SVF::MSSAPHI::getOpVerNum()']]],
@@ -527,9 +524,9 @@ var searchData=
   ['getorigsubtypewithbyteoffset',['getOrigSubTypeWithByteOffset',['../classSVF_1_1SymbolTableInfo.html#a573bd5208467b2f905f5b2b1684feac8',1,'SVF::SymbolTableInfo']]],
   ['getorigsubtypewithfldinx',['getOrigSubTypeWithFldInx',['../classSVF_1_1SymbolTableInfo.html#ad7dec8a89931ef96a26c7f1d23062702',1,'SVF::SymbolTableInfo']]],
   ['getoutedges',['getOutEdges',['../classSVF_1_1GenericNode.html#a2d9cd758d6f8c5189d9b90b74f43e009',1,'SVF::GenericNode']]],
-  ['getoutgoingedges',['getOutgoingEdges',['../classSVF_1_1SVFVar.html#af41e3da7f7d6918f58785446d715fec6',1,'SVF::SVFVar']]],
-  ['getoutgoingedgesbegin',['getOutgoingEdgesBegin',['../classSVF_1_1SVFVar.html#adb1f35a6f8db19c48cf7fd6c8f4a8ff3',1,'SVF::SVFVar']]],
-  ['getoutgoingedgesend',['getOutgoingEdgesEnd',['../classSVF_1_1SVFVar.html#adec782d2f9d055b0dbcb56f511e75c24',1,'SVF::SVFVar']]],
+  ['getoutgoingedges',['getOutgoingEdges',['../classSVF_1_1SVFVar.html#a927733580b47be5ffcfced44ba9fd6c3',1,'SVF::SVFVar']]],
+  ['getoutgoingedgesbegin',['getOutgoingEdgesBegin',['../classSVF_1_1SVFVar.html#a9e40eafe55a2c1448b830b56ae72e17f',1,'SVF::SVFVar']]],
+  ['getoutgoingedgesend',['getOutgoingEdgesEnd',['../classSVF_1_1SVFVar.html#aa5176fce9746bc585d43ebb4c8c824e5',1,'SVF::SVFVar']]],
   ['getoutput',['getOutput',['../classSVF_1_1LockResultValidator.html#ab71d89c954395df7d108263b3fa87330',1,'SVF::LockResultValidator::getOutput()'],['../classSVF_1_1MTAResultValidator.html#a9c9baeb57a645b57cc9053b3071f0602',1,'SVF::MTAResultValidator::getOutput()'],['../classSVF_1_1RaceResultValidator.html#afdd89e26a7c168762bfe85746252827f',1,'SVF::RaceResultValidator::getOutput()']]],
   ['getoutputforinterlevanalysis',['getOutputforInterlevAnalysis',['../classSVF_1_1MTAResultValidator.html#ac24a8a6922d9dc9edecab3bc45bc9204',1,'SVF::MTAResultValidator']]],
   ['getpag',['getPAG',['../classSVF_1_1VFG.html#a7622e381fbc1601b3f9a8384df2751bd',1,'SVF::VFG::getPAG()'],['../classSVF_1_1PAGBuilderFromFile.html#ae016c545a237beea35c4ed8fd3ad037a',1,'SVF::PAGBuilderFromFile::getPAG()'],['../classSVF_1_1PointerAnalysis.html#a240219c2dc4f5cc5f85445e18c79b83b',1,'SVF::PointerAnalysis::getPAG()'],['../classSVF_1_1SVFIR.html#a37cfa2aa4e7b98ef9dc8179f581a2362',1,'SVF::SVFIR::getPAG()'],['../classSVF_1_1MemSSA.html#a41b153f2f8f3a27be63750e73a290569',1,'SVF::MemSSA::getPAG()'],['../classSVF_1_1FSMPTA.html#ad93ee6450a9eb498369bf63acc9f6578',1,'SVF::FSMPTA::getPAG()'],['../classSVF_1_1SrcSnkDDA.html#a4f37c66db2588cd691353a9ad1a4d5b1',1,'SVF::SrcSnkDDA::getPAG()'],['../classSVF_1_1SVFIRBuilder.html#af44d4587defa76f1e7f2645f9711558a',1,'SVF::SVFIRBuilder::getPAG()']]],
@@ -538,9 +535,9 @@ var searchData=
   ['getpagedge',['getPAGEdge',['../classSVF_1_1StmtVFGNode.html#a4dd7615f42971da9b6ec1dc04f0ec4e6',1,'SVF::StmtVFGNode']]],
   ['getpagedgekindvalue',['getPAGEdgeKindValue',['../classSVF_1_1ICFGPrinter.html#a38aa67e172459a72d8fc92a6172903be',1,'SVF::ICFGPrinter']]],
   ['getpagedgenum',['getPAGEdgeNum',['../classSVF_1_1IRGraph.html#a2fda1df53e53c0098d99f36d8f6f0998',1,'SVF::IRGraph']]],
-  ['getpagedges',['getPAGEdges',['../classSVF_1_1ICFGNode.html#a9d195144cc118279695880625615d8ad',1,'SVF::ICFGNode']]],
-  ['getpagedgeset',['getPAGEdgeSet',['../classSVF_1_1ConstraintGraph.html#ad5d89d94b16c167a593aa2a0c8e6ad9c',1,'SVF::ConstraintGraph::getPAGEdgeSet()'],['../classSVF_1_1VFG.html#a37239391028cd313eab7110626444682',1,'SVF::VFG::getPAGEdgeSet()']]],
-  ['getpagedgesfrominst',['getPAGEdgesFromInst',['../classSVF_1_1MRGenerator.html#a820e30118868947b62f0a558da5512fc',1,'SVF::MRGenerator']]],
+  ['getpagedges',['getPAGEdges',['../classSVF_1_1ICFGNode.html#a23707d08fd5cfcb5db72ff4ef0b864ff',1,'SVF::ICFGNode']]],
+  ['getpagedgeset',['getPAGEdgeSet',['../classSVF_1_1ConstraintGraph.html#a08478529524005aba86660f031cf55af',1,'SVF::ConstraintGraph::getPAGEdgeSet()'],['../classSVF_1_1VFG.html#a77c2855e80d85ee122e3ee076402d864',1,'SVF::VFG::getPAGEdgeSet()']]],
+  ['getpagedgesfrominst',['getPAGEdgesFromInst',['../classSVF_1_1MRGenerator.html#acc78a116ca0be01a359d1313b2ae603c',1,'SVF::MRGenerator']]],
   ['getpagnode',['getPAGNode',['../classSVF_1_1NullPtrVFGNode.html#a116af5e66665c56b9ca1e734bc3719c5',1,'SVF::NullPtrVFGNode']]],
   ['getpagnodekindvalue',['getPAGNodeKindValue',['../classSVF_1_1ICFGPrinter.html#a54f0729c869b5061b5fb9fe056c326ef',1,'SVF::ICFGPrinter']]],
   ['getpagnodenum',['getPAGNodeNum',['../classSVF_1_1IRGraph.html#a973fb40e0eb600a7f90884767e036a96',1,'SVF::IRGraph']]],
@@ -559,6 +556,7 @@ var searchData=
   ['getpointsto',['getPointsTo',['../classSVF_1_1IndirectSVFGEdge.html#a30aca718d25924f1babdf348bb0ace71',1,'SVF::IndirectSVFGEdge::getPointsTo()'],['../classSVF_1_1MRSVFGNode.html#a28fe266d0e4618aa4448aa218495a332',1,'SVF::MRSVFGNode::getPointsTo()'],['../classSVF_1_1MemRegion.html#a1e5befaa1a46943e101b33adaf141ca1',1,'SVF::MemRegion::getPointsTo()']]],
   ['getpointstolist',['getPointsToList',['../classSVF_1_1MRGenerator.html#a6d86c8ebe87cb54f39e52daa7ffb0e2e',1,'SVF::MRGenerator']]],
   ['getpostdt',['getPostDT',['../classSVF_1_1TCT.html#ae4d26d2a77e45104523cfc481012bccc',1,'SVF::TCT::getPostDT()'],['../classSVF_1_1PathCondAllocator.html#a1295e2c2c0a9c1a3744ba3927b95363e',1,'SVF::PathCondAllocator::getPostDT()'],['../classSVF_1_1PTACFInfoBuilder.html#a00e3339dab62325354e8ecd8251da0f1',1,'SVF::PTACFInfoBuilder::getPostDT()']]],
+  ['getpredicate',['getPredicate',['../classSVF_1_1CmpStmt.html#aa6a21fb1cfbc263bb38651176c495632',1,'SVF::CmpStmt']]],
   ['getprevinsts',['getPrevInsts',['../namespaceSVF_1_1SVFUtil.html#a7e3a8d6cb1715db9518579fb60181d5b',1,'SVF::SVFUtil']]],
   ['getpreviousmemoryaccessinst',['getPreviousMemoryAccessInst',['../classSVF_1_1LockResultValidator.html#a0be1cdab3c36835044e3b26d5d8402e6',1,'SVF::LockResultValidator::getPreviousMemoryAccessInst()'],['../classSVF_1_1MTAResultValidator.html#ab3ba3c6d9c40e97febdab0e7d4ad9a3e',1,'SVF::MTAResultValidator::getPreviousMemoryAccessInst()'],['../classSVF_1_1RaceResultValidator.html#ad029f7a9a5161191a44d1e841f9d6114',1,'SVF::RaceResultValidator::getPreviousMemoryAccessInst()']]],
   ['getprevnodes',['getPrevNodes',['../classSVF_1_1MTASVFGBuilder.html#a7b034f9f8f01823ecfb7f6c17e47b502',1,'SVF::MTASVFGBuilder']]],
@@ -568,8 +566,9 @@ var searchData=
   ['getpropapts',['getPropaPts',['../classSVF_1_1MutableDiffPTData.html#a450ed4470b1d83d44218904dd391fd75',1,'SVF::MutableDiffPTData']]],
   ['getpta',['getPTA',['../classSVF_1_1DDAStat.html#a55fa3ce574d128a89c1aa5f6a7dc17c6',1,'SVF::DDAStat::getPTA()'],['../classSVF_1_1SVFG.html#ab6c337637ccc9bbf0bcc7153b427f7ca',1,'SVF::SVFG::getPTA()'],['../classSVF_1_1MemSSA.html#ad40617a1907b9a6b8cc24888ce54a0ac',1,'SVF::MemSSA::getPTA()'],['../classSVF_1_1TCT.html#a5b087b42340d1a1b2ee37339637709d3',1,'SVF::TCT::getPTA()']]],
   ['getptacallgraph',['getPTACallGraph',['../classSVF_1_1PointerAnalysis.html#a7c9b7e5fe37ae31ba84d167945ca57df',1,'SVF::PointerAnalysis']]],
-  ['getptaedgeset',['getPTAEdgeSet',['../classSVF_1_1SVFIR.html#a9c33009dc1aa3e16adfd34effd4471f6',1,'SVF::SVFIR']]],
   ['getptapagedgenum',['getPTAPAGEdgeNum',['../classSVF_1_1IRGraph.html#ad4860fe89aa3a11c73aac3ed60f712cb',1,'SVF::IRGraph']]],
+  ['getptasvfstmtlist',['getPTASVFStmtList',['../classSVF_1_1SVFIR.html#abb91ed47d5c13d0ad7eec35164e37988',1,'SVF::SVFIR']]],
+  ['getptasvfstmtset',['getPTASVFStmtSet',['../classSVF_1_1SVFIR.html#a65a4af3d6f0bfc11e31f020bb2966576',1,'SVF::SVFIR']]],
   ['getptcache',['getPtCache',['../classSVF_1_1BVDataPTAImpl.html#a34d87fa1988b78f032735b5fc2803792',1,'SVF::BVDataPTAImpl']]],
   ['getptdataty',['getPTDataTy',['../classSVF_1_1BVDataPTAImpl.html#ae94cea78b71fb75837ee2a17b5ed0e81',1,'SVF::BVDataPTAImpl::getPTDataTy()'],['../classSVF_1_1CondPTAImpl.html#a35cb1fd6e18cdc8e8466ee94846bc553',1,'SVF::CondPTAImpl::getPTDataTy()']]],
   ['getptdty',['getPTDTY',['../classSVF_1_1PTData.html#adfcbaefe1c058d9ddf14aa3da07e1daf',1,'SVF::PTData']]],
@@ -588,8 +587,8 @@ var searchData=
   ['getrep',['getRep',['../classSVF_1_1ConstraintGraph.html#acd1f0ce7936ced59bfaf04956a0f8214',1,'SVF::ConstraintGraph']]],
   ['getrepnodes',['getRepNodes',['../classSVF_1_1SCCDetection.html#a457973fa38fad89bbd2dc41ba041703e',1,'SVF::SCCDetection']]],
   ['getreppointsto',['getRepPointsTo',['../classSVF_1_1MRGenerator.html#a98b3481580be48cff7e93bf3c8a29dac',1,'SVF::MRGenerator']]],
-  ['getres',['getRes',['../classSVF_1_1CmpVFGNode.html#aa972ecfb264d447fecf0326037bbccbe',1,'SVF::CmpVFGNode::getRes()'],['../classSVF_1_1BinaryOPVFGNode.html#a1fa8795102bc6c1d6bac1b55b7542eea',1,'SVF::BinaryOPVFGNode::getRes()'],['../classSVF_1_1UnaryOPVFGNode.html#ae7947adec032ed072c50cf49f9d12259',1,'SVF::UnaryOPVFGNode::getRes()'],['../classSVF_1_1PHIVFGNode.html#abd54e567a0826bbec277302e0c4f78a2',1,'SVF::PHIVFGNode::getRes()'],['../classSVF_1_1MultiOpndStmt.html#a00a14ad8f49912b876fd9d729fea4601',1,'SVF::MultiOpndStmt::getRes()'],['../classSVF_1_1UnaryOPPE.html#a80eb6a6681caf7407d7e16b36d7cb658',1,'SVF::UnaryOPPE::getRes()']]],
-  ['getresid',['getResID',['../classSVF_1_1MultiOpndStmt.html#a71a530eb9fa9f7e273e471b4a75a039e',1,'SVF::MultiOpndStmt::getResID()'],['../classSVF_1_1UnaryOPPE.html#add17d2cf1d1ad46faf343c8f2ee2a5f8',1,'SVF::UnaryOPPE::getResID()']]],
+  ['getres',['getRes',['../classSVF_1_1CmpVFGNode.html#aa972ecfb264d447fecf0326037bbccbe',1,'SVF::CmpVFGNode::getRes()'],['../classSVF_1_1BinaryOPVFGNode.html#a1fa8795102bc6c1d6bac1b55b7542eea',1,'SVF::BinaryOPVFGNode::getRes()'],['../classSVF_1_1UnaryOPVFGNode.html#ae7947adec032ed072c50cf49f9d12259',1,'SVF::UnaryOPVFGNode::getRes()'],['../classSVF_1_1PHIVFGNode.html#abd54e567a0826bbec277302e0c4f78a2',1,'SVF::PHIVFGNode::getRes()'],['../classSVF_1_1MultiOpndStmt.html#a00a14ad8f49912b876fd9d729fea4601',1,'SVF::MultiOpndStmt::getRes()'],['../classSVF_1_1UnaryOPStmt.html#a919db9b8c9287c3802f563840b56c4f1',1,'SVF::UnaryOPStmt::getRes()']]],
+  ['getresid',['getResID',['../classSVF_1_1MultiOpndStmt.html#a71a530eb9fa9f7e273e471b4a75a039e',1,'SVF::MultiOpndStmt::getResID()'],['../classSVF_1_1UnaryOPStmt.html#ae2ffeaec2d2e4de69826495006c35856',1,'SVF::UnaryOPStmt::getResID()']]],
   ['getresver',['getResVer',['../classSVF_1_1MSSAPHISVFGNode.html#a9ea963b7773c7d0b42ccf81e58a54a50',1,'SVF::MSSAPHISVFGNode::getResVer()'],['../classSVF_1_1MSSADEF.html#a21cb532396180e0b6bab515c52bec282',1,'SVF::MSSADEF::getResVer()']]],
   ['getret',['getRet',['../classSVF_1_1FormalRetVFGNode.html#a62a894e71fcf7a3db19c0488d96a7262',1,'SVF::FormalRetVFGNode']]],
   ['getretblocknode',['getRetBlockNode',['../classSVF_1_1ICFG.html#a6d66c83cb1656d0f8ec8b8b65a9e9c41',1,'SVF::ICFG::getRetBlockNode()'],['../classSVF_1_1CallBlockNode.html#ad48f8aa952074fba88c54d6e9fad4a17',1,'SVF::CallBlockNode::getRetBlockNode()']]],
@@ -620,8 +619,8 @@ var searchData=
   ['getspawnees',['getSpawnees',['../classSVF_1_1PCG.html#a4aee985ede8e6ed6dd92574494101df9',1,'SVF::PCG']]],
   ['getspawners',['getSpawners',['../classSVF_1_1PCG.html#a6efd56a0a1810cf9036dd9203ea5e71e',1,'SVF::PCG']]],
   ['getsrccsid',['getSrcCSID',['../classSVF_1_1LeakChecker.html#a4918e3e3e289cc39f3442cb26f28bcc4',1,'SVF::LeakChecker']]],
-  ['getsrcid',['getSrcID',['../classSVF_1_1GenericEdge.html#ae6792506a0150a9400d635eceab7f9e7',1,'SVF::GenericEdge::getSrcID()'],['../classSVF_1_1PhiPE.html#a3744f6f373df3d4671ba6064437cb562',1,'SVF::PhiPE::getSrcID()'],['../classSVF_1_1CmpPE.html#aa69a4905db6aa3a5a24645be84d75a2e',1,'SVF::CmpPE::getSrcID()'],['../classSVF_1_1BinaryOPPE.html#a62e2bf0b9c769c23f537ba4d3537b42b',1,'SVF::BinaryOPPE::getSrcID()'],['../classSVF_1_1UnaryOPPE.html#a470aed30aaa89484ae29c55729596322',1,'SVF::UnaryOPPE::getSrcID()'],['../classSVF_1_1BranchStmt.html#ab9c4a6190ecc1aead171c828450d69cb',1,'SVF::BranchStmt::getSrcID()']]],
-  ['getsrcnode',['getSrcNode',['../classSVF_1_1GenericEdge.html#ab47ca533c415841ef75456cbad439589',1,'SVF::GenericEdge::getSrcNode()'],['../classSVF_1_1PhiPE.html#ad6ab8b64a2868f38cc309584efd6ab53',1,'SVF::PhiPE::getSrcNode()'],['../classSVF_1_1CmpPE.html#a8809fbf0f9b34769a3fc0025996df8bc',1,'SVF::CmpPE::getSrcNode()'],['../classSVF_1_1BinaryOPPE.html#a13f8f936a0f8b3614543ec9cbb60eb58',1,'SVF::BinaryOPPE::getSrcNode()'],['../classSVF_1_1UnaryOPPE.html#a9ebc160ddba554b395cef580b694a316',1,'SVF::UnaryOPPE::getSrcNode()'],['../classSVF_1_1BranchStmt.html#af772610e425e2a67f7152bd8d53bf3c5',1,'SVF::BranchStmt::getSrcNode()']]],
+  ['getsrcid',['getSrcID',['../classSVF_1_1GenericEdge.html#ae6792506a0150a9400d635eceab7f9e7',1,'SVF::GenericEdge::getSrcID()'],['../classSVF_1_1PhiStmt.html#a723bca50c50179c17c6ce53b738c3414',1,'SVF::PhiStmt::getSrcID()'],['../classSVF_1_1CmpStmt.html#a9c725b7a6c7386b2892d82b70f1bec05',1,'SVF::CmpStmt::getSrcID()'],['../classSVF_1_1BinaryOPStmt.html#a7ceeaffe5aae4bf572b0e21d33331035',1,'SVF::BinaryOPStmt::getSrcID()'],['../classSVF_1_1UnaryOPStmt.html#ac6ee43abe0ca33efe4caf84ef67323dd',1,'SVF::UnaryOPStmt::getSrcID()'],['../classSVF_1_1BranchStmt.html#ab9c4a6190ecc1aead171c828450d69cb',1,'SVF::BranchStmt::getSrcID()']]],
+  ['getsrcnode',['getSrcNode',['../classSVF_1_1GenericEdge.html#ab47ca533c415841ef75456cbad439589',1,'SVF::GenericEdge::getSrcNode()'],['../classSVF_1_1PhiStmt.html#a6d45d49e58717c72b9cc8cb4f36133c0',1,'SVF::PhiStmt::getSrcNode()'],['../classSVF_1_1CmpStmt.html#a342ba9fd88195b90e2419fd44afef23d',1,'SVF::CmpStmt::getSrcNode()'],['../classSVF_1_1BinaryOPStmt.html#a0fd752e4cb3eabdc7cdd61a4a4f17253',1,'SVF::BinaryOPStmt::getSrcNode()'],['../classSVF_1_1UnaryOPStmt.html#ab80b5be6506812c9d58f63478de42e92',1,'SVF::UnaryOPStmt::getSrcNode()'],['../classSVF_1_1BranchStmt.html#af772610e425e2a67f7152bd8d53bf3c5',1,'SVF::BranchStmt::getSrcNode()']]],
   ['getssaversion',['getSSAVersion',['../classSVF_1_1MRVer.html#a170a933f25684bda23321ba05c7a7d88',1,'SVF::MRVer']]],
   ['getstartroutineofcxtthread',['getStartRoutineOfCxtThread',['../classSVF_1_1TCT.html#a7ccacac1c673b38215b90e4eb480581f',1,'SVF::TCT']]],
   ['getstat',['getStat',['../classSVF_1_1SVFG.html#a8ba934714a7f2caf2e041002fdb66137',1,'SVF::SVFG::getStat()'],['../classSVF_1_1PointerAnalysis.html#a0ebf1138011aa526d92470c1931313ad',1,'SVF::PointerAnalysis::getStat()']]],
@@ -631,8 +630,8 @@ var searchData=
   ['getstorecgedges',['getStoreCGEdges',['../classSVF_1_1ConstraintGraph.html#a61ef90be6ccc01634e5440f22a0f746e',1,'SVF::ConstraintGraph']]],
   ['getstorechinum',['getStoreChiNum',['../classSVF_1_1MemSSA.html#aa8c45b455e6fc60cab955534c3e50bfa',1,'SVF::MemSSA']]],
   ['getstoreinedges',['getStoreInEdges',['../classSVF_1_1ConstraintNode.html#aed5e1f0345aab58031daecfa0c6aac0b',1,'SVF::ConstraintNode']]],
-  ['getstoreinst',['getStoreInst',['../classSVF_1_1StoreCHI.html#ab86317f542f22cf46a6376c9811becf7',1,'SVF::StoreCHI']]],
-  ['getstoremrset',['getStoreMRSet',['../classSVF_1_1MRGenerator.html#ac409bbee6bf9deef7e31233a05054ee2',1,'SVF::MRGenerator']]],
+  ['getstoreinst',['getStoreInst',['../classSVF_1_1StoreCHI.html#aead80cf9aad5818f16ad61d7a83b7c79',1,'SVF::StoreCHI']]],
+  ['getstoremrset',['getStoreMRSet',['../classSVF_1_1MRGenerator.html#a364ad1e34d09a92cdc0cfe530c84880f',1,'SVF::MRGenerator']]],
   ['getstoreoperand',['getStoreOperand',['../classSVF_1_1MTAAnnotator.html#a49434afd0d7beb9f5d6580e8f672889c',1,'SVF::MTAAnnotator']]],
   ['getstoreoutedges',['getStoreOutEdges',['../classSVF_1_1ConstraintNode.html#a85e67f52e9cda75704e6b5a46af289e7',1,'SVF::ConstraintNode']]],
   ['getstoretochisetmap',['getStoreToChiSetMap',['../classSVF_1_1MemSSA.html#a97166aa7102816a16734d7e2f1c130b0',1,'SVF::MemSSA']]],
@@ -654,6 +653,8 @@ var searchData=
   ['getsvfgscc',['getSVFGSCC',['../classSVF_1_1DDAVFSolver.html#a1fdd7c0efa8f0506edfba2da8f2b3cc0',1,'SVF::DDAVFSolver']]],
   ['getsvfgsccrepnode',['getSVFGSCCRepNode',['../classSVF_1_1DDAVFSolver.html#a1583ed2eb1d4b88dc2a5b4c0b6842496',1,'SVF::DDAVFSolver']]],
   ['getsvfmodule',['getSVFModule',['../classSVF_1_1TCT.html#aabc2c84e951ed9ae64207e379acb3074',1,'SVF::TCT::getSVFModule()'],['../classSVF_1_1LLVMModuleSet.html#a16572a3d7639fa65c699b6c3982fa20e',1,'SVF::LLVMModuleSet::getSVFModule()']]],
+  ['getsvfstmtlist',['getSVFStmtList',['../classSVF_1_1SVFIR.html#a570ad42ad516e3fabb91a3563b618c0b',1,'SVF::SVFIR']]],
+  ['getsvfstmtset',['getSVFStmtSet',['../classSVF_1_1SVFIR.html#ae2006820c0d00482b85e7ae3adcb5744',1,'SVF::SVFIR']]],
   ['gettaskdataathareparforsite',['getTaskDataAtHareParForSite',['../classSVF_1_1ThreadAPI.html#a58cf56e35be873a5a26c5eb0d9b5c9b3',1,'SVF::ThreadAPI::getTaskDataAtHareParForSite(const Instruction *inst) const'],['../classSVF_1_1ThreadAPI.html#aee8fac6281a95d8a519add100e8887d1',1,'SVF::ThreadAPI::getTaskDataAtHareParForSite(CallSite cs) const'],['../namespaceSVF_1_1SVFUtil.html#ad3471260b66bdd7e6b790ad2a94fe7ce',1,'SVF::SVFUtil::getTaskDataAtHareParForSite(const CallSite cs)'],['../namespaceSVF_1_1SVFUtil.html#a5f3dd36ee492b60039928a86519518a5',1,'SVF::SVFUtil::getTaskDataAtHareParForSite(const Instruction *inst)']]],
   ['gettaskfuncathareparforsite',['getTaskFuncAtHareParForSite',['../classSVF_1_1ThreadAPI.html#afeedd6e518af76fa9e7142af8899b2f5',1,'SVF::ThreadAPI::getTaskFuncAtHareParForSite(const Instruction *inst) const'],['../classSVF_1_1ThreadAPI.html#a282d6aeab91135af4cab8195d67badf6',1,'SVF::ThreadAPI::getTaskFuncAtHareParForSite(CallSite cs) const'],['../namespaceSVF_1_1SVFUtil.html#ab048cbce6e4f5a3d6ff90da3565220ff',1,'SVF::SVFUtil::getTaskFuncAtHareParForSite(const CallSite cs)'],['../namespaceSVF_1_1SVFUtil.html#a111fa1ecf72adbd2e0ff27e922f0d34a',1,'SVF::SVFUtil::getTaskFuncAtHareParForSite(const Instruction *inst)']]],
   ['gettcg',['getTCG',['../classSVF_1_1LockAnalysis.html#a96a6cfddc8f7115294e8ad49a097b938',1,'SVF::LockAnalysis::getTCG()'],['../classSVF_1_1ForkJoinAnalysis.html#a8ad9b8cb0e6300b2ffc55244e53cece6',1,'SVF::ForkJoinAnalysis::getTCG()']]],
@@ -673,7 +674,7 @@ var searchData=
   ['gettotalnodenum',['getTotalNodeNum',['../classSVF_1_1GenericGraph.html#a8c8d16036008f87c7811586047599858',1,'SVF::GenericGraph']]],
   ['gettotalsymnum',['getTotalSymNum',['../classSVF_1_1SymbolTableInfo.html#a7dda4943de0ed174a1d20fcdfde6c61c',1,'SVF::SymbolTableInfo']]],
   ['gettruecond',['getTrueCond',['../classSVF_1_1PathCondAllocator.html#a1a6bde0db54c91fba7e6bac0acff664a',1,'SVF::PathCondAllocator::getTrueCond()'],['../classSVF_1_1ProgSlice.html#a50bb38398ecc422b6d10e0d77bb032c3',1,'SVF::ProgSlice::getTrueCond()'],['../classSVF_1_1BranchCondManager.html#ac6fb7493ceb44406a4bd6a62a60a6363',1,'SVF::BranchCondManager::getTrueCond()'],['../classSVF_1_1CondManager.html#ac74f182ef249a7c892ba9c630f889ddc',1,'SVF::CondManager::getTrueCond()']]],
-  ['gettype',['getType',['../classSVF_1_1SVFVar.html#adaaf24b8b6ec06476cea112533c24066',1,'SVF::SVFVar::getType()'],['../classSVF_1_1ObjPN.html#ab414eff6a3057b570109081a93fa6539',1,'SVF::ObjPN::getType()'],['../classSVF_1_1GepValPN.html#aae597b40c984a5a0226d630f7564cefb',1,'SVF::GepValPN::getType()'],['../classSVF_1_1GepObjPN.html#a685d6a3464890ba08d8d018ce2e8e3ff',1,'SVF::GepObjPN::getType()'],['../classSVF_1_1MemObj.html#aa4fa7a1b86d66692ffffeaee0e187216',1,'SVF::MemObj::getType()'],['../classSVF_1_1ObjTypeInfo.html#a706cdc47e78732853252d5a4af85653a',1,'SVF::ObjTypeInfo::getType()'],['../classSVF_1_1MSSAMU.html#a9a542febe746d1389d34e5e31a3253c9',1,'SVF::MSSAMU::getType()'],['../classSVF_1_1MSSADEF.html#a4cabef62b821efb0c88efb304fd0a70c',1,'SVF::MSSADEF::getType()'],['../classSVF_1_1SaberCheckerAPI.html#ab0cdd9671c406e8d881f0a057fe44081',1,'SVF::SaberCheckerAPI::getType()'],['../classSVF_1_1DCHNode.html#aaf4036d892bdae02a01d31bfe3db2153',1,'SVF::DCHNode::getType()'],['../classSVF_1_1CallSite.html#a9b7d53a345875e4e6c72eb23ac6475de',1,'SVF::CallSite::getType()'],['../classSVF_1_1ThreadAPI.html#a768a655dffc5fcf1d63e2a0b3f2930f4',1,'SVF::ThreadAPI::getType()'],['../classSVF_1_1TypeBasedHeapCloning.html#a219edef6c013a953ed12ee3c56bde6de',1,'SVF::TypeBasedHeapCloning::getType()']]],
+  ['gettype',['getType',['../classSVF_1_1SVFVar.html#adaaf24b8b6ec06476cea112533c24066',1,'SVF::SVFVar::getType()'],['../classSVF_1_1ObjVar.html#aa1004c9973fb974ba1e52df80978321d',1,'SVF::ObjVar::getType()'],['../classSVF_1_1GepValVar.html#a2760700f067c6a2fbc4e6e626b603bc4',1,'SVF::GepValVar::getType()'],['../classSVF_1_1GepObjPN.html#a685d6a3464890ba08d8d018ce2e8e3ff',1,'SVF::GepObjPN::getType()'],['../classSVF_1_1MemObj.html#aa4fa7a1b86d66692ffffeaee0e187216',1,'SVF::MemObj::getType()'],['../classSVF_1_1ObjTypeInfo.html#a706cdc47e78732853252d5a4af85653a',1,'SVF::ObjTypeInfo::getType()'],['../classSVF_1_1MSSAMU.html#a9a542febe746d1389d34e5e31a3253c9',1,'SVF::MSSAMU::getType()'],['../classSVF_1_1MSSADEF.html#a4cabef62b821efb0c88efb304fd0a70c',1,'SVF::MSSADEF::getType()'],['../classSVF_1_1SaberCheckerAPI.html#ab0cdd9671c406e8d881f0a057fe44081',1,'SVF::SaberCheckerAPI::getType()'],['../classSVF_1_1DCHNode.html#aaf4036d892bdae02a01d31bfe3db2153',1,'SVF::DCHNode::getType()'],['../classSVF_1_1CallSite.html#a9b7d53a345875e4e6c72eb23ac6475de',1,'SVF::CallSite::getType()'],['../classSVF_1_1ThreadAPI.html#a768a655dffc5fcf1d63e2a0b3f2930f4',1,'SVF::ThreadAPI::getType()'],['../classSVF_1_1TypeBasedHeapCloning.html#a219edef6c013a953ed12ee3c56bde6de',1,'SVF::TypeBasedHeapCloning::getType()']]],
   ['gettypedefs',['getTypedefs',['../classSVF_1_1DCHNode.html#ac77edc44c3c5acc185c27c018837d066',1,'SVF::DCHNode']]],
   ['gettypefromctirmetadata',['getTypeFromCTirMetadata',['../classSVF_1_1TypeBasedHeapCloning.html#ac4565775cced4444ba007e310c4a02d8',1,'SVF::TypeBasedHeapCloning::getTypeFromCTirMetadata()'],['../classSVF_1_1FlowSensitiveTBHC.html#a045ffbf7eea276d154be2cf883ea71f7',1,'SVF::FlowSensitiveTBHC::getTypeFromCTirMetadata()']]],
   ['gettypeofheapalloc',['getTypeOfHeapAlloc',['../namespaceSVF_1_1SVFUtil.html#a973113323e30a01fd904b35ac18d40ce',1,'SVF::SVFUtil']]],
@@ -683,8 +684,8 @@ var searchData=
   ['getunifyexit',['getUnifyExit',['../classSVF_1_1MergeFunctionRets.html#a0644ac0f560911632855d9129f3d71ca',1,'SVF::MergeFunctionRets']]],
   ['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#aa9aca34170ac4308359a4c8c3466dcd0',1,'SVF::IRGraph']]],
-  ['getvaluename',['getValueName',['../classSVF_1_1SVFVar.html#a54b2a5ed3ed21e54eaf04182f0338333',1,'SVF::SVFVar::getValueName()'],['../classSVF_1_1ValPN.html#a6894944b680cfd7a45b1582169517d54',1,'SVF::ValPN::getValueName()'],['../classSVF_1_1ObjPN.html#a7500f73cb499a5aa0d828075b179b709',1,'SVF::ObjPN::getValueName()'],['../classSVF_1_1GepValPN.html#a2ca8cf54bf67f76db2acd05cf7dcf1d1',1,'SVF::GepValPN::getValueName()'],['../classSVF_1_1GepObjPN.html#a498b7ee3cf8d26fa18062f2bae0749c5',1,'SVF::GepObjPN::getValueName()'],['../classSVF_1_1FIObjPN.html#ae5c2e49f3fa0511b7fa00de2a682f0e1',1,'SVF::FIObjPN::getValueName()'],['../classSVF_1_1RetPN.html#a48c099d2b441b4cc298166e2c5866c8f',1,'SVF::RetPN::getValueName()'],['../classSVF_1_1VarArgPN.html#aec7ac87f5fff58b24daea998aaf0cc2a',1,'SVF::VarArgPN::getValueName()'],['../classSVF_1_1DummyValPN.html#ad43ed5282ca6f6cf546e60c37be968c9',1,'SVF::DummyValPN::getValueName()'],['../classSVF_1_1DummyObjPN.html#a3b3dabed91ed32ee99835324108061c7',1,'SVF::DummyObjPN::getValueName()'],['../classSVF_1_1CloneDummyObjPN.html#a2239f9e2aaa61bed50d0c33d3ad8e0ea',1,'SVF::CloneDummyObjPN::getValueName()'],['../classSVF_1_1CloneGepObjPN.html#ae6640a10e3fc58b057ed94f1d4c774ba',1,'SVF::CloneGepObjPN::getValueName()'],['../classSVF_1_1CloneFIObjPN.html#a604e88030c2c32408f4fd99a69b97e6b',1,'SVF::CloneFIObjPN::getValueName()']]],
+  ['getvalueedges',['getValueEdges',['../classSVF_1_1IRGraph.html#a7710f6795d971d7a8b5683835c4c0fb8',1,'SVF::IRGraph']]],
+  ['getvaluename',['getValueName',['../classSVF_1_1SVFVar.html#a54b2a5ed3ed21e54eaf04182f0338333',1,'SVF::SVFVar::getValueName()'],['../classSVF_1_1ValVar.html#aeaccfd3bf5f968ad12d7e1a2426e5faa',1,'SVF::ValVar::getValueName()'],['../classSVF_1_1ObjVar.html#ac1609e2e3b6843c6f7992e425771fce3',1,'SVF::ObjVar::getValueName()'],['../classSVF_1_1GepValVar.html#ae89482e674768298f49e51df4ebe63e3',1,'SVF::GepValVar::getValueName()'],['../classSVF_1_1GepObjPN.html#a498b7ee3cf8d26fa18062f2bae0749c5',1,'SVF::GepObjPN::getValueName()'],['../classSVF_1_1FIObjVar.html#a330b28f8488de9e186bedf73e5576a08',1,'SVF::FIObjVar::getValueName()'],['../classSVF_1_1RetPN.html#a48c099d2b441b4cc298166e2c5866c8f',1,'SVF::RetPN::getValueName()'],['../classSVF_1_1VarArgPN.html#aec7ac87f5fff58b24daea998aaf0cc2a',1,'SVF::VarArgPN::getValueName()'],['../classSVF_1_1DummyValVar.html#a188ddcb95f842245fb97362ff8a06efd',1,'SVF::DummyValVar::getValueName()'],['../classSVF_1_1DummyObjVar.html#aec23bc498cf78ed065565681e14dd2dd',1,'SVF::DummyObjVar::getValueName()'],['../classSVF_1_1CloneDummyObjVar.html#a2ddf5e4067c537a7dfd9bf74f7195931',1,'SVF::CloneDummyObjVar::getValueName()'],['../classSVF_1_1CloneGepObjVar.html#a9d4cf31155950c889b5965566ab3d45e',1,'SVF::CloneGepObjVar::getValueName()'],['../classSVF_1_1CloneFIObjVar.html#abac4095a6a60c321caa40f837a752803',1,'SVF::CloneFIObjVar::getValueName()']]],
   ['getvaluenode',['getValueNode',['../classSVF_1_1ConstraintGraph.html#a00242eb1c1204abf1f5eb0cae759a38c',1,'SVF::ConstraintGraph::getValueNode()'],['../classSVF_1_1IRGraph.html#abffddd41cc308b9b3bd5ad4a7f8f1624',1,'SVF::IRGraph::getValueNode()'],['../classSVF_1_1SVFIRBuilder.html#acc69fc638380f34164db649d9bf2a7d6',1,'SVF::SVFIRBuilder::getValueNode()']]],
   ['getvaluenodenum',['getValueNodeNum',['../classSVF_1_1IRGraph.html#a4c8ef6e30a33ecbdc4024e201237ae22',1,'SVF::IRGraph']]],
   ['getvarargnode',['getVarargNode',['../classSVF_1_1ConstraintGraph.html#a527342ce5ac3b9491d7ad4302145cec5',1,'SVF::ConstraintGraph::getVarargNode()'],['../classSVF_1_1IRGraph.html#a8b10c318674a47035d617b3ade4f069b',1,'SVF::IRGraph::getVarargNode()'],['../classSVF_1_1SVFIRBuilder.html#a3fe99644b2bf5f0f9b2b21a56a400ad4',1,'SVF::SVFIRBuilder::getVarargNode()']]],
@@ -730,9 +731,9 @@ var searchData=
   ['globalvariable',['GlobalVariable',['../namespaceSVF.html#a09f5fa3bc44bf53612a085e3a611cc4e',1,'SVF']]],
   ['globalvfgnodes',['globalVFGNodes',['../classSVF_1_1VFG.html#a6c3daf2777cc5f76ce07241f803720f3',1,'SVF::VFG']]],
   ['globalvfgnodeset',['GlobalVFGNodeSet',['../classSVF_1_1VFG.html#a113185086912213257b04daa4590bf13',1,'SVF::VFG']]],
-  ['globpagedgesset',['globPAGEdgesSet',['../classSVF_1_1SVFIR.html#a633fb7a85c90f9b766689b8d2fdf3bac',1,'SVF::SVFIR']]],
   ['globs',['globs',['../classSVF_1_1SaberSVFGBuilder.html#a967dba864a6032e448222525aedb1f2a',1,'SVF::SaberSVFGBuilder']]],
   ['globsvfgnodes',['globSVFGNodes',['../classSVF_1_1SaberSVFGBuilder.html#a9431a9dcbcf88b78e721b0347046e997',1,'SVF::SaberSVFGBuilder']]],
+  ['globsvfstmtset',['globSVFStmtSet',['../classSVF_1_1SVFIR.html#a71b51492b00e66e36266b9a76a842323',1,'SVF::SVFIR']]],
   ['globvar_5fobj',['GLOBVAR_OBJ',['../classSVF_1_1ObjTypeInfo.html#a91b41b7ade5871362b77a2ef566b2830ad2ba0edfac1460f3fd89e7a6c4c4691b',1,'SVF::ObjTypeInfo']]],
   ['gnode',['GNODE',['../classSVF_1_1CFLSolver.html#a7a180d7878fc7b4c055fa72298398127',1,'SVF::CFLSolver::GNODE()'],['../classSVF_1_1SCCDetection.html#a7d7b354d8a7ce69b27dc775ccd192a62',1,'SVF::SCCDetection::GNODE()'],['../classSVF_1_1WPASCCSolver.html#aa40ff9a4090744e66034f9de38f7f45f',1,'SVF::WPASCCSolver::GNODE()'],['../classSVF_1_1WPAMinimumSolver.html#ab694f375b6b15991bc6a7c228db3242b',1,'SVF::WPAMinimumSolver::GNODE()'],['../classSVF_1_1WPASolver.html#a2b0c0c4d1f172e8eeae0230fa09f365e',1,'SVF::WPASolver::GNODE()']]],
   ['gnodek',['GNodeK',['../classSVF_1_1GenericNode.html#a363b90ab02cce2ebc3ede8e5b7cc141c',1,'SVF::GenericNode::GNodeK()'],['../classSVF_1_1SVFValue.html#a7e98da47d88c46dfd2c7124c43f6a885',1,'SVF::SVFValue::GNodeK()']]],

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

@@ -127,11 +127,10 @@ var searchData=
   ['hasonecxtinlockspan',['hasOneCxtInLockSpan',['../classSVF_1_1LockAnalysis.html#a86f06a790cf90ec897b896a79956e5b4',1,'SVF::LockAnalysis']]],
   ['hasoutgoingedge',['hasOutgoingEdge',['../classSVF_1_1GenericNode.html#a0931220d7a38e03f206cbdc6465d32ad',1,'SVF::GenericNode::hasOutgoingEdge() const'],['../classSVF_1_1GenericNode.html#aa0c40cb708b39300b3cb7354194e4993',1,'SVF::GenericNode::hasOutgoingEdge(EdgeType *edge) const'],['../classSVF_1_1VFPathCond.html#a86e063928329b21cce0a319efac56fb9',1,'SVF::VFPathCond::hasOutgoingEdge()']]],
   ['hasoutgoingedges',['hasOutgoingEdges',['../classSVF_1_1SVFVar.html#a9b00f9b5f8ad2422162f4396e2d8fa42',1,'SVF::SVFVar']]],
-  ['haspagedgelist',['hasPAGEdgeList',['../classSVF_1_1SVFIR.html#ade4dc34350ab7d5e05295dfdd5d019c6',1,'SVF::SVFIR::hasPAGEdgeList()'],['../classSVF_1_1MRGenerator.html#a8832a53d8f6a5eb0a07551ca19c5513d',1,'SVF::MRGenerator::hasPAGEdgeList()']]],
   ['hasparentthread',['hasParentThread',['../classSVF_1_1TCT.html#a6855a3a8a98591e58dba07047f7705ce',1,'SVF::TCT']]],
   ['hasphiset',['hasPHISet',['../classSVF_1_1MemSSA.html#a552bb17f0435e012b7393fb641c19298',1,'SVF::MemSSA']]],
   ['haspointsto',['hasPointsTo',['../classSVF_1_1CondPointsToSet.html#ab1d20dfe6f243f7a09a8e2face097cc0',1,'SVF::CondPointsToSet']]],
-  ['hasptapagedgelist',['hasPTAPAGEdgeList',['../classSVF_1_1SVFIR.html#a90f8da69c50f9aa82366ca9b88eb5027',1,'SVF::SVFIR']]],
+  ['hasptasvfstmtlist',['hasPTASVFStmtList',['../classSVF_1_1SVFIR.html#a0552d565633ee22abe03085134a871c0',1,'SVF::SVFIR']]],
   ['hasptr_5fobj',['HASPTR_OBJ',['../classSVF_1_1ObjTypeInfo.html#a91b41b7ade5871362b77a2ef566b2830ad17b2a35fb492561c4011dbe3880c6c9',1,'SVF::ObjTypeInfo']]],
   ['hasptrobj',['hasPtrObj',['../classSVF_1_1MemObj.html#a6dae1b3429c6049f0153ec006d329082',1,'SVF::MemObj::hasPtrObj()'],['../classSVF_1_1ObjTypeInfo.html#ac5bae1e7917f415193a805e8d2e29320',1,'SVF::ObjTypeInfo::hasPtrObj()']]],
   ['hasptsmap',['hasPtsMap',['../classSVF_1_1CondPTAImpl.html#a597e9c4e76f358c36d4b820c4d69ebc6',1,'SVF::CondPTAImpl']]],
@@ -143,6 +142,7 @@ var searchData=
   ['hassbsourceflag',['hasSBSourceFlag',['../classSVF_1_1Annotator.html#a3fb284999931900d92e60104980648ef',1,'SVF::Annotator']]],
   ['hasspanfromcxtlock',['hasSpanfromCxtLock',['../classSVF_1_1LockAnalysis.html#af8ada4a73bf132e1adeef7aa0522f596',1,'SVF::LockAnalysis']]],
   ['hassvfgnode',['hasSVFGNode',['../classSVF_1_1SVFG.html#a1b9d1ad76785ae0eb07979aa75325640',1,'SVF::SVFG']]],
+  ['hassvfstmtlist',['hasSVFStmtList',['../classSVF_1_1SVFIR.html#a63acb4d86d93ad1e88860ac839a8c654',1,'SVF::SVFIR::hasSVFStmtList()'],['../classSVF_1_1MRGenerator.html#a6f631290f3da7c308395eb6a9472d7a5',1,'SVF::MRGenerator::hasSVFStmtList()']]],
   ['hastctnode',['hasTCTNode',['../classSVF_1_1TCT.html#a5d5a753b4d2633e3aaf58859274ffe7a',1,'SVF::TCT']]],
   ['hasthreadforkedge',['hasThreadForkEdge',['../classSVF_1_1ThreadCallGraph.html#ac528526e77b995de0cd5e718503f42ed',1,'SVF::ThreadCallGraph']]],
   ['hasthreadicfgedge',['hasThreadICFGEdge',['../classSVF_1_1ICFG.html#a29fb70d6638765ce291c5a8a11fbea64',1,'SVF::ICFG']]],

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

@@ -14,6 +14,8 @@ var searchData=
   ['icfgedgesetty',['ICFGEdgeSetTy',['../classSVF_1_1ICFG.html#a20ea3e37e9c3c7d3138ff593041a8e47',1,'SVF::ICFG::ICFGEdgeSetTy()'],['../classSVF_1_1ICFGEdge.html#a3da5a0bad1b4c08803f1f06393649f96',1,'SVF::ICFGEdge::ICFGEdgeSetTy()']]],
   ['icfgnode',['ICFGNode',['../classSVF_1_1ICFGNode.html',1,'SVF::ICFGNode'],['../classSVF_1_1ICFGNode.html#ae6fe836e269ac36f14b2d2b1499a11e6',1,'SVF::ICFGNode::ICFGNode()'],['../classSVF_1_1VFGNode.html#a54c631f1e39be144c0cd25373f6b98b8',1,'SVF::VFGNode::icfgNode()'],['../classSVF_1_1SVFStmt.html#a50046a1500ec6e2819ef55162e70cc71',1,'SVF::SVFStmt::icfgNode()']]],
   ['icfgnode_2eh',['ICFGNode.h',['../ICFGNode_8h.html',1,'']]],
+  ['icfgnode2ptasvfstmtsmap',['icfgNode2PTASVFStmtsMap',['../classSVF_1_1SVFIR.html#aaae756185bbd5b7175e96f8928a989c2',1,'SVF::SVFIR']]],
+  ['icfgnode2svfstmtsmap',['ICFGNode2SVFStmtsMap',['../classSVF_1_1SVFIR.html#a4666dabcbeb3f40f96a0694ce2f07eb0',1,'SVF::SVFIR::ICFGNode2SVFStmtsMap()'],['../classSVF_1_1SVFIR.html#a86c0c23d854b034d741d9d8891debab7',1,'SVF::SVFIR::icfgNode2SVFStmtsMap()']]],
   ['icfgnodeidtonodemapty',['ICFGNodeIDToNodeMapTy',['../classSVF_1_1ICFG.html#af1fe5708c6f67fd87fa1edaa6c73ff5d',1,'SVF::ICFG']]],
   ['icfgnodek',['ICFGNodeK',['../classSVF_1_1ICFGNode.html#a74f598c1c86b023680bb2685aa8ab376',1,'SVF::ICFGNode']]],
   ['icfgnodeset',['ICFGNodeSet',['../classSVF_1_1ICFGStat.html#a69670ae14f5ec47728e2ddc7dd4dec84',1,'SVF::ICFGStat']]],
@@ -69,7 +71,7 @@ var searchData=
   ['indvfedgestart',['indVFEdgeStart',['../classSVF_1_1SVFGStat.html#adcb30427bb220dc122ad22030e10eb21',1,'SVF::SVFGStat']]],
   ['inedgebegin',['InEdgeBegin',['../classSVF_1_1GenericNode.html#ae5b113921530eee6afe58a65d8e5b3a7',1,'SVF::GenericNode::InEdgeBegin()'],['../classSVF_1_1GenericNode.html#a7c0ff80b1c0ae8b76fc620f21495ca39',1,'SVF::GenericNode::InEdgeBegin() const']]],
   ['inedgeend',['InEdgeEnd',['../classSVF_1_1GenericNode.html#afe6a7b286d9af4992f41b59612fd2900',1,'SVF::GenericNode::InEdgeEnd()'],['../classSVF_1_1GenericNode.html#a0118fbeb2b314dcdcb53c56a2a13ab07',1,'SVF::GenericNode::InEdgeEnd() const']]],
-  ['inedgekindtosetmap',['InEdgeKindToSetMap',['../classSVF_1_1SVFVar.html#a49fd453200fcf98b4e13e3f630774401',1,'SVF::SVFVar']]],
+  ['inedgekindtosetmap',['InEdgeKindToSetMap',['../classSVF_1_1SVFVar.html#a0d918a6c8dd3b7b395d4c7161bcf9656',1,'SVF::SVFVar']]],
   ['inedges',['InEdges',['../classSVF_1_1GenericNode.html#a24971168130222400d9aa5f03610bff5',1,'SVF::GenericNode']]],
   ['inferfromcallgraph',['inferFromCallGraph',['../classSVF_1_1PCG.html#adff1702e1b0a902de7ded742846fe137',1,'SVF::PCG']]],
   ['infilter',['inFilter',['../classSVF_1_1LockResultValidator.html#a445dbda778198acac87fbbfa029b0dfb',1,'SVF::LockResultValidator']]],
@@ -105,10 +107,8 @@ var searchData=
   ['insertkey',['insertKey',['../namespaceSVF_1_1SVFUtil.html#aeecfaf26800dcebf0b079395126bc7f7',1,'SVF::SVFUtil::insertKey(const Key &key, KeySet &keySet)'],['../namespaceSVF_1_1SVFUtil.html#a4f75b8313eb2b1e5a4c798a01cb99471',1,'SVF::SVFUtil::insertKey(const NodeID &key, NodeBS &keySet)']]],
   ['insertphi',['insertPHI',['../classSVF_1_1MemSSA.html#acc6f72d96cf29e36093ba08ea86b8983',1,'SVF::MemSSA']]],
   ['insertvalueinst',['InsertValueInst',['../namespaceSVF.html#a485b10fc29e76fdb6f31a56ebbde8f24',1,'SVF']]],
-  ['inst',['inst',['../classSVF_1_1IntraBlockNode.html#a2381ce8fea9eb3213bd2f2d00db0086d',1,'SVF::IntraBlockNode::inst()'],['../classSVF_1_1CallPE.html#a86b76d7390dc0f650ec2428c394bf41a',1,'SVF::CallPE::inst()'],['../classSVF_1_1RetPE.html#ad78a287bde15c03eec8d633d363e2ed2',1,'SVF::RetPE::inst()'],['../classSVF_1_1LoadMU.html#aea021fa025a51b1ee663ea3a6dfbae2a',1,'SVF::LoadMU::inst()'],['../classSVF_1_1StoreCHI.html#a787017e8aab6f713a409cdec76549293',1,'SVF::StoreCHI::inst()'],['../classSVF_1_1CxtStmt.html#a237b8738885e57d5a9b984221f611567',1,'SVF::CxtStmt::inst()']]],
+  ['inst',['inst',['../classSVF_1_1IntraBlockNode.html#a2381ce8fea9eb3213bd2f2d00db0086d',1,'SVF::IntraBlockNode::inst()'],['../classSVF_1_1CallPE.html#a86b76d7390dc0f650ec2428c394bf41a',1,'SVF::CallPE::inst()'],['../classSVF_1_1RetPE.html#ad78a287bde15c03eec8d633d363e2ed2',1,'SVF::RetPE::inst()'],['../classSVF_1_1LoadMU.html#a7bbac3ff5455aa1340f348c7cb239c46',1,'SVF::LoadMU::inst()'],['../classSVF_1_1StoreCHI.html#a6e58e7cde1f417ec3feaef98f6f74be2',1,'SVF::StoreCHI::inst()'],['../classSVF_1_1CxtStmt.html#a237b8738885e57d5a9b984221f611567',1,'SVF::CxtStmt::inst()']]],
   ['inst2labelmap',['inst2LabelMap',['../classSVF_1_1SVFStmt.html#abb83549118bcd7216a053d82f7180d1c',1,'SVF::SVFStmt::inst2LabelMap()'],['../classSVF_1_1SVFStmt.html#a5a3db6b1335b4adc55b961a6f480f228',1,'SVF::SVFStmt::Inst2LabelMap()']]],
-  ['inst2pagedgesmap',['inst2PAGEdgesMap',['../classSVF_1_1SVFIR.html#a711d8a047ab8db4fdcac9d53aadf561c',1,'SVF::SVFIR::inst2PAGEdgesMap()'],['../classSVF_1_1SVFIR.html#a945fd37adc7071bd71d7aff65445544e',1,'SVF::SVFIR::Inst2PAGEdgesMap()']]],
-  ['inst2ptapagedgesmap',['inst2PTAPAGEdgesMap',['../classSVF_1_1SVFIR.html#a38366ab3152ad7f6fd649805f7b08d6b',1,'SVF::SVFIR']]],
   ['inst_5fiterator',['inst_iterator',['../namespaceSVF.html#a255af6ff30782cb9a548feadb0fe7d6b',1,'SVF']]],
   ['instance',['INSTANCE',['../classSVF_1_1DCHEdge.html#a9ab4cd83d9ee475d3d8445cd91839726a3e807b4caeb170c5cd1e855ac1a92d77',1,'SVF::DCHEdge']]],
   ['instantce',['INSTANTCE',['../classSVF_1_1CHEdge.html#a26280c3b724551036f7e3ba2b5922676a8721eaefd547d6ba5229463d644815f4',1,'SVF::CHEdge']]],

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

@@ -15,6 +15,9 @@ var searchData=
   ['kgrn',['KGRN',['../SVFUtil_8cpp.html#ac081c83b067273757f7a2e54a5957d41',1,'SVFUtil.cpp']]],
   ['kids',['kids',['../structDdNode.html#a4e99abf685381a90dcd5e9aa6a024791',1,'DdNode']]],
   ['kind',['kind',['../classSVF_1_1CommonCHGraph.html#a4d3f2b9ed7ae8e87baf69525e9115071',1,'SVF::CommonCHGraph::kind()'],['../classSVF_1_1PTACallGraph.html#a6a5927a58cc777a0745bd0ca635f25b1',1,'SVF::PTACallGraph::kind()'],['../classSVF_1_1VFG.html#a3867c591a231bad0aa2e6ab7c095a42f',1,'SVF::VFG::kind()'],['../classSVF_1_1SVFValue.html#af9f71a3c0d055f5fed6831a6ecf40d67',1,'SVF::SVFValue::kind()']]],
+  ['kindtoptasvfstmtsetmap',['KindToPTASVFStmtSetMap',['../classSVF_1_1IRGraph.html#ae0a9b81717fd834bbd109c4b69aaff9d',1,'SVF::IRGraph']]],
+  ['kindtosvfstmtmapty',['KindToSVFStmtMapTy',['../classSVF_1_1SVFStmt.html#a93fc6c4c991931c78c48500c2db50f66',1,'SVF::SVFStmt']]],
+  ['kindtosvfstmtsetmap',['KindToSVFStmtSetMap',['../classSVF_1_1IRGraph.html#a3db2c4e2823f16d78c86596da284acd1',1,'SVF::IRGraph']]],
   ['knrm',['KNRM',['../SVFUtil_8cpp.html#a137aa83ec74421d226a90c92ec032ac9',1,'SVFUtil.cpp']]],
   ['kpur',['KPUR',['../SVFUtil_8cpp.html#a326cbc9ef8d75aa44a591bf476c9835b',1,'SVFUtil.cpp']]],
   ['kred',['KRED',['../SVFUtil_8cpp.html#a66290957baed5df3930ada4cb8caccf1',1,'SVFUtil.cpp']]],