svf-tools 1.0.905 → 1.0.906

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

@@ -1,42 +1,42 @@
 var searchData=
 [
-  ['e_11666',['e',['../classSVF_1_1Z3Expr.html#ae14d9fa0613b196420b90d20cc8df041',1,'SVF::Z3Expr']]],
-  ['ebnfsigns_11667',['EBNFSigns',['../classSVF_1_1GrammarBase.html#a7909a5f90ed1678a178f18259f0b66a9',1,'SVF::GrammarBase']]],
-  ['edge2pts_11668',['edge2pts',['../classSVF_1_1MTASVFGBuilder.html#a1c0de33bba2f05f14140d872c345ab38',1,'SVF::MTASVFGBuilder']]],
-  ['edgeflag_11669',['edgeFlag',['../classSVF_1_1GenericEdge.html#aa1f446e93750580dce04a127231dd1a3',1,'SVF::GenericEdge']]],
-  ['edgeid_11670',['edgeId',['../classSVF_1_1ConstraintEdge.html#af51f8e9b3c1dd68855581d0d1739ba29',1,'SVF::ConstraintEdge::edgeId()'],['../classSVF_1_1SVFStmt.html#a593cc8136f2138a518476405e667e060',1,'SVF::SVFStmt::edgeId()']]],
-  ['edgeindex_11671',['edgeIndex',['../classSVF_1_1ConstraintGraph.html#ac246dc91562d4b1e168b7c39b2c2720f',1,'SVF::ConstraintGraph']]],
-  ['edgekindmask_11672',['EdgeKindMask',['../classSVF_1_1GrammarBase.html#a9fd7f7c4dcb4c32bb410f3e0a6f3ad0d',1,'SVF::GrammarBase::EdgeKindMask()'],['../classSVF_1_1GenericEdge.html#a93dec4c27088242a4b1b6aa82cea46b9',1,'SVF::GenericEdge::EdgeKindMask()']]],
-  ['edgekindmaskbits_11673',['EdgeKindMaskBits',['../classSVF_1_1GrammarBase.html#adc1413dc2e875a6e74bdb5b985cdd39f',1,'SVF::GrammarBase::EdgeKindMaskBits()'],['../classSVF_1_1GenericEdge.html#af1c2fd4b5ef1d7b7605572bf2489c298',1,'SVF::GenericEdge::EdgeKindMaskBits()']]],
-  ['edgenum_11674',['edgeNum',['../classSVF_1_1GenericGraph.html#a2fbc96de5f066469c2739229307bcc0c',1,'SVF::GenericGraph']]],
-  ['edgepool_11675',['edgePool',['../classSVF_1_1GenericGraphWriter.html#aaa8ecb5b12d426a8d33cd51819ab2789',1,'SVF::GenericGraphWriter::edgePool()'],['../classSVF_1_1GenericGraphReader.html#a3d975e78d6ac1090c4bd6095429d2ab3',1,'SVF::GenericGraphReader::edgePool()']]],
-  ['edgetype_11676',['edgeType',['../classSVF_1_1CHEdge.html#a58ac14decda4041e773d723475f5c1c8',1,'SVF::CHEdge']]],
-  ['ei_5fpairs_11677',['ei_pairs',['../SaberCheckerAPI_8cpp.html#aa5c38361a7f02befa83ea45388056ea1',1,'ei_pairs(): SaberCheckerAPI.cpp'],['../ThreadAPI_8cpp.html#aa5c38361a7f02befa83ea45388056ea1',1,'ei_pairs(): ThreadAPI.cpp']]],
-  ['elementindex_11678',['ElementIndex',['../structSVF_1_1SparseBitVectorElement.html#ae5c5ac3afef47499a4e852de0dc39c18',1,'SVF::SparseBitVectorElement']]],
-  ['elements_11679',['elements',['../classSVF_1_1CondStdSet.html#a1caece9a66b6617b89037fd8211f2934',1,'SVF::CondStdSet::elements()'],['../classSVF_1_1SparseBitVector.html#ab094576b73de3c8580ea152f90d63636',1,'SVF::SparseBitVector::Elements()']]],
-  ['elemidxvec_11680',['elemIdxVec',['../classSVF_1_1StInfo.html#a807ae5cb4d277c79f8b2c9ecde5f12ea',1,'SVF::StInfo']]],
-  ['elemnum_11681',['elemNum',['../classSVF_1_1ObjTypeInfo.html#a5fdcd5f3b7550e7bdc30c8c030c6226d',1,'SVF::ObjTypeInfo']]],
-  ['else_11682',['else',['../cJSON_8cpp.html#a0544c3fe466e421738dae463968b70ba',1,'cJSON.cpp']]],
-  ['emptydata_11683',['emptyData',['../classSVF_1_1POCRSolver.html#ab871a24f8eb451aec71fd94af7a65bc0',1,'SVF::POCRSolver']]],
-  ['enablealiascheck_11684',['EnableAliasCheck',['../classSVF_1_1Options.html#a5f07ff361307017b35fb6b9a97919a73',1,'SVF::Options']]],
-  ['enablethreadcallgraph_11685',['EnableThreadCallGraph',['../classSVF_1_1Options.html#a1daf36a755523519187c3a8e9a19b58d',1,'SVF::Options']]],
-  ['enabletypecheck_11686',['EnableTypeCheck',['../classSVF_1_1Options.html#a320a86694c42b92d0dd599d7825c7ca4',1,'SVF::Options']]],
-  ['end_5fiterator_11687',['end_iterator',['../classSVF_1_1iter__range.html#aced2e91eaf4970e387ad249f6e936373',1,'SVF::iter_range']]],
-  ['endtime_11688',['endTime',['../classSVF_1_1SVFStat.html#a8b01f1564408b51f28c107454bf9068d',1,'SVF::SVFStat']]],
-  ['entry_11689',['entry',['../classSVF_1_1CallPE.html#a88e420e259b8d7d34c9850ddde53d372',1,'SVF::CallPE']]],
-  ['entryfuncset_11690',['entryFuncSet',['../classSVF_1_1TCT.html#a140eaf9440ae9d52dbfb659967aa449a',1,'SVF::TCT']]],
-  ['entryicfgedges_11691',['entryICFGEdges',['../classSVF_1_1SVFLoop.html#a681d712db88d105c8a2f758de3d7e72e',1,'SVF::SVFLoop']]],
-  ['epsilon_11692',['epsilon',['../VFGGrammar_8txt.html#ac5f2eebeadca57b6dd4a532ba5f01757',1,'VFGGrammar.txt']]],
-  ['epsilonprods_11693',['epsilonProds',['../classSVF_1_1CFGrammar.html#a66a41e0f9a4c6112a686584e7d48d1e6',1,'SVF::CFGrammar']]],
-  ['equivalentobject_11694',['equivalentObject',['../classSVF_1_1VersionedFlowSensitive.html#a2d451d89f99a4bff828b682723df477f',1,'SVF::VersionedFlowSensitive']]],
-  ['evaltime_11695',['EvalTime',['../classSVF_1_1NodeIDAllocator_1_1Clusterer.html#a1d98862e19affdd08740f85490d0d856',1,'SVF::NodeIDAllocator::Clusterer']]],
-  ['eventinst_11696',['eventInst',['../classSVF_1_1SVFBugEvent.html#ac550e02b8d1d7713c53a29dab5a78c6d',1,'SVF::SVFBugEvent']]],
-  ['exit_11697',['exit',['../classSVF_1_1RetPE.html#a6f6ccda153150b6acdd81550e45f640f',1,'SVF::RetPE']]],
-  ['exitblock_11698',['exitBlock',['../classSVF_1_1SVFFunction.html#a374cbaa780f540cb4b4ccac562a82632',1,'SVF::SVFFunction']]],
-  ['extapipath_11699',['ExtAPIPath',['../classSVF_1_1Options.html#a2dffc9d885fa53340a1cdbc028d7f24a',1,'SVF::Options']]],
-  ['extbcpath_11700',['extBcPath',['../classSVF_1_1ExtAPI.html#a3ce3e67c96a65484d8077d9e3a9efa7d',1,'SVF::ExtAPI']]],
-  ['extended_11701',['extended',['../classSVF_1_1DCHGraph.html#aa6f49dfc9e3580d3f2d8c257395eb11e',1,'SVF::DCHGraph']]],
-  ['extfun2annotations_11702',['ExtFun2Annotations',['../classSVF_1_1LLVMModuleSet.html#a7968a00d41166d18acb684052ed1eed8',1,'SVF::LLVMModuleSet']]],
-  ['extfuncsvec_11703',['ExtFuncsVec',['../classSVF_1_1LLVMModuleSet.html#ab932917041e1b1d8b461bfef464330fd',1,'SVF::LLVMModuleSet']]],
-  ['extop_11704',['extOp',['../classSVF_1_1ExtAPI.html#a552feab663622681db231d5b48f00d75',1,'SVF::ExtAPI']]]
+  ['e_11674',['e',['../classSVF_1_1Z3Expr.html#ae14d9fa0613b196420b90d20cc8df041',1,'SVF::Z3Expr']]],
+  ['ebnfsigns_11675',['EBNFSigns',['../classSVF_1_1GrammarBase.html#a7909a5f90ed1678a178f18259f0b66a9',1,'SVF::GrammarBase']]],
+  ['edge2pts_11676',['edge2pts',['../classSVF_1_1MTASVFGBuilder.html#a1c0de33bba2f05f14140d872c345ab38',1,'SVF::MTASVFGBuilder']]],
+  ['edgeflag_11677',['edgeFlag',['../classSVF_1_1GenericEdge.html#aa1f446e93750580dce04a127231dd1a3',1,'SVF::GenericEdge']]],
+  ['edgeid_11678',['edgeId',['../classSVF_1_1ConstraintEdge.html#af51f8e9b3c1dd68855581d0d1739ba29',1,'SVF::ConstraintEdge::edgeId()'],['../classSVF_1_1SVFStmt.html#a593cc8136f2138a518476405e667e060',1,'SVF::SVFStmt::edgeId()']]],
+  ['edgeindex_11679',['edgeIndex',['../classSVF_1_1ConstraintGraph.html#ac246dc91562d4b1e168b7c39b2c2720f',1,'SVF::ConstraintGraph']]],
+  ['edgekindmask_11680',['EdgeKindMask',['../classSVF_1_1GrammarBase.html#a9fd7f7c4dcb4c32bb410f3e0a6f3ad0d',1,'SVF::GrammarBase::EdgeKindMask()'],['../classSVF_1_1GenericEdge.html#a93dec4c27088242a4b1b6aa82cea46b9',1,'SVF::GenericEdge::EdgeKindMask()']]],
+  ['edgekindmaskbits_11681',['EdgeKindMaskBits',['../classSVF_1_1GrammarBase.html#adc1413dc2e875a6e74bdb5b985cdd39f',1,'SVF::GrammarBase::EdgeKindMaskBits()'],['../classSVF_1_1GenericEdge.html#af1c2fd4b5ef1d7b7605572bf2489c298',1,'SVF::GenericEdge::EdgeKindMaskBits()']]],
+  ['edgenum_11682',['edgeNum',['../classSVF_1_1GenericGraph.html#a2fbc96de5f066469c2739229307bcc0c',1,'SVF::GenericGraph']]],
+  ['edgepool_11683',['edgePool',['../classSVF_1_1GenericGraphWriter.html#aaa8ecb5b12d426a8d33cd51819ab2789',1,'SVF::GenericGraphWriter::edgePool()'],['../classSVF_1_1GenericGraphReader.html#a3d975e78d6ac1090c4bd6095429d2ab3',1,'SVF::GenericGraphReader::edgePool()']]],
+  ['edgetype_11684',['edgeType',['../classSVF_1_1CHEdge.html#a58ac14decda4041e773d723475f5c1c8',1,'SVF::CHEdge']]],
+  ['ei_5fpairs_11685',['ei_pairs',['../SaberCheckerAPI_8cpp.html#aa5c38361a7f02befa83ea45388056ea1',1,'ei_pairs(): SaberCheckerAPI.cpp'],['../ThreadAPI_8cpp.html#aa5c38361a7f02befa83ea45388056ea1',1,'ei_pairs(): ThreadAPI.cpp']]],
+  ['elementindex_11686',['ElementIndex',['../structSVF_1_1SparseBitVectorElement.html#ae5c5ac3afef47499a4e852de0dc39c18',1,'SVF::SparseBitVectorElement']]],
+  ['elements_11687',['elements',['../classSVF_1_1CondStdSet.html#a1caece9a66b6617b89037fd8211f2934',1,'SVF::CondStdSet::elements()'],['../classSVF_1_1SparseBitVector.html#ab094576b73de3c8580ea152f90d63636',1,'SVF::SparseBitVector::Elements()']]],
+  ['elemidxvec_11688',['elemIdxVec',['../classSVF_1_1StInfo.html#a807ae5cb4d277c79f8b2c9ecde5f12ea',1,'SVF::StInfo']]],
+  ['elemnum_11689',['elemNum',['../classSVF_1_1ObjTypeInfo.html#a5fdcd5f3b7550e7bdc30c8c030c6226d',1,'SVF::ObjTypeInfo']]],
+  ['else_11690',['else',['../cJSON_8cpp.html#a0544c3fe466e421738dae463968b70ba',1,'cJSON.cpp']]],
+  ['emptydata_11691',['emptyData',['../classSVF_1_1POCRSolver.html#ab871a24f8eb451aec71fd94af7a65bc0',1,'SVF::POCRSolver']]],
+  ['enablealiascheck_11692',['EnableAliasCheck',['../classSVF_1_1Options.html#a5f07ff361307017b35fb6b9a97919a73',1,'SVF::Options']]],
+  ['enablethreadcallgraph_11693',['EnableThreadCallGraph',['../classSVF_1_1Options.html#a1daf36a755523519187c3a8e9a19b58d',1,'SVF::Options']]],
+  ['enabletypecheck_11694',['EnableTypeCheck',['../classSVF_1_1Options.html#a320a86694c42b92d0dd599d7825c7ca4',1,'SVF::Options']]],
+  ['end_5fiterator_11695',['end_iterator',['../classSVF_1_1iter__range.html#aced2e91eaf4970e387ad249f6e936373',1,'SVF::iter_range']]],
+  ['endtime_11696',['endTime',['../classSVF_1_1SVFStat.html#a8b01f1564408b51f28c107454bf9068d',1,'SVF::SVFStat']]],
+  ['entry_11697',['entry',['../classSVF_1_1CallPE.html#a88e420e259b8d7d34c9850ddde53d372',1,'SVF::CallPE']]],
+  ['entryfuncset_11698',['entryFuncSet',['../classSVF_1_1TCT.html#a140eaf9440ae9d52dbfb659967aa449a',1,'SVF::TCT']]],
+  ['entryicfgedges_11699',['entryICFGEdges',['../classSVF_1_1SVFLoop.html#a681d712db88d105c8a2f758de3d7e72e',1,'SVF::SVFLoop']]],
+  ['epsilon_11700',['epsilon',['../VFGGrammar_8txt.html#ac5f2eebeadca57b6dd4a532ba5f01757',1,'VFGGrammar.txt']]],
+  ['epsilonprods_11701',['epsilonProds',['../classSVF_1_1CFGrammar.html#a66a41e0f9a4c6112a686584e7d48d1e6',1,'SVF::CFGrammar']]],
+  ['equivalentobject_11702',['equivalentObject',['../classSVF_1_1VersionedFlowSensitive.html#a2d451d89f99a4bff828b682723df477f',1,'SVF::VersionedFlowSensitive']]],
+  ['evaltime_11703',['EvalTime',['../classSVF_1_1NodeIDAllocator_1_1Clusterer.html#a1d98862e19affdd08740f85490d0d856',1,'SVF::NodeIDAllocator::Clusterer']]],
+  ['eventinst_11704',['eventInst',['../classSVF_1_1SVFBugEvent.html#ac550e02b8d1d7713c53a29dab5a78c6d',1,'SVF::SVFBugEvent']]],
+  ['exit_11705',['exit',['../classSVF_1_1RetPE.html#a6f6ccda153150b6acdd81550e45f640f',1,'SVF::RetPE']]],
+  ['exitblock_11706',['exitBlock',['../classSVF_1_1SVFFunction.html#a374cbaa780f540cb4b4ccac562a82632',1,'SVF::SVFFunction']]],
+  ['extapipath_11707',['ExtAPIPath',['../classSVF_1_1Options.html#a2dffc9d885fa53340a1cdbc028d7f24a',1,'SVF::Options']]],
+  ['extbcpath_11708',['extBcPath',['../classSVF_1_1ExtAPI.html#a3ce3e67c96a65484d8077d9e3a9efa7d',1,'SVF::ExtAPI']]],
+  ['extended_11709',['extended',['../classSVF_1_1DCHGraph.html#aa6f49dfc9e3580d3f2d8c257395eb11e',1,'SVF::DCHGraph']]],
+  ['extfun2annotations_11710',['ExtFun2Annotations',['../classSVF_1_1LLVMModuleSet.html#a7968a00d41166d18acb684052ed1eed8',1,'SVF::LLVMModuleSet']]],
+  ['extfuncsvec_11711',['ExtFuncsVec',['../classSVF_1_1LLVMModuleSet.html#ab932917041e1b1d8b461bfef464330fd',1,'SVF::LLVMModuleSet']]],
+  ['extop_11712',['extOp',['../classSVF_1_1ExtAPI.html#a552feab663622681db231d5b48f00d75',1,'SVF::ExtAPI']]]
 ];

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

