svf-tools 1.0.310 → 1.0.314

package/SVF-doxygen/html/html/structllvm_1_1DOTGraphTraits_3_01CHGraph_01_5_01_4.html

@@ -110,7 +110,7 @@ struct llvm::DOTGraphTraits&lt; CHGraph * &gt;</h3>
 
 <p>Write value flow graph into dot file for debugging </p>
 
-<p class="definition">Definition at line <a class="el" href="CHG_8cpp_source.html#l00905">905</a> of file <a class="el" href="CHG_8cpp_source.html">CHG.cpp</a>.</p>
+<p class="definition">Definition at line <a class="el" href="CHG_8cpp_source.html#l00899">899</a> of file <a class="el" href="CHG_8cpp_source.html">CHG.cpp</a>.</p>
 </div><h2 class="groupheader">Member Typedef Documentation</h2>
 <a id="a73928161c8b1427e8150ca68ec48160e"></a>
 <h2 class="memtitle"><span class="permalink"><a href="#a73928161c8b1427e8150ca68ec48160e">&#9670;&nbsp;</a></span>NodeType</h2>
@@ -124,7 +124,7 @@ struct llvm::DOTGraphTraits&lt; CHGraph * &gt;</h3>
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="CHG_8cpp_source.html#l00908">908</a> of file <a class="el" href="CHG_8cpp_source.html">CHG.cpp</a>.</p>
+<p class="definition">Definition at line <a class="el" href="CHG_8cpp_source.html#l00902">902</a> of file <a class="el" href="CHG_8cpp_source.html">CHG.cpp</a>.</p>
 
 </div>
 </div>
@@ -153,8 +153,8 @@ struct llvm::DOTGraphTraits&lt; CHGraph * &gt;</h3>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="CHG_8cpp_source.html#l00909">909</a> of file <a class="el" href="CHG_8cpp_source.html">CHG.cpp</a>.</p>
-<div class="fragment"><div class="line"><a name="l00909"></a><span class="lineno">  909</span>&#160;                                          :</div><div class="line"><a name="l00910"></a><span class="lineno">  910</span>&#160;        DefaultDOTGraphTraits(isSimple)</div><div class="line"><a name="l00911"></a><span class="lineno">  911</span>&#160;    {</div><div class="line"><a name="l00912"></a><span class="lineno">  912</span>&#160;    }</div></div><!-- fragment -->
+<p class="definition">Definition at line <a class="el" href="CHG_8cpp_source.html#l00903">903</a> of file <a class="el" href="CHG_8cpp_source.html">CHG.cpp</a>.</p>
+<div class="fragment"><div class="line"><a name="l00903"></a><span class="lineno">  903</span>&#160;                                          :</div><div class="line"><a name="l00904"></a><span class="lineno">  904</span>&#160;        DefaultDOTGraphTraits(isSimple)</div><div class="line"><a name="l00905"></a><span class="lineno">  905</span>&#160;    {</div><div class="line"><a name="l00906"></a><span class="lineno">  906</span>&#160;    }</div></div><!-- fragment -->
 </div>
 </div>
 <h2 class="groupheader">Member Function Documentation</h2>
@@ -200,8 +200,8 @@ template&lt;class EdgeIter &gt; </div>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="CHG_8cpp_source.html#l00936">936</a> of file <a class="el" href="CHG_8cpp_source.html">CHG.cpp</a>.</p>
-<div class="fragment"><div class="line"><a name="l00937"></a><span class="lineno">  937</span>&#160;    {</div><div class="line"><a name="l00938"></a><span class="lineno">  938</span>&#160;</div><div class="line"><a name="l00939"></a><span class="lineno">  939</span>&#160;        <a class="code" href="classSVF_1_1CHEdge.html">CHEdge</a>* edge = *(EI.getCurrent());</div><div class="line"><a name="l00940"></a><span class="lineno">  940</span>&#160;        <a class="code" href="util_8h.html#a07d17d6d5d1074c0969bc5d3c3d1d84a">assert</a>(edge &amp;&amp; <span class="stringliteral">&quot;No edge found!!&quot;</span>);</div><div class="line"><a name="l00941"></a><span class="lineno">  941</span>&#160;        <span class="keywordflow">if</span> (edge-&gt;<a class="code" href="classSVF_1_1CHEdge.html#ae2b90913c6c5a30df2b285d31c694525">getEdgeType</a>() == CHEdge::INHERITANCE)</div><div class="line"><a name="l00942"></a><span class="lineno">  942</span>&#160;        {</div><div class="line"><a name="l00943"></a><span class="lineno">  943</span>&#160;            <span class="keywordflow">return</span> <span class="stringliteral">&quot;style=solid&quot;</span>;</div><div class="line"><a name="l00944"></a><span class="lineno">  944</span>&#160;        }</div><div class="line"><a name="l00945"></a><span class="lineno">  945</span>&#160;        <span class="keywordflow">else</span></div><div class="line"><a name="l00946"></a><span class="lineno">  946</span>&#160;        {</div><div class="line"><a name="l00947"></a><span class="lineno">  947</span>&#160;            <span class="keywordflow">return</span> <span class="stringliteral">&quot;style=dashed&quot;</span>;</div><div class="line"><a name="l00948"></a><span class="lineno">  948</span>&#160;        }</div><div class="line"><a name="l00949"></a><span class="lineno">  949</span>&#160;    }</div><div class="ttc" id="classSVF_1_1CHEdge_html_ae2b90913c6c5a30df2b285d31c694525"><div class="ttname"><a href="classSVF_1_1CHEdge.html#ae2b90913c6c5a30df2b285d31c694525">SVF::CHEdge::getEdgeType</a></div><div class="ttdeci">CHEDGETYPE getEdgeType() const</div><div class="ttdef"><b>Definition:</b> <a href="CHG_8h_source.html#l00062">CHG.h:62</a></div></div>
+<p class="definition">Definition at line <a class="el" href="CHG_8cpp_source.html#l00930">930</a> of file <a class="el" href="CHG_8cpp_source.html">CHG.cpp</a>.</p>
+<div class="fragment"><div class="line"><a name="l00931"></a><span class="lineno">  931</span>&#160;    {</div><div class="line"><a name="l00932"></a><span class="lineno">  932</span>&#160;</div><div class="line"><a name="l00933"></a><span class="lineno">  933</span>&#160;        <a class="code" href="classSVF_1_1CHEdge.html">CHEdge</a>* edge = *(EI.getCurrent());</div><div class="line"><a name="l00934"></a><span class="lineno">  934</span>&#160;        <a class="code" href="util_8h.html#a07d17d6d5d1074c0969bc5d3c3d1d84a">assert</a>(edge &amp;&amp; <span class="stringliteral">&quot;No edge found!!&quot;</span>);</div><div class="line"><a name="l00935"></a><span class="lineno">  935</span>&#160;        <span class="keywordflow">if</span> (edge-&gt;<a class="code" href="classSVF_1_1CHEdge.html#ae2b90913c6c5a30df2b285d31c694525">getEdgeType</a>() == CHEdge::INHERITANCE)</div><div class="line"><a name="l00936"></a><span class="lineno">  936</span>&#160;        {</div><div class="line"><a name="l00937"></a><span class="lineno">  937</span>&#160;            <span class="keywordflow">return</span> <span class="stringliteral">&quot;style=solid&quot;</span>;</div><div class="line"><a name="l00938"></a><span class="lineno">  938</span>&#160;        }</div><div class="line"><a name="l00939"></a><span class="lineno">  939</span>&#160;        <span class="keywordflow">else</span></div><div class="line"><a name="l00940"></a><span class="lineno">  940</span>&#160;        {</div><div class="line"><a name="l00941"></a><span class="lineno">  941</span>&#160;            <span class="keywordflow">return</span> <span class="stringliteral">&quot;style=dashed&quot;</span>;</div><div class="line"><a name="l00942"></a><span class="lineno">  942</span>&#160;        }</div><div class="line"><a name="l00943"></a><span class="lineno">  943</span>&#160;    }</div><div class="ttc" id="classSVF_1_1CHEdge_html_ae2b90913c6c5a30df2b285d31c694525"><div class="ttname"><a href="classSVF_1_1CHEdge.html#ae2b90913c6c5a30df2b285d31c694525">SVF::CHEdge::getEdgeType</a></div><div class="ttdeci">CHEDGETYPE getEdgeType() const</div><div class="ttdef"><b>Definition:</b> <a href="CHG_8h_source.html#l00062">CHG.h:62</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="classSVF_1_1CHEdge_html"><div class="ttname"><a href="classSVF_1_1CHEdge.html">SVF::CHEdge</a></div><div class="ttdef"><b>Definition:</b> <a href="CHG_8h_source.html#l00045">CHG.h:45</a></div></div>
 </div><!-- fragment -->
@@ -233,8 +233,8 @@ template&lt;class EdgeIter &gt; </div>
 
 <p>Return name of the graph. </p>
 
