svf-tools 1.0.837 → 1.0.839

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

@@ -1,40 +1,40 @@
 var searchData=
 [
-  ['e_11266',['e',['../classSVF_1_1Z3Expr.html#ae14d9fa0613b196420b90d20cc8df041',1,'SVF::Z3Expr']]],
-  ['ebnfsigns_11267',['EBNFSigns',['../classSVF_1_1GrammarBase.html#a7909a5f90ed1678a178f18259f0b66a9',1,'SVF::GrammarBase']]],
-  ['edge2pts_11268',['edge2pts',['../classSVF_1_1MTASVFGBuilder.html#a1c0de33bba2f05f14140d872c345ab38',1,'SVF::MTASVFGBuilder']]],
-  ['edgeflag_11269',['edgeFlag',['../classSVF_1_1GenericEdge.html#aa1f446e93750580dce04a127231dd1a3',1,'SVF::GenericEdge']]],
-  ['edgeid_11270',['edgeId',['../classSVF_1_1ConstraintEdge.html#af51f8e9b3c1dd68855581d0d1739ba29',1,'SVF::ConstraintEdge::edgeId()'],['../classSVF_1_1SVFStmt.html#a593cc8136f2138a518476405e667e060',1,'SVF::SVFStmt::edgeId()']]],
-  ['edgeindex_11271',['edgeIndex',['../classSVF_1_1ConstraintGraph.html#ac246dc91562d4b1e168b7c39b2c2720f',1,'SVF::ConstraintGraph']]],
-  ['edgekindmask_11272',['EdgeKindMask',['../classSVF_1_1GrammarBase.html#a9fd7f7c4dcb4c32bb410f3e0a6f3ad0d',1,'SVF::GrammarBase::EdgeKindMask()'],['../classSVF_1_1GenericEdge.html#a93dec4c27088242a4b1b6aa82cea46b9',1,'SVF::GenericEdge::EdgeKindMask()']]],
-  ['edgekindmaskbits_11273',['EdgeKindMaskBits',['../classSVF_1_1GrammarBase.html#adc1413dc2e875a6e74bdb5b985cdd39f',1,'SVF::GrammarBase::EdgeKindMaskBits()'],['../classSVF_1_1GenericEdge.html#af1c2fd4b5ef1d7b7605572bf2489c298',1,'SVF::GenericEdge::EdgeKindMaskBits()']]],
-  ['edgenum_11274',['edgeNum',['../classSVF_1_1GenericGraph.html#a2fbc96de5f066469c2739229307bcc0c',1,'SVF::GenericGraph']]],
-  ['edgepool_11275',['edgePool',['../classSVF_1_1GenericGraphWriter.html#aaa8ecb5b12d426a8d33cd51819ab2789',1,'SVF::GenericGraphWriter::edgePool()'],['../classSVF_1_1GenericGraphReader.html#a3d975e78d6ac1090c4bd6095429d2ab3',1,'SVF::GenericGraphReader::edgePool()']]],
-  ['edgetype_11276',['edgeType',['../classSVF_1_1CHEdge.html#a58ac14decda4041e773d723475f5c1c8',1,'SVF::CHEdge']]],
-  ['ei_5fpairs_11277',['ei_pairs',['../SaberCheckerAPI_8cpp.html#aa5c38361a7f02befa83ea45388056ea1',1,'ei_pairs(): SaberCheckerAPI.cpp'],['../ThreadAPI_8cpp.html#aa5c38361a7f02befa83ea45388056ea1',1,'ei_pairs(): ThreadAPI.cpp']]],
-  ['elementindex_11278',['ElementIndex',['../structSVF_1_1SparseBitVectorElement.html#ae5c5ac3afef47499a4e852de0dc39c18',1,'SVF::SparseBitVectorElement']]],
-  ['elements_11279',['elements',['../classSVF_1_1CondStdSet.html#a1caece9a66b6617b89037fd8211f2934',1,'SVF::CondStdSet::elements()'],['../classSVF_1_1SparseBitVector.html#ab094576b73de3c8580ea152f90d63636',1,'SVF::SparseBitVector::Elements()']]],
-  ['elemidxvec_11280',['elemIdxVec',['../classSVF_1_1StInfo.html#a807ae5cb4d277c79f8b2c9ecde5f12ea',1,'SVF::StInfo']]],
-  ['elemnum_11281',['elemNum',['../classSVF_1_1ObjTypeInfo.html#a5fdcd5f3b7550e7bdc30c8c030c6226d',1,'SVF::ObjTypeInfo']]],
-  ['else_11282',['else',['../cJSON_8cpp.html#a0544c3fe466e421738dae463968b70ba',1,'cJSON.cpp']]],
-  ['emptydata_11283',['emptyData',['../classSVF_1_1POCRSolver.html#ab871a24f8eb451aec71fd94af7a65bc0',1,'SVF::POCRSolver']]],
-  ['enablealiascheck_11284',['EnableAliasCheck',['../classSVF_1_1Options.html#a5f07ff361307017b35fb6b9a97919a73',1,'SVF::Options']]],
-  ['enablethreadcallgraph_11285',['EnableThreadCallGraph',['../classSVF_1_1Options.html#a1daf36a755523519187c3a8e9a19b58d',1,'SVF::Options']]],
-  ['end_5fiterator_11286',['end_iterator',['../classSVF_1_1iter__range.html#aced2e91eaf4970e387ad249f6e936373',1,'SVF::iter_range']]],
-  ['endtime_11287',['endTime',['../classSVF_1_1SVFStat.html#a8b01f1564408b51f28c107454bf9068d',1,'SVF::SVFStat']]],
-  ['entry_11288',['entry',['../classSVF_1_1CallPE.html#a88e420e259b8d7d34c9850ddde53d372',1,'SVF::CallPE']]],
-  ['entryfuncset_11289',['entryFuncSet',['../classSVF_1_1TCT.html#a140eaf9440ae9d52dbfb659967aa449a',1,'SVF::TCT']]],
-  ['entryicfgedges_11290',['entryICFGEdges',['../classSVF_1_1SVFLoop.html#a681d712db88d105c8a2f758de3d7e72e',1,'SVF::SVFLoop']]],
-  ['epsilon_11291',['epsilon',['../VFGGrammar_8txt.html#ac5f2eebeadca57b6dd4a532ba5f01757',1,'VFGGrammar.txt']]],
-  ['epsilonprods_11292',['epsilonProds',['../classSVF_1_1CFGrammar.html#a66a41e0f9a4c6112a686584e7d48d1e6',1,'SVF::CFGrammar']]],
-  ['equivalentobject_11293',['equivalentObject',['../classSVF_1_1VersionedFlowSensitive.html#a2d451d89f99a4bff828b682723df477f',1,'SVF::VersionedFlowSensitive']]],
-  ['evaltime_11294',['EvalTime',['../classSVF_1_1NodeIDAllocator_1_1Clusterer.html#a1d98862e19affdd08740f85490d0d856',1,'SVF::NodeIDAllocator::Clusterer']]],
-  ['eventinst_11295',['eventInst',['../classSVF_1_1SVFBugEvent.html#ac550e02b8d1d7713c53a29dab5a78c6d',1,'SVF::SVFBugEvent']]],
-  ['exit_11296',['exit',['../classSVF_1_1RetPE.html#a6f6ccda153150b6acdd81550e45f640f',1,'SVF::RetPE']]],
-  ['exitblock_11297',['exitBlock',['../classSVF_1_1SVFFunction.html#a374cbaa780f540cb4b4ccac562a82632',1,'SVF::SVFFunction']]],
-  ['extapipath_11298',['ExtAPIPath',['../classSVF_1_1Options.html#a2dffc9d885fa53340a1cdbc028d7f24a',1,'SVF::Options']]],
-  ['extbcpath_11299',['extBcPath',['../classSVF_1_1ExtAPI.html#a3ce3e67c96a65484d8077d9e3a9efa7d',1,'SVF::ExtAPI']]],
-  ['extended_11300',['extended',['../classSVF_1_1DCHGraph.html#aa6f49dfc9e3580d3f2d8c257395eb11e',1,'SVF::DCHGraph']]],
-  ['extfuncsvec_11301',['ExtFuncsVec',['../classSVF_1_1LLVMModuleSet.html#ab932917041e1b1d8b461bfef464330fd',1,'SVF::LLVMModuleSet']]],
-  ['extop_11302',['extOp',['../classSVF_1_1ExtAPI.html#a552feab663622681db231d5b48f00d75',1,'SVF::ExtAPI']]]
+  ['e_11269',['e',['../classSVF_1_1Z3Expr.html#ae14d9fa0613b196420b90d20cc8df041',1,'SVF::Z3Expr']]],
+  ['ebnfsigns_11270',['EBNFSigns',['../classSVF_1_1GrammarBase.html#a7909a5f90ed1678a178f18259f0b66a9',1,'SVF::GrammarBase']]],
+  ['edge2pts_11271',['edge2pts',['../classSVF_1_1MTASVFGBuilder.html#a1c0de33bba2f05f14140d872c345ab38',1,'SVF::MTASVFGBuilder']]],
+  ['edgeflag_11272',['edgeFlag',['../classSVF_1_1GenericEdge.html#aa1f446e93750580dce04a127231dd1a3',1,'SVF::GenericEdge']]],
+  ['edgeid_11273',['edgeId',['../classSVF_1_1ConstraintEdge.html#af51f8e9b3c1dd68855581d0d1739ba29',1,'SVF::ConstraintEdge::edgeId()'],['../classSVF_1_1SVFStmt.html#a593cc8136f2138a518476405e667e060',1,'SVF::SVFStmt::edgeId()']]],
+  ['edgeindex_11274',['edgeIndex',['../classSVF_1_1ConstraintGraph.html#ac246dc91562d4b1e168b7c39b2c2720f',1,'SVF::ConstraintGraph']]],
+  ['edgekindmask_11275',['EdgeKindMask',['../classSVF_1_1GrammarBase.html#a9fd7f7c4dcb4c32bb410f3e0a6f3ad0d',1,'SVF::GrammarBase::EdgeKindMask()'],['../classSVF_1_1GenericEdge.html#a93dec4c27088242a4b1b6aa82cea46b9',1,'SVF::GenericEdge::EdgeKindMask()']]],
+  ['edgekindmaskbits_11276',['EdgeKindMaskBits',['../classSVF_1_1GrammarBase.html#adc1413dc2e875a6e74bdb5b985cdd39f',1,'SVF::GrammarBase::EdgeKindMaskBits()'],['../classSVF_1_1GenericEdge.html#af1c2fd4b5ef1d7b7605572bf2489c298',1,'SVF::GenericEdge::EdgeKindMaskBits()']]],
+  ['edgenum_11277',['edgeNum',['../classSVF_1_1GenericGraph.html#a2fbc96de5f066469c2739229307bcc0c',1,'SVF::GenericGraph']]],
+  ['edgepool_11278',['edgePool',['../classSVF_1_1GenericGraphWriter.html#aaa8ecb5b12d426a8d33cd51819ab2789',1,'SVF::GenericGraphWriter::edgePool()'],['../classSVF_1_1GenericGraphReader.html#a3d975e78d6ac1090c4bd6095429d2ab3',1,'SVF::GenericGraphReader::edgePool()']]],
+  ['edgetype_11279',['edgeType',['../classSVF_1_1CHEdge.html#a58ac14decda4041e773d723475f5c1c8',1,'SVF::CHEdge']]],
+  ['ei_5fpairs_11280',['ei_pairs',['../SaberCheckerAPI_8cpp.html#aa5c38361a7f02befa83ea45388056ea1',1,'ei_pairs(): SaberCheckerAPI.cpp'],['../ThreadAPI_8cpp.html#aa5c38361a7f02befa83ea45388056ea1',1,'ei_pairs(): ThreadAPI.cpp']]],
+  ['elementindex_11281',['ElementIndex',['../structSVF_1_1SparseBitVectorElement.html#ae5c5ac3afef47499a4e852de0dc39c18',1,'SVF::SparseBitVectorElement']]],
+  ['elements_11282',['elements',['../classSVF_1_1CondStdSet.html#a1caece9a66b6617b89037fd8211f2934',1,'SVF::CondStdSet::elements()'],['../classSVF_1_1SparseBitVector.html#ab094576b73de3c8580ea152f90d63636',1,'SVF::SparseBitVector::Elements()']]],
+  ['elemidxvec_11283',['elemIdxVec',['../classSVF_1_1StInfo.html#a807ae5cb4d277c79f8b2c9ecde5f12ea',1,'SVF::StInfo']]],
+  ['elemnum_11284',['elemNum',['../classSVF_1_1ObjTypeInfo.html#a5fdcd5f3b7550e7bdc30c8c030c6226d',1,'SVF::ObjTypeInfo']]],
+  ['else_11285',['else',['../cJSON_8cpp.html#a0544c3fe466e421738dae463968b70ba',1,'cJSON.cpp']]],
+  ['emptydata_11286',['emptyData',['../classSVF_1_1POCRSolver.html#ab871a24f8eb451aec71fd94af7a65bc0',1,'SVF::POCRSolver']]],
+  ['enablealiascheck_11287',['EnableAliasCheck',['../classSVF_1_1Options.html#a5f07ff361307017b35fb6b9a97919a73',1,'SVF::Options']]],
+  ['enablethreadcallgraph_11288',['EnableThreadCallGraph',['../classSVF_1_1Options.html#a1daf36a755523519187c3a8e9a19b58d',1,'SVF::Options']]],
+  ['end_5fiterator_11289',['end_iterator',['../classSVF_1_1iter__range.html#aced2e91eaf4970e387ad249f6e936373',1,'SVF::iter_range']]],
+  ['endtime_11290',['endTime',['../classSVF_1_1SVFStat.html#a8b01f1564408b51f28c107454bf9068d',1,'SVF::SVFStat']]],
+  ['entry_11291',['entry',['../classSVF_1_1CallPE.html#a88e420e259b8d7d34c9850ddde53d372',1,'SVF::CallPE']]],
+  ['entryfuncset_11292',['entryFuncSet',['../classSVF_1_1TCT.html#a140eaf9440ae9d52dbfb659967aa449a',1,'SVF::TCT']]],
+  ['entryicfgedges_11293',['entryICFGEdges',['../classSVF_1_1SVFLoop.html#a681d712db88d105c8a2f758de3d7e72e',1,'SVF::SVFLoop']]],
+  ['epsilon_11294',['epsilon',['../VFGGrammar_8txt.html#ac5f2eebeadca57b6dd4a532ba5f01757',1,'VFGGrammar.txt']]],
+  ['epsilonprods_11295',['epsilonProds',['../classSVF_1_1CFGrammar.html#a66a41e0f9a4c6112a686584e7d48d1e6',1,'SVF::CFGrammar']]],
+  ['equivalentobject_11296',['equivalentObject',['../classSVF_1_1VersionedFlowSensitive.html#a2d451d89f99a4bff828b682723df477f',1,'SVF::VersionedFlowSensitive']]],
+  ['evaltime_11297',['EvalTime',['../classSVF_1_1NodeIDAllocator_1_1Clusterer.html#a1d98862e19affdd08740f85490d0d856',1,'SVF::NodeIDAllocator::Clusterer']]],
+  ['eventinst_11298',['eventInst',['../classSVF_1_1SVFBugEvent.html#ac550e02b8d1d7713c53a29dab5a78c6d',1,'SVF::SVFBugEvent']]],
+  ['exit_11299',['exit',['../classSVF_1_1RetPE.html#a6f6ccda153150b6acdd81550e45f640f',1,'SVF::RetPE']]],
+  ['exitblock_11300',['exitBlock',['../classSVF_1_1SVFFunction.html#a374cbaa780f540cb4b4ccac562a82632',1,'SVF::SVFFunction']]],
+  ['extapipath_11301',['ExtAPIPath',['../classSVF_1_1Options.html#a2dffc9d885fa53340a1cdbc028d7f24a',1,'SVF::Options']]],
+  ['extbcpath_11302',['extBcPath',['../classSVF_1_1ExtAPI.html#a3ce3e67c96a65484d8077d9e3a9efa7d',1,'SVF::ExtAPI']]],
+  ['extended_11303',['extended',['../classSVF_1_1DCHGraph.html#aa6f49dfc9e3580d3f2d8c257395eb11e',1,'SVF::DCHGraph']]],
+  ['extfuncsvec_11304',['ExtFuncsVec',['../classSVF_1_1LLVMModuleSet.html#ab932917041e1b1d8b461bfef464330fd',1,'SVF::LLVMModuleSet']]],
+  ['extop_11305',['extOp',['../classSVF_1_1ExtAPI.html#a552feab663622681db231d5b48f00d75',1,'SVF::ExtAPI']]]
 ];

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