@@ -1,69 +1,69 @@
 var searchData=
 [
-  ['f_11705',['F',['../classSVF_1_1mapped__iter.html#a98e22cf9681fc948e9656bb1faeb36e1',1,'SVF::mapped_iter']]],
-  ['fastclustertime_11706',['FastClusterTime',['../classSVF_1_1NodeIDAllocator_1_1Clusterer.html#ae78d2b60035350c634f6f58d7a043c22',1,'SVF::NodeIDAllocator::Clusterer']]],
-  ['fbar_11707',['Fbar',['../PEGGrammar_8txt.html#a1e8b28eb87d57c33c5c45731db639c91',1,'PEGGrammar.txt']]],
-  ['fieldreps_11708',['fieldReps',['../classSVF_1_1AndersenSFR.html#a99337c429aebe9046c65068b44eff7cc',1,'SVF::AndersenSFR']]],
-  ['fieldtypes_11709',['fieldTypes',['../classSVF_1_1DCHGraph.html#acd9eb23f857d84a6050a5d00c512c123',1,'SVF::DCHGraph']]],
-  ['file_11710',['file',['../classSVF_1_1PAGBuilderFromFile.html#a9ce304b448de65fbde586655dce885a4',1,'SVF::PAGBuilderFromFile']]],
-  ['filecheck_11711',['FileCheck',['../classSVF_1_1Options.html#a65a8c37c1ce3b183a8ac43d64475fed9',1,'SVF::Options']]],
-  ['filename_11712',['fileName',['../classSVF_1_1GrammarBuilder.html#aa0f5135a232adc1ca42d4f51a3c70704',1,'SVF::GrammarBuilder']]],
-  ['filterfun_11713',['filterFun',['../classSVF_1_1LockResultValidator.html#a70cdb993b3e90c70cc083fb8ed93fb91',1,'SVF::LockResultValidator']]],
-  ['finalcond_11714',['finalCond',['../classSVF_1_1ProgSlice.html#a011fcd4f081926e808e15630cb2d4b47',1,'SVF::ProgSlice']]],
-  ['finfo_11715',['finfo',['../classSVF_1_1StInfo.html#ae3dc579aa3688c607f279215372eef4f',1,'SVF::StInfo']]],
-  ['firstfieldeqbase_11716',['FirstFieldEqBase',['../classSVF_1_1Options.html#a12e88ce4ba3d39017203ec4cd3ccccea',1,'SVF::Options']]],
-  ['firstrhstoprods_11717',['firstRHSToProds',['../classSVF_1_1CFGrammar.html#a02117195df31a99b3fa3250ba33425c5',1,'SVF::CFGrammar']]],
-  ['fja_11718',['fja',['../classSVF_1_1MHP.html#a98857a1837cef5519c938d07bb771a60',1,'SVF::MHP']]],
-  ['flags_11719',['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_11720',['flattenElementTypes',['../classSVF_1_1StInfo.html#ab99748a89da80812bbf6ffde768d7246',1,'SVF::StInfo']]],
-  ['fldidx_11721',['fldIdx',['../classSVF_1_1AccessPath.html#aa1747064a0833855a5848ebf4a4d65fa',1,'SVF::AccessPath']]],
-  ['fldidx2typemap_11722',['fldIdx2TypeMap',['../classSVF_1_1StInfo.html#ad64be5942408c143a34a4a0d7cff09da',1,'SVF::StInfo']]],
-  ['fldidxvec_11723',['fldIdxVec',['../classSVF_1_1StInfo.html#a77c94c0ab75b2d5af2132ff8e082cefe',1,'SVF::StInfo']]],
-  ['flexsymmap_11724',['FlexSymMap',['../classSVF_1_1Options.html#a8e22c3bca5ee0e4e7d90e857a5ea8031',1,'SVF::Options']]],
-  ['flowbudget_11725',['FlowBudget',['../classSVF_1_1Options.html#a8c02af98e908c48cef1de0085ed10ce4',1,'SVF::Options']]],
-  ['flowdda_11726',['flowDDA',['../classSVF_1_1ContextDDA.html#a2a23f0235fc49a177b2694f668b02551',1,'SVF::ContextDDA::flowDDA()'],['../classSVF_1_1DDAStat.html#a86e03ef25f150b98bc1f8c89bfd7fc77',1,'SVF::DDAStat::flowDDA()']]],
-  ['fmt_11727',['fmt',['../cJSON_8h.html#aa813b2b7bde1a5a1f528cd9d9aa9ee7d',1,'fmt(): cJSON.h'],['../cJSON_8cpp.html#aa813b2b7bde1a5a1f528cd9d9aa9ee7d',1,'fmt(): cJSON.cpp']]],
-  ['followers_11728',['followers',['../classSVF_1_1PCG.html#ab3a3d18bac6e1f833583d41fa562caea',1,'SVF::PCG']]],
-  ['forksite_11729',['forksite',['../classSVF_1_1CxtThread.html#aa5d6be70f17419748ba572e347da6bd3',1,'SVF::CxtThread']]],
-  ['forksites_11730',['forksites',['../classSVF_1_1ThreadCallGraph.html#a69b86668a04dc3e5bb85ab4f3f0fce27',1,'SVF::ThreadCallGraph']]],
-  ['formalouttodefmap_11731',['formalOutToDefMap',['../classSVF_1_1SVFGOPT.html#abbd6ac28826b9cc4c4981271393c8b19',1,'SVF::SVFGOPT']]],
-  ['formalret_11732',['formalRet',['../classSVF_1_1FunExitICFGNode.html#ac3765c6a34ddff0018e38ce644d96641',1,'SVF::FunExitICFGNode']]],
-  ['format_11733',['format',['../structprintbuffer.html#a75d3f480f5308e7f4afecf30e11277ef',1,'printbuffer::format()'],['../cJSON_8h.html#a6122748ab66fdcaed151288ac056a1d1',1,'format(): cJSON.h'],['../cJSON_8cpp.html#a6122748ab66fdcaed151288ac056a1d1',1,'format(): cJSON.cpp']]],
-  ['forwardslice_11734',['forwardSlice',['../classSVF_1_1SVFGStat.html#a1e5ec005dda8dc918422eaf33f3145f8',1,'SVF::SVFGStat::forwardSlice()'],['../classSVF_1_1ProgSlice.html#ac12dc4caa0c764ae69175e787efad2ab',1,'SVF::ProgSlice::forwardslice()']]],
-  ['fpnodes_11735',['FPNodes',['../classSVF_1_1FunEntryICFGNode.html#a30e8c63bf2ae7a7528b9d8a516340ade',1,'SVF::FunEntryICFGNode']]],
-  ['fromfile_11736',['fromFile',['../classSVF_1_1IRGraph.html#a7750a2b2a98bb39fc5f67af4e0c12379',1,'SVF::IRGraph']]],
-  ['fsanno_11737',['FSAnno',['../classSVF_1_1Options.html#a4f022e2f997d25ec50842b4248147336',1,'SVF::Options']]],
-  ['fsmptatime_11738',['FSMPTATime',['../classSVF_1_1MTAStat.html#a030671ec358a93e3c2887f048dcfcce8',1,'SVF::MTAStat']]],
-  ['fspta_11739',['fspta',['../classSVF_1_1FlowSensitive.html#a2fac4f6a9d2cc19b2d998f0197e6883b',1,'SVF::FlowSensitive::fspta()'],['../classSVF_1_1FlowSensitiveStat.html#af7e04f73ee17647c52e571cadef8729f',1,'SVF::FlowSensitiveStat::fspta()']]],
-  ['fstimelimit_11740',['FsTimeLimit',['../classSVF_1_1Options.html#a6ebad0decdd6e93c661b72d80f5dbcef',1,'SVF::Options']]],
-  ['fulljoin_11741',['fullJoin',['../classSVF_1_1ForkJoinAnalysis.html#a4193a30050195cd9aaafd58511b66ccc',1,'SVF::ForkJoinAnalysis']]],
-  ['fullreachable_11742',['fullReachable',['../classSVF_1_1ProgSlice.html#a632db4b2e69848955925746ac721d94f',1,'SVF::ProgSlice']]],
-  ['fun_11743',['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_11744',['funArgsListMap',['../classSVF_1_1SVFIR.html#a864c465fbfdbbbdcc7fc8bbe26737903',1,'SVF::SVFIR']]],
-  ['funcname_11745',['funcName',['../structSVF_1_1cppUtil_1_1DemangledName.html#a1dd17b240663bc9412adefde82385e02',1,'SVF::cppUtil::DemangledName']]],
-  ['funcpointerprint_11746',['FuncPointerPrint',['../classSVF_1_1Options.html#abb91435e1e06b07548c539e7f7761563',1,'SVF::Options']]],
-  ['functionset_11747',['FunctionSet',['../classSVF_1_1SVFModule.html#af33660b9938a1a78b7ae44bf429c717e',1,'SVF::SVFModule']]],
-  ['functointermap_11748',['funcToInterMap',['../classSVF_1_1IntraDisjointMRG.html#ac3873b9ae1339e8d502e85c217638078',1,'SVF::IntraDisjointMRG']]],
-  ['functoptsmap_11749',['funcToPtsMap',['../classSVF_1_1IntraDisjointMRG.html#a4b05180c942c1d049e70f8050f4186f6',1,'SVF::IntraDisjointMRG']]],
-  ['functype_11750',['funcType',['../classSVF_1_1SVFFunction.html#ad1c1ca2a7d4a681f24712345222e9ddc',1,'SVF::SVFFunction']]],
-  ['fundecltodefmap_11751',['FunDeclToDefMap',['../classSVF_1_1LLVMModuleSet.html#aee80b29e5246e3eaa0e30e165346101f',1,'SVF::LLVMModuleSet']]],
-  ['fundeftodeclsmap_11752',['FunDefToDeclsMap',['../classSVF_1_1LLVMModuleSet.html#a377cefaad4b688ab6edf94ba4abe00ee',1,'SVF::LLVMModuleSet']]],
-  ['funentrynode_11753',['funEntryNode',['../classSVF_1_1FormalINSVFGNode.html#a4a574589ae53d38e63fc4a26a5b9af61',1,'SVF::FormalINSVFGNode']]],
-  ['funexitnode_11754',['funExitNode',['../classSVF_1_1FormalOUTSVFGNode.html#af5235111849f826880c10d7bcc635748',1,'SVF::FormalOUTSVFGNode']]],
-  ['funnameofvcall_11755',['funNameOfVcall',['../classSVF_1_1SVFVirtualCallInst.html#a34767de48e7d454c3ea7c92dcb29b268',1,'SVF::SVFVirtualCallInst']]],
-  ['funptrtocallsitesmap_11756',['funPtrToCallSitesMap',['../classSVF_1_1SVFIR.html#af9c840e4b82fe9fd9493eabaa2b52bd5',1,'SVF::SVFIR']]],
-  ['funretmap_11757',['funRetMap',['../classSVF_1_1SVFIR.html#a4cef56f7fc77b47dc6e65c59c98551c5',1,'SVF::SVFIR']]],
-  ['funtocallgraphnodemap_11758',['funToCallGraphNodeMap',['../classSVF_1_1PTACallGraph.html#a97986d6e6732c78b04cc053f0e9d1367',1,'SVF::PTACallGraph']]],
-  ['funtoentrychisetmap_11759',['funToEntryChiSetMap',['../classSVF_1_1MemSSA.html#a59314f6ce17919574d687a08a38b55ec',1,'SVF::MemSSA']]],
-  ['funtoexitbbsmap_11760',['funToExitBBsMap',['../classSVF_1_1SaberCondAllocator.html#ad1620cc7482aeb464b53cfce64e17cc3',1,'SVF::SaberCondAllocator']]],
-  ['funtoformalinmap_11761',['funToFormalINMap',['../classSVF_1_1SVFG.html#ae51cd0493e4e767848b96b69045762fd',1,'SVF::SVFG']]],
-  ['funtoformaloutmap_11762',['funToFormalOUTMap',['../classSVF_1_1SVFG.html#a7d58f9fe97071ec9936174689cb99301',1,'SVF::SVFG']]],
-  ['funtofunentrynodemap_11763',['FunToFunEntryNodeMap',['../classSVF_1_1ICFG.html#a69076849bd256fb0ca59711a59a7c092',1,'SVF::ICFG']]],
-  ['funtofunexitnodemap_11764',['FunToFunExitNodeMap',['../classSVF_1_1ICFG.html#ab87a90adae3e9db06da7ecc0bd9d920f',1,'SVF::ICFG']]],
-  ['funtomodsmap_11765',['funToModsMap',['../classSVF_1_1MRGenerator.html#a2c94bfa19ad8d1d6360b12693c8b891d',1,'SVF::MRGenerator']]],
-  ['funtomrsmap_11766',['funToMRsMap',['../classSVF_1_1MRGenerator.html#a3e74c3706ffcc14f378771b417dcbb96',1,'SVF::MRGenerator']]],
-  ['funtopointstomap_11767',['funToPointsToMap',['../classSVF_1_1MRGenerator.html#a05c7a5ddbe3079f63be76c35298d1c2b',1,'SVF::MRGenerator']]],
-  ['funtorefsmap_11768',['funToRefsMap',['../classSVF_1_1MRGenerator.html#af6d58e2971c4a8d3ee03f9dfd9072a3a',1,'SVF::MRGenerator']]],
-  ['funtoreturnmusetmap_11769',['funToReturnMuSetMap',['../classSVF_1_1MemSSA.html#abae2396bf8a37a22be9365d368fe455c',1,'SVF::MemSSA']]],
-  ['funtovfgnodesmap_11770',['funToVFGNodesMap',['../classSVF_1_1VFG.html#a9a99ae86d16ffe69bff9d52de769d049',1,'SVF::VFG']]]
+  ['f_11713',['F',['../classSVF_1_1mapped__iter.html#a98e22cf9681fc948e9656bb1faeb36e1',1,'SVF::mapped_iter']]],
+  ['fastclustertime_11714',['FastClusterTime',['../classSVF_1_1NodeIDAllocator_1_1Clusterer.html#ae78d2b60035350c634f6f58d7a043c22',1,'SVF::NodeIDAllocator::Clusterer']]],
+  ['fbar_11715',['Fbar',['../PEGGrammar_8txt.html#a1e8b28eb87d57c33c5c45731db639c91',1,'PEGGrammar.txt']]],
+  ['fieldreps_11716',['fieldReps',['../classSVF_1_1AndersenSFR.html#a99337c429aebe9046c65068b44eff7cc',1,'SVF::AndersenSFR']]],
+  ['fieldtypes_11717',['fieldTypes',['../classSVF_1_1DCHGraph.html#acd9eb23f857d84a6050a5d00c512c123',1,'SVF::DCHGraph']]],
+  ['file_11718',['file',['../classSVF_1_1PAGBuilderFromFile.html#a9ce304b448de65fbde586655dce885a4',1,'SVF::PAGBuilderFromFile']]],
+  ['filecheck_11719',['FileCheck',['../classSVF_1_1Options.html#a65a8c37c1ce3b183a8ac43d64475fed9',1,'SVF::Options']]],
+  ['filename_11720',['fileName',['../classSVF_1_1GrammarBuilder.html#aa0f5135a232adc1ca42d4f51a3c70704',1,'SVF::GrammarBuilder']]],
+  ['filterfun_11721',['filterFun',['../classSVF_1_1LockResultValidator.html#a70cdb993b3e90c70cc083fb8ed93fb91',1,'SVF::LockResultValidator']]],
+  ['finalcond_11722',['finalCond',['../classSVF_1_1ProgSlice.html#a011fcd4f081926e808e15630cb2d4b47',1,'SVF::ProgSlice']]],
+  ['finfo_11723',['finfo',['../classSVF_1_1StInfo.html#ae3dc579aa3688c607f279215372eef4f',1,'SVF::StInfo']]],
+  ['firstfieldeqbase_11724',['FirstFieldEqBase',['../classSVF_1_1Options.html#a12e88ce4ba3d39017203ec4cd3ccccea',1,'SVF::Options']]],
+  ['firstrhstoprods_11725',['firstRHSToProds',['../classSVF_1_1CFGrammar.html#a02117195df31a99b3fa3250ba33425c5',1,'SVF::CFGrammar']]],
+  ['fja_11726',['fja',['../classSVF_1_1MHP.html#a98857a1837cef5519c938d07bb771a60',1,'SVF::MHP']]],
+  ['flags_11727',['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_11728',['flattenElementTypes',['../classSVF_1_1StInfo.html#ab99748a89da80812bbf6ffde768d7246',1,'SVF::StInfo']]],
+  ['fldidx_11729',['fldIdx',['../classSVF_1_1AccessPath.html#aa1747064a0833855a5848ebf4a4d65fa',1,'SVF::AccessPath']]],
+  ['fldidx2typemap_11730',['fldIdx2TypeMap',['../classSVF_1_1StInfo.html#ad64be5942408c143a34a4a0d7cff09da',1,'SVF::StInfo']]],
+  ['fldidxvec_11731',['fldIdxVec',['../classSVF_1_1StInfo.html#a77c94c0ab75b2d5af2132ff8e082cefe',1,'SVF::StInfo']]],
+  ['flexsymmap_11732',['FlexSymMap',['../classSVF_1_1Options.html#a8e22c3bca5ee0e4e7d90e857a5ea8031',1,'SVF::Options']]],
+  ['flowbudget_11733',['FlowBudget',['../classSVF_1_1Options.html#a8c02af98e908c48cef1de0085ed10ce4',1,'SVF::Options']]],
+  ['flowdda_11734',['flowDDA',['../classSVF_1_1ContextDDA.html#a2a23f0235fc49a177b2694f668b02551',1,'SVF::ContextDDA::flowDDA()'],['../classSVF_1_1DDAStat.html#a86e03ef25f150b98bc1f8c89bfd7fc77',1,'SVF::DDAStat::flowDDA()']]],
+  ['fmt_11735',['fmt',['../cJSON_8h.html#aa813b2b7bde1a5a1f528cd9d9aa9ee7d',1,'fmt(): cJSON.h'],['../cJSON_8cpp.html#aa813b2b7bde1a5a1f528cd9d9aa9ee7d',1,'fmt(): cJSON.cpp']]],
+  ['followers_11736',['followers',['../classSVF_1_1PCG.html#ab3a3d18bac6e1f833583d41fa562caea',1,'SVF::PCG']]],
+  ['forksite_11737',['forksite',['../classSVF_1_1CxtThread.html#aa5d6be70f17419748ba572e347da6bd3',1,'SVF::CxtThread']]],
+  ['forksites_11738',['forksites',['../classSVF_1_1ThreadCallGraph.html#a69b86668a04dc3e5bb85ab4f3f0fce27',1,'SVF::ThreadCallGraph']]],
+  ['formalouttodefmap_11739',['formalOutToDefMap',['../classSVF_1_1SVFGOPT.html#abbd6ac28826b9cc4c4981271393c8b19',1,'SVF::SVFGOPT']]],
+  ['formalret_11740',['formalRet',['../classSVF_1_1FunExitICFGNode.html#ac3765c6a34ddff0018e38ce644d96641',1,'SVF::FunExitICFGNode']]],
+  ['format_11741',['format',['../structprintbuffer.html#a75d3f480f5308e7f4afecf30e11277ef',1,'printbuffer::format()'],['../cJSON_8h.html#a6122748ab66fdcaed151288ac056a1d1',1,'format(): cJSON.h'],['../cJSON_8cpp.html#a6122748ab66fdcaed151288ac056a1d1',1,'format(): cJSON.cpp']]],
+  ['forwardslice_11742',['forwardSlice',['../classSVF_1_1SVFGStat.html#a1e5ec005dda8dc918422eaf33f3145f8',1,'SVF::SVFGStat::forwardSlice()'],['../classSVF_1_1ProgSlice.html#ac12dc4caa0c764ae69175e787efad2ab',1,'SVF::ProgSlice::forwardslice()']]],
+  ['fpnodes_11743',['FPNodes',['../classSVF_1_1FunEntryICFGNode.html#a30e8c63bf2ae7a7528b9d8a516340ade',1,'SVF::FunEntryICFGNode']]],
+  ['fromfile_11744',['fromFile',['../classSVF_1_1IRGraph.html#a7750a2b2a98bb39fc5f67af4e0c12379',1,'SVF::IRGraph']]],
+  ['fsanno_11745',['FSAnno',['../classSVF_1_1Options.html#a4f022e2f997d25ec50842b4248147336',1,'SVF::Options']]],
+  ['fsmptatime_11746',['FSMPTATime',['../classSVF_1_1MTAStat.html#a030671ec358a93e3c2887f048dcfcce8',1,'SVF::MTAStat']]],
+  ['fspta_11747',['fspta',['../classSVF_1_1FlowSensitive.html#a2fac4f6a9d2cc19b2d998f0197e6883b',1,'SVF::FlowSensitive::fspta()'],['../classSVF_1_1FlowSensitiveStat.html#af7e04f73ee17647c52e571cadef8729f',1,'SVF::FlowSensitiveStat::fspta()']]],
+  ['fstimelimit_11748',['FsTimeLimit',['../classSVF_1_1Options.html#a6ebad0decdd6e93c661b72d80f5dbcef',1,'SVF::Options']]],
+  ['fulljoin_11749',['fullJoin',['../classSVF_1_1ForkJoinAnalysis.html#a4193a30050195cd9aaafd58511b66ccc',1,'SVF::ForkJoinAnalysis']]],
+  ['fullreachable_11750',['fullReachable',['../classSVF_1_1ProgSlice.html#a632db4b2e69848955925746ac721d94f',1,'SVF::ProgSlice']]],
+  ['fun_11751',['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_11752',['funArgsListMap',['../classSVF_1_1SVFIR.html#a864c465fbfdbbbdcc7fc8bbe26737903',1,'SVF::SVFIR']]],
+  ['funcname_11753',['funcName',['../structSVF_1_1cppUtil_1_1DemangledName.html#a1dd17b240663bc9412adefde82385e02',1,'SVF::cppUtil::DemangledName']]],
+  ['funcpointerprint_11754',['FuncPointerPrint',['../classSVF_1_1Options.html#abb91435e1e06b07548c539e7f7761563',1,'SVF::Options']]],
+  ['functionset_11755',['FunctionSet',['../classSVF_1_1SVFModule.html#af33660b9938a1a78b7ae44bf429c717e',1,'SVF::SVFModule']]],
+  ['functointermap_11756',['funcToInterMap',['../classSVF_1_1IntraDisjointMRG.html#ac3873b9ae1339e8d502e85c217638078',1,'SVF::IntraDisjointMRG']]],
+  ['functoptsmap_11757',['funcToPtsMap',['../classSVF_1_1IntraDisjointMRG.html#a4b05180c942c1d049e70f8050f4186f6',1,'SVF::IntraDisjointMRG']]],
+  ['functype_11758',['funcType',['../classSVF_1_1SVFFunction.html#ad1c1ca2a7d4a681f24712345222e9ddc',1,'SVF::SVFFunction']]],
+  ['fundecltodefmap_11759',['FunDeclToDefMap',['../classSVF_1_1LLVMModuleSet.html#aee80b29e5246e3eaa0e30e165346101f',1,'SVF::LLVMModuleSet']]],
+  ['fundeftodeclsmap_11760',['FunDefToDeclsMap',['../classSVF_1_1LLVMModuleSet.html#a377cefaad4b688ab6edf94ba4abe00ee',1,'SVF::LLVMModuleSet']]],
+  ['funentrynode_11761',['funEntryNode',['../classSVF_1_1FormalINSVFGNode.html#a4a574589ae53d38e63fc4a26a5b9af61',1,'SVF::FormalINSVFGNode']]],
+  ['funexitnode_11762',['funExitNode',['../classSVF_1_1FormalOUTSVFGNode.html#af5235111849f826880c10d7bcc635748',1,'SVF::FormalOUTSVFGNode']]],
+  ['funnameofvcall_11763',['funNameOfVcall',['../classSVF_1_1SVFVirtualCallInst.html#a34767de48e7d454c3ea7c92dcb29b268',1,'SVF::SVFVirtualCallInst']]],
+  ['funptrtocallsitesmap_11764',['funPtrToCallSitesMap',['../classSVF_1_1SVFIR.html#af9c840e4b82fe9fd9493eabaa2b52bd5',1,'SVF::SVFIR']]],
+  ['funretmap_11765',['funRetMap',['../classSVF_1_1SVFIR.html#a4cef56f7fc77b47dc6e65c59c98551c5',1,'SVF::SVFIR']]],
+  ['funtocallgraphnodemap_11766',['funToCallGraphNodeMap',['../classSVF_1_1PTACallGraph.html#a97986d6e6732c78b04cc053f0e9d1367',1,'SVF::PTACallGraph']]],
+  ['funtoentrychisetmap_11767',['funToEntryChiSetMap',['../classSVF_1_1MemSSA.html#a59314f6ce17919574d687a08a38b55ec',1,'SVF::MemSSA']]],
+  ['funtoexitbbsmap_11768',['funToExitBBsMap',['../classSVF_1_1SaberCondAllocator.html#ad1620cc7482aeb464b53cfce64e17cc3',1,'SVF::SaberCondAllocator']]],
+  ['funtoformalinmap_11769',['funToFormalINMap',['../classSVF_1_1SVFG.html#ae51cd0493e4e767848b96b69045762fd',1,'SVF::SVFG']]],
+  ['funtoformaloutmap_11770',['funToFormalOUTMap',['../classSVF_1_1SVFG.html#a7d58f9fe97071ec9936174689cb99301',1,'SVF::SVFG']]],
+  ['funtofunentrynodemap_11771',['FunToFunEntryNodeMap',['../classSVF_1_1ICFG.html#a69076849bd256fb0ca59711a59a7c092',1,'SVF::ICFG']]],
+  ['funtofunexitnodemap_11772',['FunToFunExitNodeMap',['../classSVF_1_1ICFG.html#ab87a90adae3e9db06da7ecc0bd9d920f',1,'SVF::ICFG']]],
+  ['funtomodsmap_11773',['funToModsMap',['../classSVF_1_1MRGenerator.html#a2c94bfa19ad8d1d6360b12693c8b891d',1,'SVF::MRGenerator']]],
+  ['funtomrsmap_11774',['funToMRsMap',['../classSVF_1_1MRGenerator.html#a3e74c3706ffcc14f378771b417dcbb96',1,'SVF::MRGenerator']]],
+  ['funtopointstomap_11775',['funToPointsToMap',['../classSVF_1_1MRGenerator.html#a05c7a5ddbe3079f63be76c35298d1c2b',1,'SVF::MRGenerator']]],
+  ['funtorefsmap_11776',['funToRefsMap',['../classSVF_1_1MRGenerator.html#af6d58e2971c4a8d3ee03f9dfd9072a3a',1,'SVF::MRGenerator']]],
+  ['funtoreturnmusetmap_11777',['funToReturnMuSetMap',['../classSVF_1_1MemSSA.html#abae2396bf8a37a22be9365d368fe455c',1,'SVF::MemSSA']]],
+  ['funtovfgnodesmap_11778',['funToVFGNodesMap',['../classSVF_1_1VFG.html#a9a99ae86d16ffe69bff9d52de769d049',1,'SVF::VFG']]]
 ];

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

@@ -1,37 +1,37 @@
 var searchData=
 [
-  ['g_11771',['G',['../classSVF_1_1GraphWriter.html#a0ac109f9b3c3b3fe3cb61bbef09e0d29',1,'SVF::GraphWriter']]],
-  ['generalnummap_11772',['generalNumMap',['../classSVF_1_1SVFStat.html#a07b6f8cb424b84b468c4518140fa3a41',1,'SVF::SVFStat']]],
-  ['gep_5f0_11773',['gep_0',['../PEGGrammar_8txt.html#a4c44ba149afa8531399b34ff202e7486',1,'PEGGrammar.txt']]],
-  ['gep_5f1_11774',['gep_1',['../PAGGrammar_8txt.html#a9a4e1871fa395956be13e1d7a5089719',1,'PAGGrammar.txt']]],
-  ['gep_5fi_11775',['gep_i',['../PAGGrammar_8txt.html#a70678866f928eaca8c8322d57a451d0a',1,'PAGGrammar.txt']]],
-  ['gepbar_5f0_11776',['gepbar_0',['../PAGGrammar_8txt.html#a2bd2d1614b7b4f376c61366b17c0637d',1,'gepbar_0(): PAGGrammar.txt'],['../PEGGrammar_8txt.html#a32ac366bb4f2b6561e1aad6ec61b65d2',1,'gepbar_0(): PEGGrammar.txt']]],
-  ['gepinedges_11777',['gepInEdges',['../classSVF_1_1ConstraintNode.html#a4d0113f2af3a61892acee1fb21f0b938',1,'SVF::ConstraintNode']]],
-  ['gepnodenumindex_11778',['gepNodeNumIndex',['../PAGBuilderFromFile_8cpp.html#a1af3947dbaf1ad4364bc4818f70ead40',1,'PAGBuilderFromFile.cpp']]],
-  ['gepobjvarmap_11779',['GepObjVarMap',['../classSVF_1_1SVFIR.html#a09a604cf6a7708f4391fcf807fec1453',1,'SVF::SVFIR']]],
-  ['gepoutedges_11780',['gepOutEdges',['../classSVF_1_1ConstraintNode.html#a583880cd83a9f353003e199401d1b024',1,'SVF::ConstraintNode']]],
-  ['geppointeetype_11781',['gepPointeeType',['../classSVF_1_1AccessPath.html#a1d75baf851ba9982ac0861c850929985',1,'SVF::AccessPath']]],
-  ['gepsrcnodes_11782',['gepSrcNodes',['../classSVF_1_1AliasDDAClient.html#ab165537f4c9a318f31de8a272a529c9c',1,'SVF::AliasDDAClient']]],
-  ['geptime_11783',['gepTime',['../classSVF_1_1FlowSensitive.html#a282126e5b67ed4e19aa40c81180b8290',1,'SVF::FlowSensitive']]],
-  ['gepunknownidx_11784',['GepUnknownIdx',['../classSVF_1_1Options.html#a6450b984f67d3cfa3f44892e8eea555e',1,'SVF::Options']]],
-  ['gepvalobjmap_11785',['GepValObjMap',['../classSVF_1_1SVFIR.html#ad7bbe1abea55ed03c9b6c81891c0bd67',1,'SVF::SVFIR']]],
-  ['gepvaltype_11786',['gepValType',['../classSVF_1_1GepValVar.html#a4aa450bce36b4b9f65b769eae649771a',1,'SVF::GepValVar']]],
-  ['global_5ferror_11787',['global_error',['../cJSON_8cpp.html#a6ff6e9678e47cf5347872008661d5846',1,'cJSON.cpp']]],
-  ['global_5fhooks_11788',['global_hooks',['../cJSON_8cpp.html#a855c7241e836a5b2d87577df8c113faf',1,'cJSON.cpp']]],
-  ['globalblocknode_11789',['globalBlockNode',['../classSVF_1_1ICFG.html#a8e43b27d4484a4acb575e4c1c6c8fd02',1,'SVF::ICFG']]],
-  ['globalconses_11790',['globalConsES',['../classSVF_1_1ConsExeState.html#ac3ea5c4d65fac8934276a1ad12c97d06',1,'SVF::ConsExeState']]],
-  ['globaldeftorepmap_11791',['GlobalDefToRepMap',['../classSVF_1_1LLVMModuleSet.html#ae2a1fa0b908cf372c50af90e62c4bf2b',1,'SVF::LLVMModuleSet']]],
-  ['globales_11792',['globalES',['../classSVF_1_1IntervalExeState.html#a92b1b163493a74a31d30a261128edd05',1,'SVF::IntervalExeState']]],
-  ['globalnulladdrs_11793',['globalNulladdrs',['../classSVF_1_1SVFIR2ItvExeState.html#a1579525f7cf7779aba58c4bdde2be4b0',1,'SVF::SVFIR2ItvExeState']]],
-  ['globalset_11794',['GlobalSet',['../classSVF_1_1SVFModule.html#a4ff4bbd1771615757fc6575282046e30',1,'SVF::SVFModule']]],
-  ['globalvfgnodes_11795',['globalVFGNodes',['../classSVF_1_1VFG.html#a6c3daf2777cc5f76ce07241f803720f3',1,'SVF::VFG']]],
-  ['globs_11796',['globs',['../classSVF_1_1SaberSVFGBuilder.html#a967dba864a6032e448222525aedb1f2a',1,'SVF::SaberSVFGBuilder']]],
-  ['globsvfgnodes_11797',['globSVFGNodes',['../classSVF_1_1SaberSVFGBuilder.html#a9431a9dcbcf88b78e721b0347046e997',1,'SVF::SaberSVFGBuilder']]],
-  ['globsvfstmtset_11798',['globSVFStmtSet',['../classSVF_1_1SVFIR.html#a71b51492b00e66e36266b9a76a842323',1,'SVF::SVFIR']]],
-  ['grammar_11799',['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_11800',['grammarBase',['../classSVF_1_1CFLBase.html#aef3da4ce970597586757cafd2a435c1f',1,'SVF::CFLBase']]],
-  ['grammarfilename_11801',['GrammarFilename',['../classSVF_1_1Options.html#ad09017ae2e1010fbba5c086a4772750f',1,'SVF::Options']]],
-  ['graph_11802',['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_11803',['graphFieldJson',['../classSVF_1_1GenericGraphReader.html#a2438233e46ad0a052ec1352de977df88',1,'SVF::GenericGraphReader']]],
-  ['graphtxt_11804',['Graphtxt',['../classSVF_1_1Options.html#a53f783c80f368bcdca6c7620229d6f8e',1,'SVF::Options']]]
+  ['g_11779',['G',['../classSVF_1_1GraphWriter.html#a0ac109f9b3c3b3fe3cb61bbef09e0d29',1,'SVF::GraphWriter']]],
+  ['generalnummap_11780',['generalNumMap',['../classSVF_1_1SVFStat.html#a07b6f8cb424b84b468c4518140fa3a41',1,'SVF::SVFStat']]],
+  ['gep_5f0_11781',['gep_0',['../PEGGrammar_8txt.html#a4c44ba149afa8531399b34ff202e7486',1,'PEGGrammar.txt']]],
+  ['gep_5f1_11782',['gep_1',['../PAGGrammar_8txt.html#a9a4e1871fa395956be13e1d7a5089719',1,'PAGGrammar.txt']]],
+  ['gep_5fi_11783',['gep_i',['../PAGGrammar_8txt.html#a70678866f928eaca8c8322d57a451d0a',1,'PAGGrammar.txt']]],
+  ['gepbar_5f0_11784',['gepbar_0',['../PAGGrammar_8txt.html#a2bd2d1614b7b4f376c61366b17c0637d',1,'gepbar_0(): PAGGrammar.txt'],['../PEGGrammar_8txt.html#a32ac366bb4f2b6561e1aad6ec61b65d2',1,'gepbar_0(): PEGGrammar.txt']]],
+  ['gepinedges_11785',['gepInEdges',['../classSVF_1_1ConstraintNode.html#a4d0113f2af3a61892acee1fb21f0b938',1,'SVF::ConstraintNode']]],
+  ['gepnodenumindex_11786',['gepNodeNumIndex',['../PAGBuilderFromFile_8cpp.html#a1af3947dbaf1ad4364bc4818f70ead40',1,'PAGBuilderFromFile.cpp']]],
+  ['gepobjvarmap_11787',['GepObjVarMap',['../classSVF_1_1SVFIR.html#a09a604cf6a7708f4391fcf807fec1453',1,'SVF::SVFIR']]],
+  ['gepoutedges_11788',['gepOutEdges',['../classSVF_1_1ConstraintNode.html#a583880cd83a9f353003e199401d1b024',1,'SVF::ConstraintNode']]],
+  ['geppointeetype_11789',['gepPointeeType',['../classSVF_1_1AccessPath.html#a1d75baf851ba9982ac0861c850929985',1,'SVF::AccessPath']]],
+  ['gepsrcnodes_11790',['gepSrcNodes',['../classSVF_1_1AliasDDAClient.html#ab165537f4c9a318f31de8a272a529c9c',1,'SVF::AliasDDAClient']]],
+  ['geptime_11791',['gepTime',['../classSVF_1_1FlowSensitive.html#a282126e5b67ed4e19aa40c81180b8290',1,'SVF::FlowSensitive']]],
+  ['gepunknownidx_11792',['GepUnknownIdx',['../classSVF_1_1Options.html#a6450b984f67d3cfa3f44892e8eea555e',1,'SVF::Options']]],
+  ['gepvalobjmap_11793',['GepValObjMap',['../classSVF_1_1SVFIR.html#ad7bbe1abea55ed03c9b6c81891c0bd67',1,'SVF::SVFIR']]],
+  ['gepvaltype_11794',['gepValType',['../classSVF_1_1GepValVar.html#a4aa450bce36b4b9f65b769eae649771a',1,'SVF::GepValVar']]],
+  ['global_5ferror_11795',['global_error',['../cJSON_8cpp.html#a6ff6e9678e47cf5347872008661d5846',1,'cJSON.cpp']]],
+  ['global_5fhooks_11796',['global_hooks',['../cJSON_8cpp.html#a855c7241e836a5b2d87577df8c113faf',1,'cJSON.cpp']]],
+  ['globalblocknode_11797',['globalBlockNode',['../classSVF_1_1ICFG.html#a8e43b27d4484a4acb575e4c1c6c8fd02',1,'SVF::ICFG']]],
+  ['globalconses_11798',['globalConsES',['../classSVF_1_1ConsExeState.html#ac3ea5c4d65fac8934276a1ad12c97d06',1,'SVF::ConsExeState']]],
+  ['globaldeftorepmap_11799',['GlobalDefToRepMap',['../classSVF_1_1LLVMModuleSet.html#ae2a1fa0b908cf372c50af90e62c4bf2b',1,'SVF::LLVMModuleSet']]],
+  ['globales_11800',['globalES',['../classSVF_1_1SparseAbstractState.html#a1683fd7da77812137b839b8c417200fe',1,'SVF::SparseAbstractState']]],
+  ['globalnulladdrs_11801',['globalNulladdrs',['../classSVF_1_1SVFIR2ItvExeState.html#a894f4008a1a7ad002c824ac6832120fe',1,'SVF::SVFIR2ItvExeState']]],
+  ['globalset_11802',['GlobalSet',['../classSVF_1_1SVFModule.html#a4ff4bbd1771615757fc6575282046e30',1,'SVF::SVFModule']]],
+  ['globalvfgnodes_11803',['globalVFGNodes',['../classSVF_1_1VFG.html#a6c3daf2777cc5f76ce07241f803720f3',1,'SVF::VFG']]],
+  ['globs_11804',['globs',['../classSVF_1_1SaberSVFGBuilder.html#a967dba864a6032e448222525aedb1f2a',1,'SVF::SaberSVFGBuilder']]],
+  ['globsvfgnodes_11805',['globSVFGNodes',['../classSVF_1_1SaberSVFGBuilder.html#a9431a9dcbcf88b78e721b0347046e997',1,'SVF::SaberSVFGBuilder']]],
+  ['globsvfstmtset_11806',['globSVFStmtSet',['../classSVF_1_1SVFIR.html#a71b51492b00e66e36266b9a76a842323',1,'SVF::SVFIR']]],
+  ['grammar_11807',['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_11808',['grammarBase',['../classSVF_1_1CFLBase.html#aef3da4ce970597586757cafd2a435c1f',1,'SVF::CFLBase']]],
+  ['grammarfilename_11809',['GrammarFilename',['../classSVF_1_1Options.html#ad09017ae2e1010fbba5c086a4772750f',1,'SVF::Options']]],
+  ['graph_11810',['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_11811',['graphFieldJson',['../classSVF_1_1GenericGraphReader.html#a2438233e46ad0a052ec1352de977df88',1,'SVF::GenericGraphReader']]],
+  ['graphtxt_11812',['Graphtxt',['../classSVF_1_1Options.html#a53f783c80f368bcdca6c7620229d6f8e',1,'SVF::Options']]]
 ];

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

@@ -1,11 +1,11 @@
 var searchData=
 [
-  ['handblackhole_11805',['HandBlackHole',['../classSVF_1_1Options.html#a51b28b2e973911fb8e2c23c6127e9a63',1,'SVF::Options']]],
-  ['hbpair_11806',['HBPair',['../classSVF_1_1ForkJoinAnalysis.html#aad3e722ecaa4a39aef0e1cabfa2b8019',1,'SVF::ForkJoinAnalysis']]],
-  ['head_11807',['head',['../classSVF_1_1List.html#a41d52072edb2b75ab15d67bf2663312a',1,'SVF::List']]],
-  ['headmap_11808',['headmap',['../classSVF_1_1MTASVFGBuilder.html#ac92452c257052706b1cf1737b266eec1',1,'SVF::MTASVFGBuilder']]],
-  ['headreftocycle_11809',['headRefToCycle',['../classSVF_1_1WTO.html#a5752288fb686b9ef5d6c8edc0cee6348',1,'SVF::WTO']]],
-  ['hooks_11810',['hooks',['../structparse__buffer.html#a2c3e99b15da2935fc5d58124ffb4a894',1,'parse_buffer::hooks()'],['../structprintbuffer.html#a43a8b3bcc644432f12f5aed5159d2520',1,'printbuffer::hooks()'],['../cJSON_8cpp.html#a182a7b0d4467e799ca4ea26235b1cf74',1,'hooks(): cJSON.cpp']]],
-  ['hppair_11811',['HPPair',['../classSVF_1_1ForkJoinAnalysis.html#a4ad5c7a21ca994d908d648ca9d9e1833',1,'SVF::ForkJoinAnalysis']]],
-  ['humanreadableoption_11812',['humanReadableOption',['../SVFFileSystem_8cpp.html#aee01a3d251dee6a05d621f5265d92e84',1,'SVFFileSystem.cpp']]]
+  ['handblackhole_11813',['HandBlackHole',['../classSVF_1_1Options.html#a51b28b2e973911fb8e2c23c6127e9a63',1,'SVF::Options']]],
+  ['hbpair_11814',['HBPair',['../classSVF_1_1ForkJoinAnalysis.html#aad3e722ecaa4a39aef0e1cabfa2b8019',1,'SVF::ForkJoinAnalysis']]],
+  ['head_11815',['head',['../classSVF_1_1List.html#a41d52072edb2b75ab15d67bf2663312a',1,'SVF::List']]],
+  ['headmap_11816',['headmap',['../classSVF_1_1MTASVFGBuilder.html#ac92452c257052706b1cf1737b266eec1',1,'SVF::MTASVFGBuilder']]],
+  ['headreftocycle_11817',['headRefToCycle',['../classSVF_1_1WTO.html#a5752288fb686b9ef5d6c8edc0cee6348',1,'SVF::WTO']]],
+  ['hooks_11818',['hooks',['../structparse__buffer.html#a2c3e99b15da2935fc5d58124ffb4a894',1,'parse_buffer::hooks()'],['../structprintbuffer.html#a43a8b3bcc644432f12f5aed5159d2520',1,'printbuffer::hooks()'],['../cJSON_8cpp.html#a182a7b0d4467e799ca4ea26235b1cf74',1,'hooks(): cJSON.cpp']]],
+  ['hppair_11819',['HPPair',['../classSVF_1_1ForkJoinAnalysis.html#a4ad5c7a21ca994d908d648ca9d9e1833',1,'SVF::ForkJoinAnalysis']]],
+  ['humanreadableoption_11820',['humanReadableOption',['../SVFFileSystem_8cpp.html#aee01a3d251dee6a05d621f5265d92e84',1,'SVFFileSystem.cpp']]]
 ];