-<p class="definition">Definition at line <a class="el" href="CHG_8cpp_source.html#l00915">915</a> of file <a class="el" href="CHG_8cpp_source.html">CHG.cpp</a>.</p>
-<div class="fragment"><div class="line"><a name="l00916"></a><span class="lineno">  916</span>&#160;    {</div><div class="line"><a name="l00917"></a><span class="lineno">  917</span>&#160;        <span class="keywordflow">return</span> <span class="stringliteral">&quot;Class Hierarchy Graph&quot;</span>;</div><div class="line"><a name="l00918"></a><span class="lineno">  918</span>&#160;    }</div></div><!-- fragment -->
+<p class="definition">Definition at line <a class="el" href="CHG_8cpp_source.html#l00909">909</a> of file <a class="el" href="CHG_8cpp_source.html">CHG.cpp</a>.</p>
+<div class="fragment"><div class="line"><a name="l00910"></a><span class="lineno">  910</span>&#160;    {</div><div class="line"><a name="l00911"></a><span class="lineno">  911</span>&#160;        <span class="keywordflow">return</span> <span class="stringliteral">&quot;Class Hierarchy Graph&quot;</span>;</div><div class="line"><a name="l00912"></a><span class="lineno">  912</span>&#160;    }</div></div><!-- fragment -->
 </div>
 </div>
 <a id="afcfdde52d1ed3ecbd849cbf4a16fb880"></a>
@@ -271,8 +271,8 @@ template&lt;class EdgeIter &gt; </div>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="CHG_8cpp_source.html#l00925">925</a> of file <a class="el" href="CHG_8cpp_source.html">CHG.cpp</a>.</p>
-<div class="fragment"><div class="line"><a name="l00926"></a><span class="lineno">  926</span>&#160;    {</div><div class="line"><a name="l00927"></a><span class="lineno">  927</span>&#160;        <span class="keywordflow">if</span> (node-&gt;<a class="code" href="classSVF_1_1CHNode.html#a268ccdfb486cc2efa8581ee7a3b5af39">isPureAbstract</a>())</div><div class="line"><a name="l00928"></a><span class="lineno">  928</span>&#160;        {</div><div class="line"><a name="l00929"></a><span class="lineno">  929</span>&#160;            <span class="keywordflow">return</span> <span class="stringliteral">&quot;shape=tab&quot;</span>;</div><div class="line"><a name="l00930"></a><span class="lineno">  930</span>&#160;        }</div><div class="line"><a name="l00931"></a><span class="lineno">  931</span>&#160;        <span class="keywordflow">else</span></div><div class="line"><a name="l00932"></a><span class="lineno">  932</span>&#160;            <span class="keywordflow">return</span> <span class="stringliteral">&quot;shape=box&quot;</span>;</div><div class="line"><a name="l00933"></a><span class="lineno">  933</span>&#160;    }</div><div class="ttc" id="classSVF_1_1CHNode_html_a268ccdfb486cc2efa8581ee7a3b5af39"><div class="ttname"><a href="classSVF_1_1CHNode.html#a268ccdfb486cc2efa8581ee7a3b5af39">SVF::CHNode::isPureAbstract</a></div><div class="ttdeci">bool isPureAbstract() const</div><div class="ttdef"><b>Definition:</b> <a href="CHG_8h_source.html#l00121">CHG.h:121</a></div></div>
+<p class="definition">Definition at line <a class="el" href="CHG_8cpp_source.html#l00919">919</a> of file <a class="el" href="CHG_8cpp_source.html">CHG.cpp</a>.</p>
+<div class="fragment"><div class="line"><a name="l00920"></a><span class="lineno">  920</span>&#160;    {</div><div class="line"><a name="l00921"></a><span class="lineno">  921</span>&#160;        <span class="keywordflow">if</span> (node-&gt;<a class="code" href="classSVF_1_1CHNode.html#a268ccdfb486cc2efa8581ee7a3b5af39">isPureAbstract</a>())</div><div class="line"><a name="l00922"></a><span class="lineno">  922</span>&#160;        {</div><div class="line"><a name="l00923"></a><span class="lineno">  923</span>&#160;            <span class="keywordflow">return</span> <span class="stringliteral">&quot;shape=tab&quot;</span>;</div><div class="line"><a name="l00924"></a><span class="lineno">  924</span>&#160;        }</div><div class="line"><a name="l00925"></a><span class="lineno">  925</span>&#160;        <span class="keywordflow">else</span></div><div class="line"><a name="l00926"></a><span class="lineno">  926</span>&#160;            <span class="keywordflow">return</span> <span class="stringliteral">&quot;shape=box&quot;</span>;</div><div class="line"><a name="l00927"></a><span class="lineno">  927</span>&#160;    }</div><div class="ttc" id="classSVF_1_1CHNode_html_a268ccdfb486cc2efa8581ee7a3b5af39"><div class="ttname"><a href="classSVF_1_1CHNode.html#a268ccdfb486cc2efa8581ee7a3b5af39">SVF::CHNode::isPureAbstract</a></div><div class="ttdeci">bool isPureAbstract() const</div><div class="ttdef"><b>Definition:</b> <a href="CHG_8h_source.html#l00121">CHG.h:121</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -312,8 +312,8 @@ template&lt;class EdgeIter &gt; </div>
 
 <p>Return function name;. </p>
 
-<p class="definition">Definition at line <a class="el" href="CHG_8cpp_source.html#l00920">920</a> of file <a class="el" href="CHG_8cpp_source.html">CHG.cpp</a>.</p>
-<div class="fragment"><div class="line"><a name="l00921"></a><span class="lineno">  921</span>&#160;    {</div><div class="line"><a name="l00922"></a><span class="lineno">  922</span>&#160;        <span class="keywordflow">return</span> node-&gt;<a class="code" href="classSVF_1_1CHNode.html#af6e71c1a932464b1b615fc177f5af089">getName</a>();</div><div class="line"><a name="l00923"></a><span class="lineno">  923</span>&#160;    }</div><div class="ttc" id="classSVF_1_1CHNode_html_af6e71c1a932464b1b615fc177f5af089"><div class="ttname"><a href="classSVF_1_1CHNode.html#af6e71c1a932464b1b615fc177f5af089">SVF::CHNode::getName</a></div><div class="ttdeci">std::string getName() const</div><div class="ttdef"><b>Definition:</b> <a href="CHG_8h_source.html#l00091">CHG.h:91</a></div></div>
+<p class="definition">Definition at line <a class="el" href="CHG_8cpp_source.html#l00914">914</a> of file <a class="el" href="CHG_8cpp_source.html">CHG.cpp</a>.</p>
+<div class="fragment"><div class="line"><a name="l00915"></a><span class="lineno">  915</span>&#160;    {</div><div class="line"><a name="l00916"></a><span class="lineno">  916</span>&#160;        <span class="keywordflow">return</span> node-&gt;<a class="code" href="classSVF_1_1CHNode.html#af6e71c1a932464b1b615fc177f5af089">getName</a>();</div><div class="line"><a name="l00917"></a><span class="lineno">  917</span>&#160;    }</div><div class="ttc" id="classSVF_1_1CHNode_html_af6e71c1a932464b1b615fc177f5af089"><div class="ttname"><a href="classSVF_1_1CHNode.html#af6e71c1a932464b1b615fc177f5af089">SVF::CHNode::getName</a></div><div class="ttdeci">std::string getName() const</div><div class="ttdef"><b>Definition:</b> <a href="CHG_8h_source.html#l00091">CHG.h:91</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>

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

@@ -361,7 +361,7 @@ template&lt;class EdgeIter &gt; </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="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00100">BasicTypes.h:100</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#l00388">SVFUtil.cpp:388</a></div></div>
 <div class="ttc" id="classSVF_1_1PAGNode_html"><div class="ttname"><a href="classSVF_1_1PAGNode.html">SVF::PAGNode</a></div><div class="ttdef"><b>Definition:</b> <a href="PAGNode_8h_source.html#l00046">PAGNode.h:46</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#l00164">GenericGraph.h:164</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#l00165">GenericGraph.h:165</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>

package/SVF-doxygen/html/html/structllvm_1_1DOTGraphTraits_3_01OfflineConsG_01_5_01_4.html

@@ -358,7 +358,7 @@ template&lt;class EdgeIter &gt; </div>
 <div class="ttc" id="classSVF_1_1PAGNode_html_a32174f36da4ceeecd0f094b2f8321598"><div class="ttname"><a href="classSVF_1_1PAGNode.html#a32174f36da4ceeecd0f094b2f8321598">SVF::PAGNode::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>
 <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="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00100">BasicTypes.h:100</a></div></div>
 <div class="ttc" id="classSVF_1_1PAGNode_html"><div class="ttname"><a href="classSVF_1_1PAGNode.html">SVF::PAGNode</a></div><div class="ttdef"><b>Definition:</b> <a href="PAGNode_8h_source.html#l00046">PAGNode.h:46</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#l00164">GenericGraph.h:164</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#l00165">GenericGraph.h:165</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>

package/SVF-doxygen/html/html/structllvm_1_1DOTGraphTraits_3_01PAG_01_5_01_4.html

@@ -116,7 +116,7 @@ struct llvm::DOTGraphTraits&lt; PAG * &gt;</h3>
 
 <p>Write value flow graph into dot file for debugging </p>
 
-<p class="definition">Definition at line <a class="el" href="PAG_8cpp_source.html#l01110">1110</a> of file <a class="el" href="PAG_8cpp_source.html">PAG.cpp</a>.</p>
+<p class="definition">Definition at line <a class="el" href="PAG_8cpp_source.html#l01103">1103</a> of file <a class="el" href="PAG_8cpp_source.html">PAG.cpp</a>.</p>
 </div><h2 class="groupheader">Member Typedef Documentation</h2>
 <a id="a3101c843232b1f228a9af0e464c2049b"></a>
 <h2 class="memtitle"><span class="permalink"><a href="#a3101c843232b1f228a9af0e464c2049b">&#9670;&nbsp;</a></span>ChildIteratorType</h2>
