npm - svf-tools - Versions diffs - 1.0.437 → 1.0.440 - Mend

svf-tools 1.0.437 → 1.0.440

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.

Files changed (390) hide show

package/SVF-doxygen/html/html/BDDExpr_8h.html ADDED Viewed

@@ -0,0 +1,98 @@
+<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
+<html xmlns="http://www.w3.org/1999/xhtml">
+<head>
+<meta http-equiv="Content-Type" content="text/xhtml;charset=UTF-8"/>
+<meta http-equiv="X-UA-Compatible" content="IE=9"/>
+<meta name="generator" content="Doxygen 1.8.13"/>
+<meta name="viewport" content="width=device-width, initial-scale=1"/>
+<title>Static Value-Flow Analysis: /home/runner/work/SVF/SVF/include/Util/BDDExpr.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>
+<link href="search/search.css" rel="stylesheet" type="text/css"/>
+<script type="text/javascript" src="search/searchdata.js"></script>
+<script type="text/javascript" src="search/search.js"></script>
+<link href="doxygen.css" rel="stylesheet" type="text/css" />
+</head>
+<body>
+<div id="top"><!-- do not remove this div, it is closed by doxygen! -->
+<div id="titlearea">
+<table cellspacing="0" cellpadding="0">
+ <tbody>
+ <tr style="height: 56px;">
+  <td id="projectalign" style="padding-left: 0.5em;">
+   <div id="projectname">Static Value-Flow Analysis
+   </div>
+  </td>
+ </tr>
+ </tbody>
+</table>
+</div>
+<!-- end header part -->
+<!-- Generated by Doxygen 1.8.13 -->
+<script type="text/javascript">
+var searchBox = new SearchBox("searchBox", "search",false,'Search');
+</script>
+<script type="text/javascript" src="menudata.js"></script>
+<script type="text/javascript" src="menu.js"></script>
+<script type="text/javascript">
+$(function() {
+  initMenu('',true,false,'search.php','Search');
+  $(document).ready(function() { init_search(); });
+});
+</script>
+<div id="main-nav"></div>
+<!-- window showing the filter options -->
+<div id="MSearchSelectWindow"
+     onmouseover="return searchBox.OnSearchSelectShow()"
+     onmouseout="return searchBox.OnSearchSelectHide()"
+     onkeydown="return searchBox.OnSearchSelectKey(event)">
+</div>
+<!-- iframe showing the search results (closed by default) -->
+<div id="MSearchResultsWindow">
+<iframe src="javascript:void(0)" frameborder="0"
+        name="MSearchResults" id="MSearchResults">
+</iframe>
+</div>
+<div id="nav-path" class="navpath">
+  <ul>
+<li class="navelem"><a class="el" href="dir_d44c64559bbebec7f509842c48db8b23.html">include</a></li><li class="navelem"><a class="el" href="dir_95e22971b5dbae2382075a3453e365b4.html">Util</a></li>  </ul>
+</div>
+</div><!-- top -->
+<div class="header">
+  <div class="summary">
+<a href="#nested-classes">Classes</a> &#124;
+<a href="#namespaces">Namespaces</a>  </div>
+  <div class="headertitle">
+<div class="title">BDDExpr.h File Reference</div>  </div>
+</div><!--header-->
+<div class="contents">
+<div class="textblock"><code>#include &quot;<a class="el" href="Util_2BasicTypes_8h_source.html">Util/BasicTypes.h</a>&quot;</code><br />
+<code>#include &lt;cstdio&gt;</code><br />
+<code>#include &quot;<a class="el" href="cuddInt_8h_source.html">CUDD/cuddInt.h</a>&quot;</code><br />
+<code>#include &quot;z3++.h&quot;</code><br />
+</div>
+<p><a href="BDDExpr_8h_source.html">Go to the source code of this file.</a></p>
+<table class="memberdecls">
+<tr class="heading"><td colspan="2"><h2 class="groupheader"><a name="nested-classes"></a>
+Classes</h2></td></tr>
+<tr class="memitem:"><td class="memItemLeft" align="right" valign="top">class &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1BDDExprManager.html">SVF::BDDExprManager</a></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="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>
+</div><!-- contents -->
+<!-- start footer part -->
+<hr class="footer"/><address class="footer"><small>
+Generated by &#160;<a href="http://www.doxygen.org/index.html">
+<img class="footer" src="doxygen.png" alt="doxygen"/>
+</a> 1.8.13
+</small></address>
+</body>
+</html>

package/SVF-doxygen/html/html/BDDExpr_8h_source.html ADDED Viewed

