svf-tools 1.0.620 → 1.0.622

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

@@ -16,6 +16,7 @@ var searchData=
   ['_5fbr_5fcond',['_br_cond',['../classSVF_1_1SVFIR2ItvExeState.html#a76bc62f9bcaf8a0513ffd11ccc23bc3b',1,'SVF::SVFIR2ItvExeState']]],
   ['_5fcallgraph',['_callGraph',['../classSVF_1_1DDAVFSolver.html#abf24080617c6a74abed9f0bb0bc9c0c5',1,'SVF::DDAVFSolver']]],
   ['_5fcallgraphscc',['_callGraphSCC',['../classSVF_1_1DDAVFSolver.html#a4c307d486756daa1e79595b1e9edc40a',1,'SVF::DDAVFSolver']]],
+  ['_5fcfldata',['_cflData',['../classSVF_1_1POCRAlias.html#a4a225814387ebd9ae2b32026579a6b4f',1,'SVF::POCRAlias::_cflData()'],['../classSVF_1_1CFLDataBuilder.html#a33912d00ef8eb5e205cb9b0177c60f77',1,'SVF::CFLDataBuilder::_cflData()'],['../classSVF_1_1POCRSolver.html#a3ed67db7c5bbddee09b7fefdec3ca538',1,'SVF::POCRSolver::_cflData()']]],
   ['_5fclient',['_client',['../classSVF_1_1ContextDDA.html#ae3b04859ed69c47302177988aa68a70b',1,'SVF::ContextDDA::_client()'],['../classSVF_1_1DDAPass.html#a8bb61315bc5d1816f4e07140864af47f',1,'SVF::DDAPass::_client()'],['../classSVF_1_1FlowDDA.html#a0e10ce1de61977d2fbb3ad2f64df64b9',1,'SVF::FlowDDA::_client()']]],
   ['_5fcomponents',['_components',['../classSVF_1_1WtoCycle.html#aa90f97dbcfe22d16cb3142908b3bf2a9',1,'SVF::WtoCycle::_components()'],['../classSVF_1_1Wto.html#a32ba62eb2b084c9b7bd6f628b378135a',1,'SVF::Wto::_components()']]],
   ['_5fcondpts',['_condPts',['../classSVF_1_1CondPointsToSet.html#ad0e1a70889a7bf2cb1b201a129128c52',1,'SVF::CondPointsToSet']]],
@@ -27,7 +28,7 @@ var searchData=
   ['_5fdfn_5ftable',['_dfn_table',['../classSVF_1_1Wto.html#afef30c109d468c59b1ae6300f6ea41e0',1,'SVF::Wto']]],
   ['_5fenditer',['_endIter',['../classSVF_1_1CondPointsToSet_1_1CondPtsSetIterator.html#a9ffed93e0d4ae4b1431689b7fa5d6082',1,'SVF::CondPointsToSet::CondPtsSetIterator']]],
   ['_5fes',['_es',['../classSVF_1_1SVFIR2ItvExeState.html#ab6b5ed878ce12016424c48c6252a764e',1,'SVF::SVFIR2ItvExeState']]],
-  ['_5fgraph',['_graph',['../classSVF_1_1SrcSnkSolver.html#a87242199e12fce5c5978ed0a4baa6b09',1,'SVF::SrcSnkSolver::_graph()'],['../classSVF_1_1GraphReachSolver.html#af486b67b972d797107ec82f3f7988668',1,'SVF::GraphReachSolver::_graph()'],['../classSVF_1_1SCCDetection.html#a2123596f26729d61b241cf468d8925d8',1,'SVF::SCCDetection::_graph()'],['../classSVF_1_1WPASolver.html#a87e9adb7fb0e0a42abaf90adac27a9c0',1,'SVF::WPASolver::_graph()']]],
+  ['_5fgraph',['_graph',['../classSVF_1_1CFLDataBuilder.html#a46acc7c901770ea22c66011f9c68c55c',1,'SVF::CFLDataBuilder::_graph()'],['../classSVF_1_1SrcSnkSolver.html#a87242199e12fce5c5978ed0a4baa6b09',1,'SVF::SrcSnkSolver::_graph()'],['../classSVF_1_1GraphReachSolver.html#af486b67b972d797107ec82f3f7988668',1,'SVF::GraphReachSolver::_graph()'],['../classSVF_1_1SCCDetection.html#a2123596f26729d61b241cf468d8925d8',1,'SVF::SCCDetection::_graph()'],['../classSVF_1_1WPASolver.html#a87e9adb7fb0e0a42abaf90adac27a9c0',1,'SVF::WPASolver::_graph()']]],
   ['_5fhead',['_head',['../classSVF_1_1WtoCycle.html#a43a9e3b8ff350fecb0aa167ff9dc903b',1,'SVF::WtoCycle::_head()'],['../classSVF_1_1Wto_1_1TailBuilder.html#a52ad7e0321f822574122682503ad44c7',1,'SVF::Wto::TailBuilder::_head()']]],
   ['_5fheadnesting',['_headNesting',['../classSVF_1_1Wto_1_1TailBuilder.html#aaa34042f6bf2dc8bf561fbf0ecff8ebf',1,'SVF::Wto::TailBuilder']]],
   ['_5fi',['_I',['../classSVF_1_1SCCDetection.html#a9105051438f60587df95a9dba618d008',1,'SVF::SCCDetection::_I()'],['../classSVF_1_1CSC.html#af58e474ee7605663fd04fce58dc029d1',1,'SVF::CSC::_I()']]],

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

@@ -33,6 +33,7 @@ var searchData=
   ['phinodemap',['phiNodeMap',['../classSVF_1_1SVFIR.html#a41abf665421dbfaef508b1eba0c91fb9',1,'SVF::SVFIR']]],
   ['phitime',['phiTime',['../classSVF_1_1FlowSensitive.html#aee7d59b7ad00cf1cf6e3fba19513aa42',1,'SVF::FlowSensitive']]],
   ['plainmappingfs',['PlainMappingFs',['../classSVF_1_1Options.html#a0123986b466dae50b2f12c71295c54f9',1,'SVF::Options']]],
+  ['pocralias',['POCRAlias',['../classSVF_1_1Options.html#a2f4f7e10e3f4f11645aafe63edeef26c',1,'SVF::Options']]],
   ['position',['position',['../structerror.html#a24de70a4d517ab351d80c18582cadb66',1,'error::position()'],['../cJSON_8cpp.html#a1c3580b00311725af8eb560f18555e0a',1,'position(): cJSON.cpp']]],
   ['possibilities',['possibilities',['../classOptionMap.html#a0e39650a4340e7ff4f214bc4223575eb',1,'OptionMap::possibilities()'],['../classOptionMultiple.html#aec251294a810d232e1f352a40126d82a',1,'OptionMultiple::possibilities()']]],
   ['possibilitydescriptions',['possibilityDescriptions',['../classOptionBase.html#aa6cc4a59e5801eff5d7dcdc0137e16a1',1,'OptionBase']]],
