svf-tools 1.0.905 → 1.0.907

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

@@ -1,146 +1,146 @@
 var searchData=
 [
-  ['cachedptschainmap_11472',['cachedPtsChainMap',['../classSVF_1_1MRGenerator.html#a0e46c7beb580ace3a652ac9e1c419b48',1,'SVF::MRGenerator']]],
-  ['call_11473',['call',['../classSVF_1_1CallPE.html#ace0704c65aa3637c50ff880f68808bba',1,'SVF::CallPE::call()'],['../classSVF_1_1RetPE.html#aa2d42edfce9d5a8c025c0bb529aee0f2',1,'SVF::RetPE::call()']]],
-  ['callblocknode_11474',['callBlockNode',['../classSVF_1_1RetICFGNode.html#a42f4b87f590b3a393059bcca5736c596',1,'SVF::RetICFGNode']]],
-  ['calledgelabelcounter_11475',['callEdgeLabelCounter',['../classSVF_1_1SVFStmt.html#a24227d7f1dd472f47bf94cb5db8505c4',1,'SVF::SVFStmt']]],
-  ['calledval_11476',['calledVal',['../classSVF_1_1SVFCallInst.html#a23ee9dbaa0052ef41ce2d75f1dc36491',1,'SVF::SVFCallInst']]],
-  ['callgraph_11477',['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_11478',['CallGraphDotGraph',['../classSVF_1_1Options.html#a0a998c2e1d701b2052985691babc4567',1,'SVF::Options']]],
-  ['callgraphnodenum_11479',['callGraphNodeNum',['../classSVF_1_1PTACallGraph.html#af0e1a940677fb7f6c4aaef2f9c46c3e5',1,'SVF::PTACallGraph']]],
-  ['callgraphscc_11480',['callGraphSCC',['../classSVF_1_1PointerAnalysis.html#ae3b651799345d9d92b6d736dafb03f63',1,'SVF::PointerAnalysis::callGraphSCC()'],['../classSVF_1_1MRGenerator.html#aa3a12cf1f761d25b9213bc6e50d89ba5',1,'SVF::MRGenerator::callGraphSCC()']]],
-  ['callinst_11481',['callInst',['../classSVF_1_1InterMSSAPHISVFGNode.html#aac74080dd5078d31d6f43edc2caf3c08',1,'SVF::InterMSSAPHISVFGNode::callInst()'],['../classSVF_1_1InterPHIVFGNode.html#a6a8b370c8de218abf89cf00a72d3cd0c',1,'SVF::InterPHIVFGNode::callInst()']]],
-  ['callinsttocallgraphedgesmap_11482',['callinstToCallGraphEdgesMap',['../classSVF_1_1PTACallGraph.html#ab29003352d8152b9d0fd37919ac212c5',1,'SVF::PTACallGraph']]],
-  ['callinsttohareparforedgesmap_11483',['callinstToHareParForEdgesMap',['../classSVF_1_1ThreadCallGraph.html#a42a088dba9cda7a7718685f80f52c928',1,'SVF::ThreadCallGraph']]],
-  ['callinsttothreadforkedgesmap_11484',['callinstToThreadForkEdgesMap',['../classSVF_1_1ThreadCallGraph.html#a79ba3df9d85eed3c9a55e6797fdcb9b9',1,'SVF::ThreadCallGraph']]],
-  ['callinsttothreadjoinedgesmap_11485',['callinstToThreadJoinEdgesMap',['../classSVF_1_1ThreadCallGraph.html#af2009968716a3785322e664a712cbb60',1,'SVF::ThreadCallGraph']]],
-  ['callpes_11486',['callPEs',['../classSVF_1_1CallCFGEdge.html#a3f48f7f041c5e6d385757035c551d51c',1,'SVF::CallCFGEdge::callPEs()'],['../classSVF_1_1FormalParmVFGNode.html#a8d124f42c320d38ddd08ed4948d63517',1,'SVF::FormalParmVFGNode::callPEs()']]],
-  ['callsite_11487',['callsite',['../classSVF_1_1CallMU.html#aa90a06c9e44914a7a8e104aa80bf1374',1,'SVF::CallMU::callsite()'],['../classSVF_1_1CallCHI.html#a30f1f8f2b23df3bad70d8083397e28eb',1,'SVF::CallCHI::callsite()']]],
-  ['callsite2dummyvalpn_11488',['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_11489',['callSiteArgsListMap',['../classSVF_1_1SVFIR.html#aa0920f5f967efdb89e23f12d31b112a2',1,'SVF::SVFIR']]],
-  ['callsiteretmap_11490',['callSiteRetMap',['../classSVF_1_1SVFIR.html#a11ab07f48c934f45c239393332aa60e1',1,'SVF::SVFIR']]],
-  ['callsiteset_11491',['callSiteSet',['../classSVF_1_1SVFIR.html#ac6c537688366e73bb0ae5db49c0b2450',1,'SVF::SVFIR']]],
-  ['callsitetoactualinmap_11492',['callSiteToActualINMap',['../classSVF_1_1SVFG.html#af9313ebec4a52fd887169b7c6373a7d4',1,'SVF::SVFG']]],
-  ['callsitetoactualoutmap_11493',['callSiteToActualOUTMap',['../classSVF_1_1SVFG.html#a39873b954b6e0eb0641f56ca4cd06ef9',1,'SVF::SVFG']]],
-  ['callsitetochisetmap_11494',['callsiteToChiSetMap',['../classSVF_1_1MemSSA.html#a1be5a6776c8785f26573b597881c8195',1,'SVF::MemSSA']]],
-  ['callsitetomodmrsmap_11495',['callsiteToModMRsMap',['../classSVF_1_1MRGenerator.html#adf8d477e5f622855799842134145ecc4',1,'SVF::MRGenerator']]],
-  ['callsitetomodpointstomap_11496',['callsiteToModPointsToMap',['../classSVF_1_1MRGenerator.html#ab8df193e84009e406c301731d17dc7b9',1,'SVF::MRGenerator']]],
-  ['callsitetomusetmap_11497',['callsiteToMuSetMap',['../classSVF_1_1MemSSA.html#aba54e534d18f68fbb97b26befd06ba1a',1,'SVF::MemSSA']]],
-  ['callsitetorefmrsmap_11498',['callsiteToRefMRsMap',['../classSVF_1_1MRGenerator.html#a7a7ed21181c2486b60170a479a5a534e',1,'SVF::MRGenerator']]],
-  ['callsitetorefpointstomap_11499',['callsiteToRefPointsToMap',['../classSVF_1_1MRGenerator.html#a34967cda51699f948a581b9f88fa3b10',1,'SVF::MRGenerator']]],
-  ['candidatefuncset_11500',['candidateFuncSet',['../classSVF_1_1TCT.html#a720a934088dddda2b134cabcc59ef43d',1,'SVF::TCT']]],
-  ['candidatemappings_11501',['candidateMappings',['../classSVF_1_1FlowSensitive.html#adba7ffe68ae7edce9b3aa896f978da6b',1,'SVF::FlowSensitive']]],
-  ['candidatepointers_11502',['candidatePointers',['../classSVF_1_1SVFIR.html#abd9f622b55839d6796ca2576f2323498',1,'SVF::SVFIR']]],
-  ['candidatequeries_11503',['candidateQueries',['../classSVF_1_1DDAClient.html#aa6fdff97be2e1a886237b515406d2e61',1,'SVF::DDAClient::candidateQueries()'],['../classSVF_1_1DDAVFSolver.html#ae0e78fafb7eec0fbc1a02d24547335e9',1,'SVF::DDAVFSolver::candidateQueries()']]],
-  ['candidates_11504',['candidates',['../classSVF_1_1WPAMinimumSolver.html#a3e26f894660fb22f7d2f342bb4338ff8',1,'SVF::WPAMinimumSolver']]],
-  ['canonicaltypemap_11505',['canonicalTypeMap',['../classSVF_1_1DCHGraph.html#a638572301c0faf8046a965e46f6105c7',1,'SVF::DCHGraph']]],
-  ['canonicaltypes_11506',['canonicalTypes',['../classSVF_1_1DCHGraph.html#af9d58fa796387a247018c56cce1a3fac',1,'SVF::DCHGraph']]],
-  ['case_5fsensitive_11507',['case_sensitive',['../cJSON_8h.html#a05334336676ca1cd88db19ede4a065de',1,'cJSON.h']]],
-  ['cb_11508',['CB',['../classSVF_1_1CallSite.html#a3de20fdb58def4ea6af2d635f0d2e730',1,'SVF::CallSite']]],
-  ['cbv_11509',['cbv',['../classSVF_1_1PointsTo.html#a79333c4ae5c002d9632fa589956b3605',1,'SVF::PointsTo::cbv()'],['../classSVF_1_1CoreBitVector_1_1CoreBitVectorIterator.html#a0cba79551b56ed83dc45ab63619dc590',1,'SVF::CoreBitVector::CoreBitVectorIterator::cbv()']]],
-  ['cbvit_11510',['cbvIt',['../classSVF_1_1PointsTo_1_1PointsToIterator.html#a4db2c62eb3ad789ab7aaf7506cd340b2',1,'SVF::PointsTo::PointsToIterator']]],
-  ['cfledgeset_11511',['cflEdgeSet',['../classSVF_1_1CFLGraph.html#afb41039ad53899fa64fedcef8b7aa7fe',1,'SVF::CFLGraph']]],
-  ['cflgraph_11512',['cflGraph',['../classSVF_1_1CFLGraphBuilder.html#af034366ce280120e5cd1a5685894e9ac',1,'SVF::CFLGraphBuilder::cflGraph()'],['../classSVF_1_1Options.html#a81dbd12b5141c4a2758d6f2d3321f1ac',1,'SVF::Options::CFLGraph()']]],
-  ['cflsvfg_11513',['CFLSVFG',['../classSVF_1_1Options.html#a7ef3e2cd417646e9d06e0da16ff6c516',1,'SVF::Options']]],
-  ['chaffmap_11514',['chaFFMap',['../classSVF_1_1DCHGraph.html#a607d83338feeb58af3638b988b7fa00b',1,'SVF::DCHGraph']]],
-  ['chamap_11515',['chaMap',['../classSVF_1_1DCHGraph.html#ad4d431ceff25218fcb5830be12739ac3',1,'SVF::DCHGraph']]],
-  ['chg_11516',['chg',['../classSVF_1_1CHGBuilder.html#ab3471cc9afba5976c7e5fbd07dfb22dc',1,'SVF::CHGBuilder']]],
-  ['chgraph_11517',['chgraph',['../classSVF_1_1PointerAnalysis.html#a0c0fce2539bb9ec6c824f6584a0f6b33',1,'SVF::PointerAnalysis::chgraph()'],['../classSVF_1_1SVFIR.html#a31c54c878be428cc92cf08970fef422b',1,'SVF::SVFIR::chgraph()']]],
-  ['chgraphreader_11518',['chGraphReader',['../classSVF_1_1SVFIRReader.html#a8362a86ac83f1fe41d7028d5a8e0c0b4',1,'SVF::SVFIRReader']]],
-  ['chgwriter_11519',['chgWriter',['../classSVF_1_1SVFIRWriter.html#aab50fec943a00c96155d395d514febe7',1,'SVF::SVFIRWriter']]],
-  ['child_11520',['child',['../structcJSON.html#a401b274c2da358dac5c23ab8b2c71f85',1,'cJSON::child()'],['../cJSON_8cpp.html#ad00efb41ca386db28bacc7aefe79535c',1,'child(): cJSON.cpp']]],
-  ['children_11521',['children',['../structSVF_1_1POCRHybridSolver_1_1TreeNode.html#a960c186f2dc559c371334876a272e795',1,'SVF::POCRHybridSolver::TreeNode']]],
-  ['cilocktospan_11522',['ciLocktoSpan',['../classSVF_1_1LockAnalysis.html#afc4212873c3e05ac9506aac0a25f515a',1,'SVF::LockAnalysis']]],
-  ['ckapi_11523',['ckAPI',['../classSVF_1_1SaberCheckerAPI.html#a3e54cae9b4259da2332c7fc87d3df347',1,'SVF::SaberCheckerAPI']]],
-  ['classname_11524',['className',['../structSVF_1_1cppUtil_1_1DemangledName.html#a5cd207bce618521166e6fa235014b297',1,'SVF::cppUtil::DemangledName::className()'],['../classSVF_1_1CHNode.html#ac7c18617b768a2988cf4eff7e849f397',1,'SVF::CHNode::className()']]],
-  ['classnametoancestorsmap_11525',['classNameToAncestorsMap',['../classSVF_1_1CHGraph.html#a083f726d74208c2d8107a75e0d6b3ca9',1,'SVF::CHGraph']]],
-  ['classnametodescendantsmap_11526',['classNameToDescendantsMap',['../classSVF_1_1CHGraph.html#ac08f846413b6aed26a1bf39eb865b006',1,'SVF::CHGraph']]],
-  ['classnametoinstanddescsmap_11527',['classNameToInstAndDescsMap',['../classSVF_1_1CHGraph.html#aaec4bdde66e4a7a63ea3f3c6ec0bd045',1,'SVF::CHGraph']]],
-  ['classnametonodemap_11528',['classNameToNodeMap',['../classSVF_1_1CHGraph.html#ae613ad20686db0f2159a00cb00ae0a9e',1,'SVF::CHGraph']]],
-  ['classnum_11529',['classNum',['../classSVF_1_1CHGraph.html#adb99b732d20cfc8cc0f078cda6753bc0',1,'SVF::CHGraph']]],
-  ['clocktype_11530',['ClockType',['../classSVF_1_1Options.html#a28af43961cb29a7dea50be2ab332cc75',1,'SVF::Options']]],
-  ['clplist_11531',['clpList',['../classSVF_1_1LockAnalysis.html#afff2c5699e08badf5265e8183b18a02e',1,'SVF::LockAnalysis']]],
-  ['clsname_11532',['clsName',['../CppUtil_8cpp.html#a5f8da60b0fcc28445f508f4e42513a82',1,'CppUtil.cpp']]],
-  ['clusterander_11533',['ClusterAnder',['../classSVF_1_1Options.html#a46743284466ff803f52a82b094186d16',1,'SVF::Options']]],
-  ['clusterfs_11534',['ClusterFs',['../classSVF_1_1Options.html#a853caba808dc7d17cba4ad4214b56b6f',1,'SVF::Options']]],
-  ['clustermethod_11535',['ClusterMethod',['../classSVF_1_1Options.html#ac17ce6d75293dcd0baf366cbeb0cb6d6',1,'SVF::Options']]],
-  ['collapsetime_11536',['CollapseTime',['../classSVF_1_1AndersenStat.html#a3f5739454b1f4e03b4388a4ba5730e15',1,'SVF::AndersenStat']]],
-  ['collectextretglobals_11537',['CollectExtRetGlobals',['../classSVF_1_1Options.html#a9be31261a2f96c5733bd35a5da07eb76',1,'SVF::Options']]],
-  ['complementcache_11538',['complementCache',['../classSVF_1_1PersistentPointsToCache.html#adef498f8a0d4c75023382e6312a85a58',1,'SVF::PersistentPointsToCache']]],
-  ['concretecxt_11539',['concreteCxt',['../classSVF_1_1ContextCond.html#a453722fc2b9b4ae4be0dfc1f020390eb',1,'SVF::ContextCond']]],
-  ['cond_11540',['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_11541',['condition',['../classSVF_1_1SelectStmt.html#a2d6e9d7131bc69a0e88b703c2c03d7e2',1,'SVF::SelectStmt']]],
-  ['conditionvar_11542',['conditionVar',['../classSVF_1_1IntraCFGEdge.html#a4c6975e82794958aecb2013c0941777d',1,'SVF::IntraCFGEdge']]],
-  ['conditionvec_11543',['conditionVec',['../classSVF_1_1SaberCondAllocator.html#afd6cf17070e3629ced1ac36b8e2b0bbb',1,'SVF::SaberCondAllocator']]],
-  ['connectdirsvfgedgetimeend_11544',['connectDirSVFGEdgeTimeEnd',['../classSVF_1_1SVFGStat.html#ac243fababbb9d2f3efbea5411f947c21',1,'SVF::SVFGStat']]],
-  ['connectdirsvfgedgetimestart_11545',['connectDirSVFGEdgeTimeStart',['../classSVF_1_1SVFGStat.html#a0a967faad014cdd53f5dddfdc59edbc3',1,'SVF::SVFGStat']]],
-  ['connectindsvfgedgetimeend_11546',['connectIndSVFGEdgeTimeEnd',['../classSVF_1_1SVFGStat.html#a3210cc1283669129234aa2c3feb67654',1,'SVF::SVFGStat']]],
-  ['connectindsvfgedgetimestart_11547',['connectIndSVFGEdgeTimeStart',['../classSVF_1_1SVFGStat.html#a2a697caecf23413187aef90a8097e0b0',1,'SVF::SVFGStat']]],
-  ['connectvcalloncha_11548',['ConnectVCallOnCHA',['../classSVF_1_1Options.html#abf71061d93d4a3b32246f19dc71e5127',1,'SVF::Options']]],
-  ['conscg_11549',['consCG',['../classSVF_1_1AndersenBase.html#ae21e38a06a4397d11cdd17b0f8f282fd',1,'SVF::AndersenBase']]],
-  ['conscgdotgraph_11550',['ConsCGDotGraph',['../classSVF_1_1Options.html#ad80f77349205dac9e74aa41ea1ecbf95',1,'SVF::Options']]],
-  ['constantobjectid_11551',['constantObjectId',['../classSVF_1_1NodeIDAllocator.html#a6a300a5b455fe4b8bace2f1d66fb5f9d',1,'SVF::NodeIDAllocator']]],
-  ['constantset_11552',['ConstantSet',['../classSVF_1_1SVFModule.html#a6ce288ee551c8a33cb353ee2374762c7',1,'SVF::SVFModule']]],
-  ['constdataoraggdata_11553',['constDataOrAggData',['../classSVF_1_1SVFValue.html#afc657036de9342fae6223077c10fcb01',1,'SVF::SVFValue']]],
-  ['consume_11554',['consume',['../classSVF_1_1VersionedFlowSensitive.html#a2e4e6a84cbfd553ad9cca8fdf9fd4a8d',1,'SVF::VersionedFlowSensitive']]],
-  ['containingaggs_11555',['containingAggs',['../classSVF_1_1DCHGraph.html#aac5595a230db0e8a81a6d6b67a4fdf58',1,'SVF::DCHGraph']]],
-  ['content_11556',['content',['../structparse__buffer.html#a52ee1184576baa3d5171059ab0e942de',1,'parse_buffer::content()'],['../cJSON_8cpp.html#a7886d4c98c027896a652ad0ada741709',1,'content(): cJSON.cpp']]],
-  ['context_11557',['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_11558',['contextDDA',['../classSVF_1_1DDAStat.html#ac3fb8b15c5308c926209a941c7cf62e1',1,'SVF::DDAStat']]],
-  ['contextinsensitive_11559',['ContextInsensitive',['../classSVF_1_1Options.html#ae60822a71ee1cd389413d98dfb35e302',1,'SVF::Options']]],
-  ['controldg_11560',['controlDg',['../classSVF_1_1CDG.html#a70b59b33f4266b22cc58fa832ded900a',1,'SVF::CDG']]],
-  ['copy_11561',['copy',['../cJSON_8cpp.html#a7669ee67a0563250c1efaa24d130e1ac',1,'cJSON.cpp']]],
-  ['copyinedges_11562',['copyInEdges',['../classSVF_1_1ConstraintNode.html#a4d413d64bf554ecdc72709afeeb85775',1,'SVF::ConstraintNode']]],
-  ['copykind_11563',['copyKind',['../classSVF_1_1CopyStmt.html#ab9ccfc4abb877add21319fa7e2d6b0a1',1,'SVF::CopyStmt']]],
-  ['copyoutedges_11564',['copyOutEdges',['../classSVF_1_1ConstraintNode.html#a12df688fd9b5b7617daadc7bee0fff40',1,'SVF::ConstraintNode']]],
-  ['copytime_11565',['copyTime',['../classSVF_1_1FlowSensitive.html#a888d6334e5e226c634680e4c0674dcfb',1,'SVF::FlowSensitive']]],
-  ['count_11566',['count',['../classSVF_1_1AEStat.html#a03a5abacf309902ce2bb9a9733ff195f',1,'SVF::AEStat::count()'],['../cJSON_8h.html#ad43c3812e6d13e0518d9f8b8f463ffcf',1,'count(): cJSON.h'],['../cJSON_8cpp.html#ad43c3812e6d13e0518d9f8b8f463ffcf',1,'count(): cJSON.cpp']]],
-  ['coverage_11567',['coverage',['../classSVF_1_1SVFBugReport.html#abdb02bf4b61c6cbccd4b9c3c01590ddc',1,'SVF::SVFBugReport']]],
-  ['cpts_11568',['cpts',['../classSVF_1_1IndirectSVFGEdge.html#a2d54c1c3567ef6676ba15f88c622e5b7',1,'SVF::IndirectSVFGEdge::cpts()'],['../classSVF_1_1MRSVFGNode.html#a640153ff592bf0058882a0d05a76b1ba',1,'SVF::MRSVFGNode::cpts()']]],
-  ['cptsset_11569',['cptsSet',['../classSVF_1_1MemRegion.html#a77a18bcce56cf48d1c338e852a2be9bc',1,'SVF::MemRegion']]],
-  ['cptstorepcptsmap_11570',['cptsToRepCPtsMap',['../classSVF_1_1MRGenerator.html#ab4d1ff0357d389a65ff1c2112ce631a1',1,'SVF::MRGenerator']]],
-  ['cs_11571',['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_11572',['csc',['../classSVF_1_1AndersenSFR.html#aa39c668b1473ac4fb99da3aa736c9edb',1,'SVF::AndersenSFR']]],
-  ['cschamap_11573',['csCHAMap',['../classSVF_1_1DCHGraph.html#ad79a569e77f94fa8494eed3f18e07e90',1,'SVF::DCHGraph']]],
-  ['csid_11574',['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_11575',['csnumToInstMap',['../classSVF_1_1MTAResultValidator.html#ae2717c467dc7c49fab0ec93bfa4baaab',1,'SVF::MTAResultValidator']]],
-  ['cstocallnodemap_11576',['CSToCallNodeMap',['../classSVF_1_1ICFG.html#af0434d6ffd247eeaf73b9294e659a3f9',1,'SVF::ICFG']]],
-  ['cstocallsiteargsptsmap_11577',['csToCallSiteArgsPtsMap',['../classSVF_1_1MRGenerator.html#afe91b57b451d7788364493549e015acf',1,'SVF::MRGenerator']]],
-  ['cstocallsiteretptsmap_11578',['csToCallSiteRetPtsMap',['../classSVF_1_1MRGenerator.html#a21550f978f42ac3cbb32cbc426ff5cb1',1,'SVF::MRGenerator']]],
-  ['cstochavfnsmap_11579',['csToCHAVFnsMap',['../classSVF_1_1CHGraph.html#a5e6502c5baad99c70e1cf56c84ce9474',1,'SVF::CHGraph']]],
-  ['cstochavtblsmap_11580',['csToCHAVtblsMap',['../classSVF_1_1CHGraph.html#af3ed2bee5d76e5a848b250950c3be333',1,'SVF::CHGraph']]],
-  ['cstoclassesmap_11581',['csToClassesMap',['../classSVF_1_1CHGraph.html#a7ef9982d89a4932883bd58bc49ad9986',1,'SVF::CHGraph']]],
-  ['cstoidmap_11582',['csToIdMap',['../classSVF_1_1PTACallGraph.html#a75ffe4f24d59ad42601b7550aa988187',1,'SVF::PTACallGraph']]],
-  ['cstomodsmap_11583',['csToModsMap',['../classSVF_1_1MRGenerator.html#a603f993995e7d6961e203a195bb56029',1,'SVF::MRGenerator']]],
-  ['cstorefsmap_11584',['csToRefsMap',['../classSVF_1_1MRGenerator.html#ac7b5ca3fd950e1a940f875ac135640f6',1,'SVF::MRGenerator']]],
-  ['cstoretnodemap_11585',['CSToRetNodeMap',['../classSVF_1_1ICFG.html#a0e43308038663c10667177238b23ab3e',1,'SVF::ICFG']]],
-  ['ctplist_11586',['ctpList',['../classSVF_1_1TCT.html#a80dad1dfdf64cb7a5805eb8bedf79226',1,'SVF::TCT']]],
-  ['ctptonodemap_11587',['ctpToNodeMap',['../classSVF_1_1TCT.html#a0ccb6e9ffff0f22a0a054a92222893d5',1,'SVF::TCT']]],
-  ['cttoforkcxtmap_11588',['ctToForkCxtMap',['../classSVF_1_1TCT.html#aea88fdb40c28724546f5903d3a73999a',1,'SVF::TCT']]],
-  ['cttoroutinefunmap_11589',['ctToRoutineFunMap',['../classSVF_1_1TCT.html#a36c7884869d923c1a9363962c9e013bd',1,'SVF::TCT']]],
-  ['ctx_11590',['ctx',['../classSVF_1_1TCTNode.html#a8f2ef1020b45aada8b79ac3b8d27c2a6',1,'SVF::TCTNode::ctx()'],['../classSVF_1_1Z3Expr.html#af02935097a8db09812781ac8c42d93e5',1,'SVF::Z3Expr::ctx()']]],
-  ['cur_11591',['cur',['../classSVF_1_1DPItem.html#a82d2a11fb456192ec88fcb5ffe239d80',1,'SVF::DPItem']]],
-  ['curbb_11592',['curBB',['../classSVF_1_1SVFIRBuilder.html#a8219f7e2581cc9974b42cf95d8318b15',1,'SVF::SVFIRBuilder']]],
-  ['curevalsvfgnode_11593',['curEvalSVFGNode',['../classSVF_1_1SaberCondAllocator.html#a4ac9b5ec6bfd7a7b468cb13a5e8803e0',1,'SVF::SaberCondAllocator']]],
-  ['curloc_11594',['curloc',['../classSVF_1_1StmtDPItem.html#a9e20ebd5ae8272a4aef74914098f97ef',1,'SVF::StmtDPItem']]],
-  ['curptr_11595',['curPtr',['../classSVF_1_1DDAClient.html#a6a133cf24ef65eaf58c82ec213f3f6cb',1,'SVF::DDAClient']]],
-  ['currelementiter_11596',['CurrElementIter',['../classSVF_1_1SparseBitVector.html#ada7cb2e144c2fccd0d50138778b152dd',1,'SVF::SparseBitVector']]],
-  ['current_11597',['current',['../classSVF_1_1CFLGraphBuilder.html#aad408d6ecb776fd763c9b9221a1bed18',1,'SVF::CFLGraphBuilder']]],
-  ['currentbestnodemapping_11598',['currentBestNodeMapping',['../classSVF_1_1PointsTo.html#a98781dd444ada40af7eef9aefe76123d',1,'SVF::PointsTo']]],
-  ['currentbestreversenodemapping_11599',['currentBestReverseNodeMapping',['../classSVF_1_1PointsTo.html#a53e1230c87912d26604990eb8b0cbc0c',1,'SVF::PointsTo']]],
-  ['cursccid_11600',['curSCCID',['../classSVF_1_1WPASCCSolver.html#a28973d7e1301c36254b67c695e8431aa',1,'SVF::WPASCCSolver']]],
-  ['curty_11601',['CurTy',['../classllvm_1_1generic__bridge__gep__type__iterator.html#af4eefb034e50627c6d4ef5bfcdcb4f57',1,'llvm::generic_bridge_gep_type_iterator']]],
-  ['curval_11602',['curVal',['../classSVF_1_1SVFIRBuilder.html#aefc70f2a0a2103259ae36d026cbb18be',1,'SVF::SVFIRBuilder']]],
-  ['customized_11603',['Customized',['../classSVF_1_1Options.html#a15a9c1086e1bbd6a76d56ad1bdd6b994',1,'SVF::Options']]],
-  ['cxt_11604',['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_11605',['CXT_THREAD',['../classSVF_1_1MTAResultValidator.html#a909e66d94d4f3ce6e0c1e0fe5b50483a',1,'SVF::MTAResultValidator']]],
-  ['cxtbudget_11606',['CxtBudget',['../classSVF_1_1Options.html#a3bbd106de519cb8d00f33e82f14d279b',1,'SVF::Options']]],
-  ['cxtjoininloop_11607',['cxtJoinInLoop',['../classSVF_1_1ForkJoinAnalysis.html#a63da48d338683ec95709a6bd95238707',1,'SVF::ForkJoinAnalysis']]],
-  ['cxtlimit_11608',['CxtLimit',['../classSVF_1_1Options.html#a3fd9cce83729bc62cd2fb568b0d53db5',1,'SVF::Options']]],
-  ['cxtlockset_11609',['cxtLockSet',['../classSVF_1_1LockResultValidator.html#a51e6f48be9f2a65b390e4e0350eb12a9',1,'SVF::LockResultValidator::cxtLockSet()'],['../classSVF_1_1LockAnalysis.html#a3081e7c7165908ed4aa282f398c5236d',1,'SVF::LockAnalysis::cxtLockset()']]],
-  ['cxtlocktospan_11610',['cxtLocktoSpan',['../classSVF_1_1LockAnalysis.html#a2fd796765f16cc7094f36d68c0ff70a0',1,'SVF::LockAnalysis']]],
-  ['cxtstmtlist_11611',['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_11612',['cxtStmtToAliveFlagMap',['../classSVF_1_1ForkJoinAnalysis.html#aa31b3f3d51b963ccd475e66b77143dba',1,'SVF::ForkJoinAnalysis']]],
-  ['cxtstmttocxtlockset_11613',['cxtStmtToCxtLockSet',['../classSVF_1_1LockResultValidator.html#ad8a03181445edeb835fed08c88f6e0bb',1,'SVF::LockResultValidator::cxtStmtToCxtLockSet()'],['../classSVF_1_1LockAnalysis.html#ae256a84fd63947a6f81bee030bdbe7fc',1,'SVF::LockAnalysis::cxtStmtToCxtLockSet()']]],
-  ['cyclicfldidx_11614',['CyclicFldIdx',['../classSVF_1_1Options.html#a3914c0785473a773c7cb3da01229f2ee',1,'SVF::Options']]]
+  ['cachedptschainmap_11329',['cachedPtsChainMap',['../classSVF_1_1MRGenerator.html#a0e46c7beb580ace3a652ac9e1c419b48',1,'SVF::MRGenerator']]],
+  ['call_11330',['call',['../classSVF_1_1CallPE.html#ace0704c65aa3637c50ff880f68808bba',1,'SVF::CallPE::call()'],['../classSVF_1_1RetPE.html#aa2d42edfce9d5a8c025c0bb529aee0f2',1,'SVF::RetPE::call()']]],
+  ['callblocknode_11331',['callBlockNode',['../classSVF_1_1RetICFGNode.html#a42f4b87f590b3a393059bcca5736c596',1,'SVF::RetICFGNode']]],
+  ['calledgelabelcounter_11332',['callEdgeLabelCounter',['../classSVF_1_1SVFStmt.html#a24227d7f1dd472f47bf94cb5db8505c4',1,'SVF::SVFStmt']]],
+  ['calledval_11333',['calledVal',['../classSVF_1_1SVFCallInst.html#a23ee9dbaa0052ef41ce2d75f1dc36491',1,'SVF::SVFCallInst']]],
+  ['callgraph_11334',['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_11335',['CallGraphDotGraph',['../classSVF_1_1Options.html#a0a998c2e1d701b2052985691babc4567',1,'SVF::Options']]],
+  ['callgraphnodenum_11336',['callGraphNodeNum',['../classSVF_1_1PTACallGraph.html#af0e1a940677fb7f6c4aaef2f9c46c3e5',1,'SVF::PTACallGraph']]],
+  ['callgraphscc_11337',['callGraphSCC',['../classSVF_1_1PointerAnalysis.html#ae3b651799345d9d92b6d736dafb03f63',1,'SVF::PointerAnalysis::callGraphSCC()'],['../classSVF_1_1MRGenerator.html#aa3a12cf1f761d25b9213bc6e50d89ba5',1,'SVF::MRGenerator::callGraphSCC()']]],
+  ['callinst_11338',['callInst',['../classSVF_1_1InterMSSAPHISVFGNode.html#aac74080dd5078d31d6f43edc2caf3c08',1,'SVF::InterMSSAPHISVFGNode::callInst()'],['../classSVF_1_1InterPHIVFGNode.html#a6a8b370c8de218abf89cf00a72d3cd0c',1,'SVF::InterPHIVFGNode::callInst()']]],
+  ['callinsttocallgraphedgesmap_11339',['callinstToCallGraphEdgesMap',['../classSVF_1_1PTACallGraph.html#ab29003352d8152b9d0fd37919ac212c5',1,'SVF::PTACallGraph']]],
+  ['callinsttohareparforedgesmap_11340',['callinstToHareParForEdgesMap',['../classSVF_1_1ThreadCallGraph.html#a42a088dba9cda7a7718685f80f52c928',1,'SVF::ThreadCallGraph']]],
+  ['callinsttothreadforkedgesmap_11341',['callinstToThreadForkEdgesMap',['../classSVF_1_1ThreadCallGraph.html#a79ba3df9d85eed3c9a55e6797fdcb9b9',1,'SVF::ThreadCallGraph']]],
+  ['callinsttothreadjoinedgesmap_11342',['callinstToThreadJoinEdgesMap',['../classSVF_1_1ThreadCallGraph.html#af2009968716a3785322e664a712cbb60',1,'SVF::ThreadCallGraph']]],
+  ['callpes_11343',['callPEs',['../classSVF_1_1CallCFGEdge.html#a3f48f7f041c5e6d385757035c551d51c',1,'SVF::CallCFGEdge::callPEs()'],['../classSVF_1_1FormalParmVFGNode.html#a8d124f42c320d38ddd08ed4948d63517',1,'SVF::FormalParmVFGNode::callPEs()']]],
+  ['callsite_11344',['callsite',['../classSVF_1_1CallMU.html#aa90a06c9e44914a7a8e104aa80bf1374',1,'SVF::CallMU::callsite()'],['../classSVF_1_1CallCHI.html#a30f1f8f2b23df3bad70d8083397e28eb',1,'SVF::CallCHI::callsite()']]],
+  ['callsite2dummyvalpn_11345',['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_11346',['callSiteArgsListMap',['../classSVF_1_1SVFIR.html#aa0920f5f967efdb89e23f12d31b112a2',1,'SVF::SVFIR']]],
+  ['callsiteretmap_11347',['callSiteRetMap',['../classSVF_1_1SVFIR.html#a11ab07f48c934f45c239393332aa60e1',1,'SVF::SVFIR']]],
+  ['callsiteset_11348',['callSiteSet',['../classSVF_1_1SVFIR.html#ac6c537688366e73bb0ae5db49c0b2450',1,'SVF::SVFIR']]],
+  ['callsitetoactualinmap_11349',['callSiteToActualINMap',['../classSVF_1_1SVFG.html#af9313ebec4a52fd887169b7c6373a7d4',1,'SVF::SVFG']]],
+  ['callsitetoactualoutmap_11350',['callSiteToActualOUTMap',['../classSVF_1_1SVFG.html#a39873b954b6e0eb0641f56ca4cd06ef9',1,'SVF::SVFG']]],
+  ['callsitetochisetmap_11351',['callsiteToChiSetMap',['../classSVF_1_1MemSSA.html#a1be5a6776c8785f26573b597881c8195',1,'SVF::MemSSA']]],
+  ['callsitetomodmrsmap_11352',['callsiteToModMRsMap',['../classSVF_1_1MRGenerator.html#adf8d477e5f622855799842134145ecc4',1,'SVF::MRGenerator']]],
+  ['callsitetomodpointstomap_11353',['callsiteToModPointsToMap',['../classSVF_1_1MRGenerator.html#ab8df193e84009e406c301731d17dc7b9',1,'SVF::MRGenerator']]],
+  ['callsitetomusetmap_11354',['callsiteToMuSetMap',['../classSVF_1_1MemSSA.html#aba54e534d18f68fbb97b26befd06ba1a',1,'SVF::MemSSA']]],
+  ['callsitetorefmrsmap_11355',['callsiteToRefMRsMap',['../classSVF_1_1MRGenerator.html#a7a7ed21181c2486b60170a479a5a534e',1,'SVF::MRGenerator']]],
+  ['callsitetorefpointstomap_11356',['callsiteToRefPointsToMap',['../classSVF_1_1MRGenerator.html#a34967cda51699f948a581b9f88fa3b10',1,'SVF::MRGenerator']]],
+  ['candidatefuncset_11357',['candidateFuncSet',['../classSVF_1_1TCT.html#a720a934088dddda2b134cabcc59ef43d',1,'SVF::TCT']]],
+  ['candidatemappings_11358',['candidateMappings',['../classSVF_1_1FlowSensitive.html#adba7ffe68ae7edce9b3aa896f978da6b',1,'SVF::FlowSensitive']]],
+  ['candidatepointers_11359',['candidatePointers',['../classSVF_1_1SVFIR.html#abd9f622b55839d6796ca2576f2323498',1,'SVF::SVFIR']]],
+  ['candidatequeries_11360',['candidateQueries',['../classSVF_1_1DDAClient.html#aa6fdff97be2e1a886237b515406d2e61',1,'SVF::DDAClient::candidateQueries()'],['../classSVF_1_1DDAVFSolver.html#ae0e78fafb7eec0fbc1a02d24547335e9',1,'SVF::DDAVFSolver::candidateQueries()']]],
+  ['candidates_11361',['candidates',['../classSVF_1_1WPAMinimumSolver.html#a3e26f894660fb22f7d2f342bb4338ff8',1,'SVF::WPAMinimumSolver']]],
+  ['canonicaltypemap_11362',['canonicalTypeMap',['../classSVF_1_1DCHGraph.html#a638572301c0faf8046a965e46f6105c7',1,'SVF::DCHGraph']]],
+  ['canonicaltypes_11363',['canonicalTypes',['../classSVF_1_1DCHGraph.html#af9d58fa796387a247018c56cce1a3fac',1,'SVF::DCHGraph']]],
+  ['case_5fsensitive_11364',['case_sensitive',['../cJSON_8h.html#a05334336676ca1cd88db19ede4a065de',1,'cJSON.h']]],
+  ['cb_11365',['CB',['../classSVF_1_1CallSite.html#a3de20fdb58def4ea6af2d635f0d2e730',1,'SVF::CallSite']]],
+  ['cbv_11366',['cbv',['../classSVF_1_1PointsTo.html#a79333c4ae5c002d9632fa589956b3605',1,'SVF::PointsTo::cbv()'],['../classSVF_1_1CoreBitVector_1_1CoreBitVectorIterator.html#a0cba79551b56ed83dc45ab63619dc590',1,'SVF::CoreBitVector::CoreBitVectorIterator::cbv()']]],
+  ['cbvit_11367',['cbvIt',['../classSVF_1_1PointsTo_1_1PointsToIterator.html#a4db2c62eb3ad789ab7aaf7506cd340b2',1,'SVF::PointsTo::PointsToIterator']]],
+  ['cfledgeset_11368',['cflEdgeSet',['../classSVF_1_1CFLGraph.html#afb41039ad53899fa64fedcef8b7aa7fe',1,'SVF::CFLGraph']]],
+  ['cflgraph_11369',['cflGraph',['../classSVF_1_1CFLGraphBuilder.html#af034366ce280120e5cd1a5685894e9ac',1,'SVF::CFLGraphBuilder::cflGraph()'],['../classSVF_1_1Options.html#a81dbd12b5141c4a2758d6f2d3321f1ac',1,'SVF::Options::CFLGraph()']]],
+  ['cflsvfg_11370',['CFLSVFG',['../classSVF_1_1Options.html#a7ef3e2cd417646e9d06e0da16ff6c516',1,'SVF::Options']]],
+  ['chaffmap_11371',['chaFFMap',['../classSVF_1_1DCHGraph.html#a607d83338feeb58af3638b988b7fa00b',1,'SVF::DCHGraph']]],
+  ['chamap_11372',['chaMap',['../classSVF_1_1DCHGraph.html#ad4d431ceff25218fcb5830be12739ac3',1,'SVF::DCHGraph']]],
+  ['chg_11373',['chg',['../classSVF_1_1CHGBuilder.html#ab3471cc9afba5976c7e5fbd07dfb22dc',1,'SVF::CHGBuilder']]],
+  ['chgraph_11374',['chgraph',['../classSVF_1_1PointerAnalysis.html#a0c0fce2539bb9ec6c824f6584a0f6b33',1,'SVF::PointerAnalysis::chgraph()'],['../classSVF_1_1SVFIR.html#a31c54c878be428cc92cf08970fef422b',1,'SVF::SVFIR::chgraph()']]],
+  ['chgraphreader_11375',['chGraphReader',['../classSVF_1_1SVFIRReader.html#a8362a86ac83f1fe41d7028d5a8e0c0b4',1,'SVF::SVFIRReader']]],
+  ['chgwriter_11376',['chgWriter',['../classSVF_1_1SVFIRWriter.html#aab50fec943a00c96155d395d514febe7',1,'SVF::SVFIRWriter']]],
+  ['child_11377',['child',['../structcJSON.html#a401b274c2da358dac5c23ab8b2c71f85',1,'cJSON::child()'],['../cJSON_8cpp.html#ad00efb41ca386db28bacc7aefe79535c',1,'child(): cJSON.cpp']]],
+  ['children_11378',['children',['../structSVF_1_1POCRHybridSolver_1_1TreeNode.html#a960c186f2dc559c371334876a272e795',1,'SVF::POCRHybridSolver::TreeNode']]],
+  ['cilocktospan_11379',['ciLocktoSpan',['../classSVF_1_1LockAnalysis.html#afc4212873c3e05ac9506aac0a25f515a',1,'SVF::LockAnalysis']]],
+  ['ckapi_11380',['ckAPI',['../classSVF_1_1SaberCheckerAPI.html#a3e54cae9b4259da2332c7fc87d3df347',1,'SVF::SaberCheckerAPI']]],
+  ['classname_11381',['className',['../structSVF_1_1cppUtil_1_1DemangledName.html#a5cd207bce618521166e6fa235014b297',1,'SVF::cppUtil::DemangledName::className()'],['../classSVF_1_1CHNode.html#ac7c18617b768a2988cf4eff7e849f397',1,'SVF::CHNode::className()']]],
+  ['classnametoancestorsmap_11382',['classNameToAncestorsMap',['../classSVF_1_1CHGraph.html#a083f726d74208c2d8107a75e0d6b3ca9',1,'SVF::CHGraph']]],
+  ['classnametodescendantsmap_11383',['classNameToDescendantsMap',['../classSVF_1_1CHGraph.html#ac08f846413b6aed26a1bf39eb865b006',1,'SVF::CHGraph']]],
+  ['classnametoinstanddescsmap_11384',['classNameToInstAndDescsMap',['../classSVF_1_1CHGraph.html#aaec4bdde66e4a7a63ea3f3c6ec0bd045',1,'SVF::CHGraph']]],
+  ['classnametonodemap_11385',['classNameToNodeMap',['../classSVF_1_1CHGraph.html#ae613ad20686db0f2159a00cb00ae0a9e',1,'SVF::CHGraph']]],
+  ['classnum_11386',['classNum',['../classSVF_1_1CHGraph.html#adb99b732d20cfc8cc0f078cda6753bc0',1,'SVF::CHGraph']]],
+  ['clocktype_11387',['ClockType',['../classSVF_1_1Options.html#a28af43961cb29a7dea50be2ab332cc75',1,'SVF::Options']]],
+  ['clplist_11388',['clpList',['../classSVF_1_1LockAnalysis.html#afff2c5699e08badf5265e8183b18a02e',1,'SVF::LockAnalysis']]],
+  ['clsname_11389',['clsName',['../CppUtil_8cpp.html#a5f8da60b0fcc28445f508f4e42513a82',1,'CppUtil.cpp']]],
+  ['clusterander_11390',['ClusterAnder',['../classSVF_1_1Options.html#a46743284466ff803f52a82b094186d16',1,'SVF::Options']]],
+  ['clusterfs_11391',['ClusterFs',['../classSVF_1_1Options.html#a853caba808dc7d17cba4ad4214b56b6f',1,'SVF::Options']]],
+  ['clustermethod_11392',['ClusterMethod',['../classSVF_1_1Options.html#ac17ce6d75293dcd0baf366cbeb0cb6d6',1,'SVF::Options']]],
+  ['collapsetime_11393',['CollapseTime',['../classSVF_1_1AndersenStat.html#a3f5739454b1f4e03b4388a4ba5730e15',1,'SVF::AndersenStat']]],
+  ['collectextretglobals_11394',['CollectExtRetGlobals',['../classSVF_1_1Options.html#a9be31261a2f96c5733bd35a5da07eb76',1,'SVF::Options']]],
+  ['complementcache_11395',['complementCache',['../classSVF_1_1PersistentPointsToCache.html#adef498f8a0d4c75023382e6312a85a58',1,'SVF::PersistentPointsToCache']]],
+  ['concretecxt_11396',['concreteCxt',['../classSVF_1_1ContextCond.html#a453722fc2b9b4ae4be0dfc1f020390eb',1,'SVF::ContextCond']]],
+  ['cond_11397',['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_11398',['condition',['../classSVF_1_1SelectStmt.html#a2d6e9d7131bc69a0e88b703c2c03d7e2',1,'SVF::SelectStmt']]],
+  ['conditionvar_11399',['conditionVar',['../classSVF_1_1IntraCFGEdge.html#a4c6975e82794958aecb2013c0941777d',1,'SVF::IntraCFGEdge']]],
+  ['conditionvec_11400',['conditionVec',['../classSVF_1_1SaberCondAllocator.html#afd6cf17070e3629ced1ac36b8e2b0bbb',1,'SVF::SaberCondAllocator']]],
+  ['connectdirsvfgedgetimeend_11401',['connectDirSVFGEdgeTimeEnd',['../classSVF_1_1SVFGStat.html#ac243fababbb9d2f3efbea5411f947c21',1,'SVF::SVFGStat']]],
+  ['connectdirsvfgedgetimestart_11402',['connectDirSVFGEdgeTimeStart',['../classSVF_1_1SVFGStat.html#a0a967faad014cdd53f5dddfdc59edbc3',1,'SVF::SVFGStat']]],
+  ['connectindsvfgedgetimeend_11403',['connectIndSVFGEdgeTimeEnd',['../classSVF_1_1SVFGStat.html#a3210cc1283669129234aa2c3feb67654',1,'SVF::SVFGStat']]],
+  ['connectindsvfgedgetimestart_11404',['connectIndSVFGEdgeTimeStart',['../classSVF_1_1SVFGStat.html#a2a697caecf23413187aef90a8097e0b0',1,'SVF::SVFGStat']]],
+  ['connectvcalloncha_11405',['ConnectVCallOnCHA',['../classSVF_1_1Options.html#abf71061d93d4a3b32246f19dc71e5127',1,'SVF::Options']]],
+  ['conscg_11406',['consCG',['../classSVF_1_1AndersenBase.html#ae21e38a06a4397d11cdd17b0f8f282fd',1,'SVF::AndersenBase']]],
+  ['conscgdotgraph_11407',['ConsCGDotGraph',['../classSVF_1_1Options.html#ad80f77349205dac9e74aa41ea1ecbf95',1,'SVF::Options']]],
+  ['constantobjectid_11408',['constantObjectId',['../classSVF_1_1NodeIDAllocator.html#a6a300a5b455fe4b8bace2f1d66fb5f9d',1,'SVF::NodeIDAllocator']]],
+  ['constantset_11409',['ConstantSet',['../classSVF_1_1SVFModule.html#a6ce288ee551c8a33cb353ee2374762c7',1,'SVF::SVFModule']]],
+  ['constdataoraggdata_11410',['constDataOrAggData',['../classSVF_1_1SVFValue.html#afc657036de9342fae6223077c10fcb01',1,'SVF::SVFValue']]],
+  ['consume_11411',['consume',['../classSVF_1_1VersionedFlowSensitive.html#a2e4e6a84cbfd553ad9cca8fdf9fd4a8d',1,'SVF::VersionedFlowSensitive']]],
+  ['containingaggs_11412',['containingAggs',['../classSVF_1_1DCHGraph.html#aac5595a230db0e8a81a6d6b67a4fdf58',1,'SVF::DCHGraph']]],
+  ['content_11413',['content',['../structparse__buffer.html#a52ee1184576baa3d5171059ab0e942de',1,'parse_buffer::content()'],['../cJSON_8cpp.html#a7886d4c98c027896a652ad0ada741709',1,'content(): cJSON.cpp']]],
+  ['context_11414',['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_11415',['contextDDA',['../classSVF_1_1DDAStat.html#ac3fb8b15c5308c926209a941c7cf62e1',1,'SVF::DDAStat']]],
+  ['contextinsensitive_11416',['ContextInsensitive',['../classSVF_1_1Options.html#ae60822a71ee1cd389413d98dfb35e302',1,'SVF::Options']]],
+  ['controldg_11417',['controlDg',['../classSVF_1_1CDG.html#a70b59b33f4266b22cc58fa832ded900a',1,'SVF::CDG']]],
+  ['copy_11418',['copy',['../cJSON_8cpp.html#a7669ee67a0563250c1efaa24d130e1ac',1,'cJSON.cpp']]],
+  ['copyinedges_11419',['copyInEdges',['../classSVF_1_1ConstraintNode.html#a4d413d64bf554ecdc72709afeeb85775',1,'SVF::ConstraintNode']]],
+  ['copykind_11420',['copyKind',['../classSVF_1_1CopyStmt.html#ab9ccfc4abb877add21319fa7e2d6b0a1',1,'SVF::CopyStmt']]],
+  ['copyoutedges_11421',['copyOutEdges',['../classSVF_1_1ConstraintNode.html#a12df688fd9b5b7617daadc7bee0fff40',1,'SVF::ConstraintNode']]],
+  ['copytime_11422',['copyTime',['../classSVF_1_1FlowSensitive.html#a888d6334e5e226c634680e4c0674dcfb',1,'SVF::FlowSensitive']]],
+  ['count_11423',['count',['../classSVF_1_1AEStat.html#a03a5abacf309902ce2bb9a9733ff195f',1,'SVF::AEStat::count()'],['../cJSON_8h.html#ad43c3812e6d13e0518d9f8b8f463ffcf',1,'count(): cJSON.h'],['../cJSON_8cpp.html#ad43c3812e6d13e0518d9f8b8f463ffcf',1,'count(): cJSON.cpp']]],
+  ['coverage_11424',['coverage',['../classSVF_1_1SVFBugReport.html#abdb02bf4b61c6cbccd4b9c3c01590ddc',1,'SVF::SVFBugReport']]],
+  ['cpts_11425',['cpts',['../classSVF_1_1IndirectSVFGEdge.html#a2d54c1c3567ef6676ba15f88c622e5b7',1,'SVF::IndirectSVFGEdge::cpts()'],['../classSVF_1_1MRSVFGNode.html#a640153ff592bf0058882a0d05a76b1ba',1,'SVF::MRSVFGNode::cpts()']]],
+  ['cptsset_11426',['cptsSet',['../classSVF_1_1MemRegion.html#a77a18bcce56cf48d1c338e852a2be9bc',1,'SVF::MemRegion']]],
+  ['cptstorepcptsmap_11427',['cptsToRepCPtsMap',['../classSVF_1_1MRGenerator.html#ab4d1ff0357d389a65ff1c2112ce631a1',1,'SVF::MRGenerator']]],
+  ['cs_11428',['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_11429',['csc',['../classSVF_1_1AndersenSFR.html#aa39c668b1473ac4fb99da3aa736c9edb',1,'SVF::AndersenSFR']]],
+  ['cschamap_11430',['csCHAMap',['../classSVF_1_1DCHGraph.html#ad79a569e77f94fa8494eed3f18e07e90',1,'SVF::DCHGraph']]],
+  ['csid_11431',['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_11432',['csnumToInstMap',['../classSVF_1_1MTAResultValidator.html#ae2717c467dc7c49fab0ec93bfa4baaab',1,'SVF::MTAResultValidator']]],
+  ['cstocallnodemap_11433',['CSToCallNodeMap',['../classSVF_1_1ICFG.html#af0434d6ffd247eeaf73b9294e659a3f9',1,'SVF::ICFG']]],
+  ['cstocallsiteargsptsmap_11434',['csToCallSiteArgsPtsMap',['../classSVF_1_1MRGenerator.html#afe91b57b451d7788364493549e015acf',1,'SVF::MRGenerator']]],
+  ['cstocallsiteretptsmap_11435',['csToCallSiteRetPtsMap',['../classSVF_1_1MRGenerator.html#a21550f978f42ac3cbb32cbc426ff5cb1',1,'SVF::MRGenerator']]],
+  ['cstochavfnsmap_11436',['csToCHAVFnsMap',['../classSVF_1_1CHGraph.html#a5e6502c5baad99c70e1cf56c84ce9474',1,'SVF::CHGraph']]],
+  ['cstochavtblsmap_11437',['csToCHAVtblsMap',['../classSVF_1_1CHGraph.html#af3ed2bee5d76e5a848b250950c3be333',1,'SVF::CHGraph']]],
+  ['cstoclassesmap_11438',['csToClassesMap',['../classSVF_1_1CHGraph.html#a7ef9982d89a4932883bd58bc49ad9986',1,'SVF::CHGraph']]],
+  ['cstoidmap_11439',['csToIdMap',['../classSVF_1_1PTACallGraph.html#a75ffe4f24d59ad42601b7550aa988187',1,'SVF::PTACallGraph']]],
+  ['cstomodsmap_11440',['csToModsMap',['../classSVF_1_1MRGenerator.html#a603f993995e7d6961e203a195bb56029',1,'SVF::MRGenerator']]],
+  ['cstorefsmap_11441',['csToRefsMap',['../classSVF_1_1MRGenerator.html#ac7b5ca3fd950e1a940f875ac135640f6',1,'SVF::MRGenerator']]],
+  ['cstoretnodemap_11442',['CSToRetNodeMap',['../classSVF_1_1ICFG.html#a0e43308038663c10667177238b23ab3e',1,'SVF::ICFG']]],
+  ['ctplist_11443',['ctpList',['../classSVF_1_1TCT.html#a80dad1dfdf64cb7a5805eb8bedf79226',1,'SVF::TCT']]],
+  ['ctptonodemap_11444',['ctpToNodeMap',['../classSVF_1_1TCT.html#a0ccb6e9ffff0f22a0a054a92222893d5',1,'SVF::TCT']]],
+  ['cttoforkcxtmap_11445',['ctToForkCxtMap',['../classSVF_1_1TCT.html#aea88fdb40c28724546f5903d3a73999a',1,'SVF::TCT']]],
+  ['cttoroutinefunmap_11446',['ctToRoutineFunMap',['../classSVF_1_1TCT.html#a36c7884869d923c1a9363962c9e013bd',1,'SVF::TCT']]],
+  ['ctx_11447',['ctx',['../classSVF_1_1TCTNode.html#a8f2ef1020b45aada8b79ac3b8d27c2a6',1,'SVF::TCTNode::ctx()'],['../classSVF_1_1Z3Expr.html#af02935097a8db09812781ac8c42d93e5',1,'SVF::Z3Expr::ctx()']]],
+  ['cur_11448',['cur',['../classSVF_1_1DPItem.html#a82d2a11fb456192ec88fcb5ffe239d80',1,'SVF::DPItem']]],
+  ['curbb_11449',['curBB',['../classSVF_1_1SVFIRBuilder.html#a8219f7e2581cc9974b42cf95d8318b15',1,'SVF::SVFIRBuilder']]],
+  ['curevalsvfgnode_11450',['curEvalSVFGNode',['../classSVF_1_1SaberCondAllocator.html#a4ac9b5ec6bfd7a7b468cb13a5e8803e0',1,'SVF::SaberCondAllocator']]],
+  ['curloc_11451',['curloc',['../classSVF_1_1StmtDPItem.html#a9e20ebd5ae8272a4aef74914098f97ef',1,'SVF::StmtDPItem']]],
+  ['curptr_11452',['curPtr',['../classSVF_1_1DDAClient.html#a6a133cf24ef65eaf58c82ec213f3f6cb',1,'SVF::DDAClient']]],
+  ['currelementiter_11453',['CurrElementIter',['../classSVF_1_1SparseBitVector.html#ada7cb2e144c2fccd0d50138778b152dd',1,'SVF::SparseBitVector']]],
+  ['current_11454',['current',['../classSVF_1_1CFLGraphBuilder.html#aad408d6ecb776fd763c9b9221a1bed18',1,'SVF::CFLGraphBuilder']]],
+  ['currentbestnodemapping_11455',['currentBestNodeMapping',['../classSVF_1_1PointsTo.html#a98781dd444ada40af7eef9aefe76123d',1,'SVF::PointsTo']]],
+  ['currentbestreversenodemapping_11456',['currentBestReverseNodeMapping',['../classSVF_1_1PointsTo.html#a53e1230c87912d26604990eb8b0cbc0c',1,'SVF::PointsTo']]],
+  ['cursccid_11457',['curSCCID',['../classSVF_1_1WPASCCSolver.html#a28973d7e1301c36254b67c695e8431aa',1,'SVF::WPASCCSolver']]],
+  ['curty_11458',['CurTy',['../classllvm_1_1generic__bridge__gep__type__iterator.html#af4eefb034e50627c6d4ef5bfcdcb4f57',1,'llvm::generic_bridge_gep_type_iterator']]],
+  ['curval_11459',['curVal',['../classSVF_1_1SVFIRBuilder.html#aefc70f2a0a2103259ae36d026cbb18be',1,'SVF::SVFIRBuilder']]],
+  ['customized_11460',['Customized',['../classSVF_1_1Options.html#a15a9c1086e1bbd6a76d56ad1bdd6b994',1,'SVF::Options']]],
+  ['cxt_11461',['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_11462',['CXT_THREAD',['../classSVF_1_1MTAResultValidator.html#a909e66d94d4f3ce6e0c1e0fe5b50483a',1,'SVF::MTAResultValidator']]],
+  ['cxtbudget_11463',['CxtBudget',['../classSVF_1_1Options.html#a3bbd106de519cb8d00f33e82f14d279b',1,'SVF::Options']]],
+  ['cxtjoininloop_11464',['cxtJoinInLoop',['../classSVF_1_1ForkJoinAnalysis.html#a63da48d338683ec95709a6bd95238707',1,'SVF::ForkJoinAnalysis']]],
+  ['cxtlimit_11465',['CxtLimit',['../classSVF_1_1Options.html#a3fd9cce83729bc62cd2fb568b0d53db5',1,'SVF::Options']]],
+  ['cxtlockset_11466',['cxtLockSet',['../classSVF_1_1LockResultValidator.html#a51e6f48be9f2a65b390e4e0350eb12a9',1,'SVF::LockResultValidator::cxtLockSet()'],['../classSVF_1_1LockAnalysis.html#a3081e7c7165908ed4aa282f398c5236d',1,'SVF::LockAnalysis::cxtLockset()']]],
+  ['cxtlocktospan_11467',['cxtLocktoSpan',['../classSVF_1_1LockAnalysis.html#a2fd796765f16cc7094f36d68c0ff70a0',1,'SVF::LockAnalysis']]],
+  ['cxtstmtlist_11468',['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_11469',['cxtStmtToAliveFlagMap',['../classSVF_1_1ForkJoinAnalysis.html#aa31b3f3d51b963ccd475e66b77143dba',1,'SVF::ForkJoinAnalysis']]],
+  ['cxtstmttocxtlockset_11470',['cxtStmtToCxtLockSet',['../classSVF_1_1LockResultValidator.html#ad8a03181445edeb835fed08c88f6e0bb',1,'SVF::LockResultValidator::cxtStmtToCxtLockSet()'],['../classSVF_1_1LockAnalysis.html#ae256a84fd63947a6f81bee030bdbe7fc',1,'SVF::LockAnalysis::cxtStmtToCxtLockSet()']]],
+  ['cyclicfldidx_11471',['CyclicFldIdx',['../classSVF_1_1Options.html#a3914c0785473a773c7cb3da01229f2ee',1,'SVF::Options']]]
 ];

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

@@ -1,54 +1,54 @@
 var searchData=
 [
-  ['daa_11615',['DAA',['../dda_8cpp.html#aa87e1cd4be4709a21393ed9e1a0da6bb',1,'dda.cpp']]],
-  ['data_11616',['data',['../classSVF_1_1List_1_1ListNode.html#a4a9cb4ae17156d6d80d2357e06231e12',1,'SVF::List::ListNode']]],
-  ['data_5flist_11617',['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_11618',['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_11619',['DDASelected',['../classSVF_1_1Options.html#afa6c98d477db41a457ac83cfbfd4a580',1,'SVF::Options']]],
-  ['ddastat_11620',['ddaStat',['../classSVF_1_1DDAVFSolver.html#ae40c7bad663e0fa07dee4be3d1794ff2',1,'SVF::DDAVFSolver']]],
-  ['def_11621',['def',['../classSVF_1_1MRVer.html#a3398bb8d3189413c275b62d5cb7a5fc4',1,'SVF::MRVer']]],
-  ['defnodes_11622',['defNodes',['../classSVF_1_1SVFGOPT.html#abd524dca72261bbcc7ebb1103b693a2b',1,'SVF::SVFGOPT']]],
-  ['deltamap_11623',['deltaMap',['../classSVF_1_1VersionedFlowSensitive.html#a11ddfa1faebf56e74e6dcc53e16142e1',1,'SVF::VersionedFlowSensitive']]],
-  ['deltasourcemap_11624',['deltaSourceMap',['../classSVF_1_1VersionedFlowSensitive.html#aee97e196225aaad29c0bd31d3ccbabf6',1,'SVF::VersionedFlowSensitive']]],
-  ['dendrogramtraversaltime_11625',['DendrogramTraversalTime',['../classSVF_1_1NodeIDAllocator_1_1Clusterer.html#a67ab9cffacc1584b2e7bae5d1b08c541',1,'SVF::NodeIDAllocator::Clusterer']]],
-  ['depth_11626',['depth',['../structparse__buffer.html#af613c4ed7d73f76c60c50d1bcf4c67a0',1,'parse_buffer::depth()'],['../structprintbuffer.html#aa7311b5da38ff8d1737824c611b48732',1,'printbuffer::depth()']]],
-  ['derefmdname_11627',['derefMDName',['../namespaceSVF_1_1cppUtil_1_1ctir.html#a0cd5347bc8043d4306e66a4a96005ace',1,'SVF::cppUtil::ctir']]],
-  ['description_11628',['description',['../classOptionBase.html#a8fbb1cde9e12a099617c8e8298424b5b',1,'OptionBase']]],
-  ['detectpwc_11629',['DetectPWC',['../classSVF_1_1Options.html#a3fc22d0a45be551110d1e326380f3202',1,'SVF::Options']]],
-  ['dfbbsmap_11630',['dfBBsMap',['../classSVF_1_1SVFLoopAndDomInfo.html#ae191915ae746e30c8370ebf8fe733723',1,'SVF::SVFLoopAndDomInfo']]],
-  ['dfinptsmap_11631',['dfInPtsMap',['../classSVF_1_1MutableDFPTData.html#abb59ef7367e353e65b82b54dac509f36',1,'SVF::MutableDFPTData::dfInPtsMap()'],['../classSVF_1_1PersistentDFPTData.html#a6b892b707524127928e269f0f0bbe868',1,'SVF::PersistentDFPTData::dfInPtsMap()']]],
-  ['dfoutptsmap_11632',['dfOutPtsMap',['../classSVF_1_1MutableDFPTData.html#ad3c53ef1c8e221299f3afe078946fbe0',1,'SVF::MutableDFPTData::dfOutPtsMap()'],['../classSVF_1_1PersistentDFPTData.html#ad77d7ccad393c995813f8c433c249dfc',1,'SVF::PersistentDFPTData::dfOutPtsMap()']]],
-  ['dfreecheck_11633',['DFreeCheck',['../classSVF_1_1Options.html#a3a38989c49d0544f7cd7de85e5ea63f6',1,'SVF::Options']]],
-  ['diff_11634',['diff',['../classSVF_1_1POCRSolver.html#a403ddbfcdf61cd01ad9dc778a7e02af0',1,'SVF::POCRSolver']]],
-  ['diffpts_11635',['DiffPts',['../classSVF_1_1Options.html#ae782f25eaee9ac363c733b6ac609fbce',1,'SVF::Options']]],
-  ['diffptsmap_11636',['diffPtsMap',['../classSVF_1_1MutableDiffPTData.html#a9ee7874e987e93eb4cb9d75ed08effd5',1,'SVF::MutableDiffPTData::diffPtsMap()'],['../classSVF_1_1PersistentDiffPTData.html#ac54339952e2734a6affdaa543fb3ed22',1,'SVF::PersistentDiffPTData::diffPtsMap()']]],
-  ['diffwave_11637',['diffWave',['../classSVF_1_1AndersenWaveDiff.html#add4dcb6d74a8ce8747bcac5f740cd672',1,'SVF::AndersenWaveDiff']]],
-  ['dirandindjoinmap_11638',['dirAndIndJoinMap',['../classSVF_1_1ForkJoinAnalysis.html#ab5678bd46e573070827cc413f0e0d5be',1,'SVF::ForkJoinAnalysis']]],
-  ['directcalls_11639',['directCalls',['../classSVF_1_1PTACallGraphEdge.html#a2f3e4b61225c4ca37b0f70e3edc61920',1,'SVF::PTACallGraphEdge']]],
-  ['directedgeset_11640',['directEdgeSet',['../classSVF_1_1ConstraintGraph.html#a1be3ebb84b3d334daf98f7e6f5b82256',1,'SVF::ConstraintGraph']]],
-  ['directinedges_11641',['directInEdges',['../classSVF_1_1ConstraintNode.html#a53626700d25b5c004e42354c925df83c',1,'SVF::ConstraintNode']]],
-  ['directjoinmap_11642',['directJoinMap',['../classSVF_1_1ForkJoinAnalysis.html#abf5b499f93a658636d09a62d14a47cad',1,'SVF::ForkJoinAnalysis']]],
-  ['directoutedges_11643',['directOutEdges',['../classSVF_1_1ConstraintNode.html#affb426040b05678fcbce62002a02bb06',1,'SVF::ConstraintNode']]],
-  ['directpropatime_11644',['directPropaTime',['../classSVF_1_1FlowSensitive.html#ae086de68233375be42185f0af706687a',1,'SVF::FlowSensitive']]],
-  ['disablewarn_11645',['DisableWarn',['../classSVF_1_1Options.html#a1721ff576ad641d862f29b038f31db28',1,'SVF::Options']]],
-  ['distancematrixtime_11646',['DistanceMatrixTime',['../classSVF_1_1NodeIDAllocator_1_1Clusterer.html#a09d2dbb2faab0a0e03bfa353534116a8',1,'SVF::NodeIDAllocator::Clusterer']]],
-  ['ditype_11647',['diType',['../classSVF_1_1DCHNode.html#a05b5b4539273ac5d21d8cbcfa712a439',1,'SVF::DCHNode']]],
-  ['ditypetonodemap_11648',['diTypeToNodeMap',['../classSVF_1_1DCHGraph.html#ae2aee47b803f9cde8950b7f1ad11273d',1,'SVF::DCHGraph']]],
-  ['dolockanalysis_11649',['DoLockAnalysis',['../classSVF_1_1Options.html#ae2c4fe298a27f50c749b75f0801f9666',1,'SVF::Options']]],
-  ['dpmtoadcptsetmap_11650',['dpmToADCPtSetMap',['../classSVF_1_1DDAVFSolver.html#a2565bf8dcacb22350dc1dc98ec7595f2',1,'SVF::DDAVFSolver']]],
-  ['dpmtoloaddpmmap_11651',['dpmToloadDpmMap',['../classSVF_1_1DDAVFSolver.html#a9d8959dfee05685cd74d0d7a78069692',1,'SVF::DDAVFSolver']]],
-  ['dpmtotlcptsetmap_11652',['dpmToTLCPtSetMap',['../classSVF_1_1DDAVFSolver.html#a2d6df8149b45d719e22fc505df94171a',1,'SVF::DDAVFSolver']]],
-  ['dr_5fcheck_11653',['DR_CHECK',['../classSVF_1_1Annotator.html#a64fa6f1cac79c47c66b16ac29d2ac3f4',1,'SVF::Annotator']]],
-  ['dr_5fnot_5fcheck_11654',['DR_NOT_CHECK',['../classSVF_1_1Annotator.html#af220da6fe6fc879d15cc34ab397c5ba1',1,'SVF::Annotator']]],
-  ['dst_11655',['dst',['../classSVF_1_1GenericEdge.html#aa41cb7482bdab1ba328f4b94f30f3ee4',1,'SVF::GenericEdge']]],
-  ['dtbbsmap_11656',['dtBBsMap',['../classSVF_1_1SVFLoopAndDomInfo.html#a34296b98ee8dd1bfc0b1ae7fe327cde3',1,'SVF::SVFLoopAndDomInfo']]],
-  ['dtraits_11657',['DTraits',['../classSVF_1_1GraphWriter.html#a36f1ca2744fae2f45400e82f39e4fcd8',1,'SVF::GraphWriter']]],
-  ['dumpcha_11658',['DumpCHA',['../classSVF_1_1Options.html#afcef86c88bb86198a3579aef82b5e270',1,'SVF::Options']]],
-  ['dumpicfg_11659',['DumpICFG',['../classSVF_1_1Options.html#ae7ccfb3d1308e205e5014849dcc43d9a',1,'SVF::Options']]],
-  ['dumpjson_11660',['DumpJson',['../classSVF_1_1Options.html#a3f5235cbdaab1bf53b9144d335c9c3d4',1,'SVF::Options']]],
-  ['dumpmssa_11661',['DumpMSSA',['../classSVF_1_1Options.html#a0bb4bfd677e2e45cc8c24bfc190edfaa',1,'SVF::Options']]],
-  ['dumpslice_11662',['DumpSlice',['../classSVF_1_1Options.html#ab9443e23bdcb60f118a7aab835f974db',1,'SVF::Options']]],
-  ['dumpvfg_11663',['DumpVFG',['../classSVF_1_1Options.html#ae3ad3003a8d3df2f1e3463248bb5ad51',1,'SVF::Options']]],
-  ['dval_11664',['dval',['../classSVF_1_1SVFConstantFP.html#aa1d551ad74dd5ce3eb4b7d639aec31a9',1,'SVF::SVFConstantFP']]],
-  ['dyncast_11665',['dyncast',['../CppUtil_8cpp.html#a7972d88aaaa4644ee22e5b95ac465a80',1,'CppUtil.cpp']]]
+  ['daa_11472',['DAA',['../dda_8cpp.html#aa87e1cd4be4709a21393ed9e1a0da6bb',1,'dda.cpp']]],
+  ['data_11473',['data',['../classSVF_1_1List_1_1ListNode.html#a4a9cb4ae17156d6d80d2357e06231e12',1,'SVF::List::ListNode']]],
+  ['data_5flist_11474',['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_11475',['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_11476',['DDASelected',['../classSVF_1_1Options.html#afa6c98d477db41a457ac83cfbfd4a580',1,'SVF::Options']]],
+  ['ddastat_11477',['ddaStat',['../classSVF_1_1DDAVFSolver.html#ae40c7bad663e0fa07dee4be3d1794ff2',1,'SVF::DDAVFSolver']]],
+  ['def_11478',['def',['../classSVF_1_1MRVer.html#a3398bb8d3189413c275b62d5cb7a5fc4',1,'SVF::MRVer']]],
+  ['defnodes_11479',['defNodes',['../classSVF_1_1SVFGOPT.html#abd524dca72261bbcc7ebb1103b693a2b',1,'SVF::SVFGOPT']]],
+  ['deltamap_11480',['deltaMap',['../classSVF_1_1VersionedFlowSensitive.html#a11ddfa1faebf56e74e6dcc53e16142e1',1,'SVF::VersionedFlowSensitive']]],
+  ['deltasourcemap_11481',['deltaSourceMap',['../classSVF_1_1VersionedFlowSensitive.html#aee97e196225aaad29c0bd31d3ccbabf6',1,'SVF::VersionedFlowSensitive']]],
+  ['dendrogramtraversaltime_11482',['DendrogramTraversalTime',['../classSVF_1_1NodeIDAllocator_1_1Clusterer.html#a67ab9cffacc1584b2e7bae5d1b08c541',1,'SVF::NodeIDAllocator::Clusterer']]],
+  ['depth_11483',['depth',['../structparse__buffer.html#af613c4ed7d73f76c60c50d1bcf4c67a0',1,'parse_buffer::depth()'],['../structprintbuffer.html#aa7311b5da38ff8d1737824c611b48732',1,'printbuffer::depth()']]],
+  ['derefmdname_11484',['derefMDName',['../namespaceSVF_1_1cppUtil_1_1ctir.html#a0cd5347bc8043d4306e66a4a96005ace',1,'SVF::cppUtil::ctir']]],
+  ['description_11485',['description',['../classOptionBase.html#a8fbb1cde9e12a099617c8e8298424b5b',1,'OptionBase']]],
+  ['detectpwc_11486',['DetectPWC',['../classSVF_1_1Options.html#a3fc22d0a45be551110d1e326380f3202',1,'SVF::Options']]],
+  ['dfbbsmap_11487',['dfBBsMap',['../classSVF_1_1SVFLoopAndDomInfo.html#ae191915ae746e30c8370ebf8fe733723',1,'SVF::SVFLoopAndDomInfo']]],
+  ['dfinptsmap_11488',['dfInPtsMap',['../classSVF_1_1MutableDFPTData.html#abb59ef7367e353e65b82b54dac509f36',1,'SVF::MutableDFPTData::dfInPtsMap()'],['../classSVF_1_1PersistentDFPTData.html#a6b892b707524127928e269f0f0bbe868',1,'SVF::PersistentDFPTData::dfInPtsMap()']]],
+  ['dfoutptsmap_11489',['dfOutPtsMap',['../classSVF_1_1MutableDFPTData.html#ad3c53ef1c8e221299f3afe078946fbe0',1,'SVF::MutableDFPTData::dfOutPtsMap()'],['../classSVF_1_1PersistentDFPTData.html#ad77d7ccad393c995813f8c433c249dfc',1,'SVF::PersistentDFPTData::dfOutPtsMap()']]],
+  ['dfreecheck_11490',['DFreeCheck',['../classSVF_1_1Options.html#a3a38989c49d0544f7cd7de85e5ea63f6',1,'SVF::Options']]],
+  ['diff_11491',['diff',['../classSVF_1_1POCRSolver.html#a403ddbfcdf61cd01ad9dc778a7e02af0',1,'SVF::POCRSolver']]],
+  ['diffpts_11492',['DiffPts',['../classSVF_1_1Options.html#ae782f25eaee9ac363c733b6ac609fbce',1,'SVF::Options']]],
+  ['diffptsmap_11493',['diffPtsMap',['../classSVF_1_1MutableDiffPTData.html#a9ee7874e987e93eb4cb9d75ed08effd5',1,'SVF::MutableDiffPTData::diffPtsMap()'],['../classSVF_1_1PersistentDiffPTData.html#ac54339952e2734a6affdaa543fb3ed22',1,'SVF::PersistentDiffPTData::diffPtsMap()']]],
+  ['diffwave_11494',['diffWave',['../classSVF_1_1AndersenWaveDiff.html#add4dcb6d74a8ce8747bcac5f740cd672',1,'SVF::AndersenWaveDiff']]],
+  ['dirandindjoinmap_11495',['dirAndIndJoinMap',['../classSVF_1_1ForkJoinAnalysis.html#ab5678bd46e573070827cc413f0e0d5be',1,'SVF::ForkJoinAnalysis']]],
+  ['directcalls_11496',['directCalls',['../classSVF_1_1PTACallGraphEdge.html#a2f3e4b61225c4ca37b0f70e3edc61920',1,'SVF::PTACallGraphEdge']]],
+  ['directedgeset_11497',['directEdgeSet',['../classSVF_1_1ConstraintGraph.html#a1be3ebb84b3d334daf98f7e6f5b82256',1,'SVF::ConstraintGraph']]],
+  ['directinedges_11498',['directInEdges',['../classSVF_1_1ConstraintNode.html#a53626700d25b5c004e42354c925df83c',1,'SVF::ConstraintNode']]],
+  ['directjoinmap_11499',['directJoinMap',['../classSVF_1_1ForkJoinAnalysis.html#abf5b499f93a658636d09a62d14a47cad',1,'SVF::ForkJoinAnalysis']]],
+  ['directoutedges_11500',['directOutEdges',['../classSVF_1_1ConstraintNode.html#affb426040b05678fcbce62002a02bb06',1,'SVF::ConstraintNode']]],
+  ['directpropatime_11501',['directPropaTime',['../classSVF_1_1FlowSensitive.html#ae086de68233375be42185f0af706687a',1,'SVF::FlowSensitive']]],
+  ['disablewarn_11502',['DisableWarn',['../classSVF_1_1Options.html#a1721ff576ad641d862f29b038f31db28',1,'SVF::Options']]],
+  ['distancematrixtime_11503',['DistanceMatrixTime',['../classSVF_1_1NodeIDAllocator_1_1Clusterer.html#a09d2dbb2faab0a0e03bfa353534116a8',1,'SVF::NodeIDAllocator::Clusterer']]],
+  ['ditype_11504',['diType',['../classSVF_1_1DCHNode.html#a05b5b4539273ac5d21d8cbcfa712a439',1,'SVF::DCHNode']]],
+  ['ditypetonodemap_11505',['diTypeToNodeMap',['../classSVF_1_1DCHGraph.html#ae2aee47b803f9cde8950b7f1ad11273d',1,'SVF::DCHGraph']]],
+  ['dolockanalysis_11506',['DoLockAnalysis',['../classSVF_1_1Options.html#ae2c4fe298a27f50c749b75f0801f9666',1,'SVF::Options']]],
+  ['dpmtoadcptsetmap_11507',['dpmToADCPtSetMap',['../classSVF_1_1DDAVFSolver.html#a2565bf8dcacb22350dc1dc98ec7595f2',1,'SVF::DDAVFSolver']]],
+  ['dpmtoloaddpmmap_11508',['dpmToloadDpmMap',['../classSVF_1_1DDAVFSolver.html#a9d8959dfee05685cd74d0d7a78069692',1,'SVF::DDAVFSolver']]],
+  ['dpmtotlcptsetmap_11509',['dpmToTLCPtSetMap',['../classSVF_1_1DDAVFSolver.html#a2d6df8149b45d719e22fc505df94171a',1,'SVF::DDAVFSolver']]],
+  ['dr_5fcheck_11510',['DR_CHECK',['../classSVF_1_1Annotator.html#a64fa6f1cac79c47c66b16ac29d2ac3f4',1,'SVF::Annotator']]],
+  ['dr_5fnot_5fcheck_11511',['DR_NOT_CHECK',['../classSVF_1_1Annotator.html#af220da6fe6fc879d15cc34ab397c5ba1',1,'SVF::Annotator']]],
+  ['dst_11512',['dst',['../classSVF_1_1GenericEdge.html#aa41cb7482bdab1ba328f4b94f30f3ee4',1,'SVF::GenericEdge']]],
+  ['dtbbsmap_11513',['dtBBsMap',['../classSVF_1_1SVFLoopAndDomInfo.html#a34296b98ee8dd1bfc0b1ae7fe327cde3',1,'SVF::SVFLoopAndDomInfo']]],
+  ['dtraits_11514',['DTraits',['../classSVF_1_1GraphWriter.html#a36f1ca2744fae2f45400e82f39e4fcd8',1,'SVF::GraphWriter']]],
+  ['dumpcha_11515',['DumpCHA',['../classSVF_1_1Options.html#afcef86c88bb86198a3579aef82b5e270',1,'SVF::Options']]],
+  ['dumpicfg_11516',['DumpICFG',['../classSVF_1_1Options.html#ae7ccfb3d1308e205e5014849dcc43d9a',1,'SVF::Options']]],
+  ['dumpjson_11517',['DumpJson',['../classSVF_1_1Options.html#a3f5235cbdaab1bf53b9144d335c9c3d4',1,'SVF::Options']]],
+  ['dumpmssa_11518',['DumpMSSA',['../classSVF_1_1Options.html#a0bb4bfd677e2e45cc8c24bfc190edfaa',1,'SVF::Options']]],
+  ['dumpslice_11519',['DumpSlice',['../classSVF_1_1Options.html#ab9443e23bdcb60f118a7aab835f974db',1,'SVF::Options']]],
+  ['dumpvfg_11520',['DumpVFG',['../classSVF_1_1Options.html#ae3ad3003a8d3df2f1e3463248bb5ad51',1,'SVF::Options']]],
+  ['dval_11521',['dval',['../classSVF_1_1SVFConstantFP.html#aa1d551ad74dd5ce3eb4b7d639aec31a9',1,'SVF::SVFConstantFP']]],
+  ['dyncast_11522',['dyncast',['../CppUtil_8cpp.html#a7972d88aaaa4644ee22e5b95ac465a80',1,'CppUtil.cpp']]]
 ];