svf-tools 1.0.557 → 1.0.560

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

@@ -12,7 +12,7 @@ var searchData=
   ['validatestmtinlock',['validateStmtInLock',['../classSVF_1_1LockResultValidator.html#acddd2f9d118cbf448d92626d281fdaf9',1,'SVF::LockResultValidator']]],
   ['validatesuccesstests',['validateSuccessTests',['../classSVF_1_1PointerAnalysis.html#a7accf4e4db4001716e53d98ce5217ac8',1,'SVF::PointerAnalysis::validateSuccessTests()'],['../classSVF_1_1DoubleFreeChecker.html#a13fc5269cbd00cfd0eed5b1cee89e1c2',1,'SVF::DoubleFreeChecker::validateSuccessTests()'],['../classSVF_1_1LeakChecker.html#a0aa051a956b61cad9ec5419f33829e6a',1,'SVF::LeakChecker::validateSuccessTests()']]],
   ['validatetct',['validateTCT',['../classSVF_1_1MTAResultValidator.html#ae6a18cbaf113ee8e28c3e8dca458d4be',1,'SVF::MTAResultValidator']]],
-  ['validatetests',['ValidateTests',['../classSVF_1_1Options.html#aec491143ded97649da1ed61b8fda796c',1,'SVF::Options::ValidateTests()'],['../classSVF_1_1PointerAnalysis.html#a0454332c89e60729956bb7d69a1a24df',1,'SVF::PointerAnalysis::validateTests()']]],
+  ['validatetests',['validateTests',['../classSVF_1_1PointerAnalysis.html#a0454332c89e60729956bb7d69a1a24df',1,'SVF::PointerAnalysis::validateTests()'],['../classSVF_1_1Options.html#aec491143ded97649da1ed61b8fda796c',1,'SVF::Options::ValidateTests()']]],
   ['valnode',['ValNode',['../classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffa32d22852d39756992f87bd02def75f66',1,'SVF::SVFVar']]],
   ['valsymbol',['ValSymbol',['../classSVF_1_1SymbolTableInfo.html#afd2cf6ef6d7f2a583c709a72067be89ba23583f8cf79d3fd142f8550664ad8247',1,'SVF::SymbolTableInfo']]],
   ['valsymmap',['valSymMap',['../classSVF_1_1SymbolTableInfo.html#a5054f95a7b77257ffb283044aab17b08',1,'SVF::SymbolTableInfo']]],
@@ -23,10 +23,10 @@ var searchData=
   ['valuedouble',['valuedouble',['../structcJSON.html#a4b21817d0fd2919901abadac73214e7f',1,'cJSON::valuedouble()'],['../cJSON_8cpp.html#a6ea693e884dae57fb36b03a8ba6cad27',1,'valuedouble(): cJSON.cpp']]],
   ['valueint',['valueint',['../structcJSON.html#a369cea49494eb5d4409d532a731a0fbf',1,'cJSON::valueint()'],['../cJSON_8cpp.html#a467a5974a6eae3b3059a89ba909c2a9c',1,'valueint(): cJSON.cpp']]],
   ['valuestring',['valuestring',['../structcJSON.html#ad43f8de2571e504c4c5ce0a36990e6e1',1,'cJSON::valuestring()'],['../cJSON_8h.html#a7dc61ad7586ca3231e691514bad7cbc4',1,'valuestring(): cJSON.h'],['../cJSON_8cpp.html#a7dc61ad7586ca3231e691514bad7cbc4',1,'valuestring(): cJSON.cpp']]],
-  ['valuetoedgemap',['valueToEdgeMap',['../classSVF_1_1IRGraph.html#a1308b5d3001c6676e8a8be6a8b118704',1,'SVF::IRGraph::valueToEdgeMap()'],['../classSVF_1_1IRGraph.html#addfc2131699f5ecee3a45d65cda46c24',1,'SVF::IRGraph::ValueToEdgeMap()']]],
+  ['valuetoedgemap',['ValueToEdgeMap',['../classSVF_1_1IRGraph.html#addfc2131699f5ecee3a45d65cda46c24',1,'SVF::IRGraph::ValueToEdgeMap()'],['../classSVF_1_1IRGraph.html#a1308b5d3001c6676e8a8be6a8b118704',1,'SVF::IRGraph::valueToEdgeMap()']]],
   ['valuetoidmapty',['ValueToIDMapTy',['../classSVF_1_1SymbolTableInfo.html#a03a11c48d748990ddac1ac5866ecb48e',1,'SVF::SymbolTableInfo']]],
   ['valvar',['ValVar',['../classSVF_1_1ValVar.html',1,'SVF::ValVar'],['../classSVF_1_1ValVar.html#ae5dc21b3327a100ffe3e0e2c876ba1bb',1,'SVF::ValVar::ValVar()']]],
-  ['var2labelmap',['Var2LabelMap',['../classSVF_1_1SVFStmt.html#ad178ccbc7800527c3dc406ad5fa069bb',1,'SVF::SVFStmt::Var2LabelMap()'],['../classSVF_1_1SVFStmt.html#a24c64109d27ef7549d1c7a07c391e007',1,'SVF::SVFStmt::var2LabelMap()']]],
+  ['var2labelmap',['var2LabelMap',['../classSVF_1_1SVFStmt.html#a24c64109d27ef7549d1c7a07c391e007',1,'SVF::SVFStmt::var2LabelMap()'],['../classSVF_1_1SVFStmt.html#ad178ccbc7800527c3dc406ad5fa069bb',1,'SVF::SVFStmt::Var2LabelMap()']]],
   ['var_5farray_5fobj',['VAR_ARRAY_OBJ',['../classSVF_1_1ObjTypeInfo.html#a91b41b7ade5871362b77a2ef566b2830adedc43e0fcaebf433120869aa9307b1c',1,'SVF::ObjTypeInfo']]],
   ['var_5fstruct_5fobj',['VAR_STRUCT_OBJ',['../classSVF_1_1ObjTypeInfo.html#a91b41b7ade5871362b77a2ef566b2830aaf98981bd15b41f543fd99d0c6222f08',1,'SVF::ObjTypeInfo']]],
   ['varargnode',['VarargNode',['../classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffa5a13a457f037424f61e74165a9cdcebf',1,'SVF::SVFVar']]],
@@ -36,7 +36,7 @@ var searchData=
   ['varargsyms',['varargSyms',['../classSVF_1_1SymbolTableInfo.html#ac449cd925dc05758c990179c0748e1d5',1,'SVF::SymbolTableInfo']]],
   ['varhasnewdfinpts',['varHasNewDFInPts',['../classSVF_1_1MutableIncDFPTData.html#ae7ed810cf4de695072ba5c4d0c882353',1,'SVF::MutableIncDFPTData::varHasNewDFInPts()'],['../classSVF_1_1PersistentIncDFPTData.html#a56764f78042a2a9229d3b76861b54952',1,'SVF::PersistentIncDFPTData::varHasNewDFInPts()']]],
   ['varhasnewdfoutpts',['varHasNewDFOutPts',['../classSVF_1_1MutableIncDFPTData.html#a55b19f617d11dfc6632b690694f264ab',1,'SVF::MutableIncDFPTData::varHasNewDFOutPts()'],['../classSVF_1_1PersistentIncDFPTData.html#ae44f71f2ff837fbdf9b6e77f609c0c53',1,'SVF::PersistentIncDFPTData::varHasNewDFOutPts()']]],
-  ['variableattribute',['VariableAttribute',['../classSVF_1_1GrammarBase.html#a716ce662e6a3f2febf3ab378c4217759',1,'SVF::GrammarBase::VariableAttribute()'],['../structSVF_1_1GrammarBase_1_1Symbol.html#af26cd32a0c3b88aec053bec17519f942',1,'SVF::GrammarBase::Symbol::variableAttribute()']]],
+  ['variableattribute',['variableAttribute',['../structSVF_1_1GrammarBase_1_1Symbol.html#af26cd32a0c3b88aec053bec17519f942',1,'SVF::GrammarBase::Symbol::variableAttribute()'],['../classSVF_1_1GrammarBase.html#a716ce662e6a3f2febf3ab378c4217759',1,'SVF::GrammarBase::VariableAttribute()']]],
   ['variantfield',['variantField',['../classSVF_1_1GepStmt.html#af8eefbd002ec36f36612b8e9ccdbc757',1,'SVF::GepStmt']]],
   ['variantgep',['VariantGep',['../classSVF_1_1ConstraintEdge.html#a663af27955ba0c545f34fa1f076b7375ae5df3ce07dd670b48916f7b8ab33ae5a',1,'SVF::ConstraintEdge']]],
   ['variantgepcgedge',['VariantGepCGEdge',['../classSVF_1_1VariantGepCGEdge.html',1,'SVF::VariantGepCGEdge'],['../classSVF_1_1VariantGepCGEdge.html#abfea1a5cc983b1773b307c8dcd42dd02',1,'SVF::VariantGepCGEdge::VariantGepCGEdge()'],['../classSVF_1_1VariantGepCGEdge.html#a72e674854fa023f9634fc6c1b9c1af6a',1,'SVF::VariantGepCGEdge::VariantGepCGEdge(const VariantGepCGEdge &)'],['../classSVF_1_1VariantGepCGEdge.html#ac1aba938a28a9705625b4294c7d35bb6',1,'SVF::VariantGepCGEdge::VariantGepCGEdge(ConstraintNode *s, ConstraintNode *d, EdgeID id)']]],
@@ -93,7 +93,7 @@ var searchData=
   ['vfunprelabel',['vfunPreLabel',['../CPPUtil_8cpp.html#a74958d1db4b08e58aee58557d386c24b',1,'CPPUtil.cpp']]],
   ['vfunset',['VFunSet',['../classSVF_1_1PointerAnalysis.html#aa7f15c74eb438be78fcc028534477478',1,'SVF::PointerAnalysis::VFunSet()'],['../namespaceSVF.html#ad2b487757f1e1a1d81073120fc1d49c7',1,'SVF::VFunSet()']]],
   ['vfworklist',['VFWorkList',['../classSVF_1_1ProgSlice.html#a684e44ade783439c6f77a8d84eed282c',1,'SVF::ProgSlice']]],
-  ['vgep',['Vgep',['../CFLGrammar_8txt.html#ab5d65f36b081efc4f36dc7086db1fc2c',1,'Vgep(): CFLGrammar.txt'],['../PEGGrammar_8txt.html#ab5d65f36b081efc4f36dc7086db1fc2c',1,'Vgep(): PEGGrammar.txt']]],
+  ['vgep',['Vgep',['../CFLGrammar_8txt.html#ab5d65f36b081efc4f36dc7086db1fc2c',1,'CFLGrammar.txt']]],
   ['vgepbar',['Vgepbar',['../CFLGrammar_8txt.html#ae239ca8fb918fa812492fe369202225d',1,'CFLGrammar.txt']]],
   ['vid',['vid',['../classSVF_1_1MRVer.html#a394b8c115d01dcf212d453a93a812aab',1,'SVF::MRVer']]],
   ['view',['view',['../classSVF_1_1CFLGraph.html#a0f1b98e7cecc352a7fa7624b530efe49',1,'SVF::CFLGraph::view()'],['../classSVF_1_1CHGraph.html#a87a7d8c281490fbd2377d64b0115d262',1,'SVF::CHGraph::view()'],['../classSVF_1_1ConstraintGraph.html#a27d8078577d479c84f2a87b44f015d1c',1,'SVF::ConstraintGraph::view()'],['../classSVF_1_1ICFG.html#a0d16e302515ffa0033e02ee8f6b3b590',1,'SVF::ICFG::view()'],['../classSVF_1_1IRGraph.html#a3a656bb310ba0f42e525995a480a5b67',1,'SVF::IRGraph::view()'],['../classSVF_1_1PTACallGraph.html#a7c2d28b4707d7feaabf62977cef90d27',1,'SVF::PTACallGraph::view()'],['../classSVF_1_1VFG.html#ae4350f68e960bfef87f44587628b1929',1,'SVF::VFG::view()']]],

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

