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

- a -

• AbsExtAPI() : SVF::AbsExtAPI
• abstract_consequence() : SVF::RelationSolver
• AbstractInterpretation() : SVF::AbstractInterpretation
• AbstractState() : SVF::AbstractState
• AbstractValue() : SVF::AbstractValue
• accept() : SVF::WTO< GraphT >, SVF::WTOComponent< GraphT >, SVF::WTOCycle< GraphT >, SVF::WTONode< GraphT >
• accessGlobal() : SVF::SaberSVFGBuilder
• AccessPath() : SVF::AccessPath
• accumulateConstantByteOffset() : SVF::GepStmt
• accumulateConstantOffset() : SVF::GepStmt
• actualInOfIndCS() : SVF::SVFGOPT
• ActualINSVFGNode() : SVF::ActualINSVFGNode
• actualOutOfIndCS() : SVF::SVFGOPT
• ActualOUTSVFGNode() : SVF::ActualOUTSVFGNode
• ActualParmVFGNode() : SVF::ActualParmVFGNode
• ActualRetVFGNode() : SVF::ActualRetVFGNode
• add() : SVF::WTOCycleDepth< GraphT >
• addAbsExecBug() : SVF::SVFBugReport
• addActualINSVFGNode() : SVF::SVFG
• addActualOUTSVFGNode() : SVF::SVFG
• addActualParms() : SVF::CallICFGNode
• addActualParmVFGNode() : SVF::SaberSVFGBuilder, SVF::VFG
• addActualRet() : SVF::RetICFGNode
• addActualRetVFGNode() : SVF::VFG
• addAddrCGEdge() : SVF::ConstraintGraph
• addAddrEdge() : SVF::SVFIRBuilder
• addAddrStmt() : SVF::SVFIR
• addAddrVFGNode() : SVF::VFG
• addAddrWithHeapSz() : SVF::SVFIRBuilder
• addAddrWithStackArraySz() : SVF::SVFIRBuilder
• addArc() : SVF::POCRHybridSolver
• addArc_h() : SVF::POCRHybridSolver
• addArgument() : SVF::FunObjVar
• addArgValNode() : SVF::SVFIR
• addArrSize() : SVF::AddrStmt
• addAttribute() : SVF::CFLGraphBuilder
• addBackICFGEdge() : SVF::SVFLoop
• addBackwardVisited() : SVF::SrcSnkDDA
• addBasicBlock() : SVF::BasicBlockGraph, SVF::LLVMModuleSet
• addBiCFLEdge() : SVF::AliasCFLGraphBuilder, SVF::VFCFLGraphBuilder
• addBiGepCFLEdge() : SVF::AliasCFLGraphBuilder, SVF::VFCFLGraphBuilder
• addBinaryOPEdge() : SVF::SVFIRBuilder
• addBinaryOPStmt() : SVF::SVFIR
• addBinaryOPVFGNode() : SVF::VFG
• addBlackHoleAddrEdge() : SVF::SVFIRBuilder
• addBlackHoleAddrStmt() : SVF::SVFIR
• addBlackholeObjNode() : SVF::SVFIR
• addBlackholePtrNode() : SVF::SVFIR
• addBlockICFGNode() : SVF::ICFGBuilder
• addBranchStmt() : SVF::SVFIR, SVF::SVFIRBuilder
• addBranchVFGNode() : SVF::VFG
• addBugToReporter() : SVF::BufOverflowDetector
• addCallEdge() : SVF::ICFG, SVF::SVFIRBuilder, SVF::VFG
• addCallGraphNode() : SVF::CallGraph
• addCallICFGNode() : SVF::ICFG
• addCallIndirectSVFGEdge() : SVF::SVFGOPT
• addCallIndirectVFEdge() : SVF::SVFG
• addCallPE() : SVF::CallCFGEdge, SVF::FormalParmVFGNode, SVF::SVFIR
• addCallSite() : SVF::CallGraph, SVF::SVFIR
• addCallSiteArgs() : SVF::SVFIR
• AddCallSiteCHI() : SVF::MemSSA
• AddCallSiteMU() : SVF::MemSSA
• addCallSiteRets() : SVF::SVFIR
• addCandidate() : SVF::DDAClient
• addCDGEdge() : SVF::CDG
• addCDGEdgeFromSrcDst() : SVF::CDG
• addCDGNode() : SVF::CDG
• addCDGNodesFromVector() : SVF::CDG
• addCFLEdge() : SVF::CFLGraph
• addCFLNode() : SVF::CFLGraph
• addCmpEdge() : SVF::SVFIRBuilder
• addCmpStmt() : SVF::SVFIR
• addCmpVFGNode() : SVF::VFG
• addComplexConsForExt() : SVF::SVFIRBuilder
• addCondIntraLock() : SVF::LockAnalysis
• addConditionalIntraEdge() : SVF::ICFG
• addConstantAggObjNode() : SVF::SVFIR
• addConstantAggValNode() : SVF::SVFIR
• addConstantDataObjNode() : SVF::SVFIR
• addConstantDataValNode() : SVF::SVFIR
• addConstantFPObjNode() : SVF::SVFIR
• addConstantFPValNode() : SVF::SVFIR
• addConstantIntObjNode() : SVF::SVFIR
• addConstantIntValNode() : SVF::SVFIR
• addConstantNullPtrObjNode() : SVF::SVFIR
• addConstantNullPtrValNode() : SVF::SVFIR
• addConstantObjNode() : SVF::SVFIR
• addConstraintNode() : SVF::ConstraintGraph
• addCopyCGEdge() : SVF::ConstraintGraph
• addCopyEdge() : SVF::Andersen, SVF::AndersenBase, SVF::AndersenSCD, SVF::CFLAlias, SVF::Steensgaard, SVF::SVFIRBuilder, SVF::TypeAnalysis
• addCopyStmt() : SVF::SVFIR
• addCopyVFGNode() : SVF::VFG
• addCPtsToCallSiteMods() : SVF::MRGenerator
• addCPtsToCallSiteRefs() : SVF::MRGenerator
• addCPtsToLoad() : SVF::MRGenerator
• addCPtsToStore() : SVF::MRGenerator
• addCustomGraphFeatures() : SVF::DefaultDOTGraphTraits
• addCxtLock() : SVF::LockAnalysis
• addCxtOfCxtThread() : SVF::TCT
• addCxtStmtToSpan() : SVF::LockAnalysis
• addDDAPts() : SVF::DDAVFSolver< CVar, CPtSet, DPIm >
• addDetector() : SVF::AbstractInterpretation
• addDirectCallGraphEdge() : SVF::CallGraph
• addDirectCallSite() : SVF::CallGraphEdge
• addDirectForkEdge() : SVF::ThreadCallGraph
• addDirectJoinEdge() : SVF::ThreadCallGraph
• addDirectlyJoinTID() : SVF::ForkJoinAnalysis
• addDpmToLoc() : SVF::DDAVFSolver< CVar, CPtSet, DPIm >
• addDummyObjNode() : SVF::SVFIR
• addDummyValNode() : SVF::SVFIR
• addDummyVersionPropSVFGNode() : SVF::SVFG
• addEdge() : SVF::CallGraph, SVF::CHGraph, SVF::DCHGraph, SVF::IRGraph, SVF::PAGBuilderFromFile, SVF::POCRSolver, SVF::SVFIRBuilder
• addEdges() : SVF::POCRSolver
• addEntryICFGEdge() : SVF::SVFLoop
• AddExtActualParmSVFGNodes() : SVF::SaberSVFGBuilder
• addFIObjNode() : SVF::SVFIR
• addFldWithType() : SVF::StInfo
• addForksite() : SVF::ThreadCallGraph
• addFormalINSVFGNode() : SVF::SVFG
• addFormalOUTSVFGNode() : SVF::SVFG
• addFormalParms() : SVF::FunEntryICFGNode
• addFormalParmVFGNode() : SVF::VFG
• addFormalRet() : SVF::FunExitICFGNode
• addFormalRetVFGNode() : SVF::VFG
• addForwardVisited() : SVF::SrcSnkDDA
• addFunArgs() : SVF::SVFIR
• addFunctionSet() : SVF::LLVMModuleSet
• addFuncToFuncVector() : SVF::CHGBuilder
• addFunEntryBlock() : SVF::ICFGBuilder
• addFunEntryICFGNode() : SVF::ICFG
• addFunExitBlock() : SVF::ICFGBuilder
• addFunExitICFGNode() : SVF::ICFG
• addFunObjNode() : SVF::SVFIR
• addFunRet() : SVF::SVFIR
• addFunValNode() : SVF::SVFIR
• addGepEdge() : SVF::SVFIRBuilder
• addGepObjNode() : SVF::SVFIR
• addGepStmt() : SVF::SVFIR
• addGepValNode() : SVF::SVFIR
• addGepVFGNode() : SVF::VFG
• addGlobalBlackHoleAddrEdge() : SVF::SVFIRBuilder
• addGlobalICFGNode() : SVF::ICFGBuilder
• addGlobalObjNode() : SVF::SVFIR
• addGlobalPAGEdge() : SVF::SVFIR
• addGlobalValNode() : SVF::SVFIR
• addGNode() : SVF::CFLGraphBuilder, SVF::GenericGraph< NodeTy, EdgeTy >
• addHareParForEdgeSetMap() : SVF::ThreadCallGraph
• addHeapObjNode() : SVF::SVFIR
• addICFGEdge() : SVF::ICFG
• addICFGInterEdges() : SVF::ICFGBuilder
• addICFGNode() : SVF::ICFG, SVF::SVFBasicBlock
• addIncomingAddrEdge() : SVF::ConstraintNode
• addIncomingCopyEdge() : SVF::ConstraintNode
• addIncomingDirectEdge() : SVF::ConstraintNode
• addIncomingEdge() : SVF::GenericNode< NodeTy, EdgeTy >
• addIncomingGepEdge() : SVF::ConstraintNode
• addIncomingLoadEdge() : SVF::ConstraintNode
• addIncomingStoreEdge() : SVF::ConstraintNode
• addInd_h() : SVF::POCRHybridSolver
• addIndirectCallGraphEdge() : SVF::CallGraph
• addInDirectCallSite() : SVF::CallGraphEdge
• addIndirectCallsites() : SVF::SVFIR
• addIndirectForkEdge() : SVF::ThreadCallGraph
• addInEdge() : SVF::SVFVar
• addInEdgeWithKind() : SVF::CFLNode
• addIngoingEdge() : SVF::CFLNode
• addInICFGEdge() : SVF::SVFLoop
• addInstances() : SVF::CHGraph
• addInstructionMap() : SVF::LLVMModuleSet
• addInterBlockICFGNode() : SVF::ICFGBuilder
• addInterEdgeFromAPToFP() : SVF::VFG
• addInterEdgeFromFRToAR() : SVF::VFG
• addInterIndirectVFCallEdge() : SVF::SVFG
• addInterIndirectVFRetEdge() : SVF::SVFG
• addInterleavingThread() : SVF::MHP
• addInterPHIForAR() : SVF::SVFGOPT
• addInterPHIForFP() : SVF::SVFGOPT
• addInterPHIOperands() : SVF::SVFGOPT
• addIntoWorklist() : SVF::SVFGOPT
• addIntraBlockICFGNode() : SVF::ICFGBuilder
• addIntraDirectVFEdge() : SVF::VFG
• addIntraEdge() : SVF::ICFG
• addIntraICFGNode() : SVF::ICFG
• addIntraIndirectVFEdge() : SVF::SVFG
• addIntraLock() : SVF::LockAnalysis
• addIntraMSSAPHISVFGNode() : SVF::SVFG
• addIntraPHIVFGNode() : SVF::VFG
• addJoinsite() : SVF::ThreadCallGraph
• addLoadCGEdge() : SVF::ConstraintGraph
• addLoadCVar() : SVF::DDAVFSolver< CVar, CPtSet, DPIm >
• addLoadDpm() : SVF::DDAVFSolver< CVar, CPtSet, DPIm >
• addLoadDpmAndCVar() : SVF::DDAVFSolver< CVar, CPtSet, DPIm >
• addLoadEdge() : SVF::SVFIRBuilder
• AddLoadMU() : SVF::MemSSA
• addLoadStmt() : SVF::SVFIR
• addLoadVFGNode() : SVF::VFG
• addMDTag() : SVF::Annotator
• addModSideEffectOfCallSite() : SVF::MRGenerator
• addModSideEffectOfFunction() : SVF::MRGenerator
• AddMSSAPHI() : SVF::MemSSA
• addNewCandidate() : SVF::WPAMinimumSolver< GraphType >
• addNewSVFGEdge() : SVF::SVFGOPT
• addNode() : SVF::IRGraph
• addNodeIntoWorkList() : SVF::WPAMinimumSolver< GraphType >, SVF::WPASCCSolver< GraphType >
• addNodeToBeCollapsed() : SVF::ConstraintGraph
• addNodeToSVFLoop() : SVF::ICFG
• addNormalGepCGEdge() : SVF::ConstraintGraph
• addNormalGepEdge() : SVF::SVFIRBuilder
• addNormalGepStmt() : SVF::SVFIR
• addNullPtrNode() : SVF::SVFIRBuilder
• addNullPtrVFGNode() : SVF::VFG
• addObjNode() : SVF::SVFIR
• addOffsetVarAndGepTypePair() : SVF::AccessPath
• addOpVar() : SVF::PhiStmt
• addOutEdge() : SVF::SVFVar
• addOutEdgeWithKind() : SVF::CFLNode
• addOutgoingAddrEdge() : SVF::ConstraintNode
• addOutgoingCopyEdge() : SVF::ConstraintNode
• addOutgoingDirectEdge() : SVF::ConstraintNode
• addOutgoingEdge() : SVF::CFLNode, SVF::GenericNode< NodeTy, EdgeTy >
• addOutgoingGepEdge() : SVF::ConstraintNode
• addOutgoingLoadEdge() : SVF::ConstraintNode
• addOutgoingStoreEdge() : SVF::ConstraintNode
• addOutICFGEdge() : SVF::SVFLoop
• addOutOfBudgetDpm() : SVF::DDAVFSolver< CVar, CPtSet, DPIm >
• addParForSite() : SVF::ThreadCallGraph
• addPhiStmt() : SVF::SVFIR, SVF::SVFIRBuilder
• addPointsTo() : SVF::IndirectSVFGEdge
• addPred() : SVF::POCRSolver
• addPredBasicBlock() : SVF::SVFBasicBlock
• addPreds() : SVF::POCRSolver
• addPts() : 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::PTData< Key, KeySet, Data, DataSet >, SVF::VersionedPTData< Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet >
• AddrCGEdge() : SVF::AddrCGEdge
• addRefSideEffectOfCallSite() : SVF::MRGenerator
• addRefSideEffectOfFunction() : SVF::MRGenerator
• AddressValue() : SVF::AddressValue
• addRetEdge() : SVF::ICFG, SVF::SVFIRBuilder, SVF::VFG
• addRetICFGNode() : SVF::ICFG
• addRetIndirectSVFGEdge() : SVF::SVFGOPT
• addRetIndirectVFEdge() : SVF::SVFG
• addRetNode() : SVF::SVFIR
• addRetPE() : SVF::FormalRetVFGNode, SVF::RetCFGEdge, SVF::SVFIR
• addRevPts() : SVF::MutablePTData< Key, KeySet, Data, DataSet >
• AddrStmt() : SVF::AddrStmt
• AddrVFGNode() : SVF::AddrVFGNode
• addSaberBug() : SVF::SVFBugReport
• addSccCandidate() : SVF::AndersenSCD
• addSelectStmt() : SVF::SVFIR, SVF::SVFIRBuilder
• addSingleRevPts() : SVF::MutablePTData< Key, KeySet, Data, DataSet >
• addSinkToCurSlice() : SVF::SrcSnkDDA
• addSrcToCSID() : SVF::LeakChecker
• addStackObjNode() : SVF::SVFIR
• addStartRoutineOfCxtThread() : SVF::TCT
• addStInfo() : SVF::IRGraph
• addStmtVFGNode() : SVF::VFG
• addStoreCGEdge() : SVF::ConstraintGraph
• AddStoreCHI() : SVF::MemSSA
• addStoreEdge() : SVF::SVFIRBuilder
• addStoreStmt() : SVF::SVFIR
• addStoreVFGNode() : SVF::VFG
• addSubNode() : SVF::ICFG, SVF::Steensgaard
• addSubNodes() : SVF::SCCDetection< GraphType >::GNodeSCCInfo
• addSucc() : SVF::POCRSolver
• addSuccBasicBlock() : SVF::SVFBasicBlock
• addSuccs() : SVF::POCRSolver
• addSUStat() : SVF::DDAVFSolver< CVar, CPtSet, DPIm >
• addSVFGEdge() : SVF::SVFG
• addSVFGNode() : SVF::SVFG
• addSVFGNodesForAddrTakenVars() : SVF::SVFG
• addSVFMain() : SVF::LLVMModuleSet
• addSVFStmt() : SVF::ICFGNode
• addSVFTypeInfo() : SVF::LLVMModuleSet
• addSymmetricLoopJoin() : SVF::ForkJoinAnalysis
• addTCTEdge() : SVF::TCT
• addTCTNode() : SVF::TCT
• addThreadForkEdge() : SVF::SVFIRBuilder
• addThreadForkEdgeSetMap() : SVF::ThreadCallGraph
• addThreadForkPE() : SVF::SVFIR
• addThreadJoinEdge() : SVF::SVFIRBuilder
• addThreadJoinEdgeSetMap() : SVF::ThreadCallGraph
• addThreadJoinPE() : SVF::SVFIR
• addThreadMHPIndirectVFEdge() : SVF::SVFG
• addToBackwardSlice() : SVF::ProgSlice, SVF::SVFGStat
• addToBB2LoopMap() : SVF::SVFLoopAndDomInfo
• addToCurBackwardSlice() : SVF::SrcSnkDDA
• addToCurForwardSlice() : SVF::SrcSnkDDA
• addToForwardSlice() : SVF::ProgSlice, SVF::SVFGStat
• addToFullJoin() : SVF::ForkJoinAnalysis
• addToGepObjOffsetFromBase() : SVF::BufOverflowDetector
• addToHBPair() : SVF::ForkJoinAnalysis
• addToHPPair() : SVF::ForkJoinAnalysis
• addToPartial() : SVF::ForkJoinAnalysis
• addToSinks() : SVF::ProgSlice, SVF::SrcSnkDDA, SVF::SVFGStat
• addToSources() : SVF::SrcSnkDDA, SVF::SVFGStat
• addToStmt2TypeMap() : SVF::SVFIR
• addToSVFStmtList() : SVF::SVFIR
• addToSVFVar2LLVMValueMap() : SVF::LLVMModuleSet
• addToTypeLocSetsMap() : SVF::SVFIR
• addTypedef() : SVF::DCHNode
• addTypeInfo() : SVF::IRGraph
• addUnaryOPEdge() : SVF::SVFIRBuilder
• addUnaryOPStmt() : SVF::SVFIR
• addUnaryOPVFGNode() : SVF::VFG
• addValNode() : SVF::SVFIR
• addVarargNode() : SVF::SVFIR
• addVariantGepCGEdge() : SVF::ConstraintGraph
• addVariantGepEdge() : SVF::SVFIRBuilder
• addVariantGepStmt() : SVF::SVFIR
• addVFGEdge() : SVF::VFG
• addVFGInterEdges() : SVF::VFG
• addVFGNode() : SVF::ICFGNode, SVF::VFG
• addVFGNodes() : SVF::VFG
• addVirtualFunctionVector() : SVF::CHNode
• AdvanceToFirstNonZero() : SVF::SparseBitVector< ElementSize >::SparseBitVectorIterator
• AdvanceToNextNonZero() : SVF::SparseBitVector< ElementSize >::SparseBitVectorIterator
• AEDetector() : SVF::AEDetector
• AEException() : SVF::AEException
• AEStat() : SVF::AEStat
• AETest() : AETest
• alias() : SVF::BVDataPTAImpl, SVF::CFLAlias, SVF::CondPTAImpl< Cond >, SVF::DDAPass, SVF::LockAnalysis, SVF::PointerAnalysis
• AliasDDAClient() : SVF::AliasDDAClient
• aliased() : SVF::CondPointsToSet< Cond >
• allocate() : internal_hooks, SVF::SaberCondAllocator
• allocateForBB() : SVF::SaberCondAllocator
• allocateGepObjectId() : SVF::NodeIDAllocator
• allocateObjectId() : SVF::NodeIDAllocator
• allocateValueId() : SVF::NodeIDAllocator
• AllPathReachableSolve() : SVF::ProgSlice
• analyse() : SVF::AbstractInterpretation
• analyze() : SVF::AndersenBase, SVF::CFLBase, SVF::ContextDDA, SVF::FlowDDA, SVF::FlowSensitive, SVF::LockAnalysis, SVF::MHP, SVF::PointerAnalysis, SVF::SrcSnkDDA, SVF::TypeAnalysis
• analyzeForkJoinPair() : SVF::ForkJoinAnalysis
• analyzeHeapAllocByteSize() : SVF::SymbolTableBuilder
• analyzeHeapObjType() : SVF::SymbolTableBuilder
• analyzeInterleaving() : SVF::MHP
• analyzeIntraProcedualLock() : SVF::LockAnalysis
• analyzeLockSpanCxtStmt() : SVF::LockAnalysis
• analyzeObjType() : SVF::SymbolTableBuilder
• analyzeStaticObjType() : SVF::SymbolTableBuilder
• analyzeVTables() : SVF::CHGBuilder
• AND() : SVF::Z3Expr
• Andersen() : SVF::Andersen
• AndersenBase() : SVF::AndersenBase
• AndersenSCD() : SVF::AndersenSCD
• AndersenSFR() : SVF::AndersenSFR
• AndersenStat() : SVF::AndersenStat
• AndersenWaveDiff() : SVF::AndersenWaveDiff
• annotateSlice() : SVF::SrcSnkDDA
• Annotator() : SVF::Annotator
• answerQueries() : SVF::DDAClient
• arg_empty() : SVF::CallICFGNode
• arg_size() : SVF::CallICFGNode, SVF::FunObjVar
• ArgumentVFGNode() : SVF::ArgumentVFGNode
• ArgValVar() : SVF::ArgValVar
• AssignStmt() : SVF::AssignStmt
• atEnd() : SVF::CoreBitVector::CoreBitVectorIterator, SVF::PointsTo::PointsToIterator
• atKey() : SVF::VersionedFlowSensitive
• ATVFNodeEnd() : SVF::SVFGStat
• ATVFNodeStart() : SVF::SVFGStat