svf-tools 1.0.905 → 1.0.907

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

@@ -1,218 +1,214 @@
 var searchData=
 [
-  ['handblackhole_3171',['HandBlackHole',['../classSVF_1_1Options.html#a51b28b2e973911fb8e2c23c6127e9a63',1,'SVF::Options']]],
-  ['handleaddr_3172',['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_3173',['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_3174',['handleBlackHole',['../classSVF_1_1SVFIR.html#a2375f49c77f2285a6316e7540b051a0f',1,'SVF::SVFIR']]],
-  ['handlecall_3175',['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_3176',['handleCallRelation',['../classSVF_1_1LockAnalysis.html#ab99ef73905f35d4c20ca408586fc8680',1,'SVF::LockAnalysis::handleCallRelation()'],['../classSVF_1_1TCT.html#aac0c4c3f1c7cb1d89ebd2a3da2d49bd3',1,'SVF::TCT::handleCallRelation()']]],
-  ['handlecallsite_3177',['handleCallSite',['../classSVF_1_1AbstractExecution.html#a6cbc336372afb947c783fb14c45426df',1,'SVF::AbstractExecution']]],
-  ['handlecallsitemodref_3178',['handleCallsiteModRef',['../classSVF_1_1MRGenerator.html#acbf0be131b1fc5d0366157d300d1aa68',1,'SVF::MRGenerator']]],
-  ['handlece_3179',['handleCE',['../classSVF_1_1SymbolTableBuilder.html#abe39a7a3557899b4991bcc60d436dc50',1,'SVF::SymbolTableBuilder']]],
-  ['handlecopygep_3180',['handleCopyGep',['../classSVF_1_1Andersen.html#ab069683dd6ca563113efbde2813ab35e',1,'SVF::Andersen::handleCopyGep()'],['../classSVF_1_1AndersenSCD.html#aa0a496376f7bea2c417ef83c51d19a61',1,'SVF::AndersenSCD::handleCopyGep()']]],
-  ['handlecycle_3181',['handleCycle',['../classSVF_1_1AbstractExecution.html#a609f7f047d88f8a2f44cd783668dc179',1,'SVF::AbstractExecution']]],
-  ['handledibasictype_3182',['handleDIBasicType',['../classSVF_1_1DCHGraph.html#a86bf48776ccf53092f4cb742cf95f8eb',1,'SVF::DCHGraph']]],
-  ['handledicompositetype_3183',['handleDICompositeType',['../classSVF_1_1DCHGraph.html#a3ce75cbe92a1fa7d34c6fca2d2ca1b0f',1,'SVF::DCHGraph']]],
-  ['handlediderivedtype_3184',['handleDIDerivedType',['../classSVF_1_1DCHGraph.html#a1a4162e68b22d53e9dca73c6780ed3e5',1,'SVF::DCHGraph']]],
-  ['handledirectcall_3185',['handleDirectCall',['../classSVF_1_1SVFIRBuilder.html#a3ccc53ca9a6862674ee2ec3bd67aa515',1,'SVF::SVFIRBuilder']]],
-  ['handledisubroutinetype_3186',['handleDISubroutineType',['../classSVF_1_1DCHGraph.html#a671f379ae54eef247b5e013478eb3f0c',1,'SVF::DCHGraph']]],
-  ['handleextapi_3187',['handleExtAPI',['../classSVF_1_1AbstractExecution.html#ae002abb8711300ff52200f78f1463369',1,'SVF::AbstractExecution::handleExtAPI()'],['../classSVF_1_1BufOverflowChecker.html#a1ed3cb0a1a118d9e505b192841a58dde',1,'SVF::BufOverflowChecker::handleExtAPI()']]],
-  ['handleextcall_3188',['handleExtCall',['../classSVF_1_1SVFIRBuilder.html#a8b664a9d689562bd857f056e6e08c59b',1,'SVF::SVFIRBuilder']]],
-  ['handlefork_3189',['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()']]],
-  ['handlefunc_3190',['handleFunc',['../classSVF_1_1AbstractExecution.html#adb88a8be0bc1c1ac2d1546e9191c6f93',1,'SVF::AbstractExecution']]],
-  ['handleglobalce_3191',['handleGlobalCE',['../classSVF_1_1SymbolTableBuilder.html#a72732ec0392d9d5b900fc12177890779',1,'SVF::SymbolTableBuilder']]],
-  ['handleglobalinitializerce_3192',['handleGlobalInitializerCE',['../classSVF_1_1SymbolTableBuilder.html#a1efd9406182eb86b1ee4829c931b566d',1,'SVF::SymbolTableBuilder']]],
-  ['handleglobalnode_3193',['handleGlobalNode',['../classSVF_1_1AbstractExecution.html#a7efff2047b2b6017fdd210a8679817cd',1,'SVF::AbstractExecution']]],
-  ['handleicfgnode_3194',['handleICFGNode',['../classSVF_1_1AbstractExecution.html#a714fa1f4794008f630de415414cf8bfd',1,'SVF::AbstractExecution::handleICFGNode()'],['../classSVF_1_1BufOverflowChecker.html#afa6b30220b0b3261205a909def9ca44e',1,'SVF::BufOverflowChecker::handleICFGNode()']]],
-  ['handleindcall_3195',['handleIndCall',['../classSVF_1_1SVFIRBuilder.html#a5ae68d4465feb54fcb8fd0cf20b7a71a',1,'SVF::SVFIRBuilder']]],
-  ['handleintervalueflow_3196',['handleInterValueFlow',['../classSVF_1_1SVFGOPT.html#a4c698184cc23730fb44904d4048958da',1,'SVF::SVFGOPT']]],
-  ['handleintra_3197',['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_3198',['handleIntraValueFlow',['../classSVF_1_1SVFGOPT.html#a21429d8c3fba209d9cdc22e3623c5573',1,'SVF::SVFGOPT']]],
-  ['handlejoin_3199',['handleJoin',['../classSVF_1_1MHP.html#a3a535274cd3349a05eeccf3c9231396a',1,'SVF::MHP::handleJoin()'],['../classSVF_1_1ForkJoinAnalysis.html#ae4d0ee03b30220793d24f814e75a440e',1,'SVF::ForkJoinAnalysis::handleJoin()']]],
-  ['handleload_3200',['handleLoad',['../classSVF_1_1AndersenWaveDiff.html#a7f2af504c4fb96e64371a8533c0525fe',1,'SVF::AndersenWaveDiff']]],
-  ['handleloadstore_3201',['handleLoadStore',['../classSVF_1_1Andersen.html#a0f32ba8cb1109c257552fa775a007ffd',1,'SVF::Andersen::handleLoadStore()'],['../classSVF_1_1AndersenSCD.html#a7ae683eb8c607a0e742b44e3019b8cbc',1,'SVF::AndersenSCD::handleLoadStore()']]],
-  ['handlememcpy_3202',['handleMemcpy',['../classSVF_1_1AbstractExecution.html#a37c0e12879d3320857a288191e6d2202',1,'SVF::AbstractExecution']]],
-  ['handlememset_3203',['handleMemset',['../classSVF_1_1AbstractExecution.html#ad70015e99339c3beb3a911c0ff6f0144',1,'SVF::AbstractExecution']]],
-  ['handlenoncandidatefun_3204',['handleNonCandidateFun',['../classSVF_1_1MHP.html#a2c1e4fac7b810021939ed26307d37816',1,'SVF::MHP']]],
-  ['handleoutofbudgetdpm_3205',['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_3206',['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_3207',['handleSingleStatement',['../classSVF_1_1DDAVFSolver.html#a99f631cf1bc438e3f08f7f935e98e38d',1,'SVF::DDAVFSolver']]],
-  ['handlestatement_3208',['handleStatement',['../classSVF_1_1DDAClient.html#aec3de00152e828beb5037269430f387d',1,'SVF::DDAClient']]],
-  ['handlestore_3209',['handleStore',['../classSVF_1_1AndersenWaveDiff.html#a775a74d57842b85301daeafe64c8a5c4',1,'SVF::AndersenWaveDiff']]],
-  ['handlestoreload_3210',['handleStoreLoad',['../classSVF_1_1MTASVFGBuilder.html#a24921d1b1d79d7ef0b358be8d7a9e2c4',1,'SVF::MTASVFGBuilder']]],
-  ['handlestoreloadnonsparse_3211',['handleStoreLoadNonSparse',['../classSVF_1_1MTASVFGBuilder.html#a82b52f8e70f51353cbd7476a509ff523',1,'SVF::MTASVFGBuilder']]],
-  ['handlestoreloadwithlockprecisely_3212',['handleStoreLoadWithLockPrecisely',['../classSVF_1_1MTASVFGBuilder.html#aa861922932233ab547b63c87551b8fd3',1,'SVF::MTASVFGBuilder']]],
-  ['handlestorestore_3213',['handleStoreStore',['../classSVF_1_1MTASVFGBuilder.html#a29a14309cfa1d7c4454fb1237704e487',1,'SVF::MTASVFGBuilder']]],
-  ['handlestorestorenonsparse_3214',['handleStoreStoreNonSparse',['../classSVF_1_1MTASVFGBuilder.html#a91ff57e51b0650963b4b5541fa0f7056',1,'SVF::MTASVFGBuilder']]],
-  ['handlestorestorewithlockprecisely_3215',['handleStoreStoreWithLockPrecisely',['../classSVF_1_1MTASVFGBuilder.html#a1802d8ed854bef817afa748d2bbcea05',1,'SVF::MTASVFGBuilder']]],
-  ['handlestrcat_3216',['handleStrcat',['../classSVF_1_1AbstractExecution.html#a28c04e0a985eda44fe8532c44c7e05bb',1,'SVF::AbstractExecution']]],
-  ['handlestrcpy_3217',['handleStrcpy',['../classSVF_1_1AbstractExecution.html#a0ed5456bdeaff7ab4e1decdff8ae2afb',1,'SVF::AbstractExecution']]],
-  ['handlesvfstatement_3218',['handleSVFStatement',['../classSVF_1_1AbstractExecution.html#a1d725fe50a7084bfa18bd47b941af885',1,'SVF::AbstractExecution::handleSVFStatement()'],['../classSVF_1_1BufOverflowChecker.html#a0b79c3694a08100d2d8d1b8109998131',1,'SVF::BufOverflowChecker::handleSVFStatement()']]],
-  ['handlethunkfunction_3219',['handleThunkFunction',['../CppUtil_8cpp.html#a264d15523be2c695d9cee8d49ae87ebe',1,'CppUtil.cpp']]],
-  ['handletypedef_3220',['handleTypedef',['../classSVF_1_1DCHGraph.html#a6d97a772afe16c1483e65eea81f82603',1,'SVF::DCHGraph']]],
-  ['handlewtonode_3221',['handleWTONode',['../classSVF_1_1AbstractExecution.html#a6c06e39df9b60a25480b4f485d1c2cbb',1,'SVF::AbstractExecution']]],
-  ['hare_5fpar_5ffor_3222',['HARE_PAR_FOR',['../classSVF_1_1ThreadAPI.html#a38a7516702c55ab418167b7c850516b3a4690967fd6d32fb82c5de637846a3476',1,'SVF::ThreadAPI']]],
-  ['hareparforedge_3223',['HareParForEdge',['../classSVF_1_1HareParForEdge.html',1,'SVF::HareParForEdge'],['../classSVF_1_1PTACallGraphEdge.html#a9738544725458bb022b8d5f2dbd281f7a17e0d58fd42d0d493087e698d4ecd838',1,'SVF::PTACallGraphEdge::HareParForEdge()'],['../classSVF_1_1HareParForEdge.html#a097ccd687d7ca511a4a453dd56b7c665',1,'SVF::HareParForEdge::HareParForEdge()']]],
-  ['has_5fbottom_3224',['has_bottom',['../classSVF_1_1IntervalESBase.html#a2387b671954d5c1fdd4b08b71ffa0e6c',1,'SVF::IntervalESBase']]],
-  ['has_5fclz_3225',['HAS_CLZ',['../SparseBitVector_8h.html#aa4aed82d501b04499090de2c616e6b1f',1,'SparseBitVector.h']]],
-  ['has_5fclzll_3226',['HAS_CLZLL',['../SparseBitVector_8h.html#ad66fb43b1e40d6e22629fcd889d4bfab',1,'SparseBitVector.h']]],
-  ['has_5fedgetype_3227',['has_edgetype',['../structSVF_1_1has__edgetype.html',1,'SVF']]],
-  ['has_5fedgetype_3c_20t_2c_20std_3a_3avoid_5ft_3c_20typename_20t_3a_3aedgetype_20_3e_20_3e_3228',['has_edgetype< T, std::void_t< typename T::EdgeType > >',['../structSVF_1_1has__edgetype_3_01T_00_01std_1_1void__t_3_01typename_01T_1_1EdgeType_01_4_01_4.html',1,'SVF']]],
-  ['has_5fnodetype_3229',['has_nodetype',['../structSVF_1_1has__nodetype.html',1,'SVF']]],
-  ['has_5fnodetype_3c_20t_2c_20std_3a_3avoid_5ft_3c_20typename_20t_3a_3anodetype_20_3e_20_3e_3230',['has_nodetype< T, std::void_t< typename T::NodeType > >',['../structSVF_1_1has__nodetype_3_01T_00_01std_1_1void__t_3_01typename_01T_1_1NodeType_01_4_01_4.html',1,'SVF']]],
-  ['has_5fstatic_3231',['has_static',['../classSVF_1_1ExtAPI.html#a9ba485eb5c452f8fb273c625126bad96',1,'SVF::ExtAPI']]],
-  ['hasactualinsvfgnodes_3232',['hasActualINSVFGNodes',['../classSVF_1_1SVFG.html#a21577bc4b4e55b23aa55083f5321b399',1,'SVF::SVFG']]],
-  ['hasactualoutsvfgnodes_3233',['hasActualOUTSVFGNodes',['../classSVF_1_1SVFG.html#ab1fde654cc464c5b4d1bafff83d346ed',1,'SVF::SVFG']]],
-  ['hasaddresstaken_3234',['hasAddressTaken',['../classSVF_1_1SVFFunction.html#a731b978178937e74c80d2882c429dc9e',1,'SVF::SVFFunction']]],
-  ['hasallcxtinlockspan_3235',['hasAllCxtInLockSpan',['../classSVF_1_1LockAnalysis.html#a3e2c8531a56c14c645d21289716515ad',1,'SVF::LockAnalysis']]],
-  ['hasbasicblock_3236',['hasBasicBlock',['../classSVF_1_1SVFFunction.html#a9a7f1f56b6cfc33e7fa241286a07fd63',1,'SVF::SVFFunction']]],
-  ['hasblackholeconstobjaddrasdef_3237',['hasBlackHoleConstObjAddrAsDef',['../classSVF_1_1VFG.html#a88f6468b9b43bbb06ef757d884580a50',1,'SVF::VFG']]],
-  ['hasbranches_3238',['hasBranchES',['../classSVF_1_1AbstractExecution.html#a28df4f2bd5b337468f254cd609adb25f',1,'SVF::AbstractExecution']]],
-  ['hascallgraphedge_3239',['hasCallGraphEdge',['../classSVF_1_1PTACallGraph.html#af8df9ca6d906453fa3f7168aa84fd087',1,'SVF::PTACallGraph']]],
-  ['hascallsiteargsmap_3240',['hasCallSiteArgsMap',['../classSVF_1_1SVFIR.html#a95f77211550ec2374d57779d88cf5138',1,'SVF::SVFIR']]],
-  ['hascallsitechi_3241',['hasCallSiteChi',['../classSVF_1_1SVFG.html#ad9cc1581261182b56ae232d9a9b13296',1,'SVF::SVFG']]],
-  ['hascallsiteid_3242',['hasCallSiteID',['../classSVF_1_1PTACallGraph.html#aa8dbda3e46533680173e55d396f36756',1,'SVF::PTACallGraph']]],
-  ['hascallsitemu_3243',['hasCallSiteMu',['../classSVF_1_1SVFG.html#a842f6f2325c9e93ea96367e9cf624ee8',1,'SVF::SVFG']]],
-  ['hascdgedge_3244',['hasCDGEdge',['../classSVF_1_1CDG.html#a3cb3a5f88b8c38e53e314d7806e5efb6',1,'SVF::CDG']]],
-  ['hascdgnode_3245',['hasCDGNode',['../classSVF_1_1CDG.html#a965a30b1323fa9c9013760d410516e0e',1,'SVF::CDG']]],
-  ['haschi_3246',['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']]],
-  ['hascmpbranches_3247',['hasCmpBranchES',['../classSVF_1_1AbstractExecution.html#ac7a25ad5cbc1a6132869ae54b805f73a',1,'SVF::AbstractExecution']]],
-  ['hasconstantbinaryorunaryop_3248',['hasConstantBinaryOrUnaryOp',['../BreakConstantExpr_8cpp.html#a7ba88bf4cda44accf0eba327da8ab716',1,'BreakConstantExpr.cpp']]],
-  ['hasconstantexpr_3249',['hasConstantExpr',['../BreakConstantExpr_8cpp.html#a7b06934734ebef30b8f24221e1380f93',1,'BreakConstantExpr.cpp']]],
-  ['hasconstantgep_3250',['hasConstantGEP',['../BreakConstantExpr_8cpp.html#a81381bb19688464256bd09ef22e965e4',1,'BreakConstantExpr.cpp']]],
-  ['hasconstraintnode_3251',['hasConstraintNode',['../classSVF_1_1ConstraintGraph.html#aad6c37476edfd9ae92dc8c0d004d782d',1,'SVF::ConstraintGraph']]],
-  ['hascptslist_3252',['hasCPtsList',['../classSVF_1_1MRGenerator.html#a1cb94c8a0379eb30c99f0c3cb2bfebaf',1,'SVF::MRGenerator']]],
-  ['hascxtlock_3253',['hasCxtLock',['../classSVF_1_1LockAnalysis.html#a6c918786d065309e8a7b13759f410a09',1,'SVF::LockAnalysis']]],
-  ['hascxtlockfromcxtstmt_3254',['hasCxtLockfromCxtStmt',['../classSVF_1_1LockAnalysis.html#a395df7174e06cad1971e6a81587ca043',1,'SVF::LockAnalysis']]],
-  ['hascxtstmtfrominst_3255',['hasCxtStmtfromInst',['../classSVF_1_1LockAnalysis.html#a550498f59e23d4b2fb3e0227f7135c23',1,'SVF::LockAnalysis']]],
-  ['hasdeclaration_3256',['hasDeclaration',['../classSVF_1_1LLVMModuleSet.html#a74a7961552498d1a99e1da70b7f78620',1,'SVF::LLVMModuleSet']]],
-  ['hasdef_3257',['hasDef',['../classSVF_1_1SVFG.html#a926c79813d5cfbd16201832024b95190',1,'SVF::SVFG::hasDef()'],['../classSVF_1_1VFG.html#ab5b63b4f6317bfb5875f2b977bcf26a4',1,'SVF::VFG::hasDef()']]],
-  ['hasdefinition_3258',['hasDefinition',['../classSVF_1_1LLVMModuleSet.html#a32558da64f03452c502ec57d1e106427',1,'SVF::LLVMModuleSet']]],
-  ['hasdefsvfgnode_3259',['hasDefSVFGNode',['../classSVF_1_1SVFG.html#ad2d19c5b80b01c8a7bb41100bb156279',1,'SVF::SVFG']]],
-  ['hasdfinset_3260',['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_3261',['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_3262',['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_3263',['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_3264',['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_3265',['hasEdgeDestLabels',['../structSVF_1_1DefaultDOTGraphTraits.html#a87d7b47985a849c7c4ff1c328a59c623',1,'SVF::DefaultDOTGraphTraits']]],
-  ['hasextfuncannotation_3266',['hasExtFuncAnnotation',['../classSVF_1_1ExtAPI.html#a1d7778db3b31f732f06129b49ec6dacd',1,'SVF::ExtAPI']]],
-  ['hasflag_3267',['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_3268',['hasFormalINSVFGNodes',['../classSVF_1_1SVFG.html#a65f28035e0fa5bebf76d28612b2f8ba8',1,'SVF::SVFG']]],
-  ['hasformaloutsvfgnodes_3269',['hasFormalOUTSVFGNodes',['../classSVF_1_1SVFG.html#a1f8c60ad57bf473e0186b794d666b5c2',1,'SVF::SVFG']]],
-  ['hasfunargslist_3270',['hasFunArgsList',['../classSVF_1_1SVFIR.html#ac359813747b4f75920c5f395ba74f410',1,'SVF::SVFIR']]],
-  ['hasfuncentrychi_3271',['hasFuncEntryChi',['../classSVF_1_1SVFG.html#a23ca21b90feca5e7d00c9ba9f489374a',1,'SVF::SVFG::hasFuncEntryChi()'],['../classSVF_1_1MemSSA.html#aec75259d035e3b5589e6fcbbcdfe4b2c',1,'SVF::MemSSA::hasFuncEntryChi()']]],
-  ['hasfuncretmu_3272',['hasFuncRetMu',['../classSVF_1_1SVFG.html#a32378226c18a0b1e22271a2338a635f6',1,'SVF::SVFG']]],
-  ['hasglobalrep_3273',['hasGlobalRep',['../classSVF_1_1LLVMModuleSet.html#a0e5ab0def54815f67ed7495d028dab1b',1,'SVF::LLVMModuleSet']]],
-  ['hasgnode_3274',['hasGNode',['../classSVF_1_1GenericGraph.html#a6885064afa211958af7b73f0233284e5',1,'SVF::GenericGraph']]],
-  ['hasgraphedge_3275',['hasGraphEdge',['../classSVF_1_1PTACallGraph.html#a6d29a39440d8f6290e2e8b7322b965fb',1,'SVF::PTACallGraph::hasGraphEdge()'],['../classSVF_1_1TCT.html#adb2025048dc69f0689f526c58df29802',1,'SVF::TCT::hasGraphEdge()']]],
-  ['hash_3276',['Hash',['../structSVF_1_1Hash.html',1,'SVF::Hash< T >'],['../classSVF_1_1ConsExeState.html#a374e087ef40804ed00a631ed22e91590',1,'SVF::ConsExeState::hash()'],['../classSVF_1_1ExeState.html#a2e63af0f29d04484c09cca217b799986',1,'SVF::ExeState::hash()'],['../classSVF_1_1IntervalESBase.html#a2ecbba4a55776562262b6ddc9f0d9101',1,'SVF::IntervalESBase::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()']]],
-  ['hash_3c_20const_20svf_3a_3acondvar_3c_20cond_20_3e_20_3e_3277',['hash< const SVF::CondVar< Cond > >',['../structstd_1_1hash_3_01const_01SVF_1_1CondVar_3_01Cond_01_4_01_4.html',1,'std']]],
-  ['hash_3c_20const_20svf_3a_3acontextcond_20_3e_3278',['hash< const SVF::ContextCond >',['../structstd_1_1hash_3_01const_01SVF_1_1ContextCond_01_4.html',1,'std']]],
-  ['hash_3c_20corebitvector_20_3e_3279',['Hash< CoreBitVector >',['../structSVF_1_1Hash_3_01CoreBitVector_01_4.html',1,'SVF']]],
-  ['hash_3c_20nodepair_20_3e_3280',['Hash< NodePair >',['../structSVF_1_1Hash_3_01NodePair_01_4.html',1,'SVF']]],
-  ['hash_3c_20std_3a_3apair_3c_20s_2c_20t_20_3e_20_3e_3281',['Hash< std::pair< S, T > >',['../structSVF_1_1Hash_3_01std_1_1pair_3_01S_00_01T_01_4_01_4.html',1,'SVF']]],
-  ['hash_3c_20std_3a_3avector_3c_20t_20_3e_20_3e_3282',['hash< std::vector< T > >',['../structstd_1_1hash_3_01std_1_1vector_3_01T_01_4_01_4.html',1,'std']]],
-  ['hash_3c_20svf_3a_3aaccesspath_20_3e_3283',['hash< SVF::AccessPath >',['../structstd_1_1hash_3_01SVF_1_1AccessPath_01_4.html',1,'std']]],
-  ['hash_3c_20svf_3a_3aboundedz3expr_20_3e_3284',['hash< SVF::BoundedZ3Expr >',['../structstd_1_1hash_3_01SVF_1_1BoundedZ3Expr_01_4.html',1,'std']]],
-  ['hash_3c_20svf_3a_3acallsite_20_3e_3285',['hash< SVF::CallSite >',['../structstd_1_1hash_3_01SVF_1_1CallSite_01_4.html',1,'std']]],
-  ['hash_3c_20svf_3a_3acondstdset_3c_20element_20_3e_20_3e_3286',['hash< SVF::CondStdSet< Element > >',['../structstd_1_1hash_3_01SVF_1_1CondStdSet_3_01Element_01_4_01_4.html',1,'std']]],
-  ['hash_3c_20svf_3a_3acondvar_3c_20cond_20_3e_20_3e_3287',['hash< SVF::CondVar< Cond > >',['../structstd_1_1hash_3_01SVF_1_1CondVar_3_01Cond_01_4_01_4.html',1,'std']]],
-  ['hash_3c_20svf_3a_3aconsexestate_20_3e_3288',['hash< SVF::ConsExeState >',['../structstd_1_1hash_3_01SVF_1_1ConsExeState_01_4.html',1,'std']]],
-  ['hash_3c_20svf_3a_3acontextcond_20_3e_3289',['hash< SVF::ContextCond >',['../structstd_1_1hash_3_01SVF_1_1ContextCond_01_4.html',1,'std']]],
-  ['hash_3c_20svf_3a_3acxtdpitem_20_3e_3290',['hash< SVF::CxtDPItem >',['../structstd_1_1hash_3_01SVF_1_1CxtDPItem_01_4.html',1,'std']]],
-  ['hash_3c_20svf_3a_3acxtproc_20_3e_3291',['hash< SVF::CxtProc >',['../structstd_1_1hash_3_01SVF_1_1CxtProc_01_4.html',1,'std']]],
-  ['hash_3c_20svf_3a_3acxtstmt_20_3e_3292',['hash< SVF::CxtStmt >',['../structstd_1_1hash_3_01SVF_1_1CxtStmt_01_4.html',1,'std']]],
-  ['hash_3c_20svf_3a_3acxtstmtdpitem_3c_20loccond_20_3e_20_3e_3293',['hash< SVF::CxtStmtDPItem< LocCond > >',['../structstd_1_1hash_3_01SVF_1_1CxtStmtDPItem_3_01LocCond_01_4_01_4.html',1,'std']]],
-  ['hash_3c_20svf_3a_3acxtthread_20_3e_3294',['hash< SVF::CxtThread >',['../structstd_1_1hash_3_01SVF_1_1CxtThread_01_4.html',1,'std']]],
-  ['hash_3c_20svf_3a_3acxtthreadproc_20_3e_3295',['hash< SVF::CxtThreadProc >',['../structstd_1_1hash_3_01SVF_1_1CxtThreadProc_01_4.html',1,'std']]],
-  ['hash_3c_20svf_3a_3acxtthreadstmt_20_3e_3296',['hash< SVF::CxtThreadStmt >',['../structstd_1_1hash_3_01SVF_1_1CxtThreadStmt_01_4.html',1,'std']]],
-  ['hash_3c_20svf_3a_3aexestate_20_3e_3297',['hash< SVF::ExeState >',['../structstd_1_1hash_3_01SVF_1_1ExeState_01_4.html',1,'std']]],
-  ['hash_3c_20svf_3a_3aintervalexestate_20_3e_3298',['hash< SVF::IntervalExeState >',['../structstd_1_1hash_3_01SVF_1_1IntervalExeState_01_4.html',1,'std']]],
-  ['hash_3c_20svf_3a_3anodepair_20_3e_3299',['hash< SVF::NodePair >',['../structstd_1_1hash_3_01SVF_1_1NodePair_01_4.html',1,'std']]],
-  ['hash_3c_20svf_3a_3anumericliteral_20_3e_3300',['hash< SVF::NumericLiteral >',['../structstd_1_1hash_3_01SVF_1_1NumericLiteral_01_4.html',1,'std']]],
-  ['hash_3c_20svf_3a_3apointsto_20_3e_3301',['hash< SVF::PointsTo >',['../structstd_1_1hash_3_01SVF_1_1PointsTo_01_4.html',1,'std']]],
-  ['hash_3c_20svf_3a_3arelexestate_20_3e_3302',['hash< SVF::RelExeState >',['../structstd_1_1hash_3_01SVF_1_1RelExeState_01_4.html',1,'std']]],
-  ['hash_3c_20svf_3a_3asingleabsvalue_20_3e_3303',['hash< SVF::SingleAbsValue >',['../structstd_1_1hash_3_01SVF_1_1SingleAbsValue_01_4.html',1,'std']]],
-  ['hash_3c_20svf_3a_3asparsebitvector_3c_20n_20_3e_20_3e_3304',['hash< SVF::SparseBitVector< N > >',['../structstd_1_1hash_3_01SVF_1_1SparseBitVector_3_01N_01_4_01_4.html',1,'std']]],
-  ['hash_3c_20svf_3a_3astmtdpitem_3c_20loccond_20_3e_20_3e_3305',['hash< SVF::StmtDPItem< LocCond > >',['../structstd_1_1hash_3_01SVF_1_1StmtDPItem_3_01LocCond_01_4_01_4.html',1,'std']]],
-  ['hash_3c_20svf_3a_3asvfgnodelockspan_20_3e_3306',['hash< SVF::SVFGNodeLockSpan >',['../structstd_1_1hash_3_01SVF_1_1SVFGNodeLockSpan_01_4.html',1,'std']]],
-  ['hash_3c_20svf_3a_3asymstate_20_3e_3307',['hash< SVF::SymState >',['../structstd_1_1hash_3_01SVF_1_1SymState_01_4.html',1,'std']]],
-  ['hash_3c_20svf_3a_3az3expr_20_3e_3308',['hash< SVF::Z3Expr >',['../structstd_1_1hash_3_01SVF_1_1Z3Expr_01_4.html',1,'std']]],
-  ['hasicfgnode_3309',['hasICFGNode',['../classSVF_1_1ICFG.html#a16c2ed1f9e28c84669b14dc48fb3c01a',1,'SVF::ICFG']]],
-  ['hasincomingedge_3310',['hasIncomingEdge',['../classSVF_1_1GenericNode.html#a06a7373b11143e709784de784fa476fe',1,'SVF::GenericNode::hasIncomingEdge() const'],['../classSVF_1_1GenericNode.html#add6b6b3bd45a9460335c5db9eda821b8',1,'SVF::GenericNode::hasIncomingEdge(EdgeType *edge) const']]],
-  ['hasincomingedges_3311',['hasIncomingEdges',['../classSVF_1_1SVFVar.html#a747b2c92c81d32fcd357e80d2d8fe7cc',1,'SVF::SVFVar']]],
-  ['hasincomingvariantgepedge_3312',['hasIncomingVariantGepEdge',['../classSVF_1_1SVFVar.html#a71e4fd7a1271a17e971ed90044e6da24',1,'SVF::SVFVar']]],
-  ['hasind_5fh_3313',['hasInd_h',['../classSVF_1_1POCRHybridSolver.html#a92f7dab147eab44ee5e4bdf02708c9a0',1,'SVF::POCRHybridSolver']]],
-  ['hasindcscallees_3314',['hasIndCSCallees',['../classSVF_1_1PTACallGraph.html#a71a63c53a093ea8e450fb53fd60c9424',1,'SVF::PTACallGraph::hasIndCSCallees()'],['../classSVF_1_1PointerAnalysis.html#abdacd060691add054839aa183babe095',1,'SVF::PointerAnalysis::hasIndCSCallees()']]],
-  ['hasinedgeses_3315',['hasInEdgesES',['../classSVF_1_1AbstractExecution.html#a6f02cd1885c0879cb88149c91998291f',1,'SVF::AbstractExecution']]],
-  ['hasintericfgedge_3316',['hasInterICFGEdge',['../classSVF_1_1ICFG.html#a86535e50d1feba706b19491d905baef1',1,'SVF::ICFG']]],
-  ['hasinterleavingthreads_3317',['hasInterleavingThreads',['../classSVF_1_1MHP.html#a3ba43bb0be55ffade3d70f8cbb95f88f',1,'SVF::MHP']]],
-  ['hasintersect_3318',['hasIntersect',['../classSVF_1_1AddressValue.html#a269a73753a7b495eb08bb0c9c0a58dc0',1,'SVF::AddressValue']]],
-  ['hasintervfgedge_3319',['hasInterVFGEdge',['../classSVF_1_1VFG.html#ad86631f70bd702b5635bdbeab7d884b9',1,'SVF::VFG']]],
-  ['hasintraicfgedge_3320',['hasIntraICFGEdge',['../classSVF_1_1ICFG.html#aa662baae5682ef6ec5084fa4147c9709',1,'SVF::ICFG']]],
-  ['hasintravfgedge_3321',['hasIntraVFGEdge',['../classSVF_1_1VFG.html#ac34c4529229404617c346f81cc6c141f',1,'SVF::VFG']]],
-  ['hasjoininsymmetricloop_3322',['hasJoinInSymmetricLoop',['../classSVF_1_1MHP.html#a7585f40b80c5488828576eb2f035ac61',1,'SVF::MHP::hasJoinInSymmetricLoop()'],['../classSVF_1_1ForkJoinAnalysis.html#ab69d11caf499612d108155e13adb300f',1,'SVF::ForkJoinAnalysis::hasJoinInSymmetricLoop()']]],
-  ['hasjoinloop_3323',['hasJoinLoop',['../classSVF_1_1ForkJoinAnalysis.html#a197ab02e8320affc4ba2c67fae5bf020',1,'SVF::ForkJoinAnalysis::hasJoinLoop()'],['../classSVF_1_1TCT.html#a59125bb4878bc347dbdbc74aa6ec4cdf',1,'SVF::TCT::hasJoinLoop()']]],
-  ['haslabelededge_3324',['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_3325',['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_3326',['hasLoopInfo',['../classSVF_1_1SVFLoopAndDomInfo.html#abe37f8896e2491a7a60be3fbfde8123c',1,'SVF::SVFLoopAndDomInfo::hasLoopInfo()'],['../classSVF_1_1SVFFunction.html#aee05370109d7667c40ca34c454c66714',1,'SVF::SVFFunction::hasLoopInfo()']]],
-  ['hasmodmrset_3327',['hasModMRSet',['../classSVF_1_1MRGenerator.html#a7d66a341805af7ec4e4893e5a7e0bc2d',1,'SVF::MRGenerator']]],
-  ['hasmodsideeffectofcallsite_3328',['hasModSideEffectOfCallSite',['../classSVF_1_1MRGenerator.html#a187d82895b2e1156c6dd5ae28795944f',1,'SVF::MRGenerator']]],
-  ['hasmu_3329',['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_3330',['hasNode',['../classSVF_1_1DCHGraph.html#a58341e23c1dc2b3e7fce190ed16a8a25',1,'SVF::DCHGraph']]],
-  ['hasnodestobecollapsed_3331',['hasNodesToBeCollapsed',['../classSVF_1_1ConstraintGraph.html#aa867ffe0f3639a0ef5b5c36696e733be',1,'SVF::ConstraintGraph']]],
-  ['hasnonlabelededge_3332',['hasNonlabeledEdge',['../classSVF_1_1IRGraph.html#abe0ab797a3da420e4d2f9136d64fb407',1,'SVF::IRGraph']]],
-  ['hasonecxtinlockspan_3333',['hasOneCxtInLockSpan',['../classSVF_1_1LockAnalysis.html#a7d2072c3c0ae571077a2aa2c3586451d',1,'SVF::LockAnalysis']]],
-  ['hasoutgoingedge_3334',['hasOutgoingEdge',['../classSVF_1_1GenericNode.html#a0931220d7a38e03f206cbdc6465d32ad',1,'SVF::GenericNode::hasOutgoingEdge() const'],['../classSVF_1_1GenericNode.html#aa0c40cb708b39300b3cb7354194e4993',1,'SVF::GenericNode::hasOutgoingEdge(EdgeType *edge) const']]],
-  ['hasoutgoingedges_3335',['hasOutgoingEdges',['../classSVF_1_1SVFVar.html#a9b00f9b5f8ad2422162f4396e2d8fa42',1,'SVF::SVFVar']]],
-  ['hasparentthread_3336',['hasParentThread',['../classSVF_1_1TCT.html#a6855a3a8a98591e58dba07047f7705ce',1,'SVF::TCT']]],
-  ['hasphiset_3337',['hasPHISet',['../classSVF_1_1MemSSA.html#a41bc86b7dc4d400d83c1f19ede4936ed',1,'SVF::MemSSA']]],
-  ['haspointsto_3338',['hasPointsTo',['../classSVF_1_1CondPointsToSet.html#ab1d20dfe6f243f7a09a8e2face097cc0',1,'SVF::CondPointsToSet']]],
-  ['hasprodsfromfirstrhs_3339',['hasProdsFromFirstRHS',['../classSVF_1_1CFGrammar.html#a6a0563acf39967169d6c267387539134',1,'SVF::CFGrammar']]],
-  ['hasprodsfromsecondrhs_3340',['hasProdsFromSecondRHS',['../classSVF_1_1CFGrammar.html#a6d1db255d2b526fa7fdfaa7b2146f0cd',1,'SVF::CFGrammar']]],
-  ['hasprodsfromsinglerhs_3341',['hasProdsFromSingleRHS',['../classSVF_1_1CFGrammar.html#aefdae80251eaaf9be580d26a5dd268a8',1,'SVF::CFGrammar']]],
-  ['hasptasvfstmtlist_3342',['hasPTASVFStmtList',['../classSVF_1_1SVFIR.html#a0552d565633ee22abe03085134a871c0',1,'SVF::SVFIR']]],
-  ['hasptsmap_3343',['hasPtsMap',['../classSVF_1_1CondPTAImpl.html#a597e9c4e76f358c36d4b820c4d69ebc6',1,'SVF::CondPTAImpl']]],
-  ['hasrefmrset_3344',['hasRefMRSet',['../classSVF_1_1MRGenerator.html#af06e8ac43efdedb97a2008cd93fc32d6',1,'SVF::MRGenerator']]],
-  ['hasrefsideeffectofcallsite_3345',['hasRefSideEffectOfCallSite',['../classSVF_1_1MRGenerator.html#a9718c9e8efc1e6f32441aa5f418711dd',1,'SVF::MRGenerator']]],
-  ['hasreturn_3346',['hasReturn',['../classSVF_1_1SVFFunction.html#a66c8d773bde7e7af9f46d56b5db71065',1,'SVF::SVFFunction']]],
-  ['hasreturnmu_3347',['hasReturnMu',['../classSVF_1_1MemSSA.html#a3400d9a921672b3872656acecc3eac9f',1,'SVF::MemSSA']]],
-  ['hassbsinkflag_3348',['hasSBSinkFlag',['../classSVF_1_1Annotator.html#acbb2e202ab3fb864e70eac6b41c3899e',1,'SVF::Annotator']]],
-  ['hassbsourceflag_3349',['hasSBSourceFlag',['../classSVF_1_1Annotator.html#a3fb284999931900d92e60104980648ef',1,'SVF::Annotator']]],
-  ['hasspanfromcxtlock_3350',['hasSpanfromCxtLock',['../classSVF_1_1LockAnalysis.html#af8ada4a73bf132e1adeef7aa0522f596',1,'SVF::LockAnalysis']]],
-  ['hassvfgnode_3351',['hasSVFGNode',['../classSVF_1_1SVFG.html#a1b9d1ad76785ae0eb07979aa75325640',1,'SVF::SVFG']]],
-  ['hassvfstmtlist_3352',['hasSVFStmtList',['../classSVF_1_1MRGenerator.html#abcb903f5d5f323f319fc58f9df697f63',1,'SVF::MRGenerator::hasSVFStmtList()'],['../classSVF_1_1SVFIR.html#a63acb4d86d93ad1e88860ac839a8c654',1,'SVF::SVFIR::hasSVFStmtList()']]],
-  ['hassvftypeinfo_3353',['hasSVFTypeInfo',['../classSVF_1_1SymbolTableInfo.html#af678e138df136d6f3cd53826dfa4486c',1,'SVF::SymbolTableInfo']]],
-  ['hasswitchbranches_3354',['hasSwitchBranchES',['../classSVF_1_1AbstractExecution.html#adc740771e712644d08f95fc6c488c1af',1,'SVF::AbstractExecution']]],
-  ['hastctnode_3355',['hasTCTNode',['../classSVF_1_1TCT.html#a5d5a753b4d2633e3aaf58859274ffe7a',1,'SVF::TCT']]],
-  ['hasthreadforkedge_3356',['hasThreadForkEdge',['../classSVF_1_1ThreadCallGraph.html#a933a6a2f0a0c6364e8df1bc65a07192f',1,'SVF::ThreadCallGraph']]],
-  ['hasthreadicfgedge_3357',['hasThreadICFGEdge',['../classSVF_1_1ICFG.html#a29fb70d6638765ce291c5a8a11fbea64',1,'SVF::ICFG']]],
-  ['hasthreadjoinedge_3358',['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_3359',['hasThreadStmtSet',['../classSVF_1_1MHP.html#a27d031e9c7c4706d7ee1750668e83b99',1,'SVF::MHP']]],
-  ['hasthreadvfgedge_3360',['hasThreadVFGEdge',['../classSVF_1_1VFG.html#aead3b463d9aa2fae5845d97896bd18ba',1,'SVF::VFG']]],
-  ['hasvalidationtarget_3361',['hasValidationTarget',['../classSVF_1_1RaceResultValidator.html#a749793355ab8390a1e6577d7b05efddf',1,'SVF::RaceResultValidator::hasValidationTarget() const'],['../classSVF_1_1RaceResultValidator.html#a749793355ab8390a1e6577d7b05efddf',1,'SVF::RaceResultValidator::hasValidationTarget() const']]],
-  ['hasvalsym_3362',['hasValSym',['../classSVF_1_1SymbolTableInfo.html#af5e91f2ace726b1f05b045681d2bd117',1,'SVF::SymbolTableInfo']]],
-  ['hasvalue_3363',['hasValue',['../classSVF_1_1SVFVar.html#a1ace69053c2c4436fd78d5624bd0086a',1,'SVF::SVFVar']]],
-  ['hasvaluenode_3364',['hasValueNode',['../classSVF_1_1IRGraph.html#a401ec65771a3d2dcc8eb60574aadd354',1,'SVF::IRGraph']]],
-  ['hasvfgnode_3365',['hasVFGNode',['../classSVF_1_1VFG.html#a30eb9d717ad5bc8a9109a7bdef38f4a1',1,'SVF::VFG']]],
-  ['hasvfgnodes_3366',['hasVFGNodes',['../classSVF_1_1VFG.html#a76af43e28630eb56a1aa5971f516d43d',1,'SVF::VFG']]],
-  ['hbpair_3367',['HBPair',['../classSVF_1_1ForkJoinAnalysis.html#aad3e722ecaa4a39aef0e1cabfa2b8019',1,'SVF::ForkJoinAnalysis']]],
-  ['hclust_5ffast_3368',['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']]],
-  ['hclust_5ffast_5fmethods_3369',['hclust_fast_methods',['../fastcluster_8h.html#a4205a14ad66b3320d2e94c61d74913dd',1,'fastcluster.h']]],
-  ['hclust_5fmethod_5faverage_3370',['HCLUST_METHOD_AVERAGE',['../fastcluster_8h.html#a4205a14ad66b3320d2e94c61d74913dda3ab72664fc61704a1ba46bddbc347115',1,'fastcluster.h']]],
-  ['hclust_5fmethod_5fcomplete_3371',['HCLUST_METHOD_COMPLETE',['../fastcluster_8h.html#a4205a14ad66b3320d2e94c61d74913dda44ce22fdfc560f27242e9b8f8e7009f4',1,'fastcluster.h']]],
-  ['hclust_5fmethod_5fmedian_3372',['HCLUST_METHOD_MEDIAN',['../fastcluster_8h.html#a4205a14ad66b3320d2e94c61d74913ddaa453b79910d9c6f7f57a179bcdf63474',1,'fastcluster.h']]],
-  ['hclust_5fmethod_5fsingle_3373',['HCLUST_METHOD_SINGLE',['../fastcluster_8h.html#a4205a14ad66b3320d2e94c61d74913ddad16cc6362447cc32292c4af4c6fe8024',1,'fastcluster.h']]],
-  ['hclust_5fmethod_5fsvf_5fbest_3374',['HCLUST_METHOD_SVF_BEST',['../fastcluster_8h.html#a4205a14ad66b3320d2e94c61d74913dda66ab3fde95842ef6da0dae1f702a9618',1,'fastcluster.h']]],
-  ['hclustmethodtostring_3375',['hclustMethodToString',['../namespaceSVF_1_1SVFUtil.html#a14a4c5124f2fd03ca3d898e2acd54160',1,'SVF::SVFUtil']]],
-  ['head_3376',['head',['../classSVF_1_1List.html#a41d52072edb2b75ab15d67bf2663312a',1,'SVF::List::head()'],['../classSVF_1_1WTOCycle.html#ace60ecb07603681de5c3020d0d3c5079',1,'SVF::WTOCycle::head()']]],
-  ['headbegin_3377',['headBegin',['../classSVF_1_1WTO.html#a62a6ee6d3894861a0fb74309d2951e16',1,'SVF::WTO']]],
-  ['headend_3378',['headEnd',['../classSVF_1_1WTO.html#ace35f97608d342cae7cda7936816f624',1,'SVF::WTO']]],
-  ['headmap_3379',['headmap',['../classSVF_1_1MTASVFGBuilder.html#ac92452c257052706b1cf1737b266eec1',1,'SVF::MTASVFGBuilder']]],
-  ['headreftocycle_3380',['headRefToCycle',['../classSVF_1_1WTO.html#a5752288fb686b9ef5d6c8edc0cee6348',1,'SVF::WTO']]],
-  ['heap_5fobj_3381',['HEAP_OBJ',['../classSVF_1_1ObjTypeInfo.html#a91b41b7ade5871362b77a2ef566b2830a692b4b0df23bad19ea04d18b01bf445c',1,'SVF::ObjTypeInfo']]],
-  ['heapallocatorviaindcall_3382',['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()']]],
-  ['hooks_3383',['hooks',['../structparse__buffer.html#a2c3e99b15da2935fc5d58124ffb4a894',1,'parse_buffer::hooks()'],['../structprintbuffer.html#a43a8b3bcc644432f12f5aed5159d2520',1,'printbuffer::hooks()'],['../cJSON_8cpp.html#a182a7b0d4467e799ca4ea26235b1cf74',1,'hooks(): cJSON.cpp']]],
-  ['hppair_3384',['HPPair',['../classSVF_1_1ForkJoinAnalysis.html#a4ad5c7a21ca994d908d648ca9d9e1833',1,'SVF::ForkJoinAnalysis']]],
-  ['humanreadableoption_3385',['humanReadableOption',['../SVFFileSystem_8cpp.html#aee01a3d251dee6a05d621f5265d92e84',1,'SVFFileSystem.cpp']]]
+  ['handblackhole_3135',['HandBlackHole',['../classSVF_1_1Options.html#a51b28b2e973911fb8e2c23c6127e9a63',1,'SVF::Options']]],
+  ['handleaddr_3136',['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_3137',['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_3138',['handleBlackHole',['../classSVF_1_1SVFIR.html#a2375f49c77f2285a6316e7540b051a0f',1,'SVF::SVFIR']]],
+  ['handlecall_3139',['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_3140',['handleCallRelation',['../classSVF_1_1LockAnalysis.html#ab99ef73905f35d4c20ca408586fc8680',1,'SVF::LockAnalysis::handleCallRelation()'],['../classSVF_1_1TCT.html#aac0c4c3f1c7cb1d89ebd2a3da2d49bd3',1,'SVF::TCT::handleCallRelation()']]],
+  ['handlecallsite_3141',['handleCallSite',['../classSVF_1_1AbstractInterpretation.html#abbb4e49644121f6b038fd8fb4d7b0034',1,'SVF::AbstractInterpretation']]],
+  ['handlecallsitemodref_3142',['handleCallsiteModRef',['../classSVF_1_1MRGenerator.html#acbf0be131b1fc5d0366157d300d1aa68',1,'SVF::MRGenerator']]],
+  ['handlece_3143',['handleCE',['../classSVF_1_1SymbolTableBuilder.html#abe39a7a3557899b4991bcc60d436dc50',1,'SVF::SymbolTableBuilder']]],
+  ['handlecopygep_3144',['handleCopyGep',['../classSVF_1_1Andersen.html#ab069683dd6ca563113efbde2813ab35e',1,'SVF::Andersen::handleCopyGep()'],['../classSVF_1_1AndersenSCD.html#aa0a496376f7bea2c417ef83c51d19a61',1,'SVF::AndersenSCD::handleCopyGep()']]],
+  ['handlecycle_3145',['handleCycle',['../classSVF_1_1AbstractInterpretation.html#a71dff5d6a5b291014c0a65d3a6d7c8c1',1,'SVF::AbstractInterpretation']]],
+  ['handledibasictype_3146',['handleDIBasicType',['../classSVF_1_1DCHGraph.html#a86bf48776ccf53092f4cb742cf95f8eb',1,'SVF::DCHGraph']]],
+  ['handledicompositetype_3147',['handleDICompositeType',['../classSVF_1_1DCHGraph.html#a3ce75cbe92a1fa7d34c6fca2d2ca1b0f',1,'SVF::DCHGraph']]],
+  ['handlediderivedtype_3148',['handleDIDerivedType',['../classSVF_1_1DCHGraph.html#a1a4162e68b22d53e9dca73c6780ed3e5',1,'SVF::DCHGraph']]],
+  ['handledirectcall_3149',['handleDirectCall',['../classSVF_1_1SVFIRBuilder.html#a3ccc53ca9a6862674ee2ec3bd67aa515',1,'SVF::SVFIRBuilder']]],
+  ['handledisubroutinetype_3150',['handleDISubroutineType',['../classSVF_1_1DCHGraph.html#a671f379ae54eef247b5e013478eb3f0c',1,'SVF::DCHGraph']]],
+  ['handleextapi_3151',['handleExtAPI',['../classSVF_1_1AbstractInterpretation.html#a6cac9b69d85111a5a26373ec848a3282',1,'SVF::AbstractInterpretation::handleExtAPI()'],['../classSVF_1_1BufOverflowChecker.html#a1ed3cb0a1a118d9e505b192841a58dde',1,'SVF::BufOverflowChecker::handleExtAPI()']]],
+  ['handleextcall_3152',['handleExtCall',['../classSVF_1_1SVFIRBuilder.html#a8b664a9d689562bd857f056e6e08c59b',1,'SVF::SVFIRBuilder']]],
+  ['handlefork_3153',['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()']]],
+  ['handlefunc_3154',['handleFunc',['../classSVF_1_1AbstractInterpretation.html#a2e2253149e2bf114825a4e838118e012',1,'SVF::AbstractInterpretation']]],
+  ['handleglobalce_3155',['handleGlobalCE',['../classSVF_1_1SymbolTableBuilder.html#a72732ec0392d9d5b900fc12177890779',1,'SVF::SymbolTableBuilder']]],
+  ['handleglobalinitializerce_3156',['handleGlobalInitializerCE',['../classSVF_1_1SymbolTableBuilder.html#a1efd9406182eb86b1ee4829c931b566d',1,'SVF::SymbolTableBuilder']]],
+  ['handleglobalnode_3157',['handleGlobalNode',['../classSVF_1_1AbstractInterpretation.html#a276182afcfe95235ebd2d452424e87e7',1,'SVF::AbstractInterpretation']]],
+  ['handleicfgnode_3158',['handleICFGNode',['../classSVF_1_1AbstractInterpretation.html#a9b179466955023f275b6692b59048846',1,'SVF::AbstractInterpretation::handleICFGNode()'],['../classSVF_1_1BufOverflowChecker.html#afa6b30220b0b3261205a909def9ca44e',1,'SVF::BufOverflowChecker::handleICFGNode()']]],
+  ['handleindcall_3159',['handleIndCall',['../classSVF_1_1SVFIRBuilder.html#a5ae68d4465feb54fcb8fd0cf20b7a71a',1,'SVF::SVFIRBuilder']]],
+  ['handleintervalueflow_3160',['handleInterValueFlow',['../classSVF_1_1SVFGOPT.html#a4c698184cc23730fb44904d4048958da',1,'SVF::SVFGOPT']]],
+  ['handleintra_3161',['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_3162',['handleIntraValueFlow',['../classSVF_1_1SVFGOPT.html#a21429d8c3fba209d9cdc22e3623c5573',1,'SVF::SVFGOPT']]],
+  ['handlejoin_3163',['handleJoin',['../classSVF_1_1MHP.html#a3a535274cd3349a05eeccf3c9231396a',1,'SVF::MHP::handleJoin()'],['../classSVF_1_1ForkJoinAnalysis.html#ae4d0ee03b30220793d24f814e75a440e',1,'SVF::ForkJoinAnalysis::handleJoin()']]],
+  ['handleload_3164',['handleLoad',['../classSVF_1_1AndersenWaveDiff.html#a7f2af504c4fb96e64371a8533c0525fe',1,'SVF::AndersenWaveDiff']]],
+  ['handleloadstore_3165',['handleLoadStore',['../classSVF_1_1Andersen.html#a0f32ba8cb1109c257552fa775a007ffd',1,'SVF::Andersen::handleLoadStore()'],['../classSVF_1_1AndersenSCD.html#a7ae683eb8c607a0e742b44e3019b8cbc',1,'SVF::AndersenSCD::handleLoadStore()']]],
+  ['handlememcpy_3166',['handleMemcpy',['../classSVF_1_1AbstractInterpretation.html#adf02c5bf1b86f00163b114a78e03120c',1,'SVF::AbstractInterpretation']]],
+  ['handlememset_3167',['handleMemset',['../classSVF_1_1AbstractInterpretation.html#a568e2247536de76694dabfc5a5052b57',1,'SVF::AbstractInterpretation']]],
+  ['handlenoncandidatefun_3168',['handleNonCandidateFun',['../classSVF_1_1MHP.html#a2c1e4fac7b810021939ed26307d37816',1,'SVF::MHP']]],
+  ['handleoutofbudgetdpm_3169',['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_3170',['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_3171',['handleSingleStatement',['../classSVF_1_1DDAVFSolver.html#a99f631cf1bc438e3f08f7f935e98e38d',1,'SVF::DDAVFSolver']]],
+  ['handlestatement_3172',['handleStatement',['../classSVF_1_1DDAClient.html#aec3de00152e828beb5037269430f387d',1,'SVF::DDAClient']]],
+  ['handlestore_3173',['handleStore',['../classSVF_1_1AndersenWaveDiff.html#a775a74d57842b85301daeafe64c8a5c4',1,'SVF::AndersenWaveDiff']]],
+  ['handlestoreload_3174',['handleStoreLoad',['../classSVF_1_1MTASVFGBuilder.html#a24921d1b1d79d7ef0b358be8d7a9e2c4',1,'SVF::MTASVFGBuilder']]],
+  ['handlestoreloadnonsparse_3175',['handleStoreLoadNonSparse',['../classSVF_1_1MTASVFGBuilder.html#a82b52f8e70f51353cbd7476a509ff523',1,'SVF::MTASVFGBuilder']]],
+  ['handlestoreloadwithlockprecisely_3176',['handleStoreLoadWithLockPrecisely',['../classSVF_1_1MTASVFGBuilder.html#aa861922932233ab547b63c87551b8fd3',1,'SVF::MTASVFGBuilder']]],
+  ['handlestorestore_3177',['handleStoreStore',['../classSVF_1_1MTASVFGBuilder.html#a29a14309cfa1d7c4454fb1237704e487',1,'SVF::MTASVFGBuilder']]],
+  ['handlestorestorenonsparse_3178',['handleStoreStoreNonSparse',['../classSVF_1_1MTASVFGBuilder.html#a91ff57e51b0650963b4b5541fa0f7056',1,'SVF::MTASVFGBuilder']]],
+  ['handlestorestorewithlockprecisely_3179',['handleStoreStoreWithLockPrecisely',['../classSVF_1_1MTASVFGBuilder.html#a1802d8ed854bef817afa748d2bbcea05',1,'SVF::MTASVFGBuilder']]],
+  ['handlestrcat_3180',['handleStrcat',['../classSVF_1_1AbstractInterpretation.html#acba90e968cebacca3da78ac765df33ef',1,'SVF::AbstractInterpretation']]],
+  ['handlestrcpy_3181',['handleStrcpy',['../classSVF_1_1AbstractInterpretation.html#ac941d1eb9b1216c8334d0685a471b774',1,'SVF::AbstractInterpretation']]],
+  ['handlesvfstatement_3182',['handleSVFStatement',['../classSVF_1_1AbstractInterpretation.html#a896d04a02951947bc228bf97b2c00313',1,'SVF::AbstractInterpretation::handleSVFStatement()'],['../classSVF_1_1BufOverflowChecker.html#a0b79c3694a08100d2d8d1b8109998131',1,'SVF::BufOverflowChecker::handleSVFStatement()']]],
+  ['handlethunkfunction_3183',['handleThunkFunction',['../CppUtil_8cpp.html#a264d15523be2c695d9cee8d49ae87ebe',1,'CppUtil.cpp']]],
+  ['handletypedef_3184',['handleTypedef',['../classSVF_1_1DCHGraph.html#a6d97a772afe16c1483e65eea81f82603',1,'SVF::DCHGraph']]],
+  ['handlewtonode_3185',['handleWTONode',['../classSVF_1_1AbstractInterpretation.html#a80d663262a8d909ef5756391cdd82246',1,'SVF::AbstractInterpretation']]],
+  ['hare_5fpar_5ffor_3186',['HARE_PAR_FOR',['../classSVF_1_1ThreadAPI.html#a38a7516702c55ab418167b7c850516b3a4690967fd6d32fb82c5de637846a3476',1,'SVF::ThreadAPI']]],
+  ['hareparforedge_3187',['HareParForEdge',['../classSVF_1_1HareParForEdge.html',1,'SVF::HareParForEdge'],['../classSVF_1_1PTACallGraphEdge.html#a9738544725458bb022b8d5f2dbd281f7a17e0d58fd42d0d493087e698d4ecd838',1,'SVF::PTACallGraphEdge::HareParForEdge()'],['../classSVF_1_1HareParForEdge.html#a097ccd687d7ca511a4a453dd56b7c665',1,'SVF::HareParForEdge::HareParForEdge()']]],
+  ['has_5fbottom_3188',['has_bottom',['../classSVF_1_1AbstractState.html#a52aa9356624716fcaecc3c55bf7043c4',1,'SVF::AbstractState']]],
+  ['has_5fclz_3189',['HAS_CLZ',['../SparseBitVector_8h.html#aa4aed82d501b04499090de2c616e6b1f',1,'SparseBitVector.h']]],
+  ['has_5fclzll_3190',['HAS_CLZLL',['../SparseBitVector_8h.html#ad66fb43b1e40d6e22629fcd889d4bfab',1,'SparseBitVector.h']]],
+  ['has_5fedgetype_3191',['has_edgetype',['../structSVF_1_1has__edgetype.html',1,'SVF']]],
+  ['has_5fedgetype_3c_20t_2c_20std_3a_3avoid_5ft_3c_20typename_20t_3a_3aedgetype_20_3e_20_3e_3192',['has_edgetype< T, std::void_t< typename T::EdgeType > >',['../structSVF_1_1has__edgetype_3_01T_00_01std_1_1void__t_3_01typename_01T_1_1EdgeType_01_4_01_4.html',1,'SVF']]],
+  ['has_5fnodetype_3193',['has_nodetype',['../structSVF_1_1has__nodetype.html',1,'SVF']]],
+  ['has_5fnodetype_3c_20t_2c_20std_3a_3avoid_5ft_3c_20typename_20t_3a_3anodetype_20_3e_20_3e_3194',['has_nodetype< T, std::void_t< typename T::NodeType > >',['../structSVF_1_1has__nodetype_3_01T_00_01std_1_1void__t_3_01typename_01T_1_1NodeType_01_4_01_4.html',1,'SVF']]],
+  ['has_5fstatic_3195',['has_static',['../classSVF_1_1ExtAPI.html#a9ba485eb5c452f8fb273c625126bad96',1,'SVF::ExtAPI']]],
+  ['hasactualinsvfgnodes_3196',['hasActualINSVFGNodes',['../classSVF_1_1SVFG.html#a21577bc4b4e55b23aa55083f5321b399',1,'SVF::SVFG']]],
+  ['hasactualoutsvfgnodes_3197',['hasActualOUTSVFGNodes',['../classSVF_1_1SVFG.html#ab1fde654cc464c5b4d1bafff83d346ed',1,'SVF::SVFG']]],
+  ['hasaddresstaken_3198',['hasAddressTaken',['../classSVF_1_1SVFFunction.html#a731b978178937e74c80d2882c429dc9e',1,'SVF::SVFFunction']]],
+  ['hasallcxtinlockspan_3199',['hasAllCxtInLockSpan',['../classSVF_1_1LockAnalysis.html#a3e2c8531a56c14c645d21289716515ad',1,'SVF::LockAnalysis']]],
+  ['hasbasicblock_3200',['hasBasicBlock',['../classSVF_1_1SVFFunction.html#a9a7f1f56b6cfc33e7fa241286a07fd63',1,'SVF::SVFFunction']]],
+  ['hasblackholeconstobjaddrasdef_3201',['hasBlackHoleConstObjAddrAsDef',['../classSVF_1_1VFG.html#a88f6468b9b43bbb06ef757d884580a50',1,'SVF::VFG']]],
+  ['hasbranches_3202',['hasBranchES',['../classSVF_1_1AbstractInterpretation.html#a8095a9c37c9ca4b96f2279df6f59bbf9',1,'SVF::AbstractInterpretation']]],
+  ['hascallgraphedge_3203',['hasCallGraphEdge',['../classSVF_1_1PTACallGraph.html#af8df9ca6d906453fa3f7168aa84fd087',1,'SVF::PTACallGraph']]],
+  ['hascallsiteargsmap_3204',['hasCallSiteArgsMap',['../classSVF_1_1SVFIR.html#a95f77211550ec2374d57779d88cf5138',1,'SVF::SVFIR']]],
+  ['hascallsitechi_3205',['hasCallSiteChi',['../classSVF_1_1SVFG.html#ad9cc1581261182b56ae232d9a9b13296',1,'SVF::SVFG']]],
+  ['hascallsiteid_3206',['hasCallSiteID',['../classSVF_1_1PTACallGraph.html#aa8dbda3e46533680173e55d396f36756',1,'SVF::PTACallGraph']]],
+  ['hascallsitemu_3207',['hasCallSiteMu',['../classSVF_1_1SVFG.html#a842f6f2325c9e93ea96367e9cf624ee8',1,'SVF::SVFG']]],
+  ['hascdgedge_3208',['hasCDGEdge',['../classSVF_1_1CDG.html#a3cb3a5f88b8c38e53e314d7806e5efb6',1,'SVF::CDG']]],
+  ['hascdgnode_3209',['hasCDGNode',['../classSVF_1_1CDG.html#a965a30b1323fa9c9013760d410516e0e',1,'SVF::CDG']]],
+  ['haschi_3210',['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']]],
+  ['hascmpbranches_3211',['hasCmpBranchES',['../classSVF_1_1AbstractInterpretation.html#ae0c0148baf6f7510bf8e70ee3ad626bf',1,'SVF::AbstractInterpretation']]],
+  ['hasconstantbinaryorunaryop_3212',['hasConstantBinaryOrUnaryOp',['../BreakConstantExpr_8cpp.html#a7ba88bf4cda44accf0eba327da8ab716',1,'BreakConstantExpr.cpp']]],
+  ['hasconstantexpr_3213',['hasConstantExpr',['../BreakConstantExpr_8cpp.html#a7b06934734ebef30b8f24221e1380f93',1,'BreakConstantExpr.cpp']]],
+  ['hasconstantgep_3214',['hasConstantGEP',['../BreakConstantExpr_8cpp.html#a81381bb19688464256bd09ef22e965e4',1,'BreakConstantExpr.cpp']]],
+  ['hasconstraintnode_3215',['hasConstraintNode',['../classSVF_1_1ConstraintGraph.html#aad6c37476edfd9ae92dc8c0d004d782d',1,'SVF::ConstraintGraph']]],
+  ['hascptslist_3216',['hasCPtsList',['../classSVF_1_1MRGenerator.html#a1cb94c8a0379eb30c99f0c3cb2bfebaf',1,'SVF::MRGenerator']]],
+  ['hascxtlock_3217',['hasCxtLock',['../classSVF_1_1LockAnalysis.html#a6c918786d065309e8a7b13759f410a09',1,'SVF::LockAnalysis']]],
+  ['hascxtlockfromcxtstmt_3218',['hasCxtLockfromCxtStmt',['../classSVF_1_1LockAnalysis.html#a395df7174e06cad1971e6a81587ca043',1,'SVF::LockAnalysis']]],
+  ['hascxtstmtfrominst_3219',['hasCxtStmtfromInst',['../classSVF_1_1LockAnalysis.html#a550498f59e23d4b2fb3e0227f7135c23',1,'SVF::LockAnalysis']]],
+  ['hasdeclaration_3220',['hasDeclaration',['../classSVF_1_1LLVMModuleSet.html#a74a7961552498d1a99e1da70b7f78620',1,'SVF::LLVMModuleSet']]],
+  ['hasdef_3221',['hasDef',['../classSVF_1_1SVFG.html#a926c79813d5cfbd16201832024b95190',1,'SVF::SVFG::hasDef()'],['../classSVF_1_1VFG.html#ab5b63b4f6317bfb5875f2b977bcf26a4',1,'SVF::VFG::hasDef()']]],
+  ['hasdefinition_3222',['hasDefinition',['../classSVF_1_1LLVMModuleSet.html#a32558da64f03452c502ec57d1e106427',1,'SVF::LLVMModuleSet']]],
+  ['hasdefsvfgnode_3223',['hasDefSVFGNode',['../classSVF_1_1SVFG.html#ad2d19c5b80b01c8a7bb41100bb156279',1,'SVF::SVFG']]],
+  ['hasdfinset_3224',['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_3225',['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_3226',['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_3227',['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_3228',['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_3229',['hasEdgeDestLabels',['../structSVF_1_1DefaultDOTGraphTraits.html#a87d7b47985a849c7c4ff1c328a59c623',1,'SVF::DefaultDOTGraphTraits']]],
+  ['hasextfuncannotation_3230',['hasExtFuncAnnotation',['../classSVF_1_1ExtAPI.html#a1d7778db3b31f732f06129b49ec6dacd',1,'SVF::ExtAPI']]],
+  ['hasflag_3231',['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_3232',['hasFormalINSVFGNodes',['../classSVF_1_1SVFG.html#a65f28035e0fa5bebf76d28612b2f8ba8',1,'SVF::SVFG']]],
+  ['hasformaloutsvfgnodes_3233',['hasFormalOUTSVFGNodes',['../classSVF_1_1SVFG.html#a1f8c60ad57bf473e0186b794d666b5c2',1,'SVF::SVFG']]],
+  ['hasfunargslist_3234',['hasFunArgsList',['../classSVF_1_1SVFIR.html#ac359813747b4f75920c5f395ba74f410',1,'SVF::SVFIR']]],
+  ['hasfuncentrychi_3235',['hasFuncEntryChi',['../classSVF_1_1SVFG.html#a23ca21b90feca5e7d00c9ba9f489374a',1,'SVF::SVFG::hasFuncEntryChi()'],['../classSVF_1_1MemSSA.html#aec75259d035e3b5589e6fcbbcdfe4b2c',1,'SVF::MemSSA::hasFuncEntryChi()']]],
+  ['hasfuncretmu_3236',['hasFuncRetMu',['../classSVF_1_1SVFG.html#a32378226c18a0b1e22271a2338a635f6',1,'SVF::SVFG']]],
+  ['hasglobalrep_3237',['hasGlobalRep',['../classSVF_1_1LLVMModuleSet.html#a0e5ab0def54815f67ed7495d028dab1b',1,'SVF::LLVMModuleSet']]],
+  ['hasgnode_3238',['hasGNode',['../classSVF_1_1GenericGraph.html#a6885064afa211958af7b73f0233284e5',1,'SVF::GenericGraph']]],
+  ['hasgraphedge_3239',['hasGraphEdge',['../classSVF_1_1PTACallGraph.html#a6d29a39440d8f6290e2e8b7322b965fb',1,'SVF::PTACallGraph::hasGraphEdge()'],['../classSVF_1_1TCT.html#adb2025048dc69f0689f526c58df29802',1,'SVF::TCT::hasGraphEdge()']]],
+  ['hash_3240',['Hash',['../structSVF_1_1Hash.html',1,'SVF::Hash< T >'],['../classSVF_1_1AbstractState.html#a38608261ed9a3f7b25cd68748456924b',1,'SVF::AbstractState::hash()'],['../classSVF_1_1SparseAbstractState.html#a1b8fd82fa6d63135a32acd33e3618354',1,'SVF::SparseAbstractState::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()']]],
+  ['hash_3c_20const_20svf_3a_3acondvar_3c_20cond_20_3e_20_3e_3241',['hash< const SVF::CondVar< Cond > >',['../structstd_1_1hash_3_01const_01SVF_1_1CondVar_3_01Cond_01_4_01_4.html',1,'std']]],
+  ['hash_3c_20const_20svf_3a_3acontextcond_20_3e_3242',['hash< const SVF::ContextCond >',['../structstd_1_1hash_3_01const_01SVF_1_1ContextCond_01_4.html',1,'std']]],
+  ['hash_3c_20corebitvector_20_3e_3243',['Hash< CoreBitVector >',['../structSVF_1_1Hash_3_01CoreBitVector_01_4.html',1,'SVF']]],
+  ['hash_3c_20nodepair_20_3e_3244',['Hash< NodePair >',['../structSVF_1_1Hash_3_01NodePair_01_4.html',1,'SVF']]],
+  ['hash_3c_20std_3a_3apair_3c_20s_2c_20t_20_3e_20_3e_3245',['Hash< std::pair< S, T > >',['../structSVF_1_1Hash_3_01std_1_1pair_3_01S_00_01T_01_4_01_4.html',1,'SVF']]],
+  ['hash_3c_20std_3a_3avector_3c_20t_20_3e_20_3e_3246',['hash< std::vector< T > >',['../structstd_1_1hash_3_01std_1_1vector_3_01T_01_4_01_4.html',1,'std']]],
+  ['hash_3c_20svf_3a_3aaccesspath_20_3e_3247',['hash< SVF::AccessPath >',['../structstd_1_1hash_3_01SVF_1_1AccessPath_01_4.html',1,'std']]],
+  ['hash_3c_20svf_3a_3aboundedz3expr_20_3e_3248',['hash< SVF::BoundedZ3Expr >',['../structstd_1_1hash_3_01SVF_1_1BoundedZ3Expr_01_4.html',1,'std']]],
+  ['hash_3c_20svf_3a_3acallsite_20_3e_3249',['hash< SVF::CallSite >',['../structstd_1_1hash_3_01SVF_1_1CallSite_01_4.html',1,'std']]],
+  ['hash_3c_20svf_3a_3acondstdset_3c_20element_20_3e_20_3e_3250',['hash< SVF::CondStdSet< Element > >',['../structstd_1_1hash_3_01SVF_1_1CondStdSet_3_01Element_01_4_01_4.html',1,'std']]],
+  ['hash_3c_20svf_3a_3acondvar_3c_20cond_20_3e_20_3e_3251',['hash< SVF::CondVar< Cond > >',['../structstd_1_1hash_3_01SVF_1_1CondVar_3_01Cond_01_4_01_4.html',1,'std']]],
+  ['hash_3c_20svf_3a_3acontextcond_20_3e_3252',['hash< SVF::ContextCond >',['../structstd_1_1hash_3_01SVF_1_1ContextCond_01_4.html',1,'std']]],
+  ['hash_3c_20svf_3a_3acxtdpitem_20_3e_3253',['hash< SVF::CxtDPItem >',['../structstd_1_1hash_3_01SVF_1_1CxtDPItem_01_4.html',1,'std']]],
+  ['hash_3c_20svf_3a_3acxtproc_20_3e_3254',['hash< SVF::CxtProc >',['../structstd_1_1hash_3_01SVF_1_1CxtProc_01_4.html',1,'std']]],
+  ['hash_3c_20svf_3a_3acxtstmt_20_3e_3255',['hash< SVF::CxtStmt >',['../structstd_1_1hash_3_01SVF_1_1CxtStmt_01_4.html',1,'std']]],
+  ['hash_3c_20svf_3a_3acxtstmtdpitem_3c_20loccond_20_3e_20_3e_3256',['hash< SVF::CxtStmtDPItem< LocCond > >',['../structstd_1_1hash_3_01SVF_1_1CxtStmtDPItem_3_01LocCond_01_4_01_4.html',1,'std']]],
+  ['hash_3c_20svf_3a_3acxtthread_20_3e_3257',['hash< SVF::CxtThread >',['../structstd_1_1hash_3_01SVF_1_1CxtThread_01_4.html',1,'std']]],
+  ['hash_3c_20svf_3a_3acxtthreadproc_20_3e_3258',['hash< SVF::CxtThreadProc >',['../structstd_1_1hash_3_01SVF_1_1CxtThreadProc_01_4.html',1,'std']]],
+  ['hash_3c_20svf_3a_3acxtthreadstmt_20_3e_3259',['hash< SVF::CxtThreadStmt >',['../structstd_1_1hash_3_01SVF_1_1CxtThreadStmt_01_4.html',1,'std']]],
+  ['hash_3c_20svf_3a_3anodepair_20_3e_3260',['hash< SVF::NodePair >',['../structstd_1_1hash_3_01SVF_1_1NodePair_01_4.html',1,'std']]],
+  ['hash_3c_20svf_3a_3anumericliteral_20_3e_3261',['hash< SVF::NumericLiteral >',['../structstd_1_1hash_3_01SVF_1_1NumericLiteral_01_4.html',1,'std']]],
+  ['hash_3c_20svf_3a_3apointsto_20_3e_3262',['hash< SVF::PointsTo >',['../structstd_1_1hash_3_01SVF_1_1PointsTo_01_4.html',1,'std']]],
+  ['hash_3c_20svf_3a_3arelexestate_20_3e_3263',['hash< SVF::RelExeState >',['../structstd_1_1hash_3_01SVF_1_1RelExeState_01_4.html',1,'std']]],
+  ['hash_3c_20svf_3a_3asparseabstractstate_20_3e_3264',['hash< SVF::SparseAbstractState >',['../structstd_1_1hash_3_01SVF_1_1SparseAbstractState_01_4.html',1,'std']]],
+  ['hash_3c_20svf_3a_3asparsebitvector_3c_20n_20_3e_20_3e_3265',['hash< SVF::SparseBitVector< N > >',['../structstd_1_1hash_3_01SVF_1_1SparseBitVector_3_01N_01_4_01_4.html',1,'std']]],
+  ['hash_3c_20svf_3a_3astmtdpitem_3c_20loccond_20_3e_20_3e_3266',['hash< SVF::StmtDPItem< LocCond > >',['../structstd_1_1hash_3_01SVF_1_1StmtDPItem_3_01LocCond_01_4_01_4.html',1,'std']]],
+  ['hash_3c_20svf_3a_3asvfgnodelockspan_20_3e_3267',['hash< SVF::SVFGNodeLockSpan >',['../structstd_1_1hash_3_01SVF_1_1SVFGNodeLockSpan_01_4.html',1,'std']]],
+  ['hash_3c_20svf_3a_3az3expr_20_3e_3268',['hash< SVF::Z3Expr >',['../structstd_1_1hash_3_01SVF_1_1Z3Expr_01_4.html',1,'std']]],
+  ['hasicfgnode_3269',['hasICFGNode',['../classSVF_1_1ICFG.html#a16c2ed1f9e28c84669b14dc48fb3c01a',1,'SVF::ICFG']]],
+  ['hasincomingedge_3270',['hasIncomingEdge',['../classSVF_1_1GenericNode.html#a06a7373b11143e709784de784fa476fe',1,'SVF::GenericNode::hasIncomingEdge() const'],['../classSVF_1_1GenericNode.html#add6b6b3bd45a9460335c5db9eda821b8',1,'SVF::GenericNode::hasIncomingEdge(EdgeType *edge) const']]],
+  ['hasincomingedges_3271',['hasIncomingEdges',['../classSVF_1_1SVFVar.html#a747b2c92c81d32fcd357e80d2d8fe7cc',1,'SVF::SVFVar']]],
+  ['hasincomingvariantgepedge_3272',['hasIncomingVariantGepEdge',['../classSVF_1_1SVFVar.html#a71e4fd7a1271a17e971ed90044e6da24',1,'SVF::SVFVar']]],
+  ['hasind_5fh_3273',['hasInd_h',['../classSVF_1_1POCRHybridSolver.html#a92f7dab147eab44ee5e4bdf02708c9a0',1,'SVF::POCRHybridSolver']]],
+  ['hasindcscallees_3274',['hasIndCSCallees',['../classSVF_1_1PTACallGraph.html#a71a63c53a093ea8e450fb53fd60c9424',1,'SVF::PTACallGraph::hasIndCSCallees()'],['../classSVF_1_1PointerAnalysis.html#abdacd060691add054839aa183babe095',1,'SVF::PointerAnalysis::hasIndCSCallees()']]],
+  ['hasinedgeses_3275',['hasInEdgesES',['../classSVF_1_1AbstractInterpretation.html#adb96deda4bbb81956a6cfa5740503cb7',1,'SVF::AbstractInterpretation']]],
+  ['hasintericfgedge_3276',['hasInterICFGEdge',['../classSVF_1_1ICFG.html#a86535e50d1feba706b19491d905baef1',1,'SVF::ICFG']]],
+  ['hasinterleavingthreads_3277',['hasInterleavingThreads',['../classSVF_1_1MHP.html#a3ba43bb0be55ffade3d70f8cbb95f88f',1,'SVF::MHP']]],
+  ['hasintersect_3278',['hasIntersect',['../classSVF_1_1AddressValue.html#a269a73753a7b495eb08bb0c9c0a58dc0',1,'SVF::AddressValue']]],
+  ['hasintervfgedge_3279',['hasInterVFGEdge',['../classSVF_1_1VFG.html#ad86631f70bd702b5635bdbeab7d884b9',1,'SVF::VFG']]],
+  ['hasintraicfgedge_3280',['hasIntraICFGEdge',['../classSVF_1_1ICFG.html#aa662baae5682ef6ec5084fa4147c9709',1,'SVF::ICFG']]],
+  ['hasintravfgedge_3281',['hasIntraVFGEdge',['../classSVF_1_1VFG.html#ac34c4529229404617c346f81cc6c141f',1,'SVF::VFG']]],
+  ['hasjoininsymmetricloop_3282',['hasJoinInSymmetricLoop',['../classSVF_1_1MHP.html#a7585f40b80c5488828576eb2f035ac61',1,'SVF::MHP::hasJoinInSymmetricLoop()'],['../classSVF_1_1ForkJoinAnalysis.html#ab69d11caf499612d108155e13adb300f',1,'SVF::ForkJoinAnalysis::hasJoinInSymmetricLoop()']]],
+  ['hasjoinloop_3283',['hasJoinLoop',['../classSVF_1_1ForkJoinAnalysis.html#a197ab02e8320affc4ba2c67fae5bf020',1,'SVF::ForkJoinAnalysis::hasJoinLoop()'],['../classSVF_1_1TCT.html#a59125bb4878bc347dbdbc74aa6ec4cdf',1,'SVF::TCT::hasJoinLoop()']]],
+  ['haslabelededge_3284',['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_3285',['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_3286',['hasLoopInfo',['../classSVF_1_1SVFLoopAndDomInfo.html#abe37f8896e2491a7a60be3fbfde8123c',1,'SVF::SVFLoopAndDomInfo::hasLoopInfo()'],['../classSVF_1_1SVFFunction.html#aee05370109d7667c40ca34c454c66714',1,'SVF::SVFFunction::hasLoopInfo()']]],
+  ['hasmodmrset_3287',['hasModMRSet',['../classSVF_1_1MRGenerator.html#a7d66a341805af7ec4e4893e5a7e0bc2d',1,'SVF::MRGenerator']]],
+  ['hasmodsideeffectofcallsite_3288',['hasModSideEffectOfCallSite',['../classSVF_1_1MRGenerator.html#a187d82895b2e1156c6dd5ae28795944f',1,'SVF::MRGenerator']]],
+  ['hasmu_3289',['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_3290',['hasNode',['../classSVF_1_1DCHGraph.html#a58341e23c1dc2b3e7fce190ed16a8a25',1,'SVF::DCHGraph']]],
+  ['hasnodestobecollapsed_3291',['hasNodesToBeCollapsed',['../classSVF_1_1ConstraintGraph.html#aa867ffe0f3639a0ef5b5c36696e733be',1,'SVF::ConstraintGraph']]],
+  ['hasnonlabelededge_3292',['hasNonlabeledEdge',['../classSVF_1_1IRGraph.html#abe0ab797a3da420e4d2f9136d64fb407',1,'SVF::IRGraph']]],
+  ['hasonecxtinlockspan_3293',['hasOneCxtInLockSpan',['../classSVF_1_1LockAnalysis.html#a7d2072c3c0ae571077a2aa2c3586451d',1,'SVF::LockAnalysis']]],
+  ['hasoutgoingedge_3294',['hasOutgoingEdge',['../classSVF_1_1GenericNode.html#a0931220d7a38e03f206cbdc6465d32ad',1,'SVF::GenericNode::hasOutgoingEdge() const'],['../classSVF_1_1GenericNode.html#aa0c40cb708b39300b3cb7354194e4993',1,'SVF::GenericNode::hasOutgoingEdge(EdgeType *edge) const']]],
+  ['hasoutgoingedges_3295',['hasOutgoingEdges',['../classSVF_1_1SVFVar.html#a9b00f9b5f8ad2422162f4396e2d8fa42',1,'SVF::SVFVar']]],
+  ['hasparentthread_3296',['hasParentThread',['../classSVF_1_1TCT.html#a6855a3a8a98591e58dba07047f7705ce',1,'SVF::TCT']]],
+  ['hasphiset_3297',['hasPHISet',['../classSVF_1_1MemSSA.html#a41bc86b7dc4d400d83c1f19ede4936ed',1,'SVF::MemSSA']]],
+  ['haspointsto_3298',['hasPointsTo',['../classSVF_1_1CondPointsToSet.html#ab1d20dfe6f243f7a09a8e2face097cc0',1,'SVF::CondPointsToSet']]],
+  ['hasprodsfromfirstrhs_3299',['hasProdsFromFirstRHS',['../classSVF_1_1CFGrammar.html#a6a0563acf39967169d6c267387539134',1,'SVF::CFGrammar']]],
+  ['hasprodsfromsecondrhs_3300',['hasProdsFromSecondRHS',['../classSVF_1_1CFGrammar.html#a6d1db255d2b526fa7fdfaa7b2146f0cd',1,'SVF::CFGrammar']]],
+  ['hasprodsfromsinglerhs_3301',['hasProdsFromSingleRHS',['../classSVF_1_1CFGrammar.html#aefdae80251eaaf9be580d26a5dd268a8',1,'SVF::CFGrammar']]],
+  ['hasptasvfstmtlist_3302',['hasPTASVFStmtList',['../classSVF_1_1SVFIR.html#a0552d565633ee22abe03085134a871c0',1,'SVF::SVFIR']]],
+  ['hasptsmap_3303',['hasPtsMap',['../classSVF_1_1CondPTAImpl.html#a597e9c4e76f358c36d4b820c4d69ebc6',1,'SVF::CondPTAImpl']]],
+  ['hasrefmrset_3304',['hasRefMRSet',['../classSVF_1_1MRGenerator.html#af06e8ac43efdedb97a2008cd93fc32d6',1,'SVF::MRGenerator']]],
+  ['hasrefsideeffectofcallsite_3305',['hasRefSideEffectOfCallSite',['../classSVF_1_1MRGenerator.html#a9718c9e8efc1e6f32441aa5f418711dd',1,'SVF::MRGenerator']]],
+  ['hasreturn_3306',['hasReturn',['../classSVF_1_1SVFFunction.html#a66c8d773bde7e7af9f46d56b5db71065',1,'SVF::SVFFunction']]],
+  ['hasreturnmu_3307',['hasReturnMu',['../classSVF_1_1MemSSA.html#a3400d9a921672b3872656acecc3eac9f',1,'SVF::MemSSA']]],
+  ['hassbsinkflag_3308',['hasSBSinkFlag',['../classSVF_1_1Annotator.html#acbb2e202ab3fb864e70eac6b41c3899e',1,'SVF::Annotator']]],
+  ['hassbsourceflag_3309',['hasSBSourceFlag',['../classSVF_1_1Annotator.html#a3fb284999931900d92e60104980648ef',1,'SVF::Annotator']]],
+  ['hasspanfromcxtlock_3310',['hasSpanfromCxtLock',['../classSVF_1_1LockAnalysis.html#af8ada4a73bf132e1adeef7aa0522f596',1,'SVF::LockAnalysis']]],
+  ['hassvfgnode_3311',['hasSVFGNode',['../classSVF_1_1SVFG.html#a1b9d1ad76785ae0eb07979aa75325640',1,'SVF::SVFG']]],
+  ['hassvfstmtlist_3312',['hasSVFStmtList',['../classSVF_1_1MRGenerator.html#abcb903f5d5f323f319fc58f9df697f63',1,'SVF::MRGenerator::hasSVFStmtList()'],['../classSVF_1_1SVFIR.html#a63acb4d86d93ad1e88860ac839a8c654',1,'SVF::SVFIR::hasSVFStmtList()']]],
+  ['hassvftypeinfo_3313',['hasSVFTypeInfo',['../classSVF_1_1SymbolTableInfo.html#af678e138df136d6f3cd53826dfa4486c',1,'SVF::SymbolTableInfo']]],
+  ['hasswitchbranches_3314',['hasSwitchBranchES',['../classSVF_1_1AbstractInterpretation.html#ad5e8e749aec9d1c040c6be7eb26748e2',1,'SVF::AbstractInterpretation']]],
+  ['hastctnode_3315',['hasTCTNode',['../classSVF_1_1TCT.html#a5d5a753b4d2633e3aaf58859274ffe7a',1,'SVF::TCT']]],
+  ['hasthreadforkedge_3316',['hasThreadForkEdge',['../classSVF_1_1ThreadCallGraph.html#a933a6a2f0a0c6364e8df1bc65a07192f',1,'SVF::ThreadCallGraph']]],
+  ['hasthreadicfgedge_3317',['hasThreadICFGEdge',['../classSVF_1_1ICFG.html#a29fb70d6638765ce291c5a8a11fbea64',1,'SVF::ICFG']]],
+  ['hasthreadjoinedge_3318',['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_3319',['hasThreadStmtSet',['../classSVF_1_1MHP.html#a27d031e9c7c4706d7ee1750668e83b99',1,'SVF::MHP']]],
+  ['hasthreadvfgedge_3320',['hasThreadVFGEdge',['../classSVF_1_1VFG.html#aead3b463d9aa2fae5845d97896bd18ba',1,'SVF::VFG']]],
+  ['hasvalidationtarget_3321',['hasValidationTarget',['../classSVF_1_1RaceResultValidator.html#a749793355ab8390a1e6577d7b05efddf',1,'SVF::RaceResultValidator::hasValidationTarget() const'],['../classSVF_1_1RaceResultValidator.html#a749793355ab8390a1e6577d7b05efddf',1,'SVF::RaceResultValidator::hasValidationTarget() const']]],
+  ['hasvalsym_3322',['hasValSym',['../classSVF_1_1SymbolTableInfo.html#af5e91f2ace726b1f05b045681d2bd117',1,'SVF::SymbolTableInfo']]],
+  ['hasvalue_3323',['hasValue',['../classSVF_1_1SVFVar.html#a1ace69053c2c4436fd78d5624bd0086a',1,'SVF::SVFVar']]],
+  ['hasvaluenode_3324',['hasValueNode',['../classSVF_1_1IRGraph.html#a401ec65771a3d2dcc8eb60574aadd354',1,'SVF::IRGraph']]],
+  ['hasvfgnode_3325',['hasVFGNode',['../classSVF_1_1VFG.html#a30eb9d717ad5bc8a9109a7bdef38f4a1',1,'SVF::VFG']]],
+  ['hasvfgnodes_3326',['hasVFGNodes',['../classSVF_1_1VFG.html#a76af43e28630eb56a1aa5971f516d43d',1,'SVF::VFG']]],
+  ['hbpair_3327',['HBPair',['../classSVF_1_1ForkJoinAnalysis.html#aad3e722ecaa4a39aef0e1cabfa2b8019',1,'SVF::ForkJoinAnalysis']]],
+  ['hclust_5ffast_3328',['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']]],
+  ['hclust_5ffast_5fmethods_3329',['hclust_fast_methods',['../fastcluster_8h.html#a4205a14ad66b3320d2e94c61d74913dd',1,'fastcluster.h']]],
+  ['hclust_5fmethod_5faverage_3330',['HCLUST_METHOD_AVERAGE',['../fastcluster_8h.html#a4205a14ad66b3320d2e94c61d74913dda3ab72664fc61704a1ba46bddbc347115',1,'fastcluster.h']]],
+  ['hclust_5fmethod_5fcomplete_3331',['HCLUST_METHOD_COMPLETE',['../fastcluster_8h.html#a4205a14ad66b3320d2e94c61d74913dda44ce22fdfc560f27242e9b8f8e7009f4',1,'fastcluster.h']]],
+  ['hclust_5fmethod_5fmedian_3332',['HCLUST_METHOD_MEDIAN',['../fastcluster_8h.html#a4205a14ad66b3320d2e94c61d74913ddaa453b79910d9c6f7f57a179bcdf63474',1,'fastcluster.h']]],
+  ['hclust_5fmethod_5fsingle_3333',['HCLUST_METHOD_SINGLE',['../fastcluster_8h.html#a4205a14ad66b3320d2e94c61d74913ddad16cc6362447cc32292c4af4c6fe8024',1,'fastcluster.h']]],
+  ['hclust_5fmethod_5fsvf_5fbest_3334',['HCLUST_METHOD_SVF_BEST',['../fastcluster_8h.html#a4205a14ad66b3320d2e94c61d74913dda66ab3fde95842ef6da0dae1f702a9618',1,'fastcluster.h']]],
+  ['hclustmethodtostring_3335',['hclustMethodToString',['../namespaceSVF_1_1SVFUtil.html#a14a4c5124f2fd03ca3d898e2acd54160',1,'SVF::SVFUtil']]],
+  ['head_3336',['head',['../classSVF_1_1List.html#a41d52072edb2b75ab15d67bf2663312a',1,'SVF::List::head()'],['../classSVF_1_1WTOCycle.html#ace60ecb07603681de5c3020d0d3c5079',1,'SVF::WTOCycle::head()']]],
+  ['headbegin_3337',['headBegin',['../classSVF_1_1WTO.html#a62a6ee6d3894861a0fb74309d2951e16',1,'SVF::WTO']]],
+  ['headend_3338',['headEnd',['../classSVF_1_1WTO.html#ace35f97608d342cae7cda7936816f624',1,'SVF::WTO']]],
+  ['headmap_3339',['headmap',['../classSVF_1_1MTASVFGBuilder.html#ac92452c257052706b1cf1737b266eec1',1,'SVF::MTASVFGBuilder']]],
+  ['headreftocycle_3340',['headRefToCycle',['../classSVF_1_1WTO.html#a5752288fb686b9ef5d6c8edc0cee6348',1,'SVF::WTO']]],
+  ['heap_5fobj_3341',['HEAP_OBJ',['../classSVF_1_1ObjTypeInfo.html#a91b41b7ade5871362b77a2ef566b2830a692b4b0df23bad19ea04d18b01bf445c',1,'SVF::ObjTypeInfo']]],
+  ['heapallocatorviaindcall_3342',['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()']]],
+  ['hooks_3343',['hooks',['../structparse__buffer.html#a2c3e99b15da2935fc5d58124ffb4a894',1,'parse_buffer::hooks()'],['../structprintbuffer.html#a43a8b3bcc644432f12f5aed5159d2520',1,'printbuffer::hooks()'],['../cJSON_8cpp.html#a182a7b0d4467e799ca4ea26235b1cf74',1,'hooks(): cJSON.cpp']]],
+  ['hppair_3344',['HPPair',['../classSVF_1_1ForkJoinAnalysis.html#a4ad5c7a21ca994d908d648ca9d9e1833',1,'SVF::ForkJoinAnalysis']]],
+  ['humanreadableoption_3345',['humanReadableOption',['../SVFFileSystem_8cpp.html#aee01a3d251dee6a05d621f5265d92e84',1,'SVFFileSystem.cpp']]]
 ];