svf-tools 1.0.342 → 1.0.346

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

@@ -19,13 +19,13 @@ var searchData=
   ['get_5fid',['get_id',['../classSVF_1_1CondVar.html#a5d64fa2be89051cd03301e3b07bffd6a',1,'SVF::CondVar']]],
   ['get_5ftype',['get_type',['../classSVF_1_1ExtAPI.html#a90b433cf855adcf34c6ef7f7e5be62b1',1,'SVF::ExtAPI']]],
   ['getactualindef',['getActualINDef',['../classSVF_1_1SVFGOPT.html#a550f93b640a6fd68773fbafd2944d7df',1,'SVF::SVFGOPT']]],
-  ['getactualinsvfgnodes',['getActualINSVFGNodes',['../classSVF_1_1SVFG.html#ab767c329e7fccf9efe16818515199d65',1,'SVF::SVFG']]],
-  ['getactualoutsvfgnodes',['getActualOUTSVFGNodes',['../classSVF_1_1SVFG.html#af0c86a9e83a1f2427dd8e80287be37ed',1,'SVF::SVFG']]],
+  ['getactualinsvfgnodes',['getActualINSVFGNodes',['../classSVF_1_1SVFG.html#a475205e221890204c7770c414ee63975',1,'SVF::SVFG']]],
+  ['getactualoutsvfgnodes',['getActualOUTSVFGNodes',['../classSVF_1_1SVFG.html#a5b7ae610bee28acc2905ca82928e714f',1,'SVF::SVFG']]],
   ['getactualparmatforksite',['getActualParmAtForkSite',['../classSVF_1_1ThreadAPI.html#a6bc40bc0b35c23e9d1874c844511449d',1,'SVF::ThreadAPI::getActualParmAtForkSite(const Instruction *inst) const'],['../classSVF_1_1ThreadAPI.html#ae8224e28db2323874fb9da8b05d3ab80',1,'SVF::ThreadAPI::getActualParmAtForkSite(CallSite cs) const'],['../namespaceSVF_1_1SVFUtil.html#aaeeb386d80b51d729322317065606454',1,'SVF::SVFUtil::getActualParmAtForkSite(const CallSite cs)'],['../namespaceSVF_1_1SVFUtil.html#a01119ea4e3a10ebecdef4d390a1c4c88',1,'SVF::SVFUtil::getActualParmAtForkSite(const Instruction *inst)']]],
-  ['getactualparms',['getActualParms',['../classSVF_1_1CallBlockNode.html#abfc30a2fc6e996c2e1b0902abc7c813b',1,'SVF::CallBlockNode']]],
-  ['getactualparmvfgnode',['getActualParmVFGNode',['../classSVF_1_1VFG.html#a01b8694a5ab7acf8df0213225550791b',1,'SVF::VFG']]],
+  ['getactualparms',['getActualParms',['../classSVF_1_1CallICFGNode.html#ab43c000436d0f6d978f4fff831671d5c',1,'SVF::CallICFGNode']]],
+  ['getactualparmvfgnode',['getActualParmVFGNode',['../classSVF_1_1VFG.html#a6bbfe457dcc7104e6928323499ea964e',1,'SVF::VFG']]],
   ['getactualpts',['getActualPts',['../classSVF_1_1PersistentPointsToCache.html#ab2888b033a29de3af48d377dc2fe70aa',1,'SVF::PersistentPointsToCache']]],
-  ['getactualret',['getActualRet',['../classSVF_1_1RetBlockNode.html#aa9ecd6854337dfa67a828d2416f3813f',1,'SVF::RetBlockNode']]],
+  ['getactualret',['getActualRet',['../classSVF_1_1RetICFGNode.html#a9815b38f376af31b14ea2e0f3afd3427',1,'SVF::RetICFGNode']]],
   ['getactualretvfgnode',['getActualRetVFGNode',['../classSVF_1_1VFG.html#a0b072e8e45899b89da0a466140563c38',1,'SVF::VFG']]],
   ['getaddrcgedges',['getAddrCGEdges',['../classSVF_1_1ConstraintGraph.html#adee52f15f5ff58dd455e419c2643f89b',1,'SVF::ConstraintGraph']]],
   ['getaddrinedges',['getAddrInEdges',['../classSVF_1_1ConstraintNode.html#ae6a98932b0f0732d4af1ca8266d58077',1,'SVF::ConstraintNode']]],
@@ -76,36 +76,36 @@ var searchData=
   ['getcachedadpointsto',['getCachedADPointsTo',['../classSVF_1_1DDAVFSolver.html#a2a2b3783074c9f509fc265b97b979704',1,'SVF::DDAVFSolver']]],
   ['getcachedpointsto',['getCachedPointsTo',['../classSVF_1_1DDAVFSolver.html#ae31e9281e4f1e0585fdf328b7339e1bf',1,'SVF::DDAVFSolver']]],
   ['getcachedtlpointsto',['getCachedTLPointsTo',['../classSVF_1_1DDAVFSolver.html#aac432dfa7ccfc3434d9e0e2eb65afe7f',1,'SVF::DDAVFSolver::getCachedTLPointsTo()'],['../classSVF_1_1FlowDDA.html#a950d653b249cfc2d20932adb3498b99b',1,'SVF::FlowDDA::getCachedTLPointsTo()']]],
-  ['getcallblocknode',['getCallBlockNode',['../classSVF_1_1ICFG.html#a7d10e8a815c836a070d35850f817a18c',1,'SVF::ICFG::getCallBlockNode()'],['../classSVF_1_1RetBlockNode.html#a6f47c3169f64fb7637b544ec1faf6f31',1,'SVF::RetBlockNode::getCallBlockNode()'],['../classSVF_1_1PCG.html#a2a7fe720d48d02d4facf3eedb08e3a67',1,'SVF::PCG::getCallBlockNode()'],['../classSVF_1_1TCT.html#a60a74209bd04b2c42fadee5c31e527d3',1,'SVF::TCT::getCallBlockNode()']]],
+  ['getcallblocknode',['getCallBlockNode',['../classSVF_1_1ICFG.html#a483e92e076a426ec8f177eab3b971723',1,'SVF::ICFG::getCallBlockNode()'],['../classSVF_1_1RetICFGNode.html#afd2a06f0749c359c544048ae40085695',1,'SVF::RetICFGNode::getCallBlockNode()'],['../classSVF_1_1PCG.html#ab0ab4b42b42b16dd75fc7db16a3df5a8',1,'SVF::PCG::getCallBlockNode()'],['../classSVF_1_1TCT.html#afea9de8f27e501fdc2723cc14a8dc93f',1,'SVF::TCT::getCallBlockNode()']]],
   ['getcalledfunction',['getCalledFunction',['../classSVF_1_1CallSite.html#ae9b0172e29199f2a938d7cf9e42241cf',1,'SVF::CallSite']]],
-  ['getcalledgebegin',['getCallEdgeBegin',['../classSVF_1_1PTACallGraph.html#acf542e7e581ffa8453066f4c8cdfb65c',1,'SVF::PTACallGraph']]],
-  ['getcalledgeend',['getCallEdgeEnd',['../classSVF_1_1PTACallGraph.html#abfa1f3777d16597392385cf7d8bac472',1,'SVF::PTACallGraph']]],
+  ['getcalledgebegin',['getCallEdgeBegin',['../classSVF_1_1PTACallGraph.html#a4ed2fd37007de9c873d5e197a0b3bd4e',1,'SVF::PTACallGraph']]],
+  ['getcalledgeend',['getCallEdgeEnd',['../classSVF_1_1PTACallGraph.html#a170a33ac22673dfd363c3e3b96987737',1,'SVF::PTACallGraph']]],
   ['getcalledvalue',['getCalledValue',['../classSVF_1_1CallSite.html#a9526f6c3829f8897d1ca617feda8451a',1,'SVF::CallSite']]],
   ['getcallee',['getCallee',['../classSVF_1_1MHP.html#a71183ff98500d1ce49170bab61fe664e',1,'SVF::MHP::getCallee()'],['../classSVF_1_1ForkJoinAnalysis.html#afcf119c89e93a24923dd0d97ddec7ee1',1,'SVF::ForkJoinAnalysis::getCallee()'],['../classSVF_1_1ThreadAPI.html#a08c83946d87ab935bd8bf6fea20792ba',1,'SVF::ThreadAPI::getCallee(const Instruction *inst) const'],['../classSVF_1_1ThreadAPI.html#ab2c517ddae02fbb80f56ddc609b2f5ef',1,'SVF::ThreadAPI::getCallee(const CallSite cs) const'],['../namespaceSVF_1_1SVFUtil.html#a145abbd2958629718fbca41d25c3124d',1,'SVF::SVFUtil::getCallee(const CallSite cs)'],['../namespaceSVF_1_1SVFUtil.html#af26c7636bfef7ab2a36cccdcf12c3538',1,'SVF::SVFUtil::getCallee(const Instruction *inst)']]],
   ['getcalleeofcallsite',['getCalleeOfCallSite',['../classSVF_1_1PTACallGraph.html#aacd5f35171717cb4d758c17bef828a0f',1,'SVF::PTACallGraph']]],
-  ['getcallees',['getCallees',['../classSVF_1_1PTACallGraph.html#a486f79252c216eb5a9f4c09261a24ae2',1,'SVF::PTACallGraph']]],
-  ['getcaller',['getCaller',['../classSVF_1_1CallBlockNode.html#a5bab98a0b8cf0a804d53abd994e922c0',1,'SVF::CallBlockNode::getCaller()'],['../classSVF_1_1ActualRetVFGNode.html#ac8b9a7d905022c57699b7ba1ad5e3e51',1,'SVF::ActualRetVFGNode::getCaller()'],['../classSVF_1_1CallSite.html#afd501405e1d3cc673fced6dc56f3b759',1,'SVF::CallSite::getCaller()']]],
+  ['getcallees',['getCallees',['../classSVF_1_1PTACallGraph.html#a317e09edb29b110cf4273009551d31ec',1,'SVF::PTACallGraph']]],
+  ['getcaller',['getCaller',['../classSVF_1_1CallICFGNode.html#a18f4077d42b23c3fed35efc793b6102e',1,'SVF::CallICFGNode::getCaller()'],['../classSVF_1_1ActualRetVFGNode.html#ac8b9a7d905022c57699b7ba1ad5e3e51',1,'SVF::ActualRetVFGNode::getCaller()'],['../classSVF_1_1CallSite.html#afd501405e1d3cc673fced6dc56f3b759',1,'SVF::CallSite::getCaller()']]],
   ['getcallerofcallsite',['getCallerOfCallSite',['../classSVF_1_1PTACallGraph.html#a42035e9669204ddd5d38583db21af3d7',1,'SVF::PTACallGraph']]],
   ['getcallgraph',['getCallGraph',['../classSVF_1_1VFG.html#a1693ccdb6c1b57418316c29cde05cad2',1,'SVF::VFG::getCallGraph()'],['../classSVF_1_1SrcSnkDDA.html#ad445032e9b2027b3c990ce2a250257f8',1,'SVF::SrcSnkDDA::getCallgraph()']]],
   ['getcallgraphnode',['getCallGraphNode',['../classSVF_1_1PTACallGraph.html#aaab54c670518d9d6790707f76ea76aa1',1,'SVF::PTACallGraph::getCallGraphNode(NodeID id) const'],['../classSVF_1_1PTACallGraph.html#ae3ee76be0e959a736c868dc7e0128077',1,'SVF::PTACallGraph::getCallGraphNode(const SVFFunction *fun) const']]],
   ['getcallgraphscc',['getCallGraphSCC',['../classSVF_1_1PointerAnalysis.html#a0bddf297a2d8cd59ce9a232f0229f248',1,'SVF::PointerAnalysis']]],
   ['getcallgraphsccrepnode',['getCallGraphSCCRepNode',['../classSVF_1_1PointerAnalysis.html#ae8190ce12fb0c6360953f4b05047fbe8',1,'SVF::PointerAnalysis']]],
   ['getcallgraphsccrevtopoorder',['getCallGraphSCCRevTopoOrder',['../classSVF_1_1MRGenerator.html#ab3d3ca72d2cddf5336d00dc623f33401',1,'SVF::MRGenerator']]],