@@ -130,7 +130,7 @@ struct llvm::DOTGraphTraits&lt; PAG * &gt;</h3>
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="PAG_8cpp_source.html#l01114">1114</a> of file <a class="el" href="PAG_8cpp_source.html">PAG.cpp</a>.</p>
+<p class="definition">Definition at line <a class="el" href="PAG_8cpp_source.html#l01107">1107</a> of file <a class="el" href="PAG_8cpp_source.html">PAG.cpp</a>.</p>
 
 </div>
 </div>
@@ -146,7 +146,7 @@ struct llvm::DOTGraphTraits&lt; PAG * &gt;</h3>
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="PAG_8cpp_source.html#l01113">1113</a> of file <a class="el" href="PAG_8cpp_source.html">PAG.cpp</a>.</p>
+<p class="definition">Definition at line <a class="el" href="PAG_8cpp_source.html#l01106">1106</a> of file <a class="el" href="PAG_8cpp_source.html">PAG.cpp</a>.</p>
 
 </div>
 </div>
@@ -175,8 +175,8 @@ struct llvm::DOTGraphTraits&lt; PAG * &gt;</h3>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="PAG_8cpp_source.html#l01115">1115</a> of file <a class="el" href="PAG_8cpp_source.html">PAG.cpp</a>.</p>
-<div class="fragment"><div class="line"><a name="l01115"></a><span class="lineno"> 1115</span>&#160;                                          :</div><div class="line"><a name="l01116"></a><span class="lineno"> 1116</span>&#160;        DefaultDOTGraphTraits(isSimple)</div><div class="line"><a name="l01117"></a><span class="lineno"> 1117</span>&#160;    {</div><div class="line"><a name="l01118"></a><span class="lineno"> 1118</span>&#160;    }</div></div><!-- fragment -->
+<p class="definition">Definition at line <a class="el" href="PAG_8cpp_source.html#l01108">1108</a> of file <a class="el" href="PAG_8cpp_source.html">PAG.cpp</a>.</p>
+<div class="fragment"><div class="line"><a name="l01108"></a><span class="lineno"> 1108</span>&#160;                                          :</div><div class="line"><a name="l01109"></a><span class="lineno"> 1109</span>&#160;        DefaultDOTGraphTraits(isSimple)</div><div class="line"><a name="l01110"></a><span class="lineno"> 1110</span>&#160;    {</div><div class="line"><a name="l01111"></a><span class="lineno"> 1111</span>&#160;    }</div></div><!-- fragment -->
 </div>
 </div>
 <h2 class="groupheader">Member Function Documentation</h2>
