npm - svf-tools - Versions diffs - 1.0.595 → 1.0.596 - Mend

svf-tools 1.0.595 → 1.0.596

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.

Files changed (629) hide show

package/SVF-doxygen/html/html/structllvm_1_1pointee__iterator.html ADDED Viewed

@@ -0,0 +1,279 @@
+<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
+<html xmlns="http://www.w3.org/1999/xhtml">
+<head>
+<meta http-equiv="Content-Type" content="text/xhtml;charset=UTF-8"/>
+<meta http-equiv="X-UA-Compatible" content="IE=9"/>
+<meta name="generator" content="Doxygen 1.8.13"/>
+<meta name="viewport" content="width=device-width, initial-scale=1"/>
+<title>Static Value-Flow Analysis: llvm::pointee_iterator&lt; WrappedIteratorT, T &gt; Struct Template Reference</title>
+<link href="tabs.css" rel="stylesheet" type="text/css"/>
+<script type="text/javascript" src="jquery.js"></script>
+<script type="text/javascript" src="dynsections.js"></script>
+<link href="search/search.css" rel="stylesheet" type="text/css"/>
+<script type="text/javascript" src="search/searchdata.js"></script>
+<script type="text/javascript" src="search/search.js"></script>
+<link href="doxygen.css" rel="stylesheet" type="text/css" />
+</head>
+<body>
+<div id="top"><!-- do not remove this div, it is closed by doxygen! -->
+<div id="titlearea">
+<table cellspacing="0" cellpadding="0">
+ <tbody>
+ <tr style="height: 56px;">
+  <td id="projectalign" style="padding-left: 0.5em;">
+   <div id="projectname">Static Value-Flow Analysis
+   </div>
+  </td>
+ </tr>
+ </tbody>
+</table>
+</div>
+<!-- end header part -->
+<!-- Generated by Doxygen 1.8.13 -->
+<script type="text/javascript">
+var searchBox = new SearchBox("searchBox", "search",false,'Search');
+</script>
+<script type="text/javascript" src="menudata.js"></script>
+<script type="text/javascript" src="menu.js"></script>
+<script type="text/javascript">
+$(function() {
+  initMenu('',true,false,'search.php','Search');
+  $(document).ready(function() { init_search(); });
+});
+</script>
+<div id="main-nav"></div>
+<!-- window showing the filter options -->
+<div id="MSearchSelectWindow"
+     onmouseover="return searchBox.OnSearchSelectShow()"
+     onmouseout="return searchBox.OnSearchSelectHide()"
+     onkeydown="return searchBox.OnSearchSelectKey(event)">
+</div>
+<!-- iframe showing the search results (closed by default) -->
+<div id="MSearchResultsWindow">
+<iframe src="javascript:void(0)" frameborder="0"
+        name="MSearchResults" id="MSearchResults">
+</iframe>
+</div>
+<div id="nav-path" class="navpath">
+  <ul>
+<li class="navelem"><a class="el" href="namespacellvm.html">llvm</a></li><li class="navelem"><a class="el" href="structllvm_1_1pointee__iterator.html">pointee_iterator</a></li>  </ul>
+</div>
+</div><!-- top -->
+<div class="header">
+  <div class="summary">
+<a href="#pub-methods">Public Member Functions</a> &#124;
+<a href="structllvm_1_1pointee__iterator-members.html">List of all members</a>  </div>
+  <div class="headertitle">
+<div class="title">llvm::pointee_iterator&lt; WrappedIteratorT, T &gt; Struct Template Reference</div>  </div>
+</div><!--header-->
+<div class="contents">
+<p><code>#include &lt;<a class="el" href="iterator_8h_source.html">iterator.h</a>&gt;</code></p>
+<div class="dynheader">
+Inheritance diagram for llvm::pointee_iterator&lt; WrappedIteratorT, T &gt;:</div>
+<div class="dyncontent">
+ <div class="center">
+  <img src="structllvm_1_1pointee__iterator.png" usemap="#llvm::pointee_5Fiterator_3C_20WrappedIteratorT_2C_20T_20_3E_map" alt=""/>
+  <map id="llvm::pointee_5Fiterator_3C_20WrappedIteratorT_2C_20T_20_3E_map" name="llvm::pointee_5Fiterator_3C_20WrappedIteratorT_2C_20T_20_3E_map">
+<area href="classllvm_1_1iterator__adaptor__base.html" alt="llvm::iterator_adaptor_base&lt; pointee_iterator&lt; WrappedIteratorT, T &gt;, WrappedIteratorT, std::iterator_traits&lt; WrappedIteratorT &gt;::iterator_category, T &gt;" shape="rect" coords="0,56,3104,80"/>
+<area href="classllvm_1_1iterator__facade__base.html" alt="llvm::iterator_facade_base&lt; pointee_iterator&lt; WrappedIteratorT, T &gt;, std::iterator_traits&lt; WrappedIteratorT &gt;::iterator_category, T, typename std::iterator_traits&lt; WrappedIteratorT &gt;::difference_type, std::conditional_t&lt; std::is_same&lt; T, typename std::iterator_traits&lt; WrappedIteratorT &gt;::value_type &gt;::value, typename std::iterator_traits&lt; WrappedIteratorT &gt;::pointer, T * &gt;, std::conditional_t&lt; std::is_same&lt; T, typename std::iterator_traits&lt; WrappedIteratorT &gt;::value_type &gt;::value, typename std::iterator_traits&lt; WrappedIteratorT &gt;::reference, T &amp; &gt; &gt;" shape="rect" coords="0,0,3104,24"/>
+</map>
+ </div></div>
+<table class="memberdecls">
+<tr class="heading"><td colspan="2"><h2 class="groupheader"><a name="pub-methods"></a>
+Public Member Functions</h2></td></tr>
+<tr class="memitem:adf01b96db9ddeda9a3edfc4bd6b392b8"><td class="memItemLeft" align="right" valign="top">&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="structllvm_1_1pointee__iterator.html#adf01b96db9ddeda9a3edfc4bd6b392b8">pointee_iterator</a> ()=default</td></tr>
+<tr class="separator:adf01b96db9ddeda9a3edfc4bd6b392b8"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a59bc770f1247d7ba2273481b962cae62"><td class="memTemplParams" colspan="2">template&lt;typename U &gt; </td></tr>
+<tr class="memitem:a59bc770f1247d7ba2273481b962cae62"><td class="memTemplItemLeft" align="right" valign="top">&#160;</td><td class="memTemplItemRight" valign="bottom"><a class="el" href="structllvm_1_1pointee__iterator.html#a59bc770f1247d7ba2273481b962cae62">pointee_iterator</a> (U &amp;&amp;u)</td></tr>
+<tr class="separator:a59bc770f1247d7ba2273481b962cae62"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a36ef3dae4b2e8b955d19f02b520c80aa"><td class="memItemLeft" align="right" valign="top">T &amp;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="structllvm_1_1pointee__iterator.html#a36ef3dae4b2e8b955d19f02b520c80aa">operator*</a> () const</td></tr>
+<tr class="separator:a36ef3dae4b2e8b955d19f02b520c80aa"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="inherit_header pub_methods_classllvm_1_1iterator__adaptor__base"><td colspan="2" onclick="javascript:toggleInherit('pub_methods_classllvm_1_1iterator__adaptor__base')"><img src="closed.png" alt="-"/>&#160;Public Member Functions inherited from <a class="el" href="classllvm_1_1iterator__adaptor__base.html">llvm::iterator_adaptor_base&lt; pointee_iterator&lt; WrappedIteratorT, T &gt;, WrappedIteratorT, std::iterator_traits&lt; WrappedIteratorT &gt;::iterator_category, T &gt;</a></td></tr>
+<tr class="memitem:a9e6d0dbf9e60bafcd26c82f901898315 inherit pub_methods_classllvm_1_1iterator__adaptor__base"><td class="memItemLeft" align="right" valign="top"><a class="el" href="structllvm_1_1pointee__iterator.html">pointee_iterator</a>&lt; WrappedIteratorT, T &gt; &amp;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classllvm_1_1iterator__adaptor__base.html#a9e6d0dbf9e60bafcd26c82f901898315">operator+=</a> (<a class="el" href="classllvm_1_1iterator__facade__base.html#a7e07dfa56b74ed115bdddd442e8184e6">difference_type</a> <a class="el" href="cJSON_8cpp.html#ab6e2ea6dc7bd57d1483413449998230a">n</a>)</td></tr>
+<tr class="separator:a9e6d0dbf9e60bafcd26c82f901898315 inherit pub_methods_classllvm_1_1iterator__adaptor__base"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:abf1116bfe125f6672bd752c1a1af1f6d inherit pub_methods_classllvm_1_1iterator__adaptor__base"><td class="memItemLeft" align="right" valign="top"><a class="el" href="structllvm_1_1pointee__iterator.html">pointee_iterator</a>&lt; WrappedIteratorT, T &gt; &amp;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classllvm_1_1iterator__adaptor__base.html#abf1116bfe125f6672bd752c1a1af1f6d">operator-=</a> (<a class="el" href="classllvm_1_1iterator__facade__base.html#a7e07dfa56b74ed115bdddd442e8184e6">difference_type</a> <a class="el" href="cJSON_8cpp.html#ab6e2ea6dc7bd57d1483413449998230a">n</a>)</td></tr>
+<tr class="separator:abf1116bfe125f6672bd752c1a1af1f6d inherit pub_methods_classllvm_1_1iterator__adaptor__base"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a86b76a04e3b7abc4a27ca714cea0afee inherit pub_methods_classllvm_1_1iterator__adaptor__base"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classllvm_1_1iterator__facade__base.html#a7e07dfa56b74ed115bdddd442e8184e6">difference_type</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classllvm_1_1iterator__adaptor__base.html#a86b76a04e3b7abc4a27ca714cea0afee">operator-</a> (const <a class="el" href="structllvm_1_1pointee__iterator.html">pointee_iterator</a>&lt; WrappedIteratorT, T &gt; &amp;RHS) const</td></tr>
+<tr class="separator:a86b76a04e3b7abc4a27ca714cea0afee inherit pub_methods_classllvm_1_1iterator__adaptor__base"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a395dc6bf1e4e4f1ee18354a9a2203259 inherit pub_methods_classllvm_1_1iterator__adaptor__base"><td class="memItemLeft" align="right" valign="top"><a class="el" href="structllvm_1_1pointee__iterator.html">pointee_iterator</a>&lt; WrappedIteratorT, T &gt; &amp;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classllvm_1_1iterator__adaptor__base.html#a395dc6bf1e4e4f1ee18354a9a2203259">operator++</a> ()</td></tr>
+<tr class="separator:a395dc6bf1e4e4f1ee18354a9a2203259 inherit pub_methods_classllvm_1_1iterator__adaptor__base"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a924ad86f571d53385616b5663a1cf077 inherit pub_methods_classllvm_1_1iterator__adaptor__base"><td class="memItemLeft" align="right" valign="top"><a class="el" href="structllvm_1_1pointee__iterator.html">pointee_iterator</a>&lt; WrappedIteratorT, T &gt; &amp;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classllvm_1_1iterator__adaptor__base.html#a924ad86f571d53385616b5663a1cf077">operator--</a> ()</td></tr>
+<tr class="separator:a924ad86f571d53385616b5663a1cf077 inherit pub_methods_classllvm_1_1iterator__adaptor__base"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:ae47be6b8b03bf4680ea855ac805373a2 inherit pub_methods_classllvm_1_1iterator__adaptor__base"><td class="memItemLeft" align="right" valign="top">std::conditional_t&lt; std::is_same&lt; T, typename std::iterator_traits&lt; WrappedIteratorT &gt;::<a class="el" href="classllvm_1_1iterator__facade__base.html#a36fb299f78c975d65ffcef4baa31b7f6">value_type</a> &gt;::value, typename std::iterator_traits&lt; WrappedIteratorT &gt;::<a class="el" href="classllvm_1_1iterator__facade__base.html#a9ac08db5b07aefa9e82e65806804268b">reference</a>, T &amp; &gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classllvm_1_1iterator__adaptor__base.html#ae47be6b8b03bf4680ea855ac805373a2">operator*</a> () const</td></tr>
+<tr class="separator:ae47be6b8b03bf4680ea855ac805373a2 inherit pub_methods_classllvm_1_1iterator__adaptor__base"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="inherit_header pub_methods_classllvm_1_1iterator__facade__base"><td colspan="2" onclick="javascript:toggleInherit('pub_methods_classllvm_1_1iterator__facade__base')"><img src="closed.png" alt="-"/>&#160;Public Member Functions inherited from <a class="el" href="classllvm_1_1iterator__facade__base.html">llvm::iterator_facade_base&lt; pointee_iterator&lt; WrappedIteratorT, T &gt;, std::iterator_traits&lt; WrappedIteratorT &gt;::iterator_category, T, typename std::iterator_traits&lt; WrappedIteratorT &gt;::difference_type, std::conditional_t&lt; std::is_same&lt; T, typename std::iterator_traits&lt; WrappedIteratorT &gt;::value_type &gt;::value, typename std::iterator_traits&lt; WrappedIteratorT &gt;::pointer, T * &gt;, std::conditional_t&lt; std::is_same&lt; T, typename std::iterator_traits&lt; WrappedIteratorT &gt;::value_type &gt;::value, typename std::iterator_traits&lt; WrappedIteratorT &gt;::reference, T &amp; &gt; &gt;</a></td></tr>
+<tr class="memitem:acf61699425762fc11a314213e3bc6ef4 inherit pub_methods_classllvm_1_1iterator__facade__base"><td class="memItemLeft" align="right" valign="top"><a class="el" href="structllvm_1_1pointee__iterator.html">pointee_iterator</a>&lt; WrappedIteratorT, T &gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classllvm_1_1iterator__facade__base.html#acf61699425762fc11a314213e3bc6ef4">operator+</a> (typename std::iterator_traits&lt; WrappedIteratorT &gt;::<a class="el" href="classllvm_1_1iterator__facade__base.html#a7e07dfa56b74ed115bdddd442e8184e6">difference_type</a> <a class="el" href="cJSON_8cpp.html#ab6e2ea6dc7bd57d1483413449998230a">n</a>) const</td></tr>
+<tr class="separator:acf61699425762fc11a314213e3bc6ef4 inherit pub_methods_classllvm_1_1iterator__facade__base"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a491d3989cc90d99cdb1f123d141b87cb inherit pub_methods_classllvm_1_1iterator__facade__base"><td class="memItemLeft" align="right" valign="top"><a class="el" href="structllvm_1_1pointee__iterator.html">pointee_iterator</a>&lt; WrappedIteratorT, T &gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classllvm_1_1iterator__facade__base.html#a491d3989cc90d99cdb1f123d141b87cb">operator-</a> (typename std::iterator_traits&lt; WrappedIteratorT &gt;::<a class="el" href="classllvm_1_1iterator__facade__base.html#a7e07dfa56b74ed115bdddd442e8184e6">difference_type</a> <a class="el" href="cJSON_8cpp.html#ab6e2ea6dc7bd57d1483413449998230a">n</a>) const</td></tr>
+<tr class="separator:a491d3989cc90d99cdb1f123d141b87cb inherit pub_methods_classllvm_1_1iterator__facade__base"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a5e76a6059a007866f3a307fdaf8f3401 inherit pub_methods_classllvm_1_1iterator__facade__base"><td class="memItemLeft" align="right" valign="top"><a class="el" href="structllvm_1_1pointee__iterator.html">pointee_iterator</a>&lt; WrappedIteratorT, T &gt; &amp;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classllvm_1_1iterator__facade__base.html#a5e76a6059a007866f3a307fdaf8f3401">operator++</a> ()</td></tr>
+<tr class="separator:a5e76a6059a007866f3a307fdaf8f3401 inherit pub_methods_classllvm_1_1iterator__facade__base"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a668b849a4f26755eae386315d5ea363c inherit pub_methods_classllvm_1_1iterator__facade__base"><td class="memItemLeft" align="right" valign="top"><a class="el" href="structllvm_1_1pointee__iterator.html">pointee_iterator</a>&lt; WrappedIteratorT, T &gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classllvm_1_1iterator__facade__base.html#a668b849a4f26755eae386315d5ea363c">operator++</a> (int)</td></tr>
+<tr class="separator:a668b849a4f26755eae386315d5ea363c inherit pub_methods_classllvm_1_1iterator__facade__base"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:aa8fb990c1847fec73bcbcaab5517ee11 inherit pub_methods_classllvm_1_1iterator__facade__base"><td class="memItemLeft" align="right" valign="top"><a class="el" href="structllvm_1_1pointee__iterator.html">pointee_iterator</a>&lt; WrappedIteratorT, T &gt; &amp;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classllvm_1_1iterator__facade__base.html#aa8fb990c1847fec73bcbcaab5517ee11">operator--</a> ()</td></tr>
+<tr class="separator:aa8fb990c1847fec73bcbcaab5517ee11 inherit pub_methods_classllvm_1_1iterator__facade__base"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a2fe5a54c4c470c05190130854c0baca3 inherit pub_methods_classllvm_1_1iterator__facade__base"><td class="memItemLeft" align="right" valign="top"><a class="el" href="structllvm_1_1pointee__iterator.html">pointee_iterator</a>&lt; WrappedIteratorT, T &gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classllvm_1_1iterator__facade__base.html#a2fe5a54c4c470c05190130854c0baca3">operator--</a> (int)</td></tr>
+<tr class="separator:a2fe5a54c4c470c05190130854c0baca3 inherit pub_methods_classllvm_1_1iterator__facade__base"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a8177352435657f182290be3d5c345cfc inherit pub_methods_classllvm_1_1iterator__facade__base"><td class="memItemLeft" align="right" valign="top">bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classllvm_1_1iterator__facade__base.html#a8177352435657f182290be3d5c345cfc">operator!=</a> (const <a class="el" href="structllvm_1_1pointee__iterator.html">pointee_iterator</a>&lt; WrappedIteratorT, T &gt; &amp;RHS) const</td></tr>
+<tr class="separator:a8177352435657f182290be3d5c345cfc inherit pub_methods_classllvm_1_1iterator__facade__base"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a9677d8ef8998cc763948bfdfc2f73c6e inherit pub_methods_classllvm_1_1iterator__facade__base"><td class="memItemLeft" align="right" valign="top">bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classllvm_1_1iterator__facade__base.html#a9677d8ef8998cc763948bfdfc2f73c6e">operator&gt;</a> (const <a class="el" href="structllvm_1_1pointee__iterator.html">pointee_iterator</a>&lt; WrappedIteratorT, T &gt; &amp;RHS) const</td></tr>
+<tr class="separator:a9677d8ef8998cc763948bfdfc2f73c6e inherit pub_methods_classllvm_1_1iterator__facade__base"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a11ebcbea3c495045f2bef3d4a0b92e61 inherit pub_methods_classllvm_1_1iterator__facade__base"><td class="memItemLeft" align="right" valign="top">bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classllvm_1_1iterator__facade__base.html#a11ebcbea3c495045f2bef3d4a0b92e61">operator&lt;=</a> (const <a class="el" href="structllvm_1_1pointee__iterator.html">pointee_iterator</a>&lt; WrappedIteratorT, T &gt; &amp;RHS) const</td></tr>
+<tr class="separator:a11ebcbea3c495045f2bef3d4a0b92e61 inherit pub_methods_classllvm_1_1iterator__facade__base"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a2eaf8d2f2898a998c33dbc9d581844e3 inherit pub_methods_classllvm_1_1iterator__facade__base"><td class="memItemLeft" align="right" valign="top">bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classllvm_1_1iterator__facade__base.html#a2eaf8d2f2898a998c33dbc9d581844e3">operator&gt;=</a> (const <a class="el" href="structllvm_1_1pointee__iterator.html">pointee_iterator</a>&lt; WrappedIteratorT, T &gt; &amp;RHS) const</td></tr>
+<tr class="separator:a2eaf8d2f2898a998c33dbc9d581844e3 inherit pub_methods_classllvm_1_1iterator__facade__base"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:ae99ad011019c5d09c5923dd020404e40 inherit pub_methods_classllvm_1_1iterator__facade__base"><td class="memItemLeft" align="right" valign="top">std::conditional_t&lt; std::is_same&lt; T, typename std::iterator_traits&lt; WrappedIteratorT &gt;::<a class="el" href="classllvm_1_1iterator__facade__base.html#a36fb299f78c975d65ffcef4baa31b7f6">value_type</a> &gt;::value, typename std::iterator_traits&lt; WrappedIteratorT &gt;::<a class="el" href="classllvm_1_1iterator__facade__base.html#ae2d9deb2dce97bf6cf45faf988c30a3b">pointer</a>, T *&gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classllvm_1_1iterator__facade__base.html#ae99ad011019c5d09c5923dd020404e40">operator-&gt;</a> ()</td></tr>
+<tr class="separator:ae99ad011019c5d09c5923dd020404e40 inherit pub_methods_classllvm_1_1iterator__facade__base"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a1a6b6c67bf160e7e63b724ec72624ab2 inherit pub_methods_classllvm_1_1iterator__facade__base"><td class="memItemLeft" align="right" valign="top">std::conditional_t&lt; std::is_same&lt; T, typename std::iterator_traits&lt; WrappedIteratorT &gt;::<a class="el" href="classllvm_1_1iterator__facade__base.html#a36fb299f78c975d65ffcef4baa31b7f6">value_type</a> &gt;::value, typename std::iterator_traits&lt; WrappedIteratorT &gt;::<a class="el" href="classllvm_1_1iterator__facade__base.html#ae2d9deb2dce97bf6cf45faf988c30a3b">pointer</a>, T *&gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classllvm_1_1iterator__facade__base.html#a1a6b6c67bf160e7e63b724ec72624ab2">operator-&gt;</a> () const</td></tr>
+<tr class="separator:a1a6b6c67bf160e7e63b724ec72624ab2 inherit pub_methods_classllvm_1_1iterator__facade__base"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:affbe77f645dbac4bfd17d00b6ba769a0 inherit pub_methods_classllvm_1_1iterator__facade__base"><td class="memItemLeft" align="right" valign="top">ReferenceProxy&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classllvm_1_1iterator__facade__base.html#affbe77f645dbac4bfd17d00b6ba769a0">operator[]</a> (typename std::iterator_traits&lt; WrappedIteratorT &gt;::<a class="el" href="classllvm_1_1iterator__facade__base.html#a7e07dfa56b74ed115bdddd442e8184e6">difference_type</a> <a class="el" href="cJSON_8cpp.html#ab6e2ea6dc7bd57d1483413449998230a">n</a>)</td></tr>
+<tr class="separator:affbe77f645dbac4bfd17d00b6ba769a0 inherit pub_methods_classllvm_1_1iterator__facade__base"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:aef121b79d4aa4b0da5c1c8e9ae45f711 inherit pub_methods_classllvm_1_1iterator__facade__base"><td class="memItemLeft" align="right" valign="top">ReferenceProxy&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classllvm_1_1iterator__facade__base.html#aef121b79d4aa4b0da5c1c8e9ae45f711">operator[]</a> (typename std::iterator_traits&lt; WrappedIteratorT &gt;::<a class="el" href="classllvm_1_1iterator__facade__base.html#a7e07dfa56b74ed115bdddd442e8184e6">difference_type</a> <a class="el" href="cJSON_8cpp.html#ab6e2ea6dc7bd57d1483413449998230a">n</a>) const</td></tr>
+<tr class="separator:aef121b79d4aa4b0da5c1c8e9ae45f711 inherit pub_methods_classllvm_1_1iterator__facade__base"><td class="memSeparator" colspan="2">&#160;</td></tr>
+</table><table class="memberdecls">
+<tr class="heading"><td colspan="2"><h2 class="groupheader"><a name="inherited"></a>
+Additional Inherited Members</h2></td></tr>
+<tr class="inherit_header pub_types_classllvm_1_1iterator__adaptor__base"><td colspan="2" onclick="javascript:toggleInherit('pub_types_classllvm_1_1iterator__adaptor__base')"><img src="closed.png" alt="-"/>&#160;Public Types inherited from <a class="el" href="classllvm_1_1iterator__adaptor__base.html">llvm::iterator_adaptor_base&lt; pointee_iterator&lt; WrappedIteratorT, T &gt;, WrappedIteratorT, std::iterator_traits&lt; WrappedIteratorT &gt;::iterator_category, T &gt;</a></td></tr>
+<tr class="memitem:afddc7f6db019bdab6daa810e83d78de3 inherit pub_types_classllvm_1_1iterator__adaptor__base"><td class="memItemLeft" align="right" valign="top">using&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classllvm_1_1iterator__adaptor__base.html#afddc7f6db019bdab6daa810e83d78de3">difference_type</a> = typename std::iterator_traits&lt; WrappedIteratorT &gt;::<a class="el" href="classllvm_1_1iterator__facade__base.html#a7e07dfa56b74ed115bdddd442e8184e6">difference_type</a></td></tr>
+<tr class="separator:afddc7f6db019bdab6daa810e83d78de3 inherit pub_types_classllvm_1_1iterator__adaptor__base"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="inherit_header pub_types_classllvm_1_1iterator__facade__base"><td colspan="2" onclick="javascript:toggleInherit('pub_types_classllvm_1_1iterator__facade__base')"><img src="closed.png" alt="-"/>&#160;Public Types inherited from <a class="el" href="classllvm_1_1iterator__facade__base.html">llvm::iterator_facade_base&lt; pointee_iterator&lt; WrappedIteratorT, T &gt;, std::iterator_traits&lt; WrappedIteratorT &gt;::iterator_category, T, typename std::iterator_traits&lt; WrappedIteratorT &gt;::difference_type, std::conditional_t&lt; std::is_same&lt; T, typename std::iterator_traits&lt; WrappedIteratorT &gt;::value_type &gt;::value, typename std::iterator_traits&lt; WrappedIteratorT &gt;::pointer, T * &gt;, std::conditional_t&lt; std::is_same&lt; T, typename std::iterator_traits&lt; WrappedIteratorT &gt;::value_type &gt;::value, typename std::iterator_traits&lt; WrappedIteratorT &gt;::reference, T &amp; &gt; &gt;</a></td></tr>
+<tr class="memitem:a0fb41b5becfd488c52fb8c77d13fbcbc inherit pub_types_classllvm_1_1iterator__facade__base"><td class="memItemLeft" align="right" valign="top">using&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classllvm_1_1iterator__facade__base.html#a0fb41b5becfd488c52fb8c77d13fbcbc">iterator_category</a> = std::iterator_traits&lt; WrappedIteratorT &gt;::<a class="el" href="classllvm_1_1iterator__facade__base.html#a0fb41b5becfd488c52fb8c77d13fbcbc">iterator_category</a></td></tr>
+<tr class="separator:a0fb41b5becfd488c52fb8c77d13fbcbc inherit pub_types_classllvm_1_1iterator__facade__base"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a36fb299f78c975d65ffcef4baa31b7f6 inherit pub_types_classllvm_1_1iterator__facade__base"><td class="memItemLeft" align="right" valign="top">using&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classllvm_1_1iterator__facade__base.html#a36fb299f78c975d65ffcef4baa31b7f6">value_type</a> = T</td></tr>
+<tr class="separator:a36fb299f78c975d65ffcef4baa31b7f6 inherit pub_types_classllvm_1_1iterator__facade__base"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a7e07dfa56b74ed115bdddd442e8184e6 inherit pub_types_classllvm_1_1iterator__facade__base"><td class="memItemLeft" align="right" valign="top">using&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classllvm_1_1iterator__facade__base.html#a7e07dfa56b74ed115bdddd442e8184e6">difference_type</a> = typename std::iterator_traits&lt; WrappedIteratorT &gt;::<a class="el" href="classllvm_1_1iterator__facade__base.html#a7e07dfa56b74ed115bdddd442e8184e6">difference_type</a></td></tr>
+<tr class="separator:a7e07dfa56b74ed115bdddd442e8184e6 inherit pub_types_classllvm_1_1iterator__facade__base"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:ae2d9deb2dce97bf6cf45faf988c30a3b inherit pub_types_classllvm_1_1iterator__facade__base"><td class="memItemLeft" align="right" valign="top">using&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classllvm_1_1iterator__facade__base.html#ae2d9deb2dce97bf6cf45faf988c30a3b">pointer</a> = std::conditional_t&lt; std::is_same&lt; T, typename std::iterator_traits&lt; WrappedIteratorT &gt;::<a class="el" href="classllvm_1_1iterator__facade__base.html#a36fb299f78c975d65ffcef4baa31b7f6">value_type</a> &gt;::value, typename std::iterator_traits&lt; WrappedIteratorT &gt;::<a class="el" href="classllvm_1_1iterator__facade__base.html#ae2d9deb2dce97bf6cf45faf988c30a3b">pointer</a>, T *&gt;</td></tr>
+<tr class="separator:ae2d9deb2dce97bf6cf45faf988c30a3b inherit pub_types_classllvm_1_1iterator__facade__base"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a9ac08db5b07aefa9e82e65806804268b inherit pub_types_classllvm_1_1iterator__facade__base"><td class="memItemLeft" align="right" valign="top">using&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classllvm_1_1iterator__facade__base.html#a9ac08db5b07aefa9e82e65806804268b">reference</a> = std::conditional_t&lt; std::is_same&lt; T, typename std::iterator_traits&lt; WrappedIteratorT &gt;::<a class="el" href="classllvm_1_1iterator__facade__base.html#a36fb299f78c975d65ffcef4baa31b7f6">value_type</a> &gt;::value, typename std::iterator_traits&lt; WrappedIteratorT &gt;::<a class="el" href="classllvm_1_1iterator__facade__base.html#a9ac08db5b07aefa9e82e65806804268b">reference</a>, T &amp;&gt;</td></tr>
+<tr class="separator:a9ac08db5b07aefa9e82e65806804268b inherit pub_types_classllvm_1_1iterator__facade__base"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="inherit_header pro_types_classllvm_1_1iterator__facade__base"><td colspan="2" onclick="javascript:toggleInherit('pro_types_classllvm_1_1iterator__facade__base')"><img src="closed.png" alt="-"/>&#160;Protected Types inherited from <a class="el" href="classllvm_1_1iterator__facade__base.html">llvm::iterator_facade_base&lt; pointee_iterator&lt; WrappedIteratorT, T &gt;, std::iterator_traits&lt; WrappedIteratorT &gt;::iterator_category, T, typename std::iterator_traits&lt; WrappedIteratorT &gt;::difference_type, std::conditional_t&lt; std::is_same&lt; T, typename std::iterator_traits&lt; WrappedIteratorT &gt;::value_type &gt;::value, typename std::iterator_traits&lt; WrappedIteratorT &gt;::pointer, T * &gt;, std::conditional_t&lt; std::is_same&lt; T, typename std::iterator_traits&lt; WrappedIteratorT &gt;::value_type &gt;::value, typename std::iterator_traits&lt; WrappedIteratorT &gt;::reference, T &amp; &gt; &gt;</a></td></tr>
+<tr class="memitem:ac111dbf74717bf5e6db6b9f8d5a81809 inherit pro_types_classllvm_1_1iterator__facade__base"><td class="memItemLeft" align="right" valign="top">enum &#160;</td><td class="memItemRight" valign="bottom"></td></tr>
+<tr class="separator:ac111dbf74717bf5e6db6b9f8d5a81809 inherit pro_types_classllvm_1_1iterator__facade__base"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="inherit_header pro_methods_classllvm_1_1iterator__adaptor__base"><td colspan="2" onclick="javascript:toggleInherit('pro_methods_classllvm_1_1iterator__adaptor__base')"><img src="closed.png" alt="-"/>&#160;Protected Member Functions inherited from <a class="el" href="classllvm_1_1iterator__adaptor__base.html">llvm::iterator_adaptor_base&lt; pointee_iterator&lt; WrappedIteratorT, T &gt;, WrappedIteratorT, std::iterator_traits&lt; WrappedIteratorT &gt;::iterator_category, T &gt;</a></td></tr>
+<tr class="memitem:a8170d24cedaf5c2a22d8fc0c986529aa inherit pro_methods_classllvm_1_1iterator__adaptor__base"><td class="memItemLeft" align="right" valign="top">&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classllvm_1_1iterator__adaptor__base.html#a8170d24cedaf5c2a22d8fc0c986529aa">iterator_adaptor_base</a> ()=default</td></tr>
+<tr class="separator:a8170d24cedaf5c2a22d8fc0c986529aa inherit pro_methods_classllvm_1_1iterator__adaptor__base"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a0815f647af9e50dd6cd1602e1e262705 inherit pro_methods_classllvm_1_1iterator__adaptor__base"><td class="memItemLeft" align="right" valign="top">&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classllvm_1_1iterator__adaptor__base.html#a0815f647af9e50dd6cd1602e1e262705">iterator_adaptor_base</a> (WrappedIteratorT u)</td></tr>
+<tr class="separator:a0815f647af9e50dd6cd1602e1e262705 inherit pro_methods_classllvm_1_1iterator__adaptor__base"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a780f0b7d17722cfe06d228fea3c060f7 inherit pro_methods_classllvm_1_1iterator__adaptor__base"><td class="memItemLeft" align="right" valign="top">const WrappedIteratorT &amp;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classllvm_1_1iterator__adaptor__base.html#a780f0b7d17722cfe06d228fea3c060f7">wrapped</a> () const</td></tr>
+<tr class="separator:a780f0b7d17722cfe06d228fea3c060f7 inherit pro_methods_classllvm_1_1iterator__adaptor__base"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="inherit_header pro_attribs_classllvm_1_1iterator__adaptor__base"><td colspan="2" onclick="javascript:toggleInherit('pro_attribs_classllvm_1_1iterator__adaptor__base')"><img src="closed.png" alt="-"/>&#160;Protected Attributes inherited from <a class="el" href="classllvm_1_1iterator__adaptor__base.html">llvm::iterator_adaptor_base&lt; pointee_iterator&lt; WrappedIteratorT, T &gt;, WrappedIteratorT, std::iterator_traits&lt; WrappedIteratorT &gt;::iterator_category, T &gt;</a></td></tr>
+<tr class="memitem:a563ec95255977c34566292cbdce193b3 inherit pro_attribs_classllvm_1_1iterator__adaptor__base"><td class="memItemLeft" align="right" valign="top">WrappedIteratorT&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classllvm_1_1iterator__adaptor__base.html#a563ec95255977c34566292cbdce193b3">I</a></td></tr>
+<tr class="separator:a563ec95255977c34566292cbdce193b3 inherit pro_attribs_classllvm_1_1iterator__adaptor__base"><td class="memSeparator" colspan="2">&#160;</td></tr>
+</table>
+<a name="details" id="details"></a><h2 class="groupheader">Detailed Description</h2>
+<div class="textblock"><h3>template&lt;typename WrappedIteratorT, typename T = std::remove_reference_t&lt;decltype(                      **std::declval&lt;WrappedIteratorT&gt;())&gt;&gt;<br />
+struct llvm::pointee_iterator&lt; WrappedIteratorT, T &gt;</h3>
+<p>An iterator type that allows iterating over the pointees via some other iterator.</p>
+<p>The typical usage of this is to expose a type that iterates over Ts, but which is implemented with some iterator over T*s:</p>
+<div class="fragment"><div class="line"><span class="keyword">using</span> iterator = pointee_iterator&lt;SmallVectorImpl&lt;T *&gt;::iterator&gt;;</div></div><!-- fragment -->
+<p class="definition">Definition at line <a class="el" href="iterator_8h_source.html#l00335">335</a> of file <a class="el" href="iterator_8h_source.html">iterator.h</a>.</p>
+</div><h2 class="groupheader">Constructor &amp; Destructor Documentation</h2>
+<a id="adf01b96db9ddeda9a3edfc4bd6b392b8"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#adf01b96db9ddeda9a3edfc4bd6b392b8">&#9670;&nbsp;</a></span>pointee_iterator() <span class="overload">[1/2]</span></h2>
+<div class="memitem">
+<div class="memproto">
+<div class="memtemplate">
+template&lt;typename WrappedIteratorT , typename T  = std::remove_reference_t&lt;decltype(                      **std::declval&lt;WrappedIteratorT&gt;())&gt;&gt; </div>
+<table class="mlabels">
+  <tr>
+  <td class="mlabels-left">
+      <table class="memname">
+        <tr>
+          <td class="memname"><a class="el" href="structllvm_1_1pointee__iterator.html">llvm::pointee_iterator</a>&lt; WrappedIteratorT, T &gt;::<a class="el" href="structllvm_1_1pointee__iterator.html">pointee_iterator</a> </td>
+          <td>(</td>
+          <td class="paramname"></td><td>)</td>
+          <td></td>
+        </tr>
+      </table>
+  </td>
+  <td class="mlabels-right">
+<span class="mlabels"><span class="mlabel">default</span></span>  </td>
+  </tr>
+</table>
+</div><div class="memdoc">
+</div>
+</div>
+<a id="a59bc770f1247d7ba2273481b962cae62"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#a59bc770f1247d7ba2273481b962cae62">&#9670;&nbsp;</a></span>pointee_iterator() <span class="overload">[2/2]</span></h2>
+<div class="memitem">
+<div class="memproto">
+<div class="memtemplate">
+template&lt;typename WrappedIteratorT , typename T  = std::remove_reference_t&lt;decltype(                      **std::declval&lt;WrappedIteratorT&gt;())&gt;&gt; </div>
+<div class="memtemplate">
+template&lt;typename U &gt; </div>
+<table class="mlabels">
+  <tr>
+  <td class="mlabels-left">
+      <table class="memname">
+        <tr>
+          <td class="memname"><a class="el" href="structllvm_1_1pointee__iterator.html">llvm::pointee_iterator</a>&lt; WrappedIteratorT, T &gt;::<a class="el" href="structllvm_1_1pointee__iterator.html">pointee_iterator</a> </td>
+          <td>(</td>
+          <td class="paramtype">U &amp;&amp;&#160;</td>
+          <td class="paramname"><em>u</em></td><td>)</td>
+          <td></td>
+        </tr>
+      </table>
+  </td>
+  <td class="mlabels-right">
+<span class="mlabels"><span class="mlabel">inline</span></span>  </td>
+  </tr>
+</table>
+</div><div class="memdoc">
+<p class="definition">Definition at line <a class="el" href="iterator_8h_source.html#l00343">343</a> of file <a class="el" href="iterator_8h_source.html">iterator.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00344"></a><span class="lineno">  344</span>&#160;        : <a class="code" href="classllvm_1_1iterator__adaptor__base.html#a8170d24cedaf5c2a22d8fc0c986529aa">pointee_iterator::iterator_adaptor_base</a>(std::forward&lt;U &amp;&amp;&gt;(u)) {}</div><div class="ttc" id="classllvm_1_1iterator__adaptor__base_html_a8170d24cedaf5c2a22d8fc0c986529aa"><div class="ttname"><a href="classllvm_1_1iterator__adaptor__base.html#a8170d24cedaf5c2a22d8fc0c986529aa">llvm::iterator_adaptor_base&lt; pointee_iterator&lt; WrappedIteratorT, T &gt;, WrappedIteratorT, std::iterator_traits&lt; WrappedIteratorT &gt;::iterator_category, T &gt;::iterator_adaptor_base</a></div><div class="ttdeci">iterator_adaptor_base()=default</div></div>
+</div><!-- fragment -->
+</div>
+</div>
+<h2 class="groupheader">Member Function Documentation</h2>
+<a id="a36ef3dae4b2e8b955d19f02b520c80aa"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#a36ef3dae4b2e8b955d19f02b520c80aa">&#9670;&nbsp;</a></span>operator*()</h2>
+<div class="memitem">
+<div class="memproto">
+<div class="memtemplate">
+template&lt;typename WrappedIteratorT , typename T  = std::remove_reference_t&lt;decltype(                      **std::declval&lt;WrappedIteratorT&gt;())&gt;&gt; </div>
+<table class="mlabels">
+  <tr>
+  <td class="mlabels-left">
+      <table class="memname">
+        <tr>
+          <td class="memname">T&amp; <a class="el" href="structllvm_1_1pointee__iterator.html">llvm::pointee_iterator</a>&lt; WrappedIteratorT, T &gt;::operator* </td>
+          <td>(</td>
+          <td class="paramtype">void&#160;</td>
+          <td class="paramname"></td><td>)</td>
+          <td> const</td>
+        </tr>
+      </table>
+  </td>
+  <td class="mlabels-right">
+<span class="mlabels"><span class="mlabel">inline</span></span>  </td>
+  </tr>
+</table>
+</div><div class="memdoc">
+<p class="definition">Definition at line <a class="el" href="iterator_8h_source.html#l00346">346</a> of file <a class="el" href="iterator_8h_source.html">iterator.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00347"></a><span class="lineno">  347</span>&#160;    {</div><div class="line"><a name="l00348"></a><span class="lineno">  348</span>&#160;        <span class="keywordflow">return</span> **this-&gt;<a class="code" href="classllvm_1_1iterator__adaptor__base.html#a563ec95255977c34566292cbdce193b3">I</a>;</div><div class="line"><a name="l00349"></a><span class="lineno">  349</span>&#160;    }</div><div class="ttc" id="classllvm_1_1iterator__adaptor__base_html_a563ec95255977c34566292cbdce193b3"><div class="ttname"><a href="classllvm_1_1iterator__adaptor__base.html#a563ec95255977c34566292cbdce193b3">llvm::iterator_adaptor_base&lt; pointee_iterator&lt; WrappedIteratorT, T &gt;, WrappedIteratorT, std::iterator_traits&lt; WrappedIteratorT &gt;::iterator_category, T &gt;::I</a></div><div class="ttdeci">WrappedIteratorT I</div><div class="ttdef"><b>Definition:</b> <a href="iterator_8h_source.html#l00242">iterator.h:242</a></div></div>
+</div><!-- fragment -->
+</div>
+</div>
+<hr/>The documentation for this struct was generated from the following file:<ul>
+<li>/home/runner/work/SVF/SVF/include/Util/<a class="el" href="iterator_8h_source.html">iterator.h</a></li>
+</ul>
+</div><!-- contents -->
+<!-- start footer part -->
+<hr class="footer"/><address class="footer"><small>
+Generated by &#160;<a href="http://www.doxygen.org/index.html">
+<img class="footer" src="doxygen.png" alt="doxygen"/>
+</a> 1.8.13
+</small></address>
+</body>
+</html>