-  ['getcallicfgnode',['getCallICFGNode',['../classSVF_1_1ICFG.html#a288c5cc9fb6595d367f23d1c0c05a57a',1,'SVF::ICFG']]],
-  ['getcallinst',['getCallInst',['../classSVF_1_1CallPE.html#ac8f25219948d3a6ff205048e746338d5',1,'SVF::CallPE::getCallInst()'],['../classSVF_1_1RetPE.html#ac28900a70a604bbba2b4cdab09709226',1,'SVF::RetPE::getCallInst()']]],
+  ['getcallicfgnode',['getCallICFGNode',['../classSVF_1_1ICFG.html#ab10620eaac6b74f7cb18ba0c1211b4f1',1,'SVF::ICFG']]],
+  ['getcallinst',['getCallInst',['../classSVF_1_1CallPE.html#aa50cca8bd91ffb135a7998b58ad7966f',1,'SVF::CallPE::getCallInst()'],['../classSVF_1_1RetPE.html#a9bbf558ffc8e3c1136e20d18d4c95f42',1,'SVF::RetPE::getCallInst()']]],
   ['getcallinsttocallgraphedgesmap',['getCallInstToCallGraphEdgesMap',['../classSVF_1_1PTACallGraph.html#a368306a46d84ccc6d07d94833aded629',1,'SVF::PTACallGraph']]],
-  ['getcallsite',['getCallSite',['../classSVF_1_1CallCFGEdge.html#ab25becb3cae2747eb518a6bfc7ad5332',1,'SVF::CallCFGEdge::getCallSite()'],['../classSVF_1_1RetCFGEdge.html#a121c3069d4c82b56a0398fd517a9a714',1,'SVF::RetCFGEdge::getCallSite()'],['../classSVF_1_1CallBlockNode.html#ad3d50024efcfa94b1246c982b43aff2f',1,'SVF::CallBlockNode::getCallSite()'],['../classSVF_1_1RetBlockNode.html#a436cd30be9fba449fee6bc6dcc18bb18',1,'SVF::RetBlockNode::getCallSite()'],['../classSVF_1_1PTACallGraph.html#a2c8b1674f1f942a3b5aa77b7abccb229',1,'SVF::PTACallGraph::getCallSite()'],['../classSVF_1_1ActualINSVFGNode.html#aaf7e2a52f8e70bb5dda80b3616f207aa',1,'SVF::ActualINSVFGNode::getCallSite()'],['../classSVF_1_1ActualOUTSVFGNode.html#a929e15d57bc95e6314be714ae0034c0c',1,'SVF::ActualOUTSVFGNode::getCallSite()'],['../classSVF_1_1InterMSSAPHISVFGNode.html#a30ac16715dc9f4281eae2ab969bad348',1,'SVF::InterMSSAPHISVFGNode::getCallSite()'],['../classSVF_1_1VFG.html#af04068b6f6beff961f815cc6eae7f5b0',1,'SVF::VFG::getCallSite()'],['../classSVF_1_1ActualParmVFGNode.html#afe9b8911c6e79dd13e0df19b158a3179',1,'SVF::ActualParmVFGNode::getCallSite()'],['../classSVF_1_1ActualRetVFGNode.html#a984d1aa6c67d1f90bb00d3d34f455797',1,'SVF::ActualRetVFGNode::getCallSite()'],['../classSVF_1_1InterPHIVFGNode.html#a100fc9476699f36255f538bc07123157',1,'SVF::InterPHIVFGNode::getCallSite()'],['../classSVF_1_1CallPE.html#a6a7a917cd6f1235b9453c9672f38c0ef',1,'SVF::CallPE::getCallSite()'],['../classSVF_1_1RetPE.html#a1495bfc171fa21980712f1d729a6b175',1,'SVF::RetPE::getCallSite()'],['../classSVF_1_1CallMU.html#a401be4fc10a3b9f3d392f1c278bef866',1,'SVF::CallMU::getCallSite()'],['../classSVF_1_1CallCHI.html#a7bce9987b6377a24436b878dcd9c76c9',1,'SVF::CallCHI::getCallSite()'],['../classSVF_1_1ProgSlice.html#a40ca6247fde5e973298e8383f2180203',1,'SVF::ProgSlice::getCallSite()']]],
-  ['getcallsiteargslist',['getCallSiteArgsList',['../classSVF_1_1SVFIR.html#ac7f90610a7b5f456c530a4419393fae5',1,'SVF::SVFIR']]],
+  ['getcallsite',['getCallSite',['../classSVF_1_1CallCFGEdge.html#ab25becb3cae2747eb518a6bfc7ad5332',1,'SVF::CallCFGEdge::getCallSite()'],['../classSVF_1_1RetCFGEdge.html#a121c3069d4c82b56a0398fd517a9a714',1,'SVF::RetCFGEdge::getCallSite()'],['../classSVF_1_1CallICFGNode.html#a674753d5ca0fbe28674acb25291f2bcf',1,'SVF::CallICFGNode::getCallSite()'],['../classSVF_1_1RetICFGNode.html#a8f0490ea9491afdf81641e9928f5a5f7',1,'SVF::RetICFGNode::getCallSite()'],['../classSVF_1_1PTACallGraph.html#a16e0017ad3a2d36d7efbc4383e394154',1,'SVF::PTACallGraph::getCallSite()'],['../classSVF_1_1ActualINSVFGNode.html#aab3b2931f60adeb9fd8c87087074d834',1,'SVF::ActualINSVFGNode::getCallSite()'],['../classSVF_1_1ActualOUTSVFGNode.html#a89cb274936513df411a75fb33a86702f',1,'SVF::ActualOUTSVFGNode::getCallSite()'],['../classSVF_1_1InterMSSAPHISVFGNode.html#a5b4ba4b7753d786ff2e3d834bda017ce',1,'SVF::InterMSSAPHISVFGNode::getCallSite()'],['../classSVF_1_1VFG.html#a246cce511b8e9164a7c1760d1983f492',1,'SVF::VFG::getCallSite()'],['../classSVF_1_1ActualParmVFGNode.html#ab153944a366488c5f7e91d61561e9c0e',1,'SVF::ActualParmVFGNode::getCallSite()'],['../classSVF_1_1ActualRetVFGNode.html#a06ea783375c18198b00121214c357c18',1,'SVF::ActualRetVFGNode::getCallSite()'],['../classSVF_1_1InterPHIVFGNode.html#a0b35e0c57fc0261d67e7080fa50fd581',1,'SVF::InterPHIVFGNode::getCallSite()'],['../classSVF_1_1CallPE.html#ab548c22dfbfeeaeb8ffe83417b396c09',1,'SVF::CallPE::getCallSite()'],['../classSVF_1_1RetPE.html#ab03f10c0375846a733f3257736a84f9d',1,'SVF::RetPE::getCallSite()'],['../classSVF_1_1CallMU.html#a57616dc30fb97c6dc64c9210b42bbeb7',1,'SVF::CallMU::getCallSite()'],['../classSVF_1_1CallCHI.html#af7f9fb3c01c487686453e25104a5bfc7',1,'SVF::CallCHI::getCallSite()'],['../classSVF_1_1ProgSlice.html#a8ae327bc7bf72f892d87730edfc67d0d',1,'SVF::ProgSlice::getCallSite()']]],
+  ['getcallsiteargslist',['getCallSiteArgsList',['../classSVF_1_1SVFIR.html#a2a1e8ce39bf8deace3c344d5f05fe6ac',1,'SVF::SVFIR']]],
   ['getcallsiteargsmap',['getCallSiteArgsMap',['../classSVF_1_1SVFIR.html#a346b9300ad16ef65e3ab4e11f88193a7',1,'SVF::SVFIR']]],
-  ['getcallsiteargspts',['getCallSiteArgsPts',['../classSVF_1_1MRGenerator.html#a373b57017e99ee8466d1c8a363adaeef',1,'SVF::MRGenerator']]],
+  ['getcallsiteargspts',['getCallSiteArgsPts',['../classSVF_1_1MRGenerator.html#ad402506c2938d4b5440119e6091e4057',1,'SVF::MRGenerator']]],
   ['getcallsitechinum',['getCallSiteChiNum',['../classSVF_1_1MemSSA.html#a2c65795ca63a53c833f5ac17a752b6dc',1,'SVF::MemSSA']]],
-  ['getcallsiteid',['getCallSiteID',['../classSVF_1_1PTACallGraphEdge.html#af9ca9cfffbba3b68838d41be62c914ac',1,'SVF::PTACallGraphEdge::getCallSiteID()'],['../classSVF_1_1PTACallGraph.html#afb2daec804e81f0beb72fbc805d1c82a',1,'SVF::PTACallGraph::getCallSiteID()'],['../classSVF_1_1VFG.html#a9bc8e7ee74b652ed7708e95c16a63728',1,'SVF::VFG::getCallSiteID()'],['../classSVF_1_1CallIndSVFGEdge.html#a3742b87170e0b48edc71ffdd6e5350aa',1,'SVF::CallIndSVFGEdge::getCallSiteId()'],['../classSVF_1_1RetIndSVFGEdge.html#a04f211a0e3e21f60a299a744d3d1e452',1,'SVF::RetIndSVFGEdge::getCallSiteId()'],['../classSVF_1_1CallDirSVFGEdge.html#ae6051f47731b62c456216554f7b7dba6',1,'SVF::CallDirSVFGEdge::getCallSiteId()'],['../classSVF_1_1RetDirSVFGEdge.html#a86ef0a34735096e86d3731cd6ecf769a',1,'SVF::RetDirSVFGEdge::getCallSiteId()']]],
-  ['getcallsitemodmrset',['getCallSiteModMRSet',['../classSVF_1_1MRGenerator.html#acb78098bf1fc8c3a80720a3dff3a0a1d',1,'SVF::MRGenerator']]],
+  ['getcallsiteid',['getCallSiteID',['../classSVF_1_1PTACallGraphEdge.html#af9ca9cfffbba3b68838d41be62c914ac',1,'SVF::PTACallGraphEdge::getCallSiteID()'],['../classSVF_1_1PTACallGraph.html#a711bd8ad385f8454fbfcd20f134efe1b',1,'SVF::PTACallGraph::getCallSiteID()'],['../classSVF_1_1VFG.html#a5f82b3c2e8e6412e2781b960ffa98387',1,'SVF::VFG::getCallSiteID()'],['../classSVF_1_1CallIndSVFGEdge.html#a3742b87170e0b48edc71ffdd6e5350aa',1,'SVF::CallIndSVFGEdge::getCallSiteId()'],['../classSVF_1_1RetIndSVFGEdge.html#a04f211a0e3e21f60a299a744d3d1e452',1,'SVF::RetIndSVFGEdge::getCallSiteId()'],['../classSVF_1_1CallDirSVFGEdge.html#ae6051f47731b62c456216554f7b7dba6',1,'SVF::CallDirSVFGEdge::getCallSiteId()'],['../classSVF_1_1RetDirSVFGEdge.html#a86ef0a34735096e86d3731cd6ecf769a',1,'SVF::RetDirSVFGEdge::getCallSiteId()']]],
+  ['getcallsitemodmrset',['getCallSiteModMRSet',['../classSVF_1_1MRGenerator.html#a4ee12b940608c34ee81b07cdc8d35538',1,'SVF::MRGenerator']]],
   ['getcallsitemunum',['getCallSiteMuNum',['../classSVF_1_1MemSSA.html#a9e8c5b85957485635d0f72c2f48bb8b5',1,'SVF::MemSSA']]],
   ['getcallsitepair',['getCallSitePair',['../classSVF_1_1PTACallGraph.html#a9155629ddc58f71c6a6f2aec978e4610',1,'SVF::PTACallGraph']]],
