svf-tools 1.0.321 → 1.0.325

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

@@ -10,9 +10,9 @@ var searchData=
   ['gepcgedge',['GepCGEdge',['../classSVF_1_1GepCGEdge.html#a17660f0d48006b9ee1d095218c5ab4a0',1,'SVF::GepCGEdge::GepCGEdge()'],['../classSVF_1_1GepCGEdge.html#ac80df552aa58bb5d285f35bc246dde1b',1,'SVF::GepCGEdge::GepCGEdge(const GepCGEdge &)'],['../classSVF_1_1GepCGEdge.html#a7c60fffa69c2d029d7808e046c9adce4',1,'SVF::GepCGEdge::GepCGEdge(ConstraintNode *s, ConstraintNode *d, ConstraintEdgeK k, EdgeID id)']]],
   ['gepisload',['gepIsLoad',['../classSVF_1_1FlowSensitiveTBHC.html#ad5b294dacf51a89306df9a22c6799bad',1,'SVF::FlowSensitiveTBHC']]],
   ['gepobjpn',['GepObjPN',['../classSVF_1_1GepObjPN.html#aadf56cdc45296514f142306e2556dcc1',1,'SVF::GepObjPN']]],
-  ['geppe',['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)']]],
-  ['gepvalpn',['GepValPN',['../classSVF_1_1GepValPN.html#a02df9e70d4daf4eefaa63b0d26cd06ce',1,'SVF::GepValPN']]],
-  ['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#af918342cc39f2e4a91f5bc2d8b028a5d',1,'SVF::GepVFGNode::GepVFGNode(NodeID id, const GepPE *edge)']]],
+  ['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#a6ace22baaf73db3302ff2b8ad4285bb6',1,'SVF::GepStmt::GepStmt(SVFVar *s, SVFVar *d, PEDGEK k)']]],
+  ['gepvalvar',['GepValVar',['../classSVF_1_1GepValVar.html#a9bad2709e0d82d2d4a8578cc57bdf9f5',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']]],
   ['get_5fcond',['get_cond',['../classSVF_1_1CondVar.html#af84e7bfcff909009be5e109c600c63fe',1,'SVF::CondVar']]],
@@ -34,7 +34,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()']]],
@@ -47,10 +47,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']]],
@@ -96,7 +96,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']]],
@@ -120,7 +120,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']]],
@@ -204,15 +204,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']]],
   ['getelementset',['getElementSet',['../classSVF_1_1CondStdSet.html#a29892f43cc8420d4d2b4046140476320',1,'SVF::CondStdSet']]],
@@ -229,7 +228,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']]],
@@ -242,7 +241,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()']]],
@@ -261,7 +260,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()']]],
@@ -286,15 +285,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']]],
@@ -308,9 +307,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']]],
@@ -323,8 +322,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']]],
@@ -360,14 +357,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']]],
@@ -386,7 +383,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()']]],
@@ -412,7 +409,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()']]],
@@ -440,7 +437,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']]],
@@ -449,13 +446,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()']]],
@@ -471,9 +468,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()']]],
@@ -482,9 +479,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']]],
@@ -503,6 +500,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']]],
@@ -512,8 +510,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']]],
@@ -532,8 +531,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()']]],
@@ -564,8 +563,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()']]],
@@ -575,8 +574,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']]],
@@ -598,6 +597,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()']]],
@@ -617,7 +618,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']]],
@@ -627,8 +628,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()']]],

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

@@ -99,11 +99,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']]],
   ['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']]],
   ['hasref',['hasRef',['../classSVF_1_1OfflineConsG.html#a576cfa438bb109b7e451b410cd3a8569',1,'SVF::OfflineConsG']]],
@@ -114,6 +113,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/functions_a.js

@@ -9,9 +9,9 @@ var searchData=
   ['llvmmoduleset',['LLVMModuleSet',['../classSVF_1_1LLVMModuleSet.html#a8e70de9eefe2e188b10e214e073750e6',1,'SVF::LLVMModuleSet']]],
   ['loadcgedge',['LoadCGEdge',['../classSVF_1_1LoadCGEdge.html#a74ccf27a1e90fb8f47e9cecf7bd38cf7',1,'SVF::LoadCGEdge::LoadCGEdge()'],['../classSVF_1_1LoadCGEdge.html#a7dd1e2dd057e0985fd837222f8042019',1,'SVF::LoadCGEdge::LoadCGEdge(const LoadCGEdge &)'],['../classSVF_1_1LoadCGEdge.html#a36a21551732bbe3f7ff4babc0804bff2',1,'SVF::LoadCGEdge::LoadCGEdge(ConstraintNode *s, ConstraintNode *d, EdgeID id)']]],
   ['loadmodules',['loadModules',['../classSVF_1_1LLVMModuleSet.html#a298966366b02d0a34f409c2c77da3789',1,'SVF::LLVMModuleSet']]],
-  ['loadmu',['LoadMU',['../classSVF_1_1LoadMU.html#a2288f957cbd10892eb6f3a4d3d0e39ee',1,'SVF::LoadMU']]],
-  ['loadpe',['LoadPE',['../classSVF_1_1LoadPE.html#a1d0bc42c2bb9d19e2427d17f1627f9eb',1,'SVF::LoadPE::LoadPE()'],['../classSVF_1_1LoadPE.html#ade066a690dbf51edbe6b9585e02ddd42',1,'SVF::LoadPE::LoadPE(const LoadPE &)'],['../classSVF_1_1LoadPE.html#ab3333d9c3abf4b74ac3fb7906890f141',1,'SVF::LoadPE::LoadPE(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#a2e705c9f25182b990d3b7fb5fc825237',1,'SVF::LoadVFGNode::LoadVFGNode(NodeID id, const LoadPE *edge)']]],
+  ['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#ac07e93a10d3f981c2ef6fcc507118182',1,'SVF::LocationSet::LocationSet(Size_t o=0)'],['../classSVF_1_1LocationSet.html#a290c7fe38704552fd66ad06e5deeaca9',1,'SVF::LocationSet::LocationSet(const LocationSet &ls)'],['../classSVF_1_1LocationSet.html#afd3b135453644cd42e869d378c270d23',1,'SVF::LocationSet::LocationSet(const FieldInfo &fi)']]],
   ['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_c.js

@@ -13,7 +13,7 @@ var searchData=
   ['nodes_5fbegin',['nodes_begin',['../structllvm_1_1GraphTraits_3_01SVF_1_1GenericGraph_3_01NodeTy_00_01EdgeTy_01_4_01_5_4.html#ae71d73a9d9d6f11f96aed422757c00c3',1,'llvm::GraphTraits< SVF::GenericGraph< NodeTy, EdgeTy > *>']]],
   ['nodes_5fend',['nodes_end',['../structllvm_1_1GraphTraits_3_01SVF_1_1GenericGraph_3_01NodeTy_00_01EdgeTy_01_4_01_5_4.html#a8397bafa216b209b6bd2bcb20fec4322',1,'llvm::GraphTraits< SVF::GenericGraph< NodeTy, EdgeTy > *>']]],
   ['normalgepcgedge',['NormalGepCGEdge',['../classSVF_1_1NormalGepCGEdge.html#a511d6bd2061e0ca441fc80abbf6075f7',1,'SVF::NormalGepCGEdge::NormalGepCGEdge()'],['../classSVF_1_1NormalGepCGEdge.html#a5d81c538e3747a7b760a80129581c49f',1,'SVF::NormalGepCGEdge::NormalGepCGEdge(const NormalGepCGEdge &)'],['../classSVF_1_1NormalGepCGEdge.html#a4f5b8c292822670d2fea3d532cae5257',1,'SVF::NormalGepCGEdge::NormalGepCGEdge(ConstraintNode *s, ConstraintNode *d, const LocationSet &l, EdgeID id)']]],
-  ['normalgeppe',['NormalGepPE',['../classSVF_1_1NormalGepPE.html#af5df28b9937418a6551235895312d0bd',1,'SVF::NormalGepPE::NormalGepPE()'],['../classSVF_1_1NormalGepPE.html#ab0bdab7d9e03eeb6167e4fb46d37af82',1,'SVF::NormalGepPE::NormalGepPE(const NormalGepPE &)'],['../classSVF_1_1NormalGepPE.html#ae98d288b9e6467cc6c153d765303e40f',1,'SVF::NormalGepPE::NormalGepPE(SVFVar *s, SVFVar *d, const LocationSet &l)']]],
+  ['normalgepstmt',['NormalGepStmt',['../classSVF_1_1NormalGepStmt.html#a6769f3460e31e3f91921bee6156e144c',1,'SVF::NormalGepStmt::NormalGepStmt()'],['../classSVF_1_1NormalGepStmt.html#ab4c485476611b3ff1fe92b35b408d371',1,'SVF::NormalGepStmt::NormalGepStmt(const NormalGepStmt &)'],['../classSVF_1_1NormalGepStmt.html#a5c0e04f4ee0574e0e4a82c8070b33206',1,'SVF::NormalGepStmt::NormalGepStmt(SVFVar *s, SVFVar *d, const LocationSet &l)']]],
   ['normalizepointsto',['normalizePointsTo',['../classSVF_1_1BVDataPTAImpl.html#a2026cffd7043208333083ed1a6603e7b',1,'SVF::BVDataPTAImpl::normalizePointsTo()'],['../classSVF_1_1CondPTAImpl.html#aa945d068c8935fc6926833fdf102e21c',1,'SVF::CondPTAImpl::normalizePointsTo()'],['../classSVF_1_1AndersenBase.html#af37392229dab0a1f2f807a12186c3b39',1,'SVF::AndersenBase::normalizePointsTo()']]],
   ['nullptrsymid',['nullPtrSymID',['../classSVF_1_1SymbolTableInfo.html#adaed6e68c2f53260ed4c4fc38b5c4721',1,'SVF::SymbolTableInfo']]],
   ['nullptrvfgnode',['NullPtrVFGNode',['../classSVF_1_1NullPtrVFGNode.html#a5bbcd7ba5ac40efefbd1ef99bea86639',1,'SVF::NullPtrVFGNode']]],

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

@@ -1,8 +1,8 @@
 var searchData=
 [
-  ['objpn',['ObjPN',['../classSVF_1_1ObjPN.html#a3a326b64a747a2185978826a711736c3',1,'SVF::ObjPN']]],
   ['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)']]],