package/SVF-doxygen/html/html/structllvm_1_1pointee__iterator.png ADDED Viewed

Binary file

package/SVF-doxygen/html/html/svf-ex_8cpp.html CHANGED Viewed

@@ -264,7 +264,7 @@ Functions</h2></td></tr>
 <div class="ttc" id="classSVF_1_1SVFValue_html_aa678ca4616a3e69b53726b33d0b9c5a2"><div class="ttname"><a href="classSVF_1_1SVFValue.html#aa678ca4616a3e69b53726b33d0b9c5a2">SVF::SVFValue::toString</a></div><div class="ttdeci">virtual const std::string toString() const</div><div class="ttdoc">Needs to be implemented by a specific SVF front end (e.g., the implementation in LLVMUtil) ...</div><div class="ttdef"><b>Definition:</b> <a href="LLVMUtil_8cpp_source.html#l00641">LLVMUtil.cpp:641</a></div></div>
 <div class="ttc" id="classSVF_1_1PointerAnalysis_html_a240219c2dc4f5cc5f85445e18c79b83b"><div class="ttname"><a href="classSVF_1_1PointerAnalysis.html#a240219c2dc4f5cc5f85445e18c79b83b">SVF::PointerAnalysis::getPAG</a></div><div class="ttdeci">SVFIR * getPAG() const</div><div class="ttdef"><b>Definition:</b> <a href="PointerAnalysis_8h_source.html#l00201">PointerAnalysis.h:201</a></div></div>
 <div class="ttc" id="classSVF_1_1SVFVar_html_a1ace69053c2c4436fd78d5624bd0086a"><div class="ttname"><a href="classSVF_1_1SVFVar.html#a1ace69053c2c4436fd78d5624bd0086a">SVF::SVFVar::hasValue</a></div><div class="ttdeci">bool hasValue() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFVariables_8h_source.html#l00107">SVFVariables.h:107</a></div></div>