-  ['getcallsiterefmrset',['getCallSiteRefMRSet',['../classSVF_1_1MRGenerator.html#a7ede01d58bb2490ded5895ca5bd45948',1,'SVF::MRGenerator']]],
-  ['getcallsiteret',['getCallSiteRet',['../classSVF_1_1SVFIR.html#a70aa4d730ef1d38ef9c46f5014465bdd',1,'SVF::SVFIR']]],
-  ['getcallsiteretpts',['getCallSiteRetPts',['../classSVF_1_1MRGenerator.html#aac03d1d2e10543e100530f99165b4388',1,'SVF::MRGenerator']]],
+  ['getcallsiterefmrset',['getCallSiteRefMRSet',['../classSVF_1_1MRGenerator.html#acd4694a030755b7491a6ef55d9ba2682',1,'SVF::MRGenerator']]],
+  ['getcallsiteret',['getCallSiteRet',['../classSVF_1_1SVFIR.html#a3145677c7a3763fc0d6aa7e21b264ab6',1,'SVF::SVFIR']]],
+  ['getcallsiteretpts',['getCallSiteRetPts',['../classSVF_1_1MRGenerator.html#ab19c541dd4c3a0e691287da5dd43540d',1,'SVF::MRGenerator']]],
   ['getcallsiterets',['getCallSiteRets',['../classSVF_1_1SVFIR.html#a650b3931af337a92ffcb5dad5ab47b22',1,'SVF::SVFIR']]],
   ['getcallsiteset',['getCallSiteSet',['../classSVF_1_1SVFIR.html#aa530e33657f68fc2e8eae9435ce430cb',1,'SVF::SVFIR::getCallSiteSet()'],['../classSVF_1_1SymbolTableInfo.html#adc8e9a6cd5d27391beb1a88706e77a77',1,'SVF::SymbolTableInfo::getCallSiteSet()']]],
   ['getcallsitetochisetmap',['getCallSiteToChiSetMap',['../classSVF_1_1MemSSA.html#a8f88acad31782bfa962e4349d8f4185d',1,'SVF::MemSSA']]],
@@ -113,13 +113,13 @@ var searchData=
   ['getcandidatequeries',['getCandidateQueries',['../classSVF_1_1DDAClient.html#a6f50b9a26f66e716acf163cc77030e5f',1,'SVF::DDAClient::getCandidateQueries()'],['../classSVF_1_1DDAVFSolver.html#a73bbf4f763316e8d5db62d163da35a18',1,'SVF::DDAVFSolver::getCandidateQueries()']]],
   ['getcandidates',['getCandidates',['../classSVF_1_1WPAMinimumSolver.html#a2dc1f9588dd3ac376f8bb17a144c6fb2',1,'SVF::WPAMinimumSolver']]],
   ['getcanonicaltype',['getCanonicalType',['../classSVF_1_1DCHGraph.html#a079feacdcc3783f4a9108a3b2d2aed2c',1,'SVF::DCHGraph']]],
-  ['getcbn',['getCBN',['../classSVF_1_1LockResultValidator.html#a7cddeb9065b5a3db24b0cb886a959a14',1,'SVF::LockResultValidator::getCBN()'],['../classSVF_1_1MHP.html#ab956b55910ed74c4c81df622d38d746b',1,'SVF::MHP::getCBN()'],['../classSVF_1_1ForkJoinAnalysis.html#a6a1ad5d1fa9e6884f3ffc4adf7578b91',1,'SVF::ForkJoinAnalysis::getCBN()']]],
+  ['getcbn',['getCBN',['../classSVF_1_1LockResultValidator.html#a97eef42fa816256818b44382604b53c8',1,'SVF::LockResultValidator::getCBN()'],['../classSVF_1_1MHP.html#aca4903cf3e3ef5b2ed5959e5e6181d55',1,'SVF::MHP::getCBN()'],['../classSVF_1_1ForkJoinAnalysis.html#a94d65f9e22a13772042b2af652cf5538',1,'SVF::ForkJoinAnalysis::getCBN()']]],
   ['getcfcond',['getCFCond',['../classSVF_1_1PathCondAllocator.html#a8c926057571ca14743e106a5a6ce7ae9',1,'SVF::PathCondAllocator']]],
   ['getcheckerapi',['getCheckerAPI',['../classSVF_1_1SaberCheckerAPI.html#acf41a2b6de063da9ed492ef0da129036',1,'SVF::SaberCheckerAPI']]],
   ['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#a2e656a50f8964fc3e99d1d436de64418',1,'SVF::MemSSA::getCHISet(const StoreStmt *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#a959e932912b924ec91e1526947493204',1,'SVF::MemSSA::getCHISet(const CallICFGNode *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']]],
@@ -242,34 +242,34 @@ var searchData=
   ['getflatternedfieldtype',['getFlatternedFieldType',['../classSVF_1_1SymbolTableInfo.html#a666d1dff7a629bd34abbd2031c1037a4',1,'SVF::SymbolTableInfo::getFlatternedFieldType()'],['../classSVF_1_1StInfo.html#a102181a3ac3c634e3c25a566756ec764',1,'SVF::StInfo::getFlatternedFieldType()']]],
   ['getfollowers',['getFollowers',['../classSVF_1_1PCG.html#a1312d734609f82230d3c00a99b189db9',1,'SVF::PCG']]],
   ['getforkedfun',['getForkedFun',['../classSVF_1_1ThreadAPI.html#a7ddc0c71aeae315af21972a4905b3456',1,'SVF::ThreadAPI::getForkedFun(const Instruction *inst) const'],['../classSVF_1_1ThreadAPI.html#aff38fda045d0016660710ab9124da13c',1,'SVF::ThreadAPI::getForkedFun(CallSite cs) const'],['../namespaceSVF_1_1SVFUtil.html#ac840e43fa58a90099de99a1953f091ac',1,'SVF::SVFUtil::getForkedFun(const CallSite cs)'],['../namespaceSVF_1_1SVFUtil.html#a4cc8c549625712e006079642c656ec83',1,'SVF::SVFUtil::getForkedFun(const Instruction *inst)']]],
-  ['getforkedgebegin',['getForkEdgeBegin',['../classSVF_1_1ThreadCallGraph.html#af33e1701215e9818b22f11789746821e',1,'SVF::ThreadCallGraph']]],
-  ['getforkedgeend',['getForkEdgeEnd',['../classSVF_1_1ThreadCallGraph.html#a43513b641e4f05ec165db78e3ac55fef',1,'SVF::ThreadCallGraph']]],
+  ['getforkedgebegin',['getForkEdgeBegin',['../classSVF_1_1ThreadCallGraph.html#a8721610a39212613ad55bbd46a35c576',1,'SVF::ThreadCallGraph']]],
+  ['getforkedgeend',['getForkEdgeEnd',['../classSVF_1_1ThreadCallGraph.html#a8351e7ab445cb7faf0209d1fbc63fce1',1,'SVF::ThreadCallGraph']]],
   ['getforkedthread',['getForkedThread',['../classSVF_1_1ForkJoinAnalysis.html#acd4308b99446c277ccb3407103fe21d0',1,'SVF::ForkJoinAnalysis::getForkedThread()'],['../classSVF_1_1ThreadAPI.html#a11dc55f35c18bd1f46d00c21c7dc695e',1,'SVF::ThreadAPI::getForkedThread(const Instruction *inst) const'],['../classSVF_1_1ThreadAPI.html#a25a4bc5f173773340b430324a4d3bbdd',1,'SVF::ThreadAPI::getForkedThread(CallSite cs) const']]],
   ['getformalinsvfgnodes',['getFormalINSVFGNodes',['../classSVF_1_1SVFG.html#a9d0714075d6071c26d26cf16c4dec7c5',1,'SVF::SVFG']]],
   ['getformaloutdef',['getFormalOUTDef',['../classSVF_1_1SVFGOPT.html#a8d0b44ba9f3e6f9344a10d085d7be2b4',1,'SVF::SVFGOPT']]],
   ['getformaloutsvfgnodes',['getFormalOUTSVFGNodes',['../classSVF_1_1SVFG.html#a287c337697eed7d92889bca0a0e370d7',1,'SVF::SVFG']]],
-  ['getformalparms',['getFormalParms',['../classSVF_1_1FunEntryBlockNode.html#a2206a196a4bfcc4475c1a0b48e16b180',1,'SVF::FunEntryBlockNode']]],
+  ['getformalparms',['getFormalParms',['../classSVF_1_1FunEntryICFGNode.html#a0807f2ce6c0949cafa9c5a1817fbca6c',1,'SVF::FunEntryICFGNode']]],
   ['getformalparmvfgnode',['getFormalParmVFGNode',['../classSVF_1_1VFG.html#a75eb519e4f89a116db98fccb263af4d6',1,'SVF::VFG']]],
-  ['getformalret',['getFormalRet',['../classSVF_1_1FunExitBlockNode.html#af1f343711d10adacf264f1aaebf44d54',1,'SVF::FunExitBlockNode']]],
+  ['getformalret',['getFormalRet',['../classSVF_1_1FunExitICFGNode.html#a03a1b6551377b4a85fdecf36ec247767',1,'SVF::FunExitICFGNode']]],
   ['getformalretvfgnode',['getFormalRetVFGNode',['../classSVF_1_1VFG.html#ab7ba9d179504165f277d347a7cb9f5d8',1,'SVF::VFG']]],
   ['getforwardslicesize',['getForwardSliceSize',['../classSVF_1_1ProgSlice.html#aae54f4e8a827f55abe08762b69d9f84b',1,'SVF::ProgSlice']]],
