Here is a list of all functions with links to the classes they belong to:
- g -
- gamma_hat() : SVF::RelationSolver
- gatherAggs() : SVF::DCHGraph
- generateMRs() : SVF::MRGenerator
- generic_bridge_gep_type_iterator() : llvm::generic_bridge_gep_type_iterator< ItTy >
- GenericBug() : SVF::GenericBug
- GenericEdge() : SVF::GenericEdge< NodeTy >
- GenericGraph() : SVF::GenericGraph< NodeTy, EdgeTy >
- GenericNode() : SVF::GenericNode< NodeTy, EdgeTy >
- GepCGEdge() : SVF::GepCGEdge
- GepObjVar() : SVF::GepObjVar
- gepSrcPointeeType() : SVF::AccessPath
- GepStmt() : SVF::GepStmt
- GepValVar() : SVF::GepValVar
- GepVFGNode() : SVF::GepVFGNode
- geq() : SVF::BoundedDouble, SVF::BoundedInt, SVF::IntervalValue
- geqVarToValMap() : SVF::AbstractState
- get() : SVF::NodeIDAllocator
- get_alloc_arg_pos() : SVF::ExtAPI, SVF::LLVMModuleSet
- get_cond() : SVF::CondVar< Cond >
- get_id() : SVF::CondVar< Cond >
- get_numeral_int() : SVF::Z3Expr
- get_numeral_int64() : SVF::Z3Expr
- get_sort() : SVF::Z3Expr
- getAbsStateFromTrace() : SVF::AbsExtAPI, SVF::AbstractInterpretation
- getAccessOffset() : SVF::BufOverflowDetector
- getAccessPath() : SVF::GepStmt, SVF::NormalGepCGEdge
- getAccessPathFromBaseNode() : SVF::SVFIRBuilder
- getActualINDef() : SVF::SVFGOPT
- getActualINSVFGNodes() : SVF::SVFG
- getActualOUTSVFGNodes() : SVF::SVFG
- getActualParmAtForkSite() : SVF::ThreadAPI
- getActualParms() : SVF::CallICFGNode
- getActualParmVFGNode() : SVF::VFG
- getActualPts() : SVF::PersistentPointsToCache< Data >
- getActualRet() : SVF::RetICFGNode
- getActualRetVFGNode() : SVF::VFG
- getAddrCGEdges() : SVF::ConstraintGraph
- getAddrInEdges() : SVF::ConstraintNode
- getAddrOutEdges() : SVF::ConstraintNode
- getAddrs() : SVF::AbstractValue
- getAEInstance() : SVF::AbstractInterpretation
- getAggs() : SVF::DCHGraph
- getAliasMemRegions() : SVF::MRGenerator
- getAllCallSitesInvokingCallee() : SVF::CallGraph
- getAllFieldsObjVars() : SVF::ConstraintGraph, SVF::PointerAnalysis, SVF::SVFIR
- getAllocaInstByteSize() : SVF::AbstractState
- getAllPts() : SVF::MutableDFPTData< Key, KeySet, Data, DataSet >, SVF::MutableDiffPTData< Key, KeySet, Data, DataSet >, SVF::MutablePTData< Key, KeySet, Data, DataSet >, SVF::MutableVersionedPTData< Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet >, SVF::PersistentDFPTData< Key, KeySet, Data, DataSet >, SVF::PersistentDiffPTData< Key, KeySet, Data, DataSet >, SVF::PersistentPointsToCache< Data >, SVF::PersistentPTData< Key, KeySet, Data, DataSet >, SVF::PersistentVersionedPTData< Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet >, SVF::PTData< Key, KeySet, Data, DataSet >
- getAllValidPtrs() : SVF::PointerAnalysis, SVF::SVFIR
- getAnalysisTy() : SVF::PointerAnalysis
- getAncestorThread() : SVF::TCT
- getAndersenAnalysis() : SVF::DDAVFSolver< CVar, CPtSet, DPIm >
- getArg() : SVF::FunObjVar
- getArgNo() : SVF::ArgValVar
- getArgPosInCall() : SVF::ObjTypeInference
- getArgument() : SVF::CallICFGNode
- getArrSize() : SVF::AddrStmt
- getAttributedKind() : SVF::GrammarBase
- getAttrSyms() : SVF::GrammarBase
- getBackwardSliceSize() : SVF::ProgSlice
- getBaseMemObj() : SVF::BaseObjVar
- getBaseNode() : SVF::GepObjVar, SVF::GepValVar
- getBaseObj() : SVF::GepObjVar
- getBaseObject() : SVF::SVFIR
- getBaseObjVar() : SVF::ConstraintGraph, SVF::PointerAnalysis, SVF::SVFIR
- getBaseTypeAndFlattenedFields() : SVF::SVFIRBuilder
- getBaseValueForExtArg() : SVF::SVFIRBuilder
- getBaseValVar() : SVF::SVFIR
- getBasicBlock() : SVF::CallCHI< Cond >, SVF::CallMU< Cond >, SVF::LoadMU< Cond >, SVF::MSSAPHI< Cond >, SVF::StoreCHI< Cond >
- getBasicBlockGraph() : SVF::FunObjVar
- getBB() : SVF::ICFGNode, SVF::SVFStmt
- getBB2PIdom() : SVF::SVFLoopAndDomInfo
- getBBPDomLevel() : SVF::SVFLoopAndDomInfo
- getBBPhiNum() : SVF::MemSSA
- getBBPredecessorPos() : SVF::SVFBasicBlock
- getBBSuccessorBranchID() : SVF::CDGBuilder
- getBBSuccessorPos() : SVF::SVFBasicBlock
- getBBToPhiSetMap() : SVF::MemSSA
- getBinaryOPVFGNode() : SVF::VFG
- getBlackHoleNode() : SVF::ConstraintGraph, SVF::IRGraph
- getBlkPtr() : SVF::IRGraph
- getBlockTrace() : SVF::AEStat
- getBranchCond() : SVF::SaberCondAllocator
- getBranchConditions() : SVF::CDGEdge
- getBranchInst() : SVF::BranchStmt
- getBranchStmt() : SVF::BranchVFGNode
- getBranchVFGNode() : SVF::VFG
- getBugDescription() : SVF::BufferOverflowBug, SVF::DoubleFreeBug, SVF::FileNeverCloseBug, SVF::FilePartialCloseBug, SVF::FullNullPtrDereferenceBug, SVF::GenericBug, SVF::NeverFreeBug, SVF::PartialLeakBug, SVF::PartialNullPtrDereferenceBug
- getBugReport() : SVF::SrcSnkDDA
- getBugSet() : SVF::SVFBugReport
- getBugType() : SVF::GenericBug
- getBVPointsTo() : SVF::CondPTAImpl< Cond >
- getByteOffset() : SVF::AbstractState
- getByteSize() : SVF::SVFType
- getByteSizeOfObj() : SVF::BaseObjVar, SVF::ObjTypeInfo
- getCachedADPointsTo() : SVF::DDAVFSolver< CVar, CPtSet, DPIm >
- getCachedPointsTo() : SVF::DDAVFSolver< CVar, CPtSet, DPIm >
- getCachedTLPointsTo() : SVF::DDAVFSolver< CVar, CPtSet, DPIm >, SVF::FlowDDA
- getCallBlock() : SVF::LLVMModuleSet
- getCalledFunction() : SVF::CallICFGNode
- getCallEdgeBegin() : SVF::CallGraph
- getCallEdgeEnd() : SVF::CallGraph
- getCallee() : SVF::ForkJoinAnalysis, SVF::MHP
- getCalleeOfCallSite() : SVF::CallGraph
- getCallees() : SVF::CallGraph
- getCaller() : SVF::ActualRetVFGNode, SVF::CallICFGNode
- getCallerOfCallSite() : SVF::CallGraph
- getCallGraph() : SVF::PointerAnalysis
- getCallgraph() : SVF::SrcSnkDDA
- getCallGraph() : SVF::SVFIR, SVF::VFG
- getCallGraphNode() : SVF::CallGraph, SVF::RetValPN
- getCallGraphSCC() : SVF::PointerAnalysis
- getCallGraphSCCRepNode() : SVF::PointerAnalysis
- getCallICFGNode() : SVF::ICFGBuilder, SVF::LLVMModuleSet, SVF::RetICFGNode
- getCallInst() : SVF::CallPE, SVF::RetPE
- getCallInstToCallGraphEdgesMap() : SVF::CallGraph
- getCallPEs() : SVF::CallCFGEdge
- getCallSite() : SVF::ActualINSVFGNode, SVF::ActualOUTSVFGNode, SVF::ActualParmVFGNode, SVF::ActualRetVFGNode, SVF::CallCFGEdge, SVF::CallCHI< Cond >, SVF::CallGraph, SVF::CallMU< Cond >, SVF::CallPE, SVF::InterMSSAPHISVFGNode, SVF::InterPHIVFGNode, SVF::ProgSlice, SVF::RetCFGEdge, SVF::RetPE, SVF::VFG
- getCallSiteArgsList() : SVF::SVFIR
- getCallSiteArgsMap() : SVF::SVFIR
- getCallSiteArgsPts() : SVF::MRGenerator
- getCallSiteChiNum() : SVF::MemSSA
- getCallSiteId() : SVF::CallDirSVFGEdge
- getCallSiteID() : SVF::CallGraph, SVF::CallGraphEdge
- getCallSiteId() : SVF::CallIndSVFGEdge, SVF::RetDirSVFGEdge, SVF::RetIndSVFGEdge
- getCallSiteID() : SVF::VFG
- getCallSiteModMRSet() : SVF::MRGenerator
- getCallSiteMuNum() : SVF::MemSSA
- getCallSitePair() : SVF::CallGraph
- getCallSiteRefMRSet() : SVF::MRGenerator
- getCallSiteRet() : SVF::SVFIR
- getCallSiteRetPts() : SVF::MRGenerator
- getCallSiteRets() : SVF::SVFIR
- getCallSiteSet() : SVF::SVFIR
- getCallSiteToChiSetMap() : SVF::MemSSA
- getCallSiteToMuSetMap() : SVF::MemSSA
- getCandidateQueries() : SVF::DDAClient, SVF::DDAVFSolver< CVar, CPtSet, DPIm >
- getCandidates() : SVF::WPAMinimumSolver< GraphType >
- getCanonicalType() : SVF::DCHGraph
- getCDG() : SVF::CDG
- getCDGEdge() : SVF::CDG
- getCDGNode() : SVF::CDG
- getCDN() : SVF::WTO< GraphT >
- getCFCond() : SVF::SaberCondAllocator
- getCFLEdges() : SVF::CFLGraph
- getCFLGraph() : SVF::CFLBase
- getCFLPts() : SVF::CFLAlias
- getCheckerAPI() : SVF::SaberCheckerAPI
- getCHG() : SVF::SVFIR
- getCHGraph() : SVF::PointerAnalysis
- getChildrenBegin() : SVF::TCT
- getChildrenEnd() : SVF::TCT
- getCHISet() : SVF::MemSSA
- getClk() : SVF::SVFStat
- getCmpVFGNode() : SVF::VFG
- getCompleteNodeLabel() : SVF::DOTGraphTraits< SVFG * >, SVF::DOTGraphTraits< VFG * >
- getCond() : SVF::CxtStmtDPItem< LocCond >, SVF::MSSACHI< Cond >, SVF::MSSAMU< Cond >, SVF::MSSAPHI< Cond >
- getCondInst() : SVF::SaberCondAllocator
- getCondition() : SVF::BranchStmt, SVF::IntraCFGEdge, SVF::SelectStmt
- getCondNum() : SVF::SaberCondAllocator
- getCondPointsTo() : SVF::CondPTAImpl< Cond >
- getCondVar() : SVF::CxtStmtDPItem< LocCond >
- getConservativeCPts() : SVF::ContextDDA, SVF::DDAVFSolver< CVar, CPtSet, DPIm >, SVF::FlowDDA
- getConstantFieldIdx() : SVF::DCHEdge, SVF::GepObjVar, SVF::GepValVar, SVF::NormalGepCGEdge
- getConstantNode() : SVF::IRGraph
- getConstantStructFldIdx() : SVF::AccessPath, SVF::GepStmt
- getConstraintGraph() : SVF::AndersenBase
- getConstraintNode() : SVF::ConstraintGraph
- getConsume() : SVF::VersionedFlowSensitive
- getContext() : SVF::CxtProc, SVF::CxtStmt, SVF::CxtThread, SVF::LLVMModuleSet, SVF::RelExeState, SVF::Z3Expr, SymblicAbstractionTest
- getContexts() : SVF::ContextCond, SVF::CxtDPItem
- getCopyInEdges() : SVF::ConstraintNode
- getCopyKind() : SVF::CopyStmt, SVF::SVFIRBuilder
- getCopyOutEdges() : SVF::ConstraintNode
- getCSClasses() : SVF::CHGBuilder
- getCSIDAtCall() : SVF::ContextDDA
- getCSIDAtRet() : SVF::ContextDDA
- getCSStaticType() : SVF::DCHGraph
- getCSTCLS() : SVF::LockAnalysis
- getCSVFsBasedonCHA() : SVF::CHGraph, SVF::CommonCHGraph, SVF::DCHGraph
- getCSVtblsBasedonCHA() : SVF::CHGraph, SVF::CommonCHGraph, SVF::DCHGraph
- getCurEvalSVFGNode() : SVF::SaberCondAllocator
- getCurNodeID() : SVF::DPItem
- getCurrent() : SVF::mapped_iter< ItTy, FuncTy, FuncReturnTy >
- getCurrentBB() : SVF::SVFIRBuilder
- getCurrentBestNodeMapping() : SVF::PointsTo
- getCurrentBestReverseNodeMapping() : SVF::PointsTo
- getCurrentValue() : SVF::SVFIRBuilder
- getCurSlice() : SVF::SrcSnkDDA
- getCurSVFGNode() : SVF::ProgSlice
- getCxtLockfromCxtStmt() : SVF::LockAnalysis
- getCxtOfCxtThread() : SVF::TCT
- getCxtStmtfromInst() : SVF::LockAnalysis
- getCxtThread() : SVF::TCTNode
- getDef() : SVF::MRVer, SVF::SVFG, SVF::VFG
- getDefFunForMultipleModule() : SVF::FunObjVar
- getDefSVFGNode() : SVF::DDAVFSolver< CVar, CPtSet, DPIm >, SVF::SVFG
- getDefSVFVars() : SVF::ActualParmVFGNode, SVF::ActualRetVFGNode, SVF::AddrVFGNode, SVF::BinaryOPVFGNode, SVF::BranchVFGNode, SVF::CmpVFGNode, SVF::CopyVFGNode, SVF::DummyVersionPropSVFGNode, SVF::FormalParmVFGNode, SVF::FormalRetVFGNode, SVF::GepVFGNode, SVF::LoadVFGNode, SVF::MRSVFGNode, SVF::NullPtrVFGNode, SVF::PHIVFGNode, SVF::StoreVFGNode, SVF::UnaryOPVFGNode, SVF::VFGNode
- getDefVFGNode() : SVF::VFG
- getDescendants() : SVF::CHGraph
- getDFIn() : SVF::MutableDFPTData< Key, KeySet, Data, DataSet >
- getDFInPtIdRef() : SVF::PersistentDFPTData< Key, KeySet, Data, DataSet >
- getDFInPtsMap() : SVF::MutableDFPTData< Key, KeySet, Data, DataSet >
- getDFInPtsSet() : SVF::DFPTData< Key, KeySet, Data, DataSet >, SVF::FlowSensitive, SVF::MutableDFPTData< Key, KeySet, Data, DataSet >, SVF::PersistentDFPTData< Key, KeySet, Data, DataSet >
- getDFInputMap() : SVF::FlowSensitive
- getDFInUpdatedVar() : SVF::MutableIncDFPTData< Key, KeySet, Data, DataSet >, SVF::PersistentIncDFPTData< Key, KeySet, Data, DataSet >
- getDFOut() : SVF::MutableDFPTData< Key, KeySet, Data, DataSet >
- getDFOutPtIdRef() : SVF::PersistentDFPTData< Key, KeySet, Data, DataSet >
- getDFOutPtsMap() : SVF::MutableDFPTData< Key, KeySet, Data, DataSet >
- getDFOutPtsSet() : SVF::DFPTData< Key, KeySet, Data, DataSet >, SVF::FlowSensitive, SVF::MutableDFPTData< Key, KeySet, Data, DataSet >, SVF::PersistentDFPTData< Key, KeySet, Data, DataSet >
- getDFOutputMap() : SVF::FlowSensitive
- getDFOutUpdatedVar() : SVF::MutableIncDFPTData< Key, KeySet, Data, DataSet >, SVF::PersistentIncDFPTData< Key, KeySet, Data, DataSet >
- getDFPTDataTy() : SVF::BVDataPTAImpl
- getDiffPTDataTy() : SVF::BVDataPTAImpl
- getDiffPts() : SVF::Andersen, SVF::DiffPTData< Key, KeySet, Data, DataSet >, SVF::MutableDiffPTData< Key, KeySet, Data, DataSet >, SVF::PersistentDiffPTData< Key, KeySet, Data, DataSet >
- getDirAndIndJoinedTid() : SVF::ForkJoinAnalysis, SVF::MHP
- getDirCallSitesInvokingCallee() : SVF::CallGraph
- getDirectCalls() : SVF::CallGraphEdge
- getDirectCGEdges() : SVF::ConstraintGraph
- getDirectInEdges() : SVF::ConstraintNode
- getDirectlyJoinedTid() : SVF::ForkJoinAnalysis
- getDirectOutEdges() : SVF::ConstraintNode
- getDistanceMatrix() : SVF::NodeIDAllocator::Clusterer
- getDIType() : SVF::DCHNode
- getDomFrontierMap() : SVF::FunObjVar, SVF::SVFLoopAndDomInfo
- getDomTree() : SVF::LLVMModuleSet
- getDomTreeMap() : SVF::FunObjVar, SVF::SVFLoopAndDomInfo
- getDPIm() : SVF::DDAVFSolver< CVar, CPtSet, DPIm >
- getDPImWithOldCond() : SVF::DDAVFSolver< CVar, CPtSet, DPIm >
- getDpmSetAtLoc() : SVF::DDAVFSolver< CVar, CPtSet, DPIm >
- getDstID() : SVF::AssignStmt, SVF::BranchStmt, SVF::GenericEdge< NodeTy >, SVF::MultiOpndStmt, SVF::UnaryOPStmt
- getDstNode() : SVF::AssignStmt, SVF::BranchStmt, SVF::GenericEdge< NodeTy >, SVF::MultiOpndStmt, SVF::UnaryOPStmt
- getEBNFSigns() : SVF::GrammarBase
- getEC() : SVF::Steensgaard
- getEdge() : SVF::ConstraintGraph
- getEdgeAttri() : SVF::CFLEdge
- getEdgeAttributes() : SVF::DefaultDOTGraphTraits, SVF::DOTGraphTraits< CallGraph * >, SVF::DOTGraphTraits< CFLGraph * >, SVF::DOTGraphTraits< CHGraph * >, SVF::DOTGraphTraits< ConstraintGraph * >, SVF::DOTGraphTraits< ICFG * >, SVF::DOTGraphTraits< IRGraph * >, SVF::DOTGraphTraits< SVF::CDG * >, SVF::DOTGraphTraits< SVFG * >, SVF::DOTGraphTraits< TCT * >, SVF::DOTGraphTraits< VFG * >
- getEdgeDestLabel() : SVF::DefaultDOTGraphTraits
- getEdgeID() : SVF::ConstraintEdge, SVF::SVFStmt
- getEdgeKind() : SVF::CFLEdge, SVF::GenericEdge< NodeTy >
- getEdgeKindWithMask() : SVF::CFLEdge
- getEdgeKindWithoutMask() : SVF::GenericEdge< NodeTy >
- getEdgeSourceLabel() : SVF::DefaultDOTGraphTraits, SVF::DOTGraphTraits< CallGraph * >, SVF::DOTGraphTraits< CFLGraph * >, SVF::DOTGraphTraits< ConstraintGraph * >, SVF::DOTGraphTraits< ICFG * >, SVF::DOTGraphTraits< IRGraph * >, SVF::DOTGraphTraits< SVF::CDG * >, SVF::DOTGraphTraits< SVFG * >, SVF::DOTGraphTraits< VFG * >
- getEdgeSourceLabels() : SVF::GraphWriter< GraphType >
- getEdgeTarget() : SVF::DefaultDOTGraphTraits
- getEdgeType() : SVF::CHEdge
- getElementIndex() : SVF::AbstractState
- getElementNum() : SVF::AccessPath
- getElementSet() : SVF::CondStdSet< Element >
- getEntryBlock() : SVF::FunObjVar
- getEntryNode() : SVF::GenericGraphTraits< Inverse< SVF::GenericNode< NodeTy, EdgeTy > * > >, SVF::GenericGraphTraits< SVF::GenericGraph< NodeTy, EdgeTy > * >, SVF::GenericGraphTraits< SVF::GenericNode< NodeTy, EdgeTy > * >
- getEntryProcs() : SVF::TCT
- getEpsilonProds() : SVF::CFGrammar
- getEscapObjviaGlobals() : SVF::MRGenerator
- getEvalBrCond() : SVF::SaberCondAllocator
- getEventDescription() : SVF::SVFBugEvent
- getEventLoc() : SVF::SVFBugEvent
- getEventStack() : SVF::GenericBug
- getEventType() : SVF::SVFBugEvent
- getExitBB() : SVF::FunObjVar
- getExitBlocksOfLoop() : SVF::FunObjVar, SVF::SVFLoopAndDomInfo
- getExitInstOfParentRoutineFun() : SVF::ForkJoinAnalysis
- getExpr() : SVF::Z3Expr
- getExprSize() : SVF::Z3Expr
- getExtAPI() : SVF::ExtAPI
- getExtBcPath() : SVF::ExtAPI
- getExternalNode() : SVF::PointsTo
- getExtFuncAnnotation() : SVF::ExtAPI, SVF::LLVMModuleSet
- getExtFuncAnnotations() : SVF::ExtAPI, SVF::LLVMModuleSet
- getFalseCond() : SVF::ProgSlice, SVF::SaberCondAllocator, SVF::Z3Expr
- getFalseValue() : SVF::SelectStmt
- getFieldObjNodeNum() : SVF::SVFIR
- getFieldsAfterCollapse() : SVF::SVFIR
- getFieldType() : SVF::DCHGraph
- getFieldTypes() : SVF::DCHGraph
- getFieldValNodeNum() : SVF::SVFIR
- getFileName() : SVF::PAGBuilderFromFile
- getFilledProductions() : SVF::CFGNormalizer
- getFIObjVar() : SVF::ConstraintGraph, SVF::PointerAnalysis, SVF::SVFIR
- getFirstRHSSymbol() : SVF::CFGrammar
- getFirstRHSToProds() : SVF::CFGrammar
- getFlattenedElemIdx() : SVF::IRGraph
- getFlattenedElemIdxVec() : SVF::StInfo
- getFlattenedFieldIdxVec() : SVF::StInfo
- getFlattenElementTypes() : SVF::StInfo
- getFlattenFieldTypes() : SVF::IRGraph, SVF::StInfo
- getFlatternedElemType() : SVF::IRGraph
- getForkedFun() : SVF::ThreadAPI
- getForkEdgeBegin() : SVF::ThreadCallGraph
- getForkEdgeEnd() : SVF::ThreadCallGraph
- getForkedThread() : SVF::ForkJoinAnalysis, SVF::ThreadAPI
- getFormalINSVFGNodes() : SVF::SVFG
- getFormalOUTDef() : SVF::SVFGOPT
- getFormalOUTSVFGNodes() : SVF::SVFG
- getFormalParmOfForkedFun() : SVF::ThreadAPI
- getFormalParms() : SVF::FunEntryICFGNode
- getFormalParmVFGNode() : SVF::VFG
- getFormalRet() : SVF::FunExitICFGNode
- getFormalRetVFGNode() : SVF::VFG
- getForwardSliceSize() : SVF::ProgSlice
- getFPValue() : SVF::ConstFPObjVar, SVF::ConstFPValVar
- getFun() : SVF::FormalParmVFGNode, SVF::FormalRetVFGNode, SVF::FunEntryICFGNode, SVF::FunExitICFGNode, SVF::ICFGNode, SVF::InterMSSAPHISVFGNode, SVF::InterPHIVFGNode, SVF::VFGNode
- getFunArgsList() : SVF::SVFIR
- getFunArgsMap() : SVF::SVFIR
- getFuncEntryChiSet() : SVF::MemSSA
- getFuncName() : SVF::GenericBug, SVF::SVFBugEvent
- getFunction() : SVF::ArgValVar, SVF::BaseObjVar, SVF::CallGraphNode, SVF::EntryCHI< Cond >, SVF::FunObjVar, SVF::FunValVar, SVF::GepObjVar, SVF::GepValVar, SVF::LLVMModuleSet, SVF::MRGenerator, SVF::RetMU< Cond >, SVF::RetValPN, SVF::SVFBasicBlock, SVF::SVFVar, SVF::ValVar, SVF::VarArgValPN
- getFunctionSet() : SVF::LLVMModuleSet
- getFunctionTrace() : SVF::AEStat
- getFunctionType() : SVF::FunObjVar
- getFunEntryBlock() : SVF::ICFG, SVF::LLVMModuleSet
- getFunEntryChiNum() : SVF::MemSSA
- getFunEntryICFGNode() : SVF::CallPE, SVF::ICFG, SVF::ICFGBuilder, SVF::LLVMModuleSet
- getFunEntryNode() : SVF::FormalINSVFGNode
- getFunExitBB() : SVF::LLVMModuleSet
- getFunExitBlock() : SVF::ICFG, SVF::LLVMModuleSet
- getFunExitICFGNode() : SVF::ICFG, SVF::ICFGBuilder, SVF::LLVMModuleSet, SVF::RetPE
- getFunExitNode() : SVF::FormalOUTSVFGNode
- getFunIdxInVtable() : SVF::CallICFGNode
- getFunMRSet() : SVF::MRGenerator
- getFunNameOfVirtualCall() : SVF::CallICFGNode
- getFunObjVar() : SVF::LLVMModuleSet, SVF::SVFIR
- getFunPtr() : SVF::PointerAnalysis, SVF::SVFIR
- getFunRet() : SVF::SVFIR
- getFunRetMuNum() : SVF::MemSSA
- getFunRets() : SVF::SVFIR
- getFunToEntryChiSetMap() : SVF::MemSSA
- getFunToPointsToList() : SVF::MRGenerator
- getFunToRetMuSetMap() : SVF::MemSSA
- getFVal() : SVF::BoundedDouble, SVF::BoundedInt
- getGepInEdges() : SVF::ConstraintNode
- getGepObjAddrs() : SVF::AbstractState
- getGepObjNodeMap() : SVF::SVFIR
- getGepObjOffsetFromBase() : SVF::BufOverflowDetector
- getGepObjVar() : SVF::ConstraintGraph, SVF::PointerAnalysis, SVF::SVFIR
- getGepOutEdges() : SVF::ConstraintNode
- getGepValVar() : SVF::SVFIR, SVF::SVFIRBuilder
- getGlobalICFGNode() : SVF::ICFG, SVF::ICFGBuilder
- getGlobalRep() : SVF::LLVMModuleSet
- getGlobalSVFStmtSet() : SVF::SVFIR
- getGlobalVarField() : SVF::SVFIRBuilder
- getGlobalVFGNodes() : SVF::VFG
- getGNode() : SVF::GenericGraph< NodeTy, EdgeTy >
- getGrammar() : SVF::CFLSolver
- getGraph() : SVF::CFLSolver
- getGraphEdge() : SVF::CallGraph, SVF::TCT
- getGraphName() : SVF::DefaultDOTGraphTraits, SVF::DOTGraphTraits< CallGraph * >, SVF::DOTGraphTraits< CFLGraph * >, SVF::DOTGraphTraits< CHGraph * >, SVF::DOTGraphTraits< ConstraintGraph * >, SVF::DOTGraphTraits< ICFG * >, SVF::DOTGraphTraits< IRGraph * >, SVF::DOTGraphTraits< SVF::CDG * >, SVF::DOTGraphTraits< SVFG * >, SVF::DOTGraphTraits< TCT * >, SVF::DOTGraphTraits< VFG * >, SVF::IRGraph
- getGraphProperties() : SVF::DefaultDOTGraphTraits
- getICFG() : SVF::PointerAnalysis, SVF::SaberCondAllocator, SVF::SVFIR
- getICFGEdge() : SVF::ICFG
- getICFGNode() : SVF::BaseObjVar, SVF::CDGNode, SVF::ICFG, SVF::ICFGBuilder, SVF::LLVMModuleSet, SVF::SVFStmt, SVF::ValVar, SVF::VFGNode, SVF::WTONode< GraphT >
- getICFGNodeList() : SVF::SVFBasicBlock
- getIcfgNodeToSVFLoopVec() : SVF::ICFG
- getICFGNodeTrace() : SVF::AEStat
- getId() : SVF::BaseObjVar
- getID() : SVF::MRVer
- getId() : SVF::SVFValue
- getIdxOperandPairVec() : SVF::AccessPath
- getImplTy() : SVF::PointerAnalysis
- getIncomingEdges() : SVF::SVFVar
- getIncomingEdgesBegin() : SVF::SVFVar
- getIncomingEdgesEnd() : SVF::SVFVar
- getIndCallMap() : SVF::CallGraph, SVF::PointerAnalysis
- getIndCallSites() : SVF::SVFIR
- getIndCallSitesInvokingCallee() : SVF::CallGraph
- getIndCSCallees() : SVF::CallGraph, SVF::PointerAnalysis
- getIndexedType() : llvm::generic_bridge_gep_type_iterator< ItTy >
- getIndirectCalls() : SVF::CallGraphEdge
- getIndirectCallsites() : SVF::ConstraintGraph, SVF::PointerAnalysis, SVF::SVFIR
- getInEdges() : SVF::GenericNode< NodeTy, EdgeTy >
- getInEdgeWithTy() : SVF::CFLNode
- getInsensitiveEdgeSet() : SVF::ContextDDA
- getInstances() : SVF::CHGraph
- getInstancesAndDescendants() : SVF::CHGBuilder
- getInterleavingThreads() : SVF::MHP
- getInternalID() : SVF::AbstractState, SVF::AddressValue, SVF::RelExeState
- getInternalNode() : SVF::PointsTo
- getIntersList() : SVF::IntraDisjointMRG
- getInterval() : SVF::AbstractValue
- getInterVFEdgeAtIndCSFromAInToFIn() : SVF::SVFG
- getInterVFEdgeAtIndCSFromAPToFP() : SVF::SVFG
- getInterVFEdgeAtIndCSFromFOutToAOut() : SVF::SVFG
- getInterVFEdgeAtIndCSFromFRToAR() : SVF::SVFG
- getInterVFEdgesForIndirectCallSite() : SVF::SVFG
- getIntNumeral() : SVF::BoundedDouble, SVF::BoundedInt, SVF::IntervalValue
- getIntraBlock() : SVF::LLVMModuleSet
- getIntraICFGNode() : SVF::ICFGBuilder, SVF::LLVMModuleSet
- getIntraLockSet() : SVF::LockAnalysis
- getIntraPAGEdge() : SVF::SVFIR
- getIntraPHIVFGNode() : SVF::VFG
- getIntraVFGEdge() : SVF::VFG
- getJoinEdgeBegin() : SVF::ThreadCallGraph
- getJoinEdgeEnd() : SVF::ThreadCallGraph
- getJoinedThread() : SVF::ForkJoinAnalysis, SVF::ThreadAPI
- getJoinInSymmetricLoop() : SVF::ForkJoinAnalysis, SVF::MHP
- getJoinLoop() : SVF::ForkJoinAnalysis, SVF::TCT
- getJoinSites() : SVF::ThreadCallGraph
- getKind() : SVF::AEDetector, SVF::CallGraph, SVF::CommonCHGraph, SVF::SVFType, SVF::VFG, SVF::WTOComponent< GraphT >
- getKindToAttrsMap() : SVF::CFLGraphBuilder, SVF::GrammarBase
- getKindToLabelMap() : SVF::CFLGraphBuilder
- getLabelToKindMap() : SVF::CFLGraphBuilder
- getLHSSymbol() : SVF::CFGrammar
- getLHSTopLevPtr() : SVF::VFG
- getLHSVar() : SVF::AssignStmt
- getLHSVarID() : SVF::AssignStmt
- getLLVMCtx() : SVF::ObjTypeInference
- getLLVMGlobalFunctions() : SVF::LLVMModuleSet
- getLLVMModules() : SVF::LLVMModuleSet
- getLLVMModuleSet() : SVF::LLVMModuleSet
- getLLVMType() : SVF::LLVMModuleSet
- getLLVMValue() : SVF::LLVMModuleSet
- getLoadCGEdges() : SVF::ConstraintGraph
- getLoadCVar() : SVF::DDAVFSolver< CVar, CPtSet, DPIm >
- getLoadDpm() : SVF::DDAVFSolver< CVar, CPtSet, DPIm >
- getLoadInEdges() : SVF::ConstraintNode
- getLoadMRSet() : SVF::MRGenerator
- getLoadMuNum() : SVF::MemSSA
- getLoadOutEdges() : SVF::ConstraintNode
- getLoadStmt() : SVF::LoadMU< Cond >
- getLoadToMUSetMap() : SVF::MemSSA
- getLoc() : SVF::GenericBug, SVF::StmtDPItem< LocCond >
- getLockAnalysis() : SVF::MTA
- getLockVal() : SVF::LockAnalysis, SVF::ThreadAPI
- getLocToDPMVecMap() : SVF::DDAVFSolver< CVar, CPtSet, DPIm >
- getLocToVal() : SVF::AbstractState, SVF::RelExeState
- getLoop() : SVF::TCT
- getLoopAndDomInfo() : SVF::FunObjVar
- getLoopBound() : SVF::SVFLoop
- getLoopHeader() : SVF::FunObjVar, SVF::SVFLoopAndDomInfo
- getLoopInfo() : SVF::FunObjVar, SVF::SVFLoopAndDomInfo
- getMainLLVMModule() : SVF::LLVMModuleSet
- getMakredProcs() : SVF::TCT
- getMarkedFlag() : SVF::ForkJoinAnalysis
- getMaxBudget() : SVF::DPItem
- getMaxCxtSize() : SVF::TCT
- getMaxFieldOffsetLimit() : SVF::BaseObjVar, SVF::ObjTypeInfo
- getMaxPathLen() : SVF::ContextCond
- getMaxStructSize() : SVF::IRGraph
- getMemToFieldsMap() : SVF::SVFIR
- getMemUsage() : SVF::AEStat, SVF::SaberCondAllocator
- getMHP() : SVF::MTA
- getModInfoForCall() : SVF::MRGenerator
- getModRefInfo() : SVF::MRGenerator, SVF::WPAPass
- getModSideEffectOfCallSite() : SVF::MRGenerator
- getModSideEffectOfFunction() : SVF::MRGenerator
- getModule() : SVF::LLVMModuleSet
- getModuleIdentifier() : SVF::SVFIR
- getModuleNum() : SVF::LLVMModuleSet
- getModuleRef() : SVF::LLVMModuleSet
- getModulusOffset() : SVF::IRGraph
- getMR() : SVF::MRGenerator, SVF::MRVer, SVF::MSSADEF, SVF::MSSAMU< Cond >
- getMRGenerator() : SVF::MemSSA
- getMRID() : SVF::MemRegion
- getMRNum() : SVF::MRGenerator
- getMRSet() : SVF::MRGenerator
- getMRsForCallSiteRef() : SVF::DistinctMRG, SVF::IntraDisjointMRG, SVF::MRGenerator
- getMRsForLoad() : SVF::DistinctMRG, SVF::InterDisjointMRG, SVF::IntraDisjointMRG, SVF::MRGenerator
- getMRsForLoadFromInterList() : SVF::IntraDisjointMRG
- getMRVer() : SVF::ActualINSVFGNode, SVF::ActualOUTSVFGNode, SVF::FormalINSVFGNode, SVF::FormalOUTSVFGNode, SVF::IntraMSSAPHISVFGNode, SVF::MSSAMU< Cond >
- getMRVERFromString() : SVF::SVFG
- getMSSA() : SVF::SVFG
- getMUSet() : SVF::MemSSA
- getMutDFPTDataTy() : SVF::BVDataPTAImpl
- getMutPTDataTy() : SVF::CondPTAImpl< Cond >
- getName() : SVF::CallGraphNode, SVF::CHNode, SVF::DCHNode, SVF::SVFStructType, SVF::SVFValue
- getNextCollapseNode() : SVF::ConstraintGraph
- getNode() : SVF::CHGraph, SVF::DCHGraph, SVF::GenericGraphTraits< SVF::GenericGraph< NodeTy, EdgeTy > * >, SVF::GraphReachSolver< GraphType, DPIm >, SVF::SrcSnkSolver< GraphType, DPIm >
- getNode_h() : SVF::POCRHybridSolver
- getNodeAttributes() : SVF::DefaultDOTGraphTraits, SVF::DOTGraphTraits< CallGraph * >, SVF::DOTGraphTraits< CFLGraph * >, SVF::DOTGraphTraits< CHGraph * >, SVF::DOTGraphTraits< ConstraintGraph * >, SVF::DOTGraphTraits< ICFG * >, SVF::DOTGraphTraits< IRGraph * >, SVF::DOTGraphTraits< SVF::CDG * >, SVF::DOTGraphTraits< SVFG * >, SVF::DOTGraphTraits< TCT * >, SVF::DOTGraphTraits< VFG * >
- getNodeDescription() : SVF::DefaultDOTGraphTraits
- getNodeID() : SVF::GenericGraphTraits< Inverse< SVF::GenericNode< NodeTy, EdgeTy > * > >, SVF::GenericGraphTraits< SVF::GenericGraph< NodeTy, EdgeTy > * >
- getNodeIdentifierLabel() : SVF::DefaultDOTGraphTraits
- getNodeIDFromItem() : SVF::GraphReachSolver< GraphType, DPIm >, SVF::SrcSnkSolver< GraphType, DPIm >
- getNodeKind() : SVF::SVFValue
- getNodeLabel() : SVF::DefaultDOTGraphTraits, SVF::DOTGraphTraits< CallGraph * >, SVF::DOTGraphTraits< CFLGraph * >, SVF::DOTGraphTraits< CHGraph * >, SVF::DOTGraphTraits< ConstraintGraph * >, SVF::DOTGraphTraits< ICFG * >, SVF::DOTGraphTraits< IRGraph * >, SVF::DOTGraphTraits< SVF::CDG * >, SVF::DOTGraphTraits< SVFG * >, SVF::DOTGraphTraits< TCT * >, SVF::DOTGraphTraits< VFG * >
- getNodeMapping() : SVF::PointsTo
- getNodeNumAfterPAGBuild() : SVF::IRGraph
- getNonterminals() : SVF::GrammarBase
- getNullPtr() : SVF::IRGraph
- getNumArgOperands() : SVF::CallICFGNode
- getNumeral() : SVF::BoundedDouble, SVF::BoundedInt, SVF::IntervalValue
- getNumFields() : SVF::DCHGraph
- getNumObjects() : SVF::NodeIDAllocator
- getNumOfCxtLocks() : SVF::LockAnalysis
- getNumOfElements() : SVF::BaseObjVar, SVF::ObjTypeInfo, SVF::SymbolTableBuilder
- getNumOfFlattenElements() : SVF::IRGraph, SVF::StInfo, SVF::SymbolTableBuilder
- getNumOfFlattenFields() : SVF::StInfo
- getNumOfForksite() : SVF::ThreadCallGraph
- getNumOfJoinsite() : SVF::ThreadCallGraph
- getNumOfOOBQuery() : SVF::DDAStat
- getNumOfParForSite() : SVF::ThreadCallGraph
- getNumOfResolvedIndCallEdge() : SVF::CallGraph, SVF::PointerAnalysis
- getNumSuccessors() : SVF::BranchStmt, SVF::BranchVFGNode, SVF::SVFBasicBlock
- getObject() : SVF::DummyVersionPropSVFGNode
- getObjectNode() : SVF::LLVMModuleSet, SVF::SVFIRBuilder
- getObjectNodeNum() : SVF::IRGraph
- getObjNodeNum() : SVF::LLVMModuleSet
- getObjTypeInfo() : SVF::IRGraph
- getOffsetVarAndGepTypePairVec() : SVF::GepStmt
- getOpcode() : SVF::BinaryOPStmt, SVF::UnaryOPStmt
- getOperand() : llvm::generic_bridge_gep_type_iterator< ItTy >
- getOpICFGNode() : SVF::PhiStmt
- getOpIncomingBB() : SVF::IntraPHIVFGNode
- getOpndVars() : SVF::MultiOpndStmt
- getOption() : OptionBase
- getOptionsMap() : OptionBase
- getOpVar() : SVF::MultiOpndStmt, SVF::UnaryOPStmt, SVF::UnaryOPVFGNode
- getOpVarID() : SVF::MultiOpndStmt, SVF::UnaryOPStmt
- getOpVarNum() : SVF::MultiOpndStmt
- getOpVer() : SVF::BinaryOPVFGNode, SVF::CmpVFGNode, SVF::MSSACHI< Cond >, SVF::MSSAPHI< Cond >, SVF::MSSAPHISVFGNode, SVF::PHIVFGNode, SVF::UnaryOPVFGNode
- getOpVerNum() : SVF::BinaryOPVFGNode, SVF::CmpVFGNode, SVF::MSSAPHI< Cond >, SVF::MSSAPHISVFGNode, SVF::PHIVFGNode, SVF::UnaryOPVFGNode
- getOrAddSVFTypeInfo() : SVF::SymbolTableBuilder
- getOrCreateNode() : SVF::DCHGraph
- getOrCreateTCTNode() : SVF::TCT
- getOriginalElemType() : SVF::IRGraph, SVF::StInfo
- getOStream() : SVF::GraphWriter< GraphType >
- getOutEdges() : SVF::GenericNode< NodeTy, EdgeTy >
- getOutEdgeWithTy() : SVF::CFLNode
- getOutgoingEdges() : SVF::SVFVar
- getOutgoingEdgesBegin() : SVF::SVFVar
- getOutgoingEdgesEnd() : SVF::SVFVar
- getPAG() : SVF::MemSSA, SVF::PAGBuilderFromFile, SVF::PointerAnalysis, SVF::SrcSnkDDA, SVF::SVFIR, SVF::SVFIRBuilder, SVF::VFG
- getPAGDstNode() : SVF::StmtVFGNode
- getPAGDstNodeID() : SVF::StmtVFGNode
- getPAGEdge() : SVF::StmtVFGNode
- getPAGEdgeNum() : SVF::IRGraph
- getPAGEdgeSet() : SVF::ConstraintGraph, SVF::VFG
- getPAGEdgesFromInst() : SVF::MRGenerator
- getPAGNode() : SVF::NullPtrVFGNode
- getPAGNodeNum() : SVF::IRGraph
- getPAGSrcNode() : SVF::StmtVFGNode
- getPAGSrcNodeID() : SVF::StmtVFGNode
- getParam() : SVF::ActualParmVFGNode, SVF::FormalParmVFGNode
- getParamTypes() : SVF::SVFFunctionType
- getParent() : SVF::ArgValVar, SVF::CallICFGNode, SVF::SVFBasicBlock
- getParentsBegin() : SVF::TCT
- getParentsEnd() : SVF::TCT
- getParentThread() : SVF::TCT
- getPassName() : SVF::BreakConstantGEPs, SVF::DDAPass, SVF::MergeFunctionRets, SVF::WPAPass
- getPHIComplementCond() : SVF::SaberCondAllocator
- getPHISet() : SVF::MemSSA
- getPointeeElement() : SVF::AbstractState
- getPointsTo() : SVF::IndirectSVFGEdge, SVF::MemRegion, SVF::MRSVFGNode
- getPointsToList() : SVF::MRGenerator
- getPostDomTreeMap() : SVF::SVFLoopAndDomInfo
- getPredecessors() : SVF::SVFBasicBlock
- getPredicate() : SVF::CmpStmt
- getPredMap() : SVF::POCRSolver
- getPreds() : SVF::POCRSolver
- getProc() : SVF::CxtProc
- getProdsFromFirstRHS() : SVF::CFGrammar
- getProdsFromSecondRHS() : SVF::CFGrammar
- getProdsFromSingleRHS() : SVF::CFGrammar
- getPropaPts() : SVF::MutableDiffPTData< Key, KeySet, Data, DataSet >
- getPTA() : SVF::DDAStat, SVF::MemSSA, SVF::SVFG, SVF::TCT
- getPTAPAGEdgeNum() : SVF::IRGraph
- getPTASVFStmtList() : SVF::SVFIR
- getPTASVFStmtSet() : SVF::SVFIR
- getPtCache() : SVF::BVDataPTAImpl
- getPTDataTy() : SVF::BVDataPTAImpl, SVF::CondPTAImpl< Cond >
- getPTDTY() : SVF::PTData< Key, KeySet, Data, DataSet >
- getPtrNodeID() : SVF::ContextDDA, SVF::DDAVFSolver< CVar, CPtSet, DPIm >, SVF::FlowDDA
- getPts() : SVF::Andersen, SVF::BVDataPTAImpl, SVF::CondPTAImpl< Cond >, SVF::MutableDFPTData< Key, KeySet, Data, DataSet >, SVF::MutableDiffPTData< Key, KeySet, Data, DataSet >, SVF::MutablePTData< Key, KeySet, Data, DataSet >, SVF::MutableVersionedPTData< Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet >, SVF::PersistentDFPTData< Key, KeySet, Data, DataSet >, SVF::PersistentDiffPTData< Key, KeySet, Data, DataSet >, SVF::PersistentPTData< Key, KeySet, Data, DataSet >, SVF::PersistentVersionedPTData< Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet >, SVF::PointerAnalysis, SVF::PTData< Key, KeySet, Data, DataSet >, SVF::Steensgaard, SVF::VersionedPTData< Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet >, SVF::WPAPass
- getPtsMap() : SVF::CondPTAImpl< Cond >, SVF::MutableDFPTData< Key, KeySet, Data, DataSet >, SVF::MutableDiffPTData< Key, KeySet, Data, DataSet >, SVF::MutablePTData< Key, KeySet, Data, DataSet >
- getPtsSubSetMap() : SVF::IntraDisjointMRG
- getRangeLimitFromType() : SVF::AbsExtAPI
- getRawProductions() : SVF::GrammarBase
- getReachableBBs() : SVF::FunObjVar, SVF::SVFLoopAndDomInfo
- getRealDefFun() : SVF::LLVMModuleSet
- getRealNumeral() : SVF::BoundedDouble, SVF::BoundedInt, SVF::IntervalValue
- getRefInfoForCall() : SVF::MRGenerator
- getRefSideEffectOfCallSite() : SVF::MRGenerator
- getRefSideEffectOfFunction() : SVF::MRGenerator
- getRegionSize() : SVF::MemRegion
- getReliantVersions() : SVF::VersionedFlowSensitive
- getRemovedSUVFEdges() : SVF::ProgSlice, SVF::SaberCondAllocator
- getRep() : SVF::ConstraintGraph
- getRepNode() : SVF::ICFG
- getRepNodes() : SVF::SCCDetection< GraphType >
- getRepPointsTo() : SVF::MRGenerator
- getRepr() : SVF::SVFOtherType
- getRes() : SVF::BinaryOPVFGNode, SVF::CmpVFGNode, SVF::MultiOpndStmt, SVF::PHIVFGNode, SVF::UnaryOPStmt, SVF::UnaryOPVFGNode
- getResID() : SVF::MultiOpndStmt, SVF::UnaryOPStmt
- getResVer() : SVF::MSSADEF, SVF::MSSAPHISVFGNode
- getRet() : SVF::FormalRetVFGNode
- getRetBlock() : SVF::LLVMModuleSet
- getRetICFGNode() : SVF::CallICFGNode, SVF::ICFGBuilder, SVF::LLVMModuleSet
- getRetParmAtJoinedSite() : SVF::ThreadAPI
- getRetPE() : SVF::RetCFGEdge
- getRetSite() : SVF::ProgSlice
- getReturnMuSet() : SVF::MemSSA
- getReturnNode() : SVF::ConstraintGraph, SVF::IRGraph, SVF::LLVMModuleSet, SVF::SVFIRBuilder
- getReturnType() : SVF::FunObjVar, SVF::SVFFunctionType
- getRev() : SVF::ActualRetVFGNode
- getReverseNodeMapping() : SVF::NodeIDAllocator::Clusterer
- getRevPts() : SVF::BVDataPTAImpl, SVF::CFLAlias, SVF::CondPTAImpl< Cond >, SVF::MutableDFPTData< Key, KeySet, Data, DataSet >, SVF::MutableDiffPTData< Key, KeySet, Data, DataSet >, SVF::MutablePTData< Key, KeySet, Data, DataSet >, SVF::MutableVersionedPTData< Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet >, SVF::PersistentDFPTData< Key, KeySet, Data, DataSet >, SVF::PersistentDiffPTData< Key, KeySet, Data, DataSet >, SVF::PersistentPTData< Key, KeySet, Data, DataSet >, SVF::PersistentVersionedPTData< Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet >, SVF::PointerAnalysis, SVF::PTData< Key, KeySet, Data, DataSet >
- getRHSVar() : SVF::AssignStmt
- getRHSVarID() : SVF::AssignStmt
- getSaberCondAllocator() : SVF::SrcSnkDDA
- getSCCDetector() : SVF::WPASolver< GraphType >
- getSCCRep() : SVF::SVFGStat
- getSecondRHSSymbol() : SVF::CFGrammar
- getSecondRHSToProds() : SVF::CFGrammar
- getSExtValue() : SVF::ConstIntObjVar, SVF::ConstIntValVar
- getSiblingThread() : SVF::TCT
- getSimpleNodeLabel() : SVF::DOTGraphTraits< ICFG * >, SVF::DOTGraphTraits< SVF::CDG * >, SVF::DOTGraphTraits< SVFG * >, SVF::DOTGraphTraits< VFG * >
- getSimplifiedValue() : SVF::SVFUtil::simplify_type< From >, SVF::SVFUtil::simplify_type< const From >
- getSingleRHSToProds() : SVF::CFGrammar
- getSinks() : SVF::ProgSlice, SVF::SrcSnkDDA
- getSolver() : SVF::Z3Expr
- getSource() : SVF::ProgSlice
- getSourceLoc() : SVF::CallICFGNode, SVF::FunEntryICFGNode, SVF::FunExitICFGNode, SVF::GlobalICFGNode, SVF::RetICFGNode, SVF::SVFValue
- getSources() : SVF::SrcSnkDDA
- getSpanfromCxtLock() : SVF::LockAnalysis
- getSrcCSID() : SVF::LeakChecker
- getSrcID() : SVF::AssignStmt, SVF::BranchStmt, SVF::GenericEdge< NodeTy >, SVF::MultiOpndStmt, SVF::UnaryOPStmt
- getSrcNode() : SVF::AssignStmt, SVF::BranchStmt, SVF::GenericEdge< NodeTy >, SVF::MultiOpndStmt, SVF::UnaryOPStmt
- getSSAVersion() : SVF::MRVer
- getStartKind() : SVF::CFLGraph, SVF::GrammarBase
- getStartRoutineOfCxtThread() : SVF::TCT
- getStat() : SVF::PointerAnalysis, SVF::SVFG
- getStInfos() : SVF::IRGraph
- getStmt() : SVF::CxtStmt
- getStmtReliance() : SVF::VersionedFlowSensitive
- getStmtVFGNode() : SVF::VFG
- getStoreCGEdges() : SVF::ConstraintGraph
- getStoreChiNum() : SVF::MemSSA
- getStoreInEdges() : SVF::ConstraintNode
- getStoreMRSet() : SVF::MRGenerator
- getStoreOutEdges() : SVF::ConstraintNode
- getStoreStmt() : SVF::StoreCHI< Cond >
- getStoreToChiSetMap() : SVF::MemSSA
- getStride() : SVF::StInfo
- getStrlen() : SVF::AbsExtAPI
- getStrongUpdateStores() : SVF::DDAStat
- getStructFieldOffset() : SVF::AccessPath
- getSubNodes() : SVF::ICFG, SVF::Steensgaard
- getSubs() : SVF::ConstraintGraph
- getSuccessor() : SVF::BranchStmt, SVF::BranchVFGNode
- getSuccessorCondValue() : SVF::BranchStmt, SVF::IntraCFGEdge
- getSuccessors() : SVF::BranchStmt, SVF::BranchVFGNode, SVF::SVFBasicBlock
- getSuccMap() : SVF::POCRSolver
- getSuccs() : SVF::POCRSolver
- getSVFBasicBlock() : SVF::LLVMModuleSet
- getSVFG() : SVF::DDAStat, SVF::DDAVFSolver< CVar, CPtSet, DPIm >, SVF::FlowSensitive, SVF::ProgSlice, SVF::SrcSnkDDA, SVF::SVFGBuilder
- getSVFGNode() : SVF::SVFG
- getSVFGNodeBB() : SVF::ProgSlice
- getSVFGNodeNum() : SVF::SVFG
- getSVFGSCC() : SVF::DDAVFSolver< CVar, CPtSet, DPIm >
- getSVFGSCCRepNode() : SVF::DDAVFSolver< CVar, CPtSet, DPIm >
- getSVFInt8Type() : SVF::SVFType
- getSVFLoops() : SVF::ICFG
- getSVFPtrType() : SVF::SVFType
- getSVFStmtList() : SVF::SVFIR
- getSVFStmts() : SVF::ICFGNode
- getSVFStmtSet() : SVF::SVFIR
- getSVFType() : SVF::LLVMModuleSet
- getSVFTypes() : SVF::IRGraph
- getSymbol() : SVF::GrammarBase
- getTCG() : SVF::ForkJoinAnalysis, SVF::LockAnalysis
- getTCT() : SVF::LockAnalysis, SVF::MHP
- getTCTEdgeNum() : SVF::TCT
- getTCTNode() : SVF::TCT
- getTCTNodeNum() : SVF::TCT
- getTerminals() : SVF::GrammarBase
- getThread() : SVF::CxtThread
- getThreadAPI() : SVF::ThreadAPI, SVF::ThreadCallGraph
- getThreadCallGraph() : SVF::MHP, SVF::TCT
- getThreadStmtSet() : SVF::MHP
- getTid() : SVF::CxtThreadProc, SVF::CxtThreadStmt
- getTopStackVer() : SVF::MemSSA
- getTotalCallSiteNumber() : SVF::CallGraph
- getTotalEdgeNum() : SVF::GenericGraph< NodeTy, EdgeTy >
- getTotalKind() : SVF::GrammarBase
- getTotalNodeNum() : SVF::GenericGraph< NodeTy, EdgeTy >
- getTotalSymNum() : SVF::IRGraph
- getTrueCond() : SVF::ProgSlice, SVF::SaberCondAllocator, SVF::Z3Expr
- getTrueValue() : SVF::SelectStmt
- getType() : SVF::BaseObjVar, SVF::GepObjVar, SVF::GepValVar, SVF::MSSADEF, SVF::MSSAMU< Cond >, SVF::ObjTypeInfo, SVF::SaberCheckerAPI, SVF::SVFValue, SVF::ThreadAPI
- getTypedefs() : SVF::DCHNode
- getTypeInference() : SVF::LLVMModuleSet, SVF::SymbolTableBuilder
- getTypeInfo() : SVF::IRGraph, SVF::SVFType
- getTypeLocSetsMap() : SVF::SVFIR
- getTypeOfElement() : SVF::SVFArrayType
- getUnaryOPVFGNode() : SVF::VFG
- getUnifyExit() : SVF::MergeFunctionRets
- getUtils() : SVF::AbstractInterpretation
- getVals() : SVF::AddressValue
- getValue() : SVF::ArgumentVFGNode, SVF::BinaryOPVFGNode, SVF::CmpVFGNode, SVF::PHIVFGNode, SVF::StmtVFGNode, SVF::SVFStmt, SVF::VFGNode
- getValueName() : SVF::ArgValVar, SVF::BaseObjVar, SVF::DummyObjVar, SVF::DummyValVar, SVF::GepObjVar, SVF::GepValVar, SVF::HeapObjVar, SVF::ObjVar, SVF::RetValPN, SVF::StackObjVar, SVF::SVFVar, SVF::ValVar, SVF::VarArgValPN
- getValueNode() : SVF::LLVMModuleSet, SVF::SVFIRBuilder
- getValueNodeNum() : SVF::IRGraph, SVF::LLVMModuleSet
- getVarargNode() : SVF::ConstraintGraph, SVF::IRGraph, SVF::LLVMModuleSet, SVF::SVFIRBuilder
- getVariabledKind() : SVF::GrammarBase
- getVarToVal() : SVF::AbstractState, SVF::RelExeState
- getVersion() : SVF::DummyVersionPropSVFGNode, SVF::VersionedFlowSensitive
- getVersionedKeyRevPts() : SVF::MutableVersionedPTData< Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet >, SVF::PersistentVersionedPTData< Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet >, SVF::VersionedPTData< Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet >
- getVersionedPTDataTy() : SVF::BVDataPTAImpl
- getVFCond() : SVF::ProgSlice
- getVFGNode() : SVF::VFG
- getVFGNodeBegin() : SVF::VFG
- getVFGNodeEnd() : SVF::VFG
- getVFGNodes() : SVF::ICFGNode, SVF::VFG
- getVFnsFromCHA() : SVF::PointerAnalysis
- getVFnsFromPts() : SVF::PointerAnalysis
- getVFnsFromVtbls() : SVF::CHGraph, SVF::CommonCHGraph, SVF::DCHGraph
- getVfnVector() : SVF::DCHNode
- getVfnVectors() : SVF::DCHNode
- getVirtualFunctionBasedonID() : SVF::CHGraph
- getVirtualFunctionID() : SVF::CHGraph
- getVirtualFunctions() : SVF::CHNode
- getVirtualFunctionVectors() : SVF::CHNode
- getVirtualMemAddress() : SVF::AbstractState, SVF::AddressValue, SVF::RelExeState
- getVTable() : SVF::CHNode, SVF::DCHNode
- getVtablePtr() : SVF::CallICFGNode
- getWTOComponents() : SVF::WTO< GraphT >, SVF::WTOCycle< GraphT >
- getYield() : SVF::VersionedFlowSensitive
- getZ3Expr() : SVF::RelExeState
- getZExtValue() : SVF::ConstIntObjVar, SVF::ConstIntValVar
- GlobalICFGNode() : SVF::GlobalICFGNode
- GlobalObjVar() : SVF::GlobalObjVar
- GlobalValVar() : SVF::GlobalValVar
- GNodeSCCInfo() : SVF::SCCDetection< GraphType >, SVF::SCCDetection< GraphType >::GNodeSCCInfo
- GrammarBuilder() : SVF::GrammarBuilder
- graph() : SVF::GraphReachSolver< GraphType, DPIm >, SVF::SCCDetection< GraphType >, SVF::SrcSnkSolver< GraphType, DPIm >, SVF::WPASolver< GraphType >
- GraphPrinter() : SVF::GraphPrinter
- GraphReachSolver() : SVF::GraphReachSolver< GraphType, DPIm >
- graphSize() : SVF::GenericGraphTraits< SVF::GenericGraph< NodeTy, EdgeTy > * >
- GraphWriter() : SVF::GraphWriter< GraphType >