@@ -1,6 +1,6 @@
 var searchData=
 [
-  ['wall',['Wall',['../classSVF_1_1PTAStat.html#a926cd5ab95f4f42ffe264413a32725cfa6c9d7a9709df10eb67ce27e744e0f61c',1,'SVF::PTAStat']]],
+  ['wall',['Wall',['../classSVF_1_1SVFStat.html#a4f47da512cfa8f94fddaddc65334b454a4daec28631d54e09b587e78707ab54fc',1,'SVF::SVFStat']]],
   ['weakupdateoutfromin',['weakUpdateOutFromIn',['../classSVF_1_1FlowSensitive.html#ab492c283e2264b4cbd4c192e805b7750',1,'SVF::FlowSensitive']]],
   ['which',['which',['../cJSON_8h.html#aa2a4dae2a14de4093826005f9bdfd3bb',1,'which(): cJSON.h'],['../cJSON_8cpp.html#aa2a4dae2a14de4093826005f9bdfd3bb',1,'which(): cJSON.cpp']]],
   ['while',['while',['../cJSON_8cpp.html#a209b15238c5803bc547b2d77e02f29b4',1,'cJSON.cpp']]],

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

@@ -127,6 +127,7 @@ var searchData=
   ['_7esvfirbuilder',['~SVFIRBuilder',['../classSVF_1_1SVFIRBuilder.html#a5a04b9d97ad5f6e761bcc4779c96104e',1,'SVF::SVFIRBuilder']]],
   ['_7esvfloop',['~SVFLoop',['../classSVF_1_1SVFLoop.html#a36fb834fe1a5655ac13c44b49815f0af',1,'SVF::SVFLoop']]],
   ['_7esvfmodule',['~SVFModule',['../classSVF_1_1SVFModule.html#a1eb570539328976351d95ca93cb7aa02',1,'SVF::SVFModule']]],
+  ['_7esvfstat',['~SVFStat',['../classSVF_1_1SVFStat.html#a135ac9973ebfef4680d343320453ff52',1,'SVF::SVFStat']]],
   ['_7esvfstmt',['~SVFStmt',['../classSVF_1_1SVFStmt.html#aac79c7e8d390f297002782afb0ba3ff0',1,'SVF::SVFStmt']]],
   ['_7esvfvar',['~SVFVar',['../classSVF_1_1SVFVar.html#ab76f9dea1559bd9b10b870dbc7bb454a',1,'SVF::SVFVar']]],
   ['_7esymboltableinfo',['~SymbolTableInfo',['../classSVF_1_1SymbolTableInfo.html#a6efac0ae8ebf2865067136675be5a340',1,'SVF::SymbolTableInfo']]],

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

@@ -27,7 +27,7 @@ var searchData=
   ['callgraphscc',['CallGraphSCC',['../classSVF_1_1DDAVFSolver.html#af6e05e87ba8d6b6ae65807803b1b0221',1,'SVF::DDAVFSolver::CallGraphSCC()'],['../classSVF_1_1PointerAnalysis.html#ac4ad73782f42f90ad7ac9c66edb27c69',1,'SVF::PointerAnalysis::CallGraphSCC()'],['../classSVF_1_1PointerAnalysis.html#ae3b651799345d9d92b6d736dafb03f63',1,'SVF::PointerAnalysis::callGraphSCC()'],['../classSVF_1_1MRGenerator.html#aa3a12cf1f761d25b9213bc6e50d89ba5',1,'SVF::MRGenerator::callGraphSCC()']]],
   ['callgraphsccdetection',['callGraphSCCDetection',['../classSVF_1_1PointerAnalysis.html#aafa5df4aa576a144476e547b1da35795',1,'SVF::PointerAnalysis']]],
   ['callgraphsolvebasedoncha',['callGraphSolveBasedOnCHA',['../classSVF_1_1TypeAnalysis.html#aec579b7854aa6a994632d3f7c5d621db',1,'SVF::TypeAnalysis']]],
-  ['callgraphstat',['callgraphStat',['../classSVF_1_1PTAStat.html#a1772bc87370b5625f71edd4476277064',1,'SVF::PTAStat']]],
+  ['callgraphstat',['callgraphStat',['../classSVF_1_1PTAStat.html#af2eb88d1563be9e6290a5fc69bec3bbe',1,'SVF::PTAStat::callgraphStat()'],['../classSVF_1_1SVFStat.html#a21e6767fbe2c3cdea4aac30199dfd2f0',1,'SVF::SVFStat::callgraphStat()']]],
   ['callicfgnode',['CallICFGNode',['../classSVF_1_1CallICFGNode.html',1,'SVF::CallICFGNode'],['../classSVF_1_1CallICFGNode.html#a7c514653ca97c9a97f5a26a57a2955e1',1,'SVF::CallICFGNode::CallICFGNode()']]],
   ['callindsvfgedge',['CallIndSVFGEdge',['../classSVF_1_1CallIndSVFGEdge.html',1,'SVF::CallIndSVFGEdge'],['../classSVF_1_1CallIndSVFGEdge.html#a9651aa6a85a7ee9e626dd66a5410b191',1,'SVF::CallIndSVFGEdge::CallIndSVFGEdge()']]],
   ['callindvf',['CallIndVF',['../classSVF_1_1VFGEdge.html#a156ae6a8b3a033f505c18c6b162e7cf5a978c857fcc06d2f988bc9ce16ce10145',1,'SVF::VFGEdge']]],
@@ -243,7 +243,7 @@ var searchData=
   ['clearstat',['clearStat',['../classSVF_1_1FlowSensitiveStat.html#ab4c205136b22a13b54ceb48135730d23',1,'SVF::FlowSensitiveStat::clearStat()'],['../classSVF_1_1VersionedFlowSensitiveStat.html#a6664f28eab3052988ab9e89766373981',1,'SVF::VersionedFlowSensitiveStat::clearStat()']]],
   ['clearvisitedmap',['clearVisitedMap',['../classSVF_1_1SrcSnkDDA.html#af048c70d7e68da22835570a3381eb14d',1,'SVF::SrcSnkDDA']]],
   ['clock_5fin_5fms',['CLOCK_IN_MS',['../SVFBasicTypes_8h.html#af091e361d7961cb895ff2101eceed953',1,'SVFBasicTypes.h']]],
-  ['clocktype',['ClockType',['../classSVF_1_1PTAStat.html#a926cd5ab95f4f42ffe264413a32725cf',1,'SVF::PTAStat::ClockType()'],['../classSVF_1_1Options.html#a6a62b34de8ec23899a8024e0450c43df',1,'SVF::Options::ClockType()']]],
+  ['clocktype',['ClockType',['../classSVF_1_1SVFStat.html#a4f47da512cfa8f94fddaddc65334b454',1,'SVF::SVFStat::ClockType()'],['../classSVF_1_1Options.html#a6a62b34de8ec23899a8024e0450c43df',1,'SVF::Options::ClockType()']]],
   ['clplist',['clpList',['../classSVF_1_1LockAnalysis.html#afff2c5699e08badf5265e8183b18a02e',1,'SVF::LockAnalysis']]],
   ['clsname',['clsName',['../CPPUtil_8cpp.html#a7622b99b57e87ceef06c0d154fae281b',1,'CPPUtil.cpp']]],
   ['cluster',['cluster',['../classSVF_1_1NodeIDAllocator_1_1Clusterer.html#a33d502a0bd49307cd824e34b73157b9b',1,'SVF::NodeIDAllocator::Clusterer::cluster()'],['../classSVF_1_1Andersen.html#ae1ff65a411f2c4dfee0973ad4af48daf',1,'SVF::Andersen::cluster()'],['../classSVF_1_1FlowSensitive.html#a89d3b97b8077027514135c9201c4d02c',1,'SVF::FlowSensitive::cluster()'],['../classSVF_1_1VersionedFlowSensitive.html#aedd12e894fb2c17d2201f4049e5f3793',1,'SVF::VersionedFlowSensitive::cluster()']]],
@@ -360,6 +360,7 @@ var searchData=
   ['connectmhpedges',['connectMHPEdges',['../classSVF_1_1MTASVFGBuilder.html#a1010ef4fc52e312f2b22867a63a5810d',1,'SVF::MTASVFGBuilder']]],
   ['connectvcalloncha',['ConnectVCallOnCHA',['../classSVF_1_1Options.html#a485ec0be47c5e78bac4511d00687aee1',1,'SVF::Options']]],
   ['connectvcalltovfns',['connectVCallToVFns',['../classSVF_1_1PointerAnalysis.html#a6a5dec067fa2a1babc83f36daa8afcc3',1,'SVF::PointerAnalysis']]],
+  ['connectvgep',['connectVGep',['../classSVF_1_1AliasCFLGraphBuilder.html#a9feeeca8a919b19693e48d6a382c8871',1,'SVF::AliasCFLGraphBuilder']]],
   ['conscg',['consCG',['../classSVF_1_1AndersenBase.html#ae21e38a06a4397d11cdd17b0f8f282fd',1,'SVF::AndersenBase']]],
   ['conscgdotgraph',['ConsCGDotGraph',['../classSVF_1_1Options.html#a69a7d0431c0ddfefed1cb97f3571303a',1,'SVF::Options']]],
   ['conservative',['Conservative',['../classSVF_1_1WPAPass.html#a4505a1882956feda3cf83c788149394da498ba80d25733b291f391a94500dd4c7',1,'SVF::WPAPass']]],
@@ -447,7 +448,7 @@ var searchData=
   ['cptset',['CPtSet',['../classSVF_1_1CondPTAImpl.html#a3f2f48fc122c07ff9eb1382aa7a3f966',1,'SVF::CondPTAImpl']]],
   ['cptsset',['cptsSet',['../classSVF_1_1MemRegion.html#a77a18bcce56cf48d1c338e852a2be9bc',1,'SVF::MemRegion']]],
   ['cptstorepcptsmap',['cptsToRepCPtsMap',['../classSVF_1_1MRGenerator.html#ab4d1ff0357d389a65ff1c2112ce631a1',1,'SVF::MRGenerator']]],
-  ['cpu',['CPU',['../classSVF_1_1PTAStat.html#a926cd5ab95f4f42ffe264413a32725cfa518df17b11048afda951359227f53d2d',1,'SVF::PTAStat']]],
+  ['cpu',['CPU',['../classSVF_1_1SVFStat.html#a4f47da512cfa8f94fddaddc65334b454ad58693e596aa4088fa4a05065f9c0ffa',1,'SVF::SVFStat']]],
   ['create_5freference',['create_reference',['../cJSON_8cpp.html#ac06bbc307a6f39fe58aafbcb82fbf4b3',1,'cJSON.cpp']]],
   ['createandersenscd',['createAndersenSCD',['../classSVF_1_1AndersenSCD.html#ad403be45ff1c69fccdff6c5f3f1959c2',1,'SVF::AndersenSCD']]],
   ['createandersensfr',['createAndersenSFR',['../classSVF_1_1AndersenSFR.html#a4792427f84f402ec30f9447d24f3faad',1,'SVF::AndersenSFR']]],

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

@@ -69,9 +69,9 @@ var searchData=
   ['enableflow',['ENABLEFLOW',['../dda_8cpp.html#af95c31f8cf35812a4fe4a22342aacaa2',1,'dda.cpp']]],
   ['enablethreadcallgraph',['EnableThreadCallGraph',['../classSVF_1_1Options.html#a153d42a480ef1763ad59fd7258ac3ac5',1,'SVF::Options']]],
   ['end',['end',['../classSVF_1_1GenericGraph.html#a4bef15157423cef48dc7333a803cd27d',1,'SVF::GenericGraph::end()'],['../classSVF_1_1GenericGraph.html#a3001af3746d26b7dc0a212db5e48a4bb',1,'SVF::GenericGraph::end() const'],['../classSVF_1_1CondStdSet.html#a93c232ef7e5dea652622da7f994e1dc3',1,'SVF::CondStdSet::end()'],['../classSVF_1_1CondStdSet.html#accc5305781696701c00245ed1e8a25a3',1,'SVF::CondStdSet::end() const'],['../classSVF_1_1CondPointsToSet.html#a5ead697952ada3fbb07da3459a2b1b86',1,'SVF::CondPointsToSet::end()'],['../classSVF_1_1CondPointsToSet.html#a537890d918d23abeea39bc73198f7365',1,'SVF::CondPointsToSet::end() const'],['../classSVF_1_1PointsTo.html#a8f741cdffbf3c5fe0f602cdca677dee6',1,'SVF::PointsTo::end()'],['../classllvm_1_1generic__bridge__gep__type__iterator.html#a4f13b7cccd69bdac2a4f5feff5625f01',1,'llvm::generic_bridge_gep_type_iterator::end()'],['../classSVF_1_1CoreBitVector.html#a93cdd9890522cc9fee2451567e0b1f0d',1,'SVF::CoreBitVector::end()'],['../classSVF_1_1ContextCond.html#a4b56b54896a1241032d7614309829399',1,'SVF::ContextCond::end()'],['../classSVF_1_1SparseBitVector.html#a1b5abe09fd0fcd337385653cb47343c1',1,'SVF::SparseBitVector::end()'],['../classSVF_1_1SVFModule.html#a58d03edb6ff85f4943135478f113df31',1,'SVF::SVFModule::end()'],['../classSVF_1_1SVFModule.html#ad3f057892f970c22ef3bf345841eb4cc',1,'SVF::SVFModule::end() const']]],
-  ['endclk',['endClk',['../classSVF_1_1PTAStat.html#afe854f7416ea408104721a083ee9fee0',1,'SVF::PTAStat']]],
+  ['endclk',['endClk',['../classSVF_1_1SVFStat.html#a1b7f1e3381de87f75f06cddb9c6c1ec1',1,'SVF::SVFStat']]],
   ['endsymbolallocation',['endSymbolAllocation',['../classSVF_1_1NodeIDAllocator.html#a92b053f79cfa1259603836cb0aacad7d',1,'SVF::NodeIDAllocator']]],
-  ['endtime',['endTime',['../classSVF_1_1PTAStat.html#a267ba4aac2e7ceb65f008f9486d3d9f7',1,'SVF::PTAStat']]],
+  ['endtime',['endTime',['../classSVF_1_1PTAStat.html#a267ba4aac2e7ceb65f008f9486d3d9f7',1,'SVF::PTAStat::endTime()'],['../classSVF_1_1SVFStat.html#a8b01f1564408b51f28c107454bf9068d',1,'SVF::SVFStat::endTime()']]],
   ['ensure',['ensure',['../cJSON_8cpp.html#a3faa1600bc8001eaed05f16060668ce6',1,'cJSON.cpp']]],
   ['entry',['entry',['../classSVF_1_1CallPE.html#a88e420e259b8d7d34c9850ddde53d372',1,'SVF::CallPE']]],
   ['entrychi',['EntryCHI',['../classSVF_1_1EntryCHI.html',1,'SVF::EntryCHI< Cond >'],['../classSVF_1_1SVFG.html#a101c5a8b31baf5c5613144f6e277abe9',1,'SVF::SVFG::ENTRYCHI()'],['../classSVF_1_1MemSSA.html#a6a20da24d82ace1888be49a2ae0f6bd5',1,'SVF::MemSSA::ENTRYCHI()'],['../classSVF_1_1EntryCHI.html#a0ba7181ad2a793bf11e40b7c7092e28b',1,'SVF::EntryCHI::EntryCHI()']]],

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

@@ -177,7 +177,7 @@ var searchData=
   ['funtonodebsmap',['FunToNodeBSMap',['../classSVF_1_1MRGenerator.html#ab01e492f002c73e2c89eb0b4c8f9647d',1,'SVF::MRGenerator']]],
   ['funtopagedgesetmap',['FunToPAGEdgeSetMap',['../classSVF_1_1SVFIR.html#ac918466df08a2ab30472f3e57935f005',1,'SVF::SVFIR']]],
   ['funtopdtmap',['funToPDTMap',['../classSVF_1_1PTACFInfoBuilder.html#a11a1bb877406f45ea4c8f7c4678bfa15',1,'SVF::PTACFInfoBuilder']]],
-  ['funtopointstomap',['FunToPointsToMap',['../classSVF_1_1MRGenerator.html#ad492e2940936fc7df06127f0cb94d47a',1,'SVF::MRGenerator::FunToPointsToMap()'],['../classSVF_1_1MRGenerator.html#a05c7a5ddbe3079f63be76c35298d1c2b',1,'SVF::MRGenerator::funToPointsToMap()']]],
+  ['funtopointstomap',['funToPointsToMap',['../classSVF_1_1MRGenerator.html#a05c7a5ddbe3079f63be76c35298d1c2b',1,'SVF::MRGenerator::funToPointsToMap()'],['../classSVF_1_1MRGenerator.html#ad492e2940936fc7df06127f0cb94d47a',1,'SVF::MRGenerator::FunToPointsToMap()']]],
   ['funtopointstosmap',['FunToPointsTosMap',['../classSVF_1_1MRGenerator.html#a6b8bbb60126105cc77c1a6a4c46677fd',1,'SVF::MRGenerator']]],
   ['funtopostdtmap',['FunToPostDTMap',['../classSVF_1_1PTACFInfoBuilder.html#a8e4d95e3c98ad17b060844063a494946',1,'SVF::PTACFInfoBuilder']]],
   ['funtoptsmap',['FunToPtsMap',['../classSVF_1_1IntraDisjointMRG.html#a824dec1bb1df5052252e7fe0dd55a894',1,'SVF::IntraDisjointMRG']]],

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

@@ -9,7 +9,7 @@ var searchData=
   ['gedgeflag',['GEdgeFlag',['../classSVF_1_1GenericEdge.html#aab8892b73370c32b48621cd1d0cce614',1,'SVF::GenericEdge']]],
   ['gedgekind',['GEdgeKind',['../classSVF_1_1GenericEdge.html#a5aceeb48929f54264807b36569019a8a',1,'SVF::GenericEdge']]],
   ['gedgesetty',['GEdgeSetTy',['../classSVF_1_1GenericNode.html#a03c6da4a73c47f84f5c5b47252bc339a',1,'SVF::GenericNode']]],
-  ['generalnummap',['generalNumMap',['../classSVF_1_1PTAStat.html#afa718535839a939e51afc0f8c1fbdac6',1,'SVF::PTAStat']]],
+  ['generalnummap',['generalNumMap',['../classSVF_1_1SVFStat.html#a07b6f8cb424b84b468c4518140fa3a41',1,'SVF::SVFStat']]],
   ['generatemrs',['generateMRs',['../classSVF_1_1MRGenerator.html#a4f65593325e4391333fa1b0bedbffc4a',1,'SVF::MRGenerator']]],
   ['generic_5fbridge_5fgep_5ftype_5fiterator',['generic_bridge_gep_type_iterator',['../classllvm_1_1generic__bridge__gep__type__iterator.html',1,'llvm::generic_bridge_gep_type_iterator< ItTy >'],['../classllvm_1_1generic__bridge__gep__type__iterator.html#a93f554395c6f42b26bea2ba3c70442c3',1,'llvm::generic_bridge_gep_type_iterator::generic_bridge_gep_type_iterator()']]],
   ['genericcallgraphedgety',['GenericCallGraphEdgeTy',['../namespaceSVF.html#acd909bf6784bb6e2178aa0f5d27da0ca',1,'SVF']]],
@@ -47,11 +47,11 @@ 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_5f0',['Gep_0',['../CFLGrammar_8txt.html#ace8178aa913f2a15d4b3f12778dfc6f1',1,'Gep_0(): CFLGrammar.txt'],['../PEGGrammar_8txt.html#ace8178aa913f2a15d4b3f12778dfc6f1',1,'Gep_0(): PEGGrammar.txt']]],
+  ['gep_5f0',['Gep_0',['../CFLGrammar_8txt.html#ace8178aa913f2a15d4b3f12778dfc6f1',1,'Gep_0(): CFLGrammar.txt'],['../PEGGrammar_8txt.html#aedc3573eed4e9af781034300bff32d69',1,'Gep_0(): PEGGrammar.txt']]],
   ['gep_5f1',['Gep_1',['../CFLGrammar_8txt.html#a92c75ced313339aea5e3e0c9f0726e5a',1,'CFLGrammar.txt']]],
   ['gep_5fi',['Gep_i',['../CFLGrammar_8txt.html#af184db68cfa45428afdc186dd62e32a3',1,'Gep_i(): CFLGrammar.txt'],['../PEGGrammar_8txt.html#af184db68cfa45428afdc186dd62e32a3',1,'Gep_i(): PEGGrammar.txt']]],
   ['gep_5ftype_5fiterator',['gep_type_iterator',['../namespaceSVF.html#aa508c087703240dad69a9827e85ebd0b',1,'SVF']]],
-  ['gepbar_5f0',['Gepbar_0',['../CFLGrammar_8txt.html#a74e2e5aac99754fa661689592e053e27',1,'Gepbar_0(): CFLGrammar.txt'],['../PEGGrammar_8txt.html#a74e2e5aac99754fa661689592e053e27',1,'Gepbar_0(): PEGGrammar.txt']]],
+  ['gepbar_5f0',['Gepbar_0',['../CFLGrammar_8txt.html#ab2278962121baf68c9efd38abb522942',1,'Gepbar_0(): CFLGrammar.txt'],['../PEGGrammar_8txt.html#ab2278962121baf68c9efd38abb522942',1,'Gepbar_0(): PEGGrammar.txt']]],
   ['gepbar_5fi',['Gepbar_i',['../CFLGrammar_8txt.html#aa3f2c8659adb9738e29e47d3a607ff1e',1,'Gepbar_i(): CFLGrammar.txt'],['../PEGGrammar_8txt.html#aa3f2c8659adb9738e29e47d3a607ff1e',1,'Gepbar_i(): PEGGrammar.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']]],
@@ -199,7 +199,7 @@ var searchData=
   ['getclassnamefromtype',['getClassNameFromType',['../namespaceSVF_1_1cppUtil.html#a891719bac36ebb6c001f073dfa5a9e7b',1,'SVF::cppUtil']]],
   ['getclassnamefromvtblobj',['getClassNameFromVtblObj',['../namespaceSVF_1_1cppUtil.html#ad83c097f1c77cdf52fc219ef07ee0b1a',1,'SVF::cppUtil']]],
   ['getclassnameofthisptr',['getClassNameOfThisPtr',['../namespaceSVF_1_1cppUtil.html#a3bed7bc0a0ae580841ca049f91690ff7',1,'SVF::cppUtil']]],
-  ['getclk',['getClk',['../classSVF_1_1PTAStat.html#a3c4eaa1695ea13405911ae1621f98edc',1,'SVF::PTAStat']]],
+  ['getclk',['getClk',['../classSVF_1_1SVFStat.html#ac9d390c417df6f6af6b274618b87010d',1,'SVF::SVFStat']]],
   ['getcmpvfgnode',['getCmpVFGNode',['../classSVF_1_1VFG.html#a9215c1d7f1152967f0731057a085e793',1,'SVF::VFG']]],
   ['getcompletenodelabel',['getCompleteNodeLabel',['../structllvm_1_1DOTGraphTraits_3_01SVFG_01_5_01_4.html#a381db1cc959f8f2279fb501f8224a19a',1,'llvm::DOTGraphTraits< SVFG * >::getCompleteNodeLabel()'],['../structllvm_1_1DOTGraphTraits_3_01VFG_01_5_01_4.html#a6ced6b5b50d920fb47c4334693fea86c',1,'llvm::DOTGraphTraits< VFG * >::getCompleteNodeLabel()']]],
   ['getcond',['getCond',['../classSVF_1_1MSSAMU.html#ac51263250da06fd63b923a6771744f97',1,'SVF::MSSAMU::getCond()'],['../classSVF_1_1MSSACHI.html#a9673994f9db94e23984b132d4b533304',1,'SVF::MSSACHI::getCond()'],['../classSVF_1_1MSSAPHI.html#a06a5d63be38e6df36e1c28a6c0c789cc',1,'SVF::MSSAPHI::getCond()'],['../classSVF_1_1CxtStmtDPItem.html#ace41c90e66f6a85f12ff67540ad9d594',1,'SVF::CxtStmtDPItem::getCond() const'],['../classSVF_1_1CxtStmtDPItem.html#a987f57970d633acc10aa3f3e69b68cb0',1,'SVF::CxtStmtDPItem::getCond()']]],

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

@@ -16,7 +16,7 @@ var searchData=
   ['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#a4666dabcbeb3f40f96a0694ce2f07eb0',1,'SVF::SVFIR::ICFGNode2SVFStmtsMap()'],['../classSVF_1_1SVFIR.html#a86c0c23d854b034d741d9d8891debab7',1,'SVF::SVFIR::icfgNode2SVFStmtsMap()']]],