-<div class="ttc" id="classSVF_1_1GenericGraph_html_a43c9c773bfa17abf481c33073e30d01b"><div class="ttname"><a href="classSVF_1_1GenericGraph.html#a43c9c773bfa17abf481c33073e30d01b">SVF::GenericGraph::getGNode</a></div><div class="ttdeci">NodeType * getGNode(NodeID id) const</div><div class="ttdoc">Get a node. </div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00393">GenericGraph.h:393</a></div></div>
+<div class="ttc" id="classSVF_1_1GenericGraph_html_a43c9c773bfa17abf481c33073e30d01b"><div class="ttname"><a href="classSVF_1_1GenericGraph.html#a43c9c773bfa17abf481c33073e30d01b">SVF::GenericGraph::getGNode</a></div><div class="ttdeci">NodeType * getGNode(NodeID id) const</div><div class="ttdoc">Get a node. </div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00394">GenericGraph.h:394</a></div></div>
 <div class="ttc" id="classSVF_1_1PointsTo_html"><div class="ttname"><a href="classSVF_1_1PointsTo.html">SVF::PointsTo</a></div><div class="ttdef"><b>Definition:</b> <a href="PointsTo_8h_source.html#l00028">PointsTo.h:28</a></div></div>
 <div class="ttc" id="cJSON_8h_html_ad4c68ea99a26b0a98ad9a79982960458"><div class="ttname"><a href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">string</a></div><div class="ttdeci">const char *const string</div><div class="ttdef"><b>Definition:</b> <a href="cJSON_8h_source.html#l00172">cJSON.h:172</a></div></div>
 <div class="ttc" id="classSVF_1_1PointsTo_html_a8f741cdffbf3c5fe0f602cdca677dee6"><div class="ttname"><a href="classSVF_1_1PointsTo.html#a8f741cdffbf3c5fe0f602cdca677dee6">SVF::PointsTo::end</a></div><div class="ttdeci">const_iterator end(void) const</div><div class="ttdef"><b>Definition:</b> <a href="PointsTo_8h_source.html#l00132">PointsTo.h:132</a></div></div>
