npm - svf-tools - Versions diffs - 1.0.595 → 1.0.597 - Mend

svf-tools 1.0.595 → 1.0.597

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

Files changed (980) hide show

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

@@ -0,0 +1,595 @@
+<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
+<html xmlns="http://www.w3.org/1999/xhtml">
+<head>
+<meta http-equiv="Content-Type" content="text/xhtml;charset=UTF-8"/>
+<meta http-equiv="X-UA-Compatible" content="IE=9"/>
+<meta name="generator" content="Doxygen 1.8.13"/>
+<meta name="viewport" content="width=device-width, initial-scale=1"/>
+<title>Static Value-Flow Analysis: SVF::DOTGraphTraits&lt; SVFG * &gt; Struct Template Reference</title>
+<link href="tabs.css" rel="stylesheet" type="text/css"/>
+<script type="text/javascript" src="jquery.js"></script>
+<script type="text/javascript" src="dynsections.js"></script>
+<link href="search/search.css" rel="stylesheet" type="text/css"/>
+<script type="text/javascript" src="search/searchdata.js"></script>
+<script type="text/javascript" src="search/search.js"></script>
+<link href="doxygen.css" rel="stylesheet" type="text/css" />
+</head>
+<body>
+<div id="top"><!-- do not remove this div, it is closed by doxygen! -->
+<div id="titlearea">
+<table cellspacing="0" cellpadding="0">
+ <tbody>
+ <tr style="height: 56px;">
+  <td id="projectalign" style="padding-left: 0.5em;">
+   <div id="projectname">Static Value-Flow Analysis
+   </div>
+  </td>
+ </tr>
+ </tbody>
+</table>
+</div>
+<!-- end header part -->
+<!-- Generated by Doxygen 1.8.13 -->
+<script type="text/javascript">
+var searchBox = new SearchBox("searchBox", "search",false,'Search');
+</script>
+<script type="text/javascript" src="menudata.js"></script>
+<script type="text/javascript" src="menu.js"></script>
+<script type="text/javascript">
+$(function() {
+  initMenu('',true,false,'search.php','Search');
+  $(document).ready(function() { init_search(); });
+});
+</script>
+<div id="main-nav"></div>
+<!-- window showing the filter options -->
+<div id="MSearchSelectWindow"
+     onmouseover="return searchBox.OnSearchSelectShow()"
+     onmouseout="return searchBox.OnSearchSelectHide()"
+     onkeydown="return searchBox.OnSearchSelectKey(event)">
+</div>
+<!-- iframe showing the search results (closed by default) -->
+<div id="MSearchResultsWindow">
+<iframe src="javascript:void(0)" frameborder="0"
+        name="MSearchResults" id="MSearchResults">
+</iframe>
+</div>
+<div id="nav-path" class="navpath">
+  <ul>
+<li class="navelem"><a class="el" href="namespaceSVF.html">SVF</a></li><li class="navelem"><a class="el" href="structSVF_1_1DOTGraphTraits_3_01SVFG_01_5_01_4.html">DOTGraphTraits&lt; SVFG * &gt;</a></li>  </ul>
+</div>
+</div><!-- top -->
+<div class="header">
+  <div class="summary">
+<a href="#pub-types">Public Types</a> &#124;
+<a href="#pub-methods">Public Member Functions</a> &#124;
+<a href="#pub-static-methods">Static Public Member Functions</a> &#124;
+<a href="structSVF_1_1DOTGraphTraits_3_01SVFG_01_5_01_4-members.html">List of all members</a>  </div>
+  <div class="headertitle">
+<div class="title">SVF::DOTGraphTraits&lt; SVFG * &gt; Struct Template Reference</div>  </div>
+</div><!--header-->
+<div class="contents">
+<div class="dynheader">
+Inheritance diagram for SVF::DOTGraphTraits&lt; SVFG * &gt;:</div>
+<div class="dyncontent">
+ <div class="center">
+  <img src="structSVF_1_1DOTGraphTraits_3_01SVFG_01_5_01_4.png" usemap="#SVF::DOTGraphTraits_3C_20SVFG_20_2A_20_3E_map" alt=""/>
+  <map id="SVF::DOTGraphTraits_3C_20SVFG_20_2A_20_3E_map" name="SVF::DOTGraphTraits_3C_20SVFG_20_2A_20_3E_map">
+<area href="structSVF_1_1DOTGraphTraits.html" alt="SVF::DOTGraphTraits&lt; SVFIR *&gt;" shape="rect" coords="0,56,205,80"/>
+<area href="structSVF_1_1DefaultDOTGraphTraits.html" alt="SVF::DefaultDOTGraphTraits" shape="rect" coords="0,0,205,24"/>
+</map>
+ </div></div>
+<table class="memberdecls">
+<tr class="heading"><td colspan="2"><h2 class="groupheader"><a name="pub-types"></a>
+Public Types</h2></td></tr>
+<tr class="memitem:ae492abd880bf714538ffc0ede187f6d7"><td class="memItemLeft" align="right" valign="top">typedef <a class="el" href="namespaceSVF.html#a5dfa3fa5129bacdc0be0c051ccf386df">SVFGNode</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="structSVF_1_1DOTGraphTraits_3_01SVFG_01_5_01_4.html#ae492abd880bf714538ffc0ede187f6d7">NodeType</a></td></tr>
+<tr class="separator:ae492abd880bf714538ffc0ede187f6d7"><td class="memSeparator" colspan="2">&#160;</td></tr>
+</table><table class="memberdecls">
+<tr class="heading"><td colspan="2"><h2 class="groupheader"><a name="pub-methods"></a>
+Public Member Functions</h2></td></tr>
+<tr class="memitem:ad3c3175e8f9729650cf55c72de96ff8e"><td class="memItemLeft" align="right" valign="top">&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="structSVF_1_1DOTGraphTraits_3_01SVFG_01_5_01_4.html#ad3c3175e8f9729650cf55c72de96ff8e">DOTGraphTraits</a> (bool <a class="el" href="structSVF_1_1DefaultDOTGraphTraits.html#acc82bc6228128e5bb98a6b00d6dc5f77">isSimple</a>=<a class="el" href="cJSON_8cpp.html#a65e9886d74aaee76545e83dd09011727">false</a>)</td></tr>
+<tr class="separator:ad3c3175e8f9729650cf55c72de96ff8e"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a408191812417e4cf67c63197498e8bff"><td class="memItemLeft" align="right" valign="top"><a class="el" href="cJSON_8cpp.html#ae1adbce218e7a9d09164012443191d24">std::string</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="structSVF_1_1DOTGraphTraits_3_01SVFG_01_5_01_4.html#a408191812417e4cf67c63197498e8bff">getNodeLabel</a> (<a class="el" href="structSVF_1_1DOTGraphTraits_3_01SVFG_01_5_01_4.html#ae492abd880bf714538ffc0ede187f6d7">NodeType</a> *node, <a class="el" href="classSVF_1_1SVFG.html">SVFG</a> *graph)</td></tr>
+<tr class="separator:a408191812417e4cf67c63197498e8bff"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="inherit_header pub_methods_structSVF_1_1DOTGraphTraits"><td colspan="2" onclick="javascript:toggleInherit('pub_methods_structSVF_1_1DOTGraphTraits')"><img src="closed.png" alt="-"/>&#160;Public Member Functions inherited from <a class="el" href="structSVF_1_1DOTGraphTraits.html">SVF::DOTGraphTraits&lt; SVFIR *&gt;</a></td></tr>
+<tr class="memitem:a359df069e6c41d32e8b7ed5a23817e99 inherit pub_methods_structSVF_1_1DOTGraphTraits"><td class="memItemLeft" align="right" valign="top">&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="structSVF_1_1DOTGraphTraits.html#a359df069e6c41d32e8b7ed5a23817e99">DOTGraphTraits</a> (bool simple=<a class="el" href="cJSON_8cpp.html#a65e9886d74aaee76545e83dd09011727">false</a>)</td></tr>
+<tr class="separator:a359df069e6c41d32e8b7ed5a23817e99 inherit pub_methods_structSVF_1_1DOTGraphTraits"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="inherit_header pub_methods_structSVF_1_1DefaultDOTGraphTraits"><td colspan="2" onclick="javascript:toggleInherit('pub_methods_structSVF_1_1DefaultDOTGraphTraits')"><img src="closed.png" alt="-"/>&#160;Public Member Functions inherited from <a class="el" href="structSVF_1_1DefaultDOTGraphTraits.html">SVF::DefaultDOTGraphTraits</a></td></tr>
+<tr class="memitem:a2fdfa8abc93bd4d0211c4db8ef4ede3e inherit pub_methods_structSVF_1_1DefaultDOTGraphTraits"><td class="memItemLeft" align="right" valign="top">&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="structSVF_1_1DefaultDOTGraphTraits.html#a2fdfa8abc93bd4d0211c4db8ef4ede3e">DefaultDOTGraphTraits</a> (bool simple=<a class="el" href="cJSON_8cpp.html#a65e9886d74aaee76545e83dd09011727">false</a>)</td></tr>
+<tr class="separator:a2fdfa8abc93bd4d0211c4db8ef4ede3e inherit pub_methods_structSVF_1_1DefaultDOTGraphTraits"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a07487bbf691110420c680250994a6eba inherit pub_methods_structSVF_1_1DefaultDOTGraphTraits"><td class="memTemplParams" colspan="2">template&lt;typename GraphType &gt; </td></tr>
+<tr class="memitem:a07487bbf691110420c680250994a6eba inherit pub_methods_structSVF_1_1DefaultDOTGraphTraits"><td class="memTemplItemLeft" align="right" valign="top"><a class="el" href="cJSON_8cpp.html#ae1adbce218e7a9d09164012443191d24">std::string</a>&#160;</td><td class="memTemplItemRight" valign="bottom"><a class="el" href="structSVF_1_1DefaultDOTGraphTraits.html#a07487bbf691110420c680250994a6eba">getNodeLabel</a> (const void *, const GraphType &amp;)</td></tr>
+<tr class="separator:a07487bbf691110420c680250994a6eba inherit pub_methods_structSVF_1_1DefaultDOTGraphTraits"><td class="memSeparator" colspan="2">&#160;</td></tr>
+</table><table class="memberdecls">
+<tr class="heading"><td colspan="2"><h2 class="groupheader"><a name="pub-static-methods"></a>
+Static Public Member Functions</h2></td></tr>
+<tr class="memitem:a38e619de70d79e38d3d65d521f224d07"><td class="memItemLeft" align="right" valign="top">static <a class="el" href="cJSON_8cpp.html#ae1adbce218e7a9d09164012443191d24">std::string</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="structSVF_1_1DOTGraphTraits_3_01SVFG_01_5_01_4.html#a38e619de70d79e38d3d65d521f224d07">getGraphName</a> (<a class="el" href="classSVF_1_1SVFG.html">SVFG</a> *)</td></tr>
+<tr class="memdesc:a38e619de70d79e38d3d65d521f224d07"><td class="mdescLeft">&#160;</td><td class="mdescRight">Return name of the graph.  <a href="#a38e619de70d79e38d3d65d521f224d07">More...</a><br /></td></tr>
+<tr class="separator:a38e619de70d79e38d3d65d521f224d07"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:adab07db18ee5e81b4bafeb599a43d9ab"><td class="memItemLeft" align="right" valign="top">static bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="structSVF_1_1DOTGraphTraits_3_01SVFG_01_5_01_4.html#adab07db18ee5e81b4bafeb599a43d9ab">isNodeHidden</a> (<a class="el" href="namespaceSVF.html#a5dfa3fa5129bacdc0be0c051ccf386df">SVFGNode</a> *node)</td></tr>
+<tr class="separator:adab07db18ee5e81b4bafeb599a43d9ab"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a80aace686045f098dde4acb2087f8541"><td class="memItemLeft" align="right" valign="top">static <a class="el" href="cJSON_8cpp.html#ae1adbce218e7a9d09164012443191d24">std::string</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="structSVF_1_1DOTGraphTraits_3_01SVFG_01_5_01_4.html#a80aace686045f098dde4acb2087f8541">getSimpleNodeLabel</a> (<a class="el" href="structSVF_1_1DOTGraphTraits_3_01SVFG_01_5_01_4.html#ae492abd880bf714538ffc0ede187f6d7">NodeType</a> *node, <a class="el" href="classSVF_1_1SVFG.html">SVFG</a> *)</td></tr>
+<tr class="memdesc:a80aace686045f098dde4acb2087f8541"><td class="mdescLeft">&#160;</td><td class="mdescRight">Return label of a <a class="el" href="classSVF_1_1VFG.html">VFG</a> node without <a class="el" href="classSVF_1_1MemSSA.html">MemSSA</a> information.  <a href="#a80aace686045f098dde4acb2087f8541">More...</a><br /></td></tr>
+<tr class="separator:a80aace686045f098dde4acb2087f8541"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:adef3b27c866d5d9ca38135e5c75d5e4f"><td class="memItemLeft" align="right" valign="top">static <a class="el" href="cJSON_8cpp.html#ae1adbce218e7a9d09164012443191d24">std::string</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="structSVF_1_1DOTGraphTraits_3_01SVFG_01_5_01_4.html#adef3b27c866d5d9ca38135e5c75d5e4f">getCompleteNodeLabel</a> (<a class="el" href="structSVF_1_1DOTGraphTraits_3_01SVFG_01_5_01_4.html#ae492abd880bf714538ffc0ede187f6d7">NodeType</a> *node, <a class="el" href="classSVF_1_1SVFG.html">SVFG</a> *)</td></tr>
+<tr class="memdesc:adef3b27c866d5d9ca38135e5c75d5e4f"><td class="mdescLeft">&#160;</td><td class="mdescRight">Return label of a <a class="el" href="classSVF_1_1VFG.html">VFG</a> node with <a class="el" href="classSVF_1_1MemSSA.html">MemSSA</a> information.  <a href="#adef3b27c866d5d9ca38135e5c75d5e4f">More...</a><br /></td></tr>
+<tr class="separator:adef3b27c866d5d9ca38135e5c75d5e4f"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:ad851a3820df828f0598046e0c953330c"><td class="memItemLeft" align="right" valign="top">static <a class="el" href="cJSON_8cpp.html#ae1adbce218e7a9d09164012443191d24">std::string</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="structSVF_1_1DOTGraphTraits_3_01SVFG_01_5_01_4.html#ad851a3820df828f0598046e0c953330c">getNodeAttributes</a> (<a class="el" href="structSVF_1_1DOTGraphTraits_3_01SVFG_01_5_01_4.html#ae492abd880bf714538ffc0ede187f6d7">NodeType</a> *node, <a class="el" href="classSVF_1_1SVFG.html">SVFG</a> *graph)</td></tr>
+<tr class="separator:ad851a3820df828f0598046e0c953330c"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:af43663ec79465f7860ffecd9584e0002"><td class="memTemplParams" colspan="2">template&lt;class EdgeIter &gt; </td></tr>
+<tr class="memitem:af43663ec79465f7860ffecd9584e0002"><td class="memTemplItemLeft" align="right" valign="top">static <a class="el" href="cJSON_8cpp.html#ae1adbce218e7a9d09164012443191d24">std::string</a>&#160;</td><td class="memTemplItemRight" valign="bottom"><a class="el" href="structSVF_1_1DOTGraphTraits_3_01SVFG_01_5_01_4.html#af43663ec79465f7860ffecd9584e0002">getEdgeAttributes</a> (<a class="el" href="structSVF_1_1DOTGraphTraits_3_01SVFG_01_5_01_4.html#ae492abd880bf714538ffc0ede187f6d7">NodeType</a> *, EdgeIter EI, <a class="el" href="classSVF_1_1SVFG.html">SVFG</a> *)</td></tr>
+<tr class="separator:af43663ec79465f7860ffecd9584e0002"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a49fabf853f855b6d9041b91acd68bce2"><td class="memTemplParams" colspan="2">template&lt;class EdgeIter &gt; </td></tr>
+<tr class="memitem:a49fabf853f855b6d9041b91acd68bce2"><td class="memTemplItemLeft" align="right" valign="top">static <a class="el" href="cJSON_8cpp.html#ae1adbce218e7a9d09164012443191d24">std::string</a>&#160;</td><td class="memTemplItemRight" valign="bottom"><a class="el" href="structSVF_1_1DOTGraphTraits_3_01SVFG_01_5_01_4.html#a49fabf853f855b6d9041b91acd68bce2">getEdgeSourceLabel</a> (<a class="el" href="structSVF_1_1DOTGraphTraits_3_01SVFG_01_5_01_4.html#ae492abd880bf714538ffc0ede187f6d7">NodeType</a> *, EdgeIter EI)</td></tr>
+<tr class="separator:a49fabf853f855b6d9041b91acd68bce2"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="inherit_header pub_static_methods_structSVF_1_1DefaultDOTGraphTraits"><td colspan="2" onclick="javascript:toggleInherit('pub_static_methods_structSVF_1_1DefaultDOTGraphTraits')"><img src="closed.png" alt="-"/>&#160;Static Public Member Functions inherited from <a class="el" href="structSVF_1_1DefaultDOTGraphTraits.html">SVF::DefaultDOTGraphTraits</a></td></tr>
+<tr class="memitem:a41effe5697618840e0d5ea10c26781fe inherit pub_static_methods_structSVF_1_1DefaultDOTGraphTraits"><td class="memTemplParams" colspan="2">template&lt;typename GraphType &gt; </td></tr>
+<tr class="memitem:a41effe5697618840e0d5ea10c26781fe inherit pub_static_methods_structSVF_1_1DefaultDOTGraphTraits"><td class="memTemplItemLeft" align="right" valign="top">static <a class="el" href="cJSON_8cpp.html#ae1adbce218e7a9d09164012443191d24">std::string</a>&#160;</td><td class="memTemplItemRight" valign="bottom"><a class="el" href="structSVF_1_1DefaultDOTGraphTraits.html#a41effe5697618840e0d5ea10c26781fe">getGraphName</a> (const GraphType &amp;)</td></tr>
+<tr class="separator:a41effe5697618840e0d5ea10c26781fe inherit pub_static_methods_structSVF_1_1DefaultDOTGraphTraits"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:afe384157441d5ef0b3aafdfb6cd3028a inherit pub_static_methods_structSVF_1_1DefaultDOTGraphTraits"><td class="memTemplParams" colspan="2">template&lt;typename GraphType &gt; </td></tr>
+<tr class="memitem:afe384157441d5ef0b3aafdfb6cd3028a inherit pub_static_methods_structSVF_1_1DefaultDOTGraphTraits"><td class="memTemplItemLeft" align="right" valign="top">static <a class="el" href="cJSON_8cpp.html#ae1adbce218e7a9d09164012443191d24">std::string</a>&#160;</td><td class="memTemplItemRight" valign="bottom"><a class="el" href="structSVF_1_1DefaultDOTGraphTraits.html#afe384157441d5ef0b3aafdfb6cd3028a">getGraphProperties</a> (const GraphType &amp;)</td></tr>
+<tr class="separator:afe384157441d5ef0b3aafdfb6cd3028a inherit pub_static_methods_structSVF_1_1DefaultDOTGraphTraits"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:aeb5908ad6424c0636b698e5ea0a587c0 inherit pub_static_methods_structSVF_1_1DefaultDOTGraphTraits"><td class="memItemLeft" align="right" valign="top">static bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="structSVF_1_1DefaultDOTGraphTraits.html#aeb5908ad6424c0636b698e5ea0a587c0">renderGraphFromBottomUp</a> ()</td></tr>
+<tr class="separator:aeb5908ad6424c0636b698e5ea0a587c0 inherit pub_static_methods_structSVF_1_1DefaultDOTGraphTraits"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:ae73ba55d72d5df1f70a2bfa2e12958f3 inherit pub_static_methods_structSVF_1_1DefaultDOTGraphTraits"><td class="memTemplParams" colspan="2">template&lt;typename GraphType &gt; </td></tr>
+<tr class="memitem:ae73ba55d72d5df1f70a2bfa2e12958f3 inherit pub_static_methods_structSVF_1_1DefaultDOTGraphTraits"><td class="memTemplItemLeft" align="right" valign="top">static bool&#160;</td><td class="memTemplItemRight" valign="bottom"><a class="el" href="structSVF_1_1DefaultDOTGraphTraits.html#ae73ba55d72d5df1f70a2bfa2e12958f3">isNodeHidden</a> (const void *, const GraphType &amp;)</td></tr>
+<tr class="separator:ae73ba55d72d5df1f70a2bfa2e12958f3 inherit pub_static_methods_structSVF_1_1DefaultDOTGraphTraits"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a0f81b82658f62589ec429c601538f6e9 inherit pub_static_methods_structSVF_1_1DefaultDOTGraphTraits"><td class="memTemplParams" colspan="2">template&lt;typename GraphType &gt; </td></tr>
+<tr class="memitem:a0f81b82658f62589ec429c601538f6e9 inherit pub_static_methods_structSVF_1_1DefaultDOTGraphTraits"><td class="memTemplItemLeft" align="right" valign="top">static <a class="el" href="cJSON_8cpp.html#ae1adbce218e7a9d09164012443191d24">std::string</a>&#160;</td><td class="memTemplItemRight" valign="bottom"><a class="el" href="structSVF_1_1DefaultDOTGraphTraits.html#a0f81b82658f62589ec429c601538f6e9">getNodeIdentifierLabel</a> (const void *, const GraphType &amp;)</td></tr>
+<tr class="separator:a0f81b82658f62589ec429c601538f6e9 inherit pub_static_methods_structSVF_1_1DefaultDOTGraphTraits"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:af5800f2d8efa24fee85f03871c07df21 inherit pub_static_methods_structSVF_1_1DefaultDOTGraphTraits"><td class="memTemplParams" colspan="2">template&lt;typename GraphType &gt; </td></tr>
+<tr class="memitem:af5800f2d8efa24fee85f03871c07df21 inherit pub_static_methods_structSVF_1_1DefaultDOTGraphTraits"><td class="memTemplItemLeft" align="right" valign="top">static <a class="el" href="cJSON_8cpp.html#ae1adbce218e7a9d09164012443191d24">std::string</a>&#160;</td><td class="memTemplItemRight" valign="bottom"><a class="el" href="structSVF_1_1DefaultDOTGraphTraits.html#af5800f2d8efa24fee85f03871c07df21">getNodeDescription</a> (const void *, const GraphType &amp;)</td></tr>
+<tr class="separator:af5800f2d8efa24fee85f03871c07df21 inherit pub_static_methods_structSVF_1_1DefaultDOTGraphTraits"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a3438f5f1ed763f2f7818535f212ff43b inherit pub_static_methods_structSVF_1_1DefaultDOTGraphTraits"><td class="memTemplParams" colspan="2">template&lt;typename GraphType &gt; </td></tr>
+<tr class="memitem:a3438f5f1ed763f2f7818535f212ff43b inherit pub_static_methods_structSVF_1_1DefaultDOTGraphTraits"><td class="memTemplItemLeft" align="right" valign="top">static <a class="el" href="cJSON_8cpp.html#ae1adbce218e7a9d09164012443191d24">std::string</a>&#160;</td><td class="memTemplItemRight" valign="bottom"><a class="el" href="structSVF_1_1DefaultDOTGraphTraits.html#a3438f5f1ed763f2f7818535f212ff43b">getNodeAttributes</a> (const void *, const GraphType &amp;)</td></tr>
+<tr class="separator:a3438f5f1ed763f2f7818535f212ff43b inherit pub_static_methods_structSVF_1_1DefaultDOTGraphTraits"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:ad84c95525cf15f90848c2558fd28f43b inherit pub_static_methods_structSVF_1_1DefaultDOTGraphTraits"><td class="memTemplParams" colspan="2">template&lt;typename EdgeIter , typename GraphType &gt; </td></tr>
+<tr class="memitem:ad84c95525cf15f90848c2558fd28f43b inherit pub_static_methods_structSVF_1_1DefaultDOTGraphTraits"><td class="memTemplItemLeft" align="right" valign="top">static <a class="el" href="cJSON_8cpp.html#ae1adbce218e7a9d09164012443191d24">std::string</a>&#160;</td><td class="memTemplItemRight" valign="bottom"><a class="el" href="structSVF_1_1DefaultDOTGraphTraits.html#ad84c95525cf15f90848c2558fd28f43b">getEdgeAttributes</a> (const void *, EdgeIter, const GraphType &amp;)</td></tr>
+<tr class="separator:ad84c95525cf15f90848c2558fd28f43b inherit pub_static_methods_structSVF_1_1DefaultDOTGraphTraits"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a66f5994cdef8fa307c9ff69ca90a1d6c inherit pub_static_methods_structSVF_1_1DefaultDOTGraphTraits"><td class="memTemplParams" colspan="2">template&lt;typename EdgeIter &gt; </td></tr>
+<tr class="memitem:a66f5994cdef8fa307c9ff69ca90a1d6c inherit pub_static_methods_structSVF_1_1DefaultDOTGraphTraits"><td class="memTemplItemLeft" align="right" valign="top">static <a class="el" href="cJSON_8cpp.html#ae1adbce218e7a9d09164012443191d24">std::string</a>&#160;</td><td class="memTemplItemRight" valign="bottom"><a class="el" href="structSVF_1_1DefaultDOTGraphTraits.html#a66f5994cdef8fa307c9ff69ca90a1d6c">getEdgeSourceLabel</a> (const void *, EdgeIter)</td></tr>
+<tr class="separator:a66f5994cdef8fa307c9ff69ca90a1d6c inherit pub_static_methods_structSVF_1_1DefaultDOTGraphTraits"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a78c40f9b1af839116b88519fca154396 inherit pub_static_methods_structSVF_1_1DefaultDOTGraphTraits"><td class="memTemplParams" colspan="2">template&lt;typename EdgeIter &gt; </td></tr>
+<tr class="memitem:a78c40f9b1af839116b88519fca154396 inherit pub_static_methods_structSVF_1_1DefaultDOTGraphTraits"><td class="memTemplItemLeft" align="right" valign="top">static bool&#160;</td><td class="memTemplItemRight" valign="bottom"><a class="el" href="structSVF_1_1DefaultDOTGraphTraits.html#a78c40f9b1af839116b88519fca154396">edgeTargetsEdgeSource</a> (const void *, EdgeIter)</td></tr>
+<tr class="separator:a78c40f9b1af839116b88519fca154396 inherit pub_static_methods_structSVF_1_1DefaultDOTGraphTraits"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:acfab6216e24999e92b2354e4f15b96b6 inherit pub_static_methods_structSVF_1_1DefaultDOTGraphTraits"><td class="memTemplParams" colspan="2">template&lt;typename EdgeIter &gt; </td></tr>
+<tr class="memitem:acfab6216e24999e92b2354e4f15b96b6 inherit pub_static_methods_structSVF_1_1DefaultDOTGraphTraits"><td class="memTemplItemLeft" align="right" valign="top">static EdgeIter&#160;</td><td class="memTemplItemRight" valign="bottom"><a class="el" href="structSVF_1_1DefaultDOTGraphTraits.html#acfab6216e24999e92b2354e4f15b96b6">getEdgeTarget</a> (const void *, EdgeIter I)</td></tr>
+<tr class="separator:acfab6216e24999e92b2354e4f15b96b6 inherit pub_static_methods_structSVF_1_1DefaultDOTGraphTraits"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a87d7b47985a849c7c4ff1c328a59c623 inherit pub_static_methods_structSVF_1_1DefaultDOTGraphTraits"><td class="memItemLeft" align="right" valign="top">static bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="structSVF_1_1DefaultDOTGraphTraits.html#a87d7b47985a849c7c4ff1c328a59c623">hasEdgeDestLabels</a> ()</td></tr>
+<tr class="separator:a87d7b47985a849c7c4ff1c328a59c623 inherit pub_static_methods_structSVF_1_1DefaultDOTGraphTraits"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a94f582264d3020f36a2ca3bdfbdaf81b inherit pub_static_methods_structSVF_1_1DefaultDOTGraphTraits"><td class="memItemLeft" align="right" valign="top">static unsigned&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="structSVF_1_1DefaultDOTGraphTraits.html#a94f582264d3020f36a2ca3bdfbdaf81b">numEdgeDestLabels</a> (const void *)</td></tr>
+<tr class="separator:a94f582264d3020f36a2ca3bdfbdaf81b inherit pub_static_methods_structSVF_1_1DefaultDOTGraphTraits"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a5e560e93632e0ed1934d4c4508ca1884 inherit pub_static_methods_structSVF_1_1DefaultDOTGraphTraits"><td class="memItemLeft" align="right" valign="top">static <a class="el" href="cJSON_8cpp.html#ae1adbce218e7a9d09164012443191d24">std::string</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="structSVF_1_1DefaultDOTGraphTraits.html#a5e560e93632e0ed1934d4c4508ca1884">getEdgeDestLabel</a> (const void *, unsigned)</td></tr>
+<tr class="separator:a5e560e93632e0ed1934d4c4508ca1884 inherit pub_static_methods_structSVF_1_1DefaultDOTGraphTraits"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a47ee60dc78e3f869ce4e808e73437ddf inherit pub_static_methods_structSVF_1_1DefaultDOTGraphTraits"><td class="memTemplParams" colspan="2">template&lt;typename GraphType , typename GraphWriter &gt; </td></tr>
+<tr class="memitem:a47ee60dc78e3f869ce4e808e73437ddf inherit pub_static_methods_structSVF_1_1DefaultDOTGraphTraits"><td class="memTemplItemLeft" align="right" valign="top">static void&#160;</td><td class="memTemplItemRight" valign="bottom"><a class="el" href="structSVF_1_1DefaultDOTGraphTraits.html#a47ee60dc78e3f869ce4e808e73437ddf">addCustomGraphFeatures</a> (const GraphType &amp;, <a class="el" href="classSVF_1_1GraphWriter.html">GraphWriter</a> &amp;)</td></tr>
+<tr class="separator:a47ee60dc78e3f869ce4e808e73437ddf inherit pub_static_methods_structSVF_1_1DefaultDOTGraphTraits"><td class="memSeparator" colspan="2">&#160;</td></tr>
+</table><table class="memberdecls">
+<tr class="heading"><td colspan="2"><h2 class="groupheader"><a name="inherited"></a>
+Additional Inherited Members</h2></td></tr>
+<tr class="inherit_header pro_methods_structSVF_1_1DefaultDOTGraphTraits"><td colspan="2" onclick="javascript:toggleInherit('pro_methods_structSVF_1_1DefaultDOTGraphTraits')"><img src="closed.png" alt="-"/>&#160;Protected Member Functions inherited from <a class="el" href="structSVF_1_1DefaultDOTGraphTraits.html">SVF::DefaultDOTGraphTraits</a></td></tr>
+<tr class="memitem:acc82bc6228128e5bb98a6b00d6dc5f77 inherit pro_methods_structSVF_1_1DefaultDOTGraphTraits"><td class="memItemLeft" align="right" valign="top">bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="structSVF_1_1DefaultDOTGraphTraits.html#acc82bc6228128e5bb98a6b00d6dc5f77">isSimple</a> ()</td></tr>
+<tr class="separator:acc82bc6228128e5bb98a6b00d6dc5f77 inherit pro_methods_structSVF_1_1DefaultDOTGraphTraits"><td class="memSeparator" colspan="2">&#160;</td></tr>
+</table>
+<a name="details" id="details"></a><h2 class="groupheader">Detailed Description</h2>
+<div class="textblock"><h3>template&lt;&gt;<br />
+struct SVF::DOTGraphTraits&lt; SVFG * &gt;</h3>
+<p class="definition">Definition at line <a class="el" href="SVFG_8cpp_source.html#l00767">767</a> of file <a class="el" href="SVFG_8cpp_source.html">SVFG.cpp</a>.</p>
+</div><h2 class="groupheader">Member Typedef Documentation</h2>
+<a id="ae492abd880bf714538ffc0ede187f6d7"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#ae492abd880bf714538ffc0ede187f6d7">&#9670;&nbsp;</a></span>NodeType</h2>
+<div class="memitem">
+<div class="memproto">
+      <table class="memname">
+        <tr>
+          <td class="memname">typedef <a class="el" href="namespaceSVF.html#a5dfa3fa5129bacdc0be0c051ccf386df">SVFGNode</a> <a class="el" href="structSVF_1_1DOTGraphTraits.html">SVF::DOTGraphTraits</a>&lt; <a class="el" href="classSVF_1_1SVFG.html">SVFG</a> * &gt;::<a class="el" href="structSVF_1_1DOTGraphTraits_3_01SVFG_01_5_01_4.html#ae492abd880bf714538ffc0ede187f6d7">NodeType</a></td>
+        </tr>
+      </table>
+</div><div class="memdoc">
+<p class="definition">Definition at line <a class="el" href="SVFG_8cpp_source.html#l00770">770</a> of file <a class="el" href="SVFG_8cpp_source.html">SVFG.cpp</a>.</p>
+</div>
+</div>
+<h2 class="groupheader">Constructor &amp; Destructor Documentation</h2>
+<a id="ad3c3175e8f9729650cf55c72de96ff8e"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#ad3c3175e8f9729650cf55c72de96ff8e">&#9670;&nbsp;</a></span>DOTGraphTraits()</h2>
+<div class="memitem">
+<div class="memproto">
+<table class="mlabels">
+  <tr>
+  <td class="mlabels-left">
+      <table class="memname">
+        <tr>
+          <td class="memname"><a class="el" href="structSVF_1_1DOTGraphTraits.html">SVF::DOTGraphTraits</a>&lt; <a class="el" href="classSVF_1_1SVFG.html">SVFG</a> * &gt;::<a class="el" href="structSVF_1_1DOTGraphTraits.html">DOTGraphTraits</a> </td>
+          <td>(</td>
+          <td class="paramtype">bool&#160;</td>
+          <td class="paramname"><em>isSimple</em> = <code><a class="el" href="cJSON_8cpp.html#a65e9886d74aaee76545e83dd09011727">false</a></code></td><td>)</td>
+          <td></td>
+        </tr>
+      </table>
+  </td>
+  <td class="mlabels-right">
+<span class="mlabels"><span class="mlabel">inline</span></span>  </td>
+  </tr>
+</table>
+</div><div class="memdoc">
+<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;        <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="l00773"></a><span class="lineno">  773</span>&#160;    {</div><div class="line"><a name="l00774"></a><span class="lineno">  774</span>&#160;    }</div><div class="ttc" id="structSVF_1_1DOTGraphTraits_html"><div class="ttname"><a href="structSVF_1_1DOTGraphTraits.html">SVF::DOTGraphTraits</a></div><div class="ttdef"><b>Definition:</b> <a href="DOTGraphTraits_8h_source.html#l00181">DOTGraphTraits.h:181</a></div></div>
+<div class="ttc" id="structSVF_1_1DefaultDOTGraphTraits_html_acc82bc6228128e5bb98a6b00d6dc5f77"><div class="ttname"><a href="structSVF_1_1DefaultDOTGraphTraits.html#acc82bc6228128e5bb98a6b00d6dc5f77">SVF::DefaultDOTGraphTraits::isSimple</a></div><div class="ttdeci">bool isSimple()</div><div class="ttdef"><b>Definition:</b> <a href="DOTGraphTraits_8h_source.html#l00035">DOTGraphTraits.h:35</a></div></div>
+</div><!-- fragment -->
+</div>
+</div>
+<h2 class="groupheader">Member Function Documentation</h2>
+<a id="adef3b27c866d5d9ca38135e5c75d5e4f"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#adef3b27c866d5d9ca38135e5c75d5e4f">&#9670;&nbsp;</a></span>getCompleteNodeLabel()</h2>
+<div class="memitem">
+<div class="memproto">
+<table class="mlabels">
+  <tr>
+  <td class="mlabels-left">
+      <table class="memname">
+        <tr>
+          <td class="memname">static <a class="el" href="cJSON_8cpp.html#ae1adbce218e7a9d09164012443191d24">std::string</a> <a class="el" href="structSVF_1_1DOTGraphTraits.html">SVF::DOTGraphTraits</a>&lt; <a class="el" href="classSVF_1_1SVFG.html">SVFG</a> * &gt;::getCompleteNodeLabel </td>
+          <td>(</td>
+          <td class="paramtype"><a class="el" href="structSVF_1_1DOTGraphTraits_3_01SVFG_01_5_01_4.html#ae492abd880bf714538ffc0ede187f6d7">NodeType</a> *&#160;</td>
+          <td class="paramname"><em>node</em>, </td>
+        </tr>
+        <tr>
+          <td class="paramkey"></td>
+          <td></td>
+          <td class="paramtype"><a class="el" href="classSVF_1_1SVFG.html">SVFG</a> *&#160;</td>
+          <td class="paramname">&#160;</td>
+        </tr>
+        <tr>
+          <td></td>
+          <td>)</td>
+          <td></td><td></td>
+        </tr>
+      </table>
+  </td>
+  <td class="mlabels-right">
+<span class="mlabels"><span class="mlabel">inline</span><span class="mlabel">static</span></span>  </td>
+  </tr>
+</table>
+</div><div class="memdoc">
+<p>Return label of a <a class="el" href="classSVF_1_1VFG.html">VFG</a> node with <a class="el" href="classSVF_1_1MemSSA.html">MemSSA</a> information. </p>
+<p class="definition">Definition at line <a class="el" href="SVFG_8cpp_source.html#l00875">875</a> of file <a class="el" href="SVFG_8cpp_source.html">SVFG.cpp</a>.</p>
+<div class="fragment"><div class="line"><a name="l00876"></a><span class="lineno">  876</span>&#160;    {</div><div class="line"><a name="l00877"></a><span class="lineno">  877</span>&#160;</div><div class="line"><a name="l00878"></a><span class="lineno">  878</span>&#160;        <a class="code" href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">std::string</a> str;</div><div class="line"><a name="l00879"></a><span class="lineno">  879</span>&#160;        std::stringstream rawstr(str);</div><div class="line"><a name="l00880"></a><span class="lineno">  880</span>&#160;        <span class="keywordflow">if</span>(<a class="code" href="classSVF_1_1StmtVFGNode.html">StmtSVFGNode</a>* stmtNode = SVFUtil::dyn_cast&lt;StmtSVFGNode&gt;(node))</div><div class="line"><a name="l00881"></a><span class="lineno">  881</span>&#160;        {</div><div class="line"><a name="l00882"></a><span class="lineno">  882</span>&#160;            rawstr &lt;&lt; stmtNode-&gt;toString();</div><div class="line"><a name="l00883"></a><span class="lineno">  883</span>&#160;        }</div><div class="line"><a name="l00884"></a><span class="lineno">  884</span>&#160;        <span class="keywordflow">else</span> <span class="keywordflow">if</span>(<a class="code" href="classSVF_1_1BinaryOPVFGNode.html">BinaryOPVFGNode</a>* bop = SVFUtil::dyn_cast&lt;BinaryOPVFGNode&gt;(node))</div><div class="line"><a name="l00885"></a><span class="lineno">  885</span>&#160;        {</div><div class="line"><a name="l00886"></a><span class="lineno">  886</span>&#160;            rawstr &lt;&lt; bop-&gt;toString();</div><div class="line"><a name="l00887"></a><span class="lineno">  887</span>&#160;        }</div><div class="line"><a name="l00888"></a><span class="lineno">  888</span>&#160;        <span class="keywordflow">else</span> <span class="keywordflow">if</span>(<a class="code" href="classSVF_1_1UnaryOPVFGNode.html">UnaryOPVFGNode</a>* uop = SVFUtil::dyn_cast&lt;UnaryOPVFGNode&gt;(node))</div><div class="line"><a name="l00889"></a><span class="lineno">  889</span>&#160;        {</div><div class="line"><a name="l00890"></a><span class="lineno">  890</span>&#160;            rawstr &lt;&lt; uop-&gt;toString();</div><div class="line"><a name="l00891"></a><span class="lineno">  891</span>&#160;        }</div><div class="line"><a name="l00892"></a><span class="lineno">  892</span>&#160;        <span class="keywordflow">else</span> <span class="keywordflow">if</span>(<a class="code" href="classSVF_1_1CmpVFGNode.html">CmpVFGNode</a>* cmp = SVFUtil::dyn_cast&lt;CmpVFGNode&gt;(node))</div><div class="line"><a name="l00893"></a><span class="lineno">  893</span>&#160;        {</div><div class="line"><a name="l00894"></a><span class="lineno">  894</span>&#160;            rawstr &lt;&lt; cmp-&gt;toString();</div><div class="line"><a name="l00895"></a><span class="lineno">  895</span>&#160;        }</div><div class="line"><a name="l00896"></a><span class="lineno">  896</span>&#160;        <span class="keywordflow">else</span> <span class="keywordflow">if</span>(<a class="code" href="classSVF_1_1MSSAPHISVFGNode.html">MSSAPHISVFGNode</a>* mphi = SVFUtil::dyn_cast&lt;MSSAPHISVFGNode&gt;(node))</div><div class="line"><a name="l00897"></a><span class="lineno">  897</span>&#160;        {</div><div class="line"><a name="l00898"></a><span class="lineno">  898</span>&#160;            rawstr &lt;&lt; mphi-&gt;toString();</div><div class="line"><a name="l00899"></a><span class="lineno">  899</span>&#160;        }</div><div class="line"><a name="l00900"></a><span class="lineno">  900</span>&#160;        <span class="keywordflow">else</span> <span class="keywordflow">if</span>(<a class="code" href="classSVF_1_1PHIVFGNode.html">PHISVFGNode</a>* tphi = SVFUtil::dyn_cast&lt;PHISVFGNode&gt;(node))</div><div class="line"><a name="l00901"></a><span class="lineno">  901</span>&#160;        {</div><div class="line"><a name="l00902"></a><span class="lineno">  902</span>&#160;            rawstr &lt;&lt; tphi-&gt;toString();</div><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;        <span class="keywordflow">else</span> <span class="keywordflow">if</span>(<a class="code" href="classSVF_1_1FormalINSVFGNode.html">FormalINSVFGNode</a>* fi = SVFUtil::dyn_cast&lt;FormalINSVFGNode&gt;(node))</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;            rawstr  &lt;&lt; fi-&gt;toString();</div><div class="line"><a name="l00907"></a><span class="lineno">  907</span>&#160;        }</div><div class="line"><a name="l00908"></a><span class="lineno">  908</span>&#160;        <span class="keywordflow">else</span> <span class="keywordflow">if</span>(<a class="code" href="classSVF_1_1FormalOUTSVFGNode.html">FormalOUTSVFGNode</a>* fo = SVFUtil::dyn_cast&lt;FormalOUTSVFGNode&gt;(node))</div><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;            rawstr &lt;&lt; fo-&gt;toString();</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;        <span class="keywordflow">else</span> <span class="keywordflow">if</span>(<a class="code" href="classSVF_1_1FormalParmVFGNode.html">FormalParmSVFGNode</a>* fp = SVFUtil::dyn_cast&lt;FormalParmSVFGNode&gt;(node))</div><div class="line"><a name="l00913"></a><span class="lineno">  913</span>&#160;        {</div><div class="line"><a name="l00914"></a><span class="lineno">  914</span>&#160;            rawstr  &lt;&lt; fp-&gt;toString();</div><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">else</span> <span class="keywordflow">if</span>(<a class="code" href="classSVF_1_1ActualINSVFGNode.html">ActualINSVFGNode</a>* ai = SVFUtil::dyn_cast&lt;ActualINSVFGNode&gt;(node))</div><div class="line"><a name="l00917"></a><span class="lineno">  917</span>&#160;        {</div><div class="line"><a name="l00918"></a><span class="lineno">  918</span>&#160;            rawstr &lt;&lt; ai-&gt;toString();</div><div class="line"><a name="l00919"></a><span class="lineno">  919</span>&#160;        }</div><div class="line"><a name="l00920"></a><span class="lineno">  920</span>&#160;        <span class="keywordflow">else</span> <span class="keywordflow">if</span>(<a class="code" href="classSVF_1_1ActualOUTSVFGNode.html">ActualOUTSVFGNode</a>* ao = SVFUtil::dyn_cast&lt;ActualOUTSVFGNode&gt;(node))</div><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;            rawstr &lt;&lt;  ao-&gt;toString();</div><div class="line"><a name="l00923"></a><span class="lineno">  923</span>&#160;        }</div><div class="line"><a name="l00924"></a><span class="lineno">  924</span>&#160;        <span class="keywordflow">else</span> <span class="keywordflow">if</span>(<a class="code" href="classSVF_1_1ActualParmVFGNode.html">ActualParmSVFGNode</a>* ap = SVFUtil::dyn_cast&lt;ActualParmSVFGNode&gt;(node))</div><div class="line"><a name="l00925"></a><span class="lineno">  925</span>&#160;        {</div><div class="line"><a name="l00926"></a><span class="lineno">  926</span>&#160;            rawstr &lt;&lt; ap-&gt;toString();</div><div class="line"><a name="l00927"></a><span class="lineno">  927</span>&#160;        }</div><div class="line"><a name="l00928"></a><span class="lineno">  928</span>&#160;        <span class="keywordflow">else</span> <span class="keywordflow">if</span>(<a class="code" href="classSVF_1_1NullPtrVFGNode.html">NullPtrSVFGNode</a>* nptr = SVFUtil::dyn_cast&lt;NullPtrSVFGNode&gt;(node))</div><div class="line"><a name="l00929"></a><span class="lineno">  929</span>&#160;        {</div><div class="line"><a name="l00930"></a><span class="lineno">  930</span>&#160;            rawstr &lt;&lt; nptr-&gt;toString();</div><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;        <span class="keywordflow">else</span> <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1ActualRetVFGNode.html">ActualRetSVFGNode</a>* ar = SVFUtil::dyn_cast&lt;ActualRetSVFGNode&gt;(node))</div><div class="line"><a name="l00933"></a><span class="lineno">  933</span>&#160;        {</div><div class="line"><a name="l00934"></a><span class="lineno">  934</span>&#160;            rawstr &lt;&lt; ar-&gt;toString();</div><div class="line"><a name="l00935"></a><span class="lineno">  935</span>&#160;        }</div><div class="line"><a name="l00936"></a><span class="lineno">  936</span>&#160;        <span class="keywordflow">else</span> <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1FormalRetVFGNode.html">FormalRetSVFGNode</a>* fr = SVFUtil::dyn_cast&lt;FormalRetSVFGNode&gt;(node))</div><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;            rawstr &lt;&lt; fr-&gt;toString();</div><div class="line"><a name="l00939"></a><span class="lineno">  939</span>&#160;        }</div><div class="line"><a name="l00940"></a><span class="lineno">  940</span>&#160;        <span class="keywordflow">else</span> <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1BranchVFGNode.html">BranchVFGNode</a>* br = SVFUtil::dyn_cast&lt;BranchVFGNode&gt;(node))</div><div class="line"><a name="l00941"></a><span class="lineno">  941</span>&#160;        {</div><div class="line"><a name="l00942"></a><span class="lineno">  942</span>&#160;            rawstr &lt;&lt; br-&gt;toString();</div><div class="line"><a name="l00943"></a><span class="lineno">  943</span>&#160;        }</div><div class="line"><a name="l00944"></a><span class="lineno">  944</span>&#160;        <span class="keywordflow">else</span></div><div class="line"><a name="l00945"></a><span class="lineno">  945</span>&#160;            assert(<span class="keyword">false</span> &amp;&amp; <span class="stringliteral">&quot;what else kinds of nodes do we have??&quot;</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> rawstr.str();</div><div class="line"><a name="l00948"></a><span class="lineno">  948</span>&#160;    }</div><div class="ttc" id="classSVF_1_1BinaryOPVFGNode_html"><div class="ttname"><a href="classSVF_1_1BinaryOPVFGNode.html">SVF::BinaryOPVFGNode</a></div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00395">VFGNode.h:395</a></div></div>
+<div class="ttc" id="classSVF_1_1ActualParmVFGNode_html"><div class="ttname"><a href="classSVF_1_1ActualParmVFGNode.html">SVF::ActualParmVFGNode</a></div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00846">VFGNode.h:846</a></div></div>
+<div class="ttc" id="classSVF_1_1FormalOUTSVFGNode_html"><div class="ttname"><a href="classSVF_1_1FormalOUTSVFGNode.html">SVF::FormalOUTSVFGNode</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFGNode_8h_source.html#l00138">SVFGNode.h:138</a></div></div>
+<div class="ttc" id="classSVF_1_1PHIVFGNode_html"><div class="ttname"><a href="classSVF_1_1PHIVFGNode.html">SVF::PHIVFGNode</a></div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00635">VFGNode.h:635</a></div></div>
+<div class="ttc" id="classSVF_1_1ActualOUTSVFGNode_html"><div class="ttname"><a href="classSVF_1_1ActualOUTSVFGNode.html">SVF::ActualOUTSVFGNode</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFGNode_8h_source.html#l00229">SVFGNode.h:229</a></div></div>
+<div class="ttc" id="classSVF_1_1MSSAPHISVFGNode_html"><div class="ttname"><a href="classSVF_1_1MSSAPHISVFGNode.html">SVF::MSSAPHISVFGNode</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFGNode_8h_source.html#l00276">SVFGNode.h:276</a></div></div>
+<div class="ttc" id="classSVF_1_1ActualINSVFGNode_html"><div class="ttname"><a href="classSVF_1_1ActualINSVFGNode.html">SVF::ActualINSVFGNode</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFGNode_8h_source.html#l00180">SVFGNode.h:180</a></div></div>
+<div class="ttc" id="classSVF_1_1UnaryOPVFGNode_html"><div class="ttname"><a href="classSVF_1_1UnaryOPVFGNode.html">SVF::UnaryOPVFGNode</a></div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00465">VFGNode.h:465</a></div></div>
+<div class="ttc" id="classSVF_1_1CmpVFGNode_html"><div class="ttname"><a href="classSVF_1_1CmpVFGNode.html">SVF::CmpVFGNode</a></div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00324">VFGNode.h:324</a></div></div>
+<div class="ttc" id="classSVF_1_1BranchVFGNode_html"><div class="ttname"><a href="classSVF_1_1BranchVFGNode.html">SVF::BranchVFGNode</a></div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00539">VFGNode.h:539</a></div></div>
+<div class="ttc" id="classSVF_1_1ActualRetVFGNode_html"><div class="ttname"><a href="classSVF_1_1ActualRetVFGNode.html">SVF::ActualRetVFGNode</a></div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00967">VFGNode.h:967</a></div></div>
+<div class="ttc" id="classSVF_1_1StmtVFGNode_html"><div class="ttname"><a href="classSVF_1_1StmtVFGNode.html">SVF::StmtVFGNode</a></div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00116">VFGNode.h:116</a></div></div>
+<div class="ttc" id="classSVF_1_1FormalParmVFGNode_html"><div class="ttname"><a href="classSVF_1_1FormalParmVFGNode.html">SVF::FormalParmVFGNode</a></div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00898">VFGNode.h:898</a></div></div>
+<div class="ttc" id="classSVF_1_1FormalRetVFGNode_html"><div class="ttname"><a href="classSVF_1_1FormalRetVFGNode.html">SVF::FormalRetVFGNode</a></div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l01025">VFGNode.h:1025</a></div></div>
+<div class="ttc" id="classSVF_1_1NullPtrVFGNode_html"><div class="ttname"><a href="classSVF_1_1NullPtrVFGNode.html">SVF::NullPtrVFGNode</a></div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l01154">VFGNode.h:1154</a></div></div>
+<div class="ttc" id="cJSON_8h_html_ad4c68ea99a26b0a98ad9a79982960458"><div class="ttname"><a href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">string</a></div><div class="ttdeci">const char *const string</div><div class="ttdef"><b>Definition:</b> <a href="cJSON_8h_source.html#l00172">cJSON.h:172</a></div></div>
+<div class="ttc" id="classSVF_1_1FormalINSVFGNode_html"><div class="ttname"><a href="classSVF_1_1FormalINSVFGNode.html">SVF::FormalINSVFGNode</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFGNode_8h_source.html#l00093">SVFGNode.h:93</a></div></div>
+</div><!-- fragment -->
+</div>
+</div>
+<a id="af43663ec79465f7860ffecd9584e0002"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#af43663ec79465f7860ffecd9584e0002">&#9670;&nbsp;</a></span>getEdgeAttributes()</h2>
+<div class="memitem">
+<div class="memproto">
+<div class="memtemplate">
+template&lt;class EdgeIter &gt; </div>
+<table class="mlabels">
+  <tr>
+  <td class="mlabels-left">
+      <table class="memname">
+        <tr>
+          <td class="memname">static <a class="el" href="cJSON_8cpp.html#ae1adbce218e7a9d09164012443191d24">std::string</a> <a class="el" href="structSVF_1_1DOTGraphTraits.html">SVF::DOTGraphTraits</a>&lt; <a class="el" href="classSVF_1_1SVFG.html">SVFG</a> * &gt;::getEdgeAttributes </td>
+          <td>(</td>
+          <td class="paramtype"><a class="el" href="structSVF_1_1DOTGraphTraits_3_01SVFG_01_5_01_4.html#ae492abd880bf714538ffc0ede187f6d7">NodeType</a> *&#160;</td>
+          <td class="paramname">, </td>
+        </tr>
+        <tr>
+          <td class="paramkey"></td>
+          <td></td>
+          <td class="paramtype">EdgeIter&#160;</td>
+          <td class="paramname"><em>EI</em>, </td>
+        </tr>
+        <tr>
+          <td class="paramkey"></td>
+          <td></td>
+          <td class="paramtype"><a class="el" href="classSVF_1_1SVFG.html">SVFG</a> *&#160;</td>
+          <td class="paramname">&#160;</td>
+        </tr>
+        <tr>
+          <td></td>
+          <td>)</td>
+          <td></td><td></td>
+        </tr>
+      </table>
+  </td>
+  <td class="mlabels-right">
+<span class="mlabels"><span class="mlabel">inline</span><span class="mlabel">static</span></span>  </td>
+  </tr>
+</table>
+</div><div class="memdoc">
+<p class="definition">Definition at line <a class="el" href="SVFG_8cpp_source.html#l01073">1073</a> of file <a class="el" href="SVFG_8cpp_source.html">SVFG.cpp</a>.</p>
+<div class="fragment"><div class="line"><a name="l01074"></a><span class="lineno"> 1074</span>&#160;    {</div><div class="line"><a name="l01075"></a><span class="lineno"> 1075</span>&#160;        <a class="code" href="classSVF_1_1VFGEdge.html">SVFGEdge</a>* edge = *(EI.getCurrent());</div><div class="line"><a name="l01076"></a><span class="lineno"> 1076</span>&#160;        assert(edge &amp;&amp; <span class="stringliteral">&quot;No edge found!!&quot;</span>);</div><div class="line"><a name="l01077"></a><span class="lineno"> 1077</span>&#160;        <span class="keywordflow">if</span> (SVFUtil::isa&lt;DirectSVFGEdge&gt;(edge))</div><div class="line"><a name="l01078"></a><span class="lineno"> 1078</span>&#160;        {</div><div class="line"><a name="l01079"></a><span class="lineno"> 1079</span>&#160;            <span class="keywordflow">if</span> (SVFUtil::isa&lt;CallDirSVFGEdge&gt;(edge))</div><div class="line"><a name="l01080"></a><span class="lineno"> 1080</span>&#160;                <span class="keywordflow">return</span> <span class="stringliteral">&quot;style=solid,color=red&quot;</span>;</div><div class="line"><a name="l01081"></a><span class="lineno"> 1081</span>&#160;            <span class="keywordflow">else</span> <span class="keywordflow">if</span> (SVFUtil::isa&lt;RetDirSVFGEdge&gt;(edge))</div><div class="line"><a name="l01082"></a><span class="lineno"> 1082</span>&#160;                <span class="keywordflow">return</span> <span class="stringliteral">&quot;style=solid,color=blue&quot;</span>;</div><div class="line"><a name="l01083"></a><span class="lineno"> 1083</span>&#160;            <span class="keywordflow">else</span></div><div class="line"><a name="l01084"></a><span class="lineno"> 1084</span>&#160;                <span class="keywordflow">return</span> <span class="stringliteral">&quot;style=solid&quot;</span>;</div><div class="line"><a name="l01085"></a><span class="lineno"> 1085</span>&#160;        }</div><div class="line"><a name="l01086"></a><span class="lineno"> 1086</span>&#160;        <span class="keywordflow">else</span> <span class="keywordflow">if</span> (SVFUtil::isa&lt;IndirectSVFGEdge&gt;(edge))</div><div class="line"><a name="l01087"></a><span class="lineno"> 1087</span>&#160;        {</div><div class="line"><a name="l01088"></a><span class="lineno"> 1088</span>&#160;            <span class="keywordflow">if</span> (SVFUtil::isa&lt;CallIndSVFGEdge&gt;(edge))</div><div class="line"><a name="l01089"></a><span class="lineno"> 1089</span>&#160;                <span class="keywordflow">return</span> <span class="stringliteral">&quot;style=dashed,color=red&quot;</span>;</div><div class="line"><a name="l01090"></a><span class="lineno"> 1090</span>&#160;            <span class="keywordflow">else</span> <span class="keywordflow">if</span> (SVFUtil::isa&lt;RetIndSVFGEdge&gt;(edge))</div><div class="line"><a name="l01091"></a><span class="lineno"> 1091</span>&#160;                <span class="keywordflow">return</span> <span class="stringliteral">&quot;style=dashed,color=blue&quot;</span>;</div><div class="line"><a name="l01092"></a><span class="lineno"> 1092</span>&#160;            <span class="keywordflow">else</span></div><div class="line"><a name="l01093"></a><span class="lineno"> 1093</span>&#160;                <span class="keywordflow">return</span> <span class="stringliteral">&quot;style=dashed&quot;</span>;</div><div class="line"><a name="l01094"></a><span class="lineno"> 1094</span>&#160;        }</div><div class="line"><a name="l01095"></a><span class="lineno"> 1095</span>&#160;        <span class="keywordflow">return</span> <span class="stringliteral">&quot;&quot;</span>;</div><div class="line"><a name="l01096"></a><span class="lineno"> 1096</span>&#160;    }</div><div class="ttc" id="classSVF_1_1VFGEdge_html"><div class="ttname"><a href="classSVF_1_1VFGEdge.html">SVF::VFGEdge</a></div><div class="ttdef"><b>Definition:</b> <a href="VFGEdge_8h_source.html#l00044">VFGEdge.h:44</a></div></div>
+</div><!-- fragment -->
+</div>
+</div>
+<a id="a49fabf853f855b6d9041b91acd68bce2"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#a49fabf853f855b6d9041b91acd68bce2">&#9670;&nbsp;</a></span>getEdgeSourceLabel()</h2>
+<div class="memitem">
+<div class="memproto">
+<div class="memtemplate">
+template&lt;class EdgeIter &gt; </div>
+<table class="mlabels">
+  <tr>
+  <td class="mlabels-left">
+      <table class="memname">
+        <tr>
+          <td class="memname">static <a class="el" href="cJSON_8cpp.html#ae1adbce218e7a9d09164012443191d24">std::string</a> <a class="el" href="structSVF_1_1DOTGraphTraits.html">SVF::DOTGraphTraits</a>&lt; <a class="el" href="classSVF_1_1SVFG.html">SVFG</a> * &gt;::getEdgeSourceLabel </td>
+          <td>(</td>
+          <td class="paramtype"><a class="el" href="structSVF_1_1DOTGraphTraits_3_01SVFG_01_5_01_4.html#ae492abd880bf714538ffc0ede187f6d7">NodeType</a> *&#160;</td>
+          <td class="paramname">, </td>
+        </tr>
+        <tr>
+          <td class="paramkey"></td>
+          <td></td>
+          <td class="paramtype">EdgeIter&#160;</td>
+          <td class="paramname"><em>EI</em>&#160;</td>
+        </tr>
+        <tr>
+          <td></td>
+          <td>)</td>
+          <td></td><td></td>
+        </tr>
+      </table>
+  </td>
+  <td class="mlabels-right">
+<span class="mlabels"><span class="mlabel">inline</span><span class="mlabel">static</span></span>  </td>
+  </tr>
+</table>
+</div><div class="memdoc">
+<p class="definition">Definition at line <a class="el" href="SVFG_8cpp_source.html#l01099">1099</a> of file <a class="el" href="SVFG_8cpp_source.html">SVFG.cpp</a>.</p>
+<div class="fragment"><div class="line"><a name="l01100"></a><span class="lineno"> 1100</span>&#160;    {</div><div class="line"><a name="l01101"></a><span class="lineno"> 1101</span>&#160;        <a class="code" href="classSVF_1_1VFGEdge.html">SVFGEdge</a>* edge = *(EI.getCurrent());</div><div class="line"><a name="l01102"></a><span class="lineno"> 1102</span>&#160;        assert(edge &amp;&amp; <span class="stringliteral">&quot;No edge found!!&quot;</span>);</div><div class="line"><a name="l01103"></a><span class="lineno"> 1103</span>&#160;</div><div class="line"><a name="l01104"></a><span class="lineno"> 1104</span>&#160;        <a class="code" href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">std::string</a> str;</div><div class="line"><a name="l01105"></a><span class="lineno"> 1105</span>&#160;        std::stringstream rawstr(str);</div><div class="line"><a name="l01106"></a><span class="lineno"> 1106</span>&#160;        <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1CallDirSVFGEdge.html">CallDirSVFGEdge</a>* dirCall = SVFUtil::dyn_cast&lt;CallDirSVFGEdge&gt;(edge))</div><div class="line"><a name="l01107"></a><span class="lineno"> 1107</span>&#160;            rawstr &lt;&lt; dirCall-&gt;getCallSiteId();</div><div class="line"><a name="l01108"></a><span class="lineno"> 1108</span>&#160;        <span class="keywordflow">else</span> <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1RetDirSVFGEdge.html">RetDirSVFGEdge</a>* dirRet = SVFUtil::dyn_cast&lt;RetDirSVFGEdge&gt;(edge))</div><div class="line"><a name="l01109"></a><span class="lineno"> 1109</span>&#160;            rawstr &lt;&lt; dirRet-&gt;getCallSiteId();</div><div class="line"><a name="l01110"></a><span class="lineno"> 1110</span>&#160;        <span class="keywordflow">else</span> <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1CallIndSVFGEdge.html">CallIndSVFGEdge</a>* indCall = SVFUtil::dyn_cast&lt;CallIndSVFGEdge&gt;(edge))</div><div class="line"><a name="l01111"></a><span class="lineno"> 1111</span>&#160;            rawstr &lt;&lt; indCall-&gt;getCallSiteId();</div><div class="line"><a name="l01112"></a><span class="lineno"> 1112</span>&#160;        <span class="keywordflow">else</span> <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1RetIndSVFGEdge.html">RetIndSVFGEdge</a>* indRet = SVFUtil::dyn_cast&lt;RetIndSVFGEdge&gt;(edge))</div><div class="line"><a name="l01113"></a><span class="lineno"> 1113</span>&#160;            rawstr &lt;&lt; indRet-&gt;getCallSiteId();</div><div class="line"><a name="l01114"></a><span class="lineno"> 1114</span>&#160;</div><div class="line"><a name="l01115"></a><span class="lineno"> 1115</span>&#160;        <span class="keywordflow">return</span> rawstr.str();</div><div class="line"><a name="l01116"></a><span class="lineno"> 1116</span>&#160;    }</div><div class="ttc" id="classSVF_1_1RetIndSVFGEdge_html"><div class="ttname"><a href="classSVF_1_1RetIndSVFGEdge.html">SVF::RetIndSVFGEdge</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFGEdge_8h_source.html#l00165">SVFGEdge.h:165</a></div></div>
+<div class="ttc" id="classSVF_1_1CallIndSVFGEdge_html"><div class="ttname"><a href="classSVF_1_1CallIndSVFGEdge.html">SVF::CallIndSVFGEdge</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFGEdge_8h_source.html#l00126">SVFGEdge.h:126</a></div></div>
+<div class="ttc" id="classSVF_1_1CallDirSVFGEdge_html"><div class="ttname"><a href="classSVF_1_1CallDirSVFGEdge.html">SVF::CallDirSVFGEdge</a></div><div class="ttdef"><b>Definition:</b> <a href="VFGEdge_8h_source.html#l00211">VFGEdge.h:211</a></div></div>
+<div class="ttc" id="classSVF_1_1VFGEdge_html"><div class="ttname"><a href="classSVF_1_1VFGEdge.html">SVF::VFGEdge</a></div><div class="ttdef"><b>Definition:</b> <a href="VFGEdge_8h_source.html#l00044">VFGEdge.h:44</a></div></div>
+<div class="ttc" id="cJSON_8h_html_ad4c68ea99a26b0a98ad9a79982960458"><div class="ttname"><a href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">string</a></div><div class="ttdeci">const char *const string</div><div class="ttdef"><b>Definition:</b> <a href="cJSON_8h_source.html#l00172">cJSON.h:172</a></div></div>
+<div class="ttc" id="classSVF_1_1RetDirSVFGEdge_html"><div class="ttname"><a href="classSVF_1_1RetDirSVFGEdge.html">SVF::RetDirSVFGEdge</a></div><div class="ttdef"><b>Definition:</b> <a href="VFGEdge_8h_source.html#l00254">VFGEdge.h:254</a></div></div>
+</div><!-- fragment -->
+</div>
+</div>
+<a id="a38e619de70d79e38d3d65d521f224d07"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#a38e619de70d79e38d3d65d521f224d07">&#9670;&nbsp;</a></span>getGraphName()</h2>
+<div class="memitem">
+<div class="memproto">
+<table class="mlabels">
+  <tr>
+  <td class="mlabels-left">
+      <table class="memname">
+        <tr>
+          <td class="memname">static <a class="el" href="cJSON_8cpp.html#ae1adbce218e7a9d09164012443191d24">std::string</a> <a class="el" href="structSVF_1_1DOTGraphTraits.html">SVF::DOTGraphTraits</a>&lt; <a class="el" href="classSVF_1_1SVFG.html">SVFG</a> * &gt;::getGraphName </td>
+          <td>(</td>
+          <td class="paramtype"><a class="el" href="classSVF_1_1SVFG.html">SVFG</a> *&#160;</td>
+          <td class="paramname"></td><td>)</td>
+          <td></td>
+        </tr>
+      </table>
+  </td>
+  <td class="mlabels-right">
+<span class="mlabels"><span class="mlabel">inline</span><span class="mlabel">static</span></span>  </td>
+  </tr>
+</table>
+</div><div class="memdoc">
+<p>Return name of the graph. </p>
+<p class="definition">Definition at line <a class="el" href="SVFG_8cpp_source.html#l00777">777</a> of file <a class="el" href="SVFG_8cpp_source.html">SVFG.cpp</a>.</p>
+<div class="fragment"><div class="line"><a name="l00778"></a><span class="lineno">  778</span>&#160;    {</div><div class="line"><a name="l00779"></a><span class="lineno">  779</span>&#160;        <span class="keywordflow">return</span> <span class="stringliteral">&quot;SVFG&quot;</span>;</div><div class="line"><a name="l00780"></a><span class="lineno">  780</span>&#160;    }</div></div><!-- fragment -->
+</div>
+</div>
+<a id="ad851a3820df828f0598046e0c953330c"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#ad851a3820df828f0598046e0c953330c">&#9670;&nbsp;</a></span>getNodeAttributes()</h2>
+<div class="memitem">
+<div class="memproto">
+<table class="mlabels">
+  <tr>
+  <td class="mlabels-left">
+      <table class="memname">
+        <tr>
+          <td class="memname">static <a class="el" href="cJSON_8cpp.html#ae1adbce218e7a9d09164012443191d24">std::string</a> <a class="el" href="structSVF_1_1DOTGraphTraits.html">SVF::DOTGraphTraits</a>&lt; <a class="el" href="classSVF_1_1SVFG.html">SVFG</a> * &gt;::getNodeAttributes </td>
+          <td>(</td>
+          <td class="paramtype"><a class="el" href="structSVF_1_1DOTGraphTraits_3_01SVFG_01_5_01_4.html#ae492abd880bf714538ffc0ede187f6d7">NodeType</a> *&#160;</td>
+          <td class="paramname"><em>node</em>, </td>
+        </tr>
+        <tr>
+          <td class="paramkey"></td>
+          <td></td>
+          <td class="paramtype"><a class="el" href="classSVF_1_1SVFG.html">SVFG</a> *&#160;</td>
+          <td class="paramname"><em>graph</em>&#160;</td>
+        </tr>
+        <tr>
+          <td></td>
+          <td>)</td>
+          <td></td><td></td>
+        </tr>
+      </table>
+  </td>
+  <td class="mlabels-right">
+<span class="mlabels"><span class="mlabel">inline</span><span class="mlabel">static</span></span>  </td>
+  </tr>
+</table>
+</div><div class="memdoc">
+<p>dump slice information </p>
+<p class="definition">Definition at line <a class="el" href="SVFG_8cpp_source.html#l00950">950</a> of file <a class="el" href="SVFG_8cpp_source.html">SVFG.cpp</a>.</p>
+<div class="fragment"><div class="line"><a name="l00951"></a><span class="lineno">  951</span>&#160;    {</div><div class="line"><a name="l00952"></a><span class="lineno">  952</span>&#160;        <a class="code" href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">std::string</a> str;</div><div class="line"><a name="l00953"></a><span class="lineno">  953</span>&#160;        std::stringstream rawstr(str);</div><div class="line"><a name="l00954"></a><span class="lineno">  954</span>&#160;</div><div class="line"><a name="l00955"></a><span class="lineno">  955</span>&#160;        <span class="keywordflow">if</span>(<a class="code" href="classSVF_1_1StmtVFGNode.html">StmtSVFGNode</a>* stmtNode = SVFUtil::dyn_cast&lt;StmtSVFGNode&gt;(node))</div><div class="line"><a name="l00956"></a><span class="lineno">  956</span>&#160;        {</div><div class="line"><a name="l00957"></a><span class="lineno">  957</span>&#160;            <span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFStmt.html">PAGEdge</a>* edge = stmtNode-&gt;getPAGEdge();</div><div class="line"><a name="l00958"></a><span class="lineno">  958</span>&#160;            <span class="keywordflow">if</span> (SVFUtil::isa&lt;AddrStmt&gt;(edge))</div><div class="line"><a name="l00959"></a><span class="lineno">  959</span>&#160;            {</div><div class="line"><a name="l00960"></a><span class="lineno">  960</span>&#160;                rawstr &lt;&lt;  <span class="stringliteral">&quot;color=green&quot;</span>;</div><div class="line"><a name="l00961"></a><span class="lineno">  961</span>&#160;            }</div><div class="line"><a name="l00962"></a><span class="lineno">  962</span>&#160;            <span class="keywordflow">else</span> <span class="keywordflow">if</span> (SVFUtil::isa&lt;CopyStmt&gt;(edge))</div><div class="line"><a name="l00963"></a><span class="lineno">  963</span>&#160;            {</div><div class="line"><a name="l00964"></a><span class="lineno">  964</span>&#160;                rawstr &lt;&lt;  <span class="stringliteral">&quot;color=black&quot;</span>;</div><div class="line"><a name="l00965"></a><span class="lineno">  965</span>&#160;            }</div><div class="line"><a name="l00966"></a><span class="lineno">  966</span>&#160;            <span class="keywordflow">else</span> <span class="keywordflow">if</span> (SVFUtil::isa&lt;RetPE&gt;(edge))</div><div class="line"><a name="l00967"></a><span class="lineno">  967</span>&#160;            {</div><div class="line"><a name="l00968"></a><span class="lineno">  968</span>&#160;                rawstr &lt;&lt;  <span class="stringliteral">&quot;color=black,style=dotted&quot;</span>;</div><div class="line"><a name="l00969"></a><span class="lineno">  969</span>&#160;            }</div><div class="line"><a name="l00970"></a><span class="lineno">  970</span>&#160;            <span class="keywordflow">else</span> <span class="keywordflow">if</span> (SVFUtil::isa&lt;GepStmt&gt;(edge))</div><div class="line"><a name="l00971"></a><span class="lineno">  971</span>&#160;            {</div><div class="line"><a name="l00972"></a><span class="lineno">  972</span>&#160;                rawstr &lt;&lt;  <span class="stringliteral">&quot;color=purple&quot;</span>;</div><div class="line"><a name="l00973"></a><span class="lineno">  973</span>&#160;            }</div><div class="line"><a name="l00974"></a><span class="lineno">  974</span>&#160;            <span class="keywordflow">else</span> <span class="keywordflow">if</span> (SVFUtil::isa&lt;StoreStmt&gt;(edge))</div><div class="line"><a name="l00975"></a><span class="lineno">  975</span>&#160;            {</div><div class="line"><a name="l00976"></a><span class="lineno">  976</span>&#160;                rawstr &lt;&lt;  <span class="stringliteral">&quot;color=blue&quot;</span>;</div><div class="line"><a name="l00977"></a><span class="lineno">  977</span>&#160;            }</div><div class="line"><a name="l00978"></a><span class="lineno">  978</span>&#160;            <span class="keywordflow">else</span> <span class="keywordflow">if</span> (SVFUtil::isa&lt;LoadStmt&gt;(edge))</div><div class="line"><a name="l00979"></a><span class="lineno">  979</span>&#160;            {</div><div class="line"><a name="l00980"></a><span class="lineno">  980</span>&#160;                rawstr &lt;&lt;  <span class="stringliteral">&quot;color=red&quot;</span>;</div><div class="line"><a name="l00981"></a><span class="lineno">  981</span>&#160;            }</div><div class="line"><a name="l00982"></a><span class="lineno">  982</span>&#160;            <span class="keywordflow">else</span></div><div class="line"><a name="l00983"></a><span class="lineno">  983</span>&#160;            {</div><div class="line"><a name="l00984"></a><span class="lineno">  984</span>&#160;                assert(0 &amp;&amp; <span class="stringliteral">&quot;No such kind edge!!&quot;</span>);</div><div class="line"><a name="l00985"></a><span class="lineno">  985</span>&#160;            }</div><div class="line"><a name="l00986"></a><span class="lineno">  986</span>&#160;            rawstr &lt;&lt;  <span class="stringliteral">&quot;&quot;</span>;</div><div class="line"><a name="l00987"></a><span class="lineno">  987</span>&#160;        }</div><div class="line"><a name="l00988"></a><span class="lineno">  988</span>&#160;        <span class="keywordflow">else</span> <span class="keywordflow">if</span>(SVFUtil::isa&lt;MSSAPHISVFGNode&gt;(node))</div><div class="line"><a name="l00989"></a><span class="lineno">  989</span>&#160;        {</div><div class="line"><a name="l00990"></a><span class="lineno">  990</span>&#160;            rawstr &lt;&lt;  <span class="stringliteral">&quot;color=black&quot;</span>;</div><div class="line"><a name="l00991"></a><span class="lineno">  991</span>&#160;        }</div><div class="line"><a name="l00992"></a><span class="lineno">  992</span>&#160;        <span class="keywordflow">else</span> <span class="keywordflow">if</span>(SVFUtil::isa&lt;PHISVFGNode&gt;(node))</div><div class="line"><a name="l00993"></a><span class="lineno">  993</span>&#160;        {</div><div class="line"><a name="l00994"></a><span class="lineno">  994</span>&#160;            rawstr &lt;&lt;  <span class="stringliteral">&quot;color=black&quot;</span>;</div><div class="line"><a name="l00995"></a><span class="lineno">  995</span>&#160;        }</div><div class="line"><a name="l00996"></a><span class="lineno">  996</span>&#160;        <span class="keywordflow">else</span> <span class="keywordflow">if</span>(SVFUtil::isa&lt;NullPtrSVFGNode&gt;(node))</div><div class="line"><a name="l00997"></a><span class="lineno">  997</span>&#160;        {</div><div class="line"><a name="l00998"></a><span class="lineno">  998</span>&#160;            rawstr &lt;&lt;  <span class="stringliteral">&quot;color=grey&quot;</span>;</div><div class="line"><a name="l00999"></a><span class="lineno">  999</span>&#160;        }</div><div class="line"><a name="l01000"></a><span class="lineno"> 1000</span>&#160;        <span class="keywordflow">else</span> <span class="keywordflow">if</span>(SVFUtil::isa&lt;FormalINSVFGNode&gt;(node))</div><div class="line"><a name="l01001"></a><span class="lineno"> 1001</span>&#160;        {</div><div class="line"><a name="l01002"></a><span class="lineno"> 1002</span>&#160;            rawstr &lt;&lt;  <span class="stringliteral">&quot;color=yellow,penwidth=2&quot;</span>;</div><div class="line"><a name="l01003"></a><span class="lineno"> 1003</span>&#160;        }</div><div class="line"><a name="l01004"></a><span class="lineno"> 1004</span>&#160;        <span class="keywordflow">else</span> <span class="keywordflow">if</span>(SVFUtil::isa&lt;FormalOUTSVFGNode&gt;(node))</div><div class="line"><a name="l01005"></a><span class="lineno"> 1005</span>&#160;        {</div><div class="line"><a name="l01006"></a><span class="lineno"> 1006</span>&#160;            rawstr &lt;&lt;  <span class="stringliteral">&quot;color=yellow,penwidth=2&quot;</span>;</div><div class="line"><a name="l01007"></a><span class="lineno"> 1007</span>&#160;        }</div><div class="line"><a name="l01008"></a><span class="lineno"> 1008</span>&#160;        <span class="keywordflow">else</span> <span class="keywordflow">if</span>(SVFUtil::isa&lt;FormalParmSVFGNode&gt;(node))</div><div class="line"><a name="l01009"></a><span class="lineno"> 1009</span>&#160;        {</div><div class="line"><a name="l01010"></a><span class="lineno"> 1010</span>&#160;            rawstr &lt;&lt;  <span class="stringliteral">&quot;color=yellow,penwidth=2&quot;</span>;</div><div class="line"><a name="l01011"></a><span class="lineno"> 1011</span>&#160;        }</div><div class="line"><a name="l01012"></a><span class="lineno"> 1012</span>&#160;        <span class="keywordflow">else</span> <span class="keywordflow">if</span>(SVFUtil::isa&lt;ActualINSVFGNode&gt;(node))</div><div class="line"><a name="l01013"></a><span class="lineno"> 1013</span>&#160;        {</div><div class="line"><a name="l01014"></a><span class="lineno"> 1014</span>&#160;            rawstr &lt;&lt;  <span class="stringliteral">&quot;color=yellow,penwidth=2&quot;</span>;</div><div class="line"><a name="l01015"></a><span class="lineno"> 1015</span>&#160;        }</div><div class="line"><a name="l01016"></a><span class="lineno"> 1016</span>&#160;        <span class="keywordflow">else</span> <span class="keywordflow">if</span>(SVFUtil::isa&lt;ActualOUTSVFGNode&gt;(node))</div><div class="line"><a name="l01017"></a><span class="lineno"> 1017</span>&#160;        {</div><div class="line"><a name="l01018"></a><span class="lineno"> 1018</span>&#160;            rawstr &lt;&lt;  <span class="stringliteral">&quot;color=yellow,penwidth=2&quot;</span>;</div><div class="line"><a name="l01019"></a><span class="lineno"> 1019</span>&#160;        }</div><div class="line"><a name="l01020"></a><span class="lineno"> 1020</span>&#160;        <span class="keywordflow">else</span> <span class="keywordflow">if</span>(SVFUtil::isa&lt;ActualParmSVFGNode&gt;(node))</div><div class="line"><a name="l01021"></a><span class="lineno"> 1021</span>&#160;        {</div><div class="line"><a name="l01022"></a><span class="lineno"> 1022</span>&#160;            rawstr &lt;&lt;  <span class="stringliteral">&quot;color=yellow,penwidth=2&quot;</span>;</div><div class="line"><a name="l01023"></a><span class="lineno"> 1023</span>&#160;        }</div><div class="line"><a name="l01024"></a><span class="lineno"> 1024</span>&#160;        <span class="keywordflow">else</span> <span class="keywordflow">if</span> (SVFUtil::isa&lt;ActualRetSVFGNode&gt;(node))</div><div class="line"><a name="l01025"></a><span class="lineno"> 1025</span>&#160;        {</div><div class="line"><a name="l01026"></a><span class="lineno"> 1026</span>&#160;            rawstr &lt;&lt;  <span class="stringliteral">&quot;color=yellow,penwidth=2&quot;</span>;</div><div class="line"><a name="l01027"></a><span class="lineno"> 1027</span>&#160;        }</div><div class="line"><a name="l01028"></a><span class="lineno"> 1028</span>&#160;        <span class="keywordflow">else</span> <span class="keywordflow">if</span> (SVFUtil::isa&lt;FormalRetSVFGNode&gt;(node))</div><div class="line"><a name="l01029"></a><span class="lineno"> 1029</span>&#160;        {</div><div class="line"><a name="l01030"></a><span class="lineno"> 1030</span>&#160;            rawstr &lt;&lt;  <span class="stringliteral">&quot;color=yellow,penwidth=2&quot;</span>;</div><div class="line"><a name="l01031"></a><span class="lineno"> 1031</span>&#160;        }</div><div class="line"><a name="l01032"></a><span class="lineno"> 1032</span>&#160;        <span class="keywordflow">else</span> <span class="keywordflow">if</span> (SVFUtil::isa&lt;BinaryOPVFGNode&gt;(node))</div><div class="line"><a name="l01033"></a><span class="lineno"> 1033</span>&#160;        {</div><div class="line"><a name="l01034"></a><span class="lineno"> 1034</span>&#160;            rawstr &lt;&lt;  <span class="stringliteral">&quot;color=black,penwidth=2&quot;</span>;</div><div class="line"><a name="l01035"></a><span class="lineno"> 1035</span>&#160;        }</div><div class="line"><a name="l01036"></a><span class="lineno"> 1036</span>&#160;        <span class="keywordflow">else</span> <span class="keywordflow">if</span> (SVFUtil::isa&lt;CmpVFGNode&gt;(node))</div><div class="line"><a name="l01037"></a><span class="lineno"> 1037</span>&#160;        {</div><div class="line"><a name="l01038"></a><span class="lineno"> 1038</span>&#160;            rawstr &lt;&lt;  <span class="stringliteral">&quot;color=black,penwidth=2&quot;</span>;</div><div class="line"><a name="l01039"></a><span class="lineno"> 1039</span>&#160;        }</div><div class="line"><a name="l01040"></a><span class="lineno"> 1040</span>&#160;        <span class="keywordflow">else</span> <span class="keywordflow">if</span> (SVFUtil::isa&lt;UnaryOPVFGNode&gt;(node))</div><div class="line"><a name="l01041"></a><span class="lineno"> 1041</span>&#160;        {</div><div class="line"><a name="l01042"></a><span class="lineno"> 1042</span>&#160;            rawstr &lt;&lt;  <span class="stringliteral">&quot;color=black,penwidth=2&quot;</span>;</div><div class="line"><a name="l01043"></a><span class="lineno"> 1043</span>&#160;        }</div><div class="line"><a name="l01044"></a><span class="lineno"> 1044</span>&#160;        <span class="keywordflow">else</span> <span class="keywordflow">if</span> (SVFUtil::isa&lt;BranchVFGNode&gt;(node))</div><div class="line"><a name="l01045"></a><span class="lineno"> 1045</span>&#160;        {</div><div class="line"><a name="l01046"></a><span class="lineno"> 1046</span>&#160;            rawstr &lt;&lt;  <span class="stringliteral">&quot;color=gold,penwidth=2&quot;</span>;</div><div class="line"><a name="l01047"></a><span class="lineno"> 1047</span>&#160;        }</div><div class="line"><a name="l01048"></a><span class="lineno"> 1048</span>&#160;        <span class="keywordflow">else</span></div><div class="line"><a name="l01049"></a><span class="lineno"> 1049</span>&#160;            assert(<span class="keyword">false</span> &amp;&amp; <span class="stringliteral">&quot;no such kind of node!!&quot;</span>);</div><div class="line"><a name="l01050"></a><span class="lineno"> 1050</span>&#160;</div><div class="line"><a name="l01052"></a><span class="lineno"> 1052</span>&#160;        <span class="keywordflow">if</span>(graph-&gt;<a class="code" href="classSVF_1_1SVFG.html#a8ba934714a7f2caf2e041002fdb66137">getStat</a>()-&gt;<a class="code" href="classSVF_1_1SVFGStat.html#a72c93b86e95bdbe32ade33f7264f4c0a">isSource</a>(node))</div><div class="line"><a name="l01053"></a><span class="lineno"> 1053</span>&#160;        {</div><div class="line"><a name="l01054"></a><span class="lineno"> 1054</span>&#160;            rawstr &lt;&lt; <span class="stringliteral">&quot;,style=filled, fillcolor=red&quot;</span>;</div><div class="line"><a name="l01055"></a><span class="lineno"> 1055</span>&#160;        }</div><div class="line"><a name="l01056"></a><span class="lineno"> 1056</span>&#160;        <span class="keywordflow">else</span> <span class="keywordflow">if</span>(graph-&gt;<a class="code" href="classSVF_1_1SVFG.html#a8ba934714a7f2caf2e041002fdb66137">getStat</a>()-&gt;<a class="code" href="classSVF_1_1SVFGStat.html#ae905f0d64db3039f8fd3c117c4624e31">isSink</a>(node))</div><div class="line"><a name="l01057"></a><span class="lineno"> 1057</span>&#160;        {</div><div class="line"><a name="l01058"></a><span class="lineno"> 1058</span>&#160;            rawstr &lt;&lt; <span class="stringliteral">&quot;,style=filled, fillcolor=blue&quot;</span>;</div><div class="line"><a name="l01059"></a><span class="lineno"> 1059</span>&#160;        }</div><div class="line"><a name="l01060"></a><span class="lineno"> 1060</span>&#160;        <span class="keywordflow">else</span> <span class="keywordflow">if</span>(graph-&gt;<a class="code" href="classSVF_1_1SVFG.html#a8ba934714a7f2caf2e041002fdb66137">getStat</a>()-&gt;<a class="code" href="classSVF_1_1SVFGStat.html#a6e68486e02db81cbbedc942ace3e9590">inBackwardSlice</a>(node))</div><div class="line"><a name="l01061"></a><span class="lineno"> 1061</span>&#160;        {</div><div class="line"><a name="l01062"></a><span class="lineno"> 1062</span>&#160;            rawstr &lt;&lt; <span class="stringliteral">&quot;,style=filled, fillcolor=yellow&quot;</span>;</div><div class="line"><a name="l01063"></a><span class="lineno"> 1063</span>&#160;        }</div><div class="line"><a name="l01064"></a><span class="lineno"> 1064</span>&#160;        <span class="keywordflow">else</span> <span class="keywordflow">if</span>(graph-&gt;<a class="code" href="classSVF_1_1SVFG.html#a8ba934714a7f2caf2e041002fdb66137">getStat</a>()-&gt;<a class="code" href="classSVF_1_1SVFGStat.html#adc6a5c3e430bdf942f1462e101ac6917">inForwardSlice</a>(node))</div><div class="line"><a name="l01065"></a><span class="lineno"> 1065</span>&#160;            rawstr &lt;&lt; <span class="stringliteral">&quot;,style=filled, fillcolor=gray&quot;</span>;</div><div class="line"><a name="l01066"></a><span class="lineno"> 1066</span>&#160;</div><div class="line"><a name="l01067"></a><span class="lineno"> 1067</span>&#160;        rawstr &lt;&lt;  <span class="stringliteral">&quot;&quot;</span>;</div><div class="line"><a name="l01068"></a><span class="lineno"> 1068</span>&#160;</div><div class="line"><a name="l01069"></a><span class="lineno"> 1069</span>&#160;        <span class="keywordflow">return</span> rawstr.str();</div><div class="line"><a name="l01070"></a><span class="lineno"> 1070</span>&#160;    }</div><div class="ttc" id="classSVF_1_1SVFG_html_a8ba934714a7f2caf2e041002fdb66137"><div class="ttname"><a href="classSVF_1_1SVFG.html#a8ba934714a7f2caf2e041002fdb66137">SVF::SVFG::getStat</a></div><div class="ttdeci">SVFGStat * getStat() const</div><div class="ttdoc">Return statistics. </div><div class="ttdef"><b>Definition:</b> <a href="SVFG_8h_source.html#l00125">SVFG.h:125</a></div></div>
+<div class="ttc" id="classSVF_1_1SVFGStat_html_a72c93b86e95bdbe32ade33f7264f4c0a"><div class="ttname"><a href="classSVF_1_1SVFGStat.html#a72c93b86e95bdbe32ade33f7264f4c0a">SVF::SVFGStat::isSource</a></div><div class="ttdeci">bool isSource(const SVFGNode *node) const</div><div class="ttdef"><b>Definition:</b> <a href="SVFGStat_8h_source.html#l00261">SVFGStat.h:261</a></div></div>
+<div class="ttc" id="classSVF_1_1SVFGStat_html_ae905f0d64db3039f8fd3c117c4624e31"><div class="ttname"><a href="classSVF_1_1SVFGStat.html#ae905f0d64db3039f8fd3c117c4624e31">SVF::SVFGStat::isSink</a></div><div class="ttdeci">bool isSink(const SVFGNode *node) const</div><div class="ttdef"><b>Definition:</b> <a href="SVFGStat_8h_source.html#l00265">SVFGStat.h:265</a></div></div>
+<div class="ttc" id="classSVF_1_1SVFGStat_html_a6e68486e02db81cbbedc942ace3e9590"><div class="ttname"><a href="classSVF_1_1SVFGStat.html#a6e68486e02db81cbbedc942ace3e9590">SVF::SVFGStat::inBackwardSlice</a></div><div class="ttdeci">bool inBackwardSlice(const SVFGNode *node) const</div><div class="ttdef"><b>Definition:</b> <a href="SVFGStat_8h_source.html#l00257">SVFGStat.h:257</a></div></div>
+<div class="ttc" id="classSVF_1_1StmtVFGNode_html"><div class="ttname"><a href="classSVF_1_1StmtVFGNode.html">SVF::StmtVFGNode</a></div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00116">VFGNode.h:116</a></div></div>
+<div class="ttc" id="cJSON_8h_html_ad4c68ea99a26b0a98ad9a79982960458"><div class="ttname"><a href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">string</a></div><div class="ttdeci">const char *const string</div><div class="ttdef"><b>Definition:</b> <a href="cJSON_8h_source.html#l00172">cJSON.h:172</a></div></div>
+<div class="ttc" id="classSVF_1_1SVFStmt_html"><div class="ttname"><a href="classSVF_1_1SVFStmt.html">SVF::SVFStmt</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00047">SVFStatements.h:47</a></div></div>
+<div class="ttc" id="classSVF_1_1SVFGStat_html_adc6a5c3e430bdf942f1462e101ac6917"><div class="ttname"><a href="classSVF_1_1SVFGStat.html#adc6a5c3e430bdf942f1462e101ac6917">SVF::SVFGStat::inForwardSlice</a></div><div class="ttdeci">bool inForwardSlice(const SVFGNode *node) const</div><div class="ttdef"><b>Definition:</b> <a href="SVFGStat_8h_source.html#l00253">SVFGStat.h:253</a></div></div>
+</div><!-- fragment -->
+</div>
+</div>
+<a id="a408191812417e4cf67c63197498e8bff"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#a408191812417e4cf67c63197498e8bff">&#9670;&nbsp;</a></span>getNodeLabel()</h2>
+<div class="memitem">
+<div class="memproto">
+<table class="mlabels">
+  <tr>
+  <td class="mlabels-left">
+      <table class="memname">
+        <tr>
+          <td class="memname"><a class="el" href="cJSON_8cpp.html#ae1adbce218e7a9d09164012443191d24">std::string</a> <a class="el" href="structSVF_1_1DOTGraphTraits.html">SVF::DOTGraphTraits</a>&lt; <a class="el" href="classSVF_1_1SVFG.html">SVFG</a> * &gt;::getNodeLabel </td>
+          <td>(</td>
+          <td class="paramtype"><a class="el" href="structSVF_1_1DOTGraphTraits_3_01SVFG_01_5_01_4.html#ae492abd880bf714538ffc0ede187f6d7">NodeType</a> *&#160;</td>
+          <td class="paramname"><em>node</em>, </td>
+        </tr>
+        <tr>
+          <td class="paramkey"></td>
+          <td></td>
+          <td class="paramtype"><a class="el" href="classSVF_1_1SVFG.html">SVFG</a> *&#160;</td>
+          <td class="paramname"><em>graph</em>&#160;</td>
+        </tr>
+        <tr>
+          <td></td>
+          <td>)</td>
+          <td></td><td></td>
+        </tr>
+      </table>
+  </td>
+  <td class="mlabels-right">
+<span class="mlabels"><span class="mlabel">inline</span></span>  </td>
+  </tr>
+</table>
+</div><div class="memdoc">
+<p class="definition">Definition at line <a class="el" href="SVFG_8cpp_source.html#l00795">795</a> of file <a class="el" href="SVFG_8cpp_source.html">SVFG.cpp</a>.</p>
+<div class="fragment"><div class="line"><a name="l00796"></a><span class="lineno">  796</span>&#160;    {</div><div class="line"><a name="l00797"></a><span class="lineno">  797</span>&#160;        <span class="keywordflow">if</span> (<a class="code" href="structSVF_1_1DefaultDOTGraphTraits.html#acc82bc6228128e5bb98a6b00d6dc5f77">isSimple</a>())</div><div class="line"><a name="l00798"></a><span class="lineno">  798</span>&#160;            <span class="keywordflow">return</span> getSimpleNodeLabel(node, graph);</div><div class="line"><a name="l00799"></a><span class="lineno">  799</span>&#160;        <span class="keywordflow">else</span></div><div class="line"><a name="l00800"></a><span class="lineno">  800</span>&#160;            <span class="keywordflow">return</span> getCompleteNodeLabel(node, graph);</div><div class="line"><a name="l00801"></a><span class="lineno">  801</span>&#160;    }</div><div class="ttc" id="structSVF_1_1DefaultDOTGraphTraits_html_acc82bc6228128e5bb98a6b00d6dc5f77"><div class="ttname"><a href="structSVF_1_1DefaultDOTGraphTraits.html#acc82bc6228128e5bb98a6b00d6dc5f77">SVF::DefaultDOTGraphTraits::isSimple</a></div><div class="ttdeci">bool isSimple()</div><div class="ttdef"><b>Definition:</b> <a href="DOTGraphTraits_8h_source.html#l00035">DOTGraphTraits.h:35</a></div></div>
+</div><!-- fragment -->
+</div>
+</div>
+<a id="a80aace686045f098dde4acb2087f8541"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#a80aace686045f098dde4acb2087f8541">&#9670;&nbsp;</a></span>getSimpleNodeLabel()</h2>
+<div class="memitem">
+<div class="memproto">
+<table class="mlabels">
+  <tr>
+  <td class="mlabels-left">
+      <table class="memname">
+        <tr>
+          <td class="memname">static <a class="el" href="cJSON_8cpp.html#ae1adbce218e7a9d09164012443191d24">std::string</a> <a class="el" href="structSVF_1_1DOTGraphTraits.html">SVF::DOTGraphTraits</a>&lt; <a class="el" href="classSVF_1_1SVFG.html">SVFG</a> * &gt;::getSimpleNodeLabel </td>
+          <td>(</td>
+          <td class="paramtype"><a class="el" href="structSVF_1_1DOTGraphTraits_3_01SVFG_01_5_01_4.html#ae492abd880bf714538ffc0ede187f6d7">NodeType</a> *&#160;</td>
+          <td class="paramname"><em>node</em>, </td>
+        </tr>
+        <tr>
+          <td class="paramkey"></td>
+          <td></td>
+          <td class="paramtype"><a class="el" href="classSVF_1_1SVFG.html">SVFG</a> *&#160;</td>
+          <td class="paramname">&#160;</td>
+        </tr>
+        <tr>
+          <td></td>
+          <td>)</td>
+          <td></td><td></td>
+        </tr>
+      </table>
+  </td>
+  <td class="mlabels-right">
+<span class="mlabels"><span class="mlabel">inline</span><span class="mlabel">static</span></span>  </td>
+  </tr>
+</table>
+</div><div class="memdoc">
+<p>Return label of a <a class="el" href="classSVF_1_1VFG.html">VFG</a> node without <a class="el" href="classSVF_1_1MemSSA.html">MemSSA</a> information. </p>
+<p class="definition">Definition at line <a class="el" href="SVFG_8cpp_source.html#l00804">804</a> of file <a class="el" href="SVFG_8cpp_source.html">SVFG.cpp</a>.</p>
+<div class="fragment"><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;        <a class="code" href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">std::string</a> str;</div><div class="line"><a name="l00807"></a><span class="lineno">  807</span>&#160;        std::stringstream rawstr(str);</div><div class="line"><a name="l00808"></a><span class="lineno">  808</span>&#160;        <span class="keywordflow">if</span>(<a class="code" href="classSVF_1_1StmtVFGNode.html">StmtSVFGNode</a>* stmtNode = SVFUtil::dyn_cast&lt;StmtSVFGNode&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;            rawstr &lt;&lt; stmtNode-&gt;toString();</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>(<a class="code" href="classSVF_1_1PHIVFGNode.html">PHISVFGNode</a>* tphi = SVFUtil::dyn_cast&lt;PHISVFGNode&gt;(node))</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;            rawstr &lt;&lt; tphi-&gt;toString();</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">else</span> <span class="keywordflow">if</span>(<a class="code" href="classSVF_1_1FormalParmVFGNode.html">FormalParmSVFGNode</a>* fp = SVFUtil::dyn_cast&lt;FormalParmSVFGNode&gt;(node))</div><div class="line"><a name="l00817"></a><span class="lineno">  817</span>&#160;        {</div><div class="line"><a name="l00818"></a><span class="lineno">  818</span>&#160;            rawstr &lt;&lt; fp-&gt;toString();</div><div class="line"><a name="l00819"></a><span class="lineno">  819</span>&#160;        }</div><div class="line"><a name="l00820"></a><span class="lineno">  820</span>&#160;        <span class="keywordflow">else</span> <span class="keywordflow">if</span>(<a class="code" href="classSVF_1_1ActualParmVFGNode.html">ActualParmSVFGNode</a>* ap = SVFUtil::dyn_cast&lt;ActualParmSVFGNode&gt;(node))</div><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;            rawstr &lt;&lt; ap-&gt;toString();</div><div class="line"><a name="l00823"></a><span class="lineno">  823</span>&#160;        }</div><div class="line"><a name="l00824"></a><span class="lineno">  824</span>&#160;        <span class="keywordflow">else</span> <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1ActualRetVFGNode.html">ActualRetSVFGNode</a>* ar = SVFUtil::dyn_cast&lt;ActualRetSVFGNode&gt;(node))</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;            rawstr &lt;&lt; ar-&gt;toString();</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> (<a class="code" href="classSVF_1_1FormalRetVFGNode.html">FormalRetSVFGNode</a>* fr = SVFUtil::dyn_cast&lt;FormalRetSVFGNode&gt;(node))</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;            rawstr &lt;&lt; fr-&gt;toString();</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>(<a class="code" href="classSVF_1_1FormalINSVFGNode.html">FormalINSVFGNode</a>* fi = SVFUtil::dyn_cast&lt;FormalINSVFGNode&gt;(node))</div><div class="line"><a name="l00833"></a><span class="lineno">  833</span>&#160;        {</div><div class="line"><a name="l00834"></a><span class="lineno">  834</span>&#160;            rawstr &lt;&lt; fi-&gt;toString();</div><div class="line"><a name="l00835"></a><span class="lineno">  835</span>&#160;        }</div><div class="line"><a name="l00836"></a><span class="lineno">  836</span>&#160;        <span class="keywordflow">else</span> <span class="keywordflow">if</span>(<a class="code" href="classSVF_1_1FormalOUTSVFGNode.html">FormalOUTSVFGNode</a>* fo = SVFUtil::dyn_cast&lt;FormalOUTSVFGNode&gt;(node))</div><div class="line"><a name="l00837"></a><span class="lineno">  837</span>&#160;        {</div><div class="line"><a name="l00838"></a><span class="lineno">  838</span>&#160;            rawstr &lt;&lt; fo-&gt;toString();</div><div class="line"><a name="l00839"></a><span class="lineno">  839</span>&#160;        }</div><div class="line"><a name="l00840"></a><span class="lineno">  840</span>&#160;        <span class="keywordflow">else</span> <span class="keywordflow">if</span>(<a class="code" href="classSVF_1_1ActualINSVFGNode.html">ActualINSVFGNode</a>* ai = SVFUtil::dyn_cast&lt;ActualINSVFGNode&gt;(node))</div><div class="line"><a name="l00841"></a><span class="lineno">  841</span>&#160;        {</div><div class="line"><a name="l00842"></a><span class="lineno">  842</span>&#160;            rawstr &lt;&lt; ai-&gt;toString();</div><div class="line"><a name="l00843"></a><span class="lineno">  843</span>&#160;        }</div><div class="line"><a name="l00844"></a><span class="lineno">  844</span>&#160;        <span class="keywordflow">else</span> <span class="keywordflow">if</span>(<a class="code" href="classSVF_1_1ActualOUTSVFGNode.html">ActualOUTSVFGNode</a>* ao = SVFUtil::dyn_cast&lt;ActualOUTSVFGNode&gt;(node))</div><div class="line"><a name="l00845"></a><span class="lineno">  845</span>&#160;        {</div><div class="line"><a name="l00846"></a><span class="lineno">  846</span>&#160;            rawstr &lt;&lt; ao-&gt;toString();</div><div class="line"><a name="l00847"></a><span class="lineno">  847</span>&#160;        }</div><div class="line"><a name="l00848"></a><span class="lineno">  848</span>&#160;        <span class="keywordflow">else</span> <span class="keywordflow">if</span>(<a class="code" href="classSVF_1_1MSSAPHISVFGNode.html">MSSAPHISVFGNode</a>* mphi = SVFUtil::dyn_cast&lt;MSSAPHISVFGNode&gt;(node))</div><div class="line"><a name="l00849"></a><span class="lineno">  849</span>&#160;        {</div><div class="line"><a name="l00850"></a><span class="lineno">  850</span>&#160;            rawstr &lt;&lt; mphi-&gt;toString();</div><div class="line"><a name="l00851"></a><span class="lineno">  851</span>&#160;        }</div><div class="line"><a name="l00852"></a><span class="lineno">  852</span>&#160;        <span class="keywordflow">else</span> <span class="keywordflow">if</span>(SVFUtil::isa&lt;NullPtrSVFGNode&gt;(node))</div><div class="line"><a name="l00853"></a><span class="lineno">  853</span>&#160;        {</div><div class="line"><a name="l00854"></a><span class="lineno">  854</span>&#160;            rawstr &lt;&lt; <span class="stringliteral">&quot;NullPtr&quot;</span>;</div><div class="line"><a name="l00855"></a><span class="lineno">  855</span>&#160;        }</div><div class="line"><a name="l00856"></a><span class="lineno">  856</span>&#160;        <span class="keywordflow">else</span> <span class="keywordflow">if</span>(<a class="code" href="classSVF_1_1BinaryOPVFGNode.html">BinaryOPVFGNode</a>* bop = SVFUtil::dyn_cast&lt;BinaryOPVFGNode&gt;(node))</div><div class="line"><a name="l00857"></a><span class="lineno">  857</span>&#160;        {</div><div class="line"><a name="l00858"></a><span class="lineno">  858</span>&#160;            rawstr &lt;&lt; bop-&gt;toString();</div><div class="line"><a name="l00859"></a><span class="lineno">  859</span>&#160;        }</div><div class="line"><a name="l00860"></a><span class="lineno">  860</span>&#160;        <span class="keywordflow">else</span> <span class="keywordflow">if</span>(<a class="code" href="classSVF_1_1UnaryOPVFGNode.html">UnaryOPVFGNode</a>* uop = SVFUtil::dyn_cast&lt;UnaryOPVFGNode&gt;(node))</div><div class="line"><a name="l00861"></a><span class="lineno">  861</span>&#160;        {</div><div class="line"><a name="l00862"></a><span class="lineno">  862</span>&#160;            rawstr &lt;&lt; uop-&gt;toString();</div><div class="line"><a name="l00863"></a><span class="lineno">  863</span>&#160;        }</div><div class="line"><a name="l00864"></a><span class="lineno">  864</span>&#160;        <span class="keywordflow">else</span> <span class="keywordflow">if</span>(<a class="code" href="classSVF_1_1CmpVFGNode.html">CmpVFGNode</a>* cmp = SVFUtil::dyn_cast&lt;CmpVFGNode&gt;(node))</div><div class="line"><a name="l00865"></a><span class="lineno">  865</span>&#160;        {</div><div class="line"><a name="l00866"></a><span class="lineno">  866</span>&#160;            rawstr &lt;&lt; cmp-&gt;toString();</div><div class="line"><a name="l00867"></a><span class="lineno">  867</span>&#160;        }</div><div class="line"><a name="l00868"></a><span class="lineno">  868</span>&#160;        <span class="keywordflow">else</span></div><div class="line"><a name="l00869"></a><span class="lineno">  869</span>&#160;            assert(<span class="keyword">false</span> &amp;&amp; <span class="stringliteral">&quot;what else kinds of nodes do we have??&quot;</span>);</div><div class="line"><a name="l00870"></a><span class="lineno">  870</span>&#160;</div><div class="line"><a name="l00871"></a><span class="lineno">  871</span>&#160;        <span class="keywordflow">return</span> rawstr.str();</div><div class="line"><a name="l00872"></a><span class="lineno">  872</span>&#160;    }</div><div class="ttc" id="classSVF_1_1BinaryOPVFGNode_html"><div class="ttname"><a href="classSVF_1_1BinaryOPVFGNode.html">SVF::BinaryOPVFGNode</a></div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00395">VFGNode.h:395</a></div></div>
+<div class="ttc" id="classSVF_1_1ActualParmVFGNode_html"><div class="ttname"><a href="classSVF_1_1ActualParmVFGNode.html">SVF::ActualParmVFGNode</a></div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00846">VFGNode.h:846</a></div></div>
+<div class="ttc" id="classSVF_1_1FormalOUTSVFGNode_html"><div class="ttname"><a href="classSVF_1_1FormalOUTSVFGNode.html">SVF::FormalOUTSVFGNode</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFGNode_8h_source.html#l00138">SVFGNode.h:138</a></div></div>
+<div class="ttc" id="classSVF_1_1PHIVFGNode_html"><div class="ttname"><a href="classSVF_1_1PHIVFGNode.html">SVF::PHIVFGNode</a></div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00635">VFGNode.h:635</a></div></div>
+<div class="ttc" id="classSVF_1_1ActualOUTSVFGNode_html"><div class="ttname"><a href="classSVF_1_1ActualOUTSVFGNode.html">SVF::ActualOUTSVFGNode</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFGNode_8h_source.html#l00229">SVFGNode.h:229</a></div></div>
+<div class="ttc" id="classSVF_1_1MSSAPHISVFGNode_html"><div class="ttname"><a href="classSVF_1_1MSSAPHISVFGNode.html">SVF::MSSAPHISVFGNode</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFGNode_8h_source.html#l00276">SVFGNode.h:276</a></div></div>
+<div class="ttc" id="classSVF_1_1ActualINSVFGNode_html"><div class="ttname"><a href="classSVF_1_1ActualINSVFGNode.html">SVF::ActualINSVFGNode</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFGNode_8h_source.html#l00180">SVFGNode.h:180</a></div></div>
+<div class="ttc" id="classSVF_1_1UnaryOPVFGNode_html"><div class="ttname"><a href="classSVF_1_1UnaryOPVFGNode.html">SVF::UnaryOPVFGNode</a></div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00465">VFGNode.h:465</a></div></div>
+<div class="ttc" id="classSVF_1_1CmpVFGNode_html"><div class="ttname"><a href="classSVF_1_1CmpVFGNode.html">SVF::CmpVFGNode</a></div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00324">VFGNode.h:324</a></div></div>
+<div class="ttc" id="classSVF_1_1ActualRetVFGNode_html"><div class="ttname"><a href="classSVF_1_1ActualRetVFGNode.html">SVF::ActualRetVFGNode</a></div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00967">VFGNode.h:967</a></div></div>
+<div class="ttc" id="classSVF_1_1StmtVFGNode_html"><div class="ttname"><a href="classSVF_1_1StmtVFGNode.html">SVF::StmtVFGNode</a></div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00116">VFGNode.h:116</a></div></div>
+<div class="ttc" id="classSVF_1_1FormalParmVFGNode_html"><div class="ttname"><a href="classSVF_1_1FormalParmVFGNode.html">SVF::FormalParmVFGNode</a></div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00898">VFGNode.h:898</a></div></div>
+<div class="ttc" id="classSVF_1_1FormalRetVFGNode_html"><div class="ttname"><a href="classSVF_1_1FormalRetVFGNode.html">SVF::FormalRetVFGNode</a></div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l01025">VFGNode.h:1025</a></div></div>
+<div class="ttc" id="cJSON_8h_html_ad4c68ea99a26b0a98ad9a79982960458"><div class="ttname"><a href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">string</a></div><div class="ttdeci">const char *const string</div><div class="ttdef"><b>Definition:</b> <a href="cJSON_8h_source.html#l00172">cJSON.h:172</a></div></div>
+<div class="ttc" id="classSVF_1_1FormalINSVFGNode_html"><div class="ttname"><a href="classSVF_1_1FormalINSVFGNode.html">SVF::FormalINSVFGNode</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFGNode_8h_source.html#l00093">SVFGNode.h:93</a></div></div>
+</div><!-- fragment -->
+</div>
+</div>
+<a id="adab07db18ee5e81b4bafeb599a43d9ab"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#adab07db18ee5e81b4bafeb599a43d9ab">&#9670;&nbsp;</a></span>isNodeHidden()</h2>
+<div class="memitem">
+<div class="memproto">
+<table class="mlabels">
+  <tr>
+  <td class="mlabels-left">
+      <table class="memname">
+        <tr>
+          <td class="memname">static bool <a class="el" href="structSVF_1_1DOTGraphTraits.html">SVF::DOTGraphTraits</a>&lt; <a class="el" href="classSVF_1_1SVFG.html">SVFG</a> * &gt;::isNodeHidden </td>
+          <td>(</td>
+          <td class="paramtype"><a class="el" href="namespaceSVF.html#a5dfa3fa5129bacdc0be0c051ccf386df">SVFGNode</a> *&#160;</td>
+          <td class="paramname"><em>node</em></td><td>)</td>
+          <td></td>
+        </tr>
+      </table>
+  </td>
+  <td class="mlabels-right">
+<span class="mlabels"><span class="mlabel">inline</span><span class="mlabel">static</span></span>  </td>
+  </tr>
+</table>
+</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="SVFG_8cpp_source.html#l00788">788</a> of file <a class="el" href="SVFG_8cpp_source.html">SVFG.cpp</a>.</p>
+<div class="fragment"><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="preprocessor">#endif</span></div><div class="line"><a name="l00791"></a><span class="lineno">  791</span>&#160;        <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1Options.html#adec2012e10130f664fe0ea3acf39f78b">Options::ShowHiddenNode</a>) <span class="keywordflow">return</span> <span class="keyword">false</span>;</div><div class="line"><a name="l00792"></a><span class="lineno">  792</span>&#160;        <span class="keywordflow">else</span> <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="l00793"></a><span class="lineno">  793</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#l00188">GenericGraph.h:188</a></div></div>
+<div class="ttc" id="classSVF_1_1Options_html_adec2012e10130f664fe0ea3acf39f78b"><div class="ttname"><a href="classSVF_1_1Options.html#adec2012e10130f664fe0ea3acf39f78b">SVF::Options::ShowHiddenNode</a></div><div class="ttdeci">static const llvm::cl::opt&lt; bool &gt; ShowHiddenNode</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00250">Options.h:250</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#l00184">GenericGraph.h:184</a></div></div>
+</div><!-- fragment -->
+</div>
+</div>
+<hr/>The documentation for this struct was generated from the following file:<ul>
+<li>/home/runner/work/SVF/SVF/lib/Graphs/<a class="el" href="SVFG_8cpp_source.html">SVFG.cpp</a></li>
+</ul>
+</div><!-- contents -->
+<!-- start footer part -->
+<hr class="footer"/><address class="footer"><small>
+Generated by &#160;<a href="http://www.doxygen.org/index.html">
+<img class="footer" src="doxygen.png" alt="doxygen"/>
+</a> 1.8.13
+</small></address>
+</body>
+</html>