+  ['icfgnode2svfstmtsmap',['icfgNode2SVFStmtsMap',['../classSVF_1_1SVFIR.html#a86c0c23d854b034d741d9d8891debab7',1,'SVF::SVFIR::icfgNode2SVFStmtsMap()'],['../classSVF_1_1SVFIR.html#a4666dabcbeb3f40f96a0694ce2f07eb0',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']]],
@@ -204,6 +204,7 @@ var searchData=
   ['is_5fnoop',['is_noop',['../classSVF_1_1ExtAPI.html#a82ebf71c5214f891f17e842e0b133b4f',1,'SVF::ExtAPI']]],
   ['is_5fnumeral',['is_numeral',['../classSVF_1_1Z3Expr.html#ad1802109545427278e3a8bde52e016b0',1,'SVF::Z3Expr']]],
   ['is_5frealloc',['is_realloc',['../classSVF_1_1ExtAPI.html#ac6d6bdc51a6b75d6d5741cb751559fe4',1,'SVF::ExtAPI']]],
+  ['is_5fsamesignature',['is_sameSignature',['../classSVF_1_1ExtAPI.html#a5e8b816a3eb894f6b09403852df0d01b',1,'SVF::ExtAPI']]],
   ['is_5fsimple_5ftype',['is_simple_type',['../structSVF_1_1SVFUtil_1_1is__simple__type.html',1,'SVF::SVFUtil']]],
   ['isa',['isa',['../namespaceSVF_1_1SVFUtil.html#a5c8cbc986cccb9d84f87aae162df3737',1,'SVF::SVFUtil']]],
   ['isa_5fimpl',['isa_impl',['../structSVF_1_1SVFUtil_1_1isa__impl.html',1,'SVF::SVFUtil']]],

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

@@ -28,10 +28,10 @@ var searchData=
   ['llvmloopanalysis_2eh',['LLVMLoopAnalysis.h',['../LLVMLoopAnalysis_8h.html',1,'']]],
   ['llvmmodule_2ecpp',['LLVMModule.cpp',['../LLVMModule_8cpp.html',1,'']]],
   ['llvmmodule_2eh',['LLVMModule.h',['../LLVMModule_8h.html',1,'']]],
-  ['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()']]],
+  ['llvmmoduleset',['LLVMModuleSet',['../classSVF_1_1LLVMModuleSet.html',1,'SVF::LLVMModuleSet'],['../classSVF_1_1LLVMModuleSet.html#ac59b07cafcbacc950eefea4082425b63',1,'SVF::LLVMModuleSet::llvmModuleSet()'],['../classSVF_1_1LLVMModuleSet.html#a8e70de9eefe2e188b10e214e073750e6',1,'SVF::LLVMModuleSet::LLVMModuleSet()']]],
   ['llvmutil_2ecpp',['LLVMUtil.cpp',['../LLVMUtil_8cpp.html',1,'']]],
   ['llvmutil_2eh',['LLVMUtil.h',['../LLVMUtil_8h.html',1,'']]],
-  ['load',['Load',['../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()'],['../classSVF_1_1ExeState.html#a80bd7f3746198459bbcb59274cebc013',1,'SVF::ExeState::load(const Z3Expr &loc)'],['../classSVF_1_1ExeState.html#a8b58d74bd718d66cde9ad7e868d6137a',1,'SVF::ExeState::load(u32_t objId)'],['../CFLGrammar_8txt.html#af3f0b3f464e928b7fc87347dc041501d',1,'Load(): CFLGrammar.txt']]],
+  ['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#af3f0b3f464e928b7fc87347dc041501d',1,'Load(): CFLGrammar.txt']]],
   ['load2musetmap',['load2MuSetMap',['../classSVF_1_1MemSSA.html#a5cf94edea3a5c35b3c1d9c6ae4b5f9d6',1,'SVF::MemSSA']]],
   ['loadbar',['Loadbar',['../CFLGrammar_8txt.html#ac9e2ada624dc7eee357e865e0d89c84a',1,'CFLGrammar.txt']]],
   ['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)']]],
