svf-tools 1.0.802 → 1.0.804

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

@@ -1,39 +1,39 @@
 var searchData=
 [
-  ['e_11203',['e',['../classSVF_1_1Z3Expr.html#ae14d9fa0613b196420b90d20cc8df041',1,'SVF::Z3Expr']]],
-  ['ebnfsigns_11204',['EBNFSigns',['../classSVF_1_1GrammarBase.html#a7909a5f90ed1678a178f18259f0b66a9',1,'SVF::GrammarBase']]],
-  ['edge2pts_11205',['edge2pts',['../classSVF_1_1MTASVFGBuilder.html#a1c0de33bba2f05f14140d872c345ab38',1,'SVF::MTASVFGBuilder']]],
-  ['edgeflag_11206',['edgeFlag',['../classSVF_1_1GenericEdge.html#aa1f446e93750580dce04a127231dd1a3',1,'SVF::GenericEdge']]],
-  ['edgeid_11207',['edgeId',['../classSVF_1_1ConstraintEdge.html#af51f8e9b3c1dd68855581d0d1739ba29',1,'SVF::ConstraintEdge::edgeId()'],['../classSVF_1_1SVFStmt.html#a593cc8136f2138a518476405e667e060',1,'SVF::SVFStmt::edgeId()']]],
-  ['edgeindex_11208',['edgeIndex',['../classSVF_1_1ConstraintGraph.html#ac246dc91562d4b1e168b7c39b2c2720f',1,'SVF::ConstraintGraph']]],
-  ['edgekindmask_11209',['EdgeKindMask',['../classSVF_1_1GrammarBase.html#a9fd7f7c4dcb4c32bb410f3e0a6f3ad0d',1,'SVF::GrammarBase::EdgeKindMask()'],['../classSVF_1_1GenericEdge.html#a93dec4c27088242a4b1b6aa82cea46b9',1,'SVF::GenericEdge::EdgeKindMask()']]],
-  ['edgekindmaskbits_11210',['EdgeKindMaskBits',['../classSVF_1_1GrammarBase.html#adc1413dc2e875a6e74bdb5b985cdd39f',1,'SVF::GrammarBase::EdgeKindMaskBits()'],['../classSVF_1_1GenericEdge.html#af1c2fd4b5ef1d7b7605572bf2489c298',1,'SVF::GenericEdge::EdgeKindMaskBits()']]],
-  ['edgenum_11211',['edgeNum',['../classSVF_1_1GenericGraph.html#a2fbc96de5f066469c2739229307bcc0c',1,'SVF::GenericGraph']]],
-  ['edgepool_11212',['edgePool',['../classSVF_1_1GenericGraphWriter.html#aaa8ecb5b12d426a8d33cd51819ab2789',1,'SVF::GenericGraphWriter::edgePool()'],['../classSVF_1_1GenericGraphReader.html#a3d975e78d6ac1090c4bd6095429d2ab3',1,'SVF::GenericGraphReader::edgePool()']]],
-  ['edgetype_11213',['edgeType',['../classSVF_1_1CHEdge.html#a58ac14decda4041e773d723475f5c1c8',1,'SVF::CHEdge']]],
-  ['ei_5fpairs_11214',['ei_pairs',['../SaberCheckerAPI_8cpp.html#aa5c38361a7f02befa83ea45388056ea1',1,'ei_pairs(): SaberCheckerAPI.cpp'],['../ThreadAPI_8cpp.html#aa5c38361a7f02befa83ea45388056ea1',1,'ei_pairs(): ThreadAPI.cpp']]],
-  ['elementindex_11215',['ElementIndex',['../structSVF_1_1SparseBitVectorElement.html#ae5c5ac3afef47499a4e852de0dc39c18',1,'SVF::SparseBitVectorElement']]],
-  ['elements_11216',['elements',['../classSVF_1_1CondStdSet.html#a1caece9a66b6617b89037fd8211f2934',1,'SVF::CondStdSet::elements()'],['../classSVF_1_1SparseBitVector.html#ab094576b73de3c8580ea152f90d63636',1,'SVF::SparseBitVector::Elements()']]],
-  ['elemidxvec_11217',['elemIdxVec',['../classSVF_1_1StInfo.html#a807ae5cb4d277c79f8b2c9ecde5f12ea',1,'SVF::StInfo']]],
-  ['elemnum_11218',['elemNum',['../classSVF_1_1ObjTypeInfo.html#a5fdcd5f3b7550e7bdc30c8c030c6226d',1,'SVF::ObjTypeInfo']]],
-  ['else_11219',['else',['../cJSON_8cpp.html#a0544c3fe466e421738dae463968b70ba',1,'cJSON.cpp']]],
-  ['emptydata_11220',['emptyData',['../classSVF_1_1POCRSolver.html#ab871a24f8eb451aec71fd94af7a65bc0',1,'SVF::POCRSolver']]],
-  ['enablealiascheck_11221',['EnableAliasCheck',['../classSVF_1_1Options.html#a5f07ff361307017b35fb6b9a97919a73',1,'SVF::Options']]],
-  ['enablethreadcallgraph_11222',['EnableThreadCallGraph',['../classSVF_1_1Options.html#a1daf36a755523519187c3a8e9a19b58d',1,'SVF::Options']]],
-  ['end_5fiterator_11223',['end_iterator',['../classSVF_1_1iter__range.html#aced2e91eaf4970e387ad249f6e936373',1,'SVF::iter_range']]],
-  ['endtime_11224',['endTime',['../classSVF_1_1SVFStat.html#a8b01f1564408b51f28c107454bf9068d',1,'SVF::SVFStat']]],
-  ['entry_11225',['entry',['../classSVF_1_1CallPE.html#a88e420e259b8d7d34c9850ddde53d372',1,'SVF::CallPE']]],
-  ['entryfuncset_11226',['entryFuncSet',['../classSVF_1_1TCT.html#a140eaf9440ae9d52dbfb659967aa449a',1,'SVF::TCT']]],
-  ['entryicfgedges_11227',['entryICFGEdges',['../classSVF_1_1SVFLoop.html#a681d712db88d105c8a2f758de3d7e72e',1,'SVF::SVFLoop']]],
-  ['epsilon_11228',['epsilon',['../VFGGrammar_8txt.html#ac5f2eebeadca57b6dd4a532ba5f01757',1,'VFGGrammar.txt']]],
-  ['epsilonprods_11229',['epsilonProds',['../classSVF_1_1CFGrammar.html#a66a41e0f9a4c6112a686584e7d48d1e6',1,'SVF::CFGrammar']]],
-  ['equivalentobject_11230',['equivalentObject',['../classSVF_1_1VersionedFlowSensitive.html#a2d451d89f99a4bff828b682723df477f',1,'SVF::VersionedFlowSensitive']]],
-  ['evaltime_11231',['EvalTime',['../classSVF_1_1NodeIDAllocator_1_1Clusterer.html#a1d98862e19affdd08740f85490d0d856',1,'SVF::NodeIDAllocator::Clusterer']]],
-  ['eventinst_11232',['eventInst',['../classSVF_1_1SVFBugEvent.html#ac550e02b8d1d7713c53a29dab5a78c6d',1,'SVF::SVFBugEvent']]],
-  ['exit_11233',['exit',['../classSVF_1_1RetPE.html#a6f6ccda153150b6acdd81550e45f640f',1,'SVF::RetPE']]],
-  ['extapipath_11234',['ExtAPIPath',['../classSVF_1_1Options.html#a2dffc9d885fa53340a1cdbc028d7f24a',1,'SVF::Options']]],
-  ['extbcpath_11235',['extBcPath',['../classSVF_1_1ExtAPI.html#a3ce3e67c96a65484d8077d9e3a9efa7d',1,'SVF::ExtAPI']]],
-  ['extended_11236',['extended',['../classSVF_1_1DCHGraph.html#aa6f49dfc9e3580d3f2d8c257395eb11e',1,'SVF::DCHGraph']]],
-  ['extfuncsvec_11237',['ExtFuncsVec',['../classSVF_1_1LLVMModuleSet.html#ab932917041e1b1d8b461bfef464330fd',1,'SVF::LLVMModuleSet']]],
-  ['extop_11238',['extOp',['../classSVF_1_1ExtAPI.html#a552feab663622681db231d5b48f00d75',1,'SVF::ExtAPI']]]
+  ['e_11207',['e',['../classSVF_1_1Z3Expr.html#ae14d9fa0613b196420b90d20cc8df041',1,'SVF::Z3Expr']]],
+  ['ebnfsigns_11208',['EBNFSigns',['../classSVF_1_1GrammarBase.html#a7909a5f90ed1678a178f18259f0b66a9',1,'SVF::GrammarBase']]],
+  ['edge2pts_11209',['edge2pts',['../classSVF_1_1MTASVFGBuilder.html#a1c0de33bba2f05f14140d872c345ab38',1,'SVF::MTASVFGBuilder']]],
+  ['edgeflag_11210',['edgeFlag',['../classSVF_1_1GenericEdge.html#aa1f446e93750580dce04a127231dd1a3',1,'SVF::GenericEdge']]],
+  ['edgeid_11211',['edgeId',['../classSVF_1_1ConstraintEdge.html#af51f8e9b3c1dd68855581d0d1739ba29',1,'SVF::ConstraintEdge::edgeId()'],['../classSVF_1_1SVFStmt.html#a593cc8136f2138a518476405e667e060',1,'SVF::SVFStmt::edgeId()']]],
+  ['edgeindex_11212',['edgeIndex',['../classSVF_1_1ConstraintGraph.html#ac246dc91562d4b1e168b7c39b2c2720f',1,'SVF::ConstraintGraph']]],
+  ['edgekindmask_11213',['EdgeKindMask',['../classSVF_1_1GrammarBase.html#a9fd7f7c4dcb4c32bb410f3e0a6f3ad0d',1,'SVF::GrammarBase::EdgeKindMask()'],['../classSVF_1_1GenericEdge.html#a93dec4c27088242a4b1b6aa82cea46b9',1,'SVF::GenericEdge::EdgeKindMask()']]],
+  ['edgekindmaskbits_11214',['EdgeKindMaskBits',['../classSVF_1_1GrammarBase.html#adc1413dc2e875a6e74bdb5b985cdd39f',1,'SVF::GrammarBase::EdgeKindMaskBits()'],['../classSVF_1_1GenericEdge.html#af1c2fd4b5ef1d7b7605572bf2489c298',1,'SVF::GenericEdge::EdgeKindMaskBits()']]],
+  ['edgenum_11215',['edgeNum',['../classSVF_1_1GenericGraph.html#a2fbc96de5f066469c2739229307bcc0c',1,'SVF::GenericGraph']]],
+  ['edgepool_11216',['edgePool',['../classSVF_1_1GenericGraphWriter.html#aaa8ecb5b12d426a8d33cd51819ab2789',1,'SVF::GenericGraphWriter::edgePool()'],['../classSVF_1_1GenericGraphReader.html#a3d975e78d6ac1090c4bd6095429d2ab3',1,'SVF::GenericGraphReader::edgePool()']]],
+  ['edgetype_11217',['edgeType',['../classSVF_1_1CHEdge.html#a58ac14decda4041e773d723475f5c1c8',1,'SVF::CHEdge']]],
+  ['ei_5fpairs_11218',['ei_pairs',['../SaberCheckerAPI_8cpp.html#aa5c38361a7f02befa83ea45388056ea1',1,'ei_pairs(): SaberCheckerAPI.cpp'],['../ThreadAPI_8cpp.html#aa5c38361a7f02befa83ea45388056ea1',1,'ei_pairs(): ThreadAPI.cpp']]],
+  ['elementindex_11219',['ElementIndex',['../structSVF_1_1SparseBitVectorElement.html#ae5c5ac3afef47499a4e852de0dc39c18',1,'SVF::SparseBitVectorElement']]],
+  ['elements_11220',['elements',['../classSVF_1_1CondStdSet.html#a1caece9a66b6617b89037fd8211f2934',1,'SVF::CondStdSet::elements()'],['../classSVF_1_1SparseBitVector.html#ab094576b73de3c8580ea152f90d63636',1,'SVF::SparseBitVector::Elements()']]],
+  ['elemidxvec_11221',['elemIdxVec',['../classSVF_1_1StInfo.html#a807ae5cb4d277c79f8b2c9ecde5f12ea',1,'SVF::StInfo']]],
+  ['elemnum_11222',['elemNum',['../classSVF_1_1ObjTypeInfo.html#a5fdcd5f3b7550e7bdc30c8c030c6226d',1,'SVF::ObjTypeInfo']]],
+  ['else_11223',['else',['../cJSON_8cpp.html#a0544c3fe466e421738dae463968b70ba',1,'cJSON.cpp']]],
+  ['emptydata_11224',['emptyData',['../classSVF_1_1POCRSolver.html#ab871a24f8eb451aec71fd94af7a65bc0',1,'SVF::POCRSolver']]],
+  ['enablealiascheck_11225',['EnableAliasCheck',['../classSVF_1_1Options.html#a5f07ff361307017b35fb6b9a97919a73',1,'SVF::Options']]],
+  ['enablethreadcallgraph_11226',['EnableThreadCallGraph',['../classSVF_1_1Options.html#a1daf36a755523519187c3a8e9a19b58d',1,'SVF::Options']]],
+  ['end_5fiterator_11227',['end_iterator',['../classSVF_1_1iter__range.html#aced2e91eaf4970e387ad249f6e936373',1,'SVF::iter_range']]],
+  ['endtime_11228',['endTime',['../classSVF_1_1SVFStat.html#a8b01f1564408b51f28c107454bf9068d',1,'SVF::SVFStat']]],
+  ['entry_11229',['entry',['../classSVF_1_1CallPE.html#a88e420e259b8d7d34c9850ddde53d372',1,'SVF::CallPE']]],
+  ['entryfuncset_11230',['entryFuncSet',['../classSVF_1_1TCT.html#a140eaf9440ae9d52dbfb659967aa449a',1,'SVF::TCT']]],
+  ['entryicfgedges_11231',['entryICFGEdges',['../classSVF_1_1SVFLoop.html#a681d712db88d105c8a2f758de3d7e72e',1,'SVF::SVFLoop']]],
+  ['epsilon_11232',['epsilon',['../VFGGrammar_8txt.html#ac5f2eebeadca57b6dd4a532ba5f01757',1,'VFGGrammar.txt']]],
+  ['epsilonprods_11233',['epsilonProds',['../classSVF_1_1CFGrammar.html#a66a41e0f9a4c6112a686584e7d48d1e6',1,'SVF::CFGrammar']]],
+  ['equivalentobject_11234',['equivalentObject',['../classSVF_1_1VersionedFlowSensitive.html#a2d451d89f99a4bff828b682723df477f',1,'SVF::VersionedFlowSensitive']]],
+  ['evaltime_11235',['EvalTime',['../classSVF_1_1NodeIDAllocator_1_1Clusterer.html#a1d98862e19affdd08740f85490d0d856',1,'SVF::NodeIDAllocator::Clusterer']]],
+  ['eventinst_11236',['eventInst',['../classSVF_1_1SVFBugEvent.html#ac550e02b8d1d7713c53a29dab5a78c6d',1,'SVF::SVFBugEvent']]],
+  ['exit_11237',['exit',['../classSVF_1_1RetPE.html#a6f6ccda153150b6acdd81550e45f640f',1,'SVF::RetPE']]],
+  ['extapipath_11238',['ExtAPIPath',['../classSVF_1_1Options.html#a2dffc9d885fa53340a1cdbc028d7f24a',1,'SVF::Options']]],
+  ['extbcpath_11239',['extBcPath',['../classSVF_1_1ExtAPI.html#a3ce3e67c96a65484d8077d9e3a9efa7d',1,'SVF::ExtAPI']]],
+  ['extended_11240',['extended',['../classSVF_1_1DCHGraph.html#aa6f49dfc9e3580d3f2d8c257395eb11e',1,'SVF::DCHGraph']]],
+  ['extfuncsvec_11241',['ExtFuncsVec',['../classSVF_1_1LLVMModuleSet.html#ab932917041e1b1d8b461bfef464330fd',1,'SVF::LLVMModuleSet']]],
+  ['extop_11242',['extOp',['../classSVF_1_1ExtAPI.html#a552feab663622681db231d5b48f00d75',1,'SVF::ExtAPI']]]
 ];

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

