svf-tools 1.0.782 → 1.0.783

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

@@ -1,78 +1,78 @@
 var searchData=
 [
-  ['dcgettext_8025',['dcgettext',['../extapi_8c.html#ae47e2e0ff32239d263bc2d182b3cabca',1,'extapi.c']]],
-  ['dchedge_8026',['DCHEdge',['../classSVF_1_1DCHEdge.html#a17e3db6d11e0752064194ffc46cd9afe',1,'SVF::DCHEdge']]],
-  ['dchgraph_8027',['DCHGraph',['../classSVF_1_1DCHGraph.html#a7cbea4d5399333497faa3f8d213e365e',1,'SVF::DCHGraph']]],
-  ['dchnode_8028',['DCHNode',['../classSVF_1_1DCHNode.html#a3e81cc40aa1c37999cead00f1af85a6e',1,'SVF::DCHNode']]],
-  ['ddaclient_8029',['DDAClient',['../classSVF_1_1DDAClient.html#a1070c1a68fa7da7bdb23240957048ee9',1,'SVF::DDAClient']]],
-  ['ddapass_8030',['DDAPass',['../classSVF_1_1DDAPass.html#a4f68cbbe00863024cba2ecf513ff979f',1,'SVF::DDAPass']]],
-  ['ddastat_8031',['DDAStat',['../classSVF_1_1DDAStat.html#aef8db234efc3a5ae58a6d43de97ca361',1,'SVF::DDAStat::DDAStat(FlowDDA *pta)'],['../classSVF_1_1DDAStat.html#ae7670e6458c62473b0be78004466b9d7',1,'SVF::DDAStat::DDAStat(ContextDDA *pta)']]],
-  ['ddavfsolver_8032',['DDAVFSolver',['../classSVF_1_1DDAVFSolver.html#a7ee96b513074c283d23434590ce15e7d',1,'SVF::DDAVFSolver']]],
-  ['defaultdotgraphtraits_8033',['DefaultDOTGraphTraits',['../structSVF_1_1DefaultDOTGraphTraits.html#a2fdfa8abc93bd4d0211c4db8ef4ede3e',1,'SVF::DefaultDOTGraphTraits']]],
-  ['delta_8034',['delta',['../classSVF_1_1VersionedFlowSensitive.html#a9f9b00551c157f42d1d995e8c4efb54b',1,'SVF::VersionedFlowSensitive']]],
-  ['deltasource_8035',['deltaSource',['../classSVF_1_1VersionedFlowSensitive.html#a3fa5afa4f54e0828ec090fde07b1bfa2',1,'SVF::VersionedFlowSensitive']]],
-  ['demangle_8036',['demangle',['../namespaceSVF_1_1cppUtil.html#a745a2addadc136075d45c7fb8437af3e',1,'SVF::cppUtil']]],
-  ['deref_5fval_8037',['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 > * >']]],
-  ['destory_8038',['destory',['../classSVF_1_1ExtAPI.html#abe3e0e2500532acfc01cee7e2ce1cd90',1,'SVF::ExtAPI']]],
-  ['destroy_8039',['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()']]],
-  ['detect_8040',['detect',['../classSVF_1_1MTA.html#a5adab2e3b400190ecc9fa2a158203cb3',1,'SVF::MTA']]],
-  ['detectsccs_8041',['detectSCCs',['../classSVF_1_1VersionedFlowSensitive_1_1SCC.html#ac2dd88315f54ae766e73e7680f526ed6',1,'SVF::VersionedFlowSensitive::SCC']]],
-  ['determinebestmapping_8042',['determineBestMapping',['../classSVF_1_1NodeIDAllocator_1_1Clusterer.html#a3f86e733cc075180e9682887c554b8fa',1,'SVF::NodeIDAllocator::Clusterer']]],
-  ['dfptdata_8043',['DFPTData',['../classSVF_1_1DFPTData.html#a40016a7e3dac46d9ba854d336c7aae83',1,'SVF::DFPTData']]],
-  ['dfsnodesbetweenpdomnodes_8044',['dfsNodesBetweenPdomNodes',['../classSVF_1_1CDGBuilder.html#a6efa510f946ea8befebbc94bed241395',1,'SVF::CDGBuilder']]],
-  ['dgettext_8045',['dgettext',['../extapi_8c.html#ae9c3a42a44267df221d0c4fe5b2ea439',1,'extapi.c']]],
-  ['diffptdata_8046',['DiffPTData',['../classSVF_1_1DiffPTData.html#ac7e9661cfb4d5af3ef35d323ddc35558',1,'SVF::DiffPTData']]],
-  ['direct_5fchild_5fbegin_8047',['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_8048',['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 > * >']]],
-  ['directcallsbegin_8049',['directCallsBegin',['../classSVF_1_1PTACallGraphEdge.html#a750e50a9022451e406c4819979edffa5',1,'SVF::PTACallGraphEdge']]],
-  ['directcallsend_8050',['directCallsEnd',['../classSVF_1_1PTACallGraphEdge.html#acc4fcacefdc9be9a214dfcc455fe7970',1,'SVF::PTACallGraphEdge']]],
-  ['directinedgebegin_8051',['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'],['../classSVF_1_1ICFGNodeWrapper.html#abe0a1628c5d43a9200c98a9cb7115c16',1,'SVF::ICFGNodeWrapper::directInEdgeBegin()'],['../classSVF_1_1ICFGNodeWrapper.html#a512cf6f53a77c1d4e753f32fc5d2af9a',1,'SVF::ICFGNodeWrapper::directInEdgeBegin() const']]],
-  ['directinedgeend_8052',['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'],['../classSVF_1_1ICFGNodeWrapper.html#a71935b6b78a7fbff2f78ae03f1e07470',1,'SVF::ICFGNodeWrapper::directInEdgeEnd()'],['../classSVF_1_1ICFGNodeWrapper.html#ad5301ed2a5bc07c393fc517dd52fb691',1,'SVF::ICFGNodeWrapper::directInEdgeEnd() const']]],
-  ['directoutedgebegin_8053',['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'],['../classSVF_1_1ICFGNodeWrapper.html#a6aef1e624a62a05d2cfe57064f00067b',1,'SVF::ICFGNodeWrapper::directOutEdgeBegin()'],['../classSVF_1_1ICFGNodeWrapper.html#a704a13d866a1966f264e5fc6895ac1fd',1,'SVF::ICFGNodeWrapper::directOutEdgeBegin() const']]],
-  ['directoutedgeend_8054',['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'],['../classSVF_1_1ICFGNodeWrapper.html#ad1ae40b6d40395a7bd702b90772694b5',1,'SVF::ICFGNodeWrapper::directOutEdgeEnd()'],['../classSVF_1_1ICFGNodeWrapper.html#a579c93dbbd5094e976de7095655dd852',1,'SVF::ICFGNodeWrapper::directOutEdgeEnd() const']]],
-  ['directsvfgedge_8055',['DirectSVFGEdge',['../classSVF_1_1DirectSVFGEdge.html#a739ffa262f30d6473f56a610fd64fe95',1,'SVF::DirectSVFGEdge']]],
-  ['dirvfedgeend_8056',['dirVFEdgeEnd',['../classSVF_1_1SVFGStat.html#abef8f1d89413ed3c6e67dcd2b81729d8',1,'SVF::SVFGStat']]],
-  ['dirvfedgestart_8057',['dirVFEdgeStart',['../classSVF_1_1SVFGStat.html#a169d75c0fd09f69d86939d84db67e590',1,'SVF::SVFGStat']]],
-  ['disableprintstat_8058',['disablePrintStat',['../classSVF_1_1PointerAnalysis.html#af44b14fed89918847c0228c1100c56d2',1,'SVF::PointerAnalysis']]],
-  ['distinctmrg_8059',['DistinctMRG',['../classSVF_1_1DistinctMRG.html#ad7e4959327aa45932fd788bacca0de01',1,'SVF::DistinctMRG']]],
-  ['ditypetostr_8060',['diTypeToStr',['../classSVF_1_1DCHGraph.html#a2dc488345cc3a5f37079952f638d8c2b',1,'SVF::DCHGraph']]],
-  ['dngettext_8061',['dngettext',['../extapi_8c.html#a54ac933fa6a0e84898be26c04faacb92',1,'extapi.c']]],
-  ['doit_8062',['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()']]],
-  ['dominate_8063',['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()']]],
-  ['dotgraphtraits_8064',['DOTGraphTraits',['../structSVF_1_1DOTGraphTraits_3_01SVF_1_1CDG_01_5_01_4.html#a642a365cfbcfd84e6df4b76afd08cc4a',1,'SVF::DOTGraphTraits< SVF::CDG * >::DOTGraphTraits()'],['../structSVF_1_1DOTGraphTraits_3_01SVF_1_1CFBasicBlockGraph_01_5_01_4.html#a8b20aa3687b959574334d55646db4418',1,'SVF::DOTGraphTraits< SVF::CFBasicBlockGraph * >::DOTGraphTraits()'],['../structSVF_1_1DOTGraphTraits.html#a359df069e6c41d32e8b7ed5a23817e99',1,'SVF::DOTGraphTraits::DOTGraphTraits()'],['../structSVF_1_1DOTGraphTraits_3_01SVF_1_1ICFGWrapper_01_5_01_4.html#af5f92a908f90027cb31f4f7d00987ea5',1,'SVF::DOTGraphTraits< SVF::ICFGWrapper * >::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()']]],
-  ['doublefreebug_8065',['DoubleFreeBug',['../classSVF_1_1DoubleFreeBug.html#aea90778c71659c87a6139d19b896bdb8',1,'SVF::DoubleFreeBug']]],
-  ['doublefreechecker_8066',['DoubleFreeChecker',['../classSVF_1_1DoubleFreeChecker.html#ac9d147b16442bb4746f66cffe46a070a',1,'SVF::DoubleFreeChecker']]],
-  ['dpitem_8067',['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']]],
-  ['dummyobjvar_8068',['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)']]],
-  ['dummyvalvar_8069',['DummyValVar',['../classSVF_1_1DummyValVar.html#a39fb5acde002694e91599a67ff3ae99a',1,'SVF::DummyValVar']]],
-  ['dummyversionpropsvfgnode_8070',['DummyVersionPropSVFGNode',['../classSVF_1_1DummyVersionPropSVFGNode.html#a8661f8c8e31101b5afc37ebe3bac5fe2',1,'SVF::DummyVersionPropSVFGNode']]],
-  ['dump_8071',['dump',['../classSVF_1_1DCHGraph.html#a587baf86ecc2fdbecfcf85310673e9f4',1,'SVF::DCHGraph::dump()'],['../classSVF_1_1IntervalValue.html#ac4896347f704db07695f4b8dfc42aad7',1,'SVF::IntervalValue::dump()'],['../classSVF_1_1CFGrammar.html#a032e6a1ccff5444f0c849309ac2ad23f',1,'SVF::CFGrammar::dump() const'],['../classSVF_1_1CFGrammar.html#ab417de2cfd096477e288742b2967cded',1,'SVF::CFGrammar::dump(std::string fileName) const'],['../classSVF_1_1CDG.html#a8c83310df697174ac18d7392c241dc15',1,'SVF::CDG::dump()'],['../classSVF_1_1CFBasicBlockGraph.html#a41494b39a562ee1788f91bc39776604f',1,'SVF::CFBasicBlockGraph::dump()'],['../classSVF_1_1CFLGraph.html#ab32869931e46babcfaa6791efe2ba91e',1,'SVF::CFLGraph::dump()'],['../classSVF_1_1CHGraph.html#a29351163649618332394fc72cc35212f',1,'SVF::CHGraph::dump()'],['../classSVF_1_1ConstraintGraph.html#af9fc8308845628fe8900528573e30462',1,'SVF::ConstraintGraph::dump()'],['../classSVF_1_1ICFG.html#a999956500bbd605326531480546db9ba',1,'SVF::ICFG::dump()'],['../classSVF_1_1ICFGNode.html#a3c193da05d6dee7313a141ae3ab43e97',1,'SVF::ICFGNode::dump()'],['../classSVF_1_1ICFGWrapper.html#a160d84b3af17cbeadcffc45b68bf82e9',1,'SVF::ICFGWrapper::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_8072',['dumpAliasSet',['../namespaceSVF_1_1SVFUtil.html#a4a15cc5570eed12dd6ee766213e11d61',1,'SVF::SVFUtil']]],
-  ['dumpallpts_8073',['dumpAllPts',['../classSVF_1_1PointerAnalysis.html#a861554c2fdeaa406131c2c920b4c7908',1,'SVF::PointerAnalysis::dumpAllPts()'],['../classSVF_1_1BVDataPTAImpl.html#a7996a2c07b015e8557398ec10db1acef',1,'SVF::BVDataPTAImpl::dumpAllPts()']]],
-  ['dumpalltypes_8074',['dumpAllTypes',['../classSVF_1_1PointerAnalysis.html#a08399de593c073b6dd848a8d849dad27',1,'SVF::PointerAnalysis']]],
-  ['dumpchastats_8075',['dumpCHAStats',['../classSVF_1_1TypeAnalysis.html#a124fc67578745cde9e74bb36aced25a2',1,'SVF::TypeAnalysis']]],
-  ['dumpcond_8076',['dumpCond',['../classSVF_1_1ProgSlice.html#a03d4ae6a3df1adf7f1ee5eebf1028c9c',1,'SVF::ProgSlice::dumpCond()'],['../classSVF_1_1SaberCondAllocator.html#a100c1962eac6d7af420defc827a025ed',1,'SVF::SaberCondAllocator::dumpCond()']]],
-  ['dumpcontexts_8077',['dumpContexts',['../classSVF_1_1ContextDDA.html#ac3e622d810ee69917b7bef08a882117c',1,'SVF::ContextDDA']]],
-  ['dumpcpts_8078',['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_8079',['dumpCPtSet',['../classSVF_1_1DDAVFSolver.html#aa4dc73ea65f736282a413a9d286141e5',1,'SVF::DDAVFSolver']]],
-  ['dumpcxt_8080',['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()']]],
-  ['dumpinterlev_8081',['dumpInterlev',['../classSVF_1_1MTAResultValidator.html#a1af033b5742fa9cc1e4f9873184775b7',1,'SVF::MTAResultValidator::dumpInterlev(NodeBS &lev)'],['../classSVF_1_1MTAResultValidator.html#af88ed1c0aefc313eb50f7d6755c03be4',1,'SVF::MTAResultValidator::dumpInterlev(NodeBS &lev)']]],
-  ['dumpllvmvalue_8082',['dumpLLVMValue',['../namespaceSVF.html#ad4ba3f37eacc28014adca3f4bb06d83d',1,'SVF']]],
-  ['dumplocversionmaps_8083',['dumpLocVersionMaps',['../classSVF_1_1VersionedFlowSensitive.html#a032acdcd8b84523a7ac2f0e46d21c62f',1,'SVF::VersionedFlowSensitive']]],
-  ['dumpmeldversion_8084',['dumpMeldVersion',['../classSVF_1_1VersionedFlowSensitive.html#a7565989371100f84ae5f9e2efa655fcb',1,'SVF::VersionedFlowSensitive']]],
-  ['dumpmodulestofile_8085',['dumpModulesToFile',['../classSVF_1_1LLVMModuleSet.html#af37b9976b282c875cac7bb1777da635c',1,'SVF::LLVMModuleSet']]],
-  ['dumpmssa_8086',['dumpMSSA',['../classSVF_1_1MemSSA.html#a749df6d6b28dd1bae569989bffeb7746',1,'SVF::MemSSA']]],
-  ['dumppointstolist_8087',['dumpPointsToList',['../namespaceSVF_1_1SVFUtil.html#af4ceddbe4d57b24e80201bc895f73810',1,'SVF::SVFUtil']]],
-  ['dumppointstoset_8088',['dumpPointsToSet',['../namespaceSVF_1_1SVFUtil.html#abd0a9ee845a455f9354d24a8b84a0bb3',1,'SVF::SVFUtil']]],
-  ['dumpptdata_8089',['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_8090',['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_8091',['dumpReliances',['../classSVF_1_1VersionedFlowSensitive.html#a9d5990a41e90558595d0ad0defceb4e8',1,'SVF::VersionedFlowSensitive']]],
-  ['dumpset_8092',['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())']]],
-  ['dumpslices_8093',['dumpSlices',['../classSVF_1_1SrcSnkDDA.html#acae985068ff1c20fb81c4c9ba730aaba',1,'SVF::SrcSnkDDA']]],
-  ['dumpsparseset_8094',['dumpSparseSet',['../namespaceSVF_1_1SVFUtil.html#ab30a35713852a0a525c52ae5dd463442',1,'SVF::SVFUtil']]],
-  ['dumpstat_8095',['dumpStat',['../classSVF_1_1PointerAnalysis.html#ab83b827ea42d3a61aad20b1a1485d866',1,'SVF::PointerAnalysis']]],
-  ['dumpstr_8096',['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_8097',['dumpToJsonFile',['../classSVF_1_1SVFBugReport.html#aa119593331403f73867fddcb6ec26989',1,'SVF::SVFBugReport']]],
-  ['dumptoplevelptsto_8098',['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()']]],
-  ['dyn_5fcast_8099',['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)']]]
+  ['dcgettext_7962',['dcgettext',['../extapi_8c.html#ae47e2e0ff32239d263bc2d182b3cabca',1,'extapi.c']]],
+  ['dchedge_7963',['DCHEdge',['../classSVF_1_1DCHEdge.html#a17e3db6d11e0752064194ffc46cd9afe',1,'SVF::DCHEdge']]],
+  ['dchgraph_7964',['DCHGraph',['../classSVF_1_1DCHGraph.html#a7cbea4d5399333497faa3f8d213e365e',1,'SVF::DCHGraph']]],
+  ['dchnode_7965',['DCHNode',['../classSVF_1_1DCHNode.html#a3e81cc40aa1c37999cead00f1af85a6e',1,'SVF::DCHNode']]],
+  ['ddaclient_7966',['DDAClient',['../classSVF_1_1DDAClient.html#a1070c1a68fa7da7bdb23240957048ee9',1,'SVF::DDAClient']]],
+  ['ddapass_7967',['DDAPass',['../classSVF_1_1DDAPass.html#a4f68cbbe00863024cba2ecf513ff979f',1,'SVF::DDAPass']]],
+  ['ddastat_7968',['DDAStat',['../classSVF_1_1DDAStat.html#aef8db234efc3a5ae58a6d43de97ca361',1,'SVF::DDAStat::DDAStat(FlowDDA *pta)'],['../classSVF_1_1DDAStat.html#ae7670e6458c62473b0be78004466b9d7',1,'SVF::DDAStat::DDAStat(ContextDDA *pta)']]],
+  ['ddavfsolver_7969',['DDAVFSolver',['../classSVF_1_1DDAVFSolver.html#a7ee96b513074c283d23434590ce15e7d',1,'SVF::DDAVFSolver']]],
+  ['defaultdotgraphtraits_7970',['DefaultDOTGraphTraits',['../structSVF_1_1DefaultDOTGraphTraits.html#a2fdfa8abc93bd4d0211c4db8ef4ede3e',1,'SVF::DefaultDOTGraphTraits']]],
+  ['delta_7971',['delta',['../classSVF_1_1VersionedFlowSensitive.html#a9f9b00551c157f42d1d995e8c4efb54b',1,'SVF::VersionedFlowSensitive']]],
+  ['deltasource_7972',['deltaSource',['../classSVF_1_1VersionedFlowSensitive.html#a3fa5afa4f54e0828ec090fde07b1bfa2',1,'SVF::VersionedFlowSensitive']]],
+  ['demangle_7973',['demangle',['../namespaceSVF_1_1cppUtil.html#a745a2addadc136075d45c7fb8437af3e',1,'SVF::cppUtil']]],
+  ['deref_5fval_7974',['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 > * >']]],
+  ['destory_7975',['destory',['../classSVF_1_1ExtAPI.html#abe3e0e2500532acfc01cee7e2ce1cd90',1,'SVF::ExtAPI']]],
+  ['destroy_7976',['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()']]],
+  ['detect_7977',['detect',['../classSVF_1_1MTA.html#a5adab2e3b400190ecc9fa2a158203cb3',1,'SVF::MTA']]],
+  ['detectsccs_7978',['detectSCCs',['../classSVF_1_1VersionedFlowSensitive_1_1SCC.html#ac2dd88315f54ae766e73e7680f526ed6',1,'SVF::VersionedFlowSensitive::SCC']]],
+  ['determinebestmapping_7979',['determineBestMapping',['../classSVF_1_1NodeIDAllocator_1_1Clusterer.html#a3f86e733cc075180e9682887c554b8fa',1,'SVF::NodeIDAllocator::Clusterer']]],
+  ['dfptdata_7980',['DFPTData',['../classSVF_1_1DFPTData.html#a40016a7e3dac46d9ba854d336c7aae83',1,'SVF::DFPTData']]],
+  ['dfsnodesbetweenpdomnodes_7981',['dfsNodesBetweenPdomNodes',['../classSVF_1_1CDGBuilder.html#a6efa510f946ea8befebbc94bed241395',1,'SVF::CDGBuilder']]],
+  ['dgettext_7982',['dgettext',['../extapi_8c.html#ae9c3a42a44267df221d0c4fe5b2ea439',1,'extapi.c']]],
+  ['diffptdata_7983',['DiffPTData',['../classSVF_1_1DiffPTData.html#ac7e9661cfb4d5af3ef35d323ddc35558',1,'SVF::DiffPTData']]],
+  ['direct_5fchild_5fbegin_7984',['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_7985',['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 > * >']]],
+  ['directcallsbegin_7986',['directCallsBegin',['../classSVF_1_1PTACallGraphEdge.html#a750e50a9022451e406c4819979edffa5',1,'SVF::PTACallGraphEdge']]],
+  ['directcallsend_7987',['directCallsEnd',['../classSVF_1_1PTACallGraphEdge.html#acc4fcacefdc9be9a214dfcc455fe7970',1,'SVF::PTACallGraphEdge']]],
+  ['directinedgebegin_7988',['directInEdgeBegin',['../classSVF_1_1CFBasicBlockNode.html#accc815b1ebcf66eb596d17a2e7e75403',1,'SVF::CFBasicBlockNode::directInEdgeBegin()'],['../classSVF_1_1CFBasicBlockNode.html#a63bfa2866dac843cf8a177055676ffff',1,'SVF::CFBasicBlockNode::directInEdgeBegin() const'],['../classSVF_1_1ConstraintNode.html#a66c58fc9e29b9e2c88cb7e3216415c9f',1,'SVF::ConstraintNode::directInEdgeBegin()'],['../classSVF_1_1ConstraintNode.html#afdb510d663364d21762af0f1f292e50e',1,'SVF::ConstraintNode::directInEdgeBegin() const'],['../classSVF_1_1GenericNode.html#a4ab1f2e5db301e4a37215905a22e6476',1,'SVF::GenericNode::directInEdgeBegin()'],['../classSVF_1_1GenericNode.html#ab331402aed245c33bad841df2bc21f7b',1,'SVF::GenericNode::directInEdgeBegin() const']]],
+  ['directinedgeend_7989',['directInEdgeEnd',['../classSVF_1_1CFBasicBlockNode.html#a29971b81bdf81bb079718ac15b387ead',1,'SVF::CFBasicBlockNode::directInEdgeEnd()'],['../classSVF_1_1CFBasicBlockNode.html#a9c989d41ad6b2a92422b1cce15121ec2',1,'SVF::CFBasicBlockNode::directInEdgeEnd() const'],['../classSVF_1_1ConstraintNode.html#aed4e0b2ede72717491747158c2e2702f',1,'SVF::ConstraintNode::directInEdgeEnd()'],['../classSVF_1_1ConstraintNode.html#a9101c445c228d059c8a85b8973428047',1,'SVF::ConstraintNode::directInEdgeEnd() const'],['../classSVF_1_1GenericNode.html#a19599627ba095b5452373284deab7f6c',1,'SVF::GenericNode::directInEdgeEnd()'],['../classSVF_1_1GenericNode.html#aa7be9ff204bf85bc3bf2fa4e078fcab2',1,'SVF::GenericNode::directInEdgeEnd() const']]],
+  ['directoutedgebegin_7990',['directOutEdgeBegin',['../classSVF_1_1CFBasicBlockNode.html#abea5a96ff067636ae8d3766329695055',1,'SVF::CFBasicBlockNode::directOutEdgeBegin()'],['../classSVF_1_1CFBasicBlockNode.html#ace9c6976879aaa8c1609a3773de6eec7',1,'SVF::CFBasicBlockNode::directOutEdgeBegin() const'],['../classSVF_1_1ConstraintNode.html#a5be4bd33793fe159397c16a80a05b570',1,'SVF::ConstraintNode::directOutEdgeBegin()'],['../classSVF_1_1ConstraintNode.html#ae0a836aae35a53051209e47a6de4a0f7',1,'SVF::ConstraintNode::directOutEdgeBegin() const'],['../classSVF_1_1GenericNode.html#aa0e258d3a92dae367f2809a6f16c80db',1,'SVF::GenericNode::directOutEdgeBegin()'],['../classSVF_1_1GenericNode.html#acfae7a2809931cbd62b6f47c4813510d',1,'SVF::GenericNode::directOutEdgeBegin() const']]],
+  ['directoutedgeend_7991',['directOutEdgeEnd',['../classSVF_1_1CFBasicBlockNode.html#a77bac962599c92286edee26a1d430624',1,'SVF::CFBasicBlockNode::directOutEdgeEnd()'],['../classSVF_1_1CFBasicBlockNode.html#aeb06f080cd085dbae0d23315311ff952',1,'SVF::CFBasicBlockNode::directOutEdgeEnd() const'],['../classSVF_1_1ConstraintNode.html#ae3465d3c949ec59e243b30ad0ecd256d',1,'SVF::ConstraintNode::directOutEdgeEnd()'],['../classSVF_1_1ConstraintNode.html#a2069add351804447659d39bf53d9bf41',1,'SVF::ConstraintNode::directOutEdgeEnd() const'],['../classSVF_1_1GenericNode.html#a5950d69d4ba6c2122dd06b93911e4992',1,'SVF::GenericNode::directOutEdgeEnd()'],['../classSVF_1_1GenericNode.html#a7f914b128f7839483efc9ad56834e7c2',1,'SVF::GenericNode::directOutEdgeEnd() const']]],
+  ['directsvfgedge_7992',['DirectSVFGEdge',['../classSVF_1_1DirectSVFGEdge.html#a739ffa262f30d6473f56a610fd64fe95',1,'SVF::DirectSVFGEdge']]],
+  ['dirvfedgeend_7993',['dirVFEdgeEnd',['../classSVF_1_1SVFGStat.html#abef8f1d89413ed3c6e67dcd2b81729d8',1,'SVF::SVFGStat']]],
+  ['dirvfedgestart_7994',['dirVFEdgeStart',['../classSVF_1_1SVFGStat.html#a169d75c0fd09f69d86939d84db67e590',1,'SVF::SVFGStat']]],
+  ['disableprintstat_7995',['disablePrintStat',['../classSVF_1_1PointerAnalysis.html#af44b14fed89918847c0228c1100c56d2',1,'SVF::PointerAnalysis']]],
+  ['distinctmrg_7996',['DistinctMRG',['../classSVF_1_1DistinctMRG.html#ad7e4959327aa45932fd788bacca0de01',1,'SVF::DistinctMRG']]],
+  ['ditypetostr_7997',['diTypeToStr',['../classSVF_1_1DCHGraph.html#a2dc488345cc3a5f37079952f638d8c2b',1,'SVF::DCHGraph']]],
+  ['dngettext_7998',['dngettext',['../extapi_8c.html#a54ac933fa6a0e84898be26c04faacb92',1,'extapi.c']]],
+  ['doit_7999',['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()']]],
+  ['dominate_8000',['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()']]],
+  ['dotgraphtraits_8001',['DOTGraphTraits',['../structSVF_1_1DOTGraphTraits_3_01SVF_1_1CDG_01_5_01_4.html#a642a365cfbcfd84e6df4b76afd08cc4a',1,'SVF::DOTGraphTraits< SVF::CDG * >::DOTGraphTraits()'],['../structSVF_1_1DOTGraphTraits_3_01SVF_1_1CFBasicBlockGraph_01_5_01_4.html#a8b20aa3687b959574334d55646db4418',1,'SVF::DOTGraphTraits< SVF::CFBasicBlockGraph * >::DOTGraphTraits()'],['../structSVF_1_1DOTGraphTraits.html#a359df069e6c41d32e8b7ed5a23817e99',1,'SVF::DOTGraphTraits::DOTGraphTraits()'],['../structSVF_1_1DOTGraphTraits_3_01CFLGraph_01_5_01_4.html#a85e149bc2cb9c6de4ad5b106138f5cd9',1,'SVF::DOTGraphTraits< CFLGraph * >::DOTGraphTraits()'],['../structSVF_1_1DOTGraphTraits_3_01CHGraph_01_5_01_4.html#a1766ccfed581eae6505f66d38ba6a047',1,'SVF::DOTGraphTraits< CHGraph * >::DOTGraphTraits()'],['../structSVF_1_1DOTGraphTraits_3_01ConstraintGraph_01_5_01_4.html#ad816997d240e758f7a2f1f6508048ef3',1,'SVF::DOTGraphTraits< ConstraintGraph * >::DOTGraphTraits()'],['../structSVF_1_1DOTGraphTraits_3_01ICFG_01_5_01_4.html#af0d447adf06f88bad4b25ba8fd14efd5',1,'SVF::DOTGraphTraits< ICFG * >::DOTGraphTraits()'],['../structSVF_1_1DOTGraphTraits_3_01IRGraph_01_5_01_4.html#a176af80970e864d657ee3dd8dbd67a35',1,'SVF::DOTGraphTraits< IRGraph * >::DOTGraphTraits()'],['../structSVF_1_1DOTGraphTraits_3_01PTACallGraph_01_5_01_4.html#a6ee6203a72086167e4277a43f0a3f6fd',1,'SVF::DOTGraphTraits< PTACallGraph * >::DOTGraphTraits()'],['../structSVF_1_1DOTGraphTraits_3_01SVFG_01_5_01_4.html#ad3c3175e8f9729650cf55c72de96ff8e',1,'SVF::DOTGraphTraits< SVFG * >::DOTGraphTraits()'],['../structSVF_1_1DOTGraphTraits_3_01VFG_01_5_01_4.html#a682f25ccfcb9ff37d6323ce8bce7ca64',1,'SVF::DOTGraphTraits< VFG * >::DOTGraphTraits()'],['../structSVF_1_1DOTGraphTraits_3_01TCT_01_5_01_4.html#adafb93ca8d752a5405c5ec39bcb76e18',1,'SVF::DOTGraphTraits< TCT * >::DOTGraphTraits()']]],
+  ['doublefreebug_8002',['DoubleFreeBug',['../classSVF_1_1DoubleFreeBug.html#aea90778c71659c87a6139d19b896bdb8',1,'SVF::DoubleFreeBug']]],
+  ['doublefreechecker_8003',['DoubleFreeChecker',['../classSVF_1_1DoubleFreeChecker.html#ac9d147b16442bb4746f66cffe46a070a',1,'SVF::DoubleFreeChecker']]],
+  ['dpitem_8004',['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']]],
+  ['dummyobjvar_8005',['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)']]],
+  ['dummyvalvar_8006',['DummyValVar',['../classSVF_1_1DummyValVar.html#a39fb5acde002694e91599a67ff3ae99a',1,'SVF::DummyValVar']]],
+  ['dummyversionpropsvfgnode_8007',['DummyVersionPropSVFGNode',['../classSVF_1_1DummyVersionPropSVFGNode.html#a8661f8c8e31101b5afc37ebe3bac5fe2',1,'SVF::DummyVersionPropSVFGNode']]],
+  ['dump_8008',['dump',['../classSVF_1_1DCHGraph.html#a587baf86ecc2fdbecfcf85310673e9f4',1,'SVF::DCHGraph::dump()'],['../classSVF_1_1IntervalValue.html#ac4896347f704db07695f4b8dfc42aad7',1,'SVF::IntervalValue::dump()'],['../classSVF_1_1CFGrammar.html#a032e6a1ccff5444f0c849309ac2ad23f',1,'SVF::CFGrammar::dump() const'],['../classSVF_1_1CFGrammar.html#ab417de2cfd096477e288742b2967cded',1,'SVF::CFGrammar::dump(std::string fileName) const'],['../classSVF_1_1CDG.html#a8c83310df697174ac18d7392c241dc15',1,'SVF::CDG::dump()'],['../classSVF_1_1CFBasicBlockGraph.html#a41494b39a562ee1788f91bc39776604f',1,'SVF::CFBasicBlockGraph::dump()'],['../classSVF_1_1CFLGraph.html#ab32869931e46babcfaa6791efe2ba91e',1,'SVF::CFLGraph::dump()'],['../classSVF_1_1CHGraph.html#a29351163649618332394fc72cc35212f',1,'SVF::CHGraph::dump()'],['../classSVF_1_1ConstraintGraph.html#af9fc8308845628fe8900528573e30462',1,'SVF::ConstraintGraph::dump()'],['../classSVF_1_1ICFG.html#a999956500bbd605326531480546db9ba',1,'SVF::ICFG::dump()'],['../classSVF_1_1ICFGNode.html#a3c193da05d6dee7313a141ae3ab43e97',1,'SVF::ICFGNode::dump()'],['../classSVF_1_1IRGraph.html#a1cb32461439c4dc8d044c2bfadb11307',1,'SVF::IRGraph::dump()'],['../classSVF_1_1PTACallGraph.html#a841be22581a7896d8924564e7199f62b',1,'SVF::PTACallGraph::dump()'],['../classSVF_1_1SVFG.html#a5fdaddc52e7342b834d76d64c1a1e498',1,'SVF::SVFG::dump()'],['../classSVF_1_1VFG.html#aee3d0c4ed32bde425f33281f248b7dd2',1,'SVF::VFG::dump()'],['../classSVF_1_1AccessPath.html#a4519477605a58d5821d05951a88abcd0',1,'SVF::AccessPath::dump()'],['../classSVF_1_1CondPointsToSet.html#a52392deae4011c4353a259c873efc0d6',1,'SVF::CondPointsToSet::dump()'],['../classSVF_1_1MSSAMU.html#a489e8c27e40b709d94a462653fb760f5',1,'SVF::MSSAMU::dump()'],['../classSVF_1_1LoadMU.html#aaaa51723d657719b82a2ce85c1628329',1,'SVF::LoadMU::dump()'],['../classSVF_1_1CallMU.html#af08ecc9c2b75737e88690fb2319fcf57',1,'SVF::CallMU::dump()'],['../classSVF_1_1RetMU.html#ae452b798bf9c6a9d913e63a75c4cd3c0',1,'SVF::RetMU::dump()'],['../classSVF_1_1MSSADEF.html#aa7e06959d5b3197d930aa44b09694b52',1,'SVF::MSSADEF::dump()'],['../classSVF_1_1MSSACHI.html#a63355fc98b9c1cc3db5e664e387693ca',1,'SVF::MSSACHI::dump()'],['../classSVF_1_1StoreCHI.html#af889bd9b729182e20ca7598ad4167bb8',1,'SVF::StoreCHI::dump()'],['../classSVF_1_1CallCHI.html#ac6a1f2f1c897c647d9b070cb56c61a41',1,'SVF::CallCHI::dump()'],['../classSVF_1_1EntryCHI.html#a819f66c0471fe06c739acf18c4a4161d',1,'SVF::EntryCHI::dump()'],['../classSVF_1_1MSSAPHI.html#a15c687ef4286532a5856270bf6f9e11a',1,'SVF::MSSAPHI::dump()'],['../classSVF_1_1TCTNode.html#a47964661d78a61eb1389acc48701abf8',1,'SVF::TCTNode::dump()'],['../classSVF_1_1TCT.html#a716c97a80c483c571ca7a03b9acce3e8',1,'SVF::TCT::dump()'],['../classSVF_1_1SVFVar.html#aa34b2230655db9c4195e44e1c437bbc6',1,'SVF::SVFVar::dump()'],['../classSVF_1_1SymbolTableInfo.html#a9f4cf6914b400b9f69c7852f13c496a9',1,'SVF::SymbolTableInfo::dump()'],['../classSVF_1_1CxtStmt.html#a56e2767c327a383db09dca96edb19614',1,'SVF::CxtStmt::dump()'],['../classSVF_1_1CxtThreadStmt.html#a735d71af28b26d9576f679e53141e303',1,'SVF::CxtThreadStmt::dump()'],['../classSVF_1_1CxtThread.html#a66709acfa2f5762d86574c9cf7f38a64',1,'SVF::CxtThread::dump()'],['../classSVF_1_1CxtProc.html#a254c612f06a3f82b57b1c5a0e52c012f',1,'SVF::CxtProc::dump()'],['../classSVF_1_1CxtThreadProc.html#aed801cfecdbfcd690db2d78de5f8e0b5',1,'SVF::CxtThreadProc::dump()'],['../classSVF_1_1DPItem.html#a6048fa772b5023710c34687c4f047d44',1,'SVF::DPItem::dump()'],['../classSVF_1_1StmtDPItem.html#a6cc1361dd5777cb4b93fb93c3899cfc7',1,'SVF::StmtDPItem::dump()'],['../classSVF_1_1CxtStmtDPItem.html#abc67c264dd262d25899e04f8d68e8a31',1,'SVF::CxtStmtDPItem::dump()'],['../namespaceSVF.html#aae350f79ebcb9efd22ec9efa6678cd13',1,'SVF::dump()']]],
+  ['dumpaliasset_8009',['dumpAliasSet',['../namespaceSVF_1_1SVFUtil.html#a4a15cc5570eed12dd6ee766213e11d61',1,'SVF::SVFUtil']]],
+  ['dumpallpts_8010',['dumpAllPts',['../classSVF_1_1PointerAnalysis.html#a861554c2fdeaa406131c2c920b4c7908',1,'SVF::PointerAnalysis::dumpAllPts()'],['../classSVF_1_1BVDataPTAImpl.html#a7996a2c07b015e8557398ec10db1acef',1,'SVF::BVDataPTAImpl::dumpAllPts()']]],
+  ['dumpalltypes_8011',['dumpAllTypes',['../classSVF_1_1PointerAnalysis.html#a08399de593c073b6dd848a8d849dad27',1,'SVF::PointerAnalysis']]],
+  ['dumpchastats_8012',['dumpCHAStats',['../classSVF_1_1TypeAnalysis.html#a124fc67578745cde9e74bb36aced25a2',1,'SVF::TypeAnalysis']]],
+  ['dumpcond_8013',['dumpCond',['../classSVF_1_1ProgSlice.html#a03d4ae6a3df1adf7f1ee5eebf1028c9c',1,'SVF::ProgSlice::dumpCond()'],['../classSVF_1_1SaberCondAllocator.html#a100c1962eac6d7af420defc827a025ed',1,'SVF::SaberCondAllocator::dumpCond()']]],
+  ['dumpcontexts_8014',['dumpContexts',['../classSVF_1_1ContextDDA.html#ac3e622d810ee69917b7bef08a882117c',1,'SVF::ContextDDA']]],
+  ['dumpcpts_8015',['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_8016',['dumpCPtSet',['../classSVF_1_1DDAVFSolver.html#aa4dc73ea65f736282a413a9d286141e5',1,'SVF::DDAVFSolver']]],
+  ['dumpcxt_8017',['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()']]],
+  ['dumpinterlev_8018',['dumpInterlev',['../classSVF_1_1MTAResultValidator.html#a1af033b5742fa9cc1e4f9873184775b7',1,'SVF::MTAResultValidator::dumpInterlev(NodeBS &lev)'],['../classSVF_1_1MTAResultValidator.html#af88ed1c0aefc313eb50f7d6755c03be4',1,'SVF::MTAResultValidator::dumpInterlev(NodeBS &lev)']]],
+  ['dumpllvmvalue_8019',['dumpLLVMValue',['../namespaceSVF.html#ad4ba3f37eacc28014adca3f4bb06d83d',1,'SVF']]],
+  ['dumplocversionmaps_8020',['dumpLocVersionMaps',['../classSVF_1_1VersionedFlowSensitive.html#a032acdcd8b84523a7ac2f0e46d21c62f',1,'SVF::VersionedFlowSensitive']]],
+  ['dumpmeldversion_8021',['dumpMeldVersion',['../classSVF_1_1VersionedFlowSensitive.html#a7565989371100f84ae5f9e2efa655fcb',1,'SVF::VersionedFlowSensitive']]],
+  ['dumpmodulestofile_8022',['dumpModulesToFile',['../classSVF_1_1LLVMModuleSet.html#af37b9976b282c875cac7bb1777da635c',1,'SVF::LLVMModuleSet']]],
+  ['dumpmssa_8023',['dumpMSSA',['../classSVF_1_1MemSSA.html#a749df6d6b28dd1bae569989bffeb7746',1,'SVF::MemSSA']]],
+  ['dumppointstolist_8024',['dumpPointsToList',['../namespaceSVF_1_1SVFUtil.html#af4ceddbe4d57b24e80201bc895f73810',1,'SVF::SVFUtil']]],
+  ['dumppointstoset_8025',['dumpPointsToSet',['../namespaceSVF_1_1SVFUtil.html#abd0a9ee845a455f9354d24a8b84a0bb3',1,'SVF::SVFUtil']]],
+  ['dumpptdata_8026',['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_8027',['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_8028',['dumpReliances',['../classSVF_1_1VersionedFlowSensitive.html#a9d5990a41e90558595d0ad0defceb4e8',1,'SVF::VersionedFlowSensitive']]],
+  ['dumpset_8029',['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())']]],
+  ['dumpslices_8030',['dumpSlices',['../classSVF_1_1SrcSnkDDA.html#acae985068ff1c20fb81c4c9ba730aaba',1,'SVF::SrcSnkDDA']]],
+  ['dumpsparseset_8031',['dumpSparseSet',['../namespaceSVF_1_1SVFUtil.html#ab30a35713852a0a525c52ae5dd463442',1,'SVF::SVFUtil']]],
+  ['dumpstat_8032',['dumpStat',['../classSVF_1_1PointerAnalysis.html#ab83b827ea42d3a61aad20b1a1485d866',1,'SVF::PointerAnalysis']]],
+  ['dumpstr_8033',['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_8034',['dumpToJsonFile',['../classSVF_1_1SVFBugReport.html#aa119593331403f73867fddcb6ec26989',1,'SVF::SVFBugReport']]],
+  ['dumptoplevelptsto_8035',['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()']]],
+  ['dyn_5fcast_8036',['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)']]]
 ];

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