@@ -0,0 +1,131 @@
+<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
+<html xmlns="http://www.w3.org/1999/xhtml">
+<head>
+<meta http-equiv="Content-Type" content="text/xhtml;charset=UTF-8"/>
+<meta http-equiv="X-UA-Compatible" content="IE=9"/>
+<meta name="generator" content="Doxygen 1.8.13"/>
+<meta name="viewport" content="width=device-width, initial-scale=1"/>
+<title>Static Value-Flow Analysis: /home/runner/work/SVF/SVF/include/Util/BDDExpr.h Source File</title>
+<link href="tabs.css" rel="stylesheet" type="text/css"/>
+<script type="text/javascript" src="jquery.js"></script>
+<script type="text/javascript" src="dynsections.js"></script>
+<link href="search/search.css" rel="stylesheet" type="text/css"/>
+<script type="text/javascript" src="search/searchdata.js"></script>
+<script type="text/javascript" src="search/search.js"></script>
+<link href="doxygen.css" rel="stylesheet" type="text/css" />
+</head>
+<body>
+<div id="top"><!-- do not remove this div, it is closed by doxygen! -->
+<div id="titlearea">
+<table cellspacing="0" cellpadding="0">
+ <tbody>
+ <tr style="height: 56px;">
+  <td id="projectalign" style="padding-left: 0.5em;">
+   <div id="projectname">Static Value-Flow Analysis
+   </div>
+  </td>
+ </tr>
+ </tbody>
+</table>
+</div>
+<!-- end header part -->
+<!-- Generated by Doxygen 1.8.13 -->
+<script type="text/javascript">
+var searchBox = new SearchBox("searchBox", "search",false,'Search');
+</script>
+<script type="text/javascript" src="menudata.js"></script>
+<script type="text/javascript" src="menu.js"></script>
+<script type="text/javascript">
+$(function() {
+  initMenu('',true,false,'search.php','Search');
+  $(document).ready(function() { init_search(); });
+});
+</script>
+<div id="main-nav"></div>
+<!-- window showing the filter options -->
+<div id="MSearchSelectWindow"
+     onmouseover="return searchBox.OnSearchSelectShow()"
+     onmouseout="return searchBox.OnSearchSelectHide()"
+     onkeydown="return searchBox.OnSearchSelectKey(event)">
+</div>
+<!-- iframe showing the search results (closed by default) -->
+<div id="MSearchResultsWindow">
+<iframe src="javascript:void(0)" frameborder="0"
+        name="MSearchResults" id="MSearchResults">
+</iframe>
+</div>
+<div id="nav-path" class="navpath">
+  <ul>
+<li class="navelem"><a class="el" href="dir_d44c64559bbebec7f509842c48db8b23.html">include</a></li><li class="navelem"><a class="el" href="dir_95e22971b5dbae2382075a3453e365b4.html">Util</a></li>  </ul>
+</div>
+</div><!-- top -->
+<div class="header">
+  <div class="headertitle">
+<div class="title">BDDExpr.h</div>  </div>
+</div><!--header-->
+<div class="contents">
+<a href="BDDExpr_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">//===- BDDExpr.h -- Context/Path BDD conditions----------------------------//</span></div><div class="line"><a name="l00002"></a><span class="lineno">    2</span>&#160;<span class="comment">//</span></div><div class="line"><a name="l00003"></a><span class="lineno">    3</span>&#160;<span class="comment">//                     SVF: Static Value-Flow Analysis</span></div><div class="line"><a name="l00004"></a><span class="lineno">    4</span>&#160;<span class="comment">//</span></div><div class="line"><a name="l00005"></a><span class="lineno">    5</span>&#160;<span class="comment">// Copyright (C) &lt;2013-2017&gt;  &lt;Yulei Sui&gt;</span></div><div class="line"><a name="l00006"></a><span class="lineno">    6</span>&#160;<span class="comment">//</span></div><div class="line"><a name="l00007"></a><span class="lineno">    7</span>&#160;</div><div class="line"><a name="l00008"></a><span class="lineno">    8</span>&#160;<span class="comment">// This program is free software: you can redistribute it and/or modify</span></div><div class="line"><a name="l00009"></a><span class="lineno">    9</span>&#160;<span class="comment">// it under the terms of the GNU General Public License as published by</span></div><div class="line"><a name="l00010"></a><span class="lineno">   10</span>&#160;<span class="comment">// the Free Software Foundation, either version 3 of the License, or</span></div><div class="line"><a name="l00011"></a><span class="lineno">   11</span>&#160;<span class="comment">// (at your option) any later version.</span></div><div class="line"><a name="l00012"></a><span class="lineno">   12</span>&#160;</div><div class="line"><a name="l00013"></a><span class="lineno">   13</span>&#160;<span class="comment">// This program is distributed in the hope that it will be useful,</span></div><div class="line"><a name="l00014"></a><span class="lineno">   14</span>&#160;<span class="comment">// but WITHOUT ANY WARRANTY; without even the implied warranty of</span></div><div class="line"><a name="l00015"></a><span class="lineno">   15</span>&#160;<span class="comment">// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the</span></div><div class="line"><a name="l00016"></a><span class="lineno">   16</span>&#160;<span class="comment">// GNU General Public License for more details.</span></div><div class="line"><a name="l00017"></a><span class="lineno">   17</span>&#160;</div><div class="line"><a name="l00018"></a><span class="lineno">   18</span>&#160;<span class="comment">// You should have received a copy of the GNU General Public License</span></div><div class="line"><a name="l00019"></a><span class="lineno">   19</span>&#160;<span class="comment">// along with this program.  If not, see &lt;http://www.gnu.org/licenses/&gt;.</span></div><div class="line"><a name="l00020"></a><span class="lineno">   20</span>&#160;<span class="comment">//</span></div><div class="line"><a name="l00021"></a><span class="lineno">   21</span>&#160;<span class="comment">//===----------------------------------------------------------------------===//</span></div><div class="line"><a name="l00022"></a><span class="lineno">   22</span>&#160;</div><div class="line"><a name="l00023"></a><span class="lineno">   23</span>&#160;<span class="comment">/*</span></div><div class="line"><a name="l00024"></a><span class="lineno">   24</span>&#160;<span class="comment"> * Condition.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: Oct 19, 2021</span></div><div class="line"><a name="l00027"></a><span class="lineno">   27</span>&#160;<span class="comment"> *      Author: Yulei and Xiao</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 BITVECTORCOND_H_</span></div><div class="line"><a name="l00031"></a><span class="lineno">   31</span>&#160;<span class="preprocessor">#define BITVECTORCOND_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="Util_2BasicTypes_8h.html">Util/BasicTypes.h</a>&quot;</span></div><div class="line"><a name="l00034"></a><span class="lineno">   34</span>&#160;<span class="preprocessor">#include &lt;cstdio&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="preprocessor">#include &quot;<a class="code" href="cuddInt_8h.html">CUDD/cuddInt.h</a>&quot;</span></div><div class="line"><a name="l00037"></a><span class="lineno">   37</span>&#160;<span class="preprocessor">#include &quot;z3++.h&quot;</span></div><div class="line"><a name="l00038"></a><span class="lineno">   38</span>&#160;</div><div class="line"><a name="l00039"></a><span class="lineno">   39</span>&#160;<span class="keyword">namespace </span><a class="code" href="namespaceSVF.html">SVF</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"><a class="line" href="classSVF_1_1BDDExprManager.html">   41</a></span>&#160;<span class="keyword">class </span><a class="code" href="classSVF_1_1BDDExprManager.html">BDDExprManager</a> {</div><div class="line"><a name="l00042"></a><span class="lineno">   42</span>&#160;<span class="keyword">public</span>:</div><div class="line"><a name="l00043"></a><span class="lineno"><a class="line" href="classSVF_1_1BDDExprManager.html#a90e685c420e4ac20104498883dbed9ea">   43</a></span>&#160;    <span class="keyword">typedef</span> <a class="code" href="structDdNode.html">DdNode</a> <a class="code" href="classSVF_1_1BDDExprManager.html#a90e685c420e4ac20104498883dbed9ea">BDDExpr</a>;</div><div class="line"><a name="l00044"></a><span class="lineno"><a class="line" href="classSVF_1_1BDDExprManager.html#a0e0c83c5affc6a4ec67001e33913b035">   44</a></span>&#160;    <span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">Map&lt;u32_t, BDDExpr *&gt;</a> <a class="code" href="classSVF_1_1BDDExprManager.html#a0e0c83c5affc6a4ec67001e33913b035">IndexToBDDExpr</a>;</div><div class="line"><a name="l00045"></a><span class="lineno">   45</span>&#160;<span class="keyword">private</span>:</div><div class="line"><a name="l00046"></a><span class="lineno"><a class="line" href="classSVF_1_1BDDExprManager.html#a77a80afdf1cece7159d295f7ba11ae8f">   46</a></span>&#160;    <span class="keyword">static</span> <a class="code" href="classSVF_1_1BDDExprManager.html">BDDExprManager</a> *<a class="code" href="classSVF_1_1BDDExprManager.html#a77a80afdf1cece7159d295f7ba11ae8f">bddExprMgr</a>;</div><div class="line"><a name="l00047"></a><span class="lineno"><a class="line" href="classSVF_1_1BDDExprManager.html#a252928e3ee1032a9e9e5aa276836b460">   47</a></span>&#160;    IndexToBDDExpr <a class="code" href="classSVF_1_1BDDExprManager.html#a252928e3ee1032a9e9e5aa276836b460">indexToBddCondMap</a>;</div><div class="line"><a name="l00048"></a><span class="lineno"><a class="line" href="classSVF_1_1BDDExprManager.html#ae17830ea476e0ba786e98831bd2b4f50">   48</a></span>&#160;    <a class="code" href="structDdManager.html">DdManager</a> *<a class="code" href="classSVF_1_1BDDExprManager.html#ae17830ea476e0ba786e98831bd2b4f50">m_bdd_mgr</a>;</div><div class="line"><a name="l00049"></a><span class="lineno">   49</span>&#160;</div><div class="line"><a name="l00050"></a><span class="lineno"><a class="line" href="classSVF_1_1BDDExprManager.html#ad3a15ad0aaa40945fd4be7564c5bed64">   50</a></span>&#160;    <span class="keyword">inline</span> BDDExpr *<a class="code" href="classSVF_1_1BDDExprManager.html#ad3a15ad0aaa40945fd4be7564c5bed64">BddOne</a>()<span class="keyword"> const </span>{</div><div class="line"><a name="l00051"></a><span class="lineno">   51</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="cudd_8h.html#a2651c953d81570d3f4f794bcbef40afe">Cudd_ReadOne</a>(m_bdd_mgr);</div><div class="line"><a name="l00052"></a><span class="lineno">   52</span>&#160;    }</div><div class="line"><a name="l00053"></a><span class="lineno">   53</span>&#160;</div><div class="line"><a name="l00054"></a><span class="lineno"><a class="line" href="classSVF_1_1BDDExprManager.html#af256907dc3ce3ae8cbf4ab75fa1f309f">   54</a></span>&#160;    <span class="keyword">inline</span> BDDExpr *<a class="code" href="classSVF_1_1BDDExprManager.html#af256907dc3ce3ae8cbf4ab75fa1f309f">BddZero</a>()<span class="keyword"> const </span>{</div><div class="line"><a name="l00055"></a><span class="lineno">   55</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="cudd_8h.html#a1dd42d8cb5c86659170103a3068e13a6">Cudd_ReadLogicZero</a>(m_bdd_mgr);</div><div class="line"><a name="l00056"></a><span class="lineno">   56</span>&#160;    }</div><div class="line"><a name="l00057"></a><span class="lineno">   57</span>&#160;</div><div class="line"><a name="l00059"></a><span class="lineno">   59</span>&#160;    <a class="code" href="classSVF_1_1BDDExprManager.html#a632e4559983a49e1d05bb51e46aeba78">BDDExprManager</a>();</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;<span class="keyword">public</span>:</div><div class="line"><a name="l00062"></a><span class="lineno"><a class="line" href="classSVF_1_1BDDExprManager.html#a818712f314ec1f1378134d7222c006d0">   62</a></span>&#160;    <span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">Map&lt;const BDDExpr *, const Instruction *&gt;</a> <a class="code" href="classSVF_1_1BDDExprManager.html#a818712f314ec1f1378134d7222c006d0">CondToTermInstMap</a>;    <span class="comment">// map a condition to its branch instruction</span></div><div class="line"><a name="l00063"></a><span class="lineno"><a class="line" href="classSVF_1_1BDDExprManager.html#a8d034c572bed854582c391674a5b4f18">   63</a></span>&#160;    <span class="keyword">static</span> <a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> <a class="code" href="classSVF_1_1BDDExprManager.html#a8d034c572bed854582c391674a5b4f18">totalCondNum</a>; <span class="comment">// a counter for fresh condition</span></div><div class="line"><a name="l00065"></a><span class="lineno">   65</span>&#160;<span class="comment"></span></div><div class="line"><a name="l00066"></a><span class="lineno">   66</span>&#160;    <span class="keyword">static</span> <a class="code" href="classSVF_1_1BDDExprManager.html">BDDExprManager</a> *<a class="code" href="classSVF_1_1BDDExprManager.html#ae7be20333ab86fb5297b33923562c7a5">getBDDExprMgr</a>();</div><div class="line"><a name="l00067"></a><span class="lineno">   67</span>&#160;</div><div class="line"><a name="l00068"></a><span class="lineno"><a class="line" href="classSVF_1_1BDDExprManager.html#a560d3389fc5ca59b590441cf2f1f43ec">   68</a></span>&#160;    <span class="keyword">static</span> <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1BDDExprManager.html#a560d3389fc5ca59b590441cf2f1f43ec">releaseBDDExprMgr</a>() {</div><div class="line"><a name="l00069"></a><span class="lineno">   69</span>&#160;        <span class="keyword">delete</span> <a class="code" href="classSVF_1_1BDDExprManager.html#a77a80afdf1cece7159d295f7ba11ae8f">bddExprMgr</a>;</div><div class="line"><a name="l00070"></a><span class="lineno">   70</span>&#160;        bddExprMgr = <span class="keyword">nullptr</span>;</div><div class="line"><a name="l00071"></a><span class="lineno">   71</span>&#160;    }</div><div class="line"><a name="l00073"></a><span class="lineno">   73</span>&#160;</div><div class="line"><a name="l00075"></a><span class="lineno">   75</span>&#160;    <span class="keyword">virtual</span> <a class="code" href="classSVF_1_1BDDExprManager.html#aecc9ec67017d4f5309cba7be6e83deea">~BDDExprManager</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"><a class="line" href="classSVF_1_1BDDExprManager.html#a1c8d1eba6a33b2c2f9925cbdffe1e64a">   77</a></span>&#160;    BDDExpr *<a class="code" href="classSVF_1_1BDDExprManager.html#a1c8d1eba6a33b2c2f9925cbdffe1e64a">createCond</a>(<a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> i) {</div><div class="line"><a name="l00078"></a><span class="lineno">   78</span>&#160;        <a class="code" href="util_8h.html#a07d17d6d5d1074c0969bc5d3c3d1d84a">assert</a>(indexToBddCondMap.find(i) == indexToBddCondMap.end() &amp;&amp;</div><div class="line"><a name="l00079"></a><span class="lineno">   79</span>&#160;               <span class="stringliteral">&quot;This should be fresh index to create new BDD&quot;</span>);</div><div class="line"><a name="l00080"></a><span class="lineno">   80</span>&#160;        BDDExpr *bddCond = <a class="code" href="cudd_8h.html#a40fd71665cde402bd5bc4f39015c09ae">Cudd_bddIthVar</a>(m_bdd_mgr, i);</div><div class="line"><a name="l00081"></a><span class="lineno">   81</span>&#160;        <span class="keywordflow">return</span> indexToBddCondMap.emplace(i, bddCond).first-&gt;second;</div><div class="line"><a name="l00082"></a><span class="lineno">   82</span>&#160;    }</div><div class="line"><a name="l00083"></a><span class="lineno">   83</span>&#160;</div><div class="line"><a name="l00085"></a><span class="lineno">   85</span>&#160;    <span class="keyword">virtual</span> BDDExpr *<a class="code" href="classSVF_1_1BDDExprManager.html#a7275a1d4da75370cf5f5f8499fcafa2b">createFreshBranchCond</a>(<span class="keyword">const</span> <a class="code" href="namespaceSVF.html#a7875172ff434b2210eea7cecfbbd959e">Instruction</a> *inst);</div><div class="line"><a name="l00086"></a><span class="lineno">   86</span>&#160;</div><div class="line"><a name="l00088"></a><span class="lineno"><a class="line" href="classSVF_1_1BDDExprManager.html#a39d4e4c5c4290dcdb8b00e05b56f7302">   88</a></span>&#160;    <span class="keyword">virtual</span> <span class="keyword">inline</span> <a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> <a class="code" href="classSVF_1_1BDDExprManager.html#a39d4e4c5c4290dcdb8b00e05b56f7302">getCondNumber</a>() {</div><div class="line"><a name="l00089"></a><span class="lineno">   89</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="cudd_8h.html#a9ba2c88b8f70df51791c26ffde800fc7">Cudd_ReadNodeCount</a>(m_bdd_mgr);</div><div class="line"><a name="l00090"></a><span class="lineno">   90</span>&#160;    }</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;</div><div class="line"><a name="l00094"></a><span class="lineno"><a class="line" href="classSVF_1_1BDDExprManager.html#a765d97ba6065a96a61209c59fdbb4b01">   94</a></span>&#160;    <span class="keyword">inline</span> BDDExpr *<a class="code" href="classSVF_1_1BDDExprManager.html#a765d97ba6065a96a61209c59fdbb4b01">getTrueCond</a>()<span class="keyword"> const </span>{</div><div class="line"><a name="l00095"></a><span class="lineno">   95</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1BDDExprManager.html#acf9824ae990ee816bf182fb9e4a14053">trueCond</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="l00099"></a><span class="lineno"><a class="line" href="classSVF_1_1BDDExprManager.html#a34f5354a436840202428e406468e2335">   99</a></span>&#160;    <span class="keyword">inline</span> BDDExpr *<a class="code" href="classSVF_1_1BDDExprManager.html#a34f5354a436840202428e406468e2335">getFalseCond</a>()<span class="keyword"> const </span>{</div><div class="line"><a name="l00100"></a><span class="lineno">  100</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1BDDExprManager.html#a7c9d970f02b142a5ca05f8d67e974269">falseCond</a>;</div><div class="line"><a name="l00101"></a><span class="lineno">  101</span>&#160;    }</div><div class="line"><a name="l00102"></a><span class="lineno">  102</span>&#160;</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">  105</span>&#160;    <span class="keyword">virtual</span> BDDExpr *<a class="code" href="classSVF_1_1BDDExprManager.html#ac154e934958738288e730faece029436">AND</a>(BDDExpr *lhs, BDDExpr *rhs);</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;    <span class="keyword">virtual</span> BDDExpr *<a class="code" href="classSVF_1_1BDDExprManager.html#a276f68eefe6b168ad5dc9e32c4f265bd">OR</a>(BDDExpr *lhs, BDDExpr *rhs);</div><div class="line"><a name="l00108"></a><span class="lineno">  108</span>&#160;</div><div class="line"><a name="l00109"></a><span class="lineno">  109</span>&#160;    <span class="keyword">virtual</span> BDDExpr *<a class="code" href="classSVF_1_1BDDExprManager.html#ace340608e136c33867b3e1a986d65c81">NEG</a>(BDDExpr *lhs);</div><div class="line"><a name="l00111"></a><span class="lineno">  111</span>&#160;</div><div class="line"><a name="l00112"></a><span class="lineno"><a class="line" href="classSVF_1_1BDDExprManager.html#a2d07075a8948d9baf4de31d840aa7a17">  112</a></span>&#160;    <span class="keyword">virtual</span> <span class="keywordtype">bool</span> <a class="code" href="classSVF_1_1BDDExprManager.html#a2d07075a8948d9baf4de31d840aa7a17">isNegCond</a>(<span class="keyword">const</span> BDDExpr *cond) {</div><div class="line"><a name="l00113"></a><span class="lineno">  113</span>&#160;        <span class="keywordflow">return</span> <span class="keyword">false</span>;</div><div class="line"><a name="l00114"></a><span class="lineno">  114</span>&#160;    }</div><div class="line"><a name="l00115"></a><span class="lineno">  115</span>&#160;</div><div class="line"><a name="l00117"></a><span class="lineno"><a class="line" href="classSVF_1_1BDDExprManager.html#a26a49a796e0747b173c380f3658a7ad3">  117</a></span>&#160;    <span class="keyword">virtual</span> <span class="keywordtype">bool</span> <a class="code" href="classSVF_1_1BDDExprManager.html#a26a49a796e0747b173c380f3658a7ad3">isSatisfiable</a>(<span class="keyword">const</span> BDDExpr *cond) {</div><div class="line"><a name="l00118"></a><span class="lineno">  118</span>&#160;        <span class="keywordflow">return</span> cond != <a class="code" href="classSVF_1_1BDDExprManager.html#a34f5354a436840202428e406468e2335">getFalseCond</a>();</div><div class="line"><a name="l00119"></a><span class="lineno">  119</span>&#160;    }</div><div class="line"><a name="l00120"></a><span class="lineno">  120</span>&#160;</div><div class="line"><a name="l00122"></a><span class="lineno"><a class="line" href="classSVF_1_1BDDExprManager.html#a9ac35220d1364a8e6d9bb32e3c236db2">  122</a></span>&#160;    <span class="keyword">virtual</span> <span class="keywordtype">bool</span> <a class="code" href="classSVF_1_1BDDExprManager.html#a9ac35220d1364a8e6d9bb32e3c236db2">isEquivalentBranchCond</a>(<span class="keyword">const</span> BDDExpr *lhs, <span class="keyword">const</span> BDDExpr *rhs){</div><div class="line"><a name="l00123"></a><span class="lineno">  123</span>&#160;        <span class="keywordflow">return</span> lhs == rhs;</div><div class="line"><a name="l00124"></a><span class="lineno">  124</span>&#160;    }</div><div class="line"><a name="l00125"></a><span class="lineno">  125</span>&#160;</div><div class="line"><a name="l00127"></a><span class="lineno">  127</span>&#160;    <span class="keywordtype">bool</span> <a class="code" href="classSVF_1_1BDDExprManager.html#afb30b41edd5bb6478d30778bc7f09e15">isAllPathReachable</a>(<span class="keyword">const</span> BDDExpr *e);</div><div class="line"><a name="l00128"></a><span class="lineno">  128</span>&#160;</div><div class="line"><a name="l00130"></a><span class="lineno"><a class="line" href="classSVF_1_1BDDExprManager.html#a58186fe706c8c44467b789d8ebd58474">  130</a></span>&#160;    <span class="keyword">virtual</span> BDDExpr *<a class="code" href="classSVF_1_1BDDExprManager.html#a58186fe706c8c44467b789d8ebd58474">getCond</a>(<a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> <span class="keywordtype">id</span>) {</div><div class="line"><a name="l00131"></a><span class="lineno">  131</span>&#160;        <span class="keyword">auto</span> it = indexToBddCondMap.find(<span class="keywordtype">id</span>);</div><div class="line"><a name="l00132"></a><span class="lineno">  132</span>&#160;        <a class="code" href="util_8h.html#a07d17d6d5d1074c0969bc5d3c3d1d84a">assert</a>(it != indexToBddCondMap.end() &amp;&amp; <span class="stringliteral">&quot;condition not found!&quot;</span>);</div><div class="line"><a name="l00133"></a><span class="lineno">  133</span>&#160;        <span class="keywordflow">return</span> it-&gt;second;</div><div class="line"><a name="l00134"></a><span class="lineno">  134</span>&#160;    }</div><div class="line"><a name="l00135"></a><span class="lineno">  135</span>&#160;</div><div class="line"><a name="l00137"></a><span class="lineno">  137</span>&#160;    <span class="comment">//{@</span></div><div class="line"><a name="l00138"></a><span class="lineno"><a class="line" href="classSVF_1_1BDDExprManager.html#a40e32bc52cce8ac1335b5050e693035b">  138</a></span>&#160;    <span class="keyword">inline</span> <span class="keyword">const</span> <a class="code" href="namespaceSVF.html#a7875172ff434b2210eea7cecfbbd959e">Instruction</a> *<a class="code" href="classSVF_1_1BDDExprManager.html#a40e32bc52cce8ac1335b5050e693035b">getCondInst</a>(<span class="keyword">const</span> BDDExpr *cond)<span class="keyword"> const </span>{</div><div class="line"><a name="l00139"></a><span class="lineno">  139</span>&#160;        CondToTermInstMap::const_iterator it = <a class="code" href="classSVF_1_1BDDExprManager.html#a752dd196d3bd1d782e1290630c4daff0">condToInstMap</a>.find(cond);</div><div class="line"><a name="l00140"></a><span class="lineno">  140</span>&#160;        <a class="code" href="util_8h.html#a07d17d6d5d1074c0969bc5d3c3d1d84a">assert</a>(it != <a class="code" href="classSVF_1_1BDDExprManager.html#a752dd196d3bd1d782e1290630c4daff0">condToInstMap</a>.end() &amp;&amp; <span class="stringliteral">&quot;this should be a fresh condition&quot;</span>);</div><div class="line"><a name="l00141"></a><span class="lineno">  141</span>&#160;        <span class="keywordflow">return</span> it-&gt;second;</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"><a class="line" href="classSVF_1_1BDDExprManager.html#afc1d4301a3453c920f9b92ac53101bfe">  144</a></span>&#160;    <span class="keyword">inline</span> <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1BDDExprManager.html#afc1d4301a3453c920f9b92ac53101bfe">setCondInst</a>(<span class="keyword">const</span> BDDExpr *cond, <span class="keyword">const</span> <a class="code" href="namespaceSVF.html#a7875172ff434b2210eea7cecfbbd959e">Instruction</a> *inst) {</div><div class="line"><a name="l00145"></a><span class="lineno">  145</span>&#160;        <a class="code" href="util_8h.html#a07d17d6d5d1074c0969bc5d3c3d1d84a">assert</a>(<a class="code" href="classSVF_1_1BDDExprManager.html#a752dd196d3bd1d782e1290630c4daff0">condToInstMap</a>.find(cond) == <a class="code" href="classSVF_1_1BDDExprManager.html#a752dd196d3bd1d782e1290630c4daff0">condToInstMap</a>.end() &amp;&amp; <span class="stringliteral">&quot;this should be a fresh condition&quot;</span>);</div><div class="line"><a name="l00146"></a><span class="lineno">  146</span>&#160;        <a class="code" href="classSVF_1_1BDDExprManager.html#a752dd196d3bd1d782e1290630c4daff0">condToInstMap</a>[cond] = inst;</div><div class="line"><a name="l00147"></a><span class="lineno">  147</span>&#160;    }</div><div class="line"><a name="l00149"></a><span class="lineno">  149</span>&#160;</div><div class="line"><a name="l00154"></a><span class="lineno">  154</span>&#160;    <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1BDDExprManager.html#a78e653083609764e10774a73fbcce2d1">ddClearFlag</a>(BDDExpr *f) <span class="keyword">const</span>;</div><div class="line"><a name="l00155"></a><span class="lineno">  155</span>&#160;</div><div class="line"><a name="l00156"></a><span class="lineno">  156</span>&#160;    <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1BDDExprManager.html#adc2d7b6e5336173550f29f7c5bd2ce0e">BddSupportStep</a>(BDDExpr *f, <a class="code" href="namespaceSVF.html#a740396763e377643790c8b803ab3e4ea">NodeBS</a> &amp;support) <span class="keyword">const</span>;</div><div class="line"><a name="l00157"></a><span class="lineno">  157</span>&#160;</div><div class="line"><a name="l00158"></a><span class="lineno">  158</span>&#160;    <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1BDDExprManager.html#a5bbd80a97aa794da9568716e456cf40c">extractSubConds</a>(<span class="keyword">const</span> BDDExpr *f, <a class="code" href="namespaceSVF.html#a740396763e377643790c8b803ab3e4ea">NodeBS</a> &amp;support) <span class="keyword">const</span>;</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;    <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1BDDExprManager.html#ae9a81416569c44bb384b61e47ade8bde">dump</a>(<span class="keyword">const</span> BDDExpr *lhs, <a class="code" href="namespaceSVF.html#a8bd74fdcb0e58d0249003df9c3fb8b31">OutStream</a> &amp;O);</div><div class="line"><a name="l00161"></a><span class="lineno">  161</span>&#160;</div><div class="line"><a name="l00162"></a><span class="lineno">  162</span>&#160;    std::string <a class="code" href="classSVF_1_1BDDExprManager.html#aa42ab1c5e6b2774be528bb33f0ca3c7b">dumpStr</a>(<span class="keyword">const</span> BDDExpr *e) <span class="keyword">const</span>;</div><div class="line"><a name="l00163"></a><span class="lineno">  163</span>&#160;</div><div class="line"><a name="l00164"></a><span class="lineno"><a class="line" href="classSVF_1_1BDDExprManager.html#a7cb0ba9829434de3c40a2c45beea7741">  164</a></span>&#160;    <span class="keyword">inline</span> std::string <a class="code" href="classSVF_1_1BDDExprManager.html#a7cb0ba9829434de3c40a2c45beea7741">getMemUsage</a>() {</div><div class="line"><a name="l00165"></a><span class="lineno">  165</span>&#160;        <span class="keywordflow">return</span> std::to_string(<a class="code" href="cudd_8h.html#a03db7d4ba1119a3cd5843fa7bd3a1a30">Cudd_ReadMemoryInUse</a>(m_bdd_mgr));</div><div class="line"><a name="l00166"></a><span class="lineno">  166</span>&#160;    }</div><div class="line"><a name="l00167"></a><span class="lineno">  167</span>&#160;</div><div class="line"><a name="l00168"></a><span class="lineno">  168</span>&#160;<span class="keyword">protected</span>:</div><div class="line"><a name="l00169"></a><span class="lineno"><a class="line" href="classSVF_1_1BDDExprManager.html#acf9824ae990ee816bf182fb9e4a14053">  169</a></span>&#160;    <span class="keyword">static</span> BDDExpr *<a class="code" href="classSVF_1_1BDDExprManager.html#acf9824ae990ee816bf182fb9e4a14053">trueCond</a>;</div><div class="line"><a name="l00170"></a><span class="lineno"><a class="line" href="classSVF_1_1BDDExprManager.html#a7c9d970f02b142a5ca05f8d67e974269">  170</a></span>&#160;    <span class="keyword">static</span> BDDExpr *<a class="code" href="classSVF_1_1BDDExprManager.html#a7c9d970f02b142a5ca05f8d67e974269">falseCond</a>;</div><div class="line"><a name="l00171"></a><span class="lineno">  171</span>&#160;</div><div class="line"><a name="l00172"></a><span class="lineno">  172</span>&#160;<span class="keyword">private</span>:</div><div class="line"><a name="l00173"></a><span class="lineno">  173</span>&#160;</div><div class="line"><a name="l00174"></a><span class="lineno"><a class="line" href="classSVF_1_1BDDExprManager.html#a752dd196d3bd1d782e1290630c4daff0">  174</a></span>&#160;    CondToTermInstMap <a class="code" href="classSVF_1_1BDDExprManager.html#a752dd196d3bd1d782e1290630c4daff0">condToInstMap</a>; </div><div class="line"><a name="l00175"></a><span class="lineno">  175</span>&#160;</div><div class="line"><a name="l00176"></a><span class="lineno">  176</span>&#160;};</div><div class="line"><a name="l00177"></a><span class="lineno">  177</span>&#160;</div><div class="line"><a name="l00178"></a><span class="lineno">  178</span>&#160;</div><div class="line"><a name="l00179"></a><span class="lineno">  179</span>&#160;</div><div class="line"><a name="l00180"></a><span class="lineno">  180</span>&#160;} <span class="comment">// End namespace SVF</span></div><div class="line"><a name="l00181"></a><span class="lineno">  181</span>&#160;</div><div class="line"><a name="l00182"></a><span class="lineno">  182</span>&#160;<span class="preprocessor">#endif </span><span class="comment">/* BITVECTORCOND_H_ */</span><span class="preprocessor"></span></div><div class="ttc" id="classSVF_1_1BDDExprManager_html_adc2d7b6e5336173550f29f7c5bd2ce0e"><div class="ttname"><a href="classSVF_1_1BDDExprManager.html#adc2d7b6e5336173550f29f7c5bd2ce0e">SVF::BDDExprManager::BddSupportStep</a></div><div class="ttdeci">void BddSupportStep(BDDExpr *f, NodeBS &amp;support) const</div><div class="ttdef"><b>Definition:</b> <a href="BDDExpr_8cpp_source.html#l00149">BDDExpr.cpp:149</a></div></div>
+<div class="ttc" id="classSVF_1_1BDDExprManager_html_a2d07075a8948d9baf4de31d840aa7a17"><div class="ttname"><a href="classSVF_1_1BDDExprManager.html#a2d07075a8948d9baf4de31d840aa7a17">SVF::BDDExprManager::isNegCond</a></div><div class="ttdeci">virtual bool isNegCond(const BDDExpr *cond)</div><div class="ttdef"><b>Definition:</b> <a href="BDDExpr_8h_source.html#l00112">BDDExpr.h:112</a></div></div>
+<div class="ttc" id="classSVF_1_1BDDExprManager_html_a7cb0ba9829434de3c40a2c45beea7741"><div class="ttname"><a href="classSVF_1_1BDDExprManager.html#a7cb0ba9829434de3c40a2c45beea7741">SVF::BDDExprManager::getMemUsage</a></div><div class="ttdeci">std::string getMemUsage()</div><div class="ttdef"><b>Definition:</b> <a href="BDDExpr_8h_source.html#l00164">BDDExpr.h:164</a></div></div>
+<div class="ttc" id="classSVF_1_1BDDExprManager_html_a7c9d970f02b142a5ca05f8d67e974269"><div class="ttname"><a href="classSVF_1_1BDDExprManager.html#a7c9d970f02b142a5ca05f8d67e974269">SVF::BDDExprManager::falseCond</a></div><div class="ttdeci">static BDDExpr * falseCond</div><div class="ttdef"><b>Definition:</b> <a href="BDDExpr_8h_source.html#l00170">BDDExpr.h:170</a></div></div>
+<div class="ttc" id="structDdNode_html"><div class="ttname"><a href="structDdNode.html">DdNode</a></div><div class="ttdef"><b>Definition:</b> <a href="cudd_8h_source.html#l00264">cudd.h:264</a></div></div>
+<div class="ttc" id="Util_2BasicTypes_8h_html"><div class="ttname"><a href="Util_2BasicTypes_8h.html">BasicTypes.h</a></div></div>
+<div class="ttc" id="util_8h_html_a07d17d6d5d1074c0969bc5d3c3d1d84a"><div class="ttname"><a href="util_8h.html#a07d17d6d5d1074c0969bc5d3c3d1d84a">assert</a></div><div class="ttdeci">#define assert(ex)</div><div class="ttdef"><b>Definition:</b> <a href="util_8h_source.html#l00141">util.h:141</a></div></div>
+<div class="ttc" id="cuddInt_8h_html"><div class="ttname"><a href="cuddInt_8h.html">cuddInt.h</a></div></div>
+<div class="ttc" id="classSVF_1_1BDDExprManager_html_a752dd196d3bd1d782e1290630c4daff0"><div class="ttname"><a href="classSVF_1_1BDDExprManager.html#a752dd196d3bd1d782e1290630c4daff0">SVF::BDDExprManager::condToInstMap</a></div><div class="ttdeci">CondToTermInstMap condToInstMap</div><div class="ttdoc">map condition to llvm instruction </div><div class="ttdef"><b>Definition:</b> <a href="BDDExpr_8h_source.html#l00174">BDDExpr.h:174</a></div></div>
+<div class="ttc" id="classSVF_1_1BDDExprManager_html_a5bbd80a97aa794da9568716e456cf40c"><div class="ttname"><a href="classSVF_1_1BDDExprManager.html#a5bbd80a97aa794da9568716e456cf40c">SVF::BDDExprManager::extractSubConds</a></div><div class="ttdeci">void extractSubConds(const BDDExpr *f, NodeBS &amp;support) const</div><div class="ttdef"><b>Definition:</b> <a href="BDDExpr_8cpp_source.html#l00161">BDDExpr.cpp:161</a></div></div>
+<div class="ttc" id="cudd_8h_html_a1dd42d8cb5c86659170103a3068e13a6"><div class="ttname"><a href="cudd_8h.html#a1dd42d8cb5c86659170103a3068e13a6">Cudd_ReadLogicZero</a></div><div class="ttdeci">DdNode * Cudd_ReadLogicZero(DdManager *dd)</div><div class="ttdef"><b>Definition:</b> <a href="cuddInt_8c_source.html#l01738">cuddInt.c:1738</a></div></div>
+<div class="ttc" id="classSVF_1_1BDDExprManager_html_a0e0c83c5affc6a4ec67001e33913b035"><div class="ttname"><a href="classSVF_1_1BDDExprManager.html#a0e0c83c5affc6a4ec67001e33913b035">SVF::BDDExprManager::IndexToBDDExpr</a></div><div class="ttdeci">Map&lt; u32_t, BDDExpr * &gt; IndexToBDDExpr</div><div class="ttdef"><b>Definition:</b> <a href="BDDExpr_8h_source.html#l00044">BDDExpr.h:44</a></div></div>
+<div class="ttc" id="structDdManager_html"><div class="ttname"><a href="structDdManager.html">DdManager</a></div><div class="ttdef"><b>Definition:</b> <a href="cuddInt_8h_source.html#l00326">cuddInt.h:326</a></div></div>
+<div class="ttc" id="classSVF_1_1BDDExprManager_html_ae17830ea476e0ba786e98831bd2b4f50"><div class="ttname"><a href="classSVF_1_1BDDExprManager.html#ae17830ea476e0ba786e98831bd2b4f50">SVF::BDDExprManager::m_bdd_mgr</a></div><div class="ttdeci">DdManager * m_bdd_mgr</div><div class="ttdef"><b>Definition:</b> <a href="BDDExpr_8h_source.html#l00048">BDDExpr.h:48</a></div></div>
+<div class="ttc" id="namespaceSVF_html_a8234d4b959abc9123993bcff4eee34c1"><div class="ttname"><a href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">SVF::Map</a></div><div class="ttdeci">std::unordered_map&lt; Key, Value, Hash, KeyEqual, Allocator &gt; Map</div><div class="ttdef"><b>Definition:</b> <a href="SVFBasicTypes_8h_source.html#l00106">SVFBasicTypes.h:106</a></div></div>
+<div class="ttc" id="classSVF_1_1BDDExprManager_html_a560d3389fc5ca59b590441cf2f1f43ec"><div class="ttname"><a href="classSVF_1_1BDDExprManager.html#a560d3389fc5ca59b590441cf2f1f43ec">SVF::BDDExprManager::releaseBDDExprMgr</a></div><div class="ttdeci">static void releaseBDDExprMgr()</div><div class="ttdef"><b>Definition:</b> <a href="BDDExpr_8h_source.html#l00068">BDDExpr.h:68</a></div></div>
+<div class="ttc" id="classSVF_1_1BDDExprManager_html_a276f68eefe6b168ad5dc9e32c4f265bd"><div class="ttname"><a href="classSVF_1_1BDDExprManager.html#a276f68eefe6b168ad5dc9e32c4f265bd">SVF::BDDExprManager::OR</a></div><div class="ttdeci">virtual BDDExpr * OR(BDDExpr *lhs, BDDExpr *rhs)</div><div class="ttdef"><b>Definition:</b> <a href="BDDExpr_8cpp_source.html#l00095">BDDExpr.cpp:95</a></div></div>
+<div class="ttc" id="classSVF_1_1BDDExprManager_html_a8d034c572bed854582c391674a5b4f18"><div class="ttname"><a href="classSVF_1_1BDDExprManager.html#a8d034c572bed854582c391674a5b4f18">SVF::BDDExprManager::totalCondNum</a></div><div class="ttdeci">static u32_t totalCondNum</div><div class="ttdef"><b>Definition:</b> <a href="BDDExpr_8h_source.html#l00063">BDDExpr.h:63</a></div></div>
+<div class="ttc" id="namespaceSVF_html_ad42bff8d0a7d60a085aa32d10f4955af"><div class="ttname"><a href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">SVF::u32_t</a></div><div class="ttdeci">unsigned u32_t</div><div class="ttdef"><b>Definition:</b> <a href="SVFBasicTypes_8h_source.html#l00081">SVFBasicTypes.h:81</a></div></div>
+<div class="ttc" id="classSVF_1_1BDDExprManager_html_ace340608e136c33867b3e1a986d65c81"><div class="ttname"><a href="classSVF_1_1BDDExprManager.html#ace340608e136c33867b3e1a986d65c81">SVF::BDDExprManager::NEG</a></div><div class="ttdeci">virtual BDDExpr * NEG(BDDExpr *lhs)</div><div class="ttdef"><b>Definition:</b> <a href="BDDExpr_8cpp_source.html#l00115">BDDExpr.cpp:115</a></div></div>
+<div class="ttc" id="classSVF_1_1BDDExprManager_html_ad3a15ad0aaa40945fd4be7564c5bed64"><div class="ttname"><a href="classSVF_1_1BDDExprManager.html#ad3a15ad0aaa40945fd4be7564c5bed64">SVF::BDDExprManager::BddOne</a></div><div class="ttdeci">BDDExpr * BddOne() const</div><div class="ttdef"><b>Definition:</b> <a href="BDDExpr_8h_source.html#l00050">BDDExpr.h:50</a></div></div>
+<div class="ttc" id="classSVF_1_1BDDExprManager_html_afc1d4301a3453c920f9b92ac53101bfe"><div class="ttname"><a href="classSVF_1_1BDDExprManager.html#afc1d4301a3453c920f9b92ac53101bfe">SVF::BDDExprManager::setCondInst</a></div><div class="ttdeci">void setCondInst(const BDDExpr *cond, const Instruction *inst)</div><div class="ttdef"><b>Definition:</b> <a href="BDDExpr_8h_source.html#l00144">BDDExpr.h:144</a></div></div>
+<div class="ttc" id="classSVF_1_1BDDExprManager_html_a26a49a796e0747b173c380f3658a7ad3"><div class="ttname"><a href="classSVF_1_1BDDExprManager.html#a26a49a796e0747b173c380f3658a7ad3">SVF::BDDExprManager::isSatisfiable</a></div><div class="ttdeci">virtual bool isSatisfiable(const BDDExpr *cond)</div><div class="ttdoc">Whether the condition is satisfiable. </div><div class="ttdef"><b>Definition:</b> <a href="BDDExpr_8h_source.html#l00117">BDDExpr.h:117</a></div></div>
+<div class="ttc" id="classSVF_1_1BDDExprManager_html_a9ac35220d1364a8e6d9bb32e3c236db2"><div class="ttname"><a href="classSVF_1_1BDDExprManager.html#a9ac35220d1364a8e6d9bb32e3c236db2">SVF::BDDExprManager::isEquivalentBranchCond</a></div><div class="ttdeci">virtual bool isEquivalentBranchCond(const BDDExpr *lhs, const BDDExpr *rhs)</div><div class="ttdoc">Whether lhs and rhs are equivalent branch conditions. </div><div class="ttdef"><b>Definition:</b> <a href="BDDExpr_8h_source.html#l00122">BDDExpr.h:122</a></div></div>
+<div class="ttc" id="classSVF_1_1BDDExprManager_html_a1c8d1eba6a33b2c2f9925cbdffe1e64a"><div class="ttname"><a href="classSVF_1_1BDDExprManager.html#a1c8d1eba6a33b2c2f9925cbdffe1e64a">SVF::BDDExprManager::createCond</a></div><div class="ttdeci">BDDExpr * createCond(u32_t i)</div><div class="ttdef"><b>Definition:</b> <a href="BDDExpr_8h_source.html#l00077">BDDExpr.h:77</a></div></div>
+<div class="ttc" id="classSVF_1_1BDDExprManager_html_a765d97ba6065a96a61209c59fdbb4b01"><div class="ttname"><a href="classSVF_1_1BDDExprManager.html#a765d97ba6065a96a61209c59fdbb4b01">SVF::BDDExprManager::getTrueCond</a></div><div class="ttdeci">BDDExpr * getTrueCond() const</div><div class="ttdoc">Return the unique true condition. </div><div class="ttdef"><b>Definition:</b> <a href="BDDExpr_8h_source.html#l00094">BDDExpr.h:94</a></div></div>
+<div class="ttc" id="classSVF_1_1BDDExprManager_html_afb30b41edd5bb6478d30778bc7f09e15"><div class="ttname"><a href="classSVF_1_1BDDExprManager.html#afb30b41edd5bb6478d30778bc7f09e15">SVF::BDDExprManager::isAllPathReachable</a></div><div class="ttdeci">bool isAllPathReachable(const BDDExpr *e)</div><div class="ttdoc">Whether All Paths are reachable. </div><div class="ttdef"><b>Definition:</b> <a href="BDDExpr_8cpp_source.html#l00129">BDDExpr.cpp:129</a></div></div>
+<div class="ttc" id="classSVF_1_1BDDExprManager_html_aa42ab1c5e6b2774be528bb33f0ca3c7b"><div class="ttname"><a href="classSVF_1_1BDDExprManager.html#aa42ab1c5e6b2774be528bb33f0ca3c7b">SVF::BDDExprManager::dumpStr</a></div><div class="ttdeci">std::string dumpStr(const BDDExpr *e) const</div><div class="ttdef"><b>Definition:</b> <a href="BDDExpr_8cpp_source.html#l00187">BDDExpr.cpp:187</a></div></div>
+<div class="ttc" id="classSVF_1_1BDDExprManager_html_ae9a81416569c44bb384b61e47ade8bde"><div class="ttname"><a href="classSVF_1_1BDDExprManager.html#ae9a81416569c44bb384b61e47ade8bde">SVF::BDDExprManager::dump</a></div><div class="ttdeci">void dump(const BDDExpr *lhs, OutStream &amp;O)</div><div class="ttdef"><b>Definition:</b> <a href="BDDExpr_8cpp_source.html#l00169">BDDExpr.cpp:169</a></div></div>
+<div class="ttc" id="namespaceSVF_html_a7875172ff434b2210eea7cecfbbd959e"><div class="ttname"><a href="namespaceSVF.html#a7875172ff434b2210eea7cecfbbd959e">SVF::Instruction</a></div><div class="ttdeci">llvm::Instruction Instruction</div><div class="ttdef"><b>Definition:</b> <a href="Util_2BasicTypes_8h_source.html#l00076">BasicTypes.h:76</a></div></div>
+<div class="ttc" id="classSVF_1_1BDDExprManager_html"><div class="ttname"><a href="classSVF_1_1BDDExprManager.html">SVF::BDDExprManager</a></div><div class="ttdef"><b>Definition:</b> <a href="BDDExpr_8h_source.html#l00041">BDDExpr.h:41</a></div></div>
+<div class="ttc" id="classSVF_1_1BDDExprManager_html_af256907dc3ce3ae8cbf4ab75fa1f309f"><div class="ttname"><a href="classSVF_1_1BDDExprManager.html#af256907dc3ce3ae8cbf4ab75fa1f309f">SVF::BDDExprManager::BddZero</a></div><div class="ttdeci">BDDExpr * BddZero() const</div><div class="ttdef"><b>Definition:</b> <a href="BDDExpr_8h_source.html#l00054">BDDExpr.h:54</a></div></div>
+<div class="ttc" id="classSVF_1_1BDDExprManager_html_ae7be20333ab86fb5297b33923562c7a5"><div class="ttname"><a href="classSVF_1_1BDDExprManager.html#ae7be20333ab86fb5297b33923562c7a5">SVF::BDDExprManager::getBDDExprMgr</a></div><div class="ttdeci">static BDDExprManager * getBDDExprMgr()</div><div class="ttdoc">Singleton design here to make sure we only have one instance during any analysis. ...</div><div class="ttdef"><b>Definition:</b> <a href="BDDExpr_8cpp_source.html#l00053">BDDExpr.cpp:53</a></div></div>
+<div class="ttc" id="classSVF_1_1BDDExprManager_html_ac154e934958738288e730faece029436"><div class="ttname"><a href="classSVF_1_1BDDExprManager.html#ac154e934958738288e730faece029436">SVF::BDDExprManager::AND</a></div><div class="ttdeci">virtual BDDExpr * AND(BDDExpr *lhs, BDDExpr *rhs)</div><div class="ttdoc">Operations on conditions. </div><div class="ttdef"><b>Definition:</b> <a href="BDDExpr_8cpp_source.html#l00072">BDDExpr.cpp:72</a></div></div>
+<div class="ttc" id="classSVF_1_1BDDExprManager_html_a90e685c420e4ac20104498883dbed9ea"><div class="ttname"><a href="classSVF_1_1BDDExprManager.html#a90e685c420e4ac20104498883dbed9ea">SVF::BDDExprManager::BDDExpr</a></div><div class="ttdeci">DdNode BDDExpr</div><div class="ttdef"><b>Definition:</b> <a href="BDDExpr_8h_source.html#l00043">BDDExpr.h:43</a></div></div>
+<div class="ttc" id="classSVF_1_1BDDExprManager_html_a252928e3ee1032a9e9e5aa276836b460"><div class="ttname"><a href="classSVF_1_1BDDExprManager.html#a252928e3ee1032a9e9e5aa276836b460">SVF::BDDExprManager::indexToBddCondMap</a></div><div class="ttdeci">IndexToBDDExpr indexToBddCondMap</div><div class="ttdef"><b>Definition:</b> <a href="BDDExpr_8h_source.html#l00047">BDDExpr.h:47</a></div></div>
+<div class="ttc" id="classSVF_1_1BDDExprManager_html_a39d4e4c5c4290dcdb8b00e05b56f7302"><div class="ttname"><a href="classSVF_1_1BDDExprManager.html#a39d4e4c5c4290dcdb8b00e05b56f7302">SVF::BDDExprManager::getCondNumber</a></div><div class="ttdeci">virtual u32_t getCondNumber()</div><div class="ttdoc">Return the number of condition expressions. </div><div class="ttdef"><b>Definition:</b> <a href="BDDExpr_8h_source.html#l00088">BDDExpr.h:88</a></div></div>
+<div class="ttc" id="cudd_8h_html_a2651c953d81570d3f4f794bcbef40afe"><div class="ttname"><a href="cudd_8h.html#a2651c953d81570d3f4f794bcbef40afe">Cudd_ReadOne</a></div><div class="ttdeci">DdNode * Cudd_ReadOne(DdManager *dd)</div><div class="ttdef"><b>Definition:</b> <a href="cuddInt_8c_source.html#l01716">cuddInt.c:1716</a></div></div>
+<div class="ttc" id="cudd_8h_html_a9ba2c88b8f70df51791c26ffde800fc7"><div class="ttname"><a href="cudd_8h.html#a9ba2c88b8f70df51791c26ffde800fc7">Cudd_ReadNodeCount</a></div><div class="ttdeci">long Cudd_ReadNodeCount(DdManager *dd)</div><div class="ttdef"><b>Definition:</b> <a href="cuddInt_8c_source.html#l01948">cuddInt.c:1948</a></div></div>
+<div class="ttc" id="classSVF_1_1BDDExprManager_html_a77a80afdf1cece7159d295f7ba11ae8f"><div class="ttname"><a href="classSVF_1_1BDDExprManager.html#a77a80afdf1cece7159d295f7ba11ae8f">SVF::BDDExprManager::bddExprMgr</a></div><div class="ttdeci">static BDDExprManager * bddExprMgr</div><div class="ttdef"><b>Definition:</b> <a href="BDDExpr_8h_source.html#l00046">BDDExpr.h:46</a></div></div>
+<div class="ttc" id="classSVF_1_1BDDExprManager_html_a58186fe706c8c44467b789d8ebd58474"><div class="ttname"><a href="classSVF_1_1BDDExprManager.html#a58186fe706c8c44467b789d8ebd58474">SVF::BDDExprManager::getCond</a></div><div class="ttdeci">virtual BDDExpr * getCond(u32_t id)</div><div class="ttdoc">Get condition using condition id (z3 ast id) </div><div class="ttdef"><b>Definition:</b> <a href="BDDExpr_8h_source.html#l00130">BDDExpr.h:130</a></div></div>
+<div class="ttc" id="namespaceSVF_html"><div class="ttname"><a href="namespaceSVF.html">SVF</a></div><div class="ttdoc">for isBitcode </div><div class="ttdef"><b>Definition:</b> <a href="ContextDDA_8h_source.html#l00016">ContextDDA.h:16</a></div></div>
+<div class="ttc" id="cudd_8h_html_a40fd71665cde402bd5bc4f39015c09ae"><div class="ttname"><a href="cudd_8h.html#a40fd71665cde402bd5bc4f39015c09ae">Cudd_bddIthVar</a></div><div class="ttdeci">DdNode * Cudd_bddIthVar(DdManager *dd, int i)</div><div class="ttdef"><b>Definition:</b> <a href="cuddInt_8c_source.html#l01685">cuddInt.c:1685</a></div></div>
+<div class="ttc" id="classSVF_1_1BDDExprManager_html_a40e32bc52cce8ac1335b5050e693035b"><div class="ttname"><a href="classSVF_1_1BDDExprManager.html#a40e32bc52cce8ac1335b5050e693035b">SVF::BDDExprManager::getCondInst</a></div><div class="ttdeci">const Instruction * getCondInst(const BDDExpr *cond) const</div><div class="ttdoc">Get/Set llvm conditional expression. </div><div class="ttdef"><b>Definition:</b> <a href="BDDExpr_8h_source.html#l00138">BDDExpr.h:138</a></div></div>
+<div class="ttc" id="namespaceSVF_html_a740396763e377643790c8b803ab3e4ea"><div class="ttname"><a href="namespaceSVF.html#a740396763e377643790c8b803ab3e4ea">SVF::NodeBS</a></div><div class="ttdeci">llvm::SparseBitVector NodeBS</div><div class="ttdef"><b>Definition:</b> <a href="SVFBasicTypes_8h_source.html#l00092">SVFBasicTypes.h:92</a></div></div>
+<div class="ttc" id="cudd_8h_html_a03db7d4ba1119a3cd5843fa7bd3a1a30"><div class="ttname"><a href="cudd_8h.html#a03db7d4ba1119a3cd5843fa7bd3a1a30">Cudd_ReadMemoryInUse</a></div><div class="ttdeci">unsigned long Cudd_ReadMemoryInUse(DdManager *dd)</div><div class="ttdef"><b>Definition:</b> <a href="cuddInt_8c_source.html#l01925">cuddInt.c:1925</a></div></div>
+<div class="ttc" id="classSVF_1_1BDDExprManager_html_a632e4559983a49e1d05bb51e46aeba78"><div class="ttname"><a href="classSVF_1_1BDDExprManager.html#a632e4559983a49e1d05bb51e46aeba78">SVF::BDDExprManager::BDDExprManager</a></div><div class="ttdeci">BDDExprManager()</div><div class="ttdoc">Constructor. </div><div class="ttdef"><b>Definition:</b> <a href="BDDExpr_8cpp_source.html#l00043">BDDExpr.cpp:43</a></div></div>
+<div class="ttc" id="classSVF_1_1BDDExprManager_html_a7275a1d4da75370cf5f5f8499fcafa2b"><div class="ttname"><a href="classSVF_1_1BDDExprManager.html#a7275a1d4da75370cf5f5f8499fcafa2b">SVF::BDDExprManager::createFreshBranchCond</a></div><div class="ttdeci">virtual BDDExpr * createFreshBranchCond(const Instruction *inst)</div><div class="ttdoc">Create a fresh condition to encode each program branch. </div><div class="ttdef"><b>Definition:</b> <a href="BDDExpr_8cpp_source.html#l00060">BDDExpr.cpp:60</a></div></div>
+<div class="ttc" id="classSVF_1_1BDDExprManager_html_a78e653083609764e10774a73fbcce2d1"><div class="ttname"><a href="classSVF_1_1BDDExprManager.html#a78e653083609764e10774a73fbcce2d1">SVF::BDDExprManager::ddClearFlag</a></div><div class="ttdeci">void ddClearFlag(BDDExpr *f) const</div><div class="ttdef"><b>Definition:</b> <a href="BDDExpr_8cpp_source.html#l00137">BDDExpr.cpp:137</a></div></div>
+<div class="ttc" id="classSVF_1_1BDDExprManager_html_a34f5354a436840202428e406468e2335"><div class="ttname"><a href="classSVF_1_1BDDExprManager.html#a34f5354a436840202428e406468e2335">SVF::BDDExprManager::getFalseCond</a></div><div class="ttdeci">BDDExpr * getFalseCond() const</div><div class="ttdoc">Return the unique false condition. </div><div class="ttdef"><b>Definition:</b> <a href="BDDExpr_8h_source.html#l00099">BDDExpr.h:99</a></div></div>
+<div class="ttc" id="namespaceSVF_html_a8bd74fdcb0e58d0249003df9c3fb8b31"><div class="ttname"><a href="namespaceSVF.html#a8bd74fdcb0e58d0249003df9c3fb8b31">SVF::OutStream</a></div><div class="ttdeci">std::ostream OutStream</div><div class="ttdef"><b>Definition:</b> <a href="SVFBasicTypes_8h_source.html#l00079">SVFBasicTypes.h:79</a></div></div>
+<div class="ttc" id="classSVF_1_1BDDExprManager_html_aecc9ec67017d4f5309cba7be6e83deea"><div class="ttname"><a href="classSVF_1_1BDDExprManager.html#aecc9ec67017d4f5309cba7be6e83deea">SVF::BDDExprManager::~BDDExprManager</a></div><div class="ttdeci">virtual ~BDDExprManager()</div><div class="ttdoc">Destructor. </div><div class="ttdef"><b>Definition:</b> <a href="BDDExpr_8cpp_source.html#l00049">BDDExpr.cpp:49</a></div></div>
+<div class="ttc" id="classSVF_1_1BDDExprManager_html_acf9824ae990ee816bf182fb9e4a14053"><div class="ttname"><a href="classSVF_1_1BDDExprManager.html#acf9824ae990ee816bf182fb9e4a14053">SVF::BDDExprManager::trueCond</a></div><div class="ttdeci">static BDDExpr * trueCond</div><div class="ttdef"><b>Definition:</b> <a href="BDDExpr_8h_source.html#l00169">BDDExpr.h:169</a></div></div>
+<div class="ttc" id="classSVF_1_1BDDExprManager_html_a818712f314ec1f1378134d7222c006d0"><div class="ttname"><a href="classSVF_1_1BDDExprManager.html#a818712f314ec1f1378134d7222c006d0">SVF::BDDExprManager::CondToTermInstMap</a></div><div class="ttdeci">Map&lt; const BDDExpr *, const Instruction * &gt; CondToTermInstMap</div><div class="ttdef"><b>Definition:</b> <a href="BDDExpr_8h_source.html#l00062">BDDExpr.h:62</a></div></div>
+</div><!-- fragment --></div><!-- contents -->
+<!-- start footer part -->
+<hr class="footer"/><address class="footer"><small>
+Generated by &#160;<a href="http://www.doxygen.org/index.html">
+<img class="footer" src="doxygen.png" alt="doxygen"/>
+</a> 1.8.13
+</small></address>
+</body>
+</html>

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

