svf-tools 1.0.819 → 1.0.821

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

@@ -1,145 +1,146 @@
 var searchData=
 [
-  ['cachedptschainmap_11019',['cachedPtsChainMap',['../classSVF_1_1MRGenerator.html#a0e46c7beb580ace3a652ac9e1c419b48',1,'SVF::MRGenerator']]],
-  ['call_11020',['call',['../classSVF_1_1CallPE.html#ace0704c65aa3637c50ff880f68808bba',1,'SVF::CallPE::call()'],['../classSVF_1_1RetPE.html#aa2d42edfce9d5a8c025c0bb529aee0f2',1,'SVF::RetPE::call()']]],
-  ['callblocknode_11021',['callBlockNode',['../classSVF_1_1RetICFGNode.html#a42f4b87f590b3a393059bcca5736c596',1,'SVF::RetICFGNode']]],
-  ['calledgelabelcounter_11022',['callEdgeLabelCounter',['../classSVF_1_1SVFStmt.html#a24227d7f1dd472f47bf94cb5db8505c4',1,'SVF::SVFStmt']]],
-  ['calledval_11023',['calledVal',['../classSVF_1_1SVFCallInst.html#a23ee9dbaa0052ef41ce2d75f1dc36491',1,'SVF::SVFCallInst']]],
-  ['callgraph_11024',['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_11025',['CallGraphDotGraph',['../classSVF_1_1Options.html#a0a998c2e1d701b2052985691babc4567',1,'SVF::Options']]],
-  ['callgraphnodenum_11026',['callGraphNodeNum',['../classSVF_1_1PTACallGraph.html#af0e1a940677fb7f6c4aaef2f9c46c3e5',1,'SVF::PTACallGraph']]],
-  ['callgraphscc_11027',['callGraphSCC',['../classSVF_1_1PointerAnalysis.html#ae3b651799345d9d92b6d736dafb03f63',1,'SVF::PointerAnalysis::callGraphSCC()'],['../classSVF_1_1MRGenerator.html#aa3a12cf1f761d25b9213bc6e50d89ba5',1,'SVF::MRGenerator::callGraphSCC()']]],
-  ['callinst_11028',['callInst',['../classSVF_1_1InterMSSAPHISVFGNode.html#aac74080dd5078d31d6f43edc2caf3c08',1,'SVF::InterMSSAPHISVFGNode::callInst()'],['../classSVF_1_1InterPHIVFGNode.html#a6a8b370c8de218abf89cf00a72d3cd0c',1,'SVF::InterPHIVFGNode::callInst()']]],
-  ['callinsttocallgraphedgesmap_11029',['callinstToCallGraphEdgesMap',['../classSVF_1_1PTACallGraph.html#ab29003352d8152b9d0fd37919ac212c5',1,'SVF::PTACallGraph']]],
-  ['callinsttohareparforedgesmap_11030',['callinstToHareParForEdgesMap',['../classSVF_1_1ThreadCallGraph.html#a42a088dba9cda7a7718685f80f52c928',1,'SVF::ThreadCallGraph']]],
-  ['callinsttothreadforkedgesmap_11031',['callinstToThreadForkEdgesMap',['../classSVF_1_1ThreadCallGraph.html#a79ba3df9d85eed3c9a55e6797fdcb9b9',1,'SVF::ThreadCallGraph']]],
-  ['callinsttothreadjoinedgesmap_11032',['callinstToThreadJoinEdgesMap',['../classSVF_1_1ThreadCallGraph.html#af2009968716a3785322e664a712cbb60',1,'SVF::ThreadCallGraph']]],
-  ['callpes_11033',['callPEs',['../classSVF_1_1CallCFGEdge.html#a3f48f7f041c5e6d385757035c551d51c',1,'SVF::CallCFGEdge::callPEs()'],['../classSVF_1_1FormalParmVFGNode.html#a8d124f42c320d38ddd08ed4948d63517',1,'SVF::FormalParmVFGNode::callPEs()']]],
-  ['callsite_11034',['callsite',['../classSVF_1_1CallMU.html#aa90a06c9e44914a7a8e104aa80bf1374',1,'SVF::CallMU::callsite()'],['../classSVF_1_1CallCHI.html#a30f1f8f2b23df3bad70d8083397e28eb',1,'SVF::CallCHI::callsite()']]],
-  ['callsite2dummyvalpn_11035',['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_11036',['callSiteArgsListMap',['../classSVF_1_1SVFIR.html#aa0920f5f967efdb89e23f12d31b112a2',1,'SVF::SVFIR']]],
-  ['callsiteretmap_11037',['callSiteRetMap',['../classSVF_1_1SVFIR.html#a11ab07f48c934f45c239393332aa60e1',1,'SVF::SVFIR']]],
-  ['callsiteset_11038',['callSiteSet',['../classSVF_1_1SVFIR.html#ac6c537688366e73bb0ae5db49c0b2450',1,'SVF::SVFIR']]],
-  ['callsitetoactualinmap_11039',['callSiteToActualINMap',['../classSVF_1_1SVFG.html#af9313ebec4a52fd887169b7c6373a7d4',1,'SVF::SVFG']]],
-  ['callsitetoactualoutmap_11040',['callSiteToActualOUTMap',['../classSVF_1_1SVFG.html#a39873b954b6e0eb0641f56ca4cd06ef9',1,'SVF::SVFG']]],
-  ['callsitetochisetmap_11041',['callsiteToChiSetMap',['../classSVF_1_1MemSSA.html#a1be5a6776c8785f26573b597881c8195',1,'SVF::MemSSA']]],
-  ['callsitetomodmrsmap_11042',['callsiteToModMRsMap',['../classSVF_1_1MRGenerator.html#adf8d477e5f622855799842134145ecc4',1,'SVF::MRGenerator']]],
-  ['callsitetomodpointstomap_11043',['callsiteToModPointsToMap',['../classSVF_1_1MRGenerator.html#ab8df193e84009e406c301731d17dc7b9',1,'SVF::MRGenerator']]],
-  ['callsitetomusetmap_11044',['callsiteToMuSetMap',['../classSVF_1_1MemSSA.html#aba54e534d18f68fbb97b26befd06ba1a',1,'SVF::MemSSA']]],
-  ['callsitetorefmrsmap_11045',['callsiteToRefMRsMap',['../classSVF_1_1MRGenerator.html#a7a7ed21181c2486b60170a479a5a534e',1,'SVF::MRGenerator']]],
-  ['callsitetorefpointstomap_11046',['callsiteToRefPointsToMap',['../classSVF_1_1MRGenerator.html#a34967cda51699f948a581b9f88fa3b10',1,'SVF::MRGenerator']]],
-  ['candidatefuncset_11047',['candidateFuncSet',['../classSVF_1_1TCT.html#a720a934088dddda2b134cabcc59ef43d',1,'SVF::TCT']]],
-  ['candidatemappings_11048',['candidateMappings',['../classSVF_1_1FlowSensitive.html#adba7ffe68ae7edce9b3aa896f978da6b',1,'SVF::FlowSensitive']]],
-  ['candidatepointers_11049',['candidatePointers',['../classSVF_1_1SVFIR.html#abd9f622b55839d6796ca2576f2323498',1,'SVF::SVFIR']]],
-  ['candidatequeries_11050',['candidateQueries',['../classSVF_1_1DDAClient.html#aa6fdff97be2e1a886237b515406d2e61',1,'SVF::DDAClient::candidateQueries()'],['../classSVF_1_1DDAVFSolver.html#ae0e78fafb7eec0fbc1a02d24547335e9',1,'SVF::DDAVFSolver::candidateQueries()']]],
-  ['candidates_11051',['candidates',['../classSVF_1_1WPAMinimumSolver.html#a3e26f894660fb22f7d2f342bb4338ff8',1,'SVF::WPAMinimumSolver']]],
-  ['canonicaltypemap_11052',['canonicalTypeMap',['../classSVF_1_1DCHGraph.html#a638572301c0faf8046a965e46f6105c7',1,'SVF::DCHGraph']]],
-  ['canonicaltypes_11053',['canonicalTypes',['../classSVF_1_1DCHGraph.html#af9d58fa796387a247018c56cce1a3fac',1,'SVF::DCHGraph']]],
-  ['case_5fsensitive_11054',['case_sensitive',['../cJSON_8h.html#a05334336676ca1cd88db19ede4a065de',1,'cJSON.h']]],
-  ['cb_11055',['CB',['../classSVF_1_1CallSite.html#a3de20fdb58def4ea6af2d635f0d2e730',1,'SVF::CallSite']]],
-  ['cbv_11056',['cbv',['../classSVF_1_1PointsTo.html#a79333c4ae5c002d9632fa589956b3605',1,'SVF::PointsTo::cbv()'],['../classSVF_1_1CoreBitVector_1_1CoreBitVectorIterator.html#a0cba79551b56ed83dc45ab63619dc590',1,'SVF::CoreBitVector::CoreBitVectorIterator::cbv()']]],
-  ['cbvit_11057',['cbvIt',['../classSVF_1_1PointsTo_1_1PointsToIterator.html#a4db2c62eb3ad789ab7aaf7506cd340b2',1,'SVF::PointsTo::PointsToIterator']]],
-  ['cfledgeset_11058',['cflEdgeSet',['../classSVF_1_1CFLGraph.html#afb41039ad53899fa64fedcef8b7aa7fe',1,'SVF::CFLGraph']]],
-  ['cflgraph_11059',['cflGraph',['../classSVF_1_1CFLGraphBuilder.html#af034366ce280120e5cd1a5685894e9ac',1,'SVF::CFLGraphBuilder::cflGraph()'],['../classSVF_1_1Options.html#a81dbd12b5141c4a2758d6f2d3321f1ac',1,'SVF::Options::CFLGraph()']]],
-  ['cflsvfg_11060',['CFLSVFG',['../classSVF_1_1Options.html#a7ef3e2cd417646e9d06e0da16ff6c516',1,'SVF::Options']]],
-  ['chaffmap_11061',['chaFFMap',['../classSVF_1_1DCHGraph.html#a607d83338feeb58af3638b988b7fa00b',1,'SVF::DCHGraph']]],
-  ['chamap_11062',['chaMap',['../classSVF_1_1DCHGraph.html#ad4d431ceff25218fcb5830be12739ac3',1,'SVF::DCHGraph']]],
-  ['chg_11063',['chg',['../classSVF_1_1CHGBuilder.html#ab3471cc9afba5976c7e5fbd07dfb22dc',1,'SVF::CHGBuilder']]],
-  ['chgraph_11064',['chgraph',['../classSVF_1_1PointerAnalysis.html#a0c0fce2539bb9ec6c824f6584a0f6b33',1,'SVF::PointerAnalysis::chgraph()'],['../classSVF_1_1SVFIR.html#a31c54c878be428cc92cf08970fef422b',1,'SVF::SVFIR::chgraph()']]],
-  ['chgraphreader_11065',['chGraphReader',['../classSVF_1_1SVFIRReader.html#a8362a86ac83f1fe41d7028d5a8e0c0b4',1,'SVF::SVFIRReader']]],
-  ['chgwriter_11066',['chgWriter',['../classSVF_1_1SVFIRWriter.html#aab50fec943a00c96155d395d514febe7',1,'SVF::SVFIRWriter']]],
-  ['child_11067',['child',['../structcJSON.html#a401b274c2da358dac5c23ab8b2c71f85',1,'cJSON::child()'],['../cJSON_8cpp.html#ad00efb41ca386db28bacc7aefe79535c',1,'child(): cJSON.cpp']]],
-  ['children_11068',['children',['../structSVF_1_1POCRHybridSolver_1_1TreeNode.html#a960c186f2dc559c371334876a272e795',1,'SVF::POCRHybridSolver::TreeNode']]],
-  ['cilocktospan_11069',['ciLocktoSpan',['../classSVF_1_1LockAnalysis.html#afc4212873c3e05ac9506aac0a25f515a',1,'SVF::LockAnalysis']]],
-  ['ckapi_11070',['ckAPI',['../classSVF_1_1SaberCheckerAPI.html#a3e54cae9b4259da2332c7fc87d3df347',1,'SVF::SaberCheckerAPI']]],
-  ['classname_11071',['className',['../classSVF_1_1CHNode.html#ac7c18617b768a2988cf4eff7e849f397',1,'SVF::CHNode::className()'],['../structSVF_1_1cppUtil_1_1DemangledName.html#a5cd207bce618521166e6fa235014b297',1,'SVF::cppUtil::DemangledName::className()']]],
-  ['classnametoancestorsmap_11072',['classNameToAncestorsMap',['../classSVF_1_1CHGraph.html#a083f726d74208c2d8107a75e0d6b3ca9',1,'SVF::CHGraph']]],
-  ['classnametodescendantsmap_11073',['classNameToDescendantsMap',['../classSVF_1_1CHGraph.html#ac08f846413b6aed26a1bf39eb865b006',1,'SVF::CHGraph']]],
-  ['classnametoinstanddescsmap_11074',['classNameToInstAndDescsMap',['../classSVF_1_1CHGraph.html#aaec4bdde66e4a7a63ea3f3c6ec0bd045',1,'SVF::CHGraph']]],
-  ['classnametonodemap_11075',['classNameToNodeMap',['../classSVF_1_1CHGraph.html#ae613ad20686db0f2159a00cb00ae0a9e',1,'SVF::CHGraph']]],
-  ['classnum_11076',['classNum',['../classSVF_1_1CHGraph.html#adb99b732d20cfc8cc0f078cda6753bc0',1,'SVF::CHGraph']]],
-  ['clocktype_11077',['ClockType',['../classSVF_1_1Options.html#a28af43961cb29a7dea50be2ab332cc75',1,'SVF::Options']]],
-  ['clplist_11078',['clpList',['../classSVF_1_1LockAnalysis.html#afff2c5699e08badf5265e8183b18a02e',1,'SVF::LockAnalysis']]],
-  ['clsname_11079',['clsName',['../LLVMUtil_8cpp.html#a5f8da60b0fcc28445f508f4e42513a82',1,'LLVMUtil.cpp']]],
-  ['clusterander_11080',['ClusterAnder',['../classSVF_1_1Options.html#a46743284466ff803f52a82b094186d16',1,'SVF::Options']]],
-  ['clusterfs_11081',['ClusterFs',['../classSVF_1_1Options.html#a853caba808dc7d17cba4ad4214b56b6f',1,'SVF::Options']]],
-  ['clustermethod_11082',['ClusterMethod',['../classSVF_1_1Options.html#ac17ce6d75293dcd0baf366cbeb0cb6d6',1,'SVF::Options']]],
-  ['collapsetime_11083',['CollapseTime',['../classSVF_1_1AndersenStat.html#a3f5739454b1f4e03b4388a4ba5730e15',1,'SVF::AndersenStat']]],
-  ['collectextretglobals_11084',['CollectExtRetGlobals',['../classSVF_1_1Options.html#a9be31261a2f96c5733bd35a5da07eb76',1,'SVF::Options']]],
-  ['complementcache_11085',['complementCache',['../classSVF_1_1PersistentPointsToCache.html#adef498f8a0d4c75023382e6312a85a58',1,'SVF::PersistentPointsToCache']]],
-  ['concretecxt_11086',['concreteCxt',['../classSVF_1_1ContextCond.html#a453722fc2b9b4ae4be0dfc1f020390eb',1,'SVF::ContextCond']]],
-  ['cond_11087',['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_11088',['condition',['../classSVF_1_1SelectStmt.html#a2d6e9d7131bc69a0e88b703c2c03d7e2',1,'SVF::SelectStmt']]],
-  ['conditionvar_11089',['conditionVar',['../classSVF_1_1IntraCFGEdge.html#a4c6975e82794958aecb2013c0941777d',1,'SVF::IntraCFGEdge']]],
-  ['conditionvec_11090',['conditionVec',['../classSVF_1_1SaberCondAllocator.html#afd6cf17070e3629ced1ac36b8e2b0bbb',1,'SVF::SaberCondAllocator']]],
-  ['connectdirsvfgedgetimeend_11091',['connectDirSVFGEdgeTimeEnd',['../classSVF_1_1SVFGStat.html#ac243fababbb9d2f3efbea5411f947c21',1,'SVF::SVFGStat']]],
-  ['connectdirsvfgedgetimestart_11092',['connectDirSVFGEdgeTimeStart',['../classSVF_1_1SVFGStat.html#a0a967faad014cdd53f5dddfdc59edbc3',1,'SVF::SVFGStat']]],
-  ['connectindsvfgedgetimeend_11093',['connectIndSVFGEdgeTimeEnd',['../classSVF_1_1SVFGStat.html#a3210cc1283669129234aa2c3feb67654',1,'SVF::SVFGStat']]],
-  ['connectindsvfgedgetimestart_11094',['connectIndSVFGEdgeTimeStart',['../classSVF_1_1SVFGStat.html#a2a697caecf23413187aef90a8097e0b0',1,'SVF::SVFGStat']]],
-  ['connectvcalloncha_11095',['ConnectVCallOnCHA',['../classSVF_1_1Options.html#abf71061d93d4a3b32246f19dc71e5127',1,'SVF::Options']]],
-  ['conscg_11096',['consCG',['../classSVF_1_1AndersenBase.html#ae21e38a06a4397d11cdd17b0f8f282fd',1,'SVF::AndersenBase']]],
-  ['conscgdotgraph_11097',['ConsCGDotGraph',['../classSVF_1_1Options.html#ad80f77349205dac9e74aa41ea1ecbf95',1,'SVF::Options']]],
-  ['constantobjectid_11098',['constantObjectId',['../classSVF_1_1NodeIDAllocator.html#a6a300a5b455fe4b8bace2f1d66fb5f9d',1,'SVF::NodeIDAllocator']]],
-  ['constantset_11099',['ConstantSet',['../classSVF_1_1SVFModule.html#a6ce288ee551c8a33cb353ee2374762c7',1,'SVF::SVFModule']]],
-  ['constdataoraggdata_11100',['constDataOrAggData',['../classSVF_1_1SVFValue.html#afc657036de9342fae6223077c10fcb01',1,'SVF::SVFValue']]],
-  ['consume_11101',['consume',['../classSVF_1_1VersionedFlowSensitive.html#a2e4e6a84cbfd553ad9cca8fdf9fd4a8d',1,'SVF::VersionedFlowSensitive']]],
-  ['containingaggs_11102',['containingAggs',['../classSVF_1_1DCHGraph.html#aac5595a230db0e8a81a6d6b67a4fdf58',1,'SVF::DCHGraph']]],
-  ['content_11103',['content',['../structparse__buffer.html#a52ee1184576baa3d5171059ab0e942de',1,'parse_buffer::content()'],['../cJSON_8cpp.html#a7886d4c98c027896a652ad0ada741709',1,'content(): cJSON.cpp']]],
-  ['context_11104',['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_11105',['contextDDA',['../classSVF_1_1DDAStat.html#ac3fb8b15c5308c926209a941c7cf62e1',1,'SVF::DDAStat']]],
-  ['contextinsensitive_11106',['ContextInsensitive',['../classSVF_1_1Options.html#ae60822a71ee1cd389413d98dfb35e302',1,'SVF::Options']]],
-  ['controldg_11107',['controlDg',['../classSVF_1_1CDG.html#a70b59b33f4266b22cc58fa832ded900a',1,'SVF::CDG']]],
-  ['copy_11108',['copy',['../cJSON_8cpp.html#a7669ee67a0563250c1efaa24d130e1ac',1,'cJSON.cpp']]],
-  ['copyinedges_11109',['copyInEdges',['../classSVF_1_1ConstraintNode.html#a4d413d64bf554ecdc72709afeeb85775',1,'SVF::ConstraintNode']]],
-  ['copyoutedges_11110',['copyOutEdges',['../classSVF_1_1ConstraintNode.html#a12df688fd9b5b7617daadc7bee0fff40',1,'SVF::ConstraintNode']]],
-  ['copytime_11111',['copyTime',['../classSVF_1_1FlowSensitive.html#a888d6334e5e226c634680e4c0674dcfb',1,'SVF::FlowSensitive']]],
-  ['count_11112',['count',['../cJSON_8h.html#ad43c3812e6d13e0518d9f8b8f463ffcf',1,'count(): cJSON.h'],['../cJSON_8cpp.html#ad43c3812e6d13e0518d9f8b8f463ffcf',1,'count(): cJSON.cpp']]],
-  ['cpts_11113',['cpts',['../classSVF_1_1IndirectSVFGEdge.html#a2d54c1c3567ef6676ba15f88c622e5b7',1,'SVF::IndirectSVFGEdge::cpts()'],['../classSVF_1_1MRSVFGNode.html#a640153ff592bf0058882a0d05a76b1ba',1,'SVF::MRSVFGNode::cpts()']]],
-  ['cptsset_11114',['cptsSet',['../classSVF_1_1MemRegion.html#a77a18bcce56cf48d1c338e852a2be9bc',1,'SVF::MemRegion']]],
-  ['cptstorepcptsmap_11115',['cptsToRepCPtsMap',['../classSVF_1_1MRGenerator.html#ab4d1ff0357d389a65ff1c2112ce631a1',1,'SVF::MRGenerator']]],
-  ['cs_11116',['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_11117',['csc',['../classSVF_1_1AndersenSFR.html#aa39c668b1473ac4fb99da3aa736c9edb',1,'SVF::AndersenSFR']]],
-  ['cschamap_11118',['csCHAMap',['../classSVF_1_1DCHGraph.html#ad79a569e77f94fa8494eed3f18e07e90',1,'SVF::DCHGraph']]],
-  ['csid_11119',['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_11120',['csnumToInstMap',['../classSVF_1_1MTAResultValidator.html#ae2717c467dc7c49fab0ec93bfa4baaab',1,'SVF::MTAResultValidator']]],
-  ['cstocallnodemap_11121',['CSToCallNodeMap',['../classSVF_1_1ICFG.html#af0434d6ffd247eeaf73b9294e659a3f9',1,'SVF::ICFG']]],
-  ['cstocallsiteargsptsmap_11122',['csToCallSiteArgsPtsMap',['../classSVF_1_1MRGenerator.html#afe91b57b451d7788364493549e015acf',1,'SVF::MRGenerator']]],
-  ['cstocallsiteretptsmap_11123',['csToCallSiteRetPtsMap',['../classSVF_1_1MRGenerator.html#a21550f978f42ac3cbb32cbc426ff5cb1',1,'SVF::MRGenerator']]],
-  ['cstochavfnsmap_11124',['csToCHAVFnsMap',['../classSVF_1_1CHGraph.html#a5e6502c5baad99c70e1cf56c84ce9474',1,'SVF::CHGraph']]],
-  ['cstochavtblsmap_11125',['csToCHAVtblsMap',['../classSVF_1_1CHGraph.html#af3ed2bee5d76e5a848b250950c3be333',1,'SVF::CHGraph']]],
-  ['cstoclassesmap_11126',['csToClassesMap',['../classSVF_1_1CHGraph.html#a7ef9982d89a4932883bd58bc49ad9986',1,'SVF::CHGraph']]],
-  ['cstoidmap_11127',['csToIdMap',['../classSVF_1_1PTACallGraph.html#a75ffe4f24d59ad42601b7550aa988187',1,'SVF::PTACallGraph']]],
-  ['cstomodsmap_11128',['csToModsMap',['../classSVF_1_1MRGenerator.html#a603f993995e7d6961e203a195bb56029',1,'SVF::MRGenerator']]],
-  ['cstorefsmap_11129',['csToRefsMap',['../classSVF_1_1MRGenerator.html#ac7b5ca3fd950e1a940f875ac135640f6',1,'SVF::MRGenerator']]],
-  ['cstoretnodemap_11130',['CSToRetNodeMap',['../classSVF_1_1ICFG.html#a0e43308038663c10667177238b23ab3e',1,'SVF::ICFG']]],
-  ['ctplist_11131',['ctpList',['../classSVF_1_1TCT.html#a80dad1dfdf64cb7a5805eb8bedf79226',1,'SVF::TCT']]],
-  ['ctptonodemap_11132',['ctpToNodeMap',['../classSVF_1_1TCT.html#a0ccb6e9ffff0f22a0a054a92222893d5',1,'SVF::TCT']]],
-  ['cttoforkcxtmap_11133',['ctToForkCxtMap',['../classSVF_1_1TCT.html#aea88fdb40c28724546f5903d3a73999a',1,'SVF::TCT']]],
-  ['cttoroutinefunmap_11134',['ctToRoutineFunMap',['../classSVF_1_1TCT.html#a36c7884869d923c1a9363962c9e013bd',1,'SVF::TCT']]],
-  ['ctx_11135',['ctx',['../classSVF_1_1TCTNode.html#a8f2ef1020b45aada8b79ac3b8d27c2a6',1,'SVF::TCTNode::ctx()'],['../classSVF_1_1Z3Expr.html#af02935097a8db09812781ac8c42d93e5',1,'SVF::Z3Expr::ctx()']]],
-  ['cur_11136',['cur',['../classSVF_1_1DPItem.html#a82d2a11fb456192ec88fcb5ffe239d80',1,'SVF::DPItem']]],
-  ['curbb_11137',['curBB',['../classSVF_1_1SVFIRBuilder.html#a8219f7e2581cc9974b42cf95d8318b15',1,'SVF::SVFIRBuilder']]],
-  ['curevalsvfgnode_11138',['curEvalSVFGNode',['../classSVF_1_1SaberCondAllocator.html#a4ac9b5ec6bfd7a7b468cb13a5e8803e0',1,'SVF::SaberCondAllocator']]],
-  ['curloc_11139',['curloc',['../classSVF_1_1StmtDPItem.html#a9e20ebd5ae8272a4aef74914098f97ef',1,'SVF::StmtDPItem']]],
-  ['curptr_11140',['curPtr',['../classSVF_1_1DDAClient.html#a6a133cf24ef65eaf58c82ec213f3f6cb',1,'SVF::DDAClient']]],
-  ['currelementiter_11141',['CurrElementIter',['../classSVF_1_1SparseBitVector.html#ada7cb2e144c2fccd0d50138778b152dd',1,'SVF::SparseBitVector']]],
-  ['current_11142',['current',['../classSVF_1_1CFLGraphBuilder.html#aad408d6ecb776fd763c9b9221a1bed18',1,'SVF::CFLGraphBuilder']]],
-  ['currentbestnodemapping_11143',['currentBestNodeMapping',['../classSVF_1_1PointsTo.html#a98781dd444ada40af7eef9aefe76123d',1,'SVF::PointsTo']]],
-  ['currentbestreversenodemapping_11144',['currentBestReverseNodeMapping',['../classSVF_1_1PointsTo.html#a53e1230c87912d26604990eb8b0cbc0c',1,'SVF::PointsTo']]],
-  ['cursccid_11145',['curSCCID',['../classSVF_1_1WPASCCSolver.html#a28973d7e1301c36254b67c695e8431aa',1,'SVF::WPASCCSolver']]],
-  ['curty_11146',['CurTy',['../classllvm_1_1generic__bridge__gep__type__iterator.html#af4eefb034e50627c6d4ef5bfcdcb4f57',1,'llvm::generic_bridge_gep_type_iterator']]],
-  ['curval_11147',['curVal',['../classSVF_1_1SVFIRBuilder.html#aefc70f2a0a2103259ae36d026cbb18be',1,'SVF::SVFIRBuilder']]],
-  ['customized_11148',['Customized',['../classSVF_1_1Options.html#a15a9c1086e1bbd6a76d56ad1bdd6b994',1,'SVF::Options']]],
-  ['cxt_11149',['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_11150',['CXT_THREAD',['../classSVF_1_1MTAResultValidator.html#a909e66d94d4f3ce6e0c1e0fe5b50483a',1,'SVF::MTAResultValidator']]],
-  ['cxtbudget_11151',['CxtBudget',['../classSVF_1_1Options.html#a3bbd106de519cb8d00f33e82f14d279b',1,'SVF::Options']]],
-  ['cxtjoininloop_11152',['cxtJoinInLoop',['../classSVF_1_1ForkJoinAnalysis.html#a63da48d338683ec95709a6bd95238707',1,'SVF::ForkJoinAnalysis']]],
-  ['cxtlimit_11153',['CxtLimit',['../classSVF_1_1Options.html#a3fd9cce83729bc62cd2fb568b0d53db5',1,'SVF::Options']]],
-  ['cxtlockset_11154',['cxtLockSet',['../classSVF_1_1LockResultValidator.html#a51e6f48be9f2a65b390e4e0350eb12a9',1,'SVF::LockResultValidator::cxtLockSet()'],['../classSVF_1_1LockAnalysis.html#a3081e7c7165908ed4aa282f398c5236d',1,'SVF::LockAnalysis::cxtLockset()']]],
-  ['cxtlocktospan_11155',['cxtLocktoSpan',['../classSVF_1_1LockAnalysis.html#a2fd796765f16cc7094f36d68c0ff70a0',1,'SVF::LockAnalysis']]],
-  ['cxts_11156',['cxts',['../classSVF_1_1LLVMModuleSet.html#ad06a92bf8bc556de742e0ffdf79ffafe',1,'SVF::LLVMModuleSet']]],
-  ['cxtstmtlist_11157',['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_11158',['cxtStmtToAliveFlagMap',['../classSVF_1_1ForkJoinAnalysis.html#aa31b3f3d51b963ccd475e66b77143dba',1,'SVF::ForkJoinAnalysis']]],
-  ['cxtstmttocxtlockset_11159',['cxtStmtToCxtLockSet',['../classSVF_1_1LockResultValidator.html#ad8a03181445edeb835fed08c88f6e0bb',1,'SVF::LockResultValidator::cxtStmtToCxtLockSet()'],['../classSVF_1_1LockAnalysis.html#ae256a84fd63947a6f81bee030bdbe7fc',1,'SVF::LockAnalysis::cxtStmtToCxtLockSet()']]],
-  ['cyclicfldidx_11160',['CyclicFldIdx',['../classSVF_1_1Options.html#a3914c0785473a773c7cb3da01229f2ee',1,'SVF::Options']]]
+  ['cachedptschainmap_11023',['cachedPtsChainMap',['../classSVF_1_1MRGenerator.html#a0e46c7beb580ace3a652ac9e1c419b48',1,'SVF::MRGenerator']]],
+  ['call_11024',['call',['../classSVF_1_1CallPE.html#ace0704c65aa3637c50ff880f68808bba',1,'SVF::CallPE::call()'],['../classSVF_1_1RetPE.html#aa2d42edfce9d5a8c025c0bb529aee0f2',1,'SVF::RetPE::call()']]],
+  ['callblocknode_11025',['callBlockNode',['../classSVF_1_1RetICFGNode.html#a42f4b87f590b3a393059bcca5736c596',1,'SVF::RetICFGNode']]],
+  ['calledgelabelcounter_11026',['callEdgeLabelCounter',['../classSVF_1_1SVFStmt.html#a24227d7f1dd472f47bf94cb5db8505c4',1,'SVF::SVFStmt']]],
+  ['calledval_11027',['calledVal',['../classSVF_1_1SVFCallInst.html#a23ee9dbaa0052ef41ce2d75f1dc36491',1,'SVF::SVFCallInst']]],
+  ['callgraph_11028',['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_11029',['CallGraphDotGraph',['../classSVF_1_1Options.html#a0a998c2e1d701b2052985691babc4567',1,'SVF::Options']]],
+  ['callgraphnodenum_11030',['callGraphNodeNum',['../classSVF_1_1PTACallGraph.html#af0e1a940677fb7f6c4aaef2f9c46c3e5',1,'SVF::PTACallGraph']]],
+  ['callgraphscc_11031',['callGraphSCC',['../classSVF_1_1PointerAnalysis.html#ae3b651799345d9d92b6d736dafb03f63',1,'SVF::PointerAnalysis::callGraphSCC()'],['../classSVF_1_1MRGenerator.html#aa3a12cf1f761d25b9213bc6e50d89ba5',1,'SVF::MRGenerator::callGraphSCC()']]],
+  ['callinst_11032',['callInst',['../classSVF_1_1InterMSSAPHISVFGNode.html#aac74080dd5078d31d6f43edc2caf3c08',1,'SVF::InterMSSAPHISVFGNode::callInst()'],['../classSVF_1_1InterPHIVFGNode.html#a6a8b370c8de218abf89cf00a72d3cd0c',1,'SVF::InterPHIVFGNode::callInst()']]],
+  ['callinsttocallgraphedgesmap_11033',['callinstToCallGraphEdgesMap',['../classSVF_1_1PTACallGraph.html#ab29003352d8152b9d0fd37919ac212c5',1,'SVF::PTACallGraph']]],
+  ['callinsttohareparforedgesmap_11034',['callinstToHareParForEdgesMap',['../classSVF_1_1ThreadCallGraph.html#a42a088dba9cda7a7718685f80f52c928',1,'SVF::ThreadCallGraph']]],
+  ['callinsttothreadforkedgesmap_11035',['callinstToThreadForkEdgesMap',['../classSVF_1_1ThreadCallGraph.html#a79ba3df9d85eed3c9a55e6797fdcb9b9',1,'SVF::ThreadCallGraph']]],
+  ['callinsttothreadjoinedgesmap_11036',['callinstToThreadJoinEdgesMap',['../classSVF_1_1ThreadCallGraph.html#af2009968716a3785322e664a712cbb60',1,'SVF::ThreadCallGraph']]],
+  ['callpes_11037',['callPEs',['../classSVF_1_1CallCFGEdge.html#a3f48f7f041c5e6d385757035c551d51c',1,'SVF::CallCFGEdge::callPEs()'],['../classSVF_1_1FormalParmVFGNode.html#a8d124f42c320d38ddd08ed4948d63517',1,'SVF::FormalParmVFGNode::callPEs()']]],
+  ['callsite_11038',['callsite',['../classSVF_1_1CallMU.html#aa90a06c9e44914a7a8e104aa80bf1374',1,'SVF::CallMU::callsite()'],['../classSVF_1_1CallCHI.html#a30f1f8f2b23df3bad70d8083397e28eb',1,'SVF::CallCHI::callsite()']]],
+  ['callsite2dummyvalpn_11039',['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_11040',['callSiteArgsListMap',['../classSVF_1_1SVFIR.html#aa0920f5f967efdb89e23f12d31b112a2',1,'SVF::SVFIR']]],
+  ['callsiteretmap_11041',['callSiteRetMap',['../classSVF_1_1SVFIR.html#a11ab07f48c934f45c239393332aa60e1',1,'SVF::SVFIR']]],
+  ['callsiteset_11042',['callSiteSet',['../classSVF_1_1SVFIR.html#ac6c537688366e73bb0ae5db49c0b2450',1,'SVF::SVFIR']]],
+  ['callsitetoactualinmap_11043',['callSiteToActualINMap',['../classSVF_1_1SVFG.html#af9313ebec4a52fd887169b7c6373a7d4',1,'SVF::SVFG']]],
+  ['callsitetoactualoutmap_11044',['callSiteToActualOUTMap',['../classSVF_1_1SVFG.html#a39873b954b6e0eb0641f56ca4cd06ef9',1,'SVF::SVFG']]],
+  ['callsitetochisetmap_11045',['callsiteToChiSetMap',['../classSVF_1_1MemSSA.html#a1be5a6776c8785f26573b597881c8195',1,'SVF::MemSSA']]],
+  ['callsitetomodmrsmap_11046',['callsiteToModMRsMap',['../classSVF_1_1MRGenerator.html#adf8d477e5f622855799842134145ecc4',1,'SVF::MRGenerator']]],
+  ['callsitetomodpointstomap_11047',['callsiteToModPointsToMap',['../classSVF_1_1MRGenerator.html#ab8df193e84009e406c301731d17dc7b9',1,'SVF::MRGenerator']]],
+  ['callsitetomusetmap_11048',['callsiteToMuSetMap',['../classSVF_1_1MemSSA.html#aba54e534d18f68fbb97b26befd06ba1a',1,'SVF::MemSSA']]],
+  ['callsitetorefmrsmap_11049',['callsiteToRefMRsMap',['../classSVF_1_1MRGenerator.html#a7a7ed21181c2486b60170a479a5a534e',1,'SVF::MRGenerator']]],
+  ['callsitetorefpointstomap_11050',['callsiteToRefPointsToMap',['../classSVF_1_1MRGenerator.html#a34967cda51699f948a581b9f88fa3b10',1,'SVF::MRGenerator']]],
+  ['candidatefuncset_11051',['candidateFuncSet',['../classSVF_1_1TCT.html#a720a934088dddda2b134cabcc59ef43d',1,'SVF::TCT']]],
+  ['candidatemappings_11052',['candidateMappings',['../classSVF_1_1FlowSensitive.html#adba7ffe68ae7edce9b3aa896f978da6b',1,'SVF::FlowSensitive']]],
+  ['candidatepointers_11053',['candidatePointers',['../classSVF_1_1SVFIR.html#abd9f622b55839d6796ca2576f2323498',1,'SVF::SVFIR']]],
+  ['candidatequeries_11054',['candidateQueries',['../classSVF_1_1DDAClient.html#aa6fdff97be2e1a886237b515406d2e61',1,'SVF::DDAClient::candidateQueries()'],['../classSVF_1_1DDAVFSolver.html#ae0e78fafb7eec0fbc1a02d24547335e9',1,'SVF::DDAVFSolver::candidateQueries()']]],
+  ['candidates_11055',['candidates',['../classSVF_1_1WPAMinimumSolver.html#a3e26f894660fb22f7d2f342bb4338ff8',1,'SVF::WPAMinimumSolver']]],
+  ['canonicaltypemap_11056',['canonicalTypeMap',['../classSVF_1_1DCHGraph.html#a638572301c0faf8046a965e46f6105c7',1,'SVF::DCHGraph']]],
+  ['canonicaltypes_11057',['canonicalTypes',['../classSVF_1_1DCHGraph.html#af9d58fa796387a247018c56cce1a3fac',1,'SVF::DCHGraph']]],
+  ['case_5fsensitive_11058',['case_sensitive',['../cJSON_8h.html#a05334336676ca1cd88db19ede4a065de',1,'cJSON.h']]],
+  ['cb_11059',['CB',['../classSVF_1_1CallSite.html#a3de20fdb58def4ea6af2d635f0d2e730',1,'SVF::CallSite']]],
+  ['cbv_11060',['cbv',['../classSVF_1_1PointsTo.html#a79333c4ae5c002d9632fa589956b3605',1,'SVF::PointsTo::cbv()'],['../classSVF_1_1CoreBitVector_1_1CoreBitVectorIterator.html#a0cba79551b56ed83dc45ab63619dc590',1,'SVF::CoreBitVector::CoreBitVectorIterator::cbv()']]],
+  ['cbvit_11061',['cbvIt',['../classSVF_1_1PointsTo_1_1PointsToIterator.html#a4db2c62eb3ad789ab7aaf7506cd340b2',1,'SVF::PointsTo::PointsToIterator']]],
+  ['cfledgeset_11062',['cflEdgeSet',['../classSVF_1_1CFLGraph.html#afb41039ad53899fa64fedcef8b7aa7fe',1,'SVF::CFLGraph']]],
+  ['cflgraph_11063',['cflGraph',['../classSVF_1_1CFLGraphBuilder.html#af034366ce280120e5cd1a5685894e9ac',1,'SVF::CFLGraphBuilder::cflGraph()'],['../classSVF_1_1Options.html#a81dbd12b5141c4a2758d6f2d3321f1ac',1,'SVF::Options::CFLGraph()']]],
+  ['cflsvfg_11064',['CFLSVFG',['../classSVF_1_1Options.html#a7ef3e2cd417646e9d06e0da16ff6c516',1,'SVF::Options']]],
+  ['chaffmap_11065',['chaFFMap',['../classSVF_1_1DCHGraph.html#a607d83338feeb58af3638b988b7fa00b',1,'SVF::DCHGraph']]],
+  ['chamap_11066',['chaMap',['../classSVF_1_1DCHGraph.html#ad4d431ceff25218fcb5830be12739ac3',1,'SVF::DCHGraph']]],
+  ['chg_11067',['chg',['../classSVF_1_1CHGBuilder.html#ab3471cc9afba5976c7e5fbd07dfb22dc',1,'SVF::CHGBuilder']]],
+  ['chgraph_11068',['chgraph',['../classSVF_1_1PointerAnalysis.html#a0c0fce2539bb9ec6c824f6584a0f6b33',1,'SVF::PointerAnalysis::chgraph()'],['../classSVF_1_1SVFIR.html#a31c54c878be428cc92cf08970fef422b',1,'SVF::SVFIR::chgraph()']]],
+  ['chgraphreader_11069',['chGraphReader',['../classSVF_1_1SVFIRReader.html#a8362a86ac83f1fe41d7028d5a8e0c0b4',1,'SVF::SVFIRReader']]],
+  ['chgwriter_11070',['chgWriter',['../classSVF_1_1SVFIRWriter.html#aab50fec943a00c96155d395d514febe7',1,'SVF::SVFIRWriter']]],
+  ['child_11071',['child',['../structcJSON.html#a401b274c2da358dac5c23ab8b2c71f85',1,'cJSON::child()'],['../cJSON_8cpp.html#ad00efb41ca386db28bacc7aefe79535c',1,'child(): cJSON.cpp']]],
+  ['children_11072',['children',['../structSVF_1_1POCRHybridSolver_1_1TreeNode.html#a960c186f2dc559c371334876a272e795',1,'SVF::POCRHybridSolver::TreeNode']]],
+  ['cilocktospan_11073',['ciLocktoSpan',['../classSVF_1_1LockAnalysis.html#afc4212873c3e05ac9506aac0a25f515a',1,'SVF::LockAnalysis']]],
+  ['ckapi_11074',['ckAPI',['../classSVF_1_1SaberCheckerAPI.html#a3e54cae9b4259da2332c7fc87d3df347',1,'SVF::SaberCheckerAPI']]],
+  ['classname_11075',['className',['../classSVF_1_1CHNode.html#ac7c18617b768a2988cf4eff7e849f397',1,'SVF::CHNode::className()'],['../structSVF_1_1cppUtil_1_1DemangledName.html#a5cd207bce618521166e6fa235014b297',1,'SVF::cppUtil::DemangledName::className()']]],
+  ['classnametoancestorsmap_11076',['classNameToAncestorsMap',['../classSVF_1_1CHGraph.html#a083f726d74208c2d8107a75e0d6b3ca9',1,'SVF::CHGraph']]],
+  ['classnametodescendantsmap_11077',['classNameToDescendantsMap',['../classSVF_1_1CHGraph.html#ac08f846413b6aed26a1bf39eb865b006',1,'SVF::CHGraph']]],
+  ['classnametoinstanddescsmap_11078',['classNameToInstAndDescsMap',['../classSVF_1_1CHGraph.html#aaec4bdde66e4a7a63ea3f3c6ec0bd045',1,'SVF::CHGraph']]],
+  ['classnametonodemap_11079',['classNameToNodeMap',['../classSVF_1_1CHGraph.html#ae613ad20686db0f2159a00cb00ae0a9e',1,'SVF::CHGraph']]],
+  ['classnum_11080',['classNum',['../classSVF_1_1CHGraph.html#adb99b732d20cfc8cc0f078cda6753bc0',1,'SVF::CHGraph']]],
+  ['clocktype_11081',['ClockType',['../classSVF_1_1Options.html#a28af43961cb29a7dea50be2ab332cc75',1,'SVF::Options']]],
+  ['clplist_11082',['clpList',['../classSVF_1_1LockAnalysis.html#afff2c5699e08badf5265e8183b18a02e',1,'SVF::LockAnalysis']]],
+  ['clsname_11083',['clsName',['../LLVMUtil_8cpp.html#a5f8da60b0fcc28445f508f4e42513a82',1,'LLVMUtil.cpp']]],
+  ['clusterander_11084',['ClusterAnder',['../classSVF_1_1Options.html#a46743284466ff803f52a82b094186d16',1,'SVF::Options']]],
+  ['clusterfs_11085',['ClusterFs',['../classSVF_1_1Options.html#a853caba808dc7d17cba4ad4214b56b6f',1,'SVF::Options']]],
+  ['clustermethod_11086',['ClusterMethod',['../classSVF_1_1Options.html#ac17ce6d75293dcd0baf366cbeb0cb6d6',1,'SVF::Options']]],
+  ['collapsetime_11087',['CollapseTime',['../classSVF_1_1AndersenStat.html#a3f5739454b1f4e03b4388a4ba5730e15',1,'SVF::AndersenStat']]],
+  ['collectextretglobals_11088',['CollectExtRetGlobals',['../classSVF_1_1Options.html#a9be31261a2f96c5733bd35a5da07eb76',1,'SVF::Options']]],
+  ['complementcache_11089',['complementCache',['../classSVF_1_1PersistentPointsToCache.html#adef498f8a0d4c75023382e6312a85a58',1,'SVF::PersistentPointsToCache']]],
+  ['concretecxt_11090',['concreteCxt',['../classSVF_1_1ContextCond.html#a453722fc2b9b4ae4be0dfc1f020390eb',1,'SVF::ContextCond']]],
+  ['cond_11091',['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_11092',['condition',['../classSVF_1_1SelectStmt.html#a2d6e9d7131bc69a0e88b703c2c03d7e2',1,'SVF::SelectStmt']]],
+  ['conditionvar_11093',['conditionVar',['../classSVF_1_1IntraCFGEdge.html#a4c6975e82794958aecb2013c0941777d',1,'SVF::IntraCFGEdge']]],
+  ['conditionvec_11094',['conditionVec',['../classSVF_1_1SaberCondAllocator.html#afd6cf17070e3629ced1ac36b8e2b0bbb',1,'SVF::SaberCondAllocator']]],
+  ['connectdirsvfgedgetimeend_11095',['connectDirSVFGEdgeTimeEnd',['../classSVF_1_1SVFGStat.html#ac243fababbb9d2f3efbea5411f947c21',1,'SVF::SVFGStat']]],
+  ['connectdirsvfgedgetimestart_11096',['connectDirSVFGEdgeTimeStart',['../classSVF_1_1SVFGStat.html#a0a967faad014cdd53f5dddfdc59edbc3',1,'SVF::SVFGStat']]],
+  ['connectindsvfgedgetimeend_11097',['connectIndSVFGEdgeTimeEnd',['../classSVF_1_1SVFGStat.html#a3210cc1283669129234aa2c3feb67654',1,'SVF::SVFGStat']]],
+  ['connectindsvfgedgetimestart_11098',['connectIndSVFGEdgeTimeStart',['../classSVF_1_1SVFGStat.html#a2a697caecf23413187aef90a8097e0b0',1,'SVF::SVFGStat']]],
+  ['connectvcalloncha_11099',['ConnectVCallOnCHA',['../classSVF_1_1Options.html#abf71061d93d4a3b32246f19dc71e5127',1,'SVF::Options']]],
+  ['conscg_11100',['consCG',['../classSVF_1_1AndersenBase.html#ae21e38a06a4397d11cdd17b0f8f282fd',1,'SVF::AndersenBase']]],
+  ['conscgdotgraph_11101',['ConsCGDotGraph',['../classSVF_1_1Options.html#ad80f77349205dac9e74aa41ea1ecbf95',1,'SVF::Options']]],
+  ['constantobjectid_11102',['constantObjectId',['../classSVF_1_1NodeIDAllocator.html#a6a300a5b455fe4b8bace2f1d66fb5f9d',1,'SVF::NodeIDAllocator']]],
+  ['constantset_11103',['ConstantSet',['../classSVF_1_1SVFModule.html#a6ce288ee551c8a33cb353ee2374762c7',1,'SVF::SVFModule']]],
+  ['constdataoraggdata_11104',['constDataOrAggData',['../classSVF_1_1SVFValue.html#afc657036de9342fae6223077c10fcb01',1,'SVF::SVFValue']]],
+  ['consume_11105',['consume',['../classSVF_1_1VersionedFlowSensitive.html#a2e4e6a84cbfd553ad9cca8fdf9fd4a8d',1,'SVF::VersionedFlowSensitive']]],
+  ['containingaggs_11106',['containingAggs',['../classSVF_1_1DCHGraph.html#aac5595a230db0e8a81a6d6b67a4fdf58',1,'SVF::DCHGraph']]],
+  ['content_11107',['content',['../structparse__buffer.html#a52ee1184576baa3d5171059ab0e942de',1,'parse_buffer::content()'],['../cJSON_8cpp.html#a7886d4c98c027896a652ad0ada741709',1,'content(): cJSON.cpp']]],
+  ['context_11108',['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_11109',['contextDDA',['../classSVF_1_1DDAStat.html#ac3fb8b15c5308c926209a941c7cf62e1',1,'SVF::DDAStat']]],
+  ['contextinsensitive_11110',['ContextInsensitive',['../classSVF_1_1Options.html#ae60822a71ee1cd389413d98dfb35e302',1,'SVF::Options']]],
+  ['controldg_11111',['controlDg',['../classSVF_1_1CDG.html#a70b59b33f4266b22cc58fa832ded900a',1,'SVF::CDG']]],
+  ['copy_11112',['copy',['../cJSON_8cpp.html#a7669ee67a0563250c1efaa24d130e1ac',1,'cJSON.cpp']]],
+  ['copyinedges_11113',['copyInEdges',['../classSVF_1_1ConstraintNode.html#a4d413d64bf554ecdc72709afeeb85775',1,'SVF::ConstraintNode']]],
+  ['copyoutedges_11114',['copyOutEdges',['../classSVF_1_1ConstraintNode.html#a12df688fd9b5b7617daadc7bee0fff40',1,'SVF::ConstraintNode']]],
+  ['copytime_11115',['copyTime',['../classSVF_1_1FlowSensitive.html#a888d6334e5e226c634680e4c0674dcfb',1,'SVF::FlowSensitive']]],
+  ['count_11116',['count',['../cJSON_8h.html#ad43c3812e6d13e0518d9f8b8f463ffcf',1,'count(): cJSON.h'],['../cJSON_8cpp.html#ad43c3812e6d13e0518d9f8b8f463ffcf',1,'count(): cJSON.cpp']]],
+  ['coverage_11117',['coverage',['../classSVF_1_1SVFBugReport.html#abdb02bf4b61c6cbccd4b9c3c01590ddc',1,'SVF::SVFBugReport']]],
+  ['cpts_11118',['cpts',['../classSVF_1_1IndirectSVFGEdge.html#a2d54c1c3567ef6676ba15f88c622e5b7',1,'SVF::IndirectSVFGEdge::cpts()'],['../classSVF_1_1MRSVFGNode.html#a640153ff592bf0058882a0d05a76b1ba',1,'SVF::MRSVFGNode::cpts()']]],
+  ['cptsset_11119',['cptsSet',['../classSVF_1_1MemRegion.html#a77a18bcce56cf48d1c338e852a2be9bc',1,'SVF::MemRegion']]],
+  ['cptstorepcptsmap_11120',['cptsToRepCPtsMap',['../classSVF_1_1MRGenerator.html#ab4d1ff0357d389a65ff1c2112ce631a1',1,'SVF::MRGenerator']]],
+  ['cs_11121',['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_11122',['csc',['../classSVF_1_1AndersenSFR.html#aa39c668b1473ac4fb99da3aa736c9edb',1,'SVF::AndersenSFR']]],
+  ['cschamap_11123',['csCHAMap',['../classSVF_1_1DCHGraph.html#ad79a569e77f94fa8494eed3f18e07e90',1,'SVF::DCHGraph']]],
+  ['csid_11124',['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_11125',['csnumToInstMap',['../classSVF_1_1MTAResultValidator.html#ae2717c467dc7c49fab0ec93bfa4baaab',1,'SVF::MTAResultValidator']]],
+  ['cstocallnodemap_11126',['CSToCallNodeMap',['../classSVF_1_1ICFG.html#af0434d6ffd247eeaf73b9294e659a3f9',1,'SVF::ICFG']]],
+  ['cstocallsiteargsptsmap_11127',['csToCallSiteArgsPtsMap',['../classSVF_1_1MRGenerator.html#afe91b57b451d7788364493549e015acf',1,'SVF::MRGenerator']]],
+  ['cstocallsiteretptsmap_11128',['csToCallSiteRetPtsMap',['../classSVF_1_1MRGenerator.html#a21550f978f42ac3cbb32cbc426ff5cb1',1,'SVF::MRGenerator']]],
+  ['cstochavfnsmap_11129',['csToCHAVFnsMap',['../classSVF_1_1CHGraph.html#a5e6502c5baad99c70e1cf56c84ce9474',1,'SVF::CHGraph']]],
+  ['cstochavtblsmap_11130',['csToCHAVtblsMap',['../classSVF_1_1CHGraph.html#af3ed2bee5d76e5a848b250950c3be333',1,'SVF::CHGraph']]],
+  ['cstoclassesmap_11131',['csToClassesMap',['../classSVF_1_1CHGraph.html#a7ef9982d89a4932883bd58bc49ad9986',1,'SVF::CHGraph']]],
+  ['cstoidmap_11132',['csToIdMap',['../classSVF_1_1PTACallGraph.html#a75ffe4f24d59ad42601b7550aa988187',1,'SVF::PTACallGraph']]],
+  ['cstomodsmap_11133',['csToModsMap',['../classSVF_1_1MRGenerator.html#a603f993995e7d6961e203a195bb56029',1,'SVF::MRGenerator']]],
+  ['cstorefsmap_11134',['csToRefsMap',['../classSVF_1_1MRGenerator.html#ac7b5ca3fd950e1a940f875ac135640f6',1,'SVF::MRGenerator']]],
+  ['cstoretnodemap_11135',['CSToRetNodeMap',['../classSVF_1_1ICFG.html#a0e43308038663c10667177238b23ab3e',1,'SVF::ICFG']]],
+  ['ctplist_11136',['ctpList',['../classSVF_1_1TCT.html#a80dad1dfdf64cb7a5805eb8bedf79226',1,'SVF::TCT']]],
+  ['ctptonodemap_11137',['ctpToNodeMap',['../classSVF_1_1TCT.html#a0ccb6e9ffff0f22a0a054a92222893d5',1,'SVF::TCT']]],
+  ['cttoforkcxtmap_11138',['ctToForkCxtMap',['../classSVF_1_1TCT.html#aea88fdb40c28724546f5903d3a73999a',1,'SVF::TCT']]],
+  ['cttoroutinefunmap_11139',['ctToRoutineFunMap',['../classSVF_1_1TCT.html#a36c7884869d923c1a9363962c9e013bd',1,'SVF::TCT']]],
+  ['ctx_11140',['ctx',['../classSVF_1_1TCTNode.html#a8f2ef1020b45aada8b79ac3b8d27c2a6',1,'SVF::TCTNode::ctx()'],['../classSVF_1_1Z3Expr.html#af02935097a8db09812781ac8c42d93e5',1,'SVF::Z3Expr::ctx()']]],
+  ['cur_11141',['cur',['../classSVF_1_1DPItem.html#a82d2a11fb456192ec88fcb5ffe239d80',1,'SVF::DPItem']]],
+  ['curbb_11142',['curBB',['../classSVF_1_1SVFIRBuilder.html#a8219f7e2581cc9974b42cf95d8318b15',1,'SVF::SVFIRBuilder']]],
+  ['curevalsvfgnode_11143',['curEvalSVFGNode',['../classSVF_1_1SaberCondAllocator.html#a4ac9b5ec6bfd7a7b468cb13a5e8803e0',1,'SVF::SaberCondAllocator']]],
+  ['curloc_11144',['curloc',['../classSVF_1_1StmtDPItem.html#a9e20ebd5ae8272a4aef74914098f97ef',1,'SVF::StmtDPItem']]],
+  ['curptr_11145',['curPtr',['../classSVF_1_1DDAClient.html#a6a133cf24ef65eaf58c82ec213f3f6cb',1,'SVF::DDAClient']]],
+  ['currelementiter_11146',['CurrElementIter',['../classSVF_1_1SparseBitVector.html#ada7cb2e144c2fccd0d50138778b152dd',1,'SVF::SparseBitVector']]],
+  ['current_11147',['current',['../classSVF_1_1CFLGraphBuilder.html#aad408d6ecb776fd763c9b9221a1bed18',1,'SVF::CFLGraphBuilder']]],
+  ['currentbestnodemapping_11148',['currentBestNodeMapping',['../classSVF_1_1PointsTo.html#a98781dd444ada40af7eef9aefe76123d',1,'SVF::PointsTo']]],
+  ['currentbestreversenodemapping_11149',['currentBestReverseNodeMapping',['../classSVF_1_1PointsTo.html#a53e1230c87912d26604990eb8b0cbc0c',1,'SVF::PointsTo']]],
+  ['cursccid_11150',['curSCCID',['../classSVF_1_1WPASCCSolver.html#a28973d7e1301c36254b67c695e8431aa',1,'SVF::WPASCCSolver']]],
+  ['curty_11151',['CurTy',['../classllvm_1_1generic__bridge__gep__type__iterator.html#af4eefb034e50627c6d4ef5bfcdcb4f57',1,'llvm::generic_bridge_gep_type_iterator']]],
+  ['curval_11152',['curVal',['../classSVF_1_1SVFIRBuilder.html#aefc70f2a0a2103259ae36d026cbb18be',1,'SVF::SVFIRBuilder']]],
+  ['customized_11153',['Customized',['../classSVF_1_1Options.html#a15a9c1086e1bbd6a76d56ad1bdd6b994',1,'SVF::Options']]],
+  ['cxt_11154',['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_11155',['CXT_THREAD',['../classSVF_1_1MTAResultValidator.html#a909e66d94d4f3ce6e0c1e0fe5b50483a',1,'SVF::MTAResultValidator']]],
+  ['cxtbudget_11156',['CxtBudget',['../classSVF_1_1Options.html#a3bbd106de519cb8d00f33e82f14d279b',1,'SVF::Options']]],
+  ['cxtjoininloop_11157',['cxtJoinInLoop',['../classSVF_1_1ForkJoinAnalysis.html#a63da48d338683ec95709a6bd95238707',1,'SVF::ForkJoinAnalysis']]],
+  ['cxtlimit_11158',['CxtLimit',['../classSVF_1_1Options.html#a3fd9cce83729bc62cd2fb568b0d53db5',1,'SVF::Options']]],
+  ['cxtlockset_11159',['cxtLockSet',['../classSVF_1_1LockResultValidator.html#a51e6f48be9f2a65b390e4e0350eb12a9',1,'SVF::LockResultValidator::cxtLockSet()'],['../classSVF_1_1LockAnalysis.html#a3081e7c7165908ed4aa282f398c5236d',1,'SVF::LockAnalysis::cxtLockset()']]],
+  ['cxtlocktospan_11160',['cxtLocktoSpan',['../classSVF_1_1LockAnalysis.html#a2fd796765f16cc7094f36d68c0ff70a0',1,'SVF::LockAnalysis']]],
+  ['cxts_11161',['cxts',['../classSVF_1_1LLVMModuleSet.html#ad06a92bf8bc556de742e0ffdf79ffafe',1,'SVF::LLVMModuleSet']]],
+  ['cxtstmtlist_11162',['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_11163',['cxtStmtToAliveFlagMap',['../classSVF_1_1ForkJoinAnalysis.html#aa31b3f3d51b963ccd475e66b77143dba',1,'SVF::ForkJoinAnalysis']]],
+  ['cxtstmttocxtlockset_11164',['cxtStmtToCxtLockSet',['../classSVF_1_1LockResultValidator.html#ad8a03181445edeb835fed08c88f6e0bb',1,'SVF::LockResultValidator::cxtStmtToCxtLockSet()'],['../classSVF_1_1LockAnalysis.html#ae256a84fd63947a6f81bee030bdbe7fc',1,'SVF::LockAnalysis::cxtStmtToCxtLockSet()']]],
+  ['cyclicfldidx_11165',['CyclicFldIdx',['../classSVF_1_1Options.html#a3914c0785473a773c7cb3da01229f2ee',1,'SVF::Options']]]
 ];

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

@@ -1,58 +1,58 @@
 var searchData=
 [
-  ['daa_11161',['DAA',['../dda_8cpp.html#aa87e1cd4be4709a21393ed9e1a0da6bb',1,'dda.cpp']]],
-  ['data_11162',['data',['../classSVF_1_1List_1_1ListNode.html#a4a9cb4ae17156d6d80d2357e06231e12',1,'SVF::List::ListNode']]],
-  ['data_5flist_11163',['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_11164',['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_11165',['DDASelected',['../classSVF_1_1Options.html#afa6c98d477db41a457ac83cfbfd4a580',1,'SVF::Options']]],
-  ['ddastat_11166',['ddaStat',['../classSVF_1_1DDAVFSolver.html#ae40c7bad663e0fa07dee4be3d1794ff2',1,'SVF::DDAVFSolver']]],
-  ['def_11167',['def',['../classSVF_1_1MRVer.html#a3398bb8d3189413c275b62d5cb7a5fc4',1,'SVF::MRVer']]],
-  ['defnodes_11168',['defNodes',['../classSVF_1_1SVFGOPT.html#abd524dca72261bbcc7ebb1103b693a2b',1,'SVF::SVFGOPT']]],
-  ['deltamap_11169',['deltaMap',['../classSVF_1_1VersionedFlowSensitive.html#a11ddfa1faebf56e74e6dcc53e16142e1',1,'SVF::VersionedFlowSensitive']]],
-  ['deltasourcemap_11170',['deltaSourceMap',['../classSVF_1_1VersionedFlowSensitive.html#aee97e196225aaad29c0bd31d3ccbabf6',1,'SVF::VersionedFlowSensitive']]],
-  ['dendrogramtraversaltime_11171',['DendrogramTraversalTime',['../classSVF_1_1NodeIDAllocator_1_1Clusterer.html#a67ab9cffacc1584b2e7bae5d1b08c541',1,'SVF::NodeIDAllocator::Clusterer']]],
-  ['depth_11172',['depth',['../structparse__buffer.html#af613c4ed7d73f76c60c50d1bcf4c67a0',1,'parse_buffer::depth()'],['../structprintbuffer.html#aa7311b5da38ff8d1737824c611b48732',1,'printbuffer::depth()']]],
-  ['derefmdname_11173',['derefMDName',['../namespaceSVF_1_1cppUtil_1_1ctir.html#a0cd5347bc8043d4306e66a4a96005ace',1,'SVF::cppUtil::ctir']]],
-  ['description_11174',['description',['../classOptionBase.html#a8fbb1cde9e12a099617c8e8298424b5b',1,'OptionBase']]],
-  ['detectpwc_11175',['DetectPWC',['../classSVF_1_1Options.html#a3fc22d0a45be551110d1e326380f3202',1,'SVF::Options']]],
-  ['dfbbsmap_11176',['dfBBsMap',['../classSVF_1_1SVFLoopAndDomInfo.html#ae191915ae746e30c8370ebf8fe733723',1,'SVF::SVFLoopAndDomInfo']]],
-  ['dfinptsmap_11177',['dfInPtsMap',['../classSVF_1_1MutableDFPTData.html#abb59ef7367e353e65b82b54dac509f36',1,'SVF::MutableDFPTData::dfInPtsMap()'],['../classSVF_1_1PersistentDFPTData.html#a6b892b707524127928e269f0f0bbe868',1,'SVF::PersistentDFPTData::dfInPtsMap()']]],
-  ['dfoutptsmap_11178',['dfOutPtsMap',['../classSVF_1_1MutableDFPTData.html#ad3c53ef1c8e221299f3afe078946fbe0',1,'SVF::MutableDFPTData::dfOutPtsMap()'],['../classSVF_1_1PersistentDFPTData.html#ad77d7ccad393c995813f8c433c249dfc',1,'SVF::PersistentDFPTData::dfOutPtsMap()']]],
-  ['dfreechecker_11179',['DFREECHECKER',['../saber_8cpp.html#ab233df6b8c190aa2c26fa20bd1ac7c52',1,'saber.cpp']]],
-  ['diff_11180',['diff',['../classSVF_1_1POCRSolver.html#a403ddbfcdf61cd01ad9dc778a7e02af0',1,'SVF::POCRSolver']]],
-  ['diffpts_11181',['DiffPts',['../classSVF_1_1Options.html#ae782f25eaee9ac363c733b6ac609fbce',1,'SVF::Options']]],
-  ['diffptsmap_11182',['diffPtsMap',['../classSVF_1_1MutableDiffPTData.html#a9ee7874e987e93eb4cb9d75ed08effd5',1,'SVF::MutableDiffPTData::diffPtsMap()'],['../classSVF_1_1PersistentDiffPTData.html#ac54339952e2734a6affdaa543fb3ed22',1,'SVF::PersistentDiffPTData::diffPtsMap()']]],
-  ['diffwave_11183',['diffWave',['../classSVF_1_1AndersenWaveDiff.html#add4dcb6d74a8ce8747bcac5f740cd672',1,'SVF::AndersenWaveDiff']]],
-  ['dirandindjoinmap_11184',['dirAndIndJoinMap',['../classSVF_1_1ForkJoinAnalysis.html#ab5678bd46e573070827cc413f0e0d5be',1,'SVF::ForkJoinAnalysis']]],
-  ['directcalls_11185',['directCalls',['../classSVF_1_1PTACallGraphEdge.html#a2f3e4b61225c4ca37b0f70e3edc61920',1,'SVF::PTACallGraphEdge']]],
-  ['directedgeset_11186',['directEdgeSet',['../classSVF_1_1ConstraintGraph.html#a1be3ebb84b3d334daf98f7e6f5b82256',1,'SVF::ConstraintGraph']]],
-  ['directinedges_11187',['directInEdges',['../classSVF_1_1ConstraintNode.html#a53626700d25b5c004e42354c925df83c',1,'SVF::ConstraintNode']]],
-  ['directjoinmap_11188',['directJoinMap',['../classSVF_1_1ForkJoinAnalysis.html#abf5b499f93a658636d09a62d14a47cad',1,'SVF::ForkJoinAnalysis']]],
-  ['directoutedges_11189',['directOutEdges',['../classSVF_1_1ConstraintNode.html#affb426040b05678fcbce62002a02bb06',1,'SVF::ConstraintNode']]],
-  ['directpropatime_11190',['directPropaTime',['../classSVF_1_1FlowSensitive.html#ae086de68233375be42185f0af706687a',1,'SVF::FlowSensitive']]],
-  ['disablewarn_11191',['DisableWarn',['../classSVF_1_1Options.html#a1721ff576ad641d862f29b038f31db28',1,'SVF::Options']]],
-  ['distancematrixtime_11192',['DistanceMatrixTime',['../classSVF_1_1NodeIDAllocator_1_1Clusterer.html#a09d2dbb2faab0a0e03bfa353534116a8',1,'SVF::NodeIDAllocator::Clusterer']]],
-  ['ditype_11193',['diType',['../classSVF_1_1DCHNode.html#a05b5b4539273ac5d21d8cbcfa712a439',1,'SVF::DCHNode']]],
-  ['ditypetonodemap_11194',['diTypeToNodeMap',['../classSVF_1_1DCHGraph.html#ae2aee47b803f9cde8950b7f1ad11273d',1,'SVF::DCHGraph']]],
-  ['dolockanalysis_11195',['DoLockAnalysis',['../classSVF_1_1Options.html#ae2c4fe298a27f50c749b75f0801f9666',1,'SVF::Options']]],
-  ['dpmtoadcptsetmap_11196',['dpmToADCPtSetMap',['../classSVF_1_1DDAVFSolver.html#a2565bf8dcacb22350dc1dc98ec7595f2',1,'SVF::DDAVFSolver']]],
-  ['dpmtoloaddpmmap_11197',['dpmToloadDpmMap',['../classSVF_1_1DDAVFSolver.html#a9d8959dfee05685cd74d0d7a78069692',1,'SVF::DDAVFSolver']]],
-  ['dpmtotlcptsetmap_11198',['dpmToTLCPtSetMap',['../classSVF_1_1DDAVFSolver.html#a2d6df8149b45d719e22fc505df94171a',1,'SVF::DDAVFSolver']]],
-  ['dr_5fcheck_11199',['DR_CHECK',['../classSVF_1_1Annotator.html#a64fa6f1cac79c47c66b16ac29d2ac3f4',1,'SVF::Annotator']]],
-  ['dr_5fnot_5fcheck_11200',['DR_NOT_CHECK',['../classSVF_1_1Annotator.html#af220da6fe6fc879d15cc34ab397c5ba1',1,'SVF::Annotator']]],
-  ['dst_11201',['dst',['../classSVF_1_1GenericEdge.html#aa41cb7482bdab1ba328f4b94f30f3ee4',1,'SVF::GenericEdge']]],
-  ['dtbbsmap_11202',['dtBBsMap',['../classSVF_1_1SVFLoopAndDomInfo.html#a34296b98ee8dd1bfc0b1ae7fe327cde3',1,'SVF::SVFLoopAndDomInfo']]],
-  ['dtraits_11203',['DTraits',['../classSVF_1_1GraphWriter.html#a36f1ca2744fae2f45400e82f39e4fcd8',1,'SVF::GraphWriter']]],
-  ['dumpcha_11204',['DumpCHA',['../classSVF_1_1Options.html#afcef86c88bb86198a3579aef82b5e270',1,'SVF::Options']]],
-  ['dumpfree_11205',['DumpFree',['../classSVF_1_1Options.html#a03cd671379712e6b3fa8ac4ec9b4d1d4',1,'SVF::Options']]],
-  ['dumpicfg_11206',['DumpICFG',['../classSVF_1_1Options.html#ae7ccfb3d1308e205e5014849dcc43d9a',1,'SVF::Options']]],
-  ['dumpjson_11207',['DumpJson',['../classSVF_1_1Options.html#a3f5235cbdaab1bf53b9144d335c9c3d4',1,'SVF::Options']]],
-  ['dumpmssa_11208',['DumpMSSA',['../classSVF_1_1Options.html#a0bb4bfd677e2e45cc8c24bfc190edfaa',1,'SVF::Options']]],
-  ['dumpslice_11209',['DumpSlice',['../classSVF_1_1Options.html#ab9443e23bdcb60f118a7aab835f974db',1,'SVF::Options']]],
-  ['dumpsupts_11210',['DumpSUPts',['../classSVF_1_1Options.html#a6d45d7ba6852a986b53b31f60f967b01',1,'SVF::Options']]],
-  ['dumpsustore_11211',['DumpSUStore',['../classSVF_1_1Options.html#ab64401bdde8b0c846a78f21423e5cfb6',1,'SVF::Options']]],
-  ['dumpuninitptr_11212',['DumpUninitPtr',['../classSVF_1_1Options.html#a296e4a2187d14828cb0baf859f48d716',1,'SVF::Options']]],
-  ['dumpuninitvar_11213',['DumpUninitVar',['../classSVF_1_1Options.html#ab8075fe929f99b640d5c0a0530297025',1,'SVF::Options']]],
-  ['dumpvfg_11214',['DumpVFG',['../classSVF_1_1Options.html#ae3ad3003a8d3df2f1e3463248bb5ad51',1,'SVF::Options']]],
-  ['dval_11215',['dval',['../classSVF_1_1SVFConstantFP.html#aa1d551ad74dd5ce3eb4b7d639aec31a9',1,'SVF::SVFConstantFP']]]
+  ['daa_11166',['DAA',['../dda_8cpp.html#aa87e1cd4be4709a21393ed9e1a0da6bb',1,'dda.cpp']]],
+  ['data_11167',['data',['../classSVF_1_1List_1_1ListNode.html#a4a9cb4ae17156d6d80d2357e06231e12',1,'SVF::List::ListNode']]],
+  ['data_5flist_11168',['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_11169',['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_11170',['DDASelected',['../classSVF_1_1Options.html#afa6c98d477db41a457ac83cfbfd4a580',1,'SVF::Options']]],
+  ['ddastat_11171',['ddaStat',['../classSVF_1_1DDAVFSolver.html#ae40c7bad663e0fa07dee4be3d1794ff2',1,'SVF::DDAVFSolver']]],
+  ['def_11172',['def',['../classSVF_1_1MRVer.html#a3398bb8d3189413c275b62d5cb7a5fc4',1,'SVF::MRVer']]],
+  ['defnodes_11173',['defNodes',['../classSVF_1_1SVFGOPT.html#abd524dca72261bbcc7ebb1103b693a2b',1,'SVF::SVFGOPT']]],
+  ['deltamap_11174',['deltaMap',['../classSVF_1_1VersionedFlowSensitive.html#a11ddfa1faebf56e74e6dcc53e16142e1',1,'SVF::VersionedFlowSensitive']]],
+  ['deltasourcemap_11175',['deltaSourceMap',['../classSVF_1_1VersionedFlowSensitive.html#aee97e196225aaad29c0bd31d3ccbabf6',1,'SVF::VersionedFlowSensitive']]],
+  ['dendrogramtraversaltime_11176',['DendrogramTraversalTime',['../classSVF_1_1NodeIDAllocator_1_1Clusterer.html#a67ab9cffacc1584b2e7bae5d1b08c541',1,'SVF::NodeIDAllocator::Clusterer']]],
+  ['depth_11177',['depth',['../structparse__buffer.html#af613c4ed7d73f76c60c50d1bcf4c67a0',1,'parse_buffer::depth()'],['../structprintbuffer.html#aa7311b5da38ff8d1737824c611b48732',1,'printbuffer::depth()']]],
+  ['derefmdname_11178',['derefMDName',['../namespaceSVF_1_1cppUtil_1_1ctir.html#a0cd5347bc8043d4306e66a4a96005ace',1,'SVF::cppUtil::ctir']]],
+  ['description_11179',['description',['../classOptionBase.html#a8fbb1cde9e12a099617c8e8298424b5b',1,'OptionBase']]],
+  ['detectpwc_11180',['DetectPWC',['../classSVF_1_1Options.html#a3fc22d0a45be551110d1e326380f3202',1,'SVF::Options']]],
+  ['dfbbsmap_11181',['dfBBsMap',['../classSVF_1_1SVFLoopAndDomInfo.html#ae191915ae746e30c8370ebf8fe733723',1,'SVF::SVFLoopAndDomInfo']]],
+  ['dfinptsmap_11182',['dfInPtsMap',['../classSVF_1_1MutableDFPTData.html#abb59ef7367e353e65b82b54dac509f36',1,'SVF::MutableDFPTData::dfInPtsMap()'],['../classSVF_1_1PersistentDFPTData.html#a6b892b707524127928e269f0f0bbe868',1,'SVF::PersistentDFPTData::dfInPtsMap()']]],
+  ['dfoutptsmap_11183',['dfOutPtsMap',['../classSVF_1_1MutableDFPTData.html#ad3c53ef1c8e221299f3afe078946fbe0',1,'SVF::MutableDFPTData::dfOutPtsMap()'],['../classSVF_1_1PersistentDFPTData.html#ad77d7ccad393c995813f8c433c249dfc',1,'SVF::PersistentDFPTData::dfOutPtsMap()']]],
+  ['dfreechecker_11184',['DFREECHECKER',['../saber_8cpp.html#ab233df6b8c190aa2c26fa20bd1ac7c52',1,'saber.cpp']]],
+  ['diff_11185',['diff',['../classSVF_1_1POCRSolver.html#a403ddbfcdf61cd01ad9dc778a7e02af0',1,'SVF::POCRSolver']]],
+  ['diffpts_11186',['DiffPts',['../classSVF_1_1Options.html#ae782f25eaee9ac363c733b6ac609fbce',1,'SVF::Options']]],
+  ['diffptsmap_11187',['diffPtsMap',['../classSVF_1_1MutableDiffPTData.html#a9ee7874e987e93eb4cb9d75ed08effd5',1,'SVF::MutableDiffPTData::diffPtsMap()'],['../classSVF_1_1PersistentDiffPTData.html#ac54339952e2734a6affdaa543fb3ed22',1,'SVF::PersistentDiffPTData::diffPtsMap()']]],
+  ['diffwave_11188',['diffWave',['../classSVF_1_1AndersenWaveDiff.html#add4dcb6d74a8ce8747bcac5f740cd672',1,'SVF::AndersenWaveDiff']]],
+  ['dirandindjoinmap_11189',['dirAndIndJoinMap',['../classSVF_1_1ForkJoinAnalysis.html#ab5678bd46e573070827cc413f0e0d5be',1,'SVF::ForkJoinAnalysis']]],
+  ['directcalls_11190',['directCalls',['../classSVF_1_1PTACallGraphEdge.html#a2f3e4b61225c4ca37b0f70e3edc61920',1,'SVF::PTACallGraphEdge']]],
+  ['directedgeset_11191',['directEdgeSet',['../classSVF_1_1ConstraintGraph.html#a1be3ebb84b3d334daf98f7e6f5b82256',1,'SVF::ConstraintGraph']]],
+  ['directinedges_11192',['directInEdges',['../classSVF_1_1ConstraintNode.html#a53626700d25b5c004e42354c925df83c',1,'SVF::ConstraintNode']]],
+  ['directjoinmap_11193',['directJoinMap',['../classSVF_1_1ForkJoinAnalysis.html#abf5b499f93a658636d09a62d14a47cad',1,'SVF::ForkJoinAnalysis']]],
+  ['directoutedges_11194',['directOutEdges',['../classSVF_1_1ConstraintNode.html#affb426040b05678fcbce62002a02bb06',1,'SVF::ConstraintNode']]],
+  ['directpropatime_11195',['directPropaTime',['../classSVF_1_1FlowSensitive.html#ae086de68233375be42185f0af706687a',1,'SVF::FlowSensitive']]],
+  ['disablewarn_11196',['DisableWarn',['../classSVF_1_1Options.html#a1721ff576ad641d862f29b038f31db28',1,'SVF::Options']]],
+  ['distancematrixtime_11197',['DistanceMatrixTime',['../classSVF_1_1NodeIDAllocator_1_1Clusterer.html#a09d2dbb2faab0a0e03bfa353534116a8',1,'SVF::NodeIDAllocator::Clusterer']]],
+  ['ditype_11198',['diType',['../classSVF_1_1DCHNode.html#a05b5b4539273ac5d21d8cbcfa712a439',1,'SVF::DCHNode']]],
+  ['ditypetonodemap_11199',['diTypeToNodeMap',['../classSVF_1_1DCHGraph.html#ae2aee47b803f9cde8950b7f1ad11273d',1,'SVF::DCHGraph']]],
+  ['dolockanalysis_11200',['DoLockAnalysis',['../classSVF_1_1Options.html#ae2c4fe298a27f50c749b75f0801f9666',1,'SVF::Options']]],
+  ['dpmtoadcptsetmap_11201',['dpmToADCPtSetMap',['../classSVF_1_1DDAVFSolver.html#a2565bf8dcacb22350dc1dc98ec7595f2',1,'SVF::DDAVFSolver']]],
+  ['dpmtoloaddpmmap_11202',['dpmToloadDpmMap',['../classSVF_1_1DDAVFSolver.html#a9d8959dfee05685cd74d0d7a78069692',1,'SVF::DDAVFSolver']]],
+  ['dpmtotlcptsetmap_11203',['dpmToTLCPtSetMap',['../classSVF_1_1DDAVFSolver.html#a2d6df8149b45d719e22fc505df94171a',1,'SVF::DDAVFSolver']]],
+  ['dr_5fcheck_11204',['DR_CHECK',['../classSVF_1_1Annotator.html#a64fa6f1cac79c47c66b16ac29d2ac3f4',1,'SVF::Annotator']]],
+  ['dr_5fnot_5fcheck_11205',['DR_NOT_CHECK',['../classSVF_1_1Annotator.html#af220da6fe6fc879d15cc34ab397c5ba1',1,'SVF::Annotator']]],
+  ['dst_11206',['dst',['../classSVF_1_1GenericEdge.html#aa41cb7482bdab1ba328f4b94f30f3ee4',1,'SVF::GenericEdge']]],
+  ['dtbbsmap_11207',['dtBBsMap',['../classSVF_1_1SVFLoopAndDomInfo.html#a34296b98ee8dd1bfc0b1ae7fe327cde3',1,'SVF::SVFLoopAndDomInfo']]],
+  ['dtraits_11208',['DTraits',['../classSVF_1_1GraphWriter.html#a36f1ca2744fae2f45400e82f39e4fcd8',1,'SVF::GraphWriter']]],
+  ['dumpcha_11209',['DumpCHA',['../classSVF_1_1Options.html#afcef86c88bb86198a3579aef82b5e270',1,'SVF::Options']]],
+  ['dumpfree_11210',['DumpFree',['../classSVF_1_1Options.html#a03cd671379712e6b3fa8ac4ec9b4d1d4',1,'SVF::Options']]],
+  ['dumpicfg_11211',['DumpICFG',['../classSVF_1_1Options.html#ae7ccfb3d1308e205e5014849dcc43d9a',1,'SVF::Options']]],
+  ['dumpjson_11212',['DumpJson',['../classSVF_1_1Options.html#a3f5235cbdaab1bf53b9144d335c9c3d4',1,'SVF::Options']]],
+  ['dumpmssa_11213',['DumpMSSA',['../classSVF_1_1Options.html#a0bb4bfd677e2e45cc8c24bfc190edfaa',1,'SVF::Options']]],
+  ['dumpslice_11214',['DumpSlice',['../classSVF_1_1Options.html#ab9443e23bdcb60f118a7aab835f974db',1,'SVF::Options']]],
+  ['dumpsupts_11215',['DumpSUPts',['../classSVF_1_1Options.html#a6d45d7ba6852a986b53b31f60f967b01',1,'SVF::Options']]],
+  ['dumpsustore_11216',['DumpSUStore',['../classSVF_1_1Options.html#ab64401bdde8b0c846a78f21423e5cfb6',1,'SVF::Options']]],
+  ['dumpuninitptr_11217',['DumpUninitPtr',['../classSVF_1_1Options.html#a296e4a2187d14828cb0baf859f48d716',1,'SVF::Options']]],
+  ['dumpuninitvar_11218',['DumpUninitVar',['../classSVF_1_1Options.html#ab8075fe929f99b640d5c0a0530297025',1,'SVF::Options']]],
+  ['dumpvfg_11219',['DumpVFG',['../classSVF_1_1Options.html#ae3ad3003a8d3df2f1e3463248bb5ad51',1,'SVF::Options']]],
+  ['dval_11220',['dval',['../classSVF_1_1SVFConstantFP.html#aa1d551ad74dd5ce3eb4b7d639aec31a9',1,'SVF::SVFConstantFP']]]
 ];