svf-tools 1.0.749 → 1.0.751

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

@@ -1,151 +1,151 @@
 var searchData=
 [
-  ['cachedptschainmap_10816',['cachedPtsChainMap',['../classSVF_1_1MRGenerator.html#a0e46c7beb580ace3a652ac9e1c419b48',1,'SVF::MRGenerator']]],
-  ['call_10817',['call',['../classSVF_1_1CallPE.html#ace0704c65aa3637c50ff880f68808bba',1,'SVF::CallPE::call()'],['../classSVF_1_1RetPE.html#aa2d42edfce9d5a8c025c0bb529aee0f2',1,'SVF::RetPE::call()']]],
-  ['callblocknode_10818',['callBlockNode',['../classSVF_1_1RetICFGNode.html#a42f4b87f590b3a393059bcca5736c596',1,'SVF::RetICFGNode']]],
-  ['calledgelabelcounter_10819',['callEdgeLabelCounter',['../classSVF_1_1SVFStmt.html#a24227d7f1dd472f47bf94cb5db8505c4',1,'SVF::SVFStmt']]],
-  ['calledval_10820',['calledVal',['../classSVF_1_1SVFCallInst.html#a23ee9dbaa0052ef41ce2d75f1dc36491',1,'SVF::SVFCallInst']]],
-  ['callee_5farguments_10821',['callee_arguments',['../classSVF_1_1ExtAPI_1_1ExtOperation.html#ace64ec0773d4dba0d221db6ca7056921',1,'SVF::ExtAPI::ExtOperation']]],
-  ['callee_5fname_10822',['callee_name',['../classSVF_1_1ExtAPI_1_1ExtOperation.html#a536b62cfdaafdb29b121347a2fdeb9fb',1,'SVF::ExtAPI::ExtOperation']]],
-  ['callee_5foperands_10823',['callee_operands',['../classSVF_1_1ExtAPI_1_1ExtOperation.html#a7a5069a5ff66397c6ae4ed8a31539825',1,'SVF::ExtAPI::ExtOperation']]],
-  ['callee_5freturn_10824',['callee_return',['../classSVF_1_1ExtAPI_1_1ExtOperation.html#af5863c0bd654bada1509a750b86d76d8',1,'SVF::ExtAPI::ExtOperation']]],
-  ['callgraph_10825',['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_10826',['CallGraphDotGraph',['../classSVF_1_1Options.html#a0a998c2e1d701b2052985691babc4567',1,'SVF::Options']]],
-  ['callgraphnodenum_10827',['callGraphNodeNum',['../classSVF_1_1PTACallGraph.html#af0e1a940677fb7f6c4aaef2f9c46c3e5',1,'SVF::PTACallGraph']]],
-  ['callgraphscc_10828',['callGraphSCC',['../classSVF_1_1PointerAnalysis.html#ae3b651799345d9d92b6d736dafb03f63',1,'SVF::PointerAnalysis::callGraphSCC()'],['../classSVF_1_1MRGenerator.html#aa3a12cf1f761d25b9213bc6e50d89ba5',1,'SVF::MRGenerator::callGraphSCC()']]],
-  ['callinst_10829',['callInst',['../classSVF_1_1InterMSSAPHISVFGNode.html#aac74080dd5078d31d6f43edc2caf3c08',1,'SVF::InterMSSAPHISVFGNode::callInst()'],['../classSVF_1_1InterPHIVFGNode.html#a6a8b370c8de218abf89cf00a72d3cd0c',1,'SVF::InterPHIVFGNode::callInst()']]],
-  ['callinsttocallgraphedgesmap_10830',['callinstToCallGraphEdgesMap',['../classSVF_1_1PTACallGraph.html#ab29003352d8152b9d0fd37919ac212c5',1,'SVF::PTACallGraph']]],
-  ['callinsttohareparforedgesmap_10831',['callinstToHareParForEdgesMap',['../classSVF_1_1ThreadCallGraph.html#a42a088dba9cda7a7718685f80f52c928',1,'SVF::ThreadCallGraph']]],
-  ['callinsttothreadforkedgesmap_10832',['callinstToThreadForkEdgesMap',['../classSVF_1_1ThreadCallGraph.html#a79ba3df9d85eed3c9a55e6797fdcb9b9',1,'SVF::ThreadCallGraph']]],
-  ['callinsttothreadjoinedgesmap_10833',['callinstToThreadJoinEdgesMap',['../classSVF_1_1ThreadCallGraph.html#af2009968716a3785322e664a712cbb60',1,'SVF::ThreadCallGraph']]],
-  ['callop_10834',['callOp',['../classSVF_1_1ExtAPI_1_1ExtOperation.html#abdc356ca72c3f103f83885aaa21c1e4d',1,'SVF::ExtAPI::ExtOperation']]],
-  ['callpes_10835',['callPEs',['../classSVF_1_1CallCFGEdge.html#a3f48f7f041c5e6d385757035c551d51c',1,'SVF::CallCFGEdge::callPEs()'],['../classSVF_1_1FormalParmVFGNode.html#a8d124f42c320d38ddd08ed4948d63517',1,'SVF::FormalParmVFGNode::callPEs()']]],
-  ['callsite_10836',['callsite',['../classSVF_1_1CallMU.html#aa90a06c9e44914a7a8e104aa80bf1374',1,'SVF::CallMU::callsite()'],['../classSVF_1_1CallCHI.html#a30f1f8f2b23df3bad70d8083397e28eb',1,'SVF::CallCHI::callsite()']]],
-  ['callsite2dummyvalpn_10837',['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_10838',['callSiteArgsListMap',['../classSVF_1_1SVFIR.html#aa0920f5f967efdb89e23f12d31b112a2',1,'SVF::SVFIR']]],
-  ['callsiteretmap_10839',['callSiteRetMap',['../classSVF_1_1SVFIR.html#a11ab07f48c934f45c239393332aa60e1',1,'SVF::SVFIR']]],
-  ['callsiteset_10840',['callSiteSet',['../classSVF_1_1SVFIR.html#ac6c537688366e73bb0ae5db49c0b2450',1,'SVF::SVFIR']]],
-  ['callsitetoactualinmap_10841',['callSiteToActualINMap',['../classSVF_1_1SVFG.html#af9313ebec4a52fd887169b7c6373a7d4',1,'SVF::SVFG']]],
-  ['callsitetoactualoutmap_10842',['callSiteToActualOUTMap',['../classSVF_1_1SVFG.html#a39873b954b6e0eb0641f56ca4cd06ef9',1,'SVF::SVFG']]],
-  ['callsitetochisetmap_10843',['callsiteToChiSetMap',['../classSVF_1_1MemSSA.html#a1be5a6776c8785f26573b597881c8195',1,'SVF::MemSSA']]],
-  ['callsitetomodmrsmap_10844',['callsiteToModMRsMap',['../classSVF_1_1MRGenerator.html#adf8d477e5f622855799842134145ecc4',1,'SVF::MRGenerator']]],
-  ['callsitetomodpointstomap_10845',['callsiteToModPointsToMap',['../classSVF_1_1MRGenerator.html#ab8df193e84009e406c301731d17dc7b9',1,'SVF::MRGenerator']]],
-  ['callsitetomusetmap_10846',['callsiteToMuSetMap',['../classSVF_1_1MemSSA.html#aba54e534d18f68fbb97b26befd06ba1a',1,'SVF::MemSSA']]],
-  ['callsitetorefmrsmap_10847',['callsiteToRefMRsMap',['../classSVF_1_1MRGenerator.html#a7a7ed21181c2486b60170a479a5a534e',1,'SVF::MRGenerator']]],
-  ['callsitetorefpointstomap_10848',['callsiteToRefPointsToMap',['../classSVF_1_1MRGenerator.html#a34967cda51699f948a581b9f88fa3b10',1,'SVF::MRGenerator']]],
-  ['callstmtnum_10849',['callStmtNum',['../classSVF_1_1ExtAPI_1_1ExtFunctionOps.html#aeff6989b97c2c5425c6bff8c22458a5a',1,'SVF::ExtAPI::ExtFunctionOps']]],
-  ['candidatefuncset_10850',['candidateFuncSet',['../classSVF_1_1TCT.html#a720a934088dddda2b134cabcc59ef43d',1,'SVF::TCT']]],
-  ['candidatemappings_10851',['candidateMappings',['../classSVF_1_1FlowSensitive.html#adba7ffe68ae7edce9b3aa896f978da6b',1,'SVF::FlowSensitive']]],
-  ['candidatepointers_10852',['candidatePointers',['../classSVF_1_1SVFIR.html#abd9f622b55839d6796ca2576f2323498',1,'SVF::SVFIR']]],
-  ['candidatequeries_10853',['candidateQueries',['../classSVF_1_1DDAClient.html#aa6fdff97be2e1a886237b515406d2e61',1,'SVF::DDAClient::candidateQueries()'],['../classSVF_1_1DDAVFSolver.html#ae0e78fafb7eec0fbc1a02d24547335e9',1,'SVF::DDAVFSolver::candidateQueries()']]],
-  ['candidates_10854',['candidates',['../classSVF_1_1WPAMinimumSolver.html#a3e26f894660fb22f7d2f342bb4338ff8',1,'SVF::WPAMinimumSolver']]],
-  ['canonicaltypemap_10855',['canonicalTypeMap',['../classSVF_1_1DCHGraph.html#a638572301c0faf8046a965e46f6105c7',1,'SVF::DCHGraph']]],
-  ['canonicaltypes_10856',['canonicalTypes',['../classSVF_1_1DCHGraph.html#af9d58fa796387a247018c56cce1a3fac',1,'SVF::DCHGraph']]],
-  ['case_5fsensitive_10857',['case_sensitive',['../cJSON_8h.html#a05334336676ca1cd88db19ede4a065de',1,'cJSON.h']]],
-  ['cb_10858',['CB',['../classSVF_1_1CallSite.html#a3de20fdb58def4ea6af2d635f0d2e730',1,'SVF::CallSite']]],
-  ['cbv_10859',['cbv',['../classSVF_1_1PointsTo.html#a79333c4ae5c002d9632fa589956b3605',1,'SVF::PointsTo::cbv()'],['../classSVF_1_1CoreBitVector_1_1CoreBitVectorIterator.html#a0cba79551b56ed83dc45ab63619dc590',1,'SVF::CoreBitVector::CoreBitVectorIterator::cbv()']]],
-  ['cbvit_10860',['cbvIt',['../classSVF_1_1PointsTo_1_1PointsToIterator.html#a4db2c62eb3ad789ab7aaf7506cd340b2',1,'SVF::PointsTo::PointsToIterator']]],
-  ['cfledgeset_10861',['cflEdgeSet',['../classSVF_1_1CFLGraph.html#afb41039ad53899fa64fedcef8b7aa7fe',1,'SVF::CFLGraph']]],
-  ['cflgraph_10862',['cflGraph',['../classSVF_1_1CFLGraphBuilder.html#af034366ce280120e5cd1a5685894e9ac',1,'SVF::CFLGraphBuilder::cflGraph()'],['../classSVF_1_1Options.html#a81dbd12b5141c4a2758d6f2d3321f1ac',1,'SVF::Options::CFLGraph()']]],
-  ['cflsvfg_10863',['CFLSVFG',['../classSVF_1_1Options.html#a7ef3e2cd417646e9d06e0da16ff6c516',1,'SVF::Options']]],
-  ['chaffmap_10864',['chaFFMap',['../classSVF_1_1DCHGraph.html#a607d83338feeb58af3638b988b7fa00b',1,'SVF::DCHGraph']]],
-  ['chamap_10865',['chaMap',['../classSVF_1_1DCHGraph.html#ad4d431ceff25218fcb5830be12739ac3',1,'SVF::DCHGraph']]],
-  ['chg_10866',['chg',['../classSVF_1_1CHGBuilder.html#ab3471cc9afba5976c7e5fbd07dfb22dc',1,'SVF::CHGBuilder']]],
-  ['chgraph_10867',['chgraph',['../classSVF_1_1PointerAnalysis.html#a0c0fce2539bb9ec6c824f6584a0f6b33',1,'SVF::PointerAnalysis::chgraph()'],['../classSVF_1_1SVFIR.html#a31c54c878be428cc92cf08970fef422b',1,'SVF::SVFIR::chgraph()']]],
-  ['chgraphreader_10868',['chGraphReader',['../classSVF_1_1SVFIRReader.html#a8362a86ac83f1fe41d7028d5a8e0c0b4',1,'SVF::SVFIRReader']]],
-  ['chgwriter_10869',['chgWriter',['../classSVF_1_1SVFIRWriter.html#aab50fec943a00c96155d395d514febe7',1,'SVF::SVFIRWriter']]],
-  ['child_10870',['child',['../structcJSON.html#a401b274c2da358dac5c23ab8b2c71f85',1,'cJSON::child()'],['../cJSON_8cpp.html#ad00efb41ca386db28bacc7aefe79535c',1,'child(): cJSON.cpp']]],
-  ['children_10871',['children',['../structSVF_1_1POCRHybridSolver_1_1TreeNode.html#a960c186f2dc559c371334876a272e795',1,'SVF::POCRHybridSolver::TreeNode']]],
-  ['cilocktospan_10872',['ciLocktoSpan',['../classSVF_1_1LockAnalysis.html#afc4212873c3e05ac9506aac0a25f515a',1,'SVF::LockAnalysis']]],
-  ['ckapi_10873',['ckAPI',['../classSVF_1_1SaberCheckerAPI.html#a3e54cae9b4259da2332c7fc87d3df347',1,'SVF::SaberCheckerAPI']]],
-  ['classname_10874',['className',['../classSVF_1_1CHNode.html#ac7c18617b768a2988cf4eff7e849f397',1,'SVF::CHNode::className()'],['../structSVF_1_1cppUtil_1_1DemangledName.html#a5cd207bce618521166e6fa235014b297',1,'SVF::cppUtil::DemangledName::className()']]],
-  ['classnametoancestorsmap_10875',['classNameToAncestorsMap',['../classSVF_1_1CHGraph.html#a083f726d74208c2d8107a75e0d6b3ca9',1,'SVF::CHGraph']]],
-  ['classnametodescendantsmap_10876',['classNameToDescendantsMap',['../classSVF_1_1CHGraph.html#ac08f846413b6aed26a1bf39eb865b006',1,'SVF::CHGraph']]],
-  ['classnametoinstanddescsmap_10877',['classNameToInstAndDescsMap',['../classSVF_1_1CHGraph.html#aaec4bdde66e4a7a63ea3f3c6ec0bd045',1,'SVF::CHGraph']]],
-  ['classnametonodemap_10878',['classNameToNodeMap',['../classSVF_1_1CHGraph.html#ae613ad20686db0f2159a00cb00ae0a9e',1,'SVF::CHGraph']]],
-  ['classnum_10879',['classNum',['../classSVF_1_1CHGraph.html#adb99b732d20cfc8cc0f078cda6753bc0',1,'SVF::CHGraph']]],
-  ['clocktype_10880',['ClockType',['../classSVF_1_1Options.html#a28af43961cb29a7dea50be2ab332cc75',1,'SVF::Options']]],
-  ['clplist_10881',['clpList',['../classSVF_1_1LockAnalysis.html#afff2c5699e08badf5265e8183b18a02e',1,'SVF::LockAnalysis']]],
-  ['clsname_10882',['clsName',['../LLVMUtil_8cpp.html#a5f8da60b0fcc28445f508f4e42513a82',1,'LLVMUtil.cpp']]],
-  ['clusterander_10883',['ClusterAnder',['../classSVF_1_1Options.html#a46743284466ff803f52a82b094186d16',1,'SVF::Options']]],
-  ['clusterfs_10884',['ClusterFs',['../classSVF_1_1Options.html#a853caba808dc7d17cba4ad4214b56b6f',1,'SVF::Options']]],
-  ['clustermethod_10885',['ClusterMethod',['../classSVF_1_1Options.html#ac17ce6d75293dcd0baf366cbeb0cb6d6',1,'SVF::Options']]],
-  ['collapsetime_10886',['CollapseTime',['../classSVF_1_1AndersenStat.html#a3f5739454b1f4e03b4388a4ba5730e15',1,'SVF::AndersenStat']]],
-  ['collectextretglobals_10887',['CollectExtRetGlobals',['../classSVF_1_1Options.html#a9be31261a2f96c5733bd35a5da07eb76',1,'SVF::Options']]],
-  ['complementcache_10888',['complementCache',['../classSVF_1_1PersistentPointsToCache.html#adef498f8a0d4c75023382e6312a85a58',1,'SVF::PersistentPointsToCache']]],
-  ['concretecxt_10889',['concreteCxt',['../classSVF_1_1ContextCond.html#a453722fc2b9b4ae4be0dfc1f020390eb',1,'SVF::ContextCond']]],
-  ['cond_10890',['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_10891',['condition',['../classSVF_1_1SelectStmt.html#a2d6e9d7131bc69a0e88b703c2c03d7e2',1,'SVF::SelectStmt::condition()'],['../classSVF_1_1ExtAPI_1_1ExtOperation.html#a6373a477c805d458a50bb65c13093c4f',1,'SVF::ExtAPI::ExtOperation::condition()']]],
-  ['conditionvar_10892',['conditionVar',['../classSVF_1_1IntraCFGEdge.html#a4c6975e82794958aecb2013c0941777d',1,'SVF::IntraCFGEdge']]],
-  ['conditionvec_10893',['conditionVec',['../classSVF_1_1SaberCondAllocator.html#afd6cf17070e3629ced1ac36b8e2b0bbb',1,'SVF::SaberCondAllocator']]],
-  ['connectdirsvfgedgetimeend_10894',['connectDirSVFGEdgeTimeEnd',['../classSVF_1_1SVFGStat.html#ac243fababbb9d2f3efbea5411f947c21',1,'SVF::SVFGStat']]],
-  ['connectdirsvfgedgetimestart_10895',['connectDirSVFGEdgeTimeStart',['../classSVF_1_1SVFGStat.html#a0a967faad014cdd53f5dddfdc59edbc3',1,'SVF::SVFGStat']]],
-  ['connectindsvfgedgetimeend_10896',['connectIndSVFGEdgeTimeEnd',['../classSVF_1_1SVFGStat.html#a3210cc1283669129234aa2c3feb67654',1,'SVF::SVFGStat']]],
-  ['connectindsvfgedgetimestart_10897',['connectIndSVFGEdgeTimeStart',['../classSVF_1_1SVFGStat.html#a2a697caecf23413187aef90a8097e0b0',1,'SVF::SVFGStat']]],
-  ['connectvcalloncha_10898',['ConnectVCallOnCHA',['../classSVF_1_1Options.html#abf71061d93d4a3b32246f19dc71e5127',1,'SVF::Options']]],
-  ['conop_10899',['conOp',['../classSVF_1_1ExtAPI_1_1ExtOperation.html#a5fd95239c2b406b488b8af971a21af6f',1,'SVF::ExtAPI::ExtOperation']]],
-  ['conscg_10900',['consCG',['../classSVF_1_1AndersenBase.html#ae21e38a06a4397d11cdd17b0f8f282fd',1,'SVF::AndersenBase']]],
-  ['conscgdotgraph_10901',['ConsCGDotGraph',['../classSVF_1_1Options.html#ad80f77349205dac9e74aa41ea1ecbf95',1,'SVF::Options']]],
-  ['constantobjectid_10902',['constantObjectId',['../classSVF_1_1NodeIDAllocator.html#a6a300a5b455fe4b8bace2f1d66fb5f9d',1,'SVF::NodeIDAllocator']]],
-  ['constantset_10903',['ConstantSet',['../classSVF_1_1SVFModule.html#a6ce288ee551c8a33cb353ee2374762c7',1,'SVF::SVFModule']]],
-  ['constdataoraggdata_10904',['constDataOrAggData',['../classSVF_1_1SVFValue.html#afc657036de9342fae6223077c10fcb01',1,'SVF::SVFValue']]],
-  ['consume_10905',['consume',['../classSVF_1_1VersionedFlowSensitive.html#a2e4e6a84cbfd553ad9cca8fdf9fd4a8d',1,'SVF::VersionedFlowSensitive']]],
-  ['containingaggs_10906',['containingAggs',['../classSVF_1_1DCHGraph.html#aac5595a230db0e8a81a6d6b67a4fdf58',1,'SVF::DCHGraph']]],
-  ['content_10907',['content',['../structparse__buffer.html#a52ee1184576baa3d5171059ab0e942de',1,'parse_buffer::content()'],['../cJSON_8cpp.html#a7886d4c98c027896a652ad0ada741709',1,'content(): cJSON.cpp']]],
-  ['context_10908',['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_10909',['contextDDA',['../classSVF_1_1DDAStat.html#ac3fb8b15c5308c926209a941c7cf62e1',1,'SVF::DDAStat']]],
-  ['contextinsensitive_10910',['ContextInsensitive',['../classSVF_1_1Options.html#ae60822a71ee1cd389413d98dfb35e302',1,'SVF::Options']]],
-  ['copy_10911',['copy',['../cJSON_8cpp.html#a7669ee67a0563250c1efaa24d130e1ac',1,'cJSON.cpp']]],
-  ['copyinedges_10912',['copyInEdges',['../classSVF_1_1ConstraintNode.html#a4d413d64bf554ecdc72709afeeb85775',1,'SVF::ConstraintNode']]],
-  ['copyoutedges_10913',['copyOutEdges',['../classSVF_1_1ConstraintNode.html#a12df688fd9b5b7617daadc7bee0fff40',1,'SVF::ConstraintNode']]],
-  ['copytime_10914',['copyTime',['../classSVF_1_1FlowSensitive.html#a888d6334e5e226c634680e4c0674dcfb',1,'SVF::FlowSensitive']]],
-  ['count_10915',['count',['../cJSON_8h.html#ad43c3812e6d13e0518d9f8b8f463ffcf',1,'count(): cJSON.h'],['../cJSON_8cpp.html#ad43c3812e6d13e0518d9f8b8f463ffcf',1,'count(): cJSON.cpp']]],
-  ['cpts_10916',['cpts',['../classSVF_1_1IndirectSVFGEdge.html#a2d54c1c3567ef6676ba15f88c622e5b7',1,'SVF::IndirectSVFGEdge::cpts()'],['../classSVF_1_1MRSVFGNode.html#a640153ff592bf0058882a0d05a76b1ba',1,'SVF::MRSVFGNode::cpts()']]],
-  ['cptsset_10917',['cptsSet',['../classSVF_1_1MemRegion.html#a77a18bcce56cf48d1c338e852a2be9bc',1,'SVF::MemRegion']]],
-  ['cptstorepcptsmap_10918',['cptsToRepCPtsMap',['../classSVF_1_1MRGenerator.html#ab4d1ff0357d389a65ff1c2112ce631a1',1,'SVF::MRGenerator']]],
-  ['cs_10919',['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_10920',['csc',['../classSVF_1_1AndersenSFR.html#aa39c668b1473ac4fb99da3aa736c9edb',1,'SVF::AndersenSFR']]],
-  ['cschamap_10921',['csCHAMap',['../classSVF_1_1DCHGraph.html#ad79a569e77f94fa8494eed3f18e07e90',1,'SVF::DCHGraph']]],
-  ['csid_10922',['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_10923',['csnumToInstMap',['../classSVF_1_1MTAResultValidator.html#ae2717c467dc7c49fab0ec93bfa4baaab',1,'SVF::MTAResultValidator']]],
-  ['cstocallnodemap_10924',['CSToCallNodeMap',['../classSVF_1_1ICFG.html#af0434d6ffd247eeaf73b9294e659a3f9',1,'SVF::ICFG']]],
-  ['cstocallsiteargsptsmap_10925',['csToCallSiteArgsPtsMap',['../classSVF_1_1MRGenerator.html#afe91b57b451d7788364493549e015acf',1,'SVF::MRGenerator']]],
-  ['cstocallsiteretptsmap_10926',['csToCallSiteRetPtsMap',['../classSVF_1_1MRGenerator.html#a21550f978f42ac3cbb32cbc426ff5cb1',1,'SVF::MRGenerator']]],
-  ['cstochavfnsmap_10927',['csToCHAVFnsMap',['../classSVF_1_1CHGraph.html#a5e6502c5baad99c70e1cf56c84ce9474',1,'SVF::CHGraph']]],
-  ['cstochavtblsmap_10928',['csToCHAVtblsMap',['../classSVF_1_1CHGraph.html#af3ed2bee5d76e5a848b250950c3be333',1,'SVF::CHGraph']]],
-  ['cstoclassesmap_10929',['csToClassesMap',['../classSVF_1_1CHGraph.html#a7ef9982d89a4932883bd58bc49ad9986',1,'SVF::CHGraph']]],
-  ['cstoidmap_10930',['csToIdMap',['../classSVF_1_1PTACallGraph.html#a75ffe4f24d59ad42601b7550aa988187',1,'SVF::PTACallGraph']]],
-  ['cstomodsmap_10931',['csToModsMap',['../classSVF_1_1MRGenerator.html#a603f993995e7d6961e203a195bb56029',1,'SVF::MRGenerator']]],
-  ['cstorefsmap_10932',['csToRefsMap',['../classSVF_1_1MRGenerator.html#ac7b5ca3fd950e1a940f875ac135640f6',1,'SVF::MRGenerator']]],
-  ['cstoretnodemap_10933',['CSToRetNodeMap',['../classSVF_1_1ICFG.html#a0e43308038663c10667177238b23ab3e',1,'SVF::ICFG']]],
-  ['ctplist_10934',['ctpList',['../classSVF_1_1TCT.html#a80dad1dfdf64cb7a5805eb8bedf79226',1,'SVF::TCT']]],
-  ['ctptonodemap_10935',['ctpToNodeMap',['../classSVF_1_1TCT.html#a0ccb6e9ffff0f22a0a054a92222893d5',1,'SVF::TCT']]],
-  ['cttoforkcxtmap_10936',['ctToForkCxtMap',['../classSVF_1_1TCT.html#aea88fdb40c28724546f5903d3a73999a',1,'SVF::TCT']]],
-  ['cttoroutinefunmap_10937',['ctToRoutineFunMap',['../classSVF_1_1TCT.html#a36c7884869d923c1a9363962c9e013bd',1,'SVF::TCT']]],
-  ['ctx_10938',['ctx',['../classSVF_1_1TCTNode.html#a8f2ef1020b45aada8b79ac3b8d27c2a6',1,'SVF::TCTNode::ctx()'],['../classSVF_1_1Z3Expr.html#af02935097a8db09812781ac8c42d93e5',1,'SVF::Z3Expr::ctx()']]],
-  ['cur_10939',['cur',['../classSVF_1_1DPItem.html#a82d2a11fb456192ec88fcb5ffe239d80',1,'SVF::DPItem']]],
-  ['curbb_10940',['curBB',['../classSVF_1_1SVFIRBuilder.html#a8219f7e2581cc9974b42cf95d8318b15',1,'SVF::SVFIRBuilder']]],
-  ['curevalsvfgnode_10941',['curEvalSVFGNode',['../classSVF_1_1SaberCondAllocator.html#a4ac9b5ec6bfd7a7b468cb13a5e8803e0',1,'SVF::SaberCondAllocator']]],
-  ['curloc_10942',['curloc',['../classSVF_1_1StmtDPItem.html#a9e20ebd5ae8272a4aef74914098f97ef',1,'SVF::StmtDPItem']]],
-  ['curptr_10943',['curPtr',['../classSVF_1_1DDAClient.html#a6a133cf24ef65eaf58c82ec213f3f6cb',1,'SVF::DDAClient']]],
-  ['currelementiter_10944',['CurrElementIter',['../classSVF_1_1SparseBitVector.html#ada7cb2e144c2fccd0d50138778b152dd',1,'SVF::SparseBitVector']]],
-  ['current_10945',['current',['../classSVF_1_1CFLGraphBuilder.html#aad408d6ecb776fd763c9b9221a1bed18',1,'SVF::CFLGraphBuilder']]],
-  ['currentbestnodemapping_10946',['currentBestNodeMapping',['../classSVF_1_1PointsTo.html#a98781dd444ada40af7eef9aefe76123d',1,'SVF::PointsTo']]],
-  ['currentbestreversenodemapping_10947',['currentBestReverseNodeMapping',['../classSVF_1_1PointsTo.html#a53e1230c87912d26604990eb8b0cbc0c',1,'SVF::PointsTo']]],
-  ['cursccid_10948',['curSCCID',['../classSVF_1_1WPASCCSolver.html#a28973d7e1301c36254b67c695e8431aa',1,'SVF::WPASCCSolver']]],
-  ['curty_10949',['CurTy',['../classllvm_1_1generic__bridge__gep__type__iterator.html#af4eefb034e50627c6d4ef5bfcdcb4f57',1,'llvm::generic_bridge_gep_type_iterator']]],
-  ['curval_10950',['curVal',['../classSVF_1_1SVFIRBuilder.html#aefc70f2a0a2103259ae36d026cbb18be',1,'SVF::SVFIRBuilder']]],
-  ['customized_10951',['Customized',['../classSVF_1_1Options.html#a15a9c1086e1bbd6a76d56ad1bdd6b994',1,'SVF::Options']]],
-  ['cxt_10952',['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_10953',['CXT_THREAD',['../classSVF_1_1MTAResultValidator.html#a909e66d94d4f3ce6e0c1e0fe5b50483a',1,'SVF::MTAResultValidator']]],
-  ['cxtbudget_10954',['CxtBudget',['../classSVF_1_1Options.html#a3bbd106de519cb8d00f33e82f14d279b',1,'SVF::Options']]],
-  ['cxtjoininloop_10955',['cxtJoinInLoop',['../classSVF_1_1ForkJoinAnalysis.html#a63da48d338683ec95709a6bd95238707',1,'SVF::ForkJoinAnalysis']]],
-  ['cxtlimit_10956',['CxtLimit',['../classSVF_1_1Options.html#a3fd9cce83729bc62cd2fb568b0d53db5',1,'SVF::Options']]],
-  ['cxtlockset_10957',['cxtLockSet',['../classSVF_1_1LockResultValidator.html#a51e6f48be9f2a65b390e4e0350eb12a9',1,'SVF::LockResultValidator::cxtLockSet()'],['../classSVF_1_1LockAnalysis.html#a3081e7c7165908ed4aa282f398c5236d',1,'SVF::LockAnalysis::cxtLockset()']]],
-  ['cxtlocktospan_10958',['cxtLocktoSpan',['../classSVF_1_1LockAnalysis.html#a2fd796765f16cc7094f36d68c0ff70a0',1,'SVF::LockAnalysis']]],
-  ['cxts_10959',['cxts',['../classSVF_1_1LLVMModuleSet.html#ad06a92bf8bc556de742e0ffdf79ffafe',1,'SVF::LLVMModuleSet']]],
-  ['cxtstmtlist_10960',['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_10961',['cxtStmtToAliveFlagMap',['../classSVF_1_1ForkJoinAnalysis.html#aa31b3f3d51b963ccd475e66b77143dba',1,'SVF::ForkJoinAnalysis']]],
-  ['cxtstmttocxtlockset_10962',['cxtStmtToCxtLockSet',['../classSVF_1_1LockResultValidator.html#ad8a03181445edeb835fed08c88f6e0bb',1,'SVF::LockResultValidator::cxtStmtToCxtLockSet()'],['../classSVF_1_1LockAnalysis.html#ae256a84fd63947a6f81bee030bdbe7fc',1,'SVF::LockAnalysis::cxtStmtToCxtLockSet()']]],
-  ['cyclicfldidx_10963',['CyclicFldIdx',['../classSVF_1_1Options.html#a3914c0785473a773c7cb3da01229f2ee',1,'SVF::Options']]]
+  ['cachedptschainmap_10812',['cachedPtsChainMap',['../classSVF_1_1MRGenerator.html#a0e46c7beb580ace3a652ac9e1c419b48',1,'SVF::MRGenerator']]],
+  ['call_10813',['call',['../classSVF_1_1CallPE.html#ace0704c65aa3637c50ff880f68808bba',1,'SVF::CallPE::call()'],['../classSVF_1_1RetPE.html#aa2d42edfce9d5a8c025c0bb529aee0f2',1,'SVF::RetPE::call()']]],
+  ['callblocknode_10814',['callBlockNode',['../classSVF_1_1RetICFGNode.html#a42f4b87f590b3a393059bcca5736c596',1,'SVF::RetICFGNode']]],
+  ['calledgelabelcounter_10815',['callEdgeLabelCounter',['../classSVF_1_1SVFStmt.html#a24227d7f1dd472f47bf94cb5db8505c4',1,'SVF::SVFStmt']]],
+  ['calledval_10816',['calledVal',['../classSVF_1_1SVFCallInst.html#a23ee9dbaa0052ef41ce2d75f1dc36491',1,'SVF::SVFCallInst']]],
+  ['callee_5farguments_10817',['callee_arguments',['../classSVF_1_1ExtAPI_1_1ExtOperation.html#ace64ec0773d4dba0d221db6ca7056921',1,'SVF::ExtAPI::ExtOperation']]],
+  ['callee_5fname_10818',['callee_name',['../classSVF_1_1ExtAPI_1_1ExtOperation.html#a536b62cfdaafdb29b121347a2fdeb9fb',1,'SVF::ExtAPI::ExtOperation']]],
+  ['callee_5foperands_10819',['callee_operands',['../classSVF_1_1ExtAPI_1_1ExtOperation.html#a7a5069a5ff66397c6ae4ed8a31539825',1,'SVF::ExtAPI::ExtOperation']]],
+  ['callee_5freturn_10820',['callee_return',['../classSVF_1_1ExtAPI_1_1ExtOperation.html#af5863c0bd654bada1509a750b86d76d8',1,'SVF::ExtAPI::ExtOperation']]],
+  ['callgraph_10821',['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_10822',['CallGraphDotGraph',['../classSVF_1_1Options.html#a0a998c2e1d701b2052985691babc4567',1,'SVF::Options']]],
+  ['callgraphnodenum_10823',['callGraphNodeNum',['../classSVF_1_1PTACallGraph.html#af0e1a940677fb7f6c4aaef2f9c46c3e5',1,'SVF::PTACallGraph']]],
+  ['callgraphscc_10824',['callGraphSCC',['../classSVF_1_1PointerAnalysis.html#ae3b651799345d9d92b6d736dafb03f63',1,'SVF::PointerAnalysis::callGraphSCC()'],['../classSVF_1_1MRGenerator.html#aa3a12cf1f761d25b9213bc6e50d89ba5',1,'SVF::MRGenerator::callGraphSCC()']]],
+  ['callinst_10825',['callInst',['../classSVF_1_1InterMSSAPHISVFGNode.html#aac74080dd5078d31d6f43edc2caf3c08',1,'SVF::InterMSSAPHISVFGNode::callInst()'],['../classSVF_1_1InterPHIVFGNode.html#a6a8b370c8de218abf89cf00a72d3cd0c',1,'SVF::InterPHIVFGNode::callInst()']]],
+  ['callinsttocallgraphedgesmap_10826',['callinstToCallGraphEdgesMap',['../classSVF_1_1PTACallGraph.html#ab29003352d8152b9d0fd37919ac212c5',1,'SVF::PTACallGraph']]],
+  ['callinsttohareparforedgesmap_10827',['callinstToHareParForEdgesMap',['../classSVF_1_1ThreadCallGraph.html#a42a088dba9cda7a7718685f80f52c928',1,'SVF::ThreadCallGraph']]],
+  ['callinsttothreadforkedgesmap_10828',['callinstToThreadForkEdgesMap',['../classSVF_1_1ThreadCallGraph.html#a79ba3df9d85eed3c9a55e6797fdcb9b9',1,'SVF::ThreadCallGraph']]],
+  ['callinsttothreadjoinedgesmap_10829',['callinstToThreadJoinEdgesMap',['../classSVF_1_1ThreadCallGraph.html#af2009968716a3785322e664a712cbb60',1,'SVF::ThreadCallGraph']]],
+  ['callop_10830',['callOp',['../classSVF_1_1ExtAPI_1_1ExtOperation.html#abdc356ca72c3f103f83885aaa21c1e4d',1,'SVF::ExtAPI::ExtOperation']]],
+  ['callpes_10831',['callPEs',['../classSVF_1_1CallCFGEdge.html#a3f48f7f041c5e6d385757035c551d51c',1,'SVF::CallCFGEdge::callPEs()'],['../classSVF_1_1FormalParmVFGNode.html#a8d124f42c320d38ddd08ed4948d63517',1,'SVF::FormalParmVFGNode::callPEs()']]],
+  ['callsite_10832',['callsite',['../classSVF_1_1CallMU.html#aa90a06c9e44914a7a8e104aa80bf1374',1,'SVF::CallMU::callsite()'],['../classSVF_1_1CallCHI.html#a30f1f8f2b23df3bad70d8083397e28eb',1,'SVF::CallCHI::callsite()']]],
+  ['callsite2dummyvalpn_10833',['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_10834',['callSiteArgsListMap',['../classSVF_1_1SVFIR.html#aa0920f5f967efdb89e23f12d31b112a2',1,'SVF::SVFIR']]],
+  ['callsiteretmap_10835',['callSiteRetMap',['../classSVF_1_1SVFIR.html#a11ab07f48c934f45c239393332aa60e1',1,'SVF::SVFIR']]],
+  ['callsiteset_10836',['callSiteSet',['../classSVF_1_1SVFIR.html#ac6c537688366e73bb0ae5db49c0b2450',1,'SVF::SVFIR']]],
+  ['callsitetoactualinmap_10837',['callSiteToActualINMap',['../classSVF_1_1SVFG.html#af9313ebec4a52fd887169b7c6373a7d4',1,'SVF::SVFG']]],
+  ['callsitetoactualoutmap_10838',['callSiteToActualOUTMap',['../classSVF_1_1SVFG.html#a39873b954b6e0eb0641f56ca4cd06ef9',1,'SVF::SVFG']]],
+  ['callsitetochisetmap_10839',['callsiteToChiSetMap',['../classSVF_1_1MemSSA.html#a1be5a6776c8785f26573b597881c8195',1,'SVF::MemSSA']]],
+  ['callsitetomodmrsmap_10840',['callsiteToModMRsMap',['../classSVF_1_1MRGenerator.html#adf8d477e5f622855799842134145ecc4',1,'SVF::MRGenerator']]],
+  ['callsitetomodpointstomap_10841',['callsiteToModPointsToMap',['../classSVF_1_1MRGenerator.html#ab8df193e84009e406c301731d17dc7b9',1,'SVF::MRGenerator']]],
+  ['callsitetomusetmap_10842',['callsiteToMuSetMap',['../classSVF_1_1MemSSA.html#aba54e534d18f68fbb97b26befd06ba1a',1,'SVF::MemSSA']]],
+  ['callsitetorefmrsmap_10843',['callsiteToRefMRsMap',['../classSVF_1_1MRGenerator.html#a7a7ed21181c2486b60170a479a5a534e',1,'SVF::MRGenerator']]],
+  ['callsitetorefpointstomap_10844',['callsiteToRefPointsToMap',['../classSVF_1_1MRGenerator.html#a34967cda51699f948a581b9f88fa3b10',1,'SVF::MRGenerator']]],
+  ['callstmtnum_10845',['callStmtNum',['../classSVF_1_1ExtAPI_1_1ExtFunctionOps.html#aeff6989b97c2c5425c6bff8c22458a5a',1,'SVF::ExtAPI::ExtFunctionOps']]],
+  ['candidatefuncset_10846',['candidateFuncSet',['../classSVF_1_1TCT.html#a720a934088dddda2b134cabcc59ef43d',1,'SVF::TCT']]],
+  ['candidatemappings_10847',['candidateMappings',['../classSVF_1_1FlowSensitive.html#adba7ffe68ae7edce9b3aa896f978da6b',1,'SVF::FlowSensitive']]],
+  ['candidatepointers_10848',['candidatePointers',['../classSVF_1_1SVFIR.html#abd9f622b55839d6796ca2576f2323498',1,'SVF::SVFIR']]],
+  ['candidatequeries_10849',['candidateQueries',['../classSVF_1_1DDAClient.html#aa6fdff97be2e1a886237b515406d2e61',1,'SVF::DDAClient::candidateQueries()'],['../classSVF_1_1DDAVFSolver.html#ae0e78fafb7eec0fbc1a02d24547335e9',1,'SVF::DDAVFSolver::candidateQueries()']]],
+  ['candidates_10850',['candidates',['../classSVF_1_1WPAMinimumSolver.html#a3e26f894660fb22f7d2f342bb4338ff8',1,'SVF::WPAMinimumSolver']]],
+  ['canonicaltypemap_10851',['canonicalTypeMap',['../classSVF_1_1DCHGraph.html#a638572301c0faf8046a965e46f6105c7',1,'SVF::DCHGraph']]],
+  ['canonicaltypes_10852',['canonicalTypes',['../classSVF_1_1DCHGraph.html#af9d58fa796387a247018c56cce1a3fac',1,'SVF::DCHGraph']]],
+  ['case_5fsensitive_10853',['case_sensitive',['../cJSON_8h.html#a05334336676ca1cd88db19ede4a065de',1,'cJSON.h']]],
+  ['cb_10854',['CB',['../classSVF_1_1CallSite.html#a3de20fdb58def4ea6af2d635f0d2e730',1,'SVF::CallSite']]],
+  ['cbv_10855',['cbv',['../classSVF_1_1PointsTo.html#a79333c4ae5c002d9632fa589956b3605',1,'SVF::PointsTo::cbv()'],['../classSVF_1_1CoreBitVector_1_1CoreBitVectorIterator.html#a0cba79551b56ed83dc45ab63619dc590',1,'SVF::CoreBitVector::CoreBitVectorIterator::cbv()']]],
+  ['cbvit_10856',['cbvIt',['../classSVF_1_1PointsTo_1_1PointsToIterator.html#a4db2c62eb3ad789ab7aaf7506cd340b2',1,'SVF::PointsTo::PointsToIterator']]],
+  ['cfledgeset_10857',['cflEdgeSet',['../classSVF_1_1CFLGraph.html#afb41039ad53899fa64fedcef8b7aa7fe',1,'SVF::CFLGraph']]],
+  ['cflgraph_10858',['cflGraph',['../classSVF_1_1CFLGraphBuilder.html#af034366ce280120e5cd1a5685894e9ac',1,'SVF::CFLGraphBuilder::cflGraph()'],['../classSVF_1_1Options.html#a81dbd12b5141c4a2758d6f2d3321f1ac',1,'SVF::Options::CFLGraph()']]],
+  ['cflsvfg_10859',['CFLSVFG',['../classSVF_1_1Options.html#a7ef3e2cd417646e9d06e0da16ff6c516',1,'SVF::Options']]],
+  ['chaffmap_10860',['chaFFMap',['../classSVF_1_1DCHGraph.html#a607d83338feeb58af3638b988b7fa00b',1,'SVF::DCHGraph']]],
+  ['chamap_10861',['chaMap',['../classSVF_1_1DCHGraph.html#ad4d431ceff25218fcb5830be12739ac3',1,'SVF::DCHGraph']]],
+  ['chg_10862',['chg',['../classSVF_1_1CHGBuilder.html#ab3471cc9afba5976c7e5fbd07dfb22dc',1,'SVF::CHGBuilder']]],
+  ['chgraph_10863',['chgraph',['../classSVF_1_1PointerAnalysis.html#a0c0fce2539bb9ec6c824f6584a0f6b33',1,'SVF::PointerAnalysis::chgraph()'],['../classSVF_1_1SVFIR.html#a31c54c878be428cc92cf08970fef422b',1,'SVF::SVFIR::chgraph()']]],
+  ['chgraphreader_10864',['chGraphReader',['../classSVF_1_1SVFIRReader.html#a8362a86ac83f1fe41d7028d5a8e0c0b4',1,'SVF::SVFIRReader']]],
+  ['chgwriter_10865',['chgWriter',['../classSVF_1_1SVFIRWriter.html#aab50fec943a00c96155d395d514febe7',1,'SVF::SVFIRWriter']]],
+  ['child_10866',['child',['../structcJSON.html#a401b274c2da358dac5c23ab8b2c71f85',1,'cJSON::child()'],['../cJSON_8cpp.html#ad00efb41ca386db28bacc7aefe79535c',1,'child(): cJSON.cpp']]],
+  ['children_10867',['children',['../structSVF_1_1POCRHybridSolver_1_1TreeNode.html#a960c186f2dc559c371334876a272e795',1,'SVF::POCRHybridSolver::TreeNode']]],
+  ['cilocktospan_10868',['ciLocktoSpan',['../classSVF_1_1LockAnalysis.html#afc4212873c3e05ac9506aac0a25f515a',1,'SVF::LockAnalysis']]],
+  ['ckapi_10869',['ckAPI',['../classSVF_1_1SaberCheckerAPI.html#a3e54cae9b4259da2332c7fc87d3df347',1,'SVF::SaberCheckerAPI']]],
+  ['classname_10870',['className',['../classSVF_1_1CHNode.html#ac7c18617b768a2988cf4eff7e849f397',1,'SVF::CHNode::className()'],['../structSVF_1_1cppUtil_1_1DemangledName.html#a5cd207bce618521166e6fa235014b297',1,'SVF::cppUtil::DemangledName::className()']]],
+  ['classnametoancestorsmap_10871',['classNameToAncestorsMap',['../classSVF_1_1CHGraph.html#a083f726d74208c2d8107a75e0d6b3ca9',1,'SVF::CHGraph']]],
+  ['classnametodescendantsmap_10872',['classNameToDescendantsMap',['../classSVF_1_1CHGraph.html#ac08f846413b6aed26a1bf39eb865b006',1,'SVF::CHGraph']]],
+  ['classnametoinstanddescsmap_10873',['classNameToInstAndDescsMap',['../classSVF_1_1CHGraph.html#aaec4bdde66e4a7a63ea3f3c6ec0bd045',1,'SVF::CHGraph']]],
+  ['classnametonodemap_10874',['classNameToNodeMap',['../classSVF_1_1CHGraph.html#ae613ad20686db0f2159a00cb00ae0a9e',1,'SVF::CHGraph']]],
+  ['classnum_10875',['classNum',['../classSVF_1_1CHGraph.html#adb99b732d20cfc8cc0f078cda6753bc0',1,'SVF::CHGraph']]],
+  ['clocktype_10876',['ClockType',['../classSVF_1_1Options.html#a28af43961cb29a7dea50be2ab332cc75',1,'SVF::Options']]],
+  ['clplist_10877',['clpList',['../classSVF_1_1LockAnalysis.html#afff2c5699e08badf5265e8183b18a02e',1,'SVF::LockAnalysis']]],
+  ['clsname_10878',['clsName',['../LLVMUtil_8cpp.html#a5f8da60b0fcc28445f508f4e42513a82',1,'LLVMUtil.cpp']]],
+  ['clusterander_10879',['ClusterAnder',['../classSVF_1_1Options.html#a46743284466ff803f52a82b094186d16',1,'SVF::Options']]],
+  ['clusterfs_10880',['ClusterFs',['../classSVF_1_1Options.html#a853caba808dc7d17cba4ad4214b56b6f',1,'SVF::Options']]],
+  ['clustermethod_10881',['ClusterMethod',['../classSVF_1_1Options.html#ac17ce6d75293dcd0baf366cbeb0cb6d6',1,'SVF::Options']]],
+  ['collapsetime_10882',['CollapseTime',['../classSVF_1_1AndersenStat.html#a3f5739454b1f4e03b4388a4ba5730e15',1,'SVF::AndersenStat']]],
+  ['collectextretglobals_10883',['CollectExtRetGlobals',['../classSVF_1_1Options.html#a9be31261a2f96c5733bd35a5da07eb76',1,'SVF::Options']]],
+  ['complementcache_10884',['complementCache',['../classSVF_1_1PersistentPointsToCache.html#adef498f8a0d4c75023382e6312a85a58',1,'SVF::PersistentPointsToCache']]],
+  ['concretecxt_10885',['concreteCxt',['../classSVF_1_1ContextCond.html#a453722fc2b9b4ae4be0dfc1f020390eb',1,'SVF::ContextCond']]],
+  ['cond_10886',['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_10887',['condition',['../classSVF_1_1SelectStmt.html#a2d6e9d7131bc69a0e88b703c2c03d7e2',1,'SVF::SelectStmt::condition()'],['../classSVF_1_1ExtAPI_1_1ExtOperation.html#a6373a477c805d458a50bb65c13093c4f',1,'SVF::ExtAPI::ExtOperation::condition()']]],
+  ['conditionvar_10888',['conditionVar',['../classSVF_1_1IntraCFGEdge.html#a4c6975e82794958aecb2013c0941777d',1,'SVF::IntraCFGEdge']]],
+  ['conditionvec_10889',['conditionVec',['../classSVF_1_1SaberCondAllocator.html#afd6cf17070e3629ced1ac36b8e2b0bbb',1,'SVF::SaberCondAllocator']]],
+  ['connectdirsvfgedgetimeend_10890',['connectDirSVFGEdgeTimeEnd',['../classSVF_1_1SVFGStat.html#ac243fababbb9d2f3efbea5411f947c21',1,'SVF::SVFGStat']]],
+  ['connectdirsvfgedgetimestart_10891',['connectDirSVFGEdgeTimeStart',['../classSVF_1_1SVFGStat.html#a0a967faad014cdd53f5dddfdc59edbc3',1,'SVF::SVFGStat']]],
+  ['connectindsvfgedgetimeend_10892',['connectIndSVFGEdgeTimeEnd',['../classSVF_1_1SVFGStat.html#a3210cc1283669129234aa2c3feb67654',1,'SVF::SVFGStat']]],
+  ['connectindsvfgedgetimestart_10893',['connectIndSVFGEdgeTimeStart',['../classSVF_1_1SVFGStat.html#a2a697caecf23413187aef90a8097e0b0',1,'SVF::SVFGStat']]],
+  ['connectvcalloncha_10894',['ConnectVCallOnCHA',['../classSVF_1_1Options.html#abf71061d93d4a3b32246f19dc71e5127',1,'SVF::Options']]],
+  ['conop_10895',['conOp',['../classSVF_1_1ExtAPI_1_1ExtOperation.html#a5fd95239c2b406b488b8af971a21af6f',1,'SVF::ExtAPI::ExtOperation']]],
+  ['conscg_10896',['consCG',['../classSVF_1_1AndersenBase.html#ae21e38a06a4397d11cdd17b0f8f282fd',1,'SVF::AndersenBase']]],
+  ['conscgdotgraph_10897',['ConsCGDotGraph',['../classSVF_1_1Options.html#ad80f77349205dac9e74aa41ea1ecbf95',1,'SVF::Options']]],
+  ['constantobjectid_10898',['constantObjectId',['../classSVF_1_1NodeIDAllocator.html#a6a300a5b455fe4b8bace2f1d66fb5f9d',1,'SVF::NodeIDAllocator']]],
+  ['constantset_10899',['ConstantSet',['../classSVF_1_1SVFModule.html#a6ce288ee551c8a33cb353ee2374762c7',1,'SVF::SVFModule']]],
+  ['constdataoraggdata_10900',['constDataOrAggData',['../classSVF_1_1SVFValue.html#afc657036de9342fae6223077c10fcb01',1,'SVF::SVFValue']]],
+  ['consume_10901',['consume',['../classSVF_1_1VersionedFlowSensitive.html#a2e4e6a84cbfd553ad9cca8fdf9fd4a8d',1,'SVF::VersionedFlowSensitive']]],
+  ['containingaggs_10902',['containingAggs',['../classSVF_1_1DCHGraph.html#aac5595a230db0e8a81a6d6b67a4fdf58',1,'SVF::DCHGraph']]],
+  ['content_10903',['content',['../structparse__buffer.html#a52ee1184576baa3d5171059ab0e942de',1,'parse_buffer::content()'],['../cJSON_8cpp.html#a7886d4c98c027896a652ad0ada741709',1,'content(): cJSON.cpp']]],
+  ['context_10904',['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_10905',['contextDDA',['../classSVF_1_1DDAStat.html#ac3fb8b15c5308c926209a941c7cf62e1',1,'SVF::DDAStat']]],
+  ['contextinsensitive_10906',['ContextInsensitive',['../classSVF_1_1Options.html#ae60822a71ee1cd389413d98dfb35e302',1,'SVF::Options']]],
+  ['copy_10907',['copy',['../cJSON_8cpp.html#a7669ee67a0563250c1efaa24d130e1ac',1,'cJSON.cpp']]],
+  ['copyinedges_10908',['copyInEdges',['../classSVF_1_1ConstraintNode.html#a4d413d64bf554ecdc72709afeeb85775',1,'SVF::ConstraintNode']]],
+  ['copyoutedges_10909',['copyOutEdges',['../classSVF_1_1ConstraintNode.html#a12df688fd9b5b7617daadc7bee0fff40',1,'SVF::ConstraintNode']]],
+  ['copytime_10910',['copyTime',['../classSVF_1_1FlowSensitive.html#a888d6334e5e226c634680e4c0674dcfb',1,'SVF::FlowSensitive']]],
+  ['count_10911',['count',['../cJSON_8h.html#ad43c3812e6d13e0518d9f8b8f463ffcf',1,'count(): cJSON.h'],['../cJSON_8cpp.html#ad43c3812e6d13e0518d9f8b8f463ffcf',1,'count(): cJSON.cpp']]],
+  ['cpts_10912',['cpts',['../classSVF_1_1IndirectSVFGEdge.html#a2d54c1c3567ef6676ba15f88c622e5b7',1,'SVF::IndirectSVFGEdge::cpts()'],['../classSVF_1_1MRSVFGNode.html#a640153ff592bf0058882a0d05a76b1ba',1,'SVF::MRSVFGNode::cpts()']]],
+  ['cptsset_10913',['cptsSet',['../classSVF_1_1MemRegion.html#a77a18bcce56cf48d1c338e852a2be9bc',1,'SVF::MemRegion']]],
+  ['cptstorepcptsmap_10914',['cptsToRepCPtsMap',['../classSVF_1_1MRGenerator.html#ab4d1ff0357d389a65ff1c2112ce631a1',1,'SVF::MRGenerator']]],
+  ['cs_10915',['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_10916',['csc',['../classSVF_1_1AndersenSFR.html#aa39c668b1473ac4fb99da3aa736c9edb',1,'SVF::AndersenSFR']]],
+  ['cschamap_10917',['csCHAMap',['../classSVF_1_1DCHGraph.html#ad79a569e77f94fa8494eed3f18e07e90',1,'SVF::DCHGraph']]],
+  ['csid_10918',['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_10919',['csnumToInstMap',['../classSVF_1_1MTAResultValidator.html#ae2717c467dc7c49fab0ec93bfa4baaab',1,'SVF::MTAResultValidator']]],
+  ['cstocallnodemap_10920',['CSToCallNodeMap',['../classSVF_1_1ICFG.html#af0434d6ffd247eeaf73b9294e659a3f9',1,'SVF::ICFG']]],
+  ['cstocallsiteargsptsmap_10921',['csToCallSiteArgsPtsMap',['../classSVF_1_1MRGenerator.html#afe91b57b451d7788364493549e015acf',1,'SVF::MRGenerator']]],
+  ['cstocallsiteretptsmap_10922',['csToCallSiteRetPtsMap',['../classSVF_1_1MRGenerator.html#a21550f978f42ac3cbb32cbc426ff5cb1',1,'SVF::MRGenerator']]],
+  ['cstochavfnsmap_10923',['csToCHAVFnsMap',['../classSVF_1_1CHGraph.html#a5e6502c5baad99c70e1cf56c84ce9474',1,'SVF::CHGraph']]],
+  ['cstochavtblsmap_10924',['csToCHAVtblsMap',['../classSVF_1_1CHGraph.html#af3ed2bee5d76e5a848b250950c3be333',1,'SVF::CHGraph']]],
+  ['cstoclassesmap_10925',['csToClassesMap',['../classSVF_1_1CHGraph.html#a7ef9982d89a4932883bd58bc49ad9986',1,'SVF::CHGraph']]],
+  ['cstoidmap_10926',['csToIdMap',['../classSVF_1_1PTACallGraph.html#a75ffe4f24d59ad42601b7550aa988187',1,'SVF::PTACallGraph']]],
+  ['cstomodsmap_10927',['csToModsMap',['../classSVF_1_1MRGenerator.html#a603f993995e7d6961e203a195bb56029',1,'SVF::MRGenerator']]],
+  ['cstorefsmap_10928',['csToRefsMap',['../classSVF_1_1MRGenerator.html#ac7b5ca3fd950e1a940f875ac135640f6',1,'SVF::MRGenerator']]],
+  ['cstoretnodemap_10929',['CSToRetNodeMap',['../classSVF_1_1ICFG.html#a0e43308038663c10667177238b23ab3e',1,'SVF::ICFG']]],
+  ['ctplist_10930',['ctpList',['../classSVF_1_1TCT.html#a80dad1dfdf64cb7a5805eb8bedf79226',1,'SVF::TCT']]],
+  ['ctptonodemap_10931',['ctpToNodeMap',['../classSVF_1_1TCT.html#a0ccb6e9ffff0f22a0a054a92222893d5',1,'SVF::TCT']]],
+  ['cttoforkcxtmap_10932',['ctToForkCxtMap',['../classSVF_1_1TCT.html#aea88fdb40c28724546f5903d3a73999a',1,'SVF::TCT']]],
+  ['cttoroutinefunmap_10933',['ctToRoutineFunMap',['../classSVF_1_1TCT.html#a36c7884869d923c1a9363962c9e013bd',1,'SVF::TCT']]],
+  ['ctx_10934',['ctx',['../classSVF_1_1TCTNode.html#a8f2ef1020b45aada8b79ac3b8d27c2a6',1,'SVF::TCTNode::ctx()'],['../classSVF_1_1Z3Expr.html#af02935097a8db09812781ac8c42d93e5',1,'SVF::Z3Expr::ctx()']]],
+  ['cur_10935',['cur',['../classSVF_1_1DPItem.html#a82d2a11fb456192ec88fcb5ffe239d80',1,'SVF::DPItem']]],
+  ['curbb_10936',['curBB',['../classSVF_1_1SVFIRBuilder.html#a8219f7e2581cc9974b42cf95d8318b15',1,'SVF::SVFIRBuilder']]],
+  ['curevalsvfgnode_10937',['curEvalSVFGNode',['../classSVF_1_1SaberCondAllocator.html#a4ac9b5ec6bfd7a7b468cb13a5e8803e0',1,'SVF::SaberCondAllocator']]],
+  ['curloc_10938',['curloc',['../classSVF_1_1StmtDPItem.html#a9e20ebd5ae8272a4aef74914098f97ef',1,'SVF::StmtDPItem']]],
+  ['curptr_10939',['curPtr',['../classSVF_1_1DDAClient.html#a6a133cf24ef65eaf58c82ec213f3f6cb',1,'SVF::DDAClient']]],
+  ['currelementiter_10940',['CurrElementIter',['../classSVF_1_1SparseBitVector.html#ada7cb2e144c2fccd0d50138778b152dd',1,'SVF::SparseBitVector']]],
+  ['current_10941',['current',['../classSVF_1_1CFLGraphBuilder.html#aad408d6ecb776fd763c9b9221a1bed18',1,'SVF::CFLGraphBuilder']]],
+  ['currentbestnodemapping_10942',['currentBestNodeMapping',['../classSVF_1_1PointsTo.html#a98781dd444ada40af7eef9aefe76123d',1,'SVF::PointsTo']]],
+  ['currentbestreversenodemapping_10943',['currentBestReverseNodeMapping',['../classSVF_1_1PointsTo.html#a53e1230c87912d26604990eb8b0cbc0c',1,'SVF::PointsTo']]],
+  ['cursccid_10944',['curSCCID',['../classSVF_1_1WPASCCSolver.html#a28973d7e1301c36254b67c695e8431aa',1,'SVF::WPASCCSolver']]],
+  ['curty_10945',['CurTy',['../classllvm_1_1generic__bridge__gep__type__iterator.html#af4eefb034e50627c6d4ef5bfcdcb4f57',1,'llvm::generic_bridge_gep_type_iterator']]],
+  ['curval_10946',['curVal',['../classSVF_1_1SVFIRBuilder.html#aefc70f2a0a2103259ae36d026cbb18be',1,'SVF::SVFIRBuilder']]],
+  ['customized_10947',['Customized',['../classSVF_1_1Options.html#a15a9c1086e1bbd6a76d56ad1bdd6b994',1,'SVF::Options']]],
+  ['cxt_10948',['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_10949',['CXT_THREAD',['../classSVF_1_1MTAResultValidator.html#a909e66d94d4f3ce6e0c1e0fe5b50483a',1,'SVF::MTAResultValidator']]],
+  ['cxtbudget_10950',['CxtBudget',['../classSVF_1_1Options.html#a3bbd106de519cb8d00f33e82f14d279b',1,'SVF::Options']]],
+  ['cxtjoininloop_10951',['cxtJoinInLoop',['../classSVF_1_1ForkJoinAnalysis.html#a63da48d338683ec95709a6bd95238707',1,'SVF::ForkJoinAnalysis']]],
+  ['cxtlimit_10952',['CxtLimit',['../classSVF_1_1Options.html#a3fd9cce83729bc62cd2fb568b0d53db5',1,'SVF::Options']]],
+  ['cxtlockset_10953',['cxtLockSet',['../classSVF_1_1LockResultValidator.html#a51e6f48be9f2a65b390e4e0350eb12a9',1,'SVF::LockResultValidator::cxtLockSet()'],['../classSVF_1_1LockAnalysis.html#a3081e7c7165908ed4aa282f398c5236d',1,'SVF::LockAnalysis::cxtLockset()']]],
+  ['cxtlocktospan_10954',['cxtLocktoSpan',['../classSVF_1_1LockAnalysis.html#a2fd796765f16cc7094f36d68c0ff70a0',1,'SVF::LockAnalysis']]],
+  ['cxts_10955',['cxts',['../classSVF_1_1LLVMModuleSet.html#ad06a92bf8bc556de742e0ffdf79ffafe',1,'SVF::LLVMModuleSet']]],
+  ['cxtstmtlist_10956',['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_10957',['cxtStmtToAliveFlagMap',['../classSVF_1_1ForkJoinAnalysis.html#aa31b3f3d51b963ccd475e66b77143dba',1,'SVF::ForkJoinAnalysis']]],
+  ['cxtstmttocxtlockset_10958',['cxtStmtToCxtLockSet',['../classSVF_1_1LockResultValidator.html#ad8a03181445edeb835fed08c88f6e0bb',1,'SVF::LockResultValidator::cxtStmtToCxtLockSet()'],['../classSVF_1_1LockAnalysis.html#ae256a84fd63947a6f81bee030bdbe7fc',1,'SVF::LockAnalysis::cxtStmtToCxtLockSet()']]],
+  ['cyclicfldidx_10959',['CyclicFldIdx',['../classSVF_1_1Options.html#a3914c0785473a773c7cb3da01229f2ee',1,'SVF::Options']]]
 ];

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

@@ -1,59 +1,59 @@
 var searchData=
 [
-  ['daa_10964',['DAA',['../dda_8cpp.html#aa87e1cd4be4709a21393ed9e1a0da6bb',1,'dda.cpp']]],
-  ['data_10965',['data',['../classSVF_1_1List_1_1ListNode.html#a4a9cb4ae17156d6d80d2357e06231e12',1,'SVF::List::ListNode']]],
-  ['data_5flist_10966',['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_10967',['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_10968',['DDASelected',['../classSVF_1_1Options.html#afa6c98d477db41a457ac83cfbfd4a580',1,'SVF::Options']]],
-  ['ddastat_10969',['ddaStat',['../classSVF_1_1DDAVFSolver.html#ae40c7bad663e0fa07dee4be3d1794ff2',1,'SVF::DDAVFSolver']]],
-  ['def_10970',['def',['../classSVF_1_1MRVer.html#a3398bb8d3189413c275b62d5cb7a5fc4',1,'SVF::MRVer']]],
-  ['defnodes_10971',['defNodes',['../classSVF_1_1SVFGOPT.html#abd524dca72261bbcc7ebb1103b693a2b',1,'SVF::SVFGOPT']]],
-  ['deltamap_10972',['deltaMap',['../classSVF_1_1VersionedFlowSensitive.html#a11ddfa1faebf56e74e6dcc53e16142e1',1,'SVF::VersionedFlowSensitive']]],
-  ['deltasourcemap_10973',['deltaSourceMap',['../classSVF_1_1VersionedFlowSensitive.html#aee97e196225aaad29c0bd31d3ccbabf6',1,'SVF::VersionedFlowSensitive']]],
-  ['dendrogramtraversaltime_10974',['DendrogramTraversalTime',['../classSVF_1_1NodeIDAllocator_1_1Clusterer.html#a67ab9cffacc1584b2e7bae5d1b08c541',1,'SVF::NodeIDAllocator::Clusterer']]],
-  ['depth_10975',['depth',['../structparse__buffer.html#af613c4ed7d73f76c60c50d1bcf4c67a0',1,'parse_buffer::depth()'],['../structprintbuffer.html#aa7311b5da38ff8d1737824c611b48732',1,'printbuffer::depth()']]],
-  ['derefmdname_10976',['derefMDName',['../namespaceSVF_1_1cppUtil_1_1ctir.html#a0cd5347bc8043d4306e66a4a96005ace',1,'SVF::cppUtil::ctir']]],
-  ['description_10977',['description',['../classOptionBase.html#a8fbb1cde9e12a099617c8e8298424b5b',1,'OptionBase']]],
-  ['detectpwc_10978',['DetectPWC',['../classSVF_1_1Options.html#a3fc22d0a45be551110d1e326380f3202',1,'SVF::Options']]],
-  ['dfbbsmap_10979',['dfBBsMap',['../classSVF_1_1SVFLoopAndDomInfo.html#ae191915ae746e30c8370ebf8fe733723',1,'SVF::SVFLoopAndDomInfo']]],
-  ['dfinptsmap_10980',['dfInPtsMap',['../classSVF_1_1MutableDFPTData.html#abb59ef7367e353e65b82b54dac509f36',1,'SVF::MutableDFPTData::dfInPtsMap()'],['../classSVF_1_1PersistentDFPTData.html#a6b892b707524127928e269f0f0bbe868',1,'SVF::PersistentDFPTData::dfInPtsMap()']]],
-  ['dfoutptsmap_10981',['dfOutPtsMap',['../classSVF_1_1MutableDFPTData.html#ad3c53ef1c8e221299f3afe078946fbe0',1,'SVF::MutableDFPTData::dfOutPtsMap()'],['../classSVF_1_1PersistentDFPTData.html#ad77d7ccad393c995813f8c433c249dfc',1,'SVF::PersistentDFPTData::dfOutPtsMap()']]],
-  ['dfreechecker_10982',['DFREECHECKER',['../saber_8cpp.html#ab233df6b8c190aa2c26fa20bd1ac7c52',1,'saber.cpp']]],
-  ['diff_10983',['diff',['../classSVF_1_1POCRSolver.html#a403ddbfcdf61cd01ad9dc778a7e02af0',1,'SVF::POCRSolver']]],
-  ['diffpts_10984',['DiffPts',['../classSVF_1_1Options.html#ae782f25eaee9ac363c733b6ac609fbce',1,'SVF::Options']]],
-  ['diffptsmap_10985',['diffPtsMap',['../classSVF_1_1MutableDiffPTData.html#a9ee7874e987e93eb4cb9d75ed08effd5',1,'SVF::MutableDiffPTData::diffPtsMap()'],['../classSVF_1_1PersistentDiffPTData.html#ac54339952e2734a6affdaa543fb3ed22',1,'SVF::PersistentDiffPTData::diffPtsMap()']]],
-  ['diffwave_10986',['diffWave',['../classSVF_1_1AndersenWaveDiff.html#add4dcb6d74a8ce8747bcac5f740cd672',1,'SVF::AndersenWaveDiff']]],
-  ['dirandindjoinmap_10987',['dirAndIndJoinMap',['../classSVF_1_1ForkJoinAnalysis.html#ab5678bd46e573070827cc413f0e0d5be',1,'SVF::ForkJoinAnalysis']]],
-  ['directcalls_10988',['directCalls',['../classSVF_1_1PTACallGraphEdge.html#a2f3e4b61225c4ca37b0f70e3edc61920',1,'SVF::PTACallGraphEdge']]],
-  ['directedgeset_10989',['directEdgeSet',['../classSVF_1_1ConstraintGraph.html#a1be3ebb84b3d334daf98f7e6f5b82256',1,'SVF::ConstraintGraph']]],
-  ['directinedges_10990',['directInEdges',['../classSVF_1_1ConstraintNode.html#a53626700d25b5c004e42354c925df83c',1,'SVF::ConstraintNode']]],
-  ['directjoinmap_10991',['directJoinMap',['../classSVF_1_1ForkJoinAnalysis.html#abf5b499f93a658636d09a62d14a47cad',1,'SVF::ForkJoinAnalysis']]],
-  ['directoutedges_10992',['directOutEdges',['../classSVF_1_1ConstraintNode.html#affb426040b05678fcbce62002a02bb06',1,'SVF::ConstraintNode']]],
-  ['directpropatime_10993',['directPropaTime',['../classSVF_1_1FlowSensitive.html#ae086de68233375be42185f0af706687a',1,'SVF::FlowSensitive']]],
-  ['disablewarn_10994',['DisableWarn',['../classSVF_1_1Options.html#a1721ff576ad641d862f29b038f31db28',1,'SVF::Options']]],
-  ['distancematrixtime_10995',['DistanceMatrixTime',['../classSVF_1_1NodeIDAllocator_1_1Clusterer.html#a09d2dbb2faab0a0e03bfa353534116a8',1,'SVF::NodeIDAllocator::Clusterer']]],
-  ['ditype_10996',['diType',['../classSVF_1_1DCHNode.html#a05b5b4539273ac5d21d8cbcfa712a439',1,'SVF::DCHNode']]],
-  ['ditypetonodemap_10997',['diTypeToNodeMap',['../classSVF_1_1DCHGraph.html#ae2aee47b803f9cde8950b7f1ad11273d',1,'SVF::DCHGraph']]],
-  ['dolockanalysis_10998',['DoLockAnalysis',['../classSVF_1_1Options.html#ae2c4fe298a27f50c749b75f0801f9666',1,'SVF::Options']]],
-  ['dpmtoadcptsetmap_10999',['dpmToADCPtSetMap',['../classSVF_1_1DDAVFSolver.html#a2565bf8dcacb22350dc1dc98ec7595f2',1,'SVF::DDAVFSolver']]],
-  ['dpmtoloaddpmmap_11000',['dpmToloadDpmMap',['../classSVF_1_1DDAVFSolver.html#a9d8959dfee05685cd74d0d7a78069692',1,'SVF::DDAVFSolver']]],
-  ['dpmtotlcptsetmap_11001',['dpmToTLCPtSetMap',['../classSVF_1_1DDAVFSolver.html#a2d6df8149b45d719e22fc505df94171a',1,'SVF::DDAVFSolver']]],
-  ['dr_5fcheck_11002',['DR_CHECK',['../classSVF_1_1Annotator.html#a64fa6f1cac79c47c66b16ac29d2ac3f4',1,'SVF::Annotator']]],
-  ['dr_5fnot_5fcheck_11003',['DR_NOT_CHECK',['../classSVF_1_1Annotator.html#af220da6fe6fc879d15cc34ab397c5ba1',1,'SVF::Annotator']]],
-  ['dst_11004',['dst',['../classSVF_1_1GenericEdge.html#aa41cb7482bdab1ba328f4b94f30f3ee4',1,'SVF::GenericEdge::dst()'],['../classSVF_1_1ExtAPI_1_1Operand.html#a72a8be1a6a9641410e9024590b410b53',1,'SVF::ExtAPI::Operand::dst()']]],
-  ['dstid_11005',['dstID',['../classSVF_1_1ExtAPI_1_1Operand.html#ad0f6b1b2c2a6210f00b587739d08b5dd',1,'SVF::ExtAPI::Operand']]],
-  ['dtbbsmap_11006',['dtBBsMap',['../classSVF_1_1SVFLoopAndDomInfo.html#a34296b98ee8dd1bfc0b1ae7fe327cde3',1,'SVF::SVFLoopAndDomInfo']]],
-  ['dtraits_11007',['DTraits',['../classSVF_1_1GraphWriter.html#a36f1ca2744fae2f45400e82f39e4fcd8',1,'SVF::GraphWriter']]],
-  ['dumpcha_11008',['DumpCHA',['../classSVF_1_1Options.html#afcef86c88bb86198a3579aef82b5e270',1,'SVF::Options']]],
-  ['dumpfree_11009',['DumpFree',['../classSVF_1_1Options.html#a03cd671379712e6b3fa8ac4ec9b4d1d4',1,'SVF::Options']]],
-  ['dumpicfg_11010',['DumpICFG',['../classSVF_1_1Options.html#ae7ccfb3d1308e205e5014849dcc43d9a',1,'SVF::Options']]],
-  ['dumpjson_11011',['DumpJson',['../classSVF_1_1Options.html#a3f5235cbdaab1bf53b9144d335c9c3d4',1,'SVF::Options']]],
-  ['dumpmssa_11012',['DumpMSSA',['../classSVF_1_1Options.html#a0bb4bfd677e2e45cc8c24bfc190edfaa',1,'SVF::Options']]],
-  ['dumpslice_11013',['DumpSlice',['../classSVF_1_1Options.html#ab9443e23bdcb60f118a7aab835f974db',1,'SVF::Options']]],
-  ['dumpsupts_11014',['DumpSUPts',['../classSVF_1_1Options.html#a6d45d7ba6852a986b53b31f60f967b01',1,'SVF::Options']]],
-  ['dumpsustore_11015',['DumpSUStore',['../classSVF_1_1Options.html#ab64401bdde8b0c846a78f21423e5cfb6',1,'SVF::Options']]],
-  ['dumpuninitptr_11016',['DumpUninitPtr',['../classSVF_1_1Options.html#a296e4a2187d14828cb0baf859f48d716',1,'SVF::Options']]],
-  ['dumpuninitvar_11017',['DumpUninitVar',['../classSVF_1_1Options.html#ab8075fe929f99b640d5c0a0530297025',1,'SVF::Options']]],
-  ['dumpvfg_11018',['DumpVFG',['../classSVF_1_1Options.html#ae3ad3003a8d3df2f1e3463248bb5ad51',1,'SVF::Options']]],
-  ['dval_11019',['dval',['../classSVF_1_1SVFConstantFP.html#aa1d551ad74dd5ce3eb4b7d639aec31a9',1,'SVF::SVFConstantFP']]]
+  ['daa_10960',['DAA',['../dda_8cpp.html#aa87e1cd4be4709a21393ed9e1a0da6bb',1,'dda.cpp']]],
+  ['data_10961',['data',['../classSVF_1_1List_1_1ListNode.html#a4a9cb4ae17156d6d80d2357e06231e12',1,'SVF::List::ListNode']]],
+  ['data_5flist_10962',['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_10963',['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_10964',['DDASelected',['../classSVF_1_1Options.html#afa6c98d477db41a457ac83cfbfd4a580',1,'SVF::Options']]],
+  ['ddastat_10965',['ddaStat',['../classSVF_1_1DDAVFSolver.html#ae40c7bad663e0fa07dee4be3d1794ff2',1,'SVF::DDAVFSolver']]],
+  ['def_10966',['def',['../classSVF_1_1MRVer.html#a3398bb8d3189413c275b62d5cb7a5fc4',1,'SVF::MRVer']]],
+  ['defnodes_10967',['defNodes',['../classSVF_1_1SVFGOPT.html#abd524dca72261bbcc7ebb1103b693a2b',1,'SVF::SVFGOPT']]],
+  ['deltamap_10968',['deltaMap',['../classSVF_1_1VersionedFlowSensitive.html#a11ddfa1faebf56e74e6dcc53e16142e1',1,'SVF::VersionedFlowSensitive']]],
+  ['deltasourcemap_10969',['deltaSourceMap',['../classSVF_1_1VersionedFlowSensitive.html#aee97e196225aaad29c0bd31d3ccbabf6',1,'SVF::VersionedFlowSensitive']]],
+  ['dendrogramtraversaltime_10970',['DendrogramTraversalTime',['../classSVF_1_1NodeIDAllocator_1_1Clusterer.html#a67ab9cffacc1584b2e7bae5d1b08c541',1,'SVF::NodeIDAllocator::Clusterer']]],
+  ['depth_10971',['depth',['../structparse__buffer.html#af613c4ed7d73f76c60c50d1bcf4c67a0',1,'parse_buffer::depth()'],['../structprintbuffer.html#aa7311b5da38ff8d1737824c611b48732',1,'printbuffer::depth()']]],
+  ['derefmdname_10972',['derefMDName',['../namespaceSVF_1_1cppUtil_1_1ctir.html#a0cd5347bc8043d4306e66a4a96005ace',1,'SVF::cppUtil::ctir']]],
+  ['description_10973',['description',['../classOptionBase.html#a8fbb1cde9e12a099617c8e8298424b5b',1,'OptionBase']]],
+  ['detectpwc_10974',['DetectPWC',['../classSVF_1_1Options.html#a3fc22d0a45be551110d1e326380f3202',1,'SVF::Options']]],
+  ['dfbbsmap_10975',['dfBBsMap',['../classSVF_1_1SVFLoopAndDomInfo.html#ae191915ae746e30c8370ebf8fe733723',1,'SVF::SVFLoopAndDomInfo']]],
+  ['dfinptsmap_10976',['dfInPtsMap',['../classSVF_1_1MutableDFPTData.html#abb59ef7367e353e65b82b54dac509f36',1,'SVF::MutableDFPTData::dfInPtsMap()'],['../classSVF_1_1PersistentDFPTData.html#a6b892b707524127928e269f0f0bbe868',1,'SVF::PersistentDFPTData::dfInPtsMap()']]],
+  ['dfoutptsmap_10977',['dfOutPtsMap',['../classSVF_1_1MutableDFPTData.html#ad3c53ef1c8e221299f3afe078946fbe0',1,'SVF::MutableDFPTData::dfOutPtsMap()'],['../classSVF_1_1PersistentDFPTData.html#ad77d7ccad393c995813f8c433c249dfc',1,'SVF::PersistentDFPTData::dfOutPtsMap()']]],
+  ['dfreechecker_10978',['DFREECHECKER',['../saber_8cpp.html#ab233df6b8c190aa2c26fa20bd1ac7c52',1,'saber.cpp']]],
+  ['diff_10979',['diff',['../classSVF_1_1POCRSolver.html#a403ddbfcdf61cd01ad9dc778a7e02af0',1,'SVF::POCRSolver']]],
+  ['diffpts_10980',['DiffPts',['../classSVF_1_1Options.html#ae782f25eaee9ac363c733b6ac609fbce',1,'SVF::Options']]],
+  ['diffptsmap_10981',['diffPtsMap',['../classSVF_1_1MutableDiffPTData.html#a9ee7874e987e93eb4cb9d75ed08effd5',1,'SVF::MutableDiffPTData::diffPtsMap()'],['../classSVF_1_1PersistentDiffPTData.html#ac54339952e2734a6affdaa543fb3ed22',1,'SVF::PersistentDiffPTData::diffPtsMap()']]],
+  ['diffwave_10982',['diffWave',['../classSVF_1_1AndersenWaveDiff.html#add4dcb6d74a8ce8747bcac5f740cd672',1,'SVF::AndersenWaveDiff']]],
+  ['dirandindjoinmap_10983',['dirAndIndJoinMap',['../classSVF_1_1ForkJoinAnalysis.html#ab5678bd46e573070827cc413f0e0d5be',1,'SVF::ForkJoinAnalysis']]],
+  ['directcalls_10984',['directCalls',['../classSVF_1_1PTACallGraphEdge.html#a2f3e4b61225c4ca37b0f70e3edc61920',1,'SVF::PTACallGraphEdge']]],
+  ['directedgeset_10985',['directEdgeSet',['../classSVF_1_1ConstraintGraph.html#a1be3ebb84b3d334daf98f7e6f5b82256',1,'SVF::ConstraintGraph']]],
+  ['directinedges_10986',['directInEdges',['../classSVF_1_1ConstraintNode.html#a53626700d25b5c004e42354c925df83c',1,'SVF::ConstraintNode']]],
+  ['directjoinmap_10987',['directJoinMap',['../classSVF_1_1ForkJoinAnalysis.html#abf5b499f93a658636d09a62d14a47cad',1,'SVF::ForkJoinAnalysis']]],
+  ['directoutedges_10988',['directOutEdges',['../classSVF_1_1ConstraintNode.html#affb426040b05678fcbce62002a02bb06',1,'SVF::ConstraintNode']]],
+  ['directpropatime_10989',['directPropaTime',['../classSVF_1_1FlowSensitive.html#ae086de68233375be42185f0af706687a',1,'SVF::FlowSensitive']]],
+  ['disablewarn_10990',['DisableWarn',['../classSVF_1_1Options.html#a1721ff576ad641d862f29b038f31db28',1,'SVF::Options']]],
+  ['distancematrixtime_10991',['DistanceMatrixTime',['../classSVF_1_1NodeIDAllocator_1_1Clusterer.html#a09d2dbb2faab0a0e03bfa353534116a8',1,'SVF::NodeIDAllocator::Clusterer']]],
+  ['ditype_10992',['diType',['../classSVF_1_1DCHNode.html#a05b5b4539273ac5d21d8cbcfa712a439',1,'SVF::DCHNode']]],
+  ['ditypetonodemap_10993',['diTypeToNodeMap',['../classSVF_1_1DCHGraph.html#ae2aee47b803f9cde8950b7f1ad11273d',1,'SVF::DCHGraph']]],
+  ['dolockanalysis_10994',['DoLockAnalysis',['../classSVF_1_1Options.html#ae2c4fe298a27f50c749b75f0801f9666',1,'SVF::Options']]],
+  ['dpmtoadcptsetmap_10995',['dpmToADCPtSetMap',['../classSVF_1_1DDAVFSolver.html#a2565bf8dcacb22350dc1dc98ec7595f2',1,'SVF::DDAVFSolver']]],
+  ['dpmtoloaddpmmap_10996',['dpmToloadDpmMap',['../classSVF_1_1DDAVFSolver.html#a9d8959dfee05685cd74d0d7a78069692',1,'SVF::DDAVFSolver']]],
+  ['dpmtotlcptsetmap_10997',['dpmToTLCPtSetMap',['../classSVF_1_1DDAVFSolver.html#a2d6df8149b45d719e22fc505df94171a',1,'SVF::DDAVFSolver']]],
+  ['dr_5fcheck_10998',['DR_CHECK',['../classSVF_1_1Annotator.html#a64fa6f1cac79c47c66b16ac29d2ac3f4',1,'SVF::Annotator']]],
+  ['dr_5fnot_5fcheck_10999',['DR_NOT_CHECK',['../classSVF_1_1Annotator.html#af220da6fe6fc879d15cc34ab397c5ba1',1,'SVF::Annotator']]],
+  ['dst_11000',['dst',['../classSVF_1_1GenericEdge.html#aa41cb7482bdab1ba328f4b94f30f3ee4',1,'SVF::GenericEdge::dst()'],['../classSVF_1_1ExtAPI_1_1Operand.html#a72a8be1a6a9641410e9024590b410b53',1,'SVF::ExtAPI::Operand::dst()']]],
+  ['dstid_11001',['dstID',['../classSVF_1_1ExtAPI_1_1Operand.html#ad0f6b1b2c2a6210f00b587739d08b5dd',1,'SVF::ExtAPI::Operand']]],
+  ['dtbbsmap_11002',['dtBBsMap',['../classSVF_1_1SVFLoopAndDomInfo.html#a34296b98ee8dd1bfc0b1ae7fe327cde3',1,'SVF::SVFLoopAndDomInfo']]],
+  ['dtraits_11003',['DTraits',['../classSVF_1_1GraphWriter.html#a36f1ca2744fae2f45400e82f39e4fcd8',1,'SVF::GraphWriter']]],
+  ['dumpcha_11004',['DumpCHA',['../classSVF_1_1Options.html#afcef86c88bb86198a3579aef82b5e270',1,'SVF::Options']]],
+  ['dumpfree_11005',['DumpFree',['../classSVF_1_1Options.html#a03cd671379712e6b3fa8ac4ec9b4d1d4',1,'SVF::Options']]],
+  ['dumpicfg_11006',['DumpICFG',['../classSVF_1_1Options.html#ae7ccfb3d1308e205e5014849dcc43d9a',1,'SVF::Options']]],
+  ['dumpjson_11007',['DumpJson',['../classSVF_1_1Options.html#a3f5235cbdaab1bf53b9144d335c9c3d4',1,'SVF::Options']]],
+  ['dumpmssa_11008',['DumpMSSA',['../classSVF_1_1Options.html#a0bb4bfd677e2e45cc8c24bfc190edfaa',1,'SVF::Options']]],
+  ['dumpslice_11009',['DumpSlice',['../classSVF_1_1Options.html#ab9443e23bdcb60f118a7aab835f974db',1,'SVF::Options']]],
+  ['dumpsupts_11010',['DumpSUPts',['../classSVF_1_1Options.html#a6d45d7ba6852a986b53b31f60f967b01',1,'SVF::Options']]],
+  ['dumpsustore_11011',['DumpSUStore',['../classSVF_1_1Options.html#ab64401bdde8b0c846a78f21423e5cfb6',1,'SVF::Options']]],
+  ['dumpuninitptr_11012',['DumpUninitPtr',['../classSVF_1_1Options.html#a296e4a2187d14828cb0baf859f48d716',1,'SVF::Options']]],
+  ['dumpuninitvar_11013',['DumpUninitVar',['../classSVF_1_1Options.html#ab8075fe929f99b640d5c0a0530297025',1,'SVF::Options']]],
+  ['dumpvfg_11014',['DumpVFG',['../classSVF_1_1Options.html#ae3ad3003a8d3df2f1e3463248bb5ad51',1,'SVF::Options']]],
+  ['dval_11015',['dval',['../classSVF_1_1SVFConstantFP.html#aa1d551ad74dd5ce3eb4b7d639aec31a9',1,'SVF::SVFConstantFP']]]
 ];