svf-tools 1.0.341 → 1.0.345

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

@@ -106,16 +106,16 @@ var searchData=
   ['insertkey',['insertKey',['../namespaceSVF_1_1SVFUtil.html#aeecfaf26800dcebf0b079395126bc7f7',1,'SVF::SVFUtil::insertKey(const Key &key, KeySet &keySet)'],['../namespaceSVF_1_1SVFUtil.html#a4f75b8313eb2b1e5a4c798a01cb99471',1,'SVF::SVFUtil::insertKey(const NodeID &key, NodeBS &keySet)']]],
   ['insertphi',['insertPHI',['../classSVF_1_1MemSSA.html#acc6f72d96cf29e36093ba08ea86b8983',1,'SVF::MemSSA']]],
   ['insertvalueinst',['InsertValueInst',['../namespaceSVF.html#a485b10fc29e76fdb6f31a56ebbde8f24',1,'SVF']]],
-  ['inst',['inst',['../classSVF_1_1IntraBlockNode.html#a2381ce8fea9eb3213bd2f2d00db0086d',1,'SVF::IntraBlockNode::inst()'],['../classSVF_1_1CallPE.html#a86b76d7390dc0f650ec2428c394bf41a',1,'SVF::CallPE::inst()'],['../classSVF_1_1RetPE.html#ad78a287bde15c03eec8d633d363e2ed2',1,'SVF::RetPE::inst()'],['../classSVF_1_1LoadMU.html#a7bbac3ff5455aa1340f348c7cb239c46',1,'SVF::LoadMU::inst()'],['../classSVF_1_1StoreCHI.html#a6e58e7cde1f417ec3feaef98f6f74be2',1,'SVF::StoreCHI::inst()'],['../classSVF_1_1CxtStmt.html#a237b8738885e57d5a9b984221f611567',1,'SVF::CxtStmt::inst()']]],
+  ['inst',['inst',['../classSVF_1_1IntraICFGNode.html#ac160eae9228d5b6627a6ca74da0b03e4',1,'SVF::IntraICFGNode::inst()'],['../classSVF_1_1CallPE.html#a60e8280eb3e77e67e3dfa4dcee943edf',1,'SVF::CallPE::inst()'],['../classSVF_1_1RetPE.html#a028363b55fa19897a93f1c78ec905723',1,'SVF::RetPE::inst()'],['../classSVF_1_1LoadMU.html#a7bbac3ff5455aa1340f348c7cb239c46',1,'SVF::LoadMU::inst()'],['../classSVF_1_1StoreCHI.html#a6e58e7cde1f417ec3feaef98f6f74be2',1,'SVF::StoreCHI::inst()'],['../classSVF_1_1CxtStmt.html#a237b8738885e57d5a9b984221f611567',1,'SVF::CxtStmt::inst()']]],
   ['inst2labelmap',['inst2LabelMap',['../classSVF_1_1SVFStmt.html#abb83549118bcd7216a053d82f7180d1c',1,'SVF::SVFStmt::inst2LabelMap()'],['../classSVF_1_1SVFStmt.html#a5a3db6b1335b4adc55b961a6f480f228',1,'SVF::SVFStmt::Inst2LabelMap()']]],
   ['inst_5fiterator',['inst_iterator',['../namespaceSVF.html#a255af6ff30782cb9a548feadb0fe7d6b',1,'SVF']]],
   ['instance',['INSTANCE',['../classSVF_1_1DCHEdge.html#a9ab4cd83d9ee475d3d8445cd91839726a3e807b4caeb170c5cd1e855ac1a92d77',1,'SVF::DCHEdge']]],
   ['instantce',['INSTANTCE',['../classSVF_1_1CHEdge.html#a26280c3b724551036f7e3ba2b5922676a8721eaefd547d6ba5229463d644815f4',1,'SVF::CHEdge']]],
   ['instcilocksmap',['instCILocksMap',['../classSVF_1_1LockAnalysis.html#a277d88153d34cf3eb80272003949e4ef',1,'SVF::LockAnalysis']]],
   ['instruction',['Instruction',['../namespaceSVF.html#a7875172ff434b2210eea7cecfbbd959e',1,'SVF']]],
-  ['instset',['InstSet',['../classSVF_1_1ThreadCallGraph.html#ad48fad1fec75346c9eb79bbd6e8caee4',1,'SVF::ThreadCallGraph::InstSet()'],['../classSVF_1_1MTASVFGBuilder.html#acff9054fd525a5358532dd2e812171ce',1,'SVF::MTASVFGBuilder::InstSet()'],['../classSVF_1_1LockAnalysis.html#ae682eb30763f0f52184eb36c95fc3811',1,'SVF::LockAnalysis::InstSet()'],['../classSVF_1_1MHP.html#aa17ec09b08f8dc7927aa7fa00232dd2f',1,'SVF::MHP::InstSet()'],['../classSVF_1_1MTAAnnotator.html#a95f4607624dac40e9d62f37e6b16fcf0',1,'SVF::MTAAnnotator::InstSet()'],['../classSVF_1_1MTAStat.html#a424ec97192aa5681f9f92a0a6f3ee8a8',1,'SVF::MTAStat::InstSet()'],['../classSVF_1_1TCT.html#a3238d12557309967f8bdfdfc275b6710',1,'SVF::TCT::InstSet()']]],
+  ['instset',['InstSet',['../classSVF_1_1ThreadCallGraph.html#a57b69bfb5d468bd1a81a55468f845de0',1,'SVF::ThreadCallGraph::InstSet()'],['../classSVF_1_1MTASVFGBuilder.html#acff9054fd525a5358532dd2e812171ce',1,'SVF::MTASVFGBuilder::InstSet()'],['../classSVF_1_1LockAnalysis.html#ae682eb30763f0f52184eb36c95fc3811',1,'SVF::LockAnalysis::InstSet()'],['../classSVF_1_1MHP.html#aa17ec09b08f8dc7927aa7fa00232dd2f',1,'SVF::MHP::InstSet()'],['../classSVF_1_1MTAAnnotator.html#a95f4607624dac40e9d62f37e6b16fcf0',1,'SVF::MTAAnnotator::InstSet()'],['../classSVF_1_1MTAStat.html#a424ec97192aa5681f9f92a0a6f3ee8a8',1,'SVF::MTAStat::InstSet()'],['../classSVF_1_1TCT.html#a3238d12557309967f8bdfdfc275b6710',1,'SVF::TCT::InstSet()']]],
   ['insttoblocknodemap',['InstToBlockNodeMap',['../classSVF_1_1ICFG.html#a23f905d849553d7ad652e9a8f1bfacd1',1,'SVF::ICFG']]],
-  ['insttoblocknodemapty',['InstToBlockNodeMapTy',['../classSVF_1_1ICFG.html#a8be76aeee4701852f907b5c93a207c38',1,'SVF::ICFG']]],
+  ['insttoblocknodemapty',['InstToBlockNodeMapTy',['../classSVF_1_1ICFG.html#ab3e25c26fb0fef0fc41d7ba6a84be0af',1,'SVF::ICFG']]],
   ['insttocondcilocksmap',['instTocondCILocksMap',['../classSVF_1_1LockAnalysis.html#a5a4167dd5dbd0017a4725c8774a5b522',1,'SVF::LockAnalysis']]],
   ['insttocxtlockset',['instToCxtLockSet',['../classSVF_1_1LockResultValidator.html#a841c1dfb065999215b5f415e403f7a2a',1,'SVF::LockResultValidator']]],
   ['insttocxtstmt',['InstToCxtStmt',['../classSVF_1_1LockAnalysis.html#af940303bf8ebb679aa6e50475873eaa1',1,'SVF::LockAnalysis']]],
@@ -128,10 +128,10 @@ var searchData=
   ['instvector',['InstVector',['../classSVF_1_1ThreadCallGraph.html#af952209ad8f7ae0c0f58c87d97f57ee9',1,'SVF::ThreadCallGraph']]],
   ['integertype',['IntegerType',['../namespaceSVF.html#a3d9e7f32dc17fe8d40f8d6a011403b91',1,'SVF']]],
   ['interact',['interact',['../structDdManager.html#a3e336d3c8ce6bd8072611fadf25fe99b',1,'DdManager']]],
-  ['interblocknode',['InterBlockNode',['../classSVF_1_1InterBlockNode.html',1,'SVF::InterBlockNode'],['../classSVF_1_1InterBlockNode.html#a02b79c6ff51262d4c92a69597a8b46db',1,'SVF::InterBlockNode::InterBlockNode()']]],
   ['interdisjoint',['InterDisjoint',['../classSVF_1_1MemSSA.html#ac0797f2ee7b59ae720095a4836533671a549b5589ecfbe073623091605785fc03',1,'SVF::MemSSA']]],
   ['interdisjointmrg',['InterDisjointMRG',['../classSVF_1_1InterDisjointMRG.html',1,'SVF::InterDisjointMRG'],['../classSVF_1_1InterDisjointMRG.html#a91e89081103f451945baadaea370b428',1,'SVF::InterDisjointMRG::InterDisjointMRG()']]],
   ['interferenceanalysis',['interferenceAnalysis',['../classSVF_1_1PCG.html#a057887f3d5fd3b9b414e573b3f9f4548',1,'SVF::PCG']]],
+  ['intericfgnode',['InterICFGNode',['../classSVF_1_1InterICFGNode.html',1,'SVF::InterICFGNode'],['../classSVF_1_1InterICFGNode.html#a192826ba075a80add6a39a039a32bc05',1,'SVF::InterICFGNode::InterICFGNode()']]],
   ['interleavingqueriestime',['interleavingQueriesTime',['../classSVF_1_1MHP.html#ab7d9fe837844197b7acdc0493a50aaa5',1,'SVF::MHP']]],
   ['interleavingtime',['interleavingTime',['../classSVF_1_1MHP.html#aca306b97c6dcd47a8f407038436473a2',1,'SVF::MHP']]],
   ['interlev_5faccess',['INTERLEV_ACCESS',['../classSVF_1_1MTAResultValidator.html#a7b47044960a12203ce0ce245c4c9c8ec',1,'SVF::MTAResultValidator']]],
@@ -150,7 +150,6 @@ var searchData=
   ['intersectwithcomplement',['intersectWithComplement',['../classSVF_1_1CondPointsToSet.html#a57fdbfc5bc0bc7eb7a8efefdcc689852',1,'SVF::CondPointsToSet::intersectWithComplement(const CondPointsToSet< Cond > &cpts1, const CondPointsToSet< Cond > &cpts2)'],['../classSVF_1_1CondPointsToSet.html#a5a7ab3c22b3726541955b5be8a62aab6',1,'SVF::CondPointsToSet::intersectWithComplement(const CondPointsToSet< Cond > &cpts1)'],['../classSVF_1_1PointsTo.html#af81f9e91eec4bf82ccfb867c2415f9bd',1,'SVF::PointsTo::intersectWithComplement(const PointsTo &rhs)'],['../classSVF_1_1PointsTo.html#adec2e2fc87c2bb9b3ff8873b04abf31d',1,'SVF::PointsTo::intersectWithComplement(const PointsTo &lhs, const PointsTo &rhs)'],['../classSVF_1_1CoreBitVector.html#a8ba857b68282055e485c441892e39b9b',1,'SVF::CoreBitVector::intersectWithComplement(const CoreBitVector &rhs)'],['../classSVF_1_1CoreBitVector.html#a79121882bc302b9b9188fa0a51c63fb6',1,'SVF::CoreBitVector::intersectWithComplement(const CoreBitVector &lhs, const CoreBitVector &rhs)']]],
   ['intrabackwardtraverse',['intraBackwardTraverse',['../classSVF_1_1LockAnalysis.html#a5f693c893f3701e1e025881f91193d53',1,'SVF::LockAnalysis']]],
   ['intrablock',['IntraBlock',['../classSVF_1_1ICFGNode.html#a74f598c1c86b023680bb2685aa8ab376a0df20ce0cced8193d3f194ee5985c8c4',1,'SVF::ICFGNode']]],
-  ['intrablocknode',['IntraBlockNode',['../classSVF_1_1IntraBlockNode.html',1,'SVF::IntraBlockNode'],['../classSVF_1_1IntraBlockNode.html#a498e59de4ef7bc2ec8f76de43608a778',1,'SVF::IntraBlockNode::IntraBlockNode()']]],
   ['intracf',['IntraCF',['../classSVF_1_1ICFGEdge.html#a395c34788e98950bc43e8cb44313e429acb8fba7c61b08ec952f1b65643d7a84b',1,'SVF::ICFGEdge']]],
   ['intracfgedge',['IntraCFGEdge',['../classSVF_1_1IntraCFGEdge.html',1,'SVF::IntraCFGEdge'],['../classSVF_1_1IntraCFGEdge.html#aeab701d63caadf8effabdbd23ac0cd49',1,'SVF::IntraCFGEdge::IntraCFGEdge()']]],
   ['intradirectvf',['IntraDirectVF',['../classSVF_1_1VFGEdge.html#a156ae6a8b3a033f505c18c6b162e7cf5a08201e6cbff4817e44568747a966b71d',1,'SVF::VFGEdge']]],