@@ -41,6 +42,7 @@ var searchData=
   ['predicate',['predicate',['../classSVF_1_1CmpStmt.html#a26fc263da6ab3fee40a335d367419328',1,'SVF::CmpStmt']]],
   ['predictptocc',['PredictPtOcc',['../classSVF_1_1Options.html#aed7bdea17fad08ceb0453b23f2f908bb',1,'SVF::Options']]],
   ['predinsts',['predInsts',['../classSVF_1_1SVFInstruction.html#ace4dc83c186f5ae888aa210439ae4c34',1,'SVF::SVFInstruction']]],
+  ['predmap',['predMap',['../classSVF_1_1CFLData.html#a2b4400347283831800ccd3db50230e2c',1,'SVF::CFLData']]],
   ['preemptivecomplements',['preemptiveComplements',['../classSVF_1_1PersistentPointsToCache.html#ad9a761bcece141764322247cc326bcbe',1,'SVF::PersistentPointsToCache']]],
   ['preemptiveintersections',['preemptiveIntersections',['../classSVF_1_1PersistentPointsToCache.html#ae80c5037ff49f70d9a87a83a8fcb07c7',1,'SVF::PersistentPointsToCache']]],
   ['preemptiveunions',['preemptiveUnions',['../classSVF_1_1PersistentPointsToCache.html#a98dad4f4d39904d90564f1a2279ac664',1,'SVF::PersistentPointsToCache']]],

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

@@ -60,6 +60,7 @@ var searchData=
   ['succbbs',['succBBs',['../classSVF_1_1SVFBasicBlock.html#a7c3a69644f5e1351aad5d0ce0048abfd',1,'SVF::SVFBasicBlock']]],
   ['successors',['successors',['../classSVF_1_1BranchStmt.html#a40854cd95fbae16ef8e370255d0e3cf5',1,'SVF::BranchStmt']]],
   ['succinsts',['succInsts',['../classSVF_1_1SVFInstruction.html#ad0e8b1042094fda42346bae211d3e679',1,'SVF::SVFInstruction']]],
+  ['succmap',['succMap',['../classSVF_1_1CFLData.html#a58bc39506945e1c7eaaf542c9e93aefa',1,'SVF::CFLData']]],
   ['succset',['succset',['../classSVF_1_1MTASVFGBuilder.html#ac909a7aa7de6cda8d2a89a9c7d2f4262',1,'SVF::MTASVFGBuilder']]],
   ['sval',['sval',['../classSVF_1_1SVFConstantInt.html#a484bcb1494a2c0c946e85f39f7961671',1,'SVF::SVFConstantInt']]],
   ['svfg',['svfg',['../classSVF_1_1CFLVF.html#aed71ea423497a4f64c8b62ee4187210e',1,'SVF::CFLVF::svfg()'],['../classSVF_1_1SVFGBuilder.html#af9f454c48ebf26376fca06cdcec0f9cc',1,'SVF::SVFGBuilder::svfg()'],['../classSVF_1_1ProgSlice.html#a457a759c552a1418538769d79d7a7dde',1,'SVF::ProgSlice::svfg()'],['../classSVF_1_1SrcSnkDDA.html#ae657ebdeae8a083cfec210859a0023e4',1,'SVF::SrcSnkDDA::svfg()'],['../classSVF_1_1FlowSensitive.html#aae032e5f5d53b131d0112dc8faa464a9',1,'SVF::FlowSensitive::svfg()']]],

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

@@ -21,13 +21,14 @@ var searchData=
   ['threadstmttointerleaving',['threadStmtToInterLeaving',['../classSVF_1_1MTAResultValidator.html#ac4a7773211a9c842639ac25b1a504c7e',1,'SVF::MTAResultValidator']]],
   ['threadstmttotheadinterleav',['threadStmtToTheadInterLeav',['../classSVF_1_1MHP.html#afcfc409e625b74cbefd240170627c541',1,'SVF::MHP']]],
   ['tid',['tid',['../classSVF_1_1CxtThreadStmt.html#ad96bacc3de1ce576ad397d19aa99a269',1,'SVF::CxtThreadStmt::tid()'],['../classSVF_1_1CxtThreadProc.html#a99b24e1be2bfb49569532c2c28c68969',1,'SVF::CxtThreadProc::tid()']]],
+  ['timeofbuildcfldata',['timeOfBuildCFLData',['../classSVF_1_1POCRAlias.html#a28c186dfb2ff9a6cc222215f7ca28b8e',1,'SVF::POCRAlias']]],
   ['timeofbuildcflgrammar',['timeOfBuildCFLGrammar',['../classSVF_1_1CFLBase.html#a0d3217f4c3796b58a98add5c92298ad2',1,'SVF::CFLBase']]],
   ['timeofbuildcflgraph',['timeOfBuildCFLGraph',['../classSVF_1_1CFLBase.html#a9453bf479ccd00bacb3b371fa6383a9c',1,'SVF::CFLBase']]],
   ['timeofbuildingllvmmodule',['timeOfBuildingLLVMModule',['../classSVF_1_1SVFStat.html#aa4950ec26b66a085ad38ac154b789db5',1,'SVF::SVFStat']]],
   ['timeofbuildingsvfir',['timeOfBuildingSVFIR',['../classSVF_1_1SVFStat.html#aea75388c973674686d1f2b7498b4095c',1,'SVF::SVFStat']]],
   ['timeofbuildingsymboltable',['timeOfBuildingSymbolTable',['../classSVF_1_1SVFStat.html#ae89293bc063bdc74a988e9c37c70321e',1,'SVF::SVFStat']]],
   ['timeofcollapse',['timeOfCollapse',['../classSVF_1_1AndersenBase.html#ad40b196c2c699bd115529b806d20de25',1,'SVF::AndersenBase']]],
-  ['timeofcreatemuchi',['TimeOfCreateMUCHI',['../classSVF_1_1MemSSAStat.html#a48c70f0ed1c7d031a3cd528035162e52',1,'SVF::MemSSAStat::TimeOfCreateMUCHI()'],['../classSVF_1_1MemSSA.html#a4d2418b7df74f23d8fd328f66e29f198',1,'SVF::MemSSA::timeOfCreateMUCHI()']]],
+  ['timeofcreatemuchi',['timeOfCreateMUCHI',['../classSVF_1_1MemSSA.html#a4d2418b7df74f23d8fd328f66e29f198',1,'SVF::MemSSA::timeOfCreateMUCHI()'],['../classSVF_1_1MemSSAStat.html#a48c70f0ed1c7d031a3cd528035162e52',1,'SVF::MemSSAStat::TimeOfCreateMUCHI()']]],
   ['timeofgeneratingmemregions',['timeOfGeneratingMemRegions',['../classSVF_1_1MemSSA.html#a37dca8a7d155de4870358146d219b5e5',1,'SVF::MemSSA::timeOfGeneratingMemRegions()'],['../classSVF_1_1MemSSAStat.html#a74c36654b7452aa94aa241881f0a83c5',1,'SVF::MemSSAStat::TimeOfGeneratingMemRegions()']]],
   ['timeofinsertingphi',['timeOfInsertingPHI',['../classSVF_1_1MemSSA.html#a3c7b5fa73fdc7c805ee3673fbe812b44',1,'SVF::MemSSA::timeOfInsertingPHI()'],['../classSVF_1_1MemSSAStat.html#a0c24822c8549af6a96e82312954fab9b',1,'SVF::MemSSAStat::TimeOfInsertingPHI()']]],
   ['timeofnormalizegrammar',['timeOfNormalizeGrammar',['../classSVF_1_1CFLBase.html#ad4d65dd4c3e173d014199ac6b08a5261',1,'SVF::CFLBase']]],
