svf-tools 1.0.340 → 1.0.344

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']]],
@@ -241,14 +241,14 @@ var searchData=
   ['isconditional',['isConditional',['../classSVF_1_1BranchStmt.html#a71e7e95f095a937c900d049991312901',1,'SVF::BranchStmt']]],
   ['isconnectedfrommain',['isConnectedfromMain',['../classSVF_1_1MHP.html#a1cfec64cc65abcbc5ba32695850bfb48',1,'SVF::MHP']]],
   ['isconnectingtwocallsites',['isConnectingTwoCallSites',['../classSVF_1_1SVFGOPT.html#aa23c967a8fcadbaf47e93a5b3610c84d',1,'SVF::SVFGOPT']]],
-  ['isconstant',['isConstant',['../classSVF_1_1MemObj.html#a3f429b085f749ed0c8269517eb9094ae',1,'SVF::MemObj::isConstant()'],['../classSVF_1_1ObjTypeInfo.html#a8c0ae8e177452b88b3a4ec81bf77c378',1,'SVF::ObjTypeInfo::isConstant()']]],
-  ['isconstantdata',['isConstantData',['../classSVF_1_1SVFVar.html#ab51b134720986c39fce7f033a49df6f0',1,'SVF::SVFVar::isConstantData()'],['../namespaceSVF_1_1SVFUtil.html#a9e85d445e8b7b205134acd3874bba388',1,'SVF::SVFUtil::isConstantData()']]],
+  ['isconstantarray',['isConstantArray',['../classSVF_1_1MemObj.html#a7f828731597450f1d43b61413ab0e7bb',1,'SVF::MemObj::isConstantArray()'],['../classSVF_1_1ObjTypeInfo.html#ac1ee7a720959c0e97496870d6e759212',1,'SVF::ObjTypeInfo::isConstantArray()']]],
+  ['isconstantdata',['isConstantData',['../classSVF_1_1SVFVar.html#ab51b134720986c39fce7f033a49df6f0',1,'SVF::SVFVar::isConstantData()'],['../classSVF_1_1MemObj.html#aa50d7c3b4e7ac0aa769bc094bea26e16',1,'SVF::MemObj::isConstantData()'],['../classSVF_1_1ObjTypeInfo.html#a6f6c80f7d067a6082a9af04d2547cf34',1,'SVF::ObjTypeInfo::isConstantData()'],['../namespaceSVF_1_1SVFUtil.html#a9e85d445e8b7b205134acd3874bba388',1,'SVF::SVFUtil::isConstantData()']]],
   ['isconstantobj',['isConstantObj',['../classSVF_1_1SVFIR.html#a5d15e4b09784f438568ebe61f8aa5156',1,'SVF::SVFIR::isConstantObj()'],['../classSVF_1_1SymbolTableInfo.html#a704b917b1e1dbaf9cd758fa9acc1083b',1,'SVF::SymbolTableInfo::isConstantObj()']]],
   ['isconstantobjsym',['isConstantObjSym',['../classSVF_1_1SymbolTableInfo.html#a61bda1c1c52fb765d0027d8141d35c35',1,'SVF::SymbolTableInfo']]],
   ['isconstantoffset',['isConstantOffset',['../classSVF_1_1LocationSet.html#a4a9185282308c50f86fdf66f7060373d',1,'SVF::LocationSet']]],
-  ['isconstarray',['isConstArray',['../classSVF_1_1MemObj.html#ae30d2d8f6f621795a70ba046ca25af2d',1,'SVF::MemObj::isConstArray()'],['../classSVF_1_1ObjTypeInfo.html#ad90ea6a01cca9c370b7f17b408dcc5a7',1,'SVF::ObjTypeInfo::isConstArray()']]],
+  ['isconstantstruct',['isConstantStruct',['../classSVF_1_1MemObj.html#a019a77516c403f1f3cc72917b810a41f',1,'SVF::MemObj::isConstantStruct()'],['../classSVF_1_1ObjTypeInfo.html#a41f916ab4e3a2c163fca636eae948ce7',1,'SVF::ObjTypeInfo::isConstantStruct()']]],
+  ['isconstdataorconstglobal',['isConstDataOrConstGlobal',['../classSVF_1_1MemObj.html#a1a4ff4aaaf2573240a318e1b79328cd0',1,'SVF::MemObj::isConstDataOrConstGlobal()'],['../classSVF_1_1ObjTypeInfo.html#a8e6c60978df9828c1dcb54086e83edc1',1,'SVF::ObjTypeInfo::isConstDataOrConstGlobal()']]],
   ['isconstructor',['isConstructor',['../namespaceSVF_1_1cppUtil.html#ad6f9578cdce518141772a11617160da8',1,'SVF::cppUtil']]],