@@ -158,6 +157,7 @@ var searchData=
   ['intradisjoint',['IntraDisjoint',['../classSVF_1_1MemSSA.html#ac0797f2ee7b59ae720095a4836533671ac9388cc44f91bd9a00666c0d69b32ef1',1,'SVF::MemSSA']]],
   ['intradisjointmrg',['IntraDisjointMRG',['../classSVF_1_1IntraDisjointMRG.html',1,'SVF::IntraDisjointMRG'],['../classSVF_1_1IntraDisjointMRG.html#ae4bc9b653e15ce876579741e91a463ae',1,'SVF::IntraDisjointMRG::IntraDisjointMRG()']]],
   ['intraforwardtraverse',['intraForwardTraverse',['../classSVF_1_1LockAnalysis.html#a6febb0bb12f4983cd54b3bd310ce65d2',1,'SVF::LockAnalysis']]],
+  ['intraicfgnode',['IntraICFGNode',['../classSVF_1_1IntraICFGNode.html',1,'SVF::IntraICFGNode'],['../classSVF_1_1IntraICFGNode.html#ad8a53409330e7ea74c50cdeaf37acef8',1,'SVF::IntraICFGNode::IntraICFGNode()']]],
   ['intraindirectvf',['IntraIndirectVF',['../classSVF_1_1VFGEdge.html#a156ae6a8b3a033f505c18c6b162e7cf5aa80551154bcfbfa84f02df32ead6b1b0',1,'SVF::VFGEdge']]],
   ['intraindsvfgedge',['IntraIndSVFGEdge',['../classSVF_1_1IntraIndSVFGEdge.html',1,'SVF::IntraIndSVFGEdge'],['../classSVF_1_1IntraIndSVFGEdge.html#ab2b1f7610737c6f0a5a94b8a7e629110',1,'SVF::IntraIndSVFGEdge::IntraIndSVFGEdge()']]],
   ['intralock',['IntraLock',['../classSVF_1_1Options.html#a1bc10a5947bf3912c6f22e094ccac464',1,'SVF::Options']]],
@@ -229,7 +229,7 @@ var searchData=
   ['iscalldirectvfgedge',['isCallDirectVFGEdge',['../classSVF_1_1VFGEdge.html#a92e3da59f7f5a693945b9a93f169da04',1,'SVF::VFGEdge']]],
   ['iscallindirectvfgedge',['isCallIndirectVFGEdge',['../classSVF_1_1VFGEdge.html#ae14a5f58064e6c08b53a3cffcc050077',1,'SVF::VFGEdge']]],
   ['iscallsite',['isCallSite',['../namespaceSVF_1_1SVFUtil.html#a2e08ce822223842fa6a73fd659b1a526',1,'SVF::SVFUtil::isCallSite(const Instruction *inst)'],['../namespaceSVF_1_1SVFUtil.html#a38bf8f7eaa18fc5a09711959b5417854',1,'SVF::SVFUtil::isCallSite(const Value *val)']]],
-  ['iscallsiteretsvfgnode',['isCallSiteRetSVFGNode',['../classSVF_1_1SVFG.html#ac75b83bdf3bcfecaae579716ab33dd61',1,'SVF::SVFG']]],
+  ['iscallsiteretsvfgnode',['isCallSiteRetSVFGNode',['../classSVF_1_1SVFG.html#ad189e45b0c810e68566ccc3bdb3f2e59',1,'SVF::SVFG']]],
   ['iscallvfgedge',['isCallVFGEdge',['../classSVF_1_1VFGEdge.html#a4352297ef44c4eff1efe2f348cce6fe9',1,'SVF::VFGEdge']]],
   ['iscandidatefun',['isCandidateFun',['../classSVF_1_1TCT.html#aa69b82c888c8193e97f9e95c62ac99d4',1,'SVF::TCT::isCandidateFun(const PTACallGraph::FunctionSet &callees) const'],['../classSVF_1_1TCT.html#ab0abc0713e6b87a8b1453bababced79c',1,'SVF::TCT::isCandidateFun(const Function *fun) const'],['../classSVF_1_1TCT.html#a013f7fa94f9383b3d0e46b79c0a52a8f',1,'SVF::TCT::isCandidateFun(const SVFFunction *fun) const']]],
   ['iscastconstantexpr',['isCastConstantExpr',['../namespaceSVF_1_1SVFUtil.html#a7e404bcc6613ba10a56c4fbdc842c5a8',1,'SVF::SVFUtil']]],
@@ -265,7 +265,7 @@ var searchData=
   ['isequivalentbranchcond',['isEquivalentBranchCond',['../classSVF_1_1PathCondAllocator.html#ad92e8909172d960de8a25f6ff0272261',1,'SVF::PathCondAllocator::isEquivalentBranchCond()'],['../classSVF_1_1ProgSlice.html#a52ecc421c235a8854792ca92829312e4',1,'SVF::ProgSlice::isEquivalentBranchCond()'],['../classSVF_1_1CondManager.html#adef2474c65a7f9d96b27ee670136a240',1,'SVF::CondManager::isEquivalentBranchCond()']]],
   ['isext_5fcache',['isext_cache',['../classSVF_1_1ExtAPI.html#a329882c608e9a6b10a758bcd1ca7a0b5',1,'SVF::ExtAPI']]],
   ['isextcall',['isExtCall',['../namespaceSVF_1_1SVFUtil.html#a22ef185e767ff76c098e75126c885400',1,'SVF::SVFUtil::isExtCall(const SVFFunction *fun)'],['../namespaceSVF_1_1SVFUtil.html#aad27a96075234ad2182a84e0e9d31a45',1,'SVF::SVFUtil::isExtCall(const CallSite cs)'],['../namespaceSVF_1_1SVFUtil.html#af3e5fd7ffce966575ebf7c7e653b0919',1,'SVF::SVFUtil::isExtCall(const Instruction *inst)']]],
-  ['isfclose',['isFClose',['../classSVF_1_1SaberCheckerAPI.html#a970676d884d66da9fce00fe5b60c96ba',1,'SVF::SaberCheckerAPI::isFClose(const SVFFunction *fun) const'],['../classSVF_1_1SaberCheckerAPI.html#ad029e2f347ee2aeb5b0abb928a552789',1,'SVF::SaberCheckerAPI::isFClose(const Instruction *inst) const'],['../classSVF_1_1SaberCheckerAPI.html#ac176579c004a0bf210bbcc5bc7f0f250',1,'SVF::SaberCheckerAPI::isFClose(const CallBlockNode *cs) const']]],
+  ['isfclose',['isFClose',['../classSVF_1_1SaberCheckerAPI.html#a970676d884d66da9fce00fe5b60c96ba',1,'SVF::SaberCheckerAPI::isFClose(const SVFFunction *fun) const'],['../classSVF_1_1SaberCheckerAPI.html#ad029e2f347ee2aeb5b0abb928a552789',1,'SVF::SaberCheckerAPI::isFClose(const Instruction *inst) const'],['../classSVF_1_1SaberCheckerAPI.html#a534bfe077af19b111c1b7bc3c5a065e6',1,'SVF::SaberCheckerAPI::isFClose(const CallICFGNode *cs) const']]],
   ['isfieldinsencondmemobj',['isFieldInsenCondMemObj',['../classSVF_1_1DDAVFSolver.html#a37a6321f50bef2939b287cc088e76170',1,'SVF::DDAVFSolver']]],
   ['isfieldinsensitive',['isFieldInsensitive',['../classSVF_1_1PointerAnalysis.html#a0f71e4cd0948b294c7d33a690bde7dbe',1,'SVF::PointerAnalysis::isFieldInsensitive()'],['../classSVF_1_1MemObj.html#a41d85883d44ad77832b020455951c6fc',1,'SVF::MemObj::isFieldInsensitive()']]],
   ['isfieldof',['isFieldOf',['../classSVF_1_1DCHGraph.html#af0534356b4a8c68507e1237f1d7a8c11',1,'SVF::DCHGraph']]],
@@ -273,8 +273,8 @@ var searchData=
   ['isfirstfield',['isFirstField',['../classSVF_1_1DCHGraph.html#a2b2dbc52089696854a8339f2e83fc333',1,'SVF::DCHGraph']]],
   ['isflaged',['isFlaged',['../classSVF_1_1RaceResultValidator_1_1AccessPair.html#a63f574da7298fd47d228592f512891d1',1,'SVF::RaceResultValidator::AccessPair']]],
   ['isfollowerfun',['isFollowerFun',['../classSVF_1_1PCG.html#a7531d638b4f8aca4f0a3af82391001d9',1,'SVF::PCG']]],
-  ['isfopen',['isFOpen',['../classSVF_1_1SaberCheckerAPI.html#a0977378f6f2a782041c97912762deb5f',1,'SVF::SaberCheckerAPI::isFOpen(const SVFFunction *fun) const'],['../classSVF_1_1SaberCheckerAPI.html#ad7308258d0186a99325adf030c1138a6',1,'SVF::SaberCheckerAPI::isFOpen(const Instruction *inst) const'],['../classSVF_1_1SaberCheckerAPI.html#aa0996d51dc3fc3e98d8572fbae88186a',1,'SVF::SaberCheckerAPI::isFOpen(const CallBlockNode *cs) const']]],
-  ['isforksite',['isForksite',['../classSVF_1_1ThreadCallGraph.html#aa5c29ac668359942a9bc31cacd0cd9c4',1,'SVF::ThreadCallGraph']]],
+  ['isfopen',['isFOpen',['../classSVF_1_1SaberCheckerAPI.html#a0977378f6f2a782041c97912762deb5f',1,'SVF::SaberCheckerAPI::isFOpen(const SVFFunction *fun) const'],['../classSVF_1_1SaberCheckerAPI.html#ad7308258d0186a99325adf030c1138a6',1,'SVF::SaberCheckerAPI::isFOpen(const Instruction *inst) const'],['../classSVF_1_1SaberCheckerAPI.html#a5a2f7cb7f46b6edd80e6d4611f07e327',1,'SVF::SaberCheckerAPI::isFOpen(const CallICFGNode *cs) const']]],
+  ['isforksite',['isForksite',['../classSVF_1_1ThreadCallGraph.html#a07d3db6ffe8d75effd6fbc3856c484fe',1,'SVF::ThreadCallGraph']]],
   ['isformalinphi',['isFormalINPHI',['../classSVF_1_1InterMSSAPHISVFGNode.html#a47d870a6c0f515139b1950e8985dc2d1',1,'SVF::InterMSSAPHISVFGNode']]],
   ['isformalparmphi',['isFormalParmPHI',['../classSVF_1_1InterPHIVFGNode.html#a6049300f916dd23f34d9cacccc7e3ea7',1,'SVF::InterPHIVFGNode']]],
   ['isfulljoin',['isFullJoin',['../classSVF_1_1ForkJoinAnalysis.html#ab55532eefbcef639ced957ad82fbd340',1,'SVF::ForkJoinAnalysis']]],
@@ -305,9 +305,9 @@ var searchData=
   ['isincurforwardslice',['isInCurForwardSlice',['../classSVF_1_1SrcSnkDDA.html#a4bde70a5d9dbf5a9234a93aaeaaacb94',1,'SVF::SrcSnkDDA']]],
   ['isincurrentscc',['isInCurrentSCC',['../classSVF_1_1WPASCCSolver.html#ae1ed4875e706677acf22a776f7285185',1,'SVF::WPASCCSolver']]],
   ['isincycle',['isInCycle',['../classSVF_1_1SCCDetection.html#a5d699af73b1e7ad4e3a5f6d26b8b6d15',1,'SVF::SCCDetection::isInCycle()'],['../classSVF_1_1TCTNode.html#a42dde4c3714cc5605f7c0e76cfd4a74c',1,'SVF::TCTNode::isIncycle()'],['../classSVF_1_1CxtThread.html#a54c95794963cb5a478db7c49c1b8c428',1,'SVF::CxtThread::isIncycle()']]],
-  ['isindirectcall',['isIndirectCall',['../classSVF_1_1CallBlockNode.html#a285c517dfd7fee5467606663a0fdd035',1,'SVF::CallBlockNode']]],
+  ['isindirectcall',['isIndirectCall',['../classSVF_1_1CallICFGNode.html#aa11226a2e4fa6a7b1d78006cc8ca0518',1,'SVF::CallICFGNode']]],
   ['isindirectcalledge',['isIndirectCallEdge',['../classSVF_1_1PTACallGraphEdge.html#a74692d47f929dc2188eede497acb91b7',1,'SVF::PTACallGraphEdge']]],
-  ['isindirectcallsites',['isIndirectCallSites',['../classSVF_1_1SVFIR.html#ad44e1ef13d047f8aea8f6ddf5510bd6c',1,'SVF::SVFIR']]],
+  ['isindirectcallsites',['isIndirectCallSites',['../classSVF_1_1SVFIR.html#a3dbe0b17694daa74f648a70e77efaf23',1,'SVF::SVFIR']]],
   ['isindirectedge',['isIndirectEdge',['../classSVF_1_1ConstraintNode.html#a8c3e6dca7bf12fa941c4411f6a1f52c0',1,'SVF::ConstraintNode']]],
   ['isindirectvfgedge',['isIndirectVFGEdge',['../classSVF_1_1VFGEdge.html#aa8f30d093d4950724a6688707326b57b',1,'SVF::VFGEdge']]],
   ['isinfdouble',['IsInfDouble',['../epd_8h.html#aeda4ed6e719d13f84d757c9709f02ceb',1,'IsInfDouble(double value): epd.c'],['../epd_8c.html#aeda4ed6e719d13f84d757c9709f02ceb',1,'IsInfDouble(double value): epd.c']]],