@@ -301,16 +301,16 @@ Functions</h2></td></tr>
 <p class="definition">Definition at line <a class="el" href="svf-ex_8cpp_source.html#l00080">80</a> of file <a class="el" href="svf-ex_8cpp_source.html">svf-ex.cpp</a>.</p>
 <div class="fragment"><div class="line"><a name="l00081"></a><span class="lineno">   81</span>&#160;{</div><div class="line"><a name="l00082"></a><span class="lineno">   82</span>&#160;    <a class="code" href="classSVF_1_1ICFGNode.html">ICFGNode</a>* iNode = icfg-&gt;<a class="code" href="classSVF_1_1ICFG.html#a5f2c0aaba07d6fdd63058da0fb60ca8b">getICFGNode</a>(svfInst);</div><div class="line"><a name="l00083"></a><span class="lineno">   83</span>&#160;    <a class="code" href="classSVF_1_1FIFOWorkList.html">FIFOWorkList&lt;const ICFGNode*&gt;</a> worklist;</div><div class="line"><a name="l00084"></a><span class="lineno">   84</span>&#160;    <a class="code" href="namespaceSVF.html#af739db846e47ba6b2fd15eaad31ab7fb">Set&lt;const ICFGNode*&gt;</a> visited;</div><div class="line"><a name="l00085"></a><span class="lineno">   85</span>&#160;    worklist.<a class="code" href="classSVF_1_1FIFOWorkList.html#a0df409a67428e528321869d201f2a474">push</a>(iNode);</div><div class="line"><a name="l00086"></a><span class="lineno">   86</span>&#160;</div><div class="line"><a name="l00088"></a><span class="lineno">   88</span>&#160;    <span class="keywordflow">while</span> (!worklist.<a class="code" href="classSVF_1_1FIFOWorkList.html#a7056704c224dfb4b57287fe90c004aa8">empty</a>())</div><div class="line"><a name="l00089"></a><span class="lineno">   89</span>&#160;    {</div><div class="line"><a name="l00090"></a><span class="lineno">   90</span>&#160;        <span class="keyword">const</span> <a class="code" href="classSVF_1_1ICFGNode.html">ICFGNode</a>* vNode = worklist.<a class="code" href="classSVF_1_1FIFOWorkList.html#a8fa72918fce7e9c0b2dc34b683a797c6">pop</a>();</div><div class="line"><a name="l00091"></a><span class="lineno">   91</span>&#160;        <span class="keywordflow">for</span> (<a class="code" href="classSVF_1_1ICFGNode.html#ac16c5a3227a44d3b9f7c3209156d9df2">ICFGNode::const_iterator</a> it = vNode-&gt;<a class="code" href="classSVF_1_1GenericNode.html#aa4f103330118c8976bf95e4bf53416eb">OutEdgeBegin</a>(), eit =</div><div class="line"><a name="l00092"></a><span class="lineno">   92</span>&#160;                    vNode-&gt;<a class="code" href="classSVF_1_1GenericNode.html#a19a3366fd8a58290d0c740c46c3dcb3d">OutEdgeEnd</a>(); it != eit; ++it)</div><div class="line"><a name="l00093"></a><span class="lineno">   93</span>&#160;        {</div><div class="line"><a name="l00094"></a><span class="lineno">   94</span>&#160;            <a class="code" href="classSVF_1_1ICFGEdge.html">ICFGEdge</a>* edge = *it;</div><div class="line"><a name="l00095"></a><span class="lineno">   95</span>&#160;            <a class="code" href="classSVF_1_1ICFGNode.html">ICFGNode</a>* succNode = edge-&gt;<a class="code" href="classSVF_1_1GenericEdge.html#aeaa31a2c8479e831b36ce2e2582ceb86">getDstNode</a>();</div><div class="line"><a name="l00096"></a><span class="lineno">   96</span>&#160;            <span class="keywordflow">if</span> (visited.find(succNode) == visited.end())</div><div class="line"><a name="l00097"></a><span class="lineno">   97</span>&#160;            {</div><div class="line"><a name="l00098"></a><span class="lineno">   98</span>&#160;                visited.insert(succNode);</div><div class="line"><a name="l00099"></a><span class="lineno">   99</span>&#160;                worklist.<a class="code" href="classSVF_1_1FIFOWorkList.html#a0df409a67428e528321869d201f2a474">push</a>(succNode);</div><div class="line"><a name="l00100"></a><span class="lineno">  100</span>&#160;            }</div><div class="line"><a name="l00101"></a><span class="lineno">  101</span>&#160;        }</div><div class="line"><a name="l00102"></a><span class="lineno">  102</span>&#160;    }</div><div class="line"><a name="l00103"></a><span class="lineno">  103</span>&#160;}</div><div class="ttc" id="classSVF_1_1ICFGEdge_html"><div class="ttname"><a href="classSVF_1_1ICFGEdge.html">SVF::ICFGEdge</a></div><div class="ttdef"><b>Definition:</b> <a href="ICFGEdge_8h_source.html#l00044">ICFGEdge.h:44</a></div></div>