-  ['getfun',['getFun',['../classSVF_1_1ICFGNode.html#ae526280cca2d6cbb2868c80461bc16da',1,'SVF::ICFGNode::getFun()'],['../classSVF_1_1FunEntryBlockNode.html#ac0f34c048695a1ed822bc7fec0dfe028',1,'SVF::FunEntryBlockNode::getFun()'],['../classSVF_1_1FunExitBlockNode.html#a1463cde3f7e218c4bef996b2e1e9aef4',1,'SVF::FunExitBlockNode::getFun()'],['../classSVF_1_1InterMSSAPHISVFGNode.html#a242d8967d6fc10ba37e3f0103081ec01',1,'SVF::InterMSSAPHISVFGNode::getFun()'],['../classSVF_1_1VFGNode.html#ab98e74dfd4756e70e3e3c5b7d5e5ae27',1,'SVF::VFGNode::getFun()'],['../classSVF_1_1FormalParmVFGNode.html#af3039ab67875b177f7ba0bf246cec2f8',1,'SVF::FormalParmVFGNode::getFun()'],['../classSVF_1_1FormalRetVFGNode.html#a68d9c5d58e2282b2891c93203233fd93',1,'SVF::FormalRetVFGNode::getFun()'],['../classSVF_1_1InterPHIVFGNode.html#a875ffe4fcc25af08ba9be4a568da8b4f',1,'SVF::InterPHIVFGNode::getFun()']]],
+  ['getfun',['getFun',['../classSVF_1_1ICFGNode.html#ae526280cca2d6cbb2868c80461bc16da',1,'SVF::ICFGNode::getFun()'],['../classSVF_1_1FunEntryICFGNode.html#ac2451fdc53f319bc92528af7edc94b2d',1,'SVF::FunEntryICFGNode::getFun()'],['../classSVF_1_1FunExitICFGNode.html#a54dfbbebbfe18a8a493656d6ad8663be',1,'SVF::FunExitICFGNode::getFun()'],['../classSVF_1_1InterMSSAPHISVFGNode.html#a242d8967d6fc10ba37e3f0103081ec01',1,'SVF::InterMSSAPHISVFGNode::getFun()'],['../classSVF_1_1VFGNode.html#ab98e74dfd4756e70e3e3c5b7d5e5ae27',1,'SVF::VFGNode::getFun()'],['../classSVF_1_1FormalParmVFGNode.html#af3039ab67875b177f7ba0bf246cec2f8',1,'SVF::FormalParmVFGNode::getFun()'],['../classSVF_1_1FormalRetVFGNode.html#a68d9c5d58e2282b2891c93203233fd93',1,'SVF::FormalRetVFGNode::getFun()'],['../classSVF_1_1InterPHIVFGNode.html#a875ffe4fcc25af08ba9be4a568da8b4f',1,'SVF::InterPHIVFGNode::getFun()']]],
   ['getfunargslist',['getFunArgsList',['../classSVF_1_1SVFIR.html#aa148e3e14ebad8460e32079f2f44413a',1,'SVF::SVFIR']]],
   ['getfunargsmap',['getFunArgsMap',['../classSVF_1_1SVFIR.html#a615c056c876b59d1fd174a2ac9ade27c',1,'SVF::SVFIR']]],
   ['getfuncentrychiset',['getFuncEntryChiSet',['../classSVF_1_1MemSSA.html#a10743fe9c116ee624387c0473815b800',1,'SVF::MemSSA']]],
   ['getfunction',['getFunction',['../classSVF_1_1PTACallGraphNode.html#a959445c97605953fbdebbbd999437a09',1,'SVF::PTACallGraphNode::getFunction()'],['../classSVF_1_1SVFVar.html#a53439a493963d16e5a1b5ed36ab6d33e',1,'SVF::SVFVar::getFunction()'],['../classSVF_1_1MRGenerator.html#a3121380139c7ae96d2045d66203253b6',1,'SVF::MRGenerator::getFunction()'],['../classSVF_1_1RetMU.html#a8ad6bf3d517e20089dac516742ee4b8f',1,'SVF::RetMU::getFunction()'],['../classSVF_1_1EntryCHI.html#ae021640611362449382668665710154c',1,'SVF::EntryCHI::getFunction()'],['../namespaceSVF_1_1SVFUtil.html#a4f457db1cfa0d4f94762a306c0ac3757',1,'SVF::SVFUtil::getFunction()']]],
   ['getfunctiontype',['getFunctionType',['../classSVF_1_1CallSite.html#ad0040f4b7953b509059223d1d52c203f',1,'SVF::CallSite']]],
-  ['getfunentryblocknode',['getFunEntryBlockNode',['../classSVF_1_1ICFG.html#ae1ef14cdda27a2062c4c454750444108',1,'SVF::ICFG']]],
+  ['getfunentryblocknode',['getFunEntryBlockNode',['../classSVF_1_1ICFG.html#a2b32cfb0b4b3e420aa8e67fc6d4f1025',1,'SVF::ICFG']]],
   ['getfunentrychinum',['getFunEntryChiNum',['../classSVF_1_1MemSSA.html#a15272a4ed019d1c323d1826c1bedb70f',1,'SVF::MemSSA']]],
-  ['getfunentryicfgnode',['getFunEntryICFGNode',['../classSVF_1_1ICFG.html#a5d75af18ed4228b89a4bb4e2b0b97925',1,'SVF::ICFG']]],
-  ['getfunentrynode',['getFunEntryNode',['../classSVF_1_1FormalINSVFGNode.html#a9772743379ba322ed5b95f32ae39cf25',1,'SVF::FormalINSVFGNode']]],
+  ['getfunentryicfgnode',['getFunEntryICFGNode',['../classSVF_1_1ICFG.html#a11a2c1f54747069b924ee2870163dc05',1,'SVF::ICFG']]],
+  ['getfunentrynode',['getFunEntryNode',['../classSVF_1_1FormalINSVFGNode.html#a765f45d67d8b99dc85eb92676ca1be4e',1,'SVF::FormalINSVFGNode']]],
   ['getfunexitbb',['getFunExitBB',['../namespaceSVF_1_1SVFUtil.html#a3cb226930eeaf558575e09e5b65e0223',1,'SVF::SVFUtil']]],
-  ['getfunexitblocknode',['getFunExitBlockNode',['../classSVF_1_1ICFG.html#aa33426d57dc150956902945a17a29bcb',1,'SVF::ICFG']]],
-  ['getfunexiticfgnode',['getFunExitICFGNode',['../classSVF_1_1ICFG.html#a63479291b885344630ebf024d537ac19',1,'SVF::ICFG']]],
-  ['getfunexitnode',['getFunExitNode',['../classSVF_1_1FormalOUTSVFGNode.html#a844cc5b0a88501ba6e3a5a0bbce72fb3',1,'SVF::FormalOUTSVFGNode']]],
+  ['getfunexitblocknode',['getFunExitBlockNode',['../classSVF_1_1ICFG.html#a8f131fd585f6fa0c93023ee193500b26',1,'SVF::ICFG']]],
+  ['getfunexiticfgnode',['getFunExitICFGNode',['../classSVF_1_1ICFG.html#a12f78e9ce71a904975932e1784060050',1,'SVF::ICFG']]],
+  ['getfunexitnode',['getFunExitNode',['../classSVF_1_1FormalOUTSVFGNode.html#ae23aa8ff8585c31071726f2b2fb1499d',1,'SVF::FormalOUTSVFGNode']]],
   ['getfunmrset',['getFunMRSet',['../classSVF_1_1MRGenerator.html#a64ba36ddcd304f6543e416c552763879',1,'SVF::MRGenerator']]],
   ['getfunnameofvcallsite',['getFunNameOfVCallSite',['../namespaceSVF_1_1cppUtil.html#a0a67c31dcc44784b09dca54b4b7c624a',1,'SVF::cppUtil']]],
-  ['getfunptr',['getFunPtr',['../classSVF_1_1PointerAnalysis.html#a74df51017ceaa389de2c2f33f3522fc3',1,'SVF::PointerAnalysis::getFunPtr()'],['../classSVF_1_1SVFIR.html#a533a01d01fab9e45cd1780f9bbd50b0f',1,'SVF::SVFIR::getFunPtr()']]],
+  ['getfunptr',['getFunPtr',['../classSVF_1_1PointerAnalysis.html#adbceaf90526e44192c2fa4aac5468f5f',1,'SVF::PointerAnalysis::getFunPtr()'],['../classSVF_1_1SVFIR.html#a17c5d9fa7c0bd3cd03c06b5ff0906eb6',1,'SVF::SVFIR::getFunPtr()']]],
   ['getfunreachablebbs',['getFunReachableBBs',['../namespaceSVF_1_1SVFUtil.html#a61b29238f1f32978c7b6aded4b73244d',1,'SVF::SVFUtil']]],
   ['getfunret',['getFunRet',['../classSVF_1_1SVFIR.html#a34e27b8bcfeaafda190dcdb9169a346f',1,'SVF::SVFIR']]],
   ['getfunretmunum',['getFunRetMuNum',['../classSVF_1_1MemSSA.html#a67175188232e08f5c5374f92ff61810f',1,'SVF::MemSSA']]],
@@ -285,7 +285,7 @@ var searchData=
   ['getgepobjvar',['getGepObjVar',['../classSVF_1_1ConstraintGraph.html#a3f727a2822fb18a14ce9e10c6534cf5a',1,'SVF::ConstraintGraph::getGepObjVar()'],['../classSVF_1_1PointerAnalysis.html#acbbc0934af9bc0145389dc41430c6d8b',1,'SVF::PointerAnalysis::getGepObjVar()'],['../classSVF_1_1SVFIR.html#a20c0c65af266ac876cb722aee6e87101',1,'SVF::SVFIR::getGepObjVar(const MemObj *obj, const LocationSet &ls)'],['../classSVF_1_1SVFIR.html#ab3e37eab61e7899f950be7de5f4d7916',1,'SVF::SVFIR::getGepObjVar(NodeID id, const LocationSet &ls)']]],
   ['getgepoutedges',['getGepOutEdges',['../classSVF_1_1ConstraintNode.html#a19d3d2c996ba821227a836717e5443c8',1,'SVF::ConstraintNode']]],
   ['getgepvalvar',['getGepValVar',['../classSVF_1_1SVFIR.html#a811c5eaeef1e52cc2d6f56ec5a76bb02',1,'SVF::SVFIR::getGepValVar()'],['../classSVF_1_1SVFIRBuilder.html#ad0b30ca8fc2939bb7360a3ff08727d58',1,'SVF::SVFIRBuilder::getGepValVar()']]],
-  ['getglobalblocknode',['getGlobalBlockNode',['../classSVF_1_1ICFG.html#ae3b8f1b45c75b5fc231da76d3a49ad57',1,'SVF::ICFG']]],
+  ['getglobalblocknode',['getGlobalBlockNode',['../classSVF_1_1ICFG.html#a51917fa4244cdb46f06ab647b5c2656f',1,'SVF::ICFG']]],
   ['getglobalrep',['getGlobalRep',['../classSVF_1_1LLVMModuleSet.html#a757bf149437cce22163c764ea9993e12',1,'SVF::LLVMModuleSet::getGlobalRep()'],['../namespaceSVF_1_1SVFUtil.html#a4b55d5252da1f316f505cf6ce2078b28',1,'SVF::SVFUtil::getGlobalRep()']]],
   ['getglobalsvfstmtset',['getGlobalSVFStmtSet',['../classSVF_1_1SVFIR.html#a5c5adab1f68520a304fbf70ca40f7687',1,'SVF::SVFIR']]],
   ['getglobalvarfield',['getGlobalVarField',['../classSVF_1_1SVFIRBuilder.html#a8e2440b87147a9d1380876d6beb410ae',1,'SVF::SVFIRBuilder']]],
@@ -307,13 +307,13 @@ var searchData=
   ['getindcallmap',['getIndCallMap',['../classSVF_1_1PTACallGraph.html#ad49fa2a288945f6910deb11acdf6a42d',1,'SVF::PTACallGraph::getIndCallMap()'],['../classSVF_1_1PointerAnalysis.html#a1ca30dfa42702071b65d363c76d25cbe',1,'SVF::PointerAnalysis::getIndCallMap()']]],
   ['getindcallsites',['getIndCallSites',['../classSVF_1_1SVFIR.html#abf209739a97b96ae0d1c8451fdc684e8',1,'SVF::SVFIR']]],
   ['getindcallsitesinvokingcallee',['getIndCallSitesInvokingCallee',['../classSVF_1_1PTACallGraph.html#a9a4b0c6672288b9201ab254b4c49548d',1,'SVF::PTACallGraph']]],
