svf-tools 1.0.321 → 1.0.322

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

@@ -56,18 +56,18 @@ var searchData=
   ['gepobjnodemap',['GepObjNodeMap',['../classSVF_1_1SVFIR.html#a3ab46db0dc6ebab78d431e4a540dcc9e',1,'SVF::SVFIR']]],
   ['gepobjpn',['GepObjPN',['../classSVF_1_1GepObjPN.html',1,'SVF::GepObjPN'],['../classSVF_1_1GepObjPN.html#aadf56cdc45296514f142306e2556dcc1',1,'SVF::GepObjPN::GepObjPN()']]],
   ['gepoutedges',['gepOutEdges',['../classSVF_1_1ConstraintNode.html#a583880cd83a9f353003e199401d1b024',1,'SVF::ConstraintNode']]],
-  ['geppe',['GepPE',['../classSVF_1_1GepPE.html',1,'SVF::GepPE'],['../classSVF_1_1GepPE.html#a6fc0ad43bcb6500f45403c6c82db164e',1,'SVF::GepPE::GepPE()'],['../classSVF_1_1GepPE.html#aa2751e1e2c1f993e3629799449bea325',1,'SVF::GepPE::GepPE(const GepPE &)'],['../classSVF_1_1GepPE.html#a784a6cafb88aa4b659ca9a477862aa08',1,'SVF::GepPE::GepPE(SVFVar *s, SVFVar *d, PEDGEK k)']]],
   ['gepsrcnodes',['gepSrcNodes',['../classSVF_1_1AliasDDAClient.html#ab165537f4c9a318f31de8a272a529c9c',1,'SVF::AliasDDAClient']]],
+  ['gepstmt',['GepStmt',['../classSVF_1_1GepStmt.html',1,'SVF::GepStmt'],['../classSVF_1_1GepStmt.html#a9877729d1b82317d6e5d28bea9741586',1,'SVF::GepStmt::GepStmt()'],['../classSVF_1_1GepStmt.html#a800c21f9263eb5d9b1980b1dff013391',1,'SVF::GepStmt::GepStmt(const GepStmt &)'],['../classSVF_1_1GepStmt.html#a6ace22baaf73db3302ff2b8ad4285bb6',1,'SVF::GepStmt::GepStmt(SVFVar *s, SVFVar *d, PEDGEK k)']]],
   ['gepsvfgnode',['GepSVFGNode',['../namespaceSVF.html#a65a3be463427d1112a8b87f072f3d22f',1,'SVF']]],
   ['geptime',['gepTime',['../classSVF_1_1FlowSensitive.html#a282126e5b67ed4e19aa40c81180b8290',1,'SVF::FlowSensitive']]],
   ['geptosvfgretrievers',['gepToSVFGRetrievers',['../classSVF_1_1FlowSensitiveTBHC.html#acd6ade2b73c19d1eb7faf0e457becba6',1,'SVF::FlowSensitiveTBHC']]],
   ['geptypebridgeiterator_2eh',['GEPTypeBridgeIterator.h',['../GEPTypeBridgeIterator_8h.html',1,'']]],
   ['gepvalnode',['GepValNode',['../classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffa288e3f5d01c94d5c5d685d43f08a6c4a',1,'SVF::SVFVar']]],
   ['gepvalnodemap',['GepValNodeMap',['../classSVF_1_1SVFIR.html#ae5e06d403091c05df995aeea0a4f773d',1,'SVF::SVFIR']]],
-  ['gepvalpn',['GepValPN',['../classSVF_1_1GepValPN.html',1,'SVF::GepValPN'],['../classSVF_1_1GepValPN.html#a02df9e70d4daf4eefaa63b0d26cd06ce',1,'SVF::GepValPN::GepValPN()']]],
   ['gepvalpnmap',['GepValPNMap',['../classSVF_1_1SVFIR.html#a3cf5be37df32cdcd44fa7b1971fae2de',1,'SVF::SVFIR']]],
-  ['gepvaltype',['gepValType',['../classSVF_1_1GepValPN.html#a41d083e2ed08dd926a8228df5c42a4d7',1,'SVF::GepValPN']]],
-  ['gepvfgnode',['GepVFGNode',['../classSVF_1_1GepVFGNode.html',1,'SVF::GepVFGNode'],['../classSVF_1_1GepVFGNode.html#a0c5d942e163a732ce78af81327e73ab2',1,'SVF::GepVFGNode::GepVFGNode()'],['../classSVF_1_1GepVFGNode.html#a1edc695ae4d62a0fe19ecba74a1db3e4',1,'SVF::GepVFGNode::GepVFGNode(const GepVFGNode &)'],['../classSVF_1_1GepVFGNode.html#af918342cc39f2e4a91f5bc2d8b028a5d',1,'SVF::GepVFGNode::GepVFGNode(NodeID id, const GepPE *edge)']]],
+  ['gepvaltype',['gepValType',['../classSVF_1_1GepValVar.html#aaf5f5d3734e1db83c6d4f38d560b2f45',1,'SVF::GepValVar']]],
+  ['gepvalvar',['GepValVar',['../classSVF_1_1GepValVar.html',1,'SVF::GepValVar'],['../classSVF_1_1GepValVar.html#a9bad2709e0d82d2d4a8578cc57bdf9f5',1,'SVF::GepValVar::GepValVar()']]],
+  ['gepvfgnode',['GepVFGNode',['../classSVF_1_1GepVFGNode.html',1,'SVF::GepVFGNode'],['../classSVF_1_1GepVFGNode.html#a0c5d942e163a732ce78af81327e73ab2',1,'SVF::GepVFGNode::GepVFGNode()'],['../classSVF_1_1GepVFGNode.html#a1edc695ae4d62a0fe19ecba74a1db3e4',1,'SVF::GepVFGNode::GepVFGNode(const GepVFGNode &)'],['../classSVF_1_1GepVFGNode.html#a4877548499e779b09a0cb29ad9ec0f43',1,'SVF::GepVFGNode::GepVFGNode(NodeID id, const GepStmt *edge)']]],
   ['get',['get',['../classSVF_1_1NodeIDAllocator.html#a2bd3ca30fc9669d9a0327544bdb4557b',1,'SVF::NodeIDAllocator']]],
   ['get_5falloc_5farg_5fpos',['get_alloc_arg_pos',['../classSVF_1_1ExtAPI.html#a090df490c65fab16ec9fa5431e13361e',1,'SVF::ExtAPI']]],
   ['get_5fcond',['get_cond',['../classSVF_1_1CondVar.html#af84e7bfcff909009be5e109c600c63fe',1,'SVF::CondVar']]],
@@ -175,7 +175,7 @@ var searchData=
   ['getchgraph',['getCHGraph',['../classSVF_1_1PointerAnalysis.html#ae2cc7cd0803dbd90639140e71b06b1b5',1,'SVF::PointerAnalysis']]],
   ['getchildrenbegin',['getChildrenBegin',['../classSVF_1_1TCT.html#a511c2ee4cfdc01a720135b2cd493fe3b',1,'SVF::TCT']]],
   ['getchildrenend',['getChildrenEnd',['../classSVF_1_1TCT.html#af47837e30a80e8d6684f3ee6001afb7a',1,'SVF::TCT']]],
-  ['getchiset',['getCHISet',['../classSVF_1_1MemSSA.html#a24dd10cbd41df4f57d8d6fa9ca6a3083',1,'SVF::MemSSA::getCHISet(const StorePE *st)'],['../classSVF_1_1MemSSA.html#ae7b0f618fb36bbc8e9439d70b377cf6b',1,'SVF::MemSSA::getCHISet(const CallBlockNode *cs)']]],
+  ['getchiset',['getCHISet',['../classSVF_1_1MemSSA.html#a2e656a50f8964fc3e99d1d436de64418',1,'SVF::MemSSA::getCHISet(const StoreStmt *st)'],['../classSVF_1_1MemSSA.html#ae7b0f618fb36bbc8e9439d70b377cf6b',1,'SVF::MemSSA::getCHISet(const CallBlockNode *cs)']]],
   ['getclassnamefromtype',['getClassNameFromType',['../namespaceSVF_1_1cppUtil.html#a891719bac36ebb6c001f073dfa5a9e7b',1,'SVF::cppUtil']]],
   ['getclassnamefromvtblobj',['getClassNameFromVtblObj',['../namespaceSVF_1_1cppUtil.html#ad83c097f1c77cdf52fc219ef07ee0b1a',1,'SVF::cppUtil']]],
   ['getclassnameofthisptr',['getClassNameOfThisPtr',['../namespaceSVF_1_1cppUtil.html#a3bed7bc0a0ae580841ca049f91690ff7',1,'SVF::cppUtil']]],
@@ -259,8 +259,8 @@ 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']]],
@@ -285,7 +285,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']]],
@@ -416,14 +416,14 @@ var searchData=
   ['getloadcvar',['getLoadCVar',['../classSVF_1_1DDAVFSolver.html#ad42efad8e857290459689833c224e467',1,'SVF::DDAVFSolver']]],
   ['getloaddpm',['getLoadDpm',['../classSVF_1_1DDAVFSolver.html#a630aad14a285c954a50c632f9cb13fa9',1,'SVF::DDAVFSolver']]],
   ['getloadinedges',['getLoadInEdges',['../classSVF_1_1ConstraintNode.html#abd8d146e9b30b6d9757021a84bcab158',1,'SVF::ConstraintNode']]],