@@ -222,8 +222,8 @@ template&lt;class EdgeIter &gt; </div>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="PAG_8cpp_source.html#l01158">1158</a> of file <a class="el" href="PAG_8cpp_source.html">PAG.cpp</a>.</p>
-<div class="fragment"><div class="line"><a name="l01159"></a><span class="lineno"> 1159</span>&#160;    {</div><div class="line"><a name="l01160"></a><span class="lineno"> 1160</span>&#160;        <span class="keyword">const</span> <a class="code" href="classSVF_1_1PAGEdge.html">PAGEdge</a>* edge = *(EI.getCurrent());</div><div class="line"><a name="l01161"></a><span class="lineno"> 1161</span>&#160;        <a class="code" href="util_8h.html#a07d17d6d5d1074c0969bc5d3c3d1d84a">assert</a>(edge &amp;&amp; <span class="stringliteral">&quot;No edge found!!&quot;</span>);</div><div class="line"><a name="l01162"></a><span class="lineno"> 1162</span>&#160;        <span class="keywordflow">if</span> (SVFUtil::isa&lt;AddrPE&gt;(edge))</div><div class="line"><a name="l01163"></a><span class="lineno"> 1163</span>&#160;        {</div><div class="line"><a name="l01164"></a><span class="lineno"> 1164</span>&#160;            <span class="keywordflow">return</span> <span class="stringliteral">&quot;color=green&quot;</span>;</div><div class="line"><a name="l01165"></a><span class="lineno"> 1165</span>&#160;        }</div><div class="line"><a name="l01166"></a><span class="lineno"> 1166</span>&#160;        <span class="keywordflow">else</span> <span class="keywordflow">if</span> (SVFUtil::isa&lt;CopyPE&gt;(edge))</div><div class="line"><a name="l01167"></a><span class="lineno"> 1167</span>&#160;        {</div><div class="line"><a name="l01168"></a><span class="lineno"> 1168</span>&#160;            <span class="keywordflow">return</span> <span class="stringliteral">&quot;color=black&quot;</span>;</div><div class="line"><a name="l01169"></a><span class="lineno"> 1169</span>&#160;        }</div><div class="line"><a name="l01170"></a><span class="lineno"> 1170</span>&#160;        <span class="keywordflow">else</span> <span class="keywordflow">if</span> (SVFUtil::isa&lt;GepPE&gt;(edge))</div><div class="line"><a name="l01171"></a><span class="lineno"> 1171</span>&#160;        {</div><div class="line"><a name="l01172"></a><span class="lineno"> 1172</span>&#160;            <span class="keywordflow">return</span> <span class="stringliteral">&quot;color=purple&quot;</span>;</div><div class="line"><a name="l01173"></a><span class="lineno"> 1173</span>&#160;        }</div><div class="line"><a name="l01174"></a><span class="lineno"> 1174</span>&#160;        <span class="keywordflow">else</span> <span class="keywordflow">if</span> (SVFUtil::isa&lt;StorePE&gt;(edge))</div><div class="line"><a name="l01175"></a><span class="lineno"> 1175</span>&#160;        {</div><div class="line"><a name="l01176"></a><span class="lineno"> 1176</span>&#160;            <span class="keywordflow">return</span> <span class="stringliteral">&quot;color=blue&quot;</span>;</div><div class="line"><a name="l01177"></a><span class="lineno"> 1177</span>&#160;        }</div><div class="line"><a name="l01178"></a><span class="lineno"> 1178</span>&#160;        <span class="keywordflow">else</span> <span class="keywordflow">if</span> (SVFUtil::isa&lt;LoadPE&gt;(edge))</div><div class="line"><a name="l01179"></a><span class="lineno"> 1179</span>&#160;        {</div><div class="line"><a name="l01180"></a><span class="lineno"> 1180</span>&#160;            <span class="keywordflow">return</span> <span class="stringliteral">&quot;color=red&quot;</span>;</div><div class="line"><a name="l01181"></a><span class="lineno"> 1181</span>&#160;        }</div><div class="line"><a name="l01182"></a><span class="lineno"> 1182</span>&#160;        <span class="keywordflow">else</span> <span class="keywordflow">if</span> (SVFUtil::isa&lt;CmpPE&gt;(edge))</div><div class="line"><a name="l01183"></a><span class="lineno"> 1183</span>&#160;        {</div><div class="line"><a name="l01184"></a><span class="lineno"> 1184</span>&#160;            <span class="keywordflow">return</span> <span class="stringliteral">&quot;color=grey&quot;</span>;</div><div class="line"><a name="l01185"></a><span class="lineno"> 1185</span>&#160;        }</div><div class="line"><a name="l01186"></a><span class="lineno"> 1186</span>&#160;        <span class="keywordflow">else</span> <span class="keywordflow">if</span> (SVFUtil::isa&lt;BinaryOPPE&gt;(edge))</div><div class="line"><a name="l01187"></a><span class="lineno"> 1187</span>&#160;        {</div><div class="line"><a name="l01188"></a><span class="lineno"> 1188</span>&#160;            <span class="keywordflow">return</span> <span class="stringliteral">&quot;color=grey&quot;</span>;</div><div class="line"><a name="l01189"></a><span class="lineno"> 1189</span>&#160;        }</div><div class="line"><a name="l01190"></a><span class="lineno"> 1190</span>&#160;        <span class="keywordflow">else</span> <span class="keywordflow">if</span> (SVFUtil::isa&lt;UnaryOPPE&gt;(edge))</div><div class="line"><a name="l01191"></a><span class="lineno"> 1191</span>&#160;        {</div><div class="line"><a name="l01192"></a><span class="lineno"> 1192</span>&#160;            <span class="keywordflow">return</span> <span class="stringliteral">&quot;color=grey&quot;</span>;</div><div class="line"><a name="l01193"></a><span class="lineno"> 1193</span>&#160;        }</div><div class="line"><a name="l01194"></a><span class="lineno"> 1194</span>&#160;        <span class="keywordflow">else</span> <span class="keywordflow">if</span> (SVFUtil::isa&lt;TDForkPE&gt;(edge))</div><div class="line"><a name="l01195"></a><span class="lineno"> 1195</span>&#160;        {</div><div class="line"><a name="l01196"></a><span class="lineno"> 1196</span>&#160;            <span class="keywordflow">return</span> <span class="stringliteral">&quot;color=Turquoise&quot;</span>;</div><div class="line"><a name="l01197"></a><span class="lineno"> 1197</span>&#160;        }</div><div class="line"><a name="l01198"></a><span class="lineno"> 1198</span>&#160;        <span class="keywordflow">else</span> <span class="keywordflow">if</span> (SVFUtil::isa&lt;TDJoinPE&gt;(edge))</div><div class="line"><a name="l01199"></a><span class="lineno"> 1199</span>&#160;        {</div><div class="line"><a name="l01200"></a><span class="lineno"> 1200</span>&#160;            <span class="keywordflow">return</span> <span class="stringliteral">&quot;color=Turquoise&quot;</span>;</div><div class="line"><a name="l01201"></a><span class="lineno"> 1201</span>&#160;        }</div><div class="line"><a name="l01202"></a><span class="lineno"> 1202</span>&#160;        <span class="keywordflow">else</span> <span class="keywordflow">if</span> (SVFUtil::isa&lt;CallPE&gt;(edge))</div><div class="line"><a name="l01203"></a><span class="lineno"> 1203</span>&#160;        {</div><div class="line"><a name="l01204"></a><span class="lineno"> 1204</span>&#160;            <span class="keywordflow">return</span> <span class="stringliteral">&quot;color=black,style=dashed&quot;</span>;</div><div class="line"><a name="l01205"></a><span class="lineno"> 1205</span>&#160;        }</div><div class="line"><a name="l01206"></a><span class="lineno"> 1206</span>&#160;        <span class="keywordflow">else</span> <span class="keywordflow">if</span> (SVFUtil::isa&lt;RetPE&gt;(edge))</div><div class="line"><a name="l01207"></a><span class="lineno"> 1207</span>&#160;        {</div><div class="line"><a name="l01208"></a><span class="lineno"> 1208</span>&#160;            <span class="keywordflow">return</span> <span class="stringliteral">&quot;color=black,style=dotted&quot;</span>;</div><div class="line"><a name="l01209"></a><span class="lineno"> 1209</span>&#160;        }</div><div class="line"><a name="l01210"></a><span class="lineno"> 1210</span>&#160;</div><div class="line"><a name="l01211"></a><span class="lineno"> 1211</span>&#160;        <a class="code" href="util_8h.html#a07d17d6d5d1074c0969bc5d3c3d1d84a">assert</a>(<span class="keyword">false</span> &amp;&amp; <span class="stringliteral">&quot;No such kind edge!!&quot;</span>);</div><div class="line"><a name="l01212"></a><span class="lineno"> 1212</span>&#160;        <a class="code" href="util_8h.html#a43b6ea6be735bb828bc062c70cadeff8">exit</a>(1);</div><div class="line"><a name="l01213"></a><span class="lineno"> 1213</span>&#160;    }</div><div class="ttc" id="util_8h_html_a43b6ea6be735bb828bc062c70cadeff8"><div class="ttname"><a href="util_8h.html#a43b6ea6be735bb828bc062c70cadeff8">exit</a></div><div class="ttdeci">VOID_OR_INT exit()</div></div>
+<p class="definition">Definition at line <a class="el" href="PAG_8cpp_source.html#l01151">1151</a> of file <a class="el" href="PAG_8cpp_source.html">PAG.cpp</a>.</p>
+<div class="fragment"><div class="line"><a name="l01152"></a><span class="lineno"> 1152</span>&#160;    {</div><div class="line"><a name="l01153"></a><span class="lineno"> 1153</span>&#160;        <span class="keyword">const</span> <a class="code" href="classSVF_1_1PAGEdge.html">PAGEdge</a>* edge = *(EI.getCurrent());</div><div class="line"><a name="l01154"></a><span class="lineno"> 1154</span>&#160;        <a class="code" href="util_8h.html#a07d17d6d5d1074c0969bc5d3c3d1d84a">assert</a>(edge &amp;&amp; <span class="stringliteral">&quot;No edge found!!&quot;</span>);</div><div class="line"><a name="l01155"></a><span class="lineno"> 1155</span>&#160;        <span class="keywordflow">if</span> (SVFUtil::isa&lt;AddrPE&gt;(edge))</div><div class="line"><a name="l01156"></a><span class="lineno"> 1156</span>&#160;        {</div><div class="line"><a name="l01157"></a><span class="lineno"> 1157</span>&#160;            <span class="keywordflow">return</span> <span class="stringliteral">&quot;color=green&quot;</span>;</div><div class="line"><a name="l01158"></a><span class="lineno"> 1158</span>&#160;        }</div><div class="line"><a name="l01159"></a><span class="lineno"> 1159</span>&#160;        <span class="keywordflow">else</span> <span class="keywordflow">if</span> (SVFUtil::isa&lt;CopyPE&gt;(edge))</div><div class="line"><a name="l01160"></a><span class="lineno"> 1160</span>&#160;        {</div><div class="line"><a name="l01161"></a><span class="lineno"> 1161</span>&#160;            <span class="keywordflow">return</span> <span class="stringliteral">&quot;color=black&quot;</span>;</div><div class="line"><a name="l01162"></a><span class="lineno"> 1162</span>&#160;        }</div><div class="line"><a name="l01163"></a><span class="lineno"> 1163</span>&#160;        <span class="keywordflow">else</span> <span class="keywordflow">if</span> (SVFUtil::isa&lt;GepPE&gt;(edge))</div><div class="line"><a name="l01164"></a><span class="lineno"> 1164</span>&#160;        {</div><div class="line"><a name="l01165"></a><span class="lineno"> 1165</span>&#160;            <span class="keywordflow">return</span> <span class="stringliteral">&quot;color=purple&quot;</span>;</div><div class="line"><a name="l01166"></a><span class="lineno"> 1166</span>&#160;        }</div><div class="line"><a name="l01167"></a><span class="lineno"> 1167</span>&#160;        <span class="keywordflow">else</span> <span class="keywordflow">if</span> (SVFUtil::isa&lt;StorePE&gt;(edge))</div><div class="line"><a name="l01168"></a><span class="lineno"> 1168</span>&#160;        {</div><div class="line"><a name="l01169"></a><span class="lineno"> 1169</span>&#160;            <span class="keywordflow">return</span> <span class="stringliteral">&quot;color=blue&quot;</span>;</div><div class="line"><a name="l01170"></a><span class="lineno"> 1170</span>&#160;        }</div><div class="line"><a name="l01171"></a><span class="lineno"> 1171</span>&#160;        <span class="keywordflow">else</span> <span class="keywordflow">if</span> (SVFUtil::isa&lt;LoadPE&gt;(edge))</div><div class="line"><a name="l01172"></a><span class="lineno"> 1172</span>&#160;        {</div><div class="line"><a name="l01173"></a><span class="lineno"> 1173</span>&#160;            <span class="keywordflow">return</span> <span class="stringliteral">&quot;color=red&quot;</span>;</div><div class="line"><a name="l01174"></a><span class="lineno"> 1174</span>&#160;        }</div><div class="line"><a name="l01175"></a><span class="lineno"> 1175</span>&#160;        <span class="keywordflow">else</span> <span class="keywordflow">if</span> (SVFUtil::isa&lt;CmpPE&gt;(edge))</div><div class="line"><a name="l01176"></a><span class="lineno"> 1176</span>&#160;        {</div><div class="line"><a name="l01177"></a><span class="lineno"> 1177</span>&#160;            <span class="keywordflow">return</span> <span class="stringliteral">&quot;color=grey&quot;</span>;</div><div class="line"><a name="l01178"></a><span class="lineno"> 1178</span>&#160;        }</div><div class="line"><a name="l01179"></a><span class="lineno"> 1179</span>&#160;        <span class="keywordflow">else</span> <span class="keywordflow">if</span> (SVFUtil::isa&lt;BinaryOPPE&gt;(edge))</div><div class="line"><a name="l01180"></a><span class="lineno"> 1180</span>&#160;        {</div><div class="line"><a name="l01181"></a><span class="lineno"> 1181</span>&#160;            <span class="keywordflow">return</span> <span class="stringliteral">&quot;color=grey&quot;</span>;</div><div class="line"><a name="l01182"></a><span class="lineno"> 1182</span>&#160;        }</div><div class="line"><a name="l01183"></a><span class="lineno"> 1183</span>&#160;        <span class="keywordflow">else</span> <span class="keywordflow">if</span> (SVFUtil::isa&lt;UnaryOPPE&gt;(edge))</div><div class="line"><a name="l01184"></a><span class="lineno"> 1184</span>&#160;        {</div><div class="line"><a name="l01185"></a><span class="lineno"> 1185</span>&#160;            <span class="keywordflow">return</span> <span class="stringliteral">&quot;color=grey&quot;</span>;</div><div class="line"><a name="l01186"></a><span class="lineno"> 1186</span>&#160;        }</div><div class="line"><a name="l01187"></a><span class="lineno"> 1187</span>&#160;        <span class="keywordflow">else</span> <span class="keywordflow">if</span> (SVFUtil::isa&lt;TDForkPE&gt;(edge))</div><div class="line"><a name="l01188"></a><span class="lineno"> 1188</span>&#160;        {</div><div class="line"><a name="l01189"></a><span class="lineno"> 1189</span>&#160;            <span class="keywordflow">return</span> <span class="stringliteral">&quot;color=Turquoise&quot;</span>;</div><div class="line"><a name="l01190"></a><span class="lineno"> 1190</span>&#160;        }</div><div class="line"><a name="l01191"></a><span class="lineno"> 1191</span>&#160;        <span class="keywordflow">else</span> <span class="keywordflow">if</span> (SVFUtil::isa&lt;TDJoinPE&gt;(edge))</div><div class="line"><a name="l01192"></a><span class="lineno"> 1192</span>&#160;        {</div><div class="line"><a name="l01193"></a><span class="lineno"> 1193</span>&#160;            <span class="keywordflow">return</span> <span class="stringliteral">&quot;color=Turquoise&quot;</span>;</div><div class="line"><a name="l01194"></a><span class="lineno"> 1194</span>&#160;        }</div><div class="line"><a name="l01195"></a><span class="lineno"> 1195</span>&#160;        <span class="keywordflow">else</span> <span class="keywordflow">if</span> (SVFUtil::isa&lt;CallPE&gt;(edge))</div><div class="line"><a name="l01196"></a><span class="lineno"> 1196</span>&#160;        {</div><div class="line"><a name="l01197"></a><span class="lineno"> 1197</span>&#160;            <span class="keywordflow">return</span> <span class="stringliteral">&quot;color=black,style=dashed&quot;</span>;</div><div class="line"><a name="l01198"></a><span class="lineno"> 1198</span>&#160;        }</div><div class="line"><a name="l01199"></a><span class="lineno"> 1199</span>&#160;        <span class="keywordflow">else</span> <span class="keywordflow">if</span> (SVFUtil::isa&lt;RetPE&gt;(edge))</div><div class="line"><a name="l01200"></a><span class="lineno"> 1200</span>&#160;        {</div><div class="line"><a name="l01201"></a><span class="lineno"> 1201</span>&#160;            <span class="keywordflow">return</span> <span class="stringliteral">&quot;color=black,style=dotted&quot;</span>;</div><div class="line"><a name="l01202"></a><span class="lineno"> 1202</span>&#160;        }</div><div class="line"><a name="l01203"></a><span class="lineno"> 1203</span>&#160;</div><div class="line"><a name="l01204"></a><span class="lineno"> 1204</span>&#160;        <a class="code" href="util_8h.html#a07d17d6d5d1074c0969bc5d3c3d1d84a">assert</a>(<span class="keyword">false</span> &amp;&amp; <span class="stringliteral">&quot;No such kind edge!!&quot;</span>);</div><div class="line"><a name="l01205"></a><span class="lineno"> 1205</span>&#160;        <a class="code" href="util_8h.html#a43b6ea6be735bb828bc062c70cadeff8">exit</a>(1);</div><div class="line"><a name="l01206"></a><span class="lineno"> 1206</span>&#160;    }</div><div class="ttc" id="util_8h_html_a43b6ea6be735bb828bc062c70cadeff8"><div class="ttname"><a href="util_8h.html#a43b6ea6be735bb828bc062c70cadeff8">exit</a></div><div class="ttdeci">VOID_OR_INT exit()</div></div>
 <div class="ttc" id="classSVF_1_1PAGEdge_html"><div class="ttname"><a href="classSVF_1_1PAGEdge.html">SVF::PAGEdge</a></div><div class="ttdef"><b>Definition:</b> <a href="PAGEdge_8h_source.html#l00047">PAGEdge.h:47</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><!-- fragment -->
