svf-tools 1.0.901 → 1.0.902

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

@@ -1,68 +1,68 @@
 var searchData=
 [
-  ['s16_5ft_13109',['s16_t',['../namespaceSVF.html#a6ce4cf67f8622443c888737d7366a3e9',1,'SVF']]],
-  ['s32_5ft_13110',['s32_t',['../namespaceSVF.html#a9b707002523ece2ac54ca893ee9a2d4e',1,'SVF']]],
-  ['s64_5ft_13111',['s64_t',['../namespaceSVF.html#ad781b0b14e89773e774072b280658ef3',1,'SVF']]],
-  ['s8_5ft_13112',['s8_t',['../namespaceSVF.html#a64e9b1c8c4f095e5b50ba05229c2e1ba',1,'SVF']]],
-  ['scalarevolution_13113',['ScalarEvolution',['../namespaceSVF.html#ad8794eb3c00de3d3b5c5e43dded3fb42',1,'SVF']]],
-  ['scalarevolutionwrapperpass_13114',['ScalarEvolutionWrapperPass',['../namespaceSVF.html#a9f1aca0384166e42d14e2608009ebc01',1,'SVF']]],
-  ['scc_13115',['SCC',['../classSVF_1_1MRGenerator.html#af8d52e6c9884c6e1abc6dbcbc5e32629',1,'SVF::MRGenerator::SCC()'],['../classSVF_1_1WPASolver.html#a1352953966be14b2a1d6244f35e74a33',1,'SVF::WPASolver::SCC()']]],
-  ['scev_13116',['SCEV',['../namespaceSVF.html#aac5262378e41a3414a20cc9a41d4adc6',1,'SVF']]],
-  ['scevaddrecexpr_13117',['SCEVAddRecExpr',['../namespaceSVF.html#a4f7c400fbf2fa03db8cf61cb9a7dd3e8',1,'SVF']]],
-  ['scevconstant_13118',['SCEVConstant',['../namespaceSVF.html#abe745006fa40399d8a13613a3e0dfc63',1,'SVF']]],
-  ['selectinst_13119',['SelectInst',['../namespaceSVF.html#ab7fac9d4a4839be445c89777e21bc307',1,'SVF']]],
-  ['set_13120',['Set',['../namespaceSVF.html#af739db846e47ba6b2fd15eaad31ab7fb',1,'SVF']]],
-  ['sfrtrait_13121',['SFRTrait',['../classSVF_1_1AndersenSFR.html#a2d41b49a1474c030ef2324c14467af30',1,'SVF::AndersenSFR']]],
-  ['shufflevectorinst_13122',['ShuffleVectorInst',['../namespaceSVF.html#a64e69f438b8c302c4cae27735319fa49',1,'SVF']]],
-  ['simpletype_13123',['SimpleType',['../structSVF_1_1SVFUtil_1_1simplify__type.html#a40c0d9a74681d3eaa7172ba137d489e4',1,'SVF::SVFUtil::simplify_type::SimpleType()'],['../structSVF_1_1SVFUtil_1_1simplify__type_3_01const_01From_01_4.html#a8de25e1bb07ca0f995e5760065259531',1,'SVF::SVFUtil::simplify_type< const From >::SimpleType()']]],
-  ['singlecondvar_13124',['SingleCondVar',['../classSVF_1_1CondPointsToSet.html#a0ef73bd2c1b42439ee6f265e07f17514',1,'SVF::CondPointsToSet']]],
-  ['size_5ftype_13125',['size_type',['../structSVF_1_1SparseBitVectorElement.html#ad9e38352db094adcdfb2964f325d9e53',1,'SVF::SparseBitVectorElement']]],
-  ['smdiagnostic_13126',['SMDiagnostic',['../namespaceSVF.html#a86863d104a3930b3a806935d92ddbf30',1,'SVF']]],
-  ['stack_13127',['Stack',['../classSVF_1_1WTO.html#ab35eabe45c6b944b26532fbe630cd019',1,'SVF::WTO']]],
-  ['stmtsvfgnode_13128',['StmtSVFGNode',['../namespaceSVF.html#a26bd4f89dc154b9c6d34b6a517777934',1,'SVF']]],
-  ['storechi_13129',['STORECHI',['../classSVF_1_1SVFG.html#ad14cdbb3f1df1f716aa03b4d39f4e52b',1,'SVF::SVFG::STORECHI()'],['../classSVF_1_1MemSSA.html#a150e9d53ced1c143bba2d1026f739fa4',1,'SVF::MemSSA::STORECHI()']]],
-  ['storeinst_13130',['StoreInst',['../namespaceSVF.html#ab696aab940eb187dc81217efe8649af5',1,'SVF']]],
-  ['storeset_13131',['StoreSet',['../classSVF_1_1MTA.html#a6bcd86c36f8f4307c4951a23021af92e',1,'SVF::MTA']]],
-  ['storestomrsmap_13132',['StoresToMRsMap',['../classSVF_1_1MRGenerator.html#afacb458ca832ef459e873b7d90134a8c',1,'SVF::MRGenerator']]],
-  ['storestopointstomap_13133',['StoresToPointsToMap',['../classSVF_1_1MRGenerator.html#a357e1654e30b2f91f6ea30ea5a52e91d',1,'SVF::MRGenerator']]],
-  ['storesvfgnode_13134',['StoreSVFGNode',['../namespaceSVF.html#a54c5725186e66ead6faf53c10a288714',1,'SVF']]],
-  ['storetochisetmap_13135',['StoreToChiSetMap',['../classSVF_1_1MemSSA.html#acfee1bb5534026ce991a1ab5e796c6b9',1,'SVF::MemSSA']]],
-  ['storetopmsetmap_13136',['StoreToPMSetMap',['../classSVF_1_1DDAVFSolver.html#accaacd2dd680f92ff83cfe75eef6ffab',1,'SVF::DDAVFSolver']]],
-  ['structlayout_13137',['StructLayout',['../namespaceSVF.html#a52c8654c221bb53a59f70ea3cb1e5c45',1,'SVF']]],
-  ['structtype_13138',['StructType',['../namespaceSVF.html#a2bf58575ac7d068e0f1a4cf953b9e6cb',1,'SVF']]],
-  ['succ_5fconst_5fiterator_13139',['succ_const_iterator',['../namespaceSVF.html#a3436a988bf80c021cd8022fb445b66d5',1,'SVF']]],
-  ['succandcondpairvec_13140',['SuccAndCondPairVec',['../classSVF_1_1BranchStmt.html#a6a0e64824777f04be4c169125dd4f666',1,'SVF::BranchStmt']]],
-  ['succbbandcondvalpair_13141',['SuccBBAndCondValPair',['../namespaceSVF.html#a255efa5be786996cbdd0c1f3d98b8400',1,'SVF']]],
-  ['succbbandcondvalpairvec_13142',['SuccBBAndCondValPairVec',['../namespaceSVF.html#a8de26e1810ea0c3b1e8ad62f1c8a864d',1,'SVF']]],
-  ['super_13143',['super',['../classllvm_1_1generic__bridge__gep__type__iterator.html#aae0af8f079614e0a971c7db4b9de18fa',1,'llvm::generic_bridge_gep_type_iterator']]],
-  ['svfgedge_13144',['SVFGEdge',['../namespaceSVF.html#aa4745cf70b26e17d59752356f0b19dd9',1,'SVF']]],
-  ['svfgedgek_13145',['SVFGEdgeK',['../classSVF_1_1ICFGEdge.html#a068573fdbd9b99af18f3deeb9b16a38b',1,'SVF::ICFGEdge::SVFGEdgeK()'],['../classSVF_1_1VFGEdge.html#ae77e57aa36ed43fe83efa4c90a84688f',1,'SVF::VFGEdge::SVFGEdgeK()']]],
-  ['svfgedgeset_13146',['SVFGEdgeSet',['../classSVF_1_1DDAPass.html#acc81a1f7ad572fa27648999334479f56',1,'SVF::DDAPass::SVFGEdgeSet()'],['../classSVF_1_1DDAVFSolver.html#a6489319b33a807f7caba2d34017a3e1b',1,'SVF::DDAVFSolver::SVFGEdgeSet()'],['../classSVF_1_1SVFGStat.html#afeddbe4020e9b3c928856c2dc86af838',1,'SVF::SVFGStat::SVFGEdgeSet()'],['../classSVF_1_1SVFGBuilder.html#a640158fff237cb5afabdf1c5946550e0',1,'SVF::SVFGBuilder::SVFGEdgeSet()']]],
-  ['svfgedgesetty_13147',['SVFGEdgeSetTy',['../classSVF_1_1CDGEdge.html#aa75059c2515efdbf735598db42767cd6',1,'SVF::CDGEdge::SVFGEdgeSetTy()'],['../classSVF_1_1ICFGEdge.html#ad14443828b9030ee7b438fa3cdf17e56',1,'SVF::ICFGEdge::SVFGEdgeSetTy()'],['../classSVF_1_1VFG.html#ac97ef8c479556f9ca2c40cd4d8a18694',1,'SVF::VFG::SVFGEdgeSetTy()'],['../classSVF_1_1VFGEdge.html#a557334ef75bb5479b045f68c27b38701',1,'SVF::VFGEdge::SVFGEdgeSetTy()'],['../classSVF_1_1FlowSensitive.html#a69289c48fa91f850da90de080b9d26e5',1,'SVF::FlowSensitive::SVFGEdgeSetTy()']]],
-  ['svfgnode_13148',['SVFGNode',['../namespaceSVF.html#a5dfa3fa5129bacdc0be0c051ccf386df',1,'SVF']]],
-  ['svfgnodebs_13149',['SVFGNodeBS',['../classSVF_1_1LeakChecker.html#a65b05e30410e40fe64d41f71516cd367',1,'SVF::LeakChecker::SVFGNodeBS()'],['../classSVF_1_1SrcSnkDDA.html#a70cff8ea7c033c01400935c9e446f2c6',1,'SVF::SrcSnkDDA::SVFGNodeBS()']]],
-  ['svfgnodeidset_13150',['SVFGNodeIDSet',['../classSVF_1_1MTASVFGBuilder.html#a17da7e5da237c23873e17250d9746939',1,'SVF::MTASVFGBuilder']]],
-  ['svfgnodeidtonodemapty_13151',['SVFGNodeIDToNodeMapTy',['../classSVF_1_1SVFG.html#a3d04ce1429b1edf90c9c0833e3b5a4a9',1,'SVF::SVFG']]],
-  ['svfgnodeset_13152',['SVFGNodeSet',['../classSVF_1_1CFLSVFGBuilder.html#a0f20a668d844f54f1af93f2baae58841',1,'SVF::CFLSVFGBuilder::SVFGNodeSet()'],['../classSVF_1_1SVFGOPT.html#a07874e1a77bcd5ff593757d202a4edd6',1,'SVF::SVFGOPT::SVFGNodeSet()'],['../classSVF_1_1SVFGStat.html#aee5ecd6a92c40e1e27197869028689c4',1,'SVF::SVFGStat::SVFGNodeSet()'],['../classSVF_1_1MTASVFGBuilder.html#a467e7b445394acb735b1b24ce39e966a',1,'SVF::MTASVFGBuilder::SVFGNodeSet()'],['../classSVF_1_1ProgSlice.html#a4864972e12f3e95f06bcf2bf8c847b3a',1,'SVF::ProgSlice::SVFGNodeSet()'],['../classSVF_1_1SaberSVFGBuilder.html#a298a94f9b368e37767935a42e5ba954a',1,'SVF::SaberSVFGBuilder::SVFGNodeSet()'],['../classSVF_1_1SrcSnkDDA.html#a19f02a14ee669fadc37fde3816fa2f84',1,'SVF::SrcSnkDDA::SVFGNodeSet()']]],
-  ['svfgnodesetiter_13153',['SVFGNodeSetIter',['../classSVF_1_1ProgSlice.html#af41c438baa739406a35bcb2e9ba431dd',1,'SVF::ProgSlice::SVFGNodeSetIter()'],['../classSVF_1_1SrcSnkDDA.html#ad6935e27bbd95d26a01b22b879efed58',1,'SVF::SrcSnkDDA::SVFGNodeSetIter()']]],
-  ['svfgnodetocondmap_13154',['SVFGNodeToCondMap',['../classSVF_1_1ProgSlice.html#adaf0bb2e3104c9d86d997b2e7c93275e',1,'SVF::ProgSlice']]],
-  ['svfgnodetocsidmap_13155',['SVFGNodeToCSIDMap',['../classSVF_1_1LeakChecker.html#a90c7275babe222f006233d2f2d2b6700',1,'SVF::LeakChecker']]],
-  ['svfgnodetodpitemsmap_13156',['SVFGNodeToDPItemsMap',['../classSVF_1_1SrcSnkDDA.html#a4f9de61860db86668606f0c276ce8117',1,'SVF::SrcSnkDDA']]],
-  ['svfgnodetoslicemap_13157',['SVFGNodeToSliceMap',['../classSVF_1_1SrcSnkDDA.html#ac96c2f09dee260b4378eae7eb67b21e4',1,'SVF::SrcSnkDDA']]],
-  ['svfgnodetosvfgnodesetmap_13158',['SVFGNodeToSVFGNodeSetMap',['../classSVF_1_1ProgSlice.html#a256122a6455854a99131b807f7eb8335',1,'SVF::ProgSlice::SVFGNodeToSVFGNodeSetMap()'],['../classSVF_1_1SaberCondAllocator.html#a1e5ab069ebb4d17f04788a37fa616cab',1,'SVF::SaberCondAllocator::SVFGNodeToSVFGNodeSetMap()']]],
-  ['svfgnodevec_13159',['SVFGNodeVec',['../classSVF_1_1MTASVFGBuilder.html#a2d0e5077ce9ae6148845db607f086312',1,'SVF::MTASVFGBuilder']]],
-  ['svfgscc_13160',['SVFGSCC',['../classSVF_1_1DDAPass.html#a5e51ac666db439865846b835bcea9d21',1,'SVF::DDAPass::SVFGSCC()'],['../classSVF_1_1DDAVFSolver.html#a502207f81ed22fa42f9e18ccba83ad4e',1,'SVF::DDAVFSolver::SVFGSCC()'],['../classSVF_1_1SVFGStat.html#a149edd19cd5adafec13cbb49c590f0a8',1,'SVF::SVFGStat::SVFGSCC()']]],
-  ['svfloopvec_13161',['SVFLoopVec',['../classSVF_1_1ICFG.html#ad15daca24c91c5abe4bbb962979efbde',1,'SVF::ICFG']]],
-  ['svfstmtlist_13162',['SVFStmtList',['../classSVF_1_1ICFGNode.html#aa84a3724426f08a0e31ecdbc99114072',1,'SVF::ICFGNode::SVFStmtList()'],['../classSVF_1_1MRGenerator.html#a8717adf4520e0702274c5f013776be52',1,'SVF::MRGenerator::SVFStmtList()'],['../classSVF_1_1MemSSA.html#a445d282890dbd2fb51e903255af1cc3e',1,'SVF::MemSSA::SVFStmtList()'],['../classSVF_1_1SVFIR.html#a6bc360d2604ae4a0af74530b263b10d9',1,'SVF::SVFIR::SVFStmtList()']]],
-  ['svfstmtset_13163',['SVFStmtSet',['../classSVF_1_1IRGraph.html#a28ea8f85b0923d00364a010c1fd4e416',1,'SVF::IRGraph::SVFStmtSet()'],['../classSVF_1_1VFG.html#a8e3633597a4dca714df20e0720b31f1e',1,'SVF::VFG::SVFStmtSet()']]],
-  ['svfstmtsetty_13164',['SVFStmtSetTy',['../classSVF_1_1SVFStmt.html#a8cd7b6c6fd8b030b1421d95a086359f4',1,'SVF::SVFStmt']]],
-  ['svftypelocsetspair_13165',['SVFTypeLocSetsPair',['../classSVF_1_1SVFIR.html#a9062fc3ed889f8971fb2ea49b8de3674',1,'SVF::SVFIR']]],
-  ['svftypeset_13166',['SVFTypeSet',['../classSVF_1_1SymbolTableInfo.html#a87d443030a8a86e13be5a3a964bc7fa4',1,'SVF::SymbolTableInfo']]],
-  ['svfvalue2llvmvaluemap_13167',['SVFValue2LLVMValueMap',['../classSVF_1_1LLVMModuleSet.html#aa872d7a6b6bf3ec944bd9077de51b259',1,'SVF::LLVMModuleSet']]],
-  ['svfvarlist_13168',['SVFVarList',['../classSVF_1_1SVFIR.html#a64939d7ecfd8e2cf862782954a56596b',1,'SVF::SVFIR']]],
-  ['switchinst_13169',['SwitchInst',['../namespaceSVF.html#a412280b134578905248ce0122c5db7c9',1,'SVF']]],
-  ['symbol_13170',['Symbol',['../classSVF_1_1GrammarBase.html#a760208fb9737e766deb79d593ab86a3c',1,'SVF::GrammarBase::Symbol()'],['../classSVF_1_1CFLGraphBuilder.html#a2ab271d42ab82aea2adf8b0e641aa39c',1,'SVF::CFLGraphBuilder::Symbol()'],['../classSVF_1_1CFLSolver.html#a6c5e6474c6dfe0a067d397ea66c24dac',1,'SVF::CFLSolver::Symbol()'],['../classSVF_1_1CFLGraph.html#aef6b4499430812645aa92799cf61ab96',1,'SVF::CFLGraph::Symbol()']]],
-  ['symbolmap_13171',['SymbolMap',['../classSVF_1_1GrammarBase.html#a4405933cc8ed8cf30b98ee16fc14c112',1,'SVF::GrammarBase']]],
-  ['symbolset_13172',['SymbolSet',['../classSVF_1_1GrammarBase.html#a8687586451b07458d591120cdee9f6a3',1,'SVF::GrammarBase']]],
-  ['symid_13173',['SymID',['../namespaceSVF.html#ad11fe2412b2182365a662ff0e4639b48',1,'SVF']]]
+  ['s16_5ft_13121',['s16_t',['../namespaceSVF.html#a6ce4cf67f8622443c888737d7366a3e9',1,'SVF']]],
+  ['s32_5ft_13122',['s32_t',['../namespaceSVF.html#a9b707002523ece2ac54ca893ee9a2d4e',1,'SVF']]],
+  ['s64_5ft_13123',['s64_t',['../namespaceSVF.html#ad781b0b14e89773e774072b280658ef3',1,'SVF']]],
+  ['s8_5ft_13124',['s8_t',['../namespaceSVF.html#a64e9b1c8c4f095e5b50ba05229c2e1ba',1,'SVF']]],
+  ['scalarevolution_13125',['ScalarEvolution',['../namespaceSVF.html#ad8794eb3c00de3d3b5c5e43dded3fb42',1,'SVF']]],
+  ['scalarevolutionwrapperpass_13126',['ScalarEvolutionWrapperPass',['../namespaceSVF.html#a9f1aca0384166e42d14e2608009ebc01',1,'SVF']]],
+  ['scc_13127',['SCC',['../classSVF_1_1MRGenerator.html#af8d52e6c9884c6e1abc6dbcbc5e32629',1,'SVF::MRGenerator::SCC()'],['../classSVF_1_1WPASolver.html#a1352953966be14b2a1d6244f35e74a33',1,'SVF::WPASolver::SCC()']]],
+  ['scev_13128',['SCEV',['../namespaceSVF.html#aac5262378e41a3414a20cc9a41d4adc6',1,'SVF']]],
+  ['scevaddrecexpr_13129',['SCEVAddRecExpr',['../namespaceSVF.html#a4f7c400fbf2fa03db8cf61cb9a7dd3e8',1,'SVF']]],
+  ['scevconstant_13130',['SCEVConstant',['../namespaceSVF.html#abe745006fa40399d8a13613a3e0dfc63',1,'SVF']]],
+  ['selectinst_13131',['SelectInst',['../namespaceSVF.html#ab7fac9d4a4839be445c89777e21bc307',1,'SVF']]],
+  ['set_13132',['Set',['../namespaceSVF.html#af739db846e47ba6b2fd15eaad31ab7fb',1,'SVF']]],
+  ['sfrtrait_13133',['SFRTrait',['../classSVF_1_1AndersenSFR.html#a2d41b49a1474c030ef2324c14467af30',1,'SVF::AndersenSFR']]],
+  ['shufflevectorinst_13134',['ShuffleVectorInst',['../namespaceSVF.html#a64e69f438b8c302c4cae27735319fa49',1,'SVF']]],
+  ['simpletype_13135',['SimpleType',['../structSVF_1_1SVFUtil_1_1simplify__type.html#a40c0d9a74681d3eaa7172ba137d489e4',1,'SVF::SVFUtil::simplify_type::SimpleType()'],['../structSVF_1_1SVFUtil_1_1simplify__type_3_01const_01From_01_4.html#a8de25e1bb07ca0f995e5760065259531',1,'SVF::SVFUtil::simplify_type< const From >::SimpleType()']]],
+  ['singlecondvar_13136',['SingleCondVar',['../classSVF_1_1CondPointsToSet.html#a0ef73bd2c1b42439ee6f265e07f17514',1,'SVF::CondPointsToSet']]],
+  ['size_5ftype_13137',['size_type',['../structSVF_1_1SparseBitVectorElement.html#ad9e38352db094adcdfb2964f325d9e53',1,'SVF::SparseBitVectorElement']]],
+  ['smdiagnostic_13138',['SMDiagnostic',['../namespaceSVF.html#a86863d104a3930b3a806935d92ddbf30',1,'SVF']]],
+  ['stack_13139',['Stack',['../classSVF_1_1WTO.html#ab35eabe45c6b944b26532fbe630cd019',1,'SVF::WTO']]],
+  ['stmtsvfgnode_13140',['StmtSVFGNode',['../namespaceSVF.html#a26bd4f89dc154b9c6d34b6a517777934',1,'SVF']]],
+  ['storechi_13141',['STORECHI',['../classSVF_1_1SVFG.html#ad14cdbb3f1df1f716aa03b4d39f4e52b',1,'SVF::SVFG::STORECHI()'],['../classSVF_1_1MemSSA.html#a150e9d53ced1c143bba2d1026f739fa4',1,'SVF::MemSSA::STORECHI()']]],
+  ['storeinst_13142',['StoreInst',['../namespaceSVF.html#ab696aab940eb187dc81217efe8649af5',1,'SVF']]],
+  ['storeset_13143',['StoreSet',['../classSVF_1_1MTA.html#a6bcd86c36f8f4307c4951a23021af92e',1,'SVF::MTA']]],
+  ['storestomrsmap_13144',['StoresToMRsMap',['../classSVF_1_1MRGenerator.html#afacb458ca832ef459e873b7d90134a8c',1,'SVF::MRGenerator']]],
+  ['storestopointstomap_13145',['StoresToPointsToMap',['../classSVF_1_1MRGenerator.html#a357e1654e30b2f91f6ea30ea5a52e91d',1,'SVF::MRGenerator']]],
+  ['storesvfgnode_13146',['StoreSVFGNode',['../namespaceSVF.html#a54c5725186e66ead6faf53c10a288714',1,'SVF']]],
+  ['storetochisetmap_13147',['StoreToChiSetMap',['../classSVF_1_1MemSSA.html#acfee1bb5534026ce991a1ab5e796c6b9',1,'SVF::MemSSA']]],
+  ['storetopmsetmap_13148',['StoreToPMSetMap',['../classSVF_1_1DDAVFSolver.html#accaacd2dd680f92ff83cfe75eef6ffab',1,'SVF::DDAVFSolver']]],
+  ['structlayout_13149',['StructLayout',['../namespaceSVF.html#a52c8654c221bb53a59f70ea3cb1e5c45',1,'SVF']]],
+  ['structtype_13150',['StructType',['../namespaceSVF.html#a2bf58575ac7d068e0f1a4cf953b9e6cb',1,'SVF']]],
+  ['succ_5fconst_5fiterator_13151',['succ_const_iterator',['../namespaceSVF.html#a3436a988bf80c021cd8022fb445b66d5',1,'SVF']]],
+  ['succandcondpairvec_13152',['SuccAndCondPairVec',['../classSVF_1_1BranchStmt.html#a6a0e64824777f04be4c169125dd4f666',1,'SVF::BranchStmt']]],
+  ['succbbandcondvalpair_13153',['SuccBBAndCondValPair',['../namespaceSVF.html#a255efa5be786996cbdd0c1f3d98b8400',1,'SVF']]],
+  ['succbbandcondvalpairvec_13154',['SuccBBAndCondValPairVec',['../namespaceSVF.html#a8de26e1810ea0c3b1e8ad62f1c8a864d',1,'SVF']]],
+  ['super_13155',['super',['../classllvm_1_1generic__bridge__gep__type__iterator.html#aae0af8f079614e0a971c7db4b9de18fa',1,'llvm::generic_bridge_gep_type_iterator']]],
+  ['svfgedge_13156',['SVFGEdge',['../namespaceSVF.html#aa4745cf70b26e17d59752356f0b19dd9',1,'SVF']]],
+  ['svfgedgek_13157',['SVFGEdgeK',['../classSVF_1_1ICFGEdge.html#a068573fdbd9b99af18f3deeb9b16a38b',1,'SVF::ICFGEdge::SVFGEdgeK()'],['../classSVF_1_1VFGEdge.html#ae77e57aa36ed43fe83efa4c90a84688f',1,'SVF::VFGEdge::SVFGEdgeK()']]],
+  ['svfgedgeset_13158',['SVFGEdgeSet',['../classSVF_1_1DDAPass.html#acc81a1f7ad572fa27648999334479f56',1,'SVF::DDAPass::SVFGEdgeSet()'],['../classSVF_1_1DDAVFSolver.html#a6489319b33a807f7caba2d34017a3e1b',1,'SVF::DDAVFSolver::SVFGEdgeSet()'],['../classSVF_1_1SVFGStat.html#afeddbe4020e9b3c928856c2dc86af838',1,'SVF::SVFGStat::SVFGEdgeSet()'],['../classSVF_1_1SVFGBuilder.html#a640158fff237cb5afabdf1c5946550e0',1,'SVF::SVFGBuilder::SVFGEdgeSet()']]],
+  ['svfgedgesetty_13159',['SVFGEdgeSetTy',['../classSVF_1_1CDGEdge.html#aa75059c2515efdbf735598db42767cd6',1,'SVF::CDGEdge::SVFGEdgeSetTy()'],['../classSVF_1_1ICFGEdge.html#ad14443828b9030ee7b438fa3cdf17e56',1,'SVF::ICFGEdge::SVFGEdgeSetTy()'],['../classSVF_1_1VFG.html#ac97ef8c479556f9ca2c40cd4d8a18694',1,'SVF::VFG::SVFGEdgeSetTy()'],['../classSVF_1_1VFGEdge.html#a557334ef75bb5479b045f68c27b38701',1,'SVF::VFGEdge::SVFGEdgeSetTy()'],['../classSVF_1_1FlowSensitive.html#a69289c48fa91f850da90de080b9d26e5',1,'SVF::FlowSensitive::SVFGEdgeSetTy()']]],
+  ['svfgnode_13160',['SVFGNode',['../namespaceSVF.html#a5dfa3fa5129bacdc0be0c051ccf386df',1,'SVF']]],
+  ['svfgnodebs_13161',['SVFGNodeBS',['../classSVF_1_1LeakChecker.html#a65b05e30410e40fe64d41f71516cd367',1,'SVF::LeakChecker::SVFGNodeBS()'],['../classSVF_1_1SrcSnkDDA.html#a70cff8ea7c033c01400935c9e446f2c6',1,'SVF::SrcSnkDDA::SVFGNodeBS()']]],
+  ['svfgnodeidset_13162',['SVFGNodeIDSet',['../classSVF_1_1MTASVFGBuilder.html#a17da7e5da237c23873e17250d9746939',1,'SVF::MTASVFGBuilder']]],
+  ['svfgnodeidtonodemapty_13163',['SVFGNodeIDToNodeMapTy',['../classSVF_1_1SVFG.html#a3d04ce1429b1edf90c9c0833e3b5a4a9',1,'SVF::SVFG']]],
+  ['svfgnodeset_13164',['SVFGNodeSet',['../classSVF_1_1CFLSVFGBuilder.html#a0f20a668d844f54f1af93f2baae58841',1,'SVF::CFLSVFGBuilder::SVFGNodeSet()'],['../classSVF_1_1SVFGOPT.html#a07874e1a77bcd5ff593757d202a4edd6',1,'SVF::SVFGOPT::SVFGNodeSet()'],['../classSVF_1_1SVFGStat.html#aee5ecd6a92c40e1e27197869028689c4',1,'SVF::SVFGStat::SVFGNodeSet()'],['../classSVF_1_1MTASVFGBuilder.html#a467e7b445394acb735b1b24ce39e966a',1,'SVF::MTASVFGBuilder::SVFGNodeSet()'],['../classSVF_1_1ProgSlice.html#a4864972e12f3e95f06bcf2bf8c847b3a',1,'SVF::ProgSlice::SVFGNodeSet()'],['../classSVF_1_1SaberSVFGBuilder.html#a298a94f9b368e37767935a42e5ba954a',1,'SVF::SaberSVFGBuilder::SVFGNodeSet()'],['../classSVF_1_1SrcSnkDDA.html#a19f02a14ee669fadc37fde3816fa2f84',1,'SVF::SrcSnkDDA::SVFGNodeSet()']]],
+  ['svfgnodesetiter_13165',['SVFGNodeSetIter',['../classSVF_1_1ProgSlice.html#af41c438baa739406a35bcb2e9ba431dd',1,'SVF::ProgSlice::SVFGNodeSetIter()'],['../classSVF_1_1SrcSnkDDA.html#ad6935e27bbd95d26a01b22b879efed58',1,'SVF::SrcSnkDDA::SVFGNodeSetIter()']]],
+  ['svfgnodetocondmap_13166',['SVFGNodeToCondMap',['../classSVF_1_1ProgSlice.html#adaf0bb2e3104c9d86d997b2e7c93275e',1,'SVF::ProgSlice']]],
+  ['svfgnodetocsidmap_13167',['SVFGNodeToCSIDMap',['../classSVF_1_1LeakChecker.html#a90c7275babe222f006233d2f2d2b6700',1,'SVF::LeakChecker']]],
+  ['svfgnodetodpitemsmap_13168',['SVFGNodeToDPItemsMap',['../classSVF_1_1SrcSnkDDA.html#a4f9de61860db86668606f0c276ce8117',1,'SVF::SrcSnkDDA']]],
+  ['svfgnodetoslicemap_13169',['SVFGNodeToSliceMap',['../classSVF_1_1SrcSnkDDA.html#ac96c2f09dee260b4378eae7eb67b21e4',1,'SVF::SrcSnkDDA']]],
+  ['svfgnodetosvfgnodesetmap_13170',['SVFGNodeToSVFGNodeSetMap',['../classSVF_1_1ProgSlice.html#a256122a6455854a99131b807f7eb8335',1,'SVF::ProgSlice::SVFGNodeToSVFGNodeSetMap()'],['../classSVF_1_1SaberCondAllocator.html#a1e5ab069ebb4d17f04788a37fa616cab',1,'SVF::SaberCondAllocator::SVFGNodeToSVFGNodeSetMap()']]],
+  ['svfgnodevec_13171',['SVFGNodeVec',['../classSVF_1_1MTASVFGBuilder.html#a2d0e5077ce9ae6148845db607f086312',1,'SVF::MTASVFGBuilder']]],
+  ['svfgscc_13172',['SVFGSCC',['../classSVF_1_1DDAPass.html#a5e51ac666db439865846b835bcea9d21',1,'SVF::DDAPass::SVFGSCC()'],['../classSVF_1_1DDAVFSolver.html#a502207f81ed22fa42f9e18ccba83ad4e',1,'SVF::DDAVFSolver::SVFGSCC()'],['../classSVF_1_1SVFGStat.html#a149edd19cd5adafec13cbb49c590f0a8',1,'SVF::SVFGStat::SVFGSCC()']]],
+  ['svfloopvec_13173',['SVFLoopVec',['../classSVF_1_1ICFG.html#ad15daca24c91c5abe4bbb962979efbde',1,'SVF::ICFG']]],
+  ['svfstmtlist_13174',['SVFStmtList',['../classSVF_1_1ICFGNode.html#aa84a3724426f08a0e31ecdbc99114072',1,'SVF::ICFGNode::SVFStmtList()'],['../classSVF_1_1MRGenerator.html#a8717adf4520e0702274c5f013776be52',1,'SVF::MRGenerator::SVFStmtList()'],['../classSVF_1_1MemSSA.html#a445d282890dbd2fb51e903255af1cc3e',1,'SVF::MemSSA::SVFStmtList()'],['../classSVF_1_1SVFIR.html#a6bc360d2604ae4a0af74530b263b10d9',1,'SVF::SVFIR::SVFStmtList()']]],
+  ['svfstmtset_13175',['SVFStmtSet',['../classSVF_1_1IRGraph.html#a28ea8f85b0923d00364a010c1fd4e416',1,'SVF::IRGraph::SVFStmtSet()'],['../classSVF_1_1VFG.html#a8e3633597a4dca714df20e0720b31f1e',1,'SVF::VFG::SVFStmtSet()']]],
+  ['svfstmtsetty_13176',['SVFStmtSetTy',['../classSVF_1_1SVFStmt.html#a8cd7b6c6fd8b030b1421d95a086359f4',1,'SVF::SVFStmt']]],
+  ['svftypelocsetspair_13177',['SVFTypeLocSetsPair',['../classSVF_1_1SVFIR.html#a9062fc3ed889f8971fb2ea49b8de3674',1,'SVF::SVFIR']]],
+  ['svftypeset_13178',['SVFTypeSet',['../classSVF_1_1SymbolTableInfo.html#a87d443030a8a86e13be5a3a964bc7fa4',1,'SVF::SymbolTableInfo']]],
+  ['svfvalue2llvmvaluemap_13179',['SVFValue2LLVMValueMap',['../classSVF_1_1LLVMModuleSet.html#aa872d7a6b6bf3ec944bd9077de51b259',1,'SVF::LLVMModuleSet']]],
+  ['svfvarlist_13180',['SVFVarList',['../classSVF_1_1SVFIR.html#a64939d7ecfd8e2cf862782954a56596b',1,'SVF::SVFIR']]],
+  ['switchinst_13181',['SwitchInst',['../namespaceSVF.html#a412280b134578905248ce0122c5db7c9',1,'SVF']]],
+  ['symbol_13182',['Symbol',['../classSVF_1_1GrammarBase.html#a760208fb9737e766deb79d593ab86a3c',1,'SVF::GrammarBase::Symbol()'],['../classSVF_1_1CFLGraphBuilder.html#a2ab271d42ab82aea2adf8b0e641aa39c',1,'SVF::CFLGraphBuilder::Symbol()'],['../classSVF_1_1CFLSolver.html#a6c5e6474c6dfe0a067d397ea66c24dac',1,'SVF::CFLSolver::Symbol()'],['../classSVF_1_1CFLGraph.html#aef6b4499430812645aa92799cf61ab96',1,'SVF::CFLGraph::Symbol()']]],
+  ['symbolmap_13183',['SymbolMap',['../classSVF_1_1GrammarBase.html#a4405933cc8ed8cf30b98ee16fc14c112',1,'SVF::GrammarBase']]],
+  ['symbolset_13184',['SymbolSet',['../classSVF_1_1GrammarBase.html#a8687586451b07458d591120cdee9f6a3',1,'SVF::GrammarBase']]],
+  ['symid_13185',['SymID',['../namespaceSVF.html#ad11fe2412b2182365a662ff0e4639b48',1,'SVF']]]
 ];

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

