svf-tools 1.0.424 → 1.0.427

package/SVF-doxygen/html/html/classllvm_1_1GraphPrinter.html

@@ -217,7 +217,7 @@ template&lt;class GraphType &gt; </div>
 <p>Write the graph into dot file for debugging purpose </p>
 
 <p class="definition">Definition at line <a class="el" href="GraphPrinter_8h_source.html#l00057">57</a> of file <a class="el" href="GraphPrinter_8h_source.html">GraphPrinter.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00059"></a><span class="lineno">   59</span>&#160;    {</div><div class="line"><a name="l00060"></a><span class="lineno">   60</span>&#160;        <span class="comment">// Filename of the output dot file</span></div><div class="line"><a name="l00061"></a><span class="lineno">   61</span>&#160;        std::string Filename = GraphName + <span class="stringliteral">&quot;.dot&quot;</span>;</div><div class="line"><a name="l00062"></a><span class="lineno">   62</span>&#160;        O &lt;&lt; <span class="stringliteral">&quot;Writing &#39;&quot;</span> &lt;&lt; Filename &lt;&lt; <span class="stringliteral">&quot;&#39;...&quot;</span>;</div><div class="line"><a name="l00063"></a><span class="lineno">   63</span>&#160;        std::error_code ErrInfo;</div><div class="line"><a name="l00064"></a><span class="lineno">   64</span>&#160;        <a class="code" href="namespaceSVF.html#acde6a1d496f1b655088ccbe023820277">llvm::ToolOutputFile</a> F(Filename.c_str(), ErrInfo, llvm::sys::fs::OF_None);</div><div class="line"><a name="l00065"></a><span class="lineno">   65</span>&#160;</div><div class="line"><a name="l00066"></a><span class="lineno">   66</span>&#160;        <span class="keywordflow">if</span> (!ErrInfo)</div><div class="line"><a name="l00067"></a><span class="lineno">   67</span>&#160;        {</div><div class="line"><a name="l00068"></a><span class="lineno">   68</span>&#160;            <span class="comment">// dump the ValueFlowGraph here</span></div><div class="line"><a name="l00069"></a><span class="lineno">   69</span>&#160;            WriteGraph(F.os(), GT, simple);</div><div class="line"><a name="l00070"></a><span class="lineno">   70</span>&#160;            F.os().close();</div><div class="line"><a name="l00071"></a><span class="lineno">   71</span>&#160;            <span class="keywordflow">if</span> (!F.os().has_error())</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;                O &lt;&lt; <span class="stringliteral">&quot;\n&quot;</span>;</div><div class="line"><a name="l00074"></a><span class="lineno">   74</span>&#160;                F.keep();</div><div class="line"><a name="l00075"></a><span class="lineno">   75</span>&#160;                <span class="keywordflow">return</span>;</div><div class="line"><a name="l00076"></a><span class="lineno">   76</span>&#160;            }</div><div class="line"><a name="l00077"></a><span class="lineno">   77</span>&#160;        }</div><div class="line"><a name="l00078"></a><span class="lineno">   78</span>&#160;        O &lt;&lt; <span class="stringliteral">&quot;  error opening file for writing!\n&quot;</span>;</div><div class="line"><a name="l00079"></a><span class="lineno">   79</span>&#160;        F.os().clear_error();</div><div class="line"><a name="l00080"></a><span class="lineno">   80</span>&#160;    }</div><div class="ttc" id="namespaceSVF_html_acde6a1d496f1b655088ccbe023820277"><div class="ttname"><a href="namespaceSVF.html#acde6a1d496f1b655088ccbe023820277">SVF::ToolOutputFile</a></div><div class="ttdeci">llvm::ToolOutputFile ToolOutputFile</div><div class="ttdef"><b>Definition:</b> <a href="Util_2BasicTypes_8h_source.html#l00098">BasicTypes.h:98</a></div></div>
+<div class="fragment"><div class="line"><a name="l00059"></a><span class="lineno">   59</span>&#160;    {</div><div class="line"><a name="l00060"></a><span class="lineno">   60</span>&#160;        <span class="comment">// Filename of the output dot file</span></div><div class="line"><a name="l00061"></a><span class="lineno">   61</span>&#160;        std::string Filename = GraphName + <span class="stringliteral">&quot;.dot&quot;</span>;</div><div class="line"><a name="l00062"></a><span class="lineno">   62</span>&#160;        O &lt;&lt; <span class="stringliteral">&quot;Writing &#39;&quot;</span> &lt;&lt; Filename &lt;&lt; <span class="stringliteral">&quot;&#39;...&quot;</span>;</div><div class="line"><a name="l00063"></a><span class="lineno">   63</span>&#160;        std::error_code ErrInfo;</div><div class="line"><a name="l00064"></a><span class="lineno">   64</span>&#160;        <a class="code" href="namespaceSVF.html#acde6a1d496f1b655088ccbe023820277">llvm::ToolOutputFile</a> F(Filename.c_str(), ErrInfo, llvm::sys::fs::OF_None);</div><div class="line"><a name="l00065"></a><span class="lineno">   65</span>&#160;</div><div class="line"><a name="l00066"></a><span class="lineno">   66</span>&#160;        <span class="keywordflow">if</span> (!ErrInfo)</div><div class="line"><a name="l00067"></a><span class="lineno">   67</span>&#160;        {</div><div class="line"><a name="l00068"></a><span class="lineno">   68</span>&#160;            <span class="comment">// dump the ValueFlowGraph here</span></div><div class="line"><a name="l00069"></a><span class="lineno">   69</span>&#160;            WriteGraph(F.os(), GT, simple);</div><div class="line"><a name="l00070"></a><span class="lineno">   70</span>&#160;            F.os().close();</div><div class="line"><a name="l00071"></a><span class="lineno">   71</span>&#160;            <span class="keywordflow">if</span> (!F.os().has_error())</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;                O &lt;&lt; <span class="stringliteral">&quot;\n&quot;</span>;</div><div class="line"><a name="l00074"></a><span class="lineno">   74</span>&#160;                F.keep();</div><div class="line"><a name="l00075"></a><span class="lineno">   75</span>&#160;                <span class="keywordflow">return</span>;</div><div class="line"><a name="l00076"></a><span class="lineno">   76</span>&#160;            }</div><div class="line"><a name="l00077"></a><span class="lineno">   77</span>&#160;        }</div><div class="line"><a name="l00078"></a><span class="lineno">   78</span>&#160;        O &lt;&lt; <span class="stringliteral">&quot;  error opening file for writing!\n&quot;</span>;</div><div class="line"><a name="l00079"></a><span class="lineno">   79</span>&#160;        F.os().clear_error();</div><div class="line"><a name="l00080"></a><span class="lineno">   80</span>&#160;    }</div><div class="ttc" id="namespaceSVF_html_acde6a1d496f1b655088ccbe023820277"><div class="ttname"><a href="namespaceSVF.html#acde6a1d496f1b655088ccbe023820277">SVF::ToolOutputFile</a></div><div class="ttdeci">llvm::ToolOutputFile ToolOutputFile</div><div class="ttdef"><b>Definition:</b> <a href="Util_2BasicTypes_8h_source.html#l00097">BasicTypes.h:97</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>

package/SVF-doxygen/html/html/classllvm_1_1generic__bridge__gep__type__iterator.html