@@ -69,7 +70,7 @@ var searchData=
   ['type2typeinfo',['Type2TypeInfo',['../classSVF_1_1LLVMModuleSet.html#af2c555af91679d9e6d3009547ee11486',1,'SVF::LLVMModuleSet']]],
   ['type_5fpair',['type_pair',['../classSVF_1_1ExtAPI.html#a95ac45d2367b3d3124d5d98958e74cc5',1,'SVF::ExtAPI']]],
   ['typedefs',['typedefs',['../classSVF_1_1DCHNode.html#abafa483be12690549fbcccaf4c3fa511',1,'SVF::DCHNode']]],
-  ['typeinfo',['typeInfo',['../classSVF_1_1MemObj.html#a750770ea992d39b22c8b2dda9aff2eaf',1,'SVF::MemObj::typeInfo()'],['../classSVF_1_1SVFType.html#a86ea48a882823de2e3e906220dc0111e',1,'SVF::SVFType::typeinfo()']]],
+  ['typeinfo',['typeinfo',['../classSVF_1_1SVFType.html#a86ea48a882823de2e3e906220dc0111e',1,'SVF::SVFType::typeinfo()'],['../classSVF_1_1MemObj.html#a750770ea992d39b22c8b2dda9aff2eaf',1,'SVF::MemObj::typeInfo()']]],
   ['typename',['typeName',['../classSVF_1_1DCHNode.html#a8a7b412262af7a90c9ef583b6a8c10fc',1,'SVF::DCHNode']]],
   ['typeprint',['TypePrint',['../classSVF_1_1Options.html#a83103f0d5f166e0bb062aa7d7b393ddd',1,'SVF::Options']]],
   ['typesystem',['typeSystem',['../classSVF_1_1PointerAnalysis.html#a219baed92b811d5519b056ad393fceed',1,'SVF::PointerAnalysis']]]

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

@@ -47,6 +47,7 @@ var searchData=
   ['chg',['chg',['../classSVF_1_1CHGBuilder.html#ab3471cc9afba5976c7e5fbd07dfb22dc',1,'SVF::CHGBuilder']]],
   ['chgraph',['chgraph',['../classSVF_1_1PointerAnalysis.html#a0c0fce2539bb9ec6c824f6584a0f6b33',1,'SVF::PointerAnalysis::chgraph()'],['../classSVF_1_1SVFIR.html#a31c54c878be428cc92cf08970fef422b',1,'SVF::SVFIR::chgraph()']]],
   ['child',['child',['../structcJSON.html#a401b274c2da358dac5c23ab8b2c71f85',1,'cJSON::child()'],['../cJSON_8cpp.html#ad00efb41ca386db28bacc7aefe79535c',1,'child(): cJSON.cpp']]],
+  ['children',['children',['../structSVF_1_1HybridData_1_1TreeNode.html#ab9fbeff34671b066d10611616909c683',1,'SVF::HybridData::TreeNode']]],
   ['cilocktospan',['ciLocktoSpan',['../classSVF_1_1LockAnalysis.html#afc4212873c3e05ac9506aac0a25f515a',1,'SVF::LockAnalysis']]],
   ['ckapi',['ckAPI',['../classSVF_1_1SaberCheckerAPI.html#a3e54cae9b4259da2332c7fc87d3df347',1,'SVF::SaberCheckerAPI']]],
   ['classname',['className',['../classSVF_1_1CHNode.html#ac7c18617b768a2988cf4eff7e849f397',1,'SVF::CHNode::className()'],['../structSVF_1_1cppUtil_1_1DemangledName.html#a5cd207bce618521166e6fa235014b297',1,'SVF::cppUtil::DemangledName::className()']]],

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

@@ -19,6 +19,7 @@ var searchData=
   ['dfinptsmap',['dfInPtsMap',['../classSVF_1_1MutableDFPTData.html#abb59ef7367e353e65b82b54dac509f36',1,'SVF::MutableDFPTData::dfInPtsMap()'],['../classSVF_1_1PersistentDFPTData.html#a6b892b707524127928e269f0f0bbe868',1,'SVF::PersistentDFPTData::dfInPtsMap()']]],
   ['dfoutptsmap',['dfOutPtsMap',['../classSVF_1_1MutableDFPTData.html#ad3c53ef1c8e221299f3afe078946fbe0',1,'SVF::MutableDFPTData::dfOutPtsMap()'],['../classSVF_1_1PersistentDFPTData.html#ad77d7ccad393c995813f8c433c249dfc',1,'SVF::PersistentDFPTData::dfOutPtsMap()']]],
   ['dfreechecker',['DFREECHECKER',['../saber_8cpp.html#ab233df6b8c190aa2c26fa20bd1ac7c52',1,'saber.cpp']]],
+  ['diff',['diff',['../classSVF_1_1CFLData.html#ab7db3b1ae0698c64b02001dd9943c311',1,'SVF::CFLData']]],
   ['diffpts',['DiffPts',['../classSVF_1_1Options.html#ae782f25eaee9ac363c733b6ac609fbce',1,'SVF::Options']]],
   ['diffptsmap',['diffPtsMap',['../classSVF_1_1MutableDiffPTData.html#a9ee7874e987e93eb4cb9d75ed08effd5',1,'SVF::MutableDiffPTData::diffPtsMap()'],['../classSVF_1_1PersistentDiffPTData.html#ac54339952e2734a6affdaa543fb3ed22',1,'SVF::PersistentDiffPTData::diffPtsMap()']]],
   ['diffwave',['diffWave',['../classSVF_1_1AndersenWaveDiff.html#add4dcb6d74a8ce8747bcac5f740cd672',1,'SVF::AndersenWaveDiff']]],

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

@@ -16,6 +16,7 @@ var searchData=
   ['elemidxvec',['elemIdxVec',['../classSVF_1_1StInfo.html#a807ae5cb4d277c79f8b2c9ecde5f12ea',1,'SVF::StInfo']]],
   ['elemnum',['elemNum',['../classSVF_1_1ObjTypeInfo.html#a5fdcd5f3b7550e7bdc30c8c030c6226d',1,'SVF::ObjTypeInfo']]],
   ['else',['else',['../cJSON_8cpp.html#a0544c3fe466e421738dae463968b70ba',1,'cJSON.cpp']]],