@@ -1,56 +1,56 @@
 var searchData=
 [
-  ['ebnf_5fbin_8100',['ebnf_bin',['../classSVF_1_1CFGNormalizer.html#a163ded39f15b19d6d1726621ba8b83d0',1,'SVF::CFGNormalizer']]],
-  ['ebnfbracketmatch_8101',['ebnfBracketMatch',['../classSVF_1_1CFGNormalizer.html#ad5711bb556e7e793841daa5a94372fcf',1,'SVF::CFGNormalizer']]],
-  ['ebnfsignreplace_8102',['ebnfSignReplace',['../classSVF_1_1CFGNormalizer.html#a2c128a0c3f7307694f757d2dd87b09f5',1,'SVF::CFGNormalizer']]],
-  ['ecunion_8103',['ecUnion',['../classSVF_1_1Steensgaard.html#a191e77e62916d868b2af730264e26dd8',1,'SVF::Steensgaard']]],
-  ['edge_5fdest_8104',['edge_dest',['../structSVF_1_1GenericGraphTraits_3_01SVF_1_1GenericNode_3_01NodeTy_00_01EdgeTy_01_4_01_5_01_4.html#ad2b32bee6c168b7d2ed993ae1231efaa',1,'SVF::GenericGraphTraits< SVF::GenericNode< NodeTy, EdgeTy > * >::edge_dest()'],['../structSVF_1_1GenericGraphTraits_3_01Inverse_3_01SVF_1_1GenericNode_3_01NodeTy_00_01EdgeTy_01_4_01_5_01_4_01_4.html#ae9f2171cd9912d40c8f467621b7bb973',1,'SVF::GenericGraphTraits< Inverse< SVF::GenericNode< NodeTy, EdgeTy > * > >::edge_dest()']]],
-  ['edgeincallgraphscc_8105',['edgeInCallGraphSCC',['../classSVF_1_1ContextDDA.html#ad54f523bf5f2504c1924b4f94c5abbba',1,'SVF::ContextDDA::edgeInCallGraphSCC()'],['../classSVF_1_1DDAPass.html#aab60429398a89ec1c8663a305130376f',1,'SVF::DDAPass::edgeInCallGraphSCC()']]],
-  ['edgeinsvfgscc_8106',['edgeInSVFGSCC',['../classSVF_1_1DDAPass.html#a3810708c5e2695d2a0e36084b589e432',1,'SVF::DDAPass::edgeInSVFGSCC()'],['../classSVF_1_1DDAVFSolver.html#a034e3c8b2eec00aee9de439dfeeda332',1,'SVF::DDAVFSolver::edgeInSVFGSCC()']]],
-  ['edgetargetsedgesource_8107',['edgeTargetsEdgeSource',['../structSVF_1_1DefaultDOTGraphTraits.html#a78c40f9b1af839116b88519fca154396',1,'SVF::DefaultDOTGraphTraits']]],
-  ['emitedge_8108',['emitEdge',['../classSVF_1_1GraphWriter.html#a320577b81479578a8e6021380f9c07a7',1,'SVF::GraphWriter']]],
-  ['emitsimplenode_8109',['emitSimpleNode',['../classSVF_1_1GraphWriter.html#a0feff91ed80b997dd4550fae16382768',1,'SVF::GraphWriter']]],
-  ['emplacepts_8110',['emplacePts',['../classSVF_1_1PersistentPointsToCache.html#a98d176e384469e0308bfee2061ef84b5',1,'SVF::PersistentPointsToCache']]],
-  ['empty_8111',['empty',['../classSVF_1_1LLVMModuleSet.html#ae19e38054c55d5822dfc83a12f12aa60',1,'SVF::LLVMModuleSet::empty()'],['../classSVF_1_1AddressValue.html#aa7291f4b74bb824fb38b8c383fa0b6a0',1,'SVF::AddressValue::empty()'],['../classSVF_1_1CFLFIFOWorkList.html#aa0ce832f5eeae74d52260fd8954d545f',1,'SVF::CFLFIFOWorkList::empty()'],['../classSVF_1_1CondStdSet.html#a0305cbf452b4e858e464023727417d76',1,'SVF::CondStdSet::empty()'],['../classSVF_1_1CondPointsToSet.html#aca84f0f9e09686d9f30f309d36267aff',1,'SVF::CondPointsToSet::empty()'],['../classSVF_1_1PointsTo.html#a13746982a11d0cab57e5919d53bfbec8',1,'SVF::PointsTo::empty()'],['../classSVF_1_1CoreBitVector.html#a98b9795b4fdc74d9d2efa9a3f2ecb62f',1,'SVF::CoreBitVector::empty()'],['../classSVF_1_1iter__range.html#ad8b380db56076165a0324922daa2e850',1,'SVF::iter_range::empty()'],['../structSVF_1_1SparseBitVectorElement.html#ac3a4795681af74563d757f587252aa7f',1,'SVF::SparseBitVectorElement::empty()'],['../classSVF_1_1SparseBitVector.html#aea5389ad7e5fe4c8bef686940a1a6056',1,'SVF::SparseBitVector::empty()'],['../classSVF_1_1List.html#a063246d2aa23e389e513c5498ff33aca',1,'SVF::List::empty()'],['../classSVF_1_1FIFOWorkList.html#a7056704c224dfb4b57287fe90c004aa8',1,'SVF::FIFOWorkList::empty()'],['../classSVF_1_1FILOWorkList.html#a071a624c91def82a4bbbf3806c7b7eea',1,'SVF::FILOWorkList::empty()']]],
-  ['emptypointstoid_8112',['emptyPointsToId',['../classSVF_1_1PersistentPointsToCache.html#a921a4ef4c72ccde5724860f98ad62a57',1,'SVF::PersistentPointsToCache']]],
-  ['end_8113',['end',['../classllvm_1_1generic__bridge__gep__type__iterator.html#a4f13b7cccd69bdac2a4f5feff5625f01',1,'llvm::generic_bridge_gep_type_iterator::end()'],['../classSVF_1_1AddressValue.html#a6f8186d1df43be4fbd0a48f724046372',1,'SVF::AddressValue::end()'],['../classSVF_1_1WTOCycleDepth.html#a943e6586b5b2c8343437a914ddb1a1b6',1,'SVF::WTOCycleDepth::end()'],['../classSVF_1_1CFBasicBlockGWTOCycle.html#af4205c03d5bbb94d52fe449a97d2b881',1,'SVF::CFBasicBlockGWTOCycle::end()'],['../classSVF_1_1CFBasicBlockGWTO.html#ad915ed46be9ae3dbd7ee8227c0dee40d',1,'SVF::CFBasicBlockGWTO::end()'],['../classSVF_1_1POCRSolver.html#ae85ebdc4cc4e0baf16439abdd146f5ef',1,'SVF::POCRSolver::end() const'],['../classSVF_1_1POCRSolver.html#a022b3a247e5b014e91cca52a9308b52c',1,'SVF::POCRSolver::end()'],['../classSVF_1_1CFBasicBlockNode.html#a4eb0886ab2538dbe2a3dcf8ab7fc615e',1,'SVF::CFBasicBlockNode::end()'],['../classSVF_1_1GenericGraph.html#a4bef15157423cef48dc7333a803cd27d',1,'SVF::GenericGraph::end()'],['../classSVF_1_1GenericGraph.html#a3001af3746d26b7dc0a212db5e48a4bb',1,'SVF::GenericGraph::end() const'],['../classSVF_1_1CondStdSet.html#a93c232ef7e5dea652622da7f994e1dc3',1,'SVF::CondStdSet::end()'],['../classSVF_1_1CondStdSet.html#accc5305781696701c00245ed1e8a25a3',1,'SVF::CondStdSet::end() const'],['../classSVF_1_1CondPointsToSet.html#a5ead697952ada3fbb07da3459a2b1b86',1,'SVF::CondPointsToSet::end()'],['../classSVF_1_1CondPointsToSet.html#a537890d918d23abeea39bc73198f7365',1,'SVF::CondPointsToSet::end() const'],['../classSVF_1_1PointsTo.html#a6e2ff63437d07a30cc6db35de032728a',1,'SVF::PointsTo::end()'],['../classSVF_1_1WriterPtrPool.html#ae642f198426715ff000f48fa421d97d6',1,'SVF::WriterPtrPool::end()'],['../classSVF_1_1SVFModule.html#a58d03edb6ff85f4943135478f113df31',1,'SVF::SVFModule::end()'],['../classSVF_1_1SVFModule.html#ad3f057892f970c22ef3bf345841eb4cc',1,'SVF::SVFModule::end() const'],['../classSVF_1_1SVFFunction.html#a2f274c3af098ae6a5919246b1b88e7b7',1,'SVF::SVFFunction::end()'],['../classSVF_1_1SVFBasicBlock.html#ab65173c2668b80643cb96e8133e5ea0a',1,'SVF::SVFBasicBlock::end()'],['../classSVF_1_1CoreBitVector.html#a93cdd9890522cc9fee2451567e0b1f0d',1,'SVF::CoreBitVector::end()'],['../classSVF_1_1ContextCond.html#a4b56b54896a1241032d7614309829399',1,'SVF::ContextCond::end()'],['../classSVF_1_1iter__range.html#a86124761467c76a7f7b0926b47d4f031',1,'SVF::iter_range::end()'],['../classSVF_1_1SparseBitVector.html#a1b5abe09fd0fcd337385653cb47343c1',1,'SVF::SparseBitVector::end()']]],
-  ['endclk_8114',['endClk',['../classSVF_1_1SVFStat.html#a1b7f1e3381de87f75f06cddb9c6c1ec1',1,'SVF::SVFStat']]],
-  ['endsymbolallocation_8115',['endSymbolAllocation',['../classSVF_1_1NodeIDAllocator.html#a92b053f79cfa1259603836cb0aacad7d',1,'SVF::NodeIDAllocator']]],
-  ['ensure_8116',['ensure',['../cJSON_8cpp.html#a3faa1600bc8001eaed05f16060668ce6',1,'cJSON.cpp']]],
-  ['entrychi_8117',['EntryCHI',['../classSVF_1_1EntryCHI.html#a0ba7181ad2a793bf11e40b7c7092e28b',1,'SVF::EntryCHI']]],
-  ['entryicfgedgesbegin_8118',['entryICFGEdgesBegin',['../classSVF_1_1SVFLoop.html#ae837960286e6861697b99cf7c2ba79e5',1,'SVF::SVFLoop']]],
-  ['entryicfgedgesend_8119',['entryICFGEdgesEnd',['../classSVF_1_1SVFLoop.html#aa9defde1da46995b6e870b80c1f9ae01',1,'SVF::SVFLoop']]],
-  ['equal_8120',['equal',['../classSVF_1_1BoundedZ3Expr.html#a387fffd47cff74341e7c8d7f6f09a13e',1,'SVF::BoundedZ3Expr::equal()'],['../classSVF_1_1NumericLiteral.html#a325e99ded5a026ecdae64004b9392f4a',1,'SVF::NumericLiteral::equal()']]],
-  ['equals_8121',['equals',['../classSVF_1_1AddressValue.html#a04456fe47889dd8f1b712255c9598fe9',1,'SVF::AddressValue::equals()'],['../classSVF_1_1ExeState.html#a45be8c439528b7560024fa51f36a8ffb',1,'SVF::ExeState::equals()'],['../classSVF_1_1IntervalExeState.html#a69f5125f14b129607fafb3717160f4c1',1,'SVF::IntervalExeState::equals()'],['../classSVF_1_1IntervalValue.html#ac06d554ff5f63c43f9b02378800488c1',1,'SVF::IntervalValue::equals()']]],
-  ['equalvar_8122',['equalVar',['../classSVF_1_1ConsExeState.html#ad3914ce88b680803d7744c4fa63fa93b',1,'SVF::ConsExeState']]],
-  ['eqvartovaddrs_8123',['eqVarToVAddrs',['../classSVF_1_1ExeState.html#ab809f545610434737c048dd005f9cd25',1,'SVF::ExeState']]],
-  ['eqvartovalmap_8124',['eqVarToValMap',['../classSVF_1_1ConsExeState.html#ae024143db76c3350ed581db661393052',1,'SVF::ConsExeState::eqVarToValMap()'],['../classSVF_1_1IntervalExeState.html#ac3a30689d2918b7db8bb6b640322f457',1,'SVF::IntervalExeState::eqVarToValMap()'],['../classSVF_1_1RelExeState.html#aaa5306f4f26b5a11342a726c2f7e4bb6',1,'SVF::RelExeState::eqVarToValMap()']]],
-  ['errmsg_8125',['errMsg',['../namespaceSVF_1_1SVFUtil.html#a7655b13bbfe720ca2b8a25e0a72528e6',1,'SVF::SVFUtil']]],
-  ['errs_8126',['errs',['../namespaceSVF_1_1SVFUtil.html#ab65033f068bfbeb0a1c52dcec3beb6bc',1,'SVF::SVFUtil']]],
-  ['escapestr_8127',['EscapeStr',['../namespaceSVF_1_1DOT.html#a9e3127c2bbedaec1f20d4437bea9e2f7',1,'SVF::DOT']]],
-  ['evalfinalcond_8128',['evalFinalCond',['../classSVF_1_1ProgSlice.html#afac06b0be2b04cb8a65af21fd697b756',1,'SVF::ProgSlice']]],
-  ['evalfinalcond2event_8129',['evalFinalCond2Event',['../classSVF_1_1ProgSlice.html#a215c9142830814ae838d15d9b7b40af9',1,'SVF::ProgSlice']]],
-  ['evalmdtag_8130',['evalMDTag',['../classSVF_1_1Annotator.html#a1a21ded1623d10fddb4048ae314e6722',1,'SVF::Annotator']]],
-  ['evaluate_8131',['evaluate',['../classSVF_1_1NodeIDAllocator_1_1Clusterer.html#acbbc5c04c79846fe1cc46a3bd5a65aba',1,'SVF::NodeIDAllocator::Clusterer']]],
-  ['evaluatebranchcond_8132',['evaluateBranchCond',['../classSVF_1_1SaberCondAllocator.html#ab1e0f5cb65f7a50da2700fd1f959ea78',1,'SVF::SaberCondAllocator']]],
-  ['evaluateloopexitbranch_8133',['evaluateLoopExitBranch',['../classSVF_1_1SaberCondAllocator.html#ab61767b4608efbd2fc4139bb6781b824',1,'SVF::SaberCondAllocator']]],
-  ['evaluateprogexit_8134',['evaluateProgExit',['../classSVF_1_1SaberCondAllocator.html#a25f4e42de59e143314917bdfd8122cbe',1,'SVF::SaberCondAllocator']]],
-  ['evaluatetestnulllikeexpr_8135',['evaluateTestNullLikeExpr',['../classSVF_1_1SaberCondAllocator.html#a25b84bca2e3a439ade40bb98fa7093f7',1,'SVF::SaberCondAllocator']]],
-  ['exactcondelem_8136',['exactCondElem',['../classSVF_1_1SaberCondAllocator.html#a87205db039579f05214507c48d6befec',1,'SVF::SaberCondAllocator']]],
-  ['executedbythesamethread_8137',['executedByTheSameThread',['../classSVF_1_1MHP.html#ac10a8f3a4b09dc257be9edabccea3fbb',1,'SVF::MHP']]],
-  ['exestate_8138',['ExeState',['../classSVF_1_1ExeState.html#af1b6335e3ca95d491b0d8dfb95cf3c9b',1,'SVF::ExeState::ExeState(ExeState_TYPE kind)'],['../classSVF_1_1ExeState.html#a62bef487b31f2a4ca27b4e9b183bdef5',1,'SVF::ExeState::ExeState(const ExeState &rhs)'],['../classSVF_1_1ExeState.html#a2e79702693c4fce03ab9fc03d1ceb2b8',1,'SVF::ExeState::ExeState(ExeState &&rhs) noexcept']]],
-  ['existsvar_8139',['existsVar',['../classSVF_1_1RelExeState.html#a85573e2041f53c49da9f92b95ccbc052',1,'SVF::RelExeState']]],
-  ['expandfiobjs_8140',['expandFIObjs',['../classSVF_1_1BVDataPTAImpl.html#a798c84d5e861de2b61bcb1a86385f721',1,'SVF::BVDataPTAImpl::expandFIObjs(const PointsTo &pts, PointsTo &expandedPts)'],['../classSVF_1_1BVDataPTAImpl.html#aa6a7186152037452599406a74b05d0e1',1,'SVF::BVDataPTAImpl::expandFIObjs(const NodeBS &pts, NodeBS &expandedPts)'],['../classSVF_1_1CondPTAImpl.html#a87b48287d7edb97fc120200fe0e5218d',1,'SVF::CondPTAImpl::expandFIObjs()']]],
-  ['extapi_8141',['ExtAPI',['../classSVF_1_1ExtAPI.html#ab793be4b6f8f0a025599e76f5df2a4eb',1,'SVF::ExtAPI']]],
-  ['extendbackward_8142',['extendBackward',['../classSVF_1_1CoreBitVector.html#ab6d789e3c68390a9026fd4f8c4cf344a',1,'SVF::CoreBitVector']]],
-  ['extendforward_8143',['extendForward',['../classSVF_1_1CoreBitVector.html#a5d3f1eb85bc388cb76c588b8d8b3c181',1,'SVF::CoreBitVector']]],
-  ['extendto_8144',['extendTo',['../classSVF_1_1CoreBitVector.html#a73e5b15854f4f56f50992ed0d0cc7349',1,'SVF::CoreBitVector']]],
-  ['extractattributestrfromsymbolstr_8145',['extractAttributeStrFromSymbolStr',['../classSVF_1_1GrammarBase.html#a0e99f099b675baae8d1e84b453ee05e0',1,'SVF::GrammarBase']]],
-  ['extractbbs_8146',['extractBBS',['../classSVF_1_1CDGBuilder.html#ac0b9dae9bae020608e293b1288bb988b',1,'SVF::CDGBuilder']]],
-  ['extractcmpvars_8147',['extractCmpVars',['../classSVF_1_1RelExeState.html#af32619ee086ab307c68923f7c66896aa',1,'SVF::RelExeState']]],
-  ['extractkindstrfromsymbolstr_8148',['extractKindStrFromSymbolStr',['../classSVF_1_1GrammarBase.html#a333aa14f1f969ff9cf60c23b35535074',1,'SVF::GrammarBase']]],
-  ['extractnodesbetweenpdomnodes_8149',['extractNodesBetweenPdomNodes',['../classSVF_1_1CDGBuilder.html#a6a7139139b2f0124e1729036490886db',1,'SVF::CDGBuilder']]],
-  ['extractpossibilitydescriptions_8150',['extractPossibilityDescriptions',['../classOptionBase.html#a21e8ccc08eef254ceee53185a717301d',1,'OptionBase']]],
-  ['extractsubconds_8151',['extractSubConds',['../classSVF_1_1SaberCondAllocator.html#a9f43fe1cacf419f03276d66c3a54fe77',1,'SVF::SaberCondAllocator']]],
-  ['extractsubvars_8152',['extractSubVars',['../classSVF_1_1RelExeState.html#a3393f160508c33e68ebedd042d1d296f',1,'SVF::RelExeState']]]
+  ['ebnf_5fbin_8037',['ebnf_bin',['../classSVF_1_1CFGNormalizer.html#a163ded39f15b19d6d1726621ba8b83d0',1,'SVF::CFGNormalizer']]],
+  ['ebnfbracketmatch_8038',['ebnfBracketMatch',['../classSVF_1_1CFGNormalizer.html#ad5711bb556e7e793841daa5a94372fcf',1,'SVF::CFGNormalizer']]],
+  ['ebnfsignreplace_8039',['ebnfSignReplace',['../classSVF_1_1CFGNormalizer.html#a2c128a0c3f7307694f757d2dd87b09f5',1,'SVF::CFGNormalizer']]],
+  ['ecunion_8040',['ecUnion',['../classSVF_1_1Steensgaard.html#a191e77e62916d868b2af730264e26dd8',1,'SVF::Steensgaard']]],
+  ['edge_5fdest_8041',['edge_dest',['../structSVF_1_1GenericGraphTraits_3_01SVF_1_1GenericNode_3_01NodeTy_00_01EdgeTy_01_4_01_5_01_4.html#ad2b32bee6c168b7d2ed993ae1231efaa',1,'SVF::GenericGraphTraits< SVF::GenericNode< NodeTy, EdgeTy > * >::edge_dest()'],['../structSVF_1_1GenericGraphTraits_3_01Inverse_3_01SVF_1_1GenericNode_3_01NodeTy_00_01EdgeTy_01_4_01_5_01_4_01_4.html#ae9f2171cd9912d40c8f467621b7bb973',1,'SVF::GenericGraphTraits< Inverse< SVF::GenericNode< NodeTy, EdgeTy > * > >::edge_dest()']]],
+  ['edgeincallgraphscc_8042',['edgeInCallGraphSCC',['../classSVF_1_1ContextDDA.html#ad54f523bf5f2504c1924b4f94c5abbba',1,'SVF::ContextDDA::edgeInCallGraphSCC()'],['../classSVF_1_1DDAPass.html#aab60429398a89ec1c8663a305130376f',1,'SVF::DDAPass::edgeInCallGraphSCC()']]],
+  ['edgeinsvfgscc_8043',['edgeInSVFGSCC',['../classSVF_1_1DDAPass.html#a3810708c5e2695d2a0e36084b589e432',1,'SVF::DDAPass::edgeInSVFGSCC()'],['../classSVF_1_1DDAVFSolver.html#a034e3c8b2eec00aee9de439dfeeda332',1,'SVF::DDAVFSolver::edgeInSVFGSCC()']]],
+  ['edgetargetsedgesource_8044',['edgeTargetsEdgeSource',['../structSVF_1_1DefaultDOTGraphTraits.html#a78c40f9b1af839116b88519fca154396',1,'SVF::DefaultDOTGraphTraits']]],
+  ['emitedge_8045',['emitEdge',['../classSVF_1_1GraphWriter.html#a320577b81479578a8e6021380f9c07a7',1,'SVF::GraphWriter']]],
+  ['emitsimplenode_8046',['emitSimpleNode',['../classSVF_1_1GraphWriter.html#a0feff91ed80b997dd4550fae16382768',1,'SVF::GraphWriter']]],
+  ['emplacepts_8047',['emplacePts',['../classSVF_1_1PersistentPointsToCache.html#a98d176e384469e0308bfee2061ef84b5',1,'SVF::PersistentPointsToCache']]],
+  ['empty_8048',['empty',['../classSVF_1_1LLVMModuleSet.html#ae19e38054c55d5822dfc83a12f12aa60',1,'SVF::LLVMModuleSet::empty()'],['../classSVF_1_1AddressValue.html#aa7291f4b74bb824fb38b8c383fa0b6a0',1,'SVF::AddressValue::empty()'],['../classSVF_1_1CFLFIFOWorkList.html#aa0ce832f5eeae74d52260fd8954d545f',1,'SVF::CFLFIFOWorkList::empty()'],['../classSVF_1_1CondStdSet.html#a0305cbf452b4e858e464023727417d76',1,'SVF::CondStdSet::empty()'],['../classSVF_1_1CondPointsToSet.html#aca84f0f9e09686d9f30f309d36267aff',1,'SVF::CondPointsToSet::empty()'],['../classSVF_1_1PointsTo.html#a13746982a11d0cab57e5919d53bfbec8',1,'SVF::PointsTo::empty()'],['../classSVF_1_1CoreBitVector.html#a98b9795b4fdc74d9d2efa9a3f2ecb62f',1,'SVF::CoreBitVector::empty()'],['../classSVF_1_1iter__range.html#ad8b380db56076165a0324922daa2e850',1,'SVF::iter_range::empty()'],['../structSVF_1_1SparseBitVectorElement.html#ac3a4795681af74563d757f587252aa7f',1,'SVF::SparseBitVectorElement::empty()'],['../classSVF_1_1SparseBitVector.html#aea5389ad7e5fe4c8bef686940a1a6056',1,'SVF::SparseBitVector::empty()'],['../classSVF_1_1List.html#a063246d2aa23e389e513c5498ff33aca',1,'SVF::List::empty()'],['../classSVF_1_1FIFOWorkList.html#a7056704c224dfb4b57287fe90c004aa8',1,'SVF::FIFOWorkList::empty()'],['../classSVF_1_1FILOWorkList.html#a071a624c91def82a4bbbf3806c7b7eea',1,'SVF::FILOWorkList::empty()']]],
+  ['emptypointstoid_8049',['emptyPointsToId',['../classSVF_1_1PersistentPointsToCache.html#a921a4ef4c72ccde5724860f98ad62a57',1,'SVF::PersistentPointsToCache']]],
+  ['end_8050',['end',['../classllvm_1_1generic__bridge__gep__type__iterator.html#a4f13b7cccd69bdac2a4f5feff5625f01',1,'llvm::generic_bridge_gep_type_iterator::end()'],['../classSVF_1_1AddressValue.html#a6f8186d1df43be4fbd0a48f724046372',1,'SVF::AddressValue::end()'],['../classSVF_1_1WTOCycleDepth.html#a943e6586b5b2c8343437a914ddb1a1b6',1,'SVF::WTOCycleDepth::end()'],['../classSVF_1_1CFBasicBlockGWTOCycle.html#af4205c03d5bbb94d52fe449a97d2b881',1,'SVF::CFBasicBlockGWTOCycle::end()'],['../classSVF_1_1CFBasicBlockGWTO.html#ad915ed46be9ae3dbd7ee8227c0dee40d',1,'SVF::CFBasicBlockGWTO::end()'],['../classSVF_1_1POCRSolver.html#ae85ebdc4cc4e0baf16439abdd146f5ef',1,'SVF::POCRSolver::end() const'],['../classSVF_1_1POCRSolver.html#a022b3a247e5b014e91cca52a9308b52c',1,'SVF::POCRSolver::end()'],['../classSVF_1_1CFBasicBlockNode.html#a4eb0886ab2538dbe2a3dcf8ab7fc615e',1,'SVF::CFBasicBlockNode::end()'],['../classSVF_1_1GenericGraph.html#a4bef15157423cef48dc7333a803cd27d',1,'SVF::GenericGraph::end()'],['../classSVF_1_1GenericGraph.html#a3001af3746d26b7dc0a212db5e48a4bb',1,'SVF::GenericGraph::end() const'],['../classSVF_1_1CondStdSet.html#a93c232ef7e5dea652622da7f994e1dc3',1,'SVF::CondStdSet::end()'],['../classSVF_1_1CondStdSet.html#accc5305781696701c00245ed1e8a25a3',1,'SVF::CondStdSet::end() const'],['../classSVF_1_1CondPointsToSet.html#a5ead697952ada3fbb07da3459a2b1b86',1,'SVF::CondPointsToSet::end()'],['../classSVF_1_1CondPointsToSet.html#a537890d918d23abeea39bc73198f7365',1,'SVF::CondPointsToSet::end() const'],['../classSVF_1_1PointsTo.html#a6e2ff63437d07a30cc6db35de032728a',1,'SVF::PointsTo::end()'],['../classSVF_1_1WriterPtrPool.html#ae642f198426715ff000f48fa421d97d6',1,'SVF::WriterPtrPool::end()'],['../classSVF_1_1SVFModule.html#a58d03edb6ff85f4943135478f113df31',1,'SVF::SVFModule::end()'],['../classSVF_1_1SVFModule.html#ad3f057892f970c22ef3bf345841eb4cc',1,'SVF::SVFModule::end() const'],['../classSVF_1_1SVFFunction.html#a2f274c3af098ae6a5919246b1b88e7b7',1,'SVF::SVFFunction::end()'],['../classSVF_1_1SVFBasicBlock.html#ab65173c2668b80643cb96e8133e5ea0a',1,'SVF::SVFBasicBlock::end()'],['../classSVF_1_1CoreBitVector.html#a93cdd9890522cc9fee2451567e0b1f0d',1,'SVF::CoreBitVector::end()'],['../classSVF_1_1ContextCond.html#a4b56b54896a1241032d7614309829399',1,'SVF::ContextCond::end()'],['../classSVF_1_1iter__range.html#a86124761467c76a7f7b0926b47d4f031',1,'SVF::iter_range::end()'],['../classSVF_1_1SparseBitVector.html#a1b5abe09fd0fcd337385653cb47343c1',1,'SVF::SparseBitVector::end()']]],
+  ['endclk_8051',['endClk',['../classSVF_1_1SVFStat.html#a1b7f1e3381de87f75f06cddb9c6c1ec1',1,'SVF::SVFStat']]],
+  ['endsymbolallocation_8052',['endSymbolAllocation',['../classSVF_1_1NodeIDAllocator.html#a92b053f79cfa1259603836cb0aacad7d',1,'SVF::NodeIDAllocator']]],
+  ['ensure_8053',['ensure',['../cJSON_8cpp.html#a3faa1600bc8001eaed05f16060668ce6',1,'cJSON.cpp']]],
+  ['entrychi_8054',['EntryCHI',['../classSVF_1_1EntryCHI.html#a0ba7181ad2a793bf11e40b7c7092e28b',1,'SVF::EntryCHI']]],
+  ['entryicfgedgesbegin_8055',['entryICFGEdgesBegin',['../classSVF_1_1SVFLoop.html#ae837960286e6861697b99cf7c2ba79e5',1,'SVF::SVFLoop']]],
+  ['entryicfgedgesend_8056',['entryICFGEdgesEnd',['../classSVF_1_1SVFLoop.html#aa9defde1da46995b6e870b80c1f9ae01',1,'SVF::SVFLoop']]],
+  ['equal_8057',['equal',['../classSVF_1_1BoundedZ3Expr.html#a387fffd47cff74341e7c8d7f6f09a13e',1,'SVF::BoundedZ3Expr::equal()'],['../classSVF_1_1NumericLiteral.html#a325e99ded5a026ecdae64004b9392f4a',1,'SVF::NumericLiteral::equal()']]],
+  ['equals_8058',['equals',['../classSVF_1_1AddressValue.html#a04456fe47889dd8f1b712255c9598fe9',1,'SVF::AddressValue::equals()'],['../classSVF_1_1ExeState.html#a45be8c439528b7560024fa51f36a8ffb',1,'SVF::ExeState::equals()'],['../classSVF_1_1IntervalExeState.html#a69f5125f14b129607fafb3717160f4c1',1,'SVF::IntervalExeState::equals()'],['../classSVF_1_1IntervalValue.html#ac06d554ff5f63c43f9b02378800488c1',1,'SVF::IntervalValue::equals()']]],
+  ['equalvar_8059',['equalVar',['../classSVF_1_1ConsExeState.html#ad3914ce88b680803d7744c4fa63fa93b',1,'SVF::ConsExeState']]],
+  ['eqvartovaddrs_8060',['eqVarToVAddrs',['../classSVF_1_1ExeState.html#ab809f545610434737c048dd005f9cd25',1,'SVF::ExeState']]],
+  ['eqvartovalmap_8061',['eqVarToValMap',['../classSVF_1_1ConsExeState.html#ae024143db76c3350ed581db661393052',1,'SVF::ConsExeState::eqVarToValMap()'],['../classSVF_1_1IntervalExeState.html#ac3a30689d2918b7db8bb6b640322f457',1,'SVF::IntervalExeState::eqVarToValMap()'],['../classSVF_1_1RelExeState.html#aaa5306f4f26b5a11342a726c2f7e4bb6',1,'SVF::RelExeState::eqVarToValMap()']]],
+  ['errmsg_8062',['errMsg',['../namespaceSVF_1_1SVFUtil.html#a7655b13bbfe720ca2b8a25e0a72528e6',1,'SVF::SVFUtil']]],
+  ['errs_8063',['errs',['../namespaceSVF_1_1SVFUtil.html#ab65033f068bfbeb0a1c52dcec3beb6bc',1,'SVF::SVFUtil']]],
+  ['escapestr_8064',['EscapeStr',['../namespaceSVF_1_1DOT.html#a9e3127c2bbedaec1f20d4437bea9e2f7',1,'SVF::DOT']]],
+  ['evalfinalcond_8065',['evalFinalCond',['../classSVF_1_1ProgSlice.html#afac06b0be2b04cb8a65af21fd697b756',1,'SVF::ProgSlice']]],
+  ['evalfinalcond2event_8066',['evalFinalCond2Event',['../classSVF_1_1ProgSlice.html#a215c9142830814ae838d15d9b7b40af9',1,'SVF::ProgSlice']]],
+  ['evalmdtag_8067',['evalMDTag',['../classSVF_1_1Annotator.html#a1a21ded1623d10fddb4048ae314e6722',1,'SVF::Annotator']]],
+  ['evaluate_8068',['evaluate',['../classSVF_1_1NodeIDAllocator_1_1Clusterer.html#acbbc5c04c79846fe1cc46a3bd5a65aba',1,'SVF::NodeIDAllocator::Clusterer']]],
+  ['evaluatebranchcond_8069',['evaluateBranchCond',['../classSVF_1_1SaberCondAllocator.html#ab1e0f5cb65f7a50da2700fd1f959ea78',1,'SVF::SaberCondAllocator']]],
+  ['evaluateloopexitbranch_8070',['evaluateLoopExitBranch',['../classSVF_1_1SaberCondAllocator.html#ab61767b4608efbd2fc4139bb6781b824',1,'SVF::SaberCondAllocator']]],
+  ['evaluateprogexit_8071',['evaluateProgExit',['../classSVF_1_1SaberCondAllocator.html#a25f4e42de59e143314917bdfd8122cbe',1,'SVF::SaberCondAllocator']]],
+  ['evaluatetestnulllikeexpr_8072',['evaluateTestNullLikeExpr',['../classSVF_1_1SaberCondAllocator.html#a25b84bca2e3a439ade40bb98fa7093f7',1,'SVF::SaberCondAllocator']]],
+  ['exactcondelem_8073',['exactCondElem',['../classSVF_1_1SaberCondAllocator.html#a87205db039579f05214507c48d6befec',1,'SVF::SaberCondAllocator']]],
+  ['executedbythesamethread_8074',['executedByTheSameThread',['../classSVF_1_1MHP.html#ac10a8f3a4b09dc257be9edabccea3fbb',1,'SVF::MHP']]],
+  ['exestate_8075',['ExeState',['../classSVF_1_1ExeState.html#af1b6335e3ca95d491b0d8dfb95cf3c9b',1,'SVF::ExeState::ExeState(ExeState_TYPE kind)'],['../classSVF_1_1ExeState.html#a62bef487b31f2a4ca27b4e9b183bdef5',1,'SVF::ExeState::ExeState(const ExeState &rhs)'],['../classSVF_1_1ExeState.html#a2e79702693c4fce03ab9fc03d1ceb2b8',1,'SVF::ExeState::ExeState(ExeState &&rhs) noexcept']]],
+  ['existsvar_8076',['existsVar',['../classSVF_1_1RelExeState.html#a85573e2041f53c49da9f92b95ccbc052',1,'SVF::RelExeState']]],
+  ['expandfiobjs_8077',['expandFIObjs',['../classSVF_1_1BVDataPTAImpl.html#a798c84d5e861de2b61bcb1a86385f721',1,'SVF::BVDataPTAImpl::expandFIObjs(const PointsTo &pts, PointsTo &expandedPts)'],['../classSVF_1_1BVDataPTAImpl.html#aa6a7186152037452599406a74b05d0e1',1,'SVF::BVDataPTAImpl::expandFIObjs(const NodeBS &pts, NodeBS &expandedPts)'],['../classSVF_1_1CondPTAImpl.html#a87b48287d7edb97fc120200fe0e5218d',1,'SVF::CondPTAImpl::expandFIObjs()']]],
+  ['extapi_8078',['ExtAPI',['../classSVF_1_1ExtAPI.html#ab793be4b6f8f0a025599e76f5df2a4eb',1,'SVF::ExtAPI']]],
+  ['extendbackward_8079',['extendBackward',['../classSVF_1_1CoreBitVector.html#ab6d789e3c68390a9026fd4f8c4cf344a',1,'SVF::CoreBitVector']]],
+  ['extendforward_8080',['extendForward',['../classSVF_1_1CoreBitVector.html#a5d3f1eb85bc388cb76c588b8d8b3c181',1,'SVF::CoreBitVector']]],
+  ['extendto_8081',['extendTo',['../classSVF_1_1CoreBitVector.html#a73e5b15854f4f56f50992ed0d0cc7349',1,'SVF::CoreBitVector']]],
+  ['extractattributestrfromsymbolstr_8082',['extractAttributeStrFromSymbolStr',['../classSVF_1_1GrammarBase.html#a0e99f099b675baae8d1e84b453ee05e0',1,'SVF::GrammarBase']]],
+  ['extractbbs_8083',['extractBBS',['../classSVF_1_1CDGBuilder.html#ac0b9dae9bae020608e293b1288bb988b',1,'SVF::CDGBuilder']]],
+  ['extractcmpvars_8084',['extractCmpVars',['../classSVF_1_1RelExeState.html#af32619ee086ab307c68923f7c66896aa',1,'SVF::RelExeState']]],
+  ['extractkindstrfromsymbolstr_8085',['extractKindStrFromSymbolStr',['../classSVF_1_1GrammarBase.html#a333aa14f1f969ff9cf60c23b35535074',1,'SVF::GrammarBase']]],
+  ['extractnodesbetweenpdomnodes_8086',['extractNodesBetweenPdomNodes',['../classSVF_1_1CDGBuilder.html#a6a7139139b2f0124e1729036490886db',1,'SVF::CDGBuilder']]],
+  ['extractpossibilitydescriptions_8087',['extractPossibilityDescriptions',['../classOptionBase.html#a21e8ccc08eef254ceee53185a717301d',1,'OptionBase']]],
+  ['extractsubconds_8088',['extractSubConds',['../classSVF_1_1SaberCondAllocator.html#a9f43fe1cacf419f03276d66c3a54fe77',1,'SVF::SaberCondAllocator']]],
+  ['extractsubvars_8089',['extractSubVars',['../classSVF_1_1RelExeState.html#a3393f160508c33e68ebedd042d1d296f',1,'SVF::RelExeState']]]
 ];