svf-tools 1.0.853 → 1.0.855

package/SVF-doxygen/html/structSVF_1_1DOTGraphTraits_3_01ConstraintGraph_01_5_01_4.html

@@ -172,7 +172,7 @@ Additional Inherited Members</h2></td></tr>
 </table>
 <a name="details" id="details"></a><h2 class="groupheader">Detailed Description</h2>
 <div class="textblock">
-<p class="definition">Definition at line <a class="el" href="ConsG_8cpp_source.html#l00705">705</a> of file <a class="el" href="ConsG_8cpp_source.html">ConsG.cpp</a>.</p>
+<p class="definition">Definition at line <a class="el" href="ConsG_8cpp_source.html#l00725">725</a> of file <a class="el" href="ConsG_8cpp_source.html">ConsG.cpp</a>.</p>
 </div><h2 class="groupheader">Member Typedef Documentation</h2>
 <a id="a94e74890f433758f3a38238f59400a3f"></a>
 <h2 class="memtitle"><span class="permalink"><a href="#a94e74890f433758f3a38238f59400a3f">&#9670;&nbsp;</a></span>NodeType</h2>
@@ -186,7 +186,7 @@ Additional Inherited Members</h2></td></tr>
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="ConsG_8cpp_source.html#l00708">708</a> of file <a class="el" href="ConsG_8cpp_source.html">ConsG.cpp</a>.</p>
+<p class="definition">Definition at line <a class="el" href="ConsG_8cpp_source.html#l00728">728</a> of file <a class="el" href="ConsG_8cpp_source.html">ConsG.cpp</a>.</p>
 
 </div>
 </div>
@@ -215,11 +215,11 @@ Additional Inherited Members</h2></td></tr>
 </table>
 </div><div class="memdoc">
 