@@ -341,7 +341,7 @@ template&lt;typename ItTy  = User::const_op_iterator&gt; </div>
 </div><div class="memdoc">
 
 <p class="definition">Definition at line <a class="el" href="GEPTypeBridgeIterator_8h_source.html#l00070">70</a> of file <a class="el" href="GEPTypeBridgeIterator_8h_source.html">GEPTypeBridgeIterator.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00071"></a><span class="lineno">   71</span>&#160;    {</div><div class="line"><a name="l00072"></a><span class="lineno">   72</span>&#160;        <a class="code" href="util_8h.html#a07d17d6d5d1074c0969bc5d3c3d1d84a">assert</a>(<span class="keyword">false</span> &amp;&amp; <span class="stringliteral">&quot;needs to be refactored&quot;</span>);</div><div class="line"><a name="l00073"></a><span class="lineno">   73</span>&#160;        <span class="keywordflow">if</span> ( <a class="code" href="classllvm_1_1generic__bridge__gep__type__iterator.html#aa602c207fe08960b24fc496ca1d34509">CurTy</a>.getInt() )</div><div class="line"><a name="l00074"></a><span class="lineno">   74</span>&#160;            <span class="keywordflow">return</span> <a class="code" href="classllvm_1_1generic__bridge__gep__type__iterator.html#aa602c207fe08960b24fc496ca1d34509">CurTy</a>.getPointer();</div><div class="line"><a name="l00075"></a><span class="lineno">   75</span>&#160;<span class="preprocessor">#if LLVM_VERSION_MAJOR &gt;= 11</span></div><div class="line"><a name="l00076"></a><span class="lineno">   76</span>&#160;        <a class="code" href="namespaceSVF.html#a1d008c0666c145622b81d427be64c52d">Type</a> * CT = <a class="code" href="classllvm_1_1generic__bridge__gep__type__iterator.html#aa602c207fe08960b24fc496ca1d34509">CurTy</a>.getPointer();</div><div class="line"><a name="l00077"></a><span class="lineno">   77</span>&#160;        <span class="keywordflow">if</span> (<span class="keyword">auto</span> ST = dyn_cast&lt;StructType&gt;(CT))</div><div class="line"><a name="l00078"></a><span class="lineno">   78</span>&#160;            <span class="keywordflow">return</span> ST-&gt;getTypeAtIndex(<a class="code" href="classllvm_1_1generic__bridge__gep__type__iterator.html#a9494bbdc909dab98dd3fd23a416f3a31">getOperand</a>());</div><div class="line"><a name="l00079"></a><span class="lineno">   79</span>&#160;        <span class="keywordflow">else</span> <span class="keywordflow">if</span> (<span class="keyword">auto</span> Array = dyn_cast&lt;ArrayType&gt;(CT))</div><div class="line"><a name="l00080"></a><span class="lineno">   80</span>&#160;            <span class="keywordflow">return</span> Array-&gt;getElementType();</div><div class="line"><a name="l00081"></a><span class="lineno">   81</span>&#160;        <span class="keywordflow">else</span> <span class="keywordflow">if</span> (<span class="keyword">auto</span> Vector = dyn_cast&lt;VectorType&gt;(CT))</div><div class="line"><a name="l00082"></a><span class="lineno">   82</span>&#160;            <span class="keywordflow">return</span> Vector-&gt;getElementType();</div><div class="line"><a name="l00083"></a><span class="lineno">   83</span>&#160;        <span class="keywordflow">else</span></div><div class="line"><a name="l00084"></a><span class="lineno">   84</span>&#160;            <span class="keywordflow">return</span> CT;</div><div class="line"><a name="l00085"></a><span class="lineno">   85</span>&#160;<span class="preprocessor">#else</span></div><div class="line"><a name="l00086"></a><span class="lineno">   86</span>&#160;        CompositeType *CT = llvm::cast&lt;CompositeType&gt;( <a class="code" href="classllvm_1_1generic__bridge__gep__type__iterator.html#aa602c207fe08960b24fc496ca1d34509">CurTy</a>.getPointer() );</div><div class="line"><a name="l00087"></a><span class="lineno">   87</span>&#160;        <span class="keywordflow">return</span> CT-&gt;getTypeAtIndex(<a class="code" href="classllvm_1_1generic__bridge__gep__type__iterator.html#a9494bbdc909dab98dd3fd23a416f3a31">getOperand</a>());</div><div class="line"><a name="l00088"></a><span class="lineno">   88</span>&#160;<span class="preprocessor">#endif</span></div><div class="line"><a name="l00089"></a><span class="lineno">   89</span>&#160;    }</div><div class="ttc" id="namespaceSVF_html_a1d008c0666c145622b81d427be64c52d"><div class="ttname"><a href="namespaceSVF.html#a1d008c0666c145622b81d427be64c52d">SVF::Type</a></div><div class="ttdeci">llvm::Type Type</div><div class="ttdef"><b>Definition:</b> <a href="Util_2BasicTypes_8h_source.html#l00073">BasicTypes.h:73</a></div></div>
+<div class="fragment"><div class="line"><a name="l00071"></a><span class="lineno">   71</span>&#160;    {</div><div class="line"><a name="l00072"></a><span class="lineno">   72</span>&#160;        <a class="code" href="util_8h.html#a07d17d6d5d1074c0969bc5d3c3d1d84a">assert</a>(<span class="keyword">false</span> &amp;&amp; <span class="stringliteral">&quot;needs to be refactored&quot;</span>);</div><div class="line"><a name="l00073"></a><span class="lineno">   73</span>&#160;        <span class="keywordflow">if</span> ( <a class="code" href="classllvm_1_1generic__bridge__gep__type__iterator.html#aa602c207fe08960b24fc496ca1d34509">CurTy</a>.getInt() )</div><div class="line"><a name="l00074"></a><span class="lineno">   74</span>&#160;            <span class="keywordflow">return</span> <a class="code" href="classllvm_1_1generic__bridge__gep__type__iterator.html#aa602c207fe08960b24fc496ca1d34509">CurTy</a>.getPointer();</div><div class="line"><a name="l00075"></a><span class="lineno">   75</span>&#160;<span class="preprocessor">#if LLVM_VERSION_MAJOR &gt;= 11</span></div><div class="line"><a name="l00076"></a><span class="lineno">   76</span>&#160;        <a class="code" href="namespaceSVF.html#a1d008c0666c145622b81d427be64c52d">Type</a> * CT = <a class="code" href="classllvm_1_1generic__bridge__gep__type__iterator.html#aa602c207fe08960b24fc496ca1d34509">CurTy</a>.getPointer();</div><div class="line"><a name="l00077"></a><span class="lineno">   77</span>&#160;        <span class="keywordflow">if</span> (<span class="keyword">auto</span> ST = dyn_cast&lt;StructType&gt;(CT))</div><div class="line"><a name="l00078"></a><span class="lineno">   78</span>&#160;            <span class="keywordflow">return</span> ST-&gt;getTypeAtIndex(<a class="code" href="classllvm_1_1generic__bridge__gep__type__iterator.html#a9494bbdc909dab98dd3fd23a416f3a31">getOperand</a>());</div><div class="line"><a name="l00079"></a><span class="lineno">   79</span>&#160;        <span class="keywordflow">else</span> <span class="keywordflow">if</span> (<span class="keyword">auto</span> Array = dyn_cast&lt;ArrayType&gt;(CT))</div><div class="line"><a name="l00080"></a><span class="lineno">   80</span>&#160;            <span class="keywordflow">return</span> Array-&gt;getElementType();</div><div class="line"><a name="l00081"></a><span class="lineno">   81</span>&#160;        <span class="keywordflow">else</span> <span class="keywordflow">if</span> (<span class="keyword">auto</span> Vector = dyn_cast&lt;VectorType&gt;(CT))</div><div class="line"><a name="l00082"></a><span class="lineno">   82</span>&#160;            <span class="keywordflow">return</span> Vector-&gt;getElementType();</div><div class="line"><a name="l00083"></a><span class="lineno">   83</span>&#160;        <span class="keywordflow">else</span></div><div class="line"><a name="l00084"></a><span class="lineno">   84</span>&#160;            <span class="keywordflow">return</span> CT;</div><div class="line"><a name="l00085"></a><span class="lineno">   85</span>&#160;<span class="preprocessor">#else</span></div><div class="line"><a name="l00086"></a><span class="lineno">   86</span>&#160;        CompositeType *CT = llvm::cast&lt;CompositeType&gt;( <a class="code" href="classllvm_1_1generic__bridge__gep__type__iterator.html#aa602c207fe08960b24fc496ca1d34509">CurTy</a>.getPointer() );</div><div class="line"><a name="l00087"></a><span class="lineno">   87</span>&#160;        <span class="keywordflow">return</span> CT-&gt;getTypeAtIndex(<a class="code" href="classllvm_1_1generic__bridge__gep__type__iterator.html#a9494bbdc909dab98dd3fd23a416f3a31">getOperand</a>());</div><div class="line"><a name="l00088"></a><span class="lineno">   88</span>&#160;<span class="preprocessor">#endif</span></div><div class="line"><a name="l00089"></a><span class="lineno">   89</span>&#160;    }</div><div class="ttc" id="namespaceSVF_html_a1d008c0666c145622b81d427be64c52d"><div class="ttname"><a href="namespaceSVF.html#a1d008c0666c145622b81d427be64c52d">SVF::Type</a></div><div class="ttdeci">llvm::Type Type</div><div class="ttdef"><b>Definition:</b> <a href="Util_2BasicTypes_8h_source.html#l00072">BasicTypes.h:72</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="classllvm_1_1generic__bridge__gep__type__iterator_html_a9494bbdc909dab98dd3fd23a416f3a31"><div class="ttname"><a href="classllvm_1_1generic__bridge__gep__type__iterator.html#a9494bbdc909dab98dd3fd23a416f3a31">llvm::generic_bridge_gep_type_iterator::getOperand</a></div><div class="ttdeci">Value * getOperand() const</div><div class="ttdef"><b>Definition:</b> <a href="GEPTypeBridgeIterator_8h_source.html#l00098">GEPTypeBridgeIterator.h:98</a></div></div>
 <div class="ttc" id="classllvm_1_1generic__bridge__gep__type__iterator_html_aa602c207fe08960b24fc496ca1d34509"><div class="ttname"><a href="classllvm_1_1generic__bridge__gep__type__iterator.html#aa602c207fe08960b24fc496ca1d34509">llvm::generic_bridge_gep_type_iterator::CurTy</a></div><div class="ttdeci">PointerIntPair&lt; Type *, 1 &gt; CurTy</div><div class="ttdef"><b>Definition:</b> <a href="GEPTypeBridgeIterator_8h_source.html#l00022">GEPTypeBridgeIterator.h:22</a></div></div>