-<div class="ttc" id="classSVF_1_1GenericNode_html_aa4f103330118c8976bf95e4bf53416eb"><div class="ttname"><a href="classSVF_1_1GenericNode.html#aa4f103330118c8976bf95e4bf53416eb">SVF::GenericNode::OutEdgeBegin</a></div><div class="ttdeci">iterator OutEdgeBegin()</div><div class="ttdoc">iterators </div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00206">GenericGraph.h:206</a></div></div>
+<div class="ttc" id="classSVF_1_1GenericNode_html_aa4f103330118c8976bf95e4bf53416eb"><div class="ttname"><a href="classSVF_1_1GenericNode.html#aa4f103330118c8976bf95e4bf53416eb">SVF::GenericNode::OutEdgeBegin</a></div><div class="ttdeci">iterator OutEdgeBegin()</div><div class="ttdoc">iterators </div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00207">GenericGraph.h:207</a></div></div>
 <div class="ttc" id="classSVF_1_1FIFOWorkList_html_a7056704c224dfb4b57287fe90c004aa8"><div class="ttname"><a href="classSVF_1_1FIFOWorkList.html#a7056704c224dfb4b57287fe90c004aa8">SVF::FIFOWorkList::empty</a></div><div class="ttdeci">bool empty() const</div><div class="ttdef"><b>Definition:</b> <a href="WorkList_8h_source.html#l00146">WorkList.h:146</a></div></div>
 <div class="ttc" id="classSVF_1_1ICFGNode_html"><div class="ttname"><a href="classSVF_1_1ICFGNode.html">SVF::ICFGNode</a></div><div class="ttdef"><b>Definition:</b> <a href="ICFGNode_8h_source.html#l00054">ICFGNode.h:54</a></div></div>
 <div class="ttc" id="classSVF_1_1FIFOWorkList_html_a0df409a67428e528321869d201f2a474"><div class="ttname"><a href="classSVF_1_1FIFOWorkList.html#a0df409a67428e528321869d201f2a474">SVF::FIFOWorkList::push</a></div><div class="ttdeci">bool push(const Data &amp;data)</div><div class="ttdef"><b>Definition:</b> <a href="WorkList_8h_source.html#l00165">WorkList.h:165</a></div></div>
-<div class="ttc" id="classSVF_1_1GenericEdge_html_aeaa31a2c8479e831b36ce2e2582ceb86"><div class="ttname"><a href="classSVF_1_1GenericEdge.html#aeaa31a2c8479e831b36ce2e2582ceb86">SVF::GenericEdge::getDstNode</a></div><div class="ttdeci">NodeType * getDstNode() const</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00093">GenericGraph.h:93</a></div></div>
+<div class="ttc" id="classSVF_1_1GenericEdge_html_aeaa31a2c8479e831b36ce2e2582ceb86"><div class="ttname"><a href="classSVF_1_1GenericEdge.html#aeaa31a2c8479e831b36ce2e2582ceb86">SVF::GenericEdge::getDstNode</a></div><div class="ttdeci">NodeType * getDstNode() const</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00094">GenericGraph.h:94</a></div></div>
 <div class="ttc" id="namespaceSVF_html_af739db846e47ba6b2fd15eaad31ab7fb"><div class="ttname"><a href="namespaceSVF.html#af739db846e47ba6b2fd15eaad31ab7fb">SVF::Set</a></div><div class="ttdeci">std::unordered_set&lt; Key, Hash, KeyEqual, Allocator &gt; Set</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00094">SVFType.h:94</a></div></div>
 <div class="ttc" id="classSVF_1_1ICFG_html_a5f2c0aaba07d6fdd63058da0fb60ca8b"><div class="ttname"><a href="classSVF_1_1ICFG.html#a5f2c0aaba07d6fdd63058da0fb60ca8b">SVF::ICFG::getICFGNode</a></div><div class="ttdeci">ICFGNode * getICFGNode(NodeID id) const</div><div class="ttdoc">Get a ICFG node. </div><div class="ttdef"><b>Definition:</b> <a href="ICFG_8h_source.html#l00087">ICFG.h:87</a></div></div>
 <div class="ttc" id="classSVF_1_1ICFGNode_html_ac16c5a3227a44d3b9f7c3209156d9df2"><div class="ttname"><a href="classSVF_1_1ICFGNode.html#ac16c5a3227a44d3b9f7c3209156d9df2">SVF::ICFGNode::const_iterator</a></div><div class="ttdeci">ICFGEdge::ICFGEdgeSetTy::const_iterator const_iterator</div><div class="ttdef"><b>Definition:</b> <a href="ICFGNode_8h_source.html#l00066">ICFGNode.h:66</a></div></div>
 <div class="ttc" id="classSVF_1_1FIFOWorkList_html"><div class="ttname"><a href="classSVF_1_1FIFOWorkList.html">SVF::FIFOWorkList</a></div><div class="ttdef"><b>Definition:</b> <a href="WorkList_8h_source.html#l00137">WorkList.h:137</a></div></div>
-<div class="ttc" id="classSVF_1_1GenericNode_html_a19a3366fd8a58290d0c740c46c3dcb3d"><div class="ttname"><a href="classSVF_1_1GenericNode.html#a19a3366fd8a58290d0c740c46c3dcb3d">SVF::GenericNode::OutEdgeEnd</a></div><div class="ttdeci">iterator OutEdgeEnd()</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00210">GenericGraph.h:210</a></div></div>
+<div class="ttc" id="classSVF_1_1GenericNode_html_a19a3366fd8a58290d0c740c46c3dcb3d"><div class="ttname"><a href="classSVF_1_1GenericNode.html#a19a3366fd8a58290d0c740c46c3dcb3d">SVF::GenericNode::OutEdgeEnd</a></div><div class="ttdeci">iterator OutEdgeEnd()</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00211">GenericGraph.h:211</a></div></div>
 <div class="ttc" id="classSVF_1_1FIFOWorkList_html_a8fa72918fce7e9c0b2dc34b683a797c6"><div class="ttname"><a href="classSVF_1_1FIFOWorkList.html#a8fa72918fce7e9c0b2dc34b683a797c6">SVF::FIFOWorkList::pop</a></div><div class="ttdeci">Data pop()</div><div class="ttdef"><b>Definition:</b> <a href="WorkList_8h_source.html#l00200">WorkList.h:200</a></div></div>
 </div><!-- fragment -->
 </div>
@@ -346,19 +346,19 @@ Functions</h2></td></tr>
 <p>can only query VFGNode involving top-level pointers (starting with % or @ in LLVM IR) PAGNode* pNode = vfg-&gt;getLHSTopLevPtr(node); SVFValue* val = pNode-&gt;getValue(); </p>
 <p class="definition">Definition at line <a class="el" href="svf-ex_8cpp_source.html#l00108">108</a> of file <a class="el" href="svf-ex_8cpp_source.html">svf-ex.cpp</a>.</p>