-<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="l00709"></a><span class="lineno">  709</span>&#160;                                          :</div>
-<div class="line"><a name="l00710"></a><span class="lineno">  710</span>&#160;        <a class="code" href="structSVF_1_1DOTGraphTraits.html">DOTGraphTraits&lt;SVFIR*&gt;</a>(<a class="code" href="structSVF_1_1DefaultDOTGraphTraits.html#acc82bc6228128e5bb98a6b00d6dc5f77">isSimple</a>)</div>
-<div class="line"><a name="l00711"></a><span class="lineno">  711</span>&#160;    {</div>
-<div class="line"><a name="l00712"></a><span class="lineno">  712</span>&#160;    }</div>
+<p class="definition">Definition at line <a class="el" href="ConsG_8cpp_source.html#l00729">729</a> of file <a class="el" href="ConsG_8cpp_source.html">ConsG.cpp</a>.</p>
+<div class="fragment"><div class="line"><a name="l00729"></a><span class="lineno">  729</span>&#160;                                          :</div>
+<div class="line"><a name="l00730"></a><span class="lineno">  730</span>&#160;        <a class="code" href="structSVF_1_1DOTGraphTraits.html">DOTGraphTraits&lt;SVFIR*&gt;</a>(<a class="code" href="structSVF_1_1DefaultDOTGraphTraits.html#acc82bc6228128e5bb98a6b00d6dc5f77">isSimple</a>)</div>
+<div class="line"><a name="l00731"></a><span class="lineno">  731</span>&#160;    {</div>
+<div class="line"><a name="l00732"></a><span class="lineno">  732</span>&#160;    }</div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -266,37 +266,37 @@ template&lt;class EdgeIter &gt; </div>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="ConsG_8cpp_source.html#l00800">800</a> of file <a class="el" href="ConsG_8cpp_source.html">ConsG.cpp</a>.</p>
-<div class="fragment"><div class="line"><a name="l00801"></a><span class="lineno">  801</span>&#160;    {</div>
-<div class="line"><a name="l00802"></a><span class="lineno">  802</span>&#160;        <a class="code" href="classSVF_1_1ConstraintEdge.html">ConstraintEdge</a>* edge = *(EI.getCurrent());</div>
-<div class="line"><a name="l00803"></a><span class="lineno">  803</span>&#160;        assert(edge &amp;&amp; <span class="stringliteral">&quot;No edge found!!&quot;</span>);</div>
-<div class="line"><a name="l00804"></a><span class="lineno">  804</span>&#160;        <span class="keywordflow">if</span> (edge-&gt;<a class="code" href="classSVF_1_1GenericEdge.html#abe8525c542def8162b094c169a01993b">getEdgeKind</a>() == <a class="code" href="classSVF_1_1ConstraintEdge.html#a663af27955ba0c545f34fa1f076b7375aed68bc43e8aae49e8590e140eb0ffaf3">ConstraintEdge::Addr</a>)</div>
-<div class="line"><a name="l00805"></a><span class="lineno">  805</span>&#160;        {</div>
-<div class="line"><a name="l00806"></a><span class="lineno">  806</span>&#160;            <span class="keywordflow">return</span> <span class="stringliteral">&quot;color=green&quot;</span>;</div>
-<div class="line"><a name="l00807"></a><span class="lineno">  807</span>&#160;        }</div>
-<div class="line"><a name="l00808"></a><span class="lineno">  808</span>&#160;        <span class="keywordflow">else</span> <span class="keywordflow">if</span> (edge-&gt;<a class="code" href="classSVF_1_1GenericEdge.html#abe8525c542def8162b094c169a01993b">getEdgeKind</a>() == <a class="code" href="classSVF_1_1ConstraintEdge.html#a663af27955ba0c545f34fa1f076b7375a29b0aa3353f866ef1655ab6d4716feb9">ConstraintEdge::Copy</a>)</div>
-<div class="line"><a name="l00809"></a><span class="lineno">  809</span>&#160;        {</div>
-<div class="line"><a name="l00810"></a><span class="lineno">  810</span>&#160;            <span class="keywordflow">return</span> <span class="stringliteral">&quot;color=black&quot;</span>;</div>
-<div class="line"><a name="l00811"></a><span class="lineno">  811</span>&#160;        }</div>
-<div class="line"><a name="l00812"></a><span class="lineno">  812</span>&#160;        <span class="keywordflow">else</span> <span class="keywordflow">if</span> (edge-&gt;<a class="code" href="classSVF_1_1GenericEdge.html#abe8525c542def8162b094c169a01993b">getEdgeKind</a>() == <a class="code" href="classSVF_1_1ConstraintEdge.html#a663af27955ba0c545f34fa1f076b7375acfd0a194af0da66162545f0089eb4baa">ConstraintEdge::NormalGep</a></div>
-<div class="line"><a name="l00813"></a><span class="lineno">  813</span>&#160;                 || edge-&gt;<a class="code" href="classSVF_1_1GenericEdge.html#abe8525c542def8162b094c169a01993b">getEdgeKind</a>() == <a class="code" href="classSVF_1_1ConstraintEdge.html#a663af27955ba0c545f34fa1f076b7375ae5df3ce07dd670b48916f7b8ab33ae5a">ConstraintEdge::VariantGep</a>)</div>
-<div class="line"><a name="l00814"></a><span class="lineno">  814</span>&#160;        {</div>
-<div class="line"><a name="l00815"></a><span class="lineno">  815</span>&#160;            <span class="keywordflow">return</span> <span class="stringliteral">&quot;color=purple&quot;</span>;</div>
-<div class="line"><a name="l00816"></a><span class="lineno">  816</span>&#160;        }</div>
-<div class="line"><a name="l00817"></a><span class="lineno">  817</span>&#160;        <span class="keywordflow">else</span> <span class="keywordflow">if</span> (edge-&gt;<a class="code" href="classSVF_1_1GenericEdge.html#abe8525c542def8162b094c169a01993b">getEdgeKind</a>() == <a class="code" href="classSVF_1_1ConstraintEdge.html#a663af27955ba0c545f34fa1f076b7375a20d6a102ddc06257a822ffffcc5a3b47">ConstraintEdge::Store</a>)</div>
-<div class="line"><a name="l00818"></a><span class="lineno">  818</span>&#160;        {</div>
-<div class="line"><a name="l00819"></a><span class="lineno">  819</span>&#160;            <span class="keywordflow">return</span> <span class="stringliteral">&quot;color=blue&quot;</span>;</div>
-<div class="line"><a name="l00820"></a><span class="lineno">  820</span>&#160;        }</div>
-<div class="line"><a name="l00821"></a><span class="lineno">  821</span>&#160;        <span class="keywordflow">else</span> <span class="keywordflow">if</span> (edge-&gt;<a class="code" href="classSVF_1_1GenericEdge.html#abe8525c542def8162b094c169a01993b">getEdgeKind</a>() == <a class="code" href="classSVF_1_1ConstraintEdge.html#a663af27955ba0c545f34fa1f076b7375a1bdeb9a06641d16b43391120812b40b2">ConstraintEdge::Load</a>)</div>
-<div class="line"><a name="l00822"></a><span class="lineno">  822</span>&#160;        {</div>
-<div class="line"><a name="l00823"></a><span class="lineno">  823</span>&#160;            <span class="keywordflow">return</span> <span class="stringliteral">&quot;color=red&quot;</span>;</div>
-<div class="line"><a name="l00824"></a><span class="lineno">  824</span>&#160;        }</div>
-<div class="line"><a name="l00825"></a><span class="lineno">  825</span>&#160;        <span class="keywordflow">else</span></div>
-<div class="line"><a name="l00826"></a><span class="lineno">  826</span>&#160;        {</div>
-<div class="line"><a name="l00827"></a><span class="lineno">  827</span>&#160;            assert(0 &amp;&amp; <span class="stringliteral">&quot;No such kind edge!!&quot;</span>);</div>
-<div class="line"><a name="l00828"></a><span class="lineno">  828</span>&#160;        }</div>
-<div class="line"><a name="l00829"></a><span class="lineno">  829</span>&#160;        <span class="keywordflow">return</span> <span class="stringliteral">&quot;&quot;</span>;</div>
-<div class="line"><a name="l00830"></a><span class="lineno">  830</span>&#160;    }</div>
+<p class="definition">Definition at line <a class="el" href="ConsG_8cpp_source.html#l00820">820</a> of file <a class="el" href="ConsG_8cpp_source.html">ConsG.cpp</a>.</p>
+<div class="fragment"><div class="line"><a name="l00821"></a><span class="lineno">  821</span>&#160;    {</div>
+<div class="line"><a name="l00822"></a><span class="lineno">  822</span>&#160;        <a class="code" href="classSVF_1_1ConstraintEdge.html">ConstraintEdge</a>* edge = *(EI.getCurrent());</div>
+<div class="line"><a name="l00823"></a><span class="lineno">  823</span>&#160;        assert(edge &amp;&amp; <span class="stringliteral">&quot;No edge found!!&quot;</span>);</div>
+<div class="line"><a name="l00824"></a><span class="lineno">  824</span>&#160;        <span class="keywordflow">if</span> (edge-&gt;<a class="code" href="classSVF_1_1GenericEdge.html#abe8525c542def8162b094c169a01993b">getEdgeKind</a>() == <a class="code" href="classSVF_1_1ConstraintEdge.html#a663af27955ba0c545f34fa1f076b7375aed68bc43e8aae49e8590e140eb0ffaf3">ConstraintEdge::Addr</a>)</div>
+<div class="line"><a name="l00825"></a><span class="lineno">  825</span>&#160;        {</div>
+<div class="line"><a name="l00826"></a><span class="lineno">  826</span>&#160;            <span class="keywordflow">return</span> <span class="stringliteral">&quot;color=green&quot;</span>;</div>
+<div class="line"><a name="l00827"></a><span class="lineno">  827</span>&#160;        }</div>
+<div class="line"><a name="l00828"></a><span class="lineno">  828</span>&#160;        <span class="keywordflow">else</span> <span class="keywordflow">if</span> (edge-&gt;<a class="code" href="classSVF_1_1GenericEdge.html#abe8525c542def8162b094c169a01993b">getEdgeKind</a>() == <a class="code" href="classSVF_1_1ConstraintEdge.html#a663af27955ba0c545f34fa1f076b7375a29b0aa3353f866ef1655ab6d4716feb9">ConstraintEdge::Copy</a>)</div>
+<div class="line"><a name="l00829"></a><span class="lineno">  829</span>&#160;        {</div>
+<div class="line"><a name="l00830"></a><span class="lineno">  830</span>&#160;            <span class="keywordflow">return</span> <span class="stringliteral">&quot;color=black&quot;</span>;</div>
+<div class="line"><a name="l00831"></a><span class="lineno">  831</span>&#160;        }</div>
+<div class="line"><a name="l00832"></a><span class="lineno">  832</span>&#160;        <span class="keywordflow">else</span> <span class="keywordflow">if</span> (edge-&gt;<a class="code" href="classSVF_1_1GenericEdge.html#abe8525c542def8162b094c169a01993b">getEdgeKind</a>() == <a class="code" href="classSVF_1_1ConstraintEdge.html#a663af27955ba0c545f34fa1f076b7375acfd0a194af0da66162545f0089eb4baa">ConstraintEdge::NormalGep</a></div>
+<div class="line"><a name="l00833"></a><span class="lineno">  833</span>&#160;                 || edge-&gt;<a class="code" href="classSVF_1_1GenericEdge.html#abe8525c542def8162b094c169a01993b">getEdgeKind</a>() == <a class="code" href="classSVF_1_1ConstraintEdge.html#a663af27955ba0c545f34fa1f076b7375ae5df3ce07dd670b48916f7b8ab33ae5a">ConstraintEdge::VariantGep</a>)</div>
+<div class="line"><a name="l00834"></a><span class="lineno">  834</span>&#160;        {</div>
+<div class="line"><a name="l00835"></a><span class="lineno">  835</span>&#160;            <span class="keywordflow">return</span> <span class="stringliteral">&quot;color=purple&quot;</span>;</div>
+<div class="line"><a name="l00836"></a><span class="lineno">  836</span>&#160;        }</div>
+<div class="line"><a name="l00837"></a><span class="lineno">  837</span>&#160;        <span class="keywordflow">else</span> <span class="keywordflow">if</span> (edge-&gt;<a class="code" href="classSVF_1_1GenericEdge.html#abe8525c542def8162b094c169a01993b">getEdgeKind</a>() == <a class="code" href="classSVF_1_1ConstraintEdge.html#a663af27955ba0c545f34fa1f076b7375a20d6a102ddc06257a822ffffcc5a3b47">ConstraintEdge::Store</a>)</div>
+<div class="line"><a name="l00838"></a><span class="lineno">  838</span>&#160;        {</div>
+<div class="line"><a name="l00839"></a><span class="lineno">  839</span>&#160;            <span class="keywordflow">return</span> <span class="stringliteral">&quot;color=blue&quot;</span>;</div>
+<div class="line"><a name="l00840"></a><span class="lineno">  840</span>&#160;        }</div>
+<div class="line"><a name="l00841"></a><span class="lineno">  841</span>&#160;        <span class="keywordflow">else</span> <span class="keywordflow">if</span> (edge-&gt;<a class="code" href="classSVF_1_1GenericEdge.html#abe8525c542def8162b094c169a01993b">getEdgeKind</a>() == <a class="code" href="classSVF_1_1ConstraintEdge.html#a663af27955ba0c545f34fa1f076b7375a1bdeb9a06641d16b43391120812b40b2">ConstraintEdge::Load</a>)</div>
+<div class="line"><a name="l00842"></a><span class="lineno">  842</span>&#160;        {</div>
+<div class="line"><a name="l00843"></a><span class="lineno">  843</span>&#160;            <span class="keywordflow">return</span> <span class="stringliteral">&quot;color=red&quot;</span>;</div>
+<div class="line"><a name="l00844"></a><span class="lineno">  844</span>&#160;        }</div>
+<div class="line"><a name="l00845"></a><span class="lineno">  845</span>&#160;        <span class="keywordflow">else</span></div>
+<div class="line"><a name="l00846"></a><span class="lineno">  846</span>&#160;        {</div>
+<div class="line"><a name="l00847"></a><span class="lineno">  847</span>&#160;            assert(0 &amp;&amp; <span class="stringliteral">&quot;No such kind edge!!&quot;</span>);</div>
+<div class="line"><a name="l00848"></a><span class="lineno">  848</span>&#160;        }</div>
+<div class="line"><a name="l00849"></a><span class="lineno">  849</span>&#160;        <span class="keywordflow">return</span> <span class="stringliteral">&quot;&quot;</span>;</div>
+<div class="line"><a name="l00850"></a><span class="lineno">  850</span>&#160;    }</div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -336,10 +336,10 @@ template&lt;class EdgeIter &gt; </div>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="ConsG_8cpp_source.html#l00833">833</a> of file <a class="el" href="ConsG_8cpp_source.html">ConsG.cpp</a>.</p>
-<div class="fragment"><div class="line"><a name="l00834"></a><span class="lineno">  834</span>&#160;    {</div>
-<div class="line"><a name="l00835"></a><span class="lineno">  835</span>&#160;        <span class="keywordflow">return</span> <span class="stringliteral">&quot;&quot;</span>;</div>
-<div class="line"><a name="l00836"></a><span class="lineno">  836</span>&#160;    }</div>
+<p class="definition">Definition at line <a class="el" href="ConsG_8cpp_source.html#l00853">853</a> of file <a class="el" href="ConsG_8cpp_source.html">ConsG.cpp</a>.</p>
+<div class="fragment"><div class="line"><a name="l00854"></a><span class="lineno">  854</span>&#160;    {</div>
+<div class="line"><a name="l00855"></a><span class="lineno">  855</span>&#160;        <span class="keywordflow">return</span> <span class="stringliteral">&quot;&quot;</span>;</div>
+<div class="line"><a name="l00856"></a><span class="lineno">  856</span>&#160;    }</div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -369,10 +369,10 @@ template&lt;class EdgeIter &gt; </div>
 
 <p>Return name of the graph. </p>
 
