svf-tools 1.0.853 → 1.0.855

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

@@ -1,81 +1,81 @@
 var searchData=
 [
-  ['i_11416',['I',['../classSVF_1_1iter__facade__base_1_1ReferenceProxy.html#aca4eadcdc568988ffddd09d359b1c1c3',1,'SVF::iter_facade_base::ReferenceProxy::I()'],['../classSVF_1_1iter__adaptor__base.html#a1c80cc24530dbc29b03bf58500e0d636',1,'SVF::iter_adaptor_base::I()']]],
-  ['i1_11417',['I1',['../classSVF_1_1RaceResultValidator_1_1AccessPair.html#a2f6817c4f04b090ff8ebff68cafa5892',1,'SVF::RaceResultValidator::AccessPair']]],
-  ['i2_11418',['I2',['../classSVF_1_1RaceResultValidator_1_1AccessPair.html#a4759b40288c232686465893d988697f3',1,'SVF::RaceResultValidator::AccessPair']]],
-  ['icfg_11419',['icfg',['../classSVF_1_1ICFGBuilder.html#adefeaad9c02000f263430dfee7149ea6',1,'SVF::ICFGBuilder::icfg()'],['../classSVF_1_1ICFGStat.html#a03185827f7913a480523de5b8f911acb',1,'SVF::ICFGStat::icfg()'],['../classSVF_1_1PointerAnalysis.html#a962cc91e4d68b25ce201072c384d8fc2',1,'SVF::PointerAnalysis::icfg()'],['../classSVF_1_1SVFIR.html#abe8aa0d325b35dd59ce4a7f302760e51',1,'SVF::SVFIR::icfg()'],['../classSVF_1_1CallGraphBuilder.html#ab3e0b47be010e25c093953e54602d211',1,'SVF::CallGraphBuilder::icfg()']]],
-  ['icfgnode_11420',['icfgNode',['../classSVF_1_1VFGNode.html#a54c631f1e39be144c0cd25373f6b98b8',1,'SVF::VFGNode::icfgNode()'],['../classSVF_1_1SVFStmt.html#a50046a1500ec6e2819ef55162e70cc71',1,'SVF::SVFStmt::icfgNode()']]],
-  ['icfgnode2ptasvfstmtsmap_11421',['icfgNode2PTASVFStmtsMap',['../classSVF_1_1SVFIR.html#aaae756185bbd5b7175e96f8928a989c2',1,'SVF::SVFIR']]],
-  ['icfgnode2svfstmtsmap_11422',['icfgNode2SVFStmtsMap',['../classSVF_1_1SVFIR.html#a86c0c23d854b034d741d9d8891debab7',1,'SVF::SVFIR']]],
-  ['icfgnodes_11423',['icfgNodes',['../classSVF_1_1SVFLoop.html#a062e4b336b9b8315a9fc1107c9cab840',1,'SVF::SVFLoop']]],
-  ['icfgnodetosvfloopvec_11424',['icfgNodeToSVFLoopVec',['../classSVF_1_1ICFG.html#a7d6aeecb00d77600a204a72d60023d54',1,'SVF::ICFG']]],
-  ['icfgreader_11425',['icfgReader',['../classSVF_1_1SVFIRReader.html#aa1100e216d94eb445f59125e94815fd7',1,'SVF::SVFIRReader']]],
-  ['icfgwriter_11426',['icfgWriter',['../classSVF_1_1SVFIRWriter.html#aba5c3c3b62687a28301e9c65555e57f9',1,'SVF::SVFIRWriter']]],
-  ['id_11427',['ID',['../classSVF_1_1BreakConstantGEPs.html#a8010c4f5824ed5ebcb7ae283473ada22',1,'SVF::BreakConstantGEPs::ID()'],['../classSVF_1_1MergeFunctionRets.html#a7a763ae6c9d3c72345495f01b0b4b458',1,'SVF::MergeFunctionRets::ID()'],['../classSVF_1_1DDAPass.html#adb39fc24e3d45e558ac36f37b5dc3565',1,'SVF::DDAPass::ID()'],['../classSVF_1_1WPAPass.html#a2674527c92cdef223e655d449f0811d4',1,'SVF::WPAPass::ID()'],['../structSVF_1_1POCRHybridSolver_1_1TreeNode.html#a365d77cf4f71a53d06417f294a67048b',1,'SVF::POCRHybridSolver::TreeNode::id()'],['../classSVF_1_1GenericNode.html#aaa53457604fe4cf4cb97ca85d33907b0',1,'SVF::GenericNode::id()']]],
-  ['idcounter_11428',['idCounter',['../classSVF_1_1PersistentPointsToCache.html#ad8d24772f7503e0e735f546506d2bcc5',1,'SVF::PersistentPointsToCache']]],
-  ['idmap_11429',['idMap',['../classSVF_1_1ReaderIDToObjMap.html#a3ed6e858fd91ec6cf14361b55dec55b4',1,'SVF::ReaderIDToObjMap']]],
-  ['idtocsmap_11430',['idToCSMap',['../classSVF_1_1PTACallGraph.html#a5d6f63baad19589a9fd1e069631e18fa',1,'SVF::PTACallGraph']]],
-  ['idtonodemap_11431',['idToNodeMap',['../classSVF_1_1GenericGraphReader.html#a2fc2248a433201314c636856603cb3fa',1,'SVF::GenericGraphReader::idToNodeMap()'],['../classSVF_1_1GenericGraph.html#a47a1ef8b67b0c92f78b4457dc3bbfe71',1,'SVF::GenericGraph::IDToNodeMap()']]],
-  ['idtopts_11432',['idToPts',['../classSVF_1_1PersistentPointsToCache.html#a32009561c9d3a340ec4e6230ef17f998',1,'SVF::PersistentPointsToCache']]],
-  ['idtoterminstmap_11433',['idToTermInstMap',['../classSVF_1_1SaberCondAllocator.html#aee401aa2c7884888bbd26544bcd92881',1,'SVF::SaberCondAllocator']]],
-  ['idxoperandpairs_11434',['idxOperandPairs',['../classSVF_1_1AccessPath.html#a47855e8ab3bba692f443903b58618229',1,'SVF::AccessPath']]],
-  ['ignoredeadfun_11435',['IgnoreDeadFun',['../classSVF_1_1Options.html#a00f3c4c53e6ade73f7667231c394c5d7',1,'SVF::Options']]],
-  ['incdfptdata_11436',['INCDFPTData',['../classSVF_1_1Options.html#a1743b8a1ab2d71c35206c7befa725d90',1,'SVF::Options']]],
-  ['incfledges_11437',['inCFLEdges',['../classSVF_1_1CFLNode.html#a3a7d1ea890272e9905406638b12bdc30',1,'SVF::CFLNode']]],
-  ['incycle_11438',['incycle',['../classSVF_1_1CxtThread.html#a97d876697e682b23211a8f930fed7f32',1,'SVF::CxtThread']]],
-  ['indcallsitetofunptrmap_11439',['indCallSiteToFunPtrMap',['../classSVF_1_1SVFIR.html#a0a5f88766b7e11f1ea35befcbcea62dc',1,'SVF::SVFIR']]],
-  ['index_11440',['index',['../structSVF_1_1VersionedFlowSensitive_1_1SCC_1_1NodeData.html#a823afbcf2b99a38367b7bc8be17ff2ba',1,'SVF::VersionedFlowSensitive::SCC::NodeData::index()'],['../cJSON_8h.html#a750b5d744c39a06bfb13e6eb010e35d0',1,'index(): cJSON.h'],['../cJSON_8cpp.html#a750b5d744c39a06bfb13e6eb010e35d0',1,'index(): cJSON.cpp']]],
-  ['indirectcalllimit_11441',['IndirectCallLimit',['../classSVF_1_1Options.html#aa5bae1db07c401517c1c0f8fd9f2deef',1,'SVF::Options']]],
-  ['indirectcallmap_11442',['indirectCallMap',['../classSVF_1_1PTACallGraph.html#adcae44bd6788954e2e4e007bff03462c',1,'SVF::PTACallGraph']]],
-  ['indirectcalls_11443',['indirectCalls',['../classSVF_1_1PTACallGraphEdge.html#a66491523e4ccfdf2ff57e10cfd6f3074',1,'SVF::PTACallGraphEdge']]],
-  ['indirectpropatime_11444',['indirectPropaTime',['../classSVF_1_1FlowSensitive.html#a2feaa4b7a72989b311e9084a81320254',1,'SVF::FlowSensitive']]],
-  ['indmap_11445',['indMap',['../classSVF_1_1POCRHybridSolver.html#acaf3ed69888f4a3862dddf0de7508455',1,'SVF::POCRHybridSolver']]],
-  ['inedgekindtosetmap_11446',['InEdgeKindToSetMap',['../classSVF_1_1SVFVar.html#a0d918a6c8dd3b7b395d4c7161bcf9656',1,'SVF::SVFVar']]],
-  ['inedges_11447',['InEdges',['../classSVF_1_1CFBasicBlockNode.html#a7b1db0644849e066137c162e24026b67',1,'SVF::CFBasicBlockNode::InEdges()'],['../classSVF_1_1GenericNode.html#a24971168130222400d9aa5f03610bff5',1,'SVF::GenericNode::InEdges()']]],
-  ['inicfgedges_11448',['inICFGEdges',['../classSVF_1_1SVFLoop.html#a869a289f556304706f525f02ba9bff98',1,'SVF::SVFLoop']]],
-  ['inloop_11449',['inloop',['../classSVF_1_1CxtThread.html#a2066520689094db3c4a88f5a7fc4ec0c',1,'SVF::CxtThread']]],
-  ['inrecurjoinsites_11450',['inRecurJoinSites',['../classSVF_1_1TCT.html#a1b3872361dc17aaea359db8ce0cc2431',1,'SVF::TCT']]],
-  ['insencycle_11451',['InsenCycle',['../classSVF_1_1Options.html#a0c5d08f13bd41095afb3b60c7ffad0e0',1,'SVF::Options']]],
-  ['insenrecur_11452',['InsenRecur',['../classSVF_1_1Options.html#aeab702f641fd13ee1d0f89837097e43b',1,'SVF::Options']]],
-  ['insensitveedges_11453',['insensitveEdges',['../classSVF_1_1ContextDDA.html#a942e79dced48bd284a58540a2fb778b9',1,'SVF::ContextDDA']]],
-  ['inst_11454',['inst',['../classSVF_1_1IntraICFGNode.html#a49610f7e8c912b3a825e34fa8d34af02',1,'SVF::IntraICFGNode::inst()'],['../classSVF_1_1LoadMU.html#a7bbac3ff5455aa1340f348c7cb239c46',1,'SVF::LoadMU::inst()'],['../classSVF_1_1StoreCHI.html#a6e58e7cde1f417ec3feaef98f6f74be2',1,'SVF::StoreCHI::inst()'],['../classSVF_1_1CxtStmt.html#a355b80cc15a3450c6a34915a99caa028',1,'SVF::CxtStmt::inst()']]],
-  ['inst2labelmap_11455',['inst2LabelMap',['../classSVF_1_1SVFStmt.html#abb83549118bcd7216a053d82f7180d1c',1,'SVF::SVFStmt']]],
-  ['instcilocksmap_11456',['instCILocksMap',['../classSVF_1_1LockAnalysis.html#a277d88153d34cf3eb80272003949e4ef',1,'SVF::LockAnalysis']]],
-  ['insttoblocknodemap_11457',['InstToBlockNodeMap',['../classSVF_1_1ICFG.html#a23f905d849553d7ad652e9a8f1bfacd1',1,'SVF::ICFG']]],
-  ['insttocondcilocksmap_11458',['instTocondCILocksMap',['../classSVF_1_1LockAnalysis.html#a5a4167dd5dbd0017a4725c8774a5b522',1,'SVF::LockAnalysis']]],
-  ['insttocxtlockset_11459',['instToCxtLockSet',['../classSVF_1_1LockResultValidator.html#a841c1dfb065999215b5f415e403f7a2a',1,'SVF::LockResultValidator']]],
-  ['insttocxtstmtset_11460',['instToCxtStmtSet',['../classSVF_1_1LockAnalysis.html#ae8715683c7dfddc7b30caf6bf2b78296',1,'SVF::LockAnalysis']]],
-  ['insttotsmap_11461',['instToTSMap',['../classSVF_1_1MTAResultValidator.html#a8452bf182f6f1e0f4c239f620ee803b1',1,'SVF::MTAResultValidator::instToTSMap()'],['../classSVF_1_1MHP.html#a6b238ee6342da990840162845bba547f',1,'SVF::MHP::instToTSMap()']]],
-  ['interleavingqueriestime_11462',['interleavingQueriesTime',['../classSVF_1_1MHP.html#ab7d9fe837844197b7acdc0493a50aaa5',1,'SVF::MHP']]],
-  ['interleavingtime_11463',['interleavingTime',['../classSVF_1_1MHP.html#aca306b97c6dcd47a8f407038436473a2',1,'SVF::MHP']]],
-  ['interlev_5faccess_11464',['INTERLEV_ACCESS',['../classSVF_1_1MTAResultValidator.html#ad3c052835b34f2897089d1edc2548bae',1,'SVF::MTAResultValidator']]],
-  ['interlev_5fimprecise_11465',['INTERLEV_IMPRECISE',['../classSVF_1_1MTAResultValidator.html#a80414f4ba70357742fa0269f93f1a910',1,'SVF::MTAResultValidator']]],
-  ['interlev_5ftrue_11466',['INTERLEV_TRUE',['../classSVF_1_1MTAResultValidator.html#a5a6e2f2d1d6aa6fb3a83455b5a288ff1',1,'SVF::MTAResultValidator']]],
-  ['interlev_5funsound_11467',['INTERLEV_UNSOUND',['../classSVF_1_1MTAResultValidator.html#a0e2fb93a69df487606c0eeaeadab805d',1,'SVF::MTAResultValidator']]],
-  ['inters_11468',['inters',['../classSVF_1_1InterDisjointMRG.html#a104134d0f7c8b16abe8f5f3899c3bbf0',1,'SVF::InterDisjointMRG']]],
-  ['intersectioncache_11469',['intersectionCache',['../classSVF_1_1PersistentPointsToCache.html#a525fbb49c91040c078fbcaaae2339ef2',1,'SVF::PersistentPointsToCache']]],
-  ['intralock_11470',['IntraLock',['../classSVF_1_1Options.html#af6d92cd4372cd952e6d955cfc9be0ccb',1,'SVF::Options']]],
-  ['intrinsic_11471',['intrinsic',['../classSVF_1_1SVFFunction.html#a037b2583aa8d15ceeb630eaad41a36a3',1,'SVF::SVFFunction']]],
-  ['inupdatedvarmap_11472',['inUpdatedVarMap',['../classSVF_1_1MutableIncDFPTData.html#ab5e9ebf9e71652b5fa63d59c97d016e4',1,'SVF::MutableIncDFPTData::inUpdatedVarMap()'],['../classSVF_1_1PersistentIncDFPTData.html#a106391cd8eefab1740b54cd9bbacccad',1,'SVF::PersistentIncDFPTData::inUpdatedVarMap()']]],
-  ['invalidversion_11473',['invalidVersion',['../classSVF_1_1VersionedFlowSensitive.html#a3d44a343a2e3f5d276fd1b069c92e112',1,'SVF::VersionedFlowSensitive']]],
-  ['irgraphreader_11474',['irGraphReader',['../classSVF_1_1SVFIRReader.html#a0dbb50e2c4a8806a741e0c4173c445b8',1,'SVF::SVFIRReader']]],
-  ['irgraphwriter_11475',['irGraphWriter',['../classSVF_1_1SVFIRWriter.html#a997a5339fcb177556819b2e27b17b424',1,'SVF::SVFIRWriter']]],
-  ['is_5fiterable_5fv_11476',['is_iterable_v',['../namespaceSVF_1_1SVFUtil.html#aa32219da7a5c3d7517ec5026afdac588',1,'SVF::SVFUtil']]],
-  ['is_5fmap_5fv_11477',['is_map_v',['../namespaceSVF_1_1SVFUtil.html#a8c57ab480c497cbd21a49778d0e59bd5',1,'SVF::SVFUtil']]],
-  ['is_5fsequence_5fcontainer_5fv_11478',['is_sequence_container_v',['../namespaceSVF_1_1SVFUtil.html#a811faa9c2095f44e3e5b6e50aa6f6e06',1,'SVF::SVFUtil']]],
-  ['is_5fset_5fv_11479',['is_set_v',['../namespaceSVF_1_1SVFUtil.html#a08e67d68b1da116b2c51cb60bdb6dae2',1,'SVF::SVFUtil']]],
-  ['isdecl_11480',['isDecl',['../classSVF_1_1SVFFunction.html#a52581d00177fd5853d6f9de50b3e7fb9',1,'SVF::SVFFunction']]],
-  ['isexplicitlyset_11481',['isExplicitlySet',['../classOption.html#a980a99e59afae6419a9b15f7606d83dc',1,'Option::isExplicitlySet()'],['../classOptionMap.html#a9efba3b88013aa1745f47ab42d71c726',1,'OptionMap::isExplicitlySet()']]],
-  ['isloadmap_11482',['isLoadMap',['../classSVF_1_1VersionedFlowSensitive.html#a6bb3db072db0b899f306b37f1146f83d',1,'SVF::VersionedFlowSensitive']]],
-  ['isnotret_11483',['isNotRet',['../classSVF_1_1SVFFunction.html#ac85bdf04fd784e22a89426955d28e3d6',1,'SVF::SVFFunction']]],
-  ['isptr_11484',['isPtr',['../classSVF_1_1SVFVar.html#a7c8ffadedbf53d30694feeb7771990af',1,'SVF::SVFVar']]],
-  ['issimple_11485',['IsSimple',['../structSVF_1_1DefaultDOTGraphTraits.html#abf5957e894bacd69c9ead5a80a330626',1,'SVF::DefaultDOTGraphTraits']]],
-  ['issinglevalty_11486',['isSingleValTy',['../classSVF_1_1SVFType.html#ac26ba9052149b5b792aa8e8c3ccfd350',1,'SVF::SVFType']]],
-  ['isstoremap_11487',['isStoreMap',['../classSVF_1_1VersionedFlowSensitive.html#a18e25c3871d7cc1a6bb0592ceca90f88',1,'SVF::VersionedFlowSensitive']]],
-  ['isthunkfunc_11488',['isThunkFunc',['../structSVF_1_1cppUtil_1_1DemangledName.html#af6117df8aec7f4c077058fa8f00b0243',1,'SVF::cppUtil::DemangledName']]],
-  ['isuncalled_11489',['isUncalled',['../classSVF_1_1SVFFunction.html#a1e9dc1d660e3626540b7501194bb12ea',1,'SVF::SVFFunction']]],
-  ['item_11490',['item',['../cJSON_8h.html#ac76cea59d438ba893d2f82aabb367d14',1,'item(): cJSON.h'],['../cJSON_8cpp.html#ac011de571ff16ba220d2e0d757e4e8b0',1,'item(): cJSON.cpp']]],
-  ['iter_11491',['Iter',['../classSVF_1_1SparseBitVector_1_1SparseBitVectorIterator.html#a3627077086baa18bd0ae25efd981c18f',1,'SVF::SparseBitVector::SparseBitVectorIterator']]],
-  ['iter_5ffacade_5fbase_11492',['iter_facade_base',['../classSVF_1_1iter__facade__base_1_1ReferenceProxy.html#ab4717ea89d08ac05464fa95bc7f50ac6',1,'SVF::iter_facade_base::ReferenceProxy']]],
-  ['iterationforprintstat_11493',['iterationForPrintStat',['../classSVF_1_1WPASolver.html#aa7c0636780a86f376e9222bce771e859',1,'SVF::WPASolver']]]
+  ['i_11458',['I',['../classSVF_1_1iter__facade__base_1_1ReferenceProxy.html#aca4eadcdc568988ffddd09d359b1c1c3',1,'SVF::iter_facade_base::ReferenceProxy::I()'],['../classSVF_1_1iter__adaptor__base.html#a1c80cc24530dbc29b03bf58500e0d636',1,'SVF::iter_adaptor_base::I()']]],
+  ['i1_11459',['I1',['../classSVF_1_1RaceResultValidator_1_1AccessPair.html#a2f6817c4f04b090ff8ebff68cafa5892',1,'SVF::RaceResultValidator::AccessPair']]],
+  ['i2_11460',['I2',['../classSVF_1_1RaceResultValidator_1_1AccessPair.html#a4759b40288c232686465893d988697f3',1,'SVF::RaceResultValidator::AccessPair']]],
+  ['icfg_11461',['icfg',['../classSVF_1_1ICFGBuilder.html#adefeaad9c02000f263430dfee7149ea6',1,'SVF::ICFGBuilder::icfg()'],['../classSVF_1_1ICFGStat.html#a03185827f7913a480523de5b8f911acb',1,'SVF::ICFGStat::icfg()'],['../classSVF_1_1PointerAnalysis.html#a962cc91e4d68b25ce201072c384d8fc2',1,'SVF::PointerAnalysis::icfg()'],['../classSVF_1_1SVFIR.html#abe8aa0d325b35dd59ce4a7f302760e51',1,'SVF::SVFIR::icfg()'],['../classSVF_1_1CallGraphBuilder.html#ab3e0b47be010e25c093953e54602d211',1,'SVF::CallGraphBuilder::icfg()']]],
+  ['icfgnode_11462',['icfgNode',['../classSVF_1_1VFGNode.html#a54c631f1e39be144c0cd25373f6b98b8',1,'SVF::VFGNode::icfgNode()'],['../classSVF_1_1SVFStmt.html#a50046a1500ec6e2819ef55162e70cc71',1,'SVF::SVFStmt::icfgNode()']]],
+  ['icfgnode2ptasvfstmtsmap_11463',['icfgNode2PTASVFStmtsMap',['../classSVF_1_1SVFIR.html#aaae756185bbd5b7175e96f8928a989c2',1,'SVF::SVFIR']]],
+  ['icfgnode2svfstmtsmap_11464',['icfgNode2SVFStmtsMap',['../classSVF_1_1SVFIR.html#a86c0c23d854b034d741d9d8891debab7',1,'SVF::SVFIR']]],
+  ['icfgnodes_11465',['icfgNodes',['../classSVF_1_1SVFLoop.html#a062e4b336b9b8315a9fc1107c9cab840',1,'SVF::SVFLoop']]],
+  ['icfgnodetosvfloopvec_11466',['icfgNodeToSVFLoopVec',['../classSVF_1_1ICFG.html#a7d6aeecb00d77600a204a72d60023d54',1,'SVF::ICFG']]],
+  ['icfgreader_11467',['icfgReader',['../classSVF_1_1SVFIRReader.html#aa1100e216d94eb445f59125e94815fd7',1,'SVF::SVFIRReader']]],
+  ['icfgwriter_11468',['icfgWriter',['../classSVF_1_1SVFIRWriter.html#aba5c3c3b62687a28301e9c65555e57f9',1,'SVF::SVFIRWriter']]],
+  ['id_11469',['ID',['../classSVF_1_1BreakConstantGEPs.html#a8010c4f5824ed5ebcb7ae283473ada22',1,'SVF::BreakConstantGEPs::ID()'],['../classSVF_1_1MergeFunctionRets.html#a7a763ae6c9d3c72345495f01b0b4b458',1,'SVF::MergeFunctionRets::ID()'],['../classSVF_1_1DDAPass.html#adb39fc24e3d45e558ac36f37b5dc3565',1,'SVF::DDAPass::ID()'],['../classSVF_1_1WPAPass.html#a2674527c92cdef223e655d449f0811d4',1,'SVF::WPAPass::ID()'],['../structSVF_1_1POCRHybridSolver_1_1TreeNode.html#a365d77cf4f71a53d06417f294a67048b',1,'SVF::POCRHybridSolver::TreeNode::id()'],['../classSVF_1_1GenericNode.html#aaa53457604fe4cf4cb97ca85d33907b0',1,'SVF::GenericNode::id()']]],
+  ['idcounter_11470',['idCounter',['../classSVF_1_1PersistentPointsToCache.html#ad8d24772f7503e0e735f546506d2bcc5',1,'SVF::PersistentPointsToCache']]],
+  ['idmap_11471',['idMap',['../classSVF_1_1ReaderIDToObjMap.html#a3ed6e858fd91ec6cf14361b55dec55b4',1,'SVF::ReaderIDToObjMap']]],
+  ['idtocsmap_11472',['idToCSMap',['../classSVF_1_1PTACallGraph.html#a5d6f63baad19589a9fd1e069631e18fa',1,'SVF::PTACallGraph']]],
+  ['idtonodemap_11473',['idToNodeMap',['../classSVF_1_1GenericGraphReader.html#a2fc2248a433201314c636856603cb3fa',1,'SVF::GenericGraphReader::idToNodeMap()'],['../classSVF_1_1GenericGraph.html#a47a1ef8b67b0c92f78b4457dc3bbfe71',1,'SVF::GenericGraph::IDToNodeMap()']]],
+  ['idtopts_11474',['idToPts',['../classSVF_1_1PersistentPointsToCache.html#a32009561c9d3a340ec4e6230ef17f998',1,'SVF::PersistentPointsToCache']]],
+  ['idtoterminstmap_11475',['idToTermInstMap',['../classSVF_1_1SaberCondAllocator.html#aee401aa2c7884888bbd26544bcd92881',1,'SVF::SaberCondAllocator']]],
+  ['idxoperandpairs_11476',['idxOperandPairs',['../classSVF_1_1AccessPath.html#a47855e8ab3bba692f443903b58618229',1,'SVF::AccessPath']]],
+  ['ignoredeadfun_11477',['IgnoreDeadFun',['../classSVF_1_1Options.html#a00f3c4c53e6ade73f7667231c394c5d7',1,'SVF::Options']]],
+  ['incdfptdata_11478',['INCDFPTData',['../classSVF_1_1Options.html#a1743b8a1ab2d71c35206c7befa725d90',1,'SVF::Options']]],
+  ['incfledges_11479',['inCFLEdges',['../classSVF_1_1CFLNode.html#a3a7d1ea890272e9905406638b12bdc30',1,'SVF::CFLNode']]],
+  ['incycle_11480',['incycle',['../classSVF_1_1CxtThread.html#a97d876697e682b23211a8f930fed7f32',1,'SVF::CxtThread']]],
+  ['indcallsitetofunptrmap_11481',['indCallSiteToFunPtrMap',['../classSVF_1_1SVFIR.html#a0a5f88766b7e11f1ea35befcbcea62dc',1,'SVF::SVFIR']]],
+  ['index_11482',['index',['../structSVF_1_1VersionedFlowSensitive_1_1SCC_1_1NodeData.html#a823afbcf2b99a38367b7bc8be17ff2ba',1,'SVF::VersionedFlowSensitive::SCC::NodeData::index()'],['../cJSON_8h.html#a750b5d744c39a06bfb13e6eb010e35d0',1,'index(): cJSON.h'],['../cJSON_8cpp.html#a750b5d744c39a06bfb13e6eb010e35d0',1,'index(): cJSON.cpp']]],
+  ['indirectcalllimit_11483',['IndirectCallLimit',['../classSVF_1_1Options.html#aa5bae1db07c401517c1c0f8fd9f2deef',1,'SVF::Options']]],
+  ['indirectcallmap_11484',['indirectCallMap',['../classSVF_1_1PTACallGraph.html#adcae44bd6788954e2e4e007bff03462c',1,'SVF::PTACallGraph']]],
+  ['indirectcalls_11485',['indirectCalls',['../classSVF_1_1PTACallGraphEdge.html#a66491523e4ccfdf2ff57e10cfd6f3074',1,'SVF::PTACallGraphEdge']]],
+  ['indirectpropatime_11486',['indirectPropaTime',['../classSVF_1_1FlowSensitive.html#a2feaa4b7a72989b311e9084a81320254',1,'SVF::FlowSensitive']]],
+  ['indmap_11487',['indMap',['../classSVF_1_1POCRHybridSolver.html#acaf3ed69888f4a3862dddf0de7508455',1,'SVF::POCRHybridSolver']]],
+  ['inedgekindtosetmap_11488',['InEdgeKindToSetMap',['../classSVF_1_1SVFVar.html#a0d918a6c8dd3b7b395d4c7161bcf9656',1,'SVF::SVFVar']]],
+  ['inedges_11489',['InEdges',['../classSVF_1_1CFBasicBlockNode.html#a7b1db0644849e066137c162e24026b67',1,'SVF::CFBasicBlockNode::InEdges()'],['../classSVF_1_1GenericNode.html#a24971168130222400d9aa5f03610bff5',1,'SVF::GenericNode::InEdges()']]],
+  ['inicfgedges_11490',['inICFGEdges',['../classSVF_1_1SVFLoop.html#a869a289f556304706f525f02ba9bff98',1,'SVF::SVFLoop']]],
+  ['inloop_11491',['inloop',['../classSVF_1_1CxtThread.html#a2066520689094db3c4a88f5a7fc4ec0c',1,'SVF::CxtThread']]],
+  ['inrecurjoinsites_11492',['inRecurJoinSites',['../classSVF_1_1TCT.html#a1b3872361dc17aaea359db8ce0cc2431',1,'SVF::TCT']]],
+  ['insencycle_11493',['InsenCycle',['../classSVF_1_1Options.html#a0c5d08f13bd41095afb3b60c7ffad0e0',1,'SVF::Options']]],
+  ['insenrecur_11494',['InsenRecur',['../classSVF_1_1Options.html#aeab702f641fd13ee1d0f89837097e43b',1,'SVF::Options']]],
+  ['insensitveedges_11495',['insensitveEdges',['../classSVF_1_1ContextDDA.html#a942e79dced48bd284a58540a2fb778b9',1,'SVF::ContextDDA']]],
+  ['inst_11496',['inst',['../classSVF_1_1IntraICFGNode.html#a49610f7e8c912b3a825e34fa8d34af02',1,'SVF::IntraICFGNode::inst()'],['../classSVF_1_1LoadMU.html#a7bbac3ff5455aa1340f348c7cb239c46',1,'SVF::LoadMU::inst()'],['../classSVF_1_1StoreCHI.html#a6e58e7cde1f417ec3feaef98f6f74be2',1,'SVF::StoreCHI::inst()'],['../classSVF_1_1CxtStmt.html#a355b80cc15a3450c6a34915a99caa028',1,'SVF::CxtStmt::inst()']]],
+  ['inst2labelmap_11497',['inst2LabelMap',['../classSVF_1_1SVFStmt.html#abb83549118bcd7216a053d82f7180d1c',1,'SVF::SVFStmt']]],
+  ['instcilocksmap_11498',['instCILocksMap',['../classSVF_1_1LockAnalysis.html#a277d88153d34cf3eb80272003949e4ef',1,'SVF::LockAnalysis']]],
+  ['insttoblocknodemap_11499',['InstToBlockNodeMap',['../classSVF_1_1ICFG.html#a23f905d849553d7ad652e9a8f1bfacd1',1,'SVF::ICFG']]],
+  ['insttocondcilocksmap_11500',['instTocondCILocksMap',['../classSVF_1_1LockAnalysis.html#a5a4167dd5dbd0017a4725c8774a5b522',1,'SVF::LockAnalysis']]],
+  ['insttocxtlockset_11501',['instToCxtLockSet',['../classSVF_1_1LockResultValidator.html#a841c1dfb065999215b5f415e403f7a2a',1,'SVF::LockResultValidator']]],
+  ['insttocxtstmtset_11502',['instToCxtStmtSet',['../classSVF_1_1LockAnalysis.html#ae8715683c7dfddc7b30caf6bf2b78296',1,'SVF::LockAnalysis']]],
+  ['insttotsmap_11503',['instToTSMap',['../classSVF_1_1MTAResultValidator.html#a8452bf182f6f1e0f4c239f620ee803b1',1,'SVF::MTAResultValidator::instToTSMap()'],['../classSVF_1_1MHP.html#a6b238ee6342da990840162845bba547f',1,'SVF::MHP::instToTSMap()']]],
+  ['interleavingqueriestime_11504',['interleavingQueriesTime',['../classSVF_1_1MHP.html#ab7d9fe837844197b7acdc0493a50aaa5',1,'SVF::MHP']]],
+  ['interleavingtime_11505',['interleavingTime',['../classSVF_1_1MHP.html#aca306b97c6dcd47a8f407038436473a2',1,'SVF::MHP']]],
+  ['interlev_5faccess_11506',['INTERLEV_ACCESS',['../classSVF_1_1MTAResultValidator.html#ad3c052835b34f2897089d1edc2548bae',1,'SVF::MTAResultValidator']]],
+  ['interlev_5fimprecise_11507',['INTERLEV_IMPRECISE',['../classSVF_1_1MTAResultValidator.html#a80414f4ba70357742fa0269f93f1a910',1,'SVF::MTAResultValidator']]],
+  ['interlev_5ftrue_11508',['INTERLEV_TRUE',['../classSVF_1_1MTAResultValidator.html#a5a6e2f2d1d6aa6fb3a83455b5a288ff1',1,'SVF::MTAResultValidator']]],
+  ['interlev_5funsound_11509',['INTERLEV_UNSOUND',['../classSVF_1_1MTAResultValidator.html#a0e2fb93a69df487606c0eeaeadab805d',1,'SVF::MTAResultValidator']]],
+  ['inters_11510',['inters',['../classSVF_1_1InterDisjointMRG.html#a104134d0f7c8b16abe8f5f3899c3bbf0',1,'SVF::InterDisjointMRG']]],
+  ['intersectioncache_11511',['intersectionCache',['../classSVF_1_1PersistentPointsToCache.html#a525fbb49c91040c078fbcaaae2339ef2',1,'SVF::PersistentPointsToCache']]],
+  ['intralock_11512',['IntraLock',['../classSVF_1_1Options.html#af6d92cd4372cd952e6d955cfc9be0ccb',1,'SVF::Options']]],
+  ['intrinsic_11513',['intrinsic',['../classSVF_1_1SVFFunction.html#a037b2583aa8d15ceeb630eaad41a36a3',1,'SVF::SVFFunction']]],
+  ['inupdatedvarmap_11514',['inUpdatedVarMap',['../classSVF_1_1MutableIncDFPTData.html#ab5e9ebf9e71652b5fa63d59c97d016e4',1,'SVF::MutableIncDFPTData::inUpdatedVarMap()'],['../classSVF_1_1PersistentIncDFPTData.html#a106391cd8eefab1740b54cd9bbacccad',1,'SVF::PersistentIncDFPTData::inUpdatedVarMap()']]],
+  ['invalidversion_11515',['invalidVersion',['../classSVF_1_1VersionedFlowSensitive.html#a3d44a343a2e3f5d276fd1b069c92e112',1,'SVF::VersionedFlowSensitive']]],
+  ['irgraphreader_11516',['irGraphReader',['../classSVF_1_1SVFIRReader.html#a0dbb50e2c4a8806a741e0c4173c445b8',1,'SVF::SVFIRReader']]],
+  ['irgraphwriter_11517',['irGraphWriter',['../classSVF_1_1SVFIRWriter.html#a997a5339fcb177556819b2e27b17b424',1,'SVF::SVFIRWriter']]],
+  ['is_5fiterable_5fv_11518',['is_iterable_v',['../namespaceSVF_1_1SVFUtil.html#aa32219da7a5c3d7517ec5026afdac588',1,'SVF::SVFUtil']]],
+  ['is_5fmap_5fv_11519',['is_map_v',['../namespaceSVF_1_1SVFUtil.html#a8c57ab480c497cbd21a49778d0e59bd5',1,'SVF::SVFUtil']]],
+  ['is_5fsequence_5fcontainer_5fv_11520',['is_sequence_container_v',['../namespaceSVF_1_1SVFUtil.html#a811faa9c2095f44e3e5b6e50aa6f6e06',1,'SVF::SVFUtil']]],
+  ['is_5fset_5fv_11521',['is_set_v',['../namespaceSVF_1_1SVFUtil.html#a08e67d68b1da116b2c51cb60bdb6dae2',1,'SVF::SVFUtil']]],
+  ['isdecl_11522',['isDecl',['../classSVF_1_1SVFFunction.html#a52581d00177fd5853d6f9de50b3e7fb9',1,'SVF::SVFFunction']]],
+  ['isexplicitlyset_11523',['isExplicitlySet',['../classOption.html#a980a99e59afae6419a9b15f7606d83dc',1,'Option::isExplicitlySet()'],['../classOptionMap.html#a9efba3b88013aa1745f47ab42d71c726',1,'OptionMap::isExplicitlySet()']]],
+  ['isloadmap_11524',['isLoadMap',['../classSVF_1_1VersionedFlowSensitive.html#a6bb3db072db0b899f306b37f1146f83d',1,'SVF::VersionedFlowSensitive']]],
+  ['isnotret_11525',['isNotRet',['../classSVF_1_1SVFFunction.html#ac85bdf04fd784e22a89426955d28e3d6',1,'SVF::SVFFunction']]],
+  ['isptr_11526',['isPtr',['../classSVF_1_1SVFVar.html#a7c8ffadedbf53d30694feeb7771990af',1,'SVF::SVFVar']]],
+  ['issimple_11527',['IsSimple',['../structSVF_1_1DefaultDOTGraphTraits.html#abf5957e894bacd69c9ead5a80a330626',1,'SVF::DefaultDOTGraphTraits']]],
+  ['issinglevalty_11528',['isSingleValTy',['../classSVF_1_1SVFType.html#ac26ba9052149b5b792aa8e8c3ccfd350',1,'SVF::SVFType']]],
+  ['isstoremap_11529',['isStoreMap',['../classSVF_1_1VersionedFlowSensitive.html#a18e25c3871d7cc1a6bb0592ceca90f88',1,'SVF::VersionedFlowSensitive']]],
+  ['isthunkfunc_11530',['isThunkFunc',['../structSVF_1_1cppUtil_1_1DemangledName.html#af6117df8aec7f4c077058fa8f00b0243',1,'SVF::cppUtil::DemangledName']]],
+  ['isuncalled_11531',['isUncalled',['../classSVF_1_1SVFFunction.html#a1e9dc1d660e3626540b7501194bb12ea',1,'SVF::SVFFunction']]],
+  ['item_11532',['item',['../cJSON_8h.html#ac76cea59d438ba893d2f82aabb367d14',1,'item(): cJSON.h'],['../cJSON_8cpp.html#ac011de571ff16ba220d2e0d757e4e8b0',1,'item(): cJSON.cpp']]],
+  ['iter_11533',['Iter',['../classSVF_1_1SparseBitVector_1_1SparseBitVectorIterator.html#a3627077086baa18bd0ae25efd981c18f',1,'SVF::SparseBitVector::SparseBitVectorIterator']]],
+  ['iter_5ffacade_5fbase_11534',['iter_facade_base',['../classSVF_1_1iter__facade__base_1_1ReferenceProxy.html#ab4717ea89d08ac05464fa95bc7f50ac6',1,'SVF::iter_facade_base::ReferenceProxy']]],
+  ['iterationforprintstat_11535',['iterationForPrintStat',['../classSVF_1_1WPASolver.html#aa7c0636780a86f376e9222bce771e859',1,'SVF::WPASolver']]]
 ];

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