@@ -40,13 +40,13 @@ var searchData=
   ['loadinst',['LoadInst',['../namespaceSVF.html#a5a6e8ab900d5cd17ef72661006a7fbe0',1,'SVF']]],
   ['loadmodules',['loadModules',['../classSVF_1_1LLVMModuleSet.html#a298966366b02d0a34f409c2c77da3789',1,'SVF::LLVMModuleSet']]],
   ['loadmssamu',['LoadMSSAMU',['../classSVF_1_1MSSAMU.html#a82c66f3e2b7d2d9dd391a947719bda9baca29c59204ea9d2e228cba3e349aa019',1,'SVF::MSSAMU']]],
-  ['loadmu',['LoadMU',['../classSVF_1_1LoadMU.html',1,'SVF::LoadMU< Cond >'],['../classSVF_1_1LoadMU.html#aaf916feaa76c3eaf96dcff576ef366ca',1,'SVF::LoadMU::LoadMU()'],['../classSVF_1_1SVFG.html#a86d4a41a881a3d2e5def103d7ba8bb2f',1,'SVF::SVFG::LOADMU()'],['../classSVF_1_1MemSSA.html#a4717016109fd3bc80f3095d11afff5b1',1,'SVF::MemSSA::LOADMU()']]],
+  ['loadmu',['LoadMU',['../classSVF_1_1LoadMU.html',1,'SVF::LoadMU< Cond >'],['../classSVF_1_1SVFG.html#a86d4a41a881a3d2e5def103d7ba8bb2f',1,'SVF::SVFG::LOADMU()'],['../classSVF_1_1MemSSA.html#a4717016109fd3bc80f3095d11afff5b1',1,'SVF::MemSSA::LOADMU()'],['../classSVF_1_1LoadMU.html#aaf916feaa76c3eaf96dcff576ef366ca',1,'SVF::LoadMU::LoadMU()']]],
   ['loadoutedges',['loadOutEdges',['../classSVF_1_1ConstraintNode.html#a85a6acbd708be0dfc63ea87050a4a934',1,'SVF::ConstraintNode']]],
   ['loadset',['loadset',['../classSVF_1_1MTAAnnotator.html#a469851829bf1105fe8faac44b4abbfdd',1,'SVF::MTAAnnotator::loadset()'],['../classSVF_1_1MTA.html#a80356495b6c45bac59dc15fd7a99730b',1,'SVF::MTA::LoadSet()']]],
   ['loadsrcnodes',['loadSrcNodes',['../classSVF_1_1AliasDDAClient.html#a246448efd1ff5da683a6ffe9f759e282',1,'SVF::AliasDDAClient']]],
   ['loadstmt',['LoadStmt',['../classSVF_1_1LoadStmt.html',1,'SVF::LoadStmt'],['../classSVF_1_1LoadStmt.html#a4bd939005c7c6a5da4ed3b6be6ef1a22',1,'SVF::LoadStmt::LoadStmt()'],['../classSVF_1_1LoadStmt.html#a2efafa925a30de73735ca73b1632b5f8',1,'SVF::LoadStmt::LoadStmt(const LoadStmt &)'],['../classSVF_1_1LoadStmt.html#a92c5817abfaa1f6fbc9ee911f458dfb2',1,'SVF::LoadStmt::LoadStmt(SVFVar *s, SVFVar *d)']]],
   ['loadstomrsmap',['loadsToMRsMap',['../classSVF_1_1MRGenerator.html#a0d8229b1f0b8428708e923d19096e4ba',1,'SVF::MRGenerator::loadsToMRsMap()'],['../classSVF_1_1MRGenerator.html#a273b2634adcfa10a08924517e8d51175',1,'SVF::MRGenerator::LoadsToMRsMap()']]],
-  ['loadstopointstomap',['loadsToPointsToMap',['../classSVF_1_1MRGenerator.html#af47e15d6b8c15d547a718f3577513975',1,'SVF::MRGenerator::loadsToPointsToMap()'],['../classSVF_1_1MRGenerator.html#acfadd565b5c978c9417e059b3ea7588c',1,'SVF::MRGenerator::LoadsToPointsToMap()']]],
+  ['loadstopointstomap',['LoadsToPointsToMap',['../classSVF_1_1MRGenerator.html#acfadd565b5c978c9417e059b3ea7588c',1,'SVF::MRGenerator::LoadsToPointsToMap()'],['../classSVF_1_1MRGenerator.html#af47e15d6b8c15d547a718f3577513975',1,'SVF::MRGenerator::loadsToPointsToMap()']]],
   ['loadsvfgnode',['LoadSVFGNode',['../namespaceSVF.html#a3ce49be3724e1e8423ccdfa726fbf6c8',1,'SVF']]],
   ['loadtime',['loadTime',['../classSVF_1_1FlowSensitive.html#aab4f70210eb1e6447a24697d3b459067',1,'SVF::FlowSensitive']]],
   ['loadtomusetmap',['LoadToMUSetMap',['../classSVF_1_1MemSSA.html#a94164c59384ef04f98a3713b504fca35',1,'SVF::MemSSA']]],

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

@@ -118,7 +118,7 @@ var searchData=
   ['module',['module',['../classSVF_1_1DDAClient.html#a4ac68012099540beb87ee4700e824d64',1,'SVF::DDAClient::module()'],['../namespaceSVF.html#aa7a770b5dd5cd0e37d06a1088f252906',1,'SVF::Module()']]],
   ['moduleflagvalue',['moduleFlagValue',['../namespaceSVF_1_1cppUtil_1_1ctir.html#a05c7c51164928786d70713094db7f3f3',1,'SVF::cppUtil::ctir']]],
   ['moduleidentifier',['moduleIdentifier',['../classSVF_1_1SVFModule.html#ac40e98040f949171279afec54bb03f71',1,'SVF::SVFModule']]],
-  ['modulename',['moduleName',['../classSVF_1_1PTAStat.html#a194734855aa1c9e0ba891f1085d50d5d',1,'SVF::PTAStat']]],
+  ['modulename',['moduleName',['../classSVF_1_1PTAStat.html#a194734855aa1c9e0ba891f1085d50d5d',1,'SVF::PTAStat::moduleName()'],['../classSVF_1_1SVFStat.html#a3333e45303dcc9c3da00858628cdbbff',1,'SVF::SVFStat::moduleName()']]],
   ['modulepass',['modulePass',['../classSVF_1_1MTA.html#a3dd09dcdcf58ae8ee1745634cefbb8aa',1,'SVF::MTA::modulePass()'],['../namespaceSVF.html#ac226d84f86637126d17f6814632c8a90',1,'SVF::ModulePass()']]],
   ['modules',['modules',['../classSVF_1_1LLVMModuleSet.html#acde6292e719c80f93d3d1c344ab442cd',1,'SVF::LLVMModuleSet']]],
   ['move',['move',['../namespaceSVF_1_1SVFUtil.html#a72502f7f536418621485e90ab98c2016',1,'SVF::SVFUtil']]],

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