@@ -265,8 +265,8 @@ template&lt;class EdgeIter &gt; </div>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="PAG_8cpp_source.html#l01216">1216</a> of file <a class="el" href="PAG_8cpp_source.html">PAG.cpp</a>.</p>
-<div class="fragment"><div class="line"><a name="l01217"></a><span class="lineno"> 1217</span>&#160;    {</div><div class="line"><a name="l01218"></a><span class="lineno"> 1218</span>&#160;        <span class="keyword">const</span> <a class="code" href="classSVF_1_1PAGEdge.html">PAGEdge</a>* edge = *(EI.getCurrent());</div><div class="line"><a name="l01219"></a><span class="lineno"> 1219</span>&#160;        <a class="code" href="util_8h.html#a07d17d6d5d1074c0969bc5d3c3d1d84a">assert</a>(edge &amp;&amp; <span class="stringliteral">&quot;No edge found!!&quot;</span>);</div><div class="line"><a name="l01220"></a><span class="lineno"> 1220</span>&#160;        <span class="keywordflow">if</span>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1CallPE.html">CallPE</a>* calledge = SVFUtil::dyn_cast&lt;CallPE&gt;(edge))</div><div class="line"><a name="l01221"></a><span class="lineno"> 1221</span>&#160;        {</div><div class="line"><a name="l01222"></a><span class="lineno"> 1222</span>&#160;            <span class="keyword">const</span> <a class="code" href="namespaceSVF.html#a7875172ff434b2210eea7cecfbbd959e">Instruction</a>* callInst= calledge-&gt;getCallSite()-&gt;getCallSite();</div><div class="line"><a name="l01223"></a><span class="lineno"> 1223</span>&#160;            <span class="keywordflow">return</span> <a class="code" href="namespaceSVF_1_1SVFUtil.html#a28c0ede7e4765d2a686fc8ae0f5641a4">SVFUtil::getSourceLoc</a>(callInst);</div><div class="line"><a name="l01224"></a><span class="lineno"> 1224</span>&#160;        }</div><div class="line"><a name="l01225"></a><span class="lineno"> 1225</span>&#160;        <span class="keywordflow">else</span> <span class="keywordflow">if</span>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1RetPE.html">RetPE</a>* retedge = SVFUtil::dyn_cast&lt;RetPE&gt;(edge))</div><div class="line"><a name="l01226"></a><span class="lineno"> 1226</span>&#160;        {</div><div class="line"><a name="l01227"></a><span class="lineno"> 1227</span>&#160;            <span class="keyword">const</span> <a class="code" href="namespaceSVF.html#a7875172ff434b2210eea7cecfbbd959e">Instruction</a>* callInst= retedge-&gt;getCallSite()-&gt;getCallSite();</div><div class="line"><a name="l01228"></a><span class="lineno"> 1228</span>&#160;            <span class="keywordflow">return</span> <a class="code" href="namespaceSVF_1_1SVFUtil.html#a28c0ede7e4765d2a686fc8ae0f5641a4">SVFUtil::getSourceLoc</a>(callInst);</div><div class="line"><a name="l01229"></a><span class="lineno"> 1229</span>&#160;        }</div><div class="line"><a name="l01230"></a><span class="lineno"> 1230</span>&#160;        <span class="keywordflow">return</span> <span class="stringliteral">&quot;&quot;</span>;</div><div class="line"><a name="l01231"></a><span class="lineno"> 1231</span>&#160;    }</div><div class="ttc" id="classSVF_1_1RetPE_html"><div class="ttname"><a href="classSVF_1_1RetPE.html">SVF::RetPE</a></div><div class="ttdef"><b>Definition:</b> <a href="PAGEdge_8h_source.html#l00613">PAGEdge.h:613</a></div></div>
+<p class="definition">Definition at line <a class="el" href="PAG_8cpp_source.html#l01209">1209</a> of file <a class="el" href="PAG_8cpp_source.html">PAG.cpp</a>.</p>
+<div class="fragment"><div class="line"><a name="l01210"></a><span class="lineno"> 1210</span>&#160;    {</div><div class="line"><a name="l01211"></a><span class="lineno"> 1211</span>&#160;        <span class="keyword">const</span> <a class="code" href="classSVF_1_1PAGEdge.html">PAGEdge</a>* edge = *(EI.getCurrent());</div><div class="line"><a name="l01212"></a><span class="lineno"> 1212</span>&#160;        <a class="code" href="util_8h.html#a07d17d6d5d1074c0969bc5d3c3d1d84a">assert</a>(edge &amp;&amp; <span class="stringliteral">&quot;No edge found!!&quot;</span>);</div><div class="line"><a name="l01213"></a><span class="lineno"> 1213</span>&#160;        <span class="keywordflow">if</span>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1CallPE.html">CallPE</a>* calledge = SVFUtil::dyn_cast&lt;CallPE&gt;(edge))</div><div class="line"><a name="l01214"></a><span class="lineno"> 1214</span>&#160;        {</div><div class="line"><a name="l01215"></a><span class="lineno"> 1215</span>&#160;            <span class="keyword">const</span> <a class="code" href="namespaceSVF.html#a7875172ff434b2210eea7cecfbbd959e">Instruction</a>* callInst= calledge-&gt;getCallSite()-&gt;getCallSite();</div><div class="line"><a name="l01216"></a><span class="lineno"> 1216</span>&#160;            <span class="keywordflow">return</span> <a class="code" href="namespaceSVF_1_1SVFUtil.html#a28c0ede7e4765d2a686fc8ae0f5641a4">SVFUtil::getSourceLoc</a>(callInst);</div><div class="line"><a name="l01217"></a><span class="lineno"> 1217</span>&#160;        }</div><div class="line"><a name="l01218"></a><span class="lineno"> 1218</span>&#160;        <span class="keywordflow">else</span> <span class="keywordflow">if</span>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1RetPE.html">RetPE</a>* retedge = SVFUtil::dyn_cast&lt;RetPE&gt;(edge))</div><div class="line"><a name="l01219"></a><span class="lineno"> 1219</span>&#160;        {</div><div class="line"><a name="l01220"></a><span class="lineno"> 1220</span>&#160;            <span class="keyword">const</span> <a class="code" href="namespaceSVF.html#a7875172ff434b2210eea7cecfbbd959e">Instruction</a>* callInst= retedge-&gt;getCallSite()-&gt;getCallSite();</div><div class="line"><a name="l01221"></a><span class="lineno"> 1221</span>&#160;            <span class="keywordflow">return</span> <a class="code" href="namespaceSVF_1_1SVFUtil.html#a28c0ede7e4765d2a686fc8ae0f5641a4">SVFUtil::getSourceLoc</a>(callInst);</div><div class="line"><a name="l01222"></a><span class="lineno"> 1222</span>&#160;        }</div><div class="line"><a name="l01223"></a><span class="lineno"> 1223</span>&#160;        <span class="keywordflow">return</span> <span class="stringliteral">&quot;&quot;</span>;</div><div class="line"><a name="l01224"></a><span class="lineno"> 1224</span>&#160;    }</div><div class="ttc" id="classSVF_1_1RetPE_html"><div class="ttname"><a href="classSVF_1_1RetPE.html">SVF::RetPE</a></div><div class="ttdef"><b>Definition:</b> <a href="PAGEdge_8h_source.html#l00613">PAGEdge.h:613</a></div></div>
 <div class="ttc" id="classSVF_1_1PAGEdge_html"><div class="ttname"><a href="classSVF_1_1PAGEdge.html">SVF::PAGEdge</a></div><div class="ttdef"><b>Definition:</b> <a href="PAGEdge_8h_source.html#l00047">PAGEdge.h:47</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="namespaceSVF_1_1SVFUtil_html_a28c0ede7e4765d2a686fc8ae0f5641a4"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#a28c0ede7e4765d2a686fc8ae0f5641a4">SVF::SVFUtil::getSourceLoc</a></div><div class="ttdeci">std::string getSourceLoc(const Value *val)</div><div class="ttdoc">Return source code including line number and file name from debug information. </div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8cpp_source.html#l00269">SVFUtil.cpp:269</a></div></div>
