Here is a list of all typedefs with links to the classes they belong to:
- c -
- CALLCHI : SVF::MemSSA, SVF::SVFG
- CallEdgeMap : SVF::CallGraph, SVF::FlowDDA, SVF::PointerAnalysis, SVF::SVFGBuilder
- CallGraphEdgeConstIter : SVF::CallGraph
- CallGraphEdgeIter : SVF::CallGraph
- CallGraphEdgeSet : SVF::CallGraph, SVF::CallGraphEdge
- CallGraphSCC : SVF::AbstractInterpretation, SVF::DDAVFSolver< CVar, CPtSet, DPIm >, SVF::PointerAnalysis
- CallInstSet : SVF::CallGraphEdge, SVF::DDAVFSolver< CVar, CPtSet, DPIm >
- CallInstToCallGraphEdgesMap : SVF::CallGraph
- CallInstToForkEdgesMap : SVF::ThreadCallGraph
- CallInstToJoinEdgesMap : SVF::ThreadCallGraph
- CallInstToParForEdgesMap : SVF::ThreadCallGraph
- CALLMU : SVF::MemSSA, SVF::SVFG
- CallNodeToCHNodesMap : SVF::CHGraph
- CallNodeToVFunSetMap : SVF::CHGraph
- CallNodeToVTableSetMap : SVF::CHGraph
- CallPESet : SVF::ICFGNode, SVF::VFG, SVF::VFGNode
- CallSite2DummyValPN : SVF::AndersenBase, SVF::CFLAlias
- CallSitePair : SVF::CallGraph
- CallSiteSet : SVF::DDAVFSolver< CVar, CPtSet, DPIm >, SVF::FlowDDA, SVF::PointerAnalysis, SVF::SrcSnkDDA, SVF::SVFGBuilder, SVF::SVFIR, SVF::ThreadCallGraph
- CallSiteToActualINsMapTy : SVF::SVFG
- CallSiteToActualOUTsMapTy : SVF::SVFG
- CallSiteToCHISetMap : SVF::MemSSA
- CallSiteToFunPtrMap : SVF::PointerAnalysis, SVF::SVFIR
- CallSiteToIdMap : SVF::CallGraph
- CallSiteToMRsMap : SVF::MRGenerator
- CallSiteToMUSetMap : SVF::MemSSA
- CallSiteToNodeBSMap : SVF::MRGenerator
- CallSiteToPointsToMap : SVF::MRGenerator
- CDGEdgeSetTy : SVF::CDG, SVF::CDGEdge
- CDGNodeIDToNodeMapTy : SVF::CDG
- CFLEdgeDataTy : SVF::CFLNode
- CFLEdgeSet : SVF::CFLGraph
- CFLEdgeSetTy : SVF::CFLEdge
- CFWorkList : SVF::ProgSlice, SVF::SaberCondAllocator
- CGSCC : SVF::Andersen
- CHEdgeSetTy : SVF::CHEdge
- CHI : SVF::MemSSA, SVF::SVFG
- 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 > * >
- CHISet : SVF::MemSSA, SVF::SVFG
- CHITYPE : SVF::MSSACHI< Cond >
- CHNodeSetTy : SVF::CHGBuilder, SVF::CHGraph
- CILockToSpan : SVF::LockAnalysis
- CISpan : SVF::LockAnalysis
- Condition : SVF::MemRegion, SVF::MemSSA, SVF::ProgSlice, SVF::SaberCondAllocator
- CondPosMap : SVF::SaberCondAllocator
- CondPts : SVF::CondPointsToSet< Cond >
- CondPtsConstIter : SVF::CondPointsToSet< Cond >
- CondPtsIter : SVF::CondPointsToSet< Cond >
- const_bb_iterator : SVF::FunObjVar
- 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
- ConstraintEdgeSetTy : SVF::ConstraintEdge
- ConstraintNodeIDToNodeMapTy : SVF::ConstraintGraph
- ConstraintNodeIter : SVF::ConstraintGraph
- ConstSVFGEdgeSet : SVF::DDAVFSolver< CVar, CPtSet, DPIm >
- CPtSet : SVF::CondPTAImpl< Cond >
- CSToArgsListMap : SVF::SVFIR
- CSToCallNodeMapTy : SVF::ICFGBuilder, SVF::LLVMModuleSet
- CSToRetMap : SVF::SVFIR
- CSToRetNodeMapTy : SVF::ICFGBuilder, SVF::LLVMModuleSet
- CSWorkList : SVF::LeakChecker
- CtxSet : SVF::ThreadCallGraph
- CVar : SVF::CondPTAImpl< Cond >
- CxtLock : SVF::LockAnalysis
- CxtLockProc : SVF::LockAnalysis
- CxtLockProcSet : SVF::LockAnalysis
- CxtLockProcVec : SVF::LockAnalysis
- CxtLockSet : SVF::LockAnalysis
- CxtLockToLockSet : SVF::LockAnalysis
- CxtLockToSpan : SVF::LockAnalysis
- CxtStmtSet : SVF::LockAnalysis
- CxtStmtToAliveFlagMap : SVF::ForkJoinAnalysis
- CxtStmtToCxtLockSet : SVF::LockAnalysis
- CxtStmtToLockFlagMap : SVF::LockAnalysis
- CxtStmtToLoopMap : SVF::ForkJoinAnalysis
- CxtStmtToTIDMap : SVF::ForkJoinAnalysis
- CxtStmtWorkList : SVF::ForkJoinAnalysis, SVF::LockAnalysis
- CxtThreadProcSet : SVF::TCT
- CxtThreadProcVec : SVF::TCT
- CxtThreadStmtSet : SVF::MHP
- CxtThreadStmtWorkList : SVF::MHP
- CxtThreadToForkCxt : SVF::TCT
- CxtThreadToFun : SVF::TCT
- CxtThreadToNodeMap : SVF::TCT
- CycleDepthNumber : SVF::WTO< GraphT >