@@ -158,7 +158,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_1SVFGStat.html#a9fc87025af3b7e54442e78f46ebe0360',1,'SVF::SVFGStat::numOfMSSAPhi()'],['../classSVF_1_1MemSSAStat.html#a4b598cb1d06c4c0963787036862b1c3d',1,'SVF::MemSSAStat::NumOfMSSAPhi()']]],
+  ['numofmssaphi',['NumOfMSSAPhi',['../classSVF_1_1MemSSAStat.html#a4b598cb1d06c4c0963787036862b1c3d',1,'SVF::MemSSAStat::NumOfMSSAPhi()'],['../classSVF_1_1SVFGStat.html#a9fc87025af3b7e54442e78f46ebe0360',1,'SVF::SVFGStat::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']]],
@@ -209,7 +209,7 @@ var searchData=
   ['numprelabelednodes',['numPrelabeledNodes',['../classSVF_1_1VersionedFlowSensitive.html#aff5029fca933376be1fa374bec790da6',1,'SVF::VersionedFlowSensitive']]],
   ['numprelabelversions',['numPrelabelVersions',['../classSVF_1_1VersionedFlowSensitive.html#a207ae4d1f2e0ccab8e36add0a45578af',1,'SVF::VersionedFlowSensitive']]],
   ['numregions',['NumRegions',['../classSVF_1_1NodeIDAllocator_1_1Clusterer.html#ac5fe44f10cdbca9754444943a0f5c3c1',1,'SVF::NodeIDAllocator::Clusterer']]],
-  ['numstatmap',['NUMStatMap',['../classSVF_1_1PTAStat.html#a7e8f9f9c1662822f3f8bd016db84e1e6',1,'SVF::PTAStat']]],
+  ['numstatmap',['NUMStatMap',['../classSVF_1_1SVFStat.html#ab810863d70cb2f5b4e312d07eae51227',1,'SVF::SVFStat']]],
   ['numsymbols',['numSymbols',['../classSVF_1_1NodeIDAllocator.html#a3a160f4c6e761a130b863a3df0af7f96',1,'SVF::NodeIDAllocator']]],
   ['numtypes',['numTypes',['../classSVF_1_1DCHGraph.html#a76fd3154a31584bb64683f2d762cc56c',1,'SVF::DCHGraph']]],
   ['numvalues',['numValues',['../classSVF_1_1NodeIDAllocator.html#a001c25f6998b8b0a9a7e5e00810e155f',1,'SVF::NodeIDAllocator']]],

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

@@ -62,7 +62,7 @@ var searchData=
   ['options_2eh',['Options.h',['../Options_8h.html',1,'']]],
   ['optsvfg',['OPTSVFG',['../classSVF_1_1Options.html#a7704ff30e6fc5043313adf5c655bcd4a',1,'SVF::Options']]],
   ['opvarbegin',['opVarBegin',['../classSVF_1_1MultiOpndStmt.html#abebed8985cb4d4d1361c42e5454c90b9',1,'SVF::MultiOpndStmt']]],
-  ['opvars',['OPVars',['../classSVF_1_1MultiOpndStmt.html#acf8c7cfbf1c8baab672040635bb9a007',1,'SVF::MultiOpndStmt::OPVars()'],['../classSVF_1_1MultiOpndStmt.html#a172025849492f4de8f87564ef08f5880',1,'SVF::MultiOpndStmt::opVars()']]],
+  ['opvars',['opVars',['../classSVF_1_1MultiOpndStmt.html#a172025849492f4de8f87564ef08f5880',1,'SVF::MultiOpndStmt::opVars()'],['../classSVF_1_1MultiOpndStmt.html#acf8c7cfbf1c8baab672040635bb9a007',1,'SVF::MultiOpndStmt::OPVars()']]],
   ['opver',['opVer',['../classSVF_1_1MSSACHI.html#a86f2f3f6e2215cdbe31caee048510757',1,'SVF::MSSACHI']]],
   ['opverbegin',['opVerBegin',['../classSVF_1_1MSSAPHISVFGNode.html#ace39549f7e300cb4a0ac7b8506a8632a',1,'SVF::MSSAPHISVFGNode::opVerBegin()'],['../classSVF_1_1IntraMSSAPHISVFGNode.html#aff4e88ef6569d3c4f29b532d610cd2b9',1,'SVF::IntraMSSAPHISVFGNode::opVerBegin()'],['../classSVF_1_1CmpVFGNode.html#a78fb624f0ca9ff16e6a8e5fd1c384904',1,'SVF::CmpVFGNode::opVerBegin()'],['../classSVF_1_1BinaryOPVFGNode.html#adaff45c46c4cc8158bd3147d304deab5',1,'SVF::BinaryOPVFGNode::opVerBegin()'],['../classSVF_1_1UnaryOPVFGNode.html#ab63ddaa05181f2c60ca7a001001a908d',1,'SVF::UnaryOPVFGNode::opVerBegin()'],['../classSVF_1_1PHIVFGNode.html#a2e00f6d582aa4ac9aa116cc6d5c79369',1,'SVF::PHIVFGNode::opVerBegin()'],['../classSVF_1_1MSSAPHI.html#a940f9afa26bf54c7175276ea27003c2f',1,'SVF::MSSAPHI::opVerBegin()']]],
   ['opverend',['opVerEnd',['../classSVF_1_1MSSAPHISVFGNode.html#a33ec42a011781bbb63dce6dbe5f88bdf',1,'SVF::MSSAPHISVFGNode::opVerEnd()'],['../classSVF_1_1IntraMSSAPHISVFGNode.html#a5e78faceb497b0f3cb6f8f1a9fc4f799',1,'SVF::IntraMSSAPHISVFGNode::opVerEnd()'],['../classSVF_1_1CmpVFGNode.html#ae5ba94ffae500168f0e5c1b1ce78af9c',1,'SVF::CmpVFGNode::opVerEnd()'],['../classSVF_1_1BinaryOPVFGNode.html#aed5a32d1a145df7007ba7d934e4c2bd4',1,'SVF::BinaryOPVFGNode::opVerEnd()'],['../classSVF_1_1UnaryOPVFGNode.html#af31a06d33f41bdcff625ac23e269708c',1,'SVF::UnaryOPVFGNode::opVerEnd()'],['../classSVF_1_1PHIVFGNode.html#add18c60773871744123d12a037e78e20',1,'SVF::PHIVFGNode::opVerEnd()'],['../classSVF_1_1MultiOpndStmt.html#ad53097d07487d564e7d13f9d7d9ab10c',1,'SVF::MultiOpndStmt::opVerEnd()'],['../classSVF_1_1MSSAPHI.html#a2a49ad9d2eedf1dea98d725b13878d88',1,'SVF::MSSAPHI::opVerEnd()']]],
@@ -93,6 +93,6 @@ var searchData=
   ['outs',['outs',['../namespaceSVF_1_1SVFUtil.html#aed0b0b9f035057552a6a82154fd88e61',1,'SVF::SVFUtil']]],
   ['outstream',['OutStream',['../namespaceSVF.html#a8bd74fdcb0e58d0249003df9c3fb8b31',1,'SVF']]],
   ['outupdatedvarmap',['outUpdatedVarMap',['../classSVF_1_1MutableIncDFPTData.html#af5f7db6c55037a0e117a36982736039e',1,'SVF::MutableIncDFPTData::outUpdatedVarMap()'],['../classSVF_1_1PersistentIncDFPTData.html#a054f8e2a0668387c092b2802e64a4df0',1,'SVF::PersistentIncDFPTData::outUpdatedVarMap()']]],
-  ['overlap',['overlap',['../classSVF_1_1CondPTAImpl.html#adf0acbb0c605278e43d88787d651bbd8',1,'SVF::CondPTAImpl::overlap()'],['../classSVF_1_1LocationSet.html#a002a0c8ec2528835d809bf7eb3ebc83fa8c76affbe3b39db53e8046cd5d79903c',1,'SVF::LocationSet::Overlap()']]],
+  ['overlap',['Overlap',['../classSVF_1_1LocationSet.html#a002a0c8ec2528835d809bf7eb3ebc83fa8c76affbe3b39db53e8046cd5d79903c',1,'SVF::LocationSet::Overlap()'],['../classSVF_1_1CondPTAImpl.html#adf0acbb0c605278e43d88787d651bbd8',1,'SVF::CondPTAImpl::overlap()']]],
   ['owned_5fmodules',['owned_modules',['../classSVF_1_1LLVMModuleSet.html#ae365189769640adb919a23c36978e5e2',1,'SVF::LLVMModuleSet']]]
 ];

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

@@ -34,6 +34,7 @@ var searchData=
   ['svfirbuilder',['SVFIRBuilder',['../classSVF_1_1SVFIRBuilder.html',1,'SVF']]],
   ['svfloop',['SVFLoop',['../classSVF_1_1SVFLoop.html',1,'SVF']]],
   ['svfmodule',['SVFModule',['../classSVF_1_1SVFModule.html',1,'SVF']]],
+  ['svfstat',['SVFStat',['../classSVF_1_1SVFStat.html',1,'SVF']]],
   ['svfstmt',['SVFStmt',['../classSVF_1_1SVFStmt.html',1,'SVF']]],
   ['svfvalue',['SVFValue',['../classSVF_1_1SVFValue.html',1,'SVF']]],
   ['svfvar',['SVFVar',['../classSVF_1_1SVFVar.html',1,'SVF']]],

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

@@ -6,6 +6,6 @@ var searchData=
   ['chedgetype',['CHEDGETYPE',['../classSVF_1_1CHEdge.html#a26280c3b724551036f7e3ba2b5922676',1,'SVF::CHEdge']]],
   ['chgkind',['CHGKind',['../classSVF_1_1CommonCHGraph.html#a6a1feb9e268fb56b0de3efc39cfc8db8',1,'SVF::CommonCHGraph']]],
   ['classattr',['CLASSATTR',['../classSVF_1_1CHNode.html#a7111a3971f9f03e32bfd291a783d43b4',1,'SVF::CHNode::CLASSATTR()'],['../classSVF_1_1DCHNode.html#a029988e54846db9aca2584e1c10283e3',1,'SVF::DCHNode::CLASSATTR()']]],
-  ['clocktype',['ClockType',['../classSVF_1_1PTAStat.html#a926cd5ab95f4f42ffe264413a32725cf',1,'SVF::PTAStat']]],
+  ['clocktype',['ClockType',['../classSVF_1_1SVFStat.html#a4f47da512cfa8f94fddaddc65334b454',1,'SVF::SVFStat']]],
   ['constraintedgek',['ConstraintEdgeK',['../classSVF_1_1ConstraintEdge.html#a663af27955ba0c545f34fa1f076b7375',1,'SVF::ConstraintEdge']]]
 ];

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

@@ -1,4 +1,4 @@
 var searchData=
 [
-  ['wall',['Wall',['../classSVF_1_1PTAStat.html#a926cd5ab95f4f42ffe264413a32725cfa6c9d7a9709df10eb67ce27e744e0f61c',1,'SVF::PTAStat']]]
+  ['wall',['Wall',['../classSVF_1_1SVFStat.html#a4f47da512cfa8f94fddaddc65334b454a4daec28631d54e09b587e78707ab54fc',1,'SVF::SVFStat']]]
 ];

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

@@ -31,7 +31,7 @@ var searchData=
   ['cpp_5feft_5fa0r_5fa1r',['CPP_EFT_A0R_A1R',['../classSVF_1_1ExtAPI.html#a5df65081e82a05223ce781660ee199caa7f75d2265448acf50cd59151a1241054',1,'SVF::ExtAPI']]],
   ['cpp_5feft_5fa1r',['CPP_EFT_A1R',['../classSVF_1_1ExtAPI.html#a5df65081e82a05223ce781660ee199caa3eb7d75552ce138f55c840b6635d32ed',1,'SVF::ExtAPI']]],
   ['cpp_5feft_5fdynamic_5fcast',['CPP_EFT_DYNAMIC_CAST',['../classSVF_1_1ExtAPI.html#a5df65081e82a05223ce781660ee199caa6c9b3a6987d311c61156dab96e5ad3b9',1,'SVF::ExtAPI']]],
