svf-tools 1.0.528 → 1.0.531

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

@@ -7,7 +7,7 @@ var searchData=
   ['call',['Call',['../classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a97ca16eba4c5f92e16388f0cdbcfcc00',1,'SVF::SVFStmt::Call()'],['../classSVF_1_1CallPE.html#ace0704c65aa3637c50ff880f68808bba',1,'SVF::CallPE::call()'],['../classSVF_1_1RetPE.html#aa2d42edfce9d5a8c025c0bb529aee0f2',1,'SVF::RetPE::call()']]],
   ['callbase',['CallBase',['../namespaceSVF.html#a1f4624771922dc8c2447ad7433588c73',1,'SVF']]],
   ['callblocknode',['callBlockNode',['../classSVF_1_1RetICFGNode.html#a42f4b87f590b3a393059bcca5736c596',1,'SVF::RetICFGNode']]],
-  ['callbrinst',['CallBrInst',['../SVF-FE_2BasicTypes_8h.html#ada7ea2b41c600e036569e18bd0719270',1,'BasicTypes.h']]],
+  ['callbrinst',['CallBrInst',['../namespaceSVF.html#ac6b6710585fc6667858ccfd4311b6ab5',1,'SVF']]],
   ['callcf',['CallCF',['../classSVF_1_1ICFGEdge.html#a395c34788e98950bc43e8cb44313e429a3486c9d9a182f2ba5d986fe74439ec2e',1,'SVF::ICFGEdge']]],
   ['callcfgedge',['CallCFGEdge',['../classSVF_1_1CallCFGEdge.html',1,'SVF::CallCFGEdge'],['../classSVF_1_1CallCFGEdge.html#ab62ae6ed463def78bb2cdc01527d4b02',1,'SVF::CallCFGEdge::CallCFGEdge()']]],
   ['callchi',['CallCHI',['../classSVF_1_1CallCHI.html',1,'SVF::CallCHI< Cond >'],['../classSVF_1_1SVFG.html#a5f3e0fbf83621cc661d2c59800756727',1,'SVF::SVFG::CALLCHI()'],['../classSVF_1_1MemSSA.html#a56ffeb1f76c73766d06aedd60235c8d9',1,'SVF::MemSSA::CALLCHI()'],['../classSVF_1_1CallCHI.html#a011044a63529bdd773dd2ad447668029',1,'SVF::CallCHI::CallCHI()']]],
@@ -106,7 +106,7 @@ var searchData=
   ['cast_5fretty_5fwrap',['cast_retty_wrap',['../structSVF_1_1SVFUtil_1_1cast__retty__wrap.html',1,'SVF::SVFUtil']]],
   ['cast_5fretty_5fwrap_3c_20to_2c_20fromty_2c_20fromty_20_3e',['cast_retty_wrap< To, FromTy, FromTy >',['../structSVF_1_1SVFUtil_1_1cast__retty__wrap_3_01To_00_01FromTy_00_01FromTy_01_4.html',1,'SVF::SVFUtil']]],
   ['casting_2eh',['Casting.h',['../Casting_8h.html',1,'']]],
-  ['castinst',['CastInst',['../SVF-FE_2BasicTypes_8h.html#a20b13f90796ee748f58e6c5faa7c63da',1,'BasicTypes.h']]],
+  ['castinst',['CastInst',['../namespaceSVF.html#a962e9a9044a46fc4bd2367384f6e0827',1,'SVF']]],
   ['cb',['CB',['../classSVF_1_1CallSite.html#a4d21306a365c1f748def6736e9fe825c',1,'SVF::CallSite']]],
   ['cbv',['cbv',['../classSVF_1_1PointsTo.html#a79333c4ae5c002d9632fa589956b3605',1,'SVF::PointsTo::cbv()'],['../classSVF_1_1CoreBitVector_1_1CoreBitVectorIterator.html#a0cba79551b56ed83dc45ab63619dc590',1,'SVF::CoreBitVector::CoreBitVectorIterator::cbv()'],['../classSVF_1_1PointsTo.html#a8f757f92ebf0a2ebdb5e6b001606923ea0397c2678894d1792fcd3432a7aa64fb',1,'SVF::PointsTo::CBV()']]],
   ['cbvit',['cbvIt',['../classSVF_1_1PointsTo_1_1PointsToIterator.html#a4db2c62eb3ad789ab7aaf7506cd340b2',1,'SVF::PointsTo::PointsToIterator']]],
@@ -253,7 +253,7 @@ var searchData=
   ['clustermethod',['ClusterMethod',['../classSVF_1_1Options.html#a8e0538a7f2e3c5bece69bc69f7074819',1,'SVF::Options']]],
   ['cmakelists_2etxt',['CMakeLists.txt',['../lib_2CMakeLists_8txt.html',1,'(Global Namespace)'],['../tools_2CFL_2CMakeLists_8txt.html',1,'(Global Namespace)'],['../tools_2CMakeLists_8txt.html',1,'(Global Namespace)'],['../tools_2DDA_2CMakeLists_8txt.html',1,'(Global Namespace)'],['../tools_2Example_2CMakeLists_8txt.html',1,'(Global Namespace)'],['../tools_2MTA_2CMakeLists_8txt.html',1,'(Global Namespace)'],['../tools_2SABER_2CMakeLists_8txt.html',1,'(Global Namespace)'],['../tools_2WPA_2CMakeLists_8txt.html',1,'(Global Namespace)']]],
   ['cmp',['Cmp',['../classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75a98fd43afc6615f418d2d96209eb31828',1,'SVF::VFGNode::Cmp()'],['../classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a610d6662d1814cffbf23db29e7e620c0',1,'SVF::SVFStmt::Cmp()']]],
-  ['cmpinst',['CmpInst',['../SVF-FE_2BasicTypes_8h.html#a02550b1e1110f4cfca868603ce243564',1,'BasicTypes.h']]],
+  ['cmpinst',['CmpInst',['../namespaceSVF.html#a5d875a9d726bb9f68a17efa528dec0b4',1,'SVF']]],
   ['cmpnodebs',['cmpNodeBS',['../namespaceSVF_1_1SVFUtil.html#a8f749354b7e882ef3e5bf5081fa715b5',1,'SVF::SVFUtil']]],
   ['cmppts',['cmpPts',['../namespaceSVF_1_1SVFUtil.html#aa5ce14119a6e3b0b6022753ddd5890f3',1,'SVF::SVFUtil']]],
   ['cmpstmt',['CmpStmt',['../classSVF_1_1CmpStmt.html',1,'SVF::CmpStmt'],['../classSVF_1_1CmpStmt.html#a6e11c486468a8fe0f7aa38a0546b8328',1,'SVF::CmpStmt::CmpStmt()'],['../classSVF_1_1CmpStmt.html#abab82b7193ac1a9811d0177cedd329dc',1,'SVF::CmpStmt::CmpStmt(const CmpStmt &)'],['../classSVF_1_1CmpStmt.html#a02c4846269bd28bd4e8b127532cb737a',1,'SVF::CmpStmt::CmpStmt(SVFVar *s, const OPVars &opnds, u32_t pre)']]],
@@ -371,23 +371,23 @@ var searchData=
   ['const_5fdata',['CONST_DATA',['../classSVF_1_1ObjTypeInfo.html#a91b41b7ade5871362b77a2ef566b2830a5e5bc3a1838476fbd80c52720c9d103e',1,'SVF::ObjTypeInfo']]],
   ['const_5fglobal_5fiterator',['const_global_iterator',['../classSVF_1_1SVFModule.html#a5d4f73db8fb5bddb0e7630eda8c6da57',1,'SVF::SVFModule']]],
   ['const_5fglobal_5fobj',['CONST_GLOBAL_OBJ',['../classSVF_1_1ObjTypeInfo.html#a91b41b7ade5871362b77a2ef566b2830a84c1bc6eaff950330a102afca1efc04c',1,'SVF::ObjTypeInfo']]],
-  ['const_5finst_5fiterator',['const_inst_iterator',['../SVF-FE_2BasicTypes_8h.html#a9a4df49ba7ca3ad32d65e5ecf2dad707',1,'BasicTypes.h']]],
+  ['const_5finst_5fiterator',['const_inst_iterator',['../namespaceSVF.html#a032e8478a7b6a8bb0b7755c98a7bce91',1,'SVF']]],
   ['const_5fiterator',['const_iterator',['../classSVF_1_1ConstraintNode.html#ab1868f04de44f6fe1e9ac14f3d4ee56b',1,'SVF::ConstraintNode::const_iterator()'],['../classSVF_1_1GenericNode.html#ab6dc1ae41ae23b383f8add474caa7429',1,'SVF::GenericNode::const_iterator()'],['../classSVF_1_1GenericGraph.html#a5dfa3f178d4abf37177d0d74ff4c6a97',1,'SVF::GenericGraph::const_iterator()'],['../classSVF_1_1ICFG.html#a94e4de04d8da10a19ab65c22e257b82b',1,'SVF::ICFG::const_iterator()'],['../classSVF_1_1ICFGNode.html#ac16c5a3227a44d3b9f7c3209156d9df2',1,'SVF::ICFGNode::const_iterator()'],['../classSVF_1_1PTACallGraphNode.html#adf17f5699c9f40ffc8837e813e3af3ec',1,'SVF::PTACallGraphNode::const_iterator()'],['../classSVF_1_1VFG.html#a225a91c04afac6a8fe198e9860890a52',1,'SVF::VFG::const_iterator()'],['../classSVF_1_1VFGNode.html#a3c558955f60c237c558d8faafed781e8',1,'SVF::VFGNode::const_iterator()'],['../classSVF_1_1CondStdSet.html#a55152b7749868cc25f1c3c33ea57a650',1,'SVF::CondStdSet::const_iterator()'],['../classSVF_1_1PointsTo.html#ad37fe6c7bb8b509a837348a12cab80c1',1,'SVF::PointsTo::const_iterator()'],['../classSVF_1_1CoreBitVector.html#a45a3bf8465e63f723c0a551f0b0f37ff',1,'SVF::CoreBitVector::const_iterator()'],['../classSVF_1_1ContextCond.html#a101bc917679a9d8ee7badb3c9e8c12e3',1,'SVF::ContextCond::const_iterator()'],['../classSVF_1_1SVFModule.html#afcf2978f32e15127fb093405dc17d7f1',1,'SVF::SVFModule::const_iterator()']]],
-  ['const_5fpred_5fiterator',['const_pred_iterator',['../SVF-FE_2BasicTypes_8h.html#a45136b941670180e9ba248bb4e52f09f',1,'BasicTypes.h']]],
+  ['const_5fpred_5fiterator',['const_pred_iterator',['../namespaceSVF.html#a5c943191dc4e242704943e5f594ae99e',1,'SVF']]],
   ['const_5fstruct_5fobj',['CONST_STRUCT_OBJ',['../classSVF_1_1ObjTypeInfo.html#a91b41b7ade5871362b77a2ef566b2830a6443b9fadd2d34e00832b2215a120ebd',1,'SVF::ObjTypeInfo']]],