-<p class="definition">Definition at line <a class="el" href="ConsG_8cpp_source.html#l00715">715</a> of file <a class="el" href="ConsG_8cpp_source.html">ConsG.cpp</a>.</p>
-<div class="fragment"><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">return</span> <span class="stringliteral">&quot;ConstraintG&quot;</span>;</div>
-<div class="line"><a name="l00718"></a><span class="lineno">  718</span>&#160;    }</div>
+<p class="definition">Definition at line <a class="el" href="ConsG_8cpp_source.html#l00735">735</a> of file <a class="el" href="ConsG_8cpp_source.html">ConsG.cpp</a>.</p>
+<div class="fragment"><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;        <span class="keywordflow">return</span> <span class="stringliteral">&quot;ConstraintG&quot;</span>;</div>
+<div class="line"><a name="l00738"></a><span class="lineno">  738</span>&#160;    }</div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -410,43 +410,43 @@ template&lt;class EdgeIter &gt; </div>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="ConsG_8cpp_source.html#l00761">761</a> of file <a class="el" href="ConsG_8cpp_source.html">ConsG.cpp</a>.</p>
-<div class="fragment"><div class="line"><a name="l00762"></a><span class="lineno">  762</span>&#160;    {</div>
-<div class="line"><a name="l00763"></a><span class="lineno">  763</span>&#160;        <a class="code" href="classSVF_1_1SVFVar.html">PAGNode</a>* node = <a class="code" href="classSVF_1_1SVFIR.html#a37cfa2aa4e7b98ef9dc8179f581a2362">SVFIR::getPAG</a>()-&gt;<a class="code" href="classSVF_1_1GenericGraph.html#a43c9c773bfa17abf481c33073e30d01b">getGNode</a>(<a class="code" href="cJSON_8cpp.html#ab6e2ea6dc7bd57d1483413449998230a">n</a>-&gt;getId());</div>
-<div class="line"><a name="l00764"></a><span class="lineno">  764</span>&#160;        <span class="keywordflow">if</span> (SVFUtil::isa&lt;ValVar&gt;(node))</div>
-<div class="line"><a name="l00765"></a><span class="lineno">  765</span>&#160;        {</div>
-<div class="line"><a name="l00766"></a><span class="lineno">  766</span>&#160;            <span class="keywordflow">if</span>(SVFUtil::isa&lt;GepValVar&gt;(node))</div>
-<div class="line"><a name="l00767"></a><span class="lineno">  767</span>&#160;                <span class="keywordflow">return</span> <span class="stringliteral">&quot;shape=hexagon&quot;</span>;</div>
-<div class="line"><a name="l00768"></a><span class="lineno">  768</span>&#160;            <span class="keywordflow">else</span> <span class="keywordflow">if</span> (SVFUtil::isa&lt;DummyValVar&gt;(node))</div>
-<div class="line"><a name="l00769"></a><span class="lineno">  769</span>&#160;                <span class="keywordflow">return</span> <span class="stringliteral">&quot;shape=diamond&quot;</span>;</div>
-<div class="line"><a name="l00770"></a><span class="lineno">  770</span>&#160;            <span class="keywordflow">else</span></div>
-<div class="line"><a name="l00771"></a><span class="lineno">  771</span>&#160;                <span class="keywordflow">return</span> <span class="stringliteral">&quot;shape=box&quot;</span>;</div>
-<div class="line"><a name="l00772"></a><span class="lineno">  772</span>&#160;        }</div>
-<div class="line"><a name="l00773"></a><span class="lineno">  773</span>&#160;        <span class="keywordflow">else</span> <span class="keywordflow">if</span> (SVFUtil::isa&lt;ObjVar&gt;(node))</div>
-<div class="line"><a name="l00774"></a><span class="lineno">  774</span>&#160;        {</div>
-<div class="line"><a name="l00775"></a><span class="lineno">  775</span>&#160;            <span class="keywordflow">if</span>(SVFUtil::isa&lt;GepObjVar&gt;(node))</div>
-<div class="line"><a name="l00776"></a><span class="lineno">  776</span>&#160;                <span class="keywordflow">return</span> <span class="stringliteral">&quot;shape=doubleoctagon&quot;</span>;</div>
-<div class="line"><a name="l00777"></a><span class="lineno">  777</span>&#160;            <span class="keywordflow">else</span> <span class="keywordflow">if</span>(SVFUtil::isa&lt;FIObjVar&gt;(node))</div>
-<div class="line"><a name="l00778"></a><span class="lineno">  778</span>&#160;                <span class="keywordflow">return</span> <span class="stringliteral">&quot;shape=box3d&quot;</span>;</div>
-<div class="line"><a name="l00779"></a><span class="lineno">  779</span>&#160;            <span class="keywordflow">else</span> <span class="keywordflow">if</span> (SVFUtil::isa&lt;DummyObjVar&gt;(node))</div>
-<div class="line"><a name="l00780"></a><span class="lineno">  780</span>&#160;                <span class="keywordflow">return</span> <span class="stringliteral">&quot;shape=tab&quot;</span>;</div>
-<div class="line"><a name="l00781"></a><span class="lineno">  781</span>&#160;            <span class="keywordflow">else</span></div>
-<div class="line"><a name="l00782"></a><span class="lineno">  782</span>&#160;                <span class="keywordflow">return</span> <span class="stringliteral">&quot;shape=component&quot;</span>;</div>
-<div class="line"><a name="l00783"></a><span class="lineno">  783</span>&#160;        }</div>
-<div class="line"><a name="l00784"></a><span class="lineno">  784</span>&#160;        <span class="keywordflow">else</span> <span class="keywordflow">if</span> (SVFUtil::isa&lt;RetPN&gt;(node))</div>
+<p class="definition">Definition at line <a class="el" href="ConsG_8cpp_source.html#l00781">781</a> of file <a class="el" href="ConsG_8cpp_source.html">ConsG.cpp</a>.</p>
+<div class="fragment"><div class="line"><a name="l00782"></a><span class="lineno">  782</span>&#160;    {</div>
+<div class="line"><a name="l00783"></a><span class="lineno">  783</span>&#160;        <a class="code" href="classSVF_1_1SVFVar.html">PAGNode</a>* node = <a class="code" href="classSVF_1_1SVFIR.html#a37cfa2aa4e7b98ef9dc8179f581a2362">SVFIR::getPAG</a>()-&gt;<a class="code" href="classSVF_1_1GenericGraph.html#a43c9c773bfa17abf481c33073e30d01b">getGNode</a>(<a class="code" href="cJSON_8cpp.html#ab6e2ea6dc7bd57d1483413449998230a">n</a>-&gt;getId());</div>
+<div class="line"><a name="l00784"></a><span class="lineno">  784</span>&#160;        <span class="keywordflow">if</span> (SVFUtil::isa&lt;ValVar&gt;(node))</div>
 <div class="line"><a name="l00785"></a><span class="lineno">  785</span>&#160;        {</div>