-  ['cpu',['CPU',['../classSVF_1_1PTAStat.html#a926cd5ab95f4f42ffe264413a32725cfa518df17b11048afda951359227f53d2d',1,'SVF::PTAStat']]],
+  ['cpu',['CPU',['../classSVF_1_1SVFStat.html#a4f47da512cfa8f94fddaddc65334b454ad58693e596aa4088fa4a05065f9c0ffa',1,'SVF::SVFStat']]],
   ['cscallstring_5fwpa',['CSCallString_WPA',['../classSVF_1_1PointerAnalysis.html#a0b182ac680cce0547dbe7714c870ca85ac9e931f254fa3471f5f5337cbca1de09',1,'SVF::PointerAnalysis']]],
   ['cssummary_5fwpa',['CSSummary_WPA',['../classSVF_1_1PointerAnalysis.html#a0b182ac680cce0547dbe7714c870ca85adf8fe4349f84779601a0b41659ca8e27',1,'SVF::PointerAnalysis']]],
   ['cxt_5fdda',['Cxt_DDA',['../classSVF_1_1PointerAnalysis.html#a0b182ac680cce0547dbe7714c870ca85a0ab6564c48897595c9d23382a026e0a8',1,'SVF::PointerAnalysis']]]

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

@@ -36,6 +36,8 @@ var searchData=
   ['svfloop_2eh',['SVFLoop.h',['../SVFLoop_8h.html',1,'']]],
   ['svfmodule_2ecpp',['SVFModule.cpp',['../SVFModule_8cpp.html',1,'']]],
   ['svfmodule_2eh',['SVFModule.h',['../SVFModule_8h.html',1,'']]],
+  ['svfstat_2ecpp',['SVFStat.cpp',['../SVFStat_8cpp.html',1,'']]],
+  ['svfstat_2eh',['SVFStat.h',['../SVFStat_8h.html',1,'']]],
   ['svfstatements_2ecpp',['SVFStatements.cpp',['../SVFStatements_8cpp.html',1,'']]],
   ['svfstatements_2eh',['SVFStatements.h',['../SVFStatements_8h.html',1,'']]],
   ['svfutil_2ecpp',['SVFUtil.cpp',['../SVFUtil_8cpp.html',1,'']]],

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

@@ -34,6 +34,8 @@ var searchData=
   ['addbbpredecessorpos',['addBBPredecessorPos',['../classSVF_1_1SVFModule.html#a4917f8a48e5a093e4a4314033b790fc2',1,'SVF::SVFModule']]],
   ['addbbsuccessornum',['addBBSuccessorNum',['../classSVF_1_1SVFModule.html#a228fd819dbae70d1074e15c804896841',1,'SVF::SVFModule']]],
   ['addbbsuccessorpos',['addBBSuccessorPos',['../classSVF_1_1SVFModule.html#a556482926cf0253ca290dc4a4a52bffa',1,'SVF::SVFModule']]],
+  ['addbicfledge',['addBiCFLEdge',['../classSVF_1_1AliasCFLGraphBuilder.html#ae7a9f2103c68829290c1bd5fd9cde321',1,'SVF::AliasCFLGraphBuilder']]],
+  ['addbigepcfledge',['addBiGepCFLEdge',['../classSVF_1_1AliasCFLGraphBuilder.html#a715213d0b521b676832ec73b38d2014e',1,'SVF::AliasCFLGraphBuilder']]],
   ['addbinaryopedge',['addBinaryOPEdge',['../classSVF_1_1SVFIRBuilder.html#a3f954c61381fe31088e791772c334105',1,'SVF::SVFIRBuilder']]],
   ['addbinaryopstmt',['addBinaryOPStmt',['../classSVF_1_1SVFIR.html#a955a2f93cf9eef857e40f19bc24edb2f',1,'SVF::SVFIR']]],
   ['addbinaryopvfgnode',['addBinaryOPVFGNode',['../classSVF_1_1VFG.html#ac79516fc4d9136241d708f9df5c73262',1,'SVF::VFG']]],

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

@@ -141,7 +141,7 @@ var searchData=
   ['ssarenamebb',['SSARenameBB',['../classSVF_1_1MemSSA.html#a271c20725d49dd65b95c062938ffde4c',1,'SVF::MemSSA']]],
   ['standardcompileopts',['StandardCompileOpts',['../cfl_8cpp.html#afffbd7760f0128b74c9dbfd517d0f99e',1,'StandardCompileOpts("std-compile-opts", cl::desc("Include the standard compile time optimizations")): cfl.cpp'],['../dda_8cpp.html#afffbd7760f0128b74c9dbfd517d0f99e',1,'StandardCompileOpts("std-compile-opts", cl::desc("Include the standard compile time optimizations")): dda.cpp']]],
   ['startanalysislimittimer',['startAnalysisLimitTimer',['../namespaceSVF_1_1SVFUtil.html#a757815a2c758695176120509ceb0ce70',1,'SVF::SVFUtil']]],
-  ['startclk',['startClk',['../classSVF_1_1PTAStat.html#a5524ff7901659f56e9de343992be8f3b',1,'SVF::PTAStat']]],
+  ['startclk',['startClk',['../classSVF_1_1SVFStat.html#a730cc814fede3edb563aa9957c869e9e',1,'SVF::SVFStat']]],
   ['startnewptcompfromloadsrc',['startNewPTCompFromLoadSrc',['../classSVF_1_1DDAVFSolver.html#acd694c2092adf8c516d1aba5f798cec7',1,'SVF::DDAVFSolver']]],
   ['startnewptcompfromstoredst',['startNewPTCompFromStoreDst',['../classSVF_1_1DDAVFSolver.html#aff744e724dcf06a2b1cdd7ba2b1093f1',1,'SVF::DDAVFSolver']]],
   ['stataddrvarptssize',['statAddrVarPtsSize',['../classSVF_1_1FlowSensitiveStat.html#a81785227a688389c68171a1fbd55fa9b',1,'SVF::FlowSensitiveStat']]],
@@ -185,6 +185,7 @@ var searchData=
   ['svfirbuilder',['SVFIRBuilder',['../classSVF_1_1SVFIRBuilder.html#a8c25c3903cda26312f182014f29069fc',1,'SVF::SVFIRBuilder']]],
   ['svfloop',['SVFLoop',['../classSVF_1_1SVFLoop.html#a25b9a079f48aa0374c91be6a1e9697f8',1,'SVF::SVFLoop']]],
   ['svfmodule',['SVFModule',['../classSVF_1_1SVFModule.html#a22b214595dd7841eb974e7c633ed8bb1',1,'SVF::SVFModule']]],
+  ['svfstat',['SVFStat',['../classSVF_1_1SVFStat.html#ad22433722f7c71df19a891a5b5039d26',1,'SVF::SVFStat']]],
   ['svfstmt',['SVFStmt',['../classSVF_1_1SVFStmt.html#a2ab7295fe26d2c6d2d5c9fd027f96a47',1,'SVF::SVFStmt']]],
   ['svfvalue',['SVFValue',['../classSVF_1_1SVFValue.html#ac42927fed1c213852daceb902478d9c8',1,'SVF::SVFValue']]],
   ['svfvar',['SVFVar',['../classSVF_1_1SVFVar.html#a24daf5faa4b1d159c193e61951d17414',1,'SVF::SVFVar']]],

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

@@ -127,6 +127,7 @@ var searchData=
   ['_7esvfirbuilder',['~SVFIRBuilder',['../classSVF_1_1SVFIRBuilder.html#a5a04b9d97ad5f6e761bcc4779c96104e',1,'SVF::SVFIRBuilder']]],
   ['_7esvfloop',['~SVFLoop',['../classSVF_1_1SVFLoop.html#a36fb834fe1a5655ac13c44b49815f0af',1,'SVF::SVFLoop']]],
   ['_7esvfmodule',['~SVFModule',['../classSVF_1_1SVFModule.html#a1eb570539328976351d95ca93cb7aa02',1,'SVF::SVFModule']]],
+  ['_7esvfstat',['~SVFStat',['../classSVF_1_1SVFStat.html#a135ac9973ebfef4680d343320453ff52',1,'SVF::SVFStat']]],
   ['_7esvfstmt',['~SVFStmt',['../classSVF_1_1SVFStmt.html#aac79c7e8d390f297002782afb0ba3ff0',1,'SVF::SVFStmt']]],
   ['_7esvfvar',['~SVFVar',['../classSVF_1_1SVFVar.html#ab76f9dea1559bd9b10b870dbc7bb454a',1,'SVF::SVFVar']]],
   ['_7esymboltableinfo',['~SymbolTableInfo',['../classSVF_1_1SymbolTableInfo.html#a6efac0ae8ebf2865067136675be5a340',1,'SVF::SymbolTableInfo']]],

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

@@ -9,7 +9,7 @@ var searchData=
   ['callgraphbuilder',['CallGraphBuilder',['../classSVF_1_1CallGraphBuilder.html#ae5c2b2deb4a621cb38a31c8895052856',1,'SVF::CallGraphBuilder']]],
   ['callgraphsccdetection',['callGraphSCCDetection',['../classSVF_1_1PointerAnalysis.html#aafa5df4aa576a144476e547b1da35795',1,'SVF::PointerAnalysis']]],
   ['callgraphsolvebasedoncha',['callGraphSolveBasedOnCHA',['../classSVF_1_1TypeAnalysis.html#aec579b7854aa6a994632d3f7c5d621db',1,'SVF::TypeAnalysis']]],
-  ['callgraphstat',['callgraphStat',['../classSVF_1_1PTAStat.html#a1772bc87370b5625f71edd4476277064',1,'SVF::PTAStat']]],
+  ['callgraphstat',['callgraphStat',['../classSVF_1_1PTAStat.html#af2eb88d1563be9e6290a5fc69bec3bbe',1,'SVF::PTAStat::callgraphStat()'],['../classSVF_1_1SVFStat.html#a21e6767fbe2c3cdea4aac30199dfd2f0',1,'SVF::SVFStat::callgraphStat()']]],
   ['callicfgnode',['CallICFGNode',['../classSVF_1_1CallICFGNode.html#a7c514653ca97c9a97f5a26a57a2955e1',1,'SVF::CallICFGNode']]],
   ['callindsvfgedge',['CallIndSVFGEdge',['../classSVF_1_1CallIndSVFGEdge.html#a9651aa6a85a7ee9e626dd66a5410b191',1,'SVF::CallIndSVFGEdge']]],
   ['callmu',['CallMU',['../classSVF_1_1CallMU.html#abb981eb0739d7b3fdcc271b693e708ae',1,'SVF::CallMU']]],
@@ -155,6 +155,7 @@ var searchData=
   ['connectinheritedgeviastore',['connectInheritEdgeViaStore',['../classSVF_1_1CHGBuilder.html#acbdf97de6a24cec8d0ae020e3bfb79e6',1,'SVF::CHGBuilder']]],
   ['connectmhpedges',['connectMHPEdges',['../classSVF_1_1MTASVFGBuilder.html#a1010ef4fc52e312f2b22867a63a5810d',1,'SVF::MTASVFGBuilder']]],
   ['connectvcalltovfns',['connectVCallToVFns',['../classSVF_1_1PointerAnalysis.html#a6a5dec067fa2a1babc83f36daa8afcc3',1,'SVF::PointerAnalysis']]],
+  ['connectvgep',['connectVGep',['../classSVF_1_1AliasCFLGraphBuilder.html#a9feeeca8a919b19693e48d6a382c8871',1,'SVF::AliasCFLGraphBuilder']]],
   ['constantsymid',['constantSymID',['../classSVF_1_1SymbolTableInfo.html#ab582424fdb6d9674c1bd4466cdfbe497',1,'SVF::SymbolTableInfo']]],
   ['constraintedge',['ConstraintEdge',['../classSVF_1_1ConstraintEdge.html#a2b2b7206af6463b82441ac7a5c78e637',1,'SVF::ConstraintEdge']]],
   ['constraintgraph',['ConstraintGraph',['../classSVF_1_1ConstraintGraph.html#a7e4c0c3e6e3c64d2729abd0f161cf550',1,'SVF::ConstraintGraph']]],

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

