svf-tools 1.0.874 → 1.0.875

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

@@ -1,83 +1,87 @@
 var searchData=
 [
-  ['dcgettext_8156',['dcgettext',['../extapi_8c.html#ae47e2e0ff32239d263bc2d182b3cabca',1,'extapi.c']]],
-  ['dchedge_8157',['DCHEdge',['../classSVF_1_1DCHEdge.html#a17e3db6d11e0752064194ffc46cd9afe',1,'SVF::DCHEdge']]],
-  ['dchgraph_8158',['DCHGraph',['../classSVF_1_1DCHGraph.html#a7cbea4d5399333497faa3f8d213e365e',1,'SVF::DCHGraph']]],
-  ['dchnode_8159',['DCHNode',['../classSVF_1_1DCHNode.html#a3e81cc40aa1c37999cead00f1af85a6e',1,'SVF::DCHNode']]],
-  ['ddaclient_8160',['DDAClient',['../classSVF_1_1DDAClient.html#a1070c1a68fa7da7bdb23240957048ee9',1,'SVF::DDAClient']]],
-  ['ddapass_8161',['DDAPass',['../classSVF_1_1DDAPass.html#a4f68cbbe00863024cba2ecf513ff979f',1,'SVF::DDAPass']]],
-  ['ddastat_8162',['DDAStat',['../classSVF_1_1DDAStat.html#aef8db234efc3a5ae58a6d43de97ca361',1,'SVF::DDAStat::DDAStat(FlowDDA *pta)'],['../classSVF_1_1DDAStat.html#ae7670e6458c62473b0be78004466b9d7',1,'SVF::DDAStat::DDAStat(ContextDDA *pta)']]],
-  ['ddavfsolver_8163',['DDAVFSolver',['../classSVF_1_1DDAVFSolver.html#a7ee96b513074c283d23434590ce15e7d',1,'SVF::DDAVFSolver']]],
-  ['decide_5fcpa_5fext_8164',['decide_cpa_ext',['../classSVF_1_1RelationSolver.html#a7ace50c6e53a79f0e329badb63570f92',1,'SVF::RelationSolver']]],
-  ['defaultdotgraphtraits_8165',['DefaultDOTGraphTraits',['../structSVF_1_1DefaultDOTGraphTraits.html#a2fdfa8abc93bd4d0211c4db8ef4ede3e',1,'SVF::DefaultDOTGraphTraits']]],
-  ['defaulttype_8166',['defaultType',['../classSVF_1_1ObjTypeInference.html#aee4383a13cda421acb034ea147e33a6d',1,'SVF::ObjTypeInference']]],
-  ['delta_8167',['delta',['../classSVF_1_1VersionedFlowSensitive.html#a9f9b00551c157f42d1d995e8c4efb54b',1,'SVF::VersionedFlowSensitive']]],
-  ['deltasource_8168',['deltaSource',['../classSVF_1_1VersionedFlowSensitive.html#a3fa5afa4f54e0828ec090fde07b1bfa2',1,'SVF::VersionedFlowSensitive']]],
-  ['demangle_8169',['demangle',['../namespaceSVF_1_1cppUtil.html#a745a2addadc136075d45c7fb8437af3e',1,'SVF::cppUtil']]],
-  ['deref_5fval_8170',['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_8171',['destory',['../classSVF_1_1ExtAPI.html#abe3e0e2500532acfc01cee7e2ce1cd90',1,'SVF::ExtAPI']]],
-  ['destroy_8172',['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_8173',['detect',['../classSVF_1_1MTA.html#a5adab2e3b400190ecc9fa2a158203cb3',1,'SVF::MTA']]],
-  ['detectsccs_8174',['detectSCCs',['../classSVF_1_1VersionedFlowSensitive_1_1SCC.html#ac2dd88315f54ae766e73e7680f526ed6',1,'SVF::VersionedFlowSensitive::SCC']]],
-  ['determinebestmapping_8175',['determineBestMapping',['../classSVF_1_1NodeIDAllocator_1_1Clusterer.html#a3f86e733cc075180e9682887c554b8fa',1,'SVF::NodeIDAllocator::Clusterer']]],
-  ['dfptdata_8176',['DFPTData',['../classSVF_1_1DFPTData.html#a40016a7e3dac46d9ba854d336c7aae83',1,'SVF::DFPTData']]],
-  ['dfsnodesbetweenpdomnodes_8177',['dfsNodesBetweenPdomNodes',['../classSVF_1_1CDGBuilder.html#a6efa510f946ea8befebbc94bed241395',1,'SVF::CDGBuilder']]],
-  ['dgettext_8178',['dgettext',['../extapi_8c.html#ae9c3a42a44267df221d0c4fe5b2ea439',1,'extapi.c']]],
-  ['diffptdata_8179',['DiffPTData',['../classSVF_1_1DiffPTData.html#ac7e9661cfb4d5af3ef35d323ddc35558',1,'SVF::DiffPTData']]],
-  ['direct_5fchild_5fbegin_8180',['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_8181',['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_8182',['directCallsBegin',['../classSVF_1_1PTACallGraphEdge.html#a750e50a9022451e406c4819979edffa5',1,'SVF::PTACallGraphEdge']]],
-  ['directcallsend_8183',['directCallsEnd',['../classSVF_1_1PTACallGraphEdge.html#acc4fcacefdc9be9a214dfcc455fe7970',1,'SVF::PTACallGraphEdge']]],
-  ['directinedgebegin_8184',['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_8185',['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_8186',['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_8187',['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_8188',['DirectSVFGEdge',['../classSVF_1_1DirectSVFGEdge.html#a739ffa262f30d6473f56a610fd64fe95',1,'SVF::DirectSVFGEdge']]],
-  ['dirvfedgeend_8189',['dirVFEdgeEnd',['../classSVF_1_1SVFGStat.html#abef8f1d89413ed3c6e67dcd2b81729d8',1,'SVF::SVFGStat']]],
-  ['dirvfedgestart_8190',['dirVFEdgeStart',['../classSVF_1_1SVFGStat.html#a169d75c0fd09f69d86939d84db67e590',1,'SVF::SVFGStat']]],
-  ['disableprintstat_8191',['disablePrintStat',['../classSVF_1_1PointerAnalysis.html#af44b14fed89918847c0228c1100c56d2',1,'SVF::PointerAnalysis']]],
-  ['distinctmrg_8192',['DistinctMRG',['../classSVF_1_1DistinctMRG.html#ad7e4959327aa45932fd788bacca0de01',1,'SVF::DistinctMRG']]],
-  ['ditypetostr_8193',['diTypeToStr',['../classSVF_1_1DCHGraph.html#a2dc488345cc3a5f37079952f638d8c2b',1,'SVF::DCHGraph']]],
-  ['dngettext_8194',['dngettext',['../extapi_8c.html#a54ac933fa6a0e84898be26c04faacb92',1,'extapi.c']]],
-  ['doit_8195',['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_8196',['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_8197',['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_8198',['DoubleFreeBug',['../classSVF_1_1DoubleFreeBug.html#aea90778c71659c87a6139d19b896bdb8',1,'SVF::DoubleFreeBug']]],
-  ['doublefreechecker_8199',['DoubleFreeChecker',['../classSVF_1_1DoubleFreeChecker.html#ac9d147b16442bb4746f66cffe46a070a',1,'SVF::DoubleFreeChecker']]],
-  ['dpitem_8200',['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_8201',['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_8202',['DummyValVar',['../classSVF_1_1DummyValVar.html#a39fb5acde002694e91599a67ff3ae99a',1,'SVF::DummyValVar']]],
-  ['dummyversionpropsvfgnode_8203',['DummyVersionPropSVFGNode',['../classSVF_1_1DummyVersionPropSVFGNode.html#a8661f8c8e31101b5afc37ebe3bac5fe2',1,'SVF::DummyVersionPropSVFGNode']]],
-  ['dump_8204',['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_8205',['dumpAliasSet',['../namespaceSVF_1_1SVFUtil.html#a4a15cc5570eed12dd6ee766213e11d61',1,'SVF::SVFUtil']]],
-  ['dumpallpts_8206',['dumpAllPts',['../classSVF_1_1PointerAnalysis.html#a861554c2fdeaa406131c2c920b4c7908',1,'SVF::PointerAnalysis::dumpAllPts()'],['../classSVF_1_1BVDataPTAImpl.html#a7996a2c07b015e8557398ec10db1acef',1,'SVF::BVDataPTAImpl::dumpAllPts()']]],
-  ['dumpalltypes_8207',['dumpAllTypes',['../classSVF_1_1PointerAnalysis.html#a08399de593c073b6dd848a8d849dad27',1,'SVF::PointerAnalysis']]],
-  ['dumpchastats_8208',['dumpCHAStats',['../classSVF_1_1TypeAnalysis.html#a124fc67578745cde9e74bb36aced25a2',1,'SVF::TypeAnalysis']]],
-  ['dumpcond_8209',['dumpCond',['../classSVF_1_1ProgSlice.html#a03d4ae6a3df1adf7f1ee5eebf1028c9c',1,'SVF::ProgSlice::dumpCond()'],['../classSVF_1_1SaberCondAllocator.html#a100c1962eac6d7af420defc827a025ed',1,'SVF::SaberCondAllocator::dumpCond()']]],
-  ['dumpcontexts_8210',['dumpContexts',['../classSVF_1_1ContextDDA.html#ac3e622d810ee69917b7bef08a882117c',1,'SVF::ContextDDA']]],
-  ['dumpcpts_8211',['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_8212',['dumpCPtSet',['../classSVF_1_1DDAVFSolver.html#aa4dc73ea65f736282a413a9d286141e5',1,'SVF::DDAVFSolver']]],
-  ['dumpcxt_8213',['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_8214',['dumpInterlev',['../classSVF_1_1MTAResultValidator.html#a1af033b5742fa9cc1e4f9873184775b7',1,'SVF::MTAResultValidator::dumpInterlev(NodeBS &lev)'],['../classSVF_1_1MTAResultValidator.html#af88ed1c0aefc313eb50f7d6755c03be4',1,'SVF::MTAResultValidator::dumpInterlev(NodeBS &lev)']]],
-  ['dumpllvmvalue_8215',['dumpLLVMValue',['../namespaceSVF.html#ad4ba3f37eacc28014adca3f4bb06d83d',1,'SVF']]],
-  ['dumplocversionmaps_8216',['dumpLocVersionMaps',['../classSVF_1_1VersionedFlowSensitive.html#a032acdcd8b84523a7ac2f0e46d21c62f',1,'SVF::VersionedFlowSensitive']]],
-  ['dumpmeldversion_8217',['dumpMeldVersion',['../classSVF_1_1VersionedFlowSensitive.html#a7565989371100f84ae5f9e2efa655fcb',1,'SVF::VersionedFlowSensitive']]],
-  ['dumpmodulestofile_8218',['dumpModulesToFile',['../classSVF_1_1LLVMModuleSet.html#af37b9976b282c875cac7bb1777da635c',1,'SVF::LLVMModuleSet']]],
-  ['dumpmssa_8219',['dumpMSSA',['../classSVF_1_1MemSSA.html#a749df6d6b28dd1bae569989bffeb7746',1,'SVF::MemSSA']]],
-  ['dumppointstolist_8220',['dumpPointsToList',['../namespaceSVF_1_1SVFUtil.html#af4ceddbe4d57b24e80201bc895f73810',1,'SVF::SVFUtil']]],
-  ['dumppointstoset_8221',['dumpPointsToSet',['../namespaceSVF_1_1SVFUtil.html#abd0a9ee845a455f9354d24a8b84a0bb3',1,'SVF::SVFUtil']]],
-  ['dumpptdata_8222',['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_8223',['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_8224',['dumpReliances',['../classSVF_1_1VersionedFlowSensitive.html#a9d5990a41e90558595d0ad0defceb4e8',1,'SVF::VersionedFlowSensitive']]],
-  ['dumpset_8225',['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_8226',['dumpSlices',['../classSVF_1_1SrcSnkDDA.html#acae985068ff1c20fb81c4c9ba730aaba',1,'SVF::SrcSnkDDA']]],
-  ['dumpsparseset_8227',['dumpSparseSet',['../namespaceSVF_1_1SVFUtil.html#ab30a35713852a0a525c52ae5dd463442',1,'SVF::SVFUtil']]],
-  ['dumpstat_8228',['dumpStat',['../classSVF_1_1PointerAnalysis.html#ab83b827ea42d3a61aad20b1a1485d866',1,'SVF::PointerAnalysis']]],
-  ['dumpstr_8229',['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_8230',['dumpToJsonFile',['../classSVF_1_1SVFBugReport.html#aa119593331403f73867fddcb6ec26989',1,'SVF::SVFBugReport']]],
-  ['dumptoplevelptsto_8231',['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_8232',['dumpType',['../namespaceSVF_1_1LLVMUtil.html#a6e8682537cf5bed808df439bd7e1add9',1,'SVF::LLVMUtil']]],
-  ['dumpvalue_8233',['dumpValue',['../namespaceSVF_1_1LLVMUtil.html#afa2f8c8ab19c75547c26ede53b9f6159',1,'SVF::LLVMUtil']]],
-  ['dumpvalueanddbginfo_8234',['dumpValueAndDbgInfo',['../namespaceSVF_1_1LLVMUtil.html#a86c0a0cb4ada72bd4f42c77558e6a350',1,'SVF::LLVMUtil']]],
-  ['dyn_5fcast_8235',['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_8310',['dcgettext',['../extapi_8c.html#ae47e2e0ff32239d263bc2d182b3cabca',1,'extapi.c']]],
+  ['dchedge_8311',['DCHEdge',['../classSVF_1_1DCHEdge.html#a17e3db6d11e0752064194ffc46cd9afe',1,'SVF::DCHEdge']]],
+  ['dchgraph_8312',['DCHGraph',['../classSVF_1_1DCHGraph.html#a7cbea4d5399333497faa3f8d213e365e',1,'SVF::DCHGraph']]],
+  ['dchnode_8313',['DCHNode',['../classSVF_1_1DCHNode.html#a3e81cc40aa1c37999cead00f1af85a6e',1,'SVF::DCHNode']]],
+  ['ddaclient_8314',['DDAClient',['../classSVF_1_1DDAClient.html#a1070c1a68fa7da7bdb23240957048ee9',1,'SVF::DDAClient']]],
+  ['ddapass_8315',['DDAPass',['../classSVF_1_1DDAPass.html#a4f68cbbe00863024cba2ecf513ff979f',1,'SVF::DDAPass']]],
+  ['ddastat_8316',['DDAStat',['../classSVF_1_1DDAStat.html#aef8db234efc3a5ae58a6d43de97ca361',1,'SVF::DDAStat::DDAStat(FlowDDA *pta)'],['../classSVF_1_1DDAStat.html#ae7670e6458c62473b0be78004466b9d7',1,'SVF::DDAStat::DDAStat(ContextDDA *pta)']]],
+  ['ddavfsolver_8317',['DDAVFSolver',['../classSVF_1_1DDAVFSolver.html#a7ee96b513074c283d23434590ce15e7d',1,'SVF::DDAVFSolver']]],
+  ['decide_5fcpa_5fext_8318',['decide_cpa_ext',['../classSVF_1_1RelationSolver.html#a7ace50c6e53a79f0e329badb63570f92',1,'SVF::RelationSolver']]],
+  ['defaultdotgraphtraits_8319',['DefaultDOTGraphTraits',['../structSVF_1_1DefaultDOTGraphTraits.html#a2fdfa8abc93bd4d0211c4db8ef4ede3e',1,'SVF::DefaultDOTGraphTraits']]],
+  ['defaulttype_8320',['defaultType',['../classSVF_1_1ObjTypeInference.html#aee4383a13cda421acb034ea147e33a6d',1,'SVF::ObjTypeInference']]],
+  ['delta_8321',['delta',['../classSVF_1_1VersionedFlowSensitive.html#a9f9b00551c157f42d1d995e8c4efb54b',1,'SVF::VersionedFlowSensitive']]],
+  ['deltasource_8322',['deltaSource',['../classSVF_1_1VersionedFlowSensitive.html#a3fa5afa4f54e0828ec090fde07b1bfa2',1,'SVF::VersionedFlowSensitive']]],
+  ['demangle_8323',['demangle',['../namespaceSVF_1_1cppUtil.html#a745a2addadc136075d45c7fb8437af3e',1,'SVF::cppUtil']]],
+  ['deref_5fval_8324',['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_8325',['destory',['../classSVF_1_1ExtAPI.html#abe3e0e2500532acfc01cee7e2ce1cd90',1,'SVF::ExtAPI']]],
+  ['destroy_8326',['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_8327',['detect',['../classSVF_1_1MTA.html#a5adab2e3b400190ecc9fa2a158203cb3',1,'SVF::MTA']]],
+  ['detectbufoverflow_8328',['detectBufOverflow',['../classSVF_1_1BufOverflowChecker.html#a52de7d619e8746a70718719306d7c5a1',1,'SVF::BufOverflowChecker']]],
+  ['detectsccs_8329',['detectSCCs',['../classSVF_1_1VersionedFlowSensitive_1_1SCC.html#ac2dd88315f54ae766e73e7680f526ed6',1,'SVF::VersionedFlowSensitive::SCC']]],
+  ['detectstrcat_8330',['detectStrcat',['../classSVF_1_1BufOverflowCheckerAPI.html#ae88696790ca4f3392c7dc76c74619f46',1,'SVF::BufOverflowCheckerAPI']]],
+  ['detectstrcpy_8331',['detectStrcpy',['../classSVF_1_1BufOverflowCheckerAPI.html#a296a3ea0f8df72ce6480b5cb0f207945',1,'SVF::BufOverflowCheckerAPI']]],
+  ['determinebestmapping_8332',['determineBestMapping',['../classSVF_1_1NodeIDAllocator_1_1Clusterer.html#a3f86e733cc075180e9682887c554b8fa',1,'SVF::NodeIDAllocator::Clusterer']]],
+  ['dfptdata_8333',['DFPTData',['../classSVF_1_1DFPTData.html#a40016a7e3dac46d9ba854d336c7aae83',1,'SVF::DFPTData']]],
+  ['dfsnodesbetweenpdomnodes_8334',['dfsNodesBetweenPdomNodes',['../classSVF_1_1CDGBuilder.html#a6efa510f946ea8befebbc94bed241395',1,'SVF::CDGBuilder']]],
+  ['dgettext_8335',['dgettext',['../extapi_8c.html#ae9c3a42a44267df221d0c4fe5b2ea439',1,'extapi.c']]],
+  ['diffptdata_8336',['DiffPTData',['../classSVF_1_1DiffPTData.html#ac7e9661cfb4d5af3ef35d323ddc35558',1,'SVF::DiffPTData']]],
+  ['direct_5fchild_5fbegin_8337',['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_8338',['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_8339',['directCallFunPass',['../classSVF_1_1AE.html#a73a42726f0c1af6d081b57bdbf143b0f',1,'SVF::AE']]],
+  ['directcallsbegin_8340',['directCallsBegin',['../classSVF_1_1PTACallGraphEdge.html#a750e50a9022451e406c4819979edffa5',1,'SVF::PTACallGraphEdge']]],
+  ['directcallsend_8341',['directCallsEnd',['../classSVF_1_1PTACallGraphEdge.html#acc4fcacefdc9be9a214dfcc455fe7970',1,'SVF::PTACallGraphEdge']]],
+  ['directinedgebegin_8342',['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_8343',['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_8344',['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_8345',['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_8346',['DirectSVFGEdge',['../classSVF_1_1DirectSVFGEdge.html#a739ffa262f30d6473f56a610fd64fe95',1,'SVF::DirectSVFGEdge']]],
+  ['dirvfedgeend_8347',['dirVFEdgeEnd',['../classSVF_1_1SVFGStat.html#abef8f1d89413ed3c6e67dcd2b81729d8',1,'SVF::SVFGStat']]],
+  ['dirvfedgestart_8348',['dirVFEdgeStart',['../classSVF_1_1SVFGStat.html#a169d75c0fd09f69d86939d84db67e590',1,'SVF::SVFGStat']]],
+  ['disableprintstat_8349',['disablePrintStat',['../classSVF_1_1PointerAnalysis.html#af44b14fed89918847c0228c1100c56d2',1,'SVF::PointerAnalysis']]],
+  ['distinctmrg_8350',['DistinctMRG',['../classSVF_1_1DistinctMRG.html#ad7e4959327aa45932fd788bacca0de01',1,'SVF::DistinctMRG']]],
+  ['ditypetostr_8351',['diTypeToStr',['../classSVF_1_1DCHGraph.html#a2dc488345cc3a5f37079952f638d8c2b',1,'SVF::DCHGraph']]],
+  ['dngettext_8352',['dngettext',['../extapi_8c.html#a54ac933fa6a0e84898be26c04faacb92',1,'extapi.c']]],
+  ['doit_8353',['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_8354',['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_8355',['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_8356',['DoubleFreeBug',['../classSVF_1_1DoubleFreeBug.html#aea90778c71659c87a6139d19b896bdb8',1,'SVF::DoubleFreeBug']]],
+  ['doublefreechecker_8357',['DoubleFreeChecker',['../classSVF_1_1DoubleFreeChecker.html#ac9d147b16442bb4746f66cffe46a070a',1,'SVF::DoubleFreeChecker']]],
+  ['dpitem_8358',['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_8359',['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_8360',['DummyValVar',['../classSVF_1_1DummyValVar.html#a39fb5acde002694e91599a67ff3ae99a',1,'SVF::DummyValVar']]],
+  ['dummyversionpropsvfgnode_8361',['DummyVersionPropSVFGNode',['../classSVF_1_1DummyVersionPropSVFGNode.html#a8661f8c8e31101b5afc37ebe3bac5fe2',1,'SVF::DummyVersionPropSVFGNode']]],
+  ['dump_8362',['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_8363',['dumpAliasSet',['../namespaceSVF_1_1SVFUtil.html#a4a15cc5570eed12dd6ee766213e11d61',1,'SVF::SVFUtil']]],
+  ['dumpallpts_8364',['dumpAllPts',['../classSVF_1_1PointerAnalysis.html#a861554c2fdeaa406131c2c920b4c7908',1,'SVF::PointerAnalysis::dumpAllPts()'],['../classSVF_1_1BVDataPTAImpl.html#a7996a2c07b015e8557398ec10db1acef',1,'SVF::BVDataPTAImpl::dumpAllPts()']]],
+  ['dumpalltypes_8365',['dumpAllTypes',['../classSVF_1_1PointerAnalysis.html#a08399de593c073b6dd848a8d849dad27',1,'SVF::PointerAnalysis']]],
+  ['dumpchastats_8366',['dumpCHAStats',['../classSVF_1_1TypeAnalysis.html#a124fc67578745cde9e74bb36aced25a2',1,'SVF::TypeAnalysis']]],
+  ['dumpcond_8367',['dumpCond',['../classSVF_1_1ProgSlice.html#a03d4ae6a3df1adf7f1ee5eebf1028c9c',1,'SVF::ProgSlice::dumpCond()'],['../classSVF_1_1SaberCondAllocator.html#a100c1962eac6d7af420defc827a025ed',1,'SVF::SaberCondAllocator::dumpCond()']]],
+  ['dumpcontexts_8368',['dumpContexts',['../classSVF_1_1ContextDDA.html#ac3e622d810ee69917b7bef08a882117c',1,'SVF::ContextDDA']]],
+  ['dumpcpts_8369',['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_8370',['dumpCPtSet',['../classSVF_1_1DDAVFSolver.html#aa4dc73ea65f736282a413a9d286141e5',1,'SVF::DDAVFSolver']]],
+  ['dumpcxt_8371',['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_8372',['dumpInterlev',['../classSVF_1_1MTAResultValidator.html#a1af033b5742fa9cc1e4f9873184775b7',1,'SVF::MTAResultValidator::dumpInterlev(NodeBS &lev)'],['../classSVF_1_1MTAResultValidator.html#af88ed1c0aefc313eb50f7d6755c03be4',1,'SVF::MTAResultValidator::dumpInterlev(NodeBS &lev)']]],
+  ['dumpllvmvalue_8373',['dumpLLVMValue',['../namespaceSVF.html#ad4ba3f37eacc28014adca3f4bb06d83d',1,'SVF']]],
+  ['dumplocversionmaps_8374',['dumpLocVersionMaps',['../classSVF_1_1VersionedFlowSensitive.html#a032acdcd8b84523a7ac2f0e46d21c62f',1,'SVF::VersionedFlowSensitive']]],
+  ['dumpmeldversion_8375',['dumpMeldVersion',['../classSVF_1_1VersionedFlowSensitive.html#a7565989371100f84ae5f9e2efa655fcb',1,'SVF::VersionedFlowSensitive']]],
+  ['dumpmodulestofile_8376',['dumpModulesToFile',['../classSVF_1_1LLVMModuleSet.html#af37b9976b282c875cac7bb1777da635c',1,'SVF::LLVMModuleSet']]],
+  ['dumpmssa_8377',['dumpMSSA',['../classSVF_1_1MemSSA.html#a749df6d6b28dd1bae569989bffeb7746',1,'SVF::MemSSA']]],
+  ['dumppointstolist_8378',['dumpPointsToList',['../namespaceSVF_1_1SVFUtil.html#af4ceddbe4d57b24e80201bc895f73810',1,'SVF::SVFUtil']]],
+  ['dumppointstoset_8379',['dumpPointsToSet',['../namespaceSVF_1_1SVFUtil.html#abd0a9ee845a455f9354d24a8b84a0bb3',1,'SVF::SVFUtil']]],
+  ['dumpptdata_8380',['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_8381',['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_8382',['dumpReliances',['../classSVF_1_1VersionedFlowSensitive.html#a9d5990a41e90558595d0ad0defceb4e8',1,'SVF::VersionedFlowSensitive']]],
+  ['dumpset_8383',['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_8384',['dumpSlices',['../classSVF_1_1SrcSnkDDA.html#acae985068ff1c20fb81c4c9ba730aaba',1,'SVF::SrcSnkDDA']]],
+  ['dumpsparseset_8385',['dumpSparseSet',['../namespaceSVF_1_1SVFUtil.html#ab30a35713852a0a525c52ae5dd463442',1,'SVF::SVFUtil']]],
+  ['dumpstat_8386',['dumpStat',['../classSVF_1_1PointerAnalysis.html#ab83b827ea42d3a61aad20b1a1485d866',1,'SVF::PointerAnalysis']]],
+  ['dumpstr_8387',['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_8388',['dumpToJsonFile',['../classSVF_1_1SVFBugReport.html#aa119593331403f73867fddcb6ec26989',1,'SVF::SVFBugReport']]],
+  ['dumptoplevelptsto_8389',['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_8390',['dumpType',['../namespaceSVF_1_1LLVMUtil.html#a6e8682537cf5bed808df439bd7e1add9',1,'SVF::LLVMUtil']]],
+  ['dumpvalue_8391',['dumpValue',['../namespaceSVF_1_1LLVMUtil.html#afa2f8c8ab19c75547c26ede53b9f6159',1,'SVF::LLVMUtil']]],
+  ['dumpvalueanddbginfo_8392',['dumpValueAndDbgInfo',['../namespaceSVF_1_1LLVMUtil.html#a86c0a0cb4ada72bd4f42c77558e6a350',1,'SVF::LLVMUtil']]],
+  ['dyn_5fcast_8393',['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/search/functions_5.js

@@ -1,59 +1,60 @@
 var searchData=
 [
-  ['ebnf_5fbin_8236',['ebnf_bin',['../classSVF_1_1CFGNormalizer.html#a163ded39f15b19d6d1726621ba8b83d0',1,'SVF::CFGNormalizer']]],
-  ['ebnfbracketmatch_8237',['ebnfBracketMatch',['../classSVF_1_1CFGNormalizer.html#ad5711bb556e7e793841daa5a94372fcf',1,'SVF::CFGNormalizer']]],
-  ['ebnfsignreplace_8238',['ebnfSignReplace',['../classSVF_1_1CFGNormalizer.html#a2c128a0c3f7307694f757d2dd87b09f5',1,'SVF::CFGNormalizer']]],
-  ['ecunion_8239',['ecUnion',['../classSVF_1_1Steensgaard.html#a191e77e62916d868b2af730264e26dd8',1,'SVF::Steensgaard']]],
-  ['edge_5fdest_8240',['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_8241',['edgeInCallGraphSCC',['../classSVF_1_1ContextDDA.html#ad54f523bf5f2504c1924b4f94c5abbba',1,'SVF::ContextDDA::edgeInCallGraphSCC()'],['../classSVF_1_1DDAPass.html#aab60429398a89ec1c8663a305130376f',1,'SVF::DDAPass::edgeInCallGraphSCC()']]],
-  ['edgeinsvfgscc_8242',['edgeInSVFGSCC',['../classSVF_1_1DDAPass.html#a3810708c5e2695d2a0e36084b589e432',1,'SVF::DDAPass::edgeInSVFGSCC()'],['../classSVF_1_1DDAVFSolver.html#a034e3c8b2eec00aee9de439dfeeda332',1,'SVF::DDAVFSolver::edgeInSVFGSCC()']]],
-  ['edgetargetsedgesource_8243',['edgeTargetsEdgeSource',['../structSVF_1_1DefaultDOTGraphTraits.html#a78c40f9b1af839116b88519fca154396',1,'SVF::DefaultDOTGraphTraits']]],
-  ['emitedge_8244',['emitEdge',['../classSVF_1_1GraphWriter.html#a320577b81479578a8e6021380f9c07a7',1,'SVF::GraphWriter']]],
-  ['emitsimplenode_8245',['emitSimpleNode',['../classSVF_1_1GraphWriter.html#a0feff91ed80b997dd4550fae16382768',1,'SVF::GraphWriter']]],
-  ['emplacepts_8246',['emplacePts',['../classSVF_1_1PersistentPointsToCache.html#a98d176e384469e0308bfee2061ef84b5',1,'SVF::PersistentPointsToCache']]],
-  ['empty_8247',['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_8248',['emptyPointsToId',['../classSVF_1_1PersistentPointsToCache.html#a921a4ef4c72ccde5724860f98ad62a57',1,'SVF::PersistentPointsToCache']]],
-  ['end_8249',['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_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_1WTOCycleDepth.html#a16a1c72a181571a0f131975caa929ade',1,'SVF::WTOCycleDepth::end()'],['../classSVF_1_1WTOCycle.html#a03fd55dd34c48d22cefcaf6dc93f734a',1,'SVF::WTOCycle::end()'],['../classSVF_1_1WTO.html#a22b67a51964cb1d7882aab7e74b026f2',1,'SVF::WTO::end()'],['../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_8250',['endClk',['../classSVF_1_1SVFStat.html#a1b7f1e3381de87f75f06cddb9c6c1ec1',1,'SVF::SVFStat']]],
-  ['endsymbolallocation_8251',['endSymbolAllocation',['../classSVF_1_1NodeIDAllocator.html#a92b053f79cfa1259603836cb0aacad7d',1,'SVF::NodeIDAllocator']]],
-  ['ensure_8252',['ensure',['../cJSON_8cpp.html#a3faa1600bc8001eaed05f16060668ce6',1,'cJSON.cpp']]],
-  ['entrychi_8253',['EntryCHI',['../classSVF_1_1EntryCHI.html#a0ba7181ad2a793bf11e40b7c7092e28b',1,'SVF::EntryCHI']]],
-  ['entryicfgedgesbegin_8254',['entryICFGEdgesBegin',['../classSVF_1_1SVFLoop.html#ae837960286e6861697b99cf7c2ba79e5',1,'SVF::SVFLoop']]],
-  ['entryicfgedgesend_8255',['entryICFGEdgesEnd',['../classSVF_1_1SVFLoop.html#aa9defde1da46995b6e870b80c1f9ae01',1,'SVF::SVFLoop']]],
-  ['equal_8256',['equal',['../classSVF_1_1BoundedZ3Expr.html#a387fffd47cff74341e7c8d7f6f09a13e',1,'SVF::BoundedZ3Expr::equal()'],['../classSVF_1_1NumericLiteral.html#a325e99ded5a026ecdae64004b9392f4a',1,'SVF::NumericLiteral::equal()']]],
-  ['equals_8257',['equals',['../classSVF_1_1AddressValue.html#a04456fe47889dd8f1b712255c9598fe9',1,'SVF::AddressValue::equals()'],['../classSVF_1_1ExeState.html#a45be8c439528b7560024fa51f36a8ffb',1,'SVF::ExeState::equals()'],['../classSVF_1_1IntervalESBase.html#a9133df5ab00e7c2918a8047fd0bdfb08',1,'SVF::IntervalESBase::equals()'],['../classSVF_1_1IntervalExeState.html#a69f5125f14b129607fafb3717160f4c1',1,'SVF::IntervalExeState::equals()'],['../classSVF_1_1IntervalValue.html#ac06d554ff5f63c43f9b02378800488c1',1,'SVF::IntervalValue::equals()']]],
-  ['equalvar_8258',['equalVar',['../classSVF_1_1ConsExeState.html#ad3914ce88b680803d7744c4fa63fa93b',1,'SVF::ConsExeState']]],
-  ['eqvartoaddrs_8259',['eqVarToAddrs',['../classSVF_1_1ExeState.html#a0a24ad3ced48b6755b7fc917d0f0fbb9',1,'SVF::ExeState']]],
-  ['eqvartovalmap_8260',['eqVarToValMap',['../classSVF_1_1ConsExeState.html#ae024143db76c3350ed581db661393052',1,'SVF::ConsExeState::eqVarToValMap()'],['../classSVF_1_1IntervalESBase.html#a5fbb3e0a06cb36f020a6de20ebd04ad1',1,'SVF::IntervalESBase::eqVarToValMap()'],['../classSVF_1_1RelExeState.html#aaa5306f4f26b5a11342a726c2f7e4bb6',1,'SVF::RelExeState::eqVarToValMap()']]],
-  ['errmsg_8261',['errMsg',['../namespaceSVF_1_1SVFUtil.html#a7655b13bbfe720ca2b8a25e0a72528e6',1,'SVF::SVFUtil']]],
-  ['errs_8262',['errs',['../namespaceSVF_1_1SVFUtil.html#ab65033f068bfbeb0a1c52dcec3beb6bc',1,'SVF::SVFUtil']]],
-  ['escapestr_8263',['EscapeStr',['../namespaceSVF_1_1DOT.html#a9e3127c2bbedaec1f20d4437bea9e2f7',1,'SVF::DOT']]],
-  ['evalfinalcond_8264',['evalFinalCond',['../classSVF_1_1ProgSlice.html#afac06b0be2b04cb8a65af21fd697b756',1,'SVF::ProgSlice']]],
-  ['evalfinalcond2event_8265',['evalFinalCond2Event',['../classSVF_1_1ProgSlice.html#a215c9142830814ae838d15d9b7b40af9',1,'SVF::ProgSlice']]],
-  ['evalmdtag_8266',['evalMDTag',['../classSVF_1_1Annotator.html#a1a21ded1623d10fddb4048ae314e6722',1,'SVF::Annotator']]],
-  ['evaluate_8267',['evaluate',['../classSVF_1_1NodeIDAllocator_1_1Clusterer.html#acbbc5c04c79846fe1cc46a3bd5a65aba',1,'SVF::NodeIDAllocator::Clusterer']]],
-  ['evaluatebranchcond_8268',['evaluateBranchCond',['../classSVF_1_1SaberCondAllocator.html#ab1e0f5cb65f7a50da2700fd1f959ea78',1,'SVF::SaberCondAllocator']]],
-  ['evaluateloopexitbranch_8269',['evaluateLoopExitBranch',['../classSVF_1_1SaberCondAllocator.html#ab61767b4608efbd2fc4139bb6781b824',1,'SVF::SaberCondAllocator']]],
-  ['evaluateprogexit_8270',['evaluateProgExit',['../classSVF_1_1SaberCondAllocator.html#a25f4e42de59e143314917bdfd8122cbe',1,'SVF::SaberCondAllocator']]],
-  ['evaluatetestnulllikeexpr_8271',['evaluateTestNullLikeExpr',['../classSVF_1_1SaberCondAllocator.html#a25b84bca2e3a439ade40bb98fa7093f7',1,'SVF::SaberCondAllocator']]],
-  ['exactcondelem_8272',['exactCondElem',['../classSVF_1_1SaberCondAllocator.html#a87205db039579f05214507c48d6befec',1,'SVF::SaberCondAllocator']]],
-  ['executedbythesamethread_8273',['executedByTheSameThread',['../classSVF_1_1MHP.html#ac10a8f3a4b09dc257be9edabccea3fbb',1,'SVF::MHP']]],
-  ['exestate_8274',['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_8275',['existsVar',['../classSVF_1_1RelExeState.html#a85573e2041f53c49da9f92b95ccbc052',1,'SVF::RelExeState']]],
-  ['expandfiobjs_8276',['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_8277',['ExtAPI',['../classSVF_1_1ExtAPI.html#ab793be4b6f8f0a025599e76f5df2a4eb',1,'SVF::ExtAPI']]],
-  ['extendbackward_8278',['extendBackward',['../classSVF_1_1CoreBitVector.html#ab6d789e3c68390a9026fd4f8c4cf344a',1,'SVF::CoreBitVector']]],
-  ['extendforward_8279',['extendForward',['../classSVF_1_1CoreBitVector.html#a5d3f1eb85bc388cb76c588b8d8b3c181',1,'SVF::CoreBitVector']]],
-  ['extendto_8280',['extendTo',['../classSVF_1_1CoreBitVector.html#a73e5b15854f4f56f50992ed0d0cc7349',1,'SVF::CoreBitVector']]],
-  ['extractattributestrfromsymbolstr_8281',['extractAttributeStrFromSymbolStr',['../classSVF_1_1GrammarBase.html#a0e99f099b675baae8d1e84b453ee05e0',1,'SVF::GrammarBase']]],
-  ['extractbbs_8282',['extractBBS',['../classSVF_1_1CDGBuilder.html#ac0b9dae9bae020608e293b1288bb988b',1,'SVF::CDGBuilder']]],
-  ['extractclsnamefromdyncast_8283',['extractClsNameFromDynCast',['../namespaceSVF_1_1cppUtil.html#a26ccd6abf127a7ccc34a973f7b13161b',1,'SVF::cppUtil']]],
-  ['extractclsnamesfromfunc_8284',['extractClsNamesFromFunc',['../namespaceSVF_1_1cppUtil.html#ae97bb256f20aa617f21a49c98d46177a',1,'SVF::cppUtil']]],
-  ['extractclsnamesfromtemplate_8285',['extractClsNamesFromTemplate',['../namespaceSVF_1_1cppUtil.html#a9d10cfca65caae543dd9d5a1dddf60e7',1,'SVF::cppUtil']]],
-  ['extractcmpvars_8286',['extractCmpVars',['../classSVF_1_1RelExeState.html#af32619ee086ab307c68923f7c66896aa',1,'SVF::RelExeState']]],
-  ['extractkindstrfromsymbolstr_8287',['extractKindStrFromSymbolStr',['../classSVF_1_1GrammarBase.html#a333aa14f1f969ff9cf60c23b35535074',1,'SVF::GrammarBase']]],
-  ['extractnodesbetweenpdomnodes_8288',['extractNodesBetweenPdomNodes',['../classSVF_1_1CDGBuilder.html#a6a7139139b2f0124e1729036490886db',1,'SVF::CDGBuilder']]],
-  ['extractpossibilitydescriptions_8289',['extractPossibilityDescriptions',['../classOptionBase.html#a21e8ccc08eef254ceee53185a717301d',1,'OptionBase']]],
-  ['extractsubconds_8290',['extractSubConds',['../classSVF_1_1SaberCondAllocator.html#a9f43fe1cacf419f03276d66c3a54fe77',1,'SVF::SaberCondAllocator']]],
-  ['extractsubvars_8291',['extractSubVars',['../classSVF_1_1RelExeState.html#a3393f160508c33e68ebedd042d1d296f',1,'SVF::RelExeState']]]
+  ['ebnf_5fbin_8394',['ebnf_bin',['../classSVF_1_1CFGNormalizer.html#a163ded39f15b19d6d1726621ba8b83d0',1,'SVF::CFGNormalizer']]],
+  ['ebnfbracketmatch_8395',['ebnfBracketMatch',['../classSVF_1_1CFGNormalizer.html#ad5711bb556e7e793841daa5a94372fcf',1,'SVF::CFGNormalizer']]],
+  ['ebnfsignreplace_8396',['ebnfSignReplace',['../classSVF_1_1CFGNormalizer.html#a2c128a0c3f7307694f757d2dd87b09f5',1,'SVF::CFGNormalizer']]],
+  ['ecunion_8397',['ecUnion',['../classSVF_1_1Steensgaard.html#a191e77e62916d868b2af730264e26dd8',1,'SVF::Steensgaard']]],
+  ['edge_5fdest_8398',['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_8399',['edgeInCallGraphSCC',['../classSVF_1_1ContextDDA.html#ad54f523bf5f2504c1924b4f94c5abbba',1,'SVF::ContextDDA::edgeInCallGraphSCC()'],['../classSVF_1_1DDAPass.html#aab60429398a89ec1c8663a305130376f',1,'SVF::DDAPass::edgeInCallGraphSCC()']]],
+  ['edgeinsvfgscc_8400',['edgeInSVFGSCC',['../classSVF_1_1DDAPass.html#a3810708c5e2695d2a0e36084b589e432',1,'SVF::DDAPass::edgeInSVFGSCC()'],['../classSVF_1_1DDAVFSolver.html#a034e3c8b2eec00aee9de439dfeeda332',1,'SVF::DDAVFSolver::edgeInSVFGSCC()']]],
+  ['edgetargetsedgesource_8401',['edgeTargetsEdgeSource',['../structSVF_1_1DefaultDOTGraphTraits.html#a78c40f9b1af839116b88519fca154396',1,'SVF::DefaultDOTGraphTraits']]],
+  ['emitedge_8402',['emitEdge',['../classSVF_1_1GraphWriter.html#a320577b81479578a8e6021380f9c07a7',1,'SVF::GraphWriter']]],
+  ['emitsimplenode_8403',['emitSimpleNode',['../classSVF_1_1GraphWriter.html#a0feff91ed80b997dd4550fae16382768',1,'SVF::GraphWriter']]],
+  ['emplacepts_8404',['emplacePts',['../classSVF_1_1PersistentPointsToCache.html#a98d176e384469e0308bfee2061ef84b5',1,'SVF::PersistentPointsToCache']]],
+  ['empty_8405',['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_8406',['emptyPointsToId',['../classSVF_1_1PersistentPointsToCache.html#a921a4ef4c72ccde5724860f98ad62a57',1,'SVF::PersistentPointsToCache']]],
+  ['end_8407',['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_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_1WTOCycleDepth.html#a16a1c72a181571a0f131975caa929ade',1,'SVF::WTOCycleDepth::end()'],['../classSVF_1_1WTOCycle.html#a03fd55dd34c48d22cefcaf6dc93f734a',1,'SVF::WTOCycle::end()'],['../classSVF_1_1WTO.html#a22b67a51964cb1d7882aab7e74b026f2',1,'SVF::WTO::end()'],['../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_8408',['endClk',['../classSVF_1_1SVFStat.html#a1b7f1e3381de87f75f06cddb9c6c1ec1',1,'SVF::SVFStat']]],
+  ['endsymbolallocation_8409',['endSymbolAllocation',['../classSVF_1_1NodeIDAllocator.html#a92b053f79cfa1259603836cb0aacad7d',1,'SVF::NodeIDAllocator']]],
+  ['ensure_8410',['ensure',['../cJSON_8cpp.html#a3faa1600bc8001eaed05f16060668ce6',1,'cJSON.cpp']]],
+  ['entrychi_8411',['EntryCHI',['../classSVF_1_1EntryCHI.html#a0ba7181ad2a793bf11e40b7c7092e28b',1,'SVF::EntryCHI']]],
+  ['entryicfgedgesbegin_8412',['entryICFGEdgesBegin',['../classSVF_1_1SVFLoop.html#ae837960286e6861697b99cf7c2ba79e5',1,'SVF::SVFLoop']]],
+  ['entryicfgedgesend_8413',['entryICFGEdgesEnd',['../classSVF_1_1SVFLoop.html#aa9defde1da46995b6e870b80c1f9ae01',1,'SVF::SVFLoop']]],
+  ['equal_8414',['equal',['../classSVF_1_1BoundedZ3Expr.html#a387fffd47cff74341e7c8d7f6f09a13e',1,'SVF::BoundedZ3Expr::equal()'],['../classSVF_1_1NumericLiteral.html#a325e99ded5a026ecdae64004b9392f4a',1,'SVF::NumericLiteral::equal()']]],
+  ['equals_8415',['equals',['../classSVF_1_1AddressValue.html#a04456fe47889dd8f1b712255c9598fe9',1,'SVF::AddressValue::equals()'],['../classSVF_1_1ExeState.html#a45be8c439528b7560024fa51f36a8ffb',1,'SVF::ExeState::equals()'],['../classSVF_1_1IntervalESBase.html#a9133df5ab00e7c2918a8047fd0bdfb08',1,'SVF::IntervalESBase::equals()'],['../classSVF_1_1IntervalExeState.html#a69f5125f14b129607fafb3717160f4c1',1,'SVF::IntervalExeState::equals()'],['../classSVF_1_1IntervalValue.html#ac06d554ff5f63c43f9b02378800488c1',1,'SVF::IntervalValue::equals()']]],
+  ['equalvar_8416',['equalVar',['../classSVF_1_1ConsExeState.html#ad3914ce88b680803d7744c4fa63fa93b',1,'SVF::ConsExeState']]],
+  ['eqvartoaddrs_8417',['eqVarToAddrs',['../classSVF_1_1ExeState.html#a0a24ad3ced48b6755b7fc917d0f0fbb9',1,'SVF::ExeState']]],
+  ['eqvartovalmap_8418',['eqVarToValMap',['../classSVF_1_1ConsExeState.html#ae024143db76c3350ed581db661393052',1,'SVF::ConsExeState::eqVarToValMap()'],['../classSVF_1_1IntervalESBase.html#a5fbb3e0a06cb36f020a6de20ebd04ad1',1,'SVF::IntervalESBase::eqVarToValMap()'],['../classSVF_1_1RelExeState.html#aaa5306f4f26b5a11342a726c2f7e4bb6',1,'SVF::RelExeState::eqVarToValMap()']]],
+  ['errmsg_8419',['errMsg',['../namespaceSVF_1_1SVFUtil.html#a7655b13bbfe720ca2b8a25e0a72528e6',1,'SVF::SVFUtil']]],
+  ['errs_8420',['errs',['../namespaceSVF_1_1SVFUtil.html#ab65033f068bfbeb0a1c52dcec3beb6bc',1,'SVF::SVFUtil']]],
+  ['escapestr_8421',['EscapeStr',['../namespaceSVF_1_1DOT.html#a9e3127c2bbedaec1f20d4437bea9e2f7',1,'SVF::DOT']]],
+  ['evalfinalcond_8422',['evalFinalCond',['../classSVF_1_1ProgSlice.html#afac06b0be2b04cb8a65af21fd697b756',1,'SVF::ProgSlice']]],
+  ['evalfinalcond2event_8423',['evalFinalCond2Event',['../classSVF_1_1ProgSlice.html#a215c9142830814ae838d15d9b7b40af9',1,'SVF::ProgSlice']]],
+  ['evalmdtag_8424',['evalMDTag',['../classSVF_1_1Annotator.html#a1a21ded1623d10fddb4048ae314e6722',1,'SVF::Annotator']]],
+  ['evaluate_8425',['evaluate',['../classSVF_1_1NodeIDAllocator_1_1Clusterer.html#acbbc5c04c79846fe1cc46a3bd5a65aba',1,'SVF::NodeIDAllocator::Clusterer']]],
+  ['evaluatebranchcond_8426',['evaluateBranchCond',['../classSVF_1_1SaberCondAllocator.html#ab1e0f5cb65f7a50da2700fd1f959ea78',1,'SVF::SaberCondAllocator']]],
+  ['evaluateloopexitbranch_8427',['evaluateLoopExitBranch',['../classSVF_1_1SaberCondAllocator.html#ab61767b4608efbd2fc4139bb6781b824',1,'SVF::SaberCondAllocator']]],
+  ['evaluateprogexit_8428',['evaluateProgExit',['../classSVF_1_1SaberCondAllocator.html#a25f4e42de59e143314917bdfd8122cbe',1,'SVF::SaberCondAllocator']]],
+  ['evaluatetestnulllikeexpr_8429',['evaluateTestNullLikeExpr',['../classSVF_1_1SaberCondAllocator.html#a25b84bca2e3a439ade40bb98fa7093f7',1,'SVF::SaberCondAllocator']]],
+  ['exactcondelem_8430',['exactCondElem',['../classSVF_1_1SaberCondAllocator.html#a87205db039579f05214507c48d6befec',1,'SVF::SaberCondAllocator']]],
+  ['executedbythesamethread_8431',['executedByTheSameThread',['../classSVF_1_1MHP.html#ac10a8f3a4b09dc257be9edabccea3fbb',1,'SVF::MHP']]],
+  ['exestate_8432',['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_8433',['existsVar',['../classSVF_1_1RelExeState.html#a85573e2041f53c49da9f92b95ccbc052',1,'SVF::RelExeState']]],
+  ['expandfiobjs_8434',['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_8435',['ExtAPI',['../classSVF_1_1ExtAPI.html#ab793be4b6f8f0a025599e76f5df2a4eb',1,'SVF::ExtAPI']]],
+  ['extcallpass_8436',['extCallPass',['../classSVF_1_1AE.html#ace878a11d6eb7b65d6876f6d9a69b89e',1,'SVF::AE']]],
+  ['extendbackward_8437',['extendBackward',['../classSVF_1_1CoreBitVector.html#ab6d789e3c68390a9026fd4f8c4cf344a',1,'SVF::CoreBitVector']]],
+  ['extendforward_8438',['extendForward',['../classSVF_1_1CoreBitVector.html#a5d3f1eb85bc388cb76c588b8d8b3c181',1,'SVF::CoreBitVector']]],
+  ['extendto_8439',['extendTo',['../classSVF_1_1CoreBitVector.html#a73e5b15854f4f56f50992ed0d0cc7349',1,'SVF::CoreBitVector']]],
+  ['extractattributestrfromsymbolstr_8440',['extractAttributeStrFromSymbolStr',['../classSVF_1_1GrammarBase.html#a0e99f099b675baae8d1e84b453ee05e0',1,'SVF::GrammarBase']]],
+  ['extractbbs_8441',['extractBBS',['../classSVF_1_1CDGBuilder.html#ac0b9dae9bae020608e293b1288bb988b',1,'SVF::CDGBuilder']]],
+  ['extractclsnamefromdyncast_8442',['extractClsNameFromDynCast',['../namespaceSVF_1_1cppUtil.html#a26ccd6abf127a7ccc34a973f7b13161b',1,'SVF::cppUtil']]],
+  ['extractclsnamesfromfunc_8443',['extractClsNamesFromFunc',['../namespaceSVF_1_1cppUtil.html#ae97bb256f20aa617f21a49c98d46177a',1,'SVF::cppUtil']]],
+  ['extractclsnamesfromtemplate_8444',['extractClsNamesFromTemplate',['../namespaceSVF_1_1cppUtil.html#a9d10cfca65caae543dd9d5a1dddf60e7',1,'SVF::cppUtil']]],
+  ['extractcmpvars_8445',['extractCmpVars',['../classSVF_1_1RelExeState.html#af32619ee086ab307c68923f7c66896aa',1,'SVF::RelExeState']]],
+  ['extractkindstrfromsymbolstr_8446',['extractKindStrFromSymbolStr',['../classSVF_1_1GrammarBase.html#a333aa14f1f969ff9cf60c23b35535074',1,'SVF::GrammarBase']]],
+  ['extractnodesbetweenpdomnodes_8447',['extractNodesBetweenPdomNodes',['../classSVF_1_1CDGBuilder.html#a6a7139139b2f0124e1729036490886db',1,'SVF::CDGBuilder']]],
+  ['extractpossibilitydescriptions_8448',['extractPossibilityDescriptions',['../classOptionBase.html#a21e8ccc08eef254ceee53185a717301d',1,'OptionBase']]],
+  ['extractsubconds_8449',['extractSubConds',['../classSVF_1_1SaberCondAllocator.html#a9f43fe1cacf419f03276d66c3a54fe77',1,'SVF::SaberCondAllocator']]],
+  ['extractsubvars_8450',['extractSubVars',['../classSVF_1_1RelExeState.html#a3393f160508c33e68ebedd042d1d296f',1,'SVF::RelExeState']]]
 ];