svf-tools 1.0.317 → 1.0.321

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

@@ -97,8 +97,6 @@ var searchData=
   ['getanalysisusage',['getAnalysisUsage',['../classSVF_1_1DDAPass.html#af9ab14540f72aee9e54d5c450a4ebc86',1,'SVF::DDAPass::getAnalysisUsage()'],['../classSVF_1_1MTA.html#ab059d92eaed415d6d0ffdd655a633826',1,'SVF::MTA::getAnalysisUsage()'],['../classSVF_1_1BreakConstantGEPs.html#a172891924ad8afbd400aba38208a2741',1,'SVF::BreakConstantGEPs::getAnalysisUsage()'],['../classSVF_1_1MergeFunctionRets.html#a27ad1cbfe6d45fd0966f5b469038181d',1,'SVF::MergeFunctionRets::getAnalysisUsage()'],['../classSVF_1_1IteratedDominanceFrontier.html#a09a8ded5674e789536ffa10819cf1ed4',1,'SVF::IteratedDominanceFrontier::getAnalysisUsage()'],['../classSVF_1_1WPAPass.html#abe0750901c2e0305b3ced5e523489a4f',1,'SVF::WPAPass::getAnalysisUsage()']]],
   ['getancestorthread',['getAncestorThread',['../classSVF_1_1TCT.html#aeb7dff0c02a90cb338c8d054d2b78984',1,'SVF::TCT']]],
   ['getandersenanalysis',['getAndersenAnalysis',['../classSVF_1_1DDAVFSolver.html#ac39860015b45b9af6351d0343f8983bb',1,'SVF::DDAVFSolver']]],
-  ['getargno',['getArgNo',['../ExternalPAG_8cpp.html#abe9bb682282b331d0d8ca9d000d63443',1,'ExternalPAG.cpp']]],
-  ['getargnodes',['getArgNodes',['../classSVF_1_1ExternalPAG.html#af88e42a31e396ee9df11146638f1efcd',1,'SVF::ExternalPAG']]],
   ['getargoperand',['getArgOperand',['../classSVF_1_1CallSite.html#a5cd372d9fab846228fb0ee746001309a',1,'SVF::CallSite']]],
   ['getargument',['getArgument',['../classSVF_1_1CallSite.html#a26a594d36bbb5b77e7085502812d9ca2',1,'SVF::CallSite']]],
   ['getbackwardslicesize',['getBackwardSliceSize',['../classSVF_1_1ProgSlice.html#a967fa01a8baae0dd086b5c09ae0faa7b',1,'SVF::ProgSlice']]],
@@ -118,9 +116,7 @@ var searchData=
   ['getbbtophisetmap',['getBBToPhiSetMap',['../classSVF_1_1MemSSA.html#a966477062a453901da3631015fcf737d',1,'SVF::MemSSA']]],
   ['getbeforebrackets',['getBeforeBrackets',['../namespaceSVF_1_1cppUtil.html#a1cf2e4671b16b477cc779c72f2419234',1,'SVF::cppUtil']]],
   ['getbeforeparenthesis',['getBeforeParenthesis',['../CPPUtil_8cpp.html#a53e57a2e4be46abf7278148150682d89',1,'CPPUtil.cpp']]],
-  ['getbinarynodemap',['getBinaryNodeMap',['../classSVF_1_1SVFIR.html#a7a22298e0c19fa5ef156b8934dde88ce',1,'SVF::SVFIR']]],
   ['getbinaryopvfgnode',['getBinaryOPVFGNode',['../classSVF_1_1VFG.html#a27bd4d5ba75d65056d77882869b0c64d',1,'SVF::VFG']]],
-  ['getbinarypes',['getBinaryPEs',['../classSVF_1_1SVFIR.html#a2431fc9172f303c15c274f0e0b35c1a7',1,'SVF::SVFIR']]],
   ['getblackholenode',['getBlackHoleNode',['../classSVF_1_1ConstraintGraph.html#ab2b4725a8fcae8a1bc3c026d236005b8',1,'SVF::ConstraintGraph::getBlackHoleNode()'],['../classSVF_1_1IRGraph.html#a3ce34b9fcb651689bce44ab48fbcdff0',1,'SVF::IRGraph::getBlackHoleNode()']]],
   ['getblackholeobj',['getBlackHoleObj',['../classSVF_1_1IRGraph.html#aafe9544b07a8c40bf915613df11df48e',1,'SVF::IRGraph']]],
   ['getblkobj',['getBlkObj',['../classSVF_1_1SymbolTableInfo.html#aebf96274e1ad2a523981487839a3025e',1,'SVF::SymbolTableInfo']]],
@@ -128,6 +124,9 @@ var searchData=
   ['getblockicfgnode',['getBlockICFGNode',['../classSVF_1_1ICFG.html#ab7b0b3088b46ad65451905cc4f567a7b',1,'SVF::ICFG']]],
   ['getbranchcond',['getBranchCond',['../classSVF_1_1PathCondAllocator.html#a4d00c3306b92e59568b54a6a72afdb74',1,'SVF::PathCondAllocator::getBranchCond()'],['../classSVF_1_1BranchCondExpr.html#acbfed1c7771cdb49237cdd6d3c75d25c',1,'SVF::BranchCondExpr::getBranchCond()']]],
   ['getbranchcondtion',['getBranchCondtion',['../classSVF_1_1IntraCFGEdge.html#a52eb526a6066c4b909e250bd430c14ef',1,'SVF::IntraCFGEdge']]],
+  ['getbranchinst',['getBranchInst',['../classSVF_1_1BranchStmt.html#a2c6fe09027838f9e0ad9ab8193ce8e9b',1,'SVF::BranchStmt']]],
+  ['getbranchstmt',['getBranchStmt',['../classSVF_1_1BranchVFGNode.html#abbb429b521b54c2d7a6d8d7f52751455',1,'SVF::BranchVFGNode']]],
+  ['getbranchvfgnode',['getBranchVFGNode',['../classSVF_1_1VFG.html#a47609382fcd9ef36706e1d0f0531a843',1,'SVF::VFG']]],
   ['getbvpointsto',['getBVPointsTo',['../classSVF_1_1CondPTAImpl.html#a94f3e4d073b8c5bab3c46058ddba3f43',1,'SVF::CondPTAImpl']]],
   ['getbyteoffset',['getByteOffset',['../classSVF_1_1LocationSet.html#a5322dcda48d6980c3f7aafa169fcd77d',1,'SVF::LocationSet']]],
   ['getcachedadpointsto',['getCachedADPointsTo',['../classSVF_1_1DDAVFSolver.html#a2a2b3783074c9f509fc265b97b979704',1,'SVF::DDAVFSolver']]],
@@ -182,12 +181,11 @@ var searchData=
   ['getclassnameofthisptr',['getClassNameOfThisPtr',['../namespaceSVF_1_1cppUtil.html#a3bed7bc0a0ae580841ca049f91690ff7',1,'SVF::cppUtil']]],
   ['getclk',['getClk',['../classSVF_1_1PTAStat.html#a3c4eaa1695ea13405911ae1621f98edc',1,'SVF::PTAStat']]],
   ['getclones',['getClones',['../classSVF_1_1TypeBasedHeapCloning.html#af127bed600087b1ace26088a76ca8998',1,'SVF::TypeBasedHeapCloning']]],
-  ['getcmpnodemap',['getCmpNodeMap',['../classSVF_1_1SVFIR.html#a1391337b9336d12088c06625155f9bbe',1,'SVF::SVFIR']]],
-  ['getcmppes',['getCmpPEs',['../classSVF_1_1SVFIR.html#a34f31a31bc62fc441bcd9472b3ce196d',1,'SVF::SVFIR']]],
   ['getcmpvfgnode',['getCmpVFGNode',['../classSVF_1_1VFG.html#a9215c1d7f1152967f0731057a085e793',1,'SVF::VFG']]],
   ['getcompletenodelabel',['getCompleteNodeLabel',['../structllvm_1_1DOTGraphTraits_3_01SVFG_01_5_01_4.html#a381db1cc959f8f2279fb501f8224a19a',1,'llvm::DOTGraphTraits< SVFG * >::getCompleteNodeLabel()'],['../structllvm_1_1DOTGraphTraits_3_01VFG_01_5_01_4.html#a6ced6b5b50d920fb47c4334693fea86c',1,'llvm::DOTGraphTraits< VFG * >::getCompleteNodeLabel()']]],
   ['getcond',['getCond',['../classSVF_1_1MSSAMU.html#ac51263250da06fd63b923a6771744f97',1,'SVF::MSSAMU::getCond()'],['../classSVF_1_1MSSACHI.html#a9673994f9db94e23984b132d4b533304',1,'SVF::MSSACHI::getCond()'],['../classSVF_1_1MSSAPHI.html#a06a5d63be38e6df36e1c28a6c0c789cc',1,'SVF::MSSAPHI::getCond()'],['../classSVF_1_1PathCondAllocator.html#ad1fdfabb37f6bb5da6724b95404739e2',1,'SVF::PathCondAllocator::getCond()'],['../classSVF_1_1CondManager.html#ac246b92ebdf6a9635ed79892b81b9ae8',1,'SVF::CondManager::getCond()'],['../classSVF_1_1CxtStmtDPItem.html#ace41c90e66f6a85f12ff67540ad9d594',1,'SVF::CxtStmtDPItem::getCond() const'],['../classSVF_1_1CxtStmtDPItem.html#a987f57970d633acc10aa3f3e69b68cb0',1,'SVF::CxtStmtDPItem::getCond()'],['../classSVF_1_1PathStmtDPItem.html#a529f51d30556e6f67a33b7d05e651816',1,'SVF::PathStmtDPItem::getCond() const'],['../classSVF_1_1PathStmtDPItem.html#af96b78bbeb1f16d94f18e19c35672d28',1,'SVF::PathStmtDPItem::getCond()']]],
   ['getcondinst',['getCondInst',['../classSVF_1_1PathCondAllocator.html#adf65b74b89fca76c0cf5ea5dbd6dc4ca',1,'SVF::PathCondAllocator::getCondInst()'],['../classSVF_1_1CondManager.html#a4fac6a918f1f6d09fe1a4ceac7c19428',1,'SVF::CondManager::getCondInst()']]],
+  ['getcondition',['getCondition',['../classSVF_1_1BranchStmt.html#a915384027ae53e99311f05a08edf99f0',1,'SVF::BranchStmt']]],
   ['getcondkind',['getCondKind',['../classSVF_1_1CondExpr.html#a2ae78bbef9ad2f3c61aafa23111a50ef',1,'SVF::CondExpr']]],
   ['getcondmgr',['getCondMgr',['../classSVF_1_1CondManager.html#a0128830b629c00d91dc78d348300e7c6',1,'SVF::CondManager']]],
   ['getcondnum',['getCondNum',['../classSVF_1_1PathCondAllocator.html#ae8f2447d33e2c638c1375f97ff3c3b40',1,'SVF::PathCondAllocator']]],
@@ -205,13 +203,13 @@ var searchData=
   ['getcontexts',['getContexts',['../classSVF_1_1ContextCond.html#a73d4d6ed38898b912926d044268fd35b',1,'SVF::ContextCond::getContexts() const'],['../classSVF_1_1ContextCond.html#a2af7a9769d97ddb4a217d0baaf7c03a3',1,'SVF::ContextCond::getContexts()'],['../classSVF_1_1CxtDPItem.html#a1dea25cd5d72c52cef1cff23b832a196',1,'SVF::CxtDPItem::getContexts()']]],
   ['getcopyinedges',['getCopyInEdges',['../classSVF_1_1ConstraintNode.html#aa7fda7753c353db3284e087270ab7cd0',1,'SVF::ConstraintNode']]],
   ['getcopyoutedges',['getCopyOutEdges',['../classSVF_1_1ConstraintNode.html#ab77173aa8af6155b569f20ff0cdcec72',1,'SVF::ConstraintNode']]],