+  ['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']]],
   ['oobresetvisited',['OOBResetVisited',['../classSVF_1_1DDAVFSolver.html#ab60c701f1881d88aa4440991fb972638',1,'SVF::DDAVFSolver']]],
@@ -19,7 +19,7 @@ var searchData=
   ['operator_2d_3e',['operator->',['../classllvm_1_1generic__bridge__gep__type__iterator.html#a7407c9a10bc872bcf03a2a4e67c2c188',1,'llvm::generic_bridge_gep_type_iterator']]],
   ['operator_3c',['operator<',['../classSVF_1_1CondVar.html#add10a9d6f6a49cbd5dd0f5d47c423d27',1,'SVF::CondVar::operator<()'],['../classSVF_1_1CondStdSet.html#ad3c38bb031419dd583a9cb0314e76afd',1,'SVF::CondStdSet::operator<()'],['../classSVF_1_1CondPointsToSet.html#a54d9d3f3a38bf4066cd930845f86a63c',1,'SVF::CondPointsToSet::operator<()'],['../classSVF_1_1LocationSet.html#a7325b652e80625329406d8155ae8d403',1,'SVF::LocationSet::operator<()'],['../classSVF_1_1MSSAMU.html#a838a4a7cd670eef1153701aef9871bcf',1,'SVF::MSSAMU::operator<()'],['../classSVF_1_1MSSADEF.html#ad24da3516c198ade16c6909c5222fd0f',1,'SVF::MSSADEF::operator<()'],['../classSVF_1_1SVFGNodeLockSpan.html#a6640840300cf03186ceb7a2dbc75e875',1,'SVF::SVFGNodeLockSpan::operator<()'],['../classSVF_1_1PTASCEV.html#ad85500e4caaa70ecacfdf5fbbbcc330e',1,'SVF::PTASCEV::operator<()'],['../classSVF_1_1CallSite.html#ab09ca7986f5b924b6c6b57e492f06c07',1,'SVF::CallSite::operator<()'],['../classSVF_1_1CxtStmt.html#a8492998e88e895945845f5c666e86888',1,'SVF::CxtStmt::operator<()'],['../classSVF_1_1CxtThreadStmt.html#affaa3bf793e1127a8333b6683ebb3fdd',1,'SVF::CxtThreadStmt::operator<()'],['../classSVF_1_1CxtThread.html#a60b5b1a47869964fc8b6a27a38d11ae8',1,'SVF::CxtThread::operator<()'],['../classSVF_1_1CxtProc.html#ab58a8dc44944ac2ab3280562a8306e7b',1,'SVF::CxtProc::operator<()'],['../classSVF_1_1CxtThreadProc.html#a4b8e4f182a34d078595ce0eb9ec94c6d',1,'SVF::CxtThreadProc::operator<()'],['../classSVF_1_1DPItem.html#a639c757076141a14bedc26c73f875ffe',1,'SVF::DPItem::operator<()'],['../classSVF_1_1StmtDPItem.html#af92976dc7a8785165cefb047e742cdf6',1,'SVF::StmtDPItem::operator<()'],['../classSVF_1_1ContextCond.html#a53e0a8ac864e15edf0de827bdbb4eb01',1,'SVF::ContextCond::operator<()'],['../classSVF_1_1CxtStmtDPItem.html#a307f95b6f22e0231a2da7b14a2db07cf',1,'SVF::CxtStmtDPItem::operator<()'],['../classSVF_1_1CxtDPItem.html#aa2841c6ef632e747357ebcde0118ec49',1,'SVF::CxtDPItem::operator<()'],['../classSVF_1_1VFPathCond.html#adfec3fe0885067b6bd4455d9c12609b5',1,'SVF::VFPathCond::operator<()'],['../classSVF_1_1PathStmtDPItem.html#a8df1b3200bf3385aeb793966ff51ee75',1,'SVF::PathStmtDPItem::operator<()']]],
   ['operator_3c_3c',['operator<<',['../namespaceSVF.html#ac5a03512613828c2fab8930f38c2d485',1,'SVF']]],