-  ['getloadinst',['getLoadInst',['../classSVF_1_1LoadMU.html#abd883317106589b17e4a824dc44721c0',1,'SVF::LoadMU']]],
-  ['getloadmrset',['getLoadMRSet',['../classSVF_1_1MRGenerator.html#a5cf5ae60ad6028809088f3c842afde9d',1,'SVF::MRGenerator']]],
+  ['getloadinst',['getLoadInst',['../classSVF_1_1LoadMU.html#a5c26668b6ab2db91c4d5ba32d6a27b14',1,'SVF::LoadMU']]],
+  ['getloadmrset',['getLoadMRSet',['../classSVF_1_1MRGenerator.html#a19da5768681a21c52a6c43761814a157',1,'SVF::MRGenerator']]],
   ['getloadmunum',['getLoadMuNum',['../classSVF_1_1MemSSA.html#aafc83f7f22ebf3b3683607440c488bef',1,'SVF::MemSSA']]],
   ['getloadoperand',['getLoadOperand',['../classSVF_1_1MTAAnnotator.html#a399e53d065bc34af428a1ba89a04972b',1,'SVF::MTAAnnotator']]],
   ['getloadoutedges',['getLoadOutEdges',['../classSVF_1_1ConstraintNode.html#a59ab1cea514100c63ee179e3e9a5aa0a',1,'SVF::ConstraintNode']]],
   ['getloadtomusetmap',['getLoadToMUSetMap',['../classSVF_1_1MemSSA.html#a70dd35ef458c452330dfebcdde17b84c',1,'SVF::MemSSA']]],
   ['getloc',['getLoc',['../classSVF_1_1StmtDPItem.html#a3616c94c4394b61c757ffcd39888d5b9',1,'SVF::StmtDPItem']]],
-  ['getlocationset',['getLocationSet',['../classSVF_1_1NormalGepCGEdge.html#ac469605b74fa8cd38e1959c8b948864b',1,'SVF::NormalGepCGEdge::getLocationSet()'],['../classSVF_1_1NormalGepPE.html#ac086d39e0f554705b627c2fc07a33875',1,'SVF::NormalGepPE::getLocationSet()'],['../classSVF_1_1GepObjPN.html#aeb05e3a512e89c7af36c675e0efeec7e',1,'SVF::GepObjPN::getLocationSet()']]],
+  ['getlocationset',['getLocationSet',['../classSVF_1_1NormalGepCGEdge.html#ac469605b74fa8cd38e1959c8b948864b',1,'SVF::NormalGepCGEdge::getLocationSet()'],['../classSVF_1_1NormalGepStmt.html#a7bf625581c4852212bcea89562ea9cef',1,'SVF::NormalGepStmt::getLocationSet()'],['../classSVF_1_1GepObjPN.html#aeb05e3a512e89c7af36c675e0efeec7e',1,'SVF::GepObjPN::getLocationSet()']]],
   ['getlocationsetfrombasenode',['getLocationSetFromBaseNode',['../classSVF_1_1SVFIR.html#a8b36d077c30fb2830a253ded82413c2d',1,'SVF::SVFIR']]],
   ['getlockspan',['getLockSpan',['../classSVF_1_1SVFGNodeLockSpan.html#a4e6207b3b64a60993e1e02f6ef125452',1,'SVF::SVFGNodeLockSpan']]],
   ['getlockval',['getLockVal',['../classSVF_1_1LockAnalysis.html#a785616f9c744d7249fd1080e5ed04d29',1,'SVF::LockAnalysis::getLockVal()'],['../classSVF_1_1ThreadAPI.html#a8f1c869eb42f7c89697cf2c7452ba9e9',1,'SVF::ThreadAPI::getLockVal(const Instruction *inst) const'],['../classSVF_1_1ThreadAPI.html#ad1d43e47f5036138e85068a1714f6c48',1,'SVF::ThreadAPI::getLockVal(CallSite cs) const']]],
@@ -442,7 +442,7 @@ var searchData=
   ['getmaxpathlen',['getMaxPathLen',['../classSVF_1_1ContextCond.html#a935415951bfc6f5089663980bf8e324d',1,'SVF::ContextCond']]],
   ['getmaxstructsize',['getMaxStructSize',['../classSVF_1_1SymbolTableInfo.html#abc7e567209010286a68634c700d76cca',1,'SVF::SymbolTableInfo']]],
   ['getmdnodepts',['getMdNodePts',['../classSVF_1_1IRAnnotator.html#a08a3ad9b6d872a70b1480f1beed49441',1,'SVF::IRAnnotator']]],
-  ['getmemobj',['getMemObj',['../classSVF_1_1IRGraph.html#a4f5792216c6f38c32dac5074862ffc50',1,'SVF::IRGraph::getMemObj()'],['../classSVF_1_1ObjPN.html#a63ee5624271a63c2dc4f7f3ed2dcefdf',1,'SVF::ObjPN::getMemObj()']]],
+  ['getmemobj',['getMemObj',['../classSVF_1_1IRGraph.html#a4f5792216c6f38c32dac5074862ffc50',1,'SVF::IRGraph::getMemObj()'],['../classSVF_1_1ObjVar.html#a6a4feb73b54e602407e35eeb09f55930',1,'SVF::ObjVar::getMemObj()']]],
   ['getmemoryusagekb',['getMemoryUsageKB',['../namespaceSVF_1_1SVFUtil.html#a630ff9c47f58f9b8df7c8a2b3711477c',1,'SVF::SVFUtil']]],
   ['getmemtofieldsmap',['getMemToFieldsMap',['../classSVF_1_1SVFIR.html#a6f46446d667258b32ddc1ccab48f651c',1,'SVF::SVFIR']]],
   ['getmemusage',['getMemUsage',['../classSVF_1_1PathCondAllocator.html#ad6d58127299d87ae3c231065bb411557',1,'SVF::PathCondAllocator::getMemUsage()'],['../classSVF_1_1BranchCondManager.html#ab728e3f0906854e94776ff0e6297c181',1,'SVF::BranchCondManager::getMemUsage()'],['../classSVF_1_1CondManager.html#a8a9d3d96c2c8cfef8b9d9c27c28871f6',1,'SVF::CondManager::getMemUsage()']]],
@@ -468,7 +468,7 @@ var searchData=
   ['getmrsforloadfrominterlist',['getMRsForLoadFromInterList',['../classSVF_1_1IntraDisjointMRG.html#a8d390306f30e8b9736a3d1228ef5bf3a',1,'SVF::IntraDisjointMRG']]],
   ['getmrver',['getMRVer',['../classSVF_1_1IndirectSVFGEdge.html#ac08d8b88c44881d87c1299d18c943ace',1,'SVF::IndirectSVFGEdge::getMRVer()'],['../classSVF_1_1FormalINSVFGNode.html#a07e23637c89164add5fc3ea52b250735',1,'SVF::FormalINSVFGNode::getMRVer()'],['../classSVF_1_1FormalOUTSVFGNode.html#ad2e841a18b777220c2b13f38289d6168',1,'SVF::FormalOUTSVFGNode::getMRVer()'],['../classSVF_1_1ActualINSVFGNode.html#aa92b36228a6f42496984cfea32f3415c',1,'SVF::ActualINSVFGNode::getMRVer()'],['../classSVF_1_1ActualOUTSVFGNode.html#a3e3a14a042d75e5613eb049a9eb4fac5',1,'SVF::ActualOUTSVFGNode::getMRVer()'],['../classSVF_1_1IntraMSSAPHISVFGNode.html#a9d4b2b8d343796bb465cc5a138eb3f18',1,'SVF::IntraMSSAPHISVFGNode::getMRVer()'],['../classSVF_1_1MSSAMU.html#ad120dfc87b90b26649bcd8d0c0d3ca80',1,'SVF::MSSAMU::getMRVer()']]],
   ['getmssa',['getMSSA',['../classSVF_1_1SVFG.html#a49a910bc4ea6e98d1584e74a018badc9',1,'SVF::SVFG']]],
-  ['getmuset',['getMUSet',['../classSVF_1_1MemSSA.html#aea0fc1d2e5407f86e0211d8e253fa24e',1,'SVF::MemSSA::getMUSet(const LoadPE *ld)'],['../classSVF_1_1MemSSA.html#a59392ba4cc987f5fefa4eca0ebe411fe',1,'SVF::MemSSA::getMUSet(const CallBlockNode *cs)']]],
+  ['getmuset',['getMUSet',['../classSVF_1_1MemSSA.html#af4d11a0c7da0ddd7dff8d75a00279847',1,'SVF::MemSSA::getMUSet(const LoadStmt *ld)'],['../classSVF_1_1MemSSA.html#a59392ba4cc987f5fefa4eca0ebe411fe',1,'SVF::MemSSA::getMUSet(const CallBlockNode *cs)']]],
   ['getmutdfptdataty',['getMutDFPTDataTy',['../classSVF_1_1BVDataPTAImpl.html#acbb979edee9427efa2a7c0dbd881c483',1,'SVF::BVDataPTAImpl']]],
   ['getmutptdataty',['getMutPTDataTy',['../classSVF_1_1CondPTAImpl.html#ab582d46731c06a7fa022bf301d6008c1',1,'SVF::CondPTAImpl']]],
   ['getname',['getName',['../classSVF_1_1CHNode.html#af6e71c1a932464b1b615fc177f5af089',1,'SVF::CHNode::getName()'],['../classSVF_1_1DCHNode.html#a089af6085dec833b58133a9e834dab54',1,'SVF::DCHNode::getName()'],['../classSVF_1_1SVFValue.html#adc15c1f7a77158142156fba7524e89c9',1,'SVF::SVFValue::getName()']]],
