svf-tools 1.0.913 → 1.0.915

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

@@ -1,80 +1,80 @@
 var searchData=
 [
-  ['wall_6249',['Wall',['../classSVF_1_1SVFStat.html#a4f47da512cfa8f94fddaddc65334b454a4daec28631d54e09b587e78707ab54fc',1,'SVF::SVFStat']]],
-  ['warn_5fifnot_6250',['WARN_IFNOT',['../ObjTypeInference_8cpp.html#a482b3cc567fd28e9a30e7594c100149f',1,'ObjTypeInference.cpp']]],
-  ['warn_5fmsg_6251',['WARN_MSG',['../ObjTypeInference_8cpp.html#ac48ef12f2a6f605d6fa5d31e7623a826',1,'ObjTypeInference.cpp']]],
-  ['weakupdateoutfromin_6252',['weakUpdateOutFromIn',['../classSVF_1_1FlowSensitive.html#ab492c283e2264b4cbd4c192e805b7750',1,'SVF::FlowSensitive']]],
-  ['what_6253',['what',['../structSVF_1_1BufOverflowException.html#a4eb54eb3943f96e60f89d2fdd99f08c0',1,'SVF::BufOverflowException']]],
-  ['which_6254',['which',['../cJSON_8h.html#aa2a4dae2a14de4093826005f9bdfd3bb',1,'which(): cJSON.h'],['../cJSON_8cpp.html#aa2a4dae2a14de4093826005f9bdfd3bb',1,'which(): cJSON.cpp']]],
-  ['while_6255',['while',['../cJSON_8cpp.html#a209b15238c5803bc547b2d77e02f29b4',1,'cJSON.cpp']]],
-  ['widen_5fwith_6256',['widen_with',['../structSVF_1_1AbstractValue.html#a707f6afd5eaa421981bba96318f1b644',1,'SVF::AbstractValue::widen_with()'],['../classSVF_1_1IntervalValue.html#ab7ddcc29a116944a91db24af90d4c144',1,'SVF::IntervalValue::widen_with()']]],
-  ['widenaddrs_6257',['widenAddrs',['../classSVF_1_1SVFIR2AbsState.html#ad41b11a2a046f253353f5e888c0004ca',1,'SVF::SVFIR2AbsState']]],
-  ['widendelay_6258',['WidenDelay',['../classSVF_1_1Options.html#ab25f7ec430ba1d41597fc409b758b193',1,'SVF::Options']]],
-  ['widenfixpointpass_6259',['widenFixpointPass',['../classSVF_1_1AbstractInterpretation.html#a1b8e1e0cc9803687a0eb951015ac59af',1,'SVF::AbstractInterpretation']]],
-  ['widening_6260',['widening',['../classSVF_1_1AbstractState.html#afd37c4419cfc79b6765fa243fcbea573',1,'SVF::AbstractState']]],
-  ['widenwith_6261',['widenWith',['../classSVF_1_1AbstractState.html#a8d2a6e895d17181324cdeb9e2cf8f1de',1,'SVF::AbstractState']]],
-  ['word_6262',['word',['../structSVF_1_1SparseBitVectorElement.html#a5d43d980591d14d3a3d0782be034ed4f',1,'SVF::SparseBitVectorElement::word()'],['../classSVF_1_1CoreBitVector.html#aaee26ffc13d05cd57f0fd7e4c2ea875c',1,'SVF::CoreBitVector::Word()']]],
-  ['wordit_6263',['wordIt',['../classSVF_1_1CoreBitVector_1_1CoreBitVectorIterator.html#a1afa1cb9e8377d3dab767aa4bfc713dc',1,'SVF::CoreBitVector::CoreBitVectorIterator']]],
-  ['wordnumber_6264',['WordNumber',['../classSVF_1_1SparseBitVector_1_1SparseBitVectorIterator.html#a6b139db78c9cba017df0fa468bee713a',1,'SVF::SparseBitVector::SparseBitVectorIterator']]],
-  ['words_6265',['words',['../classSVF_1_1CoreBitVector.html#a807283a917e845ef19c4962b1744e98b',1,'SVF::CoreBitVector']]],
-  ['wordsize_6266',['WordSize',['../classSVF_1_1CoreBitVector.html#a63f5e4a36359ae62401e5f8dfecb86a3',1,'SVF::CoreBitVector']]],
-  ['worklist_6267',['worklist',['../classSVF_1_1CFLSolver.html#a211bb78846886aa9ccd4b160da81e02e',1,'SVF::CFLSolver::worklist()'],['../classSVF_1_1SVFGOPT.html#a925f39665e13b18dfe66c2dded44c194',1,'SVF::SVFGOPT::worklist()'],['../classSVF_1_1SrcSnkSolver.html#aeecbd88066567b2f123e84072dd09941',1,'SVF::SrcSnkSolver::worklist()'],['../classSVF_1_1GraphReachSolver.html#a5032d3988dbce5a29274c55dc4dbe6bc',1,'SVF::GraphReachSolver::worklist()'],['../classSVF_1_1WPASolver.html#a1775717a8c8d5d125b7561bc1ae6abf5',1,'SVF::WPASolver::worklist()'],['../classSVF_1_1CHGBuilder.html#a727a1737e7290536b29b05e03d8b85ac',1,'SVF::CHGBuilder::WorkList()'],['../classSVF_1_1ICFGBuilder.html#a2dc4467008cdd6eb896e98b67457082a',1,'SVF::ICFGBuilder::WorkList()'],['../classSVF_1_1CFLSolver.html#a194d2c4c801799b0ba9562e33ca5b695',1,'SVF::CFLSolver::WorkList()'],['../classSVF_1_1CFLSVFGBuilder.html#a287f937ab8cc7f493c942eb1bcdacd6d',1,'SVF::CFLSVFGBuilder::WorkList()'],['../classSVF_1_1CHGraph.html#af1b638faf888898cdf168c25e008ab12',1,'SVF::CHGraph::WorkList()'],['../classSVF_1_1ConstraintGraph.html#ae80fc7e5d68e103d8f3a82bc9ffb0f00',1,'SVF::ConstraintGraph::WorkList()'],['../classSVF_1_1SVFGOPT.html#a3ee399dc45e90a512be7575642855f40',1,'SVF::SVFGOPT::WorkList()'],['../classSVF_1_1MRGenerator.html#a68d50c752252bd40c402c7b99b95f0fc',1,'SVF::MRGenerator::WorkList()'],['../classSVF_1_1LeakChecker.html#af1e1f0fd38f72dcdfb5daa3d8af9538b',1,'SVF::LeakChecker::WorkList()'],['../classSVF_1_1SaberSVFGBuilder.html#a8e07c6afc4ae6e2792431065c2948039',1,'SVF::SaberSVFGBuilder::WorkList()'],['../classSVF_1_1SrcSnkDDA.html#a3c0d8850c4dae49a760ce5f80fb8822a',1,'SVF::SrcSnkDDA::WorkList()'],['../classSVF_1_1SrcSnkSolver.html#a19861635c58ef6db7347c22daabf80da',1,'SVF::SrcSnkSolver::WorkList()'],['../classSVF_1_1GraphReachSolver.html#a472784c3cb958b4347958f039d2fe054',1,'SVF::GraphReachSolver::WorkList()'],['../classSVF_1_1WPASolver.html#a624e9156b2d3a4f284548cbaaf650334',1,'SVF::WPASolver::WorkList()']]],
-  ['worklist_2eh_6268',['WorkList.h',['../WorkList_8h.html',1,'']]],
-  ['workstack_6269',['WorkStack',['../classSVF_1_1CSC.html#a0490b9998987d245ee6e56bc68db4f1e',1,'SVF::CSC']]],
-  ['wpa_2ecpp_6270',['wpa.cpp',['../wpa_8cpp.html',1,'']]],
-  ['wpaconstraintsolver_6271',['WPAConstraintSolver',['../namespaceSVF.html#ae9c142945ea31b6c70bceb93eb6f3ca4',1,'SVF']]],
-  ['wpafssolver_6272',['WPAFSSolver',['../classSVF_1_1WPAFSSolver.html',1,'SVF::WPAFSSolver< GraphType >'],['../classSVF_1_1WPAFSSolver.html#a3bab50f0e94f516204d6622420de7db7',1,'SVF::WPAFSSolver::WPAFSSolver()']]],
-  ['wpafssolver_2eh_6273',['WPAFSSolver.h',['../WPAFSSolver_8h.html',1,'']]],
-  ['wpaminimumsolver_6274',['WPAMinimumSolver',['../classSVF_1_1WPAMinimumSolver.html',1,'SVF::WPAMinimumSolver< GraphType >'],['../classSVF_1_1WPAMinimumSolver.html#aaf8b6410ba9667f7a46fc4ca05900ed3',1,'SVF::WPAMinimumSolver::WPAMinimumSolver()']]],
-  ['wpanum_6275',['WPANum',['../classSVF_1_1Options.html#a782d52d7e8d423c2bef27b34d518ffd9',1,'SVF::Options']]],
-  ['wpapass_6276',['WPAPass',['../classSVF_1_1WPAPass.html',1,'SVF::WPAPass'],['../classSVF_1_1WPAPass.html#a3fc957e01a3ac7c242c030c6f6846fa9',1,'SVF::WPAPass::WPAPass()']]],
-  ['wpapass_2ecpp_6277',['WPAPass.cpp',['../WPAPass_8cpp.html',1,'']]],
-  ['wpapass_2eh_6278',['WPAPass.h',['../WPAPass_8h.html',1,'']]],
-  ['wpasccsolver_6279',['WPASCCSolver',['../classSVF_1_1WPASCCSolver.html',1,'SVF::WPASCCSolver< GraphType >'],['../classSVF_1_1WPASCCSolver.html#aa2c15ca2f8fba1a5d77f0332e4ddf9e8',1,'SVF::WPASCCSolver::WPASCCSolver()']]],
-  ['wpasolver_6280',['WPASolver',['../classSVF_1_1WPASolver.html',1,'SVF::WPASolver< GraphType >'],['../classSVF_1_1WPASolver.html#a0c5616b0e340955dafc2ab2f21740abd',1,'SVF::WPASolver::WPASolver()']]],
-  ['wpasolver_2eh_6281',['WPASolver.h',['../WPASolver_8h.html',1,'']]],
-  ['wpastat_2eh_6282',['WPAStat.h',['../WPAStat_8h.html',1,'']]],
-  ['wpasvfgfssolver_6283',['WPASVFGFSSolver',['../namespaceSVF.html#a221270d70aa99a37738c0f919519a73d',1,'SVF']]],
-  ['wrapped_6284',['wrapped',['../classSVF_1_1iter__adaptor__base.html#afa1dc067ea97ae5db1e2618e47be1525',1,'SVF::iter_adaptor_base']]],
-  ['writeander_6285',['WriteAnder',['../classSVF_1_1Options.html#aabeb232a46547fd35ddc96244fdaf1b9',1,'SVF::Options']]],
-  ['writeedge_6286',['writeEdge',['../classSVF_1_1GraphWriter.html#a6133d0033363b0e9db156c354da7d7e6',1,'SVF::GraphWriter']]],
-  ['writefooter_6287',['writeFooter',['../classSVF_1_1GraphWriter.html#a5c3ce0eba24c71f847676b23b855e44c',1,'SVF::GraphWriter']]],
-  ['writegepobjvarmaptofile_6288',['writeGepObjVarMapToFile',['../classSVF_1_1BVDataPTAImpl.html#a5e782fb9a94a62403046c483ca4176c3',1,'SVF::BVDataPTAImpl']]],
-  ['writegraph_6289',['writeGraph',['../classSVF_1_1GraphWriter.html#ae414407f483b60c9fa49e2f3ae62de30',1,'SVF::GraphWriter::writeGraph()'],['../namespaceSVF.html#ae27267f89add1338fd5afe3a38f61ebd',1,'SVF::WriteGraph(std::ofstream &O, const GraphType &G, bool ShortNames=false)'],['../namespaceSVF.html#a587614f74cb00a35a423559265239798',1,'SVF::WriteGraph(const GraphType &G, bool ShortNames=false, std::string Filename="")']]],
-  ['writegraphtofile_6290',['WriteGraphToFile',['../classSVF_1_1GraphPrinter.html#a014217fb0d05c8f2a2f1a6c5b19d3e10',1,'SVF::GraphPrinter']]],
-  ['writeheader_6291',['writeHeader',['../classSVF_1_1GraphWriter.html#abd376959cc889e1e387523f38674650f',1,'SVF::GraphWriter']]],
-  ['writejsontoostream_6292',['writeJsonToOstream',['../classSVF_1_1SVFIRWriter.html#a12d70e815fa53a4121d375ac26f2c30f',1,'SVF::SVFIRWriter']]],
-  ['writejsontopath_6293',['writeJsonToPath',['../classSVF_1_1SVFIRWriter.html#a2bbb4e38ce3eb2c43b7f01cb240df9c8',1,'SVF::SVFIRWriter']]],
-  ['writenode_6294',['writeNode',['../classSVF_1_1GraphWriter.html#a18c579b53feccbb3b521982c6161f555',1,'SVF::GraphWriter']]],
-  ['writenodes_6295',['writeNodes',['../classSVF_1_1GraphWriter.html#ada2363727dc20c2183b8252f3bdf3a04',1,'SVF::GraphWriter']]],
-  ['writeobjvartofile_6296',['writeObjVarToFile',['../classSVF_1_1BVDataPTAImpl.html#a3279969934d6778a6cffe926ed724bfc',1,'SVF::BVDataPTAImpl']]],
-  ['writeptsresulttofile_6297',['writePtsResultToFile',['../classSVF_1_1BVDataPTAImpl.html#a6ca3ab1e32012ef13613f52f27f3c502',1,'SVF::BVDataPTAImpl']]],
-  ['writerptrpool_6298',['WriterPtrPool',['../classSVF_1_1WriterPtrPool.html',1,'SVF']]],
-  ['writerptrpool_3c_20edgetype_20_3e_6299',['WriterPtrPool< EdgeType >',['../classSVF_1_1WriterPtrPool.html',1,'SVF']]],
-  ['writerptrpool_3c_20svf_3a_3astinfo_20_3e_6300',['WriterPtrPool< SVF::StInfo >',['../classSVF_1_1WriterPtrPool.html',1,'SVF']]],
-  ['writerptrpool_3c_20svf_3a_3asvfloop_20_3e_6301',['WriterPtrPool< SVF::SVFLoop >',['../classSVF_1_1WriterPtrPool.html',1,'SVF']]],
-  ['writerptrpool_3c_20svf_3a_3asvftype_20_3e_6302',['WriterPtrPool< SVF::SVFType >',['../classSVF_1_1WriterPtrPool.html',1,'SVF']]],
-  ['writerptrpool_3c_20svf_3a_3asvfvalue_20_3e_6303',['WriterPtrPool< SVF::SVFValue >',['../classSVF_1_1WriterPtrPool.html',1,'SVF']]],
-  ['writesvfg_6304',['WriteSVFG',['../classSVF_1_1Options.html#a26711c33c9247a296f6dfaaf36d38e47',1,'SVF::Options']]],
-  ['writetofile_6305',['writeToFile',['../classSVF_1_1SVFG.html#a7ce9ec638995467c211958262be08ee1',1,'SVF::SVFG::writeToFile()'],['../classSVF_1_1BVDataPTAImpl.html#a25c68f9d2b88437778e854ff0d741d1b',1,'SVF::BVDataPTAImpl::writeToFile()']]],
-  ['writeversionedanalysisresulttofile_6306',['writeVersionedAnalysisResultToFile',['../classSVF_1_1VersionedFlowSensitive.html#ab2c21cc1e4cd4d7dbc12b6bd9f34d971',1,'SVF::VersionedFlowSensitive']]],
-  ['writewrnmsg_6307',['writeWrnMsg',['../namespaceSVF_1_1SVFUtil.html#ab2e0196e0ce547ab4a483cc6d2646b24',1,'SVF::SVFUtil']]],
-  ['wrnmsg_6308',['wrnMsg',['../namespaceSVF_1_1SVFUtil.html#ac71522e8c55f84cfc6c13a0ddff18436',1,'SVF::SVFUtil']]],
-  ['wto_6309',['WTO',['../classSVF_1_1WTO.html',1,'SVF::WTO< GraphT >'],['../classSVF_1_1WTO.html#a7757a14d821963ad5ee03da0b542f8fb',1,'SVF::WTO::WTO(GraphT *graph, const NodeT *entry)'],['../classSVF_1_1WTO.html#a8455eb5252fb82df098af03ebca76044',1,'SVF::WTO::WTO(const WTO &other)=default'],['../classSVF_1_1WTO.html#a0a8be6a1d8bd92d38eec429f68ce0414',1,'SVF::WTO::WTO(WTO &&other)=default']]],
-  ['wto_2eh_6310',['WTO.h',['../WTO_8h.html',1,'']]],
-  ['wto_3c_20icfg_20_3e_6311',['WTO< ICFG >',['../classSVF_1_1WTO.html',1,'SVF']]],
-  ['wtocomponent_6312',['WTOComponent',['../classSVF_1_1WTOComponent.html',1,'SVF::WTOComponent< GraphT >'],['../classSVF_1_1WTOComponent.html#a5ef3384996e29f5f38490b4266b19f01',1,'SVF::WTOComponent::WTOComponent(WTOCT k)'],['../classSVF_1_1WTOComponent.html#a75dd240e4ab25cb4a44b49fdc1f8f8e1',1,'SVF::WTOComponent::WTOComponent(const WTOComponent &) noexcept=default'],['../classSVF_1_1WTOComponent.html#ad26a0586d1561625da575ffee89872ba',1,'SVF::WTOComponent::WTOComponent(WTOComponent &&) noexcept=default']]],
-  ['wtocomponentptr_6313',['WTOComponentPtr',['../classSVF_1_1WTOCycle.html#acc26c1e8e39691416b590d1a29f57c38',1,'SVF::WTOCycle::WTOComponentPtr()'],['../classSVF_1_1WTO.html#a15ecb3d149a88c93318133314d010954',1,'SVF::WTO::WTOComponentPtr()']]],
-  ['wtocomponentreflist_6314',['WTOComponentRefList',['../classSVF_1_1WTOCycle.html#a04d7ad708faad0b6cb360e6010c21600',1,'SVF::WTOCycle::WTOComponentRefList()'],['../classSVF_1_1WTO.html#ac1a8ef3c15d484dc4f593b7d737e7de9',1,'SVF::WTO::WTOComponentRefList()']]],
-  ['wtocomponentrefset_6315',['WTOComponentRefSet',['../classSVF_1_1WTO.html#a928688b5f1e2111311262ccd936b1ca9',1,'SVF::WTO']]],
-  ['wtocomponentt_6316',['WTOComponentT',['../classSVF_1_1WTOCycle.html#adaa4b0f063eaf6f1bd02da38fd3b29de',1,'SVF::WTOCycle::WTOComponentT()'],['../classSVF_1_1WTO.html#a43bd515dd7ea9ae1f56b79d29cfdc00c',1,'SVF::WTO::WTOComponentT()']]],
-  ['wtocomponentvisitor_6317',['WTOComponentVisitor',['../classSVF_1_1WTOComponentVisitor.html',1,'SVF::WTOComponentVisitor< GraphT >'],['../classSVF_1_1WTOComponentVisitor.html#a829bc3b32dcb5740da40c5cff75680d9',1,'SVF::WTOComponentVisitor::WTOComponentVisitor()=default'],['../classSVF_1_1WTOComponentVisitor.html#a5f777a348f19da93c6a171b9fedab820',1,'SVF::WTOComponentVisitor::WTOComponentVisitor(const WTOComponentVisitor &) noexcept=default'],['../classSVF_1_1WTOComponentVisitor.html#a2794d733ce218f62e2550c946c7b9b84',1,'SVF::WTOComponentVisitor::WTOComponentVisitor(WTOComponentVisitor &&) noexcept=default']]],
-  ['wtoct_6318',['WTOCT',['../classSVF_1_1WTOComponent.html#a3c2b9ef6ae6a3d47b0bba929f12560f7',1,'SVF::WTOComponent']]],
-  ['wtocycle_6319',['WTOCycle',['../classSVF_1_1WTOCycle.html',1,'SVF::WTOCycle< GraphT >'],['../classSVF_1_1WTOCycle.html#a19ad36eef78d46348ca75c5d2e12519b',1,'SVF::WTOCycle::WTOCycle()']]],
-  ['wtocycledepth_6320',['WTOCycleDepth',['../classSVF_1_1WTOCycleDepth.html',1,'SVF::WTOCycleDepth< GraphT >'],['../classSVF_1_1WTOCycleDepth.html#a949e2ee782c346339a1ddaa868c8abaf',1,'SVF::WTOCycleDepth::WTOCycleDepth()=default'],['../classSVF_1_1WTOCycleDepth.html#a764ec49c9f0e5ed2f920c55c63e1c193',1,'SVF::WTOCycleDepth::WTOCycleDepth(const WTOCycleDepth &)=default'],['../classSVF_1_1WTOCycleDepth.html#a515c00e2a0997640874856d4eae419fb',1,'SVF::WTOCycleDepth::WTOCycleDepth(WTOCycleDepth &&)=default']]],
-  ['wtocycledepthbuilder_6321',['WTOCycleDepthBuilder',['../classSVF_1_1WTO_1_1WTOCycleDepthBuilder.html',1,'SVF::WTO< GraphT >::WTOCycleDepthBuilder'],['../classSVF_1_1WTO_1_1WTOCycleDepthBuilder.html#a6cf986992bb78e6e3aa2e75b883c01c9',1,'SVF::WTO::WTOCycleDepthBuilder::WTOCycleDepthBuilder()']]],
-  ['wtocycledepthptr_6322',['WTOCycleDepthPtr',['../classSVF_1_1WTO.html#a8022c9a6ebc62ed292698f07ab93bafe',1,'SVF::WTO']]],
-  ['wtocyclet_6323',['WTOCycleT',['../classSVF_1_1WTOComponentVisitor.html#a978324f9b276a9d086b9e7a12feac997',1,'SVF::WTOComponentVisitor::WTOCycleT()'],['../classSVF_1_1WTO.html#a71a0d4afca77f59db4829c7b39419429',1,'SVF::WTO::WTOCycleT()']]],
-  ['wtonode_6324',['WTONode',['../classSVF_1_1WTONode.html',1,'SVF::WTONode< GraphT >'],['../classSVF_1_1WTONode.html#acb1c9f5fa393500a8efe9f885b1748ce',1,'SVF::WTONode::WTONode()']]],
-  ['wtonodet_6325',['WTONodeT',['../classSVF_1_1WTOComponentVisitor.html#a873b7e2a4166cb6a5b48a63dbafa295d',1,'SVF::WTOComponentVisitor::WTONodeT()'],['../classSVF_1_1WTO.html#a96f37d843d4bd7c2b30cfc5bc59cf90d',1,'SVF::WTO::WTONodeT()']]]
+  ['wall_6236',['Wall',['../classSVF_1_1SVFStat.html#a4f47da512cfa8f94fddaddc65334b454a4daec28631d54e09b587e78707ab54fc',1,'SVF::SVFStat']]],
+  ['warn_5fifnot_6237',['WARN_IFNOT',['../ObjTypeInference_8cpp.html#a482b3cc567fd28e9a30e7594c100149f',1,'ObjTypeInference.cpp']]],
+  ['warn_5fmsg_6238',['WARN_MSG',['../ObjTypeInference_8cpp.html#ac48ef12f2a6f605d6fa5d31e7623a826',1,'ObjTypeInference.cpp']]],
+  ['weakupdateoutfromin_6239',['weakUpdateOutFromIn',['../classSVF_1_1FlowSensitive.html#ab492c283e2264b4cbd4c192e805b7750',1,'SVF::FlowSensitive']]],
+  ['what_6240',['what',['../structSVF_1_1BufOverflowException.html#a4eb54eb3943f96e60f89d2fdd99f08c0',1,'SVF::BufOverflowException']]],
+  ['which_6241',['which',['../cJSON_8h.html#aa2a4dae2a14de4093826005f9bdfd3bb',1,'which(): cJSON.h'],['../cJSON_8cpp.html#aa2a4dae2a14de4093826005f9bdfd3bb',1,'which(): cJSON.cpp']]],
+  ['while_6242',['while',['../cJSON_8cpp.html#a209b15238c5803bc547b2d77e02f29b4',1,'cJSON.cpp']]],
+  ['widen_5fwith_6243',['widen_with',['../structSVF_1_1AbstractValue.html#a707f6afd5eaa421981bba96318f1b644',1,'SVF::AbstractValue::widen_with()'],['../classSVF_1_1IntervalValue.html#ab7ddcc29a116944a91db24af90d4c144',1,'SVF::IntervalValue::widen_with()']]],
+  ['widenaddrs_6244',['widenAddrs',['../classSVF_1_1SVFIR2AbsState.html#ad4ae901d5e3fe20c155e508884a5bf7f',1,'SVF::SVFIR2AbsState']]],
+  ['widendelay_6245',['WidenDelay',['../classSVF_1_1Options.html#ab25f7ec430ba1d41597fc409b758b193',1,'SVF::Options']]],
+  ['widenfixpointpass_6246',['widenFixpointPass',['../classSVF_1_1AbstractInterpretation.html#a1b8e1e0cc9803687a0eb951015ac59af',1,'SVF::AbstractInterpretation']]],
+  ['widening_6247',['widening',['../classSVF_1_1AbstractState.html#afd37c4419cfc79b6765fa243fcbea573',1,'SVF::AbstractState']]],
+  ['widenwith_6248',['widenWith',['../classSVF_1_1AbstractState.html#a8d2a6e895d17181324cdeb9e2cf8f1de',1,'SVF::AbstractState']]],
+  ['word_6249',['word',['../structSVF_1_1SparseBitVectorElement.html#a5d43d980591d14d3a3d0782be034ed4f',1,'SVF::SparseBitVectorElement::word()'],['../classSVF_1_1CoreBitVector.html#aaee26ffc13d05cd57f0fd7e4c2ea875c',1,'SVF::CoreBitVector::Word()']]],
+  ['wordit_6250',['wordIt',['../classSVF_1_1CoreBitVector_1_1CoreBitVectorIterator.html#a1afa1cb9e8377d3dab767aa4bfc713dc',1,'SVF::CoreBitVector::CoreBitVectorIterator']]],
+  ['wordnumber_6251',['WordNumber',['../classSVF_1_1SparseBitVector_1_1SparseBitVectorIterator.html#a6b139db78c9cba017df0fa468bee713a',1,'SVF::SparseBitVector::SparseBitVectorIterator']]],
+  ['words_6252',['words',['../classSVF_1_1CoreBitVector.html#a807283a917e845ef19c4962b1744e98b',1,'SVF::CoreBitVector']]],
+  ['wordsize_6253',['WordSize',['../classSVF_1_1CoreBitVector.html#a63f5e4a36359ae62401e5f8dfecb86a3',1,'SVF::CoreBitVector']]],
+  ['worklist_6254',['worklist',['../classSVF_1_1CFLSolver.html#a211bb78846886aa9ccd4b160da81e02e',1,'SVF::CFLSolver::worklist()'],['../classSVF_1_1SVFGOPT.html#a925f39665e13b18dfe66c2dded44c194',1,'SVF::SVFGOPT::worklist()'],['../classSVF_1_1SrcSnkSolver.html#aeecbd88066567b2f123e84072dd09941',1,'SVF::SrcSnkSolver::worklist()'],['../classSVF_1_1GraphReachSolver.html#a5032d3988dbce5a29274c55dc4dbe6bc',1,'SVF::GraphReachSolver::worklist()'],['../classSVF_1_1WPASolver.html#a1775717a8c8d5d125b7561bc1ae6abf5',1,'SVF::WPASolver::worklist()'],['../classSVF_1_1CHGBuilder.html#a727a1737e7290536b29b05e03d8b85ac',1,'SVF::CHGBuilder::WorkList()'],['../classSVF_1_1ICFGBuilder.html#a2dc4467008cdd6eb896e98b67457082a',1,'SVF::ICFGBuilder::WorkList()'],['../classSVF_1_1CFLSolver.html#a194d2c4c801799b0ba9562e33ca5b695',1,'SVF::CFLSolver::WorkList()'],['../classSVF_1_1CFLSVFGBuilder.html#a287f937ab8cc7f493c942eb1bcdacd6d',1,'SVF::CFLSVFGBuilder::WorkList()'],['../classSVF_1_1CHGraph.html#af1b638faf888898cdf168c25e008ab12',1,'SVF::CHGraph::WorkList()'],['../classSVF_1_1ConstraintGraph.html#ae80fc7e5d68e103d8f3a82bc9ffb0f00',1,'SVF::ConstraintGraph::WorkList()'],['../classSVF_1_1SVFGOPT.html#a3ee399dc45e90a512be7575642855f40',1,'SVF::SVFGOPT::WorkList()'],['../classSVF_1_1MRGenerator.html#a68d50c752252bd40c402c7b99b95f0fc',1,'SVF::MRGenerator::WorkList()'],['../classSVF_1_1LeakChecker.html#af1e1f0fd38f72dcdfb5daa3d8af9538b',1,'SVF::LeakChecker::WorkList()'],['../classSVF_1_1SaberSVFGBuilder.html#a8e07c6afc4ae6e2792431065c2948039',1,'SVF::SaberSVFGBuilder::WorkList()'],['../classSVF_1_1SrcSnkDDA.html#a3c0d8850c4dae49a760ce5f80fb8822a',1,'SVF::SrcSnkDDA::WorkList()'],['../classSVF_1_1SrcSnkSolver.html#a19861635c58ef6db7347c22daabf80da',1,'SVF::SrcSnkSolver::WorkList()'],['../classSVF_1_1GraphReachSolver.html#a472784c3cb958b4347958f039d2fe054',1,'SVF::GraphReachSolver::WorkList()'],['../classSVF_1_1WPASolver.html#a624e9156b2d3a4f284548cbaaf650334',1,'SVF::WPASolver::WorkList()']]],
+  ['worklist_2eh_6255',['WorkList.h',['../WorkList_8h.html',1,'']]],
+  ['workstack_6256',['WorkStack',['../classSVF_1_1CSC.html#a0490b9998987d245ee6e56bc68db4f1e',1,'SVF::CSC']]],
+  ['wpa_2ecpp_6257',['wpa.cpp',['../wpa_8cpp.html',1,'']]],
+  ['wpaconstraintsolver_6258',['WPAConstraintSolver',['../namespaceSVF.html#ae9c142945ea31b6c70bceb93eb6f3ca4',1,'SVF']]],
+  ['wpafssolver_6259',['WPAFSSolver',['../classSVF_1_1WPAFSSolver.html',1,'SVF::WPAFSSolver< GraphType >'],['../classSVF_1_1WPAFSSolver.html#a3bab50f0e94f516204d6622420de7db7',1,'SVF::WPAFSSolver::WPAFSSolver()']]],
+  ['wpafssolver_2eh_6260',['WPAFSSolver.h',['../WPAFSSolver_8h.html',1,'']]],
+  ['wpaminimumsolver_6261',['WPAMinimumSolver',['../classSVF_1_1WPAMinimumSolver.html',1,'SVF::WPAMinimumSolver< GraphType >'],['../classSVF_1_1WPAMinimumSolver.html#aaf8b6410ba9667f7a46fc4ca05900ed3',1,'SVF::WPAMinimumSolver::WPAMinimumSolver()']]],
+  ['wpanum_6262',['WPANum',['../classSVF_1_1Options.html#a782d52d7e8d423c2bef27b34d518ffd9',1,'SVF::Options']]],
+  ['wpapass_6263',['WPAPass',['../classSVF_1_1WPAPass.html',1,'SVF::WPAPass'],['../classSVF_1_1WPAPass.html#a3fc957e01a3ac7c242c030c6f6846fa9',1,'SVF::WPAPass::WPAPass()']]],
+  ['wpapass_2ecpp_6264',['WPAPass.cpp',['../WPAPass_8cpp.html',1,'']]],
+  ['wpapass_2eh_6265',['WPAPass.h',['../WPAPass_8h.html',1,'']]],
+  ['wpasccsolver_6266',['WPASCCSolver',['../classSVF_1_1WPASCCSolver.html',1,'SVF::WPASCCSolver< GraphType >'],['../classSVF_1_1WPASCCSolver.html#aa2c15ca2f8fba1a5d77f0332e4ddf9e8',1,'SVF::WPASCCSolver::WPASCCSolver()']]],
+  ['wpasolver_6267',['WPASolver',['../classSVF_1_1WPASolver.html',1,'SVF::WPASolver< GraphType >'],['../classSVF_1_1WPASolver.html#a0c5616b0e340955dafc2ab2f21740abd',1,'SVF::WPASolver::WPASolver()']]],
+  ['wpasolver_2eh_6268',['WPASolver.h',['../WPASolver_8h.html',1,'']]],
+  ['wpastat_2eh_6269',['WPAStat.h',['../WPAStat_8h.html',1,'']]],
+  ['wpasvfgfssolver_6270',['WPASVFGFSSolver',['../namespaceSVF.html#a221270d70aa99a37738c0f919519a73d',1,'SVF']]],
+  ['wrapped_6271',['wrapped',['../classSVF_1_1iter__adaptor__base.html#afa1dc067ea97ae5db1e2618e47be1525',1,'SVF::iter_adaptor_base']]],
+  ['writeander_6272',['WriteAnder',['../classSVF_1_1Options.html#aabeb232a46547fd35ddc96244fdaf1b9',1,'SVF::Options']]],
+  ['writeedge_6273',['writeEdge',['../classSVF_1_1GraphWriter.html#a6133d0033363b0e9db156c354da7d7e6',1,'SVF::GraphWriter']]],
+  ['writefooter_6274',['writeFooter',['../classSVF_1_1GraphWriter.html#a5c3ce0eba24c71f847676b23b855e44c',1,'SVF::GraphWriter']]],
+  ['writegepobjvarmaptofile_6275',['writeGepObjVarMapToFile',['../classSVF_1_1BVDataPTAImpl.html#a5e782fb9a94a62403046c483ca4176c3',1,'SVF::BVDataPTAImpl']]],
+  ['writegraph_6276',['writeGraph',['../classSVF_1_1GraphWriter.html#ae414407f483b60c9fa49e2f3ae62de30',1,'SVF::GraphWriter::writeGraph()'],['../namespaceSVF.html#ae27267f89add1338fd5afe3a38f61ebd',1,'SVF::WriteGraph(std::ofstream &O, const GraphType &G, bool ShortNames=false)'],['../namespaceSVF.html#a587614f74cb00a35a423559265239798',1,'SVF::WriteGraph(const GraphType &G, bool ShortNames=false, std::string Filename="")']]],
+  ['writegraphtofile_6277',['WriteGraphToFile',['../classSVF_1_1GraphPrinter.html#a014217fb0d05c8f2a2f1a6c5b19d3e10',1,'SVF::GraphPrinter']]],
+  ['writeheader_6278',['writeHeader',['../classSVF_1_1GraphWriter.html#abd376959cc889e1e387523f38674650f',1,'SVF::GraphWriter']]],
+  ['writejsontoostream_6279',['writeJsonToOstream',['../classSVF_1_1SVFIRWriter.html#a12d70e815fa53a4121d375ac26f2c30f',1,'SVF::SVFIRWriter']]],
+  ['writejsontopath_6280',['writeJsonToPath',['../classSVF_1_1SVFIRWriter.html#a2bbb4e38ce3eb2c43b7f01cb240df9c8',1,'SVF::SVFIRWriter']]],
+  ['writenode_6281',['writeNode',['../classSVF_1_1GraphWriter.html#a18c579b53feccbb3b521982c6161f555',1,'SVF::GraphWriter']]],
+  ['writenodes_6282',['writeNodes',['../classSVF_1_1GraphWriter.html#ada2363727dc20c2183b8252f3bdf3a04',1,'SVF::GraphWriter']]],
+  ['writeobjvartofile_6283',['writeObjVarToFile',['../classSVF_1_1BVDataPTAImpl.html#a3279969934d6778a6cffe926ed724bfc',1,'SVF::BVDataPTAImpl']]],
+  ['writeptsresulttofile_6284',['writePtsResultToFile',['../classSVF_1_1BVDataPTAImpl.html#a6ca3ab1e32012ef13613f52f27f3c502',1,'SVF::BVDataPTAImpl']]],
+  ['writerptrpool_6285',['WriterPtrPool',['../classSVF_1_1WriterPtrPool.html',1,'SVF']]],
+  ['writerptrpool_3c_20edgetype_20_3e_6286',['WriterPtrPool< EdgeType >',['../classSVF_1_1WriterPtrPool.html',1,'SVF']]],
+  ['writerptrpool_3c_20svf_3a_3astinfo_20_3e_6287',['WriterPtrPool< SVF::StInfo >',['../classSVF_1_1WriterPtrPool.html',1,'SVF']]],
+  ['writerptrpool_3c_20svf_3a_3asvfloop_20_3e_6288',['WriterPtrPool< SVF::SVFLoop >',['../classSVF_1_1WriterPtrPool.html',1,'SVF']]],
+  ['writerptrpool_3c_20svf_3a_3asvftype_20_3e_6289',['WriterPtrPool< SVF::SVFType >',['../classSVF_1_1WriterPtrPool.html',1,'SVF']]],
+  ['writerptrpool_3c_20svf_3a_3asvfvalue_20_3e_6290',['WriterPtrPool< SVF::SVFValue >',['../classSVF_1_1WriterPtrPool.html',1,'SVF']]],
+  ['writesvfg_6291',['WriteSVFG',['../classSVF_1_1Options.html#a26711c33c9247a296f6dfaaf36d38e47',1,'SVF::Options']]],
+  ['writetofile_6292',['writeToFile',['../classSVF_1_1SVFG.html#a7ce9ec638995467c211958262be08ee1',1,'SVF::SVFG::writeToFile()'],['../classSVF_1_1BVDataPTAImpl.html#a25c68f9d2b88437778e854ff0d741d1b',1,'SVF::BVDataPTAImpl::writeToFile()']]],
+  ['writeversionedanalysisresulttofile_6293',['writeVersionedAnalysisResultToFile',['../classSVF_1_1VersionedFlowSensitive.html#ab2c21cc1e4cd4d7dbc12b6bd9f34d971',1,'SVF::VersionedFlowSensitive']]],
+  ['writewrnmsg_6294',['writeWrnMsg',['../namespaceSVF_1_1SVFUtil.html#ab2e0196e0ce547ab4a483cc6d2646b24',1,'SVF::SVFUtil']]],
+  ['wrnmsg_6295',['wrnMsg',['../namespaceSVF_1_1SVFUtil.html#ac71522e8c55f84cfc6c13a0ddff18436',1,'SVF::SVFUtil']]],
+  ['wto_6296',['WTO',['../classSVF_1_1WTO.html',1,'SVF::WTO< GraphT >'],['../classSVF_1_1WTO.html#a7757a14d821963ad5ee03da0b542f8fb',1,'SVF::WTO::WTO(GraphT *graph, const NodeT *entry)'],['../classSVF_1_1WTO.html#a8455eb5252fb82df098af03ebca76044',1,'SVF::WTO::WTO(const WTO &other)=default'],['../classSVF_1_1WTO.html#a0a8be6a1d8bd92d38eec429f68ce0414',1,'SVF::WTO::WTO(WTO &&other)=default']]],
+  ['wto_2eh_6297',['WTO.h',['../WTO_8h.html',1,'']]],
+  ['wto_3c_20icfg_20_3e_6298',['WTO< ICFG >',['../classSVF_1_1WTO.html',1,'SVF']]],
+  ['wtocomponent_6299',['WTOComponent',['../classSVF_1_1WTOComponent.html',1,'SVF::WTOComponent< GraphT >'],['../classSVF_1_1WTOComponent.html#a5ef3384996e29f5f38490b4266b19f01',1,'SVF::WTOComponent::WTOComponent(WTOCT k)'],['../classSVF_1_1WTOComponent.html#a75dd240e4ab25cb4a44b49fdc1f8f8e1',1,'SVF::WTOComponent::WTOComponent(const WTOComponent &) noexcept=default'],['../classSVF_1_1WTOComponent.html#ad26a0586d1561625da575ffee89872ba',1,'SVF::WTOComponent::WTOComponent(WTOComponent &&) noexcept=default']]],
+  ['wtocomponentptr_6300',['WTOComponentPtr',['../classSVF_1_1WTOCycle.html#acc26c1e8e39691416b590d1a29f57c38',1,'SVF::WTOCycle::WTOComponentPtr()'],['../classSVF_1_1WTO.html#a15ecb3d149a88c93318133314d010954',1,'SVF::WTO::WTOComponentPtr()']]],
+  ['wtocomponentreflist_6301',['WTOComponentRefList',['../classSVF_1_1WTOCycle.html#a04d7ad708faad0b6cb360e6010c21600',1,'SVF::WTOCycle::WTOComponentRefList()'],['../classSVF_1_1WTO.html#ac1a8ef3c15d484dc4f593b7d737e7de9',1,'SVF::WTO::WTOComponentRefList()']]],
+  ['wtocomponentrefset_6302',['WTOComponentRefSet',['../classSVF_1_1WTO.html#a928688b5f1e2111311262ccd936b1ca9',1,'SVF::WTO']]],
+  ['wtocomponentt_6303',['WTOComponentT',['../classSVF_1_1WTOCycle.html#adaa4b0f063eaf6f1bd02da38fd3b29de',1,'SVF::WTOCycle::WTOComponentT()'],['../classSVF_1_1WTO.html#a43bd515dd7ea9ae1f56b79d29cfdc00c',1,'SVF::WTO::WTOComponentT()']]],
+  ['wtocomponentvisitor_6304',['WTOComponentVisitor',['../classSVF_1_1WTOComponentVisitor.html',1,'SVF::WTOComponentVisitor< GraphT >'],['../classSVF_1_1WTOComponentVisitor.html#a829bc3b32dcb5740da40c5cff75680d9',1,'SVF::WTOComponentVisitor::WTOComponentVisitor()=default'],['../classSVF_1_1WTOComponentVisitor.html#a5f777a348f19da93c6a171b9fedab820',1,'SVF::WTOComponentVisitor::WTOComponentVisitor(const WTOComponentVisitor &) noexcept=default'],['../classSVF_1_1WTOComponentVisitor.html#a2794d733ce218f62e2550c946c7b9b84',1,'SVF::WTOComponentVisitor::WTOComponentVisitor(WTOComponentVisitor &&) noexcept=default']]],
+  ['wtoct_6305',['WTOCT',['../classSVF_1_1WTOComponent.html#a3c2b9ef6ae6a3d47b0bba929f12560f7',1,'SVF::WTOComponent']]],
+  ['wtocycle_6306',['WTOCycle',['../classSVF_1_1WTOCycle.html',1,'SVF::WTOCycle< GraphT >'],['../classSVF_1_1WTOCycle.html#a19ad36eef78d46348ca75c5d2e12519b',1,'SVF::WTOCycle::WTOCycle()']]],
+  ['wtocycledepth_6307',['WTOCycleDepth',['../classSVF_1_1WTOCycleDepth.html',1,'SVF::WTOCycleDepth< GraphT >'],['../classSVF_1_1WTOCycleDepth.html#a949e2ee782c346339a1ddaa868c8abaf',1,'SVF::WTOCycleDepth::WTOCycleDepth()=default'],['../classSVF_1_1WTOCycleDepth.html#a764ec49c9f0e5ed2f920c55c63e1c193',1,'SVF::WTOCycleDepth::WTOCycleDepth(const WTOCycleDepth &)=default'],['../classSVF_1_1WTOCycleDepth.html#a515c00e2a0997640874856d4eae419fb',1,'SVF::WTOCycleDepth::WTOCycleDepth(WTOCycleDepth &&)=default']]],
+  ['wtocycledepthbuilder_6308',['WTOCycleDepthBuilder',['../classSVF_1_1WTO_1_1WTOCycleDepthBuilder.html',1,'SVF::WTO< GraphT >::WTOCycleDepthBuilder'],['../classSVF_1_1WTO_1_1WTOCycleDepthBuilder.html#a6cf986992bb78e6e3aa2e75b883c01c9',1,'SVF::WTO::WTOCycleDepthBuilder::WTOCycleDepthBuilder()']]],
+  ['wtocycledepthptr_6309',['WTOCycleDepthPtr',['../classSVF_1_1WTO.html#a8022c9a6ebc62ed292698f07ab93bafe',1,'SVF::WTO']]],
+  ['wtocyclet_6310',['WTOCycleT',['../classSVF_1_1WTOComponentVisitor.html#a978324f9b276a9d086b9e7a12feac997',1,'SVF::WTOComponentVisitor::WTOCycleT()'],['../classSVF_1_1WTO.html#a71a0d4afca77f59db4829c7b39419429',1,'SVF::WTO::WTOCycleT()']]],
+  ['wtonode_6311',['WTONode',['../classSVF_1_1WTONode.html',1,'SVF::WTONode< GraphT >'],['../classSVF_1_1WTONode.html#acb1c9f5fa393500a8efe9f885b1748ce',1,'SVF::WTONode::WTONode()']]],
+  ['wtonodet_6312',['WTONodeT',['../classSVF_1_1WTOComponentVisitor.html#a873b7e2a4166cb6a5b48a63dbafa295d',1,'SVF::WTOComponentVisitor::WTONodeT()'],['../classSVF_1_1WTO.html#a96f37d843d4bd7c2b30cfc5bc59cf90d',1,'SVF::WTO::WTONodeT()']]]
 ];

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