-  ['getcsclasses',['getCSClasses',['../classSVF_1_1CHGraph.html#a687d4d05b4c7db21d85256cd03efe08b',1,'SVF::CHGraph']]],
+  ['getcsclasses',['getCSClasses',['../classSVF_1_1CHGBuilder.html#adc3e52b70db841cb1566a1fb855256b6',1,'SVF::CHGBuilder']]],
   ['getcsidatcall',['getCSIDAtCall',['../classSVF_1_1ContextDDA.html#a2ce589a1d63a5126e178fc47527e0f92',1,'SVF::ContextDDA']]],
   ['getcsidatret',['getCSIDAtRet',['../classSVF_1_1ContextDDA.html#a7687f36ad3f27bb16069975f00a1a202',1,'SVF::ContextDDA']]],
   ['getcsstatictype',['getCSStaticType',['../classSVF_1_1DCHGraph.html#a236d785d728189c2026357ce837fcdc6',1,'SVF::DCHGraph']]],
   ['getcstcls',['getCSTCLS',['../classSVF_1_1LockAnalysis.html#a7faecaee57dbef533dc46b2708305ab2',1,'SVF::LockAnalysis']]],
-  ['getcsvfsbasedoncha',['getCSVFsBasedonCHA',['../classSVF_1_1CHGraph.html#a1c0ca4e6a466ad317daf00a6c7de8e31',1,'SVF::CHGraph::getCSVFsBasedonCHA()'],['../classSVF_1_1CommonCHGraph.html#abe9232b9cada361e0434f7c4390a7864',1,'SVF::CommonCHGraph::getCSVFsBasedonCHA()'],['../classSVF_1_1DCHGraph.html#ad398e58286af020fb4dcc03644f2a24f',1,'SVF::DCHGraph::getCSVFsBasedonCHA()']]],
-  ['getcsvtblsbasedoncha',['getCSVtblsBasedonCHA',['../classSVF_1_1CHGraph.html#a9878df891d2e20d09b65096060d2c148',1,'SVF::CHGraph::getCSVtblsBasedonCHA()'],['../classSVF_1_1CommonCHGraph.html#ae90f9a2152ab07aa0df16badd733f1fd',1,'SVF::CommonCHGraph::getCSVtblsBasedonCHA()'],['../classSVF_1_1DCHGraph.html#a3383b841bb79ee39cb108b9906fca6a9',1,'SVF::DCHGraph::getCSVtblsBasedonCHA()']]],
+  ['getcsvfsbasedoncha',['getCSVFsBasedonCHA',['../classSVF_1_1CommonCHGraph.html#abe9232b9cada361e0434f7c4390a7864',1,'SVF::CommonCHGraph::getCSVFsBasedonCHA()'],['../classSVF_1_1CHGraph.html#a1c0ca4e6a466ad317daf00a6c7de8e31',1,'SVF::CHGraph::getCSVFsBasedonCHA()'],['../classSVF_1_1DCHGraph.html#ad398e58286af020fb4dcc03644f2a24f',1,'SVF::DCHGraph::getCSVFsBasedonCHA()']]],
+  ['getcsvtblsbasedoncha',['getCSVtblsBasedonCHA',['../classSVF_1_1CommonCHGraph.html#ae90f9a2152ab07aa0df16badd733f1fd',1,'SVF::CommonCHGraph::getCSVtblsBasedonCHA()'],['../classSVF_1_1CHGraph.html#a9878df891d2e20d09b65096060d2c148',1,'SVF::CHGraph::getCSVtblsBasedonCHA()'],['../classSVF_1_1DCHGraph.html#a3383b841bb79ee39cb108b9906fca6a9',1,'SVF::DCHGraph::getCSVtblsBasedonCHA()']]],
   ['getcube',['getCube',['../cuddInt_8c.html#ac4564d7da48b5f6457d7adca5e619b4c',1,'cuddInt.c']]],
   ['getcurevalsvfgnode',['getCurEvalSVFGNode',['../classSVF_1_1PathCondAllocator.html#a0fa615ec0ccc48933b84d09b8e359da7',1,'SVF::PathCondAllocator']]],
   ['getcurnodeid',['getCurNodeID',['../classSVF_1_1DPItem.html#a03a90eca842c0e83d874902103f6fdb2',1,'SVF::DPItem']]],
@@ -261,16 +259,15 @@ 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']]],
-  ['getdstnode',['getDstNode',['../classSVF_1_1GenericEdge.html#aeaa31a2c8479e831b36ce2e2582ceb86',1,'SVF::GenericEdge']]],
+  ['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()']]],
   ['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_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()'],['../structllvm_1_1DOTGraphTraits_3_01CHGraph_01_5_01_4.html#a0ad443da42379a0038d42de4f7895b60',1,'llvm::DOTGraphTraits< CHGraph * >::getEdgeAttributes()']]],
+  ['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']]],
-  ['getedges',['getEdges',['../classSVF_1_1ExternalPAG.html#a68a53b3db6cdf02f49786492fc49c012',1,'SVF::ExternalPAG']]],
-  ['getedgeset',['getEdgeSet',['../classSVF_1_1IRGraph.html#a3071bd100577507b49859f1b1e23fa77',1,'SVF::IRGraph']]],
+  ['getedgeset',['getEdgeSet',['../classSVF_1_1SVFIR.html#ac2dff0e76e4ee879dc023255e7e6a63e',1,'SVF::SVFIR']]],
   ['getedgesourcelabel',['getEdgeSourceLabel',['../structllvm_1_1DOTGraphTraits_3_01ConstraintGraph_01_5_01_4.html#a76e78cd94e56ca46ac7e1db7162e594b',1,'llvm::DOTGraphTraits< ConstraintGraph * >::getEdgeSourceLabel()'],['../structllvm_1_1DOTGraphTraits_3_01ICFG_01_5_01_4.html#a6255edef186d9268868d683b4bbda133',1,'llvm::DOTGraphTraits< ICFG * >::getEdgeSourceLabel()'],['../structllvm_1_1DOTGraphTraits_3_01IRGraph_01_5_01_4.html#a947696a48fdac183d0cc40de92944315',1,'llvm::DOTGraphTraits< IRGraph * >::getEdgeSourceLabel()'],['../structllvm_1_1DOTGraphTraits_3_01OfflineConsG_01_5_01_4.html#a046f087794d334eb303a2cea66aad3c3',1,'llvm::DOTGraphTraits< OfflineConsG * >::getEdgeSourceLabel()'],['../structllvm_1_1DOTGraphTraits_3_01PTACallGraph_01_5_01_4.html#a576f422e667714d3e4948cbf3f631fc9',1,'llvm::DOTGraphTraits< PTACallGraph * >::getEdgeSourceLabel()'],['../structllvm_1_1DOTGraphTraits_3_01SVFG_01_5_01_4.html#aaaf78b3bb17f15a2c91566bfdc1bae9e',1,'llvm::DOTGraphTraits< SVFG * >::getEdgeSourceLabel()'],['../structllvm_1_1DOTGraphTraits_3_01VFG_01_5_01_4.html#af794115d33a8ea6f7f2e2c7ac5dd4c80',1,'llvm::DOTGraphTraits< VFG * >::getEdgeSourceLabel()']]],
   ['getedgetype',['getEdgeType',['../classSVF_1_1CHEdge.html#ae2b90913c6c5a30df2b285d31c694525',1,'SVF::CHEdge']]],
   ['getelementptrinst',['GetElementPtrInst',['../namespaceSVF.html#ac4e93e1fec646ff222940a663843921b',1,'SVF']]],
@@ -324,7 +321,6 @@ var searchData=
   ['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()']]],
-  ['getfunctionname',['getFunctionName',['../classSVF_1_1ExternalPAG.html#a25d59d95afaa5f548e09e6e625a14f33',1,'SVF::ExternalPAG']]],
   ['getfunctiontype',['getFunctionType',['../classSVF_1_1CallSite.html#ad0040f4b7953b509059223d1d52c203f',1,'SVF::CallSite']]],
   ['getfunentryblocknode',['getFunEntryBlockNode',['../classSVF_1_1ICFG.html#ae1ef14cdda27a2062c4c454750444108',1,'SVF::ICFG']]],
   ['getfunentrychinum',['getFunEntryChiNum',['../classSVF_1_1MemSSA.html#a15272a4ed019d1c323d1826c1bedb70f',1,'SVF::MemSSA']]],
@@ -357,9 +353,9 @@ var searchData=
   ['getglobalrep',['getGlobalRep',['../classSVF_1_1LLVMModuleSet.html#a757bf149437cce22163c764ea9993e12',1,'SVF::LLVMModuleSet::getGlobalRep()'],['../namespaceSVF_1_1SVFUtil.html#a4b55d5252da1f316f505cf6ce2078b28',1,'SVF::SVFUtil::getGlobalRep()']]],
   ['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::getGNode()'],['../classSVF_1_1NullPtrVFGNode.html#a27a4fcd20c56e8454ea525c17db8ab2b',1,'SVF::NullPtrVFGNode::getGNode()']]],
+  ['getgnode',['getGNode',['../classSVF_1_1GenericGraph.html#a43c9c773bfa17abf481c33073e30d01b',1,'SVF::GenericGraph']]],
   ['getgraphedge',['getGraphEdge',['../classSVF_1_1PTACallGraph.html#a2634a24621ab93fae7ec1cf94a8cba0b',1,'SVF::PTACallGraph::getGraphEdge()'],['../classSVF_1_1TCT.html#a7b40580939dc63f501a32571806c07bc',1,'SVF::TCT::getGraphEdge()']]],
-  ['getgraphname',['getGraphName',['../classSVF_1_1IRGraph.html#a5a34f23fee4f84e74908041efebd6867',1,'SVF::IRGraph::getGraphName()'],['../structllvm_1_1DOTGraphTraits_3_01ConstraintGraph_01_5_01_4.html#a9ed4562e3c1223c20e76e1372ba8b30d',1,'llvm::DOTGraphTraits< ConstraintGraph * >::getGraphName()'],['../structllvm_1_1DOTGraphTraits_3_01ICFG_01_5_01_4.html#a46226ebac48103764df6427119a322ce',1,'llvm::DOTGraphTraits< ICFG * >::getGraphName()'],['../structllvm_1_1DOTGraphTraits_3_01IRGraph_01_5_01_4.html#a6cbd0e71b5ea955de8a548bad9256160',1,'llvm::DOTGraphTraits< IRGraph * >::getGraphName()'],['../structllvm_1_1DOTGraphTraits_3_01OfflineConsG_01_5_01_4.html#af55f35dde97c37966d9d3396662e00aa',1,'llvm::DOTGraphTraits< OfflineConsG * >::getGraphName()'],['../structllvm_1_1DOTGraphTraits_3_01PTACallGraph_01_5_01_4.html#a698264fcfb5bdb99a28618d0701860d6',1,'llvm::DOTGraphTraits< PTACallGraph * >::getGraphName()'],['../structllvm_1_1DOTGraphTraits_3_01SVFG_01_5_01_4.html#a1275496006929be6375a0d71ed86c79b',1,'llvm::DOTGraphTraits< SVFG * >::getGraphName()'],['../structllvm_1_1DOTGraphTraits_3_01VFG_01_5_01_4.html#aaedec44d41a6e36c9e5db804e4a005dd',1,'llvm::DOTGraphTraits< VFG * >::getGraphName()'],['../structllvm_1_1DOTGraphTraits_3_01TCT_01_5_01_4.html#ad06b27680684ff1a7f1d0608f67cf89a',1,'llvm::DOTGraphTraits< TCT * >::getGraphName()'],['../structllvm_1_1DOTGraphTraits_3_01CHGraph_01_5_01_4.html#a942e068d1debc7f7dd7a6232adc2130f',1,'llvm::DOTGraphTraits< CHGraph * >::getGraphName()']]],
+  ['getgraphname',['getGraphName',['../classSVF_1_1IRGraph.html#a5a34f23fee4f84e74908041efebd6867',1,'SVF::IRGraph::getGraphName()'],['../structllvm_1_1DOTGraphTraits_3_01CHGraph_01_5_01_4.html#a942e068d1debc7f7dd7a6232adc2130f',1,'llvm::DOTGraphTraits< CHGraph * >::getGraphName()'],['../structllvm_1_1DOTGraphTraits_3_01ConstraintGraph_01_5_01_4.html#a9ed4562e3c1223c20e76e1372ba8b30d',1,'llvm::DOTGraphTraits< ConstraintGraph * >::getGraphName()'],['../structllvm_1_1DOTGraphTraits_3_01ICFG_01_5_01_4.html#a46226ebac48103764df6427119a322ce',1,'llvm::DOTGraphTraits< ICFG * >::getGraphName()'],['../structllvm_1_1DOTGraphTraits_3_01IRGraph_01_5_01_4.html#a6cbd0e71b5ea955de8a548bad9256160',1,'llvm::DOTGraphTraits< IRGraph * >::getGraphName()'],['../structllvm_1_1DOTGraphTraits_3_01OfflineConsG_01_5_01_4.html#af55f35dde97c37966d9d3396662e00aa',1,'llvm::DOTGraphTraits< OfflineConsG * >::getGraphName()'],['../structllvm_1_1DOTGraphTraits_3_01PTACallGraph_01_5_01_4.html#a698264fcfb5bdb99a28618d0701860d6',1,'llvm::DOTGraphTraits< PTACallGraph * >::getGraphName()'],['../structllvm_1_1DOTGraphTraits_3_01SVFG_01_5_01_4.html#a1275496006929be6375a0d71ed86c79b',1,'llvm::DOTGraphTraits< SVFG * >::getGraphName()'],['../structllvm_1_1DOTGraphTraits_3_01VFG_01_5_01_4.html#aaedec44d41a6e36c9e5db804e4a005dd',1,'llvm::DOTGraphTraits< VFG * >::getGraphName()'],['../structllvm_1_1DOTGraphTraits_3_01TCT_01_5_01_4.html#ad06b27680684ff1a7f1d0608f67cf89a',1,'llvm::DOTGraphTraits< TCT * >::getGraphName()']]],
   ['getheapallocholdingargposition',['getHeapAllocHoldingArgPosition',['../namespaceSVF_1_1SVFUtil.html#a73215bac62f1340a58f6c7f2ba9b0e7b',1,'SVF::SVFUtil::getHeapAllocHoldingArgPosition(const SVFFunction *fun)'],['../namespaceSVF_1_1SVFUtil.html#a298b6366145ed871faf3d01420ae5d20',1,'SVF::SVFUtil::getHeapAllocHoldingArgPosition(const CallSite cs)'],['../namespaceSVF_1_1SVFUtil.html#a5af986a7698e72272707cc2a466d5ae7',1,'SVF::SVFUtil::getHeapAllocHoldingArgPosition(const Instruction *inst)']]],
   ['geticfg',['getICFG',['../classSVF_1_1PointerAnalysis.html#ade879ee99cae01632d567d3736dcad9e',1,'SVF::PointerAnalysis::getICFG()'],['../classSVF_1_1SVFIR.html#aa1943d53e75aef9b014953143c6894da',1,'SVF::SVFIR::getICFG()']]],
   ['geticfgedge',['getICFGEdge',['../classSVF_1_1ICFG.html#a5dd4ac55123501c47c628adcf27e2475',1,'SVF::ICFG']]],
