svf-tools 1.0.450 → 1.0.451

package/SVF-doxygen/html/html/CFGNormalizer_8h_source.html

@@ -70,11 +70,11 @@ $(function() {
 <div class="ttc" id="classSVF_1_1CFLGrammar_html"><div class="ttname"><a href="classSVF_1_1CFLGrammar.html">SVF::CFLGrammar</a></div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8h_source.html#l00062">CFLGrammar.h:62</a></div></div>
 <div class="ttc" id="classSVF_1_1CFGNormalizer_html_a36b54b0f4c8c7af810df384ace76cbb2"><div class="ttname"><a href="classSVF_1_1CFGNormalizer.html#a36b54b0f4c8c7af810df384ace76cbb2">SVF::CFGNormalizer::ebnf_bin</a></div><div class="ttdeci">void ebnf_bin(GrammarBase *generalGrammar, CFLGrammar *grammar)</div><div class="ttdef"><b>Definition:</b> <a href="CFGNormalizer_8cpp_source.html#l00121">CFGNormalizer.cpp:121</a></div></div>
 <div class="ttc" id="classSVF_1_1CFGNormalizer_html_ae8e2b22944e9d3d2ec14cd6aaa8b93c9"><div class="ttname"><a href="classSVF_1_1CFGNormalizer.html#ae8e2b22944e9d3d2ec14cd6aaa8b93c9">SVF::CFGNormalizer::normalize</a></div><div class="ttdeci">CFLGrammar * normalize(GrammarBase *generalGrammar)</div><div class="ttdoc">Start Normalize (BIN Only) </div><div class="ttdef"><b>Definition:</b> <a href="CFGNormalizer_8cpp_source.html#l00082">CFGNormalizer.cpp:82</a></div></div>
-<div class="ttc" id="namespaceSVF_html_a8234d4b959abc9123993bcff4eee34c1"><div class="ttname"><a href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">SVF::Map</a></div><div class="ttdeci">std::unordered_map&lt; Key, Value, Hash, KeyEqual, Allocator &gt; Map</div><div class="ttdef"><b>Definition:</b> <a href="SVFBasicTypes_8h_source.html#l00110">SVFBasicTypes.h:110</a></div></div>
-<div class="ttc" id="namespaceSVF_html_ad42bff8d0a7d60a085aa32d10f4955af"><div class="ttname"><a href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">SVF::u32_t</a></div><div class="ttdeci">unsigned u32_t</div><div class="ttdef"><b>Definition:</b> <a href="SVFBasicTypes_8h_source.html#l00085">SVFBasicTypes.h:85</a></div></div>
+<div class="ttc" id="namespaceSVF_html_a8234d4b959abc9123993bcff4eee34c1"><div class="ttname"><a href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">SVF::Map</a></div><div class="ttdeci">std::unordered_map&lt; Key, Value, Hash, KeyEqual, Allocator &gt; Map</div><div class="ttdef"><b>Definition:</b> <a href="SVFBasicTypes_8h_source.html#l00109">SVFBasicTypes.h:109</a></div></div>
+<div class="ttc" id="namespaceSVF_html_ad42bff8d0a7d60a085aa32d10f4955af"><div class="ttname"><a href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">SVF::u32_t</a></div><div class="ttdeci">unsigned u32_t</div><div class="ttdef"><b>Definition:</b> <a href="SVFBasicTypes_8h_source.html#l00084">SVFBasicTypes.h:84</a></div></div>
 <div class="ttc" id="classSVF_1_1CFGNormalizer_html_ab1c19d6347ed694f52ded7defafeffe3"><div class="ttname"><a href="classSVF_1_1CFGNormalizer.html#ab1c19d6347ed694f52ded7defafeffe3">SVF::CFGNormalizer::CFGNormalizer</a></div><div class="ttdeci">CFGNormalizer()</div><div class="ttdef"><b>Definition:</b> <a href="CFGNormalizer_8h_source.html#l00050">CFGNormalizer.h:50</a></div></div>
 <div class="ttc" id="classSVF_1_1CFGNormalizer_html_ab4560966c58d22d1d1c4a40499c41fca"><div class="ttname"><a href="classSVF_1_1CFGNormalizer.html#ab4560966c58d22d1d1c4a40499c41fca">SVF::CFGNormalizer::ebnf_bracket_match</a></div><div class="ttdeci">int ebnf_bracket_match(Production &amp;prod, int i, CFLGrammar *grammar)</div><div class="ttdef"><b>Definition:</b> <a href="CFGNormalizer_8cpp_source.html#l00237">CFGNormalizer.cpp:237</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="SVFBasicTypes_8h_source.html#l00105">SVFBasicTypes.h:105</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="SVFBasicTypes_8h_source.html#l00104">SVFBasicTypes.h:104</a></div></div>
 <div class="ttc" id="classSVF_1_1CFGNormalizer_html"><div class="ttname"><a href="classSVF_1_1CFGNormalizer.html">SVF::CFGNormalizer</a></div><div class="ttdef"><b>Definition:</b> <a href="CFGNormalizer_8h_source.html#l00042">CFGNormalizer.h:42</a></div></div>
 <div class="ttc" id="classSVF_1_1CFGNormalizer_html_a4df66b45b07b7e3dc5bcc839188bd70f"><div class="ttname"><a href="classSVF_1_1CFGNormalizer.html#a4df66b45b07b7e3dc5bcc839188bd70f">SVF::CFGNormalizer::Symbol</a></div><div class="ttdeci">u32_t Symbol</div><div class="ttdef"><b>Definition:</b> <a href="CFGNormalizer_8h_source.html#l00046">CFGNormalizer.h:46</a></div></div>
 <div class="ttc" id="CFLGrammar_8h_html"><div class="ttname"><a href="CFLGrammar_8h.html">CFLGrammar.h</a></div></div>

package/SVF-doxygen/html/html/CFLAlias_8h_source.html

@@ -68,7 +68,7 @@ $(function() {
 <div class="contents">
 <a href="CFLAlias_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">//===----- CFLAlias.h -- CFL Alias Analysis Client--------------//</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">//                     SVF: Static Value-Flow Analysis</span></div><div class="line"><a name="l00004"></a><span class="lineno">    4</span>&#160;<span class="comment">//</span></div><div class="line"><a name="l00005"></a><span class="lineno">    5</span>&#160;<span class="comment">// Copyright (C) &lt;2013-&gt;  &lt;Yulei Sui&gt;</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;</div><div class="line"><a name="l00008"></a><span class="lineno">    8</span>&#160;<span class="comment">// This program is free software: you can redistribute it and/or modify</span></div><div class="line"><a name="l00009"></a><span class="lineno">    9</span>&#160;<span class="comment">// it under the terms of the GNU General Public License as published by</span></div><div class="line"><a name="l00010"></a><span class="lineno">   10</span>&#160;<span class="comment">// the Free Software Foundation, either version 3 of the License, or</span></div><div class="line"><a name="l00011"></a><span class="lineno">   11</span>&#160;<span class="comment">// (at your option) any later version.</span></div><div class="line"><a name="l00012"></a><span class="lineno">   12</span>&#160;</div><div class="line"><a name="l00013"></a><span class="lineno">   13</span>&#160;<span class="comment">// This program is distributed in the hope that it will be useful,</span></div><div class="line"><a name="l00014"></a><span class="lineno">   14</span>&#160;<span class="comment">// but WITHOUT ANY WARRANTY; without even the implied warranty of</span></div><div class="line"><a name="l00015"></a><span class="lineno">   15</span>&#160;<span class="comment">// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the</span></div><div class="line"><a name="l00016"></a><span class="lineno">   16</span>&#160;<span class="comment">// GNU General Public License for more details.</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="comment">// You should have received a copy of the GNU General Public License</span></div><div class="line"><a name="l00019"></a><span class="lineno">   19</span>&#160;<span class="comment">// along with this program.  If not, see &lt;http://www.gnu.org/licenses/&gt;.</span></div><div class="line"><a name="l00020"></a><span class="lineno">   20</span>&#160;<span class="comment">//</span></div><div class="line"><a name="l00021"></a><span class="lineno">   21</span>&#160;<span class="comment">//===----------------------------------------------------------------------===//</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="comment">/*</span></div><div class="line"><a name="l00024"></a><span class="lineno">   24</span>&#160;<span class="comment"> * CFLAlias.h</span></div><div class="line"><a name="l00025"></a><span class="lineno">   25</span>&#160;<span class="comment"> *</span></div><div class="line"><a name="l00026"></a><span class="lineno">   26</span>&#160;<span class="comment"> *  Created on: March 5, 2022</span></div><div class="line"><a name="l00027"></a><span class="lineno">   27</span>&#160;<span class="comment"> *      Author: Yulei Sui</span></div><div class="line"><a name="l00028"></a><span class="lineno">   28</span>&#160;<span class="comment"> */</span></div><div class="line"><a name="l00029"></a><span class="lineno">   29</span>&#160;</div><div class="line"><a name="l00030"></a><span class="lineno">   30</span>&#160;</div><div class="line"><a name="l00031"></a><span class="lineno">   31</span>&#160;<span class="preprocessor">#include &quot;<a class="code" href="CFLSolver_8h.html">CFL/CFLSolver.h</a>&quot;</span></div><div class="line"><a name="l00032"></a><span class="lineno">   32</span>&#160;<span class="preprocessor">#include &quot;<a class="code" href="CFGNormalizer_8h.html">CFL/CFGNormalizer.h</a>&quot;</span></div><div class="line"><a name="l00033"></a><span class="lineno">   33</span>&#160;<span class="preprocessor">#include &quot;<a class="code" href="GrammarBuilder_8h.html">CFL/GrammarBuilder.h</a>&quot;</span></div><div class="line"><a name="l00034"></a><span class="lineno">   34</span>&#160;<span class="preprocessor">#include &quot;<a class="code" href="PointerAnalysis_8h.html">MemoryModel/PointerAnalysis.h</a>&quot;</span></div><div class="line"><a name="l00035"></a><span class="lineno">   35</span>&#160;<span class="preprocessor">#include &quot;<a class="code" href="ConsG_8h.html">Graphs/ConsG.h</a>&quot;</span></div><div class="line"><a name="l00036"></a><span class="lineno">   36</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="l00037"></a><span class="lineno">   37</span>&#160;</div><div class="line"><a name="l00038"></a><span class="lineno">   38</span>&#160;<span class="keyword">namespace </span><a class="code" href="namespaceSVF.html">SVF</a></div><div class="line"><a name="l00039"></a><span class="lineno">   39</span>&#160;{</div><div class="line"><a name="l00040"></a><span class="lineno">   40</span>&#160;</div><div class="line"><a name="l00041"></a><span class="lineno"><a class="line" href="classSVF_1_1CFLAlias.html">   41</a></span>&#160;<span class="keyword">class </span><a class="code" href="classSVF_1_1CFLAlias.html">CFLAlias</a> : <span class="keyword">public</span> <a class="code" href="classSVF_1_1PointerAnalysis.html">PointerAnalysis</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;</div><div class="line"><a name="l00044"></a><span class="lineno">   44</span>&#160;<span class="keyword">public</span>:</div><div class="line"><a name="l00045"></a><span class="lineno"><a class="line" href="classSVF_1_1CFLAlias.html#aae1dbf8d8c413eb7812ca428edfbae48">   45</a></span>&#160;    <a class="code" href="classSVF_1_1CFLAlias.html#aae1dbf8d8c413eb7812ca428edfbae48">CFLAlias</a>(<a class="code" href="classSVF_1_1SVFIR.html">SVFIR</a>* ir) : <a class="code" href="classSVF_1_1PointerAnalysis.html">PointerAnalysis</a>(ir, <a class="code" href="classSVF_1_1PointerAnalysis.html">PointerAnalysis</a>::<a class="code" href="classSVF_1_1PointerAnalysis.html#a0b182ac680cce0547dbe7714c870ca85a164c6de3baace1c63db75a228a5816bb">CFLFICI_WPA</a>), <a class="code" href="classSVF_1_1CFLAlias.html#a0bf4ce7e4fb3d1d95608c06420cc65dc">svfir</a>(ir), <a class="code" href="classSVF_1_1CFLAlias.html#abd4d8eb59209a1f1cedebcf41117914b">graph</a>(nullptr), <a class="code" href="classSVF_1_1CFLAlias.html#a31ffa49b8e0995b6ee9b8a1f5ecab7be">grammar</a>(nullptr), <a class="code" href="classSVF_1_1CFLAlias.html#aa61c3683c9b759b6eca65b1f88e00b35">solver</a>(nullptr)</div><div class="line"><a name="l00046"></a><span class="lineno">   46</span>&#160;    {</div><div class="line"><a name="l00047"></a><span class="lineno">   47</span>&#160;    }</div><div class="line"><a name="l00048"></a><span class="lineno">   48</span>&#160;</div><div class="line"><a name="l00050"></a><span class="lineno"><a class="line" href="classSVF_1_1CFLAlias.html#a0e8b474695b21c55a11e71ff59d646d5">   50</a></span>&#160;    <span class="keyword">virtual</span> <a class="code" href="classSVF_1_1CFLAlias.html#a0e8b474695b21c55a11e71ff59d646d5">~CFLAlias</a>()</div><div class="line"><a name="l00051"></a><span class="lineno">   51</span>&#160;    {</div><div class="line"><a name="l00052"></a><span class="lineno">   52</span>&#160;        <span class="keyword">delete</span> <a class="code" href="classSVF_1_1CFLAlias.html#abd4d8eb59209a1f1cedebcf41117914b">graph</a>;</div><div class="line"><a name="l00053"></a><span class="lineno">   53</span>&#160;        <span class="keyword">delete</span> <a class="code" href="classSVF_1_1CFLAlias.html#a31ffa49b8e0995b6ee9b8a1f5ecab7be">grammar</a>;</div><div class="line"><a name="l00054"></a><span class="lineno">   54</span>&#160;        <span class="keyword">delete</span> <a class="code" href="classSVF_1_1CFLAlias.html#aa61c3683c9b759b6eca65b1f88e00b35">solver</a>;</div><div class="line"><a name="l00055"></a><span class="lineno">   55</span>&#160;    }</div><div class="line"><a name="l00056"></a><span class="lineno">   56</span>&#160;</div><div class="line"><a name="l00058"></a><span class="lineno"><a class="line" href="classSVF_1_1CFLAlias.html#acc3a9c19cc140aef48712b5c68240454">   58</a></span>&#160;    <span class="keyword">virtual</span> <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1CFLAlias.html#acc3a9c19cc140aef48712b5c68240454">analyze</a>()</div><div class="line"><a name="l00059"></a><span class="lineno">   59</span>&#160;    {</div><div class="line"><a name="l00060"></a><span class="lineno">   60</span>&#160;        <a class="code" href="classSVF_1_1PointerAnalysis.html#a431ec4f85eb0f029e5740b92fd9ceb32">PointerAnalysis::initialize</a>();</div><div class="line"><a name="l00061"></a><span class="lineno">   61</span>&#160;        <a class="code" href="classSVF_1_1GrammarBuilder.html">GrammarBuilder</a> * gReader = <span class="keyword">new</span> <a class="code" href="classSVF_1_1GrammarBuilder.html">GrammarBuilder</a>(<a class="code" href="classSVF_1_1Options.html#aa929e2ae2c0a78181c3a1311bfe73596">Options::GrammarFilename</a>);</div><div class="line"><a name="l00062"></a><span class="lineno">   62</span>&#160;        <a class="code" href="classSVF_1_1CFGNormalizer.html">CFGNormalizer</a> *normalizer = <span class="keyword">new</span> <a class="code" href="classSVF_1_1CFGNormalizer.html">CFGNormalizer</a>();</div><div class="line"><a name="l00063"></a><span class="lineno">   63</span>&#160;</div><div class="line"><a name="l00064"></a><span class="lineno">   64</span>&#160;        <a class="code" href="classSVF_1_1CFLAlias.html#abd4d8eb59209a1f1cedebcf41117914b">graph</a> = <span class="keyword">new</span> <a class="code" href="classSVF_1_1CFLGraph.html">CFLGraph</a>();</div><div class="line"><a name="l00065"></a><span class="lineno">   65</span>&#160;        <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1Options.html#a0d099b268241f4658eb06a14ef598888">Options::GraphIsFromDot</a> == <span class="keyword">false</span>)</div><div class="line"><a name="l00066"></a><span class="lineno">   66</span>&#160;        {</div><div class="line"><a name="l00067"></a><span class="lineno">   67</span>&#160;            <span class="comment">// Maybe could put in SVFIR Class</span></div><div class="line"><a name="l00068"></a><span class="lineno">   68</span>&#160;            <span class="comment">// In memory Graph does not have string type label</span></div><div class="line"><a name="l00069"></a><span class="lineno">   69</span>&#160;            <a class="code" href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">Map&lt;std::string, SVF::CFLGraph::Symbol&gt;</a> ConstMap =  {{<span class="stringliteral">&quot;Addr&quot;</span>,0}, {<span class="stringliteral">&quot;Copy&quot;</span>, 1},{<span class="stringliteral">&quot;Store&quot;</span>, 2},{<span class="stringliteral">&quot;Load&quot;</span>, 3},{<span class="stringliteral">&quot;Gep&quot;</span>, 4},{<span class="stringliteral">&quot;Vgep&quot;</span>, 5},{<span class="stringliteral">&quot;Addrbar&quot;</span>,6}, {<span class="stringliteral">&quot;Copybar&quot;</span>, 7},{<span class="stringliteral">&quot;Storebar&quot;</span>, 8},{<span class="stringliteral">&quot;Loadbar&quot;</span>, 9},{<span class="stringliteral">&quot;Gepbar&quot;</span>, 10},{<span class="stringliteral">&quot;Vgepbar&quot;</span>, 11}};</div><div class="line"><a name="l00070"></a><span class="lineno">   70</span>&#160;            <a class="code" href="classSVF_1_1ConstraintGraph.html">ConstraintGraph</a> *consCG = <span class="keyword">new</span> <a class="code" href="classSVF_1_1ConstraintGraph.html">ConstraintGraph</a>(<a class="code" href="classSVF_1_1CFLAlias.html#a0bf4ce7e4fb3d1d95608c06420cc65dc">svfir</a>);</div><div class="line"><a name="l00071"></a><span class="lineno">   71</span>&#160;            <a class="code" href="classSVF_1_1CFLAlias.html#a0bf4ce7e4fb3d1d95608c06420cc65dc">svfir</a>-&gt;<a class="code" href="classSVF_1_1IRGraph.html#a1cb32461439c4dc8d044c2bfadb11307">dump</a>(<span class="stringliteral">&quot;SVFIR&quot;</span>);</div><div class="line"><a name="l00072"></a><span class="lineno">   72</span>&#160;            <span class="comment">// Can be put in build, copy from general graph</span></div><div class="line"><a name="l00073"></a><span class="lineno">   73</span>&#160;            <a class="code" href="classSVF_1_1CFLAlias.html#abd4d8eb59209a1f1cedebcf41117914b">graph</a>-&gt;<a class="code" href="classSVF_1_1CFLGraph.html#afb6fe6ac26adb93b0123012891cdd139">label2SymMap</a> = ConstMap;</div><div class="line"><a name="l00074"></a><span class="lineno">   74</span>&#160;            <a class="code" href="classSVF_1_1CFLAlias.html#abd4d8eb59209a1f1cedebcf41117914b">graph</a>-&gt;<a class="code" href="classSVF_1_1CFLGraph.html#aa440c07a2724adb69678a7d912b86ed9">buildBigraph</a>(consCG);</div><div class="line"><a name="l00075"></a><span class="lineno">   75</span>&#160;            <a class="code" href="classSVF_1_1CFLAlias.html#abd4d8eb59209a1f1cedebcf41117914b">graph</a>-&gt;<a class="code" href="classSVF_1_1CFLGraph.html#ab32869931e46babcfaa6791efe2ba91e">dump</a>(<span class="stringliteral">&quot;PAG&quot;</span>);</div><div class="line"><a name="l00076"></a><span class="lineno">   76</span>&#160;            <span class="keyword">delete</span> consCG;</div><div class="line"><a name="l00077"></a><span class="lineno">   77</span>&#160;            <a class="code" href="classSVF_1_1GrammarBase.html">GrammarBase</a> *generalGrammar = gReader-&gt;<a class="code" href="classSVF_1_1GrammarBuilder.html#a630c90978d5fe576ca180cf04ee562f6">build</a>(&amp;ConstMap);</div><div class="line"><a name="l00078"></a><span class="lineno">   78</span>&#160;            <a class="code" href="classSVF_1_1CFLAlias.html#a31ffa49b8e0995b6ee9b8a1f5ecab7be">grammar</a> = normalizer-&gt;<a class="code" href="classSVF_1_1CFGNormalizer.html#ae8e2b22944e9d3d2ec14cd6aaa8b93c9">normalize</a>(generalGrammar);</div><div class="line"><a name="l00079"></a><span class="lineno">   79</span>&#160;            <a class="code" href="classSVF_1_1CFLAlias.html#abd4d8eb59209a1f1cedebcf41117914b">graph</a>-&gt;<a class="code" href="classSVF_1_1CFLGraph.html#a0048622552a5dff5afdd512ee91490f2">setMap</a>(&amp;<a class="code" href="classSVF_1_1CFLAlias.html#a31ffa49b8e0995b6ee9b8a1f5ecab7be">grammar</a>-&gt;<a class="code" href="classSVF_1_1GrammarBase.html#af9e8e7bf4239a04002ff41885f9e5e91">terminals</a>, &amp;<a class="code" href="classSVF_1_1CFLAlias.html#a31ffa49b8e0995b6ee9b8a1f5ecab7be">grammar</a>-&gt;<a class="code" href="classSVF_1_1GrammarBase.html#a42edb89b4d782bfae800842f90da09ff">nonterminals</a>);</div><div class="line"><a name="l00080"></a><span class="lineno">   80</span>&#160;        }</div><div class="line"><a name="l00081"></a><span class="lineno">   81</span>&#160;        <span class="keywordflow">else</span></div><div class="line"><a name="l00082"></a><span class="lineno">   82</span>&#160;        {</div><div class="line"><a name="l00083"></a><span class="lineno">   83</span>&#160;            <a class="code" href="classSVF_1_1GrammarBase.html">GrammarBase</a> *generalGrammar = gReader-&gt;<a class="code" href="classSVF_1_1GrammarBuilder.html#a630c90978d5fe576ca180cf04ee562f6">build</a>();</div><div class="line"><a name="l00084"></a><span class="lineno">   84</span>&#160;            <a class="code" href="classSVF_1_1CFLAlias.html#a31ffa49b8e0995b6ee9b8a1f5ecab7be">grammar</a> = normalizer-&gt;<a class="code" href="classSVF_1_1CFGNormalizer.html#ae8e2b22944e9d3d2ec14cd6aaa8b93c9">normalize</a>(generalGrammar);</div><div class="line"><a name="l00085"></a><span class="lineno">   85</span>&#160;            <a class="code" href="classSVF_1_1CFLAlias.html#abd4d8eb59209a1f1cedebcf41117914b">graph</a>-&gt;<a class="code" href="classSVF_1_1CFLGraph.html#a0048622552a5dff5afdd512ee91490f2">setMap</a>(&amp;<a class="code" href="classSVF_1_1CFLAlias.html#a31ffa49b8e0995b6ee9b8a1f5ecab7be">grammar</a>-&gt;<a class="code" href="classSVF_1_1GrammarBase.html#af9e8e7bf4239a04002ff41885f9e5e91">terminals</a>, &amp;<a class="code" href="classSVF_1_1CFLAlias.html#a31ffa49b8e0995b6ee9b8a1f5ecab7be">grammar</a>-&gt;<a class="code" href="classSVF_1_1GrammarBase.html#a42edb89b4d782bfae800842f90da09ff">nonterminals</a>);</div><div class="line"><a name="l00086"></a><span class="lineno">   86</span>&#160;            <a class="code" href="classSVF_1_1CFLAlias.html#abd4d8eb59209a1f1cedebcf41117914b">graph</a>-&gt;<a class="code" href="classSVF_1_1CFLGraph.html#af57d64ae3c252ea4ebc0404b3b0bc2be">buildFromDot</a>(<a class="code" href="classSVF_1_1Options.html#a322f78488d420e41a648d603f2773c56">Options::InputFilename</a>);</div><div class="line"><a name="l00087"></a><span class="lineno">   87</span>&#160;        }</div><div class="line"><a name="l00088"></a><span class="lineno">   88</span>&#160;        <a class="code" href="classSVF_1_1CFLAlias.html#abd4d8eb59209a1f1cedebcf41117914b">graph</a>-&gt;<a class="code" href="classSVF_1_1CFLGraph.html#ab678bb152e60a8b67d6a703792c8af84">startSymbol</a> = <a class="code" href="classSVF_1_1CFLAlias.html#a31ffa49b8e0995b6ee9b8a1f5ecab7be">grammar</a>-&gt;<a class="code" href="classSVF_1_1GrammarBase.html#a48c738beefe73184f7aed8b1ed5afb53">startSymbol</a>;</div><div class="line"><a name="l00089"></a><span class="lineno">   89</span>&#160;        <a class="code" href="classSVF_1_1CFLAlias.html#aa61c3683c9b759b6eca65b1f88e00b35">solver</a> = <span class="keyword">new</span> <a class="code" href="classSVF_1_1CFLSolver.html">CFLSolver</a>(<a class="code" href="classSVF_1_1CFLAlias.html#abd4d8eb59209a1f1cedebcf41117914b">graph</a>, <a class="code" href="classSVF_1_1CFLAlias.html#a31ffa49b8e0995b6ee9b8a1f5ecab7be">grammar</a>);</div><div class="line"><a name="l00090"></a><span class="lineno">   90</span>&#160;        <a class="code" href="classSVF_1_1CFLAlias.html#aa61c3683c9b759b6eca65b1f88e00b35">solver</a>-&gt;<a class="code" href="classSVF_1_1CFLSolver.html#a2ee3436c26ebdb2aaf790c25b1d8b5a6">solve</a>();</div><div class="line"><a name="l00091"></a><span class="lineno">   91</span>&#160;        <a class="code" href="classSVF_1_1CFLAlias.html#abd4d8eb59209a1f1cedebcf41117914b">graph</a>-&gt;<a class="code" href="classSVF_1_1CFLGraph.html#ab32869931e46babcfaa6791efe2ba91e">dump</a>(<span class="stringliteral">&quot;map&quot;</span>);</div><div class="line"><a name="l00092"></a><span class="lineno">   92</span>&#160;        <a class="code" href="classSVF_1_1PointerAnalysis.html#a118dabc50024b5cd91095814ade47166">PointerAnalysis::finalize</a>();</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;</div><div class="line"><a name="l00096"></a><span class="lineno"><a class="line" href="classSVF_1_1CFLAlias.html#a0575c3badff6a158a6043e3e940af507">   96</a></span>&#160;    <span class="keyword">virtual</span> <a class="code" href="namespaceSVF.html#a61c01e2e687ab3a001fb806737583943">AliasResult</a> <a class="code" href="classSVF_1_1CFLAlias.html#a0575c3badff6a158a6043e3e940af507">alias</a>(<span class="keyword">const</span> <a class="code" href="namespaceSVF.html#a90b263fd2f541eca78135078114cabda">Value</a>* v1, <span class="keyword">const</span> <a class="code" href="namespaceSVF.html#a90b263fd2f541eca78135078114cabda">Value</a>* v2)</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;        <a class="code" href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">NodeID</a> n1 = <a class="code" href="classSVF_1_1CFLAlias.html#a0bf4ce7e4fb3d1d95608c06420cc65dc">svfir</a>-&gt;<a class="code" href="classSVF_1_1IRGraph.html#abffddd41cc308b9b3bd5ad4a7f8f1624">getValueNode</a>(v1);</div><div class="line"><a name="l00099"></a><span class="lineno">   99</span>&#160;        <a class="code" href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">NodeID</a> n2 = <a class="code" href="classSVF_1_1CFLAlias.html#a0bf4ce7e4fb3d1d95608c06420cc65dc">svfir</a>-&gt;<a class="code" href="classSVF_1_1IRGraph.html#abffddd41cc308b9b3bd5ad4a7f8f1624">getValueNode</a>(v2);</div><div class="line"><a name="l00100"></a><span class="lineno">  100</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1CFLAlias.html#a0575c3badff6a158a6043e3e940af507">alias</a>(n1,n2);</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="l00104"></a><span class="lineno"><a class="line" href="classSVF_1_1CFLAlias.html#afb96040a903b9b889fcf23b26cb4565a">  104</a></span>&#160;    <span class="keyword">virtual</span> <a class="code" href="namespaceSVF.html#a61c01e2e687ab3a001fb806737583943">AliasResult</a> <a class="code" href="classSVF_1_1CFLAlias.html#afb96040a903b9b889fcf23b26cb4565a">alias</a>(<a class="code" href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">NodeID</a> node1, <a class="code" href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">NodeID</a> node2)</div><div class="line"><a name="l00105"></a><span class="lineno">  105</span>&#160;    {</div><div class="line"><a name="l00107"></a><span class="lineno">  107</span>&#160;        <span class="keywordflow">if</span>(<a class="code" href="classSVF_1_1CFLAlias.html#abd4d8eb59209a1f1cedebcf41117914b">graph</a>-&gt;<a class="code" href="classSVF_1_1CFLGraph.html#aca4c22dd10f65bcde5dadb7688544b50">hasEdge</a>(<a class="code" href="classSVF_1_1CFLAlias.html#abd4d8eb59209a1f1cedebcf41117914b">graph</a>-&gt;<a class="code" href="classSVF_1_1GenericGraph.html#a43c9c773bfa17abf481c33073e30d01b">getGNode</a>(node1), <a class="code" href="classSVF_1_1CFLAlias.html#abd4d8eb59209a1f1cedebcf41117914b">graph</a>-&gt;<a class="code" href="classSVF_1_1GenericGraph.html#a43c9c773bfa17abf481c33073e30d01b">getGNode</a>(node2), <a class="code" href="classSVF_1_1CFLAlias.html#abd4d8eb59209a1f1cedebcf41117914b">graph</a>-&gt;<a class="code" href="classSVF_1_1CFLGraph.html#ab678bb152e60a8b67d6a703792c8af84">startSymbol</a>))</div><div class="line"><a name="l00108"></a><span class="lineno">  108</span>&#160;            <span class="keywordflow">return</span> <a class="code" href="namespaceSVF.html#a61c01e2e687ab3a001fb806737583943aef15fd8989d8dd9576b3fbb2aabc118f">AliasResult::MayAlias</a>;</div><div class="line"><a name="l00109"></a><span class="lineno">  109</span>&#160;        <span class="keywordflow">else</span></div><div class="line"><a name="l00110"></a><span class="lineno">  110</span>&#160;            <span class="keywordflow">return</span> <a class="code" href="namespaceSVF.html#a61c01e2e687ab3a001fb806737583943afdd83ddff93d38902f07775cd36df239">AliasResult::NoAlias</a>;</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;</div><div class="line"><a name="l00114"></a><span class="lineno"><a class="line" href="classSVF_1_1CFLAlias.html#ad7bde2bfe158e9c3643927583ce145c9">  114</a></span>&#160;    <span class="keyword">virtual</span> <span class="keyword">const</span> <a class="code" href="classSVF_1_1PointsTo.html">PointsTo</a>&amp; <a class="code" href="classSVF_1_1CFLAlias.html#ad7bde2bfe158e9c3643927583ce145c9">getPts</a>(<a class="code" href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">NodeID</a> ptr)</div><div class="line"><a name="l00115"></a><span class="lineno">  115</span>&#160;    {</div><div class="line"><a name="l00117"></a><span class="lineno">  117</span>&#160;        <span class="comment">//PointsTo * ps;</span></div><div class="line"><a name="l00118"></a><span class="lineno">  118</span>&#160;        <a class="code" href="util_8h.html#a23c00958edf66c39625a0d535dee57b7">abort</a>(); <span class="comment">// to be implemented</span></div><div class="line"><a name="l00119"></a><span class="lineno">  119</span>&#160;    }</div><div class="line"><a name="l00120"></a><span class="lineno">  120</span>&#160;</div><div class="line"><a name="l00122"></a><span class="lineno"><a class="line" href="classSVF_1_1CFLAlias.html#abcb07a089b7b1036d070c451a81cef5d">  122</a></span>&#160;    <span class="keyword">virtual</span> <span class="keyword">const</span> <a class="code" href="namespaceSVF.html#a212231734fa43d5c7414137deaac7df3">NodeSet</a>&amp; <a class="code" href="classSVF_1_1CFLAlias.html#abcb07a089b7b1036d070c451a81cef5d">getRevPts</a>(<a class="code" href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">NodeID</a> nodeId)</div><div class="line"><a name="l00123"></a><span class="lineno">  123</span>&#160;    {</div><div class="line"><a name="l00125"></a><span class="lineno">  125</span>&#160;        <a class="code" href="util_8h.html#a23c00958edf66c39625a0d535dee57b7">abort</a>(); <span class="comment">// to be implemented</span></div><div class="line"><a name="l00126"></a><span class="lineno">  126</span>&#160;    }</div><div class="line"><a name="l00127"></a><span class="lineno">  127</span>&#160;</div><div class="line"><a name="l00128"></a><span class="lineno">  128</span>&#160;<span class="keyword">private</span>:</div><div class="line"><a name="l00129"></a><span class="lineno"><a class="line" href="classSVF_1_1CFLAlias.html#a0bf4ce7e4fb3d1d95608c06420cc65dc">  129</a></span>&#160;    <a class="code" href="classSVF_1_1SVFIR.html">SVFIR</a>* <a class="code" href="classSVF_1_1CFLAlias.html#a0bf4ce7e4fb3d1d95608c06420cc65dc">svfir</a>;</div><div class="line"><a name="l00130"></a><span class="lineno"><a class="line" href="classSVF_1_1CFLAlias.html#abd4d8eb59209a1f1cedebcf41117914b">  130</a></span>&#160;    <a class="code" href="classSVF_1_1CFLGraph.html">CFLGraph</a>* <a class="code" href="classSVF_1_1CFLAlias.html#abd4d8eb59209a1f1cedebcf41117914b">graph</a>;</div><div class="line"><a name="l00131"></a><span class="lineno"><a class="line" href="classSVF_1_1CFLAlias.html#a31ffa49b8e0995b6ee9b8a1f5ecab7be">  131</a></span>&#160;    <a class="code" href="classSVF_1_1CFLGrammar.html">CFLGrammar</a>* <a class="code" href="classSVF_1_1CFLAlias.html#a31ffa49b8e0995b6ee9b8a1f5ecab7be">grammar</a>;</div><div class="line"><a name="l00132"></a><span class="lineno"><a class="line" href="classSVF_1_1CFLAlias.html#aa61c3683c9b759b6eca65b1f88e00b35">  132</a></span>&#160;    <a class="code" href="classSVF_1_1CFLSolver.html">CFLSolver</a> *<a class="code" href="classSVF_1_1CFLAlias.html#aa61c3683c9b759b6eca65b1f88e00b35">solver</a>;</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="l00135"></a><span class="lineno">  135</span>&#160;}</div><div class="ttc" id="classSVF_1_1CFLAlias_html"><div class="ttname"><a href="classSVF_1_1CFLAlias.html">SVF::CFLAlias</a></div><div class="ttdef"><b>Definition:</b> <a href="CFLAlias_8h_source.html#l00041">CFLAlias.h:41</a></div></div>
 <div class="ttc" id="classSVF_1_1CFLGraph_html_aca4c22dd10f65bcde5dadb7688544b50"><div class="ttname"><a href="classSVF_1_1CFLGraph.html#aca4c22dd10f65bcde5dadb7688544b50">SVF::CFLGraph::hasEdge</a></div><div class="ttdeci">virtual const CFLEdge * hasEdge(CFLNode *src, CFLNode *dst, CFLEdge::GEdgeFlag label)</div><div class="ttdef"><b>Definition:</b> <a href="CFLGraph_8cpp_source.html#l00061">CFLGraph.cpp:61</a></div></div>
-<div class="ttc" id="namespaceSVF_html_a212231734fa43d5c7414137deaac7df3"><div class="ttname"><a href="namespaceSVF.html#a212231734fa43d5c7414137deaac7df3">SVF::NodeSet</a></div><div class="ttdeci">Set&lt; NodeID &gt; NodeSet</div><div class="ttdef"><b>Definition:</b> <a href="SVFBasicTypes_8h_source.html#l00122">SVFBasicTypes.h:122</a></div></div>
+<div class="ttc" id="namespaceSVF_html_a212231734fa43d5c7414137deaac7df3"><div class="ttname"><a href="namespaceSVF.html#a212231734fa43d5c7414137deaac7df3">SVF::NodeSet</a></div><div class="ttdeci">Set&lt; NodeID &gt; NodeSet</div><div class="ttdef"><b>Definition:</b> <a href="SVFBasicTypes_8h_source.html#l00121">SVFBasicTypes.h:121</a></div></div>
 <div class="ttc" id="classSVF_1_1CFLGrammar_html"><div class="ttname"><a href="classSVF_1_1CFLGrammar.html">SVF::CFLGrammar</a></div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8h_source.html#l00062">CFLGrammar.h:62</a></div></div>
 <div class="ttc" id="ConsG_8h_html"><div class="ttname"><a href="ConsG_8h.html">ConsG.h</a></div></div>
 <div class="ttc" id="namespaceSVF_html_a43a65e0d33af3c743294f7a1139d2301"><div class="ttname"><a href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">SVF::NodeID</a></div><div class="ttdeci">unsigned NodeID</div><div class="ttdef"><b>Definition:</b> <a href="MTAResultValidator_8h_source.html#l00019">MTAResultValidator.h:19</a></div></div>
@@ -82,8 +82,8 @@ $(function() {
 <div class="ttc" id="classSVF_1_1CFGNormalizer_html_ae8e2b22944e9d3d2ec14cd6aaa8b93c9"><div class="ttname"><a href="classSVF_1_1CFGNormalizer.html#ae8e2b22944e9d3d2ec14cd6aaa8b93c9">SVF::CFGNormalizer::normalize</a></div><div class="ttdeci">CFLGrammar * normalize(GrammarBase *generalGrammar)</div><div class="ttdoc">Start Normalize (BIN Only) </div><div class="ttdef"><b>Definition:</b> <a href="CFGNormalizer_8cpp_source.html#l00082">CFGNormalizer.cpp:82</a></div></div>
 <div class="ttc" id="classSVF_1_1PointerAnalysis_html_a0b182ac680cce0547dbe7714c870ca85a164c6de3baace1c63db75a228a5816bb"><div class="ttname"><a href="classSVF_1_1PointerAnalysis.html#a0b182ac680cce0547dbe7714c870ca85a164c6de3baace1c63db75a228a5816bb">SVF::PointerAnalysis::CFLFICI_WPA</a></div><div class="ttdoc">Flow-, context-, insensitive CFL-reachability-based analysis. </div><div class="ttdef"><b>Definition:</b> <a href="PointerAnalysis_8h_source.html#l00082">PointerAnalysis.h:82</a></div></div>
 <div class="ttc" id="PointerAnalysis_8h_html"><div class="ttname"><a href="PointerAnalysis_8h.html">PointerAnalysis.h</a></div></div>
-<div class="ttc" id="namespaceSVF_html_a61c01e2e687ab3a001fb806737583943"><div class="ttname"><a href="namespaceSVF.html#a61c01e2e687ab3a001fb806737583943">SVF::AliasResult</a></div><div class="ttdeci">AliasResult</div><div class="ttdef"><b>Definition:</b> <a href="SVFBasicTypes_8h_source.html#l00197">SVFBasicTypes.h:197</a></div></div>
-<div class="ttc" id="namespaceSVF_html_a8234d4b959abc9123993bcff4eee34c1"><div class="ttname"><a href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">SVF::Map</a></div><div class="ttdeci">std::unordered_map&lt; Key, Value, Hash, KeyEqual, Allocator &gt; Map</div><div class="ttdef"><b>Definition:</b> <a href="SVFBasicTypes_8h_source.html#l00110">SVFBasicTypes.h:110</a></div></div>
+<div class="ttc" id="namespaceSVF_html_a61c01e2e687ab3a001fb806737583943"><div class="ttname"><a href="namespaceSVF.html#a61c01e2e687ab3a001fb806737583943">SVF::AliasResult</a></div><div class="ttdeci">AliasResult</div><div class="ttdef"><b>Definition:</b> <a href="SVFBasicTypes_8h_source.html#l00195">SVFBasicTypes.h:195</a></div></div>
+<div class="ttc" id="namespaceSVF_html_a8234d4b959abc9123993bcff4eee34c1"><div class="ttname"><a href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">SVF::Map</a></div><div class="ttdeci">std::unordered_map&lt; Key, Value, Hash, KeyEqual, Allocator &gt; Map</div><div class="ttdef"><b>Definition:</b> <a href="SVFBasicTypes_8h_source.html#l00109">SVFBasicTypes.h:109</a></div></div>
 <div class="ttc" id="classSVF_1_1IRGraph_html_abffddd41cc308b9b3bd5ad4a7f8f1624"><div class="ttname"><a href="classSVF_1_1IRGraph.html#abffddd41cc308b9b3bd5ad4a7f8f1624">SVF::IRGraph::getValueNode</a></div><div class="ttdeci">NodeID getValueNode(const Value *V)</div><div class="ttdef"><b>Definition:</b> <a href="IRGraph_8h_source.html#l00124">IRGraph.h:124</a></div></div>
 <div class="ttc" id="classSVF_1_1CFLAlias_html_afb96040a903b9b889fcf23b26cb4565a"><div class="ttname"><a href="classSVF_1_1CFLAlias.html#afb96040a903b9b889fcf23b26cb4565a">SVF::CFLAlias::alias</a></div><div class="ttdeci">virtual AliasResult alias(NodeID node1, NodeID node2)</div><div class="ttdoc">Interface exposed to users of our pointer analysis, given PAGNodeID. </div><div class="ttdef"><b>Definition:</b> <a href="CFLAlias_8h_source.html#l00104">CFLAlias.h:104</a></div></div>
 <div class="ttc" id="CFLSolver_8h_html"><div class="ttname"><a href="CFLSolver_8h.html">CFLSolver.h</a></div></div>
@@ -97,7 +97,7 @@ $(function() {
 <div class="ttc" id="classSVF_1_1GrammarBase_html_a48c738beefe73184f7aed8b1ed5afb53"><div class="ttname"><a href="classSVF_1_1GrammarBase.html#a48c738beefe73184f7aed8b1ed5afb53">SVF::GrammarBase::startSymbol</a></div><div class="ttdeci">Symbol startSymbol</div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8h_source.html#l00057">CFLGrammar.h:57</a></div></div>
 <div class="ttc" id="classSVF_1_1CFLGraph_html_afb6fe6ac26adb93b0123012891cdd139"><div class="ttname"><a href="classSVF_1_1CFLGraph.html#afb6fe6ac26adb93b0123012891cdd139">SVF::CFLGraph::label2SymMap</a></div><div class="ttdeci">Map&lt; std::string, Symbol &gt; label2SymMap</div><div class="ttdef"><b>Definition:</b> <a href="CFLGraph_8h_source.html#l00075">CFLGraph.h:75</a></div></div>
 <div class="ttc" id="classSVF_1_1CFLAlias_html_a0e8b474695b21c55a11e71ff59d646d5"><div class="ttname"><a href="classSVF_1_1CFLAlias.html#a0e8b474695b21c55a11e71ff59d646d5">SVF::CFLAlias::~CFLAlias</a></div><div class="ttdeci">virtual ~CFLAlias()</div><div class="ttdoc">Destructor. </div><div class="ttdef"><b>Definition:</b> <a href="CFLAlias_8h_source.html#l00050">CFLAlias.h:50</a></div></div>
-<div class="ttc" id="namespaceSVF_html_a61c01e2e687ab3a001fb806737583943aef15fd8989d8dd9576b3fbb2aabc118f"><div class="ttname"><a href="namespaceSVF.html#a61c01e2e687ab3a001fb806737583943aef15fd8989d8dd9576b3fbb2aabc118f">SVF::MayAlias</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFBasicTypes_8h_source.html#l00200">SVFBasicTypes.h:200</a></div></div>
+<div class="ttc" id="namespaceSVF_html_a61c01e2e687ab3a001fb806737583943aef15fd8989d8dd9576b3fbb2aabc118f"><div class="ttname"><a href="namespaceSVF.html#a61c01e2e687ab3a001fb806737583943aef15fd8989d8dd9576b3fbb2aabc118f">SVF::MayAlias</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFBasicTypes_8h_source.html#l00198">SVFBasicTypes.h:198</a></div></div>
 <div class="ttc" id="classSVF_1_1CFLAlias_html_abd4d8eb59209a1f1cedebcf41117914b"><div class="ttname"><a href="classSVF_1_1CFLAlias.html#abd4d8eb59209a1f1cedebcf41117914b">SVF::CFLAlias::graph</a></div><div class="ttdeci">CFLGraph * graph</div><div class="ttdef"><b>Definition:</b> <a href="CFLAlias_8h_source.html#l00130">CFLAlias.h:130</a></div></div>
 <div class="ttc" id="classSVF_1_1CFLAlias_html_ad7bde2bfe158e9c3643927583ce145c9"><div class="ttname"><a href="classSVF_1_1CFLAlias.html#ad7bde2bfe158e9c3643927583ce145c9">SVF::CFLAlias::getPts</a></div><div class="ttdeci">virtual const PointsTo &amp; getPts(NodeID ptr)</div><div class="ttdoc">Get points-to targets of a pointer. </div><div class="ttdef"><b>Definition:</b> <a href="CFLAlias_8h_source.html#l00114">CFLAlias.h:114</a></div></div>
 <div class="ttc" id="classSVF_1_1GrammarBase_html_af9e8e7bf4239a04002ff41885f9e5e91"><div class="ttname"><a href="classSVF_1_1GrammarBase.html#af9e8e7bf4239a04002ff41885f9e5e91">SVF::GrammarBase::terminals</a></div><div class="ttdeci">Map&lt; std::string, Symbol &gt; terminals</div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8h_source.html#l00042">CFLGrammar.h:42</a></div></div>
@@ -121,9 +121,9 @@ $(function() {
 <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_1CFLAlias_html_a0575c3badff6a158a6043e3e940af507"><div class="ttname"><a href="classSVF_1_1CFLAlias.html#a0575c3badff6a158a6043e3e940af507">SVF::CFLAlias::alias</a></div><div class="ttdeci">virtual AliasResult alias(const Value *v1, const Value *v2)</div><div class="ttdoc">Interface exposed to users of our pointer analysis, given Value infos. </div><div class="ttdef"><b>Definition:</b> <a href="CFLAlias_8h_source.html#l00096">CFLAlias.h:96</a></div></div>
 <div class="ttc" id="classSVF_1_1PointerAnalysis_html_a431ec4f85eb0f029e5740b92fd9ceb32"><div class="ttname"><a href="classSVF_1_1PointerAnalysis.html#a431ec4f85eb0f029e5740b92fd9ceb32">SVF::PointerAnalysis::initialize</a></div><div class="ttdeci">virtual void initialize()</div><div class="ttdoc">Initialization of a pointer analysis, including building symbol table and SVFIR etc. </div><div class="ttdef"><b>Definition:</b> <a href="PointerAnalysis_8cpp_source.html#l00113">PointerAnalysis.cpp:113</a></div></div>
-<div class="ttc" id="namespaceSVF_html_a90b263fd2f541eca78135078114cabda"><div class="ttname"><a href="namespaceSVF.html#a90b263fd2f541eca78135078114cabda">SVF::Value</a></div><div class="ttdeci">llvm::Value Value</div><div class="ttdef"><b>Definition:</b> <a href="Util_2BasicTypes_8h_source.html#l00075">BasicTypes.h:75</a></div></div>
+<div class="ttc" id="namespaceSVF_html_a90b263fd2f541eca78135078114cabda"><div class="ttname"><a href="namespaceSVF.html#a90b263fd2f541eca78135078114cabda">SVF::Value</a></div><div class="ttdeci">llvm::Value Value</div><div class="ttdef"><b>Definition:</b> <a href="Util_2BasicTypes_8h_source.html#l00073">BasicTypes.h:73</a></div></div>
 <div class="ttc" id="classSVF_1_1CFLAlias_html_acc3a9c19cc140aef48712b5c68240454"><div class="ttname"><a href="classSVF_1_1CFLAlias.html#acc3a9c19cc140aef48712b5c68240454">SVF::CFLAlias::analyze</a></div><div class="ttdeci">virtual void analyze()</div><div class="ttdoc">Start Analysis here (main part of pointer analysis). </div><div class="ttdef"><b>Definition:</b> <a href="CFLAlias_8h_source.html#l00058">CFLAlias.h:58</a></div></div>
-<div class="ttc" id="namespaceSVF_html_a61c01e2e687ab3a001fb806737583943afdd83ddff93d38902f07775cd36df239"><div class="ttname"><a href="namespaceSVF.html#a61c01e2e687ab3a001fb806737583943afdd83ddff93d38902f07775cd36df239">SVF::NoAlias</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFBasicTypes_8h_source.html#l00199">SVFBasicTypes.h:199</a></div></div>
+<div class="ttc" id="namespaceSVF_html_a61c01e2e687ab3a001fb806737583943afdd83ddff93d38902f07775cd36df239"><div class="ttname"><a href="namespaceSVF.html#a61c01e2e687ab3a001fb806737583943afdd83ddff93d38902f07775cd36df239">SVF::NoAlias</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFBasicTypes_8h_source.html#l00197">SVFBasicTypes.h:197</a></div></div>
 <div class="ttc" id="classSVF_1_1PointerAnalysis_html"><div class="ttname"><a href="classSVF_1_1PointerAnalysis.html">SVF::PointerAnalysis</a></div><div class="ttdef"><b>Definition:</b> <a href="PointerAnalysis_8h_source.html#l00057">PointerAnalysis.h:57</a></div></div>
 </div><!-- fragment --></div><!-- contents -->
 <!-- start footer part -->

package/SVF-doxygen/html/html/CFLGrammar_8h_source.html

@@ -75,13 +75,13 @@ $(function() {
 <div class="ttc" id="util_8h_html_a07d17d6d5d1074c0969bc5d3c3d1d84a"><div class="ttname"><a href="util_8h.html#a07d17d6d5d1074c0969bc5d3c3d1d84a">assert</a></div><div class="ttdeci">#define assert(ex)</div><div class="ttdef"><b>Definition:</b> <a href="util_8h_source.html#l00141">util.h:141</a></div></div>
 <div class="ttc" id="classSVF_1_1GrammarBase_html_ac17dee194615cc9f7861375f033aaa8e"><div class="ttname"><a href="classSVF_1_1GrammarBase.html#ac17dee194615cc9f7861375f033aaa8e">SVF::GrammarBase::totalSymbol</a></div><div class="ttdeci">Symbol totalSymbol</div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8h_source.html#l00058">CFLGrammar.h:58</a></div></div>
 <div class="ttc" id="classSVF_1_1GrammarBase_html_ada4387512b2e18555b4c309580d4dba6"><div class="ttname"><a href="classSVF_1_1GrammarBase.html#ada4387512b2e18555b4c309580d4dba6">SVF::GrammarBase::str2Sym</a></div><div class="ttdeci">Symbol str2Sym(std::string str) const</div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8cpp_source.html#l00035">CFLGrammar.cpp:35</a></div></div>
-<div class="ttc" id="namespaceSVF_html_a8234d4b959abc9123993bcff4eee34c1"><div class="ttname"><a href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">SVF::Map</a></div><div class="ttdeci">std::unordered_map&lt; Key, Value, Hash, KeyEqual, Allocator &gt; Map</div><div class="ttdef"><b>Definition:</b> <a href="SVFBasicTypes_8h_source.html#l00110">SVFBasicTypes.h:110</a></div></div>
+<div class="ttc" id="namespaceSVF_html_a8234d4b959abc9123993bcff4eee34c1"><div class="ttname"><a href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">SVF::Map</a></div><div class="ttdeci">std::unordered_map&lt; Key, Value, Hash, KeyEqual, Allocator &gt; Map</div><div class="ttdef"><b>Definition:</b> <a href="SVFBasicTypes_8h_source.html#l00109">SVFBasicTypes.h:109</a></div></div>
 <div class="ttc" id="classSVF_1_1GrammarBase_html_a98ae90215ba9aa3ddb0afdab459cb08f"><div class="ttname"><a href="classSVF_1_1GrammarBase.html#a98ae90215ba9aa3ddb0afdab459cb08f">SVF::GrammarBase::Symbol</a></div><div class="ttdeci">u32_t Symbol</div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8h_source.html#l00039">CFLGrammar.h:39</a></div></div>
-<div class="ttc" id="namespaceSVF_html_ad42bff8d0a7d60a085aa32d10f4955af"><div class="ttname"><a href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">SVF::u32_t</a></div><div class="ttdeci">unsigned u32_t</div><div class="ttdef"><b>Definition:</b> <a href="SVFBasicTypes_8h_source.html#l00085">SVFBasicTypes.h:85</a></div></div>
+<div class="ttc" id="namespaceSVF_html_ad42bff8d0a7d60a085aa32d10f4955af"><div class="ttname"><a href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">SVF::u32_t</a></div><div class="ttdeci">unsigned u32_t</div><div class="ttdef"><b>Definition:</b> <a href="SVFBasicTypes_8h_source.html#l00084">SVFBasicTypes.h:84</a></div></div>
 <div class="ttc" id="classSVF_1_1CFLGrammar_html_a6b7598e35c7f50257c7f074a5e07b230"><div class="ttname"><a href="classSVF_1_1CFLGrammar.html#a6b7598e35c7f50257c7f074a5e07b230">SVF::CFLGrammar::getLHSSymbol</a></div><div class="ttdeci">Symbol getLHSSymbol(const Production &amp;prod)</div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8h_source.html#l00117">CFLGrammar.h:117</a></div></div>
 <div class="ttc" id="classSVF_1_1CFLGrammar_html_ab83b803c3407a5776bd28c076c030968"><div class="ttname"><a href="classSVF_1_1CFLGrammar.html#ab83b803c3407a5776bd28c076c030968">SVF::CFLGrammar::firstRHS2Prods</a></div><div class="ttdeci">Map&lt; Symbol, Productions &gt; firstRHS2Prods</div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8h_source.html#l00068">CFLGrammar.h:68</a></div></div>
 <div class="ttc" id="classSVF_1_1CFLGrammar_html_ae7fc8b9b6e3b5be1d5d1e98b19dc95e7"><div class="ttname"><a href="classSVF_1_1CFLGrammar.html#ae7fc8b9b6e3b5be1d5d1e98b19dc95e7">SVF::CFLGrammar::hasProdsFromFirstRHS</a></div><div class="ttdeci">const bool hasProdsFromFirstRHS(Symbol sym) const</div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8h_source.html#l00078">CFLGrammar.h:78</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="SVFBasicTypes_8h_source.html#l00105">SVFBasicTypes.h:105</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="SVFBasicTypes_8h_source.html#l00104">SVFBasicTypes.h:104</a></div></div>
 <div class="ttc" id="classSVF_1_1CFLGrammar_html_a7284e7262bedad317a6f8b35b6f62e45"><div class="ttname"><a href="classSVF_1_1CFLGrammar.html#a7284e7262bedad317a6f8b35b6f62e45">SVF::CFLGrammar::getProdsFromSingleRHS</a></div><div class="ttdeci">const Productions &amp; getProdsFromSingleRHS(Symbol sym) const</div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8h_source.html#l00096">CFLGrammar.h:96</a></div></div>
 <div class="ttc" id="classSVF_1_1CFLGrammar_html_a29d757bc4f0d236f421e332e51fe6d8b"><div class="ttname"><a href="classSVF_1_1CFLGrammar.html#a29d757bc4f0d236f421e332e51fe6d8b">SVF::CFLGrammar::num_generator</a></div><div class="ttdeci">int num_generator()</div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8h_source.html#l00132">CFLGrammar.h:132</a></div></div>
 <div class="ttc" id="classSVF_1_1CFLGrammar_html_a087cd7538e2565fc00f95221d44c2463"><div class="ttname"><a href="classSVF_1_1CFLGrammar.html#a087cd7538e2565fc00f95221d44c2463">SVF::CFLGrammar::hasProdsFromSingleRHS</a></div><div class="ttdeci">const bool hasProdsFromSingleRHS(Symbol sym) const</div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8h_source.html#l00084">CFLGrammar.h:84</a></div></div>

package/SVF-doxygen/html/html/CFLGraph_8cpp_source.html

@@ -79,8 +79,8 @@ $(function() {
 <div class="ttc" id="classSVF_1_1CFLGraph_html_a58b944d0f2c11868e17223acdb35f82c"><div class="ttname"><a href="classSVF_1_1CFLGraph.html#a58b944d0f2c11868e17223acdb35f82c">SVF::CFLGraph::addCFLNode</a></div><div class="ttdeci">virtual void addCFLNode(NodeID id, CFLNode *node)</div><div class="ttdef"><b>Definition:</b> <a href="CFLGraph_8cpp_source.html#l00043">CFLGraph.cpp:43</a></div></div>
 <div class="ttc" id="classSVF_1_1CFLGraph_html_a4417ad2b7bdf7846cbddbbaf8b0c6b1e"><div class="ttname"><a href="classSVF_1_1CFLGraph.html#a4417ad2b7bdf7846cbddbbaf8b0c6b1e">SVF::CFLGraph::build</a></div><div class="ttdeci">void build(GenericGraph&lt; N, E &gt; *graph)</div><div class="ttdoc">Build graph by copying nodes and edges from any graph inherited from GenericGraph. </div><div class="ttdef"><b>Definition:</b> <a href="CFLGraph_8h_source.html#l00085">CFLGraph.h:85</a></div></div>
 <div class="ttc" id="SVFUtil_8h_html"><div class="ttname"><a href="SVFUtil_8h.html">SVFUtil.h</a></div></div>
-<div class="ttc" id="namespaceSVF_html_a8234d4b959abc9123993bcff4eee34c1"><div class="ttname"><a href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">SVF::Map</a></div><div class="ttdeci">std::unordered_map&lt; Key, Value, Hash, KeyEqual, Allocator &gt; Map</div><div class="ttdef"><b>Definition:</b> <a href="SVFBasicTypes_8h_source.html#l00110">SVFBasicTypes.h:110</a></div></div>
-<div class="ttc" id="namespaceSVF_html_ad42bff8d0a7d60a085aa32d10f4955af"><div class="ttname"><a href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">SVF::u32_t</a></div><div class="ttdeci">unsigned u32_t</div><div class="ttdef"><b>Definition:</b> <a href="SVFBasicTypes_8h_source.html#l00085">SVFBasicTypes.h:85</a></div></div>
+<div class="ttc" id="namespaceSVF_html_a8234d4b959abc9123993bcff4eee34c1"><div class="ttname"><a href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">SVF::Map</a></div><div class="ttdeci">std::unordered_map&lt; Key, Value, Hash, KeyEqual, Allocator &gt; Map</div><div class="ttdef"><b>Definition:</b> <a href="SVFBasicTypes_8h_source.html#l00109">SVFBasicTypes.h:109</a></div></div>
+<div class="ttc" id="namespaceSVF_html_ad42bff8d0a7d60a085aa32d10f4955af"><div class="ttname"><a href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">SVF::u32_t</a></div><div class="ttdeci">unsigned u32_t</div><div class="ttdef"><b>Definition:</b> <a href="SVFBasicTypes_8h_source.html#l00084">SVFBasicTypes.h:84</a></div></div>
 <div class="ttc" id="classSVF_1_1CFLGraph_html_a9eea8083dbeaf898948595b1d75cfee2"><div class="ttname"><a href="classSVF_1_1CFLGraph.html#a9eea8083dbeaf898948595b1d75cfee2">SVF::CFLGraph::addCFLEdge</a></div><div class="ttdeci">virtual const CFLEdge * addCFLEdge(CFLNode *src, CFLNode *dst, CFLEdge::GEdgeFlag label)</div><div class="ttdef"><b>Definition:</b> <a href="CFLGraph_8cpp_source.html#l00048">CFLGraph.cpp:48</a></div></div>
 <div class="ttc" id="structllvm_1_1DOTGraphTraits_3_01CFLGraph_01_5_01_4_html_a6e417cb13c4cdff831f257a66d031630"><div class="ttname"><a href="structllvm_1_1DOTGraphTraits_3_01CFLGraph_01_5_01_4.html#a6e417cb13c4cdff831f257a66d031630">llvm::DOTGraphTraits&lt; CFLGraph * &gt;::NodeType</a></div><div class="ttdeci">CFLNode NodeType</div><div class="ttdef"><b>Definition:</b> <a href="CFLGraph_8cpp_source.html#l00188">CFLGraph.cpp:188</a></div></div>
 <div class="ttc" id="classSVF_1_1CFLGraph_html_af57d64ae3c252ea4ebc0404b3b0bc2be"><div class="ttname"><a href="classSVF_1_1CFLGraph.html#af57d64ae3c252ea4ebc0404b3b0bc2be">SVF::CFLGraph::buildFromDot</a></div><div class="ttdeci">void buildFromDot(std::string filename)</div><div class="ttdoc">Build graph from Dot. </div><div class="ttdef"><b>Definition:</b> <a href="CFLGraph_8cpp_source.html#l00081">CFLGraph.cpp:81</a></div></div>
@@ -92,8 +92,8 @@ $(function() {
 <div class="ttc" id="classSVF_1_1CFLGraph_html_a0f1b98e7cecc352a7fa7624b530efe49"><div class="ttname"><a href="classSVF_1_1CFLGraph.html#a0f1b98e7cecc352a7fa7624b530efe49">SVF::CFLGraph::view</a></div><div class="ttdeci">void view()</div><div class="ttdef"><b>Definition:</b> <a href="CFLGraph_8cpp_source.html#l00076">CFLGraph.cpp:76</a></div></div>
 <div class="ttc" id="classSVF_1_1GenericEdge_html_aab8892b73370c32b48621cd1d0cce614"><div class="ttname"><a href="classSVF_1_1GenericEdge.html#aab8892b73370c32b48621cd1d0cce614">SVF::GenericEdge::GEdgeFlag</a></div><div class="ttdeci">u64_t GEdgeFlag</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00052">GenericGraph.h:52</a></div></div>
 <div class="ttc" id="structllvm_1_1DOTGraphTraits_3_01CFLGraph_01_5_01_4_html_a0a47c58da5bab4b282856a0c7616388e"><div class="ttname"><a href="structllvm_1_1DOTGraphTraits_3_01CFLGraph_01_5_01_4.html#a0a47c58da5bab4b282856a0c7616388e">llvm::DOTGraphTraits&lt; CFLGraph * &gt;::DOTGraphTraits</a></div><div class="ttdeci">DOTGraphTraits(bool isSimple=false)</div><div class="ttdef"><b>Definition:</b> <a href="CFLGraph_8cpp_source.html#l00190">CFLGraph.cpp:190</a></div></div>
-<div class="ttc" id="namespaceSVF_html_a726981481ac082dcda3e4921416b65a0"><div class="ttname"><a href="namespaceSVF.html#a726981481ac082dcda3e4921416b65a0">SVF::raw_string_ostream</a></div><div class="ttdeci">llvm::raw_string_ostream raw_string_ostream</div><div class="ttdoc">LLVM outputs. </div><div class="ttdef"><b>Definition:</b> <a href="Util_2BasicTypes_8h_source.html#l00094">BasicTypes.h:94</a></div></div>
-<div class="ttc" id="classllvm_1_1GraphPrinter_html_af6ed328e74882d2b5e2b4039cb836928"><div class="ttname"><a href="classllvm_1_1GraphPrinter.html#af6ed328e74882d2b5e2b4039cb836928">llvm::GraphPrinter::WriteGraphToFile</a></div><div class="ttdeci">static void WriteGraphToFile(SVF::OutStream &amp;O, const std::string &amp;GraphName, const GraphType &amp;GT, bool simple=false)</div><div class="ttdef"><b>Definition:</b> <a href="GraphPrinter_8h_source.html#l00057">GraphPrinter.h:57</a></div></div>
+<div class="ttc" id="namespaceSVF_html_a726981481ac082dcda3e4921416b65a0"><div class="ttname"><a href="namespaceSVF.html#a726981481ac082dcda3e4921416b65a0">SVF::raw_string_ostream</a></div><div class="ttdeci">llvm::raw_string_ostream raw_string_ostream</div><div class="ttdoc">LLVM outputs. </div><div class="ttdef"><b>Definition:</b> <a href="Util_2BasicTypes_8h_source.html#l00091">BasicTypes.h:91</a></div></div>
+<div class="ttc" id="classllvm_1_1GraphPrinter_html_af6ed328e74882d2b5e2b4039cb836928"><div class="ttname"><a href="classllvm_1_1GraphPrinter.html#af6ed328e74882d2b5e2b4039cb836928">llvm::GraphPrinter::WriteGraphToFile</a></div><div class="ttdeci">static void WriteGraphToFile(SVF::OutStream &amp;O, const std::string &amp;GraphName, const GraphType &amp;GT, bool simple=false)</div><div class="ttdef"><b>Definition:</b> <a href="GraphPrinter_8h_source.html#l00058">GraphPrinter.h:58</a></div></div>
 <div class="ttc" id="classSVF_1_1GenericNode_html_ae74283fbc788665296a69e56f334557b"><div class="ttname"><a href="classSVF_1_1GenericNode.html#ae74283fbc788665296a69e56f334557b">SVF::GenericNode::addOutgoingEdge</a></div><div class="ttdeci">bool addOutgoingEdge(EdgeType *outEdge)</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00279">GenericGraph.h:279</a></div></div>
 <div class="ttc" id="classSVF_1_1CFLGraph_html_afb6fe6ac26adb93b0123012891cdd139"><div class="ttname"><a href="classSVF_1_1CFLGraph.html#afb6fe6ac26adb93b0123012891cdd139">SVF::CFLGraph::label2SymMap</a></div><div class="ttdeci">Map&lt; std::string, Symbol &gt; label2SymMap</div><div class="ttdef"><b>Definition:</b> <a href="CFLGraph_8h_source.html#l00075">CFLGraph.h:75</a></div></div>
 <div class="ttc" id="namespaceSVF_1_1SVFUtil_html_aed0b0b9f035057552a6a82154fd88e61"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#aed0b0b9f035057552a6a82154fd88e61">SVF::SVFUtil::outs</a></div><div class="ttdeci">std::ostream &amp; outs()</div><div class="ttdoc">Overwrite llvm::outs() </div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8h_source.html#l00049">SVFUtil.h:49</a></div></div>

package/SVF-doxygen/html/html/CFLGraph_8h_source.html

@@ -75,8 +75,8 @@ $(function() {
 <div class="ttc" id="classSVF_1_1CFLGraph_html"><div class="ttname"><a href="classSVF_1_1CFLGraph.html">SVF::CFLGraph</a></div><div class="ttdef"><b>Definition:</b> <a href="CFLGraph_8h_source.html#l00070">CFLGraph.h:70</a></div></div>
 <div class="ttc" id="classSVF_1_1CFLGraph_html_aa440c07a2724adb69678a7d912b86ed9"><div class="ttname"><a href="classSVF_1_1CFLGraph.html#aa440c07a2724adb69678a7d912b86ed9">SVF::CFLGraph::buildBigraph</a></div><div class="ttdeci">void buildBigraph(GenericGraph&lt; N, E &gt; *graph)</div><div class="ttdoc">Build Bidirectional graph by copying nodes and edges from any graph inherited from GenericGraph...</div><div class="ttdef"><b>Definition:</b> <a href="CFLGraph_8h_source.html#l00104">CFLGraph.h:104</a></div></div>
 <div class="ttc" id="classSVF_1_1CFLGraph_html_a4417ad2b7bdf7846cbddbbaf8b0c6b1e"><div class="ttname"><a href="classSVF_1_1CFLGraph.html#a4417ad2b7bdf7846cbddbbaf8b0c6b1e">SVF::CFLGraph::build</a></div><div class="ttdeci">void build(GenericGraph&lt; N, E &gt; *graph)</div><div class="ttdoc">Build graph by copying nodes and edges from any graph inherited from GenericGraph. </div><div class="ttdef"><b>Definition:</b> <a href="CFLGraph_8h_source.html#l00085">CFLGraph.h:85</a></div></div>
-<div class="ttc" id="namespaceSVF_html_a8234d4b959abc9123993bcff4eee34c1"><div class="ttname"><a href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">SVF::Map</a></div><div class="ttdeci">std::unordered_map&lt; Key, Value, Hash, KeyEqual, Allocator &gt; Map</div><div class="ttdef"><b>Definition:</b> <a href="SVFBasicTypes_8h_source.html#l00110">SVFBasicTypes.h:110</a></div></div>
-<div class="ttc" id="namespaceSVF_html_ad42bff8d0a7d60a085aa32d10f4955af"><div class="ttname"><a href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">SVF::u32_t</a></div><div class="ttdeci">unsigned u32_t</div><div class="ttdef"><b>Definition:</b> <a href="SVFBasicTypes_8h_source.html#l00085">SVFBasicTypes.h:85</a></div></div>
+<div class="ttc" id="namespaceSVF_html_a8234d4b959abc9123993bcff4eee34c1"><div class="ttname"><a href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">SVF::Map</a></div><div class="ttdeci">std::unordered_map&lt; Key, Value, Hash, KeyEqual, Allocator &gt; Map</div><div class="ttdef"><b>Definition:</b> <a href="SVFBasicTypes_8h_source.html#l00109">SVFBasicTypes.h:109</a></div></div>
+<div class="ttc" id="namespaceSVF_html_ad42bff8d0a7d60a085aa32d10f4955af"><div class="ttname"><a href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">SVF::u32_t</a></div><div class="ttdeci">unsigned u32_t</div><div class="ttdef"><b>Definition:</b> <a href="SVFBasicTypes_8h_source.html#l00084">SVFBasicTypes.h:84</a></div></div>
 <div class="ttc" id="classSVF_1_1CFLGraph_html_accff96922713a51fd2d9cb124d74b036"><div class="ttname"><a href="classSVF_1_1CFLGraph.html#accff96922713a51fd2d9cb124d74b036">SVF::CFLGraph::CFLGraph</a></div><div class="ttdeci">CFLGraph()</div><div class="ttdef"><b>Definition:</b> <a href="CFLGraph_8h_source.html#l00078">CFLGraph.h:78</a></div></div>
 <div class="ttc" id="namespaceSVF_html_a19ab125d26c5d9c533bc1c3904ac92d9"><div class="ttname"><a href="namespaceSVF.html#a19ab125d26c5d9c533bc1c3904ac92d9">SVF::GenericCFLEdgeTy</a></div><div class="ttdeci">GenericEdge&lt; CFLNode &gt; GenericCFLEdgeTy</div><div class="ttdef"><b>Definition:</b> <a href="CFLGraph_8h_source.html#l00042">CFLGraph.h:42</a></div></div>
 <div class="ttc" id="classSVF_1_1GenericEdge_html"><div class="ttname"><a href="classSVF_1_1GenericEdge.html">SVF::GenericEdge</a></div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00042">GenericGraph.h:42</a></div></div>