svf-tools 1.0.587 → 1.0.588

package/SVF-doxygen/html/html/structSVF_1_1SVFUtil_1_1isa__impl__cl.html

@@ -82,7 +82,7 @@ Static Public Member Functions</h2></td></tr>
 struct SVF::SVFUtil::isa_impl_cl&lt; To, From &gt;</h3>
 
 
-<p class="definition">Definition at line <a class="el" href="Casting_8h_source.html#l00094">94</a> of file <a class="el" href="Casting_8h_source.html">Casting.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="Casting_8h_source.html#l00095">95</a> of file <a class="el" href="Casting_8h_source.html">Casting.h</a>.</p>
 </div><h2 class="groupheader">Member Function Documentation</h2>
 <a id="afbe68352d888c0b15e9f46d4e378bacb"></a>
 <h2 class="memtitle"><span class="permalink"><a href="#afbe68352d888c0b15e9f46d4e378bacb">&#9670;&nbsp;</a></span>doit()</h2>
@@ -110,8 +110,8 @@ template&lt;typename To , typename From &gt; </div>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="Casting_8h_source.html#l00096">96</a> of file <a class="el" href="Casting_8h_source.html">Casting.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00097"></a><span class="lineno">   97</span>&#160;    {</div><div class="line"><a name="l00098"></a><span class="lineno">   98</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="structSVF_1_1SVFUtil_1_1isa__impl.html#a150c6a99c45befa44a4cd2bcc8d06eee">isa_impl&lt;To, From&gt;::doit</a>(Val);</div><div class="line"><a name="l00099"></a><span class="lineno">   99</span>&#160;    }</div><div class="ttc" id="structSVF_1_1SVFUtil_1_1isa__impl_html_a150c6a99c45befa44a4cd2bcc8d06eee"><div class="ttname"><a href="structSVF_1_1SVFUtil_1_1isa__impl.html#a150c6a99c45befa44a4cd2bcc8d06eee">SVF::SVFUtil::isa_impl::doit</a></div><div class="ttdeci">static bool doit(const From &amp;Val)</div><div class="ttdef"><b>Definition:</b> <a href="Casting_8h_source.html#l00077">Casting.h:77</a></div></div>
+<p class="definition">Definition at line <a class="el" href="Casting_8h_source.html#l00097">97</a> of file <a class="el" href="Casting_8h_source.html">Casting.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00098"></a><span class="lineno">   98</span>&#160;    {</div><div class="line"><a name="l00099"></a><span class="lineno">   99</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="structSVF_1_1SVFUtil_1_1isa__impl.html#a150c6a99c45befa44a4cd2bcc8d06eee">isa_impl&lt;To, From&gt;::doit</a>(Val);</div><div class="line"><a name="l00100"></a><span class="lineno">  100</span>&#160;    }</div><div class="ttc" id="structSVF_1_1SVFUtil_1_1isa__impl_html_a150c6a99c45befa44a4cd2bcc8d06eee"><div class="ttname"><a href="structSVF_1_1SVFUtil_1_1isa__impl.html#a150c6a99c45befa44a4cd2bcc8d06eee">SVF::SVFUtil::isa_impl::doit</a></div><div class="ttdeci">static bool doit(const From &amp;Val)</div><div class="ttdef"><b>Definition:</b> <a href="Casting_8h_source.html#l00078">Casting.h:78</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>

package/SVF-doxygen/html/html/structSVF_1_1SVFUtil_1_1isa__impl__cl_3_01To_00_01From_01_5_01_4.html

@@ -82,7 +82,7 @@ Static Public Member Functions</h2></td></tr>
 struct SVF::SVFUtil::isa_impl_cl&lt; To, From * &gt;</h3>
 
 
-<p class="definition">Definition at line <a class="el" href="Casting_8h_source.html#l00120">120</a> of file <a class="el" href="Casting_8h_source.html">Casting.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="Casting_8h_source.html#l00121">121</a> of file <a class="el" href="Casting_8h_source.html">Casting.h</a>.</p>
 </div><h2 class="groupheader">Member Function Documentation</h2>
 <a id="a8add67bd107583b7c34fce53a748bcb0"></a>
 <h2 class="memtitle"><span class="permalink"><a href="#a8add67bd107583b7c34fce53a748bcb0">&#9670;&nbsp;</a></span>doit()</h2>
@@ -110,8 +110,8 @@ template&lt;typename To , typename From &gt; </div>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="Casting_8h_source.html#l00122">122</a> of file <a class="el" href="Casting_8h_source.html">Casting.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00123"></a><span class="lineno">  123</span>&#160;    {</div><div class="line"><a name="l00124"></a><span class="lineno">  124</span>&#160;        assert(Val &amp;&amp; <span class="stringliteral">&quot;llvm::isa&lt;&gt; used on a null pointer&quot;</span>);</div><div class="line"><a name="l00125"></a><span class="lineno">  125</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="structSVF_1_1SVFUtil_1_1isa__impl.html#a150c6a99c45befa44a4cd2bcc8d06eee">isa_impl&lt;To, From&gt;::doit</a>(*Val);</div><div class="line"><a name="l00126"></a><span class="lineno">  126</span>&#160;    }</div><div class="ttc" id="structSVF_1_1SVFUtil_1_1isa__impl_html_a150c6a99c45befa44a4cd2bcc8d06eee"><div class="ttname"><a href="structSVF_1_1SVFUtil_1_1isa__impl.html#a150c6a99c45befa44a4cd2bcc8d06eee">SVF::SVFUtil::isa_impl::doit</a></div><div class="ttdeci">static bool doit(const From &amp;Val)</div><div class="ttdef"><b>Definition:</b> <a href="Casting_8h_source.html#l00077">Casting.h:77</a></div></div>
+<p class="definition">Definition at line <a class="el" href="Casting_8h_source.html#l00123">123</a> of file <a class="el" href="Casting_8h_source.html">Casting.h</a>.</p>
+<div class="fragment"><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;        assert(Val &amp;&amp; <span class="stringliteral">&quot;llvm::isa&lt;&gt; used on a null pointer&quot;</span>);</div><div class="line"><a name="l00126"></a><span class="lineno">  126</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="structSVF_1_1SVFUtil_1_1isa__impl.html#a150c6a99c45befa44a4cd2bcc8d06eee">isa_impl&lt;To, From&gt;::doit</a>(*Val);</div><div class="line"><a name="l00127"></a><span class="lineno">  127</span>&#160;    }</div><div class="ttc" id="structSVF_1_1SVFUtil_1_1isa__impl_html_a150c6a99c45befa44a4cd2bcc8d06eee"><div class="ttname"><a href="structSVF_1_1SVFUtil_1_1isa__impl.html#a150c6a99c45befa44a4cd2bcc8d06eee">SVF::SVFUtil::isa_impl::doit</a></div><div class="ttdeci">static bool doit(const From &amp;Val)</div><div class="ttdef"><b>Definition:</b> <a href="Casting_8h_source.html#l00078">Casting.h:78</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>

package/SVF-doxygen/html/html/structSVF_1_1SVFUtil_1_1isa__impl__cl_3_01To_00_01From_01_5const_01_4.html

@@ -82,7 +82,7 @@ Static Public Member Functions</h2></td></tr>
 struct SVF::SVFUtil::isa_impl_cl&lt; To, From *const &gt;</h3>
 
 
-<p class="definition">Definition at line <a class="el" href="Casting_8h_source.html#l00129">129</a> of file <a class="el" href="Casting_8h_source.html">Casting.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="Casting_8h_source.html#l00130">130</a> of file <a class="el" href="Casting_8h_source.html">Casting.h</a>.</p>
 </div><h2 class="groupheader">Member Function Documentation</h2>
 <a id="ac95b00b5d96e6b8457ecade4dbda3de3"></a>
 <h2 class="memtitle"><span class="permalink"><a href="#ac95b00b5d96e6b8457ecade4dbda3de3">&#9670;&nbsp;</a></span>doit()</h2>
@@ -110,8 +110,8 @@ template&lt;typename To , typename From &gt; </div>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="Casting_8h_source.html#l00131">131</a> of file <a class="el" href="Casting_8h_source.html">Casting.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00132"></a><span class="lineno">  132</span>&#160;    {</div><div class="line"><a name="l00133"></a><span class="lineno">  133</span>&#160;        assert(Val &amp;&amp; <span class="stringliteral">&quot;llvm::isa&lt;&gt; used on a null pointer&quot;</span>);</div><div class="line"><a name="l00134"></a><span class="lineno">  134</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="structSVF_1_1SVFUtil_1_1isa__impl.html#a150c6a99c45befa44a4cd2bcc8d06eee">isa_impl&lt;To, From&gt;::doit</a>(*Val);</div><div class="line"><a name="l00135"></a><span class="lineno">  135</span>&#160;    }</div><div class="ttc" id="structSVF_1_1SVFUtil_1_1isa__impl_html_a150c6a99c45befa44a4cd2bcc8d06eee"><div class="ttname"><a href="structSVF_1_1SVFUtil_1_1isa__impl.html#a150c6a99c45befa44a4cd2bcc8d06eee">SVF::SVFUtil::isa_impl::doit</a></div><div class="ttdeci">static bool doit(const From &amp;Val)</div><div class="ttdef"><b>Definition:</b> <a href="Casting_8h_source.html#l00077">Casting.h:77</a></div></div>
+<p class="definition">Definition at line <a class="el" href="Casting_8h_source.html#l00132">132</a> of file <a class="el" href="Casting_8h_source.html">Casting.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00133"></a><span class="lineno">  133</span>&#160;    {</div><div class="line"><a name="l00134"></a><span class="lineno">  134</span>&#160;        assert(Val &amp;&amp; <span class="stringliteral">&quot;llvm::isa&lt;&gt; used on a null pointer&quot;</span>);</div><div class="line"><a name="l00135"></a><span class="lineno">  135</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="structSVF_1_1SVFUtil_1_1isa__impl.html#a150c6a99c45befa44a4cd2bcc8d06eee">isa_impl&lt;To, From&gt;::doit</a>(*Val);</div><div class="line"><a name="l00136"></a><span class="lineno">  136</span>&#160;    }</div><div class="ttc" id="structSVF_1_1SVFUtil_1_1isa__impl_html_a150c6a99c45befa44a4cd2bcc8d06eee"><div class="ttname"><a href="structSVF_1_1SVFUtil_1_1isa__impl.html#a150c6a99c45befa44a4cd2bcc8d06eee">SVF::SVFUtil::isa_impl::doit</a></div><div class="ttdeci">static bool doit(const From &amp;Val)</div><div class="ttdef"><b>Definition:</b> <a href="Casting_8h_source.html#l00078">Casting.h:78</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>

package/SVF-doxygen/html/html/structSVF_1_1SVFUtil_1_1isa__impl__cl_3_01To_00_01const_01From_01_4.html

@@ -82,7 +82,7 @@ Static Public Member Functions</h2></td></tr>
 struct SVF::SVFUtil::isa_impl_cl&lt; To, const From &gt;</h3>
 
 