@@ -382,7 +378,7 @@ var searchData=
   ['getinsensitiveedgeset',['getInsensitiveEdgeSet',['../classSVF_1_1ContextDDA.html#a0d407903c4b0d976da30538ff0c5fc41',1,'SVF::ContextDDA']]],
   ['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_1CHGraph.html#aef3ce1727cb91581d6cd1123cf767cfb',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']]],
@@ -408,7 +404,7 @@ var searchData=
   ['getjoinedthread',['getJoinedThread',['../classSVF_1_1ForkJoinAnalysis.html#ada1e56dfe2d64ea6310142a346c86ed4',1,'SVF::ForkJoinAnalysis::getJoinedThread()'],['../classSVF_1_1ThreadAPI.html#ac9f3cc080275ce7d76dd2f56fc7c6434',1,'SVF::ThreadAPI::getJoinedThread(const Instruction *inst) const'],['../classSVF_1_1ThreadAPI.html#adf4350f4ef5a8d845806ab99591efa93',1,'SVF::ThreadAPI::getJoinedThread(CallSite cs) const']]],
   ['getjoinloop',['getJoinLoop',['../classSVF_1_1ForkJoinAnalysis.html#a3449439792a54c847c67b3041094db49',1,'SVF::ForkJoinAnalysis::getJoinLoop()'],['../classSVF_1_1TCT.html#a52a707bf6f278e810f440c279f5261dc',1,'SVF::TCT::getJoinLoop()']]],
   ['getjoinsites',['getJoinSites',['../classSVF_1_1ThreadCallGraph.html#aa8be8d48d680b3f2e61b2d8af5e9eddc',1,'SVF::ThreadCallGraph']]],
-  ['getkind',['getKind',['../classSVF_1_1PTACallGraph.html#ac6a294ec1c88862c8f7d54000f04e1f7',1,'SVF::PTACallGraph::getKind()'],['../classSVF_1_1VFG.html#ad63c3c11162ba107a6338fb24f9018d7',1,'SVF::VFG::getKind()'],['../classSVF_1_1CommonCHGraph.html#adf2a02fff9d7dd9fc9d92121e5e28f8b',1,'SVF::CommonCHGraph::getKind()'],['../classSVF_1_1SVFValue.html#a2ba3206a8461ef82713264e235128826',1,'SVF::SVFValue::getKind()']]],
+  ['getkind',['getKind',['../classSVF_1_1CommonCHGraph.html#adf2a02fff9d7dd9fc9d92121e5e28f8b',1,'SVF::CommonCHGraph::getKind()'],['../classSVF_1_1PTACallGraph.html#ac6a294ec1c88862c8f7d54000f04e1f7',1,'SVF::PTACallGraph::getKind()'],['../classSVF_1_1VFG.html#ad63c3c11162ba107a6338fb24f9018d7',1,'SVF::VFG::getKind()'],['../classSVF_1_1SVFValue.html#a2ba3206a8461ef82713264e235128826',1,'SVF::SVFValue::getKind()']]],
   ['getlargest',['getLargest',['../cuddInt_8c.html#a6506f1ae80b0f85d1e01da0db4a4f31a',1,'cuddInt.c']]],
   ['getlevelkeys',['getLevelKeys',['../cuddInt_8c.html#ad829ee379117400b55d9b61100bb1252',1,'cuddInt.c']]],
   ['getlhstoplevptr',['getLHSTopLevPtr',['../classSVF_1_1VFG.html#a1fff5a365e5aa2d99f07f7f64cc35fac',1,'SVF::VFG']]],
@@ -478,12 +474,12 @@ var searchData=
   ['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()']]],
   ['getnextcollapsenode',['getNextCollapseNode',['../classSVF_1_1ConstraintGraph.html#a006667ed55132ca0909c0e9118fea704',1,'SVF::ConstraintGraph']]],
   ['getnextinsts',['getNextInsts',['../classSVF_1_1MHP.html#a04357a2827d22e4e727d488d32eb5cb5',1,'SVF::MHP::getNextInsts()'],['../classSVF_1_1ForkJoinAnalysis.html#a799e14292e16b9fb322cab07f3ff5593',1,'SVF::ForkJoinAnalysis::getNextInsts()'],['../classSVF_1_1TCT.html#a97c3081d0648a8d483b07f23bbd1b6bf',1,'SVF::TCT::getNextInsts()'],['../namespaceSVF_1_1SVFUtil.html#a2f9959fa23ab4bdc65ca36fbda8c1b70',1,'SVF::SVFUtil::getNextInsts()']]],
-  ['getnode',['getNode',['../structllvm_1_1GraphTraits_3_01SVF_1_1GenericGraph_3_01NodeTy_00_01EdgeTy_01_4_01_5_4.html#ad67b19903549bef892b8b059228e4d19',1,'llvm::GraphTraits< SVF::GenericGraph< NodeTy, EdgeTy > *>::getNode()'],['../classSVF_1_1CHGraph.html#a7beec68a60036c93a741a7152e8198b6',1,'SVF::CHGraph::getNode()'],['../classSVF_1_1DCHGraph.html#a96c68bbb5ee5e939158ce0b67da2c61d',1,'SVF::DCHGraph::getNode()'],['../classSVF_1_1CFLSolver.html#adaa8ca9296ec3e9b6ec544a105296d22',1,'SVF::CFLSolver::getNode()']]],
-  ['getnodeattributes',['getNodeAttributes',['../structllvm_1_1DOTGraphTraits_3_01ConstraintGraph_01_5_01_4.html#a0ce25ef874ffaa798ae7ad498274b2f7',1,'llvm::DOTGraphTraits< ConstraintGraph * >::getNodeAttributes()'],['../structllvm_1_1DOTGraphTraits_3_01ICFG_01_5_01_4.html#aef77eaa614a202f39964d0a0917b5140',1,'llvm::DOTGraphTraits< ICFG * >::getNodeAttributes()'],['../structllvm_1_1DOTGraphTraits_3_01IRGraph_01_5_01_4.html#a9f6fb05fdadcba74038252a08356867d',1,'llvm::DOTGraphTraits< IRGraph * >::getNodeAttributes()'],['../structllvm_1_1DOTGraphTraits_3_01OfflineConsG_01_5_01_4.html#abd16485dc137eaede56cbf8d895ea111',1,'llvm::DOTGraphTraits< OfflineConsG * >::getNodeAttributes()'],['../structllvm_1_1DOTGraphTraits_3_01PTACallGraph_01_5_01_4.html#a7a75a7d83bfa57857e5855f9cf940086',1,'llvm::DOTGraphTraits< PTACallGraph * >::getNodeAttributes()'],['../structllvm_1_1DOTGraphTraits_3_01SVFG_01_5_01_4.html#a2efe884d285b1e4a0541e022f9ed40df',1,'llvm::DOTGraphTraits< SVFG * >::getNodeAttributes()'],['../structllvm_1_1DOTGraphTraits_3_01VFG_01_5_01_4.html#a57d4a186a0319b73d69752564bf25b2a',1,'llvm::DOTGraphTraits< VFG * >::getNodeAttributes()'],['../structllvm_1_1DOTGraphTraits_3_01TCT_01_5_01_4.html#a2b3151a123d6c22dc5d6fa81b3ea4a83',1,'llvm::DOTGraphTraits< TCT * >::getNodeAttributes()'],['../structllvm_1_1DOTGraphTraits_3_01CHGraph_01_5_01_4.html#afcfdde52d1ed3ecbd849cbf4a16fb880',1,'llvm::DOTGraphTraits< CHGraph * >::getNodeAttributes()']]],
+  ['getnode',['getNode',['../classSVF_1_1CHGraph.html#a7beec68a60036c93a741a7152e8198b6',1,'SVF::CHGraph::getNode()'],['../structllvm_1_1GraphTraits_3_01SVF_1_1GenericGraph_3_01NodeTy_00_01EdgeTy_01_4_01_5_4.html#ad67b19903549bef892b8b059228e4d19',1,'llvm::GraphTraits< SVF::GenericGraph< NodeTy, EdgeTy > *>::getNode()'],['../classSVF_1_1DCHGraph.html#a96c68bbb5ee5e939158ce0b67da2c61d',1,'SVF::DCHGraph::getNode()'],['../classSVF_1_1CFLSolver.html#adaa8ca9296ec3e9b6ec544a105296d22',1,'SVF::CFLSolver::getNode()']]],
+  ['getnodeattributes',['getNodeAttributes',['../structllvm_1_1DOTGraphTraits_3_01CHGraph_01_5_01_4.html#afcfdde52d1ed3ecbd849cbf4a16fb880',1,'llvm::DOTGraphTraits< CHGraph * >::getNodeAttributes()'],['../structllvm_1_1DOTGraphTraits_3_01ConstraintGraph_01_5_01_4.html#a0ce25ef874ffaa798ae7ad498274b2f7',1,'llvm::DOTGraphTraits< ConstraintGraph * >::getNodeAttributes()'],['../structllvm_1_1DOTGraphTraits_3_01ICFG_01_5_01_4.html#aef77eaa614a202f39964d0a0917b5140',1,'llvm::DOTGraphTraits< ICFG * >::getNodeAttributes()'],['../structllvm_1_1DOTGraphTraits_3_01IRGraph_01_5_01_4.html#a9f6fb05fdadcba74038252a08356867d',1,'llvm::DOTGraphTraits< IRGraph * >::getNodeAttributes()'],['../structllvm_1_1DOTGraphTraits_3_01OfflineConsG_01_5_01_4.html#abd16485dc137eaede56cbf8d895ea111',1,'llvm::DOTGraphTraits< OfflineConsG * >::getNodeAttributes()'],['../structllvm_1_1DOTGraphTraits_3_01PTACallGraph_01_5_01_4.html#a7a75a7d83bfa57857e5855f9cf940086',1,'llvm::DOTGraphTraits< PTACallGraph * >::getNodeAttributes()'],['../structllvm_1_1DOTGraphTraits_3_01SVFG_01_5_01_4.html#a2efe884d285b1e4a0541e022f9ed40df',1,'llvm::DOTGraphTraits< SVFG * >::getNodeAttributes()'],['../structllvm_1_1DOTGraphTraits_3_01VFG_01_5_01_4.html#a57d4a186a0319b73d69752564bf25b2a',1,'llvm::DOTGraphTraits< VFG * >::getNodeAttributes()'],['../structllvm_1_1DOTGraphTraits_3_01TCT_01_5_01_4.html#a2b3151a123d6c22dc5d6fa81b3ea4a83',1,'llvm::DOTGraphTraits< TCT * >::getNodeAttributes()']]],
   ['getnodeid',['getNodeID',['../structllvm_1_1GraphTraits_3_01Inverse_3_01SVF_1_1GenericNode_3_01NodeTy_00_01EdgeTy_01_4_01_5_4_01_4.html#ac79255244b6b59876be19266ff214afb',1,'llvm::GraphTraits< Inverse< SVF::GenericNode< NodeTy, EdgeTy > *> >::getNodeID()'],['../structllvm_1_1GraphTraits_3_01SVF_1_1GenericGraph_3_01NodeTy_00_01EdgeTy_01_4_01_5_4.html#a29ec19f4829cfe458c1eaab47e6fe8c0',1,'llvm::GraphTraits< SVF::GenericGraph< NodeTy, EdgeTy > *>::getNodeID()']]],
   ['getnodeidfromitem',['getNodeIDFromItem',['../classSVF_1_1CFLSolver.html#a31199503d0ed7aff97d4620b3599dea6',1,'SVF::CFLSolver']]],
   ['getnodekind',['getNodeKind',['../classSVF_1_1GenericNode.html#a391e996d695b114530120723da1d003e',1,'SVF::GenericNode']]],