-  ['getindcscallees',['getIndCSCallees',['../classSVF_1_1PTACallGraph.html#a88bec70a6bf5c1c41bc4efd035ef0e08',1,'SVF::PTACallGraph::getIndCSCallees()'],['../classSVF_1_1PointerAnalysis.html#a9e473e97a0bad49996faacbc05be7e68',1,'SVF::PointerAnalysis::getIndCSCallees()']]],
+  ['getindcscallees',['getIndCSCallees',['../classSVF_1_1PTACallGraph.html#ac106536778c829d6925d6ed2149aeb44',1,'SVF::PTACallGraph::getIndCSCallees()'],['../classSVF_1_1PointerAnalysis.html#ae0efd57376195eacded85d58abee5b46',1,'SVF::PointerAnalysis::getIndCSCallees()']]],
   ['getindexedtype',['getIndexedType',['../classllvm_1_1generic__bridge__gep__type__iterator.html#acc10ad7ecc64270225cb5e8f52689673',1,'llvm::generic_bridge_gep_type_iterator']]],
   ['getindirectcalls',['getIndirectCalls',['../classSVF_1_1PTACallGraphEdge.html#a76aa19edf03a4cacfa3e27a21abfcd07',1,'SVF::PTACallGraphEdge::getIndirectCalls()'],['../classSVF_1_1PTACallGraphEdge.html#a51dbd8a7b9d0a4602215f71e3fdfee5f',1,'SVF::PTACallGraphEdge::getIndirectCalls() const']]],
   ['getindirectcallsites',['getIndirectCallsites',['../classSVF_1_1ConstraintGraph.html#a48a71f212e368769218a6f332822c976',1,'SVF::ConstraintGraph::getIndirectCallsites()'],['../classSVF_1_1PointerAnalysis.html#a9d3e7753643166465b0d647a75bc145a',1,'SVF::PointerAnalysis::getIndirectCallsites()'],['../classSVF_1_1SVFIR.html#a2d2131128ceb3362b5dc89317cfd88a0',1,'SVF::SVFIR::getIndirectCallsites()']]],
   ['getinedges',['getInEdges',['../classSVF_1_1GenericNode.html#afc8b5f86d7795b6a0dfc0687d942d79b',1,'SVF::GenericNode']]],
   ['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()']]],
+  ['getinst',['getInst',['../classSVF_1_1IntraICFGNode.html#a6f9112d3a9d423bbcd391fbbdea3e785',1,'SVF::IntraICFGNode::getInst()'],['../classSVF_1_1StmtVFGNode.html#aae94dd9031a6662d509627e602aef532',1,'SVF::StmtVFGNode::getInst()'],['../classSVF_1_1SVFStmt.html#a86628ea173dec4934322f5d1caf2e1db',1,'SVF::SVFStmt::getInst()']]],
   ['getinstances',['getInstances',['../classSVF_1_1CHGraph.html#a894a69fa143d3f460d433646a0521b6f',1,'SVF::CHGraph']]],
   ['getinstancesanddescendants',['getInstancesAndDescendants',['../classSVF_1_1CHGBuilder.html#a444dba7f18bee07a6cad51f88bb63e30',1,'SVF::CHGBuilder']]],
   ['getinstruction',['getInstruction',['../classSVF_1_1CallSite.html#ab36a6a35eea673d4bdca615efc4336b1',1,'SVF::CallSite']]],
@@ -324,18 +324,18 @@ var searchData=
   ['getinternalnode',['getInternalNode',['../classSVF_1_1PointsTo.html#aeda7466cdd9f77978981e2a518baa863',1,'SVF::PointsTo']]],
   ['getinterslist',['getIntersList',['../classSVF_1_1IntraDisjointMRG.html#aa8c653e895ff0889615cdbf349be7652',1,'SVF::IntraDisjointMRG']]],
   ['getintervfedgeatindcsfromaintofin',['getInterVFEdgeAtIndCSFromAInToFIn',['../classSVF_1_1SVFG.html#afbaf925e1e165f75161999229fa5f782',1,'SVF::SVFG']]],
-  ['getintervfedgeatindcsfromaptofp',['getInterVFEdgeAtIndCSFromAPToFP',['../classSVF_1_1SVFG.html#a9b133773dae3e7c613516ba16cfdfa2c',1,'SVF::SVFG']]],
+  ['getintervfedgeatindcsfromaptofp',['getInterVFEdgeAtIndCSFromAPToFP',['../classSVF_1_1SVFG.html#ac1acdf7bc468d7734359591e45f485fe',1,'SVF::SVFG']]],
   ['getintervfedgeatindcsfromfouttoaout',['getInterVFEdgeAtIndCSFromFOutToAOut',['../classSVF_1_1SVFG.html#a7a88391e0c2cf8a57238dec32c2474a3',1,'SVF::SVFG']]],
   ['getintervfedgeatindcsfromfrtoar',['getInterVFEdgeAtIndCSFromFRToAR',['../classSVF_1_1SVFG.html#ab2b969b7d5922427622dd875e6b8fe14',1,'SVF::SVFG']]],
-  ['getintervfedgesforindirectcallsite',['getInterVFEdgesForIndirectCallSite',['../classSVF_1_1SVFG.html#af3bb18f904512cd6f450853666810229',1,'SVF::SVFG']]],
-  ['getintrablockicfgnode',['getIntraBlockICFGNode',['../classSVF_1_1ICFG.html#a5f03c3befe1df9fa62221fc6989d387a',1,'SVF::ICFG']]],
-  ['getintrablocknode',['getIntraBlockNode',['../classSVF_1_1ICFG.html#a485fcd76a8a864c9b686e68a3ca66dfc',1,'SVF::ICFG']]],
+  ['getintervfedgesforindirectcallsite',['getInterVFEdgesForIndirectCallSite',['../classSVF_1_1SVFG.html#a49fc2c505720d5cfa57231529d1c7534',1,'SVF::SVFG']]],
+  ['getintrablockicfgnode',['getIntraBlockICFGNode',['../classSVF_1_1ICFG.html#a5f29490c8c18873fa80fc6b1c40b68bd',1,'SVF::ICFG']]],
+  ['getintrablocknode',['getIntraBlockNode',['../classSVF_1_1ICFG.html#ad0ad7f96fe2b8f772e7d667d5ba3e9a3',1,'SVF::ICFG']]],
   ['getintralockset',['getIntraLockSet',['../classSVF_1_1LockAnalysis.html#ad8e7c32cb1163f4917124fed5cf6c3ab',1,'SVF::LockAnalysis']]],
   ['getintrapagedge',['getIntraPAGEdge',['../classSVF_1_1SVFIR.html#a6f41676ae91ba7fad38cc7387dd1c255',1,'SVF::SVFIR::getIntraPAGEdge(NodeID src, NodeID dst, SVFStmt::PEDGEK kind)'],['../classSVF_1_1SVFIR.html#ac1dbd64071f9822b0404f4ed9c8bd2cd',1,'SVF::SVFIR::getIntraPAGEdge(SVFVar *src, SVFVar *dst, SVFStmt::PEDGEK kind)']]],
   ['getintraphivfgnode',['getIntraPHIVFGNode',['../classSVF_1_1VFG.html#a688c0cc4a67c7cd9afbef2f0c264c85b',1,'SVF::VFG']]],
   ['getintravfgedge',['getIntraVFGEdge',['../classSVF_1_1VFG.html#ae1348fd6d196ee8a6bd8d98022464d50',1,'SVF::VFG']]],
-  ['getjoinedgebegin',['getJoinEdgeBegin',['../classSVF_1_1ThreadCallGraph.html#ad6215527f01188f8e65fe8616e92dbc2',1,'SVF::ThreadCallGraph']]],
-  ['getjoinedgeend',['getJoinEdgeEnd',['../classSVF_1_1ThreadCallGraph.html#a17b7b3f0bdb4a52166b8509bd90499ba',1,'SVF::ThreadCallGraph']]],
+  ['getjoinedgebegin',['getJoinEdgeBegin',['../classSVF_1_1ThreadCallGraph.html#af848d7cb8a9f756ff45cca45adbf3b84',1,'SVF::ThreadCallGraph']]],
+  ['getjoinedgeend',['getJoinEdgeEnd',['../classSVF_1_1ThreadCallGraph.html#a811d7d13c05c71bd816621a9a8765365',1,'SVF::ThreadCallGraph']]],
   ['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']]],
@@ -386,9 +386,9 @@ var searchData=
   ['getmhp',['getMHP',['../classSVF_1_1FSMPTA.html#a2d0cfa271848bc9a20fda25f12b2a4f2',1,'SVF::FSMPTA']]],
   ['getmhpfunctions',['getMHPFunctions',['../classSVF_1_1PCG.html#a3106e03b7df8b34f50c769e1417f341c',1,'SVF::PCG']]],
   ['getmodelconstants',['getModelConstants',['../classSVF_1_1SymbolTableInfo.html#a89e9c6da843e5eef25c51afd5d0937e5',1,'SVF::SymbolTableInfo']]],
-  ['getmodinfoforcall',['getModInfoForCall',['../classSVF_1_1MRGenerator.html#af0d1a34ce38e9b20ee6fc7b27fcd5198',1,'SVF::MRGenerator']]],
-  ['getmodrefinfo',['getModRefInfo',['../classSVF_1_1MRGenerator.html#a455e0ba173141ac8ce76a655ac52205f',1,'SVF::MRGenerator::getModRefInfo(const CallBlockNode *cs)'],['../classSVF_1_1MRGenerator.html#a9f1d1604fb884e5c99702556915396f9',1,'SVF::MRGenerator::getModRefInfo(const CallBlockNode *cs, const Value *V)'],['../classSVF_1_1MRGenerator.html#a83f957962bf3c7621661ce87b095e841',1,'SVF::MRGenerator::getModRefInfo(const CallBlockNode *cs1, const CallBlockNode *cs2)'],['../classSVF_1_1WPAPass.html#a567f818fa7b29142b18cb39e5c063a4e',1,'SVF::WPAPass::getModRefInfo(const CallInst *callInst)'],['../classSVF_1_1WPAPass.html#a6d86f4ef6ad2f14c2dbf57b759e2950f',1,'SVF::WPAPass::getModRefInfo(const CallInst *callInst, const MemoryLocation &Loc)'],['../classSVF_1_1WPAPass.html#a81277c93b6a89c01a7a1f476bc3d744d',1,'SVF::WPAPass::getModRefInfo(const CallInst *callInst, const Value *V)'],['../classSVF_1_1WPAPass.html#a148cd86101e402e7ed8d3b3dae151d79',1,'SVF::WPAPass::getModRefInfo(const CallInst *callInst1, const CallInst *callInst2)']]],
-  ['getmodsideeffectofcallsite',['getModSideEffectOfCallSite',['../classSVF_1_1MRGenerator.html#aebd6abbf574392abce426dc796d2ee56',1,'SVF::MRGenerator']]],
+  ['getmodinfoforcall',['getModInfoForCall',['../classSVF_1_1MRGenerator.html#ae487d7b800d7536b578095c9f140ac80',1,'SVF::MRGenerator']]],
+  ['getmodrefinfo',['getModRefInfo',['../classSVF_1_1MRGenerator.html#ac14c99ee6064fc9cf30120a83c78e702',1,'SVF::MRGenerator::getModRefInfo(const CallICFGNode *cs)'],['../classSVF_1_1MRGenerator.html#a3a6c0f60c861b6d744225a40aea638d7',1,'SVF::MRGenerator::getModRefInfo(const CallICFGNode *cs, const Value *V)'],['../classSVF_1_1MRGenerator.html#a7e1c258e120d89d7b9d6e414f91c6e4a',1,'SVF::MRGenerator::getModRefInfo(const CallICFGNode *cs1, const CallICFGNode *cs2)'],['../classSVF_1_1WPAPass.html#a567f818fa7b29142b18cb39e5c063a4e',1,'SVF::WPAPass::getModRefInfo(const CallInst *callInst)'],['../classSVF_1_1WPAPass.html#a6d86f4ef6ad2f14c2dbf57b759e2950f',1,'SVF::WPAPass::getModRefInfo(const CallInst *callInst, const MemoryLocation &Loc)'],['../classSVF_1_1WPAPass.html#a81277c93b6a89c01a7a1f476bc3d744d',1,'SVF::WPAPass::getModRefInfo(const CallInst *callInst, const Value *V)'],['../classSVF_1_1WPAPass.html#a148cd86101e402e7ed8d3b3dae151d79',1,'SVF::WPAPass::getModRefInfo(const CallInst *callInst1, const CallInst *callInst2)']]],
+  ['getmodsideeffectofcallsite',['getModSideEffectOfCallSite',['../classSVF_1_1MRGenerator.html#a1535832f5b1ae3178fea950bf71fdd99',1,'SVF::MRGenerator']]],
   ['getmodsideeffectoffunction',['getModSideEffectOfFunction',['../classSVF_1_1MRGenerator.html#a7d47fbc3dbe8fd19ca5e4210bdecf914',1,'SVF::MRGenerator']]],
   ['getmodule',['getModule',['../classSVF_1_1DDAClient.html#ad9484fac56de8beaf120b1611d23dddc',1,'SVF::DDAClient::getModule()'],['../classSVF_1_1PointerAnalysis.html#ad8b71cebf46deaf60e2cd4f6d6bb9433',1,'SVF::PointerAnalysis::getModule()'],['../classSVF_1_1SVFIR.html#ad6e18f520f6b559f2304002792f6b701',1,'SVF::SVFIR::getModule()'],['../classSVF_1_1SymbolTableInfo.html#a40387a4893ae5caf58d6f786533d2f44',1,'SVF::SymbolTableInfo::getModule()'],['../classSVF_1_1LockResultValidator.html#a7b8a2bf9962bd57e103039ead85821d2',1,'SVF::LockResultValidator::getModule()'],['../classSVF_1_1MTAResultValidator.html#aecaf875c6c88f7ba6fa45540e8436f57',1,'SVF::MTAResultValidator::getModule()'],['../classSVF_1_1LLVMModuleSet.html#a8afb7ab3ee4632e78d546e549110e74c',1,'SVF::LLVMModuleSet::getModule()']]],
   ['getmoduleidentifier',['getModuleIdentifier',['../classSVF_1_1SVFModule.html#aa8bab1ad6cab332fe24066b9cf487344',1,'SVF::SVFModule']]],
