svf-tools 1.0.596 → 1.0.597

package/SVF-doxygen/html/html/iterator__range_8h.html

@@ -76,22 +76,23 @@ $(function() {
 <table class="memberdecls">
 <tr class="heading"><td colspan="2"><h2 class="groupheader"><a name="nested-classes"></a>
 Classes</h2></td></tr>
-<tr class="memitem:"><td class="memItemLeft" align="right" valign="top">class &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classllvm_1_1iterator__range.html">llvm::iterator_range&lt; IteratorT &gt;</a></td></tr>
+<tr class="memitem:"><td class="memItemLeft" align="right" valign="top">class &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1iter__range.html">SVF::iter_range&lt; IteratorT &gt;</a></td></tr>
 <tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
 </table><table class="memberdecls">
 <tr class="heading"><td colspan="2"><h2 class="groupheader"><a name="namespaces"></a>
 Namespaces</h2></td></tr>
-<tr class="memitem:namespacellvm"><td class="memItemLeft" align="right" valign="top"> &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespacellvm.html">llvm</a></td></tr>
+<tr class="memitem:namespaceSVF"><td class="memItemLeft" align="right" valign="top"> &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF.html">SVF</a></td></tr>
+<tr class="memdesc:namespaceSVF"><td class="mdescLeft">&#160;</td><td class="mdescRight">for isBitcode <br /></td></tr>
 <tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
 </table><table class="memberdecls">
 <tr class="heading"><td colspan="2"><h2 class="groupheader"><a name="func-members"></a>
 Functions</h2></td></tr>
-<tr class="memitem:ad1a91b49e0c092818a0b82f6cc130a1b"><td class="memTemplParams" colspan="2">template&lt;class T &gt; </td></tr>
-<tr class="memitem:ad1a91b49e0c092818a0b82f6cc130a1b"><td class="memTemplItemLeft" align="right" valign="top">iterator_range&lt; T &gt;&#160;</td><td class="memTemplItemRight" valign="bottom"><a class="el" href="namespacellvm.html#ad1a91b49e0c092818a0b82f6cc130a1b">llvm::make_range</a> (T x, T y)</td></tr>
-<tr class="separator:ad1a91b49e0c092818a0b82f6cc130a1b"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:a205378e83b002bbbf3cbfa232b2cf0a7"><td class="memTemplParams" colspan="2">template&lt;typename T &gt; </td></tr>
-<tr class="memitem:a205378e83b002bbbf3cbfa232b2cf0a7"><td class="memTemplItemLeft" align="right" valign="top">iterator_range&lt; T &gt;&#160;</td><td class="memTemplItemRight" valign="bottom"><a class="el" href="namespacellvm.html#a205378e83b002bbbf3cbfa232b2cf0a7">llvm::make_range</a> (std::pair&lt; T, T &gt; <a class="el" href="cJSON_8cpp.html#a009ef1d888ab6dbe77e6b42b0b39f1ae">p</a>)</td></tr>
-<tr class="separator:a205378e83b002bbbf3cbfa232b2cf0a7"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a3b6bc8132d0fd4902888ab9f77c20124"><td class="memTemplParams" colspan="2">template&lt;class T &gt; </td></tr>
+<tr class="memitem:a3b6bc8132d0fd4902888ab9f77c20124"><td class="memTemplItemLeft" align="right" valign="top">iter_range&lt; T &gt;&#160;</td><td class="memTemplItemRight" valign="bottom"><a class="el" href="namespaceSVF.html#a3b6bc8132d0fd4902888ab9f77c20124">SVF::make_range</a> (T x, T y)</td></tr>
+<tr class="separator:a3b6bc8132d0fd4902888ab9f77c20124"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a323872e7b86d109057b3ccbdedee7c86"><td class="memTemplParams" colspan="2">template&lt;typename T &gt; </td></tr>
+<tr class="memitem:a323872e7b86d109057b3ccbdedee7c86"><td class="memTemplItemLeft" align="right" valign="top">iter_range&lt; T &gt;&#160;</td><td class="memTemplItemRight" valign="bottom"><a class="el" href="namespaceSVF.html#a323872e7b86d109057b3ccbdedee7c86">SVF::make_range</a> (std::pair&lt; T, T &gt; <a class="el" href="cJSON_8cpp.html#a009ef1d888ab6dbe77e6b42b0b39f1ae">p</a>)</td></tr>
+<tr class="separator:a323872e7b86d109057b3ccbdedee7c86"><td class="memSeparator" colspan="2">&#160;</td></tr>
 </table>
 <a name="details" id="details"></a><h2 class="groupheader">Detailed Description</h2>
 <div class="textblock"><p>This provides a very simple, boring adaptor for a begin and end iterator into a range type. This should be used to build range views that work well with range based for loops and range based constructors.</p>

package/SVF-doxygen/html/html/iterator__range_8h_source.html

@@ -66,19 +66,19 @@ $(function() {
 <div class="title">iterator_range.h</div>  </div>
 </div><!--header-->
 <div class="contents">
-<a href="iterator__range_8h.html">Go to the documentation of this file.</a><div class="fragment"><div class="line"><a name="l00001"></a><span class="lineno">    1</span>&#160;<span class="comment">//===- iterator_range.h - A range adaptor for iterators ---------*- C++ -*-===//</span></div><div class="line"><a name="l00002"></a><span class="lineno">    2</span>&#160;<span class="comment">//</span></div><div class="line"><a name="l00003"></a><span class="lineno">    3</span>&#160;<span class="comment">// From the LLVM Project with some modifications, under the Apache License v2.0</span></div><div class="line"><a name="l00004"></a><span class="lineno">    4</span>&#160;<span class="comment">// with LLVM Exceptions. See https://llvm.org/LICENSE.txt for license information.</span></div><div class="line"><a name="l00005"></a><span class="lineno">    5</span>&#160;<span class="comment">// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception</span></div><div class="line"><a name="l00006"></a><span class="lineno">    6</span>&#160;<span class="comment">//</span></div><div class="line"><a name="l00007"></a><span class="lineno">    7</span>&#160;<span class="comment">//===----------------------------------------------------------------------===//</span></div><div class="line"><a name="l00016"></a><span class="lineno">   16</span>&#160;<span class="comment"></span><span class="comment">//===----------------------------------------------------------------------===//</span></div><div class="line"><a name="l00017"></a><span class="lineno">   17</span>&#160;</div><div class="line"><a name="l00018"></a><span class="lineno">   18</span>&#160;<span class="preprocessor">#ifndef LLVM_ADT_ITERATOR_RANGE_H</span></div><div class="line"><a name="l00019"></a><span class="lineno">   19</span>&#160;<span class="preprocessor">#define LLVM_ADT_ITERATOR_RANGE_H</span></div><div class="line"><a name="l00020"></a><span class="lineno">   20</span>&#160;</div><div class="line"><a name="l00021"></a><span class="lineno">   21</span>&#160;<span class="preprocessor">#include &lt;utility&gt;</span></div><div class="line"><a name="l00022"></a><span class="lineno">   22</span>&#160;</div><div class="line"><a name="l00023"></a><span class="lineno">   23</span>&#160;<span class="keyword">namespace </span><a class="code" href="namespacellvm.html">llvm</a></div><div class="line"><a name="l00024"></a><span class="lineno">   24</span>&#160;{</div><div class="line"><a name="l00025"></a><span class="lineno">   25</span>&#160;</div><div class="line"><a name="l00030"></a><span class="lineno">   30</span>&#160;<span class="keyword">template</span> &lt;<span class="keyword">typename</span> IteratorT&gt;</div><div class="line"><a name="l00031"></a><span class="lineno"><a class="line" href="classllvm_1_1iterator__range.html">   31</a></span>&#160;<span class="keyword">class </span><a class="code" href="classllvm_1_1iterator__range.html">iterator_range</a></div><div class="line"><a name="l00032"></a><span class="lineno">   32</span>&#160;{</div><div class="line"><a name="l00033"></a><span class="lineno"><a class="line" href="classllvm_1_1iterator__range.html#a823f166661c0251fc90181a2d9fc13fa">   33</a></span>&#160;    IteratorT <a class="code" href="classllvm_1_1iterator__range.html#aeac0e00835772be18abf2daed29f5d1f">begin_iterator</a>, <a class="code" href="classllvm_1_1iterator__range.html#a823f166661c0251fc90181a2d9fc13fa">end_iterator</a>;</div><div class="line"><a name="l00034"></a><span class="lineno">   34</span>&#160;</div><div class="line"><a name="l00035"></a><span class="lineno">   35</span>&#160;<span class="keyword">public</span>:</div><div class="line"><a name="l00036"></a><span class="lineno">   36</span>&#160;    <span class="comment">//TODO: Add SFINAE to test that the Container&#39;s iterators match the range&#39;s</span></div><div class="line"><a name="l00037"></a><span class="lineno">   37</span>&#160;    <span class="comment">//      iterators.</span></div><div class="line"><a name="l00038"></a><span class="lineno">   38</span>&#160;    <span class="keyword">template</span> &lt;<span class="keyword">typename</span> Container&gt;</div><div class="line"><a name="l00039"></a><span class="lineno"><a class="line" href="classllvm_1_1iterator__range.html#a8f4ce3ff605a3b808d44fba0d9274b67">   39</a></span>&#160;    <a class="code" href="classllvm_1_1iterator__range.html#a8f4ce3ff605a3b808d44fba0d9274b67">iterator_range</a>(Container &amp;&amp;c)</div><div class="line"><a name="l00040"></a><span class="lineno">   40</span>&#160;    <span class="comment">//TODO: Consider ADL/non-member begin/end calls.</span></div><div class="line"><a name="l00041"></a><span class="lineno">   41</span>&#160;        : begin_iterator(c.<a class="code" href="classllvm_1_1iterator__range.html#af5a020bd9dd7bc8487dd53ce443fdd8f">begin</a>()), end_iterator(c.<a class="code" href="classllvm_1_1iterator__range.html#aa0344673da91896d39f1b35755ee5d4e">end</a>()) {}</div><div class="line"><a name="l00042"></a><span class="lineno"><a class="line" href="classllvm_1_1iterator__range.html#a5b169099ccb57e0b8fbae3fc0c57b826">   42</a></span>&#160;    <a class="code" href="classllvm_1_1iterator__range.html#a5b169099ccb57e0b8fbae3fc0c57b826">iterator_range</a>(IteratorT begin_iterator, IteratorT end_iterator)</div><div class="line"><a name="l00043"></a><span class="lineno">   43</span>&#160;        : begin_iterator(<a class="code" href="namespacestd.html">std</a>::<a class="code" href="namespaceSVF_1_1SVFUtil.html#a72502f7f536418621485e90ab98c2016">move</a>(begin_iterator)),</div><div class="line"><a name="l00044"></a><span class="lineno">   44</span>&#160;          end_iterator(<a class="code" href="namespacestd.html">std</a>::<a class="code" href="namespaceSVF_1_1SVFUtil.html#a72502f7f536418621485e90ab98c2016">move</a>(end_iterator)) {}</div><div class="line"><a name="l00045"></a><span class="lineno">   45</span>&#160;</div><div class="line"><a name="l00046"></a><span class="lineno"><a class="line" href="classllvm_1_1iterator__range.html#af5a020bd9dd7bc8487dd53ce443fdd8f">   46</a></span>&#160;    IteratorT <a class="code" href="classllvm_1_1iterator__range.html#af5a020bd9dd7bc8487dd53ce443fdd8f">begin</a>()<span class="keyword"> const</span></div><div class="line"><a name="l00047"></a><span class="lineno">   47</span>&#160;<span class="keyword">    </span>{</div><div class="line"><a name="l00048"></a><span class="lineno">   48</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classllvm_1_1iterator__range.html#aeac0e00835772be18abf2daed29f5d1f">begin_iterator</a>;</div><div class="line"><a name="l00049"></a><span class="lineno">   49</span>&#160;    }</div><div class="line"><a name="l00050"></a><span class="lineno"><a class="line" href="classllvm_1_1iterator__range.html#aa0344673da91896d39f1b35755ee5d4e">   50</a></span>&#160;    IteratorT <a class="code" href="classllvm_1_1iterator__range.html#aa0344673da91896d39f1b35755ee5d4e">end</a>()<span class="keyword"> const</span></div><div class="line"><a name="l00051"></a><span class="lineno">   51</span>&#160;<span class="keyword">    </span>{</div><div class="line"><a name="l00052"></a><span class="lineno">   52</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classllvm_1_1iterator__range.html#a823f166661c0251fc90181a2d9fc13fa">end_iterator</a>;</div><div class="line"><a name="l00053"></a><span class="lineno">   53</span>&#160;    }</div><div class="line"><a name="l00054"></a><span class="lineno"><a class="line" href="classllvm_1_1iterator__range.html#a06fff5bdd2bdf6d2c200e281787dc284">   54</a></span>&#160;    <span class="keywordtype">bool</span> <a class="code" href="classllvm_1_1iterator__range.html#a06fff5bdd2bdf6d2c200e281787dc284">empty</a>()<span class="keyword"> const</span></div><div class="line"><a name="l00055"></a><span class="lineno">   55</span>&#160;<span class="keyword">    </span>{</div><div class="line"><a name="l00056"></a><span class="lineno">   56</span>&#160;        <span class="keywordflow">return</span> begin_iterator == <a class="code" href="classllvm_1_1iterator__range.html#a823f166661c0251fc90181a2d9fc13fa">end_iterator</a>;</div><div class="line"><a name="l00057"></a><span class="lineno">   57</span>&#160;    }</div><div class="line"><a name="l00058"></a><span class="lineno">   58</span>&#160;};</div><div class="line"><a name="l00059"></a><span class="lineno">   59</span>&#160;</div><div class="line"><a name="l00064"></a><span class="lineno"><a class="line" href="namespacellvm.html#ad1a91b49e0c092818a0b82f6cc130a1b">   64</a></span>&#160;<span class="keyword">template</span> &lt;<span class="keyword">class</span> T&gt; <a class="code" href="classllvm_1_1iterator__range.html">iterator_range&lt;T&gt;</a> <a class="code" href="namespacellvm.html#ad1a91b49e0c092818a0b82f6cc130a1b">make_range</a>(T x, T y)</div><div class="line"><a name="l00065"></a><span class="lineno">   65</span>&#160;{</div><div class="line"><a name="l00066"></a><span class="lineno">   66</span>&#160;    <span class="keywordflow">return</span> <a class="code" href="classllvm_1_1iterator__range.html">iterator_range&lt;T&gt;</a>(<a class="code" href="namespaceSVF_1_1SVFUtil.html#a72502f7f536418621485e90ab98c2016">std::move</a>(x), <a class="code" href="namespaceSVF_1_1SVFUtil.html#a72502f7f536418621485e90ab98c2016">std::move</a>(y));</div><div class="line"><a name="l00067"></a><span class="lineno">   67</span>&#160;}</div><div class="line"><a name="l00068"></a><span class="lineno">   68</span>&#160;</div><div class="line"><a name="l00069"></a><span class="lineno"><a class="line" href="namespacellvm.html#a205378e83b002bbbf3cbfa232b2cf0a7">   69</a></span>&#160;<span class="keyword">template</span> &lt;<span class="keyword">typename</span> T&gt; <a class="code" href="classllvm_1_1iterator__range.html">iterator_range&lt;T&gt;</a> <a class="code" href="namespacellvm.html#ad1a91b49e0c092818a0b82f6cc130a1b">make_range</a>(std::pair&lt;T, T&gt; <a class="code" href="cJSON_8cpp.html#a009ef1d888ab6dbe77e6b42b0b39f1ae">p</a>)</div><div class="line"><a name="l00070"></a><span class="lineno">   70</span>&#160;{</div><div class="line"><a name="l00071"></a><span class="lineno">   71</span>&#160;    <span class="keywordflow">return</span> <a class="code" href="classllvm_1_1iterator__range.html">iterator_range&lt;T&gt;</a>(<a class="code" href="namespaceSVF_1_1SVFUtil.html#a72502f7f536418621485e90ab98c2016">std::move</a>(p.first), <a class="code" href="namespaceSVF_1_1SVFUtil.html#a72502f7f536418621485e90ab98c2016">std::move</a>(p.second));</div><div class="line"><a name="l00072"></a><span class="lineno">   72</span>&#160;}</div><div class="line"><a name="l00073"></a><span class="lineno">   73</span>&#160;</div><div class="line"><a name="l00074"></a><span class="lineno">   74</span>&#160;}</div><div class="line"><a name="l00075"></a><span class="lineno">   75</span>&#160;</div><div class="line"><a name="l00076"></a><span class="lineno">   76</span>&#160;<span class="preprocessor">#endif</span></div><div class="ttc" id="cJSON_8cpp_html_a009ef1d888ab6dbe77e6b42b0b39f1ae"><div class="ttname"><a href="cJSON_8cpp.html#a009ef1d888ab6dbe77e6b42b0b39f1ae">p</a></div><div class="ttdeci">cJSON * p</div><div class="ttdef"><b>Definition:</b> <a href="cJSON_8cpp_source.html#l02559">cJSON.cpp:2559</a></div></div>
-<div class="ttc" id="classllvm_1_1iterator__range_html_a06fff5bdd2bdf6d2c200e281787dc284"><div class="ttname"><a href="classllvm_1_1iterator__range.html#a06fff5bdd2bdf6d2c200e281787dc284">llvm::iterator_range::empty</a></div><div class="ttdeci">bool empty() const</div><div class="ttdef"><b>Definition:</b> <a href="iterator__range_8h_source.html#l00054">iterator_range.h:54</a></div></div>
-<div class="ttc" id="classllvm_1_1iterator__range_html_aeac0e00835772be18abf2daed29f5d1f"><div class="ttname"><a href="classllvm_1_1iterator__range.html#aeac0e00835772be18abf2daed29f5d1f">llvm::iterator_range::begin_iterator</a></div><div class="ttdeci">IteratorT begin_iterator</div><div class="ttdef"><b>Definition:</b> <a href="iterator__range_8h_source.html#l00033">iterator_range.h:33</a></div></div>
-<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>
+<a href="iterator__range_8h.html">Go to the documentation of this file.</a><div class="fragment"><div class="line"><a name="l00001"></a><span class="lineno">    1</span>&#160;<span class="comment">//===- iter_range.h - A range adaptor for iterators ---------*- C++ -*-===//</span></div><div class="line"><a name="l00002"></a><span class="lineno">    2</span>&#160;<span class="comment">//</span></div><div class="line"><a name="l00003"></a><span class="lineno">    3</span>&#160;<span class="comment">// From the LLVM Project with some modifications, under the Apache License v2.0</span></div><div class="line"><a name="l00004"></a><span class="lineno">    4</span>&#160;<span class="comment">// with LLVM Exceptions. See https://llvm.org/LICENSE.txt for license information.</span></div><div class="line"><a name="l00005"></a><span class="lineno">    5</span>&#160;<span class="comment">// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception</span></div><div class="line"><a name="l00006"></a><span class="lineno">    6</span>&#160;<span class="comment">//</span></div><div class="line"><a name="l00007"></a><span class="lineno">    7</span>&#160;<span class="comment">//===----------------------------------------------------------------------===//</span></div><div class="line"><a name="l00016"></a><span class="lineno">   16</span>&#160;<span class="comment"></span><span class="comment">//===----------------------------------------------------------------------===//</span></div><div class="line"><a name="l00017"></a><span class="lineno">   17</span>&#160;</div><div class="line"><a name="l00018"></a><span class="lineno">   18</span>&#160;<span class="preprocessor">#ifndef UTIL_ITERATOR_RANGE_H</span></div><div class="line"><a name="l00019"></a><span class="lineno">   19</span>&#160;<span class="preprocessor">#define UTIL_ITERATOR_RANGE_H</span></div><div class="line"><a name="l00020"></a><span class="lineno">   20</span>&#160;</div><div class="line"><a name="l00021"></a><span class="lineno">   21</span>&#160;<span class="preprocessor">#include &lt;utility&gt;</span></div><div class="line"><a name="l00022"></a><span class="lineno">   22</span>&#160;</div><div class="line"><a name="l00023"></a><span class="lineno">   23</span>&#160;<span class="keyword">namespace </span><a class="code" href="namespaceSVF.html">SVF</a></div><div class="line"><a name="l00024"></a><span class="lineno">   24</span>&#160;{</div><div class="line"><a name="l00025"></a><span class="lineno">   25</span>&#160;</div><div class="line"><a name="l00030"></a><span class="lineno">   30</span>&#160;<span class="keyword">template</span> &lt;<span class="keyword">typename</span> IteratorT&gt;</div><div class="line"><a name="l00031"></a><span class="lineno"><a class="line" href="classSVF_1_1iter__range.html">   31</a></span>&#160;<span class="keyword">class </span><a class="code" href="classSVF_1_1iter__range.html">iter_range</a></div><div class="line"><a name="l00032"></a><span class="lineno">   32</span>&#160;{</div><div class="line"><a name="l00033"></a><span class="lineno"><a class="line" href="classSVF_1_1iter__range.html#aced2e91eaf4970e387ad249f6e936373">   33</a></span>&#160;    IteratorT <a class="code" href="classSVF_1_1iter__range.html#a56f458edec1d1181e1cfe0f9a23c8003">begin_iterator</a>, <a class="code" href="classSVF_1_1iter__range.html#aced2e91eaf4970e387ad249f6e936373">end_iterator</a>;</div><div class="line"><a name="l00034"></a><span class="lineno">   34</span>&#160;</div><div class="line"><a name="l00035"></a><span class="lineno">   35</span>&#160;<span class="keyword">public</span>:</div><div class="line"><a name="l00036"></a><span class="lineno">   36</span>&#160;    <span class="comment">//TODO: Add SFINAE to test that the Container&#39;s iterators match the range&#39;s</span></div><div class="line"><a name="l00037"></a><span class="lineno">   37</span>&#160;    <span class="comment">//      iterators.</span></div><div class="line"><a name="l00038"></a><span class="lineno">   38</span>&#160;    <span class="keyword">template</span> &lt;<span class="keyword">typename</span> Container&gt;</div><div class="line"><a name="l00039"></a><span class="lineno"><a class="line" href="classSVF_1_1iter__range.html#ac3a12d857b57fbe7b81987f56655cb3b">   39</a></span>&#160;    <a class="code" href="classSVF_1_1iter__range.html#ac3a12d857b57fbe7b81987f56655cb3b">iter_range</a>(Container &amp;&amp;c)</div><div class="line"><a name="l00040"></a><span class="lineno">   40</span>&#160;    <span class="comment">//TODO: Consider ADL/non-member begin/end calls.</span></div><div class="line"><a name="l00041"></a><span class="lineno">   41</span>&#160;        : begin_iterator(c.<a class="code" href="classSVF_1_1iter__range.html#a35c298cfeda798cbf4f65150796f8489">begin</a>()), end_iterator(c.<a class="code" href="classSVF_1_1iter__range.html#a86124761467c76a7f7b0926b47d4f031">end</a>()) {}</div><div class="line"><a name="l00042"></a><span class="lineno"><a class="line" href="classSVF_1_1iter__range.html#aa4d5bc9762f2d7686b9ab36078e0a319">   42</a></span>&#160;    <a class="code" href="classSVF_1_1iter__range.html#aa4d5bc9762f2d7686b9ab36078e0a319">iter_range</a>(IteratorT begin_iterator, IteratorT end_iterator)</div><div class="line"><a name="l00043"></a><span class="lineno">   43</span>&#160;        : begin_iterator(<a class="code" href="namespacestd.html">std</a>::<a class="code" href="namespaceSVF_1_1SVFUtil.html#a72502f7f536418621485e90ab98c2016">move</a>(begin_iterator)),</div><div class="line"><a name="l00044"></a><span class="lineno">   44</span>&#160;          end_iterator(<a class="code" href="namespacestd.html">std</a>::<a class="code" href="namespaceSVF_1_1SVFUtil.html#a72502f7f536418621485e90ab98c2016">move</a>(end_iterator)) {}</div><div class="line"><a name="l00045"></a><span class="lineno">   45</span>&#160;</div><div class="line"><a name="l00046"></a><span class="lineno"><a class="line" href="classSVF_1_1iter__range.html#a35c298cfeda798cbf4f65150796f8489">   46</a></span>&#160;    IteratorT <a class="code" href="classSVF_1_1iter__range.html#a35c298cfeda798cbf4f65150796f8489">begin</a>()<span class="keyword"> const</span></div><div class="line"><a name="l00047"></a><span class="lineno">   47</span>&#160;<span class="keyword">    </span>{</div><div class="line"><a name="l00048"></a><span class="lineno">   48</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1iter__range.html#a56f458edec1d1181e1cfe0f9a23c8003">begin_iterator</a>;</div><div class="line"><a name="l00049"></a><span class="lineno">   49</span>&#160;    }</div><div class="line"><a name="l00050"></a><span class="lineno"><a class="line" href="classSVF_1_1iter__range.html#a86124761467c76a7f7b0926b47d4f031">   50</a></span>&#160;    IteratorT <a class="code" href="classSVF_1_1iter__range.html#a86124761467c76a7f7b0926b47d4f031">end</a>()<span class="keyword"> const</span></div><div class="line"><a name="l00051"></a><span class="lineno">   51</span>&#160;<span class="keyword">    </span>{</div><div class="line"><a name="l00052"></a><span class="lineno">   52</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1iter__range.html#aced2e91eaf4970e387ad249f6e936373">end_iterator</a>;</div><div class="line"><a name="l00053"></a><span class="lineno">   53</span>&#160;    }</div><div class="line"><a name="l00054"></a><span class="lineno"><a class="line" href="classSVF_1_1iter__range.html#ad8b380db56076165a0324922daa2e850">   54</a></span>&#160;    <span class="keywordtype">bool</span> <a class="code" href="classSVF_1_1iter__range.html#ad8b380db56076165a0324922daa2e850">empty</a>()<span class="keyword"> const</span></div><div class="line"><a name="l00055"></a><span class="lineno">   55</span>&#160;<span class="keyword">    </span>{</div><div class="line"><a name="l00056"></a><span class="lineno">   56</span>&#160;        <span class="keywordflow">return</span> begin_iterator == <a class="code" href="classSVF_1_1iter__range.html#aced2e91eaf4970e387ad249f6e936373">end_iterator</a>;</div><div class="line"><a name="l00057"></a><span class="lineno">   57</span>&#160;    }</div><div class="line"><a name="l00058"></a><span class="lineno">   58</span>&#160;};</div><div class="line"><a name="l00059"></a><span class="lineno">   59</span>&#160;</div><div class="line"><a name="l00064"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a3b6bc8132d0fd4902888ab9f77c20124">   64</a></span>&#160;<span class="keyword">template</span> &lt;<span class="keyword">class</span> T&gt; <a class="code" href="classSVF_1_1iter__range.html">iter_range&lt;T&gt;</a> <a class="code" href="namespaceSVF.html#a3b6bc8132d0fd4902888ab9f77c20124">make_range</a>(T x, T y)</div><div class="line"><a name="l00065"></a><span class="lineno">   65</span>&#160;{</div><div class="line"><a name="l00066"></a><span class="lineno">   66</span>&#160;    <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1iter__range.html">iter_range&lt;T&gt;</a>(<a class="code" href="namespaceSVF_1_1SVFUtil.html#a72502f7f536418621485e90ab98c2016">std::move</a>(x), <a class="code" href="namespaceSVF_1_1SVFUtil.html#a72502f7f536418621485e90ab98c2016">std::move</a>(y));</div><div class="line"><a name="l00067"></a><span class="lineno">   67</span>&#160;}</div><div class="line"><a name="l00068"></a><span class="lineno">   68</span>&#160;</div><div class="line"><a name="l00069"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a323872e7b86d109057b3ccbdedee7c86">   69</a></span>&#160;<span class="keyword">template</span> &lt;<span class="keyword">typename</span> T&gt; <a class="code" href="classSVF_1_1iter__range.html">iter_range&lt;T&gt;</a> <a class="code" href="namespaceSVF.html#a3b6bc8132d0fd4902888ab9f77c20124">make_range</a>(std::pair&lt;T, T&gt; <a class="code" href="cJSON_8cpp.html#a009ef1d888ab6dbe77e6b42b0b39f1ae">p</a>)</div><div class="line"><a name="l00070"></a><span class="lineno">   70</span>&#160;{</div><div class="line"><a name="l00071"></a><span class="lineno">   71</span>&#160;    <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1iter__range.html">iter_range&lt;T&gt;</a>(<a class="code" href="namespaceSVF_1_1SVFUtil.html#a72502f7f536418621485e90ab98c2016">std::move</a>(p.first), <a class="code" href="namespaceSVF_1_1SVFUtil.html#a72502f7f536418621485e90ab98c2016">std::move</a>(p.second));</div><div class="line"><a name="l00072"></a><span class="lineno">   72</span>&#160;}</div><div class="line"><a name="l00073"></a><span class="lineno">   73</span>&#160;</div><div class="line"><a name="l00074"></a><span class="lineno">   74</span>&#160;}</div><div class="line"><a name="l00075"></a><span class="lineno">   75</span>&#160;</div><div class="line"><a name="l00076"></a><span class="lineno">   76</span>&#160;<span class="preprocessor">#endif</span></div><div class="ttc" id="cJSON_8cpp_html_a009ef1d888ab6dbe77e6b42b0b39f1ae"><div class="ttname"><a href="cJSON_8cpp.html#a009ef1d888ab6dbe77e6b42b0b39f1ae">p</a></div><div class="ttdeci">cJSON * p</div><div class="ttdef"><b>Definition:</b> <a href="cJSON_8cpp_source.html#l02559">cJSON.cpp:2559</a></div></div>
+<div class="ttc" id="namespaceSVF_html_a3b6bc8132d0fd4902888ab9f77c20124"><div class="ttname"><a href="namespaceSVF.html#a3b6bc8132d0fd4902888ab9f77c20124">SVF::make_range</a></div><div class="ttdeci">iter_range&lt; T &gt; make_range(T x, T y)</div><div class="ttdef"><b>Definition:</b> <a href="iterator__range_8h_source.html#l00064">iterator_range.h:64</a></div></div>
+<div class="ttc" id="classSVF_1_1iter__range_html_a86124761467c76a7f7b0926b47d4f031"><div class="ttname"><a href="classSVF_1_1iter__range.html#a86124761467c76a7f7b0926b47d4f031">SVF::iter_range::end</a></div><div class="ttdeci">IteratorT end() const</div><div class="ttdef"><b>Definition:</b> <a href="iterator__range_8h_source.html#l00050">iterator_range.h:50</a></div></div>
+<div class="ttc" id="classSVF_1_1iter__range_html_aced2e91eaf4970e387ad249f6e936373"><div class="ttname"><a href="classSVF_1_1iter__range.html#aced2e91eaf4970e387ad249f6e936373">SVF::iter_range::end_iterator</a></div><div class="ttdeci">IteratorT end_iterator</div><div class="ttdef"><b>Definition:</b> <a href="iterator__range_8h_source.html#l00033">iterator_range.h:33</a></div></div>
 <div class="ttc" id="namespacestd_html"><div class="ttname"><a href="namespacestd.html">std</a></div></div>
 <div class="ttc" id="namespaceSVF_1_1SVFUtil_html_a72502f7f536418621485e90ab98c2016"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#a72502f7f536418621485e90ab98c2016">SVF::SVFUtil::move</a></div><div class="ttdeci">constexpr std::remove_reference&lt; T &gt;::type &amp;&amp; move(T &amp;&amp;t) noexcept</div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8h_source.html#l00657">SVFUtil.h:657</a></div></div>
-<div class="ttc" id="namespacellvm_html_ad1a91b49e0c092818a0b82f6cc130a1b"><div class="ttname"><a href="namespacellvm.html#ad1a91b49e0c092818a0b82f6cc130a1b">llvm::make_range</a></div><div class="ttdeci">iterator_range&lt; T &gt; make_range(T x, T y)</div><div class="ttdef"><b>Definition:</b> <a href="iterator__range_8h_source.html#l00064">iterator_range.h:64</a></div></div>
-<div class="ttc" id="classllvm_1_1iterator__range_html_a8f4ce3ff605a3b808d44fba0d9274b67"><div class="ttname"><a href="classllvm_1_1iterator__range.html#a8f4ce3ff605a3b808d44fba0d9274b67">llvm::iterator_range::iterator_range</a></div><div class="ttdeci">iterator_range(Container &amp;&amp;c)</div><div class="ttdef"><b>Definition:</b> <a href="iterator__range_8h_source.html#l00039">iterator_range.h:39</a></div></div>
-<div class="ttc" id="classllvm_1_1iterator__range_html"><div class="ttname"><a href="classllvm_1_1iterator__range.html">llvm::iterator_range</a></div><div class="ttdef"><b>Definition:</b> <a href="iterator__range_8h_source.html#l00031">iterator_range.h:31</a></div></div>
-<div class="ttc" id="classllvm_1_1iterator__range_html_a823f166661c0251fc90181a2d9fc13fa"><div class="ttname"><a href="classllvm_1_1iterator__range.html#a823f166661c0251fc90181a2d9fc13fa">llvm::iterator_range::end_iterator</a></div><div class="ttdeci">IteratorT end_iterator</div><div class="ttdef"><b>Definition:</b> <a href="iterator__range_8h_source.html#l00033">iterator_range.h:33</a></div></div>
-<div class="ttc" id="classllvm_1_1iterator__range_html_a5b169099ccb57e0b8fbae3fc0c57b826"><div class="ttname"><a href="classllvm_1_1iterator__range.html#a5b169099ccb57e0b8fbae3fc0c57b826">llvm::iterator_range::iterator_range</a></div><div class="ttdeci">iterator_range(IteratorT begin_iterator, IteratorT end_iterator)</div><div class="ttdef"><b>Definition:</b> <a href="iterator__range_8h_source.html#l00042">iterator_range.h:42</a></div></div>
-<div class="ttc" id="classllvm_1_1iterator__range_html_af5a020bd9dd7bc8487dd53ce443fdd8f"><div class="ttname"><a href="classllvm_1_1iterator__range.html#af5a020bd9dd7bc8487dd53ce443fdd8f">llvm::iterator_range::begin</a></div><div class="ttdeci">IteratorT begin() const</div><div class="ttdef"><b>Definition:</b> <a href="iterator__range_8h_source.html#l00046">iterator_range.h:46</a></div></div>
-<div class="ttc" id="classllvm_1_1iterator__range_html_aa0344673da91896d39f1b35755ee5d4e"><div class="ttname"><a href="classllvm_1_1iterator__range.html#aa0344673da91896d39f1b35755ee5d4e">llvm::iterator_range::end</a></div><div class="ttdeci">IteratorT end() const</div><div class="ttdef"><b>Definition:</b> <a href="iterator__range_8h_source.html#l00050">iterator_range.h:50</a></div></div>
+<div class="ttc" id="classSVF_1_1iter__range_html_a35c298cfeda798cbf4f65150796f8489"><div class="ttname"><a href="classSVF_1_1iter__range.html#a35c298cfeda798cbf4f65150796f8489">SVF::iter_range::begin</a></div><div class="ttdeci">IteratorT begin() const</div><div class="ttdef"><b>Definition:</b> <a href="iterator__range_8h_source.html#l00046">iterator_range.h:46</a></div></div>
+<div class="ttc" id="classSVF_1_1iter__range_html_aa4d5bc9762f2d7686b9ab36078e0a319"><div class="ttname"><a href="classSVF_1_1iter__range.html#aa4d5bc9762f2d7686b9ab36078e0a319">SVF::iter_range::iter_range</a></div><div class="ttdeci">iter_range(IteratorT begin_iterator, IteratorT end_iterator)</div><div class="ttdef"><b>Definition:</b> <a href="iterator__range_8h_source.html#l00042">iterator_range.h:42</a></div></div>
+<div class="ttc" id="namespaceSVF_html"><div class="ttname"><a href="namespaceSVF.html">SVF</a></div><div class="ttdoc">for isBitcode </div><div class="ttdef"><b>Definition:</b> <a href="CFGNormalizer_8h_source.html#l00035">CFGNormalizer.h:35</a></div></div>
+<div class="ttc" id="classSVF_1_1iter__range_html_a56f458edec1d1181e1cfe0f9a23c8003"><div class="ttname"><a href="classSVF_1_1iter__range.html#a56f458edec1d1181e1cfe0f9a23c8003">SVF::iter_range::begin_iterator</a></div><div class="ttdeci">IteratorT begin_iterator</div><div class="ttdef"><b>Definition:</b> <a href="iterator__range_8h_source.html#l00033">iterator_range.h:33</a></div></div>
+<div class="ttc" id="classSVF_1_1iter__range_html_ac3a12d857b57fbe7b81987f56655cb3b"><div class="ttname"><a href="classSVF_1_1iter__range.html#ac3a12d857b57fbe7b81987f56655cb3b">SVF::iter_range::iter_range</a></div><div class="ttdeci">iter_range(Container &amp;&amp;c)</div><div class="ttdef"><b>Definition:</b> <a href="iterator__range_8h_source.html#l00039">iterator_range.h:39</a></div></div>
+<div class="ttc" id="classSVF_1_1iter__range_html_ad8b380db56076165a0324922daa2e850"><div class="ttname"><a href="classSVF_1_1iter__range.html#ad8b380db56076165a0324922daa2e850">SVF::iter_range::empty</a></div><div class="ttdeci">bool empty() const</div><div class="ttdef"><b>Definition:</b> <a href="iterator__range_8h_source.html#l00054">iterator_range.h:54</a></div></div>
+<div class="ttc" id="classSVF_1_1iter__range_html"><div class="ttname"><a href="classSVF_1_1iter__range.html">SVF::iter_range</a></div><div class="ttdef"><b>Definition:</b> <a href="iterator__range_8h_source.html#l00031">iterator_range.h:31</a></div></div>
 </div><!-- fragment --></div><!-- contents -->
 <!-- start footer part -->
 <hr class="footer"/><address class="footer"><small>

package/SVF-doxygen/html/html/mta_8cpp_source.html

@@ -67,7 +67,7 @@ $(function() {
 </div><!--header-->
 <div class="contents">
 <a href="mta_8cpp.html">Go to the documentation of this file.</a><div class="fragment"><div class="line"><a name="l00001"></a><span class="lineno">    1</span>&#160;<span class="preprocessor">#include &quot;<a class="code" href="LLVMUtil_8h.html">SVF-LLVM/LLVMUtil.h</a>&quot;</span></div><div class="line"><a name="l00002"></a><span class="lineno">    2</span>&#160;<span class="preprocessor">#include &quot;<a class="code" href="SVFIRBuilder_8h.html">SVF-LLVM/SVFIRBuilder.h</a>&quot;</span></div><div class="line"><a name="l00003"></a><span class="lineno">    3</span>&#160;<span class="preprocessor">#include &quot;<a class="code" href="MTA_8h.html">MTA/MTA.h</a>&quot;</span></div><div class="line"><a name="l00004"></a><span class="lineno">    4</span>&#160;<span class="preprocessor">#include &quot;<a class="code" href="Options_8h.html">Util/Options.h</a>&quot;</span></div><div class="line"><a name="l00005"></a><span class="lineno">    5</span>&#160;<span class="preprocessor">#include &quot;<a class="code" href="tools_2MTA_2MTAResultValidator_8h.html">MTAResultValidator.h</a>&quot;</span></div><div class="line"><a name="l00006"></a><span class="lineno">    6</span>&#160;<span class="preprocessor">#include &quot;<a class="code" href="LockResultValidator_8h.html">LockResultValidator.h</a>&quot;</span></div><div class="line"><a name="l00007"></a><span class="lineno">    7</span>&#160;<span class="keyword">using namespace </span><a class="code" href="namespacellvm.html">llvm</a>;</div><div class="line"><a name="l00008"></a><span class="lineno">    8</span>&#160;<span class="keyword">using namespace </span><a class="code" href="namespacestd.html">std</a>;</div><div class="line"><a name="l00009"></a><span class="lineno">    9</span>&#160;<span class="keyword">using namespace </span><a class="code" href="namespaceSVF.html">SVF</a>;</div><div class="line"><a name="l00010"></a><span class="lineno">   10</span>&#160;</div><div class="line"><a name="l00011"></a><span class="lineno">   11</span>&#160;<span class="keyword">static</span> llvm::cl::opt&lt;std::string&gt; <a class="code" href="mta_8cpp.html#a139199e1f33675df72b018c31e0be35c">InputFilename</a>(llvm::cl::Positional,</div><div class="line"><a name="l00012"></a><span class="lineno">   12</span>&#160;        llvm::cl::desc(<span class="stringliteral">&quot;&lt;input bitcode&gt;&quot;</span>), llvm::cl::init(<span class="stringliteral">&quot;-&quot;</span>));</div><div class="line"><a name="l00013"></a><span class="lineno">   13</span>&#160;</div><div class="line"><a name="l00014"></a><span class="lineno"><a class="line" href="mta_8cpp.html#a3c04138a5bfe5d72780bb7e82a18e627">   14</a></span>&#160;<span class="keywordtype">int</span> <a class="code" href="mta_8cpp.html#a3c04138a5bfe5d72780bb7e82a18e627">main</a>(<span class="keywordtype">int</span> argc, <span class="keywordtype">char</span> ** argv)</div><div class="line"><a name="l00015"></a><span class="lineno">   15</span>&#160;{</div><div class="line"><a name="l00016"></a><span class="lineno">   16</span>&#160;</div><div class="line"><a name="l00017"></a><span class="lineno">   17</span>&#160;    <span class="keywordtype">int</span> arg_num = 0;</div><div class="line"><a name="l00018"></a><span class="lineno">   18</span>&#160;    <span class="keywordtype">char</span> **arg_value = <span class="keyword">new</span> <span class="keywordtype">char</span>*[argc];</div><div class="line"><a name="l00019"></a><span class="lineno">   19</span>&#160;    std::vector&lt;std::string&gt; moduleNameVec;</div><div class="line"><a name="l00020"></a><span class="lineno">   20</span>&#160;    <a class="code" href="namespaceSVF_1_1LLVMUtil.html#accdd44093d6d145dc92edeaaff3f5732">LLVMUtil::processArguments</a>(argc, argv, arg_num, arg_value, moduleNameVec);</div><div class="line"><a name="l00021"></a><span class="lineno">   21</span>&#160;    cl::ParseCommandLineOptions(arg_num, arg_value,</div><div class="line"><a name="l00022"></a><span class="lineno">   22</span>&#160;                                <span class="stringliteral">&quot;MTA Analysis\n&quot;</span>);</div><div class="line"><a name="l00023"></a><span class="lineno">   23</span>&#160;</div><div class="line"><a name="l00024"></a><span class="lineno">   24</span>&#160;    <span class="keywordflow">if</span> (Options::WriteAnder == <span class="stringliteral">&quot;ir_annotator&quot;</span>)</div><div class="line"><a name="l00025"></a><span class="lineno">   25</span>&#160;    {</div><div class="line"><a name="l00026"></a><span class="lineno">   26</span>&#160;        LLVMModuleSet::getLLVMModuleSet()-&gt;preProcessBCs(moduleNameVec);</div><div class="line"><a name="l00027"></a><span class="lineno">   27</span>&#160;    }</div><div class="line"><a name="l00028"></a><span class="lineno">   28</span>&#160;</div><div class="line"><a name="l00029"></a><span class="lineno">   29</span>&#160;    <a class="code" href="classSVF_1_1SVFModule.html">SVFModule</a>* svfModule = LLVMModuleSet::getLLVMModuleSet()-&gt;buildSVFModule(moduleNameVec);</div><div class="line"><a name="l00030"></a><span class="lineno">   30</span>&#160;    <a class="code" href="classSVF_1_1SVFIRBuilder.html">SVFIRBuilder</a> builder(svfModule);</div><div class="line"><a name="l00031"></a><span class="lineno">   31</span>&#160;    <a class="code" href="classSVF_1_1SVFIR.html">SVFIR</a>* pag = builder.<a class="code" href="classSVF_1_1SVFIRBuilder.html#a5ecf1deb5646ccb46b0b3101417f4689">build</a>();</div><div class="line"><a name="l00032"></a><span class="lineno">   32</span>&#160;</div><div class="line"><a name="l00033"></a><span class="lineno">   33</span>&#160;    <a class="code" href="classSVF_1_1MTA.html">MTA</a> *mta = <span class="keyword">new</span> <a class="code" href="classSVF_1_1MTA.html">MTA</a>();</div><div class="line"><a name="l00034"></a><span class="lineno">   34</span>&#160;    mta-&gt;<a class="code" href="classSVF_1_1MTA.html#ad9172b17fa738bff616771df6f9e9c37">runOnModule</a>(pag);</div><div class="line"><a name="l00035"></a><span class="lineno">   35</span>&#160;</div><div class="line"><a name="l00036"></a><span class="lineno">   36</span>&#160;    <a class="code" href="classSVF_1_1MTAResultValidator.html">MTAResultValidator</a> MTAValidator(mta-&gt;<a class="code" href="classSVF_1_1MTA.html#a8cfcfb26e22cc40260f6df6d50701bdb">getMHP</a>());</div><div class="line"><a name="l00037"></a><span class="lineno">   37</span>&#160;    MTAValidator.<a class="code" href="classSVF_1_1MTAResultValidator.html#a462f1554e058b656861abfb0aa2e47ff">analyze</a>();</div><div class="line"><a name="l00038"></a><span class="lineno">   38</span>&#160;</div><div class="line"><a name="l00039"></a><span class="lineno">   39</span>&#160;    <span class="comment">// Initialize the validator and perform validation.</span></div><div class="line"><a name="l00040"></a><span class="lineno">   40</span>&#160;    <a class="code" href="classSVF_1_1LockResultValidator.html">LockResultValidator</a> lockvalidator(mta-&gt;<a class="code" href="classSVF_1_1MTA.html#a76ea96c430365132011f1a4edf0d5570">getLockAnalysis</a>());</div><div class="line"><a name="l00041"></a><span class="lineno">   41</span>&#160;    lockvalidator.<a class="code" href="classSVF_1_1LockResultValidator.html#a88ff3ed1398a0b847d71a4c0352ed66d">analyze</a>();</div><div class="line"><a name="l00042"></a><span class="lineno">   42</span>&#160;</div><div class="line"><a name="l00043"></a><span class="lineno">   43</span>&#160;    <span class="keywordflow">return</span> 0;</div><div class="line"><a name="l00044"></a><span class="lineno">   44</span>&#160;}</div><div class="ttc" id="tools_2MTA_2MTAResultValidator_8h_html"><div class="ttname"><a href="tools_2MTA_2MTAResultValidator_8h.html">MTAResultValidator.h</a></div></div>
-<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="namespacellvm_html"><div class="ttname"><a href="namespacellvm.html">llvm</a></div><div class="ttdef"><b>Definition:</b> <a href="GEPTypeBridgeIterator_8h_source.html#l00013">GEPTypeBridgeIterator.h:13</a></div></div>
 <div class="ttc" id="classSVF_1_1LockResultValidator_html"><div class="ttname"><a href="classSVF_1_1LockResultValidator.html">SVF::LockResultValidator</a></div><div class="ttdef"><b>Definition:</b> <a href="LockResultValidator_8h_source.html#l00019">LockResultValidator.h:19</a></div></div>
 <div class="ttc" id="mta_8cpp_html_a3c04138a5bfe5d72780bb7e82a18e627"><div class="ttname"><a href="mta_8cpp.html#a3c04138a5bfe5d72780bb7e82a18e627">main</a></div><div class="ttdeci">int main(int argc, char **argv)</div><div class="ttdef"><b>Definition:</b> <a href="mta_8cpp_source.html#l00014">mta.cpp:14</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>