svf-tools 1.0.595 → 1.0.597

package/SVF-doxygen/html/html/ICFGEdge_8h_source.html

@@ -67,8 +67,8 @@ $(function() {
 </div><!--header-->
 <div class="contents">
 <a href="ICFGEdge_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">//===- ICFGEdge.h -- ICFG edge------------------------------------------------//</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-2018&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"> * ICFGEdge.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: Sep 11, 2018</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 ICFGEdge_H_</span></div><div class="line"><a name="l00031"></a><span class="lineno">   31</span>&#160;<span class="preprocessor">#define ICFGEdge_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="keyword">namespace </span><a class="code" href="namespaceSVF.html">SVF</a></div><div class="line"><a name="l00034"></a><span class="lineno">   34</span>&#160;{</div><div class="line"><a name="l00035"></a><span class="lineno">   35</span>&#160;</div><div class="line"><a name="l00036"></a><span class="lineno">   36</span>&#160;<span class="keyword">class </span>ICFGNode;</div><div class="line"><a name="l00037"></a><span class="lineno">   37</span>&#160;<span class="keyword">class </span>CallPE;</div><div class="line"><a name="l00038"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a91e714a719b1e62e9b63103e9e6af404">   38</a></span>&#160;<span class="keyword">class </span><a class="code" href="classSVF_1_1RetPE.html">RetPE</a>;</div><div class="line"><a name="l00039"></a><span class="lineno">   39</span>&#160;</div><div class="line"><a name="l00043"></a><span class="lineno">   43</span>&#160;<span class="keyword">typedef</span> <a class="code" href="classSVF_1_1GenericEdge.html">GenericEdge&lt;ICFGNode&gt;</a> <a class="code" href="namespaceSVF.html#a91e714a719b1e62e9b63103e9e6af404">GenericICFGEdgeTy</a>;</div><div class="line"><a name="l00044"></a><span class="lineno"><a class="line" href="classSVF_1_1ICFGEdge.html">   44</a></span>&#160;<span class="keyword">class </span><a class="code" href="classSVF_1_1ICFGEdge.html">ICFGEdge</a> : <span class="keyword">public</span> GenericICFGEdgeTy</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="l00051"></a><span class="lineno"><a class="line" href="classSVF_1_1ICFGEdge.html#a395c34788e98950bc43e8cb44313e429">   51</a></span>&#160;    <span class="keyword">enum</span> <a class="code" href="classSVF_1_1ICFGEdge.html#a395c34788e98950bc43e8cb44313e429">ICFGEdgeK</a></div><div class="line"><a name="l00052"></a><span class="lineno">   52</span>&#160;    {</div><div class="line"><a name="l00053"></a><span class="lineno"><a class="line" href="classSVF_1_1ICFGEdge.html#a395c34788e98950bc43e8cb44313e429acb8fba7c61b08ec952f1b65643d7a84b">   53</a></span>&#160;        <a class="code" href="classSVF_1_1ICFGEdge.html#a395c34788e98950bc43e8cb44313e429acb8fba7c61b08ec952f1b65643d7a84b">IntraCF</a>,</div><div class="line"><a name="l00054"></a><span class="lineno"><a class="line" href="classSVF_1_1ICFGEdge.html#a395c34788e98950bc43e8cb44313e429a3486c9d9a182f2ba5d986fe74439ec2e">   54</a></span>&#160;        <a class="code" href="classSVF_1_1ICFGEdge.html#a395c34788e98950bc43e8cb44313e429a3486c9d9a182f2ba5d986fe74439ec2e">CallCF</a>,</div><div class="line"><a name="l00055"></a><span class="lineno"><a class="line" href="classSVF_1_1ICFGEdge.html#a395c34788e98950bc43e8cb44313e429ad2370a77f6cc112b8c26efbcc36bf541">   55</a></span>&#160;        <a class="code" href="classSVF_1_1ICFGEdge.html#a395c34788e98950bc43e8cb44313e429ad2370a77f6cc112b8c26efbcc36bf541">RetCF</a>,</div><div class="line"><a name="l00056"></a><span class="lineno">   56</span>&#160;    };</div><div class="line"><a name="l00057"></a><span class="lineno">   57</span>&#160;</div><div class="line"><a name="l00058"></a><span class="lineno"><a class="line" href="classSVF_1_1ICFGEdge.html#a068573fdbd9b99af18f3deeb9b16a38b">   58</a></span>&#160;    <span class="keyword">typedef</span> <a class="code" href="classSVF_1_1ICFGEdge.html#a395c34788e98950bc43e8cb44313e429">ICFGEdgeK</a> <a class="code" href="classSVF_1_1ICFGEdge.html#a068573fdbd9b99af18f3deeb9b16a38b">SVFGEdgeK</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;<span class="keyword">public</span>:</div><div class="line"><a name="l00062"></a><span class="lineno"><a class="line" href="classSVF_1_1ICFGEdge.html#a9b8f369727bd03106bafacd4eee3dd04">   62</a></span>&#160;    <a class="code" href="classSVF_1_1ICFGEdge.html#a9b8f369727bd03106bafacd4eee3dd04">ICFGEdge</a>(<a class="code" href="classSVF_1_1ICFGNode.html">ICFGNode</a>* s, <a class="code" href="classSVF_1_1ICFGNode.html">ICFGNode</a>* d, <a class="code" href="classSVF_1_1GenericEdge.html#aab8892b73370c32b48621cd1d0cce614">GEdgeFlag</a> k) : GenericICFGEdgeTy(s,d,k)</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;    }</div><div class="line"><a name="l00066"></a><span class="lineno"><a class="line" href="classSVF_1_1ICFGEdge.html#a6dea0df51f68b621fcabef6a3ce9e778">   66</a></span>&#160;    <a class="code" href="classSVF_1_1ICFGEdge.html#a6dea0df51f68b621fcabef6a3ce9e778">~ICFGEdge</a>()</div><div class="line"><a name="l00067"></a><span class="lineno">   67</span>&#160;    {</div><div class="line"><a name="l00068"></a><span class="lineno">   68</span>&#160;    }</div><div class="line"><a name="l00069"></a><span class="lineno">   69</span>&#160;</div><div class="line"><a name="l00071"></a><span class="lineno">   71</span>&#160;</div><div class="line"><a name="l00072"></a><span class="lineno"><a class="line" href="classSVF_1_1ICFGEdge.html#a3d3813be0b873335b17bb590e130d173">   72</a></span>&#160;    <span class="keyword">inline</span> <span class="keywordtype">bool</span> <a class="code" href="classSVF_1_1ICFGEdge.html#a3d3813be0b873335b17bb590e130d173">isCFGEdge</a>()<span class="keyword"> const</span></div><div class="line"><a name="l00073"></a><span class="lineno">   73</span>&#160;<span class="keyword">    </span>{</div><div class="line"><a name="l00074"></a><span class="lineno">   74</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1GenericEdge.html#abe8525c542def8162b094c169a01993b">getEdgeKind</a>() == <a class="code" href="classSVF_1_1ICFGEdge.html#a395c34788e98950bc43e8cb44313e429acb8fba7c61b08ec952f1b65643d7a84b">IntraCF</a> || <a class="code" href="classSVF_1_1GenericEdge.html#abe8525c542def8162b094c169a01993b">getEdgeKind</a>() == <a class="code" href="classSVF_1_1ICFGEdge.html#a395c34788e98950bc43e8cb44313e429a3486c9d9a182f2ba5d986fe74439ec2e">CallCF</a> || <a class="code" href="classSVF_1_1GenericEdge.html#abe8525c542def8162b094c169a01993b">getEdgeKind</a>() == <a class="code" href="classSVF_1_1ICFGEdge.html#a395c34788e98950bc43e8cb44313e429ad2370a77f6cc112b8c26efbcc36bf541">RetCF</a>;</div><div class="line"><a name="l00075"></a><span class="lineno">   75</span>&#160;    }</div><div class="line"><a name="l00076"></a><span class="lineno"><a class="line" href="classSVF_1_1ICFGEdge.html#a2ecc0bc3bb3655bf3db3adb732747b49">   76</a></span>&#160;    <span class="keyword">inline</span> <span class="keywordtype">bool</span> <a class="code" href="classSVF_1_1ICFGEdge.html#a2ecc0bc3bb3655bf3db3adb732747b49">isCallCFGEdge</a>()<span class="keyword"> const</span></div><div class="line"><a name="l00077"></a><span class="lineno">   77</span>&#160;<span class="keyword">    </span>{</div><div class="line"><a name="l00078"></a><span class="lineno">   78</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1GenericEdge.html#abe8525c542def8162b094c169a01993b">getEdgeKind</a>() == <a class="code" href="classSVF_1_1ICFGEdge.html#a395c34788e98950bc43e8cb44313e429a3486c9d9a182f2ba5d986fe74439ec2e">CallCF</a>;</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"><a class="line" href="classSVF_1_1ICFGEdge.html#ae3e7a6596de9fd3a25a28242a06ddd80">   80</a></span>&#160;    <span class="keyword">inline</span> <span class="keywordtype">bool</span> <a class="code" href="classSVF_1_1ICFGEdge.html#ae3e7a6596de9fd3a25a28242a06ddd80">isRetCFGEdge</a>()<span class="keyword"> const</span></div><div class="line"><a name="l00081"></a><span class="lineno">   81</span>&#160;<span class="keyword">    </span>{</div><div class="line"><a name="l00082"></a><span class="lineno">   82</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1GenericEdge.html#abe8525c542def8162b094c169a01993b">getEdgeKind</a>() == <a class="code" href="classSVF_1_1ICFGEdge.html#a395c34788e98950bc43e8cb44313e429ad2370a77f6cc112b8c26efbcc36bf541">RetCF</a>;</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_1ICFGEdge.html#a4e6d228dfc678618a423e8293877f04c">   84</a></span>&#160;    <span class="keyword">inline</span> <span class="keywordtype">bool</span> <a class="code" href="classSVF_1_1ICFGEdge.html#a4e6d228dfc678618a423e8293877f04c">isIntraCFGEdge</a>()<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_1GenericEdge.html#abe8525c542def8162b094c169a01993b">getEdgeKind</a>() == <a class="code" href="classSVF_1_1ICFGEdge.html#a395c34788e98950bc43e8cb44313e429acb8fba7c61b08ec952f1b65643d7a84b">IntraCF</a>;</div><div class="line"><a name="l00087"></a><span class="lineno">   87</span>&#160;    }</div><div class="line"><a name="l00089"></a><span class="lineno"><a class="line" href="classSVF_1_1ICFGEdge.html#a3da5a0bad1b4c08803f1f06393649f96">   89</a></span>&#160;    <span class="keyword">typedef</span> <a class="code" href="classSVF_1_1GenericNode.html#a03c6da4a73c47f84f5c5b47252bc339a">GenericNode&lt;ICFGNode,ICFGEdge&gt;::GEdgeSetTy</a> <a class="code" href="classSVF_1_1ICFGEdge.html#a3da5a0bad1b4c08803f1f06393649f96">ICFGEdgeSetTy</a>;</div><div class="line"><a name="l00090"></a><span class="lineno"><a class="line" href="classSVF_1_1ICFGEdge.html#ad14443828b9030ee7b438fa3cdf17e56">   90</a></span>&#160;    <span class="keyword">typedef</span> ICFGEdgeSetTy <a class="code" href="classSVF_1_1ICFGEdge.html#ad14443828b9030ee7b438fa3cdf17e56">SVFGEdgeSetTy</a>;</div><div class="line"><a name="l00092"></a><span class="lineno"><a class="line" href="classSVF_1_1ICFGEdge.html#a00b2650d7afd8b98c108d6a168299993">   92</a></span>&#160;    <span class="keyword">static</span> <span class="keyword">inline</span> <a class="code" href="classSVF_1_1GenericEdge.html#aab8892b73370c32b48621cd1d0cce614">GEdgeFlag</a> <a class="code" href="classSVF_1_1ICFGEdge.html#a00b2650d7afd8b98c108d6a168299993">makeEdgeFlagWithInvokeID</a>(<a class="code" href="classSVF_1_1GenericEdge.html#a5aceeb48929f54264807b36569019a8a">GEdgeKind</a> k, <a class="code" href="namespaceSVF.html#a03d88a0302bcd253387690f13f693f64">CallSiteID</a> cs)</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;        <span class="keywordflow">return</span> (cs &lt;&lt; <a class="code" href="classSVF_1_1GenericEdge.html#af1c2fd4b5ef1d7b7605572bf2489c298">EdgeKindMaskBits</a>) | k;</div><div class="line"><a name="l00095"></a><span class="lineno">   95</span>&#160;    }</div><div class="line"><a name="l00096"></a><span class="lineno">   96</span>&#160;</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"><a class="line" href="classSVF_1_1ICFGEdge.html#abc76af809c5fcd738d2a2d1828e30ccb">   99</a></span>&#160;    <span class="keyword">friend</span> <a class="code" href="namespaceSVF.html#a8bd74fdcb0e58d0249003df9c3fb8b31">OutStream</a>&amp; <a class="code" href="classSVF_1_1ICFGEdge.html#abc76af809c5fcd738d2a2d1828e30ccb">operator&lt;&lt; </a>(<a class="code" href="namespaceSVF.html#a8bd74fdcb0e58d0249003df9c3fb8b31">OutStream</a> &amp;o, <span class="keyword">const</span> <a class="code" href="classSVF_1_1ICFGEdge.html">ICFGEdge</a> &amp;edge)</div><div class="line"><a name="l00100"></a><span class="lineno">  100</span>&#160;    {</div><div class="line"><a name="l00101"></a><span class="lineno">  101</span>&#160;        o &lt;&lt; edge.<a class="code" href="classSVF_1_1ICFGEdge.html#a7233609f62f278b738036e8de9bbbfc8">toString</a>();</div><div class="line"><a name="l00102"></a><span class="lineno">  102</span>&#160;        <span class="keywordflow">return</span> o;</div><div class="line"><a name="l00103"></a><span class="lineno">  103</span>&#160;    }</div><div class="line"><a name="l00105"></a><span class="lineno">  105</span>&#160;</div><div class="line"><a name="l00106"></a><span class="lineno">  106</span>&#160;    <span class="keyword">virtual</span> <span class="keyword">const</span> <a class="code" href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">std::string</a> <a class="code" href="classSVF_1_1ICFGEdge.html#a7233609f62f278b738036e8de9bbbfc8">toString</a>() <span class="keyword">const</span>;</div><div class="line"><a name="l00107"></a><span class="lineno">  107</span>&#160;};</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="l00113"></a><span class="lineno"><a class="line" href="classSVF_1_1IntraCFGEdge.html">  113</a></span>&#160;<span class="keyword">class </span><a class="code" href="classSVF_1_1IntraCFGEdge.html">IntraCFGEdge</a> : <span class="keyword">public</span> <a class="code" href="classSVF_1_1ICFGEdge.html">ICFGEdge</a></div><div class="line"><a name="l00114"></a><span class="lineno">  114</span>&#160;{</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="keyword">public</span>:</div><div class="line"><a name="l00118"></a><span class="lineno"><a class="line" href="classSVF_1_1IntraCFGEdge.html#aeab701d63caadf8effabdbd23ac0cd49">  118</a></span>&#160;    <a class="code" href="classSVF_1_1IntraCFGEdge.html#aeab701d63caadf8effabdbd23ac0cd49">IntraCFGEdge</a>(<a class="code" href="classSVF_1_1ICFGNode.html">ICFGNode</a>* s, <a class="code" href="classSVF_1_1ICFGNode.html">ICFGNode</a>* d): <a class="code" href="classSVF_1_1ICFGEdge.html">ICFGEdge</a>(s,d,<a class="code" href="classSVF_1_1ICFGEdge.html#a395c34788e98950bc43e8cb44313e429acb8fba7c61b08ec952f1b65643d7a84b">IntraCF</a>), conditionVar(nullptr), branchCondVal(0)</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">  122</span>&#160;</div><div class="line"><a name="l00123"></a><span class="lineno"><a class="line" href="classSVF_1_1IntraCFGEdge.html#a70bdadf898a10c6db89e9f432529092c">  123</a></span>&#160;    <span class="keyword">static</span> <span class="keyword">inline</span> <span class="keywordtype">bool</span> <a class="code" href="classSVF_1_1IntraCFGEdge.html#a70bdadf898a10c6db89e9f432529092c">classof</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1IntraCFGEdge.html">IntraCFGEdge</a> *)</div><div class="line"><a name="l00124"></a><span class="lineno">  124</span>&#160;    {</div><div class="line"><a name="l00125"></a><span class="lineno">  125</span>&#160;        <span class="keywordflow">return</span> <span class="keyword">true</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"><a class="line" href="classSVF_1_1IntraCFGEdge.html#aea905f535696918ed63cd5ce04b7e0fb">  127</a></span>&#160;    <span class="keyword">static</span> <span class="keyword">inline</span> <span class="keywordtype">bool</span> <a class="code" href="classSVF_1_1IntraCFGEdge.html#aea905f535696918ed63cd5ce04b7e0fb">classof</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1ICFGEdge.html">ICFGEdge</a> *edge)</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;        <span class="keywordflow">return</span> edge-&gt;<a class="code" href="classSVF_1_1GenericEdge.html#abe8525c542def8162b094c169a01993b">getEdgeKind</a>() == <a class="code" href="classSVF_1_1ICFGEdge.html#a395c34788e98950bc43e8cb44313e429acb8fba7c61b08ec952f1b65643d7a84b">IntraCF</a>;</div><div class="line"><a name="l00130"></a><span class="lineno">  130</span>&#160;    }</div><div class="line"><a name="l00131"></a><span class="lineno"><a class="line" href="classSVF_1_1IntraCFGEdge.html#adda4f50f50127f5d7f193300933c209f">  131</a></span>&#160;    <span class="keyword">static</span> <span class="keyword">inline</span> <span class="keywordtype">bool</span> <a class="code" href="classSVF_1_1IntraCFGEdge.html#adda4f50f50127f5d7f193300933c209f">classof</a>(<span class="keyword">const</span> GenericICFGEdgeTy *edge)</div><div class="line"><a name="l00132"></a><span class="lineno">  132</span>&#160;    {</div><div class="line"><a name="l00133"></a><span class="lineno">  133</span>&#160;        <span class="keywordflow">return</span> edge-&gt;<a class="code" href="classSVF_1_1GenericEdge.html#abe8525c542def8162b094c169a01993b">getEdgeKind</a>() == <a class="code" href="classSVF_1_1ICFGEdge.html#a395c34788e98950bc43e8cb44313e429acb8fba7c61b08ec952f1b65643d7a84b">IntraCF</a>;</div><div class="line"><a name="l00134"></a><span class="lineno">  134</span>&#160;    }</div><div class="line"><a name="l00136"></a><span class="lineno">  136</span>&#160;</div><div class="line"><a name="l00137"></a><span class="lineno"><a class="line" href="classSVF_1_1IntraCFGEdge.html#a2657751b285cb6db8084da38b00dcab9">  137</a></span>&#160;    <span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFValue.html">SVFValue</a>* <a class="code" href="classSVF_1_1IntraCFGEdge.html#a2657751b285cb6db8084da38b00dcab9">getCondition</a>()<span class="keyword"> const</span></div><div class="line"><a name="l00138"></a><span class="lineno">  138</span>&#160;<span class="keyword">    </span>{</div><div class="line"><a name="l00139"></a><span class="lineno">  139</span>&#160;        <span class="keywordflow">return</span> conditionVar;</div><div class="line"><a name="l00140"></a><span class="lineno">  140</span>&#160;    }</div><div class="line"><a name="l00141"></a><span class="lineno">  141</span>&#160;</div><div class="line"><a name="l00142"></a><span class="lineno"><a class="line" href="classSVF_1_1IntraCFGEdge.html#a6a4ba7a362bae8bff69ccad07df61119">  142</a></span>&#160;    <a class="code" href="namespaceSVF.html#a9b707002523ece2ac54ca893ee9a2d4e">s32_t</a> <a class="code" href="classSVF_1_1IntraCFGEdge.html#a6a4ba7a362bae8bff69ccad07df61119">getSuccessorCondValue</a>()<span class="keyword"> const</span></div><div class="line"><a name="l00143"></a><span class="lineno">  143</span>&#160;<span class="keyword">    </span>{</div><div class="line"><a name="l00144"></a><span class="lineno">  144</span>&#160;        assert(getCondition() &amp;&amp; <span class="stringliteral">&quot;this is not a conditional branch edge&quot;</span>);</div><div class="line"><a name="l00145"></a><span class="lineno">  145</span>&#160;        <span class="keywordflow">return</span> branchCondVal;</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">  147</span>&#160;</div><div class="line"><a name="l00148"></a><span class="lineno"><a class="line" href="classSVF_1_1IntraCFGEdge.html#a0ceb4d967e1059c9a53d1a230a79571b">  148</a></span>&#160;    <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1IntraCFGEdge.html#a0ceb4d967e1059c9a53d1a230a79571b">setBranchCondition</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFValue.html">SVFValue</a>* c, <a class="code" href="namespaceSVF.html#a9b707002523ece2ac54ca893ee9a2d4e">s32_t</a> bVal)</div><div class="line"><a name="l00149"></a><span class="lineno">  149</span>&#160;    {</div><div class="line"><a name="l00150"></a><span class="lineno">  150</span>&#160;        conditionVar = c;</div><div class="line"><a name="l00151"></a><span class="lineno">  151</span>&#160;        branchCondVal = bVal;</div><div class="line"><a name="l00152"></a><span class="lineno">  152</span>&#160;    }</div><div class="line"><a name="l00153"></a><span class="lineno">  153</span>&#160;</div><div class="line"><a name="l00154"></a><span class="lineno">  154</span>&#160;    <span class="keyword">virtual</span> <span class="keyword">const</span> <a class="code" href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">std::string</a> <a class="code" href="classSVF_1_1ICFGEdge.html#a7233609f62f278b738036e8de9bbbfc8">toString</a>() <span class="keyword">const</span>;</div><div class="line"><a name="l00155"></a><span class="lineno">  155</span>&#160;</div><div class="line"><a name="l00156"></a><span class="lineno">  156</span>&#160;<span class="keyword">private</span>:</div><div class="line"><a name="l00161"></a><span class="lineno"><a class="line" href="classSVF_1_1IntraCFGEdge.html#a4c6975e82794958aecb2013c0941777d">  161</a></span>&#160;    <span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFValue.html">SVFValue</a>* <a class="code" href="classSVF_1_1IntraCFGEdge.html#a4c6975e82794958aecb2013c0941777d">conditionVar</a>;</div><div class="line"><a name="l00162"></a><span class="lineno"><a class="line" href="classSVF_1_1IntraCFGEdge.html#aa1c91aad3dec610100b1f2f4b9826d10">  162</a></span>&#160;    <a class="code" href="namespaceSVF.html#a9b707002523ece2ac54ca893ee9a2d4e">s32_t</a> <a class="code" href="classSVF_1_1IntraCFGEdge.html#aa1c91aad3dec610100b1f2f4b9826d10">branchCondVal</a>;</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">  164</span>&#160;</div><div class="line"><a name="l00168"></a><span class="lineno"><a class="line" href="classSVF_1_1CallCFGEdge.html">  168</a></span>&#160;<span class="keyword">class </span><a class="code" href="classSVF_1_1CallCFGEdge.html">CallCFGEdge</a> : <span class="keyword">public</span> <a class="code" href="classSVF_1_1ICFGEdge.html">ICFGEdge</a></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;</div><div class="line"><a name="l00171"></a><span class="lineno">  171</span>&#160;<span class="keyword">private</span>:</div><div class="line"><a name="l00172"></a><span class="lineno"><a class="line" href="classSVF_1_1CallCFGEdge.html#a3f576a9648945907859dd5922f55bcb3">  172</a></span>&#160;    <span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFInstruction.html">SVFInstruction</a>*  <a class="code" href="classSVF_1_1CallCFGEdge.html#a3f576a9648945907859dd5922f55bcb3">cs</a>;</div><div class="line"><a name="l00173"></a><span class="lineno"><a class="line" href="classSVF_1_1CallCFGEdge.html#a3f48f7f041c5e6d385757035c551d51c">  173</a></span>&#160;    std::vector&lt;const CallPE*&gt; <a class="code" href="classSVF_1_1CallCFGEdge.html#a3f48f7f041c5e6d385757035c551d51c">callPEs</a>;</div><div class="line"><a name="l00174"></a><span class="lineno">  174</span>&#160;<span class="keyword">public</span>:</div><div class="line"><a name="l00176"></a><span class="lineno"><a class="line" href="classSVF_1_1CallCFGEdge.html#aa6eb16dadce895fbd13d09645b60245a">  176</a></span>&#160;    <a class="code" href="classSVF_1_1CallCFGEdge.html#aa6eb16dadce895fbd13d09645b60245a">CallCFGEdge</a>(<a class="code" href="classSVF_1_1ICFGNode.html">ICFGNode</a>* s, <a class="code" href="classSVF_1_1ICFGNode.html">ICFGNode</a>* d, <span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFInstruction.html">SVFInstruction</a>*  c):</div><div class="line"><a name="l00177"></a><span class="lineno">  177</span>&#160;        <a class="code" href="classSVF_1_1ICFGEdge.html">ICFGEdge</a>(s,d,<a class="code" href="classSVF_1_1ICFGEdge.html#a395c34788e98950bc43e8cb44313e429a3486c9d9a182f2ba5d986fe74439ec2e">CallCF</a>),cs(c)</div><div class="line"><a name="l00178"></a><span class="lineno">  178</span>&#160;    {</div><div class="line"><a name="l00179"></a><span class="lineno">  179</span>&#160;    }</div><div class="line"><a name="l00181"></a><span class="lineno"><a class="line" href="classSVF_1_1CallCFGEdge.html#a4eef1ba1d5d7bcd906f8e5c50afc951a">  181</a></span>&#160;    <span class="keyword">inline</span> <span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFInstruction.html">SVFInstruction</a>*  <a class="code" href="classSVF_1_1CallCFGEdge.html#a4eef1ba1d5d7bcd906f8e5c50afc951a">getCallSite</a>()<span class="keyword"> const</span></div><div class="line"><a name="l00182"></a><span class="lineno">  182</span>&#160;<span class="keyword">    </span>{</div><div class="line"><a name="l00183"></a><span class="lineno">  183</span>&#160;        <span class="keywordflow">return</span> cs;</div><div class="line"><a name="l00184"></a><span class="lineno">  184</span>&#160;    }</div><div class="line"><a name="l00186"></a><span class="lineno"><a class="line" href="classSVF_1_1CallCFGEdge.html#a7069cf7d8b53dc0bd2c0272912bc02fb">  186</a></span>&#160;    <span class="keyword">inline</span> <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1CallCFGEdge.html#a7069cf7d8b53dc0bd2c0272912bc02fb">addCallPE</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1CallPE.html">CallPE</a>* callPE)</div><div class="line"><a name="l00187"></a><span class="lineno">  187</span>&#160;    {</div><div class="line"><a name="l00188"></a><span class="lineno">  188</span>&#160;        callPEs.push_back(callPE);</div><div class="line"><a name="l00189"></a><span class="lineno">  189</span>&#160;    }</div><div class="line"><a name="l00191"></a><span class="lineno"><a class="line" href="classSVF_1_1CallCFGEdge.html#ad0891e5b6839b443691a68b11fce978b">  191</a></span>&#160;    <span class="keyword">inline</span> <span class="keyword">const</span> std::vector&lt;const CallPE*&gt;&amp; <a class="code" href="classSVF_1_1CallCFGEdge.html#ad0891e5b6839b443691a68b11fce978b">getCallPEs</a>()<span class="keyword"> const</span></div><div class="line"><a name="l00192"></a><span class="lineno">  192</span>&#160;<span class="keyword">    </span>{</div><div class="line"><a name="l00193"></a><span class="lineno">  193</span>&#160;        <span class="keywordflow">return</span> callPEs;</div><div class="line"><a name="l00194"></a><span class="lineno">  194</span>&#160;    }</div><div class="line"><a name="l00196"></a><span class="lineno">  196</span>&#160;</div><div class="line"><a name="l00197"></a><span class="lineno"><a class="line" href="classSVF_1_1CallCFGEdge.html#a38b56212fb58934ee50079b1e69ad5ff">  197</a></span>&#160;    <span class="keyword">static</span> <span class="keyword">inline</span> <span class="keywordtype">bool</span> <a class="code" href="classSVF_1_1CallCFGEdge.html#a38b56212fb58934ee50079b1e69ad5ff">classof</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1CallCFGEdge.html">CallCFGEdge</a> *)</div><div class="line"><a name="l00198"></a><span class="lineno">  198</span>&#160;    {</div><div class="line"><a name="l00199"></a><span class="lineno">  199</span>&#160;        <span class="keywordflow">return</span> <span class="keyword">true</span>;</div><div class="line"><a name="l00200"></a><span class="lineno">  200</span>&#160;    }</div><div class="line"><a name="l00201"></a><span class="lineno"><a class="line" href="classSVF_1_1CallCFGEdge.html#a2d06b1b7913887fa0b147a5ec3098678">  201</a></span>&#160;    <span class="keyword">static</span> <span class="keyword">inline</span> <span class="keywordtype">bool</span> <a class="code" href="classSVF_1_1CallCFGEdge.html#a2d06b1b7913887fa0b147a5ec3098678">classof</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1ICFGEdge.html">ICFGEdge</a> *edge)</div><div class="line"><a name="l00202"></a><span class="lineno">  202</span>&#160;    {</div><div class="line"><a name="l00203"></a><span class="lineno">  203</span>&#160;        <span class="keywordflow">return</span> edge-&gt;<a class="code" href="classSVF_1_1GenericEdge.html#abe8525c542def8162b094c169a01993b">getEdgeKind</a>() == <a class="code" href="classSVF_1_1ICFGEdge.html#a395c34788e98950bc43e8cb44313e429a3486c9d9a182f2ba5d986fe74439ec2e">CallCF</a>;</div><div class="line"><a name="l00204"></a><span class="lineno">  204</span>&#160;    }</div><div class="line"><a name="l00205"></a><span class="lineno"><a class="line" href="classSVF_1_1CallCFGEdge.html#acea0923ca5c08f455af8ba3bcd738dd2">  205</a></span>&#160;    <span class="keyword">static</span> <span class="keyword">inline</span> <span class="keywordtype">bool</span> <a class="code" href="classSVF_1_1CallCFGEdge.html#acea0923ca5c08f455af8ba3bcd738dd2">classof</a>(<span class="keyword">const</span> GenericICFGEdgeTy *edge)</div><div class="line"><a name="l00206"></a><span class="lineno">  206</span>&#160;    {</div><div class="line"><a name="l00207"></a><span class="lineno">  207</span>&#160;        <span class="keywordflow">return</span> edge-&gt;<a class="code" href="classSVF_1_1GenericEdge.html#abe8525c542def8162b094c169a01993b">getEdgeKind</a>() == <a class="code" href="classSVF_1_1ICFGEdge.html#a395c34788e98950bc43e8cb44313e429a3486c9d9a182f2ba5d986fe74439ec2e">CallCF</a>;</div><div class="line"><a name="l00208"></a><span class="lineno">  208</span>&#160;    }</div><div class="line"><a name="l00210"></a><span class="lineno">  210</span>&#160;    <span class="keyword">virtual</span> <span class="keyword">const</span> <a class="code" href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">std::string</a> <a class="code" href="classSVF_1_1ICFGEdge.html#a7233609f62f278b738036e8de9bbbfc8">toString</a>() <span class="keyword">const</span>;</div><div class="line"><a name="l00211"></a><span class="lineno">  211</span>&#160;};</div><div class="line"><a name="l00212"></a><span class="lineno">  212</span>&#160;</div><div class="line"><a name="l00216"></a><span class="lineno"><a class="line" href="classSVF_1_1RetCFGEdge.html">  216</a></span>&#160;<span class="keyword">class </span><a class="code" href="classSVF_1_1RetCFGEdge.html">RetCFGEdge</a> : <span class="keyword">public</span> <a class="code" href="classSVF_1_1ICFGEdge.html">ICFGEdge</a></div><div class="line"><a name="l00217"></a><span class="lineno">  217</span>&#160;{</div><div class="line"><a name="l00218"></a><span class="lineno">  218</span>&#160;</div><div class="line"><a name="l00219"></a><span class="lineno">  219</span>&#160;<span class="keyword">private</span>:</div><div class="line"><a name="l00220"></a><span class="lineno"><a class="line" href="classSVF_1_1RetCFGEdge.html#a7f247e68024c946be46b484a16c59770">  220</a></span>&#160;    <span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFInstruction.html">SVFInstruction</a>*  <a class="code" href="classSVF_1_1RetCFGEdge.html#a7f247e68024c946be46b484a16c59770">cs</a>;</div><div class="line"><a name="l00221"></a><span class="lineno"><a class="line" href="classSVF_1_1RetCFGEdge.html#ad4bbb9881dff7b715c7a70b92baf376c">  221</a></span>&#160;    <span class="keyword">const</span> <a class="code" href="classSVF_1_1RetPE.html">RetPE</a>* <a class="code" href="classSVF_1_1RetCFGEdge.html#ad4bbb9881dff7b715c7a70b92baf376c">retPE</a>;</div><div class="line"><a name="l00222"></a><span class="lineno">  222</span>&#160;<span class="keyword">public</span>:</div><div class="line"><a name="l00224"></a><span class="lineno"><a class="line" href="classSVF_1_1RetCFGEdge.html#a5a461528da9eb46ca190fbd49b41d0d1">  224</a></span>&#160;    <a class="code" href="classSVF_1_1RetCFGEdge.html#a5a461528da9eb46ca190fbd49b41d0d1">RetCFGEdge</a>(<a class="code" href="classSVF_1_1ICFGNode.html">ICFGNode</a>* s, <a class="code" href="classSVF_1_1ICFGNode.html">ICFGNode</a>* d, <span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFInstruction.html">SVFInstruction</a>*  c):</div><div class="line"><a name="l00225"></a><span class="lineno">  225</span>&#160;        <a class="code" href="classSVF_1_1ICFGEdge.html">ICFGEdge</a>(s,d,<a class="code" href="classSVF_1_1ICFGEdge.html#a395c34788e98950bc43e8cb44313e429ad2370a77f6cc112b8c26efbcc36bf541">RetCF</a>),cs(c),retPE(nullptr)</div><div class="line"><a name="l00226"></a><span class="lineno">  226</span>&#160;    {</div><div class="line"><a name="l00227"></a><span class="lineno">  227</span>&#160;    }</div><div class="line"><a name="l00229"></a><span class="lineno"><a class="line" href="classSVF_1_1RetCFGEdge.html#a9a683c1be6cfede369b44bd608693315">  229</a></span>&#160;    <span class="keyword">inline</span> <span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFInstruction.html">SVFInstruction</a>*  <a class="code" href="classSVF_1_1RetCFGEdge.html#a9a683c1be6cfede369b44bd608693315">getCallSite</a>()<span class="keyword"> const</span></div><div class="line"><a name="l00230"></a><span class="lineno">  230</span>&#160;<span class="keyword">    </span>{</div><div class="line"><a name="l00231"></a><span class="lineno">  231</span>&#160;        <span class="keywordflow">return</span> cs;</div><div class="line"><a name="l00232"></a><span class="lineno">  232</span>&#160;    }</div><div class="line"><a name="l00234"></a><span class="lineno"><a class="line" href="classSVF_1_1RetCFGEdge.html#a66668c7a3bb5a9ad3373a786b53709ef">  234</a></span>&#160;    <span class="keyword">inline</span> <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1RetCFGEdge.html#a66668c7a3bb5a9ad3373a786b53709ef">addRetPE</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1RetPE.html">RetPE</a>* ret)</div><div class="line"><a name="l00235"></a><span class="lineno">  235</span>&#160;    {</div><div class="line"><a name="l00236"></a><span class="lineno">  236</span>&#160;        assert(retPE==<span class="keyword">nullptr</span> &amp;&amp; <span class="stringliteral">&quot;we can only have one retPE for each RetCFGEdge&quot;</span>);</div><div class="line"><a name="l00237"></a><span class="lineno">  237</span>&#160;        retPE = ret;</div><div class="line"><a name="l00238"></a><span class="lineno">  238</span>&#160;    }</div><div class="line"><a name="l00240"></a><span class="lineno"><a class="line" href="classSVF_1_1RetCFGEdge.html#af84bf360ca641711a3c625de86feb603">  240</a></span>&#160;    <span class="keyword">inline</span> <span class="keyword">const</span> <a class="code" href="classSVF_1_1RetPE.html">RetPE</a>* <a class="code" href="classSVF_1_1RetCFGEdge.html#af84bf360ca641711a3c625de86feb603">getRetPE</a>()<span class="keyword"> const</span></div><div class="line"><a name="l00241"></a><span class="lineno">  241</span>&#160;<span class="keyword">    </span>{</div><div class="line"><a name="l00242"></a><span class="lineno">  242</span>&#160;        <span class="keywordflow">return</span> retPE;</div><div class="line"><a name="l00243"></a><span class="lineno">  243</span>&#160;    }</div><div class="line"><a name="l00245"></a><span class="lineno">  245</span>&#160;</div><div class="line"><a name="l00246"></a><span class="lineno"><a class="line" href="classSVF_1_1RetCFGEdge.html#aa26fbdb6a5fc801eef8a7f59ea28bc3a">  246</a></span>&#160;    <span class="keyword">static</span> <span class="keyword">inline</span> <span class="keywordtype">bool</span> <a class="code" href="classSVF_1_1RetCFGEdge.html#aa26fbdb6a5fc801eef8a7f59ea28bc3a">classof</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1RetCFGEdge.html">RetCFGEdge</a> *)</div><div class="line"><a name="l00247"></a><span class="lineno">  247</span>&#160;    {</div><div class="line"><a name="l00248"></a><span class="lineno">  248</span>&#160;        <span class="keywordflow">return</span> <span class="keyword">true</span>;</div><div class="line"><a name="l00249"></a><span class="lineno">  249</span>&#160;    }</div><div class="line"><a name="l00250"></a><span class="lineno"><a class="line" href="classSVF_1_1RetCFGEdge.html#acbd01243e6fa346180221b3cc14672fe">  250</a></span>&#160;    <span class="keyword">static</span> <span class="keyword">inline</span> <span class="keywordtype">bool</span> <a class="code" href="classSVF_1_1RetCFGEdge.html#acbd01243e6fa346180221b3cc14672fe">classof</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1ICFGEdge.html">ICFGEdge</a> *edge)</div><div class="line"><a name="l00251"></a><span class="lineno">  251</span>&#160;    {</div><div class="line"><a name="l00252"></a><span class="lineno">  252</span>&#160;        <span class="keywordflow">return</span> edge-&gt;<a class="code" href="classSVF_1_1GenericEdge.html#abe8525c542def8162b094c169a01993b">getEdgeKind</a>() == <a class="code" href="classSVF_1_1ICFGEdge.html#a395c34788e98950bc43e8cb44313e429ad2370a77f6cc112b8c26efbcc36bf541">RetCF</a>;</div><div class="line"><a name="l00253"></a><span class="lineno">  253</span>&#160;    }</div><div class="line"><a name="l00254"></a><span class="lineno"><a class="line" href="classSVF_1_1RetCFGEdge.html#a552aab628945c0d5d669c28068221bef">  254</a></span>&#160;    <span class="keyword">static</span> <span class="keyword">inline</span> <span class="keywordtype">bool</span> <a class="code" href="classSVF_1_1RetCFGEdge.html#a552aab628945c0d5d669c28068221bef">classof</a>(<span class="keyword">const</span> GenericICFGEdgeTy *edge)</div><div class="line"><a name="l00255"></a><span class="lineno">  255</span>&#160;    {</div><div class="line"><a name="l00256"></a><span class="lineno">  256</span>&#160;        <span class="keywordflow">return</span> edge-&gt;<a class="code" href="classSVF_1_1GenericEdge.html#abe8525c542def8162b094c169a01993b">getEdgeKind</a>() == <a class="code" href="classSVF_1_1ICFGEdge.html#a395c34788e98950bc43e8cb44313e429ad2370a77f6cc112b8c26efbcc36bf541">RetCF</a>;</div><div class="line"><a name="l00257"></a><span class="lineno">  257</span>&#160;    }</div><div class="line"><a name="l00259"></a><span class="lineno">  259</span>&#160;    <span class="keyword">virtual</span> <span class="keyword">const</span> <a class="code" href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">std::string</a> <a class="code" href="classSVF_1_1ICFGEdge.html#a7233609f62f278b738036e8de9bbbfc8">toString</a>() <span class="keyword">const</span>;</div><div class="line"><a name="l00260"></a><span class="lineno">  260</span>&#160;};</div><div class="line"><a name="l00261"></a><span class="lineno">  261</span>&#160;</div><div class="line"><a name="l00262"></a><span class="lineno">  262</span>&#160;} <span class="comment">// End namespace SVF</span></div><div class="line"><a name="l00263"></a><span class="lineno">  263</span>&#160;</div><div class="line"><a name="l00264"></a><span class="lineno">  264</span>&#160;<span class="preprocessor">#endif </span><span class="comment">/* ICFGEdge_H_ */</span><span class="preprocessor"></span></div><div class="ttc" id="classSVF_1_1ICFGEdge_html"><div class="ttname"><a href="classSVF_1_1ICFGEdge.html">SVF::ICFGEdge</a></div><div class="ttdef"><b>Definition:</b> <a href="ICFGEdge_8h_source.html#l00044">ICFGEdge.h:44</a></div></div>
-<div class="ttc" id="classSVF_1_1GenericEdge_html_abe8525c542def8162b094c169a01993b"><div class="ttname"><a href="classSVF_1_1GenericEdge.html#abe8525c542def8162b094c169a01993b">SVF::GenericEdge::getEdgeKind</a></div><div class="ttdeci">GEdgeKind getEdgeKind() const</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00081">GenericGraph.h:81</a></div></div>
-<div class="ttc" id="classSVF_1_1SVFInstruction_html"><div class="ttname"><a href="classSVF_1_1SVFInstruction.html">SVF::SVFInstruction</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00579">SVFValue.h:579</a></div></div>
+<div class="ttc" id="classSVF_1_1GenericEdge_html_abe8525c542def8162b094c169a01993b"><div class="ttname"><a href="classSVF_1_1GenericEdge.html#abe8525c542def8162b094c169a01993b">SVF::GenericEdge::getEdgeKind</a></div><div class="ttdeci">GEdgeKind getEdgeKind() const</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00083">GenericGraph.h:83</a></div></div>
+<div class="ttc" id="classSVF_1_1SVFInstruction_html"><div class="ttname"><a href="classSVF_1_1SVFInstruction.html">SVF::SVFInstruction</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00570">SVFValue.h:570</a></div></div>
 <div class="ttc" id="classSVF_1_1RetPE_html"><div class="ttname"><a href="classSVF_1_1RetPE.html">SVF::RetPE</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00545">SVFStatements.h:545</a></div></div>
 <div class="ttc" id="classSVF_1_1IntraCFGEdge_html_a0ceb4d967e1059c9a53d1a230a79571b"><div class="ttname"><a href="classSVF_1_1IntraCFGEdge.html#a0ceb4d967e1059c9a53d1a230a79571b">SVF::IntraCFGEdge::setBranchCondition</a></div><div class="ttdeci">void setBranchCondition(const SVFValue *c, s32_t bVal)</div><div class="ttdef"><b>Definition:</b> <a href="ICFGEdge_8h_source.html#l00148">ICFGEdge.h:148</a></div></div>
 <div class="ttc" id="classSVF_1_1RetCFGEdge_html_a9a683c1be6cfede369b44bd608693315"><div class="ttname"><a href="classSVF_1_1RetCFGEdge.html#a9a683c1be6cfede369b44bd608693315">SVF::RetCFGEdge::getCallSite</a></div><div class="ttdeci">const SVFInstruction * getCallSite() const</div><div class="ttdoc">Return callsite ID. </div><div class="ttdef"><b>Definition:</b> <a href="ICFGEdge_8h_source.html#l00229">ICFGEdge.h:229</a></div></div>
@@ -88,19 +88,19 @@ $(function() {
 <div class="ttc" id="classSVF_1_1ICFGNode_html"><div class="ttname"><a href="classSVF_1_1ICFGNode.html">SVF::ICFGNode</a></div><div class="ttdef"><b>Definition:</b> <a href="ICFGNode_8h_source.html#l00054">ICFGNode.h:54</a></div></div>
 <div class="ttc" id="classSVF_1_1ICFGEdge_html_a395c34788e98950bc43e8cb44313e429"><div class="ttname"><a href="classSVF_1_1ICFGEdge.html#a395c34788e98950bc43e8cb44313e429">SVF::ICFGEdge::ICFGEdgeK</a></div><div class="ttdeci">ICFGEdgeK</div><div class="ttdef"><b>Definition:</b> <a href="ICFGEdge_8h_source.html#l00051">ICFGEdge.h:51</a></div></div>
 <div class="ttc" id="classSVF_1_1SVFValue_html"><div class="ttname"><a href="classSVF_1_1SVFValue.html">SVF::SVFValue</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00147">SVFValue.h:147</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>
+<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#l00044">GenericGraph.h:44</a></div></div>
 <div class="ttc" id="classSVF_1_1RetCFGEdge_html_acbd01243e6fa346180221b3cc14672fe"><div class="ttname"><a href="classSVF_1_1RetCFGEdge.html#acbd01243e6fa346180221b3cc14672fe">SVF::RetCFGEdge::classof</a></div><div class="ttdeci">static bool classof(const ICFGEdge *edge)</div><div class="ttdef"><b>Definition:</b> <a href="ICFGEdge_8h_source.html#l00250">ICFGEdge.h:250</a></div></div>
 <div class="ttc" id="classSVF_1_1CallCFGEdge_html_a7069cf7d8b53dc0bd2c0272912bc02fb"><div class="ttname"><a href="classSVF_1_1CallCFGEdge.html#a7069cf7d8b53dc0bd2c0272912bc02fb">SVF::CallCFGEdge::addCallPE</a></div><div class="ttdeci">void addCallPE(const CallPE *callPE)</div><div class="ttdoc">Add call parameter edge to this CallCFGEdge. </div><div class="ttdef"><b>Definition:</b> <a href="ICFGEdge_8h_source.html#l00186">ICFGEdge.h:186</a></div></div>
 <div class="ttc" id="classSVF_1_1CallPE_html"><div class="ttname"><a href="classSVF_1_1CallPE.html">SVF::CallPE</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00488">SVFStatements.h:488</a></div></div>
 <div class="ttc" id="classSVF_1_1RetCFGEdge_html_a552aab628945c0d5d669c28068221bef"><div class="ttname"><a href="classSVF_1_1RetCFGEdge.html#a552aab628945c0d5d669c28068221bef">SVF::RetCFGEdge::classof</a></div><div class="ttdeci">static bool classof(const GenericICFGEdgeTy *edge)</div><div class="ttdef"><b>Definition:</b> <a href="ICFGEdge_8h_source.html#l00254">ICFGEdge.h:254</a></div></div>
-<div class="ttc" id="classSVF_1_1GenericNode_html_a03c6da4a73c47f84f5c5b47252bc339a"><div class="ttname"><a href="classSVF_1_1GenericNode.html#a03c6da4a73c47f84f5c5b47252bc339a">SVF::GenericNode::GEdgeSetTy</a></div><div class="ttdeci">OrderedSet&lt; EdgeType *, typename EdgeType::equalGEdge &gt; GEdgeSetTy</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00140">GenericGraph.h:140</a></div></div>
+<div class="ttc" id="classSVF_1_1GenericNode_html_a03c6da4a73c47f84f5c5b47252bc339a"><div class="ttname"><a href="classSVF_1_1GenericNode.html#a03c6da4a73c47f84f5c5b47252bc339a">SVF::GenericNode::GEdgeSetTy</a></div><div class="ttdeci">OrderedSet&lt; EdgeType *, typename EdgeType::equalGEdge &gt; GEdgeSetTy</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00142">GenericGraph.h:142</a></div></div>
 <div class="ttc" id="classSVF_1_1IntraCFGEdge_html_aa1c91aad3dec610100b1f2f4b9826d10"><div class="ttname"><a href="classSVF_1_1IntraCFGEdge.html#aa1c91aad3dec610100b1f2f4b9826d10">SVF::IntraCFGEdge::branchCondVal</a></div><div class="ttdeci">s32_t branchCondVal</div><div class="ttdef"><b>Definition:</b> <a href="ICFGEdge_8h_source.html#l00162">ICFGEdge.h:162</a></div></div>
 <div class="ttc" id="classSVF_1_1RetCFGEdge_html_ad4bbb9881dff7b715c7a70b92baf376c"><div class="ttname"><a href="classSVF_1_1RetCFGEdge.html#ad4bbb9881dff7b715c7a70b92baf376c">SVF::RetCFGEdge::retPE</a></div><div class="ttdeci">const RetPE * retPE</div><div class="ttdef"><b>Definition:</b> <a href="ICFGEdge_8h_source.html#l00221">ICFGEdge.h:221</a></div></div>
 <div class="ttc" id="classSVF_1_1ICFGEdge_html_ad14443828b9030ee7b438fa3cdf17e56"><div class="ttname"><a href="classSVF_1_1ICFGEdge.html#ad14443828b9030ee7b438fa3cdf17e56">SVF::ICFGEdge::SVFGEdgeSetTy</a></div><div class="ttdeci">ICFGEdgeSetTy SVFGEdgeSetTy</div><div class="ttdef"><b>Definition:</b> <a href="ICFGEdge_8h_source.html#l00090">ICFGEdge.h:90</a></div></div>
 <div class="ttc" id="classSVF_1_1IntraCFGEdge_html"><div class="ttname"><a href="classSVF_1_1IntraCFGEdge.html">SVF::IntraCFGEdge</a></div><div class="ttdef"><b>Definition:</b> <a href="ICFGEdge_8h_source.html#l00113">ICFGEdge.h:113</a></div></div>
 <div class="ttc" id="classSVF_1_1RetCFGEdge_html_a5a461528da9eb46ca190fbd49b41d0d1"><div class="ttname"><a href="classSVF_1_1RetCFGEdge.html#a5a461528da9eb46ca190fbd49b41d0d1">SVF::RetCFGEdge::RetCFGEdge</a></div><div class="ttdeci">RetCFGEdge(ICFGNode *s, ICFGNode *d, const SVFInstruction *c)</div><div class="ttdoc">Constructor. </div><div class="ttdef"><b>Definition:</b> <a href="ICFGEdge_8h_source.html#l00224">ICFGEdge.h:224</a></div></div>
 <div class="ttc" id="classSVF_1_1IntraCFGEdge_html_a6a4ba7a362bae8bff69ccad07df61119"><div class="ttname"><a href="classSVF_1_1IntraCFGEdge.html#a6a4ba7a362bae8bff69ccad07df61119">SVF::IntraCFGEdge::getSuccessorCondValue</a></div><div class="ttdeci">s32_t getSuccessorCondValue() const</div><div class="ttdef"><b>Definition:</b> <a href="ICFGEdge_8h_source.html#l00142">ICFGEdge.h:142</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="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#l00054">GenericGraph.h:54</a></div></div>
 <div class="ttc" id="classSVF_1_1ICFGEdge_html_a068573fdbd9b99af18f3deeb9b16a38b"><div class="ttname"><a href="classSVF_1_1ICFGEdge.html#a068573fdbd9b99af18f3deeb9b16a38b">SVF::ICFGEdge::SVFGEdgeK</a></div><div class="ttdeci">ICFGEdgeK SVFGEdgeK</div><div class="ttdef"><b>Definition:</b> <a href="ICFGEdge_8h_source.html#l00058">ICFGEdge.h:58</a></div></div>
 <div class="ttc" id="classSVF_1_1RetCFGEdge_html_af84bf360ca641711a3c625de86feb603"><div class="ttname"><a href="classSVF_1_1RetCFGEdge.html#af84bf360ca641711a3c625de86feb603">SVF::RetCFGEdge::getRetPE</a></div><div class="ttdeci">const RetPE * getRetPE() const</div><div class="ttdoc">Add get parameter edge to this CallCFGEdge. </div><div class="ttdef"><b>Definition:</b> <a href="ICFGEdge_8h_source.html#l00240">ICFGEdge.h:240</a></div></div>
 <div class="ttc" id="namespaceSVF_html_a03d88a0302bcd253387690f13f693f64"><div class="ttname"><a href="namespaceSVF.html#a03d88a0302bcd253387690f13f693f64">SVF::CallSiteID</a></div><div class="ttdeci">unsigned CallSiteID</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00058">SVFType.h:58</a></div></div>
@@ -112,7 +112,7 @@ $(function() {
 <div class="ttc" id="classSVF_1_1IntraCFGEdge_html_a2657751b285cb6db8084da38b00dcab9"><div class="ttname"><a href="classSVF_1_1IntraCFGEdge.html#a2657751b285cb6db8084da38b00dcab9">SVF::IntraCFGEdge::getCondition</a></div><div class="ttdeci">const SVFValue * getCondition() const</div><div class="ttdef"><b>Definition:</b> <a href="ICFGEdge_8h_source.html#l00137">ICFGEdge.h:137</a></div></div>
 <div class="ttc" id="classSVF_1_1IntraCFGEdge_html_a70bdadf898a10c6db89e9f432529092c"><div class="ttname"><a href="classSVF_1_1IntraCFGEdge.html#a70bdadf898a10c6db89e9f432529092c">SVF::IntraCFGEdge::classof</a></div><div class="ttdeci">static bool classof(const IntraCFGEdge *)</div><div class="ttdoc">Methods for support type inquiry through isa, cast, and dyn_cast: </div><div class="ttdef"><b>Definition:</b> <a href="ICFGEdge_8h_source.html#l00123">ICFGEdge.h:123</a></div></div>
 <div class="ttc" id="classSVF_1_1IntraCFGEdge_html_adda4f50f50127f5d7f193300933c209f"><div class="ttname"><a href="classSVF_1_1IntraCFGEdge.html#adda4f50f50127f5d7f193300933c209f">SVF::IntraCFGEdge::classof</a></div><div class="ttdeci">static bool classof(const GenericICFGEdgeTy *edge)</div><div class="ttdef"><b>Definition:</b> <a href="ICFGEdge_8h_source.html#l00131">ICFGEdge.h:131</a></div></div>
-<div class="ttc" id="classSVF_1_1GenericEdge_html_a5aceeb48929f54264807b36569019a8a"><div class="ttname"><a href="classSVF_1_1GenericEdge.html#a5aceeb48929f54264807b36569019a8a">SVF::GenericEdge::GEdgeKind</a></div><div class="ttdeci">s64_t GEdgeKind</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00053">GenericGraph.h:53</a></div></div>
+<div class="ttc" id="classSVF_1_1GenericEdge_html_a5aceeb48929f54264807b36569019a8a"><div class="ttname"><a href="classSVF_1_1GenericEdge.html#a5aceeb48929f54264807b36569019a8a">SVF::GenericEdge::GEdgeKind</a></div><div class="ttdeci">s64_t GEdgeKind</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00055">GenericGraph.h:55</a></div></div>
 <div class="ttc" id="classSVF_1_1CallCFGEdge_html_acea0923ca5c08f455af8ba3bcd738dd2"><div class="ttname"><a href="classSVF_1_1CallCFGEdge.html#acea0923ca5c08f455af8ba3bcd738dd2">SVF::CallCFGEdge::classof</a></div><div class="ttdeci">static bool classof(const GenericICFGEdgeTy *edge)</div><div class="ttdef"><b>Definition:</b> <a href="ICFGEdge_8h_source.html#l00205">ICFGEdge.h:205</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_1ICFGEdge_html_a3da5a0bad1b4c08803f1f06393649f96"><div class="ttname"><a href="classSVF_1_1ICFGEdge.html#a3da5a0bad1b4c08803f1f06393649f96">SVF::ICFGEdge::ICFGEdgeSetTy</a></div><div class="ttdeci">GenericNode&lt; ICFGNode, ICFGEdge &gt;::GEdgeSetTy ICFGEdgeSetTy</div><div class="ttdef"><b>Definition:</b> <a href="ICFGEdge_8h_source.html#l00089">ICFGEdge.h:89</a></div></div>
@@ -124,7 +124,7 @@ $(function() {
 <div class="ttc" id="namespaceSVF_html_a8bd74fdcb0e58d0249003df9c3fb8b31"><div class="ttname"><a href="namespaceSVF.html#a8bd74fdcb0e58d0249003df9c3fb8b31">SVF::OutStream</a></div><div class="ttdeci">std::ostream OutStream</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00049">SVFType.h:49</a></div></div>
 <div class="ttc" id="classSVF_1_1ICFGEdge_html_a7233609f62f278b738036e8de9bbbfc8"><div class="ttname"><a href="classSVF_1_1ICFGEdge.html#a7233609f62f278b738036e8de9bbbfc8">SVF::ICFGEdge::toString</a></div><div class="ttdeci">virtual const std::string toString() const</div><div class="ttdef"><b>Definition:</b> <a href="ICFG_8cpp_source.html#l00151">ICFG.cpp:151</a></div></div>
 <div class="ttc" id="cJSON_8h_html_ad4c68ea99a26b0a98ad9a79982960458"><div class="ttname"><a href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">string</a></div><div class="ttdeci">const char *const string</div><div class="ttdef"><b>Definition:</b> <a href="cJSON_8h_source.html#l00172">cJSON.h:172</a></div></div>
-<div class="ttc" id="classSVF_1_1GenericEdge_html_af1c2fd4b5ef1d7b7605572bf2489c298"><div class="ttname"><a href="classSVF_1_1GenericEdge.html#af1c2fd4b5ef1d7b7605572bf2489c298">SVF::GenericEdge::EdgeKindMaskBits</a></div><div class="ttdeci">static constexpr unsigned char EdgeKindMaskBits</div><div class="ttdoc">We use the lower 8 bits to denote edge kind. </div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00123">GenericGraph.h:123</a></div></div>
+<div class="ttc" id="classSVF_1_1GenericEdge_html_af1c2fd4b5ef1d7b7605572bf2489c298"><div class="ttname"><a href="classSVF_1_1GenericEdge.html#af1c2fd4b5ef1d7b7605572bf2489c298">SVF::GenericEdge::EdgeKindMaskBits</a></div><div class="ttdeci">static constexpr unsigned char EdgeKindMaskBits</div><div class="ttdoc">We use the lower 8 bits to denote edge kind. </div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00125">GenericGraph.h:125</a></div></div>
 <div class="ttc" id="classSVF_1_1RetCFGEdge_html"><div class="ttname"><a href="classSVF_1_1RetCFGEdge.html">SVF::RetCFGEdge</a></div><div class="ttdef"><b>Definition:</b> <a href="ICFGEdge_8h_source.html#l00216">ICFGEdge.h:216</a></div></div>
 <div class="ttc" id="classSVF_1_1IntraCFGEdge_html_aeab701d63caadf8effabdbd23ac0cd49"><div class="ttname"><a href="classSVF_1_1IntraCFGEdge.html#aeab701d63caadf8effabdbd23ac0cd49">SVF::IntraCFGEdge::IntraCFGEdge</a></div><div class="ttdeci">IntraCFGEdge(ICFGNode *s, ICFGNode *d)</div><div class="ttdoc">Constructor. </div><div class="ttdef"><b>Definition:</b> <a href="ICFGEdge_8h_source.html#l00118">ICFGEdge.h:118</a></div></div>
 <div class="ttc" id="classSVF_1_1CallCFGEdge_html_a4eef1ba1d5d7bcd906f8e5c50afc951a"><div class="ttname"><a href="classSVF_1_1CallCFGEdge.html#a4eef1ba1d5d7bcd906f8e5c50afc951a">SVF::CallCFGEdge::getCallSite</a></div><div class="ttdeci">const SVFInstruction * getCallSite() const</div><div class="ttdoc">Return callsite ID. </div><div class="ttdef"><b>Definition:</b> <a href="ICFGEdge_8h_source.html#l00181">ICFGEdge.h:181</a></div></div>