@@ -1,7 +1,7 @@
 var searchData=
 [
-  ['joinsites_11494',['joinsites',['../classSVF_1_1ThreadCallGraph.html#aab32b67b314b31d67d58efded50e8f45',1,'SVF::ThreadCallGraph']]],
-  ['joinsitetoloopmap_11495',['joinSiteToLoopMap',['../classSVF_1_1TCT.html#a5b1f44ffa732607a7800728befa5bc57',1,'SVF::TCT']]],
-  ['json_11496',['json',['../structerror.html#a9b123855d5dd48e86de846588462b39f',1,'error::json()'],['../cJSON_8cpp.html#ac3d010a5f321146bc39a696b90a35c37',1,'json(): cJSON.cpp']]],
-  ['jsonarray_11497',['jsonArray',['../classSVF_1_1ReaderPtrPool.html#a7c97bb72f8b612fdebed953ccb3d4ad0',1,'SVF::ReaderPtrPool']]]
+  ['joinsites_11536',['joinsites',['../classSVF_1_1ThreadCallGraph.html#aab32b67b314b31d67d58efded50e8f45',1,'SVF::ThreadCallGraph']]],
+  ['joinsitetoloopmap_11537',['joinSiteToLoopMap',['../classSVF_1_1TCT.html#a5b1f44ffa732607a7800728befa5bc57',1,'SVF::TCT']]],
+  ['json_11538',['json',['../structerror.html#a9b123855d5dd48e86de846588462b39f',1,'error::json()'],['../cJSON_8cpp.html#ac3d010a5f321146bc39a696b90a35c37',1,'json(): cJSON.cpp']]],
+  ['jsonarray_11539',['jsonArray',['../classSVF_1_1ReaderPtrPool.html#a7c97bb72f8b612fdebed953ccb3d4ad0',1,'SVF::ReaderPtrPool']]]
 ];

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