@@ -1,69 +1,69 @@
 var searchData=
 [
-  ['f_11239',['F',['../classSVF_1_1mapped__iter.html#a98e22cf9681fc948e9656bb1faeb36e1',1,'SVF::mapped_iter']]],
-  ['fastclustertime_11240',['FastClusterTime',['../classSVF_1_1NodeIDAllocator_1_1Clusterer.html#ae78d2b60035350c634f6f58d7a043c22',1,'SVF::NodeIDAllocator::Clusterer']]],
-  ['fbar_11241',['Fbar',['../PEGGrammar_8txt.html#a1e8b28eb87d57c33c5c45731db639c91',1,'PEGGrammar.txt']]],
-  ['fieldreps_11242',['fieldReps',['../classSVF_1_1AndersenSFR.html#a99337c429aebe9046c65068b44eff7cc',1,'SVF::AndersenSFR']]],
-  ['fieldtypes_11243',['fieldTypes',['../classSVF_1_1DCHGraph.html#acd9eb23f857d84a6050a5d00c512c123',1,'SVF::DCHGraph']]],
-  ['file_11244',['file',['../classSVF_1_1PAGBuilderFromFile.html#a9ce304b448de65fbde586655dce885a4',1,'SVF::PAGBuilderFromFile']]],
-  ['filechecker_11245',['FILECHECKER',['../saber_8cpp.html#a040433670c569ad3978a19fb1bf44d5b',1,'saber.cpp']]],
-  ['filename_11246',['fileName',['../classSVF_1_1GrammarBuilder.html#aa0f5135a232adc1ca42d4f51a3c70704',1,'SVF::GrammarBuilder']]],
-  ['filterfun_11247',['filterFun',['../classSVF_1_1LockResultValidator.html#a70cdb993b3e90c70cc083fb8ed93fb91',1,'SVF::LockResultValidator']]],
-  ['finalcond_11248',['finalCond',['../classSVF_1_1ProgSlice.html#a011fcd4f081926e808e15630cb2d4b47',1,'SVF::ProgSlice']]],
-  ['finfo_11249',['finfo',['../classSVF_1_1StInfo.html#ae3dc579aa3688c607f279215372eef4f',1,'SVF::StInfo']]],
-  ['firstfieldeqbase_11250',['FirstFieldEqBase',['../classSVF_1_1Options.html#a12e88ce4ba3d39017203ec4cd3ccccea',1,'SVF::Options']]],
-  ['firstrhstoprods_11251',['firstRHSToProds',['../classSVF_1_1CFGrammar.html#a02117195df31a99b3fa3250ba33425c5',1,'SVF::CFGrammar']]],
-  ['fja_11252',['fja',['../classSVF_1_1MHP.html#a98857a1837cef5519c938d07bb771a60',1,'SVF::MHP']]],
-  ['flags_11253',['flags',['../classSVF_1_1DCHNode.html#a0b2c21429fd28c50965737a0baa2e90b',1,'SVF::DCHNode::flags()'],['../classSVF_1_1RaceResultValidator_1_1AccessPair.html#aafb0a0cd068e1632f0d643233cad8ad9',1,'SVF::RaceResultValidator::AccessPair::flags()'],['../classSVF_1_1CHNode.html#a6844c89f715979709dc52d4854373e72',1,'SVF::CHNode::flags()'],['../classSVF_1_1ObjTypeInfo.html#abf6bbcccf73bfcd5b950803d349c4eb1',1,'SVF::ObjTypeInfo::flags()']]],
-  ['flattenelementtypes_11254',['flattenElementTypes',['../classSVF_1_1StInfo.html#ab99748a89da80812bbf6ffde768d7246',1,'SVF::StInfo']]],
-  ['fldidx_11255',['fldIdx',['../classSVF_1_1AccessPath.html#aa1747064a0833855a5848ebf4a4d65fa',1,'SVF::AccessPath']]],
-  ['fldidx2typemap_11256',['fldIdx2TypeMap',['../classSVF_1_1StInfo.html#ad64be5942408c143a34a4a0d7cff09da',1,'SVF::StInfo']]],
-  ['fldidxvec_11257',['fldIdxVec',['../classSVF_1_1StInfo.html#a77c94c0ab75b2d5af2132ff8e082cefe',1,'SVF::StInfo']]],
-  ['flexsymmap_11258',['FlexSymMap',['../classSVF_1_1Options.html#a8e22c3bca5ee0e4e7d90e857a5ea8031',1,'SVF::Options']]],
-  ['flowbudget_11259',['FlowBudget',['../classSVF_1_1Options.html#a8c02af98e908c48cef1de0085ed10ce4',1,'SVF::Options']]],
-  ['flowdda_11260',['flowDDA',['../classSVF_1_1ContextDDA.html#a2a23f0235fc49a177b2694f668b02551',1,'SVF::ContextDDA::flowDDA()'],['../classSVF_1_1DDAStat.html#a86e03ef25f150b98bc1f8c89bfd7fc77',1,'SVF::DDAStat::flowDDA()']]],
-  ['fmt_11261',['fmt',['../cJSON_8h.html#aa813b2b7bde1a5a1f528cd9d9aa9ee7d',1,'fmt(): cJSON.h'],['../cJSON_8cpp.html#aa813b2b7bde1a5a1f528cd9d9aa9ee7d',1,'fmt(): cJSON.cpp']]],
-  ['followers_11262',['followers',['../classSVF_1_1PCG.html#ab3a3d18bac6e1f833583d41fa562caea',1,'SVF::PCG']]],
-  ['forksite_11263',['forksite',['../classSVF_1_1CxtThread.html#aa5d6be70f17419748ba572e347da6bd3',1,'SVF::CxtThread']]],
-  ['forksites_11264',['forksites',['../classSVF_1_1ThreadCallGraph.html#a69b86668a04dc3e5bb85ab4f3f0fce27',1,'SVF::ThreadCallGraph']]],
-  ['formalouttodefmap_11265',['formalOutToDefMap',['../classSVF_1_1SVFGOPT.html#abbd6ac28826b9cc4c4981271393c8b19',1,'SVF::SVFGOPT']]],
-  ['formalret_11266',['formalRet',['../classSVF_1_1FunExitICFGNode.html#ac3765c6a34ddff0018e38ce644d96641',1,'SVF::FunExitICFGNode']]],
-  ['format_11267',['format',['../structprintbuffer.html#a75d3f480f5308e7f4afecf30e11277ef',1,'printbuffer::format()'],['../cJSON_8h.html#a6122748ab66fdcaed151288ac056a1d1',1,'format(): cJSON.h'],['../cJSON_8cpp.html#a6122748ab66fdcaed151288ac056a1d1',1,'format(): cJSON.cpp']]],
-  ['forwardslice_11268',['forwardSlice',['../classSVF_1_1SVFGStat.html#a1e5ec005dda8dc918422eaf33f3145f8',1,'SVF::SVFGStat::forwardSlice()'],['../classSVF_1_1ProgSlice.html#ac12dc4caa0c764ae69175e787efad2ab',1,'SVF::ProgSlice::forwardslice()']]],
-  ['fpnodes_11269',['FPNodes',['../classSVF_1_1FunEntryICFGNode.html#a30e8c63bf2ae7a7528b9d8a516340ade',1,'SVF::FunEntryICFGNode']]],
-  ['fromfile_11270',['fromFile',['../classSVF_1_1IRGraph.html#a7750a2b2a98bb39fc5f67af4e0c12379',1,'SVF::IRGraph']]],
-  ['fsanno_11271',['FSAnno',['../classSVF_1_1Options.html#a4f022e2f997d25ec50842b4248147336',1,'SVF::Options']]],
-  ['fsmptatime_11272',['FSMPTATime',['../classSVF_1_1MTAStat.html#a030671ec358a93e3c2887f048dcfcce8',1,'SVF::MTAStat']]],
-  ['fspta_11273',['fspta',['../classSVF_1_1FlowSensitive.html#a2fac4f6a9d2cc19b2d998f0197e6883b',1,'SVF::FlowSensitive::fspta()'],['../classSVF_1_1FlowSensitiveStat.html#af7e04f73ee17647c52e571cadef8729f',1,'SVF::FlowSensitiveStat::fspta()']]],
-  ['fstimelimit_11274',['FsTimeLimit',['../classSVF_1_1Options.html#a6ebad0decdd6e93c661b72d80f5dbcef',1,'SVF::Options']]],
-  ['fulljoin_11275',['fullJoin',['../classSVF_1_1ForkJoinAnalysis.html#a4193a30050195cd9aaafd58511b66ccc',1,'SVF::ForkJoinAnalysis']]],
-  ['fullreachable_11276',['fullReachable',['../classSVF_1_1ProgSlice.html#a632db4b2e69848955925746ac721d94f',1,'SVF::ProgSlice']]],
-  ['fun_11277',['fun',['../classSVF_1_1ICFGNode.html#a03587dbd558d8fffe25307b42e3195be',1,'SVF::ICFGNode::fun()'],['../classSVF_1_1PTACallGraphNode.html#a1453299fc45dc51d2c9842ff4de1b860',1,'SVF::PTACallGraphNode::fun()'],['../classSVF_1_1InterMSSAPHISVFGNode.html#aa7ccd369a342e151e22062c92bf1f978',1,'SVF::InterMSSAPHISVFGNode::fun()'],['../classSVF_1_1FormalParmVFGNode.html#ad8f56074e213d2e7dc1d22a1b0765f8c',1,'SVF::FormalParmVFGNode::fun()'],['../classSVF_1_1FormalRetVFGNode.html#ae267daf3681188e6e74f656a73d21be3',1,'SVF::FormalRetVFGNode::fun()'],['../classSVF_1_1InterPHIVFGNode.html#a5aa8e8a10a5c30f2f4669c9190e18740',1,'SVF::InterPHIVFGNode::fun()'],['../classSVF_1_1RetMU.html#a4982f6fffac4f4775e27f994677a9f2c',1,'SVF::RetMU::fun()'],['../classSVF_1_1EntryCHI.html#afd2b2d4a7198f62467b4062740e5196c',1,'SVF::EntryCHI::fun()'],['../classSVF_1_1SVFBasicBlock.html#acb3ada4f28d5acd73474e9f626dfd7b7',1,'SVF::SVFBasicBlock::fun()'],['../classSVF_1_1SVFArgument.html#a3ff4ec73d0e5eea7d8369d3d948e89f4',1,'SVF::SVFArgument::fun()'],['../classSVF_1_1CxtProc.html#a70b6a2ae40bd7e4b08ddcb6d6b0289df',1,'SVF::CxtProc::fun()']]],
-  ['funargslistmap_11278',['funArgsListMap',['../classSVF_1_1SVFIR.html#a864c465fbfdbbbdcc7fc8bbe26737903',1,'SVF::SVFIR']]],
-  ['funcname_11279',['funcName',['../structSVF_1_1cppUtil_1_1DemangledName.html#a1dd17b240663bc9412adefde82385e02',1,'SVF::cppUtil::DemangledName']]],
-  ['funcpointerprint_11280',['FuncPointerPrint',['../classSVF_1_1Options.html#abb91435e1e06b07548c539e7f7761563',1,'SVF::Options']]],
-  ['functionset_11281',['FunctionSet',['../classSVF_1_1SVFModule.html#af33660b9938a1a78b7ae44bf429c717e',1,'SVF::SVFModule']]],
-  ['functointermap_11282',['funcToInterMap',['../classSVF_1_1IntraDisjointMRG.html#ac3873b9ae1339e8d502e85c217638078',1,'SVF::IntraDisjointMRG']]],
-  ['functoptsmap_11283',['funcToPtsMap',['../classSVF_1_1IntraDisjointMRG.html#a4b05180c942c1d049e70f8050f4186f6',1,'SVF::IntraDisjointMRG']]],
-  ['functype_11284',['funcType',['../classSVF_1_1SVFFunction.html#ad1c1ca2a7d4a681f24712345222e9ddc',1,'SVF::SVFFunction']]],
-  ['fundecltodefmap_11285',['FunDeclToDefMap',['../classSVF_1_1LLVMModuleSet.html#aee80b29e5246e3eaa0e30e165346101f',1,'SVF::LLVMModuleSet']]],
-  ['fundeftodeclsmap_11286',['FunDefToDeclsMap',['../classSVF_1_1LLVMModuleSet.html#a377cefaad4b688ab6edf94ba4abe00ee',1,'SVF::LLVMModuleSet']]],
-  ['funentrynode_11287',['funEntryNode',['../classSVF_1_1FormalINSVFGNode.html#a4a574589ae53d38e63fc4a26a5b9af61',1,'SVF::FormalINSVFGNode']]],
-  ['funexitnode_11288',['funExitNode',['../classSVF_1_1FormalOUTSVFGNode.html#af5235111849f826880c10d7bcc635748',1,'SVF::FormalOUTSVFGNode']]],
-  ['funnameofvcall_11289',['funNameOfVcall',['../classSVF_1_1SVFVirtualCallInst.html#a34767de48e7d454c3ea7c92dcb29b268',1,'SVF::SVFVirtualCallInst']]],
-  ['funptrtocallsitesmap_11290',['funPtrToCallSitesMap',['../classSVF_1_1SVFIR.html#af9c840e4b82fe9fd9493eabaa2b52bd5',1,'SVF::SVFIR']]],
-  ['funretmap_11291',['funRetMap',['../classSVF_1_1SVFIR.html#a4cef56f7fc77b47dc6e65c59c98551c5',1,'SVF::SVFIR']]],
-  ['funtocallgraphnodemap_11292',['funToCallGraphNodeMap',['../classSVF_1_1PTACallGraph.html#a97986d6e6732c78b04cc053f0e9d1367',1,'SVF::PTACallGraph']]],
-  ['funtoentrychisetmap_11293',['funToEntryChiSetMap',['../classSVF_1_1MemSSA.html#a59314f6ce17919574d687a08a38b55ec',1,'SVF::MemSSA']]],
-  ['funtoexitbbsmap_11294',['funToExitBBsMap',['../classSVF_1_1SaberCondAllocator.html#ad1620cc7482aeb464b53cfce64e17cc3',1,'SVF::SaberCondAllocator']]],
-  ['funtoformalinmap_11295',['funToFormalINMap',['../classSVF_1_1SVFG.html#ae51cd0493e4e767848b96b69045762fd',1,'SVF::SVFG']]],
-  ['funtoformaloutmap_11296',['funToFormalOUTMap',['../classSVF_1_1SVFG.html#a7d58f9fe97071ec9936174689cb99301',1,'SVF::SVFG']]],
-  ['funtofunentrynodemap_11297',['FunToFunEntryNodeMap',['../classSVF_1_1ICFG.html#a69076849bd256fb0ca59711a59a7c092',1,'SVF::ICFG']]],
-  ['funtofunexitnodemap_11298',['FunToFunExitNodeMap',['../classSVF_1_1ICFG.html#ab87a90adae3e9db06da7ecc0bd9d920f',1,'SVF::ICFG']]],
-  ['funtomodsmap_11299',['funToModsMap',['../classSVF_1_1MRGenerator.html#a2c94bfa19ad8d1d6360b12693c8b891d',1,'SVF::MRGenerator']]],
-  ['funtomrsmap_11300',['funToMRsMap',['../classSVF_1_1MRGenerator.html#a3e74c3706ffcc14f378771b417dcbb96',1,'SVF::MRGenerator']]],
-  ['funtopointstomap_11301',['funToPointsToMap',['../classSVF_1_1MRGenerator.html#a05c7a5ddbe3079f63be76c35298d1c2b',1,'SVF::MRGenerator']]],
-  ['funtorefsmap_11302',['funToRefsMap',['../classSVF_1_1MRGenerator.html#af6d58e2971c4a8d3ee03f9dfd9072a3a',1,'SVF::MRGenerator']]],
-  ['funtoreturnmusetmap_11303',['funToReturnMuSetMap',['../classSVF_1_1MemSSA.html#abae2396bf8a37a22be9365d368fe455c',1,'SVF::MemSSA']]],
-  ['funtovfgnodesmap_11304',['funToVFGNodesMap',['../classSVF_1_1VFG.html#a9a99ae86d16ffe69bff9d52de769d049',1,'SVF::VFG']]]
+  ['f_11243',['F',['../classSVF_1_1mapped__iter.html#a98e22cf9681fc948e9656bb1faeb36e1',1,'SVF::mapped_iter']]],
+  ['fastclustertime_11244',['FastClusterTime',['../classSVF_1_1NodeIDAllocator_1_1Clusterer.html#ae78d2b60035350c634f6f58d7a043c22',1,'SVF::NodeIDAllocator::Clusterer']]],
+  ['fbar_11245',['Fbar',['../PEGGrammar_8txt.html#a1e8b28eb87d57c33c5c45731db639c91',1,'PEGGrammar.txt']]],
+  ['fieldreps_11246',['fieldReps',['../classSVF_1_1AndersenSFR.html#a99337c429aebe9046c65068b44eff7cc',1,'SVF::AndersenSFR']]],
+  ['fieldtypes_11247',['fieldTypes',['../classSVF_1_1DCHGraph.html#acd9eb23f857d84a6050a5d00c512c123',1,'SVF::DCHGraph']]],
+  ['file_11248',['file',['../classSVF_1_1PAGBuilderFromFile.html#a9ce304b448de65fbde586655dce885a4',1,'SVF::PAGBuilderFromFile']]],
+  ['filechecker_11249',['FILECHECKER',['../saber_8cpp.html#a040433670c569ad3978a19fb1bf44d5b',1,'saber.cpp']]],
+  ['filename_11250',['fileName',['../classSVF_1_1GrammarBuilder.html#aa0f5135a232adc1ca42d4f51a3c70704',1,'SVF::GrammarBuilder']]],
+  ['filterfun_11251',['filterFun',['../classSVF_1_1LockResultValidator.html#a70cdb993b3e90c70cc083fb8ed93fb91',1,'SVF::LockResultValidator']]],
+  ['finalcond_11252',['finalCond',['../classSVF_1_1ProgSlice.html#a011fcd4f081926e808e15630cb2d4b47',1,'SVF::ProgSlice']]],
+  ['finfo_11253',['finfo',['../classSVF_1_1StInfo.html#ae3dc579aa3688c607f279215372eef4f',1,'SVF::StInfo']]],
+  ['firstfieldeqbase_11254',['FirstFieldEqBase',['../classSVF_1_1Options.html#a12e88ce4ba3d39017203ec4cd3ccccea',1,'SVF::Options']]],
+  ['firstrhstoprods_11255',['firstRHSToProds',['../classSVF_1_1CFGrammar.html#a02117195df31a99b3fa3250ba33425c5',1,'SVF::CFGrammar']]],
+  ['fja_11256',['fja',['../classSVF_1_1MHP.html#a98857a1837cef5519c938d07bb771a60',1,'SVF::MHP']]],
+  ['flags_11257',['flags',['../classSVF_1_1DCHNode.html#a0b2c21429fd28c50965737a0baa2e90b',1,'SVF::DCHNode::flags()'],['../classSVF_1_1RaceResultValidator_1_1AccessPair.html#aafb0a0cd068e1632f0d643233cad8ad9',1,'SVF::RaceResultValidator::AccessPair::flags()'],['../classSVF_1_1CHNode.html#a6844c89f715979709dc52d4854373e72',1,'SVF::CHNode::flags()'],['../classSVF_1_1ObjTypeInfo.html#abf6bbcccf73bfcd5b950803d349c4eb1',1,'SVF::ObjTypeInfo::flags()']]],
+  ['flattenelementtypes_11258',['flattenElementTypes',['../classSVF_1_1StInfo.html#ab99748a89da80812bbf6ffde768d7246',1,'SVF::StInfo']]],
+  ['fldidx_11259',['fldIdx',['../classSVF_1_1AccessPath.html#aa1747064a0833855a5848ebf4a4d65fa',1,'SVF::AccessPath']]],
+  ['fldidx2typemap_11260',['fldIdx2TypeMap',['../classSVF_1_1StInfo.html#ad64be5942408c143a34a4a0d7cff09da',1,'SVF::StInfo']]],
+  ['fldidxvec_11261',['fldIdxVec',['../classSVF_1_1StInfo.html#a77c94c0ab75b2d5af2132ff8e082cefe',1,'SVF::StInfo']]],
+  ['flexsymmap_11262',['FlexSymMap',['../classSVF_1_1Options.html#a8e22c3bca5ee0e4e7d90e857a5ea8031',1,'SVF::Options']]],
+  ['flowbudget_11263',['FlowBudget',['../classSVF_1_1Options.html#a8c02af98e908c48cef1de0085ed10ce4',1,'SVF::Options']]],
+  ['flowdda_11264',['flowDDA',['../classSVF_1_1ContextDDA.html#a2a23f0235fc49a177b2694f668b02551',1,'SVF::ContextDDA::flowDDA()'],['../classSVF_1_1DDAStat.html#a86e03ef25f150b98bc1f8c89bfd7fc77',1,'SVF::DDAStat::flowDDA()']]],
+  ['fmt_11265',['fmt',['../cJSON_8h.html#aa813b2b7bde1a5a1f528cd9d9aa9ee7d',1,'fmt(): cJSON.h'],['../cJSON_8cpp.html#aa813b2b7bde1a5a1f528cd9d9aa9ee7d',1,'fmt(): cJSON.cpp']]],
+  ['followers_11266',['followers',['../classSVF_1_1PCG.html#ab3a3d18bac6e1f833583d41fa562caea',1,'SVF::PCG']]],
+  ['forksite_11267',['forksite',['../classSVF_1_1CxtThread.html#aa5d6be70f17419748ba572e347da6bd3',1,'SVF::CxtThread']]],
+  ['forksites_11268',['forksites',['../classSVF_1_1ThreadCallGraph.html#a69b86668a04dc3e5bb85ab4f3f0fce27',1,'SVF::ThreadCallGraph']]],
+  ['formalouttodefmap_11269',['formalOutToDefMap',['../classSVF_1_1SVFGOPT.html#abbd6ac28826b9cc4c4981271393c8b19',1,'SVF::SVFGOPT']]],
+  ['formalret_11270',['formalRet',['../classSVF_1_1FunExitICFGNode.html#ac3765c6a34ddff0018e38ce644d96641',1,'SVF::FunExitICFGNode']]],
+  ['format_11271',['format',['../structprintbuffer.html#a75d3f480f5308e7f4afecf30e11277ef',1,'printbuffer::format()'],['../cJSON_8h.html#a6122748ab66fdcaed151288ac056a1d1',1,'format(): cJSON.h'],['../cJSON_8cpp.html#a6122748ab66fdcaed151288ac056a1d1',1,'format(): cJSON.cpp']]],
+  ['forwardslice_11272',['forwardSlice',['../classSVF_1_1SVFGStat.html#a1e5ec005dda8dc918422eaf33f3145f8',1,'SVF::SVFGStat::forwardSlice()'],['../classSVF_1_1ProgSlice.html#ac12dc4caa0c764ae69175e787efad2ab',1,'SVF::ProgSlice::forwardslice()']]],
+  ['fpnodes_11273',['FPNodes',['../classSVF_1_1FunEntryICFGNode.html#a30e8c63bf2ae7a7528b9d8a516340ade',1,'SVF::FunEntryICFGNode']]],
+  ['fromfile_11274',['fromFile',['../classSVF_1_1IRGraph.html#a7750a2b2a98bb39fc5f67af4e0c12379',1,'SVF::IRGraph']]],
+  ['fsanno_11275',['FSAnno',['../classSVF_1_1Options.html#a4f022e2f997d25ec50842b4248147336',1,'SVF::Options']]],
+  ['fsmptatime_11276',['FSMPTATime',['../classSVF_1_1MTAStat.html#a030671ec358a93e3c2887f048dcfcce8',1,'SVF::MTAStat']]],
+  ['fspta_11277',['fspta',['../classSVF_1_1FlowSensitive.html#a2fac4f6a9d2cc19b2d998f0197e6883b',1,'SVF::FlowSensitive::fspta()'],['../classSVF_1_1FlowSensitiveStat.html#af7e04f73ee17647c52e571cadef8729f',1,'SVF::FlowSensitiveStat::fspta()']]],
+  ['fstimelimit_11278',['FsTimeLimit',['../classSVF_1_1Options.html#a6ebad0decdd6e93c661b72d80f5dbcef',1,'SVF::Options']]],
+  ['fulljoin_11279',['fullJoin',['../classSVF_1_1ForkJoinAnalysis.html#a4193a30050195cd9aaafd58511b66ccc',1,'SVF::ForkJoinAnalysis']]],
+  ['fullreachable_11280',['fullReachable',['../classSVF_1_1ProgSlice.html#a632db4b2e69848955925746ac721d94f',1,'SVF::ProgSlice']]],
+  ['fun_11281',['fun',['../classSVF_1_1ICFGNode.html#a03587dbd558d8fffe25307b42e3195be',1,'SVF::ICFGNode::fun()'],['../classSVF_1_1PTACallGraphNode.html#a1453299fc45dc51d2c9842ff4de1b860',1,'SVF::PTACallGraphNode::fun()'],['../classSVF_1_1InterMSSAPHISVFGNode.html#aa7ccd369a342e151e22062c92bf1f978',1,'SVF::InterMSSAPHISVFGNode::fun()'],['../classSVF_1_1FormalParmVFGNode.html#ad8f56074e213d2e7dc1d22a1b0765f8c',1,'SVF::FormalParmVFGNode::fun()'],['../classSVF_1_1FormalRetVFGNode.html#ae267daf3681188e6e74f656a73d21be3',1,'SVF::FormalRetVFGNode::fun()'],['../classSVF_1_1InterPHIVFGNode.html#a5aa8e8a10a5c30f2f4669c9190e18740',1,'SVF::InterPHIVFGNode::fun()'],['../classSVF_1_1RetMU.html#a4982f6fffac4f4775e27f994677a9f2c',1,'SVF::RetMU::fun()'],['../classSVF_1_1EntryCHI.html#afd2b2d4a7198f62467b4062740e5196c',1,'SVF::EntryCHI::fun()'],['../classSVF_1_1SVFBasicBlock.html#acb3ada4f28d5acd73474e9f626dfd7b7',1,'SVF::SVFBasicBlock::fun()'],['../classSVF_1_1SVFArgument.html#a3ff4ec73d0e5eea7d8369d3d948e89f4',1,'SVF::SVFArgument::fun()'],['../classSVF_1_1CxtProc.html#a70b6a2ae40bd7e4b08ddcb6d6b0289df',1,'SVF::CxtProc::fun()']]],
+  ['funargslistmap_11282',['funArgsListMap',['../classSVF_1_1SVFIR.html#a864c465fbfdbbbdcc7fc8bbe26737903',1,'SVF::SVFIR']]],
+  ['funcname_11283',['funcName',['../structSVF_1_1cppUtil_1_1DemangledName.html#a1dd17b240663bc9412adefde82385e02',1,'SVF::cppUtil::DemangledName']]],
+  ['funcpointerprint_11284',['FuncPointerPrint',['../classSVF_1_1Options.html#abb91435e1e06b07548c539e7f7761563',1,'SVF::Options']]],
+  ['functionset_11285',['FunctionSet',['../classSVF_1_1SVFModule.html#af33660b9938a1a78b7ae44bf429c717e',1,'SVF::SVFModule']]],
+  ['functointermap_11286',['funcToInterMap',['../classSVF_1_1IntraDisjointMRG.html#ac3873b9ae1339e8d502e85c217638078',1,'SVF::IntraDisjointMRG']]],
+  ['functoptsmap_11287',['funcToPtsMap',['../classSVF_1_1IntraDisjointMRG.html#a4b05180c942c1d049e70f8050f4186f6',1,'SVF::IntraDisjointMRG']]],
+  ['functype_11288',['funcType',['../classSVF_1_1SVFFunction.html#ad1c1ca2a7d4a681f24712345222e9ddc',1,'SVF::SVFFunction']]],
+  ['fundecltodefmap_11289',['FunDeclToDefMap',['../classSVF_1_1LLVMModuleSet.html#aee80b29e5246e3eaa0e30e165346101f',1,'SVF::LLVMModuleSet']]],
+  ['fundeftodeclsmap_11290',['FunDefToDeclsMap',['../classSVF_1_1LLVMModuleSet.html#a377cefaad4b688ab6edf94ba4abe00ee',1,'SVF::LLVMModuleSet']]],
+  ['funentrynode_11291',['funEntryNode',['../classSVF_1_1FormalINSVFGNode.html#a4a574589ae53d38e63fc4a26a5b9af61',1,'SVF::FormalINSVFGNode']]],
+  ['funexitnode_11292',['funExitNode',['../classSVF_1_1FormalOUTSVFGNode.html#af5235111849f826880c10d7bcc635748',1,'SVF::FormalOUTSVFGNode']]],
+  ['funnameofvcall_11293',['funNameOfVcall',['../classSVF_1_1SVFVirtualCallInst.html#a34767de48e7d454c3ea7c92dcb29b268',1,'SVF::SVFVirtualCallInst']]],
+  ['funptrtocallsitesmap_11294',['funPtrToCallSitesMap',['../classSVF_1_1SVFIR.html#af9c840e4b82fe9fd9493eabaa2b52bd5',1,'SVF::SVFIR']]],
+  ['funretmap_11295',['funRetMap',['../classSVF_1_1SVFIR.html#a4cef56f7fc77b47dc6e65c59c98551c5',1,'SVF::SVFIR']]],
+  ['funtocallgraphnodemap_11296',['funToCallGraphNodeMap',['../classSVF_1_1PTACallGraph.html#a97986d6e6732c78b04cc053f0e9d1367',1,'SVF::PTACallGraph']]],
+  ['funtoentrychisetmap_11297',['funToEntryChiSetMap',['../classSVF_1_1MemSSA.html#a59314f6ce17919574d687a08a38b55ec',1,'SVF::MemSSA']]],
+  ['funtoexitbbsmap_11298',['funToExitBBsMap',['../classSVF_1_1SaberCondAllocator.html#ad1620cc7482aeb464b53cfce64e17cc3',1,'SVF::SaberCondAllocator']]],
+  ['funtoformalinmap_11299',['funToFormalINMap',['../classSVF_1_1SVFG.html#ae51cd0493e4e767848b96b69045762fd',1,'SVF::SVFG']]],
+  ['funtoformaloutmap_11300',['funToFormalOUTMap',['../classSVF_1_1SVFG.html#a7d58f9fe97071ec9936174689cb99301',1,'SVF::SVFG']]],
+  ['funtofunentrynodemap_11301',['FunToFunEntryNodeMap',['../classSVF_1_1ICFG.html#a69076849bd256fb0ca59711a59a7c092',1,'SVF::ICFG']]],
+  ['funtofunexitnodemap_11302',['FunToFunExitNodeMap',['../classSVF_1_1ICFG.html#ab87a90adae3e9db06da7ecc0bd9d920f',1,'SVF::ICFG']]],
+  ['funtomodsmap_11303',['funToModsMap',['../classSVF_1_1MRGenerator.html#a2c94bfa19ad8d1d6360b12693c8b891d',1,'SVF::MRGenerator']]],
+  ['funtomrsmap_11304',['funToMRsMap',['../classSVF_1_1MRGenerator.html#a3e74c3706ffcc14f378771b417dcbb96',1,'SVF::MRGenerator']]],
+  ['funtopointstomap_11305',['funToPointsToMap',['../classSVF_1_1MRGenerator.html#a05c7a5ddbe3079f63be76c35298d1c2b',1,'SVF::MRGenerator']]],
+  ['funtorefsmap_11306',['funToRefsMap',['../classSVF_1_1MRGenerator.html#af6d58e2971c4a8d3ee03f9dfd9072a3a',1,'SVF::MRGenerator']]],
+  ['funtoreturnmusetmap_11307',['funToReturnMuSetMap',['../classSVF_1_1MemSSA.html#abae2396bf8a37a22be9365d368fe455c',1,'SVF::MemSSA']]],
+  ['funtovfgnodesmap_11308',['funToVFGNodesMap',['../classSVF_1_1VFG.html#a9a99ae86d16ffe69bff9d52de769d049',1,'SVF::VFG']]]
 ];

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