-  ['getnodelabel',['getNodeLabel',['../structllvm_1_1DOTGraphTraits_3_01ConstraintGraph_01_5_01_4.html#aa72b3ad953c6ea3309c83735512ff408',1,'llvm::DOTGraphTraits< ConstraintGraph * >::getNodeLabel()'],['../structllvm_1_1DOTGraphTraits_3_01ICFG_01_5_01_4.html#aaab33f12ee11b03d7d55a55f46178a2c',1,'llvm::DOTGraphTraits< ICFG * >::getNodeLabel()'],['../structllvm_1_1DOTGraphTraits_3_01IRGraph_01_5_01_4.html#aa8f1f1699fe8350542072cae450c8afa',1,'llvm::DOTGraphTraits< IRGraph * >::getNodeLabel()'],['../structllvm_1_1DOTGraphTraits_3_01OfflineConsG_01_5_01_4.html#aacbbb986a293424442c6560d3a2cf357',1,'llvm::DOTGraphTraits< OfflineConsG * >::getNodeLabel()'],['../structllvm_1_1DOTGraphTraits_3_01PTACallGraph_01_5_01_4.html#a687cf2ca3cab75946151c6d34cc703fe',1,'llvm::DOTGraphTraits< PTACallGraph * >::getNodeLabel()'],['../structllvm_1_1DOTGraphTraits_3_01SVFG_01_5_01_4.html#a4407708863cb2a50fd4d4c516f5f3ea4',1,'llvm::DOTGraphTraits< SVFG * >::getNodeLabel()'],['../structllvm_1_1DOTGraphTraits_3_01VFG_01_5_01_4.html#a6470ed90c2a601b01715d02cffd90918',1,'llvm::DOTGraphTraits< VFG * >::getNodeLabel()'],['../structllvm_1_1DOTGraphTraits_3_01TCT_01_5_01_4.html#ab966d3c80f99fca37951929ac4037ddc',1,'llvm::DOTGraphTraits< TCT * >::getNodeLabel()'],['../structllvm_1_1DOTGraphTraits_3_01CHGraph_01_5_01_4.html#ab29e74e9089311dd79afad62234e98cd',1,'llvm::DOTGraphTraits< CHGraph * >::getNodeLabel()']]],
+  ['getnodelabel',['getNodeLabel',['../structllvm_1_1DOTGraphTraits_3_01CHGraph_01_5_01_4.html#ab29e74e9089311dd79afad62234e98cd',1,'llvm::DOTGraphTraits< CHGraph * >::getNodeLabel()'],['../structllvm_1_1DOTGraphTraits_3_01ConstraintGraph_01_5_01_4.html#aa72b3ad953c6ea3309c83735512ff408',1,'llvm::DOTGraphTraits< ConstraintGraph * >::getNodeLabel()'],['../structllvm_1_1DOTGraphTraits_3_01ICFG_01_5_01_4.html#aaab33f12ee11b03d7d55a55f46178a2c',1,'llvm::DOTGraphTraits< ICFG * >::getNodeLabel()'],['../structllvm_1_1DOTGraphTraits_3_01IRGraph_01_5_01_4.html#aa8f1f1699fe8350542072cae450c8afa',1,'llvm::DOTGraphTraits< IRGraph * >::getNodeLabel()'],['../structllvm_1_1DOTGraphTraits_3_01OfflineConsG_01_5_01_4.html#aacbbb986a293424442c6560d3a2cf357',1,'llvm::DOTGraphTraits< OfflineConsG * >::getNodeLabel()'],['../structllvm_1_1DOTGraphTraits_3_01PTACallGraph_01_5_01_4.html#a687cf2ca3cab75946151c6d34cc703fe',1,'llvm::DOTGraphTraits< PTACallGraph * >::getNodeLabel()'],['../structllvm_1_1DOTGraphTraits_3_01SVFG_01_5_01_4.html#a4407708863cb2a50fd4d4c516f5f3ea4',1,'llvm::DOTGraphTraits< SVFG * >::getNodeLabel()'],['../structllvm_1_1DOTGraphTraits_3_01VFG_01_5_01_4.html#a6470ed90c2a601b01715d02cffd90918',1,'llvm::DOTGraphTraits< VFG * >::getNodeLabel()'],['../structllvm_1_1DOTGraphTraits_3_01TCT_01_5_01_4.html#ab966d3c80f99fca37951929ac4037ddc',1,'llvm::DOTGraphTraits< TCT * >::getNodeLabel()']]],
   ['getnodemapping',['getNodeMapping',['../classSVF_1_1PointsTo.html#a06b981a2b7b04549f494dffde974c56d',1,'SVF::PointsTo']]],
   ['getnodenumafterpagbuild',['getNodeNumAfterPAGBuild',['../classSVF_1_1IRGraph.html#a0a18bca50f7cd3a1882754f19303d257',1,'SVF::IRGraph']]],
   ['getnorrep',['getNorRep',['../classSVF_1_1OfflineConsG.html#a5deba2c74d1a3dc24ec55e3ecf3227be',1,'SVF::OfflineConsG']]],
@@ -498,11 +494,11 @@ var searchData=
   ['getnumofparforsite',['getNumOfParForSite',['../classSVF_1_1ThreadCallGraph.html#ad883eb92aece6818a3a0a261fa3407ce',1,'SVF::ThreadCallGraph']]],
   ['getnumofresolvedindcalledge',['getNumOfResolvedIndCallEdge',['../classSVF_1_1PTACallGraph.html#a3379185589e9bcafa4f961930aaf2694',1,'SVF::PTACallGraph::getNumOfResolvedIndCallEdge()'],['../classSVF_1_1PointerAnalysis.html#ac522df904e702381222a4d9b205c775b',1,'SVF::PointerAnalysis::getNumOfResolvedIndCallEdge()']]],
   ['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']]],
   ['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']]],
-  ['getobjectnodes',['getObjectNodes',['../classSVF_1_1ExternalPAG.html#acb3156be31f4dd45590d931b0f9279f5',1,'SVF::ExternalPAG']]],
   ['getobjsize',['getObjSize',['../classSVF_1_1SymbolTableBuilder.html#a0f6e58467a6c280181c0366ca6331f98',1,'SVF::SymbolTableBuilder']]],
   ['getobjswithclones',['getObjsWithClones',['../classSVF_1_1TypeBasedHeapCloning.html#ad1c67da3aac128ca8a69907fdad53fcd',1,'SVF::TypeBasedHeapCloning']]],
   ['getobjsym',['getObjSym',['../classSVF_1_1SymbolTableInfo.html#afca5a68d1825326e3ec6302ce0afee66',1,'SVF::SymbolTableInfo']]],
@@ -510,8 +506,13 @@ var searchData=
   ['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()']]],
   ['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()']]],
+  ['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()']]],
   ['getoraddblockicfgnode',['getOrAddBlockICFGNode',['../classSVF_1_1ICFGBuilder.html#a42f190f697284e6da7a6211ce7adecfe',1,'SVF::ICFGBuilder']]],
@@ -540,6 +541,7 @@ var searchData=
   ['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']]],
+  ['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']]],
   ['getpagsrcnode',['getPAGSrcNode',['../classSVF_1_1StmtVFGNode.html#a837da5917c31e14aa51c6fa3e2640849',1,'SVF::StmtVFGNode']]],
@@ -553,8 +555,6 @@ var searchData=
   ['getpathallocator',['getPathAllocator',['../classSVF_1_1SrcSnkDDA.html#a1a6ae6b1f6864057067d0e5533ea801e',1,'SVF::SrcSnkDDA']]],
   ['getpaths',['getPaths',['../classSVF_1_1VFPathCond.html#a8e9b42c314d4d182252e171b5b7f8cc4',1,'SVF::VFPathCond']]],
   ['getphicomplementcond',['getPHIComplementCond',['../classSVF_1_1PathCondAllocator.html#abef2785eb426d5e1d6f273300c691db6',1,'SVF::PathCondAllocator']]],
-  ['getphicopypes',['getPhiCopyPEs',['../classSVF_1_1SVFIR.html#acfad220c028d3d3209eca362da09d35a',1,'SVF::SVFIR']]],
-  ['getphinodemap',['getPhiNodeMap',['../classSVF_1_1SVFIR.html#a4824eb27f3b4616f74b5caf25195727c',1,'SVF::SVFIR']]],
   ['getphiset',['getPHISet',['../classSVF_1_1MemSSA.html#a964f3fe39ece9a7b8b2033428b75a274',1,'SVF::MemSSA']]],
   ['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']]],
@@ -568,7 +568,7 @@ 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_1IRGraph.html#a2e2b2090569c09c2e2f1d90d04fd2f8b',1,'SVF::IRGraph']]],
+  ['getptaedgeset',['getPTAEdgeSet',['../classSVF_1_1SVFIR.html#a9c33009dc1aa3e16adfd34effd4471f6',1,'SVF::SVFIR']]],
   ['getptapagedgenum',['getPTAPAGEdgeNum',['../classSVF_1_1IRGraph.html#ad4860fe89aa3a11c73aac3ed60f712cb',1,'SVF::IRGraph']]],
   ['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()']]],
@@ -588,7 +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()']]],
+  ['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()']]],
   ['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()']]],
@@ -597,7 +598,7 @@ var searchData=
   ['getretsite',['getRetSite',['../classSVF_1_1ProgSlice.html#a2a4c2d573b43f005ae668bffc7fc911d',1,'SVF::ProgSlice']]],
   ['getretsym',['getRetSym',['../classSVF_1_1SymbolTableInfo.html#afc8b0b6aea972f34a0c099b75114b81e',1,'SVF::SymbolTableInfo']]],
   ['getreturnmuset',['getReturnMuSet',['../classSVF_1_1MemSSA.html#af8c38a7ff8da4206f19c038024606d93',1,'SVF::MemSSA']]],