@@ -1,16 +1,16 @@
 var searchData=
 [
-  ['tctnodeiter_13174',['TCTNodeIter',['../classSVF_1_1TCT.html#a6f4ab4fb901620c733d90b380c9db670',1,'SVF::TCT']]],
-  ['tdapimap_13175',['TDAPIMap',['../classSVF_1_1SaberCheckerAPI.html#a7acbb76087b863393e0214c77bb934b2',1,'SVF::SaberCheckerAPI::TDAPIMap()'],['../classSVF_1_1ThreadAPI.html#abad7c113fd56c30537444ae4bdff2144',1,'SVF::ThreadAPI::TDAPIMap()']]],
-  ['threadcallgraphscc_13176',['ThreadCallGraphSCC',['../classSVF_1_1TCT.html#a71942c7386d094426ae86633a9b1f755',1,'SVF::TCT']]],
-  ['threadcreateedgeset_13177',['ThreadCreateEdgeSet',['../classSVF_1_1TCTEdge.html#aecd13905b54ae91d938b610be828deb5',1,'SVF::TCTEdge::ThreadCreateEdgeSet()'],['../classSVF_1_1TCT.html#a7c53c7ff773a253976374392d4930d6e',1,'SVF::TCT::ThreadCreateEdgeSet()']]],
-  ['threadid_13178',['ThreadID',['../namespaceSVF.html#a10cddb090690c82a2aab31a480253d35',1,'SVF']]],
-  ['threadpairset_13179',['ThreadPairSet',['../classSVF_1_1ForkJoinAnalysis.html#a7fb8df483e619337e77088e8543a9846',1,'SVF::ForkJoinAnalysis']]],
-  ['threadstmttothreadinterleav_13180',['ThreadStmtToThreadInterleav',['../classSVF_1_1MHP.html#ac30f283cb2ad020a054ee6525ca94025',1,'SVF::MHP']]],
-  ['timestatmap_13181',['TIMEStatMap',['../classSVF_1_1SVFStat.html#a8bb01becef1eb8d6113d946d29d904bd',1,'SVF::SVFStat']]],
-  ['type_13182',['type',['../structSVF_1_1SVFUtil_1_1add__const__past__pointer.html#a52fe829ad016bca3285dfba2b5b68d35',1,'SVF::SVFUtil::add_const_past_pointer::type()'],['../structSVF_1_1SVFUtil_1_1add__const__past__pointer_3_01T_00_01std_1_1enable__if__t_3_01std_1_1is_7fffc8df953a67082a10c9027356ecdf.html#a6c70a94bde914aa0ca86e4fd9f6c1179',1,'SVF::SVFUtil::add_const_past_pointer< T, std::enable_if_t< std::is_pointer< T >::value > >::type()'],['../structSVF_1_1SVFUtil_1_1add__lvalue__reference__if__not__pointer.html#a871b0a9d4f1c68caca4d8e8b9ce29079',1,'SVF::SVFUtil::add_lvalue_reference_if_not_pointer::type()'],['../structSVF_1_1SVFUtil_1_1add__lvalue__reference__if__not__pointer_3_01T_00_01std_1_1enable__if__t915410d772a4855ec3d21a633a25ee09.html#a7930ae77015a1bef7da45e112a92cbce',1,'SVF::SVFUtil::add_lvalue_reference_if_not_pointer< T, std::enable_if_t< std::is_pointer< T >::value > >::type()'],['../structSVF_1_1SVFUtil_1_1make__void.html#ac2eb79d0fe9a0f94eb1992600ba91e36',1,'SVF::SVFUtil::make_void::type()'],['../namespaceSVF.html#a1d008c0666c145622b81d427be64c52d',1,'SVF::Type()']]],
-  ['type2typeinfomap_13183',['Type2TypeInfoMap',['../classSVF_1_1LLVMModuleSet.html#a3c2eb10a20604bf794d2d10f2cffb116',1,'SVF::LLVMModuleSet']]],
-  ['typelocsetsmap_13184',['TypeLocSetsMap',['../classSVF_1_1SVFIR.html#ad74ca54e6d62d4410038ef900ea8f150',1,'SVF::SVFIR']]],
-  ['typemap_13185',['TypeMap',['../classSVF_1_1POCRSolver.html#ac4d92529d21db89c547e20e886060b0f',1,'SVF::POCRSolver']]],
-  ['typestate_13186',['TypeState',['../classSVF_1_1SymState.html#af41520fdb48700f86231047d1db5d482',1,'SVF::SymState']]]
+  ['tctnodeiter_13186',['TCTNodeIter',['../classSVF_1_1TCT.html#a6f4ab4fb901620c733d90b380c9db670',1,'SVF::TCT']]],
+  ['tdapimap_13187',['TDAPIMap',['../classSVF_1_1SaberCheckerAPI.html#a7acbb76087b863393e0214c77bb934b2',1,'SVF::SaberCheckerAPI::TDAPIMap()'],['../classSVF_1_1ThreadAPI.html#abad7c113fd56c30537444ae4bdff2144',1,'SVF::ThreadAPI::TDAPIMap()']]],
+  ['threadcallgraphscc_13188',['ThreadCallGraphSCC',['../classSVF_1_1TCT.html#a71942c7386d094426ae86633a9b1f755',1,'SVF::TCT']]],
+  ['threadcreateedgeset_13189',['ThreadCreateEdgeSet',['../classSVF_1_1TCTEdge.html#aecd13905b54ae91d938b610be828deb5',1,'SVF::TCTEdge::ThreadCreateEdgeSet()'],['../classSVF_1_1TCT.html#a7c53c7ff773a253976374392d4930d6e',1,'SVF::TCT::ThreadCreateEdgeSet()']]],
+  ['threadid_13190',['ThreadID',['../namespaceSVF.html#a10cddb090690c82a2aab31a480253d35',1,'SVF']]],
+  ['threadpairset_13191',['ThreadPairSet',['../classSVF_1_1ForkJoinAnalysis.html#a7fb8df483e619337e77088e8543a9846',1,'SVF::ForkJoinAnalysis']]],
+  ['threadstmttothreadinterleav_13192',['ThreadStmtToThreadInterleav',['../classSVF_1_1MHP.html#ac30f283cb2ad020a054ee6525ca94025',1,'SVF::MHP']]],
+  ['timestatmap_13193',['TIMEStatMap',['../classSVF_1_1SVFStat.html#a8bb01becef1eb8d6113d946d29d904bd',1,'SVF::SVFStat']]],
+  ['type_13194',['type',['../structSVF_1_1SVFUtil_1_1add__const__past__pointer.html#a52fe829ad016bca3285dfba2b5b68d35',1,'SVF::SVFUtil::add_const_past_pointer::type()'],['../structSVF_1_1SVFUtil_1_1add__const__past__pointer_3_01T_00_01std_1_1enable__if__t_3_01std_1_1is_7fffc8df953a67082a10c9027356ecdf.html#a6c70a94bde914aa0ca86e4fd9f6c1179',1,'SVF::SVFUtil::add_const_past_pointer< T, std::enable_if_t< std::is_pointer< T >::value > >::type()'],['../structSVF_1_1SVFUtil_1_1add__lvalue__reference__if__not__pointer.html#a871b0a9d4f1c68caca4d8e8b9ce29079',1,'SVF::SVFUtil::add_lvalue_reference_if_not_pointer::type()'],['../structSVF_1_1SVFUtil_1_1add__lvalue__reference__if__not__pointer_3_01T_00_01std_1_1enable__if__t915410d772a4855ec3d21a633a25ee09.html#a7930ae77015a1bef7da45e112a92cbce',1,'SVF::SVFUtil::add_lvalue_reference_if_not_pointer< T, std::enable_if_t< std::is_pointer< T >::value > >::type()'],['../structSVF_1_1SVFUtil_1_1make__void.html#ac2eb79d0fe9a0f94eb1992600ba91e36',1,'SVF::SVFUtil::make_void::type()'],['../namespaceSVF.html#a1d008c0666c145622b81d427be64c52d',1,'SVF::Type()']]],
+  ['type2typeinfomap_13195',['Type2TypeInfoMap',['../classSVF_1_1LLVMModuleSet.html#a3c2eb10a20604bf794d2d10f2cffb116',1,'SVF::LLVMModuleSet']]],
+  ['typelocsetsmap_13196',['TypeLocSetsMap',['../classSVF_1_1SVFIR.html#ad74ca54e6d62d4410038ef900ea8f150',1,'SVF::SVFIR']]],
+  ['typemap_13197',['TypeMap',['../classSVF_1_1POCRSolver.html#ac4d92529d21db89c547e20e886060b0f',1,'SVF::POCRSolver']]],
+  ['typestate_13198',['TypeState',['../classSVF_1_1SymState.html#af41520fdb48700f86231047d1db5d482',1,'SVF::SymState']]]
 ];

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