@@ -335,7 +335,7 @@ var searchData=
   ['isisolatednode',['isIsolatedNode',['../classSVF_1_1SVFVar.html#acf194658d2cbdaf3f26f2af6c325fad7',1,'SVF::SVFVar']]],
   ['isjoininsymmetricloop',['isJoinInSymmetricLoop',['../classSVF_1_1MHP.html#afa0d341a2fb7b05522dc6e178eab7e8b',1,'SVF::MHP::isJoinInSymmetricLoop()'],['../classSVF_1_1ForkJoinAnalysis.html#a4e058b920c3648f943f85099690ff44f',1,'SVF::ForkJoinAnalysis::isJoinInSymmetricLoop()']]],
   ['isjoinmustexecutedinloop',['isJoinMustExecutedInLoop',['../classSVF_1_1TCT.html#a65d0260b37ab60debb7fa84fa0b7a5d4',1,'SVF::TCT']]],
-  ['isjoinsite',['isJoinsite',['../classSVF_1_1ThreadCallGraph.html#ac9dde4936d04321a17656af1af1108da',1,'SVF::ThreadCallGraph']]],
+  ['isjoinsite',['isJoinsite',['../classSVF_1_1ThreadCallGraph.html#ac75a38384cda8379c32b4d01d4d5d20a',1,'SVF::ThreadCallGraph']]],
   ['isjoinsiteinrecursion',['isJoinSiteInRecursion',['../classSVF_1_1TCT.html#a4ff016e5933a4d094989c600ad25dd99',1,'SVF::TCT']]],
   ['isload',['isLoad',['../classSVF_1_1VersionedFlowSensitive.html#a984a4f929a18f97bfefac0102088a7fd',1,'SVF::VersionedFlowSensitive']]],
   ['isloadmap',['isLoadMap',['../classSVF_1_1VersionedFlowSensitive.html#a6bb3db072db0b899f306b37f1146f83d',1,'SVF::VersionedFlowSensitive']]],
@@ -347,9 +347,9 @@ var searchData=
   ['islockreleasecall',['isLockReleaseCall',['../namespaceSVF_1_1SVFUtil.html#a1241ef1c19df14f7db0bd62dd68f14f9',1,'SVF::SVFUtil::isLockReleaseCall(const CallSite cs)'],['../namespaceSVF_1_1SVFUtil.html#a84ac49c70252036a957694f2cf05ae2c',1,'SVF::SVFUtil::isLockReleaseCall(const Instruction *inst)']]],
   ['isloopexitofjoinloop',['isLoopExitOfJoinLoop',['../classSVF_1_1TCT.html#a154f779578f6112e7c9e90d585c08eb6',1,'SVF::TCT']]],
   ['isloopheaderofjoinloop',['isLoopHeaderOfJoinLoop',['../classSVF_1_1TCT.html#a549a95aa04233c98732777ea210d8525',1,'SVF::TCT']]],
-  ['ismemalloc',['isMemAlloc',['../classSVF_1_1SaberCheckerAPI.html#a71cbe5fbf582d0801f604595d3dfb416',1,'SVF::SaberCheckerAPI::isMemAlloc(const SVFFunction *fun) const'],['../classSVF_1_1SaberCheckerAPI.html#a8a96f6ee7bd9be1abfa89b05d773539f',1,'SVF::SaberCheckerAPI::isMemAlloc(const Instruction *inst) const'],['../classSVF_1_1SaberCheckerAPI.html#a0e485cc7410e7a1ea68fb59dfdff1ff4',1,'SVF::SaberCheckerAPI::isMemAlloc(const CallBlockNode *cs) const']]],
+  ['ismemalloc',['isMemAlloc',['../classSVF_1_1SaberCheckerAPI.html#a71cbe5fbf582d0801f604595d3dfb416',1,'SVF::SaberCheckerAPI::isMemAlloc(const SVFFunction *fun) const'],['../classSVF_1_1SaberCheckerAPI.html#a8a96f6ee7bd9be1abfa89b05d773539f',1,'SVF::SaberCheckerAPI::isMemAlloc(const Instruction *inst) const'],['../classSVF_1_1SaberCheckerAPI.html#acd2486bcf4cf413e63afed7884a0719e',1,'SVF::SaberCheckerAPI::isMemAlloc(const CallICFGNode *cs) const']]],
   ['ismemcpy',['isMemcpy',['../classSVF_1_1MTAAnnotator.html#aee9e5ebac543d9a2aab511410b047898',1,'SVF::MTAAnnotator']]],
-  ['ismemdealloc',['isMemDealloc',['../classSVF_1_1SaberCheckerAPI.html#ab6d9c2435bdb1c01542cc75e9eef0a4e',1,'SVF::SaberCheckerAPI::isMemDealloc(const SVFFunction *fun) const'],['../classSVF_1_1SaberCheckerAPI.html#a3b9d60c60d518a8abe2951ccc627fe33',1,'SVF::SaberCheckerAPI::isMemDealloc(const Instruction *inst) const'],['../classSVF_1_1SaberCheckerAPI.html#abe9fee725114243e16db4c2fd1abf3fa',1,'SVF::SaberCheckerAPI::isMemDealloc(const CallBlockNode *cs) const']]],
+  ['ismemdealloc',['isMemDealloc',['../classSVF_1_1SaberCheckerAPI.html#ab6d9c2435bdb1c01542cc75e9eef0a4e',1,'SVF::SaberCheckerAPI::isMemDealloc(const SVFFunction *fun) const'],['../classSVF_1_1SaberCheckerAPI.html#a3b9d60c60d518a8abe2951ccc627fe33',1,'SVF::SaberCheckerAPI::isMemDealloc(const Instruction *inst) const'],['../classSVF_1_1SaberCheckerAPI.html#a6bfc01d7e72b8c587b2e494aa923f908',1,'SVF::SaberCheckerAPI::isMemDealloc(const CallICFGNode *cs) const']]],
   ['ismemset',['isMemset',['../classSVF_1_1MTAAnnotator.html#a36eb47b716c3b44ba5c459052bb0ed93',1,'SVF::MTAAnnotator']]],
   ['ismetedge',['isMetEdge',['../classSVF_1_1AndersenLCD.html#a4f374bbd066f9e8b1480184a1416b68b',1,'SVF::AndersenLCD']]],
   ['ismultiforked',['isMultiforked',['../classSVF_1_1TCTNode.html#a5dd0cf88e381438d191b275314117561',1,'SVF::TCTNode']]],
@@ -374,7 +374,7 @@ var searchData=
   ['isoperoverload',['isOperOverload',['../CPPUtil_8cpp.html#aaf7dd7cff6ac20b3702113606aafa175',1,'CPPUtil.cpp']]],
   ['isoutofbudgetdpm',['isOutOfBudgetDpm',['../classSVF_1_1DDAVFSolver.html#a0b1f774883adc7d535f8363bf3c8b1e8',1,'SVF::DDAVFSolver']]],
   ['isoutofbudgetquery',['isOutOfBudgetQuery',['../classSVF_1_1DDAVFSolver.html#a7994236bff84ba8244592fdf5e546734',1,'SVF::DDAVFSolver']]],
-  ['isparforsite',['isParForSite',['../classSVF_1_1ThreadCallGraph.html#af5ad00c7a5362aa288bddf4824601ab8',1,'SVF::ThreadCallGraph']]],
+  ['isparforsite',['isParForSite',['../classSVF_1_1ThreadCallGraph.html#ae18f0b3245694145f6d9262ee28c6453',1,'SVF::ThreadCallGraph']]],
   ['ispartialreachable',['isPartialReachable',['../classSVF_1_1ProgSlice.html#a3822badbbe9ac808296d5248f2dbf8e2',1,'SVF::ProgSlice']]],
   ['isphicopyedge',['isPhiCopyEdge',['../classSVF_1_1VFG.html#a8ddf15d89a1b11a7f7720b671f4f0295',1,'SVF::VFG']]],
   ['isphinode',['isPhiNode',['../classSVF_1_1SVFIR.html#a5de67390d38bfacd5b63b776a0ecbfff',1,'SVF::SVFIR']]],

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

@@ -26,7 +26,7 @@ var searchData=
   ['markrelprocs',['markRelProcs',['../classSVF_1_1TCT.html#a8bb7ffa8dd185c52e6c150f9bc995511',1,'SVF::TCT::markRelProcs()'],['../classSVF_1_1TCT.html#ac0400af94cf37f2f4507c3263ea4499a',1,'SVF::TCT::markRelProcs(const Function *fun)']]],
   ['markvalidvfedge',['markValidVFEdge',['../classSVF_1_1SVFGBuilder.html#a3f8fc56d5190ea59d06906b359640dae',1,'SVF::SVFGBuilder']]],
   ['match',['match',['../classSVF_1_1LockResultValidator.html#aa1b48d5792e596703f3283316e9f4c07',1,'SVF::LockResultValidator']]],
-  ['matchargs',['matchArgs',['../classSVF_1_1PointerAnalysis.html#a521f99705f67e3fea7167728a4e37129',1,'SVF::PointerAnalysis']]],
+  ['matchargs',['matchArgs',['../classSVF_1_1PointerAnalysis.html#ab541df6fc703c0b21c2c308584c0b7ff',1,'SVF::PointerAnalysis']]],
   ['matchcontext',['matchContext',['../classSVF_1_1ContextCond.html#ab816f854687999b8c01f5c02fcf6b8af',1,'SVF::ContextCond::matchContext()'],['../classSVF_1_1CxtStmtDPItem.html#a35c0c0d5194983769e313d6e31b3d7ec',1,'SVF::CxtStmtDPItem::matchContext()'],['../classSVF_1_1CxtDPItem.html#ad386861998e54ec754ca62f358f03e6a',1,'SVF::CxtDPItem::matchContext()'],['../classSVF_1_1PathStmtDPItem.html#a4a82650fe9bf2f655e4b7178ba063eda',1,'SVF::PathStmtDPItem::matchContext()']]],
   ['matchcxt',['matchCxt',['../classSVF_1_1LockAnalysis.html#a3299f1fe234e1d6b4341498575bddcbb',1,'SVF::LockAnalysis::matchCxt()'],['../classSVF_1_1MHP.html#afee99dd3ca2ff68789864423fc9358e0',1,'SVF::MHP::matchCxt()'],['../classSVF_1_1ForkJoinAnalysis.html#aea9ef584ce6c7129bcd1d5ecda2f1f74',1,'SVF::ForkJoinAnalysis::matchCxt()'],['../classSVF_1_1MTAResultValidator.html#a6306899b5360e106dd090bea571027bf',1,'SVF::MTAResultValidator::matchCxt()'],['../classSVF_1_1TCT.html#a9b6dda84d37afadaf80bc2e26986a52e',1,'SVF::TCT::matchCxt()']]],
   ['matchtype',['matchType',['../classSVF_1_1Andersen.html#af42fe6aeacfd31bbef7f5c80c8cf6173',1,'SVF::Andersen']]],

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

@@ -1,10 +1,10 @@
 var searchData=
 [
-  ['callblocknode',['CallBlockNode',['../classSVF_1_1CallBlockNode.html',1,'SVF']]],
   ['callcfgedge',['CallCFGEdge',['../classSVF_1_1CallCFGEdge.html',1,'SVF']]],
   ['callchi',['CallCHI',['../classSVF_1_1CallCHI.html',1,'SVF']]],
   ['calldirsvfgedge',['CallDirSVFGEdge',['../classSVF_1_1CallDirSVFGEdge.html',1,'SVF']]],
   ['callgraphbuilder',['CallGraphBuilder',['../classSVF_1_1CallGraphBuilder.html',1,'SVF']]],
+  ['callicfgnode',['CallICFGNode',['../classSVF_1_1CallICFGNode.html',1,'SVF']]],
   ['callindsvfgedge',['CallIndSVFGEdge',['../classSVF_1_1CallIndSVFGEdge.html',1,'SVF']]],
   ['callmu',['CallMU',['../classSVF_1_1CallMU.html',1,'SVF']]],
   ['callpe',['CallPE',['../classSVF_1_1CallPE.html',1,'SVF']]],

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

@@ -22,7 +22,7 @@ var searchData=
   ['formalparmvfgnode',['FormalParmVFGNode',['../classSVF_1_1FormalParmVFGNode.html',1,'SVF']]],
   ['formalretvfgnode',['FormalRetVFGNode',['../classSVF_1_1FormalRetVFGNode.html',1,'SVF']]],
   ['fsmpta',['FSMPTA',['../classSVF_1_1FSMPTA.html',1,'SVF']]],
-  ['funentryblocknode',['FunEntryBlockNode',['../classSVF_1_1FunEntryBlockNode.html',1,'SVF']]],
-  ['funexitblocknode',['FunExitBlockNode',['../classSVF_1_1FunExitBlockNode.html',1,'SVF']]],
+  ['funentryicfgnode',['FunEntryICFGNode',['../classSVF_1_1FunEntryICFGNode.html',1,'SVF']]],
+  ['funexiticfgnode',['FunExitICFGNode',['../classSVF_1_1FunExitICFGNode.html',1,'SVF']]],
   ['funptrddaclient',['FunptrDDAClient',['../classSVF_1_1FunptrDDAClient.html',1,'SVF']]]
 ];

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