@@ -155,7 +155,7 @@ $(function() {
 <div class="ttc" id="namespaceSVF_1_1SVFUtil_html_a7e404bcc6613ba10a56c4fbdc842c5a8"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#a7e404bcc6613ba10a56c4fbdc842c5a8">SVF::SVFUtil::isCastConstantExpr</a></div><div class="ttdeci">const ConstantExpr * isCastConstantExpr(const Value *val)</div><div class="ttdef"><b>Definition:</b> <a href="LLVMUtil_8h_source.html#l00568">LLVMUtil.h:568</a></div></div>
 <div class="ttc" id="classSVF_1_1CHGBuilder_html_adc3e52b70db841cb1566a1fb855256b6"><div class="ttname"><a href="classSVF_1_1CHGBuilder.html#adc3e52b70db841cb1566a1fb855256b6">SVF::CHGBuilder::getCSClasses</a></div><div class="ttdeci">const CHNodeSetTy &amp; getCSClasses(CallSite cs)</div><div class="ttdef"><b>Definition:</b> <a href="CHGBuilder_8cpp_source.html#l00672">CHGBuilder.cpp:672</a></div></div>
 <div class="ttc" id="namespaceSVF_html_a3011dbac9102f044ad5f36a4ad3d4a71"><div class="ttname"><a href="namespaceSVF.html#a3011dbac9102f044ad5f36a4ad3d4a71">SVF::NamedMDNode</a></div><div class="ttdeci">llvm::NamedMDNode NamedMDNode</div><div class="ttdoc">LLVM metadata. </div><div class="ttdef"><b>Definition:</b> <a href="Util_2BasicTypes_8h_source.html#l00120">BasicTypes.h:120</a></div></div>
-<div class="ttc" id="classSVF_1_1Options_html_ab13a47f6dd4eedfaa607d36448a1d456"><div class="ttname"><a href="classSVF_1_1Options.html#ab13a47f6dd4eedfaa607d36448a1d456">SVF::Options::DumpCHA</a></div><div class="ttdeci">static const llvm::cl::opt&lt; bool &gt; DumpCHA</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00203">Options.h:203</a></div></div>
+<div class="ttc" id="classSVF_1_1Options_html_ab13a47f6dd4eedfaa607d36448a1d456"><div class="ttname"><a href="classSVF_1_1Options.html#ab13a47f6dd4eedfaa607d36448a1d456">SVF::Options::DumpCHA</a></div><div class="ttdeci">static const llvm::cl::opt&lt; bool &gt; DumpCHA</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00202">Options.h:202</a></div></div>
 <div class="ttc" id="CHGBuilder_8cpp_html_a5b49460faf973332d3cbfc561c994c6c"><div class="ttname"><a href="CHGBuilder_8cpp.html#a5b49460faf973332d3cbfc561c994c6c">pureVirtualFunName</a></div><div class="ttdeci">const string pureVirtualFunName</div><div class="ttdef"><b>Definition:</b> <a href="CHGBuilder_8cpp_source.html#l00052">CHGBuilder.cpp:52</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="SVFBasicTypes_8h_html_a173ce1b9b505fdadf5613b663749d3b0"><div class="ttname"><a href="SVFBasicTypes_8h.html#a173ce1b9b505fdadf5613b663749d3b0">DBOUT</a></div><div class="ttdeci">#define DBOUT(TYPE, X)</div><div class="ttdoc">LLVM debug macros, define type of your DEBUG model of each pass. </div><div class="ttdef"><b>Definition:</b> <a href="SVFBasicTypes_8h_source.html#l00151">SVFBasicTypes.h:151</a></div></div>

package/SVF-doxygen/html/html/ConsG_8cpp_source.html CHANGED Viewed

@@ -118,7 +118,7 @@ $(function() {
 <div class="ttc" id="classSVF_1_1ConstraintEdge_html_a663af27955ba0c545f34fa1f076b7375aed68bc43e8aae49e8590e140eb0ffaf3"><div class="ttname"><a href="classSVF_1_1ConstraintEdge.html#a663af27955ba0c545f34fa1f076b7375aed68bc43e8aae49e8590e140eb0ffaf3">SVF::ConstraintEdge::Addr</a></div><div class="ttdef"><b>Definition:</b> <a href="ConsGEdge_8h_source.html#l00056">ConsGEdge.h:56</a></div></div>
 <div class="ttc" id="classSVF_1_1SVFStmt_html_a0ab8621e75e75f03425c323b3ed62ce9ad3469cdfb64f05163b5310b731b221da"><div class="ttname"><a href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9ad3469cdfb64f05163b5310b731b221da">SVF::SVFStmt::Copy</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00056">SVFStatements.h:56</a></div></div>
 <div class="ttc" id="classSVF_1_1ConstraintNode_html_a2395948518a1befb7a3762bbad6adf9f"><div class="ttname"><a href="classSVF_1_1ConstraintNode.html#a2395948518a1befb7a3762bbad6adf9f">SVF::ConstraintNode::addOutgoingCopyEdge</a></div><div class="ttdeci">void addOutgoingCopyEdge(CopyCGEdge *outEdge)</div><div class="ttdef"><b>Definition:</b> <a href="ConsGNode_8h_source.html#l00305">ConsGNode.h:305</a></div></div>
-<div class="ttc" id="classSVF_1_1Options_html_adec2012e10130f664fe0ea3acf39f78b"><div class="ttname"><a href="classSVF_1_1Options.html#adec2012e10130f664fe0ea3acf39f78b">SVF::Options::ShowHiddenNode</a></div><div class="ttdeci">static const llvm::cl::opt&lt; bool &gt; ShowHiddenNode</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00256">Options.h:256</a></div></div>
+<div class="ttc" id="classSVF_1_1Options_html_adec2012e10130f664fe0ea3acf39f78b"><div class="ttname"><a href="classSVF_1_1Options.html#adec2012e10130f664fe0ea3acf39f78b">SVF::Options::ShowHiddenNode</a></div><div class="ttdeci">static const llvm::cl::opt&lt; bool &gt; ShowHiddenNode</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00255">Options.h:255</a></div></div>
 <div class="ttc" id="classSVF_1_1CallPE_html"><div class="ttname"><a href="classSVF_1_1CallPE.html">SVF::CallPE</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00477">SVFStatements.h:477</a></div></div>
 <div class="ttc" id="classSVF_1_1SVFStmt_html_a0ab8621e75e75f03425c323b3ed62ce9a8d269a45adf13e69468f0357222ab2af"><div class="ttname"><a href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a8d269a45adf13e69468f0357222ab2af">SVF::SVFStmt::Ret</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00056">SVFStatements.h:56</a></div></div>
 <div class="ttc" id="classSVF_1_1ConstraintNode_html_a349b8c461adfa2a0bd1376ecb81d36d5"><div class="ttname"><a href="classSVF_1_1ConstraintNode.html#a349b8c461adfa2a0bd1376ecb81d36d5">SVF::ConstraintNode::addOutgoingStoreEdge</a></div><div class="ttdeci">void addOutgoingStoreEdge(StoreCGEdge *outEdge)</div><div class="ttdef"><b>Definition:</b> <a href="ConsGNode_8h_source.html#l00348">ConsGNode.h:348</a></div></div>
@@ -126,7 +126,7 @@ $(function() {
 <div class="ttc" id="classSVF_1_1ConstraintNode_html_a202193059dd3122d969561080b82c504"><div class="ttname"><a href="classSVF_1_1ConstraintNode.html#a202193059dd3122d969561080b82c504">SVF::ConstraintNode::addIncomingStoreEdge</a></div><div class="ttdeci">void addIncomingStoreEdge(StoreCGEdge *inEdge)</div><div class="ttdef"><b>Definition:</b> <a href="ConsGNode_8h_source.html#l00325">ConsGNode.h:325</a></div></div>
 <div class="ttc" id="classSVF_1_1ConstraintNode_html_aaf0b98573a980aea1151a837580a40a5"><div class="ttname"><a href="classSVF_1_1ConstraintNode.html#aaf0b98573a980aea1151a837580a40a5">SVF::ConstraintNode::addIncomingGepEdge</a></div><div class="ttdeci">void addIncomingGepEdge(GepCGEdge *inEdge)</div><div class="ttdef"><b>Definition:</b> <a href="ConsGNode_8h_source.html#l00300">ConsGNode.h:300</a></div></div>
 <div class="ttc" id="classSVF_1_1GenericGraph_html_ac213302cf5c7cdf3b66f7b18649d0fbc"><div class="ttname"><a href="classSVF_1_1GenericGraph.html#ac213302cf5c7cdf3b66f7b18649d0fbc">SVF::GenericGraph&lt; SVFVar, SVFStmt &gt;::iterator</a></div><div class="ttdeci">IDToNodeMapTy::iterator iterator</div><div class="ttdoc">Node Iterators. </div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00338">GenericGraph.h:338</a></div></div>
-<div class="ttc" id="classSVF_1_1Options_html_a82370c2b8c9cd62b5767ceeaeeaa7177"><div class="ttname"><a href="classSVF_1_1Options.html#a82370c2b8c9cd62b5767ceeaeeaa7177">SVF::Options::BriefConsCGDotGraph</a></div><div class="ttdeci">static const llvm::cl::opt&lt; bool &gt; BriefConsCGDotGraph</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00229">Options.h:229</a></div></div>
+<div class="ttc" id="classSVF_1_1Options_html_a82370c2b8c9cd62b5767ceeaeeaa7177"><div class="ttname"><a href="classSVF_1_1Options.html#a82370c2b8c9cd62b5767ceeaeeaa7177">SVF::Options::BriefConsCGDotGraph</a></div><div class="ttdeci">static const llvm::cl::opt&lt; bool &gt; BriefConsCGDotGraph</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00228">Options.h:228</a></div></div>
 <div class="ttc" id="classSVF_1_1ConstraintGraph_html_a081bf1238121eb52a0c9ad60f77ecbcd"><div class="ttname"><a href="classSVF_1_1ConstraintGraph.html#a081bf1238121eb52a0c9ad60f77ecbcd">SVF::ConstraintGraph::moveInEdgesToRepNode</a></div><div class="ttdeci">bool moveInEdgesToRepNode(ConstraintNode *node, ConstraintNode *rep)</div><div class="ttdef"><b>Definition:</b> <a href="ConsG_8cpp_source.html#l00420">ConsG.cpp:420</a></div></div>
 <div class="ttc" id="classSVF_1_1CopyCGEdge_html"><div class="ttname"><a href="classSVF_1_1CopyCGEdge.html">SVF::CopyCGEdge</a></div><div class="ttdef"><b>Definition:</b> <a href="ConsGEdge_8h_source.html#l00124">ConsGEdge.h:124</a></div></div>
 <div class="ttc" id="classSVF_1_1ConstraintEdge_html_a663af27955ba0c545f34fa1f076b7375a29b0aa3353f866ef1655ab6d4716feb9"><div class="ttname"><a href="classSVF_1_1ConstraintEdge.html#a663af27955ba0c545f34fa1f076b7375a29b0aa3353f866ef1655ab6d4716feb9">SVF::ConstraintEdge::Copy</a></div><div class="ttdef"><b>Definition:</b> <a href="ConsGEdge_8h_source.html#l00056">ConsGEdge.h:56</a></div></div>

package/SVF-doxygen/html/html/ContextDDA_8cpp_source.html CHANGED Viewed

@@ -89,7 +89,7 @@ $(function() {
 <div class="ttc" id="classSVF_1_1PointsTo_1_1PointsToIterator_html"><div class="ttname"><a href="classSVF_1_1PointsTo_1_1PointsToIterator.html">SVF::PointsTo::PointsToIterator</a></div><div class="ttdef"><b>Definition:</b> <a href="PointsTo_8h_source.html#l00174">PointsTo.h:174</a></div></div>
 <div class="ttc" id="classSVF_1_1GenericEdge_html_ae6792506a0150a9400d635eceab7f9e7"><div class="ttname"><a href="classSVF_1_1GenericEdge.html#ae6792506a0150a9400d635eceab7f9e7">SVF::GenericEdge::getSrcID</a></div><div class="ttdeci">NodeID getSrcID() const</div><div class="ttdoc">get methods of the components </div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00073">GenericGraph.h:73</a></div></div>
 <div class="ttc" id="classSVF_1_1SVFFunction_html"><div class="ttname"><a href="classSVF_1_1SVFFunction.html">SVF::SVFFunction</a></div><div class="ttdef"><b>Definition:</b> <a href="Util_2BasicTypes_8h_source.html#l00179">BasicTypes.h:179</a></div></div>
-<div class="ttc" id="classSVF_1_1Options_html_a7b9af13feccc116377aeb107640ae874"><div class="ttname"><a href="classSVF_1_1Options.html#a7b9af13feccc116377aeb107640ae874">SVF::Options::CxtBudget</a></div><div class="ttdeci">static const llvm::cl::opt&lt; unsigned long long &gt; CxtBudget</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00081">Options.h:81</a></div></div>
+<div class="ttc" id="classSVF_1_1Options_html_a7b9af13feccc116377aeb107640ae874"><div class="ttname"><a href="classSVF_1_1Options.html#a7b9af13feccc116377aeb107640ae874">SVF::Options::CxtBudget</a></div><div class="ttdeci">static const llvm::cl::opt&lt; unsigned long long &gt; CxtBudget</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00080">Options.h:80</a></div></div>
 <div class="ttc" id="classSVF_1_1CxtStmtDPItem_html_a3bb07147466d6ccb397616e1c09fc60b"><div class="ttname"><a href="classSVF_1_1CxtStmtDPItem.html#a3bb07147466d6ccb397616e1c09fc60b">SVF::CxtStmtDPItem::pushContext</a></div><div class="ttdeci">bool pushContext(NodeID cxt)</div><div class="ttdoc">Push context. </div><div class="ttdef"><b>Definition:</b> <a href="DPItem_8h_source.html#l00399">DPItem.h:399</a></div></div>
 <div class="ttc" id="classSVF_1_1ContextDDA_html_a337eb89cc5f31741ad8d840d9f284ca5"><div class="ttname"><a href="classSVF_1_1ContextDDA.html#a337eb89cc5f31741ad8d840d9f284ca5">SVF::ContextDDA::computeDDAPts</a></div><div class="ttdeci">virtual void computeDDAPts(NodeID id) override</div><div class="ttdoc">Compute points-to set for an unconditional pointer. </div><div class="ttdef"><b>Definition:</b> <a href="ContextDDA_8cpp_source.html#l00083">ContextDDA.cpp:83</a></div></div>
 <div class="ttc" id="classSVF_1_1CondStdSet_html_adf095111734d81b6ad1908a7f795b038"><div class="ttname"><a href="classSVF_1_1CondStdSet.html#adf095111734d81b6ad1908a7f795b038">SVF::CondStdSet::begin</a></div><div class="ttdeci">iterator begin()</div><div class="ttdoc">Iterators. </div><div class="ttdef"><b>Definition:</b> <a href="ConditionalPT_8h_source.html#l00191">ConditionalPT.h:191</a></div></div>

package/SVF-doxygen/html/html/DCHG_8cpp_source.html CHANGED Viewed

@@ -105,7 +105,7 @@ $(function() {
 <div class="ttc" id="classSVF_1_1DCHGraph_html_a671f379ae54eef247b5e013478eb3f0c"><div class="ttname"><a href="classSVF_1_1DCHGraph.html#a671f379ae54eef247b5e013478eb3f0c">SVF::DCHGraph::handleDISubroutineType</a></div><div class="ttdeci">void handleDISubroutineType(const DISubroutineType *subroutineType)</div><div class="ttdoc">Construction helper to process DISubroutineTypes. </div><div class="ttdef"><b>Definition:</b> <a href="DCHG_8cpp_source.html#l00133">DCHG.cpp:133</a></div></div>
 <div class="ttc" id="classSVF_1_1LLVMModuleSet_html_ae265a7f3cc7367d62013e0f15cf3d233"><div class="ttname"><a href="classSVF_1_1LLVMModuleSet.html#ae265a7f3cc7367d62013e0f15cf3d233">SVF::LLVMModuleSet::getModuleNum</a></div><div class="ttdeci">u32_t getModuleNum() const</div><div class="ttdef"><b>Definition:</b> <a href="LLVMModule_8h_source.html#l00093">LLVMModule.h:93</a></div></div>
 <div class="ttc" id="namespaceSVF_html_ad42bff8d0a7d60a085aa32d10f4955af"><div class="ttname"><a href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">SVF::u32_t</a></div><div class="ttdeci">unsigned u32_t</div><div class="ttdef"><b>Definition:</b> <a href="SVFBasicTypes_8h_source.html#l00081">SVFBasicTypes.h:81</a></div></div>
-<div class="ttc" id="classSVF_1_1Options_html_adf6c289ef9f2d0196984dd4024ea4316"><div class="ttname"><a href="classSVF_1_1Options.html#adf6c289ef9f2d0196984dd4024ea4316">SVF::Options::PrintDCHG</a></div><div class="ttdeci">static const llvm::cl::opt&lt; bool &gt; PrintDCHG</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00206">Options.h:206</a></div></div>
+<div class="ttc" id="classSVF_1_1Options_html_adf6c289ef9f2d0196984dd4024ea4316"><div class="ttname"><a href="classSVF_1_1Options.html#adf6c289ef9f2d0196984dd4024ea4316">SVF::Options::PrintDCHG</a></div><div class="ttdeci">static const llvm::cl::opt&lt; bool &gt; PrintDCHG</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00205">Options.h:205</a></div></div>
 <div class="ttc" id="classSVF_1_1DCHGraph_html_a581ce71cbc7994f71c9a6b9b145d3b9f"><div class="ttname"><a href="classSVF_1_1DCHGraph.html#a581ce71cbc7994f71c9a6b9b145d3b9f">SVF::DCHGraph::diTypeToNodeMap</a></div><div class="ttdeci">Map&lt; const DIType *, DCHNode * &gt; diTypeToNodeMap</div><div class="ttdoc">Maps DITypes to their nodes. </div><div class="ttdef"><b>Definition:</b> <a href="DCHG_8h_source.html#l00358">DCHG.h:358</a></div></div>
 <div class="ttc" id="classSVF_1_1DCHNode_html_a0669b995c4fe72f206154f5cf6889fe8"><div class="ttname"><a href="classSVF_1_1DCHNode.html#a0669b995c4fe72f206154f5cf6889fe8">SVF::DCHNode::getVfnVectors</a></div><div class="ttdeci">const std::vector&lt; std::vector&lt; const Function * &gt; &gt; &amp; getVfnVectors(void) const</div><div class="ttdoc">Returns the vector of virtual function vectors. </div><div class="ttdef"><b>Definition:</b> <a href="DCHG_8h_source.html#l00175">DCHG.h:175</a></div></div>
 <div class="ttc" id="classSVF_1_1DCHEdge_html_a9ab4cd83d9ee475d3d8445cd91839726a3e807b4caeb170c5cd1e855ac1a92d77"><div class="ttname"><a href="classSVF_1_1DCHEdge.html#a9ab4cd83d9ee475d3d8445cd91839726a3e807b4caeb170c5cd1e855ac1a92d77">SVF::DCHEdge::INSTANCE</a></div><div class="ttdef"><b>Definition:</b> <a href="DCHG_8h_source.html#l00036">DCHG.h:36</a></div></div>