svf-tools 1.0.748 → 1.0.749

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

@@ -1,147 +1,147 @@
 var searchData=
 [
-  ['handleaddr_8863',['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_8864',['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_8865',['handleBlackHole',['../classSVF_1_1SVFIR.html#a2375f49c77f2285a6316e7540b051a0f',1,'SVF::SVFIR']]],
-  ['handlecall_8866',['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_8867',['handleCallRelation',['../classSVF_1_1LockAnalysis.html#ab99ef73905f35d4c20ca408586fc8680',1,'SVF::LockAnalysis::handleCallRelation()'],['../classSVF_1_1TCT.html#aac0c4c3f1c7cb1d89ebd2a3da2d49bd3',1,'SVF::TCT::handleCallRelation()']]],
-  ['handlecallsitemodref_8868',['handleCallsiteModRef',['../classSVF_1_1MRGenerator.html#acbf0be131b1fc5d0366157d300d1aa68',1,'SVF::MRGenerator']]],
-  ['handlece_8869',['handleCE',['../classSVF_1_1SymbolTableBuilder.html#abe39a7a3557899b4991bcc60d436dc50',1,'SVF::SymbolTableBuilder']]],
-  ['handlecopygep_8870',['handleCopyGep',['../classSVF_1_1Andersen.html#ab069683dd6ca563113efbde2813ab35e',1,'SVF::Andersen::handleCopyGep()'],['../classSVF_1_1AndersenSCD.html#aa0a496376f7bea2c417ef83c51d19a61',1,'SVF::AndersenSCD::handleCopyGep()']]],
-  ['handledibasictype_8871',['handleDIBasicType',['../classSVF_1_1DCHGraph.html#a86bf48776ccf53092f4cb742cf95f8eb',1,'SVF::DCHGraph']]],
-  ['handledicompositetype_8872',['handleDICompositeType',['../classSVF_1_1DCHGraph.html#a3ce75cbe92a1fa7d34c6fca2d2ca1b0f',1,'SVF::DCHGraph']]],
-  ['handlediderivedtype_8873',['handleDIDerivedType',['../classSVF_1_1DCHGraph.html#a1a4162e68b22d53e9dca73c6780ed3e5',1,'SVF::DCHGraph']]],
-  ['handledirectcall_8874',['handleDirectCall',['../classSVF_1_1SVFIRBuilder.html#a3ccc53ca9a6862674ee2ec3bd67aa515',1,'SVF::SVFIRBuilder']]],
-  ['handledisubroutinetype_8875',['handleDISubroutineType',['../classSVF_1_1DCHGraph.html#a671f379ae54eef247b5e013478eb3f0c',1,'SVF::DCHGraph']]],
-  ['handleextcall_8876',['handleExtCall',['../classSVF_1_1SVFIRBuilder.html#a72df6ed8720f609607c8a00a254d881f',1,'SVF::SVFIRBuilder']]],
-  ['handleextcallstat_8877',['handleExtCallStat',['../classSVF_1_1SVFIRBuilder.html#aaa6191fa37723bba849e6eae2decc7b9',1,'SVF::SVFIRBuilder']]],
-  ['handlefork_8878',['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_8879',['handleGlobalCE',['../classSVF_1_1SymbolTableBuilder.html#a72732ec0392d9d5b900fc12177890779',1,'SVF::SymbolTableBuilder']]],
-  ['handleglobalinitializerce_8880',['handleGlobalInitializerCE',['../classSVF_1_1SymbolTableBuilder.html#a1efd9406182eb86b1ee4829c931b566d',1,'SVF::SymbolTableBuilder']]],
-  ['handleindcall_8881',['handleIndCall',['../classSVF_1_1SVFIRBuilder.html#a5ae68d4465feb54fcb8fd0cf20b7a71a',1,'SVF::SVFIRBuilder']]],
-  ['handleintervalueflow_8882',['handleInterValueFlow',['../classSVF_1_1SVFGOPT.html#a4c698184cc23730fb44904d4048958da',1,'SVF::SVFGOPT']]],
-  ['handleintra_8883',['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_8884',['handleIntraValueFlow',['../classSVF_1_1SVFGOPT.html#a21429d8c3fba209d9cdc22e3623c5573',1,'SVF::SVFGOPT']]],
-  ['handlejoin_8885',['handleJoin',['../classSVF_1_1MHP.html#a3a535274cd3349a05eeccf3c9231396a',1,'SVF::MHP::handleJoin()'],['../classSVF_1_1ForkJoinAnalysis.html#ae4d0ee03b30220793d24f814e75a440e',1,'SVF::ForkJoinAnalysis::handleJoin()']]],
-  ['handleload_8886',['handleLoad',['../classSVF_1_1AndersenWaveDiff.html#a7f2af504c4fb96e64371a8533c0525fe',1,'SVF::AndersenWaveDiff']]],
-  ['handleloadstore_8887',['handleLoadStore',['../classSVF_1_1Andersen.html#a0f32ba8cb1109c257552fa775a007ffd',1,'SVF::Andersen::handleLoadStore()'],['../classSVF_1_1AndersenSCD.html#a7ae683eb8c607a0e742b44e3019b8cbc',1,'SVF::AndersenSCD::handleLoadStore()']]],
-  ['handlenoncandidatefun_8888',['handleNonCandidateFun',['../classSVF_1_1MHP.html#a2c1e4fac7b810021939ed26307d37816',1,'SVF::MHP']]],
-  ['handleoutofbudgetdpm_8889',['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_8890',['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_8891',['handleSingleStatement',['../classSVF_1_1DDAVFSolver.html#a99f631cf1bc438e3f08f7f935e98e38d',1,'SVF::DDAVFSolver']]],
-  ['handlestatement_8892',['handleStatement',['../classSVF_1_1DDAClient.html#aec3de00152e828beb5037269430f387d',1,'SVF::DDAClient']]],
-  ['handlestore_8893',['handleStore',['../classSVF_1_1AndersenWaveDiff.html#a775a74d57842b85301daeafe64c8a5c4',1,'SVF::AndersenWaveDiff']]],
-  ['handlestoreload_8894',['handleStoreLoad',['../classSVF_1_1MTASVFGBuilder.html#a24921d1b1d79d7ef0b358be8d7a9e2c4',1,'SVF::MTASVFGBuilder']]],
-  ['handlestoreloadnonsparse_8895',['handleStoreLoadNonSparse',['../classSVF_1_1MTASVFGBuilder.html#a82b52f8e70f51353cbd7476a509ff523',1,'SVF::MTASVFGBuilder']]],
-  ['handlestoreloadwithlockprecisely_8896',['handleStoreLoadWithLockPrecisely',['../classSVF_1_1MTASVFGBuilder.html#aa861922932233ab547b63c87551b8fd3',1,'SVF::MTASVFGBuilder']]],
-  ['handlestorestore_8897',['handleStoreStore',['../classSVF_1_1MTASVFGBuilder.html#a29a14309cfa1d7c4454fb1237704e487',1,'SVF::MTASVFGBuilder']]],
-  ['handlestorestorenonsparse_8898',['handleStoreStoreNonSparse',['../classSVF_1_1MTASVFGBuilder.html#a91ff57e51b0650963b4b5541fa0f7056',1,'SVF::MTASVFGBuilder']]],
-  ['handlestorestorewithlockprecisely_8899',['handleStoreStoreWithLockPrecisely',['../classSVF_1_1MTASVFGBuilder.html#a1802d8ed854bef817afa748d2bbcea05',1,'SVF::MTASVFGBuilder']]],
-  ['handlethunkfunction_8900',['handleThunkFunction',['../CppUtil_8cpp.html#a264d15523be2c695d9cee8d49ae87ebe',1,'CppUtil.cpp']]],
-  ['handletypedef_8901',['handleTypedef',['../classSVF_1_1DCHGraph.html#a6d97a772afe16c1483e65eea81f82603',1,'SVF::DCHGraph']]],
-  ['hareparforedge_8902',['HareParForEdge',['../classSVF_1_1HareParForEdge.html#a097ccd687d7ca511a4a453dd56b7c665',1,'SVF::HareParForEdge']]],
-  ['has_5fbottom_8903',['has_bottom',['../classSVF_1_1IntervalExeState.html#a6a8c6bbff583ccd71453af5de884df89',1,'SVF::IntervalExeState']]],
-  ['has_5fstatic_8904',['has_static',['../classSVF_1_1ExtAPI.html#ae20ea24cce02de87d89a2d0b773a2357',1,'SVF::ExtAPI']]],
-  ['has_5fstatic2_8905',['has_static2',['../classSVF_1_1ExtAPI.html#ad3eefa086aa514e4d245a975ea3d45b5',1,'SVF::ExtAPI']]],
-  ['hasactualinsvfgnodes_8906',['hasActualINSVFGNodes',['../classSVF_1_1SVFG.html#a21577bc4b4e55b23aa55083f5321b399',1,'SVF::SVFG']]],
-  ['hasactualoutsvfgnodes_8907',['hasActualOUTSVFGNodes',['../classSVF_1_1SVFG.html#ab1fde654cc464c5b4d1bafff83d346ed',1,'SVF::SVFG']]],
-  ['hasaddresstaken_8908',['hasAddressTaken',['../classSVF_1_1SVFFunction.html#a731b978178937e74c80d2882c429dc9e',1,'SVF::SVFFunction']]],
-  ['hasallcxtinlockspan_8909',['hasAllCxtInLockSpan',['../classSVF_1_1LockAnalysis.html#a3e2c8531a56c14c645d21289716515ad',1,'SVF::LockAnalysis']]],
-  ['hasbasicblock_8910',['hasBasicBlock',['../classSVF_1_1SVFFunction.html#a9a7f1f56b6cfc33e7fa241286a07fd63',1,'SVF::SVFFunction']]],
-  ['hasblackholeconstobjaddrasdef_8911',['hasBlackHoleConstObjAddrAsDef',['../classSVF_1_1VFG.html#a88f6468b9b43bbb06ef757d884580a50',1,'SVF::VFG']]],
-  ['hascallgraphedge_8912',['hasCallGraphEdge',['../classSVF_1_1PTACallGraph.html#af8df9ca6d906453fa3f7168aa84fd087',1,'SVF::PTACallGraph']]],
-  ['hascallsiteargsmap_8913',['hasCallSiteArgsMap',['../classSVF_1_1SVFIR.html#a95f77211550ec2374d57779d88cf5138',1,'SVF::SVFIR']]],
-  ['hascallsitechi_8914',['hasCallSiteChi',['../classSVF_1_1SVFG.html#ad9cc1581261182b56ae232d9a9b13296',1,'SVF::SVFG']]],
-  ['hascallsiteid_8915',['hasCallSiteID',['../classSVF_1_1PTACallGraph.html#aa8dbda3e46533680173e55d396f36756',1,'SVF::PTACallGraph']]],
-  ['hascallsitemu_8916',['hasCallSiteMu',['../classSVF_1_1SVFG.html#a842f6f2325c9e93ea96367e9cf624ee8',1,'SVF::SVFG']]],
-  ['hascfbasicblockedge_8917',['hasCFBasicBlockEdge',['../classSVF_1_1CFBasicBlockGraph.html#a154d9dae860b441b1653e0afb90f1da3',1,'SVF::CFBasicBlockGraph']]],
-  ['haschi_8918',['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_8919',['hasConstantGEP',['../BreakConstantExpr_8cpp.html#a81381bb19688464256bd09ef22e965e4',1,'BreakConstantExpr.cpp']]],
-  ['hasconstraintnode_8920',['hasConstraintNode',['../classSVF_1_1ConstraintGraph.html#aad6c37476edfd9ae92dc8c0d004d782d',1,'SVF::ConstraintGraph']]],
-  ['hascptslist_8921',['hasCPtsList',['../classSVF_1_1MRGenerator.html#a1cb94c8a0379eb30c99f0c3cb2bfebaf',1,'SVF::MRGenerator']]],
-  ['hascxtlock_8922',['hasCxtLock',['../classSVF_1_1LockAnalysis.html#a6c918786d065309e8a7b13759f410a09',1,'SVF::LockAnalysis']]],
-  ['hascxtlockfromcxtstmt_8923',['hasCxtLockfromCxtStmt',['../classSVF_1_1LockAnalysis.html#a395df7174e06cad1971e6a81587ca043',1,'SVF::LockAnalysis']]],
-  ['hascxtstmtfrominst_8924',['hasCxtStmtfromInst',['../classSVF_1_1LockAnalysis.html#a550498f59e23d4b2fb3e0227f7135c23',1,'SVF::LockAnalysis']]],
-  ['hasdeclaration_8925',['hasDeclaration',['../classSVF_1_1LLVMModuleSet.html#a74a7961552498d1a99e1da70b7f78620',1,'SVF::LLVMModuleSet']]],
-  ['hasdef_8926',['hasDef',['../classSVF_1_1SVFG.html#a926c79813d5cfbd16201832024b95190',1,'SVF::SVFG::hasDef()'],['../classSVF_1_1VFG.html#ab5b63b4f6317bfb5875f2b977bcf26a4',1,'SVF::VFG::hasDef()']]],
-  ['hasdefinition_8927',['hasDefinition',['../classSVF_1_1LLVMModuleSet.html#a32558da64f03452c502ec57d1e106427',1,'SVF::LLVMModuleSet']]],
-  ['hasdefsvfgnode_8928',['hasDefSVFGNode',['../classSVF_1_1SVFG.html#ad2d19c5b80b01c8a7bb41100bb156279',1,'SVF::SVFG']]],
-  ['hasdfinset_8929',['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_8930',['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_8931',['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_8932',['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_8933',['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_8934',['hasEdgeDestLabels',['../structSVF_1_1DefaultDOTGraphTraits.html#a87d7b47985a849c7c4ff1c328a59c623',1,'SVF::DefaultDOTGraphTraits']]],
-  ['hasflag_8935',['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_8936',['hasFormalINSVFGNodes',['../classSVF_1_1SVFG.html#a65f28035e0fa5bebf76d28612b2f8ba8',1,'SVF::SVFG']]],
-  ['hasformaloutsvfgnodes_8937',['hasFormalOUTSVFGNodes',['../classSVF_1_1SVFG.html#a1f8c60ad57bf473e0186b794d666b5c2',1,'SVF::SVFG']]],
-  ['hasfunargslist_8938',['hasFunArgsList',['../classSVF_1_1SVFIR.html#ac359813747b4f75920c5f395ba74f410',1,'SVF::SVFIR']]],
-  ['hasfuncentrychi_8939',['hasFuncEntryChi',['../classSVF_1_1SVFG.html#a23ca21b90feca5e7d00c9ba9f489374a',1,'SVF::SVFG::hasFuncEntryChi()'],['../classSVF_1_1MemSSA.html#aec75259d035e3b5589e6fcbbcdfe4b2c',1,'SVF::MemSSA::hasFuncEntryChi()']]],
-  ['hasfuncretmu_8940',['hasFuncRetMu',['../classSVF_1_1SVFG.html#a32378226c18a0b1e22271a2338a635f6',1,'SVF::SVFG']]],
-  ['hasglobalrep_8941',['hasGlobalRep',['../classSVF_1_1LLVMModuleSet.html#a0e5ab0def54815f67ed7495d028dab1b',1,'SVF::LLVMModuleSet']]],
-  ['hasgnode_8942',['hasGNode',['../classSVF_1_1GenericGraph.html#a6885064afa211958af7b73f0233284e5',1,'SVF::GenericGraph']]],
-  ['hasgraphedge_8943',['hasGraphEdge',['../classSVF_1_1PTACallGraph.html#a6d29a39440d8f6290e2e8b7322b965fb',1,'SVF::PTACallGraph::hasGraphEdge()'],['../classSVF_1_1TCT.html#adb2025048dc69f0689f526c58df29802',1,'SVF::TCT::hasGraphEdge()']]],
-  ['hash_8944',['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_8945',['hasICFGNode',['../classSVF_1_1ICFG.html#a16c2ed1f9e28c84669b14dc48fb3c01a',1,'SVF::ICFG']]],
-  ['hasincomingedge_8946',['hasIncomingEdge',['../classSVF_1_1GenericNode.html#a06a7373b11143e709784de784fa476fe',1,'SVF::GenericNode::hasIncomingEdge() const'],['../classSVF_1_1GenericNode.html#add6b6b3bd45a9460335c5db9eda821b8',1,'SVF::GenericNode::hasIncomingEdge(EdgeType *edge) const']]],
-  ['hasincomingedges_8947',['hasIncomingEdges',['../classSVF_1_1SVFVar.html#a747b2c92c81d32fcd357e80d2d8fe7cc',1,'SVF::SVFVar']]],
-  ['hasincomingvariantgepedge_8948',['hasIncomingVariantGepEdge',['../classSVF_1_1SVFVar.html#a71e4fd7a1271a17e971ed90044e6da24',1,'SVF::SVFVar']]],
-  ['hasind_5fh_8949',['hasInd_h',['../classSVF_1_1POCRHybridSolver.html#a92f7dab147eab44ee5e4bdf02708c9a0',1,'SVF::POCRHybridSolver']]],
-  ['hasindcscallees_8950',['hasIndCSCallees',['../classSVF_1_1PTACallGraph.html#a71a63c53a093ea8e450fb53fd60c9424',1,'SVF::PTACallGraph::hasIndCSCallees()'],['../classSVF_1_1PointerAnalysis.html#abdacd060691add054839aa183babe095',1,'SVF::PointerAnalysis::hasIndCSCallees()']]],
-  ['hasintericfgedge_8951',['hasInterICFGEdge',['../classSVF_1_1ICFG.html#a86535e50d1feba706b19491d905baef1',1,'SVF::ICFG']]],
-  ['hasinterleavingthreads_8952',['hasInterleavingThreads',['../classSVF_1_1MHP.html#a3ba43bb0be55ffade3d70f8cbb95f88f',1,'SVF::MHP']]],
-  ['hasintersect_8953',['hasIntersect',['../classSVF_1_1AddressValue.html#a269a73753a7b495eb08bb0c9c0a58dc0',1,'SVF::AddressValue']]],
-  ['hasintervfgedge_8954',['hasInterVFGEdge',['../classSVF_1_1VFG.html#ad86631f70bd702b5635bdbeab7d884b9',1,'SVF::VFG']]],
-  ['hasintraicfgedge_8955',['hasIntraICFGEdge',['../classSVF_1_1ICFG.html#aa662baae5682ef6ec5084fa4147c9709',1,'SVF::ICFG']]],
-  ['hasintravfgedge_8956',['hasIntraVFGEdge',['../classSVF_1_1VFG.html#ac34c4529229404617c346f81cc6c141f',1,'SVF::VFG']]],
-  ['hasjoininsymmetricloop_8957',['hasJoinInSymmetricLoop',['../classSVF_1_1MHP.html#a7585f40b80c5488828576eb2f035ac61',1,'SVF::MHP::hasJoinInSymmetricLoop()'],['../classSVF_1_1ForkJoinAnalysis.html#ab69d11caf499612d108155e13adb300f',1,'SVF::ForkJoinAnalysis::hasJoinInSymmetricLoop()']]],
-  ['hasjoinloop_8958',['hasJoinLoop',['../classSVF_1_1ForkJoinAnalysis.html#a197ab02e8320affc4ba2c67fae5bf020',1,'SVF::ForkJoinAnalysis::hasJoinLoop()'],['../classSVF_1_1TCT.html#a59125bb4878bc347dbdbc74aa6ec4cdf',1,'SVF::TCT::hasJoinLoop()']]],
-  ['haslabelededge_8959',['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_8960',['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_8961',['hasLoopInfo',['../classSVF_1_1SVFLoopAndDomInfo.html#abe37f8896e2491a7a60be3fbfde8123c',1,'SVF::SVFLoopAndDomInfo::hasLoopInfo()'],['../classSVF_1_1SVFFunction.html#aee05370109d7667c40ca34c454c66714',1,'SVF::SVFFunction::hasLoopInfo()']]],
-  ['hasmodmrset_8962',['hasModMRSet',['../classSVF_1_1MRGenerator.html#a7d66a341805af7ec4e4893e5a7e0bc2d',1,'SVF::MRGenerator']]],
-  ['hasmodsideeffectofcallsite_8963',['hasModSideEffectOfCallSite',['../classSVF_1_1MRGenerator.html#a187d82895b2e1156c6dd5ae28795944f',1,'SVF::MRGenerator']]],
-  ['hasmu_8964',['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_8965',['hasNode',['../classSVF_1_1DCHGraph.html#a58341e23c1dc2b3e7fce190ed16a8a25',1,'SVF::DCHGraph']]],
-  ['hasnodestobecollapsed_8966',['hasNodesToBeCollapsed',['../classSVF_1_1ConstraintGraph.html#aa867ffe0f3639a0ef5b5c36696e733be',1,'SVF::ConstraintGraph']]],
-  ['hasnonlabelededge_8967',['hasNonlabeledEdge',['../classSVF_1_1IRGraph.html#abe0ab797a3da420e4d2f9136d64fb407',1,'SVF::IRGraph']]],
-  ['hasonecxtinlockspan_8968',['hasOneCxtInLockSpan',['../classSVF_1_1LockAnalysis.html#a7d2072c3c0ae571077a2aa2c3586451d',1,'SVF::LockAnalysis']]],
-  ['hasoutgoingedge_8969',['hasOutgoingEdge',['../classSVF_1_1GenericNode.html#a0931220d7a38e03f206cbdc6465d32ad',1,'SVF::GenericNode::hasOutgoingEdge() const'],['../classSVF_1_1GenericNode.html#aa0c40cb708b39300b3cb7354194e4993',1,'SVF::GenericNode::hasOutgoingEdge(EdgeType *edge) const']]],
-  ['hasoutgoingedges_8970',['hasOutgoingEdges',['../classSVF_1_1SVFVar.html#a9b00f9b5f8ad2422162f4396e2d8fa42',1,'SVF::SVFVar']]],
-  ['hasparentthread_8971',['hasParentThread',['../classSVF_1_1TCT.html#a6855a3a8a98591e58dba07047f7705ce',1,'SVF::TCT']]],
-  ['hasphiset_8972',['hasPHISet',['../classSVF_1_1MemSSA.html#a41bc86b7dc4d400d83c1f19ede4936ed',1,'SVF::MemSSA']]],
-  ['haspointsto_8973',['hasPointsTo',['../classSVF_1_1CondPointsToSet.html#ab1d20dfe6f243f7a09a8e2face097cc0',1,'SVF::CondPointsToSet']]],
-  ['hasprodsfromfirstrhs_8974',['hasProdsFromFirstRHS',['../classSVF_1_1CFLGrammar.html#aa6383a6a8ccd30afbedf7ff3a05d46d8',1,'SVF::CFLGrammar']]],
-  ['hasprodsfromsecondrhs_8975',['hasProdsFromSecondRHS',['../classSVF_1_1CFLGrammar.html#a2b1c91f6d33423046d3ffcb2985351ce',1,'SVF::CFLGrammar']]],
-  ['hasprodsfromsinglerhs_8976',['hasProdsFromSingleRHS',['../classSVF_1_1CFLGrammar.html#a51d4514dec026412f7151a6ea1fc2b5d',1,'SVF::CFLGrammar']]],
-  ['hasptasvfstmtlist_8977',['hasPTASVFStmtList',['../classSVF_1_1SVFIR.html#a0552d565633ee22abe03085134a871c0',1,'SVF::SVFIR']]],
-  ['hasptrobj_8978',['hasPtrObj',['../classSVF_1_1MemObj.html#a6dae1b3429c6049f0153ec006d329082',1,'SVF::MemObj::hasPtrObj()'],['../classSVF_1_1ObjTypeInfo.html#ac5bae1e7917f415193a805e8d2e29320',1,'SVF::ObjTypeInfo::hasPtrObj()']]],
-  ['hasptsmap_8979',['hasPtsMap',['../classSVF_1_1CondPTAImpl.html#a597e9c4e76f358c36d4b820c4d69ebc6',1,'SVF::CondPTAImpl']]],
-  ['hasrefmrset_8980',['hasRefMRSet',['../classSVF_1_1MRGenerator.html#af06e8ac43efdedb97a2008cd93fc32d6',1,'SVF::MRGenerator']]],
-  ['hasrefsideeffectofcallsite_8981',['hasRefSideEffectOfCallSite',['../classSVF_1_1MRGenerator.html#a9718c9e8efc1e6f32441aa5f418711dd',1,'SVF::MRGenerator']]],
-  ['hasreturnmu_8982',['hasReturnMu',['../classSVF_1_1MemSSA.html#a3400d9a921672b3872656acecc3eac9f',1,'SVF::MemSSA']]],
-  ['hassbsinkflag_8983',['hasSBSinkFlag',['../classSVF_1_1Annotator.html#acbb2e202ab3fb864e70eac6b41c3899e',1,'SVF::Annotator']]],
-  ['hassbsourceflag_8984',['hasSBSourceFlag',['../classSVF_1_1Annotator.html#a3fb284999931900d92e60104980648ef',1,'SVF::Annotator']]],
-  ['hasspanfromcxtlock_8985',['hasSpanfromCxtLock',['../classSVF_1_1LockAnalysis.html#af8ada4a73bf132e1adeef7aa0522f596',1,'SVF::LockAnalysis']]],
-  ['hassvfgnode_8986',['hasSVFGNode',['../classSVF_1_1SVFG.html#a1b9d1ad76785ae0eb07979aa75325640',1,'SVF::SVFG']]],
-  ['hassvfstmtlist_8987',['hasSVFStmtList',['../classSVF_1_1MRGenerator.html#abcb903f5d5f323f319fc58f9df697f63',1,'SVF::MRGenerator::hasSVFStmtList()'],['../classSVF_1_1SVFIR.html#a63acb4d86d93ad1e88860ac839a8c654',1,'SVF::SVFIR::hasSVFStmtList()']]],
-  ['hassvftypeinfo_8988',['hasSVFTypeInfo',['../classSVF_1_1SymbolTableInfo.html#af678e138df136d6f3cd53826dfa4486c',1,'SVF::SymbolTableInfo']]],
-  ['hastctnode_8989',['hasTCTNode',['../classSVF_1_1TCT.html#a5d5a753b4d2633e3aaf58859274ffe7a',1,'SVF::TCT']]],
-  ['hasthreadforkedge_8990',['hasThreadForkEdge',['../classSVF_1_1ThreadCallGraph.html#a933a6a2f0a0c6364e8df1bc65a07192f',1,'SVF::ThreadCallGraph']]],
-  ['hasthreadicfgedge_8991',['hasThreadICFGEdge',['../classSVF_1_1ICFG.html#a29fb70d6638765ce291c5a8a11fbea64',1,'SVF::ICFG']]],
-  ['hasthreadjoinedge_8992',['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_8993',['hasThreadStmtSet',['../classSVF_1_1MHP.html#a27d031e9c7c4706d7ee1750668e83b99',1,'SVF::MHP']]],
-  ['hasthreadvfgedge_8994',['hasThreadVFGEdge',['../classSVF_1_1VFG.html#aead3b463d9aa2fae5845d97896bd18ba',1,'SVF::VFG']]],
-  ['hasvalidationtarget_8995',['hasValidationTarget',['../classSVF_1_1RaceResultValidator.html#a749793355ab8390a1e6577d7b05efddf',1,'SVF::RaceResultValidator::hasValidationTarget() const'],['../classSVF_1_1RaceResultValidator.html#a749793355ab8390a1e6577d7b05efddf',1,'SVF::RaceResultValidator::hasValidationTarget() const']]],
-  ['hasvalsym_8996',['hasValSym',['../classSVF_1_1SymbolTableInfo.html#af5e91f2ace726b1f05b045681d2bd117',1,'SVF::SymbolTableInfo']]],
-  ['hasvalue_8997',['hasValue',['../classSVF_1_1SVFVar.html#a1ace69053c2c4436fd78d5624bd0086a',1,'SVF::SVFVar']]],
-  ['hasvaluenode_8998',['hasValueNode',['../classSVF_1_1IRGraph.html#a401ec65771a3d2dcc8eb60574aadd354',1,'SVF::IRGraph']]],
-  ['hasvfgnode_8999',['hasVFGNode',['../classSVF_1_1VFG.html#a30eb9d717ad5bc8a9109a7bdef38f4a1',1,'SVF::VFG']]],
-  ['hasvfgnodes_9000',['hasVFGNodes',['../classSVF_1_1VFG.html#a76af43e28630eb56a1aa5971f516d43d',1,'SVF::VFG']]],
-  ['hclust_5ffast_9001',['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_9002',['hclustMethodToString',['../namespaceSVF_1_1SVFUtil.html#a14a4c5124f2fd03ca3d898e2acd54160',1,'SVF::SVFUtil']]],
-  ['head_9003',['head',['../classSVF_1_1CFBasicBlockGWTOCycle.html#aba6a1249015322f073e05fcf089da801',1,'SVF::CFBasicBlockGWTOCycle']]],
-  ['headbegin_9004',['headBegin',['../classSVF_1_1CFBasicBlockGWTO.html#ac2fdb330a81c28cae01858952d237c7e',1,'SVF::CFBasicBlockGWTO']]],
-  ['headend_9005',['headEnd',['../classSVF_1_1CFBasicBlockGWTO.html#a822077820c188463603f8968c4535a60',1,'SVF::CFBasicBlockGWTO']]],
-  ['heapallocatorviaindcall_9006',['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_8870',['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_8871',['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_8872',['handleBlackHole',['../classSVF_1_1SVFIR.html#a2375f49c77f2285a6316e7540b051a0f',1,'SVF::SVFIR']]],
+  ['handlecall_8873',['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_8874',['handleCallRelation',['../classSVF_1_1LockAnalysis.html#ab99ef73905f35d4c20ca408586fc8680',1,'SVF::LockAnalysis::handleCallRelation()'],['../classSVF_1_1TCT.html#aac0c4c3f1c7cb1d89ebd2a3da2d49bd3',1,'SVF::TCT::handleCallRelation()']]],
+  ['handlecallsitemodref_8875',['handleCallsiteModRef',['../classSVF_1_1MRGenerator.html#acbf0be131b1fc5d0366157d300d1aa68',1,'SVF::MRGenerator']]],
+  ['handlece_8876',['handleCE',['../classSVF_1_1SymbolTableBuilder.html#abe39a7a3557899b4991bcc60d436dc50',1,'SVF::SymbolTableBuilder']]],
+  ['handlecopygep_8877',['handleCopyGep',['../classSVF_1_1Andersen.html#ab069683dd6ca563113efbde2813ab35e',1,'SVF::Andersen::handleCopyGep()'],['../classSVF_1_1AndersenSCD.html#aa0a496376f7bea2c417ef83c51d19a61',1,'SVF::AndersenSCD::handleCopyGep()']]],
+  ['handledibasictype_8878',['handleDIBasicType',['../classSVF_1_1DCHGraph.html#a86bf48776ccf53092f4cb742cf95f8eb',1,'SVF::DCHGraph']]],
+  ['handledicompositetype_8879',['handleDICompositeType',['../classSVF_1_1DCHGraph.html#a3ce75cbe92a1fa7d34c6fca2d2ca1b0f',1,'SVF::DCHGraph']]],
+  ['handlediderivedtype_8880',['handleDIDerivedType',['../classSVF_1_1DCHGraph.html#a1a4162e68b22d53e9dca73c6780ed3e5',1,'SVF::DCHGraph']]],
+  ['handledirectcall_8881',['handleDirectCall',['../classSVF_1_1SVFIRBuilder.html#a3ccc53ca9a6862674ee2ec3bd67aa515',1,'SVF::SVFIRBuilder']]],
+  ['handledisubroutinetype_8882',['handleDISubroutineType',['../classSVF_1_1DCHGraph.html#a671f379ae54eef247b5e013478eb3f0c',1,'SVF::DCHGraph']]],
+  ['handleextcall_8883',['handleExtCall',['../classSVF_1_1SVFIRBuilder.html#a72df6ed8720f609607c8a00a254d881f',1,'SVF::SVFIRBuilder']]],
+  ['handleextcallstat_8884',['handleExtCallStat',['../classSVF_1_1SVFIRBuilder.html#aaa6191fa37723bba849e6eae2decc7b9',1,'SVF::SVFIRBuilder']]],
+  ['handlefork_8885',['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_8886',['handleGlobalCE',['../classSVF_1_1SymbolTableBuilder.html#a72732ec0392d9d5b900fc12177890779',1,'SVF::SymbolTableBuilder']]],
+  ['handleglobalinitializerce_8887',['handleGlobalInitializerCE',['../classSVF_1_1SymbolTableBuilder.html#a1efd9406182eb86b1ee4829c931b566d',1,'SVF::SymbolTableBuilder']]],
+  ['handleindcall_8888',['handleIndCall',['../classSVF_1_1SVFIRBuilder.html#a5ae68d4465feb54fcb8fd0cf20b7a71a',1,'SVF::SVFIRBuilder']]],
+  ['handleintervalueflow_8889',['handleInterValueFlow',['../classSVF_1_1SVFGOPT.html#a4c698184cc23730fb44904d4048958da',1,'SVF::SVFGOPT']]],
+  ['handleintra_8890',['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_8891',['handleIntraValueFlow',['../classSVF_1_1SVFGOPT.html#a21429d8c3fba209d9cdc22e3623c5573',1,'SVF::SVFGOPT']]],
+  ['handlejoin_8892',['handleJoin',['../classSVF_1_1MHP.html#a3a535274cd3349a05eeccf3c9231396a',1,'SVF::MHP::handleJoin()'],['../classSVF_1_1ForkJoinAnalysis.html#ae4d0ee03b30220793d24f814e75a440e',1,'SVF::ForkJoinAnalysis::handleJoin()']]],
+  ['handleload_8893',['handleLoad',['../classSVF_1_1AndersenWaveDiff.html#a7f2af504c4fb96e64371a8533c0525fe',1,'SVF::AndersenWaveDiff']]],
+  ['handleloadstore_8894',['handleLoadStore',['../classSVF_1_1Andersen.html#a0f32ba8cb1109c257552fa775a007ffd',1,'SVF::Andersen::handleLoadStore()'],['../classSVF_1_1AndersenSCD.html#a7ae683eb8c607a0e742b44e3019b8cbc',1,'SVF::AndersenSCD::handleLoadStore()']]],
+  ['handlenoncandidatefun_8895',['handleNonCandidateFun',['../classSVF_1_1MHP.html#a2c1e4fac7b810021939ed26307d37816',1,'SVF::MHP']]],
+  ['handleoutofbudgetdpm_8896',['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_8897',['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_8898',['handleSingleStatement',['../classSVF_1_1DDAVFSolver.html#a99f631cf1bc438e3f08f7f935e98e38d',1,'SVF::DDAVFSolver']]],
+  ['handlestatement_8899',['handleStatement',['../classSVF_1_1DDAClient.html#aec3de00152e828beb5037269430f387d',1,'SVF::DDAClient']]],
+  ['handlestore_8900',['handleStore',['../classSVF_1_1AndersenWaveDiff.html#a775a74d57842b85301daeafe64c8a5c4',1,'SVF::AndersenWaveDiff']]],
+  ['handlestoreload_8901',['handleStoreLoad',['../classSVF_1_1MTASVFGBuilder.html#a24921d1b1d79d7ef0b358be8d7a9e2c4',1,'SVF::MTASVFGBuilder']]],
+  ['handlestoreloadnonsparse_8902',['handleStoreLoadNonSparse',['../classSVF_1_1MTASVFGBuilder.html#a82b52f8e70f51353cbd7476a509ff523',1,'SVF::MTASVFGBuilder']]],
+  ['handlestoreloadwithlockprecisely_8903',['handleStoreLoadWithLockPrecisely',['../classSVF_1_1MTASVFGBuilder.html#aa861922932233ab547b63c87551b8fd3',1,'SVF::MTASVFGBuilder']]],
+  ['handlestorestore_8904',['handleStoreStore',['../classSVF_1_1MTASVFGBuilder.html#a29a14309cfa1d7c4454fb1237704e487',1,'SVF::MTASVFGBuilder']]],
+  ['handlestorestorenonsparse_8905',['handleStoreStoreNonSparse',['../classSVF_1_1MTASVFGBuilder.html#a91ff57e51b0650963b4b5541fa0f7056',1,'SVF::MTASVFGBuilder']]],
+  ['handlestorestorewithlockprecisely_8906',['handleStoreStoreWithLockPrecisely',['../classSVF_1_1MTASVFGBuilder.html#a1802d8ed854bef817afa748d2bbcea05',1,'SVF::MTASVFGBuilder']]],
+  ['handlethunkfunction_8907',['handleThunkFunction',['../CppUtil_8cpp.html#a264d15523be2c695d9cee8d49ae87ebe',1,'CppUtil.cpp']]],
+  ['handletypedef_8908',['handleTypedef',['../classSVF_1_1DCHGraph.html#a6d97a772afe16c1483e65eea81f82603',1,'SVF::DCHGraph']]],
+  ['hareparforedge_8909',['HareParForEdge',['../classSVF_1_1HareParForEdge.html#a097ccd687d7ca511a4a453dd56b7c665',1,'SVF::HareParForEdge']]],
+  ['has_5fbottom_8910',['has_bottom',['../classSVF_1_1IntervalExeState.html#a6a8c6bbff583ccd71453af5de884df89',1,'SVF::IntervalExeState']]],
+  ['has_5fstatic_8911',['has_static',['../classSVF_1_1ExtAPI.html#ae20ea24cce02de87d89a2d0b773a2357',1,'SVF::ExtAPI']]],
+  ['has_5fstatic2_8912',['has_static2',['../classSVF_1_1ExtAPI.html#ad3eefa086aa514e4d245a975ea3d45b5',1,'SVF::ExtAPI']]],
+  ['hasactualinsvfgnodes_8913',['hasActualINSVFGNodes',['../classSVF_1_1SVFG.html#a21577bc4b4e55b23aa55083f5321b399',1,'SVF::SVFG']]],
+  ['hasactualoutsvfgnodes_8914',['hasActualOUTSVFGNodes',['../classSVF_1_1SVFG.html#ab1fde654cc464c5b4d1bafff83d346ed',1,'SVF::SVFG']]],
+  ['hasaddresstaken_8915',['hasAddressTaken',['../classSVF_1_1SVFFunction.html#a731b978178937e74c80d2882c429dc9e',1,'SVF::SVFFunction']]],
+  ['hasallcxtinlockspan_8916',['hasAllCxtInLockSpan',['../classSVF_1_1LockAnalysis.html#a3e2c8531a56c14c645d21289716515ad',1,'SVF::LockAnalysis']]],
+  ['hasbasicblock_8917',['hasBasicBlock',['../classSVF_1_1SVFFunction.html#a9a7f1f56b6cfc33e7fa241286a07fd63',1,'SVF::SVFFunction']]],
+  ['hasblackholeconstobjaddrasdef_8918',['hasBlackHoleConstObjAddrAsDef',['../classSVF_1_1VFG.html#a88f6468b9b43bbb06ef757d884580a50',1,'SVF::VFG']]],
+  ['hascallgraphedge_8919',['hasCallGraphEdge',['../classSVF_1_1PTACallGraph.html#af8df9ca6d906453fa3f7168aa84fd087',1,'SVF::PTACallGraph']]],
+  ['hascallsiteargsmap_8920',['hasCallSiteArgsMap',['../classSVF_1_1SVFIR.html#a95f77211550ec2374d57779d88cf5138',1,'SVF::SVFIR']]],
+  ['hascallsitechi_8921',['hasCallSiteChi',['../classSVF_1_1SVFG.html#ad9cc1581261182b56ae232d9a9b13296',1,'SVF::SVFG']]],
+  ['hascallsiteid_8922',['hasCallSiteID',['../classSVF_1_1PTACallGraph.html#aa8dbda3e46533680173e55d396f36756',1,'SVF::PTACallGraph']]],
+  ['hascallsitemu_8923',['hasCallSiteMu',['../classSVF_1_1SVFG.html#a842f6f2325c9e93ea96367e9cf624ee8',1,'SVF::SVFG']]],
+  ['hascfbasicblockedge_8924',['hasCFBasicBlockEdge',['../classSVF_1_1CFBasicBlockGraph.html#a154d9dae860b441b1653e0afb90f1da3',1,'SVF::CFBasicBlockGraph']]],
+  ['haschi_8925',['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_8926',['hasConstantGEP',['../BreakConstantExpr_8cpp.html#a81381bb19688464256bd09ef22e965e4',1,'BreakConstantExpr.cpp']]],
+  ['hasconstraintnode_8927',['hasConstraintNode',['../classSVF_1_1ConstraintGraph.html#aad6c37476edfd9ae92dc8c0d004d782d',1,'SVF::ConstraintGraph']]],
+  ['hascptslist_8928',['hasCPtsList',['../classSVF_1_1MRGenerator.html#a1cb94c8a0379eb30c99f0c3cb2bfebaf',1,'SVF::MRGenerator']]],
+  ['hascxtlock_8929',['hasCxtLock',['../classSVF_1_1LockAnalysis.html#a6c918786d065309e8a7b13759f410a09',1,'SVF::LockAnalysis']]],
+  ['hascxtlockfromcxtstmt_8930',['hasCxtLockfromCxtStmt',['../classSVF_1_1LockAnalysis.html#a395df7174e06cad1971e6a81587ca043',1,'SVF::LockAnalysis']]],
+  ['hascxtstmtfrominst_8931',['hasCxtStmtfromInst',['../classSVF_1_1LockAnalysis.html#a550498f59e23d4b2fb3e0227f7135c23',1,'SVF::LockAnalysis']]],
+  ['hasdeclaration_8932',['hasDeclaration',['../classSVF_1_1LLVMModuleSet.html#a74a7961552498d1a99e1da70b7f78620',1,'SVF::LLVMModuleSet']]],
+  ['hasdef_8933',['hasDef',['../classSVF_1_1SVFG.html#a926c79813d5cfbd16201832024b95190',1,'SVF::SVFG::hasDef()'],['../classSVF_1_1VFG.html#ab5b63b4f6317bfb5875f2b977bcf26a4',1,'SVF::VFG::hasDef()']]],
+  ['hasdefinition_8934',['hasDefinition',['../classSVF_1_1LLVMModuleSet.html#a32558da64f03452c502ec57d1e106427',1,'SVF::LLVMModuleSet']]],
+  ['hasdefsvfgnode_8935',['hasDefSVFGNode',['../classSVF_1_1SVFG.html#ad2d19c5b80b01c8a7bb41100bb156279',1,'SVF::SVFG']]],
+  ['hasdfinset_8936',['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_8937',['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_8938',['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_8939',['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_8940',['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_8941',['hasEdgeDestLabels',['../structSVF_1_1DefaultDOTGraphTraits.html#a87d7b47985a849c7c4ff1c328a59c623',1,'SVF::DefaultDOTGraphTraits']]],
+  ['hasflag_8942',['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_8943',['hasFormalINSVFGNodes',['../classSVF_1_1SVFG.html#a65f28035e0fa5bebf76d28612b2f8ba8',1,'SVF::SVFG']]],
+  ['hasformaloutsvfgnodes_8944',['hasFormalOUTSVFGNodes',['../classSVF_1_1SVFG.html#a1f8c60ad57bf473e0186b794d666b5c2',1,'SVF::SVFG']]],
+  ['hasfunargslist_8945',['hasFunArgsList',['../classSVF_1_1SVFIR.html#ac359813747b4f75920c5f395ba74f410',1,'SVF::SVFIR']]],
+  ['hasfuncentrychi_8946',['hasFuncEntryChi',['../classSVF_1_1SVFG.html#a23ca21b90feca5e7d00c9ba9f489374a',1,'SVF::SVFG::hasFuncEntryChi()'],['../classSVF_1_1MemSSA.html#aec75259d035e3b5589e6fcbbcdfe4b2c',1,'SVF::MemSSA::hasFuncEntryChi()']]],
+  ['hasfuncretmu_8947',['hasFuncRetMu',['../classSVF_1_1SVFG.html#a32378226c18a0b1e22271a2338a635f6',1,'SVF::SVFG']]],
+  ['hasglobalrep_8948',['hasGlobalRep',['../classSVF_1_1LLVMModuleSet.html#a0e5ab0def54815f67ed7495d028dab1b',1,'SVF::LLVMModuleSet']]],
+  ['hasgnode_8949',['hasGNode',['../classSVF_1_1GenericGraph.html#a6885064afa211958af7b73f0233284e5',1,'SVF::GenericGraph']]],
+  ['hasgraphedge_8950',['hasGraphEdge',['../classSVF_1_1PTACallGraph.html#a6d29a39440d8f6290e2e8b7322b965fb',1,'SVF::PTACallGraph::hasGraphEdge()'],['../classSVF_1_1TCT.html#adb2025048dc69f0689f526c58df29802',1,'SVF::TCT::hasGraphEdge()']]],
+  ['hash_8951',['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_8952',['hasICFGNode',['../classSVF_1_1ICFG.html#a16c2ed1f9e28c84669b14dc48fb3c01a',1,'SVF::ICFG']]],
+  ['hasincomingedge_8953',['hasIncomingEdge',['../classSVF_1_1GenericNode.html#a06a7373b11143e709784de784fa476fe',1,'SVF::GenericNode::hasIncomingEdge() const'],['../classSVF_1_1GenericNode.html#add6b6b3bd45a9460335c5db9eda821b8',1,'SVF::GenericNode::hasIncomingEdge(EdgeType *edge) const']]],
+  ['hasincomingedges_8954',['hasIncomingEdges',['../classSVF_1_1SVFVar.html#a747b2c92c81d32fcd357e80d2d8fe7cc',1,'SVF::SVFVar']]],
+  ['hasincomingvariantgepedge_8955',['hasIncomingVariantGepEdge',['../classSVF_1_1SVFVar.html#a71e4fd7a1271a17e971ed90044e6da24',1,'SVF::SVFVar']]],
+  ['hasind_5fh_8956',['hasInd_h',['../classSVF_1_1POCRHybridSolver.html#a92f7dab147eab44ee5e4bdf02708c9a0',1,'SVF::POCRHybridSolver']]],
+  ['hasindcscallees_8957',['hasIndCSCallees',['../classSVF_1_1PTACallGraph.html#a71a63c53a093ea8e450fb53fd60c9424',1,'SVF::PTACallGraph::hasIndCSCallees()'],['../classSVF_1_1PointerAnalysis.html#abdacd060691add054839aa183babe095',1,'SVF::PointerAnalysis::hasIndCSCallees()']]],
+  ['hasintericfgedge_8958',['hasInterICFGEdge',['../classSVF_1_1ICFG.html#a86535e50d1feba706b19491d905baef1',1,'SVF::ICFG']]],
+  ['hasinterleavingthreads_8959',['hasInterleavingThreads',['../classSVF_1_1MHP.html#a3ba43bb0be55ffade3d70f8cbb95f88f',1,'SVF::MHP']]],
+  ['hasintersect_8960',['hasIntersect',['../classSVF_1_1AddressValue.html#a269a73753a7b495eb08bb0c9c0a58dc0',1,'SVF::AddressValue']]],
+  ['hasintervfgedge_8961',['hasInterVFGEdge',['../classSVF_1_1VFG.html#ad86631f70bd702b5635bdbeab7d884b9',1,'SVF::VFG']]],
+  ['hasintraicfgedge_8962',['hasIntraICFGEdge',['../classSVF_1_1ICFG.html#aa662baae5682ef6ec5084fa4147c9709',1,'SVF::ICFG']]],
+  ['hasintravfgedge_8963',['hasIntraVFGEdge',['../classSVF_1_1VFG.html#ac34c4529229404617c346f81cc6c141f',1,'SVF::VFG']]],
+  ['hasjoininsymmetricloop_8964',['hasJoinInSymmetricLoop',['../classSVF_1_1MHP.html#a7585f40b80c5488828576eb2f035ac61',1,'SVF::MHP::hasJoinInSymmetricLoop()'],['../classSVF_1_1ForkJoinAnalysis.html#ab69d11caf499612d108155e13adb300f',1,'SVF::ForkJoinAnalysis::hasJoinInSymmetricLoop()']]],
+  ['hasjoinloop_8965',['hasJoinLoop',['../classSVF_1_1ForkJoinAnalysis.html#a197ab02e8320affc4ba2c67fae5bf020',1,'SVF::ForkJoinAnalysis::hasJoinLoop()'],['../classSVF_1_1TCT.html#a59125bb4878bc347dbdbc74aa6ec4cdf',1,'SVF::TCT::hasJoinLoop()']]],
+  ['haslabelededge_8966',['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_8967',['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_8968',['hasLoopInfo',['../classSVF_1_1SVFLoopAndDomInfo.html#abe37f8896e2491a7a60be3fbfde8123c',1,'SVF::SVFLoopAndDomInfo::hasLoopInfo()'],['../classSVF_1_1SVFFunction.html#aee05370109d7667c40ca34c454c66714',1,'SVF::SVFFunction::hasLoopInfo()']]],
+  ['hasmodmrset_8969',['hasModMRSet',['../classSVF_1_1MRGenerator.html#a7d66a341805af7ec4e4893e5a7e0bc2d',1,'SVF::MRGenerator']]],
+  ['hasmodsideeffectofcallsite_8970',['hasModSideEffectOfCallSite',['../classSVF_1_1MRGenerator.html#a187d82895b2e1156c6dd5ae28795944f',1,'SVF::MRGenerator']]],
+  ['hasmu_8971',['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_8972',['hasNode',['../classSVF_1_1DCHGraph.html#a58341e23c1dc2b3e7fce190ed16a8a25',1,'SVF::DCHGraph']]],
+  ['hasnodestobecollapsed_8973',['hasNodesToBeCollapsed',['../classSVF_1_1ConstraintGraph.html#aa867ffe0f3639a0ef5b5c36696e733be',1,'SVF::ConstraintGraph']]],
+  ['hasnonlabelededge_8974',['hasNonlabeledEdge',['../classSVF_1_1IRGraph.html#abe0ab797a3da420e4d2f9136d64fb407',1,'SVF::IRGraph']]],
+  ['hasonecxtinlockspan_8975',['hasOneCxtInLockSpan',['../classSVF_1_1LockAnalysis.html#a7d2072c3c0ae571077a2aa2c3586451d',1,'SVF::LockAnalysis']]],
+  ['hasoutgoingedge_8976',['hasOutgoingEdge',['../classSVF_1_1GenericNode.html#a0931220d7a38e03f206cbdc6465d32ad',1,'SVF::GenericNode::hasOutgoingEdge() const'],['../classSVF_1_1GenericNode.html#aa0c40cb708b39300b3cb7354194e4993',1,'SVF::GenericNode::hasOutgoingEdge(EdgeType *edge) const']]],
+  ['hasoutgoingedges_8977',['hasOutgoingEdges',['../classSVF_1_1SVFVar.html#a9b00f9b5f8ad2422162f4396e2d8fa42',1,'SVF::SVFVar']]],
+  ['hasparentthread_8978',['hasParentThread',['../classSVF_1_1TCT.html#a6855a3a8a98591e58dba07047f7705ce',1,'SVF::TCT']]],
+  ['hasphiset_8979',['hasPHISet',['../classSVF_1_1MemSSA.html#a41bc86b7dc4d400d83c1f19ede4936ed',1,'SVF::MemSSA']]],
+  ['haspointsto_8980',['hasPointsTo',['../classSVF_1_1CondPointsToSet.html#ab1d20dfe6f243f7a09a8e2face097cc0',1,'SVF::CondPointsToSet']]],
+  ['hasprodsfromfirstrhs_8981',['hasProdsFromFirstRHS',['../classSVF_1_1CFLGrammar.html#aa6383a6a8ccd30afbedf7ff3a05d46d8',1,'SVF::CFLGrammar']]],
+  ['hasprodsfromsecondrhs_8982',['hasProdsFromSecondRHS',['../classSVF_1_1CFLGrammar.html#a2b1c91f6d33423046d3ffcb2985351ce',1,'SVF::CFLGrammar']]],
+  ['hasprodsfromsinglerhs_8983',['hasProdsFromSingleRHS',['../classSVF_1_1CFLGrammar.html#a51d4514dec026412f7151a6ea1fc2b5d',1,'SVF::CFLGrammar']]],
+  ['hasptasvfstmtlist_8984',['hasPTASVFStmtList',['../classSVF_1_1SVFIR.html#a0552d565633ee22abe03085134a871c0',1,'SVF::SVFIR']]],
+  ['hasptrobj_8985',['hasPtrObj',['../classSVF_1_1MemObj.html#a6dae1b3429c6049f0153ec006d329082',1,'SVF::MemObj::hasPtrObj()'],['../classSVF_1_1ObjTypeInfo.html#ac5bae1e7917f415193a805e8d2e29320',1,'SVF::ObjTypeInfo::hasPtrObj()']]],
+  ['hasptsmap_8986',['hasPtsMap',['../classSVF_1_1CondPTAImpl.html#a597e9c4e76f358c36d4b820c4d69ebc6',1,'SVF::CondPTAImpl']]],
+  ['hasrefmrset_8987',['hasRefMRSet',['../classSVF_1_1MRGenerator.html#af06e8ac43efdedb97a2008cd93fc32d6',1,'SVF::MRGenerator']]],
+  ['hasrefsideeffectofcallsite_8988',['hasRefSideEffectOfCallSite',['../classSVF_1_1MRGenerator.html#a9718c9e8efc1e6f32441aa5f418711dd',1,'SVF::MRGenerator']]],
+  ['hasreturnmu_8989',['hasReturnMu',['../classSVF_1_1MemSSA.html#a3400d9a921672b3872656acecc3eac9f',1,'SVF::MemSSA']]],
+  ['hassbsinkflag_8990',['hasSBSinkFlag',['../classSVF_1_1Annotator.html#acbb2e202ab3fb864e70eac6b41c3899e',1,'SVF::Annotator']]],
+  ['hassbsourceflag_8991',['hasSBSourceFlag',['../classSVF_1_1Annotator.html#a3fb284999931900d92e60104980648ef',1,'SVF::Annotator']]],
+  ['hasspanfromcxtlock_8992',['hasSpanfromCxtLock',['../classSVF_1_1LockAnalysis.html#af8ada4a73bf132e1adeef7aa0522f596',1,'SVF::LockAnalysis']]],
+  ['hassvfgnode_8993',['hasSVFGNode',['../classSVF_1_1SVFG.html#a1b9d1ad76785ae0eb07979aa75325640',1,'SVF::SVFG']]],
+  ['hassvfstmtlist_8994',['hasSVFStmtList',['../classSVF_1_1MRGenerator.html#abcb903f5d5f323f319fc58f9df697f63',1,'SVF::MRGenerator::hasSVFStmtList()'],['../classSVF_1_1SVFIR.html#a63acb4d86d93ad1e88860ac839a8c654',1,'SVF::SVFIR::hasSVFStmtList()']]],
+  ['hassvftypeinfo_8995',['hasSVFTypeInfo',['../classSVF_1_1SymbolTableInfo.html#af678e138df136d6f3cd53826dfa4486c',1,'SVF::SymbolTableInfo']]],
+  ['hastctnode_8996',['hasTCTNode',['../classSVF_1_1TCT.html#a5d5a753b4d2633e3aaf58859274ffe7a',1,'SVF::TCT']]],
+  ['hasthreadforkedge_8997',['hasThreadForkEdge',['../classSVF_1_1ThreadCallGraph.html#a933a6a2f0a0c6364e8df1bc65a07192f',1,'SVF::ThreadCallGraph']]],
+  ['hasthreadicfgedge_8998',['hasThreadICFGEdge',['../classSVF_1_1ICFG.html#a29fb70d6638765ce291c5a8a11fbea64',1,'SVF::ICFG']]],
+  ['hasthreadjoinedge_8999',['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_9000',['hasThreadStmtSet',['../classSVF_1_1MHP.html#a27d031e9c7c4706d7ee1750668e83b99',1,'SVF::MHP']]],
+  ['hasthreadvfgedge_9001',['hasThreadVFGEdge',['../classSVF_1_1VFG.html#aead3b463d9aa2fae5845d97896bd18ba',1,'SVF::VFG']]],
+  ['hasvalidationtarget_9002',['hasValidationTarget',['../classSVF_1_1RaceResultValidator.html#a749793355ab8390a1e6577d7b05efddf',1,'SVF::RaceResultValidator::hasValidationTarget() const'],['../classSVF_1_1RaceResultValidator.html#a749793355ab8390a1e6577d7b05efddf',1,'SVF::RaceResultValidator::hasValidationTarget() const']]],
+  ['hasvalsym_9003',['hasValSym',['../classSVF_1_1SymbolTableInfo.html#af5e91f2ace726b1f05b045681d2bd117',1,'SVF::SymbolTableInfo']]],
+  ['hasvalue_9004',['hasValue',['../classSVF_1_1SVFVar.html#a1ace69053c2c4436fd78d5624bd0086a',1,'SVF::SVFVar']]],
+  ['hasvaluenode_9005',['hasValueNode',['../classSVF_1_1IRGraph.html#a401ec65771a3d2dcc8eb60574aadd354',1,'SVF::IRGraph']]],
+  ['hasvfgnode_9006',['hasVFGNode',['../classSVF_1_1VFG.html#a30eb9d717ad5bc8a9109a7bdef38f4a1',1,'SVF::VFG']]],
+  ['hasvfgnodes_9007',['hasVFGNodes',['../classSVF_1_1VFG.html#a76af43e28630eb56a1aa5971f516d43d',1,'SVF::VFG']]],
+  ['hclust_5ffast_9008',['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_9009',['hclustMethodToString',['../namespaceSVF_1_1SVFUtil.html#a14a4c5124f2fd03ca3d898e2acd54160',1,'SVF::SVFUtil']]],
+  ['head_9010',['head',['../classSVF_1_1CFBasicBlockGWTOCycle.html#aba6a1249015322f073e05fcf089da801',1,'SVF::CFBasicBlockGWTOCycle']]],
+  ['headbegin_9011',['headBegin',['../classSVF_1_1CFBasicBlockGWTO.html#ac2fdb330a81c28cae01858952d237c7e',1,'SVF::CFBasicBlockGWTO']]],
+  ['headend_9012',['headEnd',['../classSVF_1_1CFBasicBlockGWTO.html#a822077820c188463603f8968c4535a60',1,'SVF::CFBasicBlockGWTO']]],
+  ['heapallocatorviaindcall_9013',['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()']]]
 ];