@@ -1,13 +1,13 @@
 var searchData=
 [
-  ['keepactualoutformalin_11498',['keepActualOutFormalIn',['../classSVF_1_1SVFGOPT.html#a7e57ca56a587a5b59543b5bab7fe794d',1,'SVF::SVFGOPT']]],
-  ['keepallselfcycle_11499',['keepAllSelfCycle',['../classSVF_1_1SVFGOPT.html#a65bba62d9b62bf2bdbbda69540eeb38d',1,'SVF::SVFGOPT::keepAllSelfCycle()'],['../SVFGOPT_8cpp.html#af213fe89264a55a8ff44872905524f2f',1,'KeepAllSelfCycle(): SVFGOPT.cpp']]],
-  ['keepaofi_11500',['KeepAOFI',['../classSVF_1_1Options.html#a09005e749b1030347ac5dcc015053a37',1,'SVF::Options']]],
-  ['keepcontextselfcycle_11501',['keepContextSelfCycle',['../classSVF_1_1SVFGOPT.html#ac68a53c567929ba8b69c00e3e8d9d30f',1,'SVF::SVFGOPT::keepContextSelfCycle()'],['../SVFGOPT_8cpp.html#a88c73f6d9c8ac75497c2e520a7d41935',1,'KeepContextSelfCycle(): SVFGOPT.cpp']]],
-  ['keepnoneselfcycle_11502',['KeepNoneSelfCycle',['../SVFGOPT_8cpp.html#a644ce2ce8b3224e9cd4cfc8480941c6f',1,'SVFGOPT.cpp']]],
-  ['kind_11503',['kind',['../structSVF_1_1GrammarBase_1_1Symbol.html#aa60ddaabcb38b277d56b41bc9133ef71',1,'SVF::GrammarBase::Symbol::kind()'],['../classSVF_1_1CommonCHGraph.html#a4d3f2b9ed7ae8e87baf69525e9115071',1,'SVF::CommonCHGraph::kind()'],['../classSVF_1_1PTACallGraph.html#a6a5927a58cc777a0745bd0ca635f25b1',1,'SVF::PTACallGraph::kind()'],['../classSVF_1_1VFG.html#a3867c591a231bad0aa2e6ab7c095a42f',1,'SVF::VFG::kind()'],['../classSVF_1_1SVFType.html#a428617a1e7addda6094ddd80bdbb62c8',1,'SVF::SVFType::kind()'],['../classSVF_1_1SVFValue.html#af9f71a3c0d055f5fed6831a6ecf40d67',1,'SVF::SVFValue::kind()']]],
-  ['kindtoattrsmap_11504',['kindToAttrsMap',['../classSVF_1_1GrammarBase.html#a7707662599fe848ae6526802be4f7b6c',1,'SVF::GrammarBase::kindToAttrsMap()'],['../classSVF_1_1CFLGraphBuilder.html#af34aa7ae71e100d8bbe7c1b17c1f0068',1,'SVF::CFLGraphBuilder::kindToAttrsMap()']]],
-  ['kindtolabelmap_11505',['kindToLabelMap',['../classSVF_1_1CFLGraphBuilder.html#a93b41c2f0eca82e6eaf49895b2b13a1e',1,'SVF::CFLGraphBuilder']]],
-  ['kindtoptasvfstmtsetmap_11506',['KindToPTASVFStmtSetMap',['../classSVF_1_1IRGraph.html#ae0a9b81717fd834bbd109c4b69aaff9d',1,'SVF::IRGraph']]],
-  ['kindtosvfstmtsetmap_11507',['KindToSVFStmtSetMap',['../classSVF_1_1IRGraph.html#a3db2c4e2823f16d78c86596da284acd1',1,'SVF::IRGraph']]]
+  ['keepactualoutformalin_11540',['keepActualOutFormalIn',['../classSVF_1_1SVFGOPT.html#a7e57ca56a587a5b59543b5bab7fe794d',1,'SVF::SVFGOPT']]],
+  ['keepallselfcycle_11541',['keepAllSelfCycle',['../classSVF_1_1SVFGOPT.html#a65bba62d9b62bf2bdbbda69540eeb38d',1,'SVF::SVFGOPT::keepAllSelfCycle()'],['../SVFGOPT_8cpp.html#af213fe89264a55a8ff44872905524f2f',1,'KeepAllSelfCycle(): SVFGOPT.cpp']]],
+  ['keepaofi_11542',['KeepAOFI',['../classSVF_1_1Options.html#a09005e749b1030347ac5dcc015053a37',1,'SVF::Options']]],
+  ['keepcontextselfcycle_11543',['keepContextSelfCycle',['../classSVF_1_1SVFGOPT.html#ac68a53c567929ba8b69c00e3e8d9d30f',1,'SVF::SVFGOPT::keepContextSelfCycle()'],['../SVFGOPT_8cpp.html#a88c73f6d9c8ac75497c2e520a7d41935',1,'KeepContextSelfCycle(): SVFGOPT.cpp']]],
+  ['keepnoneselfcycle_11544',['KeepNoneSelfCycle',['../SVFGOPT_8cpp.html#a644ce2ce8b3224e9cd4cfc8480941c6f',1,'SVFGOPT.cpp']]],
+  ['kind_11545',['kind',['../structSVF_1_1GrammarBase_1_1Symbol.html#aa60ddaabcb38b277d56b41bc9133ef71',1,'SVF::GrammarBase::Symbol::kind()'],['../classSVF_1_1CommonCHGraph.html#a4d3f2b9ed7ae8e87baf69525e9115071',1,'SVF::CommonCHGraph::kind()'],['../classSVF_1_1PTACallGraph.html#a6a5927a58cc777a0745bd0ca635f25b1',1,'SVF::PTACallGraph::kind()'],['../classSVF_1_1VFG.html#a3867c591a231bad0aa2e6ab7c095a42f',1,'SVF::VFG::kind()'],['../classSVF_1_1SVFType.html#a428617a1e7addda6094ddd80bdbb62c8',1,'SVF::SVFType::kind()'],['../classSVF_1_1SVFValue.html#af9f71a3c0d055f5fed6831a6ecf40d67',1,'SVF::SVFValue::kind()']]],
+  ['kindtoattrsmap_11546',['kindToAttrsMap',['../classSVF_1_1GrammarBase.html#a7707662599fe848ae6526802be4f7b6c',1,'SVF::GrammarBase::kindToAttrsMap()'],['../classSVF_1_1CFLGraphBuilder.html#af34aa7ae71e100d8bbe7c1b17c1f0068',1,'SVF::CFLGraphBuilder::kindToAttrsMap()']]],
+  ['kindtolabelmap_11547',['kindToLabelMap',['../classSVF_1_1CFLGraphBuilder.html#a93b41c2f0eca82e6eaf49895b2b13a1e',1,'SVF::CFLGraphBuilder']]],
+  ['kindtoptasvfstmtsetmap_11548',['KindToPTASVFStmtSetMap',['../classSVF_1_1IRGraph.html#ae0a9b81717fd834bbd109c4b69aaff9d',1,'SVF::IRGraph']]],
+  ['kindtosvfstmtsetmap_11549',['KindToSVFStmtSetMap',['../classSVF_1_1IRGraph.html#a3db2c4e2823f16d78c86596da284acd1',1,'SVF::IRGraph']]]
 ];

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