-<div class="line"><a name="l00786"></a><span class="lineno">  786</span>&#160;            <span class="keywordflow">return</span> <span class="stringliteral">&quot;shape=Mrecord&quot;</span>;</div>
-<div class="line"><a name="l00787"></a><span class="lineno">  787</span>&#160;        }</div>
-<div class="line"><a name="l00788"></a><span class="lineno">  788</span>&#160;        <span class="keywordflow">else</span> <span class="keywordflow">if</span> (SVFUtil::isa&lt;VarArgPN&gt;(node))</div>
-<div class="line"><a name="l00789"></a><span class="lineno">  789</span>&#160;        {</div>
-<div class="line"><a name="l00790"></a><span class="lineno">  790</span>&#160;            <span class="keywordflow">return</span> <span class="stringliteral">&quot;shape=octagon&quot;</span>;</div>
-<div class="line"><a name="l00791"></a><span class="lineno">  791</span>&#160;        }</div>
-<div class="line"><a name="l00792"></a><span class="lineno">  792</span>&#160;        <span class="keywordflow">else</span></div>
-<div class="line"><a name="l00793"></a><span class="lineno">  793</span>&#160;        {</div>
-<div class="line"><a name="l00794"></a><span class="lineno">  794</span>&#160;            assert(0 &amp;&amp; <span class="stringliteral">&quot;no such kind!!&quot;</span>);</div>
-<div class="line"><a name="l00795"></a><span class="lineno">  795</span>&#160;        }</div>
-<div class="line"><a name="l00796"></a><span class="lineno">  796</span>&#160;        <span class="keywordflow">return</span> <span class="stringliteral">&quot;&quot;</span>;</div>
-<div class="line"><a name="l00797"></a><span class="lineno">  797</span>&#160;    }</div>
+<div class="line"><a name="l00786"></a><span class="lineno">  786</span>&#160;            <span class="keywordflow">if</span>(SVFUtil::isa&lt;GepValVar&gt;(node))</div>
+<div class="line"><a name="l00787"></a><span class="lineno">  787</span>&#160;                <span class="keywordflow">return</span> <span class="stringliteral">&quot;shape=hexagon&quot;</span>;</div>
+<div class="line"><a name="l00788"></a><span class="lineno">  788</span>&#160;            <span class="keywordflow">else</span> <span class="keywordflow">if</span> (SVFUtil::isa&lt;DummyValVar&gt;(node))</div>
+<div class="line"><a name="l00789"></a><span class="lineno">  789</span>&#160;                <span class="keywordflow">return</span> <span class="stringliteral">&quot;shape=diamond&quot;</span>;</div>
+<div class="line"><a name="l00790"></a><span class="lineno">  790</span>&#160;            <span class="keywordflow">else</span></div>
+<div class="line"><a name="l00791"></a><span class="lineno">  791</span>&#160;                <span class="keywordflow">return</span> <span class="stringliteral">&quot;shape=box&quot;</span>;</div>
+<div class="line"><a name="l00792"></a><span class="lineno">  792</span>&#160;        }</div>
+<div class="line"><a name="l00793"></a><span class="lineno">  793</span>&#160;        <span class="keywordflow">else</span> <span class="keywordflow">if</span> (SVFUtil::isa&lt;ObjVar&gt;(node))</div>
+<div class="line"><a name="l00794"></a><span class="lineno">  794</span>&#160;        {</div>
+<div class="line"><a name="l00795"></a><span class="lineno">  795</span>&#160;            <span class="keywordflow">if</span>(SVFUtil::isa&lt;GepObjVar&gt;(node))</div>
+<div class="line"><a name="l00796"></a><span class="lineno">  796</span>&#160;                <span class="keywordflow">return</span> <span class="stringliteral">&quot;shape=doubleoctagon&quot;</span>;</div>
+<div class="line"><a name="l00797"></a><span class="lineno">  797</span>&#160;            <span class="keywordflow">else</span> <span class="keywordflow">if</span>(SVFUtil::isa&lt;FIObjVar&gt;(node))</div>
+<div class="line"><a name="l00798"></a><span class="lineno">  798</span>&#160;                <span class="keywordflow">return</span> <span class="stringliteral">&quot;shape=box3d&quot;</span>;</div>
+<div class="line"><a name="l00799"></a><span class="lineno">  799</span>&#160;            <span class="keywordflow">else</span> <span class="keywordflow">if</span> (SVFUtil::isa&lt;DummyObjVar&gt;(node))</div>
+<div class="line"><a name="l00800"></a><span class="lineno">  800</span>&#160;                <span class="keywordflow">return</span> <span class="stringliteral">&quot;shape=tab&quot;</span>;</div>
+<div class="line"><a name="l00801"></a><span class="lineno">  801</span>&#160;            <span class="keywordflow">else</span></div>
+<div class="line"><a name="l00802"></a><span class="lineno">  802</span>&#160;                <span class="keywordflow">return</span> <span class="stringliteral">&quot;shape=component&quot;</span>;</div>
+<div class="line"><a name="l00803"></a><span class="lineno">  803</span>&#160;        }</div>
+<div class="line"><a name="l00804"></a><span class="lineno">  804</span>&#160;        <span class="keywordflow">else</span> <span class="keywordflow">if</span> (SVFUtil::isa&lt;RetPN&gt;(node))</div>
+<div class="line"><a name="l00805"></a><span class="lineno">  805</span>&#160;        {</div>
+<div class="line"><a name="l00806"></a><span class="lineno">  806</span>&#160;            <span class="keywordflow">return</span> <span class="stringliteral">&quot;shape=Mrecord&quot;</span>;</div>
+<div class="line"><a name="l00807"></a><span class="lineno">  807</span>&#160;        }</div>
+<div class="line"><a name="l00808"></a><span class="lineno">  808</span>&#160;        <span class="keywordflow">else</span> <span class="keywordflow">if</span> (SVFUtil::isa&lt;VarArgPN&gt;(node))</div>
+<div class="line"><a name="l00809"></a><span class="lineno">  809</span>&#160;        {</div>
+<div class="line"><a name="l00810"></a><span class="lineno">  810</span>&#160;            <span class="keywordflow">return</span> <span class="stringliteral">&quot;shape=octagon&quot;</span>;</div>
+<div class="line"><a name="l00811"></a><span class="lineno">  811</span>&#160;        }</div>
+<div class="line"><a name="l00812"></a><span class="lineno">  812</span>&#160;        <span class="keywordflow">else</span></div>
+<div class="line"><a name="l00813"></a><span class="lineno">  813</span>&#160;        {</div>
+<div class="line"><a name="l00814"></a><span class="lineno">  814</span>&#160;            assert(0 &amp;&amp; <span class="stringliteral">&quot;no such kind!!&quot;</span>);</div>
+<div class="line"><a name="l00815"></a><span class="lineno">  815</span>&#160;        }</div>
+<div class="line"><a name="l00816"></a><span class="lineno">  816</span>&#160;        <span class="keywordflow">return</span> <span class="stringliteral">&quot;&quot;</span>;</div>
+<div class="line"><a name="l00817"></a><span class="lineno">  817</span>&#160;    }</div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -485,38 +485,38 @@ template&lt;class EdgeIter &gt; </div>
 </div><div class="memdoc">
 <p>Return label of a <a class="el" href="classSVF_1_1VFG.html">VFG</a> 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="ConsG_8cpp_source.html#l00728">728</a> of file <a class="el" href="ConsG_8cpp_source.html">ConsG.cpp</a>.</p>
