svf-tools 1.0.442 → 1.0.445

package/SVF-doxygen/html/html/CFLSolver_8h_source.html

@@ -5,7 +5,7 @@
 <meta http-equiv="X-UA-Compatible" content="IE=9"/>
 <meta name="generator" content="Doxygen 1.8.13"/>
 <meta name="viewport" content="width=device-width, initial-scale=1"/>
-<title>Static Value-Flow Analysis: /home/runner/work/SVF/SVF/include/Util/CFLSolver.h Source File</title>
+<title>Static Value-Flow Analysis: /home/runner/work/SVF/SVF/include/CFL/CFLSolver.h Source File</title>
 <link href="tabs.css" rel="stylesheet" type="text/css"/>
 <script type="text/javascript" src="jquery.js"></script>
 <script type="text/javascript" src="dynsections.js"></script>
@@ -58,7 +58,7 @@ $(function() {
 
 <div id="nav-path" class="navpath">
   <ul>
-<li class="navelem"><a class="el" href="dir_d44c64559bbebec7f509842c48db8b23.html">include</a></li><li class="navelem"><a class="el" href="dir_95e22971b5dbae2382075a3453e365b4.html">Util</a></li>  </ul>
+<li class="navelem"><a class="el" href="dir_d44c64559bbebec7f509842c48db8b23.html">include</a></li><li class="navelem"><a class="el" href="dir_ae8aa099e368efaa962140c6624142bc.html">CFL</a></li>  </ul>
 </div>
 </div><!-- top -->
 <div class="header">
@@ -66,42 +66,36 @@ $(function() {
 <div class="title">CFLSolver.h</div>  </div>
 </div><!--header-->
 <div class="contents">
-<a href="CFLSolver_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">//===- CFLSolver.h -- CFL reachability solver---------------------------------//</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-2017&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"> * CFLSolver.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: Apr 1, 2014</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;<span class="preprocessor">#ifndef CFLSOLVER_H_</span></div><div class="line"><a name="l00031"></a><span class="lineno">   31</span>&#160;<span class="preprocessor">#define CFLSOLVER_H_</span></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;<span class="preprocessor">#include &quot;<a class="code" href="WorkList_8h.html">Util/WorkList.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="DPItem_8h.html">Util/DPItem.h</a>&quot;</span></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;<span class="keyword">namespace </span><a class="code" href="namespaceSVF.html">SVF</a></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;</div><div class="line"><a name="l00039"></a><span class="lineno">   39</span>&#160;<span class="comment">/*</span></div><div class="line"><a name="l00040"></a><span class="lineno">   40</span>&#160;<span class="comment"> * Generic CFL solver for demand-driven analysis based on different graphs (e.g. SVFIR, VFG, ThreadVFG)</span></div><div class="line"><a name="l00041"></a><span class="lineno">   41</span>&#160;<span class="comment"> * Extend this class for sophisticated CFL-reachability resolution (e.g. field, flow, path)</span></div><div class="line"><a name="l00042"></a><span class="lineno">   42</span>&#160;<span class="comment"> */</span></div><div class="line"><a name="l00043"></a><span class="lineno">   43</span>&#160;<span class="keyword">template</span>&lt;<span class="keyword">class</span> GraphType, <span class="keyword">class</span> DPIm = DPItem&gt;</div><div class="line"><a name="l00044"></a><span class="lineno"><a class="line" href="classSVF_1_1CFLSolver.html">   44</a></span>&#160;<span class="keyword">class </span><a class="code" href="classSVF_1_1CFLSolver.html">CFLSolver</a></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">   46</span>&#160;</div><div class="line"><a name="l00047"></a><span class="lineno">   47</span>&#160;<span class="keyword">public</span>:</div><div class="line"><a name="l00049"></a><span class="lineno"><a class="line" href="classSVF_1_1CFLSolver.html#afdead1450dbc71d4430ab660733ff85c">   49</a></span>&#160;    <span class="keyword">typedef</span> llvm::GraphTraits&lt;GraphType&gt; <a class="code" href="classSVF_1_1CFLSolver.html#afdead1450dbc71d4430ab660733ff85c">GTraits</a>;</div><div class="line"><a name="l00050"></a><span class="lineno"><a class="line" href="classSVF_1_1CFLSolver.html#a7a180d7878fc7b4c055fa72298398127">   50</a></span>&#160;    <span class="keyword">typedef</span> <span class="keyword">typename</span> GTraits::NodeType          <a class="code" href="classSVF_1_1CFLSolver.html#a7a180d7878fc7b4c055fa72298398127">GNODE</a>;</div><div class="line"><a name="l00051"></a><span class="lineno"><a class="line" href="classSVF_1_1CFLSolver.html#aaddd6c593ad39c117bd35ede711b9f36">   51</a></span>&#160;    <span class="keyword">typedef</span> <span class="keyword">typename</span> GTraits::EdgeType          <a class="code" href="classSVF_1_1CFLSolver.html#aaddd6c593ad39c117bd35ede711b9f36">GEDGE</a>;</div><div class="line"><a name="l00052"></a><span class="lineno"><a class="line" href="classSVF_1_1CFLSolver.html#a586cfb2dd110d1853e70e534e0f66624">   52</a></span>&#160;    <span class="keyword">typedef</span> <span class="keyword">typename</span> GTraits::nodes_iterator <a class="code" href="classSVF_1_1CFLSolver.html#a586cfb2dd110d1853e70e534e0f66624">node_iterator</a>;</div><div class="line"><a name="l00053"></a><span class="lineno"><a class="line" href="classSVF_1_1CFLSolver.html#adf0b96a758a29d5c3c46fcc48081b62c">   53</a></span>&#160;    <span class="keyword">typedef</span> <span class="keyword">typename</span> GTraits::ChildIteratorType <a class="code" href="classSVF_1_1CFLSolver.html#adf0b96a758a29d5c3c46fcc48081b62c">child_iterator</a>;</div><div class="line"><a name="l00054"></a><span class="lineno">   54</span>&#160;</div><div class="line"><a name="l00056"></a><span class="lineno"><a class="line" href="classSVF_1_1CFLSolver.html#ae507eecc97716000324820bb1a7a9573">   56</a></span>&#160;    <span class="keyword">typedef</span> llvm::GraphTraits&lt;llvm::Inverse&lt;GNODE *&gt; &gt; <a class="code" href="classSVF_1_1CFLSolver.html#ae507eecc97716000324820bb1a7a9573">InvGTraits</a>;</div><div class="line"><a name="l00057"></a><span class="lineno"><a class="line" href="classSVF_1_1CFLSolver.html#a98613e4d455a53183d1f16a58de6244e">   57</a></span>&#160;    <span class="keyword">typedef</span> <span class="keyword">typename</span> InvGTraits::ChildIteratorType <a class="code" href="classSVF_1_1CFLSolver.html#a98613e4d455a53183d1f16a58de6244e">inv_child_iterator</a>;</div><div class="line"><a name="l00058"></a><span class="lineno">   58</span>&#160;</div><div class="line"><a name="l00060"></a><span class="lineno"><a class="line" href="classSVF_1_1CFLSolver.html#a802e04eafce9adfd60506c44951c3d53">   60</a></span>&#160;    <span class="keyword">typedef</span> <a class="code" href="classSVF_1_1FIFOWorkList.html">FIFOWorkList&lt;DPIm&gt;</a> <a class="code" href="classSVF_1_1CFLSolver.html#a802e04eafce9adfd60506c44951c3d53">WorkList</a>;</div><div class="line"><a name="l00061"></a><span class="lineno">   61</span>&#160;</div><div class="line"><a name="l00062"></a><span class="lineno">   62</span>&#160;<span class="keyword">protected</span>:</div><div class="line"><a name="l00063"></a><span class="lineno">   63</span>&#160;</div><div class="line"><a name="l00065"></a><span class="lineno"><a class="line" href="classSVF_1_1CFLSolver.html#ab339e69dd2f2aa2f98fb549e979838af">   65</a></span>&#160;    <a class="code" href="classSVF_1_1CFLSolver.html#ab339e69dd2f2aa2f98fb549e979838af">CFLSolver</a>(): <a class="code" href="classSVF_1_1CFLSolver.html#a26e81753961ccb80b08d5c3ef7c4a141">_graph</a>(nullptr)</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;    }</div><div class="line"><a name="l00069"></a><span class="lineno"><a class="line" href="classSVF_1_1CFLSolver.html#ac37d5e6e81edcc0a6c53e02d7d343f5b">   69</a></span>&#160;    <span class="keyword">virtual</span> <a class="code" href="classSVF_1_1CFLSolver.html#ac37d5e6e81edcc0a6c53e02d7d343f5b">~CFLSolver</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;    }</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"><a class="line" href="classSVF_1_1CFLSolver.html#a9fc4cbe8985d4c25845d408ffcac13e4">   74</a></span>&#160;    <span class="keyword">const</span> <span class="keyword">inline</span> GraphType <a class="code" href="classSVF_1_1CFLSolver.html#a9fc4cbe8985d4c25845d408ffcac13e4">graph</a>()<span class="keyword"> const</span></div><div class="line"><a name="l00075"></a><span class="lineno">   75</span>&#160;<span class="keyword">    </span>{</div><div class="line"><a name="l00076"></a><span class="lineno">   76</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1CFLSolver.html#a26e81753961ccb80b08d5c3ef7c4a141">_graph</a>;</div><div class="line"><a name="l00077"></a><span class="lineno">   77</span>&#160;    }</div><div class="line"><a name="l00078"></a><span class="lineno"><a class="line" href="classSVF_1_1CFLSolver.html#ae0a02179b2489f65988819666ec52a7c">   78</a></span>&#160;    <span class="keyword">inline</span> <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1CFLSolver.html#ae0a02179b2489f65988819666ec52a7c">setGraph</a>(GraphType g)</div><div class="line"><a name="l00079"></a><span class="lineno">   79</span>&#160;    {</div><div class="line"><a name="l00080"></a><span class="lineno">   80</span>&#160;        <a class="code" href="classSVF_1_1CFLSolver.html#a26e81753961ccb80b08d5c3ef7c4a141">_graph</a> = g;</div><div class="line"><a name="l00081"></a><span class="lineno">   81</span>&#160;    }</div><div class="line"><a name="l00083"></a><span class="lineno">   83</span>&#160;</div><div class="line"><a name="l00084"></a><span class="lineno"><a class="line" href="classSVF_1_1CFLSolver.html#adaa8ca9296ec3e9b6ec544a105296d22">   84</a></span>&#160;    <span class="keyword">inline</span> GNODE* <a class="code" href="classSVF_1_1CFLSolver.html#adaa8ca9296ec3e9b6ec544a105296d22">getNode</a>(<a class="code" href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">NodeID</a> <span class="keywordtype">id</span>)<span class="keyword"> const</span></div><div class="line"><a name="l00085"></a><span class="lineno">   85</span>&#160;<span class="keyword">    </span>{</div><div class="line"><a name="l00086"></a><span class="lineno">   86</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1CFLSolver.html#a26e81753961ccb80b08d5c3ef7c4a141">_graph</a>-&gt;getGNode(<span class="keywordtype">id</span>);</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"><a class="line" href="classSVF_1_1CFLSolver.html#a31199503d0ed7aff97d4620b3599dea6">   88</a></span>&#160;    <span class="keyword">virtual</span> <span class="keyword">inline</span> <a class="code" href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">NodeID</a> <a class="code" href="classSVF_1_1CFLSolver.html#a31199503d0ed7aff97d4620b3599dea6">getNodeIDFromItem</a>(<span class="keyword">const</span> DPIm&amp; item)<span class="keyword"> const</span></div><div class="line"><a name="l00089"></a><span class="lineno">   89</span>&#160;<span class="keyword">    </span>{</div><div class="line"><a name="l00090"></a><span class="lineno">   90</span>&#160;        <span class="keywordflow">return</span> item.getCurNodeID();</div><div class="line"><a name="l00091"></a><span class="lineno">   91</span>&#160;    }</div><div class="line"><a name="l00093"></a><span class="lineno"><a class="line" href="classSVF_1_1CFLSolver.html#ac9dc4e29fde45a19d42987360ee5f528">   93</a></span>&#160;    <span class="keyword">virtual</span> <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1CFLSolver.html#ac9dc4e29fde45a19d42987360ee5f528">forwardTraverse</a>(DPIm&amp; it)</div><div class="line"><a name="l00094"></a><span class="lineno">   94</span>&#160;    {</div><div class="line"><a name="l00095"></a><span class="lineno">   95</span>&#160;        <a class="code" href="classSVF_1_1CFLSolver.html#a28cd2677717b19c9cd8ab3c1c441d409">pushIntoWorklist</a>(it);</div><div class="line"><a name="l00096"></a><span class="lineno">   96</span>&#160;</div><div class="line"><a name="l00097"></a><span class="lineno">   97</span>&#160;        <span class="keywordflow">while</span> (!<a class="code" href="classSVF_1_1CFLSolver.html#a4f35edfc7c4e4a35c9948ab5abd1a6ad">isWorklistEmpty</a>())</div><div class="line"><a name="l00098"></a><span class="lineno">   98</span>&#160;        {</div><div class="line"><a name="l00099"></a><span class="lineno">   99</span>&#160;            DPIm item = <a class="code" href="classSVF_1_1CFLSolver.html#a88f770b4762d44e50d72cd50bb504078">popFromWorklist</a>();</div><div class="line"><a name="l00100"></a><span class="lineno">  100</span>&#160;            <a class="code" href="classSVF_1_1CFLSolver.html#a6d7361281bbf666a2f5da87f7ea869d2">FWProcessCurNode</a>(item);</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;            GNODE* v = <a class="code" href="classSVF_1_1CFLSolver.html#adaa8ca9296ec3e9b6ec544a105296d22">getNode</a>(<a class="code" href="classSVF_1_1CFLSolver.html#a31199503d0ed7aff97d4620b3599dea6">getNodeIDFromItem</a>(item));</div><div class="line"><a name="l00103"></a><span class="lineno">  103</span>&#160;            child_iterator EI = GTraits::child_begin(v);</div><div class="line"><a name="l00104"></a><span class="lineno">  104</span>&#160;            child_iterator EE = GTraits::child_end(v);</div><div class="line"><a name="l00105"></a><span class="lineno">  105</span>&#160;            <span class="keywordflow">for</span> (; EI != EE; ++EI)</div><div class="line"><a name="l00106"></a><span class="lineno">  106</span>&#160;            {</div><div class="line"><a name="l00107"></a><span class="lineno">  107</span>&#160;                <a class="code" href="classSVF_1_1CFLSolver.html#a39b079c9b8a1b4570176028de79e85a4">FWProcessOutgoingEdge</a>(item,*(EI.getCurrent()) );</div><div class="line"><a name="l00108"></a><span class="lineno">  108</span>&#160;            }</div><div class="line"><a name="l00109"></a><span class="lineno">  109</span>&#160;        }</div><div class="line"><a name="l00110"></a><span class="lineno">  110</span>&#160;    }</div><div class="line"><a name="l00112"></a><span class="lineno"><a class="line" href="classSVF_1_1CFLSolver.html#abf651315ae100f9d4df5d183f7d43c68">  112</a></span>&#160;    <span class="keyword">virtual</span> <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1CFLSolver.html#abf651315ae100f9d4df5d183f7d43c68">backwardTraverse</a>(DPIm&amp; it)</div><div class="line"><a name="l00113"></a><span class="lineno">  113</span>&#160;    {</div><div class="line"><a name="l00114"></a><span class="lineno">  114</span>&#160;        <a class="code" href="classSVF_1_1CFLSolver.html#a28cd2677717b19c9cd8ab3c1c441d409">pushIntoWorklist</a>(it);</div><div class="line"><a name="l00115"></a><span class="lineno">  115</span>&#160;</div><div class="line"><a name="l00116"></a><span class="lineno">  116</span>&#160;        <span class="keywordflow">while</span> (!<a class="code" href="classSVF_1_1CFLSolver.html#a4f35edfc7c4e4a35c9948ab5abd1a6ad">isWorklistEmpty</a>())</div><div class="line"><a name="l00117"></a><span class="lineno">  117</span>&#160;        {</div><div class="line"><a name="l00118"></a><span class="lineno">  118</span>&#160;            DPIm item = <a class="code" href="classSVF_1_1CFLSolver.html#a88f770b4762d44e50d72cd50bb504078">popFromWorklist</a>();</div><div class="line"><a name="l00119"></a><span class="lineno">  119</span>&#160;            <a class="code" href="classSVF_1_1CFLSolver.html#ab444cce6a5c75c7e6c65d47039e567a8">BWProcessCurNode</a>(item);</div><div class="line"><a name="l00120"></a><span class="lineno">  120</span>&#160;</div><div class="line"><a name="l00121"></a><span class="lineno">  121</span>&#160;            GNODE* v = <a class="code" href="classSVF_1_1CFLSolver.html#adaa8ca9296ec3e9b6ec544a105296d22">getNode</a>(<a class="code" href="classSVF_1_1CFLSolver.html#a31199503d0ed7aff97d4620b3599dea6">getNodeIDFromItem</a>(item));</div><div class="line"><a name="l00122"></a><span class="lineno">  122</span>&#160;            inv_child_iterator EI = InvGTraits::child_begin(v);</div><div class="line"><a name="l00123"></a><span class="lineno">  123</span>&#160;            inv_child_iterator EE = InvGTraits::child_end(v);</div><div class="line"><a name="l00124"></a><span class="lineno">  124</span>&#160;            <span class="keywordflow">for</span> (; EI != EE; ++EI)</div><div class="line"><a name="l00125"></a><span class="lineno">  125</span>&#160;            {</div><div class="line"><a name="l00126"></a><span class="lineno">  126</span>&#160;                <a class="code" href="classSVF_1_1CFLSolver.html#a3d5550fbb149297022d5a1852f3229b3">BWProcessIncomingEdge</a>(item,*(EI.getCurrent()) );</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;        }</div><div class="line"><a name="l00129"></a><span class="lineno">  129</span>&#160;    }</div><div class="line"><a name="l00131"></a><span class="lineno">  131</span>&#160;</div><div class="line"><a name="l00132"></a><span class="lineno"><a class="line" href="classSVF_1_1CFLSolver.html#a6d7361281bbf666a2f5da87f7ea869d2">  132</a></span>&#160;    <span class="keyword">virtual</span> <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1CFLSolver.html#a6d7361281bbf666a2f5da87f7ea869d2">FWProcessCurNode</a>(<span class="keyword">const</span> DPIm&amp;)</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"><a class="line" href="classSVF_1_1CFLSolver.html#ab444cce6a5c75c7e6c65d47039e567a8">  135</a></span>&#160;    <span class="keyword">virtual</span> <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1CFLSolver.html#ab444cce6a5c75c7e6c65d47039e567a8">BWProcessCurNode</a>(<span class="keyword">const</span> DPIm&amp;)</div><div class="line"><a name="l00136"></a><span class="lineno">  136</span>&#160;    {</div><div class="line"><a name="l00137"></a><span class="lineno">  137</span>&#160;    }</div><div class="line"><a name="l00139"></a><span class="lineno">  139</span>&#160;</div><div class="line"><a name="l00141"></a><span class="lineno"><a class="line" href="classSVF_1_1CFLSolver.html#a39b079c9b8a1b4570176028de79e85a4">  141</a></span>&#160;    <span class="keyword">virtual</span> <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1CFLSolver.html#a39b079c9b8a1b4570176028de79e85a4">FWProcessOutgoingEdge</a>(<span class="keyword">const</span> DPIm&amp; item, GEDGE* edge)</div><div class="line"><a name="l00142"></a><span class="lineno">  142</span>&#160;    {</div><div class="line"><a name="l00143"></a><span class="lineno">  143</span>&#160;        DPIm newItem(item);</div><div class="line"><a name="l00144"></a><span class="lineno">  144</span>&#160;        newItem.setCurNodeID(edge-&gt;getDstID());</div><div class="line"><a name="l00145"></a><span class="lineno">  145</span>&#160;        <a class="code" href="classSVF_1_1CFLSolver.html#a28cd2677717b19c9cd8ab3c1c441d409">pushIntoWorklist</a>(newItem);</div><div class="line"><a name="l00146"></a><span class="lineno">  146</span>&#160;    }</div><div class="line"><a name="l00147"></a><span class="lineno"><a class="line" href="classSVF_1_1CFLSolver.html#a3d5550fbb149297022d5a1852f3229b3">  147</a></span>&#160;    <span class="keyword">virtual</span> <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1CFLSolver.html#a3d5550fbb149297022d5a1852f3229b3">BWProcessIncomingEdge</a>(<span class="keyword">const</span> DPIm&amp; item, GEDGE* edge)</div><div class="line"><a name="l00148"></a><span class="lineno">  148</span>&#160;    {</div><div class="line"><a name="l00149"></a><span class="lineno">  149</span>&#160;        DPIm newItem(item);</div><div class="line"><a name="l00150"></a><span class="lineno">  150</span>&#160;        newItem.setCurNodeID(edge-&gt;getSrcID());</div><div class="line"><a name="l00151"></a><span class="lineno">  151</span>&#160;        <a class="code" href="classSVF_1_1CFLSolver.html#a28cd2677717b19c9cd8ab3c1c441d409">pushIntoWorklist</a>(newItem);</div><div class="line"><a name="l00152"></a><span class="lineno">  152</span>&#160;    }</div><div class="line"><a name="l00154"></a><span class="lineno">  154</span>&#160;</div><div class="line"><a name="l00156"></a><span class="lineno"><a class="line" href="classSVF_1_1CFLSolver.html#a88f770b4762d44e50d72cd50bb504078">  156</a></span>&#160;    <span class="keyword">inline</span> DPIm <a class="code" href="classSVF_1_1CFLSolver.html#a88f770b4762d44e50d72cd50bb504078">popFromWorklist</a>()</div><div class="line"><a name="l00157"></a><span class="lineno">  157</span>&#160;    {</div><div class="line"><a name="l00158"></a><span class="lineno">  158</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1CFLSolver.html#a9d3cbcb9db049e3069b6553ab17ccf5b">worklist</a>.<a class="code" href="classSVF_1_1FIFOWorkList.html#a8fa72918fce7e9c0b2dc34b683a797c6">pop</a>();</div><div class="line"><a name="l00159"></a><span class="lineno">  159</span>&#160;    }</div><div class="line"><a name="l00160"></a><span class="lineno"><a class="line" href="classSVF_1_1CFLSolver.html#a28cd2677717b19c9cd8ab3c1c441d409">  160</a></span>&#160;    <span class="keyword">inline</span> <span class="keywordtype">bool</span> <a class="code" href="classSVF_1_1CFLSolver.html#a28cd2677717b19c9cd8ab3c1c441d409">pushIntoWorklist</a>(DPIm&amp; item)</div><div class="line"><a name="l00161"></a><span class="lineno">  161</span>&#160;    {</div><div class="line"><a name="l00162"></a><span class="lineno">  162</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1CFLSolver.html#a9d3cbcb9db049e3069b6553ab17ccf5b">worklist</a>.<a class="code" href="classSVF_1_1FIFOWorkList.html#ad4c6a48b60c870d63049fe7272cc7eb8">push</a>(item);</div><div class="line"><a name="l00163"></a><span class="lineno">  163</span>&#160;    }</div><div class="line"><a name="l00164"></a><span class="lineno"><a class="line" href="classSVF_1_1CFLSolver.html#a4f35edfc7c4e4a35c9948ab5abd1a6ad">  164</a></span>&#160;    <span class="keyword">inline</span> <span class="keywordtype">bool</span> <a class="code" href="classSVF_1_1CFLSolver.html#a4f35edfc7c4e4a35c9948ab5abd1a6ad">isWorklistEmpty</a>()</div><div class="line"><a name="l00165"></a><span class="lineno">  165</span>&#160;    {</div><div class="line"><a name="l00166"></a><span class="lineno">  166</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1CFLSolver.html#a9d3cbcb9db049e3069b6553ab17ccf5b">worklist</a>.<a class="code" href="classSVF_1_1FIFOWorkList.html#a7056704c224dfb4b57287fe90c004aa8">empty</a>();</div><div class="line"><a name="l00167"></a><span class="lineno">  167</span>&#160;    }</div><div class="line"><a name="l00168"></a><span class="lineno"><a class="line" href="classSVF_1_1CFLSolver.html#a435454f52e5be39c960052f1947b984d">  168</a></span>&#160;    <span class="keyword">inline</span> <span class="keywordtype">bool</span> <a class="code" href="classSVF_1_1CFLSolver.html#a435454f52e5be39c960052f1947b984d">isInWorklist</a>(DPIm&amp; item)</div><div class="line"><a name="l00169"></a><span class="lineno">  169</span>&#160;    {</div><div class="line"><a name="l00170"></a><span class="lineno">  170</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1CFLSolver.html#a9d3cbcb9db049e3069b6553ab17ccf5b">worklist</a>.<a class="code" href="classSVF_1_1FIFOWorkList.html#a86f2393b1cce7969d6974b53970ead54">find</a>(item);</div><div class="line"><a name="l00171"></a><span class="lineno">  171</span>&#160;    }</div><div class="line"><a name="l00173"></a><span class="lineno">  173</span>&#160;</div><div class="line"><a name="l00174"></a><span class="lineno">  174</span>&#160;<span class="keyword">private</span>:</div><div class="line"><a name="l00175"></a><span class="lineno">  175</span>&#160;</div><div class="line"><a name="l00177"></a><span class="lineno"><a class="line" href="classSVF_1_1CFLSolver.html#a26e81753961ccb80b08d5c3ef7c4a141">  177</a></span>&#160;    GraphType <a class="code" href="classSVF_1_1CFLSolver.html#a26e81753961ccb80b08d5c3ef7c4a141">_graph</a>;</div><div class="line"><a name="l00178"></a><span class="lineno">  178</span>&#160;</div><div class="line"><a name="l00180"></a><span class="lineno"><a class="line" href="classSVF_1_1CFLSolver.html#a9d3cbcb9db049e3069b6553ab17ccf5b">  180</a></span>&#160;    WorkList <a class="code" href="classSVF_1_1CFLSolver.html#a9d3cbcb9db049e3069b6553ab17ccf5b">worklist</a>;</div><div class="line"><a name="l00181"></a><span class="lineno">  181</span>&#160;</div><div class="line"><a name="l00182"></a><span class="lineno">  182</span>&#160;};</div><div class="line"><a name="l00183"></a><span class="lineno">  183</span>&#160;</div><div class="line"><a name="l00184"></a><span class="lineno">  184</span>&#160;} <span class="comment">// End namespace SVF</span></div><div class="line"><a name="l00185"></a><span class="lineno">  185</span>&#160;</div><div class="line"><a name="l00186"></a><span class="lineno">  186</span>&#160;<span class="preprocessor">#endif </span><span class="comment">/* CFLSOLVER_H_ */</span><span class="preprocessor"></span></div><div class="ttc" id="classSVF_1_1CFLSolver_html_abf651315ae100f9d4df5d183f7d43c68"><div class="ttname"><a href="classSVF_1_1CFLSolver.html#abf651315ae100f9d4df5d183f7d43c68">SVF::CFLSolver::backwardTraverse</a></div><div class="ttdeci">virtual void backwardTraverse(DPIm &amp;it)</div><div class="ttdoc">CFL forward traverse solve. </div><div class="ttdef"><b>Definition:</b> <a href="CFLSolver_8h_source.html#l00112">CFLSolver.h:112</a></div></div>
-<div class="ttc" id="classSVF_1_1CFLSolver_html_adaa8ca9296ec3e9b6ec544a105296d22"><div class="ttname"><a href="classSVF_1_1CFLSolver.html#adaa8ca9296ec3e9b6ec544a105296d22">SVF::CFLSolver::getNode</a></div><div class="ttdeci">GNODE * getNode(NodeID id) const</div><div class="ttdef"><b>Definition:</b> <a href="CFLSolver_8h_source.html#l00084">CFLSolver.h:84</a></div></div>
-<div class="ttc" id="classSVF_1_1CFLSolver_html_ae0a02179b2489f65988819666ec52a7c"><div class="ttname"><a href="classSVF_1_1CFLSolver.html#ae0a02179b2489f65988819666ec52a7c">SVF::CFLSolver::setGraph</a></div><div class="ttdeci">void setGraph(GraphType g)</div><div class="ttdef"><b>Definition:</b> <a href="CFLSolver_8h_source.html#l00078">CFLSolver.h:78</a></div></div>
-<div class="ttc" id="classSVF_1_1CFLSolver_html_a26e81753961ccb80b08d5c3ef7c4a141"><div class="ttname"><a href="classSVF_1_1CFLSolver.html#a26e81753961ccb80b08d5c3ef7c4a141">SVF::CFLSolver::_graph</a></div><div class="ttdeci">GraphType _graph</div><div class="ttdoc">Graph. </div><div class="ttdef"><b>Definition:</b> <a href="CFLSolver_8h_source.html#l00177">CFLSolver.h:177</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#l00018">MTAResultValidator.h:18</a></div></div>
-<div class="ttc" id="classSVF_1_1CFLSolver_html_a3d5550fbb149297022d5a1852f3229b3"><div class="ttname"><a href="classSVF_1_1CFLSolver.html#a3d5550fbb149297022d5a1852f3229b3">SVF::CFLSolver::BWProcessIncomingEdge</a></div><div class="ttdeci">virtual void BWProcessIncomingEdge(const DPIm &amp;item, GEDGE *edge)</div><div class="ttdef"><b>Definition:</b> <a href="CFLSolver_8h_source.html#l00147">CFLSolver.h:147</a></div></div>
-<div class="ttc" id="classSVF_1_1CFLSolver_html_a39b079c9b8a1b4570176028de79e85a4"><div class="ttname"><a href="classSVF_1_1CFLSolver.html#a39b079c9b8a1b4570176028de79e85a4">SVF::CFLSolver::FWProcessOutgoingEdge</a></div><div class="ttdeci">virtual void FWProcessOutgoingEdge(const DPIm &amp;item, GEDGE *edge)</div><div class="ttdoc">Propagation for the solving, to be implemented in the child class. </div><div class="ttdef"><b>Definition:</b> <a href="CFLSolver_8h_source.html#l00141">CFLSolver.h:141</a></div></div>
-<div class="ttc" id="classSVF_1_1CFLSolver_html_a6d7361281bbf666a2f5da87f7ea869d2"><div class="ttname"><a href="classSVF_1_1CFLSolver.html#a6d7361281bbf666a2f5da87f7ea869d2">SVF::CFLSolver::FWProcessCurNode</a></div><div class="ttdeci">virtual void FWProcessCurNode(const DPIm &amp;)</div><div class="ttdoc">Process the DP item. </div><div class="ttdef"><b>Definition:</b> <a href="CFLSolver_8h_source.html#l00132">CFLSolver.h:132</a></div></div>
+<a href="CFLSolver_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">//===----- CFLSolver.h -- Context-free language reachability solver--------------//</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"> * CFLSolver.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;<span class="preprocessor">#include &quot;<a class="code" href="CFLGraph_8h.html">Graphs/CFLGraph.h</a>&quot;</span></div><div class="line"><a name="l00031"></a><span class="lineno">   31</span>&#160;<span class="preprocessor">#include &quot;<a class="code" href="CFLGrammar_8h.html">CFL/CFLGrammar.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="WorkList_8h.html">Util/WorkList.h</a>&quot;</span></div><div class="line"><a name="l00033"></a><span class="lineno">   33</span>&#160;</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">namespace </span><a class="code" href="namespaceSVF.html">SVF</a>{</div><div class="line"><a name="l00036"></a><span class="lineno">   36</span>&#160;</div><div class="line"><a name="l00037"></a><span class="lineno"><a class="line" href="classSVF_1_1CFLSolver.html">   37</a></span>&#160;<span class="keyword">class </span><a class="code" href="classSVF_1_1CFLSolver.html">CFLSolver</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="keyword">public</span>:</div><div class="line"><a name="l00041"></a><span class="lineno"><a class="line" href="classSVF_1_1CFLSolver.html#a194d2c4c801799b0ba9562e33ca5b695">   41</a></span>&#160;    <span class="keyword">typedef</span> <a class="code" href="classSVF_1_1FIFOWorkList.html">FIFOWorkList&lt;const CFLEdge*&gt;</a> <a class="code" href="classSVF_1_1CFLSolver.html#a194d2c4c801799b0ba9562e33ca5b695">WorkList</a>;</div><div class="line"><a name="l00042"></a><span class="lineno"><a class="line" href="classSVF_1_1CFLSolver.html#a0ade6e3827c629c3cc3d22a101df7288">   42</a></span>&#160;    <span class="keyword">typedef</span> <a class="code" href="classSVF_1_1GrammarBase.html#af384c960a5edc576cbfb60a869e346ec">CFLGrammar::Production</a> <a class="code" href="classSVF_1_1CFLSolver.html#a0ade6e3827c629c3cc3d22a101df7288">Production</a>;</div><div class="line"><a name="l00043"></a><span class="lineno"><a class="line" href="classSVF_1_1CFLSolver.html#a06e64c18559b4f311717203ac3fe1fcd">   43</a></span>&#160;    <span class="keyword">typedef</span> <a class="code" href="classSVF_1_1GrammarBase.html#a98ae90215ba9aa3ddb0afdab459cb08f">CFLGrammar::Symbol</a> <a class="code" href="classSVF_1_1CFLSolver.html#a06e64c18559b4f311717203ac3fe1fcd">Symbol</a>;</div><div class="line"><a name="l00044"></a><span class="lineno">   44</span>&#160;</div><div class="line"><a name="l00045"></a><span class="lineno"><a class="line" href="classSVF_1_1CFLSolver.html#a394ecf58da040648dda4adb8d0e7d75b">   45</a></span>&#160;    <a class="code" href="classSVF_1_1CFLSolver.html#a394ecf58da040648dda4adb8d0e7d75b">CFLSolver</a>(<a class="code" href="classSVF_1_1CFLGraph.html">CFLGraph</a>* _graph, <a class="code" href="classSVF_1_1CFLGrammar.html">CFLGrammar</a>* _grammar): <a class="code" href="classSVF_1_1CFLSolver.html#aedd6c605c4c381c738f4c6682c40d9f2">graph</a>(_graph), <a class="code" href="classSVF_1_1CFLSolver.html#aad88cf557ec43127de859b765505df49">grammar</a>(_grammar)</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="l00049"></a><span class="lineno"><a class="line" href="classSVF_1_1CFLSolver.html#a59bb656e9fc0f5c29feb2200bc198e41">   49</a></span>&#160;    <a class="code" href="classSVF_1_1CFLSolver.html#a59bb656e9fc0f5c29feb2200bc198e41">~CFLSolver</a>()</div><div class="line"><a name="l00050"></a><span class="lineno">   50</span>&#160;    {</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;</div><div class="line"><a name="l00054"></a><span class="lineno">   54</span>&#160;    <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1CFLSolver.html#a2ee3436c26ebdb2aaf790c25b1d8b5a6">solve</a>();</div><div class="line"><a name="l00055"></a><span class="lineno">   55</span>&#160;</div><div class="line"><a name="l00057"></a><span class="lineno"><a class="line" href="classSVF_1_1CFLSolver.html#a2c6bce1f73bcf5937a26e91a7daba33c">   57</a></span>&#160;    <span class="keyword">inline</span> <span class="keyword">const</span> <a class="code" href="classSVF_1_1CFLGraph.html">CFLGraph</a>* <a class="code" href="classSVF_1_1CFLSolver.html#a2c6bce1f73bcf5937a26e91a7daba33c">getGraph</a>()<span class="keyword"> const </span>{</div><div class="line"><a name="l00058"></a><span class="lineno">   58</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1CFLSolver.html#aedd6c605c4c381c738f4c6682c40d9f2">graph</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;</div><div class="line"><a name="l00062"></a><span class="lineno"><a class="line" href="classSVF_1_1CFLSolver.html#a99c0a6a2c55bb6eb7f8232399374c827">   62</a></span>&#160;    <span class="keyword">inline</span> <span class="keyword">const</span> <a class="code" href="classSVF_1_1CFLGrammar.html">CFLGrammar</a>* <a class="code" href="classSVF_1_1CFLSolver.html#a99c0a6a2c55bb6eb7f8232399374c827">getGrammar</a>()<span class="keyword"> const </span>{</div><div class="line"><a name="l00063"></a><span class="lineno">   63</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1CFLSolver.html#aad88cf557ec43127de859b765505df49">grammar</a>;</div><div class="line"><a name="l00064"></a><span class="lineno">   64</span>&#160;    }</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="keyword">protected</span>:</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="classSVF_1_1CFLSolver.html#a95573e91816f426ff7b45afb7b7c821e">   69</a></span>&#160;    <span class="keyword">inline</span> <span class="keyword">const</span> <a class="code" href="classSVF_1_1CFLEdge.html">CFLEdge</a>* <a class="code" href="classSVF_1_1CFLSolver.html#a95573e91816f426ff7b45afb7b7c821e">popFromWorklist</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_1CFLSolver.html#a211bb78846886aa9ccd4b160da81e02e">worklist</a>.<a class="code" href="classSVF_1_1FIFOWorkList.html#a8fa72918fce7e9c0b2dc34b683a797c6">pop</a>();</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"><a class="line" href="classSVF_1_1CFLSolver.html#afc745dc72fd0572a145a78fe6a93ae5c">   73</a></span>&#160;    <span class="keyword">inline</span> <span class="keywordtype">bool</span> <a class="code" href="classSVF_1_1CFLSolver.html#afc745dc72fd0572a145a78fe6a93ae5c">pushIntoWorklist</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1CFLEdge.html">CFLEdge</a>* item)</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;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1CFLSolver.html#a211bb78846886aa9ccd4b160da81e02e">worklist</a>.<a class="code" href="classSVF_1_1FIFOWorkList.html#ad4c6a48b60c870d63049fe7272cc7eb8">push</a>(item);</div><div class="line"><a name="l00076"></a><span class="lineno">   76</span>&#160;    }</div><div class="line"><a name="l00077"></a><span class="lineno"><a class="line" href="classSVF_1_1CFLSolver.html#ac1fe4563081c29f8a715bd67d454c8bb">   77</a></span>&#160;    <span class="keyword">inline</span> <span class="keywordtype">bool</span> <a class="code" href="classSVF_1_1CFLSolver.html#ac1fe4563081c29f8a715bd67d454c8bb">isWorklistEmpty</a>()</div><div class="line"><a name="l00078"></a><span class="lineno">   78</span>&#160;    {</div><div class="line"><a name="l00079"></a><span class="lineno">   79</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1CFLSolver.html#a211bb78846886aa9ccd4b160da81e02e">worklist</a>.<a class="code" href="classSVF_1_1FIFOWorkList.html#a7056704c224dfb4b57287fe90c004aa8">empty</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"><a class="line" href="classSVF_1_1CFLSolver.html#a0e112c2290b3ba4e61da6b1fe9ac506d">   81</a></span>&#160;    <span class="keyword">inline</span> <span class="keywordtype">bool</span> <a class="code" href="classSVF_1_1CFLSolver.html#a0e112c2290b3ba4e61da6b1fe9ac506d">isInWorklist</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1CFLEdge.html">CFLEdge</a>* item)</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;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1CFLSolver.html#a211bb78846886aa9ccd4b160da81e02e">worklist</a>.<a class="code" href="classSVF_1_1FIFOWorkList.html#a86f2393b1cce7969d6974b53970ead54">find</a>(item);</div><div class="line"><a name="l00084"></a><span class="lineno">   84</span>&#160;    }</div><div class="line"><a name="l00086"></a><span class="lineno">   86</span>&#160;</div><div class="line"><a name="l00087"></a><span class="lineno">   87</span>&#160;<span class="keyword">private</span>: </div><div class="line"><a name="l00088"></a><span class="lineno"><a class="line" href="classSVF_1_1CFLSolver.html#aedd6c605c4c381c738f4c6682c40d9f2">   88</a></span>&#160;    <a class="code" href="classSVF_1_1CFLGraph.html">CFLGraph</a>* <a class="code" href="classSVF_1_1CFLSolver.html#aedd6c605c4c381c738f4c6682c40d9f2">graph</a>;</div><div class="line"><a name="l00089"></a><span class="lineno"><a class="line" href="classSVF_1_1CFLSolver.html#aad88cf557ec43127de859b765505df49">   89</a></span>&#160;    <a class="code" href="classSVF_1_1CFLGrammar.html">CFLGrammar</a>* <a class="code" href="classSVF_1_1CFLSolver.html#aad88cf557ec43127de859b765505df49">grammar</a>;</div><div class="line"><a name="l00091"></a><span class="lineno"><a class="line" href="classSVF_1_1CFLSolver.html#a211bb78846886aa9ccd4b160da81e02e">   91</a></span>&#160;    WorkList <a class="code" href="classSVF_1_1CFLSolver.html#a211bb78846886aa9ccd4b160da81e02e">worklist</a>;</div><div class="line"><a name="l00092"></a><span class="lineno">   92</span>&#160;};</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="ttc" id="classSVF_1_1CFLSolver_html_a06e64c18559b4f311717203ac3fe1fcd"><div class="ttname"><a href="classSVF_1_1CFLSolver.html#a06e64c18559b4f311717203ac3fe1fcd">SVF::CFLSolver::Symbol</a></div><div class="ttdeci">CFLGrammar::Symbol Symbol</div><div class="ttdef"><b>Definition:</b> <a href="CFLSolver_8h_source.html#l00043">CFLSolver.h:43</a></div></div>
+<div class="ttc" id="classSVF_1_1CFLSolver_html_a2c6bce1f73bcf5937a26e91a7daba33c"><div class="ttname"><a href="classSVF_1_1CFLSolver.html#a2c6bce1f73bcf5937a26e91a7daba33c">SVF::CFLSolver::getGraph</a></div><div class="ttdeci">const CFLGraph * getGraph() const</div><div class="ttdoc">Return CFL Graph. </div><div class="ttdef"><b>Definition:</b> <a href="CFLSolver_8h_source.html#l00057">CFLSolver.h:57</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#l00059">CFLGrammar.h:59</a></div></div>
+<div class="ttc" id="classSVF_1_1CFLSolver_html_a211bb78846886aa9ccd4b160da81e02e"><div class="ttname"><a href="classSVF_1_1CFLSolver.html#a211bb78846886aa9ccd4b160da81e02e">SVF::CFLSolver::worklist</a></div><div class="ttdeci">WorkList worklist</div><div class="ttdoc">Worklist for resolution. </div><div class="ttdef"><b>Definition:</b> <a href="CFLSolver_8h_source.html#l00091">CFLSolver.h:91</a></div></div>
+<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_1FIFOWorkList_html_a7056704c224dfb4b57287fe90c004aa8"><div class="ttname"><a href="classSVF_1_1FIFOWorkList.html#a7056704c224dfb4b57287fe90c004aa8">SVF::FIFOWorkList::empty</a></div><div class="ttdeci">bool empty() const</div><div class="ttdef"><b>Definition:</b> <a href="WorkList_8h_source.html#l00146">WorkList.h:146</a></div></div>
-<div class="ttc" id="classSVF_1_1CFLSolver_html_a4f35edfc7c4e4a35c9948ab5abd1a6ad"><div class="ttname"><a href="classSVF_1_1CFLSolver.html#a4f35edfc7c4e4a35c9948ab5abd1a6ad">SVF::CFLSolver::isWorklistEmpty</a></div><div class="ttdeci">bool isWorklistEmpty()</div><div class="ttdef"><b>Definition:</b> <a href="CFLSolver_8h_source.html#l00164">CFLSolver.h:164</a></div></div>
-<div class="ttc" id="classSVF_1_1CFLSolver_html"><div class="ttname"><a href="classSVF_1_1CFLSolver.html">SVF::CFLSolver</a></div><div class="ttdef"><b>Definition:</b> <a href="CFLSolver_8h_source.html#l00044">CFLSolver.h:44</a></div></div>
-<div class="ttc" id="classSVF_1_1CFLSolver_html_a28cd2677717b19c9cd8ab3c1c441d409"><div class="ttname"><a href="classSVF_1_1CFLSolver.html#a28cd2677717b19c9cd8ab3c1c441d409">SVF::CFLSolver::pushIntoWorklist</a></div><div class="ttdeci">bool pushIntoWorklist(DPIm &amp;item)</div><div class="ttdef"><b>Definition:</b> <a href="CFLSolver_8h_source.html#l00160">CFLSolver.h:160</a></div></div>
-<div class="ttc" id="classSVF_1_1CFLSolver_html_a31199503d0ed7aff97d4620b3599dea6"><div class="ttname"><a href="classSVF_1_1CFLSolver.html#a31199503d0ed7aff97d4620b3599dea6">SVF::CFLSolver::getNodeIDFromItem</a></div><div class="ttdeci">virtual NodeID getNodeIDFromItem(const DPIm &amp;item) const</div><div class="ttdef"><b>Definition:</b> <a href="CFLSolver_8h_source.html#l00088">CFLSolver.h:88</a></div></div>
-<div class="ttc" id="classSVF_1_1CFLSolver_html_a7a180d7878fc7b4c055fa72298398127"><div class="ttname"><a href="classSVF_1_1CFLSolver.html#a7a180d7878fc7b4c055fa72298398127">SVF::CFLSolver::GNODE</a></div><div class="ttdeci">GTraits::NodeType GNODE</div><div class="ttdef"><b>Definition:</b> <a href="CFLSolver_8h_source.html#l00050">CFLSolver.h:50</a></div></div>
-<div class="ttc" id="classSVF_1_1CFLSolver_html_a586cfb2dd110d1853e70e534e0f66624"><div class="ttname"><a href="classSVF_1_1CFLSolver.html#a586cfb2dd110d1853e70e534e0f66624">SVF::CFLSolver::node_iterator</a></div><div class="ttdeci">GTraits::nodes_iterator node_iterator</div><div class="ttdef"><b>Definition:</b> <a href="CFLSolver_8h_source.html#l00052">CFLSolver.h:52</a></div></div>
-<div class="ttc" id="classSVF_1_1CFLSolver_html_a98613e4d455a53183d1f16a58de6244e"><div class="ttname"><a href="classSVF_1_1CFLSolver.html#a98613e4d455a53183d1f16a58de6244e">SVF::CFLSolver::inv_child_iterator</a></div><div class="ttdeci">InvGTraits::ChildIteratorType inv_child_iterator</div><div class="ttdef"><b>Definition:</b> <a href="CFLSolver_8h_source.html#l00057">CFLSolver.h:57</a></div></div>
-<div class="ttc" id="classSVF_1_1CFLSolver_html_ae507eecc97716000324820bb1a7a9573"><div class="ttname"><a href="classSVF_1_1CFLSolver.html#ae507eecc97716000324820bb1a7a9573">SVF::CFLSolver::InvGTraits</a></div><div class="ttdeci">llvm::GraphTraits&lt; llvm::Inverse&lt; GNODE * &gt; &gt; InvGTraits</div><div class="ttdoc">Define inverse GTraits and note iterator. </div><div class="ttdef"><b>Definition:</b> <a href="CFLSolver_8h_source.html#l00056">CFLSolver.h:56</a></div></div>
-<div class="ttc" id="classSVF_1_1CFLSolver_html_a435454f52e5be39c960052f1947b984d"><div class="ttname"><a href="classSVF_1_1CFLSolver.html#a435454f52e5be39c960052f1947b984d">SVF::CFLSolver::isInWorklist</a></div><div class="ttdeci">bool isInWorklist(DPIm &amp;item)</div><div class="ttdef"><b>Definition:</b> <a href="CFLSolver_8h_source.html#l00168">CFLSolver.h:168</a></div></div>
-<div class="ttc" id="classSVF_1_1CFLSolver_html_ab444cce6a5c75c7e6c65d47039e567a8"><div class="ttname"><a href="classSVF_1_1CFLSolver.html#ab444cce6a5c75c7e6c65d47039e567a8">SVF::CFLSolver::BWProcessCurNode</a></div><div class="ttdeci">virtual void BWProcessCurNode(const DPIm &amp;)</div><div class="ttdef"><b>Definition:</b> <a href="CFLSolver_8h_source.html#l00135">CFLSolver.h:135</a></div></div>
+<div class="ttc" id="classSVF_1_1CFLSolver_html_afc745dc72fd0572a145a78fe6a93ae5c"><div class="ttname"><a href="classSVF_1_1CFLSolver.html#afc745dc72fd0572a145a78fe6a93ae5c">SVF::CFLSolver::pushIntoWorklist</a></div><div class="ttdeci">bool pushIntoWorklist(const CFLEdge *item)</div><div class="ttdef"><b>Definition:</b> <a href="CFLSolver_8h_source.html#l00073">CFLSolver.h:73</a></div></div>
+<div class="ttc" id="classSVF_1_1CFLSolver_html"><div class="ttname"><a href="classSVF_1_1CFLSolver.html">SVF::CFLSolver</a></div><div class="ttdef"><b>Definition:</b> <a href="CFLSolver_8h_source.html#l00037">CFLSolver.h:37</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#l00037">CFLGrammar.h:37</a></div></div>
+<div class="ttc" id="classSVF_1_1CFLSolver_html_a394ecf58da040648dda4adb8d0e7d75b"><div class="ttname"><a href="classSVF_1_1CFLSolver.html#a394ecf58da040648dda4adb8d0e7d75b">SVF::CFLSolver::CFLSolver</a></div><div class="ttdeci">CFLSolver(CFLGraph *_graph, CFLGrammar *_grammar)</div><div class="ttdef"><b>Definition:</b> <a href="CFLSolver_8h_source.html#l00045">CFLSolver.h:45</a></div></div>
+<div class="ttc" id="classSVF_1_1CFLSolver_html_a59bb656e9fc0f5c29feb2200bc198e41"><div class="ttname"><a href="classSVF_1_1CFLSolver.html#a59bb656e9fc0f5c29feb2200bc198e41">SVF::CFLSolver::~CFLSolver</a></div><div class="ttdeci">~CFLSolver()</div><div class="ttdef"><b>Definition:</b> <a href="CFLSolver_8h_source.html#l00049">CFLSolver.h:49</a></div></div>
+<div class="ttc" id="classSVF_1_1CFLSolver_html_a99c0a6a2c55bb6eb7f8232399374c827"><div class="ttname"><a href="classSVF_1_1CFLSolver.html#a99c0a6a2c55bb6eb7f8232399374c827">SVF::CFLSolver::getGrammar</a></div><div class="ttdeci">const CFLGrammar * getGrammar() const</div><div class="ttdoc">Return CFL Grammar. </div><div class="ttdef"><b>Definition:</b> <a href="CFLSolver_8h_source.html#l00062">CFLSolver.h:62</a></div></div>
+<div class="ttc" id="classSVF_1_1CFLSolver_html_aedd6c605c4c381c738f4c6682c40d9f2"><div class="ttname"><a href="classSVF_1_1CFLSolver.html#aedd6c605c4c381c738f4c6682c40d9f2">SVF::CFLSolver::graph</a></div><div class="ttdeci">CFLGraph * graph</div><div class="ttdef"><b>Definition:</b> <a href="CFLSolver_8h_source.html#l00088">CFLSolver.h:88</a></div></div>
 <div class="ttc" id="classSVF_1_1FIFOWorkList_html_ad4c6a48b60c870d63049fe7272cc7eb8"><div class="ttname"><a href="classSVF_1_1FIFOWorkList.html#ad4c6a48b60c870d63049fe7272cc7eb8">SVF::FIFOWorkList::push</a></div><div class="ttdeci">bool push(Data data)</div><div class="ttdef"><b>Definition:</b> <a href="WorkList_8h_source.html#l00159">WorkList.h:159</a></div></div>
-<div class="ttc" id="classSVF_1_1CFLSolver_html_a9fc4cbe8985d4c25845d408ffcac13e4"><div class="ttname"><a href="classSVF_1_1CFLSolver.html#a9fc4cbe8985d4c25845d408ffcac13e4">SVF::CFLSolver::graph</a></div><div class="ttdeci">const GraphType graph() const</div><div class="ttdoc">Get/Set graph methods. </div><div class="ttdef"><b>Definition:</b> <a href="CFLSolver_8h_source.html#l00074">CFLSolver.h:74</a></div></div>
-<div class="ttc" id="classSVF_1_1CFLSolver_html_ac9dc4e29fde45a19d42987360ee5f528"><div class="ttname"><a href="classSVF_1_1CFLSolver.html#ac9dc4e29fde45a19d42987360ee5f528">SVF::CFLSolver::forwardTraverse</a></div><div class="ttdeci">virtual void forwardTraverse(DPIm &amp;it)</div><div class="ttdoc">CFL forward traverse solve. </div><div class="ttdef"><b>Definition:</b> <a href="CFLSolver_8h_source.html#l00093">CFLSolver.h:93</a></div></div>
-<div class="ttc" id="classSVF_1_1CFLSolver_html_a9d3cbcb9db049e3069b6553ab17ccf5b"><div class="ttname"><a href="classSVF_1_1CFLSolver.html#a9d3cbcb9db049e3069b6553ab17ccf5b">SVF::CFLSolver::worklist</a></div><div class="ttdeci">WorkList worklist</div><div class="ttdoc">Worklist for resolution. </div><div class="ttdef"><b>Definition:</b> <a href="CFLSolver_8h_source.html#l00180">CFLSolver.h:180</a></div></div>
+<div class="ttc" id="classSVF_1_1CFLSolver_html_aad88cf557ec43127de859b765505df49"><div class="ttname"><a href="classSVF_1_1CFLSolver.html#aad88cf557ec43127de859b765505df49">SVF::CFLSolver::grammar</a></div><div class="ttdeci">CFLGrammar * grammar</div><div class="ttdef"><b>Definition:</b> <a href="CFLSolver_8h_source.html#l00089">CFLSolver.h:89</a></div></div>
+<div class="ttc" id="CFLGrammar_8h_html"><div class="ttname"><a href="CFLGrammar_8h.html">CFLGrammar.h</a></div></div>
+<div class="ttc" id="classSVF_1_1CFLSolver_html_a95573e91816f426ff7b45afb7b7c821e"><div class="ttname"><a href="classSVF_1_1CFLSolver.html#a95573e91816f426ff7b45afb7b7c821e">SVF::CFLSolver::popFromWorklist</a></div><div class="ttdeci">const CFLEdge * popFromWorklist()</div><div class="ttdoc">Worklist operations. </div><div class="ttdef"><b>Definition:</b> <a href="CFLSolver_8h_source.html#l00069">CFLSolver.h:69</a></div></div>
+<div class="ttc" id="classSVF_1_1GrammarBase_html_af384c960a5edc576cbfb60a869e346ec"><div class="ttname"><a href="classSVF_1_1GrammarBase.html#af384c960a5edc576cbfb60a869e346ec">SVF::GrammarBase::Production</a></div><div class="ttdeci">std::vector&lt; Symbol &gt; Production</div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8h_source.html#l00038">CFLGrammar.h:38</a></div></div>
 <div class="ttc" id="classSVF_1_1FIFOWorkList_html_a86f2393b1cce7969d6974b53970ead54"><div class="ttname"><a href="classSVF_1_1FIFOWorkList.html#a86f2393b1cce7969d6974b53970ead54">SVF::FIFOWorkList::find</a></div><div class="ttdeci">bool find(Data data) const</div><div class="ttdef"><b>Definition:</b> <a href="WorkList_8h_source.html#l00151">WorkList.h:151</a></div></div>
-<div class="ttc" id="classSVF_1_1FIFOWorkList_html"><div class="ttname"><a href="classSVF_1_1FIFOWorkList.html">SVF::FIFOWorkList&lt; DPIm &gt;</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="ContextDDA_8h_source.html#l00016">ContextDDA.h:16</a></div></div>
-<div class="ttc" id="classSVF_1_1CFLSolver_html_ac37d5e6e81edcc0a6c53e02d7d343f5b"><div class="ttname"><a href="classSVF_1_1CFLSolver.html#ac37d5e6e81edcc0a6c53e02d7d343f5b">SVF::CFLSolver::~CFLSolver</a></div><div class="ttdeci">virtual ~CFLSolver()</div><div class="ttdoc">Destructor. </div><div class="ttdef"><b>Definition:</b> <a href="CFLSolver_8h_source.html#l00069">CFLSolver.h:69</a></div></div>
-<div class="ttc" id="classSVF_1_1CFLSolver_html_aaddd6c593ad39c117bd35ede711b9f36"><div class="ttname"><a href="classSVF_1_1CFLSolver.html#aaddd6c593ad39c117bd35ede711b9f36">SVF::CFLSolver::GEDGE</a></div><div class="ttdeci">GTraits::EdgeType GEDGE</div><div class="ttdef"><b>Definition:</b> <a href="CFLSolver_8h_source.html#l00051">CFLSolver.h:51</a></div></div>
-<div class="ttc" id="classSVF_1_1CFLSolver_html_ab339e69dd2f2aa2f98fb549e979838af"><div class="ttname"><a href="classSVF_1_1CFLSolver.html#ab339e69dd2f2aa2f98fb549e979838af">SVF::CFLSolver::CFLSolver</a></div><div class="ttdeci">CFLSolver()</div><div class="ttdoc">Constructor. </div><div class="ttdef"><b>Definition:</b> <a href="CFLSolver_8h_source.html#l00065">CFLSolver.h:65</a></div></div>
+<div class="ttc" id="classSVF_1_1FIFOWorkList_html"><div class="ttname"><a href="classSVF_1_1FIFOWorkList.html">SVF::FIFOWorkList&lt; const CFLEdge * &gt;</a></div></div>
+<div class="ttc" id="CFLGraph_8h_html"><div class="ttname"><a href="CFLGraph_8h.html">CFLGraph.h</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_1CFLSolver_html_ac1fe4563081c29f8a715bd67d454c8bb"><div class="ttname"><a href="classSVF_1_1CFLSolver.html#ac1fe4563081c29f8a715bd67d454c8bb">SVF::CFLSolver::isWorklistEmpty</a></div><div class="ttdeci">bool isWorklistEmpty()</div><div class="ttdef"><b>Definition:</b> <a href="CFLSolver_8h_source.html#l00077">CFLSolver.h:77</a></div></div>
 <div class="ttc" id="WorkList_8h_html"><div class="ttname"><a href="WorkList_8h.html">WorkList.h</a></div></div>
-<div class="ttc" id="classSVF_1_1CFLSolver_html_a802e04eafce9adfd60506c44951c3d53"><div class="ttname"><a href="classSVF_1_1CFLSolver.html#a802e04eafce9adfd60506c44951c3d53">SVF::CFLSolver::WorkList</a></div><div class="ttdeci">FIFOWorkList&lt; DPIm &gt; WorkList</div><div class="ttdoc">Define worklist. </div><div class="ttdef"><b>Definition:</b> <a href="CFLSolver_8h_source.html#l00060">CFLSolver.h:60</a></div></div>
-<div class="ttc" id="DPItem_8h_html"><div class="ttname"><a href="DPItem_8h.html">DPItem.h</a></div></div>
-<div class="ttc" id="classSVF_1_1CFLSolver_html_afdead1450dbc71d4430ab660733ff85c"><div class="ttname"><a href="classSVF_1_1CFLSolver.html#afdead1450dbc71d4430ab660733ff85c">SVF::CFLSolver::GTraits</a></div><div class="ttdeci">llvm::GraphTraits&lt; GraphType &gt; GTraits</div><div class="ttdoc">Define the GTraits and node iterator. </div><div class="ttdef"><b>Definition:</b> <a href="CFLSolver_8h_source.html#l00049">CFLSolver.h:49</a></div></div>
-<div class="ttc" id="classSVF_1_1CFLSolver_html_a88f770b4762d44e50d72cd50bb504078"><div class="ttname"><a href="classSVF_1_1CFLSolver.html#a88f770b4762d44e50d72cd50bb504078">SVF::CFLSolver::popFromWorklist</a></div><div class="ttdeci">DPIm popFromWorklist()</div><div class="ttdoc">Worklist operations. </div><div class="ttdef"><b>Definition:</b> <a href="CFLSolver_8h_source.html#l00156">CFLSolver.h:156</a></div></div>
-<div class="ttc" id="classSVF_1_1CFLSolver_html_adf0b96a758a29d5c3c46fcc48081b62c"><div class="ttname"><a href="classSVF_1_1CFLSolver.html#adf0b96a758a29d5c3c46fcc48081b62c">SVF::CFLSolver::child_iterator</a></div><div class="ttdeci">GTraits::ChildIteratorType child_iterator</div><div class="ttdef"><b>Definition:</b> <a href="CFLSolver_8h_source.html#l00053">CFLSolver.h:53</a></div></div>
+<div class="ttc" id="classSVF_1_1CFLSolver_html_a2ee3436c26ebdb2aaf790c25b1d8b5a6"><div class="ttname"><a href="classSVF_1_1CFLSolver.html#a2ee3436c26ebdb2aaf790c25b1d8b5a6">SVF::CFLSolver::solve</a></div><div class="ttdeci">void solve()</div><div class="ttdoc">Start solving. </div><div class="ttdef"><b>Definition:</b> <a href="CFLSolver_8cpp_source.html#l00034">CFLSolver.cpp:34</a></div></div>
+<div class="ttc" id="classSVF_1_1CFLSolver_html_a194d2c4c801799b0ba9562e33ca5b695"><div class="ttname"><a href="classSVF_1_1CFLSolver.html#a194d2c4c801799b0ba9562e33ca5b695">SVF::CFLSolver::WorkList</a></div><div class="ttdeci">FIFOWorkList&lt; const CFLEdge * &gt; WorkList</div><div class="ttdoc">Define worklist. </div><div class="ttdef"><b>Definition:</b> <a href="CFLSolver_8h_source.html#l00041">CFLSolver.h:41</a></div></div>
+<div class="ttc" id="classSVF_1_1CFLEdge_html"><div class="ttname"><a href="classSVF_1_1CFLEdge.html">SVF::CFLEdge</a></div><div class="ttdef"><b>Definition:</b> <a href="CFLGraph_8h_source.html#l00046">CFLGraph.h:46</a></div></div>
+<div class="ttc" id="classSVF_1_1CFLSolver_html_a0ade6e3827c629c3cc3d22a101df7288"><div class="ttname"><a href="classSVF_1_1CFLSolver.html#a0ade6e3827c629c3cc3d22a101df7288">SVF::CFLSolver::Production</a></div><div class="ttdeci">CFLGrammar::Production Production</div><div class="ttdef"><b>Definition:</b> <a href="CFLSolver_8h_source.html#l00042">CFLSolver.h:42</a></div></div>
 <div class="ttc" id="classSVF_1_1FIFOWorkList_html_a8fa72918fce7e9c0b2dc34b683a797c6"><div class="ttname"><a href="classSVF_1_1FIFOWorkList.html#a8fa72918fce7e9c0b2dc34b683a797c6">SVF::FIFOWorkList::pop</a></div><div class="ttdeci">Data pop()</div><div class="ttdef"><b>Definition:</b> <a href="WorkList_8h_source.html#l00174">WorkList.h:174</a></div></div>
+<div class="ttc" id="classSVF_1_1CFLSolver_html_a0e112c2290b3ba4e61da6b1fe9ac506d"><div class="ttname"><a href="classSVF_1_1CFLSolver.html#a0e112c2290b3ba4e61da6b1fe9ac506d">SVF::CFLSolver::isInWorklist</a></div><div class="ttdeci">bool isInWorklist(const CFLEdge *item)</div><div class="ttdef"><b>Definition:</b> <a href="CFLSolver_8h_source.html#l00081">CFLSolver.h:81</a></div></div>
 </div><!-- fragment --></div><!-- contents -->
 <!-- start footer part -->
 <hr class="footer"/><address class="footer"><small>

package/SVF-doxygen/html/html/CHGBuilder_8cpp_source.html

@@ -144,7 +144,7 @@ $(function() {
 <div class="ttc" id="classSVF_1_1SVFFunction_html_ac4ae917ae35ac6fca652fe2dd90a8ac2"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#ac4ae917ae35ac6fca652fe2dd90a8ac2">SVF::SVFFunction::getLLVMFun</a></div><div class="ttdeci">Function * getLLVMFun() const</div><div class="ttdef"><b>Definition:</b> <a href="Util_2BasicTypes_8h_source.html#l00195">BasicTypes.h:195</a></div></div>
 <div class="ttc" id="namespaceSVF_1_1SVFUtil_html_a202de7ad2bea0311e2f75894c030e7a9"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#a202de7ad2bea0311e2f75894c030e7a9">SVF::SVFUtil::getLLVMCallSite</a></div><div class="ttdeci">CallSite getLLVMCallSite(const Instruction *inst)</div><div class="ttdoc">Return LLVM callsite given a instruction. </div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8h_source.html#l00214">SVFUtil.h:214</a></div></div>
 <div class="ttc" id="namespaceSVF_1_1cppUtil_html_a1007c092efaeae41002efd91b803a7f6"><div class="ttname"><a href="namespaceSVF_1_1cppUtil.html#a1007c092efaeae41002efd91b803a7f6">SVF::cppUtil::demangle</a></div><div class="ttdeci">struct DemangledName demangle(const std::string &amp;name)</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="ContextDDA_8h_source.html#l00016">ContextDDA.h:16</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="CHGBuilder_8cpp_html_a4ecb39b2fb5510fb20341373b7ad5450"><div class="ttname"><a href="CHGBuilder_8cpp.html#a4ecb39b2fb5510fb20341373b7ad5450">ztiLabel</a></div><div class="ttdeci">const string ztiLabel</div><div class="ttdef"><b>Definition:</b> <a href="CHGBuilder_8cpp_source.html#l00054">CHGBuilder.cpp:54</a></div></div>
 <div class="ttc" id="classSVF_1_1CallSite_html"><div class="ttname"><a href="classSVF_1_1CallSite.html">SVF::CallSite</a></div><div class="ttdef"><b>Definition:</b> <a href="Util_2BasicTypes_8h_source.html#l00254">BasicTypes.h:254</a></div></div>
 <div class="ttc" id="classSVF_1_1CHGBuilder_html_abab6d95945a43fbe4c73ac12550f5d8c"><div class="ttname"><a href="classSVF_1_1CHGBuilder.html#abab6d95945a43fbe4c73ac12550f5d8c">SVF::CHGBuilder::buildCSToCHAVtblsAndVfnsMap</a></div><div class="ttdeci">void buildCSToCHAVtblsAndVfnsMap()</div><div class="ttdef"><b>Definition:</b> <a href="CHGBuilder_8cpp_source.html#l00640">CHGBuilder.cpp:640</a></div></div>

package/SVF-doxygen/html/html/CHGBuilder_8h_source.html

@@ -89,7 +89,7 @@ $(function() {
 <div class="ttc" id="classSVF_1_1CHGBuilder_html_a7420a3a4858ebe861aaa47d76f49ab1f"><div class="ttname"><a href="classSVF_1_1CHGBuilder.html#a7420a3a4858ebe861aaa47d76f49ab1f">SVF::CHGBuilder::buildCHGEdges</a></div><div class="ttdeci">void buildCHGEdges(const SVFFunction *F)</div><div class="ttdef"><b>Definition:</b> <a href="CHGBuilder_8cpp_source.html#l00132">CHGBuilder.cpp:132</a></div></div>
 <div class="ttc" id="classSVF_1_1FIFOWorkList_html"><div class="ttname"><a href="classSVF_1_1FIFOWorkList.html">SVF::FIFOWorkList</a></div><div class="ttdef"><b>Definition:</b> <a href="WorkList_8h_source.html#l00137">WorkList.h:137</a></div></div>
 <div class="ttc" id="classSVF_1_1CHGBuilder_html_a444dba7f18bee07a6cad51f88bb63e30"><div class="ttname"><a href="classSVF_1_1CHGBuilder.html#a444dba7f18bee07a6cad51f88bb63e30">SVF::CHGBuilder::getInstancesAndDescendants</a></div><div class="ttdeci">const CHGraph::CHNodeSetTy &amp; getInstancesAndDescendants(const std::string className)</div><div class="ttdef"><b>Definition:</b> <a href="CHGBuilder_8cpp_source.html#l00302">CHGBuilder.cpp:302</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="ContextDDA_8h_source.html#l00016">ContextDDA.h:16</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_1CallSite_html"><div class="ttname"><a href="classSVF_1_1CallSite.html">SVF::CallSite</a></div><div class="ttdef"><b>Definition:</b> <a href="Util_2BasicTypes_8h_source.html#l00254">BasicTypes.h:254</a></div></div>
 <div class="ttc" id="classSVF_1_1CHGBuilder_html_abab6d95945a43fbe4c73ac12550f5d8c"><div class="ttname"><a href="classSVF_1_1CHGBuilder.html#abab6d95945a43fbe4c73ac12550f5d8c">SVF::CHGBuilder::buildCSToCHAVtblsAndVfnsMap</a></div><div class="ttdeci">void buildCSToCHAVtblsAndVfnsMap()</div><div class="ttdef"><b>Definition:</b> <a href="CHGBuilder_8cpp_source.html#l00640">CHGBuilder.cpp:640</a></div></div>
 <div class="ttc" id="classSVF_1_1CHGBuilder_html_a436e4f8b1e1cad85f0c7df938afe8c78"><div class="ttname"><a href="classSVF_1_1CHGBuilder.html#a436e4f8b1e1cad85f0c7df938afe8c78">SVF::CHGBuilder::CHGBuilder</a></div><div class="ttdeci">CHGBuilder(CHGraph *c)</div><div class="ttdef"><b>Definition:</b> <a href="CHGBuilder_8h_source.html#l00043">CHGBuilder.h:43</a></div></div>

package/SVF-doxygen/html/html/CHG_8cpp_source.html

@@ -70,7 +70,7 @@ $(function() {
 <div class="ttc" id="CHG_8cpp_html_a4c6cbac96543cd55e4df050a33512ac5"><div class="ttname"><a href="CHG_8cpp.html#a4c6cbac96543cd55e4df050a33512ac5">hasEdge</a></div><div class="ttdeci">static bool hasEdge(const CHNode *src, const CHNode *dst, CHEdge::CHEDGETYPE et)</div><div class="ttdef"><b>Definition:</b> <a href="CHG_8cpp_source.html#l00038">CHG.cpp:38</a></div></div>
 <div class="ttc" id="CHG_8h_html"><div class="ttname"><a href="CHG_8h.html">CHG.h</a></div></div>
 <div class="ttc" id="classSVF_1_1CHEdge_html_ae2b90913c6c5a30df2b285d31c694525"><div class="ttname"><a href="classSVF_1_1CHEdge.html#ae2b90913c6c5a30df2b285d31c694525">SVF::CHEdge::getEdgeType</a></div><div class="ttdeci">CHEDGETYPE getEdgeType() const</div><div class="ttdef"><b>Definition:</b> <a href="CHG_8h_source.html#l00094">CHG.h:94</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="CHG_8h_source.html#l00328">CHG.h:328</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#l00152">CFLGraph.h:152</a></div></div>
 <div class="ttc" id="CPPUtil_8h_html"><div class="ttname"><a href="CPPUtil_8h.html">CPPUtil.h</a></div></div>
 <div class="ttc" id="classSVF_1_1CHNode_html"><div class="ttname"><a href="classSVF_1_1CHNode.html">SVF::CHNode</a></div><div class="ttdef"><b>Definition:</b> <a href="CHG_8h_source.html#l00104">CHG.h:104</a></div></div>
 <div class="ttc" id="classSVF_1_1GenericNode_html_aa4f103330118c8976bf95e4bf53416eb"><div class="ttname"><a href="classSVF_1_1GenericNode.html#aa4f103330118c8976bf95e4bf53416eb">SVF::GenericNode::OutEdgeBegin</a></div><div class="ttdeci">iterator OutEdgeBegin()</div><div class="ttdoc">iterators </div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00202">GenericGraph.h:202</a></div></div>
@@ -114,7 +114,7 @@ $(function() {
 <div class="ttc" id="classSVF_1_1SVFFunction_html_ac4ae917ae35ac6fca652fe2dd90a8ac2"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#ac4ae917ae35ac6fca652fe2dd90a8ac2">SVF::SVFFunction::getLLVMFun</a></div><div class="ttdeci">Function * getLLVMFun() const</div><div class="ttdef"><b>Definition:</b> <a href="Util_2BasicTypes_8h_source.html#l00195">BasicTypes.h:195</a></div></div>
 <div class="ttc" id="namespaceSVF_1_1cppUtil_html_a1007c092efaeae41002efd91b803a7f6"><div class="ttname"><a href="namespaceSVF_1_1cppUtil.html#a1007c092efaeae41002efd91b803a7f6">SVF::cppUtil::demangle</a></div><div class="ttdeci">struct DemangledName demangle(const std::string &amp;name)</div></div>
 <div class="ttc" id="CHG_8cpp_html_a35a17be62be820e4de41ba53a7f7a905"><div class="ttname"><a href="CHG_8cpp.html#a35a17be62be820e4de41ba53a7f7a905">checkArgTypes</a></div><div class="ttdeci">static bool checkArgTypes(CallSite cs, const Function *fn)</div><div class="ttdef"><b>Definition:</b> <a href="CHG_8cpp_source.html#l00052">CHG.cpp:52</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="ContextDDA_8h_source.html#l00016">ContextDDA.h:16</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_1CallSite_html"><div class="ttname"><a href="classSVF_1_1CallSite.html">SVF::CallSite</a></div><div class="ttdef"><b>Definition:</b> <a href="Util_2BasicTypes_8h_source.html#l00254">BasicTypes.h:254</a></div></div>
 <div class="ttc" id="namespaceSVF_1_1cppUtil_html_a0a67c31dcc44784b09dca54b4b7c624a"><div class="ttname"><a href="namespaceSVF_1_1cppUtil.html#a0a67c31dcc44784b09dca54b4b7c624a">SVF::cppUtil::getFunNameOfVCallSite</a></div><div class="ttdeci">std::string getFunNameOfVCallSite(CallSite cs)</div><div class="ttdef"><b>Definition:</b> <a href="CPPUtil_8cpp_source.html#l00544">CPPUtil.cpp:544</a></div></div>
 <div class="ttc" id="classSVF_1_1SVFFunction_html_a3c1fa59deae39c75c72c97e47326d982"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#a3c1fa59deae39c75c72c97e47326d982">SVF::SVFFunction::isVarArg</a></div><div class="ttdeci">bool isVarArg() const</div><div class="ttdef"><b>Definition:</b> <a href="Util_2BasicTypes_8h_source.html#l00221">BasicTypes.h:221</a></div></div>