svf-tools 1.0.802 → 1.0.804

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

@@ -1,149 +1,151 @@
 var searchData=
 [
-  ['handleaddr_9012',['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_9013',['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_9014',['handleBlackHole',['../classSVF_1_1SVFIR.html#a2375f49c77f2285a6316e7540b051a0f',1,'SVF::SVFIR']]],
-  ['handlecall_9015',['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_9016',['handleCallRelation',['../classSVF_1_1LockAnalysis.html#ab99ef73905f35d4c20ca408586fc8680',1,'SVF::LockAnalysis::handleCallRelation()'],['../classSVF_1_1TCT.html#aac0c4c3f1c7cb1d89ebd2a3da2d49bd3',1,'SVF::TCT::handleCallRelation()']]],
-  ['handlecallsitemodref_9017',['handleCallsiteModRef',['../classSVF_1_1MRGenerator.html#acbf0be131b1fc5d0366157d300d1aa68',1,'SVF::MRGenerator']]],
-  ['handlece_9018',['handleCE',['../classSVF_1_1SymbolTableBuilder.html#abe39a7a3557899b4991bcc60d436dc50',1,'SVF::SymbolTableBuilder']]],
-  ['handlecopygep_9019',['handleCopyGep',['../classSVF_1_1Andersen.html#ab069683dd6ca563113efbde2813ab35e',1,'SVF::Andersen::handleCopyGep()'],['../classSVF_1_1AndersenSCD.html#aa0a496376f7bea2c417ef83c51d19a61',1,'SVF::AndersenSCD::handleCopyGep()']]],
-  ['handledibasictype_9020',['handleDIBasicType',['../classSVF_1_1DCHGraph.html#a86bf48776ccf53092f4cb742cf95f8eb',1,'SVF::DCHGraph']]],
-  ['handledicompositetype_9021',['handleDICompositeType',['../classSVF_1_1DCHGraph.html#a3ce75cbe92a1fa7d34c6fca2d2ca1b0f',1,'SVF::DCHGraph']]],
-  ['handlediderivedtype_9022',['handleDIDerivedType',['../classSVF_1_1DCHGraph.html#a1a4162e68b22d53e9dca73c6780ed3e5',1,'SVF::DCHGraph']]],
-  ['handledirectcall_9023',['handleDirectCall',['../classSVF_1_1SVFIRBuilder.html#a3ccc53ca9a6862674ee2ec3bd67aa515',1,'SVF::SVFIRBuilder']]],
-  ['handledisubroutinetype_9024',['handleDISubroutineType',['../classSVF_1_1DCHGraph.html#a671f379ae54eef247b5e013478eb3f0c',1,'SVF::DCHGraph']]],
-  ['handleextcall_9025',['handleExtCall',['../classSVF_1_1SVFIRBuilder.html#a8b664a9d689562bd857f056e6e08c59b',1,'SVF::SVFIRBuilder']]],
-  ['handlefork_9026',['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_9027',['handleGlobalCE',['../classSVF_1_1SymbolTableBuilder.html#a72732ec0392d9d5b900fc12177890779',1,'SVF::SymbolTableBuilder']]],
-  ['handleglobalinitializerce_9028',['handleGlobalInitializerCE',['../classSVF_1_1SymbolTableBuilder.html#a1efd9406182eb86b1ee4829c931b566d',1,'SVF::SymbolTableBuilder']]],
-  ['handleindcall_9029',['handleIndCall',['../classSVF_1_1SVFIRBuilder.html#a5ae68d4465feb54fcb8fd0cf20b7a71a',1,'SVF::SVFIRBuilder']]],
-  ['handleintervalueflow_9030',['handleInterValueFlow',['../classSVF_1_1SVFGOPT.html#a4c698184cc23730fb44904d4048958da',1,'SVF::SVFGOPT']]],
-  ['handleintra_9031',['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_9032',['handleIntraValueFlow',['../classSVF_1_1SVFGOPT.html#a21429d8c3fba209d9cdc22e3623c5573',1,'SVF::SVFGOPT']]],
-  ['handlejoin_9033',['handleJoin',['../classSVF_1_1MHP.html#a3a535274cd3349a05eeccf3c9231396a',1,'SVF::MHP::handleJoin()'],['../classSVF_1_1ForkJoinAnalysis.html#ae4d0ee03b30220793d24f814e75a440e',1,'SVF::ForkJoinAnalysis::handleJoin()']]],
-  ['handleload_9034',['handleLoad',['../classSVF_1_1AndersenWaveDiff.html#a7f2af504c4fb96e64371a8533c0525fe',1,'SVF::AndersenWaveDiff']]],
-  ['handleloadstore_9035',['handleLoadStore',['../classSVF_1_1Andersen.html#a0f32ba8cb1109c257552fa775a007ffd',1,'SVF::Andersen::handleLoadStore()'],['../classSVF_1_1AndersenSCD.html#a7ae683eb8c607a0e742b44e3019b8cbc',1,'SVF::AndersenSCD::handleLoadStore()']]],
-  ['handlenoncandidatefun_9036',['handleNonCandidateFun',['../classSVF_1_1MHP.html#a2c1e4fac7b810021939ed26307d37816',1,'SVF::MHP']]],
-  ['handleoutofbudgetdpm_9037',['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_9038',['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_9039',['handleSingleStatement',['../classSVF_1_1DDAVFSolver.html#a99f631cf1bc438e3f08f7f935e98e38d',1,'SVF::DDAVFSolver']]],
-  ['handlestatement_9040',['handleStatement',['../classSVF_1_1DDAClient.html#aec3de00152e828beb5037269430f387d',1,'SVF::DDAClient']]],
-  ['handlestore_9041',['handleStore',['../classSVF_1_1AndersenWaveDiff.html#a775a74d57842b85301daeafe64c8a5c4',1,'SVF::AndersenWaveDiff']]],
-  ['handlestoreload_9042',['handleStoreLoad',['../classSVF_1_1MTASVFGBuilder.html#a24921d1b1d79d7ef0b358be8d7a9e2c4',1,'SVF::MTASVFGBuilder']]],
-  ['handlestoreloadnonsparse_9043',['handleStoreLoadNonSparse',['../classSVF_1_1MTASVFGBuilder.html#a82b52f8e70f51353cbd7476a509ff523',1,'SVF::MTASVFGBuilder']]],
-  ['handlestoreloadwithlockprecisely_9044',['handleStoreLoadWithLockPrecisely',['../classSVF_1_1MTASVFGBuilder.html#aa861922932233ab547b63c87551b8fd3',1,'SVF::MTASVFGBuilder']]],
-  ['handlestorestore_9045',['handleStoreStore',['../classSVF_1_1MTASVFGBuilder.html#a29a14309cfa1d7c4454fb1237704e487',1,'SVF::MTASVFGBuilder']]],
-  ['handlestorestorenonsparse_9046',['handleStoreStoreNonSparse',['../classSVF_1_1MTASVFGBuilder.html#a91ff57e51b0650963b4b5541fa0f7056',1,'SVF::MTASVFGBuilder']]],
-  ['handlestorestorewithlockprecisely_9047',['handleStoreStoreWithLockPrecisely',['../classSVF_1_1MTASVFGBuilder.html#a1802d8ed854bef817afa748d2bbcea05',1,'SVF::MTASVFGBuilder']]],
-  ['handlethunkfunction_9048',['handleThunkFunction',['../CppUtil_8cpp.html#a264d15523be2c695d9cee8d49ae87ebe',1,'CppUtil.cpp']]],
-  ['handletypedef_9049',['handleTypedef',['../classSVF_1_1DCHGraph.html#a6d97a772afe16c1483e65eea81f82603',1,'SVF::DCHGraph']]],
-  ['hareparforedge_9050',['HareParForEdge',['../classSVF_1_1HareParForEdge.html#a097ccd687d7ca511a4a453dd56b7c665',1,'SVF::HareParForEdge']]],
-  ['has_5fbottom_9051',['has_bottom',['../classSVF_1_1IntervalExeState.html#a6a8c6bbff583ccd71453af5de884df89',1,'SVF::IntervalExeState']]],
-  ['has_5fstatic_9052',['has_static',['../classSVF_1_1ExtAPI.html#a9ba485eb5c452f8fb273c625126bad96',1,'SVF::ExtAPI']]],
-  ['hasactualinsvfgnodes_9053',['hasActualINSVFGNodes',['../classSVF_1_1SVFG.html#a21577bc4b4e55b23aa55083f5321b399',1,'SVF::SVFG']]],
-  ['hasactualoutsvfgnodes_9054',['hasActualOUTSVFGNodes',['../classSVF_1_1SVFG.html#ab1fde654cc464c5b4d1bafff83d346ed',1,'SVF::SVFG']]],
-  ['hasaddresstaken_9055',['hasAddressTaken',['../classSVF_1_1SVFFunction.html#a731b978178937e74c80d2882c429dc9e',1,'SVF::SVFFunction']]],
-  ['hasallcxtinlockspan_9056',['hasAllCxtInLockSpan',['../classSVF_1_1LockAnalysis.html#a3e2c8531a56c14c645d21289716515ad',1,'SVF::LockAnalysis']]],
-  ['hasbasicblock_9057',['hasBasicBlock',['../classSVF_1_1SVFFunction.html#a9a7f1f56b6cfc33e7fa241286a07fd63',1,'SVF::SVFFunction']]],
-  ['hasblackholeconstobjaddrasdef_9058',['hasBlackHoleConstObjAddrAsDef',['../classSVF_1_1VFG.html#a88f6468b9b43bbb06ef757d884580a50',1,'SVF::VFG']]],
-  ['hascallgraphedge_9059',['hasCallGraphEdge',['../classSVF_1_1PTACallGraph.html#af8df9ca6d906453fa3f7168aa84fd087',1,'SVF::PTACallGraph']]],
-  ['hascallsiteargsmap_9060',['hasCallSiteArgsMap',['../classSVF_1_1SVFIR.html#a95f77211550ec2374d57779d88cf5138',1,'SVF::SVFIR']]],
-  ['hascallsitechi_9061',['hasCallSiteChi',['../classSVF_1_1SVFG.html#ad9cc1581261182b56ae232d9a9b13296',1,'SVF::SVFG']]],
-  ['hascallsiteid_9062',['hasCallSiteID',['../classSVF_1_1PTACallGraph.html#aa8dbda3e46533680173e55d396f36756',1,'SVF::PTACallGraph']]],
-  ['hascallsitemu_9063',['hasCallSiteMu',['../classSVF_1_1SVFG.html#a842f6f2325c9e93ea96367e9cf624ee8',1,'SVF::SVFG']]],
-  ['hascdgedge_9064',['hasCDGEdge',['../classSVF_1_1CDG.html#a3cb3a5f88b8c38e53e314d7806e5efb6',1,'SVF::CDG']]],
-  ['hascdgnode_9065',['hasCDGNode',['../classSVF_1_1CDG.html#a965a30b1323fa9c9013760d410516e0e',1,'SVF::CDG']]],
-  ['hascfbasicblockedge_9066',['hasCFBasicBlockEdge',['../classSVF_1_1CFBasicBlockGraph.html#a8e41d155ded9f4527adf8f1644600839',1,'SVF::CFBasicBlockGraph::hasCFBasicBlockEdge(CFBasicBlockNode *src, CFBasicBlockNode *dst, ICFGEdge *icfgEdge)'],['../classSVF_1_1CFBasicBlockGraph.html#a154d9dae860b441b1653e0afb90f1da3',1,'SVF::CFBasicBlockGraph::hasCFBasicBlockEdge(CFBasicBlockNode *src, CFBasicBlockNode *dst) const']]],
-  ['hascfbasicblocknode_9067',['hasCFBasicBlockNode',['../classSVF_1_1CFBasicBlockGraph.html#aa2110611126556090763024828dbc516',1,'SVF::CFBasicBlockGraph']]],
-  ['haschi_9068',['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_9069',['hasConstantGEP',['../BreakConstantExpr_8cpp.html#a81381bb19688464256bd09ef22e965e4',1,'BreakConstantExpr.cpp']]],
-  ['hasconstraintnode_9070',['hasConstraintNode',['../classSVF_1_1ConstraintGraph.html#aad6c37476edfd9ae92dc8c0d004d782d',1,'SVF::ConstraintGraph']]],
-  ['hascptslist_9071',['hasCPtsList',['../classSVF_1_1MRGenerator.html#a1cb94c8a0379eb30c99f0c3cb2bfebaf',1,'SVF::MRGenerator']]],
-  ['hascxtlock_9072',['hasCxtLock',['../classSVF_1_1LockAnalysis.html#a6c918786d065309e8a7b13759f410a09',1,'SVF::LockAnalysis']]],
-  ['hascxtlockfromcxtstmt_9073',['hasCxtLockfromCxtStmt',['../classSVF_1_1LockAnalysis.html#a395df7174e06cad1971e6a81587ca043',1,'SVF::LockAnalysis']]],
-  ['hascxtstmtfrominst_9074',['hasCxtStmtfromInst',['../classSVF_1_1LockAnalysis.html#a550498f59e23d4b2fb3e0227f7135c23',1,'SVF::LockAnalysis']]],
-  ['hasdeclaration_9075',['hasDeclaration',['../classSVF_1_1LLVMModuleSet.html#a74a7961552498d1a99e1da70b7f78620',1,'SVF::LLVMModuleSet']]],
-  ['hasdef_9076',['hasDef',['../classSVF_1_1SVFG.html#a926c79813d5cfbd16201832024b95190',1,'SVF::SVFG::hasDef()'],['../classSVF_1_1VFG.html#ab5b63b4f6317bfb5875f2b977bcf26a4',1,'SVF::VFG::hasDef()']]],
-  ['hasdefinition_9077',['hasDefinition',['../classSVF_1_1LLVMModuleSet.html#a32558da64f03452c502ec57d1e106427',1,'SVF::LLVMModuleSet']]],
-  ['hasdefsvfgnode_9078',['hasDefSVFGNode',['../classSVF_1_1SVFG.html#ad2d19c5b80b01c8a7bb41100bb156279',1,'SVF::SVFG']]],
-  ['hasdfinset_9079',['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_9080',['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_9081',['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_9082',['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_9083',['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_9084',['hasEdgeDestLabels',['../structSVF_1_1DefaultDOTGraphTraits.html#a87d7b47985a849c7c4ff1c328a59c623',1,'SVF::DefaultDOTGraphTraits']]],
-  ['hasextfuncannotation_9085',['hasExtFuncAnnotation',['../classSVF_1_1ExtAPI.html#a1d7778db3b31f732f06129b49ec6dacd',1,'SVF::ExtAPI']]],
-  ['hasflag_9086',['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_9087',['hasFormalINSVFGNodes',['../classSVF_1_1SVFG.html#a65f28035e0fa5bebf76d28612b2f8ba8',1,'SVF::SVFG']]],
-  ['hasformaloutsvfgnodes_9088',['hasFormalOUTSVFGNodes',['../classSVF_1_1SVFG.html#a1f8c60ad57bf473e0186b794d666b5c2',1,'SVF::SVFG']]],
-  ['hasfunargslist_9089',['hasFunArgsList',['../classSVF_1_1SVFIR.html#ac359813747b4f75920c5f395ba74f410',1,'SVF::SVFIR']]],
-  ['hasfuncentrychi_9090',['hasFuncEntryChi',['../classSVF_1_1SVFG.html#a23ca21b90feca5e7d00c9ba9f489374a',1,'SVF::SVFG::hasFuncEntryChi()'],['../classSVF_1_1MemSSA.html#aec75259d035e3b5589e6fcbbcdfe4b2c',1,'SVF::MemSSA::hasFuncEntryChi()']]],
-  ['hasfuncretmu_9091',['hasFuncRetMu',['../classSVF_1_1SVFG.html#a32378226c18a0b1e22271a2338a635f6',1,'SVF::SVFG']]],
-  ['hasglobalrep_9092',['hasGlobalRep',['../classSVF_1_1LLVMModuleSet.html#a0e5ab0def54815f67ed7495d028dab1b',1,'SVF::LLVMModuleSet']]],
-  ['hasgnode_9093',['hasGNode',['../classSVF_1_1GenericGraph.html#a6885064afa211958af7b73f0233284e5',1,'SVF::GenericGraph']]],
-  ['hasgraphedge_9094',['hasGraphEdge',['../classSVF_1_1PTACallGraph.html#a6d29a39440d8f6290e2e8b7322b965fb',1,'SVF::PTACallGraph::hasGraphEdge()'],['../classSVF_1_1TCT.html#adb2025048dc69f0689f526c58df29802',1,'SVF::TCT::hasGraphEdge()']]],
-  ['hash_9095',['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()']]],
-  ['hasicfgnode_9096',['hasICFGNode',['../classSVF_1_1ICFG.html#a16c2ed1f9e28c84669b14dc48fb3c01a',1,'SVF::ICFG']]],
-  ['hasincomingedge_9097',['hasIncomingEdge',['../classSVF_1_1CFBasicBlockNode.html#ac468c52cc443f1137f6d5fb510a8ac46',1,'SVF::CFBasicBlockNode::hasIncomingEdge() const'],['../classSVF_1_1CFBasicBlockNode.html#a039e122b9bceabeb0b3e687b6ee14d5c',1,'SVF::CFBasicBlockNode::hasIncomingEdge(CFBasicBlockEdge *edge) const'],['../classSVF_1_1GenericNode.html#a06a7373b11143e709784de784fa476fe',1,'SVF::GenericNode::hasIncomingEdge() const'],['../classSVF_1_1GenericNode.html#add6b6b3bd45a9460335c5db9eda821b8',1,'SVF::GenericNode::hasIncomingEdge(EdgeType *edge) const']]],
-  ['hasincomingedges_9098',['hasIncomingEdges',['../classSVF_1_1SVFVar.html#a747b2c92c81d32fcd357e80d2d8fe7cc',1,'SVF::SVFVar']]],
-  ['hasincomingvariantgepedge_9099',['hasIncomingVariantGepEdge',['../classSVF_1_1SVFVar.html#a71e4fd7a1271a17e971ed90044e6da24',1,'SVF::SVFVar']]],
-  ['hasind_5fh_9100',['hasInd_h',['../classSVF_1_1POCRHybridSolver.html#a92f7dab147eab44ee5e4bdf02708c9a0',1,'SVF::POCRHybridSolver']]],
-  ['hasindcscallees_9101',['hasIndCSCallees',['../classSVF_1_1PTACallGraph.html#a71a63c53a093ea8e450fb53fd60c9424',1,'SVF::PTACallGraph::hasIndCSCallees()'],['../classSVF_1_1PointerAnalysis.html#abdacd060691add054839aa183babe095',1,'SVF::PointerAnalysis::hasIndCSCallees()']]],
-  ['hasintericfgedge_9102',['hasInterICFGEdge',['../classSVF_1_1ICFG.html#a86535e50d1feba706b19491d905baef1',1,'SVF::ICFG']]],
-  ['hasinterleavingthreads_9103',['hasInterleavingThreads',['../classSVF_1_1MHP.html#a3ba43bb0be55ffade3d70f8cbb95f88f',1,'SVF::MHP']]],
-  ['hasintersect_9104',['hasIntersect',['../classSVF_1_1AddressValue.html#a269a73753a7b495eb08bb0c9c0a58dc0',1,'SVF::AddressValue']]],
-  ['hasintervfgedge_9105',['hasInterVFGEdge',['../classSVF_1_1VFG.html#ad86631f70bd702b5635bdbeab7d884b9',1,'SVF::VFG']]],
-  ['hasintraicfgedge_9106',['hasIntraICFGEdge',['../classSVF_1_1ICFG.html#aa662baae5682ef6ec5084fa4147c9709',1,'SVF::ICFG']]],
-  ['hasintravfgedge_9107',['hasIntraVFGEdge',['../classSVF_1_1VFG.html#ac34c4529229404617c346f81cc6c141f',1,'SVF::VFG']]],
-  ['hasjoininsymmetricloop_9108',['hasJoinInSymmetricLoop',['../classSVF_1_1MHP.html#a7585f40b80c5488828576eb2f035ac61',1,'SVF::MHP::hasJoinInSymmetricLoop()'],['../classSVF_1_1ForkJoinAnalysis.html#ab69d11caf499612d108155e13adb300f',1,'SVF::ForkJoinAnalysis::hasJoinInSymmetricLoop()']]],
-  ['hasjoinloop_9109',['hasJoinLoop',['../classSVF_1_1ForkJoinAnalysis.html#a197ab02e8320affc4ba2c67fae5bf020',1,'SVF::ForkJoinAnalysis::hasJoinLoop()'],['../classSVF_1_1TCT.html#a59125bb4878bc347dbdbc74aa6ec4cdf',1,'SVF::TCT::hasJoinLoop()']]],
-  ['haslabelededge_9110',['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_9111',['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_9112',['hasLoopInfo',['../classSVF_1_1SVFLoopAndDomInfo.html#abe37f8896e2491a7a60be3fbfde8123c',1,'SVF::SVFLoopAndDomInfo::hasLoopInfo()'],['../classSVF_1_1SVFFunction.html#aee05370109d7667c40ca34c454c66714',1,'SVF::SVFFunction::hasLoopInfo()']]],
-  ['hasmodmrset_9113',['hasModMRSet',['../classSVF_1_1MRGenerator.html#a7d66a341805af7ec4e4893e5a7e0bc2d',1,'SVF::MRGenerator']]],
-  ['hasmodsideeffectofcallsite_9114',['hasModSideEffectOfCallSite',['../classSVF_1_1MRGenerator.html#a187d82895b2e1156c6dd5ae28795944f',1,'SVF::MRGenerator']]],
-  ['hasmu_9115',['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_9116',['hasNode',['../classSVF_1_1DCHGraph.html#a58341e23c1dc2b3e7fce190ed16a8a25',1,'SVF::DCHGraph']]],
-  ['hasnodestobecollapsed_9117',['hasNodesToBeCollapsed',['../classSVF_1_1ConstraintGraph.html#aa867ffe0f3639a0ef5b5c36696e733be',1,'SVF::ConstraintGraph']]],
-  ['hasnonlabelededge_9118',['hasNonlabeledEdge',['../classSVF_1_1IRGraph.html#abe0ab797a3da420e4d2f9136d64fb407',1,'SVF::IRGraph']]],
-  ['hasonecxtinlockspan_9119',['hasOneCxtInLockSpan',['../classSVF_1_1LockAnalysis.html#a7d2072c3c0ae571077a2aa2c3586451d',1,'SVF::LockAnalysis']]],
-  ['hasoutgoingedge_9120',['hasOutgoingEdge',['../classSVF_1_1CFBasicBlockNode.html#a1b02680eb7b603ffaed3eecd2f09455e',1,'SVF::CFBasicBlockNode::hasOutgoingEdge() const'],['../classSVF_1_1CFBasicBlockNode.html#a802b138a587dae6eaf2787eb2fd30f21',1,'SVF::CFBasicBlockNode::hasOutgoingEdge(CFBasicBlockEdge *edge) const'],['../classSVF_1_1GenericNode.html#a0931220d7a38e03f206cbdc6465d32ad',1,'SVF::GenericNode::hasOutgoingEdge() const'],['../classSVF_1_1GenericNode.html#aa0c40cb708b39300b3cb7354194e4993',1,'SVF::GenericNode::hasOutgoingEdge(EdgeType *edge) const']]],
-  ['hasoutgoingedges_9121',['hasOutgoingEdges',['../classSVF_1_1SVFVar.html#a9b00f9b5f8ad2422162f4396e2d8fa42',1,'SVF::SVFVar']]],
-  ['hasparentthread_9122',['hasParentThread',['../classSVF_1_1TCT.html#a6855a3a8a98591e58dba07047f7705ce',1,'SVF::TCT']]],
-  ['hasphiset_9123',['hasPHISet',['../classSVF_1_1MemSSA.html#a41bc86b7dc4d400d83c1f19ede4936ed',1,'SVF::MemSSA']]],
-  ['haspointsto_9124',['hasPointsTo',['../classSVF_1_1CondPointsToSet.html#ab1d20dfe6f243f7a09a8e2face097cc0',1,'SVF::CondPointsToSet']]],
-  ['hasprodsfromfirstrhs_9125',['hasProdsFromFirstRHS',['../classSVF_1_1CFGrammar.html#a6a0563acf39967169d6c267387539134',1,'SVF::CFGrammar']]],
-  ['hasprodsfromsecondrhs_9126',['hasProdsFromSecondRHS',['../classSVF_1_1CFGrammar.html#a6d1db255d2b526fa7fdfaa7b2146f0cd',1,'SVF::CFGrammar']]],
-  ['hasprodsfromsinglerhs_9127',['hasProdsFromSingleRHS',['../classSVF_1_1CFGrammar.html#aefdae80251eaaf9be580d26a5dd268a8',1,'SVF::CFGrammar']]],
-  ['hasptasvfstmtlist_9128',['hasPTASVFStmtList',['../classSVF_1_1SVFIR.html#a0552d565633ee22abe03085134a871c0',1,'SVF::SVFIR']]],
-  ['hasptrobj_9129',['hasPtrObj',['../classSVF_1_1MemObj.html#a6dae1b3429c6049f0153ec006d329082',1,'SVF::MemObj::hasPtrObj()'],['../classSVF_1_1ObjTypeInfo.html#ac5bae1e7917f415193a805e8d2e29320',1,'SVF::ObjTypeInfo::hasPtrObj()']]],
-  ['hasptsmap_9130',['hasPtsMap',['../classSVF_1_1CondPTAImpl.html#a597e9c4e76f358c36d4b820c4d69ebc6',1,'SVF::CondPTAImpl']]],
-  ['hasrefmrset_9131',['hasRefMRSet',['../classSVF_1_1MRGenerator.html#af06e8ac43efdedb97a2008cd93fc32d6',1,'SVF::MRGenerator']]],
-  ['hasrefsideeffectofcallsite_9132',['hasRefSideEffectOfCallSite',['../classSVF_1_1MRGenerator.html#a9718c9e8efc1e6f32441aa5f418711dd',1,'SVF::MRGenerator']]],
-  ['hasreturnmu_9133',['hasReturnMu',['../classSVF_1_1MemSSA.html#a3400d9a921672b3872656acecc3eac9f',1,'SVF::MemSSA']]],
-  ['hassbsinkflag_9134',['hasSBSinkFlag',['../classSVF_1_1Annotator.html#acbb2e202ab3fb864e70eac6b41c3899e',1,'SVF::Annotator']]],
-  ['hassbsourceflag_9135',['hasSBSourceFlag',['../classSVF_1_1Annotator.html#a3fb284999931900d92e60104980648ef',1,'SVF::Annotator']]],
-  ['hasspanfromcxtlock_9136',['hasSpanfromCxtLock',['../classSVF_1_1LockAnalysis.html#af8ada4a73bf132e1adeef7aa0522f596',1,'SVF::LockAnalysis']]],
-  ['hassvfgnode_9137',['hasSVFGNode',['../classSVF_1_1SVFG.html#a1b9d1ad76785ae0eb07979aa75325640',1,'SVF::SVFG']]],
-  ['hassvfstmtlist_9138',['hasSVFStmtList',['../classSVF_1_1MRGenerator.html#abcb903f5d5f323f319fc58f9df697f63',1,'SVF::MRGenerator::hasSVFStmtList()'],['../classSVF_1_1SVFIR.html#a63acb4d86d93ad1e88860ac839a8c654',1,'SVF::SVFIR::hasSVFStmtList()']]],
-  ['hassvftypeinfo_9139',['hasSVFTypeInfo',['../classSVF_1_1SymbolTableInfo.html#af678e138df136d6f3cd53826dfa4486c',1,'SVF::SymbolTableInfo']]],
-  ['hastctnode_9140',['hasTCTNode',['../classSVF_1_1TCT.html#a5d5a753b4d2633e3aaf58859274ffe7a',1,'SVF::TCT']]],
-  ['hasthreadforkedge_9141',['hasThreadForkEdge',['../classSVF_1_1ThreadCallGraph.html#a933a6a2f0a0c6364e8df1bc65a07192f',1,'SVF::ThreadCallGraph']]],
-  ['hasthreadicfgedge_9142',['hasThreadICFGEdge',['../classSVF_1_1ICFG.html#a29fb70d6638765ce291c5a8a11fbea64',1,'SVF::ICFG']]],
-  ['hasthreadjoinedge_9143',['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_9144',['hasThreadStmtSet',['../classSVF_1_1MHP.html#a27d031e9c7c4706d7ee1750668e83b99',1,'SVF::MHP']]],
-  ['hasthreadvfgedge_9145',['hasThreadVFGEdge',['../classSVF_1_1VFG.html#aead3b463d9aa2fae5845d97896bd18ba',1,'SVF::VFG']]],
-  ['hasvalidationtarget_9146',['hasValidationTarget',['../classSVF_1_1RaceResultValidator.html#a749793355ab8390a1e6577d7b05efddf',1,'SVF::RaceResultValidator::hasValidationTarget() const'],['../classSVF_1_1RaceResultValidator.html#a749793355ab8390a1e6577d7b05efddf',1,'SVF::RaceResultValidator::hasValidationTarget() const']]],
-  ['hasvalsym_9147',['hasValSym',['../classSVF_1_1SymbolTableInfo.html#af5e91f2ace726b1f05b045681d2bd117',1,'SVF::SymbolTableInfo']]],
-  ['hasvalue_9148',['hasValue',['../classSVF_1_1SVFVar.html#a1ace69053c2c4436fd78d5624bd0086a',1,'SVF::SVFVar']]],
-  ['hasvaluenode_9149',['hasValueNode',['../classSVF_1_1IRGraph.html#a401ec65771a3d2dcc8eb60574aadd354',1,'SVF::IRGraph']]],
-  ['hasvfgnode_9150',['hasVFGNode',['../classSVF_1_1VFG.html#a30eb9d717ad5bc8a9109a7bdef38f4a1',1,'SVF::VFG']]],
-  ['hasvfgnodes_9151',['hasVFGNodes',['../classSVF_1_1VFG.html#a76af43e28630eb56a1aa5971f516d43d',1,'SVF::VFG']]],
-  ['hclust_5ffast_9152',['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_9153',['hclustMethodToString',['../namespaceSVF_1_1SVFUtil.html#a14a4c5124f2fd03ca3d898e2acd54160',1,'SVF::SVFUtil']]],
-  ['head_9154',['head',['../classSVF_1_1CFBasicBlockGWTOCycle.html#aba6a1249015322f073e05fcf089da801',1,'SVF::CFBasicBlockGWTOCycle']]],
-  ['headbegin_9155',['headBegin',['../classSVF_1_1CFBasicBlockGWTO.html#ac2fdb330a81c28cae01858952d237c7e',1,'SVF::CFBasicBlockGWTO']]],
-  ['headend_9156',['headEnd',['../classSVF_1_1CFBasicBlockGWTO.html#a822077820c188463603f8968c4535a60',1,'SVF::CFBasicBlockGWTO']]],
-  ['heapallocatorviaindcall_9157',['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_9014',['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_9015',['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_9016',['handleBlackHole',['../classSVF_1_1SVFIR.html#a2375f49c77f2285a6316e7540b051a0f',1,'SVF::SVFIR']]],
+  ['handlecall_9017',['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_9018',['handleCallRelation',['../classSVF_1_1LockAnalysis.html#ab99ef73905f35d4c20ca408586fc8680',1,'SVF::LockAnalysis::handleCallRelation()'],['../classSVF_1_1TCT.html#aac0c4c3f1c7cb1d89ebd2a3da2d49bd3',1,'SVF::TCT::handleCallRelation()']]],
+  ['handlecallsitemodref_9019',['handleCallsiteModRef',['../classSVF_1_1MRGenerator.html#acbf0be131b1fc5d0366157d300d1aa68',1,'SVF::MRGenerator']]],
+  ['handlece_9020',['handleCE',['../classSVF_1_1SymbolTableBuilder.html#abe39a7a3557899b4991bcc60d436dc50',1,'SVF::SymbolTableBuilder']]],
+  ['handlecopygep_9021',['handleCopyGep',['../classSVF_1_1Andersen.html#ab069683dd6ca563113efbde2813ab35e',1,'SVF::Andersen::handleCopyGep()'],['../classSVF_1_1AndersenSCD.html#aa0a496376f7bea2c417ef83c51d19a61',1,'SVF::AndersenSCD::handleCopyGep()']]],
+  ['handledibasictype_9022',['handleDIBasicType',['../classSVF_1_1DCHGraph.html#a86bf48776ccf53092f4cb742cf95f8eb',1,'SVF::DCHGraph']]],
+  ['handledicompositetype_9023',['handleDICompositeType',['../classSVF_1_1DCHGraph.html#a3ce75cbe92a1fa7d34c6fca2d2ca1b0f',1,'SVF::DCHGraph']]],
+  ['handlediderivedtype_9024',['handleDIDerivedType',['../classSVF_1_1DCHGraph.html#a1a4162e68b22d53e9dca73c6780ed3e5',1,'SVF::DCHGraph']]],
+  ['handledirectcall_9025',['handleDirectCall',['../classSVF_1_1SVFIRBuilder.html#a3ccc53ca9a6862674ee2ec3bd67aa515',1,'SVF::SVFIRBuilder']]],
+  ['handledisubroutinetype_9026',['handleDISubroutineType',['../classSVF_1_1DCHGraph.html#a671f379ae54eef247b5e013478eb3f0c',1,'SVF::DCHGraph']]],
+  ['handleextcall_9027',['handleExtCall',['../classSVF_1_1SVFIRBuilder.html#a8b664a9d689562bd857f056e6e08c59b',1,'SVF::SVFIRBuilder']]],
+  ['handlefork_9028',['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_9029',['handleGlobalCE',['../classSVF_1_1SymbolTableBuilder.html#a72732ec0392d9d5b900fc12177890779',1,'SVF::SymbolTableBuilder']]],
+  ['handleglobalinitializerce_9030',['handleGlobalInitializerCE',['../classSVF_1_1SymbolTableBuilder.html#a1efd9406182eb86b1ee4829c931b566d',1,'SVF::SymbolTableBuilder']]],
+  ['handleindcall_9031',['handleIndCall',['../classSVF_1_1SVFIRBuilder.html#a5ae68d4465feb54fcb8fd0cf20b7a71a',1,'SVF::SVFIRBuilder']]],
+  ['handleintervalueflow_9032',['handleInterValueFlow',['../classSVF_1_1SVFGOPT.html#a4c698184cc23730fb44904d4048958da',1,'SVF::SVFGOPT']]],
+  ['handleintra_9033',['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_9034',['handleIntraValueFlow',['../classSVF_1_1SVFGOPT.html#a21429d8c3fba209d9cdc22e3623c5573',1,'SVF::SVFGOPT']]],
+  ['handlejoin_9035',['handleJoin',['../classSVF_1_1MHP.html#a3a535274cd3349a05eeccf3c9231396a',1,'SVF::MHP::handleJoin()'],['../classSVF_1_1ForkJoinAnalysis.html#ae4d0ee03b30220793d24f814e75a440e',1,'SVF::ForkJoinAnalysis::handleJoin()']]],
+  ['handleload_9036',['handleLoad',['../classSVF_1_1AndersenWaveDiff.html#a7f2af504c4fb96e64371a8533c0525fe',1,'SVF::AndersenWaveDiff']]],
+  ['handleloadstore_9037',['handleLoadStore',['../classSVF_1_1Andersen.html#a0f32ba8cb1109c257552fa775a007ffd',1,'SVF::Andersen::handleLoadStore()'],['../classSVF_1_1AndersenSCD.html#a7ae683eb8c607a0e742b44e3019b8cbc',1,'SVF::AndersenSCD::handleLoadStore()']]],
+  ['handlenoncandidatefun_9038',['handleNonCandidateFun',['../classSVF_1_1MHP.html#a2c1e4fac7b810021939ed26307d37816',1,'SVF::MHP']]],
+  ['handleoutofbudgetdpm_9039',['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_9040',['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_9041',['handleSingleStatement',['../classSVF_1_1DDAVFSolver.html#a99f631cf1bc438e3f08f7f935e98e38d',1,'SVF::DDAVFSolver']]],
+  ['handlestatement_9042',['handleStatement',['../classSVF_1_1DDAClient.html#aec3de00152e828beb5037269430f387d',1,'SVF::DDAClient']]],
+  ['handlestore_9043',['handleStore',['../classSVF_1_1AndersenWaveDiff.html#a775a74d57842b85301daeafe64c8a5c4',1,'SVF::AndersenWaveDiff']]],
+  ['handlestoreload_9044',['handleStoreLoad',['../classSVF_1_1MTASVFGBuilder.html#a24921d1b1d79d7ef0b358be8d7a9e2c4',1,'SVF::MTASVFGBuilder']]],
+  ['handlestoreloadnonsparse_9045',['handleStoreLoadNonSparse',['../classSVF_1_1MTASVFGBuilder.html#a82b52f8e70f51353cbd7476a509ff523',1,'SVF::MTASVFGBuilder']]],
+  ['handlestoreloadwithlockprecisely_9046',['handleStoreLoadWithLockPrecisely',['../classSVF_1_1MTASVFGBuilder.html#aa861922932233ab547b63c87551b8fd3',1,'SVF::MTASVFGBuilder']]],
+  ['handlestorestore_9047',['handleStoreStore',['../classSVF_1_1MTASVFGBuilder.html#a29a14309cfa1d7c4454fb1237704e487',1,'SVF::MTASVFGBuilder']]],
+  ['handlestorestorenonsparse_9048',['handleStoreStoreNonSparse',['../classSVF_1_1MTASVFGBuilder.html#a91ff57e51b0650963b4b5541fa0f7056',1,'SVF::MTASVFGBuilder']]],
+  ['handlestorestorewithlockprecisely_9049',['handleStoreStoreWithLockPrecisely',['../classSVF_1_1MTASVFGBuilder.html#a1802d8ed854bef817afa748d2bbcea05',1,'SVF::MTASVFGBuilder']]],
+  ['handlethunkfunction_9050',['handleThunkFunction',['../CppUtil_8cpp.html#a264d15523be2c695d9cee8d49ae87ebe',1,'CppUtil.cpp']]],
+  ['handletypedef_9051',['handleTypedef',['../classSVF_1_1DCHGraph.html#a6d97a772afe16c1483e65eea81f82603',1,'SVF::DCHGraph']]],
+  ['hareparforedge_9052',['HareParForEdge',['../classSVF_1_1HareParForEdge.html#a097ccd687d7ca511a4a453dd56b7c665',1,'SVF::HareParForEdge']]],
+  ['has_5fbottom_9053',['has_bottom',['../classSVF_1_1IntervalExeState.html#a6a8c6bbff583ccd71453af5de884df89',1,'SVF::IntervalExeState']]],
+  ['has_5fstatic_9054',['has_static',['../classSVF_1_1ExtAPI.html#a9ba485eb5c452f8fb273c625126bad96',1,'SVF::ExtAPI']]],
+  ['hasactualinsvfgnodes_9055',['hasActualINSVFGNodes',['../classSVF_1_1SVFG.html#a21577bc4b4e55b23aa55083f5321b399',1,'SVF::SVFG']]],
+  ['hasactualoutsvfgnodes_9056',['hasActualOUTSVFGNodes',['../classSVF_1_1SVFG.html#ab1fde654cc464c5b4d1bafff83d346ed',1,'SVF::SVFG']]],
+  ['hasaddresstaken_9057',['hasAddressTaken',['../classSVF_1_1SVFFunction.html#a731b978178937e74c80d2882c429dc9e',1,'SVF::SVFFunction']]],
+  ['hasallcxtinlockspan_9058',['hasAllCxtInLockSpan',['../classSVF_1_1LockAnalysis.html#a3e2c8531a56c14c645d21289716515ad',1,'SVF::LockAnalysis']]],
+  ['hasbasicblock_9059',['hasBasicBlock',['../classSVF_1_1SVFFunction.html#a9a7f1f56b6cfc33e7fa241286a07fd63',1,'SVF::SVFFunction']]],
+  ['hasblackholeconstobjaddrasdef_9060',['hasBlackHoleConstObjAddrAsDef',['../classSVF_1_1VFG.html#a88f6468b9b43bbb06ef757d884580a50',1,'SVF::VFG']]],
+  ['hascallgraphedge_9061',['hasCallGraphEdge',['../classSVF_1_1PTACallGraph.html#af8df9ca6d906453fa3f7168aa84fd087',1,'SVF::PTACallGraph']]],
+  ['hascallsiteargsmap_9062',['hasCallSiteArgsMap',['../classSVF_1_1SVFIR.html#a95f77211550ec2374d57779d88cf5138',1,'SVF::SVFIR']]],
+  ['hascallsitechi_9063',['hasCallSiteChi',['../classSVF_1_1SVFG.html#ad9cc1581261182b56ae232d9a9b13296',1,'SVF::SVFG']]],
+  ['hascallsiteid_9064',['hasCallSiteID',['../classSVF_1_1PTACallGraph.html#aa8dbda3e46533680173e55d396f36756',1,'SVF::PTACallGraph']]],
+  ['hascallsitemu_9065',['hasCallSiteMu',['../classSVF_1_1SVFG.html#a842f6f2325c9e93ea96367e9cf624ee8',1,'SVF::SVFG']]],
+  ['hascdgedge_9066',['hasCDGEdge',['../classSVF_1_1CDG.html#a3cb3a5f88b8c38e53e314d7806e5efb6',1,'SVF::CDG']]],
+  ['hascdgnode_9067',['hasCDGNode',['../classSVF_1_1CDG.html#a965a30b1323fa9c9013760d410516e0e',1,'SVF::CDG']]],
+  ['hascfbasicblockedge_9068',['hasCFBasicBlockEdge',['../classSVF_1_1CFBasicBlockGraph.html#a8e41d155ded9f4527adf8f1644600839',1,'SVF::CFBasicBlockGraph::hasCFBasicBlockEdge(CFBasicBlockNode *src, CFBasicBlockNode *dst, ICFGEdge *icfgEdge)'],['../classSVF_1_1CFBasicBlockGraph.html#a154d9dae860b441b1653e0afb90f1da3',1,'SVF::CFBasicBlockGraph::hasCFBasicBlockEdge(CFBasicBlockNode *src, CFBasicBlockNode *dst) const']]],
+  ['hascfbasicblocknode_9069',['hasCFBasicBlockNode',['../classSVF_1_1CFBasicBlockGraph.html#aa2110611126556090763024828dbc516',1,'SVF::CFBasicBlockGraph']]],
+  ['haschi_9070',['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']]],
+  ['hasconstantbinaryorunaryop_9071',['hasConstantBinaryOrUnaryOp',['../BreakConstantExpr_8cpp.html#a7ba88bf4cda44accf0eba327da8ab716',1,'BreakConstantExpr.cpp']]],
+  ['hasconstantexpr_9072',['hasConstantExpr',['../BreakConstantExpr_8cpp.html#a7b06934734ebef30b8f24221e1380f93',1,'BreakConstantExpr.cpp']]],
+  ['hasconstantgep_9073',['hasConstantGEP',['../BreakConstantExpr_8cpp.html#a81381bb19688464256bd09ef22e965e4',1,'BreakConstantExpr.cpp']]],
+  ['hasconstraintnode_9074',['hasConstraintNode',['../classSVF_1_1ConstraintGraph.html#aad6c37476edfd9ae92dc8c0d004d782d',1,'SVF::ConstraintGraph']]],
+  ['hascptslist_9075',['hasCPtsList',['../classSVF_1_1MRGenerator.html#a1cb94c8a0379eb30c99f0c3cb2bfebaf',1,'SVF::MRGenerator']]],
+  ['hascxtlock_9076',['hasCxtLock',['../classSVF_1_1LockAnalysis.html#a6c918786d065309e8a7b13759f410a09',1,'SVF::LockAnalysis']]],
+  ['hascxtlockfromcxtstmt_9077',['hasCxtLockfromCxtStmt',['../classSVF_1_1LockAnalysis.html#a395df7174e06cad1971e6a81587ca043',1,'SVF::LockAnalysis']]],
+  ['hascxtstmtfrominst_9078',['hasCxtStmtfromInst',['../classSVF_1_1LockAnalysis.html#a550498f59e23d4b2fb3e0227f7135c23',1,'SVF::LockAnalysis']]],
+  ['hasdeclaration_9079',['hasDeclaration',['../classSVF_1_1LLVMModuleSet.html#a74a7961552498d1a99e1da70b7f78620',1,'SVF::LLVMModuleSet']]],
+  ['hasdef_9080',['hasDef',['../classSVF_1_1SVFG.html#a926c79813d5cfbd16201832024b95190',1,'SVF::SVFG::hasDef()'],['../classSVF_1_1VFG.html#ab5b63b4f6317bfb5875f2b977bcf26a4',1,'SVF::VFG::hasDef()']]],
+  ['hasdefinition_9081',['hasDefinition',['../classSVF_1_1LLVMModuleSet.html#a32558da64f03452c502ec57d1e106427',1,'SVF::LLVMModuleSet']]],
+  ['hasdefsvfgnode_9082',['hasDefSVFGNode',['../classSVF_1_1SVFG.html#ad2d19c5b80b01c8a7bb41100bb156279',1,'SVF::SVFG']]],
+  ['hasdfinset_9083',['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_9084',['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_9085',['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_9086',['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_9087',['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_9088',['hasEdgeDestLabels',['../structSVF_1_1DefaultDOTGraphTraits.html#a87d7b47985a849c7c4ff1c328a59c623',1,'SVF::DefaultDOTGraphTraits']]],
+  ['hasextfuncannotation_9089',['hasExtFuncAnnotation',['../classSVF_1_1ExtAPI.html#a1d7778db3b31f732f06129b49ec6dacd',1,'SVF::ExtAPI']]],
+  ['hasflag_9090',['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_9091',['hasFormalINSVFGNodes',['../classSVF_1_1SVFG.html#a65f28035e0fa5bebf76d28612b2f8ba8',1,'SVF::SVFG']]],
+  ['hasformaloutsvfgnodes_9092',['hasFormalOUTSVFGNodes',['../classSVF_1_1SVFG.html#a1f8c60ad57bf473e0186b794d666b5c2',1,'SVF::SVFG']]],
+  ['hasfunargslist_9093',['hasFunArgsList',['../classSVF_1_1SVFIR.html#ac359813747b4f75920c5f395ba74f410',1,'SVF::SVFIR']]],
+  ['hasfuncentrychi_9094',['hasFuncEntryChi',['../classSVF_1_1SVFG.html#a23ca21b90feca5e7d00c9ba9f489374a',1,'SVF::SVFG::hasFuncEntryChi()'],['../classSVF_1_1MemSSA.html#aec75259d035e3b5589e6fcbbcdfe4b2c',1,'SVF::MemSSA::hasFuncEntryChi()']]],
+  ['hasfuncretmu_9095',['hasFuncRetMu',['../classSVF_1_1SVFG.html#a32378226c18a0b1e22271a2338a635f6',1,'SVF::SVFG']]],
+  ['hasglobalrep_9096',['hasGlobalRep',['../classSVF_1_1LLVMModuleSet.html#a0e5ab0def54815f67ed7495d028dab1b',1,'SVF::LLVMModuleSet']]],
+  ['hasgnode_9097',['hasGNode',['../classSVF_1_1GenericGraph.html#a6885064afa211958af7b73f0233284e5',1,'SVF::GenericGraph']]],
+  ['hasgraphedge_9098',['hasGraphEdge',['../classSVF_1_1PTACallGraph.html#a6d29a39440d8f6290e2e8b7322b965fb',1,'SVF::PTACallGraph::hasGraphEdge()'],['../classSVF_1_1TCT.html#adb2025048dc69f0689f526c58df29802',1,'SVF::TCT::hasGraphEdge()']]],
+  ['hash_9099',['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()']]],
+  ['hasicfgnode_9100',['hasICFGNode',['../classSVF_1_1ICFG.html#a16c2ed1f9e28c84669b14dc48fb3c01a',1,'SVF::ICFG']]],
+  ['hasincomingedge_9101',['hasIncomingEdge',['../classSVF_1_1CFBasicBlockNode.html#ac468c52cc443f1137f6d5fb510a8ac46',1,'SVF::CFBasicBlockNode::hasIncomingEdge() const'],['../classSVF_1_1CFBasicBlockNode.html#a039e122b9bceabeb0b3e687b6ee14d5c',1,'SVF::CFBasicBlockNode::hasIncomingEdge(CFBasicBlockEdge *edge) const'],['../classSVF_1_1GenericNode.html#a06a7373b11143e709784de784fa476fe',1,'SVF::GenericNode::hasIncomingEdge() const'],['../classSVF_1_1GenericNode.html#add6b6b3bd45a9460335c5db9eda821b8',1,'SVF::GenericNode::hasIncomingEdge(EdgeType *edge) const']]],
+  ['hasincomingedges_9102',['hasIncomingEdges',['../classSVF_1_1SVFVar.html#a747b2c92c81d32fcd357e80d2d8fe7cc',1,'SVF::SVFVar']]],
+  ['hasincomingvariantgepedge_9103',['hasIncomingVariantGepEdge',['../classSVF_1_1SVFVar.html#a71e4fd7a1271a17e971ed90044e6da24',1,'SVF::SVFVar']]],
+  ['hasind_5fh_9104',['hasInd_h',['../classSVF_1_1POCRHybridSolver.html#a92f7dab147eab44ee5e4bdf02708c9a0',1,'SVF::POCRHybridSolver']]],
+  ['hasindcscallees_9105',['hasIndCSCallees',['../classSVF_1_1PTACallGraph.html#a71a63c53a093ea8e450fb53fd60c9424',1,'SVF::PTACallGraph::hasIndCSCallees()'],['../classSVF_1_1PointerAnalysis.html#abdacd060691add054839aa183babe095',1,'SVF::PointerAnalysis::hasIndCSCallees()']]],
+  ['hasintericfgedge_9106',['hasInterICFGEdge',['../classSVF_1_1ICFG.html#a86535e50d1feba706b19491d905baef1',1,'SVF::ICFG']]],
+  ['hasinterleavingthreads_9107',['hasInterleavingThreads',['../classSVF_1_1MHP.html#a3ba43bb0be55ffade3d70f8cbb95f88f',1,'SVF::MHP']]],
+  ['hasintersect_9108',['hasIntersect',['../classSVF_1_1AddressValue.html#a269a73753a7b495eb08bb0c9c0a58dc0',1,'SVF::AddressValue']]],
+  ['hasintervfgedge_9109',['hasInterVFGEdge',['../classSVF_1_1VFG.html#ad86631f70bd702b5635bdbeab7d884b9',1,'SVF::VFG']]],
+  ['hasintraicfgedge_9110',['hasIntraICFGEdge',['../classSVF_1_1ICFG.html#aa662baae5682ef6ec5084fa4147c9709',1,'SVF::ICFG']]],
+  ['hasintravfgedge_9111',['hasIntraVFGEdge',['../classSVF_1_1VFG.html#ac34c4529229404617c346f81cc6c141f',1,'SVF::VFG']]],
+  ['hasjoininsymmetricloop_9112',['hasJoinInSymmetricLoop',['../classSVF_1_1MHP.html#a7585f40b80c5488828576eb2f035ac61',1,'SVF::MHP::hasJoinInSymmetricLoop()'],['../classSVF_1_1ForkJoinAnalysis.html#ab69d11caf499612d108155e13adb300f',1,'SVF::ForkJoinAnalysis::hasJoinInSymmetricLoop()']]],
+  ['hasjoinloop_9113',['hasJoinLoop',['../classSVF_1_1ForkJoinAnalysis.html#a197ab02e8320affc4ba2c67fae5bf020',1,'SVF::ForkJoinAnalysis::hasJoinLoop()'],['../classSVF_1_1TCT.html#a59125bb4878bc347dbdbc74aa6ec4cdf',1,'SVF::TCT::hasJoinLoop()']]],
+  ['haslabelededge_9114',['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_9115',['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_9116',['hasLoopInfo',['../classSVF_1_1SVFLoopAndDomInfo.html#abe37f8896e2491a7a60be3fbfde8123c',1,'SVF::SVFLoopAndDomInfo::hasLoopInfo()'],['../classSVF_1_1SVFFunction.html#aee05370109d7667c40ca34c454c66714',1,'SVF::SVFFunction::hasLoopInfo()']]],
+  ['hasmodmrset_9117',['hasModMRSet',['../classSVF_1_1MRGenerator.html#a7d66a341805af7ec4e4893e5a7e0bc2d',1,'SVF::MRGenerator']]],
+  ['hasmodsideeffectofcallsite_9118',['hasModSideEffectOfCallSite',['../classSVF_1_1MRGenerator.html#a187d82895b2e1156c6dd5ae28795944f',1,'SVF::MRGenerator']]],
+  ['hasmu_9119',['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_9120',['hasNode',['../classSVF_1_1DCHGraph.html#a58341e23c1dc2b3e7fce190ed16a8a25',1,'SVF::DCHGraph']]],
+  ['hasnodestobecollapsed_9121',['hasNodesToBeCollapsed',['../classSVF_1_1ConstraintGraph.html#aa867ffe0f3639a0ef5b5c36696e733be',1,'SVF::ConstraintGraph']]],
+  ['hasnonlabelededge_9122',['hasNonlabeledEdge',['../classSVF_1_1IRGraph.html#abe0ab797a3da420e4d2f9136d64fb407',1,'SVF::IRGraph']]],
+  ['hasonecxtinlockspan_9123',['hasOneCxtInLockSpan',['../classSVF_1_1LockAnalysis.html#a7d2072c3c0ae571077a2aa2c3586451d',1,'SVF::LockAnalysis']]],
+  ['hasoutgoingedge_9124',['hasOutgoingEdge',['../classSVF_1_1CFBasicBlockNode.html#a1b02680eb7b603ffaed3eecd2f09455e',1,'SVF::CFBasicBlockNode::hasOutgoingEdge() const'],['../classSVF_1_1CFBasicBlockNode.html#a802b138a587dae6eaf2787eb2fd30f21',1,'SVF::CFBasicBlockNode::hasOutgoingEdge(CFBasicBlockEdge *edge) const'],['../classSVF_1_1GenericNode.html#a0931220d7a38e03f206cbdc6465d32ad',1,'SVF::GenericNode::hasOutgoingEdge() const'],['../classSVF_1_1GenericNode.html#aa0c40cb708b39300b3cb7354194e4993',1,'SVF::GenericNode::hasOutgoingEdge(EdgeType *edge) const']]],
+  ['hasoutgoingedges_9125',['hasOutgoingEdges',['../classSVF_1_1SVFVar.html#a9b00f9b5f8ad2422162f4396e2d8fa42',1,'SVF::SVFVar']]],
+  ['hasparentthread_9126',['hasParentThread',['../classSVF_1_1TCT.html#a6855a3a8a98591e58dba07047f7705ce',1,'SVF::TCT']]],
+  ['hasphiset_9127',['hasPHISet',['../classSVF_1_1MemSSA.html#a41bc86b7dc4d400d83c1f19ede4936ed',1,'SVF::MemSSA']]],
+  ['haspointsto_9128',['hasPointsTo',['../classSVF_1_1CondPointsToSet.html#ab1d20dfe6f243f7a09a8e2face097cc0',1,'SVF::CondPointsToSet']]],
+  ['hasprodsfromfirstrhs_9129',['hasProdsFromFirstRHS',['../classSVF_1_1CFGrammar.html#a6a0563acf39967169d6c267387539134',1,'SVF::CFGrammar']]],
+  ['hasprodsfromsecondrhs_9130',['hasProdsFromSecondRHS',['../classSVF_1_1CFGrammar.html#a6d1db255d2b526fa7fdfaa7b2146f0cd',1,'SVF::CFGrammar']]],
+  ['hasprodsfromsinglerhs_9131',['hasProdsFromSingleRHS',['../classSVF_1_1CFGrammar.html#aefdae80251eaaf9be580d26a5dd268a8',1,'SVF::CFGrammar']]],
+  ['hasptasvfstmtlist_9132',['hasPTASVFStmtList',['../classSVF_1_1SVFIR.html#a0552d565633ee22abe03085134a871c0',1,'SVF::SVFIR']]],
+  ['hasptrobj_9133',['hasPtrObj',['../classSVF_1_1MemObj.html#a6dae1b3429c6049f0153ec006d329082',1,'SVF::MemObj::hasPtrObj()'],['../classSVF_1_1ObjTypeInfo.html#ac5bae1e7917f415193a805e8d2e29320',1,'SVF::ObjTypeInfo::hasPtrObj()']]],
+  ['hasptsmap_9134',['hasPtsMap',['../classSVF_1_1CondPTAImpl.html#a597e9c4e76f358c36d4b820c4d69ebc6',1,'SVF::CondPTAImpl']]],
+  ['hasrefmrset_9135',['hasRefMRSet',['../classSVF_1_1MRGenerator.html#af06e8ac43efdedb97a2008cd93fc32d6',1,'SVF::MRGenerator']]],
+  ['hasrefsideeffectofcallsite_9136',['hasRefSideEffectOfCallSite',['../classSVF_1_1MRGenerator.html#a9718c9e8efc1e6f32441aa5f418711dd',1,'SVF::MRGenerator']]],
+  ['hasreturnmu_9137',['hasReturnMu',['../classSVF_1_1MemSSA.html#a3400d9a921672b3872656acecc3eac9f',1,'SVF::MemSSA']]],
+  ['hassbsinkflag_9138',['hasSBSinkFlag',['../classSVF_1_1Annotator.html#acbb2e202ab3fb864e70eac6b41c3899e',1,'SVF::Annotator']]],
+  ['hassbsourceflag_9139',['hasSBSourceFlag',['../classSVF_1_1Annotator.html#a3fb284999931900d92e60104980648ef',1,'SVF::Annotator']]],
+  ['hasspanfromcxtlock_9140',['hasSpanfromCxtLock',['../classSVF_1_1LockAnalysis.html#af8ada4a73bf132e1adeef7aa0522f596',1,'SVF::LockAnalysis']]],
+  ['hassvfgnode_9141',['hasSVFGNode',['../classSVF_1_1SVFG.html#a1b9d1ad76785ae0eb07979aa75325640',1,'SVF::SVFG']]],
+  ['hassvfstmtlist_9142',['hasSVFStmtList',['../classSVF_1_1MRGenerator.html#abcb903f5d5f323f319fc58f9df697f63',1,'SVF::MRGenerator::hasSVFStmtList()'],['../classSVF_1_1SVFIR.html#a63acb4d86d93ad1e88860ac839a8c654',1,'SVF::SVFIR::hasSVFStmtList()']]],
+  ['hassvftypeinfo_9143',['hasSVFTypeInfo',['../classSVF_1_1SymbolTableInfo.html#af678e138df136d6f3cd53826dfa4486c',1,'SVF::SymbolTableInfo']]],
+  ['hastctnode_9144',['hasTCTNode',['../classSVF_1_1TCT.html#a5d5a753b4d2633e3aaf58859274ffe7a',1,'SVF::TCT']]],
+  ['hasthreadforkedge_9145',['hasThreadForkEdge',['../classSVF_1_1ThreadCallGraph.html#a933a6a2f0a0c6364e8df1bc65a07192f',1,'SVF::ThreadCallGraph']]],
+  ['hasthreadicfgedge_9146',['hasThreadICFGEdge',['../classSVF_1_1ICFG.html#a29fb70d6638765ce291c5a8a11fbea64',1,'SVF::ICFG']]],
+  ['hasthreadjoinedge_9147',['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_9148',['hasThreadStmtSet',['../classSVF_1_1MHP.html#a27d031e9c7c4706d7ee1750668e83b99',1,'SVF::MHP']]],
+  ['hasthreadvfgedge_9149',['hasThreadVFGEdge',['../classSVF_1_1VFG.html#aead3b463d9aa2fae5845d97896bd18ba',1,'SVF::VFG']]],
+  ['hasvalidationtarget_9150',['hasValidationTarget',['../classSVF_1_1RaceResultValidator.html#a749793355ab8390a1e6577d7b05efddf',1,'SVF::RaceResultValidator::hasValidationTarget() const'],['../classSVF_1_1RaceResultValidator.html#a749793355ab8390a1e6577d7b05efddf',1,'SVF::RaceResultValidator::hasValidationTarget() const']]],
+  ['hasvalsym_9151',['hasValSym',['../classSVF_1_1SymbolTableInfo.html#af5e91f2ace726b1f05b045681d2bd117',1,'SVF::SymbolTableInfo']]],
+  ['hasvalue_9152',['hasValue',['../classSVF_1_1SVFVar.html#a1ace69053c2c4436fd78d5624bd0086a',1,'SVF::SVFVar']]],
+  ['hasvaluenode_9153',['hasValueNode',['../classSVF_1_1IRGraph.html#a401ec65771a3d2dcc8eb60574aadd354',1,'SVF::IRGraph']]],
+  ['hasvfgnode_9154',['hasVFGNode',['../classSVF_1_1VFG.html#a30eb9d717ad5bc8a9109a7bdef38f4a1',1,'SVF::VFG']]],
+  ['hasvfgnodes_9155',['hasVFGNodes',['../classSVF_1_1VFG.html#a76af43e28630eb56a1aa5971f516d43d',1,'SVF::VFG']]],
+  ['hclust_5ffast_9156',['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_9157',['hclustMethodToString',['../namespaceSVF_1_1SVFUtil.html#a14a4c5124f2fd03ca3d898e2acd54160',1,'SVF::SVFUtil']]],
+  ['head_9158',['head',['../classSVF_1_1CFBasicBlockGWTOCycle.html#aba6a1249015322f073e05fcf089da801',1,'SVF::CFBasicBlockGWTOCycle']]],
+  ['headbegin_9159',['headBegin',['../classSVF_1_1CFBasicBlockGWTO.html#ac2fdb330a81c28cae01858952d237c7e',1,'SVF::CFBasicBlockGWTO']]],
+  ['headend_9160',['headEnd',['../classSVF_1_1CFBasicBlockGWTO.html#a822077820c188463603f8968c4535a60',1,'SVF::CFBasicBlockGWTO']]],
+  ['heapallocatorviaindcall_9161',['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()']]]
 ];