svf-tools 1.0.558 → 1.0.561

package/SVF-doxygen/html/html/MTAStat_8h_source.html

@@ -66,26 +66,26 @@ $(function() {
 <div class="title">MTAStat.h</div>  </div>
 </div><!--header-->
 <div class="contents">
-<a href="MTAStat_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">/*</span></div><div class="line"><a name="l00002"></a><span class="lineno">    2</span>&#160;<span class="comment"> * MTAStat.h</span></div><div class="line"><a name="l00003"></a><span class="lineno">    3</span>&#160;<span class="comment"> *</span></div><div class="line"><a name="l00004"></a><span class="lineno">    4</span>&#160;<span class="comment"> *  Created on: Jun 23, 2015</span></div><div class="line"><a name="l00005"></a><span class="lineno">    5</span>&#160;<span class="comment"> *      Author: Yulei Sui, Peng Di</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="preprocessor">#ifndef MTASTAT_H_</span></div><div class="line"><a name="l00009"></a><span class="lineno">    9</span>&#160;<span class="preprocessor">#define MTASTAT_H_</span></div><div class="line"><a name="l00010"></a><span class="lineno">   10</span>&#160;</div><div class="line"><a name="l00011"></a><span class="lineno">   11</span>&#160;<span class="preprocessor">#include &quot;<a class="code" href="PTAStat_8h.html">Util/PTAStat.h</a>&quot;</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="keyword">namespace </span><a class="code" href="namespaceSVF.html">SVF</a></div><div class="line"><a name="l00014"></a><span class="lineno">   14</span>&#160;{</div><div class="line"><a name="l00015"></a><span class="lineno">   15</span>&#160;</div><div class="line"><a name="l00016"></a><span class="lineno">   16</span>&#160;<span class="keyword">class </span>ThreadCallGraph;</div><div class="line"><a name="l00017"></a><span class="lineno">   17</span>&#160;<span class="keyword">class </span>TCT;</div><div class="line"><a name="l00018"></a><span class="lineno">   18</span>&#160;<span class="keyword">class </span>MHP;</div><div class="line"><a name="l00019"></a><span class="lineno">   19</span>&#160;<span class="keyword">class </span>LockAnalysis;</div><div class="line"><a name="l00020"></a><span class="lineno">   20</span>&#160;<span class="keyword">class </span>MTAAnnotator;</div><div class="line"><a name="l00024"></a><span class="lineno"><a class="line" href="classSVF_1_1MTAStat.html">   24</a></span>&#160;<span class="keyword">class </span><a class="code" href="classSVF_1_1MTAStat.html">MTAStat</a> : <span class="keyword">public</span> <a class="code" href="classSVF_1_1PTAStat.html">PTAStat</a></div><div class="line"><a name="l00025"></a><span class="lineno">   25</span>&#160;{</div><div class="line"><a name="l00026"></a><span class="lineno">   26</span>&#160;</div><div class="line"><a name="l00027"></a><span class="lineno">   27</span>&#160;<span class="keyword">public</span>:</div><div class="line"><a name="l00028"></a><span class="lineno"><a class="line" href="classSVF_1_1MTAStat.html#a424ec97192aa5681f9f92a0a6f3ee8a8">   28</a></span>&#160;    <span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#af739db846e47ba6b2fd15eaad31ab7fb">Set&lt;const Instruction*&gt;</a> <a class="code" href="classSVF_1_1MTAStat.html#a424ec97192aa5681f9f92a0a6f3ee8a8">InstSet</a>;</div><div class="line"><a name="l00029"></a><span class="lineno">   29</span>&#160;</div><div class="line"><a name="l00031"></a><span class="lineno"><a class="line" href="classSVF_1_1MTAStat.html#a10631a14fd258679f98c17622de4352a">   31</a></span>&#160;    <a class="code" href="classSVF_1_1MTAStat.html#a10631a14fd258679f98c17622de4352a">MTAStat</a>():<a class="code" href="classSVF_1_1PTAStat.html">PTAStat</a>(nullptr),<a class="code" href="classSVF_1_1MTAStat.html#a3298dd910e731fdabc87bbcf65371a4a">TCTTime</a>(0),<a class="code" href="classSVF_1_1MTAStat.html#a56411f7e64febab8aab94a4a9207e5d8">MHPTime</a>(0),<a class="code" href="classSVF_1_1MTAStat.html#a030671ec358a93e3c2887f048dcfcce8">FSMPTATime</a>(0),<a class="code" href="classSVF_1_1MTAStat.html#a51e1ba35f81d89e210a937942f516839">AnnotationTime</a>(0)</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;    }</div><div class="line"><a name="l00035"></a><span class="lineno">   35</span>&#160;    <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1MTAStat.html#a19c9c1cba3a2cf665f7a05570e316e2e">performThreadCallGraphStat</a>(<a class="code" href="classSVF_1_1ThreadCallGraph.html">ThreadCallGraph</a>* tcg);</div><div class="line"><a name="l00037"></a><span class="lineno">   37</span>&#160;    <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1MTAStat.html#a12f6bd291b206c18001f5d4775251481">performTCTStat</a>(<a class="code" href="classSVF_1_1TCT.html">TCT</a>* tct);</div><div class="line"><a name="l00039"></a><span class="lineno">   39</span>&#160;    <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1MTAStat.html#a6464eb27715b598bab0217258860a04b">performMHPPairStat</a>(<a class="code" href="classSVF_1_1MHP.html">MHP</a>* mhp, <a class="code" href="classSVF_1_1LockAnalysis.html">LockAnalysis</a>* lsa);</div><div class="line"><a name="l00041"></a><span class="lineno">   41</span>&#160;    <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1MTAStat.html#a21f01e6b0362de2c2ad12d5689c26940">performAnnotationStat</a>(<a class="code" href="classSVF_1_1MTAAnnotator.html">MTAAnnotator</a>* anno);</div><div class="line"><a name="l00042"></a><span class="lineno">   42</span>&#160;</div><div class="line"><a name="l00043"></a><span class="lineno"><a class="line" href="classSVF_1_1MTAStat.html#a3298dd910e731fdabc87bbcf65371a4a">   43</a></span>&#160;    <span class="keywordtype">double</span> <a class="code" href="classSVF_1_1MTAStat.html#a3298dd910e731fdabc87bbcf65371a4a">TCTTime</a>;</div><div class="line"><a name="l00044"></a><span class="lineno"><a class="line" href="classSVF_1_1MTAStat.html#a56411f7e64febab8aab94a4a9207e5d8">   44</a></span>&#160;    <span class="keywordtype">double</span> <a class="code" href="classSVF_1_1MTAStat.html#a56411f7e64febab8aab94a4a9207e5d8">MHPTime</a>;</div><div class="line"><a name="l00045"></a><span class="lineno"><a class="line" href="classSVF_1_1MTAStat.html#a030671ec358a93e3c2887f048dcfcce8">   45</a></span>&#160;    <span class="keywordtype">double</span> <a class="code" href="classSVF_1_1MTAStat.html#a030671ec358a93e3c2887f048dcfcce8">FSMPTATime</a>;</div><div class="line"><a name="l00046"></a><span class="lineno"><a class="line" href="classSVF_1_1MTAStat.html#a51e1ba35f81d89e210a937942f516839">   46</a></span>&#160;    <span class="keywordtype">double</span> <a class="code" href="classSVF_1_1MTAStat.html#a51e1ba35f81d89e210a937942f516839">AnnotationTime</a>;</div><div class="line"><a name="l00047"></a><span class="lineno">   47</span>&#160;};</div><div class="line"><a name="l00048"></a><span class="lineno">   48</span>&#160;</div><div class="line"><a name="l00049"></a><span class="lineno">   49</span>&#160;} <span class="comment">// End namespace SVF</span></div><div class="line"><a name="l00050"></a><span class="lineno">   50</span>&#160;</div><div class="line"><a name="l00051"></a><span class="lineno">   51</span>&#160;<span class="preprocessor">#endif </span><span class="comment">/* MTASTAT_H_ */</span><span class="preprocessor"></span></div><div class="ttc" id="classSVF_1_1MHP_html"><div class="ttname"><a href="classSVF_1_1MHP.html">SVF::MHP</a></div><div class="ttdef"><b>Definition:</b> <a href="MHP_8h_source.html#l00024">MHP.h:24</a></div></div>
-<div class="ttc" id="classSVF_1_1MTAStat_html_a10631a14fd258679f98c17622de4352a"><div class="ttname"><a href="classSVF_1_1MTAStat.html#a10631a14fd258679f98c17622de4352a">SVF::MTAStat::MTAStat</a></div><div class="ttdeci">MTAStat()</div><div class="ttdoc">Constructor. </div><div class="ttdef"><b>Definition:</b> <a href="MTAStat_8h_source.html#l00031">MTAStat.h:31</a></div></div>
-<div class="ttc" id="classSVF_1_1MTAStat_html"><div class="ttname"><a href="classSVF_1_1MTAStat.html">SVF::MTAStat</a></div><div class="ttdef"><b>Definition:</b> <a href="MTAStat_8h_source.html#l00024">MTAStat.h:24</a></div></div>
-<div class="ttc" id="classSVF_1_1MTAStat_html_a12f6bd291b206c18001f5d4775251481"><div class="ttname"><a href="classSVF_1_1MTAStat.html#a12f6bd291b206c18001f5d4775251481">SVF::MTAStat::performTCTStat</a></div><div class="ttdeci">void performTCTStat(TCT *tct)</div><div class="ttdoc">Statistics for thread creation tree. </div><div class="ttdef"><b>Definition:</b> <a href="MTAStat_8cpp_source.html#l00072">MTAStat.cpp:72</a></div></div>
-<div class="ttc" id="classSVF_1_1MTAStat_html_a21f01e6b0362de2c2ad12d5689c26940"><div class="ttname"><a href="classSVF_1_1MTAStat.html#a21f01e6b0362de2c2ad12d5689c26940">SVF::MTAStat::performAnnotationStat</a></div><div class="ttdeci">void performAnnotationStat(MTAAnnotator *anno)</div><div class="ttdoc">Statistics for annotation. </div><div class="ttdef"><b>Definition:</b> <a href="MTAStat_8cpp_source.html#l00156">MTAStat.cpp:156</a></div></div>
-<div class="ttc" id="classSVF_1_1MTAStat_html_a030671ec358a93e3c2887f048dcfcce8"><div class="ttname"><a href="classSVF_1_1MTAStat.html#a030671ec358a93e3c2887f048dcfcce8">SVF::MTAStat::FSMPTATime</a></div><div class="ttdeci">double FSMPTATime</div><div class="ttdef"><b>Definition:</b> <a href="MTAStat_8h_source.html#l00045">MTAStat.h:45</a></div></div>
-<div class="ttc" id="classSVF_1_1MTAStat_html_a3298dd910e731fdabc87bbcf65371a4a"><div class="ttname"><a href="classSVF_1_1MTAStat.html#a3298dd910e731fdabc87bbcf65371a4a">SVF::MTAStat::TCTTime</a></div><div class="ttdeci">double TCTTime</div><div class="ttdef"><b>Definition:</b> <a href="MTAStat_8h_source.html#l00043">MTAStat.h:43</a></div></div>
-<div class="ttc" id="classSVF_1_1MTAStat_html_a51e1ba35f81d89e210a937942f516839"><div class="ttname"><a href="classSVF_1_1MTAStat.html#a51e1ba35f81d89e210a937942f516839">SVF::MTAStat::AnnotationTime</a></div><div class="ttdeci">double AnnotationTime</div><div class="ttdef"><b>Definition:</b> <a href="MTAStat_8h_source.html#l00046">MTAStat.h:46</a></div></div>
+<a href="MTAStat_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">//===- MTAStat.h -- Statistics for MTA-------------//</span></div><div class="line"><a name="l00002"></a><span class="lineno">    2</span>&#160;<span class="comment">//</span></div><div class="line"><a name="l00003"></a><span class="lineno">    3</span>&#160;<span class="comment">//                     SVF: Static Value-Flow Analysis</span></div><div class="line"><a name="l00004"></a><span class="lineno">    4</span>&#160;<span class="comment">//</span></div><div class="line"><a name="l00005"></a><span class="lineno">    5</span>&#160;<span class="comment">// Copyright (C) &lt;2013-&gt;  &lt;Yulei Sui&gt;</span></div><div class="line"><a name="l00006"></a><span class="lineno">    6</span>&#160;<span class="comment">//</span></div><div class="line"><a name="l00007"></a><span class="lineno">    7</span>&#160;</div><div class="line"><a name="l00008"></a><span class="lineno">    8</span>&#160;<span class="comment">// This program is free software: you can redistribute it and/or modify</span></div><div class="line"><a name="l00009"></a><span class="lineno">    9</span>&#160;<span class="comment">// it under the terms of the GNU General Public License as published by</span></div><div class="line"><a name="l00010"></a><span class="lineno">   10</span>&#160;<span class="comment">// the Free Software Foundation, either version 3 of the License, or</span></div><div class="line"><a name="l00011"></a><span class="lineno">   11</span>&#160;<span class="comment">// (at your option) any later version.</span></div><div class="line"><a name="l00012"></a><span class="lineno">   12</span>&#160;</div><div class="line"><a name="l00013"></a><span class="lineno">   13</span>&#160;<span class="comment">// This program is distributed in the hope that it will be useful,</span></div><div class="line"><a name="l00014"></a><span class="lineno">   14</span>&#160;<span class="comment">// but WITHOUT ANY WARRANTY; without even the implied warranty of</span></div><div class="line"><a name="l00015"></a><span class="lineno">   15</span>&#160;<span class="comment">// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the</span></div><div class="line"><a name="l00016"></a><span class="lineno">   16</span>&#160;<span class="comment">// GNU General Public License for more details.</span></div><div class="line"><a name="l00017"></a><span class="lineno">   17</span>&#160;</div><div class="line"><a name="l00018"></a><span class="lineno">   18</span>&#160;<span class="comment">// You should have received a copy of the GNU General Public License</span></div><div class="line"><a name="l00019"></a><span class="lineno">   19</span>&#160;<span class="comment">// along with this program.  If not, see &lt;http://www.gnu.org/licenses/&gt;.</span></div><div class="line"><a name="l00020"></a><span class="lineno">   20</span>&#160;<span class="comment">//</span></div><div class="line"><a name="l00021"></a><span class="lineno">   21</span>&#160;<span class="comment">//===----------------------------------------------------------------------===//</span></div><div class="line"><a name="l00022"></a><span class="lineno">   22</span>&#160;</div><div class="line"><a name="l00023"></a><span class="lineno">   23</span>&#160;<span class="comment">/*</span></div><div class="line"><a name="l00024"></a><span class="lineno">   24</span>&#160;<span class="comment"> * MTAStat.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: Jun 23, 2015</span></div><div class="line"><a name="l00027"></a><span class="lineno">   27</span>&#160;<span class="comment"> *      Author: Yulei Sui, Peng Di</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 MTASTAT_H_</span></div><div class="line"><a name="l00031"></a><span class="lineno">   31</span>&#160;<span class="preprocessor">#define MTASTAT_H_</span></div><div class="line"><a name="l00032"></a><span class="lineno">   32</span>&#160;</div><div class="line"><a name="l00033"></a><span class="lineno">   33</span>&#160;<span class="preprocessor">#include &quot;<a class="code" href="PTAStat_8h.html">Util/PTAStat.h</a>&quot;</span></div><div class="line"><a name="l00034"></a><span class="lineno">   34</span>&#160;</div><div class="line"><a name="l00035"></a><span class="lineno">   35</span>&#160;<span class="keyword">namespace </span><a class="code" href="namespaceSVF.html">SVF</a></div><div class="line"><a name="l00036"></a><span class="lineno">   36</span>&#160;{</div><div class="line"><a name="l00037"></a><span class="lineno">   37</span>&#160;</div><div class="line"><a name="l00038"></a><span class="lineno">   38</span>&#160;<span class="keyword">class </span>ThreadCallGraph;</div><div class="line"><a name="l00039"></a><span class="lineno">   39</span>&#160;<span class="keyword">class </span>TCT;</div><div class="line"><a name="l00040"></a><span class="lineno">   40</span>&#160;<span class="keyword">class </span>MHP;</div><div class="line"><a name="l00041"></a><span class="lineno">   41</span>&#160;<span class="keyword">class </span>LockAnalysis;</div><div class="line"><a name="l00042"></a><span class="lineno">   42</span>&#160;<span class="keyword">class </span>MTAAnnotator;</div><div class="line"><a name="l00046"></a><span class="lineno"><a class="line" href="classSVF_1_1MTAStat.html">   46</a></span>&#160;<span class="keyword">class </span><a class="code" href="classSVF_1_1MTAStat.html">MTAStat</a> : <span class="keyword">public</span> <a class="code" href="classSVF_1_1PTAStat.html">PTAStat</a></div><div class="line"><a name="l00047"></a><span class="lineno">   47</span>&#160;{</div><div class="line"><a name="l00048"></a><span class="lineno">   48</span>&#160;</div><div class="line"><a name="l00049"></a><span class="lineno">   49</span>&#160;<span class="keyword">public</span>:</div><div class="line"><a name="l00050"></a><span class="lineno"><a class="line" href="classSVF_1_1MTAStat.html#a424ec97192aa5681f9f92a0a6f3ee8a8">   50</a></span>&#160;    <span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#af739db846e47ba6b2fd15eaad31ab7fb">Set&lt;const Instruction*&gt;</a> <a class="code" href="classSVF_1_1MTAStat.html#a424ec97192aa5681f9f92a0a6f3ee8a8">InstSet</a>;</div><div class="line"><a name="l00051"></a><span class="lineno">   51</span>&#160;</div><div class="line"><a name="l00053"></a><span class="lineno"><a class="line" href="classSVF_1_1MTAStat.html#a10631a14fd258679f98c17622de4352a">   53</a></span>&#160;    <a class="code" href="classSVF_1_1MTAStat.html#a10631a14fd258679f98c17622de4352a">MTAStat</a>():<a class="code" href="classSVF_1_1PTAStat.html">PTAStat</a>(nullptr),<a class="code" href="classSVF_1_1MTAStat.html#a3298dd910e731fdabc87bbcf65371a4a">TCTTime</a>(0),<a class="code" href="classSVF_1_1MTAStat.html#a56411f7e64febab8aab94a4a9207e5d8">MHPTime</a>(0),<a class="code" href="classSVF_1_1MTAStat.html#a030671ec358a93e3c2887f048dcfcce8">FSMPTATime</a>(0),<a class="code" href="classSVF_1_1MTAStat.html#a51e1ba35f81d89e210a937942f516839">AnnotationTime</a>(0)</div><div class="line"><a name="l00054"></a><span class="lineno">   54</span>&#160;    {</div><div class="line"><a name="l00055"></a><span class="lineno">   55</span>&#160;    }</div><div class="line"><a name="l00057"></a><span class="lineno">   57</span>&#160;    <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1MTAStat.html#a19c9c1cba3a2cf665f7a05570e316e2e">performThreadCallGraphStat</a>(<a class="code" href="classSVF_1_1ThreadCallGraph.html">ThreadCallGraph</a>* tcg);</div><div class="line"><a name="l00059"></a><span class="lineno">   59</span>&#160;    <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1MTAStat.html#a12f6bd291b206c18001f5d4775251481">performTCTStat</a>(<a class="code" href="classSVF_1_1TCT.html">TCT</a>* tct);</div><div class="line"><a name="l00061"></a><span class="lineno">   61</span>&#160;    <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1MTAStat.html#a6464eb27715b598bab0217258860a04b">performMHPPairStat</a>(<a class="code" href="classSVF_1_1MHP.html">MHP</a>* mhp, <a class="code" href="classSVF_1_1LockAnalysis.html">LockAnalysis</a>* lsa);</div><div class="line"><a name="l00063"></a><span class="lineno">   63</span>&#160;    <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1MTAStat.html#a21f01e6b0362de2c2ad12d5689c26940">performAnnotationStat</a>(<a class="code" href="classSVF_1_1MTAAnnotator.html">MTAAnnotator</a>* anno);</div><div class="line"><a name="l00064"></a><span class="lineno">   64</span>&#160;</div><div class="line"><a name="l00065"></a><span class="lineno"><a class="line" href="classSVF_1_1MTAStat.html#a3298dd910e731fdabc87bbcf65371a4a">   65</a></span>&#160;    <span class="keywordtype">double</span> <a class="code" href="classSVF_1_1MTAStat.html#a3298dd910e731fdabc87bbcf65371a4a">TCTTime</a>;</div><div class="line"><a name="l00066"></a><span class="lineno"><a class="line" href="classSVF_1_1MTAStat.html#a56411f7e64febab8aab94a4a9207e5d8">   66</a></span>&#160;    <span class="keywordtype">double</span> <a class="code" href="classSVF_1_1MTAStat.html#a56411f7e64febab8aab94a4a9207e5d8">MHPTime</a>;</div><div class="line"><a name="l00067"></a><span class="lineno"><a class="line" href="classSVF_1_1MTAStat.html#a030671ec358a93e3c2887f048dcfcce8">   67</a></span>&#160;    <span class="keywordtype">double</span> <a class="code" href="classSVF_1_1MTAStat.html#a030671ec358a93e3c2887f048dcfcce8">FSMPTATime</a>;</div><div class="line"><a name="l00068"></a><span class="lineno"><a class="line" href="classSVF_1_1MTAStat.html#a51e1ba35f81d89e210a937942f516839">   68</a></span>&#160;    <span class="keywordtype">double</span> <a class="code" href="classSVF_1_1MTAStat.html#a51e1ba35f81d89e210a937942f516839">AnnotationTime</a>;</div><div class="line"><a name="l00069"></a><span class="lineno">   69</span>&#160;};</div><div class="line"><a name="l00070"></a><span class="lineno">   70</span>&#160;</div><div class="line"><a name="l00071"></a><span class="lineno">   71</span>&#160;} <span class="comment">// End namespace SVF</span></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;<span class="preprocessor">#endif </span><span class="comment">/* MTASTAT_H_ */</span><span class="preprocessor"></span></div><div class="ttc" id="classSVF_1_1MHP_html"><div class="ttname"><a href="classSVF_1_1MHP.html">SVF::MHP</a></div><div class="ttdef"><b>Definition:</b> <a href="MHP_8h_source.html#l00046">MHP.h:46</a></div></div>
+<div class="ttc" id="classSVF_1_1MTAStat_html_a10631a14fd258679f98c17622de4352a"><div class="ttname"><a href="classSVF_1_1MTAStat.html#a10631a14fd258679f98c17622de4352a">SVF::MTAStat::MTAStat</a></div><div class="ttdeci">MTAStat()</div><div class="ttdoc">Constructor. </div><div class="ttdef"><b>Definition:</b> <a href="MTAStat_8h_source.html#l00053">MTAStat.h:53</a></div></div>
+<div class="ttc" id="classSVF_1_1MTAStat_html"><div class="ttname"><a href="classSVF_1_1MTAStat.html">SVF::MTAStat</a></div><div class="ttdef"><b>Definition:</b> <a href="MTAStat_8h_source.html#l00046">MTAStat.h:46</a></div></div>
+<div class="ttc" id="classSVF_1_1MTAStat_html_a12f6bd291b206c18001f5d4775251481"><div class="ttname"><a href="classSVF_1_1MTAStat.html#a12f6bd291b206c18001f5d4775251481">SVF::MTAStat::performTCTStat</a></div><div class="ttdeci">void performTCTStat(TCT *tct)</div><div class="ttdoc">Statistics for thread creation tree. </div><div class="ttdef"><b>Definition:</b> <a href="MTAStat_8cpp_source.html#l00094">MTAStat.cpp:94</a></div></div>
+<div class="ttc" id="classSVF_1_1MTAStat_html_a21f01e6b0362de2c2ad12d5689c26940"><div class="ttname"><a href="classSVF_1_1MTAStat.html#a21f01e6b0362de2c2ad12d5689c26940">SVF::MTAStat::performAnnotationStat</a></div><div class="ttdeci">void performAnnotationStat(MTAAnnotator *anno)</div><div class="ttdoc">Statistics for annotation. </div><div class="ttdef"><b>Definition:</b> <a href="MTAStat_8cpp_source.html#l00178">MTAStat.cpp:178</a></div></div>
+<div class="ttc" id="classSVF_1_1MTAStat_html_a030671ec358a93e3c2887f048dcfcce8"><div class="ttname"><a href="classSVF_1_1MTAStat.html#a030671ec358a93e3c2887f048dcfcce8">SVF::MTAStat::FSMPTATime</a></div><div class="ttdeci">double FSMPTATime</div><div class="ttdef"><b>Definition:</b> <a href="MTAStat_8h_source.html#l00067">MTAStat.h:67</a></div></div>
+<div class="ttc" id="classSVF_1_1MTAStat_html_a3298dd910e731fdabc87bbcf65371a4a"><div class="ttname"><a href="classSVF_1_1MTAStat.html#a3298dd910e731fdabc87bbcf65371a4a">SVF::MTAStat::TCTTime</a></div><div class="ttdeci">double TCTTime</div><div class="ttdef"><b>Definition:</b> <a href="MTAStat_8h_source.html#l00065">MTAStat.h:65</a></div></div>
+<div class="ttc" id="classSVF_1_1MTAStat_html_a51e1ba35f81d89e210a937942f516839"><div class="ttname"><a href="classSVF_1_1MTAStat.html#a51e1ba35f81d89e210a937942f516839">SVF::MTAStat::AnnotationTime</a></div><div class="ttdeci">double AnnotationTime</div><div class="ttdef"><b>Definition:</b> <a href="MTAStat_8h_source.html#l00068">MTAStat.h:68</a></div></div>
 <div class="ttc" id="namespaceSVF_html_af739db846e47ba6b2fd15eaad31ab7fb"><div class="ttname"><a href="namespaceSVF.html#af739db846e47ba6b2fd15eaad31ab7fb">SVF::Set</a></div><div class="ttdeci">std::unordered_set&lt; Key, Hash, KeyEqual, Allocator &gt; Set</div><div class="ttdef"><b>Definition:</b> <a href="SVFBasicTypes_8h_source.html#l00105">SVFBasicTypes.h:105</a></div></div>
 <div class="ttc" id="classSVF_1_1MTAAnnotator_html"><div class="ttname"><a href="classSVF_1_1MTAAnnotator.html">SVF::MTAAnnotator</a></div><div class="ttdef"><b>Definition:</b> <a href="MTAAnnotator_8h_source.html#l00021">MTAAnnotator.h:21</a></div></div>
-<div class="ttc" id="classSVF_1_1LockAnalysis_html"><div class="ttname"><a href="classSVF_1_1LockAnalysis.html">SVF::LockAnalysis</a></div><div class="ttdef"><b>Definition:</b> <a href="LockAnalysis_8h_source.html#l00023">LockAnalysis.h:23</a></div></div>
-<div class="ttc" id="classSVF_1_1MTAStat_html_a424ec97192aa5681f9f92a0a6f3ee8a8"><div class="ttname"><a href="classSVF_1_1MTAStat.html#a424ec97192aa5681f9f92a0a6f3ee8a8">SVF::MTAStat::InstSet</a></div><div class="ttdeci">Set&lt; const Instruction * &gt; InstSet</div><div class="ttdef"><b>Definition:</b> <a href="MTAStat_8h_source.html#l00028">MTAStat.h:28</a></div></div>
+<div class="ttc" id="classSVF_1_1LockAnalysis_html"><div class="ttname"><a href="classSVF_1_1LockAnalysis.html">SVF::LockAnalysis</a></div><div class="ttdef"><b>Definition:</b> <a href="LockAnalysis_8h_source.html#l00045">LockAnalysis.h:45</a></div></div>
+<div class="ttc" id="classSVF_1_1MTAStat_html_a424ec97192aa5681f9f92a0a6f3ee8a8"><div class="ttname"><a href="classSVF_1_1MTAStat.html#a424ec97192aa5681f9f92a0a6f3ee8a8">SVF::MTAStat::InstSet</a></div><div class="ttdeci">Set&lt; const Instruction * &gt; InstSet</div><div class="ttdef"><b>Definition:</b> <a href="MTAStat_8h_source.html#l00050">MTAStat.h:50</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_1MTAStat_html_a56411f7e64febab8aab94a4a9207e5d8"><div class="ttname"><a href="classSVF_1_1MTAStat.html#a56411f7e64febab8aab94a4a9207e5d8">SVF::MTAStat::MHPTime</a></div><div class="ttdeci">double MHPTime</div><div class="ttdef"><b>Definition:</b> <a href="MTAStat_8h_source.html#l00044">MTAStat.h:44</a></div></div>
+<div class="ttc" id="classSVF_1_1MTAStat_html_a56411f7e64febab8aab94a4a9207e5d8"><div class="ttname"><a href="classSVF_1_1MTAStat.html#a56411f7e64febab8aab94a4a9207e5d8">SVF::MTAStat::MHPTime</a></div><div class="ttdeci">double MHPTime</div><div class="ttdef"><b>Definition:</b> <a href="MTAStat_8h_source.html#l00066">MTAStat.h:66</a></div></div>
 <div class="ttc" id="classSVF_1_1PTAStat_html"><div class="ttname"><a href="classSVF_1_1PTAStat.html">SVF::PTAStat</a></div><div class="ttdef"><b>Definition:</b> <a href="PTAStat_8h_source.html#l00048">PTAStat.h:48</a></div></div>
-<div class="ttc" id="classSVF_1_1MTAStat_html_a6464eb27715b598bab0217258860a04b"><div class="ttname"><a href="classSVF_1_1MTAStat.html#a6464eb27715b598bab0217258860a04b">SVF::MTAStat::performMHPPairStat</a></div><div class="ttdeci">void performMHPPairStat(MHP *mhp, LockAnalysis *lsa)</div><div class="ttdoc">Statistics for MHP statement pairs. </div><div class="ttdef"><b>Definition:</b> <a href="MTAStat_8cpp_source.html#l00092">MTAStat.cpp:92</a></div></div>
+<div class="ttc" id="classSVF_1_1MTAStat_html_a6464eb27715b598bab0217258860a04b"><div class="ttname"><a href="classSVF_1_1MTAStat.html#a6464eb27715b598bab0217258860a04b">SVF::MTAStat::performMHPPairStat</a></div><div class="ttdeci">void performMHPPairStat(MHP *mhp, LockAnalysis *lsa)</div><div class="ttdoc">Statistics for MHP statement pairs. </div><div class="ttdef"><b>Definition:</b> <a href="MTAStat_8cpp_source.html#l00114">MTAStat.cpp:114</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_1TCT_html"><div class="ttname"><a href="classSVF_1_1TCT.html">SVF::TCT</a></div><div class="ttdef"><b>Definition:</b> <a href="TCT_8h_source.html#l00115">TCT.h:115</a></div></div>
+<div class="ttc" id="classSVF_1_1TCT_html"><div class="ttname"><a href="classSVF_1_1TCT.html">SVF::TCT</a></div><div class="ttdef"><b>Definition:</b> <a href="TCT_8h_source.html#l00137">TCT.h:137</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_1MTAStat_html_a19c9c1cba3a2cf665f7a05570e316e2e"><div class="ttname"><a href="classSVF_1_1MTAStat.html#a19c9c1cba3a2cf665f7a05570e316e2e">SVF::MTAStat::performThreadCallGraphStat</a></div><div class="ttdeci">void performThreadCallGraphStat(ThreadCallGraph *tcg)</div><div class="ttdoc">Statistics for thread call graph. </div><div class="ttdef"><b>Definition:</b> <a href="MTAStat_8cpp_source.html#l00024">MTAStat.cpp:24</a></div></div>
+<div class="ttc" id="classSVF_1_1MTAStat_html_a19c9c1cba3a2cf665f7a05570e316e2e"><div class="ttname"><a href="classSVF_1_1MTAStat.html#a19c9c1cba3a2cf665f7a05570e316e2e">SVF::MTAStat::performThreadCallGraphStat</a></div><div class="ttdeci">void performThreadCallGraphStat(ThreadCallGraph *tcg)</div><div class="ttdoc">Statistics for thread call graph. </div><div class="ttdef"><b>Definition:</b> <a href="MTAStat_8cpp_source.html#l00046">MTAStat.cpp:46</a></div></div>
 </div><!-- fragment --></div><!-- contents -->
 <!-- start footer part -->
 <hr class="footer"/><address class="footer"><small>