-  ['getreturnnode',['getReturnNode',['../classSVF_1_1ConstraintGraph.html#a802d7aa5c5bdc5c8720120f71d316b68',1,'SVF::ConstraintGraph::getReturnNode()'],['../classSVF_1_1ExternalPAG.html#ab32ce97e36e69379bc6b70c1657bbaa6',1,'SVF::ExternalPAG::getReturnNode()'],['../classSVF_1_1IRGraph.html#a96010999a4e5013beb1c37ef753ff910',1,'SVF::IRGraph::getReturnNode()'],['../classSVF_1_1SVFIRBuilder.html#aff99c8de4acf4eeaf01803dadf459b92',1,'SVF::SVFIRBuilder::getReturnNode()']]],
+  ['getreturnnode',['getReturnNode',['../classSVF_1_1ConstraintGraph.html#a802d7aa5c5bdc5c8720120f71d316b68',1,'SVF::ConstraintGraph::getReturnNode()'],['../classSVF_1_1IRGraph.html#a96010999a4e5013beb1c37ef753ff910',1,'SVF::IRGraph::getReturnNode()'],['../classSVF_1_1SVFIRBuilder.html#aff99c8de4acf4eeaf01803dadf459b92',1,'SVF::SVFIRBuilder::getReturnNode()']]],
   ['getrev',['getRev',['../classSVF_1_1ActualRetVFGNode.html#a4bcfddf05da46729c670b4f450f9d606',1,'SVF::ActualRetVFGNode']]],
   ['getreversenodemapping',['getReverseNodeMapping',['../classSVF_1_1NodeIDAllocator_1_1Clusterer.html#a36b25188130f4c21d145c950a70d616f',1,'SVF::NodeIDAllocator::Clusterer']]],
   ['getrevpts',['getRevPts',['../classSVF_1_1PTData.html#ab6146f5582946c08568f3a8d45e57b03',1,'SVF::PTData::getRevPts()'],['../classSVF_1_1MutablePTData.html#a36aa05b8f5c308035315d6df7036c096',1,'SVF::MutablePTData::getRevPts()'],['../classSVF_1_1MutableDiffPTData.html#ad9bd6762fc6525afaed4a6c6da63688d',1,'SVF::MutableDiffPTData::getRevPts()'],['../classSVF_1_1MutableDFPTData.html#a2f98940bd8266ad37a975c6d30d948b4',1,'SVF::MutableDFPTData::getRevPts()'],['../classSVF_1_1MutableVersionedPTData.html#a7de508c0d83895aee785524d28eac8b9',1,'SVF::MutableVersionedPTData::getRevPts()'],['../classSVF_1_1PersistentPTData.html#a916017f2cc924b10e72120d1d87afd34',1,'SVF::PersistentPTData::getRevPts()'],['../classSVF_1_1PersistentDiffPTData.html#a7a12f89c0de40dbcb5fe48219a7c121b',1,'SVF::PersistentDiffPTData::getRevPts()'],['../classSVF_1_1PersistentDFPTData.html#a50c3d871edb13ac5b3f0d625deb6449a',1,'SVF::PersistentDFPTData::getRevPts()'],['../classSVF_1_1PersistentVersionedPTData.html#aafa09ff01060e43f08278963179eec30',1,'SVF::PersistentVersionedPTData::getRevPts()'],['../classSVF_1_1PointerAnalysis.html#ad9af9655a13f3faeaf265ba370d1f280',1,'SVF::PointerAnalysis::getRevPts()'],['../classSVF_1_1BVDataPTAImpl.html#a58113943e4e7144d94d26991dcc8bcc7',1,'SVF::BVDataPTAImpl::getRevPts()'],['../classSVF_1_1CondPTAImpl.html#a0da0602c5b260afaba4bef1abcbcf7b3',1,'SVF::CondPTAImpl::getRevPts(CVar nodeId)'],['../classSVF_1_1CondPTAImpl.html#aa266eef30817c557882de19aefe135a9',1,'SVF::CondPTAImpl::getRevPts(NodeID obj)']]],
@@ -619,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']]],
-  ['getsrcnode',['getSrcNode',['../classSVF_1_1GenericEdge.html#ab47ca533c415841ef75456cbad439589',1,'SVF::GenericEdge']]],
+  ['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()']]],
   ['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()']]],
@@ -641,6 +642,8 @@ var searchData=
   ['getstructinfoiter',['getStructInfoIter',['../classSVF_1_1SymbolTableInfo.html#a075a16b154514e282fcdd6f116a99e43',1,'SVF::SymbolTableInfo']]],
   ['getsubnodes',['getSubNodes',['../classSVF_1_1Steensgaard.html#a95ed4be99e201058cb6d994250d2629f',1,'SVF::Steensgaard']]],
   ['getsubs',['getSubs',['../classSVF_1_1ConstraintGraph.html#ade6a90ed5e0a9e8615bafec54d9d1d73',1,'SVF::ConstraintGraph']]],
+  ['getsuccessor',['getSuccessor',['../classSVF_1_1BranchVFGNode.html#ae611eb1d27846c15b7301017e1864a30',1,'SVF::BranchVFGNode::getSuccessor()'],['../classSVF_1_1BranchStmt.html#a7d9a6ebb2d95942c453864b5327b1ae8',1,'SVF::BranchStmt::getSuccessor()']]],
+  ['getsuccessors',['getSuccessors',['../classSVF_1_1BranchVFGNode.html#abed63cf10f8e8cb9bb4b01772e4b0c6d',1,'SVF::BranchVFGNode::getSuccessors()'],['../classSVF_1_1BranchStmt.html#ae3aecc257d37c20084633027cb312faa',1,'SVF::BranchStmt::getSuccessors()']]],
   ['getsuccnodes',['getSuccNodes',['../classSVF_1_1MTASVFGBuilder.html#a7033805052c8fae5cd0104fdd9e345c0',1,'SVF::MTASVFGBuilder::getSuccNodes(const StmtSVFGNode *n)'],['../classSVF_1_1MTASVFGBuilder.html#a8164ae39b494115142767abc29cebd53',1,'SVF::MTASVFGBuilder::getSuccNodes(const StmtSVFGNode *n, NodeID o)']]],
   ['getsvffun',['getSVFFun',['../classSVF_1_1PCG.html#ac7dd2bbd4274a5e3a6427f3b674f99ba',1,'SVF::PCG::getSVFFun()'],['../classSVF_1_1TCT.html#a21bcc063a406eb8650df42cf5ced68c9',1,'SVF::TCT::getSVFFun()']]],
   ['getsvffunction',['getSVFFunction',['../classSVF_1_1LLVMModuleSet.html#a547b3bc62de65b9dbfc6dee55c063dd7',1,'SVF::LLVMModuleSet::getSVFFunction()'],['../classSVF_1_1SVFModule.html#af969d7739f27c8242985656bafbabaeb',1,'SVF::SVFModule::getSVFFunction()']]],
@@ -676,9 +679,7 @@ var searchData=
   ['gettypeofheapalloc',['getTypeOfHeapAlloc',['../namespaceSVF_1_1SVFUtil.html#a973113323e30a01fd904b35ac18d40ce',1,'SVF::SVFUtil']]],
   ['gettypesizeinbytes',['getTypeSizeInBytes',['../classSVF_1_1SymbolTableInfo.html#af4239ff717303dee25f1f4ba60070f9e',1,'SVF::SymbolTableInfo::getTypeSizeInBytes(const Type *type)'],['../classSVF_1_1SymbolTableInfo.html#ada63ac47515daa4402914083058baec8',1,'SVF::SymbolTableInfo::getTypeSizeInBytes(const StructType *sty, u32_t field_index)']]],
   ['gettypesystem',['getTypeSystem',['../classSVF_1_1PointerAnalysis.html#ae615dd279fbf681e3c15e7209e3adfbe',1,'SVF::PointerAnalysis']]],
-  ['getunarynodemap',['getUnaryNodeMap',['../classSVF_1_1SVFIR.html#a8ab6b4a744b462a36aa469fe30345577',1,'SVF::SVFIR']]],
   ['getunaryopvfgnode',['getUnaryOPVFGNode',['../classSVF_1_1VFG.html#a1ba67eb17437a1a47c230614c1e3d9fd',1,'SVF::VFG']]],
-  ['getunarypes',['getUnaryPEs',['../classSVF_1_1SVFIR.html#ae29da52f0907f16446d95dc758ddd3d7',1,'SVF::SVFIR']]],
   ['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()']]],
@@ -686,7 +687,6 @@ var searchData=
   ['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()']]],
   ['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']]],
-  ['getvaluenodes',['getValueNodes',['../classSVF_1_1ExternalPAG.html#a1d35176325629ae64beb28d5474dd8d7',1,'SVF::ExternalPAG']]],
   ['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()']]],
   ['getvarargsym',['getVarargSym',['../classSVF_1_1SymbolTableInfo.html#aec3fd21a11f760ca8684e390c6948f02',1,'SVF::SymbolTableInfo']]],
   ['getvcallidx',['getVCallIdx',['../namespaceSVF_1_1cppUtil.html#ad2a35c1d2e357690e634bb250a68795d',1,'SVF::cppUtil']]],
@@ -703,7 +703,7 @@ var searchData=
   ['getvfgnodes',['getVFGNodes',['../classSVF_1_1ICFGNode.html#abcc53637a634f7ec92b9c7861b941601',1,'SVF::ICFGNode::getVFGNodes()'],['../classSVF_1_1VFG.html#a18ec674e8ab0285ec086df87e5c591c9',1,'SVF::VFG::getVFGNodes()']]],
   ['getvfnsfromcha',['getVFnsFromCHA',['../classSVF_1_1PointerAnalysis.html#a0e09e07ee52ba605dc386ae1d7b965e2',1,'SVF::PointerAnalysis']]],
   ['getvfnsfrompts',['getVFnsFromPts',['../classSVF_1_1PointerAnalysis.html#a8fa5b8a7b410faf63106a879ff72bf51',1,'SVF::PointerAnalysis']]],
-  ['getvfnsfromvtbls',['getVFnsFromVtbls',['../classSVF_1_1CHGraph.html#ac5f5646db24455609cd86c421774dd3e',1,'SVF::CHGraph::getVFnsFromVtbls()'],['../classSVF_1_1CommonCHGraph.html#aae511b2ee7c2c7ea7be70c7884e92021',1,'SVF::CommonCHGraph::getVFnsFromVtbls()'],['../classSVF_1_1DCHGraph.html#a6a5d012fda005d45bf3196d1a7d2c6fa',1,'SVF::DCHGraph::getVFnsFromVtbls()']]],
+  ['getvfnsfromvtbls',['getVFnsFromVtbls',['../classSVF_1_1CommonCHGraph.html#aae511b2ee7c2c7ea7be70c7884e92021',1,'SVF::CommonCHGraph::getVFnsFromVtbls()'],['../classSVF_1_1CHGraph.html#ac5f5646db24455609cd86c421774dd3e',1,'SVF::CHGraph::getVFnsFromVtbls()'],['../classSVF_1_1DCHGraph.html#a6a5d012fda005d45bf3196d1a7d2c6fa',1,'SVF::DCHGraph::getVFnsFromVtbls()']]],
   ['getvfnvector',['getVfnVector',['../classSVF_1_1DCHNode.html#a11ad6b4fc518f6307727f6b76f7f6f53',1,'SVF::DCHNode']]],
   ['getvfnvectors',['getVfnVectors',['../classSVF_1_1DCHNode.html#a0669b995c4fe72f206154f5cf6889fe8',1,'SVF::DCHNode']]],
   ['getvirtualfunctionbasedonid',['getVirtualFunctionBasedonID',['../classSVF_1_1CHGraph.html#ab53198e1a85df15f04ed601f3346ef85',1,'SVF::CHGraph']]],

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

