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

- i -

• I : SVF::iter_adaptor_base< DerivedT, WrappedIteratorT, IteratorCategoryT, T, DifferenceTypeT, PointerT, ReferenceT >, SVF::iter_facade_base< DerivedT, IteratorCategoryT, T, DifferenceTypeT, PointerT, ReferenceT >::ReferenceProxy
• icfg : SVF::AbsExtAPI, SVF::AbstractInterpretation
• ICFG() : SVF::ICFG
• icfg : SVF::ICFGBuilder, SVF::ICFGStat
• ICFG : SVF::IntraCFGEdge
• icfg : SVF::PointerAnalysis
• ICFG : SVF::SVFBasicBlock
• icfg : SVF::SVFIR
• ICFGBuilder : SVF::ICFG, SVF::ICFGBuilder, SVF::LLVMModuleSet, SVF::SVFBasicBlock
• ICFGEdge() : SVF::ICFGEdge
• ICFGEdgeK : SVF::ICFGEdge
• ICFGEdgeSet : SVF::SVFLoop
• ICFGEdgeSetTy : SVF::ICFG, SVF::ICFGEdge
• ICFGMergeAdjacentNodes : SVF::Options
• icfgNode : SVF::BaseObjVar
• ICFGNode() : SVF::ICFGNode
• icfgNode : SVF::SVFStmt, SVF::ValVar, SVF::VFGNode
• icfgNode2PTASVFStmtsMap : SVF::SVFIR
• ICFGNode2SVFStmtsMap : SVF::SVFIR
• icfgNode2SVFStmtsMap : SVF::SVFIR
• ICFGNodeIDToNodeMapTy : SVF::ICFG
• ICFGNodeK : SVF::ICFGNode
• ICFGNodePairVector : SVF::CDG
• icfgNodes : SVF::SVFLoop
• ICFGNodesBegin() : SVF::SVFLoop
• ICFGNodesEnd() : SVF::SVFLoop
• ICFGNodeSet : SVF::ICFGStat, SVF::SVFLoop
• ICFGNodeToSVFLoopVec : SVF::ICFG
• icfgNodeToSVFLoopVec : SVF::ICFG
• ICFGNodeVector : SVF::CDG
• ICFGSimplification : SVF::ICFG
• ICFGStat() : SVF::ICFGStat
• ICFGWTO() : SVF::ICFGWTO
• ICFGWTONode : SVF::ICFGWTO
• ICMP_EQ : SVF::CmpStmt
• ICMP_NE : SVF::CmpStmt
• ICMP_SGE : SVF::CmpStmt
• ICMP_SGT : SVF::CmpStmt
• ICMP_SLE : SVF::CmpStmt
• ICMP_SLT : SVF::CmpStmt
• ICMP_UGE : SVF::CmpStmt
• ICMP_UGT : SVF::CmpStmt
• ICMP_ULE : SVF::CmpStmt
• ICMP_ULT : SVF::CmpStmt
• id : SVF::BasicBlockGraph
• ID : SVF::BreakConstantGEPs, SVF::DDAPass, SVF::MergeFunctionRets
• id : SVF::POCRHybridSolver::TreeNode, SVF::SVFValue
• ID : SVF::WPAPass
• id() : SVF::Z3Expr
• idCounter : SVF::PersistentPointsToCache< Data >
• IdToCallSiteMap : SVF::CallGraph
• idToCSMap : SVF::CallGraph
• IdToIdMap : SVF::CSC
• IDToNodeMap : SVF::GenericGraph< NodeTy, EdgeTy >
• IDToNodeMapTy : SVF::GenericGraph< NodeTy, EdgeTy >
• idToObjTypeInfoMap() : SVF::IRGraph
• idToPts : SVF::PersistentPointsToCache< Data >
• idToTermInstMap : SVF::SaberCondAllocator
• IDToTypeInfoMapTy : SVF::IRGraph
• IdxOperandPair : SVF::AccessPath
• idxOperandPairs : SVF::AccessPath
• IdxOperandPairs : SVF::AccessPath
• IgnoreDeadFun : SVF::Options
• IN : SVF::FlowSensitiveStat
• in_cycleDepth_table() : SVF::WTO< GraphT >
• inAddrToAddrsTable() : SVF::AbstractState
• inAddrToValTable() : SVF::AbstractState
• inBackwardSlice() : SVF::ProgSlice, SVF::SVFGStat
• INCDFPTData : SVF::Options
• incEdgeNum() : SVF::GenericGraph< NodeTy, EdgeTy >
• inCFLEdges : SVF::CFLNode
• 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
• incycle : SVF::CxtThread
• indCallSiteToFunPtrMap : SVF::SVFIR
• index() : SVF::SparseBitVectorElement< ElementSize >, SVF::VersionedFlowSensitive::SCC::NodeData
• indexForBit() : SVF::CoreBitVector
• IndexToTermInstMap : SVF::SaberCondAllocator
• indirectCallFunPass() : SVF::AbstractInterpretation
• IndirectCallLimit : SVF::Options
• indirectCallMap : SVF::CallGraph
• indirectCalls : SVF::CallGraphEdge
• indirectCallsBegin() : SVF::CallGraphEdge
• indirectCallsEnd() : SVF::CallGraphEdge
• indirectPropaTime : SVF::FlowSensitive
• IndirectSVFGEdge() : SVF::IndirectSVFGEdge
• indMap : SVF::POCRHybridSolver
• indVFEdgeEnd() : SVF::SVFGStat
• indVFEdgeStart() : SVF::SVFGStat
• InEdgeBegin() : SVF::GenericNode< NodeTy, EdgeTy >
• InEdgeEnd() : SVF::GenericNode< NodeTy, EdgeTy >
• InEdgeKindToSetMap : SVF::SVFVar
• InEdges : 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
• INHERITANCE : SVF::CHEdge, SVF::DCHEdge
• inICFGEdges : SVF::SVFLoop
• 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
• inloop : SVF::CxtThread
• inRecurJoinSites : SVF::TCT
• inSameCallGraphSCC() : SVF::PointerAnalysis, SVF::TCT
• inSCC() : SVF::SCCDetection< GraphType >::GNodeSCCInfo, SVF::SCCDetection< GraphType >
• InsenCycle : SVF::Options
• InsenRecur : SVF::Options
• insensitveEdges : SVF::ContextDDA
• 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
• inst : SVF::CxtStmt, SVF::LoadMU< Cond >, SVF::StoreCHI< Cond >
• inst2LabelMap : SVF::SVFStmt
• Inst2LabelMap : SVF::SVFStmt
• INSTANCE : SVF::DCHEdge
• INSTANTCE : SVF::CHEdge
• instCILocksMap : SVF::LockAnalysis
• InstSet : SVF::LockAnalysis, SVF::MTAStat, SVF::TCT, SVF::ThreadCallGraph
• InstToBlockNodeMap : SVF::LLVMModuleSet
• InstToBlockNodeMapTy : SVF::ICFGBuilder, SVF::LLVMModuleSet
• instTocondCILocksMap : SVF::LockAnalysis
• InstToCxtStmt : SVF::LockAnalysis
• instToCxtStmtSet : SVF::LockAnalysis
• InstToCxtStmtSet : SVF::LockAnalysis
• InstToInstSetMap : SVF::LockAnalysis
• InstToLoopMap : SVF::TCT
• InstToThreadStmtSetMap : SVF::MHP
• instToTSMap : SVF::MHP
• InstVec : SVF::ForkJoinAnalysis, SVF::ICFGBuilder, SVF::LockAnalysis, SVF::TCT
• int2bv : SVF::Z3Expr
• int8Type() : SVF::ObjTypeInference
• InterDisjoint : SVF::MemSSA
• InterDisjointMRG() : SVF::InterDisjointMRG
• InterICFGNode() : SVF::InterICFGNode
• interleavingQueriesTime : SVF::MHP
• interleavingTime : SVF::MHP
• InterMSSAPHISVFGNode() : SVF::InterMSSAPHISVFGNode
• InterPHIVFGNode() : SVF::InterPHIVFGNode
• inters : SVF::InterDisjointMRG
• intersect() : SVF::LockAnalysis
• intersectionCache : SVF::PersistentPointsToCache< Data >
• 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 >
• interval : SVF::AbstractValue
• IntervalValue() : SVF::IntervalValue
• intraBackwardTraverse() : SVF::LockAnalysis
• IntraBlock : SVF::SVFValue
• IntraCF : SVF::ICFGEdge
• IntraCFGEdge() : SVF::IntraCFGEdge
• IntraDirectVF : SVF::VFGEdge
• IntraDirSVFGEdge() : SVF::IntraDirSVFGEdge
• IntraDisjoint : SVF::MemSSA
• IntraDisjointMRG() : SVF::IntraDisjointMRG
• intraForwardTraverse() : SVF::LockAnalysis
• IntraICFGNode() : SVF::IntraICFGNode
• IntraIndirectVF : SVF::VFGEdge
• IntraIndSVFGEdge() : SVF::IntraIndSVFGEdge
• IntraLock : SVF::Options
• IntraMSSAPHISVFGNode() : SVF::IntraMSSAPHISVFGNode
• IntraPHIVFGNode() : SVF::IntraPHIVFGNode
• intrinsic : SVF::FunObjVar
• INTTOPTR : SVF::CopyStmt
• inUpdatedVarMap : SVF::MutableIncDFPTData< Key, KeySet, Data, DataSet >, SVF::PersistentIncDFPTData< Key, KeySet, Data, DataSet >
• inv_child_iterator : SVF::GraphReachSolver< GraphType, DPIm >, SVF::SrcSnkSolver< GraphType, DPIm >
• invalidVersion : SVF::VersionedFlowSensitive
• inVarToAddrsTable() : SVF::AbstractState
• inVarToValTable() : SVF::AbstractState
• Inverse() : SVF::Inverse< GraphType >
• InvGTraits : SVF::GraphReachSolver< GraphType, DPIm >, SVF::SrcSnkSolver< GraphType, DPIm >
• IRGraph() : SVF::IRGraph, SVF::SVFVar
• 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
• isAddrTaken : SVF::FunObjVar
• 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
• IsBidirectional : SVF::iter_facade_base< DerivedT, IteratorCategoryT, T, DifferenceTypeT, PointerT, ReferenceT >
• 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
• isDecl : SVF::FunObjVar
• 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
• isExplicitlySet : Option< T >, OptionMap< T >
• 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
• isLoadMap : 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
• isNotRet : SVF::FunObjVar
• 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
• IsRandomAccess : SVF::iter_facade_base< DerivedT, IteratorCategoryT, T, DifferenceTypeT, PointerT, ReferenceT >
• isReachableBetweenFunctions() : SVF::CallGraph
• isReachableFromProgEntry() : SVF::CallGraphNode
• isReachGlobal() : SVF::ProgSlice
• isRecurFullJoin() : SVF::MHP
• isRecursiveCall() : SVF::AbstractInterpretation
• isRet : SVF::IntraICFGNode
• 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
• isSimple() : SVF::DefaultDOTGraphTraits
• isSingleFieldObj() : SVF::ConstraintGraph
• isSingleValTy : SVF::SVFType
• 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
• isStoreMap : 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
• isThunkFunc : SVF::cppUtil::DemangledName
• isTop() : SVF::AddressValue, SVF::IntervalValue
• isTopLevelPtrStmt() : SVF::DDAVFSolver< CVar, CPtSet, DPIm >
• isUncalled : SVF::FunObjVar
• isUncalledFunction() : SVF::FunObjVar
• isUnconditional() : SVF::BranchStmt
• isUnreachable() : SVF::SVFLoopAndDomInfo
• isValidPointer() : SVF::SVFIR
• isValidTopLevelPtr() : SVF::SVFIR
• isValueCopy() : SVF::CopyStmt
• isValVarKinds() : SVF::SVFValue
• isvararg : SVF::CallICFGNode
• isVarArg() : SVF::CallICFGNode, SVF::FunObjVar, SVF::SVFFunctionType
• isVarArray() : SVF::BaseObjVar, SVF::ObjTypeInfo
• isVariantFieldGep() : SVF::GepStmt
• isVarStruct() : SVF::BaseObjVar, SVF::ObjTypeInfo
• isVFGNodeKinds() : SVF::SVFValue
• isVirCallInst : SVF::CallICFGNode
• 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
• ite : SVF::BoundedDouble, SVF::BoundedInt, SVF::Z3Expr
• Iter : SVF::SparseBitVector< ElementSize >::SparseBitVectorIterator
• iter_adaptor_base() : SVF::iter_adaptor_base< DerivedT, WrappedIteratorT, IteratorCategoryT, T, DifferenceTypeT, PointerT, ReferenceT >
• iter_facade_base : SVF::iter_facade_base< DerivedT, IteratorCategoryT, T, DifferenceTypeT, PointerT, ReferenceT >::ReferenceProxy
• iter_range() : SVF::iter_range< IteratorT >
• iterationForPrintStat : SVF::WPASolver< GraphType >
• iterator : SVF::CDG, SVF::CDGNode, SVF::CondPointsToSet< Cond >, SVF::CondStdSet< Element >, SVF::ConstraintNode, SVF::CoreBitVector, SVF::CSC, SVF::GenericGraph< NodeTy, EdgeTy >, SVF::GenericNode< NodeTy, EdgeTy >, SVF::ICFG, SVF::ICFGNode, SVF::MutablePTData< Key, KeySet, Data, DataSet >, SVF::POCRSolver, SVF::PointsTo, SVF::SparseBitVector< ElementSize >, SVF::VFG, SVF::VFGNode
• Iterator : SVF::WTO< GraphT >, SVF::WTOCycle< GraphT >, SVF::WTOCycleDepth< GraphT >
• iterator_category : SVF::CoreBitVector::CoreBitVectorIterator, SVF::iter_facade_base< DerivedT, IteratorCategoryT, T, DifferenceTypeT, PointerT, ReferenceT >, SVF::PointsTo::PointsToIterator