-<div class="fragment"><div class="line"><a name="l00729"></a><span class="lineno">  729</span>&#160;    {</div>
-<div class="line"><a name="l00730"></a><span class="lineno">  730</span>&#160;        <a class="code" href="classSVF_1_1SVFVar.html">PAGNode</a>* node = <a class="code" href="classSVF_1_1SVFIR.html#a37cfa2aa4e7b98ef9dc8179f581a2362">SVFIR::getPAG</a>()-&gt;<a class="code" href="classSVF_1_1GenericGraph.html#a43c9c773bfa17abf481c33073e30d01b">getGNode</a>(<a class="code" href="cJSON_8cpp.html#ab6e2ea6dc7bd57d1483413449998230a">n</a>-&gt;getId());</div>
-<div class="line"><a name="l00731"></a><span class="lineno">  731</span>&#160;        <span class="keywordtype">bool</span> briefDisplay = <a class="code" href="classSVF_1_1Options.html#a25a3db9daa81a127a8dad86888adea6c">Options::BriefConsCGDotGraph</a>();</div>
-<div class="line"><a name="l00732"></a><span class="lineno">  732</span>&#160;        <span class="keywordtype">bool</span> nameDisplay = <span class="keyword">true</span>;</div>
-<div class="line"><a name="l00733"></a><span class="lineno">  733</span>&#160;        <a class="code" href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">std::string</a> str;</div>
-<div class="line"><a name="l00734"></a><span class="lineno">  734</span>&#160;        std::stringstream rawstr(str);</div>
-<div class="line"><a name="l00735"></a><span class="lineno">  735</span>&#160; </div>
-<div class="line"><a name="l00736"></a><span class="lineno">  736</span>&#160;        <span class="keywordflow">if</span> (briefDisplay)</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;            <span class="keywordflow">if</span> (SVFUtil::isa&lt;ValVar&gt;(node))</div>
-<div class="line"><a name="l00739"></a><span class="lineno">  739</span>&#160;            {</div>
-<div class="line"><a name="l00740"></a><span class="lineno">  740</span>&#160;                <span class="keywordflow">if</span> (nameDisplay)</div>
-<div class="line"><a name="l00741"></a><span class="lineno">  741</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="l00742"></a><span class="lineno">  742</span>&#160;                <span class="keywordflow">else</span></div>
-<div class="line"><a name="l00743"></a><span class="lineno">  743</span>&#160;                    rawstr &lt;&lt; node-&gt;<a class="code" href="classSVF_1_1GenericNode.html#ac3e55ef37aefb411ea4c87b1aa3b1895">getId</a>();</div>
-<div class="line"><a name="l00744"></a><span class="lineno">  744</span>&#160;            }</div>
-<div class="line"><a name="l00745"></a><span class="lineno">  745</span>&#160;            <span class="keywordflow">else</span></div>
-<div class="line"><a name="l00746"></a><span class="lineno">  746</span>&#160;                rawstr &lt;&lt; node-&gt;<a class="code" href="classSVF_1_1GenericNode.html#ac3e55ef37aefb411ea4c87b1aa3b1895">getId</a>();</div>
-<div class="line"><a name="l00747"></a><span class="lineno">  747</span>&#160;        }</div>
-<div class="line"><a name="l00748"></a><span class="lineno">  748</span>&#160;        <span class="keywordflow">else</span></div>
-<div class="line"><a name="l00749"></a><span class="lineno">  749</span>&#160;        {</div>
-<div class="line"><a name="l00750"></a><span class="lineno">  750</span>&#160;            <span class="comment">// print the whole value</span></div>
-<div class="line"><a name="l00751"></a><span class="lineno">  751</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="l00752"></a><span class="lineno">  752</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#ac2db6304ea5526fb446ae882983beeb0">getValue</a>()-&gt;<a class="code" href="classSVF_1_1SVFValue.html#a4a0cfe3a8f37d33ffcdca3d66026dcc3">toString</a>();</div>
-<div class="line"><a name="l00753"></a><span class="lineno">  753</span>&#160;            <span class="keywordflow">else</span></div>
-<div class="line"><a name="l00754"></a><span class="lineno">  754</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>
+<p class="definition">Definition at line <a class="el" href="ConsG_8cpp_source.html#l00748">748</a> of file <a class="el" href="ConsG_8cpp_source.html">ConsG.cpp</a>.</p>
+<div class="fragment"><div class="line"><a name="l00749"></a><span class="lineno">  749</span>&#160;    {</div>
+<div class="line"><a name="l00750"></a><span class="lineno">  750</span>&#160;        <a class="code" href="classSVF_1_1SVFVar.html">PAGNode</a>* node = <a class="code" href="classSVF_1_1SVFIR.html#a37cfa2aa4e7b98ef9dc8179f581a2362">SVFIR::getPAG</a>()-&gt;<a class="code" href="classSVF_1_1GenericGraph.html#a43c9c773bfa17abf481c33073e30d01b">getGNode</a>(<a class="code" href="cJSON_8cpp.html#ab6e2ea6dc7bd57d1483413449998230a">n</a>-&gt;getId());</div>
+<div class="line"><a name="l00751"></a><span class="lineno">  751</span>&#160;        <span class="keywordtype">bool</span> briefDisplay = <a class="code" href="classSVF_1_1Options.html#a25a3db9daa81a127a8dad86888adea6c">Options::BriefConsCGDotGraph</a>();</div>
+<div class="line"><a name="l00752"></a><span class="lineno">  752</span>&#160;        <span class="keywordtype">bool</span> nameDisplay = <span class="keyword">true</span>;</div>
+<div class="line"><a name="l00753"></a><span class="lineno">  753</span>&#160;        <a class="code" href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">std::string</a> str;</div>
+<div class="line"><a name="l00754"></a><span class="lineno">  754</span>&#160;        std::stringstream rawstr(str);</div>
 <div class="line"><a name="l00755"></a><span class="lineno">  755</span>&#160; </div>
