svf-tools 1.0.849 → 1.0.850

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

@@ -1,126 +1,126 @@
 var searchData=
 [
-  ['n_11593',['n',['../cJSON_8cpp.html#ab6e2ea6dc7bd57d1483413449998230a',1,'cJSON.cpp']]],
-  ['name_11594',['name',['../classSVF_1_1SVFStructType.html#a21782d68a616fb955d4988382eea61cf',1,'SVF::SVFStructType::name()'],['../classSVF_1_1SVFValue.html#aba56a2dc0ad508bf0ab2bbe52d557f07',1,'SVF::SVFValue::name()'],['../classOptionBase.html#a494ea256d6484e4f7e8751de499889fc',1,'OptionBase::name()'],['../cJSON_8h.html#a25d22ecc7e656d2c59332072684e8766',1,'name(): cJSON.h'],['../cJSON_8cpp.html#acc128f98d9ceca227038c771308eff39',1,'name(): cJSON.cpp']]],
-  ['negconds_11595',['negConds',['../classSVF_1_1SaberCondAllocator.html#a4267ed81d5100d49581a4216f46e660c',1,'SVF::SaberCondAllocator']]],
-  ['newbvnumwords_11596',['NewBvNumWords',['../classSVF_1_1NodeIDAllocator_1_1Clusterer.html#af3fe4b4098898ee38928c9db30ea0fe9',1,'SVF::NodeIDAllocator::Clusterer']]],
-  ['newchild_11597',['newchild',['../cJSON_8cpp.html#a81f8a22ccfd48d5d5f5b911c24892ca9',1,'cJSON.cpp']]],
-  ['newitem_11598',['newitem',['../cJSON_8h.html#a9ceb585442a991aa043b67fcca10a745',1,'newitem(): cJSON.h'],['../cJSON_8cpp.html#a9ceb585442a991aa043b67fcca10a745',1,'newitem(): cJSON.cpp']]],
-  ['newsbvnumwords_11599',['NewSbvNumWords',['../classSVF_1_1NodeIDAllocator_1_1Clusterer.html#a779446e2fe92518401f1732fb809f066',1,'SVF::NodeIDAllocator::Clusterer']]],
-  ['newterminalsubscript_11600',['newTerminalSubscript',['../classSVF_1_1CFGrammar.html#ae2648458abb2ead76191a0a65394a95c',1,'SVF::CFGrammar']]],
-  ['next_11601',['next',['../structcJSON.html#ade862b880379b5e2a591f7326401fa8d',1,'cJSON::next()'],['../classSVF_1_1List_1_1ListNode.html#a6fb535e702af0e4f54274050ee0c06c5',1,'SVF::List::ListNode::next()'],['../cJSON_8cpp.html#a2599f74bdbbc1b3fd1ba8db3789a0be7',1,'next(): cJSON.cpp']]],
-  ['noalloc_11602',['noalloc',['../structprintbuffer.html#aa2a7966b71dc3535e4e3789c33ec5368',1,'printbuffer::noalloc()'],['../cJSON_8cpp.html#a2212121102d55231315839f800aa1350',1,'noalloc(): cJSON.cpp']]],
-  ['node_11603',['node',['../classSVF_1_1NullPtrVFGNode.html#adef43dcc86e61145a7fdc6711b28239d',1,'SVF::NullPtrVFGNode']]],
-  ['nodeallocstrat_11604',['NodeAllocStrat',['../classSVF_1_1Options.html#a38107576f4f242191cdbfb1ca51f93cd',1,'SVF::Options']]],
-  ['nodekind_11605',['nodeKind',['../classSVF_1_1GenericNode.html#a586df5473d1e7cdcb9051683914d0220',1,'SVF::GenericNode']]],
-  ['nodemapping_11606',['nodeMapping',['../classSVF_1_1PointsTo.html#acd7eab32125de90020c55c757d6adfda',1,'SVF::PointsTo']]],
-  ['nodenum_11607',['nodeNum',['../classSVF_1_1GenericGraph.html#a38122734cbe71551a420dfb7fee2012e',1,'SVF::GenericGraph']]],
-  ['nodenumafterpagbuild_11608',['nodeNumAfterPAGBuild',['../classSVF_1_1IRGraph.html#a80cf14bf43accb89cb82490b4f173598',1,'SVF::IRGraph']]],
-  ['nodeset_11609',['nodeSet',['../classSVF_1_1List.html#a8d9ffc8497d53e0e1de230e0d8a50fec',1,'SVF::List']]],
-  ['nodestack_11610',['nodeStack',['../classSVF_1_1WPAFSSolver.html#a2cb80102611c663c4daddd68b4f4b75f',1,'SVF::WPAFSSolver']]],
-  ['nodestobecollapsed_11611',['nodesToBeCollapsed',['../classSVF_1_1ConstraintGraph.html#af3406f1e191d9d6d9c33d23bdd2d564b',1,'SVF::ConstraintGraph']]],
-  ['nodetodpitemsmap_11612',['nodeToDPItemsMap',['../classSVF_1_1SrcSnkDDA.html#a5f4f97bc480e899004b0432a78fd94a4',1,'SVF::SrcSnkDDA']]],
-  ['nodetoecmap_11613',['nodeToECMap',['../classSVF_1_1Steensgaard.html#a0dccd5cc44d4d56a035514e9251e70f6',1,'SVF::Steensgaard']]],
-  ['nodetorepmap_11614',['nodeToRepMap',['../classSVF_1_1ConstraintGraph.html#ab1b5ee9202bd9f5d738f9850b42a45d2',1,'SVF::ConstraintGraph']]],
-  ['nodetosubsmap_11615',['nodeToSubsMap',['../classSVF_1_1ConstraintGraph.html#af91f1027cd5de591ae40865f691c5f60',1,'SVF::ConstraintGraph::nodeToSubsMap()'],['../classSVF_1_1Steensgaard.html#aca87fc74b6acb096a7165f105b14854b',1,'SVF::Steensgaard::nodeToSubsMap()']]],
-  ['noncandidatefuncmhprelmap_11616',['nonCandidateFuncMHPRelMap',['../classSVF_1_1MHP.html#a1f057ef082484a1997cb02287e063f00',1,'SVF::MHP']]],
-  ['nonterminals_11617',['nonterminals',['../classSVF_1_1GrammarBase.html#ac0e54c6a5e87f9d91a5296504914849b',1,'SVF::GrammarBase']]],
-  ['normalized_11618',['normalized',['../classSVF_1_1CondPTAImpl.html#ab4115f25e2e477bfd73d01f069f47241',1,'SVF::CondPTAImpl']]],
-  ['null_11619',['NULL',['../cJSON_8cpp.html#a1a05ede2ad100bf5de5dfa7ccdfa4397',1,'cJSON.cpp']]],
-  ['nullpointerid_11620',['nullPointerId',['../classSVF_1_1NodeIDAllocator.html#a1e3a98be74d5dfd3b4c1b5f9c0941353',1,'SVF::NodeIDAllocator']]],
-  ['number_11621',['number',['../cJSON_8h.html#a6288dae99eabb0a393b1d4974e01cde7',1,'number(): cJSON.h'],['../cJSON_8cpp.html#a0b3e94800c28aaf801bbbf0b9b69fee4',1,'number(): cJSON.cpp']]],
-  ['numgtintregions_11622',['NumGtIntRegions',['../classSVF_1_1NodeIDAllocator_1_1Clusterer.html#ad7cb36a1f0f67864fb8290e9dfd7b639',1,'SVF::NodeIDAllocator::Clusterer']]],
-  ['numnodes_11623',['numNodes',['../classSVF_1_1NodeIDAllocator.html#a8e76e0da58f0a5bdbd8118ac419cfa62',1,'SVF::NodeIDAllocator']]],
-  ['numnontrivialregionobjects_11624',['NumNonTrivialRegionObjects',['../classSVF_1_1NodeIDAllocator_1_1Clusterer.html#a1bf9461c717e8dabaee6a57f3d76d61f',1,'SVF::NodeIDAllocator::Clusterer']]],
-  ['numobjects_11625',['numObjects',['../classSVF_1_1NodeIDAllocator.html#a190c729a3f3f622f82cee4917946b50f',1,'SVF::NodeIDAllocator::numObjects()'],['../classSVF_1_1NodeIDAllocator_1_1Clusterer.html#afa74c5ccd22bebe0b76db33066d8b498',1,'SVF::NodeIDAllocator::Clusterer::NumObjects()']]],
-  ['numofactualin_11626',['numOfActualIn',['../classSVF_1_1SVFGStat.html#a5365744d2ec3594e2255d274f7256569',1,'SVF::SVFGStat']]],
-  ['numofactualout_11627',['numOfActualOut',['../classSVF_1_1SVFGStat.html#a122555f5c4b9746cc2b7f38c7cd6b505',1,'SVF::SVFGStat']]],
-  ['numofactualparam_11628',['numOfActualParam',['../classSVF_1_1SVFGStat.html#a0494c59483520b57acdca95952c93d76',1,'SVF::SVFGStat']]],
-  ['numofactualret_11629',['numOfActualRet',['../classSVF_1_1SVFGStat.html#ad37e5b2e57e02f8e4319f6d038c51414',1,'SVF::SVFGStat']]],
-  ['numofaddr_11630',['numOfAddr',['../classSVF_1_1SVFGStat.html#aa6a39e0f1d41d67cb3441389a943bf5f',1,'SVF::SVFGStat']]],
-  ['numofaliasld_11631',['numOfAliasLd',['../classSVF_1_1MTAAnnotator.html#aa1572c2a9f260ff66c9da661fd669a5f',1,'SVF::MTAAnnotator']]],
-  ['numofaliasst_11632',['numOfAliasSt',['../classSVF_1_1MTAAnnotator.html#a71178ddc585c9ca7c9e5c3b52378cd7d',1,'SVF::MTAAnnotator']]],
-  ['numofallld_11633',['numOfAllLd',['../classSVF_1_1MTAAnnotator.html#a5c1743a40d54fdbde2f9dadb612de608',1,'SVF::MTAAnnotator']]],
-  ['numofallst_11634',['numOfAllSt',['../classSVF_1_1MTAAnnotator.html#aa0149b932b4148b14b36e2c5cf9b614b',1,'SVF::MTAAnnotator']]],
-  ['numofannotatedld_11635',['numOfAnnotatedLd',['../classSVF_1_1MTAAnnotator.html#a57df091dbdd4fc947cc5e7aaec123700',1,'SVF::MTAAnnotator']]],
-  ['numofannotatedst_11636',['numOfAnnotatedSt',['../classSVF_1_1MTAAnnotator.html#afbb8c25a126362ab0a4101866b4fc0ee',1,'SVF::MTAAnnotator']]],
-  ['numofaverageptsinregion_11637',['NumOfAveragePtsInRegion',['../classSVF_1_1MemSSAStat.html#a6e29fa9c935de324441c765e40faa2a5',1,'SVF::MemSSAStat']]],
-  ['numofbbhasmssaphi_11638',['NumOfBBHasMSSAPhi',['../classSVF_1_1MemSSAStat.html#a67d9c55f52cb59168e89320c3264a15a',1,'SVF::MemSSAStat']]],
-  ['numofcalledges_11639',['numOfCallEdges',['../classSVF_1_1ICFGStat.html#ab924988ff980c57a4e9155adaa5c0ff2',1,'SVF::ICFGStat']]],
-  ['numofcallnodes_11640',['numOfCallNodes',['../classSVF_1_1ICFGStat.html#a7f8d88b6d8d4892e85006320b39c7dc4',1,'SVF::ICFGStat']]],
-  ['numofchecks_11641',['numOfChecks',['../classSVF_1_1CFLBase.html#a49b12231195521d2b53b045962f0a3f6',1,'SVF::CFLBase::numOfChecks()'],['../classSVF_1_1CFLSolver.html#a46ded0b18821a2ade0ee151ac2b2d520',1,'SVF::CFLSolver::numOfChecks()']]],
-  ['numofcopy_11642',['numOfCopy',['../classSVF_1_1SVFGStat.html#ac86d6d7cb0090ab665729b56111ca464',1,'SVF::SVFGStat']]],
-  ['numofcschi_11643',['NumOfCSChi',['../classSVF_1_1MemSSAStat.html#a921a0f4eba4b891ab9b7699ea0d3f91c',1,'SVF::MemSSAStat']]],
-  ['numofcshaschi_11644',['NumOfCSHasChi',['../classSVF_1_1MemSSAStat.html#ae57c6e5b97581150b7561c93e0887569',1,'SVF::MemSSAStat']]],
-  ['numofcshasmu_11645',['NumOfCSHasMu',['../classSVF_1_1MemSSAStat.html#af5855348e45f50d16cd41cfa9c28f67c',1,'SVF::MemSSAStat']]],
-  ['numofcsmu_11646',['NumOfCSMu',['../classSVF_1_1MemSSAStat.html#a7b07190a20361e30999cd9107749599d',1,'SVF::MemSSAStat']]],
-  ['numofedges_11647',['numOfEdges',['../classSVF_1_1ICFGStat.html#a5e9bb5ae47aacba7c625a9fa3e349e82',1,'SVF::ICFGStat']]],
-  ['numofelement_11648',['numOfElement',['../classSVF_1_1SVFArrayType.html#a5438a991fcd2a1cf1409464125d2c31b',1,'SVF::SVFArrayType']]],
-  ['numofentrychi_11649',['NumOfEntryChi',['../classSVF_1_1MemSSAStat.html#ad96437d0c28f8088c711a718d2f2730e',1,'SVF::MemSSAStat']]],
-  ['numofentrynodes_11650',['numOfEntryNodes',['../classSVF_1_1ICFGStat.html#ad37793e64fe58a8faba201c18d876685',1,'SVF::ICFGStat']]],
-  ['numofexitnodes_11651',['numOfExitNodes',['../classSVF_1_1ICFGStat.html#ad7e00680fb8ca31afbd166f9a4adc5ec',1,'SVF::ICFGStat']]],
-  ['numoffieldexpand_11652',['numOfFieldExpand',['../classSVF_1_1AndersenBase.html#a9f453ec1b4236b8194ae590981217259',1,'SVF::AndersenBase']]],
-  ['numofflattenelements_11653',['numOfFlattenElements',['../classSVF_1_1StInfo.html#a7aa5b5018b4dec4913eb6aecf25568a4',1,'SVF::StInfo']]],
-  ['numofflattenfields_11654',['numOfFlattenFields',['../classSVF_1_1StInfo.html#aa9b4e659f4a4421aadf736a3de24ca50',1,'SVF::StInfo']]],
-  ['numofformalin_11655',['numOfFormalIn',['../classSVF_1_1SVFGStat.html#abc5e079242666bb55ec7dbc7f258b3db',1,'SVF::SVFGStat']]],
-  ['numofformalout_11656',['numOfFormalOut',['../classSVF_1_1SVFGStat.html#ab20900eb0ecb0d2e1e601755848ac531',1,'SVF::SVFGStat']]],
-  ['numofformalparam_11657',['numOfFormalParam',['../classSVF_1_1SVFGStat.html#a1e9ddd5678b05e145af41a6d53f47748',1,'SVF::SVFGStat']]],
-  ['numofformalret_11658',['numOfFormalRet',['../classSVF_1_1SVFGStat.html#a29807c066e60ef3905a5e01e0b86ffd2',1,'SVF::SVFGStat']]],
-  ['numoffunhasentrychi_11659',['NumOfFunHasEntryChi',['../classSVF_1_1MemSSAStat.html#aee2e0df55c40745a9b9aac415aa7a399',1,'SVF::MemSSAStat']]],
-  ['numoffunhasretmu_11660',['NumOfFunHasRetMu',['../classSVF_1_1MemSSAStat.html#ab1cdbd2ebe54dc5bb752a89d069423b7',1,'SVF::MemSSAStat']]],
-  ['numofgep_11661',['numOfGep',['../classSVF_1_1SVFGStat.html#a862cd075a7c9d5019acfabe608ab7905',1,'SVF::SVFGStat']]],
-  ['numofintraedges_11662',['numOfIntraEdges',['../classSVF_1_1ICFGStat.html#a3ddf933064f2a7f2efbd3a1af2ae7658',1,'SVF::ICFGStat']]],
-  ['numofintranodes_11663',['numOfIntraNodes',['../classSVF_1_1ICFGStat.html#ad88dbfaabae9b36f02a6e6e815d08e3e',1,'SVF::ICFGStat']]],
-  ['numofiteration_11664',['numOfIteration',['../classSVF_1_1CFLBase.html#aa807cf1b8605a463d6d68d5096f3e0e8',1,'SVF::CFLBase::numOfIteration()'],['../classSVF_1_1WPASolver.html#ab3369caa278da03e6e6697a839985cd6',1,'SVF::WPASolver::numOfIteration()']]],
-  ['numofload_11665',['numOfLoad',['../classSVF_1_1SVFGStat.html#a7c80f2332b97a3228e2ad7621162167a',1,'SVF::SVFGStat']]],
-  ['numofloadhasmu_11666',['NumOfLoadHasMu',['../classSVF_1_1MemSSAStat.html#ad3139d2643f5e79dcd4ca9569ebbe7df',1,'SVF::MemSSAStat']]],
-  ['numofloadmu_11667',['NumOfLoadMu',['../classSVF_1_1MemSSAStat.html#a284dbb01e051945a40179b315bdb112f',1,'SVF::MemSSAStat']]],
-  ['numoflockedqueries_11668',['numOfLockedQueries',['../classSVF_1_1LockAnalysis.html#a80c56ebc6b9b594e97b56767f451ff8b',1,'SVF::LockAnalysis']]],
-  ['numofmaxregion_11669',['NumOfMaxRegion',['../classSVF_1_1MemSSAStat.html#acf3732557238de882bf7f34c49bd6cee',1,'SVF::MemSSAStat']]],
-  ['numofmemregions_11670',['NumOfMemRegions',['../classSVF_1_1MemSSAStat.html#a95695aa32886776804e192b4c4ddcc1d',1,'SVF::MemSSAStat']]],
-  ['numofmhpld_11671',['numOfMHPLd',['../classSVF_1_1MTAAnnotator.html#a29e0123620ab072fddc45331c6aa46e8',1,'SVF::MTAAnnotator']]],
-  ['numofmhpqueries_11672',['numOfMHPQueries',['../classSVF_1_1MHP.html#ab8bd382e0c70b0feb2a291ecc4043106',1,'SVF::MHP']]],
-  ['numofmhpst_11673',['numOfMHPSt',['../classSVF_1_1MTAAnnotator.html#a3a53e90b4f361d1298983bc89795b3d2',1,'SVF::MTAAnnotator']]],
-  ['numofmssaphi_11674',['numOfMSSAPhi',['../classSVF_1_1SVFGStat.html#a9fc87025af3b7e54442e78f46ebe0360',1,'SVF::SVFGStat::numOfMSSAPhi()'],['../classSVF_1_1MemSSAStat.html#a4b598cb1d06c4c0963787036862b1c3d',1,'SVF::MemSSAStat::NumOfMSSAPhi()']]],
-  ['numofnewsvfgedges_11675',['numOfNewSVFGEdges',['../classSVF_1_1MTASVFGBuilder.html#a019a4597074fdad6e51d936ed4ead0d9',1,'SVF::MTASVFGBuilder']]],
-  ['numofnodes_11676',['numOfNodes',['../classSVF_1_1ICFGStat.html#a8e71a19c266aacd7acb1fee6bb339788',1,'SVF::ICFGStat::numOfNodes()'],['../classSVF_1_1SVFGStat.html#ab499c24856a990dd4adb366107eb3302',1,'SVF::SVFGStat::numOfNodes()']]],
-  ['numofnodesinscc_11677',['numOfNodesInSCC',['../classSVF_1_1FlowSensitive.html#a9f3fe97202db8170fa9f47c5684bce75',1,'SVF::FlowSensitive']]],
-  ['numofnonlocalld_11678',['numOfNonLocalLd',['../classSVF_1_1MTAAnnotator.html#ad53ac0cec797f84d3bc14bdb6bab1ab3',1,'SVF::MTAAnnotator']]],
-  ['numofnonlocalst_11679',['numOfNonLocalSt',['../classSVF_1_1MTAAnnotator.html#a3c07f9964623b3895b1bab59a63dccfb',1,'SVF::MTAAnnotator']]],
-  ['numofnonterminaledges_11680',['numOfNonterminalEdges',['../classSVF_1_1CFLBase.html#a4c03b83cb2a3c0c166d96550d6771a1b',1,'SVF::CFLBase']]],
-  ['numofphi_11681',['numOfPhi',['../classSVF_1_1SVFGStat.html#a0e1fcb9154aad266406c4da4861ba020',1,'SVF::SVFGStat']]],
-  ['numofprocessedactualparam_11682',['numOfProcessedActualParam',['../classSVF_1_1FlowSensitive.html#abdc30e45347579986c42795a436a1251',1,'SVF::FlowSensitive']]],
-  ['numofprocessedaddr_11683',['numOfProcessedAddr',['../classSVF_1_1AndersenBase.html#a4acad18a6eb585ba9e3d2276dd591067',1,'SVF::AndersenBase::numOfProcessedAddr()'],['../classSVF_1_1FlowSensitive.html#ae4253bc632ffffe2498263c90f456ca7',1,'SVF::FlowSensitive::numOfProcessedAddr()']]],
-  ['numofprocessedcopy_11684',['numOfProcessedCopy',['../classSVF_1_1AndersenBase.html#a04acd871bd1b98cd9e83e395334ac130',1,'SVF::AndersenBase::numOfProcessedCopy()'],['../classSVF_1_1FlowSensitive.html#a19e017f3ed6429fa30687018e64dae54',1,'SVF::FlowSensitive::numOfProcessedCopy()']]],
-  ['numofprocessedformalret_11685',['numOfProcessedFormalRet',['../classSVF_1_1FlowSensitive.html#ae048cc5350cf2b075c05f5d84777a3c5',1,'SVF::FlowSensitive']]],
-  ['numofprocessedgep_11686',['numOfProcessedGep',['../classSVF_1_1AndersenBase.html#aa1246b392aeae1fd10c8a9ebedcc2dd9',1,'SVF::AndersenBase::numOfProcessedGep()'],['../classSVF_1_1FlowSensitive.html#a88a111b6bc347d6562db7af8bd8f2f0e',1,'SVF::FlowSensitive::numOfProcessedGep()']]],
-  ['numofprocessedload_11687',['numOfProcessedLoad',['../classSVF_1_1AndersenBase.html#a69aae96fc1c99bf108075e5061f50f9e',1,'SVF::AndersenBase::numOfProcessedLoad()'],['../classSVF_1_1FlowSensitive.html#a0e1a0bdbf4f81a3600ac26ac011ac268',1,'SVF::FlowSensitive::numOfProcessedLoad()']]],
-  ['numofprocessedmssanode_11688',['numOfProcessedMSSANode',['../classSVF_1_1FlowSensitive.html#af71a5ae3aef022c569e89f40515072cf',1,'SVF::FlowSensitive']]],
-  ['numofprocessedphi_11689',['numOfProcessedPhi',['../classSVF_1_1FlowSensitive.html#ac39abcb40e4b568ab59b7cf48ed10f70',1,'SVF::FlowSensitive']]],
-  ['numofprocessedstore_11690',['numOfProcessedStore',['../classSVF_1_1AndersenBase.html#a2b763519509ce21cf40893c01f8357b6',1,'SVF::AndersenBase::numOfProcessedStore()'],['../classSVF_1_1FlowSensitive.html#a669e8f1dd8572b7dcff373c9787a923d',1,'SVF::FlowSensitive::numOfProcessedStore()']]],
-  ['numofremovedpts_11691',['numOfRemovedPTS',['../classSVF_1_1MTASVFGBuilder.html#a07c3f5fa2e0092dac28521cf901a26cf',1,'SVF::MTASVFGBuilder']]],
-  ['numofremovedsvfgedges_11692',['numOfRemovedSVFGEdges',['../classSVF_1_1MTASVFGBuilder.html#a0319d1d2e78c79f9943f2e2f65da26ed',1,'SVF::MTASVFGBuilder']]],
-  ['numofresolvedindcalledge_11693',['numOfResolvedIndCallEdge',['../classSVF_1_1PTACallGraph.html#adf05313ea8bcc7973acebd3fbcd75c92',1,'SVF::PTACallGraph']]],
-  ['numofretedges_11694',['numOfRetEdges',['../classSVF_1_1ICFGStat.html#a3bd1a0b0b206baadea52bfa88e029dfa',1,'SVF::ICFGStat']]],
-  ['numofretmu_11695',['NumOfRetMu',['../classSVF_1_1MemSSAStat.html#a1459465f0a76c09b5dd7d777467ac2e4',1,'SVF::MemSSAStat']]],
-  ['numofretnodes_11696',['numOfRetNodes',['../classSVF_1_1ICFGStat.html#ac9bfce40c058ed7ab178fe1f1818e9de',1,'SVF::ICFGStat']]],
-  ['numofscc_11697',['numOfSCC',['../classSVF_1_1FlowSensitive.html#a0ac955bf06261eec1c6bb78ec99652e3',1,'SVF::FlowSensitive']]],
-  ['numofsccdetection_11698',['numOfSCCDetection',['../classSVF_1_1AndersenBase.html#a0d7298cbf83568f24fd2bd1926a32968',1,'SVF::AndersenBase']]],
-  ['numofsfrs_11699',['numOfSfrs',['../classSVF_1_1AndersenBase.html#a25b00d9ca71cbdd27530fc5d0dc84ee5',1,'SVF::AndersenBase']]],
-  ['numofstartedges_11700',['numOfStartEdges',['../classSVF_1_1CFLBase.html#a25a593cb2a855a93d3593efba382a58c',1,'SVF::CFLBase']]],
-  ['numofstore_11701',['numOfStore',['../classSVF_1_1SVFGStat.html#a4d15f2de3f226c26cb2af57176444ec9',1,'SVF::SVFGStat']]],
-  ['numofstorechi_11702',['NumOfStoreChi',['../classSVF_1_1MemSSAStat.html#a810965c025da84c58575c8066bc84056',1,'SVF::MemSSAStat']]],
-  ['numofstorehaschi_11703',['NumOfStoreHasChi',['../classSVF_1_1MemSSAStat.html#a3bc14307bd0f986cbd8ba5970f1abf0f',1,'SVF::MemSSAStat']]],
-  ['numoftemporarynonterminaledges_11704',['numOfTemporaryNonterminalEdges',['../classSVF_1_1CFLBase.html#ac3b408acb295e2c319e3542539e6df47',1,'SVF::CFLBase']]],
-  ['numofterminaledges_11705',['numOfTerminalEdges',['../classSVF_1_1CFLBase.html#abc5502f15583f0546bbc2a678d2f2ed9',1,'SVF::CFLBase']]],
-  ['numoftotalqueries_11706',['numOfTotalQueries',['../classSVF_1_1LockAnalysis.html#ad648ad9cda4070f9aec1addef0067627',1,'SVF::LockAnalysis::numOfTotalQueries()'],['../classSVF_1_1MHP.html#a26ae18993915d76b704232cded9811c2',1,'SVF::MHP::numOfTotalQueries()']]],
-  ['numperquerystatmap_11707',['NumPerQueryStatMap',['../classSVF_1_1DDAStat.html#a7dabcdacf00844415bd23ca241d885e9',1,'SVF::DDAStat']]],
-  ['numprelabelednodes_11708',['numPrelabeledNodes',['../classSVF_1_1VersionedFlowSensitive.html#aff5029fca933376be1fa374bec790da6',1,'SVF::VersionedFlowSensitive']]],
-  ['numprelabelversions_11709',['numPrelabelVersions',['../classSVF_1_1VersionedFlowSensitive.html#a207ae4d1f2e0ccab8e36add0a45578af',1,'SVF::VersionedFlowSensitive']]],
-  ['numregions_11710',['NumRegions',['../classSVF_1_1NodeIDAllocator_1_1Clusterer.html#ac5fe44f10cdbca9754444943a0f5c3c1',1,'SVF::NodeIDAllocator::Clusterer']]],
-  ['numsymbols_11711',['numSymbols',['../classSVF_1_1NodeIDAllocator.html#a3a160f4c6e761a130b863a3df0af7f96',1,'SVF::NodeIDAllocator']]],
-  ['numtostrmap_11712',['numToStrMap',['../classSVF_1_1SVFIRWriter.html#a7f9d7bb88e4f98f71f542d01107878e4',1,'SVF::SVFIRWriter']]],
-  ['numtypes_11713',['numTypes',['../classSVF_1_1DCHGraph.html#a76fd3154a31584bb64683f2d762cc56c',1,'SVF::DCHGraph']]],
-  ['numvalues_11714',['numValues',['../classSVF_1_1NodeIDAllocator.html#a001c25f6998b8b0a9a7e5e00810e155f',1,'SVF::NodeIDAllocator']]],
-  ['nvthunkfunlabel_11715',['NVThunkFunLabel',['../CppUtil_8cpp.html#a86fe6d521904f944bcf1b3164cfb5d4b',1,'CppUtil.cpp']]]
+  ['n_11598',['n',['../cJSON_8cpp.html#ab6e2ea6dc7bd57d1483413449998230a',1,'cJSON.cpp']]],
+  ['name_11599',['name',['../classSVF_1_1SVFStructType.html#a21782d68a616fb955d4988382eea61cf',1,'SVF::SVFStructType::name()'],['../classSVF_1_1SVFValue.html#aba56a2dc0ad508bf0ab2bbe52d557f07',1,'SVF::SVFValue::name()'],['../classOptionBase.html#a494ea256d6484e4f7e8751de499889fc',1,'OptionBase::name()'],['../cJSON_8h.html#a25d22ecc7e656d2c59332072684e8766',1,'name(): cJSON.h'],['../cJSON_8cpp.html#acc128f98d9ceca227038c771308eff39',1,'name(): cJSON.cpp']]],
+  ['negconds_11600',['negConds',['../classSVF_1_1SaberCondAllocator.html#a4267ed81d5100d49581a4216f46e660c',1,'SVF::SaberCondAllocator']]],
+  ['newbvnumwords_11601',['NewBvNumWords',['../classSVF_1_1NodeIDAllocator_1_1Clusterer.html#af3fe4b4098898ee38928c9db30ea0fe9',1,'SVF::NodeIDAllocator::Clusterer']]],
+  ['newchild_11602',['newchild',['../cJSON_8cpp.html#a81f8a22ccfd48d5d5f5b911c24892ca9',1,'cJSON.cpp']]],
+  ['newitem_11603',['newitem',['../cJSON_8h.html#a9ceb585442a991aa043b67fcca10a745',1,'newitem(): cJSON.h'],['../cJSON_8cpp.html#a9ceb585442a991aa043b67fcca10a745',1,'newitem(): cJSON.cpp']]],
+  ['newsbvnumwords_11604',['NewSbvNumWords',['../classSVF_1_1NodeIDAllocator_1_1Clusterer.html#a779446e2fe92518401f1732fb809f066',1,'SVF::NodeIDAllocator::Clusterer']]],
+  ['newterminalsubscript_11605',['newTerminalSubscript',['../classSVF_1_1CFGrammar.html#ae2648458abb2ead76191a0a65394a95c',1,'SVF::CFGrammar']]],
+  ['next_11606',['next',['../structcJSON.html#ade862b880379b5e2a591f7326401fa8d',1,'cJSON::next()'],['../classSVF_1_1List_1_1ListNode.html#a6fb535e702af0e4f54274050ee0c06c5',1,'SVF::List::ListNode::next()'],['../cJSON_8cpp.html#a2599f74bdbbc1b3fd1ba8db3789a0be7',1,'next(): cJSON.cpp']]],
+  ['noalloc_11607',['noalloc',['../structprintbuffer.html#aa2a7966b71dc3535e4e3789c33ec5368',1,'printbuffer::noalloc()'],['../cJSON_8cpp.html#a2212121102d55231315839f800aa1350',1,'noalloc(): cJSON.cpp']]],
+  ['node_11608',['node',['../classSVF_1_1NullPtrVFGNode.html#adef43dcc86e61145a7fdc6711b28239d',1,'SVF::NullPtrVFGNode']]],
+  ['nodeallocstrat_11609',['NodeAllocStrat',['../classSVF_1_1Options.html#a38107576f4f242191cdbfb1ca51f93cd',1,'SVF::Options']]],
+  ['nodekind_11610',['nodeKind',['../classSVF_1_1GenericNode.html#a586df5473d1e7cdcb9051683914d0220',1,'SVF::GenericNode']]],
+  ['nodemapping_11611',['nodeMapping',['../classSVF_1_1PointsTo.html#acd7eab32125de90020c55c757d6adfda',1,'SVF::PointsTo']]],
+  ['nodenum_11612',['nodeNum',['../classSVF_1_1GenericGraph.html#a38122734cbe71551a420dfb7fee2012e',1,'SVF::GenericGraph']]],
+  ['nodenumafterpagbuild_11613',['nodeNumAfterPAGBuild',['../classSVF_1_1IRGraph.html#a80cf14bf43accb89cb82490b4f173598',1,'SVF::IRGraph']]],
+  ['nodeset_11614',['nodeSet',['../classSVF_1_1List.html#a8d9ffc8497d53e0e1de230e0d8a50fec',1,'SVF::List']]],
+  ['nodestack_11615',['nodeStack',['../classSVF_1_1WPAFSSolver.html#a2cb80102611c663c4daddd68b4f4b75f',1,'SVF::WPAFSSolver']]],
+  ['nodestobecollapsed_11616',['nodesToBeCollapsed',['../classSVF_1_1ConstraintGraph.html#af3406f1e191d9d6d9c33d23bdd2d564b',1,'SVF::ConstraintGraph']]],
+  ['nodetodpitemsmap_11617',['nodeToDPItemsMap',['../classSVF_1_1SrcSnkDDA.html#a5f4f97bc480e899004b0432a78fd94a4',1,'SVF::SrcSnkDDA']]],
+  ['nodetoecmap_11618',['nodeToECMap',['../classSVF_1_1Steensgaard.html#a0dccd5cc44d4d56a035514e9251e70f6',1,'SVF::Steensgaard']]],
+  ['nodetorepmap_11619',['nodeToRepMap',['../classSVF_1_1ConstraintGraph.html#ab1b5ee9202bd9f5d738f9850b42a45d2',1,'SVF::ConstraintGraph']]],
+  ['nodetosubsmap_11620',['nodeToSubsMap',['../classSVF_1_1ConstraintGraph.html#af91f1027cd5de591ae40865f691c5f60',1,'SVF::ConstraintGraph::nodeToSubsMap()'],['../classSVF_1_1Steensgaard.html#aca87fc74b6acb096a7165f105b14854b',1,'SVF::Steensgaard::nodeToSubsMap()']]],
+  ['noncandidatefuncmhprelmap_11621',['nonCandidateFuncMHPRelMap',['../classSVF_1_1MHP.html#a1f057ef082484a1997cb02287e063f00',1,'SVF::MHP']]],
+  ['nonterminals_11622',['nonterminals',['../classSVF_1_1GrammarBase.html#ac0e54c6a5e87f9d91a5296504914849b',1,'SVF::GrammarBase']]],
+  ['normalized_11623',['normalized',['../classSVF_1_1CondPTAImpl.html#ab4115f25e2e477bfd73d01f069f47241',1,'SVF::CondPTAImpl']]],
+  ['null_11624',['NULL',['../cJSON_8cpp.html#a1a05ede2ad100bf5de5dfa7ccdfa4397',1,'cJSON.cpp']]],
+  ['nullpointerid_11625',['nullPointerId',['../classSVF_1_1NodeIDAllocator.html#a1e3a98be74d5dfd3b4c1b5f9c0941353',1,'SVF::NodeIDAllocator']]],
+  ['number_11626',['number',['../cJSON_8h.html#a6288dae99eabb0a393b1d4974e01cde7',1,'number(): cJSON.h'],['../cJSON_8cpp.html#a0b3e94800c28aaf801bbbf0b9b69fee4',1,'number(): cJSON.cpp']]],
+  ['numgtintregions_11627',['NumGtIntRegions',['../classSVF_1_1NodeIDAllocator_1_1Clusterer.html#ad7cb36a1f0f67864fb8290e9dfd7b639',1,'SVF::NodeIDAllocator::Clusterer']]],
+  ['numnodes_11628',['numNodes',['../classSVF_1_1NodeIDAllocator.html#a8e76e0da58f0a5bdbd8118ac419cfa62',1,'SVF::NodeIDAllocator']]],
+  ['numnontrivialregionobjects_11629',['NumNonTrivialRegionObjects',['../classSVF_1_1NodeIDAllocator_1_1Clusterer.html#a1bf9461c717e8dabaee6a57f3d76d61f',1,'SVF::NodeIDAllocator::Clusterer']]],
+  ['numobjects_11630',['numObjects',['../classSVF_1_1NodeIDAllocator.html#a190c729a3f3f622f82cee4917946b50f',1,'SVF::NodeIDAllocator::numObjects()'],['../classSVF_1_1NodeIDAllocator_1_1Clusterer.html#afa74c5ccd22bebe0b76db33066d8b498',1,'SVF::NodeIDAllocator::Clusterer::NumObjects()']]],
+  ['numofactualin_11631',['numOfActualIn',['../classSVF_1_1SVFGStat.html#a5365744d2ec3594e2255d274f7256569',1,'SVF::SVFGStat']]],
+  ['numofactualout_11632',['numOfActualOut',['../classSVF_1_1SVFGStat.html#a122555f5c4b9746cc2b7f38c7cd6b505',1,'SVF::SVFGStat']]],
+  ['numofactualparam_11633',['numOfActualParam',['../classSVF_1_1SVFGStat.html#a0494c59483520b57acdca95952c93d76',1,'SVF::SVFGStat']]],
+  ['numofactualret_11634',['numOfActualRet',['../classSVF_1_1SVFGStat.html#ad37e5b2e57e02f8e4319f6d038c51414',1,'SVF::SVFGStat']]],
+  ['numofaddr_11635',['numOfAddr',['../classSVF_1_1SVFGStat.html#aa6a39e0f1d41d67cb3441389a943bf5f',1,'SVF::SVFGStat']]],
+  ['numofaliasld_11636',['numOfAliasLd',['../classSVF_1_1MTAAnnotator.html#aa1572c2a9f260ff66c9da661fd669a5f',1,'SVF::MTAAnnotator']]],
+  ['numofaliasst_11637',['numOfAliasSt',['../classSVF_1_1MTAAnnotator.html#a71178ddc585c9ca7c9e5c3b52378cd7d',1,'SVF::MTAAnnotator']]],
+  ['numofallld_11638',['numOfAllLd',['../classSVF_1_1MTAAnnotator.html#a5c1743a40d54fdbde2f9dadb612de608',1,'SVF::MTAAnnotator']]],
+  ['numofallst_11639',['numOfAllSt',['../classSVF_1_1MTAAnnotator.html#aa0149b932b4148b14b36e2c5cf9b614b',1,'SVF::MTAAnnotator']]],
+  ['numofannotatedld_11640',['numOfAnnotatedLd',['../classSVF_1_1MTAAnnotator.html#a57df091dbdd4fc947cc5e7aaec123700',1,'SVF::MTAAnnotator']]],
+  ['numofannotatedst_11641',['numOfAnnotatedSt',['../classSVF_1_1MTAAnnotator.html#afbb8c25a126362ab0a4101866b4fc0ee',1,'SVF::MTAAnnotator']]],
+  ['numofaverageptsinregion_11642',['NumOfAveragePtsInRegion',['../classSVF_1_1MemSSAStat.html#a6e29fa9c935de324441c765e40faa2a5',1,'SVF::MemSSAStat']]],
+  ['numofbbhasmssaphi_11643',['NumOfBBHasMSSAPhi',['../classSVF_1_1MemSSAStat.html#a67d9c55f52cb59168e89320c3264a15a',1,'SVF::MemSSAStat']]],
+  ['numofcalledges_11644',['numOfCallEdges',['../classSVF_1_1ICFGStat.html#ab924988ff980c57a4e9155adaa5c0ff2',1,'SVF::ICFGStat']]],
+  ['numofcallnodes_11645',['numOfCallNodes',['../classSVF_1_1ICFGStat.html#a7f8d88b6d8d4892e85006320b39c7dc4',1,'SVF::ICFGStat']]],
+  ['numofchecks_11646',['numOfChecks',['../classSVF_1_1CFLBase.html#a49b12231195521d2b53b045962f0a3f6',1,'SVF::CFLBase::numOfChecks()'],['../classSVF_1_1CFLSolver.html#a46ded0b18821a2ade0ee151ac2b2d520',1,'SVF::CFLSolver::numOfChecks()']]],
+  ['numofcopy_11647',['numOfCopy',['../classSVF_1_1SVFGStat.html#ac86d6d7cb0090ab665729b56111ca464',1,'SVF::SVFGStat']]],
+  ['numofcschi_11648',['NumOfCSChi',['../classSVF_1_1MemSSAStat.html#a921a0f4eba4b891ab9b7699ea0d3f91c',1,'SVF::MemSSAStat']]],
+  ['numofcshaschi_11649',['NumOfCSHasChi',['../classSVF_1_1MemSSAStat.html#ae57c6e5b97581150b7561c93e0887569',1,'SVF::MemSSAStat']]],
+  ['numofcshasmu_11650',['NumOfCSHasMu',['../classSVF_1_1MemSSAStat.html#af5855348e45f50d16cd41cfa9c28f67c',1,'SVF::MemSSAStat']]],
+  ['numofcsmu_11651',['NumOfCSMu',['../classSVF_1_1MemSSAStat.html#a7b07190a20361e30999cd9107749599d',1,'SVF::MemSSAStat']]],
+  ['numofedges_11652',['numOfEdges',['../classSVF_1_1ICFGStat.html#a5e9bb5ae47aacba7c625a9fa3e349e82',1,'SVF::ICFGStat']]],
+  ['numofelement_11653',['numOfElement',['../classSVF_1_1SVFArrayType.html#a5438a991fcd2a1cf1409464125d2c31b',1,'SVF::SVFArrayType']]],
+  ['numofentrychi_11654',['NumOfEntryChi',['../classSVF_1_1MemSSAStat.html#ad96437d0c28f8088c711a718d2f2730e',1,'SVF::MemSSAStat']]],
+  ['numofentrynodes_11655',['numOfEntryNodes',['../classSVF_1_1ICFGStat.html#ad37793e64fe58a8faba201c18d876685',1,'SVF::ICFGStat']]],
+  ['numofexitnodes_11656',['numOfExitNodes',['../classSVF_1_1ICFGStat.html#ad7e00680fb8ca31afbd166f9a4adc5ec',1,'SVF::ICFGStat']]],
+  ['numoffieldexpand_11657',['numOfFieldExpand',['../classSVF_1_1AndersenBase.html#a9f453ec1b4236b8194ae590981217259',1,'SVF::AndersenBase']]],
+  ['numofflattenelements_11658',['numOfFlattenElements',['../classSVF_1_1StInfo.html#a7aa5b5018b4dec4913eb6aecf25568a4',1,'SVF::StInfo']]],
+  ['numofflattenfields_11659',['numOfFlattenFields',['../classSVF_1_1StInfo.html#aa9b4e659f4a4421aadf736a3de24ca50',1,'SVF::StInfo']]],
+  ['numofformalin_11660',['numOfFormalIn',['../classSVF_1_1SVFGStat.html#abc5e079242666bb55ec7dbc7f258b3db',1,'SVF::SVFGStat']]],
+  ['numofformalout_11661',['numOfFormalOut',['../classSVF_1_1SVFGStat.html#ab20900eb0ecb0d2e1e601755848ac531',1,'SVF::SVFGStat']]],
+  ['numofformalparam_11662',['numOfFormalParam',['../classSVF_1_1SVFGStat.html#a1e9ddd5678b05e145af41a6d53f47748',1,'SVF::SVFGStat']]],
+  ['numofformalret_11663',['numOfFormalRet',['../classSVF_1_1SVFGStat.html#a29807c066e60ef3905a5e01e0b86ffd2',1,'SVF::SVFGStat']]],
+  ['numoffunhasentrychi_11664',['NumOfFunHasEntryChi',['../classSVF_1_1MemSSAStat.html#aee2e0df55c40745a9b9aac415aa7a399',1,'SVF::MemSSAStat']]],
+  ['numoffunhasretmu_11665',['NumOfFunHasRetMu',['../classSVF_1_1MemSSAStat.html#ab1cdbd2ebe54dc5bb752a89d069423b7',1,'SVF::MemSSAStat']]],
+  ['numofgep_11666',['numOfGep',['../classSVF_1_1SVFGStat.html#a862cd075a7c9d5019acfabe608ab7905',1,'SVF::SVFGStat']]],
+  ['numofintraedges_11667',['numOfIntraEdges',['../classSVF_1_1ICFGStat.html#a3ddf933064f2a7f2efbd3a1af2ae7658',1,'SVF::ICFGStat']]],
+  ['numofintranodes_11668',['numOfIntraNodes',['../classSVF_1_1ICFGStat.html#ad88dbfaabae9b36f02a6e6e815d08e3e',1,'SVF::ICFGStat']]],
+  ['numofiteration_11669',['numOfIteration',['../classSVF_1_1CFLBase.html#aa807cf1b8605a463d6d68d5096f3e0e8',1,'SVF::CFLBase::numOfIteration()'],['../classSVF_1_1WPASolver.html#ab3369caa278da03e6e6697a839985cd6',1,'SVF::WPASolver::numOfIteration()']]],
+  ['numofload_11670',['numOfLoad',['../classSVF_1_1SVFGStat.html#a7c80f2332b97a3228e2ad7621162167a',1,'SVF::SVFGStat']]],
+  ['numofloadhasmu_11671',['NumOfLoadHasMu',['../classSVF_1_1MemSSAStat.html#ad3139d2643f5e79dcd4ca9569ebbe7df',1,'SVF::MemSSAStat']]],
+  ['numofloadmu_11672',['NumOfLoadMu',['../classSVF_1_1MemSSAStat.html#a284dbb01e051945a40179b315bdb112f',1,'SVF::MemSSAStat']]],
+  ['numoflockedqueries_11673',['numOfLockedQueries',['../classSVF_1_1LockAnalysis.html#a80c56ebc6b9b594e97b56767f451ff8b',1,'SVF::LockAnalysis']]],
+  ['numofmaxregion_11674',['NumOfMaxRegion',['../classSVF_1_1MemSSAStat.html#acf3732557238de882bf7f34c49bd6cee',1,'SVF::MemSSAStat']]],
+  ['numofmemregions_11675',['NumOfMemRegions',['../classSVF_1_1MemSSAStat.html#a95695aa32886776804e192b4c4ddcc1d',1,'SVF::MemSSAStat']]],
+  ['numofmhpld_11676',['numOfMHPLd',['../classSVF_1_1MTAAnnotator.html#a29e0123620ab072fddc45331c6aa46e8',1,'SVF::MTAAnnotator']]],
+  ['numofmhpqueries_11677',['numOfMHPQueries',['../classSVF_1_1MHP.html#ab8bd382e0c70b0feb2a291ecc4043106',1,'SVF::MHP']]],
+  ['numofmhpst_11678',['numOfMHPSt',['../classSVF_1_1MTAAnnotator.html#a3a53e90b4f361d1298983bc89795b3d2',1,'SVF::MTAAnnotator']]],
+  ['numofmssaphi_11679',['numOfMSSAPhi',['../classSVF_1_1SVFGStat.html#a9fc87025af3b7e54442e78f46ebe0360',1,'SVF::SVFGStat::numOfMSSAPhi()'],['../classSVF_1_1MemSSAStat.html#a4b598cb1d06c4c0963787036862b1c3d',1,'SVF::MemSSAStat::NumOfMSSAPhi()']]],
+  ['numofnewsvfgedges_11680',['numOfNewSVFGEdges',['../classSVF_1_1MTASVFGBuilder.html#a019a4597074fdad6e51d936ed4ead0d9',1,'SVF::MTASVFGBuilder']]],
+  ['numofnodes_11681',['numOfNodes',['../classSVF_1_1ICFGStat.html#a8e71a19c266aacd7acb1fee6bb339788',1,'SVF::ICFGStat::numOfNodes()'],['../classSVF_1_1SVFGStat.html#ab499c24856a990dd4adb366107eb3302',1,'SVF::SVFGStat::numOfNodes()']]],
+  ['numofnodesinscc_11682',['numOfNodesInSCC',['../classSVF_1_1FlowSensitive.html#a9f3fe97202db8170fa9f47c5684bce75',1,'SVF::FlowSensitive']]],
+  ['numofnonlocalld_11683',['numOfNonLocalLd',['../classSVF_1_1MTAAnnotator.html#ad53ac0cec797f84d3bc14bdb6bab1ab3',1,'SVF::MTAAnnotator']]],
+  ['numofnonlocalst_11684',['numOfNonLocalSt',['../classSVF_1_1MTAAnnotator.html#a3c07f9964623b3895b1bab59a63dccfb',1,'SVF::MTAAnnotator']]],
+  ['numofnonterminaledges_11685',['numOfNonterminalEdges',['../classSVF_1_1CFLBase.html#a4c03b83cb2a3c0c166d96550d6771a1b',1,'SVF::CFLBase']]],
+  ['numofphi_11686',['numOfPhi',['../classSVF_1_1SVFGStat.html#a0e1fcb9154aad266406c4da4861ba020',1,'SVF::SVFGStat']]],
+  ['numofprocessedactualparam_11687',['numOfProcessedActualParam',['../classSVF_1_1FlowSensitive.html#abdc30e45347579986c42795a436a1251',1,'SVF::FlowSensitive']]],
+  ['numofprocessedaddr_11688',['numOfProcessedAddr',['../classSVF_1_1AndersenBase.html#a4acad18a6eb585ba9e3d2276dd591067',1,'SVF::AndersenBase::numOfProcessedAddr()'],['../classSVF_1_1FlowSensitive.html#ae4253bc632ffffe2498263c90f456ca7',1,'SVF::FlowSensitive::numOfProcessedAddr()']]],
+  ['numofprocessedcopy_11689',['numOfProcessedCopy',['../classSVF_1_1AndersenBase.html#a04acd871bd1b98cd9e83e395334ac130',1,'SVF::AndersenBase::numOfProcessedCopy()'],['../classSVF_1_1FlowSensitive.html#a19e017f3ed6429fa30687018e64dae54',1,'SVF::FlowSensitive::numOfProcessedCopy()']]],
+  ['numofprocessedformalret_11690',['numOfProcessedFormalRet',['../classSVF_1_1FlowSensitive.html#ae048cc5350cf2b075c05f5d84777a3c5',1,'SVF::FlowSensitive']]],
+  ['numofprocessedgep_11691',['numOfProcessedGep',['../classSVF_1_1AndersenBase.html#aa1246b392aeae1fd10c8a9ebedcc2dd9',1,'SVF::AndersenBase::numOfProcessedGep()'],['../classSVF_1_1FlowSensitive.html#a88a111b6bc347d6562db7af8bd8f2f0e',1,'SVF::FlowSensitive::numOfProcessedGep()']]],
+  ['numofprocessedload_11692',['numOfProcessedLoad',['../classSVF_1_1AndersenBase.html#a69aae96fc1c99bf108075e5061f50f9e',1,'SVF::AndersenBase::numOfProcessedLoad()'],['../classSVF_1_1FlowSensitive.html#a0e1a0bdbf4f81a3600ac26ac011ac268',1,'SVF::FlowSensitive::numOfProcessedLoad()']]],
+  ['numofprocessedmssanode_11693',['numOfProcessedMSSANode',['../classSVF_1_1FlowSensitive.html#af71a5ae3aef022c569e89f40515072cf',1,'SVF::FlowSensitive']]],
+  ['numofprocessedphi_11694',['numOfProcessedPhi',['../classSVF_1_1FlowSensitive.html#ac39abcb40e4b568ab59b7cf48ed10f70',1,'SVF::FlowSensitive']]],
+  ['numofprocessedstore_11695',['numOfProcessedStore',['../classSVF_1_1AndersenBase.html#a2b763519509ce21cf40893c01f8357b6',1,'SVF::AndersenBase::numOfProcessedStore()'],['../classSVF_1_1FlowSensitive.html#a669e8f1dd8572b7dcff373c9787a923d',1,'SVF::FlowSensitive::numOfProcessedStore()']]],
+  ['numofremovedpts_11696',['numOfRemovedPTS',['../classSVF_1_1MTASVFGBuilder.html#a07c3f5fa2e0092dac28521cf901a26cf',1,'SVF::MTASVFGBuilder']]],
+  ['numofremovedsvfgedges_11697',['numOfRemovedSVFGEdges',['../classSVF_1_1MTASVFGBuilder.html#a0319d1d2e78c79f9943f2e2f65da26ed',1,'SVF::MTASVFGBuilder']]],
+  ['numofresolvedindcalledge_11698',['numOfResolvedIndCallEdge',['../classSVF_1_1PTACallGraph.html#adf05313ea8bcc7973acebd3fbcd75c92',1,'SVF::PTACallGraph']]],
+  ['numofretedges_11699',['numOfRetEdges',['../classSVF_1_1ICFGStat.html#a3bd1a0b0b206baadea52bfa88e029dfa',1,'SVF::ICFGStat']]],
+  ['numofretmu_11700',['NumOfRetMu',['../classSVF_1_1MemSSAStat.html#a1459465f0a76c09b5dd7d777467ac2e4',1,'SVF::MemSSAStat']]],
+  ['numofretnodes_11701',['numOfRetNodes',['../classSVF_1_1ICFGStat.html#ac9bfce40c058ed7ab178fe1f1818e9de',1,'SVF::ICFGStat']]],
+  ['numofscc_11702',['numOfSCC',['../classSVF_1_1FlowSensitive.html#a0ac955bf06261eec1c6bb78ec99652e3',1,'SVF::FlowSensitive']]],
+  ['numofsccdetection_11703',['numOfSCCDetection',['../classSVF_1_1AndersenBase.html#a0d7298cbf83568f24fd2bd1926a32968',1,'SVF::AndersenBase']]],
+  ['numofsfrs_11704',['numOfSfrs',['../classSVF_1_1AndersenBase.html#a25b00d9ca71cbdd27530fc5d0dc84ee5',1,'SVF::AndersenBase']]],
+  ['numofstartedges_11705',['numOfStartEdges',['../classSVF_1_1CFLBase.html#a25a593cb2a855a93d3593efba382a58c',1,'SVF::CFLBase']]],
+  ['numofstore_11706',['numOfStore',['../classSVF_1_1SVFGStat.html#a4d15f2de3f226c26cb2af57176444ec9',1,'SVF::SVFGStat']]],
+  ['numofstorechi_11707',['NumOfStoreChi',['../classSVF_1_1MemSSAStat.html#a810965c025da84c58575c8066bc84056',1,'SVF::MemSSAStat']]],
+  ['numofstorehaschi_11708',['NumOfStoreHasChi',['../classSVF_1_1MemSSAStat.html#a3bc14307bd0f986cbd8ba5970f1abf0f',1,'SVF::MemSSAStat']]],
+  ['numoftemporarynonterminaledges_11709',['numOfTemporaryNonterminalEdges',['../classSVF_1_1CFLBase.html#ac3b408acb295e2c319e3542539e6df47',1,'SVF::CFLBase']]],
+  ['numofterminaledges_11710',['numOfTerminalEdges',['../classSVF_1_1CFLBase.html#abc5502f15583f0546bbc2a678d2f2ed9',1,'SVF::CFLBase']]],
+  ['numoftotalqueries_11711',['numOfTotalQueries',['../classSVF_1_1LockAnalysis.html#ad648ad9cda4070f9aec1addef0067627',1,'SVF::LockAnalysis::numOfTotalQueries()'],['../classSVF_1_1MHP.html#a26ae18993915d76b704232cded9811c2',1,'SVF::MHP::numOfTotalQueries()']]],
+  ['numperquerystatmap_11712',['NumPerQueryStatMap',['../classSVF_1_1DDAStat.html#a7dabcdacf00844415bd23ca241d885e9',1,'SVF::DDAStat']]],
+  ['numprelabelednodes_11713',['numPrelabeledNodes',['../classSVF_1_1VersionedFlowSensitive.html#aff5029fca933376be1fa374bec790da6',1,'SVF::VersionedFlowSensitive']]],
+  ['numprelabelversions_11714',['numPrelabelVersions',['../classSVF_1_1VersionedFlowSensitive.html#a207ae4d1f2e0ccab8e36add0a45578af',1,'SVF::VersionedFlowSensitive']]],
+  ['numregions_11715',['NumRegions',['../classSVF_1_1NodeIDAllocator_1_1Clusterer.html#ac5fe44f10cdbca9754444943a0f5c3c1',1,'SVF::NodeIDAllocator::Clusterer']]],
+  ['numsymbols_11716',['numSymbols',['../classSVF_1_1NodeIDAllocator.html#a3a160f4c6e761a130b863a3df0af7f96',1,'SVF::NodeIDAllocator']]],
+  ['numtostrmap_11717',['numToStrMap',['../classSVF_1_1SVFIRWriter.html#a7f9d7bb88e4f98f71f542d01107878e4',1,'SVF::SVFIRWriter']]],
+  ['numtypes_11718',['numTypes',['../classSVF_1_1DCHGraph.html#a76fd3154a31584bb64683f2d762cc56c',1,'SVF::DCHGraph']]],
+  ['numvalues_11719',['numValues',['../classSVF_1_1NodeIDAllocator.html#a001c25f6998b8b0a9a7e5e00810e155f',1,'SVF::NodeIDAllocator']]],
+  ['nvthunkfunlabel_11720',['NVThunkFunLabel',['../CppUtil_8cpp.html#a86fe6d521904f944bcf1b3164cfb5d4b',1,'CppUtil.cpp']]]
 ];

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