@@ -496,7 +496,7 @@ var searchData=
   ['getnumstridepair',['getNumStridePair',['../classSVF_1_1LocationSet.html#a3720af92ca2a65f02492e752b07ba241',1,'SVF::LocationSet']]],
   ['getnumsuccessors',['getNumSuccessors',['../classSVF_1_1BranchVFGNode.html#ad070e36a440deb982779cec18aa03ee6',1,'SVF::BranchVFGNode::getNumSuccessors()'],['../classSVF_1_1BranchStmt.html#a022d355bde3d0d0a9471cd125b24583b',1,'SVF::BranchStmt::getNumSuccessors()']]],
   ['getobj',['getObj',['../classSVF_1_1SymbolTableInfo.html#a65f49178a948380c2d6105178509a906',1,'SVF::SymbolTableInfo']]],
-  ['getobject',['getObject',['../classSVF_1_1DummyVersionPropSVFGNode.html#ac10a4b9c2ee536cfcb74120d86c0619f',1,'SVF::DummyVersionPropSVFGNode::getObject()'],['../classSVF_1_1SVFIR.html#a2dd4d5f704906270af13e7a07f900eb1',1,'SVF::SVFIR::getObject(NodeID id) const'],['../classSVF_1_1SVFIR.html#a09e5b8af97c902bf25ff8f1542346138',1,'SVF::SVFIR::getObject(const ObjPN *node) const']]],
+  ['getobject',['getObject',['../classSVF_1_1DummyVersionPropSVFGNode.html#ac10a4b9c2ee536cfcb74120d86c0619f',1,'SVF::DummyVersionPropSVFGNode::getObject()'],['../classSVF_1_1SVFIR.html#a2dd4d5f704906270af13e7a07f900eb1',1,'SVF::SVFIR::getObject(NodeID id) const'],['../classSVF_1_1SVFIR.html#a25b86c16d11b4d50ccc28ead525687ae',1,'SVF::SVFIR::getObject(const ObjVar *node) const']]],
   ['getobjectnode',['getObjectNode',['../classSVF_1_1IRGraph.html#aba13ca47865614e45321c1ae53e640c1',1,'SVF::IRGraph::getObjectNode()'],['../classSVF_1_1SVFIRBuilder.html#a5a93f3d13e2b3df126fbc42b1bd09006',1,'SVF::SVFIRBuilder::getObjectNode()']]],
   ['getobjectnodenum',['getObjectNodeNum',['../classSVF_1_1IRGraph.html#a8e9b2e37b36433c01e90d54a4edbf7f3',1,'SVF::IRGraph']]],
   ['getobjsize',['getObjSize',['../classSVF_1_1SymbolTableBuilder.html#a0f6e58467a6c280181c0366ca6331f98',1,'SVF::SymbolTableBuilder']]],
@@ -505,13 +505,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_1CmpStmt.html#acd623f69c5c32c881c1fba108f90c5ed',1,'SVF::CmpStmt::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()']]],
@@ -588,8 +588,8 @@ var searchData=
   ['getrep',['getRep',['../classSVF_1_1ConstraintGraph.html#acd1f0ce7936ced59bfaf04956a0f8214',1,'SVF::ConstraintGraph']]],
   ['getrepnodes',['getRepNodes',['../classSVF_1_1SCCDetection.html#a457973fa38fad89bbd2dc41ba041703e',1,'SVF::SCCDetection']]],
   ['getreppointsto',['getRepPointsTo',['../classSVF_1_1MRGenerator.html#a98b3481580be48cff7e93bf3c8a29dac',1,'SVF::MRGenerator']]],
-  ['getres',['getRes',['../classSVF_1_1CmpVFGNode.html#aa972ecfb264d447fecf0326037bbccbe',1,'SVF::CmpVFGNode::getRes()'],['../classSVF_1_1BinaryOPVFGNode.html#a1fa8795102bc6c1d6bac1b55b7542eea',1,'SVF::BinaryOPVFGNode::getRes()'],['../classSVF_1_1UnaryOPVFGNode.html#ae7947adec032ed072c50cf49f9d12259',1,'SVF::UnaryOPVFGNode::getRes()'],['../classSVF_1_1PHIVFGNode.html#abd54e567a0826bbec277302e0c4f78a2',1,'SVF::PHIVFGNode::getRes()'],['../classSVF_1_1MultiOpndStmt.html#a00a14ad8f49912b876fd9d729fea4601',1,'SVF::MultiOpndStmt::getRes()'],['../classSVF_1_1UnaryOPPE.html#a80eb6a6681caf7407d7e16b36d7cb658',1,'SVF::UnaryOPPE::getRes()']]],
-  ['getresid',['getResID',['../classSVF_1_1MultiOpndStmt.html#a71a530eb9fa9f7e273e471b4a75a039e',1,'SVF::MultiOpndStmt::getResID()'],['../classSVF_1_1UnaryOPPE.html#add17d2cf1d1ad46faf343c8f2ee2a5f8',1,'SVF::UnaryOPPE::getResID()']]],
+  ['getres',['getRes',['../classSVF_1_1CmpVFGNode.html#aa972ecfb264d447fecf0326037bbccbe',1,'SVF::CmpVFGNode::getRes()'],['../classSVF_1_1BinaryOPVFGNode.html#a1fa8795102bc6c1d6bac1b55b7542eea',1,'SVF::BinaryOPVFGNode::getRes()'],['../classSVF_1_1UnaryOPVFGNode.html#ae7947adec032ed072c50cf49f9d12259',1,'SVF::UnaryOPVFGNode::getRes()'],['../classSVF_1_1PHIVFGNode.html#abd54e567a0826bbec277302e0c4f78a2',1,'SVF::PHIVFGNode::getRes()'],['../classSVF_1_1MultiOpndStmt.html#a00a14ad8f49912b876fd9d729fea4601',1,'SVF::MultiOpndStmt::getRes()'],['../classSVF_1_1UnaryOPStmt.html#a919db9b8c9287c3802f563840b56c4f1',1,'SVF::UnaryOPStmt::getRes()']]],
+  ['getresid',['getResID',['../classSVF_1_1MultiOpndStmt.html#a71a530eb9fa9f7e273e471b4a75a039e',1,'SVF::MultiOpndStmt::getResID()'],['../classSVF_1_1UnaryOPStmt.html#ae2ffeaec2d2e4de69826495006c35856',1,'SVF::UnaryOPStmt::getResID()']]],
   ['getresver',['getResVer',['../classSVF_1_1MSSAPHISVFGNode.html#a9ea963b7773c7d0b42ccf81e58a54a50',1,'SVF::MSSAPHISVFGNode::getResVer()'],['../classSVF_1_1MSSADEF.html#a21cb532396180e0b6bab515c52bec282',1,'SVF::MSSADEF::getResVer()']]],
   ['getret',['getRet',['../classSVF_1_1FormalRetVFGNode.html#a62a894e71fcf7a3db19c0488d96a7262',1,'SVF::FormalRetVFGNode']]],
   ['getretblocknode',['getRetBlockNode',['../classSVF_1_1ICFG.html#a6d66c83cb1656d0f8ec8b8b65a9e9c41',1,'SVF::ICFG::getRetBlockNode()'],['../classSVF_1_1CallBlockNode.html#ad48f8aa952074fba88c54d6e9fad4a17',1,'SVF::CallBlockNode::getRetBlockNode()']]],
@@ -620,8 +620,8 @@ var searchData=
   ['getspawnees',['getSpawnees',['../classSVF_1_1PCG.html#a4aee985ede8e6ed6dd92574494101df9',1,'SVF::PCG']]],
   ['getspawners',['getSpawners',['../classSVF_1_1PCG.html#a6efd56a0a1810cf9036dd9203ea5e71e',1,'SVF::PCG']]],
   ['getsrccsid',['getSrcCSID',['../classSVF_1_1LeakChecker.html#a4918e3e3e289cc39f3442cb26f28bcc4',1,'SVF::LeakChecker']]],