-<p class="definition">Definition at line <a class="el" href="Casting_8h_source.html#l00102">102</a> of file <a class="el" href="Casting_8h_source.html">Casting.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="Casting_8h_source.html#l00103">103</a> of file <a class="el" href="Casting_8h_source.html">Casting.h</a>.</p>
 </div><h2 class="groupheader">Member Function Documentation</h2>
 <a id="af9a6a9c7660d5daedf8cd907788ac78d"></a>
 <h2 class="memtitle"><span class="permalink"><a href="#af9a6a9c7660d5daedf8cd907788ac78d">&#9670;&nbsp;</a></span>doit()</h2>
@@ -110,8 +110,8 @@ template&lt;typename To , typename From &gt; </div>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="Casting_8h_source.html#l00104">104</a> of file <a class="el" href="Casting_8h_source.html">Casting.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">return</span> <a class="code" href="structSVF_1_1SVFUtil_1_1isa__impl.html#a150c6a99c45befa44a4cd2bcc8d06eee">isa_impl&lt;To, From&gt;::doit</a>(Val);</div><div class="line"><a name="l00107"></a><span class="lineno">  107</span>&#160;    }</div><div class="ttc" id="structSVF_1_1SVFUtil_1_1isa__impl_html_a150c6a99c45befa44a4cd2bcc8d06eee"><div class="ttname"><a href="structSVF_1_1SVFUtil_1_1isa__impl.html#a150c6a99c45befa44a4cd2bcc8d06eee">SVF::SVFUtil::isa_impl::doit</a></div><div class="ttdeci">static bool doit(const From &amp;Val)</div><div class="ttdef"><b>Definition:</b> <a href="Casting_8h_source.html#l00077">Casting.h:77</a></div></div>
+<p class="definition">Definition at line <a class="el" href="Casting_8h_source.html#l00105">105</a> of file <a class="el" href="Casting_8h_source.html">Casting.h</a>.</p>
+<div class="fragment"><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="keywordflow">return</span> <a class="code" href="structSVF_1_1SVFUtil_1_1isa__impl.html#a150c6a99c45befa44a4cd2bcc8d06eee">isa_impl&lt;To, From&gt;::doit</a>(Val);</div><div class="line"><a name="l00108"></a><span class="lineno">  108</span>&#160;    }</div><div class="ttc" id="structSVF_1_1SVFUtil_1_1isa__impl_html_a150c6a99c45befa44a4cd2bcc8d06eee"><div class="ttname"><a href="structSVF_1_1SVFUtil_1_1isa__impl.html#a150c6a99c45befa44a4cd2bcc8d06eee">SVF::SVFUtil::isa_impl::doit</a></div><div class="ttdeci">static bool doit(const From &amp;Val)</div><div class="ttdef"><b>Definition:</b> <a href="Casting_8h_source.html#l00078">Casting.h:78</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>

package/SVF-doxygen/html/html/structSVF_1_1SVFUtil_1_1isa__impl__cl_3_01To_00_01const_01From_01_5_01_4.html

@@ -82,7 +82,7 @@ Static Public Member Functions</h2></td></tr>
 struct SVF::SVFUtil::isa_impl_cl&lt; To, const From * &gt;</h3>
 
 
-<p class="definition">Definition at line <a class="el" href="Casting_8h_source.html#l00138">138</a> of file <a class="el" href="Casting_8h_source.html">Casting.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="Casting_8h_source.html#l00139">139</a> of file <a class="el" href="Casting_8h_source.html">Casting.h</a>.</p>
 </div><h2 class="groupheader">Member Function Documentation</h2>
 <a id="a761b612c6ee476a28aabfbbc6b2da7ab"></a>
 <h2 class="memtitle"><span class="permalink"><a href="#a761b612c6ee476a28aabfbbc6b2da7ab">&#9670;&nbsp;</a></span>doit()</h2>
@@ -110,8 +110,8 @@ template&lt;typename To , typename From &gt; </div>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="Casting_8h_source.html#l00140">140</a> of file <a class="el" href="Casting_8h_source.html">Casting.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00141"></a><span class="lineno">  141</span>&#160;    {</div><div class="line"><a name="l00142"></a><span class="lineno">  142</span>&#160;        assert(Val &amp;&amp; <span class="stringliteral">&quot;llvm::isa&lt;&gt; used on a null pointer&quot;</span>);</div><div class="line"><a name="l00143"></a><span class="lineno">  143</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="structSVF_1_1SVFUtil_1_1isa__impl.html#a150c6a99c45befa44a4cd2bcc8d06eee">isa_impl&lt;To, From&gt;::doit</a>(*Val);</div><div class="line"><a name="l00144"></a><span class="lineno">  144</span>&#160;    }</div><div class="ttc" id="structSVF_1_1SVFUtil_1_1isa__impl_html_a150c6a99c45befa44a4cd2bcc8d06eee"><div class="ttname"><a href="structSVF_1_1SVFUtil_1_1isa__impl.html#a150c6a99c45befa44a4cd2bcc8d06eee">SVF::SVFUtil::isa_impl::doit</a></div><div class="ttdeci">static bool doit(const From &amp;Val)</div><div class="ttdef"><b>Definition:</b> <a href="Casting_8h_source.html#l00077">Casting.h:77</a></div></div>
+<p class="definition">Definition at line <a class="el" href="Casting_8h_source.html#l00141">141</a> of file <a class="el" href="Casting_8h_source.html">Casting.h</a>.</p>
+<div class="fragment"><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;        assert(Val &amp;&amp; <span class="stringliteral">&quot;llvm::isa&lt;&gt; used on a null pointer&quot;</span>);</div><div class="line"><a name="l00144"></a><span class="lineno">  144</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="structSVF_1_1SVFUtil_1_1isa__impl.html#a150c6a99c45befa44a4cd2bcc8d06eee">isa_impl&lt;To, From&gt;::doit</a>(*Val);</div><div class="line"><a name="l00145"></a><span class="lineno">  145</span>&#160;    }</div><div class="ttc" id="structSVF_1_1SVFUtil_1_1isa__impl_html_a150c6a99c45befa44a4cd2bcc8d06eee"><div class="ttname"><a href="structSVF_1_1SVFUtil_1_1isa__impl.html#a150c6a99c45befa44a4cd2bcc8d06eee">SVF::SVFUtil::isa_impl::doit</a></div><div class="ttdeci">static bool doit(const From &amp;Val)</div><div class="ttdef"><b>Definition:</b> <a href="Casting_8h_source.html#l00078">Casting.h:78</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>

package/SVF-doxygen/html/html/structSVF_1_1SVFUtil_1_1isa__impl__cl_3_01To_00_01const_01From_01_5const_01_4.html

@@ -82,7 +82,7 @@ Static Public Member Functions</h2></td></tr>
 struct SVF::SVFUtil::isa_impl_cl&lt; To, const From *const &gt;</h3>
 
 
-<p class="definition">Definition at line <a class="el" href="Casting_8h_source.html#l00147">147</a> of file <a class="el" href="Casting_8h_source.html">Casting.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="Casting_8h_source.html#l00148">148</a> of file <a class="el" href="Casting_8h_source.html">Casting.h</a>.</p>
 </div><h2 class="groupheader">Member Function Documentation</h2>
 <a id="af73d1d0d7eb6f51090b4df47b497483a"></a>
 <h2 class="memtitle"><span class="permalink"><a href="#af73d1d0d7eb6f51090b4df47b497483a">&#9670;&nbsp;</a></span>doit()</h2>
@@ -110,8 +110,8 @@ template&lt;typename To , typename From &gt; </div>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="Casting_8h_source.html#l00149">149</a> of file <a class="el" href="Casting_8h_source.html">Casting.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00150"></a><span class="lineno">  150</span>&#160;    {</div><div class="line"><a name="l00151"></a><span class="lineno">  151</span>&#160;        assert(Val &amp;&amp; <span class="stringliteral">&quot;llvm::isa&lt;&gt; used on a null pointer&quot;</span>);</div><div class="line"><a name="l00152"></a><span class="lineno">  152</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="structSVF_1_1SVFUtil_1_1isa__impl.html#a150c6a99c45befa44a4cd2bcc8d06eee">isa_impl&lt;To, From&gt;::doit</a>(*Val);</div><div class="line"><a name="l00153"></a><span class="lineno">  153</span>&#160;    }</div><div class="ttc" id="structSVF_1_1SVFUtil_1_1isa__impl_html_a150c6a99c45befa44a4cd2bcc8d06eee"><div class="ttname"><a href="structSVF_1_1SVFUtil_1_1isa__impl.html#a150c6a99c45befa44a4cd2bcc8d06eee">SVF::SVFUtil::isa_impl::doit</a></div><div class="ttdeci">static bool doit(const From &amp;Val)</div><div class="ttdef"><b>Definition:</b> <a href="Casting_8h_source.html#l00077">Casting.h:77</a></div></div>
+<p class="definition">Definition at line <a class="el" href="Casting_8h_source.html#l00150">150</a> of file <a class="el" href="Casting_8h_source.html">Casting.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00151"></a><span class="lineno">  151</span>&#160;    {</div><div class="line"><a name="l00152"></a><span class="lineno">  152</span>&#160;        assert(Val &amp;&amp; <span class="stringliteral">&quot;llvm::isa&lt;&gt; used on a null pointer&quot;</span>);</div><div class="line"><a name="l00153"></a><span class="lineno">  153</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="structSVF_1_1SVFUtil_1_1isa__impl.html#a150c6a99c45befa44a4cd2bcc8d06eee">isa_impl&lt;To, From&gt;::doit</a>(*Val);</div><div class="line"><a name="l00154"></a><span class="lineno">  154</span>&#160;    }</div><div class="ttc" id="structSVF_1_1SVFUtil_1_1isa__impl_html_a150c6a99c45befa44a4cd2bcc8d06eee"><div class="ttname"><a href="structSVF_1_1SVFUtil_1_1isa__impl.html#a150c6a99c45befa44a4cd2bcc8d06eee">SVF::SVFUtil::isa_impl::doit</a></div><div class="ttdeci">static bool doit(const From &amp;Val)</div><div class="ttdef"><b>Definition:</b> <a href="Casting_8h_source.html#l00078">Casting.h:78</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>

package/SVF-doxygen/html/html/structSVF_1_1SVFUtil_1_1isa__impl__cl_3_01To_00_01const_01std_1_1unique__ptr_3_01From_01_4_01_4.html

@@ -82,7 +82,7 @@ Static Public Member Functions</h2></td></tr>
 struct SVF::SVFUtil::isa_impl_cl&lt; To, const std::unique_ptr&lt; From &gt; &gt;</h3>
 
 
-<p class="definition">Definition at line <a class="el" href="Casting_8h_source.html#l00111">111</a> of file <a class="el" href="Casting_8h_source.html">Casting.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="Casting_8h_source.html#l00112">112</a> of file <a class="el" href="Casting_8h_source.html">Casting.h</a>.</p>
 </div><h2 class="groupheader">Member Function Documentation</h2>
 <a id="aff368847551a69d07b06237908594852"></a>
 <h2 class="memtitle"><span class="permalink"><a href="#aff368847551a69d07b06237908594852">&#9670;&nbsp;</a></span>doit()</h2>