-  ['isconststruct',['isConstStruct',['../classSVF_1_1MemObj.html#a0f5283e512d6c749b33ba9cfc2d70d17',1,'SVF::MemObj::isConstStruct()'],['../classSVF_1_1ObjTypeInfo.html#a5d4afc5e1ba5cbcedf049467f75ef7c4',1,'SVF::ObjTypeInfo::isConstStruct()']]],
   ['iscppthunkfunction',['isCPPThunkFunction',['../namespaceSVF_1_1cppUtil.html#a917c4bd2d5fd1354b5069bf0a68533d9',1,'SVF::cppUtil']]],
   ['isdeadfunction',['isDeadFunction',['../namespaceSVF_1_1SVFUtil.html#a6d268e8d588717601345be3a911a7625',1,'SVF::SVFUtil']]],
   ['isdeallocextcall',['isDeallocExtCall',['../namespaceSVF_1_1SVFUtil.html#a1f52a7f183f1eec7c4db7e4e54fa5e2c',1,'SVF::SVFUtil::isDeallocExtCall(const CallSite cs)'],['../namespaceSVF_1_1SVFUtil.html#a9973c1326717326b26ec1ea21ebd8da5',1,'SVF::SVFUtil::isDeallocExtCall(const Instruction *inst)']]],
@@ -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

@@ -49,7 +49,7 @@ var searchData=
   ['loadinst',['LoadInst',['../namespaceSVF.html#a5a6e8ab900d5cd17ef72661006a7fbe0',1,'SVF']]],
   ['loadmodules',['loadModules',['../classSVF_1_1LLVMModuleSet.html#a298966366b02d0a34f409c2c77da3789',1,'SVF::LLVMModuleSet']]],
   ['loadmssamu',['LoadMSSAMU',['../classSVF_1_1MSSAMU.html#a82c66f3e2b7d2d9dd391a947719bda9baca29c59204ea9d2e228cba3e349aa019',1,'SVF::MSSAMU']]],
-  ['loadmu',['LoadMU',['../classSVF_1_1LoadMU.html',1,'SVF::LoadMU< Cond >'],['../classSVF_1_1LoadMU.html#aaf916feaa76c3eaf96dcff576ef366ca',1,'SVF::LoadMU::LoadMU()'],['../classSVF_1_1SVFG.html#a86d4a41a881a3d2e5def103d7ba8bb2f',1,'SVF::SVFG::LOADMU()'],['../classSVF_1_1MemSSA.html#a4717016109fd3bc80f3095d11afff5b1',1,'SVF::MemSSA::LOADMU()']]],
+  ['loadmu',['LoadMU',['../classSVF_1_1LoadMU.html',1,'SVF::LoadMU< Cond >'],['../classSVF_1_1SVFG.html#a86d4a41a881a3d2e5def103d7ba8bb2f',1,'SVF::SVFG::LOADMU()'],['../classSVF_1_1MemSSA.html#a4717016109fd3bc80f3095d11afff5b1',1,'SVF::MemSSA::LOADMU()'],['../classSVF_1_1LoadMU.html#aaf916feaa76c3eaf96dcff576ef366ca',1,'SVF::LoadMU::LoadMU()']]],
   ['loadoutedges',['loadOutEdges',['../classSVF_1_1ConstraintNode.html#a85a6acbd708be0dfc63ea87050a4a934',1,'SVF::ConstraintNode']]],
   ['loadset',['LoadSet',['../classSVF_1_1MTA.html#a80356495b6c45bac59dc15fd7a99730b',1,'SVF::MTA::LoadSet()'],['../classSVF_1_1MTAAnnotator.html#a469851829bf1105fe8faac44b4abbfdd',1,'SVF::MTAAnnotator::loadset()']]],
   ['loadsrcnodes',['loadSrcNodes',['../classSVF_1_1AliasDDAClient.html#a246448efd1ff5da683a6ffe9f759e282',1,'SVF::AliasDDAClient']]],

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']]],
@@ -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_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',['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_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()']]],

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

