svf-tools 1.0.633 → 1.0.635

package/SVF-doxygen/html/html/MTAResultValidator_8h.html

@@ -5,7 +5,7 @@
 <meta http-equiv="X-UA-Compatible" content="IE=9"/>
 <meta name="generator" content="Doxygen 1.8.13"/>
 <meta name="viewport" content="width=device-width, initial-scale=1"/>
-<title>Static Value-Flow Analysis: /home/runner/work/SVF/SVF/include/MTA/MTAResultValidator.h File Reference</title>
+<title>Static Value-Flow Analysis: /home/runner/work/SVF/SVF/tools/MTA/MTAResultValidator.h File Reference</title>
 <link href="tabs.css" rel="stylesheet" type="text/css"/>
 <script type="text/javascript" src="jquery.js"></script>
 <script type="text/javascript" src="dynsections.js"></script>
@@ -58,7 +58,7 @@ $(function() {
 
 <div id="nav-path" class="navpath">
   <ul>
-<li class="navelem"><a class="el" href="dir_d44c64559bbebec7f509842c48db8b23.html">include</a></li><li class="navelem"><a class="el" href="dir_d9c66ccf9e2de56f72719cecd4fb7eeb.html">MTA</a></li>  </ul>
+<li class="navelem"><a class="el" href="dir_4eeb864c4eec08c7d6b9d3b0352cfdde.html">tools</a></li><li class="navelem"><a class="el" href="dir_0c09191358c30c0f2d864382d285cb43.html">MTA</a></li>  </ul>
 </div>
 </div><!-- top -->
 <div class="header">
@@ -70,7 +70,8 @@ $(function() {
 <div class="title">MTAResultValidator.h File Reference</div>  </div>
 </div><!--header-->
 <div class="contents">
-<div class="textblock"><code>#include &quot;<a class="el" href="MHP_8h_source.html">MTA/MHP.h</a>&quot;</code><br />
+<div class="textblock"><code>#include &quot;MTA/MHP.h&quot;</code><br />
+<code>#include &quot;SVF-LLVM/LLVMUtil.h&quot;</code><br />
 </div>
 <p><a href="MTAResultValidator_8h_source.html">Go to the source code of this file.</a></p>
 <table class="memberdecls">
@@ -87,13 +88,12 @@ Classes</h2></td></tr>
 <tr class="heading"><td colspan="2"><h2 class="groupheader"><a name="namespaces"></a>
 Namespaces</h2></td></tr>
 <tr class="memitem:namespaceSVF"><td class="memItemLeft" align="right" valign="top"> &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF.html">SVF</a></td></tr>
-<tr class="memdesc:namespaceSVF"><td class="mdescLeft">&#160;</td><td class="mdescRight">for isBitcode <br /></td></tr>
 <tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
 </table><table class="memberdecls">
 <tr class="heading"><td colspan="2"><h2 class="groupheader"><a name="typedef-members"></a>
 Typedefs</h2></td></tr>
-<tr class="memitem:a43a65e0d33af3c743294f7a1139d2301"><td class="memItemLeft" align="right" valign="top">typedef unsigned&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">SVF::NodeID</a></td></tr>
-<tr class="separator:a43a65e0d33af3c743294f7a1139d2301"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a350ae9bf8606bdfe23c8679681b969dc"><td class="memItemLeft" align="right" valign="top">typedef unsigned&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF.html#a350ae9bf8606bdfe23c8679681b969dc">SVF::NodeID</a></td></tr>
+<tr class="separator:a350ae9bf8606bdfe23c8679681b969dc"><td class="memSeparator" colspan="2">&#160;</td></tr>
 </table>
 </div><!-- contents -->
 <!-- start footer part -->