@@ -1,33 +1,33 @@
 var searchData=
 [
-  ['o_11716',['O',['../classSVF_1_1GraphWriter.html#a2e882c9af39ffd3c4a4bac9212e0e82d',1,'SVF::GraphWriter']]],
-  ['object_11717',['object',['../classSVF_1_1DummyVersionPropSVFGNode.html#ad9a6fd01bf1a101da68eaacc61f420ee',1,'SVF::DummyVersionPropSVFGNode']]],
-  ['objmap_11718',['objMap',['../classSVF_1_1SymbolTableInfo.html#aeab14702eabde827923a692cba8f7f8a',1,'SVF::SymbolTableInfo']]],
-  ['objsymmap_11719',['objSymMap',['../classSVF_1_1SymbolTableInfo.html#a5840b742ed8c73ece548b9b4aede07ec',1,'SVF::SymbolTableInfo']]],
-  ['objtonsrevptsmap_11720',['objToNSRevPtsMap',['../classSVF_1_1CondPTAImpl.html#a22c23f3ba1ee7e0aaccf0b8a1b58e33e',1,'SVF::CondPTAImpl']]],
-  ['ocgdotgraph_11721',['OCGDotGraph',['../classSVF_1_1Options.html#ad6c9b07d4dc8af20fbe2b93711cc2101',1,'SVF::Options']]],
-  ['offset_11722',['offset',['../classSVF_1_1DCHEdge.html#a41bd0d95d588aa7fb77e83dc91654493',1,'SVF::DCHEdge::offset()'],['../classSVF_1_1CoreBitVector.html#a79dfa9f4c2efb6a0a2de18c6359c41bd',1,'SVF::CoreBitVector::offset()'],['../structparse__buffer.html#af727920073077579942a79de519bb31a',1,'parse_buffer::offset()'],['../structprintbuffer.html#a3ed6f9d24d6591047680492a962dc7c9',1,'printbuffer::offset()'],['../cJSON_8cpp.html#a95bf816579e97b6f33bdb5e25ed6d5de',1,'offset(): cJSON.cpp']]],
-  ['onstack_11723',['onStack',['../structSVF_1_1VersionedFlowSensitive_1_1SCC_1_1NodeData.html#a0eb5f6b9985b9b512a76537d55b092b5',1,'SVF::VersionedFlowSensitive::SCC::NodeData']]],
-  ['ontheflyiterbudgetforstat_11724',['OnTheFlyIterBudgetForStat',['../classSVF_1_1PointerAnalysis.html#afc320fbf269404fe128e69c98e6f9cac',1,'SVF::PointerAnalysis']]],
-  ['opcode_11725',['opcode',['../classSVF_1_1BinaryOPStmt.html#a0c4f900cf7321e8385b4f45e5cba3d1a',1,'SVF::BinaryOPStmt::opcode()'],['../classSVF_1_1UnaryOPStmt.html#a099df135a83d28a2e6f344e008fe1cc6',1,'SVF::UnaryOPStmt::opcode()']]],
-  ['opicfgnodes_11726',['opICFGNodes',['../classSVF_1_1PhiStmt.html#a4c75a8f8430621aaec62a5189db136b5',1,'SVF::PhiStmt']]],
-  ['opincomingbbs_11727',['opIncomingBBs',['../classSVF_1_1IntraPHIVFGNode.html#a73f39a488ad82300010abd18afe247a4',1,'SVF::IntraPHIVFGNode']]],
-  ['opit_11728',['OpIt',['../classllvm_1_1generic__bridge__gep__type__iterator.html#aa3fd4dca27e09df9ee726879624ae47e',1,'llvm::generic_bridge_gep_type_iterator']]],
-  ['optionvalues_11729',['optionValues',['../classOptionMultiple.html#a037e34107c423615f1ba0c3fdab04b1f',1,'OptionMultiple']]],
-  ['optsvfg_11730',['OPTSVFG',['../classSVF_1_1Options.html#ab7741246d969021c9afc448b084699af',1,'SVF::Options']]],
-  ['opvars_11731',['opVars',['../classSVF_1_1MultiOpndStmt.html#a172025849492f4de8f87564ef08f5880',1,'SVF::MultiOpndStmt']]],
-  ['opver_11732',['opVer',['../classSVF_1_1MSSACHI.html#a86f2f3f6e2215cdbe31caee048510757',1,'SVF::MSSACHI']]],
-  ['opvers_11733',['opVers',['../classSVF_1_1MSSAPHISVFGNode.html#a9c327923ab939e06877441ebde5c1139',1,'SVF::MSSAPHISVFGNode::opVers()'],['../classSVF_1_1CmpVFGNode.html#aae30d80fd848d62467476d21c691573c',1,'SVF::CmpVFGNode::opVers()'],['../classSVF_1_1BinaryOPVFGNode.html#ae803603f567cc28f5a7e1b66fb324cbc',1,'SVF::BinaryOPVFGNode::opVers()'],['../classSVF_1_1UnaryOPVFGNode.html#ae6fdb5759a0dfeb0635ffd758b752dc1',1,'SVF::UnaryOPVFGNode::opVers()'],['../classSVF_1_1PHIVFGNode.html#a08ccd55d0fb6ce33f69959349008daca',1,'SVF::PHIVFGNode::opVers()'],['../classSVF_1_1MSSAPHI.html#abdabd6dff67cd59622f18d48e8b34271',1,'SVF::MSSAPHI::opVers()']]],
-  ['originalbvnumwords_11734',['OriginalBvNumWords',['../classSVF_1_1NodeIDAllocator_1_1Clusterer.html#af2786eae11ee13845da336ad23bc97e9',1,'SVF::NodeIDAllocator::Clusterer']]],
-  ['originalsbvnumwords_11735',['OriginalSbvNumWords',['../classSVF_1_1NodeIDAllocator_1_1Clusterer.html#a639b887e30115c2a6cd108c65f18fcc1',1,'SVF::NodeIDAllocator::Clusterer']]],
-  ['othervalueset_11736',['OtherValueSet',['../classSVF_1_1SVFModule.html#a99da46c17993e1faef5d3737bcca8d64',1,'SVF::SVFModule']]],
-  ['outcfledges_11737',['outCFLEdges',['../classSVF_1_1CFLNode.html#a47eba9df9dc664e56631ecc9b6146b33',1,'SVF::CFLNode']]],
-  ['outedgekindtosetmap_11738',['OutEdgeKindToSetMap',['../classSVF_1_1SVFVar.html#a3775dd07e89ea6b25950a8b900a4ceab',1,'SVF::SVFVar']]],
-  ['outedges_11739',['OutEdges',['../classSVF_1_1CFBasicBlockNode.html#a046a15f230ab41d50b04f0390df179f1',1,'SVF::CFBasicBlockNode::OutEdges()'],['../classSVF_1_1GenericNode.html#a04aa14df71ffa60a54c870842c552889',1,'SVF::GenericNode::OutEdges()']]],
-  ['outicfgedges_11740',['outICFGEdges',['../classSVF_1_1SVFLoop.html#ad17edf0d1dcca5eebc9789a5015c769d',1,'SVF::SVFLoop']]],
-  ['outofbudgetdpms_11741',['outOfBudgetDpms',['../classSVF_1_1DDAVFSolver.html#aad57a954473f3099188cf8c8fba87880',1,'SVF::DDAVFSolver']]],
-  ['outofbudgetquery_11742',['outOfBudgetQuery',['../classSVF_1_1DDAVFSolver.html#afdecfbacc64cb8d694268aa73ec8a7b6',1,'SVF::DDAVFSolver']]],
-  ['outupdatedvarmap_11743',['outUpdatedVarMap',['../classSVF_1_1MutableIncDFPTData.html#af5f7db6c55037a0e117a36982736039e',1,'SVF::MutableIncDFPTData::outUpdatedVarMap()'],['../classSVF_1_1PersistentIncDFPTData.html#a054f8e2a0668387c092b2802e64a4df0',1,'SVF::PersistentIncDFPTData::outUpdatedVarMap()']]],
-  ['owned_5fctx_11744',['owned_ctx',['../classSVF_1_1LLVMModuleSet.html#a4b678ce8642fcdab0582cd626b7ac7c5',1,'SVF::LLVMModuleSet']]],
-  ['owned_5fmodules_11745',['owned_modules',['../classSVF_1_1LLVMModuleSet.html#ae365189769640adb919a23c36978e5e2',1,'SVF::LLVMModuleSet']]]
+  ['o_11721',['O',['../classSVF_1_1GraphWriter.html#a2e882c9af39ffd3c4a4bac9212e0e82d',1,'SVF::GraphWriter']]],
+  ['object_11722',['object',['../classSVF_1_1DummyVersionPropSVFGNode.html#ad9a6fd01bf1a101da68eaacc61f420ee',1,'SVF::DummyVersionPropSVFGNode']]],
+  ['objmap_11723',['objMap',['../classSVF_1_1SymbolTableInfo.html#aeab14702eabde827923a692cba8f7f8a',1,'SVF::SymbolTableInfo']]],
+  ['objsymmap_11724',['objSymMap',['../classSVF_1_1SymbolTableInfo.html#a5840b742ed8c73ece548b9b4aede07ec',1,'SVF::SymbolTableInfo']]],
+  ['objtonsrevptsmap_11725',['objToNSRevPtsMap',['../classSVF_1_1CondPTAImpl.html#a22c23f3ba1ee7e0aaccf0b8a1b58e33e',1,'SVF::CondPTAImpl']]],
+  ['ocgdotgraph_11726',['OCGDotGraph',['../classSVF_1_1Options.html#ad6c9b07d4dc8af20fbe2b93711cc2101',1,'SVF::Options']]],
+  ['offset_11727',['offset',['../classSVF_1_1DCHEdge.html#a41bd0d95d588aa7fb77e83dc91654493',1,'SVF::DCHEdge::offset()'],['../classSVF_1_1CoreBitVector.html#a79dfa9f4c2efb6a0a2de18c6359c41bd',1,'SVF::CoreBitVector::offset()'],['../structparse__buffer.html#af727920073077579942a79de519bb31a',1,'parse_buffer::offset()'],['../structprintbuffer.html#a3ed6f9d24d6591047680492a962dc7c9',1,'printbuffer::offset()'],['../cJSON_8cpp.html#a95bf816579e97b6f33bdb5e25ed6d5de',1,'offset(): cJSON.cpp']]],
+  ['onstack_11728',['onStack',['../structSVF_1_1VersionedFlowSensitive_1_1SCC_1_1NodeData.html#a0eb5f6b9985b9b512a76537d55b092b5',1,'SVF::VersionedFlowSensitive::SCC::NodeData']]],
+  ['ontheflyiterbudgetforstat_11729',['OnTheFlyIterBudgetForStat',['../classSVF_1_1PointerAnalysis.html#afc320fbf269404fe128e69c98e6f9cac',1,'SVF::PointerAnalysis']]],
+  ['opcode_11730',['opcode',['../classSVF_1_1BinaryOPStmt.html#a0c4f900cf7321e8385b4f45e5cba3d1a',1,'SVF::BinaryOPStmt::opcode()'],['../classSVF_1_1UnaryOPStmt.html#a099df135a83d28a2e6f344e008fe1cc6',1,'SVF::UnaryOPStmt::opcode()']]],
+  ['opicfgnodes_11731',['opICFGNodes',['../classSVF_1_1PhiStmt.html#a4c75a8f8430621aaec62a5189db136b5',1,'SVF::PhiStmt']]],
+  ['opincomingbbs_11732',['opIncomingBBs',['../classSVF_1_1IntraPHIVFGNode.html#a73f39a488ad82300010abd18afe247a4',1,'SVF::IntraPHIVFGNode']]],
+  ['opit_11733',['OpIt',['../classllvm_1_1generic__bridge__gep__type__iterator.html#aa3fd4dca27e09df9ee726879624ae47e',1,'llvm::generic_bridge_gep_type_iterator']]],
+  ['optionvalues_11734',['optionValues',['../classOptionMultiple.html#a037e34107c423615f1ba0c3fdab04b1f',1,'OptionMultiple']]],
+  ['optsvfg_11735',['OPTSVFG',['../classSVF_1_1Options.html#ab7741246d969021c9afc448b084699af',1,'SVF::Options']]],
+  ['opvars_11736',['opVars',['../classSVF_1_1MultiOpndStmt.html#a172025849492f4de8f87564ef08f5880',1,'SVF::MultiOpndStmt']]],
+  ['opver_11737',['opVer',['../classSVF_1_1MSSACHI.html#a86f2f3f6e2215cdbe31caee048510757',1,'SVF::MSSACHI']]],
+  ['opvers_11738',['opVers',['../classSVF_1_1MSSAPHISVFGNode.html#a9c327923ab939e06877441ebde5c1139',1,'SVF::MSSAPHISVFGNode::opVers()'],['../classSVF_1_1CmpVFGNode.html#aae30d80fd848d62467476d21c691573c',1,'SVF::CmpVFGNode::opVers()'],['../classSVF_1_1BinaryOPVFGNode.html#ae803603f567cc28f5a7e1b66fb324cbc',1,'SVF::BinaryOPVFGNode::opVers()'],['../classSVF_1_1UnaryOPVFGNode.html#ae6fdb5759a0dfeb0635ffd758b752dc1',1,'SVF::UnaryOPVFGNode::opVers()'],['../classSVF_1_1PHIVFGNode.html#a08ccd55d0fb6ce33f69959349008daca',1,'SVF::PHIVFGNode::opVers()'],['../classSVF_1_1MSSAPHI.html#abdabd6dff67cd59622f18d48e8b34271',1,'SVF::MSSAPHI::opVers()']]],
+  ['originalbvnumwords_11739',['OriginalBvNumWords',['../classSVF_1_1NodeIDAllocator_1_1Clusterer.html#af2786eae11ee13845da336ad23bc97e9',1,'SVF::NodeIDAllocator::Clusterer']]],
+  ['originalsbvnumwords_11740',['OriginalSbvNumWords',['../classSVF_1_1NodeIDAllocator_1_1Clusterer.html#a639b887e30115c2a6cd108c65f18fcc1',1,'SVF::NodeIDAllocator::Clusterer']]],
+  ['othervalueset_11741',['OtherValueSet',['../classSVF_1_1SVFModule.html#a99da46c17993e1faef5d3737bcca8d64',1,'SVF::SVFModule']]],
+  ['outcfledges_11742',['outCFLEdges',['../classSVF_1_1CFLNode.html#a47eba9df9dc664e56631ecc9b6146b33',1,'SVF::CFLNode']]],
+  ['outedgekindtosetmap_11743',['OutEdgeKindToSetMap',['../classSVF_1_1SVFVar.html#a3775dd07e89ea6b25950a8b900a4ceab',1,'SVF::SVFVar']]],
+  ['outedges_11744',['OutEdges',['../classSVF_1_1CFBasicBlockNode.html#a046a15f230ab41d50b04f0390df179f1',1,'SVF::CFBasicBlockNode::OutEdges()'],['../classSVF_1_1GenericNode.html#a04aa14df71ffa60a54c870842c552889',1,'SVF::GenericNode::OutEdges()']]],
+  ['outicfgedges_11745',['outICFGEdges',['../classSVF_1_1SVFLoop.html#ad17edf0d1dcca5eebc9789a5015c769d',1,'SVF::SVFLoop']]],
+  ['outofbudgetdpms_11746',['outOfBudgetDpms',['../classSVF_1_1DDAVFSolver.html#aad57a954473f3099188cf8c8fba87880',1,'SVF::DDAVFSolver']]],
+  ['outofbudgetquery_11747',['outOfBudgetQuery',['../classSVF_1_1DDAVFSolver.html#afdecfbacc64cb8d694268aa73ec8a7b6',1,'SVF::DDAVFSolver']]],
+  ['outupdatedvarmap_11748',['outUpdatedVarMap',['../classSVF_1_1MutableIncDFPTData.html#af5f7db6c55037a0e117a36982736039e',1,'SVF::MutableIncDFPTData::outUpdatedVarMap()'],['../classSVF_1_1PersistentIncDFPTData.html#a054f8e2a0668387c092b2802e64a4df0',1,'SVF::PersistentIncDFPTData::outUpdatedVarMap()']]],
+  ['owned_5fctx_11749',['owned_ctx',['../classSVF_1_1LLVMModuleSet.html#a4b678ce8642fcdab0582cd626b7ac7c5',1,'SVF::LLVMModuleSet']]],
+  ['owned_5fmodules_11750',['owned_modules',['../classSVF_1_1LLVMModuleSet.html#ae365189769640adb919a23c36978e5e2',1,'SVF::LLVMModuleSet']]]
 ];