+  ['emptydata',['emptyData',['../classSVF_1_1CFLData.html#ad6d63106c4db16659cf29a7e0c31c6bc',1,'SVF::CFLData']]],
   ['enablealiascheck',['EnableAliasCheck',['../classSVF_1_1Options.html#a5f07ff361307017b35fb6b9a97919a73',1,'SVF::Options']]],
   ['enablecontext',['ENABLECONTEXT',['../dda_8cpp.html#a0a4ada5aa37179525df2c87a5c6e2685',1,'dda.cpp']]],
   ['enablefield',['ENABLEFIELD',['../dda_8cpp.html#a33384804c17c2e3f457d80b47b114e1d',1,'dda.cpp']]],

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

@@ -28,6 +28,6 @@ var searchData=
   ['grammar',['grammar',['../classSVF_1_1CFLBase.html#af7b0e90b8f8998ab6cf4e05155c7a503',1,'SVF::CFLBase::grammar()'],['../classSVF_1_1CFLSolver.html#aad88cf557ec43127de859b765505df49',1,'SVF::CFLSolver::grammar()'],['../classSVF_1_1GrammarBuilder.html#a7b81810150ce896801e4e6a831ab98aa',1,'SVF::GrammarBuilder::grammar()']]],
   ['grammarbase',['grammarBase',['../classSVF_1_1CFLBase.html#aef3da4ce970597586757cafd2a435c1f',1,'SVF::CFLBase']]],
   ['grammarfilename',['GrammarFilename',['../classSVF_1_1Options.html#ad09017ae2e1010fbba5c086a4772750f',1,'SVF::Options']]],
-  ['graph',['graph',['../classSVF_1_1CFLBase.html#a8101683062b9a71c0b2309cbdfb7b26f',1,'SVF::CFLBase::graph()'],['../classSVF_1_1CFLSolver.html#aedd6c605c4c381c738f4c6682c40d9f2',1,'SVF::CFLSolver::graph()'],['../classSVF_1_1SVFGStat.html#a3d06ead4c3222ce8a0535d9f3d504c3d',1,'SVF::SVFGStat::graph()'],['../structSVF_1_1Inverse.html#a2037408b7047e9265b4b14e54bb584a2',1,'SVF::Inverse::Graph()']]],
+  ['graph',['Graph',['../structSVF_1_1Inverse.html#a2037408b7047e9265b4b14e54bb584a2',1,'SVF::Inverse::Graph()'],['../classSVF_1_1CFLBase.html#a8101683062b9a71c0b2309cbdfb7b26f',1,'SVF::CFLBase::graph()'],['../classSVF_1_1CFLSolver.html#aedd6c605c4c381c738f4c6682c40d9f2',1,'SVF::CFLSolver::graph()'],['../classSVF_1_1SVFGStat.html#a3d06ead4c3222ce8a0535d9f3d504c3d',1,'SVF::SVFGStat::graph()']]],
   ['graphtxt',['Graphtxt',['../classSVF_1_1Options.html#a53f783c80f368bcdca6c7620229d6f8e',1,'SVF::Options']]]
 ];

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

@@ -9,7 +9,7 @@ var searchData=
   ['icfgnode2svfstmtsmap',['icfgNode2SVFStmtsMap',['../classSVF_1_1SVFIR.html#a86c0c23d854b034d741d9d8891debab7',1,'SVF::SVFIR']]],
   ['icfgnodes',['icfgNodes',['../classSVF_1_1SVFLoop.html#a062e4b336b9b8315a9fc1107c9cab840',1,'SVF::SVFLoop']]],
   ['icfgnodetosvfloopvec',['icfgNodeToSVFLoopVec',['../classSVF_1_1ICFG.html#a7d6aeecb00d77600a204a72d60023d54',1,'SVF::ICFG']]],
-  ['id',['ID',['../classSVF_1_1DDAPass.html#adb39fc24e3d45e558ac36f37b5dc3565',1,'SVF::DDAPass::ID()'],['../classSVF_1_1BreakConstantGEPs.html#a8010c4f5824ed5ebcb7ae283473ada22',1,'SVF::BreakConstantGEPs::ID()'],['../classSVF_1_1MergeFunctionRets.html#a7a763ae6c9d3c72345495f01b0b4b458',1,'SVF::MergeFunctionRets::ID()'],['../classSVF_1_1WPAPass.html#a2674527c92cdef223e655d449f0811d4',1,'SVF::WPAPass::ID()'],['../classSVF_1_1GenericNode.html#aaa53457604fe4cf4cb97ca85d33907b0',1,'SVF::GenericNode::id()']]],
+  ['id',['id',['../structSVF_1_1HybridData_1_1TreeNode.html#aee14edee2d81613c48c00b090ff0e66b',1,'SVF::HybridData::TreeNode::id()'],['../classSVF_1_1GenericNode.html#aaa53457604fe4cf4cb97ca85d33907b0',1,'SVF::GenericNode::id()'],['../classSVF_1_1DDAPass.html#adb39fc24e3d45e558ac36f37b5dc3565',1,'SVF::DDAPass::ID()'],['../classSVF_1_1BreakConstantGEPs.html#a8010c4f5824ed5ebcb7ae283473ada22',1,'SVF::BreakConstantGEPs::ID()'],['../classSVF_1_1MergeFunctionRets.html#a7a763ae6c9d3c72345495f01b0b4b458',1,'SVF::MergeFunctionRets::ID()'],['../classSVF_1_1WPAPass.html#a2674527c92cdef223e655d449f0811d4',1,'SVF::WPAPass::ID()']]],
   ['idcounter',['idCounter',['../classSVF_1_1PersistentPointsToCache.html#ad8d24772f7503e0e735f546506d2bcc5',1,'SVF::PersistentPointsToCache']]],
   ['idtocsmap',['idToCSMap',['../classSVF_1_1PTACallGraph.html#a5d6f63baad19589a9fd1e069631e18fa',1,'SVF::PTACallGraph']]],
   ['idtonodemap',['IDToNodeMap',['../classSVF_1_1GenericGraph.html#a47a1ef8b67b0c92f78b4457dc3bbfe71',1,'SVF::GenericGraph']]],
@@ -25,6 +25,7 @@ var searchData=
   ['indirectcallmap',['indirectCallMap',['../classSVF_1_1PTACallGraph.html#adcae44bd6788954e2e4e007bff03462c',1,'SVF::PTACallGraph']]],
   ['indirectcalls',['indirectCalls',['../classSVF_1_1PTACallGraphEdge.html#a66491523e4ccfdf2ff57e10cfd6f3074',1,'SVF::PTACallGraphEdge']]],
   ['indirectpropatime',['indirectPropaTime',['../classSVF_1_1FlowSensitive.html#a2feaa4b7a72989b311e9084a81320254',1,'SVF::FlowSensitive']]],