@@ -110,8 +110,8 @@ template&lt;typename To , typename From &gt; </div>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="Casting_8h_source.html#l00113">113</a> of file <a class="el" href="Casting_8h_source.html">Casting.h</a>.</p>
-<div class="fragment"><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;        assert(Val &amp;&amp; <span class="stringliteral">&quot;llvm::isa&lt;&gt; used on a null pointer&quot;</span>);</div><div class="line"><a name="l00116"></a><span class="lineno">  116</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="structSVF_1_1SVFUtil_1_1isa__impl__cl.html#afbe68352d888c0b15e9f46d4e378bacb">isa_impl_cl&lt;To, From&gt;::doit</a>(*Val);</div><div class="line"><a name="l00117"></a><span class="lineno">  117</span>&#160;    }</div><div class="ttc" id="structSVF_1_1SVFUtil_1_1isa__impl__cl_html_afbe68352d888c0b15e9f46d4e378bacb"><div class="ttname"><a href="structSVF_1_1SVFUtil_1_1isa__impl__cl.html#afbe68352d888c0b15e9f46d4e378bacb">SVF::SVFUtil::isa_impl_cl::doit</a></div><div class="ttdeci">static bool doit(const From &amp;Val)</div><div class="ttdef"><b>Definition:</b> <a href="Casting_8h_source.html#l00096">Casting.h:96</a></div></div>
+<p class="definition">Definition at line <a class="el" href="Casting_8h_source.html#l00114">114</a> of file <a class="el" href="Casting_8h_source.html">Casting.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00115"></a><span class="lineno">  115</span>&#160;    {</div><div class="line"><a name="l00116"></a><span class="lineno">  116</span>&#160;        assert(Val &amp;&amp; <span class="stringliteral">&quot;llvm::isa&lt;&gt; used on a null pointer&quot;</span>);</div><div class="line"><a name="l00117"></a><span class="lineno">  117</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="structSVF_1_1SVFUtil_1_1isa__impl__cl.html#afbe68352d888c0b15e9f46d4e378bacb">isa_impl_cl&lt;To, From&gt;::doit</a>(*Val);</div><div class="line"><a name="l00118"></a><span class="lineno">  118</span>&#160;    }</div><div class="ttc" id="structSVF_1_1SVFUtil_1_1isa__impl__cl_html_afbe68352d888c0b15e9f46d4e378bacb"><div class="ttname"><a href="structSVF_1_1SVFUtil_1_1isa__impl__cl.html#afbe68352d888c0b15e9f46d4e378bacb">SVF::SVFUtil::isa_impl_cl::doit</a></div><div class="ttdeci">static bool doit(const From &amp;Val)</div><div class="ttdef"><b>Definition:</b> <a href="Casting_8h_source.html#l00097">Casting.h:97</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>

package/SVF-doxygen/html/html/structSVF_1_1SVFUtil_1_1isa__impl__wrap.html

@@ -82,7 +82,7 @@ Static Public Member Functions</h2></td></tr>
 struct SVF::SVFUtil::isa_impl_wrap&lt; To, From, SimpleFrom &gt;</h3>
 
 
-<p class="definition">Definition at line <a class="el" href="Casting_8h_source.html#l00157">157</a> of file <a class="el" href="Casting_8h_source.html">Casting.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="Casting_8h_source.html#l00158">158</a> of file <a class="el" href="Casting_8h_source.html">Casting.h</a>.</p>
 </div><h2 class="groupheader">Member Function Documentation</h2>
 <a id="aa0f166d8bdcd1e7b954cc29c19a40b04"></a>
 <h2 class="memtitle"><span class="permalink"><a href="#aa0f166d8bdcd1e7b954cc29c19a40b04">&#9670;&nbsp;</a></span>doit()</h2>
@@ -110,10 +110,10 @@ template&lt;typename To , typename From , typename SimpleFrom &gt; </div>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="Casting_8h_source.html#l00161">161</a> of file <a class="el" href="Casting_8h_source.html">Casting.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00162"></a><span class="lineno">  162</span>&#160;    {</div><div class="line"><a name="l00163"></a><span class="lineno">  163</span>&#160;        <span class="keywordflow">return</span> isa_impl_wrap&lt;To, SimpleFrom,</div><div class="line"><a name="l00164"></a><span class="lineno">  164</span>&#160;               <span class="keyword">typename</span> <a class="code" href="structSVF_1_1SVFUtil_1_1simplify__type.html#a40c0d9a74681d3eaa7172ba137d489e4">simplify_type&lt;SimpleFrom&gt;::SimpleType</a>&gt;<a class="code" href="structSVF_1_1SVFUtil_1_1isa__impl__wrap.html#aa0f166d8bdcd1e7b954cc29c19a40b04">::doit</a>(</div><div class="line"><a name="l00165"></a><span class="lineno">  165</span>&#160;                   <a class="code" href="structSVF_1_1SVFUtil_1_1simplify__type_3_01const_01From_01_4.html#ac64f5d9a2ec97aebd7b377319d7f043b">simplify_type&lt;const From&gt;::getSimplifiedValue</a>(Val));</div><div class="line"><a name="l00166"></a><span class="lineno">  166</span>&#160;    }</div><div class="ttc" id="structSVF_1_1SVFUtil_1_1simplify__type_3_01const_01From_01_4_html_ac64f5d9a2ec97aebd7b377319d7f043b"><div class="ttname"><a href="structSVF_1_1SVFUtil_1_1simplify__type_3_01const_01From_01_4.html#ac64f5d9a2ec97aebd7b377319d7f043b">SVF::SVFUtil::simplify_type&lt; const From &gt;::getSimplifiedValue</a></div><div class="ttdeci">static RetType getSimplifiedValue(const From &amp;Val)</div><div class="ttdef"><b>Definition:</b> <a href="Casting_8h_source.html#l00065">Casting.h:65</a></div></div>
-<div class="ttc" id="structSVF_1_1SVFUtil_1_1isa__impl__wrap_html_aa0f166d8bdcd1e7b954cc29c19a40b04"><div class="ttname"><a href="structSVF_1_1SVFUtil_1_1isa__impl__wrap.html#aa0f166d8bdcd1e7b954cc29c19a40b04">SVF::SVFUtil::isa_impl_wrap::doit</a></div><div class="ttdeci">static bool doit(const From &amp;Val)</div><div class="ttdef"><b>Definition:</b> <a href="Casting_8h_source.html#l00161">Casting.h:161</a></div></div>
-<div class="ttc" id="structSVF_1_1SVFUtil_1_1simplify__type_html_a40c0d9a74681d3eaa7172ba137d489e4"><div class="ttname"><a href="structSVF_1_1SVFUtil_1_1simplify__type.html#a40c0d9a74681d3eaa7172ba137d489e4">SVF::SVFUtil::simplify_type::SimpleType</a></div><div class="ttdeci">From SimpleType</div><div class="ttdef"><b>Definition:</b> <a href="Casting_8h_source.html#l00048">Casting.h:48</a></div></div>
+<p class="definition">Definition at line <a class="el" href="Casting_8h_source.html#l00162">162</a> of file <a class="el" href="Casting_8h_source.html">Casting.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00163"></a><span class="lineno">  163</span>&#160;    {</div><div class="line"><a name="l00164"></a><span class="lineno">  164</span>&#160;        <span class="keywordflow">return</span> isa_impl_wrap&lt;To, SimpleFrom,</div><div class="line"><a name="l00165"></a><span class="lineno">  165</span>&#160;               <span class="keyword">typename</span> <a class="code" href="structSVF_1_1SVFUtil_1_1simplify__type.html#a40c0d9a74681d3eaa7172ba137d489e4">simplify_type&lt;SimpleFrom&gt;::SimpleType</a>&gt;<a class="code" href="structSVF_1_1SVFUtil_1_1isa__impl__wrap.html#aa0f166d8bdcd1e7b954cc29c19a40b04">::doit</a>(</div><div class="line"><a name="l00166"></a><span class="lineno">  166</span>&#160;                   <a class="code" href="structSVF_1_1SVFUtil_1_1simplify__type_3_01const_01From_01_4.html#ac64f5d9a2ec97aebd7b377319d7f043b">simplify_type&lt;const From&gt;::getSimplifiedValue</a>(Val));</div><div class="line"><a name="l00167"></a><span class="lineno">  167</span>&#160;    }</div><div class="ttc" id="structSVF_1_1SVFUtil_1_1simplify__type_3_01const_01From_01_4_html_ac64f5d9a2ec97aebd7b377319d7f043b"><div class="ttname"><a href="structSVF_1_1SVFUtil_1_1simplify__type_3_01const_01From_01_4.html#ac64f5d9a2ec97aebd7b377319d7f043b">SVF::SVFUtil::simplify_type&lt; const From &gt;::getSimplifiedValue</a></div><div class="ttdeci">static RetType getSimplifiedValue(const From &amp;Val)</div><div class="ttdef"><b>Definition:</b> <a href="Casting_8h_source.html#l00066">Casting.h:66</a></div></div>
+<div class="ttc" id="structSVF_1_1SVFUtil_1_1isa__impl__wrap_html_aa0f166d8bdcd1e7b954cc29c19a40b04"><div class="ttname"><a href="structSVF_1_1SVFUtil_1_1isa__impl__wrap.html#aa0f166d8bdcd1e7b954cc29c19a40b04">SVF::SVFUtil::isa_impl_wrap::doit</a></div><div class="ttdeci">static bool doit(const From &amp;Val)</div><div class="ttdef"><b>Definition:</b> <a href="Casting_8h_source.html#l00162">Casting.h:162</a></div></div>
+<div class="ttc" id="structSVF_1_1SVFUtil_1_1simplify__type_html_a40c0d9a74681d3eaa7172ba137d489e4"><div class="ttname"><a href="structSVF_1_1SVFUtil_1_1simplify__type.html#a40c0d9a74681d3eaa7172ba137d489e4">SVF::SVFUtil::simplify_type::SimpleType</a></div><div class="ttdeci">From SimpleType</div><div class="ttdef"><b>Definition:</b> <a href="Casting_8h_source.html#l00049">Casting.h:49</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>

package/SVF-doxygen/html/html/structSVF_1_1SVFUtil_1_1isa__impl__wrap_3_01To_00_01FromTy_00_01FromTy_01_4.html

@@ -82,7 +82,7 @@ Static Public Member Functions</h2></td></tr>
 struct SVF::SVFUtil::isa_impl_wrap&lt; To, FromTy, FromTy &gt;</h3>
 
 
-<p class="definition">Definition at line <a class="el" href="Casting_8h_source.html#l00170">170</a> of file <a class="el" href="Casting_8h_source.html">Casting.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="Casting_8h_source.html#l00171">171</a> of file <a class="el" href="Casting_8h_source.html">Casting.h</a>.</p>
 </div><h2 class="groupheader">Member Function Documentation</h2>
 <a id="a414dc089b04305b8580dede7a6337404"></a>
 <h2 class="memtitle"><span class="permalink"><a href="#a414dc089b04305b8580dede7a6337404">&#9670;&nbsp;</a></span>doit()</h2>