@@ -405,7 +405,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#af4d11a0c7da0ddd7dff8d75a00279847',1,'SVF::MemSSA::getMUSet(const LoadStmt *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#af1a7b3ca0144ebff3747715e89646fbb',1,'SVF::MemSSA::getMUSet(const CallICFGNode *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()']]],
@@ -453,10 +453,10 @@ var searchData=
   ['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']]],
   ['getoraddbranchcond',['getOrAddBranchCond',['../classSVF_1_1CondManager.html#a0ca23ef4850f9be8abf303eafd104dab',1,'SVF::CondManager']]],
-  ['getoraddcallicfgnode',['getOrAddCallICFGNode',['../classSVF_1_1ICFGBuilder.html#ae9958bebe253db187d403929bc508eac',1,'SVF::ICFGBuilder']]],
-  ['getoraddinterblockicfgnode',['getOrAddInterBlockICFGNode',['../classSVF_1_1ICFGBuilder.html#a1fe9bfb1f0cb64fba6b54d598b6d7a74',1,'SVF::ICFGBuilder']]],
-  ['getoraddintrablockicfgnode',['getOrAddIntraBlockICFGNode',['../classSVF_1_1ICFGBuilder.html#a28bcef712806344a3bcd664ef3d1e48b',1,'SVF::ICFGBuilder']]],
-  ['getoraddreticfgnode',['getOrAddRetICFGNode',['../classSVF_1_1ICFGBuilder.html#a2f89ca8d506f90f0b90d18b0f63d8481',1,'SVF::ICFGBuilder']]],
+  ['getoraddcallicfgnode',['getOrAddCallICFGNode',['../classSVF_1_1ICFGBuilder.html#af0b1627b91de8d007d95ee90c6bfb8da',1,'SVF::ICFGBuilder']]],
+  ['getoraddinterblockicfgnode',['getOrAddInterBlockICFGNode',['../classSVF_1_1ICFGBuilder.html#a1c07cce4cae9bfc8884b37cbda06d8ac',1,'SVF::ICFGBuilder']]],
+  ['getoraddintrablockicfgnode',['getOrAddIntraBlockICFGNode',['../classSVF_1_1ICFGBuilder.html#a91599e3ddb71462ec61a50fad91288da',1,'SVF::ICFGBuilder']]],
+  ['getoraddreticfgnode',['getOrAddRetICFGNode',['../classSVF_1_1ICFGBuilder.html#afbf56b40d45f14b3a846d840f44d1681',1,'SVF::ICFGBuilder']]],
   ['getorcreatenode',['getOrCreateNode',['../classSVF_1_1DCHGraph.html#a9ed6b91fad334605f514049a2072b538',1,'SVF::DCHGraph']]],
   ['getorcreatetctnode',['getOrCreateTCTNode',['../classSVF_1_1TCT.html#a787e815e9c7e53566ce56127dd31a3a9',1,'SVF::TCT']]],
   ['getoriginalfieldtype',['getOriginalFieldType',['../classSVF_1_1SymbolTableInfo.html#a866085ff37b7841606c523817c621f49',1,'SVF::SymbolTableInfo::getOriginalFieldType()'],['../classSVF_1_1StInfo.html#a353476ac0b11f153555557b932847d85',1,'SVF::StInfo::getOriginalFieldType()']]],
@@ -481,7 +481,7 @@ var searchData=
   ['getpagsrcnode',['getPAGSrcNode',['../classSVF_1_1StmtVFGNode.html#a837da5917c31e14aa51c6fa3e2640849',1,'SVF::StmtVFGNode']]],
   ['getpagsrcnodeid',['getPAGSrcNodeID',['../classSVF_1_1StmtVFGNode.html#a791a01f5d3528f8a8bf19369b5c61c37',1,'SVF::StmtVFGNode']]],
   ['getparam',['getParam',['../classSVF_1_1ActualParmVFGNode.html#a8932b197a076ab3069a9fe8b73e7fc32',1,'SVF::ActualParmVFGNode::getParam()'],['../classSVF_1_1FormalParmVFGNode.html#ab1a9031c1fc5102e072b5035151c131c',1,'SVF::FormalParmVFGNode::getParam()']]],
-  ['getparent',['getParent',['../classSVF_1_1CallBlockNode.html#aa541f0ab3c35110d5a00ae8bb4af58bc',1,'SVF::CallBlockNode']]],
+  ['getparent',['getParent',['../classSVF_1_1CallICFGNode.html#afb35b6c191a5a0b8e92019f6f3dbcc54',1,'SVF::CallICFGNode']]],
   ['getparentsbegin',['getParentsBegin',['../classSVF_1_1TCT.html#afa5bd475c4dc068a0ecc0ec5caab77a9',1,'SVF::TCT']]],
   ['getparentsend',['getParentsEnd',['../classSVF_1_1TCT.html#a5d6a06c7daff36a14fa1f371a477784d',1,'SVF::TCT']]],
   ['getparentthread',['getParentThread',['../classSVF_1_1TCT.html#a516578af1f8666ff672e6611e61d7152',1,'SVF::TCT']]],
@@ -515,8 +515,8 @@ var searchData=
   ['getptssubsetmap',['getPtsSubSetMap',['../classSVF_1_1IntraDisjointMRG.html#ae3c857c056f4e6e863843bafba7fdea1',1,'SVF::IntraDisjointMRG::getPtsSubSetMap(const SVFFunction *func)'],['../classSVF_1_1IntraDisjointMRG.html#ad0640ef6e02d9a90964ca495c0fd8f53',1,'SVF::IntraDisjointMRG::getPtsSubSetMap(const SVFFunction *func) const']]],
   ['getrawctirmetadata',['getRawCTirMetadata',['../classSVF_1_1TypeBasedHeapCloning.html#a21d2fd8bbef0c6f6ddddb5387569a7fa',1,'SVF::TypeBasedHeapCloning::getRawCTirMetadata()'],['../classSVF_1_1FlowSensitiveTBHC.html#a2c47ba37bd250be455a21d1f0049d556',1,'SVF::FlowSensitiveTBHC::getRawCTirMetadata()']]],
   ['getref',['getRef',['../classSVF_1_1OfflineConsG.html#af701f54b1db07a16e926cd40ab17eb12',1,'SVF::OfflineConsG']]],
-  ['getrefinfoforcall',['getRefInfoForCall',['../classSVF_1_1MRGenerator.html#acbc431cc7fb72135e592d74709ea7a77',1,'SVF::MRGenerator']]],
-  ['getrefsideeffectofcallsite',['getRefSideEffectOfCallSite',['../classSVF_1_1MRGenerator.html#ae2cc7d7d6ab427acb0352b388c7a4acc',1,'SVF::MRGenerator']]],
+  ['getrefinfoforcall',['getRefInfoForCall',['../classSVF_1_1MRGenerator.html#a965a31712341b1fc02e667f325423ca2',1,'SVF::MRGenerator']]],
+  ['getrefsideeffectofcallsite',['getRefSideEffectOfCallSite',['../classSVF_1_1MRGenerator.html#a62757aa995a6a01b484c60df2f51c53d',1,'SVF::MRGenerator']]],
   ['getrefsideeffectoffunction',['getRefSideEffectOfFunction',['../classSVF_1_1MRGenerator.html#ac0007c8808654ca74feef0d8568378b9',1,'SVF::MRGenerator']]],
   ['getreftypeofheapallocorstatic',['getRefTypeOfHeapAllocOrStatic',['../namespaceSVF_1_1SVFUtil.html#a9232d260dc83d3a25cd98195ba76567a',1,'SVF::SVFUtil::getRefTypeOfHeapAllocOrStatic(const CallSite cs)'],['../namespaceSVF_1_1SVFUtil.html#a642f8284fbb260dd81fb29d5fadf6822',1,'SVF::SVFUtil::getRefTypeOfHeapAllocOrStatic(const Instruction *inst)']]],
   ['getregionsize',['getRegionSize',['../classSVF_1_1MemRegion.html#a99f106d47fd67f1ae53e144d72a223c9',1,'SVF::MemRegion']]],
@@ -528,10 +528,10 @@ var searchData=
   ['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()']]],
-  ['getreticfgnode',['getRetICFGNode',['../classSVF_1_1ICFG.html#ae3bd3bf29b3dac286b93be22cbb60b2c',1,'SVF::ICFG']]],
+  ['getretblocknode',['getRetBlockNode',['../classSVF_1_1ICFG.html#a392e5ea7c356763a988407f91343f034',1,'SVF::ICFG']]],
+  ['getreticfgnode',['getRetICFGNode',['../classSVF_1_1ICFG.html#a26ee40d30efc126734b7fb081db5da54',1,'SVF::ICFG::getRetICFGNode()'],['../classSVF_1_1CallICFGNode.html#ae23a7540609879ac0379fc53b4e7eead',1,'SVF::CallICFGNode::getRetICFGNode()']]],
   ['getretparmatjoinedsite',['getRetParmAtJoinedSite',['../classSVF_1_1ThreadAPI.html#ad1c595f7b15a2d3079b9e9200c84f7d7',1,'SVF::ThreadAPI::getRetParmAtJoinedSite(const Instruction *inst) const'],['../classSVF_1_1ThreadAPI.html#a5439ef32c909b02c83cbd30eb0a0fe12',1,'SVF::ThreadAPI::getRetParmAtJoinedSite(CallSite cs) const']]],