+  ['indmap',['indMap',['../classSVF_1_1HybridData.html#abec2faddf70b046941f146976c8d05df',1,'SVF::HybridData']]],
   ['inedgekindtosetmap',['InEdgeKindToSetMap',['../classSVF_1_1SVFVar.html#a0d918a6c8dd3b7b395d4c7161bcf9656',1,'SVF::SVFVar']]],
   ['inedges',['InEdges',['../classSVF_1_1GenericNode.html#a24971168130222400d9aa5f03610bff5',1,'SVF::GenericNode']]],
   ['inicfgedges',['inICFGEdges',['../classSVF_1_1SVFLoop.html#a869a289f556304706f525f02ba9bff98',1,'SVF::SVFLoop']]],

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

@@ -42,7 +42,7 @@ var searchData=
   ['lookupunions',['lookupUnions',['../classSVF_1_1PersistentPointsToCache.html#ace976f138cf1b8ab6bbf7a5c5d0b60b8',1,'SVF::PersistentPointsToCache']]],
   ['loopanalysis',['LoopAnalysis',['../classSVF_1_1Options.html#abfd13c7d998333290b39354178739f2c',1,'SVF::Options']]],
   ['loopanddom',['loopAndDom',['../classSVF_1_1SVFFunction.html#aefde3a0671e34541a4ad5d7a6dfaa5d1',1,'SVF::SVFFunction']]],
-  ['loopbound',['LoopBound',['../classSVF_1_1Options.html#a17f11eb3e9a3178395e8574a027b181e',1,'SVF::Options::LoopBound()'],['../classSVF_1_1SVFLoop.html#ac4e2c365e2a08477381802205029b85c',1,'SVF::SVFLoop::loopBound()']]],
+  ['loopbound',['loopBound',['../classSVF_1_1SVFLoop.html#ac4e2c365e2a08477381802205029b85c',1,'SVF::SVFLoop::loopBound()'],['../classSVF_1_1Options.html#a17f11eb3e9a3178395e8574a027b181e',1,'SVF::Options::LoopBound()']]],
   ['lowlink',['lowlink',['../structSVF_1_1VersionedFlowSensitive_1_1SCC_1_1NodeData.html#a6d66813dfb5338c22de62c100e951cf2',1,'SVF::VersionedFlowSensitive::SCC::NodeData']]],
   ['ls',['ls',['../classSVF_1_1NormalGepCGEdge.html#a7cbcaa28acde49ef0b03a8554a41344b',1,'SVF::NormalGepCGEdge::ls()'],['../classSVF_1_1GepStmt.html#a543a3f4801b22719f7b9677246bf2ac7',1,'SVF::GepStmt::ls()'],['../classSVF_1_1GepValVar.html#a2ee5e9a2e5a92b32fd81fda09b560ad6',1,'SVF::GepValVar::ls()'],['../classSVF_1_1GepObjVar.html#a55b057663180420c6bb09bf849d83f6b',1,'SVF::GepObjVar::ls()']]],
   ['lsa',['lsa',['../classSVF_1_1MTA.html#a80a44f3aa41d4259523c94044983c509',1,'SVF::MTA::lsa()'],['../classSVF_1_1RaceValidator.html#a6982b72e3e2551deab80d9e3fefaab64',1,'SVF::RaceValidator::lsa()'],['../classSVF_1_1MTAAnnotator.html#a42a5c0eac879be5e300583aa7d07beb0',1,'SVF::MTAAnnotator::lsa()']]]

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

@@ -32,7 +32,7 @@ var searchData=
   ['numgtintregions',['NumGtIntRegions',['../classSVF_1_1NodeIDAllocator_1_1Clusterer.html#ad7cb36a1f0f67864fb8290e9dfd7b639',1,'SVF::NodeIDAllocator::Clusterer']]],
   ['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']]],

package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01SVF_1_1SVFG_01_5_01_4.html

@@ -94,7 +94,7 @@ Public Types</h2></td></tr>
 struct SVF::GenericGraphTraits&lt; SVF::SVFG * &gt;</h3>
 
 
-<p class="definition">Definition at line <a class="el" href="SVFG_8h_source.html#l00477">477</a> of file <a class="el" href="SVFG_8h_source.html">SVFG.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="SVFG_8h_source.html#l00483">483</a> of file <a class="el" href="SVFG_8h_source.html">SVFG.h</a>.</p>
 </div><h2 class="groupheader">Member Typedef Documentation</h2>
 <a id="a0e3ed0946d46830533f184f12428bbb0"></a>
 <h2 class="memtitle"><span class="permalink"><a href="#a0e3ed0946d46830533f184f12428bbb0">&#9670;&nbsp;</a></span>NodeRef</h2>
@@ -108,7 +108,7 @@ struct SVF::GenericGraphTraits&lt; SVF::SVFG * &gt;</h3>
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SVFG_8h_source.html#l00479">479</a> of file <a class="el" href="SVFG_8h_source.html">SVFG.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="SVFG_8h_source.html#l00485">485</a> of file <a class="el" href="SVFG_8h_source.html">SVFG.h</a>.</p>
 
 </div>
 </div>

package/SVF-doxygen/html/html/structSVF_1_1HybridData_1_1TreeNode-members.html