@@ -110,8 +110,8 @@ template&lt;typename To , typename FromTy &gt; </div>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="Casting_8h_source.html#l00173">173</a> of file <a class="el" href="Casting_8h_source.html">Casting.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00174"></a><span class="lineno">  174</span>&#160;    {</div><div class="line"><a name="l00175"></a><span class="lineno">  175</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="structSVF_1_1SVFUtil_1_1isa__impl__cl.html#afbe68352d888c0b15e9f46d4e378bacb">isa_impl_cl&lt;To,FromTy&gt;::doit</a>(Val);</div><div class="line"><a name="l00176"></a><span class="lineno">  176</span>&#160;    }</div><div class="ttc" id="structSVF_1_1SVFUtil_1_1isa__impl__cl_html_afbe68352d888c0b15e9f46d4e378bacb"><div class="ttname"><a href="structSVF_1_1SVFUtil_1_1isa__impl__cl.html#afbe68352d888c0b15e9f46d4e378bacb">SVF::SVFUtil::isa_impl_cl::doit</a></div><div class="ttdeci">static bool doit(const From &amp;Val)</div><div class="ttdef"><b>Definition:</b> <a href="Casting_8h_source.html#l00096">Casting.h:96</a></div></div>
+<p class="definition">Definition at line <a class="el" href="Casting_8h_source.html#l00174">174</a> of file <a class="el" href="Casting_8h_source.html">Casting.h</a>.</p>
+<div class="fragment"><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;        <span class="keywordflow">return</span> <a class="code" href="structSVF_1_1SVFUtil_1_1isa__impl__cl.html#afbe68352d888c0b15e9f46d4e378bacb">isa_impl_cl&lt;To,FromTy&gt;::doit</a>(Val);</div><div class="line"><a name="l00177"></a><span class="lineno">  177</span>&#160;    }</div><div class="ttc" id="structSVF_1_1SVFUtil_1_1isa__impl__cl_html_afbe68352d888c0b15e9f46d4e378bacb"><div class="ttname"><a href="structSVF_1_1SVFUtil_1_1isa__impl__cl.html#afbe68352d888c0b15e9f46d4e378bacb">SVF::SVFUtil::isa_impl_cl::doit</a></div><div class="ttdeci">static bool doit(const From &amp;Val)</div><div class="ttdef"><b>Definition:</b> <a href="Casting_8h_source.html#l00097">Casting.h:97</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>

package/SVF-doxygen/html/html/structSVF_1_1SVFUtil_1_1simplify__type.html

@@ -88,7 +88,7 @@ Static Public Member Functions</h2></td></tr>
 struct SVF::SVFUtil::simplify_type&lt; From &gt;</h3>
 
 
-<p class="definition">Definition at line <a class="el" href="Casting_8h_source.html#l00046">46</a> of file <a class="el" href="Casting_8h_source.html">Casting.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="Casting_8h_source.html#l00047">47</a> of file <a class="el" href="Casting_8h_source.html">Casting.h</a>.</p>
 </div><h2 class="groupheader">Member Typedef Documentation</h2>
 <a id="a40c0d9a74681d3eaa7172ba137d489e4"></a>
 <h2 class="memtitle"><span class="permalink"><a href="#a40c0d9a74681d3eaa7172ba137d489e4">&#9670;&nbsp;</a></span>SimpleType</h2>
@@ -104,7 +104,7 @@ template&lt;typename From&gt; </div>
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="Casting_8h_source.html#l00048">48</a> of file <a class="el" href="Casting_8h_source.html">Casting.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="Casting_8h_source.html#l00049">49</a> of file <a class="el" href="Casting_8h_source.html">Casting.h</a>.</p>
 
 </div>
 </div>
@@ -135,8 +135,8 @@ template&lt;typename From&gt; </div>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="Casting_8h_source.html#l00051">51</a> of file <a class="el" href="Casting_8h_source.html">Casting.h</a>.</p>
-<div class="fragment"><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;        <span class="keywordflow">return</span> Val;</div><div class="line"><a name="l00054"></a><span class="lineno">   54</span>&#160;    }</div></div><!-- fragment -->
+<p class="definition">Definition at line <a class="el" href="Casting_8h_source.html#l00052">52</a> of file <a class="el" href="Casting_8h_source.html">Casting.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00053"></a><span class="lineno">   53</span>&#160;    {</div><div class="line"><a name="l00054"></a><span class="lineno">   54</span>&#160;        <span class="keywordflow">return</span> Val;</div><div class="line"><a name="l00055"></a><span class="lineno">   55</span>&#160;    }</div></div><!-- fragment -->
 </div>
 </div>
 <hr/>The documentation for this struct was generated from the following file:<ul>

package/SVF-doxygen/html/html/structSVF_1_1SVFUtil_1_1simplify__type_3_01const_01From_01_4.html

@@ -92,7 +92,7 @@ Static Public Member Functions</h2></td></tr>
 struct SVF::SVFUtil::simplify_type&lt; const From &gt;</h3>
 
 
-<p class="definition">Definition at line <a class="el" href="Casting_8h_source.html#l00057">57</a> of file <a class="el" href="Casting_8h_source.html">Casting.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="Casting_8h_source.html#l00058">58</a> of file <a class="el" href="Casting_8h_source.html">Casting.h</a>.</p>
 </div><h2 class="groupheader">Member Typedef Documentation</h2>
 <a id="aadddb18b44c9744dcc639a3de603151d"></a>
 <h2 class="memtitle"><span class="permalink"><a href="#aadddb18b44c9744dcc639a3de603151d">&#9670;&nbsp;</a></span>NonConstSimpleType</h2>
@@ -108,7 +108,7 @@ template&lt;typename From &gt; </div>
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="Casting_8h_source.html#l00059">59</a> of file <a class="el" href="Casting_8h_source.html">Casting.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="Casting_8h_source.html#l00060">60</a> of file <a class="el" href="Casting_8h_source.html">Casting.h</a>.</p>
 
 </div>
 </div>
@@ -126,7 +126,7 @@ template&lt;typename From &gt; </div>
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="Casting_8h_source.html#l00063">63</a> of file <a class="el" href="Casting_8h_source.html">Casting.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="Casting_8h_source.html#l00064">64</a> of file <a class="el" href="Casting_8h_source.html">Casting.h</a>.</p>
 
 </div>
 </div>
@@ -144,7 +144,7 @@ template&lt;typename From &gt; </div>
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="Casting_8h_source.html#l00061">61</a> of file <a class="el" href="Casting_8h_source.html">Casting.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="Casting_8h_source.html#l00062">62</a> of file <a class="el" href="Casting_8h_source.html">Casting.h</a>.</p>
 
 </div>
 </div>
@@ -175,8 +175,8 @@ template&lt;typename From &gt; </div>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="Casting_8h_source.html#l00065">65</a> of file <a class="el" href="Casting_8h_source.html">Casting.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00066"></a><span class="lineno">   66</span>&#160;    {</div><div class="line"><a name="l00067"></a><span class="lineno">   67</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="structSVF_1_1SVFUtil_1_1simplify__type.html#a8046f044d895a5c9aee85de9705161f9">simplify_type&lt;From&gt;::getSimplifiedValue</a>(const_cast&lt;From&amp;&gt;(Val));</div><div class="line"><a name="l00068"></a><span class="lineno">   68</span>&#160;    }</div><div class="ttc" id="structSVF_1_1SVFUtil_1_1simplify__type_html_a8046f044d895a5c9aee85de9705161f9"><div class="ttname"><a href="structSVF_1_1SVFUtil_1_1simplify__type.html#a8046f044d895a5c9aee85de9705161f9">SVF::SVFUtil::simplify_type::getSimplifiedValue</a></div><div class="ttdeci">static SimpleType &amp; getSimplifiedValue(From &amp;Val)</div><div class="ttdef"><b>Definition:</b> <a href="Casting_8h_source.html#l00051">Casting.h:51</a></div></div>
+<p class="definition">Definition at line <a class="el" href="Casting_8h_source.html#l00066">66</a> of file <a class="el" href="Casting_8h_source.html">Casting.h</a>.</p>
+<div class="fragment"><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="keywordflow">return</span> <a class="code" href="structSVF_1_1SVFUtil_1_1simplify__type.html#a8046f044d895a5c9aee85de9705161f9">simplify_type&lt;From&gt;::getSimplifiedValue</a>(const_cast&lt;From&amp;&gt;(Val));</div><div class="line"><a name="l00069"></a><span class="lineno">   69</span>&#160;    }</div><div class="ttc" id="structSVF_1_1SVFUtil_1_1simplify__type_html_a8046f044d895a5c9aee85de9705161f9"><div class="ttname"><a href="structSVF_1_1SVFUtil_1_1simplify__type.html#a8046f044d895a5c9aee85de9705161f9">SVF::SVFUtil::simplify_type::getSimplifiedValue</a></div><div class="ttdeci">static SimpleType &amp; getSimplifiedValue(From &amp;Val)</div><div class="ttdef"><b>Definition:</b> <a href="Casting_8h_source.html#l00052">Casting.h:52</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>

package/SVF-doxygen/html/html/structllvm_1_1DOTGraphTraits_3_01CFLGraph_01_5_01_4.html

