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

- d -

• data : SVF::List< Data >::ListNode
• data_list : SVF::CFLFIFOWorkList< Data >, SVF::FIFOWorkList< Data >, SVF::FILOWorkList< Data >
• data_set : SVF::CFLFIFOWorkList< Data >, SVF::FIFOWorkList< Data >, SVF::FILOWorkList< Data >
• DataDeque : SVF::CFLFIFOWorkList< Data >, SVF::FIFOWorkList< Data >
• DataFlow : SVF::PTData< Key, KeySet, Data, DataSet >
• DataIter : SVF::MutableIncDFPTData< Key, KeySet, Data, DataSet >
• DataMap : SVF::POCRSolver
• DataOp : SVF::PersistentPointsToCache< Data >
• DataSet : SVF::CFLFIFOWorkList< Data >, SVF::FIFOWorkList< Data >, SVF::FILOWorkList< Data >, SVF::List< Data >
• DataVector : SVF::FILOWorkList< Data >
• DBUG : SVF::NodeIDAllocator
• DCHEdge() : SVF::DCHEdge
• DCHEdgeSetTy : SVF::DCHEdge
• DCHGraph() : SVF::DCHGraph
• DCHNode() : SVF::DCHNode
• DCHNodeKd : SVF::SVFValue
• DDAClient() : SVF::DDAClient
• DDAPass() : SVF::DDAPass
• DDASelected : SVF::Options
• DDAStat() : SVF::DDAStat, SVF::DDAVFSolver< CVar, CPtSet, DPIm >
• ddaStat : SVF::DDAVFSolver< CVar, CPtSet, DPIm >
• DDASVFGBuilder : SVF::SVFG
• DDAVFSolver() : SVF::DDAVFSolver< CVar, CPtSet, DPIm >
• decide_cpa_ext() : SVF::RelationSolver
• def : SVF::MRVer
• Default_PTA : SVF::PointerAnalysis
• DefaultDOTGraphTraits() : SVF::DefaultDOTGraphTraits
• defaultType() : SVF::ObjTypeInference
• defNodes : SVF::SVFGOPT
• DEFTYPE : SVF::MSSADEF
• delta() : SVF::VersionedFlowSensitive
• deltaMap : SVF::VersionedFlowSensitive
• deltaSource() : SVF::VersionedFlowSensitive
• deltaSourceMap : SVF::VersionedFlowSensitive
• DendrogramTraversalTime : SVF::NodeIDAllocator::Clusterer
• DENSE : SVF::NodeIDAllocator
• depth : parse_buffer, printbuffer
• deref_val() : SVF::GenericGraphTraits< SVF::GenericGraph< NodeTy, EdgeTy > * >
• description : OptionBase
• 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
• DESTRUCTOR : SVF::CHGraph
• detect() : SVF::AEDetector, SVF::BufOverflowDetector, SVF::MTA
• detectExtAPI() : SVF::BufOverflowDetector
• DetectorKind : SVF::AEDetector
• detectors : SVF::AbstractInterpretation
• DetectPWC : SVF::Options
• detectSCCs() : SVF::VersionedFlowSensitive::SCC
• detectStrcat() : SVF::BufOverflowDetector
• detectStrcpy() : SVF::BufOverflowDetector
• determineBestMapping() : SVF::NodeIDAllocator::Clusterer
• dfBBsMap : SVF::SVFLoopAndDomInfo
• DFInOutMap : SVF::FlowSensitive, SVF::FlowSensitiveStat
• dfInPtsMap : SVF::MutableDFPTData< Key, KeySet, Data, DataSet >, SVF::PersistentDFPTData< Key, KeySet, Data, DataSet >
• DFKeyToIDMap : SVF::PersistentDFPTData< Key, KeySet, Data, DataSet >
• dfOutPtsMap : SVF::MutableDFPTData< Key, KeySet, Data, DataSet >, SVF::PersistentDFPTData< Key, KeySet, Data, DataSet >
• DFPTData() : SVF::DFPTData< Key, KeySet, Data, DataSet >
• DFPTDataTy : SVF::BVDataPTAImpl
• DFPtsMap : SVF::MutableDFPTData< Key, KeySet, Data, DataSet >
• DFPtsMapconstIter : SVF::MutableDFPTData< Key, KeySet, Data, DataSet >
• DFPtsMapIter : SVF::MutableDFPTData< Key, KeySet, Data, DataSet >
• DFreeCheck : SVF::Options
• dfsNodesBetweenPdomNodes() : SVF::CDGBuilder
• DI : SVF::CommonCHGraph
• diff : SVF::POCRSolver
• Diff : SVF::PTData< Key, KeySet, Data, DataSet >
• difference_type : SVF::CoreBitVector::CoreBitVectorIterator, SVF::iter_adaptor_base< DerivedT, WrappedIteratorT, IteratorCategoryT, T, DifferenceTypeT, PointerT, ReferenceT >, SVF::iter_facade_base< DerivedT, IteratorCategoryT, T, DifferenceTypeT, PointerT, ReferenceT >, SVF::PointsTo::PointsToIterator
• DiffPTData() : SVF::DiffPTData< Key, KeySet, Data, DataSet >
• DiffPTDataTy : SVF::BVDataPTAImpl
• DiffPts : SVF::Options
• diffPtsMap : SVF::MutableDiffPTData< Key, KeySet, Data, DataSet >, SVF::PersistentDiffPTData< Key, KeySet, Data, DataSet >
• diffWave : SVF::AndersenWaveDiff
• dirAndIndJoinMap : SVF::ForkJoinAnalysis
• direct_child_begin() : SVF::GenericGraphTraits< SVF::GenericNode< NodeTy, EdgeTy > * >
• direct_child_end() : SVF::GenericGraphTraits< SVF::GenericNode< NodeTy, EdgeTy > * >
• directCallFunPass() : SVF::AbstractInterpretation
• directCalls : SVF::CallGraphEdge
• directCallsBegin() : SVF::CallGraphEdge
• directCallsEnd() : SVF::CallGraphEdge
• directEdgeSet : SVF::ConstraintGraph
• directInEdgeBegin() : SVF::ConstraintNode, SVF::GenericNode< NodeTy, EdgeTy >
• directInEdgeEnd() : SVF::ConstraintNode, SVF::GenericNode< NodeTy, EdgeTy >
• directInEdges : SVF::ConstraintNode
• directJoinMap : SVF::ForkJoinAnalysis
• directOutEdgeBegin() : SVF::ConstraintNode, SVF::GenericNode< NodeTy, EdgeTy >
• directOutEdgeEnd() : SVF::ConstraintNode, SVF::GenericNode< NodeTy, EdgeTy >
• directOutEdges : SVF::ConstraintNode
• directPropaTime : SVF::FlowSensitive
• DirectSVFGEdge() : SVF::DirectSVFGEdge
• dirVFEdgeEnd() : SVF::SVFGStat
• dirVFEdgeStart() : SVF::SVFGStat
• disablePrintStat() : SVF::PointerAnalysis
• DisableWarn : SVF::Options
• DistanceMatrixTime : SVF::NodeIDAllocator::Clusterer
• Distinct : SVF::MemSSA
• DistinctMRG() : SVF::DistinctMRG
• DistOccMap : SVF::NodeIDAllocator::Clusterer
• diType : SVF::DCHNode
• diTypeToNodeMap : SVF::DCHGraph
• 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 >
• DoLockAnalysis : SVF::Options
• 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 * >
• DOTTraits : SVF::GraphWriter< GraphType >
• doubleEqual() : SVF::BoundedDouble
• DOUBLEFREE : SVF::GenericBug
• DoubleFreeBug() : SVF::DoubleFreeBug
• DoubleFreeChecker() : SVF::DoubleFreeChecker
• DPIm : SVF::SrcSnkDDA
• DPImSet : SVF::SrcSnkDDA
• DPImToCPtSetMap : SVF::DDAVFSolver< CVar, CPtSet, DPIm >
• DPItem() : SVF::DPItem
• dpmToADCPtSetMap : SVF::DDAVFSolver< CVar, CPtSet, DPIm >
• DPMToCVarMap : SVF::DDAVFSolver< CVar, CPtSet, DPIm >
• DPMToDPMMap : SVF::DDAVFSolver< CVar, CPtSet, DPIm >
• dpmToloadDpmMap : SVF::DDAVFSolver< CVar, CPtSet, DPIm >
• dpmToTLCPtSetMap : SVF::DDAVFSolver< CVar, CPtSet, DPIm >
• DPTItemSet : SVF::DDAVFSolver< CVar, CPtSet, DPIm >
• DR_CHECK : SVF::Annotator
• DR_NOT_CHECK : SVF::Annotator
• dst : SVF::GenericEdge< NodeTy >
• dtBBsMap : SVF::SVFLoopAndDomInfo
• DTraits : SVF::GraphWriter< GraphType >
• DummyObjNode : SVF::SVFValue
• DummyObjVar() : SVF::DummyObjVar
• DummyValNode : SVF::SVFValue
• DummyValVar() : SVF::DummyValVar
• DummyVersionPropSVFGNode() : SVF::DummyVersionPropSVFGNode
• DummyVProp : SVF::SVFValue
• 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
• DumpCHA : SVF::Options
• 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
• DumpICFG : SVF::Options
• DumpJson : SVF::Options
• dumpLocVersionMaps() : SVF::VersionedFlowSensitive
• dumpMeldVersion() : SVF::VersionedFlowSensitive
• dumpModulesToFile() : SVF::LLVMModuleSet
• dumpMSSA() : SVF::MemSSA
• DumpMSSA : SVF::Options
• 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
• DumpSlice : SVF::Options
• 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
• DumpVFG : SVF::Options
• dval : SVF::ConstFPObjVar, SVF::ConstFPValVar