-<div class="fragment"><div class="line"><a name="l00109"></a><span class="lineno">  109</span>&#160;{</div><div class="line"><a name="l00110"></a><span class="lineno">  110</span>&#160;    <a class="code" href="classSVF_1_1SVFIR.html">SVFIR</a>* pag = SVFIR::getPAG();</div><div class="line"><a name="l00111"></a><span class="lineno">  111</span>&#160;</div><div class="line"><a name="l00112"></a><span class="lineno">  112</span>&#160;    <a class="code" href="classSVF_1_1SVFVar.html">PAGNode</a>* pNode = pag-&gt;<a class="code" href="classSVF_1_1GenericGraph.html#a43c9c773bfa17abf481c33073e30d01b">getGNode</a>(pag-&gt;<a class="code" href="classSVF_1_1IRGraph.html#a43514023a4f4d0c32f536f51443b0efc">getValueNode</a>(val));</div><div class="line"><a name="l00113"></a><span class="lineno">  113</span>&#160;    <span class="keyword">const</span> <a class="code" href="classSVF_1_1VFGNode.html">VFGNode</a>* vNode = vfg-&gt;<a class="code" href="classSVF_1_1SVFG.html#a8e7a945f4266e8dc7dcfff2ad6494bfb">getDefSVFGNode</a>(pNode);</div><div class="line"><a name="l00114"></a><span class="lineno">  114</span>&#160;    <a class="code" href="classSVF_1_1FIFOWorkList.html">FIFOWorkList&lt;const VFGNode*&gt;</a> worklist;</div><div class="line"><a name="l00115"></a><span class="lineno">  115</span>&#160;    <a class="code" href="namespaceSVF.html#af739db846e47ba6b2fd15eaad31ab7fb">Set&lt;const VFGNode*&gt;</a> visited;</div><div class="line"><a name="l00116"></a><span class="lineno">  116</span>&#160;    worklist.<a class="code" href="classSVF_1_1FIFOWorkList.html#a0df409a67428e528321869d201f2a474">push</a>(vNode);</div><div class="line"><a name="l00117"></a><span class="lineno">  117</span>&#160;</div><div class="line"><a name="l00119"></a><span class="lineno">  119</span>&#160;    <span class="keywordflow">while</span> (!worklist.<a class="code" href="classSVF_1_1FIFOWorkList.html#a7056704c224dfb4b57287fe90c004aa8">empty</a>())</div><div class="line"><a name="l00120"></a><span class="lineno">  120</span>&#160;    {</div><div class="line"><a name="l00121"></a><span class="lineno">  121</span>&#160;        <span class="keyword">const</span> <a class="code" href="classSVF_1_1VFGNode.html">VFGNode</a>* vNode = worklist.<a class="code" href="classSVF_1_1FIFOWorkList.html#a8fa72918fce7e9c0b2dc34b683a797c6">pop</a>();</div><div class="line"><a name="l00122"></a><span class="lineno">  122</span>&#160;        <span class="keywordflow">for</span> (<a class="code" href="classSVF_1_1VFGNode.html#a3c558955f60c237c558d8faafed781e8">VFGNode::const_iterator</a> it = vNode-&gt;<a class="code" href="classSVF_1_1GenericNode.html#aa4f103330118c8976bf95e4bf53416eb">OutEdgeBegin</a>(), eit =</div><div class="line"><a name="l00123"></a><span class="lineno">  123</span>&#160;                    vNode-&gt;<a class="code" href="classSVF_1_1GenericNode.html#a19a3366fd8a58290d0c740c46c3dcb3d">OutEdgeEnd</a>(); it != eit; ++it)</div><div class="line"><a name="l00124"></a><span class="lineno">  124</span>&#160;        {</div><div class="line"><a name="l00125"></a><span class="lineno">  125</span>&#160;            <a class="code" href="classSVF_1_1VFGEdge.html">VFGEdge</a>* edge = *it;</div><div class="line"><a name="l00126"></a><span class="lineno">  126</span>&#160;            <a class="code" href="classSVF_1_1VFGNode.html">VFGNode</a>* succNode = edge-&gt;<a class="code" href="classSVF_1_1GenericEdge.html#aeaa31a2c8479e831b36ce2e2582ceb86">getDstNode</a>();</div><div class="line"><a name="l00127"></a><span class="lineno">  127</span>&#160;            <span class="keywordflow">if</span> (visited.find(succNode) == visited.end())</div><div class="line"><a name="l00128"></a><span class="lineno">  128</span>&#160;            {</div><div class="line"><a name="l00129"></a><span class="lineno">  129</span>&#160;                visited.insert(succNode);</div><div class="line"><a name="l00130"></a><span class="lineno">  130</span>&#160;                worklist.<a class="code" href="classSVF_1_1FIFOWorkList.html#a0df409a67428e528321869d201f2a474">push</a>(succNode);</div><div class="line"><a name="l00131"></a><span class="lineno">  131</span>&#160;            }</div><div class="line"><a name="l00132"></a><span class="lineno">  132</span>&#160;        }</div><div class="line"><a name="l00133"></a><span class="lineno">  133</span>&#160;    }</div><div class="line"><a name="l00134"></a><span class="lineno">  134</span>&#160;</div><div class="line"><a name="l00136"></a><span class="lineno">  136</span>&#160;    <span class="keywordflow">for</span>(<a class="code" href="namespaceSVF.html#af739db846e47ba6b2fd15eaad31ab7fb">Set&lt;const VFGNode*&gt;::const_iterator</a> it = visited.begin(), eit = visited.end(); it!=eit; ++it)</div><div class="line"><a name="l00137"></a><span class="lineno">  137</span>&#160;    {</div><div class="line"><a name="l00138"></a><span class="lineno">  138</span>&#160;        <span class="comment">// const VFGNode* node = *it;</span></div><div class="line"><a name="l00142"></a><span class="lineno">  142</span>&#160;<span class="comment"></span>    }</div><div class="line"><a name="l00143"></a><span class="lineno">  143</span>&#160;}</div><div class="ttc" id="classSVF_1_1GenericNode_html_aa4f103330118c8976bf95e4bf53416eb"><div class="ttname"><a href="classSVF_1_1GenericNode.html#aa4f103330118c8976bf95e4bf53416eb">SVF::GenericNode::OutEdgeBegin</a></div><div class="ttdeci">iterator OutEdgeBegin()</div><div class="ttdoc">iterators </div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00206">GenericGraph.h:206</a></div></div>
+<div class="fragment"><div class="line"><a name="l00109"></a><span class="lineno">  109</span>&#160;{</div><div class="line"><a name="l00110"></a><span class="lineno">  110</span>&#160;    <a class="code" href="classSVF_1_1SVFIR.html">SVFIR</a>* pag = SVFIR::getPAG();</div><div class="line"><a name="l00111"></a><span class="lineno">  111</span>&#160;</div><div class="line"><a name="l00112"></a><span class="lineno">  112</span>&#160;    <a class="code" href="classSVF_1_1SVFVar.html">PAGNode</a>* pNode = pag-&gt;<a class="code" href="classSVF_1_1GenericGraph.html#a43c9c773bfa17abf481c33073e30d01b">getGNode</a>(pag-&gt;<a class="code" href="classSVF_1_1IRGraph.html#a43514023a4f4d0c32f536f51443b0efc">getValueNode</a>(val));</div><div class="line"><a name="l00113"></a><span class="lineno">  113</span>&#160;    <span class="keyword">const</span> <a class="code" href="classSVF_1_1VFGNode.html">VFGNode</a>* vNode = vfg-&gt;<a class="code" href="classSVF_1_1SVFG.html#a8e7a945f4266e8dc7dcfff2ad6494bfb">getDefSVFGNode</a>(pNode);</div><div class="line"><a name="l00114"></a><span class="lineno">  114</span>&#160;    <a class="code" href="classSVF_1_1FIFOWorkList.html">FIFOWorkList&lt;const VFGNode*&gt;</a> worklist;</div><div class="line"><a name="l00115"></a><span class="lineno">  115</span>&#160;    <a class="code" href="namespaceSVF.html#af739db846e47ba6b2fd15eaad31ab7fb">Set&lt;const VFGNode*&gt;</a> visited;</div><div class="line"><a name="l00116"></a><span class="lineno">  116</span>&#160;    worklist.<a class="code" href="classSVF_1_1FIFOWorkList.html#a0df409a67428e528321869d201f2a474">push</a>(vNode);</div><div class="line"><a name="l00117"></a><span class="lineno">  117</span>&#160;</div><div class="line"><a name="l00119"></a><span class="lineno">  119</span>&#160;    <span class="keywordflow">while</span> (!worklist.<a class="code" href="classSVF_1_1FIFOWorkList.html#a7056704c224dfb4b57287fe90c004aa8">empty</a>())</div><div class="line"><a name="l00120"></a><span class="lineno">  120</span>&#160;    {</div><div class="line"><a name="l00121"></a><span class="lineno">  121</span>&#160;        <span class="keyword">const</span> <a class="code" href="classSVF_1_1VFGNode.html">VFGNode</a>* vNode = worklist.<a class="code" href="classSVF_1_1FIFOWorkList.html#a8fa72918fce7e9c0b2dc34b683a797c6">pop</a>();</div><div class="line"><a name="l00122"></a><span class="lineno">  122</span>&#160;        <span class="keywordflow">for</span> (<a class="code" href="classSVF_1_1VFGNode.html#a3c558955f60c237c558d8faafed781e8">VFGNode::const_iterator</a> it = vNode-&gt;<a class="code" href="classSVF_1_1GenericNode.html#aa4f103330118c8976bf95e4bf53416eb">OutEdgeBegin</a>(), eit =</div><div class="line"><a name="l00123"></a><span class="lineno">  123</span>&#160;                    vNode-&gt;<a class="code" href="classSVF_1_1GenericNode.html#a19a3366fd8a58290d0c740c46c3dcb3d">OutEdgeEnd</a>(); it != eit; ++it)</div><div class="line"><a name="l00124"></a><span class="lineno">  124</span>&#160;        {</div><div class="line"><a name="l00125"></a><span class="lineno">  125</span>&#160;            <a class="code" href="classSVF_1_1VFGEdge.html">VFGEdge</a>* edge = *it;</div><div class="line"><a name="l00126"></a><span class="lineno">  126</span>&#160;            <a class="code" href="classSVF_1_1VFGNode.html">VFGNode</a>* succNode = edge-&gt;<a class="code" href="classSVF_1_1GenericEdge.html#aeaa31a2c8479e831b36ce2e2582ceb86">getDstNode</a>();</div><div class="line"><a name="l00127"></a><span class="lineno">  127</span>&#160;            <span class="keywordflow">if</span> (visited.find(succNode) == visited.end())</div><div class="line"><a name="l00128"></a><span class="lineno">  128</span>&#160;            {</div><div class="line"><a name="l00129"></a><span class="lineno">  129</span>&#160;                visited.insert(succNode);</div><div class="line"><a name="l00130"></a><span class="lineno">  130</span>&#160;                worklist.<a class="code" href="classSVF_1_1FIFOWorkList.html#a0df409a67428e528321869d201f2a474">push</a>(succNode);</div><div class="line"><a name="l00131"></a><span class="lineno">  131</span>&#160;            }</div><div class="line"><a name="l00132"></a><span class="lineno">  132</span>&#160;        }</div><div class="line"><a name="l00133"></a><span class="lineno">  133</span>&#160;    }</div><div class="line"><a name="l00134"></a><span class="lineno">  134</span>&#160;</div><div class="line"><a name="l00136"></a><span class="lineno">  136</span>&#160;    <span class="keywordflow">for</span>(<a class="code" href="namespaceSVF.html#af739db846e47ba6b2fd15eaad31ab7fb">Set&lt;const VFGNode*&gt;::const_iterator</a> it = visited.begin(), eit = visited.end(); it!=eit; ++it)</div><div class="line"><a name="l00137"></a><span class="lineno">  137</span>&#160;    {</div><div class="line"><a name="l00138"></a><span class="lineno">  138</span>&#160;        <span class="comment">// const VFGNode* node = *it;</span></div><div class="line"><a name="l00142"></a><span class="lineno">  142</span>&#160;<span class="comment"></span>    }</div><div class="line"><a name="l00143"></a><span class="lineno">  143</span>&#160;}</div><div class="ttc" id="classSVF_1_1GenericNode_html_aa4f103330118c8976bf95e4bf53416eb"><div class="ttname"><a href="classSVF_1_1GenericNode.html#aa4f103330118c8976bf95e4bf53416eb">SVF::GenericNode::OutEdgeBegin</a></div><div class="ttdeci">iterator OutEdgeBegin()</div><div class="ttdoc">iterators </div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00207">GenericGraph.h:207</a></div></div>
 <div class="ttc" id="classSVF_1_1SVFG_html_a8e7a945f4266e8dc7dcfff2ad6494bfb"><div class="ttname"><a href="classSVF_1_1SVFG.html#a8e7a945f4266e8dc7dcfff2ad6494bfb">SVF::SVFG::getDefSVFGNode</a></div><div class="ttdeci">const SVFGNode * getDefSVFGNode(const PAGNode *pagNode) const</div><div class="ttdoc">Given a pagNode, return its definition site. </div><div class="ttdef"><b>Definition:</b> <a href="SVFG_8h_source.html#l00171">SVFG.h:171</a></div></div>
 <div class="ttc" id="classSVF_1_1FIFOWorkList_html_a7056704c224dfb4b57287fe90c004aa8"><div class="ttname"><a href="classSVF_1_1FIFOWorkList.html#a7056704c224dfb4b57287fe90c004aa8">SVF::FIFOWorkList::empty</a></div><div class="ttdeci">bool empty() const</div><div class="ttdef"><b>Definition:</b> <a href="WorkList_8h_source.html#l00146">WorkList.h:146</a></div></div>
 <div class="ttc" id="classSVF_1_1SVFVar_html"><div class="ttname"><a href="classSVF_1_1SVFVar.html">SVF::SVFVar</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFVariables_8h_source.html#l00045">SVFVariables.h:45</a></div></div>
 <div class="ttc" id="classSVF_1_1IRGraph_html_a43514023a4f4d0c32f536f51443b0efc"><div class="ttname"><a href="classSVF_1_1IRGraph.html#a43514023a4f4d0c32f536f51443b0efc">SVF::IRGraph::getValueNode</a></div><div class="ttdeci">NodeID getValueNode(const SVFValue *V)</div><div class="ttdef"><b>Definition:</b> <a href="IRGraph_8h_source.html#l00128">IRGraph.h:128</a></div></div>
 <div class="ttc" id="classSVF_1_1FIFOWorkList_html_a0df409a67428e528321869d201f2a474"><div class="ttname"><a href="classSVF_1_1FIFOWorkList.html#a0df409a67428e528321869d201f2a474">SVF::FIFOWorkList::push</a></div><div class="ttdeci">bool push(const Data &amp;data)</div><div class="ttdef"><b>Definition:</b> <a href="WorkList_8h_source.html#l00165">WorkList.h:165</a></div></div>
 <div class="ttc" id="classSVF_1_1VFGEdge_html"><div class="ttname"><a href="classSVF_1_1VFGEdge.html">SVF::VFGEdge</a></div><div class="ttdef"><b>Definition:</b> <a href="VFGEdge_8h_source.html#l00044">VFGEdge.h:44</a></div></div>