@@ -206,7 +206,7 @@ template&lt;class EdgeIter &gt; </div>
 <p class="definition">Definition at line <a class="el" href="CFLGraph_8cpp_source.html#l00115">115</a> of file <a class="el" href="CFLGraph_8cpp_source.html">CFLGraph.cpp</a>.</p>
 <div class="fragment"><div class="line"><a name="l00116"></a><span class="lineno">  116</span>&#160;    {</div><div class="line"><a name="l00117"></a><span class="lineno">  117</span>&#160;        <a class="code" href="classSVF_1_1CFLEdge.html">CFLEdge</a>* edge = *(EI.getCurrent());</div><div class="line"><a name="l00118"></a><span class="lineno">  118</span>&#160;        assert(edge &amp;&amp; <span class="stringliteral">&quot;No edge found!!&quot;</span>);</div><div class="line"><a name="l00119"></a><span class="lineno">  119</span>&#160;        <a class="code" href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">std::string</a> str;</div><div class="line"><a name="l00120"></a><span class="lineno">  120</span>&#160;        <a class="code" href="namespaceSVF.html#a726981481ac082dcda3e4921416b65a0">raw_string_ostream</a> rawstr(str);</div><div class="line"><a name="l00121"></a><span class="lineno">  121</span>&#160;        <span class="keywordflow">if</span> (edge-&gt;<a class="code" href="classSVF_1_1CFLEdge.html#acab367a1633d00afdafadf3f3a43e0c8">getEdgeKind</a>() == ConstraintEdge::Addr)</div><div class="line"><a name="l00122"></a><span class="lineno">  122</span>&#160;        {</div><div class="line"><a name="l00123"></a><span class="lineno">  123</span>&#160;            rawstr &lt;&lt; <span class="stringliteral">&quot;color=green&quot;</span>;</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;        <span class="keywordflow">else</span> <span class="keywordflow">if</span> (edge-&gt;<a class="code" href="classSVF_1_1CFLEdge.html#acab367a1633d00afdafadf3f3a43e0c8">getEdgeKind</a>() == ConstraintEdge::Copy)</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;            rawstr &lt;&lt; <span class="stringliteral">&quot;color=black&quot;</span>;</div><div class="line"><a name="l00128"></a><span class="lineno">  128</span>&#160;        }</div><div class="line"><a name="l00129"></a><span class="lineno">  129</span>&#160;        <span class="keywordflow">else</span> <span class="keywordflow">if</span> (edge-&gt;<a class="code" href="classSVF_1_1CFLEdge.html#a5d11e42f5571287992362669fee9e159">getEdgeKindWithMask</a>() == ConstraintEdge::NormalGep)</div><div class="line"><a name="l00130"></a><span class="lineno">  130</span>&#160;        {</div><div class="line"><a name="l00131"></a><span class="lineno">  131</span>&#160;            rawstr &lt;&lt; <span class="stringliteral">&quot;color=purple,label=&quot;</span> &lt;&lt; <span class="charliteral">&#39;&quot;&#39;</span> &lt;&lt; <span class="stringliteral">&quot;Gep_&quot;</span> &lt;&lt; edge-&gt;<a class="code" href="classSVF_1_1CFLEdge.html#ae4c8562ff6801503de9e3cb0c4ebe2b8">getEdgeAttri</a>() &lt;&lt; <span class="charliteral">&#39;&quot;&#39;</span>;</div><div class="line"><a name="l00132"></a><span class="lineno">  132</span>&#160;        }</div><div class="line"><a name="l00133"></a><span class="lineno">  133</span>&#160;        <span class="keywordflow">else</span> <span class="keywordflow">if</span> (edge-&gt;<a class="code" href="classSVF_1_1CFLEdge.html#a5d11e42f5571287992362669fee9e159">getEdgeKindWithMask</a>() == ConstraintEdge::VariantGep)</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;            rawstr &lt;&lt; <span class="stringliteral">&quot;color=purple,label=&quot;</span> &lt;&lt; <span class="charliteral">&#39;&quot;&#39;</span> &lt;&lt; <span class="stringliteral">&quot;VGep&quot;</span> &lt;&lt; <span class="charliteral">&#39;&quot;&#39;</span>;</div><div class="line"><a name="l00136"></a><span class="lineno">  136</span>&#160;        }</div><div class="line"><a name="l00137"></a><span class="lineno">  137</span>&#160;        <span class="keywordflow">else</span> <span class="keywordflow">if</span> (edge-&gt;<a class="code" href="classSVF_1_1CFLEdge.html#acab367a1633d00afdafadf3f3a43e0c8">getEdgeKind</a>() == ConstraintEdge::Store)</div><div class="line"><a name="l00138"></a><span class="lineno">  138</span>&#160;        {</div><div class="line"><a name="l00139"></a><span class="lineno">  139</span>&#160;            rawstr &lt;&lt; <span class="stringliteral">&quot;color=blue&quot;</span>;</div><div class="line"><a name="l00140"></a><span class="lineno">  140</span>&#160;        }</div><div class="line"><a name="l00141"></a><span class="lineno">  141</span>&#160;        <span class="keywordflow">else</span> <span class="keywordflow">if</span> (edge-&gt;<a class="code" href="classSVF_1_1CFLEdge.html#acab367a1633d00afdafadf3f3a43e0c8">getEdgeKind</a>() == ConstraintEdge::Load)</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;            rawstr &lt;&lt; <span class="stringliteral">&quot;color=red&quot;</span>;</div><div class="line"><a name="l00144"></a><span class="lineno">  144</span>&#160;        }</div><div class="line"><a name="l00145"></a><span class="lineno">  145</span>&#160;        <span class="keywordflow">else</span> <span class="keywordflow">if</span> (edge-&gt;<a class="code" href="classSVF_1_1CFLEdge.html#acab367a1633d00afdafadf3f3a43e0c8">getEdgeKind</a>() == graph-&gt;<a class="code" href="classSVF_1_1CFLGraph.html#a685fb852b2cd3767258225aa3b87caa4">getStartKind</a>())</div><div class="line"><a name="l00146"></a><span class="lineno">  146</span>&#160;        {</div><div class="line"><a name="l00147"></a><span class="lineno">  147</span>&#160;            rawstr &lt;&lt; <span class="stringliteral">&quot;color=Turquoise&quot;</span>;</div><div class="line"><a name="l00148"></a><span class="lineno">  148</span>&#160;        }</div><div class="line"><a name="l00149"></a><span class="lineno">  149</span>&#160;        <span class="keywordflow">else</span></div><div class="line"><a name="l00150"></a><span class="lineno">  150</span>&#160;        {</div><div class="line"><a name="l00151"></a><span class="lineno">  151</span>&#160;            rawstr  &lt;&lt; <span class="stringliteral">&quot;style=invis&quot;</span>;</div><div class="line"><a name="l00152"></a><span class="lineno">  152</span>&#160;        }</div><div class="line"><a name="l00153"></a><span class="lineno">  153</span>&#160;        <span class="keywordflow">return</span> rawstr.str();</div><div class="line"><a name="l00154"></a><span class="lineno">  154</span>&#160;    }</div><div class="ttc" id="classSVF_1_1CFLEdge_html_ae4c8562ff6801503de9e3cb0c4ebe2b8"><div class="ttname"><a href="classSVF_1_1CFLEdge.html#ae4c8562ff6801503de9e3cb0c4ebe2b8">SVF::CFLEdge::getEdgeAttri</a></div><div class="ttdeci">GEdgeKind getEdgeAttri() const</div><div class="ttdef"><b>Definition:</b> <a href="CFLGraph_8h_source.html#l00068">CFLGraph.h:68</a></div></div>
 <div class="ttc" id="classSVF_1_1CFLEdge_html_a5d11e42f5571287992362669fee9e159"><div class="ttname"><a href="classSVF_1_1CFLEdge.html#a5d11e42f5571287992362669fee9e159">SVF::CFLEdge::getEdgeKindWithMask</a></div><div class="ttdeci">GEdgeKind getEdgeKindWithMask() const</div><div class="ttdef"><b>Definition:</b> <a href="CFLGraph_8h_source.html#l00063">CFLGraph.h:63</a></div></div>
-<div class="ttc" id="namespaceSVF_html_a726981481ac082dcda3e4921416b65a0"><div class="ttname"><a href="namespaceSVF.html#a726981481ac082dcda3e4921416b65a0">SVF::raw_string_ostream</a></div><div class="ttdeci">llvm::raw_string_ostream raw_string_ostream</div><div class="ttdoc">LLVM outputs. </div><div class="ttdef"><b>Definition:</b> <a href="Util_2BasicTypes_8h_source.html#l00078">BasicTypes.h:78</a></div></div>
+<div class="ttc" id="namespaceSVF_html_a726981481ac082dcda3e4921416b65a0"><div class="ttname"><a href="namespaceSVF.html#a726981481ac082dcda3e4921416b65a0">SVF::raw_string_ostream</a></div><div class="ttdeci">llvm::raw_string_ostream raw_string_ostream</div><div class="ttdoc">LLVM outputs. </div><div class="ttdef"><b>Definition:</b> <a href="Util_2BasicTypes_8h_source.html#l00057">BasicTypes.h:57</a></div></div>
 <div class="ttc" id="classSVF_1_1CFLGraph_html_a685fb852b2cd3767258225aa3b87caa4"><div class="ttname"><a href="classSVF_1_1CFLGraph.html#a685fb852b2cd3767258225aa3b87caa4">SVF::CFLGraph::getStartKind</a></div><div class="ttdeci">Kind getStartKind() const</div><div class="ttdef"><b>Definition:</b> <a href="CFLGraph_8cpp_source.html#l00037">CFLGraph.cpp:37</a></div></div>
 <div class="ttc" id="classSVF_1_1CFLEdge_html_acab367a1633d00afdafadf3f3a43e0c8"><div class="ttname"><a href="classSVF_1_1CFLEdge.html#acab367a1633d00afdafadf3f3a43e0c8">SVF::CFLEdge::getEdgeKind</a></div><div class="ttdeci">GEdgeKind getEdgeKind() const</div><div class="ttdef"><b>Definition:</b> <a href="CFLGraph_8h_source.html#l00058">CFLGraph.h:58</a></div></div>
 <div class="ttc" id="classSVF_1_1CFLEdge_html"><div class="ttname"><a href="classSVF_1_1CFLEdge.html">SVF::CFLEdge</a></div><div class="ttdef"><b>Definition:</b> <a href="CFLGraph_8h_source.html#l00047">CFLGraph.h:47</a></div></div>
@@ -251,7 +251,7 @@ template&lt;class EdgeIter &gt; </div>
 </div><div class="memdoc">
 
 <p class="definition">Definition at line <a class="el" href="CFLGraph_8cpp_source.html#l00157">157</a> of file <a class="el" href="CFLGraph_8cpp_source.html">CFLGraph.cpp</a>.</p>