-  ['constant',['Constant',['../SVF-FE_2BasicTypes_8h.html#aaca93e4092f0f73619d730f18b9e65de',1,'BasicTypes.h']]],
-  ['constantaggregate',['ConstantAggregate',['../SVF-FE_2BasicTypes_8h.html#a586975ac48ba33219a901c5d9453da2c',1,'BasicTypes.h']]],
-  ['constantaggregatezero',['ConstantAggregateZero',['../SVF-FE_2BasicTypes_8h.html#ae4ed20ab05ea5735549d1ef4367735cd',1,'BasicTypes.h']]],
-  ['constantarray',['ConstantArray',['../SVF-FE_2BasicTypes_8h.html#a9707880a0f9b41d3375e2feb7bc5ebc5',1,'BasicTypes.h']]],
-  ['constantdata',['ConstantData',['../SVF-FE_2BasicTypes_8h.html#aca8fd472027d8636b36713a7494c88d6',1,'BasicTypes.h']]],
-  ['constantdataarray',['ConstantDataArray',['../SVF-FE_2BasicTypes_8h.html#a7d8006ceeea7c796af22da70c5cb93a0',1,'BasicTypes.h']]],
-  ['constantdatasequential',['ConstantDataSequential',['../SVF-FE_2BasicTypes_8h.html#a66b2dbc1be121511c3b5b264f94558d3',1,'BasicTypes.h']]],
-  ['constantexpr',['ConstantExpr',['../SVF-FE_2BasicTypes_8h.html#a60115de303225d173fb935cf7619a2cb',1,'BasicTypes.h']]],
+  ['constant',['Constant',['../namespaceSVF.html#a7e230c0cba2e3a7c2e5a5f2ee7d88af9',1,'SVF']]],
+  ['constantaggregate',['ConstantAggregate',['../namespaceSVF.html#a7cbe1c6567039e72958fd70e423d3597',1,'SVF']]],
+  ['constantaggregatezero',['ConstantAggregateZero',['../namespaceSVF.html#a8b30cfb9315dda33907175da4db63a07',1,'SVF']]],
+  ['constantarray',['ConstantArray',['../namespaceSVF.html#a5ae718cba37d8e34d2946530dc098c8e',1,'SVF']]],
+  ['constantdata',['ConstantData',['../namespaceSVF.html#a7332f8059ea95472dcc231de884a5768',1,'SVF']]],
+  ['constantdataarray',['ConstantDataArray',['../namespaceSVF.html#ad9ebd847ed5d901cd30b1cfcdaec3462',1,'SVF']]],
+  ['constantdatasequential',['ConstantDataSequential',['../namespaceSVF.html#a8ad3aa124fabddc2fdd07c50403d70a9',1,'SVF']]],
+  ['constantexpr',['ConstantExpr',['../namespaceSVF.html#a911dbaab38cb42deb9c195c7f687853d',1,'SVF']]],
   ['constantint',['ConstantInt',['../namespaceSVF.html#adefcb50414ea999d70cea5ccdbcb98d7',1,'SVF']]],
   ['constantobj',['ConstantObj',['../classSVF_1_1SymbolTableInfo.html#afd2cf6ef6d7f2a583c709a72067be89baa3ecb7c51e2cba67d1f9a5284c2f215f',1,'SVF::SymbolTableInfo']]],
   ['constantobjectid',['constantObjectId',['../classSVF_1_1NodeIDAllocator.html#a6a300a5b455fe4b8bace2f1d66fb5f9d',1,'SVF::NodeIDAllocator']]],
   ['constantpointernull',['ConstantPointerNull',['../namespaceSVF.html#a90f6c91ba7a3c31c84b5c25277d83fca',1,'SVF']]],
-  ['constantstruct',['ConstantStruct',['../SVF-FE_2BasicTypes_8h.html#a39fea8c436d96d2b5a74f5e02cc5d952',1,'BasicTypes.h']]],
+  ['constantstruct',['ConstantStruct',['../namespaceSVF.html#a2b28f48dde0a9a91d251e654ce1f9477',1,'SVF']]],
   ['constantsymid',['constantSymID',['../classSVF_1_1SymbolTableInfo.html#ab582424fdb6d9674c1bd4466cdfbe497',1,'SVF::SymbolTableInfo']]],
   ['constraintedge',['ConstraintEdge',['../classSVF_1_1ConstraintEdge.html',1,'SVF::ConstraintEdge'],['../classSVF_1_1ConstraintEdge.html#a2b2b7206af6463b82441ac7a5c78e637',1,'SVF::ConstraintEdge::ConstraintEdge()']]],
   ['constraintedgek',['ConstraintEdgeK',['../classSVF_1_1ConstraintEdge.html#a663af27955ba0c545f34fa1f076b7375',1,'SVF::ConstraintEdge']]],

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

@@ -10,7 +10,7 @@ var searchData=
   ['dataflowutil_2ecpp',['DataFlowUtil.cpp',['../DataFlowUtil_8cpp.html',1,'']]],
   ['dataflowutil_2eh',['DataFlowUtil.h',['../DataFlowUtil_8h.html',1,'']]],
   ['dataiter',['DataIter',['../classSVF_1_1MutableIncDFPTData.html#a1fc4dff28f9044234fdfeede6f4b1cb0',1,'SVF::MutableIncDFPTData']]],
-  ['datalayout',['DataLayout',['../SVF-FE_2BasicTypes_8h.html#aa81a27b9c6b2a354437417162220fb14',1,'BasicTypes.h']]],
+  ['datalayout',['DataLayout',['../namespaceSVF.html#a03db82b8a7914367024723dba4d6ca3c',1,'SVF']]],
   ['dataop',['DataOp',['../classSVF_1_1PersistentPointsToCache.html#a5a0f1b93f29ce62ad13042ab8435c62c',1,'SVF::PersistentPointsToCache']]],
   ['dataset',['DataSet',['../classSVF_1_1CFLFIFOWorkList.html#a0db15ca0ec5a14aee493ccfe54d34d85',1,'SVF::CFLFIFOWorkList::DataSet()'],['../classSVF_1_1List.html#a8f8a9dff1d1213a747f0d7ce8b1802e9',1,'SVF::List::DataSet()'],['../classSVF_1_1FIFOWorkList.html#a4803dc3b7f3ab57261261acb20551579',1,'SVF::FIFOWorkList::DataSet()'],['../classSVF_1_1FILOWorkList.html#abe04c596453280fe15cadde868ded798',1,'SVF::FILOWorkList::DataSet()']]],
   ['datavector',['DataVector',['../classSVF_1_1FILOWorkList.html#a41d3d71633adc6a1282922b4e4929a7f',1,'SVF::FILOWorkList']]],
@@ -44,7 +44,7 @@ var searchData=
   ['ddumppt',['DDumpPT',['../SVFBasicTypes_8h.html#a395c9d15b59b8c057f859855f0405d7b',1,'SVFBasicTypes.h']]],
   ['debug',['DEBUG',['../classSVF_1_1NodeIDAllocator.html#a8cf553cd07768aad3f3b91bf3d7c6228a06987883653f3b0961962f2cdda3747f',1,'SVF::NodeIDAllocator']]],
   ['debug_5ftype',['DEBUG_TYPE',['../BreakConstantExpr_8cpp.html#ad78e062f62e0d6e453941fb4ca843e4d',1,'BreakConstantExpr.cpp']]],
-  ['debuginfofinder',['DebugInfoFinder',['../SVF-FE_2BasicTypes_8h.html#a36ec1ba901eeebe7a242f18510831788',1,'BasicTypes.h']]],
+  ['debuginfofinder',['DebugInfoFinder',['../namespaceSVF.html#a5ae98f122c64b0114df2e5861b341321',1,'SVF']]],
   ['def',['def',['../classSVF_1_1MRVer.html#a3398bb8d3189413c275b62d5cb7a5fc4',1,'SVF::MRVer']]],
   ['default_5fpta',['Default_PTA',['../classSVF_1_1PointerAnalysis.html#a0b182ac680cce0547dbe7714c870ca85adb3d4cbd8c38c1c498bc51198626a790',1,'SVF::PointerAnalysis']]],
   ['defnodes',['defNodes',['../classSVF_1_1SVFGOPT.html#abd524dca72261bbcc7ebb1103b693a2b',1,'SVF::SVFGOPT']]],
@@ -79,9 +79,9 @@ var searchData=
   ['dfreechecker',['DFREECHECKER',['../saber_8cpp.html#ae783b2330e99490ef5d366605d1098cf',1,'saber.cpp']]],
   ['dgeneral',['DGENERAL',['../SVFBasicTypes_8h.html#a2c64190a065f342897573a3ef4973adb',1,'SVFBasicTypes.h']]],
   ['di',['DI',['../classSVF_1_1CommonCHGraph.html#a6a1feb9e268fb56b0de3efc39cfc8db8ae9e3edea0bae930aa9af04699fca9506',1,'SVF::CommonCHGraph']]],
-  ['dibasictype',['DIBasicType',['../SVF-FE_2BasicTypes_8h.html#a5f7968b31d2b29b589360067cf48e625',1,'BasicTypes.h']]],
-  ['dicompositetype',['DICompositeType',['../SVF-FE_2BasicTypes_8h.html#a051267a17436de89e185c847afbb8db5',1,'BasicTypes.h']]],
-  ['diderivedtype',['DIDerivedType',['../SVF-FE_2BasicTypes_8h.html#a39d93c8a98813f35c91375d1d40ae953',1,'BasicTypes.h']]],
+  ['dibasictype',['DIBasicType',['../namespaceSVF.html#ada0513be7e25325325ccc9183aeca278',1,'SVF']]],
+  ['dicompositetype',['DICompositeType',['../namespaceSVF.html#aded9b991c77acc5284ccead0739e84f1',1,'SVF']]],
+  ['diderivedtype',['DIDerivedType',['../namespaceSVF.html#a852e75c562139237fcc754c7461533e6',1,'SVF']]],
   ['diff',['Diff',['../classSVF_1_1PTData.html#a74ce29609c51f2be34a0b5b7650a9848a03a155517b9587d79c3f0b6dc3b72447',1,'SVF::PTData']]],
   ['difference_5ftype',['difference_type',['../classSVF_1_1PointsTo_1_1PointsToIterator.html#a79da80a016d68d70b63bcaa884cf53cb',1,'SVF::PointsTo::PointsToIterator::difference_type()'],['../classSVF_1_1CoreBitVector_1_1CoreBitVectorIterator.html#aeabc3acd9ce15b8beff0db8a49d8781f',1,'SVF::CoreBitVector::CoreBitVectorIterator::difference_type()']]],
   ['diffopt',['diffOpt',['../classSVF_1_1Andersen.html#a187a23c3b522f2aca49d3c5408ab4469',1,'SVF::Andersen']]],
@@ -89,8 +89,8 @@ var searchData=
   ['diffptdataty',['DiffPTDataTy',['../classSVF_1_1BVDataPTAImpl.html#abd8bb73e9beac5e39667091b1e211bd3',1,'SVF::BVDataPTAImpl']]],
   ['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']]],
-  ['dinode',['DINode',['../SVF-FE_2BasicTypes_8h.html#a358cd7e78ebc504972b73cd5ee80fac2',1,'BasicTypes.h']]],
-  ['dinodearray',['DINodeArray',['../SVF-FE_2BasicTypes_8h.html#a98bb9afb9385eac16d7c78da796fd601',1,'BasicTypes.h']]],
+  ['dinode',['DINode',['../namespaceSVF.html#a758f3bee97ed46a719d64a2d4f2bc62d',1,'SVF']]],
+  ['dinodearray',['DINodeArray',['../namespaceSVF.html#a0f825e73d115173b05ca54fb8ec65003',1,'SVF']]],
   ['dinstrument',['DInstrument',['../SVFBasicTypes_8h.html#abf3a5def3f319733214fa5f595b39827',1,'SVFBasicTypes.h']]],
   ['dirandindjoinmap',['dirAndIndJoinMap',['../classSVF_1_1ForkJoinAnalysis.html#ab5678bd46e573070827cc413f0e0d5be',1,'SVF::ForkJoinAnalysis']]],
   ['direct',['Direct',['../classSVF_1_1ConstraintNode.html#a6e59b815d784bc1a9437290ff0e1e28ca7f8c92a2f50277fee80899235ae477f9',1,'SVF::ConstraintNode']]],