-<div class="line"><a name="l00756"></a><span class="lineno">  756</span>&#160;        }</div>
-<div class="line"><a name="l00757"></a><span class="lineno">  757</span>&#160; </div>
-<div class="line"><a name="l00758"></a><span class="lineno">  758</span>&#160;        <span class="keywordflow">return</span> rawstr.str();</div>
-<div class="line"><a name="l00759"></a><span class="lineno">  759</span>&#160;    }</div>
+<div class="line"><a name="l00756"></a><span class="lineno">  756</span>&#160;        <span class="keywordflow">if</span> (briefDisplay)</div>
+<div class="line"><a name="l00757"></a><span class="lineno">  757</span>&#160;        {</div>
+<div class="line"><a name="l00758"></a><span class="lineno">  758</span>&#160;            <span class="keywordflow">if</span> (SVFUtil::isa&lt;ValVar&gt;(node))</div>
+<div class="line"><a name="l00759"></a><span class="lineno">  759</span>&#160;            {</div>
+<div class="line"><a name="l00760"></a><span class="lineno">  760</span>&#160;                <span class="keywordflow">if</span> (nameDisplay)</div>
+<div class="line"><a name="l00761"></a><span class="lineno">  761</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="l00762"></a><span class="lineno">  762</span>&#160;                <span class="keywordflow">else</span></div>
+<div class="line"><a name="l00763"></a><span class="lineno">  763</span>&#160;                    rawstr &lt;&lt; node-&gt;<a class="code" href="classSVF_1_1GenericNode.html#ac3e55ef37aefb411ea4c87b1aa3b1895">getId</a>();</div>
+<div class="line"><a name="l00764"></a><span class="lineno">  764</span>&#160;            }</div>
+<div class="line"><a name="l00765"></a><span class="lineno">  765</span>&#160;            <span class="keywordflow">else</span></div>
+<div class="line"><a name="l00766"></a><span class="lineno">  766</span>&#160;                rawstr &lt;&lt; node-&gt;<a class="code" href="classSVF_1_1GenericNode.html#ac3e55ef37aefb411ea4c87b1aa3b1895">getId</a>();</div>
+<div class="line"><a name="l00767"></a><span class="lineno">  767</span>&#160;        }</div>
+<div class="line"><a name="l00768"></a><span class="lineno">  768</span>&#160;        <span class="keywordflow">else</span></div>
+<div class="line"><a name="l00769"></a><span class="lineno">  769</span>&#160;        {</div>
+<div class="line"><a name="l00770"></a><span class="lineno">  770</span>&#160;            <span class="comment">// print the whole value</span></div>
+<div class="line"><a name="l00771"></a><span class="lineno">  771</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="l00772"></a><span class="lineno">  772</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#ac2db6304ea5526fb446ae882983beeb0">getValue</a>()-&gt;<a class="code" href="classSVF_1_1SVFValue.html#a4a0cfe3a8f37d33ffcdca3d66026dcc3">toString</a>();</div>
+<div class="line"><a name="l00773"></a><span class="lineno">  773</span>&#160;            <span class="keywordflow">else</span></div>
+<div class="line"><a name="l00774"></a><span class="lineno">  774</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="l00775"></a><span class="lineno">  775</span>&#160; </div>
+<div class="line"><a name="l00776"></a><span class="lineno">  776</span>&#160;        }</div>
+<div class="line"><a name="l00777"></a><span class="lineno">  777</span>&#160; </div>
+<div class="line"><a name="l00778"></a><span class="lineno">  778</span>&#160;        <span class="keywordflow">return</span> rawstr.str();</div>
+<div class="line"><a name="l00779"></a><span class="lineno">  779</span>&#160;    }</div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -554,11 +554,11 @@ template&lt;class EdgeIter &gt; </div>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="ConsG_8cpp_source.html#l00720">720</a> of file <a class="el" href="ConsG_8cpp_source.html">ConsG.cpp</a>.</p>
-<div class="fragment"><div class="line"><a name="l00721"></a><span class="lineno">  721</span>&#160;    {</div>
-<div class="line"><a name="l00722"></a><span class="lineno">  722</span>&#160;        <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1Options.html#adee65a3773fbb98532538c938230e1d3">Options::ShowHiddenNode</a>()) <span class="keywordflow">return</span> <span class="keyword">false</span>;</div>
-<div class="line"><a name="l00723"></a><span class="lineno">  723</span>&#160;        <span class="keywordflow">else</span> <span class="keywordflow">return</span> (<a class="code" href="cJSON_8cpp.html#ab6e2ea6dc7bd57d1483413449998230a">n</a>-&gt;getInEdges().empty() &amp;&amp; <a class="code" href="cJSON_8cpp.html#ab6e2ea6dc7bd57d1483413449998230a">n</a>-&gt;getOutEdges().empty());</div>
-<div class="line"><a name="l00724"></a><span class="lineno">  724</span>&#160;    }</div>
+<p class="definition">Definition at line <a class="el" href="ConsG_8cpp_source.html#l00740">740</a> of file <a class="el" href="ConsG_8cpp_source.html">ConsG.cpp</a>.</p>
+<div class="fragment"><div class="line"><a name="l00741"></a><span class="lineno">  741</span>&#160;    {</div>
+<div class="line"><a name="l00742"></a><span class="lineno">  742</span>&#160;        <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1Options.html#adee65a3773fbb98532538c938230e1d3">Options::ShowHiddenNode</a>()) <span class="keywordflow">return</span> <span class="keyword">false</span>;</div>
+<div class="line"><a name="l00743"></a><span class="lineno">  743</span>&#160;        <span class="keywordflow">else</span> <span class="keywordflow">return</span> (<a class="code" href="cJSON_8cpp.html#ab6e2ea6dc7bd57d1483413449998230a">n</a>-&gt;getInEdges().empty() &amp;&amp; <a class="code" href="cJSON_8cpp.html#ab6e2ea6dc7bd57d1483413449998230a">n</a>-&gt;getOutEdges().empty());</div>
+<div class="line"><a name="l00744"></a><span class="lineno">  744</span>&#160;    }</div>
 </div><!-- fragment -->
 </div>
 </div>