-<div class="fragment"><div class="line"><a name="l00158"></a><span class="lineno">  158</span>&#160;    {</div><div class="line"><a name="l00159"></a><span class="lineno">  159</span>&#160;        <a class="code" href="classSVF_1_1CFLEdge.html">CFLEdge</a>* edge = *(EI.getCurrent());</div><div class="line"><a name="l00160"></a><span class="lineno">  160</span>&#160;        assert(edge &amp;&amp; <span class="stringliteral">&quot;No edge found!!&quot;</span>);</div><div class="line"><a name="l00161"></a><span class="lineno">  161</span>&#160;        <a class="code" href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">std::string</a> str;</div><div class="line"><a name="l00162"></a><span class="lineno">  162</span>&#160;        <a class="code" href="namespaceSVF.html#a726981481ac082dcda3e4921416b65a0">raw_string_ostream</a> rawstr(str);</div><div class="line"><a name="l00163"></a><span class="lineno">  163</span>&#160;        rawstr &lt;&lt; <span class="stringliteral">&quot;Edge label: &quot;</span> &lt;&lt; edge-&gt;<a class="code" href="classSVF_1_1CFLEdge.html#acab367a1633d00afdafadf3f3a43e0c8">getEdgeKind</a>() &lt;&lt; <span class="stringliteral">&quot; &quot;</span>;</div><div class="line"><a name="l00164"></a><span class="lineno">  164</span>&#160;        <span class="keywordflow">return</span> rawstr.str();</div><div class="line"><a name="l00165"></a><span class="lineno">  165</span>&#160;    }</div><div class="ttc" id="namespaceSVF_html_a726981481ac082dcda3e4921416b65a0"><div class="ttname"><a href="namespaceSVF.html#a726981481ac082dcda3e4921416b65a0">SVF::raw_string_ostream</a></div><div class="ttdeci">llvm::raw_string_ostream raw_string_ostream</div><div class="ttdoc">LLVM outputs. </div><div class="ttdef"><b>Definition:</b> <a href="Util_2BasicTypes_8h_source.html#l00078">BasicTypes.h:78</a></div></div>
+<div class="fragment"><div class="line"><a name="l00158"></a><span class="lineno">  158</span>&#160;    {</div><div class="line"><a name="l00159"></a><span class="lineno">  159</span>&#160;        <a class="code" href="classSVF_1_1CFLEdge.html">CFLEdge</a>* edge = *(EI.getCurrent());</div><div class="line"><a name="l00160"></a><span class="lineno">  160</span>&#160;        assert(edge &amp;&amp; <span class="stringliteral">&quot;No edge found!!&quot;</span>);</div><div class="line"><a name="l00161"></a><span class="lineno">  161</span>&#160;        <a class="code" href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">std::string</a> str;</div><div class="line"><a name="l00162"></a><span class="lineno">  162</span>&#160;        <a class="code" href="namespaceSVF.html#a726981481ac082dcda3e4921416b65a0">raw_string_ostream</a> rawstr(str);</div><div class="line"><a name="l00163"></a><span class="lineno">  163</span>&#160;        rawstr &lt;&lt; <span class="stringliteral">&quot;Edge label: &quot;</span> &lt;&lt; edge-&gt;<a class="code" href="classSVF_1_1CFLEdge.html#acab367a1633d00afdafadf3f3a43e0c8">getEdgeKind</a>() &lt;&lt; <span class="stringliteral">&quot; &quot;</span>;</div><div class="line"><a name="l00164"></a><span class="lineno">  164</span>&#160;        <span class="keywordflow">return</span> rawstr.str();</div><div class="line"><a name="l00165"></a><span class="lineno">  165</span>&#160;    }</div><div class="ttc" id="namespaceSVF_html_a726981481ac082dcda3e4921416b65a0"><div class="ttname"><a href="namespaceSVF.html#a726981481ac082dcda3e4921416b65a0">SVF::raw_string_ostream</a></div><div class="ttdeci">llvm::raw_string_ostream raw_string_ostream</div><div class="ttdoc">LLVM outputs. </div><div class="ttdef"><b>Definition:</b> <a href="Util_2BasicTypes_8h_source.html#l00057">BasicTypes.h:57</a></div></div>
 <div class="ttc" id="classSVF_1_1CFLEdge_html_acab367a1633d00afdafadf3f3a43e0c8"><div class="ttname"><a href="classSVF_1_1CFLEdge.html#acab367a1633d00afdafadf3f3a43e0c8">SVF::CFLEdge::getEdgeKind</a></div><div class="ttdeci">GEdgeKind getEdgeKind() const</div><div class="ttdef"><b>Definition:</b> <a href="CFLGraph_8h_source.html#l00058">CFLGraph.h:58</a></div></div>
 <div class="ttc" id="classSVF_1_1CFLEdge_html"><div class="ttname"><a href="classSVF_1_1CFLEdge.html">SVF::CFLEdge</a></div><div class="ttdef"><b>Definition:</b> <a href="CFLGraph_8h_source.html#l00047">CFLGraph.h:47</a></div></div>
 <div class="ttc" id="cJSON_8h_html_ad4c68ea99a26b0a98ad9a79982960458"><div class="ttname"><a href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">string</a></div><div class="ttdeci">const char *const string</div><div class="ttdef"><b>Definition:</b> <a href="cJSON_8h_source.html#l00172">cJSON.h:172</a></div></div>
@@ -363,7 +363,7 @@ template&lt;class EdgeIter &gt; </div>
 <p>Return function name;. </p>
 
 <p class="definition">Definition at line <a class="el" href="CFLGraph_8cpp_source.html#l00101">101</a> of file <a class="el" href="CFLGraph_8cpp_source.html">CFLGraph.cpp</a>.</p>
-<div class="fragment"><div class="line"><a name="l00102"></a><span class="lineno">  102</span>&#160;    {</div><div class="line"><a name="l00103"></a><span class="lineno">  103</span>&#160;        <a class="code" href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">std::string</a> str;</div><div class="line"><a name="l00104"></a><span class="lineno">  104</span>&#160;        <a class="code" href="namespaceSVF.html#a726981481ac082dcda3e4921416b65a0">raw_string_ostream</a> rawstr(str);</div><div class="line"><a name="l00105"></a><span class="lineno">  105</span>&#160;        rawstr &lt;&lt; <span class="stringliteral">&quot;Node ID: &quot;</span> &lt;&lt; node-&gt;<a class="code" href="classSVF_1_1GenericNode.html#ac3e55ef37aefb411ea4c87b1aa3b1895">getId</a>() &lt;&lt; <span class="stringliteral">&quot; &quot;</span>;</div><div class="line"><a name="l00106"></a><span class="lineno">  106</span>&#160;        <span class="keywordflow">return</span> rawstr.str();</div><div class="line"><a name="l00107"></a><span class="lineno">  107</span>&#160;    }</div><div class="ttc" id="namespaceSVF_html_a726981481ac082dcda3e4921416b65a0"><div class="ttname"><a href="namespaceSVF.html#a726981481ac082dcda3e4921416b65a0">SVF::raw_string_ostream</a></div><div class="ttdeci">llvm::raw_string_ostream raw_string_ostream</div><div class="ttdoc">LLVM outputs. </div><div class="ttdef"><b>Definition:</b> <a href="Util_2BasicTypes_8h_source.html#l00078">BasicTypes.h:78</a></div></div>
+<div class="fragment"><div class="line"><a name="l00102"></a><span class="lineno">  102</span>&#160;    {</div><div class="line"><a name="l00103"></a><span class="lineno">  103</span>&#160;        <a class="code" href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">std::string</a> str;</div><div class="line"><a name="l00104"></a><span class="lineno">  104</span>&#160;        <a class="code" href="namespaceSVF.html#a726981481ac082dcda3e4921416b65a0">raw_string_ostream</a> rawstr(str);</div><div class="line"><a name="l00105"></a><span class="lineno">  105</span>&#160;        rawstr &lt;&lt; <span class="stringliteral">&quot;Node ID: &quot;</span> &lt;&lt; node-&gt;<a class="code" href="classSVF_1_1GenericNode.html#ac3e55ef37aefb411ea4c87b1aa3b1895">getId</a>() &lt;&lt; <span class="stringliteral">&quot; &quot;</span>;</div><div class="line"><a name="l00106"></a><span class="lineno">  106</span>&#160;        <span class="keywordflow">return</span> rawstr.str();</div><div class="line"><a name="l00107"></a><span class="lineno">  107</span>&#160;    }</div><div class="ttc" id="namespaceSVF_html_a726981481ac082dcda3e4921416b65a0"><div class="ttname"><a href="namespaceSVF.html#a726981481ac082dcda3e4921416b65a0">SVF::raw_string_ostream</a></div><div class="ttdeci">llvm::raw_string_ostream raw_string_ostream</div><div class="ttdoc">LLVM outputs. </div><div class="ttdef"><b>Definition:</b> <a href="Util_2BasicTypes_8h_source.html#l00057">BasicTypes.h:57</a></div></div>
 <div class="ttc" id="classSVF_1_1GenericNode_html_ac3e55ef37aefb411ea4c87b1aa3b1895"><div class="ttname"><a href="classSVF_1_1GenericNode.html#ac3e55ef37aefb411ea4c87b1aa3b1895">SVF::GenericNode::getId</a></div><div class="ttdeci">NodeID getId() const</div><div class="ttdoc">Get ID. </div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00169">GenericGraph.h:169</a></div></div>
 <div class="ttc" id="cJSON_8h_html_ad4c68ea99a26b0a98ad9a79982960458"><div class="ttname"><a href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">string</a></div><div class="ttdeci">const char *const string</div><div class="ttdef"><b>Definition:</b> <a href="cJSON_8h_source.html#l00172">cJSON.h:172</a></div></div>
 </div><!-- fragment -->

package/SVF-doxygen/html/html/structllvm_1_1DOTGraphTraits_3_01ConstraintGraph_01_5_01_4.html

@@ -357,7 +357,7 @@ template&lt;class EdgeIter &gt; </div>
 <p class="definition">Definition at line <a class="el" href="ConsG_8cpp_source.html#l00709">709</a> of file <a class="el" href="ConsG_8cpp_source.html">ConsG.cpp</a>.</p>
 <div class="fragment"><div class="line"><a name="l00710"></a><span class="lineno">  710</span>&#160;    {</div><div class="line"><a name="l00711"></a><span class="lineno">  711</span>&#160;        <a class="code" href="classSVF_1_1SVFVar.html">PAGNode</a>* node = SVFIR::getPAG()-&gt;getGNode(<a class="code" href="cJSON_8cpp.html#ab6e2ea6dc7bd57d1483413449998230a">n</a>-&gt;getId());</div><div class="line"><a name="l00712"></a><span class="lineno">  712</span>&#160;        <span class="keywordtype">bool</span> briefDisplay = Options::BriefConsCGDotGraph;</div><div class="line"><a name="l00713"></a><span class="lineno">  713</span>&#160;        <span class="keywordtype">bool</span> nameDisplay = <span class="keyword">true</span>;</div><div class="line"><a name="l00714"></a><span class="lineno">  714</span>&#160;        <a class="code" href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">std::string</a> str;</div><div class="line"><a name="l00715"></a><span class="lineno">  715</span>&#160;        <a class="code" href="namespaceSVF.html#a726981481ac082dcda3e4921416b65a0">raw_string_ostream</a> rawstr(str);</div><div class="line"><a name="l00716"></a><span class="lineno">  716</span>&#160;</div><div class="line"><a name="l00717"></a><span class="lineno">  717</span>&#160;        <span class="keywordflow">if</span> (briefDisplay)</div><div class="line"><a name="l00718"></a><span class="lineno">  718</span>&#160;        {</div><div class="line"><a name="l00719"></a><span class="lineno">  719</span>&#160;            <span class="keywordflow">if</span> (SVFUtil::isa&lt;ValVar&gt;(node))</div><div class="line"><a name="l00720"></a><span class="lineno">  720</span>&#160;            {</div><div class="line"><a name="l00721"></a><span class="lineno">  721</span>&#160;                <span class="keywordflow">if</span> (nameDisplay)</div><div class="line"><a name="l00722"></a><span class="lineno">  722</span>&#160;                    rawstr &lt;&lt; node-&gt;<a class="code" href="classSVF_1_1GenericNode.html#ac3e55ef37aefb411ea4c87b1aa3b1895">getId</a>() &lt;&lt; <span class="stringliteral">&quot;:&quot;</span> &lt;&lt; node-&gt;<a class="code" href="classSVF_1_1SVFVar.html#a54b2a5ed3ed21e54eaf04182f0338333">getValueName</a>();</div><div class="line"><a name="l00723"></a><span class="lineno">  723</span>&#160;                <span class="keywordflow">else</span></div><div class="line"><a name="l00724"></a><span class="lineno">  724</span>&#160;                    rawstr &lt;&lt; node-&gt;<a class="code" href="classSVF_1_1GenericNode.html#ac3e55ef37aefb411ea4c87b1aa3b1895">getId</a>();</div><div class="line"><a name="l00725"></a><span class="lineno">  725</span>&#160;            }</div><div class="line"><a name="l00726"></a><span class="lineno">  726</span>&#160;            <span class="keywordflow">else</span></div><div class="line"><a name="l00727"></a><span class="lineno">  727</span>&#160;                rawstr &lt;&lt; node-&gt;<a class="code" href="classSVF_1_1GenericNode.html#ac3e55ef37aefb411ea4c87b1aa3b1895">getId</a>();</div><div class="line"><a name="l00728"></a><span class="lineno">  728</span>&#160;        }</div><div class="line"><a name="l00729"></a><span class="lineno">  729</span>&#160;        <span class="keywordflow">else</span></div><div class="line"><a name="l00730"></a><span class="lineno">  730</span>&#160;        {</div><div class="line"><a name="l00731"></a><span class="lineno">  731</span>&#160;            <span class="comment">// print the whole value</span></div><div class="line"><a name="l00732"></a><span class="lineno">  732</span>&#160;            <span class="keywordflow">if</span> (!SVFUtil::isa&lt;DummyValVar&gt;(node) &amp;&amp; !SVFUtil::isa&lt;DummyObjVar&gt;(node))</div><div class="line"><a name="l00733"></a><span class="lineno">  733</span>&#160;                rawstr &lt;&lt; node-&gt;<a class="code" href="classSVF_1_1GenericNode.html#ac3e55ef37aefb411ea4c87b1aa3b1895">getId</a>() &lt;&lt; <span class="stringliteral">&quot;:&quot;</span> &lt;&lt; <a class="code" href="namespaceSVF_1_1SVFUtil.html#a7486fd8e5350879ed1cbd835c0d4e191">value2String</a>(node-&gt;<a class="code" href="classSVF_1_1SVFVar.html#afaa33caa8d2a306f6741d9d066243e40">getValue</a>());</div><div class="line"><a name="l00734"></a><span class="lineno">  734</span>&#160;            <span class="keywordflow">else</span></div><div class="line"><a name="l00735"></a><span class="lineno">  735</span>&#160;                rawstr &lt;&lt; node-&gt;<a class="code" href="classSVF_1_1GenericNode.html#ac3e55ef37aefb411ea4c87b1aa3b1895">getId</a>() &lt;&lt; <span class="stringliteral">&quot;:&quot;</span>;</div><div class="line"><a name="l00736"></a><span class="lineno">  736</span>&#160;</div><div class="line"><a name="l00737"></a><span class="lineno">  737</span>&#160;        }</div><div class="line"><a name="l00738"></a><span class="lineno">  738</span>&#160;</div><div class="line"><a name="l00739"></a><span class="lineno">  739</span>&#160;        <span class="keywordflow">return</span> rawstr.str();</div><div class="line"><a name="l00740"></a><span class="lineno">  740</span>&#160;    }</div><div class="ttc" id="classSVF_1_1SVFVar_html"><div class="ttname"><a href="classSVF_1_1SVFVar.html">SVF::SVFVar</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFVariables_8h_source.html#l00045">SVFVariables.h:45</a></div></div>
 <div class="ttc" id="cJSON_8cpp_html_ab6e2ea6dc7bd57d1483413449998230a"><div class="ttname"><a href="cJSON_8cpp.html#ab6e2ea6dc7bd57d1483413449998230a">n</a></div><div class="ttdeci">cJSON * n</div><div class="ttdef"><b>Definition:</b> <a href="cJSON_8cpp_source.html#l02558">cJSON.cpp:2558</a></div></div>
