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

- c -

• cachedPtsChainMap : SVF::MRGenerator
• calculateAddrVarPts() : SVF::FlowSensitiveStat
• calculateNodeDegrees() : SVF::SVFGStat
• call : SVF::CallPE, SVF::RetPE
• Call : SVF::SVFStmt
• callBlockNode : SVF::RetICFGNode
• CallCF : SVF::ICFGEdge
• CallCFGEdge() : SVF::CallCFGEdge
• CallCHI() : SVF::CallCHI< Cond >
• CALLCHI : SVF::MemSSA, SVF::SVFG
• CallDirSVFGEdge() : SVF::CallDirSVFGEdge
• CallDirVF : SVF::VFGEdge
• calledFunc : SVF::CallICFGNode
• callEdgeLabelCounter : SVF::SVFStmt
• CallEdgeMap : SVF::CallGraph, SVF::FlowDDA, SVF::PointerAnalysis, SVF::SVFGBuilder
• Caller : SVF::SVFBugEvent
• CallGraph() : SVF::CallGraph
• callGraph : SVF::MRGenerator
• callgraph : SVF::PointerAnalysis, SVF::SrcSnkDDA
• callGraph : SVF::SVFIR
• callgraph : SVF::VFG
• CallGraphBuilder() : SVF::CallGraphBuilder
• CallGraphDotGraph : SVF::Options
• CallGraphEdge() : SVF::CallGraphEdge
• CallGraphEdgeConstIter : SVF::CallGraph
• CallGraphEdgeIter : SVF::CallGraph
• CallGraphEdgeSet : SVF::CallGraph, SVF::CallGraphEdge
• CallGraphNode() : SVF::CallGraphNode
• callGraphNode : SVF::RetValPN, SVF::VarArgValPN
• callGraphNodeNum : SVF::CallGraph
• CallGraphSCC : SVF::AbstractInterpretation, SVF::DDAVFSolver< CVar, CPtSet, DPIm >
• callGraphSCC : SVF::MRGenerator, SVF::PointerAnalysis
• CallGraphSCC : SVF::PointerAnalysis
• callGraphSCCDetection() : SVF::PointerAnalysis
• callGraphSolveBasedOnCHA() : SVF::TypeAnalysis
• callgraphStat() : SVF::PTAStat, SVF::SVFStat
• CallICFGNode() : SVF::CallICFGNode
• CallIndSVFGEdge() : SVF::CallIndSVFGEdge
• CallIndVF : SVF::VFGEdge
• callInst : SVF::InterMSSAPHISVFGNode, SVF::InterPHIVFGNode
• CallInstSet : SVF::CallGraphEdge, SVF::DDAVFSolver< CVar, CPtSet, DPIm >
• callinstToCallGraphEdgesMap : SVF::CallGraph
• CallInstToCallGraphEdgesMap : SVF::CallGraph
• CallInstToForkEdgesMap : SVF::ThreadCallGraph
• callinstToHareParForEdgesMap : SVF::ThreadCallGraph
• CallInstToJoinEdgesMap : SVF::ThreadCallGraph
• CallInstToParForEdgesMap : SVF::ThreadCallGraph
• callinstToThreadForkEdgesMap : SVF::ThreadCallGraph
• callinstToThreadJoinEdgesMap : SVF::ThreadCallGraph
• CallMSSACHI : SVF::MSSADEF
• CallMSSAMU : SVF::MSSAMU< Cond >
• CallMU() : SVF::CallMU< Cond >
• CALLMU : SVF::MemSSA, SVF::SVFG
• CallNodeKd : SVF::SVFValue
• callNodeToCHAVFnsMap : SVF::CHGraph
• callNodeToCHAVtblsMap : SVF::CHGraph
• CallNodeToCHNodesMap : SVF::CHGraph
• callNodeToClassesMap : SVF::CHGraph
• CallNodeToVFunSetMap : SVF::CHGraph
• CallNodeToVTableSetMap : SVF::CHGraph
• CallPE() : SVF::CallPE
• callPEBegin() : SVF::FormalParmVFGNode
• callPEEnd() : SVF::FormalParmVFGNode
• callPEs : SVF::CallCFGEdge, SVF::FormalParmVFGNode
• CallPESet : SVF::ICFGNode, SVF::VFG, SVF::VFGNode
• CallRetEdge : SVF::CallGraphEdge
• callsite : SVF::CallCHI< Cond >, SVF::CallMU< Cond >
• CallSite : SVF::SVFBugEvent
• callsite2DummyValPN : SVF::Andersen, SVF::AndersenBase
• CallSite2DummyValPN : SVF::AndersenBase
• callsite2DummyValPN : SVF::CFLAlias
• CallSite2DummyValPN : SVF::CFLAlias
• callSiteArgsListMap : SVF::SVFIR
• callsiteHasRet() : SVF::SVFIR
• CallSitePair : SVF::CallGraph
• callSiteRetMap : SVF::SVFIR
• CallSiteSet : SVF::DDAVFSolver< CVar, CPtSet, DPIm >, SVF::FlowDDA, SVF::PointerAnalysis, SVF::SrcSnkDDA, SVF::SVFGBuilder, SVF::SVFIR
• callSiteSet : SVF::SVFIR
• CallSiteSet : SVF::ThreadCallGraph
• callSiteStack : SVF::AbstractInterpretation
• callSiteToActualINMap : SVF::SVFG
• CallSiteToActualINsMapTy : SVF::SVFG
• callSiteToActualOUTMap : SVF::SVFG
• CallSiteToActualOUTsMapTy : SVF::SVFG
• callsiteToChiSetMap : SVF::MemSSA
• CallSiteToCHISetMap : SVF::MemSSA
• CallSiteToFunPtrMap : SVF::PointerAnalysis, SVF::SVFIR
• CallSiteToIdMap : SVF::CallGraph
• callsiteToModMRsMap : SVF::MRGenerator
• callsiteToModPointsToMap : SVF::MRGenerator
• CallSiteToMRsMap : SVF::MRGenerator
• callsiteToMuSetMap : SVF::MemSSA
• CallSiteToMUSetMap : SVF::MemSSA
• CallSiteToNodeBSMap : SVF::MRGenerator
• CallSiteToPointsToMap : SVF::MRGenerator
• callsiteToRefMRsMap : SVF::MRGenerator
• callsiteToRefPointsToMap : SVF::MRGenerator
• canBeRemoved() : SVF::SVFGOPT
• candidateFuncSet : SVF::TCT
• candidateMappings : SVF::FlowSensitive
• candidatePointers : SVF::SVFIR
• candidateQueries : SVF::DDAClient, SVF::DDAVFSolver< CVar, CPtSet, DPIm >
• candidates : SVF::WPAMinimumSolver< GraphType >
• canHold() : SVF::CoreBitVector
• canonicalTypeMap : SVF::DCHGraph
• canonicalTypes : SVF::DCHGraph
• canSafelyAccessMemory() : SVF::BufOverflowDetector
• canSet() : Option< T >, OptionBase, OptionMap< T >, OptionMultiple< T >
• cbv : SVF::CoreBitVector::CoreBitVectorIterator, SVF::PointsTo
• CBV : SVF::PointsTo
• cbvIt : SVF::PointsTo::PointsToIterator
• CDG() : SVF::CDG
• CDGBuilder() : SVF::CDGBuilder
• CDGEdge() : SVF::CDGEdge
• CDGEdgeSetTy : SVF::CDG, SVF::CDGEdge
• CDGNode() : SVF::CDGNode
• CDGNodeIDToNodeMapTy : SVF::CDG
• CDNodeKd : SVF::SVFValue
• CEDGEK : SVF::CallGraphEdge, SVF::TCTEdge
• CFGNormalizer() : SVF::CFGNormalizer
• CFGrammar() : SVF::CFGrammar
• CFLAlias() : SVF::CFLAlias
• CFLBase() : SVF::CFLBase
• CFLEdge() : SVF::CFLEdge
• CFLEdgeDataTy : SVF::CFLNode
• CFLEdgeSet : SVF::CFLGraph
• cflEdgeSet : SVF::CFLGraph
• CFLEdgeSetTy : SVF::CFLEdge
• CFLFICI_WPA : SVF::PointerAnalysis
• CFLFIFOWorkList() : SVF::CFLFIFOWorkList< Data >
• CFLFSCI_WPA : SVF::PointerAnalysis
• CFLFSCS_WPA : SVF::PointerAnalysis
• CFLGrammarStat() : SVF::CFLStat
• CFLGraph() : SVF::CFLGraph
• cflGraph : SVF::CFLGraphBuilder
• CFLGraph : SVF::Options
• CFLGraphStat() : SVF::CFLStat
• CFLNode() : SVF::CFLNode
• CFLNodeKd : SVF::SVFValue
• CFLSolver() : SVF::CFLSolver
• CFLSolverStat() : SVF::CFLStat
• CFLStat() : SVF::CFLStat
• CFLSVFG : SVF::Options
• CFLSVFGBuilder() : SVF::CFLSVFGBuilder, SVF::SVFG
• CFLVF() : SVF::CFLVF
• CFWorkList : SVF::ProgSlice, SVF::SaberCondAllocator
• CGEK : SVF::CallGraph
• cgNode : SVF::ArgValVar
• CGSCC : SVF::Andersen
• cha() : SVF::DCHGraph
• chaFFMap : SVF::DCHGraph
• chaMap : SVF::DCHGraph
• check() : SVF::CFLGramGraphChecker
• check_head() : SVF::CFGNormalizer
• checkAndRemap() : SVF::CondStdSet< Element >, SVF::PointsTo
• CHECKER_TYPE : SVF::SaberCheckerAPI
• checkICFGNodesVisited() : SVF::ICFGBuilder
• checkIntraEdgeParents() : SVF::ICFG, SVF::VFG
• checkParameter() : SVF::CFLBase, SVF::CFLVF
• checkPointAllSet() : SVF::AbstractInterpretation
• checkpoints : SVF::AbstractInterpretation
• checkRelation() : SVF::AccessPath
• checkSelfCycleEdges() : SVF::SVFGOPT
• CHEdge() : SVF::CHEdge
• CHEdgeSetTy : SVF::CHEdge
• CHEDGETYPE : SVF::CHEdge
• chg : SVF::CHGBuilder
• CHGBuilder() : SVF::CHGBuilder, SVF::CHGraph
• CHGKind : SVF::CommonCHGraph
• CHGraph() : SVF::CHGraph
• chgraph : SVF::PointerAnalysis, SVF::SVFIR
• CHI : SVF::MemSSA, SVF::SVFG
• child : cJSON
• child_begin() : SVF::GenericGraphTraits< Inverse< SVF::GenericNode< NodeTy, EdgeTy > * > >, SVF::GenericGraphTraits< SVF::GenericNode< NodeTy, EdgeTy > * >
• child_end() : SVF::GenericGraphTraits< Inverse< SVF::GenericNode< NodeTy, EdgeTy > * > >, SVF::GenericGraphTraits< SVF::GenericNode< NodeTy, EdgeTy > * >
• child_iterator : SVF::GraphReachSolver< GraphType, DPIm >, SVF::GraphWriter< GraphType >, SVF::SCCDetection< GraphType >, SVF::SrcSnkSolver< GraphType, DPIm >, SVF::WPAMinimumSolver< GraphType >, SVF::WPASCCSolver< GraphType >, SVF::WPASolver< GraphType >
• ChildIteratorType : SVF::DOTGraphTraits< CallGraph * >, SVF::DOTGraphTraits< IRGraph * >, SVF::DOTGraphTraits< TCT * >, SVF::GenericGraphTraits< Inverse< SVF::GenericNode< NodeTy, EdgeTy > * > >, SVF::GenericGraphTraits< SVF::GenericNode< NodeTy, EdgeTy > * >
• children : SVF::POCRHybridSolver::TreeNode
• CHISet : SVF::MemSSA, SVF::SVFG
• CHITYPE : SVF::MSSACHI< Cond >
• CHNode() : SVF::CHNode
• CHNodeKd : SVF::SVFValue
• CHNodeSetTy : SVF::CHGBuilder, SVF::CHGraph
• ciLocktoSpan : SVF::LockAnalysis
• CILockToSpan : SVF::LockAnalysis
• CISpan : SVF::LockAnalysis
• CK_ALLOC : SVF::SaberCheckerAPI
• CK_DUMMY : SVF::SaberCheckerAPI
• CK_FCLOSE : SVF::SaberCheckerAPI
• CK_FOPEN : SVF::SaberCheckerAPI
• CK_FREE : SVF::SaberCheckerAPI
• ckAPI : SVF::SaberCheckerAPI
• CLASSATTR : SVF::CHNode, SVF::DCHNode
• className : SVF::CHNode, SVF::cppUtil::DemangledName
• classNameToAncestorsMap : SVF::CHGraph
• classNameToDescendantsMap : SVF::CHGraph
• classNameToInstAndDescsMap : SVF::CHGraph
• classNameToNodeMap : SVF::CHGraph
• classNum : SVF::CHGraph
• classof() : SVF::ActualINSVFGNode, SVF::ActualOUTSVFGNode, SVF::ActualParmVFGNode, SVF::ActualRetVFGNode, SVF::AddrCGEdge, SVF::AddrStmt, SVF::AddrVFGNode, SVF::AEDetector, SVF::Andersen, SVF::AndersenBase, SVF::ArgumentVFGNode, SVF::ArgValVar, SVF::AssignStmt, SVF::BaseObjVar, SVF::BinaryOPStmt, SVF::BinaryOPVFGNode, SVF::BlackHoleValVar, SVF::BranchStmt, SVF::BranchVFGNode, SVF::BufferOverflowBug, SVF::BufOverflowDetector, SVF::BVDataPTAImpl, SVF::CallCFGEdge, SVF::CallCHI< Cond >, SVF::CallDirSVFGEdge, SVF::CallGraphEdge, SVF::CallGraphNode, SVF::CallICFGNode, SVF::CallIndSVFGEdge, SVF::CallMU< Cond >, SVF::CallPE, SVF::CDGNode, SVF::CFGrammar, SVF::CFLNode, SVF::CHGraph, SVF::CHNode, SVF::CmpStmt, SVF::CmpVFGNode, SVF::CondPTAImpl< Cond >, SVF::ConstAggObjVar, SVF::ConstAggValVar, SVF::ConstDataObjVar, SVF::ConstDataValVar, SVF::ConstFPObjVar, SVF::ConstFPValVar, SVF::ConstIntObjVar, SVF::ConstIntValVar, SVF::ConstNullPtrObjVar, SVF::ConstNullPtrValVar, SVF::ConstraintEdge, SVF::ConstraintNode, SVF::CopyCGEdge, SVF::CopyStmt, SVF::CopyVFGNode, SVF::DCHGraph, SVF::DFPTData< Key, KeySet, Data, DataSet >, SVF::DiffPTData< Key, KeySet, Data, DataSet >, SVF::DirectSVFGEdge, SVF::DoubleFreeBug, SVF::DummyObjVar, SVF::DummyValVar, SVF::DummyVersionPropSVFGNode, SVF::EntryCHI< Cond >, SVF::FileNeverCloseBug, SVF::FilePartialCloseBug, SVF::FlowSensitive, SVF::FormalINSVFGNode, SVF::FormalOUTSVFGNode, SVF::FormalParmVFGNode, SVF::FormalRetVFGNode, SVF::FullBufferOverflowBug, SVF::FullNullPtrDereferenceBug, SVF::FunEntryICFGNode, SVF::FunExitICFGNode, SVF::FunObjVar, SVF::FunValVar, SVF::GenericNode< NodeTy, EdgeTy >, SVF::GepCGEdge, SVF::GepObjVar, SVF::GepStmt, SVF::GepValVar, SVF::GepVFGNode, SVF::GlobalICFGNode, SVF::GlobalObjVar, SVF::GlobalValVar, SVF::HareParForEdge, SVF::HeapObjVar, SVF::ICFGNode, SVF::IndirectSVFGEdge, SVF::InterICFGNode, SVF::InterMSSAPHISVFGNode, SVF::InterPHIVFGNode, SVF::IntraCFGEdge, SVF::IntraDirSVFGEdge, SVF::IntraICFGNode, SVF::IntraIndSVFGEdge, SVF::IntraMSSAPHISVFGNode, SVF::IntraPHIVFGNode, SVF::LoadCGEdge, SVF::LoadMU< Cond >, SVF::LoadStmt, SVF::LoadVFGNode, SVF::MRSVFGNode, SVF::MSSACHI< Cond >, SVF::MSSAPHI< Cond >, SVF::MSSAPHISVFGNode, SVF::MultiOpndStmt, SVF::MutableDFPTData< Key, KeySet, Data, DataSet >, SVF::MutableDiffPTData< Key, KeySet, Data, DataSet >, SVF::MutableIncDFPTData< Key, KeySet, Data, DataSet >, SVF::MutablePTData< Key, KeySet, Data, DataSet >, SVF::MutableVersionedPTData< Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet >, SVF::NeverFreeBug, SVF::NormalGepCGEdge, SVF::NullPtrVFGNode, SVF::ObjVar, SVF::PartialBufferOverflowBug, SVF::PartialLeakBug, SVF::PartialNullPtrDereferenceBug, SVF::PersistentDFPTData< Key, KeySet, Data, DataSet >, SVF::PersistentDiffPTData< Key, KeySet, Data, DataSet >, SVF::PersistentIncDFPTData< Key, KeySet, Data, DataSet >, SVF::PersistentPTData< Key, KeySet, Data, DataSet >, SVF::PersistentVersionedPTData< Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet >, SVF::PhiStmt, SVF::PHIVFGNode, SVF::RetCFGEdge, SVF::RetDirSVFGEdge, SVF::RetICFGNode, SVF::RetIndSVFGEdge, SVF::RetMU< Cond >, SVF::RetPE, SVF::RetValPN, SVF::SelectStmt, SVF::StackObjVar, SVF::Steensgaard, SVF::StmtVFGNode, SVF::StoreCGEdge, SVF::StoreCHI< Cond >, SVF::StoreStmt, SVF::StoreVFGNode, SVF::SVFArrayType, SVF::SVFBasicBlock, SVF::SVFFunctionType, SVF::SVFIntegerType, SVF::SVFOtherType, SVF::SVFPointerType, SVF::SVFStmt, SVF::SVFStructType, SVF::SVFVar, SVF::TCTEdge, SVF::TCTNode, SVF::TDForkPE, SVF::TDJoinPE, SVF::ThreadCallGraph, SVF::ThreadForkEdge, SVF::ThreadJoinEdge, SVF::ThreadMHPIndSVFGEdge, SVF::TypeAnalysis, SVF::UnaryOPStmt, SVF::UnaryOPVFGNode, SVF::ValVar, SVF::VarArgValPN, SVF::VariantGepCGEdge, SVF::VersionedFlowSensitive, SVF::VersionedPTData< Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet >, SVF::VFGNode, SVF::WTOCycle< GraphT >, SVF::WTONode< GraphT >
• cleanConsCG() : SVF::AndersenBase
• clear() : SVF::AbstractState, SVF::CFLFIFOWorkList< Data >, SVF::CondPointsToSet< Cond >, SVF::CondStdSet< Element >, SVF::CoreBitVector, SVF::CSC, SVF::FIFOWorkList< Data >, SVF::FILOWorkList< Data >, 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::PersistentIncDFPTData< Key, KeySet, Data, DataSet >, SVF::PersistentPointsToCache< Data >, SVF::PersistentPTData< Key, KeySet, Data, DataSet >, SVF::PersistentVersionedPTData< Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet >, SVF::POCRSolver, SVF::PointsTo, SVF::PTData< Key, KeySet, Data, DataSet >, SVF::SCCDetection< GraphType >, SVF::SparseBitVector< ElementSize >, SVF::SVFGStat
• clearAllDFOutUpdatedVar() : SVF::DFPTData< Key, KeySet, Data, DataSet >, SVF::MutableDFPTData< Key, KeySet, Data, DataSet >, SVF::MutableIncDFPTData< Key, KeySet, Data, DataSet >, SVF::PersistentDFPTData< Key, KeySet, Data, DataSet >, SVF::PersistentIncDFPTData< Key, KeySet, Data, DataSet >
• clearAllDFOutVarFlag() : SVF::FlowSensitive
• clearAllPts() : SVF::BVDataPTAImpl
• clearbkVisited() : SVF::DDAVFSolver< CVar, CPtSet, DPIm >
• clearCFCond() : SVF::ProgSlice, SVF::SaberCondAllocator
• clearEdges() : SVF::POCRSolver
• clearFlagMap() : SVF::ForkJoinAnalysis, SVF::LockAnalysis
• clearFullPts() : SVF::BVDataPTAImpl, 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 >
• clearMSSA() : SVF::SVFG
• clearPropaPts() : SVF::Andersen, SVF::DiffPTData< Key, KeySet, Data, DataSet >, SVF::MutableDiffPTData< Key, KeySet, Data, DataSet >, SVF::PersistentDiffPTData< Key, KeySet, Data, DataSet >
• clearPts() : 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 >
• clearRevPts() : SVF::MutablePTData< Key, KeySet, Data, DataSet >, SVF::PersistentPTData< Key, KeySet, Data, DataSet >
• clearSingleRevPts() : SVF::MutablePTData< Key, KeySet, Data, DataSet >, SVF::PersistentPTData< Key, KeySet, Data, DataSet >
• clearSolitaries() : SVF::ConstraintGraph
• clearStat() : SVF::FlowSensitiveStat, SVF::VersionedFlowSensitiveStat
• clearVisitedMap() : SVF::SrcSnkDDA
• ClockType : SVF::Options, SVF::SVFStat
• clpList : SVF::LockAnalysis
• cluster() : SVF::Andersen, SVF::FlowSensitive, SVF::NodeIDAllocator::Clusterer, SVF::VersionedFlowSensitive
• ClusterAnder : SVF::Options
• ClusterFs : SVF::Options
• ClusterMethod : SVF::Options
• Cmp : SVF::SVFStmt, SVF::SVFValue
• CmpStmt() : SVF::CmpStmt
• CmpVFGNode() : SVF::CmpVFGNode
• collapseField() : SVF::Andersen
• collapseFields() : SVF::Andersen, SVF::WPASolver< GraphType >
• collapseNodePts() : SVF::Andersen
• collapsePWCNode() : SVF::Andersen
• CollapseTime : SVF::AndersenStat
• collectArrayInfo() : SVF::LLVMModuleSet
• collectBBCallingProgExit() : SVF::SaberCondAllocator
• collectCallSitePts() : SVF::MRGenerator
• collectCandidateQueries() : SVF::AliasDDAClient, SVF::DDAClient, SVF::FunptrDDAClient
• collectCheckPoint() : SVF::AbstractInterpretation
• collectCxtInsenEdgeForRecur() : SVF::DDAPass
• collectCxtInsenEdgeForVFCycle() : SVF::DDAPass
• collectCxtLock() : SVF::LockAnalysis
• collectCycleInfo() : SVF::AndersenStat
• collectEntryFunInCallGraph() : SVF::TCT
• collectExtFunAnnotations() : SVF::LLVMModuleSet
• CollectExtRetGlobals : SVF::Options
• collectGlobals() : SVF::MRGenerator, SVF::SaberSVFGBuilder
• collectLockUnlocksites() : SVF::LockAnalysis
• collectLoopInfoForJoin() : SVF::TCT
• collectModRefForCall() : SVF::MRGenerator
• collectModRefForLoadStore() : SVF::MRGenerator
• collectMultiForkedThreads() : SVF::TCT
• collectObj() : SVF::SymbolTableBuilder
• CollectPtsChain() : SVF::MRGenerator, SVF::SaberSVFGBuilder
• collectRegDefs() : SVF::MemSSA
• collectRegUses() : SVF::MemSSA
• collectRet() : SVF::SymbolTableBuilder
• collectSCEVInfo() : SVF::ForkJoinAnalysis
• collectSimpleTypeInfo() : SVF::LLVMModuleSet
• collectStructInfo() : SVF::LLVMModuleSet
• collectSVFTypeInfo() : SVF::SymbolTableBuilder
• collectSym() : SVF::SymbolTableBuilder
• collectTypeInfo() : SVF::LLVMModuleSet
• collectVal() : SVF::SymbolTableBuilder
• collectVararg() : SVF::SymbolTableBuilder
• collectWPANum() : SVF::DDAClient
• compare() : SVF::WTOCycleDepth< GraphT >
• complementCache : SVF::PersistentPointsToCache< Data >
• complementPts() : SVF::PersistentPointsToCache< Data >
• component() : SVF::WTO< GraphT >
• computeAllLocations() : SVF::AccessPath
• computeConstantByteOffset() : SVF::AccessPath
• computeConstantOffset() : SVF::AccessPath
• computeDDAPts() : SVF::ContextDDA, SVF::FlowDDA, SVF::PointerAnalysis
• computeDiffPts() : SVF::Andersen, SVF::DiffPTData< Key, KeySet, Data, DataSet >, SVF::MutableDiffPTData< Key, KeySet, Data, DataSet >, SVF::PersistentDiffPTData< Key, KeySet, Data, DataSet >
• computeGepOffset() : SVF::SVFIRBuilder
• ComputeInterCallVFGGuard() : SVF::ProgSlice, SVF::SaberCondAllocator
• ComputeInterRetVFGGuard() : SVF::ProgSlice, SVF::SaberCondAllocator
• computeIntersections() : SVF::IntraDisjointMRG
• ComputeIntraVFGGuard() : SVF::ProgSlice, SVF::SaberCondAllocator
• computeInvalidCondFromRemovedSUVFEdge() : SVF::ProgSlice
• computeLocksets() : SVF::MTA
• computeMHP() : SVF::MTA
• concreteCxt : SVF::ContextCond
• cond : SVF::BranchStmt, SVF::CondPointsToSet< Cond >::CondPtsSetIterator, SVF::MSSACHI< Cond >, SVF::MSSAMU< Cond >, SVF::MSSAPHI< Cond >
• condAnd() : SVF::ProgSlice, SVF::SaberCondAllocator
• condensedIndex() : SVF::NodeIDAllocator::Clusterer
• CondImpl : SVF::PointerAnalysis
• Condition : SVF::MemRegion, SVF::MemSSA, SVF::ProgSlice, SVF::SaberCondAllocator
• condition : SVF::SelectStmt
• conditionVar : SVF::IntraCFGEdge
• conditionVec : SVF::SaberCondAllocator
• condNeg() : SVF::ProgSlice, SVF::SaberCondAllocator
• condOr() : SVF::ProgSlice, SVF::SaberCondAllocator
• CondPointsToSet() : SVF::CondPointsToSet< Cond >
• CondPosMap : SVF::SaberCondAllocator
• CondPTAImpl() : SVF::CondPTAImpl< Cond >
• CondPts : SVF::CondPointsToSet< Cond >
• CondPtsConstIter : SVF::CondPointsToSet< Cond >
• CondPtsIter : SVF::CondPointsToSet< Cond >
• CondPtsSetIterator() : SVF::CondPointsToSet< Cond >::CondPtsSetIterator
• CondStdSet() : SVF::CondStdSet< Element >
• CondVar() : SVF::CondVar< Cond >
• connectAInAndFIn() : SVF::SVFG, SVF::SVFGOPT
• connectAParamAndFParam() : SVF::SVFGOPT, SVF::VFG
• connectCaller2CalleeParams() : SVF::AndersenBase, SVF::CFLAlias
• connectCaller2ForkedFunParams() : SVF::AndersenBase
• connectCallerAndCallee() : SVF::FlowSensitive, SVF::SVFG, SVF::VFG
• connectDirectVFGEdges() : SVF::VFG
• connectDirSVFGEdgeTimeEnd : SVF::SVFGStat
• connectDirSVFGEdgeTimeStart : SVF::SVFGStat
• connectFOutAndAOut() : SVF::SVFG, SVF::SVFGOPT
• connectFRetAndARet() : SVF::SVFGOPT, SVF::VFG
• connectFromGlobalToProgEntry() : SVF::SVFG
• connectGlobalToProgEntry() : SVF::ICFGBuilder
• connectIndirectSVFGEdges() : SVF::SVFG
• connectIndSVFGEdgeTimeEnd : SVF::SVFGStat
• connectIndSVFGEdgeTimeStart : SVF::SVFGStat
• connectInheritEdgeViaCall() : SVF::CHGBuilder
• connectInheritEdgeViaStore() : SVF::CHGBuilder
• ConnectVCallOnCHA : SVF::Options
• connectVCallToVFns() : SVF::PointerAnalysis
• connectVGep() : SVF::AliasCFLGraphBuilder, SVF::VFCFLGraphBuilder
• consCG : SVF::AndersenBase
• ConsCGDotGraph : SVF::Options
• Conservative : SVF::WPAPass
• CONST_ARRAY_OBJ : SVF::ObjTypeInfo
• const_bb_iterator : SVF::FunObjVar
• CONST_DATA : SVF::ObjTypeInfo
• CONST_GLOBAL_OBJ : SVF::ObjTypeInfo
• const_iterator : SVF::CDG, SVF::CDGNode, SVF::CondStdSet< Element >, SVF::ConstraintNode, SVF::ContextCond, SVF::CoreBitVector, SVF::GenericGraph< NodeTy, EdgeTy >, SVF::GenericNode< NodeTy, EdgeTy >, SVF::ICFG, SVF::ICFGNode, SVF::POCRSolver, SVF::PointsTo, SVF::SVFBasicBlock, SVF::VFG, SVF::VFGNode
• CONST_STRUCT_OBJ : SVF::ObjTypeInfo
• ConstAggObjNode : SVF::SVFValue
• ConstAggObjVar() : SVF::ConstAggObjVar
• ConstAggValNode : SVF::SVFValue
• ConstAggValVar() : SVF::ConstAggValVar
• ConstantObj : SVF::IRGraph
• constantObjectId : SVF::NodeIDAllocator
• constantSymID() : SVF::IRGraph
• ConstDataObjNode : SVF::SVFValue
• ConstDataObjVar() : SVF::ConstDataObjVar
• ConstDataValNode : SVF::SVFValue
• ConstDataValVar() : SVF::ConstDataValVar
• ConstFPObjNode : SVF::SVFValue
• ConstFPObjVar() : SVF::ConstFPObjVar
• ConstFPValNode : SVF::SVFValue
• ConstFPValVar() : SVF::ConstFPValVar
• ConstIntObjNode : SVF::SVFValue
• ConstIntObjVar() : SVF::ConstIntObjVar
• ConstIntValNode : SVF::SVFValue
• ConstIntValVar() : SVF::ConstIntValVar
• ConstNullptrObjNode : SVF::SVFValue
• ConstNullPtrObjVar() : SVF::ConstNullPtrObjVar
• ConstNullptrValNode : SVF::SVFValue
• ConstNullPtrValVar() : SVF::ConstNullPtrValVar
• ConstraintEdge() : SVF::ConstraintEdge
• ConstraintEdgeK : SVF::ConstraintEdge
• ConstraintEdgeSetTy : SVF::ConstraintEdge
• ConstraintGraph() : SVF::ConstraintGraph
• constraintGraphStat() : SVF::AndersenStat
• ConstraintNode() : SVF::ConstraintNode
• ConstraintNodeIDToNodeMapTy : SVF::ConstraintGraph
• ConstraintNodeIter : SVF::ConstraintGraph
• ConstraintNodeKd : SVF::SVFValue
• CONSTRUCTOR : SVF::CHGraph
• ConstSVFGEdgeSet : SVF::DDAVFSolver< CVar, CPtSet, DPIm >
• consume : SVF::VersionedFlowSensitive
• contain() : SVF::IntervalValue
• containBlackHoleNode() : SVF::CondPTAImpl< Cond >, SVF::PointerAnalysis
• containCallStr() : SVF::ContextCond
• containConstantNode() : SVF::CondPTAImpl< Cond >, SVF::PointerAnalysis
• containedWithin() : SVF::IntervalValue
• containingAggs : SVF::DCHGraph
• contains() : SVF::AddressValue, SVF::CondPTAImpl< Cond >, SVF::CoreBitVector, SVF::IntervalValue, SVF::PointsTo, SVF::SparseBitVector< ElementSize >
• content : parse_buffer
• context : SVF::ContextCond, SVF::CxtDPItem, SVF::CxtStmtDPItem< LocCond >
• CONTEXT_LEAK : SVF::LeakChecker
• ContextCond() : SVF::ContextCond
• ContextDDA() : SVF::ContextDDA
• contextDDA : SVF::DDAStat
• ContextInsensitive : SVF::Options
• controlDg : SVF::CDG
• Copy : SVF::ConstraintEdge, SVF::SVFStmt, SVF::SVFValue
• CopyCGEdge() : SVF::CopyCGEdge
• copyInEdges : SVF::ConstraintNode
• copyKind : SVF::CopyStmt
• CopyKind : SVF::CopyStmt
• copyOutEdges : SVF::ConstraintNode
• CopyStmt() : SVF::CopyStmt
• copyTime : SVF::FlowSensitive
• COPYVAL : SVF::CopyStmt
• CopyVFGNode() : SVF::CopyVFGNode
• CoreBitVector() : SVF::CoreBitVector
• CoreBitVectorIterator() : SVF::CoreBitVector::CoreBitVectorIterator
• count : SVF::AEStat, SVF::CondStdSet< Element >, SVF::CoreBitVector, SVF::LeadingZerosCounter< T, SizeOfT >, SVF::PointsTo, SVF::PopulationCounter< T, SizeOfT >, SVF::PopulationCounter< T, 8 >, SVF::SparseBitVector< ElementSize >, SVF::SparseBitVectorElement< ElementSize >, SVF::TrailingZerosCounter< T, SizeOfT >
• countAliases() : SVF::FlowSensitive
• countStat() : SVF::ICFGStat
• countStateSize() : SVF::AEStat
• countSumEdges() : SVF::CFLBase
• coverage : SVF::SVFBugReport
• cpts : SVF::IndirectSVFGEdge, SVF::MRSVFGNode
• cptsBegin() : SVF::CondPointsToSet< Cond >
• cptsEnd() : SVF::CondPointsToSet< Cond >
• CPtSet : SVF::CondPTAImpl< Cond >
• cptsSet : SVF::MemRegion
• cptsToRepCPtsMap : SVF::MRGenerator
• CPU : SVF::SVFStat
• create() : SVF::IntervalValue
• createAndersenSCD() : SVF::AndersenSCD
• createAndersenSFR() : SVF::AndersenSFR
• createAndersenWaveDiff() : SVF::AndersenWaveDiff
• createBlkObjTypeInfo() : SVF::SymbolTableBuilder
• createConstantObjTypeInfo() : SVF::SymbolTableBuilder
• createDisjointMR() : SVF::IntraDisjointMRG
• createDistinctMR() : SVF::DistinctMRG
• createDummyObjTypeInfo() : SVF::IRGraph
• createFSWPA() : SVF::FlowSensitive
• createFunObjVars() : SVF::SVFIRBuilder
• createMR() : SVF::MRGenerator
• createMUCHI() : SVF::MemSSA
• createNode() : SVF::CHGBuilder
• createObjTypeInfo() : SVF::IRGraph, SVF::SymbolTableBuilder
• createSteensgaard() : SVF::Steensgaard
• createSVFDataStructure() : SVF::LLVMModuleSet
• createVFSWPA() : SVF::VersionedFlowSensitive
• cs : SVF::ActualINSVFGNode, SVF::ActualOUTSVFGNode, SVF::ActualParmVFGNode, SVF::ActualRetVFGNode
• csc : SVF::AndersenSFR
• CSC() : SVF::CSC
• CSCallString_WPA : SVF::PointerAnalysis
• csCHAMap : SVF::DCHGraph
• csHasVFnsBasedonCHA() : SVF::CHGraph, SVF::CommonCHGraph, SVF::DCHGraph
• csHasVtblsBasedonCHA() : SVF::CHGraph, SVF::CommonCHGraph, SVF::DCHGraph
• csId : SVF::CallDirSVFGEdge, SVF::CallGraphEdge, SVF::CallIndSVFGEdge, SVF::RetDirSVFGEdge, SVF::RetIndSVFGEdge
• CSSummary_WPA : SVF::PointerAnalysis
• CSToArgsListMap : SVF::SVFIR
• CSToCallNodeMap : SVF::LLVMModuleSet
• CSToCallNodeMapTy : SVF::ICFGBuilder, SVF::LLVMModuleSet
• csToCallSiteArgsPtsMap : SVF::MRGenerator
• csToCallSiteRetPtsMap : SVF::MRGenerator
• csToIdMap : SVF::CallGraph
• csToModsMap : SVF::MRGenerator
• csToRefsMap : SVF::MRGenerator
• CSToRetMap : SVF::SVFIR
• CSToRetNodeMap : SVF::LLVMModuleSet
• CSToRetNodeMapTy : SVF::ICFGBuilder, SVF::LLVMModuleSet
• CSWorkList : SVF::LeakChecker
• ctpList : SVF::TCT
• ctpToNodeMap : SVF::TCT
• ctToForkCxtMap : SVF::TCT
• ctToRoutineFunMap : SVF::TCT
• ctx : SVF::TCTNode, SVF::Z3Expr
• CtxSet : SVF::ThreadCallGraph
• cur : SVF::DPItem
• curBB : SVF::SVFIRBuilder
• curEvalSVFGNode : SVF::SaberCondAllocator
• curloc : SVF::StmtDPItem< LocCond >
• curPtr : SVF::DDAClient
• CurrElementIter : SVF::SparseBitVector< ElementSize >
• current : SVF::CFLGraphBuilder
• currentBestNodeMapping : SVF::PointsTo
• currentBestReverseNodeMapping : SVF::PointsTo
• curSCCID : SVF::WPASCCSolver< GraphType >
• CurTy : llvm::generic_bridge_gep_type_iterator< ItTy >
• curVal : SVF::SVFIRBuilder
• Customized : SVF::Options
• CVar : SVF::CondPTAImpl< Cond >
• cxt : SVF::CxtProc, SVF::CxtStmt, SVF::CxtThread
• Cxt_DDA : SVF::PointerAnalysis
• CxtBudget : SVF::Options
• CxtDPItem() : SVF::CxtDPItem
• cxtJoinInLoop : SVF::ForkJoinAnalysis
• CxtLimit : SVF::Options
• CxtLock : SVF::LockAnalysis
• CxtLockProc : SVF::LockAnalysis
• CxtLockProcSet : SVF::LockAnalysis
• CxtLockProcVec : SVF::LockAnalysis
• CxtLockSet : SVF::LockAnalysis
• cxtLockset : SVF::LockAnalysis
• CxtLockToLockSet : SVF::LockAnalysis
• cxtLocktoSpan : SVF::LockAnalysis
• CxtLockToSpan : SVF::LockAnalysis
• CxtProc() : SVF::CxtProc
• cxtSize() : SVF::ContextCond
• CxtStmt() : SVF::CxtStmt
• CxtStmtDPItem() : SVF::CxtStmtDPItem< LocCond >
• cxtStmtList : SVF::ForkJoinAnalysis, SVF::LockAnalysis, SVF::MHP
• CxtStmtSet : SVF::LockAnalysis
• cxtStmtToAliveFlagMap : SVF::ForkJoinAnalysis
• CxtStmtToAliveFlagMap : SVF::ForkJoinAnalysis
• CxtStmtToCxtLockSet : SVF::LockAnalysis
• cxtStmtToCxtLockSet : SVF::LockAnalysis
• CxtStmtToLockFlagMap : SVF::LockAnalysis
• CxtStmtToLoopMap : SVF::ForkJoinAnalysis
• CxtStmtToTIDMap : SVF::ForkJoinAnalysis
• CxtStmtWorkList : SVF::ForkJoinAnalysis, SVF::LockAnalysis
• CxtThread() : SVF::CxtThread
• CxtThreadProc() : SVF::CxtThreadProc
• CxtThreadProcSet : SVF::TCT
• CxtThreadProcVec : SVF::TCT
• CxtThreadStmt() : SVF::CxtThreadStmt
• CxtThreadStmtSet : SVF::MHP
• CxtThreadStmtWorkList : SVF::MHP
• CxtThreadToForkCxt : SVF::TCT
• CxtThreadToFun : SVF::TCT
• CxtThreadToNodeMap : SVF::TCT
• cxtToStr() : SVF::CxtProc, SVF::CxtStmt, SVF::CxtThread
• Cycle : SVF::WTOComponent< GraphT >
• cycleDepth() : SVF::WTO< GraphT >
• CycleDepthNumber : SVF::WTO< GraphT >
• CyclicFldIdx : SVF::Options