@@ -1,16 +1,16 @@
 var searchData=
 [
-  ['u16_5ft_13187',['u16_t',['../namespaceSVF.html#a7c3a917e8b1d3253982e0a1a37b74d93',1,'SVF']]],
-  ['u32_5ft_13188',['u32_t',['../CommandLine_8h.html#a2429346d37bd4c40889bd7c6d319d9da',1,'u32_t(): CommandLine.h'],['../namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af',1,'SVF::u32_t()']]],
-  ['u64_5ft_13189',['u64_t',['../namespaceSVF.html#a366625858f450a1ea5f985a3c83e0f14',1,'SVF']]],
-  ['u8_5ft_13190',['u8_t',['../namespaceSVF.html#a9e83fb2225082782d168f5c7bfc79ba7',1,'SVF']]],
-  ['unaryoperator_13191',['UnaryOperator',['../namespaceSVF.html#a292a6e8c5b4f2023b5575879c57eca62',1,'SVF']]],
-  ['undefvalue_13192',['UndefValue',['../namespaceSVF.html#af4912ad47e19060e53b665f73e0ee6ec',1,'SVF']]],
-  ['unifyfunctionexitnodes_13193',['UnifyFunctionExitNodes',['../namespaceSVF.html#ae5853f7df76735b195ff93949ca4256b',1,'SVF']]],
-  ['unreachableinst_13194',['UnreachableInst',['../namespaceSVF.html#a8ac6a8ff90f47a93166fbdf15be2d721',1,'SVF']]],
-  ['updatedvarconstiter_13195',['UpdatedVarconstIter',['../classSVF_1_1MutableIncDFPTData.html#af815dd2108c16e1dfddbcd5bdbcceeb6',1,'SVF::MutableIncDFPTData']]],
-  ['updatedvarmap_13196',['UpdatedVarMap',['../classSVF_1_1MutableIncDFPTData.html#a67c24cebffdcea9c8059f6769c7f9798',1,'SVF::MutableIncDFPTData::UpdatedVarMap()'],['../classSVF_1_1PersistentIncDFPTData.html#abad78c2ef84371b693dca206ebbb63ab',1,'SVF::PersistentIncDFPTData::UpdatedVarMap()']]],
-  ['updatedvarmapiter_13197',['UpdatedVarMapIter',['../classSVF_1_1MutableIncDFPTData.html#a8b30326d3fa3f4054e67268f512aec9e',1,'SVF::MutableIncDFPTData']]],
-  ['use_13198',['Use',['../namespaceSVF.html#a334998718813a19a7697daf4ba282faf',1,'SVF']]],
-  ['user_13199',['User',['../namespaceSVF.html#afc1b50355821e7299df03b026e36f1df',1,'SVF']]]
+  ['u16_5ft_13199',['u16_t',['../namespaceSVF.html#a7c3a917e8b1d3253982e0a1a37b74d93',1,'SVF']]],
+  ['u32_5ft_13200',['u32_t',['../CommandLine_8h.html#a2429346d37bd4c40889bd7c6d319d9da',1,'u32_t(): CommandLine.h'],['../namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af',1,'SVF::u32_t()']]],
+  ['u64_5ft_13201',['u64_t',['../namespaceSVF.html#a366625858f450a1ea5f985a3c83e0f14',1,'SVF']]],
+  ['u8_5ft_13202',['u8_t',['../namespaceSVF.html#a9e83fb2225082782d168f5c7bfc79ba7',1,'SVF']]],
+  ['unaryoperator_13203',['UnaryOperator',['../namespaceSVF.html#a292a6e8c5b4f2023b5575879c57eca62',1,'SVF']]],
+  ['undefvalue_13204',['UndefValue',['../namespaceSVF.html#af4912ad47e19060e53b665f73e0ee6ec',1,'SVF']]],
+  ['unifyfunctionexitnodes_13205',['UnifyFunctionExitNodes',['../namespaceSVF.html#ae5853f7df76735b195ff93949ca4256b',1,'SVF']]],
+  ['unreachableinst_13206',['UnreachableInst',['../namespaceSVF.html#a8ac6a8ff90f47a93166fbdf15be2d721',1,'SVF']]],
+  ['updatedvarconstiter_13207',['UpdatedVarconstIter',['../classSVF_1_1MutableIncDFPTData.html#af815dd2108c16e1dfddbcd5bdbcceeb6',1,'SVF::MutableIncDFPTData']]],
+  ['updatedvarmap_13208',['UpdatedVarMap',['../classSVF_1_1MutableIncDFPTData.html#a67c24cebffdcea9c8059f6769c7f9798',1,'SVF::MutableIncDFPTData::UpdatedVarMap()'],['../classSVF_1_1PersistentIncDFPTData.html#abad78c2ef84371b693dca206ebbb63ab',1,'SVF::PersistentIncDFPTData::UpdatedVarMap()']]],
+  ['updatedvarmapiter_13209',['UpdatedVarMapIter',['../classSVF_1_1MutableIncDFPTData.html#a8b30326d3fa3f4054e67268f512aec9e',1,'SVF::MutableIncDFPTData']]],
+  ['use_13210',['Use',['../namespaceSVF.html#a334998718813a19a7697daf4ba282faf',1,'SVF']]],
+  ['user_13211',['User',['../namespaceSVF.html#afc1b50355821e7299df03b026e36f1df',1,'SVF']]]
 ];

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