@@ -118,10 +118,10 @@ var searchData=
   ['distinctmrg',['DistinctMRG',['../classSVF_1_1DistinctMRG.html',1,'SVF::DistinctMRG'],['../classSVF_1_1DistinctMRG.html#ad7e4959327aa45932fd788bacca0de01',1,'SVF::DistinctMRG::DistinctMRG()']]],
   ['distoccmap',['DistOccMap',['../classSVF_1_1NodeIDAllocator_1_1Clusterer.html#a1f74f1e72a844166f742d2d46efbbb5e',1,'SVF::NodeIDAllocator::Clusterer']]],
   ['disubprogram',['DISubprogram',['../namespaceSVF.html#a89c7208bfc0b57873dfa574f52050295',1,'SVF']]],
-  ['disubrange',['DISubrange',['../SVF-FE_2BasicTypes_8h.html#ab0e8955a3dbfb0a836bfe64466411e4e',1,'BasicTypes.h']]],
-  ['disubroutinetype',['DISubroutineType',['../SVF-FE_2BasicTypes_8h.html#aad46bd16008ebbc81e632f4fc69b3ea9',1,'BasicTypes.h']]],
-  ['ditype',['diType',['../classSVF_1_1DCHNode.html#a05b5b4539273ac5d21d8cbcfa712a439',1,'SVF::DCHNode::diType()'],['../SVF-FE_2BasicTypes_8h.html#a8e2336cbb1db8aa093afbb3290d5ba05',1,'DIType(): BasicTypes.h']]],
-  ['dityperefarray',['DITypeRefArray',['../SVF-FE_2BasicTypes_8h.html#abfc3b60432a782f5eb5ea73f20d34333',1,'BasicTypes.h']]],
+  ['disubrange',['DISubrange',['../namespaceSVF.html#a99bc1228f07429855c81a720be862dc6',1,'SVF']]],
+  ['disubroutinetype',['DISubroutineType',['../namespaceSVF.html#a090e0791e8c200104ed3ab6bab157129',1,'SVF']]],
+  ['ditype',['diType',['../classSVF_1_1DCHNode.html#a05b5b4539273ac5d21d8cbcfa712a439',1,'SVF::DCHNode::diType()'],['../namespaceSVF.html#ad127b0ad478640ede3d426e3a58d2632',1,'SVF::DIType()']]],
+  ['dityperefarray',['DITypeRefArray',['../namespaceSVF.html#a9d3ee421789884473bfacfaa9ec007cc',1,'SVF']]],
   ['ditypetonodemap',['diTypeToNodeMap',['../classSVF_1_1DCHGraph.html#a581ce71cbc7994f71c9a6b9b145d3b9f',1,'SVF::DCHGraph']]],
   ['ditypetostr',['diTypeToStr',['../classSVF_1_1DCHGraph.html#a2dc488345cc3a5f37079952f638d8c2b',1,'SVF::DCHGraph']]],
   ['dmemmodel',['DMemModel',['../SVFBasicTypes_8h.html#ad46a0423f8709692e1bb0f0fa5b1ca2f',1,'SVFBasicTypes.h']]],

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

@@ -133,10 +133,10 @@ var searchData=
   ['extf_5ft',['extf_t',['../classSVF_1_1ExtAPI.html#aaf94c82d98f8ed1514ee49c9881a4094',1,'SVF::ExtAPI']]],
   ['extop',['extOp',['../classSVF_1_1ExtAPI.html#a552feab663622681db231d5b48f00d75',1,'SVF::ExtAPI']]],
   ['extractattributestrfromsymbolstr',['extractAttributeStrFromSymbolStr',['../classSVF_1_1GrammarBase.html#a9f56cebea336079e35f5f3a288eb356f',1,'SVF::GrammarBase']]],
-  ['extractelementinst',['ExtractElementInst',['../SVF-FE_2BasicTypes_8h.html#af4efbd8e6f644628b41104e855b0541b',1,'BasicTypes.h']]],
+  ['extractelementinst',['ExtractElementInst',['../namespaceSVF.html#afb88c4d723dd7c51bdfc7ba5893cb356',1,'SVF']]],
   ['extractkindstrfromsymbolstr',['extractKindStrFromSymbolStr',['../classSVF_1_1GrammarBase.html#a9cc406edc117b3abd07a85f66ca892a0',1,'SVF::GrammarBase']]],
   ['extractsubconds',['extractSubConds',['../classSVF_1_1SaberCondAllocator.html#a9f43fe1cacf419f03276d66c3a54fe77',1,'SVF::SaberCondAllocator']]],
-  ['extractvalueinst',['ExtractValueInst',['../SVF-FE_2BasicTypes_8h.html#a41c335e8362a500085923e4742a53f57',1,'BasicTypes.h']]],
+  ['extractvalueinst',['ExtractValueInst',['../namespaceSVF.html#ace1fd4c32134018e2f6d5da193524986',1,'SVF']]],
   ['exttype',['extType',['../classSVF_1_1ExtAPI.html#a5df65081e82a05223ce781660ee199ca',1,'SVF::ExtAPI']]],
   ['exttype_5ftostring',['extType_toString',['../classSVF_1_1ExtAPI.html#aa98b80dc86d0549183ec69b44b391bd7',1,'SVF::ExtAPI']]]
 ];

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

@@ -9,7 +9,7 @@ var searchData=
   ['fastclustertime',['FastClusterTime',['../classSVF_1_1NodeIDAllocator_1_1Clusterer.html#ae78d2b60035350c634f6f58d7a043c22',1,'SVF::NodeIDAllocator::Clusterer']]],
   ['fbar',['Fbar',['../CFLGrammar_8txt.html#afb129e761aae1ddaa005123832b88cd2',1,'CFLGrammar.txt']]],
   ['fc_5fisnan',['fc_isnan',['../fastcluster_8cpp.html#a8abcd9d66492e761592578e82ce2cba0',1,'fastcluster.cpp']]],
-  ['fenceinst',['FenceInst',['../SVF-FE_2BasicTypes_8h.html#a43a430043d6520ceac623115ab2fbf56',1,'BasicTypes.h']]],
+  ['fenceinst',['FenceInst',['../namespaceSVF.html#a61f0d928e58d4f7e21616f770ae1080b',1,'SVF']]],
   ['fieldexpand',['fieldExpand',['../classSVF_1_1AndersenSFR.html#aa768e5cd0a762d17e2ec2baaad0486bf',1,'SVF::AndersenSFR']]],
   ['fieldreps',['FieldReps',['../classSVF_1_1AndersenSFR.html#a52aa0c2a02a0db6700c4a7a8819d0a5d',1,'SVF::AndersenSFR::FieldReps()'],['../classSVF_1_1AndersenSFR.html#a99337c429aebe9046c65068b44eff7cc',1,'SVF::AndersenSFR::fieldReps()']]],
   ['fields_5fdda',['FieldS_DDA',['../classSVF_1_1PointerAnalysis.html#a0b182ac680cce0547dbe7714c870ca85abe1d8104c77bfe4bbc201a64410c7f61',1,'SVF::PointerAnalysis']]],
@@ -104,7 +104,7 @@ var searchData=
   ['fpin',['FPIN',['../classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75a3c58aedc46cdafac26b47ec9674c2ac5',1,'SVF::VFGNode']]],
   ['fpnodes',['FPNodes',['../classSVF_1_1FunEntryICFGNode.html#a30e8c63bf2ae7a7528b9d8a516340ade',1,'SVF::FunEntryICFGNode']]],
   ['fpout',['FPOUT',['../classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75ac2c5b04acc4f754e70a782adee522e09',1,'SVF::VFGNode']]],
-  ['freezeinst',['FreezeInst',['../SVF-FE_2BasicTypes_8h.html#a17cb164afe37512fdd064acc8ee7cc66',1,'BasicTypes.h']]],
+  ['freezeinst',['FreezeInst',['../namespaceSVF.html#a9868a60a9cc7b78965a23b5034100f88',1,'SVF']]],
   ['fret',['FRet',['../classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75ae1d2cab9f6995b89064c2405f8eaf053',1,'SVF::VFGNode']]],
   ['fromfile',['fromFile',['../classSVF_1_1IRGraph.html#a7750a2b2a98bb39fc5f67af4e0c12379',1,'SVF::IRGraph']]],
   ['fsanno',['FSAnno',['../classSVF_1_1Options.html#ae444f90ff3b6a3cfec1c08e6ca6f263a',1,'SVF::Options']]],

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

@@ -46,7 +46,7 @@ var searchData=
   ['gep_5f0',['Gep_0',['../CFLGrammar_8txt.html#ace8178aa913f2a15d4b3f12778dfc6f1',1,'CFLGrammar.txt']]],
   ['gep_5f1',['Gep_1',['../CFLGrammar_8txt.html#a92c75ced313339aea5e3e0c9f0726e5a',1,'CFLGrammar.txt']]],
   ['gep_5fi',['Gep_i',['../CFLGrammar_8txt.html#a653086130f70f043218d296d00529455',1,'CFLGrammar.txt']]],
-  ['gep_5ftype_5fiterator',['gep_type_iterator',['../SVF-FE_2BasicTypes_8h.html#a61c08909930c80e172b5580fa0cc629f',1,'BasicTypes.h']]],
+  ['gep_5ftype_5fiterator',['gep_type_iterator',['../namespaceSVF.html#aa508c087703240dad69a9827e85ebd0b',1,'SVF']]],
   ['gepbar_5f0',['Gepbar_0',['../CFLGrammar_8txt.html#a38750813346a2f7d4d2f74101bf1be37',1,'CFLGrammar.txt']]],
   ['gepbar_5fi',['Gepbar_i',['../CFLGrammar_8txt.html#a1e1e10a9f0c4b902df72da76a308ae21',1,'CFLGrammar.txt']]],
   ['gepcgedge',['GepCGEdge',['../classSVF_1_1GepCGEdge.html',1,'SVF::GepCGEdge'],['../classSVF_1_1GepCGEdge.html#a17660f0d48006b9ee1d095218c5ab4a0',1,'SVF::GepCGEdge::GepCGEdge()'],['../classSVF_1_1GepCGEdge.html#ac80df552aa58bb5d285f35bc246dde1b',1,'SVF::GepCGEdge::GepCGEdge(const GepCGEdge &)'],['../classSVF_1_1GepCGEdge.html#a7c60fffa69c2d029d7808e046c9adce4',1,'SVF::GepCGEdge::GepCGEdge(ConstraintNode *s, ConstraintNode *d, ConstraintEdgeK k, EdgeID id)']]],