@@ -1,36 +1,36 @@
 var searchData=
 [
-  ['g_11305',['G',['../classSVF_1_1GraphWriter.html#a0ac109f9b3c3b3fe3cb61bbef09e0d29',1,'SVF::GraphWriter']]],
-  ['generalnummap_11306',['generalNumMap',['../classSVF_1_1SVFStat.html#a07b6f8cb424b84b468c4518140fa3a41',1,'SVF::SVFStat']]],
-  ['gep_5f0_11307',['gep_0',['../PEGGrammar_8txt.html#a4c44ba149afa8531399b34ff202e7486',1,'PEGGrammar.txt']]],
-  ['gep_5f1_11308',['gep_1',['../PAGGrammar_8txt.html#a9a4e1871fa395956be13e1d7a5089719',1,'PAGGrammar.txt']]],
-  ['gep_5fi_11309',['gep_i',['../PAGGrammar_8txt.html#a70678866f928eaca8c8322d57a451d0a',1,'PAGGrammar.txt']]],
-  ['gepbar_5f0_11310',['gepbar_0',['../PAGGrammar_8txt.html#a2bd2d1614b7b4f376c61366b17c0637d',1,'gepbar_0(): PAGGrammar.txt'],['../PEGGrammar_8txt.html#a32ac366bb4f2b6561e1aad6ec61b65d2',1,'gepbar_0(): PEGGrammar.txt']]],
-  ['gepinedges_11311',['gepInEdges',['../classSVF_1_1ConstraintNode.html#a4d0113f2af3a61892acee1fb21f0b938',1,'SVF::ConstraintNode']]],
-  ['gepnodenumindex_11312',['gepNodeNumIndex',['../PAGBuilderFromFile_8cpp.html#a1af3947dbaf1ad4364bc4818f70ead40',1,'PAGBuilderFromFile.cpp']]],
-  ['gepobjvarmap_11313',['GepObjVarMap',['../classSVF_1_1SVFIR.html#a09a604cf6a7708f4391fcf807fec1453',1,'SVF::SVFIR']]],
-  ['gepoutedges_11314',['gepOutEdges',['../classSVF_1_1ConstraintNode.html#a583880cd83a9f353003e199401d1b024',1,'SVF::ConstraintNode']]],
-  ['gepsrcnodes_11315',['gepSrcNodes',['../classSVF_1_1AliasDDAClient.html#ab165537f4c9a318f31de8a272a529c9c',1,'SVF::AliasDDAClient']]],
-  ['geptime_11316',['gepTime',['../classSVF_1_1FlowSensitive.html#a282126e5b67ed4e19aa40c81180b8290',1,'SVF::FlowSensitive']]],
-  ['gepvalobjmap_11317',['GepValObjMap',['../classSVF_1_1SVFIR.html#ad7bbe1abea55ed03c9b6c81891c0bd67',1,'SVF::SVFIR']]],
-  ['gepvaltype_11318',['gepValType',['../classSVF_1_1GepValVar.html#a4aa450bce36b4b9f65b769eae649771a',1,'SVF::GepValVar']]],
-  ['getpointertoty_11319',['getPointerToTy',['../classSVF_1_1SVFType.html#a25faa037b356801c8c678f8c00dada33',1,'SVF::SVFType']]],
-  ['global_5ferror_11320',['global_error',['../cJSON_8cpp.html#a6ff6e9678e47cf5347872008661d5846',1,'cJSON.cpp']]],
-  ['global_5fhooks_11321',['global_hooks',['../cJSON_8cpp.html#a855c7241e836a5b2d87577df8c113faf',1,'cJSON.cpp']]],
-  ['globalblocknode_11322',['globalBlockNode',['../classSVF_1_1ICFG.html#a8e43b27d4484a4acb575e4c1c6c8fd02',1,'SVF::ICFG']]],
-  ['globalconses_11323',['globalConsES',['../classSVF_1_1ConsExeState.html#ac3ea5c4d65fac8934276a1ad12c97d06',1,'SVF::ConsExeState']]],
-  ['globaldeftorepmap_11324',['GlobalDefToRepMap',['../classSVF_1_1LLVMModuleSet.html#ae2a1fa0b908cf372c50af90e62c4bf2b',1,'SVF::LLVMModuleSet']]],
-  ['globales_11325',['globalES',['../classSVF_1_1IntervalExeState.html#a92b1b163493a74a31d30a261128edd05',1,'SVF::IntervalExeState']]],
-  ['globalnullvaddrs_11326',['globalNullVaddrs',['../classSVF_1_1SVFIR2ItvExeState.html#a75d5dfbc8252ef0994951af32aa53b74',1,'SVF::SVFIR2ItvExeState']]],
-  ['globalset_11327',['GlobalSet',['../classSVF_1_1SVFModule.html#a4ff4bbd1771615757fc6575282046e30',1,'SVF::SVFModule']]],
-  ['globalvfgnodes_11328',['globalVFGNodes',['../classSVF_1_1VFG.html#a6c3daf2777cc5f76ce07241f803720f3',1,'SVF::VFG']]],
-  ['globs_11329',['globs',['../classSVF_1_1SaberSVFGBuilder.html#a967dba864a6032e448222525aedb1f2a',1,'SVF::SaberSVFGBuilder']]],
-  ['globsvfgnodes_11330',['globSVFGNodes',['../classSVF_1_1SaberSVFGBuilder.html#a9431a9dcbcf88b78e721b0347046e997',1,'SVF::SaberSVFGBuilder']]],
-  ['globsvfstmtset_11331',['globSVFStmtSet',['../classSVF_1_1SVFIR.html#a71b51492b00e66e36266b9a76a842323',1,'SVF::SVFIR']]],
-  ['grammar_11332',['grammar',['../classSVF_1_1CFLBase.html#a8dd040c7078b7f1a61da76849c89a640',1,'SVF::CFLBase::grammar()'],['../classSVF_1_1CFLSolver.html#a89781bbd0edd309b7c473ed154e7c11d',1,'SVF::CFLSolver::grammar()'],['../classSVF_1_1GrammarBuilder.html#a7b81810150ce896801e4e6a831ab98aa',1,'SVF::GrammarBuilder::grammar()']]],
-  ['grammarbase_11333',['grammarBase',['../classSVF_1_1CFLBase.html#aef3da4ce970597586757cafd2a435c1f',1,'SVF::CFLBase']]],
-  ['grammarfilename_11334',['GrammarFilename',['../classSVF_1_1Options.html#ad09017ae2e1010fbba5c086a4772750f',1,'SVF::Options']]],
-  ['graph_11335',['graph',['../classSVF_1_1CFLBase.html#a8101683062b9a71c0b2309cbdfb7b26f',1,'SVF::CFLBase::graph()'],['../classSVF_1_1CFLSolver.html#aedd6c605c4c381c738f4c6682c40d9f2',1,'SVF::CFLSolver::graph()'],['../classSVF_1_1SVFGStat.html#a3d06ead4c3222ce8a0535d9f3d504c3d',1,'SVF::SVFGStat::graph()'],['../structSVF_1_1Inverse.html#a2037408b7047e9265b4b14e54bb584a2',1,'SVF::Inverse::Graph()']]],
-  ['graphfieldjson_11336',['graphFieldJson',['../classSVF_1_1GenericGraphReader.html#a2438233e46ad0a052ec1352de977df88',1,'SVF::GenericGraphReader']]],
-  ['graphtxt_11337',['Graphtxt',['../classSVF_1_1Options.html#a53f783c80f368bcdca6c7620229d6f8e',1,'SVF::Options']]]
+  ['g_11309',['G',['../classSVF_1_1GraphWriter.html#a0ac109f9b3c3b3fe3cb61bbef09e0d29',1,'SVF::GraphWriter']]],
+  ['generalnummap_11310',['generalNumMap',['../classSVF_1_1SVFStat.html#a07b6f8cb424b84b468c4518140fa3a41',1,'SVF::SVFStat']]],
+  ['gep_5f0_11311',['gep_0',['../PEGGrammar_8txt.html#a4c44ba149afa8531399b34ff202e7486',1,'PEGGrammar.txt']]],
+  ['gep_5f1_11312',['gep_1',['../PAGGrammar_8txt.html#a9a4e1871fa395956be13e1d7a5089719',1,'PAGGrammar.txt']]],
+  ['gep_5fi_11313',['gep_i',['../PAGGrammar_8txt.html#a70678866f928eaca8c8322d57a451d0a',1,'PAGGrammar.txt']]],
+  ['gepbar_5f0_11314',['gepbar_0',['../PAGGrammar_8txt.html#a2bd2d1614b7b4f376c61366b17c0637d',1,'gepbar_0(): PAGGrammar.txt'],['../PEGGrammar_8txt.html#a32ac366bb4f2b6561e1aad6ec61b65d2',1,'gepbar_0(): PEGGrammar.txt']]],
+  ['gepinedges_11315',['gepInEdges',['../classSVF_1_1ConstraintNode.html#a4d0113f2af3a61892acee1fb21f0b938',1,'SVF::ConstraintNode']]],
+  ['gepnodenumindex_11316',['gepNodeNumIndex',['../PAGBuilderFromFile_8cpp.html#a1af3947dbaf1ad4364bc4818f70ead40',1,'PAGBuilderFromFile.cpp']]],
+  ['gepobjvarmap_11317',['GepObjVarMap',['../classSVF_1_1SVFIR.html#a09a604cf6a7708f4391fcf807fec1453',1,'SVF::SVFIR']]],
+  ['gepoutedges_11318',['gepOutEdges',['../classSVF_1_1ConstraintNode.html#a583880cd83a9f353003e199401d1b024',1,'SVF::ConstraintNode']]],
+  ['gepsrcnodes_11319',['gepSrcNodes',['../classSVF_1_1AliasDDAClient.html#ab165537f4c9a318f31de8a272a529c9c',1,'SVF::AliasDDAClient']]],
+  ['geptime_11320',['gepTime',['../classSVF_1_1FlowSensitive.html#a282126e5b67ed4e19aa40c81180b8290',1,'SVF::FlowSensitive']]],
+  ['gepvalobjmap_11321',['GepValObjMap',['../classSVF_1_1SVFIR.html#ad7bbe1abea55ed03c9b6c81891c0bd67',1,'SVF::SVFIR']]],
+  ['gepvaltype_11322',['gepValType',['../classSVF_1_1GepValVar.html#a4aa450bce36b4b9f65b769eae649771a',1,'SVF::GepValVar']]],
+  ['getpointertoty_11323',['getPointerToTy',['../classSVF_1_1SVFType.html#a25faa037b356801c8c678f8c00dada33',1,'SVF::SVFType']]],
+  ['global_5ferror_11324',['global_error',['../cJSON_8cpp.html#a6ff6e9678e47cf5347872008661d5846',1,'cJSON.cpp']]],
+  ['global_5fhooks_11325',['global_hooks',['../cJSON_8cpp.html#a855c7241e836a5b2d87577df8c113faf',1,'cJSON.cpp']]],
+  ['globalblocknode_11326',['globalBlockNode',['../classSVF_1_1ICFG.html#a8e43b27d4484a4acb575e4c1c6c8fd02',1,'SVF::ICFG']]],
+  ['globalconses_11327',['globalConsES',['../classSVF_1_1ConsExeState.html#ac3ea5c4d65fac8934276a1ad12c97d06',1,'SVF::ConsExeState']]],
+  ['globaldeftorepmap_11328',['GlobalDefToRepMap',['../classSVF_1_1LLVMModuleSet.html#ae2a1fa0b908cf372c50af90e62c4bf2b',1,'SVF::LLVMModuleSet']]],
+  ['globales_11329',['globalES',['../classSVF_1_1IntervalExeState.html#a92b1b163493a74a31d30a261128edd05',1,'SVF::IntervalExeState']]],
+  ['globalnullvaddrs_11330',['globalNullVaddrs',['../classSVF_1_1SVFIR2ItvExeState.html#a75d5dfbc8252ef0994951af32aa53b74',1,'SVF::SVFIR2ItvExeState']]],
+  ['globalset_11331',['GlobalSet',['../classSVF_1_1SVFModule.html#a4ff4bbd1771615757fc6575282046e30',1,'SVF::SVFModule']]],
+  ['globalvfgnodes_11332',['globalVFGNodes',['../classSVF_1_1VFG.html#a6c3daf2777cc5f76ce07241f803720f3',1,'SVF::VFG']]],
+  ['globs_11333',['globs',['../classSVF_1_1SaberSVFGBuilder.html#a967dba864a6032e448222525aedb1f2a',1,'SVF::SaberSVFGBuilder']]],
+  ['globsvfgnodes_11334',['globSVFGNodes',['../classSVF_1_1SaberSVFGBuilder.html#a9431a9dcbcf88b78e721b0347046e997',1,'SVF::SaberSVFGBuilder']]],
+  ['globsvfstmtset_11335',['globSVFStmtSet',['../classSVF_1_1SVFIR.html#a71b51492b00e66e36266b9a76a842323',1,'SVF::SVFIR']]],
+  ['grammar_11336',['grammar',['../classSVF_1_1CFLBase.html#a8dd040c7078b7f1a61da76849c89a640',1,'SVF::CFLBase::grammar()'],['../classSVF_1_1CFLSolver.html#a89781bbd0edd309b7c473ed154e7c11d',1,'SVF::CFLSolver::grammar()'],['../classSVF_1_1GrammarBuilder.html#a7b81810150ce896801e4e6a831ab98aa',1,'SVF::GrammarBuilder::grammar()']]],
+  ['grammarbase_11337',['grammarBase',['../classSVF_1_1CFLBase.html#aef3da4ce970597586757cafd2a435c1f',1,'SVF::CFLBase']]],
+  ['grammarfilename_11338',['GrammarFilename',['../classSVF_1_1Options.html#ad09017ae2e1010fbba5c086a4772750f',1,'SVF::Options']]],
+  ['graph_11339',['graph',['../classSVF_1_1CFLBase.html#a8101683062b9a71c0b2309cbdfb7b26f',1,'SVF::CFLBase::graph()'],['../classSVF_1_1CFLSolver.html#aedd6c605c4c381c738f4c6682c40d9f2',1,'SVF::CFLSolver::graph()'],['../classSVF_1_1SVFGStat.html#a3d06ead4c3222ce8a0535d9f3d504c3d',1,'SVF::SVFGStat::graph()'],['../structSVF_1_1Inverse.html#a2037408b7047e9265b4b14e54bb584a2',1,'SVF::Inverse::Graph()']]],
+  ['graphfieldjson_11340',['graphFieldJson',['../classSVF_1_1GenericGraphReader.html#a2438233e46ad0a052ec1352de977df88',1,'SVF::GenericGraphReader']]],
+  ['graphtxt_11341',['Graphtxt',['../classSVF_1_1Options.html#a53f783c80f368bcdca6c7620229d6f8e',1,'SVF::Options']]]
 ];

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

