svf-tools 1.0.781 → 1.0.783

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

@@ -1,66 +1,66 @@
 var searchData=
 [
-  ['wall_6140',['Wall',['../classSVF_1_1SVFStat.html#a4f47da512cfa8f94fddaddc65334b454a4daec28631d54e09b587e78707ab54fc',1,'SVF::SVFStat']]],
-  ['weakupdateoutfromin_6141',['weakUpdateOutFromIn',['../classSVF_1_1FlowSensitive.html#ab492c283e2264b4cbd4c192e805b7750',1,'SVF::FlowSensitive']]],
-  ['which_6142',['which',['../cJSON_8h.html#aa2a4dae2a14de4093826005f9bdfd3bb',1,'which(): cJSON.h'],['../cJSON_8cpp.html#aa2a4dae2a14de4093826005f9bdfd3bb',1,'which(): cJSON.cpp']]],
-  ['while_6143',['while',['../cJSON_8cpp.html#a209b15238c5803bc547b2d77e02f29b4',1,'cJSON.cpp']]],
-  ['widen_5fwith_6144',['widen_with',['../classSVF_1_1IntervalValue.html#ab7ddcc29a116944a91db24af90d4c144',1,'SVF::IntervalValue']]],
-  ['widening_6145',['widening',['../classSVF_1_1IntervalExeState.html#abc8edb74e55f40dbc7bb5182d4ef1199',1,'SVF::IntervalExeState']]],
-  ['widenvaddrs_6146',['widenVAddrs',['../classSVF_1_1SVFIR2ItvExeState.html#a57cbbcc977705ba7cd660bb5b632a66c',1,'SVF::SVFIR2ItvExeState']]],
-  ['widenwith_6147',['widenWith',['../classSVF_1_1IntervalExeState.html#acfbe4dbb85e802a0456b7223a26280d3',1,'SVF::IntervalExeState']]],
-  ['word_6148',['word',['../structSVF_1_1SparseBitVectorElement.html#a5d43d980591d14d3a3d0782be034ed4f',1,'SVF::SparseBitVectorElement::word()'],['../classSVF_1_1CoreBitVector.html#aaee26ffc13d05cd57f0fd7e4c2ea875c',1,'SVF::CoreBitVector::Word()']]],
-  ['wordit_6149',['wordIt',['../classSVF_1_1CoreBitVector_1_1CoreBitVectorIterator.html#a1afa1cb9e8377d3dab767aa4bfc713dc',1,'SVF::CoreBitVector::CoreBitVectorIterator']]],
-  ['wordnumber_6150',['WordNumber',['../classSVF_1_1SparseBitVector_1_1SparseBitVectorIterator.html#a6b139db78c9cba017df0fa468bee713a',1,'SVF::SparseBitVector::SparseBitVectorIterator']]],
-  ['words_6151',['words',['../classSVF_1_1CoreBitVector.html#a807283a917e845ef19c4962b1744e98b',1,'SVF::CoreBitVector']]],
-  ['wordsize_6152',['WordSize',['../classSVF_1_1CoreBitVector.html#a63f5e4a36359ae62401e5f8dfecb86a3',1,'SVF::CoreBitVector']]],
-  ['worklist_6153',['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_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_6154',['WorkList.h',['../WorkList_8h.html',1,'']]],
-  ['workstack_6155',['WorkStack',['../classSVF_1_1CSC.html#a0490b9998987d245ee6e56bc68db4f1e',1,'SVF::CSC']]],
-  ['wpa_2ecpp_6156',['wpa.cpp',['../wpa_8cpp.html',1,'']]],
-  ['wpaconstraintsolver_6157',['WPAConstraintSolver',['../namespaceSVF.html#ae9c142945ea31b6c70bceb93eb6f3ca4',1,'SVF']]],
-  ['wpafssolver_6158',['WPAFSSolver',['../classSVF_1_1WPAFSSolver.html',1,'SVF::WPAFSSolver< GraphType >'],['../classSVF_1_1WPAFSSolver.html#a3bab50f0e94f516204d6622420de7db7',1,'SVF::WPAFSSolver::WPAFSSolver()']]],
-  ['wpafssolver_2eh_6159',['WPAFSSolver.h',['../WPAFSSolver_8h.html',1,'']]],
-  ['wpaminimumsolver_6160',['WPAMinimumSolver',['../classSVF_1_1WPAMinimumSolver.html',1,'SVF::WPAMinimumSolver< GraphType >'],['../classSVF_1_1WPAMinimumSolver.html#aaf8b6410ba9667f7a46fc4ca05900ed3',1,'SVF::WPAMinimumSolver::WPAMinimumSolver()']]],
-  ['wpanum_6161',['WPANum',['../classSVF_1_1Options.html#a782d52d7e8d423c2bef27b34d518ffd9',1,'SVF::Options']]],
-  ['wpapass_6162',['WPAPass',['../classSVF_1_1WPAPass.html',1,'SVF::WPAPass'],['../classSVF_1_1WPAPass.html#a3fc957e01a3ac7c242c030c6f6846fa9',1,'SVF::WPAPass::WPAPass()']]],
-  ['wpapass_2ecpp_6163',['WPAPass.cpp',['../WPAPass_8cpp.html',1,'']]],
-  ['wpapass_2eh_6164',['WPAPass.h',['../WPAPass_8h.html',1,'']]],
-  ['wpasccsolver_6165',['WPASCCSolver',['../classSVF_1_1WPASCCSolver.html',1,'SVF::WPASCCSolver< GraphType >'],['../classSVF_1_1WPASCCSolver.html#aa2c15ca2f8fba1a5d77f0332e4ddf9e8',1,'SVF::WPASCCSolver::WPASCCSolver()']]],
-  ['wpasolver_6166',['WPASolver',['../classSVF_1_1WPASolver.html',1,'SVF::WPASolver< GraphType >'],['../classSVF_1_1WPASolver.html#a0c5616b0e340955dafc2ab2f21740abd',1,'SVF::WPASolver::WPASolver()']]],
-  ['wpasolver_2eh_6167',['WPASolver.h',['../WPASolver_8h.html',1,'']]],
-  ['wpastat_2eh_6168',['WPAStat.h',['../WPAStat_8h.html',1,'']]],
-  ['wpasvfgfssolver_6169',['WPASVFGFSSolver',['../namespaceSVF.html#a221270d70aa99a37738c0f919519a73d',1,'SVF']]],
-  ['wrapped_6170',['wrapped',['../classSVF_1_1iter__adaptor__base.html#afa1dc067ea97ae5db1e2618e47be1525',1,'SVF::iter_adaptor_base']]],
-  ['writeander_6171',['WriteAnder',['../classSVF_1_1Options.html#aabeb232a46547fd35ddc96244fdaf1b9',1,'SVF::Options']]],
-  ['writeedge_6172',['writeEdge',['../classSVF_1_1GraphWriter.html#a6133d0033363b0e9db156c354da7d7e6',1,'SVF::GraphWriter']]],
-  ['writefooter_6173',['writeFooter',['../classSVF_1_1GraphWriter.html#a5c3ce0eba24c71f847676b23b855e44c',1,'SVF::GraphWriter']]],
-  ['writegepobjvarmaptofile_6174',['writeGepObjVarMapToFile',['../classSVF_1_1BVDataPTAImpl.html#a5e782fb9a94a62403046c483ca4176c3',1,'SVF::BVDataPTAImpl']]],
-  ['writegraph_6175',['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_6176',['WriteGraphToFile',['../classSVF_1_1GraphPrinter.html#a014217fb0d05c8f2a2f1a6c5b19d3e10',1,'SVF::GraphPrinter']]],
-  ['writeheader_6177',['writeHeader',['../classSVF_1_1GraphWriter.html#abd376959cc889e1e387523f38674650f',1,'SVF::GraphWriter']]],
-  ['writejsontoostream_6178',['writeJsonToOstream',['../classSVF_1_1SVFIRWriter.html#a12d70e815fa53a4121d375ac26f2c30f',1,'SVF::SVFIRWriter']]],
-  ['writejsontopath_6179',['writeJsonToPath',['../classSVF_1_1SVFIRWriter.html#a2bbb4e38ce3eb2c43b7f01cb240df9c8',1,'SVF::SVFIRWriter']]],
-  ['writenode_6180',['writeNode',['../classSVF_1_1GraphWriter.html#a18c579b53feccbb3b521982c6161f555',1,'SVF::GraphWriter']]],
-  ['writenodes_6181',['writeNodes',['../classSVF_1_1GraphWriter.html#ada2363727dc20c2183b8252f3bdf3a04',1,'SVF::GraphWriter']]],
-  ['writeobjvartofile_6182',['writeObjVarToFile',['../classSVF_1_1BVDataPTAImpl.html#a3279969934d6778a6cffe926ed724bfc',1,'SVF::BVDataPTAImpl']]],
-  ['writeptsresulttofile_6183',['writePtsResultToFile',['../classSVF_1_1BVDataPTAImpl.html#a6ca3ab1e32012ef13613f52f27f3c502',1,'SVF::BVDataPTAImpl']]],
-  ['writerptrpool_6184',['WriterPtrPool',['../classSVF_1_1WriterPtrPool.html',1,'SVF']]],
-  ['writerptrpool_3c_20edgetype_20_3e_6185',['WriterPtrPool< EdgeType >',['../classSVF_1_1WriterPtrPool.html',1,'SVF']]],
-  ['writerptrpool_3c_20svf_3a_3astinfo_20_3e_6186',['WriterPtrPool< SVF::StInfo >',['../classSVF_1_1WriterPtrPool.html',1,'SVF']]],
-  ['writerptrpool_3c_20svf_3a_3asvfloop_20_3e_6187',['WriterPtrPool< SVF::SVFLoop >',['../classSVF_1_1WriterPtrPool.html',1,'SVF']]],
-  ['writerptrpool_3c_20svf_3a_3asvftype_20_3e_6188',['WriterPtrPool< SVF::SVFType >',['../classSVF_1_1WriterPtrPool.html',1,'SVF']]],
-  ['writerptrpool_3c_20svf_3a_3asvfvalue_20_3e_6189',['WriterPtrPool< SVF::SVFValue >',['../classSVF_1_1WriterPtrPool.html',1,'SVF']]],
-  ['writesvfg_6190',['WriteSVFG',['../classSVF_1_1Options.html#a26711c33c9247a296f6dfaaf36d38e47',1,'SVF::Options']]],
-  ['writetofile_6191',['writeToFile',['../classSVF_1_1SVFG.html#a7ce9ec638995467c211958262be08ee1',1,'SVF::SVFG::writeToFile()'],['../classSVF_1_1BVDataPTAImpl.html#a25c68f9d2b88437778e854ff0d741d1b',1,'SVF::BVDataPTAImpl::writeToFile()']]],
-  ['writeversionedanalysisresulttofile_6192',['writeVersionedAnalysisResultToFile',['../classSVF_1_1VersionedFlowSensitive.html#ab2c21cc1e4cd4d7dbc12b6bd9f34d971',1,'SVF::VersionedFlowSensitive']]],
-  ['writewrnmsg_6193',['writeWrnMsg',['../namespaceSVF_1_1SVFUtil.html#ab2e0196e0ce547ab4a483cc6d2646b24',1,'SVF::SVFUtil']]],
-  ['wrnmsg_6194',['wrnMsg',['../namespaceSVF_1_1SVFUtil.html#ac71522e8c55f84cfc6c13a0ddff18436',1,'SVF::SVFUtil']]],
-  ['wto_2eh_6195',['WTO.h',['../WTO_8h.html',1,'']]],
-  ['wtocomponentreflist_6196',['WtoComponentRefList',['../classSVF_1_1CFBasicBlockGWTOCycle.html#a68cc18d5e3e4be58467f4aa0806dcd59',1,'SVF::CFBasicBlockGWTOCycle']]],
-  ['wtocompreflist_6197',['WTOCompRefList',['../classSVF_1_1CFBasicBlockGWTO.html#a1e6c7cb2b79de62cbad8d29980d5cf38',1,'SVF::CFBasicBlockGWTO']]],
-  ['wtocomprefset_6198',['WTOCompRefSet',['../classSVF_1_1CFBasicBlockGWTO.html#a2a453341c33faac3e74bb54d8da6db18',1,'SVF::CFBasicBlockGWTO']]],
-  ['wtoct_6199',['WtoCT',['../classSVF_1_1CFBasicBlockGWTOComp.html#a83d5f4a0d2c4efc9840d30f1a1c3b300',1,'SVF::CFBasicBlockGWTOComp']]],
-  ['wtocycledepth_6200',['WTOCycleDepth',['../classSVF_1_1WTOCycleDepth.html',1,'SVF::WTOCycleDepth< NodeRef >'],['../classSVF_1_1WTOCycleDepth.html#a7f3412aaf5948741e4c5cdbaff728101',1,'SVF::WTOCycleDepth::WTOCycleDepth()=default'],['../classSVF_1_1WTOCycleDepth.html#afc723013529bd727de465237b9f247b9',1,'SVF::WTOCycleDepth::WTOCycleDepth(const WTOCycleDepth &)=default'],['../classSVF_1_1WTOCycleDepth.html#ac464d9bc46a36a4e91b8356394c0af82',1,'SVF::WTOCycleDepth::WTOCycleDepth(WTOCycleDepth &&)=default']]],
-  ['wtocycledepthbuilder_6201',['WTOCycleDepthBuilder',['../classSVF_1_1CFBasicBlockGWTO_1_1WTOCycleDepthBuilder.html',1,'SVF::CFBasicBlockGWTO::WTOCycleDepthBuilder'],['../classSVF_1_1CFBasicBlockGWTO_1_1WTOCycleDepthBuilder.html#adc313cc9a42ae663f0c018da128b77f6',1,'SVF::CFBasicBlockGWTO::WTOCycleDepthBuilder::WTOCycleDepthBuilder()']]],
-  ['wtovisitor_6202',['WTOVisitor',['../classSVF_1_1WTOVisitor.html',1,'SVF::WTOVisitor'],['../classSVF_1_1WTOVisitor.html#a78a0b2d508d8591126203f8b5d6e22cd',1,'SVF::WTOVisitor::WTOVisitor()=default'],['../classSVF_1_1WTOVisitor.html#a78070052887172b31f7fb02a2bd9d2a8',1,'SVF::WTOVisitor::WTOVisitor(const WTOVisitor &) noexcept=default'],['../classSVF_1_1WTOVisitor.html#a624905f5b86c02d1daa9d8860f129d25',1,'SVF::WTOVisitor::WTOVisitor(WTOVisitor &&) noexcept=default']]]
+  ['wall_6095',['Wall',['../classSVF_1_1SVFStat.html#a4f47da512cfa8f94fddaddc65334b454a4daec28631d54e09b587e78707ab54fc',1,'SVF::SVFStat']]],
+  ['weakupdateoutfromin_6096',['weakUpdateOutFromIn',['../classSVF_1_1FlowSensitive.html#ab492c283e2264b4cbd4c192e805b7750',1,'SVF::FlowSensitive']]],
+  ['which_6097',['which',['../cJSON_8h.html#aa2a4dae2a14de4093826005f9bdfd3bb',1,'which(): cJSON.h'],['../cJSON_8cpp.html#aa2a4dae2a14de4093826005f9bdfd3bb',1,'which(): cJSON.cpp']]],
+  ['while_6098',['while',['../cJSON_8cpp.html#a209b15238c5803bc547b2d77e02f29b4',1,'cJSON.cpp']]],
+  ['widen_5fwith_6099',['widen_with',['../classSVF_1_1IntervalValue.html#ab7ddcc29a116944a91db24af90d4c144',1,'SVF::IntervalValue']]],
+  ['widening_6100',['widening',['../classSVF_1_1IntervalExeState.html#abc8edb74e55f40dbc7bb5182d4ef1199',1,'SVF::IntervalExeState']]],
+  ['widenvaddrs_6101',['widenVAddrs',['../classSVF_1_1SVFIR2ItvExeState.html#a57cbbcc977705ba7cd660bb5b632a66c',1,'SVF::SVFIR2ItvExeState']]],
+  ['widenwith_6102',['widenWith',['../classSVF_1_1IntervalExeState.html#acfbe4dbb85e802a0456b7223a26280d3',1,'SVF::IntervalExeState']]],
+  ['word_6103',['word',['../structSVF_1_1SparseBitVectorElement.html#a5d43d980591d14d3a3d0782be034ed4f',1,'SVF::SparseBitVectorElement::word()'],['../classSVF_1_1CoreBitVector.html#aaee26ffc13d05cd57f0fd7e4c2ea875c',1,'SVF::CoreBitVector::Word()']]],
+  ['wordit_6104',['wordIt',['../classSVF_1_1CoreBitVector_1_1CoreBitVectorIterator.html#a1afa1cb9e8377d3dab767aa4bfc713dc',1,'SVF::CoreBitVector::CoreBitVectorIterator']]],
+  ['wordnumber_6105',['WordNumber',['../classSVF_1_1SparseBitVector_1_1SparseBitVectorIterator.html#a6b139db78c9cba017df0fa468bee713a',1,'SVF::SparseBitVector::SparseBitVectorIterator']]],
+  ['words_6106',['words',['../classSVF_1_1CoreBitVector.html#a807283a917e845ef19c4962b1744e98b',1,'SVF::CoreBitVector']]],
+  ['wordsize_6107',['WordSize',['../classSVF_1_1CoreBitVector.html#a63f5e4a36359ae62401e5f8dfecb86a3',1,'SVF::CoreBitVector']]],
+  ['worklist_6108',['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_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()'],['../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()']]],
+  ['worklist_2eh_6109',['WorkList.h',['../WorkList_8h.html',1,'']]],
+  ['workstack_6110',['WorkStack',['../classSVF_1_1CSC.html#a0490b9998987d245ee6e56bc68db4f1e',1,'SVF::CSC']]],
+  ['wpa_2ecpp_6111',['wpa.cpp',['../wpa_8cpp.html',1,'']]],
+  ['wpaconstraintsolver_6112',['WPAConstraintSolver',['../namespaceSVF.html#ae9c142945ea31b6c70bceb93eb6f3ca4',1,'SVF']]],
+  ['wpafssolver_6113',['WPAFSSolver',['../classSVF_1_1WPAFSSolver.html',1,'SVF::WPAFSSolver< GraphType >'],['../classSVF_1_1WPAFSSolver.html#a3bab50f0e94f516204d6622420de7db7',1,'SVF::WPAFSSolver::WPAFSSolver()']]],
+  ['wpafssolver_2eh_6114',['WPAFSSolver.h',['../WPAFSSolver_8h.html',1,'']]],
+  ['wpaminimumsolver_6115',['WPAMinimumSolver',['../classSVF_1_1WPAMinimumSolver.html',1,'SVF::WPAMinimumSolver< GraphType >'],['../classSVF_1_1WPAMinimumSolver.html#aaf8b6410ba9667f7a46fc4ca05900ed3',1,'SVF::WPAMinimumSolver::WPAMinimumSolver()']]],
+  ['wpanum_6116',['WPANum',['../classSVF_1_1Options.html#a782d52d7e8d423c2bef27b34d518ffd9',1,'SVF::Options']]],
+  ['wpapass_6117',['WPAPass',['../classSVF_1_1WPAPass.html',1,'SVF::WPAPass'],['../classSVF_1_1WPAPass.html#a3fc957e01a3ac7c242c030c6f6846fa9',1,'SVF::WPAPass::WPAPass()']]],
+  ['wpapass_2ecpp_6118',['WPAPass.cpp',['../WPAPass_8cpp.html',1,'']]],
+  ['wpapass_2eh_6119',['WPAPass.h',['../WPAPass_8h.html',1,'']]],
+  ['wpasccsolver_6120',['WPASCCSolver',['../classSVF_1_1WPASCCSolver.html',1,'SVF::WPASCCSolver< GraphType >'],['../classSVF_1_1WPASCCSolver.html#aa2c15ca2f8fba1a5d77f0332e4ddf9e8',1,'SVF::WPASCCSolver::WPASCCSolver()']]],
+  ['wpasolver_6121',['WPASolver',['../classSVF_1_1WPASolver.html',1,'SVF::WPASolver< GraphType >'],['../classSVF_1_1WPASolver.html#a0c5616b0e340955dafc2ab2f21740abd',1,'SVF::WPASolver::WPASolver()']]],
+  ['wpasolver_2eh_6122',['WPASolver.h',['../WPASolver_8h.html',1,'']]],
+  ['wpastat_2eh_6123',['WPAStat.h',['../WPAStat_8h.html',1,'']]],
+  ['wpasvfgfssolver_6124',['WPASVFGFSSolver',['../namespaceSVF.html#a221270d70aa99a37738c0f919519a73d',1,'SVF']]],
+  ['wrapped_6125',['wrapped',['../classSVF_1_1iter__adaptor__base.html#afa1dc067ea97ae5db1e2618e47be1525',1,'SVF::iter_adaptor_base']]],
+  ['writeander_6126',['WriteAnder',['../classSVF_1_1Options.html#aabeb232a46547fd35ddc96244fdaf1b9',1,'SVF::Options']]],
+  ['writeedge_6127',['writeEdge',['../classSVF_1_1GraphWriter.html#a6133d0033363b0e9db156c354da7d7e6',1,'SVF::GraphWriter']]],
+  ['writefooter_6128',['writeFooter',['../classSVF_1_1GraphWriter.html#a5c3ce0eba24c71f847676b23b855e44c',1,'SVF::GraphWriter']]],
+  ['writegepobjvarmaptofile_6129',['writeGepObjVarMapToFile',['../classSVF_1_1BVDataPTAImpl.html#a5e782fb9a94a62403046c483ca4176c3',1,'SVF::BVDataPTAImpl']]],
+  ['writegraph_6130',['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_6131',['WriteGraphToFile',['../classSVF_1_1GraphPrinter.html#a014217fb0d05c8f2a2f1a6c5b19d3e10',1,'SVF::GraphPrinter']]],
+  ['writeheader_6132',['writeHeader',['../classSVF_1_1GraphWriter.html#abd376959cc889e1e387523f38674650f',1,'SVF::GraphWriter']]],
+  ['writejsontoostream_6133',['writeJsonToOstream',['../classSVF_1_1SVFIRWriter.html#a12d70e815fa53a4121d375ac26f2c30f',1,'SVF::SVFIRWriter']]],
+  ['writejsontopath_6134',['writeJsonToPath',['../classSVF_1_1SVFIRWriter.html#a2bbb4e38ce3eb2c43b7f01cb240df9c8',1,'SVF::SVFIRWriter']]],
+  ['writenode_6135',['writeNode',['../classSVF_1_1GraphWriter.html#a18c579b53feccbb3b521982c6161f555',1,'SVF::GraphWriter']]],
+  ['writenodes_6136',['writeNodes',['../classSVF_1_1GraphWriter.html#ada2363727dc20c2183b8252f3bdf3a04',1,'SVF::GraphWriter']]],
+  ['writeobjvartofile_6137',['writeObjVarToFile',['../classSVF_1_1BVDataPTAImpl.html#a3279969934d6778a6cffe926ed724bfc',1,'SVF::BVDataPTAImpl']]],
+  ['writeptsresulttofile_6138',['writePtsResultToFile',['../classSVF_1_1BVDataPTAImpl.html#a6ca3ab1e32012ef13613f52f27f3c502',1,'SVF::BVDataPTAImpl']]],
+  ['writerptrpool_6139',['WriterPtrPool',['../classSVF_1_1WriterPtrPool.html',1,'SVF']]],
+  ['writerptrpool_3c_20edgetype_20_3e_6140',['WriterPtrPool< EdgeType >',['../classSVF_1_1WriterPtrPool.html',1,'SVF']]],
+  ['writerptrpool_3c_20svf_3a_3astinfo_20_3e_6141',['WriterPtrPool< SVF::StInfo >',['../classSVF_1_1WriterPtrPool.html',1,'SVF']]],
+  ['writerptrpool_3c_20svf_3a_3asvfloop_20_3e_6142',['WriterPtrPool< SVF::SVFLoop >',['../classSVF_1_1WriterPtrPool.html',1,'SVF']]],
+  ['writerptrpool_3c_20svf_3a_3asvftype_20_3e_6143',['WriterPtrPool< SVF::SVFType >',['../classSVF_1_1WriterPtrPool.html',1,'SVF']]],
+  ['writerptrpool_3c_20svf_3a_3asvfvalue_20_3e_6144',['WriterPtrPool< SVF::SVFValue >',['../classSVF_1_1WriterPtrPool.html',1,'SVF']]],
+  ['writesvfg_6145',['WriteSVFG',['../classSVF_1_1Options.html#a26711c33c9247a296f6dfaaf36d38e47',1,'SVF::Options']]],
+  ['writetofile_6146',['writeToFile',['../classSVF_1_1SVFG.html#a7ce9ec638995467c211958262be08ee1',1,'SVF::SVFG::writeToFile()'],['../classSVF_1_1BVDataPTAImpl.html#a25c68f9d2b88437778e854ff0d741d1b',1,'SVF::BVDataPTAImpl::writeToFile()']]],
+  ['writeversionedanalysisresulttofile_6147',['writeVersionedAnalysisResultToFile',['../classSVF_1_1VersionedFlowSensitive.html#ab2c21cc1e4cd4d7dbc12b6bd9f34d971',1,'SVF::VersionedFlowSensitive']]],
+  ['writewrnmsg_6148',['writeWrnMsg',['../namespaceSVF_1_1SVFUtil.html#ab2e0196e0ce547ab4a483cc6d2646b24',1,'SVF::SVFUtil']]],
+  ['wrnmsg_6149',['wrnMsg',['../namespaceSVF_1_1SVFUtil.html#ac71522e8c55f84cfc6c13a0ddff18436',1,'SVF::SVFUtil']]],
+  ['wto_2eh_6150',['WTO.h',['../WTO_8h.html',1,'']]],
+  ['wtocomponentreflist_6151',['WtoComponentRefList',['../classSVF_1_1CFBasicBlockGWTOCycle.html#a68cc18d5e3e4be58467f4aa0806dcd59',1,'SVF::CFBasicBlockGWTOCycle']]],
+  ['wtocompreflist_6152',['WTOCompRefList',['../classSVF_1_1CFBasicBlockGWTO.html#a1e6c7cb2b79de62cbad8d29980d5cf38',1,'SVF::CFBasicBlockGWTO']]],
+  ['wtocomprefset_6153',['WTOCompRefSet',['../classSVF_1_1CFBasicBlockGWTO.html#a2a453341c33faac3e74bb54d8da6db18',1,'SVF::CFBasicBlockGWTO']]],
+  ['wtoct_6154',['WtoCT',['../classSVF_1_1CFBasicBlockGWTOComp.html#a83d5f4a0d2c4efc9840d30f1a1c3b300',1,'SVF::CFBasicBlockGWTOComp']]],
+  ['wtocycledepth_6155',['WTOCycleDepth',['../classSVF_1_1WTOCycleDepth.html',1,'SVF::WTOCycleDepth< NodeRef >'],['../classSVF_1_1WTOCycleDepth.html#a7f3412aaf5948741e4c5cdbaff728101',1,'SVF::WTOCycleDepth::WTOCycleDepth()=default'],['../classSVF_1_1WTOCycleDepth.html#afc723013529bd727de465237b9f247b9',1,'SVF::WTOCycleDepth::WTOCycleDepth(const WTOCycleDepth &)=default'],['../classSVF_1_1WTOCycleDepth.html#ac464d9bc46a36a4e91b8356394c0af82',1,'SVF::WTOCycleDepth::WTOCycleDepth(WTOCycleDepth &&)=default']]],
+  ['wtocycledepthbuilder_6156',['WTOCycleDepthBuilder',['../classSVF_1_1CFBasicBlockGWTO_1_1WTOCycleDepthBuilder.html',1,'SVF::CFBasicBlockGWTO::WTOCycleDepthBuilder'],['../classSVF_1_1CFBasicBlockGWTO_1_1WTOCycleDepthBuilder.html#adc313cc9a42ae663f0c018da128b77f6',1,'SVF::CFBasicBlockGWTO::WTOCycleDepthBuilder::WTOCycleDepthBuilder()']]],
+  ['wtovisitor_6157',['WTOVisitor',['../classSVF_1_1WTOVisitor.html',1,'SVF::WTOVisitor'],['../classSVF_1_1WTOVisitor.html#a78a0b2d508d8591126203f8b5d6e22cd',1,'SVF::WTOVisitor::WTOVisitor()=default'],['../classSVF_1_1WTOVisitor.html#a78070052887172b31f7fb02a2bd9d2a8',1,'SVF::WTOVisitor::WTOVisitor(const WTOVisitor &) noexcept=default'],['../classSVF_1_1WTOVisitor.html#a624905f5b86c02d1daa9d8860f129d25',1,'SVF::WTOVisitor::WTOVisitor(WTOVisitor &&) noexcept=default']]]
 ];

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

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

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

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

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

@@ -1,14 +1,14 @@
 var searchData=
 [
-  ['z3expr_6205',['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_6206',['Z3Expr.cpp',['../Z3Expr_8cpp.html',1,'']]],
-  ['z3expr_2eh_6207',['Z3Expr.h',['../Z3Expr_8h.html',1,'']]],
-  ['z3expr2numvalue_6208',['z3Expr2NumValue',['../classSVF_1_1ConsExeState.html#ad8cd07a607743e8cbbf59bd5882c5043',1,'SVF::ConsExeState::z3Expr2NumValue()'],['../classSVF_1_1RelExeState.html#accb15cf8109eec2a7cc497badcdbaa57',1,'SVF::RelExeState::z3Expr2NumValue()']]],
-  ['zb_5fmax_6209',['ZB_Max',['../namespaceSVF.html#af5b6ec9770091c42227a45491b00b349aac378e728f7d53b2d96be1d33c63afb1',1,'SVF']]],
-  ['zb_5fundefined_6210',['ZB_Undefined',['../namespaceSVF.html#af5b6ec9770091c42227a45491b00b349a5cbe6f40e9b49a24bc2d2e4bf6f12d54',1,'SVF']]],
-  ['zb_5fwidth_6211',['ZB_Width',['../namespaceSVF.html#af5b6ec9770091c42227a45491b00b349afdacc59903d2677ef91777d78c7b80a7',1,'SVF']]],
-  ['zerobehavior_6212',['ZeroBehavior',['../namespaceSVF.html#af5b6ec9770091c42227a45491b00b349',1,'SVF']]],
-  ['zerror_6213',['zError',['../extapi_8c.html#a10c4297735fbf8c45419437c23ff7e08',1,'extapi.c']]],
-  ['ztilabel_6214',['ztiLabel',['../CHGBuilder_8cpp.html#a4ecb39b2fb5510fb20341373b7ad5450',1,'CHGBuilder.cpp']]],
-  ['zval_6215',['zval',['../classSVF_1_1SVFConstantInt.html#ab6876d8be0707cbd05b467445a59d587',1,'SVF::SVFConstantInt']]]
+  ['z3expr_6160',['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_6161',['Z3Expr.cpp',['../Z3Expr_8cpp.html',1,'']]],
+  ['z3expr_2eh_6162',['Z3Expr.h',['../Z3Expr_8h.html',1,'']]],
+  ['z3expr2numvalue_6163',['z3Expr2NumValue',['../classSVF_1_1ConsExeState.html#ad8cd07a607743e8cbbf59bd5882c5043',1,'SVF::ConsExeState::z3Expr2NumValue()'],['../classSVF_1_1RelExeState.html#accb15cf8109eec2a7cc497badcdbaa57',1,'SVF::RelExeState::z3Expr2NumValue()']]],
+  ['zb_5fmax_6164',['ZB_Max',['../namespaceSVF.html#af5b6ec9770091c42227a45491b00b349aac378e728f7d53b2d96be1d33c63afb1',1,'SVF']]],
+  ['zb_5fundefined_6165',['ZB_Undefined',['../namespaceSVF.html#af5b6ec9770091c42227a45491b00b349a5cbe6f40e9b49a24bc2d2e4bf6f12d54',1,'SVF']]],
+  ['zb_5fwidth_6166',['ZB_Width',['../namespaceSVF.html#af5b6ec9770091c42227a45491b00b349afdacc59903d2677ef91777d78c7b80a7',1,'SVF']]],
+  ['zerobehavior_6167',['ZeroBehavior',['../namespaceSVF.html#af5b6ec9770091c42227a45491b00b349',1,'SVF']]],
+  ['zerror_6168',['zError',['../extapi_8c.html#a10c4297735fbf8c45419437c23ff7e08',1,'extapi.c']]],
+  ['ztilabel_6169',['ztiLabel',['../CHGBuilder_8cpp.html#a4ecb39b2fb5510fb20341373b7ad5450',1,'CHGBuilder.cpp']]],
+  ['zval_6170',['zval',['../classSVF_1_1SVFConstantInt.html#ab6876d8be0707cbd05b467445a59d587',1,'SVF::SVFConstantInt']]]
 ];