svf-tools 1.0.809 → 1.0.810

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

@@ -1,151 +1,151 @@
 var searchData=
 [
-  ['handleaddr_9022',['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_9023',['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_9024',['handleBlackHole',['../classSVF_1_1SVFIR.html#a2375f49c77f2285a6316e7540b051a0f',1,'SVF::SVFIR']]],
-  ['handlecall_9025',['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_9026',['handleCallRelation',['../classSVF_1_1LockAnalysis.html#ab99ef73905f35d4c20ca408586fc8680',1,'SVF::LockAnalysis::handleCallRelation()'],['../classSVF_1_1TCT.html#aac0c4c3f1c7cb1d89ebd2a3da2d49bd3',1,'SVF::TCT::handleCallRelation()']]],
-  ['handlecallsitemodref_9027',['handleCallsiteModRef',['../classSVF_1_1MRGenerator.html#acbf0be131b1fc5d0366157d300d1aa68',1,'SVF::MRGenerator']]],
-  ['handlece_9028',['handleCE',['../classSVF_1_1SymbolTableBuilder.html#abe39a7a3557899b4991bcc60d436dc50',1,'SVF::SymbolTableBuilder']]],
-  ['handlecopygep_9029',['handleCopyGep',['../classSVF_1_1Andersen.html#ab069683dd6ca563113efbde2813ab35e',1,'SVF::Andersen::handleCopyGep()'],['../classSVF_1_1AndersenSCD.html#aa0a496376f7bea2c417ef83c51d19a61',1,'SVF::AndersenSCD::handleCopyGep()']]],
-  ['handledibasictype_9030',['handleDIBasicType',['../classSVF_1_1DCHGraph.html#a86bf48776ccf53092f4cb742cf95f8eb',1,'SVF::DCHGraph']]],
-  ['handledicompositetype_9031',['handleDICompositeType',['../classSVF_1_1DCHGraph.html#a3ce75cbe92a1fa7d34c6fca2d2ca1b0f',1,'SVF::DCHGraph']]],
-  ['handlediderivedtype_9032',['handleDIDerivedType',['../classSVF_1_1DCHGraph.html#a1a4162e68b22d53e9dca73c6780ed3e5',1,'SVF::DCHGraph']]],
-  ['handledirectcall_9033',['handleDirectCall',['../classSVF_1_1SVFIRBuilder.html#a3ccc53ca9a6862674ee2ec3bd67aa515',1,'SVF::SVFIRBuilder']]],
-  ['handledisubroutinetype_9034',['handleDISubroutineType',['../classSVF_1_1DCHGraph.html#a671f379ae54eef247b5e013478eb3f0c',1,'SVF::DCHGraph']]],
-  ['handleextcall_9035',['handleExtCall',['../classSVF_1_1SVFIRBuilder.html#a8b664a9d689562bd857f056e6e08c59b',1,'SVF::SVFIRBuilder']]],
-  ['handlefork_9036',['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_9037',['handleGlobalCE',['../classSVF_1_1SymbolTableBuilder.html#a72732ec0392d9d5b900fc12177890779',1,'SVF::SymbolTableBuilder']]],
-  ['handleglobalinitializerce_9038',['handleGlobalInitializerCE',['../classSVF_1_1SymbolTableBuilder.html#a1efd9406182eb86b1ee4829c931b566d',1,'SVF::SymbolTableBuilder']]],
-  ['handleindcall_9039',['handleIndCall',['../classSVF_1_1SVFIRBuilder.html#a5ae68d4465feb54fcb8fd0cf20b7a71a',1,'SVF::SVFIRBuilder']]],
-  ['handleintervalueflow_9040',['handleInterValueFlow',['../classSVF_1_1SVFGOPT.html#a4c698184cc23730fb44904d4048958da',1,'SVF::SVFGOPT']]],
-  ['handleintra_9041',['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_9042',['handleIntraValueFlow',['../classSVF_1_1SVFGOPT.html#a21429d8c3fba209d9cdc22e3623c5573',1,'SVF::SVFGOPT']]],
-  ['handlejoin_9043',['handleJoin',['../classSVF_1_1MHP.html#a3a535274cd3349a05eeccf3c9231396a',1,'SVF::MHP::handleJoin()'],['../classSVF_1_1ForkJoinAnalysis.html#ae4d0ee03b30220793d24f814e75a440e',1,'SVF::ForkJoinAnalysis::handleJoin()']]],
-  ['handleload_9044',['handleLoad',['../classSVF_1_1AndersenWaveDiff.html#a7f2af504c4fb96e64371a8533c0525fe',1,'SVF::AndersenWaveDiff']]],
-  ['handleloadstore_9045',['handleLoadStore',['../classSVF_1_1Andersen.html#a0f32ba8cb1109c257552fa775a007ffd',1,'SVF::Andersen::handleLoadStore()'],['../classSVF_1_1AndersenSCD.html#a7ae683eb8c607a0e742b44e3019b8cbc',1,'SVF::AndersenSCD::handleLoadStore()']]],
-  ['handlenoncandidatefun_9046',['handleNonCandidateFun',['../classSVF_1_1MHP.html#a2c1e4fac7b810021939ed26307d37816',1,'SVF::MHP']]],
-  ['handleoutofbudgetdpm_9047',['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_9048',['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_9049',['handleSingleStatement',['../classSVF_1_1DDAVFSolver.html#a99f631cf1bc438e3f08f7f935e98e38d',1,'SVF::DDAVFSolver']]],
-  ['handlestatement_9050',['handleStatement',['../classSVF_1_1DDAClient.html#aec3de00152e828beb5037269430f387d',1,'SVF::DDAClient']]],
-  ['handlestore_9051',['handleStore',['../classSVF_1_1AndersenWaveDiff.html#a775a74d57842b85301daeafe64c8a5c4',1,'SVF::AndersenWaveDiff']]],
-  ['handlestoreload_9052',['handleStoreLoad',['../classSVF_1_1MTASVFGBuilder.html#a24921d1b1d79d7ef0b358be8d7a9e2c4',1,'SVF::MTASVFGBuilder']]],
-  ['handlestoreloadnonsparse_9053',['handleStoreLoadNonSparse',['../classSVF_1_1MTASVFGBuilder.html#a82b52f8e70f51353cbd7476a509ff523',1,'SVF::MTASVFGBuilder']]],
-  ['handlestoreloadwithlockprecisely_9054',['handleStoreLoadWithLockPrecisely',['../classSVF_1_1MTASVFGBuilder.html#aa861922932233ab547b63c87551b8fd3',1,'SVF::MTASVFGBuilder']]],
-  ['handlestorestore_9055',['handleStoreStore',['../classSVF_1_1MTASVFGBuilder.html#a29a14309cfa1d7c4454fb1237704e487',1,'SVF::MTASVFGBuilder']]],
-  ['handlestorestorenonsparse_9056',['handleStoreStoreNonSparse',['../classSVF_1_1MTASVFGBuilder.html#a91ff57e51b0650963b4b5541fa0f7056',1,'SVF::MTASVFGBuilder']]],
-  ['handlestorestorewithlockprecisely_9057',['handleStoreStoreWithLockPrecisely',['../classSVF_1_1MTASVFGBuilder.html#a1802d8ed854bef817afa748d2bbcea05',1,'SVF::MTASVFGBuilder']]],
-  ['handlethunkfunction_9058',['handleThunkFunction',['../CppUtil_8cpp.html#a264d15523be2c695d9cee8d49ae87ebe',1,'CppUtil.cpp']]],
-  ['handletypedef_9059',['handleTypedef',['../classSVF_1_1DCHGraph.html#a6d97a772afe16c1483e65eea81f82603',1,'SVF::DCHGraph']]],
-  ['hareparforedge_9060',['HareParForEdge',['../classSVF_1_1HareParForEdge.html#a097ccd687d7ca511a4a453dd56b7c665',1,'SVF::HareParForEdge']]],
-  ['has_5fbottom_9061',['has_bottom',['../classSVF_1_1IntervalExeState.html#a6a8c6bbff583ccd71453af5de884df89',1,'SVF::IntervalExeState']]],
-  ['has_5fstatic_9062',['has_static',['../classSVF_1_1ExtAPI.html#a9ba485eb5c452f8fb273c625126bad96',1,'SVF::ExtAPI']]],
-  ['hasactualinsvfgnodes_9063',['hasActualINSVFGNodes',['../classSVF_1_1SVFG.html#a21577bc4b4e55b23aa55083f5321b399',1,'SVF::SVFG']]],
-  ['hasactualoutsvfgnodes_9064',['hasActualOUTSVFGNodes',['../classSVF_1_1SVFG.html#ab1fde654cc464c5b4d1bafff83d346ed',1,'SVF::SVFG']]],
-  ['hasaddresstaken_9065',['hasAddressTaken',['../classSVF_1_1SVFFunction.html#a731b978178937e74c80d2882c429dc9e',1,'SVF::SVFFunction']]],
-  ['hasallcxtinlockspan_9066',['hasAllCxtInLockSpan',['../classSVF_1_1LockAnalysis.html#a3e2c8531a56c14c645d21289716515ad',1,'SVF::LockAnalysis']]],
-  ['hasbasicblock_9067',['hasBasicBlock',['../classSVF_1_1SVFFunction.html#a9a7f1f56b6cfc33e7fa241286a07fd63',1,'SVF::SVFFunction']]],
-  ['hasblackholeconstobjaddrasdef_9068',['hasBlackHoleConstObjAddrAsDef',['../classSVF_1_1VFG.html#a88f6468b9b43bbb06ef757d884580a50',1,'SVF::VFG']]],
-  ['hascallgraphedge_9069',['hasCallGraphEdge',['../classSVF_1_1PTACallGraph.html#af8df9ca6d906453fa3f7168aa84fd087',1,'SVF::PTACallGraph']]],
-  ['hascallsiteargsmap_9070',['hasCallSiteArgsMap',['../classSVF_1_1SVFIR.html#a95f77211550ec2374d57779d88cf5138',1,'SVF::SVFIR']]],
-  ['hascallsitechi_9071',['hasCallSiteChi',['../classSVF_1_1SVFG.html#ad9cc1581261182b56ae232d9a9b13296',1,'SVF::SVFG']]],
-  ['hascallsiteid_9072',['hasCallSiteID',['../classSVF_1_1PTACallGraph.html#aa8dbda3e46533680173e55d396f36756',1,'SVF::PTACallGraph']]],
-  ['hascallsitemu_9073',['hasCallSiteMu',['../classSVF_1_1SVFG.html#a842f6f2325c9e93ea96367e9cf624ee8',1,'SVF::SVFG']]],
-  ['hascdgedge_9074',['hasCDGEdge',['../classSVF_1_1CDG.html#a3cb3a5f88b8c38e53e314d7806e5efb6',1,'SVF::CDG']]],
-  ['hascdgnode_9075',['hasCDGNode',['../classSVF_1_1CDG.html#a965a30b1323fa9c9013760d410516e0e',1,'SVF::CDG']]],
-  ['hascfbasicblockedge_9076',['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_9077',['hasCFBasicBlockNode',['../classSVF_1_1CFBasicBlockGraph.html#aa2110611126556090763024828dbc516',1,'SVF::CFBasicBlockGraph']]],
-  ['haschi_9078',['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_9079',['hasConstantBinaryOrUnaryOp',['../BreakConstantExpr_8cpp.html#a7ba88bf4cda44accf0eba327da8ab716',1,'BreakConstantExpr.cpp']]],
-  ['hasconstantexpr_9080',['hasConstantExpr',['../BreakConstantExpr_8cpp.html#a7b06934734ebef30b8f24221e1380f93',1,'BreakConstantExpr.cpp']]],
-  ['hasconstantgep_9081',['hasConstantGEP',['../BreakConstantExpr_8cpp.html#a81381bb19688464256bd09ef22e965e4',1,'BreakConstantExpr.cpp']]],
-  ['hasconstraintnode_9082',['hasConstraintNode',['../classSVF_1_1ConstraintGraph.html#aad6c37476edfd9ae92dc8c0d004d782d',1,'SVF::ConstraintGraph']]],
-  ['hascptslist_9083',['hasCPtsList',['../classSVF_1_1MRGenerator.html#a1cb94c8a0379eb30c99f0c3cb2bfebaf',1,'SVF::MRGenerator']]],
-  ['hascxtlock_9084',['hasCxtLock',['../classSVF_1_1LockAnalysis.html#a6c918786d065309e8a7b13759f410a09',1,'SVF::LockAnalysis']]],
-  ['hascxtlockfromcxtstmt_9085',['hasCxtLockfromCxtStmt',['../classSVF_1_1LockAnalysis.html#a395df7174e06cad1971e6a81587ca043',1,'SVF::LockAnalysis']]],
-  ['hascxtstmtfrominst_9086',['hasCxtStmtfromInst',['../classSVF_1_1LockAnalysis.html#a550498f59e23d4b2fb3e0227f7135c23',1,'SVF::LockAnalysis']]],
-  ['hasdeclaration_9087',['hasDeclaration',['../classSVF_1_1LLVMModuleSet.html#a74a7961552498d1a99e1da70b7f78620',1,'SVF::LLVMModuleSet']]],
-  ['hasdef_9088',['hasDef',['../classSVF_1_1SVFG.html#a926c79813d5cfbd16201832024b95190',1,'SVF::SVFG::hasDef()'],['../classSVF_1_1VFG.html#ab5b63b4f6317bfb5875f2b977bcf26a4',1,'SVF::VFG::hasDef()']]],
-  ['hasdefinition_9089',['hasDefinition',['../classSVF_1_1LLVMModuleSet.html#a32558da64f03452c502ec57d1e106427',1,'SVF::LLVMModuleSet']]],
-  ['hasdefsvfgnode_9090',['hasDefSVFGNode',['../classSVF_1_1SVFG.html#ad2d19c5b80b01c8a7bb41100bb156279',1,'SVF::SVFG']]],
-  ['hasdfinset_9091',['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_9092',['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_9093',['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_9094',['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_9095',['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_9096',['hasEdgeDestLabels',['../structSVF_1_1DefaultDOTGraphTraits.html#a87d7b47985a849c7c4ff1c328a59c623',1,'SVF::DefaultDOTGraphTraits']]],
-  ['hasextfuncannotation_9097',['hasExtFuncAnnotation',['../classSVF_1_1ExtAPI.html#a1d7778db3b31f732f06129b49ec6dacd',1,'SVF::ExtAPI']]],
-  ['hasflag_9098',['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_9099',['hasFormalINSVFGNodes',['../classSVF_1_1SVFG.html#a65f28035e0fa5bebf76d28612b2f8ba8',1,'SVF::SVFG']]],
-  ['hasformaloutsvfgnodes_9100',['hasFormalOUTSVFGNodes',['../classSVF_1_1SVFG.html#a1f8c60ad57bf473e0186b794d666b5c2',1,'SVF::SVFG']]],
-  ['hasfunargslist_9101',['hasFunArgsList',['../classSVF_1_1SVFIR.html#ac359813747b4f75920c5f395ba74f410',1,'SVF::SVFIR']]],
-  ['hasfuncentrychi_9102',['hasFuncEntryChi',['../classSVF_1_1SVFG.html#a23ca21b90feca5e7d00c9ba9f489374a',1,'SVF::SVFG::hasFuncEntryChi()'],['../classSVF_1_1MemSSA.html#aec75259d035e3b5589e6fcbbcdfe4b2c',1,'SVF::MemSSA::hasFuncEntryChi()']]],
-  ['hasfuncretmu_9103',['hasFuncRetMu',['../classSVF_1_1SVFG.html#a32378226c18a0b1e22271a2338a635f6',1,'SVF::SVFG']]],
-  ['hasglobalrep_9104',['hasGlobalRep',['../classSVF_1_1LLVMModuleSet.html#a0e5ab0def54815f67ed7495d028dab1b',1,'SVF::LLVMModuleSet']]],
-  ['hasgnode_9105',['hasGNode',['../classSVF_1_1GenericGraph.html#a6885064afa211958af7b73f0233284e5',1,'SVF::GenericGraph']]],
-  ['hasgraphedge_9106',['hasGraphEdge',['../classSVF_1_1PTACallGraph.html#a6d29a39440d8f6290e2e8b7322b965fb',1,'SVF::PTACallGraph::hasGraphEdge()'],['../classSVF_1_1TCT.html#adb2025048dc69f0689f526c58df29802',1,'SVF::TCT::hasGraphEdge()']]],
-  ['hash_9107',['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_9108',['hasICFGNode',['../classSVF_1_1ICFG.html#a16c2ed1f9e28c84669b14dc48fb3c01a',1,'SVF::ICFG']]],
-  ['hasincomingedge_9109',['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_9110',['hasIncomingEdges',['../classSVF_1_1SVFVar.html#a747b2c92c81d32fcd357e80d2d8fe7cc',1,'SVF::SVFVar']]],
-  ['hasincomingvariantgepedge_9111',['hasIncomingVariantGepEdge',['../classSVF_1_1SVFVar.html#a71e4fd7a1271a17e971ed90044e6da24',1,'SVF::SVFVar']]],
-  ['hasind_5fh_9112',['hasInd_h',['../classSVF_1_1POCRHybridSolver.html#a92f7dab147eab44ee5e4bdf02708c9a0',1,'SVF::POCRHybridSolver']]],
-  ['hasindcscallees_9113',['hasIndCSCallees',['../classSVF_1_1PTACallGraph.html#a71a63c53a093ea8e450fb53fd60c9424',1,'SVF::PTACallGraph::hasIndCSCallees()'],['../classSVF_1_1PointerAnalysis.html#abdacd060691add054839aa183babe095',1,'SVF::PointerAnalysis::hasIndCSCallees()']]],
-  ['hasintericfgedge_9114',['hasInterICFGEdge',['../classSVF_1_1ICFG.html#a86535e50d1feba706b19491d905baef1',1,'SVF::ICFG']]],
-  ['hasinterleavingthreads_9115',['hasInterleavingThreads',['../classSVF_1_1MHP.html#a3ba43bb0be55ffade3d70f8cbb95f88f',1,'SVF::MHP']]],
-  ['hasintersect_9116',['hasIntersect',['../classSVF_1_1AddressValue.html#a269a73753a7b495eb08bb0c9c0a58dc0',1,'SVF::AddressValue']]],
-  ['hasintervfgedge_9117',['hasInterVFGEdge',['../classSVF_1_1VFG.html#ad86631f70bd702b5635bdbeab7d884b9',1,'SVF::VFG']]],
-  ['hasintraicfgedge_9118',['hasIntraICFGEdge',['../classSVF_1_1ICFG.html#aa662baae5682ef6ec5084fa4147c9709',1,'SVF::ICFG']]],
-  ['hasintravfgedge_9119',['hasIntraVFGEdge',['../classSVF_1_1VFG.html#ac34c4529229404617c346f81cc6c141f',1,'SVF::VFG']]],
-  ['hasjoininsymmetricloop_9120',['hasJoinInSymmetricLoop',['../classSVF_1_1MHP.html#a7585f40b80c5488828576eb2f035ac61',1,'SVF::MHP::hasJoinInSymmetricLoop()'],['../classSVF_1_1ForkJoinAnalysis.html#ab69d11caf499612d108155e13adb300f',1,'SVF::ForkJoinAnalysis::hasJoinInSymmetricLoop()']]],
-  ['hasjoinloop_9121',['hasJoinLoop',['../classSVF_1_1ForkJoinAnalysis.html#a197ab02e8320affc4ba2c67fae5bf020',1,'SVF::ForkJoinAnalysis::hasJoinLoop()'],['../classSVF_1_1TCT.html#a59125bb4878bc347dbdbc74aa6ec4cdf',1,'SVF::TCT::hasJoinLoop()']]],
-  ['haslabelededge_9122',['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_9123',['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_9124',['hasLoopInfo',['../classSVF_1_1SVFLoopAndDomInfo.html#abe37f8896e2491a7a60be3fbfde8123c',1,'SVF::SVFLoopAndDomInfo::hasLoopInfo()'],['../classSVF_1_1SVFFunction.html#aee05370109d7667c40ca34c454c66714',1,'SVF::SVFFunction::hasLoopInfo()']]],
-  ['hasmodmrset_9125',['hasModMRSet',['../classSVF_1_1MRGenerator.html#a7d66a341805af7ec4e4893e5a7e0bc2d',1,'SVF::MRGenerator']]],
-  ['hasmodsideeffectofcallsite_9126',['hasModSideEffectOfCallSite',['../classSVF_1_1MRGenerator.html#a187d82895b2e1156c6dd5ae28795944f',1,'SVF::MRGenerator']]],
-  ['hasmu_9127',['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_9128',['hasNode',['../classSVF_1_1DCHGraph.html#a58341e23c1dc2b3e7fce190ed16a8a25',1,'SVF::DCHGraph']]],
-  ['hasnodestobecollapsed_9129',['hasNodesToBeCollapsed',['../classSVF_1_1ConstraintGraph.html#aa867ffe0f3639a0ef5b5c36696e733be',1,'SVF::ConstraintGraph']]],
-  ['hasnonlabelededge_9130',['hasNonlabeledEdge',['../classSVF_1_1IRGraph.html#abe0ab797a3da420e4d2f9136d64fb407',1,'SVF::IRGraph']]],
-  ['hasonecxtinlockspan_9131',['hasOneCxtInLockSpan',['../classSVF_1_1LockAnalysis.html#a7d2072c3c0ae571077a2aa2c3586451d',1,'SVF::LockAnalysis']]],
-  ['hasoutgoingedge_9132',['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_9133',['hasOutgoingEdges',['../classSVF_1_1SVFVar.html#a9b00f9b5f8ad2422162f4396e2d8fa42',1,'SVF::SVFVar']]],
-  ['hasparentthread_9134',['hasParentThread',['../classSVF_1_1TCT.html#a6855a3a8a98591e58dba07047f7705ce',1,'SVF::TCT']]],
-  ['hasphiset_9135',['hasPHISet',['../classSVF_1_1MemSSA.html#a41bc86b7dc4d400d83c1f19ede4936ed',1,'SVF::MemSSA']]],
-  ['haspointsto_9136',['hasPointsTo',['../classSVF_1_1CondPointsToSet.html#ab1d20dfe6f243f7a09a8e2face097cc0',1,'SVF::CondPointsToSet']]],
-  ['hasprodsfromfirstrhs_9137',['hasProdsFromFirstRHS',['../classSVF_1_1CFGrammar.html#a6a0563acf39967169d6c267387539134',1,'SVF::CFGrammar']]],
-  ['hasprodsfromsecondrhs_9138',['hasProdsFromSecondRHS',['../classSVF_1_1CFGrammar.html#a6d1db255d2b526fa7fdfaa7b2146f0cd',1,'SVF::CFGrammar']]],
-  ['hasprodsfromsinglerhs_9139',['hasProdsFromSingleRHS',['../classSVF_1_1CFGrammar.html#aefdae80251eaaf9be580d26a5dd268a8',1,'SVF::CFGrammar']]],
-  ['hasptasvfstmtlist_9140',['hasPTASVFStmtList',['../classSVF_1_1SVFIR.html#a0552d565633ee22abe03085134a871c0',1,'SVF::SVFIR']]],
-  ['hasptrobj_9141',['hasPtrObj',['../classSVF_1_1MemObj.html#a6dae1b3429c6049f0153ec006d329082',1,'SVF::MemObj::hasPtrObj()'],['../classSVF_1_1ObjTypeInfo.html#ac5bae1e7917f415193a805e8d2e29320',1,'SVF::ObjTypeInfo::hasPtrObj()']]],
-  ['hasptsmap_9142',['hasPtsMap',['../classSVF_1_1CondPTAImpl.html#a597e9c4e76f358c36d4b820c4d69ebc6',1,'SVF::CondPTAImpl']]],
-  ['hasrefmrset_9143',['hasRefMRSet',['../classSVF_1_1MRGenerator.html#af06e8ac43efdedb97a2008cd93fc32d6',1,'SVF::MRGenerator']]],
-  ['hasrefsideeffectofcallsite_9144',['hasRefSideEffectOfCallSite',['../classSVF_1_1MRGenerator.html#a9718c9e8efc1e6f32441aa5f418711dd',1,'SVF::MRGenerator']]],
-  ['hasreturnmu_9145',['hasReturnMu',['../classSVF_1_1MemSSA.html#a3400d9a921672b3872656acecc3eac9f',1,'SVF::MemSSA']]],
-  ['hassbsinkflag_9146',['hasSBSinkFlag',['../classSVF_1_1Annotator.html#acbb2e202ab3fb864e70eac6b41c3899e',1,'SVF::Annotator']]],
-  ['hassbsourceflag_9147',['hasSBSourceFlag',['../classSVF_1_1Annotator.html#a3fb284999931900d92e60104980648ef',1,'SVF::Annotator']]],
-  ['hasspanfromcxtlock_9148',['hasSpanfromCxtLock',['../classSVF_1_1LockAnalysis.html#af8ada4a73bf132e1adeef7aa0522f596',1,'SVF::LockAnalysis']]],
-  ['hassvfgnode_9149',['hasSVFGNode',['../classSVF_1_1SVFG.html#a1b9d1ad76785ae0eb07979aa75325640',1,'SVF::SVFG']]],
-  ['hassvfstmtlist_9150',['hasSVFStmtList',['../classSVF_1_1MRGenerator.html#abcb903f5d5f323f319fc58f9df697f63',1,'SVF::MRGenerator::hasSVFStmtList()'],['../classSVF_1_1SVFIR.html#a63acb4d86d93ad1e88860ac839a8c654',1,'SVF::SVFIR::hasSVFStmtList()']]],
-  ['hassvftypeinfo_9151',['hasSVFTypeInfo',['../classSVF_1_1SymbolTableInfo.html#af678e138df136d6f3cd53826dfa4486c',1,'SVF::SymbolTableInfo']]],
-  ['hastctnode_9152',['hasTCTNode',['../classSVF_1_1TCT.html#a5d5a753b4d2633e3aaf58859274ffe7a',1,'SVF::TCT']]],
-  ['hasthreadforkedge_9153',['hasThreadForkEdge',['../classSVF_1_1ThreadCallGraph.html#a933a6a2f0a0c6364e8df1bc65a07192f',1,'SVF::ThreadCallGraph']]],
-  ['hasthreadicfgedge_9154',['hasThreadICFGEdge',['../classSVF_1_1ICFG.html#a29fb70d6638765ce291c5a8a11fbea64',1,'SVF::ICFG']]],
-  ['hasthreadjoinedge_9155',['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_9156',['hasThreadStmtSet',['../classSVF_1_1MHP.html#a27d031e9c7c4706d7ee1750668e83b99',1,'SVF::MHP']]],
-  ['hasthreadvfgedge_9157',['hasThreadVFGEdge',['../classSVF_1_1VFG.html#aead3b463d9aa2fae5845d97896bd18ba',1,'SVF::VFG']]],
-  ['hasvalidationtarget_9158',['hasValidationTarget',['../classSVF_1_1RaceResultValidator.html#a749793355ab8390a1e6577d7b05efddf',1,'SVF::RaceResultValidator::hasValidationTarget() const'],['../classSVF_1_1RaceResultValidator.html#a749793355ab8390a1e6577d7b05efddf',1,'SVF::RaceResultValidator::hasValidationTarget() const']]],
-  ['hasvalsym_9159',['hasValSym',['../classSVF_1_1SymbolTableInfo.html#af5e91f2ace726b1f05b045681d2bd117',1,'SVF::SymbolTableInfo']]],
-  ['hasvalue_9160',['hasValue',['../classSVF_1_1SVFVar.html#a1ace69053c2c4436fd78d5624bd0086a',1,'SVF::SVFVar']]],
-  ['hasvaluenode_9161',['hasValueNode',['../classSVF_1_1IRGraph.html#a401ec65771a3d2dcc8eb60574aadd354',1,'SVF::IRGraph']]],
-  ['hasvfgnode_9162',['hasVFGNode',['../classSVF_1_1VFG.html#a30eb9d717ad5bc8a9109a7bdef38f4a1',1,'SVF::VFG']]],
-  ['hasvfgnodes_9163',['hasVFGNodes',['../classSVF_1_1VFG.html#a76af43e28630eb56a1aa5971f516d43d',1,'SVF::VFG']]],
-  ['hclust_5ffast_9164',['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_9165',['hclustMethodToString',['../namespaceSVF_1_1SVFUtil.html#a14a4c5124f2fd03ca3d898e2acd54160',1,'SVF::SVFUtil']]],
-  ['head_9166',['head',['../classSVF_1_1CFBasicBlockGWTOCycle.html#aba6a1249015322f073e05fcf089da801',1,'SVF::CFBasicBlockGWTOCycle']]],
-  ['headbegin_9167',['headBegin',['../classSVF_1_1CFBasicBlockGWTO.html#ac2fdb330a81c28cae01858952d237c7e',1,'SVF::CFBasicBlockGWTO']]],
-  ['headend_9168',['headEnd',['../classSVF_1_1CFBasicBlockGWTO.html#a822077820c188463603f8968c4535a60',1,'SVF::CFBasicBlockGWTO']]],
-  ['heapallocatorviaindcall_9169',['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_9026',['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_9027',['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_9028',['handleBlackHole',['../classSVF_1_1SVFIR.html#a2375f49c77f2285a6316e7540b051a0f',1,'SVF::SVFIR']]],
+  ['handlecall_9029',['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_9030',['handleCallRelation',['../classSVF_1_1LockAnalysis.html#ab99ef73905f35d4c20ca408586fc8680',1,'SVF::LockAnalysis::handleCallRelation()'],['../classSVF_1_1TCT.html#aac0c4c3f1c7cb1d89ebd2a3da2d49bd3',1,'SVF::TCT::handleCallRelation()']]],
+  ['handlecallsitemodref_9031',['handleCallsiteModRef',['../classSVF_1_1MRGenerator.html#acbf0be131b1fc5d0366157d300d1aa68',1,'SVF::MRGenerator']]],
+  ['handlece_9032',['handleCE',['../classSVF_1_1SymbolTableBuilder.html#abe39a7a3557899b4991bcc60d436dc50',1,'SVF::SymbolTableBuilder']]],
+  ['handlecopygep_9033',['handleCopyGep',['../classSVF_1_1Andersen.html#ab069683dd6ca563113efbde2813ab35e',1,'SVF::Andersen::handleCopyGep()'],['../classSVF_1_1AndersenSCD.html#aa0a496376f7bea2c417ef83c51d19a61',1,'SVF::AndersenSCD::handleCopyGep()']]],
+  ['handledibasictype_9034',['handleDIBasicType',['../classSVF_1_1DCHGraph.html#a86bf48776ccf53092f4cb742cf95f8eb',1,'SVF::DCHGraph']]],
+  ['handledicompositetype_9035',['handleDICompositeType',['../classSVF_1_1DCHGraph.html#a3ce75cbe92a1fa7d34c6fca2d2ca1b0f',1,'SVF::DCHGraph']]],
+  ['handlediderivedtype_9036',['handleDIDerivedType',['../classSVF_1_1DCHGraph.html#a1a4162e68b22d53e9dca73c6780ed3e5',1,'SVF::DCHGraph']]],
+  ['handledirectcall_9037',['handleDirectCall',['../classSVF_1_1SVFIRBuilder.html#a3ccc53ca9a6862674ee2ec3bd67aa515',1,'SVF::SVFIRBuilder']]],
+  ['handledisubroutinetype_9038',['handleDISubroutineType',['../classSVF_1_1DCHGraph.html#a671f379ae54eef247b5e013478eb3f0c',1,'SVF::DCHGraph']]],
+  ['handleextcall_9039',['handleExtCall',['../classSVF_1_1SVFIRBuilder.html#a8b664a9d689562bd857f056e6e08c59b',1,'SVF::SVFIRBuilder']]],
+  ['handlefork_9040',['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_9041',['handleGlobalCE',['../classSVF_1_1SymbolTableBuilder.html#a72732ec0392d9d5b900fc12177890779',1,'SVF::SymbolTableBuilder']]],
+  ['handleglobalinitializerce_9042',['handleGlobalInitializerCE',['../classSVF_1_1SymbolTableBuilder.html#a1efd9406182eb86b1ee4829c931b566d',1,'SVF::SymbolTableBuilder']]],
+  ['handleindcall_9043',['handleIndCall',['../classSVF_1_1SVFIRBuilder.html#a5ae68d4465feb54fcb8fd0cf20b7a71a',1,'SVF::SVFIRBuilder']]],
+  ['handleintervalueflow_9044',['handleInterValueFlow',['../classSVF_1_1SVFGOPT.html#a4c698184cc23730fb44904d4048958da',1,'SVF::SVFGOPT']]],
+  ['handleintra_9045',['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_9046',['handleIntraValueFlow',['../classSVF_1_1SVFGOPT.html#a21429d8c3fba209d9cdc22e3623c5573',1,'SVF::SVFGOPT']]],
+  ['handlejoin_9047',['handleJoin',['../classSVF_1_1MHP.html#a3a535274cd3349a05eeccf3c9231396a',1,'SVF::MHP::handleJoin()'],['../classSVF_1_1ForkJoinAnalysis.html#ae4d0ee03b30220793d24f814e75a440e',1,'SVF::ForkJoinAnalysis::handleJoin()']]],
+  ['handleload_9048',['handleLoad',['../classSVF_1_1AndersenWaveDiff.html#a7f2af504c4fb96e64371a8533c0525fe',1,'SVF::AndersenWaveDiff']]],
+  ['handleloadstore_9049',['handleLoadStore',['../classSVF_1_1Andersen.html#a0f32ba8cb1109c257552fa775a007ffd',1,'SVF::Andersen::handleLoadStore()'],['../classSVF_1_1AndersenSCD.html#a7ae683eb8c607a0e742b44e3019b8cbc',1,'SVF::AndersenSCD::handleLoadStore()']]],
+  ['handlenoncandidatefun_9050',['handleNonCandidateFun',['../classSVF_1_1MHP.html#a2c1e4fac7b810021939ed26307d37816',1,'SVF::MHP']]],
+  ['handleoutofbudgetdpm_9051',['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_9052',['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_9053',['handleSingleStatement',['../classSVF_1_1DDAVFSolver.html#a99f631cf1bc438e3f08f7f935e98e38d',1,'SVF::DDAVFSolver']]],
+  ['handlestatement_9054',['handleStatement',['../classSVF_1_1DDAClient.html#aec3de00152e828beb5037269430f387d',1,'SVF::DDAClient']]],
+  ['handlestore_9055',['handleStore',['../classSVF_1_1AndersenWaveDiff.html#a775a74d57842b85301daeafe64c8a5c4',1,'SVF::AndersenWaveDiff']]],
+  ['handlestoreload_9056',['handleStoreLoad',['../classSVF_1_1MTASVFGBuilder.html#a24921d1b1d79d7ef0b358be8d7a9e2c4',1,'SVF::MTASVFGBuilder']]],
+  ['handlestoreloadnonsparse_9057',['handleStoreLoadNonSparse',['../classSVF_1_1MTASVFGBuilder.html#a82b52f8e70f51353cbd7476a509ff523',1,'SVF::MTASVFGBuilder']]],
+  ['handlestoreloadwithlockprecisely_9058',['handleStoreLoadWithLockPrecisely',['../classSVF_1_1MTASVFGBuilder.html#aa861922932233ab547b63c87551b8fd3',1,'SVF::MTASVFGBuilder']]],
+  ['handlestorestore_9059',['handleStoreStore',['../classSVF_1_1MTASVFGBuilder.html#a29a14309cfa1d7c4454fb1237704e487',1,'SVF::MTASVFGBuilder']]],
+  ['handlestorestorenonsparse_9060',['handleStoreStoreNonSparse',['../classSVF_1_1MTASVFGBuilder.html#a91ff57e51b0650963b4b5541fa0f7056',1,'SVF::MTASVFGBuilder']]],
+  ['handlestorestorewithlockprecisely_9061',['handleStoreStoreWithLockPrecisely',['../classSVF_1_1MTASVFGBuilder.html#a1802d8ed854bef817afa748d2bbcea05',1,'SVF::MTASVFGBuilder']]],
+  ['handlethunkfunction_9062',['handleThunkFunction',['../CppUtil_8cpp.html#a264d15523be2c695d9cee8d49ae87ebe',1,'CppUtil.cpp']]],
+  ['handletypedef_9063',['handleTypedef',['../classSVF_1_1DCHGraph.html#a6d97a772afe16c1483e65eea81f82603',1,'SVF::DCHGraph']]],
+  ['hareparforedge_9064',['HareParForEdge',['../classSVF_1_1HareParForEdge.html#a097ccd687d7ca511a4a453dd56b7c665',1,'SVF::HareParForEdge']]],
+  ['has_5fbottom_9065',['has_bottom',['../classSVF_1_1IntervalExeState.html#a6a8c6bbff583ccd71453af5de884df89',1,'SVF::IntervalExeState']]],
+  ['has_5fstatic_9066',['has_static',['../classSVF_1_1ExtAPI.html#a9ba485eb5c452f8fb273c625126bad96',1,'SVF::ExtAPI']]],
+  ['hasactualinsvfgnodes_9067',['hasActualINSVFGNodes',['../classSVF_1_1SVFG.html#a21577bc4b4e55b23aa55083f5321b399',1,'SVF::SVFG']]],
+  ['hasactualoutsvfgnodes_9068',['hasActualOUTSVFGNodes',['../classSVF_1_1SVFG.html#ab1fde654cc464c5b4d1bafff83d346ed',1,'SVF::SVFG']]],
+  ['hasaddresstaken_9069',['hasAddressTaken',['../classSVF_1_1SVFFunction.html#a731b978178937e74c80d2882c429dc9e',1,'SVF::SVFFunction']]],
+  ['hasallcxtinlockspan_9070',['hasAllCxtInLockSpan',['../classSVF_1_1LockAnalysis.html#a3e2c8531a56c14c645d21289716515ad',1,'SVF::LockAnalysis']]],
+  ['hasbasicblock_9071',['hasBasicBlock',['../classSVF_1_1SVFFunction.html#a9a7f1f56b6cfc33e7fa241286a07fd63',1,'SVF::SVFFunction']]],
+  ['hasblackholeconstobjaddrasdef_9072',['hasBlackHoleConstObjAddrAsDef',['../classSVF_1_1VFG.html#a88f6468b9b43bbb06ef757d884580a50',1,'SVF::VFG']]],
+  ['hascallgraphedge_9073',['hasCallGraphEdge',['../classSVF_1_1PTACallGraph.html#af8df9ca6d906453fa3f7168aa84fd087',1,'SVF::PTACallGraph']]],
+  ['hascallsiteargsmap_9074',['hasCallSiteArgsMap',['../classSVF_1_1SVFIR.html#a95f77211550ec2374d57779d88cf5138',1,'SVF::SVFIR']]],
+  ['hascallsitechi_9075',['hasCallSiteChi',['../classSVF_1_1SVFG.html#ad9cc1581261182b56ae232d9a9b13296',1,'SVF::SVFG']]],
+  ['hascallsiteid_9076',['hasCallSiteID',['../classSVF_1_1PTACallGraph.html#aa8dbda3e46533680173e55d396f36756',1,'SVF::PTACallGraph']]],
+  ['hascallsitemu_9077',['hasCallSiteMu',['../classSVF_1_1SVFG.html#a842f6f2325c9e93ea96367e9cf624ee8',1,'SVF::SVFG']]],
+  ['hascdgedge_9078',['hasCDGEdge',['../classSVF_1_1CDG.html#a3cb3a5f88b8c38e53e314d7806e5efb6',1,'SVF::CDG']]],
+  ['hascdgnode_9079',['hasCDGNode',['../classSVF_1_1CDG.html#a965a30b1323fa9c9013760d410516e0e',1,'SVF::CDG']]],
+  ['hascfbasicblockedge_9080',['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_9081',['hasCFBasicBlockNode',['../classSVF_1_1CFBasicBlockGraph.html#aa2110611126556090763024828dbc516',1,'SVF::CFBasicBlockGraph']]],
+  ['haschi_9082',['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_9083',['hasConstantBinaryOrUnaryOp',['../BreakConstantExpr_8cpp.html#a7ba88bf4cda44accf0eba327da8ab716',1,'BreakConstantExpr.cpp']]],
+  ['hasconstantexpr_9084',['hasConstantExpr',['../BreakConstantExpr_8cpp.html#a7b06934734ebef30b8f24221e1380f93',1,'BreakConstantExpr.cpp']]],
+  ['hasconstantgep_9085',['hasConstantGEP',['../BreakConstantExpr_8cpp.html#a81381bb19688464256bd09ef22e965e4',1,'BreakConstantExpr.cpp']]],
+  ['hasconstraintnode_9086',['hasConstraintNode',['../classSVF_1_1ConstraintGraph.html#aad6c37476edfd9ae92dc8c0d004d782d',1,'SVF::ConstraintGraph']]],
+  ['hascptslist_9087',['hasCPtsList',['../classSVF_1_1MRGenerator.html#a1cb94c8a0379eb30c99f0c3cb2bfebaf',1,'SVF::MRGenerator']]],
+  ['hascxtlock_9088',['hasCxtLock',['../classSVF_1_1LockAnalysis.html#a6c918786d065309e8a7b13759f410a09',1,'SVF::LockAnalysis']]],
+  ['hascxtlockfromcxtstmt_9089',['hasCxtLockfromCxtStmt',['../classSVF_1_1LockAnalysis.html#a395df7174e06cad1971e6a81587ca043',1,'SVF::LockAnalysis']]],
+  ['hascxtstmtfrominst_9090',['hasCxtStmtfromInst',['../classSVF_1_1LockAnalysis.html#a550498f59e23d4b2fb3e0227f7135c23',1,'SVF::LockAnalysis']]],
+  ['hasdeclaration_9091',['hasDeclaration',['../classSVF_1_1LLVMModuleSet.html#a74a7961552498d1a99e1da70b7f78620',1,'SVF::LLVMModuleSet']]],
+  ['hasdef_9092',['hasDef',['../classSVF_1_1SVFG.html#a926c79813d5cfbd16201832024b95190',1,'SVF::SVFG::hasDef()'],['../classSVF_1_1VFG.html#ab5b63b4f6317bfb5875f2b977bcf26a4',1,'SVF::VFG::hasDef()']]],
+  ['hasdefinition_9093',['hasDefinition',['../classSVF_1_1LLVMModuleSet.html#a32558da64f03452c502ec57d1e106427',1,'SVF::LLVMModuleSet']]],
+  ['hasdefsvfgnode_9094',['hasDefSVFGNode',['../classSVF_1_1SVFG.html#ad2d19c5b80b01c8a7bb41100bb156279',1,'SVF::SVFG']]],
+  ['hasdfinset_9095',['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_9096',['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_9097',['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_9098',['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_9099',['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_9100',['hasEdgeDestLabels',['../structSVF_1_1DefaultDOTGraphTraits.html#a87d7b47985a849c7c4ff1c328a59c623',1,'SVF::DefaultDOTGraphTraits']]],
+  ['hasextfuncannotation_9101',['hasExtFuncAnnotation',['../classSVF_1_1ExtAPI.html#a1d7778db3b31f732f06129b49ec6dacd',1,'SVF::ExtAPI']]],
+  ['hasflag_9102',['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_9103',['hasFormalINSVFGNodes',['../classSVF_1_1SVFG.html#a65f28035e0fa5bebf76d28612b2f8ba8',1,'SVF::SVFG']]],
+  ['hasformaloutsvfgnodes_9104',['hasFormalOUTSVFGNodes',['../classSVF_1_1SVFG.html#a1f8c60ad57bf473e0186b794d666b5c2',1,'SVF::SVFG']]],
+  ['hasfunargslist_9105',['hasFunArgsList',['../classSVF_1_1SVFIR.html#ac359813747b4f75920c5f395ba74f410',1,'SVF::SVFIR']]],
+  ['hasfuncentrychi_9106',['hasFuncEntryChi',['../classSVF_1_1SVFG.html#a23ca21b90feca5e7d00c9ba9f489374a',1,'SVF::SVFG::hasFuncEntryChi()'],['../classSVF_1_1MemSSA.html#aec75259d035e3b5589e6fcbbcdfe4b2c',1,'SVF::MemSSA::hasFuncEntryChi()']]],
+  ['hasfuncretmu_9107',['hasFuncRetMu',['../classSVF_1_1SVFG.html#a32378226c18a0b1e22271a2338a635f6',1,'SVF::SVFG']]],
+  ['hasglobalrep_9108',['hasGlobalRep',['../classSVF_1_1LLVMModuleSet.html#a0e5ab0def54815f67ed7495d028dab1b',1,'SVF::LLVMModuleSet']]],
+  ['hasgnode_9109',['hasGNode',['../classSVF_1_1GenericGraph.html#a6885064afa211958af7b73f0233284e5',1,'SVF::GenericGraph']]],
+  ['hasgraphedge_9110',['hasGraphEdge',['../classSVF_1_1PTACallGraph.html#a6d29a39440d8f6290e2e8b7322b965fb',1,'SVF::PTACallGraph::hasGraphEdge()'],['../classSVF_1_1TCT.html#adb2025048dc69f0689f526c58df29802',1,'SVF::TCT::hasGraphEdge()']]],
+  ['hash_9111',['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_9112',['hasICFGNode',['../classSVF_1_1ICFG.html#a16c2ed1f9e28c84669b14dc48fb3c01a',1,'SVF::ICFG']]],
+  ['hasincomingedge_9113',['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_9114',['hasIncomingEdges',['../classSVF_1_1SVFVar.html#a747b2c92c81d32fcd357e80d2d8fe7cc',1,'SVF::SVFVar']]],
+  ['hasincomingvariantgepedge_9115',['hasIncomingVariantGepEdge',['../classSVF_1_1SVFVar.html#a71e4fd7a1271a17e971ed90044e6da24',1,'SVF::SVFVar']]],
+  ['hasind_5fh_9116',['hasInd_h',['../classSVF_1_1POCRHybridSolver.html#a92f7dab147eab44ee5e4bdf02708c9a0',1,'SVF::POCRHybridSolver']]],
+  ['hasindcscallees_9117',['hasIndCSCallees',['../classSVF_1_1PTACallGraph.html#a71a63c53a093ea8e450fb53fd60c9424',1,'SVF::PTACallGraph::hasIndCSCallees()'],['../classSVF_1_1PointerAnalysis.html#abdacd060691add054839aa183babe095',1,'SVF::PointerAnalysis::hasIndCSCallees()']]],
+  ['hasintericfgedge_9118',['hasInterICFGEdge',['../classSVF_1_1ICFG.html#a86535e50d1feba706b19491d905baef1',1,'SVF::ICFG']]],
+  ['hasinterleavingthreads_9119',['hasInterleavingThreads',['../classSVF_1_1MHP.html#a3ba43bb0be55ffade3d70f8cbb95f88f',1,'SVF::MHP']]],
+  ['hasintersect_9120',['hasIntersect',['../classSVF_1_1AddressValue.html#a269a73753a7b495eb08bb0c9c0a58dc0',1,'SVF::AddressValue']]],
+  ['hasintervfgedge_9121',['hasInterVFGEdge',['../classSVF_1_1VFG.html#ad86631f70bd702b5635bdbeab7d884b9',1,'SVF::VFG']]],
+  ['hasintraicfgedge_9122',['hasIntraICFGEdge',['../classSVF_1_1ICFG.html#aa662baae5682ef6ec5084fa4147c9709',1,'SVF::ICFG']]],
+  ['hasintravfgedge_9123',['hasIntraVFGEdge',['../classSVF_1_1VFG.html#ac34c4529229404617c346f81cc6c141f',1,'SVF::VFG']]],
+  ['hasjoininsymmetricloop_9124',['hasJoinInSymmetricLoop',['../classSVF_1_1MHP.html#a7585f40b80c5488828576eb2f035ac61',1,'SVF::MHP::hasJoinInSymmetricLoop()'],['../classSVF_1_1ForkJoinAnalysis.html#ab69d11caf499612d108155e13adb300f',1,'SVF::ForkJoinAnalysis::hasJoinInSymmetricLoop()']]],
+  ['hasjoinloop_9125',['hasJoinLoop',['../classSVF_1_1ForkJoinAnalysis.html#a197ab02e8320affc4ba2c67fae5bf020',1,'SVF::ForkJoinAnalysis::hasJoinLoop()'],['../classSVF_1_1TCT.html#a59125bb4878bc347dbdbc74aa6ec4cdf',1,'SVF::TCT::hasJoinLoop()']]],
+  ['haslabelededge_9126',['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_9127',['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_9128',['hasLoopInfo',['../classSVF_1_1SVFLoopAndDomInfo.html#abe37f8896e2491a7a60be3fbfde8123c',1,'SVF::SVFLoopAndDomInfo::hasLoopInfo()'],['../classSVF_1_1SVFFunction.html#aee05370109d7667c40ca34c454c66714',1,'SVF::SVFFunction::hasLoopInfo()']]],
+  ['hasmodmrset_9129',['hasModMRSet',['../classSVF_1_1MRGenerator.html#a7d66a341805af7ec4e4893e5a7e0bc2d',1,'SVF::MRGenerator']]],
+  ['hasmodsideeffectofcallsite_9130',['hasModSideEffectOfCallSite',['../classSVF_1_1MRGenerator.html#a187d82895b2e1156c6dd5ae28795944f',1,'SVF::MRGenerator']]],
+  ['hasmu_9131',['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_9132',['hasNode',['../classSVF_1_1DCHGraph.html#a58341e23c1dc2b3e7fce190ed16a8a25',1,'SVF::DCHGraph']]],
+  ['hasnodestobecollapsed_9133',['hasNodesToBeCollapsed',['../classSVF_1_1ConstraintGraph.html#aa867ffe0f3639a0ef5b5c36696e733be',1,'SVF::ConstraintGraph']]],
+  ['hasnonlabelededge_9134',['hasNonlabeledEdge',['../classSVF_1_1IRGraph.html#abe0ab797a3da420e4d2f9136d64fb407',1,'SVF::IRGraph']]],
+  ['hasonecxtinlockspan_9135',['hasOneCxtInLockSpan',['../classSVF_1_1LockAnalysis.html#a7d2072c3c0ae571077a2aa2c3586451d',1,'SVF::LockAnalysis']]],
+  ['hasoutgoingedge_9136',['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_9137',['hasOutgoingEdges',['../classSVF_1_1SVFVar.html#a9b00f9b5f8ad2422162f4396e2d8fa42',1,'SVF::SVFVar']]],
+  ['hasparentthread_9138',['hasParentThread',['../classSVF_1_1TCT.html#a6855a3a8a98591e58dba07047f7705ce',1,'SVF::TCT']]],
+  ['hasphiset_9139',['hasPHISet',['../classSVF_1_1MemSSA.html#a41bc86b7dc4d400d83c1f19ede4936ed',1,'SVF::MemSSA']]],
+  ['haspointsto_9140',['hasPointsTo',['../classSVF_1_1CondPointsToSet.html#ab1d20dfe6f243f7a09a8e2face097cc0',1,'SVF::CondPointsToSet']]],
+  ['hasprodsfromfirstrhs_9141',['hasProdsFromFirstRHS',['../classSVF_1_1CFGrammar.html#a6a0563acf39967169d6c267387539134',1,'SVF::CFGrammar']]],
+  ['hasprodsfromsecondrhs_9142',['hasProdsFromSecondRHS',['../classSVF_1_1CFGrammar.html#a6d1db255d2b526fa7fdfaa7b2146f0cd',1,'SVF::CFGrammar']]],
+  ['hasprodsfromsinglerhs_9143',['hasProdsFromSingleRHS',['../classSVF_1_1CFGrammar.html#aefdae80251eaaf9be580d26a5dd268a8',1,'SVF::CFGrammar']]],
+  ['hasptasvfstmtlist_9144',['hasPTASVFStmtList',['../classSVF_1_1SVFIR.html#a0552d565633ee22abe03085134a871c0',1,'SVF::SVFIR']]],
+  ['hasptrobj_9145',['hasPtrObj',['../classSVF_1_1MemObj.html#a6dae1b3429c6049f0153ec006d329082',1,'SVF::MemObj::hasPtrObj()'],['../classSVF_1_1ObjTypeInfo.html#ac5bae1e7917f415193a805e8d2e29320',1,'SVF::ObjTypeInfo::hasPtrObj()']]],
+  ['hasptsmap_9146',['hasPtsMap',['../classSVF_1_1CondPTAImpl.html#a597e9c4e76f358c36d4b820c4d69ebc6',1,'SVF::CondPTAImpl']]],
+  ['hasrefmrset_9147',['hasRefMRSet',['../classSVF_1_1MRGenerator.html#af06e8ac43efdedb97a2008cd93fc32d6',1,'SVF::MRGenerator']]],
+  ['hasrefsideeffectofcallsite_9148',['hasRefSideEffectOfCallSite',['../classSVF_1_1MRGenerator.html#a9718c9e8efc1e6f32441aa5f418711dd',1,'SVF::MRGenerator']]],
+  ['hasreturnmu_9149',['hasReturnMu',['../classSVF_1_1MemSSA.html#a3400d9a921672b3872656acecc3eac9f',1,'SVF::MemSSA']]],
+  ['hassbsinkflag_9150',['hasSBSinkFlag',['../classSVF_1_1Annotator.html#acbb2e202ab3fb864e70eac6b41c3899e',1,'SVF::Annotator']]],
+  ['hassbsourceflag_9151',['hasSBSourceFlag',['../classSVF_1_1Annotator.html#a3fb284999931900d92e60104980648ef',1,'SVF::Annotator']]],
+  ['hasspanfromcxtlock_9152',['hasSpanfromCxtLock',['../classSVF_1_1LockAnalysis.html#af8ada4a73bf132e1adeef7aa0522f596',1,'SVF::LockAnalysis']]],
+  ['hassvfgnode_9153',['hasSVFGNode',['../classSVF_1_1SVFG.html#a1b9d1ad76785ae0eb07979aa75325640',1,'SVF::SVFG']]],
+  ['hassvfstmtlist_9154',['hasSVFStmtList',['../classSVF_1_1MRGenerator.html#abcb903f5d5f323f319fc58f9df697f63',1,'SVF::MRGenerator::hasSVFStmtList()'],['../classSVF_1_1SVFIR.html#a63acb4d86d93ad1e88860ac839a8c654',1,'SVF::SVFIR::hasSVFStmtList()']]],
+  ['hassvftypeinfo_9155',['hasSVFTypeInfo',['../classSVF_1_1SymbolTableInfo.html#af678e138df136d6f3cd53826dfa4486c',1,'SVF::SymbolTableInfo']]],
+  ['hastctnode_9156',['hasTCTNode',['../classSVF_1_1TCT.html#a5d5a753b4d2633e3aaf58859274ffe7a',1,'SVF::TCT']]],
+  ['hasthreadforkedge_9157',['hasThreadForkEdge',['../classSVF_1_1ThreadCallGraph.html#a933a6a2f0a0c6364e8df1bc65a07192f',1,'SVF::ThreadCallGraph']]],
+  ['hasthreadicfgedge_9158',['hasThreadICFGEdge',['../classSVF_1_1ICFG.html#a29fb70d6638765ce291c5a8a11fbea64',1,'SVF::ICFG']]],
+  ['hasthreadjoinedge_9159',['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_9160',['hasThreadStmtSet',['../classSVF_1_1MHP.html#a27d031e9c7c4706d7ee1750668e83b99',1,'SVF::MHP']]],
+  ['hasthreadvfgedge_9161',['hasThreadVFGEdge',['../classSVF_1_1VFG.html#aead3b463d9aa2fae5845d97896bd18ba',1,'SVF::VFG']]],
+  ['hasvalidationtarget_9162',['hasValidationTarget',['../classSVF_1_1RaceResultValidator.html#a749793355ab8390a1e6577d7b05efddf',1,'SVF::RaceResultValidator::hasValidationTarget() const'],['../classSVF_1_1RaceResultValidator.html#a749793355ab8390a1e6577d7b05efddf',1,'SVF::RaceResultValidator::hasValidationTarget() const']]],
+  ['hasvalsym_9163',['hasValSym',['../classSVF_1_1SymbolTableInfo.html#af5e91f2ace726b1f05b045681d2bd117',1,'SVF::SymbolTableInfo']]],
+  ['hasvalue_9164',['hasValue',['../classSVF_1_1SVFVar.html#a1ace69053c2c4436fd78d5624bd0086a',1,'SVF::SVFVar']]],
+  ['hasvaluenode_9165',['hasValueNode',['../classSVF_1_1IRGraph.html#a401ec65771a3d2dcc8eb60574aadd354',1,'SVF::IRGraph']]],
+  ['hasvfgnode_9166',['hasVFGNode',['../classSVF_1_1VFG.html#a30eb9d717ad5bc8a9109a7bdef38f4a1',1,'SVF::VFG']]],
+  ['hasvfgnodes_9167',['hasVFGNodes',['../classSVF_1_1VFG.html#a76af43e28630eb56a1aa5971f516d43d',1,'SVF::VFG']]],
+  ['hclust_5ffast_9168',['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_9169',['hclustMethodToString',['../namespaceSVF_1_1SVFUtil.html#a14a4c5124f2fd03ca3d898e2acd54160',1,'SVF::SVFUtil']]],
+  ['head_9170',['head',['../classSVF_1_1CFBasicBlockGWTOCycle.html#aba6a1249015322f073e05fcf089da801',1,'SVF::CFBasicBlockGWTOCycle']]],
+  ['headbegin_9171',['headBegin',['../classSVF_1_1CFBasicBlockGWTO.html#ac2fdb330a81c28cae01858952d237c7e',1,'SVF::CFBasicBlockGWTO']]],
+  ['headend_9172',['headEnd',['../classSVF_1_1CFBasicBlockGWTO.html#a822077820c188463603f8968c4535a60',1,'SVF::CFBasicBlockGWTO']]],
+  ['heapallocatorviaindcall_9173',['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()']]]
 ];