@@ -1,10 +1,10 @@
 var searchData=
 [
-  ['handblackhole_11338',['HandBlackHole',['../classSVF_1_1Options.html#a51b28b2e973911fb8e2c23c6127e9a63',1,'SVF::Options']]],
-  ['hbpair_11339',['HBPair',['../classSVF_1_1ForkJoinAnalysis.html#aad3e722ecaa4a39aef0e1cabfa2b8019',1,'SVF::ForkJoinAnalysis']]],
-  ['head_11340',['head',['../classSVF_1_1List.html#a41d52072edb2b75ab15d67bf2663312a',1,'SVF::List']]],
-  ['headmap_11341',['headmap',['../classSVF_1_1MTASVFGBuilder.html#ac92452c257052706b1cf1737b266eec1',1,'SVF::MTASVFGBuilder']]],
-  ['hooks_11342',['hooks',['../structparse__buffer.html#a2c3e99b15da2935fc5d58124ffb4a894',1,'parse_buffer::hooks()'],['../structprintbuffer.html#a43a8b3bcc644432f12f5aed5159d2520',1,'printbuffer::hooks()'],['../cJSON_8cpp.html#a182a7b0d4467e799ca4ea26235b1cf74',1,'hooks(): cJSON.cpp']]],
-  ['hppair_11343',['HPPair',['../classSVF_1_1ForkJoinAnalysis.html#a4ad5c7a21ca994d908d648ca9d9e1833',1,'SVF::ForkJoinAnalysis']]],
-  ['humanreadableoption_11344',['humanReadableOption',['../SVFFileSystem_8cpp.html#aee01a3d251dee6a05d621f5265d92e84',1,'SVFFileSystem.cpp']]]
+  ['handblackhole_11342',['HandBlackHole',['../classSVF_1_1Options.html#a51b28b2e973911fb8e2c23c6127e9a63',1,'SVF::Options']]],
+  ['hbpair_11343',['HBPair',['../classSVF_1_1ForkJoinAnalysis.html#aad3e722ecaa4a39aef0e1cabfa2b8019',1,'SVF::ForkJoinAnalysis']]],
+  ['head_11344',['head',['../classSVF_1_1List.html#a41d52072edb2b75ab15d67bf2663312a',1,'SVF::List']]],
+  ['headmap_11345',['headmap',['../classSVF_1_1MTASVFGBuilder.html#ac92452c257052706b1cf1737b266eec1',1,'SVF::MTASVFGBuilder']]],
+  ['hooks_11346',['hooks',['../structparse__buffer.html#a2c3e99b15da2935fc5d58124ffb4a894',1,'parse_buffer::hooks()'],['../structprintbuffer.html#a43a8b3bcc644432f12f5aed5159d2520',1,'printbuffer::hooks()'],['../cJSON_8cpp.html#a182a7b0d4467e799ca4ea26235b1cf74',1,'hooks(): cJSON.cpp']]],
+  ['hppair_11347',['HPPair',['../classSVF_1_1ForkJoinAnalysis.html#a4ad5c7a21ca994d908d648ca9d9e1833',1,'SVF::ForkJoinAnalysis']]],
+  ['humanreadableoption_11348',['humanReadableOption',['../SVFFileSystem_8cpp.html#aee01a3d251dee6a05d621f5265d92e84',1,'SVFFileSystem.cpp']]]
 ];

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