@@ -280,7 +280,7 @@ var searchData=
   ['getedgesourcelabel',['getEdgeSourceLabel',['../structllvm_1_1DOTGraphTraits_3_01CFLGraph_01_5_01_4.html#ac5d4d9f4874f0ecf199e1d19d66adf0f',1,'llvm::DOTGraphTraits< CFLGraph * >::getEdgeSourceLabel()'],['../structllvm_1_1DOTGraphTraits_3_01ConstraintGraph_01_5_01_4.html#a76e78cd94e56ca46ac7e1db7162e594b',1,'llvm::DOTGraphTraits< ConstraintGraph * >::getEdgeSourceLabel()'],['../structllvm_1_1DOTGraphTraits_3_01ICFG_01_5_01_4.html#a6255edef186d9268868d683b4bbda133',1,'llvm::DOTGraphTraits< ICFG * >::getEdgeSourceLabel()'],['../structllvm_1_1DOTGraphTraits_3_01IRGraph_01_5_01_4.html#a947696a48fdac183d0cc40de92944315',1,'llvm::DOTGraphTraits< IRGraph * >::getEdgeSourceLabel()'],['../structllvm_1_1DOTGraphTraits_3_01PTACallGraph_01_5_01_4.html#a576f422e667714d3e4948cbf3f631fc9',1,'llvm::DOTGraphTraits< PTACallGraph * >::getEdgeSourceLabel()'],['../structllvm_1_1DOTGraphTraits_3_01SVFG_01_5_01_4.html#aaaf78b3bb17f15a2c91566bfdc1bae9e',1,'llvm::DOTGraphTraits< SVFG * >::getEdgeSourceLabel()'],['../structllvm_1_1DOTGraphTraits_3_01VFG_01_5_01_4.html#af794115d33a8ea6f7f2e2c7ac5dd4c80',1,'llvm::DOTGraphTraits< VFG * >::getEdgeSourceLabel()']]],
   ['getedgetype',['getEdgeType',['../classSVF_1_1CHEdge.html#ae2b90913c6c5a30df2b285d31c694525',1,'SVF::CHEdge']]],
   ['getelementnum',['getElementNum',['../classSVF_1_1LocationSet.html#ac66b56e1fa180be9b09d7bfe653ff311',1,'SVF::LocationSet']]],
-  ['getelementptrinst',['GetElementPtrInst',['../SVF-FE_2BasicTypes_8h.html#a255d310b1b573ca5c69fd715d7815d79',1,'BasicTypes.h']]],
+  ['getelementptrinst',['GetElementPtrInst',['../namespaceSVF.html#ac4e93e1fec646ff222940a663843921b',1,'SVF']]],
   ['getelementset',['getElementSet',['../classSVF_1_1CondStdSet.html#a29892f43cc8420d4d2b4046140476320',1,'SVF::CondStdSet']]],
   ['getentrynode',['getEntryNode',['../structllvm_1_1GraphTraits_3_01SVF_1_1GenericNode_3_01NodeTy_00_01EdgeTy_01_4_01_5_01_4.html#a24c5372fa6afca08d89759f66fa2a08e',1,'llvm::GraphTraits< SVF::GenericNode< NodeTy, EdgeTy > * >::getEntryNode()'],['../structllvm_1_1GraphTraits_3_01Inverse_3_01SVF_1_1GenericNode_3_01NodeTy_00_01EdgeTy_01_4_01_5_4_01_4.html#afbe31ee2733b5990ab5b1f8c344fa3e0',1,'llvm::GraphTraits< Inverse< SVF::GenericNode< NodeTy, EdgeTy > *> >::getEntryNode()'],['../structllvm_1_1GraphTraits_3_01SVF_1_1GenericGraph_3_01NodeTy_00_01EdgeTy_01_4_01_5_4.html#a67da52700e19f69ffebf8532944df867',1,'llvm::GraphTraits< SVF::GenericGraph< NodeTy, EdgeTy > *>::getEntryNode()']]],
   ['getentryprocs',['getEntryProcs',['../classSVF_1_1TCT.html#a692a74188f141ffbdbb859ecae8b07ab',1,'SVF::TCT']]],
@@ -754,7 +754,7 @@ var searchData=
   ['globaldeftorepmap',['GlobalDefToRepMap',['../classSVF_1_1LLVMModuleSet.html#ae2a1fa0b908cf372c50af90e62c4bf2b',1,'SVF::LLVMModuleSet']]],
   ['globaldeftorepmapty',['GlobalDefToRepMapTy',['../classSVF_1_1LLVMModuleSet.html#a4dc808f3f69a87c74933d1f6183d1459',1,'SVF::LLVMModuleSet']]],
   ['globalicfgnode',['GlobalICFGNode',['../classSVF_1_1GlobalICFGNode.html',1,'SVF::GlobalICFGNode'],['../classSVF_1_1GlobalICFGNode.html#a01e8a9844fcad1cc5faa22d8b0e0efd7',1,'SVF::GlobalICFGNode::GlobalICFGNode()']]],
-  ['globalobject',['GlobalObject',['../SVF-FE_2BasicTypes_8h.html#a16adea95b46c741a8990d92d29f33bb6',1,'BasicTypes.h']]],
+  ['globalobject',['GlobalObject',['../namespaceSVF.html#af157dc77830b6cc804338df7430cbbb3',1,'SVF']]],
   ['globalset',['GlobalSet',['../classSVF_1_1SVFModule.html#a4ff4bbd1771615757fc6575282046e30',1,'SVF::SVFModule']]],
   ['globalsettype',['GlobalSetType',['../classSVF_1_1SVFModule.html#a5df72b0e3f0697069d65a9c1d7470d35',1,'SVF::SVFModule']]],
   ['globalsvfg',['globalSvfg',['../classSVF_1_1SVFGBuilder.html#a31b754a303116f33d679dfcd886c4bed',1,'SVF::SVFGBuilder']]],

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

@@ -108,7 +108,7 @@ var searchData=
   ['insenrecur',['InsenRecur',['../classSVF_1_1Options.html#aa1a3b9293dffeef1bb16a2a7b3a007dd',1,'SVF::Options']]],
   ['insensitveedges',['insensitveEdges',['../classSVF_1_1ContextDDA.html#a942e79dced48bd284a58540a2fb778b9',1,'SVF::ContextDDA']]],
   ['insertattribute',['insertAttribute',['../classSVF_1_1GrammarBase.html#aa188ee22955b98c31abbf2b339b64d20',1,'SVF::GrammarBase']]],
-  ['insertelementinst',['InsertElementInst',['../SVF-FE_2BasicTypes_8h.html#aca8159b0dbaf5b71dc69b9d9c7b200ec',1,'BasicTypes.h']]],
+  ['insertelementinst',['InsertElementInst',['../namespaceSVF.html#a6b857824fb3c39ff6de953651260a326',1,'SVF']]],
   ['insertkey',['insertKey',['../namespaceSVF_1_1SVFUtil.html#aeecfaf26800dcebf0b079395126bc7f7',1,'SVF::SVFUtil::insertKey(const Key &key, KeySet &keySet)'],['../namespaceSVF_1_1SVFUtil.html#a4f75b8313eb2b1e5a4c798a01cb99471',1,'SVF::SVFUtil::insertKey(const NodeID &key, NodeBS &keySet)']]],
   ['insertnonterminalkind',['insertNonterminalKind',['../classSVF_1_1GrammarBase.html#ac15b20ef3698ddab09c4c60e302ea4a0',1,'SVF::GrammarBase']]],
   ['insertnonterminalsymbol',['insertNonTerminalSymbol',['../classSVF_1_1GrammarBase.html#a63389968c8d246a84562a8d17e08790b',1,'SVF::GrammarBase']]],
@@ -116,10 +116,10 @@ var searchData=
   ['insertsymbol',['insertSymbol',['../classSVF_1_1GrammarBase.html#a3c16f37c05de31fbd2be1ae9c0961e84',1,'SVF::GrammarBase']]],
   ['insertterminalkind',['insertTerminalKind',['../classSVF_1_1GrammarBase.html#ad2f1a578ba72a2b600014b21b6f2d542',1,'SVF::GrammarBase']]],
   ['inserttocflgrammar',['insertToCFLGrammar',['../classSVF_1_1CFGNormalizer.html#ad08f183a1b8ca69201f965f224e92950',1,'SVF::CFGNormalizer']]],
-  ['insertvalueinst',['InsertValueInst',['../SVF-FE_2BasicTypes_8h.html#a5ef6dd0250254e2609a8f35ece1d57c5',1,'BasicTypes.h']]],
+  ['insertvalueinst',['InsertValueInst',['../namespaceSVF.html#a485b10fc29e76fdb6f31a56ebbde8f24',1,'SVF']]],
   ['inst',['inst',['../classSVF_1_1IntraICFGNode.html#ac160eae9228d5b6627a6ca74da0b03e4',1,'SVF::IntraICFGNode::inst()'],['../classSVF_1_1LoadMU.html#a7bbac3ff5455aa1340f348c7cb239c46',1,'SVF::LoadMU::inst()'],['../classSVF_1_1StoreCHI.html#a6e58e7cde1f417ec3feaef98f6f74be2',1,'SVF::StoreCHI::inst()'],['../classSVF_1_1CxtStmt.html#a237b8738885e57d5a9b984221f611567',1,'SVF::CxtStmt::inst()']]],
   ['inst2labelmap',['Inst2LabelMap',['../classSVF_1_1SVFStmt.html#a5a3db6b1335b4adc55b961a6f480f228',1,'SVF::SVFStmt::Inst2LabelMap()'],['../classSVF_1_1SVFStmt.html#abb83549118bcd7216a053d82f7180d1c',1,'SVF::SVFStmt::inst2LabelMap()']]],
-  ['inst_5fiterator',['inst_iterator',['../SVF-FE_2BasicTypes_8h.html#a160997c1a0fb1000445d04b89d9c1323',1,'BasicTypes.h']]],
+  ['inst_5fiterator',['inst_iterator',['../namespaceSVF.html#a255af6ff30782cb9a548feadb0fe7d6b',1,'SVF']]],
   ['instance',['INSTANCE',['../classSVF_1_1DCHEdge.html#a48f01c4a02c4e278a1ab70b16efdef4ba3e807b4caeb170c5cd1e855ac1a92d77',1,'SVF::DCHEdge']]],
   ['instantce',['INSTANTCE',['../classSVF_1_1CHEdge.html#a26280c3b724551036f7e3ba2b5922676a8721eaefd547d6ba5229463d644815f4',1,'SVF::CHEdge']]],
   ['instcilocksmap',['instCILocksMap',['../classSVF_1_1LockAnalysis.html#a277d88153d34cf3eb80272003949e4ef',1,'SVF::LockAnalysis']]],
@@ -180,15 +180,15 @@ var searchData=
   ['intramssaphisvfgnode',['IntraMSSAPHISVFGNode',['../classSVF_1_1IntraMSSAPHISVFGNode.html',1,'SVF::IntraMSSAPHISVFGNode'],['../classSVF_1_1IntraMSSAPHISVFGNode.html#abe0faa3d40bf16ac0937324035d3323d',1,'SVF::IntraMSSAPHISVFGNode::IntraMSSAPHISVFGNode()']]],
   ['intraphisvfgnode',['IntraPHISVFGNode',['../namespaceSVF.html#ad772e1586e369943f37c22641e93e941',1,'SVF']]],
   ['intraphivfgnode',['IntraPHIVFGNode',['../classSVF_1_1IntraPHIVFGNode.html',1,'SVF::IntraPHIVFGNode'],['../classSVF_1_1IntraPHIVFGNode.html#a65222075e49bb88601a6f1ac51cdace3',1,'SVF::IntraPHIVFGNode::IntraPHIVFGNode()']]],
