svf-tools 1.0.896 → 1.0.897

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

@@ -1,80 +1,80 @@
 var searchData=
 [
-  ['wall_6293',['Wall',['../classSVF_1_1SVFStat.html#a4f47da512cfa8f94fddaddc65334b454a4daec28631d54e09b587e78707ab54fc',1,'SVF::SVFStat']]],
-  ['warn_5fifnot_6294',['WARN_IFNOT',['../ObjTypeInference_8cpp.html#a482b3cc567fd28e9a30e7594c100149f',1,'ObjTypeInference.cpp']]],
-  ['warn_5fmsg_6295',['WARN_MSG',['../ObjTypeInference_8cpp.html#ac48ef12f2a6f605d6fa5d31e7623a826',1,'ObjTypeInference.cpp']]],
-  ['weakupdateoutfromin_6296',['weakUpdateOutFromIn',['../classSVF_1_1FlowSensitive.html#ab492c283e2264b4cbd4c192e805b7750',1,'SVF::FlowSensitive']]],
-  ['what_6297',['what',['../structSVF_1_1BufOverflowException.html#a4eb54eb3943f96e60f89d2fdd99f08c0',1,'SVF::BufOverflowException']]],
-  ['which_6298',['which',['../cJSON_8h.html#aa2a4dae2a14de4093826005f9bdfd3bb',1,'which(): cJSON.h'],['../cJSON_8cpp.html#aa2a4dae2a14de4093826005f9bdfd3bb',1,'which(): cJSON.cpp']]],
-  ['while_6299',['while',['../cJSON_8cpp.html#a209b15238c5803bc547b2d77e02f29b4',1,'cJSON.cpp']]],
-  ['widen_5fwith_6300',['widen_with',['../classSVF_1_1IntervalValue.html#ab7ddcc29a116944a91db24af90d4c144',1,'SVF::IntervalValue']]],
-  ['widenaddrs_6301',['widenAddrs',['../classSVF_1_1SVFIR2ItvExeState.html#a198fd724be35f415851a2467c3930f76',1,'SVF::SVFIR2ItvExeState']]],
-  ['widendelay_6302',['WidenDelay',['../classSVF_1_1Options.html#ab25f7ec430ba1d41597fc409b758b193',1,'SVF::Options']]],
-  ['widenfixpointpass_6303',['widenFixpointPass',['../classSVF_1_1AbstractExecution.html#a438c0702d8b1e074c3db37025377b2a7',1,'SVF::AbstractExecution']]],
-  ['widening_6304',['widening',['../classSVF_1_1IntervalESBase.html#a9a167f67476d2e080cc6e31d127ee715',1,'SVF::IntervalESBase::widening()'],['../classSVF_1_1IntervalExeState.html#abc8edb74e55f40dbc7bb5182d4ef1199',1,'SVF::IntervalExeState::widening()']]],
-  ['widenwith_6305',['widenWith',['../classSVF_1_1IntervalESBase.html#a2db6b5360cf8e90dbd4174ad0382ec56',1,'SVF::IntervalESBase::widenWith()'],['../classSVF_1_1IntervalExeState.html#acfbe4dbb85e802a0456b7223a26280d3',1,'SVF::IntervalExeState::widenWith()']]],
-  ['word_6306',['Word',['../classSVF_1_1CoreBitVector.html#aaee26ffc13d05cd57f0fd7e4c2ea875c',1,'SVF::CoreBitVector::Word()'],['../structSVF_1_1SparseBitVectorElement.html#a5d43d980591d14d3a3d0782be034ed4f',1,'SVF::SparseBitVectorElement::word()']]],
-  ['wordit_6307',['wordIt',['../classSVF_1_1CoreBitVector_1_1CoreBitVectorIterator.html#a1afa1cb9e8377d3dab767aa4bfc713dc',1,'SVF::CoreBitVector::CoreBitVectorIterator']]],
-  ['wordnumber_6308',['WordNumber',['../classSVF_1_1SparseBitVector_1_1SparseBitVectorIterator.html#a6b139db78c9cba017df0fa468bee713a',1,'SVF::SparseBitVector::SparseBitVectorIterator']]],
-  ['words_6309',['words',['../classSVF_1_1CoreBitVector.html#a807283a917e845ef19c4962b1744e98b',1,'SVF::CoreBitVector']]],
-  ['wordsize_6310',['WordSize',['../classSVF_1_1CoreBitVector.html#a63f5e4a36359ae62401e5f8dfecb86a3',1,'SVF::CoreBitVector']]],
-  ['worklist_6311',['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_6312',['WorkList.h',['../WorkList_8h.html',1,'']]],
-  ['workstack_6313',['WorkStack',['../classSVF_1_1CSC.html#a0490b9998987d245ee6e56bc68db4f1e',1,'SVF::CSC']]],
-  ['wpa_2ecpp_6314',['wpa.cpp',['../wpa_8cpp.html',1,'']]],
-  ['wpaconstraintsolver_6315',['WPAConstraintSolver',['../namespaceSVF.html#ae9c142945ea31b6c70bceb93eb6f3ca4',1,'SVF']]],
-  ['wpafssolver_6316',['WPAFSSolver',['../classSVF_1_1WPAFSSolver.html',1,'SVF::WPAFSSolver< GraphType >'],['../classSVF_1_1WPAFSSolver.html#a3bab50f0e94f516204d6622420de7db7',1,'SVF::WPAFSSolver::WPAFSSolver()']]],
-  ['wpafssolver_2eh_6317',['WPAFSSolver.h',['../WPAFSSolver_8h.html',1,'']]],
-  ['wpaminimumsolver_6318',['WPAMinimumSolver',['../classSVF_1_1WPAMinimumSolver.html',1,'SVF::WPAMinimumSolver< GraphType >'],['../classSVF_1_1WPAMinimumSolver.html#aaf8b6410ba9667f7a46fc4ca05900ed3',1,'SVF::WPAMinimumSolver::WPAMinimumSolver()']]],
-  ['wpanum_6319',['WPANum',['../classSVF_1_1Options.html#a782d52d7e8d423c2bef27b34d518ffd9',1,'SVF::Options']]],
-  ['wpapass_6320',['WPAPass',['../classSVF_1_1WPAPass.html',1,'SVF::WPAPass'],['../classSVF_1_1WPAPass.html#a3fc957e01a3ac7c242c030c6f6846fa9',1,'SVF::WPAPass::WPAPass()']]],
-  ['wpapass_2ecpp_6321',['WPAPass.cpp',['../WPAPass_8cpp.html',1,'']]],
-  ['wpapass_2eh_6322',['WPAPass.h',['../WPAPass_8h.html',1,'']]],
-  ['wpasccsolver_6323',['WPASCCSolver',['../classSVF_1_1WPASCCSolver.html',1,'SVF::WPASCCSolver< GraphType >'],['../classSVF_1_1WPASCCSolver.html#aa2c15ca2f8fba1a5d77f0332e4ddf9e8',1,'SVF::WPASCCSolver::WPASCCSolver()']]],
-  ['wpasolver_6324',['WPASolver',['../classSVF_1_1WPASolver.html',1,'SVF::WPASolver< GraphType >'],['../classSVF_1_1WPASolver.html#a0c5616b0e340955dafc2ab2f21740abd',1,'SVF::WPASolver::WPASolver()']]],
-  ['wpasolver_2eh_6325',['WPASolver.h',['../WPASolver_8h.html',1,'']]],
-  ['wpastat_2eh_6326',['WPAStat.h',['../WPAStat_8h.html',1,'']]],
-  ['wpasvfgfssolver_6327',['WPASVFGFSSolver',['../namespaceSVF.html#a221270d70aa99a37738c0f919519a73d',1,'SVF']]],
-  ['wrapped_6328',['wrapped',['../classSVF_1_1iter__adaptor__base.html#afa1dc067ea97ae5db1e2618e47be1525',1,'SVF::iter_adaptor_base']]],
-  ['writeander_6329',['WriteAnder',['../classSVF_1_1Options.html#aabeb232a46547fd35ddc96244fdaf1b9',1,'SVF::Options']]],
-  ['writeedge_6330',['writeEdge',['../classSVF_1_1GraphWriter.html#a6133d0033363b0e9db156c354da7d7e6',1,'SVF::GraphWriter']]],
-  ['writefooter_6331',['writeFooter',['../classSVF_1_1GraphWriter.html#a5c3ce0eba24c71f847676b23b855e44c',1,'SVF::GraphWriter']]],
-  ['writegepobjvarmaptofile_6332',['writeGepObjVarMapToFile',['../classSVF_1_1BVDataPTAImpl.html#a5e782fb9a94a62403046c483ca4176c3',1,'SVF::BVDataPTAImpl']]],
-  ['writegraph_6333',['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_6334',['WriteGraphToFile',['../classSVF_1_1GraphPrinter.html#a014217fb0d05c8f2a2f1a6c5b19d3e10',1,'SVF::GraphPrinter']]],
-  ['writeheader_6335',['writeHeader',['../classSVF_1_1GraphWriter.html#abd376959cc889e1e387523f38674650f',1,'SVF::GraphWriter']]],
-  ['writejsontoostream_6336',['writeJsonToOstream',['../classSVF_1_1SVFIRWriter.html#a12d70e815fa53a4121d375ac26f2c30f',1,'SVF::SVFIRWriter']]],
-  ['writejsontopath_6337',['writeJsonToPath',['../classSVF_1_1SVFIRWriter.html#a2bbb4e38ce3eb2c43b7f01cb240df9c8',1,'SVF::SVFIRWriter']]],
-  ['writenode_6338',['writeNode',['../classSVF_1_1GraphWriter.html#a18c579b53feccbb3b521982c6161f555',1,'SVF::GraphWriter']]],
-  ['writenodes_6339',['writeNodes',['../classSVF_1_1GraphWriter.html#ada2363727dc20c2183b8252f3bdf3a04',1,'SVF::GraphWriter']]],
-  ['writeobjvartofile_6340',['writeObjVarToFile',['../classSVF_1_1BVDataPTAImpl.html#a3279969934d6778a6cffe926ed724bfc',1,'SVF::BVDataPTAImpl']]],
-  ['writeptsresulttofile_6341',['writePtsResultToFile',['../classSVF_1_1BVDataPTAImpl.html#a6ca3ab1e32012ef13613f52f27f3c502',1,'SVF::BVDataPTAImpl']]],
-  ['writerptrpool_6342',['WriterPtrPool',['../classSVF_1_1WriterPtrPool.html',1,'SVF']]],
-  ['writerptrpool_3c_20edgetype_20_3e_6343',['WriterPtrPool< EdgeType >',['../classSVF_1_1WriterPtrPool.html',1,'SVF']]],
-  ['writerptrpool_3c_20svf_3a_3astinfo_20_3e_6344',['WriterPtrPool< SVF::StInfo >',['../classSVF_1_1WriterPtrPool.html',1,'SVF']]],
-  ['writerptrpool_3c_20svf_3a_3asvfloop_20_3e_6345',['WriterPtrPool< SVF::SVFLoop >',['../classSVF_1_1WriterPtrPool.html',1,'SVF']]],
-  ['writerptrpool_3c_20svf_3a_3asvftype_20_3e_6346',['WriterPtrPool< SVF::SVFType >',['../classSVF_1_1WriterPtrPool.html',1,'SVF']]],
-  ['writerptrpool_3c_20svf_3a_3asvfvalue_20_3e_6347',['WriterPtrPool< SVF::SVFValue >',['../classSVF_1_1WriterPtrPool.html',1,'SVF']]],
-  ['writesvfg_6348',['WriteSVFG',['../classSVF_1_1Options.html#a26711c33c9247a296f6dfaaf36d38e47',1,'SVF::Options']]],
-  ['writetofile_6349',['writeToFile',['../classSVF_1_1SVFG.html#a7ce9ec638995467c211958262be08ee1',1,'SVF::SVFG::writeToFile()'],['../classSVF_1_1BVDataPTAImpl.html#a25c68f9d2b88437778e854ff0d741d1b',1,'SVF::BVDataPTAImpl::writeToFile()']]],
-  ['writeversionedanalysisresulttofile_6350',['writeVersionedAnalysisResultToFile',['../classSVF_1_1VersionedFlowSensitive.html#ab2c21cc1e4cd4d7dbc12b6bd9f34d971',1,'SVF::VersionedFlowSensitive']]],
-  ['writewrnmsg_6351',['writeWrnMsg',['../namespaceSVF_1_1SVFUtil.html#ab2e0196e0ce547ab4a483cc6d2646b24',1,'SVF::SVFUtil']]],
-  ['wrnmsg_6352',['wrnMsg',['../namespaceSVF_1_1SVFUtil.html#ac71522e8c55f84cfc6c13a0ddff18436',1,'SVF::SVFUtil']]],
-  ['wto_6353',['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_6354',['WTO.h',['../WTO_8h.html',1,'']]],
-  ['wto_3c_20icfg_20_3e_6355',['WTO< ICFG >',['../classSVF_1_1WTO.html',1,'SVF']]],
-  ['wtocomponent_6356',['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_6357',['WTOComponentPtr',['../classSVF_1_1WTOCycle.html#acc26c1e8e39691416b590d1a29f57c38',1,'SVF::WTOCycle::WTOComponentPtr()'],['../classSVF_1_1WTO.html#a15ecb3d149a88c93318133314d010954',1,'SVF::WTO::WTOComponentPtr()']]],
-  ['wtocomponentreflist_6358',['WTOComponentRefList',['../classSVF_1_1WTOCycle.html#a04d7ad708faad0b6cb360e6010c21600',1,'SVF::WTOCycle::WTOComponentRefList()'],['../classSVF_1_1WTO.html#ac1a8ef3c15d484dc4f593b7d737e7de9',1,'SVF::WTO::WTOComponentRefList()']]],
-  ['wtocomponentrefset_6359',['WTOComponentRefSet',['../classSVF_1_1WTO.html#a928688b5f1e2111311262ccd936b1ca9',1,'SVF::WTO']]],
-  ['wtocomponentt_6360',['WTOComponentT',['../classSVF_1_1WTOCycle.html#adaa4b0f063eaf6f1bd02da38fd3b29de',1,'SVF::WTOCycle::WTOComponentT()'],['../classSVF_1_1WTO.html#a43bd515dd7ea9ae1f56b79d29cfdc00c',1,'SVF::WTO::WTOComponentT()']]],
-  ['wtocomponentvisitor_6361',['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_6362',['WTOCT',['../classSVF_1_1WTOComponent.html#a3c2b9ef6ae6a3d47b0bba929f12560f7',1,'SVF::WTOComponent']]],
-  ['wtocycle_6363',['WTOCycle',['../classSVF_1_1WTOCycle.html',1,'SVF::WTOCycle< GraphT >'],['../classSVF_1_1WTOCycle.html#a19ad36eef78d46348ca75c5d2e12519b',1,'SVF::WTOCycle::WTOCycle()']]],
-  ['wtocycledepth_6364',['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_6365',['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_6366',['WTOCycleDepthPtr',['../classSVF_1_1WTO.html#a8022c9a6ebc62ed292698f07ab93bafe',1,'SVF::WTO']]],
-  ['wtocyclet_6367',['WTOCycleT',['../classSVF_1_1WTOComponentVisitor.html#a978324f9b276a9d086b9e7a12feac997',1,'SVF::WTOComponentVisitor::WTOCycleT()'],['../classSVF_1_1WTO.html#a71a0d4afca77f59db4829c7b39419429',1,'SVF::WTO::WTOCycleT()']]],
-  ['wtonode_6368',['WTONode',['../classSVF_1_1WTONode.html',1,'SVF::WTONode< GraphT >'],['../classSVF_1_1WTONode.html#acb1c9f5fa393500a8efe9f885b1748ce',1,'SVF::WTONode::WTONode()']]],
-  ['wtonodet_6369',['WTONodeT',['../classSVF_1_1WTOComponentVisitor.html#a873b7e2a4166cb6a5b48a63dbafa295d',1,'SVF::WTOComponentVisitor::WTONodeT()'],['../classSVF_1_1WTO.html#a96f37d843d4bd7c2b30cfc5bc59cf90d',1,'SVF::WTO::WTONodeT()']]]
+  ['wall_6294',['Wall',['../classSVF_1_1SVFStat.html#a4f47da512cfa8f94fddaddc65334b454a4daec28631d54e09b587e78707ab54fc',1,'SVF::SVFStat']]],
+  ['warn_5fifnot_6295',['WARN_IFNOT',['../ObjTypeInference_8cpp.html#a482b3cc567fd28e9a30e7594c100149f',1,'ObjTypeInference.cpp']]],
+  ['warn_5fmsg_6296',['WARN_MSG',['../ObjTypeInference_8cpp.html#ac48ef12f2a6f605d6fa5d31e7623a826',1,'ObjTypeInference.cpp']]],
+  ['weakupdateoutfromin_6297',['weakUpdateOutFromIn',['../classSVF_1_1FlowSensitive.html#ab492c283e2264b4cbd4c192e805b7750',1,'SVF::FlowSensitive']]],
+  ['what_6298',['what',['../structSVF_1_1BufOverflowException.html#a4eb54eb3943f96e60f89d2fdd99f08c0',1,'SVF::BufOverflowException']]],
+  ['which_6299',['which',['../cJSON_8h.html#aa2a4dae2a14de4093826005f9bdfd3bb',1,'which(): cJSON.h'],['../cJSON_8cpp.html#aa2a4dae2a14de4093826005f9bdfd3bb',1,'which(): cJSON.cpp']]],
+  ['while_6300',['while',['../cJSON_8cpp.html#a209b15238c5803bc547b2d77e02f29b4',1,'cJSON.cpp']]],
+  ['widen_5fwith_6301',['widen_with',['../classSVF_1_1IntervalValue.html#ab7ddcc29a116944a91db24af90d4c144',1,'SVF::IntervalValue']]],
+  ['widenaddrs_6302',['widenAddrs',['../classSVF_1_1SVFIR2ItvExeState.html#a198fd724be35f415851a2467c3930f76',1,'SVF::SVFIR2ItvExeState']]],
+  ['widendelay_6303',['WidenDelay',['../classSVF_1_1Options.html#ab25f7ec430ba1d41597fc409b758b193',1,'SVF::Options']]],
+  ['widenfixpointpass_6304',['widenFixpointPass',['../classSVF_1_1AbstractExecution.html#a438c0702d8b1e074c3db37025377b2a7',1,'SVF::AbstractExecution']]],
+  ['widening_6305',['widening',['../classSVF_1_1IntervalESBase.html#a9a167f67476d2e080cc6e31d127ee715',1,'SVF::IntervalESBase::widening()'],['../classSVF_1_1IntervalExeState.html#abc8edb74e55f40dbc7bb5182d4ef1199',1,'SVF::IntervalExeState::widening()']]],
+  ['widenwith_6306',['widenWith',['../classSVF_1_1IntervalESBase.html#a2db6b5360cf8e90dbd4174ad0382ec56',1,'SVF::IntervalESBase::widenWith()'],['../classSVF_1_1IntervalExeState.html#acfbe4dbb85e802a0456b7223a26280d3',1,'SVF::IntervalExeState::widenWith()']]],
+  ['word_6307',['Word',['../classSVF_1_1CoreBitVector.html#aaee26ffc13d05cd57f0fd7e4c2ea875c',1,'SVF::CoreBitVector::Word()'],['../structSVF_1_1SparseBitVectorElement.html#a5d43d980591d14d3a3d0782be034ed4f',1,'SVF::SparseBitVectorElement::word()']]],
+  ['wordit_6308',['wordIt',['../classSVF_1_1CoreBitVector_1_1CoreBitVectorIterator.html#a1afa1cb9e8377d3dab767aa4bfc713dc',1,'SVF::CoreBitVector::CoreBitVectorIterator']]],
+  ['wordnumber_6309',['WordNumber',['../classSVF_1_1SparseBitVector_1_1SparseBitVectorIterator.html#a6b139db78c9cba017df0fa468bee713a',1,'SVF::SparseBitVector::SparseBitVectorIterator']]],
+  ['words_6310',['words',['../classSVF_1_1CoreBitVector.html#a807283a917e845ef19c4962b1744e98b',1,'SVF::CoreBitVector']]],
+  ['wordsize_6311',['WordSize',['../classSVF_1_1CoreBitVector.html#a63f5e4a36359ae62401e5f8dfecb86a3',1,'SVF::CoreBitVector']]],
+  ['worklist_6312',['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_6313',['WorkList.h',['../WorkList_8h.html',1,'']]],
+  ['workstack_6314',['WorkStack',['../classSVF_1_1CSC.html#a0490b9998987d245ee6e56bc68db4f1e',1,'SVF::CSC']]],
+  ['wpa_2ecpp_6315',['wpa.cpp',['../wpa_8cpp.html',1,'']]],
+  ['wpaconstraintsolver_6316',['WPAConstraintSolver',['../namespaceSVF.html#ae9c142945ea31b6c70bceb93eb6f3ca4',1,'SVF']]],
+  ['wpafssolver_6317',['WPAFSSolver',['../classSVF_1_1WPAFSSolver.html',1,'SVF::WPAFSSolver< GraphType >'],['../classSVF_1_1WPAFSSolver.html#a3bab50f0e94f516204d6622420de7db7',1,'SVF::WPAFSSolver::WPAFSSolver()']]],
+  ['wpafssolver_2eh_6318',['WPAFSSolver.h',['../WPAFSSolver_8h.html',1,'']]],
+  ['wpaminimumsolver_6319',['WPAMinimumSolver',['../classSVF_1_1WPAMinimumSolver.html',1,'SVF::WPAMinimumSolver< GraphType >'],['../classSVF_1_1WPAMinimumSolver.html#aaf8b6410ba9667f7a46fc4ca05900ed3',1,'SVF::WPAMinimumSolver::WPAMinimumSolver()']]],
+  ['wpanum_6320',['WPANum',['../classSVF_1_1Options.html#a782d52d7e8d423c2bef27b34d518ffd9',1,'SVF::Options']]],
+  ['wpapass_6321',['WPAPass',['../classSVF_1_1WPAPass.html',1,'SVF::WPAPass'],['../classSVF_1_1WPAPass.html#a3fc957e01a3ac7c242c030c6f6846fa9',1,'SVF::WPAPass::WPAPass()']]],
+  ['wpapass_2ecpp_6322',['WPAPass.cpp',['../WPAPass_8cpp.html',1,'']]],
+  ['wpapass_2eh_6323',['WPAPass.h',['../WPAPass_8h.html',1,'']]],
+  ['wpasccsolver_6324',['WPASCCSolver',['../classSVF_1_1WPASCCSolver.html',1,'SVF::WPASCCSolver< GraphType >'],['../classSVF_1_1WPASCCSolver.html#aa2c15ca2f8fba1a5d77f0332e4ddf9e8',1,'SVF::WPASCCSolver::WPASCCSolver()']]],
+  ['wpasolver_6325',['WPASolver',['../classSVF_1_1WPASolver.html',1,'SVF::WPASolver< GraphType >'],['../classSVF_1_1WPASolver.html#a0c5616b0e340955dafc2ab2f21740abd',1,'SVF::WPASolver::WPASolver()']]],
+  ['wpasolver_2eh_6326',['WPASolver.h',['../WPASolver_8h.html',1,'']]],
+  ['wpastat_2eh_6327',['WPAStat.h',['../WPAStat_8h.html',1,'']]],
+  ['wpasvfgfssolver_6328',['WPASVFGFSSolver',['../namespaceSVF.html#a221270d70aa99a37738c0f919519a73d',1,'SVF']]],
+  ['wrapped_6329',['wrapped',['../classSVF_1_1iter__adaptor__base.html#afa1dc067ea97ae5db1e2618e47be1525',1,'SVF::iter_adaptor_base']]],
+  ['writeander_6330',['WriteAnder',['../classSVF_1_1Options.html#aabeb232a46547fd35ddc96244fdaf1b9',1,'SVF::Options']]],
+  ['writeedge_6331',['writeEdge',['../classSVF_1_1GraphWriter.html#a6133d0033363b0e9db156c354da7d7e6',1,'SVF::GraphWriter']]],
+  ['writefooter_6332',['writeFooter',['../classSVF_1_1GraphWriter.html#a5c3ce0eba24c71f847676b23b855e44c',1,'SVF::GraphWriter']]],
+  ['writegepobjvarmaptofile_6333',['writeGepObjVarMapToFile',['../classSVF_1_1BVDataPTAImpl.html#a5e782fb9a94a62403046c483ca4176c3',1,'SVF::BVDataPTAImpl']]],
+  ['writegraph_6334',['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_6335',['WriteGraphToFile',['../classSVF_1_1GraphPrinter.html#a014217fb0d05c8f2a2f1a6c5b19d3e10',1,'SVF::GraphPrinter']]],
+  ['writeheader_6336',['writeHeader',['../classSVF_1_1GraphWriter.html#abd376959cc889e1e387523f38674650f',1,'SVF::GraphWriter']]],
+  ['writejsontoostream_6337',['writeJsonToOstream',['../classSVF_1_1SVFIRWriter.html#a12d70e815fa53a4121d375ac26f2c30f',1,'SVF::SVFIRWriter']]],
+  ['writejsontopath_6338',['writeJsonToPath',['../classSVF_1_1SVFIRWriter.html#a2bbb4e38ce3eb2c43b7f01cb240df9c8',1,'SVF::SVFIRWriter']]],
+  ['writenode_6339',['writeNode',['../classSVF_1_1GraphWriter.html#a18c579b53feccbb3b521982c6161f555',1,'SVF::GraphWriter']]],
+  ['writenodes_6340',['writeNodes',['../classSVF_1_1GraphWriter.html#ada2363727dc20c2183b8252f3bdf3a04',1,'SVF::GraphWriter']]],
+  ['writeobjvartofile_6341',['writeObjVarToFile',['../classSVF_1_1BVDataPTAImpl.html#a3279969934d6778a6cffe926ed724bfc',1,'SVF::BVDataPTAImpl']]],
+  ['writeptsresulttofile_6342',['writePtsResultToFile',['../classSVF_1_1BVDataPTAImpl.html#a6ca3ab1e32012ef13613f52f27f3c502',1,'SVF::BVDataPTAImpl']]],
+  ['writerptrpool_6343',['WriterPtrPool',['../classSVF_1_1WriterPtrPool.html',1,'SVF']]],
+  ['writerptrpool_3c_20edgetype_20_3e_6344',['WriterPtrPool< EdgeType >',['../classSVF_1_1WriterPtrPool.html',1,'SVF']]],
+  ['writerptrpool_3c_20svf_3a_3astinfo_20_3e_6345',['WriterPtrPool< SVF::StInfo >',['../classSVF_1_1WriterPtrPool.html',1,'SVF']]],
+  ['writerptrpool_3c_20svf_3a_3asvfloop_20_3e_6346',['WriterPtrPool< SVF::SVFLoop >',['../classSVF_1_1WriterPtrPool.html',1,'SVF']]],
+  ['writerptrpool_3c_20svf_3a_3asvftype_20_3e_6347',['WriterPtrPool< SVF::SVFType >',['../classSVF_1_1WriterPtrPool.html',1,'SVF']]],
+  ['writerptrpool_3c_20svf_3a_3asvfvalue_20_3e_6348',['WriterPtrPool< SVF::SVFValue >',['../classSVF_1_1WriterPtrPool.html',1,'SVF']]],
+  ['writesvfg_6349',['WriteSVFG',['../classSVF_1_1Options.html#a26711c33c9247a296f6dfaaf36d38e47',1,'SVF::Options']]],
+  ['writetofile_6350',['writeToFile',['../classSVF_1_1SVFG.html#a7ce9ec638995467c211958262be08ee1',1,'SVF::SVFG::writeToFile()'],['../classSVF_1_1BVDataPTAImpl.html#a25c68f9d2b88437778e854ff0d741d1b',1,'SVF::BVDataPTAImpl::writeToFile()']]],
+  ['writeversionedanalysisresulttofile_6351',['writeVersionedAnalysisResultToFile',['../classSVF_1_1VersionedFlowSensitive.html#ab2c21cc1e4cd4d7dbc12b6bd9f34d971',1,'SVF::VersionedFlowSensitive']]],
+  ['writewrnmsg_6352',['writeWrnMsg',['../namespaceSVF_1_1SVFUtil.html#ab2e0196e0ce547ab4a483cc6d2646b24',1,'SVF::SVFUtil']]],
+  ['wrnmsg_6353',['wrnMsg',['../namespaceSVF_1_1SVFUtil.html#ac71522e8c55f84cfc6c13a0ddff18436',1,'SVF::SVFUtil']]],
+  ['wto_6354',['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_6355',['WTO.h',['../WTO_8h.html',1,'']]],
+  ['wto_3c_20icfg_20_3e_6356',['WTO< ICFG >',['../classSVF_1_1WTO.html',1,'SVF']]],
+  ['wtocomponent_6357',['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_6358',['WTOComponentPtr',['../classSVF_1_1WTOCycle.html#acc26c1e8e39691416b590d1a29f57c38',1,'SVF::WTOCycle::WTOComponentPtr()'],['../classSVF_1_1WTO.html#a15ecb3d149a88c93318133314d010954',1,'SVF::WTO::WTOComponentPtr()']]],
+  ['wtocomponentreflist_6359',['WTOComponentRefList',['../classSVF_1_1WTOCycle.html#a04d7ad708faad0b6cb360e6010c21600',1,'SVF::WTOCycle::WTOComponentRefList()'],['../classSVF_1_1WTO.html#ac1a8ef3c15d484dc4f593b7d737e7de9',1,'SVF::WTO::WTOComponentRefList()']]],
+  ['wtocomponentrefset_6360',['WTOComponentRefSet',['../classSVF_1_1WTO.html#a928688b5f1e2111311262ccd936b1ca9',1,'SVF::WTO']]],
+  ['wtocomponentt_6361',['WTOComponentT',['../classSVF_1_1WTOCycle.html#adaa4b0f063eaf6f1bd02da38fd3b29de',1,'SVF::WTOCycle::WTOComponentT()'],['../classSVF_1_1WTO.html#a43bd515dd7ea9ae1f56b79d29cfdc00c',1,'SVF::WTO::WTOComponentT()']]],
+  ['wtocomponentvisitor_6362',['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_6363',['WTOCT',['../classSVF_1_1WTOComponent.html#a3c2b9ef6ae6a3d47b0bba929f12560f7',1,'SVF::WTOComponent']]],
+  ['wtocycle_6364',['WTOCycle',['../classSVF_1_1WTOCycle.html',1,'SVF::WTOCycle< GraphT >'],['../classSVF_1_1WTOCycle.html#a19ad36eef78d46348ca75c5d2e12519b',1,'SVF::WTOCycle::WTOCycle()']]],
+  ['wtocycledepth_6365',['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_6366',['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_6367',['WTOCycleDepthPtr',['../classSVF_1_1WTO.html#a8022c9a6ebc62ed292698f07ab93bafe',1,'SVF::WTO']]],
+  ['wtocyclet_6368',['WTOCycleT',['../classSVF_1_1WTOComponentVisitor.html#a978324f9b276a9d086b9e7a12feac997',1,'SVF::WTOComponentVisitor::WTOCycleT()'],['../classSVF_1_1WTO.html#a71a0d4afca77f59db4829c7b39419429',1,'SVF::WTO::WTOCycleT()']]],
+  ['wtonode_6369',['WTONode',['../classSVF_1_1WTONode.html',1,'SVF::WTONode< GraphT >'],['../classSVF_1_1WTONode.html#acb1c9f5fa393500a8efe9f885b1748ce',1,'SVF::WTONode::WTONode()']]],
+  ['wtonodet_6370',['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_6370',['Xor',['../classSVF_1_1BinaryOPStmt.html#a2f647224242dd87099104e0fdc994de6ac89b793572db14a3c018122cf9fc79d6',1,'SVF::BinaryOPStmt']]]
+  ['xor_6371',['Xor',['../classSVF_1_1BinaryOPStmt.html#a2f647224242dd87099104e0fdc994de6ac89b793572db14a3c018122cf9fc79d6',1,'SVF::BinaryOPStmt']]]
 ];

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

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

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

@@ -1,29 +1,29 @@
 var searchData=
 [
-  ['z3expr_6372',['Z3Expr',['../classSVF_1_1Z3Expr.html',1,'SVF::Z3Expr'],['../classSVF_1_1Z3Expr.html#a7a952918c0f3105d31da2ee00af4cffb',1,'SVF::Z3Expr::Z3Expr(float f)'],['../classSVF_1_1Z3Expr.html#a540f1dc9615fd9765cff52a2a17adadc',1,'SVF::Z3Expr::Z3Expr(double f)'],['../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)']]],
-  ['z3expr_2ecpp_6373',['Z3Expr.cpp',['../Z3Expr_8cpp.html',1,'']]],
-  ['z3expr_2eh_6374',['Z3Expr.h',['../Z3Expr_8h.html',1,'']]],
-  ['z3expr2numvalue_6375',['z3Expr2NumValue',['../classSVF_1_1ConsExeState.html#ad8cd07a607743e8cbbf59bd5882c5043',1,'SVF::ConsExeState::z3Expr2NumValue()'],['../classSVF_1_1RelExeState.html#accb15cf8109eec2a7cc497badcdbaa57',1,'SVF::RelExeState::z3Expr2NumValue()']]],
-  ['zb_5fmax_6376',['ZB_Max',['../namespaceSVF.html#af5b6ec9770091c42227a45491b00b349aac378e728f7d53b2d96be1d33c63afb1',1,'SVF']]],
-  ['zb_5fundefined_6377',['ZB_Undefined',['../namespaceSVF.html#af5b6ec9770091c42227a45491b00b349a5cbe6f40e9b49a24bc2d2e4bf6f12d54',1,'SVF']]],
-  ['zb_5fwidth_6378',['ZB_Width',['../namespaceSVF.html#af5b6ec9770091c42227a45491b00b349afdacc59903d2677ef91777d78c7b80a7',1,'SVF']]],
-  ['zerobehavior_6379',['ZeroBehavior',['../namespaceSVF.html#af5b6ec9770091c42227a45491b00b349',1,'SVF']]],
-  ['zerror_6380',['zError',['../extapi_8c.html#a10c4297735fbf8c45419437c23ff7e08',1,'extapi.c']]],
-  ['zn1label_6381',['zn1Label',['../CppUtil_8cpp.html#a6f19eb9e9f233bab6ca592083dcfc0c3',1,'CppUtil.cpp']]],
-  ['znk9label_6382',['znk9Label',['../CppUtil_8cpp.html#ae0ed4e737ea205d0ba4b13bf59edee6d',1,'CppUtil.cpp']]],
-  ['znklabel_6383',['znkLabel',['../CppUtil_8cpp.html#a9d0fa1ab7e36b676084a4f680c1e5f2e',1,'CppUtil.cpp']]],
-  ['znkst20label_6384',['znkst20Label',['../CppUtil_8cpp.html#a3750c7fb6ce4186591a9d7a74f66dd2d',1,'CppUtil.cpp']]],
-  ['znkst23label_6385',['znkst23Label',['../CppUtil_8cpp.html#a1236129f13ba32542603b56b7ad60fd2',1,'CppUtil.cpp']]],
-  ['znkst5label_6386',['znkst5Label',['../CppUtil_8cpp.html#ae64b669f778ac066473456de94f72d48',1,'CppUtil.cpp']]],
-  ['znkstlabel_6387',['znkstLabel',['../CppUtil_8cpp.html#a73f68716197e7fbd42cb334af32b9ee2',1,'CppUtil.cpp']]],
-  ['znst12label_6388',['znst12Label',['../CppUtil_8cpp.html#a7da65e2a641fd4ccddaa68b83a6f2f72',1,'CppUtil.cpp']]],
-  ['znst14label_6389',['znst14Label',['../CppUtil_8cpp.html#adced009085794f93e816603380118609',1,'CppUtil.cpp']]],
-  ['znst5label_6390',['znst5Label',['../CppUtil_8cpp.html#a390380a90a788959ef45b5fd30349266',1,'CppUtil.cpp']]],
-  ['znst6label_6391',['znst6Label',['../CppUtil_8cpp.html#a0ec36087cc7f4ff6d6fe85626a09c885',1,'CppUtil.cpp']]],
-  ['znst7label_6392',['znst7Label',['../CppUtil_8cpp.html#a784e559ae4da3ab3595e1fba4a171120',1,'CppUtil.cpp']]],
-  ['znstlabel_6393',['znstLabel',['../CppUtil_8cpp.html#a64bb8e85e7f5a08516c02c83ea329e63',1,'CppUtil.cpp']]],
-  ['znwm_6394',['znwm',['../CppUtil_8cpp.html#a809a0913c3e4226ef8fd2df7aaa63d8d',1,'CppUtil.cpp']]],
-  ['ztilabel_6395',['ztiLabel',['../CHGBuilder_8cpp.html#a4ecb39b2fb5510fb20341373b7ad5450',1,'ztiLabel(): CHGBuilder.cpp'],['../CppUtil_8cpp.html#ac6c8cb5e26437d51d4d2e0112ebfdbc6',1,'ztilabel(): CppUtil.cpp']]],
-  ['ztiprefix_6396',['ztiprefix',['../CppUtil_8cpp.html#af6dcab87a299097747c63a654197ae66',1,'CppUtil.cpp']]],
-  ['zval_6397',['zval',['../classSVF_1_1SVFConstantInt.html#ab6876d8be0707cbd05b467445a59d587',1,'SVF::SVFConstantInt']]]
+  ['z3expr_6373',['Z3Expr',['../classSVF_1_1Z3Expr.html',1,'SVF::Z3Expr'],['../classSVF_1_1Z3Expr.html#a7a952918c0f3105d31da2ee00af4cffb',1,'SVF::Z3Expr::Z3Expr(float f)'],['../classSVF_1_1Z3Expr.html#a540f1dc9615fd9765cff52a2a17adadc',1,'SVF::Z3Expr::Z3Expr(double f)'],['../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)']]],
+  ['z3expr_2ecpp_6374',['Z3Expr.cpp',['../Z3Expr_8cpp.html',1,'']]],
+  ['z3expr_2eh_6375',['Z3Expr.h',['../Z3Expr_8h.html',1,'']]],
+  ['z3expr2numvalue_6376',['z3Expr2NumValue',['../classSVF_1_1ConsExeState.html#ad8cd07a607743e8cbbf59bd5882c5043',1,'SVF::ConsExeState::z3Expr2NumValue()'],['../classSVF_1_1RelExeState.html#accb15cf8109eec2a7cc497badcdbaa57',1,'SVF::RelExeState::z3Expr2NumValue()']]],
+  ['zb_5fmax_6377',['ZB_Max',['../namespaceSVF.html#af5b6ec9770091c42227a45491b00b349aac378e728f7d53b2d96be1d33c63afb1',1,'SVF']]],
+  ['zb_5fundefined_6378',['ZB_Undefined',['../namespaceSVF.html#af5b6ec9770091c42227a45491b00b349a5cbe6f40e9b49a24bc2d2e4bf6f12d54',1,'SVF']]],
+  ['zb_5fwidth_6379',['ZB_Width',['../namespaceSVF.html#af5b6ec9770091c42227a45491b00b349afdacc59903d2677ef91777d78c7b80a7',1,'SVF']]],
+  ['zerobehavior_6380',['ZeroBehavior',['../namespaceSVF.html#af5b6ec9770091c42227a45491b00b349',1,'SVF']]],
+  ['zerror_6381',['zError',['../extapi_8c.html#a10c4297735fbf8c45419437c23ff7e08',1,'extapi.c']]],
+  ['zn1label_6382',['zn1Label',['../CppUtil_8cpp.html#a6f19eb9e9f233bab6ca592083dcfc0c3',1,'CppUtil.cpp']]],
+  ['znk9label_6383',['znk9Label',['../CppUtil_8cpp.html#ae0ed4e737ea205d0ba4b13bf59edee6d',1,'CppUtil.cpp']]],
+  ['znklabel_6384',['znkLabel',['../CppUtil_8cpp.html#a9d0fa1ab7e36b676084a4f680c1e5f2e',1,'CppUtil.cpp']]],
+  ['znkst20label_6385',['znkst20Label',['../CppUtil_8cpp.html#a3750c7fb6ce4186591a9d7a74f66dd2d',1,'CppUtil.cpp']]],
+  ['znkst23label_6386',['znkst23Label',['../CppUtil_8cpp.html#a1236129f13ba32542603b56b7ad60fd2',1,'CppUtil.cpp']]],
+  ['znkst5label_6387',['znkst5Label',['../CppUtil_8cpp.html#ae64b669f778ac066473456de94f72d48',1,'CppUtil.cpp']]],
+  ['znkstlabel_6388',['znkstLabel',['../CppUtil_8cpp.html#a73f68716197e7fbd42cb334af32b9ee2',1,'CppUtil.cpp']]],
+  ['znst12label_6389',['znst12Label',['../CppUtil_8cpp.html#a7da65e2a641fd4ccddaa68b83a6f2f72',1,'CppUtil.cpp']]],
+  ['znst14label_6390',['znst14Label',['../CppUtil_8cpp.html#adced009085794f93e816603380118609',1,'CppUtil.cpp']]],
+  ['znst5label_6391',['znst5Label',['../CppUtil_8cpp.html#a390380a90a788959ef45b5fd30349266',1,'CppUtil.cpp']]],
+  ['znst6label_6392',['znst6Label',['../CppUtil_8cpp.html#a0ec36087cc7f4ff6d6fe85626a09c885',1,'CppUtil.cpp']]],
+  ['znst7label_6393',['znst7Label',['../CppUtil_8cpp.html#a784e559ae4da3ab3595e1fba4a171120',1,'CppUtil.cpp']]],
+  ['znstlabel_6394',['znstLabel',['../CppUtil_8cpp.html#a64bb8e85e7f5a08516c02c83ea329e63',1,'CppUtil.cpp']]],
+  ['znwm_6395',['znwm',['../CppUtil_8cpp.html#a809a0913c3e4226ef8fd2df7aaa63d8d',1,'CppUtil.cpp']]],
+  ['ztilabel_6396',['ztilabel',['../CppUtil_8cpp.html#ac6c8cb5e26437d51d4d2e0112ebfdbc6',1,'ztilabel(): CppUtil.cpp'],['../CHGBuilder_8cpp.html#a4ecb39b2fb5510fb20341373b7ad5450',1,'ztiLabel(): CHGBuilder.cpp']]],
+  ['ztiprefix_6397',['ztiprefix',['../CppUtil_8cpp.html#af6dcab87a299097747c63a654197ae66',1,'CppUtil.cpp']]],
+  ['zval_6398',['zval',['../classSVF_1_1SVFConstantInt.html#ab6876d8be0707cbd05b467445a59d587',1,'SVF::SVFConstantInt']]]
 ];