-  ['getsrcid',['getSrcID',['../classSVF_1_1GenericEdge.html#ae6792506a0150a9400d635eceab7f9e7',1,'SVF::GenericEdge::getSrcID()'],['../classSVF_1_1PhiPE.html#a3744f6f373df3d4671ba6064437cb562',1,'SVF::PhiPE::getSrcID()'],['../classSVF_1_1CmpPE.html#aa69a4905db6aa3a5a24645be84d75a2e',1,'SVF::CmpPE::getSrcID()'],['../classSVF_1_1BinaryOPPE.html#a62e2bf0b9c769c23f537ba4d3537b42b',1,'SVF::BinaryOPPE::getSrcID()'],['../classSVF_1_1UnaryOPPE.html#a470aed30aaa89484ae29c55729596322',1,'SVF::UnaryOPPE::getSrcID()'],['../classSVF_1_1BranchStmt.html#ab9c4a6190ecc1aead171c828450d69cb',1,'SVF::BranchStmt::getSrcID()']]],
-  ['getsrcnode',['getSrcNode',['../classSVF_1_1GenericEdge.html#ab47ca533c415841ef75456cbad439589',1,'SVF::GenericEdge::getSrcNode()'],['../classSVF_1_1PhiPE.html#ad6ab8b64a2868f38cc309584efd6ab53',1,'SVF::PhiPE::getSrcNode()'],['../classSVF_1_1CmpPE.html#a8809fbf0f9b34769a3fc0025996df8bc',1,'SVF::CmpPE::getSrcNode()'],['../classSVF_1_1BinaryOPPE.html#a13f8f936a0f8b3614543ec9cbb60eb58',1,'SVF::BinaryOPPE::getSrcNode()'],['../classSVF_1_1UnaryOPPE.html#a9ebc160ddba554b395cef580b694a316',1,'SVF::UnaryOPPE::getSrcNode()'],['../classSVF_1_1BranchStmt.html#af772610e425e2a67f7152bd8d53bf3c5',1,'SVF::BranchStmt::getSrcNode()']]],
+  ['getsrcid',['getSrcID',['../classSVF_1_1GenericEdge.html#ae6792506a0150a9400d635eceab7f9e7',1,'SVF::GenericEdge::getSrcID()'],['../classSVF_1_1PhiStmt.html#a723bca50c50179c17c6ce53b738c3414',1,'SVF::PhiStmt::getSrcID()'],['../classSVF_1_1CmpStmt.html#a9c725b7a6c7386b2892d82b70f1bec05',1,'SVF::CmpStmt::getSrcID()'],['../classSVF_1_1BinaryOPStmt.html#a7ceeaffe5aae4bf572b0e21d33331035',1,'SVF::BinaryOPStmt::getSrcID()'],['../classSVF_1_1UnaryOPStmt.html#ac6ee43abe0ca33efe4caf84ef67323dd',1,'SVF::UnaryOPStmt::getSrcID()'],['../classSVF_1_1BranchStmt.html#ab9c4a6190ecc1aead171c828450d69cb',1,'SVF::BranchStmt::getSrcID()']]],
+  ['getsrcnode',['getSrcNode',['../classSVF_1_1GenericEdge.html#ab47ca533c415841ef75456cbad439589',1,'SVF::GenericEdge::getSrcNode()'],['../classSVF_1_1PhiStmt.html#a6d45d49e58717c72b9cc8cb4f36133c0',1,'SVF::PhiStmt::getSrcNode()'],['../classSVF_1_1CmpStmt.html#a342ba9fd88195b90e2419fd44afef23d',1,'SVF::CmpStmt::getSrcNode()'],['../classSVF_1_1BinaryOPStmt.html#a0fd752e4cb3eabdc7cdd61a4a4f17253',1,'SVF::BinaryOPStmt::getSrcNode()'],['../classSVF_1_1UnaryOPStmt.html#ab80b5be6506812c9d58f63478de42e92',1,'SVF::UnaryOPStmt::getSrcNode()'],['../classSVF_1_1BranchStmt.html#af772610e425e2a67f7152bd8d53bf3c5',1,'SVF::BranchStmt::getSrcNode()']]],
   ['getssaversion',['getSSAVersion',['../classSVF_1_1MRVer.html#a170a933f25684bda23321ba05c7a7d88',1,'SVF::MRVer']]],
   ['getstartroutineofcxtthread',['getStartRoutineOfCxtThread',['../classSVF_1_1TCT.html#a7ccacac1c673b38215b90e4eb480581f',1,'SVF::TCT']]],
   ['getstat',['getStat',['../classSVF_1_1SVFG.html#a8ba934714a7f2caf2e041002fdb66137',1,'SVF::SVFG::getStat()'],['../classSVF_1_1PointerAnalysis.html#a0ebf1138011aa526d92470c1931313ad',1,'SVF::PointerAnalysis::getStat()']]],
@@ -631,8 +631,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']]],
@@ -673,7 +673,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']]],
@@ -684,7 +684,7 @@ var searchData=
   ['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()']]],
