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

- d -

• DCHEdge() : SVF::DCHEdge
• DCHGraph() : SVF::DCHGraph
• DCHNode() : SVF::DCHNode
• DDAClient() : SVF::DDAClient
• DDAPass() : SVF::DDAPass
• DDAStat() : SVF::DDAStat
• DDAVFSolver() : SVF::DDAVFSolver< CVar, CPtSet, DPIm >
• decide_cpa_ext() : SVF::RelationSolver
• DefaultDOTGraphTraits() : SVF::DefaultDOTGraphTraits
• defaultType() : SVF::ObjTypeInference
• delta() : SVF::VersionedFlowSensitive
• deltaSource() : SVF::VersionedFlowSensitive
• deref_val() : SVF::GenericGraphTraits< SVF::GenericGraph< NodeTy, EdgeTy > * >
• destory() : SVF::ExtAPI
• destorySymTable() : SVF::IRGraph
• destroy() : SVF::BaseObjVar, SVF::CallGraph, SVF::CondPTAImpl< Cond >, SVF::ConstraintGraph, SVF::GenericGraph< NodeTy, EdgeTy >, SVF::MemSSA, SVF::MRGenerator, SVF::PointerAnalysis, SVF::ProgSlice, SVF::SaberCondAllocator, SVF::SVFG, SVF::SVFIR, SVF::TCT, SVF::ThreadAPI, SVF::VFG
• detect() : SVF::AEDetector, SVF::BufOverflowDetector, SVF::MTA
• detectExtAPI() : SVF::BufOverflowDetector
• detectSCCs() : SVF::VersionedFlowSensitive::SCC
• detectStrcat() : SVF::BufOverflowDetector
• detectStrcpy() : SVF::BufOverflowDetector
• determineBestMapping() : SVF::NodeIDAllocator::Clusterer
• DFPTData() : SVF::DFPTData< Key, KeySet, Data, DataSet >
• dfsNodesBetweenPdomNodes() : SVF::CDGBuilder
• DiffPTData() : SVF::DiffPTData< Key, KeySet, Data, DataSet >
• direct_child_begin() : SVF::GenericGraphTraits< SVF::GenericNode< NodeTy, EdgeTy > * >
• direct_child_end() : SVF::GenericGraphTraits< SVF::GenericNode< NodeTy, EdgeTy > * >
• directCallFunPass() : SVF::AbstractInterpretation
• directCallsBegin() : SVF::CallGraphEdge
• directCallsEnd() : SVF::CallGraphEdge
• directInEdgeBegin() : SVF::ConstraintNode, SVF::GenericNode< NodeTy, EdgeTy >
• directInEdgeEnd() : SVF::ConstraintNode, SVF::GenericNode< NodeTy, EdgeTy >
• directOutEdgeBegin() : SVF::ConstraintNode, SVF::GenericNode< NodeTy, EdgeTy >
• directOutEdgeEnd() : SVF::ConstraintNode, SVF::GenericNode< NodeTy, EdgeTy >
• DirectSVFGEdge() : SVF::DirectSVFGEdge
• dirVFEdgeEnd() : SVF::SVFGStat
• dirVFEdgeStart() : SVF::SVFGStat
• disablePrintStat() : SVF::PointerAnalysis
• DistinctMRG() : SVF::DistinctMRG
• diTypeToStr() : SVF::DCHGraph
• doit() : SVF::SVFUtil::cast_convert_val< To, From, SimpleFrom >, SVF::SVFUtil::cast_convert_val< To, FromTy, FromTy >, SVF::SVFUtil::isa_impl< To, From, Enabler >, SVF::SVFUtil::isa_impl< To, From, std::enable_if_t< std::is_base_of< To, From >::value > >, SVF::SVFUtil::isa_impl_cl< To, From >, SVF::SVFUtil::isa_impl_cl< To, const From * >, SVF::SVFUtil::isa_impl_cl< To, const From *const >, SVF::SVFUtil::isa_impl_cl< To, const From >, SVF::SVFUtil::isa_impl_cl< To, const std::unique_ptr< From > >, SVF::SVFUtil::isa_impl_cl< To, From * >, SVF::SVFUtil::isa_impl_cl< To, From *const >, SVF::SVFUtil::isa_impl_wrap< To, From, SimpleFrom >, SVF::SVFUtil::isa_impl_wrap< To, FromTy, FromTy >
• dominate() : SVF::FunObjVar, SVF::SaberCondAllocator, SVF::SVFLoopAndDomInfo
• DOTGraphTraits() : SVF::DOTGraphTraits< Ty >, SVF::DOTGraphTraits< CallGraph * >, SVF::DOTGraphTraits< CFLGraph * >, SVF::DOTGraphTraits< CHGraph * >, SVF::DOTGraphTraits< ConstraintGraph * >, SVF::DOTGraphTraits< ICFG * >, SVF::DOTGraphTraits< IRGraph * >, SVF::DOTGraphTraits< SVF::CDG * >, SVF::DOTGraphTraits< SVFG * >, SVF::DOTGraphTraits< TCT * >, SVF::DOTGraphTraits< VFG * >
• doubleEqual() : SVF::BoundedDouble
• DoubleFreeBug() : SVF::DoubleFreeBug
• DoubleFreeChecker() : SVF::DoubleFreeChecker
• DPItem() : SVF::DPItem
• DummyObjVar() : SVF::DummyObjVar
• DummyValVar() : SVF::DummyValVar
• DummyVersionPropSVFGNode() : SVF::DummyVersionPropSVFGNode
• dump() : SVF::AccessPath, SVF::CallCHI< Cond >, SVF::CallGraph, SVF::CallMU< Cond >, SVF::CDG, SVF::CFGrammar, SVF::CFLGraph, SVF::CHGraph, SVF::CondPointsToSet< Cond >, SVF::ConstraintGraph, SVF::CxtProc, SVF::CxtStmt, SVF::CxtStmtDPItem< LocCond >, SVF::CxtThread, SVF::CxtThreadProc, SVF::CxtThreadStmt, SVF::DCHGraph, SVF::DPItem, SVF::EntryCHI< Cond >, SVF::ICFG, SVF::ICFGNode, SVF::IntervalValue, SVF::IRGraph, SVF::LoadMU< Cond >, SVF::MSSACHI< Cond >, SVF::MSSADEF, SVF::MSSAMU< Cond >, SVF::MSSAPHI< Cond >, SVF::RetMU< Cond >, SVF::StmtDPItem< LocCond >, SVF::StoreCHI< Cond >, SVF::SVFG, SVF::SVFVar, SVF::TCT, SVF::TCTNode, SVF::VFG
• dumpAllPts() : SVF::BVDataPTAImpl, SVF::PointerAnalysis
• dumpAllTypes() : SVF::PointerAnalysis
• dumpCHAStats() : SVF::TypeAnalysis
• dumpCond() : SVF::ProgSlice, SVF::SaberCondAllocator
• dumpContexts() : SVF::ContextDDA
• dumpCPts() : SVF::BVDataPTAImpl, SVF::CondPTAImpl< Cond >, SVF::PointerAnalysis
• dumpCPtSet() : SVF::DDAVFSolver< CVar, CPtSet, DPIm >
• dumpCxt() : SVF::TCT
• dumpLocVersionMaps() : SVF::VersionedFlowSensitive
• dumpMeldVersion() : SVF::VersionedFlowSensitive
• dumpModulesToFile() : SVF::LLVMModuleSet
• dumpMSSA() : SVF::MemSSA
• dumpPTData() : 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 >
• dumpPts() : SVF::MutableDFPTData< Key, KeySet, Data, DataSet >, SVF::MutablePTData< Key, KeySet, Data, DataSet >, SVF::PointerAnalysis
• dumpReliances() : SVF::VersionedFlowSensitive
• dumpSlices() : SVF::SrcSnkDDA
• dumpStat() : SVF::PointerAnalysis
• dumpStr() : SVF::CondPointsToSet< Cond >, SVF::MemRegion, SVF::Z3Expr
• dumpSymTable() : SVF::IRGraph, SVF::LLVMModuleSet
• dumpToJsonFile() : SVF::SVFBugReport
• dumpTopLevelPtsTo() : SVF::Andersen, SVF::BVDataPTAImpl, SVF::CondPTAImpl< Cond >, SVF::PointerAnalysis