svf-tools 1.0.779 → 1.0.780

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

@@ -1,150 +1,150 @@
 var searchData=
 [
-  ['handleaddr_9068',['handleAddr',['../classSVF_1_1ContextDDA.html#a26031c81d3eba5b3ff3ebd51d89510ae',1,'SVF::ContextDDA::handleAddr()'],['../classSVF_1_1DDAVFSolver.html#acfe7d961caac8f0f558881a9a006b1fa',1,'SVF::DDAVFSolver::handleAddr()'],['../classSVF_1_1FlowDDA.html#a1b8d66dbe8c6587e74d70f5d231eb69d',1,'SVF::FlowDDA::handleAddr()']]],
-  ['handlebkcondition_9069',['handleBKCondition',['../classSVF_1_1ContextDDA.html#aa8a7b6e99b92abfa5c2404515b703a2d',1,'SVF::ContextDDA::handleBKCondition()'],['../classSVF_1_1DDAVFSolver.html#a601282325e55badc15f3ba9141816af5',1,'SVF::DDAVFSolver::handleBKCondition()'],['../classSVF_1_1FlowDDA.html#addb412dc03c7684889693ce263585867',1,'SVF::FlowDDA::handleBKCondition()']]],
-  ['handleblackhole_9070',['handleBlackHole',['../classSVF_1_1SVFIR.html#a2375f49c77f2285a6316e7540b051a0f',1,'SVF::SVFIR']]],
-  ['handlecall_9071',['handleCall',['../classSVF_1_1LockAnalysis.html#a97b186f9417144557bb17c41d515a9f4',1,'SVF::LockAnalysis::handleCall()'],['../classSVF_1_1MHP.html#af769afe6ba6baccda5a497df181c9fb0',1,'SVF::MHP::handleCall()'],['../classSVF_1_1ForkJoinAnalysis.html#ab636777379aca0b53a06e4888d4b4c6b',1,'SVF::ForkJoinAnalysis::handleCall()']]],
-  ['handlecallrelation_9072',['handleCallRelation',['../classSVF_1_1LockAnalysis.html#ab99ef73905f35d4c20ca408586fc8680',1,'SVF::LockAnalysis::handleCallRelation()'],['../classSVF_1_1TCT.html#aac0c4c3f1c7cb1d89ebd2a3da2d49bd3',1,'SVF::TCT::handleCallRelation()']]],
-  ['handlecallsitemodref_9073',['handleCallsiteModRef',['../classSVF_1_1MRGenerator.html#acbf0be131b1fc5d0366157d300d1aa68',1,'SVF::MRGenerator']]],
-  ['handlece_9074',['handleCE',['../classSVF_1_1SymbolTableBuilder.html#abe39a7a3557899b4991bcc60d436dc50',1,'SVF::SymbolTableBuilder']]],
-  ['handlecopygep_9075',['handleCopyGep',['../classSVF_1_1Andersen.html#ab069683dd6ca563113efbde2813ab35e',1,'SVF::Andersen::handleCopyGep()'],['../classSVF_1_1AndersenSCD.html#aa0a496376f7bea2c417ef83c51d19a61',1,'SVF::AndersenSCD::handleCopyGep()']]],
-  ['handledibasictype_9076',['handleDIBasicType',['../classSVF_1_1DCHGraph.html#a86bf48776ccf53092f4cb742cf95f8eb',1,'SVF::DCHGraph']]],
-  ['handledicompositetype_9077',['handleDICompositeType',['../classSVF_1_1DCHGraph.html#a3ce75cbe92a1fa7d34c6fca2d2ca1b0f',1,'SVF::DCHGraph']]],
-  ['handlediderivedtype_9078',['handleDIDerivedType',['../classSVF_1_1DCHGraph.html#a1a4162e68b22d53e9dca73c6780ed3e5',1,'SVF::DCHGraph']]],
-  ['handledirectcall_9079',['handleDirectCall',['../classSVF_1_1SVFIRBuilder.html#a3ccc53ca9a6862674ee2ec3bd67aa515',1,'SVF::SVFIRBuilder']]],
-  ['handledisubroutinetype_9080',['handleDISubroutineType',['../classSVF_1_1DCHGraph.html#a671f379ae54eef247b5e013478eb3f0c',1,'SVF::DCHGraph']]],
-  ['handleextcall_9081',['handleExtCall',['../classSVF_1_1SVFIRBuilder.html#a8b664a9d689562bd857f056e6e08c59b',1,'SVF::SVFIRBuilder']]],
-  ['handlefork_9082',['handleFork',['../classSVF_1_1LockAnalysis.html#a52e79d50288bfa2d146072be53ed058b',1,'SVF::LockAnalysis::handleFork()'],['../classSVF_1_1MHP.html#a8a95f8ae419b66310ce6f572caea2ca5',1,'SVF::MHP::handleFork()'],['../classSVF_1_1ForkJoinAnalysis.html#adddbc09b7b99170cd0941f22ccc7e561',1,'SVF::ForkJoinAnalysis::handleFork()']]],
-  ['handleglobalce_9083',['handleGlobalCE',['../classSVF_1_1SymbolTableBuilder.html#a72732ec0392d9d5b900fc12177890779',1,'SVF::SymbolTableBuilder']]],
-  ['handleglobalinitializerce_9084',['handleGlobalInitializerCE',['../classSVF_1_1SymbolTableBuilder.html#a1efd9406182eb86b1ee4829c931b566d',1,'SVF::SymbolTableBuilder']]],
-  ['handleindcall_9085',['handleIndCall',['../classSVF_1_1SVFIRBuilder.html#a5ae68d4465feb54fcb8fd0cf20b7a71a',1,'SVF::SVFIRBuilder']]],
-  ['handleintervalueflow_9086',['handleInterValueFlow',['../classSVF_1_1SVFGOPT.html#a4c698184cc23730fb44904d4048958da',1,'SVF::SVFGOPT']]],
-  ['handleintra_9087',['handleIntra',['../classSVF_1_1LockAnalysis.html#a711760ebaed0437176f4f9d314e9929c',1,'SVF::LockAnalysis::handleIntra()'],['../classSVF_1_1MHP.html#af4d6f0884ce18ea5caf0dfd9799d1aae',1,'SVF::MHP::handleIntra()'],['../classSVF_1_1ForkJoinAnalysis.html#add09218cce8d8bd8dd9e73b2d26a5797',1,'SVF::ForkJoinAnalysis::handleIntra()']]],
-  ['handleintravalueflow_9088',['handleIntraValueFlow',['../classSVF_1_1SVFGOPT.html#a21429d8c3fba209d9cdc22e3623c5573',1,'SVF::SVFGOPT']]],
-  ['handlejoin_9089',['handleJoin',['../classSVF_1_1MHP.html#a3a535274cd3349a05eeccf3c9231396a',1,'SVF::MHP::handleJoin()'],['../classSVF_1_1ForkJoinAnalysis.html#ae4d0ee03b30220793d24f814e75a440e',1,'SVF::ForkJoinAnalysis::handleJoin()']]],
-  ['handleload_9090',['handleLoad',['../classSVF_1_1AndersenWaveDiff.html#a7f2af504c4fb96e64371a8533c0525fe',1,'SVF::AndersenWaveDiff']]],
-  ['handleloadstore_9091',['handleLoadStore',['../classSVF_1_1Andersen.html#a0f32ba8cb1109c257552fa775a007ffd',1,'SVF::Andersen::handleLoadStore()'],['../classSVF_1_1AndersenSCD.html#a7ae683eb8c607a0e742b44e3019b8cbc',1,'SVF::AndersenSCD::handleLoadStore()']]],
-  ['handlenoncandidatefun_9092',['handleNonCandidateFun',['../classSVF_1_1MHP.html#a2c1e4fac7b810021939ed26307d37816',1,'SVF::MHP']]],
-  ['handleoutofbudgetdpm_9093',['handleOutOfBudgetDpm',['../classSVF_1_1ContextDDA.html#a1b9bfe46777c8a57781452a05635fb02',1,'SVF::ContextDDA::handleOutOfBudgetDpm()'],['../classSVF_1_1DDAVFSolver.html#a9005f1f0e4a808838276ff44b300f96d',1,'SVF::DDAVFSolver::handleOutOfBudgetDpm()'],['../classSVF_1_1FlowDDA.html#a8930c3b8f3b58dca8da6017310bb74ae',1,'SVF::FlowDDA::handleOutOfBudgetDpm()']]],
-  ['handleret_9094',['handleRet',['../classSVF_1_1LockAnalysis.html#acc3d402c68b9c22ab6d576b38c994fc6',1,'SVF::LockAnalysis::handleRet()'],['../classSVF_1_1MHP.html#a76ac9d388529f090ab6dad5829dd0753',1,'SVF::MHP::handleRet()'],['../classSVF_1_1ForkJoinAnalysis.html#a30e5ef1322216857513047d23b525829',1,'SVF::ForkJoinAnalysis::handleRet()']]],
-  ['handlesinglestatement_9095',['handleSingleStatement',['../classSVF_1_1DDAVFSolver.html#a99f631cf1bc438e3f08f7f935e98e38d',1,'SVF::DDAVFSolver']]],
-  ['handlestatement_9096',['handleStatement',['../classSVF_1_1DDAClient.html#aec3de00152e828beb5037269430f387d',1,'SVF::DDAClient']]],
-  ['handlestore_9097',['handleStore',['../classSVF_1_1AndersenWaveDiff.html#a775a74d57842b85301daeafe64c8a5c4',1,'SVF::AndersenWaveDiff']]],
-  ['handlestoreload_9098',['handleStoreLoad',['../classSVF_1_1MTASVFGBuilder.html#a24921d1b1d79d7ef0b358be8d7a9e2c4',1,'SVF::MTASVFGBuilder']]],
-  ['handlestoreloadnonsparse_9099',['handleStoreLoadNonSparse',['../classSVF_1_1MTASVFGBuilder.html#a82b52f8e70f51353cbd7476a509ff523',1,'SVF::MTASVFGBuilder']]],
-  ['handlestoreloadwithlockprecisely_9100',['handleStoreLoadWithLockPrecisely',['../classSVF_1_1MTASVFGBuilder.html#aa861922932233ab547b63c87551b8fd3',1,'SVF::MTASVFGBuilder']]],
-  ['handlestorestore_9101',['handleStoreStore',['../classSVF_1_1MTASVFGBuilder.html#a29a14309cfa1d7c4454fb1237704e487',1,'SVF::MTASVFGBuilder']]],
-  ['handlestorestorenonsparse_9102',['handleStoreStoreNonSparse',['../classSVF_1_1MTASVFGBuilder.html#a91ff57e51b0650963b4b5541fa0f7056',1,'SVF::MTASVFGBuilder']]],
-  ['handlestorestorewithlockprecisely_9103',['handleStoreStoreWithLockPrecisely',['../classSVF_1_1MTASVFGBuilder.html#a1802d8ed854bef817afa748d2bbcea05',1,'SVF::MTASVFGBuilder']]],
-  ['handlethunkfunction_9104',['handleThunkFunction',['../CppUtil_8cpp.html#a264d15523be2c695d9cee8d49ae87ebe',1,'CppUtil.cpp']]],
-  ['handletypedef_9105',['handleTypedef',['../classSVF_1_1DCHGraph.html#a6d97a772afe16c1483e65eea81f82603',1,'SVF::DCHGraph']]],
-  ['hareparforedge_9106',['HareParForEdge',['../classSVF_1_1HareParForEdge.html#a097ccd687d7ca511a4a453dd56b7c665',1,'SVF::HareParForEdge']]],
-  ['has_5fbottom_9107',['has_bottom',['../classSVF_1_1IntervalExeState.html#a6a8c6bbff583ccd71453af5de884df89',1,'SVF::IntervalExeState']]],
-  ['has_5fstatic_9108',['has_static',['../classSVF_1_1ExtAPI.html#a9ba485eb5c452f8fb273c625126bad96',1,'SVF::ExtAPI']]],
-  ['hasactualinsvfgnodes_9109',['hasActualINSVFGNodes',['../classSVF_1_1SVFG.html#a21577bc4b4e55b23aa55083f5321b399',1,'SVF::SVFG']]],
-  ['hasactualoutsvfgnodes_9110',['hasActualOUTSVFGNodes',['../classSVF_1_1SVFG.html#ab1fde654cc464c5b4d1bafff83d346ed',1,'SVF::SVFG']]],
-  ['hasaddresstaken_9111',['hasAddressTaken',['../classSVF_1_1SVFFunction.html#a731b978178937e74c80d2882c429dc9e',1,'SVF::SVFFunction']]],
-  ['hasallcxtinlockspan_9112',['hasAllCxtInLockSpan',['../classSVF_1_1LockAnalysis.html#a3e2c8531a56c14c645d21289716515ad',1,'SVF::LockAnalysis']]],
-  ['hasbasicblock_9113',['hasBasicBlock',['../classSVF_1_1SVFFunction.html#a9a7f1f56b6cfc33e7fa241286a07fd63',1,'SVF::SVFFunction']]],
-  ['hasblackholeconstobjaddrasdef_9114',['hasBlackHoleConstObjAddrAsDef',['../classSVF_1_1VFG.html#a88f6468b9b43bbb06ef757d884580a50',1,'SVF::VFG']]],
-  ['hascallgraphedge_9115',['hasCallGraphEdge',['../classSVF_1_1PTACallGraph.html#af8df9ca6d906453fa3f7168aa84fd087',1,'SVF::PTACallGraph']]],
-  ['hascallsiteargsmap_9116',['hasCallSiteArgsMap',['../classSVF_1_1SVFIR.html#a95f77211550ec2374d57779d88cf5138',1,'SVF::SVFIR']]],
-  ['hascallsitechi_9117',['hasCallSiteChi',['../classSVF_1_1SVFG.html#ad9cc1581261182b56ae232d9a9b13296',1,'SVF::SVFG']]],
-  ['hascallsiteid_9118',['hasCallSiteID',['../classSVF_1_1PTACallGraph.html#aa8dbda3e46533680173e55d396f36756',1,'SVF::PTACallGraph']]],
-  ['hascallsitemu_9119',['hasCallSiteMu',['../classSVF_1_1SVFG.html#a842f6f2325c9e93ea96367e9cf624ee8',1,'SVF::SVFG']]],
-  ['hascdgedge_9120',['hasCDGEdge',['../classSVF_1_1CDG.html#a3cb3a5f88b8c38e53e314d7806e5efb6',1,'SVF::CDG']]],
-  ['hascdgnode_9121',['hasCDGNode',['../classSVF_1_1CDG.html#a965a30b1323fa9c9013760d410516e0e',1,'SVF::CDG']]],
-  ['hascfbasicblockedge_9122',['hasCFBasicBlockEdge',['../classSVF_1_1CFBasicBlockGraph.html#a154d9dae860b441b1653e0afb90f1da3',1,'SVF::CFBasicBlockGraph']]],
-  ['haschi_9123',['hasCHI',['../classSVF_1_1MemSSA.html#abfb338ce36ad46a9654d50dd6e2b07f1',1,'SVF::MemSSA::hasCHI(const PAGEdge *inst) const'],['../classSVF_1_1MemSSA.html#ae16120dfc9436861f719e605617f353d',1,'SVF::MemSSA::hasCHI(const CallICFGNode *cs) const']]],
-  ['hasconstantgep_9124',['hasConstantGEP',['../BreakConstantExpr_8cpp.html#a81381bb19688464256bd09ef22e965e4',1,'BreakConstantExpr.cpp']]],
-  ['hasconstraintnode_9125',['hasConstraintNode',['../classSVF_1_1ConstraintGraph.html#aad6c37476edfd9ae92dc8c0d004d782d',1,'SVF::ConstraintGraph']]],
-  ['hascptslist_9126',['hasCPtsList',['../classSVF_1_1MRGenerator.html#a1cb94c8a0379eb30c99f0c3cb2bfebaf',1,'SVF::MRGenerator']]],
-  ['hascxtlock_9127',['hasCxtLock',['../classSVF_1_1LockAnalysis.html#a6c918786d065309e8a7b13759f410a09',1,'SVF::LockAnalysis']]],
-  ['hascxtlockfromcxtstmt_9128',['hasCxtLockfromCxtStmt',['../classSVF_1_1LockAnalysis.html#a395df7174e06cad1971e6a81587ca043',1,'SVF::LockAnalysis']]],
-  ['hascxtstmtfrominst_9129',['hasCxtStmtfromInst',['../classSVF_1_1LockAnalysis.html#a550498f59e23d4b2fb3e0227f7135c23',1,'SVF::LockAnalysis']]],
-  ['hasdeclaration_9130',['hasDeclaration',['../classSVF_1_1LLVMModuleSet.html#a74a7961552498d1a99e1da70b7f78620',1,'SVF::LLVMModuleSet']]],
-  ['hasdef_9131',['hasDef',['../classSVF_1_1SVFG.html#a926c79813d5cfbd16201832024b95190',1,'SVF::SVFG::hasDef()'],['../classSVF_1_1VFG.html#ab5b63b4f6317bfb5875f2b977bcf26a4',1,'SVF::VFG::hasDef()']]],
-  ['hasdefinition_9132',['hasDefinition',['../classSVF_1_1LLVMModuleSet.html#a32558da64f03452c502ec57d1e106427',1,'SVF::LLVMModuleSet']]],
-  ['hasdefsvfgnode_9133',['hasDefSVFGNode',['../classSVF_1_1SVFG.html#ad2d19c5b80b01c8a7bb41100bb156279',1,'SVF::SVFG']]],
-  ['hasdfinset_9134',['hasDFInSet',['../classSVF_1_1DFPTData.html#ac1b87463b419dfa658f090d795ccd34c',1,'SVF::DFPTData::hasDFInSet(LocID loc) const =0'],['../classSVF_1_1DFPTData.html#abafe504c07e305d9aac15493c68918ab',1,'SVF::DFPTData::hasDFInSet(LocID loc, const Key &var) const =0'],['../classSVF_1_1MutableDFPTData.html#a9a9641305c9d670e09f02b71a3e384a9',1,'SVF::MutableDFPTData::hasDFInSet(LocID loc) const override'],['../classSVF_1_1MutableDFPTData.html#aa8b85dee2b70031a2f97e1a36c9b25de',1,'SVF::MutableDFPTData::hasDFInSet(LocID loc, const Key &var) const override'],['../classSVF_1_1PersistentDFPTData.html#a17e68e28860278b425b9a2d99082e715',1,'SVF::PersistentDFPTData::hasDFInSet(LocID loc) const override'],['../classSVF_1_1PersistentDFPTData.html#ad5ca81c46b57ba0203732f10423ad6ae',1,'SVF::PersistentDFPTData::hasDFInSet(LocID loc, const Key &var) const override']]],
-  ['hasdfoutset_9135',['hasDFOutSet',['../classSVF_1_1DFPTData.html#a31592c6086318f889749f55e80310e03',1,'SVF::DFPTData::hasDFOutSet(LocID loc) const =0'],['../classSVF_1_1DFPTData.html#a1c108dbe8148efc3cccd33d5ae1e88b4',1,'SVF::DFPTData::hasDFOutSet(LocID loc, const Key &var) const =0'],['../classSVF_1_1MutableDFPTData.html#ac6d487a4af529ecb30366be54b29260a',1,'SVF::MutableDFPTData::hasDFOutSet(LocID loc) const override'],['../classSVF_1_1MutableDFPTData.html#af6d234ae2b0aa91b510f3a2fba877340',1,'SVF::MutableDFPTData::hasDFOutSet(LocID loc, const Key &var) const override'],['../classSVF_1_1PersistentDFPTData.html#af8e866e13c7ba87a33b0da0a769d4372',1,'SVF::PersistentDFPTData::hasDFOutSet(LocID loc) const override'],['../classSVF_1_1PersistentDFPTData.html#a4e0a1656047e6a1e53a1377d23d251bd',1,'SVF::PersistentDFPTData::hasDFOutSet(LocID loc, const Key &var) const override']]],
-  ['hasdrcheckflag_9136',['hasDRCheckFlag',['../classSVF_1_1Annotator.html#a6e958c20d7809545b026eb5246444711',1,'SVF::Annotator::hasDRCheckFlag(Instruction *inst) const'],['../classSVF_1_1Annotator.html#abc2d4a40ac8a0d70428b5066266f861c',1,'SVF::Annotator::hasDRCheckFlag(const Instruction *inst) const']]],
-  ['hasdrnotcheckflag_9137',['hasDRNotCheckFlag',['../classSVF_1_1Annotator.html#ad78f6de28e5474614f16707e1c599f48',1,'SVF::Annotator::hasDRNotCheckFlag(Instruction *inst) const'],['../classSVF_1_1Annotator.html#a11d7bfcb525e4fb74e3031dd9a2635fe',1,'SVF::Annotator::hasDRNotCheckFlag(const Instruction *inst) const']]],
-  ['hasedge_9138',['hasEdge',['../classSVF_1_1DCHGraph.html#a74b2e5787f65cf3e3b4a03ebec806b91',1,'SVF::DCHGraph::hasEdge()'],['../classSVF_1_1POCRSolver.html#a4a688b3d2bc6d9fd9ad0414e715ad4f4',1,'SVF::POCRSolver::hasEdge()'],['../classSVF_1_1CFLGraph.html#aca4c22dd10f65bcde5dadb7688544b50',1,'SVF::CFLGraph::hasEdge()'],['../classSVF_1_1ConstraintGraph.html#a5f57823a4918f6c6bfee9c18beddda51',1,'SVF::ConstraintGraph::hasEdge()'],['../CHG_8cpp.html#a4c6cbac96543cd55e4df050a33512ac5',1,'hasEdge(): CHG.cpp']]],
-  ['hasedgedestlabels_9139',['hasEdgeDestLabels',['../structSVF_1_1DefaultDOTGraphTraits.html#a87d7b47985a849c7c4ff1c328a59c623',1,'SVF::DefaultDOTGraphTraits']]],
-  ['hasextfuncannotation_9140',['hasExtFuncAnnotation',['../classSVF_1_1ExtAPI.html#a1d7778db3b31f732f06129b49ec6dacd',1,'SVF::ExtAPI']]],
-  ['hasflag_9141',['hasFlag',['../classSVF_1_1DCHNode.html#a743bc5df582114c45d1907d62a42a39c',1,'SVF::DCHNode::hasFlag()'],['../classSVF_1_1CHNode.html#aebcbd36a7efc0dbe9b3c3f680ef033e7',1,'SVF::CHNode::hasFlag()'],['../classSVF_1_1ObjTypeInfo.html#a8e630eb30d05f665b998c6f9326d65cb',1,'SVF::ObjTypeInfo::hasFlag()']]],
-  ['hasformalinsvfgnodes_9142',['hasFormalINSVFGNodes',['../classSVF_1_1SVFG.html#a65f28035e0fa5bebf76d28612b2f8ba8',1,'SVF::SVFG']]],
-  ['hasformaloutsvfgnodes_9143',['hasFormalOUTSVFGNodes',['../classSVF_1_1SVFG.html#a1f8c60ad57bf473e0186b794d666b5c2',1,'SVF::SVFG']]],
-  ['hasfunargslist_9144',['hasFunArgsList',['../classSVF_1_1SVFIR.html#ac359813747b4f75920c5f395ba74f410',1,'SVF::SVFIR']]],
-  ['hasfuncentrychi_9145',['hasFuncEntryChi',['../classSVF_1_1SVFG.html#a23ca21b90feca5e7d00c9ba9f489374a',1,'SVF::SVFG::hasFuncEntryChi()'],['../classSVF_1_1MemSSA.html#aec75259d035e3b5589e6fcbbcdfe4b2c',1,'SVF::MemSSA::hasFuncEntryChi()']]],
-  ['hasfuncretmu_9146',['hasFuncRetMu',['../classSVF_1_1SVFG.html#a32378226c18a0b1e22271a2338a635f6',1,'SVF::SVFG']]],
-  ['hasglobalrep_9147',['hasGlobalRep',['../classSVF_1_1LLVMModuleSet.html#a0e5ab0def54815f67ed7495d028dab1b',1,'SVF::LLVMModuleSet']]],
-  ['hasgnode_9148',['hasGNode',['../classSVF_1_1GenericGraph.html#a6885064afa211958af7b73f0233284e5',1,'SVF::GenericGraph']]],
-  ['hasgraphedge_9149',['hasGraphEdge',['../classSVF_1_1PTACallGraph.html#a6d29a39440d8f6290e2e8b7322b965fb',1,'SVF::PTACallGraph::hasGraphEdge()'],['../classSVF_1_1TCT.html#adb2025048dc69f0689f526c58df29802',1,'SVF::TCT::hasGraphEdge()']]],
-  ['hash_9150',['hash',['../classSVF_1_1ConsExeState.html#a374e087ef40804ed00a631ed22e91590',1,'SVF::ConsExeState::hash()'],['../classSVF_1_1ExeState.html#a2e63af0f29d04484c09cca217b799986',1,'SVF::ExeState::hash()'],['../classSVF_1_1IntervalExeState.html#a85b0e711160d67ea84f426025b980dce',1,'SVF::IntervalExeState::hash()'],['../classSVF_1_1RelExeState.html#a021da964784427cfb9f4353e2678ce73',1,'SVF::RelExeState::hash()'],['../classSVF_1_1PointsTo.html#a32b52339998976ec5bdd9f2cc7ed9e3f',1,'SVF::PointsTo::hash()'],['../classSVF_1_1CoreBitVector.html#af979ecb48d3d5296bce5bd0b4676e359',1,'SVF::CoreBitVector::hash()'],['../classSVF_1_1Z3Expr.html#a631cb7cee0e1f9b7204b9293f4e516a9',1,'SVF::Z3Expr::hash()']]],
-  ['hasicfgedgewrapper_9151',['hasICFGEdgeWrapper',['../classSVF_1_1ICFGWrapper.html#a16402dd1135a149c28bcfc9860b73357',1,'SVF::ICFGWrapper::hasICFGEdgeWrapper(ICFGNodeWrapper *src, ICFGNodeWrapper *dst, ICFGEdge *icfgEdge)'],['../classSVF_1_1ICFGWrapper.html#a4152357fcc3e0cd7e6e63e5c0eae4815',1,'SVF::ICFGWrapper::hasICFGEdgeWrapper(ICFGNodeWrapper *src, ICFGNodeWrapper *dst)']]],
-  ['hasicfgnode_9152',['hasICFGNode',['../classSVF_1_1ICFG.html#a16c2ed1f9e28c84669b14dc48fb3c01a',1,'SVF::ICFG']]],
-  ['hasicfgnodewrapper_9153',['hasICFGNodeWrapper',['../classSVF_1_1ICFGWrapper.html#ab582fdf8a332db97c3414e013c11181c',1,'SVF::ICFGWrapper']]],
-  ['hasincomingedge_9154',['hasIncomingEdge',['../classSVF_1_1GenericNode.html#a06a7373b11143e709784de784fa476fe',1,'SVF::GenericNode::hasIncomingEdge() const'],['../classSVF_1_1GenericNode.html#add6b6b3bd45a9460335c5db9eda821b8',1,'SVF::GenericNode::hasIncomingEdge(EdgeType *edge) const'],['../classSVF_1_1ICFGNodeWrapper.html#acdd899bad767f9351961b64ad0af6ccb',1,'SVF::ICFGNodeWrapper::hasIncomingEdge() const'],['../classSVF_1_1ICFGNodeWrapper.html#acc284154eddbfe57146e9fab1ad8007f',1,'SVF::ICFGNodeWrapper::hasIncomingEdge(ICFGEdgeWrapper *edge) const']]],
-  ['hasincomingedges_9155',['hasIncomingEdges',['../classSVF_1_1SVFVar.html#a747b2c92c81d32fcd357e80d2d8fe7cc',1,'SVF::SVFVar']]],
-  ['hasincomingvariantgepedge_9156',['hasIncomingVariantGepEdge',['../classSVF_1_1SVFVar.html#a71e4fd7a1271a17e971ed90044e6da24',1,'SVF::SVFVar']]],
-  ['hasind_5fh_9157',['hasInd_h',['../classSVF_1_1POCRHybridSolver.html#a92f7dab147eab44ee5e4bdf02708c9a0',1,'SVF::POCRHybridSolver']]],
-  ['hasindcscallees_9158',['hasIndCSCallees',['../classSVF_1_1PTACallGraph.html#a71a63c53a093ea8e450fb53fd60c9424',1,'SVF::PTACallGraph::hasIndCSCallees()'],['../classSVF_1_1PointerAnalysis.html#abdacd060691add054839aa183babe095',1,'SVF::PointerAnalysis::hasIndCSCallees()']]],
-  ['hasintericfgedge_9159',['hasInterICFGEdge',['../classSVF_1_1ICFG.html#a86535e50d1feba706b19491d905baef1',1,'SVF::ICFG']]],
-  ['hasinterleavingthreads_9160',['hasInterleavingThreads',['../classSVF_1_1MHP.html#a3ba43bb0be55ffade3d70f8cbb95f88f',1,'SVF::MHP']]],
-  ['hasintersect_9161',['hasIntersect',['../classSVF_1_1AddressValue.html#a269a73753a7b495eb08bb0c9c0a58dc0',1,'SVF::AddressValue']]],
-  ['hasintervfgedge_9162',['hasInterVFGEdge',['../classSVF_1_1VFG.html#ad86631f70bd702b5635bdbeab7d884b9',1,'SVF::VFG']]],
-  ['hasintraicfgedge_9163',['hasIntraICFGEdge',['../classSVF_1_1ICFG.html#aa662baae5682ef6ec5084fa4147c9709',1,'SVF::ICFG']]],
-  ['hasintravfgedge_9164',['hasIntraVFGEdge',['../classSVF_1_1VFG.html#ac34c4529229404617c346f81cc6c141f',1,'SVF::VFG']]],
-  ['hasjoininsymmetricloop_9165',['hasJoinInSymmetricLoop',['../classSVF_1_1MHP.html#a7585f40b80c5488828576eb2f035ac61',1,'SVF::MHP::hasJoinInSymmetricLoop()'],['../classSVF_1_1ForkJoinAnalysis.html#ab69d11caf499612d108155e13adb300f',1,'SVF::ForkJoinAnalysis::hasJoinInSymmetricLoop()']]],
-  ['hasjoinloop_9166',['hasJoinLoop',['../classSVF_1_1ForkJoinAnalysis.html#a197ab02e8320affc4ba2c67fae5bf020',1,'SVF::ForkJoinAnalysis::hasJoinLoop()'],['../classSVF_1_1TCT.html#a59125bb4878bc347dbdbc74aa6ec4cdf',1,'SVF::TCT::hasJoinLoop()']]],
-  ['haslabelededge_9167',['hasLabeledEdge',['../classSVF_1_1IRGraph.html#a192e584440eb141e0d35d8fed671bbe0',1,'SVF::IRGraph::hasLabeledEdge(SVFVar *src, SVFVar *dst, SVFStmt::PEDGEK kind, const ICFGNode *cs)'],['../classSVF_1_1IRGraph.html#a1c999e2fd771e4fda192af096e3ec92c',1,'SVF::IRGraph::hasLabeledEdge(SVFVar *src, SVFVar *op1, SVFStmt::PEDGEK kind, const SVFVar *op2)']]],
-  ['hasloop_9168',['hasLoop',['../classSVF_1_1TCT.html#a79e221b4bc173c089aba46101b20a512',1,'SVF::TCT::hasLoop(const SVFBasicBlock *bb) const'],['../classSVF_1_1TCT.html#a103d85882e753fe90893a4f0e78dda26',1,'SVF::TCT::hasLoop(const SVFInstruction *inst) const']]],
-  ['hasloopinfo_9169',['hasLoopInfo',['../classSVF_1_1SVFLoopAndDomInfo.html#abe37f8896e2491a7a60be3fbfde8123c',1,'SVF::SVFLoopAndDomInfo::hasLoopInfo()'],['../classSVF_1_1SVFFunction.html#aee05370109d7667c40ca34c454c66714',1,'SVF::SVFFunction::hasLoopInfo()']]],
-  ['hasmodmrset_9170',['hasModMRSet',['../classSVF_1_1MRGenerator.html#a7d66a341805af7ec4e4893e5a7e0bc2d',1,'SVF::MRGenerator']]],
-  ['hasmodsideeffectofcallsite_9171',['hasModSideEffectOfCallSite',['../classSVF_1_1MRGenerator.html#a187d82895b2e1156c6dd5ae28795944f',1,'SVF::MRGenerator']]],
-  ['hasmu_9172',['hasMU',['../classSVF_1_1MemSSA.html#af5e356e82c3f93b65bd89908e0f465dc',1,'SVF::MemSSA::hasMU(const PAGEdge *inst) const'],['../classSVF_1_1MemSSA.html#a6bd9390c6cd2a3d7a3752fba76acfb46',1,'SVF::MemSSA::hasMU(const CallICFGNode *cs) const']]],
-  ['hasnode_9173',['hasNode',['../classSVF_1_1DCHGraph.html#a58341e23c1dc2b3e7fce190ed16a8a25',1,'SVF::DCHGraph']]],
-  ['hasnodestobecollapsed_9174',['hasNodesToBeCollapsed',['../classSVF_1_1ConstraintGraph.html#aa867ffe0f3639a0ef5b5c36696e733be',1,'SVF::ConstraintGraph']]],
-  ['hasnonlabelededge_9175',['hasNonlabeledEdge',['../classSVF_1_1IRGraph.html#abe0ab797a3da420e4d2f9136d64fb407',1,'SVF::IRGraph']]],
-  ['hasonecxtinlockspan_9176',['hasOneCxtInLockSpan',['../classSVF_1_1LockAnalysis.html#a7d2072c3c0ae571077a2aa2c3586451d',1,'SVF::LockAnalysis']]],
-  ['hasoutgoingedge_9177',['hasOutgoingEdge',['../classSVF_1_1GenericNode.html#a0931220d7a38e03f206cbdc6465d32ad',1,'SVF::GenericNode::hasOutgoingEdge() const'],['../classSVF_1_1GenericNode.html#aa0c40cb708b39300b3cb7354194e4993',1,'SVF::GenericNode::hasOutgoingEdge(EdgeType *edge) const'],['../classSVF_1_1ICFGNodeWrapper.html#a20563be4cb08f71d598ca906fae1cc87',1,'SVF::ICFGNodeWrapper::hasOutgoingEdge() const'],['../classSVF_1_1ICFGNodeWrapper.html#a8257838748dae3fe2f6e1c329213ce06',1,'SVF::ICFGNodeWrapper::hasOutgoingEdge(ICFGEdgeWrapper *edge) const']]],
-  ['hasoutgoingedges_9178',['hasOutgoingEdges',['../classSVF_1_1SVFVar.html#a9b00f9b5f8ad2422162f4396e2d8fa42',1,'SVF::SVFVar']]],
-  ['hasparentthread_9179',['hasParentThread',['../classSVF_1_1TCT.html#a6855a3a8a98591e58dba07047f7705ce',1,'SVF::TCT']]],
-  ['hasphiset_9180',['hasPHISet',['../classSVF_1_1MemSSA.html#a41bc86b7dc4d400d83c1f19ede4936ed',1,'SVF::MemSSA']]],
-  ['haspointsto_9181',['hasPointsTo',['../classSVF_1_1CondPointsToSet.html#ab1d20dfe6f243f7a09a8e2face097cc0',1,'SVF::CondPointsToSet']]],
-  ['hasprodsfromfirstrhs_9182',['hasProdsFromFirstRHS',['../classSVF_1_1CFGrammar.html#a6a0563acf39967169d6c267387539134',1,'SVF::CFGrammar']]],
-  ['hasprodsfromsecondrhs_9183',['hasProdsFromSecondRHS',['../classSVF_1_1CFGrammar.html#a6d1db255d2b526fa7fdfaa7b2146f0cd',1,'SVF::CFGrammar']]],
-  ['hasprodsfromsinglerhs_9184',['hasProdsFromSingleRHS',['../classSVF_1_1CFGrammar.html#aefdae80251eaaf9be580d26a5dd268a8',1,'SVF::CFGrammar']]],
-  ['hasptasvfstmtlist_9185',['hasPTASVFStmtList',['../classSVF_1_1SVFIR.html#a0552d565633ee22abe03085134a871c0',1,'SVF::SVFIR']]],
-  ['hasptrobj_9186',['hasPtrObj',['../classSVF_1_1MemObj.html#a6dae1b3429c6049f0153ec006d329082',1,'SVF::MemObj::hasPtrObj()'],['../classSVF_1_1ObjTypeInfo.html#ac5bae1e7917f415193a805e8d2e29320',1,'SVF::ObjTypeInfo::hasPtrObj()']]],
-  ['hasptsmap_9187',['hasPtsMap',['../classSVF_1_1CondPTAImpl.html#a597e9c4e76f358c36d4b820c4d69ebc6',1,'SVF::CondPTAImpl']]],
-  ['hasrefmrset_9188',['hasRefMRSet',['../classSVF_1_1MRGenerator.html#af06e8ac43efdedb97a2008cd93fc32d6',1,'SVF::MRGenerator']]],
-  ['hasrefsideeffectofcallsite_9189',['hasRefSideEffectOfCallSite',['../classSVF_1_1MRGenerator.html#a9718c9e8efc1e6f32441aa5f418711dd',1,'SVF::MRGenerator']]],
-  ['hasreturnmu_9190',['hasReturnMu',['../classSVF_1_1MemSSA.html#a3400d9a921672b3872656acecc3eac9f',1,'SVF::MemSSA']]],
-  ['hassbsinkflag_9191',['hasSBSinkFlag',['../classSVF_1_1Annotator.html#acbb2e202ab3fb864e70eac6b41c3899e',1,'SVF::Annotator']]],
-  ['hassbsourceflag_9192',['hasSBSourceFlag',['../classSVF_1_1Annotator.html#a3fb284999931900d92e60104980648ef',1,'SVF::Annotator']]],
-  ['hasspanfromcxtlock_9193',['hasSpanfromCxtLock',['../classSVF_1_1LockAnalysis.html#af8ada4a73bf132e1adeef7aa0522f596',1,'SVF::LockAnalysis']]],
-  ['hassvfgnode_9194',['hasSVFGNode',['../classSVF_1_1SVFG.html#a1b9d1ad76785ae0eb07979aa75325640',1,'SVF::SVFG']]],
-  ['hassvfstmtlist_9195',['hasSVFStmtList',['../classSVF_1_1MRGenerator.html#abcb903f5d5f323f319fc58f9df697f63',1,'SVF::MRGenerator::hasSVFStmtList()'],['../classSVF_1_1SVFIR.html#a63acb4d86d93ad1e88860ac839a8c654',1,'SVF::SVFIR::hasSVFStmtList()']]],
-  ['hassvftypeinfo_9196',['hasSVFTypeInfo',['../classSVF_1_1SymbolTableInfo.html#af678e138df136d6f3cd53826dfa4486c',1,'SVF::SymbolTableInfo']]],
-  ['hastctnode_9197',['hasTCTNode',['../classSVF_1_1TCT.html#a5d5a753b4d2633e3aaf58859274ffe7a',1,'SVF::TCT']]],
-  ['hasthreadforkedge_9198',['hasThreadForkEdge',['../classSVF_1_1ThreadCallGraph.html#a933a6a2f0a0c6364e8df1bc65a07192f',1,'SVF::ThreadCallGraph']]],
-  ['hasthreadicfgedge_9199',['hasThreadICFGEdge',['../classSVF_1_1ICFG.html#a29fb70d6638765ce291c5a8a11fbea64',1,'SVF::ICFG']]],
-  ['hasthreadjoinedge_9200',['hasThreadJoinEdge',['../classSVF_1_1ThreadCallGraph.html#a5f7c92af1a4ce33e4746f5b65c9c8421',1,'SVF::ThreadCallGraph::hasThreadJoinEdge(const CallICFGNode *cs) const'],['../classSVF_1_1ThreadCallGraph.html#a98214e970762f43d0e9ad719961b4021',1,'SVF::ThreadCallGraph::hasThreadJoinEdge(const CallICFGNode *call, PTACallGraphNode *joinFunNode, PTACallGraphNode *threadRoutineFunNode, CallSiteID csId) const']]],
-  ['hasthreadstmtset_9201',['hasThreadStmtSet',['../classSVF_1_1MHP.html#a27d031e9c7c4706d7ee1750668e83b99',1,'SVF::MHP']]],
-  ['hasthreadvfgedge_9202',['hasThreadVFGEdge',['../classSVF_1_1VFG.html#aead3b463d9aa2fae5845d97896bd18ba',1,'SVF::VFG']]],
-  ['hasvalidationtarget_9203',['hasValidationTarget',['../classSVF_1_1RaceResultValidator.html#a749793355ab8390a1e6577d7b05efddf',1,'SVF::RaceResultValidator::hasValidationTarget() const'],['../classSVF_1_1RaceResultValidator.html#a749793355ab8390a1e6577d7b05efddf',1,'SVF::RaceResultValidator::hasValidationTarget() const']]],
-  ['hasvalsym_9204',['hasValSym',['../classSVF_1_1SymbolTableInfo.html#af5e91f2ace726b1f05b045681d2bd117',1,'SVF::SymbolTableInfo']]],
-  ['hasvalue_9205',['hasValue',['../classSVF_1_1SVFVar.html#a1ace69053c2c4436fd78d5624bd0086a',1,'SVF::SVFVar']]],
-  ['hasvaluenode_9206',['hasValueNode',['../classSVF_1_1IRGraph.html#a401ec65771a3d2dcc8eb60574aadd354',1,'SVF::IRGraph']]],
-  ['hasvfgnode_9207',['hasVFGNode',['../classSVF_1_1VFG.html#a30eb9d717ad5bc8a9109a7bdef38f4a1',1,'SVF::VFG']]],
-  ['hasvfgnodes_9208',['hasVFGNodes',['../classSVF_1_1VFG.html#a76af43e28630eb56a1aa5971f516d43d',1,'SVF::VFG']]],
-  ['hclust_5ffast_9209',['hclust_fast',['../fastcluster_8h.html#acccd226cbdf0944b5c9e24c84a4599c9',1,'hclust_fast(int n, double *distmat, int method, int *merge, double *height): fastcluster.cpp'],['../fastcluster_8cpp.html#acccd226cbdf0944b5c9e24c84a4599c9',1,'hclust_fast(int n, double *distmat, int method, int *merge, double *height): fastcluster.cpp']]],
-  ['hclustmethodtostring_9210',['hclustMethodToString',['../namespaceSVF_1_1SVFUtil.html#a14a4c5124f2fd03ca3d898e2acd54160',1,'SVF::SVFUtil']]],
-  ['head_9211',['head',['../classSVF_1_1CFBasicBlockGWTOCycle.html#aba6a1249015322f073e05fcf089da801',1,'SVF::CFBasicBlockGWTOCycle']]],
-  ['headbegin_9212',['headBegin',['../classSVF_1_1CFBasicBlockGWTO.html#ac2fdb330a81c28cae01858952d237c7e',1,'SVF::CFBasicBlockGWTO']]],
-  ['headend_9213',['headEnd',['../classSVF_1_1CFBasicBlockGWTO.html#a822077820c188463603f8968c4535a60',1,'SVF::CFBasicBlockGWTO']]],
-  ['heapallocatorviaindcall_9214',['heapAllocatorViaIndCall',['../classSVF_1_1CFLAlias.html#a40841c2b47cf690af5c13ba7662d0863',1,'SVF::CFLAlias::heapAllocatorViaIndCall()'],['../classSVF_1_1Andersen.html#a7b1b9e9b25b5643440aca77e23a8de07',1,'SVF::Andersen::heapAllocatorViaIndCall()'],['../classSVF_1_1Steensgaard.html#a3524c3a9c166065d30bd8582d17d7534',1,'SVF::Steensgaard::heapAllocatorViaIndCall()']]]
+  ['handleaddr_9067',['handleAddr',['../classSVF_1_1ContextDDA.html#a26031c81d3eba5b3ff3ebd51d89510ae',1,'SVF::ContextDDA::handleAddr()'],['../classSVF_1_1DDAVFSolver.html#acfe7d961caac8f0f558881a9a006b1fa',1,'SVF::DDAVFSolver::handleAddr()'],['../classSVF_1_1FlowDDA.html#a1b8d66dbe8c6587e74d70f5d231eb69d',1,'SVF::FlowDDA::handleAddr()']]],
+  ['handlebkcondition_9068',['handleBKCondition',['../classSVF_1_1ContextDDA.html#aa8a7b6e99b92abfa5c2404515b703a2d',1,'SVF::ContextDDA::handleBKCondition()'],['../classSVF_1_1DDAVFSolver.html#a601282325e55badc15f3ba9141816af5',1,'SVF::DDAVFSolver::handleBKCondition()'],['../classSVF_1_1FlowDDA.html#addb412dc03c7684889693ce263585867',1,'SVF::FlowDDA::handleBKCondition()']]],
+  ['handleblackhole_9069',['handleBlackHole',['../classSVF_1_1SVFIR.html#a2375f49c77f2285a6316e7540b051a0f',1,'SVF::SVFIR']]],
+  ['handlecall_9070',['handleCall',['../classSVF_1_1LockAnalysis.html#a97b186f9417144557bb17c41d515a9f4',1,'SVF::LockAnalysis::handleCall()'],['../classSVF_1_1MHP.html#af769afe6ba6baccda5a497df181c9fb0',1,'SVF::MHP::handleCall()'],['../classSVF_1_1ForkJoinAnalysis.html#ab636777379aca0b53a06e4888d4b4c6b',1,'SVF::ForkJoinAnalysis::handleCall()']]],
+  ['handlecallrelation_9071',['handleCallRelation',['../classSVF_1_1LockAnalysis.html#ab99ef73905f35d4c20ca408586fc8680',1,'SVF::LockAnalysis::handleCallRelation()'],['../classSVF_1_1TCT.html#aac0c4c3f1c7cb1d89ebd2a3da2d49bd3',1,'SVF::TCT::handleCallRelation()']]],
+  ['handlecallsitemodref_9072',['handleCallsiteModRef',['../classSVF_1_1MRGenerator.html#acbf0be131b1fc5d0366157d300d1aa68',1,'SVF::MRGenerator']]],
+  ['handlece_9073',['handleCE',['../classSVF_1_1SymbolTableBuilder.html#abe39a7a3557899b4991bcc60d436dc50',1,'SVF::SymbolTableBuilder']]],
+  ['handlecopygep_9074',['handleCopyGep',['../classSVF_1_1Andersen.html#ab069683dd6ca563113efbde2813ab35e',1,'SVF::Andersen::handleCopyGep()'],['../classSVF_1_1AndersenSCD.html#aa0a496376f7bea2c417ef83c51d19a61',1,'SVF::AndersenSCD::handleCopyGep()']]],
+  ['handledibasictype_9075',['handleDIBasicType',['../classSVF_1_1DCHGraph.html#a86bf48776ccf53092f4cb742cf95f8eb',1,'SVF::DCHGraph']]],
+  ['handledicompositetype_9076',['handleDICompositeType',['../classSVF_1_1DCHGraph.html#a3ce75cbe92a1fa7d34c6fca2d2ca1b0f',1,'SVF::DCHGraph']]],
+  ['handlediderivedtype_9077',['handleDIDerivedType',['../classSVF_1_1DCHGraph.html#a1a4162e68b22d53e9dca73c6780ed3e5',1,'SVF::DCHGraph']]],
+  ['handledirectcall_9078',['handleDirectCall',['../classSVF_1_1SVFIRBuilder.html#a3ccc53ca9a6862674ee2ec3bd67aa515',1,'SVF::SVFIRBuilder']]],
+  ['handledisubroutinetype_9079',['handleDISubroutineType',['../classSVF_1_1DCHGraph.html#a671f379ae54eef247b5e013478eb3f0c',1,'SVF::DCHGraph']]],
+  ['handleextcall_9080',['handleExtCall',['../classSVF_1_1SVFIRBuilder.html#a8b664a9d689562bd857f056e6e08c59b',1,'SVF::SVFIRBuilder']]],
+  ['handlefork_9081',['handleFork',['../classSVF_1_1LockAnalysis.html#a52e79d50288bfa2d146072be53ed058b',1,'SVF::LockAnalysis::handleFork()'],['../classSVF_1_1MHP.html#a8a95f8ae419b66310ce6f572caea2ca5',1,'SVF::MHP::handleFork()'],['../classSVF_1_1ForkJoinAnalysis.html#adddbc09b7b99170cd0941f22ccc7e561',1,'SVF::ForkJoinAnalysis::handleFork()']]],
+  ['handleglobalce_9082',['handleGlobalCE',['../classSVF_1_1SymbolTableBuilder.html#a72732ec0392d9d5b900fc12177890779',1,'SVF::SymbolTableBuilder']]],
+  ['handleglobalinitializerce_9083',['handleGlobalInitializerCE',['../classSVF_1_1SymbolTableBuilder.html#a1efd9406182eb86b1ee4829c931b566d',1,'SVF::SymbolTableBuilder']]],
+  ['handleindcall_9084',['handleIndCall',['../classSVF_1_1SVFIRBuilder.html#a5ae68d4465feb54fcb8fd0cf20b7a71a',1,'SVF::SVFIRBuilder']]],
+  ['handleintervalueflow_9085',['handleInterValueFlow',['../classSVF_1_1SVFGOPT.html#a4c698184cc23730fb44904d4048958da',1,'SVF::SVFGOPT']]],
+  ['handleintra_9086',['handleIntra',['../classSVF_1_1LockAnalysis.html#a711760ebaed0437176f4f9d314e9929c',1,'SVF::LockAnalysis::handleIntra()'],['../classSVF_1_1MHP.html#af4d6f0884ce18ea5caf0dfd9799d1aae',1,'SVF::MHP::handleIntra()'],['../classSVF_1_1ForkJoinAnalysis.html#add09218cce8d8bd8dd9e73b2d26a5797',1,'SVF::ForkJoinAnalysis::handleIntra()']]],
+  ['handleintravalueflow_9087',['handleIntraValueFlow',['../classSVF_1_1SVFGOPT.html#a21429d8c3fba209d9cdc22e3623c5573',1,'SVF::SVFGOPT']]],
+  ['handlejoin_9088',['handleJoin',['../classSVF_1_1MHP.html#a3a535274cd3349a05eeccf3c9231396a',1,'SVF::MHP::handleJoin()'],['../classSVF_1_1ForkJoinAnalysis.html#ae4d0ee03b30220793d24f814e75a440e',1,'SVF::ForkJoinAnalysis::handleJoin()']]],
+  ['handleload_9089',['handleLoad',['../classSVF_1_1AndersenWaveDiff.html#a7f2af504c4fb96e64371a8533c0525fe',1,'SVF::AndersenWaveDiff']]],
+  ['handleloadstore_9090',['handleLoadStore',['../classSVF_1_1Andersen.html#a0f32ba8cb1109c257552fa775a007ffd',1,'SVF::Andersen::handleLoadStore()'],['../classSVF_1_1AndersenSCD.html#a7ae683eb8c607a0e742b44e3019b8cbc',1,'SVF::AndersenSCD::handleLoadStore()']]],
+  ['handlenoncandidatefun_9091',['handleNonCandidateFun',['../classSVF_1_1MHP.html#a2c1e4fac7b810021939ed26307d37816',1,'SVF::MHP']]],
+  ['handleoutofbudgetdpm_9092',['handleOutOfBudgetDpm',['../classSVF_1_1ContextDDA.html#a1b9bfe46777c8a57781452a05635fb02',1,'SVF::ContextDDA::handleOutOfBudgetDpm()'],['../classSVF_1_1DDAVFSolver.html#a9005f1f0e4a808838276ff44b300f96d',1,'SVF::DDAVFSolver::handleOutOfBudgetDpm()'],['../classSVF_1_1FlowDDA.html#a8930c3b8f3b58dca8da6017310bb74ae',1,'SVF::FlowDDA::handleOutOfBudgetDpm()']]],
+  ['handleret_9093',['handleRet',['../classSVF_1_1LockAnalysis.html#acc3d402c68b9c22ab6d576b38c994fc6',1,'SVF::LockAnalysis::handleRet()'],['../classSVF_1_1MHP.html#a76ac9d388529f090ab6dad5829dd0753',1,'SVF::MHP::handleRet()'],['../classSVF_1_1ForkJoinAnalysis.html#a30e5ef1322216857513047d23b525829',1,'SVF::ForkJoinAnalysis::handleRet()']]],
+  ['handlesinglestatement_9094',['handleSingleStatement',['../classSVF_1_1DDAVFSolver.html#a99f631cf1bc438e3f08f7f935e98e38d',1,'SVF::DDAVFSolver']]],
+  ['handlestatement_9095',['handleStatement',['../classSVF_1_1DDAClient.html#aec3de00152e828beb5037269430f387d',1,'SVF::DDAClient']]],
+  ['handlestore_9096',['handleStore',['../classSVF_1_1AndersenWaveDiff.html#a775a74d57842b85301daeafe64c8a5c4',1,'SVF::AndersenWaveDiff']]],
+  ['handlestoreload_9097',['handleStoreLoad',['../classSVF_1_1MTASVFGBuilder.html#a24921d1b1d79d7ef0b358be8d7a9e2c4',1,'SVF::MTASVFGBuilder']]],
+  ['handlestoreloadnonsparse_9098',['handleStoreLoadNonSparse',['../classSVF_1_1MTASVFGBuilder.html#a82b52f8e70f51353cbd7476a509ff523',1,'SVF::MTASVFGBuilder']]],
+  ['handlestoreloadwithlockprecisely_9099',['handleStoreLoadWithLockPrecisely',['../classSVF_1_1MTASVFGBuilder.html#aa861922932233ab547b63c87551b8fd3',1,'SVF::MTASVFGBuilder']]],
+  ['handlestorestore_9100',['handleStoreStore',['../classSVF_1_1MTASVFGBuilder.html#a29a14309cfa1d7c4454fb1237704e487',1,'SVF::MTASVFGBuilder']]],
+  ['handlestorestorenonsparse_9101',['handleStoreStoreNonSparse',['../classSVF_1_1MTASVFGBuilder.html#a91ff57e51b0650963b4b5541fa0f7056',1,'SVF::MTASVFGBuilder']]],
+  ['handlestorestorewithlockprecisely_9102',['handleStoreStoreWithLockPrecisely',['../classSVF_1_1MTASVFGBuilder.html#a1802d8ed854bef817afa748d2bbcea05',1,'SVF::MTASVFGBuilder']]],
+  ['handlethunkfunction_9103',['handleThunkFunction',['../CppUtil_8cpp.html#a264d15523be2c695d9cee8d49ae87ebe',1,'CppUtil.cpp']]],
+  ['handletypedef_9104',['handleTypedef',['../classSVF_1_1DCHGraph.html#a6d97a772afe16c1483e65eea81f82603',1,'SVF::DCHGraph']]],
+  ['hareparforedge_9105',['HareParForEdge',['../classSVF_1_1HareParForEdge.html#a097ccd687d7ca511a4a453dd56b7c665',1,'SVF::HareParForEdge']]],
+  ['has_5fbottom_9106',['has_bottom',['../classSVF_1_1IntervalExeState.html#a6a8c6bbff583ccd71453af5de884df89',1,'SVF::IntervalExeState']]],
+  ['has_5fstatic_9107',['has_static',['../classSVF_1_1ExtAPI.html#a9ba485eb5c452f8fb273c625126bad96',1,'SVF::ExtAPI']]],
+  ['hasactualinsvfgnodes_9108',['hasActualINSVFGNodes',['../classSVF_1_1SVFG.html#a21577bc4b4e55b23aa55083f5321b399',1,'SVF::SVFG']]],
+  ['hasactualoutsvfgnodes_9109',['hasActualOUTSVFGNodes',['../classSVF_1_1SVFG.html#ab1fde654cc464c5b4d1bafff83d346ed',1,'SVF::SVFG']]],
+  ['hasaddresstaken_9110',['hasAddressTaken',['../classSVF_1_1SVFFunction.html#a731b978178937e74c80d2882c429dc9e',1,'SVF::SVFFunction']]],
+  ['hasallcxtinlockspan_9111',['hasAllCxtInLockSpan',['../classSVF_1_1LockAnalysis.html#a3e2c8531a56c14c645d21289716515ad',1,'SVF::LockAnalysis']]],
+  ['hasbasicblock_9112',['hasBasicBlock',['../classSVF_1_1SVFFunction.html#a9a7f1f56b6cfc33e7fa241286a07fd63',1,'SVF::SVFFunction']]],
+  ['hasblackholeconstobjaddrasdef_9113',['hasBlackHoleConstObjAddrAsDef',['../classSVF_1_1VFG.html#a88f6468b9b43bbb06ef757d884580a50',1,'SVF::VFG']]],
+  ['hascallgraphedge_9114',['hasCallGraphEdge',['../classSVF_1_1PTACallGraph.html#af8df9ca6d906453fa3f7168aa84fd087',1,'SVF::PTACallGraph']]],
+  ['hascallsiteargsmap_9115',['hasCallSiteArgsMap',['../classSVF_1_1SVFIR.html#a95f77211550ec2374d57779d88cf5138',1,'SVF::SVFIR']]],
+  ['hascallsitechi_9116',['hasCallSiteChi',['../classSVF_1_1SVFG.html#ad9cc1581261182b56ae232d9a9b13296',1,'SVF::SVFG']]],
+  ['hascallsiteid_9117',['hasCallSiteID',['../classSVF_1_1PTACallGraph.html#aa8dbda3e46533680173e55d396f36756',1,'SVF::PTACallGraph']]],
+  ['hascallsitemu_9118',['hasCallSiteMu',['../classSVF_1_1SVFG.html#a842f6f2325c9e93ea96367e9cf624ee8',1,'SVF::SVFG']]],
+  ['hascdgedge_9119',['hasCDGEdge',['../classSVF_1_1CDG.html#a3cb3a5f88b8c38e53e314d7806e5efb6',1,'SVF::CDG']]],
+  ['hascdgnode_9120',['hasCDGNode',['../classSVF_1_1CDG.html#a965a30b1323fa9c9013760d410516e0e',1,'SVF::CDG']]],
+  ['hascfbasicblockedge_9121',['hasCFBasicBlockEdge',['../classSVF_1_1CFBasicBlockGraph.html#a154d9dae860b441b1653e0afb90f1da3',1,'SVF::CFBasicBlockGraph']]],
+  ['haschi_9122',['hasCHI',['../classSVF_1_1MemSSA.html#abfb338ce36ad46a9654d50dd6e2b07f1',1,'SVF::MemSSA::hasCHI(const PAGEdge *inst) const'],['../classSVF_1_1MemSSA.html#ae16120dfc9436861f719e605617f353d',1,'SVF::MemSSA::hasCHI(const CallICFGNode *cs) const']]],
+  ['hasconstantgep_9123',['hasConstantGEP',['../BreakConstantExpr_8cpp.html#a81381bb19688464256bd09ef22e965e4',1,'BreakConstantExpr.cpp']]],
+  ['hasconstraintnode_9124',['hasConstraintNode',['../classSVF_1_1ConstraintGraph.html#aad6c37476edfd9ae92dc8c0d004d782d',1,'SVF::ConstraintGraph']]],
+  ['hascptslist_9125',['hasCPtsList',['../classSVF_1_1MRGenerator.html#a1cb94c8a0379eb30c99f0c3cb2bfebaf',1,'SVF::MRGenerator']]],
+  ['hascxtlock_9126',['hasCxtLock',['../classSVF_1_1LockAnalysis.html#a6c918786d065309e8a7b13759f410a09',1,'SVF::LockAnalysis']]],
+  ['hascxtlockfromcxtstmt_9127',['hasCxtLockfromCxtStmt',['../classSVF_1_1LockAnalysis.html#a395df7174e06cad1971e6a81587ca043',1,'SVF::LockAnalysis']]],
+  ['hascxtstmtfrominst_9128',['hasCxtStmtfromInst',['../classSVF_1_1LockAnalysis.html#a550498f59e23d4b2fb3e0227f7135c23',1,'SVF::LockAnalysis']]],
+  ['hasdeclaration_9129',['hasDeclaration',['../classSVF_1_1LLVMModuleSet.html#a74a7961552498d1a99e1da70b7f78620',1,'SVF::LLVMModuleSet']]],
+  ['hasdef_9130',['hasDef',['../classSVF_1_1SVFG.html#a926c79813d5cfbd16201832024b95190',1,'SVF::SVFG::hasDef()'],['../classSVF_1_1VFG.html#ab5b63b4f6317bfb5875f2b977bcf26a4',1,'SVF::VFG::hasDef()']]],
+  ['hasdefinition_9131',['hasDefinition',['../classSVF_1_1LLVMModuleSet.html#a32558da64f03452c502ec57d1e106427',1,'SVF::LLVMModuleSet']]],
+  ['hasdefsvfgnode_9132',['hasDefSVFGNode',['../classSVF_1_1SVFG.html#ad2d19c5b80b01c8a7bb41100bb156279',1,'SVF::SVFG']]],
+  ['hasdfinset_9133',['hasDFInSet',['../classSVF_1_1DFPTData.html#ac1b87463b419dfa658f090d795ccd34c',1,'SVF::DFPTData::hasDFInSet(LocID loc) const =0'],['../classSVF_1_1DFPTData.html#abafe504c07e305d9aac15493c68918ab',1,'SVF::DFPTData::hasDFInSet(LocID loc, const Key &var) const =0'],['../classSVF_1_1MutableDFPTData.html#a9a9641305c9d670e09f02b71a3e384a9',1,'SVF::MutableDFPTData::hasDFInSet(LocID loc) const override'],['../classSVF_1_1MutableDFPTData.html#aa8b85dee2b70031a2f97e1a36c9b25de',1,'SVF::MutableDFPTData::hasDFInSet(LocID loc, const Key &var) const override'],['../classSVF_1_1PersistentDFPTData.html#a17e68e28860278b425b9a2d99082e715',1,'SVF::PersistentDFPTData::hasDFInSet(LocID loc) const override'],['../classSVF_1_1PersistentDFPTData.html#ad5ca81c46b57ba0203732f10423ad6ae',1,'SVF::PersistentDFPTData::hasDFInSet(LocID loc, const Key &var) const override']]],
+  ['hasdfoutset_9134',['hasDFOutSet',['../classSVF_1_1DFPTData.html#a31592c6086318f889749f55e80310e03',1,'SVF::DFPTData::hasDFOutSet(LocID loc) const =0'],['../classSVF_1_1DFPTData.html#a1c108dbe8148efc3cccd33d5ae1e88b4',1,'SVF::DFPTData::hasDFOutSet(LocID loc, const Key &var) const =0'],['../classSVF_1_1MutableDFPTData.html#ac6d487a4af529ecb30366be54b29260a',1,'SVF::MutableDFPTData::hasDFOutSet(LocID loc) const override'],['../classSVF_1_1MutableDFPTData.html#af6d234ae2b0aa91b510f3a2fba877340',1,'SVF::MutableDFPTData::hasDFOutSet(LocID loc, const Key &var) const override'],['../classSVF_1_1PersistentDFPTData.html#af8e866e13c7ba87a33b0da0a769d4372',1,'SVF::PersistentDFPTData::hasDFOutSet(LocID loc) const override'],['../classSVF_1_1PersistentDFPTData.html#a4e0a1656047e6a1e53a1377d23d251bd',1,'SVF::PersistentDFPTData::hasDFOutSet(LocID loc, const Key &var) const override']]],
+  ['hasdrcheckflag_9135',['hasDRCheckFlag',['../classSVF_1_1Annotator.html#a6e958c20d7809545b026eb5246444711',1,'SVF::Annotator::hasDRCheckFlag(Instruction *inst) const'],['../classSVF_1_1Annotator.html#abc2d4a40ac8a0d70428b5066266f861c',1,'SVF::Annotator::hasDRCheckFlag(const Instruction *inst) const']]],
+  ['hasdrnotcheckflag_9136',['hasDRNotCheckFlag',['../classSVF_1_1Annotator.html#ad78f6de28e5474614f16707e1c599f48',1,'SVF::Annotator::hasDRNotCheckFlag(Instruction *inst) const'],['../classSVF_1_1Annotator.html#a11d7bfcb525e4fb74e3031dd9a2635fe',1,'SVF::Annotator::hasDRNotCheckFlag(const Instruction *inst) const']]],
+  ['hasedge_9137',['hasEdge',['../classSVF_1_1DCHGraph.html#a74b2e5787f65cf3e3b4a03ebec806b91',1,'SVF::DCHGraph::hasEdge()'],['../classSVF_1_1POCRSolver.html#a4a688b3d2bc6d9fd9ad0414e715ad4f4',1,'SVF::POCRSolver::hasEdge()'],['../classSVF_1_1CFLGraph.html#aca4c22dd10f65bcde5dadb7688544b50',1,'SVF::CFLGraph::hasEdge()'],['../classSVF_1_1ConstraintGraph.html#a5f57823a4918f6c6bfee9c18beddda51',1,'SVF::ConstraintGraph::hasEdge()'],['../CHG_8cpp.html#a4c6cbac96543cd55e4df050a33512ac5',1,'hasEdge(): CHG.cpp']]],
+  ['hasedgedestlabels_9138',['hasEdgeDestLabels',['../structSVF_1_1DefaultDOTGraphTraits.html#a87d7b47985a849c7c4ff1c328a59c623',1,'SVF::DefaultDOTGraphTraits']]],
+  ['hasextfuncannotation_9139',['hasExtFuncAnnotation',['../classSVF_1_1ExtAPI.html#a1d7778db3b31f732f06129b49ec6dacd',1,'SVF::ExtAPI']]],
+  ['hasflag_9140',['hasFlag',['../classSVF_1_1DCHNode.html#a743bc5df582114c45d1907d62a42a39c',1,'SVF::DCHNode::hasFlag()'],['../classSVF_1_1CHNode.html#aebcbd36a7efc0dbe9b3c3f680ef033e7',1,'SVF::CHNode::hasFlag()'],['../classSVF_1_1ObjTypeInfo.html#a8e630eb30d05f665b998c6f9326d65cb',1,'SVF::ObjTypeInfo::hasFlag()']]],
+  ['hasformalinsvfgnodes_9141',['hasFormalINSVFGNodes',['../classSVF_1_1SVFG.html#a65f28035e0fa5bebf76d28612b2f8ba8',1,'SVF::SVFG']]],
+  ['hasformaloutsvfgnodes_9142',['hasFormalOUTSVFGNodes',['../classSVF_1_1SVFG.html#a1f8c60ad57bf473e0186b794d666b5c2',1,'SVF::SVFG']]],
+  ['hasfunargslist_9143',['hasFunArgsList',['../classSVF_1_1SVFIR.html#ac359813747b4f75920c5f395ba74f410',1,'SVF::SVFIR']]],
+  ['hasfuncentrychi_9144',['hasFuncEntryChi',['../classSVF_1_1SVFG.html#a23ca21b90feca5e7d00c9ba9f489374a',1,'SVF::SVFG::hasFuncEntryChi()'],['../classSVF_1_1MemSSA.html#aec75259d035e3b5589e6fcbbcdfe4b2c',1,'SVF::MemSSA::hasFuncEntryChi()']]],
+  ['hasfuncretmu_9145',['hasFuncRetMu',['../classSVF_1_1SVFG.html#a32378226c18a0b1e22271a2338a635f6',1,'SVF::SVFG']]],
+  ['hasglobalrep_9146',['hasGlobalRep',['../classSVF_1_1LLVMModuleSet.html#a0e5ab0def54815f67ed7495d028dab1b',1,'SVF::LLVMModuleSet']]],
+  ['hasgnode_9147',['hasGNode',['../classSVF_1_1GenericGraph.html#a6885064afa211958af7b73f0233284e5',1,'SVF::GenericGraph']]],
+  ['hasgraphedge_9148',['hasGraphEdge',['../classSVF_1_1PTACallGraph.html#a6d29a39440d8f6290e2e8b7322b965fb',1,'SVF::PTACallGraph::hasGraphEdge()'],['../classSVF_1_1TCT.html#adb2025048dc69f0689f526c58df29802',1,'SVF::TCT::hasGraphEdge()']]],
+  ['hash_9149',['hash',['../classSVF_1_1ConsExeState.html#a374e087ef40804ed00a631ed22e91590',1,'SVF::ConsExeState::hash()'],['../classSVF_1_1ExeState.html#a2e63af0f29d04484c09cca217b799986',1,'SVF::ExeState::hash()'],['../classSVF_1_1IntervalExeState.html#a85b0e711160d67ea84f426025b980dce',1,'SVF::IntervalExeState::hash()'],['../classSVF_1_1RelExeState.html#a021da964784427cfb9f4353e2678ce73',1,'SVF::RelExeState::hash()'],['../classSVF_1_1PointsTo.html#a32b52339998976ec5bdd9f2cc7ed9e3f',1,'SVF::PointsTo::hash()'],['../classSVF_1_1CoreBitVector.html#af979ecb48d3d5296bce5bd0b4676e359',1,'SVF::CoreBitVector::hash()'],['../classSVF_1_1Z3Expr.html#a631cb7cee0e1f9b7204b9293f4e516a9',1,'SVF::Z3Expr::hash()']]],
+  ['hasicfgedgewrapper_9150',['hasICFGEdgeWrapper',['../classSVF_1_1ICFGWrapper.html#a16402dd1135a149c28bcfc9860b73357',1,'SVF::ICFGWrapper::hasICFGEdgeWrapper(ICFGNodeWrapper *src, ICFGNodeWrapper *dst, ICFGEdge *icfgEdge)'],['../classSVF_1_1ICFGWrapper.html#a4152357fcc3e0cd7e6e63e5c0eae4815',1,'SVF::ICFGWrapper::hasICFGEdgeWrapper(ICFGNodeWrapper *src, ICFGNodeWrapper *dst)']]],
+  ['hasicfgnode_9151',['hasICFGNode',['../classSVF_1_1ICFG.html#a16c2ed1f9e28c84669b14dc48fb3c01a',1,'SVF::ICFG']]],
+  ['hasicfgnodewrapper_9152',['hasICFGNodeWrapper',['../classSVF_1_1ICFGWrapper.html#ab582fdf8a332db97c3414e013c11181c',1,'SVF::ICFGWrapper']]],
+  ['hasincomingedge_9153',['hasIncomingEdge',['../classSVF_1_1GenericNode.html#a06a7373b11143e709784de784fa476fe',1,'SVF::GenericNode::hasIncomingEdge() const'],['../classSVF_1_1GenericNode.html#add6b6b3bd45a9460335c5db9eda821b8',1,'SVF::GenericNode::hasIncomingEdge(EdgeType *edge) const'],['../classSVF_1_1ICFGNodeWrapper.html#acdd899bad767f9351961b64ad0af6ccb',1,'SVF::ICFGNodeWrapper::hasIncomingEdge() const'],['../classSVF_1_1ICFGNodeWrapper.html#acc284154eddbfe57146e9fab1ad8007f',1,'SVF::ICFGNodeWrapper::hasIncomingEdge(ICFGEdgeWrapper *edge) const']]],
+  ['hasincomingedges_9154',['hasIncomingEdges',['../classSVF_1_1SVFVar.html#a747b2c92c81d32fcd357e80d2d8fe7cc',1,'SVF::SVFVar']]],
+  ['hasincomingvariantgepedge_9155',['hasIncomingVariantGepEdge',['../classSVF_1_1SVFVar.html#a71e4fd7a1271a17e971ed90044e6da24',1,'SVF::SVFVar']]],
+  ['hasind_5fh_9156',['hasInd_h',['../classSVF_1_1POCRHybridSolver.html#a92f7dab147eab44ee5e4bdf02708c9a0',1,'SVF::POCRHybridSolver']]],
+  ['hasindcscallees_9157',['hasIndCSCallees',['../classSVF_1_1PTACallGraph.html#a71a63c53a093ea8e450fb53fd60c9424',1,'SVF::PTACallGraph::hasIndCSCallees()'],['../classSVF_1_1PointerAnalysis.html#abdacd060691add054839aa183babe095',1,'SVF::PointerAnalysis::hasIndCSCallees()']]],
+  ['hasintericfgedge_9158',['hasInterICFGEdge',['../classSVF_1_1ICFG.html#a86535e50d1feba706b19491d905baef1',1,'SVF::ICFG']]],
+  ['hasinterleavingthreads_9159',['hasInterleavingThreads',['../classSVF_1_1MHP.html#a3ba43bb0be55ffade3d70f8cbb95f88f',1,'SVF::MHP']]],
+  ['hasintersect_9160',['hasIntersect',['../classSVF_1_1AddressValue.html#a269a73753a7b495eb08bb0c9c0a58dc0',1,'SVF::AddressValue']]],
+  ['hasintervfgedge_9161',['hasInterVFGEdge',['../classSVF_1_1VFG.html#ad86631f70bd702b5635bdbeab7d884b9',1,'SVF::VFG']]],
+  ['hasintraicfgedge_9162',['hasIntraICFGEdge',['../classSVF_1_1ICFG.html#aa662baae5682ef6ec5084fa4147c9709',1,'SVF::ICFG']]],
+  ['hasintravfgedge_9163',['hasIntraVFGEdge',['../classSVF_1_1VFG.html#ac34c4529229404617c346f81cc6c141f',1,'SVF::VFG']]],
+  ['hasjoininsymmetricloop_9164',['hasJoinInSymmetricLoop',['../classSVF_1_1MHP.html#a7585f40b80c5488828576eb2f035ac61',1,'SVF::MHP::hasJoinInSymmetricLoop()'],['../classSVF_1_1ForkJoinAnalysis.html#ab69d11caf499612d108155e13adb300f',1,'SVF::ForkJoinAnalysis::hasJoinInSymmetricLoop()']]],
+  ['hasjoinloop_9165',['hasJoinLoop',['../classSVF_1_1ForkJoinAnalysis.html#a197ab02e8320affc4ba2c67fae5bf020',1,'SVF::ForkJoinAnalysis::hasJoinLoop()'],['../classSVF_1_1TCT.html#a59125bb4878bc347dbdbc74aa6ec4cdf',1,'SVF::TCT::hasJoinLoop()']]],
+  ['haslabelededge_9166',['hasLabeledEdge',['../classSVF_1_1IRGraph.html#a192e584440eb141e0d35d8fed671bbe0',1,'SVF::IRGraph::hasLabeledEdge(SVFVar *src, SVFVar *dst, SVFStmt::PEDGEK kind, const ICFGNode *cs)'],['../classSVF_1_1IRGraph.html#a1c999e2fd771e4fda192af096e3ec92c',1,'SVF::IRGraph::hasLabeledEdge(SVFVar *src, SVFVar *op1, SVFStmt::PEDGEK kind, const SVFVar *op2)']]],
+  ['hasloop_9167',['hasLoop',['../classSVF_1_1TCT.html#a79e221b4bc173c089aba46101b20a512',1,'SVF::TCT::hasLoop(const SVFBasicBlock *bb) const'],['../classSVF_1_1TCT.html#a103d85882e753fe90893a4f0e78dda26',1,'SVF::TCT::hasLoop(const SVFInstruction *inst) const']]],
+  ['hasloopinfo_9168',['hasLoopInfo',['../classSVF_1_1SVFLoopAndDomInfo.html#abe37f8896e2491a7a60be3fbfde8123c',1,'SVF::SVFLoopAndDomInfo::hasLoopInfo()'],['../classSVF_1_1SVFFunction.html#aee05370109d7667c40ca34c454c66714',1,'SVF::SVFFunction::hasLoopInfo()']]],
+  ['hasmodmrset_9169',['hasModMRSet',['../classSVF_1_1MRGenerator.html#a7d66a341805af7ec4e4893e5a7e0bc2d',1,'SVF::MRGenerator']]],
+  ['hasmodsideeffectofcallsite_9170',['hasModSideEffectOfCallSite',['../classSVF_1_1MRGenerator.html#a187d82895b2e1156c6dd5ae28795944f',1,'SVF::MRGenerator']]],
+  ['hasmu_9171',['hasMU',['../classSVF_1_1MemSSA.html#af5e356e82c3f93b65bd89908e0f465dc',1,'SVF::MemSSA::hasMU(const PAGEdge *inst) const'],['../classSVF_1_1MemSSA.html#a6bd9390c6cd2a3d7a3752fba76acfb46',1,'SVF::MemSSA::hasMU(const CallICFGNode *cs) const']]],
+  ['hasnode_9172',['hasNode',['../classSVF_1_1DCHGraph.html#a58341e23c1dc2b3e7fce190ed16a8a25',1,'SVF::DCHGraph']]],
+  ['hasnodestobecollapsed_9173',['hasNodesToBeCollapsed',['../classSVF_1_1ConstraintGraph.html#aa867ffe0f3639a0ef5b5c36696e733be',1,'SVF::ConstraintGraph']]],
+  ['hasnonlabelededge_9174',['hasNonlabeledEdge',['../classSVF_1_1IRGraph.html#abe0ab797a3da420e4d2f9136d64fb407',1,'SVF::IRGraph']]],
+  ['hasonecxtinlockspan_9175',['hasOneCxtInLockSpan',['../classSVF_1_1LockAnalysis.html#a7d2072c3c0ae571077a2aa2c3586451d',1,'SVF::LockAnalysis']]],
+  ['hasoutgoingedge_9176',['hasOutgoingEdge',['../classSVF_1_1GenericNode.html#a0931220d7a38e03f206cbdc6465d32ad',1,'SVF::GenericNode::hasOutgoingEdge() const'],['../classSVF_1_1GenericNode.html#aa0c40cb708b39300b3cb7354194e4993',1,'SVF::GenericNode::hasOutgoingEdge(EdgeType *edge) const'],['../classSVF_1_1ICFGNodeWrapper.html#a20563be4cb08f71d598ca906fae1cc87',1,'SVF::ICFGNodeWrapper::hasOutgoingEdge() const'],['../classSVF_1_1ICFGNodeWrapper.html#a8257838748dae3fe2f6e1c329213ce06',1,'SVF::ICFGNodeWrapper::hasOutgoingEdge(ICFGEdgeWrapper *edge) const']]],
+  ['hasoutgoingedges_9177',['hasOutgoingEdges',['../classSVF_1_1SVFVar.html#a9b00f9b5f8ad2422162f4396e2d8fa42',1,'SVF::SVFVar']]],
+  ['hasparentthread_9178',['hasParentThread',['../classSVF_1_1TCT.html#a6855a3a8a98591e58dba07047f7705ce',1,'SVF::TCT']]],
+  ['hasphiset_9179',['hasPHISet',['../classSVF_1_1MemSSA.html#a41bc86b7dc4d400d83c1f19ede4936ed',1,'SVF::MemSSA']]],
+  ['haspointsto_9180',['hasPointsTo',['../classSVF_1_1CondPointsToSet.html#ab1d20dfe6f243f7a09a8e2face097cc0',1,'SVF::CondPointsToSet']]],
+  ['hasprodsfromfirstrhs_9181',['hasProdsFromFirstRHS',['../classSVF_1_1CFGrammar.html#a6a0563acf39967169d6c267387539134',1,'SVF::CFGrammar']]],
+  ['hasprodsfromsecondrhs_9182',['hasProdsFromSecondRHS',['../classSVF_1_1CFGrammar.html#a6d1db255d2b526fa7fdfaa7b2146f0cd',1,'SVF::CFGrammar']]],
+  ['hasprodsfromsinglerhs_9183',['hasProdsFromSingleRHS',['../classSVF_1_1CFGrammar.html#aefdae80251eaaf9be580d26a5dd268a8',1,'SVF::CFGrammar']]],
+  ['hasptasvfstmtlist_9184',['hasPTASVFStmtList',['../classSVF_1_1SVFIR.html#a0552d565633ee22abe03085134a871c0',1,'SVF::SVFIR']]],
+  ['hasptrobj_9185',['hasPtrObj',['../classSVF_1_1MemObj.html#a6dae1b3429c6049f0153ec006d329082',1,'SVF::MemObj::hasPtrObj()'],['../classSVF_1_1ObjTypeInfo.html#ac5bae1e7917f415193a805e8d2e29320',1,'SVF::ObjTypeInfo::hasPtrObj()']]],
+  ['hasptsmap_9186',['hasPtsMap',['../classSVF_1_1CondPTAImpl.html#a597e9c4e76f358c36d4b820c4d69ebc6',1,'SVF::CondPTAImpl']]],
+  ['hasrefmrset_9187',['hasRefMRSet',['../classSVF_1_1MRGenerator.html#af06e8ac43efdedb97a2008cd93fc32d6',1,'SVF::MRGenerator']]],
+  ['hasrefsideeffectofcallsite_9188',['hasRefSideEffectOfCallSite',['../classSVF_1_1MRGenerator.html#a9718c9e8efc1e6f32441aa5f418711dd',1,'SVF::MRGenerator']]],
+  ['hasreturnmu_9189',['hasReturnMu',['../classSVF_1_1MemSSA.html#a3400d9a921672b3872656acecc3eac9f',1,'SVF::MemSSA']]],
+  ['hassbsinkflag_9190',['hasSBSinkFlag',['../classSVF_1_1Annotator.html#acbb2e202ab3fb864e70eac6b41c3899e',1,'SVF::Annotator']]],
+  ['hassbsourceflag_9191',['hasSBSourceFlag',['../classSVF_1_1Annotator.html#a3fb284999931900d92e60104980648ef',1,'SVF::Annotator']]],
+  ['hasspanfromcxtlock_9192',['hasSpanfromCxtLock',['../classSVF_1_1LockAnalysis.html#af8ada4a73bf132e1adeef7aa0522f596',1,'SVF::LockAnalysis']]],
+  ['hassvfgnode_9193',['hasSVFGNode',['../classSVF_1_1SVFG.html#a1b9d1ad76785ae0eb07979aa75325640',1,'SVF::SVFG']]],
+  ['hassvfstmtlist_9194',['hasSVFStmtList',['../classSVF_1_1MRGenerator.html#abcb903f5d5f323f319fc58f9df697f63',1,'SVF::MRGenerator::hasSVFStmtList()'],['../classSVF_1_1SVFIR.html#a63acb4d86d93ad1e88860ac839a8c654',1,'SVF::SVFIR::hasSVFStmtList()']]],
+  ['hassvftypeinfo_9195',['hasSVFTypeInfo',['../classSVF_1_1SymbolTableInfo.html#af678e138df136d6f3cd53826dfa4486c',1,'SVF::SymbolTableInfo']]],
+  ['hastctnode_9196',['hasTCTNode',['../classSVF_1_1TCT.html#a5d5a753b4d2633e3aaf58859274ffe7a',1,'SVF::TCT']]],
+  ['hasthreadforkedge_9197',['hasThreadForkEdge',['../classSVF_1_1ThreadCallGraph.html#a933a6a2f0a0c6364e8df1bc65a07192f',1,'SVF::ThreadCallGraph']]],
+  ['hasthreadicfgedge_9198',['hasThreadICFGEdge',['../classSVF_1_1ICFG.html#a29fb70d6638765ce291c5a8a11fbea64',1,'SVF::ICFG']]],
+  ['hasthreadjoinedge_9199',['hasThreadJoinEdge',['../classSVF_1_1ThreadCallGraph.html#a5f7c92af1a4ce33e4746f5b65c9c8421',1,'SVF::ThreadCallGraph::hasThreadJoinEdge(const CallICFGNode *cs) const'],['../classSVF_1_1ThreadCallGraph.html#a98214e970762f43d0e9ad719961b4021',1,'SVF::ThreadCallGraph::hasThreadJoinEdge(const CallICFGNode *call, PTACallGraphNode *joinFunNode, PTACallGraphNode *threadRoutineFunNode, CallSiteID csId) const']]],
+  ['hasthreadstmtset_9200',['hasThreadStmtSet',['../classSVF_1_1MHP.html#a27d031e9c7c4706d7ee1750668e83b99',1,'SVF::MHP']]],
+  ['hasthreadvfgedge_9201',['hasThreadVFGEdge',['../classSVF_1_1VFG.html#aead3b463d9aa2fae5845d97896bd18ba',1,'SVF::VFG']]],
+  ['hasvalidationtarget_9202',['hasValidationTarget',['../classSVF_1_1RaceResultValidator.html#a749793355ab8390a1e6577d7b05efddf',1,'SVF::RaceResultValidator::hasValidationTarget() const'],['../classSVF_1_1RaceResultValidator.html#a749793355ab8390a1e6577d7b05efddf',1,'SVF::RaceResultValidator::hasValidationTarget() const']]],
+  ['hasvalsym_9203',['hasValSym',['../classSVF_1_1SymbolTableInfo.html#af5e91f2ace726b1f05b045681d2bd117',1,'SVF::SymbolTableInfo']]],
+  ['hasvalue_9204',['hasValue',['../classSVF_1_1SVFVar.html#a1ace69053c2c4436fd78d5624bd0086a',1,'SVF::SVFVar']]],
+  ['hasvaluenode_9205',['hasValueNode',['../classSVF_1_1IRGraph.html#a401ec65771a3d2dcc8eb60574aadd354',1,'SVF::IRGraph']]],
+  ['hasvfgnode_9206',['hasVFGNode',['../classSVF_1_1VFG.html#a30eb9d717ad5bc8a9109a7bdef38f4a1',1,'SVF::VFG']]],
+  ['hasvfgnodes_9207',['hasVFGNodes',['../classSVF_1_1VFG.html#a76af43e28630eb56a1aa5971f516d43d',1,'SVF::VFG']]],
+  ['hclust_5ffast_9208',['hclust_fast',['../fastcluster_8h.html#acccd226cbdf0944b5c9e24c84a4599c9',1,'hclust_fast(int n, double *distmat, int method, int *merge, double *height): fastcluster.cpp'],['../fastcluster_8cpp.html#acccd226cbdf0944b5c9e24c84a4599c9',1,'hclust_fast(int n, double *distmat, int method, int *merge, double *height): fastcluster.cpp']]],
+  ['hclustmethodtostring_9209',['hclustMethodToString',['../namespaceSVF_1_1SVFUtil.html#a14a4c5124f2fd03ca3d898e2acd54160',1,'SVF::SVFUtil']]],
+  ['head_9210',['head',['../classSVF_1_1CFBasicBlockGWTOCycle.html#aba6a1249015322f073e05fcf089da801',1,'SVF::CFBasicBlockGWTOCycle']]],
+  ['headbegin_9211',['headBegin',['../classSVF_1_1CFBasicBlockGWTO.html#ac2fdb330a81c28cae01858952d237c7e',1,'SVF::CFBasicBlockGWTO']]],
+  ['headend_9212',['headEnd',['../classSVF_1_1CFBasicBlockGWTO.html#a822077820c188463603f8968c4535a60',1,'SVF::CFBasicBlockGWTO']]],
+  ['heapallocatorviaindcall_9213',['heapAllocatorViaIndCall',['../classSVF_1_1CFLAlias.html#a40841c2b47cf690af5c13ba7662d0863',1,'SVF::CFLAlias::heapAllocatorViaIndCall()'],['../classSVF_1_1Andersen.html#a7b1b9e9b25b5643440aca77e23a8de07',1,'SVF::Andersen::heapAllocatorViaIndCall()'],['../classSVF_1_1Steensgaard.html#a3524c3a9c166065d30bd8582d17d7534',1,'SVF::Steensgaard::heapAllocatorViaIndCall()']]]
 ];