@@ -1,43 +1,43 @@
 var searchData=
 [
-  ['vaarginst_13200',['VAArgInst',['../namespaceSVF.html#abcafc32093ff5ee038b5fcf6e4076ed4',1,'SVF']]],
-  ['vacopyinst_13201',['VACopyInst',['../namespaceSVF.html#a0f3339f5241441c7e6023df9e0cfa295',1,'SVF']]],
-  ['vaendinst_13202',['VAEndInst',['../namespaceSVF.html#adb305e32f35af19b870b07711ba5b913',1,'SVF']]],
-  ['value_13203',['Value',['../namespaceSVF.html#a90b263fd2f541eca78135078114cabda',1,'SVF']]],
-  ['value_5ftype_13204',['value_type',['../classSVF_1_1PointsTo_1_1PointsToIterator.html#ab81cda692bb6ad451276f571a25c0751',1,'SVF::PointsTo::PointsToIterator::value_type()'],['../classSVF_1_1CoreBitVector_1_1CoreBitVectorIterator.html#a6a59f0e97fc9cf278ed22b0a4c109ae1',1,'SVF::CoreBitVector::CoreBitVectorIterator::value_type()'],['../classSVF_1_1iter__facade__base.html#a8d2e47a4de7b98466255b4846bdde26c',1,'SVF::iter_facade_base::value_type()']]],
-  ['valueboolpair_13205',['ValueBoolPair',['../classSVF_1_1ObjTypeInference.html#afb1c28ce04b61c423bd734db48b0a5b6',1,'SVF::ObjTypeInference']]],
-  ['valueset_13206',['ValueSet',['../classSVF_1_1ObjTypeInference.html#a51116a59a9f6c2c692505def03f5bc25',1,'SVF::ObjTypeInference']]],
-  ['valuetoclassnames_13207',['ValueToClassNames',['../classSVF_1_1ObjTypeInference.html#ae23313c88149711f2ce74a2c6d3e9da8',1,'SVF::ObjTypeInference']]],
-  ['valuetoedgemap_13208',['ValueToEdgeMap',['../classSVF_1_1IRGraph.html#a6247c1b1f6b92ce684c39af760878bbc',1,'SVF::IRGraph']]],
-  ['valuetoidmapty_13209',['ValueToIDMapTy',['../classSVF_1_1SymbolTableInfo.html#ad1741e65d47c39e03049c6d7265961af',1,'SVF::SymbolTableInfo']]],
-  ['valuetoinfersites_13210',['ValueToInferSites',['../classSVF_1_1ObjTypeInference.html#a17954e8e60a3736083504c7f675f5ba2',1,'SVF::ObjTypeInference']]],
-  ['valuetosources_13211',['ValueToSources',['../classSVF_1_1ObjTypeInference.html#a3ef6cdbd56a4d169a2d2cab0b2f6515b',1,'SVF::ObjTypeInference']]],
-  ['valuetotype_13212',['ValueToType',['../classSVF_1_1ObjTypeInference.html#ac97f30431b4e96d9d70dced9960072e9',1,'SVF::ObjTypeInference']]],
-  ['valuetovalueset_13213',['ValueToValueSet',['../classSVF_1_1ObjTypeInference.html#a02b5fdeee42828326afda5efaa997934',1,'SVF::ObjTypeInference']]],
-  ['var2labelmap_13214',['Var2LabelMap',['../classSVF_1_1SVFStmt.html#ad178ccbc7800527c3dc406ad5fa069bb',1,'SVF::SVFStmt']]],
-  ['variableattribute_13215',['VariableAttribute',['../classSVF_1_1GrammarBase.html#a716ce662e6a3f2febf3ab378c4217759',1,'SVF::GrammarBase']]],
-  ['vartoaddrs_13216',['VarToAddrs',['../classSVF_1_1ExeState.html#a09f34aca79479221305769cae307feef',1,'SVF::ExeState']]],
-  ['vartopropnodemap_13217',['VarToPropNodeMap',['../classSVF_1_1VersionedFlowSensitive.html#a9ee5add09f2b446c6c6bcb84da0f75b3',1,'SVF::VersionedFlowSensitive']]],
-  ['vartovalmap_13218',['VarToValMap',['../classSVF_1_1ConsExeState.html#a64a755f61886ef3f43f48c47eb76e9cc',1,'SVF::ConsExeState::VarToValMap()'],['../classSVF_1_1IntervalESBase.html#a02e3d5f7074c4f77338edc9a7add95d8',1,'SVF::IntervalESBase::VarToValMap()'],['../classSVF_1_1RelExeState.html#afcdf0c842f48a35cf19b2f7887174e98',1,'SVF::RelExeState::VarToValMap()']]],
-  ['vastartinst_13219',['VAStartInst',['../namespaceSVF.html#ad92e392a50e7c6c1f635fe2dcebd1adc',1,'SVF']]],
-  ['vectortype_13220',['VectorType',['../namespaceSVF.html#a1eaed46fa67cf1a51e438c5f8f523418',1,'SVF']]],
-  ['version_13221',['Version',['../namespaceSVF.html#a9ec7a8dc63411ee3724a25a59191be0c',1,'SVF']]],
-  ['versionedkeytoidmap_13222',['VersionedKeyToIDMap',['../classSVF_1_1PersistentVersionedPTData.html#a2ee473a1654b7d134a602268a2b70248',1,'SVF::PersistentVersionedPTData']]],
-  ['versionedptdataty_13223',['VersionedPTDataTy',['../classSVF_1_1BVDataPTAImpl.html#a8bc5e039958280b18e5a00a56e0bdc94',1,'SVF::BVDataPTAImpl']]],
-  ['versionedvar_13224',['VersionedVar',['../namespaceSVF.html#a32489632f53dce062ca2e8bff42c65cf',1,'SVF']]],
-  ['versionedvarset_13225',['VersionedVarSet',['../namespaceSVF.html#a544021f3075a89ff634b215a0efe3385',1,'SVF']]],
-  ['versionreliancemap_13226',['VersionRelianceMap',['../classSVF_1_1VersionedFlowSensitive.html#ad8108ee0b034877dea5e927d29ca0534',1,'SVF::VersionedFlowSensitive']]],
-  ['versionset_13227',['VersionSet',['../namespaceSVF.html#a046466b2ed3618072fee227b569da6eb',1,'SVF']]],
-  ['vfgedgesetty_13228',['VFGEdgeSetTy',['../classSVF_1_1VFG.html#a0bdac7337a393ad2e21a33ec1978ca3f',1,'SVF::VFG::VFGEdgeSetTy()'],['../classSVF_1_1VFGEdge.html#a54e8b1d339da481222292e3b62d1e765',1,'SVF::VFGEdge::VFGEdgeSetTy()']]],
-  ['vfgnodeidtonodemapty_13229',['VFGNodeIDToNodeMapTy',['../classSVF_1_1VFG.html#aca5b658b87728ac8bd7e562d51e771f8',1,'SVF::VFG']]],
-  ['vfgnodeiter_13230',['VFGNodeIter',['../classSVF_1_1VFG.html#a3037ca34a555ebdb4fbf0e86291dc4ea',1,'SVF::VFG']]],
-  ['vfgnodelist_13231',['VFGNodeList',['../classSVF_1_1ICFGNode.html#a53a4a33b8ea241f46b37111905a48169',1,'SVF::ICFGNode']]],
-  ['vfgnodeset_13232',['VFGNodeSet',['../classSVF_1_1VFG.html#a03d388eec513f713f5e0d06f920168db',1,'SVF::VFG']]],
-  ['vfunset_13233',['VFunSet',['../classSVF_1_1PointerAnalysis.html#aa7f15c74eb438be78fcc028534477478',1,'SVF::PointerAnalysis::VFunSet()'],['../namespaceSVF.html#ad2b487757f1e1a1d81073120fc1d49c7',1,'SVF::VFunSet()']]],
-  ['vfworklist_13234',['VFWorkList',['../classSVF_1_1ProgSlice.html#a684e44ade783439c6f77a8d84eed282c',1,'SVF::ProgSlice']]],
-  ['void_5ft_13235',['void_t',['../namespaceSVF_1_1SVFUtil.html#ad37880353cffc950d5b9417bc41c0b06',1,'SVF::SVFUtil']]],
-  ['vtableptrtocallsitemap_13236',['VTablePtrToCallSiteMap',['../classSVF_1_1FunptrDDAClient.html#ad195fbe1a6b422e67f16c9fde9d8e671',1,'SVF::FunptrDDAClient::VTablePtrToCallSiteMap()'],['../classSVF_1_1AliasDDAClient.html#a1eb12d17470a8b1ae7131470ace2daa2',1,'SVF::AliasDDAClient::VTablePtrToCallSiteMap()']]],
-  ['vtableset_13237',['VTableSet',['../classSVF_1_1PointerAnalysis.html#a57fabf1408ada10028282deef0b23ec6',1,'SVF::PointerAnalysis::VTableSet()'],['../namespaceSVF.html#a340a9e77adc2bbfdee79e22da9ead234',1,'SVF::VTableSet()']]],
-  ['vthdtocxtmap_13238',['vthdToCxtMap',['../classSVF_1_1MTAResultValidator.html#a1392757f98b54057d33adb125fd48efa',1,'SVF::MTAResultValidator::vthdToCxtMap()'],['../classSVF_1_1MTAResultValidator.html#a1392757f98b54057d33adb125fd48efa',1,'SVF::MTAResultValidator::vthdToCxtMap()']]],
-  ['vthdtorthdmap_13239',['vthdTorthdMap',['../classSVF_1_1MTAResultValidator.html#a7fc576e83fa259d0ab06d54c3537c4ac',1,'SVF::MTAResultValidator::vthdTorthdMap()'],['../classSVF_1_1MTAResultValidator.html#a7fc576e83fa259d0ab06d54c3537c4ac',1,'SVF::MTAResultValidator::vthdTorthdMap()']]]
+  ['vaarginst_13212',['VAArgInst',['../namespaceSVF.html#abcafc32093ff5ee038b5fcf6e4076ed4',1,'SVF']]],
+  ['vacopyinst_13213',['VACopyInst',['../namespaceSVF.html#a0f3339f5241441c7e6023df9e0cfa295',1,'SVF']]],
+  ['vaendinst_13214',['VAEndInst',['../namespaceSVF.html#adb305e32f35af19b870b07711ba5b913',1,'SVF']]],
+  ['value_13215',['Value',['../namespaceSVF.html#a90b263fd2f541eca78135078114cabda',1,'SVF']]],
+  ['value_5ftype_13216',['value_type',['../classSVF_1_1PointsTo_1_1PointsToIterator.html#ab81cda692bb6ad451276f571a25c0751',1,'SVF::PointsTo::PointsToIterator::value_type()'],['../classSVF_1_1CoreBitVector_1_1CoreBitVectorIterator.html#a6a59f0e97fc9cf278ed22b0a4c109ae1',1,'SVF::CoreBitVector::CoreBitVectorIterator::value_type()'],['../classSVF_1_1iter__facade__base.html#a8d2e47a4de7b98466255b4846bdde26c',1,'SVF::iter_facade_base::value_type()']]],
+  ['valueboolpair_13217',['ValueBoolPair',['../classSVF_1_1ObjTypeInference.html#afb1c28ce04b61c423bd734db48b0a5b6',1,'SVF::ObjTypeInference']]],
+  ['valueset_13218',['ValueSet',['../classSVF_1_1ObjTypeInference.html#a51116a59a9f6c2c692505def03f5bc25',1,'SVF::ObjTypeInference']]],
+  ['valuetoclassnames_13219',['ValueToClassNames',['../classSVF_1_1ObjTypeInference.html#ae23313c88149711f2ce74a2c6d3e9da8',1,'SVF::ObjTypeInference']]],
+  ['valuetoedgemap_13220',['ValueToEdgeMap',['../classSVF_1_1IRGraph.html#a6247c1b1f6b92ce684c39af760878bbc',1,'SVF::IRGraph']]],
+  ['valuetoidmapty_13221',['ValueToIDMapTy',['../classSVF_1_1SymbolTableInfo.html#ad1741e65d47c39e03049c6d7265961af',1,'SVF::SymbolTableInfo']]],
+  ['valuetoinfersites_13222',['ValueToInferSites',['../classSVF_1_1ObjTypeInference.html#a17954e8e60a3736083504c7f675f5ba2',1,'SVF::ObjTypeInference']]],
+  ['valuetosources_13223',['ValueToSources',['../classSVF_1_1ObjTypeInference.html#a3ef6cdbd56a4d169a2d2cab0b2f6515b',1,'SVF::ObjTypeInference']]],
+  ['valuetotype_13224',['ValueToType',['../classSVF_1_1ObjTypeInference.html#ac97f30431b4e96d9d70dced9960072e9',1,'SVF::ObjTypeInference']]],
+  ['valuetovalueset_13225',['ValueToValueSet',['../classSVF_1_1ObjTypeInference.html#a02b5fdeee42828326afda5efaa997934',1,'SVF::ObjTypeInference']]],
+  ['var2labelmap_13226',['Var2LabelMap',['../classSVF_1_1SVFStmt.html#ad178ccbc7800527c3dc406ad5fa069bb',1,'SVF::SVFStmt']]],
+  ['variableattribute_13227',['VariableAttribute',['../classSVF_1_1GrammarBase.html#a716ce662e6a3f2febf3ab378c4217759',1,'SVF::GrammarBase']]],
+  ['vartoaddrs_13228',['VarToAddrs',['../classSVF_1_1ExeState.html#a09f34aca79479221305769cae307feef',1,'SVF::ExeState']]],
+  ['vartopropnodemap_13229',['VarToPropNodeMap',['../classSVF_1_1VersionedFlowSensitive.html#a9ee5add09f2b446c6c6bcb84da0f75b3',1,'SVF::VersionedFlowSensitive']]],
+  ['vartovalmap_13230',['VarToValMap',['../classSVF_1_1ConsExeState.html#a64a755f61886ef3f43f48c47eb76e9cc',1,'SVF::ConsExeState::VarToValMap()'],['../classSVF_1_1IntervalESBase.html#a02e3d5f7074c4f77338edc9a7add95d8',1,'SVF::IntervalESBase::VarToValMap()'],['../classSVF_1_1RelExeState.html#afcdf0c842f48a35cf19b2f7887174e98',1,'SVF::RelExeState::VarToValMap()']]],
+  ['vastartinst_13231',['VAStartInst',['../namespaceSVF.html#ad92e392a50e7c6c1f635fe2dcebd1adc',1,'SVF']]],
+  ['vectortype_13232',['VectorType',['../namespaceSVF.html#a1eaed46fa67cf1a51e438c5f8f523418',1,'SVF']]],
+  ['version_13233',['Version',['../namespaceSVF.html#a9ec7a8dc63411ee3724a25a59191be0c',1,'SVF']]],
+  ['versionedkeytoidmap_13234',['VersionedKeyToIDMap',['../classSVF_1_1PersistentVersionedPTData.html#a2ee473a1654b7d134a602268a2b70248',1,'SVF::PersistentVersionedPTData']]],
+  ['versionedptdataty_13235',['VersionedPTDataTy',['../classSVF_1_1BVDataPTAImpl.html#a8bc5e039958280b18e5a00a56e0bdc94',1,'SVF::BVDataPTAImpl']]],
+  ['versionedvar_13236',['VersionedVar',['../namespaceSVF.html#a32489632f53dce062ca2e8bff42c65cf',1,'SVF']]],
+  ['versionedvarset_13237',['VersionedVarSet',['../namespaceSVF.html#a544021f3075a89ff634b215a0efe3385',1,'SVF']]],
+  ['versionreliancemap_13238',['VersionRelianceMap',['../classSVF_1_1VersionedFlowSensitive.html#ad8108ee0b034877dea5e927d29ca0534',1,'SVF::VersionedFlowSensitive']]],
+  ['versionset_13239',['VersionSet',['../namespaceSVF.html#a046466b2ed3618072fee227b569da6eb',1,'SVF']]],
+  ['vfgedgesetty_13240',['VFGEdgeSetTy',['../classSVF_1_1VFG.html#a0bdac7337a393ad2e21a33ec1978ca3f',1,'SVF::VFG::VFGEdgeSetTy()'],['../classSVF_1_1VFGEdge.html#a54e8b1d339da481222292e3b62d1e765',1,'SVF::VFGEdge::VFGEdgeSetTy()']]],
+  ['vfgnodeidtonodemapty_13241',['VFGNodeIDToNodeMapTy',['../classSVF_1_1VFG.html#aca5b658b87728ac8bd7e562d51e771f8',1,'SVF::VFG']]],
+  ['vfgnodeiter_13242',['VFGNodeIter',['../classSVF_1_1VFG.html#a3037ca34a555ebdb4fbf0e86291dc4ea',1,'SVF::VFG']]],
+  ['vfgnodelist_13243',['VFGNodeList',['../classSVF_1_1ICFGNode.html#a53a4a33b8ea241f46b37111905a48169',1,'SVF::ICFGNode']]],
+  ['vfgnodeset_13244',['VFGNodeSet',['../classSVF_1_1VFG.html#a03d388eec513f713f5e0d06f920168db',1,'SVF::VFG']]],
+  ['vfunset_13245',['VFunSet',['../classSVF_1_1PointerAnalysis.html#aa7f15c74eb438be78fcc028534477478',1,'SVF::PointerAnalysis::VFunSet()'],['../namespaceSVF.html#ad2b487757f1e1a1d81073120fc1d49c7',1,'SVF::VFunSet()']]],
+  ['vfworklist_13246',['VFWorkList',['../classSVF_1_1ProgSlice.html#a684e44ade783439c6f77a8d84eed282c',1,'SVF::ProgSlice']]],
+  ['void_5ft_13247',['void_t',['../namespaceSVF_1_1SVFUtil.html#ad37880353cffc950d5b9417bc41c0b06',1,'SVF::SVFUtil']]],
+  ['vtableptrtocallsitemap_13248',['VTablePtrToCallSiteMap',['../classSVF_1_1FunptrDDAClient.html#ad195fbe1a6b422e67f16c9fde9d8e671',1,'SVF::FunptrDDAClient::VTablePtrToCallSiteMap()'],['../classSVF_1_1AliasDDAClient.html#a1eb12d17470a8b1ae7131470ace2daa2',1,'SVF::AliasDDAClient::VTablePtrToCallSiteMap()']]],
+  ['vtableset_13249',['VTableSet',['../classSVF_1_1PointerAnalysis.html#a57fabf1408ada10028282deef0b23ec6',1,'SVF::PointerAnalysis::VTableSet()'],['../namespaceSVF.html#a340a9e77adc2bbfdee79e22da9ead234',1,'SVF::VTableSet()']]],
+  ['vthdtocxtmap_13250',['vthdToCxtMap',['../classSVF_1_1MTAResultValidator.html#a1392757f98b54057d33adb125fd48efa',1,'SVF::MTAResultValidator::vthdToCxtMap()'],['../classSVF_1_1MTAResultValidator.html#a1392757f98b54057d33adb125fd48efa',1,'SVF::MTAResultValidator::vthdToCxtMap()']]],
+  ['vthdtorthdmap_13251',['vthdTorthdMap',['../classSVF_1_1MTAResultValidator.html#a7fc576e83fa259d0ab06d54c3537c4ac',1,'SVF::MTAResultValidator::vthdTorthdMap()'],['../classSVF_1_1MTAResultValidator.html#a7fc576e83fa259d0ab06d54c3537c4ac',1,'SVF::MTAResultValidator::vthdTorthdMap()']]]
 ];

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