@@ -1,80 +1,80 @@
 var searchData=
 [
-  ['i_11345',['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_11346',['I1',['../classSVF_1_1RaceResultValidator_1_1AccessPair.html#a2f6817c4f04b090ff8ebff68cafa5892',1,'SVF::RaceResultValidator::AccessPair']]],
-  ['i2_11347',['I2',['../classSVF_1_1RaceResultValidator_1_1AccessPair.html#a4759b40288c232686465893d988697f3',1,'SVF::RaceResultValidator::AccessPair']]],
-  ['icfg_11348',['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_11349',['icfgNode',['../classSVF_1_1VFGNode.html#a54c631f1e39be144c0cd25373f6b98b8',1,'SVF::VFGNode::icfgNode()'],['../classSVF_1_1SVFStmt.html#a50046a1500ec6e2819ef55162e70cc71',1,'SVF::SVFStmt::icfgNode()']]],
-  ['icfgnode2ptasvfstmtsmap_11350',['icfgNode2PTASVFStmtsMap',['../classSVF_1_1SVFIR.html#aaae756185bbd5b7175e96f8928a989c2',1,'SVF::SVFIR']]],
-  ['icfgnode2svfstmtsmap_11351',['icfgNode2SVFStmtsMap',['../classSVF_1_1SVFIR.html#a86c0c23d854b034d741d9d8891debab7',1,'SVF::SVFIR']]],
-  ['icfgnodes_11352',['icfgNodes',['../classSVF_1_1SVFLoop.html#a062e4b336b9b8315a9fc1107c9cab840',1,'SVF::SVFLoop']]],
-  ['icfgnodetosvfloopvec_11353',['icfgNodeToSVFLoopVec',['../classSVF_1_1ICFG.html#a7d6aeecb00d77600a204a72d60023d54',1,'SVF::ICFG']]],
-  ['icfgreader_11354',['icfgReader',['../classSVF_1_1SVFIRReader.html#aa1100e216d94eb445f59125e94815fd7',1,'SVF::SVFIRReader']]],
-  ['icfgwriter_11355',['icfgWriter',['../classSVF_1_1SVFIRWriter.html#aba5c3c3b62687a28301e9c65555e57f9',1,'SVF::SVFIRWriter']]],
-  ['id_11356',['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_11357',['idCounter',['../classSVF_1_1PersistentPointsToCache.html#ad8d24772f7503e0e735f546506d2bcc5',1,'SVF::PersistentPointsToCache']]],
-  ['idmap_11358',['idMap',['../classSVF_1_1ReaderIDToObjMap.html#a3ed6e858fd91ec6cf14361b55dec55b4',1,'SVF::ReaderIDToObjMap']]],
-  ['idtocsmap_11359',['idToCSMap',['../classSVF_1_1PTACallGraph.html#a5d6f63baad19589a9fd1e069631e18fa',1,'SVF::PTACallGraph']]],
-  ['idtonodemap_11360',['idToNodeMap',['../classSVF_1_1GenericGraphReader.html#a2fc2248a433201314c636856603cb3fa',1,'SVF::GenericGraphReader::idToNodeMap()'],['../classSVF_1_1GenericGraph.html#a47a1ef8b67b0c92f78b4457dc3bbfe71',1,'SVF::GenericGraph::IDToNodeMap()']]],
-  ['idtopts_11361',['idToPts',['../classSVF_1_1PersistentPointsToCache.html#a32009561c9d3a340ec4e6230ef17f998',1,'SVF::PersistentPointsToCache']]],
-  ['idtoterminstmap_11362',['idToTermInstMap',['../classSVF_1_1SaberCondAllocator.html#aee401aa2c7884888bbd26544bcd92881',1,'SVF::SaberCondAllocator']]],
-  ['ignoredeadfun_11363',['IgnoreDeadFun',['../classSVF_1_1Options.html#a00f3c4c53e6ade73f7667231c394c5d7',1,'SVF::Options']]],
-  ['incdfptdata_11364',['INCDFPTData',['../classSVF_1_1Options.html#a1743b8a1ab2d71c35206c7befa725d90',1,'SVF::Options']]],
-  ['incfledges_11365',['inCFLEdges',['../classSVF_1_1CFLNode.html#a3a7d1ea890272e9905406638b12bdc30',1,'SVF::CFLNode']]],
-  ['incycle_11366',['incycle',['../classSVF_1_1CxtThread.html#a97d876697e682b23211a8f930fed7f32',1,'SVF::CxtThread']]],
-  ['indcallsitetofunptrmap_11367',['indCallSiteToFunPtrMap',['../classSVF_1_1SVFIR.html#a0a5f88766b7e11f1ea35befcbcea62dc',1,'SVF::SVFIR']]],
-  ['index_11368',['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_11369',['IndirectCallLimit',['../classSVF_1_1Options.html#aa5bae1db07c401517c1c0f8fd9f2deef',1,'SVF::Options']]],
-  ['indirectcallmap_11370',['indirectCallMap',['../classSVF_1_1PTACallGraph.html#adcae44bd6788954e2e4e007bff03462c',1,'SVF::PTACallGraph']]],
-  ['indirectcalls_11371',['indirectCalls',['../classSVF_1_1PTACallGraphEdge.html#a66491523e4ccfdf2ff57e10cfd6f3074',1,'SVF::PTACallGraphEdge']]],
-  ['indirectpropatime_11372',['indirectPropaTime',['../classSVF_1_1FlowSensitive.html#a2feaa4b7a72989b311e9084a81320254',1,'SVF::FlowSensitive']]],
-  ['indmap_11373',['indMap',['../classSVF_1_1POCRHybridSolver.html#acaf3ed69888f4a3862dddf0de7508455',1,'SVF::POCRHybridSolver']]],
-  ['inedgekindtosetmap_11374',['InEdgeKindToSetMap',['../classSVF_1_1SVFVar.html#a0d918a6c8dd3b7b395d4c7161bcf9656',1,'SVF::SVFVar']]],
-  ['inedges_11375',['InEdges',['../classSVF_1_1CFBasicBlockNode.html#a7b1db0644849e066137c162e24026b67',1,'SVF::CFBasicBlockNode::InEdges()'],['../classSVF_1_1GenericNode.html#a24971168130222400d9aa5f03610bff5',1,'SVF::GenericNode::InEdges()']]],
-  ['inicfgedges_11376',['inICFGEdges',['../classSVF_1_1SVFLoop.html#a869a289f556304706f525f02ba9bff98',1,'SVF::SVFLoop']]],
-  ['inloop_11377',['inloop',['../classSVF_1_1CxtThread.html#a2066520689094db3c4a88f5a7fc4ec0c',1,'SVF::CxtThread']]],
-  ['inrecurjoinsites_11378',['inRecurJoinSites',['../classSVF_1_1TCT.html#a1b3872361dc17aaea359db8ce0cc2431',1,'SVF::TCT']]],
-  ['insencycle_11379',['InsenCycle',['../classSVF_1_1Options.html#a0c5d08f13bd41095afb3b60c7ffad0e0',1,'SVF::Options']]],
-  ['insenrecur_11380',['InsenRecur',['../classSVF_1_1Options.html#aeab702f641fd13ee1d0f89837097e43b',1,'SVF::Options']]],
-  ['insensitveedges_11381',['insensitveEdges',['../classSVF_1_1ContextDDA.html#a942e79dced48bd284a58540a2fb778b9',1,'SVF::ContextDDA']]],
-  ['inst_11382',['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_11383',['inst2LabelMap',['../classSVF_1_1SVFStmt.html#abb83549118bcd7216a053d82f7180d1c',1,'SVF::SVFStmt']]],
-  ['instcilocksmap_11384',['instCILocksMap',['../classSVF_1_1LockAnalysis.html#a277d88153d34cf3eb80272003949e4ef',1,'SVF::LockAnalysis']]],
-  ['insttoblocknodemap_11385',['InstToBlockNodeMap',['../classSVF_1_1ICFG.html#a23f905d849553d7ad652e9a8f1bfacd1',1,'SVF::ICFG']]],
-  ['insttocondcilocksmap_11386',['instTocondCILocksMap',['../classSVF_1_1LockAnalysis.html#a5a4167dd5dbd0017a4725c8774a5b522',1,'SVF::LockAnalysis']]],
-  ['insttocxtlockset_11387',['instToCxtLockSet',['../classSVF_1_1LockResultValidator.html#a841c1dfb065999215b5f415e403f7a2a',1,'SVF::LockResultValidator']]],
-  ['insttocxtstmtset_11388',['instToCxtStmtSet',['../classSVF_1_1LockAnalysis.html#ae8715683c7dfddc7b30caf6bf2b78296',1,'SVF::LockAnalysis']]],
-  ['insttotsmap_11389',['instToTSMap',['../classSVF_1_1MTAResultValidator.html#a8452bf182f6f1e0f4c239f620ee803b1',1,'SVF::MTAResultValidator::instToTSMap()'],['../classSVF_1_1MHP.html#a6b238ee6342da990840162845bba547f',1,'SVF::MHP::instToTSMap()']]],
-  ['interleavingqueriestime_11390',['interleavingQueriesTime',['../classSVF_1_1MHP.html#ab7d9fe837844197b7acdc0493a50aaa5',1,'SVF::MHP']]],
-  ['interleavingtime_11391',['interleavingTime',['../classSVF_1_1MHP.html#aca306b97c6dcd47a8f407038436473a2',1,'SVF::MHP']]],
-  ['interlev_5faccess_11392',['INTERLEV_ACCESS',['../classSVF_1_1MTAResultValidator.html#ad3c052835b34f2897089d1edc2548bae',1,'SVF::MTAResultValidator']]],
-  ['interlev_5fimprecise_11393',['INTERLEV_IMPRECISE',['../classSVF_1_1MTAResultValidator.html#a80414f4ba70357742fa0269f93f1a910',1,'SVF::MTAResultValidator']]],
-  ['interlev_5ftrue_11394',['INTERLEV_TRUE',['../classSVF_1_1MTAResultValidator.html#a5a6e2f2d1d6aa6fb3a83455b5a288ff1',1,'SVF::MTAResultValidator']]],
-  ['interlev_5funsound_11395',['INTERLEV_UNSOUND',['../classSVF_1_1MTAResultValidator.html#a0e2fb93a69df487606c0eeaeadab805d',1,'SVF::MTAResultValidator']]],
-  ['inters_11396',['inters',['../classSVF_1_1InterDisjointMRG.html#a104134d0f7c8b16abe8f5f3899c3bbf0',1,'SVF::InterDisjointMRG']]],
-  ['intersectioncache_11397',['intersectionCache',['../classSVF_1_1PersistentPointsToCache.html#a525fbb49c91040c078fbcaaae2339ef2',1,'SVF::PersistentPointsToCache']]],
-  ['intralock_11398',['IntraLock',['../classSVF_1_1Options.html#af6d92cd4372cd952e6d955cfc9be0ccb',1,'SVF::Options']]],
-  ['intrinsic_11399',['intrinsic',['../classSVF_1_1SVFFunction.html#a037b2583aa8d15ceeb630eaad41a36a3',1,'SVF::SVFFunction']]],
-  ['inupdatedvarmap_11400',['inUpdatedVarMap',['../classSVF_1_1MutableIncDFPTData.html#ab5e9ebf9e71652b5fa63d59c97d016e4',1,'SVF::MutableIncDFPTData::inUpdatedVarMap()'],['../classSVF_1_1PersistentIncDFPTData.html#a106391cd8eefab1740b54cd9bbacccad',1,'SVF::PersistentIncDFPTData::inUpdatedVarMap()']]],
-  ['invalidversion_11401',['invalidVersion',['../classSVF_1_1VersionedFlowSensitive.html#a3d44a343a2e3f5d276fd1b069c92e112',1,'SVF::VersionedFlowSensitive']]],
-  ['irgraphreader_11402',['irGraphReader',['../classSVF_1_1SVFIRReader.html#a0dbb50e2c4a8806a741e0c4173c445b8',1,'SVF::SVFIRReader']]],
-  ['irgraphwriter_11403',['irGraphWriter',['../classSVF_1_1SVFIRWriter.html#a997a5339fcb177556819b2e27b17b424',1,'SVF::SVFIRWriter']]],
-  ['is_5fiterable_5fv_11404',['is_iterable_v',['../namespaceSVF_1_1SVFUtil.html#aa32219da7a5c3d7517ec5026afdac588',1,'SVF::SVFUtil']]],
-  ['is_5fmap_5fv_11405',['is_map_v',['../namespaceSVF_1_1SVFUtil.html#a8c57ab480c497cbd21a49778d0e59bd5',1,'SVF::SVFUtil']]],
-  ['is_5fsequence_5fcontainer_5fv_11406',['is_sequence_container_v',['../namespaceSVF_1_1SVFUtil.html#a811faa9c2095f44e3e5b6e50aa6f6e06',1,'SVF::SVFUtil']]],
-  ['is_5fset_5fv_11407',['is_set_v',['../namespaceSVF_1_1SVFUtil.html#a08e67d68b1da116b2c51cb60bdb6dae2',1,'SVF::SVFUtil']]],
-  ['isdecl_11408',['isDecl',['../classSVF_1_1SVFFunction.html#a52581d00177fd5853d6f9de50b3e7fb9',1,'SVF::SVFFunction']]],
-  ['isexplicitlyset_11409',['isExplicitlySet',['../classOption.html#a980a99e59afae6419a9b15f7606d83dc',1,'Option::isExplicitlySet()'],['../classOptionMap.html#a9efba3b88013aa1745f47ab42d71c726',1,'OptionMap::isExplicitlySet()']]],
-  ['isloadmap_11410',['isLoadMap',['../classSVF_1_1VersionedFlowSensitive.html#a6bb3db072db0b899f306b37f1146f83d',1,'SVF::VersionedFlowSensitive']]],
-  ['isnotret_11411',['isNotRet',['../classSVF_1_1SVFFunction.html#ac85bdf04fd784e22a89426955d28e3d6',1,'SVF::SVFFunction']]],
-  ['isptr_11412',['isPtr',['../classSVF_1_1SVFVar.html#a7c8ffadedbf53d30694feeb7771990af',1,'SVF::SVFVar']]],
-  ['issimple_11413',['IsSimple',['../structSVF_1_1DefaultDOTGraphTraits.html#abf5957e894bacd69c9ead5a80a330626',1,'SVF::DefaultDOTGraphTraits']]],
-  ['issinglevalty_11414',['isSingleValTy',['../classSVF_1_1SVFType.html#ac26ba9052149b5b792aa8e8c3ccfd350',1,'SVF::SVFType']]],
-  ['isstoremap_11415',['isStoreMap',['../classSVF_1_1VersionedFlowSensitive.html#a18e25c3871d7cc1a6bb0592ceca90f88',1,'SVF::VersionedFlowSensitive']]],
-  ['isthunkfunc_11416',['isThunkFunc',['../structSVF_1_1cppUtil_1_1DemangledName.html#af6117df8aec7f4c077058fa8f00b0243',1,'SVF::cppUtil::DemangledName']]],
-  ['isuncalled_11417',['isUncalled',['../classSVF_1_1SVFFunction.html#a1e9dc1d660e3626540b7501194bb12ea',1,'SVF::SVFFunction']]],
-  ['item_11418',['item',['../cJSON_8h.html#ac76cea59d438ba893d2f82aabb367d14',1,'item(): cJSON.h'],['../cJSON_8cpp.html#ac011de571ff16ba220d2e0d757e4e8b0',1,'item(): cJSON.cpp']]],
-  ['iter_11419',['Iter',['../classSVF_1_1SparseBitVector_1_1SparseBitVectorIterator.html#a3627077086baa18bd0ae25efd981c18f',1,'SVF::SparseBitVector::SparseBitVectorIterator']]],
-  ['iter_5ffacade_5fbase_11420',['iter_facade_base',['../classSVF_1_1iter__facade__base_1_1ReferenceProxy.html#ab4717ea89d08ac05464fa95bc7f50ac6',1,'SVF::iter_facade_base::ReferenceProxy']]],
-  ['iterationforprintstat_11421',['iterationForPrintStat',['../classSVF_1_1WPASolver.html#aa7c0636780a86f376e9222bce771e859',1,'SVF::WPASolver']]]
+  ['i_11349',['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_11350',['I1',['../classSVF_1_1RaceResultValidator_1_1AccessPair.html#a2f6817c4f04b090ff8ebff68cafa5892',1,'SVF::RaceResultValidator::AccessPair']]],
+  ['i2_11351',['I2',['../classSVF_1_1RaceResultValidator_1_1AccessPair.html#a4759b40288c232686465893d988697f3',1,'SVF::RaceResultValidator::AccessPair']]],
+  ['icfg_11352',['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_11353',['icfgNode',['../classSVF_1_1VFGNode.html#a54c631f1e39be144c0cd25373f6b98b8',1,'SVF::VFGNode::icfgNode()'],['../classSVF_1_1SVFStmt.html#a50046a1500ec6e2819ef55162e70cc71',1,'SVF::SVFStmt::icfgNode()']]],
+  ['icfgnode2ptasvfstmtsmap_11354',['icfgNode2PTASVFStmtsMap',['../classSVF_1_1SVFIR.html#aaae756185bbd5b7175e96f8928a989c2',1,'SVF::SVFIR']]],
+  ['icfgnode2svfstmtsmap_11355',['icfgNode2SVFStmtsMap',['../classSVF_1_1SVFIR.html#a86c0c23d854b034d741d9d8891debab7',1,'SVF::SVFIR']]],
+  ['icfgnodes_11356',['icfgNodes',['../classSVF_1_1SVFLoop.html#a062e4b336b9b8315a9fc1107c9cab840',1,'SVF::SVFLoop']]],
+  ['icfgnodetosvfloopvec_11357',['icfgNodeToSVFLoopVec',['../classSVF_1_1ICFG.html#a7d6aeecb00d77600a204a72d60023d54',1,'SVF::ICFG']]],
+  ['icfgreader_11358',['icfgReader',['../classSVF_1_1SVFIRReader.html#aa1100e216d94eb445f59125e94815fd7',1,'SVF::SVFIRReader']]],
+  ['icfgwriter_11359',['icfgWriter',['../classSVF_1_1SVFIRWriter.html#aba5c3c3b62687a28301e9c65555e57f9',1,'SVF::SVFIRWriter']]],
+  ['id_11360',['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_11361',['idCounter',['../classSVF_1_1PersistentPointsToCache.html#ad8d24772f7503e0e735f546506d2bcc5',1,'SVF::PersistentPointsToCache']]],
+  ['idmap_11362',['idMap',['../classSVF_1_1ReaderIDToObjMap.html#a3ed6e858fd91ec6cf14361b55dec55b4',1,'SVF::ReaderIDToObjMap']]],
+  ['idtocsmap_11363',['idToCSMap',['../classSVF_1_1PTACallGraph.html#a5d6f63baad19589a9fd1e069631e18fa',1,'SVF::PTACallGraph']]],
+  ['idtonodemap_11364',['idToNodeMap',['../classSVF_1_1GenericGraphReader.html#a2fc2248a433201314c636856603cb3fa',1,'SVF::GenericGraphReader::idToNodeMap()'],['../classSVF_1_1GenericGraph.html#a47a1ef8b67b0c92f78b4457dc3bbfe71',1,'SVF::GenericGraph::IDToNodeMap()']]],
+  ['idtopts_11365',['idToPts',['../classSVF_1_1PersistentPointsToCache.html#a32009561c9d3a340ec4e6230ef17f998',1,'SVF::PersistentPointsToCache']]],
+  ['idtoterminstmap_11366',['idToTermInstMap',['../classSVF_1_1SaberCondAllocator.html#aee401aa2c7884888bbd26544bcd92881',1,'SVF::SaberCondAllocator']]],
+  ['ignoredeadfun_11367',['IgnoreDeadFun',['../classSVF_1_1Options.html#a00f3c4c53e6ade73f7667231c394c5d7',1,'SVF::Options']]],
+  ['incdfptdata_11368',['INCDFPTData',['../classSVF_1_1Options.html#a1743b8a1ab2d71c35206c7befa725d90',1,'SVF::Options']]],
+  ['incfledges_11369',['inCFLEdges',['../classSVF_1_1CFLNode.html#a3a7d1ea890272e9905406638b12bdc30',1,'SVF::CFLNode']]],
+  ['incycle_11370',['incycle',['../classSVF_1_1CxtThread.html#a97d876697e682b23211a8f930fed7f32',1,'SVF::CxtThread']]],
+  ['indcallsitetofunptrmap_11371',['indCallSiteToFunPtrMap',['../classSVF_1_1SVFIR.html#a0a5f88766b7e11f1ea35befcbcea62dc',1,'SVF::SVFIR']]],
+  ['index_11372',['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_11373',['IndirectCallLimit',['../classSVF_1_1Options.html#aa5bae1db07c401517c1c0f8fd9f2deef',1,'SVF::Options']]],
+  ['indirectcallmap_11374',['indirectCallMap',['../classSVF_1_1PTACallGraph.html#adcae44bd6788954e2e4e007bff03462c',1,'SVF::PTACallGraph']]],
+  ['indirectcalls_11375',['indirectCalls',['../classSVF_1_1PTACallGraphEdge.html#a66491523e4ccfdf2ff57e10cfd6f3074',1,'SVF::PTACallGraphEdge']]],
+  ['indirectpropatime_11376',['indirectPropaTime',['../classSVF_1_1FlowSensitive.html#a2feaa4b7a72989b311e9084a81320254',1,'SVF::FlowSensitive']]],
+  ['indmap_11377',['indMap',['../classSVF_1_1POCRHybridSolver.html#acaf3ed69888f4a3862dddf0de7508455',1,'SVF::POCRHybridSolver']]],
+  ['inedgekindtosetmap_11378',['InEdgeKindToSetMap',['../classSVF_1_1SVFVar.html#a0d918a6c8dd3b7b395d4c7161bcf9656',1,'SVF::SVFVar']]],
+  ['inedges_11379',['InEdges',['../classSVF_1_1CFBasicBlockNode.html#a7b1db0644849e066137c162e24026b67',1,'SVF::CFBasicBlockNode::InEdges()'],['../classSVF_1_1GenericNode.html#a24971168130222400d9aa5f03610bff5',1,'SVF::GenericNode::InEdges()']]],
+  ['inicfgedges_11380',['inICFGEdges',['../classSVF_1_1SVFLoop.html#a869a289f556304706f525f02ba9bff98',1,'SVF::SVFLoop']]],
+  ['inloop_11381',['inloop',['../classSVF_1_1CxtThread.html#a2066520689094db3c4a88f5a7fc4ec0c',1,'SVF::CxtThread']]],
+  ['inrecurjoinsites_11382',['inRecurJoinSites',['../classSVF_1_1TCT.html#a1b3872361dc17aaea359db8ce0cc2431',1,'SVF::TCT']]],
+  ['insencycle_11383',['InsenCycle',['../classSVF_1_1Options.html#a0c5d08f13bd41095afb3b60c7ffad0e0',1,'SVF::Options']]],
+  ['insenrecur_11384',['InsenRecur',['../classSVF_1_1Options.html#aeab702f641fd13ee1d0f89837097e43b',1,'SVF::Options']]],
+  ['insensitveedges_11385',['insensitveEdges',['../classSVF_1_1ContextDDA.html#a942e79dced48bd284a58540a2fb778b9',1,'SVF::ContextDDA']]],
+  ['inst_11386',['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_11387',['inst2LabelMap',['../classSVF_1_1SVFStmt.html#abb83549118bcd7216a053d82f7180d1c',1,'SVF::SVFStmt']]],
+  ['instcilocksmap_11388',['instCILocksMap',['../classSVF_1_1LockAnalysis.html#a277d88153d34cf3eb80272003949e4ef',1,'SVF::LockAnalysis']]],
+  ['insttoblocknodemap_11389',['InstToBlockNodeMap',['../classSVF_1_1ICFG.html#a23f905d849553d7ad652e9a8f1bfacd1',1,'SVF::ICFG']]],
+  ['insttocondcilocksmap_11390',['instTocondCILocksMap',['../classSVF_1_1LockAnalysis.html#a5a4167dd5dbd0017a4725c8774a5b522',1,'SVF::LockAnalysis']]],
+  ['insttocxtlockset_11391',['instToCxtLockSet',['../classSVF_1_1LockResultValidator.html#a841c1dfb065999215b5f415e403f7a2a',1,'SVF::LockResultValidator']]],
+  ['insttocxtstmtset_11392',['instToCxtStmtSet',['../classSVF_1_1LockAnalysis.html#ae8715683c7dfddc7b30caf6bf2b78296',1,'SVF::LockAnalysis']]],
+  ['insttotsmap_11393',['instToTSMap',['../classSVF_1_1MTAResultValidator.html#a8452bf182f6f1e0f4c239f620ee803b1',1,'SVF::MTAResultValidator::instToTSMap()'],['../classSVF_1_1MHP.html#a6b238ee6342da990840162845bba547f',1,'SVF::MHP::instToTSMap()']]],
+  ['interleavingqueriestime_11394',['interleavingQueriesTime',['../classSVF_1_1MHP.html#ab7d9fe837844197b7acdc0493a50aaa5',1,'SVF::MHP']]],
+  ['interleavingtime_11395',['interleavingTime',['../classSVF_1_1MHP.html#aca306b97c6dcd47a8f407038436473a2',1,'SVF::MHP']]],
+  ['interlev_5faccess_11396',['INTERLEV_ACCESS',['../classSVF_1_1MTAResultValidator.html#ad3c052835b34f2897089d1edc2548bae',1,'SVF::MTAResultValidator']]],
+  ['interlev_5fimprecise_11397',['INTERLEV_IMPRECISE',['../classSVF_1_1MTAResultValidator.html#a80414f4ba70357742fa0269f93f1a910',1,'SVF::MTAResultValidator']]],
+  ['interlev_5ftrue_11398',['INTERLEV_TRUE',['../classSVF_1_1MTAResultValidator.html#a5a6e2f2d1d6aa6fb3a83455b5a288ff1',1,'SVF::MTAResultValidator']]],
+  ['interlev_5funsound_11399',['INTERLEV_UNSOUND',['../classSVF_1_1MTAResultValidator.html#a0e2fb93a69df487606c0eeaeadab805d',1,'SVF::MTAResultValidator']]],
+  ['inters_11400',['inters',['../classSVF_1_1InterDisjointMRG.html#a104134d0f7c8b16abe8f5f3899c3bbf0',1,'SVF::InterDisjointMRG']]],
+  ['intersectioncache_11401',['intersectionCache',['../classSVF_1_1PersistentPointsToCache.html#a525fbb49c91040c078fbcaaae2339ef2',1,'SVF::PersistentPointsToCache']]],
+  ['intralock_11402',['IntraLock',['../classSVF_1_1Options.html#af6d92cd4372cd952e6d955cfc9be0ccb',1,'SVF::Options']]],
+  ['intrinsic_11403',['intrinsic',['../classSVF_1_1SVFFunction.html#a037b2583aa8d15ceeb630eaad41a36a3',1,'SVF::SVFFunction']]],
+  ['inupdatedvarmap_11404',['inUpdatedVarMap',['../classSVF_1_1MutableIncDFPTData.html#ab5e9ebf9e71652b5fa63d59c97d016e4',1,'SVF::MutableIncDFPTData::inUpdatedVarMap()'],['../classSVF_1_1PersistentIncDFPTData.html#a106391cd8eefab1740b54cd9bbacccad',1,'SVF::PersistentIncDFPTData::inUpdatedVarMap()']]],
+  ['invalidversion_11405',['invalidVersion',['../classSVF_1_1VersionedFlowSensitive.html#a3d44a343a2e3f5d276fd1b069c92e112',1,'SVF::VersionedFlowSensitive']]],
+  ['irgraphreader_11406',['irGraphReader',['../classSVF_1_1SVFIRReader.html#a0dbb50e2c4a8806a741e0c4173c445b8',1,'SVF::SVFIRReader']]],
+  ['irgraphwriter_11407',['irGraphWriter',['../classSVF_1_1SVFIRWriter.html#a997a5339fcb177556819b2e27b17b424',1,'SVF::SVFIRWriter']]],
+  ['is_5fiterable_5fv_11408',['is_iterable_v',['../namespaceSVF_1_1SVFUtil.html#aa32219da7a5c3d7517ec5026afdac588',1,'SVF::SVFUtil']]],
+  ['is_5fmap_5fv_11409',['is_map_v',['../namespaceSVF_1_1SVFUtil.html#a8c57ab480c497cbd21a49778d0e59bd5',1,'SVF::SVFUtil']]],
+  ['is_5fsequence_5fcontainer_5fv_11410',['is_sequence_container_v',['../namespaceSVF_1_1SVFUtil.html#a811faa9c2095f44e3e5b6e50aa6f6e06',1,'SVF::SVFUtil']]],
+  ['is_5fset_5fv_11411',['is_set_v',['../namespaceSVF_1_1SVFUtil.html#a08e67d68b1da116b2c51cb60bdb6dae2',1,'SVF::SVFUtil']]],
+  ['isdecl_11412',['isDecl',['../classSVF_1_1SVFFunction.html#a52581d00177fd5853d6f9de50b3e7fb9',1,'SVF::SVFFunction']]],
+  ['isexplicitlyset_11413',['isExplicitlySet',['../classOption.html#a980a99e59afae6419a9b15f7606d83dc',1,'Option::isExplicitlySet()'],['../classOptionMap.html#a9efba3b88013aa1745f47ab42d71c726',1,'OptionMap::isExplicitlySet()']]],
+  ['isloadmap_11414',['isLoadMap',['../classSVF_1_1VersionedFlowSensitive.html#a6bb3db072db0b899f306b37f1146f83d',1,'SVF::VersionedFlowSensitive']]],
+  ['isnotret_11415',['isNotRet',['../classSVF_1_1SVFFunction.html#ac85bdf04fd784e22a89426955d28e3d6',1,'SVF::SVFFunction']]],
+  ['isptr_11416',['isPtr',['../classSVF_1_1SVFVar.html#a7c8ffadedbf53d30694feeb7771990af',1,'SVF::SVFVar']]],
+  ['issimple_11417',['IsSimple',['../structSVF_1_1DefaultDOTGraphTraits.html#abf5957e894bacd69c9ead5a80a330626',1,'SVF::DefaultDOTGraphTraits']]],
+  ['issinglevalty_11418',['isSingleValTy',['../classSVF_1_1SVFType.html#ac26ba9052149b5b792aa8e8c3ccfd350',1,'SVF::SVFType']]],
+  ['isstoremap_11419',['isStoreMap',['../classSVF_1_1VersionedFlowSensitive.html#a18e25c3871d7cc1a6bb0592ceca90f88',1,'SVF::VersionedFlowSensitive']]],
+  ['isthunkfunc_11420',['isThunkFunc',['../structSVF_1_1cppUtil_1_1DemangledName.html#af6117df8aec7f4c077058fa8f00b0243',1,'SVF::cppUtil::DemangledName']]],
+  ['isuncalled_11421',['isUncalled',['../classSVF_1_1SVFFunction.html#a1e9dc1d660e3626540b7501194bb12ea',1,'SVF::SVFFunction']]],
+  ['item_11422',['item',['../cJSON_8h.html#ac76cea59d438ba893d2f82aabb367d14',1,'item(): cJSON.h'],['../cJSON_8cpp.html#ac011de571ff16ba220d2e0d757e4e8b0',1,'item(): cJSON.cpp']]],
+  ['iter_11423',['Iter',['../classSVF_1_1SparseBitVector_1_1SparseBitVectorIterator.html#a3627077086baa18bd0ae25efd981c18f',1,'SVF::SparseBitVector::SparseBitVectorIterator']]],
+  ['iter_5ffacade_5fbase_11424',['iter_facade_base',['../classSVF_1_1iter__facade__base_1_1ReferenceProxy.html#ab4717ea89d08ac05464fa95bc7f50ac6',1,'SVF::iter_facade_base::ReferenceProxy']]],
+  ['iterationforprintstat_11425',['iterationForPrintStat',['../classSVF_1_1WPASolver.html#aa7c0636780a86f376e9222bce771e859',1,'SVF::WPASolver']]]
 ];