Here is a list of all class members with links to the classes they belong to:

- h -

• HandBlackHole : SVF::Options
• handleAddr() : SVF::ContextDDA, SVF::DDAVFSolver< CVar, CPtSet, DPIm >, SVF::FlowDDA
• handleBKCondition() : SVF::ContextDDA, SVF::DDAVFSolver< CVar, CPtSet, DPIm >, SVF::FlowDDA
• handleBlackHole() : SVF::SVFIR
• handleCall() : SVF::ForkJoinAnalysis, SVF::LockAnalysis, SVF::MHP
• handleCallRelation() : SVF::LockAnalysis, SVF::TCT
• handleCallSite() : SVF::AbstractInterpretation
• handleCallsiteModRef() : SVF::MRGenerator
• handleCE() : SVF::SymbolTableBuilder
• handleCopyGep() : SVF::Andersen, SVF::AndersenSCD
• handleCycleWTO() : SVF::AbstractInterpretation
• handleDIBasicType() : SVF::DCHGraph
• handleDICompositeType() : SVF::DCHGraph
• handleDIDerivedType() : SVF::DCHGraph
• handleDirectCall() : SVF::SVFIRBuilder
• handleDISubroutineType() : SVF::DCHGraph
• handleExtAPI() : SVF::AbsExtAPI
• handleExtCall() : SVF::SVFIRBuilder
• handleFork() : SVF::ForkJoinAnalysis, SVF::LockAnalysis, SVF::MHP
• handleGlobalCE() : SVF::SymbolTableBuilder
• handleGlobalInitializerCE() : SVF::SymbolTableBuilder
• handleGlobalNode() : SVF::AbstractInterpretation
• handleIndCall() : SVF::SVFIRBuilder
• handleInterValueFlow() : SVF::SVFGOPT
• handleIntra() : SVF::ForkJoinAnalysis, SVF::LockAnalysis, SVF::MHP
• handleIntraValueFlow() : SVF::SVFGOPT
• handleJoin() : SVF::ForkJoinAnalysis, SVF::MHP
• handleLoad() : SVF::AndersenWaveDiff
• handleLoadStore() : SVF::Andersen, SVF::AndersenSCD
• handleMemcpy() : SVF::AbsExtAPI
• handleMemset() : SVF::AbsExtAPI
• handleNonCandidateFun() : SVF::MHP
• handleOutOfBudgetDpm() : SVF::ContextDDA, SVF::DDAVFSolver< CVar, CPtSet, DPIm >, SVF::FlowDDA
• handleRet() : SVF::ForkJoinAnalysis, SVF::LockAnalysis, SVF::MHP
• handleSingleStatement() : SVF::DDAVFSolver< CVar, CPtSet, DPIm >
• handleSingletonWTO() : SVF::AbstractInterpretation
• handleStatement() : SVF::DDAClient
• handleStore() : SVF::AndersenWaveDiff
• handleStrcat() : SVF::AbsExtAPI
• handleStrcpy() : SVF::AbsExtAPI
• handleStubFunctions() : SVF::AEDetector, SVF::BufOverflowDetector
• handleSVFStatement() : SVF::AbstractInterpretation
• handleTypedef() : SVF::DCHGraph
• handleWTOComponent() : SVF::AbstractInterpretation
• handleWTOComponents() : SVF::AbstractInterpretation
• HARE_PAR_FOR : SVF::ThreadAPI
• HareParForEdge : SVF::CallGraphEdge, SVF::HareParForEdge
• has_static() : SVF::ExtAPI, SVF::LLVMModuleSet
• hasAbsStateFromTrace() : SVF::AbstractInterpretation
• hasActualINSVFGNodes() : SVF::SVFG
• hasActualOUTSVFGNodes() : SVF::SVFG
• hasAddressTaken() : SVF::FunObjVar
• hasAllCxtInLockSpan() : SVF::LockAnalysis
• hasBasicBlock() : SVF::FunObjVar
• hasBlackHoleConstObjAddrAsDef() : SVF::VFG
• hasCallGraphEdge() : SVF::CallGraph
• hasCallSiteArgsMap() : SVF::SVFIR
• hasCallSiteChi() : SVF::SVFG
• hasCallSiteID() : SVF::CallGraph
• hasCallSiteMu() : SVF::SVFG
• hasCDGEdge() : SVF::CDG
• hasCDGNode() : SVF::CDG
• hasCHI() : SVF::MemSSA
• hasConstraintNode() : SVF::ConstraintGraph
• hasCPtsList() : SVF::MRGenerator
• hasCxtLock() : SVF::LockAnalysis
• hasCxtLockfromCxtStmt() : SVF::LockAnalysis
• hasCxtStmtfromInst() : SVF::LockAnalysis
• hasDef() : SVF::SVFG, SVF::VFG
• hasDefSVFGNode() : SVF::SVFG
• hasDFInSet() : SVF::DFPTData< Key, KeySet, Data, DataSet >, SVF::MutableDFPTData< Key, KeySet, Data, DataSet >, SVF::PersistentDFPTData< Key, KeySet, Data, DataSet >
• hasDFOutSet() : SVF::DFPTData< Key, KeySet, Data, DataSet >, SVF::MutableDFPTData< Key, KeySet, Data, DataSet >, SVF::PersistentDFPTData< Key, KeySet, Data, DataSet >
• hasDRCheckFlag() : SVF::Annotator
• hasDRNotCheckFlag() : SVF::Annotator
• hasEdge() : SVF::CFLGraph, SVF::ConstraintGraph, SVF::DCHGraph, SVF::POCRSolver
• hasEdgeDestLabels() : SVF::DefaultDOTGraphTraits
• hasExtFuncAnnotation() : SVF::ExtAPI, SVF::LLVMModuleSet
• hasFlag() : SVF::CHNode, SVF::DCHNode, SVF::ObjTypeInfo
• hasFormalINSVFGNodes() : SVF::SVFG
• hasFormalOUTSVFGNodes() : SVF::SVFG
• hasFunArgsList() : SVF::SVFIR
• hasFuncEntryChi() : SVF::MemSSA, SVF::SVFG
• hasFuncRetMu() : SVF::SVFG
• hasGepObjOffsetFromBase() : SVF::BufOverflowDetector
• hasGlobalRep() : SVF::LLVMModuleSet
• hasGNode() : SVF::GenericGraph< NodeTy, EdgeTy >
• hasGraphEdge() : SVF::CallGraph, SVF::TCT
• hash() : SVF::AbstractState, SVF::CoreBitVector, SVF::PointsTo, SVF::RelExeState, SVF::Z3Expr
• hasICFGNode() : SVF::ICFG, SVF::ICFGBuilder, SVF::LLVMModuleSet
• hasIncomingEdge() : SVF::GenericNode< NodeTy, EdgeTy >
• hasIncomingEdges() : SVF::SVFVar
• hasIncomingVariantGepEdge() : SVF::SVFVar
• hasInd_h() : SVF::POCRHybridSolver
• hasIndCSCallees() : SVF::CallGraph, SVF::PointerAnalysis
• hasInterICFGEdge() : SVF::ICFG
• hasInterleavingThreads() : SVF::MHP
• hasIntersect() : SVF::AddressValue
• hasInterVFGEdge() : SVF::VFG
• hasIntraICFGEdge() : SVF::ICFG
• hasIntraVFGEdge() : SVF::VFG
• hasJoinInSymmetricLoop() : SVF::ForkJoinAnalysis, SVF::MHP
• hasJoinLoop() : SVF::ForkJoinAnalysis, SVF::TCT
• hasLabeledEdge() : SVF::IRGraph
• hasLoop() : SVF::TCT
• hasLoopInfo() : SVF::FunObjVar, SVF::SVFLoopAndDomInfo
• hasModMRSet() : SVF::MRGenerator
• hasModSideEffectOfCallSite() : SVF::MRGenerator
• hasMU() : SVF::MemSSA
• hasNode() : SVF::DCHGraph
• hasNodesToBeCollapsed() : SVF::ConstraintGraph
• hasNonlabeledEdge() : SVF::IRGraph
• hasOneCxtInLockSpan() : SVF::LockAnalysis
• hasOutgoingEdge() : SVF::GenericNode< NodeTy, EdgeTy >
• hasOutgoingEdges() : SVF::SVFVar
• hasParentThread() : SVF::TCT
• hasPHISet() : SVF::MemSSA
• hasPointsTo() : SVF::CondPointsToSet< Cond >
• hasProdsFromFirstRHS() : SVF::CFGrammar
• hasProdsFromSecondRHS() : SVF::CFGrammar
• hasProdsFromSingleRHS() : SVF::CFGrammar
• hasPTASVFStmtList() : SVF::SVFIR
• hasPtsMap() : SVF::CondPTAImpl< Cond >
• hasRefMRSet() : SVF::MRGenerator
• hasRefSideEffectOfCallSite() : SVF::MRGenerator
• hasReturn() : SVF::FunObjVar
• hasReturnMu() : SVF::MemSSA
• hasSBSinkFlag() : SVF::Annotator
• hasSBSourceFlag() : SVF::Annotator
• hasSpanfromCxtLock() : SVF::LockAnalysis
• hasSVFGNode() : SVF::SVFG
• hasSVFStmtList() : SVF::MRGenerator, SVF::SVFIR
• hasSVFTypeInfo() : SVF::IRGraph
• hasTCTNode() : SVF::TCT
• hasThreadForkEdge() : SVF::ThreadCallGraph
• hasThreadICFGEdge() : SVF::ICFG
• hasThreadJoinEdge() : SVF::ThreadCallGraph
• hasThreadStmtSet() : SVF::MHP
• hasThreadVFGEdge() : SVF::VFG
• hasValueNode() : SVF::LLVMModuleSet
• hasVFGNode() : SVF::VFG
• hasVFGNodes() : SVF::VFG
• HBPair : SVF::ForkJoinAnalysis
• head : SVF::List< Data >, SVF::WTOCycle< GraphT >
• headBegin() : SVF::WTO< GraphT >
• headEnd() : SVF::WTO< GraphT >
• headRefToCycle : SVF::WTO< GraphT >
• HEAP_OBJ : SVF::ObjTypeInfo
• heapAllocatorViaIndCall() : SVF::AndersenBase, SVF::CFLAlias
• HeapObjNode : SVF::SVFValue
• HeapObjVar() : SVF::HeapObjVar
• hooks : parse_buffer, printbuffer
• HPPair : SVF::ForkJoinAnalysis