svf-tools 1.0.424 → 1.0.427

package/SVF-doxygen/html/html/namespacemembers_type.html

@@ -82,11 +82,567 @@ $(function() {
 <li>ArrayType
 : <a class="el" href="namespaceSVF.html#a146d286041987860388da3d8bc85cee3">SVF</a>
 </li>
-<li>AtomicCmpXchgInst
-: <a class="el" href="namespaceSVF.html#a582e3736a2bbb0540364c1693d831b49">SVF</a>
+</ul>
+
+
+<h3><a id="index_b"></a>- b -</h3><ul>
+<li>BasicBlock
+: <a class="el" href="namespaceSVF.html#a23bf614858f168b6ad76e0233cec9965">SVF</a>
+</li>
+<li>BranchInst
+: <a class="el" href="namespaceSVF.html#ac9a05dd7ab16e998625037aa242cd30f">SVF</a>
+</li>
+<li>bridge_gep_iterator
+: <a class="el" href="namespacellvm.html#af77a7ec045719d1f075cf6c591902522">llvm</a>
+, <a class="el" href="namespaceSVF.html#a3b6e84470681a9f731a81e8cf54680cc">SVF</a>
+</li>
+</ul>
+
+
+<h3><a id="index_c"></a>- c -</h3><ul>
+<li>CallBase
+: <a class="el" href="namespaceSVF.html#a1f4624771922dc8c2447ad7433588c73">SVF</a>
+</li>
+<li>CallInst
+: <a class="el" href="namespaceSVF.html#adc8b60ca7d60cf6c81feae20e4a04c63">SVF</a>
+</li>
+<li>CallSiteID
+: <a class="el" href="namespaceSVF.html#a03d88a0302bcd253387690f13f693f64">SVF</a>
+</li>
+<li>CallStrCxt
+: <a class="el" href="namespaceSVF.html#ab700523619b089b952498f39a7f5b6b1">SVF</a>
+</li>
+<li>CFLSrcSnkSolver
+: <a class="el" href="namespaceSVF.html#a6144ebf5a46ac5e8899044864caf92ba">SVF</a>
+</li>
+<li>CGSCC
+: <a class="el" href="namespaceSVF.html#a1f730acb8da8187da732631ca6bbff01">SVF</a>
+</li>
+<li>const_inst_iterator
+: <a class="el" href="namespaceSVF.html#a032e8478a7b6a8bb0b7755c98a7bce91">SVF</a>
+</li>
+<li>const_pred_iterator
+: <a class="el" href="namespaceSVF.html#a5c943191dc4e242704943e5f594ae99e">SVF</a>
+</li>
+<li>Constant
+: <a class="el" href="namespaceSVF.html#a7e230c0cba2e3a7c2e5a5f2ee7d88af9">SVF</a>
+</li>
+<li>ConstantArray
+: <a class="el" href="namespaceSVF.html#a5ae718cba37d8e34d2946530dc098c8e">SVF</a>
+</li>
+<li>ConstantData
+: <a class="el" href="namespaceSVF.html#a7332f8059ea95472dcc231de884a5768">SVF</a>
+</li>
+<li>ConstantDataArray
+: <a class="el" href="namespaceSVF.html#ad9ebd847ed5d901cd30b1cfcdaec3462">SVF</a>
+</li>
+<li>ConstantInt
+: <a class="el" href="namespaceSVF.html#adefcb50414ea999d70cea5ccdbcb98d7">SVF</a>
+</li>
+<li>ConstantPointerNull
+: <a class="el" href="namespaceSVF.html#a90f6c91ba7a3c31c84b5c25277d83fca">SVF</a>
+</li>
+<li>CopySVFGNode
+: <a class="el" href="namespaceSVF.html#ab98f7c9e6311e649cdfd5d2f3f8e59be">SVF</a>
+</li>
+<li>CxtLocDPItem
+: <a class="el" href="namespaceSVF.html#aa612d67dfa9b0c2999eeef980ca6c893">SVF</a>
+</li>
+<li>CxtPtSet
+: <a class="el" href="namespaceSVF.html#ae23af66c8962f4a37da0a5a952bd137a">SVF</a>
+</li>
+<li>CxtVar
+: <a class="el" href="namespaceSVF.html#ab3532a31724d8719d29aa4c3521ca215">SVF</a>
+</li>
+</ul>
+
+
+<h3><a id="index_d"></a>- d -</h3><ul>
+<li>DataLayout
+: <a class="el" href="namespaceSVF.html#a03db82b8a7914367024723dba4d6ca3c">SVF</a>
+</li>
+<li>DebugInfoFinder
+: <a class="el" href="namespaceSVF.html#a5ae98f122c64b0114df2e5861b341321">SVF</a>
+</li>
+<li>DIBasicType
+: <a class="el" href="namespaceSVF.html#ada0513be7e25325325ccc9183aeca278">SVF</a>
+</li>
+<li>DICompositeType
+: <a class="el" href="namespaceSVF.html#aded9b991c77acc5284ccead0739e84f1">SVF</a>
+</li>
+<li>DIDerivedType
+: <a class="el" href="namespaceSVF.html#a852e75c562139237fcc754c7461533e6">SVF</a>
+</li>
+<li>DINode
+: <a class="el" href="namespaceSVF.html#a758f3bee97ed46a719d64a2d4f2bc62d">SVF</a>
+</li>
+<li>DINodeArray
+: <a class="el" href="namespaceSVF.html#a0f825e73d115173b05ca54fb8ec65003">SVF</a>
+</li>
+<li>DISubprogram
+: <a class="el" href="namespaceSVF.html#a89c7208bfc0b57873dfa574f52050295">SVF</a>
+</li>
+<li>DISubrange
+: <a class="el" href="namespaceSVF.html#a99bc1228f07429855c81a720be862dc6">SVF</a>
+</li>
+<li>DISubroutineType
+: <a class="el" href="namespaceSVF.html#a090e0791e8c200104ed3ab6bab157129">SVF</a>
+</li>
+<li>DIType
+: <a class="el" href="namespaceSVF.html#ad127b0ad478640ede3d426e3a58d2632">SVF</a>
+</li>
+<li>DITypeRefArray
+: <a class="el" href="namespaceSVF.html#a9d3ee421789884473bfacfaa9ec007cc">SVF</a>
+</li>
+<li>DominanceFrontier
+: <a class="el" href="namespaceSVF.html#ab44d20f806be99699895260b14a942d7">SVF</a>
+</li>
+<li>DominanceFrontierBase
+: <a class="el" href="namespaceSVF.html#aefa7ddc97343be9e528108d0a52293de">SVF</a>
+</li>
+<li>DominatorTree
+: <a class="el" href="namespaceSVF.html#aecbb42b8e9d17fa0189c50dda9fd5fdd">SVF</a>
+</li>
+<li>DomTreeNode
+: <a class="el" href="namespaceSVF.html#a827d09974dc7bf0849f96823cc2fee89">SVF</a>
+</li>
+</ul>
+
+
+<h3><a id="index_e"></a>- e -</h3><ul>
+<li>EdgeID
+: <a class="el" href="namespaceSVF.html#ae71551d6a1fc300e0403297aa25ddf94">SVF</a>
+</li>
+<li>EdgeSet
+: <a class="el" href="namespaceSVF.html#a0d2e17d5b07a50ed95e8f407cd6dd0be">SVF</a>
+</li>
+<li>EdgeVector
+: <a class="el" href="namespaceSVF.html#a4831992588252dc51c102e9e3f7d5e2e">SVF</a>
+</li>
+<li>equalNodeBS
+: <a class="el" href="namespaceSVF_1_1SVFUtil.html#a5c2b39ae857d78ed9dda83880e703b0f">SVF::SVFUtil</a>
+</li>
+<li>equalPointsTo
+: <a class="el" href="namespaceSVF_1_1SVFUtil.html#a68302f07b13f6e1f39aace5699762c41">SVF::SVFUtil</a>
+</li>
+</ul>
+
+
+<h3><a id="index_f"></a>- f -</h3><ul>
+<li>FormalParmSVFGNode
+: <a class="el" href="namespaceSVF.html#ad466edced10faeafd48e96daf193b8a9">SVF</a>
+</li>
+<li>FormalRetSVFGNode
+: <a class="el" href="namespaceSVF.html#ae5987da3ffd5681e8ec4ef14ba54588e">SVF</a>
+</li>
+<li>Function
+: <a class="el" href="namespaceSVF.html#a5faee14fa1dd41447bc73ac365fe33c1">SVF</a>
+</li>
+<li>FunctionType
+: <a class="el" href="namespaceSVF.html#a6ec0236303089a01fd9da36a8bb84e0a">SVF</a>
+</li>
+</ul>
+
+
+<h3><a id="index_g"></a>- g -</h3><ul>
+<li>GenericCallGraphEdgeTy
+: <a class="el" href="namespaceSVF.html#acd909bf6784bb6e2178aa0f5d27da0ca">SVF</a>
+</li>
+<li>GenericCallGraphNodeTy
+: <a class="el" href="namespaceSVF.html#a673ed8bf673a4c426a9d91aa8987e31c">SVF</a>
+</li>
+<li>GenericCallGraphTy
+: <a class="el" href="namespaceSVF.html#ab6fe492db79077a60254f8a03cfce180">SVF</a>
+</li>
+<li>GenericCHEdgeTy
+: <a class="el" href="namespaceSVF.html#a7cb629496a70d2dd22634405652e573a">SVF</a>
+</li>
+<li>GenericCHGraphTy
+: <a class="el" href="namespaceSVF.html#aa8bd37e4ec2e98c805a14adbf590b9dd">SVF</a>
+</li>
+<li>GenericCHNodeTy
+: <a class="el" href="namespaceSVF.html#a838ed37e84836101711c25a760eec57d">SVF</a>
+</li>
+<li>GenericConsEdgeTy
+: <a class="el" href="namespaceSVF.html#a1d2b00b4b0ab475899488fc89b2bfe66">SVF</a>
+</li>
+<li>GenericConsNodeTy
+: <a class="el" href="namespaceSVF.html#a825a8805e4a16072031a18b8d553c5a2">SVF</a>
+</li>
+<li>GenericICFGEdgeTy
+: <a class="el" href="namespaceSVF.html#a91e714a719b1e62e9b63103e9e6af404">SVF</a>
+</li>
+<li>GenericICFGNodeTy
+: <a class="el" href="namespaceSVF.html#afc2824871ad4eb9b871c35ae28494cd3">SVF</a>
+</li>
+<li>GenericICFGTy
+: <a class="el" href="namespaceSVF.html#afe5e1b0e028b4cf0db9f2a9c758b03ed">SVF</a>
+</li>
+<li>GenericPAGEdgeTy
+: <a class="el" href="namespaceSVF.html#ab502ff5e204678640c1081d104f60971">SVF</a>
+</li>
+<li>GenericPAGNodeTy
+: <a class="el" href="namespaceSVF.html#a8d5e9e5137b04659ded32330e128df34">SVF</a>
+</li>
+<li>GenericTCTEdgeTy
+: <a class="el" href="namespaceSVF.html#a07db688cc13384ddfddb1372612db205">SVF</a>
+</li>
+<li>GenericTCTNodeTy
+: <a class="el" href="namespaceSVF.html#a115fc72b31d2ae72e60ebd9af1351e83">SVF</a>
+</li>
+<li>GenericThreadCreateTreeTy
+: <a class="el" href="namespaceSVF.html#a8e1221553658c8b506c348534135ceaa">SVF</a>
+</li>
+<li>GenericVFGEdgeTy
+: <a class="el" href="namespaceSVF.html#a30dcaf83718f2652012f98b192dcf437">SVF</a>
+</li>
+<li>GenericVFGNodeTy
+: <a class="el" href="namespaceSVF.html#a3b4bbc4b72e982a79c23fd3ec26410b6">SVF</a>
+</li>
+<li>GenericVFGTy
+: <a class="el" href="namespaceSVF.html#ab4f1d8a6715e791c94970e6f87b18f8f">SVF</a>
+</li>
+<li>gep_type_iterator
+: <a class="el" href="namespaceSVF.html#aa508c087703240dad69a9827e85ebd0b">SVF</a>
+</li>
+<li>GepSVFGNode
+: <a class="el" href="namespaceSVF.html#a65a3be463427d1112a8b87f072f3d22f">SVF</a>
+</li>
+<li>GlobalAlias
+: <a class="el" href="namespaceSVF.html#a0fd33072b099f61eaa642e94ed0c03fc">SVF</a>
+</li>
+<li>GlobalObject
+: <a class="el" href="namespaceSVF.html#af157dc77830b6cc804338df7430cbbb3">SVF</a>
+</li>
+<li>GlobalValue
+: <a class="el" href="namespaceSVF.html#a67f3f86344f028cacfbeb08caaf7bb0f">SVF</a>
+</li>
+<li>GlobalVariable
+: <a class="el" href="namespaceSVF.html#a09f5fa3bc44bf53612a085e3a611cc4e">SVF</a>
+</li>
+<li>GraphPrinter
+: <a class="el" href="namespaceSVF.html#a2eae2d6648dd6715421bd7af67d57637">SVF</a>
+</li>
+</ul>
+
+
+<h3><a id="index_i"></a>- i -</h3><ul>
+<li>inst_iterator
+: <a class="el" href="namespaceSVF.html#a255af6ff30782cb9a548feadb0fe7d6b">SVF</a>
+</li>
+<li>Instruction
+: <a class="el" href="namespaceSVF.html#a7875172ff434b2210eea7cecfbbd959e">SVF</a>
+</li>
+<li>IntegerType
+: <a class="el" href="namespaceSVF.html#a3d9e7f32dc17fe8d40f8d6a011403b91">SVF</a>
+</li>
+<li>InterPHISVFGNode
+: <a class="el" href="namespaceSVF.html#a0f7ff1d9a479df87241b45bb9c81d3ca">SVF</a>
+</li>
+<li>IntraPHISVFGNode
+: <a class="el" href="namespaceSVF.html#ad772e1586e369943f37c22641e93e941">SVF</a>
+</li>
+<li>IRBuilder
+: <a class="el" href="namespaceSVF.html#a94824519e439aeef1568d415b6f7331c">SVF</a>
+</li>
+</ul>
+
+
+<h3><a id="index_l"></a>- l -</h3><ul>
+<li>LLVMContext
+: <a class="el" href="namespaceSVF.html#affba423b674a0aba723e33101826e297">SVF</a>
+</li>
+<li>LoadInst
+: <a class="el" href="namespaceSVF.html#a5a6e8ab900d5cd17ef72661006a7fbe0">SVF</a>
+</li>
+<li>LoadSVFGNode
+: <a class="el" href="namespaceSVF.html#a3ce49be3724e1e8423ccdfa726fbf6c8">SVF</a>
+</li>
+<li>LocDPItem
+: <a class="el" href="namespaceSVF.html#aa50ee8563f99ba1eb897301f55e9d855">SVF</a>
+</li>
+<li>Loop
+: <a class="el" href="namespaceSVF.html#abf85e29310b2e4df8925d00a5c081314">SVF</a>
+</li>
+<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>
+
+
+<h3><a id="index_m"></a>- m -</h3><ul>
+<li>Map
+: <a class="el" href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">SVF</a>
+</li>
+<li>MDNode
+: <a class="el" href="namespaceSVF.html#ad3d3cec1813411f039211c86236f7adb">SVF</a>
+</li>
+<li>MDString
+: <a class="el" href="namespaceSVF.html#a28eec26ec8edaa5e96aecfeb01f6c0d4">SVF</a>
+</li>
+<li>Module
+: <a class="el" href="namespaceSVF.html#aa7a770b5dd5cd0e37d06a1088f252906">SVF</a>
+</li>
+<li>ModulePass
+: <a class="el" href="namespaceSVF.html#ac226d84f86637126d17f6814632c8a90">SVF</a>
+</li>
+<li>MRID
+: <a class="el" href="namespaceSVF.html#a1ed5cfc8a00b2d3b90e74debabaa62a5">SVF</a>
+</li>
+<li>MRVERID
+: <a class="el" href="namespaceSVF.html#a0039280e908258b8e73779de51e9f63b">SVF</a>
+</li>
+<li>MRVERSION
+: <a class="el" href="namespaceSVF.html#a39df0130e37e97db2ff7620bbb2a72f5">SVF</a>
+</li>
+</ul>
+
+
+<h3><a id="index_n"></a>- n -</h3><ul>
+<li>NamedMDNode
+: <a class="el" href="namespaceSVF.html#a3011dbac9102f044ad5f36a4ad3d4a71">SVF</a>
+</li>
+<li>NodeBS
+: <a class="el" href="namespaceSVF.html#a740396763e377643790c8b803ab3e4ea">SVF</a>
+</li>
+<li>NodeDeque
+: <a class="el" href="namespaceSVF.html#a35068c3650567d5051416db4aeb48e74">SVF</a>
+</li>
+<li>NodeID
+: <a class="el" href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">SVF</a>
+</li>
+<li>NodeList
+: <a class="el" href="namespaceSVF.html#ab80cc7e84367e8c5a6a5a617880890f5">SVF</a>
+</li>
+<li>NodePair
+: <a class="el" href="namespaceSVF.html#af15e78ec0ab5bf5328d0f8e90c74fe4b">SVF</a>
+</li>
+<li>NodePairMap
+: <a class="el" href="namespaceSVF.html#a56a7d652fccf3134748f3cb8e8334b76">SVF</a>
+</li>
+<li>NodePairSet
+: <a class="el" href="namespaceSVF.html#ac82022f3f81965c3ce9b26c299f537a7">SVF</a>
+</li>
+<li>NodeSet
+: <a class="el" href="namespaceSVF.html#a212231734fa43d5c7414137deaac7df3">SVF</a>
+</li>
+<li>NodeStack
+: <a class="el" href="namespaceSVF.html#a1811127aebdb9c926e39d155e20b3dc0">SVF</a>
+</li>
+<li>NodeVector
+: <a class="el" href="namespaceSVF.html#a39d27055a14d9d6363c668ee215a4676">SVF</a>
+</li>
+<li>NullPtrSVFGNode
+: <a class="el" href="namespaceSVF.html#aeccd0bd024319173c1cda5ff1a79c5ae">SVF</a>
+</li>
+</ul>
+
+
+<h3><a id="index_o"></a>- o -</h3><ul>
+<li>OrderedMap
+: <a class="el" href="namespaceSVF.html#aedf0d6718ca176e0b9e17ab4b30729c6">SVF</a>
+</li>
+<li>OrderedNodeSet
+: <a class="el" href="namespaceSVF.html#a3c2bd95727ec0d9c55c631b6617026c8">SVF</a>
+</li>
+<li>OrderedSet
+: <a class="el" href="namespaceSVF.html#a4f21e91ff8eaea5207afe5c60dbd78d7">SVF</a>
+</li>
+<li>OutStream
+: <a class="el" href="namespaceSVF.html#a8bd74fdcb0e58d0249003df9c3fb8b31">SVF</a>
+</li>
+</ul>
+
+
+<h3><a id="index_p"></a>- p -</h3><ul>
+<li>PAG
+: <a class="el" href="namespaceSVF.html#ac47d39fb505e8ed8d2c6b6b318be5f4d">SVF</a>
+</li>
+<li>PAGEdge
+: <a class="el" href="namespaceSVF.html#ae6ead95a66f69e1e4cfa1159f868a152">SVF</a>
+</li>
+<li>PAGNode
+: <a class="el" href="namespaceSVF.html#a733b44f64a95e6e13e7379120d7a3eea">SVF</a>
+</li>
+<li>PHISVFGNode
+: <a class="el" href="namespaceSVF.html#a71d4e214e049f02bf26537cba6328673">SVF</a>
+</li>
+<li>PointerType
+: <a class="el" href="namespaceSVF.html#aa962cc1d782cc46553251e96b64a754b">SVF</a>
+</li>
+<li>PointsToID
+: <a class="el" href="namespaceSVF.html#ae545a88267bd2246de827cf590675aca">SVF</a>
+</li>
+<li>PointsToList
+: <a class="el" href="namespaceSVF_1_1SVFUtil.html#a4740b14abf7d308e7806a0d6d6c42ee2">SVF::SVFUtil</a>
+</li>
+<li>PostDominatorTree
+: <a class="el" href="namespaceSVF.html#ab34383ee87cd45eb485fa29db482ffef">SVF</a>
+</li>
+<li>PostDominatorTreeWrapperPass
+: <a class="el" href="namespaceSVF.html#a7f570d09953aa4ec60fd1d5f7f71b521">SVF</a>
+</li>
+</ul>
+
+
+<h3><a id="index_r"></a>- r -</h3><ul>
+<li>raw_fd_ostream
+: <a class="el" href="namespaceSVF.html#a1c7c7ac12791c0ae386283c0a4f127ba">SVF</a>
+</li>
+<li>raw_string_ostream
+: <a class="el" href="namespaceSVF.html#a726981481ac082dcda3e4921416b65a0">SVF</a>
+</li>
+<li>ReturnInst
+: <a class="el" href="namespaceSVF.html#ac7dcc6103dee3a0bbc2fd2e02716a154">SVF</a>
+</li>
+</ul>
+
+
+<h3><a id="index_s"></a>- s -</h3><ul>
+<li>s32_t
+: <a class="el" href="namespaceSVF.html#a9b707002523ece2ac54ca893ee9a2d4e">SVF</a>
+</li>
+<li>s64_t
+: <a class="el" href="namespaceSVF.html#ad781b0b14e89773e774072b280658ef3">SVF</a>
+</li>
+<li>ScalarEvolution
+: <a class="el" href="namespaceSVF.html#ad8794eb3c00de3d3b5c5e43dded3fb42">SVF</a>
+</li>
+<li>ScalarEvolutionWrapperPass
+: <a class="el" href="namespaceSVF.html#a9f1aca0384166e42d14e2608009ebc01">SVF</a>
+</li>
+<li>SCEV
+: <a class="el" href="namespaceSVF.html#aac5262378e41a3414a20cc9a41d4adc6">SVF</a>
+</li>
+<li>SCEVAddRecExpr
+: <a class="el" href="namespaceSVF.html#a4f7c400fbf2fa03db8cf61cb9a7dd3e8">SVF</a>
+</li>
+<li>SCEVConstant
+: <a class="el" href="namespaceSVF.html#abe745006fa40399d8a13613a3e0dfc63">SVF</a>
+</li>
+<li>Set
+: <a class="el" href="namespaceSVF.html#af739db846e47ba6b2fd15eaad31ab7fb">SVF</a>
+</li>
+<li>SmallBBVector
+: <a class="el" href="namespaceSVF.html#a02be4933b76c2baa7fdbe8b290e12bb3">SVF</a>
+</li>
+<li>SparseBitVector
+: <a class="el" href="namespaceSVF.html#ab6cf2115b54ef7135b031efc2f112b54">SVF</a>
+</li>
+<li>StmtSVFGNode
+: <a class="el" href="namespaceSVF.html#a26bd4f89dc154b9c6d34b6a517777934">SVF</a>
+</li>
+<li>StoreInst
+: <a class="el" href="namespaceSVF.html#ab696aab940eb187dc81217efe8649af5">SVF</a>
+</li>
+<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>StructType
+: <a class="el" href="namespaceSVF.html#a2bf58575ac7d068e0f1a4cf953b9e6cb">SVF</a>
+</li>
+<li>succ_const_iterator
+: <a class="el" href="namespaceSVF.html#a3436a988bf80c021cd8022fb445b66d5">SVF</a>
+</li>
+<li>SVFGEdge
+: <a class="el" href="namespaceSVF.html#aa4745cf70b26e17d59752356f0b19dd9">SVF</a>
+</li>
+<li>SVFGNode
+: <a class="el" href="namespaceSVF.html#a5dfa3fa5129bacdc0be0c051ccf386df">SVF</a>
+</li>
+<li>SwitchInst
+: <a class="el" href="namespaceSVF.html#a412280b134578905248ce0122c5db7c9">SVF</a>
+</li>
+<li>SymID
+: <a class="el" href="namespaceSVF.html#ad11fe2412b2182365a662ff0e4639b48">SVF</a>
+</li>
+</ul>
+
+
+<h3><a id="index_t"></a>- t -</h3><ul>
+<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>
+</ul>
+
+
+<h3><a id="index_u"></a>- u -</h3><ul>
+<li>u32_t
+: <a class="el" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">SVF</a>
+</li>
+<li>u64_t
+: <a class="el" href="namespaceSVF.html#a366625858f450a1ea5f985a3c83e0f14">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>Use
+: <a class="el" href="namespaceSVF.html#a334998718813a19a7697daf4ba282faf">SVF</a>
+</li>
+<li>User
+: <a class="el" href="namespaceSVF.html#afc1b50355821e7299df03b026e36f1df">SVF</a>
+</li>
+</ul>
+
+
+<h3><a id="index_v"></a>- v -</h3><ul>
+<li>Value
+: <a class="el" href="namespaceSVF.html#a90b263fd2f541eca78135078114cabda">SVF</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>
+<li>VersionedVar
+: <a class="el" href="namespaceSVF.html#a32489632f53dce062ca2e8bff42c65cf">SVF</a>
+</li>
+<li>VersionedVarSet
+: <a class="el" href="namespaceSVF.html#a544021f3075a89ff634b215a0efe3385">SVF</a>
+</li>
+<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>
+<li>VTableSet
+: <a class="el" href="namespaceSVF.html#a53511f619c06836ee85acf12153810e2">SVF</a>
+</li>
+</ul>
+
+
+<h3><a id="index_w"></a>- w -</h3><ul>
+<li>WPAConstraintSolver
+: <a class="el" href="namespaceSVF.html#ae9c142945ea31b6c70bceb93eb6f3ca4">SVF</a>
 </li>
-<li>AtomicRMWInst
-: <a class="el" href="namespaceSVF.html#a468154e0ab9e7be82afef1aa0a2fb9e0">SVF</a>
+<li>WPASVFGFSSolver
+: <a class="el" href="namespaceSVF.html#a221270d70aa99a37738c0f919519a73d">SVF</a>
 </li>
 </ul>
 </div><!-- contents -->

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

@@ -67,18 +67,12 @@ $(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>

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

@@ -61,24 +61,12 @@ $(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>

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

@@ -307,7 +307,7 @@ var searchData=
   ['addvfgnodes',['addVFGNodes',['../classSVF_1_1VFG.html#a3544cc0380964f238c964a0e7b417862',1,'SVF::VFG']]],
   ['addvfpath',['addVFPath',['../classSVF_1_1PathStmtDPItem.html#ac8677af22f80379acf5dfd649ab41227',1,'SVF::PathStmtDPItem']]],
   ['addvirtualfunctionvector',['addVirtualFunctionVector',['../classSVF_1_1CHNode.html#a8c51571df92b5e152cc42e9aaf712dc9',1,'SVF::CHNode']]],
-  ['alias',['alias',['../classSVF_1_1DDAPass.html#a0a39a0f3e530a97a38dbfe0d9f04ec33',1,'SVF::DDAPass::alias(const MemoryLocation &LocA, const MemoryLocation &LocB)'],['../classSVF_1_1DDAPass.html#a242575c5bd8a8f17fdc802e5ba80e7b0',1,'SVF::DDAPass::alias(const Value *V1, const Value *V2)'],['../classSVF_1_1DDAPass.html#a96de481dd2af7b39428aff38158c1d4e',1,'SVF::DDAPass::alias(NodeID V1, NodeID V2)'],['../classSVF_1_1PointerAnalysis.html#abd9da46106d820721a24201caaa164e1',1,'SVF::PointerAnalysis::alias(const MemoryLocation &LocA, const MemoryLocation &LocB)=0'],['../classSVF_1_1PointerAnalysis.html#a6c01f259ad2379a422d7106ce0255eb8',1,'SVF::PointerAnalysis::alias(const Value *V1, const Value *V2)=0'],['../classSVF_1_1PointerAnalysis.html#a0f712ead1f31750879948c36b2fc77cf',1,'SVF::PointerAnalysis::alias(NodeID node1, NodeID node2)=0'],['../classSVF_1_1BVDataPTAImpl.html#ad06fbd9a51499c668662b533eeb2e4ac',1,'SVF::BVDataPTAImpl::alias(const MemoryLocation &LocA, const MemoryLocation &LocB)'],['../classSVF_1_1BVDataPTAImpl.html#adaba5a41a60e32d18d964bdb8ae5b2df',1,'SVF::BVDataPTAImpl::alias(const Value *V1, const Value *V2)'],['../classSVF_1_1BVDataPTAImpl.html#a949533e5c99698c7f9862aae5de23687',1,'SVF::BVDataPTAImpl::alias(NodeID node1, NodeID node2)'],['../classSVF_1_1BVDataPTAImpl.html#a25720f154731a8c745da10aa76ab8517',1,'SVF::BVDataPTAImpl::alias(const PointsTo &pts1, const PointsTo &pts2)'],['../classSVF_1_1CondPTAImpl.html#afa6dffc1ac7e8dada1ff9e75b8cfd187',1,'SVF::CondPTAImpl::alias(const MemoryLocation &LocA, const MemoryLocation &LocB)'],['../classSVF_1_1CondPTAImpl.html#a171918ada9b679b0114b27476caa5ee6',1,'SVF::CondPTAImpl::alias(const Value *V1, const Value *V2)'],['../classSVF_1_1CondPTAImpl.html#ac18e1dc9c6fc8cc952f67a93c2491876',1,'SVF::CondPTAImpl::alias(NodeID node1, NodeID node2)'],['../classSVF_1_1CondPTAImpl.html#adb1ed3728d53a13c94402392155e9913',1,'SVF::CondPTAImpl::alias(const CVar &var1, const CVar &var2)'],['../classSVF_1_1CondPTAImpl.html#a8e48e9fe6f7e21da49a155f8f6893944',1,'SVF::CondPTAImpl::alias(const CPtSet &pts1, const CPtSet &pts2)'],['../classSVF_1_1LockAnalysis.html#a4424f27444c12dce8071c56a95c664bf',1,'SVF::LockAnalysis::alias()'],['../classSVF_1_1WPAPass.html#af339db8bffc554be7dd5cb6b100649e7',1,'SVF::WPAPass::alias(const MemoryLocation &LocA, const MemoryLocation &LocB)'],['../classSVF_1_1WPAPass.html#a5a71ab4d4bd993ff52da60c730d7b57f',1,'SVF::WPAPass::alias(const Value *V1, const Value *V2)']]],
+  ['alias',['alias',['../classSVF_1_1DDAPass.html#a242575c5bd8a8f17fdc802e5ba80e7b0',1,'SVF::DDAPass::alias(const Value *V1, const Value *V2)'],['../classSVF_1_1DDAPass.html#a96de481dd2af7b39428aff38158c1d4e',1,'SVF::DDAPass::alias(NodeID V1, NodeID V2)'],['../classSVF_1_1PointerAnalysis.html#a6c01f259ad2379a422d7106ce0255eb8',1,'SVF::PointerAnalysis::alias(const Value *V1, const Value *V2)=0'],['../classSVF_1_1PointerAnalysis.html#a0f712ead1f31750879948c36b2fc77cf',1,'SVF::PointerAnalysis::alias(NodeID node1, NodeID node2)=0'],['../classSVF_1_1BVDataPTAImpl.html#adaba5a41a60e32d18d964bdb8ae5b2df',1,'SVF::BVDataPTAImpl::alias(const Value *V1, const Value *V2)'],['../classSVF_1_1BVDataPTAImpl.html#a949533e5c99698c7f9862aae5de23687',1,'SVF::BVDataPTAImpl::alias(NodeID node1, NodeID node2)'],['../classSVF_1_1BVDataPTAImpl.html#a25720f154731a8c745da10aa76ab8517',1,'SVF::BVDataPTAImpl::alias(const PointsTo &pts1, const PointsTo &pts2)'],['../classSVF_1_1CondPTAImpl.html#a171918ada9b679b0114b27476caa5ee6',1,'SVF::CondPTAImpl::alias(const Value *V1, const Value *V2)'],['../classSVF_1_1CondPTAImpl.html#ac18e1dc9c6fc8cc952f67a93c2491876',1,'SVF::CondPTAImpl::alias(NodeID node1, NodeID node2)'],['../classSVF_1_1CondPTAImpl.html#adb1ed3728d53a13c94402392155e9913',1,'SVF::CondPTAImpl::alias(const CVar &var1, const CVar &var2)'],['../classSVF_1_1CondPTAImpl.html#a8e48e9fe6f7e21da49a155f8f6893944',1,'SVF::CondPTAImpl::alias(const CPtSet &pts1, const CPtSet &pts2)'],['../classSVF_1_1LockAnalysis.html#a4424f27444c12dce8071c56a95c664bf',1,'SVF::LockAnalysis::alias()'],['../classSVF_1_1WPAPass.html#a5a71ab4d4bd993ff52da60c730d7b57f',1,'SVF::WPAPass::alias()']]],
   ['alias_5fbegin',['alias_begin',['../classSVF_1_1SVFModule.html#a7f2b4647c8d69c8328b63e576cb6d065',1,'SVF::SVFModule::alias_begin()'],['../classSVF_1_1SVFModule.html#a0e28f6eaf32efc6f2c0987e64f1df852',1,'SVF::SVFModule::alias_begin() const']]],
   ['alias_5fend',['alias_end',['../classSVF_1_1SVFModule.html#a3cfd0983849950099d1e8f8e0fda42bc',1,'SVF::SVFModule::alias_end()'],['../classSVF_1_1SVFModule.html#a1bb5c818ec63d81a238f3d242a89079f',1,'SVF::SVFModule::alias_end() const']]],
   ['alias_5fiterator',['alias_iterator',['../classSVF_1_1SVFModule.html#abee99d29b7d4c4915a386895c755009c',1,'SVF::SVFModule']]],
@@ -430,8 +430,8 @@ var searchData=
   ['atend',['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']]],
   ['atof',['atof',['../util_8h.html#ad37d469faf1f38a3c35d1253575a513a',1,'util.h']]],
-  ['atomiccmpxchginst',['AtomicCmpXchgInst',['../namespaceSVF.html#a582e3736a2bbb0540364c1693d831b49',1,'SVF']]],
-  ['atomicrmwinst',['AtomicRMWInst',['../namespaceSVF.html#a468154e0ab9e7be82afef1aa0a2fb9e0',1,'SVF']]],
+  ['atomiccmpxchginst',['AtomicCmpXchgInst',['../SVF-FE_2BasicTypes_8h.html#abafbd655050c8c70dc8947997c369294',1,'BasicTypes.h']]],
+  ['atomicrmwinst',['AtomicRMWInst',['../SVF-FE_2BasicTypes_8h.html#ab3bd63fdab8cc747227a32f88bd10370',1,'BasicTypes.h']]],
   ['atptdata',['atPTData',['../classSVF_1_1MutableVersionedPTData.html#a3e5337d4189e98f11305491a9ef3c439',1,'SVF::MutableVersionedPTData::atPTData()'],['../classSVF_1_1PersistentVersionedPTData.html#a61b44f6d63cca013da2b278f47298473',1,'SVF::PersistentVersionedPTData::atPTData()']]],
   ['atvfnodeend',['ATVFNodeEnd',['../classSVF_1_1SVFGStat.html#aa39231c3d81fa87cdb6089f17bc35af8',1,'SVF::SVFGStat']]],
   ['atvfnodestart',['ATVFNodeStart',['../classSVF_1_1SVFGStat.html#a4bf9a39b93b7254f627dd393b9f2b82c',1,'SVF::SVFGStat']]],