svf-tools 1.0.892 → 1.0.894

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

@@ -1,238 +1,238 @@
 var searchData=
 [
-  ['daa_1514',['DAA',['../dda_8cpp.html#aa87e1cd4be4709a21393ed9e1a0da6bb',1,'dda.cpp']]],
-  ['dandersen_1515',['DAndersen',['../SVFType_8h.html#adbfc4364261f019dc6cf33234a5177d2',1,'SVFType.h']]],
-  ['data_1516',['data',['../classSVF_1_1List_1_1ListNode.html#a4a9cb4ae17156d6d80d2357e06231e12',1,'SVF::List::ListNode']]],
-  ['data_5flist_1517',['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_1518',['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_1519',['DataDeque',['../classSVF_1_1CFLFIFOWorkList.html#aa2ac3edad97017817899d081dc6f1df7',1,'SVF::CFLFIFOWorkList::DataDeque()'],['../classSVF_1_1FIFOWorkList.html#a2907cd4515b2072aae0a88e972e93fc4',1,'SVF::FIFOWorkList::DataDeque()']]],
-  ['dataflow_1520',['DataFlow',['../classSVF_1_1PTData.html#a74ce29609c51f2be34a0b5b7650a9848acb817cbf655c365c02af3675588f06cc',1,'SVF::PTData']]],
-  ['dataiter_1521',['DataIter',['../classSVF_1_1MutableIncDFPTData.html#a1fc4dff28f9044234fdfeede6f4b1cb0',1,'SVF::MutableIncDFPTData']]],
-  ['datalayout_1522',['DataLayout',['../namespaceSVF.html#a03db82b8a7914367024723dba4d6ca3c',1,'SVF']]],
-  ['datamap_1523',['DataMap',['../classSVF_1_1POCRSolver.html#ad60f45d469f1b576e1c49ec0cdf29e1e',1,'SVF::POCRSolver']]],
-  ['dataop_1524',['DataOp',['../classSVF_1_1PersistentPointsToCache.html#a5a0f1b93f29ce62ad13042ab8435c62c',1,'SVF::PersistentPointsToCache']]],
-  ['dataset_1525',['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_1526',['DataVector',['../classSVF_1_1FILOWorkList.html#a41d3d71633adc6a1282922b4e4929a7f',1,'SVF::FILOWorkList']]],
-  ['dbout_1527',['DBOUT',['../SVFType_8h.html#a173ce1b9b505fdadf5613b663749d3b0',1,'SVFType.h']]],
-  ['dbug_1528',['DBUG',['../classSVF_1_1NodeIDAllocator.html#a8cf553cd07768aad3f3b91bf3d7c6228a36e359346b349ead71f7ab095b0865af',1,'SVF::NodeIDAllocator']]],
-  ['dcache_1529',['DCache',['../SVFType_8h.html#a500788b9fb425915fa4330d72142aec9',1,'SVFType.h']]],
-  ['dcgettext_1530',['dcgettext',['../extapi_8c.html#ae47e2e0ff32239d263bc2d182b3cabca',1,'extapi.c']]],
-  ['dcha_1531',['DCHA',['../SVFType_8h.html#a263149d980e5c3165dfe8750bfac3223',1,'SVFType.h']]],
-  ['dchedge_1532',['DCHEdge',['../classSVF_1_1DCHEdge.html',1,'SVF::DCHEdge'],['../classSVF_1_1DCHEdge.html#a17e3db6d11e0752064194ffc46cd9afe',1,'SVF::DCHEdge::DCHEdge()']]],
-  ['dchedgesetty_1533',['DCHEdgeSetTy',['../classSVF_1_1DCHEdge.html#a2580878ab964494ee5c7840e16ef84b3',1,'SVF::DCHEdge']]],
-  ['dchg_2ecpp_1534',['DCHG.cpp',['../DCHG_8cpp.html',1,'']]],
-  ['dchg_2eh_1535',['DCHG.h',['../DCHG_8h.html',1,'']]],
-  ['dchgraph_1536',['DCHGraph',['../classSVF_1_1DCHGraph.html',1,'SVF::DCHGraph'],['../classSVF_1_1DCHGraph.html#a7cbea4d5399333497faa3f8d213e365e',1,'SVF::DCHGraph::DCHGraph()']]],
-  ['dchnode_1537',['DCHNode',['../classSVF_1_1DCHNode.html',1,'SVF::DCHNode'],['../classSVF_1_1DCHNode.html#a3e81cc40aa1c37999cead00f1af85a6e',1,'SVF::DCHNode::DCHNode()']]],
-  ['dcommodel_1538',['DCOMModel',['../SVFType_8h.html#aa97040d501d68863c7f0c93ed7514857',1,'SVFType.h']]],
-  ['dda_2ecpp_1539',['dda.cpp',['../dda_8cpp.html',1,'']]],
-  ['ddaclient_1540',['DDAClient',['../classSVF_1_1DDAClient.html',1,'SVF::DDAClient'],['../classSVF_1_1DDAClient.html#a1070c1a68fa7da7bdb23240957048ee9',1,'SVF::DDAClient::DDAClient()']]],
-  ['ddaclient_2ecpp_1541',['DDAClient.cpp',['../DDAClient_8cpp.html',1,'']]],
-  ['ddaclient_2eh_1542',['DDAClient.h',['../DDAClient_8h.html',1,'']]],
-  ['ddapass_1543',['DDAPass',['../classSVF_1_1DDAPass.html',1,'SVF::DDAPass'],['../classSVF_1_1DDAPass.html#a4f68cbbe00863024cba2ecf513ff979f',1,'SVF::DDAPass::DDAPass()']]],
-  ['ddapass_2ecpp_1544',['DDAPass.cpp',['../DDAPass_8cpp.html',1,'']]],
-  ['ddapass_2eh_1545',['DDAPass.h',['../DDAPass_8h.html',1,'']]],
-  ['ddaselected_1546',['DDASelected',['../classSVF_1_1Options.html#afa6c98d477db41a457ac83cfbfd4a580',1,'SVF::Options']]],
-  ['ddastat_1547',['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_1548',['DDAStat.cpp',['../DDAStat_8cpp.html',1,'']]],
-  ['ddastat_2eh_1549',['DDAStat.h',['../DDAStat_8h.html',1,'']]],
-  ['ddasvfgbuilder_1550',['DDASVFGBuilder',['../classSVF_1_1SVFG.html#a9ccd530dc4c49b0df372a2ce95b66921',1,'SVF::SVFG']]],
-  ['ddavfsolver_1551',['DDAVFSolver',['../classSVF_1_1DDAVFSolver.html',1,'SVF::DDAVFSolver< CVar, CPtSet, DPIm >'],['../classSVF_1_1DDAVFSolver.html#a7ee96b513074c283d23434590ce15e7d',1,'SVF::DDAVFSolver::DDAVFSolver()']]],
-  ['ddavfsolver_2eh_1552',['DDAVFSolver.h',['../DDAVFSolver_8h.html',1,'']]],
-  ['ddavfsolver_3c_20cxtvar_2c_20cxtptset_2c_20cxtlocdpitem_20_3e_1553',['DDAVFSolver< CxtVar, CxtPtSet, CxtLocDPItem >',['../classSVF_1_1DDAVFSolver.html',1,'SVF']]],
-  ['ddavfsolver_3c_20nodeid_2c_20pointsto_2c_20locdpitem_20_3e_1554',['DDAVFSolver< NodeID, PointsTo, LocDPItem >',['../classSVF_1_1DDAVFSolver.html',1,'SVF']]],
-  ['ddda_1555',['DDDA',['../SVFType_8h.html#a40845b3027a1237076aa8297ca39e730',1,'SVFType.h']]],
-  ['ddumppt_1556',['DDumpPT',['../SVFType_8h.html#a395c9d15b59b8c057f859855f0405d7b',1,'SVFType.h']]],
-  ['debug_5ftype_1557',['DEBUG_TYPE',['../BreakConstantExpr_8cpp.html#ad78e062f62e0d6e453941fb4ca843e4d',1,'BreakConstantExpr.cpp']]],
-  ['debuginfofinder_1558',['DebugInfoFinder',['../namespaceSVF.html#a5ae98f122c64b0114df2e5861b341321',1,'SVF']]],
-  ['decide_5fcpa_5fext_1559',['decide_cpa_ext',['../classSVF_1_1RelationSolver.html#a7ace50c6e53a79f0e329badb63570f92',1,'SVF::RelationSolver']]],
-  ['def_1560',['def',['../classSVF_1_1MRVer.html#a3398bb8d3189413c275b62d5cb7a5fc4',1,'SVF::MRVer']]],
-  ['default_5fpta_1561',['Default_PTA',['../classSVF_1_1PointerAnalysis.html#a0b182ac680cce0547dbe7714c870ca85adb3d4cbd8c38c1c498bc51198626a790',1,'SVF::PointerAnalysis']]],
-  ['defaultdotgraphtraits_1562',['DefaultDOTGraphTraits',['../structSVF_1_1DefaultDOTGraphTraits.html',1,'SVF::DefaultDOTGraphTraits'],['../structSVF_1_1DefaultDOTGraphTraits.html#a2fdfa8abc93bd4d0211c4db8ef4ede3e',1,'SVF::DefaultDOTGraphTraits::DefaultDOTGraphTraits()']]],
-  ['defaulttype_1563',['defaultType',['../classSVF_1_1ObjTypeInference.html#aee4383a13cda421acb034ea147e33a6d',1,'SVF::ObjTypeInference']]],
-  ['defnodes_1564',['defNodes',['../classSVF_1_1SVFGOPT.html#abd524dca72261bbcc7ebb1103b693a2b',1,'SVF::SVFGOPT']]],
-  ['deftype_1565',['DEFTYPE',['../classSVF_1_1MSSADEF.html#a32682e20c9c08d2bdd5abc62ea17af18',1,'SVF::MSSADEF']]],
-  ['delta_1566',['delta',['../classSVF_1_1VersionedFlowSensitive.html#a9f9b00551c157f42d1d995e8c4efb54b',1,'SVF::VersionedFlowSensitive']]],
-  ['deltamap_1567',['deltaMap',['../classSVF_1_1VersionedFlowSensitive.html#a11ddfa1faebf56e74e6dcc53e16142e1',1,'SVF::VersionedFlowSensitive']]],
-  ['deltasource_1568',['deltaSource',['../classSVF_1_1VersionedFlowSensitive.html#a3fa5afa4f54e0828ec090fde07b1bfa2',1,'SVF::VersionedFlowSensitive']]],
-  ['deltasourcemap_1569',['deltaSourceMap',['../classSVF_1_1VersionedFlowSensitive.html#aee97e196225aaad29c0bd31d3ccbabf6',1,'SVF::VersionedFlowSensitive']]],
-  ['demangle_1570',['demangle',['../namespaceSVF_1_1cppUtil.html#a745a2addadc136075d45c7fb8437af3e',1,'SVF::cppUtil']]],
-  ['demangledname_1571',['DemangledName',['../structSVF_1_1cppUtil_1_1DemangledName.html',1,'SVF::cppUtil']]],
-  ['dendrogramtraversaltime_1572',['DendrogramTraversalTime',['../classSVF_1_1NodeIDAllocator_1_1Clusterer.html#a67ab9cffacc1584b2e7bae5d1b08c541',1,'SVF::NodeIDAllocator::Clusterer']]],
-  ['dense_1573',['DENSE',['../classSVF_1_1NodeIDAllocator.html#a8cf553cd07768aad3f3b91bf3d7c6228a9df17b1222681bba5e649895deb726f0',1,'SVF::NodeIDAllocator']]],
-  ['depth_1574',['depth',['../structparse__buffer.html#af613c4ed7d73f76c60c50d1bcf4c67a0',1,'parse_buffer::depth()'],['../structprintbuffer.html#aa7311b5da38ff8d1737824c611b48732',1,'printbuffer::depth()']]],
-  ['deref_5fval_1575',['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_1576',['derefMDName',['../namespaceSVF_1_1cppUtil_1_1ctir.html#a0cd5347bc8043d4306e66a4a96005ace',1,'SVF::cppUtil::ctir']]],
-  ['description_1577',['description',['../classOptionBase.html#a8fbb1cde9e12a099617c8e8298424b5b',1,'OptionBase']]],
-  ['destory_1578',['destory',['../classSVF_1_1ExtAPI.html#abe3e0e2500532acfc01cee7e2ce1cd90',1,'SVF::ExtAPI']]],
-  ['destroy_1579',['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_1580',['DESTRUCTOR',['../classSVF_1_1CHGraph.html#a2a1da7f262a2f11653fb583154a93a22adfb68ad45ad216277b580d9a45926dc7',1,'SVF::CHGraph']]],
-  ['detect_1581',['detect',['../classSVF_1_1MTA.html#a5adab2e3b400190ecc9fa2a158203cb3',1,'SVF::MTA']]],
-  ['detectbufoverflow_1582',['detectBufOverflow',['../classSVF_1_1BufOverflowChecker.html#a52de7d619e8746a70718719306d7c5a1',1,'SVF::BufOverflowChecker']]],
-  ['detectpwc_1583',['DetectPWC',['../classSVF_1_1Options.html#a3fc22d0a45be551110d1e326380f3202',1,'SVF::Options']]],
-  ['detectsccs_1584',['detectSCCs',['../classSVF_1_1VersionedFlowSensitive_1_1SCC.html#ac2dd88315f54ae766e73e7680f526ed6',1,'SVF::VersionedFlowSensitive::SCC']]],
-  ['detectstrcat_1585',['detectStrcat',['../classSVF_1_1BufOverflowCheckerAPI.html#ae88696790ca4f3392c7dc76c74619f46',1,'SVF::BufOverflowCheckerAPI']]],
-  ['detectstrcpy_1586',['detectStrcpy',['../classSVF_1_1BufOverflowCheckerAPI.html#a296a3ea0f8df72ce6480b5cb0f207945',1,'SVF::BufOverflowCheckerAPI']]],
-  ['determinebestmapping_1587',['determineBestMapping',['../classSVF_1_1NodeIDAllocator_1_1Clusterer.html#a3f86e733cc075180e9682887c554b8fa',1,'SVF::NodeIDAllocator::Clusterer']]],
-  ['dfbbsmap_1588',['dfBBsMap',['../classSVF_1_1SVFLoopAndDomInfo.html#ae191915ae746e30c8370ebf8fe733723',1,'SVF::SVFLoopAndDomInfo']]],
-  ['dfinoutmap_1589',['DFInOutMap',['../classSVF_1_1FlowSensitive.html#af9a2bd5b490f1cc5335ce696173c78dd',1,'SVF::FlowSensitive::DFInOutMap()'],['../classSVF_1_1FlowSensitiveStat.html#a55d45e82ea3d338114e50da877bcfb75',1,'SVF::FlowSensitiveStat::DFInOutMap()']]],
-  ['dfinptsmap_1590',['dfInPtsMap',['../classSVF_1_1MutableDFPTData.html#abb59ef7367e353e65b82b54dac509f36',1,'SVF::MutableDFPTData::dfInPtsMap()'],['../classSVF_1_1PersistentDFPTData.html#a6b892b707524127928e269f0f0bbe868',1,'SVF::PersistentDFPTData::dfInPtsMap()']]],
-  ['dfkeytoidmap_1591',['DFKeyToIDMap',['../classSVF_1_1PersistentDFPTData.html#a0d0318fa192eac88a4307112e30e9d90',1,'SVF::PersistentDFPTData']]],
-  ['dfoutptsmap_1592',['dfOutPtsMap',['../classSVF_1_1MutableDFPTData.html#ad3c53ef1c8e221299f3afe078946fbe0',1,'SVF::MutableDFPTData::dfOutPtsMap()'],['../classSVF_1_1PersistentDFPTData.html#ad77d7ccad393c995813f8c433c249dfc',1,'SVF::PersistentDFPTData::dfOutPtsMap()']]],
-  ['dfptdata_1593',['DFPTData',['../classSVF_1_1DFPTData.html',1,'SVF::DFPTData< Key, KeySet, Data, DataSet >'],['../classSVF_1_1DFPTData.html#a40016a7e3dac46d9ba854d336c7aae83',1,'SVF::DFPTData::DFPTData()']]],
-  ['dfptdataty_1594',['DFPTDataTy',['../classSVF_1_1BVDataPTAImpl.html#a5c2288519153467142e74c8dd4e77180',1,'SVF::BVDataPTAImpl']]],
-  ['dfptsmap_1595',['DFPtsMap',['../classSVF_1_1MutableDFPTData.html#a0c73427f957d310bc85955bec6654352',1,'SVF::MutableDFPTData']]],
-  ['dfptsmapconstiter_1596',['DFPtsMapconstIter',['../classSVF_1_1MutableDFPTData.html#adb30678f5bbdea0f196d3b0ab67d2bad',1,'SVF::MutableDFPTData']]],
-  ['dfptsmapiter_1597',['DFPtsMapIter',['../classSVF_1_1MutableDFPTData.html#a31ad5da37a88d2b97633d590393b0e64',1,'SVF::MutableDFPTData']]],
-  ['dfreechecker_1598',['DFREECHECKER',['../saber_8cpp.html#ab233df6b8c190aa2c26fa20bd1ac7c52',1,'saber.cpp']]],
-  ['dfsnodesbetweenpdomnodes_1599',['dfsNodesBetweenPdomNodes',['../classSVF_1_1CDGBuilder.html#a6efa510f946ea8befebbc94bed241395',1,'SVF::CDGBuilder']]],
-  ['dgeneral_1600',['DGENERAL',['../SVFType_8h.html#a2c64190a065f342897573a3ef4973adb',1,'SVFType.h']]],
-  ['dgettext_1601',['dgettext',['../extapi_8c.html#ae9c3a42a44267df221d0c4fe5b2ea439',1,'extapi.c']]],
-  ['di_1602',['DI',['../classSVF_1_1CommonCHGraph.html#a6a1feb9e268fb56b0de3efc39cfc8db8ae9e3edea0bae930aa9af04699fca9506',1,'SVF::CommonCHGraph']]],
-  ['dibasictype_1603',['DIBasicType',['../namespaceSVF.html#ada0513be7e25325325ccc9183aeca278',1,'SVF']]],
-  ['dicompositetype_1604',['DICompositeType',['../namespaceSVF.html#aded9b991c77acc5284ccead0739e84f1',1,'SVF']]],
-  ['diderivedtype_1605',['DIDerivedType',['../namespaceSVF.html#a852e75c562139237fcc754c7461533e6',1,'SVF']]],
-  ['diff_1606',['Diff',['../classSVF_1_1PTData.html#a74ce29609c51f2be34a0b5b7650a9848a03a155517b9587d79c3f0b6dc3b72447',1,'SVF::PTData::Diff()'],['../classSVF_1_1POCRSolver.html#a403ddbfcdf61cd01ad9dc778a7e02af0',1,'SVF::POCRSolver::diff()']]],
-  ['difference_5ftype_1607',['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_1608',['DiffPTData',['../classSVF_1_1DiffPTData.html',1,'SVF::DiffPTData< Key, KeySet, Data, DataSet >'],['../classSVF_1_1DiffPTData.html#ac7e9661cfb4d5af3ef35d323ddc35558',1,'SVF::DiffPTData::DiffPTData()']]],
-  ['diffptdataty_1609',['DiffPTDataTy',['../classSVF_1_1BVDataPTAImpl.html#abd8bb73e9beac5e39667091b1e211bd3',1,'SVF::BVDataPTAImpl']]],
-  ['diffpts_1610',['DiffPts',['../classSVF_1_1Options.html#ae782f25eaee9ac363c733b6ac609fbce',1,'SVF::Options']]],
-  ['diffptsmap_1611',['diffPtsMap',['../classSVF_1_1MutableDiffPTData.html#a9ee7874e987e93eb4cb9d75ed08effd5',1,'SVF::MutableDiffPTData::diffPtsMap()'],['../classSVF_1_1PersistentDiffPTData.html#ac54339952e2734a6affdaa543fb3ed22',1,'SVF::PersistentDiffPTData::diffPtsMap()']]],
-  ['diffwave_1612',['diffWave',['../classSVF_1_1AndersenWaveDiff.html#add4dcb6d74a8ce8747bcac5f740cd672',1,'SVF::AndersenWaveDiff']]],
-  ['dinode_1613',['DINode',['../namespaceSVF.html#a758f3bee97ed46a719d64a2d4f2bc62d',1,'SVF']]],
-  ['dinodearray_1614',['DINodeArray',['../namespaceSVF.html#a0f825e73d115173b05ca54fb8ec65003',1,'SVF']]],
-  ['dinstrument_1615',['DInstrument',['../SVFType_8h.html#abf3a5def3f319733214fa5f595b39827',1,'SVFType.h']]],
-  ['dirandindjoinmap_1616',['dirAndIndJoinMap',['../classSVF_1_1ForkJoinAnalysis.html#ab5678bd46e573070827cc413f0e0d5be',1,'SVF::ForkJoinAnalysis']]],
-  ['direct_5fchild_5fbegin_1617',['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_1618',['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_1619',['directCallFunPass',['../classSVF_1_1AbstractExecution.html#aff1c9582db75361b68aaaf0c4b8b6f0d',1,'SVF::AbstractExecution']]],
-  ['directcalls_1620',['directCalls',['../classSVF_1_1PTACallGraphEdge.html#a2f3e4b61225c4ca37b0f70e3edc61920',1,'SVF::PTACallGraphEdge']]],
-  ['directcallsbegin_1621',['directCallsBegin',['../classSVF_1_1PTACallGraphEdge.html#a750e50a9022451e406c4819979edffa5',1,'SVF::PTACallGraphEdge']]],
-  ['directcallsend_1622',['directCallsEnd',['../classSVF_1_1PTACallGraphEdge.html#acc4fcacefdc9be9a214dfcc455fe7970',1,'SVF::PTACallGraphEdge']]],
-  ['directedgeset_1623',['directEdgeSet',['../classSVF_1_1ConstraintGraph.html#a1be3ebb84b3d334daf98f7e6f5b82256',1,'SVF::ConstraintGraph']]],
-  ['directinedgebegin_1624',['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_1625',['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_1626',['directInEdges',['../classSVF_1_1ConstraintNode.html#a53626700d25b5c004e42354c925df83c',1,'SVF::ConstraintNode']]],
-  ['directjoinmap_1627',['directJoinMap',['../classSVF_1_1ForkJoinAnalysis.html#abf5b499f93a658636d09a62d14a47cad',1,'SVF::ForkJoinAnalysis']]],
-  ['directoutedgebegin_1628',['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_1629',['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_1630',['directOutEdges',['../classSVF_1_1ConstraintNode.html#affb426040b05678fcbce62002a02bb06',1,'SVF::ConstraintNode']]],
-  ['directpropatime_1631',['directPropaTime',['../classSVF_1_1FlowSensitive.html#ae086de68233375be42185f0af706687a',1,'SVF::FlowSensitive']]],
-  ['directsvfgedge_1632',['DirectSVFGEdge',['../classSVF_1_1DirectSVFGEdge.html',1,'SVF::DirectSVFGEdge'],['../classSVF_1_1DirectSVFGEdge.html#a739ffa262f30d6473f56a610fd64fe95',1,'SVF::DirectSVFGEdge::DirectSVFGEdge()']]],
-  ['dirvfedgeend_1633',['dirVFEdgeEnd',['../classSVF_1_1SVFGStat.html#abef8f1d89413ed3c6e67dcd2b81729d8',1,'SVF::SVFGStat']]],
-  ['dirvfedgestart_1634',['dirVFEdgeStart',['../classSVF_1_1SVFGStat.html#a169d75c0fd09f69d86939d84db67e590',1,'SVF::SVFGStat']]],
-  ['disableprintstat_1635',['disablePrintStat',['../classSVF_1_1PointerAnalysis.html#af44b14fed89918847c0228c1100c56d2',1,'SVF::PointerAnalysis']]],
-  ['disablewarn_1636',['DisableWarn',['../classSVF_1_1Options.html#a1721ff576ad641d862f29b038f31db28',1,'SVF::Options']]],
-  ['distancematrixtime_1637',['DistanceMatrixTime',['../classSVF_1_1NodeIDAllocator_1_1Clusterer.html#a09d2dbb2faab0a0e03bfa353534116a8',1,'SVF::NodeIDAllocator::Clusterer']]],
-  ['distinct_1638',['Distinct',['../classSVF_1_1MemSSA.html#ac0797f2ee7b59ae720095a4836533671a9da5f4ad2a43befdbc4be319bffc80ea',1,'SVF::MemSSA']]],
-  ['distinctmrg_1639',['DistinctMRG',['../classSVF_1_1DistinctMRG.html',1,'SVF::DistinctMRG'],['../classSVF_1_1DistinctMRG.html#ad7e4959327aa45932fd788bacca0de01',1,'SVF::DistinctMRG::DistinctMRG()']]],
-  ['distoccmap_1640',['DistOccMap',['../classSVF_1_1NodeIDAllocator_1_1Clusterer.html#a1f74f1e72a844166f742d2d46efbbb5e',1,'SVF::NodeIDAllocator::Clusterer']]],
-  ['disubprogram_1641',['DISubprogram',['../namespaceSVF.html#a89c7208bfc0b57873dfa574f52050295',1,'SVF']]],
-  ['disubrange_1642',['DISubrange',['../namespaceSVF.html#a99bc1228f07429855c81a720be862dc6',1,'SVF']]],
-  ['disubroutinetype_1643',['DISubroutineType',['../namespaceSVF.html#a090e0791e8c200104ed3ab6bab157129',1,'SVF']]],
-  ['ditype_1644',['diType',['../classSVF_1_1DCHNode.html#a05b5b4539273ac5d21d8cbcfa712a439',1,'SVF::DCHNode::diType()'],['../namespaceSVF.html#ad127b0ad478640ede3d426e3a58d2632',1,'SVF::DIType()']]],
-  ['dityperefarray_1645',['DITypeRefArray',['../namespaceSVF.html#a9d3ee421789884473bfacfaa9ec007cc',1,'SVF']]],
-  ['ditypetonodemap_1646',['diTypeToNodeMap',['../classSVF_1_1DCHGraph.html#ae2aee47b803f9cde8950b7f1ad11273d',1,'SVF::DCHGraph']]],
-  ['ditypetostr_1647',['diTypeToStr',['../classSVF_1_1DCHGraph.html#a2dc488345cc3a5f37079952f638d8c2b',1,'SVF::DCHGraph']]],
-  ['dmemmodel_1648',['DMemModel',['../SVFType_8h.html#ad46a0423f8709692e1bb0f0fa5b1ca2f',1,'SVFType.h']]],
-  ['dmemmodelce_1649',['DMemModelCE',['../SVFType_8h.html#aaff570bb354b8519a4852ffda413af7c',1,'SVFType.h']]],
-  ['dmssa_1650',['DMSSA',['../SVFType_8h.html#a385e9d80a013723304b329454d32e8b1',1,'SVFType.h']]],
-  ['dmta_1651',['DMTA',['../SVFType_8h.html#a217a1ccdaec1abb103cf6b0373631234',1,'SVFType.h']]],
-  ['dngettext_1652',['dngettext',['../extapi_8c.html#a54ac933fa6a0e84898be26c04faacb92',1,'extapi.c']]],
-  ['doit_1653',['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_1654',['DoLockAnalysis',['../classSVF_1_1Options.html#ae2c4fe298a27f50c749b75f0801f9666',1,'SVF::Options']]],
-  ['dominancefrontier_1655',['DominanceFrontier',['../namespaceSVF.html#ab44d20f806be99699895260b14a942d7',1,'SVF']]],
-  ['dominancefrontierbase_1656',['DominanceFrontierBase',['../namespaceSVF.html#a2f60343a6839b9cc893bbf77e8a19915',1,'SVF']]],
-  ['dominate_1657',['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_1658',['DominatorTree',['../namespaceSVF.html#aecbb42b8e9d17fa0189c50dda9fd5fdd',1,'SVF']]],
-  ['domtreenode_1659',['DomTreeNode',['../namespaceSVF.html#a827d09974dc7bf0849f96823cc2fee89',1,'SVF']]],
-  ['dostat_1660',['DOSTAT',['../SVFType_8h.html#a6c9e2209a2c38607a9e3b7fab242886a',1,'SVFType.h']]],
-  ['dot_1661',['DOT',['../namespaceSVF_1_1GraphProgram.html#a10f45758abb5c1ef51b0ba38d18efd37ae09e3feb3996d73e682cf2a5077c090c',1,'SVF::GraphProgram']]],
-  ['dotgraphtraits_1662',['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.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_1663',['DOTGraphTraits.h',['../DOTGraphTraits_8h.html',1,'']]],
-  ['dotgraphtraits_3c_20cflgraph_20_2a_20_3e_1664',['DOTGraphTraits< CFLGraph * >',['../structSVF_1_1DOTGraphTraits_3_01CFLGraph_01_5_01_4.html',1,'SVF']]],
-  ['dotgraphtraits_3c_20chgraph_20_2a_20_3e_1665',['DOTGraphTraits< CHGraph * >',['../structSVF_1_1DOTGraphTraits_3_01CHGraph_01_5_01_4.html',1,'SVF']]],
-  ['dotgraphtraits_3c_20constraintgraph_20_2a_20_3e_1666',['DOTGraphTraits< ConstraintGraph * >',['../structSVF_1_1DOTGraphTraits_3_01ConstraintGraph_01_5_01_4.html',1,'SVF']]],
-  ['dotgraphtraits_3c_20graphtype_20_3e_1667',['DOTGraphTraits< GraphType >',['../structSVF_1_1DOTGraphTraits.html',1,'SVF']]],
-  ['dotgraphtraits_3c_20icfg_20_2a_20_3e_1668',['DOTGraphTraits< ICFG * >',['../structSVF_1_1DOTGraphTraits_3_01ICFG_01_5_01_4.html',1,'SVF']]],
-  ['dotgraphtraits_3c_20irgraph_20_2a_20_3e_1669',['DOTGraphTraits< IRGraph * >',['../structSVF_1_1DOTGraphTraits_3_01IRGraph_01_5_01_4.html',1,'SVF']]],
-  ['dotgraphtraits_3c_20ptacallgraph_20_2a_20_3e_1670',['DOTGraphTraits< PTACallGraph * >',['../structSVF_1_1DOTGraphTraits_3_01PTACallGraph_01_5_01_4.html',1,'SVF']]],
-  ['dotgraphtraits_3c_20svf_3a_3acdg_20_2a_20_3e_1671',['DOTGraphTraits< SVF::CDG * >',['../structSVF_1_1DOTGraphTraits_3_01SVF_1_1CDG_01_5_01_4.html',1,'SVF']]],
-  ['dotgraphtraits_3c_20svf_3a_3apag_20_2a_20_3e_1672',['DOTGraphTraits< SVF::PAG * >',['../structSVF_1_1DOTGraphTraits.html',1,'SVF']]],
-  ['dotgraphtraits_3c_20svfg_20_2a_20_3e_1673',['DOTGraphTraits< SVFG * >',['../structSVF_1_1DOTGraphTraits_3_01SVFG_01_5_01_4.html',1,'SVF']]],
-  ['dotgraphtraits_3c_20svfir_20_2a_20_3e_1674',['DOTGraphTraits< SVFIR * >',['../structSVF_1_1DOTGraphTraits.html',1,'SVF']]],
-  ['dotgraphtraits_3c_20tct_20_2a_20_3e_1675',['DOTGraphTraits< TCT * >',['../structSVF_1_1DOTGraphTraits_3_01TCT_01_5_01_4.html',1,'SVF']]],
-  ['dotgraphtraits_3c_20vfg_20_2a_20_3e_1676',['DOTGraphTraits< VFG * >',['../structSVF_1_1DOTGraphTraits_3_01VFG_01_5_01_4.html',1,'SVF']]],
-  ['dotimestat_1677',['DOTIMESTAT',['../SVFType_8h.html#ab6f41e9db3675dc689c5492418885041',1,'SVFType.h']]],
-  ['dottraits_1678',['DOTTraits',['../classSVF_1_1GraphWriter.html#a245d85f8c907a409533ab151e9e3d9a2',1,'SVF::GraphWriter']]],
-  ['doublefree_1679',['DOUBLEFREE',['../classSVF_1_1GenericBug.html#a7aeeb33097bca5f7fe6747f90f5cecaca1f91a40ca53eb077cc947fae828554b4',1,'SVF::GenericBug']]],
-  ['doublefreebug_1680',['DoubleFreeBug',['../classSVF_1_1DoubleFreeBug.html',1,'SVF::DoubleFreeBug'],['../classSVF_1_1DoubleFreeBug.html#aea90778c71659c87a6139d19b896bdb8',1,'SVF::DoubleFreeBug::DoubleFreeBug()']]],
-  ['doublefreechecker_1681',['DoubleFreeChecker',['../classSVF_1_1DoubleFreeChecker.html',1,'SVF::DoubleFreeChecker'],['../classSVF_1_1DoubleFreeChecker.html#ac9d147b16442bb4746f66cffe46a070a',1,'SVF::DoubleFreeChecker::DoubleFreeChecker()']]],
-  ['doublefreechecker_2ecpp_1682',['DoubleFreeChecker.cpp',['../DoubleFreeChecker_8cpp.html',1,'']]],
-  ['doublefreechecker_2eh_1683',['DoubleFreeChecker.h',['../DoubleFreeChecker_8h.html',1,'']]],
-  ['dpagbuild_1684',['DPAGBuild',['../SVFType_8h.html#a7a295e02c56a93cf9206dd9d3b18dd17',1,'SVFType.h']]],
-  ['dpim_1685',['DPIm',['../classSVF_1_1SrcSnkDDA.html#a83d5ccf0836f8f751aff078f88328cca',1,'SVF::SrcSnkDDA']]],
-  ['dpimset_1686',['DPImSet',['../classSVF_1_1SrcSnkDDA.html#ab3cc8f13ea8de2db4ba874280802667a',1,'SVF::SrcSnkDDA']]],
-  ['dpimtocptsetmap_1687',['DPImToCPtSetMap',['../classSVF_1_1DDAVFSolver.html#a8b5a34679fb1362425c88d6e74b6c019',1,'SVF::DDAVFSolver']]],
-  ['dpitem_1688',['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_1689',['DPItem.h',['../DPItem_8h.html',1,'']]],
-  ['dpmtoadcptsetmap_1690',['dpmToADCPtSetMap',['../classSVF_1_1DDAVFSolver.html#a2565bf8dcacb22350dc1dc98ec7595f2',1,'SVF::DDAVFSolver']]],
-  ['dpmtocvarmap_1691',['DPMToCVarMap',['../classSVF_1_1DDAVFSolver.html#af0538abf12c01d31a0296553e2f7c92d',1,'SVF::DDAVFSolver']]],
-  ['dpmtodpmmap_1692',['DPMToDPMMap',['../classSVF_1_1DDAVFSolver.html#a2ccbcfa949a1796094b5d9499177fc2b',1,'SVF::DDAVFSolver']]],
-  ['dpmtoloaddpmmap_1693',['dpmToloadDpmMap',['../classSVF_1_1DDAVFSolver.html#a9d8959dfee05685cd74d0d7a78069692',1,'SVF::DDAVFSolver']]],
-  ['dpmtotlcptsetmap_1694',['dpmToTLCPtSetMap',['../classSVF_1_1DDAVFSolver.html#a2d6df8149b45d719e22fc505df94171a',1,'SVF::DDAVFSolver']]],
-  ['dptitemset_1695',['DPTItemSet',['../classSVF_1_1DDAVFSolver.html#a05d6b074b04aad7dc1f3cbe0ca587467',1,'SVF::DDAVFSolver']]],
-  ['dr_5fcheck_1696',['DR_CHECK',['../classSVF_1_1Annotator.html#a64fa6f1cac79c47c66b16ac29d2ac3f4',1,'SVF::Annotator']]],
-  ['dr_5fnot_5fcheck_1697',['DR_NOT_CHECK',['../classSVF_1_1Annotator.html#af220da6fe6fc879d15cc34ab397c5ba1',1,'SVF::Annotator']]],
-  ['drefinept_1698',['DRefinePT',['../SVFType_8h.html#a12848bc67564a74a3f203cee9de2eb29',1,'SVFType.h']]],
-  ['dsaber_1699',['DSaber',['../SVFType_8h.html#a817abc424f7cfcdec5954c7807970f36',1,'SVFType.h']]],
-  ['dst_1700',['dst',['../classSVF_1_1GenericEdge.html#aa41cb7482bdab1ba328f4b94f30f3ee4',1,'SVF::GenericEdge']]],
-  ['dtbbsmap_1701',['dtBBsMap',['../classSVF_1_1SVFLoopAndDomInfo.html#a34296b98ee8dd1bfc0b1ae7fe327cde3',1,'SVF::SVFLoopAndDomInfo']]],
-  ['dtraits_1702',['DTraits',['../classSVF_1_1GraphWriter.html#a36f1ca2744fae2f45400e82f39e4fcd8',1,'SVF::GraphWriter']]],
-  ['dummyobjnode_1703',['DummyObjNode',['../classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffa1ab625ecaf51446246dcc2944d6559af',1,'SVF::SVFVar']]],
-  ['dummyobjvar_1704',['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_1705',['DummyValNode',['../classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffa8299ae0d09f1b19411cb07cd79a2bae8',1,'SVF::SVFVar']]],
-  ['dummyvalvar_1706',['DummyValVar',['../classSVF_1_1DummyValVar.html',1,'SVF::DummyValVar'],['../classSVF_1_1DummyValVar.html#a39fb5acde002694e91599a67ff3ae99a',1,'SVF::DummyValVar::DummyValVar()']]],
-  ['dummyversionpropsvfgnode_1707',['DummyVersionPropSVFGNode',['../classSVF_1_1DummyVersionPropSVFGNode.html',1,'SVF::DummyVersionPropSVFGNode'],['../classSVF_1_1DummyVersionPropSVFGNode.html#a8661f8c8e31101b5afc37ebe3bac5fe2',1,'SVF::DummyVersionPropSVFGNode::DummyVersionPropSVFGNode()']]],
-  ['dummyvprop_1708',['DummyVProp',['../classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75a6b262331878a44019af8a8539a5ddad2',1,'SVF::VFGNode']]],
-  ['dump_1709',['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_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_1710',['dumpAliasSet',['../namespaceSVF_1_1SVFUtil.html#a4a15cc5570eed12dd6ee766213e11d61',1,'SVF::SVFUtil']]],
-  ['dumpallpts_1711',['dumpAllPts',['../classSVF_1_1PointerAnalysis.html#a861554c2fdeaa406131c2c920b4c7908',1,'SVF::PointerAnalysis::dumpAllPts()'],['../classSVF_1_1BVDataPTAImpl.html#a7996a2c07b015e8557398ec10db1acef',1,'SVF::BVDataPTAImpl::dumpAllPts()']]],
-  ['dumpalltypes_1712',['dumpAllTypes',['../classSVF_1_1PointerAnalysis.html#a08399de593c073b6dd848a8d849dad27',1,'SVF::PointerAnalysis']]],
-  ['dumpcha_1713',['DumpCHA',['../classSVF_1_1Options.html#afcef86c88bb86198a3579aef82b5e270',1,'SVF::Options']]],
-  ['dumpchastats_1714',['dumpCHAStats',['../classSVF_1_1TypeAnalysis.html#a124fc67578745cde9e74bb36aced25a2',1,'SVF::TypeAnalysis']]],
-  ['dumpcond_1715',['dumpCond',['../classSVF_1_1ProgSlice.html#a03d4ae6a3df1adf7f1ee5eebf1028c9c',1,'SVF::ProgSlice::dumpCond()'],['../classSVF_1_1SaberCondAllocator.html#a100c1962eac6d7af420defc827a025ed',1,'SVF::SaberCondAllocator::dumpCond()']]],
-  ['dumpcontexts_1716',['dumpContexts',['../classSVF_1_1ContextDDA.html#ac3e622d810ee69917b7bef08a882117c',1,'SVF::ContextDDA']]],
-  ['dumpcpts_1717',['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_1718',['dumpCPtSet',['../classSVF_1_1DDAVFSolver.html#aa4dc73ea65f736282a413a9d286141e5',1,'SVF::DDAVFSolver']]],
-  ['dumpcxt_1719',['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_1720',['DumpICFG',['../classSVF_1_1Options.html#ae7ccfb3d1308e205e5014849dcc43d9a',1,'SVF::Options']]],
-  ['dumpinterlev_1721',['dumpInterlev',['../classSVF_1_1MTAResultValidator.html#a1af033b5742fa9cc1e4f9873184775b7',1,'SVF::MTAResultValidator::dumpInterlev(NodeBS &lev)'],['../classSVF_1_1MTAResultValidator.html#af88ed1c0aefc313eb50f7d6755c03be4',1,'SVF::MTAResultValidator::dumpInterlev(NodeBS &lev)']]],
-  ['dumpjson_1722',['DumpJson',['../classSVF_1_1Options.html#a3f5235cbdaab1bf53b9144d335c9c3d4',1,'SVF::Options']]],
-  ['dumpllvmvalue_1723',['dumpLLVMValue',['../namespaceSVF.html#ad4ba3f37eacc28014adca3f4bb06d83d',1,'SVF']]],
-  ['dumplocversionmaps_1724',['dumpLocVersionMaps',['../classSVF_1_1VersionedFlowSensitive.html#a032acdcd8b84523a7ac2f0e46d21c62f',1,'SVF::VersionedFlowSensitive']]],
-  ['dumpmeldversion_1725',['dumpMeldVersion',['../classSVF_1_1VersionedFlowSensitive.html#a7565989371100f84ae5f9e2efa655fcb',1,'SVF::VersionedFlowSensitive']]],
-  ['dumpmodulestofile_1726',['dumpModulesToFile',['../classSVF_1_1LLVMModuleSet.html#af37b9976b282c875cac7bb1777da635c',1,'SVF::LLVMModuleSet']]],
-  ['dumpmssa_1727',['dumpMSSA',['../classSVF_1_1MemSSA.html#a749df6d6b28dd1bae569989bffeb7746',1,'SVF::MemSSA::dumpMSSA()'],['../classSVF_1_1Options.html#a0bb4bfd677e2e45cc8c24bfc190edfaa',1,'SVF::Options::DumpMSSA()']]],
-  ['dumppointstolist_1728',['dumpPointsToList',['../namespaceSVF_1_1SVFUtil.html#af4ceddbe4d57b24e80201bc895f73810',1,'SVF::SVFUtil']]],
-  ['dumppointstoset_1729',['dumpPointsToSet',['../namespaceSVF_1_1SVFUtil.html#abd0a9ee845a455f9354d24a8b84a0bb3',1,'SVF::SVFUtil']]],
-  ['dumpptdata_1730',['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_1731',['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_1732',['dumpReliances',['../classSVF_1_1VersionedFlowSensitive.html#a9d5990a41e90558595d0ad0defceb4e8',1,'SVF::VersionedFlowSensitive']]],
-  ['dumpset_1733',['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_1734',['DumpSlice',['../classSVF_1_1Options.html#ab9443e23bdcb60f118a7aab835f974db',1,'SVF::Options']]],
-  ['dumpslices_1735',['dumpSlices',['../classSVF_1_1SrcSnkDDA.html#acae985068ff1c20fb81c4c9ba730aaba',1,'SVF::SrcSnkDDA']]],
-  ['dumpsparseset_1736',['dumpSparseSet',['../namespaceSVF_1_1SVFUtil.html#ab30a35713852a0a525c52ae5dd463442',1,'SVF::SVFUtil']]],
-  ['dumpstat_1737',['dumpStat',['../classSVF_1_1PointerAnalysis.html#ab83b827ea42d3a61aad20b1a1485d866',1,'SVF::PointerAnalysis']]],
-  ['dumpstr_1738',['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_1739',['dumpToJsonFile',['../classSVF_1_1SVFBugReport.html#aa119593331403f73867fddcb6ec26989',1,'SVF::SVFBugReport']]],
-  ['dumptoplevelptsto_1740',['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_1741',['dumpType',['../namespaceSVF_1_1LLVMUtil.html#a6e8682537cf5bed808df439bd7e1add9',1,'SVF::LLVMUtil']]],
-  ['dumpvalue_1742',['dumpValue',['../namespaceSVF_1_1LLVMUtil.html#afa2f8c8ab19c75547c26ede53b9f6159',1,'SVF::LLVMUtil']]],
-  ['dumpvalueanddbginfo_1743',['dumpValueAndDbgInfo',['../namespaceSVF_1_1LLVMUtil.html#a86c0a0cb4ada72bd4f42c77558e6a350',1,'SVF::LLVMUtil']]],
-  ['dumpvfg_1744',['DumpVFG',['../classSVF_1_1Options.html#ae3ad3003a8d3df2f1e3463248bb5ad51',1,'SVF::Options']]],
-  ['dval_1745',['dval',['../classSVF_1_1SVFConstantFP.html#aa1d551ad74dd5ce3eb4b7d639aec31a9',1,'SVF::SVFConstantFP']]],
-  ['dwpa_1746',['DWPA',['../SVFType_8h.html#a45d9233db3cad59f4f72b7c573bae180',1,'SVFType.h']]],
-  ['dyn_5fcast_1747',['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_1748',['dyncast',['../CppUtil_8cpp.html#a7972d88aaaa4644ee22e5b95ac465a80',1,'CppUtil.cpp']]]
+  ['daa_1513',['DAA',['../dda_8cpp.html#aa87e1cd4be4709a21393ed9e1a0da6bb',1,'dda.cpp']]],
+  ['dandersen_1514',['DAndersen',['../SVFType_8h.html#adbfc4364261f019dc6cf33234a5177d2',1,'SVFType.h']]],
+  ['data_1515',['data',['../classSVF_1_1List_1_1ListNode.html#a4a9cb4ae17156d6d80d2357e06231e12',1,'SVF::List::ListNode']]],
+  ['data_5flist_1516',['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_1517',['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_1518',['DataDeque',['../classSVF_1_1CFLFIFOWorkList.html#aa2ac3edad97017817899d081dc6f1df7',1,'SVF::CFLFIFOWorkList::DataDeque()'],['../classSVF_1_1FIFOWorkList.html#a2907cd4515b2072aae0a88e972e93fc4',1,'SVF::FIFOWorkList::DataDeque()']]],
+  ['dataflow_1519',['DataFlow',['../classSVF_1_1PTData.html#a74ce29609c51f2be34a0b5b7650a9848acb817cbf655c365c02af3675588f06cc',1,'SVF::PTData']]],
+  ['dataiter_1520',['DataIter',['../classSVF_1_1MutableIncDFPTData.html#a1fc4dff28f9044234fdfeede6f4b1cb0',1,'SVF::MutableIncDFPTData']]],
+  ['datalayout_1521',['DataLayout',['../namespaceSVF.html#a03db82b8a7914367024723dba4d6ca3c',1,'SVF']]],
+  ['datamap_1522',['DataMap',['../classSVF_1_1POCRSolver.html#ad60f45d469f1b576e1c49ec0cdf29e1e',1,'SVF::POCRSolver']]],
+  ['dataop_1523',['DataOp',['../classSVF_1_1PersistentPointsToCache.html#a5a0f1b93f29ce62ad13042ab8435c62c',1,'SVF::PersistentPointsToCache']]],
+  ['dataset_1524',['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_1525',['DataVector',['../classSVF_1_1FILOWorkList.html#a41d3d71633adc6a1282922b4e4929a7f',1,'SVF::FILOWorkList']]],
+  ['dbout_1526',['DBOUT',['../SVFType_8h.html#a173ce1b9b505fdadf5613b663749d3b0',1,'SVFType.h']]],
+  ['dbug_1527',['DBUG',['../classSVF_1_1NodeIDAllocator.html#a8cf553cd07768aad3f3b91bf3d7c6228a36e359346b349ead71f7ab095b0865af',1,'SVF::NodeIDAllocator']]],
+  ['dcache_1528',['DCache',['../SVFType_8h.html#a500788b9fb425915fa4330d72142aec9',1,'SVFType.h']]],
+  ['dcgettext_1529',['dcgettext',['../extapi_8c.html#ae47e2e0ff32239d263bc2d182b3cabca',1,'extapi.c']]],
+  ['dcha_1530',['DCHA',['../SVFType_8h.html#a263149d980e5c3165dfe8750bfac3223',1,'SVFType.h']]],
+  ['dchedge_1531',['DCHEdge',['../classSVF_1_1DCHEdge.html',1,'SVF::DCHEdge'],['../classSVF_1_1DCHEdge.html#a17e3db6d11e0752064194ffc46cd9afe',1,'SVF::DCHEdge::DCHEdge()']]],
+  ['dchedgesetty_1532',['DCHEdgeSetTy',['../classSVF_1_1DCHEdge.html#a2580878ab964494ee5c7840e16ef84b3',1,'SVF::DCHEdge']]],
+  ['dchg_2ecpp_1533',['DCHG.cpp',['../DCHG_8cpp.html',1,'']]],
+  ['dchg_2eh_1534',['DCHG.h',['../DCHG_8h.html',1,'']]],
+  ['dchgraph_1535',['DCHGraph',['../classSVF_1_1DCHGraph.html',1,'SVF::DCHGraph'],['../classSVF_1_1DCHGraph.html#a7cbea4d5399333497faa3f8d213e365e',1,'SVF::DCHGraph::DCHGraph()']]],
+  ['dchnode_1536',['DCHNode',['../classSVF_1_1DCHNode.html',1,'SVF::DCHNode'],['../classSVF_1_1DCHNode.html#a3e81cc40aa1c37999cead00f1af85a6e',1,'SVF::DCHNode::DCHNode()']]],
+  ['dcommodel_1537',['DCOMModel',['../SVFType_8h.html#aa97040d501d68863c7f0c93ed7514857',1,'SVFType.h']]],
+  ['dda_2ecpp_1538',['dda.cpp',['../dda_8cpp.html',1,'']]],
+  ['ddaclient_1539',['DDAClient',['../classSVF_1_1DDAClient.html',1,'SVF::DDAClient'],['../classSVF_1_1DDAClient.html#a1070c1a68fa7da7bdb23240957048ee9',1,'SVF::DDAClient::DDAClient()']]],
+  ['ddaclient_2ecpp_1540',['DDAClient.cpp',['../DDAClient_8cpp.html',1,'']]],
+  ['ddaclient_2eh_1541',['DDAClient.h',['../DDAClient_8h.html',1,'']]],
+  ['ddapass_1542',['DDAPass',['../classSVF_1_1DDAPass.html',1,'SVF::DDAPass'],['../classSVF_1_1DDAPass.html#a4f68cbbe00863024cba2ecf513ff979f',1,'SVF::DDAPass::DDAPass()']]],
+  ['ddapass_2ecpp_1543',['DDAPass.cpp',['../DDAPass_8cpp.html',1,'']]],
+  ['ddapass_2eh_1544',['DDAPass.h',['../DDAPass_8h.html',1,'']]],
+  ['ddaselected_1545',['DDASelected',['../classSVF_1_1Options.html#afa6c98d477db41a457ac83cfbfd4a580',1,'SVF::Options']]],
+  ['ddastat_1546',['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_1547',['DDAStat.cpp',['../DDAStat_8cpp.html',1,'']]],
+  ['ddastat_2eh_1548',['DDAStat.h',['../DDAStat_8h.html',1,'']]],
+  ['ddasvfgbuilder_1549',['DDASVFGBuilder',['../classSVF_1_1SVFG.html#a9ccd530dc4c49b0df372a2ce95b66921',1,'SVF::SVFG']]],
+  ['ddavfsolver_1550',['DDAVFSolver',['../classSVF_1_1DDAVFSolver.html',1,'SVF::DDAVFSolver< CVar, CPtSet, DPIm >'],['../classSVF_1_1DDAVFSolver.html#a7ee96b513074c283d23434590ce15e7d',1,'SVF::DDAVFSolver::DDAVFSolver()']]],
+  ['ddavfsolver_2eh_1551',['DDAVFSolver.h',['../DDAVFSolver_8h.html',1,'']]],
+  ['ddavfsolver_3c_20cxtvar_2c_20cxtptset_2c_20cxtlocdpitem_20_3e_1552',['DDAVFSolver< CxtVar, CxtPtSet, CxtLocDPItem >',['../classSVF_1_1DDAVFSolver.html',1,'SVF']]],
+  ['ddavfsolver_3c_20nodeid_2c_20pointsto_2c_20locdpitem_20_3e_1553',['DDAVFSolver< NodeID, PointsTo, LocDPItem >',['../classSVF_1_1DDAVFSolver.html',1,'SVF']]],
+  ['ddda_1554',['DDDA',['../SVFType_8h.html#a40845b3027a1237076aa8297ca39e730',1,'SVFType.h']]],
+  ['ddumppt_1555',['DDumpPT',['../SVFType_8h.html#a395c9d15b59b8c057f859855f0405d7b',1,'SVFType.h']]],
+  ['debug_5ftype_1556',['DEBUG_TYPE',['../BreakConstantExpr_8cpp.html#ad78e062f62e0d6e453941fb4ca843e4d',1,'BreakConstantExpr.cpp']]],
+  ['debuginfofinder_1557',['DebugInfoFinder',['../namespaceSVF.html#a5ae98f122c64b0114df2e5861b341321',1,'SVF']]],
+  ['decide_5fcpa_5fext_1558',['decide_cpa_ext',['../classSVF_1_1RelationSolver.html#a7ace50c6e53a79f0e329badb63570f92',1,'SVF::RelationSolver']]],
+  ['def_1559',['def',['../classSVF_1_1MRVer.html#a3398bb8d3189413c275b62d5cb7a5fc4',1,'SVF::MRVer']]],
+  ['default_5fpta_1560',['Default_PTA',['../classSVF_1_1PointerAnalysis.html#a0b182ac680cce0547dbe7714c870ca85adb3d4cbd8c38c1c498bc51198626a790',1,'SVF::PointerAnalysis']]],
+  ['defaultdotgraphtraits_1561',['DefaultDOTGraphTraits',['../structSVF_1_1DefaultDOTGraphTraits.html',1,'SVF::DefaultDOTGraphTraits'],['../structSVF_1_1DefaultDOTGraphTraits.html#a2fdfa8abc93bd4d0211c4db8ef4ede3e',1,'SVF::DefaultDOTGraphTraits::DefaultDOTGraphTraits()']]],
+  ['defaulttype_1562',['defaultType',['../classSVF_1_1ObjTypeInference.html#aee4383a13cda421acb034ea147e33a6d',1,'SVF::ObjTypeInference']]],
+  ['defnodes_1563',['defNodes',['../classSVF_1_1SVFGOPT.html#abd524dca72261bbcc7ebb1103b693a2b',1,'SVF::SVFGOPT']]],
+  ['deftype_1564',['DEFTYPE',['../classSVF_1_1MSSADEF.html#a32682e20c9c08d2bdd5abc62ea17af18',1,'SVF::MSSADEF']]],
+  ['delta_1565',['delta',['../classSVF_1_1VersionedFlowSensitive.html#a9f9b00551c157f42d1d995e8c4efb54b',1,'SVF::VersionedFlowSensitive']]],
+  ['deltamap_1566',['deltaMap',['../classSVF_1_1VersionedFlowSensitive.html#a11ddfa1faebf56e74e6dcc53e16142e1',1,'SVF::VersionedFlowSensitive']]],
+  ['deltasource_1567',['deltaSource',['../classSVF_1_1VersionedFlowSensitive.html#a3fa5afa4f54e0828ec090fde07b1bfa2',1,'SVF::VersionedFlowSensitive']]],
+  ['deltasourcemap_1568',['deltaSourceMap',['../classSVF_1_1VersionedFlowSensitive.html#aee97e196225aaad29c0bd31d3ccbabf6',1,'SVF::VersionedFlowSensitive']]],
+  ['demangle_1569',['demangle',['../namespaceSVF_1_1cppUtil.html#a745a2addadc136075d45c7fb8437af3e',1,'SVF::cppUtil']]],
+  ['demangledname_1570',['DemangledName',['../structSVF_1_1cppUtil_1_1DemangledName.html',1,'SVF::cppUtil']]],
+  ['dendrogramtraversaltime_1571',['DendrogramTraversalTime',['../classSVF_1_1NodeIDAllocator_1_1Clusterer.html#a67ab9cffacc1584b2e7bae5d1b08c541',1,'SVF::NodeIDAllocator::Clusterer']]],
+  ['dense_1572',['DENSE',['../classSVF_1_1NodeIDAllocator.html#a8cf553cd07768aad3f3b91bf3d7c6228a9df17b1222681bba5e649895deb726f0',1,'SVF::NodeIDAllocator']]],
+  ['depth_1573',['depth',['../structparse__buffer.html#af613c4ed7d73f76c60c50d1bcf4c67a0',1,'parse_buffer::depth()'],['../structprintbuffer.html#aa7311b5da38ff8d1737824c611b48732',1,'printbuffer::depth()']]],
+  ['deref_5fval_1574',['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_1575',['derefMDName',['../namespaceSVF_1_1cppUtil_1_1ctir.html#a0cd5347bc8043d4306e66a4a96005ace',1,'SVF::cppUtil::ctir']]],
+  ['description_1576',['description',['../classOptionBase.html#a8fbb1cde9e12a099617c8e8298424b5b',1,'OptionBase']]],
+  ['destory_1577',['destory',['../classSVF_1_1ExtAPI.html#abe3e0e2500532acfc01cee7e2ce1cd90',1,'SVF::ExtAPI']]],
+  ['destroy_1578',['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_1579',['DESTRUCTOR',['../classSVF_1_1CHGraph.html#a2a1da7f262a2f11653fb583154a93a22adfb68ad45ad216277b580d9a45926dc7',1,'SVF::CHGraph']]],
+  ['detect_1580',['detect',['../classSVF_1_1MTA.html#a5adab2e3b400190ecc9fa2a158203cb3',1,'SVF::MTA']]],
+  ['detectbufoverflow_1581',['detectBufOverflow',['../classSVF_1_1BufOverflowChecker.html#a52de7d619e8746a70718719306d7c5a1',1,'SVF::BufOverflowChecker']]],
+  ['detectpwc_1582',['DetectPWC',['../classSVF_1_1Options.html#a3fc22d0a45be551110d1e326380f3202',1,'SVF::Options']]],
+  ['detectsccs_1583',['detectSCCs',['../classSVF_1_1VersionedFlowSensitive_1_1SCC.html#ac2dd88315f54ae766e73e7680f526ed6',1,'SVF::VersionedFlowSensitive::SCC']]],
+  ['detectstrcat_1584',['detectStrcat',['../classSVF_1_1BufOverflowChecker.html#aa68f8aef09481d7c07dc59d7dfb83822',1,'SVF::BufOverflowChecker']]],
+  ['detectstrcpy_1585',['detectStrcpy',['../classSVF_1_1BufOverflowChecker.html#ad8b2f2fa6f22b9d1655135c819cbad8a',1,'SVF::BufOverflowChecker']]],
+  ['determinebestmapping_1586',['determineBestMapping',['../classSVF_1_1NodeIDAllocator_1_1Clusterer.html#a3f86e733cc075180e9682887c554b8fa',1,'SVF::NodeIDAllocator::Clusterer']]],
+  ['dfbbsmap_1587',['dfBBsMap',['../classSVF_1_1SVFLoopAndDomInfo.html#ae191915ae746e30c8370ebf8fe733723',1,'SVF::SVFLoopAndDomInfo']]],
+  ['dfinoutmap_1588',['DFInOutMap',['../classSVF_1_1FlowSensitive.html#af9a2bd5b490f1cc5335ce696173c78dd',1,'SVF::FlowSensitive::DFInOutMap()'],['../classSVF_1_1FlowSensitiveStat.html#a55d45e82ea3d338114e50da877bcfb75',1,'SVF::FlowSensitiveStat::DFInOutMap()']]],
+  ['dfinptsmap_1589',['dfInPtsMap',['../classSVF_1_1MutableDFPTData.html#abb59ef7367e353e65b82b54dac509f36',1,'SVF::MutableDFPTData::dfInPtsMap()'],['../classSVF_1_1PersistentDFPTData.html#a6b892b707524127928e269f0f0bbe868',1,'SVF::PersistentDFPTData::dfInPtsMap()']]],
+  ['dfkeytoidmap_1590',['DFKeyToIDMap',['../classSVF_1_1PersistentDFPTData.html#a0d0318fa192eac88a4307112e30e9d90',1,'SVF::PersistentDFPTData']]],
+  ['dfoutptsmap_1591',['dfOutPtsMap',['../classSVF_1_1MutableDFPTData.html#ad3c53ef1c8e221299f3afe078946fbe0',1,'SVF::MutableDFPTData::dfOutPtsMap()'],['../classSVF_1_1PersistentDFPTData.html#ad77d7ccad393c995813f8c433c249dfc',1,'SVF::PersistentDFPTData::dfOutPtsMap()']]],
+  ['dfptdata_1592',['DFPTData',['../classSVF_1_1DFPTData.html',1,'SVF::DFPTData< Key, KeySet, Data, DataSet >'],['../classSVF_1_1DFPTData.html#a40016a7e3dac46d9ba854d336c7aae83',1,'SVF::DFPTData::DFPTData()']]],
+  ['dfptdataty_1593',['DFPTDataTy',['../classSVF_1_1BVDataPTAImpl.html#a5c2288519153467142e74c8dd4e77180',1,'SVF::BVDataPTAImpl']]],
+  ['dfptsmap_1594',['DFPtsMap',['../classSVF_1_1MutableDFPTData.html#a0c73427f957d310bc85955bec6654352',1,'SVF::MutableDFPTData']]],
+  ['dfptsmapconstiter_1595',['DFPtsMapconstIter',['../classSVF_1_1MutableDFPTData.html#adb30678f5bbdea0f196d3b0ab67d2bad',1,'SVF::MutableDFPTData']]],
+  ['dfptsmapiter_1596',['DFPtsMapIter',['../classSVF_1_1MutableDFPTData.html#a31ad5da37a88d2b97633d590393b0e64',1,'SVF::MutableDFPTData']]],
+  ['dfreechecker_1597',['DFREECHECKER',['../saber_8cpp.html#ab233df6b8c190aa2c26fa20bd1ac7c52',1,'saber.cpp']]],
+  ['dfsnodesbetweenpdomnodes_1598',['dfsNodesBetweenPdomNodes',['../classSVF_1_1CDGBuilder.html#a6efa510f946ea8befebbc94bed241395',1,'SVF::CDGBuilder']]],
+  ['dgeneral_1599',['DGENERAL',['../SVFType_8h.html#a2c64190a065f342897573a3ef4973adb',1,'SVFType.h']]],
+  ['dgettext_1600',['dgettext',['../extapi_8c.html#ae9c3a42a44267df221d0c4fe5b2ea439',1,'extapi.c']]],
+  ['di_1601',['DI',['../classSVF_1_1CommonCHGraph.html#a6a1feb9e268fb56b0de3efc39cfc8db8ae9e3edea0bae930aa9af04699fca9506',1,'SVF::CommonCHGraph']]],
+  ['dibasictype_1602',['DIBasicType',['../namespaceSVF.html#ada0513be7e25325325ccc9183aeca278',1,'SVF']]],
+  ['dicompositetype_1603',['DICompositeType',['../namespaceSVF.html#aded9b991c77acc5284ccead0739e84f1',1,'SVF']]],
+  ['diderivedtype_1604',['DIDerivedType',['../namespaceSVF.html#a852e75c562139237fcc754c7461533e6',1,'SVF']]],
+  ['diff_1605',['Diff',['../classSVF_1_1PTData.html#a74ce29609c51f2be34a0b5b7650a9848a03a155517b9587d79c3f0b6dc3b72447',1,'SVF::PTData::Diff()'],['../classSVF_1_1POCRSolver.html#a403ddbfcdf61cd01ad9dc778a7e02af0',1,'SVF::POCRSolver::diff()']]],
+  ['difference_5ftype_1606',['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_1607',['DiffPTData',['../classSVF_1_1DiffPTData.html',1,'SVF::DiffPTData< Key, KeySet, Data, DataSet >'],['../classSVF_1_1DiffPTData.html#ac7e9661cfb4d5af3ef35d323ddc35558',1,'SVF::DiffPTData::DiffPTData()']]],
+  ['diffptdataty_1608',['DiffPTDataTy',['../classSVF_1_1BVDataPTAImpl.html#abd8bb73e9beac5e39667091b1e211bd3',1,'SVF::BVDataPTAImpl']]],
+  ['diffpts_1609',['DiffPts',['../classSVF_1_1Options.html#ae782f25eaee9ac363c733b6ac609fbce',1,'SVF::Options']]],
+  ['diffptsmap_1610',['diffPtsMap',['../classSVF_1_1MutableDiffPTData.html#a9ee7874e987e93eb4cb9d75ed08effd5',1,'SVF::MutableDiffPTData::diffPtsMap()'],['../classSVF_1_1PersistentDiffPTData.html#ac54339952e2734a6affdaa543fb3ed22',1,'SVF::PersistentDiffPTData::diffPtsMap()']]],
+  ['diffwave_1611',['diffWave',['../classSVF_1_1AndersenWaveDiff.html#add4dcb6d74a8ce8747bcac5f740cd672',1,'SVF::AndersenWaveDiff']]],
+  ['dinode_1612',['DINode',['../namespaceSVF.html#a758f3bee97ed46a719d64a2d4f2bc62d',1,'SVF']]],
+  ['dinodearray_1613',['DINodeArray',['../namespaceSVF.html#a0f825e73d115173b05ca54fb8ec65003',1,'SVF']]],
+  ['dinstrument_1614',['DInstrument',['../SVFType_8h.html#abf3a5def3f319733214fa5f595b39827',1,'SVFType.h']]],
+  ['dirandindjoinmap_1615',['dirAndIndJoinMap',['../classSVF_1_1ForkJoinAnalysis.html#ab5678bd46e573070827cc413f0e0d5be',1,'SVF::ForkJoinAnalysis']]],
+  ['direct_5fchild_5fbegin_1616',['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_1617',['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_1618',['directCallFunPass',['../classSVF_1_1AbstractExecution.html#aff1c9582db75361b68aaaf0c4b8b6f0d',1,'SVF::AbstractExecution']]],
+  ['directcalls_1619',['directCalls',['../classSVF_1_1PTACallGraphEdge.html#a2f3e4b61225c4ca37b0f70e3edc61920',1,'SVF::PTACallGraphEdge']]],
+  ['directcallsbegin_1620',['directCallsBegin',['../classSVF_1_1PTACallGraphEdge.html#a750e50a9022451e406c4819979edffa5',1,'SVF::PTACallGraphEdge']]],
+  ['directcallsend_1621',['directCallsEnd',['../classSVF_1_1PTACallGraphEdge.html#acc4fcacefdc9be9a214dfcc455fe7970',1,'SVF::PTACallGraphEdge']]],
+  ['directedgeset_1622',['directEdgeSet',['../classSVF_1_1ConstraintGraph.html#a1be3ebb84b3d334daf98f7e6f5b82256',1,'SVF::ConstraintGraph']]],
+  ['directinedgebegin_1623',['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_1624',['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_1625',['directInEdges',['../classSVF_1_1ConstraintNode.html#a53626700d25b5c004e42354c925df83c',1,'SVF::ConstraintNode']]],
+  ['directjoinmap_1626',['directJoinMap',['../classSVF_1_1ForkJoinAnalysis.html#abf5b499f93a658636d09a62d14a47cad',1,'SVF::ForkJoinAnalysis']]],
+  ['directoutedgebegin_1627',['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_1628',['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_1629',['directOutEdges',['../classSVF_1_1ConstraintNode.html#affb426040b05678fcbce62002a02bb06',1,'SVF::ConstraintNode']]],
+  ['directpropatime_1630',['directPropaTime',['../classSVF_1_1FlowSensitive.html#ae086de68233375be42185f0af706687a',1,'SVF::FlowSensitive']]],
+  ['directsvfgedge_1631',['DirectSVFGEdge',['../classSVF_1_1DirectSVFGEdge.html',1,'SVF::DirectSVFGEdge'],['../classSVF_1_1DirectSVFGEdge.html#a739ffa262f30d6473f56a610fd64fe95',1,'SVF::DirectSVFGEdge::DirectSVFGEdge()']]],
+  ['dirvfedgeend_1632',['dirVFEdgeEnd',['../classSVF_1_1SVFGStat.html#abef8f1d89413ed3c6e67dcd2b81729d8',1,'SVF::SVFGStat']]],
+  ['dirvfedgestart_1633',['dirVFEdgeStart',['../classSVF_1_1SVFGStat.html#a169d75c0fd09f69d86939d84db67e590',1,'SVF::SVFGStat']]],
+  ['disableprintstat_1634',['disablePrintStat',['../classSVF_1_1PointerAnalysis.html#af44b14fed89918847c0228c1100c56d2',1,'SVF::PointerAnalysis']]],
+  ['disablewarn_1635',['DisableWarn',['../classSVF_1_1Options.html#a1721ff576ad641d862f29b038f31db28',1,'SVF::Options']]],
+  ['distancematrixtime_1636',['DistanceMatrixTime',['../classSVF_1_1NodeIDAllocator_1_1Clusterer.html#a09d2dbb2faab0a0e03bfa353534116a8',1,'SVF::NodeIDAllocator::Clusterer']]],
+  ['distinct_1637',['Distinct',['../classSVF_1_1MemSSA.html#ac0797f2ee7b59ae720095a4836533671a9da5f4ad2a43befdbc4be319bffc80ea',1,'SVF::MemSSA']]],
+  ['distinctmrg_1638',['DistinctMRG',['../classSVF_1_1DistinctMRG.html',1,'SVF::DistinctMRG'],['../classSVF_1_1DistinctMRG.html#ad7e4959327aa45932fd788bacca0de01',1,'SVF::DistinctMRG::DistinctMRG()']]],
+  ['distoccmap_1639',['DistOccMap',['../classSVF_1_1NodeIDAllocator_1_1Clusterer.html#a1f74f1e72a844166f742d2d46efbbb5e',1,'SVF::NodeIDAllocator::Clusterer']]],
+  ['disubprogram_1640',['DISubprogram',['../namespaceSVF.html#a89c7208bfc0b57873dfa574f52050295',1,'SVF']]],
+  ['disubrange_1641',['DISubrange',['../namespaceSVF.html#a99bc1228f07429855c81a720be862dc6',1,'SVF']]],
+  ['disubroutinetype_1642',['DISubroutineType',['../namespaceSVF.html#a090e0791e8c200104ed3ab6bab157129',1,'SVF']]],
+  ['ditype_1643',['diType',['../classSVF_1_1DCHNode.html#a05b5b4539273ac5d21d8cbcfa712a439',1,'SVF::DCHNode::diType()'],['../namespaceSVF.html#ad127b0ad478640ede3d426e3a58d2632',1,'SVF::DIType()']]],
+  ['dityperefarray_1644',['DITypeRefArray',['../namespaceSVF.html#a9d3ee421789884473bfacfaa9ec007cc',1,'SVF']]],
+  ['ditypetonodemap_1645',['diTypeToNodeMap',['../classSVF_1_1DCHGraph.html#ae2aee47b803f9cde8950b7f1ad11273d',1,'SVF::DCHGraph']]],
+  ['ditypetostr_1646',['diTypeToStr',['../classSVF_1_1DCHGraph.html#a2dc488345cc3a5f37079952f638d8c2b',1,'SVF::DCHGraph']]],
+  ['dmemmodel_1647',['DMemModel',['../SVFType_8h.html#ad46a0423f8709692e1bb0f0fa5b1ca2f',1,'SVFType.h']]],
+  ['dmemmodelce_1648',['DMemModelCE',['../SVFType_8h.html#aaff570bb354b8519a4852ffda413af7c',1,'SVFType.h']]],
+  ['dmssa_1649',['DMSSA',['../SVFType_8h.html#a385e9d80a013723304b329454d32e8b1',1,'SVFType.h']]],
+  ['dmta_1650',['DMTA',['../SVFType_8h.html#a217a1ccdaec1abb103cf6b0373631234',1,'SVFType.h']]],
+  ['dngettext_1651',['dngettext',['../extapi_8c.html#a54ac933fa6a0e84898be26c04faacb92',1,'extapi.c']]],
+  ['doit_1652',['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_1653',['DoLockAnalysis',['../classSVF_1_1Options.html#ae2c4fe298a27f50c749b75f0801f9666',1,'SVF::Options']]],
+  ['dominancefrontier_1654',['DominanceFrontier',['../namespaceSVF.html#ab44d20f806be99699895260b14a942d7',1,'SVF']]],
+  ['dominancefrontierbase_1655',['DominanceFrontierBase',['../namespaceSVF.html#a2f60343a6839b9cc893bbf77e8a19915',1,'SVF']]],
+  ['dominate_1656',['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_1657',['DominatorTree',['../namespaceSVF.html#aecbb42b8e9d17fa0189c50dda9fd5fdd',1,'SVF']]],
+  ['domtreenode_1658',['DomTreeNode',['../namespaceSVF.html#a827d09974dc7bf0849f96823cc2fee89',1,'SVF']]],
+  ['dostat_1659',['DOSTAT',['../SVFType_8h.html#a6c9e2209a2c38607a9e3b7fab242886a',1,'SVFType.h']]],
+  ['dot_1660',['DOT',['../namespaceSVF_1_1GraphProgram.html#a10f45758abb5c1ef51b0ba38d18efd37ae09e3feb3996d73e682cf2a5077c090c',1,'SVF::GraphProgram']]],
+  ['dotgraphtraits_1661',['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.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_1662',['DOTGraphTraits.h',['../DOTGraphTraits_8h.html',1,'']]],
+  ['dotgraphtraits_3c_20cflgraph_20_2a_20_3e_1663',['DOTGraphTraits< CFLGraph * >',['../structSVF_1_1DOTGraphTraits_3_01CFLGraph_01_5_01_4.html',1,'SVF']]],
+  ['dotgraphtraits_3c_20chgraph_20_2a_20_3e_1664',['DOTGraphTraits< CHGraph * >',['../structSVF_1_1DOTGraphTraits_3_01CHGraph_01_5_01_4.html',1,'SVF']]],
+  ['dotgraphtraits_3c_20constraintgraph_20_2a_20_3e_1665',['DOTGraphTraits< ConstraintGraph * >',['../structSVF_1_1DOTGraphTraits_3_01ConstraintGraph_01_5_01_4.html',1,'SVF']]],
+  ['dotgraphtraits_3c_20graphtype_20_3e_1666',['DOTGraphTraits< GraphType >',['../structSVF_1_1DOTGraphTraits.html',1,'SVF']]],
+  ['dotgraphtraits_3c_20icfg_20_2a_20_3e_1667',['DOTGraphTraits< ICFG * >',['../structSVF_1_1DOTGraphTraits_3_01ICFG_01_5_01_4.html',1,'SVF']]],
+  ['dotgraphtraits_3c_20irgraph_20_2a_20_3e_1668',['DOTGraphTraits< IRGraph * >',['../structSVF_1_1DOTGraphTraits_3_01IRGraph_01_5_01_4.html',1,'SVF']]],
+  ['dotgraphtraits_3c_20ptacallgraph_20_2a_20_3e_1669',['DOTGraphTraits< PTACallGraph * >',['../structSVF_1_1DOTGraphTraits_3_01PTACallGraph_01_5_01_4.html',1,'SVF']]],
+  ['dotgraphtraits_3c_20svf_3a_3acdg_20_2a_20_3e_1670',['DOTGraphTraits< SVF::CDG * >',['../structSVF_1_1DOTGraphTraits_3_01SVF_1_1CDG_01_5_01_4.html',1,'SVF']]],
+  ['dotgraphtraits_3c_20svf_3a_3apag_20_2a_20_3e_1671',['DOTGraphTraits< SVF::PAG * >',['../structSVF_1_1DOTGraphTraits.html',1,'SVF']]],
+  ['dotgraphtraits_3c_20svfg_20_2a_20_3e_1672',['DOTGraphTraits< SVFG * >',['../structSVF_1_1DOTGraphTraits_3_01SVFG_01_5_01_4.html',1,'SVF']]],
+  ['dotgraphtraits_3c_20svfir_20_2a_20_3e_1673',['DOTGraphTraits< SVFIR * >',['../structSVF_1_1DOTGraphTraits.html',1,'SVF']]],
+  ['dotgraphtraits_3c_20tct_20_2a_20_3e_1674',['DOTGraphTraits< TCT * >',['../structSVF_1_1DOTGraphTraits_3_01TCT_01_5_01_4.html',1,'SVF']]],
+  ['dotgraphtraits_3c_20vfg_20_2a_20_3e_1675',['DOTGraphTraits< VFG * >',['../structSVF_1_1DOTGraphTraits_3_01VFG_01_5_01_4.html',1,'SVF']]],
+  ['dotimestat_1676',['DOTIMESTAT',['../SVFType_8h.html#ab6f41e9db3675dc689c5492418885041',1,'SVFType.h']]],
+  ['dottraits_1677',['DOTTraits',['../classSVF_1_1GraphWriter.html#a245d85f8c907a409533ab151e9e3d9a2',1,'SVF::GraphWriter']]],
+  ['doublefree_1678',['DOUBLEFREE',['../classSVF_1_1GenericBug.html#a7aeeb33097bca5f7fe6747f90f5cecaca1f91a40ca53eb077cc947fae828554b4',1,'SVF::GenericBug']]],
+  ['doublefreebug_1679',['DoubleFreeBug',['../classSVF_1_1DoubleFreeBug.html',1,'SVF::DoubleFreeBug'],['../classSVF_1_1DoubleFreeBug.html#aea90778c71659c87a6139d19b896bdb8',1,'SVF::DoubleFreeBug::DoubleFreeBug()']]],
+  ['doublefreechecker_1680',['DoubleFreeChecker',['../classSVF_1_1DoubleFreeChecker.html',1,'SVF::DoubleFreeChecker'],['../classSVF_1_1DoubleFreeChecker.html#ac9d147b16442bb4746f66cffe46a070a',1,'SVF::DoubleFreeChecker::DoubleFreeChecker()']]],
+  ['doublefreechecker_2ecpp_1681',['DoubleFreeChecker.cpp',['../DoubleFreeChecker_8cpp.html',1,'']]],
+  ['doublefreechecker_2eh_1682',['DoubleFreeChecker.h',['../DoubleFreeChecker_8h.html',1,'']]],
+  ['dpagbuild_1683',['DPAGBuild',['../SVFType_8h.html#a7a295e02c56a93cf9206dd9d3b18dd17',1,'SVFType.h']]],
+  ['dpim_1684',['DPIm',['../classSVF_1_1SrcSnkDDA.html#a83d5ccf0836f8f751aff078f88328cca',1,'SVF::SrcSnkDDA']]],
+  ['dpimset_1685',['DPImSet',['../classSVF_1_1SrcSnkDDA.html#ab3cc8f13ea8de2db4ba874280802667a',1,'SVF::SrcSnkDDA']]],
+  ['dpimtocptsetmap_1686',['DPImToCPtSetMap',['../classSVF_1_1DDAVFSolver.html#a8b5a34679fb1362425c88d6e74b6c019',1,'SVF::DDAVFSolver']]],
+  ['dpitem_1687',['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_1688',['DPItem.h',['../DPItem_8h.html',1,'']]],
+  ['dpmtoadcptsetmap_1689',['dpmToADCPtSetMap',['../classSVF_1_1DDAVFSolver.html#a2565bf8dcacb22350dc1dc98ec7595f2',1,'SVF::DDAVFSolver']]],
+  ['dpmtocvarmap_1690',['DPMToCVarMap',['../classSVF_1_1DDAVFSolver.html#af0538abf12c01d31a0296553e2f7c92d',1,'SVF::DDAVFSolver']]],
+  ['dpmtodpmmap_1691',['DPMToDPMMap',['../classSVF_1_1DDAVFSolver.html#a2ccbcfa949a1796094b5d9499177fc2b',1,'SVF::DDAVFSolver']]],
+  ['dpmtoloaddpmmap_1692',['dpmToloadDpmMap',['../classSVF_1_1DDAVFSolver.html#a9d8959dfee05685cd74d0d7a78069692',1,'SVF::DDAVFSolver']]],
+  ['dpmtotlcptsetmap_1693',['dpmToTLCPtSetMap',['../classSVF_1_1DDAVFSolver.html#a2d6df8149b45d719e22fc505df94171a',1,'SVF::DDAVFSolver']]],
+  ['dptitemset_1694',['DPTItemSet',['../classSVF_1_1DDAVFSolver.html#a05d6b074b04aad7dc1f3cbe0ca587467',1,'SVF::DDAVFSolver']]],
+  ['dr_5fcheck_1695',['DR_CHECK',['../classSVF_1_1Annotator.html#a64fa6f1cac79c47c66b16ac29d2ac3f4',1,'SVF::Annotator']]],
+  ['dr_5fnot_5fcheck_1696',['DR_NOT_CHECK',['../classSVF_1_1Annotator.html#af220da6fe6fc879d15cc34ab397c5ba1',1,'SVF::Annotator']]],
+  ['drefinept_1697',['DRefinePT',['../SVFType_8h.html#a12848bc67564a74a3f203cee9de2eb29',1,'SVFType.h']]],
+  ['dsaber_1698',['DSaber',['../SVFType_8h.html#a817abc424f7cfcdec5954c7807970f36',1,'SVFType.h']]],
+  ['dst_1699',['dst',['../classSVF_1_1GenericEdge.html#aa41cb7482bdab1ba328f4b94f30f3ee4',1,'SVF::GenericEdge']]],
+  ['dtbbsmap_1700',['dtBBsMap',['../classSVF_1_1SVFLoopAndDomInfo.html#a34296b98ee8dd1bfc0b1ae7fe327cde3',1,'SVF::SVFLoopAndDomInfo']]],
+  ['dtraits_1701',['DTraits',['../classSVF_1_1GraphWriter.html#a36f1ca2744fae2f45400e82f39e4fcd8',1,'SVF::GraphWriter']]],
+  ['dummyobjnode_1702',['DummyObjNode',['../classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffa1ab625ecaf51446246dcc2944d6559af',1,'SVF::SVFVar']]],
+  ['dummyobjvar_1703',['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_1704',['DummyValNode',['../classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffa8299ae0d09f1b19411cb07cd79a2bae8',1,'SVF::SVFVar']]],
+  ['dummyvalvar_1705',['DummyValVar',['../classSVF_1_1DummyValVar.html',1,'SVF::DummyValVar'],['../classSVF_1_1DummyValVar.html#a39fb5acde002694e91599a67ff3ae99a',1,'SVF::DummyValVar::DummyValVar()']]],
+  ['dummyversionpropsvfgnode_1706',['DummyVersionPropSVFGNode',['../classSVF_1_1DummyVersionPropSVFGNode.html',1,'SVF::DummyVersionPropSVFGNode'],['../classSVF_1_1DummyVersionPropSVFGNode.html#a8661f8c8e31101b5afc37ebe3bac5fe2',1,'SVF::DummyVersionPropSVFGNode::DummyVersionPropSVFGNode()']]],
+  ['dummyvprop_1707',['DummyVProp',['../classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75a6b262331878a44019af8a8539a5ddad2',1,'SVF::VFGNode']]],
+  ['dump_1708',['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_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_1709',['dumpAliasSet',['../namespaceSVF_1_1SVFUtil.html#a4a15cc5570eed12dd6ee766213e11d61',1,'SVF::SVFUtil']]],
+  ['dumpallpts_1710',['dumpAllPts',['../classSVF_1_1PointerAnalysis.html#a861554c2fdeaa406131c2c920b4c7908',1,'SVF::PointerAnalysis::dumpAllPts()'],['../classSVF_1_1BVDataPTAImpl.html#a7996a2c07b015e8557398ec10db1acef',1,'SVF::BVDataPTAImpl::dumpAllPts()']]],
+  ['dumpalltypes_1711',['dumpAllTypes',['../classSVF_1_1PointerAnalysis.html#a08399de593c073b6dd848a8d849dad27',1,'SVF::PointerAnalysis']]],
+  ['dumpcha_1712',['DumpCHA',['../classSVF_1_1Options.html#afcef86c88bb86198a3579aef82b5e270',1,'SVF::Options']]],
+  ['dumpchastats_1713',['dumpCHAStats',['../classSVF_1_1TypeAnalysis.html#a124fc67578745cde9e74bb36aced25a2',1,'SVF::TypeAnalysis']]],
+  ['dumpcond_1714',['dumpCond',['../classSVF_1_1ProgSlice.html#a03d4ae6a3df1adf7f1ee5eebf1028c9c',1,'SVF::ProgSlice::dumpCond()'],['../classSVF_1_1SaberCondAllocator.html#a100c1962eac6d7af420defc827a025ed',1,'SVF::SaberCondAllocator::dumpCond()']]],
+  ['dumpcontexts_1715',['dumpContexts',['../classSVF_1_1ContextDDA.html#ac3e622d810ee69917b7bef08a882117c',1,'SVF::ContextDDA']]],
+  ['dumpcpts_1716',['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_1717',['dumpCPtSet',['../classSVF_1_1DDAVFSolver.html#aa4dc73ea65f736282a413a9d286141e5',1,'SVF::DDAVFSolver']]],
+  ['dumpcxt_1718',['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_1719',['DumpICFG',['../classSVF_1_1Options.html#ae7ccfb3d1308e205e5014849dcc43d9a',1,'SVF::Options']]],
+  ['dumpinterlev_1720',['dumpInterlev',['../classSVF_1_1MTAResultValidator.html#a1af033b5742fa9cc1e4f9873184775b7',1,'SVF::MTAResultValidator::dumpInterlev(NodeBS &lev)'],['../classSVF_1_1MTAResultValidator.html#af88ed1c0aefc313eb50f7d6755c03be4',1,'SVF::MTAResultValidator::dumpInterlev(NodeBS &lev)']]],
+  ['dumpjson_1721',['DumpJson',['../classSVF_1_1Options.html#a3f5235cbdaab1bf53b9144d335c9c3d4',1,'SVF::Options']]],
+  ['dumpllvmvalue_1722',['dumpLLVMValue',['../namespaceSVF.html#ad4ba3f37eacc28014adca3f4bb06d83d',1,'SVF']]],
+  ['dumplocversionmaps_1723',['dumpLocVersionMaps',['../classSVF_1_1VersionedFlowSensitive.html#a032acdcd8b84523a7ac2f0e46d21c62f',1,'SVF::VersionedFlowSensitive']]],
+  ['dumpmeldversion_1724',['dumpMeldVersion',['../classSVF_1_1VersionedFlowSensitive.html#a7565989371100f84ae5f9e2efa655fcb',1,'SVF::VersionedFlowSensitive']]],
+  ['dumpmodulestofile_1725',['dumpModulesToFile',['../classSVF_1_1LLVMModuleSet.html#af37b9976b282c875cac7bb1777da635c',1,'SVF::LLVMModuleSet']]],
+  ['dumpmssa_1726',['dumpMSSA',['../classSVF_1_1MemSSA.html#a749df6d6b28dd1bae569989bffeb7746',1,'SVF::MemSSA::dumpMSSA()'],['../classSVF_1_1Options.html#a0bb4bfd677e2e45cc8c24bfc190edfaa',1,'SVF::Options::DumpMSSA()']]],
+  ['dumppointstolist_1727',['dumpPointsToList',['../namespaceSVF_1_1SVFUtil.html#af4ceddbe4d57b24e80201bc895f73810',1,'SVF::SVFUtil']]],
+  ['dumppointstoset_1728',['dumpPointsToSet',['../namespaceSVF_1_1SVFUtil.html#abd0a9ee845a455f9354d24a8b84a0bb3',1,'SVF::SVFUtil']]],
+  ['dumpptdata_1729',['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_1730',['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_1731',['dumpReliances',['../classSVF_1_1VersionedFlowSensitive.html#a9d5990a41e90558595d0ad0defceb4e8',1,'SVF::VersionedFlowSensitive']]],
+  ['dumpset_1732',['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_1733',['DumpSlice',['../classSVF_1_1Options.html#ab9443e23bdcb60f118a7aab835f974db',1,'SVF::Options']]],
+  ['dumpslices_1734',['dumpSlices',['../classSVF_1_1SrcSnkDDA.html#acae985068ff1c20fb81c4c9ba730aaba',1,'SVF::SrcSnkDDA']]],
+  ['dumpsparseset_1735',['dumpSparseSet',['../namespaceSVF_1_1SVFUtil.html#ab30a35713852a0a525c52ae5dd463442',1,'SVF::SVFUtil']]],
+  ['dumpstat_1736',['dumpStat',['../classSVF_1_1PointerAnalysis.html#ab83b827ea42d3a61aad20b1a1485d866',1,'SVF::PointerAnalysis']]],
+  ['dumpstr_1737',['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_1738',['dumpToJsonFile',['../classSVF_1_1SVFBugReport.html#aa119593331403f73867fddcb6ec26989',1,'SVF::SVFBugReport']]],
+  ['dumptoplevelptsto_1739',['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_1740',['dumpType',['../namespaceSVF_1_1LLVMUtil.html#a6e8682537cf5bed808df439bd7e1add9',1,'SVF::LLVMUtil']]],
+  ['dumpvalue_1741',['dumpValue',['../namespaceSVF_1_1LLVMUtil.html#afa2f8c8ab19c75547c26ede53b9f6159',1,'SVF::LLVMUtil']]],
+  ['dumpvalueanddbginfo_1742',['dumpValueAndDbgInfo',['../namespaceSVF_1_1LLVMUtil.html#a86c0a0cb4ada72bd4f42c77558e6a350',1,'SVF::LLVMUtil']]],
+  ['dumpvfg_1743',['DumpVFG',['../classSVF_1_1Options.html#ae3ad3003a8d3df2f1e3463248bb5ad51',1,'SVF::Options']]],
+  ['dval_1744',['dval',['../classSVF_1_1SVFConstantFP.html#aa1d551ad74dd5ce3eb4b7d639aec31a9',1,'SVF::SVFConstantFP']]],
+  ['dwpa_1745',['DWPA',['../SVFType_8h.html#a45d9233db3cad59f4f72b7c573bae180',1,'SVFType.h']]],
+  ['dyn_5fcast_1746',['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_1747',['dyncast',['../CppUtil_8cpp.html#a7972d88aaaa4644ee22e5b95ac465a80',1,'CppUtil.cpp']]]
 ];