@@ -375,7 +375,7 @@ template&lt;typename ItTy  = User::const_op_iterator&gt; </div>
 
 <p class="definition">Definition at line <a class="el" href="GEPTypeBridgeIterator_8h_source.html#l00098">98</a> of file <a class="el" href="GEPTypeBridgeIterator_8h_source.html">GEPTypeBridgeIterator.h</a>.</p>
 <div class="fragment"><div class="line"><a name="l00099"></a><span class="lineno">   99</span>&#160;    {</div><div class="line"><a name="l00100"></a><span class="lineno">  100</span>&#160;        <span class="keywordflow">return</span> <span class="keyword">const_cast&lt;</span><a class="code" href="namespaceSVF.html#a90b263fd2f541eca78135078114cabda">Value</a>*<span class="keyword">&gt;</span>(&amp;**<a class="code" href="classllvm_1_1generic__bridge__gep__type__iterator.html#aa3fd4dca27e09df9ee726879624ae47e">OpIt</a>);</div><div class="line"><a name="l00101"></a><span class="lineno">  101</span>&#160;    }</div><div class="ttc" id="classllvm_1_1generic__bridge__gep__type__iterator_html_aa3fd4dca27e09df9ee726879624ae47e"><div class="ttname"><a href="classllvm_1_1generic__bridge__gep__type__iterator.html#aa3fd4dca27e09df9ee726879624ae47e">llvm::generic_bridge_gep_type_iterator::OpIt</a></div><div class="ttdeci">ItTy OpIt</div><div class="ttdef"><b>Definition:</b> <a href="GEPTypeBridgeIterator_8h_source.html#l00021">GEPTypeBridgeIterator.h:21</a></div></div>
-<div class="ttc" id="namespaceSVF_html_a90b263fd2f541eca78135078114cabda"><div class="ttname"><a href="namespaceSVF.html#a90b263fd2f541eca78135078114cabda">SVF::Value</a></div><div class="ttdeci">llvm::Value Value</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="namespaceSVF_html_a90b263fd2f541eca78135078114cabda"><div class="ttname"><a href="namespaceSVF.html#a90b263fd2f541eca78135078114cabda">SVF::Value</a></div><div class="ttdeci">llvm::Value Value</div><div class="ttdef"><b>Definition:</b> <a href="Util_2BasicTypes_8h_source.html#l00075">BasicTypes.h:75</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -469,7 +469,7 @@ template&lt;typename ItTy  = User::const_op_iterator&gt; </div>
 </div><div class="memdoc">
 
 <p class="definition">Definition at line <a class="el" href="GEPTypeBridgeIterator_8h_source.html#l00104">104</a> of file <a class="el" href="GEPTypeBridgeIterator_8h_source.html">GEPTypeBridgeIterator.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00105"></a><span class="lineno">  105</span>&#160;    {</div><div class="line"><a name="l00106"></a><span class="lineno">  106</span>&#160;        <span class="keywordflow">if</span> ( <a class="code" href="classllvm_1_1generic__bridge__gep__type__iterator.html#aa602c207fe08960b24fc496ca1d34509">CurTy</a>.getInt() )</div><div class="line"><a name="l00107"></a><span class="lineno">  107</span>&#160;        {</div><div class="line"><a name="l00108"></a><span class="lineno">  108</span>&#160;            <a class="code" href="classllvm_1_1generic__bridge__gep__type__iterator.html#aa602c207fe08960b24fc496ca1d34509">CurTy</a>.setInt(<span class="keyword">false</span>);</div><div class="line"><a name="l00109"></a><span class="lineno">  109</span>&#160;        }</div><div class="line"><a name="l00110"></a><span class="lineno">  110</span>&#160;<span class="preprocessor">#if LLVM_VERSION_MAJOR &gt;= 11</span></div><div class="line"><a name="l00111"></a><span class="lineno">  111</span>&#160;        <span class="keywordflow">else</span> <span class="keywordflow">if</span> ( <a class="code" href="namespaceSVF.html#a1d008c0666c145622b81d427be64c52d">Type</a> * CT = <a class="code" href="classllvm_1_1generic__bridge__gep__type__iterator.html#aa602c207fe08960b24fc496ca1d34509">CurTy</a>.getPointer() )</div><div class="line"><a name="l00112"></a><span class="lineno">  112</span>&#160;        {</div><div class="line"><a name="l00113"></a><span class="lineno">  113</span>&#160;            <span class="keywordflow">if</span> (<span class="keyword">auto</span> ST = dyn_cast&lt;StructType&gt;(CT))</div><div class="line"><a name="l00114"></a><span class="lineno">  114</span>&#160;                <a class="code" href="classllvm_1_1generic__bridge__gep__type__iterator.html#aa602c207fe08960b24fc496ca1d34509">CurTy</a>.setPointer(ST-&gt;getTypeAtIndex(<a class="code" href="classllvm_1_1generic__bridge__gep__type__iterator.html#a9494bbdc909dab98dd3fd23a416f3a31">getOperand</a>()));</div><div class="line"><a name="l00115"></a><span class="lineno">  115</span>&#160;            <span class="keywordflow">else</span> <span class="keywordflow">if</span> (<span class="keyword">auto</span> Array = dyn_cast&lt;ArrayType&gt;(CT))</div><div class="line"><a name="l00116"></a><span class="lineno">  116</span>&#160;                <a class="code" href="classllvm_1_1generic__bridge__gep__type__iterator.html#aa602c207fe08960b24fc496ca1d34509">CurTy</a>.setPointer(Array-&gt;getElementType());</div><div class="line"><a name="l00117"></a><span class="lineno">  117</span>&#160;            <span class="keywordflow">else</span> <span class="keywordflow">if</span> (<span class="keyword">auto</span> Vector = dyn_cast&lt;VectorType&gt;(CT))</div><div class="line"><a name="l00118"></a><span class="lineno">  118</span>&#160;                <a class="code" href="classllvm_1_1generic__bridge__gep__type__iterator.html#aa602c207fe08960b24fc496ca1d34509">CurTy</a>.setPointer(Vector-&gt;getElementType());</div><div class="line"><a name="l00119"></a><span class="lineno">  119</span>&#160;            <span class="keywordflow">else</span></div><div class="line"><a name="l00120"></a><span class="lineno">  120</span>&#160;                <a class="code" href="classllvm_1_1generic__bridge__gep__type__iterator.html#aa602c207fe08960b24fc496ca1d34509">CurTy</a>.setPointer(<span class="keyword">nullptr</span>);</div><div class="line"><a name="l00121"></a><span class="lineno">  121</span>&#160;        }</div><div class="line"><a name="l00122"></a><span class="lineno">  122</span>&#160;<span class="preprocessor">#else</span></div><div class="line"><a name="l00123"></a><span class="lineno">  123</span>&#160;        <span class="keywordflow">else</span> <span class="keywordflow">if</span> ( CompositeType * CT = dyn_cast&lt;CompositeType&gt;(<a class="code" href="classllvm_1_1generic__bridge__gep__type__iterator.html#aa602c207fe08960b24fc496ca1d34509">CurTy</a>.getPointer()) )</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;            <a class="code" href="classllvm_1_1generic__bridge__gep__type__iterator.html#aa602c207fe08960b24fc496ca1d34509">CurTy</a>.setPointer(CT-&gt;getTypeAtIndex(<a class="code" href="classllvm_1_1generic__bridge__gep__type__iterator.html#a9494bbdc909dab98dd3fd23a416f3a31">getOperand</a>()));</div><div class="line"><a name="l00126"></a><span class="lineno">  126</span>&#160;        }</div><div class="line"><a name="l00127"></a><span class="lineno">  127</span>&#160;<span class="preprocessor">#endif</span></div><div class="line"><a name="l00128"></a><span class="lineno">  128</span>&#160;        <span class="keywordflow">else</span></div><div class="line"><a name="l00129"></a><span class="lineno">  129</span>&#160;        {</div><div class="line"><a name="l00130"></a><span class="lineno">  130</span>&#160;            <a class="code" href="classllvm_1_1generic__bridge__gep__type__iterator.html#aa602c207fe08960b24fc496ca1d34509">CurTy</a>.setPointer(<span class="keyword">nullptr</span>);</div><div class="line"><a name="l00131"></a><span class="lineno">  131</span>&#160;        }</div><div class="line"><a name="l00132"></a><span class="lineno">  132</span>&#160;        ++<a class="code" href="classllvm_1_1generic__bridge__gep__type__iterator.html#aa3fd4dca27e09df9ee726879624ae47e">OpIt</a>;</div><div class="line"><a name="l00133"></a><span class="lineno">  133</span>&#160;        <span class="keywordflow">return</span> *<span class="keyword">this</span>;</div><div class="line"><a name="l00134"></a><span class="lineno">  134</span>&#160;    }</div><div class="ttc" id="namespaceSVF_html_a1d008c0666c145622b81d427be64c52d"><div class="ttname"><a href="namespaceSVF.html#a1d008c0666c145622b81d427be64c52d">SVF::Type</a></div><div class="ttdeci">llvm::Type Type</div><div class="ttdef"><b>Definition:</b> <a href="Util_2BasicTypes_8h_source.html#l00073">BasicTypes.h:73</a></div></div>