@@ -0,0 +1,86 @@
+<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
+<html xmlns="http://www.w3.org/1999/xhtml">
+<head>
+<meta http-equiv="Content-Type" content="text/xhtml;charset=UTF-8"/>
+<meta http-equiv="X-UA-Compatible" content="IE=9"/>
+<meta name="generator" content="Doxygen 1.8.13"/>
+<meta name="viewport" content="width=device-width, initial-scale=1"/>
+<title>Static Value-Flow Analysis: Member List</title>
+<link href="tabs.css" rel="stylesheet" type="text/css"/>
+<script type="text/javascript" src="jquery.js"></script>
+<script type="text/javascript" src="dynsections.js"></script>
+<link href="search/search.css" rel="stylesheet" type="text/css"/>
+<script type="text/javascript" src="search/searchdata.js"></script>
+<script type="text/javascript" src="search/search.js"></script>
+<link href="doxygen.css" rel="stylesheet" type="text/css" />
+</head>
+<body>
+<div id="top"><!-- do not remove this div, it is closed by doxygen! -->
+<div id="titlearea">
+<table cellspacing="0" cellpadding="0">
+ <tbody>
+ <tr style="height: 56px;">
+  <td id="projectalign" style="padding-left: 0.5em;">
+   <div id="projectname">Static Value-Flow Analysis
+   </div>
+  </td>
+ </tr>
+ </tbody>
+</table>
+</div>
+<!-- end header part -->
+<!-- Generated by Doxygen 1.8.13 -->
+<script type="text/javascript">
+var searchBox = new SearchBox("searchBox", "search",false,'Search');
+</script>
+<script type="text/javascript" src="menudata.js"></script>
+<script type="text/javascript" src="menu.js"></script>
+<script type="text/javascript">
+$(function() {
+  initMenu('',true,false,'search.php','Search');
+  $(document).ready(function() { init_search(); });
+});
+</script>
+<div id="main-nav"></div>
+<!-- window showing the filter options -->
+<div id="MSearchSelectWindow"
+     onmouseover="return searchBox.OnSearchSelectShow()"
+     onmouseout="return searchBox.OnSearchSelectHide()"
+     onkeydown="return searchBox.OnSearchSelectKey(event)">
+</div>
+
+<!-- iframe showing the search results (closed by default) -->
+<div id="MSearchResultsWindow">
+<iframe src="javascript:void(0)" frameborder="0" 
+        name="MSearchResults" id="MSearchResults">
+</iframe>
+</div>
+
+<div id="nav-path" class="navpath">
+  <ul>
+<li class="navelem"><a class="el" href="namespaceSVF.html">SVF</a></li><li class="navelem"><a class="el" href="classSVF_1_1HybridData.html">HybridData</a></li><li class="navelem"><a class="el" href="structSVF_1_1HybridData_1_1TreeNode.html">TreeNode</a></li>  </ul>
+</div>
+</div><!-- top -->
+<div class="header">
+  <div class="headertitle">
+<div class="title">SVF::HybridData::TreeNode Member List</div>  </div>
+</div><!--header-->
+<div class="contents">
+
+<p>This is the complete list of members for <a class="el" href="structSVF_1_1HybridData_1_1TreeNode.html">SVF::HybridData::TreeNode</a>, including all inherited members.</p>
+<table class="directory">
+  <tr class="even"><td class="entry"><a class="el" href="structSVF_1_1HybridData_1_1TreeNode.html#ab9fbeff34671b066d10611616909c683">children</a></td><td class="entry"><a class="el" href="structSVF_1_1HybridData_1_1TreeNode.html">SVF::HybridData::TreeNode</a></td><td class="entry"></td></tr>
+  <tr><td class="entry"><a class="el" href="structSVF_1_1HybridData_1_1TreeNode.html#aee14edee2d81613c48c00b090ff0e66b">id</a></td><td class="entry"><a class="el" href="structSVF_1_1HybridData_1_1TreeNode.html">SVF::HybridData::TreeNode</a></td><td class="entry"></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="structSVF_1_1HybridData_1_1TreeNode.html#adefb801eb96d6b1c24c86fa48fe2932e">operator&lt;</a>(const TreeNode &amp;rhs) const</td><td class="entry"><a class="el" href="structSVF_1_1HybridData_1_1TreeNode.html">SVF::HybridData::TreeNode</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
+  <tr><td class="entry"><a class="el" href="structSVF_1_1HybridData_1_1TreeNode.html#ac0621d13b08e324200494c8fb3f4713f">operator==</a>(const TreeNode &amp;rhs) const</td><td class="entry"><a class="el" href="structSVF_1_1HybridData_1_1TreeNode.html">SVF::HybridData::TreeNode</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="structSVF_1_1HybridData_1_1TreeNode.html#a4b273b1b7152457e9d445cfd766ab736">TreeNode</a>(NodeID nId)</td><td class="entry"><a class="el" href="structSVF_1_1HybridData_1_1TreeNode.html">SVF::HybridData::TreeNode</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
+  <tr><td class="entry"><a class="el" href="structSVF_1_1HybridData_1_1TreeNode.html#ad93a4d1a7e025403c741421c96030ce7">~TreeNode</a>()</td><td class="entry"><a class="el" href="structSVF_1_1HybridData_1_1TreeNode.html">SVF::HybridData::TreeNode</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
+</table></div><!-- contents -->
+<!-- start footer part -->
+<hr class="footer"/><address class="footer"><small>
+Generated by &#160;<a href="http://www.doxygen.org/index.html">
+<img class="footer" src="doxygen.png" alt="doxygen"/>
+</a> 1.8.13
+</small></address>
+</body>
+</html>

package/SVF-doxygen/html/html/structSVF_1_1HybridData_1_1TreeNode.html