@@ -1,4 +1,4 @@
 var searchData=
 [
-  ['xor_6326',['Xor',['../classSVF_1_1BinaryOPStmt.html#a2f647224242dd87099104e0fdc994de6ac89b793572db14a3c018122cf9fc79d6',1,'SVF::BinaryOPStmt']]]
+  ['xor_6313',['Xor',['../classSVF_1_1BinaryOPStmt.html#a2f647224242dd87099104e0fdc994de6ac89b793572db14a3c018122cf9fc79d6',1,'SVF::BinaryOPStmt']]]
 ];

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

@@ -1,4 +1,4 @@
 var searchData=
 [
-  ['yield_6327',['yield',['../classSVF_1_1VersionedFlowSensitive.html#a16224ee60494bb1fdf1c8a1026fbe7ab',1,'SVF::VersionedFlowSensitive']]]
+  ['yield_6314',['yield',['../classSVF_1_1VersionedFlowSensitive.html#a16224ee60494bb1fdf1c8a1026fbe7ab',1,'SVF::VersionedFlowSensitive']]]
 ];

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

@@ -1,30 +1,30 @@
 var searchData=
 [
-  ['z3expr_6328',['Z3Expr',['../classSVF_1_1Z3Expr.html',1,'SVF::Z3Expr'],['../classSVF_1_1Z3Expr.html#abda8e52003e163cda25d75a4cb520290',1,'SVF::Z3Expr::Z3Expr()'],['../classSVF_1_1Z3Expr.html#a6d57d4b10076ddf91cf47bf4d8878cd8',1,'SVF::Z3Expr::Z3Expr(const z3::expr &_e)'],['../classSVF_1_1Z3Expr.html#a8a6922b80af6a71d3b94fdd7c31e130b',1,'SVF::Z3Expr::Z3Expr(int i)'],['../classSVF_1_1Z3Expr.html#a004ca551a4c40e295bcab56374a45947',1,'SVF::Z3Expr::Z3Expr(const Z3Expr &z3Expr)'],['../classSVF_1_1Z3Expr.html#a7a952918c0f3105d31da2ee00af4cffb',1,'SVF::Z3Expr::Z3Expr(float f)'],['../classSVF_1_1Z3Expr.html#a540f1dc9615fd9765cff52a2a17adadc',1,'SVF::Z3Expr::Z3Expr(double f)']]],
-  ['z3expr_2ecpp_6329',['Z3Expr.cpp',['../Z3Expr_8cpp.html',1,'']]],
-  ['z3expr_2eh_6330',['Z3Expr.h',['../Z3Expr_8h.html',1,'']]],
-  ['z3expr2numvalue_6331',['z3Expr2NumValue',['../classSVF_1_1RelExeState.html#accb15cf8109eec2a7cc497badcdbaa57',1,'SVF::RelExeState']]],
-  ['zb_5fmax_6332',['ZB_Max',['../namespaceSVF.html#af5b6ec9770091c42227a45491b00b349aac378e728f7d53b2d96be1d33c63afb1',1,'SVF']]],
-  ['zb_5fundefined_6333',['ZB_Undefined',['../namespaceSVF.html#af5b6ec9770091c42227a45491b00b349a5cbe6f40e9b49a24bc2d2e4bf6f12d54',1,'SVF']]],
-  ['zb_5fwidth_6334',['ZB_Width',['../namespaceSVF.html#af5b6ec9770091c42227a45491b00b349afdacc59903d2677ef91777d78c7b80a7',1,'SVF']]],
-  ['zerobehavior_6335',['ZeroBehavior',['../namespaceSVF.html#af5b6ec9770091c42227a45491b00b349',1,'SVF']]],
-  ['zerror_6336',['zError',['../extapi_8c.html#a10c4297735fbf8c45419437c23ff7e08',1,'extapi.c']]],
-  ['zext_6337',['ZEXT',['../classSVF_1_1CopyStmt.html#ae041bbd93e3839193fd7ffe9611a4ca1a16c9ba88473e39f9a105b74b016af046',1,'SVF::CopyStmt']]],
-  ['zn1label_6338',['zn1Label',['../CppUtil_8cpp.html#a6f19eb9e9f233bab6ca592083dcfc0c3',1,'CppUtil.cpp']]],
-  ['znk9label_6339',['znk9Label',['../CppUtil_8cpp.html#ae0ed4e737ea205d0ba4b13bf59edee6d',1,'CppUtil.cpp']]],
-  ['znklabel_6340',['znkLabel',['../CppUtil_8cpp.html#a9d0fa1ab7e36b676084a4f680c1e5f2e',1,'CppUtil.cpp']]],
-  ['znkst20label_6341',['znkst20Label',['../CppUtil_8cpp.html#a3750c7fb6ce4186591a9d7a74f66dd2d',1,'CppUtil.cpp']]],
-  ['znkst23label_6342',['znkst23Label',['../CppUtil_8cpp.html#a1236129f13ba32542603b56b7ad60fd2',1,'CppUtil.cpp']]],
-  ['znkst5label_6343',['znkst5Label',['../CppUtil_8cpp.html#ae64b669f778ac066473456de94f72d48',1,'CppUtil.cpp']]],
-  ['znkstlabel_6344',['znkstLabel',['../CppUtil_8cpp.html#a73f68716197e7fbd42cb334af32b9ee2',1,'CppUtil.cpp']]],
-  ['znst12label_6345',['znst12Label',['../CppUtil_8cpp.html#a7da65e2a641fd4ccddaa68b83a6f2f72',1,'CppUtil.cpp']]],
-  ['znst14label_6346',['znst14Label',['../CppUtil_8cpp.html#adced009085794f93e816603380118609',1,'CppUtil.cpp']]],
-  ['znst5label_6347',['znst5Label',['../CppUtil_8cpp.html#a390380a90a788959ef45b5fd30349266',1,'CppUtil.cpp']]],
-  ['znst6label_6348',['znst6Label',['../CppUtil_8cpp.html#a0ec36087cc7f4ff6d6fe85626a09c885',1,'CppUtil.cpp']]],
-  ['znst7label_6349',['znst7Label',['../CppUtil_8cpp.html#a784e559ae4da3ab3595e1fba4a171120',1,'CppUtil.cpp']]],
-  ['znstlabel_6350',['znstLabel',['../CppUtil_8cpp.html#a64bb8e85e7f5a08516c02c83ea329e63',1,'CppUtil.cpp']]],
-  ['znwm_6351',['znwm',['../CppUtil_8cpp.html#a809a0913c3e4226ef8fd2df7aaa63d8d',1,'CppUtil.cpp']]],
-  ['ztilabel_6352',['ztilabel',['../CppUtil_8cpp.html#ac6c8cb5e26437d51d4d2e0112ebfdbc6',1,'ztilabel(): CppUtil.cpp'],['../CHGBuilder_8cpp.html#a4ecb39b2fb5510fb20341373b7ad5450',1,'ztiLabel(): CHGBuilder.cpp']]],
-  ['ztiprefix_6353',['ztiprefix',['../CppUtil_8cpp.html#af6dcab87a299097747c63a654197ae66',1,'CppUtil.cpp']]],
-  ['zval_6354',['zval',['../classSVF_1_1SVFConstantInt.html#ab6876d8be0707cbd05b467445a59d587',1,'SVF::SVFConstantInt']]]
+  ['z3expr_6315',['Z3Expr',['../classSVF_1_1Z3Expr.html',1,'SVF::Z3Expr'],['../classSVF_1_1Z3Expr.html#abda8e52003e163cda25d75a4cb520290',1,'SVF::Z3Expr::Z3Expr()'],['../classSVF_1_1Z3Expr.html#a6d57d4b10076ddf91cf47bf4d8878cd8',1,'SVF::Z3Expr::Z3Expr(const z3::expr &_e)'],['../classSVF_1_1Z3Expr.html#a8a6922b80af6a71d3b94fdd7c31e130b',1,'SVF::Z3Expr::Z3Expr(int i)'],['../classSVF_1_1Z3Expr.html#a004ca551a4c40e295bcab56374a45947',1,'SVF::Z3Expr::Z3Expr(const Z3Expr &z3Expr)'],['../classSVF_1_1Z3Expr.html#a7a952918c0f3105d31da2ee00af4cffb',1,'SVF::Z3Expr::Z3Expr(float f)'],['../classSVF_1_1Z3Expr.html#a540f1dc9615fd9765cff52a2a17adadc',1,'SVF::Z3Expr::Z3Expr(double f)']]],
+  ['z3expr_2ecpp_6316',['Z3Expr.cpp',['../Z3Expr_8cpp.html',1,'']]],
+  ['z3expr_2eh_6317',['Z3Expr.h',['../Z3Expr_8h.html',1,'']]],
+  ['z3expr2numvalue_6318',['z3Expr2NumValue',['../classSVF_1_1RelExeState.html#accb15cf8109eec2a7cc497badcdbaa57',1,'SVF::RelExeState']]],
+  ['zb_5fmax_6319',['ZB_Max',['../namespaceSVF.html#af5b6ec9770091c42227a45491b00b349aac378e728f7d53b2d96be1d33c63afb1',1,'SVF']]],
+  ['zb_5fundefined_6320',['ZB_Undefined',['../namespaceSVF.html#af5b6ec9770091c42227a45491b00b349a5cbe6f40e9b49a24bc2d2e4bf6f12d54',1,'SVF']]],
+  ['zb_5fwidth_6321',['ZB_Width',['../namespaceSVF.html#af5b6ec9770091c42227a45491b00b349afdacc59903d2677ef91777d78c7b80a7',1,'SVF']]],
+  ['zerobehavior_6322',['ZeroBehavior',['../namespaceSVF.html#af5b6ec9770091c42227a45491b00b349',1,'SVF']]],
+  ['zerror_6323',['zError',['../extapi_8c.html#a10c4297735fbf8c45419437c23ff7e08',1,'extapi.c']]],
+  ['zext_6324',['ZEXT',['../classSVF_1_1CopyStmt.html#ae041bbd93e3839193fd7ffe9611a4ca1a16c9ba88473e39f9a105b74b016af046',1,'SVF::CopyStmt']]],
+  ['zn1label_6325',['zn1Label',['../CppUtil_8cpp.html#a6f19eb9e9f233bab6ca592083dcfc0c3',1,'CppUtil.cpp']]],
+  ['znk9label_6326',['znk9Label',['../CppUtil_8cpp.html#ae0ed4e737ea205d0ba4b13bf59edee6d',1,'CppUtil.cpp']]],
+  ['znklabel_6327',['znkLabel',['../CppUtil_8cpp.html#a9d0fa1ab7e36b676084a4f680c1e5f2e',1,'CppUtil.cpp']]],
+  ['znkst20label_6328',['znkst20Label',['../CppUtil_8cpp.html#a3750c7fb6ce4186591a9d7a74f66dd2d',1,'CppUtil.cpp']]],
+  ['znkst23label_6329',['znkst23Label',['../CppUtil_8cpp.html#a1236129f13ba32542603b56b7ad60fd2',1,'CppUtil.cpp']]],
+  ['znkst5label_6330',['znkst5Label',['../CppUtil_8cpp.html#ae64b669f778ac066473456de94f72d48',1,'CppUtil.cpp']]],
+  ['znkstlabel_6331',['znkstLabel',['../CppUtil_8cpp.html#a73f68716197e7fbd42cb334af32b9ee2',1,'CppUtil.cpp']]],
+  ['znst12label_6332',['znst12Label',['../CppUtil_8cpp.html#a7da65e2a641fd4ccddaa68b83a6f2f72',1,'CppUtil.cpp']]],
+  ['znst14label_6333',['znst14Label',['../CppUtil_8cpp.html#adced009085794f93e816603380118609',1,'CppUtil.cpp']]],
+  ['znst5label_6334',['znst5Label',['../CppUtil_8cpp.html#a390380a90a788959ef45b5fd30349266',1,'CppUtil.cpp']]],
+  ['znst6label_6335',['znst6Label',['../CppUtil_8cpp.html#a0ec36087cc7f4ff6d6fe85626a09c885',1,'CppUtil.cpp']]],
+  ['znst7label_6336',['znst7Label',['../CppUtil_8cpp.html#a784e559ae4da3ab3595e1fba4a171120',1,'CppUtil.cpp']]],
+  ['znstlabel_6337',['znstLabel',['../CppUtil_8cpp.html#a64bb8e85e7f5a08516c02c83ea329e63',1,'CppUtil.cpp']]],
+  ['znwm_6338',['znwm',['../CppUtil_8cpp.html#a809a0913c3e4226ef8fd2df7aaa63d8d',1,'CppUtil.cpp']]],
+  ['ztilabel_6339',['ztilabel',['../CppUtil_8cpp.html#ac6c8cb5e26437d51d4d2e0112ebfdbc6',1,'ztilabel(): CppUtil.cpp'],['../CHGBuilder_8cpp.html#a4ecb39b2fb5510fb20341373b7ad5450',1,'ztiLabel(): CHGBuilder.cpp']]],
+  ['ztiprefix_6340',['ztiprefix',['../CppUtil_8cpp.html#af6dcab87a299097747c63a654197ae66',1,'CppUtil.cpp']]],
+  ['zval_6341',['zval',['../classSVF_1_1SVFConstantInt.html#ab6876d8be0707cbd05b467445a59d587',1,'SVF::SVFConstantInt']]]
 ];