-  ['getretsite',['getRetSite',['../classSVF_1_1ProgSlice.html#a2a4c2d573b43f005ae668bffc7fc911d',1,'SVF::ProgSlice']]],
+  ['getretsite',['getRetSite',['../classSVF_1_1ProgSlice.html#a07ce77afbf69d5e2a47afaa39eaea886',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_1IRGraph.html#a96010999a4e5013beb1c37ef753ff910',1,'SVF::IRGraph::getReturnNode()'],['../classSVF_1_1SVFIRBuilder.html#aff99c8de4acf4eeaf01803dadf459b92',1,'SVF::SVFIRBuilder::getReturnNode()']]],
@@ -557,7 +557,7 @@ var searchData=
   ['getspanfromcxtlock',['getSpanfromCxtLock',['../classSVF_1_1LockAnalysis.html#ae7942c801e05357bb63f08c24489daf6',1,'SVF::LockAnalysis']]],
   ['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']]],
+  ['getsrccsid',['getSrcCSID',['../classSVF_1_1LeakChecker.html#a8cc561fddf3435b3b40ff4aace23b846',1,'SVF::LeakChecker']]],
   ['getsrcid',['getSrcID',['../classSVF_1_1GenericEdge.html#ae6792506a0150a9400d635eceab7f9e7',1,'SVF::GenericEdge::getSrcID()'],['../classSVF_1_1AssignStmt.html#aa9e1367635f51e5fb456ac885406c990',1,'SVF::AssignStmt::getSrcID()'],['../classSVF_1_1MultiOpndStmt.html#acb793282c0abdef799b02658eebe1b79',1,'SVF::MultiOpndStmt::getSrcID()'],['../classSVF_1_1UnaryOPStmt.html#a38d60ea63e064f8a581f72f64642976d',1,'SVF::UnaryOPStmt::getSrcID()'],['../classSVF_1_1BranchStmt.html#a9425d660cc5a51b720463adc71f4c1f5',1,'SVF::BranchStmt::getSrcID()']]],
   ['getsrcnode',['getSrcNode',['../classSVF_1_1GenericEdge.html#ab47ca533c415841ef75456cbad439589',1,'SVF::GenericEdge::getSrcNode()'],['../classSVF_1_1AssignStmt.html#af4edf3314705e3b589b856b07049edcd',1,'SVF::AssignStmt::getSrcNode()'],['../classSVF_1_1MultiOpndStmt.html#a09cc241c2cb1c89a7d89ef6c605eaed8',1,'SVF::MultiOpndStmt::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']]],
@@ -642,8 +642,8 @@ var searchData=
   ['getvfgnodebegin',['getVFGNodeBegin',['../classSVF_1_1VFG.html#a5166be2c1231a93c9b9ce5f272797b94',1,'SVF::VFG']]],
   ['getvfgnodeend',['getVFGNodeEnd',['../classSVF_1_1VFG.html#a28f2bdcbbc0bab00e93df62ea11647a2',1,'SVF::VFG']]],
   ['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']]],
+  ['getvfnsfromcha',['getVFnsFromCHA',['../classSVF_1_1PointerAnalysis.html#ade41f3562704d56c7490dcfc941b3437',1,'SVF::PointerAnalysis']]],
+  ['getvfnsfrompts',['getVFnsFromPts',['../classSVF_1_1PointerAnalysis.html#a011b8401f5ed5fdb6cd507053465a7a2',1,'SVF::PointerAnalysis']]],
   ['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']]],
@@ -656,7 +656,7 @@ var searchData=
   ['getyield',['getYield',['../classSVF_1_1VersionedFlowSensitive.html#a01a199e9fdb5759c7f78ee344dbc413c',1,'SVF::VersionedFlowSensitive']]],
   ['global_5fbegin',['global_begin',['../classSVF_1_1SVFModule.html#a4dc32c583d29d74d052eaa5665b0b70e',1,'SVF::SVFModule::global_begin()'],['../classSVF_1_1SVFModule.html#af81c6deed3978562f83f120119c6aad2',1,'SVF::SVFModule::global_begin() const']]],
   ['global_5fend',['global_end',['../classSVF_1_1SVFModule.html#a8a34164634d6ad9a7b76175907c8c44b',1,'SVF::SVFModule::global_end()'],['../classSVF_1_1SVFModule.html#afa9068e662918f6649d5ca25340a3ae2',1,'SVF::SVFModule::global_end() const']]],
-  ['globalblocknode',['GlobalBlockNode',['../classSVF_1_1GlobalBlockNode.html#a233fceb667e517862fd97d50832a4d7e',1,'SVF::GlobalBlockNode']]],
+  ['globalicfgnode',['GlobalICFGNode',['../classSVF_1_1GlobalICFGNode.html#a01e8a9844fcad1cc5faa22d8b0e0efd7',1,'SVF::GlobalICFGNode']]],
   ['gnodesccinfo',['GNodeSCCInfo',['../classSVF_1_1SCCDetection_1_1GNodeSCCInfo.html#a4b8c555a11e9eae2065ec1549ce537de',1,'SVF::SCCDetection::GNodeSCCInfo::GNodeSCCInfo()'],['../classSVF_1_1SCCDetection.html#ab3bdd1e73f95735a8f37566c3793bb36',1,'SVF::SCCDetection::GNodeSCCInfo()']]],
   ['graph',['graph',['../classSVF_1_1CFLSolver.html#a9fc4cbe8985d4c25845d408ffcac13e4',1,'SVF::CFLSolver::graph()'],['../classSVF_1_1SCCDetection.html#a1b8b57a3ea3740f36a19afc8bd42033d',1,'SVF::SCCDetection::graph()'],['../classSVF_1_1WPASolver.html#abe0a304039d1bd2cfd7befd32fdcde2b',1,'SVF::WPASolver::graph()']]],
   ['graphprinter',['GraphPrinter',['../classllvm_1_1GraphPrinter.html#a13b2efcc3e5967f60a27e107683cd448',1,'llvm::GraphPrinter']]],

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

@@ -5,7 +5,7 @@ var searchData=
   ['handleblackhole',['handleBlackHole',['../classSVF_1_1SVFIR.html#a2375f49c77f2285a6316e7540b051a0f',1,'SVF::SVFIR']]],
   ['handlecall',['handleCall',['../classSVF_1_1LockAnalysis.html#a97b186f9417144557bb17c41d515a9f4',1,'SVF::LockAnalysis::handleCall()'],['../classSVF_1_1MHP.html#af769afe6ba6baccda5a497df181c9fb0',1,'SVF::MHP::handleCall()'],['../classSVF_1_1ForkJoinAnalysis.html#ab636777379aca0b53a06e4888d4b4c6b',1,'SVF::ForkJoinAnalysis::handleCall()']]],
   ['handlecallrelation',['handleCallRelation',['../classSVF_1_1LockAnalysis.html#ab99ef73905f35d4c20ca408586fc8680',1,'SVF::LockAnalysis::handleCallRelation()'],['../classSVF_1_1TCT.html#aac0c4c3f1c7cb1d89ebd2a3da2d49bd3',1,'SVF::TCT::handleCallRelation()']]],
-  ['handlecallsitemodref',['handleCallsiteModRef',['../classSVF_1_1MRGenerator.html#a123a2ea51b04f1398b9ee66567f5014a',1,'SVF::MRGenerator']]],
+  ['handlecallsitemodref',['handleCallsiteModRef',['../classSVF_1_1MRGenerator.html#acbf0be131b1fc5d0366157d300d1aa68',1,'SVF::MRGenerator']]],
   ['handlece',['handleCE',['../classSVF_1_1SymbolTableBuilder.html#abe39a7a3557899b4991bcc60d436dc50',1,'SVF::SymbolTableBuilder']]],
   ['handlecopygep',['handleCopyGep',['../classSVF_1_1Andersen.html#ab069683dd6ca563113efbde2813ab35e',1,'SVF::Andersen::handleCopyGep()'],['../classSVF_1_1AndersenWaveDiff.html#ad5c85a28967cc3f62e663dc00a8aa8c9',1,'SVF::AndersenWaveDiff::handleCopyGep()'],['../classSVF_1_1AndersenLCD.html#a139d80e25fe713194f719581915d36d5',1,'SVF::AndersenLCD::handleCopyGep()'],['../classSVF_1_1AndersenHLCD.html#a9582cde6cbb510f3fb624109f8ea8f63',1,'SVF::AndersenHLCD::handleCopyGep()'],['../classSVF_1_1AndersenSCD.html#aa0a496376f7bea2c417ef83c51d19a61',1,'SVF::AndersenSCD::handleCopyGep()']]],
   ['handledibasictype',['handleDIBasicType',['../classSVF_1_1DCHGraph.html#a86bf48776ccf53092f4cb742cf95f8eb',1,'SVF::DCHGraph']]],
@@ -41,16 +41,16 @@ var searchData=
   ['hareparforedge',['HareParForEdge',['../classSVF_1_1HareParForEdge.html#a097ccd687d7ca511a4a453dd56b7c665',1,'SVF::HareParForEdge']]],
   ['has_5fstatic',['has_static',['../classSVF_1_1ExtAPI.html#ae439994d7a92c4cb3bf5c9fa80fa31e8',1,'SVF::ExtAPI']]],
   ['has_5fstatic2',['has_static2',['../classSVF_1_1ExtAPI.html#aab5731ba773144c7cbb5609e9b807eae',1,'SVF::ExtAPI']]],
-  ['hasactualinsvfgnodes',['hasActualINSVFGNodes',['../classSVF_1_1SVFG.html#afec2a195b5e367ec0d3f292168d10811',1,'SVF::SVFG']]],
-  ['hasactualoutsvfgnodes',['hasActualOUTSVFGNodes',['../classSVF_1_1SVFG.html#abc41243e27c4543ad50b6649839a940c',1,'SVF::SVFG']]],
+  ['hasactualinsvfgnodes',['hasActualINSVFGNodes',['../classSVF_1_1SVFG.html#a21577bc4b4e55b23aa55083f5321b399',1,'SVF::SVFG']]],
+  ['hasactualoutsvfgnodes',['hasActualOUTSVFGNodes',['../classSVF_1_1SVFG.html#ab1fde654cc464c5b4d1bafff83d346ed',1,'SVF::SVFG']]],
   ['hasallcxtinlockspan',['hasAllCxtInLockSpan',['../classSVF_1_1LockAnalysis.html#a33740d6dc51d24af2d0c8cb2fbf27db6',1,'SVF::LockAnalysis']]],
   ['hasblackholeconstobjaddrasdef',['hasBlackHoleConstObjAddrAsDef',['../classSVF_1_1VFG.html#a88f6468b9b43bbb06ef757d884580a50',1,'SVF::VFG']]],
-  ['hascallgraphedge',['hasCallGraphEdge',['../classSVF_1_1PTACallGraph.html#afdd308d681cb2a57e9473186f431db61',1,'SVF::PTACallGraph']]],
-  ['hascallsiteargsmap',['hasCallSiteArgsMap',['../classSVF_1_1SVFIR.html#a2a4185af81e7e10f0db74c39ee220101',1,'SVF::SVFIR']]],
-  ['hascallsitechi',['hasCallSiteChi',['../classSVF_1_1SVFG.html#a1027dcf25e914377e02885b786d00edc',1,'SVF::SVFG']]],
-  ['hascallsiteid',['hasCallSiteID',['../classSVF_1_1PTACallGraph.html#a236d1269b1b560e09f22e0197f6f1ad7',1,'SVF::PTACallGraph']]],
-  ['hascallsitemu',['hasCallSiteMu',['../classSVF_1_1SVFG.html#afca91771a622290586bfa941132c322e',1,'SVF::SVFG']]],
-  ['haschi',['hasCHI',['../classSVF_1_1MemSSA.html#abfb338ce36ad46a9654d50dd6e2b07f1',1,'SVF::MemSSA::hasCHI(const PAGEdge *inst) const'],['../classSVF_1_1MemSSA.html#a51b8381b80b23590e638489c2a6760a4',1,'SVF::MemSSA::hasCHI(const CallBlockNode *cs) const']]],
+  ['hascallgraphedge',['hasCallGraphEdge',['../classSVF_1_1PTACallGraph.html#af8df9ca6d906453fa3f7168aa84fd087',1,'SVF::PTACallGraph']]],
+  ['hascallsiteargsmap',['hasCallSiteArgsMap',['../classSVF_1_1SVFIR.html#a95f77211550ec2374d57779d88cf5138',1,'SVF::SVFIR']]],
+  ['hascallsitechi',['hasCallSiteChi',['../classSVF_1_1SVFG.html#ad9cc1581261182b56ae232d9a9b13296',1,'SVF::SVFG']]],
+  ['hascallsiteid',['hasCallSiteID',['../classSVF_1_1PTACallGraph.html#aa8dbda3e46533680173e55d396f36756',1,'SVF::PTACallGraph']]],
+  ['hascallsitemu',['hasCallSiteMu',['../classSVF_1_1SVFG.html#a842f6f2325c9e93ea96367e9cf624ee8',1,'SVF::SVFG']]],
+  ['haschi',['hasCHI',['../classSVF_1_1MemSSA.html#abfb338ce36ad46a9654d50dd6e2b07f1',1,'SVF::MemSSA::hasCHI(const PAGEdge *inst) const'],['../classSVF_1_1MemSSA.html#ae16120dfc9436861f719e605617f353d',1,'SVF::MemSSA::hasCHI(const CallICFGNode *cs) const']]],
   ['hasconstantgep',['hasConstantGEP',['../BreakConstantExpr_8cpp.html#a81381bb19688464256bd09ef22e965e4',1,'BreakConstantExpr.cpp']]],
   ['hasconstraintnode',['hasConstraintNode',['../classSVF_1_1ConstraintGraph.html#aad6c37476edfd9ae92dc8c0d004d782d',1,'SVF::ConstraintGraph']]],
   ['hascptslist',['hasCPtsList',['../classSVF_1_1MRGenerator.html#a1cb94c8a0379eb30c99f0c3cb2bfebaf',1,'SVF::MRGenerator']]],