-  ['inttoptrinst',['IntToPtrInst',['../SVF-FE_2BasicTypes_8h.html#a39fa3cd232776e9a7bd6337c6242b906',1,'BasicTypes.h']]],
+  ['inttoptrinst',['IntToPtrInst',['../namespaceSVF.html#a07578c424e9d3c07a54e65404a0a6abb',1,'SVF']]],
   ['inupdatedvarmap',['inUpdatedVarMap',['../classSVF_1_1MutableIncDFPTData.html#ab5e9ebf9e71652b5fa63d59c97d016e4',1,'SVF::MutableIncDFPTData::inUpdatedVarMap()'],['../classSVF_1_1PersistentIncDFPTData.html#a106391cd8eefab1740b54cd9bbacccad',1,'SVF::PersistentIncDFPTData::inUpdatedVarMap()']]],
   ['inv_5fchild_5fiterator',['inv_child_iterator',['../classSVF_1_1SrcSnkSolver.html#acb3b73c60427a78ad8dd12d651202d78',1,'SVF::SrcSnkSolver::inv_child_iterator()'],['../classSVF_1_1GraphReachSolver.html#a40fe9f5863619ee7c11a630e4fd89a91',1,'SVF::GraphReachSolver::inv_child_iterator()']]],
   ['invalidversion',['invalidVersion',['../classSVF_1_1VersionedFlowSensitive.html#a3d44a343a2e3f5d276fd1b069c92e112',1,'SVF::VersionedFlowSensitive']]],
   ['invgtraits',['InvGTraits',['../classSVF_1_1SrcSnkSolver.html#ad50e99f38fe6569107d0461d96f735ae',1,'SVF::SrcSnkSolver::InvGTraits()'],['../classSVF_1_1GraphReachSolver.html#aa1542934a87c9edce00355fe2d690b9e',1,'SVF::GraphReachSolver::InvGTraits()']]],
-  ['invokeinst',['InvokeInst',['../SVF-FE_2BasicTypes_8h.html#aa437c87b40ddb0d2b16631b00994ff75',1,'BasicTypes.h']]],
+  ['invokeinst',['InvokeInst',['../namespaceSVF.html#a56cb9d6d1e05f6c31bfe1a4045bc8b5f',1,'SVF']]],
   ['irannotator',['IRAnnotator',['../classSVF_1_1IRAnnotator.html',1,'SVF::IRAnnotator'],['../classSVF_1_1IRAnnotator.html#aa54df3d6c0c20c26be90bb68546dc93d',1,'SVF::IRAnnotator::IRAnnotator()']]],
   ['irannotator_2eh',['IRAnnotator.h',['../IRAnnotator_8h.html',1,'']]],
-  ['irbuilder',['IRBuilder',['../SVF-FE_2BasicTypes_8h.html#a71269a3564eca6be7bc0efb5202275f0',1,'BasicTypes.h']]],
+  ['irbuilder',['IRBuilder',['../namespaceSVF.html#a94824519e439aeef1568d415b6f7331c',1,'SVF']]],
   ['irgraph',['IRGraph',['../classSVF_1_1IRGraph.html',1,'SVF::IRGraph'],['../classSVF_1_1SVFVar.html#a6755ed387e15f44ffb637f64a0af60bc',1,'SVF::SVFVar::IRGraph()'],['../classSVF_1_1IRGraph.html#a34f7644ccf88fc0911c0b4f625dc1f28',1,'SVF::IRGraph::IRGraph()']]],
   ['irgraph_2ecpp',['IRGraph.cpp',['../IRGraph_8cpp.html',1,'']]],
   ['irgraph_2eh',['IRGraph.h',['../IRGraph_8h.html',1,'']]],

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

@@ -1,7 +1,7 @@
 var searchData=
 [
   ['label2kindmap',['label2KindMap',['../classSVF_1_1CFLGraphBuilder.html#a7117dbeceeef7a9fcaeee0a84a171590',1,'SVF::CFLGraphBuilder']]],
-  ['landingpadinst',['LandingPadInst',['../SVF-FE_2BasicTypes_8h.html#a5b02d9efe63d84149e54736b81f922f1',1,'BasicTypes.h']]],
+  ['landingpadinst',['LandingPadInst',['../namespaceSVF.html#afa513a3c76371907221ee2b1ef289c71',1,'SVF']]],
   ['largestregion',['LargestRegion',['../classSVF_1_1NodeIDAllocator_1_1Clusterer.html#a172d72ae4ae45fa2baf2f20ff2b499dc',1,'SVF::NodeIDAllocator::Clusterer']]],
   ['ldnodeset',['ldnodeSet',['../classSVF_1_1MTASVFGBuilder.html#a6dfa9807255258f324557d188adea9b2',1,'SVF::MTASVFGBuilder']]],
   ['leadingzeroscounter',['LeadingZerosCounter',['../structSVF_1_1LeadingZerosCounter.html',1,'SVF']]],
@@ -16,7 +16,7 @@ var searchData=
   ['llvm',['llvm',['../namespacellvm.html',1,'']]],
   ['llvm_5fconst_5fiterator',['llvm_const_iterator',['../classSVF_1_1SVFModule.html#ab86e221a93bec67a2ecb7cb53315f569',1,'SVF::SVFModule']]],
   ['llvm_5fiterator',['llvm_iterator',['../classSVF_1_1SVFModule.html#aa5a0780c5c69a1e9a0ba902b4ad49714',1,'SVF::SVFModule']]],
-  ['llvmcontext',['LLVMContext',['../SVF-FE_2BasicTypes_8h.html#a9f19a521d06397d1b6dc52c0388513d9',1,'BasicTypes.h']]],
+  ['llvmcontext',['LLVMContext',['../namespaceSVF.html#affba423b674a0aba723e33101826e297',1,'SVF']]],
   ['llvmfun2svffunmap',['LLVMFun2SVFFunMap',['../classSVF_1_1SVFModule.html#a767c49e07c29cbea81c35b164a8c9cab',1,'SVF::SVFModule']]],
   ['llvmfunbegin',['llvmFunBegin',['../classSVF_1_1SVFModule.html#a648542aa5c4b487ad5aa12a39d15e951',1,'SVF::SVFModule::llvmFunBegin()'],['../classSVF_1_1SVFModule.html#a83ed76263dbe297ee0ecaf672c3a1805',1,'SVF::SVFModule::llvmFunBegin() const']]],
   ['llvmfunc2svffunc',['LLVMFunc2SVFFunc',['../classSVF_1_1SVFModule.html#ac96e0c68e0c951acaaa586dd56418335',1,'SVF::SVFModule']]],

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

@@ -55,7 +55,7 @@ var searchData=
   ['mayhavedatarace',['mayHaveDataRace',['../classSVF_1_1RaceResultValidator.html#a1df6b00752e373ac7bf08a2cae0b9641',1,'SVF::RaceResultValidator']]],
   ['mdef',['MDEF',['../classSVF_1_1MemSSA.html#a57e68097212e88568eea829fb998fe0c',1,'SVF::MemSSA']]],
   ['mdnode',['MDNode',['../namespaceSVF.html#ad3d3cec1813411f039211c86236f7adb',1,'SVF']]],
-  ['mdstring',['MDString',['../SVF-FE_2BasicTypes_8h.html#a79dfa1a3c9502e187c036ed3b41f937c',1,'BasicTypes.h']]],
+  ['mdstring',['MDString',['../namespaceSVF.html#a28eec26ec8edaa5e96aecfeb01f6c0d4',1,'SVF']]],
   ['meld',['meld',['../classSVF_1_1VersionedFlowSensitive.html#a1da960df51570b59161e380949d910c4',1,'SVF::VersionedFlowSensitive']]],
   ['meldlabel',['meldLabel',['../classSVF_1_1VersionedFlowSensitive.html#aaff594c78d93f7ad632d344e5c1c7f6a',1,'SVF::VersionedFlowSensitive']]],
   ['meldlabelingtime',['meldLabelingTime',['../classSVF_1_1VersionedFlowSensitive.html#a4a594c8d6ccaa27b5328c6388fdb258d',1,'SVF::VersionedFlowSensitive']]],
@@ -64,7 +64,7 @@ var searchData=
   ['memflow',['Memflow',['../CFLGrammar_8txt.html#ae2f9fbd0bf92e7dad02a6c5fa9323621',1,'CFLGrammar.txt']]],
   ['memobj',['MemObj',['../classSVF_1_1MemObj.html',1,'SVF::MemObj'],['../classSVF_1_1MemObj.html#afc62b5dbcaf790e561c852f567ca5bd1',1,'SVF::MemObj::MemObj()']]],
   ['memobjtofieldsmap',['MemObjToFieldsMap',['../classSVF_1_1SVFIR.html#ab6abb822445c9b3f5cb2b7206042e940',1,'SVF::SVFIR']]],
-  ['memorylocation',['MemoryLocation',['../SVF-FE_2BasicTypes_8h.html#a8c9721de4c4754decc4f79d9f5b8c756',1,'BasicTypes.h']]],
+  ['memorylocation',['MemoryLocation',['../namespaceSVF.html#a339bbddac9d9dffd5ef602200d34c403',1,'SVF']]],
   ['mempar',['MemPar',['../classSVF_1_1Options.html#a74b821736a04f89adb79d6fd5369cdc3',1,'SVF::Options']]],
   ['mempartition',['MemPartition',['../classSVF_1_1MemSSA.html#ac0797f2ee7b59ae720095a4836533671',1,'SVF::MemSSA']]],
   ['mempartition_2ecpp',['MemPartition.cpp',['../MemPartition_8cpp.html',1,'']]],
@@ -91,7 +91,7 @@ var searchData=
   ['mergesccnodes',['mergeSccNodes',['../classSVF_1_1Andersen.html#a1ba1e1e36af289982146de06cf06ab0a',1,'SVF::Andersen']]],
   ['mergespan',['mergeSpan',['../classSVF_1_1MTASVFGBuilder.html#ae028fe894e3c6e7fd0ad6feeaa64320e',1,'SVF::MTASVFGBuilder']]],
   ['mergesrctotgt',['mergeSrcToTgt',['../classSVF_1_1Andersen.html#ae6b1e54a389abc68994219e39539127e',1,'SVF::Andersen::mergeSrcToTgt()'],['../classSVF_1_1AndersenSFR.html#ac5f406db5610347564fceff4d36f6a6f',1,'SVF::AndersenSFR::mergeSrcToTgt()']]],
-  ['metadataasvalue',['MetadataAsValue',['../SVF-FE_2BasicTypes_8h.html#ae6439506f12c106932f8db434ebaa761',1,'BasicTypes.h']]],
+  ['metadataasvalue',['MetadataAsValue',['../namespaceSVF.html#a773900ea3c75022657aac1abf59fa51b',1,'SVF']]],
   ['metasame',['metaSame',['../classSVF_1_1PointsTo.html#aa1e773b7abda97441d6ffe39c668d4ec',1,'SVF::PointsTo']]],
   ['mfspta',['mfspta',['../classSVF_1_1FSMPTA.html#af248a80855457ca9e5a7208c114681bb',1,'SVF::FSMPTA']]],
   ['mhp',['MHP',['../classSVF_1_1MHP.html',1,'SVF::MHP'],['../classSVF_1_1MTASVFGBuilder.html#a73024bf30aa3ec79e5953a7ea1f8feb7',1,'SVF::MTASVFGBuilder::mhp()'],['../classSVF_1_1FSMPTA.html#aa8dcd130d4b9283fc6b903de8e4ad830',1,'SVF::FSMPTA::mhp()'],['../classSVF_1_1MTAAnnotator.html#a94d7a3fd9166126c052fca28f9a4c825',1,'SVF::MTAAnnotator::mhp()'],['../classSVF_1_1MTAResultValidator.html#a6b3592525d5275d583c0726744d1f857',1,'SVF::MTAResultValidator::mhp()'],['../classSVF_1_1MHPValidator.html#ad6e417ad7f0b1b399822eaa62d83341d',1,'SVF::MHPValidator::mhp()'],['../classSVF_1_1MHP.html#abf1f5a7c365dfb95b42015b7b2ad6fbe',1,'SVF::MHP::MHP()']]],
@@ -114,7 +114,7 @@ var searchData=
   ['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']]],
