svf-tools 1.0.830 → 1.0.832

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

@@ -1,145 +1,145 @@
 var searchData=
 [
-  ['cachedptschainmap_11068',['cachedPtsChainMap',['../classSVF_1_1MRGenerator.html#a0e46c7beb580ace3a652ac9e1c419b48',1,'SVF::MRGenerator']]],
-  ['call_11069',['call',['../classSVF_1_1CallPE.html#ace0704c65aa3637c50ff880f68808bba',1,'SVF::CallPE::call()'],['../classSVF_1_1RetPE.html#aa2d42edfce9d5a8c025c0bb529aee0f2',1,'SVF::RetPE::call()']]],
-  ['callblocknode_11070',['callBlockNode',['../classSVF_1_1RetICFGNode.html#a42f4b87f590b3a393059bcca5736c596',1,'SVF::RetICFGNode']]],
-  ['calledgelabelcounter_11071',['callEdgeLabelCounter',['../classSVF_1_1SVFStmt.html#a24227d7f1dd472f47bf94cb5db8505c4',1,'SVF::SVFStmt']]],
-  ['calledval_11072',['calledVal',['../classSVF_1_1SVFCallInst.html#a23ee9dbaa0052ef41ce2d75f1dc36491',1,'SVF::SVFCallInst']]],
-  ['callgraph_11073',['callgraph',['../classSVF_1_1VFG.html#a0c8cf98b652b5eb97d22e2636576f92f',1,'SVF::VFG::callgraph()'],['../classSVF_1_1PCG.html#ae9026f717c442198ffa90ff66f482c92',1,'SVF::PCG::callgraph()'],['../classSVF_1_1CallGraphBuilder.html#a77ccca4e81eb1199c89d75e1b2d21af6',1,'SVF::CallGraphBuilder::callgraph()'],['../classSVF_1_1MRGenerator.html#a05005a166c39b1adea492655d77db519',1,'SVF::MRGenerator::callGraph()']]],
-  ['callgraphdotgraph_11074',['CallGraphDotGraph',['../classSVF_1_1Options.html#a0a998c2e1d701b2052985691babc4567',1,'SVF::Options']]],
-  ['callgraphnodenum_11075',['callGraphNodeNum',['../classSVF_1_1PTACallGraph.html#af0e1a940677fb7f6c4aaef2f9c46c3e5',1,'SVF::PTACallGraph']]],
-  ['callgraphscc_11076',['callGraphSCC',['../classSVF_1_1PointerAnalysis.html#ae3b651799345d9d92b6d736dafb03f63',1,'SVF::PointerAnalysis::callGraphSCC()'],['../classSVF_1_1MRGenerator.html#aa3a12cf1f761d25b9213bc6e50d89ba5',1,'SVF::MRGenerator::callGraphSCC()']]],
-  ['callinst_11077',['callInst',['../classSVF_1_1InterMSSAPHISVFGNode.html#aac74080dd5078d31d6f43edc2caf3c08',1,'SVF::InterMSSAPHISVFGNode::callInst()'],['../classSVF_1_1InterPHIVFGNode.html#a6a8b370c8de218abf89cf00a72d3cd0c',1,'SVF::InterPHIVFGNode::callInst()']]],
-  ['callinsttocallgraphedgesmap_11078',['callinstToCallGraphEdgesMap',['../classSVF_1_1PTACallGraph.html#ab29003352d8152b9d0fd37919ac212c5',1,'SVF::PTACallGraph']]],
-  ['callinsttohareparforedgesmap_11079',['callinstToHareParForEdgesMap',['../classSVF_1_1ThreadCallGraph.html#a42a088dba9cda7a7718685f80f52c928',1,'SVF::ThreadCallGraph']]],
-  ['callinsttothreadforkedgesmap_11080',['callinstToThreadForkEdgesMap',['../classSVF_1_1ThreadCallGraph.html#a79ba3df9d85eed3c9a55e6797fdcb9b9',1,'SVF::ThreadCallGraph']]],
-  ['callinsttothreadjoinedgesmap_11081',['callinstToThreadJoinEdgesMap',['../classSVF_1_1ThreadCallGraph.html#af2009968716a3785322e664a712cbb60',1,'SVF::ThreadCallGraph']]],
-  ['callpes_11082',['callPEs',['../classSVF_1_1CallCFGEdge.html#a3f48f7f041c5e6d385757035c551d51c',1,'SVF::CallCFGEdge::callPEs()'],['../classSVF_1_1FormalParmVFGNode.html#a8d124f42c320d38ddd08ed4948d63517',1,'SVF::FormalParmVFGNode::callPEs()']]],
-  ['callsite_11083',['callsite',['../classSVF_1_1CallMU.html#aa90a06c9e44914a7a8e104aa80bf1374',1,'SVF::CallMU::callsite()'],['../classSVF_1_1CallCHI.html#a30f1f8f2b23df3bad70d8083397e28eb',1,'SVF::CallCHI::callsite()']]],
-  ['callsite2dummyvalpn_11084',['callsite2DummyValPN',['../classSVF_1_1CFLAlias.html#ae879c990852862e5ed4e4e7da76dda05',1,'SVF::CFLAlias::callsite2DummyValPN()'],['../classSVF_1_1Andersen.html#a2f88b6035ecb480f7d11afe6bc666541',1,'SVF::Andersen::callsite2DummyValPN()'],['../classSVF_1_1Steensgaard.html#a85f32b4efd335dde646dfdaf0c7eedd0',1,'SVF::Steensgaard::callsite2DummyValPN()']]],
-  ['callsiteargslistmap_11085',['callSiteArgsListMap',['../classSVF_1_1SVFIR.html#aa0920f5f967efdb89e23f12d31b112a2',1,'SVF::SVFIR']]],
-  ['callsiteretmap_11086',['callSiteRetMap',['../classSVF_1_1SVFIR.html#a11ab07f48c934f45c239393332aa60e1',1,'SVF::SVFIR']]],
-  ['callsiteset_11087',['callSiteSet',['../classSVF_1_1SVFIR.html#ac6c537688366e73bb0ae5db49c0b2450',1,'SVF::SVFIR']]],
-  ['callsitetoactualinmap_11088',['callSiteToActualINMap',['../classSVF_1_1SVFG.html#af9313ebec4a52fd887169b7c6373a7d4',1,'SVF::SVFG']]],
-  ['callsitetoactualoutmap_11089',['callSiteToActualOUTMap',['../classSVF_1_1SVFG.html#a39873b954b6e0eb0641f56ca4cd06ef9',1,'SVF::SVFG']]],
-  ['callsitetochisetmap_11090',['callsiteToChiSetMap',['../classSVF_1_1MemSSA.html#a1be5a6776c8785f26573b597881c8195',1,'SVF::MemSSA']]],
-  ['callsitetomodmrsmap_11091',['callsiteToModMRsMap',['../classSVF_1_1MRGenerator.html#adf8d477e5f622855799842134145ecc4',1,'SVF::MRGenerator']]],
-  ['callsitetomodpointstomap_11092',['callsiteToModPointsToMap',['../classSVF_1_1MRGenerator.html#ab8df193e84009e406c301731d17dc7b9',1,'SVF::MRGenerator']]],
-  ['callsitetomusetmap_11093',['callsiteToMuSetMap',['../classSVF_1_1MemSSA.html#aba54e534d18f68fbb97b26befd06ba1a',1,'SVF::MemSSA']]],
-  ['callsitetorefmrsmap_11094',['callsiteToRefMRsMap',['../classSVF_1_1MRGenerator.html#a7a7ed21181c2486b60170a479a5a534e',1,'SVF::MRGenerator']]],
-  ['callsitetorefpointstomap_11095',['callsiteToRefPointsToMap',['../classSVF_1_1MRGenerator.html#a34967cda51699f948a581b9f88fa3b10',1,'SVF::MRGenerator']]],
-  ['candidatefuncset_11096',['candidateFuncSet',['../classSVF_1_1TCT.html#a720a934088dddda2b134cabcc59ef43d',1,'SVF::TCT']]],
-  ['candidatemappings_11097',['candidateMappings',['../classSVF_1_1FlowSensitive.html#adba7ffe68ae7edce9b3aa896f978da6b',1,'SVF::FlowSensitive']]],
-  ['candidatepointers_11098',['candidatePointers',['../classSVF_1_1SVFIR.html#abd9f622b55839d6796ca2576f2323498',1,'SVF::SVFIR']]],
-  ['candidatequeries_11099',['candidateQueries',['../classSVF_1_1DDAClient.html#aa6fdff97be2e1a886237b515406d2e61',1,'SVF::DDAClient::candidateQueries()'],['../classSVF_1_1DDAVFSolver.html#ae0e78fafb7eec0fbc1a02d24547335e9',1,'SVF::DDAVFSolver::candidateQueries()']]],
-  ['candidates_11100',['candidates',['../classSVF_1_1WPAMinimumSolver.html#a3e26f894660fb22f7d2f342bb4338ff8',1,'SVF::WPAMinimumSolver']]],
-  ['canonicaltypemap_11101',['canonicalTypeMap',['../classSVF_1_1DCHGraph.html#a638572301c0faf8046a965e46f6105c7',1,'SVF::DCHGraph']]],
-  ['canonicaltypes_11102',['canonicalTypes',['../classSVF_1_1DCHGraph.html#af9d58fa796387a247018c56cce1a3fac',1,'SVF::DCHGraph']]],
-  ['case_5fsensitive_11103',['case_sensitive',['../cJSON_8h.html#a05334336676ca1cd88db19ede4a065de',1,'cJSON.h']]],
-  ['cb_11104',['CB',['../classSVF_1_1CallSite.html#a3de20fdb58def4ea6af2d635f0d2e730',1,'SVF::CallSite']]],
-  ['cbv_11105',['cbv',['../classSVF_1_1PointsTo.html#a79333c4ae5c002d9632fa589956b3605',1,'SVF::PointsTo::cbv()'],['../classSVF_1_1CoreBitVector_1_1CoreBitVectorIterator.html#a0cba79551b56ed83dc45ab63619dc590',1,'SVF::CoreBitVector::CoreBitVectorIterator::cbv()']]],
-  ['cbvit_11106',['cbvIt',['../classSVF_1_1PointsTo_1_1PointsToIterator.html#a4db2c62eb3ad789ab7aaf7506cd340b2',1,'SVF::PointsTo::PointsToIterator']]],
-  ['cfledgeset_11107',['cflEdgeSet',['../classSVF_1_1CFLGraph.html#afb41039ad53899fa64fedcef8b7aa7fe',1,'SVF::CFLGraph']]],
-  ['cflgraph_11108',['cflGraph',['../classSVF_1_1CFLGraphBuilder.html#af034366ce280120e5cd1a5685894e9ac',1,'SVF::CFLGraphBuilder::cflGraph()'],['../classSVF_1_1Options.html#a81dbd12b5141c4a2758d6f2d3321f1ac',1,'SVF::Options::CFLGraph()']]],
-  ['cflsvfg_11109',['CFLSVFG',['../classSVF_1_1Options.html#a7ef3e2cd417646e9d06e0da16ff6c516',1,'SVF::Options']]],
-  ['chaffmap_11110',['chaFFMap',['../classSVF_1_1DCHGraph.html#a607d83338feeb58af3638b988b7fa00b',1,'SVF::DCHGraph']]],
-  ['chamap_11111',['chaMap',['../classSVF_1_1DCHGraph.html#ad4d431ceff25218fcb5830be12739ac3',1,'SVF::DCHGraph']]],
-  ['chg_11112',['chg',['../classSVF_1_1CHGBuilder.html#ab3471cc9afba5976c7e5fbd07dfb22dc',1,'SVF::CHGBuilder']]],
-  ['chgraph_11113',['chgraph',['../classSVF_1_1PointerAnalysis.html#a0c0fce2539bb9ec6c824f6584a0f6b33',1,'SVF::PointerAnalysis::chgraph()'],['../classSVF_1_1SVFIR.html#a31c54c878be428cc92cf08970fef422b',1,'SVF::SVFIR::chgraph()']]],
-  ['chgraphreader_11114',['chGraphReader',['../classSVF_1_1SVFIRReader.html#a8362a86ac83f1fe41d7028d5a8e0c0b4',1,'SVF::SVFIRReader']]],
-  ['chgwriter_11115',['chgWriter',['../classSVF_1_1SVFIRWriter.html#aab50fec943a00c96155d395d514febe7',1,'SVF::SVFIRWriter']]],
-  ['child_11116',['child',['../structcJSON.html#a401b274c2da358dac5c23ab8b2c71f85',1,'cJSON::child()'],['../cJSON_8cpp.html#ad00efb41ca386db28bacc7aefe79535c',1,'child(): cJSON.cpp']]],
-  ['children_11117',['children',['../structSVF_1_1POCRHybridSolver_1_1TreeNode.html#a960c186f2dc559c371334876a272e795',1,'SVF::POCRHybridSolver::TreeNode']]],
-  ['cilocktospan_11118',['ciLocktoSpan',['../classSVF_1_1LockAnalysis.html#afc4212873c3e05ac9506aac0a25f515a',1,'SVF::LockAnalysis']]],
-  ['ckapi_11119',['ckAPI',['../classSVF_1_1SaberCheckerAPI.html#a3e54cae9b4259da2332c7fc87d3df347',1,'SVF::SaberCheckerAPI']]],
-  ['classname_11120',['className',['../classSVF_1_1CHNode.html#ac7c18617b768a2988cf4eff7e849f397',1,'SVF::CHNode::className()'],['../structSVF_1_1cppUtil_1_1DemangledName.html#a5cd207bce618521166e6fa235014b297',1,'SVF::cppUtil::DemangledName::className()']]],
-  ['classnametoancestorsmap_11121',['classNameToAncestorsMap',['../classSVF_1_1CHGraph.html#a083f726d74208c2d8107a75e0d6b3ca9',1,'SVF::CHGraph']]],
-  ['classnametodescendantsmap_11122',['classNameToDescendantsMap',['../classSVF_1_1CHGraph.html#ac08f846413b6aed26a1bf39eb865b006',1,'SVF::CHGraph']]],
-  ['classnametoinstanddescsmap_11123',['classNameToInstAndDescsMap',['../classSVF_1_1CHGraph.html#aaec4bdde66e4a7a63ea3f3c6ec0bd045',1,'SVF::CHGraph']]],
-  ['classnametonodemap_11124',['classNameToNodeMap',['../classSVF_1_1CHGraph.html#ae613ad20686db0f2159a00cb00ae0a9e',1,'SVF::CHGraph']]],
-  ['classnum_11125',['classNum',['../classSVF_1_1CHGraph.html#adb99b732d20cfc8cc0f078cda6753bc0',1,'SVF::CHGraph']]],
-  ['clocktype_11126',['ClockType',['../classSVF_1_1Options.html#a28af43961cb29a7dea50be2ab332cc75',1,'SVF::Options']]],
-  ['clplist_11127',['clpList',['../classSVF_1_1LockAnalysis.html#afff2c5699e08badf5265e8183b18a02e',1,'SVF::LockAnalysis']]],
-  ['clsname_11128',['clsName',['../LLVMUtil_8cpp.html#a5f8da60b0fcc28445f508f4e42513a82',1,'LLVMUtil.cpp']]],
-  ['clusterander_11129',['ClusterAnder',['../classSVF_1_1Options.html#a46743284466ff803f52a82b094186d16',1,'SVF::Options']]],
-  ['clusterfs_11130',['ClusterFs',['../classSVF_1_1Options.html#a853caba808dc7d17cba4ad4214b56b6f',1,'SVF::Options']]],
-  ['clustermethod_11131',['ClusterMethod',['../classSVF_1_1Options.html#ac17ce6d75293dcd0baf366cbeb0cb6d6',1,'SVF::Options']]],
-  ['collapsetime_11132',['CollapseTime',['../classSVF_1_1AndersenStat.html#a3f5739454b1f4e03b4388a4ba5730e15',1,'SVF::AndersenStat']]],
-  ['collectextretglobals_11133',['CollectExtRetGlobals',['../classSVF_1_1Options.html#a9be31261a2f96c5733bd35a5da07eb76',1,'SVF::Options']]],
-  ['complementcache_11134',['complementCache',['../classSVF_1_1PersistentPointsToCache.html#adef498f8a0d4c75023382e6312a85a58',1,'SVF::PersistentPointsToCache']]],
-  ['concretecxt_11135',['concreteCxt',['../classSVF_1_1ContextCond.html#a453722fc2b9b4ae4be0dfc1f020390eb',1,'SVF::ContextCond']]],
-  ['cond_11136',['cond',['../classSVF_1_1MSSAMU.html#a8e828af79da08528166b1f53165bc5b2',1,'SVF::MSSAMU::cond()'],['../classSVF_1_1MSSACHI.html#addeee3fb0c5e6b1c68c30da111c26759',1,'SVF::MSSACHI::cond()'],['../classSVF_1_1MSSAPHI.html#a348e69bf48ee7a959cd0bb117ba1dc9f',1,'SVF::MSSAPHI::cond()'],['../classSVF_1_1BranchStmt.html#adcf5cabe6e0a87cded5ef1fdf7273f3f',1,'SVF::BranchStmt::cond()']]],
-  ['condition_11137',['condition',['../classSVF_1_1SelectStmt.html#a2d6e9d7131bc69a0e88b703c2c03d7e2',1,'SVF::SelectStmt']]],
-  ['conditionvar_11138',['conditionVar',['../classSVF_1_1IntraCFGEdge.html#a4c6975e82794958aecb2013c0941777d',1,'SVF::IntraCFGEdge']]],
-  ['conditionvec_11139',['conditionVec',['../classSVF_1_1SaberCondAllocator.html#afd6cf17070e3629ced1ac36b8e2b0bbb',1,'SVF::SaberCondAllocator']]],
-  ['connectdirsvfgedgetimeend_11140',['connectDirSVFGEdgeTimeEnd',['../classSVF_1_1SVFGStat.html#ac243fababbb9d2f3efbea5411f947c21',1,'SVF::SVFGStat']]],
-  ['connectdirsvfgedgetimestart_11141',['connectDirSVFGEdgeTimeStart',['../classSVF_1_1SVFGStat.html#a0a967faad014cdd53f5dddfdc59edbc3',1,'SVF::SVFGStat']]],
-  ['connectindsvfgedgetimeend_11142',['connectIndSVFGEdgeTimeEnd',['../classSVF_1_1SVFGStat.html#a3210cc1283669129234aa2c3feb67654',1,'SVF::SVFGStat']]],
-  ['connectindsvfgedgetimestart_11143',['connectIndSVFGEdgeTimeStart',['../classSVF_1_1SVFGStat.html#a2a697caecf23413187aef90a8097e0b0',1,'SVF::SVFGStat']]],
-  ['connectvcalloncha_11144',['ConnectVCallOnCHA',['../classSVF_1_1Options.html#abf71061d93d4a3b32246f19dc71e5127',1,'SVF::Options']]],
-  ['conscg_11145',['consCG',['../classSVF_1_1AndersenBase.html#ae21e38a06a4397d11cdd17b0f8f282fd',1,'SVF::AndersenBase']]],
-  ['conscgdotgraph_11146',['ConsCGDotGraph',['../classSVF_1_1Options.html#ad80f77349205dac9e74aa41ea1ecbf95',1,'SVF::Options']]],
-  ['constantobjectid_11147',['constantObjectId',['../classSVF_1_1NodeIDAllocator.html#a6a300a5b455fe4b8bace2f1d66fb5f9d',1,'SVF::NodeIDAllocator']]],
-  ['constantset_11148',['ConstantSet',['../classSVF_1_1SVFModule.html#a6ce288ee551c8a33cb353ee2374762c7',1,'SVF::SVFModule']]],
-  ['constdataoraggdata_11149',['constDataOrAggData',['../classSVF_1_1SVFValue.html#afc657036de9342fae6223077c10fcb01',1,'SVF::SVFValue']]],
-  ['consume_11150',['consume',['../classSVF_1_1VersionedFlowSensitive.html#a2e4e6a84cbfd553ad9cca8fdf9fd4a8d',1,'SVF::VersionedFlowSensitive']]],
-  ['containingaggs_11151',['containingAggs',['../classSVF_1_1DCHGraph.html#aac5595a230db0e8a81a6d6b67a4fdf58',1,'SVF::DCHGraph']]],
-  ['content_11152',['content',['../structparse__buffer.html#a52ee1184576baa3d5171059ab0e942de',1,'parse_buffer::content()'],['../cJSON_8cpp.html#a7886d4c98c027896a652ad0ada741709',1,'content(): cJSON.cpp']]],
-  ['context_11153',['context',['../classSVF_1_1ContextCond.html#ac431eae00244cc7792b6e7e00634d535',1,'SVF::ContextCond::context()'],['../classSVF_1_1CxtStmtDPItem.html#a96f1d7c309e3b69af66200e2cfb5a466',1,'SVF::CxtStmtDPItem::context()'],['../classSVF_1_1CxtDPItem.html#ab89e9f588054ad8a99d9af8e756c951b',1,'SVF::CxtDPItem::context()']]],
-  ['contextdda_11154',['contextDDA',['../classSVF_1_1DDAStat.html#ac3fb8b15c5308c926209a941c7cf62e1',1,'SVF::DDAStat']]],
-  ['contextinsensitive_11155',['ContextInsensitive',['../classSVF_1_1Options.html#ae60822a71ee1cd389413d98dfb35e302',1,'SVF::Options']]],
-  ['controldg_11156',['controlDg',['../classSVF_1_1CDG.html#a70b59b33f4266b22cc58fa832ded900a',1,'SVF::CDG']]],
-  ['copy_11157',['copy',['../cJSON_8cpp.html#a7669ee67a0563250c1efaa24d130e1ac',1,'cJSON.cpp']]],
-  ['copyinedges_11158',['copyInEdges',['../classSVF_1_1ConstraintNode.html#a4d413d64bf554ecdc72709afeeb85775',1,'SVF::ConstraintNode']]],
-  ['copyoutedges_11159',['copyOutEdges',['../classSVF_1_1ConstraintNode.html#a12df688fd9b5b7617daadc7bee0fff40',1,'SVF::ConstraintNode']]],
-  ['copytime_11160',['copyTime',['../classSVF_1_1FlowSensitive.html#a888d6334e5e226c634680e4c0674dcfb',1,'SVF::FlowSensitive']]],
-  ['count_11161',['count',['../cJSON_8h.html#ad43c3812e6d13e0518d9f8b8f463ffcf',1,'count(): cJSON.h'],['../cJSON_8cpp.html#ad43c3812e6d13e0518d9f8b8f463ffcf',1,'count(): cJSON.cpp']]],
-  ['coverage_11162',['coverage',['../classSVF_1_1SVFBugReport.html#abdb02bf4b61c6cbccd4b9c3c01590ddc',1,'SVF::SVFBugReport']]],
-  ['cpts_11163',['cpts',['../classSVF_1_1IndirectSVFGEdge.html#a2d54c1c3567ef6676ba15f88c622e5b7',1,'SVF::IndirectSVFGEdge::cpts()'],['../classSVF_1_1MRSVFGNode.html#a640153ff592bf0058882a0d05a76b1ba',1,'SVF::MRSVFGNode::cpts()']]],
-  ['cptsset_11164',['cptsSet',['../classSVF_1_1MemRegion.html#a77a18bcce56cf48d1c338e852a2be9bc',1,'SVF::MemRegion']]],
-  ['cptstorepcptsmap_11165',['cptsToRepCPtsMap',['../classSVF_1_1MRGenerator.html#ab4d1ff0357d389a65ff1c2112ce631a1',1,'SVF::MRGenerator']]],
-  ['cs_11166',['cs',['../classSVF_1_1CallCFGEdge.html#a3f576a9648945907859dd5922f55bcb3',1,'SVF::CallCFGEdge::cs()'],['../classSVF_1_1RetCFGEdge.html#a7f247e68024c946be46b484a16c59770',1,'SVF::RetCFGEdge::cs()'],['../classSVF_1_1CallICFGNode.html#a4acec3f922d6610cb81bcdb68dac0af9',1,'SVF::CallICFGNode::cs()'],['../classSVF_1_1RetICFGNode.html#a718935df4d5b653bcf662243b67d7857',1,'SVF::RetICFGNode::cs()'],['../classSVF_1_1ActualINSVFGNode.html#a7260c36cd5a063e3c1de2b2ca7bd0802',1,'SVF::ActualINSVFGNode::cs()'],['../classSVF_1_1ActualOUTSVFGNode.html#a075773fa5b13cc067d24fbbb35c1d042',1,'SVF::ActualOUTSVFGNode::cs()'],['../classSVF_1_1ActualParmVFGNode.html#a652f865955c1f345c656c9178376228a',1,'SVF::ActualParmVFGNode::cs()'],['../classSVF_1_1ActualRetVFGNode.html#af1217e120a09ae262205278c69d8c643',1,'SVF::ActualRetVFGNode::cs()']]],
-  ['csc_11167',['csc',['../classSVF_1_1AndersenSFR.html#aa39c668b1473ac4fb99da3aa736c9edb',1,'SVF::AndersenSFR']]],
-  ['cschamap_11168',['csCHAMap',['../classSVF_1_1DCHGraph.html#ad79a569e77f94fa8494eed3f18e07e90',1,'SVF::DCHGraph']]],
-  ['csid_11169',['csId',['../classSVF_1_1PTACallGraphEdge.html#a7488c5125d55e56ec427ef0d8ee88999',1,'SVF::PTACallGraphEdge::csId()'],['../classSVF_1_1CallIndSVFGEdge.html#adb7796f5c1094379ed295e92bf4a79b9',1,'SVF::CallIndSVFGEdge::csId()'],['../classSVF_1_1RetIndSVFGEdge.html#a49e231a4606fda4429d0bae5656fa3e1',1,'SVF::RetIndSVFGEdge::csId()'],['../classSVF_1_1CallDirSVFGEdge.html#a2cbaf86c3e65eb9d02d3843706fc178b',1,'SVF::CallDirSVFGEdge::csId()'],['../classSVF_1_1RetDirSVFGEdge.html#a10929c8f605a05c1a471f77936d31902',1,'SVF::RetDirSVFGEdge::csId()']]],
-  ['csnumtoinstmap_11170',['csnumToInstMap',['../classSVF_1_1MTAResultValidator.html#ae2717c467dc7c49fab0ec93bfa4baaab',1,'SVF::MTAResultValidator']]],
-  ['cstocallnodemap_11171',['CSToCallNodeMap',['../classSVF_1_1ICFG.html#af0434d6ffd247eeaf73b9294e659a3f9',1,'SVF::ICFG']]],
-  ['cstocallsiteargsptsmap_11172',['csToCallSiteArgsPtsMap',['../classSVF_1_1MRGenerator.html#afe91b57b451d7788364493549e015acf',1,'SVF::MRGenerator']]],
-  ['cstocallsiteretptsmap_11173',['csToCallSiteRetPtsMap',['../classSVF_1_1MRGenerator.html#a21550f978f42ac3cbb32cbc426ff5cb1',1,'SVF::MRGenerator']]],
-  ['cstochavfnsmap_11174',['csToCHAVFnsMap',['../classSVF_1_1CHGraph.html#a5e6502c5baad99c70e1cf56c84ce9474',1,'SVF::CHGraph']]],
-  ['cstochavtblsmap_11175',['csToCHAVtblsMap',['../classSVF_1_1CHGraph.html#af3ed2bee5d76e5a848b250950c3be333',1,'SVF::CHGraph']]],
-  ['cstoclassesmap_11176',['csToClassesMap',['../classSVF_1_1CHGraph.html#a7ef9982d89a4932883bd58bc49ad9986',1,'SVF::CHGraph']]],
-  ['cstoidmap_11177',['csToIdMap',['../classSVF_1_1PTACallGraph.html#a75ffe4f24d59ad42601b7550aa988187',1,'SVF::PTACallGraph']]],
-  ['cstomodsmap_11178',['csToModsMap',['../classSVF_1_1MRGenerator.html#a603f993995e7d6961e203a195bb56029',1,'SVF::MRGenerator']]],
-  ['cstorefsmap_11179',['csToRefsMap',['../classSVF_1_1MRGenerator.html#ac7b5ca3fd950e1a940f875ac135640f6',1,'SVF::MRGenerator']]],
-  ['cstoretnodemap_11180',['CSToRetNodeMap',['../classSVF_1_1ICFG.html#a0e43308038663c10667177238b23ab3e',1,'SVF::ICFG']]],
-  ['ctplist_11181',['ctpList',['../classSVF_1_1TCT.html#a80dad1dfdf64cb7a5805eb8bedf79226',1,'SVF::TCT']]],
-  ['ctptonodemap_11182',['ctpToNodeMap',['../classSVF_1_1TCT.html#a0ccb6e9ffff0f22a0a054a92222893d5',1,'SVF::TCT']]],
-  ['cttoforkcxtmap_11183',['ctToForkCxtMap',['../classSVF_1_1TCT.html#aea88fdb40c28724546f5903d3a73999a',1,'SVF::TCT']]],
-  ['cttoroutinefunmap_11184',['ctToRoutineFunMap',['../classSVF_1_1TCT.html#a36c7884869d923c1a9363962c9e013bd',1,'SVF::TCT']]],
-  ['ctx_11185',['ctx',['../classSVF_1_1TCTNode.html#a8f2ef1020b45aada8b79ac3b8d27c2a6',1,'SVF::TCTNode::ctx()'],['../classSVF_1_1Z3Expr.html#af02935097a8db09812781ac8c42d93e5',1,'SVF::Z3Expr::ctx()']]],
-  ['cur_11186',['cur',['../classSVF_1_1DPItem.html#a82d2a11fb456192ec88fcb5ffe239d80',1,'SVF::DPItem']]],
-  ['curbb_11187',['curBB',['../classSVF_1_1SVFIRBuilder.html#a8219f7e2581cc9974b42cf95d8318b15',1,'SVF::SVFIRBuilder']]],
-  ['curevalsvfgnode_11188',['curEvalSVFGNode',['../classSVF_1_1SaberCondAllocator.html#a4ac9b5ec6bfd7a7b468cb13a5e8803e0',1,'SVF::SaberCondAllocator']]],
-  ['curloc_11189',['curloc',['../classSVF_1_1StmtDPItem.html#a9e20ebd5ae8272a4aef74914098f97ef',1,'SVF::StmtDPItem']]],
-  ['curptr_11190',['curPtr',['../classSVF_1_1DDAClient.html#a6a133cf24ef65eaf58c82ec213f3f6cb',1,'SVF::DDAClient']]],
-  ['currelementiter_11191',['CurrElementIter',['../classSVF_1_1SparseBitVector.html#ada7cb2e144c2fccd0d50138778b152dd',1,'SVF::SparseBitVector']]],
-  ['current_11192',['current',['../classSVF_1_1CFLGraphBuilder.html#aad408d6ecb776fd763c9b9221a1bed18',1,'SVF::CFLGraphBuilder']]],
-  ['currentbestnodemapping_11193',['currentBestNodeMapping',['../classSVF_1_1PointsTo.html#a98781dd444ada40af7eef9aefe76123d',1,'SVF::PointsTo']]],
-  ['currentbestreversenodemapping_11194',['currentBestReverseNodeMapping',['../classSVF_1_1PointsTo.html#a53e1230c87912d26604990eb8b0cbc0c',1,'SVF::PointsTo']]],
-  ['cursccid_11195',['curSCCID',['../classSVF_1_1WPASCCSolver.html#a28973d7e1301c36254b67c695e8431aa',1,'SVF::WPASCCSolver']]],
-  ['curty_11196',['CurTy',['../classllvm_1_1generic__bridge__gep__type__iterator.html#af4eefb034e50627c6d4ef5bfcdcb4f57',1,'llvm::generic_bridge_gep_type_iterator']]],
-  ['curval_11197',['curVal',['../classSVF_1_1SVFIRBuilder.html#aefc70f2a0a2103259ae36d026cbb18be',1,'SVF::SVFIRBuilder']]],
-  ['customized_11198',['Customized',['../classSVF_1_1Options.html#a15a9c1086e1bbd6a76d56ad1bdd6b994',1,'SVF::Options']]],
-  ['cxt_11199',['cxt',['../classSVF_1_1CxtStmt.html#ae451ee5a61dbdd2367a04cee304bbcb1',1,'SVF::CxtStmt::cxt()'],['../classSVF_1_1CxtThread.html#ae8e5c401e008739bf018f1d618c08ea5',1,'SVF::CxtThread::cxt()'],['../classSVF_1_1CxtProc.html#af5f186c71d815dabcbfab6bae7c57b59',1,'SVF::CxtProc::cxt()']]],
-  ['cxt_5fthread_11200',['CXT_THREAD',['../classSVF_1_1MTAResultValidator.html#a909e66d94d4f3ce6e0c1e0fe5b50483a',1,'SVF::MTAResultValidator']]],
-  ['cxtbudget_11201',['CxtBudget',['../classSVF_1_1Options.html#a3bbd106de519cb8d00f33e82f14d279b',1,'SVF::Options']]],
-  ['cxtjoininloop_11202',['cxtJoinInLoop',['../classSVF_1_1ForkJoinAnalysis.html#a63da48d338683ec95709a6bd95238707',1,'SVF::ForkJoinAnalysis']]],
-  ['cxtlimit_11203',['CxtLimit',['../classSVF_1_1Options.html#a3fd9cce83729bc62cd2fb568b0d53db5',1,'SVF::Options']]],
-  ['cxtlockset_11204',['cxtLockSet',['../classSVF_1_1LockResultValidator.html#a51e6f48be9f2a65b390e4e0350eb12a9',1,'SVF::LockResultValidator::cxtLockSet()'],['../classSVF_1_1LockAnalysis.html#a3081e7c7165908ed4aa282f398c5236d',1,'SVF::LockAnalysis::cxtLockset()']]],
-  ['cxtlocktospan_11205',['cxtLocktoSpan',['../classSVF_1_1LockAnalysis.html#a2fd796765f16cc7094f36d68c0ff70a0',1,'SVF::LockAnalysis']]],
-  ['cxtstmtlist_11206',['cxtStmtList',['../classSVF_1_1LockAnalysis.html#a109293f282e9b920b0b13c58026f6f1d',1,'SVF::LockAnalysis::cxtStmtList()'],['../classSVF_1_1MHP.html#a0300d46dd22ee7cc8c62fada694d3acb',1,'SVF::MHP::cxtStmtList()'],['../classSVF_1_1ForkJoinAnalysis.html#acccf53d174cac3275da0d79c89a73916',1,'SVF::ForkJoinAnalysis::cxtStmtList()']]],
-  ['cxtstmttoaliveflagmap_11207',['cxtStmtToAliveFlagMap',['../classSVF_1_1ForkJoinAnalysis.html#aa31b3f3d51b963ccd475e66b77143dba',1,'SVF::ForkJoinAnalysis']]],
-  ['cxtstmttocxtlockset_11208',['cxtStmtToCxtLockSet',['../classSVF_1_1LockResultValidator.html#ad8a03181445edeb835fed08c88f6e0bb',1,'SVF::LockResultValidator::cxtStmtToCxtLockSet()'],['../classSVF_1_1LockAnalysis.html#ae256a84fd63947a6f81bee030bdbe7fc',1,'SVF::LockAnalysis::cxtStmtToCxtLockSet()']]],
-  ['cyclicfldidx_11209',['CyclicFldIdx',['../classSVF_1_1Options.html#a3914c0785473a773c7cb3da01229f2ee',1,'SVF::Options']]]
+  ['cachedptschainmap_11064',['cachedPtsChainMap',['../classSVF_1_1MRGenerator.html#a0e46c7beb580ace3a652ac9e1c419b48',1,'SVF::MRGenerator']]],
+  ['call_11065',['call',['../classSVF_1_1CallPE.html#ace0704c65aa3637c50ff880f68808bba',1,'SVF::CallPE::call()'],['../classSVF_1_1RetPE.html#aa2d42edfce9d5a8c025c0bb529aee0f2',1,'SVF::RetPE::call()']]],
+  ['callblocknode_11066',['callBlockNode',['../classSVF_1_1RetICFGNode.html#a42f4b87f590b3a393059bcca5736c596',1,'SVF::RetICFGNode']]],
+  ['calledgelabelcounter_11067',['callEdgeLabelCounter',['../classSVF_1_1SVFStmt.html#a24227d7f1dd472f47bf94cb5db8505c4',1,'SVF::SVFStmt']]],
+  ['calledval_11068',['calledVal',['../classSVF_1_1SVFCallInst.html#a23ee9dbaa0052ef41ce2d75f1dc36491',1,'SVF::SVFCallInst']]],
+  ['callgraph_11069',['callgraph',['../classSVF_1_1VFG.html#a0c8cf98b652b5eb97d22e2636576f92f',1,'SVF::VFG::callgraph()'],['../classSVF_1_1PCG.html#ae9026f717c442198ffa90ff66f482c92',1,'SVF::PCG::callgraph()'],['../classSVF_1_1CallGraphBuilder.html#a77ccca4e81eb1199c89d75e1b2d21af6',1,'SVF::CallGraphBuilder::callgraph()'],['../classSVF_1_1MRGenerator.html#a05005a166c39b1adea492655d77db519',1,'SVF::MRGenerator::callGraph()']]],
+  ['callgraphdotgraph_11070',['CallGraphDotGraph',['../classSVF_1_1Options.html#a0a998c2e1d701b2052985691babc4567',1,'SVF::Options']]],
+  ['callgraphnodenum_11071',['callGraphNodeNum',['../classSVF_1_1PTACallGraph.html#af0e1a940677fb7f6c4aaef2f9c46c3e5',1,'SVF::PTACallGraph']]],
+  ['callgraphscc_11072',['callGraphSCC',['../classSVF_1_1PointerAnalysis.html#ae3b651799345d9d92b6d736dafb03f63',1,'SVF::PointerAnalysis::callGraphSCC()'],['../classSVF_1_1MRGenerator.html#aa3a12cf1f761d25b9213bc6e50d89ba5',1,'SVF::MRGenerator::callGraphSCC()']]],
+  ['callinst_11073',['callInst',['../classSVF_1_1InterMSSAPHISVFGNode.html#aac74080dd5078d31d6f43edc2caf3c08',1,'SVF::InterMSSAPHISVFGNode::callInst()'],['../classSVF_1_1InterPHIVFGNode.html#a6a8b370c8de218abf89cf00a72d3cd0c',1,'SVF::InterPHIVFGNode::callInst()']]],
+  ['callinsttocallgraphedgesmap_11074',['callinstToCallGraphEdgesMap',['../classSVF_1_1PTACallGraph.html#ab29003352d8152b9d0fd37919ac212c5',1,'SVF::PTACallGraph']]],
+  ['callinsttohareparforedgesmap_11075',['callinstToHareParForEdgesMap',['../classSVF_1_1ThreadCallGraph.html#a42a088dba9cda7a7718685f80f52c928',1,'SVF::ThreadCallGraph']]],
+  ['callinsttothreadforkedgesmap_11076',['callinstToThreadForkEdgesMap',['../classSVF_1_1ThreadCallGraph.html#a79ba3df9d85eed3c9a55e6797fdcb9b9',1,'SVF::ThreadCallGraph']]],
+  ['callinsttothreadjoinedgesmap_11077',['callinstToThreadJoinEdgesMap',['../classSVF_1_1ThreadCallGraph.html#af2009968716a3785322e664a712cbb60',1,'SVF::ThreadCallGraph']]],
+  ['callpes_11078',['callPEs',['../classSVF_1_1CallCFGEdge.html#a3f48f7f041c5e6d385757035c551d51c',1,'SVF::CallCFGEdge::callPEs()'],['../classSVF_1_1FormalParmVFGNode.html#a8d124f42c320d38ddd08ed4948d63517',1,'SVF::FormalParmVFGNode::callPEs()']]],
+  ['callsite_11079',['callsite',['../classSVF_1_1CallMU.html#aa90a06c9e44914a7a8e104aa80bf1374',1,'SVF::CallMU::callsite()'],['../classSVF_1_1CallCHI.html#a30f1f8f2b23df3bad70d8083397e28eb',1,'SVF::CallCHI::callsite()']]],
+  ['callsite2dummyvalpn_11080',['callsite2DummyValPN',['../classSVF_1_1CFLAlias.html#ae879c990852862e5ed4e4e7da76dda05',1,'SVF::CFLAlias::callsite2DummyValPN()'],['../classSVF_1_1Andersen.html#a2f88b6035ecb480f7d11afe6bc666541',1,'SVF::Andersen::callsite2DummyValPN()'],['../classSVF_1_1Steensgaard.html#a85f32b4efd335dde646dfdaf0c7eedd0',1,'SVF::Steensgaard::callsite2DummyValPN()']]],
+  ['callsiteargslistmap_11081',['callSiteArgsListMap',['../classSVF_1_1SVFIR.html#aa0920f5f967efdb89e23f12d31b112a2',1,'SVF::SVFIR']]],
+  ['callsiteretmap_11082',['callSiteRetMap',['../classSVF_1_1SVFIR.html#a11ab07f48c934f45c239393332aa60e1',1,'SVF::SVFIR']]],
+  ['callsiteset_11083',['callSiteSet',['../classSVF_1_1SVFIR.html#ac6c537688366e73bb0ae5db49c0b2450',1,'SVF::SVFIR']]],
+  ['callsitetoactualinmap_11084',['callSiteToActualINMap',['../classSVF_1_1SVFG.html#af9313ebec4a52fd887169b7c6373a7d4',1,'SVF::SVFG']]],
+  ['callsitetoactualoutmap_11085',['callSiteToActualOUTMap',['../classSVF_1_1SVFG.html#a39873b954b6e0eb0641f56ca4cd06ef9',1,'SVF::SVFG']]],
+  ['callsitetochisetmap_11086',['callsiteToChiSetMap',['../classSVF_1_1MemSSA.html#a1be5a6776c8785f26573b597881c8195',1,'SVF::MemSSA']]],
+  ['callsitetomodmrsmap_11087',['callsiteToModMRsMap',['../classSVF_1_1MRGenerator.html#adf8d477e5f622855799842134145ecc4',1,'SVF::MRGenerator']]],
+  ['callsitetomodpointstomap_11088',['callsiteToModPointsToMap',['../classSVF_1_1MRGenerator.html#ab8df193e84009e406c301731d17dc7b9',1,'SVF::MRGenerator']]],
+  ['callsitetomusetmap_11089',['callsiteToMuSetMap',['../classSVF_1_1MemSSA.html#aba54e534d18f68fbb97b26befd06ba1a',1,'SVF::MemSSA']]],
+  ['callsitetorefmrsmap_11090',['callsiteToRefMRsMap',['../classSVF_1_1MRGenerator.html#a7a7ed21181c2486b60170a479a5a534e',1,'SVF::MRGenerator']]],
+  ['callsitetorefpointstomap_11091',['callsiteToRefPointsToMap',['../classSVF_1_1MRGenerator.html#a34967cda51699f948a581b9f88fa3b10',1,'SVF::MRGenerator']]],
+  ['candidatefuncset_11092',['candidateFuncSet',['../classSVF_1_1TCT.html#a720a934088dddda2b134cabcc59ef43d',1,'SVF::TCT']]],
+  ['candidatemappings_11093',['candidateMappings',['../classSVF_1_1FlowSensitive.html#adba7ffe68ae7edce9b3aa896f978da6b',1,'SVF::FlowSensitive']]],
+  ['candidatepointers_11094',['candidatePointers',['../classSVF_1_1SVFIR.html#abd9f622b55839d6796ca2576f2323498',1,'SVF::SVFIR']]],
+  ['candidatequeries_11095',['candidateQueries',['../classSVF_1_1DDAClient.html#aa6fdff97be2e1a886237b515406d2e61',1,'SVF::DDAClient::candidateQueries()'],['../classSVF_1_1DDAVFSolver.html#ae0e78fafb7eec0fbc1a02d24547335e9',1,'SVF::DDAVFSolver::candidateQueries()']]],
+  ['candidates_11096',['candidates',['../classSVF_1_1WPAMinimumSolver.html#a3e26f894660fb22f7d2f342bb4338ff8',1,'SVF::WPAMinimumSolver']]],
+  ['canonicaltypemap_11097',['canonicalTypeMap',['../classSVF_1_1DCHGraph.html#a638572301c0faf8046a965e46f6105c7',1,'SVF::DCHGraph']]],
+  ['canonicaltypes_11098',['canonicalTypes',['../classSVF_1_1DCHGraph.html#af9d58fa796387a247018c56cce1a3fac',1,'SVF::DCHGraph']]],
+  ['case_5fsensitive_11099',['case_sensitive',['../cJSON_8h.html#a05334336676ca1cd88db19ede4a065de',1,'cJSON.h']]],
+  ['cb_11100',['CB',['../classSVF_1_1CallSite.html#a3de20fdb58def4ea6af2d635f0d2e730',1,'SVF::CallSite']]],
+  ['cbv_11101',['cbv',['../classSVF_1_1PointsTo.html#a79333c4ae5c002d9632fa589956b3605',1,'SVF::PointsTo::cbv()'],['../classSVF_1_1CoreBitVector_1_1CoreBitVectorIterator.html#a0cba79551b56ed83dc45ab63619dc590',1,'SVF::CoreBitVector::CoreBitVectorIterator::cbv()']]],
+  ['cbvit_11102',['cbvIt',['../classSVF_1_1PointsTo_1_1PointsToIterator.html#a4db2c62eb3ad789ab7aaf7506cd340b2',1,'SVF::PointsTo::PointsToIterator']]],
+  ['cfledgeset_11103',['cflEdgeSet',['../classSVF_1_1CFLGraph.html#afb41039ad53899fa64fedcef8b7aa7fe',1,'SVF::CFLGraph']]],
+  ['cflgraph_11104',['cflGraph',['../classSVF_1_1CFLGraphBuilder.html#af034366ce280120e5cd1a5685894e9ac',1,'SVF::CFLGraphBuilder::cflGraph()'],['../classSVF_1_1Options.html#a81dbd12b5141c4a2758d6f2d3321f1ac',1,'SVF::Options::CFLGraph()']]],
+  ['cflsvfg_11105',['CFLSVFG',['../classSVF_1_1Options.html#a7ef3e2cd417646e9d06e0da16ff6c516',1,'SVF::Options']]],
+  ['chaffmap_11106',['chaFFMap',['../classSVF_1_1DCHGraph.html#a607d83338feeb58af3638b988b7fa00b',1,'SVF::DCHGraph']]],
+  ['chamap_11107',['chaMap',['../classSVF_1_1DCHGraph.html#ad4d431ceff25218fcb5830be12739ac3',1,'SVF::DCHGraph']]],
+  ['chg_11108',['chg',['../classSVF_1_1CHGBuilder.html#ab3471cc9afba5976c7e5fbd07dfb22dc',1,'SVF::CHGBuilder']]],
+  ['chgraph_11109',['chgraph',['../classSVF_1_1PointerAnalysis.html#a0c0fce2539bb9ec6c824f6584a0f6b33',1,'SVF::PointerAnalysis::chgraph()'],['../classSVF_1_1SVFIR.html#a31c54c878be428cc92cf08970fef422b',1,'SVF::SVFIR::chgraph()']]],
+  ['chgraphreader_11110',['chGraphReader',['../classSVF_1_1SVFIRReader.html#a8362a86ac83f1fe41d7028d5a8e0c0b4',1,'SVF::SVFIRReader']]],
+  ['chgwriter_11111',['chgWriter',['../classSVF_1_1SVFIRWriter.html#aab50fec943a00c96155d395d514febe7',1,'SVF::SVFIRWriter']]],
+  ['child_11112',['child',['../structcJSON.html#a401b274c2da358dac5c23ab8b2c71f85',1,'cJSON::child()'],['../cJSON_8cpp.html#ad00efb41ca386db28bacc7aefe79535c',1,'child(): cJSON.cpp']]],
+  ['children_11113',['children',['../structSVF_1_1POCRHybridSolver_1_1TreeNode.html#a960c186f2dc559c371334876a272e795',1,'SVF::POCRHybridSolver::TreeNode']]],
+  ['cilocktospan_11114',['ciLocktoSpan',['../classSVF_1_1LockAnalysis.html#afc4212873c3e05ac9506aac0a25f515a',1,'SVF::LockAnalysis']]],
+  ['ckapi_11115',['ckAPI',['../classSVF_1_1SaberCheckerAPI.html#a3e54cae9b4259da2332c7fc87d3df347',1,'SVF::SaberCheckerAPI']]],
+  ['classname_11116',['className',['../classSVF_1_1CHNode.html#ac7c18617b768a2988cf4eff7e849f397',1,'SVF::CHNode::className()'],['../structSVF_1_1cppUtil_1_1DemangledName.html#a5cd207bce618521166e6fa235014b297',1,'SVF::cppUtil::DemangledName::className()']]],
+  ['classnametoancestorsmap_11117',['classNameToAncestorsMap',['../classSVF_1_1CHGraph.html#a083f726d74208c2d8107a75e0d6b3ca9',1,'SVF::CHGraph']]],
+  ['classnametodescendantsmap_11118',['classNameToDescendantsMap',['../classSVF_1_1CHGraph.html#ac08f846413b6aed26a1bf39eb865b006',1,'SVF::CHGraph']]],
+  ['classnametoinstanddescsmap_11119',['classNameToInstAndDescsMap',['../classSVF_1_1CHGraph.html#aaec4bdde66e4a7a63ea3f3c6ec0bd045',1,'SVF::CHGraph']]],
+  ['classnametonodemap_11120',['classNameToNodeMap',['../classSVF_1_1CHGraph.html#ae613ad20686db0f2159a00cb00ae0a9e',1,'SVF::CHGraph']]],
+  ['classnum_11121',['classNum',['../classSVF_1_1CHGraph.html#adb99b732d20cfc8cc0f078cda6753bc0',1,'SVF::CHGraph']]],
+  ['clocktype_11122',['ClockType',['../classSVF_1_1Options.html#a28af43961cb29a7dea50be2ab332cc75',1,'SVF::Options']]],
+  ['clplist_11123',['clpList',['../classSVF_1_1LockAnalysis.html#afff2c5699e08badf5265e8183b18a02e',1,'SVF::LockAnalysis']]],
+  ['clsname_11124',['clsName',['../LLVMUtil_8cpp.html#a5f8da60b0fcc28445f508f4e42513a82',1,'LLVMUtil.cpp']]],
+  ['clusterander_11125',['ClusterAnder',['../classSVF_1_1Options.html#a46743284466ff803f52a82b094186d16',1,'SVF::Options']]],
+  ['clusterfs_11126',['ClusterFs',['../classSVF_1_1Options.html#a853caba808dc7d17cba4ad4214b56b6f',1,'SVF::Options']]],
+  ['clustermethod_11127',['ClusterMethod',['../classSVF_1_1Options.html#ac17ce6d75293dcd0baf366cbeb0cb6d6',1,'SVF::Options']]],
+  ['collapsetime_11128',['CollapseTime',['../classSVF_1_1AndersenStat.html#a3f5739454b1f4e03b4388a4ba5730e15',1,'SVF::AndersenStat']]],
+  ['collectextretglobals_11129',['CollectExtRetGlobals',['../classSVF_1_1Options.html#a9be31261a2f96c5733bd35a5da07eb76',1,'SVF::Options']]],
+  ['complementcache_11130',['complementCache',['../classSVF_1_1PersistentPointsToCache.html#adef498f8a0d4c75023382e6312a85a58',1,'SVF::PersistentPointsToCache']]],
+  ['concretecxt_11131',['concreteCxt',['../classSVF_1_1ContextCond.html#a453722fc2b9b4ae4be0dfc1f020390eb',1,'SVF::ContextCond']]],
+  ['cond_11132',['cond',['../classSVF_1_1MSSAMU.html#a8e828af79da08528166b1f53165bc5b2',1,'SVF::MSSAMU::cond()'],['../classSVF_1_1MSSACHI.html#addeee3fb0c5e6b1c68c30da111c26759',1,'SVF::MSSACHI::cond()'],['../classSVF_1_1MSSAPHI.html#a348e69bf48ee7a959cd0bb117ba1dc9f',1,'SVF::MSSAPHI::cond()'],['../classSVF_1_1BranchStmt.html#adcf5cabe6e0a87cded5ef1fdf7273f3f',1,'SVF::BranchStmt::cond()']]],
+  ['condition_11133',['condition',['../classSVF_1_1SelectStmt.html#a2d6e9d7131bc69a0e88b703c2c03d7e2',1,'SVF::SelectStmt']]],
+  ['conditionvar_11134',['conditionVar',['../classSVF_1_1IntraCFGEdge.html#a4c6975e82794958aecb2013c0941777d',1,'SVF::IntraCFGEdge']]],
+  ['conditionvec_11135',['conditionVec',['../classSVF_1_1SaberCondAllocator.html#afd6cf17070e3629ced1ac36b8e2b0bbb',1,'SVF::SaberCondAllocator']]],
+  ['connectdirsvfgedgetimeend_11136',['connectDirSVFGEdgeTimeEnd',['../classSVF_1_1SVFGStat.html#ac243fababbb9d2f3efbea5411f947c21',1,'SVF::SVFGStat']]],
+  ['connectdirsvfgedgetimestart_11137',['connectDirSVFGEdgeTimeStart',['../classSVF_1_1SVFGStat.html#a0a967faad014cdd53f5dddfdc59edbc3',1,'SVF::SVFGStat']]],
+  ['connectindsvfgedgetimeend_11138',['connectIndSVFGEdgeTimeEnd',['../classSVF_1_1SVFGStat.html#a3210cc1283669129234aa2c3feb67654',1,'SVF::SVFGStat']]],
+  ['connectindsvfgedgetimestart_11139',['connectIndSVFGEdgeTimeStart',['../classSVF_1_1SVFGStat.html#a2a697caecf23413187aef90a8097e0b0',1,'SVF::SVFGStat']]],
+  ['connectvcalloncha_11140',['ConnectVCallOnCHA',['../classSVF_1_1Options.html#abf71061d93d4a3b32246f19dc71e5127',1,'SVF::Options']]],
+  ['conscg_11141',['consCG',['../classSVF_1_1AndersenBase.html#ae21e38a06a4397d11cdd17b0f8f282fd',1,'SVF::AndersenBase']]],
+  ['conscgdotgraph_11142',['ConsCGDotGraph',['../classSVF_1_1Options.html#ad80f77349205dac9e74aa41ea1ecbf95',1,'SVF::Options']]],
+  ['constantobjectid_11143',['constantObjectId',['../classSVF_1_1NodeIDAllocator.html#a6a300a5b455fe4b8bace2f1d66fb5f9d',1,'SVF::NodeIDAllocator']]],
+  ['constantset_11144',['ConstantSet',['../classSVF_1_1SVFModule.html#a6ce288ee551c8a33cb353ee2374762c7',1,'SVF::SVFModule']]],
+  ['constdataoraggdata_11145',['constDataOrAggData',['../classSVF_1_1SVFValue.html#afc657036de9342fae6223077c10fcb01',1,'SVF::SVFValue']]],
+  ['consume_11146',['consume',['../classSVF_1_1VersionedFlowSensitive.html#a2e4e6a84cbfd553ad9cca8fdf9fd4a8d',1,'SVF::VersionedFlowSensitive']]],
+  ['containingaggs_11147',['containingAggs',['../classSVF_1_1DCHGraph.html#aac5595a230db0e8a81a6d6b67a4fdf58',1,'SVF::DCHGraph']]],
+  ['content_11148',['content',['../structparse__buffer.html#a52ee1184576baa3d5171059ab0e942de',1,'parse_buffer::content()'],['../cJSON_8cpp.html#a7886d4c98c027896a652ad0ada741709',1,'content(): cJSON.cpp']]],
+  ['context_11149',['context',['../classSVF_1_1ContextCond.html#ac431eae00244cc7792b6e7e00634d535',1,'SVF::ContextCond::context()'],['../classSVF_1_1CxtStmtDPItem.html#a96f1d7c309e3b69af66200e2cfb5a466',1,'SVF::CxtStmtDPItem::context()'],['../classSVF_1_1CxtDPItem.html#ab89e9f588054ad8a99d9af8e756c951b',1,'SVF::CxtDPItem::context()']]],
+  ['contextdda_11150',['contextDDA',['../classSVF_1_1DDAStat.html#ac3fb8b15c5308c926209a941c7cf62e1',1,'SVF::DDAStat']]],
+  ['contextinsensitive_11151',['ContextInsensitive',['../classSVF_1_1Options.html#ae60822a71ee1cd389413d98dfb35e302',1,'SVF::Options']]],
+  ['controldg_11152',['controlDg',['../classSVF_1_1CDG.html#a70b59b33f4266b22cc58fa832ded900a',1,'SVF::CDG']]],
+  ['copy_11153',['copy',['../cJSON_8cpp.html#a7669ee67a0563250c1efaa24d130e1ac',1,'cJSON.cpp']]],
+  ['copyinedges_11154',['copyInEdges',['../classSVF_1_1ConstraintNode.html#a4d413d64bf554ecdc72709afeeb85775',1,'SVF::ConstraintNode']]],
+  ['copyoutedges_11155',['copyOutEdges',['../classSVF_1_1ConstraintNode.html#a12df688fd9b5b7617daadc7bee0fff40',1,'SVF::ConstraintNode']]],
+  ['copytime_11156',['copyTime',['../classSVF_1_1FlowSensitive.html#a888d6334e5e226c634680e4c0674dcfb',1,'SVF::FlowSensitive']]],
+  ['count_11157',['count',['../cJSON_8h.html#ad43c3812e6d13e0518d9f8b8f463ffcf',1,'count(): cJSON.h'],['../cJSON_8cpp.html#ad43c3812e6d13e0518d9f8b8f463ffcf',1,'count(): cJSON.cpp']]],
+  ['coverage_11158',['coverage',['../classSVF_1_1SVFBugReport.html#abdb02bf4b61c6cbccd4b9c3c01590ddc',1,'SVF::SVFBugReport']]],
+  ['cpts_11159',['cpts',['../classSVF_1_1IndirectSVFGEdge.html#a2d54c1c3567ef6676ba15f88c622e5b7',1,'SVF::IndirectSVFGEdge::cpts()'],['../classSVF_1_1MRSVFGNode.html#a640153ff592bf0058882a0d05a76b1ba',1,'SVF::MRSVFGNode::cpts()']]],
+  ['cptsset_11160',['cptsSet',['../classSVF_1_1MemRegion.html#a77a18bcce56cf48d1c338e852a2be9bc',1,'SVF::MemRegion']]],
+  ['cptstorepcptsmap_11161',['cptsToRepCPtsMap',['../classSVF_1_1MRGenerator.html#ab4d1ff0357d389a65ff1c2112ce631a1',1,'SVF::MRGenerator']]],
+  ['cs_11162',['cs',['../classSVF_1_1CallCFGEdge.html#a3f576a9648945907859dd5922f55bcb3',1,'SVF::CallCFGEdge::cs()'],['../classSVF_1_1RetCFGEdge.html#a7f247e68024c946be46b484a16c59770',1,'SVF::RetCFGEdge::cs()'],['../classSVF_1_1CallICFGNode.html#a4acec3f922d6610cb81bcdb68dac0af9',1,'SVF::CallICFGNode::cs()'],['../classSVF_1_1RetICFGNode.html#a718935df4d5b653bcf662243b67d7857',1,'SVF::RetICFGNode::cs()'],['../classSVF_1_1ActualINSVFGNode.html#a7260c36cd5a063e3c1de2b2ca7bd0802',1,'SVF::ActualINSVFGNode::cs()'],['../classSVF_1_1ActualOUTSVFGNode.html#a075773fa5b13cc067d24fbbb35c1d042',1,'SVF::ActualOUTSVFGNode::cs()'],['../classSVF_1_1ActualParmVFGNode.html#a652f865955c1f345c656c9178376228a',1,'SVF::ActualParmVFGNode::cs()'],['../classSVF_1_1ActualRetVFGNode.html#af1217e120a09ae262205278c69d8c643',1,'SVF::ActualRetVFGNode::cs()']]],
+  ['csc_11163',['csc',['../classSVF_1_1AndersenSFR.html#aa39c668b1473ac4fb99da3aa736c9edb',1,'SVF::AndersenSFR']]],
+  ['cschamap_11164',['csCHAMap',['../classSVF_1_1DCHGraph.html#ad79a569e77f94fa8494eed3f18e07e90',1,'SVF::DCHGraph']]],
+  ['csid_11165',['csId',['../classSVF_1_1PTACallGraphEdge.html#a7488c5125d55e56ec427ef0d8ee88999',1,'SVF::PTACallGraphEdge::csId()'],['../classSVF_1_1CallIndSVFGEdge.html#adb7796f5c1094379ed295e92bf4a79b9',1,'SVF::CallIndSVFGEdge::csId()'],['../classSVF_1_1RetIndSVFGEdge.html#a49e231a4606fda4429d0bae5656fa3e1',1,'SVF::RetIndSVFGEdge::csId()'],['../classSVF_1_1CallDirSVFGEdge.html#a2cbaf86c3e65eb9d02d3843706fc178b',1,'SVF::CallDirSVFGEdge::csId()'],['../classSVF_1_1RetDirSVFGEdge.html#a10929c8f605a05c1a471f77936d31902',1,'SVF::RetDirSVFGEdge::csId()']]],
+  ['csnumtoinstmap_11166',['csnumToInstMap',['../classSVF_1_1MTAResultValidator.html#ae2717c467dc7c49fab0ec93bfa4baaab',1,'SVF::MTAResultValidator']]],
+  ['cstocallnodemap_11167',['CSToCallNodeMap',['../classSVF_1_1ICFG.html#af0434d6ffd247eeaf73b9294e659a3f9',1,'SVF::ICFG']]],
+  ['cstocallsiteargsptsmap_11168',['csToCallSiteArgsPtsMap',['../classSVF_1_1MRGenerator.html#afe91b57b451d7788364493549e015acf',1,'SVF::MRGenerator']]],
+  ['cstocallsiteretptsmap_11169',['csToCallSiteRetPtsMap',['../classSVF_1_1MRGenerator.html#a21550f978f42ac3cbb32cbc426ff5cb1',1,'SVF::MRGenerator']]],
+  ['cstochavfnsmap_11170',['csToCHAVFnsMap',['../classSVF_1_1CHGraph.html#a5e6502c5baad99c70e1cf56c84ce9474',1,'SVF::CHGraph']]],
+  ['cstochavtblsmap_11171',['csToCHAVtblsMap',['../classSVF_1_1CHGraph.html#af3ed2bee5d76e5a848b250950c3be333',1,'SVF::CHGraph']]],
+  ['cstoclassesmap_11172',['csToClassesMap',['../classSVF_1_1CHGraph.html#a7ef9982d89a4932883bd58bc49ad9986',1,'SVF::CHGraph']]],
+  ['cstoidmap_11173',['csToIdMap',['../classSVF_1_1PTACallGraph.html#a75ffe4f24d59ad42601b7550aa988187',1,'SVF::PTACallGraph']]],
+  ['cstomodsmap_11174',['csToModsMap',['../classSVF_1_1MRGenerator.html#a603f993995e7d6961e203a195bb56029',1,'SVF::MRGenerator']]],
+  ['cstorefsmap_11175',['csToRefsMap',['../classSVF_1_1MRGenerator.html#ac7b5ca3fd950e1a940f875ac135640f6',1,'SVF::MRGenerator']]],
+  ['cstoretnodemap_11176',['CSToRetNodeMap',['../classSVF_1_1ICFG.html#a0e43308038663c10667177238b23ab3e',1,'SVF::ICFG']]],
+  ['ctplist_11177',['ctpList',['../classSVF_1_1TCT.html#a80dad1dfdf64cb7a5805eb8bedf79226',1,'SVF::TCT']]],
+  ['ctptonodemap_11178',['ctpToNodeMap',['../classSVF_1_1TCT.html#a0ccb6e9ffff0f22a0a054a92222893d5',1,'SVF::TCT']]],
+  ['cttoforkcxtmap_11179',['ctToForkCxtMap',['../classSVF_1_1TCT.html#aea88fdb40c28724546f5903d3a73999a',1,'SVF::TCT']]],
+  ['cttoroutinefunmap_11180',['ctToRoutineFunMap',['../classSVF_1_1TCT.html#a36c7884869d923c1a9363962c9e013bd',1,'SVF::TCT']]],
+  ['ctx_11181',['ctx',['../classSVF_1_1TCTNode.html#a8f2ef1020b45aada8b79ac3b8d27c2a6',1,'SVF::TCTNode::ctx()'],['../classSVF_1_1Z3Expr.html#af02935097a8db09812781ac8c42d93e5',1,'SVF::Z3Expr::ctx()']]],
+  ['cur_11182',['cur',['../classSVF_1_1DPItem.html#a82d2a11fb456192ec88fcb5ffe239d80',1,'SVF::DPItem']]],
+  ['curbb_11183',['curBB',['../classSVF_1_1SVFIRBuilder.html#a8219f7e2581cc9974b42cf95d8318b15',1,'SVF::SVFIRBuilder']]],
+  ['curevalsvfgnode_11184',['curEvalSVFGNode',['../classSVF_1_1SaberCondAllocator.html#a4ac9b5ec6bfd7a7b468cb13a5e8803e0',1,'SVF::SaberCondAllocator']]],
+  ['curloc_11185',['curloc',['../classSVF_1_1StmtDPItem.html#a9e20ebd5ae8272a4aef74914098f97ef',1,'SVF::StmtDPItem']]],
+  ['curptr_11186',['curPtr',['../classSVF_1_1DDAClient.html#a6a133cf24ef65eaf58c82ec213f3f6cb',1,'SVF::DDAClient']]],
+  ['currelementiter_11187',['CurrElementIter',['../classSVF_1_1SparseBitVector.html#ada7cb2e144c2fccd0d50138778b152dd',1,'SVF::SparseBitVector']]],
+  ['current_11188',['current',['../classSVF_1_1CFLGraphBuilder.html#aad408d6ecb776fd763c9b9221a1bed18',1,'SVF::CFLGraphBuilder']]],
+  ['currentbestnodemapping_11189',['currentBestNodeMapping',['../classSVF_1_1PointsTo.html#a98781dd444ada40af7eef9aefe76123d',1,'SVF::PointsTo']]],
+  ['currentbestreversenodemapping_11190',['currentBestReverseNodeMapping',['../classSVF_1_1PointsTo.html#a53e1230c87912d26604990eb8b0cbc0c',1,'SVF::PointsTo']]],
+  ['cursccid_11191',['curSCCID',['../classSVF_1_1WPASCCSolver.html#a28973d7e1301c36254b67c695e8431aa',1,'SVF::WPASCCSolver']]],
+  ['curty_11192',['CurTy',['../classllvm_1_1generic__bridge__gep__type__iterator.html#af4eefb034e50627c6d4ef5bfcdcb4f57',1,'llvm::generic_bridge_gep_type_iterator']]],
+  ['curval_11193',['curVal',['../classSVF_1_1SVFIRBuilder.html#aefc70f2a0a2103259ae36d026cbb18be',1,'SVF::SVFIRBuilder']]],
+  ['customized_11194',['Customized',['../classSVF_1_1Options.html#a15a9c1086e1bbd6a76d56ad1bdd6b994',1,'SVF::Options']]],
+  ['cxt_11195',['cxt',['../classSVF_1_1CxtStmt.html#ae451ee5a61dbdd2367a04cee304bbcb1',1,'SVF::CxtStmt::cxt()'],['../classSVF_1_1CxtThread.html#ae8e5c401e008739bf018f1d618c08ea5',1,'SVF::CxtThread::cxt()'],['../classSVF_1_1CxtProc.html#af5f186c71d815dabcbfab6bae7c57b59',1,'SVF::CxtProc::cxt()']]],
+  ['cxt_5fthread_11196',['CXT_THREAD',['../classSVF_1_1MTAResultValidator.html#a909e66d94d4f3ce6e0c1e0fe5b50483a',1,'SVF::MTAResultValidator']]],
+  ['cxtbudget_11197',['CxtBudget',['../classSVF_1_1Options.html#a3bbd106de519cb8d00f33e82f14d279b',1,'SVF::Options']]],
+  ['cxtjoininloop_11198',['cxtJoinInLoop',['../classSVF_1_1ForkJoinAnalysis.html#a63da48d338683ec95709a6bd95238707',1,'SVF::ForkJoinAnalysis']]],
+  ['cxtlimit_11199',['CxtLimit',['../classSVF_1_1Options.html#a3fd9cce83729bc62cd2fb568b0d53db5',1,'SVF::Options']]],
+  ['cxtlockset_11200',['cxtLockSet',['../classSVF_1_1LockResultValidator.html#a51e6f48be9f2a65b390e4e0350eb12a9',1,'SVF::LockResultValidator::cxtLockSet()'],['../classSVF_1_1LockAnalysis.html#a3081e7c7165908ed4aa282f398c5236d',1,'SVF::LockAnalysis::cxtLockset()']]],
+  ['cxtlocktospan_11201',['cxtLocktoSpan',['../classSVF_1_1LockAnalysis.html#a2fd796765f16cc7094f36d68c0ff70a0',1,'SVF::LockAnalysis']]],
+  ['cxtstmtlist_11202',['cxtStmtList',['../classSVF_1_1LockAnalysis.html#a109293f282e9b920b0b13c58026f6f1d',1,'SVF::LockAnalysis::cxtStmtList()'],['../classSVF_1_1MHP.html#a0300d46dd22ee7cc8c62fada694d3acb',1,'SVF::MHP::cxtStmtList()'],['../classSVF_1_1ForkJoinAnalysis.html#acccf53d174cac3275da0d79c89a73916',1,'SVF::ForkJoinAnalysis::cxtStmtList()']]],
+  ['cxtstmttoaliveflagmap_11203',['cxtStmtToAliveFlagMap',['../classSVF_1_1ForkJoinAnalysis.html#aa31b3f3d51b963ccd475e66b77143dba',1,'SVF::ForkJoinAnalysis']]],
+  ['cxtstmttocxtlockset_11204',['cxtStmtToCxtLockSet',['../classSVF_1_1LockResultValidator.html#ad8a03181445edeb835fed08c88f6e0bb',1,'SVF::LockResultValidator::cxtStmtToCxtLockSet()'],['../classSVF_1_1LockAnalysis.html#ae256a84fd63947a6f81bee030bdbe7fc',1,'SVF::LockAnalysis::cxtStmtToCxtLockSet()']]],
+  ['cyclicfldidx_11205',['CyclicFldIdx',['../classSVF_1_1Options.html#a3914c0785473a773c7cb3da01229f2ee',1,'SVF::Options']]]
 ];

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