@@ -0,0 +1,255 @@
+<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
+<html xmlns="http://www.w3.org/1999/xhtml">
+<head>
+<meta http-equiv="Content-Type" content="text/xhtml;charset=UTF-8"/>
+<meta http-equiv="X-UA-Compatible" content="IE=9"/>
+<meta name="generator" content="Doxygen 1.8.13"/>
+<meta name="viewport" content="width=device-width, initial-scale=1"/>
+<title>Static Value-Flow Analysis: SVF::HybridData::TreeNode Struct Reference</title>
+<link href="tabs.css" rel="stylesheet" type="text/css"/>
+<script type="text/javascript" src="jquery.js"></script>
+<script type="text/javascript" src="dynsections.js"></script>
+<link href="search/search.css" rel="stylesheet" type="text/css"/>
+<script type="text/javascript" src="search/searchdata.js"></script>
+<script type="text/javascript" src="search/search.js"></script>
+<link href="doxygen.css" rel="stylesheet" type="text/css" />
+</head>
+<body>
+<div id="top"><!-- do not remove this div, it is closed by doxygen! -->
+<div id="titlearea">
+<table cellspacing="0" cellpadding="0">
+ <tbody>
+ <tr style="height: 56px;">
+  <td id="projectalign" style="padding-left: 0.5em;">
+   <div id="projectname">Static Value-Flow Analysis
+   </div>
+  </td>
+ </tr>
+ </tbody>
+</table>
+</div>
+<!-- end header part -->
+<!-- Generated by Doxygen 1.8.13 -->
+<script type="text/javascript">
+var searchBox = new SearchBox("searchBox", "search",false,'Search');
+</script>
+<script type="text/javascript" src="menudata.js"></script>
+<script type="text/javascript" src="menu.js"></script>
+<script type="text/javascript">
+$(function() {
+  initMenu('',true,false,'search.php','Search');
+  $(document).ready(function() { init_search(); });
+});
+</script>
+<div id="main-nav"></div>
+<!-- window showing the filter options -->
+<div id="MSearchSelectWindow"
+     onmouseover="return searchBox.OnSearchSelectShow()"
+     onmouseout="return searchBox.OnSearchSelectHide()"
+     onkeydown="return searchBox.OnSearchSelectKey(event)">
+</div>
+
+<!-- iframe showing the search results (closed by default) -->
+<div id="MSearchResultsWindow">
+<iframe src="javascript:void(0)" frameborder="0" 
+        name="MSearchResults" id="MSearchResults">
+</iframe>
+</div>
+
+<div id="nav-path" class="navpath">
+  <ul>
+<li class="navelem"><a class="el" href="namespaceSVF.html">SVF</a></li><li class="navelem"><a class="el" href="classSVF_1_1HybridData.html">HybridData</a></li><li class="navelem"><a class="el" href="structSVF_1_1HybridData_1_1TreeNode.html">TreeNode</a></li>  </ul>
+</div>
+</div><!-- top -->
+<div class="header">
+  <div class="summary">
+<a href="#pub-methods">Public Member Functions</a> &#124;
+<a href="#pub-attribs">Public Attributes</a> &#124;
+<a href="structSVF_1_1HybridData_1_1TreeNode-members.html">List of all members</a>  </div>
+  <div class="headertitle">
+<div class="title">SVF::HybridData::TreeNode Struct Reference</div>  </div>
+</div><!--header-->
+<div class="contents">
+
+<p><code>#include &lt;<a class="el" href="CFLData_8h_source.html">CFLData.h</a>&gt;</code></p>
+<table class="memberdecls">
+<tr class="heading"><td colspan="2"><h2 class="groupheader"><a name="pub-methods"></a>
+Public Member Functions</h2></td></tr>
+<tr class="memitem:a4b273b1b7152457e9d445cfd766ab736"><td class="memItemLeft" align="right" valign="top">&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="structSVF_1_1HybridData_1_1TreeNode.html#a4b273b1b7152457e9d445cfd766ab736">TreeNode</a> (<a class="el" href="namespaceSVF.html#a350ae9bf8606bdfe23c8679681b969dc">NodeID</a> nId)</td></tr>
+<tr class="separator:a4b273b1b7152457e9d445cfd766ab736"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:ad93a4d1a7e025403c741421c96030ce7"><td class="memItemLeft" align="right" valign="top">&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="structSVF_1_1HybridData_1_1TreeNode.html#ad93a4d1a7e025403c741421c96030ce7">~TreeNode</a> ()</td></tr>
+<tr class="separator:ad93a4d1a7e025403c741421c96030ce7"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:ac0621d13b08e324200494c8fb3f4713f"><td class="memItemLeft" align="right" valign="top">bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="structSVF_1_1HybridData_1_1TreeNode.html#ac0621d13b08e324200494c8fb3f4713f">operator==</a> (const <a class="el" href="structSVF_1_1HybridData_1_1TreeNode.html">TreeNode</a> &amp;rhs) const</td></tr>
+<tr class="separator:ac0621d13b08e324200494c8fb3f4713f"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:adefb801eb96d6b1c24c86fa48fe2932e"><td class="memItemLeft" align="right" valign="top">bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="structSVF_1_1HybridData_1_1TreeNode.html#adefb801eb96d6b1c24c86fa48fe2932e">operator&lt;</a> (const <a class="el" href="structSVF_1_1HybridData_1_1TreeNode.html">TreeNode</a> &amp;rhs) const</td></tr>
+<tr class="separator:adefb801eb96d6b1c24c86fa48fe2932e"><td class="memSeparator" colspan="2">&#160;</td></tr>
+</table><table class="memberdecls">
+<tr class="heading"><td colspan="2"><h2 class="groupheader"><a name="pub-attribs"></a>
+Public Attributes</h2></td></tr>
+<tr class="memitem:aee14edee2d81613c48c00b090ff0e66b"><td class="memItemLeft" align="right" valign="top"><a class="el" href="namespaceSVF.html#a350ae9bf8606bdfe23c8679681b969dc">NodeID</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="structSVF_1_1HybridData_1_1TreeNode.html#aee14edee2d81613c48c00b090ff0e66b">id</a></td></tr>
+<tr class="separator:aee14edee2d81613c48c00b090ff0e66b"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:ab9fbeff34671b066d10611616909c683"><td class="memItemLeft" align="right" valign="top">std::unordered_set&lt; <a class="el" href="structSVF_1_1HybridData_1_1TreeNode.html">TreeNode</a> * &gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="structSVF_1_1HybridData_1_1TreeNode.html#ab9fbeff34671b066d10611616909c683">children</a></td></tr>
+<tr class="separator:ab9fbeff34671b066d10611616909c683"><td class="memSeparator" colspan="2">&#160;</td></tr>
+</table>
+<a name="details" id="details"></a><h2 class="groupheader">Detailed Description</h2>
+<div class="textblock">
+<p class="definition">Definition at line <a class="el" href="CFLData_8h_source.html#l00217">217</a> of file <a class="el" href="CFLData_8h_source.html">CFLData.h</a>.</p>
+</div><h2 class="groupheader">Constructor &amp; Destructor Documentation</h2>
+<a id="a4b273b1b7152457e9d445cfd766ab736"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#a4b273b1b7152457e9d445cfd766ab736">&#9670;&nbsp;</a></span>TreeNode()</h2>
+
+<div class="memitem">
+<div class="memproto">
+<table class="mlabels">
+  <tr>
+  <td class="mlabels-left">
+      <table class="memname">
+        <tr>
+          <td class="memname">SVF::HybridData::TreeNode::TreeNode </td>
+          <td>(</td>
+          <td class="paramtype"><a class="el" href="namespaceSVF.html#a350ae9bf8606bdfe23c8679681b969dc">NodeID</a>&#160;</td>
+          <td class="paramname"><em>nId</em></td><td>)</td>
+          <td></td>
+        </tr>
+      </table>
+  </td>
+  <td class="mlabels-right">
+<span class="mlabels"><span class="mlabel">inline</span></span>  </td>
+  </tr>
+</table>
+</div><div class="memdoc">
+
+<p class="definition">Definition at line <a class="el" href="CFLData_8h_source.html#l00222">222</a> of file <a class="el" href="CFLData_8h_source.html">CFLData.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00222"></a><span class="lineno">  222</span>&#160;                             : <a class="code" href="structSVF_1_1HybridData_1_1TreeNode.html#aee14edee2d81613c48c00b090ff0e66b">id</a>(nId)</div><div class="line"><a name="l00223"></a><span class="lineno">  223</span>&#160;        {}</div><div class="ttc" id="structSVF_1_1HybridData_1_1TreeNode_html_aee14edee2d81613c48c00b090ff0e66b"><div class="ttname"><a href="structSVF_1_1HybridData_1_1TreeNode.html#aee14edee2d81613c48c00b090ff0e66b">SVF::HybridData::TreeNode::id</a></div><div class="ttdeci">NodeID id</div><div class="ttdef"><b>Definition:</b> <a href="CFLData_8h_source.html#l00219">CFLData.h:219</a></div></div>
+</div><!-- fragment -->
+</div>
+</div>
+<a id="ad93a4d1a7e025403c741421c96030ce7"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#ad93a4d1a7e025403c741421c96030ce7">&#9670;&nbsp;</a></span>~TreeNode()</h2>
+
+<div class="memitem">
+<div class="memproto">
+<table class="mlabels">
+  <tr>
+  <td class="mlabels-left">
+      <table class="memname">
+        <tr>
+          <td class="memname">SVF::HybridData::TreeNode::~TreeNode </td>
+          <td>(</td>
+          <td class="paramname"></td><td>)</td>
+          <td></td>
+        </tr>
+      </table>
+  </td>
+  <td class="mlabels-right">
+<span class="mlabels"><span class="mlabel">inline</span></span>  </td>
+  </tr>
+</table>
+</div><div class="memdoc">
+
+<p class="definition">Definition at line <a class="el" href="CFLData_8h_source.html#l00225">225</a> of file <a class="el" href="CFLData_8h_source.html">CFLData.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00226"></a><span class="lineno">  226</span>&#160;        {</div><div class="line"><a name="l00227"></a><span class="lineno">  227</span>&#160;        }</div></div><!-- fragment -->
+</div>
+</div>
+<h2 class="groupheader">Member Function Documentation</h2>
+<a id="adefb801eb96d6b1c24c86fa48fe2932e"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#adefb801eb96d6b1c24c86fa48fe2932e">&#9670;&nbsp;</a></span>operator<()</h2>
+
+<div class="memitem">
+<div class="memproto">
+<table class="mlabels">
+  <tr>
+  <td class="mlabels-left">
+      <table class="memname">
+        <tr>
+          <td class="memname">bool SVF::HybridData::TreeNode::operator&lt; </td>
+          <td>(</td>
+          <td class="paramtype">const <a class="el" href="structSVF_1_1HybridData_1_1TreeNode.html">TreeNode</a> &amp;&#160;</td>
+          <td class="paramname"><em>rhs</em></td><td>)</td>
+          <td> const</td>
+        </tr>
+      </table>
+  </td>
+  <td class="mlabels-right">
+<span class="mlabels"><span class="mlabel">inline</span></span>  </td>
+  </tr>
+</table>
+</div><div class="memdoc">
+
+<p class="definition">Definition at line <a class="el" href="CFLData_8h_source.html#l00234">234</a> of file <a class="el" href="CFLData_8h_source.html">CFLData.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00235"></a><span class="lineno">  235</span>&#160;        {</div><div class="line"><a name="l00236"></a><span class="lineno">  236</span>&#160;            <span class="keywordflow">return</span> <span class="keywordtype">id</span> &lt; rhs.id;</div><div class="line"><a name="l00237"></a><span class="lineno">  237</span>&#160;        }</div></div><!-- fragment -->
+</div>
+</div>
+<a id="ac0621d13b08e324200494c8fb3f4713f"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#ac0621d13b08e324200494c8fb3f4713f">&#9670;&nbsp;</a></span>operator==()</h2>
+
+<div class="memitem">
+<div class="memproto">
+<table class="mlabels">
+  <tr>
+  <td class="mlabels-left">
+      <table class="memname">
+        <tr>
+          <td class="memname">bool SVF::HybridData::TreeNode::operator== </td>
+          <td>(</td>
+          <td class="paramtype">const <a class="el" href="structSVF_1_1HybridData_1_1TreeNode.html">TreeNode</a> &amp;&#160;</td>
+          <td class="paramname"><em>rhs</em></td><td>)</td>
+          <td> const</td>
+        </tr>
+      </table>
+  </td>
+  <td class="mlabels-right">
+<span class="mlabels"><span class="mlabel">inline</span></span>  </td>
+  </tr>
+</table>
+</div><div class="memdoc">
+
+<p class="definition">Definition at line <a class="el" href="CFLData_8h_source.html#l00229">229</a> of file <a class="el" href="CFLData_8h_source.html">CFLData.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00230"></a><span class="lineno">  230</span>&#160;        {</div><div class="line"><a name="l00231"></a><span class="lineno">  231</span>&#160;            <span class="keywordflow">return</span> <span class="keywordtype">id</span> == rhs.id;</div><div class="line"><a name="l00232"></a><span class="lineno">  232</span>&#160;        }</div></div><!-- fragment -->
+</div>
+</div>
+<h2 class="groupheader">Member Data Documentation</h2>
+<a id="ab9fbeff34671b066d10611616909c683"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#ab9fbeff34671b066d10611616909c683">&#9670;&nbsp;</a></span>children</h2>
+
+<div class="memitem">
+<div class="memproto">
+      <table class="memname">
+        <tr>
+          <td class="memname">std::unordered_set&lt;<a class="el" href="structSVF_1_1HybridData_1_1TreeNode.html">TreeNode</a>*&gt; SVF::HybridData::TreeNode::children</td>
+        </tr>
+      </table>
+</div><div class="memdoc">
+
+<p class="definition">Definition at line <a class="el" href="CFLData_8h_source.html#l00220">220</a> of file <a class="el" href="CFLData_8h_source.html">CFLData.h</a>.</p>
+
+</div>
+</div>
+<a id="aee14edee2d81613c48c00b090ff0e66b"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#aee14edee2d81613c48c00b090ff0e66b">&#9670;&nbsp;</a></span>id</h2>
+
+<div class="memitem">
+<div class="memproto">
+      <table class="memname">
+        <tr>
+          <td class="memname"><a class="el" href="namespaceSVF.html#a350ae9bf8606bdfe23c8679681b969dc">NodeID</a> SVF::HybridData::TreeNode::id</td>
+        </tr>
+      </table>
+</div><div class="memdoc">
+
+<p class="definition">Definition at line <a class="el" href="CFLData_8h_source.html#l00219">219</a> of file <a class="el" href="CFLData_8h_source.html">CFLData.h</a>.</p>
+
+</div>
+</div>
+<hr/>The documentation for this struct was generated from the following file:<ul>
+<li>/home/runner/work/SVF/SVF/include/CFL/<a class="el" href="CFLData_8h_source.html">CFLData.h</a></li>
+</ul>
+</div><!-- contents -->
+<!-- start footer part -->
+<hr class="footer"/><address class="footer"><small>
+Generated by &#160;<a href="http://www.doxygen.org/index.html">
+<img class="footer" src="doxygen.png" alt="doxygen"/>
+</a> 1.8.13
+</small></address>
+</body>
+</html>