+  ['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/all_9.js

@@ -105,7 +105,7 @@ var searchData=
   ['insertkey',['insertKey',['../namespaceSVF_1_1SVFUtil.html#aeecfaf26800dcebf0b079395126bc7f7',1,'SVF::SVFUtil::insertKey(const Key &key, KeySet &keySet)'],['../namespaceSVF_1_1SVFUtil.html#a4f75b8313eb2b1e5a4c798a01cb99471',1,'SVF::SVFUtil::insertKey(const NodeID &key, NodeBS &keySet)']]],
   ['insertphi',['insertPHI',['../classSVF_1_1MemSSA.html#acc6f72d96cf29e36093ba08ea86b8983',1,'SVF::MemSSA']]],
   ['insertvalueinst',['InsertValueInst',['../namespaceSVF.html#a485b10fc29e76fdb6f31a56ebbde8f24',1,'SVF']]],
-  ['inst',['inst',['../classSVF_1_1IntraBlockNode.html#a2381ce8fea9eb3213bd2f2d00db0086d',1,'SVF::IntraBlockNode::inst()'],['../classSVF_1_1CallPE.html#a86b76d7390dc0f650ec2428c394bf41a',1,'SVF::CallPE::inst()'],['../classSVF_1_1RetPE.html#ad78a287bde15c03eec8d633d363e2ed2',1,'SVF::RetPE::inst()'],['../classSVF_1_1LoadMU.html#aea021fa025a51b1ee663ea3a6dfbae2a',1,'SVF::LoadMU::inst()'],['../classSVF_1_1StoreCHI.html#a787017e8aab6f713a409cdec76549293',1,'SVF::StoreCHI::inst()'],['../classSVF_1_1CxtStmt.html#a237b8738885e57d5a9b984221f611567',1,'SVF::CxtStmt::inst()']]],
+  ['inst',['inst',['../classSVF_1_1IntraBlockNode.html#a2381ce8fea9eb3213bd2f2d00db0086d',1,'SVF::IntraBlockNode::inst()'],['../classSVF_1_1CallPE.html#a86b76d7390dc0f650ec2428c394bf41a',1,'SVF::CallPE::inst()'],['../classSVF_1_1RetPE.html#ad78a287bde15c03eec8d633d363e2ed2',1,'SVF::RetPE::inst()'],['../classSVF_1_1LoadMU.html#a7bbac3ff5455aa1340f348c7cb239c46',1,'SVF::LoadMU::inst()'],['../classSVF_1_1StoreCHI.html#a6e58e7cde1f417ec3feaef98f6f74be2',1,'SVF::StoreCHI::inst()'],['../classSVF_1_1CxtStmt.html#a237b8738885e57d5a9b984221f611567',1,'SVF::CxtStmt::inst()']]],
   ['inst2labelmap',['inst2LabelMap',['../classSVF_1_1SVFStmt.html#abb83549118bcd7216a053d82f7180d1c',1,'SVF::SVFStmt::inst2LabelMap()'],['../classSVF_1_1SVFStmt.html#a5a3db6b1335b4adc55b961a6f480f228',1,'SVF::SVFStmt::Inst2LabelMap()']]],
   ['inst2pagedgesmap',['inst2PAGEdgesMap',['../classSVF_1_1SVFIR.html#a711d8a047ab8db4fdcac9d53aadf561c',1,'SVF::SVFIR::inst2PAGEdgesMap()'],['../classSVF_1_1SVFIR.html#a945fd37adc7071bd71d7aff65445544e',1,'SVF::SVFIR::Inst2PAGEdgesMap()']]],
   ['inst2ptapagedgesmap',['inst2PTAPAGEdgesMap',['../classSVF_1_1SVFIR.html#a38366ab3152ad7f6fd649805f7b08d6b',1,'SVF::SVFIR']]],

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

@@ -49,18 +49,18 @@ var searchData=
   ['loadinst',['LoadInst',['../namespaceSVF.html#a5a6e8ab900d5cd17ef72661006a7fbe0',1,'SVF']]],
   ['loadmodules',['loadModules',['../classSVF_1_1LLVMModuleSet.html#a298966366b02d0a34f409c2c77da3789',1,'SVF::LLVMModuleSet']]],
   ['loadmssamu',['LoadMSSAMU',['../classSVF_1_1MSSAMU.html#a82c66f3e2b7d2d9dd391a947719bda9baca29c59204ea9d2e228cba3e349aa019',1,'SVF::MSSAMU']]],
-  ['loadmu',['LoadMU',['../classSVF_1_1LoadMU.html',1,'SVF::LoadMU< Cond >'],['../classSVF_1_1SVFG.html#a86d4a41a881a3d2e5def103d7ba8bb2f',1,'SVF::SVFG::LOADMU()'],['../classSVF_1_1MemSSA.html#a4717016109fd3bc80f3095d11afff5b1',1,'SVF::MemSSA::LOADMU()'],['../classSVF_1_1LoadMU.html#a2288f957cbd10892eb6f3a4d3d0e39ee',1,'SVF::LoadMU::LoadMU()']]],
+  ['loadmu',['LoadMU',['../classSVF_1_1LoadMU.html',1,'SVF::LoadMU< Cond >'],['../classSVF_1_1SVFG.html#a86d4a41a881a3d2e5def103d7ba8bb2f',1,'SVF::SVFG::LOADMU()'],['../classSVF_1_1MemSSA.html#a4717016109fd3bc80f3095d11afff5b1',1,'SVF::MemSSA::LOADMU()'],['../classSVF_1_1LoadMU.html#aaf916feaa76c3eaf96dcff576ef366ca',1,'SVF::LoadMU::LoadMU()']]],
   ['loadoutedges',['loadOutEdges',['../classSVF_1_1ConstraintNode.html#a85a6acbd708be0dfc63ea87050a4a934',1,'SVF::ConstraintNode']]],
-  ['loadpe',['LoadPE',['../classSVF_1_1LoadPE.html',1,'SVF::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)']]],
   ['loadset',['LoadSet',['../classSVF_1_1MTA.html#a80356495b6c45bac59dc15fd7a99730b',1,'SVF::MTA::LoadSet()'],['../classSVF_1_1MTAAnnotator.html#a469851829bf1105fe8faac44b4abbfdd',1,'SVF::MTAAnnotator::loadset()']]],
   ['loadsrcnodes',['loadSrcNodes',['../classSVF_1_1AliasDDAClient.html#a246448efd1ff5da683a6ffe9f759e282',1,'SVF::AliasDDAClient']]],
-  ['loadstomrsmap',['loadsToMRsMap',['../classSVF_1_1MRGenerator.html#a0d8229b1f0b8428708e923d19096e4ba',1,'SVF::MRGenerator::loadsToMRsMap()'],['../classSVF_1_1MRGenerator.html#a72f55ad36f4ce46c5eee4bf0ce736cee',1,'SVF::MRGenerator::LoadsToMRsMap()']]],
-  ['loadstopointstomap',['loadsToPointsToMap',['../classSVF_1_1MRGenerator.html#af47e15d6b8c15d547a718f3577513975',1,'SVF::MRGenerator::loadsToPointsToMap()'],['../classSVF_1_1MRGenerator.html#a7b9b1c326d075a9be473680fef6a9616',1,'SVF::MRGenerator::LoadsToPointsToMap()']]],
+  ['loadstmt',['LoadStmt',['../classSVF_1_1LoadStmt.html',1,'SVF::LoadStmt'],['../classSVF_1_1LoadStmt.html#a4bd939005c7c6a5da4ed3b6be6ef1a22',1,'SVF::LoadStmt::LoadStmt()'],['../classSVF_1_1LoadStmt.html#a2efafa925a30de73735ca73b1632b5f8',1,'SVF::LoadStmt::LoadStmt(const LoadStmt &)'],['../classSVF_1_1LoadStmt.html#a92c5817abfaa1f6fbc9ee911f458dfb2',1,'SVF::LoadStmt::LoadStmt(SVFVar *s, SVFVar *d)']]],
+  ['loadstomrsmap',['loadsToMRsMap',['../classSVF_1_1MRGenerator.html#a0d8229b1f0b8428708e923d19096e4ba',1,'SVF::MRGenerator::loadsToMRsMap()'],['../classSVF_1_1MRGenerator.html#a273b2634adcfa10a08924517e8d51175',1,'SVF::MRGenerator::LoadsToMRsMap()']]],
+  ['loadstopointstomap',['loadsToPointsToMap',['../classSVF_1_1MRGenerator.html#af47e15d6b8c15d547a718f3577513975',1,'SVF::MRGenerator::loadsToPointsToMap()'],['../classSVF_1_1MRGenerator.html#acfadd565b5c978c9417e059b3ea7588c',1,'SVF::MRGenerator::LoadsToPointsToMap()']]],
   ['loadsvfgnode',['LoadSVFGNode',['../namespaceSVF.html#a3ce49be3724e1e8423ccdfa726fbf6c8',1,'SVF']]],
   ['loadtime',['loadTime',['../classSVF_1_1FlowSensitive.html#aab4f70210eb1e6447a24697d3b459067',1,'SVF::FlowSensitive']]],
-  ['loadtomusetmap',['LoadToMUSetMap',['../classSVF_1_1MemSSA.html#ac5a9b2218c946ec17b478a95ab60ec6b',1,'SVF::MemSSA']]],
+  ['loadtomusetmap',['LoadToMUSetMap',['../classSVF_1_1MemSSA.html#a94164c59384ef04f98a3713b504fca35',1,'SVF::MemSSA']]],
   ['loadtoptcvarmap',['loadToPTCVarMap',['../classSVF_1_1DDAVFSolver.html#a6d62420837fe0c7814fc4da68a91eda4',1,'SVF::DDAVFSolver']]],
-  ['loadvfgnode',['LoadVFGNode',['../classSVF_1_1LoadVFGNode.html',1,'SVF::LoadVFGNode'],['../classSVF_1_1LoadVFGNode.html#aca72f4582e33a2d4ef3a96dd2936f567',1,'SVF::LoadVFGNode::LoadVFGNode()'],['../classSVF_1_1LoadVFGNode.html#afe482a8a05b0efc45ceb4052ea87a039',1,'SVF::LoadVFGNode::LoadVFGNode(const LoadVFGNode &)'],['../classSVF_1_1LoadVFGNode.html#a2e705c9f25182b990d3b7fb5fc825237',1,'SVF::LoadVFGNode::LoadVFGNode(NodeID id, const LoadPE *edge)']]],
+  ['loadvfgnode',['LoadVFGNode',['../classSVF_1_1LoadVFGNode.html',1,'SVF::LoadVFGNode'],['../classSVF_1_1LoadVFGNode.html#aca72f4582e33a2d4ef3a96dd2936f567',1,'SVF::LoadVFGNode::LoadVFGNode()'],['../classSVF_1_1LoadVFGNode.html#afe482a8a05b0efc45ceb4052ea87a039',1,'SVF::LoadVFGNode::LoadVFGNode(const LoadVFGNode &)'],['../classSVF_1_1LoadVFGNode.html#a8ae07c41215e9c7544c45e581c18c29b',1,'SVF::LoadVFGNode::LoadVFGNode(NodeID id, const LoadStmt *edge)']]],
   ['localcaches',['localCaches',['../structDdManager.html#a8f62071184b231f7320214e735b7fd0d',1,'DdManager']]],
   ['localvarinrecursion',['localVarInRecursion',['../classSVF_1_1PTAStat.html#a5b4095f427c9c7b9ec0db497ba33baea',1,'SVF::PTAStat']]],
   ['locationset',['LocationSet',['../classSVF_1_1LocationSet.html',1,'SVF::LocationSet'],['../classSVF_1_1LocationSet.html#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)']]],
@@ -105,7 +105,7 @@ var searchData=
   ['looseupto',['looseUpTo',['../structDdManager.html#a08442885cc19bd4e63ee8ca294669efa',1,'DdManager']]],
   ['low',['low',['../structMtrNode.html#a589c940a5262c8da11bf843a369bb2db',1,'MtrNode']]],
   ['lowlink',['lowlink',['../structSVF_1_1VersionedFlowSensitive_1_1SCC_1_1NodeData.html#a6d66813dfb5338c22de62c100e951cf2',1,'SVF::VersionedFlowSensitive::SCC::NodeData']]],
-  ['ls',['ls',['../classSVF_1_1NormalGepCGEdge.html#a7cbcaa28acde49ef0b03a8554a41344b',1,'SVF::NormalGepCGEdge::ls()'],['../classSVF_1_1NormalGepPE.html#abb2e135f44a20e5f9005a83fb8f72e7d',1,'SVF::NormalGepPE::ls()'],['../classSVF_1_1GepValPN.html#afb8bad0c8d61cd59410d99a405dfa9e8',1,'SVF::GepValPN::ls()'],['../classSVF_1_1GepObjPN.html#ab7a3961b0a3f6a8cc89c3cd81168180b',1,'SVF::GepObjPN::ls()']]],
+  ['ls',['ls',['../classSVF_1_1NormalGepCGEdge.html#a7cbcaa28acde49ef0b03a8554a41344b',1,'SVF::NormalGepCGEdge::ls()'],['../classSVF_1_1NormalGepStmt.html#a5dd71e9aea01d5dc2bf8fc070e67cadd',1,'SVF::NormalGepStmt::ls()'],['../classSVF_1_1GepValVar.html#a2ee5e9a2e5a92b32fd81fda09b560ad6',1,'SVF::GepValVar::ls()'],['../classSVF_1_1GepObjPN.html#ab7a3961b0a3f6a8cc89c3cd81168180b',1,'SVF::GepObjPN::ls()']]],
   ['lsa',['lsa',['../classSVF_1_1MTAAnnotator.html#a42a5c0eac879be5e300583aa7d07beb0',1,'SVF::MTAAnnotator::lsa()'],['../classSVF_1_1RaceValidator.html#a6982b72e3e2551deab80d9e3fefaab64',1,'SVF::RaceValidator::lsa()']]],
   ['lsrelation',['LSRelation',['../classSVF_1_1LocationSet.html#a002a0c8ec2528835d809bf7eb3ebc83f',1,'SVF::LocationSet']]]
 ];

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