@@ -301,8 +301,8 @@ template&lt;class EdgeIter &gt; </div>
 
 <p>Return name of the graph. </p>
 
-<p class="definition">Definition at line <a class="el" href="PAG_8cpp_source.html#l01121">1121</a> of file <a class="el" href="PAG_8cpp_source.html">PAG.cpp</a>.</p>
-<div class="fragment"><div class="line"><a name="l01122"></a><span class="lineno"> 1122</span>&#160;    {</div><div class="line"><a name="l01123"></a><span class="lineno"> 1123</span>&#160;        <span class="keywordflow">return</span> graph-&gt;<a class="code" href="classSVF_1_1PAG.html#aa18a51570a397eabffdd613fdb15b4ac">getGraphName</a>();</div><div class="line"><a name="l01124"></a><span class="lineno"> 1124</span>&#160;    }</div><div class="ttc" id="classSVF_1_1PAG_html_aa18a51570a397eabffdd613fdb15b4ac"><div class="ttname"><a href="classSVF_1_1PAG.html#aa18a51570a397eabffdd613fdb15b4ac">SVF::PAG::getGraphName</a></div><div class="ttdeci">std::string getGraphName() const</div><div class="ttdoc">Return graph name. </div><div class="ttdef"><b>Definition:</b> <a href="PAG_8h_source.html#l00891">PAG.h:891</a></div></div>
+<p class="definition">Definition at line <a class="el" href="PAG_8cpp_source.html#l01114">1114</a> of file <a class="el" href="PAG_8cpp_source.html">PAG.cpp</a>.</p>
+<div class="fragment"><div class="line"><a name="l01115"></a><span class="lineno"> 1115</span>&#160;    {</div><div class="line"><a name="l01116"></a><span class="lineno"> 1116</span>&#160;        <span class="keywordflow">return</span> graph-&gt;<a class="code" href="classSVF_1_1PAG.html#aa18a51570a397eabffdd613fdb15b4ac">getGraphName</a>();</div><div class="line"><a name="l01117"></a><span class="lineno"> 1117</span>&#160;    }</div><div class="ttc" id="classSVF_1_1PAG_html_aa18a51570a397eabffdd613fdb15b4ac"><div class="ttname"><a href="classSVF_1_1PAG.html#aa18a51570a397eabffdd613fdb15b4ac">SVF::PAG::getGraphName</a></div><div class="ttdeci">std::string getGraphName() const</div><div class="ttdoc">Return graph name. </div><div class="ttdef"><b>Definition:</b> <a href="PAG_8h_source.html#l00891">PAG.h:891</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -340,8 +340,8 @@ template&lt;class EdgeIter &gt; </div>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="PAG_8cpp_source.html#l01152">1152</a> of file <a class="el" href="PAG_8cpp_source.html">PAG.cpp</a>.</p>
-<div class="fragment"><div class="line"><a name="l01153"></a><span class="lineno"> 1153</span>&#160;    {</div><div class="line"><a name="l01154"></a><span class="lineno"> 1154</span>&#160;        <span class="keywordflow">return</span> node-&gt;<a class="code" href="classSVF_1_1PAGNode.html#ace4c68d1187a70f69a9669f0e4e56ea2">getNodeAttrForDotDisplay</a>();</div><div class="line"><a name="l01155"></a><span class="lineno"> 1155</span>&#160;    }</div><div class="ttc" id="classSVF_1_1PAGNode_html_ace4c68d1187a70f69a9669f0e4e56ea2"><div class="ttname"><a href="classSVF_1_1PAGNode.html#ace4c68d1187a70f69a9669f0e4e56ea2">SVF::PAGNode::getNodeAttrForDotDisplay</a></div><div class="ttdeci">virtual const std::string getNodeAttrForDotDisplay() const</div><div class="ttdoc">Get shape and/or color of node for .dot display. </div><div class="ttdef"><b>Definition:</b> <a href="PAG_8cpp_source.html#l00054">PAG.cpp:54</a></div></div>
+<p class="definition">Definition at line <a class="el" href="PAG_8cpp_source.html#l01145">1145</a> of file <a class="el" href="PAG_8cpp_source.html">PAG.cpp</a>.</p>
+<div class="fragment"><div class="line"><a name="l01146"></a><span class="lineno"> 1146</span>&#160;    {</div><div class="line"><a name="l01147"></a><span class="lineno"> 1147</span>&#160;        <span class="keywordflow">return</span> node-&gt;<a class="code" href="classSVF_1_1PAGNode.html#ace4c68d1187a70f69a9669f0e4e56ea2">getNodeAttrForDotDisplay</a>();</div><div class="line"><a name="l01148"></a><span class="lineno"> 1148</span>&#160;    }</div><div class="ttc" id="classSVF_1_1PAGNode_html_ace4c68d1187a70f69a9669f0e4e56ea2"><div class="ttname"><a href="classSVF_1_1PAGNode.html#ace4c68d1187a70f69a9669f0e4e56ea2">SVF::PAGNode::getNodeAttrForDotDisplay</a></div><div class="ttdeci">virtual const std::string getNodeAttrForDotDisplay() const</div><div class="ttdoc">Get shape and/or color of node for .dot display. </div><div class="ttdef"><b>Definition:</b> <a href="PAG_8cpp_source.html#l00054">PAG.cpp:54</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -380,8 +380,8 @@ template&lt;class EdgeIter &gt; </div>
 </div><div class="memdoc">
 <p>Return label of a VFG node with two display mode Either you can choose to display the name of the value or the whole instruction </p>
 