-<div class="ttc" id="namespaceSVF_html_a726981481ac082dcda3e4921416b65a0"><div class="ttname"><a href="namespaceSVF.html#a726981481ac082dcda3e4921416b65a0">SVF::raw_string_ostream</a></div><div class="ttdeci">llvm::raw_string_ostream raw_string_ostream</div><div class="ttdoc">LLVM outputs. </div><div class="ttdef"><b>Definition:</b> <a href="Util_2BasicTypes_8h_source.html#l00078">BasicTypes.h:78</a></div></div>
+<div class="ttc" id="namespaceSVF_html_a726981481ac082dcda3e4921416b65a0"><div class="ttname"><a href="namespaceSVF.html#a726981481ac082dcda3e4921416b65a0">SVF::raw_string_ostream</a></div><div class="ttdeci">llvm::raw_string_ostream raw_string_ostream</div><div class="ttdoc">LLVM outputs. </div><div class="ttdef"><b>Definition:</b> <a href="Util_2BasicTypes_8h_source.html#l00057">BasicTypes.h:57</a></div></div>
 <div class="ttc" id="namespaceSVF_1_1SVFUtil_html_a7486fd8e5350879ed1cbd835c0d4e191"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#a7486fd8e5350879ed1cbd835c0d4e191">SVF::SVFUtil::value2String</a></div><div class="ttdeci">const std::string value2String(const Value *value)</div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8cpp_source.html#l00390">SVFUtil.cpp:390</a></div></div>
 <div class="ttc" id="classSVF_1_1SVFVar_html_afaa33caa8d2a306f6741d9d066243e40"><div class="ttname"><a href="classSVF_1_1SVFVar.html#afaa33caa8d2a306f6741d9d066243e40">SVF::SVFVar::getValue</a></div><div class="ttdeci">const Value * getValue() const</div><div class="ttdoc">Get/has methods of the components. </div><div class="ttdef"><b>Definition:</b> <a href="SVFVariables_8h_source.html#l00091">SVFVariables.h:91</a></div></div>
 <div class="ttc" id="classSVF_1_1SVFVar_html_a54b2a5ed3ed21e54eaf04182f0338333"><div class="ttname"><a href="classSVF_1_1SVFVar.html#a54b2a5ed3ed21e54eaf04182f0338333">SVF::SVFVar::getValueName</a></div><div class="ttdeci">virtual const std::string getValueName() const =0</div><div class="ttdoc">Get name of the LLVM value. </div></div>

package/SVF-doxygen/html/html/structllvm_1_1DOTGraphTraits_3_01ICFG_01_5_01_4.html

@@ -248,7 +248,7 @@ template&lt;class EdgeIter &gt; </div>
 <p class="definition">Definition at line <a class="el" href="ICFG_8cpp_source.html#l00597">597</a> of file <a class="el" href="ICFG_8cpp_source.html">ICFG.cpp</a>.</p>
 <div class="fragment"><div class="line"><a name="l00598"></a><span class="lineno">  598</span>&#160;    {</div><div class="line"><a name="l00599"></a><span class="lineno">  599</span>&#160;        <a class="code" href="classSVF_1_1ICFGEdge.html">ICFGEdge</a>* edge = *(EI.getCurrent());</div><div class="line"><a name="l00600"></a><span class="lineno">  600</span>&#160;        assert(edge &amp;&amp; <span class="stringliteral">&quot;No edge found!!&quot;</span>);</div><div class="line"><a name="l00601"></a><span class="lineno">  601</span>&#160;</div><div class="line"><a name="l00602"></a><span class="lineno">  602</span>&#160;        <a class="code" href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">std::string</a> str;</div><div class="line"><a name="l00603"></a><span class="lineno">  603</span>&#160;        <a class="code" href="namespaceSVF.html#a726981481ac082dcda3e4921416b65a0">raw_string_ostream</a> rawstr(str);</div><div class="line"><a name="l00604"></a><span class="lineno">  604</span>&#160;        <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1CallCFGEdge.html">CallCFGEdge</a>* dirCall = SVFUtil::dyn_cast&lt;CallCFGEdge&gt;(edge))</div><div class="line"><a name="l00605"></a><span class="lineno">  605</span>&#160;            rawstr &lt;&lt; dirCall-&gt;getCallSite();</div><div class="line"><a name="l00606"></a><span class="lineno">  606</span>&#160;        <span class="keywordflow">else</span> <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1RetCFGEdge.html">RetCFGEdge</a>* dirRet = SVFUtil::dyn_cast&lt;RetCFGEdge&gt;(edge))</div><div class="line"><a name="l00607"></a><span class="lineno">  607</span>&#160;            rawstr &lt;&lt; dirRet-&gt;getCallSite();</div><div class="line"><a name="l00608"></a><span class="lineno">  608</span>&#160;</div><div class="line"><a name="l00609"></a><span class="lineno">  609</span>&#160;        <span class="keywordflow">return</span> rawstr.str();</div><div class="line"><a name="l00610"></a><span class="lineno">  610</span>&#160;    }</div><div class="ttc" id="classSVF_1_1ICFGEdge_html"><div class="ttname"><a href="classSVF_1_1ICFGEdge.html">SVF::ICFGEdge</a></div><div class="ttdef"><b>Definition:</b> <a href="ICFGEdge_8h_source.html#l00044">ICFGEdge.h:44</a></div></div>
 <div class="ttc" id="classSVF_1_1CallCFGEdge_html"><div class="ttname"><a href="classSVF_1_1CallCFGEdge.html">SVF::CallCFGEdge</a></div><div class="ttdef"><b>Definition:</b> <a href="ICFGEdge_8h_source.html#l00168">ICFGEdge.h:168</a></div></div>
-<div class="ttc" id="namespaceSVF_html_a726981481ac082dcda3e4921416b65a0"><div class="ttname"><a href="namespaceSVF.html#a726981481ac082dcda3e4921416b65a0">SVF::raw_string_ostream</a></div><div class="ttdeci">llvm::raw_string_ostream raw_string_ostream</div><div class="ttdoc">LLVM outputs. </div><div class="ttdef"><b>Definition:</b> <a href="Util_2BasicTypes_8h_source.html#l00078">BasicTypes.h:78</a></div></div>
+<div class="ttc" id="namespaceSVF_html_a726981481ac082dcda3e4921416b65a0"><div class="ttname"><a href="namespaceSVF.html#a726981481ac082dcda3e4921416b65a0">SVF::raw_string_ostream</a></div><div class="ttdeci">llvm::raw_string_ostream raw_string_ostream</div><div class="ttdoc">LLVM outputs. </div><div class="ttdef"><b>Definition:</b> <a href="Util_2BasicTypes_8h_source.html#l00057">BasicTypes.h:57</a></div></div>
 <div class="ttc" id="cJSON_8h_html_ad4c68ea99a26b0a98ad9a79982960458"><div class="ttname"><a href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">string</a></div><div class="ttdeci">const char *const string</div><div class="ttdef"><b>Definition:</b> <a href="cJSON_8h_source.html#l00172">cJSON.h:172</a></div></div>
 <div class="ttc" id="classSVF_1_1RetCFGEdge_html"><div class="ttname"><a href="classSVF_1_1RetCFGEdge.html">SVF::RetCFGEdge</a></div><div class="ttdef"><b>Definition:</b> <a href="ICFGEdge_8h_source.html#l00216">ICFGEdge.h:216</a></div></div>
 </div><!-- fragment -->
@@ -319,7 +319,7 @@ template&lt;class EdgeIter &gt; </div>
 </div><div class="memdoc">
 
 <p class="definition">Definition at line <a class="el" href="ICFG_8cpp_source.html#l00545">545</a> of file <a class="el" href="ICFG_8cpp_source.html">ICFG.cpp</a>.</p>