@@ -69,8 +69,7 @@ var searchData=
   ['hasdrcheckflag',['hasDRCheckFlag',['../classSVF_1_1Annotator.html#a6e958c20d7809545b026eb5246444711',1,'SVF::Annotator::hasDRCheckFlag(Instruction *inst) const'],['../classSVF_1_1Annotator.html#abc2d4a40ac8a0d70428b5066266f861c',1,'SVF::Annotator::hasDRCheckFlag(const Instruction *inst) const']]],
   ['hasdrnotcheckflag',['hasDRNotCheckFlag',['../classSVF_1_1Annotator.html#ad78f6de28e5474614f16707e1c599f48',1,'SVF::Annotator::hasDRNotCheckFlag(Instruction *inst) const'],['../classSVF_1_1Annotator.html#a11d7bfcb525e4fb74e3031dd9a2635fe',1,'SVF::Annotator::hasDRNotCheckFlag(const Instruction *inst) const']]],
   ['hasedge',['hasEdge',['../classSVF_1_1ConstraintGraph.html#a5f57823a4918f6c6bfee9c18beddda51',1,'SVF::ConstraintGraph::hasEdge()'],['../classSVF_1_1DCHGraph.html#a74b2e5787f65cf3e3b4a03ebec806b91',1,'SVF::DCHGraph::hasEdge()'],['../CHG_8cpp.html#a4c6cbac96543cd55e4df050a33512ac5',1,'hasEdge(): CHG.cpp']]],
-  ['hasexternalpag',['hasExternalPAG',['../classSVF_1_1ExternalPAG.html#a3a798aa788c5f1c200b7e2719660b5ec',1,'SVF::ExternalPAG']]],
-  ['hasflag',['hasFlag',['../classSVF_1_1ObjTypeInfo.html#a8e630eb30d05f665b998c6f9326d65cb',1,'SVF::ObjTypeInfo::hasFlag()'],['../classSVF_1_1CHNode.html#aebcbd36a7efc0dbe9b3c3f680ef033e7',1,'SVF::CHNode::hasFlag()'],['../classSVF_1_1DCHNode.html#a743bc5df582114c45d1907d62a42a39c',1,'SVF::DCHNode::hasFlag()']]],
+  ['hasflag',['hasFlag',['../classSVF_1_1CHNode.html#aebcbd36a7efc0dbe9b3c3f680ef033e7',1,'SVF::CHNode::hasFlag()'],['../classSVF_1_1ObjTypeInfo.html#a8e630eb30d05f665b998c6f9326d65cb',1,'SVF::ObjTypeInfo::hasFlag()'],['../classSVF_1_1DCHNode.html#a743bc5df582114c45d1907d62a42a39c',1,'SVF::DCHNode::hasFlag()']]],
   ['hasformalinsvfgnodes',['hasFormalINSVFGNodes',['../classSVF_1_1SVFG.html#a65f28035e0fa5bebf76d28612b2f8ba8',1,'SVF::SVFG']]],
   ['hasformaloutsvfgnodes',['hasFormalOUTSVFGNodes',['../classSVF_1_1SVFG.html#a1f8c60ad57bf473e0186b794d666b5c2',1,'SVF::SVFG']]],
   ['hasfunargslist',['hasFunArgsList',['../classSVF_1_1SVFIR.html#ac359813747b4f75920c5f395ba74f410',1,'SVF::SVFIR']]],
@@ -114,7 +113,7 @@ var searchData=
   ['hasintervfgedge',['hasInterVFGEdge',['../classSVF_1_1VFG.html#ad86631f70bd702b5635bdbeab7d884b9',1,'SVF::VFG']]],
   ['hasintraicfgedge',['hasIntraICFGEdge',['../classSVF_1_1ICFG.html#aa662baae5682ef6ec5084fa4147c9709',1,'SVF::ICFG']]],
   ['hasintravfgedge',['hasIntraVFGEdge',['../classSVF_1_1VFG.html#ac34c4529229404617c346f81cc6c141f',1,'SVF::VFG']]],
-  ['haslabelededge',['hasLabeledEdge',['../classSVF_1_1IRGraph.html#a192e584440eb141e0d35d8fed671bbe0',1,'SVF::IRGraph']]],
+  ['haslabelededge',['hasLabeledEdge',['../classSVF_1_1IRGraph.html#a192e584440eb141e0d35d8fed671bbe0',1,'SVF::IRGraph::hasLabeledEdge(SVFVar *src, SVFVar *dst, SVFStmt::PEDGEK kind, const ICFGNode *cs)'],['../classSVF_1_1IRGraph.html#a1c999e2fd771e4fda192af096e3ec92c',1,'SVF::IRGraph::hasLabeledEdge(SVFVar *src, SVFVar *op1, SVFStmt::PEDGEK kind, const SVFVar *op2)']]],
   ['haslcdcandidate',['hasLCDCandidate',['../classSVF_1_1AndersenLCD.html#ad3f4bd35f98c43a0642b91c6b0e7acb3',1,'SVF::AndersenLCD']]],
   ['hasmodmrset',['hasModMRSet',['../classSVF_1_1MRGenerator.html#a8868281e5f5b5f3a83acf8568971ad40',1,'SVF::MRGenerator']]],
   ['hasmodsideeffectofcallsite',['hasModSideEffectOfCallSite',['../classSVF_1_1MRGenerator.html#a07dc868039c5e2764b3cc34faff6d94a',1,'SVF::MRGenerator']]],
@@ -139,9 +138,7 @@ var searchData=
   ['hasref',['hasRef',['../classSVF_1_1OfflineConsG.html#a576cfa438bb109b7e451b410cd3a8569',1,'SVF::OfflineConsG']]],
   ['hasrefmrset',['hasRefMRSet',['../classSVF_1_1MRGenerator.html#aeed8bcf54d2a72c640e464e256249630',1,'SVF::MRGenerator']]],
   ['hasrefsideeffectofcallsite',['hasRefSideEffectOfCallSite',['../classSVF_1_1MRGenerator.html#ac91b6f0f33a95ba35cc23e0e4657732a',1,'SVF::MRGenerator']]],
-  ['hasreturn',['hasReturn',['../classSVF_1_1ExternalPAG.html#a10963e35a9e28ba2c5d2781a71a2c8bf',1,'SVF::ExternalPAG']]],
   ['hasreturnmu',['hasReturnMu',['../classSVF_1_1MemSSA.html#a3400d9a921672b3872656acecc3eac9f',1,'SVF::MemSSA']]],
-  ['hasreturnnode',['hasReturnNode',['../classSVF_1_1ExternalPAG.html#a419d2de51e3af016cf2cc3514ee0d735',1,'SVF::ExternalPAG']]],
   ['hassbsinkflag',['hasSBSinkFlag',['../classSVF_1_1Annotator.html#acbb2e202ab3fb864e70eac6b41c3899e',1,'SVF::Annotator']]],
   ['hassbsourceflag',['hasSBSourceFlag',['../classSVF_1_1Annotator.html#a3fb284999931900d92e60104980648ef',1,'SVF::Annotator']]],
   ['hasspanfromcxtlock',['hasSpanfromCxtLock',['../classSVF_1_1LockAnalysis.html#af8ada4a73bf132e1adeef7aa0522f596',1,'SVF::LockAnalysis']]],

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

@@ -81,7 +81,7 @@ var searchData=
   ['initdefault',['initDefault',['../classSVF_1_1DDAStat.html#ac7275c99ddd118696853188154ad6fbd',1,'SVF::DDAStat']]],
   ['initfromthreadapi',['initFromThreadAPI',['../classSVF_1_1PCG.html#a23752f0a9fe4f01698808d0a50ccc896',1,'SVF::PCG']]],
   ['initialglobal',['InitialGlobal',['../classSVF_1_1SVFIRBuilder.html#ae7fcd2050a57a43bfed2c7fd1c41d250',1,'SVF::SVFIRBuilder']]],
-  ['initialise',['initialise',['../classSVF_1_1DDAClient.html#a40f6d8769db41f4c907fe5b615e5df83',1,'SVF::DDAClient::initialise()'],['../classSVF_1_1ExternalPAG.html#a865a75aec231c9122842d2bdafeb4f6b',1,'SVF::ExternalPAG::initialise()']]],
+  ['initialise',['initialise',['../classSVF_1_1DDAClient.html#a40f6d8769db41f4c907fe5b615e5df83',1,'SVF::DDAClient']]],
   ['initialisecandidatepointers',['initialiseCandidatePointers',['../classSVF_1_1SVFIR.html#af6a2c401d5c7582a4a958b1fe40838e5',1,'SVF::SVFIR']]],
   ['initialisenodes',['initialiseNodes',['../classSVF_1_1SVFIRBuilder.html#af4b18e8e1fdfb117cb5dd1a81cea4b71',1,'SVF::SVFIRBuilder']]],
   ['initialize',['initialize',['../classSVF_1_1ContextDDA.html#adb9f21a86daeb2dd79537f3939c393cf',1,'SVF::ContextDDA::initialize()'],['../classSVF_1_1FlowDDA.html#af1fcf058a9feefeda63f07d4189513a1',1,'SVF::FlowDDA::initialize()'],['../classSVF_1_1PointerAnalysis.html#a431ec4f85eb0f029e5740b92fd9ceb32',1,'SVF::PointerAnalysis::initialize()'],['../classSVF_1_1FSMPTA.html#acbfb7d2a6d38b54966c98102c1ea6a38',1,'SVF::FSMPTA::initialize()'],['../classSVF_1_1MTAAnnotator.html#a108616cc98f15af3010ca45b91f32c04',1,'SVF::MTAAnnotator::initialize()'],['../classSVF_1_1SrcSnkDDA.html#a8883b9a42106ed8c55835d2ba9a579cd',1,'SVF::SrcSnkDDA::initialize()'],['../classSVF_1_1LLVMModuleSet.html#a9782bf6b7b015fd8fb48f75eb4508d22',1,'SVF::LLVMModuleSet::initialize()'],['../classSVF_1_1AndersenBase.html#a891816407a4c6346f56bc01a67b78aac',1,'SVF::AndersenBase::initialize()'],['../classSVF_1_1Andersen.html#a20617a69c112ad423b1b5021e48a8548',1,'SVF::Andersen::initialize()'],['../classSVF_1_1AndersenHCD.html#aaac9cac7fc5696adb585abd9d67f8c14',1,'SVF::AndersenHCD::initialize()'],['../classSVF_1_1AndersenHLCD.html#a5926080868429040f5142843f01a2a5c',1,'SVF::AndersenHLCD::initialize()'],['../classSVF_1_1AndersenSFR.html#a3b255068b3ea53041af94fd373a53bd4',1,'SVF::AndersenSFR::initialize()'],['../classSVF_1_1FlowSensitive.html#ad6243c1317503bed39411dab47c83da7',1,'SVF::FlowSensitive::initialize()'],['../classSVF_1_1FlowSensitiveTBHC.html#a4c5fb70aafc3a589b7b1e82ba8f61a6f',1,'SVF::FlowSensitiveTBHC::initialize()'],['../classSVF_1_1TypeAnalysis.html#a34177236a41f7a2b432243062f829985',1,'SVF::TypeAnalysis::initialize()'],['../classSVF_1_1VersionedFlowSensitive.html#a81d3528fd082018e4345f0b026bf3584',1,'SVF::VersionedFlowSensitive::initialize()']]],
@@ -106,7 +106,7 @@ var searchData=
   ['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()']]],
-  ['inst2labelmap',['Inst2LabelMap',['../classSVF_1_1SVFStmt.html#a5a3db6b1335b4adc55b961a6f480f228',1,'SVF::SVFStmt::Inst2LabelMap()'],['../classSVF_1_1SVFStmt.html#abb83549118bcd7216a053d82f7180d1c',1,'SVF::SVFStmt::inst2LabelMap()']]],
+  ['inst2labelmap',['inst2LabelMap',['../classSVF_1_1SVFStmt.html#abb83549118bcd7216a053d82f7180d1c',1,'SVF::SVFStmt::inst2LabelMap()'],['../classSVF_1_1SVFStmt.html#a5a3db6b1335b4adc55b961a6f480f228',1,'SVF::SVFStmt::Inst2LabelMap()']]],
   ['inst2pagedgesmap',['inst2PAGEdgesMap',['../classSVF_1_1SVFIR.html#a711d8a047ab8db4fdcac9d53aadf561c',1,'SVF::SVFIR::inst2PAGEdgesMap()'],['../classSVF_1_1SVFIR.html#a945fd37adc7071bd71d7aff65445544e',1,'SVF::SVFIR::Inst2PAGEdgesMap()']]],
   ['inst2ptapagedgesmap',['inst2PTAPAGEdgesMap',['../classSVF_1_1SVFIR.html#a38366ab3152ad7f6fd649805f7b08d6b',1,'SVF::SVFIR']]],
   ['inst_5fiterator',['inst_iterator',['../namespaceSVF.html#a255af6ff30782cb9a548feadb0fe7d6b',1,'SVF']]],