-<p class="definition">Definition at line <a class="el" href="PAG_8cpp_source.html#l01138">1138</a> of file <a class="el" href="PAG_8cpp_source.html">PAG.cpp</a>.</p>
-<div class="fragment"><div class="line"><a name="l01139"></a><span class="lineno"> 1139</span>&#160;    {</div><div class="line"><a name="l01140"></a><span class="lineno"> 1140</span>&#160;        std::string str;</div><div class="line"><a name="l01141"></a><span class="lineno"> 1141</span>&#160;        <a class="code" href="namespaceSVF.html#a726981481ac082dcda3e4921416b65a0">raw_string_ostream</a> rawstr(str);</div><div class="line"><a name="l01142"></a><span class="lineno"> 1142</span>&#160;        <span class="comment">// print function info</span></div><div class="line"><a name="l01143"></a><span class="lineno"> 1143</span>&#160;        <span class="keywordflow">if</span> (node-&gt;<a class="code" href="classSVF_1_1PAGNode.html#a1697d70ee484569bbd7557cf99b223dc">getFunction</a>())</div><div class="line"><a name="l01144"></a><span class="lineno"> 1144</span>&#160;            rawstr &lt;&lt; <span class="stringliteral">&quot;[&quot;</span> &lt;&lt; node-&gt;<a class="code" href="classSVF_1_1PAGNode.html#a1697d70ee484569bbd7557cf99b223dc">getFunction</a>()-&gt;getName() &lt;&lt; <span class="stringliteral">&quot;] &quot;</span>;</div><div class="line"><a name="l01145"></a><span class="lineno"> 1145</span>&#160;</div><div class="line"><a name="l01146"></a><span class="lineno"> 1146</span>&#160;        rawstr &lt;&lt; node-&gt;<a class="code" href="classSVF_1_1PAGNode.html#a2a9a5feb62138307b0b6f901cb5e0e0f">toString</a>();</div><div class="line"><a name="l01147"></a><span class="lineno"> 1147</span>&#160;</div><div class="line"><a name="l01148"></a><span class="lineno"> 1148</span>&#160;        <span class="keywordflow">return</span> rawstr.str();</div><div class="line"><a name="l01149"></a><span class="lineno"> 1149</span>&#160;</div><div class="line"><a name="l01150"></a><span class="lineno"> 1150</span>&#160;    }</div><div class="ttc" id="classSVF_1_1PAGNode_html_a2a9a5feb62138307b0b6f901cb5e0e0f"><div class="ttname"><a href="classSVF_1_1PAGNode.html#a2a9a5feb62138307b0b6f901cb5e0e0f">SVF::PAGNode::toString</a></div><div class="ttdeci">virtual const std::string toString() const</div><div class="ttdef"><b>Definition:</b> <a href="PAG_8cpp_source.html#l00046">PAG.cpp:46</a></div></div>
+<p class="definition">Definition at line <a class="el" href="PAG_8cpp_source.html#l01131">1131</a> of file <a class="el" href="PAG_8cpp_source.html">PAG.cpp</a>.</p>
+<div class="fragment"><div class="line"><a name="l01132"></a><span class="lineno"> 1132</span>&#160;    {</div><div class="line"><a name="l01133"></a><span class="lineno"> 1133</span>&#160;        std::string str;</div><div class="line"><a name="l01134"></a><span class="lineno"> 1134</span>&#160;        <a class="code" href="namespaceSVF.html#a726981481ac082dcda3e4921416b65a0">raw_string_ostream</a> rawstr(str);</div><div class="line"><a name="l01135"></a><span class="lineno"> 1135</span>&#160;        <span class="comment">// print function info</span></div><div class="line"><a name="l01136"></a><span class="lineno"> 1136</span>&#160;        <span class="keywordflow">if</span> (node-&gt;<a class="code" href="classSVF_1_1PAGNode.html#a1697d70ee484569bbd7557cf99b223dc">getFunction</a>())</div><div class="line"><a name="l01137"></a><span class="lineno"> 1137</span>&#160;            rawstr &lt;&lt; <span class="stringliteral">&quot;[&quot;</span> &lt;&lt; node-&gt;<a class="code" href="classSVF_1_1PAGNode.html#a1697d70ee484569bbd7557cf99b223dc">getFunction</a>()-&gt;getName() &lt;&lt; <span class="stringliteral">&quot;] &quot;</span>;</div><div class="line"><a name="l01138"></a><span class="lineno"> 1138</span>&#160;</div><div class="line"><a name="l01139"></a><span class="lineno"> 1139</span>&#160;        rawstr &lt;&lt; node-&gt;<a class="code" href="classSVF_1_1PAGNode.html#a2a9a5feb62138307b0b6f901cb5e0e0f">toString</a>();</div><div class="line"><a name="l01140"></a><span class="lineno"> 1140</span>&#160;</div><div class="line"><a name="l01141"></a><span class="lineno"> 1141</span>&#160;        <span class="keywordflow">return</span> rawstr.str();</div><div class="line"><a name="l01142"></a><span class="lineno"> 1142</span>&#160;</div><div class="line"><a name="l01143"></a><span class="lineno"> 1143</span>&#160;    }</div><div class="ttc" id="classSVF_1_1PAGNode_html_a2a9a5feb62138307b0b6f901cb5e0e0f"><div class="ttname"><a href="classSVF_1_1PAGNode.html#a2a9a5feb62138307b0b6f901cb5e0e0f">SVF::PAGNode::toString</a></div><div class="ttdeci">virtual const std::string toString() const</div><div class="ttdef"><b>Definition:</b> <a href="PAG_8cpp_source.html#l00046">PAG.cpp:46</a></div></div>
 <div class="ttc" id="classSVF_1_1PAGNode_html_a1697d70ee484569bbd7557cf99b223dc"><div class="ttname"><a href="classSVF_1_1PAGNode.html#a1697d70ee484569bbd7557cf99b223dc">SVF::PAGNode::getFunction</a></div><div class="ttdeci">virtual const Function * getFunction() const</div><div class="ttdoc">Return the function that this PAGNode resides in. Return nullptr if it is a global or constantexpr no...</div><div class="ttdef"><b>Definition:</b> <a href="PAGNode_8h_source.html#l00146">PAGNode.h:146</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="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00100">BasicTypes.h:100</a></div></div>
 </div><!-- fragment -->
@@ -412,8 +412,8 @@ template&lt;class EdgeIter &gt; </div>
 </div><div class="memdoc">
 <p>isNodeHidden - If the function returns true, the given node is not displayed in the graph </p>
 
-<p class="definition">Definition at line <a class="el" href="PAG_8cpp_source.html#l01131">1131</a> of file <a class="el" href="PAG_8cpp_source.html">PAG.cpp</a>.</p>
-<div class="fragment"><div class="line"><a name="l01131"></a><span class="lineno"> 1131</span>&#160;                                            {</div><div class="line"><a name="l01132"></a><span class="lineno"> 1132</span>&#160;<span class="preprocessor">#endif</span></div><div class="line"><a name="l01133"></a><span class="lineno"> 1133</span>&#160;        <span class="keywordflow">return</span> node-&gt;<a class="code" href="classSVF_1_1PAGNode.html#a36a52b3618e8c1366402ec67507d6979">isIsolatedNode</a>();</div><div class="line"><a name="l01134"></a><span class="lineno"> 1134</span>&#160;    }</div><div class="ttc" id="classSVF_1_1PAGNode_html_a36a52b3618e8c1366402ec67507d6979"><div class="ttname"><a href="classSVF_1_1PAGNode.html#a36a52b3618e8c1366402ec67507d6979">SVF::PAGNode::isIsolatedNode</a></div><div class="ttdeci">bool isIsolatedNode() const</div><div class="ttdoc">Whether this is an isoloated node on the PAG graph. </div><div class="ttdef"><b>Definition:</b> <a href="PAG_8cpp_source.html#l01068">PAG.cpp:1068</a></div></div>
+<p class="definition">Definition at line <a class="el" href="PAG_8cpp_source.html#l01124">1124</a> of file <a class="el" href="PAG_8cpp_source.html">PAG.cpp</a>.</p>
+<div class="fragment"><div class="line"><a name="l01124"></a><span class="lineno"> 1124</span>&#160;                                            {</div><div class="line"><a name="l01125"></a><span class="lineno"> 1125</span>&#160;<span class="preprocessor">#endif</span></div><div class="line"><a name="l01126"></a><span class="lineno"> 1126</span>&#160;        <span class="keywordflow">return</span> node-&gt;<a class="code" href="classSVF_1_1PAGNode.html#a36a52b3618e8c1366402ec67507d6979">isIsolatedNode</a>();</div><div class="line"><a name="l01127"></a><span class="lineno"> 1127</span>&#160;    }</div><div class="ttc" id="classSVF_1_1PAGNode_html_a36a52b3618e8c1366402ec67507d6979"><div class="ttname"><a href="classSVF_1_1PAGNode.html#a36a52b3618e8c1366402ec67507d6979">SVF::PAGNode::isIsolatedNode</a></div><div class="ttdeci">bool isIsolatedNode() const</div><div class="ttdoc">Whether this is an isoloated node on the PAG graph. </div><div class="ttdef"><b>Definition:</b> <a href="PAG_8cpp_source.html#l01061">PAG.cpp:1061</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>

package/SVF-doxygen/html/html/structllvm_1_1DOTGraphTraits_3_01SVFG_01_5_01_4.html

@@ -517,8 +517,8 @@ template&lt;class EdgeIter &gt; </div>
 <p>isNodeHidden - If the function returns true, the given node is not displayed in the graph </p>
 
 <p class="definition">Definition at line <a class="el" href="SVFG_8cpp_source.html#l00771">771</a> of file <a class="el" href="SVFG_8cpp_source.html">SVFG.cpp</a>.</p>
-<div class="fragment"><div class="line"><a name="l00771"></a><span class="lineno">  771</span>&#160;                                             {</div><div class="line"><a name="l00772"></a><span class="lineno">  772</span>&#160;<span class="preprocessor">#endif</span></div><div class="line"><a name="l00773"></a><span class="lineno">  773</span>&#160;        <span class="keywordflow">return</span> node-&gt;<a class="code" href="classSVF_1_1GenericNode.html#afc8b5f86d7795b6a0dfc0687d942d79b">getInEdges</a>().empty() &amp;&amp; node-&gt;<a class="code" href="classSVF_1_1GenericNode.html#a2d9cd758d6f8c5189d9b90b74f43e009">getOutEdges</a>().empty();</div><div class="line"><a name="l00774"></a><span class="lineno">  774</span>&#160;    }</div><div class="ttc" id="classSVF_1_1GenericNode_html_afc8b5f86d7795b6a0dfc0687d942d79b"><div class="ttname"><a href="classSVF_1_1GenericNode.html#afc8b5f86d7795b6a0dfc0687d942d79b">SVF::GenericNode::getInEdges</a></div><div class="ttdeci">const GEdgeSetTy &amp; getInEdges() const</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00181">GenericGraph.h:181</a></div></div>
-<div class="ttc" id="classSVF_1_1GenericNode_html_a2d9cd758d6f8c5189d9b90b74f43e009"><div class="ttname"><a href="classSVF_1_1GenericNode.html#a2d9cd758d6f8c5189d9b90b74f43e009">SVF::GenericNode::getOutEdges</a></div><div class="ttdeci">const GEdgeSetTy &amp; getOutEdges() const</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00177">GenericGraph.h:177</a></div></div>
+<div class="fragment"><div class="line"><a name="l00771"></a><span class="lineno">  771</span>&#160;                                             {</div><div class="line"><a name="l00772"></a><span class="lineno">  772</span>&#160;<span class="preprocessor">#endif</span></div><div class="line"><a name="l00773"></a><span class="lineno">  773</span>&#160;        <span class="keywordflow">return</span> node-&gt;<a class="code" href="classSVF_1_1GenericNode.html#afc8b5f86d7795b6a0dfc0687d942d79b">getInEdges</a>().empty() &amp;&amp; node-&gt;<a class="code" href="classSVF_1_1GenericNode.html#a2d9cd758d6f8c5189d9b90b74f43e009">getOutEdges</a>().empty();</div><div class="line"><a name="l00774"></a><span class="lineno">  774</span>&#160;    }</div><div class="ttc" id="classSVF_1_1GenericNode_html_afc8b5f86d7795b6a0dfc0687d942d79b"><div class="ttname"><a href="classSVF_1_1GenericNode.html#afc8b5f86d7795b6a0dfc0687d942d79b">SVF::GenericNode::getInEdges</a></div><div class="ttdeci">const GEdgeSetTy &amp; getInEdges() const</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00182">GenericGraph.h:182</a></div></div>
+<div class="ttc" id="classSVF_1_1GenericNode_html_a2d9cd758d6f8c5189d9b90b74f43e009"><div class="ttname"><a href="classSVF_1_1GenericNode.html#a2d9cd758d6f8c5189d9b90b74f43e009">SVF::GenericNode::getOutEdges</a></div><div class="ttdeci">const GEdgeSetTy &amp; getOutEdges() const</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00178">GenericGraph.h:178</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>