@@ -15,7 +15,7 @@ var searchData=
   ['gepstmt',['GepStmt',['../classSVF_1_1GepStmt.html',1,'SVF']]],
   ['gepvalvar',['GepValVar',['../classSVF_1_1GepValVar.html',1,'SVF']]],
   ['gepvfgnode',['GepVFGNode',['../classSVF_1_1GepVFGNode.html',1,'SVF']]],
-  ['globalblocknode',['GlobalBlockNode',['../classSVF_1_1GlobalBlockNode.html',1,'SVF']]],
+  ['globalicfgnode',['GlobalICFGNode',['../classSVF_1_1GlobalICFGNode.html',1,'SVF']]],
   ['gnodesccinfo',['GNodeSCCInfo',['../classSVF_1_1SCCDetection_1_1GNodeSCCInfo.html',1,'SVF::SCCDetection']]],
   ['graphprinter',['GraphPrinter',['../classllvm_1_1GraphPrinter.html',1,'llvm']]],
   ['graphtraits_3c_20inverse_3c_20svf_3a_3achnode_20_2a_20_3e_20_3e',['GraphTraits< Inverse< SVF::CHNode * > >',['../structllvm_1_1GraphTraits_3_01Inverse_3_01SVF_1_1CHNode_01_5_01_4_01_4.html',1,'llvm']]],

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

@@ -9,14 +9,14 @@ var searchData=
   ['ieeedoublestruct',['IeeeDoubleStruct',['../structIeeeDoubleStruct.html',1,'']]],
   ['ieeenanstruct',['IeeeNanStruct',['../structIeeeNanStruct.html',1,'']]],
   ['indirectsvfgedge',['IndirectSVFGEdge',['../classSVF_1_1IndirectSVFGEdge.html',1,'SVF']]],
-  ['interblocknode',['InterBlockNode',['../classSVF_1_1InterBlockNode.html',1,'SVF']]],
   ['interdisjointmrg',['InterDisjointMRG',['../classSVF_1_1InterDisjointMRG.html',1,'SVF']]],
+  ['intericfgnode',['InterICFGNode',['../classSVF_1_1InterICFGNode.html',1,'SVF']]],
   ['intermssaphisvfgnode',['InterMSSAPHISVFGNode',['../classSVF_1_1InterMSSAPHISVFGNode.html',1,'SVF']]],
   ['interphivfgnode',['InterPHIVFGNode',['../classSVF_1_1InterPHIVFGNode.html',1,'SVF']]],
-  ['intrablocknode',['IntraBlockNode',['../classSVF_1_1IntraBlockNode.html',1,'SVF']]],
   ['intracfgedge',['IntraCFGEdge',['../classSVF_1_1IntraCFGEdge.html',1,'SVF']]],
   ['intradirsvfgedge',['IntraDirSVFGEdge',['../classSVF_1_1IntraDirSVFGEdge.html',1,'SVF']]],
   ['intradisjointmrg',['IntraDisjointMRG',['../classSVF_1_1IntraDisjointMRG.html',1,'SVF']]],
+  ['intraicfgnode',['IntraICFGNode',['../classSVF_1_1IntraICFGNode.html',1,'SVF']]],
   ['intraindsvfgedge',['IntraIndSVFGEdge',['../classSVF_1_1IntraIndSVFGEdge.html',1,'SVF']]],
   ['intramssaphisvfgnode',['IntraMSSAPHISVFGNode',['../classSVF_1_1IntraMSSAPHISVFGNode.html',1,'SVF']]],
   ['intraphivfgnode',['IntraPHIVFGNode',['../classSVF_1_1IntraPHIVFGNode.html',1,'SVF']]],

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

