Here is a list of all variables with links to the classes they belong to:
- c -
- cachedPtsChainMap : SVF::MRGenerator
- call : SVF::CallPE, SVF::RetPE
- callBlockNode : SVF::RetICFGNode
- calledFunc : SVF::CallICFGNode
- callEdgeLabelCounter : SVF::SVFStmt
- callGraph : SVF::MRGenerator
- callgraph : SVF::PointerAnalysis, SVF::SrcSnkDDA
- callGraph : SVF::SVFIR
- callgraph : SVF::VFG
- CallGraphDotGraph : SVF::Options
- callGraphNode : SVF::RetValPN, SVF::VarArgValPN
- callGraphNodeNum : SVF::CallGraph
- callGraphSCC : SVF::MRGenerator, SVF::PointerAnalysis
- callInst : SVF::InterMSSAPHISVFGNode, SVF::InterPHIVFGNode
- callinstToCallGraphEdgesMap : SVF::CallGraph
- callinstToHareParForEdgesMap : SVF::ThreadCallGraph
- callinstToThreadForkEdgesMap : SVF::ThreadCallGraph
- callinstToThreadJoinEdgesMap : SVF::ThreadCallGraph
- callNodeToCHAVFnsMap : SVF::CHGraph
- callNodeToCHAVtblsMap : SVF::CHGraph
- callNodeToClassesMap : SVF::CHGraph
- callPEs : SVF::CallCFGEdge, SVF::FormalParmVFGNode
- callsite : SVF::CallCHI< Cond >, SVF::CallMU< Cond >
- callsite2DummyValPN : SVF::Andersen, SVF::AndersenBase, SVF::CFLAlias
- callSiteArgsListMap : SVF::SVFIR
- callSiteRetMap : SVF::SVFIR
- callSiteSet : SVF::SVFIR
- callSiteStack : SVF::AbstractInterpretation
- callSiteToActualINMap : SVF::SVFG
- callSiteToActualOUTMap : SVF::SVFG
- callsiteToChiSetMap : SVF::MemSSA
- callsiteToModMRsMap : SVF::MRGenerator
- callsiteToModPointsToMap : SVF::MRGenerator
- callsiteToMuSetMap : SVF::MemSSA
- callsiteToRefMRsMap : SVF::MRGenerator
- callsiteToRefPointsToMap : SVF::MRGenerator
- candidateFuncSet : SVF::TCT
- candidateMappings : SVF::FlowSensitive
- candidatePointers : SVF::SVFIR
- candidateQueries : SVF::DDAClient, SVF::DDAVFSolver< CVar, CPtSet, DPIm >
- candidates : SVF::WPAMinimumSolver< GraphType >
- canonicalTypeMap : SVF::DCHGraph
- canonicalTypes : SVF::DCHGraph
- cbv : SVF::CoreBitVector::CoreBitVectorIterator, SVF::PointsTo
- cbvIt : SVF::PointsTo::PointsToIterator
- cflEdgeSet : SVF::CFLGraph
- cflGraph : SVF::CFLGraphBuilder
- CFLGraph : SVF::Options
- CFLSVFG : SVF::Options
- cgNode : SVF::ArgValVar
- chaFFMap : SVF::DCHGraph
- chaMap : SVF::DCHGraph
- checkpoints : SVF::AbstractInterpretation
- chg : SVF::CHGBuilder
- chgraph : SVF::PointerAnalysis, SVF::SVFIR
- child : cJSON
- children : SVF::POCRHybridSolver::TreeNode
- ciLocktoSpan : SVF::LockAnalysis
- ckAPI : SVF::SaberCheckerAPI
- className : SVF::CHNode, SVF::cppUtil::DemangledName
- classNameToAncestorsMap : SVF::CHGraph
- classNameToDescendantsMap : SVF::CHGraph
- classNameToInstAndDescsMap : SVF::CHGraph
- classNameToNodeMap : SVF::CHGraph
- classNum : SVF::CHGraph
- ClockType : SVF::Options
- clpList : SVF::LockAnalysis
- ClusterAnder : SVF::Options
- ClusterFs : SVF::Options
- ClusterMethod : SVF::Options
- CollapseTime : SVF::AndersenStat
- CollectExtRetGlobals : SVF::Options
- complementCache : SVF::PersistentPointsToCache< Data >
- concreteCxt : SVF::ContextCond
- cond : SVF::BranchStmt, SVF::MSSACHI< Cond >, SVF::MSSAMU< Cond >, SVF::MSSAPHI< Cond >
- condition : SVF::SelectStmt
- conditionVar : SVF::IntraCFGEdge
- conditionVec : SVF::SaberCondAllocator
- connectDirSVFGEdgeTimeEnd : SVF::SVFGStat
- connectDirSVFGEdgeTimeStart : SVF::SVFGStat
- connectIndSVFGEdgeTimeEnd : SVF::SVFGStat
- connectIndSVFGEdgeTimeStart : SVF::SVFGStat
- ConnectVCallOnCHA : SVF::Options
- consCG : SVF::AndersenBase
- ConsCGDotGraph : SVF::Options
- constantObjectId : SVF::NodeIDAllocator
- consume : SVF::VersionedFlowSensitive
- containingAggs : SVF::DCHGraph
- content : parse_buffer
- context : SVF::ContextCond, SVF::CxtDPItem, SVF::CxtStmtDPItem< LocCond >
- contextDDA : SVF::DDAStat
- ContextInsensitive : SVF::Options
- controlDg : SVF::CDG
- copyInEdges : SVF::ConstraintNode
- copyKind : SVF::CopyStmt
- copyOutEdges : SVF::ConstraintNode
- copyTime : SVF::FlowSensitive
- count : SVF::AEStat
- coverage : SVF::SVFBugReport
- cpts : SVF::IndirectSVFGEdge, SVF::MRSVFGNode
- cptsSet : SVF::MemRegion
- cptsToRepCPtsMap : SVF::MRGenerator
- cs : SVF::ActualINSVFGNode, SVF::ActualOUTSVFGNode, SVF::ActualParmVFGNode, SVF::ActualRetVFGNode
- csc : SVF::AndersenSFR
- csCHAMap : SVF::DCHGraph
- csId : SVF::CallDirSVFGEdge, SVF::CallGraphEdge, SVF::CallIndSVFGEdge, SVF::RetDirSVFGEdge, SVF::RetIndSVFGEdge
- CSToCallNodeMap : SVF::LLVMModuleSet
- csToCallSiteArgsPtsMap : SVF::MRGenerator
- csToCallSiteRetPtsMap : SVF::MRGenerator
- csToIdMap : SVF::CallGraph
- csToModsMap : SVF::MRGenerator
- csToRefsMap : SVF::MRGenerator
- CSToRetNodeMap : SVF::LLVMModuleSet
- ctpList : SVF::TCT
- ctpToNodeMap : SVF::TCT
- ctToForkCxtMap : SVF::TCT
- ctToRoutineFunMap : SVF::TCT
- ctx : SVF::TCTNode, SVF::Z3Expr
- 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
- cxt : SVF::CxtProc, SVF::CxtStmt, SVF::CxtThread
- CxtBudget : SVF::Options
- cxtJoinInLoop : SVF::ForkJoinAnalysis
- CxtLimit : SVF::Options
- cxtLockset : SVF::LockAnalysis
- cxtLocktoSpan : SVF::LockAnalysis
- cxtStmtList : SVF::ForkJoinAnalysis, SVF::LockAnalysis, SVF::MHP
- cxtStmtToAliveFlagMap : SVF::ForkJoinAnalysis
- cxtStmtToCxtLockSet : SVF::LockAnalysis
- CyclicFldIdx : SVF::Options