@@ -1,58 +1,58 @@
 var searchData=
 [
-  ['daa_11210',['DAA',['../dda_8cpp.html#aa87e1cd4be4709a21393ed9e1a0da6bb',1,'dda.cpp']]],
-  ['data_11211',['data',['../classSVF_1_1List_1_1ListNode.html#a4a9cb4ae17156d6d80d2357e06231e12',1,'SVF::List::ListNode']]],
-  ['data_5flist_11212',['data_list',['../classSVF_1_1CFLFIFOWorkList.html#a5a5caa556bf8023b4b0b525179efd1b0',1,'SVF::CFLFIFOWorkList::data_list()'],['../classSVF_1_1FIFOWorkList.html#a270dad3fd1d95418e4af102b64fcc883',1,'SVF::FIFOWorkList::data_list()'],['../classSVF_1_1FILOWorkList.html#aeda28a2200d763279027642c8cf6a4bf',1,'SVF::FILOWorkList::data_list()']]],
-  ['data_5fset_11213',['data_set',['../classSVF_1_1CFLFIFOWorkList.html#a62ef55a46552652e20f8e3bfc2b72bd0',1,'SVF::CFLFIFOWorkList::data_set()'],['../classSVF_1_1FIFOWorkList.html#a5e9648954a2f6902dc4106cc17a7d1e6',1,'SVF::FIFOWorkList::data_set()'],['../classSVF_1_1FILOWorkList.html#a46092b75425becfe97fdf047206c736b',1,'SVF::FILOWorkList::data_set()']]],
-  ['ddaselected_11214',['DDASelected',['../classSVF_1_1Options.html#afa6c98d477db41a457ac83cfbfd4a580',1,'SVF::Options']]],
-  ['ddastat_11215',['ddaStat',['../classSVF_1_1DDAVFSolver.html#ae40c7bad663e0fa07dee4be3d1794ff2',1,'SVF::DDAVFSolver']]],
-  ['def_11216',['def',['../classSVF_1_1MRVer.html#a3398bb8d3189413c275b62d5cb7a5fc4',1,'SVF::MRVer']]],
-  ['defnodes_11217',['defNodes',['../classSVF_1_1SVFGOPT.html#abd524dca72261bbcc7ebb1103b693a2b',1,'SVF::SVFGOPT']]],
-  ['deltamap_11218',['deltaMap',['../classSVF_1_1VersionedFlowSensitive.html#a11ddfa1faebf56e74e6dcc53e16142e1',1,'SVF::VersionedFlowSensitive']]],
-  ['deltasourcemap_11219',['deltaSourceMap',['../classSVF_1_1VersionedFlowSensitive.html#aee97e196225aaad29c0bd31d3ccbabf6',1,'SVF::VersionedFlowSensitive']]],
-  ['dendrogramtraversaltime_11220',['DendrogramTraversalTime',['../classSVF_1_1NodeIDAllocator_1_1Clusterer.html#a67ab9cffacc1584b2e7bae5d1b08c541',1,'SVF::NodeIDAllocator::Clusterer']]],
-  ['depth_11221',['depth',['../structparse__buffer.html#af613c4ed7d73f76c60c50d1bcf4c67a0',1,'parse_buffer::depth()'],['../structprintbuffer.html#aa7311b5da38ff8d1737824c611b48732',1,'printbuffer::depth()']]],
-  ['derefmdname_11222',['derefMDName',['../namespaceSVF_1_1cppUtil_1_1ctir.html#a0cd5347bc8043d4306e66a4a96005ace',1,'SVF::cppUtil::ctir']]],
-  ['description_11223',['description',['../classOptionBase.html#a8fbb1cde9e12a099617c8e8298424b5b',1,'OptionBase']]],
-  ['detectpwc_11224',['DetectPWC',['../classSVF_1_1Options.html#a3fc22d0a45be551110d1e326380f3202',1,'SVF::Options']]],
-  ['dfbbsmap_11225',['dfBBsMap',['../classSVF_1_1SVFLoopAndDomInfo.html#ae191915ae746e30c8370ebf8fe733723',1,'SVF::SVFLoopAndDomInfo']]],
-  ['dfinptsmap_11226',['dfInPtsMap',['../classSVF_1_1MutableDFPTData.html#abb59ef7367e353e65b82b54dac509f36',1,'SVF::MutableDFPTData::dfInPtsMap()'],['../classSVF_1_1PersistentDFPTData.html#a6b892b707524127928e269f0f0bbe868',1,'SVF::PersistentDFPTData::dfInPtsMap()']]],
-  ['dfoutptsmap_11227',['dfOutPtsMap',['../classSVF_1_1MutableDFPTData.html#ad3c53ef1c8e221299f3afe078946fbe0',1,'SVF::MutableDFPTData::dfOutPtsMap()'],['../classSVF_1_1PersistentDFPTData.html#ad77d7ccad393c995813f8c433c249dfc',1,'SVF::PersistentDFPTData::dfOutPtsMap()']]],
-  ['dfreechecker_11228',['DFREECHECKER',['../saber_8cpp.html#ab233df6b8c190aa2c26fa20bd1ac7c52',1,'saber.cpp']]],
-  ['diff_11229',['diff',['../classSVF_1_1POCRSolver.html#a403ddbfcdf61cd01ad9dc778a7e02af0',1,'SVF::POCRSolver']]],
-  ['diffpts_11230',['DiffPts',['../classSVF_1_1Options.html#ae782f25eaee9ac363c733b6ac609fbce',1,'SVF::Options']]],
-  ['diffptsmap_11231',['diffPtsMap',['../classSVF_1_1MutableDiffPTData.html#a9ee7874e987e93eb4cb9d75ed08effd5',1,'SVF::MutableDiffPTData::diffPtsMap()'],['../classSVF_1_1PersistentDiffPTData.html#ac54339952e2734a6affdaa543fb3ed22',1,'SVF::PersistentDiffPTData::diffPtsMap()']]],
-  ['diffwave_11232',['diffWave',['../classSVF_1_1AndersenWaveDiff.html#add4dcb6d74a8ce8747bcac5f740cd672',1,'SVF::AndersenWaveDiff']]],
-  ['dirandindjoinmap_11233',['dirAndIndJoinMap',['../classSVF_1_1ForkJoinAnalysis.html#ab5678bd46e573070827cc413f0e0d5be',1,'SVF::ForkJoinAnalysis']]],
-  ['directcalls_11234',['directCalls',['../classSVF_1_1PTACallGraphEdge.html#a2f3e4b61225c4ca37b0f70e3edc61920',1,'SVF::PTACallGraphEdge']]],
-  ['directedgeset_11235',['directEdgeSet',['../classSVF_1_1ConstraintGraph.html#a1be3ebb84b3d334daf98f7e6f5b82256',1,'SVF::ConstraintGraph']]],
-  ['directinedges_11236',['directInEdges',['../classSVF_1_1ConstraintNode.html#a53626700d25b5c004e42354c925df83c',1,'SVF::ConstraintNode']]],
-  ['directjoinmap_11237',['directJoinMap',['../classSVF_1_1ForkJoinAnalysis.html#abf5b499f93a658636d09a62d14a47cad',1,'SVF::ForkJoinAnalysis']]],
-  ['directoutedges_11238',['directOutEdges',['../classSVF_1_1ConstraintNode.html#affb426040b05678fcbce62002a02bb06',1,'SVF::ConstraintNode']]],
-  ['directpropatime_11239',['directPropaTime',['../classSVF_1_1FlowSensitive.html#ae086de68233375be42185f0af706687a',1,'SVF::FlowSensitive']]],
-  ['disablewarn_11240',['DisableWarn',['../classSVF_1_1Options.html#a1721ff576ad641d862f29b038f31db28',1,'SVF::Options']]],
-  ['distancematrixtime_11241',['DistanceMatrixTime',['../classSVF_1_1NodeIDAllocator_1_1Clusterer.html#a09d2dbb2faab0a0e03bfa353534116a8',1,'SVF::NodeIDAllocator::Clusterer']]],
-  ['ditype_11242',['diType',['../classSVF_1_1DCHNode.html#a05b5b4539273ac5d21d8cbcfa712a439',1,'SVF::DCHNode']]],
-  ['ditypetonodemap_11243',['diTypeToNodeMap',['../classSVF_1_1DCHGraph.html#ae2aee47b803f9cde8950b7f1ad11273d',1,'SVF::DCHGraph']]],
-  ['dolockanalysis_11244',['DoLockAnalysis',['../classSVF_1_1Options.html#ae2c4fe298a27f50c749b75f0801f9666',1,'SVF::Options']]],
-  ['dpmtoadcptsetmap_11245',['dpmToADCPtSetMap',['../classSVF_1_1DDAVFSolver.html#a2565bf8dcacb22350dc1dc98ec7595f2',1,'SVF::DDAVFSolver']]],
-  ['dpmtoloaddpmmap_11246',['dpmToloadDpmMap',['../classSVF_1_1DDAVFSolver.html#a9d8959dfee05685cd74d0d7a78069692',1,'SVF::DDAVFSolver']]],
-  ['dpmtotlcptsetmap_11247',['dpmToTLCPtSetMap',['../classSVF_1_1DDAVFSolver.html#a2d6df8149b45d719e22fc505df94171a',1,'SVF::DDAVFSolver']]],
-  ['dr_5fcheck_11248',['DR_CHECK',['../classSVF_1_1Annotator.html#a64fa6f1cac79c47c66b16ac29d2ac3f4',1,'SVF::Annotator']]],
-  ['dr_5fnot_5fcheck_11249',['DR_NOT_CHECK',['../classSVF_1_1Annotator.html#af220da6fe6fc879d15cc34ab397c5ba1',1,'SVF::Annotator']]],
-  ['dst_11250',['dst',['../classSVF_1_1GenericEdge.html#aa41cb7482bdab1ba328f4b94f30f3ee4',1,'SVF::GenericEdge']]],
-  ['dtbbsmap_11251',['dtBBsMap',['../classSVF_1_1SVFLoopAndDomInfo.html#a34296b98ee8dd1bfc0b1ae7fe327cde3',1,'SVF::SVFLoopAndDomInfo']]],
-  ['dtraits_11252',['DTraits',['../classSVF_1_1GraphWriter.html#a36f1ca2744fae2f45400e82f39e4fcd8',1,'SVF::GraphWriter']]],
-  ['dumpcha_11253',['DumpCHA',['../classSVF_1_1Options.html#afcef86c88bb86198a3579aef82b5e270',1,'SVF::Options']]],
-  ['dumpfree_11254',['DumpFree',['../classSVF_1_1Options.html#a03cd671379712e6b3fa8ac4ec9b4d1d4',1,'SVF::Options']]],
-  ['dumpicfg_11255',['DumpICFG',['../classSVF_1_1Options.html#ae7ccfb3d1308e205e5014849dcc43d9a',1,'SVF::Options']]],
-  ['dumpjson_11256',['DumpJson',['../classSVF_1_1Options.html#a3f5235cbdaab1bf53b9144d335c9c3d4',1,'SVF::Options']]],
-  ['dumpmssa_11257',['DumpMSSA',['../classSVF_1_1Options.html#a0bb4bfd677e2e45cc8c24bfc190edfaa',1,'SVF::Options']]],
-  ['dumpslice_11258',['DumpSlice',['../classSVF_1_1Options.html#ab9443e23bdcb60f118a7aab835f974db',1,'SVF::Options']]],
-  ['dumpsupts_11259',['DumpSUPts',['../classSVF_1_1Options.html#a6d45d7ba6852a986b53b31f60f967b01',1,'SVF::Options']]],
-  ['dumpsustore_11260',['DumpSUStore',['../classSVF_1_1Options.html#ab64401bdde8b0c846a78f21423e5cfb6',1,'SVF::Options']]],
-  ['dumpuninitptr_11261',['DumpUninitPtr',['../classSVF_1_1Options.html#a296e4a2187d14828cb0baf859f48d716',1,'SVF::Options']]],
-  ['dumpuninitvar_11262',['DumpUninitVar',['../classSVF_1_1Options.html#ab8075fe929f99b640d5c0a0530297025',1,'SVF::Options']]],
-  ['dumpvfg_11263',['DumpVFG',['../classSVF_1_1Options.html#ae3ad3003a8d3df2f1e3463248bb5ad51',1,'SVF::Options']]],
-  ['dval_11264',['dval',['../classSVF_1_1SVFConstantFP.html#aa1d551ad74dd5ce3eb4b7d639aec31a9',1,'SVF::SVFConstantFP']]]
+  ['daa_11206',['DAA',['../dda_8cpp.html#aa87e1cd4be4709a21393ed9e1a0da6bb',1,'dda.cpp']]],
+  ['data_11207',['data',['../classSVF_1_1List_1_1ListNode.html#a4a9cb4ae17156d6d80d2357e06231e12',1,'SVF::List::ListNode']]],
+  ['data_5flist_11208',['data_list',['../classSVF_1_1CFLFIFOWorkList.html#a5a5caa556bf8023b4b0b525179efd1b0',1,'SVF::CFLFIFOWorkList::data_list()'],['../classSVF_1_1FIFOWorkList.html#a270dad3fd1d95418e4af102b64fcc883',1,'SVF::FIFOWorkList::data_list()'],['../classSVF_1_1FILOWorkList.html#aeda28a2200d763279027642c8cf6a4bf',1,'SVF::FILOWorkList::data_list()']]],
+  ['data_5fset_11209',['data_set',['../classSVF_1_1CFLFIFOWorkList.html#a62ef55a46552652e20f8e3bfc2b72bd0',1,'SVF::CFLFIFOWorkList::data_set()'],['../classSVF_1_1FIFOWorkList.html#a5e9648954a2f6902dc4106cc17a7d1e6',1,'SVF::FIFOWorkList::data_set()'],['../classSVF_1_1FILOWorkList.html#a46092b75425becfe97fdf047206c736b',1,'SVF::FILOWorkList::data_set()']]],
+  ['ddaselected_11210',['DDASelected',['../classSVF_1_1Options.html#afa6c98d477db41a457ac83cfbfd4a580',1,'SVF::Options']]],
+  ['ddastat_11211',['ddaStat',['../classSVF_1_1DDAVFSolver.html#ae40c7bad663e0fa07dee4be3d1794ff2',1,'SVF::DDAVFSolver']]],
+  ['def_11212',['def',['../classSVF_1_1MRVer.html#a3398bb8d3189413c275b62d5cb7a5fc4',1,'SVF::MRVer']]],
+  ['defnodes_11213',['defNodes',['../classSVF_1_1SVFGOPT.html#abd524dca72261bbcc7ebb1103b693a2b',1,'SVF::SVFGOPT']]],
+  ['deltamap_11214',['deltaMap',['../classSVF_1_1VersionedFlowSensitive.html#a11ddfa1faebf56e74e6dcc53e16142e1',1,'SVF::VersionedFlowSensitive']]],
+  ['deltasourcemap_11215',['deltaSourceMap',['../classSVF_1_1VersionedFlowSensitive.html#aee97e196225aaad29c0bd31d3ccbabf6',1,'SVF::VersionedFlowSensitive']]],
+  ['dendrogramtraversaltime_11216',['DendrogramTraversalTime',['../classSVF_1_1NodeIDAllocator_1_1Clusterer.html#a67ab9cffacc1584b2e7bae5d1b08c541',1,'SVF::NodeIDAllocator::Clusterer']]],
+  ['depth_11217',['depth',['../structparse__buffer.html#af613c4ed7d73f76c60c50d1bcf4c67a0',1,'parse_buffer::depth()'],['../structprintbuffer.html#aa7311b5da38ff8d1737824c611b48732',1,'printbuffer::depth()']]],
+  ['derefmdname_11218',['derefMDName',['../namespaceSVF_1_1cppUtil_1_1ctir.html#a0cd5347bc8043d4306e66a4a96005ace',1,'SVF::cppUtil::ctir']]],
+  ['description_11219',['description',['../classOptionBase.html#a8fbb1cde9e12a099617c8e8298424b5b',1,'OptionBase']]],
+  ['detectpwc_11220',['DetectPWC',['../classSVF_1_1Options.html#a3fc22d0a45be551110d1e326380f3202',1,'SVF::Options']]],
+  ['dfbbsmap_11221',['dfBBsMap',['../classSVF_1_1SVFLoopAndDomInfo.html#ae191915ae746e30c8370ebf8fe733723',1,'SVF::SVFLoopAndDomInfo']]],
+  ['dfinptsmap_11222',['dfInPtsMap',['../classSVF_1_1MutableDFPTData.html#abb59ef7367e353e65b82b54dac509f36',1,'SVF::MutableDFPTData::dfInPtsMap()'],['../classSVF_1_1PersistentDFPTData.html#a6b892b707524127928e269f0f0bbe868',1,'SVF::PersistentDFPTData::dfInPtsMap()']]],
+  ['dfoutptsmap_11223',['dfOutPtsMap',['../classSVF_1_1MutableDFPTData.html#ad3c53ef1c8e221299f3afe078946fbe0',1,'SVF::MutableDFPTData::dfOutPtsMap()'],['../classSVF_1_1PersistentDFPTData.html#ad77d7ccad393c995813f8c433c249dfc',1,'SVF::PersistentDFPTData::dfOutPtsMap()']]],
+  ['dfreechecker_11224',['DFREECHECKER',['../saber_8cpp.html#ab233df6b8c190aa2c26fa20bd1ac7c52',1,'saber.cpp']]],
+  ['diff_11225',['diff',['../classSVF_1_1POCRSolver.html#a403ddbfcdf61cd01ad9dc778a7e02af0',1,'SVF::POCRSolver']]],
+  ['diffpts_11226',['DiffPts',['../classSVF_1_1Options.html#ae782f25eaee9ac363c733b6ac609fbce',1,'SVF::Options']]],
+  ['diffptsmap_11227',['diffPtsMap',['../classSVF_1_1MutableDiffPTData.html#a9ee7874e987e93eb4cb9d75ed08effd5',1,'SVF::MutableDiffPTData::diffPtsMap()'],['../classSVF_1_1PersistentDiffPTData.html#ac54339952e2734a6affdaa543fb3ed22',1,'SVF::PersistentDiffPTData::diffPtsMap()']]],
+  ['diffwave_11228',['diffWave',['../classSVF_1_1AndersenWaveDiff.html#add4dcb6d74a8ce8747bcac5f740cd672',1,'SVF::AndersenWaveDiff']]],
+  ['dirandindjoinmap_11229',['dirAndIndJoinMap',['../classSVF_1_1ForkJoinAnalysis.html#ab5678bd46e573070827cc413f0e0d5be',1,'SVF::ForkJoinAnalysis']]],
+  ['directcalls_11230',['directCalls',['../classSVF_1_1PTACallGraphEdge.html#a2f3e4b61225c4ca37b0f70e3edc61920',1,'SVF::PTACallGraphEdge']]],
+  ['directedgeset_11231',['directEdgeSet',['../classSVF_1_1ConstraintGraph.html#a1be3ebb84b3d334daf98f7e6f5b82256',1,'SVF::ConstraintGraph']]],
+  ['directinedges_11232',['directInEdges',['../classSVF_1_1ConstraintNode.html#a53626700d25b5c004e42354c925df83c',1,'SVF::ConstraintNode']]],
+  ['directjoinmap_11233',['directJoinMap',['../classSVF_1_1ForkJoinAnalysis.html#abf5b499f93a658636d09a62d14a47cad',1,'SVF::ForkJoinAnalysis']]],
+  ['directoutedges_11234',['directOutEdges',['../classSVF_1_1ConstraintNode.html#affb426040b05678fcbce62002a02bb06',1,'SVF::ConstraintNode']]],
+  ['directpropatime_11235',['directPropaTime',['../classSVF_1_1FlowSensitive.html#ae086de68233375be42185f0af706687a',1,'SVF::FlowSensitive']]],
+  ['disablewarn_11236',['DisableWarn',['../classSVF_1_1Options.html#a1721ff576ad641d862f29b038f31db28',1,'SVF::Options']]],
+  ['distancematrixtime_11237',['DistanceMatrixTime',['../classSVF_1_1NodeIDAllocator_1_1Clusterer.html#a09d2dbb2faab0a0e03bfa353534116a8',1,'SVF::NodeIDAllocator::Clusterer']]],
+  ['ditype_11238',['diType',['../classSVF_1_1DCHNode.html#a05b5b4539273ac5d21d8cbcfa712a439',1,'SVF::DCHNode']]],
+  ['ditypetonodemap_11239',['diTypeToNodeMap',['../classSVF_1_1DCHGraph.html#ae2aee47b803f9cde8950b7f1ad11273d',1,'SVF::DCHGraph']]],
+  ['dolockanalysis_11240',['DoLockAnalysis',['../classSVF_1_1Options.html#ae2c4fe298a27f50c749b75f0801f9666',1,'SVF::Options']]],
+  ['dpmtoadcptsetmap_11241',['dpmToADCPtSetMap',['../classSVF_1_1DDAVFSolver.html#a2565bf8dcacb22350dc1dc98ec7595f2',1,'SVF::DDAVFSolver']]],
+  ['dpmtoloaddpmmap_11242',['dpmToloadDpmMap',['../classSVF_1_1DDAVFSolver.html#a9d8959dfee05685cd74d0d7a78069692',1,'SVF::DDAVFSolver']]],
+  ['dpmtotlcptsetmap_11243',['dpmToTLCPtSetMap',['../classSVF_1_1DDAVFSolver.html#a2d6df8149b45d719e22fc505df94171a',1,'SVF::DDAVFSolver']]],
+  ['dr_5fcheck_11244',['DR_CHECK',['../classSVF_1_1Annotator.html#a64fa6f1cac79c47c66b16ac29d2ac3f4',1,'SVF::Annotator']]],
+  ['dr_5fnot_5fcheck_11245',['DR_NOT_CHECK',['../classSVF_1_1Annotator.html#af220da6fe6fc879d15cc34ab397c5ba1',1,'SVF::Annotator']]],
+  ['dst_11246',['dst',['../classSVF_1_1GenericEdge.html#aa41cb7482bdab1ba328f4b94f30f3ee4',1,'SVF::GenericEdge']]],
+  ['dtbbsmap_11247',['dtBBsMap',['../classSVF_1_1SVFLoopAndDomInfo.html#a34296b98ee8dd1bfc0b1ae7fe327cde3',1,'SVF::SVFLoopAndDomInfo']]],
+  ['dtraits_11248',['DTraits',['../classSVF_1_1GraphWriter.html#a36f1ca2744fae2f45400e82f39e4fcd8',1,'SVF::GraphWriter']]],
+  ['dumpcha_11249',['DumpCHA',['../classSVF_1_1Options.html#afcef86c88bb86198a3579aef82b5e270',1,'SVF::Options']]],
+  ['dumpfree_11250',['DumpFree',['../classSVF_1_1Options.html#a03cd671379712e6b3fa8ac4ec9b4d1d4',1,'SVF::Options']]],
+  ['dumpicfg_11251',['DumpICFG',['../classSVF_1_1Options.html#ae7ccfb3d1308e205e5014849dcc43d9a',1,'SVF::Options']]],
+  ['dumpjson_11252',['DumpJson',['../classSVF_1_1Options.html#a3f5235cbdaab1bf53b9144d335c9c3d4',1,'SVF::Options']]],
+  ['dumpmssa_11253',['DumpMSSA',['../classSVF_1_1Options.html#a0bb4bfd677e2e45cc8c24bfc190edfaa',1,'SVF::Options']]],
+  ['dumpslice_11254',['DumpSlice',['../classSVF_1_1Options.html#ab9443e23bdcb60f118a7aab835f974db',1,'SVF::Options']]],
+  ['dumpsupts_11255',['DumpSUPts',['../classSVF_1_1Options.html#a6d45d7ba6852a986b53b31f60f967b01',1,'SVF::Options']]],
+  ['dumpsustore_11256',['DumpSUStore',['../classSVF_1_1Options.html#ab64401bdde8b0c846a78f21423e5cfb6',1,'SVF::Options']]],
+  ['dumpuninitptr_11257',['DumpUninitPtr',['../classSVF_1_1Options.html#a296e4a2187d14828cb0baf859f48d716',1,'SVF::Options']]],
+  ['dumpuninitvar_11258',['DumpUninitVar',['../classSVF_1_1Options.html#ab8075fe929f99b640d5c0a0530297025',1,'SVF::Options']]],
+  ['dumpvfg_11259',['DumpVFG',['../classSVF_1_1Options.html#ae3ad3003a8d3df2f1e3463248bb5ad51',1,'SVF::Options']]],
+  ['dval_11260',['dval',['../classSVF_1_1SVFConstantFP.html#aa1d551ad74dd5ce3eb4b7d639aec31a9',1,'SVF::SVFConstantFP']]]
 ];