svf-tools 1.0.765 → 1.0.767

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

@@ -1,126 +1,126 @@
 var searchData=
 [
-  ['n_11267',['n',['../cJSON_8cpp.html#ab6e2ea6dc7bd57d1483413449998230a',1,'cJSON.cpp']]],
-  ['name_11268',['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_11269',['negConds',['../classSVF_1_1SaberCondAllocator.html#a4267ed81d5100d49581a4216f46e660c',1,'SVF::SaberCondAllocator']]],
-  ['newbvnumwords_11270',['NewBvNumWords',['../classSVF_1_1NodeIDAllocator_1_1Clusterer.html#af3fe4b4098898ee38928c9db30ea0fe9',1,'SVF::NodeIDAllocator::Clusterer']]],
-  ['newchild_11271',['newchild',['../cJSON_8cpp.html#a81f8a22ccfd48d5d5f5b911c24892ca9',1,'cJSON.cpp']]],
-  ['newitem_11272',['newitem',['../cJSON_8h.html#a9ceb585442a991aa043b67fcca10a745',1,'newitem(): cJSON.h'],['../cJSON_8cpp.html#a9ceb585442a991aa043b67fcca10a745',1,'newitem(): cJSON.cpp']]],
-  ['newsbvnumwords_11273',['NewSbvNumWords',['../classSVF_1_1NodeIDAllocator_1_1Clusterer.html#a779446e2fe92518401f1732fb809f066',1,'SVF::NodeIDAllocator::Clusterer']]],
-  ['newterminalsubscript_11274',['newTerminalSubscript',['../classSVF_1_1CFGrammar.html#ae2648458abb2ead76191a0a65394a95c',1,'SVF::CFGrammar']]],
-  ['next_11275',['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_11276',['noalloc',['../structprintbuffer.html#aa2a7966b71dc3535e4e3789c33ec5368',1,'printbuffer::noalloc()'],['../cJSON_8cpp.html#a2212121102d55231315839f800aa1350',1,'noalloc(): cJSON.cpp']]],
-  ['node_11277',['node',['../classSVF_1_1NullPtrVFGNode.html#adef43dcc86e61145a7fdc6711b28239d',1,'SVF::NullPtrVFGNode']]],
-  ['nodeallocstrat_11278',['NodeAllocStrat',['../classSVF_1_1Options.html#a38107576f4f242191cdbfb1ca51f93cd',1,'SVF::Options']]],
-  ['nodekind_11279',['nodeKind',['../classSVF_1_1GenericNode.html#a586df5473d1e7cdcb9051683914d0220',1,'SVF::GenericNode']]],
-  ['nodemapping_11280',['nodeMapping',['../classSVF_1_1PointsTo.html#acd7eab32125de90020c55c757d6adfda',1,'SVF::PointsTo']]],
-  ['nodenum_11281',['nodeNum',['../classSVF_1_1GenericGraph.html#a38122734cbe71551a420dfb7fee2012e',1,'SVF::GenericGraph']]],
-  ['nodenumafterpagbuild_11282',['nodeNumAfterPAGBuild',['../classSVF_1_1IRGraph.html#a80cf14bf43accb89cb82490b4f173598',1,'SVF::IRGraph']]],
-  ['nodeset_11283',['nodeSet',['../classSVF_1_1List.html#a8d9ffc8497d53e0e1de230e0d8a50fec',1,'SVF::List']]],
-  ['nodestack_11284',['nodeStack',['../classSVF_1_1WPAFSSolver.html#a2cb80102611c663c4daddd68b4f4b75f',1,'SVF::WPAFSSolver']]],
-  ['nodestobecollapsed_11285',['nodesToBeCollapsed',['../classSVF_1_1ConstraintGraph.html#af3406f1e191d9d6d9c33d23bdd2d564b',1,'SVF::ConstraintGraph']]],
-  ['nodetodpitemsmap_11286',['nodeToDPItemsMap',['../classSVF_1_1SrcSnkDDA.html#a5f4f97bc480e899004b0432a78fd94a4',1,'SVF::SrcSnkDDA']]],
-  ['nodetoecmap_11287',['nodeToECMap',['../classSVF_1_1Steensgaard.html#a0dccd5cc44d4d56a035514e9251e70f6',1,'SVF::Steensgaard']]],
-  ['nodetorepmap_11288',['nodeToRepMap',['../classSVF_1_1ConstraintGraph.html#ab1b5ee9202bd9f5d738f9850b42a45d2',1,'SVF::ConstraintGraph']]],
-  ['nodetosubsmap_11289',['nodeToSubsMap',['../classSVF_1_1ConstraintGraph.html#af91f1027cd5de591ae40865f691c5f60',1,'SVF::ConstraintGraph::nodeToSubsMap()'],['../classSVF_1_1Steensgaard.html#aca87fc74b6acb096a7165f105b14854b',1,'SVF::Steensgaard::nodeToSubsMap()']]],
-  ['noncandidatefuncmhprelmap_11290',['nonCandidateFuncMHPRelMap',['../classSVF_1_1MHP.html#a1f057ef082484a1997cb02287e063f00',1,'SVF::MHP']]],
-  ['nonterminals_11291',['nonterminals',['../classSVF_1_1GrammarBase.html#ac0e54c6a5e87f9d91a5296504914849b',1,'SVF::GrammarBase']]],
-  ['normalized_11292',['normalized',['../classSVF_1_1CondPTAImpl.html#ab4115f25e2e477bfd73d01f069f47241',1,'SVF::CondPTAImpl']]],
-  ['null_11293',['NULL',['../cJSON_8cpp.html#a1a05ede2ad100bf5de5dfa7ccdfa4397',1,'cJSON.cpp']]],
-  ['nullpointerid_11294',['nullPointerId',['../classSVF_1_1NodeIDAllocator.html#a1e3a98be74d5dfd3b4c1b5f9c0941353',1,'SVF::NodeIDAllocator']]],
-  ['number_11295',['number',['../cJSON_8h.html#a6288dae99eabb0a393b1d4974e01cde7',1,'number(): cJSON.h'],['../cJSON_8cpp.html#a0b3e94800c28aaf801bbbf0b9b69fee4',1,'number(): cJSON.cpp']]],
-  ['numgtintregions_11296',['NumGtIntRegions',['../classSVF_1_1NodeIDAllocator_1_1Clusterer.html#ad7cb36a1f0f67864fb8290e9dfd7b639',1,'SVF::NodeIDAllocator::Clusterer']]],
-  ['numnodes_11297',['numNodes',['../classSVF_1_1NodeIDAllocator.html#a8e76e0da58f0a5bdbd8118ac419cfa62',1,'SVF::NodeIDAllocator']]],
-  ['numnontrivialregionobjects_11298',['NumNonTrivialRegionObjects',['../classSVF_1_1NodeIDAllocator_1_1Clusterer.html#a1bf9461c717e8dabaee6a57f3d76d61f',1,'SVF::NodeIDAllocator::Clusterer']]],
-  ['numobjects_11299',['numObjects',['../classSVF_1_1NodeIDAllocator.html#a190c729a3f3f622f82cee4917946b50f',1,'SVF::NodeIDAllocator::numObjects()'],['../classSVF_1_1NodeIDAllocator_1_1Clusterer.html#afa74c5ccd22bebe0b76db33066d8b498',1,'SVF::NodeIDAllocator::Clusterer::NumObjects()']]],
-  ['numofactualin_11300',['numOfActualIn',['../classSVF_1_1SVFGStat.html#a5365744d2ec3594e2255d274f7256569',1,'SVF::SVFGStat']]],
-  ['numofactualout_11301',['numOfActualOut',['../classSVF_1_1SVFGStat.html#a122555f5c4b9746cc2b7f38c7cd6b505',1,'SVF::SVFGStat']]],
-  ['numofactualparam_11302',['numOfActualParam',['../classSVF_1_1SVFGStat.html#a0494c59483520b57acdca95952c93d76',1,'SVF::SVFGStat']]],
-  ['numofactualret_11303',['numOfActualRet',['../classSVF_1_1SVFGStat.html#ad37e5b2e57e02f8e4319f6d038c51414',1,'SVF::SVFGStat']]],
-  ['numofaddr_11304',['numOfAddr',['../classSVF_1_1SVFGStat.html#aa6a39e0f1d41d67cb3441389a943bf5f',1,'SVF::SVFGStat']]],
-  ['numofaliasld_11305',['numOfAliasLd',['../classSVF_1_1MTAAnnotator.html#aa1572c2a9f260ff66c9da661fd669a5f',1,'SVF::MTAAnnotator']]],
-  ['numofaliasst_11306',['numOfAliasSt',['../classSVF_1_1MTAAnnotator.html#a71178ddc585c9ca7c9e5c3b52378cd7d',1,'SVF::MTAAnnotator']]],
-  ['numofallld_11307',['numOfAllLd',['../classSVF_1_1MTAAnnotator.html#a5c1743a40d54fdbde2f9dadb612de608',1,'SVF::MTAAnnotator']]],
-  ['numofallst_11308',['numOfAllSt',['../classSVF_1_1MTAAnnotator.html#aa0149b932b4148b14b36e2c5cf9b614b',1,'SVF::MTAAnnotator']]],
-  ['numofannotatedld_11309',['numOfAnnotatedLd',['../classSVF_1_1MTAAnnotator.html#a57df091dbdd4fc947cc5e7aaec123700',1,'SVF::MTAAnnotator']]],
-  ['numofannotatedst_11310',['numOfAnnotatedSt',['../classSVF_1_1MTAAnnotator.html#afbb8c25a126362ab0a4101866b4fc0ee',1,'SVF::MTAAnnotator']]],
-  ['numofaverageptsinregion_11311',['NumOfAveragePtsInRegion',['../classSVF_1_1MemSSAStat.html#a6e29fa9c935de324441c765e40faa2a5',1,'SVF::MemSSAStat']]],
-  ['numofbbhasmssaphi_11312',['NumOfBBHasMSSAPhi',['../classSVF_1_1MemSSAStat.html#a67d9c55f52cb59168e89320c3264a15a',1,'SVF::MemSSAStat']]],
-  ['numofcalledges_11313',['numOfCallEdges',['../classSVF_1_1ICFGStat.html#ab924988ff980c57a4e9155adaa5c0ff2',1,'SVF::ICFGStat']]],
-  ['numofcallnodes_11314',['numOfCallNodes',['../classSVF_1_1ICFGStat.html#a7f8d88b6d8d4892e85006320b39c7dc4',1,'SVF::ICFGStat']]],
-  ['numofchecks_11315',['numOfChecks',['../classSVF_1_1CFLBase.html#a49b12231195521d2b53b045962f0a3f6',1,'SVF::CFLBase::numOfChecks()'],['../classSVF_1_1CFLSolver.html#a46ded0b18821a2ade0ee151ac2b2d520',1,'SVF::CFLSolver::numOfChecks()']]],
-  ['numofcopy_11316',['numOfCopy',['../classSVF_1_1SVFGStat.html#ac86d6d7cb0090ab665729b56111ca464',1,'SVF::SVFGStat']]],
-  ['numofcschi_11317',['NumOfCSChi',['../classSVF_1_1MemSSAStat.html#a921a0f4eba4b891ab9b7699ea0d3f91c',1,'SVF::MemSSAStat']]],
-  ['numofcshaschi_11318',['NumOfCSHasChi',['../classSVF_1_1MemSSAStat.html#ae57c6e5b97581150b7561c93e0887569',1,'SVF::MemSSAStat']]],
-  ['numofcshasmu_11319',['NumOfCSHasMu',['../classSVF_1_1MemSSAStat.html#af5855348e45f50d16cd41cfa9c28f67c',1,'SVF::MemSSAStat']]],
-  ['numofcsmu_11320',['NumOfCSMu',['../classSVF_1_1MemSSAStat.html#a7b07190a20361e30999cd9107749599d',1,'SVF::MemSSAStat']]],
-  ['numofedges_11321',['numOfEdges',['../classSVF_1_1ICFGStat.html#a5e9bb5ae47aacba7c625a9fa3e349e82',1,'SVF::ICFGStat']]],
-  ['numofelement_11322',['numOfElement',['../classSVF_1_1SVFArrayType.html#a5438a991fcd2a1cf1409464125d2c31b',1,'SVF::SVFArrayType']]],
-  ['numofentrychi_11323',['NumOfEntryChi',['../classSVF_1_1MemSSAStat.html#ad96437d0c28f8088c711a718d2f2730e',1,'SVF::MemSSAStat']]],
-  ['numofentrynodes_11324',['numOfEntryNodes',['../classSVF_1_1ICFGStat.html#ad37793e64fe58a8faba201c18d876685',1,'SVF::ICFGStat']]],
-  ['numofexitnodes_11325',['numOfExitNodes',['../classSVF_1_1ICFGStat.html#ad7e00680fb8ca31afbd166f9a4adc5ec',1,'SVF::ICFGStat']]],
-  ['numoffieldexpand_11326',['numOfFieldExpand',['../classSVF_1_1AndersenBase.html#a9f453ec1b4236b8194ae590981217259',1,'SVF::AndersenBase']]],
-  ['numofflattenelements_11327',['numOfFlattenElements',['../classSVF_1_1StInfo.html#a7aa5b5018b4dec4913eb6aecf25568a4',1,'SVF::StInfo']]],
-  ['numofflattenfields_11328',['numOfFlattenFields',['../classSVF_1_1StInfo.html#aa9b4e659f4a4421aadf736a3de24ca50',1,'SVF::StInfo']]],
-  ['numofformalin_11329',['numOfFormalIn',['../classSVF_1_1SVFGStat.html#abc5e079242666bb55ec7dbc7f258b3db',1,'SVF::SVFGStat']]],
-  ['numofformalout_11330',['numOfFormalOut',['../classSVF_1_1SVFGStat.html#ab20900eb0ecb0d2e1e601755848ac531',1,'SVF::SVFGStat']]],
-  ['numofformalparam_11331',['numOfFormalParam',['../classSVF_1_1SVFGStat.html#a1e9ddd5678b05e145af41a6d53f47748',1,'SVF::SVFGStat']]],
-  ['numofformalret_11332',['numOfFormalRet',['../classSVF_1_1SVFGStat.html#a29807c066e60ef3905a5e01e0b86ffd2',1,'SVF::SVFGStat']]],
-  ['numoffunhasentrychi_11333',['NumOfFunHasEntryChi',['../classSVF_1_1MemSSAStat.html#aee2e0df55c40745a9b9aac415aa7a399',1,'SVF::MemSSAStat']]],
-  ['numoffunhasretmu_11334',['NumOfFunHasRetMu',['../classSVF_1_1MemSSAStat.html#ab1cdbd2ebe54dc5bb752a89d069423b7',1,'SVF::MemSSAStat']]],
-  ['numofgep_11335',['numOfGep',['../classSVF_1_1SVFGStat.html#a862cd075a7c9d5019acfabe608ab7905',1,'SVF::SVFGStat']]],
-  ['numofintraedges_11336',['numOfIntraEdges',['../classSVF_1_1ICFGStat.html#a3ddf933064f2a7f2efbd3a1af2ae7658',1,'SVF::ICFGStat']]],
-  ['numofintranodes_11337',['numOfIntraNodes',['../classSVF_1_1ICFGStat.html#ad88dbfaabae9b36f02a6e6e815d08e3e',1,'SVF::ICFGStat']]],
-  ['numofiteration_11338',['numOfIteration',['../classSVF_1_1CFLBase.html#aa807cf1b8605a463d6d68d5096f3e0e8',1,'SVF::CFLBase::numOfIteration()'],['../classSVF_1_1WPASolver.html#ab3369caa278da03e6e6697a839985cd6',1,'SVF::WPASolver::numOfIteration()']]],
-  ['numofload_11339',['numOfLoad',['../classSVF_1_1SVFGStat.html#a7c80f2332b97a3228e2ad7621162167a',1,'SVF::SVFGStat']]],
-  ['numofloadhasmu_11340',['NumOfLoadHasMu',['../classSVF_1_1MemSSAStat.html#ad3139d2643f5e79dcd4ca9569ebbe7df',1,'SVF::MemSSAStat']]],
-  ['numofloadmu_11341',['NumOfLoadMu',['../classSVF_1_1MemSSAStat.html#a284dbb01e051945a40179b315bdb112f',1,'SVF::MemSSAStat']]],
-  ['numoflockedqueries_11342',['numOfLockedQueries',['../classSVF_1_1LockAnalysis.html#a80c56ebc6b9b594e97b56767f451ff8b',1,'SVF::LockAnalysis']]],
-  ['numofmaxregion_11343',['NumOfMaxRegion',['../classSVF_1_1MemSSAStat.html#acf3732557238de882bf7f34c49bd6cee',1,'SVF::MemSSAStat']]],
-  ['numofmemregions_11344',['NumOfMemRegions',['../classSVF_1_1MemSSAStat.html#a95695aa32886776804e192b4c4ddcc1d',1,'SVF::MemSSAStat']]],
-  ['numofmhpld_11345',['numOfMHPLd',['../classSVF_1_1MTAAnnotator.html#a29e0123620ab072fddc45331c6aa46e8',1,'SVF::MTAAnnotator']]],
-  ['numofmhpqueries_11346',['numOfMHPQueries',['../classSVF_1_1MHP.html#ab8bd382e0c70b0feb2a291ecc4043106',1,'SVF::MHP']]],
-  ['numofmhpst_11347',['numOfMHPSt',['../classSVF_1_1MTAAnnotator.html#a3a53e90b4f361d1298983bc89795b3d2',1,'SVF::MTAAnnotator']]],
-  ['numofmssaphi_11348',['numOfMSSAPhi',['../classSVF_1_1SVFGStat.html#a9fc87025af3b7e54442e78f46ebe0360',1,'SVF::SVFGStat::numOfMSSAPhi()'],['../classSVF_1_1MemSSAStat.html#a4b598cb1d06c4c0963787036862b1c3d',1,'SVF::MemSSAStat::NumOfMSSAPhi()']]],
-  ['numofnewsvfgedges_11349',['numOfNewSVFGEdges',['../classSVF_1_1MTASVFGBuilder.html#a019a4597074fdad6e51d936ed4ead0d9',1,'SVF::MTASVFGBuilder']]],
-  ['numofnodes_11350',['numOfNodes',['../classSVF_1_1ICFGStat.html#a8e71a19c266aacd7acb1fee6bb339788',1,'SVF::ICFGStat::numOfNodes()'],['../classSVF_1_1SVFGStat.html#ab499c24856a990dd4adb366107eb3302',1,'SVF::SVFGStat::numOfNodes()']]],
-  ['numofnodesinscc_11351',['numOfNodesInSCC',['../classSVF_1_1FlowSensitive.html#a9f3fe97202db8170fa9f47c5684bce75',1,'SVF::FlowSensitive']]],
-  ['numofnonlocalld_11352',['numOfNonLocalLd',['../classSVF_1_1MTAAnnotator.html#ad53ac0cec797f84d3bc14bdb6bab1ab3',1,'SVF::MTAAnnotator']]],
-  ['numofnonlocalst_11353',['numOfNonLocalSt',['../classSVF_1_1MTAAnnotator.html#a3c07f9964623b3895b1bab59a63dccfb',1,'SVF::MTAAnnotator']]],
-  ['numofnonterminaledges_11354',['numOfNonterminalEdges',['../classSVF_1_1CFLBase.html#a4c03b83cb2a3c0c166d96550d6771a1b',1,'SVF::CFLBase']]],
-  ['numofphi_11355',['numOfPhi',['../classSVF_1_1SVFGStat.html#a0e1fcb9154aad266406c4da4861ba020',1,'SVF::SVFGStat']]],
-  ['numofprocessedactualparam_11356',['numOfProcessedActualParam',['../classSVF_1_1FlowSensitive.html#abdc30e45347579986c42795a436a1251',1,'SVF::FlowSensitive']]],
-  ['numofprocessedaddr_11357',['numOfProcessedAddr',['../classSVF_1_1AndersenBase.html#a4acad18a6eb585ba9e3d2276dd591067',1,'SVF::AndersenBase::numOfProcessedAddr()'],['../classSVF_1_1FlowSensitive.html#ae4253bc632ffffe2498263c90f456ca7',1,'SVF::FlowSensitive::numOfProcessedAddr()']]],
-  ['numofprocessedcopy_11358',['numOfProcessedCopy',['../classSVF_1_1AndersenBase.html#a04acd871bd1b98cd9e83e395334ac130',1,'SVF::AndersenBase::numOfProcessedCopy()'],['../classSVF_1_1FlowSensitive.html#a19e017f3ed6429fa30687018e64dae54',1,'SVF::FlowSensitive::numOfProcessedCopy()']]],
-  ['numofprocessedformalret_11359',['numOfProcessedFormalRet',['../classSVF_1_1FlowSensitive.html#ae048cc5350cf2b075c05f5d84777a3c5',1,'SVF::FlowSensitive']]],
-  ['numofprocessedgep_11360',['numOfProcessedGep',['../classSVF_1_1AndersenBase.html#aa1246b392aeae1fd10c8a9ebedcc2dd9',1,'SVF::AndersenBase::numOfProcessedGep()'],['../classSVF_1_1FlowSensitive.html#a88a111b6bc347d6562db7af8bd8f2f0e',1,'SVF::FlowSensitive::numOfProcessedGep()']]],
-  ['numofprocessedload_11361',['numOfProcessedLoad',['../classSVF_1_1AndersenBase.html#a69aae96fc1c99bf108075e5061f50f9e',1,'SVF::AndersenBase::numOfProcessedLoad()'],['../classSVF_1_1FlowSensitive.html#a0e1a0bdbf4f81a3600ac26ac011ac268',1,'SVF::FlowSensitive::numOfProcessedLoad()']]],
-  ['numofprocessedmssanode_11362',['numOfProcessedMSSANode',['../classSVF_1_1FlowSensitive.html#af71a5ae3aef022c569e89f40515072cf',1,'SVF::FlowSensitive']]],
-  ['numofprocessedphi_11363',['numOfProcessedPhi',['../classSVF_1_1FlowSensitive.html#ac39abcb40e4b568ab59b7cf48ed10f70',1,'SVF::FlowSensitive']]],
-  ['numofprocessedstore_11364',['numOfProcessedStore',['../classSVF_1_1AndersenBase.html#a2b763519509ce21cf40893c01f8357b6',1,'SVF::AndersenBase::numOfProcessedStore()'],['../classSVF_1_1FlowSensitive.html#a669e8f1dd8572b7dcff373c9787a923d',1,'SVF::FlowSensitive::numOfProcessedStore()']]],
-  ['numofremovedpts_11365',['numOfRemovedPTS',['../classSVF_1_1MTASVFGBuilder.html#a07c3f5fa2e0092dac28521cf901a26cf',1,'SVF::MTASVFGBuilder']]],
-  ['numofremovedsvfgedges_11366',['numOfRemovedSVFGEdges',['../classSVF_1_1MTASVFGBuilder.html#a0319d1d2e78c79f9943f2e2f65da26ed',1,'SVF::MTASVFGBuilder']]],
-  ['numofresolvedindcalledge_11367',['numOfResolvedIndCallEdge',['../classSVF_1_1PTACallGraph.html#adf05313ea8bcc7973acebd3fbcd75c92',1,'SVF::PTACallGraph']]],
-  ['numofretedges_11368',['numOfRetEdges',['../classSVF_1_1ICFGStat.html#a3bd1a0b0b206baadea52bfa88e029dfa',1,'SVF::ICFGStat']]],
-  ['numofretmu_11369',['NumOfRetMu',['../classSVF_1_1MemSSAStat.html#a1459465f0a76c09b5dd7d777467ac2e4',1,'SVF::MemSSAStat']]],
-  ['numofretnodes_11370',['numOfRetNodes',['../classSVF_1_1ICFGStat.html#ac9bfce40c058ed7ab178fe1f1818e9de',1,'SVF::ICFGStat']]],
-  ['numofscc_11371',['numOfSCC',['../classSVF_1_1FlowSensitive.html#a0ac955bf06261eec1c6bb78ec99652e3',1,'SVF::FlowSensitive']]],
-  ['numofsccdetection_11372',['numOfSCCDetection',['../classSVF_1_1AndersenBase.html#a0d7298cbf83568f24fd2bd1926a32968',1,'SVF::AndersenBase']]],
-  ['numofsfrs_11373',['numOfSfrs',['../classSVF_1_1AndersenBase.html#a25b00d9ca71cbdd27530fc5d0dc84ee5',1,'SVF::AndersenBase']]],
-  ['numofstartedges_11374',['numOfStartEdges',['../classSVF_1_1CFLBase.html#a25a593cb2a855a93d3593efba382a58c',1,'SVF::CFLBase']]],
-  ['numofstore_11375',['numOfStore',['../classSVF_1_1SVFGStat.html#a4d15f2de3f226c26cb2af57176444ec9',1,'SVF::SVFGStat']]],
-  ['numofstorechi_11376',['NumOfStoreChi',['../classSVF_1_1MemSSAStat.html#a810965c025da84c58575c8066bc84056',1,'SVF::MemSSAStat']]],
-  ['numofstorehaschi_11377',['NumOfStoreHasChi',['../classSVF_1_1MemSSAStat.html#a3bc14307bd0f986cbd8ba5970f1abf0f',1,'SVF::MemSSAStat']]],
-  ['numoftemporarynonterminaledges_11378',['numOfTemporaryNonterminalEdges',['../classSVF_1_1CFLBase.html#ac3b408acb295e2c319e3542539e6df47',1,'SVF::CFLBase']]],
-  ['numofterminaledges_11379',['numOfTerminalEdges',['../classSVF_1_1CFLBase.html#abc5502f15583f0546bbc2a678d2f2ed9',1,'SVF::CFLBase']]],
-  ['numoftotalqueries_11380',['numOfTotalQueries',['../classSVF_1_1LockAnalysis.html#ad648ad9cda4070f9aec1addef0067627',1,'SVF::LockAnalysis::numOfTotalQueries()'],['../classSVF_1_1MHP.html#a26ae18993915d76b704232cded9811c2',1,'SVF::MHP::numOfTotalQueries()']]],
-  ['numperquerystatmap_11381',['NumPerQueryStatMap',['../classSVF_1_1DDAStat.html#a7dabcdacf00844415bd23ca241d885e9',1,'SVF::DDAStat']]],
-  ['numprelabelednodes_11382',['numPrelabeledNodes',['../classSVF_1_1VersionedFlowSensitive.html#aff5029fca933376be1fa374bec790da6',1,'SVF::VersionedFlowSensitive']]],
-  ['numprelabelversions_11383',['numPrelabelVersions',['../classSVF_1_1VersionedFlowSensitive.html#a207ae4d1f2e0ccab8e36add0a45578af',1,'SVF::VersionedFlowSensitive']]],
-  ['numregions_11384',['NumRegions',['../classSVF_1_1NodeIDAllocator_1_1Clusterer.html#ac5fe44f10cdbca9754444943a0f5c3c1',1,'SVF::NodeIDAllocator::Clusterer']]],
-  ['numsymbols_11385',['numSymbols',['../classSVF_1_1NodeIDAllocator.html#a3a160f4c6e761a130b863a3df0af7f96',1,'SVF::NodeIDAllocator']]],
-  ['numtostrmap_11386',['numToStrMap',['../classSVF_1_1SVFIRWriter.html#a7f9d7bb88e4f98f71f542d01107878e4',1,'SVF::SVFIRWriter']]],
-  ['numtypes_11387',['numTypes',['../classSVF_1_1DCHGraph.html#a76fd3154a31584bb64683f2d762cc56c',1,'SVF::DCHGraph']]],
-  ['numvalues_11388',['numValues',['../classSVF_1_1NodeIDAllocator.html#a001c25f6998b8b0a9a7e5e00810e155f',1,'SVF::NodeIDAllocator']]],
-  ['nvthunkfunlabel_11389',['NVThunkFunLabel',['../CppUtil_8cpp.html#a86fe6d521904f944bcf1b3164cfb5d4b',1,'CppUtil.cpp']]]
+  ['n_11274',['n',['../cJSON_8cpp.html#ab6e2ea6dc7bd57d1483413449998230a',1,'cJSON.cpp']]],
+  ['name_11275',['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_11276',['negConds',['../classSVF_1_1SaberCondAllocator.html#a4267ed81d5100d49581a4216f46e660c',1,'SVF::SaberCondAllocator']]],
+  ['newbvnumwords_11277',['NewBvNumWords',['../classSVF_1_1NodeIDAllocator_1_1Clusterer.html#af3fe4b4098898ee38928c9db30ea0fe9',1,'SVF::NodeIDAllocator::Clusterer']]],
+  ['newchild_11278',['newchild',['../cJSON_8cpp.html#a81f8a22ccfd48d5d5f5b911c24892ca9',1,'cJSON.cpp']]],
+  ['newitem_11279',['newitem',['../cJSON_8h.html#a9ceb585442a991aa043b67fcca10a745',1,'newitem(): cJSON.h'],['../cJSON_8cpp.html#a9ceb585442a991aa043b67fcca10a745',1,'newitem(): cJSON.cpp']]],
+  ['newsbvnumwords_11280',['NewSbvNumWords',['../classSVF_1_1NodeIDAllocator_1_1Clusterer.html#a779446e2fe92518401f1732fb809f066',1,'SVF::NodeIDAllocator::Clusterer']]],
+  ['newterminalsubscript_11281',['newTerminalSubscript',['../classSVF_1_1CFGrammar.html#ae2648458abb2ead76191a0a65394a95c',1,'SVF::CFGrammar']]],
+  ['next_11282',['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_11283',['noalloc',['../structprintbuffer.html#aa2a7966b71dc3535e4e3789c33ec5368',1,'printbuffer::noalloc()'],['../cJSON_8cpp.html#a2212121102d55231315839f800aa1350',1,'noalloc(): cJSON.cpp']]],
+  ['node_11284',['node',['../classSVF_1_1NullPtrVFGNode.html#adef43dcc86e61145a7fdc6711b28239d',1,'SVF::NullPtrVFGNode']]],
+  ['nodeallocstrat_11285',['NodeAllocStrat',['../classSVF_1_1Options.html#a38107576f4f242191cdbfb1ca51f93cd',1,'SVF::Options']]],
+  ['nodekind_11286',['nodeKind',['../classSVF_1_1GenericNode.html#a586df5473d1e7cdcb9051683914d0220',1,'SVF::GenericNode']]],
+  ['nodemapping_11287',['nodeMapping',['../classSVF_1_1PointsTo.html#acd7eab32125de90020c55c757d6adfda',1,'SVF::PointsTo']]],
+  ['nodenum_11288',['nodeNum',['../classSVF_1_1GenericGraph.html#a38122734cbe71551a420dfb7fee2012e',1,'SVF::GenericGraph']]],
+  ['nodenumafterpagbuild_11289',['nodeNumAfterPAGBuild',['../classSVF_1_1IRGraph.html#a80cf14bf43accb89cb82490b4f173598',1,'SVF::IRGraph']]],
+  ['nodeset_11290',['nodeSet',['../classSVF_1_1List.html#a8d9ffc8497d53e0e1de230e0d8a50fec',1,'SVF::List']]],
+  ['nodestack_11291',['nodeStack',['../classSVF_1_1WPAFSSolver.html#a2cb80102611c663c4daddd68b4f4b75f',1,'SVF::WPAFSSolver']]],
+  ['nodestobecollapsed_11292',['nodesToBeCollapsed',['../classSVF_1_1ConstraintGraph.html#af3406f1e191d9d6d9c33d23bdd2d564b',1,'SVF::ConstraintGraph']]],
+  ['nodetodpitemsmap_11293',['nodeToDPItemsMap',['../classSVF_1_1SrcSnkDDA.html#a5f4f97bc480e899004b0432a78fd94a4',1,'SVF::SrcSnkDDA']]],
+  ['nodetoecmap_11294',['nodeToECMap',['../classSVF_1_1Steensgaard.html#a0dccd5cc44d4d56a035514e9251e70f6',1,'SVF::Steensgaard']]],
+  ['nodetorepmap_11295',['nodeToRepMap',['../classSVF_1_1ConstraintGraph.html#ab1b5ee9202bd9f5d738f9850b42a45d2',1,'SVF::ConstraintGraph']]],
+  ['nodetosubsmap_11296',['nodeToSubsMap',['../classSVF_1_1ConstraintGraph.html#af91f1027cd5de591ae40865f691c5f60',1,'SVF::ConstraintGraph::nodeToSubsMap()'],['../classSVF_1_1Steensgaard.html#aca87fc74b6acb096a7165f105b14854b',1,'SVF::Steensgaard::nodeToSubsMap()']]],
+  ['noncandidatefuncmhprelmap_11297',['nonCandidateFuncMHPRelMap',['../classSVF_1_1MHP.html#a1f057ef082484a1997cb02287e063f00',1,'SVF::MHP']]],
+  ['nonterminals_11298',['nonterminals',['../classSVF_1_1GrammarBase.html#ac0e54c6a5e87f9d91a5296504914849b',1,'SVF::GrammarBase']]],
+  ['normalized_11299',['normalized',['../classSVF_1_1CondPTAImpl.html#ab4115f25e2e477bfd73d01f069f47241',1,'SVF::CondPTAImpl']]],
+  ['null_11300',['NULL',['../cJSON_8cpp.html#a1a05ede2ad100bf5de5dfa7ccdfa4397',1,'cJSON.cpp']]],
+  ['nullpointerid_11301',['nullPointerId',['../classSVF_1_1NodeIDAllocator.html#a1e3a98be74d5dfd3b4c1b5f9c0941353',1,'SVF::NodeIDAllocator']]],
+  ['number_11302',['number',['../cJSON_8h.html#a6288dae99eabb0a393b1d4974e01cde7',1,'number(): cJSON.h'],['../cJSON_8cpp.html#a0b3e94800c28aaf801bbbf0b9b69fee4',1,'number(): cJSON.cpp']]],
+  ['numgtintregions_11303',['NumGtIntRegions',['../classSVF_1_1NodeIDAllocator_1_1Clusterer.html#ad7cb36a1f0f67864fb8290e9dfd7b639',1,'SVF::NodeIDAllocator::Clusterer']]],
+  ['numnodes_11304',['numNodes',['../classSVF_1_1NodeIDAllocator.html#a8e76e0da58f0a5bdbd8118ac419cfa62',1,'SVF::NodeIDAllocator']]],
+  ['numnontrivialregionobjects_11305',['NumNonTrivialRegionObjects',['../classSVF_1_1NodeIDAllocator_1_1Clusterer.html#a1bf9461c717e8dabaee6a57f3d76d61f',1,'SVF::NodeIDAllocator::Clusterer']]],
+  ['numobjects_11306',['NumObjects',['../classSVF_1_1NodeIDAllocator_1_1Clusterer.html#afa74c5ccd22bebe0b76db33066d8b498',1,'SVF::NodeIDAllocator::Clusterer::NumObjects()'],['../classSVF_1_1NodeIDAllocator.html#a190c729a3f3f622f82cee4917946b50f',1,'SVF::NodeIDAllocator::numObjects()']]],
+  ['numofactualin_11307',['numOfActualIn',['../classSVF_1_1SVFGStat.html#a5365744d2ec3594e2255d274f7256569',1,'SVF::SVFGStat']]],
+  ['numofactualout_11308',['numOfActualOut',['../classSVF_1_1SVFGStat.html#a122555f5c4b9746cc2b7f38c7cd6b505',1,'SVF::SVFGStat']]],
+  ['numofactualparam_11309',['numOfActualParam',['../classSVF_1_1SVFGStat.html#a0494c59483520b57acdca95952c93d76',1,'SVF::SVFGStat']]],
+  ['numofactualret_11310',['numOfActualRet',['../classSVF_1_1SVFGStat.html#ad37e5b2e57e02f8e4319f6d038c51414',1,'SVF::SVFGStat']]],
+  ['numofaddr_11311',['numOfAddr',['../classSVF_1_1SVFGStat.html#aa6a39e0f1d41d67cb3441389a943bf5f',1,'SVF::SVFGStat']]],
+  ['numofaliasld_11312',['numOfAliasLd',['../classSVF_1_1MTAAnnotator.html#aa1572c2a9f260ff66c9da661fd669a5f',1,'SVF::MTAAnnotator']]],
+  ['numofaliasst_11313',['numOfAliasSt',['../classSVF_1_1MTAAnnotator.html#a71178ddc585c9ca7c9e5c3b52378cd7d',1,'SVF::MTAAnnotator']]],
+  ['numofallld_11314',['numOfAllLd',['../classSVF_1_1MTAAnnotator.html#a5c1743a40d54fdbde2f9dadb612de608',1,'SVF::MTAAnnotator']]],
+  ['numofallst_11315',['numOfAllSt',['../classSVF_1_1MTAAnnotator.html#aa0149b932b4148b14b36e2c5cf9b614b',1,'SVF::MTAAnnotator']]],
+  ['numofannotatedld_11316',['numOfAnnotatedLd',['../classSVF_1_1MTAAnnotator.html#a57df091dbdd4fc947cc5e7aaec123700',1,'SVF::MTAAnnotator']]],
+  ['numofannotatedst_11317',['numOfAnnotatedSt',['../classSVF_1_1MTAAnnotator.html#afbb8c25a126362ab0a4101866b4fc0ee',1,'SVF::MTAAnnotator']]],
+  ['numofaverageptsinregion_11318',['NumOfAveragePtsInRegion',['../classSVF_1_1MemSSAStat.html#a6e29fa9c935de324441c765e40faa2a5',1,'SVF::MemSSAStat']]],
+  ['numofbbhasmssaphi_11319',['NumOfBBHasMSSAPhi',['../classSVF_1_1MemSSAStat.html#a67d9c55f52cb59168e89320c3264a15a',1,'SVF::MemSSAStat']]],
+  ['numofcalledges_11320',['numOfCallEdges',['../classSVF_1_1ICFGStat.html#ab924988ff980c57a4e9155adaa5c0ff2',1,'SVF::ICFGStat']]],
+  ['numofcallnodes_11321',['numOfCallNodes',['../classSVF_1_1ICFGStat.html#a7f8d88b6d8d4892e85006320b39c7dc4',1,'SVF::ICFGStat']]],
+  ['numofchecks_11322',['numOfChecks',['../classSVF_1_1CFLBase.html#a49b12231195521d2b53b045962f0a3f6',1,'SVF::CFLBase::numOfChecks()'],['../classSVF_1_1CFLSolver.html#a46ded0b18821a2ade0ee151ac2b2d520',1,'SVF::CFLSolver::numOfChecks()']]],
+  ['numofcopy_11323',['numOfCopy',['../classSVF_1_1SVFGStat.html#ac86d6d7cb0090ab665729b56111ca464',1,'SVF::SVFGStat']]],
+  ['numofcschi_11324',['NumOfCSChi',['../classSVF_1_1MemSSAStat.html#a921a0f4eba4b891ab9b7699ea0d3f91c',1,'SVF::MemSSAStat']]],
+  ['numofcshaschi_11325',['NumOfCSHasChi',['../classSVF_1_1MemSSAStat.html#ae57c6e5b97581150b7561c93e0887569',1,'SVF::MemSSAStat']]],
+  ['numofcshasmu_11326',['NumOfCSHasMu',['../classSVF_1_1MemSSAStat.html#af5855348e45f50d16cd41cfa9c28f67c',1,'SVF::MemSSAStat']]],
+  ['numofcsmu_11327',['NumOfCSMu',['../classSVF_1_1MemSSAStat.html#a7b07190a20361e30999cd9107749599d',1,'SVF::MemSSAStat']]],
+  ['numofedges_11328',['numOfEdges',['../classSVF_1_1ICFGStat.html#a5e9bb5ae47aacba7c625a9fa3e349e82',1,'SVF::ICFGStat']]],
+  ['numofelement_11329',['numOfElement',['../classSVF_1_1SVFArrayType.html#a5438a991fcd2a1cf1409464125d2c31b',1,'SVF::SVFArrayType']]],
+  ['numofentrychi_11330',['NumOfEntryChi',['../classSVF_1_1MemSSAStat.html#ad96437d0c28f8088c711a718d2f2730e',1,'SVF::MemSSAStat']]],
+  ['numofentrynodes_11331',['numOfEntryNodes',['../classSVF_1_1ICFGStat.html#ad37793e64fe58a8faba201c18d876685',1,'SVF::ICFGStat']]],
+  ['numofexitnodes_11332',['numOfExitNodes',['../classSVF_1_1ICFGStat.html#ad7e00680fb8ca31afbd166f9a4adc5ec',1,'SVF::ICFGStat']]],
+  ['numoffieldexpand_11333',['numOfFieldExpand',['../classSVF_1_1AndersenBase.html#a9f453ec1b4236b8194ae590981217259',1,'SVF::AndersenBase']]],
+  ['numofflattenelements_11334',['numOfFlattenElements',['../classSVF_1_1StInfo.html#a7aa5b5018b4dec4913eb6aecf25568a4',1,'SVF::StInfo']]],
+  ['numofflattenfields_11335',['numOfFlattenFields',['../classSVF_1_1StInfo.html#aa9b4e659f4a4421aadf736a3de24ca50',1,'SVF::StInfo']]],
+  ['numofformalin_11336',['numOfFormalIn',['../classSVF_1_1SVFGStat.html#abc5e079242666bb55ec7dbc7f258b3db',1,'SVF::SVFGStat']]],
+  ['numofformalout_11337',['numOfFormalOut',['../classSVF_1_1SVFGStat.html#ab20900eb0ecb0d2e1e601755848ac531',1,'SVF::SVFGStat']]],
+  ['numofformalparam_11338',['numOfFormalParam',['../classSVF_1_1SVFGStat.html#a1e9ddd5678b05e145af41a6d53f47748',1,'SVF::SVFGStat']]],
+  ['numofformalret_11339',['numOfFormalRet',['../classSVF_1_1SVFGStat.html#a29807c066e60ef3905a5e01e0b86ffd2',1,'SVF::SVFGStat']]],
+  ['numoffunhasentrychi_11340',['NumOfFunHasEntryChi',['../classSVF_1_1MemSSAStat.html#aee2e0df55c40745a9b9aac415aa7a399',1,'SVF::MemSSAStat']]],
+  ['numoffunhasretmu_11341',['NumOfFunHasRetMu',['../classSVF_1_1MemSSAStat.html#ab1cdbd2ebe54dc5bb752a89d069423b7',1,'SVF::MemSSAStat']]],
+  ['numofgep_11342',['numOfGep',['../classSVF_1_1SVFGStat.html#a862cd075a7c9d5019acfabe608ab7905',1,'SVF::SVFGStat']]],
+  ['numofintraedges_11343',['numOfIntraEdges',['../classSVF_1_1ICFGStat.html#a3ddf933064f2a7f2efbd3a1af2ae7658',1,'SVF::ICFGStat']]],
+  ['numofintranodes_11344',['numOfIntraNodes',['../classSVF_1_1ICFGStat.html#ad88dbfaabae9b36f02a6e6e815d08e3e',1,'SVF::ICFGStat']]],
+  ['numofiteration_11345',['numOfIteration',['../classSVF_1_1CFLBase.html#aa807cf1b8605a463d6d68d5096f3e0e8',1,'SVF::CFLBase::numOfIteration()'],['../classSVF_1_1WPASolver.html#ab3369caa278da03e6e6697a839985cd6',1,'SVF::WPASolver::numOfIteration()']]],
+  ['numofload_11346',['numOfLoad',['../classSVF_1_1SVFGStat.html#a7c80f2332b97a3228e2ad7621162167a',1,'SVF::SVFGStat']]],
+  ['numofloadhasmu_11347',['NumOfLoadHasMu',['../classSVF_1_1MemSSAStat.html#ad3139d2643f5e79dcd4ca9569ebbe7df',1,'SVF::MemSSAStat']]],
+  ['numofloadmu_11348',['NumOfLoadMu',['../classSVF_1_1MemSSAStat.html#a284dbb01e051945a40179b315bdb112f',1,'SVF::MemSSAStat']]],
+  ['numoflockedqueries_11349',['numOfLockedQueries',['../classSVF_1_1LockAnalysis.html#a80c56ebc6b9b594e97b56767f451ff8b',1,'SVF::LockAnalysis']]],
+  ['numofmaxregion_11350',['NumOfMaxRegion',['../classSVF_1_1MemSSAStat.html#acf3732557238de882bf7f34c49bd6cee',1,'SVF::MemSSAStat']]],
+  ['numofmemregions_11351',['NumOfMemRegions',['../classSVF_1_1MemSSAStat.html#a95695aa32886776804e192b4c4ddcc1d',1,'SVF::MemSSAStat']]],
+  ['numofmhpld_11352',['numOfMHPLd',['../classSVF_1_1MTAAnnotator.html#a29e0123620ab072fddc45331c6aa46e8',1,'SVF::MTAAnnotator']]],
+  ['numofmhpqueries_11353',['numOfMHPQueries',['../classSVF_1_1MHP.html#ab8bd382e0c70b0feb2a291ecc4043106',1,'SVF::MHP']]],
+  ['numofmhpst_11354',['numOfMHPSt',['../classSVF_1_1MTAAnnotator.html#a3a53e90b4f361d1298983bc89795b3d2',1,'SVF::MTAAnnotator']]],
+  ['numofmssaphi_11355',['numOfMSSAPhi',['../classSVF_1_1SVFGStat.html#a9fc87025af3b7e54442e78f46ebe0360',1,'SVF::SVFGStat::numOfMSSAPhi()'],['../classSVF_1_1MemSSAStat.html#a4b598cb1d06c4c0963787036862b1c3d',1,'SVF::MemSSAStat::NumOfMSSAPhi()']]],
+  ['numofnewsvfgedges_11356',['numOfNewSVFGEdges',['../classSVF_1_1MTASVFGBuilder.html#a019a4597074fdad6e51d936ed4ead0d9',1,'SVF::MTASVFGBuilder']]],
+  ['numofnodes_11357',['numOfNodes',['../classSVF_1_1ICFGStat.html#a8e71a19c266aacd7acb1fee6bb339788',1,'SVF::ICFGStat::numOfNodes()'],['../classSVF_1_1SVFGStat.html#ab499c24856a990dd4adb366107eb3302',1,'SVF::SVFGStat::numOfNodes()']]],
+  ['numofnodesinscc_11358',['numOfNodesInSCC',['../classSVF_1_1FlowSensitive.html#a9f3fe97202db8170fa9f47c5684bce75',1,'SVF::FlowSensitive']]],
+  ['numofnonlocalld_11359',['numOfNonLocalLd',['../classSVF_1_1MTAAnnotator.html#ad53ac0cec797f84d3bc14bdb6bab1ab3',1,'SVF::MTAAnnotator']]],
+  ['numofnonlocalst_11360',['numOfNonLocalSt',['../classSVF_1_1MTAAnnotator.html#a3c07f9964623b3895b1bab59a63dccfb',1,'SVF::MTAAnnotator']]],
+  ['numofnonterminaledges_11361',['numOfNonterminalEdges',['../classSVF_1_1CFLBase.html#a4c03b83cb2a3c0c166d96550d6771a1b',1,'SVF::CFLBase']]],
+  ['numofphi_11362',['numOfPhi',['../classSVF_1_1SVFGStat.html#a0e1fcb9154aad266406c4da4861ba020',1,'SVF::SVFGStat']]],
+  ['numofprocessedactualparam_11363',['numOfProcessedActualParam',['../classSVF_1_1FlowSensitive.html#abdc30e45347579986c42795a436a1251',1,'SVF::FlowSensitive']]],
+  ['numofprocessedaddr_11364',['numOfProcessedAddr',['../classSVF_1_1AndersenBase.html#a4acad18a6eb585ba9e3d2276dd591067',1,'SVF::AndersenBase::numOfProcessedAddr()'],['../classSVF_1_1FlowSensitive.html#ae4253bc632ffffe2498263c90f456ca7',1,'SVF::FlowSensitive::numOfProcessedAddr()']]],
+  ['numofprocessedcopy_11365',['numOfProcessedCopy',['../classSVF_1_1AndersenBase.html#a04acd871bd1b98cd9e83e395334ac130',1,'SVF::AndersenBase::numOfProcessedCopy()'],['../classSVF_1_1FlowSensitive.html#a19e017f3ed6429fa30687018e64dae54',1,'SVF::FlowSensitive::numOfProcessedCopy()']]],
+  ['numofprocessedformalret_11366',['numOfProcessedFormalRet',['../classSVF_1_1FlowSensitive.html#ae048cc5350cf2b075c05f5d84777a3c5',1,'SVF::FlowSensitive']]],
+  ['numofprocessedgep_11367',['numOfProcessedGep',['../classSVF_1_1AndersenBase.html#aa1246b392aeae1fd10c8a9ebedcc2dd9',1,'SVF::AndersenBase::numOfProcessedGep()'],['../classSVF_1_1FlowSensitive.html#a88a111b6bc347d6562db7af8bd8f2f0e',1,'SVF::FlowSensitive::numOfProcessedGep()']]],
+  ['numofprocessedload_11368',['numOfProcessedLoad',['../classSVF_1_1AndersenBase.html#a69aae96fc1c99bf108075e5061f50f9e',1,'SVF::AndersenBase::numOfProcessedLoad()'],['../classSVF_1_1FlowSensitive.html#a0e1a0bdbf4f81a3600ac26ac011ac268',1,'SVF::FlowSensitive::numOfProcessedLoad()']]],
+  ['numofprocessedmssanode_11369',['numOfProcessedMSSANode',['../classSVF_1_1FlowSensitive.html#af71a5ae3aef022c569e89f40515072cf',1,'SVF::FlowSensitive']]],
+  ['numofprocessedphi_11370',['numOfProcessedPhi',['../classSVF_1_1FlowSensitive.html#ac39abcb40e4b568ab59b7cf48ed10f70',1,'SVF::FlowSensitive']]],
+  ['numofprocessedstore_11371',['numOfProcessedStore',['../classSVF_1_1AndersenBase.html#a2b763519509ce21cf40893c01f8357b6',1,'SVF::AndersenBase::numOfProcessedStore()'],['../classSVF_1_1FlowSensitive.html#a669e8f1dd8572b7dcff373c9787a923d',1,'SVF::FlowSensitive::numOfProcessedStore()']]],
+  ['numofremovedpts_11372',['numOfRemovedPTS',['../classSVF_1_1MTASVFGBuilder.html#a07c3f5fa2e0092dac28521cf901a26cf',1,'SVF::MTASVFGBuilder']]],
+  ['numofremovedsvfgedges_11373',['numOfRemovedSVFGEdges',['../classSVF_1_1MTASVFGBuilder.html#a0319d1d2e78c79f9943f2e2f65da26ed',1,'SVF::MTASVFGBuilder']]],
+  ['numofresolvedindcalledge_11374',['numOfResolvedIndCallEdge',['../classSVF_1_1PTACallGraph.html#adf05313ea8bcc7973acebd3fbcd75c92',1,'SVF::PTACallGraph']]],
+  ['numofretedges_11375',['numOfRetEdges',['../classSVF_1_1ICFGStat.html#a3bd1a0b0b206baadea52bfa88e029dfa',1,'SVF::ICFGStat']]],
+  ['numofretmu_11376',['NumOfRetMu',['../classSVF_1_1MemSSAStat.html#a1459465f0a76c09b5dd7d777467ac2e4',1,'SVF::MemSSAStat']]],
+  ['numofretnodes_11377',['numOfRetNodes',['../classSVF_1_1ICFGStat.html#ac9bfce40c058ed7ab178fe1f1818e9de',1,'SVF::ICFGStat']]],
+  ['numofscc_11378',['numOfSCC',['../classSVF_1_1FlowSensitive.html#a0ac955bf06261eec1c6bb78ec99652e3',1,'SVF::FlowSensitive']]],
+  ['numofsccdetection_11379',['numOfSCCDetection',['../classSVF_1_1AndersenBase.html#a0d7298cbf83568f24fd2bd1926a32968',1,'SVF::AndersenBase']]],
+  ['numofsfrs_11380',['numOfSfrs',['../classSVF_1_1AndersenBase.html#a25b00d9ca71cbdd27530fc5d0dc84ee5',1,'SVF::AndersenBase']]],
+  ['numofstartedges_11381',['numOfStartEdges',['../classSVF_1_1CFLBase.html#a25a593cb2a855a93d3593efba382a58c',1,'SVF::CFLBase']]],
+  ['numofstore_11382',['numOfStore',['../classSVF_1_1SVFGStat.html#a4d15f2de3f226c26cb2af57176444ec9',1,'SVF::SVFGStat']]],
+  ['numofstorechi_11383',['NumOfStoreChi',['../classSVF_1_1MemSSAStat.html#a810965c025da84c58575c8066bc84056',1,'SVF::MemSSAStat']]],
+  ['numofstorehaschi_11384',['NumOfStoreHasChi',['../classSVF_1_1MemSSAStat.html#a3bc14307bd0f986cbd8ba5970f1abf0f',1,'SVF::MemSSAStat']]],
+  ['numoftemporarynonterminaledges_11385',['numOfTemporaryNonterminalEdges',['../classSVF_1_1CFLBase.html#ac3b408acb295e2c319e3542539e6df47',1,'SVF::CFLBase']]],
+  ['numofterminaledges_11386',['numOfTerminalEdges',['../classSVF_1_1CFLBase.html#abc5502f15583f0546bbc2a678d2f2ed9',1,'SVF::CFLBase']]],
+  ['numoftotalqueries_11387',['numOfTotalQueries',['../classSVF_1_1LockAnalysis.html#ad648ad9cda4070f9aec1addef0067627',1,'SVF::LockAnalysis::numOfTotalQueries()'],['../classSVF_1_1MHP.html#a26ae18993915d76b704232cded9811c2',1,'SVF::MHP::numOfTotalQueries()']]],
+  ['numperquerystatmap_11388',['NumPerQueryStatMap',['../classSVF_1_1DDAStat.html#a7dabcdacf00844415bd23ca241d885e9',1,'SVF::DDAStat']]],
+  ['numprelabelednodes_11389',['numPrelabeledNodes',['../classSVF_1_1VersionedFlowSensitive.html#aff5029fca933376be1fa374bec790da6',1,'SVF::VersionedFlowSensitive']]],
+  ['numprelabelversions_11390',['numPrelabelVersions',['../classSVF_1_1VersionedFlowSensitive.html#a207ae4d1f2e0ccab8e36add0a45578af',1,'SVF::VersionedFlowSensitive']]],
+  ['numregions_11391',['NumRegions',['../classSVF_1_1NodeIDAllocator_1_1Clusterer.html#ac5fe44f10cdbca9754444943a0f5c3c1',1,'SVF::NodeIDAllocator::Clusterer']]],
+  ['numsymbols_11392',['numSymbols',['../classSVF_1_1NodeIDAllocator.html#a3a160f4c6e761a130b863a3df0af7f96',1,'SVF::NodeIDAllocator']]],
+  ['numtostrmap_11393',['numToStrMap',['../classSVF_1_1SVFIRWriter.html#a7f9d7bb88e4f98f71f542d01107878e4',1,'SVF::SVFIRWriter']]],
+  ['numtypes_11394',['numTypes',['../classSVF_1_1DCHGraph.html#a76fd3154a31584bb64683f2d762cc56c',1,'SVF::DCHGraph']]],
+  ['numvalues_11395',['numValues',['../classSVF_1_1NodeIDAllocator.html#a001c25f6998b8b0a9a7e5e00810e155f',1,'SVF::NodeIDAllocator']]],
+  ['nvthunkfunlabel_11396',['NVThunkFunLabel',['../CppUtil_8cpp.html#a86fe6d521904f944bcf1b3164cfb5d4b',1,'CppUtil.cpp']]]
 ];

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

@@ -1,33 +1,33 @@
 var searchData=
 [
-  ['o_11390',['O',['../classSVF_1_1GraphWriter.html#a2e882c9af39ffd3c4a4bac9212e0e82d',1,'SVF::GraphWriter']]],
-  ['object_11391',['object',['../classSVF_1_1DummyVersionPropSVFGNode.html#ad9a6fd01bf1a101da68eaacc61f420ee',1,'SVF::DummyVersionPropSVFGNode']]],
-  ['objmap_11392',['objMap',['../classSVF_1_1SymbolTableInfo.html#aeab14702eabde827923a692cba8f7f8a',1,'SVF::SymbolTableInfo']]],
-  ['objsymmap_11393',['objSymMap',['../classSVF_1_1SymbolTableInfo.html#a5840b742ed8c73ece548b9b4aede07ec',1,'SVF::SymbolTableInfo']]],
-  ['objtonsrevptsmap_11394',['objToNSRevPtsMap',['../classSVF_1_1CondPTAImpl.html#a22c23f3ba1ee7e0aaccf0b8a1b58e33e',1,'SVF::CondPTAImpl']]],
-  ['ocgdotgraph_11395',['OCGDotGraph',['../classSVF_1_1Options.html#ad6c9b07d4dc8af20fbe2b93711cc2101',1,'SVF::Options']]],
-  ['offset_11396',['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']]],
-  ['offsetvarandgeptypepairs_11397',['offsetVarAndGepTypePairs',['../classSVF_1_1AccessPath.html#aa9f0a1290083a9b077c6065cad054163',1,'SVF::AccessPath']]],
-  ['onstack_11398',['onStack',['../structSVF_1_1VersionedFlowSensitive_1_1SCC_1_1NodeData.html#a0eb5f6b9985b9b512a76537d55b092b5',1,'SVF::VersionedFlowSensitive::SCC::NodeData']]],
-  ['ontheflyiterbudgetforstat_11399',['OnTheFlyIterBudgetForStat',['../classSVF_1_1PointerAnalysis.html#afc320fbf269404fe128e69c98e6f9cac',1,'SVF::PointerAnalysis']]],
-  ['opcode_11400',['opcode',['../classSVF_1_1BinaryOPStmt.html#a0c4f900cf7321e8385b4f45e5cba3d1a',1,'SVF::BinaryOPStmt::opcode()'],['../classSVF_1_1UnaryOPStmt.html#a099df135a83d28a2e6f344e008fe1cc6',1,'SVF::UnaryOPStmt::opcode()']]],
-  ['opicfgnodes_11401',['opICFGNodes',['../classSVF_1_1PhiStmt.html#a4c75a8f8430621aaec62a5189db136b5',1,'SVF::PhiStmt']]],
-  ['opincomingbbs_11402',['opIncomingBBs',['../classSVF_1_1IntraPHIVFGNode.html#a73f39a488ad82300010abd18afe247a4',1,'SVF::IntraPHIVFGNode']]],
-  ['opit_11403',['OpIt',['../classllvm_1_1generic__bridge__gep__type__iterator.html#aa3fd4dca27e09df9ee726879624ae47e',1,'llvm::generic_bridge_gep_type_iterator']]],
-  ['optionvalues_11404',['optionValues',['../classOptionMultiple.html#a037e34107c423615f1ba0c3fdab04b1f',1,'OptionMultiple']]],
-  ['optsvfg_11405',['OPTSVFG',['../classSVF_1_1Options.html#ab7741246d969021c9afc448b084699af',1,'SVF::Options']]],
-  ['opvars_11406',['opVars',['../classSVF_1_1MultiOpndStmt.html#a172025849492f4de8f87564ef08f5880',1,'SVF::MultiOpndStmt']]],
-  ['opver_11407',['opVer',['../classSVF_1_1MSSACHI.html#a86f2f3f6e2215cdbe31caee048510757',1,'SVF::MSSACHI']]],
-  ['opvers_11408',['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_11409',['OriginalBvNumWords',['../classSVF_1_1NodeIDAllocator_1_1Clusterer.html#af2786eae11ee13845da336ad23bc97e9',1,'SVF::NodeIDAllocator::Clusterer']]],
-  ['originalsbvnumwords_11410',['OriginalSbvNumWords',['../classSVF_1_1NodeIDAllocator_1_1Clusterer.html#a639b887e30115c2a6cd108c65f18fcc1',1,'SVF::NodeIDAllocator::Clusterer']]],
-  ['othervalueset_11411',['OtherValueSet',['../classSVF_1_1SVFModule.html#a99da46c17993e1faef5d3737bcca8d64',1,'SVF::SVFModule']]],
-  ['outcfledges_11412',['outCFLEdges',['../classSVF_1_1CFLNode.html#a47eba9df9dc664e56631ecc9b6146b33',1,'SVF::CFLNode']]],
-  ['outedgekindtosetmap_11413',['OutEdgeKindToSetMap',['../classSVF_1_1SVFVar.html#a3775dd07e89ea6b25950a8b900a4ceab',1,'SVF::SVFVar']]],
-  ['outedges_11414',['OutEdges',['../classSVF_1_1GenericNode.html#a04aa14df71ffa60a54c870842c552889',1,'SVF::GenericNode']]],
-  ['outicfgedges_11415',['outICFGEdges',['../classSVF_1_1SVFLoop.html#ad17edf0d1dcca5eebc9789a5015c769d',1,'SVF::SVFLoop']]],
-  ['outofbudgetdpms_11416',['outOfBudgetDpms',['../classSVF_1_1DDAVFSolver.html#aad57a954473f3099188cf8c8fba87880',1,'SVF::DDAVFSolver']]],
-  ['outofbudgetquery_11417',['outOfBudgetQuery',['../classSVF_1_1DDAVFSolver.html#afdecfbacc64cb8d694268aa73ec8a7b6',1,'SVF::DDAVFSolver']]],
-  ['outupdatedvarmap_11418',['outUpdatedVarMap',['../classSVF_1_1MutableIncDFPTData.html#af5f7db6c55037a0e117a36982736039e',1,'SVF::MutableIncDFPTData::outUpdatedVarMap()'],['../classSVF_1_1PersistentIncDFPTData.html#a054f8e2a0668387c092b2802e64a4df0',1,'SVF::PersistentIncDFPTData::outUpdatedVarMap()']]],
-  ['owned_5fmodules_11419',['owned_modules',['../classSVF_1_1LLVMModuleSet.html#ae365189769640adb919a23c36978e5e2',1,'SVF::LLVMModuleSet']]]
+  ['o_11397',['O',['../classSVF_1_1GraphWriter.html#a2e882c9af39ffd3c4a4bac9212e0e82d',1,'SVF::GraphWriter']]],
+  ['object_11398',['object',['../classSVF_1_1DummyVersionPropSVFGNode.html#ad9a6fd01bf1a101da68eaacc61f420ee',1,'SVF::DummyVersionPropSVFGNode']]],
+  ['objmap_11399',['objMap',['../classSVF_1_1SymbolTableInfo.html#aeab14702eabde827923a692cba8f7f8a',1,'SVF::SymbolTableInfo']]],
+  ['objsymmap_11400',['objSymMap',['../classSVF_1_1SymbolTableInfo.html#a5840b742ed8c73ece548b9b4aede07ec',1,'SVF::SymbolTableInfo']]],
+  ['objtonsrevptsmap_11401',['objToNSRevPtsMap',['../classSVF_1_1CondPTAImpl.html#a22c23f3ba1ee7e0aaccf0b8a1b58e33e',1,'SVF::CondPTAImpl']]],
+  ['ocgdotgraph_11402',['OCGDotGraph',['../classSVF_1_1Options.html#ad6c9b07d4dc8af20fbe2b93711cc2101',1,'SVF::Options']]],
+  ['offset_11403',['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']]],
+  ['offsetvarandgeptypepairs_11404',['offsetVarAndGepTypePairs',['../classSVF_1_1AccessPath.html#aa9f0a1290083a9b077c6065cad054163',1,'SVF::AccessPath']]],
+  ['onstack_11405',['onStack',['../structSVF_1_1VersionedFlowSensitive_1_1SCC_1_1NodeData.html#a0eb5f6b9985b9b512a76537d55b092b5',1,'SVF::VersionedFlowSensitive::SCC::NodeData']]],
+  ['ontheflyiterbudgetforstat_11406',['OnTheFlyIterBudgetForStat',['../classSVF_1_1PointerAnalysis.html#afc320fbf269404fe128e69c98e6f9cac',1,'SVF::PointerAnalysis']]],
+  ['opcode_11407',['opcode',['../classSVF_1_1BinaryOPStmt.html#a0c4f900cf7321e8385b4f45e5cba3d1a',1,'SVF::BinaryOPStmt::opcode()'],['../classSVF_1_1UnaryOPStmt.html#a099df135a83d28a2e6f344e008fe1cc6',1,'SVF::UnaryOPStmt::opcode()']]],
+  ['opicfgnodes_11408',['opICFGNodes',['../classSVF_1_1PhiStmt.html#a4c75a8f8430621aaec62a5189db136b5',1,'SVF::PhiStmt']]],
+  ['opincomingbbs_11409',['opIncomingBBs',['../classSVF_1_1IntraPHIVFGNode.html#a73f39a488ad82300010abd18afe247a4',1,'SVF::IntraPHIVFGNode']]],
+  ['opit_11410',['OpIt',['../classllvm_1_1generic__bridge__gep__type__iterator.html#aa3fd4dca27e09df9ee726879624ae47e',1,'llvm::generic_bridge_gep_type_iterator']]],
+  ['optionvalues_11411',['optionValues',['../classOptionMultiple.html#a037e34107c423615f1ba0c3fdab04b1f',1,'OptionMultiple']]],
+  ['optsvfg_11412',['OPTSVFG',['../classSVF_1_1Options.html#ab7741246d969021c9afc448b084699af',1,'SVF::Options']]],
+  ['opvars_11413',['opVars',['../classSVF_1_1MultiOpndStmt.html#a172025849492f4de8f87564ef08f5880',1,'SVF::MultiOpndStmt']]],
+  ['opver_11414',['opVer',['../classSVF_1_1MSSACHI.html#a86f2f3f6e2215cdbe31caee048510757',1,'SVF::MSSACHI']]],
+  ['opvers_11415',['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_11416',['OriginalBvNumWords',['../classSVF_1_1NodeIDAllocator_1_1Clusterer.html#af2786eae11ee13845da336ad23bc97e9',1,'SVF::NodeIDAllocator::Clusterer']]],
+  ['originalsbvnumwords_11417',['OriginalSbvNumWords',['../classSVF_1_1NodeIDAllocator_1_1Clusterer.html#a639b887e30115c2a6cd108c65f18fcc1',1,'SVF::NodeIDAllocator::Clusterer']]],
+  ['othervalueset_11418',['OtherValueSet',['../classSVF_1_1SVFModule.html#a99da46c17993e1faef5d3737bcca8d64',1,'SVF::SVFModule']]],
+  ['outcfledges_11419',['outCFLEdges',['../classSVF_1_1CFLNode.html#a47eba9df9dc664e56631ecc9b6146b33',1,'SVF::CFLNode']]],
+  ['outedgekindtosetmap_11420',['OutEdgeKindToSetMap',['../classSVF_1_1SVFVar.html#a3775dd07e89ea6b25950a8b900a4ceab',1,'SVF::SVFVar']]],
+  ['outedges_11421',['OutEdges',['../classSVF_1_1GenericNode.html#a04aa14df71ffa60a54c870842c552889',1,'SVF::GenericNode']]],
+  ['outicfgedges_11422',['outICFGEdges',['../classSVF_1_1SVFLoop.html#ad17edf0d1dcca5eebc9789a5015c769d',1,'SVF::SVFLoop']]],
+  ['outofbudgetdpms_11423',['outOfBudgetDpms',['../classSVF_1_1DDAVFSolver.html#aad57a954473f3099188cf8c8fba87880',1,'SVF::DDAVFSolver']]],
+  ['outofbudgetquery_11424',['outOfBudgetQuery',['../classSVF_1_1DDAVFSolver.html#afdecfbacc64cb8d694268aa73ec8a7b6',1,'SVF::DDAVFSolver']]],
+  ['outupdatedvarmap_11425',['outUpdatedVarMap',['../classSVF_1_1MutableIncDFPTData.html#af5f7db6c55037a0e117a36982736039e',1,'SVF::MutableIncDFPTData::outUpdatedVarMap()'],['../classSVF_1_1PersistentIncDFPTData.html#a054f8e2a0668387c092b2802e64a4df0',1,'SVF::PersistentIncDFPTData::outUpdatedVarMap()']]],
+  ['owned_5fmodules_11426',['owned_modules',['../classSVF_1_1LLVMModuleSet.html#ae365189769640adb919a23c36978e5e2',1,'SVF::LLVMModuleSet']]]
 ];

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "svf-tools",
-  "version": "1.0.765",
+  "version": "1.0.767",
   "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": {

package/svf/include/Util/ExtAPI.h

@@ -38,6 +38,8 @@
 
 /// For a more detailed explanation of how External APIs are handled in SVF, please refer to the SVF Wiki: https://github.com/SVF-tools/SVF/wiki/Handling-External-APIs-with-extapi.c
 
+#define EXTAPI_BC_PATH "Release-build/svf-llvm/extapi.bc"
+
 namespace SVF
 {
 
@@ -55,6 +57,9 @@ public:
 
     static void destory();
 
+    // Get extapi.bc file path
+    std::string getExtBcPath();
+
     // Get the annotation of (F)
     std::string getExtFuncAnnotation(const SVFFunction* fun, const std::string& funcAnnotation);
 

package/svf/include/WPA/AndersenPWC.h

@@ -62,7 +62,7 @@ public:
     {
         if (scdAndersen == nullptr)
         {
-            new AndersenSCD(_pag);
+            scdAndersen = new AndersenSCD(_pag);
             scdAndersen->analyze();
             return scdAndersen;
         }

package/svf/lib/Util/ExtAPI.cpp

@@ -28,6 +28,8 @@
  */
 
 #include "Util/ExtAPI.h"
+#include "Util/SVFUtil.h"
+#include <sys/stat.h>
 
 using namespace SVF;
 
@@ -51,6 +53,77 @@ void ExtAPI::destory()
     }
 }
 
+// Get environment variables $SVF_DIR and "npm root" through popen() method
+static std::string GetStdoutFromCommand(const std::string& command)
+{
+    char buffer[128];
+    std::string result = "";
+    // Open pipe to file
+    FILE* pipe = popen(command.c_str(), "r");
+    if (!pipe)
+    {
+        return "popen failed!";
+    }
+    // read till end of process:
+    while (!feof(pipe))
+    {
+        // use buffer to read and add to result
+        if (fgets(buffer, 128, pipe) != NULL)
+            result += buffer;
+    }
+    pclose(pipe);
+    // remove "\n"
+    result.erase(remove(result.begin(), result.end(), '\n'), result.end());
+    return result;
+}
+
+// Get extapi.bc file path in npm
+static std::string getFilePath(const std::string& path)
+{
+    std::string bcFilePath = GetStdoutFromCommand(path);
+    if (path.compare("npm root") == 0)
+    {
+        int os_flag = 1;
+        // SVF installed via npm needs to determine the type of operating
+        // system, otherwise the extapi.bc path may not be found.
+#ifdef linux
+        // Linux os
+        os_flag = 0;
+        bcFilePath.append("/svf-lib/SVF-linux");
+#endif
+        // Mac os
+        if (os_flag == 1)
+        {
+            bcFilePath.append("/svf-lib/SVF-osx");
+        }
+    }
+
+    if (bcFilePath.back() != '/')
+        bcFilePath.push_back('/');
+    bcFilePath.append(EXTAPI_BC_PATH);
+    return bcFilePath;
+}
+
+// Get extapi.bc path
+std::string ExtAPI::getExtBcPath()
+{
+    struct stat statbuf;
+    std::string bcFilePath = std::string(EXTAPI_PATH) + "/extapi.bc";
+    if (!stat(bcFilePath.c_str(), &statbuf))
+        return bcFilePath;
+
+    bcFilePath = getFilePath("echo $SVF_DIR");
+    if (!stat(bcFilePath.c_str(), &statbuf))
+        return bcFilePath;
+
+    bcFilePath = getFilePath("npm root");
+    if (!stat(bcFilePath.c_str(), &statbuf))
+        return bcFilePath;
+
+    SVFUtil::errs() << "No extpai.bc found at " << bcFilePath << " for getExtAPI(); set $SVF_DIR first!\n";
+    abort();
+}
+
 std::string ExtAPI::getExtFuncAnnotation(const SVFFunction* fun, const std::string& funcAnnotation)
 {
     assert(fun && "Null SVFFunction* pointer");

package/svf/lib/Util/Options.cpp

@@ -2,6 +2,7 @@
 
 #include "Util/Options.h"
 #include "Util/CommandLine.h"
+#include "Util/ExtAPI.h"
 
 namespace SVF
 {
@@ -772,7 +773,7 @@ const Option<bool> Options::VtableInSVFIR(
 
 //WPAPass.cpp
 const Option<std::string> Options::ExtAPIInput(
-    "extapi", "External API extapi.bc", std::string(EXTAPI_PATH) + "/extapi.bc"
+    "extapi", "External API extapi.bc", ExtAPI::getExtAPI()->getExtBcPath()
 );
 
 const Option<bool> Options::AnderSVFG(