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

- i -

• ICFG() : SVF::ICFG
• ICFGBuilder() : SVF::ICFGBuilder
• ICFGEdge() : SVF::ICFGEdge
• ICFGNode() : SVF::ICFGNode
• ICFGNodesBegin() : SVF::SVFLoop
• ICFGNodesEnd() : SVF::SVFLoop
• ICFGStat() : SVF::ICFGStat
• ICFGWTO() : SVF::ICFGWTO
• id() : SVF::Z3Expr
• idToObjTypeInfoMap() : SVF::IRGraph
• in_cycleDepth_table() : SVF::WTO< GraphT >
• inAddrToAddrsTable() : SVF::AbstractState
• inAddrToValTable() : SVF::AbstractState
• inBackwardSlice() : SVF::ProgSlice, SVF::SVFGStat
• incEdgeNum() : SVF::GenericGraph< NodeTy, EdgeTy >
• incNodeNum() : SVF::GenericGraph< NodeTy, EdgeTy >
• incomingAddrEdges() : SVF::ConstraintNode
• incomingAddrsBegin() : SVF::ConstraintNode
• incomingAddrsEnd() : SVF::ConstraintNode
• incomingLoadsBegin() : SVF::ConstraintNode
• incomingLoadsEnd() : SVF::ConstraintNode
• incomingStoresBegin() : SVF::ConstraintNode
• incomingStoresEnd() : SVF::ConstraintNode
• increaseNumOfObjAndNodes() : SVF::NodeIDAllocator
• index() : SVF::SparseBitVectorElement< ElementSize >
• indexForBit() : SVF::CoreBitVector
• indirectCallFunPass() : SVF::AbstractInterpretation
• indirectCallsBegin() : SVF::CallGraphEdge
• indirectCallsEnd() : SVF::CallGraphEdge
• IndirectSVFGEdge() : SVF::IndirectSVFGEdge
• indVFEdgeEnd() : SVF::SVFGStat
• indVFEdgeStart() : SVF::SVFGStat
• InEdgeBegin() : SVF::GenericNode< NodeTy, EdgeTy >
• InEdgeEnd() : SVF::GenericNode< NodeTy, EdgeTy >
• inEdgesBegin() : SVF::SVFLoop
• inEdgesEnd() : SVF::SVFLoop
• inferFieldIdxFromByteOffset() : SVF::SVFIRBuilder
• inferObjType() : SVF::ObjTypeInference, SVF::SymbolTableBuilder
• inferPointsToType() : SVF::ObjTypeInference
• inferThisPtrClsName() : SVF::ObjTypeInference
• inferTypeOfHeapObjOrStaticObj() : SVF::SymbolTableBuilder
• inForwardSlice() : SVF::ProgSlice, SVF::SVFGStat
• init() : SVF::SaberCheckerAPI, SVF::ThreadAPI, SVF::WTO< GraphT >
• initCxtInsensitiveEdges() : SVF::DDAPass
• initDefault() : SVF::DDAStat
• initDomTree() : SVF::SVFIRBuilder
• initExtAPIBufOverflowCheckRules() : SVF::BufOverflowDetector
• initExtFunMap() : SVF::AbsExtAPI
• initFunObjVar() : SVF::FunObjVar, SVF::SVFIRBuilder
• InitialGlobal() : SVF::SVFIRBuilder
• initialise() : SVF::DDAClient
• initialiseBaseObjVars() : SVF::SVFIRBuilder
• initialiseCandidatePointers() : SVF::SVFIR
• initialiseNodes() : SVF::SVFIRBuilder
• initialiseValVars() : SVF::SVFIRBuilder
• initialize() : SVF::Andersen, SVF::AndersenBase, SVF::AndersenSFR, SVF::AndersenWaveDiff, SVF::CFLAlias, SVF::CFLSolver, SVF::CFLVF, SVF::ContextDDA, SVF::FlowDDA, SVF::FlowSensitive, SVF::POCRHybridSolver, SVF::POCRSolver, SVF::PointerAnalysis, SVF::SrcSnkDDA, SVF::TypeAnalysis, SVF::VersionedFlowSensitive
• initializeSolver() : SVF::CFLAlias, SVF::POCRAlias, SVF::POCRHybrid
• initialWorkList() : SVF::SVFGOPT
• initObjVar() : SVF::AbstractState
• initSnks() : SVF::LeakChecker, SVF::SrcSnkDDA
• initSrcs() : SVF::LeakChecker, SVF::SrcSnkDDA
• initStats() : SVF::PersistentPointsToCache< Data >
• initSVFBasicBlock() : SVF::SVFIRBuilder
• initTypeInfo() : SVF::SymbolTableBuilder
• initWorklist() : SVF::Andersen, SVF::WPASolver< GraphType >
• initWTO() : SVF::AbstractInterpretation
• inSameCallGraphSCC() : SVF::PointerAnalysis, SVF::TCT
• inSCC() : SVF::SCCDetection< GraphType >::GNodeSCCInfo, SVF::SCCDetection< GraphType >
• insert() : SVF::AddressValue
• insertAttribute() : SVF::GrammarBase
• insertBranchCondition() : SVF::CDGEdge
• insertEBNFSigns() : SVF::GrammarBase
• insertEdge_h() : SVF::POCRHybridSolver
• insertNonterminalKind() : SVF::GrammarBase
• insertNonTerminalSymbol() : SVF::GrammarBase
• insertPHI() : SVF::MemSSA
• insertSymbol() : SVF::GrammarBase
• insertTerminalKind() : SVF::GrammarBase
• insertTerminalSymbol() : SVF::GrammarBase
• insertToCFLGrammar() : SVF::CFGNormalizer
• int8Type() : SVF::ObjTypeInference
• InterDisjointMRG() : SVF::InterDisjointMRG
• InterICFGNode() : SVF::InterICFGNode
• InterMSSAPHISVFGNode() : SVF::InterMSSAPHISVFGNode
• InterPHIVFGNode() : SVF::InterPHIVFGNode
• intersect() : SVF::LockAnalysis
• intersectPts() : SVF::PersistentPointsToCache< Data >
• intersects() : SVF::AccessPath, SVF::CondPointsToSet< Cond >, SVF::CondStdSet< Element >, SVF::CoreBitVector, SVF::LockAnalysis, SVF::PointsTo, SVF::SparseBitVector< ElementSize >, SVF::SparseBitVectorElement< ElementSize >
• intersectWith() : SVF::SparseBitVectorElement< ElementSize >
• intersectWithComplement() : SVF::CondPointsToSet< Cond >, SVF::CoreBitVector, SVF::PointsTo, SVF::SparseBitVector< ElementSize >, SVF::SparseBitVectorElement< ElementSize >
• IntervalValue() : SVF::IntervalValue
• intraBackwardTraverse() : SVF::LockAnalysis
• IntraCFGEdge() : SVF::IntraCFGEdge
• IntraDirSVFGEdge() : SVF::IntraDirSVFGEdge
• IntraDisjointMRG() : SVF::IntraDisjointMRG
• intraForwardTraverse() : SVF::LockAnalysis
• IntraICFGNode() : SVF::IntraICFGNode
• IntraIndSVFGEdge() : SVF::IntraIndSVFGEdge
• IntraMSSAPHISVFGNode() : SVF::IntraMSSAPHISVFGNode
• IntraPHIVFGNode() : SVF::IntraPHIVFGNode
• inVarToAddrsTable() : SVF::AbstractState
• inVarToValTable() : SVF::AbstractState
• Inverse() : SVF::Inverse< GraphType >
• IRGraph() : SVF::IRGraph
• is_alloc() : SVF::ExtAPI, SVF::LLVMModuleSet
• is_alloc_stack_ret() : SVF::ExtAPI, SVF::LLVMModuleSet
• is_arg_alloc() : SVF::ExtAPI, SVF::LLVMModuleSet
• is_bool() : SVF::Z3Expr
• is_ext() : SVF::ExtAPI, SVF::LLVMModuleSet
• is_infinite() : SVF::IntervalValue
• is_infinity() : SVF::BoundedDouble, SVF::BoundedInt
• is_int() : SVF::BoundedDouble, SVF::IntervalValue
• is_memcpy() : SVF::ExtAPI, SVF::LLVMModuleSet
• is_memset() : SVF::ExtAPI, SVF::LLVMModuleSet
• is_minus_infinity() : SVF::BoundedDouble, SVF::BoundedInt
• is_numeral() : SVF::IntervalValue, SVF::Z3Expr
• is_plus_infinity() : SVF::BoundedDouble, SVF::BoundedInt
• is_real() : SVF::BoundedDouble, SVF::BoundedInt, SVF::IntervalValue
• is_realloc() : SVF::ExtAPI, SVF::LLVMModuleSet
• is_true() : SVF::BoundedDouble, SVF::BoundedInt
• is_zero() : SVF::BoundedDouble, SVF::BoundedInt, SVF::IntervalValue
• isActualOUTPHI() : SVF::InterMSSAPHISVFGNode
• isActualRetPHI() : SVF::InterPHIVFGNode
• isAddr() : SVF::AbstractValue
• isAgg() : SVF::DCHGraph
• isAliasedForkJoin() : SVF::ForkJoinAnalysis
• isAliasedLocks() : SVF::LockAnalysis
• isAliasedMR() : SVF::MRGenerator
• isAlloc() : SVF::ObjTypeInference
• isAllPathReachable() : SVF::SaberCondAllocator, SVF::SrcSnkDDA
• isAllReachable() : SVF::ProgSlice
• isArgOfUncalledFunction() : SVF::ArgValVar
• isArgumentVFGNodeKinds() : SVF::SVFValue
• isArray() : SVF::BaseObjVar, SVF::ObjTypeInfo
• isArrayCondMemObj() : SVF::DDAVFSolver< CVar, CPtSet, DPIm >
• isArrayMemObj() : SVF::PointerAnalysis
• isArrayTy() : SVF::SVFType
• isBackICFGEdge() : SVF::SVFLoop
• isBase() : SVF::DCHGraph
• isBaseObjVarKinds() : SVF::SVFValue
• isBBCallsProgExit() : SVF::SaberCondAllocator
• isBitCast() : SVF::CopyStmt
• isbkVisited() : SVF::DDAVFSolver< CVar, CPtSet, DPIm >
• isBlackHoleObj() : SVF::BaseObjVar
• isBlkObj() : SVF::IRGraph
• isBlkObjOrConstantObj() : SVF::ConstraintGraph, SVF::IRGraph, SVF::PointerAnalysis, SVF::SVFIR
• isBlkPtr() : SVF::IRGraph
• isBool() : Option< T >, OptionBase
• isBottom() : SVF::AddressValue, SVF::IntervalValue
• isBranchFeasible() : SVF::AbstractInterpretation
• isBuiltFromFile() : SVF::IRGraph
• isCallCFGEdge() : SVF::ICFGEdge
• isCallDirectVFGEdge() : SVF::VFGEdge
• isCallIndirectVFGEdge() : SVF::VFGEdge
• isCallSite() : SVF::LockAnalysis, SVF::TCT
• isCallSiteRetSVFGNode() : SVF::SVFG
• isCallVFGEdge() : SVF::VFGEdge
• isCandidateFun() : SVF::TCT
• isCFGEdge() : SVF::ICFGEdge
• isCmpBranchFeasible() : SVF::AbstractInterpretation
• isConcreteCxt() : SVF::ContextCond
• isCondCompatible() : SVF::CondPTAImpl< Cond >, SVF::ContextDDA
• isConditional() : SVF::BranchStmt
• isConnectedfromMain() : SVF::MHP
• isConnectingTwoCallSites() : SVF::SVFGOPT
• isConstantArray() : SVF::BaseObjVar, SVF::ObjTypeInfo
• isConstantByteSize() : SVF::BaseObjVar, SVF::ObjTypeInfo
• isConstantDataObjVarKinds() : SVF::SVFValue
• isConstantDataValVar() : SVF::SVFValue
• isConstantObj() : SVF::SVFIR
• isConstantOffset() : SVF::AccessPath, SVF::GepStmt
• isConstantStruct() : SVF::BaseObjVar, SVF::ObjTypeInfo
• isConstantSym() : SVF::IRGraph
• isConstDataOrAggData() : SVF::BaseObjVar, SVF::ConstAggObjVar, SVF::ConstAggValVar, SVF::ConstDataObjVar, SVF::ConstDataValVar, SVF::GepObjVar, SVF::GepValVar, SVF::ObjTypeInfo, SVF::SVFVar
• isConstDataOrAggDataButNotNullPtr() : SVF::BlackHoleValVar, SVF::ConstAggObjVar, SVF::ConstAggValVar, SVF::ConstDataObjVar, SVF::ConstDataValVar, SVF::ConstNullPtrObjVar, SVF::ConstNullPtrValVar, SVF::GepObjVar, SVF::GepValVar, SVF::SVFVar
• isConstDataOrConstGlobal() : SVF::BaseObjVar, SVF::ObjTypeInfo
• isDeclaration() : SVF::FunObjVar
• isDefOfAInFOut() : SVF::SVFGOPT
• isDirectCall() : SVF::AbstractInterpretation
• isDirectCallEdge() : SVF::CallGraphEdge
• isdirectEdge() : SVF::ConstraintNode
• isDirectVFGEdge() : SVF::VFGEdge
• isEdgeInRecursion() : SVF::ContextDDA
• isEntryICFGEdge() : SVF::SVFLoop
• isEQCmp() : SVF::SaberCondAllocator
• isEquivalentBranchCond() : SVF::ProgSlice, SVF::SaberCondAllocator
• isExtCall() : SVF::AbstractInterpretation, SVF::LockAnalysis, SVF::TCT
• isFClose() : SVF::SaberCheckerAPI
• isFieldInsenCondMemObj() : SVF::DDAVFSolver< CVar, CPtSet, DPIm >
• isFieldInsensitive() : SVF::BaseObjVar, SVF::PointerAnalysis
• isFieldOf() : SVF::DCHGraph
• isFIObjNode() : SVF::PointerAnalysis
• isFirstField() : SVF::DCHGraph
• isFOpen() : SVF::SaberCheckerAPI
• isForksite() : SVF::ThreadCallGraph
• isFormalINPHI() : SVF::InterMSSAPHISVFGNode
• isFormalParmPHI() : SVF::InterPHIVFGNode
• isFullJoin() : SVF::ForkJoinAnalysis
• isFunction() : SVF::BaseObjVar, SVF::ObjTypeInfo
• isFunctionRetPhi() : SVF::PhiStmt
• isFunEntrySVFGNode() : SVF::SVFG
• isFunEntryVFGNode() : SVF::VFG
• isFunPtr() : SVF::SVFIR
• isGlobalObj() : SVF::BaseObjVar, SVF::ObjTypeInfo
• isGlobalSVFGNode() : SVF::SaberSVFGBuilder, SVF::SrcSnkDDA
• isHBPair() : SVF::ForkJoinAnalysis, SVF::MHP
• isHead() : SVF::WTO< GraphT >
• isHeap() : SVF::BaseObjVar, SVF::ObjTypeInfo
• isHeapCondMemObj() : SVF::ContextDDA, SVF::DDAVFSolver< CVar, CPtSet, DPIm >, SVF::FlowDDA
• isHeapMemObj() : SVF::PointerAnalysis
• isHelpName() : OptionBase
• isICFGNodeKinds() : SVF::SVFValue
• isInAWrapper() : SVF::SrcSnkDDA
• isInCurBackwardSlice() : SVF::SrcSnkDDA
• isInCurForwardSlice() : SVF::SrcSnkDDA
• isInCurrentSCC() : SVF::WPASCCSolver< GraphType >
• isIncycle() : SVF::CxtThread
• isInCycle() : SVF::SCCDetection< GraphType >
• isIncycle() : SVF::TCTNode
• isIndirectCall() : SVF::AbstractInterpretation, SVF::CallICFGNode
• isIndirectCallEdge() : SVF::CallGraphEdge
• isIndirectCallSites() : SVF::SVFIR
• isIndirectEdge() : SVF::ConstraintNode
• isIndirectVFGEdge() : SVF::VFGEdge
• isInICFGEdge() : SVF::SVFLoop
• isInloop() : SVF::CxtThread
• isInLoop() : SVF::ICFG, SVF::SVFLoop
• isInloop() : SVF::TCTNode
• isInLoopInstruction() : SVF::TCT
• isInRecursion() : SVF::PointerAnalysis, SVF::TCT
• isInSameCISpan() : SVF::LockAnalysis
• isInSameCSSpan() : SVF::LockAnalysis
• isInSameSpan() : SVF::LockAnalysis
• isInSCC() : SVF::SCCDetection< GraphType >
• isInsensitiveCallRet() : SVF::ContextDDA
• isInsideCondIntraLock() : SVF::LockAnalysis
• isInsideIntraLock() : SVF::LockAnalysis
• isInt2Ptr() : SVF::CopyStmt
• isInterestedPAGNode() : SVF::VFG
• isInterICFGNodeKind() : SVF::SVFValue
• isInterval() : SVF::AbstractValue
• isIntraCFGEdge() : SVF::ICFGEdge
• isIntraLock() : SVF::LockAnalysis
• isIntraVFGEdge() : SVF::VFGEdge
• isIntrinsic() : SVF::FunObjVar
• isInWorklist() : SVF::CFLSolver, SVF::GraphReachSolver< GraphType, DPIm >, SVF::SrcSnkSolver< GraphType, DPIm >, SVF::WPASolver< GraphType >
• isIsolatedNode() : SVF::FunObjVar, SVF::SVFVar
• isJoinMustExecutedInLoop() : SVF::TCT
• isJoinsite() : SVF::ThreadCallGraph
• isJoinSiteInRecursion() : SVF::TCT
• isLoad() : SVF::VersionedFlowSensitive
• isLocalCVarInRecursion() : SVF::DDAVFSolver< CVar, CPtSet, DPIm >
• isLocalVarInRecursiveFun() : SVF::PointerAnalysis
• isLockCandidateFun() : SVF::LockAnalysis
• isLoopExitOfJoinLoop() : SVF::TCT
• isLoopHeader() : SVF::FunObjVar, SVF::SVFLoopAndDomInfo
• isLoopHeaderOfJoinLoop() : SVF::TCT
• isMemAlloc() : SVF::SaberCheckerAPI
• isMemDealloc() : SVF::SaberCheckerAPI
• isMRSVFGNodeKinds() : SVF::SVFValue
• isMSSAPHISVFGNodeKinds() : SVF::SVFValue
• isMultiforked() : SVF::TCTNode
• isMultiForkedThread() : SVF::MHP
• isMultiInheritance() : SVF::CHNode, SVF::DCHNode
• isMultiple() : OptionBase, OptionMultiple< T >
• isMustAlias() : SVF::DDAVFSolver< CVar, CPtSet, DPIm >
• isMustJoin() : SVF::MHP
• isNECmp() : SVF::SaberCondAllocator
• isNegCond() : SVF::SaberCondAllocator
• isNodeHidden() : SVF::DefaultDOTGraphTraits, SVF::DOTGraphTraits< ConstraintGraph * >, SVF::DOTGraphTraits< ICFG * >, SVF::DOTGraphTraits< IRGraph * >, SVF::DOTGraphTraits< SVFG * >, SVF::GraphWriter< GraphType >
• isNonLocalObject() : SVF::MRGenerator
• isNullPtr() : SVF::AbstractState, SVF::IRGraph
• isObjVarKinds() : SVF::SVFValue
• isOutICFGEdge() : SVF::SVFLoop
• isOutOfBudgetDpm() : SVF::DDAVFSolver< CVar, CPtSet, DPIm >
• isOutOfBudgetQuery() : SVF::DDAVFSolver< CVar, CPtSet, DPIm >
• isParForSite() : SVF::ThreadCallGraph
• isPartialReachable() : SVF::ProgSlice
• isPhiCopyEdge() : SVF::VFG
• isPhiNode() : SVF::SVFIR
• isPHIVFGNodeKinds() : SVF::SVFValue
• isPointer() : SVF::ArgValVar, SVF::DummyObjVar, SVF::DummyValVar, SVF::FunValVar, SVF::GepObjVar, SVF::GepValVar, SVF::RetValPN, SVF::SVFVar, SVF::VarArgValPN
• isPointerTy() : SVF::SVFType
• isProtectedByCommonCILock() : SVF::LockAnalysis
• isProtectedByCommonCxtLock() : SVF::LockAnalysis
• isProtectedByCommonLock() : SVF::LockAnalysis
• isPTAEdge() : SVF::SVFStmt
• isPTANode() : SVF::ArgumentVFGNode, SVF::NullPtrVFGNode, SVF::PHIVFGNode, SVF::StmtVFGNode
• isPtr2Int() : SVF::CopyStmt
• isPtrOnlySVFG() : SVF::VFG
• isPureAbstract() : SVF::CHNode, SVF::DCHNode
• isPWCNode() : SVF::ConstraintGraph, SVF::ConstraintNode
• isReachableBetweenFunctions() : SVF::CallGraph
• isReachableFromProgEntry() : SVF::CallGraphNode
• isReachGlobal() : SVF::ProgSlice
• isRecurFullJoin() : SVF::MHP
• isRecursiveCall() : SVF::AbstractInterpretation
• isRetCFGEdge() : SVF::ICFGEdge
• isRetDirectVFGEdge() : SVF::VFGEdge
• isRetIndirectVFGEdge() : SVF::VFGEdge
• isRetInst() : SVF::IntraICFGNode
• isRetVFGEdge() : SVF::VFGEdge
• isSameSCEV() : SVF::ForkJoinAnalysis
• isSameVar() : SVF::CondPTAImpl< Cond >
• isSatisfiable() : SVF::SaberCondAllocator
• isSatisfiableForAll() : SVF::ProgSlice
• isSatisfiableForPairs() : SVF::ProgSlice
• isScalar() : SVF::DCHNode
• isSext() : SVF::CopyStmt
• isSigned() : SVF::SVFIntegerType
• isSimple() : SVF::DefaultDOTGraphTraits
• isSingleFieldObj() : SVF::ConstraintGraph
• isSingleValueType() : SVF::SVFType
• isSink() : SVF::SrcSnkDDA, SVF::SVFGStat
• isSinkLikeFun() : SVF::FileChecker, SVF::LeakChecker, SVF::SrcSnkDDA
• isSomePathReachable() : SVF::SrcSnkDDA
• isSource() : SVF::SrcSnkDDA, SVF::SVFGStat
• isSourceLikeFun() : SVF::FileChecker, SVF::LeakChecker, SVF::SrcSnkDDA
• isSpuriousVFEdgeAtIndCallSite() : SVF::SVFGBuilder
• isStack() : SVF::BaseObjVar, SVF::ObjTypeInfo
• isStaticObj() : SVF::BaseObjVar, SVF::ObjTypeInfo
• isStmtVFGNodeKinds() : SVF::SVFValue
• isStore() : SVF::VersionedFlowSensitive
• isStrongUpdate() : SVF::DDAVFSolver< CVar, CPtSet, DPIm >, SVF::FlowSensitive, SVF::SaberSVFGBuilder
• isStruct() : SVF::BaseObjVar, SVF::ObjTypeInfo
• isStructTy() : SVF::SVFType
• isSubset() : SVF::CondPointsToSet< Cond >
• isSVFGNodeInCycle() : SVF::DDAVFSolver< CVar, CPtSet, DPIm >
• isSVFVarKind() : SVF::SVFValue
• isSwitchBranchFeasible() : SVF::AbstractInterpretation
• isTDAcquire() : SVF::LockAnalysis, SVF::ThreadAPI
• isTDBarWait() : SVF::ThreadAPI
• isTDExit() : SVF::ThreadAPI
• isTDFork() : SVF::ForkJoinAnalysis, SVF::LockAnalysis, SVF::MHP, SVF::ThreadAPI
• isTDJoin() : SVF::ForkJoinAnalysis, SVF::MHP, SVF::ThreadAPI
• isTDRelease() : SVF::LockAnalysis, SVF::ThreadAPI
• isTemplate() : SVF::CHNode, SVF::DCHNode
• isTestContainsNullAndTheValue() : SVF::SaberCondAllocator
• isTestNotNullExpr() : SVF::SaberCondAllocator
• isTestNullExpr() : SVF::SaberCondAllocator
• isThreadMHPIndirectVFGEdge() : SVF::VFGEdge
• isTop() : SVF::AddressValue, SVF::IntervalValue
• isTopLevelPtrStmt() : SVF::DDAVFSolver< CVar, CPtSet, DPIm >
• isUncalledFunction() : SVF::FunObjVar
• isUnconditional() : SVF::BranchStmt
• isUnreachable() : SVF::SVFLoopAndDomInfo
• isValidPointer() : SVF::SVFIR
• isValidTopLevelPtr() : SVF::SVFIR
• isValueCopy() : SVF::CopyStmt
• isValVarKinds() : SVF::SVFValue
• isVarArg() : SVF::CallICFGNode, SVF::FunObjVar, SVF::SVFFunctionType
• isVarArray() : SVF::BaseObjVar, SVF::ObjTypeInfo
• isVariantFieldGep() : SVF::GepStmt
• isVarStruct() : SVF::BaseObjVar, SVF::ObjTypeInfo
• isVFGNodeKinds() : SVF::SVFValue
• isVirtualCall() : SVF::CallICFGNode
• isVirtualMemAddress() : SVF::AbstractState, SVF::AddressValue, SVF::RelExeState
• isVisited() : SVF::CSC
• isVisitedCTPs() : SVF::LockAnalysis, SVF::TCT
• isWorklistEmpty() : SVF::CFLSolver, SVF::GraphReachSolver< GraphType, DPIm >, SVF::SrcSnkSolver< GraphType, DPIm >, SVF::WPASolver< GraphType >
• isZero() : SVF::BoundedDouble, SVF::BoundedInt
• isZeroOffsettedGepCGEdge() : SVF::ConstraintGraph
• isZext() : SVF::CopyStmt
• iter_adaptor_base() : SVF::iter_adaptor_base< DerivedT, WrappedIteratorT, IteratorCategoryT, T, DifferenceTypeT, PointerT, ReferenceT >
• iter_range() : SVF::iter_range< IteratorT >