@@ -79,7 +79,7 @@ var searchData=
   ['meldlabel',['meldLabel',['../classSVF_1_1VersionedFlowSensitive.html#aaff594c78d93f7ad632d344e5c1c7f6a',1,'SVF::VersionedFlowSensitive']]],
   ['meldlabelingtime',['meldLabelingTime',['../classSVF_1_1VersionedFlowSensitive.html#a4a594c8d6ccaa27b5328c6388fdb258d',1,'SVF::VersionedFlowSensitive']]],
   ['meldversion',['MeldVersion',['../classSVF_1_1VersionedFlowSensitive.html#a630eeca9c3344d24fa196f7de45bce18',1,'SVF::VersionedFlowSensitive']]],
-  ['mem',['mem',['../classSVF_1_1ObjPN.html#a7ec3165f6b61b089e25447f55ebf86a8',1,'SVF::ObjPN']]],
+  ['mem',['mem',['../classSVF_1_1ObjVar.html#a3d08dc1d15a449ff4b7018da4bfdcb88',1,'SVF::ObjVar']]],
   ['memccpy',['memccpy',['../util_8h.html#a0205fb37d444c425e6e4447f2ec2bd5d',1,'util.h']]],
   ['memchr',['memchr',['../util_8h.html#a550ca98f8f3cd9b4dc549d9391f7dab0',1,'util.h']]],
   ['memcmp',['memcmp',['../util_8h.html#a65c3e6b23d6855c86acaf147853c82cc',1,'util.h']]],

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

@@ -70,7 +70,7 @@ var searchData=
   ['nonoverlap',['NonOverlap',['../classSVF_1_1LocationSet.html#a002a0c8ec2528835d809bf7eb3ebc83fafb9c7d6d06f6f3ab60bd575aaca5d14d',1,'SVF::LocationSet']]],
   ['normalgep',['NormalGep',['../classSVF_1_1ConstraintEdge.html#a663af27955ba0c545f34fa1f076b7375acfd0a194af0da66162545f0089eb4baa',1,'SVF::ConstraintEdge::NormalGep()'],['../classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9ac2089ffeab3f27354b2094758c805746',1,'SVF::SVFStmt::NormalGep()']]],
   ['normalgepcgedge',['NormalGepCGEdge',['../classSVF_1_1NormalGepCGEdge.html',1,'SVF::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',1,'SVF::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',1,'SVF::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)']]],
   ['normalized',['normalized',['../classSVF_1_1CondPTAImpl.html#ab4115f25e2e477bfd73d01f069f47241',1,'SVF::CondPTAImpl']]],
   ['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()']]],
   ['normcallgraph',['NormCallGraph',['../classSVF_1_1PTACallGraph.html#a5b1fe2b2314db947cd5e709b7285fe1ca6bbe72ac881caacbded694492df5417c',1,'SVF::PTACallGraph']]],

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

@@ -3,7 +3,6 @@ var searchData=
   ['object',['object',['../classSVF_1_1DummyVersionPropSVFGNode.html#ad9a6fd01bf1a101da68eaacc61f420ee',1,'SVF::DummyVersionPropSVFGNode']]],
   ['objmap',['objMap',['../classSVF_1_1SymbolTableInfo.html#aeab14702eabde827923a692cba8f7f8a',1,'SVF::SymbolTableInfo']]],
   ['objnode',['ObjNode',['../classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffae21504009be26916ccdfcb5de42e3e11',1,'SVF::SVFVar']]],
-  ['objpn',['ObjPN',['../classSVF_1_1ObjPN.html',1,'SVF::ObjPN'],['../classSVF_1_1ObjPN.html#a3a326b64a747a2185978826a711736c3',1,'SVF::ObjPN::ObjPN()']]],
   ['objsymbol',['ObjSymbol',['../classSVF_1_1SymbolTableInfo.html#afd2cf6ef6d7f2a583c709a72067be89ba58703da9c0d4819869447b6a25dcff00',1,'SVF::SymbolTableInfo']]],
   ['objsymmap',['objSymMap',['../classSVF_1_1SymbolTableInfo.html#a5840b742ed8c73ece548b9b4aede07ec',1,'SVF::SymbolTableInfo']]],
   ['objsyms',['objSyms',['../classSVF_1_1SymbolTableInfo.html#a3f9612f32c651220386beb0514f8fcff',1,'SVF::SymbolTableInfo']]],
@@ -14,6 +13,7 @@ var searchData=
   ['objtotype',['objToType',['../classSVF_1_1TypeBasedHeapCloning.html#a477492fb699d742c33007a6ca934b5c1',1,'SVF::TypeBasedHeapCloning']]],
   ['objtoversionmap',['ObjToVersionMap',['../classSVF_1_1VersionedFlowSensitive.html#af9a43f48b7d99cc6694f3ae3248fd8e0',1,'SVF::VersionedFlowSensitive']]],
   ['objtypeinfo',['ObjTypeInfo',['../classSVF_1_1ObjTypeInfo.html',1,'SVF::ObjTypeInfo'],['../classSVF_1_1ObjTypeInfo.html#a1a182e6a8710242f94729412d4683f8d',1,'SVF::ObjTypeInfo::ObjTypeInfo(const Value *, const Type *t, u32_t max)'],['../classSVF_1_1ObjTypeInfo.html#afa03172e8fe0af6b523e866d54235f3a',1,'SVF::ObjTypeInfo::ObjTypeInfo(u32_t max, const Type *t)']]],
+  ['objvar',['ObjVar',['../classSVF_1_1ObjVar.html',1,'SVF::ObjVar'],['../classSVF_1_1ObjVar.html#a3ccbe6bbe3f565641e0cf46c5ecbb6bb',1,'SVF::ObjVar::ObjVar()']]],
   ['ocg',['oCG',['../classSVF_1_1AndersenHCD.html#af5fe01816e65ece685a3c3537ebd0137',1,'SVF::AndersenHCD']]],
   ['ocgdotgraph',['OCGDotGraph',['../classSVF_1_1Options.html#a2780c16611375631cd48bf9487f9e0bf',1,'SVF::Options']]],
   ['offlineconsg',['OfflineConsG',['../classSVF_1_1OfflineConsG.html',1,'SVF::OfflineConsG'],['../classSVF_1_1OfflineConsG.html#ae61c4f509b90dd43f63a07560ba3562f',1,'SVF::OfflineConsG::OfflineConsG()']]],
@@ -27,7 +27,7 @@ var searchData=
   ['ontheflyiterbudgetforstat',['OnTheFlyIterBudgetForStat',['../classSVF_1_1PointerAnalysis.html#afc320fbf269404fe128e69c98e6f9cac',1,'SVF::PointerAnalysis']]],
   ['oobresetvisited',['OOBResetVisited',['../classSVF_1_1DDAVFSolver.html#ab60c701f1881d88aa4440991fb972638',1,'SVF::DDAVFSolver']]],
   ['opcache',['OpCache',['../classSVF_1_1PersistentPointsToCache.html#a896bab5039f4bf2d0da71045e2c63ad7',1,'SVF::PersistentPointsToCache']]],