@@ -219,7 +219,6 @@ var searchData=
   ['isbase',['isBase',['../classSVF_1_1DCHGraph.html#ab33f9af6ad22eb99dd0d9950fb0e50e6',1,'SVF::DCHGraph::isBase()'],['../classSVF_1_1TypeBasedHeapCloning.html#add00f1c20a524c0be903af679bd6f638',1,'SVF::TypeBasedHeapCloning::isBase()']]],
   ['isbbcallsprogexit',['isBBCallsProgExit',['../classSVF_1_1PathCondAllocator.html#a39c0cc9dec89b0b52bf9f1026da942e1',1,'SVF::PathCondAllocator']]],
   ['isbinaryconstantexpr',['isBinaryConstantExpr',['../namespaceSVF_1_1SVFUtil.html#a43c9072210a5f5baeafe36da03f2fde2',1,'SVF::SVFUtil']]],
-  ['isbinarynode',['isBinaryNode',['../classSVF_1_1SVFIR.html#a156f3b985215a9d1c2e195c72d621e60',1,'SVF::SVFIR']]],
   ['isbkvisited',['isbkVisited',['../classSVF_1_1DDAVFSolver.html#a9a9c3a8b5e4ffc89418073110e446f20',1,'SVF::DDAVFSolver']]],
   ['isblackholeobj',['isBlackHoleObj',['../classSVF_1_1MemObj.html#a7b890ca9e93b1c61cc6437b7e6a82a8c',1,'SVF::MemObj']]],
   ['isblackholesym',['isBlackholeSym',['../classSVF_1_1SymbolTableInfo.html#ab15112d3900f28525848cbe5fad37deb',1,'SVF::SymbolTableInfo']]],
@@ -238,9 +237,9 @@ var searchData=
   ['iscfgedge',['isCFGEdge',['../classSVF_1_1ICFGEdge.html#a3d3813be0b873335b17bb590e130d173',1,'SVF::ICFGEdge']]],
   ['isclone',['isClone',['../classSVF_1_1TypeBasedHeapCloning.html#abce2ba326af69312c5971246cc4c10dc',1,'SVF::TypeBasedHeapCloning']]],
   ['iscmpconstantexpr',['isCmpConstantExpr',['../namespaceSVF_1_1SVFUtil.html#a4adb63c87a9489ab905d42230ac66299',1,'SVF::SVFUtil']]],
-  ['iscmpnode',['isCmpNode',['../classSVF_1_1SVFIR.html#ad39dee6cc5c65c0ece051ac7b0fcf89d',1,'SVF::SVFIR']]],
   ['isconcretecxt',['isConcreteCxt',['../classSVF_1_1ContextCond.html#ac5f7388c0bbcee1878201819b9cd199f',1,'SVF::ContextCond']]],
   ['iscondcompatible',['isCondCompatible',['../classSVF_1_1ContextDDA.html#a57d309971de00db9bd8c6bfaf237cbff',1,'SVF::ContextDDA::isCondCompatible()'],['../classSVF_1_1CondPTAImpl.html#a6b746c30161c7dab86510895e0032935',1,'SVF::CondPTAImpl::isCondCompatible()']]],
+  ['isconditional',['isConditional',['../classSVF_1_1BranchStmt.html#a71e7e95f095a937c900d049991312901',1,'SVF::BranchStmt']]],
   ['isconnectedfrommain',['isConnectedfromMain',['../classSVF_1_1MHP.html#a1cfec64cc65abcbc5ba32695850bfb48',1,'SVF::MHP']]],
   ['isconnectingtwocallsites',['isConnectingTwoCallSites',['../classSVF_1_1SVFGOPT.html#aa23c967a8fcadbaf47e93a5b3610c84d',1,'SVF::SVFGOPT']]],
   ['isconstant',['isConstant',['../classSVF_1_1MemObj.html#a3f429b085f749ed0c8269517eb9094ae',1,'SVF::MemObj::isConstant()'],['../classSVF_1_1ObjTypeInfo.html#a8c0ae8e177452b88b3a4ec81bf77c378',1,'SVF::ObjTypeInfo::isConstant()']]],
@@ -452,7 +451,7 @@ var searchData=
   ['istoplevelptrstmt',['isTopLevelPtrStmt',['../classSVF_1_1DDAVFSolver.html#a7b35588de00e322afd742041bf735571',1,'SVF::DDAVFSolver']]],
   ['istruncconstantexpr',['isTruncConstantExpr',['../namespaceSVF_1_1SVFUtil.html#a1373688c6faba4dcdb640106575ea433',1,'SVF::SVFUtil']]],
   ['isunaryconstantexpr',['isUnaryConstantExpr',['../namespaceSVF_1_1SVFUtil.html#af14757d5cf466bba20a125f118378560',1,'SVF::SVFUtil']]],
-  ['isunarynode',['isUnaryNode',['../classSVF_1_1SVFIR.html#a0c3b69d18967e3bcbb372b18b654b5a5',1,'SVF::SVFIR']]],
+  ['isunconditional',['isUnconditional',['../classSVF_1_1BranchStmt.html#a038d65e38fe792fec4050d3d1c9c5180',1,'SVF::BranchStmt']]],
   ['isvalidpointer',['isValidPointer',['../classSVF_1_1SVFIR.html#addc84dae75be8e8b9deccdb4360736d3',1,'SVF::SVFIR']]],
   ['isvalidtoplevelptr',['isValidTopLevelPtr',['../classSVF_1_1SVFIR.html#a5c3b194ebada47baaccf0e9f3ab1a139',1,'SVF::SVFIR']]],
   ['isvalvtbl',['isValVtbl',['../namespaceSVF_1_1cppUtil.html#aeef0f5c6486379043a7d47b0635f2667',1,'SVF::cppUtil']]],

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

@@ -14,7 +14,7 @@ var searchData=
   ['keytoidmap',['KeyToIDMap',['../classSVF_1_1PersistentPTData.html#aa4660a55bee52fc51248d694d475811f',1,'SVF::PersistentPTData::KeyToIDMap()'],['../classSVF_1_1PersistentDiffPTData.html#a4e706309fe4bb40b4424251888363215',1,'SVF::PersistentDiffPTData::KeyToIDMap()'],['../classSVF_1_1PersistentDFPTData.html#aee8871b4895d38bccb9078ad540f9f0f',1,'SVF::PersistentDFPTData::KeyToIDMap()'],['../classSVF_1_1PersistentVersionedPTData.html#a1927ccf9bb74b698f540f683e7f0d0f2',1,'SVF::PersistentVersionedPTData::KeyToIDMap()']]],
   ['kgrn',['KGRN',['../SVFUtil_8cpp.html#ac081c83b067273757f7a2e54a5957d41',1,'SVFUtil.cpp']]],
   ['kids',['kids',['../structDdNode.html#a4e99abf685381a90dcd5e9aa6a024791',1,'DdNode']]],
-  ['kind',['kind',['../classSVF_1_1PTACallGraph.html#a6a5927a58cc777a0745bd0ca635f25b1',1,'SVF::PTACallGraph::kind()'],['../classSVF_1_1VFG.html#a3867c591a231bad0aa2e6ab7c095a42f',1,'SVF::VFG::kind()'],['../classSVF_1_1CommonCHGraph.html#a4d3f2b9ed7ae8e87baf69525e9115071',1,'SVF::CommonCHGraph::kind()'],['../classSVF_1_1SVFValue.html#af9f71a3c0d055f5fed6831a6ecf40d67',1,'SVF::SVFValue::kind()']]],
+  ['kind',['kind',['../classSVF_1_1CommonCHGraph.html#a4d3f2b9ed7ae8e87baf69525e9115071',1,'SVF::CommonCHGraph::kind()'],['../classSVF_1_1PTACallGraph.html#a6a5927a58cc777a0745bd0ca635f25b1',1,'SVF::PTACallGraph::kind()'],['../classSVF_1_1VFG.html#a3867c591a231bad0aa2e6ab7c095a42f',1,'SVF::VFG::kind()'],['../classSVF_1_1SVFValue.html#af9f71a3c0d055f5fed6831a6ecf40d67',1,'SVF::SVFValue::kind()']]],
   ['knrm',['KNRM',['../SVFUtil_8cpp.html#a137aa83ec74421d226a90c92ec032ac9',1,'SVFUtil.cpp']]],
   ['kpur',['KPUR',['../SVFUtil_8cpp.html#a326cbc9ef8d75aa44a591bf476c9835b',1,'SVFUtil.cpp']]],
   ['kred',['KRED',['../SVFUtil_8cpp.html#a66290957baed5df3930ada4cb8caccf1',1,'SVFUtil.cpp']]],

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

@@ -36,7 +36,7 @@ var searchData=
   ['llvmfunend',['llvmFunEnd',['../classSVF_1_1SVFModule.html#af38d0f831967d6d8391a4c84e58d6519',1,'SVF::SVFModule::llvmFunEnd()'],['../classSVF_1_1SVFModule.html#a7662ba877691e7e337af54835c15c3c5',1,'SVF::SVFModule::llvmFunEnd() const']]],
   ['llvmmodule_2ecpp',['LLVMModule.cpp',['../LLVMModule_8cpp.html',1,'']]],
   ['llvmmodule_2eh',['LLVMModule.h',['../LLVMModule_8h.html',1,'']]],
-  ['llvmmoduleset',['LLVMModuleSet',['../classSVF_1_1LLVMModuleSet.html',1,'SVF::LLVMModuleSet'],['../classSVF_1_1LLVMModuleSet.html#ac59b07cafcbacc950eefea4082425b63',1,'SVF::LLVMModuleSet::llvmModuleSet()'],['../classSVF_1_1LLVMModuleSet.html#a8e70de9eefe2e188b10e214e073750e6',1,'SVF::LLVMModuleSet::LLVMModuleSet()']]],
+  ['llvmmoduleset',['LLVMModuleSet',['../classSVF_1_1LLVMModuleSet.html',1,'SVF::LLVMModuleSet'],['../classSVF_1_1LLVMModuleSet.html#a8e70de9eefe2e188b10e214e073750e6',1,'SVF::LLVMModuleSet::LLVMModuleSet()'],['../classSVF_1_1LLVMModuleSet.html#ac59b07cafcbacc950eefea4082425b63',1,'SVF::LLVMModuleSet::llvmModuleSet()']]],
   ['llvmutil_2ecpp',['LLVMUtil.cpp',['../LLVMUtil_8cpp.html',1,'']]],
   ['llvmutil_2eh',['LLVMUtil.h',['../LLVMUtil_8h.html',1,'']]],
   ['load',['Load',['../classSVF_1_1ConstraintEdge.html#a663af27955ba0c545f34fa1f076b7375a1bdeb9a06641d16b43391120812b40b2',1,'SVF::ConstraintEdge::Load()'],['../classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75a0dfbaf92c48e11aebc85760e6e799d80',1,'SVF::VFGNode::Load()'],['../classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a62ac8480c43fcc657c631ec0003b15d5',1,'SVF::SVFStmt::Load()']]],
@@ -49,12 +49,12 @@ 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_1LoadMU.html#a2288f957cbd10892eb6f3a4d3d0e39ee',1,'SVF::LoadMU::LoadMU()'],['../classSVF_1_1SVFG.html#a86d4a41a881a3d2e5def103d7ba8bb2f',1,'SVF::SVFG::LOADMU()'],['../classSVF_1_1MemSSA.html#a4717016109fd3bc80f3095d11afff5b1',1,'SVF::MemSSA::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#a2288f957cbd10892eb6f3a4d3d0e39ee',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#a72f55ad36f4ce46c5eee4bf0ce736cee',1,'SVF::MRGenerator::LoadsToMRsMap()'],['../classSVF_1_1MRGenerator.html#a0d8229b1f0b8428708e923d19096e4ba',1,'SVF::MRGenerator::loadsToMRsMap()']]],
+  ['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()']]],
   ['loadsvfgnode',['LoadSVFGNode',['../namespaceSVF.html#a3ce49be3724e1e8423ccdfa726fbf6c8',1,'SVF']]],
   ['loadtime',['loadTime',['../classSVF_1_1FlowSensitive.html#aab4f70210eb1e6447a24697d3b459067',1,'SVF::FlowSensitive']]],

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

