svf-tools 1.0.875 → 1.0.877

package/SVF-doxygen/html/search/all_4.js

@@ -1,240 +1,240 @@
 var searchData=
 [
-  ['daa_1538',['DAA',['../dda_8cpp.html#aa87e1cd4be4709a21393ed9e1a0da6bb',1,'dda.cpp']]],
-  ['dandersen_1539',['DAndersen',['../SVFType_8h.html#adbfc4364261f019dc6cf33234a5177d2',1,'SVFType.h']]],
-  ['data_1540',['data',['../classSVF_1_1List_1_1ListNode.html#a4a9cb4ae17156d6d80d2357e06231e12',1,'SVF::List::ListNode']]],
-  ['data_5flist_1541',['data_list',['../classSVF_1_1CFLFIFOWorkList.html#a5a5caa556bf8023b4b0b525179efd1b0',1,'SVF::CFLFIFOWorkList::data_list()'],['../classSVF_1_1FIFOWorkList.html#a270dad3fd1d95418e4af102b64fcc883',1,'SVF::FIFOWorkList::data_list()'],['../classSVF_1_1FILOWorkList.html#aeda28a2200d763279027642c8cf6a4bf',1,'SVF::FILOWorkList::data_list()']]],
-  ['data_5fset_1542',['data_set',['../classSVF_1_1CFLFIFOWorkList.html#a62ef55a46552652e20f8e3bfc2b72bd0',1,'SVF::CFLFIFOWorkList::data_set()'],['../classSVF_1_1FIFOWorkList.html#a5e9648954a2f6902dc4106cc17a7d1e6',1,'SVF::FIFOWorkList::data_set()'],['../classSVF_1_1FILOWorkList.html#a46092b75425becfe97fdf047206c736b',1,'SVF::FILOWorkList::data_set()']]],
-  ['datadeque_1543',['DataDeque',['../classSVF_1_1CFLFIFOWorkList.html#aa2ac3edad97017817899d081dc6f1df7',1,'SVF::CFLFIFOWorkList::DataDeque()'],['../classSVF_1_1FIFOWorkList.html#a2907cd4515b2072aae0a88e972e93fc4',1,'SVF::FIFOWorkList::DataDeque()']]],
-  ['dataflow_1544',['DataFlow',['../classSVF_1_1PTData.html#a74ce29609c51f2be34a0b5b7650a9848acb817cbf655c365c02af3675588f06cc',1,'SVF::PTData']]],
-  ['dataiter_1545',['DataIter',['../classSVF_1_1MutableIncDFPTData.html#a1fc4dff28f9044234fdfeede6f4b1cb0',1,'SVF::MutableIncDFPTData']]],
-  ['datalayout_1546',['DataLayout',['../namespaceSVF.html#a03db82b8a7914367024723dba4d6ca3c',1,'SVF']]],
-  ['datamap_1547',['DataMap',['../classSVF_1_1POCRSolver.html#ad60f45d469f1b576e1c49ec0cdf29e1e',1,'SVF::POCRSolver']]],
-  ['dataop_1548',['DataOp',['../classSVF_1_1PersistentPointsToCache.html#a5a0f1b93f29ce62ad13042ab8435c62c',1,'SVF::PersistentPointsToCache']]],
-  ['dataset_1549',['DataSet',['../classSVF_1_1CFLFIFOWorkList.html#a0db15ca0ec5a14aee493ccfe54d34d85',1,'SVF::CFLFIFOWorkList::DataSet()'],['../classSVF_1_1List.html#a8f8a9dff1d1213a747f0d7ce8b1802e9',1,'SVF::List::DataSet()'],['../classSVF_1_1FIFOWorkList.html#a4803dc3b7f3ab57261261acb20551579',1,'SVF::FIFOWorkList::DataSet()'],['../classSVF_1_1FILOWorkList.html#abe04c596453280fe15cadde868ded798',1,'SVF::FILOWorkList::DataSet()']]],
-  ['datavector_1550',['DataVector',['../classSVF_1_1FILOWorkList.html#a41d3d71633adc6a1282922b4e4929a7f',1,'SVF::FILOWorkList']]],
-  ['dbout_1551',['DBOUT',['../SVFType_8h.html#a173ce1b9b505fdadf5613b663749d3b0',1,'SVFType.h']]],
-  ['dbug_1552',['DBUG',['../classSVF_1_1NodeIDAllocator.html#a8cf553cd07768aad3f3b91bf3d7c6228a36e359346b349ead71f7ab095b0865af',1,'SVF::NodeIDAllocator']]],
-  ['dcache_1553',['DCache',['../SVFType_8h.html#a500788b9fb425915fa4330d72142aec9',1,'SVFType.h']]],
-  ['dcgettext_1554',['dcgettext',['../extapi_8c.html#ae47e2e0ff32239d263bc2d182b3cabca',1,'extapi.c']]],
-  ['dcha_1555',['DCHA',['../SVFType_8h.html#a263149d980e5c3165dfe8750bfac3223',1,'SVFType.h']]],
-  ['dchedge_1556',['DCHEdge',['../classSVF_1_1DCHEdge.html',1,'SVF::DCHEdge'],['../classSVF_1_1DCHEdge.html#a17e3db6d11e0752064194ffc46cd9afe',1,'SVF::DCHEdge::DCHEdge()']]],
-  ['dchedgesetty_1557',['DCHEdgeSetTy',['../classSVF_1_1DCHEdge.html#a2580878ab964494ee5c7840e16ef84b3',1,'SVF::DCHEdge']]],
-  ['dchg_2ecpp_1558',['DCHG.cpp',['../DCHG_8cpp.html',1,'']]],
-  ['dchg_2eh_1559',['DCHG.h',['../DCHG_8h.html',1,'']]],
-  ['dchgraph_1560',['DCHGraph',['../classSVF_1_1DCHGraph.html',1,'SVF::DCHGraph'],['../classSVF_1_1DCHGraph.html#a7cbea4d5399333497faa3f8d213e365e',1,'SVF::DCHGraph::DCHGraph()']]],
-  ['dchnode_1561',['DCHNode',['../classSVF_1_1DCHNode.html',1,'SVF::DCHNode'],['../classSVF_1_1DCHNode.html#a3e81cc40aa1c37999cead00f1af85a6e',1,'SVF::DCHNode::DCHNode()']]],
-  ['dcommodel_1562',['DCOMModel',['../SVFType_8h.html#aa97040d501d68863c7f0c93ed7514857',1,'SVFType.h']]],
-  ['dda_2ecpp_1563',['dda.cpp',['../dda_8cpp.html',1,'']]],
-  ['ddaclient_1564',['DDAClient',['../classSVF_1_1DDAClient.html',1,'SVF::DDAClient'],['../classSVF_1_1DDAClient.html#a1070c1a68fa7da7bdb23240957048ee9',1,'SVF::DDAClient::DDAClient()']]],
-  ['ddaclient_2ecpp_1565',['DDAClient.cpp',['../DDAClient_8cpp.html',1,'']]],
-  ['ddaclient_2eh_1566',['DDAClient.h',['../DDAClient_8h.html',1,'']]],
-  ['ddapass_1567',['DDAPass',['../classSVF_1_1DDAPass.html',1,'SVF::DDAPass'],['../classSVF_1_1DDAPass.html#a4f68cbbe00863024cba2ecf513ff979f',1,'SVF::DDAPass::DDAPass()']]],
-  ['ddapass_2ecpp_1568',['DDAPass.cpp',['../DDAPass_8cpp.html',1,'']]],
-  ['ddapass_2eh_1569',['DDAPass.h',['../DDAPass_8h.html',1,'']]],
-  ['ddaselected_1570',['DDASelected',['../classSVF_1_1Options.html#afa6c98d477db41a457ac83cfbfd4a580',1,'SVF::Options']]],
-  ['ddastat_1571',['DDAStat',['../classSVF_1_1DDAStat.html',1,'SVF::DDAStat'],['../classSVF_1_1DDAVFSolver.html#af83f88f2ae2456f2691e8822d56b1598',1,'SVF::DDAVFSolver::DDAStat()'],['../classSVF_1_1DDAStat.html#aef8db234efc3a5ae58a6d43de97ca361',1,'SVF::DDAStat::DDAStat(FlowDDA *pta)'],['../classSVF_1_1DDAStat.html#ae7670e6458c62473b0be78004466b9d7',1,'SVF::DDAStat::DDAStat(ContextDDA *pta)'],['../classSVF_1_1DDAVFSolver.html#ae40c7bad663e0fa07dee4be3d1794ff2',1,'SVF::DDAVFSolver::ddaStat()']]],
-  ['ddastat_2ecpp_1572',['DDAStat.cpp',['../DDAStat_8cpp.html',1,'']]],
-  ['ddastat_2eh_1573',['DDAStat.h',['../DDAStat_8h.html',1,'']]],
-  ['ddasvfgbuilder_1574',['DDASVFGBuilder',['../classSVF_1_1SVFG.html#a9ccd530dc4c49b0df372a2ce95b66921',1,'SVF::SVFG']]],
-  ['ddavfsolver_1575',['DDAVFSolver',['../classSVF_1_1DDAVFSolver.html',1,'SVF::DDAVFSolver< CVar, CPtSet, DPIm >'],['../classSVF_1_1DDAVFSolver.html#a7ee96b513074c283d23434590ce15e7d',1,'SVF::DDAVFSolver::DDAVFSolver()']]],
-  ['ddavfsolver_2eh_1576',['DDAVFSolver.h',['../DDAVFSolver_8h.html',1,'']]],
-  ['ddavfsolver_3c_20cxtvar_2c_20cxtptset_2c_20cxtlocdpitem_20_3e_1577',['DDAVFSolver< CxtVar, CxtPtSet, CxtLocDPItem >',['../classSVF_1_1DDAVFSolver.html',1,'SVF']]],
-  ['ddavfsolver_3c_20nodeid_2c_20pointsto_2c_20locdpitem_20_3e_1578',['DDAVFSolver< NodeID, PointsTo, LocDPItem >',['../classSVF_1_1DDAVFSolver.html',1,'SVF']]],
-  ['ddda_1579',['DDDA',['../SVFType_8h.html#a40845b3027a1237076aa8297ca39e730',1,'SVFType.h']]],
-  ['ddumppt_1580',['DDumpPT',['../SVFType_8h.html#a395c9d15b59b8c057f859855f0405d7b',1,'SVFType.h']]],
-  ['debug_5ftype_1581',['DEBUG_TYPE',['../BreakConstantExpr_8cpp.html#ad78e062f62e0d6e453941fb4ca843e4d',1,'BreakConstantExpr.cpp']]],
-  ['debuginfofinder_1582',['DebugInfoFinder',['../namespaceSVF.html#a5ae98f122c64b0114df2e5861b341321',1,'SVF']]],
-  ['decide_5fcpa_5fext_1583',['decide_cpa_ext',['../classSVF_1_1RelationSolver.html#a7ace50c6e53a79f0e329badb63570f92',1,'SVF::RelationSolver']]],
-  ['def_1584',['def',['../classSVF_1_1MRVer.html#a3398bb8d3189413c275b62d5cb7a5fc4',1,'SVF::MRVer']]],
-  ['default_5fpta_1585',['Default_PTA',['../classSVF_1_1PointerAnalysis.html#a0b182ac680cce0547dbe7714c870ca85adb3d4cbd8c38c1c498bc51198626a790',1,'SVF::PointerAnalysis']]],
-  ['defaultdotgraphtraits_1586',['DefaultDOTGraphTraits',['../structSVF_1_1DefaultDOTGraphTraits.html',1,'SVF::DefaultDOTGraphTraits'],['../structSVF_1_1DefaultDOTGraphTraits.html#a2fdfa8abc93bd4d0211c4db8ef4ede3e',1,'SVF::DefaultDOTGraphTraits::DefaultDOTGraphTraits()']]],
-  ['defaulttype_1587',['defaultType',['../classSVF_1_1ObjTypeInference.html#aee4383a13cda421acb034ea147e33a6d',1,'SVF::ObjTypeInference']]],
-  ['defnodes_1588',['defNodes',['../classSVF_1_1SVFGOPT.html#abd524dca72261bbcc7ebb1103b693a2b',1,'SVF::SVFGOPT']]],
-  ['deftype_1589',['DEFTYPE',['../classSVF_1_1MSSADEF.html#a32682e20c9c08d2bdd5abc62ea17af18',1,'SVF::MSSADEF']]],
-  ['delta_1590',['delta',['../classSVF_1_1VersionedFlowSensitive.html#a9f9b00551c157f42d1d995e8c4efb54b',1,'SVF::VersionedFlowSensitive']]],
-  ['deltamap_1591',['deltaMap',['../classSVF_1_1VersionedFlowSensitive.html#a11ddfa1faebf56e74e6dcc53e16142e1',1,'SVF::VersionedFlowSensitive']]],
-  ['deltasource_1592',['deltaSource',['../classSVF_1_1VersionedFlowSensitive.html#a3fa5afa4f54e0828ec090fde07b1bfa2',1,'SVF::VersionedFlowSensitive']]],
-  ['deltasourcemap_1593',['deltaSourceMap',['../classSVF_1_1VersionedFlowSensitive.html#aee97e196225aaad29c0bd31d3ccbabf6',1,'SVF::VersionedFlowSensitive']]],
-  ['demangle_1594',['demangle',['../namespaceSVF_1_1cppUtil.html#a745a2addadc136075d45c7fb8437af3e',1,'SVF::cppUtil']]],
-  ['demangledname_1595',['DemangledName',['../structSVF_1_1cppUtil_1_1DemangledName.html',1,'SVF::cppUtil']]],
-  ['dendrogramtraversaltime_1596',['DendrogramTraversalTime',['../classSVF_1_1NodeIDAllocator_1_1Clusterer.html#a67ab9cffacc1584b2e7bae5d1b08c541',1,'SVF::NodeIDAllocator::Clusterer']]],
-  ['dense_1597',['DENSE',['../classSVF_1_1NodeIDAllocator.html#a8cf553cd07768aad3f3b91bf3d7c6228a9df17b1222681bba5e649895deb726f0',1,'SVF::NodeIDAllocator']]],
-  ['depth_1598',['depth',['../structparse__buffer.html#af613c4ed7d73f76c60c50d1bcf4c67a0',1,'parse_buffer::depth()'],['../structprintbuffer.html#aa7311b5da38ff8d1737824c611b48732',1,'printbuffer::depth()']]],
-  ['deref_5fval_1599',['deref_val',['../structSVF_1_1GenericGraphTraits_3_01SVF_1_1GenericGraph_3_01NodeTy_00_01EdgeTy_01_4_01_5_01_4.html#a99287b5330bb4aa2c3eede8f9073fbca',1,'SVF::GenericGraphTraits< SVF::GenericGraph< NodeTy, EdgeTy > * >']]],
-  ['derefmdname_1600',['derefMDName',['../namespaceSVF_1_1cppUtil_1_1ctir.html#a0cd5347bc8043d4306e66a4a96005ace',1,'SVF::cppUtil::ctir']]],
-  ['description_1601',['description',['../classOptionBase.html#a8fbb1cde9e12a099617c8e8298424b5b',1,'OptionBase']]],
-  ['destory_1602',['destory',['../classSVF_1_1ExtAPI.html#abe3e0e2500532acfc01cee7e2ce1cd90',1,'SVF::ExtAPI']]],
-  ['destroy_1603',['destroy',['../classSVF_1_1ConstraintGraph.html#a77ba38543b1ee164f1ae95589d5dbc44',1,'SVF::ConstraintGraph::destroy()'],['../classSVF_1_1GenericGraph.html#adf0a205f4f62f33c5fa8f2d544aac633',1,'SVF::GenericGraph::destroy()'],['../classSVF_1_1PTACallGraph.html#a6a794ee3e4b217a1a0c6edf4bcdbdb69',1,'SVF::PTACallGraph::destroy()'],['../classSVF_1_1SVFG.html#a82a93d9b7fcf1938e3090a0826a1ca7e',1,'SVF::SVFG::destroy()'],['../classSVF_1_1VFG.html#af5005136743913d760d7402bbd308c69',1,'SVF::VFG::destroy()'],['../classSVF_1_1PointerAnalysis.html#a03dadb5429e2b84f88713a83153979a8',1,'SVF::PointerAnalysis::destroy()'],['../classSVF_1_1CondPTAImpl.html#a5fa3d986e4ef710a2148b2854167c3ed',1,'SVF::CondPTAImpl::destroy()'],['../classSVF_1_1MRGenerator.html#ac253d88de2a0cb9624c70d2bcfdac36e',1,'SVF::MRGenerator::destroy()'],['../classSVF_1_1MemSSA.html#a3d6096aeb4155444b532b02bb8559113',1,'SVF::MemSSA::destroy()'],['../classSVF_1_1TCT.html#aa453e3b27ec5fa4782bd6b9adef66877',1,'SVF::TCT::destroy()'],['../classSVF_1_1ProgSlice.html#a899332b210414ac991b57e83851ee5be',1,'SVF::ProgSlice::destroy()'],['../classSVF_1_1SaberCondAllocator.html#a59e01031d81c2e06bbc6577036b51732',1,'SVF::SaberCondAllocator::destroy()'],['../classSVF_1_1SVFIR.html#a6834558be6987c91a3732154482c9567',1,'SVF::SVFIR::destroy()'],['../classSVF_1_1SymbolTableInfo.html#a87cc3289dd69e5378487dd9ae2c9e82e',1,'SVF::SymbolTableInfo::destroy()'],['../classSVF_1_1MemObj.html#a1e6ff4c2b04b07c5f71e5e7a6a0d7735',1,'SVF::MemObj::destroy()'],['../classSVF_1_1ThreadAPI.html#af4d921a3a0e5374188f7b6a6427c049d',1,'SVF::ThreadAPI::destroy()']]],
-  ['destructor_1604',['DESTRUCTOR',['../classSVF_1_1CHGraph.html#a2a1da7f262a2f11653fb583154a93a22adfb68ad45ad216277b580d9a45926dc7',1,'SVF::CHGraph']]],
-  ['detect_1605',['detect',['../classSVF_1_1MTA.html#a5adab2e3b400190ecc9fa2a158203cb3',1,'SVF::MTA']]],
-  ['detectbufoverflow_1606',['detectBufOverflow',['../classSVF_1_1BufOverflowChecker.html#a52de7d619e8746a70718719306d7c5a1',1,'SVF::BufOverflowChecker']]],
-  ['detectpwc_1607',['DetectPWC',['../classSVF_1_1Options.html#a3fc22d0a45be551110d1e326380f3202',1,'SVF::Options']]],
-  ['detectsccs_1608',['detectSCCs',['../classSVF_1_1VersionedFlowSensitive_1_1SCC.html#ac2dd88315f54ae766e73e7680f526ed6',1,'SVF::VersionedFlowSensitive::SCC']]],
-  ['detectstrcat_1609',['detectStrcat',['../classSVF_1_1BufOverflowCheckerAPI.html#ae88696790ca4f3392c7dc76c74619f46',1,'SVF::BufOverflowCheckerAPI']]],
-  ['detectstrcpy_1610',['detectStrcpy',['../classSVF_1_1BufOverflowCheckerAPI.html#a296a3ea0f8df72ce6480b5cb0f207945',1,'SVF::BufOverflowCheckerAPI']]],
-  ['determinebestmapping_1611',['determineBestMapping',['../classSVF_1_1NodeIDAllocator_1_1Clusterer.html#a3f86e733cc075180e9682887c554b8fa',1,'SVF::NodeIDAllocator::Clusterer']]],
-  ['dfbbsmap_1612',['dfBBsMap',['../classSVF_1_1SVFLoopAndDomInfo.html#ae191915ae746e30c8370ebf8fe733723',1,'SVF::SVFLoopAndDomInfo']]],
-  ['dfinoutmap_1613',['DFInOutMap',['../classSVF_1_1FlowSensitive.html#af9a2bd5b490f1cc5335ce696173c78dd',1,'SVF::FlowSensitive::DFInOutMap()'],['../classSVF_1_1FlowSensitiveStat.html#a55d45e82ea3d338114e50da877bcfb75',1,'SVF::FlowSensitiveStat::DFInOutMap()']]],
-  ['dfinptsmap_1614',['dfInPtsMap',['../classSVF_1_1MutableDFPTData.html#abb59ef7367e353e65b82b54dac509f36',1,'SVF::MutableDFPTData::dfInPtsMap()'],['../classSVF_1_1PersistentDFPTData.html#a6b892b707524127928e269f0f0bbe868',1,'SVF::PersistentDFPTData::dfInPtsMap()']]],
-  ['dfkeytoidmap_1615',['DFKeyToIDMap',['../classSVF_1_1PersistentDFPTData.html#a0d0318fa192eac88a4307112e30e9d90',1,'SVF::PersistentDFPTData']]],
-  ['dfoutptsmap_1616',['dfOutPtsMap',['../classSVF_1_1MutableDFPTData.html#ad3c53ef1c8e221299f3afe078946fbe0',1,'SVF::MutableDFPTData::dfOutPtsMap()'],['../classSVF_1_1PersistentDFPTData.html#ad77d7ccad393c995813f8c433c249dfc',1,'SVF::PersistentDFPTData::dfOutPtsMap()']]],
-  ['dfptdata_1617',['DFPTData',['../classSVF_1_1DFPTData.html',1,'SVF::DFPTData< Key, KeySet, Data, DataSet >'],['../classSVF_1_1DFPTData.html#a40016a7e3dac46d9ba854d336c7aae83',1,'SVF::DFPTData::DFPTData()']]],
-  ['dfptdataty_1618',['DFPTDataTy',['../classSVF_1_1BVDataPTAImpl.html#a5c2288519153467142e74c8dd4e77180',1,'SVF::BVDataPTAImpl']]],
-  ['dfptsmap_1619',['DFPtsMap',['../classSVF_1_1MutableDFPTData.html#a0c73427f957d310bc85955bec6654352',1,'SVF::MutableDFPTData']]],
-  ['dfptsmapconstiter_1620',['DFPtsMapconstIter',['../classSVF_1_1MutableDFPTData.html#adb30678f5bbdea0f196d3b0ab67d2bad',1,'SVF::MutableDFPTData']]],
-  ['dfptsmapiter_1621',['DFPtsMapIter',['../classSVF_1_1MutableDFPTData.html#a31ad5da37a88d2b97633d590393b0e64',1,'SVF::MutableDFPTData']]],
-  ['dfreechecker_1622',['DFREECHECKER',['../saber_8cpp.html#ab233df6b8c190aa2c26fa20bd1ac7c52',1,'saber.cpp']]],
-  ['dfsnodesbetweenpdomnodes_1623',['dfsNodesBetweenPdomNodes',['../classSVF_1_1CDGBuilder.html#a6efa510f946ea8befebbc94bed241395',1,'SVF::CDGBuilder']]],
-  ['dgeneral_1624',['DGENERAL',['../SVFType_8h.html#a2c64190a065f342897573a3ef4973adb',1,'SVFType.h']]],
-  ['dgettext_1625',['dgettext',['../extapi_8c.html#ae9c3a42a44267df221d0c4fe5b2ea439',1,'extapi.c']]],
-  ['di_1626',['DI',['../classSVF_1_1CommonCHGraph.html#a6a1feb9e268fb56b0de3efc39cfc8db8ae9e3edea0bae930aa9af04699fca9506',1,'SVF::CommonCHGraph']]],
-  ['dibasictype_1627',['DIBasicType',['../namespaceSVF.html#ada0513be7e25325325ccc9183aeca278',1,'SVF']]],
-  ['dicompositetype_1628',['DICompositeType',['../namespaceSVF.html#aded9b991c77acc5284ccead0739e84f1',1,'SVF']]],
-  ['diderivedtype_1629',['DIDerivedType',['../namespaceSVF.html#a852e75c562139237fcc754c7461533e6',1,'SVF']]],
-  ['diff_1630',['Diff',['../classSVF_1_1PTData.html#a74ce29609c51f2be34a0b5b7650a9848a03a155517b9587d79c3f0b6dc3b72447',1,'SVF::PTData::Diff()'],['../classSVF_1_1POCRSolver.html#a403ddbfcdf61cd01ad9dc778a7e02af0',1,'SVF::POCRSolver::diff()']]],
-  ['difference_5ftype_1631',['difference_type',['../classSVF_1_1PointsTo_1_1PointsToIterator.html#a79da80a016d68d70b63bcaa884cf53cb',1,'SVF::PointsTo::PointsToIterator::difference_type()'],['../classSVF_1_1CoreBitVector_1_1CoreBitVectorIterator.html#aeabc3acd9ce15b8beff0db8a49d8781f',1,'SVF::CoreBitVector::CoreBitVectorIterator::difference_type()'],['../classSVF_1_1iter__facade__base.html#a4850340b864a13fb78e52dfb46d0e8a3',1,'SVF::iter_facade_base::difference_type()'],['../classSVF_1_1iter__adaptor__base.html#a0dc562917692ec5e4880509444b66e9a',1,'SVF::iter_adaptor_base::difference_type()']]],
-  ['diffptdata_1632',['DiffPTData',['../classSVF_1_1DiffPTData.html',1,'SVF::DiffPTData< Key, KeySet, Data, DataSet >'],['../classSVF_1_1DiffPTData.html#ac7e9661cfb4d5af3ef35d323ddc35558',1,'SVF::DiffPTData::DiffPTData()']]],
-  ['diffptdataty_1633',['DiffPTDataTy',['../classSVF_1_1BVDataPTAImpl.html#abd8bb73e9beac5e39667091b1e211bd3',1,'SVF::BVDataPTAImpl']]],
-  ['diffpts_1634',['DiffPts',['../classSVF_1_1Options.html#ae782f25eaee9ac363c733b6ac609fbce',1,'SVF::Options']]],
-  ['diffptsmap_1635',['diffPtsMap',['../classSVF_1_1MutableDiffPTData.html#a9ee7874e987e93eb4cb9d75ed08effd5',1,'SVF::MutableDiffPTData::diffPtsMap()'],['../classSVF_1_1PersistentDiffPTData.html#ac54339952e2734a6affdaa543fb3ed22',1,'SVF::PersistentDiffPTData::diffPtsMap()']]],
-  ['diffwave_1636',['diffWave',['../classSVF_1_1AndersenWaveDiff.html#add4dcb6d74a8ce8747bcac5f740cd672',1,'SVF::AndersenWaveDiff']]],
-  ['dinode_1637',['DINode',['../namespaceSVF.html#a758f3bee97ed46a719d64a2d4f2bc62d',1,'SVF']]],
-  ['dinodearray_1638',['DINodeArray',['../namespaceSVF.html#a0f825e73d115173b05ca54fb8ec65003',1,'SVF']]],
-  ['dinstrument_1639',['DInstrument',['../SVFType_8h.html#abf3a5def3f319733214fa5f595b39827',1,'SVFType.h']]],
-  ['dirandindjoinmap_1640',['dirAndIndJoinMap',['../classSVF_1_1ForkJoinAnalysis.html#ab5678bd46e573070827cc413f0e0d5be',1,'SVF::ForkJoinAnalysis']]],
-  ['direct_5fchild_5fbegin_1641',['direct_child_begin',['../structSVF_1_1GenericGraphTraits_3_01SVF_1_1GenericNode_3_01NodeTy_00_01EdgeTy_01_4_01_5_01_4.html#a46c6957a8771d6e52dc71d5f7b3c4e81',1,'SVF::GenericGraphTraits< SVF::GenericNode< NodeTy, EdgeTy > * >']]],
-  ['direct_5fchild_5fend_1642',['direct_child_end',['../structSVF_1_1GenericGraphTraits_3_01SVF_1_1GenericNode_3_01NodeTy_00_01EdgeTy_01_4_01_5_01_4.html#a543da98c9818fbfd235152beab355e9c',1,'SVF::GenericGraphTraits< SVF::GenericNode< NodeTy, EdgeTy > * >']]],
-  ['directcallfunpass_1643',['directCallFunPass',['../classSVF_1_1AE.html#a73a42726f0c1af6d081b57bdbf143b0f',1,'SVF::AE']]],
-  ['directcalls_1644',['directCalls',['../classSVF_1_1PTACallGraphEdge.html#a2f3e4b61225c4ca37b0f70e3edc61920',1,'SVF::PTACallGraphEdge']]],
-  ['directcallsbegin_1645',['directCallsBegin',['../classSVF_1_1PTACallGraphEdge.html#a750e50a9022451e406c4819979edffa5',1,'SVF::PTACallGraphEdge']]],
-  ['directcallsend_1646',['directCallsEnd',['../classSVF_1_1PTACallGraphEdge.html#acc4fcacefdc9be9a214dfcc455fe7970',1,'SVF::PTACallGraphEdge']]],
-  ['directedgeset_1647',['directEdgeSet',['../classSVF_1_1ConstraintGraph.html#a1be3ebb84b3d334daf98f7e6f5b82256',1,'SVF::ConstraintGraph']]],
-  ['directinedgebegin_1648',['directInEdgeBegin',['../classSVF_1_1CFBasicBlockNode.html#accc815b1ebcf66eb596d17a2e7e75403',1,'SVF::CFBasicBlockNode::directInEdgeBegin()'],['../classSVF_1_1CFBasicBlockNode.html#a63bfa2866dac843cf8a177055676ffff',1,'SVF::CFBasicBlockNode::directInEdgeBegin() const'],['../classSVF_1_1ConstraintNode.html#a66c58fc9e29b9e2c88cb7e3216415c9f',1,'SVF::ConstraintNode::directInEdgeBegin()'],['../classSVF_1_1ConstraintNode.html#afdb510d663364d21762af0f1f292e50e',1,'SVF::ConstraintNode::directInEdgeBegin() const'],['../classSVF_1_1GenericNode.html#a4ab1f2e5db301e4a37215905a22e6476',1,'SVF::GenericNode::directInEdgeBegin()'],['../classSVF_1_1GenericNode.html#ab331402aed245c33bad841df2bc21f7b',1,'SVF::GenericNode::directInEdgeBegin() const']]],
-  ['directinedgeend_1649',['directInEdgeEnd',['../classSVF_1_1CFBasicBlockNode.html#a29971b81bdf81bb079718ac15b387ead',1,'SVF::CFBasicBlockNode::directInEdgeEnd()'],['../classSVF_1_1CFBasicBlockNode.html#a9c989d41ad6b2a92422b1cce15121ec2',1,'SVF::CFBasicBlockNode::directInEdgeEnd() const'],['../classSVF_1_1ConstraintNode.html#aed4e0b2ede72717491747158c2e2702f',1,'SVF::ConstraintNode::directInEdgeEnd()'],['../classSVF_1_1ConstraintNode.html#a9101c445c228d059c8a85b8973428047',1,'SVF::ConstraintNode::directInEdgeEnd() const'],['../classSVF_1_1GenericNode.html#a19599627ba095b5452373284deab7f6c',1,'SVF::GenericNode::directInEdgeEnd()'],['../classSVF_1_1GenericNode.html#aa7be9ff204bf85bc3bf2fa4e078fcab2',1,'SVF::GenericNode::directInEdgeEnd() const']]],
-  ['directinedges_1650',['directInEdges',['../classSVF_1_1ConstraintNode.html#a53626700d25b5c004e42354c925df83c',1,'SVF::ConstraintNode']]],
-  ['directjoinmap_1651',['directJoinMap',['../classSVF_1_1ForkJoinAnalysis.html#abf5b499f93a658636d09a62d14a47cad',1,'SVF::ForkJoinAnalysis']]],
-  ['directoutedgebegin_1652',['directOutEdgeBegin',['../classSVF_1_1CFBasicBlockNode.html#abea5a96ff067636ae8d3766329695055',1,'SVF::CFBasicBlockNode::directOutEdgeBegin()'],['../classSVF_1_1CFBasicBlockNode.html#ace9c6976879aaa8c1609a3773de6eec7',1,'SVF::CFBasicBlockNode::directOutEdgeBegin() const'],['../classSVF_1_1ConstraintNode.html#a5be4bd33793fe159397c16a80a05b570',1,'SVF::ConstraintNode::directOutEdgeBegin()'],['../classSVF_1_1ConstraintNode.html#ae0a836aae35a53051209e47a6de4a0f7',1,'SVF::ConstraintNode::directOutEdgeBegin() const'],['../classSVF_1_1GenericNode.html#aa0e258d3a92dae367f2809a6f16c80db',1,'SVF::GenericNode::directOutEdgeBegin()'],['../classSVF_1_1GenericNode.html#acfae7a2809931cbd62b6f47c4813510d',1,'SVF::GenericNode::directOutEdgeBegin() const']]],
-  ['directoutedgeend_1653',['directOutEdgeEnd',['../classSVF_1_1CFBasicBlockNode.html#a77bac962599c92286edee26a1d430624',1,'SVF::CFBasicBlockNode::directOutEdgeEnd()'],['../classSVF_1_1CFBasicBlockNode.html#aeb06f080cd085dbae0d23315311ff952',1,'SVF::CFBasicBlockNode::directOutEdgeEnd() const'],['../classSVF_1_1ConstraintNode.html#ae3465d3c949ec59e243b30ad0ecd256d',1,'SVF::ConstraintNode::directOutEdgeEnd()'],['../classSVF_1_1ConstraintNode.html#a2069add351804447659d39bf53d9bf41',1,'SVF::ConstraintNode::directOutEdgeEnd() const'],['../classSVF_1_1GenericNode.html#a5950d69d4ba6c2122dd06b93911e4992',1,'SVF::GenericNode::directOutEdgeEnd()'],['../classSVF_1_1GenericNode.html#a7f914b128f7839483efc9ad56834e7c2',1,'SVF::GenericNode::directOutEdgeEnd() const']]],
-  ['directoutedges_1654',['directOutEdges',['../classSVF_1_1ConstraintNode.html#affb426040b05678fcbce62002a02bb06',1,'SVF::ConstraintNode']]],
-  ['directpropatime_1655',['directPropaTime',['../classSVF_1_1FlowSensitive.html#ae086de68233375be42185f0af706687a',1,'SVF::FlowSensitive']]],
-  ['directsvfgedge_1656',['DirectSVFGEdge',['../classSVF_1_1DirectSVFGEdge.html',1,'SVF::DirectSVFGEdge'],['../classSVF_1_1DirectSVFGEdge.html#a739ffa262f30d6473f56a610fd64fe95',1,'SVF::DirectSVFGEdge::DirectSVFGEdge()']]],
-  ['dirvfedgeend_1657',['dirVFEdgeEnd',['../classSVF_1_1SVFGStat.html#abef8f1d89413ed3c6e67dcd2b81729d8',1,'SVF::SVFGStat']]],
-  ['dirvfedgestart_1658',['dirVFEdgeStart',['../classSVF_1_1SVFGStat.html#a169d75c0fd09f69d86939d84db67e590',1,'SVF::SVFGStat']]],
-  ['disableprintstat_1659',['disablePrintStat',['../classSVF_1_1PointerAnalysis.html#af44b14fed89918847c0228c1100c56d2',1,'SVF::PointerAnalysis']]],
-  ['disablewarn_1660',['DisableWarn',['../classSVF_1_1Options.html#a1721ff576ad641d862f29b038f31db28',1,'SVF::Options']]],
-  ['distancematrixtime_1661',['DistanceMatrixTime',['../classSVF_1_1NodeIDAllocator_1_1Clusterer.html#a09d2dbb2faab0a0e03bfa353534116a8',1,'SVF::NodeIDAllocator::Clusterer']]],
-  ['distinct_1662',['Distinct',['../classSVF_1_1MemSSA.html#ac0797f2ee7b59ae720095a4836533671a9da5f4ad2a43befdbc4be319bffc80ea',1,'SVF::MemSSA']]],
-  ['distinctmrg_1663',['DistinctMRG',['../classSVF_1_1DistinctMRG.html',1,'SVF::DistinctMRG'],['../classSVF_1_1DistinctMRG.html#ad7e4959327aa45932fd788bacca0de01',1,'SVF::DistinctMRG::DistinctMRG()']]],
-  ['distoccmap_1664',['DistOccMap',['../classSVF_1_1NodeIDAllocator_1_1Clusterer.html#a1f74f1e72a844166f742d2d46efbbb5e',1,'SVF::NodeIDAllocator::Clusterer']]],
-  ['disubprogram_1665',['DISubprogram',['../namespaceSVF.html#a89c7208bfc0b57873dfa574f52050295',1,'SVF']]],
-  ['disubrange_1666',['DISubrange',['../namespaceSVF.html#a99bc1228f07429855c81a720be862dc6',1,'SVF']]],
-  ['disubroutinetype_1667',['DISubroutineType',['../namespaceSVF.html#a090e0791e8c200104ed3ab6bab157129',1,'SVF']]],
-  ['ditype_1668',['diType',['../classSVF_1_1DCHNode.html#a05b5b4539273ac5d21d8cbcfa712a439',1,'SVF::DCHNode::diType()'],['../namespaceSVF.html#ad127b0ad478640ede3d426e3a58d2632',1,'SVF::DIType()']]],
-  ['dityperefarray_1669',['DITypeRefArray',['../namespaceSVF.html#a9d3ee421789884473bfacfaa9ec007cc',1,'SVF']]],
-  ['ditypetonodemap_1670',['diTypeToNodeMap',['../classSVF_1_1DCHGraph.html#ae2aee47b803f9cde8950b7f1ad11273d',1,'SVF::DCHGraph']]],
-  ['ditypetostr_1671',['diTypeToStr',['../classSVF_1_1DCHGraph.html#a2dc488345cc3a5f37079952f638d8c2b',1,'SVF::DCHGraph']]],
-  ['dmemmodel_1672',['DMemModel',['../SVFType_8h.html#ad46a0423f8709692e1bb0f0fa5b1ca2f',1,'SVFType.h']]],
-  ['dmemmodelce_1673',['DMemModelCE',['../SVFType_8h.html#aaff570bb354b8519a4852ffda413af7c',1,'SVFType.h']]],
-  ['dmssa_1674',['DMSSA',['../SVFType_8h.html#a385e9d80a013723304b329454d32e8b1',1,'SVFType.h']]],
-  ['dmta_1675',['DMTA',['../SVFType_8h.html#a217a1ccdaec1abb103cf6b0373631234',1,'SVFType.h']]],
-  ['dngettext_1676',['dngettext',['../extapi_8c.html#a54ac933fa6a0e84898be26c04faacb92',1,'extapi.c']]],
-  ['doit_1677',['doit',['../structSVF_1_1SVFUtil_1_1isa__impl.html#a150c6a99c45befa44a4cd2bcc8d06eee',1,'SVF::SVFUtil::isa_impl::doit()'],['../structSVF_1_1SVFUtil_1_1isa__impl_3_01To_00_01From_00_01std_1_1enable__if__t_3_01std_1_1is__baseacbe8554d65d479d86c5b7d994311309.html#a1d03ef26d605e8f9cb9ecf68e69447dc',1,'SVF::SVFUtil::isa_impl< To, From, std::enable_if_t< std::is_base_of< To, From >::value > >::doit()'],['../structSVF_1_1SVFUtil_1_1isa__impl__cl.html#afbe68352d888c0b15e9f46d4e378bacb',1,'SVF::SVFUtil::isa_impl_cl::doit()'],['../structSVF_1_1SVFUtil_1_1isa__impl__cl_3_01To_00_01const_01From_01_4.html#af9a6a9c7660d5daedf8cd907788ac78d',1,'SVF::SVFUtil::isa_impl_cl< To, const From >::doit()'],['../structSVF_1_1SVFUtil_1_1isa__impl__cl_3_01To_00_01const_01std_1_1unique__ptr_3_01From_01_4_01_4.html#aff368847551a69d07b06237908594852',1,'SVF::SVFUtil::isa_impl_cl< To, const std::unique_ptr< From > >::doit()'],['../structSVF_1_1SVFUtil_1_1isa__impl__cl_3_01To_00_01From_01_5_01_4.html#a8add67bd107583b7c34fce53a748bcb0',1,'SVF::SVFUtil::isa_impl_cl< To, From * >::doit()'],['../structSVF_1_1SVFUtil_1_1isa__impl__cl_3_01To_00_01From_01_5const_01_4.html#ac95b00b5d96e6b8457ecade4dbda3de3',1,'SVF::SVFUtil::isa_impl_cl< To, From *const >::doit()'],['../structSVF_1_1SVFUtil_1_1isa__impl__cl_3_01To_00_01const_01From_01_5_01_4.html#a761b612c6ee476a28aabfbbc6b2da7ab',1,'SVF::SVFUtil::isa_impl_cl< To, const From * >::doit()'],['../structSVF_1_1SVFUtil_1_1isa__impl__cl_3_01To_00_01const_01From_01_5const_01_4.html#af73d1d0d7eb6f51090b4df47b497483a',1,'SVF::SVFUtil::isa_impl_cl< To, const From *const >::doit()'],['../structSVF_1_1SVFUtil_1_1isa__impl__wrap.html#aa0f166d8bdcd1e7b954cc29c19a40b04',1,'SVF::SVFUtil::isa_impl_wrap::doit()'],['../structSVF_1_1SVFUtil_1_1isa__impl__wrap_3_01To_00_01FromTy_00_01FromTy_01_4.html#a414dc089b04305b8580dede7a6337404',1,'SVF::SVFUtil::isa_impl_wrap< To, FromTy, FromTy >::doit()'],['../structSVF_1_1SVFUtil_1_1cast__convert__val.html#a42987ff69d76fef88044fe0b19743239',1,'SVF::SVFUtil::cast_convert_val::doit()'],['../structSVF_1_1SVFUtil_1_1cast__convert__val_3_01To_00_01FromTy_00_01FromTy_01_4.html#a2dd56ef15d86f61c7fef34dc15173e4a',1,'SVF::SVFUtil::cast_convert_val< To, FromTy, FromTy >::doit()']]],
-  ['dolockanalysis_1678',['DoLockAnalysis',['../classSVF_1_1Options.html#ae2c4fe298a27f50c749b75f0801f9666',1,'SVF::Options']]],
-  ['dominancefrontier_1679',['DominanceFrontier',['../namespaceSVF.html#ab44d20f806be99699895260b14a942d7',1,'SVF']]],
-  ['dominancefrontierbase_1680',['DominanceFrontierBase',['../namespaceSVF.html#a2f60343a6839b9cc893bbf77e8a19915',1,'SVF']]],
-  ['dominate_1681',['dominate',['../classSVF_1_1SaberCondAllocator.html#af2fe5ef8f31ae675a7a32b45aa34a597',1,'SVF::SaberCondAllocator::dominate()'],['../classSVF_1_1SVFLoopAndDomInfo.html#a342f2825d6b7e3289d0f0f4b7ee8247c',1,'SVF::SVFLoopAndDomInfo::dominate()'],['../classSVF_1_1SVFFunction.html#a03db4ff0d8140ebc0219caea902e7078',1,'SVF::SVFFunction::dominate()']]],
-  ['dominatortree_1682',['DominatorTree',['../namespaceSVF.html#aecbb42b8e9d17fa0189c50dda9fd5fdd',1,'SVF']]],
-  ['domtreenode_1683',['DomTreeNode',['../namespaceSVF.html#a827d09974dc7bf0849f96823cc2fee89',1,'SVF']]],
-  ['dostat_1684',['DOSTAT',['../SVFType_8h.html#a6c9e2209a2c38607a9e3b7fab242886a',1,'SVFType.h']]],
-  ['dot_1685',['DOT',['../namespaceSVF_1_1GraphProgram.html#a10f45758abb5c1ef51b0ba38d18efd37ae09e3feb3996d73e682cf2a5077c090c',1,'SVF::GraphProgram']]],
-  ['dotgraphtraits_1686',['DOTGraphTraits',['../structSVF_1_1DOTGraphTraits.html',1,'SVF::DOTGraphTraits< Ty >'],['../structSVF_1_1DOTGraphTraits_3_01SVF_1_1CDG_01_5_01_4.html#a642a365cfbcfd84e6df4b76afd08cc4a',1,'SVF::DOTGraphTraits< SVF::CDG * >::DOTGraphTraits()'],['../structSVF_1_1DOTGraphTraits_3_01SVF_1_1CFBasicBlockGraph_01_5_01_4.html#a8b20aa3687b959574334d55646db4418',1,'SVF::DOTGraphTraits< SVF::CFBasicBlockGraph * >::DOTGraphTraits()'],['../structSVF_1_1DOTGraphTraits.html#a359df069e6c41d32e8b7ed5a23817e99',1,'SVF::DOTGraphTraits::DOTGraphTraits()'],['../structSVF_1_1DOTGraphTraits_3_01CFLGraph_01_5_01_4.html#a85e149bc2cb9c6de4ad5b106138f5cd9',1,'SVF::DOTGraphTraits< CFLGraph * >::DOTGraphTraits()'],['../structSVF_1_1DOTGraphTraits_3_01CHGraph_01_5_01_4.html#a1766ccfed581eae6505f66d38ba6a047',1,'SVF::DOTGraphTraits< CHGraph * >::DOTGraphTraits()'],['../structSVF_1_1DOTGraphTraits_3_01ConstraintGraph_01_5_01_4.html#ad816997d240e758f7a2f1f6508048ef3',1,'SVF::DOTGraphTraits< ConstraintGraph * >::DOTGraphTraits()'],['../structSVF_1_1DOTGraphTraits_3_01ICFG_01_5_01_4.html#af0d447adf06f88bad4b25ba8fd14efd5',1,'SVF::DOTGraphTraits< ICFG * >::DOTGraphTraits()'],['../structSVF_1_1DOTGraphTraits_3_01IRGraph_01_5_01_4.html#a176af80970e864d657ee3dd8dbd67a35',1,'SVF::DOTGraphTraits< IRGraph * >::DOTGraphTraits()'],['../structSVF_1_1DOTGraphTraits_3_01PTACallGraph_01_5_01_4.html#a6ee6203a72086167e4277a43f0a3f6fd',1,'SVF::DOTGraphTraits< PTACallGraph * >::DOTGraphTraits()'],['../structSVF_1_1DOTGraphTraits_3_01SVFG_01_5_01_4.html#ad3c3175e8f9729650cf55c72de96ff8e',1,'SVF::DOTGraphTraits< SVFG * >::DOTGraphTraits()'],['../structSVF_1_1DOTGraphTraits_3_01VFG_01_5_01_4.html#a682f25ccfcb9ff37d6323ce8bce7ca64',1,'SVF::DOTGraphTraits< VFG * >::DOTGraphTraits()'],['../structSVF_1_1DOTGraphTraits_3_01TCT_01_5_01_4.html#adafb93ca8d752a5405c5ec39bcb76e18',1,'SVF::DOTGraphTraits< TCT * >::DOTGraphTraits()']]],
-  ['dotgraphtraits_2eh_1687',['DOTGraphTraits.h',['../DOTGraphTraits_8h.html',1,'']]],
-  ['dotgraphtraits_3c_20cflgraph_20_2a_20_3e_1688',['DOTGraphTraits< CFLGraph * >',['../structSVF_1_1DOTGraphTraits_3_01CFLGraph_01_5_01_4.html',1,'SVF']]],
-  ['dotgraphtraits_3c_20chgraph_20_2a_20_3e_1689',['DOTGraphTraits< CHGraph * >',['../structSVF_1_1DOTGraphTraits_3_01CHGraph_01_5_01_4.html',1,'SVF']]],
-  ['dotgraphtraits_3c_20constraintgraph_20_2a_20_3e_1690',['DOTGraphTraits< ConstraintGraph * >',['../structSVF_1_1DOTGraphTraits_3_01ConstraintGraph_01_5_01_4.html',1,'SVF']]],
-  ['dotgraphtraits_3c_20graphtype_20_3e_1691',['DOTGraphTraits< GraphType >',['../structSVF_1_1DOTGraphTraits.html',1,'SVF']]],
-  ['dotgraphtraits_3c_20icfg_20_2a_20_3e_1692',['DOTGraphTraits< ICFG * >',['../structSVF_1_1DOTGraphTraits_3_01ICFG_01_5_01_4.html',1,'SVF']]],
-  ['dotgraphtraits_3c_20irgraph_20_2a_20_3e_1693',['DOTGraphTraits< IRGraph * >',['../structSVF_1_1DOTGraphTraits_3_01IRGraph_01_5_01_4.html',1,'SVF']]],
-  ['dotgraphtraits_3c_20ptacallgraph_20_2a_20_3e_1694',['DOTGraphTraits< PTACallGraph * >',['../structSVF_1_1DOTGraphTraits_3_01PTACallGraph_01_5_01_4.html',1,'SVF']]],
-  ['dotgraphtraits_3c_20svf_3a_3acdg_20_2a_20_3e_1695',['DOTGraphTraits< SVF::CDG * >',['../structSVF_1_1DOTGraphTraits_3_01SVF_1_1CDG_01_5_01_4.html',1,'SVF']]],
-  ['dotgraphtraits_3c_20svf_3a_3acfbasicblockgraph_20_2a_20_3e_1696',['DOTGraphTraits< SVF::CFBasicBlockGraph * >',['../structSVF_1_1DOTGraphTraits_3_01SVF_1_1CFBasicBlockGraph_01_5_01_4.html',1,'SVF']]],
-  ['dotgraphtraits_3c_20svf_3a_3apag_20_2a_20_3e_1697',['DOTGraphTraits< SVF::PAG * >',['../structSVF_1_1DOTGraphTraits.html',1,'SVF']]],
-  ['dotgraphtraits_3c_20svf_3a_3asvfir_20_2a_20_3e_1698',['DOTGraphTraits< SVF::SVFIR * >',['../structSVF_1_1DOTGraphTraits.html',1,'SVF']]],
-  ['dotgraphtraits_3c_20svfg_20_2a_20_3e_1699',['DOTGraphTraits< SVFG * >',['../structSVF_1_1DOTGraphTraits_3_01SVFG_01_5_01_4.html',1,'SVF']]],
-  ['dotgraphtraits_3c_20svfir_20_2a_20_3e_1700',['DOTGraphTraits< SVFIR * >',['../structSVF_1_1DOTGraphTraits.html',1,'SVF']]],
-  ['dotgraphtraits_3c_20tct_20_2a_20_3e_1701',['DOTGraphTraits< TCT * >',['../structSVF_1_1DOTGraphTraits_3_01TCT_01_5_01_4.html',1,'SVF']]],
-  ['dotgraphtraits_3c_20vfg_20_2a_20_3e_1702',['DOTGraphTraits< VFG * >',['../structSVF_1_1DOTGraphTraits_3_01VFG_01_5_01_4.html',1,'SVF']]],
-  ['dotimestat_1703',['DOTIMESTAT',['../SVFType_8h.html#ab6f41e9db3675dc689c5492418885041',1,'SVFType.h']]],
-  ['dottraits_1704',['DOTTraits',['../classSVF_1_1GraphWriter.html#a245d85f8c907a409533ab151e9e3d9a2',1,'SVF::GraphWriter']]],
-  ['doublefree_1705',['DOUBLEFREE',['../classSVF_1_1GenericBug.html#a7aeeb33097bca5f7fe6747f90f5cecaca1f91a40ca53eb077cc947fae828554b4',1,'SVF::GenericBug']]],
-  ['doublefreebug_1706',['DoubleFreeBug',['../classSVF_1_1DoubleFreeBug.html',1,'SVF::DoubleFreeBug'],['../classSVF_1_1DoubleFreeBug.html#aea90778c71659c87a6139d19b896bdb8',1,'SVF::DoubleFreeBug::DoubleFreeBug()']]],
-  ['doublefreechecker_1707',['DoubleFreeChecker',['../classSVF_1_1DoubleFreeChecker.html',1,'SVF::DoubleFreeChecker'],['../classSVF_1_1DoubleFreeChecker.html#ac9d147b16442bb4746f66cffe46a070a',1,'SVF::DoubleFreeChecker::DoubleFreeChecker()']]],
-  ['doublefreechecker_2ecpp_1708',['DoubleFreeChecker.cpp',['../DoubleFreeChecker_8cpp.html',1,'']]],
-  ['doublefreechecker_2eh_1709',['DoubleFreeChecker.h',['../DoubleFreeChecker_8h.html',1,'']]],
-  ['dpagbuild_1710',['DPAGBuild',['../SVFType_8h.html#a7a295e02c56a93cf9206dd9d3b18dd17',1,'SVFType.h']]],
-  ['dpim_1711',['DPIm',['../classSVF_1_1SrcSnkDDA.html#a83d5ccf0836f8f751aff078f88328cca',1,'SVF::SrcSnkDDA']]],
-  ['dpimset_1712',['DPImSet',['../classSVF_1_1SrcSnkDDA.html#ab3cc8f13ea8de2db4ba874280802667a',1,'SVF::SrcSnkDDA']]],
-  ['dpimtocptsetmap_1713',['DPImToCPtSetMap',['../classSVF_1_1DDAVFSolver.html#a8b5a34679fb1362425c88d6e74b6c019',1,'SVF::DDAVFSolver']]],
-  ['dpitem_1714',['DPItem',['../classSVF_1_1DPItem.html',1,'SVF::DPItem'],['../classSVF_1_1DPItem.html#ac5dbe11ebf512e6dccdfa1eceba04fe8',1,'SVF::DPItem::DPItem(NodeID c)'],['../classSVF_1_1DPItem.html#a715b7de4a392d8c389e611e27f8b9184',1,'SVF::DPItem::DPItem(const DPItem &dps)'],['../classSVF_1_1DPItem.html#a97b304417b1b2253d9bd30ee22d269df',1,'SVF::DPItem::DPItem(DPItem &&dps) noexcept']]],
-  ['dpitem_2eh_1715',['DPItem.h',['../DPItem_8h.html',1,'']]],
-  ['dpmtoadcptsetmap_1716',['dpmToADCPtSetMap',['../classSVF_1_1DDAVFSolver.html#a2565bf8dcacb22350dc1dc98ec7595f2',1,'SVF::DDAVFSolver']]],
-  ['dpmtocvarmap_1717',['DPMToCVarMap',['../classSVF_1_1DDAVFSolver.html#af0538abf12c01d31a0296553e2f7c92d',1,'SVF::DDAVFSolver']]],
-  ['dpmtodpmmap_1718',['DPMToDPMMap',['../classSVF_1_1DDAVFSolver.html#a2ccbcfa949a1796094b5d9499177fc2b',1,'SVF::DDAVFSolver']]],
-  ['dpmtoloaddpmmap_1719',['dpmToloadDpmMap',['../classSVF_1_1DDAVFSolver.html#a9d8959dfee05685cd74d0d7a78069692',1,'SVF::DDAVFSolver']]],
-  ['dpmtotlcptsetmap_1720',['dpmToTLCPtSetMap',['../classSVF_1_1DDAVFSolver.html#a2d6df8149b45d719e22fc505df94171a',1,'SVF::DDAVFSolver']]],
-  ['dptitemset_1721',['DPTItemSet',['../classSVF_1_1DDAVFSolver.html#a05d6b074b04aad7dc1f3cbe0ca587467',1,'SVF::DDAVFSolver']]],
-  ['dr_5fcheck_1722',['DR_CHECK',['../classSVF_1_1Annotator.html#a64fa6f1cac79c47c66b16ac29d2ac3f4',1,'SVF::Annotator']]],
-  ['dr_5fnot_5fcheck_1723',['DR_NOT_CHECK',['../classSVF_1_1Annotator.html#af220da6fe6fc879d15cc34ab397c5ba1',1,'SVF::Annotator']]],
-  ['drefinept_1724',['DRefinePT',['../SVFType_8h.html#a12848bc67564a74a3f203cee9de2eb29',1,'SVFType.h']]],
-  ['dsaber_1725',['DSaber',['../SVFType_8h.html#a817abc424f7cfcdec5954c7807970f36',1,'SVFType.h']]],
-  ['dst_1726',['dst',['../classSVF_1_1GenericEdge.html#aa41cb7482bdab1ba328f4b94f30f3ee4',1,'SVF::GenericEdge']]],
-  ['dtbbsmap_1727',['dtBBsMap',['../classSVF_1_1SVFLoopAndDomInfo.html#a34296b98ee8dd1bfc0b1ae7fe327cde3',1,'SVF::SVFLoopAndDomInfo']]],
-  ['dtraits_1728',['DTraits',['../classSVF_1_1GraphWriter.html#a36f1ca2744fae2f45400e82f39e4fcd8',1,'SVF::GraphWriter']]],
-  ['dummyobjnode_1729',['DummyObjNode',['../classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffa1ab625ecaf51446246dcc2944d6559af',1,'SVF::SVFVar']]],
-  ['dummyobjvar_1730',['DummyObjVar',['../classSVF_1_1DummyObjVar.html',1,'SVF::DummyObjVar'],['../classSVF_1_1DummyObjVar.html#ae5e65493edff2eca47a901b15ee0dff7',1,'SVF::DummyObjVar::DummyObjVar(NodeID i)'],['../classSVF_1_1DummyObjVar.html#a3dff74bbf50b6a901239d3fd31e0f36c',1,'SVF::DummyObjVar::DummyObjVar(NodeID i, const MemObj *m, PNODEK ty=DummyObjNode)']]],
-  ['dummyvalnode_1731',['DummyValNode',['../classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffa8299ae0d09f1b19411cb07cd79a2bae8',1,'SVF::SVFVar']]],
-  ['dummyvalvar_1732',['DummyValVar',['../classSVF_1_1DummyValVar.html',1,'SVF::DummyValVar'],['../classSVF_1_1DummyValVar.html#a39fb5acde002694e91599a67ff3ae99a',1,'SVF::DummyValVar::DummyValVar()']]],
-  ['dummyversionpropsvfgnode_1733',['DummyVersionPropSVFGNode',['../classSVF_1_1DummyVersionPropSVFGNode.html',1,'SVF::DummyVersionPropSVFGNode'],['../classSVF_1_1DummyVersionPropSVFGNode.html#a8661f8c8e31101b5afc37ebe3bac5fe2',1,'SVF::DummyVersionPropSVFGNode::DummyVersionPropSVFGNode()']]],
-  ['dummyvprop_1734',['DummyVProp',['../classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75a6b262331878a44019af8a8539a5ddad2',1,'SVF::VFGNode']]],
-  ['dump_1735',['dump',['../classSVF_1_1DCHGraph.html#a587baf86ecc2fdbecfcf85310673e9f4',1,'SVF::DCHGraph::dump()'],['../classSVF_1_1IntervalValue.html#ac4896347f704db07695f4b8dfc42aad7',1,'SVF::IntervalValue::dump()'],['../classSVF_1_1CFGrammar.html#a032e6a1ccff5444f0c849309ac2ad23f',1,'SVF::CFGrammar::dump() const'],['../classSVF_1_1CFGrammar.html#ab417de2cfd096477e288742b2967cded',1,'SVF::CFGrammar::dump(std::string fileName) const'],['../classSVF_1_1CDG.html#a8c83310df697174ac18d7392c241dc15',1,'SVF::CDG::dump()'],['../classSVF_1_1CFBasicBlockGraph.html#a41494b39a562ee1788f91bc39776604f',1,'SVF::CFBasicBlockGraph::dump()'],['../classSVF_1_1CFLGraph.html#ab32869931e46babcfaa6791efe2ba91e',1,'SVF::CFLGraph::dump()'],['../classSVF_1_1CHGraph.html#a29351163649618332394fc72cc35212f',1,'SVF::CHGraph::dump()'],['../classSVF_1_1ConstraintGraph.html#af9fc8308845628fe8900528573e30462',1,'SVF::ConstraintGraph::dump()'],['../classSVF_1_1ICFG.html#a999956500bbd605326531480546db9ba',1,'SVF::ICFG::dump()'],['../classSVF_1_1ICFGNode.html#a3c193da05d6dee7313a141ae3ab43e97',1,'SVF::ICFGNode::dump()'],['../classSVF_1_1IRGraph.html#a1cb32461439c4dc8d044c2bfadb11307',1,'SVF::IRGraph::dump()'],['../classSVF_1_1PTACallGraph.html#a841be22581a7896d8924564e7199f62b',1,'SVF::PTACallGraph::dump()'],['../classSVF_1_1SVFG.html#a5fdaddc52e7342b834d76d64c1a1e498',1,'SVF::SVFG::dump()'],['../classSVF_1_1VFG.html#aee3d0c4ed32bde425f33281f248b7dd2',1,'SVF::VFG::dump()'],['../classSVF_1_1AccessPath.html#a4519477605a58d5821d05951a88abcd0',1,'SVF::AccessPath::dump()'],['../classSVF_1_1CondPointsToSet.html#a52392deae4011c4353a259c873efc0d6',1,'SVF::CondPointsToSet::dump()'],['../classSVF_1_1MSSAMU.html#a489e8c27e40b709d94a462653fb760f5',1,'SVF::MSSAMU::dump()'],['../classSVF_1_1LoadMU.html#aaaa51723d657719b82a2ce85c1628329',1,'SVF::LoadMU::dump()'],['../classSVF_1_1CallMU.html#af08ecc9c2b75737e88690fb2319fcf57',1,'SVF::CallMU::dump()'],['../classSVF_1_1RetMU.html#ae452b798bf9c6a9d913e63a75c4cd3c0',1,'SVF::RetMU::dump()'],['../classSVF_1_1MSSADEF.html#aa7e06959d5b3197d930aa44b09694b52',1,'SVF::MSSADEF::dump()'],['../classSVF_1_1MSSACHI.html#a63355fc98b9c1cc3db5e664e387693ca',1,'SVF::MSSACHI::dump()'],['../classSVF_1_1StoreCHI.html#af889bd9b729182e20ca7598ad4167bb8',1,'SVF::StoreCHI::dump()'],['../classSVF_1_1CallCHI.html#ac6a1f2f1c897c647d9b070cb56c61a41',1,'SVF::CallCHI::dump()'],['../classSVF_1_1EntryCHI.html#a819f66c0471fe06c739acf18c4a4161d',1,'SVF::EntryCHI::dump()'],['../classSVF_1_1MSSAPHI.html#a15c687ef4286532a5856270bf6f9e11a',1,'SVF::MSSAPHI::dump()'],['../classSVF_1_1TCTNode.html#a47964661d78a61eb1389acc48701abf8',1,'SVF::TCTNode::dump()'],['../classSVF_1_1TCT.html#a716c97a80c483c571ca7a03b9acce3e8',1,'SVF::TCT::dump()'],['../classSVF_1_1SVFVar.html#aa34b2230655db9c4195e44e1c437bbc6',1,'SVF::SVFVar::dump()'],['../classSVF_1_1SymbolTableInfo.html#a9f4cf6914b400b9f69c7852f13c496a9',1,'SVF::SymbolTableInfo::dump()'],['../classSVF_1_1CxtStmt.html#a56e2767c327a383db09dca96edb19614',1,'SVF::CxtStmt::dump()'],['../classSVF_1_1CxtThreadStmt.html#a735d71af28b26d9576f679e53141e303',1,'SVF::CxtThreadStmt::dump()'],['../classSVF_1_1CxtThread.html#a66709acfa2f5762d86574c9cf7f38a64',1,'SVF::CxtThread::dump()'],['../classSVF_1_1CxtProc.html#a254c612f06a3f82b57b1c5a0e52c012f',1,'SVF::CxtProc::dump()'],['../classSVF_1_1CxtThreadProc.html#aed801cfecdbfcd690db2d78de5f8e0b5',1,'SVF::CxtThreadProc::dump()'],['../classSVF_1_1DPItem.html#a6048fa772b5023710c34687c4f047d44',1,'SVF::DPItem::dump()'],['../classSVF_1_1StmtDPItem.html#a6cc1361dd5777cb4b93fb93c3899cfc7',1,'SVF::StmtDPItem::dump()'],['../classSVF_1_1CxtStmtDPItem.html#abc67c264dd262d25899e04f8d68e8a31',1,'SVF::CxtStmtDPItem::dump()'],['../namespaceSVF.html#aae350f79ebcb9efd22ec9efa6678cd13',1,'SVF::dump()']]],
-  ['dumpaliasset_1736',['dumpAliasSet',['../namespaceSVF_1_1SVFUtil.html#a4a15cc5570eed12dd6ee766213e11d61',1,'SVF::SVFUtil']]],
-  ['dumpallpts_1737',['dumpAllPts',['../classSVF_1_1PointerAnalysis.html#a861554c2fdeaa406131c2c920b4c7908',1,'SVF::PointerAnalysis::dumpAllPts()'],['../classSVF_1_1BVDataPTAImpl.html#a7996a2c07b015e8557398ec10db1acef',1,'SVF::BVDataPTAImpl::dumpAllPts()']]],
-  ['dumpalltypes_1738',['dumpAllTypes',['../classSVF_1_1PointerAnalysis.html#a08399de593c073b6dd848a8d849dad27',1,'SVF::PointerAnalysis']]],
-  ['dumpcha_1739',['DumpCHA',['../classSVF_1_1Options.html#afcef86c88bb86198a3579aef82b5e270',1,'SVF::Options']]],
-  ['dumpchastats_1740',['dumpCHAStats',['../classSVF_1_1TypeAnalysis.html#a124fc67578745cde9e74bb36aced25a2',1,'SVF::TypeAnalysis']]],
-  ['dumpcond_1741',['dumpCond',['../classSVF_1_1ProgSlice.html#a03d4ae6a3df1adf7f1ee5eebf1028c9c',1,'SVF::ProgSlice::dumpCond()'],['../classSVF_1_1SaberCondAllocator.html#a100c1962eac6d7af420defc827a025ed',1,'SVF::SaberCondAllocator::dumpCond()']]],
-  ['dumpcontexts_1742',['dumpContexts',['../classSVF_1_1ContextDDA.html#ac3e622d810ee69917b7bef08a882117c',1,'SVF::ContextDDA']]],
-  ['dumpcpts_1743',['dumpCPts',['../classSVF_1_1PointerAnalysis.html#ad409cbf61271743394b9e5868f3fd197',1,'SVF::PointerAnalysis::dumpCPts()'],['../classSVF_1_1BVDataPTAImpl.html#acd9a15c398be20db43ed9fd910bd1758',1,'SVF::BVDataPTAImpl::dumpCPts()'],['../classSVF_1_1CondPTAImpl.html#aa260a3275fbec7061295306a58763d24',1,'SVF::CondPTAImpl::dumpCPts()']]],
-  ['dumpcptset_1744',['dumpCPtSet',['../classSVF_1_1DDAVFSolver.html#aa4dc73ea65f736282a413a9d286141e5',1,'SVF::DDAVFSolver']]],
-  ['dumpcxt_1745',['dumpCxt',['../classSVF_1_1MTAResultValidator.html#ae7d61becd14123f60976fd7261d0c84d',1,'SVF::MTAResultValidator::dumpCxt(const CallStrCxt &cxt) const'],['../classSVF_1_1MTAResultValidator.html#a073f442fd9441d95731b7b7b92675ec7',1,'SVF::MTAResultValidator::dumpCxt(const CallStrCxt &cxt) const'],['../classSVF_1_1TCT.html#aa86c4422e17cf00408444f18687d555b',1,'SVF::TCT::dumpCxt()']]],
-  ['dumpicfg_1746',['DumpICFG',['../classSVF_1_1Options.html#ae7ccfb3d1308e205e5014849dcc43d9a',1,'SVF::Options']]],
-  ['dumpinterlev_1747',['dumpInterlev',['../classSVF_1_1MTAResultValidator.html#a1af033b5742fa9cc1e4f9873184775b7',1,'SVF::MTAResultValidator::dumpInterlev(NodeBS &lev)'],['../classSVF_1_1MTAResultValidator.html#af88ed1c0aefc313eb50f7d6755c03be4',1,'SVF::MTAResultValidator::dumpInterlev(NodeBS &lev)']]],
-  ['dumpjson_1748',['DumpJson',['../classSVF_1_1Options.html#a3f5235cbdaab1bf53b9144d335c9c3d4',1,'SVF::Options']]],
-  ['dumpllvmvalue_1749',['dumpLLVMValue',['../namespaceSVF.html#ad4ba3f37eacc28014adca3f4bb06d83d',1,'SVF']]],
-  ['dumplocversionmaps_1750',['dumpLocVersionMaps',['../classSVF_1_1VersionedFlowSensitive.html#a032acdcd8b84523a7ac2f0e46d21c62f',1,'SVF::VersionedFlowSensitive']]],
-  ['dumpmeldversion_1751',['dumpMeldVersion',['../classSVF_1_1VersionedFlowSensitive.html#a7565989371100f84ae5f9e2efa655fcb',1,'SVF::VersionedFlowSensitive']]],
-  ['dumpmodulestofile_1752',['dumpModulesToFile',['../classSVF_1_1LLVMModuleSet.html#af37b9976b282c875cac7bb1777da635c',1,'SVF::LLVMModuleSet']]],
-  ['dumpmssa_1753',['dumpMSSA',['../classSVF_1_1MemSSA.html#a749df6d6b28dd1bae569989bffeb7746',1,'SVF::MemSSA::dumpMSSA()'],['../classSVF_1_1Options.html#a0bb4bfd677e2e45cc8c24bfc190edfaa',1,'SVF::Options::DumpMSSA()']]],
-  ['dumppointstolist_1754',['dumpPointsToList',['../namespaceSVF_1_1SVFUtil.html#af4ceddbe4d57b24e80201bc895f73810',1,'SVF::SVFUtil']]],
-  ['dumppointstoset_1755',['dumpPointsToSet',['../namespaceSVF_1_1SVFUtil.html#abd0a9ee845a455f9354d24a8b84a0bb3',1,'SVF::SVFUtil']]],
-  ['dumpptdata_1756',['dumpPTData',['../classSVF_1_1PTData.html#a91b898e3547eecfbf1ab155d183734bf',1,'SVF::PTData::dumpPTData()'],['../classSVF_1_1MutablePTData.html#a3206473b309c231d7d4b991a36a35279',1,'SVF::MutablePTData::dumpPTData()'],['../classSVF_1_1MutableDiffPTData.html#adf10cc451517f8d3ee7aec8baa61772f',1,'SVF::MutableDiffPTData::dumpPTData()'],['../classSVF_1_1MutableDFPTData.html#a95f4644a82f84674164651db66b084b8',1,'SVF::MutableDFPTData::dumpPTData()'],['../classSVF_1_1MutableVersionedPTData.html#a796c1676dd5180a27dbebae5a99b57b7',1,'SVF::MutableVersionedPTData::dumpPTData()'],['../classSVF_1_1PersistentPTData.html#a6e46180c11bc25c474d03e0091e81ee2',1,'SVF::PersistentPTData::dumpPTData()'],['../classSVF_1_1PersistentDiffPTData.html#a38a942cb65d87883433444ef8f2b986c',1,'SVF::PersistentDiffPTData::dumpPTData()'],['../classSVF_1_1PersistentDFPTData.html#ab98f7068c3fb7d8e98a5ed4d706e4e62',1,'SVF::PersistentDFPTData::dumpPTData()'],['../classSVF_1_1PersistentVersionedPTData.html#ab2ba1db7aeb6e3a508c11eb49bf31575',1,'SVF::PersistentVersionedPTData::dumpPTData()']]],
-  ['dumppts_1757',['dumpPts',['../classSVF_1_1MutablePTData.html#af08060bb4d450ecc4160cb79ab3dcc77',1,'SVF::MutablePTData::dumpPts()'],['../classSVF_1_1MutableDFPTData.html#ae88094abad311dd633f66db2cd78c322',1,'SVF::MutableDFPTData::dumpPts()'],['../classSVF_1_1PointerAnalysis.html#a1a6cee7e690ccb3e53cdc4c3e67b386d',1,'SVF::PointerAnalysis::dumpPts()']]],
-  ['dumpreliances_1758',['dumpReliances',['../classSVF_1_1VersionedFlowSensitive.html#a9d5990a41e90558595d0ad0defceb4e8',1,'SVF::VersionedFlowSensitive']]],
-  ['dumpset_1759',['dumpSet',['../namespaceSVF_1_1SVFUtil.html#aeb570e9267fd7b189bd1bc877896d7ab',1,'SVF::SVFUtil::dumpSet(NodeBS To, OutStream &O=SVFUtil::outs())'],['../namespaceSVF_1_1SVFUtil.html#a04aa23b4982662d98c56af3e8ba16cb1',1,'SVF::SVFUtil::dumpSet(PointsTo To, OutStream &O=SVFUtil::outs())']]],
-  ['dumpslice_1760',['DumpSlice',['../classSVF_1_1Options.html#ab9443e23bdcb60f118a7aab835f974db',1,'SVF::Options']]],
-  ['dumpslices_1761',['dumpSlices',['../classSVF_1_1SrcSnkDDA.html#acae985068ff1c20fb81c4c9ba730aaba',1,'SVF::SrcSnkDDA']]],
-  ['dumpsparseset_1762',['dumpSparseSet',['../namespaceSVF_1_1SVFUtil.html#ab30a35713852a0a525c52ae5dd463442',1,'SVF::SVFUtil']]],
-  ['dumpstat_1763',['dumpStat',['../classSVF_1_1PointerAnalysis.html#ab83b827ea42d3a61aad20b1a1485d866',1,'SVF::PointerAnalysis']]],
-  ['dumpstr_1764',['dumpStr',['../classSVF_1_1CondPointsToSet.html#abcd2c01ec21e30caa91dba06386912cb',1,'SVF::CondPointsToSet::dumpStr()'],['../classSVF_1_1MemRegion.html#adad8c2b08ab6a512f0c3aa90b4416f60',1,'SVF::MemRegion::dumpStr()'],['../classSVF_1_1Z3Expr.html#a56ba65487cc91248259e29d3ebb5bdb0',1,'SVF::Z3Expr::dumpStr()']]],
-  ['dumptojsonfile_1765',['dumpToJsonFile',['../classSVF_1_1SVFBugReport.html#aa119593331403f73867fddcb6ec26989',1,'SVF::SVFBugReport']]],
-  ['dumptoplevelptsto_1766',['dumpTopLevelPtsTo',['../classSVF_1_1PointerAnalysis.html#a627bdc95485fd65e8846fcaa5e89559f',1,'SVF::PointerAnalysis::dumpTopLevelPtsTo()'],['../classSVF_1_1BVDataPTAImpl.html#ad34eea2a5ec26e0b2b6a78914879f989',1,'SVF::BVDataPTAImpl::dumpTopLevelPtsTo()'],['../classSVF_1_1CondPTAImpl.html#a80daa422e0dacf75aceb4fe5b4687c04',1,'SVF::CondPTAImpl::dumpTopLevelPtsTo()'],['../classSVF_1_1Andersen.html#a43858bd242c7f2c5f33c3c0f6445376a',1,'SVF::Andersen::dumpTopLevelPtsTo()']]],
-  ['dumptype_1767',['dumpType',['../namespaceSVF_1_1LLVMUtil.html#a6e8682537cf5bed808df439bd7e1add9',1,'SVF::LLVMUtil']]],
-  ['dumpvalue_1768',['dumpValue',['../namespaceSVF_1_1LLVMUtil.html#afa2f8c8ab19c75547c26ede53b9f6159',1,'SVF::LLVMUtil']]],
-  ['dumpvalueanddbginfo_1769',['dumpValueAndDbgInfo',['../namespaceSVF_1_1LLVMUtil.html#a86c0a0cb4ada72bd4f42c77558e6a350',1,'SVF::LLVMUtil']]],
-  ['dumpvfg_1770',['DumpVFG',['../classSVF_1_1Options.html#ae3ad3003a8d3df2f1e3463248bb5ad51',1,'SVF::Options']]],
-  ['dval_1771',['dval',['../classSVF_1_1SVFConstantFP.html#aa1d551ad74dd5ce3eb4b7d639aec31a9',1,'SVF::SVFConstantFP']]],
-  ['dwpa_1772',['DWPA',['../SVFType_8h.html#a45d9233db3cad59f4f72b7c573bae180',1,'SVFType.h']]],
-  ['dyn_5fcast_1773',['dyn_cast',['../namespaceSVF_1_1SVFUtil.html#af6e96694d983643a66c238cce01bff0e',1,'SVF::SVFUtil::dyn_cast(const Y &Val)'],['../namespaceSVF_1_1SVFUtil.html#a52d852ba8fa569e858565b3bba403656',1,'SVF::SVFUtil::dyn_cast(Y &Val)'],['../namespaceSVF_1_1SVFUtil.html#a105c5c5e97d56533fb2b3ba7a0bc59f3',1,'SVF::SVFUtil::dyn_cast(Y *Val)']]],
-  ['dyncast_1774',['dyncast',['../CppUtil_8cpp.html#a7972d88aaaa4644ee22e5b95ac465a80',1,'CppUtil.cpp']]]
+  ['daa_1539',['DAA',['../dda_8cpp.html#aa87e1cd4be4709a21393ed9e1a0da6bb',1,'dda.cpp']]],
+  ['dandersen_1540',['DAndersen',['../SVFType_8h.html#adbfc4364261f019dc6cf33234a5177d2',1,'SVFType.h']]],
+  ['data_1541',['data',['../classSVF_1_1List_1_1ListNode.html#a4a9cb4ae17156d6d80d2357e06231e12',1,'SVF::List::ListNode']]],
+  ['data_5flist_1542',['data_list',['../classSVF_1_1CFLFIFOWorkList.html#a5a5caa556bf8023b4b0b525179efd1b0',1,'SVF::CFLFIFOWorkList::data_list()'],['../classSVF_1_1FIFOWorkList.html#a270dad3fd1d95418e4af102b64fcc883',1,'SVF::FIFOWorkList::data_list()'],['../classSVF_1_1FILOWorkList.html#aeda28a2200d763279027642c8cf6a4bf',1,'SVF::FILOWorkList::data_list()']]],
+  ['data_5fset_1543',['data_set',['../classSVF_1_1CFLFIFOWorkList.html#a62ef55a46552652e20f8e3bfc2b72bd0',1,'SVF::CFLFIFOWorkList::data_set()'],['../classSVF_1_1FIFOWorkList.html#a5e9648954a2f6902dc4106cc17a7d1e6',1,'SVF::FIFOWorkList::data_set()'],['../classSVF_1_1FILOWorkList.html#a46092b75425becfe97fdf047206c736b',1,'SVF::FILOWorkList::data_set()']]],
+  ['datadeque_1544',['DataDeque',['../classSVF_1_1CFLFIFOWorkList.html#aa2ac3edad97017817899d081dc6f1df7',1,'SVF::CFLFIFOWorkList::DataDeque()'],['../classSVF_1_1FIFOWorkList.html#a2907cd4515b2072aae0a88e972e93fc4',1,'SVF::FIFOWorkList::DataDeque()']]],
+  ['dataflow_1545',['DataFlow',['../classSVF_1_1PTData.html#a74ce29609c51f2be34a0b5b7650a9848acb817cbf655c365c02af3675588f06cc',1,'SVF::PTData']]],
+  ['dataiter_1546',['DataIter',['../classSVF_1_1MutableIncDFPTData.html#a1fc4dff28f9044234fdfeede6f4b1cb0',1,'SVF::MutableIncDFPTData']]],
+  ['datalayout_1547',['DataLayout',['../namespaceSVF.html#a03db82b8a7914367024723dba4d6ca3c',1,'SVF']]],
+  ['datamap_1548',['DataMap',['../classSVF_1_1POCRSolver.html#ad60f45d469f1b576e1c49ec0cdf29e1e',1,'SVF::POCRSolver']]],
+  ['dataop_1549',['DataOp',['../classSVF_1_1PersistentPointsToCache.html#a5a0f1b93f29ce62ad13042ab8435c62c',1,'SVF::PersistentPointsToCache']]],
+  ['dataset_1550',['DataSet',['../classSVF_1_1CFLFIFOWorkList.html#a0db15ca0ec5a14aee493ccfe54d34d85',1,'SVF::CFLFIFOWorkList::DataSet()'],['../classSVF_1_1List.html#a8f8a9dff1d1213a747f0d7ce8b1802e9',1,'SVF::List::DataSet()'],['../classSVF_1_1FIFOWorkList.html#a4803dc3b7f3ab57261261acb20551579',1,'SVF::FIFOWorkList::DataSet()'],['../classSVF_1_1FILOWorkList.html#abe04c596453280fe15cadde868ded798',1,'SVF::FILOWorkList::DataSet()']]],
+  ['datavector_1551',['DataVector',['../classSVF_1_1FILOWorkList.html#a41d3d71633adc6a1282922b4e4929a7f',1,'SVF::FILOWorkList']]],
+  ['dbout_1552',['DBOUT',['../SVFType_8h.html#a173ce1b9b505fdadf5613b663749d3b0',1,'SVFType.h']]],
+  ['dbug_1553',['DBUG',['../classSVF_1_1NodeIDAllocator.html#a8cf553cd07768aad3f3b91bf3d7c6228a36e359346b349ead71f7ab095b0865af',1,'SVF::NodeIDAllocator']]],
+  ['dcache_1554',['DCache',['../SVFType_8h.html#a500788b9fb425915fa4330d72142aec9',1,'SVFType.h']]],
+  ['dcgettext_1555',['dcgettext',['../extapi_8c.html#ae47e2e0ff32239d263bc2d182b3cabca',1,'extapi.c']]],
+  ['dcha_1556',['DCHA',['../SVFType_8h.html#a263149d980e5c3165dfe8750bfac3223',1,'SVFType.h']]],
+  ['dchedge_1557',['DCHEdge',['../classSVF_1_1DCHEdge.html',1,'SVF::DCHEdge'],['../classSVF_1_1DCHEdge.html#a17e3db6d11e0752064194ffc46cd9afe',1,'SVF::DCHEdge::DCHEdge()']]],
+  ['dchedgesetty_1558',['DCHEdgeSetTy',['../classSVF_1_1DCHEdge.html#a2580878ab964494ee5c7840e16ef84b3',1,'SVF::DCHEdge']]],
+  ['dchg_2ecpp_1559',['DCHG.cpp',['../DCHG_8cpp.html',1,'']]],
+  ['dchg_2eh_1560',['DCHG.h',['../DCHG_8h.html',1,'']]],
+  ['dchgraph_1561',['DCHGraph',['../classSVF_1_1DCHGraph.html',1,'SVF::DCHGraph'],['../classSVF_1_1DCHGraph.html#a7cbea4d5399333497faa3f8d213e365e',1,'SVF::DCHGraph::DCHGraph()']]],
+  ['dchnode_1562',['DCHNode',['../classSVF_1_1DCHNode.html',1,'SVF::DCHNode'],['../classSVF_1_1DCHNode.html#a3e81cc40aa1c37999cead00f1af85a6e',1,'SVF::DCHNode::DCHNode()']]],
+  ['dcommodel_1563',['DCOMModel',['../SVFType_8h.html#aa97040d501d68863c7f0c93ed7514857',1,'SVFType.h']]],
+  ['dda_2ecpp_1564',['dda.cpp',['../dda_8cpp.html',1,'']]],
+  ['ddaclient_1565',['DDAClient',['../classSVF_1_1DDAClient.html',1,'SVF::DDAClient'],['../classSVF_1_1DDAClient.html#a1070c1a68fa7da7bdb23240957048ee9',1,'SVF::DDAClient::DDAClient()']]],
+  ['ddaclient_2ecpp_1566',['DDAClient.cpp',['../DDAClient_8cpp.html',1,'']]],
+  ['ddaclient_2eh_1567',['DDAClient.h',['../DDAClient_8h.html',1,'']]],
+  ['ddapass_1568',['DDAPass',['../classSVF_1_1DDAPass.html',1,'SVF::DDAPass'],['../classSVF_1_1DDAPass.html#a4f68cbbe00863024cba2ecf513ff979f',1,'SVF::DDAPass::DDAPass()']]],
+  ['ddapass_2ecpp_1569',['DDAPass.cpp',['../DDAPass_8cpp.html',1,'']]],
+  ['ddapass_2eh_1570',['DDAPass.h',['../DDAPass_8h.html',1,'']]],
+  ['ddaselected_1571',['DDASelected',['../classSVF_1_1Options.html#afa6c98d477db41a457ac83cfbfd4a580',1,'SVF::Options']]],
+  ['ddastat_1572',['DDAStat',['../classSVF_1_1DDAStat.html',1,'SVF::DDAStat'],['../classSVF_1_1DDAVFSolver.html#af83f88f2ae2456f2691e8822d56b1598',1,'SVF::DDAVFSolver::DDAStat()'],['../classSVF_1_1DDAStat.html#aef8db234efc3a5ae58a6d43de97ca361',1,'SVF::DDAStat::DDAStat(FlowDDA *pta)'],['../classSVF_1_1DDAStat.html#ae7670e6458c62473b0be78004466b9d7',1,'SVF::DDAStat::DDAStat(ContextDDA *pta)'],['../classSVF_1_1DDAVFSolver.html#ae40c7bad663e0fa07dee4be3d1794ff2',1,'SVF::DDAVFSolver::ddaStat()']]],
+  ['ddastat_2ecpp_1573',['DDAStat.cpp',['../DDAStat_8cpp.html',1,'']]],
+  ['ddastat_2eh_1574',['DDAStat.h',['../DDAStat_8h.html',1,'']]],
+  ['ddasvfgbuilder_1575',['DDASVFGBuilder',['../classSVF_1_1SVFG.html#a9ccd530dc4c49b0df372a2ce95b66921',1,'SVF::SVFG']]],
+  ['ddavfsolver_1576',['DDAVFSolver',['../classSVF_1_1DDAVFSolver.html',1,'SVF::DDAVFSolver< CVar, CPtSet, DPIm >'],['../classSVF_1_1DDAVFSolver.html#a7ee96b513074c283d23434590ce15e7d',1,'SVF::DDAVFSolver::DDAVFSolver()']]],
+  ['ddavfsolver_2eh_1577',['DDAVFSolver.h',['../DDAVFSolver_8h.html',1,'']]],
+  ['ddavfsolver_3c_20cxtvar_2c_20cxtptset_2c_20cxtlocdpitem_20_3e_1578',['DDAVFSolver< CxtVar, CxtPtSet, CxtLocDPItem >',['../classSVF_1_1DDAVFSolver.html',1,'SVF']]],
+  ['ddavfsolver_3c_20nodeid_2c_20pointsto_2c_20locdpitem_20_3e_1579',['DDAVFSolver< NodeID, PointsTo, LocDPItem >',['../classSVF_1_1DDAVFSolver.html',1,'SVF']]],
+  ['ddda_1580',['DDDA',['../SVFType_8h.html#a40845b3027a1237076aa8297ca39e730',1,'SVFType.h']]],
+  ['ddumppt_1581',['DDumpPT',['../SVFType_8h.html#a395c9d15b59b8c057f859855f0405d7b',1,'SVFType.h']]],
+  ['debug_5ftype_1582',['DEBUG_TYPE',['../BreakConstantExpr_8cpp.html#ad78e062f62e0d6e453941fb4ca843e4d',1,'BreakConstantExpr.cpp']]],
+  ['debuginfofinder_1583',['DebugInfoFinder',['../namespaceSVF.html#a5ae98f122c64b0114df2e5861b341321',1,'SVF']]],
+  ['decide_5fcpa_5fext_1584',['decide_cpa_ext',['../classSVF_1_1RelationSolver.html#a7ace50c6e53a79f0e329badb63570f92',1,'SVF::RelationSolver']]],
+  ['def_1585',['def',['../classSVF_1_1MRVer.html#a3398bb8d3189413c275b62d5cb7a5fc4',1,'SVF::MRVer']]],
+  ['default_5fpta_1586',['Default_PTA',['../classSVF_1_1PointerAnalysis.html#a0b182ac680cce0547dbe7714c870ca85adb3d4cbd8c38c1c498bc51198626a790',1,'SVF::PointerAnalysis']]],
+  ['defaultdotgraphtraits_1587',['DefaultDOTGraphTraits',['../structSVF_1_1DefaultDOTGraphTraits.html',1,'SVF::DefaultDOTGraphTraits'],['../structSVF_1_1DefaultDOTGraphTraits.html#a2fdfa8abc93bd4d0211c4db8ef4ede3e',1,'SVF::DefaultDOTGraphTraits::DefaultDOTGraphTraits()']]],
+  ['defaulttype_1588',['defaultType',['../classSVF_1_1ObjTypeInference.html#aee4383a13cda421acb034ea147e33a6d',1,'SVF::ObjTypeInference']]],
+  ['defnodes_1589',['defNodes',['../classSVF_1_1SVFGOPT.html#abd524dca72261bbcc7ebb1103b693a2b',1,'SVF::SVFGOPT']]],
+  ['deftype_1590',['DEFTYPE',['../classSVF_1_1MSSADEF.html#a32682e20c9c08d2bdd5abc62ea17af18',1,'SVF::MSSADEF']]],
+  ['delta_1591',['delta',['../classSVF_1_1VersionedFlowSensitive.html#a9f9b00551c157f42d1d995e8c4efb54b',1,'SVF::VersionedFlowSensitive']]],
+  ['deltamap_1592',['deltaMap',['../classSVF_1_1VersionedFlowSensitive.html#a11ddfa1faebf56e74e6dcc53e16142e1',1,'SVF::VersionedFlowSensitive']]],
+  ['deltasource_1593',['deltaSource',['../classSVF_1_1VersionedFlowSensitive.html#a3fa5afa4f54e0828ec090fde07b1bfa2',1,'SVF::VersionedFlowSensitive']]],
+  ['deltasourcemap_1594',['deltaSourceMap',['../classSVF_1_1VersionedFlowSensitive.html#aee97e196225aaad29c0bd31d3ccbabf6',1,'SVF::VersionedFlowSensitive']]],
+  ['demangle_1595',['demangle',['../namespaceSVF_1_1cppUtil.html#a745a2addadc136075d45c7fb8437af3e',1,'SVF::cppUtil']]],
+  ['demangledname_1596',['DemangledName',['../structSVF_1_1cppUtil_1_1DemangledName.html',1,'SVF::cppUtil']]],
+  ['dendrogramtraversaltime_1597',['DendrogramTraversalTime',['../classSVF_1_1NodeIDAllocator_1_1Clusterer.html#a67ab9cffacc1584b2e7bae5d1b08c541',1,'SVF::NodeIDAllocator::Clusterer']]],
+  ['dense_1598',['DENSE',['../classSVF_1_1NodeIDAllocator.html#a8cf553cd07768aad3f3b91bf3d7c6228a9df17b1222681bba5e649895deb726f0',1,'SVF::NodeIDAllocator']]],
+  ['depth_1599',['depth',['../structparse__buffer.html#af613c4ed7d73f76c60c50d1bcf4c67a0',1,'parse_buffer::depth()'],['../structprintbuffer.html#aa7311b5da38ff8d1737824c611b48732',1,'printbuffer::depth()']]],
+  ['deref_5fval_1600',['deref_val',['../structSVF_1_1GenericGraphTraits_3_01SVF_1_1GenericGraph_3_01NodeTy_00_01EdgeTy_01_4_01_5_01_4.html#a99287b5330bb4aa2c3eede8f9073fbca',1,'SVF::GenericGraphTraits< SVF::GenericGraph< NodeTy, EdgeTy > * >']]],
+  ['derefmdname_1601',['derefMDName',['../namespaceSVF_1_1cppUtil_1_1ctir.html#a0cd5347bc8043d4306e66a4a96005ace',1,'SVF::cppUtil::ctir']]],
+  ['description_1602',['description',['../classOptionBase.html#a8fbb1cde9e12a099617c8e8298424b5b',1,'OptionBase']]],
+  ['destory_1603',['destory',['../classSVF_1_1ExtAPI.html#abe3e0e2500532acfc01cee7e2ce1cd90',1,'SVF::ExtAPI']]],
+  ['destroy_1604',['destroy',['../classSVF_1_1ConstraintGraph.html#a77ba38543b1ee164f1ae95589d5dbc44',1,'SVF::ConstraintGraph::destroy()'],['../classSVF_1_1GenericGraph.html#adf0a205f4f62f33c5fa8f2d544aac633',1,'SVF::GenericGraph::destroy()'],['../classSVF_1_1PTACallGraph.html#a6a794ee3e4b217a1a0c6edf4bcdbdb69',1,'SVF::PTACallGraph::destroy()'],['../classSVF_1_1SVFG.html#a82a93d9b7fcf1938e3090a0826a1ca7e',1,'SVF::SVFG::destroy()'],['../classSVF_1_1VFG.html#af5005136743913d760d7402bbd308c69',1,'SVF::VFG::destroy()'],['../classSVF_1_1PointerAnalysis.html#a03dadb5429e2b84f88713a83153979a8',1,'SVF::PointerAnalysis::destroy()'],['../classSVF_1_1CondPTAImpl.html#a5fa3d986e4ef710a2148b2854167c3ed',1,'SVF::CondPTAImpl::destroy()'],['../classSVF_1_1MRGenerator.html#ac253d88de2a0cb9624c70d2bcfdac36e',1,'SVF::MRGenerator::destroy()'],['../classSVF_1_1MemSSA.html#a3d6096aeb4155444b532b02bb8559113',1,'SVF::MemSSA::destroy()'],['../classSVF_1_1TCT.html#aa453e3b27ec5fa4782bd6b9adef66877',1,'SVF::TCT::destroy()'],['../classSVF_1_1ProgSlice.html#a899332b210414ac991b57e83851ee5be',1,'SVF::ProgSlice::destroy()'],['../classSVF_1_1SaberCondAllocator.html#a59e01031d81c2e06bbc6577036b51732',1,'SVF::SaberCondAllocator::destroy()'],['../classSVF_1_1SVFIR.html#a6834558be6987c91a3732154482c9567',1,'SVF::SVFIR::destroy()'],['../classSVF_1_1SymbolTableInfo.html#a87cc3289dd69e5378487dd9ae2c9e82e',1,'SVF::SymbolTableInfo::destroy()'],['../classSVF_1_1MemObj.html#a1e6ff4c2b04b07c5f71e5e7a6a0d7735',1,'SVF::MemObj::destroy()'],['../classSVF_1_1ThreadAPI.html#af4d921a3a0e5374188f7b6a6427c049d',1,'SVF::ThreadAPI::destroy()']]],
+  ['destructor_1605',['DESTRUCTOR',['../classSVF_1_1CHGraph.html#a2a1da7f262a2f11653fb583154a93a22adfb68ad45ad216277b580d9a45926dc7',1,'SVF::CHGraph']]],
+  ['detect_1606',['detect',['../classSVF_1_1MTA.html#a5adab2e3b400190ecc9fa2a158203cb3',1,'SVF::MTA']]],
+  ['detectbufoverflow_1607',['detectBufOverflow',['../classSVF_1_1BufOverflowChecker.html#a52de7d619e8746a70718719306d7c5a1',1,'SVF::BufOverflowChecker']]],
+  ['detectpwc_1608',['DetectPWC',['../classSVF_1_1Options.html#a3fc22d0a45be551110d1e326380f3202',1,'SVF::Options']]],
+  ['detectsccs_1609',['detectSCCs',['../classSVF_1_1VersionedFlowSensitive_1_1SCC.html#ac2dd88315f54ae766e73e7680f526ed6',1,'SVF::VersionedFlowSensitive::SCC']]],
+  ['detectstrcat_1610',['detectStrcat',['../classSVF_1_1BufOverflowCheckerAPI.html#ae88696790ca4f3392c7dc76c74619f46',1,'SVF::BufOverflowCheckerAPI']]],
+  ['detectstrcpy_1611',['detectStrcpy',['../classSVF_1_1BufOverflowCheckerAPI.html#a296a3ea0f8df72ce6480b5cb0f207945',1,'SVF::BufOverflowCheckerAPI']]],
+  ['determinebestmapping_1612',['determineBestMapping',['../classSVF_1_1NodeIDAllocator_1_1Clusterer.html#a3f86e733cc075180e9682887c554b8fa',1,'SVF::NodeIDAllocator::Clusterer']]],
+  ['dfbbsmap_1613',['dfBBsMap',['../classSVF_1_1SVFLoopAndDomInfo.html#ae191915ae746e30c8370ebf8fe733723',1,'SVF::SVFLoopAndDomInfo']]],
+  ['dfinoutmap_1614',['DFInOutMap',['../classSVF_1_1FlowSensitive.html#af9a2bd5b490f1cc5335ce696173c78dd',1,'SVF::FlowSensitive::DFInOutMap()'],['../classSVF_1_1FlowSensitiveStat.html#a55d45e82ea3d338114e50da877bcfb75',1,'SVF::FlowSensitiveStat::DFInOutMap()']]],
+  ['dfinptsmap_1615',['dfInPtsMap',['../classSVF_1_1MutableDFPTData.html#abb59ef7367e353e65b82b54dac509f36',1,'SVF::MutableDFPTData::dfInPtsMap()'],['../classSVF_1_1PersistentDFPTData.html#a6b892b707524127928e269f0f0bbe868',1,'SVF::PersistentDFPTData::dfInPtsMap()']]],
+  ['dfkeytoidmap_1616',['DFKeyToIDMap',['../classSVF_1_1PersistentDFPTData.html#a0d0318fa192eac88a4307112e30e9d90',1,'SVF::PersistentDFPTData']]],
+  ['dfoutptsmap_1617',['dfOutPtsMap',['../classSVF_1_1MutableDFPTData.html#ad3c53ef1c8e221299f3afe078946fbe0',1,'SVF::MutableDFPTData::dfOutPtsMap()'],['../classSVF_1_1PersistentDFPTData.html#ad77d7ccad393c995813f8c433c249dfc',1,'SVF::PersistentDFPTData::dfOutPtsMap()']]],
+  ['dfptdata_1618',['DFPTData',['../classSVF_1_1DFPTData.html',1,'SVF::DFPTData< Key, KeySet, Data, DataSet >'],['../classSVF_1_1DFPTData.html#a40016a7e3dac46d9ba854d336c7aae83',1,'SVF::DFPTData::DFPTData()']]],
+  ['dfptdataty_1619',['DFPTDataTy',['../classSVF_1_1BVDataPTAImpl.html#a5c2288519153467142e74c8dd4e77180',1,'SVF::BVDataPTAImpl']]],
+  ['dfptsmap_1620',['DFPtsMap',['../classSVF_1_1MutableDFPTData.html#a0c73427f957d310bc85955bec6654352',1,'SVF::MutableDFPTData']]],
+  ['dfptsmapconstiter_1621',['DFPtsMapconstIter',['../classSVF_1_1MutableDFPTData.html#adb30678f5bbdea0f196d3b0ab67d2bad',1,'SVF::MutableDFPTData']]],
+  ['dfptsmapiter_1622',['DFPtsMapIter',['../classSVF_1_1MutableDFPTData.html#a31ad5da37a88d2b97633d590393b0e64',1,'SVF::MutableDFPTData']]],
+  ['dfreechecker_1623',['DFREECHECKER',['../saber_8cpp.html#ab233df6b8c190aa2c26fa20bd1ac7c52',1,'saber.cpp']]],
+  ['dfsnodesbetweenpdomnodes_1624',['dfsNodesBetweenPdomNodes',['../classSVF_1_1CDGBuilder.html#a6efa510f946ea8befebbc94bed241395',1,'SVF::CDGBuilder']]],
+  ['dgeneral_1625',['DGENERAL',['../SVFType_8h.html#a2c64190a065f342897573a3ef4973adb',1,'SVFType.h']]],
+  ['dgettext_1626',['dgettext',['../extapi_8c.html#ae9c3a42a44267df221d0c4fe5b2ea439',1,'extapi.c']]],
+  ['di_1627',['DI',['../classSVF_1_1CommonCHGraph.html#a6a1feb9e268fb56b0de3efc39cfc8db8ae9e3edea0bae930aa9af04699fca9506',1,'SVF::CommonCHGraph']]],
+  ['dibasictype_1628',['DIBasicType',['../namespaceSVF.html#ada0513be7e25325325ccc9183aeca278',1,'SVF']]],
+  ['dicompositetype_1629',['DICompositeType',['../namespaceSVF.html#aded9b991c77acc5284ccead0739e84f1',1,'SVF']]],
+  ['diderivedtype_1630',['DIDerivedType',['../namespaceSVF.html#a852e75c562139237fcc754c7461533e6',1,'SVF']]],
+  ['diff_1631',['Diff',['../classSVF_1_1PTData.html#a74ce29609c51f2be34a0b5b7650a9848a03a155517b9587d79c3f0b6dc3b72447',1,'SVF::PTData::Diff()'],['../classSVF_1_1POCRSolver.html#a403ddbfcdf61cd01ad9dc778a7e02af0',1,'SVF::POCRSolver::diff()']]],
+  ['difference_5ftype_1632',['difference_type',['../classSVF_1_1PointsTo_1_1PointsToIterator.html#a79da80a016d68d70b63bcaa884cf53cb',1,'SVF::PointsTo::PointsToIterator::difference_type()'],['../classSVF_1_1CoreBitVector_1_1CoreBitVectorIterator.html#aeabc3acd9ce15b8beff0db8a49d8781f',1,'SVF::CoreBitVector::CoreBitVectorIterator::difference_type()'],['../classSVF_1_1iter__facade__base.html#a4850340b864a13fb78e52dfb46d0e8a3',1,'SVF::iter_facade_base::difference_type()'],['../classSVF_1_1iter__adaptor__base.html#a0dc562917692ec5e4880509444b66e9a',1,'SVF::iter_adaptor_base::difference_type()']]],
+  ['diffptdata_1633',['DiffPTData',['../classSVF_1_1DiffPTData.html',1,'SVF::DiffPTData< Key, KeySet, Data, DataSet >'],['../classSVF_1_1DiffPTData.html#ac7e9661cfb4d5af3ef35d323ddc35558',1,'SVF::DiffPTData::DiffPTData()']]],
+  ['diffptdataty_1634',['DiffPTDataTy',['../classSVF_1_1BVDataPTAImpl.html#abd8bb73e9beac5e39667091b1e211bd3',1,'SVF::BVDataPTAImpl']]],
+  ['diffpts_1635',['DiffPts',['../classSVF_1_1Options.html#ae782f25eaee9ac363c733b6ac609fbce',1,'SVF::Options']]],
+  ['diffptsmap_1636',['diffPtsMap',['../classSVF_1_1MutableDiffPTData.html#a9ee7874e987e93eb4cb9d75ed08effd5',1,'SVF::MutableDiffPTData::diffPtsMap()'],['../classSVF_1_1PersistentDiffPTData.html#ac54339952e2734a6affdaa543fb3ed22',1,'SVF::PersistentDiffPTData::diffPtsMap()']]],
+  ['diffwave_1637',['diffWave',['../classSVF_1_1AndersenWaveDiff.html#add4dcb6d74a8ce8747bcac5f740cd672',1,'SVF::AndersenWaveDiff']]],
+  ['dinode_1638',['DINode',['../namespaceSVF.html#a758f3bee97ed46a719d64a2d4f2bc62d',1,'SVF']]],
+  ['dinodearray_1639',['DINodeArray',['../namespaceSVF.html#a0f825e73d115173b05ca54fb8ec65003',1,'SVF']]],
+  ['dinstrument_1640',['DInstrument',['../SVFType_8h.html#abf3a5def3f319733214fa5f595b39827',1,'SVFType.h']]],
+  ['dirandindjoinmap_1641',['dirAndIndJoinMap',['../classSVF_1_1ForkJoinAnalysis.html#ab5678bd46e573070827cc413f0e0d5be',1,'SVF::ForkJoinAnalysis']]],
+  ['direct_5fchild_5fbegin_1642',['direct_child_begin',['../structSVF_1_1GenericGraphTraits_3_01SVF_1_1GenericNode_3_01NodeTy_00_01EdgeTy_01_4_01_5_01_4.html#a46c6957a8771d6e52dc71d5f7b3c4e81',1,'SVF::GenericGraphTraits< SVF::GenericNode< NodeTy, EdgeTy > * >']]],
+  ['direct_5fchild_5fend_1643',['direct_child_end',['../structSVF_1_1GenericGraphTraits_3_01SVF_1_1GenericNode_3_01NodeTy_00_01EdgeTy_01_4_01_5_01_4.html#a543da98c9818fbfd235152beab355e9c',1,'SVF::GenericGraphTraits< SVF::GenericNode< NodeTy, EdgeTy > * >']]],
+  ['directcallfunpass_1644',['directCallFunPass',['../classSVF_1_1AbstractExecution.html#aff1c9582db75361b68aaaf0c4b8b6f0d',1,'SVF::AbstractExecution']]],
+  ['directcalls_1645',['directCalls',['../classSVF_1_1PTACallGraphEdge.html#a2f3e4b61225c4ca37b0f70e3edc61920',1,'SVF::PTACallGraphEdge']]],
+  ['directcallsbegin_1646',['directCallsBegin',['../classSVF_1_1PTACallGraphEdge.html#a750e50a9022451e406c4819979edffa5',1,'SVF::PTACallGraphEdge']]],
+  ['directcallsend_1647',['directCallsEnd',['../classSVF_1_1PTACallGraphEdge.html#acc4fcacefdc9be9a214dfcc455fe7970',1,'SVF::PTACallGraphEdge']]],
+  ['directedgeset_1648',['directEdgeSet',['../classSVF_1_1ConstraintGraph.html#a1be3ebb84b3d334daf98f7e6f5b82256',1,'SVF::ConstraintGraph']]],
+  ['directinedgebegin_1649',['directInEdgeBegin',['../classSVF_1_1ConstraintNode.html#a66c58fc9e29b9e2c88cb7e3216415c9f',1,'SVF::ConstraintNode::directInEdgeBegin()'],['../classSVF_1_1ConstraintNode.html#afdb510d663364d21762af0f1f292e50e',1,'SVF::ConstraintNode::directInEdgeBegin() const'],['../classSVF_1_1GenericNode.html#a4ab1f2e5db301e4a37215905a22e6476',1,'SVF::GenericNode::directInEdgeBegin()'],['../classSVF_1_1GenericNode.html#ab331402aed245c33bad841df2bc21f7b',1,'SVF::GenericNode::directInEdgeBegin() const']]],
+  ['directinedgeend_1650',['directInEdgeEnd',['../classSVF_1_1ConstraintNode.html#aed4e0b2ede72717491747158c2e2702f',1,'SVF::ConstraintNode::directInEdgeEnd()'],['../classSVF_1_1ConstraintNode.html#a9101c445c228d059c8a85b8973428047',1,'SVF::ConstraintNode::directInEdgeEnd() const'],['../classSVF_1_1GenericNode.html#a19599627ba095b5452373284deab7f6c',1,'SVF::GenericNode::directInEdgeEnd()'],['../classSVF_1_1GenericNode.html#aa7be9ff204bf85bc3bf2fa4e078fcab2',1,'SVF::GenericNode::directInEdgeEnd() const']]],
+  ['directinedges_1651',['directInEdges',['../classSVF_1_1ConstraintNode.html#a53626700d25b5c004e42354c925df83c',1,'SVF::ConstraintNode']]],
+  ['directjoinmap_1652',['directJoinMap',['../classSVF_1_1ForkJoinAnalysis.html#abf5b499f93a658636d09a62d14a47cad',1,'SVF::ForkJoinAnalysis']]],
+  ['directoutedgebegin_1653',['directOutEdgeBegin',['../classSVF_1_1ConstraintNode.html#a5be4bd33793fe159397c16a80a05b570',1,'SVF::ConstraintNode::directOutEdgeBegin()'],['../classSVF_1_1ConstraintNode.html#ae0a836aae35a53051209e47a6de4a0f7',1,'SVF::ConstraintNode::directOutEdgeBegin() const'],['../classSVF_1_1GenericNode.html#aa0e258d3a92dae367f2809a6f16c80db',1,'SVF::GenericNode::directOutEdgeBegin()'],['../classSVF_1_1GenericNode.html#acfae7a2809931cbd62b6f47c4813510d',1,'SVF::GenericNode::directOutEdgeBegin() const']]],
+  ['directoutedgeend_1654',['directOutEdgeEnd',['../classSVF_1_1ConstraintNode.html#ae3465d3c949ec59e243b30ad0ecd256d',1,'SVF::ConstraintNode::directOutEdgeEnd()'],['../classSVF_1_1ConstraintNode.html#a2069add351804447659d39bf53d9bf41',1,'SVF::ConstraintNode::directOutEdgeEnd() const'],['../classSVF_1_1GenericNode.html#a5950d69d4ba6c2122dd06b93911e4992',1,'SVF::GenericNode::directOutEdgeEnd()'],['../classSVF_1_1GenericNode.html#a7f914b128f7839483efc9ad56834e7c2',1,'SVF::GenericNode::directOutEdgeEnd() const']]],
+  ['directoutedges_1655',['directOutEdges',['../classSVF_1_1ConstraintNode.html#affb426040b05678fcbce62002a02bb06',1,'SVF::ConstraintNode']]],
+  ['directpropatime_1656',['directPropaTime',['../classSVF_1_1FlowSensitive.html#ae086de68233375be42185f0af706687a',1,'SVF::FlowSensitive']]],
+  ['directsvfgedge_1657',['DirectSVFGEdge',['../classSVF_1_1DirectSVFGEdge.html',1,'SVF::DirectSVFGEdge'],['../classSVF_1_1DirectSVFGEdge.html#a739ffa262f30d6473f56a610fd64fe95',1,'SVF::DirectSVFGEdge::DirectSVFGEdge()']]],
+  ['dirvfedgeend_1658',['dirVFEdgeEnd',['../classSVF_1_1SVFGStat.html#abef8f1d89413ed3c6e67dcd2b81729d8',1,'SVF::SVFGStat']]],
+  ['dirvfedgestart_1659',['dirVFEdgeStart',['../classSVF_1_1SVFGStat.html#a169d75c0fd09f69d86939d84db67e590',1,'SVF::SVFGStat']]],
+  ['disableprintstat_1660',['disablePrintStat',['../classSVF_1_1PointerAnalysis.html#af44b14fed89918847c0228c1100c56d2',1,'SVF::PointerAnalysis']]],
+  ['disablewarn_1661',['DisableWarn',['../classSVF_1_1Options.html#a1721ff576ad641d862f29b038f31db28',1,'SVF::Options']]],
+  ['distancematrixtime_1662',['DistanceMatrixTime',['../classSVF_1_1NodeIDAllocator_1_1Clusterer.html#a09d2dbb2faab0a0e03bfa353534116a8',1,'SVF::NodeIDAllocator::Clusterer']]],
+  ['distinct_1663',['Distinct',['../classSVF_1_1MemSSA.html#ac0797f2ee7b59ae720095a4836533671a9da5f4ad2a43befdbc4be319bffc80ea',1,'SVF::MemSSA']]],
+  ['distinctmrg_1664',['DistinctMRG',['../classSVF_1_1DistinctMRG.html',1,'SVF::DistinctMRG'],['../classSVF_1_1DistinctMRG.html#ad7e4959327aa45932fd788bacca0de01',1,'SVF::DistinctMRG::DistinctMRG()']]],
+  ['distoccmap_1665',['DistOccMap',['../classSVF_1_1NodeIDAllocator_1_1Clusterer.html#a1f74f1e72a844166f742d2d46efbbb5e',1,'SVF::NodeIDAllocator::Clusterer']]],
+  ['disubprogram_1666',['DISubprogram',['../namespaceSVF.html#a89c7208bfc0b57873dfa574f52050295',1,'SVF']]],
+  ['disubrange_1667',['DISubrange',['../namespaceSVF.html#a99bc1228f07429855c81a720be862dc6',1,'SVF']]],
+  ['disubroutinetype_1668',['DISubroutineType',['../namespaceSVF.html#a090e0791e8c200104ed3ab6bab157129',1,'SVF']]],
+  ['ditype_1669',['diType',['../classSVF_1_1DCHNode.html#a05b5b4539273ac5d21d8cbcfa712a439',1,'SVF::DCHNode::diType()'],['../namespaceSVF.html#ad127b0ad478640ede3d426e3a58d2632',1,'SVF::DIType()']]],
+  ['dityperefarray_1670',['DITypeRefArray',['../namespaceSVF.html#a9d3ee421789884473bfacfaa9ec007cc',1,'SVF']]],
+  ['ditypetonodemap_1671',['diTypeToNodeMap',['../classSVF_1_1DCHGraph.html#ae2aee47b803f9cde8950b7f1ad11273d',1,'SVF::DCHGraph']]],
+  ['ditypetostr_1672',['diTypeToStr',['../classSVF_1_1DCHGraph.html#a2dc488345cc3a5f37079952f638d8c2b',1,'SVF::DCHGraph']]],
+  ['dmemmodel_1673',['DMemModel',['../SVFType_8h.html#ad46a0423f8709692e1bb0f0fa5b1ca2f',1,'SVFType.h']]],
+  ['dmemmodelce_1674',['DMemModelCE',['../SVFType_8h.html#aaff570bb354b8519a4852ffda413af7c',1,'SVFType.h']]],
+  ['dmssa_1675',['DMSSA',['../SVFType_8h.html#a385e9d80a013723304b329454d32e8b1',1,'SVFType.h']]],
+  ['dmta_1676',['DMTA',['../SVFType_8h.html#a217a1ccdaec1abb103cf6b0373631234',1,'SVFType.h']]],
+  ['dngettext_1677',['dngettext',['../extapi_8c.html#a54ac933fa6a0e84898be26c04faacb92',1,'extapi.c']]],
+  ['doit_1678',['doit',['../structSVF_1_1SVFUtil_1_1isa__impl.html#a150c6a99c45befa44a4cd2bcc8d06eee',1,'SVF::SVFUtil::isa_impl::doit()'],['../structSVF_1_1SVFUtil_1_1isa__impl_3_01To_00_01From_00_01std_1_1enable__if__t_3_01std_1_1is__baseacbe8554d65d479d86c5b7d994311309.html#a1d03ef26d605e8f9cb9ecf68e69447dc',1,'SVF::SVFUtil::isa_impl< To, From, std::enable_if_t< std::is_base_of< To, From >::value > >::doit()'],['../structSVF_1_1SVFUtil_1_1isa__impl__cl.html#afbe68352d888c0b15e9f46d4e378bacb',1,'SVF::SVFUtil::isa_impl_cl::doit()'],['../structSVF_1_1SVFUtil_1_1isa__impl__cl_3_01To_00_01const_01From_01_4.html#af9a6a9c7660d5daedf8cd907788ac78d',1,'SVF::SVFUtil::isa_impl_cl< To, const From >::doit()'],['../structSVF_1_1SVFUtil_1_1isa__impl__cl_3_01To_00_01const_01std_1_1unique__ptr_3_01From_01_4_01_4.html#aff368847551a69d07b06237908594852',1,'SVF::SVFUtil::isa_impl_cl< To, const std::unique_ptr< From > >::doit()'],['../structSVF_1_1SVFUtil_1_1isa__impl__cl_3_01To_00_01From_01_5_01_4.html#a8add67bd107583b7c34fce53a748bcb0',1,'SVF::SVFUtil::isa_impl_cl< To, From * >::doit()'],['../structSVF_1_1SVFUtil_1_1isa__impl__cl_3_01To_00_01From_01_5const_01_4.html#ac95b00b5d96e6b8457ecade4dbda3de3',1,'SVF::SVFUtil::isa_impl_cl< To, From *const >::doit()'],['../structSVF_1_1SVFUtil_1_1isa__impl__cl_3_01To_00_01const_01From_01_5_01_4.html#a761b612c6ee476a28aabfbbc6b2da7ab',1,'SVF::SVFUtil::isa_impl_cl< To, const From * >::doit()'],['../structSVF_1_1SVFUtil_1_1isa__impl__cl_3_01To_00_01const_01From_01_5const_01_4.html#af73d1d0d7eb6f51090b4df47b497483a',1,'SVF::SVFUtil::isa_impl_cl< To, const From *const >::doit()'],['../structSVF_1_1SVFUtil_1_1isa__impl__wrap.html#aa0f166d8bdcd1e7b954cc29c19a40b04',1,'SVF::SVFUtil::isa_impl_wrap::doit()'],['../structSVF_1_1SVFUtil_1_1isa__impl__wrap_3_01To_00_01FromTy_00_01FromTy_01_4.html#a414dc089b04305b8580dede7a6337404',1,'SVF::SVFUtil::isa_impl_wrap< To, FromTy, FromTy >::doit()'],['../structSVF_1_1SVFUtil_1_1cast__convert__val.html#a42987ff69d76fef88044fe0b19743239',1,'SVF::SVFUtil::cast_convert_val::doit()'],['../structSVF_1_1SVFUtil_1_1cast__convert__val_3_01To_00_01FromTy_00_01FromTy_01_4.html#a2dd56ef15d86f61c7fef34dc15173e4a',1,'SVF::SVFUtil::cast_convert_val< To, FromTy, FromTy >::doit()']]],
+  ['dolockanalysis_1679',['DoLockAnalysis',['../classSVF_1_1Options.html#ae2c4fe298a27f50c749b75f0801f9666',1,'SVF::Options']]],
+  ['dominancefrontier_1680',['DominanceFrontier',['../namespaceSVF.html#ab44d20f806be99699895260b14a942d7',1,'SVF']]],
+  ['dominancefrontierbase_1681',['DominanceFrontierBase',['../namespaceSVF.html#a2f60343a6839b9cc893bbf77e8a19915',1,'SVF']]],
+  ['dominate_1682',['dominate',['../classSVF_1_1SaberCondAllocator.html#af2fe5ef8f31ae675a7a32b45aa34a597',1,'SVF::SaberCondAllocator::dominate()'],['../classSVF_1_1SVFLoopAndDomInfo.html#a342f2825d6b7e3289d0f0f4b7ee8247c',1,'SVF::SVFLoopAndDomInfo::dominate()'],['../classSVF_1_1SVFFunction.html#a03db4ff0d8140ebc0219caea902e7078',1,'SVF::SVFFunction::dominate()']]],
+  ['dominatortree_1683',['DominatorTree',['../namespaceSVF.html#aecbb42b8e9d17fa0189c50dda9fd5fdd',1,'SVF']]],
+  ['domtreenode_1684',['DomTreeNode',['../namespaceSVF.html#a827d09974dc7bf0849f96823cc2fee89',1,'SVF']]],
+  ['dostat_1685',['DOSTAT',['../SVFType_8h.html#a6c9e2209a2c38607a9e3b7fab242886a',1,'SVFType.h']]],
+  ['dot_1686',['DOT',['../namespaceSVF_1_1GraphProgram.html#a10f45758abb5c1ef51b0ba38d18efd37ae09e3feb3996d73e682cf2a5077c090c',1,'SVF::GraphProgram']]],
+  ['dotgraphtraits_1687',['DOTGraphTraits',['../structSVF_1_1DOTGraphTraits.html',1,'SVF::DOTGraphTraits< Ty >'],['../structSVF_1_1DOTGraphTraits_3_01SVF_1_1CDG_01_5_01_4.html#a642a365cfbcfd84e6df4b76afd08cc4a',1,'SVF::DOTGraphTraits< SVF::CDG * >::DOTGraphTraits()'],['../structSVF_1_1DOTGraphTraits_3_01SVF_1_1CFBasicBlockGraph_01_5_01_4.html#a8b20aa3687b959574334d55646db4418',1,'SVF::DOTGraphTraits< SVF::CFBasicBlockGraph * >::DOTGraphTraits()'],['../structSVF_1_1DOTGraphTraits.html#a359df069e6c41d32e8b7ed5a23817e99',1,'SVF::DOTGraphTraits::DOTGraphTraits()'],['../structSVF_1_1DOTGraphTraits_3_01CFLGraph_01_5_01_4.html#a85e149bc2cb9c6de4ad5b106138f5cd9',1,'SVF::DOTGraphTraits< CFLGraph * >::DOTGraphTraits()'],['../structSVF_1_1DOTGraphTraits_3_01CHGraph_01_5_01_4.html#a1766ccfed581eae6505f66d38ba6a047',1,'SVF::DOTGraphTraits< CHGraph * >::DOTGraphTraits()'],['../structSVF_1_1DOTGraphTraits_3_01ConstraintGraph_01_5_01_4.html#ad816997d240e758f7a2f1f6508048ef3',1,'SVF::DOTGraphTraits< ConstraintGraph * >::DOTGraphTraits()'],['../structSVF_1_1DOTGraphTraits_3_01ICFG_01_5_01_4.html#af0d447adf06f88bad4b25ba8fd14efd5',1,'SVF::DOTGraphTraits< ICFG * >::DOTGraphTraits()'],['../structSVF_1_1DOTGraphTraits_3_01IRGraph_01_5_01_4.html#a176af80970e864d657ee3dd8dbd67a35',1,'SVF::DOTGraphTraits< IRGraph * >::DOTGraphTraits()'],['../structSVF_1_1DOTGraphTraits_3_01PTACallGraph_01_5_01_4.html#a6ee6203a72086167e4277a43f0a3f6fd',1,'SVF::DOTGraphTraits< PTACallGraph * >::DOTGraphTraits()'],['../structSVF_1_1DOTGraphTraits_3_01SVFG_01_5_01_4.html#ad3c3175e8f9729650cf55c72de96ff8e',1,'SVF::DOTGraphTraits< SVFG * >::DOTGraphTraits()'],['../structSVF_1_1DOTGraphTraits_3_01VFG_01_5_01_4.html#a682f25ccfcb9ff37d6323ce8bce7ca64',1,'SVF::DOTGraphTraits< VFG * >::DOTGraphTraits()'],['../structSVF_1_1DOTGraphTraits_3_01TCT_01_5_01_4.html#adafb93ca8d752a5405c5ec39bcb76e18',1,'SVF::DOTGraphTraits< TCT * >::DOTGraphTraits()']]],
+  ['dotgraphtraits_2eh_1688',['DOTGraphTraits.h',['../DOTGraphTraits_8h.html',1,'']]],
+  ['dotgraphtraits_3c_20cflgraph_20_2a_20_3e_1689',['DOTGraphTraits< CFLGraph * >',['../structSVF_1_1DOTGraphTraits_3_01CFLGraph_01_5_01_4.html',1,'SVF']]],
+  ['dotgraphtraits_3c_20chgraph_20_2a_20_3e_1690',['DOTGraphTraits< CHGraph * >',['../structSVF_1_1DOTGraphTraits_3_01CHGraph_01_5_01_4.html',1,'SVF']]],
+  ['dotgraphtraits_3c_20constraintgraph_20_2a_20_3e_1691',['DOTGraphTraits< ConstraintGraph * >',['../structSVF_1_1DOTGraphTraits_3_01ConstraintGraph_01_5_01_4.html',1,'SVF']]],
+  ['dotgraphtraits_3c_20graphtype_20_3e_1692',['DOTGraphTraits< GraphType >',['../structSVF_1_1DOTGraphTraits.html',1,'SVF']]],
+  ['dotgraphtraits_3c_20icfg_20_2a_20_3e_1693',['DOTGraphTraits< ICFG * >',['../structSVF_1_1DOTGraphTraits_3_01ICFG_01_5_01_4.html',1,'SVF']]],
+  ['dotgraphtraits_3c_20irgraph_20_2a_20_3e_1694',['DOTGraphTraits< IRGraph * >',['../structSVF_1_1DOTGraphTraits_3_01IRGraph_01_5_01_4.html',1,'SVF']]],
+  ['dotgraphtraits_3c_20ptacallgraph_20_2a_20_3e_1695',['DOTGraphTraits< PTACallGraph * >',['../structSVF_1_1DOTGraphTraits_3_01PTACallGraph_01_5_01_4.html',1,'SVF']]],
+  ['dotgraphtraits_3c_20svf_3a_3acdg_20_2a_20_3e_1696',['DOTGraphTraits< SVF::CDG * >',['../structSVF_1_1DOTGraphTraits_3_01SVF_1_1CDG_01_5_01_4.html',1,'SVF']]],
+  ['dotgraphtraits_3c_20svf_3a_3acfbasicblockgraph_20_2a_20_3e_1697',['DOTGraphTraits< SVF::CFBasicBlockGraph * >',['../structSVF_1_1DOTGraphTraits_3_01SVF_1_1CFBasicBlockGraph_01_5_01_4.html',1,'SVF']]],
+  ['dotgraphtraits_3c_20svf_3a_3apag_20_2a_20_3e_1698',['DOTGraphTraits< SVF::PAG * >',['../structSVF_1_1DOTGraphTraits.html',1,'SVF']]],
+  ['dotgraphtraits_3c_20svf_3a_3asvfir_20_2a_20_3e_1699',['DOTGraphTraits< SVF::SVFIR * >',['../structSVF_1_1DOTGraphTraits.html',1,'SVF']]],
+  ['dotgraphtraits_3c_20svfg_20_2a_20_3e_1700',['DOTGraphTraits< SVFG * >',['../structSVF_1_1DOTGraphTraits_3_01SVFG_01_5_01_4.html',1,'SVF']]],
+  ['dotgraphtraits_3c_20svfir_20_2a_20_3e_1701',['DOTGraphTraits< SVFIR * >',['../structSVF_1_1DOTGraphTraits.html',1,'SVF']]],
+  ['dotgraphtraits_3c_20tct_20_2a_20_3e_1702',['DOTGraphTraits< TCT * >',['../structSVF_1_1DOTGraphTraits_3_01TCT_01_5_01_4.html',1,'SVF']]],
+  ['dotgraphtraits_3c_20vfg_20_2a_20_3e_1703',['DOTGraphTraits< VFG * >',['../structSVF_1_1DOTGraphTraits_3_01VFG_01_5_01_4.html',1,'SVF']]],
+  ['dotimestat_1704',['DOTIMESTAT',['../SVFType_8h.html#ab6f41e9db3675dc689c5492418885041',1,'SVFType.h']]],
+  ['dottraits_1705',['DOTTraits',['../classSVF_1_1GraphWriter.html#a245d85f8c907a409533ab151e9e3d9a2',1,'SVF::GraphWriter']]],
+  ['doublefree_1706',['DOUBLEFREE',['../classSVF_1_1GenericBug.html#a7aeeb33097bca5f7fe6747f90f5cecaca1f91a40ca53eb077cc947fae828554b4',1,'SVF::GenericBug']]],
+  ['doublefreebug_1707',['DoubleFreeBug',['../classSVF_1_1DoubleFreeBug.html',1,'SVF::DoubleFreeBug'],['../classSVF_1_1DoubleFreeBug.html#aea90778c71659c87a6139d19b896bdb8',1,'SVF::DoubleFreeBug::DoubleFreeBug()']]],
+  ['doublefreechecker_1708',['DoubleFreeChecker',['../classSVF_1_1DoubleFreeChecker.html',1,'SVF::DoubleFreeChecker'],['../classSVF_1_1DoubleFreeChecker.html#ac9d147b16442bb4746f66cffe46a070a',1,'SVF::DoubleFreeChecker::DoubleFreeChecker()']]],
+  ['doublefreechecker_2ecpp_1709',['DoubleFreeChecker.cpp',['../DoubleFreeChecker_8cpp.html',1,'']]],
+  ['doublefreechecker_2eh_1710',['DoubleFreeChecker.h',['../DoubleFreeChecker_8h.html',1,'']]],
+  ['dpagbuild_1711',['DPAGBuild',['../SVFType_8h.html#a7a295e02c56a93cf9206dd9d3b18dd17',1,'SVFType.h']]],
+  ['dpim_1712',['DPIm',['../classSVF_1_1SrcSnkDDA.html#a83d5ccf0836f8f751aff078f88328cca',1,'SVF::SrcSnkDDA']]],
+  ['dpimset_1713',['DPImSet',['../classSVF_1_1SrcSnkDDA.html#ab3cc8f13ea8de2db4ba874280802667a',1,'SVF::SrcSnkDDA']]],
+  ['dpimtocptsetmap_1714',['DPImToCPtSetMap',['../classSVF_1_1DDAVFSolver.html#a8b5a34679fb1362425c88d6e74b6c019',1,'SVF::DDAVFSolver']]],
+  ['dpitem_1715',['DPItem',['../classSVF_1_1DPItem.html',1,'SVF::DPItem'],['../classSVF_1_1DPItem.html#ac5dbe11ebf512e6dccdfa1eceba04fe8',1,'SVF::DPItem::DPItem(NodeID c)'],['../classSVF_1_1DPItem.html#a715b7de4a392d8c389e611e27f8b9184',1,'SVF::DPItem::DPItem(const DPItem &dps)'],['../classSVF_1_1DPItem.html#a97b304417b1b2253d9bd30ee22d269df',1,'SVF::DPItem::DPItem(DPItem &&dps) noexcept']]],
+  ['dpitem_2eh_1716',['DPItem.h',['../DPItem_8h.html',1,'']]],
+  ['dpmtoadcptsetmap_1717',['dpmToADCPtSetMap',['../classSVF_1_1DDAVFSolver.html#a2565bf8dcacb22350dc1dc98ec7595f2',1,'SVF::DDAVFSolver']]],
+  ['dpmtocvarmap_1718',['DPMToCVarMap',['../classSVF_1_1DDAVFSolver.html#af0538abf12c01d31a0296553e2f7c92d',1,'SVF::DDAVFSolver']]],
+  ['dpmtodpmmap_1719',['DPMToDPMMap',['../classSVF_1_1DDAVFSolver.html#a2ccbcfa949a1796094b5d9499177fc2b',1,'SVF::DDAVFSolver']]],
+  ['dpmtoloaddpmmap_1720',['dpmToloadDpmMap',['../classSVF_1_1DDAVFSolver.html#a9d8959dfee05685cd74d0d7a78069692',1,'SVF::DDAVFSolver']]],
+  ['dpmtotlcptsetmap_1721',['dpmToTLCPtSetMap',['../classSVF_1_1DDAVFSolver.html#a2d6df8149b45d719e22fc505df94171a',1,'SVF::DDAVFSolver']]],
+  ['dptitemset_1722',['DPTItemSet',['../classSVF_1_1DDAVFSolver.html#a05d6b074b04aad7dc1f3cbe0ca587467',1,'SVF::DDAVFSolver']]],
+  ['dr_5fcheck_1723',['DR_CHECK',['../classSVF_1_1Annotator.html#a64fa6f1cac79c47c66b16ac29d2ac3f4',1,'SVF::Annotator']]],
+  ['dr_5fnot_5fcheck_1724',['DR_NOT_CHECK',['../classSVF_1_1Annotator.html#af220da6fe6fc879d15cc34ab397c5ba1',1,'SVF::Annotator']]],
+  ['drefinept_1725',['DRefinePT',['../SVFType_8h.html#a12848bc67564a74a3f203cee9de2eb29',1,'SVFType.h']]],
+  ['dsaber_1726',['DSaber',['../SVFType_8h.html#a817abc424f7cfcdec5954c7807970f36',1,'SVFType.h']]],
+  ['dst_1727',['dst',['../classSVF_1_1GenericEdge.html#aa41cb7482bdab1ba328f4b94f30f3ee4',1,'SVF::GenericEdge']]],
+  ['dtbbsmap_1728',['dtBBsMap',['../classSVF_1_1SVFLoopAndDomInfo.html#a34296b98ee8dd1bfc0b1ae7fe327cde3',1,'SVF::SVFLoopAndDomInfo']]],
+  ['dtraits_1729',['DTraits',['../classSVF_1_1GraphWriter.html#a36f1ca2744fae2f45400e82f39e4fcd8',1,'SVF::GraphWriter']]],
+  ['dummyobjnode_1730',['DummyObjNode',['../classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffa1ab625ecaf51446246dcc2944d6559af',1,'SVF::SVFVar']]],
+  ['dummyobjvar_1731',['DummyObjVar',['../classSVF_1_1DummyObjVar.html',1,'SVF::DummyObjVar'],['../classSVF_1_1DummyObjVar.html#ae5e65493edff2eca47a901b15ee0dff7',1,'SVF::DummyObjVar::DummyObjVar(NodeID i)'],['../classSVF_1_1DummyObjVar.html#a3dff74bbf50b6a901239d3fd31e0f36c',1,'SVF::DummyObjVar::DummyObjVar(NodeID i, const MemObj *m, PNODEK ty=DummyObjNode)']]],
+  ['dummyvalnode_1732',['DummyValNode',['../classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffa8299ae0d09f1b19411cb07cd79a2bae8',1,'SVF::SVFVar']]],
+  ['dummyvalvar_1733',['DummyValVar',['../classSVF_1_1DummyValVar.html',1,'SVF::DummyValVar'],['../classSVF_1_1DummyValVar.html#a39fb5acde002694e91599a67ff3ae99a',1,'SVF::DummyValVar::DummyValVar()']]],
+  ['dummyversionpropsvfgnode_1734',['DummyVersionPropSVFGNode',['../classSVF_1_1DummyVersionPropSVFGNode.html',1,'SVF::DummyVersionPropSVFGNode'],['../classSVF_1_1DummyVersionPropSVFGNode.html#a8661f8c8e31101b5afc37ebe3bac5fe2',1,'SVF::DummyVersionPropSVFGNode::DummyVersionPropSVFGNode()']]],
+  ['dummyvprop_1735',['DummyVProp',['../classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75a6b262331878a44019af8a8539a5ddad2',1,'SVF::VFGNode']]],
+  ['dump_1736',['dump',['../classSVF_1_1DCHGraph.html#a587baf86ecc2fdbecfcf85310673e9f4',1,'SVF::DCHGraph::dump()'],['../classSVF_1_1IntervalValue.html#ac4896347f704db07695f4b8dfc42aad7',1,'SVF::IntervalValue::dump()'],['../classSVF_1_1CFGrammar.html#a032e6a1ccff5444f0c849309ac2ad23f',1,'SVF::CFGrammar::dump() const'],['../classSVF_1_1CFGrammar.html#ab417de2cfd096477e288742b2967cded',1,'SVF::CFGrammar::dump(std::string fileName) const'],['../classSVF_1_1CDG.html#a8c83310df697174ac18d7392c241dc15',1,'SVF::CDG::dump()'],['../classSVF_1_1CFBasicBlockGraph.html#a41494b39a562ee1788f91bc39776604f',1,'SVF::CFBasicBlockGraph::dump()'],['../classSVF_1_1CFLGraph.html#ab32869931e46babcfaa6791efe2ba91e',1,'SVF::CFLGraph::dump()'],['../classSVF_1_1CHGraph.html#a29351163649618332394fc72cc35212f',1,'SVF::CHGraph::dump()'],['../classSVF_1_1ConstraintGraph.html#af9fc8308845628fe8900528573e30462',1,'SVF::ConstraintGraph::dump()'],['../classSVF_1_1ICFG.html#a999956500bbd605326531480546db9ba',1,'SVF::ICFG::dump()'],['../classSVF_1_1ICFGNode.html#a3c193da05d6dee7313a141ae3ab43e97',1,'SVF::ICFGNode::dump()'],['../classSVF_1_1IRGraph.html#a1cb32461439c4dc8d044c2bfadb11307',1,'SVF::IRGraph::dump()'],['../classSVF_1_1PTACallGraph.html#a841be22581a7896d8924564e7199f62b',1,'SVF::PTACallGraph::dump()'],['../classSVF_1_1SVFG.html#a5fdaddc52e7342b834d76d64c1a1e498',1,'SVF::SVFG::dump()'],['../classSVF_1_1VFG.html#aee3d0c4ed32bde425f33281f248b7dd2',1,'SVF::VFG::dump()'],['../classSVF_1_1AccessPath.html#a4519477605a58d5821d05951a88abcd0',1,'SVF::AccessPath::dump()'],['../classSVF_1_1CondPointsToSet.html#a52392deae4011c4353a259c873efc0d6',1,'SVF::CondPointsToSet::dump()'],['../classSVF_1_1MSSAMU.html#a489e8c27e40b709d94a462653fb760f5',1,'SVF::MSSAMU::dump()'],['../classSVF_1_1LoadMU.html#aaaa51723d657719b82a2ce85c1628329',1,'SVF::LoadMU::dump()'],['../classSVF_1_1CallMU.html#af08ecc9c2b75737e88690fb2319fcf57',1,'SVF::CallMU::dump()'],['../classSVF_1_1RetMU.html#ae452b798bf9c6a9d913e63a75c4cd3c0',1,'SVF::RetMU::dump()'],['../classSVF_1_1MSSADEF.html#aa7e06959d5b3197d930aa44b09694b52',1,'SVF::MSSADEF::dump()'],['../classSVF_1_1MSSACHI.html#a63355fc98b9c1cc3db5e664e387693ca',1,'SVF::MSSACHI::dump()'],['../classSVF_1_1StoreCHI.html#af889bd9b729182e20ca7598ad4167bb8',1,'SVF::StoreCHI::dump()'],['../classSVF_1_1CallCHI.html#ac6a1f2f1c897c647d9b070cb56c61a41',1,'SVF::CallCHI::dump()'],['../classSVF_1_1EntryCHI.html#a819f66c0471fe06c739acf18c4a4161d',1,'SVF::EntryCHI::dump()'],['../classSVF_1_1MSSAPHI.html#a15c687ef4286532a5856270bf6f9e11a',1,'SVF::MSSAPHI::dump()'],['../classSVF_1_1TCTNode.html#a47964661d78a61eb1389acc48701abf8',1,'SVF::TCTNode::dump()'],['../classSVF_1_1TCT.html#a716c97a80c483c571ca7a03b9acce3e8',1,'SVF::TCT::dump()'],['../classSVF_1_1SVFVar.html#aa34b2230655db9c4195e44e1c437bbc6',1,'SVF::SVFVar::dump()'],['../classSVF_1_1SymbolTableInfo.html#a9f4cf6914b400b9f69c7852f13c496a9',1,'SVF::SymbolTableInfo::dump()'],['../classSVF_1_1CxtStmt.html#a56e2767c327a383db09dca96edb19614',1,'SVF::CxtStmt::dump()'],['../classSVF_1_1CxtThreadStmt.html#a735d71af28b26d9576f679e53141e303',1,'SVF::CxtThreadStmt::dump()'],['../classSVF_1_1CxtThread.html#a66709acfa2f5762d86574c9cf7f38a64',1,'SVF::CxtThread::dump()'],['../classSVF_1_1CxtProc.html#a254c612f06a3f82b57b1c5a0e52c012f',1,'SVF::CxtProc::dump()'],['../classSVF_1_1CxtThreadProc.html#aed801cfecdbfcd690db2d78de5f8e0b5',1,'SVF::CxtThreadProc::dump()'],['../classSVF_1_1DPItem.html#a6048fa772b5023710c34687c4f047d44',1,'SVF::DPItem::dump()'],['../classSVF_1_1StmtDPItem.html#a6cc1361dd5777cb4b93fb93c3899cfc7',1,'SVF::StmtDPItem::dump()'],['../classSVF_1_1CxtStmtDPItem.html#abc67c264dd262d25899e04f8d68e8a31',1,'SVF::CxtStmtDPItem::dump()'],['../namespaceSVF.html#aae350f79ebcb9efd22ec9efa6678cd13',1,'SVF::dump()']]],
+  ['dumpaliasset_1737',['dumpAliasSet',['../namespaceSVF_1_1SVFUtil.html#a4a15cc5570eed12dd6ee766213e11d61',1,'SVF::SVFUtil']]],
+  ['dumpallpts_1738',['dumpAllPts',['../classSVF_1_1PointerAnalysis.html#a861554c2fdeaa406131c2c920b4c7908',1,'SVF::PointerAnalysis::dumpAllPts()'],['../classSVF_1_1BVDataPTAImpl.html#a7996a2c07b015e8557398ec10db1acef',1,'SVF::BVDataPTAImpl::dumpAllPts()']]],
+  ['dumpalltypes_1739',['dumpAllTypes',['../classSVF_1_1PointerAnalysis.html#a08399de593c073b6dd848a8d849dad27',1,'SVF::PointerAnalysis']]],
+  ['dumpcha_1740',['DumpCHA',['../classSVF_1_1Options.html#afcef86c88bb86198a3579aef82b5e270',1,'SVF::Options']]],
+  ['dumpchastats_1741',['dumpCHAStats',['../classSVF_1_1TypeAnalysis.html#a124fc67578745cde9e74bb36aced25a2',1,'SVF::TypeAnalysis']]],
+  ['dumpcond_1742',['dumpCond',['../classSVF_1_1ProgSlice.html#a03d4ae6a3df1adf7f1ee5eebf1028c9c',1,'SVF::ProgSlice::dumpCond()'],['../classSVF_1_1SaberCondAllocator.html#a100c1962eac6d7af420defc827a025ed',1,'SVF::SaberCondAllocator::dumpCond()']]],
+  ['dumpcontexts_1743',['dumpContexts',['../classSVF_1_1ContextDDA.html#ac3e622d810ee69917b7bef08a882117c',1,'SVF::ContextDDA']]],
+  ['dumpcpts_1744',['dumpCPts',['../classSVF_1_1PointerAnalysis.html#ad409cbf61271743394b9e5868f3fd197',1,'SVF::PointerAnalysis::dumpCPts()'],['../classSVF_1_1BVDataPTAImpl.html#acd9a15c398be20db43ed9fd910bd1758',1,'SVF::BVDataPTAImpl::dumpCPts()'],['../classSVF_1_1CondPTAImpl.html#aa260a3275fbec7061295306a58763d24',1,'SVF::CondPTAImpl::dumpCPts()']]],
+  ['dumpcptset_1745',['dumpCPtSet',['../classSVF_1_1DDAVFSolver.html#aa4dc73ea65f736282a413a9d286141e5',1,'SVF::DDAVFSolver']]],
+  ['dumpcxt_1746',['dumpCxt',['../classSVF_1_1MTAResultValidator.html#ae7d61becd14123f60976fd7261d0c84d',1,'SVF::MTAResultValidator::dumpCxt(const CallStrCxt &cxt) const'],['../classSVF_1_1MTAResultValidator.html#a073f442fd9441d95731b7b7b92675ec7',1,'SVF::MTAResultValidator::dumpCxt(const CallStrCxt &cxt) const'],['../classSVF_1_1TCT.html#aa86c4422e17cf00408444f18687d555b',1,'SVF::TCT::dumpCxt()']]],
+  ['dumpicfg_1747',['DumpICFG',['../classSVF_1_1Options.html#ae7ccfb3d1308e205e5014849dcc43d9a',1,'SVF::Options']]],
+  ['dumpinterlev_1748',['dumpInterlev',['../classSVF_1_1MTAResultValidator.html#a1af033b5742fa9cc1e4f9873184775b7',1,'SVF::MTAResultValidator::dumpInterlev(NodeBS &lev)'],['../classSVF_1_1MTAResultValidator.html#af88ed1c0aefc313eb50f7d6755c03be4',1,'SVF::MTAResultValidator::dumpInterlev(NodeBS &lev)']]],
+  ['dumpjson_1749',['DumpJson',['../classSVF_1_1Options.html#a3f5235cbdaab1bf53b9144d335c9c3d4',1,'SVF::Options']]],
+  ['dumpllvmvalue_1750',['dumpLLVMValue',['../namespaceSVF.html#ad4ba3f37eacc28014adca3f4bb06d83d',1,'SVF']]],
+  ['dumplocversionmaps_1751',['dumpLocVersionMaps',['../classSVF_1_1VersionedFlowSensitive.html#a032acdcd8b84523a7ac2f0e46d21c62f',1,'SVF::VersionedFlowSensitive']]],
+  ['dumpmeldversion_1752',['dumpMeldVersion',['../classSVF_1_1VersionedFlowSensitive.html#a7565989371100f84ae5f9e2efa655fcb',1,'SVF::VersionedFlowSensitive']]],
+  ['dumpmodulestofile_1753',['dumpModulesToFile',['../classSVF_1_1LLVMModuleSet.html#af37b9976b282c875cac7bb1777da635c',1,'SVF::LLVMModuleSet']]],
+  ['dumpmssa_1754',['dumpMSSA',['../classSVF_1_1MemSSA.html#a749df6d6b28dd1bae569989bffeb7746',1,'SVF::MemSSA::dumpMSSA()'],['../classSVF_1_1Options.html#a0bb4bfd677e2e45cc8c24bfc190edfaa',1,'SVF::Options::DumpMSSA()']]],
+  ['dumppointstolist_1755',['dumpPointsToList',['../namespaceSVF_1_1SVFUtil.html#af4ceddbe4d57b24e80201bc895f73810',1,'SVF::SVFUtil']]],
+  ['dumppointstoset_1756',['dumpPointsToSet',['../namespaceSVF_1_1SVFUtil.html#abd0a9ee845a455f9354d24a8b84a0bb3',1,'SVF::SVFUtil']]],
+  ['dumpptdata_1757',['dumpPTData',['../classSVF_1_1PTData.html#a91b898e3547eecfbf1ab155d183734bf',1,'SVF::PTData::dumpPTData()'],['../classSVF_1_1MutablePTData.html#a3206473b309c231d7d4b991a36a35279',1,'SVF::MutablePTData::dumpPTData()'],['../classSVF_1_1MutableDiffPTData.html#adf10cc451517f8d3ee7aec8baa61772f',1,'SVF::MutableDiffPTData::dumpPTData()'],['../classSVF_1_1MutableDFPTData.html#a95f4644a82f84674164651db66b084b8',1,'SVF::MutableDFPTData::dumpPTData()'],['../classSVF_1_1MutableVersionedPTData.html#a796c1676dd5180a27dbebae5a99b57b7',1,'SVF::MutableVersionedPTData::dumpPTData()'],['../classSVF_1_1PersistentPTData.html#a6e46180c11bc25c474d03e0091e81ee2',1,'SVF::PersistentPTData::dumpPTData()'],['../classSVF_1_1PersistentDiffPTData.html#a38a942cb65d87883433444ef8f2b986c',1,'SVF::PersistentDiffPTData::dumpPTData()'],['../classSVF_1_1PersistentDFPTData.html#ab98f7068c3fb7d8e98a5ed4d706e4e62',1,'SVF::PersistentDFPTData::dumpPTData()'],['../classSVF_1_1PersistentVersionedPTData.html#ab2ba1db7aeb6e3a508c11eb49bf31575',1,'SVF::PersistentVersionedPTData::dumpPTData()']]],
+  ['dumppts_1758',['dumpPts',['../classSVF_1_1MutablePTData.html#af08060bb4d450ecc4160cb79ab3dcc77',1,'SVF::MutablePTData::dumpPts()'],['../classSVF_1_1MutableDFPTData.html#ae88094abad311dd633f66db2cd78c322',1,'SVF::MutableDFPTData::dumpPts()'],['../classSVF_1_1PointerAnalysis.html#a1a6cee7e690ccb3e53cdc4c3e67b386d',1,'SVF::PointerAnalysis::dumpPts()']]],
+  ['dumpreliances_1759',['dumpReliances',['../classSVF_1_1VersionedFlowSensitive.html#a9d5990a41e90558595d0ad0defceb4e8',1,'SVF::VersionedFlowSensitive']]],
+  ['dumpset_1760',['dumpSet',['../namespaceSVF_1_1SVFUtil.html#aeb570e9267fd7b189bd1bc877896d7ab',1,'SVF::SVFUtil::dumpSet(NodeBS To, OutStream &O=SVFUtil::outs())'],['../namespaceSVF_1_1SVFUtil.html#a04aa23b4982662d98c56af3e8ba16cb1',1,'SVF::SVFUtil::dumpSet(PointsTo To, OutStream &O=SVFUtil::outs())']]],
+  ['dumpslice_1761',['DumpSlice',['../classSVF_1_1Options.html#ab9443e23bdcb60f118a7aab835f974db',1,'SVF::Options']]],
+  ['dumpslices_1762',['dumpSlices',['../classSVF_1_1SrcSnkDDA.html#acae985068ff1c20fb81c4c9ba730aaba',1,'SVF::SrcSnkDDA']]],
+  ['dumpsparseset_1763',['dumpSparseSet',['../namespaceSVF_1_1SVFUtil.html#ab30a35713852a0a525c52ae5dd463442',1,'SVF::SVFUtil']]],
+  ['dumpstat_1764',['dumpStat',['../classSVF_1_1PointerAnalysis.html#ab83b827ea42d3a61aad20b1a1485d866',1,'SVF::PointerAnalysis']]],
+  ['dumpstr_1765',['dumpStr',['../classSVF_1_1CondPointsToSet.html#abcd2c01ec21e30caa91dba06386912cb',1,'SVF::CondPointsToSet::dumpStr()'],['../classSVF_1_1MemRegion.html#adad8c2b08ab6a512f0c3aa90b4416f60',1,'SVF::MemRegion::dumpStr()'],['../classSVF_1_1Z3Expr.html#a56ba65487cc91248259e29d3ebb5bdb0',1,'SVF::Z3Expr::dumpStr()']]],
+  ['dumptojsonfile_1766',['dumpToJsonFile',['../classSVF_1_1SVFBugReport.html#aa119593331403f73867fddcb6ec26989',1,'SVF::SVFBugReport']]],
+  ['dumptoplevelptsto_1767',['dumpTopLevelPtsTo',['../classSVF_1_1PointerAnalysis.html#a627bdc95485fd65e8846fcaa5e89559f',1,'SVF::PointerAnalysis::dumpTopLevelPtsTo()'],['../classSVF_1_1BVDataPTAImpl.html#ad34eea2a5ec26e0b2b6a78914879f989',1,'SVF::BVDataPTAImpl::dumpTopLevelPtsTo()'],['../classSVF_1_1CondPTAImpl.html#a80daa422e0dacf75aceb4fe5b4687c04',1,'SVF::CondPTAImpl::dumpTopLevelPtsTo()'],['../classSVF_1_1Andersen.html#a43858bd242c7f2c5f33c3c0f6445376a',1,'SVF::Andersen::dumpTopLevelPtsTo()']]],
+  ['dumptype_1768',['dumpType',['../namespaceSVF_1_1LLVMUtil.html#a6e8682537cf5bed808df439bd7e1add9',1,'SVF::LLVMUtil']]],
+  ['dumpvalue_1769',['dumpValue',['../namespaceSVF_1_1LLVMUtil.html#afa2f8c8ab19c75547c26ede53b9f6159',1,'SVF::LLVMUtil']]],
+  ['dumpvalueanddbginfo_1770',['dumpValueAndDbgInfo',['../namespaceSVF_1_1LLVMUtil.html#a86c0a0cb4ada72bd4f42c77558e6a350',1,'SVF::LLVMUtil']]],
+  ['dumpvfg_1771',['DumpVFG',['../classSVF_1_1Options.html#ae3ad3003a8d3df2f1e3463248bb5ad51',1,'SVF::Options']]],
+  ['dval_1772',['dval',['../classSVF_1_1SVFConstantFP.html#aa1d551ad74dd5ce3eb4b7d639aec31a9',1,'SVF::SVFConstantFP']]],
+  ['dwpa_1773',['DWPA',['../SVFType_8h.html#a45d9233db3cad59f4f72b7c573bae180',1,'SVFType.h']]],
+  ['dyn_5fcast_1774',['dyn_cast',['../namespaceSVF_1_1SVFUtil.html#af6e96694d983643a66c238cce01bff0e',1,'SVF::SVFUtil::dyn_cast(const Y &Val)'],['../namespaceSVF_1_1SVFUtil.html#a52d852ba8fa569e858565b3bba403656',1,'SVF::SVFUtil::dyn_cast(Y &Val)'],['../namespaceSVF_1_1SVFUtil.html#a105c5c5e97d56533fb2b3ba7a0bc59f3',1,'SVF::SVFUtil::dyn_cast(Y *Val)']]],
+  ['dyncast_1775',['dyncast',['../CppUtil_8cpp.html#a7972d88aaaa4644ee22e5b95ac465a80',1,'CppUtil.cpp']]]
 ];