svf-tools 1.0.528 → 1.0.531

package/SVF-doxygen/html/html/namespacemembers_type_b.html

@@ -70,6 +70,9 @@ $(function() {
 <li>BitCastInst
 : <a class="el" href="namespaceSVF.html#afc50da46a6ea7c2cf61683bbec4d7c8d">SVF</a>
 </li>
+<li>BlockAddress
+: <a class="el" href="namespaceSVF.html#a956458a8554bf734db1194f320fd4b4c">SVF</a>
+</li>
 <li>BranchInst
 : <a class="el" href="namespaceSVF.html#ac9a05dd7ab16e998625037aa242cd30f">SVF</a>
 </li>

package/SVF-doxygen/html/html/namespacemembers_type_c.html

@@ -74,13 +74,13 @@ $(function() {
 : <a class="el" href="namespaceSVF.html#a03d88a0302bcd253387690f13f693f64">SVF</a>
 </li>
 <li>CallStrCxt
-: <a class="el" href="namespaceSVF.html#a542c6d5483bfc74fa58b45ad06b65960">SVF</a>
+: <a class="el" href="namespaceSVF.html#ab700523619b089b952498f39a7f5b6b1">SVF</a>
 </li>
 <li>CastInst
 : <a class="el" href="namespaceSVF.html#a962e9a9044a46fc4bd2367384f6e0827">SVF</a>
 </li>
 <li>CFLSrcSnkSolver
-: <a class="el" href="namespaceSVF.html#a6144ebf5a46ac5e8899044864caf92ba">SVF</a>
+: <a class="el" href="namespaceSVF.html#a6bdd04381cb268e6c957a5cc528ebf67">SVF</a>
 </li>
 <li>CGSCC
 : <a class="el" href="namespaceSVF.html#a1f730acb8da8187da732631ca6bbff01">SVF</a>
@@ -97,6 +97,12 @@ $(function() {
 <li>Constant
 : <a class="el" href="namespaceSVF.html#a7e230c0cba2e3a7c2e5a5f2ee7d88af9">SVF</a>
 </li>
+<li>ConstantAggregate
+: <a class="el" href="namespaceSVF.html#a7cbe1c6567039e72958fd70e423d3597">SVF</a>
+</li>
+<li>ConstantAggregateZero
+: <a class="el" href="namespaceSVF.html#a8b30cfb9315dda33907175da4db63a07">SVF</a>
+</li>
 <li>ConstantArray
 : <a class="el" href="namespaceSVF.html#a5ae718cba37d8e34d2946530dc098c8e">SVF</a>
 </li>
@@ -112,9 +118,6 @@ $(function() {
 <li>ConstantExpr
 : <a class="el" href="namespaceSVF.html#a911dbaab38cb42deb9c195c7f687853d">SVF</a>
 </li>
-<li>ConstantFP
-: <a class="el" href="namespaceSVF.html#ad49e4222ba46d9490b87a80df8b46800">SVF</a>
-</li>
 <li>ConstantInt
 : <a class="el" href="namespaceSVF.html#adefcb50414ea999d70cea5ccdbcb98d7">SVF</a>
 </li>
@@ -124,9 +127,6 @@ $(function() {
 <li>ConstantStruct
 : <a class="el" href="namespaceSVF.html#a2b28f48dde0a9a91d251e654ce1f9477">SVF</a>
 </li>
-<li>ConstantTokenNone
-: <a class="el" href="namespaceSVF.html#aae40550b2952fd0e4483f3ee94e89820">SVF</a>
-</li>
 <li>CopySVFGNode
 : <a class="el" href="namespaceSVF.html#ab98f7c9e6311e649cdfd5d2f3f8e59be">SVF</a>
 </li>

package/SVF-doxygen/html/html/namespacemembers_type_e.html

@@ -76,6 +76,12 @@ $(function() {
 <li>equalPointsTo
 : <a class="el" href="namespaceSVF_1_1SVFUtil.html#a68302f07b13f6e1f39aace5699762c41">SVF::SVFUtil</a>
 </li>
+<li>ExtractElementInst
+: <a class="el" href="namespaceSVF.html#afb88c4d723dd7c51bdfc7ba5893cb356">SVF</a>
+</li>
+<li>ExtractValueInst
+: <a class="el" href="namespaceSVF.html#ace1fd4c32134018e2f6d5da193524986">SVF</a>
+</li>
 </ul>
 </div><!-- contents -->
 <!-- start footer part -->

package/SVF-doxygen/html/html/namespacemembers_type_g.html

@@ -70,6 +70,15 @@ $(function() {
 <li>GenericCallGraphTy
 : <a class="el" href="namespaceSVF.html#ab6fe492db79077a60254f8a03cfce180">SVF</a>
 </li>
+<li>GenericCFLEdgeTy
+: <a class="el" href="namespaceSVF.html#a19ab125d26c5d9c533bc1c3904ac92d9">SVF</a>
+</li>
+<li>GenericCFLGraphTy
+: <a class="el" href="namespaceSVF.html#a6b1d99f1ec47347364981e23a9d21e0a">SVF</a>
+</li>
+<li>GenericCFLNodeTy
+: <a class="el" href="namespaceSVF.html#a1c5f28b91c7c1eeec6ae459b573b2889">SVF</a>
+</li>
 <li>GenericCHEdgeTy
 : <a class="el" href="namespaceSVF.html#a7cb629496a70d2dd22634405652e573a">SVF</a>
 </li>

package/SVF-doxygen/html/html/namespacemembers_type_l.html

@@ -82,9 +82,6 @@ $(function() {
 <li>LoopInfo
 : <a class="el" href="namespaceSVF.html#a77e088bfe47c0b0ddcbbe0693dec6fe5">SVF</a>
 </li>
-<li>LoopInfoWrapperPass
-: <a class="el" href="namespaceSVF.html#a023d6e6043174fffaf29d75b38877ed0">SVF</a>
-</li>
 </ul>
 </div><!-- contents -->
 <!-- start footer part -->

package/SVF-doxygen/html/html/namespacemembers_type_m.html

@@ -73,6 +73,9 @@ $(function() {
 <li>MemoryLocation
 : <a class="el" href="namespaceSVF.html#a339bbddac9d9dffd5ef602200d34c403">SVF</a>
 </li>
+<li>MetadataAsValue
+: <a class="el" href="namespaceSVF.html#a773900ea3c75022657aac1abf59fa51b">SVF</a>
+</li>
 <li>Module
 : <a class="el" href="namespaceSVF.html#aa7a770b5dd5cd0e37d06a1088f252906">SVF</a>
 </li>

package/SVF-doxygen/html/html/namespacemembers_type_n.html

@@ -65,7 +65,7 @@ $(function() {
 : <a class="el" href="namespaceSVF.html#a3011dbac9102f044ad5f36a4ad3d4a71">SVF</a>
 </li>
 <li>NodeBS
-: <a class="el" href="namespaceSVF.html#a740396763e377643790c8b803ab3e4ea">SVF</a>
+: <a class="el" href="namespaceSVF.html#aa7b6a13e52671de8524b130738aeb564">SVF</a>
 </li>
 <li>NodeDeque
 : <a class="el" href="namespaceSVF.html#a35068c3650567d5051416db4aeb48e74">SVF</a>

package/SVF-doxygen/html/html/namespacemembers_type_p.html

@@ -88,12 +88,6 @@ $(function() {
 <li>PostDominatorTree
 : <a class="el" href="namespaceSVF.html#ab34383ee87cd45eb485fa29db482ffef">SVF</a>
 </li>
-<li>PostDominatorTreeWrapperPass
-: <a class="el" href="namespaceSVF.html#a7f570d09953aa4ec60fd1d5f7f71b521">SVF</a>
-</li>
-<li>PtrToIntInst
-: <a class="el" href="namespaceSVF.html#a3d5581c375ee3fe856327dc648c379f0">SVF</a>
-</li>
 </ul>
 </div><!-- contents -->
 <!-- start footer part -->

package/SVF-doxygen/html/html/namespacemembers_type_s.html

@@ -92,19 +92,10 @@ $(function() {
 : <a class="el" href="namespaceSVF.html#a64e69f438b8c302c4cae27735319fa49">SVF</a>
 </li>
 <li>SmallBBVector
-: <a class="el" href="namespaceSVF.html#ad09d8882474ef59b50d1c6a6d3ba0b59">SVF</a>
+: <a class="el" href="namespaceSVF.html#a02be4933b76c2baa7fdbe8b290e12bb3">SVF</a>
 </li>
-<li>SmallVector
-: <a class="el" href="namespaceSVF.html#aa408bbe668ca1208beceae0f842079b4">SVF</a>
-</li>
-<li>SmallVector16
-: <a class="el" href="namespaceSVF.html#a9893c2871f3e879e8e50c2ed157bc615">SVF</a>
-</li>
-<li>SmallVector8
-: <a class="el" href="namespaceSVF.html#a5b2b380d8e5b1c790157dc4799d3f403">SVF</a>
-</li>
-<li>SparseBitVector
-: <a class="el" href="namespaceSVF.html#ab6cf2115b54ef7135b031efc2f112b54">SVF</a>
+<li>SMDiagnostic
+: <a class="el" href="namespaceSVF.html#a86863d104a3930b3a806935d92ddbf30">SVF</a>
 </li>
 <li>StmtSVFGNode
 : <a class="el" href="namespaceSVF.html#a26bd4f89dc154b9c6d34b6a517777934">SVF</a>
@@ -115,12 +106,6 @@ $(function() {
 <li>StoreSVFGNode
 : <a class="el" href="namespaceSVF.html#a54c5725186e66ead6faf53c10a288714">SVF</a>
 </li>
-<li>StringMap
-: <a class="el" href="namespaceSVF.html#ad5ce5ddecac033fe5309cb929d8dea3a">SVF</a>
-</li>
-<li>StringRef
-: <a class="el" href="namespaceSVF.html#a88fd7387fcf16caf70abe265cdcf90b9">SVF</a>
-</li>
 <li>StructLayout
 : <a class="el" href="namespaceSVF.html#a52c8654c221bb53a59f70ea3cb1e5c45">SVF</a>
 </li>

package/SVF-doxygen/html/html/namespacemembers_type_t.html

@@ -64,9 +64,6 @@ $(function() {
 <li>ThreadID
 : <a class="el" href="namespaceSVF.html#a10cddb090690c82a2aab31a480253d35">SVF</a>
 </li>
-<li>ToolOutputFile
-: <a class="el" href="namespaceSVF.html#acde6a1d496f1b655088ccbe023820277">SVF</a>
-</li>
 <li>Type
 : <a class="el" href="namespaceSVF.html#a1d008c0666c145622b81d427be64c52d">SVF</a>
 </li>

package/SVF-doxygen/html/html/namespacemembers_type_v.html

@@ -91,12 +91,6 @@ $(function() {
 <li>VersionSet
 : <a class="el" href="namespaceSVF.html#a046466b2ed3618072fee227b569da6eb">SVF</a>
 </li>
-<li>VFPathPtSet
-: <a class="el" href="namespaceSVF.html#ab2dd5e7169f19030e124d09284ee50c1">SVF</a>
-</li>
-<li>VFPathVar
-: <a class="el" href="namespaceSVF.html#a4a4d1c207659cdb9efbcfd7a7af6d9cd">SVF</a>
-</li>
 <li>VFunSet
 : <a class="el" href="namespaceSVF.html#ad2b487757f1e1a1d81073120fc1d49c7">SVF</a>
 </li>

package/SVF-doxygen/html/html/namespacemembers_u.html

@@ -67,6 +67,21 @@ $(function() {
 <li>u64_t
 : <a class="el" href="namespaceSVF.html#a366625858f450a1ea5f985a3c83e0f14">SVF</a>
 </li>
+<li>UnaryOperator
+: <a class="el" href="namespaceSVF.html#a292a6e8c5b4f2023b5575879c57eca62">SVF</a>
+</li>
+<li>UndefValue
+: <a class="el" href="namespaceSVF.html#af4912ad47e19060e53b665f73e0ee6ec">SVF</a>
+</li>
+<li>UnifyFunctionExitNodes
+: <a class="el" href="namespaceSVF.html#ae5853f7df76735b195ff93949ca4256b">SVF</a>
+</li>
+<li>UnreachableInst
+: <a class="el" href="namespaceSVF.html#a8ac6a8ff90f47a93166fbdf15be2d721">SVF</a>
+</li>
+<li>Use
+: <a class="el" href="namespaceSVF.html#a334998718813a19a7697daf4ba282faf">SVF</a>
+</li>
 <li>User
 : <a class="el" href="namespaceSVF.html#afc1b50355821e7299df03b026e36f1df">SVF</a>
 </li>

package/SVF-doxygen/html/html/namespacemembers_v.html

@@ -61,15 +61,30 @@ $(function() {
 <div class="textblock">Here is a list of all namespace members with links to the namespace documentation for each member:</div>
 
 <h3><a id="index_v"></a>- v -</h3><ul>
+<li>VAArgInst
+: <a class="el" href="namespaceSVF.html#abcafc32093ff5ee038b5fcf6e4076ed4">SVF</a>
+</li>
+<li>VACopyInst
+: <a class="el" href="namespaceSVF.html#a0f3339f5241441c7e6023df9e0cfa295">SVF</a>
+</li>
+<li>VAEndInst
+: <a class="el" href="namespaceSVF.html#adb305e32f35af19b870b07711ba5b913">SVF</a>
+</li>
 <li>Value
 : <a class="el" href="namespaceSVF.html#a90b263fd2f541eca78135078114cabda">SVF</a>
 </li>
 <li>value2String()
 : <a class="el" href="namespaceSVF_1_1SVFUtil.html#a7486fd8e5350879ed1cbd835c0d4e191">SVF::SVFUtil</a>
 </li>
+<li>VAStartInst
+: <a class="el" href="namespaceSVF.html#ad92e392a50e7c6c1f635fe2dcebd1adc">SVF</a>
+</li>
 <li>VCallInCtorOrDtor()
 : <a class="el" href="namespaceSVF_1_1cppUtil.html#abcba23ffa41fe5b456289e528d1b4c4e">SVF::cppUtil</a>
 </li>
+<li>VectorType
+: <a class="el" href="namespaceSVF.html#a1eaed46fa67cf1a51e438c5f8f523418">SVF</a>
+</li>
 <li>Version
 : <a class="el" href="namespaceSVF.html#a9ec7a8dc63411ee3724a25a59191be0c">SVF</a>
 </li>

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

@@ -326,7 +326,7 @@ var searchData=
   ['aliastestpartialalias',['aliasTestPartialAlias',['../classSVF_1_1PointerAnalysis.html#a83b0a51d88fa7aadff6e9267765d07a5',1,'SVF::PointerAnalysis']]],
   ['aliastestpartialaliasmangled',['aliasTestPartialAliasMangled',['../classSVF_1_1PointerAnalysis.html#acbb517523fd30708ed1a93f306cd3545',1,'SVF::PointerAnalysis']]],
   ['allglobals',['allGlobals',['../classSVF_1_1MRGenerator.html#af46b82e45aa1ecdfb397325971206541',1,'SVF::MRGenerator']]],
-  ['allocainst',['AllocaInst',['../SVF-FE_2BasicTypes_8h.html#a5e06fe1b4b25113ac322dbeda71055dc',1,'BasicTypes.h']]],
+  ['allocainst',['AllocaInst',['../namespaceSVF.html#a3bacb4f95c73e6d794901d01c6b65a83',1,'SVF']]],
   ['allocate',['allocate',['../classSVF_1_1SaberCondAllocator.html#a0014c59d7f3c7bd0845548aea05a9a5b',1,'SVF::SaberCondAllocator::allocate()'],['../structinternal__hooks.html#a872a0c28217b451331d24b8e0484b293',1,'internal_hooks::allocate()']]],
   ['allocateforbb',['allocateForBB',['../classSVF_1_1SaberCondAllocator.html#a6e1f93e7f0a5f9f78aa199982b698f9f',1,'SVF::SaberCondAllocator']]],
   ['allocategepobjectid',['allocateGepObjectId',['../classSVF_1_1NodeIDAllocator.html#abaff066537f06c4891c199ebfc9624e3',1,'SVF::NodeIDAllocator']]],
@@ -403,8 +403,8 @@ var searchData=
   ['assignstmt',['AssignStmt',['../classSVF_1_1AssignStmt.html',1,'SVF::AssignStmt'],['../classSVF_1_1AssignStmt.html#abc65520cc2b9608c97374829eb475c57',1,'SVF::AssignStmt::AssignStmt()'],['../classSVF_1_1AssignStmt.html#a41bf9092cbdfccb9724bd58e10aa51a6',1,'SVF::AssignStmt::AssignStmt(const AssignStmt &)'],['../classSVF_1_1AssignStmt.html#aff4c35109790daed3c6170c985153620',1,'SVF::AssignStmt::AssignStmt(SVFVar *s, SVFVar *d, GEdgeFlag k)']]],
   ['atend',['AtEnd',['../classSVF_1_1SparseBitVector_1_1SparseBitVectorIterator.html#aa28c3c88d66d8bc3dbf96e2f4bd84fab',1,'SVF::SparseBitVector::SparseBitVectorIterator::AtEnd()'],['../classSVF_1_1CondPointsToSet_1_1CondPtsSetIterator.html#ad22614f30570619802e23715d1d5eaf0',1,'SVF::CondPointsToSet::CondPtsSetIterator::atEnd()'],['../classSVF_1_1PointsTo_1_1PointsToIterator.html#a049cecdc3aa76a31eacdbe48f6a820e7',1,'SVF::PointsTo::PointsToIterator::atEnd()'],['../classSVF_1_1CoreBitVector_1_1CoreBitVectorIterator.html#ad3af46dcfb0e2846587eb5a71f38161f',1,'SVF::CoreBitVector::CoreBitVectorIterator::atEnd()']]],
   ['atkey',['atKey',['../classSVF_1_1VersionedFlowSensitive.html#a59f3dd74ed8c3e2fc48b9353ba2452aa',1,'SVF::VersionedFlowSensitive']]],
-  ['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']]],
   ['atptdata',['atPTData',['../classSVF_1_1MutableVersionedPTData.html#a3e5337d4189e98f11305491a9ef3c439',1,'SVF::MutableVersionedPTData::atPTData()'],['../classSVF_1_1PersistentVersionedPTData.html#a61b44f6d63cca013da2b278f47298473',1,'SVF::PersistentVersionedPTData::atPTData()']]],
   ['attribute',['Attribute',['../classSVF_1_1GrammarBase.html#ab070e5449d26e347b957d8b994d0303f',1,'SVF::GrammarBase::Attribute()'],['../structSVF_1_1GrammarBase_1_1Symbol.html#a756bed7c50c6d3251cc4832247c8691d',1,'SVF::GrammarBase::Symbol::attribute()']]],
   ['attributedkindmaskbits',['AttributedKindMaskBits',['../classSVF_1_1GrammarBase.html#a2dcb7647b5be7b3ab1dad2c494828854',1,'SVF::GrammarBase']]],

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

@@ -111,7 +111,7 @@ var searchData=
   ['persversioned',['PersVersioned',['../classSVF_1_1PTData.html#a74ce29609c51f2be34a0b5b7650a9848a15e53fc2443dac125c703ccd7eef1a03',1,'SVF::PTData']]],
   ['persversionedptdataty',['PersVersionedPTDataTy',['../classSVF_1_1BVDataPTAImpl.html#ae028ae29bdc799f35777b82a39faf5e8',1,'SVF::BVDataPTAImpl']]],
   ['phi',['PHI',['../classSVF_1_1MemSSA.html#a8e948ea7778158107657fdd8195530e1',1,'SVF::MemSSA::PHI()'],['../classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a6b3cd98eeb47c8475e7ee64480dcdee9',1,'SVF::SVFStmt::Phi()']]],
-  ['phinode',['PHINode',['../SVF-FE_2BasicTypes_8h.html#a65732ea63bff4b444b225629ee7cf252',1,'BasicTypes.h']]],
+  ['phinode',['PHINode',['../namespaceSVF.html#ac8d4990439af7a2ecca7e15383119674',1,'SVF']]],
   ['phinodemap',['phiNodeMap',['../classSVF_1_1SVFIR.html#a41abf665421dbfaef508b1eba0c91fb9',1,'SVF::SVFIR::phiNodeMap()'],['../classSVF_1_1SVFIR.html#a08a05dfa6b9734936bb92b3969dbce3b',1,'SVF::SVFIR::PHINodeMap()']]],
   ['phiset',['PHISet',['../classSVF_1_1SVFG.html#aef7ee9d802934d51b3761663bdaf0c05',1,'SVF::SVFG::PHISet()'],['../classSVF_1_1MemSSA.html#a8a5d3597f3dba9744e170cc8c32bf25f',1,'SVF::MemSSA::PHISet()']]],
   ['phistmt',['PhiStmt',['../classSVF_1_1PhiStmt.html',1,'SVF::PhiStmt'],['../classSVF_1_1PhiStmt.html#a74e4c9a108d70aff8acaf3f32a16335f',1,'SVF::PhiStmt::PhiStmt()'],['../classSVF_1_1PhiStmt.html#a7ac7cc8a4fd0c692b45df02fc5166b3b',1,'SVF::PhiStmt::PhiStmt(const PhiStmt &)'],['../classSVF_1_1PhiStmt.html#ac2374acf4477a4bc5d188797ea9baaf3',1,'SVF::PhiStmt::PhiStmt(SVFVar *s, const OPVars &opnds, const OpICFGNodeVec &icfgNodes)']]],

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

@@ -125,7 +125,7 @@ var searchData=
   ['resolvefunptr',['resolveFunPtr',['../classSVF_1_1DDAVFSolver.html#afcc074be34dd0c45418ff16b3d9d4192',1,'SVF::DDAVFSolver']]],
   ['resolveindcalls',['resolveIndCalls',['../classSVF_1_1PointerAnalysis.html#a8d128246f86f28fdf4981d91169ab440',1,'SVF::PointerAnalysis']]],
   ['resulttype',['ResultType',['../structSVF_1_1SVFUtil_1_1cast__retty__impl_3_01To_00_01std_1_1unique__ptr_3_01From_01_4_01_4.html#a052f7cd3a81e368060f132bf0268fa68',1,'SVF::SVFUtil::cast_retty_impl< To, std::unique_ptr< From > >']]],
-  ['resumeinst',['ResumeInst',['../SVF-FE_2BasicTypes_8h.html#a3fd88a8942ad6c871c63a90b780afbd0',1,'BasicTypes.h']]],
+  ['resumeinst',['ResumeInst',['../namespaceSVF.html#a8c685f6bff3a67bf7fe3557dbfa84caa',1,'SVF']]],
   ['resver',['resVer',['../classSVF_1_1MSSADEF.html#a72560a998968ae2dbc6e5aa8a7e9f813',1,'SVF::MSSADEF']]],
   ['ret',['Ret',['../classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a8d269a45adf13e69468f0357222ab2af',1,'SVF::SVFStmt::Ret()'],['../classSVF_1_1CallICFGNode.html#a6c27c0d796b3d4becdebeba93f4fc785',1,'SVF::CallICFGNode::ret()']]],
   ['ret_5ftype',['ret_type',['../structSVF_1_1SVFUtil_1_1cast__retty__impl.html#a5f8f6d651931eba7e0fa14c26a691a04',1,'SVF::SVFUtil::cast_retty_impl::ret_type()'],['../structSVF_1_1SVFUtil_1_1cast__retty__impl_3_01To_00_01const_01From_01_4.html#ad0bc349135b60cc51fd040b615a979f7',1,'SVF::SVFUtil::cast_retty_impl< To, const From >::ret_type()'],['../structSVF_1_1SVFUtil_1_1cast__retty__impl_3_01To_00_01From_01_5_01_4.html#a86c02dc15b65d0c052ea4447b3fb6333',1,'SVF::SVFUtil::cast_retty_impl< To, From * >::ret_type()'],['../structSVF_1_1SVFUtil_1_1cast__retty__impl_3_01To_00_01const_01From_01_5_01_4.html#a98a60de95a331a34dcbad6da9961a9b7',1,'SVF::SVFUtil::cast_retty_impl< To, const From * >::ret_type()'],['../structSVF_1_1SVFUtil_1_1cast__retty__impl_3_01To_00_01const_01From_01_5const_01_4.html#add8668ca96bbf0808c146cc81c62267c',1,'SVF::SVFUtil::cast_retty_impl< To, const From *const >::ret_type()'],['../structSVF_1_1SVFUtil_1_1cast__retty__impl_3_01To_00_01std_1_1unique__ptr_3_01From_01_4_01_4.html#a3bf80190e39c339d4e3ec703789ae845',1,'SVF::SVFUtil::cast_retty_impl< To, std::unique_ptr< From > >::ret_type()'],['../structSVF_1_1SVFUtil_1_1cast__retty__wrap.html#af3d80ab43e47626f32c91a6c4454e82e',1,'SVF::SVFUtil::cast_retty_wrap::ret_type()'],['../structSVF_1_1SVFUtil_1_1cast__retty__wrap_3_01To_00_01FromTy_00_01FromTy_01_4.html#ad989c130f2b6cd5a0f1ba0c7abd62b9a',1,'SVF::SVFUtil::cast_retty_wrap< To, FromTy, FromTy >::ret_type()'],['../structSVF_1_1SVFUtil_1_1cast__retty.html#aea91708cabb8176b031f1c1fdb89a15b',1,'SVF::SVFUtil::cast_retty::ret_type()']]],
@@ -154,7 +154,7 @@ var searchData=
   ['rettype',['RetType',['../structSVF_1_1SVFUtil_1_1simplify__type_3_01const_01From_01_4.html#ae6f5437cb8355759aadc78fca716bc6a',1,'SVF::SVFUtil::simplify_type< const From >']]],
   ['return',['return',['../cJSON_8cpp.html#a15f779a174654a93596726f6eb6b57fe',1,'cJSON.cpp']]],
   ['return_5fparse_5fend',['return_parse_end',['../cJSON_8h.html#a7725ae4fa33fc499614c6895ee9ee44a',1,'return_parse_end(): cJSON.h'],['../cJSON_8cpp.html#a1a7c63ae727dcb98b54e081b2ff17ed9',1,'return_parse_end(): cJSON.cpp']]],
-  ['returninst',['ReturnInst',['../SVF-FE_2BasicTypes_8h.html#af386dbc3b9c4325443a15b07038e8386',1,'BasicTypes.h']]],
+  ['returninst',['ReturnInst',['../namespaceSVF.html#ac7dcc6103dee3a0bbc2fd2e02716a154',1,'SVF']]],
   ['returnsymmap',['returnSymMap',['../classSVF_1_1SymbolTableInfo.html#ae6f8a4dbe09ff4756983ffdbed6d0681',1,'SVF::SymbolTableInfo']]],
   ['rev',['rev',['../classSVF_1_1PTData.html#a46fa3ec6462f3dda19549340281bb219',1,'SVF::PTData']]],
   ['reverse_5fdense',['REVERSE_DENSE',['../classSVF_1_1NodeIDAllocator.html#a8cf553cd07768aad3f3b91bf3d7c6228ae21bc1064d05499c2dc6051d153df9e6',1,'SVF::NodeIDAllocator']]],

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

@@ -30,8 +30,8 @@ var searchData=
   ['sbv',['SBV',['../classSVF_1_1PointsTo.html#a8f757f92ebf0a2ebdb5e6b001606923eacccb6e19f3e8db5f5b5b8858b22da61a',1,'SVF::PointsTo::SBV()'],['../classSVF_1_1PointsTo.html#aecd6b98c0687de59aebb297ec38a7084',1,'SVF::PointsTo::sbv()']]],
   ['sbvit',['sbvIt',['../classSVF_1_1PointsTo_1_1PointsToIterator.html#a735a2a9f0c3f4bc3997edf11b133c0f9',1,'SVF::PointsTo::PointsToIterator']]],
   ['scalar',['SCALAR',['../classSVF_1_1DCHNode.html#a029988e54846db9aca2584e1c10283e3ad5c99cf0681af30e8ed4cc59cc2371cb',1,'SVF::DCHNode']]],
-  ['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_1VersionedFlowSensitive_1_1SCC.html',1,'SVF::VersionedFlowSensitive::SCC'],['../classSVF_1_1WPASolver.html#a21709a0f33b6238afe735cc9fe49ff70',1,'SVF::WPASolver::scc()'],['../classSVF_1_1MRGenerator.html#af8d52e6c9884c6e1abc6dbcbc5e32629',1,'SVF::MRGenerator::SCC()'],['../classSVF_1_1WPASolver.html#a1352953966be14b2a1d6244f35e74a33',1,'SVF::WPASolver::SCC()']]],
   ['scc_2eh',['SCC.h',['../SCC_8h.html',1,'']]],
   ['scccandidates',['sccCandidates',['../classSVF_1_1AndersenSCD.html#aeb0b3644c3bfbfa5768b92c99aeeef40',1,'SVF::AndersenSCD']]],
@@ -44,14 +44,14 @@ var searchData=
   ['sccsubnodes',['sccSubNodes',['../classSVF_1_1ConstraintGraph.html#aed605b010e313f4b11e95b83fe50e3b3',1,'SVF::ConstraintGraph::sccSubNodes()'],['../classSVF_1_1Andersen.html#acd2feff818906db49a1bb2d94c33db5f',1,'SVF::Andersen::sccSubNodes()']]],
   ['scctime',['sccTime',['../classSVF_1_1FlowSensitive.html#af496fa9aa2f4d59594950b2ad121deff',1,'SVF::FlowSensitive']]],
   ['scdandersen',['scdAndersen',['../classSVF_1_1AndersenSCD.html#a1d143f104c0bfb5258b7129d0eceb4cd',1,'SVF::AndersenSCD']]],
-  ['scev',['scev',['../classSVF_1_1PTASCEV.html#af1d494e97cfb2f555d47227ca25172b3',1,'SVF::PTASCEV::scev()'],['../SVF-FE_2BasicTypes_8h.html#a926a4429043d19e5b5fb425a31631d12',1,'SCEV(): BasicTypes.h']]],
-  ['scevaddrecexpr',['SCEVAddRecExpr',['../SVF-FE_2BasicTypes_8h.html#a7182e2c93e2218f62abceae861a4e787',1,'BasicTypes.h']]],
-  ['scevconstant',['SCEVConstant',['../SVF-FE_2BasicTypes_8h.html#aff62eefea1b967cc90608517891644eb',1,'BasicTypes.h']]],
+  ['scev',['scev',['../classSVF_1_1PTASCEV.html#af1d494e97cfb2f555d47227ca25172b3',1,'SVF::PTASCEV::scev()'],['../namespaceSVF.html#aac5262378e41a3414a20cc9a41d4adc6',1,'SVF::SCEV()']]],
+  ['scevaddrecexpr',['SCEVAddRecExpr',['../namespaceSVF.html#a4f7c400fbf2fa03db8cf61cb9a7dd3e8',1,'SVF']]],
+  ['scevconstant',['SCEVConstant',['../namespaceSVF.html#abe745006fa40399d8a13613a3e0dfc63',1,'SVF']]],
   ['secondrhs2prods',['secondRHS2Prods',['../classSVF_1_1CFLGrammar.html#ad93447aa8d7fce7693e858717dcb44f4',1,'SVF::CFLGrammar']]],
   ['select',['Select',['../classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9ad9397ec243a61992dc2b5681bea587fa',1,'SVF::SVFStmt']]],
   ['selectclient',['selectClient',['../classSVF_1_1DDAPass.html#aa33694e0b5f30c451c229e92877e4842',1,'SVF::DDAPass']]],
   ['selectedvalidationscenarios',['selectedValidationScenarios',['../classSVF_1_1RaceResultValidator.html#a1294cb90b073ba25a8ffc06180c09419',1,'SVF::RaceResultValidator']]],
-  ['selectinst',['SelectInst',['../SVF-FE_2BasicTypes_8h.html#abbb6cb29e5b213400fdb10525ee75504',1,'BasicTypes.h']]],
+  ['selectinst',['SelectInst',['../namespaceSVF.html#ab7fac9d4a4839be445c89777e21bc307',1,'SVF']]],
   ['selectstmt',['SelectStmt',['../classSVF_1_1SelectStmt.html',1,'SVF::SelectStmt'],['../classSVF_1_1SelectStmt.html#a995baa18cc36d0671be3e98761f9879a',1,'SVF::SelectStmt::SelectStmt()'],['../classSVF_1_1SelectStmt.html#ad51a542e72f165abbba9d3242db1bea6',1,'SVF::SelectStmt::SelectStmt(const SelectStmt &)'],['../classSVF_1_1SelectStmt.html#ae654d9036e291e723a3f1f7eab5b018b',1,'SVF::SelectStmt::SelectStmt(SVFVar *s, const OPVars &opnds, const SVFVar *cond)']]],
   ['selfcycle',['SelfCycle',['../classSVF_1_1Options.html#a3ed96242ac56a05d057ebd11b23cf053',1,'SVF::Options']]],
   ['seq',['SEQ',['../classSVF_1_1NodeIDAllocator.html#a8cf553cd07768aad3f3b91bf3d7c6228a85142db6ed24203f054117f3a5110e2f',1,'SVF::NodeIDAllocator']]],
@@ -158,7 +158,7 @@ var searchData=
   ['shl',['shl',['../classSVF_1_1Z3Expr.html#a7b6e7cd3b0b8681a4f4885e658632dce',1,'SVF::Z3Expr']]],
   ['showhiddennode',['ShowHiddenNode',['../classSVF_1_1Options.html#adec2012e10130f664fe0ea3acf39f78b',1,'SVF::Options']]],
   ['showsvfirvalue',['ShowSVFIRValue',['../classSVF_1_1Options.html#a63c2ff1420867ea4ef0a94d28b3f0558',1,'SVF::Options']]],
-  ['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()']]],
   ['simplify',['simplify',['../classSVF_1_1Z3Expr.html#afb3478316592a395c6d473791b5a0981',1,'SVF::Z3Expr']]],
   ['simplify_5ftype',['simplify_type',['../structSVF_1_1SVFUtil_1_1simplify__type.html',1,'SVF::SVFUtil']]],
@@ -177,7 +177,7 @@ var searchData=
   ['skip_5foneline_5fcomment',['skip_oneline_comment',['../cJSON_8cpp.html#a98eaeafefb811c738494a26265309a07',1,'cJSON.cpp']]],
   ['skip_5futf8_5fbom',['skip_utf8_bom',['../cJSON_8cpp.html#a13b2d9f17c3b80a8878405f2782cd916',1,'cJSON.cpp']]],
   ['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']]],
   ['solve',['solve',['../classSVF_1_1CFLSolver.html#a2ee3436c26ebdb2aaf790c25b1d8b5a6',1,'SVF::CFLSolver::solve()'],['../classSVF_1_1WPASCCSolver.html#ac37c1063fbdff394c9a313c8d131d893',1,'SVF::WPASCCSolver::solve()'],['../classSVF_1_1WPAMinimumSolver.html#afb4c3a86fdb91cbb555669003cf299c2',1,'SVF::WPAMinimumSolver::solve()']]],
   ['solveall',['solveAll',['../classSVF_1_1DDAClient.html#aa8a67c60ec0395c9cfae178dcff638a8',1,'SVF::DDAClient']]],
   ['solver',['solver',['../classSVF_1_1CFLAlias.html#aa61c3683c9b759b6eca65b1f88e00b35',1,'SVF::CFLAlias::solver()'],['../classSVF_1_1Z3Expr.html#a2f0cf6549d9bc6fc1d4be46976ad0f0e',1,'SVF::Z3Expr::solver()']]],
@@ -281,7 +281,7 @@ var searchData=
   ['stripspace',['stripSpace',['../classSVF_1_1GrammarBuilder.html#a6de372fbe80d33a5688cada0adca0bb8',1,'SVF::GrammarBuilder']]],
   ['strongupdateoutfromin',['strongUpdateOutFromIn',['../classSVF_1_1FlowSensitive.html#a8ebe4342c1496b906ee1b6450558c3e8',1,'SVF::FlowSensitive']]],
   ['strtrans',['strTrans',['../classSVF_1_1CFGNormalizer.html#adbd98b8ece3c8234d5791fab47dcdbf9',1,'SVF::CFGNormalizer']]],
-  ['structlayout',['StructLayout',['../SVF-FE_2BasicTypes_8h.html#aef8af3d6e4b75a3e3e108b636a48fbd3',1,'BasicTypes.h']]],
+  ['structlayout',['StructLayout',['../namespaceSVF.html#a52c8654c221bb53a59f70ea3cb1e5c45',1,'SVF']]],
   ['structname',['structName',['../CPPUtil_8cpp.html#a4f0d10054cce04a0f4dec52a337cdf3c',1,'CPPUtil.cpp']]],
   ['structtype',['StructType',['../namespaceSVF.html#a2bf58575ac7d068e0f1a4cf953b9e6cb',1,'SVF']]],
   ['subnodes',['subNodes',['../classSVF_1_1SCCDetection_1_1GNodeSCCInfo.html#a48981e6555ad221d08f16ed2df708027',1,'SVF::SCCDetection::GNodeSCCInfo::subNodes()'],['../classSVF_1_1SCCDetection_1_1GNodeSCCInfo.html#aa2b23b22bb0304ce07ab9b14f0fdc395',1,'SVF::SCCDetection::GNodeSCCInfo::subNodes() const'],['../classSVF_1_1SCCDetection.html#a6ab5eff6a576e6d8703c1ea29b7f425d',1,'SVF::SCCDetection::subNodes()']]],
@@ -375,7 +375,7 @@ var searchData=
   ['svfvariables_2ecpp',['SVFVariables.cpp',['../SVFVariables_8cpp.html',1,'']]],
   ['svfvariables_2eh',['SVFVariables.h',['../SVFVariables_8h.html',1,'']]],
   ['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']]],
   ['sym2strdump',['sym2StrDump',['../classSVF_1_1GrammarBase.html#a4c0b76ce574087acdcb3e884480b18b0',1,'SVF::GrammarBase']]],
   ['symbol',['Symbol',['../structSVF_1_1GrammarBase_1_1Symbol.html',1,'SVF::GrammarBase::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()'],['../structSVF_1_1GrammarBase_1_1Symbol.html#ad8268060892644d15b13f84124bc1eaf',1,'SVF::GrammarBase::Symbol::Symbol()'],['../structSVF_1_1GrammarBase_1_1Symbol.html#aa37072e1a6c0875305260c7c2414d767',1,'SVF::GrammarBase::Symbol::Symbol(const u32_t &num)']]],
   ['symbolhash',['SymbolHash',['../classSVF_1_1GrammarBase_1_1SymbolHash.html',1,'SVF::GrammarBase']]],

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

@@ -3,12 +3,12 @@ var searchData=
   ['u32_5ft',['u32_t',['../namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af',1,'SVF']]],
   ['u64_5ft',['u64_t',['../namespaceSVF.html#a366625858f450a1ea5f985a3c83e0f14',1,'SVF']]],
   ['unaryop',['UnaryOp',['../classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75a31dae52a5c31284a8fe54294bd34a5dc',1,'SVF::VFGNode::UnaryOp()'],['../classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9ad2a5e6fe0f2b5fefb53abb9e91c57688',1,'SVF::SVFStmt::UnaryOp()']]],
-  ['unaryoperator',['UnaryOperator',['../SVF-FE_2BasicTypes_8h.html#ab6cb332bc04ab932cba29fa9c9d5f3b2',1,'BasicTypes.h']]],
+  ['unaryoperator',['UnaryOperator',['../namespaceSVF.html#a292a6e8c5b4f2023b5575879c57eca62',1,'SVF']]],
   ['unaryopstmt',['UnaryOPStmt',['../classSVF_1_1UnaryOPStmt.html',1,'SVF::UnaryOPStmt'],['../classSVF_1_1UnaryOPStmt.html#a033d3ba05ce96e04b63f2cf455518582',1,'SVF::UnaryOPStmt::UnaryOPStmt()'],['../classSVF_1_1UnaryOPStmt.html#aaad7785c0e6ea468cf7df8eb39cfe327',1,'SVF::UnaryOPStmt::UnaryOPStmt(const UnaryOPStmt &)'],['../classSVF_1_1UnaryOPStmt.html#a2b91333ac3d4b5e1099590aeb15d38ba',1,'SVF::UnaryOPStmt::UnaryOPStmt(SVFVar *s, SVFVar *d, u32_t oc)']]],
   ['unaryopvfgnode',['UnaryOPVFGNode',['../classSVF_1_1UnaryOPVFGNode.html',1,'SVF::UnaryOPVFGNode'],['../classSVF_1_1UnaryOPVFGNode.html#ae5298888e597b2a379f9c9ebb5bd9132',1,'SVF::UnaryOPVFGNode::UnaryOPVFGNode()'],['../classSVF_1_1UnaryOPVFGNode.html#a77b6cf315bdacb49e66bca15628a12b1',1,'SVF::UnaryOPVFGNode::UnaryOPVFGNode(const UnaryOPVFGNode &)'],['../classSVF_1_1UnaryOPVFGNode.html#acefca73fdac419025ad5109c7b2c9b0c',1,'SVF::UnaryOPVFGNode::UnaryOPVFGNode(NodeID id, const PAGNode *r)']]],
-  ['undefvalue',['UndefValue',['../SVF-FE_2BasicTypes_8h.html#a1ab5636908738dc0987bc642604cbb4a',1,'BasicTypes.h']]],
+  ['undefvalue',['UndefValue',['../namespaceSVF.html#af4912ad47e19060e53b665f73e0ee6ec',1,'SVF']]],
   ['unifyfunctionexit',['UnifyFunctionExit',['../classSVF_1_1MergeFunctionRets.html#a8c04750179ee48d283c5db4d84b3eca1',1,'SVF::MergeFunctionRets']]],
-  ['unifyfunctionexitnodes',['UnifyFunctionExitNodes',['../SVF-FE_2BasicTypes_8h.html#a66384f66e64322087e7bdab0b50840f2',1,'BasicTypes.h']]],
+  ['unifyfunctionexitnodes',['UnifyFunctionExitNodes',['../namespaceSVF.html#ae5853f7df76735b195ff93949ca4256b',1,'SVF']]],
   ['unioncache',['unionCache',['../classSVF_1_1PersistentPointsToCache.html#a6b601ce2055d83f2c1df0c7af039ce05',1,'SVF::PersistentPointsToCache']]],
   ['unionddapts',['unionDDAPts',['../classSVF_1_1DDAVFSolver.html#a99764ee5bc19378795fe464e9036e78b',1,'SVF::DDAVFSolver::unionDDAPts(CPtSet &pts, const CPtSet &targetPts)'],['../classSVF_1_1DDAVFSolver.html#ae7949e141978474f3b6cb510bacafa37',1,'SVF::DDAVFSolver::unionDDAPts(DPIm dpm, const CPtSet &targetPts)'],['../classSVF_1_1FlowDDA.html#a3d08dfe5a1571f5d631afcd304905a05',1,'SVF::FlowDDA::unionDDAPts()']]],
   ['unionpts',['unionPts',['../classSVF_1_1PTData.html#af7aa22f11558c12ff16612174e2221dd',1,'SVF::PTData::unionPts(const Key &dstVar, const Key &srcVar)=0'],['../classSVF_1_1PTData.html#aa8f281fbccfbdb13ab7671094d78a5c0',1,'SVF::PTData::unionPts(const Key &dstVar, const DataSet &srcDataSet)=0'],['../classSVF_1_1VersionedPTData.html#a8b9d50b5ad1c779b2ff231f07f3002ea',1,'SVF::VersionedPTData::unionPts(const VersionedKey &dstVar, const VersionedKey &srcVar)=0'],['../classSVF_1_1VersionedPTData.html#a598f4d08e52a60f7d38b8d436c7d1841',1,'SVF::VersionedPTData::unionPts(const VersionedKey &dstVar, const Key &srcVar)=0'],['../classSVF_1_1VersionedPTData.html#a8f2941ff3a5f0fd489fec723f5c9adcd',1,'SVF::VersionedPTData::unionPts(const Key &dstVar, const VersionedKey &srcVar)=0'],['../classSVF_1_1VersionedPTData.html#ac87e856efea485d32de8948495b58951',1,'SVF::VersionedPTData::unionPts(const VersionedKey &dstVar, const DataSet &srcDataSet)=0'],['../classSVF_1_1MutablePTData.html#a08528faf56bf68fd0ddbb6c5ffa3d24f',1,'SVF::MutablePTData::unionPts(const Key &dstKey, const Key &srcKey) override'],['../classSVF_1_1MutablePTData.html#a124e8cc8d2dbbd70682a4b7845e5d600',1,'SVF::MutablePTData::unionPts(const Key &dstKey, const DataSet &srcDataSet) override'],['../classSVF_1_1MutablePTData.html#abaf96c47ab029c6bc91ff23a4c061505',1,'SVF::MutablePTData::unionPts(DataSet &dstDataSet, const DataSet &srcDataSet)'],['../classSVF_1_1MutableDiffPTData.html#a1596ef828786325ca06a3f5bada31757',1,'SVF::MutableDiffPTData::unionPts(const Key &dstKey, const Key &srcKey) override'],['../classSVF_1_1MutableDiffPTData.html#a746c384cf4633c3b07b4362e7b6c087a',1,'SVF::MutableDiffPTData::unionPts(const Key &dstKey, const DataSet &srcDataSet) override'],['../classSVF_1_1MutableDFPTData.html#ad64eed26e054eb4e91ec1139867cd196',1,'SVF::MutableDFPTData::unionPts(const Key &dstKey, const Key &srcKey) override'],['../classSVF_1_1MutableDFPTData.html#ab675653138960b16f23c801298e80f48',1,'SVF::MutableDFPTData::unionPts(const Key &dstKey, const DataSet &srcDataSet) override'],['../classSVF_1_1MutableDFPTData.html#a8b30798ad9485a88238cc340e5da3db7',1,'SVF::MutableDFPTData::unionPts(DataSet &dstDataSet, const DataSet &srcDataSet)'],['../classSVF_1_1MutableVersionedPTData.html#ae79628fc101567ba84215b624dd00c01',1,'SVF::MutableVersionedPTData::unionPts(const Key &dstVar, const Key &srcVar) override'],['../classSVF_1_1MutableVersionedPTData.html#a56e752a83620f482a4b1e2f8d395dd75',1,'SVF::MutableVersionedPTData::unionPts(const VersionedKey &dstVar, const VersionedKey &srcVar) override'],['../classSVF_1_1MutableVersionedPTData.html#a5647b7fad5c14f7ec57d3de3480758eb',1,'SVF::MutableVersionedPTData::unionPts(const VersionedKey &dstVar, const Key &srcVar) override'],['../classSVF_1_1MutableVersionedPTData.html#a9967c530d3955a0a726b7a00653ef0ba',1,'SVF::MutableVersionedPTData::unionPts(const Key &dstVar, const VersionedKey &srcVar) override'],['../classSVF_1_1MutableVersionedPTData.html#aa9ab46b7afc7f47df20e74bda300dc42',1,'SVF::MutableVersionedPTData::unionPts(const Key &dstVar, const DataSet &srcDataSet) override'],['../classSVF_1_1MutableVersionedPTData.html#aa9d24a4defb025c075e4ec5bc7f3b618',1,'SVF::MutableVersionedPTData::unionPts(const VersionedKey &dstVar, const DataSet &srcDataSet) override'],['../classSVF_1_1PersistentPointsToCache.html#a178b49cca2c22e874ff9e772cc4df72b',1,'SVF::PersistentPointsToCache::unionPts()'],['../classSVF_1_1PersistentPTData.html#a236c780af73ab909a66a922bc8645ea4',1,'SVF::PersistentPTData::unionPts(const Key &dstKey, const Key &srcKey) override'],['../classSVF_1_1PersistentPTData.html#a9414aeb024e2c367b9777522aadd5d83',1,'SVF::PersistentPTData::unionPts(const Key &dstKey, const DataSet &srcData) override'],['../classSVF_1_1PersistentDiffPTData.html#a9cc43f58ea3be1b7fbc7df7cfe965c3c',1,'SVF::PersistentDiffPTData::unionPts(const Key &dstKey, const Key &srcKey) override'],['../classSVF_1_1PersistentDiffPTData.html#aa9aac7ff120abf87e7edfe233691f00f',1,'SVF::PersistentDiffPTData::unionPts(const Key &dstKey, const DataSet &srcDataSet) override'],['../classSVF_1_1PersistentDFPTData.html#a0b757b12ace04b7b7d1e081ad1b742cf',1,'SVF::PersistentDFPTData::unionPts(const Key &dstKey, const Key &srcKey) override'],['../classSVF_1_1PersistentDFPTData.html#a780dc63003f8a0a4c66c1548138fdd86',1,'SVF::PersistentDFPTData::unionPts(const Key &dstKey, const DataSet &srcDataSet) override'],['../classSVF_1_1PersistentVersionedPTData.html#afe1f57d265c0910ec26567ce850b8421',1,'SVF::PersistentVersionedPTData::unionPts(const Key &dstVar, const Key &srcVar) override'],['../classSVF_1_1PersistentVersionedPTData.html#ab0299bcfee10af8b6ea59444c4d0299d',1,'SVF::PersistentVersionedPTData::unionPts(const VersionedKey &dstVar, const VersionedKey &srcVar) override'],['../classSVF_1_1PersistentVersionedPTData.html#a8ba8e547bf572cd7403cb4fe52c19908',1,'SVF::PersistentVersionedPTData::unionPts(const VersionedKey &dstVar, const Key &srcVar) override'],['../classSVF_1_1PersistentVersionedPTData.html#a83b7e86c11b03889d70b4dff46138987',1,'SVF::PersistentVersionedPTData::unionPts(const Key &dstVar, const VersionedKey &srcVar) override'],['../classSVF_1_1PersistentVersionedPTData.html#a00151507a86b71f99e43fa87b59d65bb',1,'SVF::PersistentVersionedPTData::unionPts(const Key &dstVar, const DataSet &srcDataSet) override'],['../classSVF_1_1PersistentVersionedPTData.html#ac4b8dc40514b50a77565a385b9a13ca5',1,'SVF::PersistentVersionedPTData::unionPts(const VersionedKey &dstVar, const DataSet &srcDataSet) override'],['../classSVF_1_1BVDataPTAImpl.html#ae7073c07bfd7912f888d54d4652c7cc2',1,'SVF::BVDataPTAImpl::unionPts(NodeID id, const PointsTo &target)'],['../classSVF_1_1BVDataPTAImpl.html#ad5e657b856681a534a8990df35ea08d0',1,'SVF::BVDataPTAImpl::unionPts(NodeID id, NodeID ptd)'],['../classSVF_1_1CondPTAImpl.html#a1a95d1d6ac48157c896d9895cff697b4',1,'SVF::CondPTAImpl::unionPts(CVar id, const CPtSet &target)'],['../classSVF_1_1CondPTAImpl.html#a4ad5da56c8b7bc75bf2dc30a1bcf1552',1,'SVF::CondPTAImpl::unionPts(CVar id, CVar ptd)'],['../classSVF_1_1Andersen.html#ab7dadfd4d810be4863f03ed996b3b3c4',1,'SVF::Andersen::unionPts(NodeID id, const PointsTo &target)'],['../classSVF_1_1Andersen.html#a8da98a9d33a6e9be329309f4af65e969',1,'SVF::Andersen::unionPts(NodeID id, NodeID ptd)'],['../classSVF_1_1Steensgaard.html#a61524c5a3521939b1546c78c68730c20',1,'SVF::Steensgaard::unionPts(NodeID id, const PointsTo &target)'],['../classSVF_1_1Steensgaard.html#afcb7f051f50b65a09ec2bc065bb70735',1,'SVF::Steensgaard::unionPts(NodeID id, NodeID ptd)']]],
@@ -21,7 +21,7 @@ var searchData=
   ['uniqueintersections',['uniqueIntersections',['../classSVF_1_1PersistentPointsToCache.html#a474023fe293b080fbda7da06ef380531',1,'SVF::PersistentPointsToCache']]],
   ['uniqueunions',['uniqueUnions',['../classSVF_1_1PersistentPointsToCache.html#aacebdd87b1dd45250391d035b032f9d4',1,'SVF::PersistentPointsToCache']]],
   ['unlocksites',['unlocksites',['../classSVF_1_1LockAnalysis.html#aec459af1d1624df55ffc95cd75655780',1,'SVF::LockAnalysis']]],
-  ['unreachableinst',['UnreachableInst',['../SVF-FE_2BasicTypes_8h.html#ac81608d3ff4a58a9a5d8fd522860b96f',1,'BasicTypes.h']]],
+  ['unreachableinst',['UnreachableInst',['../namespaceSVF.html#a8ac6a8ff90f47a93166fbdf15be2d721',1,'SVF']]],
   ['unset',['unset',['../classSVF_1_1NodeIDAllocator.html#af7952ef5667039c9be86a589419b35a8',1,'SVF::NodeIDAllocator']]],
   ['update_5foffset',['update_offset',['../cJSON_8cpp.html#af5fb173126786c1e3f90b6df6e2500c5',1,'cJSON.cpp']]],
   ['updatealiasmrs',['updateAliasMRs',['../classSVF_1_1MRGenerator.html#a9c1da53188729eb743e1a33bbad87af7',1,'SVF::MRGenerator']]],
@@ -52,7 +52,7 @@ var searchData=
   ['updatesiblingthreads',['updateSiblingThreads',['../classSVF_1_1MHP.html#a23ab5a03b7c00ba0ebac65568a83a5cc',1,'SVF::MHP']]],
   ['updatetime',['updateTime',['../classSVF_1_1FlowSensitive.html#af5a94d14096ae2bbc47b3b3b9f723226',1,'SVF::FlowSensitive']]],
   ['updatetlvpts',['updateTLVPts',['../classSVF_1_1DFPTData.html#aaa6f67ff5daf7d71a3ad62316a7dd872',1,'SVF::DFPTData::updateTLVPts()'],['../classSVF_1_1MutableDFPTData.html#a21b29c2d3e429017d910025e4ec73fc6',1,'SVF::MutableDFPTData::updateTLVPts()'],['../classSVF_1_1MutableIncDFPTData.html#a7778be60515fa3ff247b6d2cec138cfc',1,'SVF::MutableIncDFPTData::updateTLVPts()'],['../classSVF_1_1PersistentDFPTData.html#aa9d13ece84d5f519031b4f3cdb429d61',1,'SVF::PersistentDFPTData::updateTLVPts()'],['../classSVF_1_1PersistentIncDFPTData.html#ae4732dd1897883fafa98454b46134bfb',1,'SVF::PersistentIncDFPTData::updateTLVPts()']]],
-  ['use',['Use',['../SVF-FE_2BasicTypes_8h.html#a9c01c67684e99545d8e0403321594977',1,'BasicTypes.h']]],
+  ['use',['Use',['../namespaceSVF.html#a334998718813a19a7697daf4ba282faf',1,'SVF']]],
   ['usedregs',['usedRegs',['../classSVF_1_1MemSSA.html#acf840b71b67cabe831f01f2d358f27fa',1,'SVF::MemSSA']]],
   ['usepcg',['UsePCG',['../classSVF_1_1Options.html#af2f66307e1d51947676f622c98ef0762',1,'SVF::Options']]],
   ['useprecompfieldsensitive',['UsePreCompFieldSensitive',['../classSVF_1_1Options.html#afb6fabc25c0d7f9e9d1708ce648797fc',1,'SVF::Options']]],

package/SVF-doxygen/html/html/search/all_15.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']]],
   ['valdomain',['ValDomain',['../classSVF_1_1LockAnalysis.html#ac2fbbabca4506e28f706cf54b1614791',1,'SVF::LockAnalysis::ValDomain()'],['../classSVF_1_1ForkJoinAnalysis.html#a8d40e687caf8999369621ed385dfc631',1,'SVF::ForkJoinAnalysis::ValDomain()']]],
   ['validateall',['validateAll',['../classSVF_1_1RaceResultValidator.html#a58e07fcd0d9a611dfd31ab62802c5990',1,'SVF::RaceResultValidator']]],
   ['validatecxtthread',['validateCxtThread',['../classSVF_1_1MTAResultValidator.html#afa01b108b67ec2ac05a6444b55dbfe01',1,'SVF::MTAResultValidator']]],
@@ -44,9 +44,9 @@ var searchData=
   ['vartopropnodemap',['VarToPropNodeMap',['../classSVF_1_1VersionedFlowSensitive.html#a9ee5add09f2b446c6c6bcb84da0f75b3',1,'SVF::VersionedFlowSensitive']]],
   ['vartoval',['varToVal',['../classSVF_1_1ExeState.html#a32a5c65de2656ecfd2e33100a44dc02f',1,'SVF::ExeState']]],
   ['vartovalmap',['VarToValMap',['../classSVF_1_1ExeState.html#afc4aad166cd39a6cfbd8e9b897104f3f',1,'SVF::ExeState']]],
-  ['vastartinst',['VAStartInst',['../SVF-FE_2BasicTypes_8h.html#a487fbdac6711a95d28683e6644c457ac',1,'BasicTypes.h']]],
+  ['vastartinst',['VAStartInst',['../namespaceSVF.html#ad92e392a50e7c6c1f635fe2dcebd1adc',1,'SVF']]],
   ['vcallinctorordtor',['VCallInCtorOrDtor',['../namespaceSVF_1_1cppUtil.html#abcba23ffa41fe5b456289e528d1b4c4e',1,'SVF::cppUtil']]],
-  ['vectortype',['VectorType',['../SVF-FE_2BasicTypes_8h.html#a720813d613d926a5963d6632532105ac',1,'BasicTypes.h']]],
+  ['vectortype',['VectorType',['../namespaceSVF.html#a1eaed46fa67cf1a51e438c5f8f523418',1,'SVF']]],
   ['ver',['ver',['../classSVF_1_1FormalINSVFGNode.html#a0601031e01d4e7e4f086d5a4cc7b1321',1,'SVF::FormalINSVFGNode::ver()'],['../classSVF_1_1FormalOUTSVFGNode.html#af4686f5e09cdd342a1ced3a898cb47c4',1,'SVF::FormalOUTSVFGNode::ver()'],['../classSVF_1_1ActualINSVFGNode.html#a9fd1b406736084d33b0026aa21eb79b7',1,'SVF::ActualINSVFGNode::ver()'],['../classSVF_1_1ActualOUTSVFGNode.html#a9b0ad566d3fab6336d84ba07f541370f',1,'SVF::ActualOUTSVFGNode::ver()'],['../classSVF_1_1MSSAPHISVFGNode.html#a61b2e5ccd265d69167f44ce43e97fb80',1,'SVF::MSSAPHISVFGNode::ver()'],['../classSVF_1_1MSSAMU.html#a9c84b55a34025c6742f5a02c07cd4a36',1,'SVF::MSSAMU::ver()']]],
   ['verifycallgraph',['verifyCallGraph',['../classSVF_1_1PTACallGraph.html#ac695d78f0a78e2e5f1fb4f93264e52b8',1,'SVF::PTACallGraph']]],
   ['version',['version',['../classSVF_1_1DummyVersionPropSVFGNode.html#a6c092656833dd1eae08eac458689e37d',1,'SVF::DummyVersionPropSVFGNode::version()'],['../classSVF_1_1MRVer.html#afc08020e6d2f1721d1d1363ed3fef151',1,'SVF::MRVer::version()'],['../namespaceSVF.html#a9ec7a8dc63411ee3724a25a59191be0c',1,'SVF::Version()']]],

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

@@ -40,11 +40,11 @@ var searchData=
   ['begin',['begin',['../classSVF_1_1GenericGraph.html#a0d9744b1b0e7a09a6f7af29188e243b7',1,'SVF::GenericGraph::begin()'],['../classSVF_1_1GenericGraph.html#a3385b008ae03444404c1e392fd47f1d6',1,'SVF::GenericGraph::begin() const'],['../classSVF_1_1CondStdSet.html#adf095111734d81b6ad1908a7f795b038',1,'SVF::CondStdSet::begin()'],['../classSVF_1_1CondStdSet.html#a76fb2382bf424638ed8e03cb48cdc90e',1,'SVF::CondStdSet::begin() const'],['../classSVF_1_1CondPointsToSet.html#a3521ec3be48cc03d9d3f562cb088a9ad',1,'SVF::CondPointsToSet::begin()'],['../classSVF_1_1CondPointsToSet.html#acec077e130e49ac66a5c3e464a73dec2',1,'SVF::CondPointsToSet::begin() const'],['../classSVF_1_1PointsTo.html#aa53962e561399bf493d1f2b9137356f6',1,'SVF::PointsTo::begin()'],['../classllvm_1_1generic__bridge__gep__type__iterator.html#aabd833b8eca182f681462209c9f24f1a',1,'llvm::generic_bridge_gep_type_iterator::begin(Type *Ty, ItTy It)'],['../classllvm_1_1generic__bridge__gep__type__iterator.html#a4d10570a7a3b75fbec9fbc9fc7d3e619',1,'llvm::generic_bridge_gep_type_iterator::begin(Type *Ty, unsigned AddrSpace, ItTy It)'],['../classSVF_1_1CoreBitVector.html#a835bf11a1f698942db8e6bdadbbfd1f3',1,'SVF::CoreBitVector::begin()'],['../classSVF_1_1ContextCond.html#a4ae7e2236708b0d205f393cdce75c8d1',1,'SVF::ContextCond::begin()'],['../classSVF_1_1SparseBitVector.html#abf76d8157c49ddba24bdc9dab3655772',1,'SVF::SparseBitVector::begin()'],['../classSVF_1_1SVFModule.html#a5486697889c6cca4f9f426650defc255',1,'SVF::SVFModule::begin()'],['../classSVF_1_1SVFModule.html#a436c4bdede4d1c1e68d7e41bd2b27da7',1,'SVF::SVFModule::begin() const']]],
   ['bestcandidate',['BestCandidate',['../classSVF_1_1NodeIDAllocator_1_1Clusterer.html#a3556bdda6725b72d0ca88364daeae32e',1,'SVF::NodeIDAllocator::Clusterer']]],
   ['binaryop',['BinaryOp',['../classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75a0e99fed4f3145668652aad5a3700e337',1,'SVF::VFGNode::BinaryOp()'],['../classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9ad58f5e59c55e1ffd23b83d16224fed13',1,'SVF::SVFStmt::BinaryOp()']]],
-  ['binaryoperator',['BinaryOperator',['../SVF-FE_2BasicTypes_8h.html#ab58e9b290ff1defcedad101c3da8d8fd',1,'BasicTypes.h']]],
+  ['binaryoperator',['BinaryOperator',['../namespaceSVF.html#aad5d26ab07a5d1314bdb8f54e0fcdb22',1,'SVF']]],
   ['binaryopstmt',['BinaryOPStmt',['../classSVF_1_1BinaryOPStmt.html',1,'SVF::BinaryOPStmt'],['../classSVF_1_1BinaryOPStmt.html#a4c87a90a0190b50c0318c0f316f4fc2a',1,'SVF::BinaryOPStmt::BinaryOPStmt()'],['../classSVF_1_1BinaryOPStmt.html#a9f5ec771bc547371ab9db18bb44a17c1',1,'SVF::BinaryOPStmt::BinaryOPStmt(const BinaryOPStmt &)'],['../classSVF_1_1BinaryOPStmt.html#a7470a2412985bbb227bb62d8a297b7f1',1,'SVF::BinaryOPStmt::BinaryOPStmt(SVFVar *s, const OPVars &opnds, u32_t oc)']]],
   ['binaryopvfgnode',['BinaryOPVFGNode',['../classSVF_1_1BinaryOPVFGNode.html',1,'SVF::BinaryOPVFGNode'],['../classSVF_1_1BinaryOPVFGNode.html#a20a0cf8366831b6be38c9c1945254362',1,'SVF::BinaryOPVFGNode::BinaryOPVFGNode()'],['../classSVF_1_1BinaryOPVFGNode.html#aa292ddc0ac6e43f20dcee8a9cb8f97e0',1,'SVF::BinaryOPVFGNode::BinaryOPVFGNode(const BinaryOPVFGNode &)'],['../classSVF_1_1BinaryOPVFGNode.html#afa52d77205075141b59847b8400344e7',1,'SVF::BinaryOPVFGNode::BinaryOPVFGNode(NodeID id, const PAGNode *r)']]],
   ['bit',['bit',['../classSVF_1_1CoreBitVector_1_1CoreBitVectorIterator.html#a853b685cf022839c183df46f1cafe638',1,'SVF::CoreBitVector::CoreBitVectorIterator']]],
-  ['bitcastinst',['BitCastInst',['../SVF-FE_2BasicTypes_8h.html#ab8cddf2ff868c0a9ae99483640c9ecef',1,'BasicTypes.h']]],
+  ['bitcastinst',['BitCastInst',['../namespaceSVF.html#afc50da46a6ea7c2cf61683bbec4d7c8d',1,'SVF']]],
   ['bitcastinststat',['bitcastInstStat',['../classSVF_1_1PTAStat.html#a3431df864d616336700d3086e4113054',1,'SVF::PTAStat']]],
   ['bitnumber',['BitNumber',['../classSVF_1_1SparseBitVector_1_1SparseBitVectorIterator.html#aae6ff6aada3863feb736619d4f8dba16',1,'SVF::SparseBitVector::SparseBitVectorIterator']]],
   ['bits',['Bits',['../structSVF_1_1SparseBitVectorElement.html#a4b6a06a3a19f2241cec68e09d4feb526',1,'SVF::SparseBitVectorElement::Bits()'],['../classSVF_1_1SparseBitVector_1_1SparseBitVectorIterator.html#abc3768e05459a1d0a2d2220858a7a53d',1,'SVF::SparseBitVector::SparseBitVectorIterator::Bits()']]],
@@ -62,12 +62,12 @@ var searchData=
   ['blackholesyms',['blackholeSyms',['../classSVF_1_1SymbolTableInfo.html#a3f661249c4543c7bdb7ed17706b086cc',1,'SVF::SymbolTableInfo']]],
   ['blkptr',['BlkPtr',['../classSVF_1_1SymbolTableInfo.html#afd2cf6ef6d7f2a583c709a72067be89ba9a9d3f03f58ccd4fdaaf08327a74aa03',1,'SVF::SymbolTableInfo']]],
   ['blkptrsymid',['blkPtrSymID',['../classSVF_1_1SymbolTableInfo.html#a1689fa03795200b501ae3887906e7e72',1,'SVF::SymbolTableInfo']]],
-  ['blockaddress',['BlockAddress',['../SVF-FE_2BasicTypes_8h.html#ad29efa92ce4c6449b5ef7853994877bd',1,'BasicTypes.h']]],
+  ['blockaddress',['BlockAddress',['../namespaceSVF.html#a956458a8554bf734db1194f320fd4b4c',1,'SVF']]],
   ['boolean',['boolean',['../cJSON_8h.html#a08f076c86f430b6f0e301fcf94223b38',1,'boolean(): cJSON.h'],['../cJSON_8cpp.html#a08f076c86f430b6f0e301fcf94223b38',1,'boolean(): cJSON.cpp']]],
   ['bothinteredges',['bothInterEdges',['../classSVF_1_1SVFGOPT.html#a6d5cdb3b78e4ed482b0da4c64323b463',1,'SVF::SVFGOPT']]],
   ['branch',['Branch',['../classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75a7e37444f61c10c22b694a86064ae4f01',1,'SVF::VFGNode::Branch()'],['../classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9ad52703e3ec09b6a4f565e5d82279b6a3',1,'SVF::SVFStmt::Branch()']]],
   ['branchcondval',['branchCondVal',['../classSVF_1_1IntraCFGEdge.html#aa1c91aad3dec610100b1f2f4b9826d10',1,'SVF::IntraCFGEdge']]],
-  ['branchinst',['BranchInst',['../SVF-FE_2BasicTypes_8h.html#adeac5db1db4ed03898d30f205fd02264',1,'BasicTypes.h']]],
+  ['branchinst',['BranchInst',['../namespaceSVF.html#ac9a05dd7ab16e998625037aa242cd30f',1,'SVF']]],
   ['branchstat',['branchStat',['../classSVF_1_1PTAStat.html#ada838d9e03f2be4fb3ceffab3983b564',1,'SVF::PTAStat']]],
   ['branchstmt',['BranchStmt',['../classSVF_1_1BranchStmt.html',1,'SVF::BranchStmt'],['../classSVF_1_1BranchStmt.html#a83244ad7db61a544f7538961081d4fbd',1,'SVF::BranchStmt::BranchStmt()'],['../classSVF_1_1BranchStmt.html#a714d118096f0a3d439cfbff10aa455a2',1,'SVF::BranchStmt::BranchStmt(const BranchStmt &)'],['../classSVF_1_1BranchStmt.html#a5e102d5c08b7121efc87b99651f0b5d2',1,'SVF::BranchStmt::BranchStmt(SVFVar *inst, SVFVar *c, const SuccAndCondPairVec &succs)']]],
   ['branchvfgnode',['BranchVFGNode',['../classSVF_1_1BranchVFGNode.html',1,'SVF::BranchVFGNode'],['../classSVF_1_1BranchVFGNode.html#ad1aa629eae4006a68a1e6e8a7621a494',1,'SVF::BranchVFGNode::BranchVFGNode()'],['../classSVF_1_1BranchVFGNode.html#adbaa9b14441cb66ad46671d93c09c513',1,'SVF::BranchVFGNode::BranchVFGNode(const BranchVFGNode &)'],['../classSVF_1_1BranchVFGNode.html#a29efb69de81e8fd799133c9194eec3d3',1,'SVF::BranchVFGNode::BranchVFGNode(NodeID id, const BranchStmt *r)']]],
@@ -76,7 +76,7 @@ var searchData=
   ['breakconstantgeps',['BreakConstantGEPs',['../classSVF_1_1BreakConstantGEPs.html',1,'SVF::BreakConstantGEPs'],['../classSVF_1_1BreakConstantGEPs.html#a5397ce21e78d09c8d1cdc3f912d53a7f',1,'SVF::BreakConstantGEPs::BreakConstantGEPs()']]],
   ['bridge_5fgep_5fbegin',['bridge_gep_begin',['../namespacellvm.html#acfe99e9d441434240c79f6d76b73fe0a',1,'llvm::bridge_gep_begin(const User *GEP)'],['../namespacellvm.html#abbab4f4ed7ffae3e7e715990a0b416fe',1,'llvm::bridge_gep_begin(const User &GEP)']]],
   ['bridge_5fgep_5fend',['bridge_gep_end',['../namespacellvm.html#a7cfc92a12082d69711c97bb3d1b99c48',1,'llvm::bridge_gep_end(const User *GEP)'],['../namespacellvm.html#adcacad81533beb6331d1cd4b1bbcf0d8',1,'llvm::bridge_gep_end(const User &GEP)'],['../namespacellvm.html#af784337dc495897cf05f28fd95f07477',1,'llvm::bridge_gep_end(Type *, ArrayRef< T > A)']]],
-  ['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()']]],
+  ['bridge_5fgep_5fiterator',['bridge_gep_iterator',['../namespaceSVF.html#a3b6e84470681a9f731a81e8cf54680cc',1,'SVF::bridge_gep_iterator()'],['../namespacellvm.html#af77a7ec045719d1f075cf6c591902522',1,'llvm::bridge_gep_iterator()']]],
   ['briefconscgdotgraph',['BriefConsCGDotGraph',['../classSVF_1_1Options.html#a82370c2b8c9cd62b5767ceeaeeaa7177',1,'SVF::Options']]],
   ['brinst',['brInst',['../classSVF_1_1BranchStmt.html#a33887345c00ffda9ca7dca59d61e184a',1,'SVF::BranchStmt']]],
   ['brstmt',['brstmt',['../classSVF_1_1BranchVFGNode.html#ab2c5f49a3ac21d827b37b0e4b61f1a10',1,'SVF::BranchVFGNode']]],