@@ -79,7 +79,7 @@ var searchData=
   ['hasincomingedge',['hasIncomingEdge',['../classSVF_1_1GenericNode.html#a06a7373b11143e709784de784fa476fe',1,'SVF::GenericNode::hasIncomingEdge() const'],['../classSVF_1_1GenericNode.html#add6b6b3bd45a9460335c5db9eda821b8',1,'SVF::GenericNode::hasIncomingEdge(EdgeType *edge) const'],['../classSVF_1_1VFPathCond.html#abb236b6b551cb58e4fb483c07aa5aa77',1,'SVF::VFPathCond::hasIncomingEdge()']]],
   ['hasincomingedges',['hasIncomingEdges',['../classSVF_1_1SVFVar.html#a747b2c92c81d32fcd357e80d2d8fe7cc',1,'SVF::SVFVar']]],
   ['hasincomingvariantgepedge',['hasIncomingVariantGepEdge',['../classSVF_1_1SVFVar.html#a71e4fd7a1271a17e971ed90044e6da24',1,'SVF::SVFVar']]],
-  ['hasindcscallees',['hasIndCSCallees',['../classSVF_1_1PTACallGraph.html#ac46ec4fe0094145c5fdb81394f1dd644',1,'SVF::PTACallGraph::hasIndCSCallees()'],['../classSVF_1_1PointerAnalysis.html#a8d3a457efb1963f8d87305bf33c02754',1,'SVF::PointerAnalysis::hasIndCSCallees()']]],
+  ['hasindcscallees',['hasIndCSCallees',['../classSVF_1_1PTACallGraph.html#a71a63c53a093ea8e450fb53fd60c9424',1,'SVF::PTACallGraph::hasIndCSCallees()'],['../classSVF_1_1PointerAnalysis.html#abdacd060691add054839aa183babe095',1,'SVF::PointerAnalysis::hasIndCSCallees()']]],
   ['hasintericfgedge',['hasInterICFGEdge',['../classSVF_1_1ICFG.html#a86535e50d1feba706b19491d905baef1',1,'SVF::ICFG']]],
   ['hasinterleavingthreads',['hasInterleavingThreads',['../classSVF_1_1MHP.html#a3ba43bb0be55ffade3d70f8cbb95f88f',1,'SVF::MHP']]],
   ['hasintervfgedge',['hasInterVFGEdge',['../classSVF_1_1VFG.html#ad86631f70bd702b5635bdbeab7d884b9',1,'SVF::VFG']]],
@@ -87,9 +87,9 @@ var searchData=
   ['hasintravfgedge',['hasIntraVFGEdge',['../classSVF_1_1VFG.html#ac34c4529229404617c346f81cc6c141f',1,'SVF::VFG']]],
   ['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']]],
-  ['hasmu',['hasMU',['../classSVF_1_1MemSSA.html#af5e356e82c3f93b65bd89908e0f465dc',1,'SVF::MemSSA::hasMU(const PAGEdge *inst) const'],['../classSVF_1_1MemSSA.html#a480f37f70e9c3ff8ce7750a4d5f6f05b',1,'SVF::MemSSA::hasMU(const CallBlockNode *cs) const']]],
+  ['hasmodmrset',['hasModMRSet',['../classSVF_1_1MRGenerator.html#a7d66a341805af7ec4e4893e5a7e0bc2d',1,'SVF::MRGenerator']]],
+  ['hasmodsideeffectofcallsite',['hasModSideEffectOfCallSite',['../classSVF_1_1MRGenerator.html#a187d82895b2e1156c6dd5ae28795944f',1,'SVF::MRGenerator']]],
+  ['hasmu',['hasMU',['../classSVF_1_1MemSSA.html#af5e356e82c3f93b65bd89908e0f465dc',1,'SVF::MemSSA::hasMU(const PAGEdge *inst) const'],['../classSVF_1_1MemSSA.html#a6bd9390c6cd2a3d7a3752fba76acfb46',1,'SVF::MemSSA::hasMU(const CallICFGNode *cs) const']]],
   ['hasnode',['hasNode',['../classSVF_1_1DCHGraph.html#a58341e23c1dc2b3e7fce190ed16a8a25',1,'SVF::DCHGraph']]],
   ['hasnodestobecollapsed',['hasNodesToBeCollapsed',['../classSVF_1_1ConstraintGraph.html#aa867ffe0f3639a0ef5b5c36696e733be',1,'SVF::ConstraintGraph']]],
   ['hasnonlabelededge',['hasNonlabeledEdge',['../classSVF_1_1IRGraph.html#abe0ab797a3da420e4d2f9136d64fb407',1,'SVF::IRGraph']]],
@@ -106,8 +106,8 @@ var searchData=
   ['hasptrobj',['hasPtrObj',['../classSVF_1_1MemObj.html#a6dae1b3429c6049f0153ec006d329082',1,'SVF::MemObj::hasPtrObj()'],['../classSVF_1_1ObjTypeInfo.html#ac5bae1e7917f415193a805e8d2e29320',1,'SVF::ObjTypeInfo::hasPtrObj()']]],
   ['hasptsmap',['hasPtsMap',['../classSVF_1_1CondPTAImpl.html#a597e9c4e76f358c36d4b820c4d69ebc6',1,'SVF::CondPTAImpl']]],
   ['hasref',['hasRef',['../classSVF_1_1OfflineConsG.html#a576cfa438bb109b7e451b410cd3a8569',1,'SVF::OfflineConsG']]],
-  ['hasrefmrset',['hasRefMRSet',['../classSVF_1_1MRGenerator.html#aeed8bcf54d2a72c640e464e256249630',1,'SVF::MRGenerator']]],
-  ['hasrefsideeffectofcallsite',['hasRefSideEffectOfCallSite',['../classSVF_1_1MRGenerator.html#ac91b6f0f33a95ba35cc23e0e4657732a',1,'SVF::MRGenerator']]],
+  ['hasrefmrset',['hasRefMRSet',['../classSVF_1_1MRGenerator.html#af06e8ac43efdedb97a2008cd93fc32d6',1,'SVF::MRGenerator']]],
+  ['hasrefsideeffectofcallsite',['hasRefSideEffectOfCallSite',['../classSVF_1_1MRGenerator.html#a9718c9e8efc1e6f32441aa5f418711dd',1,'SVF::MRGenerator']]],
   ['hasreturnmu',['hasReturnMu',['../classSVF_1_1MemSSA.html#a3400d9a921672b3872656acecc3eac9f',1,'SVF::MemSSA']]],
   ['hassbsinkflag',['hasSBSinkFlag',['../classSVF_1_1Annotator.html#acbb2e202ab3fb864e70eac6b41c3899e',1,'SVF::Annotator']]],
   ['hassbsourceflag',['hasSBSourceFlag',['../classSVF_1_1Annotator.html#a3fb284999931900d92e60104980648ef',1,'SVF::Annotator']]],
@@ -115,9 +115,9 @@ var searchData=
   ['hassvfgnode',['hasSVFGNode',['../classSVF_1_1SVFG.html#a1b9d1ad76785ae0eb07979aa75325640',1,'SVF::SVFG']]],
   ['hassvfstmtlist',['hasSVFStmtList',['../classSVF_1_1SVFIR.html#a63acb4d86d93ad1e88860ac839a8c654',1,'SVF::SVFIR::hasSVFStmtList()'],['../classSVF_1_1MRGenerator.html#a6f631290f3da7c308395eb6a9472d7a5',1,'SVF::MRGenerator::hasSVFStmtList()']]],
   ['hastctnode',['hasTCTNode',['../classSVF_1_1TCT.html#a5d5a753b4d2633e3aaf58859274ffe7a',1,'SVF::TCT']]],
-  ['hasthreadforkedge',['hasThreadForkEdge',['../classSVF_1_1ThreadCallGraph.html#ac528526e77b995de0cd5e718503f42ed',1,'SVF::ThreadCallGraph']]],
+  ['hasthreadforkedge',['hasThreadForkEdge',['../classSVF_1_1ThreadCallGraph.html#a933a6a2f0a0c6364e8df1bc65a07192f',1,'SVF::ThreadCallGraph']]],
   ['hasthreadicfgedge',['hasThreadICFGEdge',['../classSVF_1_1ICFG.html#a29fb70d6638765ce291c5a8a11fbea64',1,'SVF::ICFG']]],
-  ['hasthreadjoinedge',['hasThreadJoinEdge',['../classSVF_1_1ThreadCallGraph.html#ac591fcd46254a0d809dac16ee15ab12e',1,'SVF::ThreadCallGraph::hasThreadJoinEdge(const CallBlockNode *cs) const'],['../classSVF_1_1ThreadCallGraph.html#a10f3f07059d0534e391093372fcd708d',1,'SVF::ThreadCallGraph::hasThreadJoinEdge(const CallBlockNode *call, PTACallGraphNode *joinFunNode, PTACallGraphNode *threadRoutineFunNode, CallSiteID csId) const']]],
+  ['hasthreadjoinedge',['hasThreadJoinEdge',['../classSVF_1_1ThreadCallGraph.html#a5f7c92af1a4ce33e4746f5b65c9c8421',1,'SVF::ThreadCallGraph::hasThreadJoinEdge(const CallICFGNode *cs) const'],['../classSVF_1_1ThreadCallGraph.html#a98214e970762f43d0e9ad719961b4021',1,'SVF::ThreadCallGraph::hasThreadJoinEdge(const CallICFGNode *call, PTACallGraphNode *joinFunNode, PTACallGraphNode *threadRoutineFunNode, CallSiteID csId) const']]],
   ['hasthreadstmtset',['hasThreadStmtSet',['../classSVF_1_1MHP.html#a6841b147e2a681ea372bdddd53616294',1,'SVF::MHP']]],
   ['hasthreadvfgedge',['hasThreadVFGEdge',['../classSVF_1_1VFG.html#aead3b463d9aa2fae5845d97896bd18ba',1,'SVF::VFG']]],
   ['hasvalidationtarget',['hasValidationTarget',['../classSVF_1_1RaceResultValidator.html#a749793355ab8390a1e6577d7b05efddf',1,'SVF::RaceResultValidator']]],