svf-tools 1.0.875 → 1.0.877

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

@@ -1,81 +1,81 @@
 var searchData=
 [
-  ['i_11847',['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_11848',['I1',['../classSVF_1_1RaceResultValidator_1_1AccessPair.html#a2f6817c4f04b090ff8ebff68cafa5892',1,'SVF::RaceResultValidator::AccessPair']]],
-  ['i2_11849',['I2',['../classSVF_1_1RaceResultValidator_1_1AccessPair.html#a4759b40288c232686465893d988697f3',1,'SVF::RaceResultValidator::AccessPair']]],
-  ['icfg_11850',['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_11851',['icfgNode',['../classSVF_1_1VFGNode.html#a54c631f1e39be144c0cd25373f6b98b8',1,'SVF::VFGNode::icfgNode()'],['../classSVF_1_1SVFStmt.html#a50046a1500ec6e2819ef55162e70cc71',1,'SVF::SVFStmt::icfgNode()']]],
-  ['icfgnode2ptasvfstmtsmap_11852',['icfgNode2PTASVFStmtsMap',['../classSVF_1_1SVFIR.html#aaae756185bbd5b7175e96f8928a989c2',1,'SVF::SVFIR']]],
-  ['icfgnode2svfstmtsmap_11853',['icfgNode2SVFStmtsMap',['../classSVF_1_1SVFIR.html#a86c0c23d854b034d741d9d8891debab7',1,'SVF::SVFIR']]],
-  ['icfgnodes_11854',['icfgNodes',['../classSVF_1_1SVFLoop.html#a062e4b336b9b8315a9fc1107c9cab840',1,'SVF::SVFLoop']]],
-  ['icfgnodetosvfloopvec_11855',['icfgNodeToSVFLoopVec',['../classSVF_1_1ICFG.html#a7d6aeecb00d77600a204a72d60023d54',1,'SVF::ICFG']]],
-  ['icfgreader_11856',['icfgReader',['../classSVF_1_1SVFIRReader.html#aa1100e216d94eb445f59125e94815fd7',1,'SVF::SVFIRReader']]],
-  ['icfgwriter_11857',['icfgWriter',['../classSVF_1_1SVFIRWriter.html#aba5c3c3b62687a28301e9c65555e57f9',1,'SVF::SVFIRWriter']]],
-  ['id_11858',['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_11859',['idCounter',['../classSVF_1_1PersistentPointsToCache.html#ad8d24772f7503e0e735f546506d2bcc5',1,'SVF::PersistentPointsToCache']]],
-  ['idmap_11860',['idMap',['../classSVF_1_1ReaderIDToObjMap.html#a3ed6e858fd91ec6cf14361b55dec55b4',1,'SVF::ReaderIDToObjMap']]],
-  ['idtocsmap_11861',['idToCSMap',['../classSVF_1_1PTACallGraph.html#a5d6f63baad19589a9fd1e069631e18fa',1,'SVF::PTACallGraph']]],
-  ['idtonodemap_11862',['idToNodeMap',['../classSVF_1_1GenericGraphReader.html#a2fc2248a433201314c636856603cb3fa',1,'SVF::GenericGraphReader::idToNodeMap()'],['../classSVF_1_1GenericGraph.html#a47a1ef8b67b0c92f78b4457dc3bbfe71',1,'SVF::GenericGraph::IDToNodeMap()']]],
-  ['idtopts_11863',['idToPts',['../classSVF_1_1PersistentPointsToCache.html#a32009561c9d3a340ec4e6230ef17f998',1,'SVF::PersistentPointsToCache']]],
-  ['idtoterminstmap_11864',['idToTermInstMap',['../classSVF_1_1SaberCondAllocator.html#aee401aa2c7884888bbd26544bcd92881',1,'SVF::SaberCondAllocator']]],
-  ['idxoperandpairs_11865',['idxOperandPairs',['../classSVF_1_1AccessPath.html#a47855e8ab3bba692f443903b58618229',1,'SVF::AccessPath']]],
-  ['ignoredeadfun_11866',['IgnoreDeadFun',['../classSVF_1_1Options.html#a00f3c4c53e6ade73f7667231c394c5d7',1,'SVF::Options']]],
-  ['incdfptdata_11867',['INCDFPTData',['../classSVF_1_1Options.html#a1743b8a1ab2d71c35206c7befa725d90',1,'SVF::Options']]],
-  ['incfledges_11868',['inCFLEdges',['../classSVF_1_1CFLNode.html#a3a7d1ea890272e9905406638b12bdc30',1,'SVF::CFLNode']]],
-  ['incycle_11869',['incycle',['../classSVF_1_1CxtThread.html#a97d876697e682b23211a8f930fed7f32',1,'SVF::CxtThread']]],
-  ['indcallsitetofunptrmap_11870',['indCallSiteToFunPtrMap',['../classSVF_1_1SVFIR.html#a0a5f88766b7e11f1ea35befcbcea62dc',1,'SVF::SVFIR']]],
-  ['index_11871',['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_11872',['IndirectCallLimit',['../classSVF_1_1Options.html#aa5bae1db07c401517c1c0f8fd9f2deef',1,'SVF::Options']]],
-  ['indirectcallmap_11873',['indirectCallMap',['../classSVF_1_1PTACallGraph.html#adcae44bd6788954e2e4e007bff03462c',1,'SVF::PTACallGraph']]],
-  ['indirectcalls_11874',['indirectCalls',['../classSVF_1_1PTACallGraphEdge.html#a66491523e4ccfdf2ff57e10cfd6f3074',1,'SVF::PTACallGraphEdge']]],
-  ['indirectpropatime_11875',['indirectPropaTime',['../classSVF_1_1FlowSensitive.html#a2feaa4b7a72989b311e9084a81320254',1,'SVF::FlowSensitive']]],
-  ['indmap_11876',['indMap',['../classSVF_1_1POCRHybridSolver.html#acaf3ed69888f4a3862dddf0de7508455',1,'SVF::POCRHybridSolver']]],
-  ['inedgekindtosetmap_11877',['InEdgeKindToSetMap',['../classSVF_1_1SVFVar.html#a0d918a6c8dd3b7b395d4c7161bcf9656',1,'SVF::SVFVar']]],
-  ['inedges_11878',['InEdges',['../classSVF_1_1CFBasicBlockNode.html#a7b1db0644849e066137c162e24026b67',1,'SVF::CFBasicBlockNode::InEdges()'],['../classSVF_1_1GenericNode.html#a24971168130222400d9aa5f03610bff5',1,'SVF::GenericNode::InEdges()']]],
-  ['inicfgedges_11879',['inICFGEdges',['../classSVF_1_1SVFLoop.html#a869a289f556304706f525f02ba9bff98',1,'SVF::SVFLoop']]],
-  ['inloop_11880',['inloop',['../classSVF_1_1CxtThread.html#a2066520689094db3c4a88f5a7fc4ec0c',1,'SVF::CxtThread']]],
-  ['inrecurjoinsites_11881',['inRecurJoinSites',['../classSVF_1_1TCT.html#a1b3872361dc17aaea359db8ce0cc2431',1,'SVF::TCT']]],
-  ['insencycle_11882',['InsenCycle',['../classSVF_1_1Options.html#a0c5d08f13bd41095afb3b60c7ffad0e0',1,'SVF::Options']]],
-  ['insenrecur_11883',['InsenRecur',['../classSVF_1_1Options.html#aeab702f641fd13ee1d0f89837097e43b',1,'SVF::Options']]],
-  ['insensitveedges_11884',['insensitveEdges',['../classSVF_1_1ContextDDA.html#a942e79dced48bd284a58540a2fb778b9',1,'SVF::ContextDDA']]],
-  ['inst_11885',['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_11886',['inst2LabelMap',['../classSVF_1_1SVFStmt.html#abb83549118bcd7216a053d82f7180d1c',1,'SVF::SVFStmt']]],
-  ['instcilocksmap_11887',['instCILocksMap',['../classSVF_1_1LockAnalysis.html#a277d88153d34cf3eb80272003949e4ef',1,'SVF::LockAnalysis']]],
-  ['insttoblocknodemap_11888',['InstToBlockNodeMap',['../classSVF_1_1ICFG.html#a23f905d849553d7ad652e9a8f1bfacd1',1,'SVF::ICFG']]],
-  ['insttocondcilocksmap_11889',['instTocondCILocksMap',['../classSVF_1_1LockAnalysis.html#a5a4167dd5dbd0017a4725c8774a5b522',1,'SVF::LockAnalysis']]],
-  ['insttocxtlockset_11890',['instToCxtLockSet',['../classSVF_1_1LockResultValidator.html#a841c1dfb065999215b5f415e403f7a2a',1,'SVF::LockResultValidator']]],
-  ['insttocxtstmtset_11891',['instToCxtStmtSet',['../classSVF_1_1LockAnalysis.html#ae8715683c7dfddc7b30caf6bf2b78296',1,'SVF::LockAnalysis']]],
-  ['insttotsmap_11892',['instToTSMap',['../classSVF_1_1MTAResultValidator.html#a8452bf182f6f1e0f4c239f620ee803b1',1,'SVF::MTAResultValidator::instToTSMap()'],['../classSVF_1_1MHP.html#a6b238ee6342da990840162845bba547f',1,'SVF::MHP::instToTSMap()']]],
-  ['interleavingqueriestime_11893',['interleavingQueriesTime',['../classSVF_1_1MHP.html#ab7d9fe837844197b7acdc0493a50aaa5',1,'SVF::MHP']]],
-  ['interleavingtime_11894',['interleavingTime',['../classSVF_1_1MHP.html#aca306b97c6dcd47a8f407038436473a2',1,'SVF::MHP']]],
-  ['interlev_5faccess_11895',['INTERLEV_ACCESS',['../classSVF_1_1MTAResultValidator.html#ad3c052835b34f2897089d1edc2548bae',1,'SVF::MTAResultValidator']]],
-  ['interlev_5fimprecise_11896',['INTERLEV_IMPRECISE',['../classSVF_1_1MTAResultValidator.html#a80414f4ba70357742fa0269f93f1a910',1,'SVF::MTAResultValidator']]],
-  ['interlev_5ftrue_11897',['INTERLEV_TRUE',['../classSVF_1_1MTAResultValidator.html#a5a6e2f2d1d6aa6fb3a83455b5a288ff1',1,'SVF::MTAResultValidator']]],
-  ['interlev_5funsound_11898',['INTERLEV_UNSOUND',['../classSVF_1_1MTAResultValidator.html#a0e2fb93a69df487606c0eeaeadab805d',1,'SVF::MTAResultValidator']]],
-  ['inters_11899',['inters',['../classSVF_1_1InterDisjointMRG.html#a104134d0f7c8b16abe8f5f3899c3bbf0',1,'SVF::InterDisjointMRG']]],
-  ['intersectioncache_11900',['intersectionCache',['../classSVF_1_1PersistentPointsToCache.html#a525fbb49c91040c078fbcaaae2339ef2',1,'SVF::PersistentPointsToCache']]],
-  ['intralock_11901',['IntraLock',['../classSVF_1_1Options.html#af6d92cd4372cd952e6d955cfc9be0ccb',1,'SVF::Options']]],
-  ['intrinsic_11902',['intrinsic',['../classSVF_1_1SVFFunction.html#a037b2583aa8d15ceeb630eaad41a36a3',1,'SVF::SVFFunction']]],
-  ['inupdatedvarmap_11903',['inUpdatedVarMap',['../classSVF_1_1MutableIncDFPTData.html#ab5e9ebf9e71652b5fa63d59c97d016e4',1,'SVF::MutableIncDFPTData::inUpdatedVarMap()'],['../classSVF_1_1PersistentIncDFPTData.html#a106391cd8eefab1740b54cd9bbacccad',1,'SVF::PersistentIncDFPTData::inUpdatedVarMap()']]],
-  ['invalidversion_11904',['invalidVersion',['../classSVF_1_1VersionedFlowSensitive.html#a3d44a343a2e3f5d276fd1b069c92e112',1,'SVF::VersionedFlowSensitive']]],
-  ['irgraphreader_11905',['irGraphReader',['../classSVF_1_1SVFIRReader.html#a0dbb50e2c4a8806a741e0c4173c445b8',1,'SVF::SVFIRReader']]],
-  ['irgraphwriter_11906',['irGraphWriter',['../classSVF_1_1SVFIRWriter.html#a997a5339fcb177556819b2e27b17b424',1,'SVF::SVFIRWriter']]],
-  ['is_5fiterable_5fv_11907',['is_iterable_v',['../namespaceSVF_1_1SVFUtil.html#aa32219da7a5c3d7517ec5026afdac588',1,'SVF::SVFUtil']]],
-  ['is_5fmap_5fv_11908',['is_map_v',['../namespaceSVF_1_1SVFUtil.html#a8c57ab480c497cbd21a49778d0e59bd5',1,'SVF::SVFUtil']]],
-  ['is_5fsequence_5fcontainer_5fv_11909',['is_sequence_container_v',['../namespaceSVF_1_1SVFUtil.html#a811faa9c2095f44e3e5b6e50aa6f6e06',1,'SVF::SVFUtil']]],
-  ['is_5fset_5fv_11910',['is_set_v',['../namespaceSVF_1_1SVFUtil.html#a08e67d68b1da116b2c51cb60bdb6dae2',1,'SVF::SVFUtil']]],
-  ['isdecl_11911',['isDecl',['../classSVF_1_1SVFFunction.html#a52581d00177fd5853d6f9de50b3e7fb9',1,'SVF::SVFFunction']]],
-  ['isexplicitlyset_11912',['isExplicitlySet',['../classOption.html#a980a99e59afae6419a9b15f7606d83dc',1,'Option::isExplicitlySet()'],['../classOptionMap.html#a9efba3b88013aa1745f47ab42d71c726',1,'OptionMap::isExplicitlySet()']]],
-  ['isloadmap_11913',['isLoadMap',['../classSVF_1_1VersionedFlowSensitive.html#a6bb3db072db0b899f306b37f1146f83d',1,'SVF::VersionedFlowSensitive']]],
-  ['isnotret_11914',['isNotRet',['../classSVF_1_1SVFFunction.html#ac85bdf04fd784e22a89426955d28e3d6',1,'SVF::SVFFunction']]],
-  ['isptr_11915',['isPtr',['../classSVF_1_1SVFVar.html#a7c8ffadedbf53d30694feeb7771990af',1,'SVF::SVFVar']]],
-  ['issimple_11916',['IsSimple',['../structSVF_1_1DefaultDOTGraphTraits.html#abf5957e894bacd69c9ead5a80a330626',1,'SVF::DefaultDOTGraphTraits']]],
-  ['issinglevalty_11917',['isSingleValTy',['../classSVF_1_1SVFType.html#ac26ba9052149b5b792aa8e8c3ccfd350',1,'SVF::SVFType']]],
-  ['isstoremap_11918',['isStoreMap',['../classSVF_1_1VersionedFlowSensitive.html#a18e25c3871d7cc1a6bb0592ceca90f88',1,'SVF::VersionedFlowSensitive']]],
-  ['isthunkfunc_11919',['isThunkFunc',['../structSVF_1_1cppUtil_1_1DemangledName.html#af6117df8aec7f4c077058fa8f00b0243',1,'SVF::cppUtil::DemangledName']]],
-  ['isuncalled_11920',['isUncalled',['../classSVF_1_1SVFFunction.html#a1e9dc1d660e3626540b7501194bb12ea',1,'SVF::SVFFunction']]],
-  ['item_11921',['item',['../cJSON_8h.html#ac76cea59d438ba893d2f82aabb367d14',1,'item(): cJSON.h'],['../cJSON_8cpp.html#ac011de571ff16ba220d2e0d757e4e8b0',1,'item(): cJSON.cpp']]],
-  ['iter_11922',['Iter',['../classSVF_1_1SparseBitVector_1_1SparseBitVectorIterator.html#a3627077086baa18bd0ae25efd981c18f',1,'SVF::SparseBitVector::SparseBitVectorIterator']]],
-  ['iter_5ffacade_5fbase_11923',['iter_facade_base',['../classSVF_1_1iter__facade__base_1_1ReferenceProxy.html#ab4717ea89d08ac05464fa95bc7f50ac6',1,'SVF::iter_facade_base::ReferenceProxy']]],
-  ['iterationforprintstat_11924',['iterationForPrintStat',['../classSVF_1_1WPASolver.html#aa7c0636780a86f376e9222bce771e859',1,'SVF::WPASolver']]]
+  ['i_11849',['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_11850',['I1',['../classSVF_1_1RaceResultValidator_1_1AccessPair.html#a2f6817c4f04b090ff8ebff68cafa5892',1,'SVF::RaceResultValidator::AccessPair']]],
+  ['i2_11851',['I2',['../classSVF_1_1RaceResultValidator_1_1AccessPair.html#a4759b40288c232686465893d988697f3',1,'SVF::RaceResultValidator::AccessPair']]],
+  ['icfg_11852',['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_11853',['icfgNode',['../classSVF_1_1VFGNode.html#a54c631f1e39be144c0cd25373f6b98b8',1,'SVF::VFGNode::icfgNode()'],['../classSVF_1_1SVFStmt.html#a50046a1500ec6e2819ef55162e70cc71',1,'SVF::SVFStmt::icfgNode()']]],
+  ['icfgnode2ptasvfstmtsmap_11854',['icfgNode2PTASVFStmtsMap',['../classSVF_1_1SVFIR.html#aaae756185bbd5b7175e96f8928a989c2',1,'SVF::SVFIR']]],
+  ['icfgnode2svfstmtsmap_11855',['icfgNode2SVFStmtsMap',['../classSVF_1_1SVFIR.html#a86c0c23d854b034d741d9d8891debab7',1,'SVF::SVFIR']]],
+  ['icfgnodes_11856',['icfgNodes',['../classSVF_1_1SVFLoop.html#a062e4b336b9b8315a9fc1107c9cab840',1,'SVF::SVFLoop']]],
+  ['icfgnodetosvfloopvec_11857',['icfgNodeToSVFLoopVec',['../classSVF_1_1ICFG.html#a7d6aeecb00d77600a204a72d60023d54',1,'SVF::ICFG']]],
+  ['icfgreader_11858',['icfgReader',['../classSVF_1_1SVFIRReader.html#aa1100e216d94eb445f59125e94815fd7',1,'SVF::SVFIRReader']]],
+  ['icfgwriter_11859',['icfgWriter',['../classSVF_1_1SVFIRWriter.html#aba5c3c3b62687a28301e9c65555e57f9',1,'SVF::SVFIRWriter']]],
+  ['id_11860',['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_11861',['idCounter',['../classSVF_1_1PersistentPointsToCache.html#ad8d24772f7503e0e735f546506d2bcc5',1,'SVF::PersistentPointsToCache']]],
+  ['idmap_11862',['idMap',['../classSVF_1_1ReaderIDToObjMap.html#a3ed6e858fd91ec6cf14361b55dec55b4',1,'SVF::ReaderIDToObjMap']]],
+  ['idtocsmap_11863',['idToCSMap',['../classSVF_1_1PTACallGraph.html#a5d6f63baad19589a9fd1e069631e18fa',1,'SVF::PTACallGraph']]],
+  ['idtonodemap_11864',['idToNodeMap',['../classSVF_1_1GenericGraphReader.html#a2fc2248a433201314c636856603cb3fa',1,'SVF::GenericGraphReader::idToNodeMap()'],['../classSVF_1_1GenericGraph.html#a47a1ef8b67b0c92f78b4457dc3bbfe71',1,'SVF::GenericGraph::IDToNodeMap()']]],
+  ['idtopts_11865',['idToPts',['../classSVF_1_1PersistentPointsToCache.html#a32009561c9d3a340ec4e6230ef17f998',1,'SVF::PersistentPointsToCache']]],
+  ['idtoterminstmap_11866',['idToTermInstMap',['../classSVF_1_1SaberCondAllocator.html#aee401aa2c7884888bbd26544bcd92881',1,'SVF::SaberCondAllocator']]],
+  ['idxoperandpairs_11867',['idxOperandPairs',['../classSVF_1_1AccessPath.html#a47855e8ab3bba692f443903b58618229',1,'SVF::AccessPath']]],
+  ['ignoredeadfun_11868',['IgnoreDeadFun',['../classSVF_1_1Options.html#a00f3c4c53e6ade73f7667231c394c5d7',1,'SVF::Options']]],
+  ['incdfptdata_11869',['INCDFPTData',['../classSVF_1_1Options.html#a1743b8a1ab2d71c35206c7befa725d90',1,'SVF::Options']]],
+  ['incfledges_11870',['inCFLEdges',['../classSVF_1_1CFLNode.html#a3a7d1ea890272e9905406638b12bdc30',1,'SVF::CFLNode']]],
+  ['incycle_11871',['incycle',['../classSVF_1_1CxtThread.html#a97d876697e682b23211a8f930fed7f32',1,'SVF::CxtThread']]],
+  ['indcallsitetofunptrmap_11872',['indCallSiteToFunPtrMap',['../classSVF_1_1SVFIR.html#a0a5f88766b7e11f1ea35befcbcea62dc',1,'SVF::SVFIR']]],
+  ['index_11873',['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_11874',['IndirectCallLimit',['../classSVF_1_1Options.html#aa5bae1db07c401517c1c0f8fd9f2deef',1,'SVF::Options']]],
+  ['indirectcallmap_11875',['indirectCallMap',['../classSVF_1_1PTACallGraph.html#adcae44bd6788954e2e4e007bff03462c',1,'SVF::PTACallGraph']]],
+  ['indirectcalls_11876',['indirectCalls',['../classSVF_1_1PTACallGraphEdge.html#a66491523e4ccfdf2ff57e10cfd6f3074',1,'SVF::PTACallGraphEdge']]],
+  ['indirectpropatime_11877',['indirectPropaTime',['../classSVF_1_1FlowSensitive.html#a2feaa4b7a72989b311e9084a81320254',1,'SVF::FlowSensitive']]],
+  ['indmap_11878',['indMap',['../classSVF_1_1POCRHybridSolver.html#acaf3ed69888f4a3862dddf0de7508455',1,'SVF::POCRHybridSolver']]],
+  ['inedgekindtosetmap_11879',['InEdgeKindToSetMap',['../classSVF_1_1SVFVar.html#a0d918a6c8dd3b7b395d4c7161bcf9656',1,'SVF::SVFVar']]],
+  ['inedges_11880',['InEdges',['../classSVF_1_1CFBasicBlockNode.html#a7b1db0644849e066137c162e24026b67',1,'SVF::CFBasicBlockNode::InEdges()'],['../classSVF_1_1GenericNode.html#a24971168130222400d9aa5f03610bff5',1,'SVF::GenericNode::InEdges()']]],
+  ['inicfgedges_11881',['inICFGEdges',['../classSVF_1_1SVFLoop.html#a869a289f556304706f525f02ba9bff98',1,'SVF::SVFLoop']]],
+  ['inloop_11882',['inloop',['../classSVF_1_1CxtThread.html#a2066520689094db3c4a88f5a7fc4ec0c',1,'SVF::CxtThread']]],
+  ['inrecurjoinsites_11883',['inRecurJoinSites',['../classSVF_1_1TCT.html#a1b3872361dc17aaea359db8ce0cc2431',1,'SVF::TCT']]],
+  ['insencycle_11884',['InsenCycle',['../classSVF_1_1Options.html#a0c5d08f13bd41095afb3b60c7ffad0e0',1,'SVF::Options']]],
+  ['insenrecur_11885',['InsenRecur',['../classSVF_1_1Options.html#aeab702f641fd13ee1d0f89837097e43b',1,'SVF::Options']]],
+  ['insensitveedges_11886',['insensitveEdges',['../classSVF_1_1ContextDDA.html#a942e79dced48bd284a58540a2fb778b9',1,'SVF::ContextDDA']]],
+  ['inst_11887',['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_11888',['inst2LabelMap',['../classSVF_1_1SVFStmt.html#abb83549118bcd7216a053d82f7180d1c',1,'SVF::SVFStmt']]],
+  ['instcilocksmap_11889',['instCILocksMap',['../classSVF_1_1LockAnalysis.html#a277d88153d34cf3eb80272003949e4ef',1,'SVF::LockAnalysis']]],
+  ['insttoblocknodemap_11890',['InstToBlockNodeMap',['../classSVF_1_1ICFG.html#a23f905d849553d7ad652e9a8f1bfacd1',1,'SVF::ICFG']]],
+  ['insttocondcilocksmap_11891',['instTocondCILocksMap',['../classSVF_1_1LockAnalysis.html#a5a4167dd5dbd0017a4725c8774a5b522',1,'SVF::LockAnalysis']]],
+  ['insttocxtlockset_11892',['instToCxtLockSet',['../classSVF_1_1LockResultValidator.html#a841c1dfb065999215b5f415e403f7a2a',1,'SVF::LockResultValidator']]],
+  ['insttocxtstmtset_11893',['instToCxtStmtSet',['../classSVF_1_1LockAnalysis.html#ae8715683c7dfddc7b30caf6bf2b78296',1,'SVF::LockAnalysis']]],
+  ['insttotsmap_11894',['instToTSMap',['../classSVF_1_1MTAResultValidator.html#a8452bf182f6f1e0f4c239f620ee803b1',1,'SVF::MTAResultValidator::instToTSMap()'],['../classSVF_1_1MHP.html#a6b238ee6342da990840162845bba547f',1,'SVF::MHP::instToTSMap()']]],
+  ['interleavingqueriestime_11895',['interleavingQueriesTime',['../classSVF_1_1MHP.html#ab7d9fe837844197b7acdc0493a50aaa5',1,'SVF::MHP']]],
+  ['interleavingtime_11896',['interleavingTime',['../classSVF_1_1MHP.html#aca306b97c6dcd47a8f407038436473a2',1,'SVF::MHP']]],
+  ['interlev_5faccess_11897',['INTERLEV_ACCESS',['../classSVF_1_1MTAResultValidator.html#ad3c052835b34f2897089d1edc2548bae',1,'SVF::MTAResultValidator']]],
+  ['interlev_5fimprecise_11898',['INTERLEV_IMPRECISE',['../classSVF_1_1MTAResultValidator.html#a80414f4ba70357742fa0269f93f1a910',1,'SVF::MTAResultValidator']]],
+  ['interlev_5ftrue_11899',['INTERLEV_TRUE',['../classSVF_1_1MTAResultValidator.html#a5a6e2f2d1d6aa6fb3a83455b5a288ff1',1,'SVF::MTAResultValidator']]],
+  ['interlev_5funsound_11900',['INTERLEV_UNSOUND',['../classSVF_1_1MTAResultValidator.html#a0e2fb93a69df487606c0eeaeadab805d',1,'SVF::MTAResultValidator']]],
+  ['inters_11901',['inters',['../classSVF_1_1InterDisjointMRG.html#a104134d0f7c8b16abe8f5f3899c3bbf0',1,'SVF::InterDisjointMRG']]],
+  ['intersectioncache_11902',['intersectionCache',['../classSVF_1_1PersistentPointsToCache.html#a525fbb49c91040c078fbcaaae2339ef2',1,'SVF::PersistentPointsToCache']]],
+  ['intralock_11903',['IntraLock',['../classSVF_1_1Options.html#af6d92cd4372cd952e6d955cfc9be0ccb',1,'SVF::Options']]],
+  ['intrinsic_11904',['intrinsic',['../classSVF_1_1SVFFunction.html#a037b2583aa8d15ceeb630eaad41a36a3',1,'SVF::SVFFunction']]],
+  ['inupdatedvarmap_11905',['inUpdatedVarMap',['../classSVF_1_1MutableIncDFPTData.html#ab5e9ebf9e71652b5fa63d59c97d016e4',1,'SVF::MutableIncDFPTData::inUpdatedVarMap()'],['../classSVF_1_1PersistentIncDFPTData.html#a106391cd8eefab1740b54cd9bbacccad',1,'SVF::PersistentIncDFPTData::inUpdatedVarMap()']]],
+  ['invalidversion_11906',['invalidVersion',['../classSVF_1_1VersionedFlowSensitive.html#a3d44a343a2e3f5d276fd1b069c92e112',1,'SVF::VersionedFlowSensitive']]],
+  ['irgraphreader_11907',['irGraphReader',['../classSVF_1_1SVFIRReader.html#a0dbb50e2c4a8806a741e0c4173c445b8',1,'SVF::SVFIRReader']]],
+  ['irgraphwriter_11908',['irGraphWriter',['../classSVF_1_1SVFIRWriter.html#a997a5339fcb177556819b2e27b17b424',1,'SVF::SVFIRWriter']]],
+  ['is_5fiterable_5fv_11909',['is_iterable_v',['../namespaceSVF_1_1SVFUtil.html#aa32219da7a5c3d7517ec5026afdac588',1,'SVF::SVFUtil']]],
+  ['is_5fmap_5fv_11910',['is_map_v',['../namespaceSVF_1_1SVFUtil.html#a8c57ab480c497cbd21a49778d0e59bd5',1,'SVF::SVFUtil']]],
+  ['is_5fsequence_5fcontainer_5fv_11911',['is_sequence_container_v',['../namespaceSVF_1_1SVFUtil.html#a811faa9c2095f44e3e5b6e50aa6f6e06',1,'SVF::SVFUtil']]],
+  ['is_5fset_5fv_11912',['is_set_v',['../namespaceSVF_1_1SVFUtil.html#a08e67d68b1da116b2c51cb60bdb6dae2',1,'SVF::SVFUtil']]],
+  ['isdecl_11913',['isDecl',['../classSVF_1_1SVFFunction.html#a52581d00177fd5853d6f9de50b3e7fb9',1,'SVF::SVFFunction']]],
+  ['isexplicitlyset_11914',['isExplicitlySet',['../classOption.html#a980a99e59afae6419a9b15f7606d83dc',1,'Option::isExplicitlySet()'],['../classOptionMap.html#a9efba3b88013aa1745f47ab42d71c726',1,'OptionMap::isExplicitlySet()']]],
+  ['isloadmap_11915',['isLoadMap',['../classSVF_1_1VersionedFlowSensitive.html#a6bb3db072db0b899f306b37f1146f83d',1,'SVF::VersionedFlowSensitive']]],
+  ['isnotret_11916',['isNotRet',['../classSVF_1_1SVFFunction.html#ac85bdf04fd784e22a89426955d28e3d6',1,'SVF::SVFFunction']]],
+  ['isptr_11917',['isPtr',['../classSVF_1_1SVFVar.html#a7c8ffadedbf53d30694feeb7771990af',1,'SVF::SVFVar']]],
+  ['issimple_11918',['IsSimple',['../structSVF_1_1DefaultDOTGraphTraits.html#abf5957e894bacd69c9ead5a80a330626',1,'SVF::DefaultDOTGraphTraits']]],
+  ['issinglevalty_11919',['isSingleValTy',['../classSVF_1_1SVFType.html#ac26ba9052149b5b792aa8e8c3ccfd350',1,'SVF::SVFType']]],
+  ['isstoremap_11920',['isStoreMap',['../classSVF_1_1VersionedFlowSensitive.html#a18e25c3871d7cc1a6bb0592ceca90f88',1,'SVF::VersionedFlowSensitive']]],
+  ['isthunkfunc_11921',['isThunkFunc',['../structSVF_1_1cppUtil_1_1DemangledName.html#af6117df8aec7f4c077058fa8f00b0243',1,'SVF::cppUtil::DemangledName']]],
+  ['isuncalled_11922',['isUncalled',['../classSVF_1_1SVFFunction.html#a1e9dc1d660e3626540b7501194bb12ea',1,'SVF::SVFFunction']]],
+  ['item_11923',['item',['../cJSON_8h.html#ac76cea59d438ba893d2f82aabb367d14',1,'item(): cJSON.h'],['../cJSON_8cpp.html#ac011de571ff16ba220d2e0d757e4e8b0',1,'item(): cJSON.cpp']]],
+  ['iter_11924',['Iter',['../classSVF_1_1SparseBitVector_1_1SparseBitVectorIterator.html#a3627077086baa18bd0ae25efd981c18f',1,'SVF::SparseBitVector::SparseBitVectorIterator']]],
+  ['iter_5ffacade_5fbase_11925',['iter_facade_base',['../classSVF_1_1iter__facade__base_1_1ReferenceProxy.html#ab4717ea89d08ac05464fa95bc7f50ac6',1,'SVF::iter_facade_base::ReferenceProxy']]],
+  ['iterationforprintstat_11926',['iterationForPrintStat',['../classSVF_1_1WPASolver.html#aa7c0636780a86f376e9222bce771e859',1,'SVF::WPASolver']]]
 ];

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

@@ -1,7 +1,7 @@
 var searchData=
 [
-  ['joinsites_11925',['joinsites',['../classSVF_1_1ThreadCallGraph.html#aab32b67b314b31d67d58efded50e8f45',1,'SVF::ThreadCallGraph']]],
-  ['joinsitetoloopmap_11926',['joinSiteToLoopMap',['../classSVF_1_1TCT.html#a5b1f44ffa732607a7800728befa5bc57',1,'SVF::TCT']]],
-  ['json_11927',['json',['../structerror.html#a9b123855d5dd48e86de846588462b39f',1,'error::json()'],['../cJSON_8cpp.html#ac3d010a5f321146bc39a696b90a35c37',1,'json(): cJSON.cpp']]],
-  ['jsonarray_11928',['jsonArray',['../classSVF_1_1ReaderPtrPool.html#a7c97bb72f8b612fdebed953ccb3d4ad0',1,'SVF::ReaderPtrPool']]]
+  ['joinsites_11927',['joinsites',['../classSVF_1_1ThreadCallGraph.html#aab32b67b314b31d67d58efded50e8f45',1,'SVF::ThreadCallGraph']]],
+  ['joinsitetoloopmap_11928',['joinSiteToLoopMap',['../classSVF_1_1TCT.html#a5b1f44ffa732607a7800728befa5bc57',1,'SVF::TCT']]],
+  ['json_11929',['json',['../structerror.html#a9b123855d5dd48e86de846588462b39f',1,'error::json()'],['../cJSON_8cpp.html#ac3d010a5f321146bc39a696b90a35c37',1,'json(): cJSON.cpp']]],
+  ['jsonarray_11930',['jsonArray',['../classSVF_1_1ReaderPtrPool.html#a7c97bb72f8b612fdebed953ccb3d4ad0',1,'SVF::ReaderPtrPool']]]
 ];

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

@@ -1,13 +1,13 @@
 var searchData=
 [
-  ['keepactualoutformalin_11929',['keepActualOutFormalIn',['../classSVF_1_1SVFGOPT.html#a7e57ca56a587a5b59543b5bab7fe794d',1,'SVF::SVFGOPT']]],
-  ['keepallselfcycle_11930',['keepAllSelfCycle',['../classSVF_1_1SVFGOPT.html#a65bba62d9b62bf2bdbbda69540eeb38d',1,'SVF::SVFGOPT::keepAllSelfCycle()'],['../SVFGOPT_8cpp.html#af213fe89264a55a8ff44872905524f2f',1,'KeepAllSelfCycle(): SVFGOPT.cpp']]],
-  ['keepaofi_11931',['KeepAOFI',['../classSVF_1_1Options.html#a09005e749b1030347ac5dcc015053a37',1,'SVF::Options']]],
-  ['keepcontextselfcycle_11932',['keepContextSelfCycle',['../classSVF_1_1SVFGOPT.html#ac68a53c567929ba8b69c00e3e8d9d30f',1,'SVF::SVFGOPT::keepContextSelfCycle()'],['../SVFGOPT_8cpp.html#a88c73f6d9c8ac75497c2e520a7d41935',1,'KeepContextSelfCycle(): SVFGOPT.cpp']]],
-  ['keepnoneselfcycle_11933',['KeepNoneSelfCycle',['../SVFGOPT_8cpp.html#a644ce2ce8b3224e9cd4cfc8480941c6f',1,'SVFGOPT.cpp']]],
-  ['kind_11934',['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_11935',['kindToAttrsMap',['../classSVF_1_1GrammarBase.html#a7707662599fe848ae6526802be4f7b6c',1,'SVF::GrammarBase::kindToAttrsMap()'],['../classSVF_1_1CFLGraphBuilder.html#af34aa7ae71e100d8bbe7c1b17c1f0068',1,'SVF::CFLGraphBuilder::kindToAttrsMap()']]],
-  ['kindtolabelmap_11936',['kindToLabelMap',['../classSVF_1_1CFLGraphBuilder.html#a93b41c2f0eca82e6eaf49895b2b13a1e',1,'SVF::CFLGraphBuilder']]],
-  ['kindtoptasvfstmtsetmap_11937',['KindToPTASVFStmtSetMap',['../classSVF_1_1IRGraph.html#ae0a9b81717fd834bbd109c4b69aaff9d',1,'SVF::IRGraph']]],
-  ['kindtosvfstmtsetmap_11938',['KindToSVFStmtSetMap',['../classSVF_1_1IRGraph.html#a3db2c4e2823f16d78c86596da284acd1',1,'SVF::IRGraph']]]
+  ['keepactualoutformalin_11931',['keepActualOutFormalIn',['../classSVF_1_1SVFGOPT.html#a7e57ca56a587a5b59543b5bab7fe794d',1,'SVF::SVFGOPT']]],
+  ['keepallselfcycle_11932',['keepAllSelfCycle',['../classSVF_1_1SVFGOPT.html#a65bba62d9b62bf2bdbbda69540eeb38d',1,'SVF::SVFGOPT::keepAllSelfCycle()'],['../SVFGOPT_8cpp.html#af213fe89264a55a8ff44872905524f2f',1,'KeepAllSelfCycle(): SVFGOPT.cpp']]],
+  ['keepaofi_11933',['KeepAOFI',['../classSVF_1_1Options.html#a09005e749b1030347ac5dcc015053a37',1,'SVF::Options']]],
+  ['keepcontextselfcycle_11934',['keepContextSelfCycle',['../classSVF_1_1SVFGOPT.html#ac68a53c567929ba8b69c00e3e8d9d30f',1,'SVF::SVFGOPT::keepContextSelfCycle()'],['../SVFGOPT_8cpp.html#a88c73f6d9c8ac75497c2e520a7d41935',1,'KeepContextSelfCycle(): SVFGOPT.cpp']]],
+  ['keepnoneselfcycle_11935',['KeepNoneSelfCycle',['../SVFGOPT_8cpp.html#a644ce2ce8b3224e9cd4cfc8480941c6f',1,'SVFGOPT.cpp']]],
+  ['kind_11936',['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_11937',['kindToAttrsMap',['../classSVF_1_1GrammarBase.html#a7707662599fe848ae6526802be4f7b6c',1,'SVF::GrammarBase::kindToAttrsMap()'],['../classSVF_1_1CFLGraphBuilder.html#af34aa7ae71e100d8bbe7c1b17c1f0068',1,'SVF::CFLGraphBuilder::kindToAttrsMap()']]],
+  ['kindtolabelmap_11938',['kindToLabelMap',['../classSVF_1_1CFLGraphBuilder.html#a93b41c2f0eca82e6eaf49895b2b13a1e',1,'SVF::CFLGraphBuilder']]],
+  ['kindtoptasvfstmtsetmap_11939',['KindToPTASVFStmtSetMap',['../classSVF_1_1IRGraph.html#ae0a9b81717fd834bbd109c4b69aaff9d',1,'SVF::IRGraph']]],
+  ['kindtosvfstmtsetmap_11940',['KindToSVFStmtSetMap',['../classSVF_1_1IRGraph.html#a3db2c4e2823f16d78c86596da284acd1',1,'SVF::IRGraph']]]
 ];

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

@@ -1,48 +1,48 @@
 var searchData=
 [
-  ['labeltokindmap_11939',['labelToKindMap',['../classSVF_1_1CFLGraphBuilder.html#a1ecf9cad8707ba07d3e44624ea273f2f',1,'SVF::CFLGraphBuilder']]],
-  ['largestregion_11940',['LargestRegion',['../classSVF_1_1NodeIDAllocator_1_1Clusterer.html#a172d72ae4ae45fa2baf2f20ff2b499dc',1,'SVF::NodeIDAllocator::Clusterer']]],
-  ['ldnodeset_11941',['ldnodeSet',['../classSVF_1_1MTASVFGBuilder.html#a6dfa9807255258f324557d188adea9b2',1,'SVF::MTASVFGBuilder']]],
-  ['leakchecker_11942',['LEAKCHECKER',['../saber_8cpp.html#a789415bb7081a399af0d4218ead5e6a5',1,'saber.cpp']]],
-  ['length_11943',['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_11944',['LLVMArgument2SVFArgument',['../classSVF_1_1LLVMModuleSet.html#a852524c71831d7b2da0e9b0b6b191480',1,'SVF::LLVMModuleSet']]],
-  ['llvmbb2svfbb_11945',['LLVMBB2SVFBB',['../classSVF_1_1LLVMModuleSet.html#a0f9b36699b99dfcfe3c1588bfab6b97c',1,'SVF::LLVMModuleSet']]],
-  ['llvmconst2svfconst_11946',['LLVMConst2SVFConst',['../classSVF_1_1LLVMModuleSet.html#a4b94c96898dbbc71bc1cee04786cf3dc',1,'SVF::LLVMModuleSet']]],
-  ['llvmfunc2svffunc_11947',['LLVMFunc2SVFFunc',['../classSVF_1_1LLVMModuleSet.html#a9fd7f0170bffa7c1b927cdb0de98fd15',1,'SVF::LLVMModuleSet']]],
-  ['llvminst2svfinst_11948',['LLVMInst2SVFInst',['../classSVF_1_1LLVMModuleSet.html#a42439790c217254ce5404622b197b3d0',1,'SVF::LLVMModuleSet']]],
-  ['llvmmoduleset_11949',['llvmModuleSet',['../classSVF_1_1LLVMModuleSet.html#ac59b07cafcbacc950eefea4082425b63',1,'SVF::LLVMModuleSet']]],
-  ['llvmtype2svftype_11950',['LLVMType2SVFType',['../classSVF_1_1LLVMModuleSet.html#a067661e0049314779a44c9600420820f',1,'SVF::LLVMModuleSet']]],
-  ['llvmvalue2svfothervalue_11951',['LLVMValue2SVFOtherValue',['../classSVF_1_1LLVMModuleSet.html#ac3e70bd338be3a54330be5dc10321eb3',1,'SVF::LLVMModuleSet']]],
-  ['load2musetmap_11952',['load2MuSetMap',['../classSVF_1_1MemSSA.html#a5cf94edea3a5c35b3c1d9c6ae4b5f9d6',1,'SVF::MemSSA']]],
-  ['loadcgedgeset_11953',['LoadCGEdgeSet',['../classSVF_1_1ConstraintGraph.html#a1cb9124b29720e7a5b39d83419f9cc17',1,'SVF::ConstraintGraph']]],
-  ['loadinedges_11954',['loadInEdges',['../classSVF_1_1ConstraintNode.html#af7343134750575d3f335ed431f13a418',1,'SVF::ConstraintNode']]],
-  ['loadoutedges_11955',['loadOutEdges',['../classSVF_1_1ConstraintNode.html#a85a6acbd708be0dfc63ea87050a4a934',1,'SVF::ConstraintNode']]],
-  ['loadset_11956',['loadset',['../classSVF_1_1MTAAnnotator.html#a469851829bf1105fe8faac44b4abbfdd',1,'SVF::MTAAnnotator']]],
-  ['loadsrcnodes_11957',['loadSrcNodes',['../classSVF_1_1AliasDDAClient.html#a246448efd1ff5da683a6ffe9f759e282',1,'SVF::AliasDDAClient']]],
-  ['loadstomrsmap_11958',['loadsToMRsMap',['../classSVF_1_1MRGenerator.html#a0d8229b1f0b8428708e923d19096e4ba',1,'SVF::MRGenerator']]],
-  ['loadstopointstomap_11959',['loadsToPointsToMap',['../classSVF_1_1MRGenerator.html#af47e15d6b8c15d547a718f3577513975',1,'SVF::MRGenerator']]],
-  ['loadtime_11960',['loadTime',['../classSVF_1_1FlowSensitive.html#aab4f70210eb1e6447a24697d3b459067',1,'SVF::FlowSensitive']]],
-  ['loadtoptcvarmap_11961',['loadToPTCVarMap',['../classSVF_1_1DDAVFSolver.html#a6d62420837fe0c7814fc4da68a91eda4',1,'SVF::DDAVFSolver']]],
-  ['localvarinrecursion_11962',['localVarInRecursion',['../classSVF_1_1PTAStat.html#a5b4095f427c9c7b9ec0db497ba33baea',1,'SVF::PTAStat']]],
-  ['lock_11963',['LOCK',['../classSVF_1_1LockResultValidator.html#a5423c0cf9624c42bcd8a9a8adaa22dcb',1,'SVF::LockResultValidator']]],
-  ['lock_5fimprecise_11964',['LOCK_IMPRECISE',['../classSVF_1_1LockResultValidator.html#a760c0f6f891daa4532a44c6594794bb8',1,'SVF::LockResultValidator']]],
-  ['lock_5ftrue_11965',['LOCK_TRUE',['../classSVF_1_1LockResultValidator.html#a005c38dd07eb66d52066fa1927b1e19f',1,'SVF::LockResultValidator']]],
-  ['lock_5funsound_11966',['LOCK_UNSOUND',['../classSVF_1_1LockResultValidator.html#a03589368482d3f7ee7f6734e257dcbdf',1,'SVF::LockResultValidator']]],
-  ['lockana_11967',['lockana',['../classSVF_1_1MTASVFGBuilder.html#a00bf5aaf3095bb271f2cbd3c35749ce2',1,'SVF::MTASVFGBuilder::lockana()'],['../classSVF_1_1FSMPTA.html#abf8f7645c51f3a8c70ca542de5b7d6c9',1,'SVF::FSMPTA::lockana()']]],
-  ['lockcandidatefuncset_11968',['lockcandidateFuncSet',['../classSVF_1_1LockAnalysis.html#a484eb7b6f49f47a3e71054c3b798a47a',1,'SVF::LockAnalysis']]],
-  ['lockqueriestime_11969',['lockQueriesTime',['../classSVF_1_1LockAnalysis.html#a853ab1a953ddcf76841016a833e43f3d',1,'SVF::LockAnalysis']]],
-  ['locksites_11970',['locksites',['../classSVF_1_1LockAnalysis.html#a87c412a54f48e5314454cd1d44ef9b0e',1,'SVF::LockAnalysis']]],
-  ['lockspan_11971',['lockSpan',['../classSVF_1_1SVFGNodeLockSpan.html#a762505799b9257bbcb766fccdce40fd4',1,'SVF::SVFGNodeLockSpan']]],
-  ['locktime_11972',['lockTime',['../classSVF_1_1LockAnalysis.html#adadee129c04b82576b4ca3c7594cdcb2',1,'SVF::LockAnalysis']]],
-  ['lockvalid_11973',['LockValid',['../classSVF_1_1Options.html#a6c0afceb5db81504930dc6f673bc41ec',1,'SVF::Options']]],
-  ['locmemmodel_11974',['LocMemModel',['../classSVF_1_1Options.html#a198e0d500ae635c709c406bbec604050',1,'SVF::Options']]],
-  ['loctodpmsetmap_11975',['locToDpmSetMap',['../classSVF_1_1DDAVFSolver.html#aa724698d499615bce7caf8f312b746a7',1,'SVF::DDAVFSolver']]],
-  ['lookupcomplements_11976',['lookupComplements',['../classSVF_1_1PersistentPointsToCache.html#a47f4e8ef1461396afb2e1c3cbe055e95',1,'SVF::PersistentPointsToCache']]],
-  ['lookupintersections_11977',['lookupIntersections',['../classSVF_1_1PersistentPointsToCache.html#a15d3235017b35f4a5c668d0b6626faff',1,'SVF::PersistentPointsToCache']]],
-  ['lookupunions_11978',['lookupUnions',['../classSVF_1_1PersistentPointsToCache.html#ace976f138cf1b8ab6bbf7a5c5d0b60b8',1,'SVF::PersistentPointsToCache']]],
-  ['loopanalysis_11979',['LoopAnalysis',['../classSVF_1_1Options.html#abfd13c7d998333290b39354178739f2c',1,'SVF::Options']]],
-  ['loopanddom_11980',['loopAndDom',['../classSVF_1_1SVFFunction.html#aefde3a0671e34541a4ad5d7a6dfaa5d1',1,'SVF::SVFFunction']]],
-  ['loopbound_11981',['loopBound',['../classSVF_1_1SVFLoop.html#ac4e2c365e2a08477381802205029b85c',1,'SVF::SVFLoop::loopBound()'],['../classSVF_1_1Options.html#a17f11eb3e9a3178395e8574a027b181e',1,'SVF::Options::LoopBound()']]],
-  ['lowlink_11982',['lowlink',['../structSVF_1_1VersionedFlowSensitive_1_1SCC_1_1NodeData.html#a6d66813dfb5338c22de62c100e951cf2',1,'SVF::VersionedFlowSensitive::SCC::NodeData']]],
-  ['lsa_11983',['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_11941',['labelToKindMap',['../classSVF_1_1CFLGraphBuilder.html#a1ecf9cad8707ba07d3e44624ea273f2f',1,'SVF::CFLGraphBuilder']]],
+  ['largestregion_11942',['LargestRegion',['../classSVF_1_1NodeIDAllocator_1_1Clusterer.html#a172d72ae4ae45fa2baf2f20ff2b499dc',1,'SVF::NodeIDAllocator::Clusterer']]],
+  ['ldnodeset_11943',['ldnodeSet',['../classSVF_1_1MTASVFGBuilder.html#a6dfa9807255258f324557d188adea9b2',1,'SVF::MTASVFGBuilder']]],
+  ['leakchecker_11944',['LEAKCHECKER',['../saber_8cpp.html#a789415bb7081a399af0d4218ead5e6a5',1,'saber.cpp']]],
+  ['length_11945',['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_11946',['LLVMArgument2SVFArgument',['../classSVF_1_1LLVMModuleSet.html#a852524c71831d7b2da0e9b0b6b191480',1,'SVF::LLVMModuleSet']]],
+  ['llvmbb2svfbb_11947',['LLVMBB2SVFBB',['../classSVF_1_1LLVMModuleSet.html#a0f9b36699b99dfcfe3c1588bfab6b97c',1,'SVF::LLVMModuleSet']]],
+  ['llvmconst2svfconst_11948',['LLVMConst2SVFConst',['../classSVF_1_1LLVMModuleSet.html#a4b94c96898dbbc71bc1cee04786cf3dc',1,'SVF::LLVMModuleSet']]],
+  ['llvmfunc2svffunc_11949',['LLVMFunc2SVFFunc',['../classSVF_1_1LLVMModuleSet.html#a9fd7f0170bffa7c1b927cdb0de98fd15',1,'SVF::LLVMModuleSet']]],
+  ['llvminst2svfinst_11950',['LLVMInst2SVFInst',['../classSVF_1_1LLVMModuleSet.html#a42439790c217254ce5404622b197b3d0',1,'SVF::LLVMModuleSet']]],
+  ['llvmmoduleset_11951',['llvmModuleSet',['../classSVF_1_1LLVMModuleSet.html#ac59b07cafcbacc950eefea4082425b63',1,'SVF::LLVMModuleSet']]],
+  ['llvmtype2svftype_11952',['LLVMType2SVFType',['../classSVF_1_1LLVMModuleSet.html#a067661e0049314779a44c9600420820f',1,'SVF::LLVMModuleSet']]],
+  ['llvmvalue2svfothervalue_11953',['LLVMValue2SVFOtherValue',['../classSVF_1_1LLVMModuleSet.html#ac3e70bd338be3a54330be5dc10321eb3',1,'SVF::LLVMModuleSet']]],
+  ['load2musetmap_11954',['load2MuSetMap',['../classSVF_1_1MemSSA.html#a5cf94edea3a5c35b3c1d9c6ae4b5f9d6',1,'SVF::MemSSA']]],
+  ['loadcgedgeset_11955',['LoadCGEdgeSet',['../classSVF_1_1ConstraintGraph.html#a1cb9124b29720e7a5b39d83419f9cc17',1,'SVF::ConstraintGraph']]],
+  ['loadinedges_11956',['loadInEdges',['../classSVF_1_1ConstraintNode.html#af7343134750575d3f335ed431f13a418',1,'SVF::ConstraintNode']]],
+  ['loadoutedges_11957',['loadOutEdges',['../classSVF_1_1ConstraintNode.html#a85a6acbd708be0dfc63ea87050a4a934',1,'SVF::ConstraintNode']]],
+  ['loadset_11958',['loadset',['../classSVF_1_1MTAAnnotator.html#a469851829bf1105fe8faac44b4abbfdd',1,'SVF::MTAAnnotator']]],
+  ['loadsrcnodes_11959',['loadSrcNodes',['../classSVF_1_1AliasDDAClient.html#a246448efd1ff5da683a6ffe9f759e282',1,'SVF::AliasDDAClient']]],
+  ['loadstomrsmap_11960',['loadsToMRsMap',['../classSVF_1_1MRGenerator.html#a0d8229b1f0b8428708e923d19096e4ba',1,'SVF::MRGenerator']]],
+  ['loadstopointstomap_11961',['loadsToPointsToMap',['../classSVF_1_1MRGenerator.html#af47e15d6b8c15d547a718f3577513975',1,'SVF::MRGenerator']]],
+  ['loadtime_11962',['loadTime',['../classSVF_1_1FlowSensitive.html#aab4f70210eb1e6447a24697d3b459067',1,'SVF::FlowSensitive']]],
+  ['loadtoptcvarmap_11963',['loadToPTCVarMap',['../classSVF_1_1DDAVFSolver.html#a6d62420837fe0c7814fc4da68a91eda4',1,'SVF::DDAVFSolver']]],
+  ['localvarinrecursion_11964',['localVarInRecursion',['../classSVF_1_1PTAStat.html#a5b4095f427c9c7b9ec0db497ba33baea',1,'SVF::PTAStat']]],
+  ['lock_11965',['LOCK',['../classSVF_1_1LockResultValidator.html#a5423c0cf9624c42bcd8a9a8adaa22dcb',1,'SVF::LockResultValidator']]],
+  ['lock_5fimprecise_11966',['LOCK_IMPRECISE',['../classSVF_1_1LockResultValidator.html#a760c0f6f891daa4532a44c6594794bb8',1,'SVF::LockResultValidator']]],
+  ['lock_5ftrue_11967',['LOCK_TRUE',['../classSVF_1_1LockResultValidator.html#a005c38dd07eb66d52066fa1927b1e19f',1,'SVF::LockResultValidator']]],
+  ['lock_5funsound_11968',['LOCK_UNSOUND',['../classSVF_1_1LockResultValidator.html#a03589368482d3f7ee7f6734e257dcbdf',1,'SVF::LockResultValidator']]],
+  ['lockana_11969',['lockana',['../classSVF_1_1MTASVFGBuilder.html#a00bf5aaf3095bb271f2cbd3c35749ce2',1,'SVF::MTASVFGBuilder::lockana()'],['../classSVF_1_1FSMPTA.html#abf8f7645c51f3a8c70ca542de5b7d6c9',1,'SVF::FSMPTA::lockana()']]],
+  ['lockcandidatefuncset_11970',['lockcandidateFuncSet',['../classSVF_1_1LockAnalysis.html#a484eb7b6f49f47a3e71054c3b798a47a',1,'SVF::LockAnalysis']]],
+  ['lockqueriestime_11971',['lockQueriesTime',['../classSVF_1_1LockAnalysis.html#a853ab1a953ddcf76841016a833e43f3d',1,'SVF::LockAnalysis']]],
+  ['locksites_11972',['locksites',['../classSVF_1_1LockAnalysis.html#a87c412a54f48e5314454cd1d44ef9b0e',1,'SVF::LockAnalysis']]],
+  ['lockspan_11973',['lockSpan',['../classSVF_1_1SVFGNodeLockSpan.html#a762505799b9257bbcb766fccdce40fd4',1,'SVF::SVFGNodeLockSpan']]],
+  ['locktime_11974',['lockTime',['../classSVF_1_1LockAnalysis.html#adadee129c04b82576b4ca3c7594cdcb2',1,'SVF::LockAnalysis']]],
+  ['lockvalid_11975',['LockValid',['../classSVF_1_1Options.html#a6c0afceb5db81504930dc6f673bc41ec',1,'SVF::Options']]],
+  ['locmemmodel_11976',['LocMemModel',['../classSVF_1_1Options.html#a198e0d500ae635c709c406bbec604050',1,'SVF::Options']]],
+  ['loctodpmsetmap_11977',['locToDpmSetMap',['../classSVF_1_1DDAVFSolver.html#aa724698d499615bce7caf8f312b746a7',1,'SVF::DDAVFSolver']]],
+  ['lookupcomplements_11978',['lookupComplements',['../classSVF_1_1PersistentPointsToCache.html#a47f4e8ef1461396afb2e1c3cbe055e95',1,'SVF::PersistentPointsToCache']]],
+  ['lookupintersections_11979',['lookupIntersections',['../classSVF_1_1PersistentPointsToCache.html#a15d3235017b35f4a5c668d0b6626faff',1,'SVF::PersistentPointsToCache']]],
+  ['lookupunions_11980',['lookupUnions',['../classSVF_1_1PersistentPointsToCache.html#ace976f138cf1b8ab6bbf7a5c5d0b60b8',1,'SVF::PersistentPointsToCache']]],
+  ['loopanalysis_11981',['LoopAnalysis',['../classSVF_1_1Options.html#abfd13c7d998333290b39354178739f2c',1,'SVF::Options']]],
+  ['loopanddom_11982',['loopAndDom',['../classSVF_1_1SVFFunction.html#aefde3a0671e34541a4ad5d7a6dfaa5d1',1,'SVF::SVFFunction']]],
+  ['loopbound_11983',['loopBound',['../classSVF_1_1SVFLoop.html#ac4e2c365e2a08477381802205029b85c',1,'SVF::SVFLoop::loopBound()'],['../classSVF_1_1Options.html#a17f11eb3e9a3178395e8574a027b181e',1,'SVF::Options::LoopBound()']]],
+  ['lowlink_11984',['lowlink',['../structSVF_1_1VersionedFlowSensitive_1_1SCC_1_1NodeData.html#a6d66813dfb5338c22de62c100e951cf2',1,'SVF::VersionedFlowSensitive::SCC::NodeData']]],
+  ['lsa_11985',['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,60 +1,60 @@
 var searchData=
 [
-  ['m_11984',['M',['../classSVF_1_1RaceResultValidator.html#aedc9ec6c3db947fa7e1ef50fbb61e9a8',1,'SVF::RaceResultValidator']]],
-  ['m_5fcond_11985',['m_cond',['../classSVF_1_1CondVar.html#a90b13685d2126f8c10dde4a504bb28df',1,'SVF::CondVar']]],
-  ['m_5fid_11986',['m_id',['../classSVF_1_1CondVar.html#a26fd04b3f2d45f0c230e1823f3eea49a',1,'SVF::CondVar']]],
-  ['markedclocksonly_11987',['MarkedClocksOnly',['../classSVF_1_1Options.html#abcb6796d45722562546f33b2745a0418',1,'SVF::Options']]],
-  ['maxbvlen_11988',['MaxBVLen',['../classSVF_1_1Options.html#a71461051f5fe6b4cc33103746525b23f',1,'SVF::Options']]],
-  ['maxcontextlen_11989',['MaxContextLen',['../classSVF_1_1Options.html#a6237da3f4e264fa8b63c11d621f39e71',1,'SVF::Options']]],
-  ['maxcxtsize_11990',['MaxCxtSize',['../classSVF_1_1TCT.html#aaae41663b1d1f4d38b047c50c156defb',1,'SVF::TCT']]],
-  ['maxfieldlimit_11991',['MaxFieldLimit',['../classSVF_1_1Options.html#aaab923c093730b1670a54f09340b1bd5',1,'SVF::Options']]],
-  ['maximumbudget_11992',['maximumBudget',['../classSVF_1_1DPItem.html#a5dbb0e6010b38c5b937ff06cb40cd0ef',1,'SVF::DPItem']]],
-  ['maximumcxt_11993',['maximumCxt',['../classSVF_1_1ContextCond.html#a151b9f21eedd4fdd8f46b78bb456582d',1,'SVF::ContextCond']]],
-  ['maximumcxtlen_11994',['maximumCxtLen',['../classSVF_1_1ContextCond.html#a3280db7a2b93612fb693a7c1117acfdd',1,'SVF::ContextCond']]],
-  ['maximumpath_11995',['maximumPath',['../classSVF_1_1ContextCond.html#a7d89351906ef4dff9adb1196f45bc9be',1,'SVF::ContextCond']]],
-  ['maximumpathlen_11996',['maximumPathLen',['../classSVF_1_1ContextCond.html#aa61b4de81e440448daaf0c5be53aebf3',1,'SVF::ContextCond']]],
-  ['maxindegree_11997',['maxInDegree',['../classSVF_1_1SVFGStat.html#a536b591b21756519262873462001f421',1,'SVF::SVFGStat']]],
-  ['maxindindegree_11998',['maxIndInDegree',['../classSVF_1_1SVFGStat.html#a2f1bb17038de877fd1ccffdea3f3cde3',1,'SVF::SVFGStat']]],
-  ['maxindoutdegree_11999',['maxIndOutDegree',['../classSVF_1_1SVFGStat.html#ac7cb2228bd31e8ebdf33ae2bfd399683',1,'SVF::SVFGStat']]],
-  ['maxoffsetlimit_12000',['maxOffsetLimit',['../classSVF_1_1ObjTypeInfo.html#a5ff63eb0654acd152f7d6c18618ee94a',1,'SVF::ObjTypeInfo']]],
-  ['maxoutdegree_12001',['maxOutDegree',['../classSVF_1_1SVFGStat.html#a6694ace7ee1b24b0c5ce42e06e4db2cf',1,'SVF::SVFGStat']]],
-  ['maxpathlen_12002',['MaxPathLen',['../classSVF_1_1Options.html#a63121666a96f6cd2ae56d868c9576a53',1,'SVF::Options']]],
-  ['maxpointstosetsize_12003',['MaxPointsToSetSize',['../classSVF_1_1AndersenBase.html#abd73e930450b7c605f478672bdf9bdae',1,'SVF::AndersenBase']]],
-  ['maxsccsize_12004',['maxSCCSize',['../classSVF_1_1FlowSensitive.html#aa3d4703756a6297ab5c0756172024fe4',1,'SVF::FlowSensitive']]],
-  ['maxstepinwrapper_12005',['MaxStepInWrapper',['../classSVF_1_1Options.html#aab0131558d9da9b0fe888387217ba919',1,'SVF::Options']]],
-  ['maxstruct_12006',['maxStruct',['../classSVF_1_1SymbolTableInfo.html#a0c1143eff451edf8ea47d4487a8d3a55',1,'SVF::SymbolTableInfo']]],
-  ['maxstsize_12007',['maxStSize',['../classSVF_1_1SymbolTableInfo.html#abb8550c9ef856e45cb7675c3796f9a35',1,'SVF::SymbolTableInfo']]],
-  ['maxz3size_12008',['MaxZ3Size',['../classSVF_1_1Options.html#a86f982d9716181bca93a350b5a11a1dc',1,'SVF::Options']]],
-  ['meldlabelingtime_12009',['meldLabelingTime',['../classSVF_1_1VersionedFlowSensitive.html#a4a594c8d6ccaa27b5328c6388fdb258d',1,'SVF::VersionedFlowSensitive']]],
-  ['mem_12010',['mem',['../classSVF_1_1ObjVar.html#a3d08dc1d15a449ff4b7018da4bfdcb88',1,'SVF::ObjVar::mem()'],['../classSVF_1_1SVFBugReport.html#aed1046e4c7559ebdaf57775726645085',1,'SVF::SVFBugReport::mem()']]],
-  ['memobjmap_12011',['memObjMap',['../classSVF_1_1SymbolTableInfoReader.html#a0bf60f2250c864592c507dd6b03800a9',1,'SVF::SymbolTableInfoReader']]],
-  ['memory_5fusage_12012',['memory_usage',['../classSVF_1_1AEStat.html#a2064225a75798a495100eb7da2c880af',1,'SVF::AEStat']]],
-  ['mempar_12013',['MemPar',['../classSVF_1_1Options.html#aa127a32b03e381343c624e53adc4ef2e',1,'SVF::Options']]],
-  ['memregset_12014',['memRegSet',['../classSVF_1_1MRGenerator.html#af94bd8155a23273aab2396334d905119',1,'SVF::MRGenerator']]],
-  ['memssa_12015',['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_12016',['memToFieldsMap',['../classSVF_1_1SVFIR.html#a3c014227661d8976714772205611c252',1,'SVF::SVFIR']]],
-  ['memusage_12017',['memUsage',['../classSVF_1_1AEStat.html#a4b1f6388893e6aaef1acd411972cde19',1,'SVF::AEStat']]],
-  ['mfspta_12018',['mfspta',['../classSVF_1_1FSMPTA.html#af248a80855457ca9e5a7208c114681bb',1,'SVF::FSMPTA']]],
-  ['mhp_12019',['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_12020',['mhpfuns',['../classSVF_1_1PCG.html#a96f91b051a8035b614e015bf4d5081e0',1,'SVF::PCG']]],
-  ['mhptime_12021',['MHPTime',['../classSVF_1_1MTAStat.html#a56411f7e64febab8aab94a4a9207e5d8',1,'SVF::MTAStat']]],
-  ['mod_12022',['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_12023',['ModelArrays',['../classSVF_1_1Options.html#a429c3000ee2ac45119b8c241aa06762c',1,'SVF::Options']]],
-  ['modelconstants_12024',['modelConstants',['../classSVF_1_1SymbolTableInfo.html#ad20ccb90e8f9dee488a8aec0600399dc',1,'SVF::SymbolTableInfo']]],
-  ['modelconsts_12025',['ModelConsts',['../classSVF_1_1Options.html#a18dd95e01a50aa82165c46a3801053c5',1,'SVF::Options']]],
-  ['module_12026',['module',['../classSVF_1_1DDAClient.html#a4ac68012099540beb87ee4700e824d64',1,'SVF::DDAClient']]],
-  ['moduleflagvalue_12027',['moduleFlagValue',['../namespaceSVF_1_1cppUtil_1_1ctir.html#a05c7c51164928786d70713094db7f3f3',1,'SVF::cppUtil::ctir']]],
-  ['moduleidentifier_12028',['moduleIdentifier',['../classSVF_1_1SVFModule.html#ac40e98040f949171279afec54bb03f71',1,'SVF::SVFModule']]],
-  ['modulename_12029',['moduleName',['../classSVF_1_1SVFStat.html#a3333e45303dcc9c3da00858628cdbbff',1,'SVF::SVFStat']]],
-  ['modules_12030',['modules',['../classSVF_1_1LLVMModuleSet.html#acde6292e719c80f93d3d1c344ab442cd',1,'SVF::LLVMModuleSet']]],
-  ['mr_12031',['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_12032',['mr2CounterMap',['../classSVF_1_1MemSSA.html#a22e2dd0fc78877bdedd207a40540a634',1,'SVF::MemSSA']]],
-  ['mr2verstackmap_12033',['mr2VerStackMap',['../classSVF_1_1MemSSA.html#ae4c7b17d8da8278dca362af79f9f268d',1,'SVF::MemSSA']]],
-  ['mrgen_12034',['mrGen',['../classSVF_1_1MemSSA.html#a213ebe634bbdbe33460ccd941c1dc6a5',1,'SVF::MemSSA']]],
-  ['mssa_12035',['mssa',['../classSVF_1_1SVFG.html#aa6a563cab8678b2256ca6ae7838285c8',1,'SVF::SVFG::mssa()'],['../classSVF_1_1MemSSAStat.html#ab29515f4e5b1f090c06a6e39761d3394',1,'SVF::MemSSAStat::mssa()']]],
-  ['mssafun_12036',['MSSAFun',['../classSVF_1_1Options.html#aa8818e8138233838af224d4214de9e8f',1,'SVF::Options']]],
-  ['mssavartodefmap_12037',['MSSAVarToDefMap',['../classSVF_1_1SVFG.html#aafa1b445bd3578daaba8f82e517745f1',1,'SVF::SVFG']]],
-  ['multiforked_12038',['multiforked',['../classSVF_1_1TCTNode.html#a414f4b98fb8fd36d2cb381ff56eb98d8',1,'SVF::TCTNode']]],
-  ['multiopndlabelcounter_12039',['multiOpndLabelCounter',['../classSVF_1_1SVFStmt.html#a9ea22adbfc307dddee42ffec07cc88ed',1,'SVF::SVFStmt']]],
-  ['mutptdata_12040',['mutPTData',['../classSVF_1_1MutableDiffPTData.html#a3603cb4baf60b1aa83b7807ac5591484',1,'SVF::MutableDiffPTData::mutPTData()'],['../classSVF_1_1MutableDFPTData.html#acf40f716470f73095d44a1b9e3bb939e',1,'SVF::MutableDFPTData::mutPTData()']]]
+  ['m_11986',['M',['../classSVF_1_1RaceResultValidator.html#aedc9ec6c3db947fa7e1ef50fbb61e9a8',1,'SVF::RaceResultValidator']]],
+  ['m_5fcond_11987',['m_cond',['../classSVF_1_1CondVar.html#a90b13685d2126f8c10dde4a504bb28df',1,'SVF::CondVar']]],
+  ['m_5fid_11988',['m_id',['../classSVF_1_1CondVar.html#a26fd04b3f2d45f0c230e1823f3eea49a',1,'SVF::CondVar']]],
+  ['markedclocksonly_11989',['MarkedClocksOnly',['../classSVF_1_1Options.html#abcb6796d45722562546f33b2745a0418',1,'SVF::Options']]],
+  ['maxbvlen_11990',['MaxBVLen',['../classSVF_1_1Options.html#a71461051f5fe6b4cc33103746525b23f',1,'SVF::Options']]],
+  ['maxcontextlen_11991',['MaxContextLen',['../classSVF_1_1Options.html#a6237da3f4e264fa8b63c11d621f39e71',1,'SVF::Options']]],
+  ['maxcxtsize_11992',['MaxCxtSize',['../classSVF_1_1TCT.html#aaae41663b1d1f4d38b047c50c156defb',1,'SVF::TCT']]],
+  ['maxfieldlimit_11993',['MaxFieldLimit',['../classSVF_1_1Options.html#aaab923c093730b1670a54f09340b1bd5',1,'SVF::Options']]],
+  ['maximumbudget_11994',['maximumBudget',['../classSVF_1_1DPItem.html#a5dbb0e6010b38c5b937ff06cb40cd0ef',1,'SVF::DPItem']]],
+  ['maximumcxt_11995',['maximumCxt',['../classSVF_1_1ContextCond.html#a151b9f21eedd4fdd8f46b78bb456582d',1,'SVF::ContextCond']]],
+  ['maximumcxtlen_11996',['maximumCxtLen',['../classSVF_1_1ContextCond.html#a3280db7a2b93612fb693a7c1117acfdd',1,'SVF::ContextCond']]],
+  ['maximumpath_11997',['maximumPath',['../classSVF_1_1ContextCond.html#a7d89351906ef4dff9adb1196f45bc9be',1,'SVF::ContextCond']]],
+  ['maximumpathlen_11998',['maximumPathLen',['../classSVF_1_1ContextCond.html#aa61b4de81e440448daaf0c5be53aebf3',1,'SVF::ContextCond']]],
+  ['maxindegree_11999',['maxInDegree',['../classSVF_1_1SVFGStat.html#a536b591b21756519262873462001f421',1,'SVF::SVFGStat']]],
+  ['maxindindegree_12000',['maxIndInDegree',['../classSVF_1_1SVFGStat.html#a2f1bb17038de877fd1ccffdea3f3cde3',1,'SVF::SVFGStat']]],
+  ['maxindoutdegree_12001',['maxIndOutDegree',['../classSVF_1_1SVFGStat.html#ac7cb2228bd31e8ebdf33ae2bfd399683',1,'SVF::SVFGStat']]],
+  ['maxoffsetlimit_12002',['maxOffsetLimit',['../classSVF_1_1ObjTypeInfo.html#a5ff63eb0654acd152f7d6c18618ee94a',1,'SVF::ObjTypeInfo']]],
+  ['maxoutdegree_12003',['maxOutDegree',['../classSVF_1_1SVFGStat.html#a6694ace7ee1b24b0c5ce42e06e4db2cf',1,'SVF::SVFGStat']]],
+  ['maxpathlen_12004',['MaxPathLen',['../classSVF_1_1Options.html#a63121666a96f6cd2ae56d868c9576a53',1,'SVF::Options']]],
+  ['maxpointstosetsize_12005',['MaxPointsToSetSize',['../classSVF_1_1AndersenBase.html#abd73e930450b7c605f478672bdf9bdae',1,'SVF::AndersenBase']]],
+  ['maxsccsize_12006',['maxSCCSize',['../classSVF_1_1FlowSensitive.html#aa3d4703756a6297ab5c0756172024fe4',1,'SVF::FlowSensitive']]],
+  ['maxstepinwrapper_12007',['MaxStepInWrapper',['../classSVF_1_1Options.html#aab0131558d9da9b0fe888387217ba919',1,'SVF::Options']]],
+  ['maxstruct_12008',['maxStruct',['../classSVF_1_1SymbolTableInfo.html#a0c1143eff451edf8ea47d4487a8d3a55',1,'SVF::SymbolTableInfo']]],
+  ['maxstsize_12009',['maxStSize',['../classSVF_1_1SymbolTableInfo.html#abb8550c9ef856e45cb7675c3796f9a35',1,'SVF::SymbolTableInfo']]],
+  ['maxz3size_12010',['MaxZ3Size',['../classSVF_1_1Options.html#a86f982d9716181bca93a350b5a11a1dc',1,'SVF::Options']]],
+  ['meldlabelingtime_12011',['meldLabelingTime',['../classSVF_1_1VersionedFlowSensitive.html#a4a594c8d6ccaa27b5328c6388fdb258d',1,'SVF::VersionedFlowSensitive']]],
+  ['mem_12012',['mem',['../classSVF_1_1ObjVar.html#a3d08dc1d15a449ff4b7018da4bfdcb88',1,'SVF::ObjVar::mem()'],['../classSVF_1_1SVFBugReport.html#aed1046e4c7559ebdaf57775726645085',1,'SVF::SVFBugReport::mem()']]],
+  ['memobjmap_12013',['memObjMap',['../classSVF_1_1SymbolTableInfoReader.html#a0bf60f2250c864592c507dd6b03800a9',1,'SVF::SymbolTableInfoReader']]],
+  ['memory_5fusage_12014',['memory_usage',['../classSVF_1_1AEStat.html#a2064225a75798a495100eb7da2c880af',1,'SVF::AEStat']]],
+  ['mempar_12015',['MemPar',['../classSVF_1_1Options.html#aa127a32b03e381343c624e53adc4ef2e',1,'SVF::Options']]],
+  ['memregset_12016',['memRegSet',['../classSVF_1_1MRGenerator.html#af94bd8155a23273aab2396334d905119',1,'SVF::MRGenerator']]],
+  ['memssa_12017',['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_12018',['memToFieldsMap',['../classSVF_1_1SVFIR.html#a3c014227661d8976714772205611c252',1,'SVF::SVFIR']]],
+  ['memusage_12019',['memUsage',['../classSVF_1_1AEStat.html#a4b1f6388893e6aaef1acd411972cde19',1,'SVF::AEStat']]],
+  ['mfspta_12020',['mfspta',['../classSVF_1_1FSMPTA.html#af248a80855457ca9e5a7208c114681bb',1,'SVF::FSMPTA']]],
+  ['mhp_12021',['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_12022',['mhpfuns',['../classSVF_1_1PCG.html#a96f91b051a8035b614e015bf4d5081e0',1,'SVF::PCG']]],
+  ['mhptime_12023',['MHPTime',['../classSVF_1_1MTAStat.html#a56411f7e64febab8aab94a4a9207e5d8',1,'SVF::MTAStat']]],
+  ['mod_12024',['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_12025',['ModelArrays',['../classSVF_1_1Options.html#a429c3000ee2ac45119b8c241aa06762c',1,'SVF::Options']]],
+  ['modelconstants_12026',['modelConstants',['../classSVF_1_1SymbolTableInfo.html#ad20ccb90e8f9dee488a8aec0600399dc',1,'SVF::SymbolTableInfo']]],
+  ['modelconsts_12027',['ModelConsts',['../classSVF_1_1Options.html#a18dd95e01a50aa82165c46a3801053c5',1,'SVF::Options']]],
+  ['module_12028',['module',['../classSVF_1_1DDAClient.html#a4ac68012099540beb87ee4700e824d64',1,'SVF::DDAClient']]],
+  ['moduleflagvalue_12029',['moduleFlagValue',['../namespaceSVF_1_1cppUtil_1_1ctir.html#a05c7c51164928786d70713094db7f3f3',1,'SVF::cppUtil::ctir']]],
+  ['moduleidentifier_12030',['moduleIdentifier',['../classSVF_1_1SVFModule.html#ac40e98040f949171279afec54bb03f71',1,'SVF::SVFModule']]],
+  ['modulename_12031',['moduleName',['../classSVF_1_1SVFStat.html#a3333e45303dcc9c3da00858628cdbbff',1,'SVF::SVFStat']]],
+  ['modules_12032',['modules',['../classSVF_1_1LLVMModuleSet.html#acde6292e719c80f93d3d1c344ab442cd',1,'SVF::LLVMModuleSet']]],
+  ['mr_12033',['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_12034',['mr2CounterMap',['../classSVF_1_1MemSSA.html#a22e2dd0fc78877bdedd207a40540a634',1,'SVF::MemSSA']]],
+  ['mr2verstackmap_12035',['mr2VerStackMap',['../classSVF_1_1MemSSA.html#ae4c7b17d8da8278dca362af79f9f268d',1,'SVF::MemSSA']]],
+  ['mrgen_12036',['mrGen',['../classSVF_1_1MemSSA.html#a213ebe634bbdbe33460ccd941c1dc6a5',1,'SVF::MemSSA']]],
+  ['mssa_12037',['mssa',['../classSVF_1_1SVFG.html#aa6a563cab8678b2256ca6ae7838285c8',1,'SVF::SVFG::mssa()'],['../classSVF_1_1MemSSAStat.html#ab29515f4e5b1f090c06a6e39761d3394',1,'SVF::MemSSAStat::mssa()']]],
+  ['mssafun_12038',['MSSAFun',['../classSVF_1_1Options.html#aa8818e8138233838af224d4214de9e8f',1,'SVF::Options']]],
+  ['mssavartodefmap_12039',['MSSAVarToDefMap',['../classSVF_1_1SVFG.html#aafa1b445bd3578daaba8f82e517745f1',1,'SVF::SVFG']]],
+  ['multiforked_12040',['multiforked',['../classSVF_1_1TCTNode.html#a414f4b98fb8fd36d2cb381ff56eb98d8',1,'SVF::TCTNode']]],
+  ['multiopndlabelcounter_12041',['multiOpndLabelCounter',['../classSVF_1_1SVFStmt.html#a9ea22adbfc307dddee42ffec07cc88ed',1,'SVF::SVFStmt']]],
+  ['mutptdata_12042',['mutPTData',['../classSVF_1_1MutableDiffPTData.html#a3603cb4baf60b1aa83b7807ac5591484',1,'SVF::MutableDiffPTData::mutPTData()'],['../classSVF_1_1MutableDFPTData.html#acf40f716470f73095d44a1b9e3bb939e',1,'SVF::MutableDFPTData::mutPTData()']]]
 ];