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

- c -

• calculateAddrVarPts() : SVF::FlowSensitiveStat
• calculateNodeDegrees() : SVF::SVFGStat
• CallCFGEdge() : SVF::CallCFGEdge
• CallCHI() : SVF::CallCHI< Cond >
• CallDirSVFGEdge() : SVF::CallDirSVFGEdge
• CallGraph() : SVF::CallGraph
• CallGraphBuilder() : SVF::CallGraphBuilder
• CallGraphEdge() : SVF::CallGraphEdge
• CallGraphNode() : SVF::CallGraphNode
• callGraphSCCDetection() : SVF::PointerAnalysis
• callGraphSolveBasedOnCHA() : SVF::TypeAnalysis
• callgraphStat() : SVF::PTAStat, SVF::SVFStat
• CallICFGNode() : SVF::CallICFGNode
• CallIndSVFGEdge() : SVF::CallIndSVFGEdge
• CallMU() : SVF::CallMU< Cond >
• CallPE() : SVF::CallPE
• callPEBegin() : SVF::FormalParmVFGNode
• callPEEnd() : SVF::FormalParmVFGNode
• callsiteHasRet() : SVF::SVFIR
• canBeRemoved() : SVF::SVFGOPT
• canHold() : SVF::CoreBitVector
• canSafelyAccessMemory() : SVF::BufOverflowDetector
• canSet() : Option< T >, OptionBase, OptionMap< T >, OptionMultiple< T >
• CDG() : SVF::CDG
• CDGBuilder() : SVF::CDGBuilder
• CDGEdge() : SVF::CDGEdge
• CDGNode() : SVF::CDGNode
• CFGNormalizer() : SVF::CFGNormalizer
• CFGrammar() : SVF::CFGrammar
• CFLAlias() : SVF::CFLAlias
• CFLBase() : SVF::CFLBase
• CFLEdge() : SVF::CFLEdge
• CFLFIFOWorkList() : SVF::CFLFIFOWorkList< Data >
• CFLGrammarStat() : SVF::CFLStat
• CFLGraph() : SVF::CFLGraph
• CFLGraphStat() : SVF::CFLStat
• CFLNode() : SVF::CFLNode
• CFLSolver() : SVF::CFLSolver
• CFLSolverStat() : SVF::CFLStat
• CFLStat() : SVF::CFLStat
• CFLSVFGBuilder() : SVF::CFLSVFGBuilder
• CFLVF() : SVF::CFLVF
• cha() : SVF::DCHGraph
• check() : SVF::CFLGramGraphChecker
• check_head() : SVF::CFGNormalizer
• checkAndRemap() : SVF::CondStdSet< Element >, SVF::PointsTo
• checkICFGNodesVisited() : SVF::ICFGBuilder
• checkIntraEdgeParents() : SVF::ICFG, SVF::VFG
• checkParameter() : SVF::CFLBase, SVF::CFLVF
• checkPointAllSet() : SVF::AbstractInterpretation
• checkRelation() : SVF::AccessPath
• checkSelfCycleEdges() : SVF::SVFGOPT
• CHEdge() : SVF::CHEdge
• CHGBuilder() : SVF::CHGBuilder
• CHGraph() : SVF::CHGraph
• 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 > * >
• CHNode() : SVF::CHNode
• 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
• cluster() : SVF::Andersen, SVF::FlowSensitive, SVF::NodeIDAllocator::Clusterer, SVF::VersionedFlowSensitive
• CmpStmt() : SVF::CmpStmt
• CmpVFGNode() : SVF::CmpVFGNode
• collapseField() : SVF::Andersen
• collapseFields() : SVF::Andersen, SVF::WPASolver< GraphType >
• collapseNodePts() : SVF::Andersen
• collapsePWCNode() : SVF::Andersen
• 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
• 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 >
• 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
• cond() : SVF::CondPointsToSet< Cond >::CondPtsSetIterator
• condAnd() : SVF::ProgSlice, SVF::SaberCondAllocator
• condensedIndex() : SVF::NodeIDAllocator::Clusterer
• condNeg() : SVF::ProgSlice, SVF::SaberCondAllocator
• condOr() : SVF::ProgSlice, SVF::SaberCondAllocator
• CondPointsToSet() : SVF::CondPointsToSet< Cond >
• CondPTAImpl() : SVF::CondPTAImpl< 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
• connectFOutAndAOut() : SVF::SVFG, SVF::SVFGOPT
• connectFRetAndARet() : SVF::SVFGOPT, SVF::VFG
• connectFromGlobalToProgEntry() : SVF::SVFG
• connectGlobalToProgEntry() : SVF::ICFGBuilder
• connectIndirectSVFGEdges() : SVF::SVFG
• connectInheritEdgeViaCall() : SVF::CHGBuilder
• connectInheritEdgeViaStore() : SVF::CHGBuilder
• connectVCallToVFns() : SVF::PointerAnalysis
• connectVGep() : SVF::AliasCFLGraphBuilder, SVF::VFCFLGraphBuilder
• ConstAggObjVar() : SVF::ConstAggObjVar
• ConstAggValVar() : SVF::ConstAggValVar
• constantSymID() : SVF::IRGraph
• ConstDataObjVar() : SVF::ConstDataObjVar
• ConstDataValVar() : SVF::ConstDataValVar
• ConstFPObjVar() : SVF::ConstFPObjVar
• ConstFPValVar() : SVF::ConstFPValVar
• ConstIntObjVar() : SVF::ConstIntObjVar
• ConstIntValVar() : SVF::ConstIntValVar
• ConstNullPtrObjVar() : SVF::ConstNullPtrObjVar
• ConstNullPtrValVar() : SVF::ConstNullPtrValVar
• ConstraintEdge() : SVF::ConstraintEdge
• ConstraintGraph() : SVF::ConstraintGraph
• constraintGraphStat() : SVF::AndersenStat
• ConstraintNode() : SVF::ConstraintNode
• contain() : SVF::IntervalValue
• containBlackHoleNode() : SVF::CondPTAImpl< Cond >, SVF::PointerAnalysis
• containCallStr() : SVF::ContextCond
• containConstantNode() : SVF::CondPTAImpl< Cond >, SVF::PointerAnalysis
• containedWithin() : SVF::IntervalValue
• contains() : SVF::AddressValue, SVF::CondPTAImpl< Cond >, SVF::CoreBitVector, SVF::IntervalValue, SVF::PointsTo, SVF::SparseBitVector< ElementSize >
• ContextCond() : SVF::ContextCond
• ContextDDA() : SVF::ContextDDA
• CopyCGEdge() : SVF::CopyCGEdge
• CopyStmt() : SVF::CopyStmt
• CopyVFGNode() : SVF::CopyVFGNode
• CoreBitVector() : SVF::CoreBitVector
• CoreBitVectorIterator() : SVF::CoreBitVector::CoreBitVectorIterator
• count() : 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
• cptsBegin() : SVF::CondPointsToSet< Cond >
• cptsEnd() : SVF::CondPointsToSet< Cond >
• 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
• CSC() : SVF::CSC
• csHasVFnsBasedonCHA() : SVF::CHGraph, SVF::CommonCHGraph, SVF::DCHGraph
• csHasVtblsBasedonCHA() : SVF::CHGraph, SVF::CommonCHGraph, SVF::DCHGraph
• CxtDPItem() : SVF::CxtDPItem
• CxtProc() : SVF::CxtProc
• cxtSize() : SVF::ContextCond
• CxtStmt() : SVF::CxtStmt
• CxtStmtDPItem() : SVF::CxtStmtDPItem< LocCond >
• CxtThread() : SVF::CxtThread
• CxtThreadProc() : SVF::CxtThreadProc
• CxtThreadStmt() : SVF::CxtThreadStmt
• cxtToStr() : SVF::CxtProc, SVF::CxtStmt, SVF::CxtThread
• cycleDepth() : SVF::WTO< GraphT >