package/SVF-doxygen/html/structSVF_1_1GenericGraphTraits_3_01Inverse_3_01SVF_1_1ConstraintNode_01_5_01_4_01_4.html

@@ -95,7 +95,7 @@ Additional Inherited Members</h2></td></tr>
 <a name="details" id="details"></a><h2 class="groupheader">Detailed Description</h2>
 <div class="textblock"><p><a class="el" href="structSVF_1_1Inverse.html">Inverse</a> <a class="el" href="structSVF_1_1GenericGraphTraits.html">GenericGraphTraits</a> specializations for Value flow node, it is used for inverse traversal. </p>
 
-<p class="definition">Definition at line <a class="el" href="ConsG_8h_source.html#l00397">397</a> of file <a class="el" href="ConsG_8h_source.html">ConsG.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="ConsG_8h_source.html#l00399">399</a> of file <a class="el" href="ConsG_8h_source.html">ConsG.h</a>.</p>
 </div><hr/>The documentation for this struct was generated from the following file:<ul>
 <li>/home/runner/work/SVF/SVF/svf/include/Graphs/<a class="el" href="ConsG_8h_source.html">ConsG.h</a></li>
 </ul>

package/SVF-doxygen/html/structSVF_1_1GenericGraphTraits_3_01SVF_1_1ConstraintGraph_01_5_01_4.html

@@ -94,7 +94,7 @@ Public Types</h2></td></tr>
 </table>
 <a name="details" id="details"></a><h2 class="groupheader">Detailed Description</h2>
 <div class="textblock">
-<p class="definition">Definition at line <a class="el" href="ConsG_8h_source.html#l00401">401</a> of file <a class="el" href="ConsG_8h_source.html">ConsG.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="ConsG_8h_source.html#l00403">403</a> of file <a class="el" href="ConsG_8h_source.html">ConsG.h</a>.</p>
 </div><h2 class="groupheader">Member Typedef Documentation</h2>
 <a id="a5cb946aa10005bc7605528bd09006090"></a>
 <h2 class="memtitle"><span class="permalink"><a href="#a5cb946aa10005bc7605528bd09006090">&#9670;&nbsp;</a></span>NodeRef</h2>
@@ -108,7 +108,7 @@ Public Types</h2></td></tr>
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="ConsG_8h_source.html#l00403">403</a> of file <a class="el" href="ConsG_8h_source.html">ConsG.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="ConsG_8h_source.html#l00405">405</a> of file <a class="el" href="ConsG_8h_source.html">ConsG.h</a>.</p>
 
 </div>
 </div>

package/SVF-doxygen/html/structSVF_1_1GenericGraphTraits_3_01SVF_1_1ConstraintNode_01_5_01_4.html

@@ -91,7 +91,7 @@ Additional Inherited Members</h2></td></tr>
 </table>
 <a name="details" id="details"></a><h2 class="groupheader">Detailed Description</h2>
 <div class="textblock">