package/include/AbstractExecution/IntervalValue.h

@@ -434,6 +434,11 @@ public:
         }
     }
 
+    std::string toString() const
+    {
+        return "[" + std::to_string(lb().getNumeral()) + ", " + std::to_string(ub().getNumeral()) + "]";
+    }
+
 }; // end class IntervalValue
 
 /// Add IntervalValues

package/include/CFL/CFLAlias.h

@@ -32,6 +32,8 @@
 
 #include "CFL/CFLBase.h"
 #include "CFL/CFLStat.h"
+#include "CFL/CFLData.h"
+#include "CFL/CFLDataBuilder.h"
 
 namespace SVF
 {
@@ -137,6 +139,38 @@ private:
     CallSite2DummyValPN callsite2DummyValPN;        ///< Map an instruction to a dummy obj which created at an indirect callsite, which invokes a heap allocator
 };
 
+class POCRAlias : public CFLAlias
+{
+public:
+    static double timeOfBuildCFLData;            // Time of building CFLData from CFLGraph
+
+    POCRAlias(SVFIR* ir) : CFLAlias(ir)
+    {
+        if (!_cflData)
+            _cflData = new CFLData();
+    }
+
+    /// Destructor
+    virtual ~POCRAlias()
+    {
+        delete _cflData;
+    }
+
+    CFLData* cflData()
+    {
+        return _cflData;
+    }
+
+    /// Initialize the grammar, graph, CFLData, solver
+    virtual void initialize();
+
+    /// Init CFLData
+    virtual void buildCFLData();
+
+private:
+    /// Graph dataset
+    CFLData* _cflData;
+};
 } // End namespace SVF
 
 #endif /* INCLUDE_CFL_CFLALIAS_H_*/