@@ -62,7 +62,7 @@ var searchData=
   ['nodetonodemap',['NodeToNodeMap',['../classSVF_1_1SVFIR.html#a654236d64abc2ca95982da7b4408b52d',1,'SVF::SVFIR::NodeToNodeMap()'],['../classSVF_1_1SCCDetection.html#a7e9a12e188a93ea8e571bac4e49e2a6b',1,'SVF::SCCDetection::NodeToNodeMap()'],['../classSVF_1_1AndersenSCD.html#a88ab40d553f49e173f9c53b32575ccda',1,'SVF::AndersenSCD::NodeToNodeMap()']]],
   ['nodetoptssmap',['NodeToPTSSMap',['../classSVF_1_1MRGenerator.html#ab075a7c7fbc60f678b3fee8bbc06194d',1,'SVF::MRGenerator::NodeToPTSSMap()'],['../classSVF_1_1SaberSVFGBuilder.html#a4cb1f607e33d106dfa178e822c5ab7e1',1,'SVF::SaberSVFGBuilder::NodeToPTSSMap()']]],
   ['nodetorefmap',['nodeToRefMap',['../classSVF_1_1OfflineConsG.html#aebeb8a44fcfbb677a738fa04c8e9c5e1',1,'SVF::OfflineConsG']]],
-  ['nodetorepmap',['nodeToRepMap',['../classSVF_1_1ConstraintGraph.html#ab1b5ee9202bd9f5d738f9850b42a45d2',1,'SVF::ConstraintGraph::nodeToRepMap()'],['../classSVF_1_1ConstraintGraph.html#afe34ca6bdbb22b188799a4297fd19004',1,'SVF::ConstraintGraph::NodeToRepMap()']]],
+  ['nodetorepmap',['NodeToRepMap',['../classSVF_1_1ConstraintGraph.html#afe34ca6bdbb22b188799a4297fd19004',1,'SVF::ConstraintGraph::NodeToRepMap()'],['../classSVF_1_1ConstraintGraph.html#ab1b5ee9202bd9f5d738f9850b42a45d2',1,'SVF::ConstraintGraph::nodeToRepMap()']]],
   ['nodetosubsmap',['NodeToSubsMap',['../classSVF_1_1ConstraintGraph.html#ac7d24753491a9bab39a13b32bb65f139',1,'SVF::ConstraintGraph::NodeToSubsMap()'],['../classSVF_1_1Steensgaard.html#a45d49eef110e3bc15509a2020be38453',1,'SVF::Steensgaard::NodeToSubsMap()'],['../classSVF_1_1ConstraintGraph.html#af91f1027cd5de591ae40865f691c5f60',1,'SVF::ConstraintGraph::nodeToSubsMap()'],['../classSVF_1_1Steensgaard.html#aca87fc74b6acb096a7165f105b14854b',1,'SVF::Steensgaard::nodeToSubsMap()']]],
   ['nodetype',['NodeType',['../classSVF_1_1GenericEdge.html#aff95460d4b859e657a9198b7c5e5c736',1,'SVF::GenericEdge::NodeType()'],['../classSVF_1_1GenericNode.html#ad63e862eb1d1369bd69318fe698e4a22',1,'SVF::GenericNode::NodeType()'],['../classSVF_1_1GenericGraph.html#a86c50fc6775fd29f88df2cb4646bb211',1,'SVF::GenericGraph::NodeType()'],['../structllvm_1_1GraphTraits_3_01SVF_1_1GenericNode_3_01NodeTy_00_01EdgeTy_01_4_01_5_01_4.html#aec39caaa600f638af5e5fa57ae0b6706',1,'llvm::GraphTraits< SVF::GenericNode< NodeTy, EdgeTy > * >::NodeType()'],['../structllvm_1_1GraphTraits_3_01Inverse_3_01SVF_1_1GenericNode_3_01NodeTy_00_01EdgeTy_01_4_01_5_4_01_4.html#ab7627f7ad0d6ea6dbe89132031ef732c',1,'llvm::GraphTraits< Inverse< SVF::GenericNode< NodeTy, EdgeTy > *> >::NodeType()'],['../structllvm_1_1GraphTraits_3_01SVF_1_1GenericGraph_3_01NodeTy_00_01EdgeTy_01_4_01_5_4.html#af8a1cf62dc7ed9d8da15e6e92e3a433c',1,'llvm::GraphTraits< SVF::GenericGraph< NodeTy, EdgeTy > *>::NodeType()'],['../structllvm_1_1DOTGraphTraits_3_01CHGraph_01_5_01_4.html#a73928161c8b1427e8150ca68ec48160e',1,'llvm::DOTGraphTraits< CHGraph * >::NodeType()'],['../structllvm_1_1DOTGraphTraits_3_01ConstraintGraph_01_5_01_4.html#ac3889bd563cdc21a55df0524df2ae4da',1,'llvm::DOTGraphTraits< ConstraintGraph * >::NodeType()'],['../structllvm_1_1DOTGraphTraits_3_01ICFG_01_5_01_4.html#a7ef3894da60c3e3350b8d2de3e94a562',1,'llvm::DOTGraphTraits< ICFG * >::NodeType()'],['../structllvm_1_1DOTGraphTraits_3_01IRGraph_01_5_01_4.html#ad6174f74f7a037a7ffd13df41c5f50f7',1,'llvm::DOTGraphTraits< IRGraph * >::NodeType()'],['../structllvm_1_1DOTGraphTraits_3_01OfflineConsG_01_5_01_4.html#a4de1b76db4f60446aa2db97535fff54f',1,'llvm::DOTGraphTraits< OfflineConsG * >::NodeType()'],['../structllvm_1_1DOTGraphTraits_3_01PTACallGraph_01_5_01_4.html#ad08b2b59081251fcf467fa992c83986c',1,'llvm::DOTGraphTraits< PTACallGraph * >::NodeType()'],['../structllvm_1_1DOTGraphTraits_3_01SVFG_01_5_01_4.html#a07ad41a658bfc0a404a5f6abc823040b',1,'llvm::DOTGraphTraits< SVFG * >::NodeType()'],['../structllvm_1_1DOTGraphTraits_3_01VFG_01_5_01_4.html#afd7d2c80916a68b53814e6de593bf520',1,'llvm::DOTGraphTraits< VFG * >::NodeType()'],['../structllvm_1_1DOTGraphTraits_3_01TCT_01_5_01_4.html#a86caa5eb1467eea028ea13aac175f949',1,'llvm::DOTGraphTraits< TCT * >::NodeType()']]],
   ['nodevector',['NodeVector',['../namespaceSVF.html#a39d27055a14d9d6363c668ee215a4676',1,'SVF']]],

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