-  ['modulepass',['modulePass',['../classSVF_1_1MTA.html#a3dd09dcdcf58ae8ee1745634cefbb8aa',1,'SVF::MTA::modulePass()'],['../SVF-FE_2BasicTypes_8h.html#a2e0fa4afbccc902de3ae55c65fb8b007',1,'ModulePass(): BasicTypes.h']]],
+  ['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']]],
   ['moveedgestorepnode',['moveEdgesToRepNode',['../classSVF_1_1ConstraintGraph.html#aabe2861fcbc364e2c8aa8114d4879c39',1,'SVF::ConstraintGraph']]],

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

@@ -11,11 +11,11 @@ var searchData=
   ['aliasanalysis',['AliasAnalysis',['../classSVF_1_1PointerAnalysis.html#ac87eb408daafd5d556ecd8633f7d4f1f',1,'SVF::PointerAnalysis']]],
   ['aliasset',['AliasSet',['../namespaceSVF.html#a2b2887cf75225bc9127338b4cf30aa85',1,'SVF']]],
   ['aliassettype',['AliasSetType',['../classSVF_1_1SVFModule.html#a654097a3df71f8eac489e8ddae8de30c',1,'SVF::SVFModule']]],
-  ['allocainst',['AllocaInst',['../SVF-FE_2BasicTypes_8h.html#a5e06fe1b4b25113ac322dbeda71055dc',1,'BasicTypes.h']]],
+  ['allocainst',['AllocaInst',['../namespaceSVF.html#a3bacb4f95c73e6d794901d01c6b65a83',1,'SVF']]],
   ['arg_5fiterator',['arg_iterator',['../classSVF_1_1CallSite.html#ac1cdfe5e54026960a23142e26b3150ff',1,'SVF::CallSite']]],
   ['argument',['Argument',['../namespaceSVF.html#a58cdfbc4160cae08745b67844ac29801',1,'SVF']]],
   ['arraytype',['ArrayType',['../namespaceSVF.html#a146d286041987860388da3d8bc85cee3',1,'SVF']]],
-  ['atomiccmpxchginst',['AtomicCmpXchgInst',['../SVF-FE_2BasicTypes_8h.html#abafbd655050c8c70dc8947997c369294',1,'BasicTypes.h']]],
-  ['atomicrmwinst',['AtomicRMWInst',['../SVF-FE_2BasicTypes_8h.html#ab3bd63fdab8cc747227a32f88bd10370',1,'BasicTypes.h']]],
+  ['atomiccmpxchginst',['AtomicCmpXchgInst',['../namespaceSVF.html#a582e3736a2bbb0540364c1693d831b49',1,'SVF']]],
+  ['atomicrmwinst',['AtomicRMWInst',['../namespaceSVF.html#a468154e0ab9e7be82afef1aa0a2fb9e0',1,'SVF']]],
   ['attribute',['Attribute',['../classSVF_1_1GrammarBase.html#ab070e5449d26e347b957d8b994d0303f',1,'SVF::GrammarBase']]]
 ];

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

@@ -17,10 +17,10 @@ var searchData=
   ['bbtomrsetmap',['BBToMRSetMap',['../classSVF_1_1MemSSA.html#a4d4f7039c2972e671dc15b8c75abad14',1,'SVF::MemSSA']]],
   ['bbtophisetmap',['BBToPhiSetMap',['../classSVF_1_1MemSSA.html#afeef58baed23fc731e33a07a0ef05f6a',1,'SVF::MemSSA']]],
   ['bbworklist',['BBWorkList',['../classSVF_1_1PCG.html#a05759205f1362b6d72041cf669cf028d',1,'SVF::PCG']]],
-  ['binaryoperator',['BinaryOperator',['../SVF-FE_2BasicTypes_8h.html#ab58e9b290ff1defcedad101c3da8d8fd',1,'BasicTypes.h']]],
-  ['bitcastinst',['BitCastInst',['../SVF-FE_2BasicTypes_8h.html#ab8cddf2ff868c0a9ae99483640c9ecef',1,'BasicTypes.h']]],
+  ['binaryoperator',['BinaryOperator',['../namespaceSVF.html#aad5d26ab07a5d1314bdb8f54e0fcdb22',1,'SVF']]],
+  ['bitcastinst',['BitCastInst',['../namespaceSVF.html#afc50da46a6ea7c2cf61683bbec4d7c8d',1,'SVF']]],
   ['bitword',['BitWord',['../structSVF_1_1SparseBitVectorElement.html#af9014ab5077a2d9c1aed1e9b1460390d',1,'SVF::SparseBitVectorElement']]],
-  ['blockaddress',['BlockAddress',['../SVF-FE_2BasicTypes_8h.html#ad29efa92ce4c6449b5ef7853994877bd',1,'BasicTypes.h']]],
-  ['branchinst',['BranchInst',['../SVF-FE_2BasicTypes_8h.html#adeac5db1db4ed03898d30f205fd02264',1,'BasicTypes.h']]],
-  ['bridge_5fgep_5fiterator',['bridge_gep_iterator',['../SVF-FE_2BasicTypes_8h.html#af43699df9f7bdcb9565574b588e3f5ae',1,'bridge_gep_iterator(): BasicTypes.h'],['../namespacellvm.html#af77a7ec045719d1f075cf6c591902522',1,'llvm::bridge_gep_iterator()']]]
+  ['blockaddress',['BlockAddress',['../namespaceSVF.html#a956458a8554bf734db1194f320fd4b4c',1,'SVF']]],
+  ['branchinst',['BranchInst',['../namespaceSVF.html#ac9a05dd7ab16e998625037aa242cd30f',1,'SVF']]],
+  ['bridge_5fgep_5fiterator',['bridge_gep_iterator',['../namespaceSVF.html#a3b6e84470681a9f731a81e8cf54680cc',1,'SVF::bridge_gep_iterator()'],['../namespacellvm.html#af77a7ec045719d1f075cf6c591902522',1,'llvm::bridge_gep_iterator()']]]
 ];

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

@@ -2,21 +2,21 @@ var searchData=
 [
   ['s32_5ft',['s32_t',['../namespaceSVF.html#a9b707002523ece2ac54ca893ee9a2d4e',1,'SVF']]],
   ['s64_5ft',['s64_t',['../namespaceSVF.html#ad781b0b14e89773e774072b280658ef3',1,'SVF']]],
-  ['scalarevolution',['ScalarEvolution',['../SVF-FE_2BasicTypes_8h.html#a14e646200d8836461877804ee4a203d1',1,'BasicTypes.h']]],
-  ['scalarevolutionwrapperpass',['ScalarEvolutionWrapperPass',['../SVF-FE_2BasicTypes_8h.html#a26413e6481a8551035d13215b29ea779',1,'BasicTypes.h']]],
+  ['scalarevolution',['ScalarEvolution',['../namespaceSVF.html#ad8794eb3c00de3d3b5c5e43dded3fb42',1,'SVF']]],
+  ['scalarevolutionwrapperpass',['ScalarEvolutionWrapperPass',['../namespaceSVF.html#a9f1aca0384166e42d14e2608009ebc01',1,'SVF']]],
   ['scc',['SCC',['../classSVF_1_1MRGenerator.html#af8d52e6c9884c6e1abc6dbcbc5e32629',1,'SVF::MRGenerator::SCC()'],['../classSVF_1_1WPASolver.html#a1352953966be14b2a1d6244f35e74a33',1,'SVF::WPASolver::SCC()']]],
-  ['scev',['SCEV',['../SVF-FE_2BasicTypes_8h.html#a926a4429043d19e5b5fb425a31631d12',1,'BasicTypes.h']]],
-  ['scevaddrecexpr',['SCEVAddRecExpr',['../SVF-FE_2BasicTypes_8h.html#a7182e2c93e2218f62abceae861a4e787',1,'BasicTypes.h']]],
-  ['scevconstant',['SCEVConstant',['../SVF-FE_2BasicTypes_8h.html#aff62eefea1b967cc90608517891644eb',1,'BasicTypes.h']]],
-  ['selectinst',['SelectInst',['../SVF-FE_2BasicTypes_8h.html#abbb6cb29e5b213400fdb10525ee75504',1,'BasicTypes.h']]],
+  ['scev',['SCEV',['../namespaceSVF.html#aac5262378e41a3414a20cc9a41d4adc6',1,'SVF']]],
+  ['scevaddrecexpr',['SCEVAddRecExpr',['../namespaceSVF.html#a4f7c400fbf2fa03db8cf61cb9a7dd3e8',1,'SVF']]],
+  ['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']]],
-  ['shufflevectorinst',['ShuffleVectorInst',['../SVF-FE_2BasicTypes_8h.html#aebd8814affe9b579237bd090561b4686',1,'BasicTypes.h']]],
+  ['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']]],
   ['size_5ftype',['size_type',['../structSVF_1_1SparseBitVectorElement.html#ad9e38352db094adcdfb2964f325d9e53',1,'SVF::SparseBitVectorElement']]],
   ['smallbbvector',['SmallBBVector',['../namespaceSVF.html#a02be4933b76c2baa7fdbe8b290e12bb3',1,'SVF']]],
-  ['smdiagnostic',['SMDiagnostic',['../SVF-FE_2BasicTypes_8h.html#a312d4d865f87a9bff58ce66b087c13d0',1,'BasicTypes.h']]],
+  ['smdiagnostic',['SMDiagnostic',['../namespaceSVF.html#a86863d104a3930b3a806935d92ddbf30',1,'SVF']]],
   ['stmtsvfgnode',['StmtSVFGNode',['../namespaceSVF.html#a26bd4f89dc154b9c6d34b6a517777934',1,'SVF']]],
   ['storechi',['STORECHI',['../classSVF_1_1SVFG.html#ad14cdbb3f1df1f716aa03b4d39f4e52b',1,'SVF::SVFG::STORECHI()'],['../classSVF_1_1MemSSA.html#a150e9d53ced1c143bba2d1026f739fa4',1,'SVF::MemSSA::STORECHI()']]],
   ['storeinst',['StoreInst',['../namespaceSVF.html#ab696aab940eb187dc81217efe8649af5',1,'SVF']]],
@@ -26,7 +26,7 @@ var searchData=
   ['storesvfgnode',['StoreSVFGNode',['../namespaceSVF.html#a54c5725186e66ead6faf53c10a288714',1,'SVF']]],
   ['storetochisetmap',['StoreToChiSetMap',['../classSVF_1_1MemSSA.html#acfee1bb5534026ce991a1ab5e796c6b9',1,'SVF::MemSSA']]],
   ['storetopmsetmap',['StoreToPMSetMap',['../classSVF_1_1DDAVFSolver.html#accaacd2dd680f92ff83cfe75eef6ffab',1,'SVF::DDAVFSolver']]],