@@ -14,7 +14,7 @@ var searchData=
   ['enablefield',['ENABLEFIELD',['../dda_8cpp.html#adad2a8a1b2f5bf9f333382725f174cb0',1,'dda.cpp']]],
   ['enableflow',['ENABLEFLOW',['../dda_8cpp.html#af95c31f8cf35812a4fe4a22342aacaa2',1,'dda.cpp']]],
   ['end',['end',['../classSVF_1_1GenericGraph.html#a4bef15157423cef48dc7333a803cd27d',1,'SVF::GenericGraph::end()'],['../classSVF_1_1GenericGraph.html#a3001af3746d26b7dc0a212db5e48a4bb',1,'SVF::GenericGraph::end() const'],['../classSVF_1_1CondStdSet.html#a93c232ef7e5dea652622da7f994e1dc3',1,'SVF::CondStdSet::end()'],['../classSVF_1_1CondStdSet.html#accc5305781696701c00245ed1e8a25a3',1,'SVF::CondStdSet::end() const'],['../classSVF_1_1CondPointsToSet.html#a5ead697952ada3fbb07da3459a2b1b86',1,'SVF::CondPointsToSet::end()'],['../classSVF_1_1CondPointsToSet.html#a537890d918d23abeea39bc73198f7365',1,'SVF::CondPointsToSet::end() const'],['../classSVF_1_1PointsTo.html#a8f741cdffbf3c5fe0f602cdca677dee6',1,'SVF::PointsTo::end()'],['../classllvm_1_1generic__bridge__gep__type__iterator.html#a4f13b7cccd69bdac2a4f5feff5625f01',1,'llvm::generic_bridge_gep_type_iterator::end()'],['../classSVF_1_1CoreBitVector.html#a93cdd9890522cc9fee2451567e0b1f0d',1,'SVF::CoreBitVector::end()'],['../classSVF_1_1ContextCond.html#a4b56b54896a1241032d7614309829399',1,'SVF::ContextCond::end()'],['../classSVF_1_1SparseBitVector.html#a1b5abe09fd0fcd337385653cb47343c1',1,'SVF::SparseBitVector::end()'],['../classSVF_1_1SVFModule.html#a58d03edb6ff85f4943135478f113df31',1,'SVF::SVFModule::end()'],['../classSVF_1_1SVFModule.html#ad3f057892f970c22ef3bf345841eb4cc',1,'SVF::SVFModule::end() const']]],
-  ['endclk',['endClk',['../classSVF_1_1PTAStat.html#afe854f7416ea408104721a083ee9fee0',1,'SVF::PTAStat']]],
+  ['endclk',['endClk',['../classSVF_1_1SVFStat.html#a1b7f1e3381de87f75f06cddb9c6c1ec1',1,'SVF::SVFStat']]],
   ['endsymbolallocation',['endSymbolAllocation',['../classSVF_1_1NodeIDAllocator.html#a92b053f79cfa1259603836cb0aacad7d',1,'SVF::NodeIDAllocator']]],
   ['ensure',['ensure',['../cJSON_8cpp.html#a3faa1600bc8001eaed05f16060668ce6',1,'cJSON.cpp']]],
   ['entrychi',['EntryCHI',['../classSVF_1_1EntryCHI.html#a0ba7181ad2a793bf11e40b7c7092e28b',1,'SVF::EntryCHI']]],

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

@@ -139,7 +139,7 @@ var searchData=
   ['getclassnamefromtype',['getClassNameFromType',['../namespaceSVF_1_1cppUtil.html#a891719bac36ebb6c001f073dfa5a9e7b',1,'SVF::cppUtil']]],
   ['getclassnamefromvtblobj',['getClassNameFromVtblObj',['../namespaceSVF_1_1cppUtil.html#ad83c097f1c77cdf52fc219ef07ee0b1a',1,'SVF::cppUtil']]],
   ['getclassnameofthisptr',['getClassNameOfThisPtr',['../namespaceSVF_1_1cppUtil.html#a3bed7bc0a0ae580841ca049f91690ff7',1,'SVF::cppUtil']]],
-  ['getclk',['getClk',['../classSVF_1_1PTAStat.html#a3c4eaa1695ea13405911ae1621f98edc',1,'SVF::PTAStat']]],
+  ['getclk',['getClk',['../classSVF_1_1SVFStat.html#ac9d390c417df6f6af6b274618b87010d',1,'SVF::SVFStat']]],
   ['getcmpvfgnode',['getCmpVFGNode',['../classSVF_1_1VFG.html#a9215c1d7f1152967f0731057a085e793',1,'SVF::VFG']]],
   ['getcompletenodelabel',['getCompleteNodeLabel',['../structllvm_1_1DOTGraphTraits_3_01SVFG_01_5_01_4.html#a381db1cc959f8f2279fb501f8224a19a',1,'llvm::DOTGraphTraits< SVFG * >::getCompleteNodeLabel()'],['../structllvm_1_1DOTGraphTraits_3_01VFG_01_5_01_4.html#a6ced6b5b50d920fb47c4334693fea86c',1,'llvm::DOTGraphTraits< VFG * >::getCompleteNodeLabel()']]],
   ['getcond',['getCond',['../classSVF_1_1MSSAMU.html#ac51263250da06fd63b923a6771744f97',1,'SVF::MSSAMU::getCond()'],['../classSVF_1_1MSSACHI.html#a9673994f9db94e23984b132d4b533304',1,'SVF::MSSACHI::getCond()'],['../classSVF_1_1MSSAPHI.html#a06a5d63be38e6df36e1c28a6c0c789cc',1,'SVF::MSSAPHI::getCond()'],['../classSVF_1_1CxtStmtDPItem.html#ace41c90e66f6a85f12ff67540ad9d594',1,'SVF::CxtStmtDPItem::getCond() const'],['../classSVF_1_1CxtStmtDPItem.html#a987f57970d633acc10aa3f3e69b68cb0',1,'SVF::CxtStmtDPItem::getCond()']]],

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

@@ -96,6 +96,7 @@ var searchData=
   ['is_5fnoop',['is_noop',['../classSVF_1_1ExtAPI.html#a82ebf71c5214f891f17e842e0b133b4f',1,'SVF::ExtAPI']]],
   ['is_5fnumeral',['is_numeral',['../classSVF_1_1Z3Expr.html#ad1802109545427278e3a8bde52e016b0',1,'SVF::Z3Expr']]],
   ['is_5frealloc',['is_realloc',['../classSVF_1_1ExtAPI.html#ac6d6bdc51a6b75d6d5741cb751559fe4',1,'SVF::ExtAPI']]],
+  ['is_5fsamesignature',['is_sameSignature',['../classSVF_1_1ExtAPI.html#a5e8b816a3eb894f6b09403852df0d01b',1,'SVF::ExtAPI']]],
   ['isa',['isa',['../namespaceSVF_1_1SVFUtil.html#a5c8cbc986cccb9d84f87aae162df3737',1,'SVF::SVFUtil']]],
   ['isactualoutphi',['isActualOUTPHI',['../classSVF_1_1InterMSSAPHISVFGNode.html#a4fef6f5eaeed80f1555b4cdaa2af5301',1,'SVF::InterMSSAPHISVFGNode']]],
   ['isactualretphi',['isActualRetPHI',['../classSVF_1_1InterPHIVFGNode.html#aacfd7f1e99e246283191f41d44567ed4',1,'SVF::InterPHIVFGNode']]],

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

@@ -26,9 +26,9 @@ var searchData=
   ['performmhppairstat',['performMHPPairStat',['../classSVF_1_1MTAStat.html#a6464eb27715b598bab0217258860a04b',1,'SVF::MTAStat']]],
   ['performremovingmhpedges',['performRemovingMHPEdges',['../classSVF_1_1MTASVFGBuilder.html#a26b6750de23395a89767288b2eabb1ef',1,'SVF::MTASVFGBuilder']]],
   ['performsccstat',['performSCCStat',['../classSVF_1_1SVFGStat.html#a87d5e8ec0e13416cff36a18644a5b94f',1,'SVF::SVFGStat']]],
-  ['performstat',['performStat',['../classSVF_1_1DDAClient.html#aedd25e487775d37d4f6dcc8a5565c2a3',1,'SVF::DDAClient::performStat()'],['../classSVF_1_1FunptrDDAClient.html#acb63480cc42ceec325d3380aa617670d',1,'SVF::FunptrDDAClient::performStat()'],['../classSVF_1_1AliasDDAClient.html#a66e5ae6a814c752615b63c6496b9e916',1,'SVF::AliasDDAClient::performStat()'],['../classSVF_1_1DDAStat.html#a6055573ae1844cfc559ff81b3b9c325c',1,'SVF::DDAStat::performStat()'],['../classSVF_1_1ICFGStat.html#aabe0779dc44ddc4e06300ea912cca39f',1,'SVF::ICFGStat::performStat()'],['../classSVF_1_1SVFG.html#adc9fbb4553472b238d6c3bb5062279cb',1,'SVF::SVFG::performStat()'],['../classSVF_1_1MemSSAStat.html#a8b4b9466a676d2391c71d38e8be16bc9',1,'SVF::MemSSAStat::performStat()'],['../classSVF_1_1SVFGStat.html#a037600bfff11659542f8595d8700dec4',1,'SVF::SVFGStat::performStat()'],['../classSVF_1_1MemSSA.html#a89c40c8fad70f3aead6531261e5a3cc3',1,'SVF::MemSSA::performStat()'],['../classSVF_1_1PTAStat.html#acfed70588cf921694db35990ec3c7497',1,'SVF::PTAStat::performStat()'],['../classSVF_1_1AndersenStat.html#a66fee1c0ee5781152a2d489f8857ad43',1,'SVF::AndersenStat::performStat()'],['../classSVF_1_1FlowSensitiveStat.html#a059047d05e9873a624e333162a460571',1,'SVF::FlowSensitiveStat::performStat()'],['../classSVF_1_1VersionedFlowSensitiveStat.html#af202623692135ad746aed1be995c55fb',1,'SVF::VersionedFlowSensitiveStat::performStat()']]],
+  ['performstat',['performStat',['../classSVF_1_1DDAClient.html#aedd25e487775d37d4f6dcc8a5565c2a3',1,'SVF::DDAClient::performStat()'],['../classSVF_1_1FunptrDDAClient.html#acb63480cc42ceec325d3380aa617670d',1,'SVF::FunptrDDAClient::performStat()'],['../classSVF_1_1AliasDDAClient.html#a66e5ae6a814c752615b63c6496b9e916',1,'SVF::AliasDDAClient::performStat()'],['../classSVF_1_1DDAStat.html#a6055573ae1844cfc559ff81b3b9c325c',1,'SVF::DDAStat::performStat()'],['../classSVF_1_1ICFGStat.html#aabe0779dc44ddc4e06300ea912cca39f',1,'SVF::ICFGStat::performStat()'],['../classSVF_1_1SVFG.html#adc9fbb4553472b238d6c3bb5062279cb',1,'SVF::SVFG::performStat()'],['../classSVF_1_1MemSSAStat.html#a8b4b9466a676d2391c71d38e8be16bc9',1,'SVF::MemSSAStat::performStat()'],['../classSVF_1_1SVFGStat.html#a037600bfff11659542f8595d8700dec4',1,'SVF::SVFGStat::performStat()'],['../classSVF_1_1MemSSA.html#a89c40c8fad70f3aead6531261e5a3cc3',1,'SVF::MemSSA::performStat()'],['../classSVF_1_1PTAStat.html#ad6de9d3f25c20705768000c987af0eb6',1,'SVF::PTAStat::performStat()'],['../classSVF_1_1SVFStat.html#a6113f8d009c42519f3a43913a0c02b95',1,'SVF::SVFStat::performStat()'],['../classSVF_1_1AndersenStat.html#a66fee1c0ee5781152a2d489f8857ad43',1,'SVF::AndersenStat::performStat()'],['../classSVF_1_1FlowSensitiveStat.html#a059047d05e9873a624e333162a460571',1,'SVF::FlowSensitiveStat::performStat()'],['../classSVF_1_1VersionedFlowSensitiveStat.html#af202623692135ad746aed1be995c55fb',1,'SVF::VersionedFlowSensitiveStat::performStat()']]],
   ['performstatforifds',['performStatforIFDS',['../classSVF_1_1ICFGStat.html#a17d9638aa5f4b9aac194862400a209da',1,'SVF::ICFGStat']]],