@@ -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#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()']]],
+  ['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()']]],
   ['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',['../structDdManager.html#af318bea3248f8e99d7889f028be4ec8f',1,'DdManager::out()'],['../classSVF_1_1FlowSensitiveStat.html#ab11996ab5606f51c977b9b1385c13d71ac018f116c78ed5e314b52e5d743f3fa5',1,'SVF::FlowSensitiveStat::OUT()']]],
+  ['out',['OUT',['../classSVF_1_1FlowSensitiveStat.html#ab11996ab5606f51c977b9b1385c13d71ac018f116c78ed5e314b52e5d743f3fa5',1,'SVF::FlowSensitiveStat::OUT()'],['../structDdManager.html#af318bea3248f8e99d7889f028be4ec8f',1,'DdManager::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_2.js

@@ -20,7 +20,8 @@ var searchData=
   ['condimpl',['CondImpl',['../classSVF_1_1PointerAnalysis.html#ac0c0855918cb2cdc3d8ebc175acfbd4da88380bb05f60a1349e192364ba6c5292',1,'SVF::PointerAnalysis']]],
   ['conservative',['Conservative',['../classSVF_1_1WPAPass.html#a4505a1882956feda3cf83c788149394da498ba80d25733b291f391a94500dd4c7',1,'SVF::WPAPass']]],
   ['const_5farray_5fobj',['CONST_ARRAY_OBJ',['../classSVF_1_1ObjTypeInfo.html#a91b41b7ade5871362b77a2ef566b2830aff4142c0c411dea07b484a19af514047',1,'SVF::ObjTypeInfo']]],
-  ['const_5fobj',['CONST_OBJ',['../classSVF_1_1ObjTypeInfo.html#a91b41b7ade5871362b77a2ef566b2830af11159d515b7cf1146b5342f64ee2da1',1,'SVF::ObjTypeInfo']]],
+  ['const_5fdata',['CONST_DATA',['../classSVF_1_1ObjTypeInfo.html#a91b41b7ade5871362b77a2ef566b2830a5e5bc3a1838476fbd80c52720c9d103e',1,'SVF::ObjTypeInfo']]],
+  ['const_5fglobal_5fobj',['CONST_GLOBAL_OBJ',['../classSVF_1_1ObjTypeInfo.html#a91b41b7ade5871362b77a2ef566b2830a84c1bc6eaff950330a102afca1efc04c',1,'SVF::ObjTypeInfo']]],
   ['const_5fstruct_5fobj',['CONST_STRUCT_OBJ',['../classSVF_1_1ObjTypeInfo.html#a91b41b7ade5871362b77a2ef566b2830a6443b9fadd2d34e00832b2215a120ebd',1,'SVF::ObjTypeInfo']]],
   ['constantobj',['ConstantObj',['../classSVF_1_1SymbolTableInfo.html#afd2cf6ef6d7f2a583c709a72067be89baa3ecb7c51e2cba67d1f9a5284c2f215f',1,'SVF::SymbolTableInfo']]],
   ['constructor',['CONSTRUCTOR',['../classSVF_1_1CHGraph.html#a2a1da7f262a2f11653fb583154a93a22a331376f6d22d2346039db7a9c9a311c2',1,'SVF::CHGraph']]],