-  ['structlayout',['StructLayout',['../SVF-FE_2BasicTypes_8h.html#aef8af3d6e4b75a3e3e108b636a48fbd3',1,'BasicTypes.h']]],
+  ['structlayout',['StructLayout',['../namespaceSVF.html#a52c8654c221bb53a59f70ea3cb1e5c45',1,'SVF']]],
   ['structtype',['StructType',['../namespaceSVF.html#a2bf58575ac7d068e0f1a4cf953b9e6cb',1,'SVF']]],
   ['succ_5fconst_5fiterator',['succ_const_iterator',['../namespaceSVF.html#a3436a988bf80c021cd8022fb445b66d5',1,'SVF']]],
   ['succandcondpairvec',['SuccAndCondPairVec',['../classSVF_1_1BranchStmt.html#a6a0e64824777f04be4c169125dd4f666',1,'SVF::BranchStmt']]],
@@ -52,7 +52,7 @@ var searchData=
   ['svfstmtset',['SVFStmtSet',['../classSVF_1_1IRGraph.html#a28ea8f85b0923d00364a010c1fd4e416',1,'SVF::IRGraph::SVFStmtSet()'],['../classSVF_1_1VFG.html#a8e3633597a4dca714df20e0720b31f1e',1,'SVF::VFG::SVFStmtSet()']]],
   ['svfstmtsetty',['SVFStmtSetTy',['../classSVF_1_1SVFStmt.html#a8cd7b6c6fd8b030b1421d95a086359f4',1,'SVF::SVFStmt']]],
   ['svfvarlist',['SVFVarList',['../classSVF_1_1SVFIR.html#a64939d7ecfd8e2cf862782954a56596b',1,'SVF::SVFIR']]],
-  ['switchinst',['SwitchInst',['../SVF-FE_2BasicTypes_8h.html#a55ac065a1d559c907908492c6853dd53',1,'BasicTypes.h']]],
+  ['switchinst',['SwitchInst',['../namespaceSVF.html#a412280b134578905248ce0122c5db7c9',1,'SVF']]],
   ['symbol',['Symbol',['../classSVF_1_1GrammarBase.html#ad4f53184d04d9f7a737b19f63d002550',1,'SVF::GrammarBase::Symbol()'],['../classSVF_1_1CFLGraphBuilder.html#a36c5b874527e7694f7fb2fd7291da0da',1,'SVF::CFLGraphBuilder::Symbol()'],['../classSVF_1_1CFLSolver.html#a06e64c18559b4f311717203ac3fe1fcd',1,'SVF::CFLSolver::Symbol()'],['../classSVF_1_1CFLGraph.html#a87671d8f952e7dd65dabe2d5ce6764e3',1,'SVF::CFLGraph::Symbol()']]],
   ['symbolmap',['SymbolMap',['../classSVF_1_1GrammarBase.html#a4405933cc8ed8cf30b98ee16fc14c112',1,'SVF::GrammarBase']]],
   ['symbolset',['SymbolSet',['../classSVF_1_1GrammarBase.html#a8687586451b07458d591120cdee9f6a3',1,'SVF::GrammarBase']]],

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

@@ -2,13 +2,13 @@ var searchData=
 [
   ['u32_5ft',['u32_t',['../namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af',1,'SVF']]],
   ['u64_5ft',['u64_t',['../namespaceSVF.html#a366625858f450a1ea5f985a3c83e0f14',1,'SVF']]],
-  ['unaryoperator',['UnaryOperator',['../SVF-FE_2BasicTypes_8h.html#ab6cb332bc04ab932cba29fa9c9d5f3b2',1,'BasicTypes.h']]],
-  ['undefvalue',['UndefValue',['../SVF-FE_2BasicTypes_8h.html#a1ab5636908738dc0987bc642604cbb4a',1,'BasicTypes.h']]],
-  ['unifyfunctionexitnodes',['UnifyFunctionExitNodes',['../SVF-FE_2BasicTypes_8h.html#a66384f66e64322087e7bdab0b50840f2',1,'BasicTypes.h']]],
-  ['unreachableinst',['UnreachableInst',['../SVF-FE_2BasicTypes_8h.html#ac81608d3ff4a58a9a5d8fd522860b96f',1,'BasicTypes.h']]],
+  ['unaryoperator',['UnaryOperator',['../namespaceSVF.html#a292a6e8c5b4f2023b5575879c57eca62',1,'SVF']]],
+  ['undefvalue',['UndefValue',['../namespaceSVF.html#af4912ad47e19060e53b665f73e0ee6ec',1,'SVF']]],
+  ['unifyfunctionexitnodes',['UnifyFunctionExitNodes',['../namespaceSVF.html#ae5853f7df76735b195ff93949ca4256b',1,'SVF']]],
+  ['unreachableinst',['UnreachableInst',['../namespaceSVF.html#a8ac6a8ff90f47a93166fbdf15be2d721',1,'SVF']]],
   ['updatedvarconstiter',['UpdatedVarconstIter',['../classSVF_1_1MutableIncDFPTData.html#af815dd2108c16e1dfddbcd5bdbcceeb6',1,'SVF::MutableIncDFPTData']]],
   ['updatedvarmap',['UpdatedVarMap',['../classSVF_1_1MutableIncDFPTData.html#a67c24cebffdcea9c8059f6769c7f9798',1,'SVF::MutableIncDFPTData::UpdatedVarMap()'],['../classSVF_1_1PersistentIncDFPTData.html#abad78c2ef84371b693dca206ebbb63ab',1,'SVF::PersistentIncDFPTData::UpdatedVarMap()']]],
   ['updatedvarmapiter',['UpdatedVarMapIter',['../classSVF_1_1MutableIncDFPTData.html#a8b30326d3fa3f4054e67268f512aec9e',1,'SVF::MutableIncDFPTData']]],
-  ['use',['Use',['../SVF-FE_2BasicTypes_8h.html#a9c01c67684e99545d8e0403321594977',1,'BasicTypes.h']]],
+  ['use',['Use',['../namespaceSVF.html#a334998718813a19a7697daf4ba282faf',1,'SVF']]],
   ['user',['User',['../namespaceSVF.html#afc1b50355821e7299df03b026e36f1df',1,'SVF']]]
 ];

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