@@ -1,48 +1,48 @@
 var searchData=
 [
-  ['labeltokindmap_11508',['labelToKindMap',['../classSVF_1_1CFLGraphBuilder.html#a1ecf9cad8707ba07d3e44624ea273f2f',1,'SVF::CFLGraphBuilder']]],
-  ['largestregion_11509',['LargestRegion',['../classSVF_1_1NodeIDAllocator_1_1Clusterer.html#a172d72ae4ae45fa2baf2f20ff2b499dc',1,'SVF::NodeIDAllocator::Clusterer']]],
-  ['ldnodeset_11510',['ldnodeSet',['../classSVF_1_1MTASVFGBuilder.html#a6dfa9807255258f324557d188adea9b2',1,'SVF::MTASVFGBuilder']]],
-  ['leakchecker_11511',['LEAKCHECKER',['../saber_8cpp.html#a789415bb7081a399af0d4218ead5e6a5',1,'saber.cpp']]],
-  ['length_11512',['length',['../structparse__buffer.html#a036970e9335896d3cee8459eda9e2eb9',1,'parse_buffer::length()'],['../structprintbuffer.html#a1a679f8b6fe9b413fb3a87203b0f5bc8',1,'printbuffer::length()'],['../cJSON_8h.html#a9f237f17f4e79d5b89149e09152edabe',1,'length(): cJSON.h'],['../cJSON_8cpp.html#a9f237f17f4e79d5b89149e09152edabe',1,'length(): cJSON.cpp']]],
-  ['llvmargument2svfargument_11513',['LLVMArgument2SVFArgument',['../classSVF_1_1LLVMModuleSet.html#a852524c71831d7b2da0e9b0b6b191480',1,'SVF::LLVMModuleSet']]],
-  ['llvmbb2svfbb_11514',['LLVMBB2SVFBB',['../classSVF_1_1LLVMModuleSet.html#a0f9b36699b99dfcfe3c1588bfab6b97c',1,'SVF::LLVMModuleSet']]],
-  ['llvmconst2svfconst_11515',['LLVMConst2SVFConst',['../classSVF_1_1LLVMModuleSet.html#a4b94c96898dbbc71bc1cee04786cf3dc',1,'SVF::LLVMModuleSet']]],
-  ['llvmfunc2svffunc_11516',['LLVMFunc2SVFFunc',['../classSVF_1_1LLVMModuleSet.html#a9fd7f0170bffa7c1b927cdb0de98fd15',1,'SVF::LLVMModuleSet']]],
-  ['llvminst2svfinst_11517',['LLVMInst2SVFInst',['../classSVF_1_1LLVMModuleSet.html#a42439790c217254ce5404622b197b3d0',1,'SVF::LLVMModuleSet']]],
-  ['llvmmoduleset_11518',['llvmModuleSet',['../classSVF_1_1LLVMModuleSet.html#ac59b07cafcbacc950eefea4082425b63',1,'SVF::LLVMModuleSet']]],
-  ['llvmtype2svftype_11519',['LLVMType2SVFType',['../classSVF_1_1LLVMModuleSet.html#a067661e0049314779a44c9600420820f',1,'SVF::LLVMModuleSet']]],
-  ['llvmvalue2svfothervalue_11520',['LLVMValue2SVFOtherValue',['../classSVF_1_1LLVMModuleSet.html#ac3e70bd338be3a54330be5dc10321eb3',1,'SVF::LLVMModuleSet']]],
-  ['load2musetmap_11521',['load2MuSetMap',['../classSVF_1_1MemSSA.html#a5cf94edea3a5c35b3c1d9c6ae4b5f9d6',1,'SVF::MemSSA']]],
-  ['loadcgedgeset_11522',['LoadCGEdgeSet',['../classSVF_1_1ConstraintGraph.html#a1cb9124b29720e7a5b39d83419f9cc17',1,'SVF::ConstraintGraph']]],
-  ['loadinedges_11523',['loadInEdges',['../classSVF_1_1ConstraintNode.html#af7343134750575d3f335ed431f13a418',1,'SVF::ConstraintNode']]],
-  ['loadoutedges_11524',['loadOutEdges',['../classSVF_1_1ConstraintNode.html#a85a6acbd708be0dfc63ea87050a4a934',1,'SVF::ConstraintNode']]],
-  ['loadset_11525',['loadset',['../classSVF_1_1MTAAnnotator.html#a469851829bf1105fe8faac44b4abbfdd',1,'SVF::MTAAnnotator']]],
-  ['loadsrcnodes_11526',['loadSrcNodes',['../classSVF_1_1AliasDDAClient.html#a246448efd1ff5da683a6ffe9f759e282',1,'SVF::AliasDDAClient']]],
-  ['loadstomrsmap_11527',['loadsToMRsMap',['../classSVF_1_1MRGenerator.html#a0d8229b1f0b8428708e923d19096e4ba',1,'SVF::MRGenerator']]],
-  ['loadstopointstomap_11528',['loadsToPointsToMap',['../classSVF_1_1MRGenerator.html#af47e15d6b8c15d547a718f3577513975',1,'SVF::MRGenerator']]],
-  ['loadtime_11529',['loadTime',['../classSVF_1_1FlowSensitive.html#aab4f70210eb1e6447a24697d3b459067',1,'SVF::FlowSensitive']]],
-  ['loadtoptcvarmap_11530',['loadToPTCVarMap',['../classSVF_1_1DDAVFSolver.html#a6d62420837fe0c7814fc4da68a91eda4',1,'SVF::DDAVFSolver']]],
-  ['localvarinrecursion_11531',['localVarInRecursion',['../classSVF_1_1PTAStat.html#a5b4095f427c9c7b9ec0db497ba33baea',1,'SVF::PTAStat']]],
-  ['lock_11532',['LOCK',['../classSVF_1_1LockResultValidator.html#a5423c0cf9624c42bcd8a9a8adaa22dcb',1,'SVF::LockResultValidator']]],
-  ['lock_5fimprecise_11533',['LOCK_IMPRECISE',['../classSVF_1_1LockResultValidator.html#a760c0f6f891daa4532a44c6594794bb8',1,'SVF::LockResultValidator']]],
-  ['lock_5ftrue_11534',['LOCK_TRUE',['../classSVF_1_1LockResultValidator.html#a005c38dd07eb66d52066fa1927b1e19f',1,'SVF::LockResultValidator']]],
-  ['lock_5funsound_11535',['LOCK_UNSOUND',['../classSVF_1_1LockResultValidator.html#a03589368482d3f7ee7f6734e257dcbdf',1,'SVF::LockResultValidator']]],
-  ['lockana_11536',['lockana',['../classSVF_1_1MTASVFGBuilder.html#a00bf5aaf3095bb271f2cbd3c35749ce2',1,'SVF::MTASVFGBuilder::lockana()'],['../classSVF_1_1FSMPTA.html#abf8f7645c51f3a8c70ca542de5b7d6c9',1,'SVF::FSMPTA::lockana()']]],
-  ['lockcandidatefuncset_11537',['lockcandidateFuncSet',['../classSVF_1_1LockAnalysis.html#a484eb7b6f49f47a3e71054c3b798a47a',1,'SVF::LockAnalysis']]],
-  ['lockqueriestime_11538',['lockQueriesTime',['../classSVF_1_1LockAnalysis.html#a853ab1a953ddcf76841016a833e43f3d',1,'SVF::LockAnalysis']]],
-  ['locksites_11539',['locksites',['../classSVF_1_1LockAnalysis.html#a87c412a54f48e5314454cd1d44ef9b0e',1,'SVF::LockAnalysis']]],
-  ['lockspan_11540',['lockSpan',['../classSVF_1_1SVFGNodeLockSpan.html#a762505799b9257bbcb766fccdce40fd4',1,'SVF::SVFGNodeLockSpan']]],
-  ['locktime_11541',['lockTime',['../classSVF_1_1LockAnalysis.html#adadee129c04b82576b4ca3c7594cdcb2',1,'SVF::LockAnalysis']]],
-  ['lockvalid_11542',['LockValid',['../classSVF_1_1Options.html#a6c0afceb5db81504930dc6f673bc41ec',1,'SVF::Options']]],
-  ['locmemmodel_11543',['LocMemModel',['../classSVF_1_1Options.html#a198e0d500ae635c709c406bbec604050',1,'SVF::Options']]],
-  ['loctodpmsetmap_11544',['locToDpmSetMap',['../classSVF_1_1DDAVFSolver.html#aa724698d499615bce7caf8f312b746a7',1,'SVF::DDAVFSolver']]],
-  ['lookupcomplements_11545',['lookupComplements',['../classSVF_1_1PersistentPointsToCache.html#a47f4e8ef1461396afb2e1c3cbe055e95',1,'SVF::PersistentPointsToCache']]],
-  ['lookupintersections_11546',['lookupIntersections',['../classSVF_1_1PersistentPointsToCache.html#a15d3235017b35f4a5c668d0b6626faff',1,'SVF::PersistentPointsToCache']]],
-  ['lookupunions_11547',['lookupUnions',['../classSVF_1_1PersistentPointsToCache.html#ace976f138cf1b8ab6bbf7a5c5d0b60b8',1,'SVF::PersistentPointsToCache']]],
-  ['loopanalysis_11548',['LoopAnalysis',['../classSVF_1_1Options.html#abfd13c7d998333290b39354178739f2c',1,'SVF::Options']]],
-  ['loopanddom_11549',['loopAndDom',['../classSVF_1_1SVFFunction.html#aefde3a0671e34541a4ad5d7a6dfaa5d1',1,'SVF::SVFFunction']]],
-  ['loopbound_11550',['loopBound',['../classSVF_1_1SVFLoop.html#ac4e2c365e2a08477381802205029b85c',1,'SVF::SVFLoop::loopBound()'],['../classSVF_1_1Options.html#a17f11eb3e9a3178395e8574a027b181e',1,'SVF::Options::LoopBound()']]],
-  ['lowlink_11551',['lowlink',['../structSVF_1_1VersionedFlowSensitive_1_1SCC_1_1NodeData.html#a6d66813dfb5338c22de62c100e951cf2',1,'SVF::VersionedFlowSensitive::SCC::NodeData']]],
-  ['lsa_11552',['lsa',['../classSVF_1_1RaceValidator.html#a6982b72e3e2551deab80d9e3fefaab64',1,'SVF::RaceValidator::lsa()'],['../classSVF_1_1MTAAnnotator.html#a42a5c0eac879be5e300583aa7d07beb0',1,'SVF::MTAAnnotator::lsa()'],['../classSVF_1_1MTA.html#a80a44f3aa41d4259523c94044983c509',1,'SVF::MTA::lsa()']]]
+  ['labeltokindmap_11550',['labelToKindMap',['../classSVF_1_1CFLGraphBuilder.html#a1ecf9cad8707ba07d3e44624ea273f2f',1,'SVF::CFLGraphBuilder']]],
+  ['largestregion_11551',['LargestRegion',['../classSVF_1_1NodeIDAllocator_1_1Clusterer.html#a172d72ae4ae45fa2baf2f20ff2b499dc',1,'SVF::NodeIDAllocator::Clusterer']]],
+  ['ldnodeset_11552',['ldnodeSet',['../classSVF_1_1MTASVFGBuilder.html#a6dfa9807255258f324557d188adea9b2',1,'SVF::MTASVFGBuilder']]],
+  ['leakchecker_11553',['LEAKCHECKER',['../saber_8cpp.html#a789415bb7081a399af0d4218ead5e6a5',1,'saber.cpp']]],
+  ['length_11554',['length',['../structparse__buffer.html#a036970e9335896d3cee8459eda9e2eb9',1,'parse_buffer::length()'],['../structprintbuffer.html#a1a679f8b6fe9b413fb3a87203b0f5bc8',1,'printbuffer::length()'],['../cJSON_8h.html#a9f237f17f4e79d5b89149e09152edabe',1,'length(): cJSON.h'],['../cJSON_8cpp.html#a9f237f17f4e79d5b89149e09152edabe',1,'length(): cJSON.cpp']]],
+  ['llvmargument2svfargument_11555',['LLVMArgument2SVFArgument',['../classSVF_1_1LLVMModuleSet.html#a852524c71831d7b2da0e9b0b6b191480',1,'SVF::LLVMModuleSet']]],
+  ['llvmbb2svfbb_11556',['LLVMBB2SVFBB',['../classSVF_1_1LLVMModuleSet.html#a0f9b36699b99dfcfe3c1588bfab6b97c',1,'SVF::LLVMModuleSet']]],
+  ['llvmconst2svfconst_11557',['LLVMConst2SVFConst',['../classSVF_1_1LLVMModuleSet.html#a4b94c96898dbbc71bc1cee04786cf3dc',1,'SVF::LLVMModuleSet']]],
+  ['llvmfunc2svffunc_11558',['LLVMFunc2SVFFunc',['../classSVF_1_1LLVMModuleSet.html#a9fd7f0170bffa7c1b927cdb0de98fd15',1,'SVF::LLVMModuleSet']]],
+  ['llvminst2svfinst_11559',['LLVMInst2SVFInst',['../classSVF_1_1LLVMModuleSet.html#a42439790c217254ce5404622b197b3d0',1,'SVF::LLVMModuleSet']]],
+  ['llvmmoduleset_11560',['llvmModuleSet',['../classSVF_1_1LLVMModuleSet.html#ac59b07cafcbacc950eefea4082425b63',1,'SVF::LLVMModuleSet']]],
+  ['llvmtype2svftype_11561',['LLVMType2SVFType',['../classSVF_1_1LLVMModuleSet.html#a067661e0049314779a44c9600420820f',1,'SVF::LLVMModuleSet']]],
+  ['llvmvalue2svfothervalue_11562',['LLVMValue2SVFOtherValue',['../classSVF_1_1LLVMModuleSet.html#ac3e70bd338be3a54330be5dc10321eb3',1,'SVF::LLVMModuleSet']]],
+  ['load2musetmap_11563',['load2MuSetMap',['../classSVF_1_1MemSSA.html#a5cf94edea3a5c35b3c1d9c6ae4b5f9d6',1,'SVF::MemSSA']]],
+  ['loadcgedgeset_11564',['LoadCGEdgeSet',['../classSVF_1_1ConstraintGraph.html#a1cb9124b29720e7a5b39d83419f9cc17',1,'SVF::ConstraintGraph']]],
+  ['loadinedges_11565',['loadInEdges',['../classSVF_1_1ConstraintNode.html#af7343134750575d3f335ed431f13a418',1,'SVF::ConstraintNode']]],
+  ['loadoutedges_11566',['loadOutEdges',['../classSVF_1_1ConstraintNode.html#a85a6acbd708be0dfc63ea87050a4a934',1,'SVF::ConstraintNode']]],
+  ['loadset_11567',['loadset',['../classSVF_1_1MTAAnnotator.html#a469851829bf1105fe8faac44b4abbfdd',1,'SVF::MTAAnnotator']]],
+  ['loadsrcnodes_11568',['loadSrcNodes',['../classSVF_1_1AliasDDAClient.html#a246448efd1ff5da683a6ffe9f759e282',1,'SVF::AliasDDAClient']]],
+  ['loadstomrsmap_11569',['loadsToMRsMap',['../classSVF_1_1MRGenerator.html#a0d8229b1f0b8428708e923d19096e4ba',1,'SVF::MRGenerator']]],
+  ['loadstopointstomap_11570',['loadsToPointsToMap',['../classSVF_1_1MRGenerator.html#af47e15d6b8c15d547a718f3577513975',1,'SVF::MRGenerator']]],
+  ['loadtime_11571',['loadTime',['../classSVF_1_1FlowSensitive.html#aab4f70210eb1e6447a24697d3b459067',1,'SVF::FlowSensitive']]],
+  ['loadtoptcvarmap_11572',['loadToPTCVarMap',['../classSVF_1_1DDAVFSolver.html#a6d62420837fe0c7814fc4da68a91eda4',1,'SVF::DDAVFSolver']]],
+  ['localvarinrecursion_11573',['localVarInRecursion',['../classSVF_1_1PTAStat.html#a5b4095f427c9c7b9ec0db497ba33baea',1,'SVF::PTAStat']]],
+  ['lock_11574',['LOCK',['../classSVF_1_1LockResultValidator.html#a5423c0cf9624c42bcd8a9a8adaa22dcb',1,'SVF::LockResultValidator']]],
+  ['lock_5fimprecise_11575',['LOCK_IMPRECISE',['../classSVF_1_1LockResultValidator.html#a760c0f6f891daa4532a44c6594794bb8',1,'SVF::LockResultValidator']]],
+  ['lock_5ftrue_11576',['LOCK_TRUE',['../classSVF_1_1LockResultValidator.html#a005c38dd07eb66d52066fa1927b1e19f',1,'SVF::LockResultValidator']]],
+  ['lock_5funsound_11577',['LOCK_UNSOUND',['../classSVF_1_1LockResultValidator.html#a03589368482d3f7ee7f6734e257dcbdf',1,'SVF::LockResultValidator']]],
+  ['lockana_11578',['lockana',['../classSVF_1_1MTASVFGBuilder.html#a00bf5aaf3095bb271f2cbd3c35749ce2',1,'SVF::MTASVFGBuilder::lockana()'],['../classSVF_1_1FSMPTA.html#abf8f7645c51f3a8c70ca542de5b7d6c9',1,'SVF::FSMPTA::lockana()']]],
+  ['lockcandidatefuncset_11579',['lockcandidateFuncSet',['../classSVF_1_1LockAnalysis.html#a484eb7b6f49f47a3e71054c3b798a47a',1,'SVF::LockAnalysis']]],
+  ['lockqueriestime_11580',['lockQueriesTime',['../classSVF_1_1LockAnalysis.html#a853ab1a953ddcf76841016a833e43f3d',1,'SVF::LockAnalysis']]],
+  ['locksites_11581',['locksites',['../classSVF_1_1LockAnalysis.html#a87c412a54f48e5314454cd1d44ef9b0e',1,'SVF::LockAnalysis']]],
+  ['lockspan_11582',['lockSpan',['../classSVF_1_1SVFGNodeLockSpan.html#a762505799b9257bbcb766fccdce40fd4',1,'SVF::SVFGNodeLockSpan']]],
+  ['locktime_11583',['lockTime',['../classSVF_1_1LockAnalysis.html#adadee129c04b82576b4ca3c7594cdcb2',1,'SVF::LockAnalysis']]],
+  ['lockvalid_11584',['LockValid',['../classSVF_1_1Options.html#a6c0afceb5db81504930dc6f673bc41ec',1,'SVF::Options']]],
+  ['locmemmodel_11585',['LocMemModel',['../classSVF_1_1Options.html#a198e0d500ae635c709c406bbec604050',1,'SVF::Options']]],
+  ['loctodpmsetmap_11586',['locToDpmSetMap',['../classSVF_1_1DDAVFSolver.html#aa724698d499615bce7caf8f312b746a7',1,'SVF::DDAVFSolver']]],
+  ['lookupcomplements_11587',['lookupComplements',['../classSVF_1_1PersistentPointsToCache.html#a47f4e8ef1461396afb2e1c3cbe055e95',1,'SVF::PersistentPointsToCache']]],
+  ['lookupintersections_11588',['lookupIntersections',['../classSVF_1_1PersistentPointsToCache.html#a15d3235017b35f4a5c668d0b6626faff',1,'SVF::PersistentPointsToCache']]],
+  ['lookupunions_11589',['lookupUnions',['../classSVF_1_1PersistentPointsToCache.html#ace976f138cf1b8ab6bbf7a5c5d0b60b8',1,'SVF::PersistentPointsToCache']]],
+  ['loopanalysis_11590',['LoopAnalysis',['../classSVF_1_1Options.html#abfd13c7d998333290b39354178739f2c',1,'SVF::Options']]],
+  ['loopanddom_11591',['loopAndDom',['../classSVF_1_1SVFFunction.html#aefde3a0671e34541a4ad5d7a6dfaa5d1',1,'SVF::SVFFunction']]],
+  ['loopbound_11592',['loopBound',['../classSVF_1_1SVFLoop.html#ac4e2c365e2a08477381802205029b85c',1,'SVF::SVFLoop::loopBound()'],['../classSVF_1_1Options.html#a17f11eb3e9a3178395e8574a027b181e',1,'SVF::Options::LoopBound()']]],
+  ['lowlink_11593',['lowlink',['../structSVF_1_1VersionedFlowSensitive_1_1SCC_1_1NodeData.html#a6d66813dfb5338c22de62c100e951cf2',1,'SVF::VersionedFlowSensitive::SCC::NodeData']]],
+  ['lsa_11594',['lsa',['../classSVF_1_1RaceValidator.html#a6982b72e3e2551deab80d9e3fefaab64',1,'SVF::RaceValidator::lsa()'],['../classSVF_1_1MTAAnnotator.html#a42a5c0eac879be5e300583aa7d07beb0',1,'SVF::MTAAnnotator::lsa()'],['../classSVF_1_1MTA.html#a80a44f3aa41d4259523c94044983c509',1,'SVF::MTA::lsa()']]]
 ];

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

