svf-tools 1.0.563 → 1.0.564

package/SVF-doxygen/html/html/ICFGStat_8h_source.html

@@ -66,11 +66,12 @@ $(function() {
 <div class="title">ICFGStat.h</div>  </div>
 </div><!--header-->
 <div class="contents">
-<a href="ICFGStat_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">//===- ICFGStat.h ----------------------------------------------------------//</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;<span class="comment">/*</span></div><div class="line"><a name="l00023"></a><span class="lineno">   23</span>&#160;<span class="comment"> * ICFGStat.h</span></div><div class="line"><a name="l00024"></a><span class="lineno">   24</span>&#160;<span class="comment"> *</span></div><div class="line"><a name="l00025"></a><span class="lineno">   25</span>&#160;<span class="comment"> *  Created on: 12Sep.,2018</span></div><div class="line"><a name="l00026"></a><span class="lineno">   26</span>&#160;<span class="comment"> *      Author: yulei</span></div><div class="line"><a name="l00027"></a><span class="lineno">   27</span>&#160;<span class="comment"> */</span></div><div class="line"><a name="l00028"></a><span class="lineno">   28</span>&#160;</div><div class="line"><a name="l00029"></a><span class="lineno">   29</span>&#160;<span class="preprocessor">#ifndef INCLUDE_UTIL_ICFGSTAT_H_</span></div><div class="line"><a name="l00030"></a><span class="lineno">   30</span>&#160;<span class="preprocessor">#define INCLUDE_UTIL_ICFGSTAT_H_</span></div><div class="line"><a name="l00031"></a><span class="lineno">   31</span>&#160;</div><div class="line"><a name="l00032"></a><span class="lineno">   32</span>&#160;<span class="preprocessor">#include &quot;<a class="code" href="PTAStat_8h.html">Util/PTAStat.h</a>&quot;</span></div><div class="line"><a name="l00033"></a><span class="lineno">   33</span>&#160;<span class="preprocessor">#include &quot;<a class="code" href="ICFG_8h.html">Graphs/ICFG.h</a>&quot;</span></div><div class="line"><a name="l00034"></a><span class="lineno">   34</span>&#160;<span class="preprocessor">#include &lt;iomanip&gt;</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"><a class="line" href="classSVF_1_1ICFGStat.html">   39</a></span>&#160;<span class="keyword">class </span><a class="code" href="classSVF_1_1ICFGStat.html">ICFGStat</a> : <span class="keyword">public</span> <a class="code" href="classSVF_1_1PTAStat.html">PTAStat</a></div><div class="line"><a name="l00040"></a><span class="lineno">   40</span>&#160;{</div><div class="line"><a name="l00041"></a><span class="lineno">   41</span>&#160;</div><div class="line"><a name="l00042"></a><span class="lineno">   42</span>&#160;<span class="keyword">private</span>:</div><div class="line"><a name="l00043"></a><span class="lineno"><a class="line" href="classSVF_1_1ICFGStat.html#a03185827f7913a480523de5b8f911acb">   43</a></span>&#160;    <a class="code" href="classSVF_1_1ICFG.html">ICFG</a> *<a class="code" href="classSVF_1_1ICFGStat.html#a03185827f7913a480523de5b8f911acb">icfg</a>;</div><div class="line"><a name="l00044"></a><span class="lineno"><a class="line" href="classSVF_1_1ICFGStat.html#a8e71a19c266aacd7acb1fee6bb339788">   44</a></span>&#160;    <span class="keywordtype">int</span> <a class="code" href="classSVF_1_1ICFGStat.html#a8e71a19c266aacd7acb1fee6bb339788">numOfNodes</a>;</div><div class="line"><a name="l00045"></a><span class="lineno"><a class="line" href="classSVF_1_1ICFGStat.html#a7f8d88b6d8d4892e85006320b39c7dc4">   45</a></span>&#160;    <span class="keywordtype">int</span> <a class="code" href="classSVF_1_1ICFGStat.html#a7f8d88b6d8d4892e85006320b39c7dc4">numOfCallNodes</a>;</div><div class="line"><a name="l00046"></a><span class="lineno"><a class="line" href="classSVF_1_1ICFGStat.html#ac9bfce40c058ed7ab178fe1f1818e9de">   46</a></span>&#160;    <span class="keywordtype">int</span> <a class="code" href="classSVF_1_1ICFGStat.html#ac9bfce40c058ed7ab178fe1f1818e9de">numOfRetNodes</a>;</div><div class="line"><a name="l00047"></a><span class="lineno"><a class="line" href="classSVF_1_1ICFGStat.html#ad37793e64fe58a8faba201c18d876685">   47</a></span>&#160;    <span class="keywordtype">int</span> <a class="code" href="classSVF_1_1ICFGStat.html#ad37793e64fe58a8faba201c18d876685">numOfEntryNodes</a>;</div><div class="line"><a name="l00048"></a><span class="lineno"><a class="line" href="classSVF_1_1ICFGStat.html#ad7e00680fb8ca31afbd166f9a4adc5ec">   48</a></span>&#160;    <span class="keywordtype">int</span> <a class="code" href="classSVF_1_1ICFGStat.html#ad7e00680fb8ca31afbd166f9a4adc5ec">numOfExitNodes</a>;</div><div class="line"><a name="l00049"></a><span class="lineno"><a class="line" href="classSVF_1_1ICFGStat.html#ad88dbfaabae9b36f02a6e6e815d08e3e">   49</a></span>&#160;    <span class="keywordtype">int</span> <a class="code" href="classSVF_1_1ICFGStat.html#ad88dbfaabae9b36f02a6e6e815d08e3e">numOfIntraNodes</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"><a class="line" href="classSVF_1_1ICFGStat.html#a5e9bb5ae47aacba7c625a9fa3e349e82">   51</a></span>&#160;    <span class="keywordtype">int</span> <a class="code" href="classSVF_1_1ICFGStat.html#a5e9bb5ae47aacba7c625a9fa3e349e82">numOfEdges</a>;</div><div class="line"><a name="l00052"></a><span class="lineno"><a class="line" href="classSVF_1_1ICFGStat.html#ab924988ff980c57a4e9155adaa5c0ff2">   52</a></span>&#160;    <span class="keywordtype">int</span> <a class="code" href="classSVF_1_1ICFGStat.html#ab924988ff980c57a4e9155adaa5c0ff2">numOfCallEdges</a>;</div><div class="line"><a name="l00053"></a><span class="lineno"><a class="line" href="classSVF_1_1ICFGStat.html#a3bd1a0b0b206baadea52bfa88e029dfa">   53</a></span>&#160;    <span class="keywordtype">int</span> <a class="code" href="classSVF_1_1ICFGStat.html#a3bd1a0b0b206baadea52bfa88e029dfa">numOfRetEdges</a>;</div><div class="line"><a name="l00054"></a><span class="lineno"><a class="line" href="classSVF_1_1ICFGStat.html#a3ddf933064f2a7f2efbd3a1af2ae7658">   54</a></span>&#160;    <span class="keywordtype">int</span> <a class="code" href="classSVF_1_1ICFGStat.html#a3ddf933064f2a7f2efbd3a1af2ae7658">numOfIntraEdges</a>;</div><div class="line"><a name="l00055"></a><span class="lineno">   55</span>&#160;</div><div class="line"><a name="l00056"></a><span class="lineno">   56</span>&#160;<span class="keyword">public</span>:</div><div class="line"><a name="l00057"></a><span class="lineno"><a class="line" href="classSVF_1_1ICFGStat.html#a69670ae14f5ec47728e2ddc7dd4dec84">   57</a></span>&#160;    <span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#af739db846e47ba6b2fd15eaad31ab7fb">Set&lt;const ICFGNode *&gt;</a> <a class="code" href="classSVF_1_1ICFGStat.html#a69670ae14f5ec47728e2ddc7dd4dec84">ICFGNodeSet</a>;</div><div class="line"><a name="l00058"></a><span class="lineno">   58</span>&#160;</div><div class="line"><a name="l00059"></a><span class="lineno"><a class="line" href="classSVF_1_1ICFGStat.html#a3bbad3d1c0ab0cad3cc4b7aa069d1f9f">   59</a></span>&#160;    <a class="code" href="classSVF_1_1ICFGStat.html#a3bbad3d1c0ab0cad3cc4b7aa069d1f9f">ICFGStat</a>(<a class="code" href="classSVF_1_1ICFG.html">ICFG</a> *cfg) : <a class="code" href="classSVF_1_1PTAStat.html">PTAStat</a>(nullptr), icfg(cfg)</div><div class="line"><a name="l00060"></a><span class="lineno">   60</span>&#160;    {</div><div class="line"><a name="l00061"></a><span class="lineno">   61</span>&#160;        numOfNodes = 0;</div><div class="line"><a name="l00062"></a><span class="lineno">   62</span>&#160;        numOfCallNodes = 0;</div><div class="line"><a name="l00063"></a><span class="lineno">   63</span>&#160;        numOfRetNodes = 0;</div><div class="line"><a name="l00064"></a><span class="lineno">   64</span>&#160;        numOfEntryNodes = 0;</div><div class="line"><a name="l00065"></a><span class="lineno">   65</span>&#160;        numOfExitNodes = 0;</div><div class="line"><a name="l00066"></a><span class="lineno">   66</span>&#160;        numOfIntraNodes = 0;</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;        numOfEdges = 0;</div><div class="line"><a name="l00069"></a><span class="lineno">   69</span>&#160;        numOfCallEdges = 0;</div><div class="line"><a name="l00070"></a><span class="lineno">   70</span>&#160;        numOfRetEdges = 0;</div><div class="line"><a name="l00071"></a><span class="lineno">   71</span>&#160;        numOfIntraEdges = 0;</div><div class="line"><a name="l00072"></a><span class="lineno">   72</span>&#160;</div><div class="line"><a name="l00073"></a><span class="lineno">   73</span>&#160;    }</div><div class="line"><a name="l00074"></a><span class="lineno">   74</span>&#160;</div><div class="line"><a name="l00075"></a><span class="lineno"><a class="line" href="classSVF_1_1ICFGStat.html#aabe0779dc44ddc4e06300ea912cca39f">   75</a></span>&#160;    <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1ICFGStat.html#aabe0779dc44ddc4e06300ea912cca39f">performStat</a>()</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">   77</span>&#160;</div><div class="line"><a name="l00078"></a><span class="lineno">   78</span>&#160;        <a class="code" href="classSVF_1_1ICFGStat.html#a632f57db1f1e17f49289b5dfec048ef6">countStat</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">   80</span>&#160;        <a class="code" href="classSVF_1_1PTAStat.html#afdb975520329be0c33cc7bdd51ba7031">PTNumStatMap</a>[<span class="stringliteral">&quot;ICFGNode&quot;</span>] = <a class="code" href="classSVF_1_1ICFGStat.html#a8e71a19c266aacd7acb1fee6bb339788">numOfNodes</a>;</div><div class="line"><a name="l00081"></a><span class="lineno">   81</span>&#160;        <a class="code" href="classSVF_1_1PTAStat.html#afdb975520329be0c33cc7bdd51ba7031">PTNumStatMap</a>[<span class="stringliteral">&quot;IntraICFGNode&quot;</span>] = <a class="code" href="classSVF_1_1ICFGStat.html#ad88dbfaabae9b36f02a6e6e815d08e3e">numOfIntraNodes</a>;</div><div class="line"><a name="l00082"></a><span class="lineno">   82</span>&#160;        <a class="code" href="classSVF_1_1PTAStat.html#afdb975520329be0c33cc7bdd51ba7031">PTNumStatMap</a>[<span class="stringliteral">&quot;CallICFGNode&quot;</span>] = <a class="code" href="classSVF_1_1ICFGStat.html#a7f8d88b6d8d4892e85006320b39c7dc4">numOfCallNodes</a>;</div><div class="line"><a name="l00083"></a><span class="lineno">   83</span>&#160;        <a class="code" href="classSVF_1_1PTAStat.html#afdb975520329be0c33cc7bdd51ba7031">PTNumStatMap</a>[<span class="stringliteral">&quot;RetICFGNode&quot;</span>] = <a class="code" href="classSVF_1_1ICFGStat.html#ac9bfce40c058ed7ab178fe1f1818e9de">numOfRetNodes</a>;</div><div class="line"><a name="l00084"></a><span class="lineno">   84</span>&#160;        <a class="code" href="classSVF_1_1PTAStat.html#afdb975520329be0c33cc7bdd51ba7031">PTNumStatMap</a>[<span class="stringliteral">&quot;FunEntryICFGNode&quot;</span>] = <a class="code" href="classSVF_1_1ICFGStat.html#ad37793e64fe58a8faba201c18d876685">numOfEntryNodes</a>;</div><div class="line"><a name="l00085"></a><span class="lineno">   85</span>&#160;        <a class="code" href="classSVF_1_1PTAStat.html#afdb975520329be0c33cc7bdd51ba7031">PTNumStatMap</a>[<span class="stringliteral">&quot;FunExitICFGNode&quot;</span>] = <a class="code" href="classSVF_1_1ICFGStat.html#ad7e00680fb8ca31afbd166f9a4adc5ec">numOfExitNodes</a>;</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;        <a class="code" href="classSVF_1_1PTAStat.html#afdb975520329be0c33cc7bdd51ba7031">PTNumStatMap</a>[<span class="stringliteral">&quot;ICFGEdge&quot;</span>] = <a class="code" href="classSVF_1_1ICFGStat.html#a5e9bb5ae47aacba7c625a9fa3e349e82">numOfEdges</a>;</div><div class="line"><a name="l00088"></a><span class="lineno">   88</span>&#160;        <a class="code" href="classSVF_1_1PTAStat.html#afdb975520329be0c33cc7bdd51ba7031">PTNumStatMap</a>[<span class="stringliteral">&quot;CallCFGEdge&quot;</span>] = <a class="code" href="classSVF_1_1ICFGStat.html#ab924988ff980c57a4e9155adaa5c0ff2">numOfCallEdges</a>;</div><div class="line"><a name="l00089"></a><span class="lineno">   89</span>&#160;        <a class="code" href="classSVF_1_1PTAStat.html#afdb975520329be0c33cc7bdd51ba7031">PTNumStatMap</a>[<span class="stringliteral">&quot;RetCFGEdge&quot;</span>] = <a class="code" href="classSVF_1_1ICFGStat.html#a3bd1a0b0b206baadea52bfa88e029dfa">numOfRetEdges</a>;</div><div class="line"><a name="l00090"></a><span class="lineno">   90</span>&#160;        <a class="code" href="classSVF_1_1PTAStat.html#afdb975520329be0c33cc7bdd51ba7031">PTNumStatMap</a>[<span class="stringliteral">&quot;IntraCFGEdge&quot;</span>] = <a class="code" href="classSVF_1_1ICFGStat.html#a3ddf933064f2a7f2efbd3a1af2ae7658">numOfIntraEdges</a>;</div><div class="line"><a name="l00091"></a><span class="lineno">   91</span>&#160;</div><div class="line"><a name="l00092"></a><span class="lineno">   92</span>&#160;        <a class="code" href="classSVF_1_1ICFGStat.html#af9c004e3532968ae806a3d344ef885ea">printStat</a>(<span class="stringliteral">&quot;ICFG Stat&quot;</span>);</div><div class="line"><a name="l00093"></a><span class="lineno">   93</span>&#160;    }</div><div class="line"><a name="l00094"></a><span class="lineno">   94</span>&#160;</div><div class="line"><a name="l00095"></a><span class="lineno"><a class="line" href="classSVF_1_1ICFGStat.html#a17d9638aa5f4b9aac194862400a209da">   95</a></span>&#160;    <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1ICFGStat.html#a17d9638aa5f4b9aac194862400a209da">performStatforIFDS</a>()</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;</div><div class="line"><a name="l00098"></a><span class="lineno">   98</span>&#160;        <a class="code" href="classSVF_1_1ICFGStat.html#a632f57db1f1e17f49289b5dfec048ef6">countStat</a>();</div><div class="line"><a name="l00099"></a><span class="lineno">   99</span>&#160;        <a class="code" href="classSVF_1_1PTAStat.html#afdb975520329be0c33cc7bdd51ba7031">PTNumStatMap</a>[<span class="stringliteral">&quot;ICFGNode(N)&quot;</span>] = <a class="code" href="classSVF_1_1ICFGStat.html#a8e71a19c266aacd7acb1fee6bb339788">numOfNodes</a>;</div><div class="line"><a name="l00100"></a><span class="lineno">  100</span>&#160;        <a class="code" href="classSVF_1_1PTAStat.html#afdb975520329be0c33cc7bdd51ba7031">PTNumStatMap</a>[<span class="stringliteral">&quot;CallICFGNode(Call)&quot;</span>] = <a class="code" href="classSVF_1_1ICFGStat.html#a7f8d88b6d8d4892e85006320b39c7dc4">numOfCallNodes</a>;</div><div class="line"><a name="l00101"></a><span class="lineno">  101</span>&#160;        <a class="code" href="classSVF_1_1PTAStat.html#afdb975520329be0c33cc7bdd51ba7031">PTNumStatMap</a>[<span class="stringliteral">&quot;ICFGEdge(E)&quot;</span>] = <a class="code" href="classSVF_1_1ICFGStat.html#a5e9bb5ae47aacba7c625a9fa3e349e82">numOfEdges</a>;</div><div class="line"><a name="l00102"></a><span class="lineno">  102</span>&#160;        <a class="code" href="classSVF_1_1ICFGStat.html#af9c004e3532968ae806a3d344ef885ea">printStat</a>(<span class="stringliteral">&quot;IFDS Stat&quot;</span>);</div><div class="line"><a name="l00103"></a><span class="lineno">  103</span>&#160;    }</div><div class="line"><a name="l00104"></a><span class="lineno">  104</span>&#160;</div><div class="line"><a name="l00105"></a><span class="lineno"><a class="line" href="classSVF_1_1ICFGStat.html#a632f57db1f1e17f49289b5dfec048ef6">  105</a></span>&#160;    <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1ICFGStat.html#a632f57db1f1e17f49289b5dfec048ef6">countStat</a>()</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;        ICFG::ICFGNodeIDToNodeMapTy::iterator it = icfg-&gt;<a class="code" href="classSVF_1_1GenericGraph.html#a0d9744b1b0e7a09a6f7af29188e243b7">begin</a>();</div><div class="line"><a name="l00108"></a><span class="lineno">  108</span>&#160;        ICFG::ICFGNodeIDToNodeMapTy::iterator eit = icfg-&gt;<a class="code" href="classSVF_1_1GenericGraph.html#a4bef15157423cef48dc7333a803cd27d">end</a>();</div><div class="line"><a name="l00109"></a><span class="lineno">  109</span>&#160;        <span class="keywordflow">for</span> (; it != eit; ++it)</div><div class="line"><a name="l00110"></a><span class="lineno">  110</span>&#160;        {</div><div class="line"><a name="l00111"></a><span class="lineno">  111</span>&#160;            numOfNodes++;</div><div class="line"><a name="l00112"></a><span class="lineno">  112</span>&#160;</div><div class="line"><a name="l00113"></a><span class="lineno">  113</span>&#160;            <a class="code" href="classSVF_1_1ICFGNode.html">ICFGNode</a> *node = it-&gt;second;</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;            <span class="keywordflow">if</span> (SVFUtil::isa&lt;IntraICFGNode&gt;(node))</div><div class="line"><a name="l00116"></a><span class="lineno">  116</span>&#160;                numOfIntraNodes++;</div><div class="line"><a name="l00117"></a><span class="lineno">  117</span>&#160;            <span class="keywordflow">else</span> <span class="keywordflow">if</span> (SVFUtil::isa&lt;CallICFGNode&gt;(node))</div><div class="line"><a name="l00118"></a><span class="lineno">  118</span>&#160;                numOfCallNodes++;</div><div class="line"><a name="l00119"></a><span class="lineno">  119</span>&#160;            <span class="keywordflow">else</span> <span class="keywordflow">if</span> (SVFUtil::isa&lt;RetICFGNode&gt;(node))</div><div class="line"><a name="l00120"></a><span class="lineno">  120</span>&#160;                numOfRetNodes++;</div><div class="line"><a name="l00121"></a><span class="lineno">  121</span>&#160;            <span class="keywordflow">else</span> <span class="keywordflow">if</span> (SVFUtil::isa&lt;FunEntryICFGNode&gt;(node))</div><div class="line"><a name="l00122"></a><span class="lineno">  122</span>&#160;                numOfEntryNodes++;</div><div class="line"><a name="l00123"></a><span class="lineno">  123</span>&#160;            <span class="keywordflow">else</span> <span class="keywordflow">if</span> (SVFUtil::isa&lt;FunExitICFGNode&gt;(node))</div><div class="line"><a name="l00124"></a><span class="lineno">  124</span>&#160;                numOfExitNodes++;</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;</div><div class="line"><a name="l00127"></a><span class="lineno">  127</span>&#160;            ICFGEdge::ICFGEdgeSetTy::iterator edgeIt =</div><div class="line"><a name="l00128"></a><span class="lineno">  128</span>&#160;                it-&gt;second-&gt;<a class="code" href="classSVF_1_1GenericNode.html#aa4f103330118c8976bf95e4bf53416eb">OutEdgeBegin</a>();</div><div class="line"><a name="l00129"></a><span class="lineno">  129</span>&#160;            ICFGEdge::ICFGEdgeSetTy::iterator edgeEit =</div><div class="line"><a name="l00130"></a><span class="lineno">  130</span>&#160;                it-&gt;second-&gt;OutEdgeEnd();</div><div class="line"><a name="l00131"></a><span class="lineno">  131</span>&#160;            <span class="keywordflow">for</span> (; edgeIt != edgeEit; ++edgeIt)</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="keyword">const</span> <a class="code" href="classSVF_1_1ICFGEdge.html">ICFGEdge</a> *edge = *edgeIt;</div><div class="line"><a name="l00134"></a><span class="lineno">  134</span>&#160;                numOfEdges++;</div><div class="line"><a name="l00135"></a><span class="lineno">  135</span>&#160;                <span class="keywordflow">if</span> (edge-&gt;<a class="code" href="classSVF_1_1ICFGEdge.html#a2ecc0bc3bb3655bf3db3adb732747b49">isCallCFGEdge</a>())</div><div class="line"><a name="l00136"></a><span class="lineno">  136</span>&#160;                    numOfCallEdges++;</div><div class="line"><a name="l00137"></a><span class="lineno">  137</span>&#160;                <span class="keywordflow">else</span> <span class="keywordflow">if</span> (edge-&gt;<a class="code" href="classSVF_1_1ICFGEdge.html#ae3e7a6596de9fd3a25a28242a06ddd80">isRetCFGEdge</a>())</div><div class="line"><a name="l00138"></a><span class="lineno">  138</span>&#160;                    numOfRetEdges++;</div><div class="line"><a name="l00139"></a><span class="lineno">  139</span>&#160;                <span class="keywordflow">else</span> <span class="keywordflow">if</span> (edge-&gt;<a class="code" href="classSVF_1_1ICFGEdge.html#a4e6d228dfc678618a423e8293877f04c">isIntraCFGEdge</a>())</div><div class="line"><a name="l00140"></a><span class="lineno">  140</span>&#160;                    numOfIntraEdges++;</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">  142</span>&#160;        }</div><div class="line"><a name="l00143"></a><span class="lineno">  143</span>&#160;    }</div><div class="line"><a name="l00144"></a><span class="lineno">  144</span>&#160;</div><div class="line"><a name="l00145"></a><span class="lineno"><a class="line" href="classSVF_1_1ICFGStat.html#af9c004e3532968ae806a3d344ef885ea">  145</a></span>&#160;    <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1ICFGStat.html#af9c004e3532968ae806a3d344ef885ea">printStat</a>(<a class="code" href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">std::string</a> statname)</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">  148</span>&#160;        <a class="code" href="namespaceSVF_1_1SVFUtil.html#aed0b0b9f035057552a6a82154fd88e61">SVFUtil::outs</a>() &lt;&lt; <span class="stringliteral">&quot;\n************ &quot;</span> &lt;&lt; statname &lt;&lt; <span class="stringliteral">&quot; ***************\n&quot;</span>;</div><div class="line"><a name="l00149"></a><span class="lineno">  149</span>&#160;        <a class="code" href="namespaceSVF_1_1SVFUtil.html#aed0b0b9f035057552a6a82154fd88e61">SVFUtil::outs</a>().flags(std::ios::left);</div><div class="line"><a name="l00150"></a><span class="lineno">  150</span>&#160;        <span class="keywordtype">unsigned</span> field_width = 20;</div><div class="line"><a name="l00151"></a><span class="lineno">  151</span>&#160;        <span class="keywordflow">for</span>(NUMStatMap::iterator it = <a class="code" href="classSVF_1_1PTAStat.html#afdb975520329be0c33cc7bdd51ba7031">PTNumStatMap</a>.begin(), eit = <a class="code" href="classSVF_1_1PTAStat.html#afdb975520329be0c33cc7bdd51ba7031">PTNumStatMap</a>.end(); it!=eit; ++it)</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;            <span class="comment">// format out put with width 20 space</span></div><div class="line"><a name="l00154"></a><span class="lineno">  154</span>&#160;            <a class="code" href="namespaceSVF_1_1SVFUtil.html#aed0b0b9f035057552a6a82154fd88e61">SVFUtil::outs</a>() &lt;&lt; std::setw(field_width) &lt;&lt; it-&gt;first &lt;&lt; it-&gt;second &lt;&lt; <span class="stringliteral">&quot;\n&quot;</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;        <a class="code" href="classSVF_1_1PTAStat.html#afdb975520329be0c33cc7bdd51ba7031">PTNumStatMap</a>.clear();</div><div class="line"><a name="l00157"></a><span class="lineno">  157</span>&#160;        <a class="code" href="namespaceSVF_1_1SVFUtil.html#aed0b0b9f035057552a6a82154fd88e61">SVFUtil::outs</a>().flush();</div><div class="line"><a name="l00158"></a><span class="lineno">  158</span>&#160;    }</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">  160</span>&#160;</div><div class="line"><a name="l00161"></a><span class="lineno">  161</span>&#160;} <span class="comment">// End namespace SVF</span></div><div class="line"><a name="l00162"></a><span class="lineno">  162</span>&#160;</div><div class="line"><a name="l00163"></a><span class="lineno">  163</span>&#160;<span class="preprocessor">#endif </span><span class="comment">/* INCLUDE_UTIL_ICFGSTAT_H_ */</span><span class="preprocessor"></span></div><div class="line"><a name="l00164"></a><span class="lineno">  164</span>&#160;</div><div class="ttc" id="classSVF_1_1ICFGEdge_html"><div class="ttname"><a href="classSVF_1_1ICFGEdge.html">SVF::ICFGEdge</a></div><div class="ttdef"><b>Definition:</b> <a href="ICFGEdge_8h_source.html#l00044">ICFGEdge.h:44</a></div></div>
+<a href="ICFGStat_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">//===- ICFGStat.h ----------------------------------------------------------//</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;<span class="comment">/*</span></div><div class="line"><a name="l00023"></a><span class="lineno">   23</span>&#160;<span class="comment"> * ICFGStat.h</span></div><div class="line"><a name="l00024"></a><span class="lineno">   24</span>&#160;<span class="comment"> *</span></div><div class="line"><a name="l00025"></a><span class="lineno">   25</span>&#160;<span class="comment"> *  Created on: 12Sep.,2018</span></div><div class="line"><a name="l00026"></a><span class="lineno">   26</span>&#160;<span class="comment"> *      Author: yulei</span></div><div class="line"><a name="l00027"></a><span class="lineno">   27</span>&#160;<span class="comment"> */</span></div><div class="line"><a name="l00028"></a><span class="lineno">   28</span>&#160;</div><div class="line"><a name="l00029"></a><span class="lineno">   29</span>&#160;<span class="preprocessor">#ifndef INCLUDE_UTIL_ICFGSTAT_H_</span></div><div class="line"><a name="l00030"></a><span class="lineno">   30</span>&#160;<span class="preprocessor">#define INCLUDE_UTIL_ICFGSTAT_H_</span></div><div class="line"><a name="l00031"></a><span class="lineno">   31</span>&#160;</div><div class="line"><a name="l00032"></a><span class="lineno">   32</span>&#160;<span class="preprocessor">#include &quot;<a class="code" href="PTAStat_8h.html">Util/PTAStat.h</a>&quot;</span></div><div class="line"><a name="l00033"></a><span class="lineno">   33</span>&#160;<span class="preprocessor">#include &quot;<a class="code" href="ICFG_8h.html">Graphs/ICFG.h</a>&quot;</span></div><div class="line"><a name="l00034"></a><span class="lineno">   34</span>&#160;<span class="preprocessor">#include &lt;iomanip&gt;</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"><a class="line" href="classSVF_1_1ICFGStat.html">   39</a></span>&#160;<span class="keyword">class </span><a class="code" href="classSVF_1_1ICFGStat.html">ICFGStat</a> : <span class="keyword">public</span> <a class="code" href="classSVF_1_1PTAStat.html">PTAStat</a></div><div class="line"><a name="l00040"></a><span class="lineno">   40</span>&#160;{</div><div class="line"><a name="l00041"></a><span class="lineno">   41</span>&#160;</div><div class="line"><a name="l00042"></a><span class="lineno">   42</span>&#160;<span class="keyword">private</span>:</div><div class="line"><a name="l00043"></a><span class="lineno"><a class="line" href="classSVF_1_1ICFGStat.html#a03185827f7913a480523de5b8f911acb">   43</a></span>&#160;    <a class="code" href="classSVF_1_1ICFG.html">ICFG</a> *<a class="code" href="classSVF_1_1ICFGStat.html#a03185827f7913a480523de5b8f911acb">icfg</a>;</div><div class="line"><a name="l00044"></a><span class="lineno"><a class="line" href="classSVF_1_1ICFGStat.html#a8e71a19c266aacd7acb1fee6bb339788">   44</a></span>&#160;    <span class="keywordtype">int</span> <a class="code" href="classSVF_1_1ICFGStat.html#a8e71a19c266aacd7acb1fee6bb339788">numOfNodes</a>;</div><div class="line"><a name="l00045"></a><span class="lineno"><a class="line" href="classSVF_1_1ICFGStat.html#a7f8d88b6d8d4892e85006320b39c7dc4">   45</a></span>&#160;    <span class="keywordtype">int</span> <a class="code" href="classSVF_1_1ICFGStat.html#a7f8d88b6d8d4892e85006320b39c7dc4">numOfCallNodes</a>;</div><div class="line"><a name="l00046"></a><span class="lineno"><a class="line" href="classSVF_1_1ICFGStat.html#ac9bfce40c058ed7ab178fe1f1818e9de">   46</a></span>&#160;    <span class="keywordtype">int</span> <a class="code" href="classSVF_1_1ICFGStat.html#ac9bfce40c058ed7ab178fe1f1818e9de">numOfRetNodes</a>;</div><div class="line"><a name="l00047"></a><span class="lineno"><a class="line" href="classSVF_1_1ICFGStat.html#ad37793e64fe58a8faba201c18d876685">   47</a></span>&#160;    <span class="keywordtype">int</span> <a class="code" href="classSVF_1_1ICFGStat.html#ad37793e64fe58a8faba201c18d876685">numOfEntryNodes</a>;</div><div class="line"><a name="l00048"></a><span class="lineno"><a class="line" href="classSVF_1_1ICFGStat.html#ad7e00680fb8ca31afbd166f9a4adc5ec">   48</a></span>&#160;    <span class="keywordtype">int</span> <a class="code" href="classSVF_1_1ICFGStat.html#ad7e00680fb8ca31afbd166f9a4adc5ec">numOfExitNodes</a>;</div><div class="line"><a name="l00049"></a><span class="lineno"><a class="line" href="classSVF_1_1ICFGStat.html#ad88dbfaabae9b36f02a6e6e815d08e3e">   49</a></span>&#160;    <span class="keywordtype">int</span> <a class="code" href="classSVF_1_1ICFGStat.html#ad88dbfaabae9b36f02a6e6e815d08e3e">numOfIntraNodes</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"><a class="line" href="classSVF_1_1ICFGStat.html#a5e9bb5ae47aacba7c625a9fa3e349e82">   51</a></span>&#160;    <span class="keywordtype">int</span> <a class="code" href="classSVF_1_1ICFGStat.html#a5e9bb5ae47aacba7c625a9fa3e349e82">numOfEdges</a>;</div><div class="line"><a name="l00052"></a><span class="lineno"><a class="line" href="classSVF_1_1ICFGStat.html#ab924988ff980c57a4e9155adaa5c0ff2">   52</a></span>&#160;    <span class="keywordtype">int</span> <a class="code" href="classSVF_1_1ICFGStat.html#ab924988ff980c57a4e9155adaa5c0ff2">numOfCallEdges</a>;</div><div class="line"><a name="l00053"></a><span class="lineno"><a class="line" href="classSVF_1_1ICFGStat.html#a3bd1a0b0b206baadea52bfa88e029dfa">   53</a></span>&#160;    <span class="keywordtype">int</span> <a class="code" href="classSVF_1_1ICFGStat.html#a3bd1a0b0b206baadea52bfa88e029dfa">numOfRetEdges</a>;</div><div class="line"><a name="l00054"></a><span class="lineno"><a class="line" href="classSVF_1_1ICFGStat.html#a3ddf933064f2a7f2efbd3a1af2ae7658">   54</a></span>&#160;    <span class="keywordtype">int</span> <a class="code" href="classSVF_1_1ICFGStat.html#a3ddf933064f2a7f2efbd3a1af2ae7658">numOfIntraEdges</a>;</div><div class="line"><a name="l00055"></a><span class="lineno">   55</span>&#160;</div><div class="line"><a name="l00056"></a><span class="lineno">   56</span>&#160;<span class="keyword">public</span>:</div><div class="line"><a name="l00057"></a><span class="lineno"><a class="line" href="classSVF_1_1ICFGStat.html#a69670ae14f5ec47728e2ddc7dd4dec84">   57</a></span>&#160;    <span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#af739db846e47ba6b2fd15eaad31ab7fb">Set&lt;const ICFGNode *&gt;</a> <a class="code" href="classSVF_1_1ICFGStat.html#a69670ae14f5ec47728e2ddc7dd4dec84">ICFGNodeSet</a>;</div><div class="line"><a name="l00058"></a><span class="lineno">   58</span>&#160;</div><div class="line"><a name="l00059"></a><span class="lineno"><a class="line" href="classSVF_1_1ICFGStat.html#a3bbad3d1c0ab0cad3cc4b7aa069d1f9f">   59</a></span>&#160;    <a class="code" href="classSVF_1_1ICFGStat.html#a3bbad3d1c0ab0cad3cc4b7aa069d1f9f">ICFGStat</a>(<a class="code" href="classSVF_1_1ICFG.html">ICFG</a> *cfg) : <a class="code" href="classSVF_1_1PTAStat.html">PTAStat</a>(nullptr), icfg(cfg)</div><div class="line"><a name="l00060"></a><span class="lineno">   60</span>&#160;    {</div><div class="line"><a name="l00061"></a><span class="lineno">   61</span>&#160;        numOfNodes = 0;</div><div class="line"><a name="l00062"></a><span class="lineno">   62</span>&#160;        numOfCallNodes = 0;</div><div class="line"><a name="l00063"></a><span class="lineno">   63</span>&#160;        numOfRetNodes = 0;</div><div class="line"><a name="l00064"></a><span class="lineno">   64</span>&#160;        numOfEntryNodes = 0;</div><div class="line"><a name="l00065"></a><span class="lineno">   65</span>&#160;        numOfExitNodes = 0;</div><div class="line"><a name="l00066"></a><span class="lineno">   66</span>&#160;        numOfIntraNodes = 0;</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;        numOfEdges = 0;</div><div class="line"><a name="l00069"></a><span class="lineno">   69</span>&#160;        numOfCallEdges = 0;</div><div class="line"><a name="l00070"></a><span class="lineno">   70</span>&#160;        numOfRetEdges = 0;</div><div class="line"><a name="l00071"></a><span class="lineno">   71</span>&#160;        numOfIntraEdges = 0;</div><div class="line"><a name="l00072"></a><span class="lineno">   72</span>&#160;</div><div class="line"><a name="l00073"></a><span class="lineno">   73</span>&#160;    }</div><div class="line"><a name="l00074"></a><span class="lineno">   74</span>&#160;</div><div class="line"><a name="l00075"></a><span class="lineno"><a class="line" href="classSVF_1_1ICFGStat.html#aabe0779dc44ddc4e06300ea912cca39f">   75</a></span>&#160;    <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1ICFGStat.html#aabe0779dc44ddc4e06300ea912cca39f">performStat</a>()</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">   77</span>&#160;</div><div class="line"><a name="l00078"></a><span class="lineno">   78</span>&#160;        <a class="code" href="classSVF_1_1ICFGStat.html#a632f57db1f1e17f49289b5dfec048ef6">countStat</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">   80</span>&#160;        <a class="code" href="classSVF_1_1SVFStat.html#a11c34e8ba16769d218432d9504ba26a0">PTNumStatMap</a>[<span class="stringliteral">&quot;ICFGNode&quot;</span>] = <a class="code" href="classSVF_1_1ICFGStat.html#a8e71a19c266aacd7acb1fee6bb339788">numOfNodes</a>;</div><div class="line"><a name="l00081"></a><span class="lineno">   81</span>&#160;        <a class="code" href="classSVF_1_1SVFStat.html#a11c34e8ba16769d218432d9504ba26a0">PTNumStatMap</a>[<span class="stringliteral">&quot;IntraICFGNode&quot;</span>] = <a class="code" href="classSVF_1_1ICFGStat.html#ad88dbfaabae9b36f02a6e6e815d08e3e">numOfIntraNodes</a>;</div><div class="line"><a name="l00082"></a><span class="lineno">   82</span>&#160;        <a class="code" href="classSVF_1_1SVFStat.html#a11c34e8ba16769d218432d9504ba26a0">PTNumStatMap</a>[<span class="stringliteral">&quot;CallICFGNode&quot;</span>] = <a class="code" href="classSVF_1_1ICFGStat.html#a7f8d88b6d8d4892e85006320b39c7dc4">numOfCallNodes</a>;</div><div class="line"><a name="l00083"></a><span class="lineno">   83</span>&#160;        <a class="code" href="classSVF_1_1SVFStat.html#a11c34e8ba16769d218432d9504ba26a0">PTNumStatMap</a>[<span class="stringliteral">&quot;RetICFGNode&quot;</span>] = <a class="code" href="classSVF_1_1ICFGStat.html#ac9bfce40c058ed7ab178fe1f1818e9de">numOfRetNodes</a>;</div><div class="line"><a name="l00084"></a><span class="lineno">   84</span>&#160;        <a class="code" href="classSVF_1_1SVFStat.html#a11c34e8ba16769d218432d9504ba26a0">PTNumStatMap</a>[<span class="stringliteral">&quot;FunEntryICFGNode&quot;</span>] = <a class="code" href="classSVF_1_1ICFGStat.html#ad37793e64fe58a8faba201c18d876685">numOfEntryNodes</a>;</div><div class="line"><a name="l00085"></a><span class="lineno">   85</span>&#160;        <a class="code" href="classSVF_1_1SVFStat.html#a11c34e8ba16769d218432d9504ba26a0">PTNumStatMap</a>[<span class="stringliteral">&quot;FunExitICFGNode&quot;</span>] = <a class="code" href="classSVF_1_1ICFGStat.html#ad7e00680fb8ca31afbd166f9a4adc5ec">numOfExitNodes</a>;</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;        <a class="code" href="classSVF_1_1SVFStat.html#a11c34e8ba16769d218432d9504ba26a0">PTNumStatMap</a>[<span class="stringliteral">&quot;ICFGEdge&quot;</span>] = <a class="code" href="classSVF_1_1ICFGStat.html#a5e9bb5ae47aacba7c625a9fa3e349e82">numOfEdges</a>;</div><div class="line"><a name="l00088"></a><span class="lineno">   88</span>&#160;        <a class="code" href="classSVF_1_1SVFStat.html#a11c34e8ba16769d218432d9504ba26a0">PTNumStatMap</a>[<span class="stringliteral">&quot;CallCFGEdge&quot;</span>] = <a class="code" href="classSVF_1_1ICFGStat.html#ab924988ff980c57a4e9155adaa5c0ff2">numOfCallEdges</a>;</div><div class="line"><a name="l00089"></a><span class="lineno">   89</span>&#160;        <a class="code" href="classSVF_1_1SVFStat.html#a11c34e8ba16769d218432d9504ba26a0">PTNumStatMap</a>[<span class="stringliteral">&quot;RetCFGEdge&quot;</span>] = <a class="code" href="classSVF_1_1ICFGStat.html#a3bd1a0b0b206baadea52bfa88e029dfa">numOfRetEdges</a>;</div><div class="line"><a name="l00090"></a><span class="lineno">   90</span>&#160;        <a class="code" href="classSVF_1_1SVFStat.html#a11c34e8ba16769d218432d9504ba26a0">PTNumStatMap</a>[<span class="stringliteral">&quot;IntraCFGEdge&quot;</span>] = <a class="code" href="classSVF_1_1ICFGStat.html#a3ddf933064f2a7f2efbd3a1af2ae7658">numOfIntraEdges</a>;</div><div class="line"><a name="l00091"></a><span class="lineno">   91</span>&#160;</div><div class="line"><a name="l00092"></a><span class="lineno">   92</span>&#160;        <a class="code" href="classSVF_1_1ICFGStat.html#af9c004e3532968ae806a3d344ef885ea">printStat</a>(<span class="stringliteral">&quot;ICFG Stat&quot;</span>);</div><div class="line"><a name="l00093"></a><span class="lineno">   93</span>&#160;    }</div><div class="line"><a name="l00094"></a><span class="lineno">   94</span>&#160;</div><div class="line"><a name="l00095"></a><span class="lineno"><a class="line" href="classSVF_1_1ICFGStat.html#a17d9638aa5f4b9aac194862400a209da">   95</a></span>&#160;    <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1ICFGStat.html#a17d9638aa5f4b9aac194862400a209da">performStatforIFDS</a>()</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;</div><div class="line"><a name="l00098"></a><span class="lineno">   98</span>&#160;        <a class="code" href="classSVF_1_1ICFGStat.html#a632f57db1f1e17f49289b5dfec048ef6">countStat</a>();</div><div class="line"><a name="l00099"></a><span class="lineno">   99</span>&#160;        <a class="code" href="classSVF_1_1SVFStat.html#a11c34e8ba16769d218432d9504ba26a0">PTNumStatMap</a>[<span class="stringliteral">&quot;ICFGNode(N)&quot;</span>] = <a class="code" href="classSVF_1_1ICFGStat.html#a8e71a19c266aacd7acb1fee6bb339788">numOfNodes</a>;</div><div class="line"><a name="l00100"></a><span class="lineno">  100</span>&#160;        <a class="code" href="classSVF_1_1SVFStat.html#a11c34e8ba16769d218432d9504ba26a0">PTNumStatMap</a>[<span class="stringliteral">&quot;CallICFGNode(Call)&quot;</span>] = <a class="code" href="classSVF_1_1ICFGStat.html#a7f8d88b6d8d4892e85006320b39c7dc4">numOfCallNodes</a>;</div><div class="line"><a name="l00101"></a><span class="lineno">  101</span>&#160;        <a class="code" href="classSVF_1_1SVFStat.html#a11c34e8ba16769d218432d9504ba26a0">PTNumStatMap</a>[<span class="stringliteral">&quot;ICFGEdge(E)&quot;</span>] = <a class="code" href="classSVF_1_1ICFGStat.html#a5e9bb5ae47aacba7c625a9fa3e349e82">numOfEdges</a>;</div><div class="line"><a name="l00102"></a><span class="lineno">  102</span>&#160;        <a class="code" href="classSVF_1_1ICFGStat.html#af9c004e3532968ae806a3d344ef885ea">printStat</a>(<span class="stringliteral">&quot;IFDS Stat&quot;</span>);</div><div class="line"><a name="l00103"></a><span class="lineno">  103</span>&#160;    }</div><div class="line"><a name="l00104"></a><span class="lineno">  104</span>&#160;</div><div class="line"><a name="l00105"></a><span class="lineno"><a class="line" href="classSVF_1_1ICFGStat.html#a632f57db1f1e17f49289b5dfec048ef6">  105</a></span>&#160;    <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1ICFGStat.html#a632f57db1f1e17f49289b5dfec048ef6">countStat</a>()</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;        ICFG::ICFGNodeIDToNodeMapTy::iterator it = icfg-&gt;<a class="code" href="classSVF_1_1GenericGraph.html#a0d9744b1b0e7a09a6f7af29188e243b7">begin</a>();</div><div class="line"><a name="l00108"></a><span class="lineno">  108</span>&#160;        ICFG::ICFGNodeIDToNodeMapTy::iterator eit = icfg-&gt;<a class="code" href="classSVF_1_1GenericGraph.html#a4bef15157423cef48dc7333a803cd27d">end</a>();</div><div class="line"><a name="l00109"></a><span class="lineno">  109</span>&#160;        <span class="keywordflow">for</span> (; it != eit; ++it)</div><div class="line"><a name="l00110"></a><span class="lineno">  110</span>&#160;        {</div><div class="line"><a name="l00111"></a><span class="lineno">  111</span>&#160;            numOfNodes++;</div><div class="line"><a name="l00112"></a><span class="lineno">  112</span>&#160;</div><div class="line"><a name="l00113"></a><span class="lineno">  113</span>&#160;            <a class="code" href="classSVF_1_1ICFGNode.html">ICFGNode</a> *node = it-&gt;second;</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;            <span class="keywordflow">if</span> (SVFUtil::isa&lt;IntraICFGNode&gt;(node))</div><div class="line"><a name="l00116"></a><span class="lineno">  116</span>&#160;                numOfIntraNodes++;</div><div class="line"><a name="l00117"></a><span class="lineno">  117</span>&#160;            <span class="keywordflow">else</span> <span class="keywordflow">if</span> (SVFUtil::isa&lt;CallICFGNode&gt;(node))</div><div class="line"><a name="l00118"></a><span class="lineno">  118</span>&#160;                numOfCallNodes++;</div><div class="line"><a name="l00119"></a><span class="lineno">  119</span>&#160;            <span class="keywordflow">else</span> <span class="keywordflow">if</span> (SVFUtil::isa&lt;RetICFGNode&gt;(node))</div><div class="line"><a name="l00120"></a><span class="lineno">  120</span>&#160;                numOfRetNodes++;</div><div class="line"><a name="l00121"></a><span class="lineno">  121</span>&#160;            <span class="keywordflow">else</span> <span class="keywordflow">if</span> (SVFUtil::isa&lt;FunEntryICFGNode&gt;(node))</div><div class="line"><a name="l00122"></a><span class="lineno">  122</span>&#160;                numOfEntryNodes++;</div><div class="line"><a name="l00123"></a><span class="lineno">  123</span>&#160;            <span class="keywordflow">else</span> <span class="keywordflow">if</span> (SVFUtil::isa&lt;FunExitICFGNode&gt;(node))</div><div class="line"><a name="l00124"></a><span class="lineno">  124</span>&#160;                numOfExitNodes++;</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;</div><div class="line"><a name="l00127"></a><span class="lineno">  127</span>&#160;            ICFGEdge::ICFGEdgeSetTy::iterator edgeIt =</div><div class="line"><a name="l00128"></a><span class="lineno">  128</span>&#160;                it-&gt;second-&gt;<a class="code" href="classSVF_1_1GenericNode.html#aa4f103330118c8976bf95e4bf53416eb">OutEdgeBegin</a>();</div><div class="line"><a name="l00129"></a><span class="lineno">  129</span>&#160;            ICFGEdge::ICFGEdgeSetTy::iterator edgeEit =</div><div class="line"><a name="l00130"></a><span class="lineno">  130</span>&#160;                it-&gt;second-&gt;OutEdgeEnd();</div><div class="line"><a name="l00131"></a><span class="lineno">  131</span>&#160;            <span class="keywordflow">for</span> (; edgeIt != edgeEit; ++edgeIt)</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="keyword">const</span> <a class="code" href="classSVF_1_1ICFGEdge.html">ICFGEdge</a> *edge = *edgeIt;</div><div class="line"><a name="l00134"></a><span class="lineno">  134</span>&#160;                numOfEdges++;</div><div class="line"><a name="l00135"></a><span class="lineno">  135</span>&#160;                <span class="keywordflow">if</span> (edge-&gt;<a class="code" href="classSVF_1_1ICFGEdge.html#a2ecc0bc3bb3655bf3db3adb732747b49">isCallCFGEdge</a>())</div><div class="line"><a name="l00136"></a><span class="lineno">  136</span>&#160;                    numOfCallEdges++;</div><div class="line"><a name="l00137"></a><span class="lineno">  137</span>&#160;                <span class="keywordflow">else</span> <span class="keywordflow">if</span> (edge-&gt;<a class="code" href="classSVF_1_1ICFGEdge.html#ae3e7a6596de9fd3a25a28242a06ddd80">isRetCFGEdge</a>())</div><div class="line"><a name="l00138"></a><span class="lineno">  138</span>&#160;                    numOfRetEdges++;</div><div class="line"><a name="l00139"></a><span class="lineno">  139</span>&#160;                <span class="keywordflow">else</span> <span class="keywordflow">if</span> (edge-&gt;<a class="code" href="classSVF_1_1ICFGEdge.html#a4e6d228dfc678618a423e8293877f04c">isIntraCFGEdge</a>())</div><div class="line"><a name="l00140"></a><span class="lineno">  140</span>&#160;                    numOfIntraEdges++;</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">  142</span>&#160;        }</div><div class="line"><a name="l00143"></a><span class="lineno">  143</span>&#160;    }</div><div class="line"><a name="l00144"></a><span class="lineno">  144</span>&#160;</div><div class="line"><a name="l00145"></a><span class="lineno"><a class="line" href="classSVF_1_1ICFGStat.html#af9c004e3532968ae806a3d344ef885ea">  145</a></span>&#160;    <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1ICFGStat.html#af9c004e3532968ae806a3d344ef885ea">printStat</a>(<a class="code" href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">std::string</a> statname)</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">  148</span>&#160;        <a class="code" href="namespaceSVF_1_1SVFUtil.html#aed0b0b9f035057552a6a82154fd88e61">SVFUtil::outs</a>() &lt;&lt; <span class="stringliteral">&quot;\n************ &quot;</span> &lt;&lt; statname &lt;&lt; <span class="stringliteral">&quot; ***************\n&quot;</span>;</div><div class="line"><a name="l00149"></a><span class="lineno">  149</span>&#160;        <a class="code" href="namespaceSVF_1_1SVFUtil.html#aed0b0b9f035057552a6a82154fd88e61">SVFUtil::outs</a>().flags(std::ios::left);</div><div class="line"><a name="l00150"></a><span class="lineno">  150</span>&#160;        <span class="keywordtype">unsigned</span> field_width = 20;</div><div class="line"><a name="l00151"></a><span class="lineno">  151</span>&#160;        <span class="keywordflow">for</span>(NUMStatMap::iterator it = <a class="code" href="classSVF_1_1SVFStat.html#a11c34e8ba16769d218432d9504ba26a0">PTNumStatMap</a>.begin(), eit = <a class="code" href="classSVF_1_1SVFStat.html#a11c34e8ba16769d218432d9504ba26a0">PTNumStatMap</a>.end(); it!=eit; ++it)</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;            <span class="comment">// format out put with width 20 space</span></div><div class="line"><a name="l00154"></a><span class="lineno">  154</span>&#160;            <a class="code" href="namespaceSVF_1_1SVFUtil.html#aed0b0b9f035057552a6a82154fd88e61">SVFUtil::outs</a>() &lt;&lt; std::setw(field_width) &lt;&lt; it-&gt;first &lt;&lt; it-&gt;second &lt;&lt; <span class="stringliteral">&quot;\n&quot;</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;        <a class="code" href="classSVF_1_1SVFStat.html#a11c34e8ba16769d218432d9504ba26a0">PTNumStatMap</a>.clear();</div><div class="line"><a name="l00157"></a><span class="lineno">  157</span>&#160;        <a class="code" href="namespaceSVF_1_1SVFUtil.html#aed0b0b9f035057552a6a82154fd88e61">SVFUtil::outs</a>().flush();</div><div class="line"><a name="l00158"></a><span class="lineno">  158</span>&#160;    }</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">  160</span>&#160;</div><div class="line"><a name="l00161"></a><span class="lineno">  161</span>&#160;} <span class="comment">// End namespace SVF</span></div><div class="line"><a name="l00162"></a><span class="lineno">  162</span>&#160;</div><div class="line"><a name="l00163"></a><span class="lineno">  163</span>&#160;<span class="preprocessor">#endif </span><span class="comment">/* INCLUDE_UTIL_ICFGSTAT_H_ */</span><span class="preprocessor"></span></div><div class="line"><a name="l00164"></a><span class="lineno">  164</span>&#160;</div><div class="ttc" id="classSVF_1_1ICFGEdge_html"><div class="ttname"><a href="classSVF_1_1ICFGEdge.html">SVF::ICFGEdge</a></div><div class="ttdef"><b>Definition:</b> <a href="ICFGEdge_8h_source.html#l00044">ICFGEdge.h:44</a></div></div>
 <div class="ttc" id="classSVF_1_1GenericGraph_html_a0d9744b1b0e7a09a6f7af29188e243b7"><div class="ttname"><a href="classSVF_1_1GenericGraph.html#a0d9744b1b0e7a09a6f7af29188e243b7">SVF::GenericGraph::begin</a></div><div class="ttdeci">iterator begin()</div><div class="ttdoc">Iterators. </div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00365">GenericGraph.h:365</a></div></div>
 <div class="ttc" id="classSVF_1_1ICFGStat_html_a5e9bb5ae47aacba7c625a9fa3e349e82"><div class="ttname"><a href="classSVF_1_1ICFGStat.html#a5e9bb5ae47aacba7c625a9fa3e349e82">SVF::ICFGStat::numOfEdges</a></div><div class="ttdeci">int numOfEdges</div><div class="ttdef"><b>Definition:</b> <a href="ICFGStat_8h_source.html#l00051">ICFGStat.h:51</a></div></div>
 <div class="ttc" id="classSVF_1_1GenericNode_html_aa4f103330118c8976bf95e4bf53416eb"><div class="ttname"><a href="classSVF_1_1GenericNode.html#aa4f103330118c8976bf95e4bf53416eb">SVF::GenericNode::OutEdgeBegin</a></div><div class="ttdeci">iterator OutEdgeBegin()</div><div class="ttdoc">iterators </div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00206">GenericGraph.h:206</a></div></div>
 <div class="ttc" id="classSVF_1_1ICFGStat_html_a3ddf933064f2a7f2efbd3a1af2ae7658"><div class="ttname"><a href="classSVF_1_1ICFGStat.html#a3ddf933064f2a7f2efbd3a1af2ae7658">SVF::ICFGStat::numOfIntraEdges</a></div><div class="ttdeci">int numOfIntraEdges</div><div class="ttdef"><b>Definition:</b> <a href="ICFGStat_8h_source.html#l00054">ICFGStat.h:54</a></div></div>
+<div class="ttc" id="classSVF_1_1SVFStat_html_a11c34e8ba16769d218432d9504ba26a0"><div class="ttname"><a href="classSVF_1_1SVFStat.html#a11c34e8ba16769d218432d9504ba26a0">SVF::SVFStat::PTNumStatMap</a></div><div class="ttdeci">NUMStatMap PTNumStatMap</div><div class="ttdef"><b>Definition:</b> <a href="SVFStat_8h_source.html#l00074">SVFStat.h:74</a></div></div>
 <div class="ttc" id="classSVF_1_1ICFGStat_html_ad37793e64fe58a8faba201c18d876685"><div class="ttname"><a href="classSVF_1_1ICFGStat.html#ad37793e64fe58a8faba201c18d876685">SVF::ICFGStat::numOfEntryNodes</a></div><div class="ttdeci">int numOfEntryNodes</div><div class="ttdef"><b>Definition:</b> <a href="ICFGStat_8h_source.html#l00047">ICFGStat.h:47</a></div></div>
 <div class="ttc" id="classSVF_1_1ICFGStat_html_ab924988ff980c57a4e9155adaa5c0ff2"><div class="ttname"><a href="classSVF_1_1ICFGStat.html#ab924988ff980c57a4e9155adaa5c0ff2">SVF::ICFGStat::numOfCallEdges</a></div><div class="ttdeci">int numOfCallEdges</div><div class="ttdef"><b>Definition:</b> <a href="ICFGStat_8h_source.html#l00052">ICFGStat.h:52</a></div></div>
 <div class="ttc" id="classSVF_1_1ICFGStat_html_a03185827f7913a480523de5b8f911acb"><div class="ttname"><a href="classSVF_1_1ICFGStat.html#a03185827f7913a480523de5b8f911acb">SVF::ICFGStat::icfg</a></div><div class="ttdeci">ICFG * icfg</div><div class="ttdef"><b>Definition:</b> <a href="ICFGStat_8h_source.html#l00043">ICFGStat.h:43</a></div></div>
@@ -97,7 +98,6 @@ $(function() {
 <div class="ttc" id="classSVF_1_1ICFGEdge_html_ae3e7a6596de9fd3a25a28242a06ddd80"><div class="ttname"><a href="classSVF_1_1ICFGEdge.html#ae3e7a6596de9fd3a25a28242a06ddd80">SVF::ICFGEdge::isRetCFGEdge</a></div><div class="ttdeci">bool isRetCFGEdge() const</div><div class="ttdef"><b>Definition:</b> <a href="ICFGEdge_8h_source.html#l00080">ICFGEdge.h:80</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="PTAStat_8h_html"><div class="ttname"><a href="PTAStat_8h.html">PTAStat.h</a></div></div>
-<div class="ttc" id="classSVF_1_1PTAStat_html_afdb975520329be0c33cc7bdd51ba7031"><div class="ttname"><a href="classSVF_1_1PTAStat.html#afdb975520329be0c33cc7bdd51ba7031">SVF::PTAStat::PTNumStatMap</a></div><div class="ttdeci">NUMStatMap PTNumStatMap</div><div class="ttdef"><b>Definition:</b> <a href="PTAStat_8h_source.html#l00123">PTAStat.h:123</a></div></div>
 <div class="ttc" id="classSVF_1_1ICFGStat_html_ac9bfce40c058ed7ab178fe1f1818e9de"><div class="ttname"><a href="classSVF_1_1ICFGStat.html#ac9bfce40c058ed7ab178fe1f1818e9de">SVF::ICFGStat::numOfRetNodes</a></div><div class="ttdeci">int numOfRetNodes</div><div class="ttdef"><b>Definition:</b> <a href="ICFGStat_8h_source.html#l00046">ICFGStat.h:46</a></div></div>
 <div class="ttc" id="classSVF_1_1ICFGStat_html_af9c004e3532968ae806a3d344ef885ea"><div class="ttname"><a href="classSVF_1_1ICFGStat.html#af9c004e3532968ae806a3d344ef885ea">SVF::ICFGStat::printStat</a></div><div class="ttdeci">void printStat(std::string statname)</div><div class="ttdef"><b>Definition:</b> <a href="ICFGStat_8h_source.html#l00145">ICFGStat.h:145</a></div></div>
 <div class="ttc" id="classSVF_1_1ICFGStat_html_ad88dbfaabae9b36f02a6e6e815d08e3e"><div class="ttname"><a href="classSVF_1_1ICFGStat.html#ad88dbfaabae9b36f02a6e6e815d08e3e">SVF::ICFGStat::numOfIntraNodes</a></div><div class="ttdeci">int numOfIntraNodes</div><div class="ttdef"><b>Definition:</b> <a href="ICFGStat_8h_source.html#l00049">ICFGStat.h:49</a></div></div>

package/SVF-doxygen/html/html/LockAnalysis_8cpp_source.html

@@ -121,7 +121,7 @@ $(function() {
 <div class="ttc" id="classSVF_1_1LockAnalysis_html_a42ed881d4cd79eae099266a9e171aeb2"><div class="ttname"><a href="classSVF_1_1LockAnalysis.html#a42ed881d4cd79eae099266a9e171aeb2">SVF::LockAnalysis::CxtStmtSet</a></div><div class="ttdeci">Set&lt; CxtStmt &gt; CxtStmtSet</div><div class="ttdef"><b>Definition:</b> <a href="LockAnalysis_8h_source.html#l00070">LockAnalysis.h:70</a></div></div>
 <div class="ttc" id="namespaceSVF_1_1SVFUtil_html_aed0b0b9f035057552a6a82154fd88e61"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#aed0b0b9f035057552a6a82154fd88e61">SVF::SVFUtil::outs</a></div><div class="ttdeci">std::ostream &amp; outs()</div><div class="ttdoc">Overwrite llvm::outs() </div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8h_source.html#l00049">SVFUtil.h:49</a></div></div>
 <div class="ttc" id="classSVF_1_1PTACallGraphNode_html_a959445c97605953fbdebbbd999437a09"><div class="ttname"><a href="classSVF_1_1PTACallGraphNode.html#a959445c97605953fbdebbbd999437a09">SVF::PTACallGraphNode::getFunction</a></div><div class="ttdeci">const SVFFunction * getFunction() const</div><div class="ttdoc">Get function of this call node. </div><div class="ttdef"><b>Definition:</b> <a href="PTACallGraph_8h_source.html#l00193">PTACallGraph.h:193</a></div></div>
-<div class="ttc" id="classSVF_1_1SVFStat_html_ac9d390c417df6f6af6b274618b87010d"><div class="ttname"><a href="classSVF_1_1SVFStat.html#ac9d390c417df6f6af6b274618b87010d">SVF::SVFStat::getClk</a></div><div class="ttdeci">static double getClk(bool mark=false)</div><div class="ttdef"><b>Definition:</b> <a href="SVFStat_8cpp_source.html#l00046">SVFStat.cpp:46</a></div></div>
+<div class="ttc" id="classSVF_1_1SVFStat_html_ac9d390c417df6f6af6b274618b87010d"><div class="ttname"><a href="classSVF_1_1SVFStat.html#ac9d390c417df6f6af6b274618b87010d">SVF::SVFStat::getClk</a></div><div class="ttdeci">static double getClk(bool mark=false)</div><div class="ttdef"><b>Definition:</b> <a href="SVFStat_8cpp_source.html#l00047">SVFStat.cpp:47</a></div></div>
 <div class="ttc" id="classSVF_1_1ThreadCallGraph_html"><div class="ttname"><a href="classSVF_1_1ThreadCallGraph.html">SVF::ThreadCallGraph</a></div><div class="ttdef"><b>Definition:</b> <a href="ThreadCallGraph_8h_source.html#l00160">ThreadCallGraph.h:160</a></div></div>
 <div class="ttc" id="classSVF_1_1GenericEdge_html_ab47ca533c415841ef75456cbad439589"><div class="ttname"><a href="classSVF_1_1GenericEdge.html#ab47ca533c415841ef75456cbad439589">SVF::GenericEdge::getSrcNode</a></div><div class="ttdeci">NodeType * getSrcNode() const</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00089">GenericGraph.h:89</a></div></div>
 <div class="ttc" id="classSVF_1_1LockAnalysis_html_a561bb2fbfbeee9117efad7c7c70871d8"><div class="ttname"><a href="classSVF_1_1LockAnalysis.html#a561bb2fbfbeee9117efad7c7c70871d8">SVF::LockAnalysis::FunSet</a></div><div class="ttdeci">Set&lt; const Function * &gt; FunSet</div><div class="ttdef"><b>Definition:</b> <a href="LockAnalysis_8h_source.html#l00065">LockAnalysis.h:65</a></div></div>

package/SVF-doxygen/html/html/MHP_8cpp_source.html

@@ -174,7 +174,7 @@ $(function() {
 <div class="ttc" id="classSVF_1_1ForkJoinAnalysis_html_ab55532eefbcef639ced957ad82fbd340"><div class="ttname"><a href="classSVF_1_1ForkJoinAnalysis.html#ab55532eefbcef639ced957ad82fbd340">SVF::ForkJoinAnalysis::isFullJoin</a></div><div class="ttdeci">bool isFullJoin(NodeID tid1, NodeID tid2)</div><div class="ttdoc">Whether t1 fully joins t2. </div><div class="ttdef"><b>Definition:</b> <a href="MHP_8h_source.html#l00351">MHP.h:351</a></div></div>
 <div class="ttc" id="classSVF_1_1MHP_html_a6990ff8e3efe5af365c8205b7ced38ed"><div class="ttname"><a href="classSVF_1_1MHP.html#a6990ff8e3efe5af365c8205b7ced38ed">SVF::MHP::validateResults</a></div><div class="ttdeci">void validateResults()</div><div class="ttdoc">Use RCResultValidator to validate mhp results. </div><div class="ttdef"><b>Definition:</b> <a href="MHP_8cpp_source.html#l00660">MHP.cpp:660</a></div></div>
 <div class="ttc" id="classSVF_1_1PTACallGraphNode_html_a959445c97605953fbdebbbd999437a09"><div class="ttname"><a href="classSVF_1_1PTACallGraphNode.html#a959445c97605953fbdebbbd999437a09">SVF::PTACallGraphNode::getFunction</a></div><div class="ttdeci">const SVFFunction * getFunction() const</div><div class="ttdoc">Get function of this call node. </div><div class="ttdef"><b>Definition:</b> <a href="PTACallGraph_8h_source.html#l00193">PTACallGraph.h:193</a></div></div>
-<div class="ttc" id="classSVF_1_1SVFStat_html_ac9d390c417df6f6af6b274618b87010d"><div class="ttname"><a href="classSVF_1_1SVFStat.html#ac9d390c417df6f6af6b274618b87010d">SVF::SVFStat::getClk</a></div><div class="ttdeci">static double getClk(bool mark=false)</div><div class="ttdef"><b>Definition:</b> <a href="SVFStat_8cpp_source.html#l00046">SVFStat.cpp:46</a></div></div>
+<div class="ttc" id="classSVF_1_1SVFStat_html_ac9d390c417df6f6af6b274618b87010d"><div class="ttname"><a href="classSVF_1_1SVFStat.html#ac9d390c417df6f6af6b274618b87010d">SVF::SVFStat::getClk</a></div><div class="ttdeci">static double getClk(bool mark=false)</div><div class="ttdef"><b>Definition:</b> <a href="SVFStat_8cpp_source.html#l00047">SVFStat.cpp:47</a></div></div>
 <div class="ttc" id="classSVF_1_1MHP_html_afa0d341a2fb7b05522dc6e178eab7e8b"><div class="ttname"><a href="classSVF_1_1MHP.html#afa0d341a2fb7b05522dc6e178eab7e8b">SVF::MHP::isJoinInSymmetricLoop</a></div><div class="ttdeci">const Loop * isJoinInSymmetricLoop(const CallStrCxt &amp;cxt, const Instruction *call) const</div><div class="ttdoc">Whether a context-sensitive join satisfies symmetric loop pattern. </div><div class="ttdef"><b>Definition:</b> <a href="MHP_8cpp_source.html#l00515">MHP.cpp:515</a></div></div>
 <div class="ttc" id="classSVF_1_1TCT_html_aabc2c84e951ed9ae64207e379acb3074"><div class="ttname"><a href="classSVF_1_1TCT.html#aabc2c84e951ed9ae64207e379acb3074">SVF::TCT::getSVFModule</a></div><div class="ttdeci">SVFModule * getSVFModule() const</div><div class="ttdoc">Get SVFFModule. </div><div class="ttdef"><b>Definition:</b> <a href="TCT_8h_source.html#l00182">TCT.h:182</a></div></div>
 <div class="ttc" id="classSVF_1_1MHPValidator_html_a30bd5d21743e7b49201c13a5f7239123"><div class="ttname"><a href="classSVF_1_1MHPValidator.html#a30bd5d21743e7b49201c13a5f7239123">SVF::MHPValidator::mayHappenInParallel</a></div><div class="ttdeci">bool mayHappenInParallel(const Instruction *I1, const Instruction *I2)</div><div class="ttdef"><b>Definition:</b> <a href="MHP_8cpp_source.html#l00053">MHP.cpp:53</a></div></div>