svf-tools 1.0.477 → 1.0.480

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

@@ -5,16 +5,16 @@ var searchData=
   ['dacb',['DACB',['../cuddInt_8c.html#acca95c760385fac12fdda96e88ddf2bc',1,'cuddInt.c']]],
   ['dandersen',['DAndersen',['../SVFBasicTypes_8h.html#adbfc4364261f019dc6cf33234a5177d2',1,'SVFBasicTypes.h']]],
   ['data',['data',['../structDdCache.html#a9905702dc8e111587a301164f51fd0f0',1,'DdCache::data()'],['../classSVF_1_1List_1_1ListNode.html#a4a9cb4ae17156d6d80d2357e06231e12',1,'SVF::List::ListNode::data()']]],
-  ['data_5flist',['data_list',['../classSVF_1_1FIFOWorkList.html#a270dad3fd1d95418e4af102b64fcc883',1,'SVF::FIFOWorkList::data_list()'],['../classSVF_1_1FILOWorkList.html#aeda28a2200d763279027642c8cf6a4bf',1,'SVF::FILOWorkList::data_list()']]],
-  ['data_5fset',['data_set',['../classSVF_1_1FIFOWorkList.html#a5e9648954a2f6902dc4106cc17a7d1e6',1,'SVF::FIFOWorkList::data_set()'],['../classSVF_1_1FILOWorkList.html#a46092b75425becfe97fdf047206c736b',1,'SVF::FILOWorkList::data_set()']]],
-  ['datadeque',['DataDeque',['../classSVF_1_1FIFOWorkList.html#a2907cd4515b2072aae0a88e972e93fc4',1,'SVF::FIFOWorkList']]],
+  ['data_5flist',['data_list',['../classSVF_1_1CFLFIFOWorkList.html#a5a5caa556bf8023b4b0b525179efd1b0',1,'SVF::CFLFIFOWorkList::data_list()'],['../classSVF_1_1FIFOWorkList.html#a270dad3fd1d95418e4af102b64fcc883',1,'SVF::FIFOWorkList::data_list()'],['../classSVF_1_1FILOWorkList.html#aeda28a2200d763279027642c8cf6a4bf',1,'SVF::FILOWorkList::data_list()']]],
+  ['data_5fset',['data_set',['../classSVF_1_1CFLFIFOWorkList.html#a62ef55a46552652e20f8e3bfc2b72bd0',1,'SVF::CFLFIFOWorkList::data_set()'],['../classSVF_1_1FIFOWorkList.html#a5e9648954a2f6902dc4106cc17a7d1e6',1,'SVF::FIFOWorkList::data_set()'],['../classSVF_1_1FILOWorkList.html#a46092b75425becfe97fdf047206c736b',1,'SVF::FILOWorkList::data_set()']]],
+  ['datadeque',['DataDeque',['../classSVF_1_1CFLFIFOWorkList.html#aa2ac3edad97017817899d081dc6f1df7',1,'SVF::CFLFIFOWorkList::DataDeque()'],['../classSVF_1_1FIFOWorkList.html#a2907cd4515b2072aae0a88e972e93fc4',1,'SVF::FIFOWorkList::DataDeque()']]],
   ['dataflow',['DataFlow',['../classSVF_1_1PTData.html#a74ce29609c51f2be34a0b5b7650a9848acb817cbf655c365c02af3675588f06cc',1,'SVF::PTData']]],
   ['dataflowutil_2ecpp',['DataFlowUtil.cpp',['../DataFlowUtil_8cpp.html',1,'']]],
   ['dataflowutil_2eh',['DataFlowUtil.h',['../DataFlowUtil_8h.html',1,'']]],
   ['dataiter',['DataIter',['../classSVF_1_1MutableIncDFPTData.html#a1fc4dff28f9044234fdfeede6f4b1cb0',1,'SVF::MutableIncDFPTData']]],
   ['datalayout',['DataLayout',['../SVF-FE_2BasicTypes_8h.html#aa81a27b9c6b2a354437417162220fb14',1,'BasicTypes.h']]],
   ['dataop',['DataOp',['../classSVF_1_1PersistentPointsToCache.html#a5a0f1b93f29ce62ad13042ab8435c62c',1,'SVF::PersistentPointsToCache']]],
-  ['dataset',['DataSet',['../classSVF_1_1List.html#a8f8a9dff1d1213a747f0d7ce8b1802e9',1,'SVF::List::DataSet()'],['../classSVF_1_1FIFOWorkList.html#a4803dc3b7f3ab57261261acb20551579',1,'SVF::FIFOWorkList::DataSet()'],['../classSVF_1_1FILOWorkList.html#abe04c596453280fe15cadde868ded798',1,'SVF::FILOWorkList::DataSet()']]],
+  ['dataset',['DataSet',['../classSVF_1_1CFLFIFOWorkList.html#a0db15ca0ec5a14aee493ccfe54d34d85',1,'SVF::CFLFIFOWorkList::DataSet()'],['../classSVF_1_1List.html#a8f8a9dff1d1213a747f0d7ce8b1802e9',1,'SVF::List::DataSet()'],['../classSVF_1_1FIFOWorkList.html#a4803dc3b7f3ab57261261acb20551579',1,'SVF::FIFOWorkList::DataSet()'],['../classSVF_1_1FILOWorkList.html#abe04c596453280fe15cadde868ded798',1,'SVF::FILOWorkList::DataSet()']]],
   ['datavector',['DataVector',['../classSVF_1_1FILOWorkList.html#a41d3d71633adc6a1282922b4e4929a7f',1,'SVF::FILOWorkList']]],
   ['dbac',['DBAC',['../cuddInt_8c.html#a280cf976dc7bfb9aff356f694c1fa750',1,'cuddInt.c']]],
   ['dbca',['DBCA',['../cuddInt_8c.html#a52d1b1a19c9424a47b3f1a8a0fb388dc',1,'cuddInt.c']]],
@@ -381,7 +381,7 @@ var searchData=
   ['dummyvalvar',['DummyValVar',['../classSVF_1_1DummyValVar.html',1,'SVF::DummyValVar'],['../classSVF_1_1DummyValVar.html#a39fb5acde002694e91599a67ff3ae99a',1,'SVF::DummyValVar::DummyValVar()']]],
   ['dummyversionpropsvfgnode',['DummyVersionPropSVFGNode',['../classSVF_1_1DummyVersionPropSVFGNode.html',1,'SVF::DummyVersionPropSVFGNode'],['../classSVF_1_1DummyVersionPropSVFGNode.html#a8661f8c8e31101b5afc37ebe3bac5fe2',1,'SVF::DummyVersionPropSVFGNode::DummyVersionPropSVFGNode()']]],
   ['dummyvprop',['DummyVProp',['../classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75a6b262331878a44019af8a8539a5ddad2',1,'SVF::VFGNode']]],
-  ['dump',['dump',['../classSVF_1_1CFLGrammar.html#aa663563ea03e11371d67ff4673e98a54',1,'SVF::CFLGrammar::dump()'],['../classSVF_1_1CFLGraph.html#ab32869931e46babcfaa6791efe2ba91e',1,'SVF::CFLGraph::dump()'],['../classSVF_1_1CHGraph.html#a29351163649618332394fc72cc35212f',1,'SVF::CHGraph::dump()'],['../classSVF_1_1ConstraintGraph.html#af9fc8308845628fe8900528573e30462',1,'SVF::ConstraintGraph::dump()'],['../classSVF_1_1ICFG.html#a999956500bbd605326531480546db9ba',1,'SVF::ICFG::dump()'],['../classSVF_1_1ICFGNode.html#a3c193da05d6dee7313a141ae3ab43e97',1,'SVF::ICFGNode::dump()'],['../classSVF_1_1IRGraph.html#a1cb32461439c4dc8d044c2bfadb11307',1,'SVF::IRGraph::dump()'],['../classSVF_1_1OfflineConsG.html#a727c635892986998167f30ff23a75f4c',1,'SVF::OfflineConsG::dump()'],['../classSVF_1_1PTACallGraph.html#a841be22581a7896d8924564e7199f62b',1,'SVF::PTACallGraph::dump()'],['../classSVF_1_1SVFG.html#a5fdaddc52e7342b834d76d64c1a1e498',1,'SVF::SVFG::dump()'],['../classSVF_1_1VFG.html#aee3d0c4ed32bde425f33281f248b7dd2',1,'SVF::VFG::dump()'],['../classSVF_1_1CondPointsToSet.html#a52392deae4011c4353a259c873efc0d6',1,'SVF::CondPointsToSet::dump()'],['../classSVF_1_1LocationSet.html#a53f1b2e417682a56d45dfb1f7d5ccd1c',1,'SVF::LocationSet::dump()'],['../classSVF_1_1SVFVar.html#aa34b2230655db9c4195e44e1c437bbc6',1,'SVF::SVFVar::dump()'],['../classSVF_1_1SymbolTableInfo.html#a9f4cf6914b400b9f69c7852f13c496a9',1,'SVF::SymbolTableInfo::dump()'],['../classSVF_1_1MSSAMU.html#a489e8c27e40b709d94a462653fb760f5',1,'SVF::MSSAMU::dump()'],['../classSVF_1_1LoadMU.html#aaaa51723d657719b82a2ce85c1628329',1,'SVF::LoadMU::dump()'],['../classSVF_1_1CallMU.html#af08ecc9c2b75737e88690fb2319fcf57',1,'SVF::CallMU::dump()'],['../classSVF_1_1RetMU.html#ae452b798bf9c6a9d913e63a75c4cd3c0',1,'SVF::RetMU::dump()'],['../classSVF_1_1MSSADEF.html#aa7e06959d5b3197d930aa44b09694b52',1,'SVF::MSSADEF::dump()'],['../classSVF_1_1MSSACHI.html#a63355fc98b9c1cc3db5e664e387693ca',1,'SVF::MSSACHI::dump()'],['../classSVF_1_1StoreCHI.html#af889bd9b729182e20ca7598ad4167bb8',1,'SVF::StoreCHI::dump()'],['../classSVF_1_1CallCHI.html#ac6a1f2f1c897c647d9b070cb56c61a41',1,'SVF::CallCHI::dump()'],['../classSVF_1_1EntryCHI.html#a819f66c0471fe06c739acf18c4a4161d',1,'SVF::EntryCHI::dump()'],['../classSVF_1_1MSSAPHI.html#a15c687ef4286532a5856270bf6f9e11a',1,'SVF::MSSAPHI::dump()'],['../classSVF_1_1MTA.html#a2ced024c7e0785d3d78d19c3c52d0f75',1,'SVF::MTA::dump()'],['../classSVF_1_1TCTNode.html#a47964661d78a61eb1389acc48701abf8',1,'SVF::TCTNode::dump()'],['../classSVF_1_1TCT.html#a716c97a80c483c571ca7a03b9acce3e8',1,'SVF::TCT::dump()'],['../classSVF_1_1DCHGraph.html#a587baf86ecc2fdbecfcf85310673e9f4',1,'SVF::DCHGraph::dump()'],['../classSVF_1_1BDDExprManager.html#ae9a81416569c44bb384b61e47ade8bde',1,'SVF::BDDExprManager::dump()'],['../classSVF_1_1CxtStmt.html#a56e2767c327a383db09dca96edb19614',1,'SVF::CxtStmt::dump()'],['../classSVF_1_1CxtThreadStmt.html#a735d71af28b26d9576f679e53141e303',1,'SVF::CxtThreadStmt::dump()'],['../classSVF_1_1CxtThread.html#a66709acfa2f5762d86574c9cf7f38a64',1,'SVF::CxtThread::dump()'],['../classSVF_1_1CxtProc.html#a254c612f06a3f82b57b1c5a0e52c012f',1,'SVF::CxtProc::dump()'],['../classSVF_1_1CxtThreadProc.html#aed801cfecdbfcd690db2d78de5f8e0b5',1,'SVF::CxtThreadProc::dump()'],['../classSVF_1_1DPItem.html#a6048fa772b5023710c34687c4f047d44',1,'SVF::DPItem::dump()'],['../classSVF_1_1StmtDPItem.html#a6cc1361dd5777cb4b93fb93c3899cfc7',1,'SVF::StmtDPItem::dump()'],['../classSVF_1_1CxtStmtDPItem.html#abc67c264dd262d25899e04f8d68e8a31',1,'SVF::CxtStmtDPItem::dump()']]],
+  ['dump',['dump',['../classSVF_1_1CFLGrammar.html#aa663563ea03e11371d67ff4673e98a54',1,'SVF::CFLGrammar::dump() const'],['../classSVF_1_1CFLGrammar.html#aa5b093d8363a473a79fd7f071a70bc81',1,'SVF::CFLGrammar::dump(std::string fileName) const'],['../classSVF_1_1CFLGraph.html#ab32869931e46babcfaa6791efe2ba91e',1,'SVF::CFLGraph::dump()'],['../classSVF_1_1CHGraph.html#a29351163649618332394fc72cc35212f',1,'SVF::CHGraph::dump()'],['../classSVF_1_1ConstraintGraph.html#af9fc8308845628fe8900528573e30462',1,'SVF::ConstraintGraph::dump()'],['../classSVF_1_1ICFG.html#a999956500bbd605326531480546db9ba',1,'SVF::ICFG::dump()'],['../classSVF_1_1ICFGNode.html#a3c193da05d6dee7313a141ae3ab43e97',1,'SVF::ICFGNode::dump()'],['../classSVF_1_1IRGraph.html#a1cb32461439c4dc8d044c2bfadb11307',1,'SVF::IRGraph::dump()'],['../classSVF_1_1OfflineConsG.html#a727c635892986998167f30ff23a75f4c',1,'SVF::OfflineConsG::dump()'],['../classSVF_1_1PTACallGraph.html#a841be22581a7896d8924564e7199f62b',1,'SVF::PTACallGraph::dump()'],['../classSVF_1_1SVFG.html#a5fdaddc52e7342b834d76d64c1a1e498',1,'SVF::SVFG::dump()'],['../classSVF_1_1VFG.html#aee3d0c4ed32bde425f33281f248b7dd2',1,'SVF::VFG::dump()'],['../classSVF_1_1CondPointsToSet.html#a52392deae4011c4353a259c873efc0d6',1,'SVF::CondPointsToSet::dump()'],['../classSVF_1_1LocationSet.html#a53f1b2e417682a56d45dfb1f7d5ccd1c',1,'SVF::LocationSet::dump()'],['../classSVF_1_1SVFVar.html#aa34b2230655db9c4195e44e1c437bbc6',1,'SVF::SVFVar::dump()'],['../classSVF_1_1SymbolTableInfo.html#a9f4cf6914b400b9f69c7852f13c496a9',1,'SVF::SymbolTableInfo::dump()'],['../classSVF_1_1MSSAMU.html#a489e8c27e40b709d94a462653fb760f5',1,'SVF::MSSAMU::dump()'],['../classSVF_1_1LoadMU.html#aaaa51723d657719b82a2ce85c1628329',1,'SVF::LoadMU::dump()'],['../classSVF_1_1CallMU.html#af08ecc9c2b75737e88690fb2319fcf57',1,'SVF::CallMU::dump()'],['../classSVF_1_1RetMU.html#ae452b798bf9c6a9d913e63a75c4cd3c0',1,'SVF::RetMU::dump()'],['../classSVF_1_1MSSADEF.html#aa7e06959d5b3197d930aa44b09694b52',1,'SVF::MSSADEF::dump()'],['../classSVF_1_1MSSACHI.html#a63355fc98b9c1cc3db5e664e387693ca',1,'SVF::MSSACHI::dump()'],['../classSVF_1_1StoreCHI.html#af889bd9b729182e20ca7598ad4167bb8',1,'SVF::StoreCHI::dump()'],['../classSVF_1_1CallCHI.html#ac6a1f2f1c897c647d9b070cb56c61a41',1,'SVF::CallCHI::dump()'],['../classSVF_1_1EntryCHI.html#a819f66c0471fe06c739acf18c4a4161d',1,'SVF::EntryCHI::dump()'],['../classSVF_1_1MSSAPHI.html#a15c687ef4286532a5856270bf6f9e11a',1,'SVF::MSSAPHI::dump()'],['../classSVF_1_1MTA.html#a2ced024c7e0785d3d78d19c3c52d0f75',1,'SVF::MTA::dump()'],['../classSVF_1_1TCTNode.html#a47964661d78a61eb1389acc48701abf8',1,'SVF::TCTNode::dump()'],['../classSVF_1_1TCT.html#a716c97a80c483c571ca7a03b9acce3e8',1,'SVF::TCT::dump()'],['../classSVF_1_1DCHGraph.html#a587baf86ecc2fdbecfcf85310673e9f4',1,'SVF::DCHGraph::dump()'],['../classSVF_1_1BDDExprManager.html#ae9a81416569c44bb384b61e47ade8bde',1,'SVF::BDDExprManager::dump()'],['../classSVF_1_1CxtStmt.html#a56e2767c327a383db09dca96edb19614',1,'SVF::CxtStmt::dump()'],['../classSVF_1_1CxtThreadStmt.html#a735d71af28b26d9576f679e53141e303',1,'SVF::CxtThreadStmt::dump()'],['../classSVF_1_1CxtThread.html#a66709acfa2f5762d86574c9cf7f38a64',1,'SVF::CxtThread::dump()'],['../classSVF_1_1CxtProc.html#a254c612f06a3f82b57b1c5a0e52c012f',1,'SVF::CxtProc::dump()'],['../classSVF_1_1CxtThreadProc.html#aed801cfecdbfcd690db2d78de5f8e0b5',1,'SVF::CxtThreadProc::dump()'],['../classSVF_1_1DPItem.html#a6048fa772b5023710c34687c4f047d44',1,'SVF::DPItem::dump()'],['../classSVF_1_1StmtDPItem.html#a6cc1361dd5777cb4b93fb93c3899cfc7',1,'SVF::StmtDPItem::dump()'],['../classSVF_1_1CxtStmtDPItem.html#abc67c264dd262d25899e04f8d68e8a31',1,'SVF::CxtStmtDPItem::dump()']]],
   ['dumpaliasset',['dumpAliasSet',['../namespaceSVF_1_1SVFUtil.html#a4a15cc5570eed12dd6ee766213e11d61',1,'SVF::SVFUtil']]],
   ['dumpallpts',['dumpAllPts',['../classSVF_1_1PointerAnalysis.html#a861554c2fdeaa406131c2c920b4c7908',1,'SVF::PointerAnalysis::dumpAllPts()'],['../classSVF_1_1BVDataPTAImpl.html#a97705b60d294b87ee075a69f04a35d22',1,'SVF::BVDataPTAImpl::dumpAllPts()']]],
   ['dumpalltypes',['dumpAllTypes',['../classSVF_1_1PointerAnalysis.html#a08399de593c073b6dd848a8d849dad27',1,'SVF::PointerAnalysis']]],

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