@@ -7,6 +7,7 @@ var searchData=
   ['main',['main',['../dda_8cpp.html#a3c04138a5bfe5d72780bb7e82a18e627',1,'main(int argc, char **argv): dda.cpp'],['../svf-ex_8cpp.html#a3c04138a5bfe5d72780bb7e82a18e627',1,'main(int argc, char **argv): svf-ex.cpp'],['../mta_8cpp.html#a3c04138a5bfe5d72780bb7e82a18e627',1,'main(int argc, char **argv): mta.cpp'],['../saber_8cpp.html#a3c04138a5bfe5d72780bb7e82a18e627',1,'main(int argc, char **argv): saber.cpp'],['../wpa_8cpp.html#a3c04138a5bfe5d72780bb7e82a18e627',1,'main(int argc, char **argv): wpa.cpp']]],
   ['mainmodule',['mainModule',['../classSVF_1_1IRAnnotator.html#a01462e9ee84f490514598c68e8c9557b',1,'SVF::IRAnnotator']]],
   ['make_5frandom',['make_random',['../cuddInt_8c.html#ab9aad1b09fd466fd971fba854332d7d8',1,'cuddInt.c']]],
+  ['makeedgeflagwithaddionalopnd',['makeEdgeFlagWithAddionalOpnd',['../classSVF_1_1SVFStmt.html#a3b20523aed66ac8943d7d00ff777137b',1,'SVF::SVFStmt']]],
   ['makeedgeflagwithcallinst',['makeEdgeFlagWithCallInst',['../classSVF_1_1SVFStmt.html#a4513c6e66b46c36219ba6d7403f3eb00',1,'SVF::SVFStmt']]],
   ['makeedgeflagwithinvokeid',['makeEdgeFlagWithInvokeID',['../classSVF_1_1ICFGEdge.html#a00b2650d7afd8b98c108d6a168299993',1,'SVF::ICFGEdge::makeEdgeFlagWithInvokeID()'],['../classSVF_1_1PTACallGraphEdge.html#a4eaeb2765fdcc455116537dbe2119800',1,'SVF::PTACallGraphEdge::makeEdgeFlagWithInvokeID()'],['../classSVF_1_1VFGEdge.html#a30c07e8afb0853d4b46cfa722d912650',1,'SVF::VFGEdge::makeEdgeFlagWithInvokeID()']]],
   ['makeedgeflagwithstoreinst',['makeEdgeFlagWithStoreInst',['../classSVF_1_1SVFStmt.html#ad61722f886afaaee722ac55a4eed4d18',1,'SVF::SVFStmt']]],
@@ -58,7 +59,7 @@ var searchData=
   ['maxpointstosetsize',['MaxPointsToSetSize',['../classSVF_1_1PTAStat.html#af2b45aab2eee96a1cabba3025e4375a2',1,'SVF::PTAStat::MaxPointsToSetSize()'],['../classSVF_1_1AndersenBase.html#a7cfafe54d564c9401f435362d44d3f9c',1,'SVF::AndersenBase::MaxPointsToSetSize()']]],
   ['maxreorderings',['maxReorderings',['../structDdManager.html#a61170edf6d08bb1c4bacab68823a825d',1,'DdManager']]],
   ['maxsccsize',['maxSCCSize',['../classSVF_1_1FlowSensitive.html#a90deaa3c1afa762f568ceab0fe174353',1,'SVF::FlowSensitive']]],
-  ['maxsize',['maxSize',['../structDdManager.html#aa4d0701dc4e6f11b30085ae30c09fab6',1,'DdManager::maxSize()'],['../structDdHashTable.html#aba376a6d310dcead9f74cfc459f4a248',1,'DdHashTable::maxsize()'],['../structDdLevelQueue.html#acb7146e9f3dd73a052340c0e4010e6b6',1,'DdLevelQueue::maxsize()']]],
+  ['maxsize',['maxsize',['../structDdHashTable.html#aba376a6d310dcead9f74cfc459f4a248',1,'DdHashTable::maxsize()'],['../structDdLevelQueue.html#acb7146e9f3dd73a052340c0e4010e6b6',1,'DdLevelQueue::maxsize()'],['../structDdManager.html#aa4d0701dc4e6f11b30085ae30c09fab6',1,'DdManager::maxSize()']]],
   ['maxsizez',['maxSizeZ',['../structDdManager.html#a4a0b8f95d02bc99557fb55140e9b0963',1,'DdManager']]],
   ['maxslots',['maxslots',['../structDdLocalCache.html#af4379636b29a9bfe4a55708ac637545a',1,'DdLocalCache']]],
   ['maxstepinwrapper',['MaxStepInWrapper',['../classSVF_1_1Options.html#a0b82f16ee0c7e6566a6ae20662525e84',1,'SVF::Options']]],
@@ -101,7 +102,7 @@ var searchData=
   ['memregtocountermap',['MemRegToCounterMap',['../classSVF_1_1MemSSA.html#ae1aca020147c270deca2a1241e3847d0',1,'SVF::MemSSA']]],
   ['memregtoverstackmap',['MemRegToVerStackMap',['../classSVF_1_1MemSSA.html#aa9dbaf51f0498f3bd878827744208899',1,'SVF::MemSSA']]],
   ['memset',['memset',['../util_8h.html#a311babf232e543aa49200c238d683486',1,'util.h']]],
-  ['memssa',['MemSSA',['../classSVF_1_1MemSSA.html',1,'SVF::MemSSA'],['../classSVF_1_1MemSSA.html#a6bd57451370f5f4c92ce212be4cddd15',1,'SVF::MemSSA::MemSSA()'],['../classSVF_1_1SrcSnkDDA.html#ab6803f0a2b3507213ad2979b9b12f700',1,'SVF::SrcSnkDDA::memSSA()'],['../classSVF_1_1FlowSensitive.html#a76f6f19ac2b58ab4a10a2d7e6e24e42a',1,'SVF::FlowSensitive::memSSA()']]],
+  ['memssa',['MemSSA',['../classSVF_1_1MemSSA.html',1,'SVF::MemSSA'],['../classSVF_1_1SrcSnkDDA.html#ab6803f0a2b3507213ad2979b9b12f700',1,'SVF::SrcSnkDDA::memSSA()'],['../classSVF_1_1FlowSensitive.html#a76f6f19ac2b58ab4a10a2d7e6e24e42a',1,'SVF::FlowSensitive::memSSA()'],['../classSVF_1_1MemSSA.html#a6bd57451370f5f4c92ce212be4cddd15',1,'SVF::MemSSA::MemSSA()']]],
   ['memssa_2ecpp',['MemSSA.cpp',['../MemSSA_8cpp.html',1,'']]],
   ['memssa_2eh',['MemSSA.h',['../MemSSA_8h.html',1,'']]],
   ['memssadf',['MemSSADF',['../classSVF_1_1MemSSADF.html',1,'SVF::MemSSADF'],['../classSVF_1_1MemSSADF.html#aabae3337a22fc441fd2fdc2cf30b009c',1,'SVF::MemSSADF::MemSSADF()']]],
@@ -114,7 +115,7 @@ var searchData=
   ['mergenodeandpts',['mergeNodeAndPts',['../classSVF_1_1AndersenHCD.html#afea4ecab92720da2f5dad27840ac1e57',1,'SVF::AndersenHCD']]],
   ['mergenodetorep',['mergeNodeToRep',['../classSVF_1_1Andersen.html#a36729160041bc3a3e2b0a92b29062848',1,'SVF::Andersen::mergeNodeToRep()'],['../classSVF_1_1AndersenWaveDiff.html#acdc82c72b14e012551a460fa91a634db',1,'SVF::AndersenWaveDiff::mergeNodeToRep()']]],
   ['mergeptsoccmaps',['mergePtsOccMaps',['../namespaceSVF_1_1SVFUtil.html#a36c91f952a69875c33d4bd0b05a27ff2',1,'SVF::SVFUtil']]],
-  ['mergepwc',['MergePWC',['../classSVF_1_1Options.html#a69579e2f37962afdbb292a36782511ed',1,'SVF::Options::MergePWC()'],['../classSVF_1_1Andersen.html#a44d62658bbd2efcef5ff479930b5dce9',1,'SVF::Andersen::mergePWC()']]],
+  ['mergepwc',['mergePWC',['../classSVF_1_1Andersen.html#a44d62658bbd2efcef5ff479930b5dce9',1,'SVF::Andersen::mergePWC()'],['../classSVF_1_1Options.html#a69579e2f37962afdbb292a36782511ed',1,'SVF::Options::MergePWC()']]],
   ['mergescc',['mergeSCC',['../classSVF_1_1AndersenLCD.html#a132fe3985f04b55b5e172649db7e44d7',1,'SVF::AndersenLCD::mergeSCC()'],['../classSVF_1_1AndersenHCD.html#a2bbd6a0af75b17a70b1451a69cc3d5d7',1,'SVF::AndersenHCD::mergeSCC()'],['../classSVF_1_1AndersenHLCD.html#a25cb6c99be1689006b39bd62e05c76ba',1,'SVF::AndersenHLCD::mergeSCC()']]],
   ['mergescccycle',['mergeSccCycle',['../classSVF_1_1Andersen.html#ac86ffd334568e4df5c08b3c827018bef',1,'SVF::Andersen']]],
   ['mergesccnodes',['mergeSccNodes',['../classSVF_1_1Andersen.html#a1ba1e1e36af289982146de06cf06ab0a',1,'SVF::Andersen']]],
@@ -226,6 +227,8 @@ var searchData=
   ['mu',['MU',['../classSVF_1_1SVFG.html#a7f4deffe7e13352b8c13eab110c834cc',1,'SVF::SVFG::MU()'],['../classSVF_1_1MemSSA.html#a2b4f3b19b32ac61dd1932faa82b93d8b',1,'SVF::MemSSA::MU()']]],
   ['multi_5finheritance',['MULTI_INHERITANCE',['../classSVF_1_1CHNode.html#a7111a3971f9f03e32bfd291a783d43b4afd6d851b22e741690f0736b4858d81a5',1,'SVF::CHNode::MULTI_INHERITANCE()'],['../classSVF_1_1DCHNode.html#a029988e54846db9aca2584e1c10283e3a1d2b2d38bfc09259f63933e9ab23aecc',1,'SVF::DCHNode::MULTI_INHERITANCE()']]],
   ['multiforked',['multiforked',['../classSVF_1_1TCTNode.html#a414f4b98fb8fd36d2cb381ff56eb98d8',1,'SVF::TCTNode']]],
+  ['multiopndlabelcounter',['multiOpndLabelCounter',['../classSVF_1_1SVFStmt.html#a9ea22adbfc307dddee42ffec07cc88ed',1,'SVF::SVFStmt']]],
+  ['multiopndstmt',['MultiOpndStmt',['../classSVF_1_1MultiOpndStmt.html',1,'SVF::MultiOpndStmt'],['../classSVF_1_1MultiOpndStmt.html#aad0c81aeb48e5d94dd8c60d87b41714c',1,'SVF::MultiOpndStmt::MultiOpndStmt()']]],
   ['muset',['MUSet',['../classSVF_1_1SVFG.html#acdbe1c510273107b708935061b6c4127',1,'SVF::SVFG::MUSet()'],['../classSVF_1_1MemSSA.html#a81bba824495a882b49e687683954b112',1,'SVF::MemSSA::MUSet()']]],
   ['mustalias',['mustAlias',['../classSVF_1_1CondPTAImpl.html#a3b5877fec52bbfa7c83bab6c9bc95684',1,'SVF::CondPTAImpl']]],
   ['mutable',['Mutable',['../classSVF_1_1BVDataPTAImpl.html#ad76328a8543b02784992afc2d5501d8aa1cfb236b5127b660373c36b77a79ab5e',1,'SVF::BVDataPTAImpl']]],