@@ -1,58 +1,58 @@
 var searchData=
 [
-  ['m_11553',['M',['../classSVF_1_1RaceResultValidator.html#aedc9ec6c3db947fa7e1ef50fbb61e9a8',1,'SVF::RaceResultValidator']]],
-  ['m_5fcond_11554',['m_cond',['../classSVF_1_1CondVar.html#a90b13685d2126f8c10dde4a504bb28df',1,'SVF::CondVar']]],
-  ['m_5fid_11555',['m_id',['../classSVF_1_1CondVar.html#a26fd04b3f2d45f0c230e1823f3eea49a',1,'SVF::CondVar']]],
-  ['markedclocksonly_11556',['MarkedClocksOnly',['../classSVF_1_1Options.html#abcb6796d45722562546f33b2745a0418',1,'SVF::Options']]],
-  ['maxbvlen_11557',['MaxBVLen',['../classSVF_1_1Options.html#a71461051f5fe6b4cc33103746525b23f',1,'SVF::Options']]],
-  ['maxcontextlen_11558',['MaxContextLen',['../classSVF_1_1Options.html#a6237da3f4e264fa8b63c11d621f39e71',1,'SVF::Options']]],
-  ['maxcxtsize_11559',['MaxCxtSize',['../classSVF_1_1TCT.html#aaae41663b1d1f4d38b047c50c156defb',1,'SVF::TCT']]],
-  ['maxfieldlimit_11560',['MaxFieldLimit',['../classSVF_1_1Options.html#aaab923c093730b1670a54f09340b1bd5',1,'SVF::Options']]],
-  ['maximumbudget_11561',['maximumBudget',['../classSVF_1_1DPItem.html#a5dbb0e6010b38c5b937ff06cb40cd0ef',1,'SVF::DPItem']]],
-  ['maximumcxt_11562',['maximumCxt',['../classSVF_1_1ContextCond.html#a151b9f21eedd4fdd8f46b78bb456582d',1,'SVF::ContextCond']]],
-  ['maximumcxtlen_11563',['maximumCxtLen',['../classSVF_1_1ContextCond.html#a3280db7a2b93612fb693a7c1117acfdd',1,'SVF::ContextCond']]],
-  ['maximumpath_11564',['maximumPath',['../classSVF_1_1ContextCond.html#a7d89351906ef4dff9adb1196f45bc9be',1,'SVF::ContextCond']]],
-  ['maximumpathlen_11565',['maximumPathLen',['../classSVF_1_1ContextCond.html#aa61b4de81e440448daaf0c5be53aebf3',1,'SVF::ContextCond']]],
-  ['maxindegree_11566',['maxInDegree',['../classSVF_1_1SVFGStat.html#a536b591b21756519262873462001f421',1,'SVF::SVFGStat']]],
-  ['maxindindegree_11567',['maxIndInDegree',['../classSVF_1_1SVFGStat.html#a2f1bb17038de877fd1ccffdea3f3cde3',1,'SVF::SVFGStat']]],
-  ['maxindoutdegree_11568',['maxIndOutDegree',['../classSVF_1_1SVFGStat.html#ac7cb2228bd31e8ebdf33ae2bfd399683',1,'SVF::SVFGStat']]],
-  ['maxoffsetlimit_11569',['maxOffsetLimit',['../classSVF_1_1ObjTypeInfo.html#a5ff63eb0654acd152f7d6c18618ee94a',1,'SVF::ObjTypeInfo']]],
-  ['maxoutdegree_11570',['maxOutDegree',['../classSVF_1_1SVFGStat.html#a6694ace7ee1b24b0c5ce42e06e4db2cf',1,'SVF::SVFGStat']]],
-  ['maxpathlen_11571',['MaxPathLen',['../classSVF_1_1Options.html#a63121666a96f6cd2ae56d868c9576a53',1,'SVF::Options']]],
-  ['maxpointstosetsize_11572',['MaxPointsToSetSize',['../classSVF_1_1AndersenBase.html#abd73e930450b7c605f478672bdf9bdae',1,'SVF::AndersenBase']]],
-  ['maxsccsize_11573',['maxSCCSize',['../classSVF_1_1FlowSensitive.html#aa3d4703756a6297ab5c0756172024fe4',1,'SVF::FlowSensitive']]],
-  ['maxstepinwrapper_11574',['MaxStepInWrapper',['../classSVF_1_1Options.html#aab0131558d9da9b0fe888387217ba919',1,'SVF::Options']]],
-  ['maxstruct_11575',['maxStruct',['../classSVF_1_1SymbolTableInfo.html#a0c1143eff451edf8ea47d4487a8d3a55',1,'SVF::SymbolTableInfo']]],
-  ['maxstsize_11576',['maxStSize',['../classSVF_1_1SymbolTableInfo.html#abb8550c9ef856e45cb7675c3796f9a35',1,'SVF::SymbolTableInfo']]],
-  ['maxz3size_11577',['MaxZ3Size',['../classSVF_1_1Options.html#a86f982d9716181bca93a350b5a11a1dc',1,'SVF::Options']]],
-  ['meldlabelingtime_11578',['meldLabelingTime',['../classSVF_1_1VersionedFlowSensitive.html#a4a594c8d6ccaa27b5328c6388fdb258d',1,'SVF::VersionedFlowSensitive']]],
-  ['mem_11579',['mem',['../classSVF_1_1ObjVar.html#a3d08dc1d15a449ff4b7018da4bfdcb88',1,'SVF::ObjVar::mem()'],['../classSVF_1_1SVFBugReport.html#aed1046e4c7559ebdaf57775726645085',1,'SVF::SVFBugReport::mem()']]],
-  ['memobjmap_11580',['memObjMap',['../classSVF_1_1SymbolTableInfoReader.html#a0bf60f2250c864592c507dd6b03800a9',1,'SVF::SymbolTableInfoReader']]],
-  ['mempar_11581',['MemPar',['../classSVF_1_1Options.html#aa127a32b03e381343c624e53adc4ef2e',1,'SVF::Options']]],
-  ['memregset_11582',['memRegSet',['../classSVF_1_1MRGenerator.html#af94bd8155a23273aab2396334d905119',1,'SVF::MRGenerator']]],
-  ['memssa_11583',['memSSA',['../classSVF_1_1CFLVF.html#a88ee14429afb2d1efbc83e551e7869a8',1,'SVF::CFLVF::memSSA()'],['../classSVF_1_1SrcSnkDDA.html#ab6803f0a2b3507213ad2979b9b12f700',1,'SVF::SrcSnkDDA::memSSA()'],['../classSVF_1_1FlowSensitive.html#a76f6f19ac2b58ab4a10a2d7e6e24e42a',1,'SVF::FlowSensitive::memSSA()']]],
-  ['memtofieldsmap_11584',['memToFieldsMap',['../classSVF_1_1SVFIR.html#a3c014227661d8976714772205611c252',1,'SVF::SVFIR']]],
-  ['mfspta_11585',['mfspta',['../classSVF_1_1FSMPTA.html#af248a80855457ca9e5a7208c114681bb',1,'SVF::FSMPTA']]],
-  ['mhp_11586',['mhp',['../classSVF_1_1MTAAnnotator.html#a94d7a3fd9166126c052fca28f9a4c825',1,'SVF::MTAAnnotator::mhp()'],['../classSVF_1_1MHPValidator.html#ad6e417ad7f0b1b399822eaa62d83341d',1,'SVF::MHPValidator::mhp()'],['../classSVF_1_1MTAResultValidator.html#a2a21cbdf9513e9fe4fa6c6ae56618b18',1,'SVF::MTAResultValidator::mhp()'],['../classSVF_1_1MTASVFGBuilder.html#a73024bf30aa3ec79e5953a7ea1f8feb7',1,'SVF::MTASVFGBuilder::mhp()'],['../classSVF_1_1FSMPTA.html#aa8dcd130d4b9283fc6b903de8e4ad830',1,'SVF::FSMPTA::mhp()'],['../classSVF_1_1MTA.html#a957925a4ae00e48f77a58697853f3cc3',1,'SVF::MTA::mhp()']]],
-  ['mhpfuns_11587',['mhpfuns',['../classSVF_1_1PCG.html#a96f91b051a8035b614e015bf4d5081e0',1,'SVF::PCG']]],
-  ['mhptime_11588',['MHPTime',['../classSVF_1_1MTAStat.html#a56411f7e64febab8aab94a4a9207e5d8',1,'SVF::MTAStat']]],
-  ['mod_11589',['mod',['../classSVF_1_1MTAResultValidator.html#a5a0f25f5718d84f251331a2e2d207108',1,'SVF::MTAResultValidator::mod()'],['../classSVF_1_1PCG.html#a985b0c790c582d15e6242950ac66f574',1,'SVF::PCG::mod()'],['../classSVF_1_1SymbolTableInfo.html#af8fdaaa03cd2ae9b7d50f57bc678b8ba',1,'SVF::SymbolTableInfo::mod()']]],
-  ['modelarrays_11590',['ModelArrays',['../classSVF_1_1Options.html#a429c3000ee2ac45119b8c241aa06762c',1,'SVF::Options']]],
-  ['modelconstants_11591',['modelConstants',['../classSVF_1_1SymbolTableInfo.html#ad20ccb90e8f9dee488a8aec0600399dc',1,'SVF::SymbolTableInfo']]],
-  ['modelconsts_11592',['ModelConsts',['../classSVF_1_1Options.html#a18dd95e01a50aa82165c46a3801053c5',1,'SVF::Options']]],
-  ['module_11593',['module',['../classSVF_1_1DDAClient.html#a4ac68012099540beb87ee4700e824d64',1,'SVF::DDAClient']]],
-  ['moduleflagvalue_11594',['moduleFlagValue',['../namespaceSVF_1_1cppUtil_1_1ctir.html#a05c7c51164928786d70713094db7f3f3',1,'SVF::cppUtil::ctir']]],
-  ['moduleidentifier_11595',['moduleIdentifier',['../classSVF_1_1SVFModule.html#ac40e98040f949171279afec54bb03f71',1,'SVF::SVFModule']]],
-  ['modulename_11596',['moduleName',['../classSVF_1_1SVFStat.html#a3333e45303dcc9c3da00858628cdbbff',1,'SVF::SVFStat']]],
-  ['modules_11597',['modules',['../classSVF_1_1LLVMModuleSet.html#acde6292e719c80f93d3d1c344ab442cd',1,'SVF::LLVMModuleSet']]],
-  ['mr_11598',['mr',['../classSVF_1_1MRVer.html#aafe30801672cd436216386ad6ff479e6',1,'SVF::MRVer::mr()'],['../classSVF_1_1MSSAMU.html#a51b89fa50c39d864cc9ca63508ea94f4',1,'SVF::MSSAMU::mr()'],['../classSVF_1_1MSSADEF.html#a01bc47f779d20fa8e3be182ceab12780',1,'SVF::MSSADEF::mr()']]],
-  ['mr2countermap_11599',['mr2CounterMap',['../classSVF_1_1MemSSA.html#a22e2dd0fc78877bdedd207a40540a634',1,'SVF::MemSSA']]],
-  ['mr2verstackmap_11600',['mr2VerStackMap',['../classSVF_1_1MemSSA.html#ae4c7b17d8da8278dca362af79f9f268d',1,'SVF::MemSSA']]],
-  ['mrgen_11601',['mrGen',['../classSVF_1_1MemSSA.html#a213ebe634bbdbe33460ccd941c1dc6a5',1,'SVF::MemSSA']]],
-  ['mssa_11602',['mssa',['../classSVF_1_1SVFG.html#aa6a563cab8678b2256ca6ae7838285c8',1,'SVF::SVFG::mssa()'],['../classSVF_1_1MemSSAStat.html#ab29515f4e5b1f090c06a6e39761d3394',1,'SVF::MemSSAStat::mssa()']]],
-  ['mssafun_11603',['MSSAFun',['../classSVF_1_1Options.html#aa8818e8138233838af224d4214de9e8f',1,'SVF::Options']]],
-  ['mssavartodefmap_11604',['MSSAVarToDefMap',['../classSVF_1_1SVFG.html#aafa1b445bd3578daaba8f82e517745f1',1,'SVF::SVFG']]],
-  ['multiforked_11605',['multiforked',['../classSVF_1_1TCTNode.html#a414f4b98fb8fd36d2cb381ff56eb98d8',1,'SVF::TCTNode']]],
-  ['multiopndlabelcounter_11606',['multiOpndLabelCounter',['../classSVF_1_1SVFStmt.html#a9ea22adbfc307dddee42ffec07cc88ed',1,'SVF::SVFStmt']]],
-  ['mutptdata_11607',['mutPTData',['../classSVF_1_1MutableDiffPTData.html#a3603cb4baf60b1aa83b7807ac5591484',1,'SVF::MutableDiffPTData::mutPTData()'],['../classSVF_1_1MutableDFPTData.html#acf40f716470f73095d44a1b9e3bb939e',1,'SVF::MutableDFPTData::mutPTData()']]]
+  ['m_11595',['M',['../classSVF_1_1RaceResultValidator.html#aedc9ec6c3db947fa7e1ef50fbb61e9a8',1,'SVF::RaceResultValidator']]],
+  ['m_5fcond_11596',['m_cond',['../classSVF_1_1CondVar.html#a90b13685d2126f8c10dde4a504bb28df',1,'SVF::CondVar']]],
+  ['m_5fid_11597',['m_id',['../classSVF_1_1CondVar.html#a26fd04b3f2d45f0c230e1823f3eea49a',1,'SVF::CondVar']]],
+  ['markedclocksonly_11598',['MarkedClocksOnly',['../classSVF_1_1Options.html#abcb6796d45722562546f33b2745a0418',1,'SVF::Options']]],
+  ['maxbvlen_11599',['MaxBVLen',['../classSVF_1_1Options.html#a71461051f5fe6b4cc33103746525b23f',1,'SVF::Options']]],
+  ['maxcontextlen_11600',['MaxContextLen',['../classSVF_1_1Options.html#a6237da3f4e264fa8b63c11d621f39e71',1,'SVF::Options']]],
+  ['maxcxtsize_11601',['MaxCxtSize',['../classSVF_1_1TCT.html#aaae41663b1d1f4d38b047c50c156defb',1,'SVF::TCT']]],
+  ['maxfieldlimit_11602',['MaxFieldLimit',['../classSVF_1_1Options.html#aaab923c093730b1670a54f09340b1bd5',1,'SVF::Options']]],
+  ['maximumbudget_11603',['maximumBudget',['../classSVF_1_1DPItem.html#a5dbb0e6010b38c5b937ff06cb40cd0ef',1,'SVF::DPItem']]],
+  ['maximumcxt_11604',['maximumCxt',['../classSVF_1_1ContextCond.html#a151b9f21eedd4fdd8f46b78bb456582d',1,'SVF::ContextCond']]],
+  ['maximumcxtlen_11605',['maximumCxtLen',['../classSVF_1_1ContextCond.html#a3280db7a2b93612fb693a7c1117acfdd',1,'SVF::ContextCond']]],
+  ['maximumpath_11606',['maximumPath',['../classSVF_1_1ContextCond.html#a7d89351906ef4dff9adb1196f45bc9be',1,'SVF::ContextCond']]],
+  ['maximumpathlen_11607',['maximumPathLen',['../classSVF_1_1ContextCond.html#aa61b4de81e440448daaf0c5be53aebf3',1,'SVF::ContextCond']]],
+  ['maxindegree_11608',['maxInDegree',['../classSVF_1_1SVFGStat.html#a536b591b21756519262873462001f421',1,'SVF::SVFGStat']]],
+  ['maxindindegree_11609',['maxIndInDegree',['../classSVF_1_1SVFGStat.html#a2f1bb17038de877fd1ccffdea3f3cde3',1,'SVF::SVFGStat']]],
+  ['maxindoutdegree_11610',['maxIndOutDegree',['../classSVF_1_1SVFGStat.html#ac7cb2228bd31e8ebdf33ae2bfd399683',1,'SVF::SVFGStat']]],
+  ['maxoffsetlimit_11611',['maxOffsetLimit',['../classSVF_1_1ObjTypeInfo.html#a5ff63eb0654acd152f7d6c18618ee94a',1,'SVF::ObjTypeInfo']]],
+  ['maxoutdegree_11612',['maxOutDegree',['../classSVF_1_1SVFGStat.html#a6694ace7ee1b24b0c5ce42e06e4db2cf',1,'SVF::SVFGStat']]],
+  ['maxpathlen_11613',['MaxPathLen',['../classSVF_1_1Options.html#a63121666a96f6cd2ae56d868c9576a53',1,'SVF::Options']]],
+  ['maxpointstosetsize_11614',['MaxPointsToSetSize',['../classSVF_1_1AndersenBase.html#abd73e930450b7c605f478672bdf9bdae',1,'SVF::AndersenBase']]],
+  ['maxsccsize_11615',['maxSCCSize',['../classSVF_1_1FlowSensitive.html#aa3d4703756a6297ab5c0756172024fe4',1,'SVF::FlowSensitive']]],
+  ['maxstepinwrapper_11616',['MaxStepInWrapper',['../classSVF_1_1Options.html#aab0131558d9da9b0fe888387217ba919',1,'SVF::Options']]],
+  ['maxstruct_11617',['maxStruct',['../classSVF_1_1SymbolTableInfo.html#a0c1143eff451edf8ea47d4487a8d3a55',1,'SVF::SymbolTableInfo']]],
+  ['maxstsize_11618',['maxStSize',['../classSVF_1_1SymbolTableInfo.html#abb8550c9ef856e45cb7675c3796f9a35',1,'SVF::SymbolTableInfo']]],
+  ['maxz3size_11619',['MaxZ3Size',['../classSVF_1_1Options.html#a86f982d9716181bca93a350b5a11a1dc',1,'SVF::Options']]],
+  ['meldlabelingtime_11620',['meldLabelingTime',['../classSVF_1_1VersionedFlowSensitive.html#a4a594c8d6ccaa27b5328c6388fdb258d',1,'SVF::VersionedFlowSensitive']]],
+  ['mem_11621',['mem',['../classSVF_1_1ObjVar.html#a3d08dc1d15a449ff4b7018da4bfdcb88',1,'SVF::ObjVar::mem()'],['../classSVF_1_1SVFBugReport.html#aed1046e4c7559ebdaf57775726645085',1,'SVF::SVFBugReport::mem()']]],
+  ['memobjmap_11622',['memObjMap',['../classSVF_1_1SymbolTableInfoReader.html#a0bf60f2250c864592c507dd6b03800a9',1,'SVF::SymbolTableInfoReader']]],
+  ['mempar_11623',['MemPar',['../classSVF_1_1Options.html#aa127a32b03e381343c624e53adc4ef2e',1,'SVF::Options']]],
+  ['memregset_11624',['memRegSet',['../classSVF_1_1MRGenerator.html#af94bd8155a23273aab2396334d905119',1,'SVF::MRGenerator']]],
+  ['memssa_11625',['memSSA',['../classSVF_1_1CFLVF.html#a88ee14429afb2d1efbc83e551e7869a8',1,'SVF::CFLVF::memSSA()'],['../classSVF_1_1SrcSnkDDA.html#ab6803f0a2b3507213ad2979b9b12f700',1,'SVF::SrcSnkDDA::memSSA()'],['../classSVF_1_1FlowSensitive.html#a76f6f19ac2b58ab4a10a2d7e6e24e42a',1,'SVF::FlowSensitive::memSSA()']]],
+  ['memtofieldsmap_11626',['memToFieldsMap',['../classSVF_1_1SVFIR.html#a3c014227661d8976714772205611c252',1,'SVF::SVFIR']]],
+  ['mfspta_11627',['mfspta',['../classSVF_1_1FSMPTA.html#af248a80855457ca9e5a7208c114681bb',1,'SVF::FSMPTA']]],
+  ['mhp_11628',['mhp',['../classSVF_1_1MTAAnnotator.html#a94d7a3fd9166126c052fca28f9a4c825',1,'SVF::MTAAnnotator::mhp()'],['../classSVF_1_1MHPValidator.html#ad6e417ad7f0b1b399822eaa62d83341d',1,'SVF::MHPValidator::mhp()'],['../classSVF_1_1MTAResultValidator.html#a2a21cbdf9513e9fe4fa6c6ae56618b18',1,'SVF::MTAResultValidator::mhp()'],['../classSVF_1_1MTASVFGBuilder.html#a73024bf30aa3ec79e5953a7ea1f8feb7',1,'SVF::MTASVFGBuilder::mhp()'],['../classSVF_1_1FSMPTA.html#aa8dcd130d4b9283fc6b903de8e4ad830',1,'SVF::FSMPTA::mhp()'],['../classSVF_1_1MTA.html#a957925a4ae00e48f77a58697853f3cc3',1,'SVF::MTA::mhp()']]],
+  ['mhpfuns_11629',['mhpfuns',['../classSVF_1_1PCG.html#a96f91b051a8035b614e015bf4d5081e0',1,'SVF::PCG']]],
+  ['mhptime_11630',['MHPTime',['../classSVF_1_1MTAStat.html#a56411f7e64febab8aab94a4a9207e5d8',1,'SVF::MTAStat']]],
+  ['mod_11631',['mod',['../classSVF_1_1MTAResultValidator.html#a5a0f25f5718d84f251331a2e2d207108',1,'SVF::MTAResultValidator::mod()'],['../classSVF_1_1PCG.html#a985b0c790c582d15e6242950ac66f574',1,'SVF::PCG::mod()'],['../classSVF_1_1SymbolTableInfo.html#af8fdaaa03cd2ae9b7d50f57bc678b8ba',1,'SVF::SymbolTableInfo::mod()']]],
+  ['modelarrays_11632',['ModelArrays',['../classSVF_1_1Options.html#a429c3000ee2ac45119b8c241aa06762c',1,'SVF::Options']]],
+  ['modelconstants_11633',['modelConstants',['../classSVF_1_1SymbolTableInfo.html#ad20ccb90e8f9dee488a8aec0600399dc',1,'SVF::SymbolTableInfo']]],
+  ['modelconsts_11634',['ModelConsts',['../classSVF_1_1Options.html#a18dd95e01a50aa82165c46a3801053c5',1,'SVF::Options']]],
+  ['module_11635',['module',['../classSVF_1_1DDAClient.html#a4ac68012099540beb87ee4700e824d64',1,'SVF::DDAClient']]],
+  ['moduleflagvalue_11636',['moduleFlagValue',['../namespaceSVF_1_1cppUtil_1_1ctir.html#a05c7c51164928786d70713094db7f3f3',1,'SVF::cppUtil::ctir']]],
+  ['moduleidentifier_11637',['moduleIdentifier',['../classSVF_1_1SVFModule.html#ac40e98040f949171279afec54bb03f71',1,'SVF::SVFModule']]],
+  ['modulename_11638',['moduleName',['../classSVF_1_1SVFStat.html#a3333e45303dcc9c3da00858628cdbbff',1,'SVF::SVFStat']]],
+  ['modules_11639',['modules',['../classSVF_1_1LLVMModuleSet.html#acde6292e719c80f93d3d1c344ab442cd',1,'SVF::LLVMModuleSet']]],
+  ['mr_11640',['mr',['../classSVF_1_1MRVer.html#aafe30801672cd436216386ad6ff479e6',1,'SVF::MRVer::mr()'],['../classSVF_1_1MSSAMU.html#a51b89fa50c39d864cc9ca63508ea94f4',1,'SVF::MSSAMU::mr()'],['../classSVF_1_1MSSADEF.html#a01bc47f779d20fa8e3be182ceab12780',1,'SVF::MSSADEF::mr()']]],
+  ['mr2countermap_11641',['mr2CounterMap',['../classSVF_1_1MemSSA.html#a22e2dd0fc78877bdedd207a40540a634',1,'SVF::MemSSA']]],
+  ['mr2verstackmap_11642',['mr2VerStackMap',['../classSVF_1_1MemSSA.html#ae4c7b17d8da8278dca362af79f9f268d',1,'SVF::MemSSA']]],
+  ['mrgen_11643',['mrGen',['../classSVF_1_1MemSSA.html#a213ebe634bbdbe33460ccd941c1dc6a5',1,'SVF::MemSSA']]],
+  ['mssa_11644',['mssa',['../classSVF_1_1SVFG.html#aa6a563cab8678b2256ca6ae7838285c8',1,'SVF::SVFG::mssa()'],['../classSVF_1_1MemSSAStat.html#ab29515f4e5b1f090c06a6e39761d3394',1,'SVF::MemSSAStat::mssa()']]],
+  ['mssafun_11645',['MSSAFun',['../classSVF_1_1Options.html#aa8818e8138233838af224d4214de9e8f',1,'SVF::Options']]],
+  ['mssavartodefmap_11646',['MSSAVarToDefMap',['../classSVF_1_1SVFG.html#aafa1b445bd3578daaba8f82e517745f1',1,'SVF::SVFG']]],
+  ['multiforked_11647',['multiforked',['../classSVF_1_1TCTNode.html#a414f4b98fb8fd36d2cb381ff56eb98d8',1,'SVF::TCTNode']]],
+  ['multiopndlabelcounter_11648',['multiOpndLabelCounter',['../classSVF_1_1SVFStmt.html#a9ea22adbfc307dddee42ffec07cc88ed',1,'SVF::SVFStmt']]],
+  ['mutptdata_11649',['mutPTData',['../classSVF_1_1MutableDiffPTData.html#a3603cb4baf60b1aa83b7807ac5591484',1,'SVF::MutableDiffPTData::mutPTData()'],['../classSVF_1_1MutableDFPTData.html#acf40f716470f73095d44a1b9e3bb939e',1,'SVF::MutableDFPTData::mutPTData()']]]
 ];