+<div class="fragment"><div class="line"><a name="l00105"></a><span class="lineno">  105</span>&#160;    {</div><div class="line"><a name="l00106"></a><span class="lineno">  106</span>&#160;        <span class="keywordflow">if</span> ( <a class="code" href="classllvm_1_1generic__bridge__gep__type__iterator.html#aa602c207fe08960b24fc496ca1d34509">CurTy</a>.getInt() )</div><div class="line"><a name="l00107"></a><span class="lineno">  107</span>&#160;        {</div><div class="line"><a name="l00108"></a><span class="lineno">  108</span>&#160;            <a class="code" href="classllvm_1_1generic__bridge__gep__type__iterator.html#aa602c207fe08960b24fc496ca1d34509">CurTy</a>.setInt(<span class="keyword">false</span>);</div><div class="line"><a name="l00109"></a><span class="lineno">  109</span>&#160;        }</div><div class="line"><a name="l00110"></a><span class="lineno">  110</span>&#160;<span class="preprocessor">#if LLVM_VERSION_MAJOR &gt;= 11</span></div><div class="line"><a name="l00111"></a><span class="lineno">  111</span>&#160;        <span class="keywordflow">else</span> <span class="keywordflow">if</span> ( <a class="code" href="namespaceSVF.html#a1d008c0666c145622b81d427be64c52d">Type</a> * CT = <a class="code" href="classllvm_1_1generic__bridge__gep__type__iterator.html#aa602c207fe08960b24fc496ca1d34509">CurTy</a>.getPointer() )</div><div class="line"><a name="l00112"></a><span class="lineno">  112</span>&#160;        {</div><div class="line"><a name="l00113"></a><span class="lineno">  113</span>&#160;            <span class="keywordflow">if</span> (<span class="keyword">auto</span> ST = dyn_cast&lt;StructType&gt;(CT))</div><div class="line"><a name="l00114"></a><span class="lineno">  114</span>&#160;                <a class="code" href="classllvm_1_1generic__bridge__gep__type__iterator.html#aa602c207fe08960b24fc496ca1d34509">CurTy</a>.setPointer(ST-&gt;getTypeAtIndex(<a class="code" href="classllvm_1_1generic__bridge__gep__type__iterator.html#a9494bbdc909dab98dd3fd23a416f3a31">getOperand</a>()));</div><div class="line"><a name="l00115"></a><span class="lineno">  115</span>&#160;            <span class="keywordflow">else</span> <span class="keywordflow">if</span> (<span class="keyword">auto</span> Array = dyn_cast&lt;ArrayType&gt;(CT))</div><div class="line"><a name="l00116"></a><span class="lineno">  116</span>&#160;                <a class="code" href="classllvm_1_1generic__bridge__gep__type__iterator.html#aa602c207fe08960b24fc496ca1d34509">CurTy</a>.setPointer(Array-&gt;getElementType());</div><div class="line"><a name="l00117"></a><span class="lineno">  117</span>&#160;            <span class="keywordflow">else</span> <span class="keywordflow">if</span> (<span class="keyword">auto</span> Vector = dyn_cast&lt;VectorType&gt;(CT))</div><div class="line"><a name="l00118"></a><span class="lineno">  118</span>&#160;                <a class="code" href="classllvm_1_1generic__bridge__gep__type__iterator.html#aa602c207fe08960b24fc496ca1d34509">CurTy</a>.setPointer(Vector-&gt;getElementType());</div><div class="line"><a name="l00119"></a><span class="lineno">  119</span>&#160;            <span class="keywordflow">else</span></div><div class="line"><a name="l00120"></a><span class="lineno">  120</span>&#160;                <a class="code" href="classllvm_1_1generic__bridge__gep__type__iterator.html#aa602c207fe08960b24fc496ca1d34509">CurTy</a>.setPointer(<span class="keyword">nullptr</span>);</div><div class="line"><a name="l00121"></a><span class="lineno">  121</span>&#160;        }</div><div class="line"><a name="l00122"></a><span class="lineno">  122</span>&#160;<span class="preprocessor">#else</span></div><div class="line"><a name="l00123"></a><span class="lineno">  123</span>&#160;        <span class="keywordflow">else</span> <span class="keywordflow">if</span> ( CompositeType * CT = dyn_cast&lt;CompositeType&gt;(<a class="code" href="classllvm_1_1generic__bridge__gep__type__iterator.html#aa602c207fe08960b24fc496ca1d34509">CurTy</a>.getPointer()) )</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;            <a class="code" href="classllvm_1_1generic__bridge__gep__type__iterator.html#aa602c207fe08960b24fc496ca1d34509">CurTy</a>.setPointer(CT-&gt;getTypeAtIndex(<a class="code" href="classllvm_1_1generic__bridge__gep__type__iterator.html#a9494bbdc909dab98dd3fd23a416f3a31">getOperand</a>()));</div><div class="line"><a name="l00126"></a><span class="lineno">  126</span>&#160;        }</div><div class="line"><a name="l00127"></a><span class="lineno">  127</span>&#160;<span class="preprocessor">#endif</span></div><div class="line"><a name="l00128"></a><span class="lineno">  128</span>&#160;        <span class="keywordflow">else</span></div><div class="line"><a name="l00129"></a><span class="lineno">  129</span>&#160;        {</div><div class="line"><a name="l00130"></a><span class="lineno">  130</span>&#160;            <a class="code" href="classllvm_1_1generic__bridge__gep__type__iterator.html#aa602c207fe08960b24fc496ca1d34509">CurTy</a>.setPointer(<span class="keyword">nullptr</span>);</div><div class="line"><a name="l00131"></a><span class="lineno">  131</span>&#160;        }</div><div class="line"><a name="l00132"></a><span class="lineno">  132</span>&#160;        ++<a class="code" href="classllvm_1_1generic__bridge__gep__type__iterator.html#aa3fd4dca27e09df9ee726879624ae47e">OpIt</a>;</div><div class="line"><a name="l00133"></a><span class="lineno">  133</span>&#160;        <span class="keywordflow">return</span> *<span class="keyword">this</span>;</div><div class="line"><a name="l00134"></a><span class="lineno">  134</span>&#160;    }</div><div class="ttc" id="namespaceSVF_html_a1d008c0666c145622b81d427be64c52d"><div class="ttname"><a href="namespaceSVF.html#a1d008c0666c145622b81d427be64c52d">SVF::Type</a></div><div class="ttdeci">llvm::Type Type</div><div class="ttdef"><b>Definition:</b> <a href="Util_2BasicTypes_8h_source.html#l00072">BasicTypes.h:72</a></div></div>
 <div class="ttc" id="classllvm_1_1generic__bridge__gep__type__iterator_html_a9494bbdc909dab98dd3fd23a416f3a31"><div class="ttname"><a href="classllvm_1_1generic__bridge__gep__type__iterator.html#a9494bbdc909dab98dd3fd23a416f3a31">llvm::generic_bridge_gep_type_iterator::getOperand</a></div><div class="ttdeci">Value * getOperand() const</div><div class="ttdef"><b>Definition:</b> <a href="GEPTypeBridgeIterator_8h_source.html#l00098">GEPTypeBridgeIterator.h:98</a></div></div>
 <div class="ttc" id="classllvm_1_1generic__bridge__gep__type__iterator_html_aa602c207fe08960b24fc496ca1d34509"><div class="ttname"><a href="classllvm_1_1generic__bridge__gep__type__iterator.html#aa602c207fe08960b24fc496ca1d34509">llvm::generic_bridge_gep_type_iterator::CurTy</a></div><div class="ttdeci">PointerIntPair&lt; Type *, 1 &gt; CurTy</div><div class="ttdef"><b>Definition:</b> <a href="GEPTypeBridgeIterator_8h_source.html#l00022">GEPTypeBridgeIterator.h:22</a></div></div>
 <div class="ttc" id="classllvm_1_1generic__bridge__gep__type__iterator_html_aa3fd4dca27e09df9ee726879624ae47e"><div class="ttname"><a href="classllvm_1_1generic__bridge__gep__type__iterator.html#aa3fd4dca27e09df9ee726879624ae47e">llvm::generic_bridge_gep_type_iterator::OpIt</a></div><div class="ttdeci">ItTy OpIt</div><div class="ttdef"><b>Definition:</b> <a href="GEPTypeBridgeIterator_8h_source.html#l00021">GEPTypeBridgeIterator.h:21</a></div></div>

package/SVF-doxygen/html/html/functions_a.html