package/SVF-doxygen/html/structstd_1_1hash_3_01SVF_1_1IntervalExeState_01_4.html

@@ -82,7 +82,7 @@ Public Member Functions</h2></td></tr>
 </table>
 <a name="details" id="details"></a><h2 class="groupheader">Detailed Description</h2>
 <div class="textblock">
-<p class="definition">Definition at line <a class="el" href="IntervalExeState_8h_source.html#l00468">468</a> of file <a class="el" href="IntervalExeState_8h_source.html">IntervalExeState.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="IntervalExeState_8h_source.html#l00640">640</a> of file <a class="el" href="IntervalExeState_8h_source.html">IntervalExeState.h</a>.</p>
 </div><h2 class="groupheader">Member Function Documentation</h2>
 <a id="ae21394a2b8076439d48a118ff5b623a5"></a>
 <h2 class="memtitle"><span class="permalink"><a href="#ae21394a2b8076439d48a118ff5b623a5">&#9670;&nbsp;</a></span>operator()()</h2>
@@ -108,10 +108,10 @@ Public Member Functions</h2></td></tr>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="IntervalExeState_8h_source.html#l00470">470</a> of file <a class="el" href="IntervalExeState_8h_source.html">IntervalExeState.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00471"></a><span class="lineno">  471</span>&#160;    {</div>
-<div class="line"><a name="l00472"></a><span class="lineno">  472</span>&#160;        <span class="keywordflow">return</span> exeState.<a class="code" href="classSVF_1_1IntervalExeState.html#a85b0e711160d67ea84f426025b980dce">hash</a>();</div>
-<div class="line"><a name="l00473"></a><span class="lineno">  473</span>&#160;    }</div>
+<p class="definition">Definition at line <a class="el" href="IntervalExeState_8h_source.html#l00642">642</a> of file <a class="el" href="IntervalExeState_8h_source.html">IntervalExeState.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00643"></a><span class="lineno">  643</span>&#160;    {</div>
+<div class="line"><a name="l00644"></a><span class="lineno">  644</span>&#160;        <span class="keywordflow">return</span> exeState.<a class="code" href="classSVF_1_1IntervalExeState.html#a85b0e711160d67ea84f426025b980dce">hash</a>();</div>
+<div class="line"><a name="l00645"></a><span class="lineno">  645</span>&#160;    }</div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -119,7 +119,7 @@ Public Member Functions</h2></td></tr>
 <li>/home/runner/work/SVF/SVF/svf/include/AbstractExecution/<a class="el" href="IntervalExeState_8h_source.html">IntervalExeState.h</a></li>
 </ul>
 </div><!-- contents -->