@@ -1,69 +1,69 @@
 var searchData=
 [
-  ['f_11303',['F',['../classSVF_1_1mapped__iter.html#a98e22cf9681fc948e9656bb1faeb36e1',1,'SVF::mapped_iter']]],
-  ['fastclustertime_11304',['FastClusterTime',['../classSVF_1_1NodeIDAllocator_1_1Clusterer.html#ae78d2b60035350c634f6f58d7a043c22',1,'SVF::NodeIDAllocator::Clusterer']]],
-  ['fbar_11305',['Fbar',['../PEGGrammar_8txt.html#a1e8b28eb87d57c33c5c45731db639c91',1,'PEGGrammar.txt']]],
-  ['fieldreps_11306',['fieldReps',['../classSVF_1_1AndersenSFR.html#a99337c429aebe9046c65068b44eff7cc',1,'SVF::AndersenSFR']]],
-  ['fieldtypes_11307',['fieldTypes',['../classSVF_1_1DCHGraph.html#acd9eb23f857d84a6050a5d00c512c123',1,'SVF::DCHGraph']]],
-  ['file_11308',['file',['../classSVF_1_1PAGBuilderFromFile.html#a9ce304b448de65fbde586655dce885a4',1,'SVF::PAGBuilderFromFile']]],
-  ['filechecker_11309',['FILECHECKER',['../saber_8cpp.html#a040433670c569ad3978a19fb1bf44d5b',1,'saber.cpp']]],
-  ['filename_11310',['fileName',['../classSVF_1_1GrammarBuilder.html#aa0f5135a232adc1ca42d4f51a3c70704',1,'SVF::GrammarBuilder']]],
-  ['filterfun_11311',['filterFun',['../classSVF_1_1LockResultValidator.html#a70cdb993b3e90c70cc083fb8ed93fb91',1,'SVF::LockResultValidator']]],
-  ['finalcond_11312',['finalCond',['../classSVF_1_1ProgSlice.html#a011fcd4f081926e808e15630cb2d4b47',1,'SVF::ProgSlice']]],
-  ['finfo_11313',['finfo',['../classSVF_1_1StInfo.html#ae3dc579aa3688c607f279215372eef4f',1,'SVF::StInfo']]],
-  ['firstfieldeqbase_11314',['FirstFieldEqBase',['../classSVF_1_1Options.html#a12e88ce4ba3d39017203ec4cd3ccccea',1,'SVF::Options']]],
-  ['firstrhstoprods_11315',['firstRHSToProds',['../classSVF_1_1CFGrammar.html#a02117195df31a99b3fa3250ba33425c5',1,'SVF::CFGrammar']]],
-  ['fja_11316',['fja',['../classSVF_1_1MHP.html#a98857a1837cef5519c938d07bb771a60',1,'SVF::MHP']]],
-  ['flags_11317',['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_11318',['flattenElementTypes',['../classSVF_1_1StInfo.html#ab99748a89da80812bbf6ffde768d7246',1,'SVF::StInfo']]],
-  ['fldidx_11319',['fldIdx',['../classSVF_1_1AccessPath.html#aa1747064a0833855a5848ebf4a4d65fa',1,'SVF::AccessPath']]],
-  ['fldidx2typemap_11320',['fldIdx2TypeMap',['../classSVF_1_1StInfo.html#ad64be5942408c143a34a4a0d7cff09da',1,'SVF::StInfo']]],
-  ['fldidxvec_11321',['fldIdxVec',['../classSVF_1_1StInfo.html#a77c94c0ab75b2d5af2132ff8e082cefe',1,'SVF::StInfo']]],
-  ['flexsymmap_11322',['FlexSymMap',['../classSVF_1_1Options.html#a8e22c3bca5ee0e4e7d90e857a5ea8031',1,'SVF::Options']]],
-  ['flowbudget_11323',['FlowBudget',['../classSVF_1_1Options.html#a8c02af98e908c48cef1de0085ed10ce4',1,'SVF::Options']]],
-  ['flowdda_11324',['flowDDA',['../classSVF_1_1ContextDDA.html#a2a23f0235fc49a177b2694f668b02551',1,'SVF::ContextDDA::flowDDA()'],['../classSVF_1_1DDAStat.html#a86e03ef25f150b98bc1f8c89bfd7fc77',1,'SVF::DDAStat::flowDDA()']]],
-  ['fmt_11325',['fmt',['../cJSON_8h.html#aa813b2b7bde1a5a1f528cd9d9aa9ee7d',1,'fmt(): cJSON.h'],['../cJSON_8cpp.html#aa813b2b7bde1a5a1f528cd9d9aa9ee7d',1,'fmt(): cJSON.cpp']]],
-  ['followers_11326',['followers',['../classSVF_1_1PCG.html#ab3a3d18bac6e1f833583d41fa562caea',1,'SVF::PCG']]],
-  ['forksite_11327',['forksite',['../classSVF_1_1CxtThread.html#aa5d6be70f17419748ba572e347da6bd3',1,'SVF::CxtThread']]],
-  ['forksites_11328',['forksites',['../classSVF_1_1ThreadCallGraph.html#a69b86668a04dc3e5bb85ab4f3f0fce27',1,'SVF::ThreadCallGraph']]],
-  ['formalouttodefmap_11329',['formalOutToDefMap',['../classSVF_1_1SVFGOPT.html#abbd6ac28826b9cc4c4981271393c8b19',1,'SVF::SVFGOPT']]],
-  ['formalret_11330',['formalRet',['../classSVF_1_1FunExitICFGNode.html#ac3765c6a34ddff0018e38ce644d96641',1,'SVF::FunExitICFGNode']]],
-  ['format_11331',['format',['../structprintbuffer.html#a75d3f480f5308e7f4afecf30e11277ef',1,'printbuffer::format()'],['../cJSON_8h.html#a6122748ab66fdcaed151288ac056a1d1',1,'format(): cJSON.h'],['../cJSON_8cpp.html#a6122748ab66fdcaed151288ac056a1d1',1,'format(): cJSON.cpp']]],
-  ['forwardslice_11332',['forwardSlice',['../classSVF_1_1SVFGStat.html#a1e5ec005dda8dc918422eaf33f3145f8',1,'SVF::SVFGStat::forwardSlice()'],['../classSVF_1_1ProgSlice.html#ac12dc4caa0c764ae69175e787efad2ab',1,'SVF::ProgSlice::forwardslice()']]],
-  ['fpnodes_11333',['FPNodes',['../classSVF_1_1FunEntryICFGNode.html#a30e8c63bf2ae7a7528b9d8a516340ade',1,'SVF::FunEntryICFGNode']]],
-  ['fromfile_11334',['fromFile',['../classSVF_1_1IRGraph.html#a7750a2b2a98bb39fc5f67af4e0c12379',1,'SVF::IRGraph']]],
-  ['fsanno_11335',['FSAnno',['../classSVF_1_1Options.html#a4f022e2f997d25ec50842b4248147336',1,'SVF::Options']]],
-  ['fsmptatime_11336',['FSMPTATime',['../classSVF_1_1MTAStat.html#a030671ec358a93e3c2887f048dcfcce8',1,'SVF::MTAStat']]],
-  ['fspta_11337',['fspta',['../classSVF_1_1FlowSensitive.html#a2fac4f6a9d2cc19b2d998f0197e6883b',1,'SVF::FlowSensitive::fspta()'],['../classSVF_1_1FlowSensitiveStat.html#af7e04f73ee17647c52e571cadef8729f',1,'SVF::FlowSensitiveStat::fspta()']]],
-  ['fstimelimit_11338',['FsTimeLimit',['../classSVF_1_1Options.html#a6ebad0decdd6e93c661b72d80f5dbcef',1,'SVF::Options']]],
-  ['fulljoin_11339',['fullJoin',['../classSVF_1_1ForkJoinAnalysis.html#a4193a30050195cd9aaafd58511b66ccc',1,'SVF::ForkJoinAnalysis']]],
-  ['fullreachable_11340',['fullReachable',['../classSVF_1_1ProgSlice.html#a632db4b2e69848955925746ac721d94f',1,'SVF::ProgSlice']]],
-  ['fun_11341',['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_11342',['funArgsListMap',['../classSVF_1_1SVFIR.html#a864c465fbfdbbbdcc7fc8bbe26737903',1,'SVF::SVFIR']]],
-  ['funcname_11343',['funcName',['../structSVF_1_1cppUtil_1_1DemangledName.html#a1dd17b240663bc9412adefde82385e02',1,'SVF::cppUtil::DemangledName']]],
-  ['funcpointerprint_11344',['FuncPointerPrint',['../classSVF_1_1Options.html#abb91435e1e06b07548c539e7f7761563',1,'SVF::Options']]],
-  ['functionset_11345',['FunctionSet',['../classSVF_1_1SVFModule.html#af33660b9938a1a78b7ae44bf429c717e',1,'SVF::SVFModule']]],
-  ['functointermap_11346',['funcToInterMap',['../classSVF_1_1IntraDisjointMRG.html#ac3873b9ae1339e8d502e85c217638078',1,'SVF::IntraDisjointMRG']]],
-  ['functoptsmap_11347',['funcToPtsMap',['../classSVF_1_1IntraDisjointMRG.html#a4b05180c942c1d049e70f8050f4186f6',1,'SVF::IntraDisjointMRG']]],
-  ['functype_11348',['funcType',['../classSVF_1_1SVFFunction.html#ad1c1ca2a7d4a681f24712345222e9ddc',1,'SVF::SVFFunction']]],
-  ['fundecltodefmap_11349',['FunDeclToDefMap',['../classSVF_1_1LLVMModuleSet.html#aee80b29e5246e3eaa0e30e165346101f',1,'SVF::LLVMModuleSet']]],
-  ['fundeftodeclsmap_11350',['FunDefToDeclsMap',['../classSVF_1_1LLVMModuleSet.html#a377cefaad4b688ab6edf94ba4abe00ee',1,'SVF::LLVMModuleSet']]],
-  ['funentrynode_11351',['funEntryNode',['../classSVF_1_1FormalINSVFGNode.html#a4a574589ae53d38e63fc4a26a5b9af61',1,'SVF::FormalINSVFGNode']]],
-  ['funexitnode_11352',['funExitNode',['../classSVF_1_1FormalOUTSVFGNode.html#af5235111849f826880c10d7bcc635748',1,'SVF::FormalOUTSVFGNode']]],
-  ['funnameofvcall_11353',['funNameOfVcall',['../classSVF_1_1SVFVirtualCallInst.html#a34767de48e7d454c3ea7c92dcb29b268',1,'SVF::SVFVirtualCallInst']]],
-  ['funptrtocallsitesmap_11354',['funPtrToCallSitesMap',['../classSVF_1_1SVFIR.html#af9c840e4b82fe9fd9493eabaa2b52bd5',1,'SVF::SVFIR']]],
-  ['funretmap_11355',['funRetMap',['../classSVF_1_1SVFIR.html#a4cef56f7fc77b47dc6e65c59c98551c5',1,'SVF::SVFIR']]],
-  ['funtocallgraphnodemap_11356',['funToCallGraphNodeMap',['../classSVF_1_1PTACallGraph.html#a97986d6e6732c78b04cc053f0e9d1367',1,'SVF::PTACallGraph']]],
-  ['funtoentrychisetmap_11357',['funToEntryChiSetMap',['../classSVF_1_1MemSSA.html#a59314f6ce17919574d687a08a38b55ec',1,'SVF::MemSSA']]],
-  ['funtoexitbbsmap_11358',['funToExitBBsMap',['../classSVF_1_1SaberCondAllocator.html#ad1620cc7482aeb464b53cfce64e17cc3',1,'SVF::SaberCondAllocator']]],
-  ['funtoformalinmap_11359',['funToFormalINMap',['../classSVF_1_1SVFG.html#ae51cd0493e4e767848b96b69045762fd',1,'SVF::SVFG']]],
-  ['funtoformaloutmap_11360',['funToFormalOUTMap',['../classSVF_1_1SVFG.html#a7d58f9fe97071ec9936174689cb99301',1,'SVF::SVFG']]],
-  ['funtofunentrynodemap_11361',['FunToFunEntryNodeMap',['../classSVF_1_1ICFG.html#a69076849bd256fb0ca59711a59a7c092',1,'SVF::ICFG']]],
-  ['funtofunexitnodemap_11362',['FunToFunExitNodeMap',['../classSVF_1_1ICFG.html#ab87a90adae3e9db06da7ecc0bd9d920f',1,'SVF::ICFG']]],
-  ['funtomodsmap_11363',['funToModsMap',['../classSVF_1_1MRGenerator.html#a2c94bfa19ad8d1d6360b12693c8b891d',1,'SVF::MRGenerator']]],
-  ['funtomrsmap_11364',['funToMRsMap',['../classSVF_1_1MRGenerator.html#a3e74c3706ffcc14f378771b417dcbb96',1,'SVF::MRGenerator']]],
-  ['funtopointstomap_11365',['funToPointsToMap',['../classSVF_1_1MRGenerator.html#a05c7a5ddbe3079f63be76c35298d1c2b',1,'SVF::MRGenerator']]],
-  ['funtorefsmap_11366',['funToRefsMap',['../classSVF_1_1MRGenerator.html#af6d58e2971c4a8d3ee03f9dfd9072a3a',1,'SVF::MRGenerator']]],
-  ['funtoreturnmusetmap_11367',['funToReturnMuSetMap',['../classSVF_1_1MemSSA.html#abae2396bf8a37a22be9365d368fe455c',1,'SVF::MemSSA']]],
-  ['funtovfgnodesmap_11368',['funToVFGNodesMap',['../classSVF_1_1VFG.html#a9a99ae86d16ffe69bff9d52de769d049',1,'SVF::VFG']]]
+  ['f_11306',['F',['../classSVF_1_1mapped__iter.html#a98e22cf9681fc948e9656bb1faeb36e1',1,'SVF::mapped_iter']]],
+  ['fastclustertime_11307',['FastClusterTime',['../classSVF_1_1NodeIDAllocator_1_1Clusterer.html#ae78d2b60035350c634f6f58d7a043c22',1,'SVF::NodeIDAllocator::Clusterer']]],
+  ['fbar_11308',['Fbar',['../PEGGrammar_8txt.html#a1e8b28eb87d57c33c5c45731db639c91',1,'PEGGrammar.txt']]],
+  ['fieldreps_11309',['fieldReps',['../classSVF_1_1AndersenSFR.html#a99337c429aebe9046c65068b44eff7cc',1,'SVF::AndersenSFR']]],
+  ['fieldtypes_11310',['fieldTypes',['../classSVF_1_1DCHGraph.html#acd9eb23f857d84a6050a5d00c512c123',1,'SVF::DCHGraph']]],
+  ['file_11311',['file',['../classSVF_1_1PAGBuilderFromFile.html#a9ce304b448de65fbde586655dce885a4',1,'SVF::PAGBuilderFromFile']]],
+  ['filechecker_11312',['FILECHECKER',['../saber_8cpp.html#a040433670c569ad3978a19fb1bf44d5b',1,'saber.cpp']]],
+  ['filename_11313',['fileName',['../classSVF_1_1GrammarBuilder.html#aa0f5135a232adc1ca42d4f51a3c70704',1,'SVF::GrammarBuilder']]],
+  ['filterfun_11314',['filterFun',['../classSVF_1_1LockResultValidator.html#a70cdb993b3e90c70cc083fb8ed93fb91',1,'SVF::LockResultValidator']]],
+  ['finalcond_11315',['finalCond',['../classSVF_1_1ProgSlice.html#a011fcd4f081926e808e15630cb2d4b47',1,'SVF::ProgSlice']]],
+  ['finfo_11316',['finfo',['../classSVF_1_1StInfo.html#ae3dc579aa3688c607f279215372eef4f',1,'SVF::StInfo']]],
+  ['firstfieldeqbase_11317',['FirstFieldEqBase',['../classSVF_1_1Options.html#a12e88ce4ba3d39017203ec4cd3ccccea',1,'SVF::Options']]],
+  ['firstrhstoprods_11318',['firstRHSToProds',['../classSVF_1_1CFGrammar.html#a02117195df31a99b3fa3250ba33425c5',1,'SVF::CFGrammar']]],
+  ['fja_11319',['fja',['../classSVF_1_1MHP.html#a98857a1837cef5519c938d07bb771a60',1,'SVF::MHP']]],
+  ['flags_11320',['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_11321',['flattenElementTypes',['../classSVF_1_1StInfo.html#ab99748a89da80812bbf6ffde768d7246',1,'SVF::StInfo']]],
+  ['fldidx_11322',['fldIdx',['../classSVF_1_1AccessPath.html#aa1747064a0833855a5848ebf4a4d65fa',1,'SVF::AccessPath']]],
+  ['fldidx2typemap_11323',['fldIdx2TypeMap',['../classSVF_1_1StInfo.html#ad64be5942408c143a34a4a0d7cff09da',1,'SVF::StInfo']]],
+  ['fldidxvec_11324',['fldIdxVec',['../classSVF_1_1StInfo.html#a77c94c0ab75b2d5af2132ff8e082cefe',1,'SVF::StInfo']]],
+  ['flexsymmap_11325',['FlexSymMap',['../classSVF_1_1Options.html#a8e22c3bca5ee0e4e7d90e857a5ea8031',1,'SVF::Options']]],
+  ['flowbudget_11326',['FlowBudget',['../classSVF_1_1Options.html#a8c02af98e908c48cef1de0085ed10ce4',1,'SVF::Options']]],
+  ['flowdda_11327',['flowDDA',['../classSVF_1_1ContextDDA.html#a2a23f0235fc49a177b2694f668b02551',1,'SVF::ContextDDA::flowDDA()'],['../classSVF_1_1DDAStat.html#a86e03ef25f150b98bc1f8c89bfd7fc77',1,'SVF::DDAStat::flowDDA()']]],
+  ['fmt_11328',['fmt',['../cJSON_8h.html#aa813b2b7bde1a5a1f528cd9d9aa9ee7d',1,'fmt(): cJSON.h'],['../cJSON_8cpp.html#aa813b2b7bde1a5a1f528cd9d9aa9ee7d',1,'fmt(): cJSON.cpp']]],
+  ['followers_11329',['followers',['../classSVF_1_1PCG.html#ab3a3d18bac6e1f833583d41fa562caea',1,'SVF::PCG']]],
+  ['forksite_11330',['forksite',['../classSVF_1_1CxtThread.html#aa5d6be70f17419748ba572e347da6bd3',1,'SVF::CxtThread']]],
+  ['forksites_11331',['forksites',['../classSVF_1_1ThreadCallGraph.html#a69b86668a04dc3e5bb85ab4f3f0fce27',1,'SVF::ThreadCallGraph']]],
+  ['formalouttodefmap_11332',['formalOutToDefMap',['../classSVF_1_1SVFGOPT.html#abbd6ac28826b9cc4c4981271393c8b19',1,'SVF::SVFGOPT']]],
+  ['formalret_11333',['formalRet',['../classSVF_1_1FunExitICFGNode.html#ac3765c6a34ddff0018e38ce644d96641',1,'SVF::FunExitICFGNode']]],
+  ['format_11334',['format',['../structprintbuffer.html#a75d3f480f5308e7f4afecf30e11277ef',1,'printbuffer::format()'],['../cJSON_8h.html#a6122748ab66fdcaed151288ac056a1d1',1,'format(): cJSON.h'],['../cJSON_8cpp.html#a6122748ab66fdcaed151288ac056a1d1',1,'format(): cJSON.cpp']]],
+  ['forwardslice_11335',['forwardSlice',['../classSVF_1_1SVFGStat.html#a1e5ec005dda8dc918422eaf33f3145f8',1,'SVF::SVFGStat::forwardSlice()'],['../classSVF_1_1ProgSlice.html#ac12dc4caa0c764ae69175e787efad2ab',1,'SVF::ProgSlice::forwardslice()']]],
+  ['fpnodes_11336',['FPNodes',['../classSVF_1_1FunEntryICFGNode.html#a30e8c63bf2ae7a7528b9d8a516340ade',1,'SVF::FunEntryICFGNode']]],
+  ['fromfile_11337',['fromFile',['../classSVF_1_1IRGraph.html#a7750a2b2a98bb39fc5f67af4e0c12379',1,'SVF::IRGraph']]],
+  ['fsanno_11338',['FSAnno',['../classSVF_1_1Options.html#a4f022e2f997d25ec50842b4248147336',1,'SVF::Options']]],
+  ['fsmptatime_11339',['FSMPTATime',['../classSVF_1_1MTAStat.html#a030671ec358a93e3c2887f048dcfcce8',1,'SVF::MTAStat']]],
+  ['fspta_11340',['fspta',['../classSVF_1_1FlowSensitive.html#a2fac4f6a9d2cc19b2d998f0197e6883b',1,'SVF::FlowSensitive::fspta()'],['../classSVF_1_1FlowSensitiveStat.html#af7e04f73ee17647c52e571cadef8729f',1,'SVF::FlowSensitiveStat::fspta()']]],
+  ['fstimelimit_11341',['FsTimeLimit',['../classSVF_1_1Options.html#a6ebad0decdd6e93c661b72d80f5dbcef',1,'SVF::Options']]],
+  ['fulljoin_11342',['fullJoin',['../classSVF_1_1ForkJoinAnalysis.html#a4193a30050195cd9aaafd58511b66ccc',1,'SVF::ForkJoinAnalysis']]],
+  ['fullreachable_11343',['fullReachable',['../classSVF_1_1ProgSlice.html#a632db4b2e69848955925746ac721d94f',1,'SVF::ProgSlice']]],
+  ['fun_11344',['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_11345',['funArgsListMap',['../classSVF_1_1SVFIR.html#a864c465fbfdbbbdcc7fc8bbe26737903',1,'SVF::SVFIR']]],
+  ['funcname_11346',['funcName',['../structSVF_1_1cppUtil_1_1DemangledName.html#a1dd17b240663bc9412adefde82385e02',1,'SVF::cppUtil::DemangledName']]],
+  ['funcpointerprint_11347',['FuncPointerPrint',['../classSVF_1_1Options.html#abb91435e1e06b07548c539e7f7761563',1,'SVF::Options']]],
+  ['functionset_11348',['FunctionSet',['../classSVF_1_1SVFModule.html#af33660b9938a1a78b7ae44bf429c717e',1,'SVF::SVFModule']]],
+  ['functointermap_11349',['funcToInterMap',['../classSVF_1_1IntraDisjointMRG.html#ac3873b9ae1339e8d502e85c217638078',1,'SVF::IntraDisjointMRG']]],
+  ['functoptsmap_11350',['funcToPtsMap',['../classSVF_1_1IntraDisjointMRG.html#a4b05180c942c1d049e70f8050f4186f6',1,'SVF::IntraDisjointMRG']]],
+  ['functype_11351',['funcType',['../classSVF_1_1SVFFunction.html#ad1c1ca2a7d4a681f24712345222e9ddc',1,'SVF::SVFFunction']]],
+  ['fundecltodefmap_11352',['FunDeclToDefMap',['../classSVF_1_1LLVMModuleSet.html#aee80b29e5246e3eaa0e30e165346101f',1,'SVF::LLVMModuleSet']]],
+  ['fundeftodeclsmap_11353',['FunDefToDeclsMap',['../classSVF_1_1LLVMModuleSet.html#a377cefaad4b688ab6edf94ba4abe00ee',1,'SVF::LLVMModuleSet']]],
+  ['funentrynode_11354',['funEntryNode',['../classSVF_1_1FormalINSVFGNode.html#a4a574589ae53d38e63fc4a26a5b9af61',1,'SVF::FormalINSVFGNode']]],
+  ['funexitnode_11355',['funExitNode',['../classSVF_1_1FormalOUTSVFGNode.html#af5235111849f826880c10d7bcc635748',1,'SVF::FormalOUTSVFGNode']]],
+  ['funnameofvcall_11356',['funNameOfVcall',['../classSVF_1_1SVFVirtualCallInst.html#a34767de48e7d454c3ea7c92dcb29b268',1,'SVF::SVFVirtualCallInst']]],
+  ['funptrtocallsitesmap_11357',['funPtrToCallSitesMap',['../classSVF_1_1SVFIR.html#af9c840e4b82fe9fd9493eabaa2b52bd5',1,'SVF::SVFIR']]],
+  ['funretmap_11358',['funRetMap',['../classSVF_1_1SVFIR.html#a4cef56f7fc77b47dc6e65c59c98551c5',1,'SVF::SVFIR']]],
+  ['funtocallgraphnodemap_11359',['funToCallGraphNodeMap',['../classSVF_1_1PTACallGraph.html#a97986d6e6732c78b04cc053f0e9d1367',1,'SVF::PTACallGraph']]],
+  ['funtoentrychisetmap_11360',['funToEntryChiSetMap',['../classSVF_1_1MemSSA.html#a59314f6ce17919574d687a08a38b55ec',1,'SVF::MemSSA']]],
+  ['funtoexitbbsmap_11361',['funToExitBBsMap',['../classSVF_1_1SaberCondAllocator.html#ad1620cc7482aeb464b53cfce64e17cc3',1,'SVF::SaberCondAllocator']]],
+  ['funtoformalinmap_11362',['funToFormalINMap',['../classSVF_1_1SVFG.html#ae51cd0493e4e767848b96b69045762fd',1,'SVF::SVFG']]],
+  ['funtoformaloutmap_11363',['funToFormalOUTMap',['../classSVF_1_1SVFG.html#a7d58f9fe97071ec9936174689cb99301',1,'SVF::SVFG']]],
+  ['funtofunentrynodemap_11364',['FunToFunEntryNodeMap',['../classSVF_1_1ICFG.html#a69076849bd256fb0ca59711a59a7c092',1,'SVF::ICFG']]],
+  ['funtofunexitnodemap_11365',['FunToFunExitNodeMap',['../classSVF_1_1ICFG.html#ab87a90adae3e9db06da7ecc0bd9d920f',1,'SVF::ICFG']]],
+  ['funtomodsmap_11366',['funToModsMap',['../classSVF_1_1MRGenerator.html#a2c94bfa19ad8d1d6360b12693c8b891d',1,'SVF::MRGenerator']]],
+  ['funtomrsmap_11367',['funToMRsMap',['../classSVF_1_1MRGenerator.html#a3e74c3706ffcc14f378771b417dcbb96',1,'SVF::MRGenerator']]],
+  ['funtopointstomap_11368',['funToPointsToMap',['../classSVF_1_1MRGenerator.html#a05c7a5ddbe3079f63be76c35298d1c2b',1,'SVF::MRGenerator']]],
+  ['funtorefsmap_11369',['funToRefsMap',['../classSVF_1_1MRGenerator.html#af6d58e2971c4a8d3ee03f9dfd9072a3a',1,'SVF::MRGenerator']]],
+  ['funtoreturnmusetmap_11370',['funToReturnMuSetMap',['../classSVF_1_1MemSSA.html#abae2396bf8a37a22be9365d368fe455c',1,'SVF::MemSSA']]],
+  ['funtovfgnodesmap_11371',['funToVFGNodesMap',['../classSVF_1_1VFG.html#a9a99ae86d16ffe69bff9d52de769d049',1,'SVF::VFG']]]
 ];

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

@@ -1,37 +1,37 @@
 var searchData=
 [
-  ['g_11369',['G',['../classSVF_1_1GraphWriter.html#a0ac109f9b3c3b3fe3cb61bbef09e0d29',1,'SVF::GraphWriter']]],
-  ['generalnummap_11370',['generalNumMap',['../classSVF_1_1SVFStat.html#a07b6f8cb424b84b468c4518140fa3a41',1,'SVF::SVFStat']]],
-  ['gep_5f0_11371',['gep_0',['../PEGGrammar_8txt.html#a4c44ba149afa8531399b34ff202e7486',1,'PEGGrammar.txt']]],
-  ['gep_5f1_11372',['gep_1',['../PAGGrammar_8txt.html#a9a4e1871fa395956be13e1d7a5089719',1,'PAGGrammar.txt']]],
-  ['gep_5fi_11373',['gep_i',['../PAGGrammar_8txt.html#a70678866f928eaca8c8322d57a451d0a',1,'PAGGrammar.txt']]],
-  ['gepbar_5f0_11374',['gepbar_0',['../PAGGrammar_8txt.html#a2bd2d1614b7b4f376c61366b17c0637d',1,'gepbar_0(): PAGGrammar.txt'],['../PEGGrammar_8txt.html#a32ac366bb4f2b6561e1aad6ec61b65d2',1,'gepbar_0(): PEGGrammar.txt']]],
-  ['gepinedges_11375',['gepInEdges',['../classSVF_1_1ConstraintNode.html#a4d0113f2af3a61892acee1fb21f0b938',1,'SVF::ConstraintNode']]],
-  ['gepnodenumindex_11376',['gepNodeNumIndex',['../PAGBuilderFromFile_8cpp.html#a1af3947dbaf1ad4364bc4818f70ead40',1,'PAGBuilderFromFile.cpp']]],
-  ['gepobjvarmap_11377',['GepObjVarMap',['../classSVF_1_1SVFIR.html#a09a604cf6a7708f4391fcf807fec1453',1,'SVF::SVFIR']]],
-  ['gepoutedges_11378',['gepOutEdges',['../classSVF_1_1ConstraintNode.html#a583880cd83a9f353003e199401d1b024',1,'SVF::ConstraintNode']]],
-  ['geppointeetype_11379',['gepPointeeType',['../classSVF_1_1AccessPath.html#a1d75baf851ba9982ac0861c850929985',1,'SVF::AccessPath']]],
-  ['gepsrcnodes_11380',['gepSrcNodes',['../classSVF_1_1AliasDDAClient.html#ab165537f4c9a318f31de8a272a529c9c',1,'SVF::AliasDDAClient']]],
-  ['geptime_11381',['gepTime',['../classSVF_1_1FlowSensitive.html#a282126e5b67ed4e19aa40c81180b8290',1,'SVF::FlowSensitive']]],
-  ['gepvalobjmap_11382',['GepValObjMap',['../classSVF_1_1SVFIR.html#ad7bbe1abea55ed03c9b6c81891c0bd67',1,'SVF::SVFIR']]],
-  ['gepvaltype_11383',['gepValType',['../classSVF_1_1GepValVar.html#a4aa450bce36b4b9f65b769eae649771a',1,'SVF::GepValVar']]],
-  ['getpointertoty_11384',['getPointerToTy',['../classSVF_1_1SVFType.html#a25faa037b356801c8c678f8c00dada33',1,'SVF::SVFType']]],
-  ['global_5ferror_11385',['global_error',['../cJSON_8cpp.html#a6ff6e9678e47cf5347872008661d5846',1,'cJSON.cpp']]],
-  ['global_5fhooks_11386',['global_hooks',['../cJSON_8cpp.html#a855c7241e836a5b2d87577df8c113faf',1,'cJSON.cpp']]],
-  ['globalblocknode_11387',['globalBlockNode',['../classSVF_1_1ICFG.html#a8e43b27d4484a4acb575e4c1c6c8fd02',1,'SVF::ICFG']]],
-  ['globalconses_11388',['globalConsES',['../classSVF_1_1ConsExeState.html#ac3ea5c4d65fac8934276a1ad12c97d06',1,'SVF::ConsExeState']]],
-  ['globaldeftorepmap_11389',['GlobalDefToRepMap',['../classSVF_1_1LLVMModuleSet.html#ae2a1fa0b908cf372c50af90e62c4bf2b',1,'SVF::LLVMModuleSet']]],
-  ['globales_11390',['globalES',['../classSVF_1_1IntervalExeState.html#a92b1b163493a74a31d30a261128edd05',1,'SVF::IntervalExeState']]],
-  ['globalnulladdrs_11391',['globalNulladdrs',['../classSVF_1_1SVFIR2ItvExeState.html#a1579525f7cf7779aba58c4bdde2be4b0',1,'SVF::SVFIR2ItvExeState']]],
-  ['globalset_11392',['GlobalSet',['../classSVF_1_1SVFModule.html#a4ff4bbd1771615757fc6575282046e30',1,'SVF::SVFModule']]],
-  ['globalvfgnodes_11393',['globalVFGNodes',['../classSVF_1_1VFG.html#a6c3daf2777cc5f76ce07241f803720f3',1,'SVF::VFG']]],
-  ['globs_11394',['globs',['../classSVF_1_1SaberSVFGBuilder.html#a967dba864a6032e448222525aedb1f2a',1,'SVF::SaberSVFGBuilder']]],
-  ['globsvfgnodes_11395',['globSVFGNodes',['../classSVF_1_1SaberSVFGBuilder.html#a9431a9dcbcf88b78e721b0347046e997',1,'SVF::SaberSVFGBuilder']]],
-  ['globsvfstmtset_11396',['globSVFStmtSet',['../classSVF_1_1SVFIR.html#a71b51492b00e66e36266b9a76a842323',1,'SVF::SVFIR']]],
-  ['grammar_11397',['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_11398',['grammarBase',['../classSVF_1_1CFLBase.html#aef3da4ce970597586757cafd2a435c1f',1,'SVF::CFLBase']]],
-  ['grammarfilename_11399',['GrammarFilename',['../classSVF_1_1Options.html#ad09017ae2e1010fbba5c086a4772750f',1,'SVF::Options']]],
-  ['graph_11400',['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_11401',['graphFieldJson',['../classSVF_1_1GenericGraphReader.html#a2438233e46ad0a052ec1352de977df88',1,'SVF::GenericGraphReader']]],
-  ['graphtxt_11402',['Graphtxt',['../classSVF_1_1Options.html#a53f783c80f368bcdca6c7620229d6f8e',1,'SVF::Options']]]
+  ['g_11372',['G',['../classSVF_1_1GraphWriter.html#a0ac109f9b3c3b3fe3cb61bbef09e0d29',1,'SVF::GraphWriter']]],
+  ['generalnummap_11373',['generalNumMap',['../classSVF_1_1SVFStat.html#a07b6f8cb424b84b468c4518140fa3a41',1,'SVF::SVFStat']]],
+  ['gep_5f0_11374',['gep_0',['../PEGGrammar_8txt.html#a4c44ba149afa8531399b34ff202e7486',1,'PEGGrammar.txt']]],
+  ['gep_5f1_11375',['gep_1',['../PAGGrammar_8txt.html#a9a4e1871fa395956be13e1d7a5089719',1,'PAGGrammar.txt']]],
+  ['gep_5fi_11376',['gep_i',['../PAGGrammar_8txt.html#a70678866f928eaca8c8322d57a451d0a',1,'PAGGrammar.txt']]],
+  ['gepbar_5f0_11377',['gepbar_0',['../PAGGrammar_8txt.html#a2bd2d1614b7b4f376c61366b17c0637d',1,'gepbar_0(): PAGGrammar.txt'],['../PEGGrammar_8txt.html#a32ac366bb4f2b6561e1aad6ec61b65d2',1,'gepbar_0(): PEGGrammar.txt']]],
+  ['gepinedges_11378',['gepInEdges',['../classSVF_1_1ConstraintNode.html#a4d0113f2af3a61892acee1fb21f0b938',1,'SVF::ConstraintNode']]],
+  ['gepnodenumindex_11379',['gepNodeNumIndex',['../PAGBuilderFromFile_8cpp.html#a1af3947dbaf1ad4364bc4818f70ead40',1,'PAGBuilderFromFile.cpp']]],
+  ['gepobjvarmap_11380',['GepObjVarMap',['../classSVF_1_1SVFIR.html#a09a604cf6a7708f4391fcf807fec1453',1,'SVF::SVFIR']]],
+  ['gepoutedges_11381',['gepOutEdges',['../classSVF_1_1ConstraintNode.html#a583880cd83a9f353003e199401d1b024',1,'SVF::ConstraintNode']]],
+  ['geppointeetype_11382',['gepPointeeType',['../classSVF_1_1AccessPath.html#a1d75baf851ba9982ac0861c850929985',1,'SVF::AccessPath']]],
+  ['gepsrcnodes_11383',['gepSrcNodes',['../classSVF_1_1AliasDDAClient.html#ab165537f4c9a318f31de8a272a529c9c',1,'SVF::AliasDDAClient']]],
+  ['geptime_11384',['gepTime',['../classSVF_1_1FlowSensitive.html#a282126e5b67ed4e19aa40c81180b8290',1,'SVF::FlowSensitive']]],
+  ['gepvalobjmap_11385',['GepValObjMap',['../classSVF_1_1SVFIR.html#ad7bbe1abea55ed03c9b6c81891c0bd67',1,'SVF::SVFIR']]],
+  ['gepvaltype_11386',['gepValType',['../classSVF_1_1GepValVar.html#a4aa450bce36b4b9f65b769eae649771a',1,'SVF::GepValVar']]],
+  ['getpointertoty_11387',['getPointerToTy',['../classSVF_1_1SVFType.html#a25faa037b356801c8c678f8c00dada33',1,'SVF::SVFType']]],
+  ['global_5ferror_11388',['global_error',['../cJSON_8cpp.html#a6ff6e9678e47cf5347872008661d5846',1,'cJSON.cpp']]],
+  ['global_5fhooks_11389',['global_hooks',['../cJSON_8cpp.html#a855c7241e836a5b2d87577df8c113faf',1,'cJSON.cpp']]],
+  ['globalblocknode_11390',['globalBlockNode',['../classSVF_1_1ICFG.html#a8e43b27d4484a4acb575e4c1c6c8fd02',1,'SVF::ICFG']]],
+  ['globalconses_11391',['globalConsES',['../classSVF_1_1ConsExeState.html#ac3ea5c4d65fac8934276a1ad12c97d06',1,'SVF::ConsExeState']]],
+  ['globaldeftorepmap_11392',['GlobalDefToRepMap',['../classSVF_1_1LLVMModuleSet.html#ae2a1fa0b908cf372c50af90e62c4bf2b',1,'SVF::LLVMModuleSet']]],
+  ['globales_11393',['globalES',['../classSVF_1_1IntervalExeState.html#a92b1b163493a74a31d30a261128edd05',1,'SVF::IntervalExeState']]],
+  ['globalnulladdrs_11394',['globalNulladdrs',['../classSVF_1_1SVFIR2ItvExeState.html#a1579525f7cf7779aba58c4bdde2be4b0',1,'SVF::SVFIR2ItvExeState']]],
+  ['globalset_11395',['GlobalSet',['../classSVF_1_1SVFModule.html#a4ff4bbd1771615757fc6575282046e30',1,'SVF::SVFModule']]],
+  ['globalvfgnodes_11396',['globalVFGNodes',['../classSVF_1_1VFG.html#a6c3daf2777cc5f76ce07241f803720f3',1,'SVF::VFG']]],
+  ['globs_11397',['globs',['../classSVF_1_1SaberSVFGBuilder.html#a967dba864a6032e448222525aedb1f2a',1,'SVF::SaberSVFGBuilder']]],
+  ['globsvfgnodes_11398',['globSVFGNodes',['../classSVF_1_1SaberSVFGBuilder.html#a9431a9dcbcf88b78e721b0347046e997',1,'SVF::SaberSVFGBuilder']]],
+  ['globsvfstmtset_11399',['globSVFStmtSet',['../classSVF_1_1SVFIR.html#a71b51492b00e66e36266b9a76a842323',1,'SVF::SVFIR']]],
+  ['grammar_11400',['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_11401',['grammarBase',['../classSVF_1_1CFLBase.html#aef3da4ce970597586757cafd2a435c1f',1,'SVF::CFLBase']]],
+  ['grammarfilename_11402',['GrammarFilename',['../classSVF_1_1Options.html#ad09017ae2e1010fbba5c086a4772750f',1,'SVF::Options']]],
+  ['graph_11403',['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_11404',['graphFieldJson',['../classSVF_1_1GenericGraphReader.html#a2438233e46ad0a052ec1352de977df88',1,'SVF::GenericGraphReader']]],
+  ['graphtxt_11405',['Graphtxt',['../classSVF_1_1Options.html#a53f783c80f368bcdca6c7620229d6f8e',1,'SVF::Options']]]
 ];

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

@@ -1,10 +1,10 @@
 var searchData=
 [
-  ['handblackhole_11403',['HandBlackHole',['../classSVF_1_1Options.html#a51b28b2e973911fb8e2c23c6127e9a63',1,'SVF::Options']]],
-  ['hbpair_11404',['HBPair',['../classSVF_1_1ForkJoinAnalysis.html#aad3e722ecaa4a39aef0e1cabfa2b8019',1,'SVF::ForkJoinAnalysis']]],
-  ['head_11405',['head',['../classSVF_1_1List.html#a41d52072edb2b75ab15d67bf2663312a',1,'SVF::List']]],
-  ['headmap_11406',['headmap',['../classSVF_1_1MTASVFGBuilder.html#ac92452c257052706b1cf1737b266eec1',1,'SVF::MTASVFGBuilder']]],
-  ['hooks_11407',['hooks',['../structparse__buffer.html#a2c3e99b15da2935fc5d58124ffb4a894',1,'parse_buffer::hooks()'],['../structprintbuffer.html#a43a8b3bcc644432f12f5aed5159d2520',1,'printbuffer::hooks()'],['../cJSON_8cpp.html#a182a7b0d4467e799ca4ea26235b1cf74',1,'hooks(): cJSON.cpp']]],
-  ['hppair_11408',['HPPair',['../classSVF_1_1ForkJoinAnalysis.html#a4ad5c7a21ca994d908d648ca9d9e1833',1,'SVF::ForkJoinAnalysis']]],
-  ['humanreadableoption_11409',['humanReadableOption',['../SVFFileSystem_8cpp.html#aee01a3d251dee6a05d621f5265d92e84',1,'SVFFileSystem.cpp']]]
+  ['handblackhole_11406',['HandBlackHole',['../classSVF_1_1Options.html#a51b28b2e973911fb8e2c23c6127e9a63',1,'SVF::Options']]],
+  ['hbpair_11407',['HBPair',['../classSVF_1_1ForkJoinAnalysis.html#aad3e722ecaa4a39aef0e1cabfa2b8019',1,'SVF::ForkJoinAnalysis']]],
+  ['head_11408',['head',['../classSVF_1_1List.html#a41d52072edb2b75ab15d67bf2663312a',1,'SVF::List']]],
+  ['headmap_11409',['headmap',['../classSVF_1_1MTASVFGBuilder.html#ac92452c257052706b1cf1737b266eec1',1,'SVF::MTASVFGBuilder']]],
+  ['hooks_11410',['hooks',['../structparse__buffer.html#a2c3e99b15da2935fc5d58124ffb4a894',1,'parse_buffer::hooks()'],['../structprintbuffer.html#a43a8b3bcc644432f12f5aed5159d2520',1,'printbuffer::hooks()'],['../cJSON_8cpp.html#a182a7b0d4467e799ca4ea26235b1cf74',1,'hooks(): cJSON.cpp']]],
+  ['hppair_11411',['HPPair',['../classSVF_1_1ForkJoinAnalysis.html#a4ad5c7a21ca994d908d648ca9d9e1833',1,'SVF::ForkJoinAnalysis']]],
+  ['humanreadableoption_11412',['humanReadableOption',['../SVFFileSystem_8cpp.html#aee01a3d251dee6a05d621f5265d92e84',1,'SVFFileSystem.cpp']]]
 ];