-<div class="ttc" id="classSVF_1_1GenericEdge_html_aeaa31a2c8479e831b36ce2e2582ceb86"><div class="ttname"><a href="classSVF_1_1GenericEdge.html#aeaa31a2c8479e831b36ce2e2582ceb86">SVF::GenericEdge::getDstNode</a></div><div class="ttdeci">NodeType * getDstNode() const</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00093">GenericGraph.h:93</a></div></div>
+<div class="ttc" id="classSVF_1_1GenericEdge_html_aeaa31a2c8479e831b36ce2e2582ceb86"><div class="ttname"><a href="classSVF_1_1GenericEdge.html#aeaa31a2c8479e831b36ce2e2582ceb86">SVF::GenericEdge::getDstNode</a></div><div class="ttdeci">NodeType * getDstNode() const</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00094">GenericGraph.h:94</a></div></div>
 <div class="ttc" id="namespaceSVF_html_af739db846e47ba6b2fd15eaad31ab7fb"><div class="ttname"><a href="namespaceSVF.html#af739db846e47ba6b2fd15eaad31ab7fb">SVF::Set</a></div><div class="ttdeci">std::unordered_set&lt; Key, Hash, KeyEqual, Allocator &gt; Set</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00094">SVFType.h:94</a></div></div>
 <div class="ttc" id="classSVF_1_1VFGNode_html_a3c558955f60c237c558d8faafed781e8"><div class="ttname"><a href="classSVF_1_1VFGNode.html#a3c558955f60c237c558d8faafed781e8">SVF::VFGNode::const_iterator</a></div><div class="ttdeci">VFGEdge::VFGEdgeSetTy::const_iterator const_iterator</div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00060">VFGNode.h:60</a></div></div>
 <div class="ttc" id="classSVF_1_1FIFOWorkList_html"><div class="ttname"><a href="classSVF_1_1FIFOWorkList.html">SVF::FIFOWorkList</a></div><div class="ttdef"><b>Definition:</b> <a href="WorkList_8h_source.html#l00137">WorkList.h:137</a></div></div>
-<div class="ttc" id="classSVF_1_1GenericNode_html_a19a3366fd8a58290d0c740c46c3dcb3d"><div class="ttname"><a href="classSVF_1_1GenericNode.html#a19a3366fd8a58290d0c740c46c3dcb3d">SVF::GenericNode::OutEdgeEnd</a></div><div class="ttdeci">iterator OutEdgeEnd()</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00210">GenericGraph.h:210</a></div></div>
-<div class="ttc" id="classSVF_1_1GenericGraph_html_a43c9c773bfa17abf481c33073e30d01b"><div class="ttname"><a href="classSVF_1_1GenericGraph.html#a43c9c773bfa17abf481c33073e30d01b">SVF::GenericGraph::getGNode</a></div><div class="ttdeci">NodeType * getGNode(NodeID id) const</div><div class="ttdoc">Get a node. </div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00393">GenericGraph.h:393</a></div></div>
+<div class="ttc" id="classSVF_1_1GenericNode_html_a19a3366fd8a58290d0c740c46c3dcb3d"><div class="ttname"><a href="classSVF_1_1GenericNode.html#a19a3366fd8a58290d0c740c46c3dcb3d">SVF::GenericNode::OutEdgeEnd</a></div><div class="ttdeci">iterator OutEdgeEnd()</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00211">GenericGraph.h:211</a></div></div>
+<div class="ttc" id="classSVF_1_1GenericGraph_html_a43c9c773bfa17abf481c33073e30d01b"><div class="ttname"><a href="classSVF_1_1GenericGraph.html#a43c9c773bfa17abf481c33073e30d01b">SVF::GenericGraph::getGNode</a></div><div class="ttdeci">NodeType * getGNode(NodeID id) const</div><div class="ttdoc">Get a node. </div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00394">GenericGraph.h:394</a></div></div>
 <div class="ttc" id="classSVF_1_1SVFIR_html"><div class="ttname"><a href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFIR_8h_source.html#l00043">SVFIR.h:43</a></div></div>
 <div class="ttc" id="classSVF_1_1FIFOWorkList_html_a8fa72918fce7e9c0b2dc34b683a797c6"><div class="ttname"><a href="classSVF_1_1FIFOWorkList.html#a8fa72918fce7e9c0b2dc34b683a797c6">SVF::FIFOWorkList::pop</a></div><div class="ttdeci">Data pop()</div><div class="ttdef"><b>Definition:</b> <a href="WorkList_8h_source.html#l00200">WorkList.h:200</a></div></div>
 <div class="ttc" id="classSVF_1_1VFGNode_html"><div class="ttname"><a href="classSVF_1_1VFGNode.html">SVF::VFGNode</a></div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00046">VFGNode.h:46</a></div></div>

package/SVF-doxygen/html/html/svf-ex_8cpp_source.html CHANGED Viewed