@@ -973,11 +973,11 @@ $(function() {
 : <a class="el" href="classSVF_1_1CHNode.html#a8c51571df92b5e152cc42e9aaf712dc9">SVF::CHNode</a>
 </li>
 <li>alias()
-: <a class="el" href="classSVF_1_1BVDataPTAImpl.html#adaba5a41a60e32d18d964bdb8ae5b2df">SVF::BVDataPTAImpl</a>
-, <a class="el" href="classSVF_1_1CondPTAImpl.html#a171918ada9b679b0114b27476caa5ee6">SVF::CondPTAImpl&lt; Cond &gt;</a>
+: <a class="el" href="classSVF_1_1BVDataPTAImpl.html#a25720f154731a8c745da10aa76ab8517">SVF::BVDataPTAImpl</a>
+, <a class="el" href="classSVF_1_1CondPTAImpl.html#ac18e1dc9c6fc8cc952f67a93c2491876">SVF::CondPTAImpl&lt; Cond &gt;</a>
 , <a class="el" href="classSVF_1_1DDAPass.html#a96de481dd2af7b39428aff38158c1d4e">SVF::DDAPass</a>
 , <a class="el" href="classSVF_1_1LockAnalysis.html#a4424f27444c12dce8071c56a95c664bf">SVF::LockAnalysis</a>
-, <a class="el" href="classSVF_1_1PointerAnalysis.html#abd9da46106d820721a24201caaa164e1">SVF::PointerAnalysis</a>
+, <a class="el" href="classSVF_1_1PointerAnalysis.html#a6c01f259ad2379a422d7106ce0255eb8">SVF::PointerAnalysis</a>
 , <a class="el" href="classSVF_1_1WPAPass.html#a5a71ab4d4bd993ff52da60c730d7b57f">SVF::WPAPass</a>
 </li>
 <li>alias_begin()
@@ -1279,7 +1279,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1ArgumentVFGNode.html#a0b35234b96e98099a289b73028bae276">SVF::ArgumentVFGNode</a>
 </li>
 <li>AssignStmt()
-: <a class="el" href="classSVF_1_1AssignStmt.html#a41bf9092cbdfccb9724bd58e10aa51a6">SVF::AssignStmt</a>
+: <a class="el" href="classSVF_1_1AssignStmt.html#aff4c35109790daed3c6170c985153620">SVF::AssignStmt</a>
 </li>
 <li>atEnd
 : <a class="el" href="classSVF_1_1CondPointsToSet_1_1CondPtsSetIterator.html#ad22614f30570619802e23715d1d5eaf0">SVF::CondPointsToSet&lt; Cond &gt;::CondPtsSetIterator</a>

package/SVF-doxygen/html/html/functions_b.html

@@ -264,7 +264,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1CoreBitVector_1_1CoreBitVectorIterator.html#a853b685cf022839c183df46f1cafe638">SVF::CoreBitVector::CoreBitVectorIterator</a>
 </li>
 <li>bitcastInstStat()
-: <a class="el" href="classSVF_1_1PTAStat.html#a2d5eedfe3418a3a83c9d254ba28399eb">SVF::PTAStat</a>
+: <a class="el" href="classSVF_1_1PTAStat.html#a3431df864d616336700d3086e4113054">SVF::PTAStat</a>
 </li>
 <li>bits
 : <a class="el" href="unionEpTypeUnion.html#ad93dc9fbbc709d52d46e1e8ec78bb391">EpTypeUnion</a>

package/SVF-doxygen/html/html/functions_d.html

@@ -375,9 +375,6 @@ $(function() {
 <li>diTypeToStr()
 : <a class="el" href="classSVF_1_1DCHGraph.html#a2dc488345cc3a5f37079952f638d8c2b">SVF::DCHGraph</a>
 </li>
-<li>dl
-: <a class="el" href="classSVF_1_1SymbolTableInfo.html#ae577a32079a8e95d0185bfc45d919635">SVF::SymbolTableInfo</a>
-</li>
 <li>doit()
 : <a class="el" href="structSVF_1_1SVFUtil_1_1cast__convert__val.html#a42987ff69d76fef88044fe0b19743239">SVF::SVFUtil::cast_convert_val&lt; To, From, SimpleFrom &gt;</a>
 , <a class="el" href="structSVF_1_1SVFUtil_1_1cast__convert__val_3_01To_00_01FromTy_00_01FromTy_01_4.html#a2dd56ef15d86f61c7fef34dc15173e4a">SVF::SVFUtil::cast_convert_val&lt; To, FromTy, FromTy &gt;</a>

package/SVF-doxygen/html/html/functions_f.html

@@ -542,12 +542,12 @@ $(function() {
 <li>funToModsMap
 : <a class="el" href="classSVF_1_1MRGenerator.html#a2c94bfa19ad8d1d6360b12693c8b891d">SVF::MRGenerator</a>
 </li>
-<li>funToMRsMap
-: <a class="el" href="classSVF_1_1MRGenerator.html#a3e74c3706ffcc14f378771b417dcbb96">SVF::MRGenerator</a>
-</li>
 <li>FunToMRsMap
 : <a class="el" href="classSVF_1_1MRGenerator.html#a090070379a09460aef0c07270d32d27b">SVF::MRGenerator</a>
 </li>
+<li>funToMRsMap
+: <a class="el" href="classSVF_1_1MRGenerator.html#a3e74c3706ffcc14f378771b417dcbb96">SVF::MRGenerator</a>
+</li>
 <li>FunToNodeBSMap
 : <a class="el" href="classSVF_1_1MRGenerator.html#ab01e492f002c73e2c89eb0b4c8f9647d">SVF::MRGenerator</a>
 </li>

package/SVF-doxygen/html/html/functions_func.html

@@ -890,18 +890,18 @@ $(function() {
 : <a class="el" href="classSVF_1_1CHNode.html#a8c51571df92b5e152cc42e9aaf712dc9">SVF::CHNode</a>
 </li>
 <li>alias()
-: <a class="el" href="classSVF_1_1BVDataPTAImpl.html#ad06fbd9a51499c668662b533eeb2e4ac">SVF::BVDataPTAImpl</a>
-, <a class="el" href="classSVF_1_1CondPTAImpl.html#ac18e1dc9c6fc8cc952f67a93c2491876">SVF::CondPTAImpl&lt; Cond &gt;</a>
-, <a class="el" href="classSVF_1_1DDAPass.html#a96de481dd2af7b39428aff38158c1d4e">SVF::DDAPass</a>
+: <a class="el" href="classSVF_1_1BVDataPTAImpl.html#a25720f154731a8c745da10aa76ab8517">SVF::BVDataPTAImpl</a>
+, <a class="el" href="classSVF_1_1CondPTAImpl.html#a171918ada9b679b0114b27476caa5ee6">SVF::CondPTAImpl&lt; Cond &gt;</a>
+, <a class="el" href="classSVF_1_1DDAPass.html#a242575c5bd8a8f17fdc802e5ba80e7b0">SVF::DDAPass</a>
 , <a class="el" href="classSVF_1_1LockAnalysis.html#a4424f27444c12dce8071c56a95c664bf">SVF::LockAnalysis</a>
-, <a class="el" href="classSVF_1_1PointerAnalysis.html#a0f712ead1f31750879948c36b2fc77cf">SVF::PointerAnalysis</a>
-, <a class="el" href="classSVF_1_1WPAPass.html#af339db8bffc554be7dd5cb6b100649e7">SVF::WPAPass</a>
+, <a class="el" href="classSVF_1_1PointerAnalysis.html#a6c01f259ad2379a422d7106ce0255eb8">SVF::PointerAnalysis</a>
+, <a class="el" href="classSVF_1_1WPAPass.html#a5a71ab4d4bd993ff52da60c730d7b57f">SVF::WPAPass</a>
 </li>
 <li>alias_begin()
 : <a class="el" href="classSVF_1_1SVFModule.html#a0e28f6eaf32efc6f2c0987e64f1df852">SVF::SVFModule</a>
 </li>
 <li>alias_end()
-: <a class="el" href="classSVF_1_1SVFModule.html#a1bb5c818ec63d81a238f3d242a89079f">SVF::SVFModule</a>
+: <a class="el" href="classSVF_1_1SVFModule.html#a3cfd0983849950099d1e8f8e0fda42bc">SVF::SVFModule</a>
 </li>
 <li>AliasDDAClient()
 : <a class="el" href="classSVF_1_1AliasDDAClient.html#af55b1ccfa6cfaa6ec079b19d62288cb6">SVF::AliasDDAClient</a>
@@ -1049,7 +1049,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1ArgumentVFGNode.html#a0b35234b96e98099a289b73028bae276">SVF::ArgumentVFGNode</a>
 </li>
 <li>AssignStmt()
-: <a class="el" href="classSVF_1_1AssignStmt.html#a41bf9092cbdfccb9724bd58e10aa51a6">SVF::AssignStmt</a>
+: <a class="el" href="classSVF_1_1AssignStmt.html#aff4c35109790daed3c6170c985153620">SVF::AssignStmt</a>
 </li>
 <li>atEnd()
 : <a class="el" href="classSVF_1_1CoreBitVector_1_1CoreBitVectorIterator.html#ad3af46dcfb0e2846587eb5a71f38161f">SVF::CoreBitVector::CoreBitVectorIterator</a>

package/SVF-doxygen/html/html/functions_func_b.html

@@ -121,7 +121,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1BinaryOPVFGNode.html#a20a0cf8366831b6be38c9c1945254362">SVF::BinaryOPVFGNode</a>
 </li>
 <li>bitcastInstStat()
-: <a class="el" href="classSVF_1_1PTAStat.html#a2d5eedfe3418a3a83c9d254ba28399eb">SVF::PTAStat</a>
+: <a class="el" href="classSVF_1_1PTAStat.html#a3431df864d616336700d3086e4113054">SVF::PTAStat</a>
 </li>
 <li>BitVector()
 : <a class="el" href="classSVF_1_1BitVector.html#a212871312b985f7d7215dd46ba171990">SVF::BitVector</a>

package/SVF-doxygen/html/html/functions_func_g.html

@@ -626,9 +626,6 @@ $(function() {
 <li>getCxtThread()
 : <a class="el" href="classSVF_1_1TCTNode.html#a21591b19f6a9267151c31178f9543ee6">SVF::TCTNode</a>
 </li>
-<li>getDataLayout()
-: <a class="el" href="classSVF_1_1SymbolTableInfo.html#a5fad3e11fbba831ed0940fb715e7dc2d">SVF::SymbolTableInfo</a>
-</li>
 <li>getDeclaration()
 : <a class="el" href="classSVF_1_1LLVMModuleSet.html#aa4a604e47daaaf95babc7aca68991000">SVF::LLVMModuleSet</a>
 </li>
@@ -1372,7 +1369,7 @@ $(function() {
 </li>
 <li>getModRefInfo()
 : <a class="el" href="classSVF_1_1MRGenerator.html#ac14c99ee6064fc9cf30120a83c78e702">SVF::MRGenerator</a>
-, <a class="el" href="classSVF_1_1WPAPass.html#a567f818fa7b29142b18cb39e5c063a4e">SVF::WPAPass</a>
+, <a class="el" href="classSVF_1_1WPAPass.html#a6d86f4ef6ad2f14c2dbf57b759e2950f">SVF::WPAPass</a>
 </li>
 <li>getModSideEffectOfCallSite()
 : <a class="el" href="classSVF_1_1MRGenerator.html#a1535832f5b1ae3178fea950bf71fdd99">SVF::MRGenerator</a>
@@ -1841,11 +1838,11 @@ $(function() {
 , <a class="el" href="classSVF_1_1MutableDFPTData.html#a4cbb9131a89c5c48367fb927693b5c6b">SVF::MutableDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 , <a class="el" href="classSVF_1_1MutableDiffPTData.html#ac2f494da9379c336bb81a0dc438b5af9">SVF::MutableDiffPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 , <a class="el" href="classSVF_1_1MutablePTData.html#abe4230f3ba78fc660ea291fda36ffa62">SVF::MutablePTData&lt; Key, KeySet, Data, DataSet &gt;</a>
-, <a class="el" href="classSVF_1_1MutableVersionedPTData.html#aaf519166d2e0ca3c81088b52a1cf3066">SVF::MutableVersionedPTData&lt; Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet &gt;</a>
+, <a class="el" href="classSVF_1_1MutableVersionedPTData.html#afcc34f6cedca6a8f151b1a7251832818">SVF::MutableVersionedPTData&lt; Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet &gt;</a>
 , <a class="el" href="classSVF_1_1PersistentDFPTData.html#a5f6a01d0bb40a718bc14f2cc1bb98a13">SVF::PersistentDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 , <a class="el" href="classSVF_1_1PersistentDiffPTData.html#a9982ecf42416756a0729a28e8713cfed">SVF::PersistentDiffPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 , <a class="el" href="classSVF_1_1PersistentPTData.html#a34f8226202e1654d4e67916b21ec4d99">SVF::PersistentPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
-, <a class="el" href="classSVF_1_1PersistentVersionedPTData.html#a9b81d20e54d08e36edbff43549b1e820">SVF::PersistentVersionedPTData&lt; Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet &gt;</a>
+, <a class="el" href="classSVF_1_1PersistentVersionedPTData.html#afe80884fa8227e50f28631e20aa6fdf6">SVF::PersistentVersionedPTData&lt; Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet &gt;</a>
 , <a class="el" href="classSVF_1_1PointerAnalysis.html#a4dfb43679e9fa794ebad99b6584c32ec">SVF::PointerAnalysis</a>
 , <a class="el" href="classSVF_1_1PTData.html#a9ae6037637d8b9acb323333f491f4a7d">SVF::PTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 , <a class="el" href="classSVF_1_1Steensgaard.html#adbcb9af660ab9bb0202bd32342280486">SVF::Steensgaard</a>
@@ -1919,7 +1916,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1ICFGBuilder.html#a7c1125c992eec20e118e6bfc12cb8bfb">SVF::ICFGBuilder</a>
 </li>
 <li>getRetParmAtJoinedSite()
-: <a class="el" href="classSVF_1_1ThreadAPI.html#ad1c595f7b15a2d3079b9e9200c84f7d7">SVF::ThreadAPI</a>
+: <a class="el" href="classSVF_1_1ThreadAPI.html#a5439ef32c909b02c83cbd30eb0a0fe12">SVF::ThreadAPI</a>
 </li>
 <li>getRetPE()
 : <a class="el" href="classSVF_1_1RetCFGEdge.html#af84bf360ca641711a3c625de86feb603">SVF::RetCFGEdge</a>
@@ -2094,14 +2091,14 @@ $(function() {
 </li>
 <li>getSuccessorCondValue()
 : <a class="el" href="classSVF_1_1BranchStmt.html#a0881e8decb0bfe2066995d9d729d1aad">SVF::BranchStmt</a>
-, <a class="el" href="classSVF_1_1IntraCFGEdge.html#af7320c95bdc66e37153a79b9e38cfdb4">SVF::IntraCFGEdge</a>
+, <a class="el" href="classSVF_1_1IntraCFGEdge.html#a6a4ba7a362bae8bff69ccad07df61119">SVF::IntraCFGEdge</a>
 </li>
 <li>getSuccessors()
 : <a class="el" href="classSVF_1_1BranchStmt.html#a93040c884df211ac62d53ceafdd9c4dd">SVF::BranchStmt</a>
 , <a class="el" href="classSVF_1_1BranchVFGNode.html#a2ef5951de4760d28adb9d82b22067360">SVF::BranchVFGNode</a>
 </li>
 <li>getSuccNodes()
-: <a class="el" href="classSVF_1_1MTASVFGBuilder.html#a8164ae39b494115142767abc29cebd53">SVF::MTASVFGBuilder</a>
+: <a class="el" href="classSVF_1_1MTASVFGBuilder.html#a7033805052c8fae5cd0104fdd9e345c0">SVF::MTASVFGBuilder</a>
 </li>
 <li>getSVFFun()
 : <a class="el" href="classSVF_1_1PCG.html#ac7dd2bbd4274a5e3a6427f3b674f99ba">SVF::PCG</a>
@@ -2149,7 +2146,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1SVFIR.html#ae2006820c0d00482b85e7ae3adcb5744">SVF::SVFIR</a>
 </li>
 <li>getTaskDataAtHareParForSite()
-: <a class="el" href="classSVF_1_1ThreadAPI.html#a58cf56e35be873a5a26c5eb0d9b5c9b3">SVF::ThreadAPI</a>
+: <a class="el" href="classSVF_1_1ThreadAPI.html#aee8fac6281a95d8a519add100e8887d1">SVF::ThreadAPI</a>
 </li>
 <li>getTaskFuncAtHareParForSite()
 : <a class="el" href="classSVF_1_1ThreadAPI.html#afeedd6e518af76fa9e7142af8899b2f5">SVF::ThreadAPI</a>
@@ -2166,7 +2163,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1TCT.html#a6ac3c91742a6e9088c4e9cf1b7d2f42e">SVF::TCT</a>
 </li>
 <li>getTCTNode()
-: <a class="el" href="classSVF_1_1TCT.html#a7b4ad0b052e1f8b6869733eef15f4e4d">SVF::TCT</a>
+: <a class="el" href="classSVF_1_1TCT.html#aac9d98a33fbaa6defa3f847d0bbe76d6">SVF::TCT</a>
 </li>
 <li>getTCTNodeNum()
 : <a class="el" href="classSVF_1_1TCT.html#af03bfeae7e09a9f62d96ba59632e588f">SVF::TCT</a>
@@ -2363,7 +2360,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1SVFModule.html#a4dc32c583d29d74d052eaa5665b0b70e">SVF::SVFModule</a>
 </li>
 <li>global_end()
-: <a class="el" href="classSVF_1_1SVFModule.html#a8a34164634d6ad9a7b76175907c8c44b">SVF::SVFModule</a>
+: <a class="el" href="classSVF_1_1SVFModule.html#afa9068e662918f6649d5ca25340a3ae2">SVF::SVFModule</a>
 </li>
 <li>GlobalICFGNode()
 : <a class="el" href="classSVF_1_1GlobalICFGNode.html#a01e8a9844fcad1cc5faa22d8b0e0efd7">SVF::GlobalICFGNode</a>

package/SVF-doxygen/html/html/functions_func_o.html

@@ -133,7 +133,6 @@ $(function() {
 , <a class="el" href="structstd_1_1hash_3_01SVF_1_1LocationSet_01_4.html#a701401db0e876205424e9cc797fb5984">std::hash&lt; SVF::LocationSet &gt;</a>
 , <a class="el" href="structstd_1_1hash_3_01SVF_1_1NodePair_01_4.html#a33d0d439057cbfab969516ea6a976aae">std::hash&lt; SVF::NodePair &gt;</a>
 , <a class="el" href="structstd_1_1hash_3_01SVF_1_1PointsTo_01_4.html#a34dcd2ff517e67b98ec26e4957931367">std::hash&lt; SVF::PointsTo &gt;</a>
-, <a class="el" href="structstd_1_1hash_3_01SVF_1_1SmallVector_3_01T_00_01N_01_4_01_4.html#ae282a411b1a579a34ccd7eec3a492eb2">std::hash&lt; SVF::SmallVector&lt; T, N &gt; &gt;</a>
 , <a class="el" href="structstd_1_1hash_3_01SVF_1_1StmtDPItem_3_01LocCond_01_4_01_4.html#a265e5b7b0b4e15c14f1cc93ec4fc2267">std::hash&lt; SVF::StmtDPItem&lt; LocCond &gt; &gt;</a>
 , <a class="el" href="structstd_1_1hash_3_01SVF_1_1SVFGNodeLockSpan_01_4.html#a7854984f902d9a42c6d4e095de8464a7">std::hash&lt; SVF::SVFGNodeLockSpan &gt;</a>
 , <a class="el" href="structSVF_1_1GenericEdge_1_1equalGEdge.html#ac4654da03578f3ab8183b10f98a27f62">SVF::GenericEdge&lt; NodeTy &gt;::equalGEdge</a>
@@ -149,8 +148,8 @@ $(function() {
 <li>operator*()
 : <a class="el" href="classllvm_1_1generic__bridge__gep__type__iterator.html#aef8babf0bd09f63692e99d3ec563b193">llvm::generic_bridge_gep_type_iterator&lt; ItTy &gt;</a>
 , <a class="el" href="classSVF_1_1CondPointsToSet_1_1CondPtsSetIterator.html#aaaed8caef122453b5ff543826e1757e0">SVF::CondPointsToSet&lt; Cond &gt;::CondPtsSetIterator</a>
-, <a class="el" href="classSVF_1_1CoreBitVector_1_1CoreBitVectorIterator.html#a86bc0a10874af0d43c23cc073d65da07">SVF::CoreBitVector::CoreBitVectorIterator</a>
-, <a class="el" href="classSVF_1_1PointsTo_1_1PointsToIterator.html#ab294d3378c283fff63e481db1bea3b4d">SVF::PointsTo::PointsToIterator</a>
+, <a class="el" href="classSVF_1_1CoreBitVector_1_1CoreBitVectorIterator.html#aec0b2c6ebcf16734a69a54613a18b33e">SVF::CoreBitVector::CoreBitVectorIterator</a>
+, <a class="el" href="classSVF_1_1PointsTo_1_1PointsToIterator.html#a06c8e8c242c5de90c307665f589e3180">SVF::PointsTo::PointsToIterator</a>
 </li>
 <li>operator+()
 : <a class="el" href="classSVF_1_1LocationSet.html#a67387c3b42fcc1bb3ee8fe85bda02ba8">SVF::LocationSet</a>
@@ -290,7 +289,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1CondPointsToSet.html#a74c50cfaf788a828a4fc97eba703ec4e">SVF::CondPointsToSet&lt; Cond &gt;</a>
 , <a class="el" href="classSVF_1_1CondStdSet.html#a90e4c4ead1cbdca01c0be801a68b005b">SVF::CondStdSet&lt; Element &gt;</a>
 , <a class="el" href="classSVF_1_1CoreBitVector.html#af8e63360242a49fb63c3ef3d7071503d">SVF::CoreBitVector</a>
-, <a class="el" href="classSVF_1_1PointsTo.html#a687b34cac3c43dd957b86a4833a24871">SVF::PointsTo</a>
+, <a class="el" href="classSVF_1_1PointsTo.html#aa8644057ec182382e3c34e90d7d61ade">SVF::PointsTo</a>
 </li>
 <li>opPts()
 : <a class="el" href="classSVF_1_1PersistentPointsToCache.html#ac7865b3ea1d76d2c522b465cc8e86639">SVF::PersistentPointsToCache&lt; Data &gt;</a>

package/SVF-doxygen/html/html/functions_g.html

@@ -703,9 +703,6 @@ $(function() {
 <li>getCxtThread()
 : <a class="el" href="classSVF_1_1TCTNode.html#a21591b19f6a9267151c31178f9543ee6">SVF::TCTNode</a>
 </li>
-<li>getDataLayout()
-: <a class="el" href="classSVF_1_1SymbolTableInfo.html#a5fad3e11fbba831ed0940fb715e7dc2d">SVF::SymbolTableInfo</a>
-</li>
 <li>getDeclaration()
 : <a class="el" href="classSVF_1_1LLVMModuleSet.html#aa4a604e47daaaf95babc7aca68991000">SVF::LLVMModuleSet</a>
 </li>
@@ -1388,7 +1385,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1DDAVFSolver.html#ad849ae4509e88832f784c748468ab959">SVF::DDAVFSolver&lt; CVar, CPtSet, DPIm &gt;</a>
 </li>
 <li>getLoop()
-: <a class="el" href="classSVF_1_1TCT.html#add9104a3d7a821e9c2f266ae1810d2e3">SVF::TCT</a>
+: <a class="el" href="classSVF_1_1TCT.html#a71249dc399055790d86dcba6d9dd3021">SVF::TCT</a>
 </li>
 <li>getLoopInfo()
 : <a class="el" href="classSVF_1_1PathCondAllocator.html#a10ddc3b02b2baad2edd72fe429113b0f">SVF::PathCondAllocator</a>
@@ -1449,7 +1446,7 @@ $(function() {
 </li>
 <li>getModRefInfo()
 : <a class="el" href="classSVF_1_1MRGenerator.html#ac14c99ee6064fc9cf30120a83c78e702">SVF::MRGenerator</a>
-, <a class="el" href="classSVF_1_1WPAPass.html#a567f818fa7b29142b18cb39e5c063a4e">SVF::WPAPass</a>
+, <a class="el" href="classSVF_1_1WPAPass.html#a6d86f4ef6ad2f14c2dbf57b759e2950f">SVF::WPAPass</a>
 </li>
 <li>getModSideEffectOfCallSite()
 : <a class="el" href="classSVF_1_1MRGenerator.html#a1535832f5b1ae3178fea950bf71fdd99">SVF::MRGenerator</a>
@@ -1523,7 +1520,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1SVFG.html#a49a910bc4ea6e98d1584e74a018badc9">SVF::SVFG</a>
 </li>
 <li>getMUSet()
-: <a class="el" href="classSVF_1_1MemSSA.html#af4d11a0c7da0ddd7dff8d75a00279847">SVF::MemSSA</a>
+: <a class="el" href="classSVF_1_1MemSSA.html#af1a7b3ca0144ebff3747715e89646fbb">SVF::MemSSA</a>
 </li>
 <li>getMutDFPTDataTy()
 : <a class="el" href="classSVF_1_1BVDataPTAImpl.html#acbb979edee9427efa2a7c0dbd881c483">SVF::BVDataPTAImpl</a>
@@ -1642,7 +1639,7 @@ $(function() {
 </li>
 <li>getObject()
 : <a class="el" href="classSVF_1_1DummyVersionPropSVFGNode.html#ac10a4b9c2ee536cfcb74120d86c0619f">SVF::DummyVersionPropSVFGNode</a>
-, <a class="el" href="classSVF_1_1SVFIR.html#a2dd4d5f704906270af13e7a07f900eb1">SVF::SVFIR</a>
+, <a class="el" href="classSVF_1_1SVFIR.html#a25b86c16d11b4d50ccc28ead525687ae">SVF::SVFIR</a>
 </li>
 <li>getObjectNode()
 : <a class="el" href="classSVF_1_1IRGraph.html#aba13ca47865614e45321c1ae53e640c1">SVF::IRGraph</a>
@@ -1918,11 +1915,11 @@ $(function() {
 , <a class="el" href="classSVF_1_1MutableDFPTData.html#a4cbb9131a89c5c48367fb927693b5c6b">SVF::MutableDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 , <a class="el" href="classSVF_1_1MutableDiffPTData.html#ac2f494da9379c336bb81a0dc438b5af9">SVF::MutableDiffPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 , <a class="el" href="classSVF_1_1MutablePTData.html#abe4230f3ba78fc660ea291fda36ffa62">SVF::MutablePTData&lt; Key, KeySet, Data, DataSet &gt;</a>
-, <a class="el" href="classSVF_1_1MutableVersionedPTData.html#afcc34f6cedca6a8f151b1a7251832818">SVF::MutableVersionedPTData&lt; Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet &gt;</a>
+, <a class="el" href="classSVF_1_1MutableVersionedPTData.html#aaf519166d2e0ca3c81088b52a1cf3066">SVF::MutableVersionedPTData&lt; Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet &gt;</a>
 , <a class="el" href="classSVF_1_1PersistentDFPTData.html#a5f6a01d0bb40a718bc14f2cc1bb98a13">SVF::PersistentDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 , <a class="el" href="classSVF_1_1PersistentDiffPTData.html#a9982ecf42416756a0729a28e8713cfed">SVF::PersistentDiffPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 , <a class="el" href="classSVF_1_1PersistentPTData.html#a34f8226202e1654d4e67916b21ec4d99">SVF::PersistentPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
-, <a class="el" href="classSVF_1_1PersistentVersionedPTData.html#afe80884fa8227e50f28631e20aa6fdf6">SVF::PersistentVersionedPTData&lt; Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet &gt;</a>
+, <a class="el" href="classSVF_1_1PersistentVersionedPTData.html#a9b81d20e54d08e36edbff43549b1e820">SVF::PersistentVersionedPTData&lt; Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet &gt;</a>
 , <a class="el" href="classSVF_1_1PointerAnalysis.html#a4dfb43679e9fa794ebad99b6584c32ec">SVF::PointerAnalysis</a>
 , <a class="el" href="classSVF_1_1PTData.html#a9ae6037637d8b9acb323333f491f4a7d">SVF::PTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 , <a class="el" href="classSVF_1_1Steensgaard.html#adbcb9af660ab9bb0202bd32342280486">SVF::Steensgaard</a>
@@ -1935,7 +1932,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1MutablePTData.html#a8838058efe94b62553bb5416fdc2ec5b">SVF::MutablePTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 </li>
 <li>getPtsSubSetMap()
-: <a class="el" href="classSVF_1_1IntraDisjointMRG.html#ae3c857c056f4e6e863843bafba7fdea1">SVF::IntraDisjointMRG</a>
+: <a class="el" href="classSVF_1_1IntraDisjointMRG.html#ad0640ef6e02d9a90964ca495c0fd8f53">SVF::IntraDisjointMRG</a>
 </li>
 <li>getRawCTirMetadata()
 : <a class="el" href="classSVF_1_1FlowSensitiveTBHC.html#a2c47ba37bd250be455a21d1f0049d556">SVF::FlowSensitiveTBHC</a>
@@ -1996,7 +1993,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1ICFGBuilder.html#a7c1125c992eec20e118e6bfc12cb8bfb">SVF::ICFGBuilder</a>
 </li>
 <li>getRetParmAtJoinedSite()
-: <a class="el" href="classSVF_1_1ThreadAPI.html#ad1c595f7b15a2d3079b9e9200c84f7d7">SVF::ThreadAPI</a>
+: <a class="el" href="classSVF_1_1ThreadAPI.html#a5439ef32c909b02c83cbd30eb0a0fe12">SVF::ThreadAPI</a>
 </li>
 <li>getRetPE()
 : <a class="el" href="classSVF_1_1RetCFGEdge.html#af84bf360ca641711a3c625de86feb603">SVF::RetCFGEdge</a>
@@ -2023,7 +2020,7 @@ $(function() {
 </li>
 <li>getRevPts()
 : <a class="el" href="classSVF_1_1BVDataPTAImpl.html#a58113943e4e7144d94d26991dcc8bcc7">SVF::BVDataPTAImpl</a>
-, <a class="el" href="classSVF_1_1CondPTAImpl.html#aa266eef30817c557882de19aefe135a9">SVF::CondPTAImpl&lt; Cond &gt;</a>
+, <a class="el" href="classSVF_1_1CondPTAImpl.html#a0da0602c5b260afaba4bef1abcbcf7b3">SVF::CondPTAImpl&lt; Cond &gt;</a>
 , <a class="el" href="classSVF_1_1MutableDFPTData.html#a2f98940bd8266ad37a975c6d30d948b4">SVF::MutableDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 , <a class="el" href="classSVF_1_1MutableDiffPTData.html#ad9bd6762fc6525afaed4a6c6da63688d">SVF::MutableDiffPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 , <a class="el" href="classSVF_1_1MutablePTData.html#a36aa05b8f5c308035315d6df7036c096">SVF::MutablePTData&lt; Key, KeySet, Data, DataSet &gt;</a>
@@ -2171,7 +2168,7 @@ $(function() {
 </li>
 <li>getSuccessorCondValue()
 : <a class="el" href="classSVF_1_1BranchStmt.html#a0881e8decb0bfe2066995d9d729d1aad">SVF::BranchStmt</a>
-, <a class="el" href="classSVF_1_1IntraCFGEdge.html#af7320c95bdc66e37153a79b9e38cfdb4">SVF::IntraCFGEdge</a>
+, <a class="el" href="classSVF_1_1IntraCFGEdge.html#a6a4ba7a362bae8bff69ccad07df61119">SVF::IntraCFGEdge</a>
 </li>
 <li>getSuccessors()
 : <a class="el" href="classSVF_1_1BranchStmt.html#a93040c884df211ac62d53ceafdd9c4dd">SVF::BranchStmt</a>
@@ -2226,7 +2223,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1SVFIR.html#ae2006820c0d00482b85e7ae3adcb5744">SVF::SVFIR</a>
 </li>
 <li>getTaskDataAtHareParForSite()
-: <a class="el" href="classSVF_1_1ThreadAPI.html#a58cf56e35be873a5a26c5eb0d9b5c9b3">SVF::ThreadAPI</a>
+: <a class="el" href="classSVF_1_1ThreadAPI.html#aee8fac6281a95d8a519add100e8887d1">SVF::ThreadAPI</a>
 </li>
 <li>getTaskFuncAtHareParForSite()
 : <a class="el" href="classSVF_1_1ThreadAPI.html#a282d6aeab91135af4cab8195d67badf6">SVF::ThreadAPI</a>
@@ -2243,7 +2240,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1TCT.html#a6ac3c91742a6e9088c4e9cf1b7d2f42e">SVF::TCT</a>
 </li>
 <li>getTCTNode()
-: <a class="el" href="classSVF_1_1TCT.html#aac9d98a33fbaa6defa3f847d0bbe76d6">SVF::TCT</a>
+: <a class="el" href="classSVF_1_1TCT.html#a7b4ad0b052e1f8b6869733eef15f4e4d">SVF::TCT</a>
 </li>
 <li>getTCTNodeNum()
 : <a class="el" href="classSVF_1_1TCT.html#af03bfeae7e09a9f62d96ba59632e588f">SVF::TCT</a>
@@ -2440,7 +2437,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1SVFModule.html#af81c6deed3978562f83f120119c6aad2">SVF::SVFModule</a>
 </li>
 <li>global_end()
-: <a class="el" href="classSVF_1_1SVFModule.html#a8a34164634d6ad9a7b76175907c8c44b">SVF::SVFModule</a>
+: <a class="el" href="classSVF_1_1SVFModule.html#afa9068e662918f6649d5ca25340a3ae2">SVF::SVFModule</a>
 </li>
 <li>global_iterator
 : <a class="el" href="classSVF_1_1SVFModule.html#a4cf1ca2e9f045a0520b0a8a6cd5993f2">SVF::SVFModule</a>

package/SVF-doxygen/html/html/functions_l.html

@@ -121,12 +121,12 @@ $(function() {
 <li>llvmFunEnd()
 : <a class="el" href="classSVF_1_1SVFModule.html#af38d0f831967d6d8391a4c84e58d6519">SVF::SVFModule</a>
 </li>
-<li>LLVMModuleSet()
-: <a class="el" href="classSVF_1_1LLVMModuleSet.html#a8e70de9eefe2e188b10e214e073750e6">SVF::LLVMModuleSet</a>
-</li>
 <li>llvmModuleSet
 : <a class="el" href="classSVF_1_1LLVMModuleSet.html#ac59b07cafcbacc950eefea4082425b63">SVF::LLVMModuleSet</a>
 </li>
+<li>LLVMModuleSet()
+: <a class="el" href="classSVF_1_1LLVMModuleSet.html#a8e70de9eefe2e188b10e214e073750e6">SVF::LLVMModuleSet</a>
+</li>
 <li>Load
 : <a class="el" href="classSVF_1_1ConstraintEdge.html#a663af27955ba0c545f34fa1f076b7375a1bdeb9a06641d16b43391120812b40b2">SVF::ConstraintEdge</a>
 , <a class="el" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a62ac8480c43fcc657c631ec0003b15d5">SVF::SVFStmt</a>
@@ -178,12 +178,12 @@ $(function() {
 <li>LoadStmt()
 : <a class="el" href="classSVF_1_1LoadStmt.html#a4bd939005c7c6a5da4ed3b6be6ef1a22">SVF::LoadStmt</a>
 </li>
-<li>loadsToMRsMap
-: <a class="el" href="classSVF_1_1MRGenerator.html#a0d8229b1f0b8428708e923d19096e4ba">SVF::MRGenerator</a>
-</li>
 <li>LoadsToMRsMap
 : <a class="el" href="classSVF_1_1MRGenerator.html#a273b2634adcfa10a08924517e8d51175">SVF::MRGenerator</a>
 </li>
+<li>loadsToMRsMap
+: <a class="el" href="classSVF_1_1MRGenerator.html#a0d8229b1f0b8428708e923d19096e4ba">SVF::MRGenerator</a>
+</li>
 <li>LoadsToPointsToMap
 : <a class="el" href="classSVF_1_1MRGenerator.html#acfadd565b5c978c9417e059b3ea7588c">SVF::MRGenerator</a>
 </li>

package/SVF-doxygen/html/html/functions_n.html

@@ -255,12 +255,12 @@ $(function() {
 <li>nodeToRefMap
 : <a class="el" href="classSVF_1_1OfflineConsG.html#aebeb8a44fcfbb677a738fa04c8e9c5e1">SVF::OfflineConsG</a>
 </li>
-<li>nodeToRepMap
-: <a class="el" href="classSVF_1_1ConstraintGraph.html#ab1b5ee9202bd9f5d738f9850b42a45d2">SVF::ConstraintGraph</a>
-</li>
 <li>NodeToRepMap
 : <a class="el" href="classSVF_1_1ConstraintGraph.html#afe34ca6bdbb22b188799a4297fd19004">SVF::ConstraintGraph</a>
 </li>
+<li>nodeToRepMap
+: <a class="el" href="classSVF_1_1ConstraintGraph.html#ab1b5ee9202bd9f5d738f9850b42a45d2">SVF::ConstraintGraph</a>
+</li>
 <li>NodeToSubsMap
 : <a class="el" href="classSVF_1_1ConstraintGraph.html#ac7d24753491a9bab39a13b32bb65f139">SVF::ConstraintGraph</a>
 </li>