@@ -1,8 +1,8 @@
 var searchData=
 [
-  ['vaarginst',['VAArgInst',['../SVF-FE_2BasicTypes_8h.html#a80c0a9085ca3ebff2760506df127f424',1,'BasicTypes.h']]],
-  ['vacopyinst',['VACopyInst',['../SVF-FE_2BasicTypes_8h.html#a85650eac31e26c9635644600eca6901e',1,'BasicTypes.h']]],
-  ['vaendinst',['VAEndInst',['../SVF-FE_2BasicTypes_8h.html#aa55dc13cb9e79b9c54d74234e0add670',1,'BasicTypes.h']]],
+  ['vaarginst',['VAArgInst',['../namespaceSVF.html#abcafc32093ff5ee038b5fcf6e4076ed4',1,'SVF']]],
+  ['vacopyinst',['VACopyInst',['../namespaceSVF.html#a0f3339f5241441c7e6023df9e0cfa295',1,'SVF']]],
+  ['vaendinst',['VAEndInst',['../namespaceSVF.html#adb305e32f35af19b870b07711ba5b913',1,'SVF']]],
   ['value',['Value',['../namespaceSVF.html#a90b263fd2f541eca78135078114cabda',1,'SVF']]],
   ['value_5ftype',['value_type',['../classSVF_1_1PointsTo_1_1PointsToIterator.html#ab81cda692bb6ad451276f571a25c0751',1,'SVF::PointsTo::PointsToIterator::value_type()'],['../classSVF_1_1CoreBitVector_1_1CoreBitVectorIterator.html#a6a59f0e97fc9cf278ed22b0a4c109ae1',1,'SVF::CoreBitVector::CoreBitVectorIterator::value_type()']]],
   ['valuetoedgemap',['ValueToEdgeMap',['../classSVF_1_1IRGraph.html#addfc2131699f5ecee3a45d65cda46c24',1,'SVF::IRGraph']]],
@@ -11,8 +11,8 @@ var searchData=
   ['variableattribute',['VariableAttribute',['../classSVF_1_1GrammarBase.html#a716ce662e6a3f2febf3ab378c4217759',1,'SVF::GrammarBase']]],
   ['vartopropnodemap',['VarToPropNodeMap',['../classSVF_1_1VersionedFlowSensitive.html#a9ee5add09f2b446c6c6bcb84da0f75b3',1,'SVF::VersionedFlowSensitive']]],
   ['vartovalmap',['VarToValMap',['../classSVF_1_1ExeState.html#afc4aad166cd39a6cfbd8e9b897104f3f',1,'SVF::ExeState']]],
-  ['vastartinst',['VAStartInst',['../SVF-FE_2BasicTypes_8h.html#a487fbdac6711a95d28683e6644c457ac',1,'BasicTypes.h']]],
-  ['vectortype',['VectorType',['../SVF-FE_2BasicTypes_8h.html#a720813d613d926a5963d6632532105ac',1,'BasicTypes.h']]],
+  ['vastartinst',['VAStartInst',['../namespaceSVF.html#ad92e392a50e7c6c1f635fe2dcebd1adc',1,'SVF']]],
+  ['vectortype',['VectorType',['../namespaceSVF.html#a1eaed46fa67cf1a51e438c5f8f523418',1,'SVF']]],
   ['version',['Version',['../namespaceSVF.html#a9ec7a8dc63411ee3724a25a59191be0c',1,'SVF']]],
   ['versionedkeytoidmap',['VersionedKeyToIDMap',['../classSVF_1_1PersistentVersionedPTData.html#a2ee473a1654b7d134a602268a2b70248',1,'SVF::PersistentVersionedPTData']]],
   ['versionedptdataty',['VersionedPTDataTy',['../classSVF_1_1BVDataPTAImpl.html#a8bc5e039958280b18e5a00a56e0bdc94',1,'SVF::BVDataPTAImpl']]],

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

@@ -1,7 +1,7 @@
 var searchData=
 [
   ['callbase',['CallBase',['../namespaceSVF.html#a1f4624771922dc8c2447ad7433588c73',1,'SVF']]],
-  ['callbrinst',['CallBrInst',['../SVF-FE_2BasicTypes_8h.html#ada7ea2b41c600e036569e18bd0719270',1,'BasicTypes.h']]],
+  ['callbrinst',['CallBrInst',['../namespaceSVF.html#ac6b6710585fc6667858ccfd4311b6ab5',1,'SVF']]],
   ['callchi',['CALLCHI',['../classSVF_1_1SVFG.html#a5f3e0fbf83621cc661d2c59800756727',1,'SVF::SVFG::CALLCHI()'],['../classSVF_1_1MemSSA.html#a56ffeb1f76c73766d06aedd60235c8d9',1,'SVF::MemSSA::CALLCHI()']]],
   ['calledgemap',['CallEdgeMap',['../classSVF_1_1FlowDDA.html#a5a5548577e4a3e225185c4001386fc84',1,'SVF::FlowDDA::CallEdgeMap()'],['../classSVF_1_1PTACallGraph.html#a4948c9e7ff7f1c86d0f27c49e7208aa3',1,'SVF::PTACallGraph::CallEdgeMap()'],['../classSVF_1_1PointerAnalysis.html#a35bd5f0fb2c146199e9f1aa6a19b4062',1,'SVF::PointerAnalysis::CallEdgeMap()'],['../classSVF_1_1SVFGBuilder.html#ae12f803f5ccdb47232043c8c5ae129bf',1,'SVF::SVFGBuilder::CallEdgeMap()'],['../classSVF_1_1MTASVFGBuilder.html#a5bbc071046b2a81bd23ba084d30230e5',1,'SVF::MTASVFGBuilder::CallEdgeMap()']]],
   ['callgraphedgeconstiter',['CallGraphEdgeConstIter',['../classSVF_1_1PTACallGraph.html#a9b7f6979a95244c620fdb791e053237b',1,'SVF::PTACallGraph']]],
@@ -35,7 +35,7 @@ var searchData=
   ['callsitetovtablesetmap',['CallSiteToVTableSetMap',['../classSVF_1_1CHGraph.html#aefdf6c5fe8a26efce200e8225d463cac',1,'SVF::CHGraph']]],
   ['callstrcxt',['CallStrCxt',['../namespaceSVF.html#ab700523619b089b952498f39a7f5b6b1',1,'SVF']]],
   ['calltoinstmap',['CallToInstMap',['../classSVF_1_1ThreadCallGraph.html#a8c6eef5a291bd0c65cc2f816767795f1',1,'SVF::ThreadCallGraph']]],
-  ['castinst',['CastInst',['../SVF-FE_2BasicTypes_8h.html#a20b13f90796ee748f58e6c5faa7c63da',1,'BasicTypes.h']]],
+  ['castinst',['CastInst',['../namespaceSVF.html#a962e9a9044a46fc4bd2367384f6e0827',1,'SVF']]],
   ['cfledgeset',['CFLEdgeSet',['../classSVF_1_1CFLGraph.html#a09ba3a0e3878f8ac55596838ea958f14',1,'SVF::CFLGraph']]],
   ['cflsrcsnksolver',['CFLSrcSnkSolver',['../namespaceSVF.html#a6bdd04381cb268e6c957a5cc528ebf67',1,'SVF']]],
   ['cfworklist',['CFWorkList',['../classSVF_1_1ProgSlice.html#ab13cc8f64fed5f06b11f7ca67cbc0dc5',1,'SVF::ProgSlice::CFWorkList()'],['../classSVF_1_1SaberCondAllocator.html#a52ec71159bc70b450895990dfebdedac',1,'SVF::SaberCondAllocator::CFWorkList()']]],
@@ -52,7 +52,7 @@ var searchData=
   ['cjson',['cJSON',['../cJSON_8h.html#a417c667b0692c463cf3c6c435f1d5978',1,'cJSON.h']]],
   ['cjson_5fbool',['cJSON_bool',['../cJSON_8h.html#aea0a1491f73d98b7cc4b8b791c408a4a',1,'cJSON.h']]],
   ['cjson_5fhooks',['cJSON_Hooks',['../cJSON_8h.html#a4c24043be07442b38adc0ef79fcfb3f8',1,'cJSON.h']]],
-  ['cmpinst',['CmpInst',['../SVF-FE_2BasicTypes_8h.html#a02550b1e1110f4cfca868603ce243564',1,'BasicTypes.h']]],
+  ['cmpinst',['CmpInst',['../namespaceSVF.html#a5d875a9d726bb9f68a17efa528dec0b4',1,'SVF']]],
   ['condition',['Condition',['../classSVF_1_1MemRegion.html#a7ed54700c976f9738012bc051b7f41f5',1,'SVF::MemRegion::Condition()'],['../classSVF_1_1MemSSA.html#ac0c8f70b6283e26e70dafe02fcb5180a',1,'SVF::MemSSA::Condition()'],['../classSVF_1_1ProgSlice.html#aadf1128c0006981dff0d64dd1201e0c7',1,'SVF::ProgSlice::Condition()'],['../classSVF_1_1SaberCondAllocator.html#ab4eba98cf7306c89e40975c766d5bf65',1,'SVF::SaberCondAllocator::Condition()']]],
   ['condposmap',['CondPosMap',['../classSVF_1_1SaberCondAllocator.html#aa330cc6a1a3c38601ebeb325ffd87221',1,'SVF::SaberCondAllocator']]],
   ['condpts',['CondPts',['../classSVF_1_1CondPointsToSet.html#aaddc3f78a624de59dda6f078ba63ba52',1,'SVF::CondPointsToSet']]],
@@ -60,20 +60,20 @@ var searchData=
   ['condptsiter',['CondPtsIter',['../classSVF_1_1CondPointsToSet.html#ad9e4dea4b65d5f4a903a3cf89a421077',1,'SVF::CondPointsToSet']]],
   ['const_5falias_5fiterator',['const_alias_iterator',['../classSVF_1_1SVFModule.html#a600d5cf02c750f78b461fcabc3e29f7f',1,'SVF::SVFModule']]],
   ['const_5fglobal_5fiterator',['const_global_iterator',['../classSVF_1_1SVFModule.html#a5d4f73db8fb5bddb0e7630eda8c6da57',1,'SVF::SVFModule']]],
-  ['const_5finst_5fiterator',['const_inst_iterator',['../SVF-FE_2BasicTypes_8h.html#a9a4df49ba7ca3ad32d65e5ecf2dad707',1,'BasicTypes.h']]],
+  ['const_5finst_5fiterator',['const_inst_iterator',['../namespaceSVF.html#a032e8478a7b6a8bb0b7755c98a7bce91',1,'SVF']]],
   ['const_5fiterator',['const_iterator',['../classSVF_1_1ConstraintNode.html#ab1868f04de44f6fe1e9ac14f3d4ee56b',1,'SVF::ConstraintNode::const_iterator()'],['../classSVF_1_1GenericNode.html#ab6dc1ae41ae23b383f8add474caa7429',1,'SVF::GenericNode::const_iterator()'],['../classSVF_1_1GenericGraph.html#a5dfa3f178d4abf37177d0d74ff4c6a97',1,'SVF::GenericGraph::const_iterator()'],['../classSVF_1_1ICFG.html#a94e4de04d8da10a19ab65c22e257b82b',1,'SVF::ICFG::const_iterator()'],['../classSVF_1_1ICFGNode.html#ac16c5a3227a44d3b9f7c3209156d9df2',1,'SVF::ICFGNode::const_iterator()'],['../classSVF_1_1PTACallGraphNode.html#adf17f5699c9f40ffc8837e813e3af3ec',1,'SVF::PTACallGraphNode::const_iterator()'],['../classSVF_1_1VFG.html#a225a91c04afac6a8fe198e9860890a52',1,'SVF::VFG::const_iterator()'],['../classSVF_1_1VFGNode.html#a3c558955f60c237c558d8faafed781e8',1,'SVF::VFGNode::const_iterator()'],['../classSVF_1_1CondStdSet.html#a55152b7749868cc25f1c3c33ea57a650',1,'SVF::CondStdSet::const_iterator()'],['../classSVF_1_1PointsTo.html#ad37fe6c7bb8b509a837348a12cab80c1',1,'SVF::PointsTo::const_iterator()'],['../classSVF_1_1CoreBitVector.html#a45a3bf8465e63f723c0a551f0b0f37ff',1,'SVF::CoreBitVector::const_iterator()'],['../classSVF_1_1ContextCond.html#a101bc917679a9d8ee7badb3c9e8c12e3',1,'SVF::ContextCond::const_iterator()'],['../classSVF_1_1SVFModule.html#afcf2978f32e15127fb093405dc17d7f1',1,'SVF::SVFModule::const_iterator()']]],
-  ['const_5fpred_5fiterator',['const_pred_iterator',['../SVF-FE_2BasicTypes_8h.html#a45136b941670180e9ba248bb4e52f09f',1,'BasicTypes.h']]],
-  ['constant',['Constant',['../SVF-FE_2BasicTypes_8h.html#aaca93e4092f0f73619d730f18b9e65de',1,'BasicTypes.h']]],
-  ['constantaggregate',['ConstantAggregate',['../SVF-FE_2BasicTypes_8h.html#a586975ac48ba33219a901c5d9453da2c',1,'BasicTypes.h']]],
-  ['constantaggregatezero',['ConstantAggregateZero',['../SVF-FE_2BasicTypes_8h.html#ae4ed20ab05ea5735549d1ef4367735cd',1,'BasicTypes.h']]],
-  ['constantarray',['ConstantArray',['../SVF-FE_2BasicTypes_8h.html#a9707880a0f9b41d3375e2feb7bc5ebc5',1,'BasicTypes.h']]],
-  ['constantdata',['ConstantData',['../SVF-FE_2BasicTypes_8h.html#aca8fd472027d8636b36713a7494c88d6',1,'BasicTypes.h']]],
-  ['constantdataarray',['ConstantDataArray',['../SVF-FE_2BasicTypes_8h.html#a7d8006ceeea7c796af22da70c5cb93a0',1,'BasicTypes.h']]],
-  ['constantdatasequential',['ConstantDataSequential',['../SVF-FE_2BasicTypes_8h.html#a66b2dbc1be121511c3b5b264f94558d3',1,'BasicTypes.h']]],
-  ['constantexpr',['ConstantExpr',['../SVF-FE_2BasicTypes_8h.html#a60115de303225d173fb935cf7619a2cb',1,'BasicTypes.h']]],
+  ['const_5fpred_5fiterator',['const_pred_iterator',['../namespaceSVF.html#a5c943191dc4e242704943e5f594ae99e',1,'SVF']]],
+  ['constant',['Constant',['../namespaceSVF.html#a7e230c0cba2e3a7c2e5a5f2ee7d88af9',1,'SVF']]],
+  ['constantaggregate',['ConstantAggregate',['../namespaceSVF.html#a7cbe1c6567039e72958fd70e423d3597',1,'SVF']]],
+  ['constantaggregatezero',['ConstantAggregateZero',['../namespaceSVF.html#a8b30cfb9315dda33907175da4db63a07',1,'SVF']]],
+  ['constantarray',['ConstantArray',['../namespaceSVF.html#a5ae718cba37d8e34d2946530dc098c8e',1,'SVF']]],
+  ['constantdata',['ConstantData',['../namespaceSVF.html#a7332f8059ea95472dcc231de884a5768',1,'SVF']]],
+  ['constantdataarray',['ConstantDataArray',['../namespaceSVF.html#ad9ebd847ed5d901cd30b1cfcdaec3462',1,'SVF']]],
+  ['constantdatasequential',['ConstantDataSequential',['../namespaceSVF.html#a8ad3aa124fabddc2fdd07c50403d70a9',1,'SVF']]],
+  ['constantexpr',['ConstantExpr',['../namespaceSVF.html#a911dbaab38cb42deb9c195c7f687853d',1,'SVF']]],
   ['constantint',['ConstantInt',['../namespaceSVF.html#adefcb50414ea999d70cea5ccdbcb98d7',1,'SVF']]],
   ['constantpointernull',['ConstantPointerNull',['../namespaceSVF.html#a90f6c91ba7a3c31c84b5c25277d83fca',1,'SVF']]],
-  ['constantstruct',['ConstantStruct',['../SVF-FE_2BasicTypes_8h.html#a39fea8c436d96d2b5a74f5e02cc5d952',1,'BasicTypes.h']]],
+  ['constantstruct',['ConstantStruct',['../namespaceSVF.html#a2b28f48dde0a9a91d251e654ce1f9477',1,'SVF']]],
   ['constraintedgesetty',['ConstraintEdgeSetTy',['../classSVF_1_1ConstraintEdge.html#ad155e1ed2473cc4f5f57128d282ac541',1,'SVF::ConstraintEdge']]],
   ['constraintnodeidtonodemapty',['ConstraintNodeIDToNodeMapTy',['../classSVF_1_1ConstraintGraph.html#af2dcf9fd0bc3d353c8582849cdabdf54',1,'SVF::ConstraintGraph']]],
   ['constraintnodeiter',['ConstraintNodeIter',['../classSVF_1_1ConstraintGraph.html#a15bc278f76cdfcf38e623cedbc80d025',1,'SVF::ConstraintGraph']]],