-<div class="ttc" id="aclassSVF_1_1IntervalExeState_html_a85b0e711160d67ea84f426025b980dce"><div class="ttname"><a href="classSVF_1_1IntervalExeState.html#a85b0e711160d67ea84f426025b980dce">SVF::IntervalExeState::hash</a></div><div class="ttdeci">u32_t hash() const override</div><div class="ttdef"><b>Definition:</b> <a href="IntervalExeState_8cpp_source.html#l00042">IntervalExeState.cpp:42</a></div></div>
+<div class="ttc" id="aclassSVF_1_1IntervalExeState_html_a85b0e711160d67ea84f426025b980dce"><div class="ttname"><a href="classSVF_1_1IntervalExeState.html#a85b0e711160d67ea84f426025b980dce">SVF::IntervalExeState::hash</a></div><div class="ttdeci">u32_t hash() const override</div><div class="ttdef"><b>Definition:</b> <a href="IntervalExeState_8cpp_source.html#l00248">IntervalExeState.cpp:248</a></div></div>
 <!-- start footer part -->
 <hr class="footer"/><address class="footer"><small>
 Generated by &#160;<a href="http://www.doxygen.org/index.html">

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "svf-tools",
-  "version": "1.0.849",
+  "version": "1.0.850",
   "description": "* <b>[TypeClone](https://github.com/SVF-tools/SVF/wiki/TypeClone) published in our [ECOOP paper](https://yuleisui.github.io/publications/ecoop20.pdf) is now available in SVF </b> * <b>SVF now uses a single script for its build. Just type [`source ./build.sh`](https://github.com/SVF-tools/SVF/blob/master/build.sh) in your terminal, that's it!</b> * <b>SVF now supports LLVM-10.0.0! </b> * <b>We thank [bsauce](https://github.com/bsauce) for writing a user manual of SVF ([link1](https://www.jianshu.com/p/068a08ec749c) and [link2](https://www.jianshu.com/p/777c30d4240e)) in Chinese </b> * <b>SVF now supports LLVM-9.0.0 (Thank [Byoungyoung Lee](https://github.com/SVF-tools/SVF/issues/142) for his help!). </b> * <b>SVF now supports a set of [field-sensitive pointer analyses](https://yuleisui.github.io/publications/sas2019a.pdf). </b> * <b>[Use SVF as an external lib](https://github.com/SVF-tools/SVF/wiki/Using-SVF-as-a-lib-in-your-own-tool) for your own project (Contributed by [Hongxu Chen](https://github.com/HongxuChen)). </b> * <b>SVF now supports LLVM-7.0.0. </b> * <b>SVF now supports Docker. [Try SVF in Docker](https://github.com/SVF-tools/SVF/wiki/Try-SVF-in-Docker)! </b> * <b>SVF now supports [LLVM-6.0.0](https://github.com/svf-tools/SVF/pull/38) (Contributed by [Jack Anthony](https://github.com/jackanth)). </b> * <b>SVF now supports [LLVM-4.0.0](https://github.com/svf-tools/SVF/pull/23) (Contributed by Jared Carlson. Thank [Jared](https://github.com/jcarlson23) and [Will](https://github.com/dtzWill) for their in-depth [discussions](https://github.com/svf-tools/SVF/pull/18) about updating SVF!) </b> * <b>SVF now supports analysis for C++ programs.</b> <br />",
   "main": "index.js",
   "scripts": {