-  ['opcode',['opcode',['../classSVF_1_1CmpPE.html#a4a79b74096650de3d42b8af538f1d163',1,'SVF::CmpPE::opcode()'],['../classSVF_1_1BinaryOPPE.html#a1c30f75eec7e5566612d0d7d940cd000',1,'SVF::BinaryOPPE::opcode()'],['../classSVF_1_1UnaryOPPE.html#a09724c2ba28387799ec49e9d8683f818',1,'SVF::UnaryOPPE::opcode()']]],
+  ['opcode',['opcode',['../classSVF_1_1CmpStmt.html#a87452e597e1cdb3c6db976b5c27035fd',1,'SVF::CmpStmt::opcode()'],['../classSVF_1_1BinaryOPStmt.html#a0c4f900cf7321e8385b4f45e5cba3d1a',1,'SVF::BinaryOPStmt::opcode()'],['../classSVF_1_1UnaryOPStmt.html#a099df135a83d28a2e6f344e008fe1cc6',1,'SVF::UnaryOPStmt::opcode()']]],
   ['operator_20_26',['operator &',['../namespaceSVF.html#aaa21ff095e66a18937f29246e213f69d',1,'SVF::operator &(const PointsTo &lhs, const PointsTo &rhs)'],['../namespaceSVF.html#aaa21ff095e66a18937f29246e213f69d',1,'SVF::operator &(const PointsTo &lhs, const PointsTo &rhs)']]],
   ['operator_20_26_3d',['operator &=',['../classSVF_1_1CondStdSet.html#abb97324d865818f0a51992ee86d1c5ad',1,'SVF::CondStdSet::operator &=()'],['../classSVF_1_1PointsTo.html#a164aced0d6a19dd7ba8124ec2e77674c',1,'SVF::PointsTo::operator &=()'],['../classSVF_1_1CoreBitVector.html#ae84257a1544b94c9abf5c8d0f6cfaec9',1,'SVF::CoreBitVector::operator &=()']]],
   ['operator_21_3d',['operator!=',['../classSVF_1_1CondVar.html#a50321e5ead24c8a9d6c58998072634f0',1,'SVF::CondVar::operator!=()'],['../classSVF_1_1CondStdSet.html#a060a01d33fcd5ed4dfcaecb3d24cda07',1,'SVF::CondStdSet::operator!=()'],['../classSVF_1_1CondPointsToSet.html#af06ca0ddfcdca69199fbc9ab42f98558',1,'SVF::CondPointsToSet::operator!=()'],['../classSVF_1_1CondPointsToSet_1_1CondPtsSetIterator.html#a4b1e8adca9e8d1b046930e9d2abeb08f',1,'SVF::CondPointsToSet::CondPtsSetIterator::operator!=(int val)'],['../classSVF_1_1CondPointsToSet_1_1CondPtsSetIterator.html#a82068bca4dfc43402625638dcd1b9775',1,'SVF::CondPointsToSet::CondPtsSetIterator::operator!=(const CondPtsSetIterator &RHS) const'],['../classSVF_1_1PointsTo.html#a888f05fe8da4b95c44226f3c69469c75',1,'SVF::PointsTo::operator!=()'],['../classSVF_1_1PointsTo_1_1PointsToIterator.html#aa90476b4c0e75a256f8ff855f99ca970',1,'SVF::PointsTo::PointsToIterator::operator!=()'],['../classSVF_1_1SVFGNodeLockSpan.html#afa11dc0e8124bb36bfb404bfd94f4b40',1,'SVF::SVFGNodeLockSpan::operator!=()'],['../classSVF_1_1PTASCEV.html#a0541ce30f889355425d2aaeedbc857b9',1,'SVF::PTASCEV::operator!=()'],['../classllvm_1_1generic__bridge__gep__type__iterator.html#ab831157001de89b02c7df98a9b513e9c',1,'llvm::generic_bridge_gep_type_iterator::operator!=()'],['../classSVF_1_1CallSite.html#a44d8147b8b6d54e05a7108858dbaa7c6',1,'SVF::CallSite::operator!=()'],['../classSVF_1_1CoreBitVector.html#af142d3bb07e77c28bba6ece5b5b13f51',1,'SVF::CoreBitVector::operator!=()'],['../classSVF_1_1CoreBitVector_1_1CoreBitVectorIterator.html#aebdb5ddb9b50704f83dc924b7bfac74c',1,'SVF::CoreBitVector::CoreBitVectorIterator::operator!=()'],['../classSVF_1_1CxtStmt.html#a2a9aa82c6d4b95c6f1af0332666d8070',1,'SVF::CxtStmt::operator!=()'],['../classSVF_1_1CxtThreadStmt.html#ab900fccf35773064aae491d552df3825',1,'SVF::CxtThreadStmt::operator!=()'],['../classSVF_1_1CxtThread.html#acee7934273db9dde73b25743ed4aa911',1,'SVF::CxtThread::operator!=()'],['../classSVF_1_1CxtProc.html#a1e9e5490dead73e1cd9ddd964848eb13',1,'SVF::CxtProc::operator!=()'],['../classSVF_1_1CxtThreadProc.html#a7f65ade2a231590c26643ef907061727',1,'SVF::CxtThreadProc::operator!=()'],['../classSVF_1_1DPItem.html#add804064ca2bfaa16bcc25503698a1ea',1,'SVF::DPItem::operator!=()'],['../classSVF_1_1StmtDPItem.html#ab89875a3b692ed348b1b28bb9a173254',1,'SVF::StmtDPItem::operator!=()'],['../classSVF_1_1ContextCond.html#a357317ef5f0a848a30eb38eec8c8a0f8',1,'SVF::ContextCond::operator!=()'],['../classSVF_1_1CxtStmtDPItem.html#a2cab28448a57f568ac7c3ff43af0d60d',1,'SVF::CxtStmtDPItem::operator!=()'],['../classSVF_1_1CxtDPItem.html#ac4c40bac3d914c61db60751503201c57',1,'SVF::CxtDPItem::operator!=()'],['../classSVF_1_1VFPathCond.html#a6511e52c695247cd887f04ef37de15ff',1,'SVF::VFPathCond::operator!=()'],['../classSVF_1_1PathStmtDPItem.html#a886e2443efb35d18b92186a83875c7c9',1,'SVF::PathStmtDPItem::operator!=()'],['../classSVF_1_1SVFValue.html#ac64744d3e0c41be76ceef4b5715050b5',1,'SVF::SVFValue::operator!=()']]],
@@ -41,7 +41,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<<',['../classSVF_1_1ICFGEdge.html#a19a7a4e97b497d5ecc48016181ec58ce',1,'SVF::ICFGEdge::operator<<()'],['../classSVF_1_1ICFGNode.html#a19844bff2f6a0e90217c7a2ce9bb5184',1,'SVF::ICFGNode::operator<<()'],['../classSVF_1_1PTACallGraphEdge.html#a65b897bc0d878c6228feca008fa1fcb1',1,'SVF::PTACallGraphEdge::operator<<()'],['../classSVF_1_1PTACallGraphNode.html#a47cffc6e01a12b1321a551514820c905',1,'SVF::PTACallGraphNode::operator<<()'],['../classSVF_1_1VFGEdge.html#a99d90686fe65a24f861520e7efcca476',1,'SVF::VFGEdge::operator<<()'],['../classSVF_1_1VFGNode.html#acf120796be0cbb19c43fa271892b564a',1,'SVF::VFGNode::operator<<()'],['../classSVF_1_1CondVar.html#a539bf3722c1ef2887e5459add0abf24c',1,'SVF::CondVar::operator<<()'],['../classSVF_1_1SVFStmt.html#ad75e4c84f7d37824eb096aacca930ead',1,'SVF::SVFStmt::operator<<()'],['../classSVF_1_1SVFVar.html#a985930fc3a53ae8ff5fcb07d378f354b',1,'SVF::SVFVar::operator<<()'],['../classSVF_1_1SVFValue.html#a149a1e1c616bb0b9a265c2279737a67a',1,'SVF::SVFValue::operator<<()'],['../namespaceSVF.html#ac5a03512613828c2fab8930f38c2d485',1,'SVF::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_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']]],

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

@@ -6,7 +6,7 @@ var searchData=
   ['actualparmvfgnode',['ActualParmVFGNode',['../classSVF_1_1ActualParmVFGNode.html',1,'SVF']]],
   ['actualretvfgnode',['ActualRetVFGNode',['../classSVF_1_1ActualRetVFGNode.html',1,'SVF']]],
   ['addrcgedge',['AddrCGEdge',['../classSVF_1_1AddrCGEdge.html',1,'SVF']]],
-  ['addrpe',['AddrPE',['../classSVF_1_1AddrPE.html',1,'SVF']]],
+  ['addrstmt',['AddrStmt',['../classSVF_1_1AddrStmt.html',1,'SVF']]],
   ['addrvfgnode',['AddrVFGNode',['../classSVF_1_1AddrVFGNode.html',1,'SVF']]],
   ['aliasddaclient',['AliasDDAClient',['../classSVF_1_1AliasDDAClient.html',1,'SVF']]],
   ['andersen',['Andersen',['../classSVF_1_1Andersen.html',1,'SVF']]],

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