@@ -2,8 +2,8 @@ var searchData=
 [
   ['e',['E',['../structDdChildren.html#aedecad6f1bca3d6b46c71b0a011e51c5',1,'DdChildren::E()'],['../classSVF_1_1Z3Expr.html#ae14d9fa0613b196420b90d20cc8df041',1,'SVF::Z3Expr::e()']]],
   ['ebnf_5fbin',['ebnf_bin',['../classSVF_1_1CFGNormalizer.html#a8906f8bfe0a4a431f355b825f15efbe0',1,'SVF::CFGNormalizer']]],
-  ['ebnf_5fbracket_5fmatch',['ebnf_bracket_match',['../classSVF_1_1CFGNormalizer.html#a98869c5ec5cd83d652a1471c1969c8c9',1,'SVF::CFGNormalizer']]],
-  ['ebnf_5fsign_5freplace',['ebnf_sign_replace',['../classSVF_1_1CFGNormalizer.html#a4bd48b57dfd6989b595dd1fe0cbc802f',1,'SVF::CFGNormalizer']]],
+  ['ebnfbracketmatch',['ebnfBracketMatch',['../classSVF_1_1CFGNormalizer.html#a8eddaa57527c0e5e538b1d207da7adc0',1,'SVF::CFGNormalizer']]],
+  ['ebnfsignreplace',['ebnfSignReplace',['../classSVF_1_1CFGNormalizer.html#a37f4a6a11af608439596752d20667648',1,'SVF::CFGNormalizer']]],
   ['ecunion',['ecUnion',['../classSVF_1_1Steensgaard.html#a191e77e62916d868b2af730264e26dd8',1,'SVF::Steensgaard']]],
   ['edge2pts',['edge2pts',['../classSVF_1_1MTASVFGBuilder.html#a1c0de33bba2f05f14140d872c345ab38',1,'SVF::MTASVFGBuilder']]],
   ['edge_5fdest',['edge_dest',['../structllvm_1_1GraphTraits_3_01SVF_1_1GenericNode_3_01NodeTy_00_01EdgeTy_01_4_01_5_01_4.html#a84cc3da79c2c9c5bcdf50da4b919b7da',1,'llvm::GraphTraits< SVF::GenericNode< NodeTy, EdgeTy > * >::edge_dest()'],['../structllvm_1_1GraphTraits_3_01Inverse_3_01SVF_1_1GenericNode_3_01NodeTy_00_01EdgeTy_01_4_01_5_4_01_4.html#a1b463e94c43d2966b8d6cf096b3d04cd',1,'llvm::GraphTraits< Inverse< SVF::GenericNode< NodeTy, EdgeTy > *> >::edge_dest()']]],
@@ -58,7 +58,7 @@ var searchData=
   ['elemnum',['elemNum',['../classSVF_1_1ObjTypeInfo.html#a5fdcd5f3b7550e7bdc30c8c030c6226d',1,'SVF::ObjTypeInfo']]],
   ['else',['else',['../cJSON_8cpp.html#a0544c3fe466e421738dae463968b70ba',1,'cJSON.cpp']]],
   ['emplacepts',['emplacePts',['../classSVF_1_1PersistentPointsToCache.html#a98d176e384469e0308bfee2061ef84b5',1,'SVF::PersistentPointsToCache']]],
-  ['empty',['Empty',['../classSVF_1_1LockAnalysis.html#ac2fbbabca4506e28f706cf54b1614791ae16d4995f32298086fd37b4759ec069c',1,'SVF::LockAnalysis::Empty()'],['../classSVF_1_1ForkJoinAnalysis.html#a8d40e687caf8999369621ed385dfc631a9d940442c782d5a1297102209540182f',1,'SVF::ForkJoinAnalysis::Empty()'],['../classSVF_1_1CondStdSet.html#a0305cbf452b4e858e464023727417d76',1,'SVF::CondStdSet::empty()'],['../classSVF_1_1CondPointsToSet.html#aca84f0f9e09686d9f30f309d36267aff',1,'SVF::CondPointsToSet::empty()'],['../classSVF_1_1PointsTo.html#ac4688413177b49b37dbbfd3ed188d59b',1,'SVF::PointsTo::empty()'],['../classSVF_1_1LLVMModuleSet.html#ae19e38054c55d5822dfc83a12f12aa60',1,'SVF::LLVMModuleSet::empty()'],['../classSVF_1_1CoreBitVector.html#a98b9795b4fdc74d9d2efa9a3f2ecb62f',1,'SVF::CoreBitVector::empty()'],['../classSVF_1_1List.html#a063246d2aa23e389e513c5498ff33aca',1,'SVF::List::empty()'],['../classSVF_1_1FIFOWorkList.html#a7056704c224dfb4b57287fe90c004aa8',1,'SVF::FIFOWorkList::empty()'],['../classSVF_1_1FILOWorkList.html#a071a624c91def82a4bbbf3806c7b7eea',1,'SVF::FILOWorkList::empty()'],['../cuddInt_8c.html#a5beb39637a978181c7c17714ac96672e',1,'empty(): cuddInt.c']]],
+  ['empty',['empty',['../classSVF_1_1CFLFIFOWorkList.html#aa0ce832f5eeae74d52260fd8954d545f',1,'SVF::CFLFIFOWorkList::empty()'],['../classSVF_1_1CondStdSet.html#a0305cbf452b4e858e464023727417d76',1,'SVF::CondStdSet::empty()'],['../classSVF_1_1CondPointsToSet.html#aca84f0f9e09686d9f30f309d36267aff',1,'SVF::CondPointsToSet::empty()'],['../classSVF_1_1PointsTo.html#ac4688413177b49b37dbbfd3ed188d59b',1,'SVF::PointsTo::empty()'],['../classSVF_1_1LLVMModuleSet.html#ae19e38054c55d5822dfc83a12f12aa60',1,'SVF::LLVMModuleSet::empty()'],['../classSVF_1_1CoreBitVector.html#a98b9795b4fdc74d9d2efa9a3f2ecb62f',1,'SVF::CoreBitVector::empty()'],['../classSVF_1_1List.html#a063246d2aa23e389e513c5498ff33aca',1,'SVF::List::empty()'],['../classSVF_1_1FIFOWorkList.html#a7056704c224dfb4b57287fe90c004aa8',1,'SVF::FIFOWorkList::empty()'],['../classSVF_1_1FILOWorkList.html#a071a624c91def82a4bbbf3806c7b7eea',1,'SVF::FILOWorkList::empty()'],['../classSVF_1_1LockAnalysis.html#ac2fbbabca4506e28f706cf54b1614791ae16d4995f32298086fd37b4759ec069c',1,'SVF::LockAnalysis::Empty()'],['../classSVF_1_1ForkJoinAnalysis.html#a8d40e687caf8999369621ed385dfc631a9d940442c782d5a1297102209540182f',1,'SVF::ForkJoinAnalysis::Empty()'],['../cuddInt_8c.html#a5beb39637a978181c7c17714ac96672e',1,'empty(): cuddInt.c']]],
   ['emptypointstoid',['emptyPointsToId',['../classSVF_1_1PersistentPointsToCache.html#a921a4ef4c72ccde5724860f98ad62a57',1,'SVF::PersistentPointsToCache']]],
   ['enablealiascheck',['EnableAliasCheck',['../classSVF_1_1Options.html#a4da18281b973b9ffb5068dd53060524c',1,'SVF::Options']]],
   ['enablecontext',['ENABLECONTEXT',['../dda_8cpp.html#a1fe1900e000a62ca91dc0651bfa3a24f',1,'dda.cpp']]],
@@ -106,8 +106,8 @@ var searchData=
   ['epdpow2',['EpdPow2',['../epd_8h.html#ab698b565b8fe370d23a71a92f1cbd460',1,'EpdPow2(int n, EpDouble *epd): epd.c'],['../epd_8c.html#ab698b565b8fe370d23a71a92f1cbd460',1,'EpdPow2(int n, EpDouble *epd): epd.c']]],
   ['epdpow2decimal',['EpdPow2Decimal',['../epd_8h.html#aa69188dd624691e44c14889eba0cd9ca',1,'EpdPow2Decimal(int n, EpDouble *epd): epd.c'],['../epd_8c.html#aa69188dd624691e44c14889eba0cd9ca',1,'EpdPow2Decimal(int n, EpDouble *epd): epd.c']]],
   ['epdsubtract3',['EpdSubtract3',['../epd_8h.html#a766747cec957171a7386fec2faf697cd',1,'EpdSubtract3(EpDouble *epd1, EpDouble *epd2, EpDouble *epd3): epd.c'],['../epd_8c.html#a766747cec957171a7386fec2faf697cd',1,'EpdSubtract3(EpDouble *epd1, EpDouble *epd2, EpDouble *epd3): epd.c']]],
-  ['epsilon',['epsilon',['../structDdManager.html#ad495ea9a4104c2be5b4ca850a1da8c28',1,'DdManager::epsilon()'],['../CFLGrammar_8txt.html#ac2933a97eaa2fb70d499347016ae1636',1,'epsilon(): CFLGrammar.txt'],['../CFLGrammarDev_8txt.html#ac2933a97eaa2fb70d499347016ae1636',1,'epsilon(): CFLGrammarDev.txt']]],
-  ['epsilonprods',['epsilonProds',['../classSVF_1_1CFLGrammar.html#a9aa7b030d56b5c7358ffa2d4a5da8fa7',1,'SVF::CFLGrammar']]],
+  ['epsilon',['epsilon',['../structDdManager.html#ad495ea9a4104c2be5b4ca850a1da8c28',1,'DdManager::epsilon()'],['../CFLGrammar_8txt.html#a114c2e5cd44b3ea4720e9191ed819f3b',1,'epsilon(): CFLGrammar.txt']]],
+  ['epsilonprods',['epsilonProds',['../classSVF_1_1CFLGrammar.html#a4d9770a2b935bcad74ae551389925f74',1,'SVF::CFLGrammar']]],
   ['eptype',['EpType',['../epd_8h.html#a618ccbef690a6439abf31cd8b30330e9',1,'epd.h']]],
   ['eptypeunion',['EpTypeUnion',['../unionEpTypeUnion.html',1,'']]],
   ['eq',['eq',['../classSVF_1_1Z3Expr.html#ac50b99fca5e04e9c0d134e6371797402',1,'SVF::Z3Expr']]],
@@ -163,7 +163,9 @@ var searchData=
   ['externmap',['externMap',['../classSVF_1_1CFLGraphBuilder.html#a91f1f0e8abc8d781eaf8b1a4f025c18e',1,'SVF::CFLGraphBuilder']]],
   ['extf_5ft',['extf_t',['../classSVF_1_1ExtAPI.html#aaf94c82d98f8ed1514ee49c9881a4094',1,'SVF::ExtAPI']]],
   ['extop',['extOp',['../classSVF_1_1ExtAPI.html#a552feab663622681db231d5b48f00d75',1,'SVF::ExtAPI']]],
+  ['extractattributestrfromsymbolstr',['extractAttributeStrFromSymbolStr',['../classSVF_1_1GrammarBase.html#a9f56cebea336079e35f5f3a288eb356f',1,'SVF::GrammarBase']]],
   ['extractelementinst',['ExtractElementInst',['../SVF-FE_2BasicTypes_8h.html#af4efbd8e6f644628b41104e855b0541b',1,'BasicTypes.h']]],
+  ['extractkindstrfromsymbolstr',['extractKindStrFromSymbolStr',['../classSVF_1_1GrammarBase.html#a9cc406edc117b3abd07a85f66ca892a0',1,'SVF::GrammarBase']]],
   ['extractsubconds',['extractSubConds',['../classSVF_1_1BDDExprManager.html#a5bbd80a97aa794da9568716e456cf40c',1,'SVF::BDDExprManager']]],
   ['extractvalueinst',['ExtractValueInst',['../SVF-FE_2BasicTypes_8h.html#a41c335e8362a500085923e4742a53f57',1,'BasicTypes.h']]],
   ['exttype',['extType',['../classSVF_1_1ExtAPI.html#a5df65081e82a05223ce781660ee199ca',1,'SVF::ExtAPI']]]

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

@@ -1,6 +1,6 @@
 var searchData=
 [
-  ['f',['f',['../structDdHook.html#a5b1bfe85ce0ac180fc160eb8c30094d7',1,'DdHook::f()'],['../structDdCache.html#a74c07792181f1d898f9fb4524c8942ad',1,'DdCache::f()'],['../CFLGrammar_8txt.html#acc7b4cf736579c4d83be2316d5a9e5f2',1,'F(): CFLGrammar.txt'],['../CFLGrammarDev_8txt.html#acc7b4cf736579c4d83be2316d5a9e5f2',1,'F(): CFLGrammarDev.txt'],['../CFLGrammar_8txt.html#ab3e8365e4019f02941439ff7980d8972',1,'F(Copy) *: CFLGrammar.txt'],['../CFLGrammar_8txt.html#a5526c6e27f7632db909dee64f361d2c9',1,'F(Store V Load) *: CFLGrammar.txt'],['../CFLGrammarDev_8txt.html#a5526c6e27f7632db909dee64f361d2c9',1,'F(Store V Load) *: CFLGrammarDev.txt']]],
+  ['f',['f',['../structDdHook.html#a5b1bfe85ce0ac180fc160eb8c30094d7',1,'DdHook::f()'],['../structDdCache.html#a74c07792181f1d898f9fb4524c8942ad',1,'DdCache::f()'],['../CFLGrammar_8txt.html#acc7b4cf736579c4d83be2316d5a9e5f2',1,'F(): CFLGrammar.txt']]],
   ['fail',['fail',['../util_8h.html#a71a6998301cde817b7ade39eff117424',1,'util.h']]],
   ['false',['false',['../cJSON_8cpp.html#a65e9886d74aaee76545e83dd09011727',1,'cJSON.cpp']]],
   ['falsecond',['falseCond',['../classSVF_1_1BDDExprManager.html#a7c9d970f02b142a5ca05f8d67e974269',1,'SVF::BDDExprManager']]],
@@ -9,7 +9,7 @@ var searchData=
   ['fastcluster_5fdm_2ecpp_2einc',['fastcluster_dm.cpp.inc',['../fastcluster__dm_8cpp_8inc.html',1,'']]],
   ['fastcluster_5fr_5fdm_2ecpp_2einc',['fastcluster_R_dm.cpp.inc',['../fastcluster__R__dm_8cpp_8inc.html',1,'']]],
   ['fastclustertime',['FastClusterTime',['../classSVF_1_1NodeIDAllocator_1_1Clusterer.html#ae78d2b60035350c634f6f58d7a043c22',1,'SVF::NodeIDAllocator::Clusterer']]],
-  ['fbar',['Fbar',['../CFLGrammarDev_8txt.html#a26cb9b576df028ed7909f996d5b6cd68',1,'Fbar(): CFLGrammarDev.txt'],['../CFLGrammar_8txt.html#a6fd7ba961de09e32f8086ffb5c1d49cb',1,'Fbar(Copybar) *: CFLGrammar.txt'],['../CFLGrammar_8txt.html#a4154da66867aeecdfb16bff361b9d1ce',1,'Fbar(Loadbar V Storebar) *: CFLGrammar.txt'],['../CFLGrammarDev_8txt.html#a6fd7ba961de09e32f8086ffb5c1d49cb',1,'Fbar(Copybar) *: CFLGrammarDev.txt'],['../CFLGrammarDev_8txt.html#ad0247f340ac95d507af8a6fae307c193',1,'Fbar(Loadbar Vbar Storebar) *: CFLGrammarDev.txt']]],
+  ['fbar',['Fbar',['../CFLGrammar_8txt.html#ae8b5aa5e39ce3b22bbd5a3c28f3dbb0d',1,'CFLGrammar.txt']]],
   ['fc_5fisnan',['fc_isnan',['../fastcluster_8cpp.html#a8abcd9d66492e761592578e82ce2cba0',1,'fastcluster.cpp']]],
   ['fenceinst',['FenceInst',['../SVF-FE_2BasicTypes_8h.html#a43a430043d6520ceac623115ab2fbf56',1,'BasicTypes.h']]],
   ['fieldexpand',['fieldExpand',['../classSVF_1_1AndersenSFR.html#aa768e5cd0a762d17e2ec2baaad0486bf',1,'SVF::AndersenSFR']]],
@@ -36,7 +36,7 @@ var searchData=
   ['finalbit',['finalBit',['../classSVF_1_1CoreBitVector.html#a8825e54f584be8aa0ff627335064244e',1,'SVF::CoreBitVector']]],
   ['finalcond',['finalCond',['../classSVF_1_1ProgSlice.html#a06d79a32f9f550b068813324dac41460',1,'SVF::ProgSlice']]],
   ['finalize',['finalize',['../classSVF_1_1ContextDDA.html#ae34cd06ee3b7d763c81ec418af76d244',1,'SVF::ContextDDA::finalize()'],['../classSVF_1_1FlowDDA.html#a5abae08577ab24684653421dc712431a',1,'SVF::FlowDDA::finalize()'],['../classSVF_1_1PointerAnalysis.html#a118dabc50024b5cd91095814ade47166',1,'SVF::PointerAnalysis::finalize()'],['../classSVF_1_1BVDataPTAImpl.html#a57ff2bf45ede7a730a8adaba8e61179d',1,'SVF::BVDataPTAImpl::finalize()'],['../classSVF_1_1CondPTAImpl.html#a9bdc3a50c695029a28371116ddc3ef8d',1,'SVF::CondPTAImpl::finalize()'],['../classSVF_1_1SrcSnkDDA.html#af6ee1f79b67c736ceeb591d0cdba4b06',1,'SVF::SrcSnkDDA::finalize()'],['../classSVF_1_1AndersenBase.html#a28a1c3571cdee5e05004b29ace364e67',1,'SVF::AndersenBase::finalize()'],['../classSVF_1_1Andersen.html#ad90c8cf193bd81870ce8dd88c9580e2c',1,'SVF::Andersen::finalize()'],['../classSVF_1_1FlowSensitive.html#afed358369102f01f6fe88b1433e704c3',1,'SVF::FlowSensitive::finalize()'],['../classSVF_1_1FlowSensitiveTBHC.html#a3564d6ad7e12e0a833b4cea203a809e4',1,'SVF::FlowSensitiveTBHC::finalize()'],['../classSVF_1_1TypeAnalysis.html#a8efef079c8b33e2215f92ac3629789e6',1,'SVF::TypeAnalysis::finalize()'],['../classSVF_1_1VersionedFlowSensitive.html#ad955fda89f4f749151a1bd14562b03f6',1,'SVF::VersionedFlowSensitive::finalize()']]],
-  ['find',['find',['../classSVF_1_1SCCDetection.html#a123b5006a6da7053e5e357140da3c5a3',1,'SVF::SCCDetection::find(void)'],['../classSVF_1_1SCCDetection.html#a1d0d98fd1286e71cfae50180cd2b1313',1,'SVF::SCCDetection::find(NodeSet &candidates)'],['../classSVF_1_1List.html#a3ac922ec28c4e6fe86db6ac262cd6dbd',1,'SVF::List::find()'],['../classSVF_1_1FIFOWorkList.html#a86f2393b1cce7969d6974b53970ead54',1,'SVF::FIFOWorkList::find()'],['../classSVF_1_1FILOWorkList.html#ac072af7d7a6d3abad17b779445286e7e',1,'SVF::FILOWorkList::find()'],['../classSVF_1_1CSC.html#a049dc6bd348b1108a8a9726d50a4f280',1,'SVF::CSC::find()']]],
+  ['find',['find',['../classSVF_1_1CFLFIFOWorkList.html#a34d1d61f300a3c9e3b445764f3a316a8',1,'SVF::CFLFIFOWorkList::find()'],['../classSVF_1_1SCCDetection.html#a123b5006a6da7053e5e357140da3c5a3',1,'SVF::SCCDetection::find(void)'],['../classSVF_1_1SCCDetection.html#a1d0d98fd1286e71cfae50180cd2b1313',1,'SVF::SCCDetection::find(NodeSet &candidates)'],['../classSVF_1_1List.html#a3ac922ec28c4e6fe86db6ac262cd6dbd',1,'SVF::List::find()'],['../classSVF_1_1FIFOWorkList.html#a86f2393b1cce7969d6974b53970ead54',1,'SVF::FIFOWorkList::find()'],['../classSVF_1_1FILOWorkList.html#ac072af7d7a6d3abad17b779445286e7e',1,'SVF::FILOWorkList::find()'],['../classSVF_1_1CSC.html#a049dc6bd348b1108a8a9726d50a4f280',1,'SVF::CSC::find()']]],
   ['find_5fbest',['find_best',['../cuddInt_8c.html#a1efeea833dfd194338306de03a31e8ed',1,'cuddInt.c']]],
   ['find_5fentry',['FIND_ENTRY',['../st_8c.html#a9fc5c02ec598b362bd1fd5ddb6442731',1,'st.c']]],
   ['find_5ffirst',['find_first',['../classSVF_1_1PointsTo.html#a12883234179873d279e72e5947aad836',1,'SVF::PointsTo']]],
@@ -48,7 +48,7 @@ var searchData=
   ['first_5ffield',['FIRST_FIELD',['../classSVF_1_1DCHEdge.html#a9ab4cd83d9ee475d3d8445cd91839726a3b49b95b713f585b717810dce5ac6564',1,'SVF::DCHEdge']]],
   ['firstcommonbit',['firstCommonBit',['../classSVF_1_1CoreBitVector.html#a1ca118240e4c7f678d52a6ca4b3e6b2f',1,'SVF::CoreBitVector']]],
   ['firstfieldeqbase',['FirstFieldEqBase',['../classSVF_1_1Options.html#a8dc477d83a142a62b63207f6f240f224',1,'SVF::Options']]],
-  ['firstrhs2prods',['firstRHS2Prods',['../classSVF_1_1CFLGrammar.html#ab83b803c3407a5776bd28c076c030968',1,'SVF::CFLGrammar']]],
+  ['firstrhs2prods',['firstRHS2Prods',['../classSVF_1_1CFLGrammar.html#a640023178f4a6db832ca30256759484f',1,'SVF::CFLGrammar']]],
   ['fixvartree',['fixVarTree',['../cuddInt_8c.html#a9a7571d0ca349667f3912593b8a7d8d1',1,'cuddInt.c']]],
   ['fja',['fja',['../classSVF_1_1MHP.html#a98857a1837cef5519c938d07bb771a60',1,'SVF::MHP']]],
   ['fkjntoptascevmap',['fkjnToPTASCEVMap',['../classSVF_1_1ForkJoinAnalysis.html#a4207948054a0f98560922f3f07ada10f',1,'SVF::ForkJoinAnalysis']]],

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

@@ -49,8 +49,9 @@ var searchData=
   ['genericvfgnodety',['GenericVFGNodeTy',['../namespaceSVF.html#a3b4bbc4b72e982a79c23fd3ec26410b6',1,'SVF']]],
   ['genericvfgty',['GenericVFGTy',['../namespaceSVF.html#ab4f1d8a6715e791c94970e6f87b18f8f',1,'SVF']]],
   ['gep',['Gep',['../classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75aa2dffaa8741582ce06e591cbaf9257d7',1,'SVF::VFGNode::Gep()'],['../classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a20d960c19118d1ed319e0dbea94405e8',1,'SVF::SVFStmt::Gep()']]],
-  ['gep_5fi',['Gep_i',['../CFLGrammar_8txt.html#a5b3055246549a012698b576b9d1b25c3',1,'Gep_i(): CFLGrammar.txt'],['../CFLGrammarDev_8txt.html#a5b3055246549a012698b576b9d1b25c3',1,'Gep_i(): CFLGrammarDev.txt']]],
+  ['gep_5fi',['Gep_i',['../CFLGrammar_8txt.html#a3570ef0c1d906134e5aa6077d39fef04',1,'CFLGrammar.txt']]],
   ['gep_5ftype_5fiterator',['gep_type_iterator',['../SVF-FE_2BasicTypes_8h.html#a61c08909930c80e172b5580fa0cc629f',1,'BasicTypes.h']]],
+  ['gepbar_5fi',['Gepbar_i',['../CFLGrammar_8txt.html#a439ab12c27eee7f7bf2190c952ba5725',1,'CFLGrammar.txt']]],
   ['gepcgedge',['GepCGEdge',['../classSVF_1_1GepCGEdge.html',1,'SVF::GepCGEdge'],['../classSVF_1_1GepCGEdge.html#a17660f0d48006b9ee1d095218c5ab4a0',1,'SVF::GepCGEdge::GepCGEdge()'],['../classSVF_1_1GepCGEdge.html#ac80df552aa58bb5d285f35bc246dde1b',1,'SVF::GepCGEdge::GepCGEdge(const GepCGEdge &)'],['../classSVF_1_1GepCGEdge.html#a7c60fffa69c2d029d7808e046c9adce4',1,'SVF::GepCGEdge::GepCGEdge(ConstraintNode *s, ConstraintNode *d, ConstraintEdgeK k, EdgeID id)']]],
   ['gepinedges',['gepInEdges',['../classSVF_1_1ConstraintNode.html#a4d0113f2af3a61892acee1fb21f0b938',1,'SVF::ConstraintNode']]],
   ['gepisload',['gepIsLoad',['../classSVF_1_1FlowSensitiveTBHC.html#ad5b294dacf51a89306df9a22c6799bad',1,'SVF::FlowSensitiveTBHC']]],
@@ -114,7 +115,7 @@ var searchData=
   ['getargoperand',['getArgOperand',['../classSVF_1_1CallSite.html#a5cd372d9fab846228fb0ee746001309a',1,'SVF::CallSite']]],
   ['getargument',['getArgument',['../classSVF_1_1CallSite.html#a26a594d36bbb5b77e7085502812d9ca2',1,'SVF::CallSite']]],
   ['getattributedkind',['getAttributedKind',['../classSVF_1_1GrammarBase.html#af418e1033618da75e974a04ee1d7e275',1,'SVF::GrammarBase']]],
-  ['getattrsyms',['getAttrSyms',['../classSVF_1_1GrammarBase.html#a6747be215ccd4705134adf714c44f43c',1,'SVF::GrammarBase']]],
+  ['getattrsyms',['getAttrSyms',['../classSVF_1_1GrammarBase.html#a2620ded7573ebdb8b4595e199105ef0e',1,'SVF::GrammarBase']]],
   ['getbackwardslicesize',['getBackwardSliceSize',['../classSVF_1_1ProgSlice.html#a967fa01a8baae0dd086b5c09ae0faa7b',1,'SVF::ProgSlice']]],
   ['getbasenode',['getBaseNode',['../classSVF_1_1GepObjVar.html#a4c5e346db61f7e04c15bf8527d8eff3c',1,'SVF::GepObjVar']]],
   ['getbaseobj',['getBaseObj',['../classSVF_1_1SVFIR.html#af76a55c3b8255a81a566bdce35ffc749',1,'SVF::SVFIR']]],
@@ -279,9 +280,11 @@ var searchData=
   ['getdt',['getDT',['../classSVF_1_1MemSSA.html#a9741a8d0540ba4c27cb667590d246197',1,'SVF::MemSSA::getDT()'],['../classSVF_1_1TCT.html#a9b2977014d3c3e7df5cb56cc876ddc70',1,'SVF::TCT::getDT()'],['../classSVF_1_1PathCondAllocator.html#a496a23bc37dfdea32c536e9ebe9a4b88',1,'SVF::PathCondAllocator::getDT()'],['../classSVF_1_1PTACFInfoBuilder.html#afb3864bae4ac95c7d3b731634c1abdab',1,'SVF::PTACFInfoBuilder::getDT()']]],
   ['getec',['getEC',['../classSVF_1_1Steensgaard.html#af2afffc0617d588a68fdfa4fcfd24b70',1,'SVF::Steensgaard']]],
   ['getedge',['getEdge',['../classSVF_1_1ConstraintGraph.html#a04a57ef9803917346cb966e05ecd0de4',1,'SVF::ConstraintGraph']]],
+  ['getedgeattri',['getEdgeAttri',['../classSVF_1_1CFLEdge.html#ae4c8562ff6801503de9e3cb0c4ebe2b8',1,'SVF::CFLEdge']]],
   ['getedgeattributes',['getEdgeAttributes',['../structllvm_1_1DOTGraphTraits_3_01CFLGraph_01_5_01_4.html#a063cfdeaebcd749ecc98f50ba300f271',1,'llvm::DOTGraphTraits< CFLGraph * >::getEdgeAttributes()'],['../structllvm_1_1DOTGraphTraits_3_01CHGraph_01_5_01_4.html#a0ad443da42379a0038d42de4f7895b60',1,'llvm::DOTGraphTraits< CHGraph * >::getEdgeAttributes()'],['../structllvm_1_1DOTGraphTraits_3_01ConstraintGraph_01_5_01_4.html#ad7d0a5d387c31c186b8527c7c6bd9791',1,'llvm::DOTGraphTraits< ConstraintGraph * >::getEdgeAttributes()'],['../structllvm_1_1DOTGraphTraits_3_01ICFG_01_5_01_4.html#a74b0725d64b6e9c3060f2366633425f5',1,'llvm::DOTGraphTraits< ICFG * >::getEdgeAttributes()'],['../structllvm_1_1DOTGraphTraits_3_01IRGraph_01_5_01_4.html#a27816e06b813b2723a5757128d009cab',1,'llvm::DOTGraphTraits< IRGraph * >::getEdgeAttributes()'],['../structllvm_1_1DOTGraphTraits_3_01OfflineConsG_01_5_01_4.html#a0cda5ff37828cb37d152c25878fa208d',1,'llvm::DOTGraphTraits< OfflineConsG * >::getEdgeAttributes()'],['../structllvm_1_1DOTGraphTraits_3_01PTACallGraph_01_5_01_4.html#a52d5c95a8f9823174c0acebc101de20b',1,'llvm::DOTGraphTraits< PTACallGraph * >::getEdgeAttributes()'],['../structllvm_1_1DOTGraphTraits_3_01SVFG_01_5_01_4.html#a0ade71edb2771cb6c4e7a0a7910d374e',1,'llvm::DOTGraphTraits< SVFG * >::getEdgeAttributes()'],['../structllvm_1_1DOTGraphTraits_3_01VFG_01_5_01_4.html#a646a1023dab5169a73c8ea54e860c78b',1,'llvm::DOTGraphTraits< VFG * >::getEdgeAttributes()'],['../structllvm_1_1DOTGraphTraits_3_01TCT_01_5_01_4.html#a349d851998bd1defbbafc16693e04764',1,'llvm::DOTGraphTraits< TCT * >::getEdgeAttributes()']]],
   ['getedgeid',['getEdgeID',['../classSVF_1_1ConstraintEdge.html#ab201b7df925c12e6944516f4b87d7823',1,'SVF::ConstraintEdge::getEdgeID()'],['../classSVF_1_1SVFStmt.html#af7bb0d687fc61cae1de639c88e472491',1,'SVF::SVFStmt::getEdgeID()']]],
   ['getedgekind',['getEdgeKind',['../classSVF_1_1CFLEdge.html#acab367a1633d00afdafadf3f3a43e0c8',1,'SVF::CFLEdge::getEdgeKind()'],['../classSVF_1_1GenericEdge.html#abe8525c542def8162b094c169a01993b',1,'SVF::GenericEdge::getEdgeKind()']]],
+  ['getedgekindwithmask',['getEdgeKindWithMask',['../classSVF_1_1CFLEdge.html#a5d11e42f5571287992362669fee9e159',1,'SVF::CFLEdge']]],
   ['getedgekindwithoutmask',['getEdgeKindWithoutMask',['../classSVF_1_1GenericEdge.html#a20d8b844fc4bb0bb776d290b4e477fc5',1,'SVF::GenericEdge']]],
   ['getedgesourcelabel',['getEdgeSourceLabel',['../structllvm_1_1DOTGraphTraits_3_01CFLGraph_01_5_01_4.html#ac5d4d9f4874f0ecf199e1d19d66adf0f',1,'llvm::DOTGraphTraits< CFLGraph * >::getEdgeSourceLabel()'],['../structllvm_1_1DOTGraphTraits_3_01ConstraintGraph_01_5_01_4.html#a76e78cd94e56ca46ac7e1db7162e594b',1,'llvm::DOTGraphTraits< ConstraintGraph * >::getEdgeSourceLabel()'],['../structllvm_1_1DOTGraphTraits_3_01ICFG_01_5_01_4.html#a6255edef186d9268868d683b4bbda133',1,'llvm::DOTGraphTraits< ICFG * >::getEdgeSourceLabel()'],['../structllvm_1_1DOTGraphTraits_3_01IRGraph_01_5_01_4.html#a947696a48fdac183d0cc40de92944315',1,'llvm::DOTGraphTraits< IRGraph * >::getEdgeSourceLabel()'],['../structllvm_1_1DOTGraphTraits_3_01OfflineConsG_01_5_01_4.html#a046f087794d334eb303a2cea66aad3c3',1,'llvm::DOTGraphTraits< OfflineConsG * >::getEdgeSourceLabel()'],['../structllvm_1_1DOTGraphTraits_3_01PTACallGraph_01_5_01_4.html#a576f422e667714d3e4948cbf3f631fc9',1,'llvm::DOTGraphTraits< PTACallGraph * >::getEdgeSourceLabel()'],['../structllvm_1_1DOTGraphTraits_3_01SVFG_01_5_01_4.html#aaaf78b3bb17f15a2c91566bfdc1bae9e',1,'llvm::DOTGraphTraits< SVFG * >::getEdgeSourceLabel()'],['../structllvm_1_1DOTGraphTraits_3_01VFG_01_5_01_4.html#af794115d33a8ea6f7f2e2c7ac5dd4c80',1,'llvm::DOTGraphTraits< VFG * >::getEdgeSourceLabel()']]],
   ['getedgetype',['getEdgeType',['../classSVF_1_1CHEdge.html#ae2b90913c6c5a30df2b285d31c694525',1,'SVF::CHEdge']]],
@@ -311,7 +314,7 @@ var searchData=
   ['getfilledproductions',['getFilledProductions',['../classSVF_1_1CFGNormalizer.html#ae5932d3d9330e28e5fa89402a5f5ff33',1,'SVF::CFGNormalizer']]],
   ['getfilterset',['getFilterSet',['../classSVF_1_1TypeBasedHeapCloning.html#ae520e0551e63223a908f92a6b9667356',1,'SVF::TypeBasedHeapCloning']]],
   ['getfiobjvar',['getFIObjVar',['../classSVF_1_1ConstraintGraph.html#a7c8a29ad1d270fca745f233bb4800731',1,'SVF::ConstraintGraph::getFIObjVar()'],['../classSVF_1_1PointerAnalysis.html#a68b05bc02c5473c1e0d39ac4f4454bac',1,'SVF::PointerAnalysis::getFIObjVar()'],['../classSVF_1_1SVFIR.html#a2878e202045b7f2c817185e8bf95d354',1,'SVF::SVFIR::getFIObjVar(const MemObj *obj) const'],['../classSVF_1_1SVFIR.html#ac9f860028c8cbd364720888084701628',1,'SVF::SVFIR::getFIObjVar(NodeID id) const']]],
-  ['getfirstrhs2prods',['getFirstRHS2Prods',['../classSVF_1_1CFLGrammar.html#ad8298201c2b5915145425e3ba8920203',1,'SVF::CFLGrammar']]],
+  ['getfirstrhs2prods',['getFirstRHS2Prods',['../classSVF_1_1CFLGrammar.html#ac0f09c94e9c6efc00398ed7d5ca1fe0f',1,'SVF::CFLGrammar']]],
   ['getfirstrhssymbol',['getFirstRHSSymbol',['../classSVF_1_1CFLGrammar.html#a837d2db607e1c9403db4d3021f4e52d4',1,'SVF::CFLGrammar']]],
   ['getflattenedelemidx',['getFlattenedElemIdx',['../classSVF_1_1SymbolTableInfo.html#a8fc42c2b02317621d6aeb3c5f52d3ee8',1,'SVF::SymbolTableInfo']]],
   ['getflattenedelemidxvec',['getFlattenedElemIdxVec',['../classSVF_1_1StInfo.html#a55e5fd85f232c1867c5c6a73646d53eb',1,'SVF::StInfo']]],
@@ -608,7 +611,7 @@ var searchData=
   ['getptsmap',['getPtsMap',['../classSVF_1_1MutablePTData.html#a8838058efe94b62553bb5416fdc2ec5b',1,'SVF::MutablePTData::getPtsMap()'],['../classSVF_1_1MutableDiffPTData.html#a8261a24cfb34056f3720cd6fbc0a4870',1,'SVF::MutableDiffPTData::getPtsMap()'],['../classSVF_1_1MutableDFPTData.html#a8b1814326e71f6c6fd31d5aef0592a1d',1,'SVF::MutableDFPTData::getPtsMap()'],['../classSVF_1_1CondPTAImpl.html#a979486e35b529fbc62b2974899627113',1,'SVF::CondPTAImpl::getPtsMap()']]],
   ['getptssubsetmap',['getPtsSubSetMap',['../classSVF_1_1IntraDisjointMRG.html#ae3c857c056f4e6e863843bafba7fdea1',1,'SVF::IntraDisjointMRG::getPtsSubSetMap(const SVFFunction *func)'],['../classSVF_1_1IntraDisjointMRG.html#ad0640ef6e02d9a90964ca495c0fd8f53',1,'SVF::IntraDisjointMRG::getPtsSubSetMap(const SVFFunction *func) const']]],
   ['getrawctirmetadata',['getRawCTirMetadata',['../classSVF_1_1FlowSensitiveTBHC.html#a2c47ba37bd250be455a21d1f0049d556',1,'SVF::FlowSensitiveTBHC::getRawCTirMetadata()'],['../classSVF_1_1TypeBasedHeapCloning.html#a21d2fd8bbef0c6f6ddddb5387569a7fa',1,'SVF::TypeBasedHeapCloning::getRawCTirMetadata()']]],
-  ['getrawproductions',['getRawProductions',['../classSVF_1_1GrammarBase.html#a1418337120e80b792627883d10f93ff1',1,'SVF::GrammarBase']]],
+  ['getrawproductions',['getRawProductions',['../classSVF_1_1GrammarBase.html#a4561438149716c91178ea013686f66ae',1,'SVF::GrammarBase']]],
   ['getref',['getRef',['../classSVF_1_1OfflineConsG.html#af701f54b1db07a16e926cd40ab17eb12',1,'SVF::OfflineConsG']]],
   ['getrefinfoforcall',['getRefInfoForCall',['../classSVF_1_1MRGenerator.html#a965a31712341b1fc02e667f325423ca2',1,'SVF::MRGenerator']]],
   ['getrefsideeffectofcallsite',['getRefSideEffectOfCallSite',['../classSVF_1_1MRGenerator.html#a62757aa995a6a01b484c60df2f51c53d',1,'SVF::MRGenerator']]],
@@ -639,13 +642,13 @@ var searchData=
   ['getsccdetector',['getSCCDetector',['../classSVF_1_1WPASolver.html#a37ca8a99b8f83fba796293e6e13b0953',1,'SVF::WPASolver']]],
   ['getsccrep',['getSCCRep',['../classSVF_1_1SVFGStat.html#a947dcd586a9ccf8b60243153769aaf31',1,'SVF::SVFGStat']]],
   ['getse',['getSE',['../classSVF_1_1ForkJoinAnalysis.html#ad3db3e7a2ebe7646675aab16103691e7',1,'SVF::ForkJoinAnalysis::getSE()'],['../classSVF_1_1MTA.html#a7cb2fd230ed5839b59f650cc87de192e',1,'SVF::MTA::getSE()'],['../classSVF_1_1TCT.html#ac66b3a193240c17c3f06437442b2d8bf',1,'SVF::TCT::getSE()']]],
-  ['getsecondrhs2prods',['getSecondRHS2Prods',['../classSVF_1_1CFLGrammar.html#af29dd3381799f85cb8acb524cc62c84d',1,'SVF::CFLGrammar']]],
+  ['getsecondrhs2prods',['getSecondRHS2Prods',['../classSVF_1_1CFLGrammar.html#aad22309781ec1a5ab247097dcaa6a0b8',1,'SVF::CFLGrammar']]],
   ['getsecondrhssymbol',['getSecondRHSSymbol',['../classSVF_1_1CFLGrammar.html#a3ccdda19bfed497ee8e14c1aaac4aa51',1,'SVF::CFLGrammar']]],
   ['getshortest',['getShortest',['../cuddInt_8c.html#a048492e5cad979aad3c0540ff82a4824',1,'cuddInt.c']]],
   ['getsiblingthread',['getSiblingThread',['../classSVF_1_1TCT.html#a60e63f6ddfe78c4cf4fd3a70875b727f',1,'SVF::TCT']]],
   ['getsimplenodelabel',['getSimpleNodeLabel',['../structllvm_1_1DOTGraphTraits_3_01ICFG_01_5_01_4.html#a1cf0470d3e9821152416e3bf5236e553',1,'llvm::DOTGraphTraits< ICFG * >::getSimpleNodeLabel()'],['../structllvm_1_1DOTGraphTraits_3_01SVFG_01_5_01_4.html#a63cc361875e61f4729381b23dcee2787',1,'llvm::DOTGraphTraits< SVFG * >::getSimpleNodeLabel()'],['../structllvm_1_1DOTGraphTraits_3_01VFG_01_5_01_4.html#a0159404d5c5a7816a4b679c0f35a546e',1,'llvm::DOTGraphTraits< VFG * >::getSimpleNodeLabel()']]],
   ['getsimplifiedvalue',['getSimplifiedValue',['../structSVF_1_1SVFUtil_1_1simplify__type.html#a8046f044d895a5c9aee85de9705161f9',1,'SVF::SVFUtil::simplify_type::getSimplifiedValue()'],['../structSVF_1_1SVFUtil_1_1simplify__type_3_01const_01From_01_4.html#ac64f5d9a2ec97aebd7b377319d7f043b',1,'SVF::SVFUtil::simplify_type< const From >::getSimplifiedValue()']]],
-  ['getsinglerhs2prods',['getSingleRHS2Prods',['../classSVF_1_1CFLGrammar.html#a64a4d2c0fd117841a42c8721df3680ad',1,'SVF::CFLGrammar']]],
+  ['getsinglerhs2prods',['getSingleRHS2Prods',['../classSVF_1_1CFLGrammar.html#afefc9b90be5cf275f476bb7c3f1c74ce',1,'SVF::CFLGrammar']]],
   ['getsinks',['getSinks',['../classSVF_1_1ProgSlice.html#a03a1ef4d56958fa4a0c3a3a95806203d',1,'SVF::ProgSlice::getSinks()'],['../classSVF_1_1SrcSnkDDA.html#a1145c601df2e3dec1e32e43613447b96',1,'SVF::SrcSnkDDA::getSinks()']]],
   ['getsoftdatalimit',['getSoftDataLimit',['../util_8h.html#a483a36453687145fd533bdb6694bad89',1,'getSoftDataLimit(void): util.c'],['../util_8c.html#a6df944867e592afe693884f4395a7d6b',1,'getSoftDataLimit(void): util.c']]],
   ['getsource',['getSource',['../classSVF_1_1ProgSlice.html#ac1dc48ea64a89ce37394a22e609a0cd0',1,'SVF::ProgSlice']]],
@@ -659,7 +662,7 @@ var searchData=
   ['getsrcid',['getSrcID',['../classSVF_1_1GenericEdge.html#ae6792506a0150a9400d635eceab7f9e7',1,'SVF::GenericEdge::getSrcID()'],['../classSVF_1_1AssignStmt.html#aa9e1367635f51e5fb456ac885406c990',1,'SVF::AssignStmt::getSrcID()'],['../classSVF_1_1MultiOpndStmt.html#acb793282c0abdef799b02658eebe1b79',1,'SVF::MultiOpndStmt::getSrcID()'],['../classSVF_1_1UnaryOPStmt.html#a38d60ea63e064f8a581f72f64642976d',1,'SVF::UnaryOPStmt::getSrcID()'],['../classSVF_1_1BranchStmt.html#a9425d660cc5a51b720463adc71f4c1f5',1,'SVF::BranchStmt::getSrcID()']]],
   ['getsrcnode',['getSrcNode',['../classSVF_1_1GenericEdge.html#ab47ca533c415841ef75456cbad439589',1,'SVF::GenericEdge::getSrcNode()'],['../classSVF_1_1AssignStmt.html#af4edf3314705e3b589b856b07049edcd',1,'SVF::AssignStmt::getSrcNode()'],['../classSVF_1_1MultiOpndStmt.html#a09cc241c2cb1c89a7d89ef6c605eaed8',1,'SVF::MultiOpndStmt::getSrcNode()'],['../classSVF_1_1UnaryOPStmt.html#ab80b5be6506812c9d58f63478de42e92',1,'SVF::UnaryOPStmt::getSrcNode()'],['../classSVF_1_1BranchStmt.html#af772610e425e2a67f7152bd8d53bf3c5',1,'SVF::BranchStmt::getSrcNode()']]],
   ['getssaversion',['getSSAVersion',['../classSVF_1_1MRVer.html#a170a933f25684bda23321ba05c7a7d88',1,'SVF::MRVer']]],
-  ['getstartkind',['getStartKind',['../classSVF_1_1GrammarBase.html#a8921a7d7a006e31f13d88b8c808c931b',1,'SVF::GrammarBase']]],
+  ['getstartkind',['getStartKind',['../classSVF_1_1GrammarBase.html#a8921a7d7a006e31f13d88b8c808c931b',1,'SVF::GrammarBase::getStartKind()'],['../classSVF_1_1CFLGraph.html#a685fb852b2cd3767258225aa3b87caa4',1,'SVF::CFLGraph::getStartKind()']]],
   ['getstartroutineofcxtthread',['getStartRoutineOfCxtThread',['../classSVF_1_1TCT.html#a7ccacac1c673b38215b90e4eb480581f',1,'SVF::TCT']]],
   ['getstat',['getStat',['../classSVF_1_1SVFG.html#a8ba934714a7f2caf2e041002fdb66137',1,'SVF::SVFG::getStat()'],['../classSVF_1_1PointerAnalysis.html#a0ebf1138011aa526d92470c1931313ad',1,'SVF::PointerAnalysis::getStat()']]],
   ['getstmt',['getStmt',['../classSVF_1_1CxtStmt.html#a5e8c4b10eb5c3240d2e21a020ed834a6',1,'SVF::CxtStmt']]],
@@ -697,9 +700,7 @@ var searchData=
   ['getsvfstmtlist',['getSVFStmtList',['../classSVF_1_1SVFIR.html#a570ad42ad516e3fabb91a3563b618c0b',1,'SVF::SVFIR']]],
   ['getsvfstmts',['getSVFStmts',['../classSVF_1_1ICFGNode.html#a6c68f52dd90728073fb79141df9b0661',1,'SVF::ICFGNode']]],
   ['getsvfstmtset',['getSVFStmtSet',['../classSVF_1_1SVFIR.html#ae2006820c0d00482b85e7ae3adcb5744',1,'SVF::SVFIR']]],
-  ['getsymattribute',['getSymAttribute',['../classSVF_1_1GrammarBase.html#ae16ccf07065150dddca4a2becdfdff91',1,'SVF::GrammarBase']]],
   ['getsymbol',['getSymbol',['../classSVF_1_1GrammarBase.html#afb21efe07e3451ad8284cab384963f06',1,'SVF::GrammarBase']]],
-  ['getsymkind',['getSymKind',['../classSVF_1_1GrammarBase.html#a76189622192db66f7c355038c73fa9dd',1,'SVF::GrammarBase']]],
   ['gettaskdataathareparforsite',['getTaskDataAtHareParForSite',['../classSVF_1_1ThreadAPI.html#a58cf56e35be873a5a26c5eb0d9b5c9b3',1,'SVF::ThreadAPI::getTaskDataAtHareParForSite(const Instruction *inst) const'],['../classSVF_1_1ThreadAPI.html#aee8fac6281a95d8a519add100e8887d1',1,'SVF::ThreadAPI::getTaskDataAtHareParForSite(CallSite cs) const'],['../namespaceSVF_1_1SVFUtil.html#ad3471260b66bdd7e6b790ad2a94fe7ce',1,'SVF::SVFUtil::getTaskDataAtHareParForSite(const CallSite cs)'],['../namespaceSVF_1_1SVFUtil.html#a5f3dd36ee492b60039928a86519518a5',1,'SVF::SVFUtil::getTaskDataAtHareParForSite(const Instruction *inst)']]],
   ['gettaskfuncathareparforsite',['getTaskFuncAtHareParForSite',['../classSVF_1_1ThreadAPI.html#afeedd6e518af76fa9e7142af8899b2f5',1,'SVF::ThreadAPI::getTaskFuncAtHareParForSite(const Instruction *inst) const'],['../classSVF_1_1ThreadAPI.html#a282d6aeab91135af4cab8195d67badf6',1,'SVF::ThreadAPI::getTaskFuncAtHareParForSite(CallSite cs) const'],['../namespaceSVF_1_1SVFUtil.html#ab048cbce6e4f5a3d6ff90da3565220ff',1,'SVF::SVFUtil::getTaskFuncAtHareParForSite(const CallSite cs)'],['../namespaceSVF_1_1SVFUtil.html#a111fa1ecf72adbd2e0ff27e922f0d34a',1,'SVF::SVFUtil::getTaskFuncAtHareParForSite(const Instruction *inst)']]],
   ['gettcg',['getTCG',['../classSVF_1_1LockAnalysis.html#a96a6cfddc8f7115294e8ad49a097b938',1,'SVF::LockAnalysis::getTCG()'],['../classSVF_1_1ForkJoinAnalysis.html#a8ad9b8cb0e6300b2ffc55244e53cece6',1,'SVF::ForkJoinAnalysis::getTCG()']]],
@@ -739,6 +740,7 @@ var searchData=
   ['getvaluenodenum',['getValueNodeNum',['../classSVF_1_1IRGraph.html#a0212f3fe2f37363e8060f292c8cf7668',1,'SVF::IRGraph']]],
   ['getvarargnode',['getVarargNode',['../classSVF_1_1ConstraintGraph.html#a527342ce5ac3b9491d7ad4302145cec5',1,'SVF::ConstraintGraph::getVarargNode()'],['../classSVF_1_1IRGraph.html#a8b10c318674a47035d617b3ade4f069b',1,'SVF::IRGraph::getVarargNode()'],['../classSVF_1_1SVFIRBuilder.html#a3fe99644b2bf5f0f9b2b21a56a400ad4',1,'SVF::SVFIRBuilder::getVarargNode()']]],
   ['getvarargsym',['getVarargSym',['../classSVF_1_1SymbolTableInfo.html#aec3fd21a11f760ca8684e390c6948f02',1,'SVF::SymbolTableInfo']]],
+  ['getvariabledkind',['getVariabledKind',['../classSVF_1_1GrammarBase.html#ad7321168f53baa55098f7c714ec53f1e',1,'SVF::GrammarBase']]],
   ['getvartoval',['getVarToVal',['../classSVF_1_1ExeState.html#abf1237f5e4661a2da6e479f147957b18',1,'SVF::ExeState']]],
   ['getvcallidx',['getVCallIdx',['../namespaceSVF_1_1cppUtil.html#ad2a35c1d2e357690e634bb250a68795d',1,'SVF::cppUtil']]],
   ['getvcallthisptr',['getVCallThisPtr',['../namespaceSVF_1_1cppUtil.html#a7c9507812041b5de8dbbca5b602fefbd',1,'SVF::cppUtil']]],

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

@@ -13,17 +13,17 @@ var searchData=
   ['icfgedgek',['ICFGEdgeK',['../classSVF_1_1ICFGEdge.html#a395c34788e98950bc43e8cb44313e429',1,'SVF::ICFGEdge']]],
   ['icfgedgeset',['ICFGEdgeSet',['../classSVF_1_1SVFLoop.html#af1951774580ee80d20ca5a139e8f913f',1,'SVF::SVFLoop']]],
   ['icfgedgesetty',['ICFGEdgeSetTy',['../classSVF_1_1ICFG.html#a20ea3e37e9c3c7d3138ff593041a8e47',1,'SVF::ICFG::ICFGEdgeSetTy()'],['../classSVF_1_1ICFGEdge.html#a3da5a0bad1b4c08803f1f06393649f96',1,'SVF::ICFGEdge::ICFGEdgeSetTy()']]],
-  ['icfgnode',['ICFGNode',['../classSVF_1_1ICFGNode.html',1,'SVF::ICFGNode'],['../classSVF_1_1VFGNode.html#a54c631f1e39be144c0cd25373f6b98b8',1,'SVF::VFGNode::icfgNode()'],['../classSVF_1_1SVFStmt.html#a50046a1500ec6e2819ef55162e70cc71',1,'SVF::SVFStmt::icfgNode()'],['../classSVF_1_1ICFGNode.html#ae6fe836e269ac36f14b2d2b1499a11e6',1,'SVF::ICFGNode::ICFGNode()']]],
+  ['icfgnode',['ICFGNode',['../classSVF_1_1ICFGNode.html',1,'SVF::ICFGNode'],['../classSVF_1_1ICFGNode.html#ae6fe836e269ac36f14b2d2b1499a11e6',1,'SVF::ICFGNode::ICFGNode()'],['../classSVF_1_1VFGNode.html#a54c631f1e39be144c0cd25373f6b98b8',1,'SVF::VFGNode::icfgNode()'],['../classSVF_1_1SVFStmt.html#a50046a1500ec6e2819ef55162e70cc71',1,'SVF::SVFStmt::icfgNode()']]],
   ['icfgnode_2eh',['ICFGNode.h',['../ICFGNode_8h.html',1,'']]],
   ['icfgnode2ptasvfstmtsmap',['icfgNode2PTASVFStmtsMap',['../classSVF_1_1SVFIR.html#aaae756185bbd5b7175e96f8928a989c2',1,'SVF::SVFIR']]],
-  ['icfgnode2svfstmtsmap',['icfgNode2SVFStmtsMap',['../classSVF_1_1SVFIR.html#a86c0c23d854b034d741d9d8891debab7',1,'SVF::SVFIR::icfgNode2SVFStmtsMap()'],['../classSVF_1_1SVFIR.html#a4666dabcbeb3f40f96a0694ce2f07eb0',1,'SVF::SVFIR::ICFGNode2SVFStmtsMap()']]],
+  ['icfgnode2svfstmtsmap',['ICFGNode2SVFStmtsMap',['../classSVF_1_1SVFIR.html#a4666dabcbeb3f40f96a0694ce2f07eb0',1,'SVF::SVFIR::ICFGNode2SVFStmtsMap()'],['../classSVF_1_1SVFIR.html#a86c0c23d854b034d741d9d8891debab7',1,'SVF::SVFIR::icfgNode2SVFStmtsMap()']]],
   ['icfgnodeidtonodemapty',['ICFGNodeIDToNodeMapTy',['../classSVF_1_1ICFG.html#af1fe5708c6f67fd87fa1edaa6c73ff5d',1,'SVF::ICFG']]],
   ['icfgnodek',['ICFGNodeK',['../classSVF_1_1ICFGNode.html#a74f598c1c86b023680bb2685aa8ab376',1,'SVF::ICFGNode']]],
   ['icfgnodes',['icfgNodes',['../classSVF_1_1SVFLoop.html#a062e4b336b9b8315a9fc1107c9cab840',1,'SVF::SVFLoop']]],
   ['icfgnodesbegin',['ICFGNodesBegin',['../classSVF_1_1SVFLoop.html#a39d7db54e8dd092fd5420c5332210ed1',1,'SVF::SVFLoop']]],
   ['icfgnodesend',['ICFGNodesEnd',['../classSVF_1_1SVFLoop.html#a4c96835d38a55423b70b2ce100d76dd2',1,'SVF::SVFLoop']]],
   ['icfgnodeset',['ICFGNodeSet',['../classSVF_1_1ICFGStat.html#a69670ae14f5ec47728e2ddc7dd4dec84',1,'SVF::ICFGStat::ICFGNodeSet()'],['../classSVF_1_1SVFLoop.html#a4519b374ff32534797ad2afe1c1f672f',1,'SVF::SVFLoop::ICFGNodeSet()']]],
-  ['icfgnodetosvfloopvec',['ICFGNodeToSVFLoopVec',['../classSVF_1_1ICFG.html#a4288dd1d729524b8e8a92954852a2317',1,'SVF::ICFG::ICFGNodeToSVFLoopVec()'],['../classSVF_1_1ICFG.html#a7d6aeecb00d77600a204a72d60023d54',1,'SVF::ICFG::icfgNodeToSVFLoopVec()']]],
+  ['icfgnodetosvfloopvec',['icfgNodeToSVFLoopVec',['../classSVF_1_1ICFG.html#a7d6aeecb00d77600a204a72d60023d54',1,'SVF::ICFG::icfgNodeToSVFLoopVec()'],['../classSVF_1_1ICFG.html#a4288dd1d729524b8e8a92954852a2317',1,'SVF::ICFG::ICFGNodeToSVFLoopVec()']]],
   ['icfgprinter',['ICFGPrinter',['../classSVF_1_1ICFGPrinter.html',1,'SVF::ICFGPrinter'],['../classSVF_1_1ICFGPrinter.html#ab51ba2c92e69d3688b0a185b4b1d69cb',1,'SVF::ICFGPrinter::ICFGPrinter()']]],
   ['icfgstat',['ICFGStat',['../classSVF_1_1ICFGStat.html',1,'SVF::ICFGStat'],['../classSVF_1_1ICFGStat.html#a3bbad3d1c0ab0cad3cc4b7aa069d1f9f',1,'SVF::ICFGStat::ICFGStat()']]],
   ['icfgstat_2eh',['ICFGStat.h',['../ICFGStat_8h.html',1,'']]],
@@ -116,13 +116,15 @@ var searchData=
   ['insertattribute',['insertAttribute',['../classSVF_1_1GrammarBase.html#aa188ee22955b98c31abbf2b339b64d20',1,'SVF::GrammarBase']]],
   ['insertelementinst',['InsertElementInst',['../SVF-FE_2BasicTypes_8h.html#aca8159b0dbaf5b71dc69b9d9c7b200ec',1,'BasicTypes.h']]],
   ['insertkey',['insertKey',['../namespaceSVF_1_1SVFUtil.html#aeecfaf26800dcebf0b079395126bc7f7',1,'SVF::SVFUtil::insertKey(const Key &key, KeySet &keySet)'],['../namespaceSVF_1_1SVFUtil.html#a4f75b8313eb2b1e5a4c798a01cb99471',1,'SVF::SVFUtil::insertKey(const NodeID &key, NodeBS &keySet)']]],
-  ['insertnonterminalkind',['insertNonTerminalKind',['../classSVF_1_1GrammarBase.html#ad3351ced90fd47212bb776f7ab8ea7ca',1,'SVF::GrammarBase']]],
+  ['insertnonterminalkind',['insertNonterminalKind',['../classSVF_1_1GrammarBase.html#ac15b20ef3698ddab09c4c60e302ea4a0',1,'SVF::GrammarBase']]],
+  ['insertnonterminalsymbol',['insertNonTerminalSymbol',['../classSVF_1_1GrammarBase.html#a63389968c8d246a84562a8d17e08790b',1,'SVF::GrammarBase']]],
   ['insertphi',['insertPHI',['../classSVF_1_1MemSSA.html#acc6f72d96cf29e36093ba08ea86b8983',1,'SVF::MemSSA']]],
+  ['insertsymbol',['insertSymbol',['../classSVF_1_1GrammarBase.html#a3c16f37c05de31fbd2be1ae9c0961e84',1,'SVF::GrammarBase']]],
   ['insertterminalkind',['insertTerminalKind',['../classSVF_1_1GrammarBase.html#ad2f1a578ba72a2b600014b21b6f2d542',1,'SVF::GrammarBase']]],
   ['inserttocflgrammar',['insertToCFLGrammar',['../classSVF_1_1CFGNormalizer.html#ad08f183a1b8ca69201f965f224e92950',1,'SVF::CFGNormalizer']]],
   ['insertvalueinst',['InsertValueInst',['../SVF-FE_2BasicTypes_8h.html#a5ef6dd0250254e2609a8f35ece1d57c5',1,'BasicTypes.h']]],
   ['inst',['inst',['../classSVF_1_1IntraICFGNode.html#ac160eae9228d5b6627a6ca74da0b03e4',1,'SVF::IntraICFGNode::inst()'],['../classSVF_1_1LoadMU.html#a7bbac3ff5455aa1340f348c7cb239c46',1,'SVF::LoadMU::inst()'],['../classSVF_1_1StoreCHI.html#a6e58e7cde1f417ec3feaef98f6f74be2',1,'SVF::StoreCHI::inst()'],['../classSVF_1_1CxtStmt.html#a237b8738885e57d5a9b984221f611567',1,'SVF::CxtStmt::inst()']]],
-  ['inst2labelmap',['Inst2LabelMap',['../classSVF_1_1SVFStmt.html#a5a3db6b1335b4adc55b961a6f480f228',1,'SVF::SVFStmt::Inst2LabelMap()'],['../classSVF_1_1SVFStmt.html#abb83549118bcd7216a053d82f7180d1c',1,'SVF::SVFStmt::inst2LabelMap()']]],
+  ['inst2labelmap',['inst2LabelMap',['../classSVF_1_1SVFStmt.html#abb83549118bcd7216a053d82f7180d1c',1,'SVF::SVFStmt::inst2LabelMap()'],['../classSVF_1_1SVFStmt.html#a5a3db6b1335b4adc55b961a6f480f228',1,'SVF::SVFStmt::Inst2LabelMap()']]],
   ['inst_5fiterator',['inst_iterator',['../SVF-FE_2BasicTypes_8h.html#a160997c1a0fb1000445d04b89d9c1323',1,'BasicTypes.h']]],
   ['instance',['INSTANCE',['../classSVF_1_1DCHEdge.html#a9ab4cd83d9ee475d3d8445cd91839726a3e807b4caeb170c5cd1e855ac1a92d77',1,'SVF::DCHEdge']]],
   ['instantce',['INSTANTCE',['../classSVF_1_1CHEdge.html#a26280c3b724551036f7e3ba2b5922676a8721eaefd547d6ba5229463d644815f4',1,'SVF::CHEdge']]],
@@ -399,6 +401,7 @@ var searchData=
   ['isouticfgedge',['isOutICFGEdge',['../classSVF_1_1SVFLoop.html#a5b2ff96defd83686c2737cafa0e1cc83',1,'SVF::SVFLoop']]],
   ['isoutofbudgetdpm',['isOutOfBudgetDpm',['../classSVF_1_1DDAVFSolver.html#a0b1f774883adc7d535f8363bf3c8b1e8',1,'SVF::DDAVFSolver']]],
   ['isoutofbudgetquery',['isOutOfBudgetQuery',['../classSVF_1_1DDAVFSolver.html#a7994236bff84ba8244592fdf5e546734',1,'SVF::DDAVFSolver']]],
+  ['isoverwrittenappfunction',['isOverwrittenAppFunction',['../classSVF_1_1ExtAPI.html#a5ef7edb1664ab87f00418e7808d00258',1,'SVF::ExtAPI']]],
   ['isparforsite',['isParForSite',['../classSVF_1_1ThreadCallGraph.html#ae18f0b3245694145f6d9262ee28c6453',1,'SVF::ThreadCallGraph']]],
   ['ispartialreachable',['isPartialReachable',['../classSVF_1_1ProgSlice.html#a3822badbbe9ac808296d5248f2dbf8e2',1,'SVF::ProgSlice']]],
   ['isphicopyedge',['isPhiCopyEdge',['../classSVF_1_1VFG.html#a8ddf15d89a1b11a7f7720b671f4f0295',1,'SVF::VFG']]],

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

@@ -6,5 +6,7 @@ var searchData=
   ['joinsitesend',['joinsitesEnd',['../classSVF_1_1ThreadCallGraph.html#a50502f398e5eac9c6da3e26ea6052057',1,'SVF::ThreadCallGraph']]],
   ['joinsitetoloopmap',['joinSiteToLoopMap',['../classSVF_1_1TCT.html#a5b1f44ffa732607a7800728befa5bc57',1,'SVF::TCT']]],
   ['json',['json',['../structerror.html#a9b123855d5dd48e86de846588462b39f',1,'error::json()'],['../cJSON_8cpp.html#ac3d010a5f321146bc39a696b90a35c37',1,'json(): cJSON.cpp']]],
+  ['json_5fopt_5ffunctiontype',['JSON_OPT_FUNCTIONTYPE',['../ExtAPI_8h.html#a8af07ec3fec2ac9636dfb81bb7a8961e',1,'ExtAPI.h']]],
+  ['json_5fopt_5foverwrite',['JSON_OPT_OVERWRITE',['../ExtAPI_8h.html#a6dec9d5ce6e777757e97065129d96874',1,'ExtAPI.h']]],
   ['jump_5fup_5fprob',['JUMP_UP_PROB',['../cuddInt_8c.html#a91b8f7055919a427c26d2ca5e5732548',1,'cuddInt.c']]]
 ];

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

@@ -14,7 +14,7 @@ var searchData=
   ['keytoidmap',['KeyToIDMap',['../classSVF_1_1PersistentPTData.html#aa4660a55bee52fc51248d694d475811f',1,'SVF::PersistentPTData::KeyToIDMap()'],['../classSVF_1_1PersistentDiffPTData.html#a4e706309fe4bb40b4424251888363215',1,'SVF::PersistentDiffPTData::KeyToIDMap()'],['../classSVF_1_1PersistentDFPTData.html#aee8871b4895d38bccb9078ad540f9f0f',1,'SVF::PersistentDFPTData::KeyToIDMap()'],['../classSVF_1_1PersistentVersionedPTData.html#a1927ccf9bb74b698f540f683e7f0d0f2',1,'SVF::PersistentVersionedPTData::KeyToIDMap()']]],
   ['kgrn',['KGRN',['../SVFUtil_8cpp.html#ac081c83b067273757f7a2e54a5957d41',1,'SVFUtil.cpp']]],
   ['kids',['kids',['../structDdNode.html#a4e99abf685381a90dcd5e9aa6a024791',1,'DdNode']]],
-  ['kind',['kind',['../classSVF_1_1CommonCHGraph.html#a4d3f2b9ed7ae8e87baf69525e9115071',1,'SVF::CommonCHGraph::kind()'],['../classSVF_1_1PTACallGraph.html#a6a5927a58cc777a0745bd0ca635f25b1',1,'SVF::PTACallGraph::kind()'],['../classSVF_1_1VFG.html#a3867c591a231bad0aa2e6ab7c095a42f',1,'SVF::VFG::kind()'],['../classSVF_1_1SVFValue.html#af9f71a3c0d055f5fed6831a6ecf40d67',1,'SVF::SVFValue::kind()'],['../classSVF_1_1GrammarBase.html#a7aef5c42fbd8a62dd4a541cc0e8e8187',1,'SVF::GrammarBase::Kind()'],['../classSVF_1_1CFLGraphBuilder.html#a20299631d2b85507af6d81861736db5e',1,'SVF::CFLGraphBuilder::Kind()'],['../classSVF_1_1CFLGraph.html#a27444bf84135748d32291cf0aa78ff81',1,'SVF::CFLGraph::Kind()']]],
+  ['kind',['Kind',['../classSVF_1_1GrammarBase.html#a7aef5c42fbd8a62dd4a541cc0e8e8187',1,'SVF::GrammarBase::Kind()'],['../classSVF_1_1CFLGraphBuilder.html#a20299631d2b85507af6d81861736db5e',1,'SVF::CFLGraphBuilder::Kind()'],['../classSVF_1_1CFLGraph.html#a27444bf84135748d32291cf0aa78ff81',1,'SVF::CFLGraph::Kind()'],['../structSVF_1_1GrammarBase_1_1Symbol.html#aa60ddaabcb38b277d56b41bc9133ef71',1,'SVF::GrammarBase::Symbol::kind()'],['../classSVF_1_1CommonCHGraph.html#a4d3f2b9ed7ae8e87baf69525e9115071',1,'SVF::CommonCHGraph::kind()'],['../classSVF_1_1PTACallGraph.html#a6a5927a58cc777a0745bd0ca635f25b1',1,'SVF::PTACallGraph::kind()'],['../classSVF_1_1VFG.html#a3867c591a231bad0aa2e6ab7c095a42f',1,'SVF::VFG::kind()'],['../classSVF_1_1SVFValue.html#af9f71a3c0d055f5fed6831a6ecf40d67',1,'SVF::SVFValue::kind()']]],
   ['kind2attrsmap',['kind2AttrsMap',['../classSVF_1_1GrammarBase.html#a9782f4baeece8095f8a55cadd049ffce',1,'SVF::GrammarBase::kind2AttrsMap()'],['../classSVF_1_1CFLGraphBuilder.html#a5159cea5bc8d69715782ac5f56965a90',1,'SVF::CFLGraphBuilder::kind2AttrsMap()']]],
   ['kind2labelmap',['kind2LabelMap',['../classSVF_1_1CFLGraphBuilder.html#a461ff21d73f60cf96a3e36672d4c6a6c',1,'SVF::CFLGraphBuilder']]],
   ['kind2str',['kind2Str',['../classSVF_1_1GrammarBase.html#ac8ecc4293c5a63d2d30d0ca0832217d3',1,'SVF::GrammarBase']]],

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

@@ -44,12 +44,11 @@ var searchData=
   ['llvmmoduleset',['LLVMModuleSet',['../classSVF_1_1LLVMModuleSet.html',1,'SVF::LLVMModuleSet'],['../classSVF_1_1LLVMModuleSet.html#a8e70de9eefe2e188b10e214e073750e6',1,'SVF::LLVMModuleSet::LLVMModuleSet()'],['../classSVF_1_1LLVMModuleSet.html#ac59b07cafcbacc950eefea4082425b63',1,'SVF::LLVMModuleSet::llvmModuleSet()']]],
   ['llvmutil_2ecpp',['LLVMUtil.cpp',['../LLVMUtil_8cpp.html',1,'']]],
   ['llvmutil_2eh',['LLVMUtil.h',['../LLVMUtil_8h.html',1,'']]],
-  ['load',['load',['../classSVF_1_1ExeState.html#a80bd7f3746198459bbcb59274cebc013',1,'SVF::ExeState::load(const Z3Expr &loc)'],['../classSVF_1_1ExeState.html#a8b58d74bd718d66cde9ad7e868d6137a',1,'SVF::ExeState::load(u32_t objId)'],['../classSVF_1_1ConstraintEdge.html#a663af27955ba0c545f34fa1f076b7375a1bdeb9a06641d16b43391120812b40b2',1,'SVF::ConstraintEdge::Load()'],['../classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75a0dfbaf92c48e11aebc85760e6e799d80',1,'SVF::VFGNode::Load()'],['../classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a62ac8480c43fcc657c631ec0003b15d5',1,'SVF::SVFStmt::Load()']]],
+  ['load',['load',['../classSVF_1_1ExeState.html#a80bd7f3746198459bbcb59274cebc013',1,'SVF::ExeState::load(const Z3Expr &loc)'],['../classSVF_1_1ExeState.html#a8b58d74bd718d66cde9ad7e868d6137a',1,'SVF::ExeState::load(u32_t objId)'],['../classSVF_1_1ConstraintEdge.html#a663af27955ba0c545f34fa1f076b7375a1bdeb9a06641d16b43391120812b40b2',1,'SVF::ConstraintEdge::Load()'],['../classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75a0dfbaf92c48e11aebc85760e6e799d80',1,'SVF::VFGNode::Load()'],['../classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a62ac8480c43fcc657c631ec0003b15d5',1,'SVF::SVFStmt::Load()'],['../CFLGrammar_8txt.html#aac550daeb926fa3c77376959d6712fc6',1,'Load(): CFLGrammar.txt']]],
   ['load2musetmap',['load2MuSetMap',['../classSVF_1_1MemSSA.html#a5cf94edea3a5c35b3c1d9c6ae4b5f9d6',1,'SVF::MemSSA']]],
   ['loadcgedge',['LoadCGEdge',['../classSVF_1_1LoadCGEdge.html',1,'SVF::LoadCGEdge'],['../classSVF_1_1LoadCGEdge.html#a74ccf27a1e90fb8f47e9cecf7bd38cf7',1,'SVF::LoadCGEdge::LoadCGEdge()'],['../classSVF_1_1LoadCGEdge.html#a7dd1e2dd057e0985fd837222f8042019',1,'SVF::LoadCGEdge::LoadCGEdge(const LoadCGEdge &)'],['../classSVF_1_1LoadCGEdge.html#a36a21551732bbe3f7ff4babc0804bff2',1,'SVF::LoadCGEdge::LoadCGEdge(ConstraintNode *s, ConstraintNode *d, EdgeID id)']]],
   ['loadcgedgeset',['LoadCGEdgeSet',['../classSVF_1_1ConstraintGraph.html#a1cb9124b29720e7a5b39d83419f9cc17',1,'SVF::ConstraintGraph']]],
   ['loadedges',['LoadEdges',['../classSVF_1_1OfflineConsG.html#a832953ac86452c45f55aa6ff3c545f36',1,'SVF::OfflineConsG']]],
-  ['loadfilestring',['loadFileString',['../classSVF_1_1GrammarBuilder.html#a34bd036f78713dc9b016e32ce4458942',1,'SVF::GrammarBuilder']]],
   ['loadgeps',['loadGeps',['../classSVF_1_1FlowSensitiveTBHC.html#a5c96229c2da784a3db98ecbdd3137434',1,'SVF::FlowSensitiveTBHC']]],
   ['loadinedges',['loadInEdges',['../classSVF_1_1ConstraintNode.html#af7343134750575d3f335ed431f13a418',1,'SVF::ConstraintNode']]],
   ['loadinst',['LoadInst',['../namespaceSVF.html#a5a6e8ab900d5cd17ef72661006a7fbe0',1,'SVF']]],

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

@@ -104,7 +104,7 @@ var searchData=
   ['memregtocountermap',['MemRegToCounterMap',['../classSVF_1_1MemSSA.html#ae1aca020147c270deca2a1241e3847d0',1,'SVF::MemSSA']]],
   ['memregtoverstackmap',['MemRegToVerStackMap',['../classSVF_1_1MemSSA.html#aa9dbaf51f0498f3bd878827744208899',1,'SVF::MemSSA']]],
   ['memset',['memset',['../util_8h.html#a311babf232e543aa49200c238d683486',1,'util.h']]],
-  ['memssa',['MemSSA',['../classSVF_1_1MemSSA.html',1,'SVF::MemSSA'],['../classSVF_1_1SrcSnkDDA.html#ab6803f0a2b3507213ad2979b9b12f700',1,'SVF::SrcSnkDDA::memSSA()'],['../classSVF_1_1FlowSensitive.html#a76f6f19ac2b58ab4a10a2d7e6e24e42a',1,'SVF::FlowSensitive::memSSA()'],['../classSVF_1_1MemSSA.html#a6bd57451370f5f4c92ce212be4cddd15',1,'SVF::MemSSA::MemSSA()']]],
+  ['memssa',['MemSSA',['../classSVF_1_1MemSSA.html',1,'SVF::MemSSA'],['../classSVF_1_1MemSSA.html#a6bd57451370f5f4c92ce212be4cddd15',1,'SVF::MemSSA::MemSSA()'],['../classSVF_1_1SrcSnkDDA.html#ab6803f0a2b3507213ad2979b9b12f700',1,'SVF::SrcSnkDDA::memSSA()'],['../classSVF_1_1FlowSensitive.html#a76f6f19ac2b58ab4a10a2d7e6e24e42a',1,'SVF::FlowSensitive::memSSA()']]],
   ['memssa_2ecpp',['MemSSA.cpp',['../MemSSA_8cpp.html',1,'']]],
   ['memssa_2eh',['MemSSA.h',['../MemSSA_8h.html',1,'']]],
   ['memssadf',['MemSSADF',['../classSVF_1_1MemSSADF.html',1,'SVF::MemSSADF'],['../classSVF_1_1MemSSADF.html#aabae3337a22fc441fd2fdc2cf30b009c',1,'SVF::MemSSADF::MemSSADF()']]],

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

@@ -6,7 +6,7 @@ var searchData=
   ['nametochnodesmap',['NameToCHNodesMap',['../classSVF_1_1CHGraph.html#aedb20aca2fa11a070cfe28e14fd3552b',1,'SVF::CHGraph']]],
   ['nan',['nan',['../unionEpTypeUnion.html#a110c7a597a2ccf931b674e2338c64885',1,'EpTypeUnion::nan()'],['../cJSON_8cpp.html#a8abfcc76130f3f991d124dd22d7e69bc',1,'NAN(): cJSON.cpp']]],
   ['native_5fint_5fsize',['NATIVE_INT_SIZE',['../SVFBasicTypes_8h.html#ab8ca0fd9d0caa6817d305cae0f1cf022',1,'SVFBasicTypes.h']]],
-  ['neg',['neg',['../structcuddPathPair.html#a968dc3d34b592da2876517a687873281',1,'cuddPathPair::neg()'],['../classSVF_1_1BDDExprManager.html#ace340608e136c33867b3e1a986d65c81',1,'SVF::BDDExprManager::NEG()']]],
+  ['neg',['NEG',['../classSVF_1_1BDDExprManager.html#ace340608e136c33867b3e1a986d65c81',1,'SVF::BDDExprManager::NEG()'],['../structcuddPathPair.html#a968dc3d34b592da2876517a687873281',1,'cuddPathPair::neg()']]],
   ['never_5ffree_5fleak',['NEVER_FREE_LEAK',['../classSVF_1_1LeakChecker.html#a42f54433e5ca60928f3c329ab545842da3ec849f333df9530fb0a6a285c26b86d',1,'SVF::LeakChecker']]],
   ['newbvnumwords',['NewBvNumWords',['../classSVF_1_1NodeIDAllocator_1_1Clusterer.html#af3fe4b4098898ee38928c9db30ea0fe9',1,'SVF::NodeIDAllocator::Clusterer']]],
   ['newchild',['newchild',['../cJSON_8cpp.html#a81f8a22ccfd48d5d5f5b911c24892ca9',1,'cJSON.cpp']]],
@@ -16,7 +16,7 @@ var searchData=
   ['newpointstoid',['newPointsToId',['../classSVF_1_1PersistentPointsToCache.html#a52ec4a787a199bb4d7553e8bafa9c127',1,'SVF::PersistentPointsToCache']]],
   ['newsbvnumwords',['NewSbvNumWords',['../classSVF_1_1NodeIDAllocator_1_1Clusterer.html#a779446e2fe92518401f1732fb809f066',1,'SVF::NodeIDAllocator::Clusterer']]],
   ['newssaname',['newSSAName',['../classSVF_1_1MemSSA.html#a381a35d48ce2f8e348ddbbb9ce526ca8',1,'SVF::MemSSA']]],
-  ['newterminalsubscript',['newTerminalSubscript',['../classSVF_1_1CFLGrammar.html#a505980f327852aca64bb372f1f87b1cd',1,'SVF::CFLGrammar']]],
+  ['newterminalsubscript',['newTerminalSubscript',['../classSVF_1_1CFLGrammar.html#afdd0808aa938d854b3fc7ba9a9f3c485',1,'SVF::CFLGrammar']]],
   ['next',['next',['../structDdNode.html#a9422352d3b46de31b325d1cf18b9f25f',1,'DdNode::next()'],['../structDdHook.html#af30b5d30fbe9fe96c61bf418c75f1038',1,'DdHook::next()'],['../structDdLocalCache.html#a0db45346abb7d4d58d8631f6236341a8',1,'DdLocalCache::next()'],['../structDdHashItem.html#a8552215a502b76f939920236cf86a20f',1,'DdHashItem::next()'],['../structDdSubtable.html#ab7d4e44285966307d5683079096d3ab2',1,'DdSubtable::next()'],['../structMove.html#a66ffd949928e547d99bd3192616f2c5e',1,'Move::next()'],['../structDdQueueItem.html#a0d21b7869d18ec60019c1bffaacf0a16',1,'DdQueueItem::next()'],['../structst__table__entry.html#a8c7fef89f13d76633cd71d595d39181d',1,'st_table_entry::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']]],
   ['nextdead',['nextDead',['../structDdManager.html#adfd3bf56eb28cf1bb21294982a4c8cb5',1,'DdManager']]],
   ['nextdyn',['nextDyn',['../structDdManager.html#a832f5099477ac37dbce551565c61496d',1,'DdManager']]],
@@ -107,7 +107,7 @@ var searchData=
   ['numinit',['numInit',['../classSVF_1_1TypeBasedHeapCloning.html#a4c658be1ade99ad1e848cd80332e38ce',1,'SVF::TypeBasedHeapCloning']]],
   ['numnodes',['numNodes',['../classSVF_1_1NodeIDAllocator.html#a8e76e0da58f0a5bdbd8118ac419cfa62',1,'SVF::NodeIDAllocator']]],
   ['numnontrivialregionobjects',['NumNonTrivialRegionObjects',['../classSVF_1_1NodeIDAllocator_1_1Clusterer.html#a1bf9461c717e8dabaee6a57f3d76d61f',1,'SVF::NodeIDAllocator::Clusterer']]],
-  ['numobjects',['NumObjects',['../classSVF_1_1NodeIDAllocator_1_1Clusterer.html#afa74c5ccd22bebe0b76db33066d8b498',1,'SVF::NodeIDAllocator::Clusterer::NumObjects()'],['../classSVF_1_1NodeIDAllocator.html#a190c729a3f3f622f82cee4917946b50f',1,'SVF::NodeIDAllocator::numObjects()']]],
+  ['numobjects',['numObjects',['../classSVF_1_1NodeIDAllocator.html#a190c729a3f3f622f82cee4917946b50f',1,'SVF::NodeIDAllocator::numObjects()'],['../classSVF_1_1NodeIDAllocator_1_1Clusterer.html#afa74c5ccd22bebe0b76db33066d8b498',1,'SVF::NodeIDAllocator::Clusterer::NumObjects()']]],
   ['numofactualin',['numOfActualIn',['../classSVF_1_1SVFGStat.html#a5365744d2ec3594e2255d274f7256569',1,'SVF::SVFGStat']]],
   ['numofactualout',['numOfActualOut',['../classSVF_1_1SVFGStat.html#a122555f5c4b9746cc2b7f38c7cd6b505',1,'SVF::SVFGStat']]],
   ['numofactualparam',['numOfActualParam',['../classSVF_1_1SVFGStat.html#a0494c59483520b57acdca95952c93d76',1,'SVF::SVFGStat']]],
@@ -170,7 +170,7 @@ var searchData=
   ['numofmhpld',['numOfMHPLd',['../classSVF_1_1MTAAnnotator.html#a29e0123620ab072fddc45331c6aa46e8',1,'SVF::MTAAnnotator']]],
   ['numofmhpqueries',['numOfMHPQueries',['../classSVF_1_1MHP.html#ab8bd382e0c70b0feb2a291ecc4043106',1,'SVF::MHP']]],
   ['numofmhpst',['numOfMHPSt',['../classSVF_1_1MTAAnnotator.html#a3a53e90b4f361d1298983bc89795b3d2',1,'SVF::MTAAnnotator']]],
-  ['numofmssaphi',['NumOfMSSAPhi',['../classSVF_1_1MemSSAStat.html#a4b598cb1d06c4c0963787036862b1c3d',1,'SVF::MemSSAStat::NumOfMSSAPhi()'],['../classSVF_1_1SVFGStat.html#a9fc87025af3b7e54442e78f46ebe0360',1,'SVF::SVFGStat::numOfMSSAPhi()']]],
+  ['numofmssaphi',['numOfMSSAPhi',['../classSVF_1_1SVFGStat.html#a9fc87025af3b7e54442e78f46ebe0360',1,'SVF::SVFGStat::numOfMSSAPhi()'],['../classSVF_1_1MemSSAStat.html#a4b598cb1d06c4c0963787036862b1c3d',1,'SVF::MemSSAStat::NumOfMSSAPhi()']]],
   ['numofnewsvfgedges',['numOfNewSVFGEdges',['../classSVF_1_1MTASVFGBuilder.html#a019a4597074fdad6e51d936ed4ead0d9',1,'SVF::MTASVFGBuilder']]],
   ['numofnodes',['numOfNodes',['../classSVF_1_1ICFGStat.html#a8e71a19c266aacd7acb1fee6bb339788',1,'SVF::ICFGStat::numOfNodes()'],['../classSVF_1_1SVFGStat.html#ab499c24856a990dd4adb366107eb3302',1,'SVF::SVFGStat::numOfNodes()']]],
   ['numofnodesincycles',['NumOfNodesInCycles',['../classSVF_1_1PTAStat.html#aea3e95097b3b9d326bef0d36f17e51a5',1,'SVF::PTAStat']]],