@@ -74,7 +74,7 @@ $(function() {
 <div class="ttc" id="namespacellvm_html"><div class="ttname"><a href="namespacellvm.html">llvm</a></div><div class="ttdef"><b>Definition:</b> <a href="CFLGraph_8h_source.html#l00192">CFLGraph.h:192</a></div></div>
 <div class="ttc" id="classSVF_1_1PointerAnalysis_html_a4dfb43679e9fa794ebad99b6584c32ec"><div class="ttname"><a href="classSVF_1_1PointerAnalysis.html#a4dfb43679e9fa794ebad99b6584c32ec">SVF::PointerAnalysis::getPts</a></div><div class="ttdeci">virtual const PointsTo &amp; getPts(NodeID ptr)=0</div><div class="ttdoc">Get points-to targets of a pointer. It needs to be implemented in child class. </div></div>
 <div class="ttc" id="namespaceSVF_html_a350ae9bf8606bdfe23c8679681b969dc"><div class="ttname"><a href="namespaceSVF.html#a350ae9bf8606bdfe23c8679681b969dc">SVF::NodeID</a></div><div class="ttdeci">unsigned NodeID</div><div class="ttdef"><b>Definition:</b> <a href="include_2MTA_2MTAResultValidator_8h_source.html#l00020">MTAResultValidator.h:20</a></div></div>
-<div class="ttc" id="classSVF_1_1GenericNode_html_aa4f103330118c8976bf95e4bf53416eb"><div class="ttname"><a href="classSVF_1_1GenericNode.html#aa4f103330118c8976bf95e4bf53416eb">SVF::GenericNode::OutEdgeBegin</a></div><div class="ttdeci">iterator OutEdgeBegin()</div><div class="ttdoc">iterators </div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00206">GenericGraph.h:206</a></div></div>
+<div class="ttc" id="classSVF_1_1GenericNode_html_aa4f103330118c8976bf95e4bf53416eb"><div class="ttname"><a href="classSVF_1_1GenericNode.html#aa4f103330118c8976bf95e4bf53416eb">SVF::GenericNode::OutEdgeBegin</a></div><div class="ttdeci">iterator OutEdgeBegin()</div><div class="ttdoc">iterators </div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00207">GenericGraph.h:207</a></div></div>
 <div class="ttc" id="classSVF_1_1SVFGBuilder_html_a54a713e3989597b11cee70864d0197bd"><div class="ttname"><a href="classSVF_1_1SVFGBuilder.html#a54a713e3989597b11cee70864d0197bd">SVF::SVFGBuilder::buildFullSVFG</a></div><div class="ttdeci">SVFG * buildFullSVFG(BVDataPTAImpl *pta)</div><div class="ttdef"><b>Definition:</b> <a href="SVFGBuilder_8cpp_source.html#l00052">SVFGBuilder.cpp:52</a></div></div>
 <div class="ttc" id="svf-ex_8cpp_html_ad2f24f5ef6a8eaf0e4a77a8a4d31bc9f"><div class="ttname"><a href="svf-ex_8cpp.html#ad2f24f5ef6a8eaf0e4a77a8a4d31bc9f">aliasQuery</a></div><div class="ttdeci">SVF::AliasResult aliasQuery(PointerAnalysis *pta, SVFValue *v1, SVFValue *v2)</div><div class="ttdef"><b>Definition:</b> <a href="svf-ex_8cpp_source.html#l00045">svf-ex.cpp:45</a></div></div>
 <div class="ttc" id="classSVF_1_1SVFIRBuilder_html_a5ecf1deb5646ccb46b0b3101417f4689"><div class="ttname"><a href="classSVF_1_1SVFIRBuilder.html#a5ecf1deb5646ccb46b0b3101417f4689">SVF::SVFIRBuilder::build</a></div><div class="ttdeci">virtual SVFIR * build()</div><div class="ttdoc">Start building SVFIR here. </div><div class="ttdef"><b>Definition:</b> <a href="SVFIRBuilder_8cpp_source.html#l00051">SVFIRBuilder.cpp:51</a></div></div>
@@ -96,7 +96,7 @@ $(function() {
 <div class="ttc" id="classSVF_1_1PointerAnalysis_html_a7c9b7e5fe37ae31ba84d167945ca57df"><div class="ttname"><a href="classSVF_1_1PointerAnalysis.html#a7c9b7e5fe37ae31ba84d167945ca57df">SVF::PointerAnalysis::getPTACallGraph</a></div><div class="ttdeci">PTACallGraph * getPTACallGraph() const</div><div class="ttdoc">Return call graph. </div><div class="ttdef"><b>Definition:</b> <a href="PointerAnalysis_8h_source.html#l00174">PointerAnalysis.h:174</a></div></div>
 <div class="ttc" id="classSVF_1_1PointsTo_html_aa53962e561399bf493d1f2b9137356f6"><div class="ttname"><a href="classSVF_1_1PointsTo.html#aa53962e561399bf493d1f2b9137356f6">SVF::PointsTo::begin</a></div><div class="ttdeci">const_iterator begin(void) const</div><div class="ttdef"><b>Definition:</b> <a href="PointsTo_8h_source.html#l00128">PointsTo.h:128</a></div></div>
 <div class="ttc" id="classSVF_1_1SVFIRBuilder_html"><div class="ttname"><a href="classSVF_1_1SVFIRBuilder.html">SVF::SVFIRBuilder</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFIRBuilder_8h_source.html#l00045">SVFIRBuilder.h:45</a></div></div>
-<div class="ttc" id="classSVF_1_1GenericEdge_html_aeaa31a2c8479e831b36ce2e2582ceb86"><div class="ttname"><a href="classSVF_1_1GenericEdge.html#aeaa31a2c8479e831b36ce2e2582ceb86">SVF::GenericEdge::getDstNode</a></div><div class="ttdeci">NodeType * getDstNode() const</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00093">GenericGraph.h:93</a></div></div>
+<div class="ttc" id="classSVF_1_1GenericEdge_html_aeaa31a2c8479e831b36ce2e2582ceb86"><div class="ttname"><a href="classSVF_1_1GenericEdge.html#aeaa31a2c8479e831b36ce2e2582ceb86">SVF::GenericEdge::getDstNode</a></div><div class="ttdeci">NodeType * getDstNode() const</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00094">GenericGraph.h:94</a></div></div>
 <div class="ttc" id="namespaceSVF_html_af739db846e47ba6b2fd15eaad31ab7fb"><div class="ttname"><a href="namespaceSVF.html#af739db846e47ba6b2fd15eaad31ab7fb">SVF::Set</a></div><div class="ttdeci">std::unordered_set&lt; Key, Hash, KeyEqual, Allocator &gt; Set</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00094">SVFType.h:94</a></div></div>
 <div class="ttc" id="svf-ex_8cpp_html_a3c04138a5bfe5d72780bb7e82a18e627"><div class="ttname"><a href="svf-ex_8cpp.html#a3c04138a5bfe5d72780bb7e82a18e627">main</a></div><div class="ttdeci">int main(int argc, char **argv)</div><div class="ttdef"><b>Definition:</b> <a href="svf-ex_8cpp_source.html#l00145">svf-ex.cpp:145</a></div></div>
 <div class="ttc" id="classSVF_1_1SVFValue_html_aa678ca4616a3e69b53726b33d0b9c5a2"><div class="ttname"><a href="classSVF_1_1SVFValue.html#aa678ca4616a3e69b53726b33d0b9c5a2">SVF::SVFValue::toString</a></div><div class="ttdeci">virtual const std::string toString() const</div><div class="ttdoc">Needs to be implemented by a specific SVF front end (e.g., the implementation in LLVMUtil) ...</div><div class="ttdef"><b>Definition:</b> <a href="LLVMUtil_8cpp_source.html#l00641">LLVMUtil.cpp:641</a></div></div>
@@ -118,8 +118,8 @@ $(function() {
 <div class="ttc" id="classSVF_1_1SVFGBuilder_html"><div class="ttname"><a href="classSVF_1_1SVFGBuilder.html">SVF::SVFGBuilder</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFGBuilder_8h_source.html#l00042">SVFGBuilder.h:42</a></div></div>
 <div class="ttc" id="svf-ex_8cpp_html_ad58149e5445ad22ce478339e103ab42b"><div class="ttname"><a href="svf-ex_8cpp.html#ad58149e5445ad22ce478339e103ab42b">traverseOnVFG</a></div><div class="ttdeci">void traverseOnVFG(const SVFG *vfg, SVFValue *val)</div><div class="ttdef"><b>Definition:</b> <a href="svf-ex_8cpp_source.html#l00108">svf-ex.cpp:108</a></div></div>
 <div class="ttc" id="SVFIRBuilder_8h_html"><div class="ttname"><a href="SVFIRBuilder_8h.html">SVFIRBuilder.h</a></div></div>
-<div class="ttc" id="classSVF_1_1GenericNode_html_a19a3366fd8a58290d0c740c46c3dcb3d"><div class="ttname"><a href="classSVF_1_1GenericNode.html#a19a3366fd8a58290d0c740c46c3dcb3d">SVF::GenericNode::OutEdgeEnd</a></div><div class="ttdeci">iterator OutEdgeEnd()</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00210">GenericGraph.h:210</a></div></div>
-<div class="ttc" id="classSVF_1_1GenericGraph_html_a43c9c773bfa17abf481c33073e30d01b"><div class="ttname"><a href="classSVF_1_1GenericGraph.html#a43c9c773bfa17abf481c33073e30d01b">SVF::GenericGraph::getGNode</a></div><div class="ttdeci">NodeType * getGNode(NodeID id) const</div><div class="ttdoc">Get a node. </div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00393">GenericGraph.h:393</a></div></div>
+<div class="ttc" id="classSVF_1_1GenericNode_html_a19a3366fd8a58290d0c740c46c3dcb3d"><div class="ttname"><a href="classSVF_1_1GenericNode.html#a19a3366fd8a58290d0c740c46c3dcb3d">SVF::GenericNode::OutEdgeEnd</a></div><div class="ttdeci">iterator OutEdgeEnd()</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00211">GenericGraph.h:211</a></div></div>
+<div class="ttc" id="classSVF_1_1GenericGraph_html_a43c9c773bfa17abf481c33073e30d01b"><div class="ttname"><a href="classSVF_1_1GenericGraph.html#a43c9c773bfa17abf481c33073e30d01b">SVF::GenericGraph::getGNode</a></div><div class="ttdeci">NodeType * getGNode(NodeID id) const</div><div class="ttdoc">Get a node. </div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00394">GenericGraph.h:394</a></div></div>
 <div class="ttc" id="classSVF_1_1Andersen_html"><div class="ttname"><a href="classSVF_1_1Andersen.html">SVF::Andersen</a></div><div class="ttdef"><b>Definition:</b> <a href="Andersen_8h_source.html#l00150">Andersen.h:150</a></div></div>
 <div class="ttc" id="namespaceSVF_1_1LLVMUtil_html_accdd44093d6d145dc92edeaaff3f5732"><div class="ttname"><a href="namespaceSVF_1_1LLVMUtil.html#accdd44093d6d145dc92edeaaff3f5732">SVF::LLVMUtil::processArguments</a></div><div class="ttdeci">void processArguments(int argc, char **argv, int &amp;arg_num, char **arg_value, std::vector&lt; std::string &gt; &amp;moduleNameVec)</div><div class="ttdoc">Parse argument for multi-module analysis. </div><div class="ttdef"><b>Definition:</b> <a href="LLVMUtil_8cpp_source.html#l00414">LLVMUtil.cpp:414</a></div></div>
 <div class="ttc" id="classSVF_1_1PointsTo_html"><div class="ttname"><a href="classSVF_1_1PointsTo.html">SVF::PointsTo</a></div><div class="ttdef"><b>Definition:</b> <a href="PointsTo_8h_source.html#l00028">PointsTo.h:28</a></div></div>

package/SVF-doxygen/html/html/tools_2MTA_2MTAResultValidator_8h_source.html CHANGED Viewed

@@ -157,7 +157,7 @@ $(function() {
 <div class="ttc" id="classSVF_1_1MTAResultValidator_html_a1ac51d2847f9bdee27092ab22211bb61"><div class="ttname"><a href="classSVF_1_1MTAResultValidator.html#a1ac51d2847f9bdee27092ab22211bb61">SVF::MTAResultValidator::getStringArg</a></div><div class="ttdeci">std::vector&lt; std::string &gt; getStringArg(const Instruction *inst, unsigned int arg_num)</div><div class="ttdef"><b>Definition:</b> <a href="MTAResultValidator_8cpp_source.html#l00094">MTAResultValidator.cpp:94</a></div></div>
 <div class="ttc" id="namespaceSVF_html_a1f4624771922dc8c2447ad7433588c73"><div class="ttname"><a href="namespaceSVF.html#a1f4624771922dc8c2447ad7433588c73">SVF::CallBase</a></div><div class="ttdeci">llvm::CallBase CallBase</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00119">BasicTypes.h:119</a></div></div>
 <div class="ttc" id="classSVF_1_1RaceResultValidator_html_ade9f150c970aa2cc481c878aebf71662"><div class="ttname"><a href="classSVF_1_1RaceResultValidator.html#ade9f150c970aa2cc481c878aebf71662">SVF::RaceResultValidator::mayAccessAliases</a></div><div class="ttdeci">virtual bool mayAccessAliases(const Instruction *I1, const Instruction *I2)</div><div class="ttdef"><b>Definition:</b> <a href="tools_2MTA_2MTAResultValidator_8h_source.html#l00244">MTAResultValidator.h:244</a></div></div>
-<div class="ttc" id="classSVF_1_1LLVMModuleSet_html_afdd77bc1fca91f70b2ec362f1dacd392"><div class="ttname"><a href="classSVF_1_1LLVMModuleSet.html#afdd77bc1fca91f70b2ec362f1dacd392">SVF::LLVMModuleSet::getSVFValue</a></div><div class="ttdeci">SVFValue * getSVFValue(const Value *value)</div><div class="ttdef"><b>Definition:</b> <a href="LLVMModule_8cpp_source.html#l00924">LLVMModule.cpp:924</a></div></div>
+<div class="ttc" id="classSVF_1_1LLVMModuleSet_html_afdd77bc1fca91f70b2ec362f1dacd392"><div class="ttname"><a href="classSVF_1_1LLVMModuleSet.html#afdd77bc1fca91f70b2ec362f1dacd392">SVF::LLVMModuleSet::getSVFValue</a></div><div class="ttdeci">SVFValue * getSVFValue(const Value *value)</div><div class="ttdef"><b>Definition:</b> <a href="LLVMModule_8cpp_source.html#l00925">LLVMModule.cpp:925</a></div></div>
 <div class="ttc" id="classSVF_1_1RaceResultValidator_html"><div class="ttname"><a href="classSVF_1_1RaceResultValidator.html">SVF::RaceResultValidator</a></div><div class="ttdoc">Validate the result of concurrent analysis. </div><div class="ttdef"><b>Definition:</b> <a href="include_2MTA_2MTAResultValidator_8h_source.html#l00169">MTAResultValidator.h:169</a></div></div>
 <div class="ttc" id="classSVF_1_1RaceResultValidator_html_a1df6b00752e373ac7bf08a2cae0b9641"><div class="ttname"><a href="classSVF_1_1RaceResultValidator.html#a1df6b00752e373ac7bf08a2cae0b9641">SVF::RaceResultValidator::mayHaveDataRace</a></div><div class="ttdeci">virtual bool mayHaveDataRace(const Instruction *I1, const Instruction *I2)</div><div class="ttdef"><b>Definition:</b> <a href="tools_2MTA_2MTAResultValidator_8h_source.html#l00262">MTAResultValidator.h:262</a></div></div>
 <div class="ttc" id="namespaceSVF_1_1SVFUtil_html_a5d4bb92f5df30417f414397f8e58cf01"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#a5d4bb92f5df30417f414397f8e58cf01">SVF::SVFUtil::errMsg</a></div><div class="ttdeci">std::string errMsg(std::string msg)</div><div class="ttdoc">Print error message by converting a string into red string output. </div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8cpp_source.html#l00075">SVFUtil.cpp:75</a></div></div>