@@ -1,6 +1,6 @@
 var searchData=
 [
-  ['binaryoppe',['BinaryOPPE',['../classSVF_1_1BinaryOPPE.html',1,'SVF']]],
+  ['binaryopstmt',['BinaryOPStmt',['../classSVF_1_1BinaryOPStmt.html',1,'SVF']]],
   ['binaryopvfgnode',['BinaryOPVFGNode',['../classSVF_1_1BinaryOPVFGNode.html',1,'SVF']]],
   ['bitvector',['BitVector',['../classSVF_1_1BitVector.html',1,'SVF']]],
   ['branchcondexpr',['BranchCondExpr',['../classSVF_1_1BranchCondExpr.html',1,'SVF']]],

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

@@ -1,5 +1,5 @@
 var searchData=
 [
-  ['unaryoppe',['UnaryOPPE',['../classSVF_1_1UnaryOPPE.html',1,'SVF']]],
+  ['unaryopstmt',['UnaryOPStmt',['../classSVF_1_1UnaryOPStmt.html',1,'SVF']]],
   ['unaryopvfgnode',['UnaryOPVFGNode',['../classSVF_1_1UnaryOPVFGNode.html',1,'SVF']]]
 ];

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

@@ -1,9 +1,9 @@
 var searchData=
 [
-  ['valpn',['ValPN',['../classSVF_1_1ValPN.html',1,'SVF']]],
+  ['valvar',['ValVar',['../classSVF_1_1ValVar.html',1,'SVF']]],
   ['varargpn',['VarArgPN',['../classSVF_1_1VarArgPN.html',1,'SVF']]],
   ['variantgepcgedge',['VariantGepCGEdge',['../classSVF_1_1VariantGepCGEdge.html',1,'SVF']]],
-  ['variantgeppe',['VariantGepPE',['../classSVF_1_1VariantGepPE.html',1,'SVF']]],
+  ['variantgepstmt',['VariantGepStmt',['../classSVF_1_1VariantGepStmt.html',1,'SVF']]],
   ['versionedflowsensitive',['VersionedFlowSensitive',['../classSVF_1_1VersionedFlowSensitive.html',1,'SVF']]],
   ['versionedflowsensitivestat',['VersionedFlowSensitiveStat',['../classSVF_1_1VersionedFlowSensitiveStat.html',1,'SVF']]],
   ['versionedptdata',['VersionedPTData',['../classSVF_1_1VersionedPTData.html',1,'SVF']]],

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

@@ -25,11 +25,11 @@ var searchData=
   ['chgbuilder',['CHGBuilder',['../classSVF_1_1CHGBuilder.html',1,'SVF']]],
   ['chgraph',['CHGraph',['../classSVF_1_1CHGraph.html',1,'SVF']]],
   ['chnode',['CHNode',['../classSVF_1_1CHNode.html',1,'SVF']]],
-  ['clonedummyobjpn',['CloneDummyObjPN',['../classSVF_1_1CloneDummyObjPN.html',1,'SVF']]],
-  ['clonefiobjpn',['CloneFIObjPN',['../classSVF_1_1CloneFIObjPN.html',1,'SVF']]],
-  ['clonegepobjpn',['CloneGepObjPN',['../classSVF_1_1CloneGepObjPN.html',1,'SVF']]],
+  ['clonedummyobjvar',['CloneDummyObjVar',['../classSVF_1_1CloneDummyObjVar.html',1,'SVF']]],
+  ['clonefiobjvar',['CloneFIObjVar',['../classSVF_1_1CloneFIObjVar.html',1,'SVF']]],
+  ['clonegepobjvar',['CloneGepObjVar',['../classSVF_1_1CloneGepObjVar.html',1,'SVF']]],
   ['clusterer',['Clusterer',['../classSVF_1_1NodeIDAllocator_1_1Clusterer.html',1,'SVF::NodeIDAllocator']]],
-  ['cmppe',['CmpPE',['../classSVF_1_1CmpPE.html',1,'SVF']]],
+  ['cmpstmt',['CmpStmt',['../classSVF_1_1CmpStmt.html',1,'SVF']]],
   ['cmpvfgnode',['CmpVFGNode',['../classSVF_1_1CmpVFGNode.html',1,'SVF']]],
   ['commonchgraph',['CommonCHGraph',['../classSVF_1_1CommonCHGraph.html',1,'SVF']]],
   ['condexpr',['CondExpr',['../classSVF_1_1CondExpr.html',1,'SVF']]],
@@ -46,7 +46,7 @@ var searchData=
   ['contextcond',['ContextCond',['../classSVF_1_1ContextCond.html',1,'SVF']]],
   ['contextdda',['ContextDDA',['../classSVF_1_1ContextDDA.html',1,'SVF']]],
   ['copycgedge',['CopyCGEdge',['../classSVF_1_1CopyCGEdge.html',1,'SVF']]],
-  ['copype',['CopyPE',['../classSVF_1_1CopyPE.html',1,'SVF']]],
+  ['copystmt',['CopyStmt',['../classSVF_1_1CopyStmt.html',1,'SVF']]],
   ['copyvfgnode',['CopyVFGNode',['../classSVF_1_1CopyVFGNode.html',1,'SVF']]],
   ['corebitvector',['CoreBitVector',['../classSVF_1_1CoreBitVector.html',1,'SVF']]],
   ['corebitvectoriterator',['CoreBitVectorIterator',['../classSVF_1_1CoreBitVector_1_1CoreBitVectorIterator.html',1,'SVF::CoreBitVector']]],

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

@@ -38,7 +38,7 @@ var searchData=
   ['dotgraphtraits_3c_20vfg_20_2a_20_3e',['DOTGraphTraits< VFG * >',['../structllvm_1_1DOTGraphTraits_3_01VFG_01_5_01_4.html',1,'llvm']]],
   ['doublefreechecker',['DoubleFreeChecker',['../classSVF_1_1DoubleFreeChecker.html',1,'SVF']]],
   ['dpitem',['DPItem',['../classSVF_1_1DPItem.html',1,'SVF']]],
-  ['dummyobjpn',['DummyObjPN',['../classSVF_1_1DummyObjPN.html',1,'SVF']]],
-  ['dummyvalpn',['DummyValPN',['../classSVF_1_1DummyValPN.html',1,'SVF']]],
+  ['dummyobjvar',['DummyObjVar',['../classSVF_1_1DummyObjVar.html',1,'SVF']]],
+  ['dummyvalvar',['DummyValVar',['../classSVF_1_1DummyValVar.html',1,'SVF']]],
   ['dummyversionpropsvfgnode',['DummyVersionPropSVFGNode',['../classSVF_1_1DummyVersionPropSVFGNode.html',1,'SVF']]]
 ];

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

@@ -11,7 +11,7 @@ var searchData=
   ['fifoworklist_3c_20nodeid_20_3e',['FIFOWorkList< NodeID >',['../classSVF_1_1FIFOWorkList.html',1,'SVF']]],
   ['filechecker',['FileChecker',['../classSVF_1_1FileChecker.html',1,'SVF']]],
   ['filoworklist',['FILOWorkList',['../classSVF_1_1FILOWorkList.html',1,'SVF']]],
-  ['fiobjpn',['FIObjPN',['../classSVF_1_1FIObjPN.html',1,'SVF']]],
+  ['fiobjvar',['FIObjVar',['../classSVF_1_1FIObjVar.html',1,'SVF']]],
   ['flowdda',['FlowDDA',['../classSVF_1_1FlowDDA.html',1,'SVF']]],
   ['flowsensitive',['FlowSensitive',['../classSVF_1_1FlowSensitive.html',1,'SVF']]],
   ['flowsensitivestat',['FlowSensitiveStat',['../classSVF_1_1FlowSensitiveStat.html',1,'SVF']]],

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

@@ -12,8 +12,8 @@ var searchData=
   ['genericnode_3c_20dchnode_2c_20dchedge_20_3e',['GenericNode< DCHNode, DCHEdge >',['../classSVF_1_1GenericNode.html',1,'SVF']]],
   ['gepcgedge',['GepCGEdge',['../classSVF_1_1GepCGEdge.html',1,'SVF']]],
   ['gepobjpn',['GepObjPN',['../classSVF_1_1GepObjPN.html',1,'SVF']]],
-  ['geppe',['GepPE',['../classSVF_1_1GepPE.html',1,'SVF']]],
-  ['gepvalpn',['GepValPN',['../classSVF_1_1GepValPN.html',1,'SVF']]],
+  ['gepstmt',['GepStmt',['../classSVF_1_1GepStmt.html',1,'SVF']]],
+  ['gepvalvar',['GepValVar',['../classSVF_1_1GepValVar.html',1,'SVF']]],
   ['gepvfgnode',['GepVFGNode',['../classSVF_1_1GepVFGNode.html',1,'SVF']]],
   ['globalblocknode',['GlobalBlockNode',['../classSVF_1_1GlobalBlockNode.html',1,'SVF']]],
   ['gnodesccinfo',['GNodeSCCInfo',['../classSVF_1_1SCCDetection_1_1GNodeSCCInfo.html',1,'SVF::SCCDetection']]],

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

@@ -6,7 +6,7 @@ var searchData=
   ['llvmmoduleset',['LLVMModuleSet',['../classSVF_1_1LLVMModuleSet.html',1,'SVF']]],
   ['loadcgedge',['LoadCGEdge',['../classSVF_1_1LoadCGEdge.html',1,'SVF']]],
   ['loadmu',['LoadMU',['../classSVF_1_1LoadMU.html',1,'SVF']]],
-  ['loadpe',['LoadPE',['../classSVF_1_1LoadPE.html',1,'SVF']]],
+  ['loadstmt',['LoadStmt',['../classSVF_1_1LoadStmt.html',1,'SVF']]],
   ['loadvfgnode',['LoadVFGNode',['../classSVF_1_1LoadVFGNode.html',1,'SVF']]],
   ['locationset',['LocationSet',['../classSVF_1_1LocationSet.html',1,'SVF']]],
   ['lockanalysis',['LockAnalysis',['../classSVF_1_1LockAnalysis.html',1,'SVF']]],

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

@@ -3,6 +3,6 @@ var searchData=
   ['nodedata',['NodeData',['../structSVF_1_1VersionedFlowSensitive_1_1SCC_1_1NodeData.html',1,'SVF::VersionedFlowSensitive::SCC']]],
   ['nodeidallocator',['NodeIDAllocator',['../classSVF_1_1NodeIDAllocator.html',1,'SVF']]],
   ['normalgepcgedge',['NormalGepCGEdge',['../classSVF_1_1NormalGepCGEdge.html',1,'SVF']]],
-  ['normalgeppe',['NormalGepPE',['../classSVF_1_1NormalGepPE.html',1,'SVF']]],
+  ['normalgepstmt',['NormalGepStmt',['../classSVF_1_1NormalGepStmt.html',1,'SVF']]],
   ['nullptrvfgnode',['NullPtrVFGNode',['../classSVF_1_1NullPtrVFGNode.html',1,'SVF']]]
 ];

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

@@ -1,7 +1,7 @@
 var searchData=
 [
-  ['objpn',['ObjPN',['../classSVF_1_1ObjPN.html',1,'SVF']]],
   ['objtypeinfo',['ObjTypeInfo',['../classSVF_1_1ObjTypeInfo.html',1,'SVF']]],
+  ['objvar',['ObjVar',['../classSVF_1_1ObjVar.html',1,'SVF']]],
   ['offlineconsg',['OfflineConsG',['../classSVF_1_1OfflineConsG.html',1,'SVF']]],
   ['options',['Options',['../classSVF_1_1Options.html',1,'SVF']]]
 ];