-  ['performstatperquery',['performStatPerQuery',['../classSVF_1_1DDAStat.html#a11dd60d124a8d3433312589ede4e7b11',1,'SVF::DDAStat::performStatPerQuery()'],['../classSVF_1_1PTAStat.html#adef061d4454a1b1fb46efa4013d9a956',1,'SVF::PTAStat::performStatPerQuery()']]],
+  ['performstatperquery',['performStatPerQuery',['../classSVF_1_1DDAStat.html#a11dd60d124a8d3433312589ede4e7b11',1,'SVF::DDAStat::performStatPerQuery()'],['../classSVF_1_1SVFStat.html#ab03780f736bed7861c9be14637e37ba3',1,'SVF::SVFStat::performStatPerQuery()']]],
   ['performtctstat',['performTCTStat',['../classSVF_1_1MTAStat.html#a12f6bd291b206c18001f5d4775251481',1,'SVF::MTAStat']]],
   ['performthreadcallgraphstat',['performThreadCallGraphStat',['../classSVF_1_1MTAStat.html#a19c9c1cba3a2cf665f7a05570e316e2e',1,'SVF::MTAStat']]],
   ['persistentdfptdata',['PersistentDFPTData',['../classSVF_1_1PersistentDFPTData.html#a85e0aec789ea945bd4cfa9e29189d1b4',1,'SVF::PersistentDFPTData']]],
@@ -72,8 +72,8 @@ var searchData=
   ['printpts',['printPts',['../svf-ex_8cpp.html#ae004a620ad67220b6dd8212a2ad625a9',1,'svf-ex.cpp']]],
   ['printquerypts',['printQueryPTS',['../classSVF_1_1DDAPass.html#afc700bd3abb5d9199621741b9bd04f0f',1,'SVF::DDAPass']]],
   ['printresults',['printResults',['../classSVF_1_1PCG.html#ab8a16eb34da91f2b7cd5a456653b1da0',1,'SVF::PCG']]],
-  ['printstat',['printStat',['../classSVF_1_1DDAStat.html#ae6fd32471e0b9bf51233a36676658b49',1,'SVF::DDAStat::printStat()'],['../classSVF_1_1ICFGStat.html#a2058c584a93cb6c90f165207dbdb01d6',1,'SVF::ICFGStat::printStat()'],['../classSVF_1_1MemSSAStat.html#ad5fbe23c3374e5b3a45ac5fa4900441a',1,'SVF::MemSSAStat::printStat()'],['../classSVF_1_1SVFGStat.html#a2e0adcfbe233523212e1ffbf5b01ba88',1,'SVF::SVFGStat::printStat()'],['../classSVF_1_1PointerAnalysis.html#a4880571f57542afc50da506dfe273183',1,'SVF::PointerAnalysis::printStat()'],['../classSVF_1_1PTAStat.html#aa5f455bfa79743b8e263431593d29bbf',1,'SVF::PTAStat::printStat()'],['../classSVF_1_1AndersenBase.html#a566830d0c7a1f5cd967bb8f2ab168f8d',1,'SVF::AndersenBase::printStat()']]],
-  ['printstatperquery',['printStatPerQuery',['../classSVF_1_1DDAStat.html#ae695696e5cd06eb27635887f0de30eff',1,'SVF::DDAStat::printStatPerQuery()'],['../classSVF_1_1PTAStat.html#a7ce0630cfe41448bec002f03a176175d',1,'SVF::PTAStat::printStatPerQuery()']]],
+  ['printstat',['printStat',['../classSVF_1_1DDAStat.html#ae6fd32471e0b9bf51233a36676658b49',1,'SVF::DDAStat::printStat()'],['../classSVF_1_1ICFGStat.html#af9c004e3532968ae806a3d344ef885ea',1,'SVF::ICFGStat::printStat()'],['../classSVF_1_1MemSSAStat.html#ad5fbe23c3374e5b3a45ac5fa4900441a',1,'SVF::MemSSAStat::printStat()'],['../classSVF_1_1SVFGStat.html#a2e0adcfbe233523212e1ffbf5b01ba88',1,'SVF::SVFGStat::printStat()'],['../classSVF_1_1PointerAnalysis.html#a4880571f57542afc50da506dfe273183',1,'SVF::PointerAnalysis::printStat()'],['../classSVF_1_1PTAStat.html#aca3e99ad83bddabee1dd565522691c78',1,'SVF::PTAStat::printStat()'],['../classSVF_1_1SVFStat.html#a77c3cfb0c2b85a343ad0fac3682557c3',1,'SVF::SVFStat::printStat()'],['../classSVF_1_1AndersenBase.html#a566830d0c7a1f5cd967bb8f2ab168f8d',1,'SVF::AndersenBase::printStat()']]],
+  ['printstatperquery',['printStatPerQuery',['../classSVF_1_1DDAStat.html#ae695696e5cd06eb27635887f0de30eff',1,'SVF::DDAStat::printStatPerQuery()'],['../classSVF_1_1SVFStat.html#a2dd8ce8bb1970344533babb9fc8ddd02',1,'SVF::SVFStat::printStatPerQuery()']]],
   ['printstats',['printStats',['../classSVF_1_1PersistentPointsToCache.html#a7d101df4e73b8fbf9ec0df25190417b5',1,'SVF::PersistentPointsToCache::printStats()'],['../classSVF_1_1NodeIDAllocator_1_1Clusterer.html#ac10cbda6a84ce890c9946a5ff35800b7',1,'SVF::NodeIDAllocator::Clusterer::printStats()']]],
   ['printtdfuns',['printTDFuns',['../classSVF_1_1PCG.html#af8af0a2a2159261bf05abe226c43006e',1,'SVF::PCG']]],
   ['printz3stat',['printZ3Stat',['../classSVF_1_1SrcSnkDDA.html#a8aa11629166b76a7b6555dee85e512b2',1,'SVF::SrcSnkDDA']]],

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

@@ -11,7 +11,7 @@ var searchData=
   ['scevconstant',['SCEVConstant',['../namespaceSVF.html#abe745006fa40399d8a13613a3e0dfc63',1,'SVF']]],
   ['selectinst',['SelectInst',['../namespaceSVF.html#ab7fac9d4a4839be445c89777e21bc307',1,'SVF']]],
   ['set',['Set',['../namespaceSVF.html#af739db846e47ba6b2fd15eaad31ab7fb',1,'SVF']]],
-  ['sfrtrait',['SFRTrait',['../classSVF_1_1AndersenSFR.html#a654c391ad41b026eec2e0a1a54146600',1,'SVF::AndersenSFR']]],
+  ['sfrtrait',['SFRTrait',['../classSVF_1_1AndersenSFR.html#a2d41b49a1474c030ef2324c14467af30',1,'SVF::AndersenSFR']]],
   ['shufflevectorinst',['ShuffleVectorInst',['../namespaceSVF.html#a64e69f438b8c302c4cae27735319fa49',1,'SVF']]],
   ['simpletype',['SimpleType',['../structSVF_1_1SVFUtil_1_1simplify__type.html#a40c0d9a74681d3eaa7172ba137d489e4',1,'SVF::SVFUtil::simplify_type::SimpleType()'],['../structSVF_1_1SVFUtil_1_1simplify__type_3_01const_01From_01_4.html#afdc334dc0c584651f9ab538e38cf3aff',1,'SVF::SVFUtil::simplify_type< const From >::SimpleType()']]],
   ['singlecondvar',['SingleCondVar',['../classSVF_1_1CondPointsToSet.html#a0ef73bd2c1b42439ee6f265e07f17514',1,'SVF::CondPointsToSet']]],

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

@@ -7,7 +7,7 @@ var searchData=
   ['threadid',['ThreadID',['../namespaceSVF.html#a10cddb090690c82a2aab31a480253d35',1,'SVF']]],
   ['threadpairset',['ThreadPairSet',['../classSVF_1_1ForkJoinAnalysis.html#a7fb8df483e619337e77088e8543a9846',1,'SVF::ForkJoinAnalysis']]],
   ['threadstmttothreadinterleav',['ThreadStmtToThreadInterleav',['../classSVF_1_1MHP.html#ac30f283cb2ad020a054ee6525ca94025',1,'SVF::MHP']]],
-  ['timestatmap',['TIMEStatMap',['../classSVF_1_1PTAStat.html#a28f304e7095f3843ca4cc017bc1f7b10',1,'SVF::PTAStat']]],
+  ['timestatmap',['TIMEStatMap',['../classSVF_1_1SVFStat.html#aeded7780a3f826b3efab971807e2dd98',1,'SVF::SVFStat']]],
   ['type',['Type',['../namespaceSVF.html#a1d008c0666c145622b81d427be64c52d',1,'SVF']]],
   ['typetofieldinfomap',['TypeToFieldInfoMap',['../classSVF_1_1SymbolTableInfo.html#a9c9a9da876d41ab48e55f25efc266494',1,'SVF::SymbolTableInfo']]]
 ];

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

@@ -34,5 +34,5 @@ var searchData=
   ['nodevector',['NodeVector',['../namespaceSVF.html#a39d27055a14d9d6363c668ee215a4676',1,'SVF']]],
   ['nonconstsimpletype',['NonConstSimpleType',['../structSVF_1_1SVFUtil_1_1simplify__type_3_01const_01From_01_4.html#aadddb18b44c9744dcc639a3de603151d',1,'SVF::SVFUtil::simplify_type< const From >']]],
   ['nullptrsvfgnode',['NullPtrSVFGNode',['../namespaceSVF.html#aeccd0bd024319173c1cda5ff1a79c5ae',1,'SVF']]],
-  ['numstatmap',['NUMStatMap',['../classSVF_1_1PTAStat.html#a7e8f9f9c1662822f3f8bd016db84e1e6',1,'SVF::PTAStat']]]
+  ['numstatmap',['NUMStatMap',['../classSVF_1_1SVFStat.html#ab810863d70cb2f5b4e312d07eae51227',1,'SVF::SVFStat']]]
 ];

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

@@ -38,7 +38,7 @@ var searchData=
   ['srctocsidmap',['srcToCSIDMap',['../classSVF_1_1LeakChecker.html#a46b4447bf1bf34d3b8e56cce93e04852',1,'SVF::LeakChecker']]],
   ['start',['start',['../classSVF_1_1PTASCEV.html#a0de1531fc72f5aa0bafc59101faae68d',1,'SVF::PTASCEV']]],
   ['startkind',['startKind',['../classSVF_1_1GrammarBase.html#a604cb7d4850cfd12d3b8730e0cab84af',1,'SVF::GrammarBase::startKind()'],['../classSVF_1_1CFLGraph.html#a0723f25be2a163b21f478cddca5293d2',1,'SVF::CFLGraph::startKind()']]],
-  ['starttime',['startTime',['../classSVF_1_1PTAStat.html#a59e0fe6fa506f1cf319b5acaf9d28be9',1,'SVF::PTAStat']]],
+  ['starttime',['startTime',['../classSVF_1_1PTAStat.html#a59e0fe6fa506f1cf319b5acaf9d28be9',1,'SVF::PTAStat::startTime()'],['../classSVF_1_1SVFStat.html#abd7a79d1fe50110a0c1d448027492669',1,'SVF::SVFStat::startTime()']]],
   ['stat',['stat',['../classSVF_1_1SVFG.html#ad5c1415f488ec4412d5457262269eff3',1,'SVF::SVFG::stat()'],['../classSVF_1_1PointerAnalysis.html#a5ec3d9bf1fc81346c9df29638daedc0f',1,'SVF::PointerAnalysis::stat()'],['../classSVF_1_1MemSSA.html#a4fc930040ec54eb60629da18fb6a4d04',1,'SVF::MemSSA::stat()'],['../classSVF_1_1MTA.html#a8c0f7a777b7fd6b388678be63190ee59',1,'SVF::MTA::stat()']]],
   ['statbudget',['StatBudget',['../classSVF_1_1Options.html#abae23cb06d932f93900f627813b9f4a4',1,'SVF::Options']]],
   ['steens',['steens',['../classSVF_1_1Steensgaard.html#a04530669bc548ae13bd8908fe4dbd3d2',1,'SVF::Steensgaard']]],