@@ -1,14 +1,14 @@
 var searchData=
 [
-  ['word_13240',['Word',['../classSVF_1_1CoreBitVector.html#aaee26ffc13d05cd57f0fd7e4c2ea875c',1,'SVF::CoreBitVector']]],
-  ['worklist_13241',['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()']]],
-  ['workstack_13242',['WorkStack',['../classSVF_1_1CSC.html#a0490b9998987d245ee6e56bc68db4f1e',1,'SVF::CSC']]],
-  ['wpaconstraintsolver_13243',['WPAConstraintSolver',['../namespaceSVF.html#ae9c142945ea31b6c70bceb93eb6f3ca4',1,'SVF']]],
-  ['wpasvfgfssolver_13244',['WPASVFGFSSolver',['../namespaceSVF.html#a221270d70aa99a37738c0f919519a73d',1,'SVF']]],
-  ['wtocomponentreflist_13245',['WTOComponentRefList',['../classSVF_1_1WTOCycle.html#a04d7ad708faad0b6cb360e6010c21600',1,'SVF::WTOCycle::WTOComponentRefList()'],['../classSVF_1_1WTO.html#ac1a8ef3c15d484dc4f593b7d737e7de9',1,'SVF::WTO::WTOComponentRefList()']]],
-  ['wtocomponentrefset_13246',['WTOComponentRefSet',['../classSVF_1_1WTO.html#a928688b5f1e2111311262ccd936b1ca9',1,'SVF::WTO']]],
-  ['wtocomponentt_13247',['WTOComponentT',['../classSVF_1_1WTOCycle.html#adaa4b0f063eaf6f1bd02da38fd3b29de',1,'SVF::WTOCycle::WTOComponentT()'],['../classSVF_1_1WTO.html#a43bd515dd7ea9ae1f56b79d29cfdc00c',1,'SVF::WTO::WTOComponentT()']]],
-  ['wtocycledepthptr_13248',['WTOCycleDepthPtr',['../classSVF_1_1WTO.html#a8022c9a6ebc62ed292698f07ab93bafe',1,'SVF::WTO']]],
-  ['wtocyclet_13249',['WTOCycleT',['../classSVF_1_1WTOComponentVisitor.html#a978324f9b276a9d086b9e7a12feac997',1,'SVF::WTOComponentVisitor::WTOCycleT()'],['../classSVF_1_1WTO.html#a71a0d4afca77f59db4829c7b39419429',1,'SVF::WTO::WTOCycleT()']]],
-  ['wtonodet_13250',['WTONodeT',['../classSVF_1_1WTOComponentVisitor.html#a873b7e2a4166cb6a5b48a63dbafa295d',1,'SVF::WTOComponentVisitor::WTONodeT()'],['../classSVF_1_1WTO.html#a96f37d843d4bd7c2b30cfc5bc59cf90d',1,'SVF::WTO::WTONodeT()']]]
+  ['word_13252',['Word',['../classSVF_1_1CoreBitVector.html#aaee26ffc13d05cd57f0fd7e4c2ea875c',1,'SVF::CoreBitVector']]],
+  ['worklist_13253',['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()']]],
+  ['workstack_13254',['WorkStack',['../classSVF_1_1CSC.html#a0490b9998987d245ee6e56bc68db4f1e',1,'SVF::CSC']]],
+  ['wpaconstraintsolver_13255',['WPAConstraintSolver',['../namespaceSVF.html#ae9c142945ea31b6c70bceb93eb6f3ca4',1,'SVF']]],
+  ['wpasvfgfssolver_13256',['WPASVFGFSSolver',['../namespaceSVF.html#a221270d70aa99a37738c0f919519a73d',1,'SVF']]],
+  ['wtocomponentreflist_13257',['WTOComponentRefList',['../classSVF_1_1WTOCycle.html#a04d7ad708faad0b6cb360e6010c21600',1,'SVF::WTOCycle::WTOComponentRefList()'],['../classSVF_1_1WTO.html#ac1a8ef3c15d484dc4f593b7d737e7de9',1,'SVF::WTO::WTOComponentRefList()']]],
+  ['wtocomponentrefset_13258',['WTOComponentRefSet',['../classSVF_1_1WTO.html#a928688b5f1e2111311262ccd936b1ca9',1,'SVF::WTO']]],
+  ['wtocomponentt_13259',['WTOComponentT',['../classSVF_1_1WTOCycle.html#adaa4b0f063eaf6f1bd02da38fd3b29de',1,'SVF::WTOCycle::WTOComponentT()'],['../classSVF_1_1WTO.html#a43bd515dd7ea9ae1f56b79d29cfdc00c',1,'SVF::WTO::WTOComponentT()']]],
+  ['wtocycledepthptr_13260',['WTOCycleDepthPtr',['../classSVF_1_1WTO.html#a8022c9a6ebc62ed292698f07ab93bafe',1,'SVF::WTO']]],
+  ['wtocyclet_13261',['WTOCycleT',['../classSVF_1_1WTOComponentVisitor.html#a978324f9b276a9d086b9e7a12feac997',1,'SVF::WTOComponentVisitor::WTOCycleT()'],['../classSVF_1_1WTO.html#a71a0d4afca77f59db4829c7b39419429',1,'SVF::WTO::WTOCycleT()']]],
+  ['wtonodet_13262',['WTONodeT',['../classSVF_1_1WTOComponentVisitor.html#a873b7e2a4166cb6a5b48a63dbafa295d',1,'SVF::WTOComponentVisitor::WTONodeT()'],['../classSVF_1_1WTO.html#a96f37d843d4bd7c2b30cfc5bc59cf90d',1,'SVF::WTO::WTONodeT()']]]
 ];