-  ['operator_3d',['operator=',['../classSVF_1_1AddrCGEdge.html#a7f2959e08f010e5c30dcb76c6fbf6732',1,'SVF::AddrCGEdge::operator=()'],['../classSVF_1_1CopyCGEdge.html#a50348854a99591726e769078a8d2f703',1,'SVF::CopyCGEdge::operator=()'],['../classSVF_1_1StoreCGEdge.html#a51869681f10566da74de3fb461c7a7e0',1,'SVF::StoreCGEdge::operator=()'],['../classSVF_1_1LoadCGEdge.html#a079925b497671bd5ef60aae5d64fa443',1,'SVF::LoadCGEdge::operator=()'],['../classSVF_1_1GepCGEdge.html#ab9b230aa38c6fe45914cfb2c52c70e5b',1,'SVF::GepCGEdge::operator=()'],['../classSVF_1_1NormalGepCGEdge.html#a7f3a388e37e497fc5874e9f392901a39',1,'SVF::NormalGepCGEdge::operator=()'],['../classSVF_1_1VariantGepCGEdge.html#a4caf6f4b31b78ca02985fc4722d43522',1,'SVF::VariantGepCGEdge::operator=()'],['../classSVF_1_1LoadVFGNode.html#a8e42ee37ececc2391fc4d1ad1c24f13f',1,'SVF::LoadVFGNode::operator=()'],['../classSVF_1_1StoreVFGNode.html#a7f4de642d80c7b7335d7bb0c58adc7d4',1,'SVF::StoreVFGNode::operator=()'],['../classSVF_1_1CopyVFGNode.html#a9029b5166ae4e76a4506050c310a1f3a',1,'SVF::CopyVFGNode::operator=()'],['../classSVF_1_1CmpVFGNode.html#ae4984b52e88844a6c11732e9a6819fb2',1,'SVF::CmpVFGNode::operator=()'],['../classSVF_1_1BinaryOPVFGNode.html#a6e10436b82aa1e598f4ea9c06b5ef799',1,'SVF::BinaryOPVFGNode::operator=()'],['../classSVF_1_1UnaryOPVFGNode.html#a27af787da1d72bab2971dd237eaa9897',1,'SVF::UnaryOPVFGNode::operator=()'],['../classSVF_1_1BranchVFGNode.html#a3b05294417c222b3d0be2bf1d1b1e277',1,'SVF::BranchVFGNode::operator=()'],['../classSVF_1_1GepVFGNode.html#acacfe5f0a9f33dc4ca25e0926d0e7076',1,'SVF::GepVFGNode::operator=()'],['../classSVF_1_1AddrVFGNode.html#ae15cb791d45cfde3ba9be8779d843a66',1,'SVF::AddrVFGNode::operator=()'],['../classSVF_1_1ActualRetVFGNode.html#a4549da69c84064b914e9b4df9350ab6f',1,'SVF::ActualRetVFGNode::operator=()'],['../classSVF_1_1FormalRetVFGNode.html#a599d139a7973dfc09c5db18a60aba3dd',1,'SVF::FormalRetVFGNode::operator=()'],['../classSVF_1_1CondVar.html#a90d6c2204c92db5c78991e6dfdcc5c80',1,'SVF::CondVar::operator=()'],['../classSVF_1_1CondStdSet.html#a9fa868a473993d0244431d640799ce98',1,'SVF::CondStdSet::operator=()'],['../classSVF_1_1CondPointsToSet.html#a42056d7b29e50a3ed8a8db95674d24b2',1,'SVF::CondPointsToSet::operator=()'],['../classSVF_1_1LocationSet.html#a15975ec54c93c39fb1ed59599e5ec107',1,'SVF::LocationSet::operator=()'],['../classSVF_1_1PointsTo.html#a269d334618e4acc7e739317fd58d7fe7',1,'SVF::PointsTo::operator=(const PointsTo &rhs)'],['../classSVF_1_1PointsTo.html#ab06c71c3d1ab7ef2a67fc00b42f4be72',1,'SVF::PointsTo::operator=(PointsTo &&rhs)'],['../classSVF_1_1PointsTo_1_1PointsToIterator.html#acbbcff746f7f0dc37815e688e9172f21',1,'SVF::PointsTo::PointsToIterator::operator=(const PointsToIterator &rhs)'],['../classSVF_1_1PointsTo_1_1PointsToIterator.html#ac35de79e5c5d48d7f8f6f22e8450a0f6',1,'SVF::PointsTo::PointsToIterator::operator=(PointsToIterator &&rhs)'],['../classSVF_1_1AddrPE.html#a5253aaa1e22c8b847dea4fcf2d251cce',1,'SVF::AddrPE::operator=()'],['../classSVF_1_1CopyPE.html#acddceaf83d32a3110b7816f65c13a1c6',1,'SVF::CopyPE::operator=()'],['../classSVF_1_1PhiPE.html#abd2a0e889e38cd6bcc4509c8bc73308a',1,'SVF::PhiPE::operator=()'],['../classSVF_1_1CmpPE.html#aeab9328da01789aa1974a372738c6ec5',1,'SVF::CmpPE::operator=()'],['../classSVF_1_1BinaryOPPE.html#a9cad24d45c2ed94f321b1743bb7020df',1,'SVF::BinaryOPPE::operator=()'],['../classSVF_1_1UnaryOPPE.html#aae7c3eadd1dce50ecc24f2bb54248998',1,'SVF::UnaryOPPE::operator=()'],['../classSVF_1_1BranchStmt.html#a4d89147be6703c297709cfe03c4b202b',1,'SVF::BranchStmt::operator=()'],['../classSVF_1_1StorePE.html#a72ce40a0d09ae0525b729e9b4d2ad626',1,'SVF::StorePE::operator=()'],['../classSVF_1_1LoadPE.html#a60a45885801dde7b268f33a170f0acd5',1,'SVF::LoadPE::operator=()'],['../classSVF_1_1GepPE.html#a8b4403db8a3ab39adc72021c6389708c',1,'SVF::GepPE::operator=()'],['../classSVF_1_1NormalGepPE.html#ac05756f70d2211c72b7216c1d09ca9bf',1,'SVF::NormalGepPE::operator=()'],['../classSVF_1_1VariantGepPE.html#a5c3708cf69512dedb683d691dff2e105',1,'SVF::VariantGepPE::operator=()'],['../classSVF_1_1CallPE.html#a9ea8ddb83c64889c3baa128b72ff7207',1,'SVF::CallPE::operator=()'],['../classSVF_1_1RetPE.html#acb2a5e66fab9f95278c44344d268f465',1,'SVF::RetPE::operator=()'],['../classSVF_1_1TDForkPE.html#a3c6cc8db894e2c4cb62262fdd556e58f',1,'SVF::TDForkPE::operator=()'],['../classSVF_1_1TDJoinPE.html#a4e4d2ac2888d9e1c02bb62f0a40bd0e2',1,'SVF::TDJoinPE::operator=()'],['../classSVF_1_1SVFGNodeLockSpan.html#afa2d1f6997dd5f06b4efe75f8145932e',1,'SVF::SVFGNodeLockSpan::operator=()'],['../classSVF_1_1PTASCEV.html#a144e7fa8c5f4987067914416a85656ca',1,'SVF::PTASCEV::operator=()'],['../classSVF_1_1BitVector.html#a5e537ecf471af33c08752eb9d55f1910',1,'SVF::BitVector::operator=(const BitVector &rhs)'],['../classSVF_1_1BitVector.html#af5bd38d3b667a8740aaf309f6ef13369',1,'SVF::BitVector::operator=(BitVector &&rhs)'],['../classSVF_1_1CoreBitVector.html#a3594d997fba0aa6201855199a884d98d',1,'SVF::CoreBitVector::operator=(const CoreBitVector &rhs)'],['../classSVF_1_1CoreBitVector.html#ae14cc9ce0abbad20636c51e6ca781305',1,'SVF::CoreBitVector::operator=(CoreBitVector &&rhs)'],['../classSVF_1_1CoreBitVector_1_1CoreBitVectorIterator.html#adb5a17e5916052f49390d6e99ff47b22',1,'SVF::CoreBitVector::CoreBitVectorIterator::operator=(const CoreBitVectorIterator &cbv)=default'],['../classSVF_1_1CoreBitVector_1_1CoreBitVectorIterator.html#a1d19b0a8fd137d6598d1f11ef031930b',1,'SVF::CoreBitVector::CoreBitVectorIterator::operator=(CoreBitVectorIterator &&cbv)=default'],['../classSVF_1_1CxtStmt.html#a4f431c7b6f3434eff34b4cea6853066b',1,'SVF::CxtStmt::operator=()'],['../classSVF_1_1CxtThreadStmt.html#a894849e24d01f80463a207e0c8f2548f',1,'SVF::CxtThreadStmt::operator=()'],['../classSVF_1_1CxtThread.html#a3c22e59962a9c638a0f1b516c25aec8f',1,'SVF::CxtThread::operator=()'],['../classSVF_1_1CxtProc.html#a617c7ee432ac89cf419dfad47854e3a5',1,'SVF::CxtProc::operator=()'],['../classSVF_1_1CxtThreadProc.html#a439a27864cb18accba5f8fe706c1e74b',1,'SVF::CxtThreadProc::operator=()'],['../classSVF_1_1DPItem.html#a10226d37dfef045bec9f7cfb78315440',1,'SVF::DPItem::operator=()'],['../classSVF_1_1StmtDPItem.html#a072da7dc37fd3f9b7a79196394382499',1,'SVF::StmtDPItem::operator=()'],['../classSVF_1_1ContextCond.html#ae4d1bb47d0c8ef4d8b31ffaeb83edf04',1,'SVF::ContextCond::operator=()'],['../classSVF_1_1CxtStmtDPItem.html#aef8f7d034bdd10730e3ff1a2ae52350c',1,'SVF::CxtStmtDPItem::operator=()'],['../classSVF_1_1CxtDPItem.html#abe0913f8d672a079fa674dbcc3e1b3db',1,'SVF::CxtDPItem::operator=()'],['../classSVF_1_1VFPathCond.html#a4bc59244e43d7db4478b0b9f868a0dab',1,'SVF::VFPathCond::operator=()'],['../classSVF_1_1PathStmtDPItem.html#a36ff7567d47e3818d79ede424f736817',1,'SVF::PathStmtDPItem::operator=()']]],
+  ['operator_3d',['operator=',['../classSVF_1_1AddrCGEdge.html#a7f2959e08f010e5c30dcb76c6fbf6732',1,'SVF::AddrCGEdge::operator=()'],['../classSVF_1_1CopyCGEdge.html#a50348854a99591726e769078a8d2f703',1,'SVF::CopyCGEdge::operator=()'],['../classSVF_1_1StoreCGEdge.html#a51869681f10566da74de3fb461c7a7e0',1,'SVF::StoreCGEdge::operator=()'],['../classSVF_1_1LoadCGEdge.html#a079925b497671bd5ef60aae5d64fa443',1,'SVF::LoadCGEdge::operator=()'],['../classSVF_1_1GepCGEdge.html#ab9b230aa38c6fe45914cfb2c52c70e5b',1,'SVF::GepCGEdge::operator=()'],['../classSVF_1_1NormalGepCGEdge.html#a7f3a388e37e497fc5874e9f392901a39',1,'SVF::NormalGepCGEdge::operator=()'],['../classSVF_1_1VariantGepCGEdge.html#a4caf6f4b31b78ca02985fc4722d43522',1,'SVF::VariantGepCGEdge::operator=()'],['../classSVF_1_1LoadVFGNode.html#a8e42ee37ececc2391fc4d1ad1c24f13f',1,'SVF::LoadVFGNode::operator=()'],['../classSVF_1_1StoreVFGNode.html#a7f4de642d80c7b7335d7bb0c58adc7d4',1,'SVF::StoreVFGNode::operator=()'],['../classSVF_1_1CopyVFGNode.html#a9029b5166ae4e76a4506050c310a1f3a',1,'SVF::CopyVFGNode::operator=()'],['../classSVF_1_1CmpVFGNode.html#ae4984b52e88844a6c11732e9a6819fb2',1,'SVF::CmpVFGNode::operator=()'],['../classSVF_1_1BinaryOPVFGNode.html#a6e10436b82aa1e598f4ea9c06b5ef799',1,'SVF::BinaryOPVFGNode::operator=()'],['../classSVF_1_1UnaryOPVFGNode.html#a27af787da1d72bab2971dd237eaa9897',1,'SVF::UnaryOPVFGNode::operator=()'],['../classSVF_1_1BranchVFGNode.html#a3b05294417c222b3d0be2bf1d1b1e277',1,'SVF::BranchVFGNode::operator=()'],['../classSVF_1_1GepVFGNode.html#acacfe5f0a9f33dc4ca25e0926d0e7076',1,'SVF::GepVFGNode::operator=()'],['../classSVF_1_1AddrVFGNode.html#ae15cb791d45cfde3ba9be8779d843a66',1,'SVF::AddrVFGNode::operator=()'],['../classSVF_1_1ActualRetVFGNode.html#a4549da69c84064b914e9b4df9350ab6f',1,'SVF::ActualRetVFGNode::operator=()'],['../classSVF_1_1FormalRetVFGNode.html#a599d139a7973dfc09c5db18a60aba3dd',1,'SVF::FormalRetVFGNode::operator=()'],['../classSVF_1_1CondVar.html#a90d6c2204c92db5c78991e6dfdcc5c80',1,'SVF::CondVar::operator=()'],['../classSVF_1_1CondStdSet.html#a9fa868a473993d0244431d640799ce98',1,'SVF::CondStdSet::operator=()'],['../classSVF_1_1CondPointsToSet.html#a42056d7b29e50a3ed8a8db95674d24b2',1,'SVF::CondPointsToSet::operator=()'],['../classSVF_1_1LocationSet.html#a15975ec54c93c39fb1ed59599e5ec107',1,'SVF::LocationSet::operator=()'],['../classSVF_1_1PointsTo.html#a269d334618e4acc7e739317fd58d7fe7',1,'SVF::PointsTo::operator=(const PointsTo &rhs)'],['../classSVF_1_1PointsTo.html#ab06c71c3d1ab7ef2a67fc00b42f4be72',1,'SVF::PointsTo::operator=(PointsTo &&rhs)'],['../classSVF_1_1PointsTo_1_1PointsToIterator.html#acbbcff746f7f0dc37815e688e9172f21',1,'SVF::PointsTo::PointsToIterator::operator=(const PointsToIterator &rhs)'],['../classSVF_1_1PointsTo_1_1PointsToIterator.html#ac35de79e5c5d48d7f8f6f22e8450a0f6',1,'SVF::PointsTo::PointsToIterator::operator=(PointsToIterator &&rhs)'],['../classSVF_1_1AddrStmt.html#a1fe5489d6b941f5de3f3eeea63818dae',1,'SVF::AddrStmt::operator=()'],['../classSVF_1_1CopyStmt.html#a96205e0ffb3001de306e856090dbf277',1,'SVF::CopyStmt::operator=()'],['../classSVF_1_1PhiStmt.html#a331c7e14409b2d78881a0ec8932c1170',1,'SVF::PhiStmt::operator=()'],['../classSVF_1_1CmpStmt.html#a73b976659b9437c33297fc14c55a3034',1,'SVF::CmpStmt::operator=()'],['../classSVF_1_1BinaryOPStmt.html#a987a69ea0cfc4b96adad22be810495b1',1,'SVF::BinaryOPStmt::operator=()'],['../classSVF_1_1UnaryOPStmt.html#a58a341847b24cfaf98ab7e82008bc018',1,'SVF::UnaryOPStmt::operator=()'],['../classSVF_1_1BranchStmt.html#a4d89147be6703c297709cfe03c4b202b',1,'SVF::BranchStmt::operator=()'],['../classSVF_1_1StoreStmt.html#abc2f677257ce4656f1da4373d6a016ef',1,'SVF::StoreStmt::operator=()'],['../classSVF_1_1LoadStmt.html#afd0b942170ec3aa8f44a6c5cc422a69d',1,'SVF::LoadStmt::operator=()'],['../classSVF_1_1GepStmt.html#aad988829009a31f173e3908461e3a7e8',1,'SVF::GepStmt::operator=()'],['../classSVF_1_1NormalGepStmt.html#af5c4696cb71f71ef38d2a62ceebc1789',1,'SVF::NormalGepStmt::operator=()'],['../classSVF_1_1VariantGepStmt.html#a0dd09a0b451cf951d51f0b1c7b97b7a5',1,'SVF::VariantGepStmt::operator=()'],['../classSVF_1_1CallPE.html#a9ea8ddb83c64889c3baa128b72ff7207',1,'SVF::CallPE::operator=()'],['../classSVF_1_1RetPE.html#acb2a5e66fab9f95278c44344d268f465',1,'SVF::RetPE::operator=()'],['../classSVF_1_1TDForkPE.html#a3c6cc8db894e2c4cb62262fdd556e58f',1,'SVF::TDForkPE::operator=()'],['../classSVF_1_1TDJoinPE.html#a4e4d2ac2888d9e1c02bb62f0a40bd0e2',1,'SVF::TDJoinPE::operator=()'],['../classSVF_1_1SVFGNodeLockSpan.html#afa2d1f6997dd5f06b4efe75f8145932e',1,'SVF::SVFGNodeLockSpan::operator=()'],['../classSVF_1_1PTASCEV.html#a144e7fa8c5f4987067914416a85656ca',1,'SVF::PTASCEV::operator=()'],['../classSVF_1_1BitVector.html#a5e537ecf471af33c08752eb9d55f1910',1,'SVF::BitVector::operator=(const BitVector &rhs)'],['../classSVF_1_1BitVector.html#af5bd38d3b667a8740aaf309f6ef13369',1,'SVF::BitVector::operator=(BitVector &&rhs)'],['../classSVF_1_1CoreBitVector.html#a3594d997fba0aa6201855199a884d98d',1,'SVF::CoreBitVector::operator=(const CoreBitVector &rhs)'],['../classSVF_1_1CoreBitVector.html#ae14cc9ce0abbad20636c51e6ca781305',1,'SVF::CoreBitVector::operator=(CoreBitVector &&rhs)'],['../classSVF_1_1CoreBitVector_1_1CoreBitVectorIterator.html#adb5a17e5916052f49390d6e99ff47b22',1,'SVF::CoreBitVector::CoreBitVectorIterator::operator=(const CoreBitVectorIterator &cbv)=default'],['../classSVF_1_1CoreBitVector_1_1CoreBitVectorIterator.html#a1d19b0a8fd137d6598d1f11ef031930b',1,'SVF::CoreBitVector::CoreBitVectorIterator::operator=(CoreBitVectorIterator &&cbv)=default'],['../classSVF_1_1CxtStmt.html#a4f431c7b6f3434eff34b4cea6853066b',1,'SVF::CxtStmt::operator=()'],['../classSVF_1_1CxtThreadStmt.html#a894849e24d01f80463a207e0c8f2548f',1,'SVF::CxtThreadStmt::operator=()'],['../classSVF_1_1CxtThread.html#a3c22e59962a9c638a0f1b516c25aec8f',1,'SVF::CxtThread::operator=()'],['../classSVF_1_1CxtProc.html#a617c7ee432ac89cf419dfad47854e3a5',1,'SVF::CxtProc::operator=()'],['../classSVF_1_1CxtThreadProc.html#a439a27864cb18accba5f8fe706c1e74b',1,'SVF::CxtThreadProc::operator=()'],['../classSVF_1_1DPItem.html#a10226d37dfef045bec9f7cfb78315440',1,'SVF::DPItem::operator=()'],['../classSVF_1_1StmtDPItem.html#a072da7dc37fd3f9b7a79196394382499',1,'SVF::StmtDPItem::operator=()'],['../classSVF_1_1ContextCond.html#ae4d1bb47d0c8ef4d8b31ffaeb83edf04',1,'SVF::ContextCond::operator=()'],['../classSVF_1_1CxtStmtDPItem.html#aef8f7d034bdd10730e3ff1a2ae52350c',1,'SVF::CxtStmtDPItem::operator=()'],['../classSVF_1_1CxtDPItem.html#abe0913f8d672a079fa674dbcc3e1b3db',1,'SVF::CxtDPItem::operator=()'],['../classSVF_1_1VFPathCond.html#a4bc59244e43d7db4478b0b9f868a0dab',1,'SVF::VFPathCond::operator=()'],['../classSVF_1_1PathStmtDPItem.html#a36ff7567d47e3818d79ede424f736817',1,'SVF::PathStmtDPItem::operator=()']]],
   ['operator_3d_3d',['operator==',['../classSVF_1_1GenericEdge.html#a0e461644bf9a4e50099b38f09222e858',1,'SVF::GenericEdge::operator==()'],['../classSVF_1_1CondVar.html#a7faf827845c5e820f1b63ce6523bc2a9',1,'SVF::CondVar::operator==()'],['../classSVF_1_1CondStdSet.html#a6697d9c3d1107db2be430b8e8b670cb5',1,'SVF::CondStdSet::operator==()'],['../classSVF_1_1CondPointsToSet.html#abe02e0bdcfddde7251b7d35e916c8f02',1,'SVF::CondPointsToSet::operator==()'],['../classSVF_1_1CondPointsToSet_1_1CondPtsSetIterator.html#ab069959f9b4b2a0e1441281acb666a60',1,'SVF::CondPointsToSet::CondPtsSetIterator::operator==()'],['../classSVF_1_1LocationSet.html#a1b141afb9a38d12423f66b2dfe6bf232',1,'SVF::LocationSet::operator==()'],['../classSVF_1_1PointsTo.html#a6b29626e4e4298943d2ad839f06db83e',1,'SVF::PointsTo::operator==()'],['../classSVF_1_1PointsTo_1_1PointsToIterator.html#aef4e1b40faa327f8bbf42a82df29c7b4',1,'SVF::PointsTo::PointsToIterator::operator==()'],['../classSVF_1_1MemObj.html#a1a8601b72b6e6df211db1fffdd54c48b',1,'SVF::MemObj::operator==()'],['../classSVF_1_1MemRegion.html#affa3a8efd91faf5704e514f1e83fead9',1,'SVF::MemRegion::operator==()'],['../classSVF_1_1SVFGNodeLockSpan.html#a880f9eec9d0c4835b7a524eeb801396d',1,'SVF::SVFGNodeLockSpan::operator==()'],['../classSVF_1_1PTASCEV.html#a71c30ee51274f2d9b3c202d06f1443f4',1,'SVF::PTASCEV::operator==()'],['../classllvm_1_1generic__bridge__gep__type__iterator.html#a1f0e8716ad7ff580240f81db1228a690',1,'llvm::generic_bridge_gep_type_iterator::operator==()'],['../classSVF_1_1CallSite.html#aa9b62205a5b63384042d9431a01f03ec',1,'SVF::CallSite::operator==()'],['../classSVF_1_1CoreBitVector.html#a0ddd7fc5e043d36f3c62c2fb93b22684',1,'SVF::CoreBitVector::operator==()'],['../classSVF_1_1CoreBitVector_1_1CoreBitVectorIterator.html#a7278c27a0ab2096b29a537a8afe0be5e',1,'SVF::CoreBitVector::CoreBitVectorIterator::operator==()'],['../classSVF_1_1CxtStmt.html#af7b0afe54ce69ec8f753d701818a7eca',1,'SVF::CxtStmt::operator==()'],['../classSVF_1_1CxtThreadStmt.html#af8f221ea17599dfb678922e1bad37f35',1,'SVF::CxtThreadStmt::operator==()'],['../classSVF_1_1CxtThread.html#ae39e05ed7673a566708cec682d9b5d24',1,'SVF::CxtThread::operator==()'],['../classSVF_1_1CxtProc.html#a7e019158f464401c6d7fc5676d48d69c',1,'SVF::CxtProc::operator==()'],['../classSVF_1_1CxtThreadProc.html#aef53ca59b8cbd614b28350d12113e3c4',1,'SVF::CxtThreadProc::operator==()'],['../classSVF_1_1DPItem.html#ad67fcd340351360555b0cb88f57b183a',1,'SVF::DPItem::operator==()'],['../classSVF_1_1StmtDPItem.html#afd63ae0d881101d6c61709b9ac25dbf8',1,'SVF::StmtDPItem::operator==()'],['../classSVF_1_1ContextCond.html#a69b8789b4815f2958afe67028640bfc5',1,'SVF::ContextCond::operator==()'],['../classSVF_1_1CxtStmtDPItem.html#a201619b723a5548029dd7402e06608e7',1,'SVF::CxtStmtDPItem::operator==()'],['../classSVF_1_1CxtDPItem.html#a52003b33daa4902545159cf4e225d6ea',1,'SVF::CxtDPItem::operator==()'],['../classSVF_1_1VFPathCond.html#a475c7d4b05dbde2dc9aed2699dacc2bb',1,'SVF::VFPathCond::operator==()'],['../classSVF_1_1PathStmtDPItem.html#a5b7d6a8d8e14845a94611474c53fadaa',1,'SVF::PathStmtDPItem::operator==()'],['../classSVF_1_1SVFValue.html#aa171d1126f4ac00c3310d58d9b77c587',1,'SVF::SVFValue::operator==()']]],
   ['operator_5b_5d',['operator[]',['../classSVF_1_1ContextCond.html#a62cc1c7c01d454e9cbebd3f7f5f3aa1f',1,'SVF::ContextCond']]],
   ['operator_7c',['operator|',['../namespaceSVF.html#aa01b96d5bc6c3930b0bfca789acf75c4',1,'SVF']]],