svf-tools 1.0.799 → 1.0.800

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

@@ -1,80 +1,80 @@
 var searchData=
 [
-  ['i_11351',['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_11352',['I1',['../classSVF_1_1RaceResultValidator_1_1AccessPair.html#a2f6817c4f04b090ff8ebff68cafa5892',1,'SVF::RaceResultValidator::AccessPair']]],
-  ['i2_11353',['I2',['../classSVF_1_1RaceResultValidator_1_1AccessPair.html#a4759b40288c232686465893d988697f3',1,'SVF::RaceResultValidator::AccessPair']]],
-  ['icfg_11354',['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_11355',['icfgNode',['../classSVF_1_1VFGNode.html#a54c631f1e39be144c0cd25373f6b98b8',1,'SVF::VFGNode::icfgNode()'],['../classSVF_1_1SVFStmt.html#a50046a1500ec6e2819ef55162e70cc71',1,'SVF::SVFStmt::icfgNode()']]],
-  ['icfgnode2ptasvfstmtsmap_11356',['icfgNode2PTASVFStmtsMap',['../classSVF_1_1SVFIR.html#aaae756185bbd5b7175e96f8928a989c2',1,'SVF::SVFIR']]],
-  ['icfgnode2svfstmtsmap_11357',['icfgNode2SVFStmtsMap',['../classSVF_1_1SVFIR.html#a86c0c23d854b034d741d9d8891debab7',1,'SVF::SVFIR']]],
-  ['icfgnodes_11358',['icfgNodes',['../classSVF_1_1SVFLoop.html#a062e4b336b9b8315a9fc1107c9cab840',1,'SVF::SVFLoop']]],
-  ['icfgnodetosvfloopvec_11359',['icfgNodeToSVFLoopVec',['../classSVF_1_1ICFG.html#a7d6aeecb00d77600a204a72d60023d54',1,'SVF::ICFG']]],
-  ['icfgreader_11360',['icfgReader',['../classSVF_1_1SVFIRReader.html#aa1100e216d94eb445f59125e94815fd7',1,'SVF::SVFIRReader']]],
-  ['icfgwriter_11361',['icfgWriter',['../classSVF_1_1SVFIRWriter.html#aba5c3c3b62687a28301e9c65555e57f9',1,'SVF::SVFIRWriter']]],
-  ['id_11362',['id',['../structSVF_1_1POCRHybridSolver_1_1TreeNode.html#a365d77cf4f71a53d06417f294a67048b',1,'SVF::POCRHybridSolver::TreeNode::id()'],['../classSVF_1_1GenericNode.html#aaa53457604fe4cf4cb97ca85d33907b0',1,'SVF::GenericNode::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()']]],
-  ['idcounter_11363',['idCounter',['../classSVF_1_1PersistentPointsToCache.html#ad8d24772f7503e0e735f546506d2bcc5',1,'SVF::PersistentPointsToCache']]],
-  ['idmap_11364',['idMap',['../classSVF_1_1ReaderIDToObjMap.html#a3ed6e858fd91ec6cf14361b55dec55b4',1,'SVF::ReaderIDToObjMap']]],
-  ['idtocsmap_11365',['idToCSMap',['../classSVF_1_1PTACallGraph.html#a5d6f63baad19589a9fd1e069631e18fa',1,'SVF::PTACallGraph']]],
-  ['idtonodemap_11366',['idToNodeMap',['../classSVF_1_1GenericGraphReader.html#a2fc2248a433201314c636856603cb3fa',1,'SVF::GenericGraphReader::idToNodeMap()'],['../classSVF_1_1GenericGraph.html#a47a1ef8b67b0c92f78b4457dc3bbfe71',1,'SVF::GenericGraph::IDToNodeMap()']]],
-  ['idtopts_11367',['idToPts',['../classSVF_1_1PersistentPointsToCache.html#a32009561c9d3a340ec4e6230ef17f998',1,'SVF::PersistentPointsToCache']]],
-  ['idtoterminstmap_11368',['idToTermInstMap',['../classSVF_1_1SaberCondAllocator.html#aee401aa2c7884888bbd26544bcd92881',1,'SVF::SaberCondAllocator']]],
-  ['ignoredeadfun_11369',['IgnoreDeadFun',['../classSVF_1_1Options.html#a00f3c4c53e6ade73f7667231c394c5d7',1,'SVF::Options']]],
-  ['incdfptdata_11370',['INCDFPTData',['../classSVF_1_1Options.html#a1743b8a1ab2d71c35206c7befa725d90',1,'SVF::Options']]],
-  ['incfledges_11371',['inCFLEdges',['../classSVF_1_1CFLNode.html#a3a7d1ea890272e9905406638b12bdc30',1,'SVF::CFLNode']]],
-  ['incycle_11372',['incycle',['../classSVF_1_1CxtThread.html#a97d876697e682b23211a8f930fed7f32',1,'SVF::CxtThread']]],
-  ['indcallsitetofunptrmap_11373',['indCallSiteToFunPtrMap',['../classSVF_1_1SVFIR.html#a0a5f88766b7e11f1ea35befcbcea62dc',1,'SVF::SVFIR']]],
-  ['index_11374',['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_11375',['IndirectCallLimit',['../classSVF_1_1Options.html#aa5bae1db07c401517c1c0f8fd9f2deef',1,'SVF::Options']]],
-  ['indirectcallmap_11376',['indirectCallMap',['../classSVF_1_1PTACallGraph.html#adcae44bd6788954e2e4e007bff03462c',1,'SVF::PTACallGraph']]],
-  ['indirectcalls_11377',['indirectCalls',['../classSVF_1_1PTACallGraphEdge.html#a66491523e4ccfdf2ff57e10cfd6f3074',1,'SVF::PTACallGraphEdge']]],
-  ['indirectpropatime_11378',['indirectPropaTime',['../classSVF_1_1FlowSensitive.html#a2feaa4b7a72989b311e9084a81320254',1,'SVF::FlowSensitive']]],
-  ['indmap_11379',['indMap',['../classSVF_1_1POCRHybridSolver.html#acaf3ed69888f4a3862dddf0de7508455',1,'SVF::POCRHybridSolver']]],
-  ['inedgekindtosetmap_11380',['InEdgeKindToSetMap',['../classSVF_1_1SVFVar.html#a0d918a6c8dd3b7b395d4c7161bcf9656',1,'SVF::SVFVar']]],
-  ['inedges_11381',['InEdges',['../classSVF_1_1CFBasicBlockNode.html#a7b1db0644849e066137c162e24026b67',1,'SVF::CFBasicBlockNode::InEdges()'],['../classSVF_1_1GenericNode.html#a24971168130222400d9aa5f03610bff5',1,'SVF::GenericNode::InEdges()']]],
-  ['inicfgedges_11382',['inICFGEdges',['../classSVF_1_1SVFLoop.html#a869a289f556304706f525f02ba9bff98',1,'SVF::SVFLoop']]],
-  ['inloop_11383',['inloop',['../classSVF_1_1CxtThread.html#a2066520689094db3c4a88f5a7fc4ec0c',1,'SVF::CxtThread']]],
-  ['inrecurjoinsites_11384',['inRecurJoinSites',['../classSVF_1_1TCT.html#a1b3872361dc17aaea359db8ce0cc2431',1,'SVF::TCT']]],
-  ['insencycle_11385',['InsenCycle',['../classSVF_1_1Options.html#a0c5d08f13bd41095afb3b60c7ffad0e0',1,'SVF::Options']]],
-  ['insenrecur_11386',['InsenRecur',['../classSVF_1_1Options.html#aeab702f641fd13ee1d0f89837097e43b',1,'SVF::Options']]],
-  ['insensitveedges_11387',['insensitveEdges',['../classSVF_1_1ContextDDA.html#a942e79dced48bd284a58540a2fb778b9',1,'SVF::ContextDDA']]],
-  ['inst_11388',['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_11389',['inst2LabelMap',['../classSVF_1_1SVFStmt.html#abb83549118bcd7216a053d82f7180d1c',1,'SVF::SVFStmt']]],
-  ['instcilocksmap_11390',['instCILocksMap',['../classSVF_1_1LockAnalysis.html#a277d88153d34cf3eb80272003949e4ef',1,'SVF::LockAnalysis']]],
-  ['insttoblocknodemap_11391',['InstToBlockNodeMap',['../classSVF_1_1ICFG.html#a23f905d849553d7ad652e9a8f1bfacd1',1,'SVF::ICFG']]],
-  ['insttocondcilocksmap_11392',['instTocondCILocksMap',['../classSVF_1_1LockAnalysis.html#a5a4167dd5dbd0017a4725c8774a5b522',1,'SVF::LockAnalysis']]],
-  ['insttocxtlockset_11393',['instToCxtLockSet',['../classSVF_1_1LockResultValidator.html#a841c1dfb065999215b5f415e403f7a2a',1,'SVF::LockResultValidator']]],
-  ['insttocxtstmtset_11394',['instToCxtStmtSet',['../classSVF_1_1LockAnalysis.html#ae8715683c7dfddc7b30caf6bf2b78296',1,'SVF::LockAnalysis']]],
-  ['insttotsmap_11395',['instToTSMap',['../classSVF_1_1MTAResultValidator.html#a8452bf182f6f1e0f4c239f620ee803b1',1,'SVF::MTAResultValidator::instToTSMap()'],['../classSVF_1_1MHP.html#a6b238ee6342da990840162845bba547f',1,'SVF::MHP::instToTSMap()']]],
-  ['interleavingqueriestime_11396',['interleavingQueriesTime',['../classSVF_1_1MHP.html#ab7d9fe837844197b7acdc0493a50aaa5',1,'SVF::MHP']]],
-  ['interleavingtime_11397',['interleavingTime',['../classSVF_1_1MHP.html#aca306b97c6dcd47a8f407038436473a2',1,'SVF::MHP']]],
-  ['interlev_5faccess_11398',['INTERLEV_ACCESS',['../classSVF_1_1MTAResultValidator.html#ad3c052835b34f2897089d1edc2548bae',1,'SVF::MTAResultValidator']]],
-  ['interlev_5fimprecise_11399',['INTERLEV_IMPRECISE',['../classSVF_1_1MTAResultValidator.html#a80414f4ba70357742fa0269f93f1a910',1,'SVF::MTAResultValidator']]],
-  ['interlev_5ftrue_11400',['INTERLEV_TRUE',['../classSVF_1_1MTAResultValidator.html#a5a6e2f2d1d6aa6fb3a83455b5a288ff1',1,'SVF::MTAResultValidator']]],
-  ['interlev_5funsound_11401',['INTERLEV_UNSOUND',['../classSVF_1_1MTAResultValidator.html#a0e2fb93a69df487606c0eeaeadab805d',1,'SVF::MTAResultValidator']]],
-  ['inters_11402',['inters',['../classSVF_1_1InterDisjointMRG.html#a104134d0f7c8b16abe8f5f3899c3bbf0',1,'SVF::InterDisjointMRG']]],
-  ['intersectioncache_11403',['intersectionCache',['../classSVF_1_1PersistentPointsToCache.html#a525fbb49c91040c078fbcaaae2339ef2',1,'SVF::PersistentPointsToCache']]],
-  ['intralock_11404',['IntraLock',['../classSVF_1_1Options.html#af6d92cd4372cd952e6d955cfc9be0ccb',1,'SVF::Options']]],
-  ['intrinsic_11405',['intrinsic',['../classSVF_1_1SVFFunction.html#a037b2583aa8d15ceeb630eaad41a36a3',1,'SVF::SVFFunction']]],
-  ['inupdatedvarmap_11406',['inUpdatedVarMap',['../classSVF_1_1MutableIncDFPTData.html#ab5e9ebf9e71652b5fa63d59c97d016e4',1,'SVF::MutableIncDFPTData::inUpdatedVarMap()'],['../classSVF_1_1PersistentIncDFPTData.html#a106391cd8eefab1740b54cd9bbacccad',1,'SVF::PersistentIncDFPTData::inUpdatedVarMap()']]],
-  ['invalidversion_11407',['invalidVersion',['../classSVF_1_1VersionedFlowSensitive.html#a3d44a343a2e3f5d276fd1b069c92e112',1,'SVF::VersionedFlowSensitive']]],
-  ['irgraphreader_11408',['irGraphReader',['../classSVF_1_1SVFIRReader.html#a0dbb50e2c4a8806a741e0c4173c445b8',1,'SVF::SVFIRReader']]],
-  ['irgraphwriter_11409',['irGraphWriter',['../classSVF_1_1SVFIRWriter.html#a997a5339fcb177556819b2e27b17b424',1,'SVF::SVFIRWriter']]],
-  ['is_5fiterable_5fv_11410',['is_iterable_v',['../namespaceSVF_1_1SVFUtil.html#aa32219da7a5c3d7517ec5026afdac588',1,'SVF::SVFUtil']]],
-  ['is_5fmap_5fv_11411',['is_map_v',['../namespaceSVF_1_1SVFUtil.html#a8c57ab480c497cbd21a49778d0e59bd5',1,'SVF::SVFUtil']]],
-  ['is_5fsequence_5fcontainer_5fv_11412',['is_sequence_container_v',['../namespaceSVF_1_1SVFUtil.html#a811faa9c2095f44e3e5b6e50aa6f6e06',1,'SVF::SVFUtil']]],
-  ['is_5fset_5fv_11413',['is_set_v',['../namespaceSVF_1_1SVFUtil.html#a08e67d68b1da116b2c51cb60bdb6dae2',1,'SVF::SVFUtil']]],
-  ['isdecl_11414',['isDecl',['../classSVF_1_1SVFFunction.html#a52581d00177fd5853d6f9de50b3e7fb9',1,'SVF::SVFFunction']]],
-  ['isexplicitlyset_11415',['isExplicitlySet',['../classOption.html#a980a99e59afae6419a9b15f7606d83dc',1,'Option::isExplicitlySet()'],['../classOptionMap.html#a9efba3b88013aa1745f47ab42d71c726',1,'OptionMap::isExplicitlySet()']]],
-  ['isloadmap_11416',['isLoadMap',['../classSVF_1_1VersionedFlowSensitive.html#a6bb3db072db0b899f306b37f1146f83d',1,'SVF::VersionedFlowSensitive']]],
-  ['isnotret_11417',['isNotRet',['../classSVF_1_1SVFFunction.html#ac85bdf04fd784e22a89426955d28e3d6',1,'SVF::SVFFunction']]],
-  ['isptr_11418',['isPtr',['../classSVF_1_1SVFVar.html#a7c8ffadedbf53d30694feeb7771990af',1,'SVF::SVFVar']]],
-  ['issimple_11419',['IsSimple',['../structSVF_1_1DefaultDOTGraphTraits.html#abf5957e894bacd69c9ead5a80a330626',1,'SVF::DefaultDOTGraphTraits']]],
-  ['issinglevalty_11420',['isSingleValTy',['../classSVF_1_1SVFType.html#ac26ba9052149b5b792aa8e8c3ccfd350',1,'SVF::SVFType']]],
-  ['isstoremap_11421',['isStoreMap',['../classSVF_1_1VersionedFlowSensitive.html#a18e25c3871d7cc1a6bb0592ceca90f88',1,'SVF::VersionedFlowSensitive']]],
-  ['isthunkfunc_11422',['isThunkFunc',['../structSVF_1_1cppUtil_1_1DemangledName.html#af6117df8aec7f4c077058fa8f00b0243',1,'SVF::cppUtil::DemangledName']]],
-  ['isuncalled_11423',['isUncalled',['../classSVF_1_1SVFFunction.html#a1e9dc1d660e3626540b7501194bb12ea',1,'SVF::SVFFunction']]],
-  ['item_11424',['item',['../cJSON_8h.html#ac76cea59d438ba893d2f82aabb367d14',1,'item(): cJSON.h'],['../cJSON_8cpp.html#ac011de571ff16ba220d2e0d757e4e8b0',1,'item(): cJSON.cpp']]],
-  ['iter_11425',['Iter',['../classSVF_1_1SparseBitVector_1_1SparseBitVectorIterator.html#a3627077086baa18bd0ae25efd981c18f',1,'SVF::SparseBitVector::SparseBitVectorIterator']]],
-  ['iter_5ffacade_5fbase_11426',['iter_facade_base',['../classSVF_1_1iter__facade__base_1_1ReferenceProxy.html#ab4717ea89d08ac05464fa95bc7f50ac6',1,'SVF::iter_facade_base::ReferenceProxy']]],
-  ['iterationforprintstat_11427',['iterationForPrintStat',['../classSVF_1_1WPASolver.html#aa7c0636780a86f376e9222bce771e859',1,'SVF::WPASolver']]]
+  ['i_11353',['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_11354',['I1',['../classSVF_1_1RaceResultValidator_1_1AccessPair.html#a2f6817c4f04b090ff8ebff68cafa5892',1,'SVF::RaceResultValidator::AccessPair']]],
+  ['i2_11355',['I2',['../classSVF_1_1RaceResultValidator_1_1AccessPair.html#a4759b40288c232686465893d988697f3',1,'SVF::RaceResultValidator::AccessPair']]],
+  ['icfg_11356',['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_11357',['icfgNode',['../classSVF_1_1VFGNode.html#a54c631f1e39be144c0cd25373f6b98b8',1,'SVF::VFGNode::icfgNode()'],['../classSVF_1_1SVFStmt.html#a50046a1500ec6e2819ef55162e70cc71',1,'SVF::SVFStmt::icfgNode()']]],
+  ['icfgnode2ptasvfstmtsmap_11358',['icfgNode2PTASVFStmtsMap',['../classSVF_1_1SVFIR.html#aaae756185bbd5b7175e96f8928a989c2',1,'SVF::SVFIR']]],
+  ['icfgnode2svfstmtsmap_11359',['icfgNode2SVFStmtsMap',['../classSVF_1_1SVFIR.html#a86c0c23d854b034d741d9d8891debab7',1,'SVF::SVFIR']]],
+  ['icfgnodes_11360',['icfgNodes',['../classSVF_1_1SVFLoop.html#a062e4b336b9b8315a9fc1107c9cab840',1,'SVF::SVFLoop']]],
+  ['icfgnodetosvfloopvec_11361',['icfgNodeToSVFLoopVec',['../classSVF_1_1ICFG.html#a7d6aeecb00d77600a204a72d60023d54',1,'SVF::ICFG']]],
+  ['icfgreader_11362',['icfgReader',['../classSVF_1_1SVFIRReader.html#aa1100e216d94eb445f59125e94815fd7',1,'SVF::SVFIRReader']]],
+  ['icfgwriter_11363',['icfgWriter',['../classSVF_1_1SVFIRWriter.html#aba5c3c3b62687a28301e9c65555e57f9',1,'SVF::SVFIRWriter']]],
+  ['id_11364',['id',['../structSVF_1_1POCRHybridSolver_1_1TreeNode.html#a365d77cf4f71a53d06417f294a67048b',1,'SVF::POCRHybridSolver::TreeNode::id()'],['../classSVF_1_1GenericNode.html#aaa53457604fe4cf4cb97ca85d33907b0',1,'SVF::GenericNode::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()']]],
+  ['idcounter_11365',['idCounter',['../classSVF_1_1PersistentPointsToCache.html#ad8d24772f7503e0e735f546506d2bcc5',1,'SVF::PersistentPointsToCache']]],
+  ['idmap_11366',['idMap',['../classSVF_1_1ReaderIDToObjMap.html#a3ed6e858fd91ec6cf14361b55dec55b4',1,'SVF::ReaderIDToObjMap']]],
+  ['idtocsmap_11367',['idToCSMap',['../classSVF_1_1PTACallGraph.html#a5d6f63baad19589a9fd1e069631e18fa',1,'SVF::PTACallGraph']]],
+  ['idtonodemap_11368',['idToNodeMap',['../classSVF_1_1GenericGraphReader.html#a2fc2248a433201314c636856603cb3fa',1,'SVF::GenericGraphReader::idToNodeMap()'],['../classSVF_1_1GenericGraph.html#a47a1ef8b67b0c92f78b4457dc3bbfe71',1,'SVF::GenericGraph::IDToNodeMap()']]],
+  ['idtopts_11369',['idToPts',['../classSVF_1_1PersistentPointsToCache.html#a32009561c9d3a340ec4e6230ef17f998',1,'SVF::PersistentPointsToCache']]],
+  ['idtoterminstmap_11370',['idToTermInstMap',['../classSVF_1_1SaberCondAllocator.html#aee401aa2c7884888bbd26544bcd92881',1,'SVF::SaberCondAllocator']]],
+  ['ignoredeadfun_11371',['IgnoreDeadFun',['../classSVF_1_1Options.html#a00f3c4c53e6ade73f7667231c394c5d7',1,'SVF::Options']]],
+  ['incdfptdata_11372',['INCDFPTData',['../classSVF_1_1Options.html#a1743b8a1ab2d71c35206c7befa725d90',1,'SVF::Options']]],
+  ['incfledges_11373',['inCFLEdges',['../classSVF_1_1CFLNode.html#a3a7d1ea890272e9905406638b12bdc30',1,'SVF::CFLNode']]],
+  ['incycle_11374',['incycle',['../classSVF_1_1CxtThread.html#a97d876697e682b23211a8f930fed7f32',1,'SVF::CxtThread']]],
+  ['indcallsitetofunptrmap_11375',['indCallSiteToFunPtrMap',['../classSVF_1_1SVFIR.html#a0a5f88766b7e11f1ea35befcbcea62dc',1,'SVF::SVFIR']]],
+  ['index_11376',['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_11377',['IndirectCallLimit',['../classSVF_1_1Options.html#aa5bae1db07c401517c1c0f8fd9f2deef',1,'SVF::Options']]],
+  ['indirectcallmap_11378',['indirectCallMap',['../classSVF_1_1PTACallGraph.html#adcae44bd6788954e2e4e007bff03462c',1,'SVF::PTACallGraph']]],
+  ['indirectcalls_11379',['indirectCalls',['../classSVF_1_1PTACallGraphEdge.html#a66491523e4ccfdf2ff57e10cfd6f3074',1,'SVF::PTACallGraphEdge']]],
+  ['indirectpropatime_11380',['indirectPropaTime',['../classSVF_1_1FlowSensitive.html#a2feaa4b7a72989b311e9084a81320254',1,'SVF::FlowSensitive']]],
+  ['indmap_11381',['indMap',['../classSVF_1_1POCRHybridSolver.html#acaf3ed69888f4a3862dddf0de7508455',1,'SVF::POCRHybridSolver']]],
+  ['inedgekindtosetmap_11382',['InEdgeKindToSetMap',['../classSVF_1_1SVFVar.html#a0d918a6c8dd3b7b395d4c7161bcf9656',1,'SVF::SVFVar']]],
+  ['inedges_11383',['InEdges',['../classSVF_1_1CFBasicBlockNode.html#a7b1db0644849e066137c162e24026b67',1,'SVF::CFBasicBlockNode::InEdges()'],['../classSVF_1_1GenericNode.html#a24971168130222400d9aa5f03610bff5',1,'SVF::GenericNode::InEdges()']]],
+  ['inicfgedges_11384',['inICFGEdges',['../classSVF_1_1SVFLoop.html#a869a289f556304706f525f02ba9bff98',1,'SVF::SVFLoop']]],
+  ['inloop_11385',['inloop',['../classSVF_1_1CxtThread.html#a2066520689094db3c4a88f5a7fc4ec0c',1,'SVF::CxtThread']]],
+  ['inrecurjoinsites_11386',['inRecurJoinSites',['../classSVF_1_1TCT.html#a1b3872361dc17aaea359db8ce0cc2431',1,'SVF::TCT']]],
+  ['insencycle_11387',['InsenCycle',['../classSVF_1_1Options.html#a0c5d08f13bd41095afb3b60c7ffad0e0',1,'SVF::Options']]],
+  ['insenrecur_11388',['InsenRecur',['../classSVF_1_1Options.html#aeab702f641fd13ee1d0f89837097e43b',1,'SVF::Options']]],
+  ['insensitveedges_11389',['insensitveEdges',['../classSVF_1_1ContextDDA.html#a942e79dced48bd284a58540a2fb778b9',1,'SVF::ContextDDA']]],
+  ['inst_11390',['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_11391',['inst2LabelMap',['../classSVF_1_1SVFStmt.html#abb83549118bcd7216a053d82f7180d1c',1,'SVF::SVFStmt']]],
+  ['instcilocksmap_11392',['instCILocksMap',['../classSVF_1_1LockAnalysis.html#a277d88153d34cf3eb80272003949e4ef',1,'SVF::LockAnalysis']]],
+  ['insttoblocknodemap_11393',['InstToBlockNodeMap',['../classSVF_1_1ICFG.html#a23f905d849553d7ad652e9a8f1bfacd1',1,'SVF::ICFG']]],
+  ['insttocondcilocksmap_11394',['instTocondCILocksMap',['../classSVF_1_1LockAnalysis.html#a5a4167dd5dbd0017a4725c8774a5b522',1,'SVF::LockAnalysis']]],
+  ['insttocxtlockset_11395',['instToCxtLockSet',['../classSVF_1_1LockResultValidator.html#a841c1dfb065999215b5f415e403f7a2a',1,'SVF::LockResultValidator']]],
+  ['insttocxtstmtset_11396',['instToCxtStmtSet',['../classSVF_1_1LockAnalysis.html#ae8715683c7dfddc7b30caf6bf2b78296',1,'SVF::LockAnalysis']]],
+  ['insttotsmap_11397',['instToTSMap',['../classSVF_1_1MTAResultValidator.html#a8452bf182f6f1e0f4c239f620ee803b1',1,'SVF::MTAResultValidator::instToTSMap()'],['../classSVF_1_1MHP.html#a6b238ee6342da990840162845bba547f',1,'SVF::MHP::instToTSMap()']]],
+  ['interleavingqueriestime_11398',['interleavingQueriesTime',['../classSVF_1_1MHP.html#ab7d9fe837844197b7acdc0493a50aaa5',1,'SVF::MHP']]],
+  ['interleavingtime_11399',['interleavingTime',['../classSVF_1_1MHP.html#aca306b97c6dcd47a8f407038436473a2',1,'SVF::MHP']]],
+  ['interlev_5faccess_11400',['INTERLEV_ACCESS',['../classSVF_1_1MTAResultValidator.html#ad3c052835b34f2897089d1edc2548bae',1,'SVF::MTAResultValidator']]],
+  ['interlev_5fimprecise_11401',['INTERLEV_IMPRECISE',['../classSVF_1_1MTAResultValidator.html#a80414f4ba70357742fa0269f93f1a910',1,'SVF::MTAResultValidator']]],
+  ['interlev_5ftrue_11402',['INTERLEV_TRUE',['../classSVF_1_1MTAResultValidator.html#a5a6e2f2d1d6aa6fb3a83455b5a288ff1',1,'SVF::MTAResultValidator']]],
+  ['interlev_5funsound_11403',['INTERLEV_UNSOUND',['../classSVF_1_1MTAResultValidator.html#a0e2fb93a69df487606c0eeaeadab805d',1,'SVF::MTAResultValidator']]],
+  ['inters_11404',['inters',['../classSVF_1_1InterDisjointMRG.html#a104134d0f7c8b16abe8f5f3899c3bbf0',1,'SVF::InterDisjointMRG']]],
+  ['intersectioncache_11405',['intersectionCache',['../classSVF_1_1PersistentPointsToCache.html#a525fbb49c91040c078fbcaaae2339ef2',1,'SVF::PersistentPointsToCache']]],
+  ['intralock_11406',['IntraLock',['../classSVF_1_1Options.html#af6d92cd4372cd952e6d955cfc9be0ccb',1,'SVF::Options']]],
+  ['intrinsic_11407',['intrinsic',['../classSVF_1_1SVFFunction.html#a037b2583aa8d15ceeb630eaad41a36a3',1,'SVF::SVFFunction']]],
+  ['inupdatedvarmap_11408',['inUpdatedVarMap',['../classSVF_1_1MutableIncDFPTData.html#ab5e9ebf9e71652b5fa63d59c97d016e4',1,'SVF::MutableIncDFPTData::inUpdatedVarMap()'],['../classSVF_1_1PersistentIncDFPTData.html#a106391cd8eefab1740b54cd9bbacccad',1,'SVF::PersistentIncDFPTData::inUpdatedVarMap()']]],
+  ['invalidversion_11409',['invalidVersion',['../classSVF_1_1VersionedFlowSensitive.html#a3d44a343a2e3f5d276fd1b069c92e112',1,'SVF::VersionedFlowSensitive']]],
+  ['irgraphreader_11410',['irGraphReader',['../classSVF_1_1SVFIRReader.html#a0dbb50e2c4a8806a741e0c4173c445b8',1,'SVF::SVFIRReader']]],
+  ['irgraphwriter_11411',['irGraphWriter',['../classSVF_1_1SVFIRWriter.html#a997a5339fcb177556819b2e27b17b424',1,'SVF::SVFIRWriter']]],
+  ['is_5fiterable_5fv_11412',['is_iterable_v',['../namespaceSVF_1_1SVFUtil.html#aa32219da7a5c3d7517ec5026afdac588',1,'SVF::SVFUtil']]],
+  ['is_5fmap_5fv_11413',['is_map_v',['../namespaceSVF_1_1SVFUtil.html#a8c57ab480c497cbd21a49778d0e59bd5',1,'SVF::SVFUtil']]],
+  ['is_5fsequence_5fcontainer_5fv_11414',['is_sequence_container_v',['../namespaceSVF_1_1SVFUtil.html#a811faa9c2095f44e3e5b6e50aa6f6e06',1,'SVF::SVFUtil']]],
+  ['is_5fset_5fv_11415',['is_set_v',['../namespaceSVF_1_1SVFUtil.html#a08e67d68b1da116b2c51cb60bdb6dae2',1,'SVF::SVFUtil']]],
+  ['isdecl_11416',['isDecl',['../classSVF_1_1SVFFunction.html#a52581d00177fd5853d6f9de50b3e7fb9',1,'SVF::SVFFunction']]],
+  ['isexplicitlyset_11417',['isExplicitlySet',['../classOption.html#a980a99e59afae6419a9b15f7606d83dc',1,'Option::isExplicitlySet()'],['../classOptionMap.html#a9efba3b88013aa1745f47ab42d71c726',1,'OptionMap::isExplicitlySet()']]],
+  ['isloadmap_11418',['isLoadMap',['../classSVF_1_1VersionedFlowSensitive.html#a6bb3db072db0b899f306b37f1146f83d',1,'SVF::VersionedFlowSensitive']]],
+  ['isnotret_11419',['isNotRet',['../classSVF_1_1SVFFunction.html#ac85bdf04fd784e22a89426955d28e3d6',1,'SVF::SVFFunction']]],
+  ['isptr_11420',['isPtr',['../classSVF_1_1SVFVar.html#a7c8ffadedbf53d30694feeb7771990af',1,'SVF::SVFVar']]],
+  ['issimple_11421',['IsSimple',['../structSVF_1_1DefaultDOTGraphTraits.html#abf5957e894bacd69c9ead5a80a330626',1,'SVF::DefaultDOTGraphTraits']]],
+  ['issinglevalty_11422',['isSingleValTy',['../classSVF_1_1SVFType.html#ac26ba9052149b5b792aa8e8c3ccfd350',1,'SVF::SVFType']]],
+  ['isstoremap_11423',['isStoreMap',['../classSVF_1_1VersionedFlowSensitive.html#a18e25c3871d7cc1a6bb0592ceca90f88',1,'SVF::VersionedFlowSensitive']]],
+  ['isthunkfunc_11424',['isThunkFunc',['../structSVF_1_1cppUtil_1_1DemangledName.html#af6117df8aec7f4c077058fa8f00b0243',1,'SVF::cppUtil::DemangledName']]],
+  ['isuncalled_11425',['isUncalled',['../classSVF_1_1SVFFunction.html#a1e9dc1d660e3626540b7501194bb12ea',1,'SVF::SVFFunction']]],
+  ['item_11426',['item',['../cJSON_8h.html#ac76cea59d438ba893d2f82aabb367d14',1,'item(): cJSON.h'],['../cJSON_8cpp.html#ac011de571ff16ba220d2e0d757e4e8b0',1,'item(): cJSON.cpp']]],
+  ['iter_11427',['Iter',['../classSVF_1_1SparseBitVector_1_1SparseBitVectorIterator.html#a3627077086baa18bd0ae25efd981c18f',1,'SVF::SparseBitVector::SparseBitVectorIterator']]],
+  ['iter_5ffacade_5fbase_11428',['iter_facade_base',['../classSVF_1_1iter__facade__base_1_1ReferenceProxy.html#ab4717ea89d08ac05464fa95bc7f50ac6',1,'SVF::iter_facade_base::ReferenceProxy']]],
+  ['iterationforprintstat_11429',['iterationForPrintStat',['../classSVF_1_1WPASolver.html#aa7c0636780a86f376e9222bce771e859',1,'SVF::WPASolver']]]
 ];

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

@@ -1,7 +1,7 @@
 var searchData=
 [
-  ['joinsites_11428',['joinsites',['../classSVF_1_1ThreadCallGraph.html#aab32b67b314b31d67d58efded50e8f45',1,'SVF::ThreadCallGraph']]],
-  ['joinsitetoloopmap_11429',['joinSiteToLoopMap',['../classSVF_1_1TCT.html#a5b1f44ffa732607a7800728befa5bc57',1,'SVF::TCT']]],
-  ['json_11430',['json',['../structerror.html#a9b123855d5dd48e86de846588462b39f',1,'error::json()'],['../cJSON_8cpp.html#ac3d010a5f321146bc39a696b90a35c37',1,'json(): cJSON.cpp']]],
-  ['jsonarray_11431',['jsonArray',['../classSVF_1_1ReaderPtrPool.html#a7c97bb72f8b612fdebed953ccb3d4ad0',1,'SVF::ReaderPtrPool']]]
+  ['joinsites_11430',['joinsites',['../classSVF_1_1ThreadCallGraph.html#aab32b67b314b31d67d58efded50e8f45',1,'SVF::ThreadCallGraph']]],
+  ['joinsitetoloopmap_11431',['joinSiteToLoopMap',['../classSVF_1_1TCT.html#a5b1f44ffa732607a7800728befa5bc57',1,'SVF::TCT']]],
+  ['json_11432',['json',['../structerror.html#a9b123855d5dd48e86de846588462b39f',1,'error::json()'],['../cJSON_8cpp.html#ac3d010a5f321146bc39a696b90a35c37',1,'json(): cJSON.cpp']]],
+  ['jsonarray_11433',['jsonArray',['../classSVF_1_1ReaderPtrPool.html#a7c97bb72f8b612fdebed953ccb3d4ad0',1,'SVF::ReaderPtrPool']]]
 ];

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

@@ -1,13 +1,13 @@
 var searchData=
 [
-  ['keepactualoutformalin_11432',['keepActualOutFormalIn',['../classSVF_1_1SVFGOPT.html#a7e57ca56a587a5b59543b5bab7fe794d',1,'SVF::SVFGOPT']]],
-  ['keepallselfcycle_11433',['keepAllSelfCycle',['../classSVF_1_1SVFGOPT.html#a65bba62d9b62bf2bdbbda69540eeb38d',1,'SVF::SVFGOPT::keepAllSelfCycle()'],['../SVFGOPT_8cpp.html#af213fe89264a55a8ff44872905524f2f',1,'KeepAllSelfCycle(): SVFGOPT.cpp']]],
-  ['keepaofi_11434',['KeepAOFI',['../classSVF_1_1Options.html#a09005e749b1030347ac5dcc015053a37',1,'SVF::Options']]],
-  ['keepcontextselfcycle_11435',['keepContextSelfCycle',['../classSVF_1_1SVFGOPT.html#ac68a53c567929ba8b69c00e3e8d9d30f',1,'SVF::SVFGOPT::keepContextSelfCycle()'],['../SVFGOPT_8cpp.html#a88c73f6d9c8ac75497c2e520a7d41935',1,'KeepContextSelfCycle(): SVFGOPT.cpp']]],
-  ['keepnoneselfcycle_11436',['KeepNoneSelfCycle',['../SVFGOPT_8cpp.html#a644ce2ce8b3224e9cd4cfc8480941c6f',1,'SVFGOPT.cpp']]],
-  ['kind_11437',['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_11438',['kindToAttrsMap',['../classSVF_1_1GrammarBase.html#a7707662599fe848ae6526802be4f7b6c',1,'SVF::GrammarBase::kindToAttrsMap()'],['../classSVF_1_1CFLGraphBuilder.html#af34aa7ae71e100d8bbe7c1b17c1f0068',1,'SVF::CFLGraphBuilder::kindToAttrsMap()']]],
-  ['kindtolabelmap_11439',['kindToLabelMap',['../classSVF_1_1CFLGraphBuilder.html#a93b41c2f0eca82e6eaf49895b2b13a1e',1,'SVF::CFLGraphBuilder']]],
-  ['kindtoptasvfstmtsetmap_11440',['KindToPTASVFStmtSetMap',['../classSVF_1_1IRGraph.html#ae0a9b81717fd834bbd109c4b69aaff9d',1,'SVF::IRGraph']]],
-  ['kindtosvfstmtsetmap_11441',['KindToSVFStmtSetMap',['../classSVF_1_1IRGraph.html#a3db2c4e2823f16d78c86596da284acd1',1,'SVF::IRGraph']]]
+  ['keepactualoutformalin_11434',['keepActualOutFormalIn',['../classSVF_1_1SVFGOPT.html#a7e57ca56a587a5b59543b5bab7fe794d',1,'SVF::SVFGOPT']]],
+  ['keepallselfcycle_11435',['keepAllSelfCycle',['../classSVF_1_1SVFGOPT.html#a65bba62d9b62bf2bdbbda69540eeb38d',1,'SVF::SVFGOPT::keepAllSelfCycle()'],['../SVFGOPT_8cpp.html#af213fe89264a55a8ff44872905524f2f',1,'KeepAllSelfCycle(): SVFGOPT.cpp']]],
+  ['keepaofi_11436',['KeepAOFI',['../classSVF_1_1Options.html#a09005e749b1030347ac5dcc015053a37',1,'SVF::Options']]],
+  ['keepcontextselfcycle_11437',['keepContextSelfCycle',['../classSVF_1_1SVFGOPT.html#ac68a53c567929ba8b69c00e3e8d9d30f',1,'SVF::SVFGOPT::keepContextSelfCycle()'],['../SVFGOPT_8cpp.html#a88c73f6d9c8ac75497c2e520a7d41935',1,'KeepContextSelfCycle(): SVFGOPT.cpp']]],
+  ['keepnoneselfcycle_11438',['KeepNoneSelfCycle',['../SVFGOPT_8cpp.html#a644ce2ce8b3224e9cd4cfc8480941c6f',1,'SVFGOPT.cpp']]],
+  ['kind_11439',['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_11440',['kindToAttrsMap',['../classSVF_1_1GrammarBase.html#a7707662599fe848ae6526802be4f7b6c',1,'SVF::GrammarBase::kindToAttrsMap()'],['../classSVF_1_1CFLGraphBuilder.html#af34aa7ae71e100d8bbe7c1b17c1f0068',1,'SVF::CFLGraphBuilder::kindToAttrsMap()']]],
+  ['kindtolabelmap_11441',['kindToLabelMap',['../classSVF_1_1CFLGraphBuilder.html#a93b41c2f0eca82e6eaf49895b2b13a1e',1,'SVF::CFLGraphBuilder']]],
+  ['kindtoptasvfstmtsetmap_11442',['KindToPTASVFStmtSetMap',['../classSVF_1_1IRGraph.html#ae0a9b81717fd834bbd109c4b69aaff9d',1,'SVF::IRGraph']]],
+  ['kindtosvfstmtsetmap_11443',['KindToSVFStmtSetMap',['../classSVF_1_1IRGraph.html#a3db2c4e2823f16d78c86596da284acd1',1,'SVF::IRGraph']]]
 ];

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

@@ -1,48 +1,48 @@
 var searchData=
 [
-  ['labeltokindmap_11442',['labelToKindMap',['../classSVF_1_1CFLGraphBuilder.html#a1ecf9cad8707ba07d3e44624ea273f2f',1,'SVF::CFLGraphBuilder']]],
-  ['largestregion_11443',['LargestRegion',['../classSVF_1_1NodeIDAllocator_1_1Clusterer.html#a172d72ae4ae45fa2baf2f20ff2b499dc',1,'SVF::NodeIDAllocator::Clusterer']]],
-  ['ldnodeset_11444',['ldnodeSet',['../classSVF_1_1MTASVFGBuilder.html#a6dfa9807255258f324557d188adea9b2',1,'SVF::MTASVFGBuilder']]],
-  ['leakchecker_11445',['LEAKCHECKER',['../saber_8cpp.html#a789415bb7081a399af0d4218ead5e6a5',1,'saber.cpp']]],
-  ['length_11446',['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_11447',['LLVMArgument2SVFArgument',['../classSVF_1_1LLVMModuleSet.html#a852524c71831d7b2da0e9b0b6b191480',1,'SVF::LLVMModuleSet']]],
-  ['llvmbb2svfbb_11448',['LLVMBB2SVFBB',['../classSVF_1_1LLVMModuleSet.html#a0f9b36699b99dfcfe3c1588bfab6b97c',1,'SVF::LLVMModuleSet']]],
-  ['llvmconst2svfconst_11449',['LLVMConst2SVFConst',['../classSVF_1_1LLVMModuleSet.html#a4b94c96898dbbc71bc1cee04786cf3dc',1,'SVF::LLVMModuleSet']]],
-  ['llvmfunc2svffunc_11450',['LLVMFunc2SVFFunc',['../classSVF_1_1LLVMModuleSet.html#a9fd7f0170bffa7c1b927cdb0de98fd15',1,'SVF::LLVMModuleSet']]],
-  ['llvminst2svfinst_11451',['LLVMInst2SVFInst',['../classSVF_1_1LLVMModuleSet.html#a42439790c217254ce5404622b197b3d0',1,'SVF::LLVMModuleSet']]],
-  ['llvmmoduleset_11452',['llvmModuleSet',['../classSVF_1_1LLVMModuleSet.html#ac59b07cafcbacc950eefea4082425b63',1,'SVF::LLVMModuleSet']]],
-  ['llvmtype2svftype_11453',['LLVMType2SVFType',['../classSVF_1_1LLVMModuleSet.html#a067661e0049314779a44c9600420820f',1,'SVF::LLVMModuleSet']]],
-  ['llvmvalue2svfothervalue_11454',['LLVMValue2SVFOtherValue',['../classSVF_1_1LLVMModuleSet.html#ac3e70bd338be3a54330be5dc10321eb3',1,'SVF::LLVMModuleSet']]],
-  ['load2musetmap_11455',['load2MuSetMap',['../classSVF_1_1MemSSA.html#a5cf94edea3a5c35b3c1d9c6ae4b5f9d6',1,'SVF::MemSSA']]],
-  ['loadcgedgeset_11456',['LoadCGEdgeSet',['../classSVF_1_1ConstraintGraph.html#a1cb9124b29720e7a5b39d83419f9cc17',1,'SVF::ConstraintGraph']]],
-  ['loadinedges_11457',['loadInEdges',['../classSVF_1_1ConstraintNode.html#af7343134750575d3f335ed431f13a418',1,'SVF::ConstraintNode']]],
-  ['loadoutedges_11458',['loadOutEdges',['../classSVF_1_1ConstraintNode.html#a85a6acbd708be0dfc63ea87050a4a934',1,'SVF::ConstraintNode']]],
-  ['loadset_11459',['loadset',['../classSVF_1_1MTAAnnotator.html#a469851829bf1105fe8faac44b4abbfdd',1,'SVF::MTAAnnotator']]],
-  ['loadsrcnodes_11460',['loadSrcNodes',['../classSVF_1_1AliasDDAClient.html#a246448efd1ff5da683a6ffe9f759e282',1,'SVF::AliasDDAClient']]],
-  ['loadstomrsmap_11461',['loadsToMRsMap',['../classSVF_1_1MRGenerator.html#a0d8229b1f0b8428708e923d19096e4ba',1,'SVF::MRGenerator']]],
-  ['loadstopointstomap_11462',['loadsToPointsToMap',['../classSVF_1_1MRGenerator.html#af47e15d6b8c15d547a718f3577513975',1,'SVF::MRGenerator']]],
-  ['loadtime_11463',['loadTime',['../classSVF_1_1FlowSensitive.html#aab4f70210eb1e6447a24697d3b459067',1,'SVF::FlowSensitive']]],
-  ['loadtoptcvarmap_11464',['loadToPTCVarMap',['../classSVF_1_1DDAVFSolver.html#a6d62420837fe0c7814fc4da68a91eda4',1,'SVF::DDAVFSolver']]],
-  ['localvarinrecursion_11465',['localVarInRecursion',['../classSVF_1_1PTAStat.html#a5b4095f427c9c7b9ec0db497ba33baea',1,'SVF::PTAStat']]],
-  ['lock_11466',['LOCK',['../classSVF_1_1LockResultValidator.html#a5423c0cf9624c42bcd8a9a8adaa22dcb',1,'SVF::LockResultValidator']]],
-  ['lock_5fimprecise_11467',['LOCK_IMPRECISE',['../classSVF_1_1LockResultValidator.html#a760c0f6f891daa4532a44c6594794bb8',1,'SVF::LockResultValidator']]],
-  ['lock_5ftrue_11468',['LOCK_TRUE',['../classSVF_1_1LockResultValidator.html#a005c38dd07eb66d52066fa1927b1e19f',1,'SVF::LockResultValidator']]],
-  ['lock_5funsound_11469',['LOCK_UNSOUND',['../classSVF_1_1LockResultValidator.html#a03589368482d3f7ee7f6734e257dcbdf',1,'SVF::LockResultValidator']]],
-  ['lockana_11470',['lockana',['../classSVF_1_1MTASVFGBuilder.html#a00bf5aaf3095bb271f2cbd3c35749ce2',1,'SVF::MTASVFGBuilder::lockana()'],['../classSVF_1_1FSMPTA.html#abf8f7645c51f3a8c70ca542de5b7d6c9',1,'SVF::FSMPTA::lockana()']]],
-  ['lockcandidatefuncset_11471',['lockcandidateFuncSet',['../classSVF_1_1LockAnalysis.html#a484eb7b6f49f47a3e71054c3b798a47a',1,'SVF::LockAnalysis']]],
-  ['lockqueriestime_11472',['lockQueriesTime',['../classSVF_1_1LockAnalysis.html#a853ab1a953ddcf76841016a833e43f3d',1,'SVF::LockAnalysis']]],
-  ['locksites_11473',['locksites',['../classSVF_1_1LockAnalysis.html#a87c412a54f48e5314454cd1d44ef9b0e',1,'SVF::LockAnalysis']]],
-  ['lockspan_11474',['lockSpan',['../classSVF_1_1SVFGNodeLockSpan.html#a762505799b9257bbcb766fccdce40fd4',1,'SVF::SVFGNodeLockSpan']]],
-  ['locktime_11475',['lockTime',['../classSVF_1_1LockAnalysis.html#adadee129c04b82576b4ca3c7594cdcb2',1,'SVF::LockAnalysis']]],
-  ['lockvalid_11476',['LockValid',['../classSVF_1_1Options.html#a6c0afceb5db81504930dc6f673bc41ec',1,'SVF::Options']]],
-  ['locmemmodel_11477',['LocMemModel',['../classSVF_1_1Options.html#a198e0d500ae635c709c406bbec604050',1,'SVF::Options']]],
-  ['loctodpmsetmap_11478',['locToDpmSetMap',['../classSVF_1_1DDAVFSolver.html#aa724698d499615bce7caf8f312b746a7',1,'SVF::DDAVFSolver']]],
-  ['lookupcomplements_11479',['lookupComplements',['../classSVF_1_1PersistentPointsToCache.html#a47f4e8ef1461396afb2e1c3cbe055e95',1,'SVF::PersistentPointsToCache']]],
-  ['lookupintersections_11480',['lookupIntersections',['../classSVF_1_1PersistentPointsToCache.html#a15d3235017b35f4a5c668d0b6626faff',1,'SVF::PersistentPointsToCache']]],
-  ['lookupunions_11481',['lookupUnions',['../classSVF_1_1PersistentPointsToCache.html#ace976f138cf1b8ab6bbf7a5c5d0b60b8',1,'SVF::PersistentPointsToCache']]],
-  ['loopanalysis_11482',['LoopAnalysis',['../classSVF_1_1Options.html#abfd13c7d998333290b39354178739f2c',1,'SVF::Options']]],
-  ['loopanddom_11483',['loopAndDom',['../classSVF_1_1SVFFunction.html#aefde3a0671e34541a4ad5d7a6dfaa5d1',1,'SVF::SVFFunction']]],
-  ['loopbound_11484',['loopBound',['../classSVF_1_1SVFLoop.html#ac4e2c365e2a08477381802205029b85c',1,'SVF::SVFLoop::loopBound()'],['../classSVF_1_1Options.html#a17f11eb3e9a3178395e8574a027b181e',1,'SVF::Options::LoopBound()']]],
-  ['lowlink_11485',['lowlink',['../structSVF_1_1VersionedFlowSensitive_1_1SCC_1_1NodeData.html#a6d66813dfb5338c22de62c100e951cf2',1,'SVF::VersionedFlowSensitive::SCC::NodeData']]],
-  ['lsa_11486',['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_11444',['labelToKindMap',['../classSVF_1_1CFLGraphBuilder.html#a1ecf9cad8707ba07d3e44624ea273f2f',1,'SVF::CFLGraphBuilder']]],
+  ['largestregion_11445',['LargestRegion',['../classSVF_1_1NodeIDAllocator_1_1Clusterer.html#a172d72ae4ae45fa2baf2f20ff2b499dc',1,'SVF::NodeIDAllocator::Clusterer']]],
+  ['ldnodeset_11446',['ldnodeSet',['../classSVF_1_1MTASVFGBuilder.html#a6dfa9807255258f324557d188adea9b2',1,'SVF::MTASVFGBuilder']]],
+  ['leakchecker_11447',['LEAKCHECKER',['../saber_8cpp.html#a789415bb7081a399af0d4218ead5e6a5',1,'saber.cpp']]],
+  ['length_11448',['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_11449',['LLVMArgument2SVFArgument',['../classSVF_1_1LLVMModuleSet.html#a852524c71831d7b2da0e9b0b6b191480',1,'SVF::LLVMModuleSet']]],
+  ['llvmbb2svfbb_11450',['LLVMBB2SVFBB',['../classSVF_1_1LLVMModuleSet.html#a0f9b36699b99dfcfe3c1588bfab6b97c',1,'SVF::LLVMModuleSet']]],
+  ['llvmconst2svfconst_11451',['LLVMConst2SVFConst',['../classSVF_1_1LLVMModuleSet.html#a4b94c96898dbbc71bc1cee04786cf3dc',1,'SVF::LLVMModuleSet']]],
+  ['llvmfunc2svffunc_11452',['LLVMFunc2SVFFunc',['../classSVF_1_1LLVMModuleSet.html#a9fd7f0170bffa7c1b927cdb0de98fd15',1,'SVF::LLVMModuleSet']]],
+  ['llvminst2svfinst_11453',['LLVMInst2SVFInst',['../classSVF_1_1LLVMModuleSet.html#a42439790c217254ce5404622b197b3d0',1,'SVF::LLVMModuleSet']]],
+  ['llvmmoduleset_11454',['llvmModuleSet',['../classSVF_1_1LLVMModuleSet.html#ac59b07cafcbacc950eefea4082425b63',1,'SVF::LLVMModuleSet']]],
+  ['llvmtype2svftype_11455',['LLVMType2SVFType',['../classSVF_1_1LLVMModuleSet.html#a067661e0049314779a44c9600420820f',1,'SVF::LLVMModuleSet']]],
+  ['llvmvalue2svfothervalue_11456',['LLVMValue2SVFOtherValue',['../classSVF_1_1LLVMModuleSet.html#ac3e70bd338be3a54330be5dc10321eb3',1,'SVF::LLVMModuleSet']]],
+  ['load2musetmap_11457',['load2MuSetMap',['../classSVF_1_1MemSSA.html#a5cf94edea3a5c35b3c1d9c6ae4b5f9d6',1,'SVF::MemSSA']]],
+  ['loadcgedgeset_11458',['LoadCGEdgeSet',['../classSVF_1_1ConstraintGraph.html#a1cb9124b29720e7a5b39d83419f9cc17',1,'SVF::ConstraintGraph']]],
+  ['loadinedges_11459',['loadInEdges',['../classSVF_1_1ConstraintNode.html#af7343134750575d3f335ed431f13a418',1,'SVF::ConstraintNode']]],
+  ['loadoutedges_11460',['loadOutEdges',['../classSVF_1_1ConstraintNode.html#a85a6acbd708be0dfc63ea87050a4a934',1,'SVF::ConstraintNode']]],
+  ['loadset_11461',['loadset',['../classSVF_1_1MTAAnnotator.html#a469851829bf1105fe8faac44b4abbfdd',1,'SVF::MTAAnnotator']]],
+  ['loadsrcnodes_11462',['loadSrcNodes',['../classSVF_1_1AliasDDAClient.html#a246448efd1ff5da683a6ffe9f759e282',1,'SVF::AliasDDAClient']]],
+  ['loadstomrsmap_11463',['loadsToMRsMap',['../classSVF_1_1MRGenerator.html#a0d8229b1f0b8428708e923d19096e4ba',1,'SVF::MRGenerator']]],
+  ['loadstopointstomap_11464',['loadsToPointsToMap',['../classSVF_1_1MRGenerator.html#af47e15d6b8c15d547a718f3577513975',1,'SVF::MRGenerator']]],
+  ['loadtime_11465',['loadTime',['../classSVF_1_1FlowSensitive.html#aab4f70210eb1e6447a24697d3b459067',1,'SVF::FlowSensitive']]],
+  ['loadtoptcvarmap_11466',['loadToPTCVarMap',['../classSVF_1_1DDAVFSolver.html#a6d62420837fe0c7814fc4da68a91eda4',1,'SVF::DDAVFSolver']]],
+  ['localvarinrecursion_11467',['localVarInRecursion',['../classSVF_1_1PTAStat.html#a5b4095f427c9c7b9ec0db497ba33baea',1,'SVF::PTAStat']]],
+  ['lock_11468',['LOCK',['../classSVF_1_1LockResultValidator.html#a5423c0cf9624c42bcd8a9a8adaa22dcb',1,'SVF::LockResultValidator']]],
+  ['lock_5fimprecise_11469',['LOCK_IMPRECISE',['../classSVF_1_1LockResultValidator.html#a760c0f6f891daa4532a44c6594794bb8',1,'SVF::LockResultValidator']]],
+  ['lock_5ftrue_11470',['LOCK_TRUE',['../classSVF_1_1LockResultValidator.html#a005c38dd07eb66d52066fa1927b1e19f',1,'SVF::LockResultValidator']]],
+  ['lock_5funsound_11471',['LOCK_UNSOUND',['../classSVF_1_1LockResultValidator.html#a03589368482d3f7ee7f6734e257dcbdf',1,'SVF::LockResultValidator']]],
+  ['lockana_11472',['lockana',['../classSVF_1_1MTASVFGBuilder.html#a00bf5aaf3095bb271f2cbd3c35749ce2',1,'SVF::MTASVFGBuilder::lockana()'],['../classSVF_1_1FSMPTA.html#abf8f7645c51f3a8c70ca542de5b7d6c9',1,'SVF::FSMPTA::lockana()']]],
+  ['lockcandidatefuncset_11473',['lockcandidateFuncSet',['../classSVF_1_1LockAnalysis.html#a484eb7b6f49f47a3e71054c3b798a47a',1,'SVF::LockAnalysis']]],
+  ['lockqueriestime_11474',['lockQueriesTime',['../classSVF_1_1LockAnalysis.html#a853ab1a953ddcf76841016a833e43f3d',1,'SVF::LockAnalysis']]],
+  ['locksites_11475',['locksites',['../classSVF_1_1LockAnalysis.html#a87c412a54f48e5314454cd1d44ef9b0e',1,'SVF::LockAnalysis']]],
+  ['lockspan_11476',['lockSpan',['../classSVF_1_1SVFGNodeLockSpan.html#a762505799b9257bbcb766fccdce40fd4',1,'SVF::SVFGNodeLockSpan']]],
+  ['locktime_11477',['lockTime',['../classSVF_1_1LockAnalysis.html#adadee129c04b82576b4ca3c7594cdcb2',1,'SVF::LockAnalysis']]],
+  ['lockvalid_11478',['LockValid',['../classSVF_1_1Options.html#a6c0afceb5db81504930dc6f673bc41ec',1,'SVF::Options']]],
+  ['locmemmodel_11479',['LocMemModel',['../classSVF_1_1Options.html#a198e0d500ae635c709c406bbec604050',1,'SVF::Options']]],
+  ['loctodpmsetmap_11480',['locToDpmSetMap',['../classSVF_1_1DDAVFSolver.html#aa724698d499615bce7caf8f312b746a7',1,'SVF::DDAVFSolver']]],
+  ['lookupcomplements_11481',['lookupComplements',['../classSVF_1_1PersistentPointsToCache.html#a47f4e8ef1461396afb2e1c3cbe055e95',1,'SVF::PersistentPointsToCache']]],
+  ['lookupintersections_11482',['lookupIntersections',['../classSVF_1_1PersistentPointsToCache.html#a15d3235017b35f4a5c668d0b6626faff',1,'SVF::PersistentPointsToCache']]],
+  ['lookupunions_11483',['lookupUnions',['../classSVF_1_1PersistentPointsToCache.html#ace976f138cf1b8ab6bbf7a5c5d0b60b8',1,'SVF::PersistentPointsToCache']]],
+  ['loopanalysis_11484',['LoopAnalysis',['../classSVF_1_1Options.html#abfd13c7d998333290b39354178739f2c',1,'SVF::Options']]],
+  ['loopanddom_11485',['loopAndDom',['../classSVF_1_1SVFFunction.html#aefde3a0671e34541a4ad5d7a6dfaa5d1',1,'SVF::SVFFunction']]],
+  ['loopbound_11486',['loopBound',['../classSVF_1_1SVFLoop.html#ac4e2c365e2a08477381802205029b85c',1,'SVF::SVFLoop::loopBound()'],['../classSVF_1_1Options.html#a17f11eb3e9a3178395e8574a027b181e',1,'SVF::Options::LoopBound()']]],
+  ['lowlink_11487',['lowlink',['../structSVF_1_1VersionedFlowSensitive_1_1SCC_1_1NodeData.html#a6d66813dfb5338c22de62c100e951cf2',1,'SVF::VersionedFlowSensitive::SCC::NodeData']]],
+  ['lsa_11488',['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,59 +1,59 @@
 var searchData=
 [
-  ['m_11487',['M',['../classSVF_1_1RaceResultValidator.html#aedc9ec6c3db947fa7e1ef50fbb61e9a8',1,'SVF::RaceResultValidator']]],
-  ['m_5fcond_11488',['m_cond',['../classSVF_1_1CondVar.html#a90b13685d2126f8c10dde4a504bb28df',1,'SVF::CondVar']]],
-  ['m_5fid_11489',['m_id',['../classSVF_1_1CondVar.html#a26fd04b3f2d45f0c230e1823f3eea49a',1,'SVF::CondVar']]],
-  ['malloconly_11490',['MallocOnly',['../classSVF_1_1Options.html#a9711cdc976786b3949ac6b26f95b59b0',1,'SVF::Options']]],
-  ['markedclocksonly_11491',['MarkedClocksOnly',['../classSVF_1_1Options.html#abcb6796d45722562546f33b2745a0418',1,'SVF::Options']]],
-  ['maxbvlen_11492',['MaxBVLen',['../classSVF_1_1Options.html#a71461051f5fe6b4cc33103746525b23f',1,'SVF::Options']]],
-  ['maxcontextlen_11493',['MaxContextLen',['../classSVF_1_1Options.html#a6237da3f4e264fa8b63c11d621f39e71',1,'SVF::Options']]],
-  ['maxcxtsize_11494',['MaxCxtSize',['../classSVF_1_1TCT.html#aaae41663b1d1f4d38b047c50c156defb',1,'SVF::TCT']]],
-  ['maxfieldlimit_11495',['MaxFieldLimit',['../classSVF_1_1Options.html#aaab923c093730b1670a54f09340b1bd5',1,'SVF::Options']]],
-  ['maximumbudget_11496',['maximumBudget',['../classSVF_1_1DPItem.html#a5dbb0e6010b38c5b937ff06cb40cd0ef',1,'SVF::DPItem']]],
-  ['maximumcxt_11497',['maximumCxt',['../classSVF_1_1ContextCond.html#a151b9f21eedd4fdd8f46b78bb456582d',1,'SVF::ContextCond']]],
-  ['maximumcxtlen_11498',['maximumCxtLen',['../classSVF_1_1ContextCond.html#a3280db7a2b93612fb693a7c1117acfdd',1,'SVF::ContextCond']]],
-  ['maximumpath_11499',['maximumPath',['../classSVF_1_1ContextCond.html#a7d89351906ef4dff9adb1196f45bc9be',1,'SVF::ContextCond']]],
-  ['maximumpathlen_11500',['maximumPathLen',['../classSVF_1_1ContextCond.html#aa61b4de81e440448daaf0c5be53aebf3',1,'SVF::ContextCond']]],
-  ['maxindegree_11501',['maxInDegree',['../classSVF_1_1SVFGStat.html#a536b591b21756519262873462001f421',1,'SVF::SVFGStat']]],
-  ['maxindindegree_11502',['maxIndInDegree',['../classSVF_1_1SVFGStat.html#a2f1bb17038de877fd1ccffdea3f3cde3',1,'SVF::SVFGStat']]],
-  ['maxindoutdegree_11503',['maxIndOutDegree',['../classSVF_1_1SVFGStat.html#ac7cb2228bd31e8ebdf33ae2bfd399683',1,'SVF::SVFGStat']]],
-  ['maxoffsetlimit_11504',['maxOffsetLimit',['../classSVF_1_1ObjTypeInfo.html#a5ff63eb0654acd152f7d6c18618ee94a',1,'SVF::ObjTypeInfo']]],
-  ['maxoutdegree_11505',['maxOutDegree',['../classSVF_1_1SVFGStat.html#a6694ace7ee1b24b0c5ce42e06e4db2cf',1,'SVF::SVFGStat']]],
-  ['maxpathlen_11506',['MaxPathLen',['../classSVF_1_1Options.html#a63121666a96f6cd2ae56d868c9576a53',1,'SVF::Options']]],
-  ['maxpointstosetsize_11507',['MaxPointsToSetSize',['../classSVF_1_1AndersenBase.html#abd73e930450b7c605f478672bdf9bdae',1,'SVF::AndersenBase']]],
-  ['maxsccsize_11508',['maxSCCSize',['../classSVF_1_1FlowSensitive.html#aa3d4703756a6297ab5c0756172024fe4',1,'SVF::FlowSensitive']]],
-  ['maxstepinwrapper_11509',['MaxStepInWrapper',['../classSVF_1_1Options.html#aab0131558d9da9b0fe888387217ba919',1,'SVF::Options']]],
-  ['maxstruct_11510',['maxStruct',['../classSVF_1_1SymbolTableInfo.html#a0c1143eff451edf8ea47d4487a8d3a55',1,'SVF::SymbolTableInfo']]],
-  ['maxstsize_11511',['maxStSize',['../classSVF_1_1SymbolTableInfo.html#abb8550c9ef856e45cb7675c3796f9a35',1,'SVF::SymbolTableInfo']]],
-  ['maxz3size_11512',['MaxZ3Size',['../classSVF_1_1Options.html#a86f982d9716181bca93a350b5a11a1dc',1,'SVF::Options']]],
-  ['meldlabelingtime_11513',['meldLabelingTime',['../classSVF_1_1VersionedFlowSensitive.html#a4a594c8d6ccaa27b5328c6388fdb258d',1,'SVF::VersionedFlowSensitive']]],
-  ['mem_11514',['mem',['../classSVF_1_1ObjVar.html#a3d08dc1d15a449ff4b7018da4bfdcb88',1,'SVF::ObjVar']]],
-  ['memobjmap_11515',['memObjMap',['../classSVF_1_1SymbolTableInfoReader.html#a0bf60f2250c864592c507dd6b03800a9',1,'SVF::SymbolTableInfoReader']]],
-  ['mempar_11516',['MemPar',['../classSVF_1_1Options.html#aa127a32b03e381343c624e53adc4ef2e',1,'SVF::Options']]],
-  ['memregset_11517',['memRegSet',['../classSVF_1_1MRGenerator.html#af94bd8155a23273aab2396334d905119',1,'SVF::MRGenerator']]],
-  ['memssa_11518',['memSSA',['../classSVF_1_1CFLVF.html#a42998aacf670d108b2a00b8993507e1e',1,'SVF::CFLVF::memSSA()'],['../classSVF_1_1SrcSnkDDA.html#ab6803f0a2b3507213ad2979b9b12f700',1,'SVF::SrcSnkDDA::memSSA()'],['../classSVF_1_1FlowSensitive.html#a76f6f19ac2b58ab4a10a2d7e6e24e42a',1,'SVF::FlowSensitive::memSSA()']]],
-  ['memtofieldsmap_11519',['memToFieldsMap',['../classSVF_1_1SVFIR.html#a3c014227661d8976714772205611c252',1,'SVF::SVFIR']]],
-  ['mfspta_11520',['mfspta',['../classSVF_1_1FSMPTA.html#af248a80855457ca9e5a7208c114681bb',1,'SVF::FSMPTA']]],
-  ['mhp_11521',['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_11522',['mhpfuns',['../classSVF_1_1PCG.html#a96f91b051a8035b614e015bf4d5081e0',1,'SVF::PCG']]],
-  ['mhptime_11523',['MHPTime',['../classSVF_1_1MTAStat.html#a56411f7e64febab8aab94a4a9207e5d8',1,'SVF::MTAStat']]],
-  ['mod_11524',['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_11525',['ModelArrays',['../classSVF_1_1Options.html#a429c3000ee2ac45119b8c241aa06762c',1,'SVF::Options']]],
-  ['modelconstants_11526',['modelConstants',['../classSVF_1_1SymbolTableInfo.html#ad20ccb90e8f9dee488a8aec0600399dc',1,'SVF::SymbolTableInfo']]],
-  ['modelconsts_11527',['ModelConsts',['../classSVF_1_1Options.html#a18dd95e01a50aa82165c46a3801053c5',1,'SVF::Options']]],
-  ['module_11528',['module',['../classSVF_1_1DDAClient.html#a4ac68012099540beb87ee4700e824d64',1,'SVF::DDAClient']]],
-  ['moduleflagvalue_11529',['moduleFlagValue',['../namespaceSVF_1_1cppUtil_1_1ctir.html#a05c7c51164928786d70713094db7f3f3',1,'SVF::cppUtil::ctir']]],
-  ['moduleidentifier_11530',['moduleIdentifier',['../classSVF_1_1SVFModule.html#ac40e98040f949171279afec54bb03f71',1,'SVF::SVFModule']]],
-  ['modulename_11531',['moduleName',['../classSVF_1_1SVFStat.html#a3333e45303dcc9c3da00858628cdbbff',1,'SVF::SVFStat']]],
-  ['modules_11532',['modules',['../classSVF_1_1LLVMModuleSet.html#acde6292e719c80f93d3d1c344ab442cd',1,'SVF::LLVMModuleSet']]],
-  ['mr_11533',['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_11534',['mr2CounterMap',['../classSVF_1_1MemSSA.html#a22e2dd0fc78877bdedd207a40540a634',1,'SVF::MemSSA']]],
-  ['mr2verstackmap_11535',['mr2VerStackMap',['../classSVF_1_1MemSSA.html#ae4c7b17d8da8278dca362af79f9f268d',1,'SVF::MemSSA']]],
-  ['mrgen_11536',['mrGen',['../classSVF_1_1MemSSA.html#a213ebe634bbdbe33460ccd941c1dc6a5',1,'SVF::MemSSA']]],
-  ['mssa_11537',['mssa',['../classSVF_1_1SVFG.html#aa6a563cab8678b2256ca6ae7838285c8',1,'SVF::SVFG::mssa()'],['../classSVF_1_1MemSSAStat.html#ab29515f4e5b1f090c06a6e39761d3394',1,'SVF::MemSSAStat::mssa()']]],
-  ['mssafun_11538',['MSSAFun',['../classSVF_1_1Options.html#aa8818e8138233838af224d4214de9e8f',1,'SVF::Options']]],
-  ['mssavartodefmap_11539',['MSSAVarToDefMap',['../classSVF_1_1SVFG.html#aafa1b445bd3578daaba8f82e517745f1',1,'SVF::SVFG']]],
-  ['multiforked_11540',['multiforked',['../classSVF_1_1TCTNode.html#a414f4b98fb8fd36d2cb381ff56eb98d8',1,'SVF::TCTNode']]],
-  ['multiopndlabelcounter_11541',['multiOpndLabelCounter',['../classSVF_1_1SVFStmt.html#a9ea22adbfc307dddee42ffec07cc88ed',1,'SVF::SVFStmt']]],
-  ['mutptdata_11542',['mutPTData',['../classSVF_1_1MutableDiffPTData.html#a3603cb4baf60b1aa83b7807ac5591484',1,'SVF::MutableDiffPTData::mutPTData()'],['../classSVF_1_1MutableDFPTData.html#acf40f716470f73095d44a1b9e3bb939e',1,'SVF::MutableDFPTData::mutPTData()']]]
+  ['m_11489',['M',['../classSVF_1_1RaceResultValidator.html#aedc9ec6c3db947fa7e1ef50fbb61e9a8',1,'SVF::RaceResultValidator']]],
+  ['m_5fcond_11490',['m_cond',['../classSVF_1_1CondVar.html#a90b13685d2126f8c10dde4a504bb28df',1,'SVF::CondVar']]],
+  ['m_5fid_11491',['m_id',['../classSVF_1_1CondVar.html#a26fd04b3f2d45f0c230e1823f3eea49a',1,'SVF::CondVar']]],
+  ['malloconly_11492',['MallocOnly',['../classSVF_1_1Options.html#a9711cdc976786b3949ac6b26f95b59b0',1,'SVF::Options']]],
+  ['markedclocksonly_11493',['MarkedClocksOnly',['../classSVF_1_1Options.html#abcb6796d45722562546f33b2745a0418',1,'SVF::Options']]],
+  ['maxbvlen_11494',['MaxBVLen',['../classSVF_1_1Options.html#a71461051f5fe6b4cc33103746525b23f',1,'SVF::Options']]],
+  ['maxcontextlen_11495',['MaxContextLen',['../classSVF_1_1Options.html#a6237da3f4e264fa8b63c11d621f39e71',1,'SVF::Options']]],
+  ['maxcxtsize_11496',['MaxCxtSize',['../classSVF_1_1TCT.html#aaae41663b1d1f4d38b047c50c156defb',1,'SVF::TCT']]],
+  ['maxfieldlimit_11497',['MaxFieldLimit',['../classSVF_1_1Options.html#aaab923c093730b1670a54f09340b1bd5',1,'SVF::Options']]],
+  ['maximumbudget_11498',['maximumBudget',['../classSVF_1_1DPItem.html#a5dbb0e6010b38c5b937ff06cb40cd0ef',1,'SVF::DPItem']]],
+  ['maximumcxt_11499',['maximumCxt',['../classSVF_1_1ContextCond.html#a151b9f21eedd4fdd8f46b78bb456582d',1,'SVF::ContextCond']]],
+  ['maximumcxtlen_11500',['maximumCxtLen',['../classSVF_1_1ContextCond.html#a3280db7a2b93612fb693a7c1117acfdd',1,'SVF::ContextCond']]],
+  ['maximumpath_11501',['maximumPath',['../classSVF_1_1ContextCond.html#a7d89351906ef4dff9adb1196f45bc9be',1,'SVF::ContextCond']]],
+  ['maximumpathlen_11502',['maximumPathLen',['../classSVF_1_1ContextCond.html#aa61b4de81e440448daaf0c5be53aebf3',1,'SVF::ContextCond']]],
+  ['maxindegree_11503',['maxInDegree',['../classSVF_1_1SVFGStat.html#a536b591b21756519262873462001f421',1,'SVF::SVFGStat']]],
+  ['maxindindegree_11504',['maxIndInDegree',['../classSVF_1_1SVFGStat.html#a2f1bb17038de877fd1ccffdea3f3cde3',1,'SVF::SVFGStat']]],
+  ['maxindoutdegree_11505',['maxIndOutDegree',['../classSVF_1_1SVFGStat.html#ac7cb2228bd31e8ebdf33ae2bfd399683',1,'SVF::SVFGStat']]],
+  ['maxoffsetlimit_11506',['maxOffsetLimit',['../classSVF_1_1ObjTypeInfo.html#a5ff63eb0654acd152f7d6c18618ee94a',1,'SVF::ObjTypeInfo']]],
+  ['maxoutdegree_11507',['maxOutDegree',['../classSVF_1_1SVFGStat.html#a6694ace7ee1b24b0c5ce42e06e4db2cf',1,'SVF::SVFGStat']]],
+  ['maxpathlen_11508',['MaxPathLen',['../classSVF_1_1Options.html#a63121666a96f6cd2ae56d868c9576a53',1,'SVF::Options']]],
+  ['maxpointstosetsize_11509',['MaxPointsToSetSize',['../classSVF_1_1AndersenBase.html#abd73e930450b7c605f478672bdf9bdae',1,'SVF::AndersenBase']]],
+  ['maxsccsize_11510',['maxSCCSize',['../classSVF_1_1FlowSensitive.html#aa3d4703756a6297ab5c0756172024fe4',1,'SVF::FlowSensitive']]],
+  ['maxstepinwrapper_11511',['MaxStepInWrapper',['../classSVF_1_1Options.html#aab0131558d9da9b0fe888387217ba919',1,'SVF::Options']]],
+  ['maxstruct_11512',['maxStruct',['../classSVF_1_1SymbolTableInfo.html#a0c1143eff451edf8ea47d4487a8d3a55',1,'SVF::SymbolTableInfo']]],
+  ['maxstsize_11513',['maxStSize',['../classSVF_1_1SymbolTableInfo.html#abb8550c9ef856e45cb7675c3796f9a35',1,'SVF::SymbolTableInfo']]],
+  ['maxz3size_11514',['MaxZ3Size',['../classSVF_1_1Options.html#a86f982d9716181bca93a350b5a11a1dc',1,'SVF::Options']]],
+  ['meldlabelingtime_11515',['meldLabelingTime',['../classSVF_1_1VersionedFlowSensitive.html#a4a594c8d6ccaa27b5328c6388fdb258d',1,'SVF::VersionedFlowSensitive']]],
+  ['mem_11516',['mem',['../classSVF_1_1ObjVar.html#a3d08dc1d15a449ff4b7018da4bfdcb88',1,'SVF::ObjVar']]],
+  ['memobjmap_11517',['memObjMap',['../classSVF_1_1SymbolTableInfoReader.html#a0bf60f2250c864592c507dd6b03800a9',1,'SVF::SymbolTableInfoReader']]],
+  ['mempar_11518',['MemPar',['../classSVF_1_1Options.html#aa127a32b03e381343c624e53adc4ef2e',1,'SVF::Options']]],
+  ['memregset_11519',['memRegSet',['../classSVF_1_1MRGenerator.html#af94bd8155a23273aab2396334d905119',1,'SVF::MRGenerator']]],
+  ['memssa_11520',['memSSA',['../classSVF_1_1CFLVF.html#a42998aacf670d108b2a00b8993507e1e',1,'SVF::CFLVF::memSSA()'],['../classSVF_1_1SrcSnkDDA.html#ab6803f0a2b3507213ad2979b9b12f700',1,'SVF::SrcSnkDDA::memSSA()'],['../classSVF_1_1FlowSensitive.html#a76f6f19ac2b58ab4a10a2d7e6e24e42a',1,'SVF::FlowSensitive::memSSA()']]],
+  ['memtofieldsmap_11521',['memToFieldsMap',['../classSVF_1_1SVFIR.html#a3c014227661d8976714772205611c252',1,'SVF::SVFIR']]],
+  ['mfspta_11522',['mfspta',['../classSVF_1_1FSMPTA.html#af248a80855457ca9e5a7208c114681bb',1,'SVF::FSMPTA']]],
+  ['mhp_11523',['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_11524',['mhpfuns',['../classSVF_1_1PCG.html#a96f91b051a8035b614e015bf4d5081e0',1,'SVF::PCG']]],
+  ['mhptime_11525',['MHPTime',['../classSVF_1_1MTAStat.html#a56411f7e64febab8aab94a4a9207e5d8',1,'SVF::MTAStat']]],
+  ['mod_11526',['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_11527',['ModelArrays',['../classSVF_1_1Options.html#a429c3000ee2ac45119b8c241aa06762c',1,'SVF::Options']]],
+  ['modelconstants_11528',['modelConstants',['../classSVF_1_1SymbolTableInfo.html#ad20ccb90e8f9dee488a8aec0600399dc',1,'SVF::SymbolTableInfo']]],
+  ['modelconsts_11529',['ModelConsts',['../classSVF_1_1Options.html#a18dd95e01a50aa82165c46a3801053c5',1,'SVF::Options']]],
+  ['module_11530',['module',['../classSVF_1_1DDAClient.html#a4ac68012099540beb87ee4700e824d64',1,'SVF::DDAClient']]],
+  ['moduleflagvalue_11531',['moduleFlagValue',['../namespaceSVF_1_1cppUtil_1_1ctir.html#a05c7c51164928786d70713094db7f3f3',1,'SVF::cppUtil::ctir']]],
+  ['moduleidentifier_11532',['moduleIdentifier',['../classSVF_1_1SVFModule.html#ac40e98040f949171279afec54bb03f71',1,'SVF::SVFModule']]],
+  ['modulename_11533',['moduleName',['../classSVF_1_1SVFStat.html#a3333e45303dcc9c3da00858628cdbbff',1,'SVF::SVFStat']]],
+  ['modules_11534',['modules',['../classSVF_1_1LLVMModuleSet.html#acde6292e719c80f93d3d1c344ab442cd',1,'SVF::LLVMModuleSet']]],
+  ['mr_11535',['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_11536',['mr2CounterMap',['../classSVF_1_1MemSSA.html#a22e2dd0fc78877bdedd207a40540a634',1,'SVF::MemSSA']]],
+  ['mr2verstackmap_11537',['mr2VerStackMap',['../classSVF_1_1MemSSA.html#ae4c7b17d8da8278dca362af79f9f268d',1,'SVF::MemSSA']]],
+  ['mrgen_11538',['mrGen',['../classSVF_1_1MemSSA.html#a213ebe634bbdbe33460ccd941c1dc6a5',1,'SVF::MemSSA']]],
+  ['mssa_11539',['mssa',['../classSVF_1_1SVFG.html#aa6a563cab8678b2256ca6ae7838285c8',1,'SVF::SVFG::mssa()'],['../classSVF_1_1MemSSAStat.html#ab29515f4e5b1f090c06a6e39761d3394',1,'SVF::MemSSAStat::mssa()']]],
+  ['mssafun_11540',['MSSAFun',['../classSVF_1_1Options.html#aa8818e8138233838af224d4214de9e8f',1,'SVF::Options']]],
+  ['mssavartodefmap_11541',['MSSAVarToDefMap',['../classSVF_1_1SVFG.html#aafa1b445bd3578daaba8f82e517745f1',1,'SVF::SVFG']]],
+  ['multiforked_11542',['multiforked',['../classSVF_1_1TCTNode.html#a414f4b98fb8fd36d2cb381ff56eb98d8',1,'SVF::TCTNode']]],
+  ['multiopndlabelcounter_11543',['multiOpndLabelCounter',['../classSVF_1_1SVFStmt.html#a9ea22adbfc307dddee42ffec07cc88ed',1,'SVF::SVFStmt']]],
+  ['mutptdata_11544',['mutPTData',['../classSVF_1_1MutableDiffPTData.html#a3603cb4baf60b1aa83b7807ac5591484',1,'SVF::MutableDiffPTData::mutPTData()'],['../classSVF_1_1MutableDFPTData.html#acf40f716470f73095d44a1b9e3bb939e',1,'SVF::MutableDFPTData::mutPTData()']]]
 ];