svf-tools 1.0.342 → 1.0.346

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()']]],
-  ['inst2labelmap',['inst2LabelMap',['../classSVF_1_1SVFStmt.html#abb83549118bcd7216a053d82f7180d1c',1,'SVF::SVFStmt::inst2LabelMap()'],['../classSVF_1_1SVFStmt.html#a5a3db6b1335b4adc55b961a6f480f228',1,'SVF::SVFStmt::Inst2LabelMap()']]],
+  ['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#a5a3db6b1335b4adc55b961a6f480f228',1,'SVF::SVFStmt::Inst2LabelMap()'],['../classSVF_1_1SVFStmt.html#abb83549118bcd7216a053d82f7180d1c',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_c.js

@@ -36,7 +36,7 @@ var searchData=
   ['llvmfunend',['llvmFunEnd',['../classSVF_1_1SVFModule.html#af38d0f831967d6d8391a4c84e58d6519',1,'SVF::SVFModule::llvmFunEnd()'],['../classSVF_1_1SVFModule.html#a7662ba877691e7e337af54835c15c3c5',1,'SVF::SVFModule::llvmFunEnd() const']]],
   ['llvmmodule_2ecpp',['LLVMModule.cpp',['../LLVMModule_8cpp.html',1,'']]],
   ['llvmmodule_2eh',['LLVMModule.h',['../LLVMModule_8h.html',1,'']]],
-  ['llvmmoduleset',['LLVMModuleSet',['../classSVF_1_1LLVMModuleSet.html',1,'SVF::LLVMModuleSet'],['../classSVF_1_1LLVMModuleSet.html#ac59b07cafcbacc950eefea4082425b63',1,'SVF::LLVMModuleSet::llvmModuleSet()'],['../classSVF_1_1LLVMModuleSet.html#a8e70de9eefe2e188b10e214e073750e6',1,'SVF::LLVMModuleSet::LLVMModuleSet()']]],
+  ['llvmmoduleset',['LLVMModuleSet',['../classSVF_1_1LLVMModuleSet.html',1,'SVF::LLVMModuleSet'],['../classSVF_1_1LLVMModuleSet.html#a8e70de9eefe2e188b10e214e073750e6',1,'SVF::LLVMModuleSet::LLVMModuleSet()'],['../classSVF_1_1LLVMModuleSet.html#ac59b07cafcbacc950eefea4082425b63',1,'SVF::LLVMModuleSet::llvmModuleSet()']]],
   ['llvmutil_2ecpp',['LLVMUtil.cpp',['../LLVMUtil_8cpp.html',1,'']]],
   ['llvmutil_2eh',['LLVMUtil.h',['../LLVMUtil_8h.html',1,'']]],
   ['load',['Load',['../classSVF_1_1ConstraintEdge.html#a663af27955ba0c545f34fa1f076b7375a1bdeb9a06641d16b43391120812b40b2',1,'SVF::ConstraintEdge::Load()'],['../classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75a0dfbaf92c48e11aebc85760e6e799d80',1,'SVF::VFGNode::Load()'],['../classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a62ac8480c43fcc657c631ec0003b15d5',1,'SVF::SVFStmt::Load()']]],
@@ -85,7 +85,7 @@ var searchData=
   ['lockset',['LockSet',['../classSVF_1_1LockAnalysis.html#a4bde0f39a6b5cf83e0011d7ef272c685',1,'SVF::LockAnalysis']]],
   ['locksites',['locksites',['../classSVF_1_1LockAnalysis.html#a87c412a54f48e5314454cd1d44ef9b0e',1,'SVF::LockAnalysis']]],
   ['locksitetolockset',['LockSiteToLockSet',['../classSVF_1_1LockAnalysis.html#a1f9ae41c4ed7450d0d8b29cd20a6ef25',1,'SVF::LockAnalysis']]],
-  ['lockspan',['LockSpan',['../classSVF_1_1LockAnalysis.html#a07b7d49e1fbe3e5dc694b6aadbee05b8',1,'SVF::LockAnalysis::LockSpan()'],['../classSVF_1_1MHP.html#a08ba219ec02b07b1bbd91a88ebb4acd7',1,'SVF::MHP::LockSpan()'],['../classSVF_1_1SVFGNodeLockSpan.html#a762505799b9257bbcb766fccdce40fd4',1,'SVF::SVFGNodeLockSpan::lockSpan()']]],
+  ['lockspan',['lockSpan',['../classSVF_1_1SVFGNodeLockSpan.html#a762505799b9257bbcb766fccdce40fd4',1,'SVF::SVFGNodeLockSpan::lockSpan()'],['../classSVF_1_1LockAnalysis.html#a07b7d49e1fbe3e5dc694b6aadbee05b8',1,'SVF::LockAnalysis::LockSpan()'],['../classSVF_1_1MHP.html#a08ba219ec02b07b1bbd91a88ebb4acd7',1,'SVF::MHP::LockSpan()']]],
   ['locktime',['lockTime',['../classSVF_1_1LockAnalysis.html#adadee129c04b82576b4ca3c7594cdcb2',1,'SVF::LockAnalysis']]],
   ['lockvalid',['LockValid',['../classSVF_1_1Options.html#a78b3b44f2c0dc94dc1363ca57ee76d66',1,'SVF::Options']]],
   ['locmemmodel',['LocMemModel',['../classSVF_1_1Options.html#aba8e13f8bb26cf6a0718282e6f9a1940',1,'SVF::Options']]],

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']]],
@@ -36,7 +36,7 @@ var searchData=
   ['maxcachehard',['maxCacheHard',['../structDdManager.html#a1b53bee9cf86fc1131c420c2aef7e473',1,'DdManager']]],
   ['maxcontextlen',['MaxContextLen',['../classSVF_1_1Options.html#a2e53156bd075d7802d390672f129c6a8',1,'SVF::Options']]],
   ['maxcxtsize',['MaxCxtSize',['../classSVF_1_1TCT.html#aaae41663b1d1f4d38b047c50c156defb',1,'SVF::TCT']]],
-  ['maxfieldlimit',['MaxFieldLimit',['../classSVF_1_1Options.html#adfc1a5c6098d3867e29fc65ca9ffa1cc',1,'SVF::Options::MaxFieldLimit()'],['../classSVF_1_1SymbolTableInfo.html#a9b8b7ecb217c7395025231b04e7b4c26',1,'SVF::SymbolTableInfo::maxFieldLimit()'],['../classSVF_1_1StInfo.html#a4cd926bd095254dd287f1cf26e02483e',1,'SVF::StInfo::maxFieldLimit()']]],
+  ['maxfieldlimit',['maxFieldLimit',['../classSVF_1_1SymbolTableInfo.html#a9b8b7ecb217c7395025231b04e7b4c26',1,'SVF::SymbolTableInfo::maxFieldLimit()'],['../classSVF_1_1StInfo.html#a4cd926bd095254dd287f1cf26e02483e',1,'SVF::StInfo::maxFieldLimit()'],['../classSVF_1_1Options.html#adfc1a5c6098d3867e29fc65ca9ffa1cc',1,'SVF::Options::MaxFieldLimit()']]],
   ['maxgen_5fratio',['MAXGEN_RATIO',['../cuddInt_8c.html#ad06617a840460570896838fbc917b0f2',1,'cuddInt.c']]],
   ['maxgrowth',['maxGrowth',['../structDdManager.html#a8a6a4238d1bc8a87eabd2c3eabd233d7',1,'DdManager']]],
   ['maxgrowthalt',['maxGrowthAlt',['../structDdManager.html#a2926e48e488cec20a61e9b0dc6b91795',1,'DdManager']]],
@@ -102,7 +102,7 @@ var searchData=
   ['memregtocountermap',['MemRegToCounterMap',['../classSVF_1_1MemSSA.html#ae1aca020147c270deca2a1241e3847d0',1,'SVF::MemSSA']]],
   ['memregtoverstackmap',['MemRegToVerStackMap',['../classSVF_1_1MemSSA.html#aa9dbaf51f0498f3bd878827744208899',1,'SVF::MemSSA']]],
   ['memset',['memset',['../util_8h.html#a311babf232e543aa49200c238d683486',1,'util.h']]],
-  ['memssa',['MemSSA',['../classSVF_1_1MemSSA.html',1,'SVF::MemSSA'],['../classSVF_1_1MemSSA.html#a6bd57451370f5f4c92ce212be4cddd15',1,'SVF::MemSSA::MemSSA()'],['../classSVF_1_1SrcSnkDDA.html#ab6803f0a2b3507213ad2979b9b12f700',1,'SVF::SrcSnkDDA::memSSA()'],['../classSVF_1_1FlowSensitive.html#a76f6f19ac2b58ab4a10a2d7e6e24e42a',1,'SVF::FlowSensitive::memSSA()']]],
+  ['memssa',['MemSSA',['../classSVF_1_1MemSSA.html',1,'SVF::MemSSA'],['../classSVF_1_1SrcSnkDDA.html#ab6803f0a2b3507213ad2979b9b12f700',1,'SVF::SrcSnkDDA::memSSA()'],['../classSVF_1_1FlowSensitive.html#a76f6f19ac2b58ab4a10a2d7e6e24e42a',1,'SVF::FlowSensitive::memSSA()'],['../classSVF_1_1MemSSA.html#a6bd57451370f5f4c92ce212be4cddd15',1,'SVF::MemSSA::MemSSA()']]],
   ['memssa_2ecpp',['MemSSA.cpp',['../MemSSA_8cpp.html',1,'']]],
   ['memssa_2eh',['MemSSA.h',['../MemSSA_8h.html',1,'']]],
   ['memssadf',['MemSSADF',['../classSVF_1_1MemSSADF.html',1,'SVF::MemSSADF'],['../classSVF_1_1MemSSADF.html#aabae3337a22fc441fd2fdc2cf30b009c',1,'SVF::MemSSADF::MemSSADF()']]],
@@ -115,7 +115,7 @@ var searchData=
   ['mergenodeandpts',['mergeNodeAndPts',['../classSVF_1_1AndersenHCD.html#afea4ecab92720da2f5dad27840ac1e57',1,'SVF::AndersenHCD']]],
   ['mergenodetorep',['mergeNodeToRep',['../classSVF_1_1Andersen.html#a36729160041bc3a3e2b0a92b29062848',1,'SVF::Andersen::mergeNodeToRep()'],['../classSVF_1_1AndersenWaveDiff.html#acdc82c72b14e012551a460fa91a634db',1,'SVF::AndersenWaveDiff::mergeNodeToRep()']]],
   ['mergeptsoccmaps',['mergePtsOccMaps',['../namespaceSVF_1_1SVFUtil.html#a36c91f952a69875c33d4bd0b05a27ff2',1,'SVF::SVFUtil']]],
-  ['mergepwc',['mergePWC',['../classSVF_1_1Andersen.html#a44d62658bbd2efcef5ff479930b5dce9',1,'SVF::Andersen::mergePWC()'],['../classSVF_1_1Options.html#a69579e2f37962afdbb292a36782511ed',1,'SVF::Options::MergePWC()']]],
+  ['mergepwc',['MergePWC',['../classSVF_1_1Options.html#a69579e2f37962afdbb292a36782511ed',1,'SVF::Options::MergePWC()'],['../classSVF_1_1Andersen.html#a44d62658bbd2efcef5ff479930b5dce9',1,'SVF::Andersen::mergePWC()']]],
   ['mergescc',['mergeSCC',['../classSVF_1_1AndersenLCD.html#a132fe3985f04b55b5e172649db7e44d7',1,'SVF::AndersenLCD::mergeSCC()'],['../classSVF_1_1AndersenHCD.html#a2bbd6a0af75b17a70b1451a69cc3d5d7',1,'SVF::AndersenHCD::mergeSCC()'],['../classSVF_1_1AndersenHLCD.html#a25cb6c99be1689006b39bd62e05c76ba',1,'SVF::AndersenHLCD::mergeSCC()']]],
   ['mergescccycle',['mergeSccCycle',['../classSVF_1_1Andersen.html#ac86ffd334568e4df5c08b3c827018bef',1,'SVF::Andersen']]],
   ['mergesccnodes',['mergeSccNodes',['../classSVF_1_1Andersen.html#a1ba1e1e36af289982146de06cf06ab0a',1,'SVF::Andersen']]],
@@ -125,7 +125,7 @@ var searchData=
   ['metasame',['metaSame',['../classSVF_1_1PointsTo.html#aa1e773b7abda97441d6ffe39c668d4ec',1,'SVF::PointsTo']]],
   ['metedges',['metEdges',['../classSVF_1_1AndersenLCD.html#a501ff7f8648c735c4a896063128d9ccc',1,'SVF::AndersenLCD']]],
   ['mfspta',['mfspta',['../classSVF_1_1FSMPTA.html#af248a80855457ca9e5a7208c114681bb',1,'SVF::FSMPTA']]],
-  ['mhp',['MHP',['../classSVF_1_1MHP.html',1,'SVF::MHP'],['../classSVF_1_1MTASVFGBuilder.html#a73024bf30aa3ec79e5953a7ea1f8feb7',1,'SVF::MTASVFGBuilder::mhp()'],['../classSVF_1_1FSMPTA.html#aa8dcd130d4b9283fc6b903de8e4ad830',1,'SVF::FSMPTA::mhp()'],['../classSVF_1_1MTAAnnotator.html#a94d7a3fd9166126c052fca28f9a4c825',1,'SVF::MTAAnnotator::mhp()'],['../classSVF_1_1MTAResultValidator.html#a6b3592525d5275d583c0726744d1f857',1,'SVF::MTAResultValidator::mhp()'],['../classSVF_1_1MHPValidator.html#ad6e417ad7f0b1b399822eaa62d83341d',1,'SVF::MHPValidator::mhp()'],['../classSVF_1_1MHP.html#abf1f5a7c365dfb95b42015b7b2ad6fbe',1,'SVF::MHP::MHP()']]],
+  ['mhp',['MHP',['../classSVF_1_1MHP.html',1,'SVF::MHP'],['../classSVF_1_1MHP.html#abf1f5a7c365dfb95b42015b7b2ad6fbe',1,'SVF::MHP::MHP()'],['../classSVF_1_1MTASVFGBuilder.html#a73024bf30aa3ec79e5953a7ea1f8feb7',1,'SVF::MTASVFGBuilder::mhp()'],['../classSVF_1_1FSMPTA.html#aa8dcd130d4b9283fc6b903de8e4ad830',1,'SVF::FSMPTA::mhp()'],['../classSVF_1_1MTAAnnotator.html#a94d7a3fd9166126c052fca28f9a4c825',1,'SVF::MTAAnnotator::mhp()'],['../classSVF_1_1MTAResultValidator.html#a6b3592525d5275d583c0726744d1f857',1,'SVF::MTAResultValidator::mhp()'],['../classSVF_1_1MHPValidator.html#ad6e417ad7f0b1b399822eaa62d83341d',1,'SVF::MHPValidator::mhp()']]],
   ['mhp_2ecpp',['MHP.cpp',['../MHP_8cpp.html',1,'']]],
   ['mhp_2eh',['MHP.h',['../MHP_8h.html',1,'']]],
   ['mhpfuns',['mhpfuns',['../classSVF_1_1PCG.html#a96f91b051a8035b614e015bf4d5081e0',1,'SVF::PCG']]],

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

@@ -20,7 +20,7 @@ var searchData=
   ['nextsetindex',['nextSetIndex',['../classSVF_1_1CoreBitVector.html#a087f69adea5e9e83bd908a1ab0ee1383',1,'SVF::CoreBitVector']]],
   ['nil',['NIL',['../util_8h.html#a31bfee01545b78af63301bf9e857218b',1,'util.h']]],
   ['no_5fstruct_5falloc',['no_struct_alloc',['../classSVF_1_1ExtAPI.html#a235ef40373e36583004eb6d289ce63f9',1,'SVF::ExtAPI']]],
-  ['node',['Node',['../classSVF_1_1List.html#a4eba65b40d347ea80e2427320eb9c5a1',1,'SVF::List::Node()'],['../classSVF_1_1SCCDetection.html#a6458c27c625add944fcb8a3ef7b536a6',1,'SVF::SCCDetection::Node()'],['../classSVF_1_1WPASolver.html#a5fd488d74e04aa9e66ca4eb42c6dbbf4',1,'SVF::WPASolver::Node()'],['../structDdGen.html#a7678908601787fa2d5ce4bccdd004ffb',1,'DdGen::node()'],['../classSVF_1_1NullPtrVFGNode.html#adef43dcc86e61145a7fdc6711b28239d',1,'SVF::NullPtrVFGNode::node()']]],
+  ['node',['node',['../structDdGen.html#a7678908601787fa2d5ce4bccdd004ffb',1,'DdGen::node()'],['../classSVF_1_1NullPtrVFGNode.html#adef43dcc86e61145a7fdc6711b28239d',1,'SVF::NullPtrVFGNode::node()'],['../classSVF_1_1List.html#a4eba65b40d347ea80e2427320eb9c5a1',1,'SVF::List::Node()'],['../classSVF_1_1SCCDetection.html#a6458c27c625add944fcb8a3ef7b536a6',1,'SVF::SCCDetection::Node()'],['../classSVF_1_1WPASolver.html#a5fd488d74e04aa9e66ca4eb42c6dbbf4',1,'SVF::WPASolver::Node()']]],
   ['node_5findex',['Node_Index',['../classSVF_1_1SCCDetection.html#a5fa111bb849052b8a753194cd0cd5e0c',1,'SVF::SCCDetection::Node_Index()'],['../classSVF_1_1WPASolver.html#a01450e1475679d093413e6496c198fc0',1,'SVF::WPASolver::Node_Index()']]],
   ['node_5fiterator',['node_iterator',['../classSVF_1_1CFLSolver.html#a586cfb2dd110d1853e70e534e0f66624',1,'SVF::CFLSolver::node_iterator()'],['../classSVF_1_1SCCDetection.html#abaf75ef45e8f5349b902dab063999ad8',1,'SVF::SCCDetection::node_iterator()']]],
   ['nodeallocstrat',['NodeAllocStrat',['../classSVF_1_1Options.html#a2537be131132830c63d408133619a065',1,'SVF::Options']]],
@@ -94,7 +94,7 @@ var searchData=
   ['numinit',['numInit',['../classSVF_1_1TypeBasedHeapCloning.html#a4c658be1ade99ad1e848cd80332e38ce',1,'SVF::TypeBasedHeapCloning']]],
   ['numnodes',['numNodes',['../classSVF_1_1NodeIDAllocator.html#a8e76e0da58f0a5bdbd8118ac419cfa62',1,'SVF::NodeIDAllocator']]],
   ['numnontrivialregionobjects',['NumNonTrivialRegionObjects',['../classSVF_1_1NodeIDAllocator_1_1Clusterer.html#a1bf9461c717e8dabaee6a57f3d76d61f',1,'SVF::NodeIDAllocator::Clusterer']]],
-  ['numobjects',['numObjects',['../classSVF_1_1NodeIDAllocator.html#a190c729a3f3f622f82cee4917946b50f',1,'SVF::NodeIDAllocator::numObjects()'],['../classSVF_1_1NodeIDAllocator_1_1Clusterer.html#afa74c5ccd22bebe0b76db33066d8b498',1,'SVF::NodeIDAllocator::Clusterer::NumObjects()']]],
+  ['numobjects',['NumObjects',['../classSVF_1_1NodeIDAllocator_1_1Clusterer.html#afa74c5ccd22bebe0b76db33066d8b498',1,'SVF::NodeIDAllocator::Clusterer::NumObjects()'],['../classSVF_1_1NodeIDAllocator.html#a190c729a3f3f622f82cee4917946b50f',1,'SVF::NodeIDAllocator::numObjects()']]],
   ['numofactualin',['numOfActualIn',['../classSVF_1_1SVFGStat.html#a5365744d2ec3594e2255d274f7256569',1,'SVF::SVFGStat']]],
   ['numofactualout',['numOfActualOut',['../classSVF_1_1SVFGStat.html#a122555f5c4b9746cc2b7f38c7cd6b505',1,'SVF::SVFGStat']]],
   ['numofactualparam',['numOfActualParam',['../classSVF_1_1SVFGStat.html#a0494c59483520b57acdca95952c93d76',1,'SVF::SVFGStat']]],
@@ -193,7 +193,7 @@ var searchData=
   ['numofretnodes',['numOfRetNodes',['../classSVF_1_1ICFGStat.html#ac9bfce40c058ed7ab178fe1f1818e9de',1,'SVF::ICFGStat']]],
   ['numofreturns',['NumOfReturns',['../classSVF_1_1PTAStat.html#a0a552611fcd20e1310290bdae404a514',1,'SVF::PTAStat']]],
   ['numofscc',['numOfSCC',['../classSVF_1_1FlowSensitive.html#ab6c2494ca36cefb5409c5c20befb326f',1,'SVF::FlowSensitive']]],
-  ['numofsccdetection',['NumOfSCCDetection',['../classSVF_1_1PTAStat.html#ad1731b88c24bb79728f62cd3e9c55699',1,'SVF::PTAStat::NumOfSCCDetection()'],['../classSVF_1_1AndersenBase.html#a6da6e1231a46fde6925493045b8b2490',1,'SVF::AndersenBase::numOfSCCDetection()']]],
+  ['numofsccdetection',['numOfSCCDetection',['../classSVF_1_1AndersenBase.html#a6da6e1231a46fde6925493045b8b2490',1,'SVF::AndersenBase::numOfSCCDetection()'],['../classSVF_1_1PTAStat.html#ad1731b88c24bb79728f62cd3e9c55699',1,'SVF::PTAStat::NumOfSCCDetection()']]],
   ['numofsfr',['NumOfSfr',['../classSVF_1_1PTAStat.html#a07a1db62ddba50bda787b2985ef8d135',1,'SVF::PTAStat']]],
   ['numofsfrs',['numOfSfrs',['../classSVF_1_1AndersenBase.html#aa31bc83cdeaa30dd0975976e29a5be12',1,'SVF::AndersenBase']]],
   ['numofstackobjs',['NumOfStackObjs',['../classSVF_1_1PTAStat.html#ae05503909688a17dc1f282d1d029d24e',1,'SVF::PTAStat']]],

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

@@ -47,7 +47,7 @@ var searchData=
   ['operator_5b_5d',['operator[]',['../classSVF_1_1ContextCond.html#a62cc1c7c01d454e9cbebd3f7f5f3aa1f',1,'SVF::ContextCond']]],
   ['operator_7c',['operator|',['../namespaceSVF.html#aa01b96d5bc6c3930b0bfca789acf75c4',1,'SVF']]],
   ['operator_7c_3d',['operator|=',['../classSVF_1_1CondStdSet.html#a90e4c4ead1cbdca01c0be801a68b005b',1,'SVF::CondStdSet::operator|=()'],['../classSVF_1_1CondPointsToSet.html#a74c50cfaf788a828a4fc97eba703ec4e',1,'SVF::CondPointsToSet::operator|=()'],['../classSVF_1_1PointsTo.html#aa8644057ec182382e3c34e90d7d61ade',1,'SVF::PointsTo::operator|=(const PointsTo &rhs)'],['../classSVF_1_1PointsTo.html#a687b34cac3c43dd957b86a4833a24871',1,'SVF::PointsTo::operator|=(const NodeBS &rhs)'],['../classSVF_1_1CoreBitVector.html#af8e63360242a49fb63c3ef3d7071503d',1,'SVF::CoreBitVector::operator|=()']]],
-  ['opincomingbbs',['OPIncomingBBs',['../classSVF_1_1IntraPHIVFGNode.html#a66928f6cc755bd2a048804d00f859a80',1,'SVF::IntraPHIVFGNode::OPIncomingBBs()'],['../classSVF_1_1IntraPHIVFGNode.html#a73f39a488ad82300010abd18afe247a4',1,'SVF::IntraPHIVFGNode::opIncomingBBs()']]],
+  ['opincomingbbs',['opIncomingBBs',['../classSVF_1_1IntraPHIVFGNode.html#a73f39a488ad82300010abd18afe247a4',1,'SVF::IntraPHIVFGNode::opIncomingBBs()'],['../classSVF_1_1IntraPHIVFGNode.html#a66928f6cc755bd2a048804d00f859a80',1,'SVF::IntraPHIVFGNode::OPIncomingBBs()']]],
   ['opit',['OpIt',['../classllvm_1_1generic__bridge__gep__type__iterator.html#aa3fd4dca27e09df9ee726879624ae47e',1,'llvm::generic_bridge_gep_type_iterator']]],
   ['oppts',['opPts',['../classSVF_1_1PersistentPointsToCache.html#ac7865b3ea1d76d2c522b465cc8e86639',1,'SVF::PersistentPointsToCache']]],
   ['options',['Options',['../classSVF_1_1Options.html',1,'SVF::Options'],['../classSVF_1_1Options.html#a08c25694f8f9e31eb8b116ad58c1c078',1,'SVF::Options::Options()']]],
@@ -59,7 +59,7 @@ var searchData=
   ['opver',['opVer',['../classSVF_1_1MSSACHI.html#a86f2f3f6e2215cdbe31caee048510757',1,'SVF::MSSACHI']]],
   ['opverbegin',['opVerBegin',['../classSVF_1_1MSSAPHISVFGNode.html#ace39549f7e300cb4a0ac7b8506a8632a',1,'SVF::MSSAPHISVFGNode::opVerBegin()'],['../classSVF_1_1IntraMSSAPHISVFGNode.html#aff4e88ef6569d3c4f29b532d610cd2b9',1,'SVF::IntraMSSAPHISVFGNode::opVerBegin()'],['../classSVF_1_1CmpVFGNode.html#a78fb624f0ca9ff16e6a8e5fd1c384904',1,'SVF::CmpVFGNode::opVerBegin()'],['../classSVF_1_1BinaryOPVFGNode.html#adaff45c46c4cc8158bd3147d304deab5',1,'SVF::BinaryOPVFGNode::opVerBegin()'],['../classSVF_1_1UnaryOPVFGNode.html#ab63ddaa05181f2c60ca7a001001a908d',1,'SVF::UnaryOPVFGNode::opVerBegin()'],['../classSVF_1_1PHIVFGNode.html#a2e00f6d582aa4ac9aa116cc6d5c79369',1,'SVF::PHIVFGNode::opVerBegin()'],['../classSVF_1_1MSSAPHI.html#a940f9afa26bf54c7175276ea27003c2f',1,'SVF::MSSAPHI::opVerBegin()']]],
   ['opverend',['opVerEnd',['../classSVF_1_1MSSAPHISVFGNode.html#a33ec42a011781bbb63dce6dbe5f88bdf',1,'SVF::MSSAPHISVFGNode::opVerEnd()'],['../classSVF_1_1IntraMSSAPHISVFGNode.html#a5e78faceb497b0f3cb6f8f1a9fc4f799',1,'SVF::IntraMSSAPHISVFGNode::opVerEnd()'],['../classSVF_1_1CmpVFGNode.html#ae5ba94ffae500168f0e5c1b1ce78af9c',1,'SVF::CmpVFGNode::opVerEnd()'],['../classSVF_1_1BinaryOPVFGNode.html#aed5a32d1a145df7007ba7d934e4c2bd4',1,'SVF::BinaryOPVFGNode::opVerEnd()'],['../classSVF_1_1UnaryOPVFGNode.html#af31a06d33f41bdcff625ac23e269708c',1,'SVF::UnaryOPVFGNode::opVerEnd()'],['../classSVF_1_1PHIVFGNode.html#add18c60773871744123d12a037e78e20',1,'SVF::PHIVFGNode::opVerEnd()'],['../classSVF_1_1MultiOpndStmt.html#ad53097d07487d564e7d13f9d7d9ab10c',1,'SVF::MultiOpndStmt::opVerEnd()'],['../classSVF_1_1MSSAPHI.html#a2a49ad9d2eedf1dea98d725b13878d88',1,'SVF::MSSAPHI::opVerEnd()']]],
-  ['opvers',['opVers',['../classSVF_1_1MSSAPHISVFGNode.html#a9c327923ab939e06877441ebde5c1139',1,'SVF::MSSAPHISVFGNode::opVers()'],['../classSVF_1_1CmpVFGNode.html#aae30d80fd848d62467476d21c691573c',1,'SVF::CmpVFGNode::opVers()'],['../classSVF_1_1BinaryOPVFGNode.html#ae803603f567cc28f5a7e1b66fb324cbc',1,'SVF::BinaryOPVFGNode::opVers()'],['../classSVF_1_1UnaryOPVFGNode.html#ae6fdb5759a0dfeb0635ffd758b752dc1',1,'SVF::UnaryOPVFGNode::opVers()'],['../classSVF_1_1PHIVFGNode.html#a08ccd55d0fb6ce33f69959349008daca',1,'SVF::PHIVFGNode::opVers()'],['../classSVF_1_1MSSAPHI.html#abdabd6dff67cd59622f18d48e8b34271',1,'SVF::MSSAPHI::opVers()'],['../classSVF_1_1MSSAPHISVFGNode.html#a300f37203eb84fc57e005c27ce0422fb',1,'SVF::MSSAPHISVFGNode::OPVers()'],['../classSVF_1_1CmpVFGNode.html#a0db4ada3c366c811962415454a859b22',1,'SVF::CmpVFGNode::OPVers()'],['../classSVF_1_1BinaryOPVFGNode.html#a880c8260e3acb3fbe431446f2c1f5990',1,'SVF::BinaryOPVFGNode::OPVers()'],['../classSVF_1_1UnaryOPVFGNode.html#af96b598342bbcbcd739e2603acfc5a41',1,'SVF::UnaryOPVFGNode::OPVers()'],['../classSVF_1_1PHIVFGNode.html#a44ba5254e5f4def007c99916cd58668c',1,'SVF::PHIVFGNode::OPVers()'],['../classSVF_1_1MSSAPHI.html#a622892bb1c3c151e646ae1a46838c3ba',1,'SVF::MSSAPHI::OPVers()']]],
+  ['opvers',['OPVers',['../classSVF_1_1MSSAPHISVFGNode.html#a300f37203eb84fc57e005c27ce0422fb',1,'SVF::MSSAPHISVFGNode::OPVers()'],['../classSVF_1_1CmpVFGNode.html#a0db4ada3c366c811962415454a859b22',1,'SVF::CmpVFGNode::OPVers()'],['../classSVF_1_1BinaryOPVFGNode.html#a880c8260e3acb3fbe431446f2c1f5990',1,'SVF::BinaryOPVFGNode::OPVers()'],['../classSVF_1_1UnaryOPVFGNode.html#af96b598342bbcbcd739e2603acfc5a41',1,'SVF::UnaryOPVFGNode::OPVers()'],['../classSVF_1_1PHIVFGNode.html#a44ba5254e5f4def007c99916cd58668c',1,'SVF::PHIVFGNode::OPVers()'],['../classSVF_1_1MSSAPHI.html#a622892bb1c3c151e646ae1a46838c3ba',1,'SVF::MSSAPHI::OPVers()'],['../classSVF_1_1MSSAPHISVFGNode.html#a9c327923ab939e06877441ebde5c1139',1,'SVF::MSSAPHISVFGNode::opVers()'],['../classSVF_1_1CmpVFGNode.html#aae30d80fd848d62467476d21c691573c',1,'SVF::CmpVFGNode::opVers()'],['../classSVF_1_1BinaryOPVFGNode.html#ae803603f567cc28f5a7e1b66fb324cbc',1,'SVF::BinaryOPVFGNode::opVers()'],['../classSVF_1_1UnaryOPVFGNode.html#ae6fdb5759a0dfeb0635ffd758b752dc1',1,'SVF::UnaryOPVFGNode::opVers()'],['../classSVF_1_1PHIVFGNode.html#a08ccd55d0fb6ce33f69959349008daca',1,'SVF::PHIVFGNode::opVers()'],['../classSVF_1_1MSSAPHI.html#abdabd6dff67cd59622f18d48e8b34271',1,'SVF::MSSAPHI::opVers()']]],
   ['or',['OR',['../classSVF_1_1BranchCondManager.html#a7f3fa5e90c08950099ff6f05e96ecb9c',1,'SVF::BranchCondManager::OR()'],['../classSVF_1_1CondManager.html#a83824b36d6cd073a171df9919aa0c704',1,'SVF::CondManager::OR()']]],
   ['orderedmap',['OrderedMap',['../namespaceSVF.html#aedf0d6718ca176e0b9e17ab4b30729c6',1,'SVF']]],
   ['orderednodeset',['OrderedNodeSet',['../namespaceSVF.html#a3c2bd95727ec0d9c55c631b6617026c8',1,'SVF']]],
@@ -68,7 +68,7 @@ var searchData=
   ['originalsbvnumwords',['OriginalSbvNumWords',['../classSVF_1_1NodeIDAllocator_1_1Clusterer.html#a639b887e30115c2a6cd108c65f18fcc1',1,'SVF::NodeIDAllocator::Clusterer']]],
   ['originalsize',['originalSize',['../cuddInt_8c.html#afcdd597b50055b996a49d9e265965d01',1,'cuddInt.c']]],
   ['oscc',['OSCC',['../classSVF_1_1OfflineConsG.html#ab7ce6d127d85cedfdeb6501195b8818f',1,'SVF::OfflineConsG::OSCC()'],['../classSVF_1_1AndersenHCD.html#a33cb18543abbcd434861c5da7e588356',1,'SVF::AndersenHCD::OSCC()']]],
-  ['out',['OUT',['../classSVF_1_1FlowSensitiveStat.html#ab11996ab5606f51c977b9b1385c13d71ac018f116c78ed5e314b52e5d743f3fa5',1,'SVF::FlowSensitiveStat::OUT()'],['../structDdManager.html#af318bea3248f8e99d7889f028be4ec8f',1,'DdManager::out()']]],
+  ['out',['out',['../structDdManager.html#af318bea3248f8e99d7889f028be4ec8f',1,'DdManager::out()'],['../classSVF_1_1FlowSensitiveStat.html#ab11996ab5606f51c977b9b1385c13d71ac018f116c78ed5e314b52e5d743f3fa5',1,'SVF::FlowSensitiveStat::OUT()']]],
   ['outedgebegin',['OutEdgeBegin',['../classSVF_1_1GenericNode.html#aa4f103330118c8976bf95e4bf53416eb',1,'SVF::GenericNode::OutEdgeBegin()'],['../classSVF_1_1GenericNode.html#a50219c203fb5a8a44fe22428699f26e7',1,'SVF::GenericNode::OutEdgeBegin() const']]],
   ['outedgeend',['OutEdgeEnd',['../classSVF_1_1GenericNode.html#a19a3366fd8a58290d0c740c46c3dcb3d',1,'SVF::GenericNode::OutEdgeEnd()'],['../classSVF_1_1GenericNode.html#ace88b6c7561f61f747ff08f61e2c18bc',1,'SVF::GenericNode::OutEdgeEnd() const']]],
   ['outedgekindtosetmap',['OutEdgeKindToSetMap',['../classSVF_1_1SVFVar.html#a3775dd07e89ea6b25950a8b900a4ceab',1,'SVF::SVFVar']]],

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/enumvalues_e.js

@@ -6,5 +6,6 @@ var searchData=
   ['retindvf',['RetIndVF',['../classSVF_1_1VFGEdge.html#a156ae6a8b3a033f505c18c6b162e7cf5ac8124172b3f5f7fc94e895f6b192b668',1,'SVF::VFGEdge']]],
   ['retmssamu',['RetMSSAMU',['../classSVF_1_1MSSAMU.html#a82c66f3e2b7d2d9dd391a947719bda9ba255f3e3fc50f3a8d9a8bd5800b1b4594',1,'SVF::MSSAMU']]],
   ['retnode',['RetNode',['../classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffa5de2a8fce9a85f31818d58992b381b98',1,'SVF::SVFVar']]],
-  ['retsymbol',['RetSymbol',['../classSVF_1_1SymbolTableInfo.html#afd2cf6ef6d7f2a583c709a72067be89ba8ac9528bf8b81f7942c1cdc0bf63ec35',1,'SVF::SymbolTableInfo']]]
+  ['retsymbol',['RetSymbol',['../classSVF_1_1SymbolTableInfo.html#afd2cf6ef6d7f2a583c709a72067be89ba8ac9528bf8b81f7942c1cdc0bf63ec35',1,'SVF::SymbolTableInfo']]],
+  ['reverse_5fdense',['REVERSE_DENSE',['../classSVF_1_1NodeIDAllocator.html#a8cf553cd07768aad3f3b91bf3d7c6228ae21bc1064d05499c2dc6051d153df9e6',1,'SVF::NodeIDAllocator']]]
 ];