-<div class="fragment"><div class="line"><a name="l00546"></a><span class="lineno">  546</span>&#160;    {</div><div class="line"><a name="l00547"></a><span class="lineno">  547</span>&#160;        <a class="code" href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">std::string</a> str;</div><div class="line"><a name="l00548"></a><span class="lineno">  548</span>&#160;        <a class="code" href="namespaceSVF.html#a726981481ac082dcda3e4921416b65a0">raw_string_ostream</a> rawstr(str);</div><div class="line"><a name="l00549"></a><span class="lineno">  549</span>&#160;</div><div class="line"><a name="l00550"></a><span class="lineno">  550</span>&#160;        <span class="keywordflow">if</span>(SVFUtil::isa&lt;IntraICFGNode&gt;(node))</div><div class="line"><a name="l00551"></a><span class="lineno">  551</span>&#160;        {</div><div class="line"><a name="l00552"></a><span class="lineno">  552</span>&#160;            rawstr &lt;&lt;  <span class="stringliteral">&quot;color=black&quot;</span>;</div><div class="line"><a name="l00553"></a><span class="lineno">  553</span>&#160;        }</div><div class="line"><a name="l00554"></a><span class="lineno">  554</span>&#160;        <span class="keywordflow">else</span> <span class="keywordflow">if</span>(SVFUtil::isa&lt;FunEntryICFGNode&gt;(node))</div><div class="line"><a name="l00555"></a><span class="lineno">  555</span>&#160;        {</div><div class="line"><a name="l00556"></a><span class="lineno">  556</span>&#160;            rawstr &lt;&lt;  <span class="stringliteral">&quot;color=yellow&quot;</span>;</div><div class="line"><a name="l00557"></a><span class="lineno">  557</span>&#160;        }</div><div class="line"><a name="l00558"></a><span class="lineno">  558</span>&#160;        <span class="keywordflow">else</span> <span class="keywordflow">if</span>(SVFUtil::isa&lt;FunExitICFGNode&gt;(node))</div><div class="line"><a name="l00559"></a><span class="lineno">  559</span>&#160;        {</div><div class="line"><a name="l00560"></a><span class="lineno">  560</span>&#160;            rawstr &lt;&lt;  <span class="stringliteral">&quot;color=green&quot;</span>;</div><div class="line"><a name="l00561"></a><span class="lineno">  561</span>&#160;        }</div><div class="line"><a name="l00562"></a><span class="lineno">  562</span>&#160;        <span class="keywordflow">else</span> <span class="keywordflow">if</span>(SVFUtil::isa&lt;CallICFGNode&gt;(node))</div><div class="line"><a name="l00563"></a><span class="lineno">  563</span>&#160;        {</div><div class="line"><a name="l00564"></a><span class="lineno">  564</span>&#160;            rawstr &lt;&lt;  <span class="stringliteral">&quot;color=red&quot;</span>;</div><div class="line"><a name="l00565"></a><span class="lineno">  565</span>&#160;        }</div><div class="line"><a name="l00566"></a><span class="lineno">  566</span>&#160;        <span class="keywordflow">else</span> <span class="keywordflow">if</span>(SVFUtil::isa&lt;RetICFGNode&gt;(node))</div><div class="line"><a name="l00567"></a><span class="lineno">  567</span>&#160;        {</div><div class="line"><a name="l00568"></a><span class="lineno">  568</span>&#160;            rawstr &lt;&lt;  <span class="stringliteral">&quot;color=blue&quot;</span>;</div><div class="line"><a name="l00569"></a><span class="lineno">  569</span>&#160;        }</div><div class="line"><a name="l00570"></a><span class="lineno">  570</span>&#160;        <span class="keywordflow">else</span> <span class="keywordflow">if</span>(SVFUtil::isa&lt;GlobalICFGNode&gt;(node))</div><div class="line"><a name="l00571"></a><span class="lineno">  571</span>&#160;        {</div><div class="line"><a name="l00572"></a><span class="lineno">  572</span>&#160;            rawstr &lt;&lt;  <span class="stringliteral">&quot;color=purple&quot;</span>;</div><div class="line"><a name="l00573"></a><span class="lineno">  573</span>&#160;        }</div><div class="line"><a name="l00574"></a><span class="lineno">  574</span>&#160;        <span class="keywordflow">else</span></div><div class="line"><a name="l00575"></a><span class="lineno">  575</span>&#160;            assert(<span class="keyword">false</span> &amp;&amp; <span class="stringliteral">&quot;no such kind of node!!&quot;</span>);</div><div class="line"><a name="l00576"></a><span class="lineno">  576</span>&#160;</div><div class="line"><a name="l00577"></a><span class="lineno">  577</span>&#160;        rawstr &lt;&lt;  <span class="stringliteral">&quot;&quot;</span>;</div><div class="line"><a name="l00578"></a><span class="lineno">  578</span>&#160;</div><div class="line"><a name="l00579"></a><span class="lineno">  579</span>&#160;        <span class="keywordflow">return</span> rawstr.str();</div><div class="line"><a name="l00580"></a><span class="lineno">  580</span>&#160;    }</div><div class="ttc" id="namespaceSVF_html_a726981481ac082dcda3e4921416b65a0"><div class="ttname"><a href="namespaceSVF.html#a726981481ac082dcda3e4921416b65a0">SVF::raw_string_ostream</a></div><div class="ttdeci">llvm::raw_string_ostream raw_string_ostream</div><div class="ttdoc">LLVM outputs. </div><div class="ttdef"><b>Definition:</b> <a href="Util_2BasicTypes_8h_source.html#l00078">BasicTypes.h:78</a></div></div>
+<div class="fragment"><div class="line"><a name="l00546"></a><span class="lineno">  546</span>&#160;    {</div><div class="line"><a name="l00547"></a><span class="lineno">  547</span>&#160;        <a class="code" href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">std::string</a> str;</div><div class="line"><a name="l00548"></a><span class="lineno">  548</span>&#160;        <a class="code" href="namespaceSVF.html#a726981481ac082dcda3e4921416b65a0">raw_string_ostream</a> rawstr(str);</div><div class="line"><a name="l00549"></a><span class="lineno">  549</span>&#160;</div><div class="line"><a name="l00550"></a><span class="lineno">  550</span>&#160;        <span class="keywordflow">if</span>(SVFUtil::isa&lt;IntraICFGNode&gt;(node))</div><div class="line"><a name="l00551"></a><span class="lineno">  551</span>&#160;        {</div><div class="line"><a name="l00552"></a><span class="lineno">  552</span>&#160;            rawstr &lt;&lt;  <span class="stringliteral">&quot;color=black&quot;</span>;</div><div class="line"><a name="l00553"></a><span class="lineno">  553</span>&#160;        }</div><div class="line"><a name="l00554"></a><span class="lineno">  554</span>&#160;        <span class="keywordflow">else</span> <span class="keywordflow">if</span>(SVFUtil::isa&lt;FunEntryICFGNode&gt;(node))</div><div class="line"><a name="l00555"></a><span class="lineno">  555</span>&#160;        {</div><div class="line"><a name="l00556"></a><span class="lineno">  556</span>&#160;            rawstr &lt;&lt;  <span class="stringliteral">&quot;color=yellow&quot;</span>;</div><div class="line"><a name="l00557"></a><span class="lineno">  557</span>&#160;        }</div><div class="line"><a name="l00558"></a><span class="lineno">  558</span>&#160;        <span class="keywordflow">else</span> <span class="keywordflow">if</span>(SVFUtil::isa&lt;FunExitICFGNode&gt;(node))</div><div class="line"><a name="l00559"></a><span class="lineno">  559</span>&#160;        {</div><div class="line"><a name="l00560"></a><span class="lineno">  560</span>&#160;            rawstr &lt;&lt;  <span class="stringliteral">&quot;color=green&quot;</span>;</div><div class="line"><a name="l00561"></a><span class="lineno">  561</span>&#160;        }</div><div class="line"><a name="l00562"></a><span class="lineno">  562</span>&#160;        <span class="keywordflow">else</span> <span class="keywordflow">if</span>(SVFUtil::isa&lt;CallICFGNode&gt;(node))</div><div class="line"><a name="l00563"></a><span class="lineno">  563</span>&#160;        {</div><div class="line"><a name="l00564"></a><span class="lineno">  564</span>&#160;            rawstr &lt;&lt;  <span class="stringliteral">&quot;color=red&quot;</span>;</div><div class="line"><a name="l00565"></a><span class="lineno">  565</span>&#160;        }</div><div class="line"><a name="l00566"></a><span class="lineno">  566</span>&#160;        <span class="keywordflow">else</span> <span class="keywordflow">if</span>(SVFUtil::isa&lt;RetICFGNode&gt;(node))</div><div class="line"><a name="l00567"></a><span class="lineno">  567</span>&#160;        {</div><div class="line"><a name="l00568"></a><span class="lineno">  568</span>&#160;            rawstr &lt;&lt;  <span class="stringliteral">&quot;color=blue&quot;</span>;</div><div class="line"><a name="l00569"></a><span class="lineno">  569</span>&#160;        }</div><div class="line"><a name="l00570"></a><span class="lineno">  570</span>&#160;        <span class="keywordflow">else</span> <span class="keywordflow">if</span>(SVFUtil::isa&lt;GlobalICFGNode&gt;(node))</div><div class="line"><a name="l00571"></a><span class="lineno">  571</span>&#160;        {</div><div class="line"><a name="l00572"></a><span class="lineno">  572</span>&#160;            rawstr &lt;&lt;  <span class="stringliteral">&quot;color=purple&quot;</span>;</div><div class="line"><a name="l00573"></a><span class="lineno">  573</span>&#160;        }</div><div class="line"><a name="l00574"></a><span class="lineno">  574</span>&#160;        <span class="keywordflow">else</span></div><div class="line"><a name="l00575"></a><span class="lineno">  575</span>&#160;            assert(<span class="keyword">false</span> &amp;&amp; <span class="stringliteral">&quot;no such kind of node!!&quot;</span>);</div><div class="line"><a name="l00576"></a><span class="lineno">  576</span>&#160;</div><div class="line"><a name="l00577"></a><span class="lineno">  577</span>&#160;        rawstr &lt;&lt;  <span class="stringliteral">&quot;&quot;</span>;</div><div class="line"><a name="l00578"></a><span class="lineno">  578</span>&#160;</div><div class="line"><a name="l00579"></a><span class="lineno">  579</span>&#160;        <span class="keywordflow">return</span> rawstr.str();</div><div class="line"><a name="l00580"></a><span class="lineno">  580</span>&#160;    }</div><div class="ttc" id="namespaceSVF_html_a726981481ac082dcda3e4921416b65a0"><div class="ttname"><a href="namespaceSVF.html#a726981481ac082dcda3e4921416b65a0">SVF::raw_string_ostream</a></div><div class="ttdeci">llvm::raw_string_ostream raw_string_ostream</div><div class="ttdoc">LLVM outputs. </div><div class="ttdef"><b>Definition:</b> <a href="Util_2BasicTypes_8h_source.html#l00057">BasicTypes.h:57</a></div></div>
 <div class="ttc" id="cJSON_8h_html_ad4c68ea99a26b0a98ad9a79982960458"><div class="ttname"><a href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">string</a></div><div class="ttdeci">const char *const string</div><div class="ttdef"><b>Definition:</b> <a href="cJSON_8h_source.html#l00172">cJSON.h:172</a></div></div>
 </div><!-- fragment -->
 </div>