package/SVF-doxygen/html/html/structllvm_1_1DOTGraphTraits_3_01TCT_01_5_01_4.html

@@ -333,7 +333,7 @@ template&lt;class EdgeIter &gt; </div>
 <p>Return function name;. </p>
 
 <p class="definition">Definition at line <a class="el" href="TCT_8cpp_source.html#l00616">616</a> of file <a class="el" href="TCT_8cpp_source.html">TCT.cpp</a>.</p>
-<div class="fragment"><div class="line"><a name="l00617"></a><span class="lineno">  617</span>&#160;    {</div><div class="line"><a name="l00618"></a><span class="lineno">  618</span>&#160;        <span class="keywordflow">return</span> std::to_string(node-&gt;<a class="code" href="classSVF_1_1GenericNode.html#ac3e55ef37aefb411ea4c87b1aa3b1895">getId</a>());</div><div class="line"><a name="l00619"></a><span class="lineno">  619</span>&#160;    }</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#l00164">GenericGraph.h:164</a></div></div>
+<div class="fragment"><div class="line"><a name="l00617"></a><span class="lineno">  617</span>&#160;    {</div><div class="line"><a name="l00618"></a><span class="lineno">  618</span>&#160;        <span class="keywordflow">return</span> std::to_string(node-&gt;<a class="code" href="classSVF_1_1GenericNode.html#ac3e55ef37aefb411ea4c87b1aa3b1895">getId</a>());</div><div class="line"><a name="l00619"></a><span class="lineno">  619</span>&#160;    }</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#l00165">GenericGraph.h:165</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>

package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01Inverse_3_01SVF_1_1GenericNode_3_01NodeTy_00_01EdgeTy_01_4_01_5_4_01_4.html

@@ -101,7 +101,7 @@ struct llvm::GraphTraits< Inverse< SVF::GenericNode< NodeTy, EdgeTy &gt
 
 <p>Inverse GraphTraits for node which is used for inverse traversal. </p>
 
-<p class="definition">Definition at line <a class="el" href="GenericGraph_8h_source.html#l00495">495</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="GenericGraph_8h_source.html#l00492">492</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.h</a>.</p>
 </div><h2 class="groupheader">Member Typedef Documentation</h2>
 <a id="a5c8f971fb6ca3682a9a0cd9694edc48b"></a>
 <h2 class="memtitle"><span class="permalink"><a href="#a5c8f971fb6ca3682a9a0cd9694edc48b">&#9670;&nbsp;</a></span>ChildIteratorType</h2>
@@ -117,7 +117,7 @@ template&lt;class NodeTy , class EdgeTy &gt; </div>
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="GenericGraph_8h_source.html#l00506">506</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="GenericGraph_8h_source.html#l00503">503</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.h</a>.</p>
 
 </div>
 </div>
@@ -135,7 +135,7 @@ template&lt;class NodeTy , class EdgeTy &gt; </div>
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="GenericGraph_8h_source.html#l00498">498</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="GenericGraph_8h_source.html#l00495">495</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.h</a>.</p>
 
 </div>
 </div>
@@ -153,7 +153,7 @@ template&lt;class NodeTy , class EdgeTy &gt; </div>
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="GenericGraph_8h_source.html#l00497">497</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="GenericGraph_8h_source.html#l00494">494</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.h</a>.</p>
 
 </div>
 </div>
@@ -184,8 +184,8 @@ template&lt;class NodeTy , class EdgeTy &gt; </div>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="GenericGraph_8h_source.html#l00513">513</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00514"></a><span class="lineno">  514</span>&#160;    {</div><div class="line"><a name="l00515"></a><span class="lineno">  515</span>&#160;        <span class="keywordflow">return</span> map_iterator(N-&gt;InEdgeBegin(), &amp;edge_dest);</div><div class="line"><a name="l00516"></a><span class="lineno">  516</span>&#160;    }</div></div><!-- fragment -->
+<p class="definition">Definition at line <a class="el" href="GenericGraph_8h_source.html#l00510">510</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00511"></a><span class="lineno">  511</span>&#160;    {</div><div class="line"><a name="l00512"></a><span class="lineno">  512</span>&#160;        <span class="keywordflow">return</span> map_iterator(N-&gt;InEdgeBegin(), &amp;edge_dest);</div><div class="line"><a name="l00513"></a><span class="lineno">  513</span>&#160;    }</div></div><!-- fragment -->
 </div>
 </div>
 <a id="ab82e90ae6e1f1b39e5c33f9c9a6cfcf9"></a>
@@ -214,8 +214,8 @@ template&lt;class NodeTy , class EdgeTy &gt; </div>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="GenericGraph_8h_source.html#l00517">517</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00518"></a><span class="lineno">  518</span>&#160;    {</div><div class="line"><a name="l00519"></a><span class="lineno">  519</span>&#160;        <span class="keywordflow">return</span> map_iterator(N-&gt;InEdgeEnd(), &amp;edge_dest);</div><div class="line"><a name="l00520"></a><span class="lineno">  520</span>&#160;    }</div></div><!-- fragment -->
+<p class="definition">Definition at line <a class="el" href="GenericGraph_8h_source.html#l00514">514</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00515"></a><span class="lineno">  515</span>&#160;    {</div><div class="line"><a name="l00516"></a><span class="lineno">  516</span>&#160;        <span class="keywordflow">return</span> map_iterator(N-&gt;InEdgeEnd(), &amp;edge_dest);</div><div class="line"><a name="l00517"></a><span class="lineno">  517</span>&#160;    }</div></div><!-- fragment -->
 </div>
 </div>
 <a id="a1b463e94c43d2966b8d6cf096b3d04cd"></a>
@@ -244,8 +244,8 @@ template&lt;class NodeTy , class EdgeTy &gt; </div>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="GenericGraph_8h_source.html#l00500">500</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00501"></a><span class="lineno">  501</span>&#160;    {</div><div class="line"><a name="l00502"></a><span class="lineno">  502</span>&#160;        <span class="keywordflow">return</span> E-&gt;getSrcNode();</div><div class="line"><a name="l00503"></a><span class="lineno">  503</span>&#160;    }</div></div><!-- fragment -->
+<p class="definition">Definition at line <a class="el" href="GenericGraph_8h_source.html#l00497">497</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00498"></a><span class="lineno">  498</span>&#160;    {</div><div class="line"><a name="l00499"></a><span class="lineno">  499</span>&#160;        <span class="keywordflow">return</span> E-&gt;getSrcNode();</div><div class="line"><a name="l00500"></a><span class="lineno">  500</span>&#160;    }</div></div><!-- fragment -->
 </div>
 </div>
 <a id="afbe31ee2733b5990ab5b1f8c344fa3e0"></a>
@@ -274,8 +274,8 @@ template&lt;class NodeTy , class EdgeTy &gt; </div>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="GenericGraph_8h_source.html#l00508">508</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00509"></a><span class="lineno">  509</span>&#160;    {</div><div class="line"><a name="l00510"></a><span class="lineno">  510</span>&#160;        <span class="keywordflow">return</span> G.Graph;</div><div class="line"><a name="l00511"></a><span class="lineno">  511</span>&#160;    }</div></div><!-- fragment -->
+<p class="definition">Definition at line <a class="el" href="GenericGraph_8h_source.html#l00505">505</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00506"></a><span class="lineno">  506</span>&#160;    {</div><div class="line"><a name="l00507"></a><span class="lineno">  507</span>&#160;        <span class="keywordflow">return</span> G.Graph;</div><div class="line"><a name="l00508"></a><span class="lineno">  508</span>&#160;    }</div></div><!-- fragment -->
 </div>
 </div>
 <a id="ac79255244b6b59876be19266ff214afb"></a>
@@ -304,8 +304,8 @@ template&lt;class NodeTy , class EdgeTy &gt; </div>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="GenericGraph_8h_source.html#l00522">522</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00523"></a><span class="lineno">  523</span>&#160;    {</div><div class="line"><a name="l00524"></a><span class="lineno">  524</span>&#160;        <span class="keywordflow">return</span> N-&gt;getId();</div><div class="line"><a name="l00525"></a><span class="lineno">  525</span>&#160;    }</div></div><!-- fragment -->
+<p class="definition">Definition at line <a class="el" href="GenericGraph_8h_source.html#l00519">519</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00520"></a><span class="lineno">  520</span>&#160;    {</div><div class="line"><a name="l00521"></a><span class="lineno">  521</span>&#160;        <span class="keywordflow">return</span> N-&gt;getId();</div><div class="line"><a name="l00522"></a><span class="lineno">  522</span>&#160;    }</div></div><!-- fragment -->
 </div>
 </div>
 <hr/>The documentation for this struct was generated from the following file:<ul>