@@ -2,9 +2,9 @@ var searchData=
 [
   ['raceresultvalidator',['RaceResultValidator',['../classSVF_1_1RaceResultValidator.html',1,'SVF']]],
   ['racevalidator',['RaceValidator',['../classSVF_1_1RaceValidator.html',1,'SVF']]],
-  ['retblocknode',['RetBlockNode',['../classSVF_1_1RetBlockNode.html',1,'SVF']]],
   ['retcfgedge',['RetCFGEdge',['../classSVF_1_1RetCFGEdge.html',1,'SVF']]],
   ['retdirsvfgedge',['RetDirSVFGEdge',['../classSVF_1_1RetDirSVFGEdge.html',1,'SVF']]],
+  ['reticfgnode',['RetICFGNode',['../classSVF_1_1RetICFGNode.html',1,'SVF']]],
   ['retindsvfgedge',['RetIndSVFGEdge',['../classSVF_1_1RetIndSVFGEdge.html',1,'SVF']]],
   ['retmu',['RetMU',['../classSVF_1_1RetMU.html',1,'SVF']]],
   ['retpe',['RetPE',['../classSVF_1_1RetPE.html',1,'SVF']]],

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

@@ -6,17 +6,17 @@ var searchData=
   ['accesssamearrayindex',['accessSameArrayIndex',['../MHP_8cpp.html#a1a6f1ed70075da459ab275eb5c099144',1,'MHP.cpp']]],
   ['accumulateconstantfieldidx',['accumulateConstantFieldIdx',['../classSVF_1_1LocationSet.html#a43de212ce81a29391cee13d8dbaa93eb',1,'SVF::LocationSet']]],
   ['actualinofindcs',['actualInOfIndCS',['../classSVF_1_1SVFGOPT.html#af6fa424cd7518b330a6017839a789bf6',1,'SVF::SVFGOPT']]],
-  ['actualinsvfgnode',['ActualINSVFGNode',['../classSVF_1_1ActualINSVFGNode.html#aa32f5275f25d39d97b5047352858c326',1,'SVF::ActualINSVFGNode']]],
+  ['actualinsvfgnode',['ActualINSVFGNode',['../classSVF_1_1ActualINSVFGNode.html#a7f2648ebb69ebc53638dceb4382b41b0',1,'SVF::ActualINSVFGNode']]],
   ['actualoutofindcs',['actualOutOfIndCS',['../classSVF_1_1SVFGOPT.html#a79c435e456474b41e4402c2c9c269fc9',1,'SVF::SVFGOPT']]],
-  ['actualoutsvfgnode',['ActualOUTSVFGNode',['../classSVF_1_1ActualOUTSVFGNode.html#acca65d56457f7c4c7f7b30bf4b3e78d0',1,'SVF::ActualOUTSVFGNode']]],
-  ['actualparmvfgnode',['ActualParmVFGNode',['../classSVF_1_1ActualParmVFGNode.html#ace169bed651f146af4237b407bfab64d',1,'SVF::ActualParmVFGNode']]],
-  ['actualretvfgnode',['ActualRetVFGNode',['../classSVF_1_1ActualRetVFGNode.html#adc425f00b03e7a59725161ce1a78b349',1,'SVF::ActualRetVFGNode::ActualRetVFGNode()'],['../classSVF_1_1ActualRetVFGNode.html#a2974c14c972559b366a3bbdfe08b4ea9',1,'SVF::ActualRetVFGNode::ActualRetVFGNode(const ActualRetVFGNode &)'],['../classSVF_1_1ActualRetVFGNode.html#a6e18ca317e0d71b99d0ee20ec4583ab6',1,'SVF::ActualRetVFGNode::ActualRetVFGNode(NodeID id, const PAGNode *n, const CallBlockNode *c)']]],
-  ['addactualinsvfgnode',['addActualINSVFGNode',['../classSVF_1_1SVFG.html#ab6dfac64a363550ef51df246849a13aa',1,'SVF::SVFG']]],
-  ['addactualoutsvfgnode',['addActualOUTSVFGNode',['../classSVF_1_1SVFG.html#acc0c102c3773b7d8abb23959fb64ffa4',1,'SVF::SVFG']]],
-  ['addactualparms',['addActualParms',['../classSVF_1_1CallBlockNode.html#a6d819186e239e68c117af16ed405da84',1,'SVF::CallBlockNode']]],
-  ['addactualparmvfgnode',['addActualParmVFGNode',['../classSVF_1_1VFG.html#a0fabca3c0f9bebe23f66a914dbb99e39',1,'SVF::VFG::addActualParmVFGNode()'],['../classSVF_1_1SaberSVFGBuilder.html#ac6a3fe78d1459a79055703ea4afa14c6',1,'SVF::SaberSVFGBuilder::addActualParmVFGNode()']]],
-  ['addactualret',['addActualRet',['../classSVF_1_1RetBlockNode.html#ad2cd6f6589ce5464d6fbcac49f115714',1,'SVF::RetBlockNode']]],
-  ['addactualretvfgnode',['addActualRetVFGNode',['../classSVF_1_1VFG.html#a71022c8953e89e21b017936286f12251',1,'SVF::VFG']]],
+  ['actualoutsvfgnode',['ActualOUTSVFGNode',['../classSVF_1_1ActualOUTSVFGNode.html#afe2c662d51f3c9d31a20b5c1bee45844',1,'SVF::ActualOUTSVFGNode']]],
+  ['actualparmvfgnode',['ActualParmVFGNode',['../classSVF_1_1ActualParmVFGNode.html#a773b6912100fbd3a2a58cfe0da8ea6d5',1,'SVF::ActualParmVFGNode']]],
+  ['actualretvfgnode',['ActualRetVFGNode',['../classSVF_1_1ActualRetVFGNode.html#adc425f00b03e7a59725161ce1a78b349',1,'SVF::ActualRetVFGNode::ActualRetVFGNode()'],['../classSVF_1_1ActualRetVFGNode.html#a2974c14c972559b366a3bbdfe08b4ea9',1,'SVF::ActualRetVFGNode::ActualRetVFGNode(const ActualRetVFGNode &)'],['../classSVF_1_1ActualRetVFGNode.html#a35a0ac96ef0678286705a6c4981a4225',1,'SVF::ActualRetVFGNode::ActualRetVFGNode(NodeID id, const PAGNode *n, const CallICFGNode *c)']]],
+  ['addactualinsvfgnode',['addActualINSVFGNode',['../classSVF_1_1SVFG.html#a923924d3887c668b355f4029502a3754',1,'SVF::SVFG']]],
+  ['addactualoutsvfgnode',['addActualOUTSVFGNode',['../classSVF_1_1SVFG.html#a74aa824a68f99756ac3e65231c7bc2e9',1,'SVF::SVFG']]],
+  ['addactualparms',['addActualParms',['../classSVF_1_1CallICFGNode.html#ab389873c50b952b67aeafe7204864d59',1,'SVF::CallICFGNode']]],
+  ['addactualparmvfgnode',['addActualParmVFGNode',['../classSVF_1_1VFG.html#a6b373385fa30c83c24844c41c2f05e53',1,'SVF::VFG::addActualParmVFGNode()'],['../classSVF_1_1SaberSVFGBuilder.html#ab8db9f6681eeb4663614119417a83cec',1,'SVF::SaberSVFGBuilder::addActualParmVFGNode()']]],
+  ['addactualret',['addActualRet',['../classSVF_1_1RetICFGNode.html#ac719aea72183e187f71471e1e58c9e54',1,'SVF::RetICFGNode']]],
+  ['addactualretvfgnode',['addActualRetVFGNode',['../classSVF_1_1VFG.html#a63994c100593efda25dbd50646dfe0dc',1,'SVF::VFG']]],
   ['addaddrcgedge',['addAddrCGEdge',['../classSVF_1_1ConstraintGraph.html#a56cfcc39637cf5208f65297a63dde266',1,'SVF::ConstraintGraph']]],
   ['addaddredge',['addAddrEdge',['../classSVF_1_1SVFIRBuilder.html#a2a0711cb1fdd3c5c90b07ff107aff1ac',1,'SVF::SVFIRBuilder']]],
   ['addaddrstmt',['addAddrStmt',['../classSVF_1_1SVFIR.html#a8436a7eede7b5ff5d9b80a0c951ea729',1,'SVF::SVFIR']]],
@@ -34,17 +34,17 @@ var searchData=
   ['addblackholeptrnode',['addBlackholePtrNode',['../classSVF_1_1SVFIR.html#a2b1de62f88588b068d4eed125049ed8d',1,'SVF::SVFIR']]],
   ['addbranchstmt',['addBranchStmt',['../classSVF_1_1SVFIR.html#a4f0d318deff3b97a4bd5e7b9d53e42fd',1,'SVF::SVFIR::addBranchStmt()'],['../classSVF_1_1SVFIRBuilder.html#ae0a1f66dee058f6af0f6b074db38db8e',1,'SVF::SVFIRBuilder::addBranchStmt()']]],
   ['addbranchvfgnode',['addBranchVFGNode',['../classSVF_1_1VFG.html#a18afc4baf33eb700e0510928016019f5',1,'SVF::VFG']]],
-  ['addcalledge',['addCallEdge',['../classSVF_1_1ICFG.html#abde033687317d47909ee45db7501723f',1,'SVF::ICFG::addCallEdge()'],['../classSVF_1_1VFG.html#aa01f63b17acdd52122a7f1ade329ccea',1,'SVF::VFG::addCallEdge()'],['../classSVF_1_1SVFIRBuilder.html#af4ff212d09284eb377eefd14f60d2f14',1,'SVF::SVFIRBuilder::addCallEdge()']]],
+  ['addcalledge',['addCallEdge',['../classSVF_1_1ICFG.html#abde033687317d47909ee45db7501723f',1,'SVF::ICFG::addCallEdge()'],['../classSVF_1_1VFG.html#aa01f63b17acdd52122a7f1ade329ccea',1,'SVF::VFG::addCallEdge()'],['../classSVF_1_1SVFIRBuilder.html#a5b41510e55eb48781a917e5a9c0e1462',1,'SVF::SVFIRBuilder::addCallEdge()']]],
   ['addcallgraphnode',['addCallGraphNode',['../classSVF_1_1PTACallGraph.html#a8a1621038edeb847bfc5a4a7be7620a3',1,'SVF::PTACallGraph']]],
-  ['addcallicfgnode',['addCallICFGNode',['../classSVF_1_1ICFG.html#ac069357c3f5140fcb0d6163c944638fd',1,'SVF::ICFG']]],
+  ['addcallicfgnode',['addCallICFGNode',['../classSVF_1_1ICFG.html#a9168a7e686797d5e09d6d9aebea963e3',1,'SVF::ICFG']]],
   ['addcallindirectsvfgedge',['addCallIndirectSVFGEdge',['../classSVF_1_1SVFGOPT.html#a11dc712bf74ba61160fed7a5c3efaeee',1,'SVF::SVFGOPT']]],
   ['addcallindirectvfedge',['addCallIndirectVFEdge',['../classSVF_1_1SVFG.html#af8ceb1ebf745e6803c606c41f7a482ac',1,'SVF::SVFG']]],
-  ['addcallpe',['addCallPE',['../classSVF_1_1FormalParmVFGNode.html#af0dfc7f8b58d5bc0e47c6ad17216cc1e',1,'SVF::FormalParmVFGNode::addCallPE()'],['../classSVF_1_1SVFIR.html#a9e99fcf29016ef401f53491ec54a4053',1,'SVF::SVFIR::addCallPE()']]],
-  ['addcallsite',['addCallSite',['../classSVF_1_1PTACallGraph.html#a72efe87a80f84a3945a93431d9414d3d',1,'SVF::PTACallGraph::addCallSite()'],['../classSVF_1_1SVFIR.html#a51f28f03a236b244b636ca88c5511a30',1,'SVF::SVFIR::addCallSite()']]],
-  ['addcallsiteargs',['addCallSiteArgs',['../classSVF_1_1SVFIR.html#a5fafbfd6a30b8796b92a3a1f3409767f',1,'SVF::SVFIR']]],
-  ['addcallsitechi',['AddCallSiteCHI',['../classSVF_1_1MemSSA.html#ac6f2171f92e0bdd5dbdb58efed144c18',1,'SVF::MemSSA::AddCallSiteCHI(const CallBlockNode *cs, const MRSet &mrSet)'],['../classSVF_1_1MemSSA.html#a96556440a0e65e8aa073f944e059cc9c',1,'SVF::MemSSA::AddCallSiteCHI(const CallBlockNode *cs, const MemRegion *mr)']]],
-  ['addcallsitemu',['AddCallSiteMU',['../classSVF_1_1MemSSA.html#a1aa05f81640286a796db0ded4e10c7ac',1,'SVF::MemSSA::AddCallSiteMU(const CallBlockNode *cs, const MRSet &mrSet)'],['../classSVF_1_1MemSSA.html#ab393093a1499564cfd62ff8587a3ade1',1,'SVF::MemSSA::AddCallSiteMU(const CallBlockNode *cs, const MemRegion *mr)']]],
-  ['addcallsiterets',['addCallSiteRets',['../classSVF_1_1SVFIR.html#a3c8070a1d7a6a705433b05dd633185b1',1,'SVF::SVFIR']]],
+  ['addcallpe',['addCallPE',['../classSVF_1_1FormalParmVFGNode.html#af0dfc7f8b58d5bc0e47c6ad17216cc1e',1,'SVF::FormalParmVFGNode::addCallPE()'],['../classSVF_1_1SVFIR.html#a2244c6180cede066186d9f7098bf9325',1,'SVF::SVFIR::addCallPE()']]],
+  ['addcallsite',['addCallSite',['../classSVF_1_1PTACallGraph.html#a979359fc784e647c574de90c7af2cf40',1,'SVF::PTACallGraph::addCallSite()'],['../classSVF_1_1SVFIR.html#a98341496bf470d23384f3d86a58591db',1,'SVF::SVFIR::addCallSite()']]],
+  ['addcallsiteargs',['addCallSiteArgs',['../classSVF_1_1SVFIR.html#a69963e4030433103e84e57fc015871d8',1,'SVF::SVFIR']]],
+  ['addcallsitechi',['AddCallSiteCHI',['../classSVF_1_1MemSSA.html#ad8011273feaf046bf7f3a3f3b904a91d',1,'SVF::MemSSA::AddCallSiteCHI(const CallICFGNode *cs, const MRSet &mrSet)'],['../classSVF_1_1MemSSA.html#af7991c1393ef3c8b090833bc27036a49',1,'SVF::MemSSA::AddCallSiteCHI(const CallICFGNode *cs, const MemRegion *mr)']]],
+  ['addcallsitemu',['AddCallSiteMU',['../classSVF_1_1MemSSA.html#a8f121e686d36748e4528d0ea66dcaa24',1,'SVF::MemSSA::AddCallSiteMU(const CallICFGNode *cs, const MRSet &mrSet)'],['../classSVF_1_1MemSSA.html#adbaf4715d5d4c9d0be1e934178efe13e',1,'SVF::MemSSA::AddCallSiteMU(const CallICFGNode *cs, const MemRegion *mr)']]],
+  ['addcallsiterets',['addCallSiteRets',['../classSVF_1_1SVFIR.html#a72efebdfe007ec8c515967ede76b6ce0',1,'SVF::SVFIR']]],
   ['addcandidate',['addCandidate',['../classSVF_1_1DDAClient.html#a7c07d9527011ea0165038e3a112a85d8',1,'SVF::DDAClient']]],
   ['addclone',['addClone',['../classSVF_1_1TypeBasedHeapCloning.html#ae83ef821386b3fd4b86f29477cdda3e1',1,'SVF::TypeBasedHeapCloning']]],
   ['addclonedummyobjnode',['addCloneDummyObjNode',['../classSVF_1_1TypeBasedHeapCloning.html#ac6ebb2fd24fc4272faf5db6ddd1e464b',1,'SVF::TypeBasedHeapCloning']]],
@@ -62,20 +62,20 @@ var searchData=
   ['addcopyedge',['addCopyEdge',['../classSVF_1_1SVFIRBuilder.html#a140defeb309d895394822f8780deda16',1,'SVF::SVFIRBuilder::addCopyEdge()'],['../classSVF_1_1Andersen.html#a8ba593bd16d4436310f2f25e75687c57',1,'SVF::Andersen::addCopyEdge()'],['../classSVF_1_1AndersenSCD.html#a0b5990e8b0230c019a2bcedbab354cba',1,'SVF::AndersenSCD::addCopyEdge()']]],
   ['addcopystmt',['addCopyStmt',['../classSVF_1_1SVFIR.html#aa54b93ebf36944b548aaa74dbf8a144f',1,'SVF::SVFIR']]],
   ['addcopyvfgnode',['addCopyVFGNode',['../classSVF_1_1VFG.html#a49d35213a281859ca64398760c485a85',1,'SVF::VFG']]],
-  ['addcptstocallsitemods',['addCPtsToCallSiteMods',['../classSVF_1_1MRGenerator.html#a3c9e58dee18cde9a6e1575e34955af78',1,'SVF::MRGenerator']]],
-  ['addcptstocallsiterefs',['addCPtsToCallSiteRefs',['../classSVF_1_1MRGenerator.html#a77cf2b1959581da2b0cdf88291664ff3',1,'SVF::MRGenerator']]],
+  ['addcptstocallsitemods',['addCPtsToCallSiteMods',['../classSVF_1_1MRGenerator.html#ab5b92ca898739f613f965fc05f86f094',1,'SVF::MRGenerator']]],
+  ['addcptstocallsiterefs',['addCPtsToCallSiteRefs',['../classSVF_1_1MRGenerator.html#a94ce7ceff7cee90d672e9f3a4f3aa4e8',1,'SVF::MRGenerator']]],
   ['addcptstoload',['addCPtsToLoad',['../classSVF_1_1MRGenerator.html#a79a3032b50f7ef905213b770b12e0967',1,'SVF::MRGenerator']]],
   ['addcptstostore',['addCPtsToStore',['../classSVF_1_1MRGenerator.html#af50efed3af17806a3ba3f668e4466d3e',1,'SVF::MRGenerator']]],
   ['addcxtlock',['addCxtLock',['../classSVF_1_1LockAnalysis.html#a177b10a617c275a9c2c2ed5e9b10d78a',1,'SVF::LockAnalysis']]],
   ['addcxtofcxtthread',['addCxtOfCxtThread',['../classSVF_1_1TCT.html#a2978381d69a9fd1fcee6a1258bc3bb5c',1,'SVF::TCT']]],
   ['addcxtstmttospan',['addCxtStmtToSpan',['../classSVF_1_1LockAnalysis.html#a718d6f2f55c1e2e7eb619c3e056ab458',1,'SVF::LockAnalysis']]],
   ['addddapts',['addDDAPts',['../classSVF_1_1DDAVFSolver.html#a5a8632a957fce63f186dd8b657566dd2',1,'SVF::DDAVFSolver']]],
-  ['adddirectcallgraphedge',['addDirectCallGraphEdge',['../classSVF_1_1PTACallGraph.html#ab0da49175c64d8e2fccd19680d79771e',1,'SVF::PTACallGraph']]],
-  ['adddirectcallsite',['addDirectCallSite',['../classSVF_1_1PTACallGraphEdge.html#a9f2ef4c539e31e91f26a3af2ffae26de',1,'SVF::PTACallGraphEdge']]],
-  ['adddirectforkedge',['addDirectForkEdge',['../classSVF_1_1ThreadCallGraph.html#a92e5a3154a98e12bdbbe4e0d39e62b3e',1,'SVF::ThreadCallGraph']]],
-  ['adddirectjoinedge',['addDirectJoinEdge',['../classSVF_1_1ThreadCallGraph.html#a62476a033fb54314da61dff6981bf229',1,'SVF::ThreadCallGraph']]],
+  ['adddirectcallgraphedge',['addDirectCallGraphEdge',['../classSVF_1_1PTACallGraph.html#a69bf382a228644d1c683b436930ee6df',1,'SVF::PTACallGraph']]],
+  ['adddirectcallsite',['addDirectCallSite',['../classSVF_1_1PTACallGraphEdge.html#a9ccc3f85568639abb8540eb61f6d3158',1,'SVF::PTACallGraphEdge']]],
+  ['adddirectforkedge',['addDirectForkEdge',['../classSVF_1_1ThreadCallGraph.html#a19e505dbca2d2b5128762b223b9a7114',1,'SVF::ThreadCallGraph']]],
+  ['adddirectjoinedge',['addDirectJoinEdge',['../classSVF_1_1ThreadCallGraph.html#a8e1a6710a05e08b9ed87e373bd5bd0ee',1,'SVF::ThreadCallGraph']]],
   ['adddirectlyjointid',['addDirectlyJoinTID',['../classSVF_1_1ForkJoinAnalysis.html#a8aa2d4c83981007108b152d05e9c51fe',1,'SVF::ForkJoinAnalysis']]],
-  ['adddirectparforedge',['addDirectParForEdge',['../classSVF_1_1ThreadCallGraph.html#a700ec3fd1c9d89a7176e05b2f1949aef',1,'SVF::ThreadCallGraph']]],
+  ['adddirectparforedge',['addDirectParForEdge',['../classSVF_1_1ThreadCallGraph.html#ae942f7d46198207219e5ce8287497262',1,'SVF::ThreadCallGraph']]],
   ['adddpmtoloc',['addDpmToLoc',['../classSVF_1_1DDAVFSolver.html#af7be3fa6c73dde97d6f9fd0395c9aee0',1,'SVF::DDAVFSolver']]],
   ['adddummymemobj',['addDummyMemObj',['../classSVF_1_1SVFIR.html#a4ee79c74a7a2cea5c063fa598ab89532',1,'SVF::SVFIR']]],
   ['adddummyobjnode',['addDummyObjNode',['../classSVF_1_1SVFIR.html#a18388bc282c5329a837c6a273893c4fb',1,'SVF::SVFIR::addDummyObjNode(const Type *type=nullptr)'],['../classSVF_1_1SVFIR.html#a3071c94ea72048d74a65a409a906af35',1,'SVF::SVFIR::addDummyObjNode(NodeID i, const Type *type)']]],
@@ -86,19 +86,19 @@ var searchData=
   ['addfiobjnode',['addFIObjNode',['../classSVF_1_1SVFIR.html#a06465449e58e14bfb1c3eee2c97d3242',1,'SVF::SVFIR']]],
   ['addfldwithtype',['addFldWithType',['../classSVF_1_1StInfo.html#a7011600965de6fe5401b87f5c71e684f',1,'SVF::StInfo']]],
   ['addfollowerfun',['addFollowerFun',['../classSVF_1_1PCG.html#a53e95f74121cd6e35b73f345139f6b00',1,'SVF::PCG']]],
-  ['addforksite',['addForksite',['../classSVF_1_1ThreadCallGraph.html#a6e2ebab64fd01e40e7100162fe544b04',1,'SVF::ThreadCallGraph']]],
-  ['addformalinsvfgnode',['addFormalINSVFGNode',['../classSVF_1_1SVFG.html#aee7cd64ac52d2ae930ab527325a77a30',1,'SVF::SVFG']]],
-  ['addformaloutsvfgnode',['addFormalOUTSVFGNode',['../classSVF_1_1SVFG.html#ae54becb2073591bce004f820cd13b1ca',1,'SVF::SVFG']]],
-  ['addformalparms',['addFormalParms',['../classSVF_1_1FunEntryBlockNode.html#ae6ebc073885c5d47f685c61097dadf20',1,'SVF::FunEntryBlockNode']]],
+  ['addforksite',['addForksite',['../classSVF_1_1ThreadCallGraph.html#a563ebb1ece0adb4bafe5e14b2a024a91',1,'SVF::ThreadCallGraph']]],
+  ['addformalinsvfgnode',['addFormalINSVFGNode',['../classSVF_1_1SVFG.html#ab4690114393820f580e805d2e0d6a41d',1,'SVF::SVFG']]],
+  ['addformaloutsvfgnode',['addFormalOUTSVFGNode',['../classSVF_1_1SVFG.html#a804824faa3a042cb1b63edd9e9eb7207',1,'SVF::SVFG']]],
+  ['addformalparms',['addFormalParms',['../classSVF_1_1FunEntryICFGNode.html#aeb9dfc9dfb0aad871cefcf80da2d881d',1,'SVF::FunEntryICFGNode']]],
   ['addformalparmvfgnode',['addFormalParmVFGNode',['../classSVF_1_1VFG.html#afdb1560eecf692fb646d412dc760088d',1,'SVF::VFG']]],
-  ['addformalret',['addFormalRet',['../classSVF_1_1FunExitBlockNode.html#ae1499a3ea7d5bb90dccd5d04a8b97dfc',1,'SVF::FunExitBlockNode']]],
+  ['addformalret',['addFormalRet',['../classSVF_1_1FunExitICFGNode.html#a51bdfbda3a351daa7ba898e2f88bb067',1,'SVF::FunExitICFGNode']]],
   ['addformalretvfgnode',['addFormalRetVFGNode',['../classSVF_1_1VFG.html#aae3bddc73e39d96fcc97d56ea3dec373',1,'SVF::VFG']]],
   ['addforwardvisited',['addForwardVisited',['../classSVF_1_1SrcSnkDDA.html#a51c65cb4b8ea107161e112a8fd3fb7d4',1,'SVF::SrcSnkDDA']]],
   ['addfunargs',['addFunArgs',['../classSVF_1_1SVFIR.html#ac27b9eedd489f13175c010a32203abae',1,'SVF::SVFIR']]],
   ['addfunctionset',['addFunctionSet',['../classSVF_1_1SVFModule.html#ae5512e574414dc259daaacaecf8cdf13',1,'SVF::SVFModule']]],
   ['addfunctofuncvector',['addFuncToFuncVector',['../classSVF_1_1CHGBuilder.html#a77753749b34b00c18d419057b4757a26',1,'SVF::CHGBuilder']]],
-  ['addfunentryicfgnode',['addFunEntryICFGNode',['../classSVF_1_1ICFG.html#a37720720adf125ea4f8c12c4bdf41cdd',1,'SVF::ICFG']]],
-  ['addfunexiticfgnode',['addFunExitICFGNode',['../classSVF_1_1ICFG.html#a7874a7a92beb17fd5a4a9575cb183975',1,'SVF::ICFG']]],
+  ['addfunentryicfgnode',['addFunEntryICFGNode',['../classSVF_1_1ICFG.html#a56afcc853b9cf9fcab1e1472c64d5036',1,'SVF::ICFG']]],
+  ['addfunexiticfgnode',['addFunExitICFGNode',['../classSVF_1_1ICFG.html#a2c2daaafcdc20d7e800c94a647c2b9da',1,'SVF::ICFG']]],
   ['addfunret',['addFunRet',['../classSVF_1_1SVFIR.html#a53774463f34bb8b528b179b72b48fd69',1,'SVF::SVFIR']]],
   ['addgepedge',['addGepEdge',['../classSVF_1_1SVFIRBuilder.html#a45ab73a812809b3c725daf11b5da6141',1,'SVF::SVFIRBuilder']]],
   ['addgepobjnode',['addGepObjNode',['../classSVF_1_1SVFIR.html#a1ac1e7752e98abff7054f4caa709260d',1,'SVF::SVFIR']]],
@@ -110,7 +110,7 @@ var searchData=
   ['addglobalpagedge',['addGlobalPAGEdge',['../classSVF_1_1SVFIR.html#ae3d9b4acb63a7dbe316e87bad4e3987a',1,'SVF::SVFIR']]],
   ['addglobalset',['addGlobalSet',['../classSVF_1_1SVFModule.html#a9aabe6d24bea26f3b5c7cab5a0fc3053',1,'SVF::SVFModule']]],
   ['addgnode',['addGNode',['../classSVF_1_1GenericGraph.html#a0a8831a5429005ff9d71adbd6bf3994f',1,'SVF::GenericGraph']]],
-  ['addhareparforedgesetmap',['addHareParForEdgeSetMap',['../classSVF_1_1ThreadCallGraph.html#a845258d0d19de3dda573521a34dbf705',1,'SVF::ThreadCallGraph']]],
+  ['addhareparforedgesetmap',['addHareParForEdgeSetMap',['../classSVF_1_1ThreadCallGraph.html#aae1caa7231ab9436db98403d6a175149',1,'SVF::ThreadCallGraph']]],
   ['addicfgedge',['addICFGEdge',['../classSVF_1_1ICFG.html#a462f590c2604184d69e4efe3d85a7b5b',1,'SVF::ICFG']]],
   ['addicfginteredges',['addICFGInterEdges',['../classSVF_1_1ICFGBuilder.html#af1fb4795e58130d639b75c354f67a6ab',1,'SVF::ICFGBuilder']]],
   ['addicfgnode',['addICFGNode',['../classSVF_1_1ICFG.html#a15816a82d8c33a066009440dce6ee973',1,'SVF::ICFG']]],
@@ -121,11 +121,11 @@ var searchData=
   ['addincominggepedge',['addIncomingGepEdge',['../classSVF_1_1ConstraintNode.html#aaf0b98573a980aea1151a837580a40a5',1,'SVF::ConstraintNode']]],
   ['addincomingloadedge',['addIncomingLoadEdge',['../classSVF_1_1ConstraintNode.html#a9d1bb95ad5549d7e6030fe07f8e070a2',1,'SVF::ConstraintNode']]],
   ['addincomingstoreedge',['addIncomingStoreEdge',['../classSVF_1_1ConstraintNode.html#a202193059dd3122d969561080b82c504',1,'SVF::ConstraintNode']]],
-  ['addindirectcallgraphedge',['addIndirectCallGraphEdge',['../classSVF_1_1PTACallGraph.html#a09d0b8461ec0e678e1e69368b0f66b02',1,'SVF::PTACallGraph']]],
-  ['addindirectcallsite',['addInDirectCallSite',['../classSVF_1_1PTACallGraphEdge.html#aad95920da19b78c0211e68caadba6d39',1,'SVF::PTACallGraphEdge']]],
-  ['addindirectcallsites',['addIndirectCallsites',['../classSVF_1_1SVFIR.html#aa91db3ebf92eacf077ae7b4d0735635b',1,'SVF::SVFIR']]],
-  ['addindirectforkedge',['addIndirectForkEdge',['../classSVF_1_1ThreadCallGraph.html#a2b0ccaaf219533907c0733b050628100',1,'SVF::ThreadCallGraph']]],
-  ['addindirectparforedge',['addIndirectParForEdge',['../classSVF_1_1ThreadCallGraph.html#a349b7fce76822de0c13118d9fdcd3db9',1,'SVF::ThreadCallGraph']]],
+  ['addindirectcallgraphedge',['addIndirectCallGraphEdge',['../classSVF_1_1PTACallGraph.html#a46416c668e2f0099394e79f685ede758',1,'SVF::PTACallGraph']]],
+  ['addindirectcallsite',['addInDirectCallSite',['../classSVF_1_1PTACallGraphEdge.html#ad9faf0a90691497984fb1d8709491a20',1,'SVF::PTACallGraphEdge']]],
+  ['addindirectcallsites',['addIndirectCallsites',['../classSVF_1_1SVFIR.html#af4a5fd9ecddb1447207335917adccd68',1,'SVF::SVFIR']]],
+  ['addindirectforkedge',['addIndirectForkEdge',['../classSVF_1_1ThreadCallGraph.html#a579dd874301280f7c9750c2a22f065c7',1,'SVF::ThreadCallGraph']]],
+  ['addindirectparforedge',['addIndirectParForEdge',['../classSVF_1_1ThreadCallGraph.html#a9258b680de64d8d2fdd1cb9aed8ae428',1,'SVF::ThreadCallGraph']]],
   ['addinedge',['addInEdge',['../classSVF_1_1SVFVar.html#a9376133075b0d44ff09876af933c8618',1,'SVF::SVFVar']]],
   ['addinstances',['addInstances',['../classSVF_1_1CHGraph.html#a5ee7e559425045f3af5c35ea6d6f03ee',1,'SVF::CHGraph']]],
   ['addinteredgefromaptofp',['addInterEdgeFromAPToFP',['../classSVF_1_1VFG.html#a6fd24c001a6daedf591974ba27140461',1,'SVF::VFG::addInterEdgeFromAPToFP(ActualParmVFGNode *src, FormalParmVFGNode *dst, CallSiteID csId)'],['../classSVF_1_1VFG.html#a185ed4079babc0e0f72c4bf223342ee2',1,'SVF::VFG::addInterEdgeFromAPToFP(NodeID src, NodeID dst, CallSiteID csId)']]],
@@ -137,14 +137,14 @@ var searchData=
   ['addinterphiforfp',['addInterPHIForFP',['../classSVF_1_1SVFGOPT.html#a374a31b9500ceda00477b03e9702d0a8',1,'SVF::SVFGOPT']]],
   ['addinterphioperands',['addInterPHIOperands',['../classSVF_1_1SVFGOPT.html#a30a4165300d0b7ac9b31d9f9c496d943',1,'SVF::SVFGOPT']]],
   ['addintoworklist',['addIntoWorklist',['../classSVF_1_1SVFGOPT.html#a72c573ecbc12c44e6ce1d67527f888a8',1,'SVF::SVFGOPT']]],
-  ['addintrablockicfgnode',['addIntraBlockICFGNode',['../classSVF_1_1ICFG.html#a9c9984f07859c7b0a4cc05ef7acf28af',1,'SVF::ICFG']]],
+  ['addintrablockicfgnode',['addIntraBlockICFGNode',['../classSVF_1_1ICFG.html#a9e1f6fb3e078357ec19a24fcb3bf7537',1,'SVF::ICFG']]],
   ['addintradirectvfedge',['addIntraDirectVFEdge',['../classSVF_1_1VFG.html#a3c97d77bc0348471d6c098d5655f15b2',1,'SVF::VFG']]],
   ['addintraedge',['addIntraEdge',['../classSVF_1_1ICFG.html#adafd8bbb91507a9a78a3f16305812afc',1,'SVF::ICFG']]],
   ['addintraindirectvfedge',['addIntraIndirectVFEdge',['../classSVF_1_1SVFG.html#ad03f0064d3a1ff397b35a606304a9c80',1,'SVF::SVFG']]],
   ['addintralock',['addIntraLock',['../classSVF_1_1LockAnalysis.html#ab28428444170091d2c65572263b9f40b',1,'SVF::LockAnalysis']]],
   ['addintramssaphisvfgnode',['addIntraMSSAPHISVFGNode',['../classSVF_1_1SVFG.html#a0554abe7c072b66ab24a900284646572',1,'SVF::SVFG']]],
   ['addintraphivfgnode',['addIntraPHIVFGNode',['../classSVF_1_1VFG.html#a6a1435f8ac7f74cc81608839fa3da3df',1,'SVF::VFG']]],
-  ['addjoinsite',['addJoinsite',['../classSVF_1_1ThreadCallGraph.html#ae72e4e29bfda892f059f719454f6fcd2',1,'SVF::ThreadCallGraph']]],
+  ['addjoinsite',['addJoinsite',['../classSVF_1_1ThreadCallGraph.html#a795d504a098634b1725af272b37e46e7',1,'SVF::ThreadCallGraph']]],
   ['addlcdcandidate',['addLCDCandidate',['../classSVF_1_1AndersenLCD.html#aa830cfc0e46114751337e8ea3586d0bb',1,'SVF::AndersenLCD']]],
   ['addloadcgedge',['addLoadCGEdge',['../classSVF_1_1ConstraintGraph.html#a1e5a23fbd08cf4186775baffbd6a7934',1,'SVF::ConstraintGraph']]],
   ['addloadcvar',['addLoadCVar',['../classSVF_1_1DDAVFSolver.html#a7579491400f1781356cb7d1913537547',1,'SVF::DDAVFSolver']]],
@@ -156,7 +156,7 @@ var searchData=
   ['addloadvfgnode',['addLoadVFGNode',['../classSVF_1_1VFG.html#a373e7066630719ffb7c62681f2c2a74e',1,'SVF::VFG']]],
   ['addmdtag',['addMDTag',['../classSVF_1_1Annotator.html#ad1424270d91f70dee1461b6301ce8091',1,'SVF::Annotator::addMDTag(Instruction *inst, std::string str)'],['../classSVF_1_1Annotator.html#ade321f69e1a727f1be15860e01effa43',1,'SVF::Annotator::addMDTag(Instruction *inst, Value *val, std::string str)']]],
   ['addmetedge',['addMetEdge',['../classSVF_1_1AndersenLCD.html#a0c5adfc0876e9bea02fe8ded41baeb91',1,'SVF::AndersenLCD']]],
-  ['addmodsideeffectofcallsite',['addModSideEffectOfCallSite',['../classSVF_1_1MRGenerator.html#a8b00b46136ce2586b5f94248d0826a94',1,'SVF::MRGenerator']]],
+  ['addmodsideeffectofcallsite',['addModSideEffectOfCallSite',['../classSVF_1_1MRGenerator.html#a915486be8b119c1f1cc87143a2a5180e',1,'SVF::MRGenerator']]],
   ['addmodsideeffectoffunction',['addModSideEffectOfFunction',['../classSVF_1_1MRGenerator.html#a39604645ca9ba10607ada3872b14705a',1,'SVF::MRGenerator']]],
   ['addmrver',['addMrVer',['../classSVF_1_1IndirectSVFGEdge.html#a7ac57ccfe31b6cd6bbc6f15ed22a6531',1,'SVF::IndirectSVFGEdge']]],
   ['addmssaphi',['AddMSSAPHI',['../classSVF_1_1MemSSA.html#a606aaf7a76ca71cb32adc9af7291ae6e',1,'SVF::MemSSA::AddMSSAPHI(const BasicBlock *bb, const MRSet &mrSet)'],['../classSVF_1_1MemSSA.html#a3af850d2fe9b2e75b2705c6d1355eda2',1,'SVF::MemSSA::AddMSSAPHI(const BasicBlock *bb, const MemRegion *mr)']]],
@@ -183,22 +183,22 @@ var searchData=
   ['addoutgoingloadedge',['addOutgoingLoadEdge',['../classSVF_1_1ConstraintNode.html#abcab7a3b98dc0cfeecaed279ca74ea53',1,'SVF::ConstraintNode']]],
   ['addoutgoingstoreedge',['addOutgoingStoreEdge',['../classSVF_1_1ConstraintNode.html#a349b8c461adfa2a0bd1376ecb81d36d5',1,'SVF::ConstraintNode']]],
   ['addoutofbudgetdpm',['addOutOfBudgetDpm',['../classSVF_1_1DDAVFSolver.html#ae1e77060ac22d465b5cc9430962e280c',1,'SVF::DDAVFSolver']]],
-  ['addparforsite',['addParForSite',['../classSVF_1_1ThreadCallGraph.html#a9daa0817e1f88a2478d7094646c72e13',1,'SVF::ThreadCallGraph']]],
+  ['addparforsite',['addParForSite',['../classSVF_1_1ThreadCallGraph.html#a69719915e8c23e3afd6766daea946ffe',1,'SVF::ThreadCallGraph']]],
   ['addpath',['addPath',['../classSVF_1_1VFPathCond.html#a47d117a7c5e789766f28cdca6d71ff19',1,'SVF::VFPathCond']]],
   ['addphistmt',['addPhiStmt',['../classSVF_1_1SVFIR.html#af6b4b35214d0e526dee13dadbb6326d0',1,'SVF::SVFIR::addPhiStmt()'],['../classSVF_1_1SVFIRBuilder.html#aadb890cbff1ea703ece726aefecb791c',1,'SVF::SVFIRBuilder::addPhiStmt()']]],
   ['addpointsto',['addPointsTo',['../classSVF_1_1IndirectSVFGEdge.html#a50ac2e33c6a4a41291c0a476ed07de53',1,'SVF::IndirectSVFGEdge']]],
   ['addpts',['addPts',['../classSVF_1_1PTData.html#ac1b9dc035fb0bdf468c7d14b9f9d437a',1,'SVF::PTData::addPts()'],['../classSVF_1_1VersionedPTData.html#ae00316730227769a39b22d3df1b6d38a',1,'SVF::VersionedPTData::addPts()'],['../classSVF_1_1MutablePTData.html#aab4a2eec11e83beca70b016102431ab1',1,'SVF::MutablePTData::addPts(const Key &dstKey, const Data &element) override'],['../classSVF_1_1MutablePTData.html#a8cdeda0ef0e976102d05de3004bd8c8a',1,'SVF::MutablePTData::addPts(DataSet &d, const Data &e)'],['../classSVF_1_1MutableDiffPTData.html#a717c166c5efdf2e1d71be1772fc0898d',1,'SVF::MutableDiffPTData::addPts()'],['../classSVF_1_1MutableDFPTData.html#ab75373d16f57dbbf1e9472e9a27d6b4b',1,'SVF::MutableDFPTData::addPts(const Key &dstKey, const Key &srcKey) override'],['../classSVF_1_1MutableDFPTData.html#ab7d1a3464e561029573f6f3c13c9bff4',1,'SVF::MutableDFPTData::addPts(DataSet &d, const Data &e)'],['../classSVF_1_1MutableVersionedPTData.html#a00a88cc3e802921c6a0951801ec712a6',1,'SVF::MutableVersionedPTData::addPts(const Key &k, const Data &element) override'],['../classSVF_1_1MutableVersionedPTData.html#af39232f64ff0ede20161c7f265da6cf5',1,'SVF::MutableVersionedPTData::addPts(const VersionedKey &vk, const Data &element) override'],['../classSVF_1_1PersistentPTData.html#a8d53322eadc657ed88a8b724647070b2',1,'SVF::PersistentPTData::addPts()'],['../classSVF_1_1PersistentDiffPTData.html#a9f748619f67f3ff9c4c4a429e6614989',1,'SVF::PersistentDiffPTData::addPts()'],['../classSVF_1_1PersistentDFPTData.html#a95df7d565ba8e990b61b1c932c8d4273',1,'SVF::PersistentDFPTData::addPts()'],['../classSVF_1_1PersistentVersionedPTData.html#a7f3730473af9218bea520ec0498fb4ac',1,'SVF::PersistentVersionedPTData::addPts(const Key &k, const Data &element) override'],['../classSVF_1_1PersistentVersionedPTData.html#ae4877cf4db5b1da5e7d05fe65ae8ed32',1,'SVF::PersistentVersionedPTData::addPts(const VersionedKey &vk, const Data &element) override'],['../classSVF_1_1BVDataPTAImpl.html#af68485a2208553579f9c2e4b2cb20cff',1,'SVF::BVDataPTAImpl::addPts()'],['../classSVF_1_1CondPTAImpl.html#a08037f32b927fe2e6be47a61a060463c',1,'SVF::CondPTAImpl::addPts()']]],
   ['addrcgedge',['AddrCGEdge',['../classSVF_1_1AddrCGEdge.html#a9c8da69a469e51d83c5009ba2685bcf6',1,'SVF::AddrCGEdge::AddrCGEdge()'],['../classSVF_1_1AddrCGEdge.html#a3e07c316815631b1ddfd35ae3781daab',1,'SVF::AddrCGEdge::AddrCGEdge(const AddrCGEdge &)'],['../classSVF_1_1AddrCGEdge.html#a131779667553499b85423e1932664252',1,'SVF::AddrCGEdge::AddrCGEdge(ConstraintNode *s, ConstraintNode *d, EdgeID id)']]],
   ['addrefloadedge',['addRefLoadEdge',['../classSVF_1_1OfflineConsG.html#a6c8afd3dc37fc60aecc6efd238312940',1,'SVF::OfflineConsG']]],
-  ['addrefsideeffectofcallsite',['addRefSideEffectOfCallSite',['../classSVF_1_1MRGenerator.html#a4e02c3aee7eb0206f6d643b72e39d059',1,'SVF::MRGenerator']]],
+  ['addrefsideeffectofcallsite',['addRefSideEffectOfCallSite',['../classSVF_1_1MRGenerator.html#a83f5087e84eb7a18976cbd3a446605ee',1,'SVF::MRGenerator']]],
   ['addrefsideeffectoffunction',['addRefSideEffectOfFunction',['../classSVF_1_1MRGenerator.html#a899c81db92c6bcf24f6f9b769e02e5bf',1,'SVF::MRGenerator']]],
   ['addrefstoreedge',['addRefStoreEdge',['../classSVF_1_1OfflineConsG.html#a99e2de184d8f532074666881b67e0b17',1,'SVF::OfflineConsG']]],
-  ['addretedge',['addRetEdge',['../classSVF_1_1ICFG.html#a4a44849b596c89ab14d2e5f18366e848',1,'SVF::ICFG::addRetEdge()'],['../classSVF_1_1VFG.html#a27ac8d60de7be75e831b4a28f8f8f1d2',1,'SVF::VFG::addRetEdge()'],['../classSVF_1_1SVFIRBuilder.html#a50702f09af1ea9d50ee4726fc8f8a65c',1,'SVF::SVFIRBuilder::addRetEdge()']]],
-  ['addreticfgnode',['addRetICFGNode',['../classSVF_1_1ICFG.html#a45891a968511d4779288a1a0aa089619',1,'SVF::ICFG']]],
+  ['addretedge',['addRetEdge',['../classSVF_1_1ICFG.html#a4a44849b596c89ab14d2e5f18366e848',1,'SVF::ICFG::addRetEdge()'],['../classSVF_1_1VFG.html#a27ac8d60de7be75e831b4a28f8f8f1d2',1,'SVF::VFG::addRetEdge()'],['../classSVF_1_1SVFIRBuilder.html#aaff4b288ac5f338fbe5dbc145d4087ba',1,'SVF::SVFIRBuilder::addRetEdge()']]],
+  ['addreticfgnode',['addRetICFGNode',['../classSVF_1_1ICFG.html#a10a3b111322e551dc781d732e2015261',1,'SVF::ICFG']]],
   ['addretindirectsvfgedge',['addRetIndirectSVFGEdge',['../classSVF_1_1SVFGOPT.html#afa99da68ef756d968d39a85f0fac3649',1,'SVF::SVFGOPT']]],
   ['addretindirectvfedge',['addRetIndirectVFEdge',['../classSVF_1_1SVFG.html#a8ebf0e285c69db8332a1f8914d6190f6',1,'SVF::SVFG']]],
   ['addretnode',['addRetNode',['../classSVF_1_1SVFIR.html#a38f6d0c7db935fd4e556761f96f1fa09',1,'SVF::SVFIR::addRetNode(const SVFFunction *val, NodeID i)'],['../classSVF_1_1SVFIR.html#a1f63adcd679596996ee2eabf0179462f',1,'SVF::SVFIR::addRetNode(const SVFFunction *, SVFVar *node, NodeID i)']]],
-  ['addretpe',['addRetPE',['../classSVF_1_1FormalRetVFGNode.html#a051f7dc0da465d7ce0dc733d9a8fae6a',1,'SVF::FormalRetVFGNode::addRetPE()'],['../classSVF_1_1SVFIR.html#a12fef4ec0537b26947eb0ab10799f29f',1,'SVF::SVFIR::addRetPE()']]],
+  ['addretpe',['addRetPE',['../classSVF_1_1FormalRetVFGNode.html#a051f7dc0da465d7ce0dc733d9a8fae6a',1,'SVF::FormalRetVFGNode::addRetPE()'],['../classSVF_1_1SVFIR.html#af7edf234425e890d1cf3ff812000206d',1,'SVF::SVFIR::addRetPE()']]],
   ['addrevpts',['addRevPts',['../classSVF_1_1MutablePTData.html#ad3175d9c02d8a9f6ad1752ccf3e468cb',1,'SVF::MutablePTData']]],
   ['addrstmt',['AddrStmt',['../classSVF_1_1AddrStmt.html#a0fa28f3a081cd6d32801ab245b6e95ae',1,'SVF::AddrStmt::AddrStmt()'],['../classSVF_1_1AddrStmt.html#a2576465276cd68b6d2029e1838c3b487',1,'SVF::AddrStmt::AddrStmt(const AddrStmt &)'],['../classSVF_1_1AddrStmt.html#a42caa75acb42ce8e290c1278622f139c',1,'SVF::AddrStmt::AddrStmt(SVFVar *s, SVFVar *d)']]],
   ['addrvfgnode',['AddrVFGNode',['../classSVF_1_1AddrVFGNode.html#ae83e51310f51cfb9cd7e2bb2002d758a',1,'SVF::AddrVFGNode::AddrVFGNode()'],['../classSVF_1_1AddrVFGNode.html#ad44d3d2b21708a472469b08450114f2c',1,'SVF::AddrVFGNode::AddrVFGNode(const AddrVFGNode &)'],['../classSVF_1_1AddrVFGNode.html#ad0608b31c5cc414454313617ff3e0ff5',1,'SVF::AddrVFGNode::AddrVFGNode(NodeID id, const AddrStmt *edge)']]],
@@ -208,13 +208,13 @@ var searchData=
   ['addspawneefun',['addSpawneeFun',['../classSVF_1_1PCG.html#acc48f65798275f5443b34b84e4bb6eae',1,'SVF::PCG']]],
   ['addspawnerfun',['addSpawnerFun',['../classSVF_1_1PCG.html#a11c45407138211987e5143d81ccceb95',1,'SVF::PCG']]],
   ['addspawnsite',['addSpawnsite',['../classSVF_1_1PCG.html#a1d946482cce92f7b1718a2a8c178be0b',1,'SVF::PCG']]],
-  ['addsrctocsid',['addSrcToCSID',['../classSVF_1_1LeakChecker.html#a5046d4a090560dd6f4ffd85631086b10',1,'SVF::LeakChecker']]],
+  ['addsrctocsid',['addSrcToCSID',['../classSVF_1_1LeakChecker.html#a155da7c60f3232b43a3996313b0496c7',1,'SVF::LeakChecker']]],
   ['addstartroutineofcxtthread',['addStartRoutineOfCxtThread',['../classSVF_1_1TCT.html#a11d9eeffdb1fc777f573fae75f48532a',1,'SVF::TCT']]],
   ['addstmtvfgnode',['addStmtVFGNode',['../classSVF_1_1VFG.html#a6d2a20830533ee40a5757e58e127f927',1,'SVF::VFG']]],
   ['addstorecgedge',['addStoreCGEdge',['../classSVF_1_1ConstraintGraph.html#a633666953f8d6675961981c4eab1adb0',1,'SVF::ConstraintGraph']]],
   ['addstorechi',['AddStoreCHI',['../classSVF_1_1MemSSA.html#a4e11797df16b0b612191607180acc0c5',1,'SVF::MemSSA::AddStoreCHI(const BasicBlock *bb, const StoreStmt *store, const MRSet &mrSet)'],['../classSVF_1_1MemSSA.html#a8d9bfa2ad724a3b286edc56b7c15e9bf',1,'SVF::MemSSA::AddStoreCHI(const BasicBlock *bb, const StoreStmt *store, const MemRegion *mr)']]],
   ['addstoreedge',['addStoreEdge',['../classSVF_1_1SVFIRBuilder.html#ac5795471aff6ccb07a84ffe1277ff2d4',1,'SVF::SVFIRBuilder']]],
-  ['addstorestmt',['addStoreStmt',['../classSVF_1_1SVFIR.html#a4b491e2d3eb5e041677decd73136c870',1,'SVF::SVFIR']]],
+  ['addstorestmt',['addStoreStmt',['../classSVF_1_1SVFIR.html#af9804d78e4158d3c8961e1f84bbef91e',1,'SVF::SVFIR']]],
   ['addstorevfgnode',['addStoreVFGNode',['../classSVF_1_1VFG.html#a13f7caf44741db3b0e8a44b13d8931f5',1,'SVF::VFG']]],
   ['addsubnode',['addSubNode',['../classSVF_1_1Steensgaard.html#abcb15d923ebbf289672b54b6f0963e03',1,'SVF::Steensgaard']]],
   ['addsubnodes',['addSubNodes',['../classSVF_1_1SCCDetection_1_1GNodeSCCInfo.html#a39ff07eb2d4529802dead9d37a720fa9',1,'SVF::SCCDetection::GNodeSCCInfo']]],
@@ -228,12 +228,12 @@ var searchData=
   ['addtctedge',['addTCTEdge',['../classSVF_1_1TCT.html#aa87bfebf48f9e74655ab3db4ec1576b3',1,'SVF::TCT']]],
   ['addtctnode',['addTCTNode',['../classSVF_1_1TCT.html#a4d26418c050876eb365af0ee31d3922c',1,'SVF::TCT']]],
   ['addtdedges',['addTDEdges',['../classSVF_1_1MTASVFGBuilder.html#a2e654f80c3680cd434fd04932a309a2d',1,'SVF::MTASVFGBuilder']]],
-  ['addthreadforkedge',['addThreadForkEdge',['../classSVF_1_1SVFIRBuilder.html#a7a311f7789c6c7a028ad0f595c1e0295',1,'SVF::SVFIRBuilder']]],
-  ['addthreadforkedgesetmap',['addThreadForkEdgeSetMap',['../classSVF_1_1ThreadCallGraph.html#a29d3e4d720f61b4c29fee9691cedff96',1,'SVF::ThreadCallGraph']]],
-  ['addthreadforkpe',['addThreadForkPE',['../classSVF_1_1SVFIR.html#a787dc5aff6f7a7d8ec3a7a23d9f40a7e',1,'SVF::SVFIR']]],
-  ['addthreadjoinedge',['addThreadJoinEdge',['../classSVF_1_1SVFIRBuilder.html#a4acfddb8e683bbcc2e3949907361ea29',1,'SVF::SVFIRBuilder']]],
-  ['addthreadjoinedgesetmap',['addThreadJoinEdgeSetMap',['../classSVF_1_1ThreadCallGraph.html#a70a03bcaa6386ef39188acb6b2aa9d5a',1,'SVF::ThreadCallGraph']]],
-  ['addthreadjoinpe',['addThreadJoinPE',['../classSVF_1_1SVFIR.html#a4f64a1a266838ac72b66cca138ec57ca',1,'SVF::SVFIR']]],
+  ['addthreadforkedge',['addThreadForkEdge',['../classSVF_1_1SVFIRBuilder.html#acd0678f7f35abd7aee656c2a49167ae9',1,'SVF::SVFIRBuilder']]],
+  ['addthreadforkedgesetmap',['addThreadForkEdgeSetMap',['../classSVF_1_1ThreadCallGraph.html#ab20211a66583387f0da4769bee65e300',1,'SVF::ThreadCallGraph']]],
+  ['addthreadforkpe',['addThreadForkPE',['../classSVF_1_1SVFIR.html#aa498f73f62e19f4f9f63e265938ce408',1,'SVF::SVFIR']]],
+  ['addthreadjoinedge',['addThreadJoinEdge',['../classSVF_1_1SVFIRBuilder.html#ab40720aeeeaf3be64cc65179f54e214d',1,'SVF::SVFIRBuilder']]],
+  ['addthreadjoinedgesetmap',['addThreadJoinEdgeSetMap',['../classSVF_1_1ThreadCallGraph.html#a7100a68c27a965927975e26bb06e061c',1,'SVF::ThreadCallGraph']]],
+  ['addthreadjoinpe',['addThreadJoinPE',['../classSVF_1_1SVFIR.html#ad50f150bb3bac77687b3d1210f21d2ed',1,'SVF::SVFIR']]],
   ['addthreadmhpindirectvfedge',['addThreadMHPIndirectVFEdge',['../classSVF_1_1SVFG.html#a1aba3845bad017f81cd5f938db03a161',1,'SVF::SVFG']]],
   ['addtobackwardslice',['addToBackwardSlice',['../classSVF_1_1SVFGStat.html#a54e61121cdfac31e336cd79fa0513419',1,'SVF::SVFGStat::addToBackwardSlice()'],['../classSVF_1_1ProgSlice.html#ac98eccef9fc2521b833a8c14b43e49e1',1,'SVF::ProgSlice::addToBackwardSlice()']]],
   ['addtocurbackwardslice',['addToCurBackwardSlice',['../classSVF_1_1SrcSnkDDA.html#ad28ffe435790d36ad872cddc213ea799',1,'SVF::SrcSnkDDA']]],
@@ -260,7 +260,7 @@ var searchData=
   ['addvartoconst',['addVarToConst',['../cuddInt_8c.html#a1beb03ec42d575c3c90eb690a0edf97b',1,'cuddInt.c']]],
   ['addvfedge',['addVFEdge',['../classSVF_1_1VFPathCond.html#adbf3026a7f2a9cbbb1de55159e264263',1,'SVF::VFPathCond']]],
   ['addvfgedge',['addVFGEdge',['../classSVF_1_1VFG.html#a84cf5facb15e1d598c2527fba0c7634d',1,'SVF::VFG']]],
-  ['addvfginteredges',['addVFGInterEdges',['../classSVF_1_1VFG.html#ab1f4c2765af027e903634d5262aea80b',1,'SVF::VFG']]],
+  ['addvfginteredges',['addVFGInterEdges',['../classSVF_1_1VFG.html#aff0c7fcfe42752388f34d16d3d91b0b6',1,'SVF::VFG']]],
   ['addvfgnode',['addVFGNode',['../classSVF_1_1ICFGNode.html#aff18898b9bbd85d08b00d64d48eea6a5',1,'SVF::ICFGNode::addVFGNode()'],['../classSVF_1_1VFG.html#ad8c76cdb73541eed5aa1c2ba9de60383',1,'SVF::VFG::addVFGNode()']]],
   ['addvfgnodes',['addVFGNodes',['../classSVF_1_1VFG.html#a3544cc0380964f238c964a0e7b417862',1,'SVF::VFG']]],
   ['addvfpath',['addVFPath',['../classSVF_1_1PathStmtDPItem.html#ac8677af22f80379acf5dfd649ab41227',1,'SVF::PathStmtDPItem']]],

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

@@ -85,7 +85,7 @@ var searchData=
   ['setreachglobal',['setReachGlobal',['../classSVF_1_1ProgSlice.html#a397632ce0c523c4a54c5dc578606d14d',1,'SVF::ProgSlice']]],
   ['setrep',['setRep',['../classSVF_1_1ConstraintGraph.html#abea65bf6dd43aa312082f8d4c7c3e3cb',1,'SVF::ConstraintGraph']]],
   ['setresver',['setResVer',['../classSVF_1_1MSSADEF.html#a343eb4c9515dfbbbdadaacf5500e5f05',1,'SVF::MSSADEF']]],
-  ['setretblocknode',['setRetBlockNode',['../classSVF_1_1CallBlockNode.html#a8ad5091c13a0dc2f6518a0e3340dcb05',1,'SVF::CallBlockNode']]],
+  ['setreticfgnode',['setRetICFGNode',['../classSVF_1_1CallICFGNode.html#a91b38c6930f3c15b9b38121662fded20',1,'SVF::CallICFGNode']]],
   ['setscalar',['setScalar',['../classSVF_1_1DCHNode.html#a917265fa44ed08b66a6bd722f318bfa4',1,'SVF::DCHNode']]],
   ['setsccedgeflag',['setSCCEdgeFlag',['../classSVF_1_1ConstraintNode.html#ab8e02139108272c54171cd2e8833cd88',1,'SVF::ConstraintNode::setSCCEdgeFlag()'],['../classSVF_1_1Andersen.html#ab81b08574f80287803dd43b5ebe2adfa',1,'SVF::Andersen::setSCCEdgeFlag()']]],
   ['setsubs',['setSubs',['../classSVF_1_1ConstraintGraph.html#a148235bd1355a700d3ce187702e89bc8',1,'SVF::ConstraintGraph']]],
@@ -164,7 +164,7 @@ var searchData=
   ['stopping_5fcriterion',['stopping_criterion',['../cuddInt_8c.html#a5f2b499b6706d3e880ad375ab7eacd03',1,'cuddInt.c']]],
   ['storecgedge',['StoreCGEdge',['../classSVF_1_1StoreCGEdge.html#a667b277ef845b866d3b11a7fbfce0815',1,'SVF::StoreCGEdge::StoreCGEdge()'],['../classSVF_1_1StoreCGEdge.html#a0f873b0be0ac726e412171119c5b3a50',1,'SVF::StoreCGEdge::StoreCGEdge(const StoreCGEdge &)'],['../classSVF_1_1StoreCGEdge.html#afdba4e02b1ccdc19fdc18bbe43363e79',1,'SVF::StoreCGEdge::StoreCGEdge(ConstraintNode *s, ConstraintNode *d, EdgeID id)']]],
   ['storechi',['StoreCHI',['../classSVF_1_1StoreCHI.html#a34433e6e437d302014fd06b5fb624a79',1,'SVF::StoreCHI']]],
-  ['storestmt',['StoreStmt',['../classSVF_1_1StoreStmt.html#acbea1ddbde90259b668b21f80f56cfbb',1,'SVF::StoreStmt::StoreStmt()'],['../classSVF_1_1StoreStmt.html#a22bc2f9290dfd7ade13ba63cc983ac42',1,'SVF::StoreStmt::StoreStmt(const StoreStmt &)'],['../classSVF_1_1StoreStmt.html#aa817396dc47f1f03015c1c95a43cf8eb',1,'SVF::StoreStmt::StoreStmt(SVFVar *s, SVFVar *d, const IntraBlockNode *st)']]],
+  ['storestmt',['StoreStmt',['../classSVF_1_1StoreStmt.html#acbea1ddbde90259b668b21f80f56cfbb',1,'SVF::StoreStmt::StoreStmt()'],['../classSVF_1_1StoreStmt.html#a22bc2f9290dfd7ade13ba63cc983ac42',1,'SVF::StoreStmt::StoreStmt(const StoreStmt &)'],['../classSVF_1_1StoreStmt.html#a39ee0d8cc951aff0d6418a3d743fb3ae',1,'SVF::StoreStmt::StoreStmt(SVFVar *s, SVFVar *d, const IntraICFGNode *st)']]],
   ['storevfgnode',['StoreVFGNode',['../classSVF_1_1StoreVFGNode.html#ab4b9182cb0f2ef7dfc1e15789a311ecd',1,'SVF::StoreVFGNode::StoreVFGNode()'],['../classSVF_1_1StoreVFGNode.html#a496607cda1cc26a8753d6a7af620e95a',1,'SVF::StoreVFGNode::StoreVFGNode(const StoreVFGNode &)'],['../classSVF_1_1StoreVFGNode.html#ae7ee09f0e965b6487a38a58c4f51b20b',1,'SVF::StoreVFGNode::StoreVFGNode(NodeID id, const StoreStmt *edge)']]],
   ['strcat',['strcat',['../util_8h.html#ae726f8c6b65e180aacfb570a35dc8375',1,'util.h']]],
   ['strchr',['strchr',['../util_8h.html#ad015a6d0966888e16a0ea0eb360a2be2',1,'util.h']]],