-<p class="definition">Definition at line <a class="el" href="ConsG_8h_source.html#l00391">391</a> of file <a class="el" href="ConsG_8h_source.html">ConsG.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="ConsG_8h_source.html#l00393">393</a> of file <a class="el" href="ConsG_8h_source.html">ConsG.h</a>.</p>
 </div><hr/>The documentation for this struct was generated from the following file:<ul>
 <li>/home/runner/work/SVF/SVF/svf/include/Graphs/<a class="el" href="ConsG_8h_source.html">ConsG.h</a></li>
 </ul>

package/build.sh

@@ -6,7 +6,7 @@
 # Dependencies include: build-essential libncurses5 libncurses-dev cmake zlib1g-dev
 set -e # exit on first error
 
-jobs=4
+jobs=8
 
 #########
 # VARs and Links

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "svf-tools",
-  "version": "1.0.853",
+  "version": "1.0.855",
   "description": "* <b>[TypeClone](https://github.com/SVF-tools/SVF/wiki/TypeClone) published in our [ECOOP paper](https://yuleisui.github.io/publications/ecoop20.pdf) is now available in SVF </b> * <b>SVF now uses a single script for its build. Just type [`source ./build.sh`](https://github.com/SVF-tools/SVF/blob/master/build.sh) in your terminal, that's it!</b> * <b>SVF now supports LLVM-10.0.0! </b> * <b>We thank [bsauce](https://github.com/bsauce) for writing a user manual of SVF ([link1](https://www.jianshu.com/p/068a08ec749c) and [link2](https://www.jianshu.com/p/777c30d4240e)) in Chinese </b> * <b>SVF now supports LLVM-9.0.0 (Thank [Byoungyoung Lee](https://github.com/SVF-tools/SVF/issues/142) for his help!). </b> * <b>SVF now supports a set of [field-sensitive pointer analyses](https://yuleisui.github.io/publications/sas2019a.pdf). </b> * <b>[Use SVF as an external lib](https://github.com/SVF-tools/SVF/wiki/Using-SVF-as-a-lib-in-your-own-tool) for your own project (Contributed by [Hongxu Chen](https://github.com/HongxuChen)). </b> * <b>SVF now supports LLVM-7.0.0. </b> * <b>SVF now supports Docker. [Try SVF in Docker](https://github.com/SVF-tools/SVF/wiki/Try-SVF-in-Docker)! </b> * <b>SVF now supports [LLVM-6.0.0](https://github.com/svf-tools/SVF/pull/38) (Contributed by [Jack Anthony](https://github.com/jackanth)). </b> * <b>SVF now supports [LLVM-4.0.0](https://github.com/svf-tools/SVF/pull/23) (Contributed by Jared Carlson. Thank [Jared](https://github.com/jcarlson23) and [Will](https://github.com/dtzWill) for their in-depth [discussions](https://github.com/svf-tools/SVF/pull/18) about updating SVF!) </b> * <b>SVF now supports analysis for C++ programs.</b> <br />",
   "main": "index.js",
   "scripts": {

package/svf/include/DDA/DDAStat.h

@@ -75,18 +75,6 @@ public:
 
     void getNumOfOOBQuery();
 
-    inline void setMemUsageBefore(u32_t vmrss, u32_t vmsize)
-    {
-        _vmrssUsageBefore = vmrss;
-        _vmsizeUsageBefore = vmsize;
-    }
-
-    inline void setMemUsageAfter(u32_t vmrss, u32_t vmsize)
-    {
-        _vmrssUsageAfter = vmrss;
-        _vmsizeUsageAfter = vmsize;
-    }
-
 private:
     FlowDDA* flowDDA;
     ContextDDA* contextDDA;
@@ -110,11 +98,6 @@ private:
     u32_t _NumOfConstantPtr;
     u32_t _NumOfBlackholePtr;
 
-    u32_t _vmrssUsageBefore;
-    u32_t _vmrssUsageAfter;
-    u32_t _vmsizeUsageBefore;
-    u32_t _vmsizeUsageAfter;
-
     double _AvgNumOfDPMAtSVFGNode;
     u32_t _MaxNumOfDPMAtSVFGNode;
 

package/svf/include/Graphs/ConsG.h

@@ -67,6 +67,8 @@ protected:
 
     void destroy();
 
+    void clearSolitaries();  // remove nodes that are neither pointers nor connected with any edge
+
     SVFStmt::SVFStmtSetTy& getPAGEdgeSet(SVFStmt::PEDGEK kind)
     {
         return pag->getPTASVFStmtSet(kind);

package/svf/include/Util/PTAStat.h

@@ -53,11 +53,29 @@ public:
 
     NodeBS localVarInRecursion;
 
+    inline void setMemUsageBefore(u32_t vmrss, u32_t vmsize)
+    {
+        _vmrssUsageBefore = vmrss;
+        _vmsizeUsageBefore = vmsize;
+    }
+
+    inline void setMemUsageAfter(u32_t vmrss, u32_t vmsize)
+    {
+        _vmrssUsageAfter = vmrss;
+        _vmsizeUsageAfter = vmsize;
+    }
+
     void performStat() override;
 
     void callgraphStat() override;
-private:
+
+
+protected:
     PointerAnalysis* pta;
+    u32_t _vmrssUsageBefore;
+    u32_t _vmrssUsageAfter;
+    u32_t _vmsizeUsageBefore;
+    u32_t _vmsizeUsageAfter;
 };
 
 } // End namespace SVF

package/svf/lib/DDA/DDAStat.cpp

@@ -82,9 +82,6 @@ void DDAStat::initDefault()
     _AnaTimePerQuery = 0;
     _AnaTimeCyclePerQuery = 0;
     _TotalTimeOfQueries = 0;
-
-    _vmrssUsageBefore = _vmrssUsageAfter = 0;
-    _vmsizeUsageBefore = _vmsizeUsageAfter = 0;
 }
 
 SVFG* DDAStat::getSVFG() const

package/svf/lib/Graphs/ConsG.cpp

@@ -139,8 +139,28 @@ void ConstraintGraph::buildCG()
         StoreStmt* edge = SVFUtil::cast<StoreStmt>(*iter);
         addStoreCGEdge(edge->getRHSVarID(),edge->getLHSVarID());
     }
+
+    clearSolitaries();
 }
 
+/*!
+ * Remove nodes that are neither pointers nor connected with any edge
+ */
+void ConstraintGraph::clearSolitaries()
+{
+    Set<ConstraintNode*> nodesToRemove;
+    for (auto it = this->begin(); it != this->end(); ++it)
+    {
+        if (it->second->hasIncomingEdge() || it->second->hasOutgoingEdge())
+            continue;
+        if (pag->getGNode(it->first)->isPointer())
+            continue;
+        nodesToRemove.insert(it->second);
+    }
+
+    for (auto node : nodesToRemove)
+        removeConstraintNode(node);
+}
 
 /*!
  * Memory has been cleaned up at GenericGraph