npm - svf-tools - Versions diffs - 1.0.776 → 1.0.778 - Mend

svf-tools 1.0.776 → 1.0.778

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 (626) hide show

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

@@ -0,0 +1,1062 @@
+<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "https://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.17"/>
+<meta name="viewport" content="width=device-width, initial-scale=1"/>
+<title>Static Value-Flow Analysis: SVF::CDG Class 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.17 -->
+<script type="text/javascript">
+/* @license magnet:?xt=urn:btih:cf05388f2679ee054f2beb29a391d25f4e673ac3&amp;dn=gpl-2.0.txt GPL-v2 */
+var searchBox = new SearchBox("searchBox", "search",false,'Search');
+/* @license-end */
+</script>
+<script type="text/javascript" src="menudata.js"></script>
+<script type="text/javascript" src="menu.js"></script>
+<script type="text/javascript">
+/* @license magnet:?xt=urn:btih:cf05388f2679ee054f2beb29a391d25f4e673ac3&amp;dn=gpl-2.0.txt GPL-v2 */
+$(function() {
+  initMenu('',true,false,'search.php','Search');
+  $(document).ready(function() { init_search(); });
+});
+/* @license-end */</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="classSVF_1_1CDG.html">CDG</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="#pri-methods">Private Member Functions</a> &#124;
+<a href="#pri-static-attribs">Static Private Attributes</a> &#124;
+<a href="classSVF_1_1CDG-members.html">List of all members</a>  </div>
+  <div class="headertitle">
+<div class="title">SVF::CDG Class Reference</div>  </div>
+</div><!--header-->
+<div class="contents">
+<p><code>#include &lt;<a class="el" href="CDG_8h_source.html">CDG.h</a>&gt;</code></p>
+<div class="dynheader">
+Inheritance diagram for SVF::CDG:</div>
+<div class="dyncontent">
+ <div class="center">
+  <img src="classSVF_1_1CDG.png" usemap="#SVF::CDG_map" alt=""/>
+  <map id="SVF::CDG_map" name="SVF::CDG_map">
+<area href="classSVF_1_1GenericGraph.html" alt="SVF::GenericGraph&lt; NodeTy, EdgeTy &gt;" shape="rect" coords="0,0,269,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:a11a2fac13eb704ea678d1e1bbd3e1466"><td class="memItemLeft" align="right" valign="top">typedef <a class="el" href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">Map</a>&lt; <a class="el" href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">NodeID</a>, <a class="el" href="classSVF_1_1CDGNode.html">CDGNode</a> * &gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CDG.html#a11a2fac13eb704ea678d1e1bbd3e1466">CDGNodeIDToNodeMapTy</a></td></tr>
+<tr class="separator:a11a2fac13eb704ea678d1e1bbd3e1466"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:acc64e1957a5aa3c899e825b94737ea3a"><td class="memItemLeft" align="right" valign="top">typedef <a class="el" href="classSVF_1_1CDGEdge.html#a563cb04921b2c9785f7e9ce58b0a593c">CDGEdge::CDGEdgeSetTy</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CDG.html#acc64e1957a5aa3c899e825b94737ea3a">CDGEdgeSetTy</a></td></tr>
+<tr class="separator:acc64e1957a5aa3c899e825b94737ea3a"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a2d92bee17875c2959a7fc657fd3498c8"><td class="memItemLeft" align="right" valign="top">typedef CDGNodeIDToNodeMapTy::iterator&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CDG.html#a2d92bee17875c2959a7fc657fd3498c8">iterator</a></td></tr>
+<tr class="separator:a2d92bee17875c2959a7fc657fd3498c8"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a35b7418b3f2f2851c18227fa10e30f4e"><td class="memItemLeft" align="right" valign="top">typedef CDGNodeIDToNodeMapTy::const_iterator&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CDG.html#a35b7418b3f2f2851c18227fa10e30f4e">const_iterator</a></td></tr>
+<tr class="separator:a35b7418b3f2f2851c18227fa10e30f4e"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:ae886ef8618ac9b16490270f6eb83a210"><td class="memItemLeft" align="right" valign="top">typedef std::vector&lt; const <a class="el" href="classSVF_1_1ICFGNode.html">ICFGNode</a> * &gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CDG.html#ae886ef8618ac9b16490270f6eb83a210">ICFGNodeVector</a></td></tr>
+<tr class="separator:ae886ef8618ac9b16490270f6eb83a210"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a1d744dbb7bac5ed77a0066e555fdd620"><td class="memItemLeft" align="right" valign="top">typedef std::vector&lt; std::pair&lt; const <a class="el" href="classSVF_1_1ICFGNode.html">ICFGNode</a> *, const <a class="el" href="classSVF_1_1ICFGNode.html">ICFGNode</a> * &gt; &gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CDG.html#a1d744dbb7bac5ed77a0066e555fdd620">ICFGNodePairVector</a></td></tr>
+<tr class="separator:a1d744dbb7bac5ed77a0066e555fdd620"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="inherit_header pub_types_classSVF_1_1GenericGraph"><td colspan="2" onclick="javascript:toggleInherit('pub_types_classSVF_1_1GenericGraph')"><img src="closed.png" alt="-"/>&#160;Public Types inherited from <a class="el" href="classSVF_1_1GenericGraph.html">SVF::GenericGraph&lt; NodeTy, EdgeTy &gt;</a></td></tr>
+<tr class="memitem:a86c50fc6775fd29f88df2cb4646bb211 inherit pub_types_classSVF_1_1GenericGraph"><td class="memItemLeft" align="right" valign="top">typedef NodeTy&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GenericGraph.html#a86c50fc6775fd29f88df2cb4646bb211">NodeType</a></td></tr>
+<tr class="separator:a86c50fc6775fd29f88df2cb4646bb211 inherit pub_types_classSVF_1_1GenericGraph"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a12d493d6ad2b6c89f240c9ccfa3bdf30 inherit pub_types_classSVF_1_1GenericGraph"><td class="memItemLeft" align="right" valign="top">typedef EdgeTy&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GenericGraph.html#a12d493d6ad2b6c89f240c9ccfa3bdf30">EdgeType</a></td></tr>
+<tr class="separator:a12d493d6ad2b6c89f240c9ccfa3bdf30 inherit pub_types_classSVF_1_1GenericGraph"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:afe017704d73445211fecaf7f3853010e inherit pub_types_classSVF_1_1GenericGraph"><td class="memItemLeft" align="right" valign="top">typedef <a class="el" href="namespaceSVF.html#aedf0d6718ca176e0b9e17ab4b30729c6">OrderedMap</a>&lt; <a class="el" href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">NodeID</a>, <a class="el" href="classSVF_1_1GenericGraph.html#a86c50fc6775fd29f88df2cb4646bb211">NodeType</a> * &gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GenericGraph.html#afe017704d73445211fecaf7f3853010e">IDToNodeMapTy</a></td></tr>
+<tr class="memdesc:afe017704d73445211fecaf7f3853010e inherit pub_types_classSVF_1_1GenericGraph"><td class="mdescLeft">&#160;</td><td class="mdescRight">NodeID to <a class="el" href="classSVF_1_1GenericNode.html">GenericNode</a> map.  <a href="classSVF_1_1GenericGraph.html#afe017704d73445211fecaf7f3853010e">More...</a><br /></td></tr>
+<tr class="separator:afe017704d73445211fecaf7f3853010e inherit pub_types_classSVF_1_1GenericGraph"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:ac213302cf5c7cdf3b66f7b18649d0fbc inherit pub_types_classSVF_1_1GenericGraph"><td class="memItemLeft" align="right" valign="top">typedef IDToNodeMapTy::iterator&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GenericGraph.html#ac213302cf5c7cdf3b66f7b18649d0fbc">iterator</a></td></tr>
+<tr class="memdesc:ac213302cf5c7cdf3b66f7b18649d0fbc inherit pub_types_classSVF_1_1GenericGraph"><td class="mdescLeft">&#160;</td><td class="mdescRight">Node Iterators.  <a href="classSVF_1_1GenericGraph.html#ac213302cf5c7cdf3b66f7b18649d0fbc">More...</a><br /></td></tr>
+<tr class="separator:ac213302cf5c7cdf3b66f7b18649d0fbc inherit pub_types_classSVF_1_1GenericGraph"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a5dfa3f178d4abf37177d0d74ff4c6a97 inherit pub_types_classSVF_1_1GenericGraph"><td class="memItemLeft" align="right" valign="top">typedef IDToNodeMapTy::const_iterator&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GenericGraph.html#a5dfa3f178d4abf37177d0d74ff4c6a97">const_iterator</a></td></tr>
+<tr class="separator:a5dfa3f178d4abf37177d0d74ff4c6a97 inherit pub_types_classSVF_1_1GenericGraph"><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:a79d7b96a3141348edb0a739eb6aea35c"><td class="memItemLeft" align="right" valign="top">virtual&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CDG.html#a79d7b96a3141348edb0a739eb6aea35c">~CDG</a> ()</td></tr>
+<tr class="memdesc:a79d7b96a3141348edb0a739eb6aea35c"><td class="mdescLeft">&#160;</td><td class="mdescRight">Destructor.  <a href="classSVF_1_1CDG.html#a79d7b96a3141348edb0a739eb6aea35c">More...</a><br /></td></tr>
+<tr class="separator:a79d7b96a3141348edb0a739eb6aea35c"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a61c0aa5c27014d3e20d7d6ec6ace9216"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1CDGNode.html">CDGNode</a> *&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CDG.html#a61c0aa5c27014d3e20d7d6ec6ace9216">getCDGNode</a> (<a class="el" href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">NodeID</a> id) const</td></tr>
+<tr class="memdesc:a61c0aa5c27014d3e20d7d6ec6ace9216"><td class="mdescLeft">&#160;</td><td class="mdescRight">Get a <a class="el" href="classSVF_1_1CDG.html">CDG</a> node.  <a href="classSVF_1_1CDG.html#a61c0aa5c27014d3e20d7d6ec6ace9216">More...</a><br /></td></tr>
+<tr class="separator:a61c0aa5c27014d3e20d7d6ec6ace9216"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a965a30b1323fa9c9013760d410516e0e"><td class="memItemLeft" align="right" valign="top">bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CDG.html#a965a30b1323fa9c9013760d410516e0e">hasCDGNode</a> (<a class="el" href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">NodeID</a> id) const</td></tr>
+<tr class="memdesc:a965a30b1323fa9c9013760d410516e0e"><td class="mdescLeft">&#160;</td><td class="mdescRight">Whether has the <a class="el" href="classSVF_1_1CDGNode.html">CDGNode</a>.  <a href="classSVF_1_1CDG.html#a965a30b1323fa9c9013760d410516e0e">More...</a><br /></td></tr>
+<tr class="separator:a965a30b1323fa9c9013760d410516e0e"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a3cb3a5f88b8c38e53e314d7806e5efb6"><td class="memItemLeft" align="right" valign="top">bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CDG.html#a3cb3a5f88b8c38e53e314d7806e5efb6">hasCDGEdge</a> (<a class="el" href="classSVF_1_1CDGNode.html">CDGNode</a> *src, <a class="el" href="classSVF_1_1CDGNode.html">CDGNode</a> *dst)</td></tr>
+<tr class="memdesc:a3cb3a5f88b8c38e53e314d7806e5efb6"><td class="mdescLeft">&#160;</td><td class="mdescRight">Whether we has a <a class="el" href="classSVF_1_1CDG.html">CDG</a> edge.  <a href="classSVF_1_1CDG.html#a3cb3a5f88b8c38e53e314d7806e5efb6">More...</a><br /></td></tr>
+<tr class="separator:a3cb3a5f88b8c38e53e314d7806e5efb6"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:aede6e10b06e7f5581dd7c042d5304b37"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1CDGEdge.html">CDGEdge</a> *&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CDG.html#aede6e10b06e7f5581dd7c042d5304b37">getCDGEdge</a> (const <a class="el" href="classSVF_1_1CDGNode.html">CDGNode</a> *src, const <a class="el" href="classSVF_1_1CDGNode.html">CDGNode</a> *dst)</td></tr>
+<tr class="memdesc:aede6e10b06e7f5581dd7c042d5304b37"><td class="mdescLeft">&#160;</td><td class="mdescRight">Get a control dependence edge according to src and dst.  <a href="classSVF_1_1CDG.html#aede6e10b06e7f5581dd7c042d5304b37">More...</a><br /></td></tr>
+<tr class="separator:aede6e10b06e7f5581dd7c042d5304b37"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a37a615eda0e530f2c784e0dfc5936723"><td class="memItemLeft" align="right" valign="top">void&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CDG.html#a37a615eda0e530f2c784e0dfc5936723">view</a> ()</td></tr>
+<tr class="memdesc:a37a615eda0e530f2c784e0dfc5936723"><td class="mdescLeft">&#160;</td><td class="mdescRight">View graph from the debugger.  <a href="classSVF_1_1CDG.html#a37a615eda0e530f2c784e0dfc5936723">More...</a><br /></td></tr>
+<tr class="separator:a37a615eda0e530f2c784e0dfc5936723"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a8c83310df697174ac18d7392c241dc15"><td class="memItemLeft" align="right" valign="top">void&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CDG.html#a8c83310df697174ac18d7392c241dc15">dump</a> (const <a class="el" href="cJSON_8cpp.html#ae1adbce218e7a9d09164012443191d24">std::string</a> &amp;filename)</td></tr>
+<tr class="memdesc:a8c83310df697174ac18d7392c241dc15"><td class="mdescLeft">&#160;</td><td class="mdescRight">Dump graph into dot file.  <a href="classSVF_1_1CDG.html#a8c83310df697174ac18d7392c241dc15">More...</a><br /></td></tr>
+<tr class="separator:a8c83310df697174ac18d7392c241dc15"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:afd04ca26b53407aceffe1c507d345f95"><td class="memItemLeft" align="right" valign="top">void&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CDG.html#afd04ca26b53407aceffe1c507d345f95">removeCDGEdge</a> (<a class="el" href="classSVF_1_1CDGEdge.html">CDGEdge</a> *edge)</td></tr>
+<tr class="memdesc:afd04ca26b53407aceffe1c507d345f95"><td class="mdescLeft">&#160;</td><td class="mdescRight">Remove a control dependence edge.  <a href="classSVF_1_1CDG.html#afd04ca26b53407aceffe1c507d345f95">More...</a><br /></td></tr>
+<tr class="separator:afd04ca26b53407aceffe1c507d345f95"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a260507920498e0d9bd6bf629e6912cdb"><td class="memItemLeft" align="right" valign="top">void&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CDG.html#a260507920498e0d9bd6bf629e6912cdb">removeCDGNode</a> (<a class="el" href="classSVF_1_1CDGNode.html">CDGNode</a> *node)</td></tr>
+<tr class="memdesc:a260507920498e0d9bd6bf629e6912cdb"><td class="mdescLeft">&#160;</td><td class="mdescRight">Remove a <a class="el" href="classSVF_1_1CDGNode.html">CDGNode</a>.  <a href="classSVF_1_1CDG.html#a260507920498e0d9bd6bf629e6912cdb">More...</a><br /></td></tr>
+<tr class="separator:a260507920498e0d9bd6bf629e6912cdb"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a3ff150908e40b1b39799e46317c805fc"><td class="memItemLeft" align="right" valign="top">bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CDG.html#a3ff150908e40b1b39799e46317c805fc">removeCDGNode</a> (<a class="el" href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">NodeID</a> id)</td></tr>
+<tr class="memdesc:a3ff150908e40b1b39799e46317c805fc"><td class="mdescLeft">&#160;</td><td class="mdescRight">Remove node from nodeID.  <a href="classSVF_1_1CDG.html#a3ff150908e40b1b39799e46317c805fc">More...</a><br /></td></tr>
+<tr class="separator:a3ff150908e40b1b39799e46317c805fc"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:ac7bef71609f90258f6bcb159afa9503c"><td class="memItemLeft" align="right" valign="top">bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CDG.html#ac7bef71609f90258f6bcb159afa9503c">addCDGEdge</a> (<a class="el" href="classSVF_1_1CDGEdge.html">CDGEdge</a> *edge)</td></tr>
+<tr class="memdesc:ac7bef71609f90258f6bcb159afa9503c"><td class="mdescLeft">&#160;</td><td class="mdescRight">Add <a class="el" href="classSVF_1_1CDG.html">CDG</a> edge.  <a href="classSVF_1_1CDG.html#ac7bef71609f90258f6bcb159afa9503c">More...</a><br /></td></tr>
+<tr class="separator:ac7bef71609f90258f6bcb159afa9503c"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a98e499b5316074a8722b88f77117c92c"><td class="memItemLeft" align="right" valign="top">virtual void&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CDG.html#a98e499b5316074a8722b88f77117c92c">addCDGNode</a> (<a class="el" href="classSVF_1_1CDGNode.html">CDGNode</a> *node)</td></tr>
+<tr class="memdesc:a98e499b5316074a8722b88f77117c92c"><td class="mdescLeft">&#160;</td><td class="mdescRight">Add a <a class="el" href="classSVF_1_1CDG.html">CDG</a> node.  <a href="classSVF_1_1CDG.html#a98e499b5316074a8722b88f77117c92c">More...</a><br /></td></tr>
+<tr class="separator:a98e499b5316074a8722b88f77117c92c"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a3122ef8cbc3960a44b3234b73dd6561f"><td class="memItemLeft" align="right" valign="top">void&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CDG.html#a3122ef8cbc3960a44b3234b73dd6561f">addCDGNodesFromVector</a> (<a class="el" href="classSVF_1_1CDG.html#ae886ef8618ac9b16490270f6eb83a210">ICFGNodeVector</a> <a class="el" href="namespaceSVF.html#ae6c7046834fe00382052ece7d06eb0ac">nodes</a>)</td></tr>
+<tr class="memdesc:a3122ef8cbc3960a44b3234b73dd6561f"><td class="mdescLeft">&#160;</td><td class="mdescRight">Add <a class="el" href="classSVF_1_1CDG.html">CDG</a> nodes from nodeid vector.  <a href="classSVF_1_1CDG.html#a3122ef8cbc3960a44b3234b73dd6561f">More...</a><br /></td></tr>
+<tr class="separator:a3122ef8cbc3960a44b3234b73dd6561f"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a71ccf9520bb222dc0779716e213aabf2"><td class="memItemLeft" align="right" valign="top">void&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CDG.html#a71ccf9520bb222dc0779716e213aabf2">addCDGEdgeFromSrcDst</a> (const <a class="el" href="classSVF_1_1ICFGNode.html">ICFGNode</a> *src, const <a class="el" href="classSVF_1_1ICFGNode.html">ICFGNode</a> *dst, const <a class="el" href="classSVF_1_1SVFValue.html">SVFValue</a> *pNode, <a class="el" href="namespaceSVF.html#a9b707002523ece2ac54ca893ee9a2d4e">s32_t</a> branchID)</td></tr>
+<tr class="memdesc:a71ccf9520bb222dc0779716e213aabf2"><td class="mdescLeft">&#160;</td><td class="mdescRight">Add <a class="el" href="classSVF_1_1CDG.html">CDG</a> edges from nodeid pair.  <a href="classSVF_1_1CDG.html#a71ccf9520bb222dc0779716e213aabf2">More...</a><br /></td></tr>
+<tr class="separator:a71ccf9520bb222dc0779716e213aabf2"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="inherit_header pub_methods_classSVF_1_1GenericGraph"><td colspan="2" onclick="javascript:toggleInherit('pub_methods_classSVF_1_1GenericGraph')"><img src="closed.png" alt="-"/>&#160;Public Member Functions inherited from <a class="el" href="classSVF_1_1GenericGraph.html">SVF::GenericGraph&lt; NodeTy, EdgeTy &gt;</a></td></tr>
+<tr class="memitem:aa5837cddbbd63c5a8ac5725bcecb192f inherit pub_methods_classSVF_1_1GenericGraph"><td class="memItemLeft" align="right" valign="top">&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GenericGraph.html#aa5837cddbbd63c5a8ac5725bcecb192f">GenericGraph</a> ()</td></tr>
+<tr class="memdesc:aa5837cddbbd63c5a8ac5725bcecb192f inherit pub_methods_classSVF_1_1GenericGraph"><td class="mdescLeft">&#160;</td><td class="mdescRight">Constructor.  <a href="classSVF_1_1GenericGraph.html#aa5837cddbbd63c5a8ac5725bcecb192f">More...</a><br /></td></tr>
+<tr class="separator:aa5837cddbbd63c5a8ac5725bcecb192f inherit pub_methods_classSVF_1_1GenericGraph"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a3b94850d788a1b8da45e9b8bf2f2df2c inherit pub_methods_classSVF_1_1GenericGraph"><td class="memItemLeft" align="right" valign="top">virtual&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GenericGraph.html#a3b94850d788a1b8da45e9b8bf2f2df2c">~GenericGraph</a> ()</td></tr>
+<tr class="memdesc:a3b94850d788a1b8da45e9b8bf2f2df2c inherit pub_methods_classSVF_1_1GenericGraph"><td class="mdescLeft">&#160;</td><td class="mdescRight">Destructor.  <a href="classSVF_1_1GenericGraph.html#a3b94850d788a1b8da45e9b8bf2f2df2c">More...</a><br /></td></tr>
+<tr class="separator:a3b94850d788a1b8da45e9b8bf2f2df2c inherit pub_methods_classSVF_1_1GenericGraph"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:adf0a205f4f62f33c5fa8f2d544aac633 inherit pub_methods_classSVF_1_1GenericGraph"><td class="memItemLeft" align="right" valign="top">void&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GenericGraph.html#adf0a205f4f62f33c5fa8f2d544aac633">destroy</a> ()</td></tr>
+<tr class="memdesc:adf0a205f4f62f33c5fa8f2d544aac633 inherit pub_methods_classSVF_1_1GenericGraph"><td class="mdescLeft">&#160;</td><td class="mdescRight">Release memory.  <a href="classSVF_1_1GenericGraph.html#adf0a205f4f62f33c5fa8f2d544aac633">More...</a><br /></td></tr>
+<tr class="separator:adf0a205f4f62f33c5fa8f2d544aac633 inherit pub_methods_classSVF_1_1GenericGraph"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a0d9744b1b0e7a09a6f7af29188e243b7 inherit pub_methods_classSVF_1_1GenericGraph"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1GenericGraph.html#ac213302cf5c7cdf3b66f7b18649d0fbc">iterator</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GenericGraph.html#a0d9744b1b0e7a09a6f7af29188e243b7">begin</a> ()</td></tr>
+<tr class="memdesc:a0d9744b1b0e7a09a6f7af29188e243b7 inherit pub_methods_classSVF_1_1GenericGraph"><td class="mdescLeft">&#160;</td><td class="mdescRight">Iterators.  <a href="classSVF_1_1GenericGraph.html#a0d9744b1b0e7a09a6f7af29188e243b7">More...</a><br /></td></tr>
+<tr class="separator:a0d9744b1b0e7a09a6f7af29188e243b7 inherit pub_methods_classSVF_1_1GenericGraph"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a4bef15157423cef48dc7333a803cd27d inherit pub_methods_classSVF_1_1GenericGraph"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1GenericGraph.html#ac213302cf5c7cdf3b66f7b18649d0fbc">iterator</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GenericGraph.html#a4bef15157423cef48dc7333a803cd27d">end</a> ()</td></tr>
+<tr class="separator:a4bef15157423cef48dc7333a803cd27d inherit pub_methods_classSVF_1_1GenericGraph"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a3385b008ae03444404c1e392fd47f1d6 inherit pub_methods_classSVF_1_1GenericGraph"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1GenericGraph.html#a5dfa3f178d4abf37177d0d74ff4c6a97">const_iterator</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GenericGraph.html#a3385b008ae03444404c1e392fd47f1d6">begin</a> () const</td></tr>
+<tr class="separator:a3385b008ae03444404c1e392fd47f1d6 inherit pub_methods_classSVF_1_1GenericGraph"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a3001af3746d26b7dc0a212db5e48a4bb inherit pub_methods_classSVF_1_1GenericGraph"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1GenericGraph.html#a5dfa3f178d4abf37177d0d74ff4c6a97">const_iterator</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GenericGraph.html#a3001af3746d26b7dc0a212db5e48a4bb">end</a> () const</td></tr>
+<tr class="separator:a3001af3746d26b7dc0a212db5e48a4bb inherit pub_methods_classSVF_1_1GenericGraph"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a0a8831a5429005ff9d71adbd6bf3994f inherit pub_methods_classSVF_1_1GenericGraph"><td class="memItemLeft" align="right" valign="top">void&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GenericGraph.html#a0a8831a5429005ff9d71adbd6bf3994f">addGNode</a> (<a class="el" href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">NodeID</a> id, <a class="el" href="classSVF_1_1GenericGraph.html#a86c50fc6775fd29f88df2cb4646bb211">NodeType</a> *node)</td></tr>
+<tr class="memdesc:a0a8831a5429005ff9d71adbd6bf3994f inherit pub_methods_classSVF_1_1GenericGraph"><td class="mdescLeft">&#160;</td><td class="mdescRight">Add a Node.  <a href="classSVF_1_1GenericGraph.html#a0a8831a5429005ff9d71adbd6bf3994f">More...</a><br /></td></tr>
+<tr class="separator:a0a8831a5429005ff9d71adbd6bf3994f inherit pub_methods_classSVF_1_1GenericGraph"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a43c9c773bfa17abf481c33073e30d01b inherit pub_methods_classSVF_1_1GenericGraph"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1GenericGraph.html#a86c50fc6775fd29f88df2cb4646bb211">NodeType</a> *&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GenericGraph.html#a43c9c773bfa17abf481c33073e30d01b">getGNode</a> (<a class="el" href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">NodeID</a> id) const</td></tr>
+<tr class="memdesc:a43c9c773bfa17abf481c33073e30d01b inherit pub_methods_classSVF_1_1GenericGraph"><td class="mdescLeft">&#160;</td><td class="mdescRight">Get a node.  <a href="classSVF_1_1GenericGraph.html#a43c9c773bfa17abf481c33073e30d01b">More...</a><br /></td></tr>
+<tr class="separator:a43c9c773bfa17abf481c33073e30d01b inherit pub_methods_classSVF_1_1GenericGraph"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a6885064afa211958af7b73f0233284e5 inherit pub_methods_classSVF_1_1GenericGraph"><td class="memItemLeft" align="right" valign="top">bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GenericGraph.html#a6885064afa211958af7b73f0233284e5">hasGNode</a> (<a class="el" href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">NodeID</a> id) const</td></tr>
+<tr class="memdesc:a6885064afa211958af7b73f0233284e5 inherit pub_methods_classSVF_1_1GenericGraph"><td class="mdescLeft">&#160;</td><td class="mdescRight">Has a node.  <a href="classSVF_1_1GenericGraph.html#a6885064afa211958af7b73f0233284e5">More...</a><br /></td></tr>
+<tr class="separator:a6885064afa211958af7b73f0233284e5 inherit pub_methods_classSVF_1_1GenericGraph"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a1817b65e76052f11e36a67d6b9efd915 inherit pub_methods_classSVF_1_1GenericGraph"><td class="memItemLeft" align="right" valign="top">void&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GenericGraph.html#a1817b65e76052f11e36a67d6b9efd915">removeGNode</a> (<a class="el" href="classSVF_1_1GenericGraph.html#a86c50fc6775fd29f88df2cb4646bb211">NodeType</a> *node)</td></tr>
+<tr class="memdesc:a1817b65e76052f11e36a67d6b9efd915 inherit pub_methods_classSVF_1_1GenericGraph"><td class="mdescLeft">&#160;</td><td class="mdescRight">Delete a node.  <a href="classSVF_1_1GenericGraph.html#a1817b65e76052f11e36a67d6b9efd915">More...</a><br /></td></tr>
+<tr class="separator:a1817b65e76052f11e36a67d6b9efd915 inherit pub_methods_classSVF_1_1GenericGraph"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a8c8d16036008f87c7811586047599858 inherit pub_methods_classSVF_1_1GenericGraph"><td class="memItemLeft" align="right" valign="top"><a class="el" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GenericGraph.html#a8c8d16036008f87c7811586047599858">getTotalNodeNum</a> () const</td></tr>
+<tr class="memdesc:a8c8d16036008f87c7811586047599858 inherit pub_methods_classSVF_1_1GenericGraph"><td class="mdescLeft">&#160;</td><td class="mdescRight">Get total number of node/edge.  <a href="classSVF_1_1GenericGraph.html#a8c8d16036008f87c7811586047599858">More...</a><br /></td></tr>
+<tr class="separator:a8c8d16036008f87c7811586047599858 inherit pub_methods_classSVF_1_1GenericGraph"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a29cab1426b0000bd87c026ab8c9979c0 inherit pub_methods_classSVF_1_1GenericGraph"><td class="memItemLeft" align="right" valign="top"><a class="el" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GenericGraph.html#a29cab1426b0000bd87c026ab8c9979c0">getTotalEdgeNum</a> () const</td></tr>
+<tr class="separator:a29cab1426b0000bd87c026ab8c9979c0 inherit pub_methods_classSVF_1_1GenericGraph"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a7388dabef7300e77adf33f3999639f21 inherit pub_methods_classSVF_1_1GenericGraph"><td class="memItemLeft" align="right" valign="top">void&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GenericGraph.html#a7388dabef7300e77adf33f3999639f21">incNodeNum</a> ()</td></tr>
+<tr class="memdesc:a7388dabef7300e77adf33f3999639f21 inherit pub_methods_classSVF_1_1GenericGraph"><td class="mdescLeft">&#160;</td><td class="mdescRight">Increase number of node/edge.  <a href="classSVF_1_1GenericGraph.html#a7388dabef7300e77adf33f3999639f21">More...</a><br /></td></tr>
+<tr class="separator:a7388dabef7300e77adf33f3999639f21 inherit pub_methods_classSVF_1_1GenericGraph"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a2f2bca8219c7d769f6d2937e5cd40d14 inherit pub_methods_classSVF_1_1GenericGraph"><td class="memItemLeft" align="right" valign="top">void&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GenericGraph.html#a2f2bca8219c7d769f6d2937e5cd40d14">incEdgeNum</a> ()</td></tr>
+<tr class="separator:a2f2bca8219c7d769f6d2937e5cd40d14 inherit pub_methods_classSVF_1_1GenericGraph"><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:aadc90afbdeff9aae0365cde7b96ae9bc"><td class="memItemLeft" align="right" valign="top">static <a class="el" href="classSVF_1_1CDG.html">CDG</a> *&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CDG.html#aadc90afbdeff9aae0365cde7b96ae9bc">getCDG</a> ()</td></tr>
+<tr class="memdesc:aadc90afbdeff9aae0365cde7b96ae9bc"><td class="mdescLeft">&#160;</td><td class="mdescRight">Singleton design here to make sure we only have one instance during any analysis.  <a href="classSVF_1_1CDG.html#aadc90afbdeff9aae0365cde7b96ae9bc">More...</a><br /></td></tr>
+<tr class="separator:aadc90afbdeff9aae0365cde7b96ae9bc"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:ab0682abdbd97d1223cc0a968f7ccc543"><td class="memItemLeft" align="right" valign="top">static void&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CDG.html#ab0682abdbd97d1223cc0a968f7ccc543">releaseCDG</a> ()</td></tr>
+<tr class="separator:ab0682abdbd97d1223cc0a968f7ccc543"><td class="memSeparator" colspan="2">&#160;</td></tr>
+</table><table class="memberdecls">
+<tr class="heading"><td colspan="2"><h2 class="groupheader"><a name="pri-methods"></a>
+Private Member Functions</h2></td></tr>
+<tr class="memitem:a646aa0a899d8cc45df96c0a60c85011e"><td class="memItemLeft" align="right" valign="top">&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CDG.html#a646aa0a899d8cc45df96c0a60c85011e">CDG</a> ()</td></tr>
+<tr class="memdesc:a646aa0a899d8cc45df96c0a60c85011e"><td class="mdescLeft">&#160;</td><td class="mdescRight">Constructor.  <a href="classSVF_1_1CDG.html#a646aa0a899d8cc45df96c0a60c85011e">More...</a><br /></td></tr>
+<tr class="separator:a646aa0a899d8cc45df96c0a60c85011e"><td class="memSeparator" colspan="2">&#160;</td></tr>
+</table><table class="memberdecls">
+<tr class="heading"><td colspan="2"><h2 class="groupheader"><a name="pri-static-attribs"></a>
+Static Private Attributes</h2></td></tr>
+<tr class="memitem:a70b59b33f4266b22cc58fa832ded900a"><td class="memItemLeft" align="right" valign="top">static <a class="el" href="classSVF_1_1CDG.html">CDG</a> *&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CDG.html#a70b59b33f4266b22cc58fa832ded900a">controlDg</a> = nullptr</td></tr>
+<tr class="separator:a70b59b33f4266b22cc58fa832ded900a"><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 pub_attribs_classSVF_1_1GenericGraph"><td colspan="2" onclick="javascript:toggleInherit('pub_attribs_classSVF_1_1GenericGraph')"><img src="closed.png" alt="-"/>&#160;Public Attributes inherited from <a class="el" href="classSVF_1_1GenericGraph.html">SVF::GenericGraph&lt; NodeTy, EdgeTy &gt;</a></td></tr>
+<tr class="memitem:a2fbc96de5f066469c2739229307bcc0c inherit pub_attribs_classSVF_1_1GenericGraph"><td class="memItemLeft" align="right" valign="top"><a class="el" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GenericGraph.html#a2fbc96de5f066469c2739229307bcc0c">edgeNum</a></td></tr>
+<tr class="memdesc:a2fbc96de5f066469c2739229307bcc0c inherit pub_attribs_classSVF_1_1GenericGraph"><td class="mdescLeft">&#160;</td><td class="mdescRight">total num of node  <a href="classSVF_1_1GenericGraph.html#a2fbc96de5f066469c2739229307bcc0c">More...</a><br /></td></tr>
+<tr class="separator:a2fbc96de5f066469c2739229307bcc0c inherit pub_attribs_classSVF_1_1GenericGraph"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a38122734cbe71551a420dfb7fee2012e inherit pub_attribs_classSVF_1_1GenericGraph"><td class="memItemLeft" align="right" valign="top"><a class="el" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GenericGraph.html#a38122734cbe71551a420dfb7fee2012e">nodeNum</a></td></tr>
+<tr class="memdesc:a38122734cbe71551a420dfb7fee2012e inherit pub_attribs_classSVF_1_1GenericGraph"><td class="mdescLeft">&#160;</td><td class="mdescRight">total num of edge  <a href="classSVF_1_1GenericGraph.html#a38122734cbe71551a420dfb7fee2012e">More...</a><br /></td></tr>
+<tr class="separator:a38122734cbe71551a420dfb7fee2012e inherit pub_attribs_classSVF_1_1GenericGraph"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="inherit_header pro_attribs_classSVF_1_1GenericGraph"><td colspan="2" onclick="javascript:toggleInherit('pro_attribs_classSVF_1_1GenericGraph')"><img src="closed.png" alt="-"/>&#160;Protected Attributes inherited from <a class="el" href="classSVF_1_1GenericGraph.html">SVF::GenericGraph&lt; NodeTy, EdgeTy &gt;</a></td></tr>
+<tr class="memitem:a47a1ef8b67b0c92f78b4457dc3bbfe71 inherit pro_attribs_classSVF_1_1GenericGraph"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1GenericGraph.html#afe017704d73445211fecaf7f3853010e">IDToNodeMapTy</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GenericGraph.html#a47a1ef8b67b0c92f78b4457dc3bbfe71">IDToNodeMap</a></td></tr>
+<tr class="memdesc:a47a1ef8b67b0c92f78b4457dc3bbfe71 inherit pro_attribs_classSVF_1_1GenericGraph"><td class="mdescLeft">&#160;</td><td class="mdescRight">node map  <a href="classSVF_1_1GenericGraph.html#a47a1ef8b67b0c92f78b4457dc3bbfe71">More...</a><br /></td></tr>
+<tr class="separator:a47a1ef8b67b0c92f78b4457dc3bbfe71 inherit pro_attribs_classSVF_1_1GenericGraph"><td class="memSeparator" colspan="2">&#160;</td></tr>
+</table>
+<a name="details" id="details"></a><h2 class="groupheader">Detailed Description</h2>
+<div class="textblock">
+<p class="definition">Definition at line <a class="el" href="CDG_8h_source.html#l00125">125</a> of file <a class="el" href="CDG_8h_source.html">CDG.h</a>.</p>
+</div><h2 class="groupheader">Member Typedef Documentation</h2>
+<a id="acc64e1957a5aa3c899e825b94737ea3a"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#acc64e1957a5aa3c899e825b94737ea3a">&#9670;&nbsp;</a></span>CDGEdgeSetTy</h2>
+<div class="memitem">
+<div class="memproto">
+      <table class="memname">
+        <tr>
+          <td class="memname">typedef <a class="el" href="classSVF_1_1CDGEdge.html#a563cb04921b2c9785f7e9ce58b0a593c">CDGEdge::CDGEdgeSetTy</a> <a class="el" href="classSVF_1_1CDG.html#acc64e1957a5aa3c899e825b94737ea3a">SVF::CDG::CDGEdgeSetTy</a></td>
+        </tr>
+      </table>
+</div><div class="memdoc">
+<p class="definition">Definition at line <a class="el" href="CDG_8h_source.html#l00131">131</a> of file <a class="el" href="CDG_8h_source.html">CDG.h</a>.</p>
+</div>
+</div>
+<a id="a11a2fac13eb704ea678d1e1bbd3e1466"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#a11a2fac13eb704ea678d1e1bbd3e1466">&#9670;&nbsp;</a></span>CDGNodeIDToNodeMapTy</h2>
+<div class="memitem">
+<div class="memproto">
+      <table class="memname">
+        <tr>
+          <td class="memname">typedef <a class="el" href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">Map</a>&lt;<a class="el" href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">NodeID</a>, <a class="el" href="classSVF_1_1CDGNode.html">CDGNode</a> *&gt; <a class="el" href="classSVF_1_1CDG.html#a11a2fac13eb704ea678d1e1bbd3e1466">SVF::CDG::CDGNodeIDToNodeMapTy</a></td>
+        </tr>
+      </table>
+</div><div class="memdoc">
+<p class="definition">Definition at line <a class="el" href="CDG_8h_source.html#l00130">130</a> of file <a class="el" href="CDG_8h_source.html">CDG.h</a>.</p>
+</div>
+</div>
+<a id="a35b7418b3f2f2851c18227fa10e30f4e"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#a35b7418b3f2f2851c18227fa10e30f4e">&#9670;&nbsp;</a></span>const_iterator</h2>
+<div class="memitem">
+<div class="memproto">
+      <table class="memname">
+        <tr>
+          <td class="memname">typedef CDGNodeIDToNodeMapTy::const_iterator <a class="el" href="classSVF_1_1CDG.html#a35b7418b3f2f2851c18227fa10e30f4e">SVF::CDG::const_iterator</a></td>
+        </tr>
+      </table>
+</div><div class="memdoc">
+<p class="definition">Definition at line <a class="el" href="CDG_8h_source.html#l00133">133</a> of file <a class="el" href="CDG_8h_source.html">CDG.h</a>.</p>
+</div>
+</div>
+<a id="a1d744dbb7bac5ed77a0066e555fdd620"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#a1d744dbb7bac5ed77a0066e555fdd620">&#9670;&nbsp;</a></span>ICFGNodePairVector</h2>
+<div class="memitem">
+<div class="memproto">
+      <table class="memname">
+        <tr>
+          <td class="memname">typedef std::vector&lt;std::pair&lt;const <a class="el" href="classSVF_1_1ICFGNode.html">ICFGNode</a> *, const <a class="el" href="classSVF_1_1ICFGNode.html">ICFGNode</a> *&gt; &gt; <a class="el" href="classSVF_1_1CDG.html#a1d744dbb7bac5ed77a0066e555fdd620">SVF::CDG::ICFGNodePairVector</a></td>
+        </tr>
+      </table>
+</div><div class="memdoc">
+<p class="definition">Definition at line <a class="el" href="CDG_8h_source.html#l00135">135</a> of file <a class="el" href="CDG_8h_source.html">CDG.h</a>.</p>
+</div>
+</div>
+<a id="ae886ef8618ac9b16490270f6eb83a210"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#ae886ef8618ac9b16490270f6eb83a210">&#9670;&nbsp;</a></span>ICFGNodeVector</h2>
+<div class="memitem">
+<div class="memproto">
+      <table class="memname">
+        <tr>
+          <td class="memname">typedef std::vector&lt;const <a class="el" href="classSVF_1_1ICFGNode.html">ICFGNode</a> *&gt; <a class="el" href="classSVF_1_1CDG.html#ae886ef8618ac9b16490270f6eb83a210">SVF::CDG::ICFGNodeVector</a></td>
+        </tr>
+      </table>
+</div><div class="memdoc">
+<p class="definition">Definition at line <a class="el" href="CDG_8h_source.html#l00134">134</a> of file <a class="el" href="CDG_8h_source.html">CDG.h</a>.</p>
+</div>
+</div>
+<a id="a2d92bee17875c2959a7fc657fd3498c8"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#a2d92bee17875c2959a7fc657fd3498c8">&#9670;&nbsp;</a></span>iterator</h2>
+<div class="memitem">
+<div class="memproto">
+      <table class="memname">
+        <tr>
+          <td class="memname">typedef CDGNodeIDToNodeMapTy::iterator <a class="el" href="classSVF_1_1CDG.html#a2d92bee17875c2959a7fc657fd3498c8">SVF::CDG::iterator</a></td>
+        </tr>
+      </table>
+</div><div class="memdoc">
+<p class="definition">Definition at line <a class="el" href="CDG_8h_source.html#l00132">132</a> of file <a class="el" href="CDG_8h_source.html">CDG.h</a>.</p>
+</div>
+</div>
+<h2 class="groupheader">Constructor &amp; Destructor Documentation</h2>
+<a id="a646aa0a899d8cc45df96c0a60c85011e"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#a646aa0a899d8cc45df96c0a60c85011e">&#9670;&nbsp;</a></span>CDG()</h2>
+<div class="memitem">
+<div class="memproto">
+<table class="mlabels">
+  <tr>
+  <td class="mlabels-left">
+      <table class="memname">
+        <tr>
+          <td class="memname">SVF::CDG::CDG </td>
+          <td>(</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">private</span></span>  </td>
+  </tr>
+</table>
+</div><div class="memdoc">
+<p>Constructor. </p>
+<p class="definition">Definition at line <a class="el" href="CDG_8h_source.html#l00140">140</a> of file <a class="el" href="CDG_8h_source.html">CDG.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00141"></a><span class="lineno">  141</span>&#160;    {</div>
+<div class="line"><a name="l00142"></a><span class="lineno">  142</span>&#160; </div>
+<div class="line"><a name="l00143"></a><span class="lineno">  143</span>&#160;    }</div>
+</div><!-- fragment -->
+</div>
+</div>
+<a id="a79d7b96a3141348edb0a739eb6aea35c"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#a79d7b96a3141348edb0a739eb6aea35c">&#9670;&nbsp;</a></span>~CDG()</h2>
+<div class="memitem">
+<div class="memproto">
+<table class="mlabels">
+  <tr>
+  <td class="mlabels-left">
+      <table class="memname">
+        <tr>
+          <td class="memname">virtual SVF::CDG::~CDG </td>
+          <td>(</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">virtual</span></span>  </td>
+  </tr>
+</table>
+</div><div class="memdoc">
+<p>Destructor. </p>
+<p class="definition">Definition at line <a class="el" href="CDG_8h_source.html#l00167">167</a> of file <a class="el" href="CDG_8h_source.html">CDG.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00167"></a><span class="lineno">  167</span>&#160;{}</div>
+</div><!-- fragment -->
+</div>
+</div>
+<h2 class="groupheader">Member Function Documentation</h2>
+<a id="ac7bef71609f90258f6bcb159afa9503c"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#ac7bef71609f90258f6bcb159afa9503c">&#9670;&nbsp;</a></span>addCDGEdge()</h2>
+<div class="memitem">
+<div class="memproto">
+<table class="mlabels">
+  <tr>
+  <td class="mlabels-left">
+      <table class="memname">
+        <tr>
+          <td class="memname">bool SVF::CDG::addCDGEdge </td>
+          <td>(</td>
+          <td class="paramtype"><a class="el" href="classSVF_1_1CDGEdge.html">CDGEdge</a> *&#160;</td>
+          <td class="paramname"><em>edge</em></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>Add <a class="el" href="classSVF_1_1CDG.html">CDG</a> edge. </p>
+<p class="definition">Definition at line <a class="el" href="CDG_8h_source.html#l00264">264</a> of file <a class="el" href="CDG_8h_source.html">CDG.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00265"></a><span class="lineno">  265</span>&#160;    {</div>
+<div class="line"><a name="l00266"></a><span class="lineno">  266</span>&#160;        <span class="keywordtype">bool</span> added1 = edge-&gt;getDstNode()-&gt;addIncomingEdge(edge);</div>
+<div class="line"><a name="l00267"></a><span class="lineno">  267</span>&#160;        <span class="keywordtype">bool</span> added2 = edge-&gt;getSrcNode()-&gt;addOutgoingEdge(edge);</div>
+<div class="line"><a name="l00268"></a><span class="lineno">  268</span>&#160;        assert(added1 &amp;&amp; added2 &amp;&amp; <span class="stringliteral">&quot;edge not added??&quot;</span>);</div>
+<div class="line"><a name="l00269"></a><span class="lineno">  269</span>&#160;        <span class="keywordflow">return</span> <span class="keyword">true</span>;</div>
+<div class="line"><a name="l00270"></a><span class="lineno">  270</span>&#160;    }</div>
+</div><!-- fragment -->
+</div>
+</div>
+<a id="a71ccf9520bb222dc0779716e213aabf2"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#a71ccf9520bb222dc0779716e213aabf2">&#9670;&nbsp;</a></span>addCDGEdgeFromSrcDst()</h2>
+<div class="memitem">
+<div class="memproto">
+      <table class="memname">
+        <tr>
+          <td class="memname">void CDG::addCDGEdgeFromSrcDst </td>
+          <td>(</td>
+          <td class="paramtype">const <a class="el" href="classSVF_1_1ICFGNode.html">ICFGNode</a> *&#160;</td>
+          <td class="paramname"><em>src</em>, </td>
+        </tr>
+        <tr>
+          <td class="paramkey"></td>
+          <td></td>
+          <td class="paramtype">const <a class="el" href="classSVF_1_1ICFGNode.html">ICFGNode</a> *&#160;</td>
+          <td class="paramname"><em>dst</em>, </td>
+        </tr>
+        <tr>
+          <td class="paramkey"></td>
+          <td></td>
+          <td class="paramtype">const <a class="el" href="classSVF_1_1SVFValue.html">SVFValue</a> *&#160;</td>
+          <td class="paramname"><em>pNode</em>, </td>
+        </tr>
+        <tr>
+          <td class="paramkey"></td>
+          <td></td>
+          <td class="paramtype"><a class="el" href="namespaceSVF.html#a9b707002523ece2ac54ca893ee9a2d4e">s32_t</a>&#160;</td>
+          <td class="paramname"><em>branchID</em>&#160;</td>
+        </tr>
+        <tr>
+          <td></td>
+          <td>)</td>
+          <td></td><td></td>
+        </tr>
+      </table>
+</div><div class="memdoc">
+<p>Add <a class="el" href="classSVF_1_1CDG.html">CDG</a> edges from nodeid pair. </p>
+<p class="definition">Definition at line <a class="el" href="CDG_8cpp_source.html#l00035">35</a> of file <a class="el" href="CDG_8cpp_source.html">CDG.cpp</a>.</p>
+<div class="fragment"><div class="line"><a name="l00036"></a><span class="lineno">   36</span>&#160;{</div>
+<div class="line"><a name="l00037"></a><span class="lineno">   37</span>&#160;    <span class="keywordflow">if</span> (!<a class="code" href="classSVF_1_1CDG.html#a965a30b1323fa9c9013760d410516e0e">hasCDGNode</a>(src-&gt;<a class="code" href="classSVF_1_1GenericNode.html#ac3e55ef37aefb411ea4c87b1aa3b1895">getId</a>()))</div>
+<div class="line"><a name="l00038"></a><span class="lineno">   38</span>&#160;    {</div>
+<div class="line"><a name="l00039"></a><span class="lineno">   39</span>&#160;        <a class="code" href="classSVF_1_1GenericGraph.html#a0a8831a5429005ff9d71adbd6bf3994f">addGNode</a>(src-&gt;<a class="code" href="classSVF_1_1GenericNode.html#ac3e55ef37aefb411ea4c87b1aa3b1895">getId</a>(), <span class="keyword">new</span> <a class="code" href="classSVF_1_1CDGNode.html">CDGNode</a>(src));</div>
+<div class="line"><a name="l00040"></a><span class="lineno">   40</span>&#160;    }</div>
+<div class="line"><a name="l00041"></a><span class="lineno">   41</span>&#160;    <span class="keywordflow">if</span> (!<a class="code" href="classSVF_1_1CDG.html#a965a30b1323fa9c9013760d410516e0e">hasCDGNode</a>(dst-&gt;<a class="code" href="classSVF_1_1GenericNode.html#ac3e55ef37aefb411ea4c87b1aa3b1895">getId</a>()))</div>
+<div class="line"><a name="l00042"></a><span class="lineno">   42</span>&#160;    {</div>
+<div class="line"><a name="l00043"></a><span class="lineno">   43</span>&#160;        <a class="code" href="classSVF_1_1GenericGraph.html#a0a8831a5429005ff9d71adbd6bf3994f">addGNode</a>(dst-&gt;<a class="code" href="classSVF_1_1GenericNode.html#ac3e55ef37aefb411ea4c87b1aa3b1895">getId</a>(), <span class="keyword">new</span> <a class="code" href="classSVF_1_1CDGNode.html">CDGNode</a>(dst));</div>
+<div class="line"><a name="l00044"></a><span class="lineno">   44</span>&#160;    }</div>
+<div class="line"><a name="l00045"></a><span class="lineno">   45</span>&#160;    <span class="keywordflow">if</span> (!<a class="code" href="classSVF_1_1CDG.html#a3cb3a5f88b8c38e53e314d7806e5efb6">hasCDGEdge</a>(<a class="code" href="classSVF_1_1CDG.html#a61c0aa5c27014d3e20d7d6ec6ace9216">getCDGNode</a>(src-&gt;<a class="code" href="classSVF_1_1GenericNode.html#ac3e55ef37aefb411ea4c87b1aa3b1895">getId</a>()), <a class="code" href="classSVF_1_1CDG.html#a61c0aa5c27014d3e20d7d6ec6ace9216">getCDGNode</a>(dst-&gt;<a class="code" href="classSVF_1_1GenericNode.html#ac3e55ef37aefb411ea4c87b1aa3b1895">getId</a>())))</div>
+<div class="line"><a name="l00046"></a><span class="lineno">   46</span>&#160;    {</div>
+<div class="line"><a name="l00047"></a><span class="lineno">   47</span>&#160;        <a class="code" href="classSVF_1_1CDGEdge.html">CDGEdge</a> *pEdge = <span class="keyword">new</span> <a class="code" href="classSVF_1_1CDGEdge.html">CDGEdge</a>(<a class="code" href="classSVF_1_1CDG.html#a61c0aa5c27014d3e20d7d6ec6ace9216">getCDGNode</a>(src-&gt;<a class="code" href="classSVF_1_1GenericNode.html#ac3e55ef37aefb411ea4c87b1aa3b1895">getId</a>()),</div>
+<div class="line"><a name="l00048"></a><span class="lineno">   48</span>&#160;                                     <a class="code" href="classSVF_1_1CDG.html#a61c0aa5c27014d3e20d7d6ec6ace9216">getCDGNode</a>(dst-&gt;<a class="code" href="classSVF_1_1GenericNode.html#ac3e55ef37aefb411ea4c87b1aa3b1895">getId</a>()));</div>
+<div class="line"><a name="l00049"></a><span class="lineno">   49</span>&#160;        pEdge-&gt;<a class="code" href="classSVF_1_1CDGEdge.html#ae9624672c9dc368f8ae2a091ca7523c5">insertBranchCondition</a>(pNode, branchID);</div>
+<div class="line"><a name="l00050"></a><span class="lineno">   50</span>&#160;        <a class="code" href="classSVF_1_1CDG.html#ac7bef71609f90258f6bcb159afa9503c">addCDGEdge</a>(pEdge);</div>
+<div class="line"><a name="l00051"></a><span class="lineno">   51</span>&#160;        <a class="code" href="classSVF_1_1GenericGraph.html#a2f2bca8219c7d769f6d2937e5cd40d14">incEdgeNum</a>();</div>
+<div class="line"><a name="l00052"></a><span class="lineno">   52</span>&#160;    }</div>
+<div class="line"><a name="l00053"></a><span class="lineno">   53</span>&#160;    <span class="keywordflow">else</span></div>
+<div class="line"><a name="l00054"></a><span class="lineno">   54</span>&#160;    {</div>
+<div class="line"><a name="l00055"></a><span class="lineno">   55</span>&#160;        <a class="code" href="classSVF_1_1CDGEdge.html">CDGEdge</a> *pEdge = <a class="code" href="classSVF_1_1CDG.html#aede6e10b06e7f5581dd7c042d5304b37">getCDGEdge</a>(<a class="code" href="classSVF_1_1CDG.html#a61c0aa5c27014d3e20d7d6ec6ace9216">getCDGNode</a>(src-&gt;<a class="code" href="classSVF_1_1GenericNode.html#ac3e55ef37aefb411ea4c87b1aa3b1895">getId</a>()),</div>
+<div class="line"><a name="l00056"></a><span class="lineno">   56</span>&#160;                                    <a class="code" href="classSVF_1_1CDG.html#a61c0aa5c27014d3e20d7d6ec6ace9216">getCDGNode</a>(dst-&gt;<a class="code" href="classSVF_1_1GenericNode.html#ac3e55ef37aefb411ea4c87b1aa3b1895">getId</a>()));</div>
+<div class="line"><a name="l00057"></a><span class="lineno">   57</span>&#160;        pEdge-&gt;<a class="code" href="classSVF_1_1CDGEdge.html#ae9624672c9dc368f8ae2a091ca7523c5">insertBranchCondition</a>(pNode, branchID);</div>
+<div class="line"><a name="l00058"></a><span class="lineno">   58</span>&#160;    }</div>
+<div class="line"><a name="l00059"></a><span class="lineno">   59</span>&#160;}</div>
+</div><!-- fragment -->
+</div>
+</div>
+<a id="a98e499b5316074a8722b88f77117c92c"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#a98e499b5316074a8722b88f77117c92c">&#9670;&nbsp;</a></span>addCDGNode()</h2>
+<div class="memitem">
+<div class="memproto">
+<table class="mlabels">
+  <tr>
+  <td class="mlabels-left">
+      <table class="memname">
+        <tr>
+          <td class="memname">virtual void SVF::CDG::addCDGNode </td>
+          <td>(</td>
+          <td class="paramtype"><a class="el" href="classSVF_1_1CDGNode.html">CDGNode</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">virtual</span></span>  </td>
+  </tr>
+</table>
+</div><div class="memdoc">
+<p>Add a <a class="el" href="classSVF_1_1CDG.html">CDG</a> node. </p>
+<p class="definition">Definition at line <a class="el" href="CDG_8h_source.html#l00273">273</a> of file <a class="el" href="CDG_8h_source.html">CDG.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00274"></a><span class="lineno">  274</span>&#160;    {</div>
+<div class="line"><a name="l00275"></a><span class="lineno">  275</span>&#160;        <a class="code" href="classSVF_1_1GenericGraph.html#a0a8831a5429005ff9d71adbd6bf3994f">addGNode</a>(node-&gt;getId(), node);</div>
+<div class="line"><a name="l00276"></a><span class="lineno">  276</span>&#160;    }</div>
+</div><!-- fragment -->
+</div>
+</div>
+<a id="a3122ef8cbc3960a44b3234b73dd6561f"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#a3122ef8cbc3960a44b3234b73dd6561f">&#9670;&nbsp;</a></span>addCDGNodesFromVector()</h2>
+<div class="memitem">
+<div class="memproto">
+<table class="mlabels">
+  <tr>
+  <td class="mlabels-left">
+      <table class="memname">
+        <tr>
+          <td class="memname">void SVF::CDG::addCDGNodesFromVector </td>
+          <td>(</td>
+          <td class="paramtype"><a class="el" href="classSVF_1_1CDG.html#ae886ef8618ac9b16490270f6eb83a210">ICFGNodeVector</a>&#160;</td>
+          <td class="paramname"><em>nodes</em></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>Add <a class="el" href="classSVF_1_1CDG.html">CDG</a> nodes from nodeid vector. </p>
+<p class="definition">Definition at line <a class="el" href="CDG_8h_source.html#l00279">279</a> of file <a class="el" href="CDG_8h_source.html">CDG.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00280"></a><span class="lineno">  280</span>&#160;    {</div>
+<div class="line"><a name="l00281"></a><span class="lineno">  281</span>&#160;        <span class="keywordflow">for</span> (<span class="keyword">const</span> ICFGNode *icfgNode: <a class="code" href="namespaceSVF.html#ae6c7046834fe00382052ece7d06eb0ac">nodes</a>)</div>
+<div class="line"><a name="l00282"></a><span class="lineno">  282</span>&#160;        {</div>
+<div class="line"><a name="l00283"></a><span class="lineno">  283</span>&#160;            <span class="keywordflow">if</span> (!<a class="code" href="classSVF_1_1GenericGraph.html#a47a1ef8b67b0c92f78b4457dc3bbfe71">IDToNodeMap</a>.count(icfgNode-&gt;getId()))</div>
+<div class="line"><a name="l00284"></a><span class="lineno">  284</span>&#160;            {</div>
+<div class="line"><a name="l00285"></a><span class="lineno">  285</span>&#160;                <a class="code" href="classSVF_1_1GenericGraph.html#a0a8831a5429005ff9d71adbd6bf3994f">addGNode</a>(icfgNode-&gt;getId(), <span class="keyword">new</span> CDGNode(icfgNode));</div>
+<div class="line"><a name="l00286"></a><span class="lineno">  286</span>&#160;            }</div>
+<div class="line"><a name="l00287"></a><span class="lineno">  287</span>&#160;        }</div>
+<div class="line"><a name="l00288"></a><span class="lineno">  288</span>&#160;    }</div>
+</div><!-- fragment -->
+</div>
+</div>
+<a id="a8c83310df697174ac18d7392c241dc15"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#a8c83310df697174ac18d7392c241dc15">&#9670;&nbsp;</a></span>dump()</h2>
+<div class="memitem">
+<div class="memproto">
+<table class="mlabels">
+  <tr>
+  <td class="mlabels-left">
+      <table class="memname">
+        <tr>
+          <td class="memname">void SVF::CDG::dump </td>
+          <td>(</td>
+          <td class="paramtype">const <a class="el" href="cJSON_8cpp.html#ae1adbce218e7a9d09164012443191d24">std::string</a> &amp;&#160;</td>
+          <td class="paramname"><em>filename</em></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>Dump graph into dot file. </p>
+<p class="definition">Definition at line <a class="el" href="CDG_8h_source.html#l00223">223</a> of file <a class="el" href="CDG_8h_source.html">CDG.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00224"></a><span class="lineno">  224</span>&#160;    {</div>
+<div class="line"><a name="l00225"></a><span class="lineno">  225</span>&#160;        <a class="code" href="classSVF_1_1GraphPrinter.html#a014217fb0d05c8f2a2f1a6c5b19d3e10">GraphPrinter::WriteGraphToFile</a>(<a class="code" href="namespaceSVF_1_1SVFUtil.html#aed0b0b9f035057552a6a82154fd88e61">SVFUtil::outs</a>(), filename, <span class="keyword">this</span>);</div>
+<div class="line"><a name="l00226"></a><span class="lineno">  226</span>&#160;    }</div>
+</div><!-- fragment -->
+</div>
+</div>
+<a id="aadc90afbdeff9aae0365cde7b96ae9bc"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#aadc90afbdeff9aae0365cde7b96ae9bc">&#9670;&nbsp;</a></span>getCDG()</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="classSVF_1_1CDG.html">CDG</a>* SVF::CDG::getCDG </td>
+          <td>(</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>Singleton design here to make sure we only have one instance during any analysis. </p>
+<p class="definition">Definition at line <a class="el" href="CDG_8h_source.html#l00149">149</a> of file <a class="el" href="CDG_8h_source.html">CDG.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00150"></a><span class="lineno">  150</span>&#160;    {</div>
+<div class="line"><a name="l00151"></a><span class="lineno">  151</span>&#160;        <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1CDG.html#a70b59b33f4266b22cc58fa832ded900a">controlDg</a> == <span class="keyword">nullptr</span>)</div>
+<div class="line"><a name="l00152"></a><span class="lineno">  152</span>&#160;        {</div>
+<div class="line"><a name="l00153"></a><span class="lineno">  153</span>&#160;            <a class="code" href="classSVF_1_1CDG.html#a70b59b33f4266b22cc58fa832ded900a">controlDg</a> = <span class="keyword">new</span> <a class="code" href="classSVF_1_1CDG.html#a646aa0a899d8cc45df96c0a60c85011e">CDG</a>();</div>
+<div class="line"><a name="l00154"></a><span class="lineno">  154</span>&#160;        }</div>
+<div class="line"><a name="l00155"></a><span class="lineno">  155</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1CDG.html#a70b59b33f4266b22cc58fa832ded900a">controlDg</a>;</div>
+<div class="line"><a name="l00156"></a><span class="lineno">  156</span>&#160;    }</div>
+</div><!-- fragment -->
+</div>
+</div>
+<a id="aede6e10b06e7f5581dd7c042d5304b37"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#aede6e10b06e7f5581dd7c042d5304b37">&#9670;&nbsp;</a></span>getCDGEdge()</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="classSVF_1_1CDGEdge.html">CDGEdge</a>* SVF::CDG::getCDGEdge </td>
+          <td>(</td>
+          <td class="paramtype">const <a class="el" href="classSVF_1_1CDGNode.html">CDGNode</a> *&#160;</td>
+          <td class="paramname"><em>src</em>, </td>
+        </tr>
+        <tr>
+          <td class="paramkey"></td>
+          <td></td>
+          <td class="paramtype">const <a class="el" href="classSVF_1_1CDGNode.html">CDGNode</a> *&#160;</td>
+          <td class="paramname"><em>dst</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>Get a control dependence edge according to src and dst. </p>
+<p class="definition">Definition at line <a class="el" href="CDG_8h_source.html#l00199">199</a> of file <a class="el" href="CDG_8h_source.html">CDG.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00200"></a><span class="lineno">  200</span>&#160;    {</div>
+<div class="line"><a name="l00201"></a><span class="lineno">  201</span>&#160;        CDGEdge *edge = <span class="keyword">nullptr</span>;</div>
+<div class="line"><a name="l00202"></a><span class="lineno">  202</span>&#160;        <span class="keywordtype">size_t</span> counter = 0;</div>
+<div class="line"><a name="l00203"></a><span class="lineno">  203</span>&#160;        <span class="keywordflow">for</span> (CDGEdge::CDGEdgeSetTy::iterator iter = src-&gt;OutEdgeBegin();</div>
+<div class="line"><a name="l00204"></a><span class="lineno">  204</span>&#160;                iter != src-&gt;OutEdgeEnd(); ++iter)</div>
+<div class="line"><a name="l00205"></a><span class="lineno">  205</span>&#160;        {</div>
+<div class="line"><a name="l00206"></a><span class="lineno">  206</span>&#160;            <span class="keywordflow">if</span> ((*iter)-&gt;getDstID() == dst-&gt;getId())</div>
+<div class="line"><a name="l00207"></a><span class="lineno">  207</span>&#160;            {</div>
+<div class="line"><a name="l00208"></a><span class="lineno">  208</span>&#160;                counter++;</div>
+<div class="line"><a name="l00209"></a><span class="lineno">  209</span>&#160;                edge = (*iter);</div>
+<div class="line"><a name="l00210"></a><span class="lineno">  210</span>&#160;            }</div>
+<div class="line"><a name="l00211"></a><span class="lineno">  211</span>&#160;        }</div>
+<div class="line"><a name="l00212"></a><span class="lineno">  212</span>&#160;        assert(counter &lt;= 1 &amp;&amp; <span class="stringliteral">&quot;there&#39;s more than one edge between two CDG nodes&quot;</span>);</div>
+<div class="line"><a name="l00213"></a><span class="lineno">  213</span>&#160;        <span class="keywordflow">return</span> edge;</div>
+<div class="line"><a name="l00214"></a><span class="lineno">  214</span>&#160;    }</div>
+</div><!-- fragment -->
+</div>
+</div>
+<a id="a61c0aa5c27014d3e20d7d6ec6ace9216"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#a61c0aa5c27014d3e20d7d6ec6ace9216">&#9670;&nbsp;</a></span>getCDGNode()</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="classSVF_1_1CDGNode.html">CDGNode</a>* SVF::CDG::getCDGNode </td>
+          <td>(</td>
+          <td class="paramtype"><a class="el" href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">NodeID</a>&#160;</td>
+          <td class="paramname"><em>id</em></td><td>)</td>
+          <td> const</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>Get a <a class="el" href="classSVF_1_1CDG.html">CDG</a> node. </p>
+<p class="definition">Definition at line <a class="el" href="CDG_8h_source.html#l00170">170</a> of file <a class="el" href="CDG_8h_source.html">CDG.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00171"></a><span class="lineno">  171</span>&#160;    {</div>
+<div class="line"><a name="l00172"></a><span class="lineno">  172</span>&#160;        <span class="keywordflow">if</span> (!<a class="code" href="classSVF_1_1CDG.html#a965a30b1323fa9c9013760d410516e0e">hasCDGNode</a>(<span class="keywordtype">id</span>))</div>
+<div class="line"><a name="l00173"></a><span class="lineno">  173</span>&#160;            <span class="keywordflow">return</span> <span class="keyword">nullptr</span>;</div>
+<div class="line"><a name="l00174"></a><span class="lineno">  174</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1GenericGraph.html#a43c9c773bfa17abf481c33073e30d01b">getGNode</a>(<span class="keywordtype">id</span>);</div>
+<div class="line"><a name="l00175"></a><span class="lineno">  175</span>&#160;    }</div>
+</div><!-- fragment -->
+</div>
+</div>
+<a id="a3cb3a5f88b8c38e53e314d7806e5efb6"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#a3cb3a5f88b8c38e53e314d7806e5efb6">&#9670;&nbsp;</a></span>hasCDGEdge()</h2>
+<div class="memitem">
+<div class="memproto">
+<table class="mlabels">
+  <tr>
+  <td class="mlabels-left">
+      <table class="memname">
+        <tr>
+          <td class="memname">bool SVF::CDG::hasCDGEdge </td>
+          <td>(</td>
+          <td class="paramtype"><a class="el" href="classSVF_1_1CDGNode.html">CDGNode</a> *&#160;</td>
+          <td class="paramname"><em>src</em>, </td>
+        </tr>
+        <tr>
+          <td class="paramkey"></td>
+          <td></td>
+          <td class="paramtype"><a class="el" href="classSVF_1_1CDGNode.html">CDGNode</a> *&#160;</td>
+          <td class="paramname"><em>dst</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>Whether we has a <a class="el" href="classSVF_1_1CDG.html">CDG</a> edge. </p>
+<p class="definition">Definition at line <a class="el" href="CDG_8h_source.html#l00184">184</a> of file <a class="el" href="CDG_8h_source.html">CDG.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00185"></a><span class="lineno">  185</span>&#160;    {</div>
+<div class="line"><a name="l00186"></a><span class="lineno">  186</span>&#160;        CDGEdge edge(src, dst);</div>
+<div class="line"><a name="l00187"></a><span class="lineno">  187</span>&#160;        CDGEdge *outEdge = src-&gt;hasOutgoingEdge(&amp;edge);</div>
+<div class="line"><a name="l00188"></a><span class="lineno">  188</span>&#160;        CDGEdge *inEdge = dst-&gt;hasIncomingEdge(&amp;edge);</div>
+<div class="line"><a name="l00189"></a><span class="lineno">  189</span>&#160;        <span class="keywordflow">if</span> (outEdge &amp;&amp; inEdge)</div>
+<div class="line"><a name="l00190"></a><span class="lineno">  190</span>&#160;        {</div>
+<div class="line"><a name="l00191"></a><span class="lineno">  191</span>&#160;            assert(outEdge == inEdge &amp;&amp; <span class="stringliteral">&quot;edges not match&quot;</span>);</div>
+<div class="line"><a name="l00192"></a><span class="lineno">  192</span>&#160;            <span class="keywordflow">return</span> <span class="keyword">true</span>;</div>
+<div class="line"><a name="l00193"></a><span class="lineno">  193</span>&#160;        }</div>
+<div class="line"><a name="l00194"></a><span class="lineno">  194</span>&#160;        <span class="keywordflow">else</span></div>
+<div class="line"><a name="l00195"></a><span class="lineno">  195</span>&#160;            <span class="keywordflow">return</span> <span class="keyword">false</span>;</div>
+<div class="line"><a name="l00196"></a><span class="lineno">  196</span>&#160;    }</div>
+</div><!-- fragment -->
+</div>
+</div>
+<a id="a965a30b1323fa9c9013760d410516e0e"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#a965a30b1323fa9c9013760d410516e0e">&#9670;&nbsp;</a></span>hasCDGNode()</h2>
+<div class="memitem">
+<div class="memproto">
+<table class="mlabels">
+  <tr>
+  <td class="mlabels-left">
+      <table class="memname">
+        <tr>
+          <td class="memname">bool SVF::CDG::hasCDGNode </td>
+          <td>(</td>
+          <td class="paramtype"><a class="el" href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">NodeID</a>&#160;</td>
+          <td class="paramname"><em>id</em></td><td>)</td>
+          <td> const</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>Whether has the <a class="el" href="classSVF_1_1CDGNode.html">CDGNode</a>. </p>
+<p class="definition">Definition at line <a class="el" href="CDG_8h_source.html#l00178">178</a> of file <a class="el" href="CDG_8h_source.html">CDG.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00179"></a><span class="lineno">  179</span>&#160;    {</div>
+<div class="line"><a name="l00180"></a><span class="lineno">  180</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1GenericGraph.html#a6885064afa211958af7b73f0233284e5">hasGNode</a>(<span class="keywordtype">id</span>);</div>
+<div class="line"><a name="l00181"></a><span class="lineno">  181</span>&#160;    }</div>
+</div><!-- fragment -->
+</div>
+</div>
+<a id="ab0682abdbd97d1223cc0a968f7ccc543"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#ab0682abdbd97d1223cc0a968f7ccc543">&#9670;&nbsp;</a></span>releaseCDG()</h2>
+<div class="memitem">
+<div class="memproto">
+<table class="mlabels">
+  <tr>
+  <td class="mlabels-left">
+      <table class="memname">
+        <tr>
+          <td class="memname">static void SVF::CDG::releaseCDG </td>
+          <td>(</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 class="definition">Definition at line <a class="el" href="CDG_8h_source.html#l00158">158</a> of file <a class="el" href="CDG_8h_source.html">CDG.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00159"></a><span class="lineno">  159</span>&#160;    {</div>
+<div class="line"><a name="l00160"></a><span class="lineno">  160</span>&#160;        <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1CDG.html#a70b59b33f4266b22cc58fa832ded900a">controlDg</a>)</div>
+<div class="line"><a name="l00161"></a><span class="lineno">  161</span>&#160;            <span class="keyword">delete</span> <a class="code" href="classSVF_1_1CDG.html#a70b59b33f4266b22cc58fa832ded900a">controlDg</a>;</div>
+<div class="line"><a name="l00162"></a><span class="lineno">  162</span>&#160;        <a class="code" href="classSVF_1_1CDG.html#a70b59b33f4266b22cc58fa832ded900a">controlDg</a> = <span class="keyword">nullptr</span>;</div>
+<div class="line"><a name="l00163"></a><span class="lineno">  163</span>&#160;    }</div>
+</div><!-- fragment -->
+</div>
+</div>
+<a id="afd04ca26b53407aceffe1c507d345f95"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#afd04ca26b53407aceffe1c507d345f95">&#9670;&nbsp;</a></span>removeCDGEdge()</h2>
+<div class="memitem">
+<div class="memproto">
+<table class="mlabels">
+  <tr>
+  <td class="mlabels-left">
+      <table class="memname">
+        <tr>
+          <td class="memname">void SVF::CDG::removeCDGEdge </td>
+          <td>(</td>
+          <td class="paramtype"><a class="el" href="classSVF_1_1CDGEdge.html">CDGEdge</a> *&#160;</td>
+          <td class="paramname"><em>edge</em></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>Remove a control dependence edge. </p>
+<p class="definition">Definition at line <a class="el" href="CDG_8h_source.html#l00230">230</a> of file <a class="el" href="CDG_8h_source.html">CDG.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00231"></a><span class="lineno">  231</span>&#160;    {</div>
+<div class="line"><a name="l00232"></a><span class="lineno">  232</span>&#160;        edge-&gt;getDstNode()-&gt;removeIncomingEdge(edge);</div>
+<div class="line"><a name="l00233"></a><span class="lineno">  233</span>&#160;        edge-&gt;getSrcNode()-&gt;removeOutgoingEdge(edge);</div>
+<div class="line"><a name="l00234"></a><span class="lineno">  234</span>&#160;        <span class="keyword">delete</span> edge;</div>
+<div class="line"><a name="l00235"></a><span class="lineno">  235</span>&#160;    }</div>
+</div><!-- fragment -->
+</div>
+</div>
+<a id="a260507920498e0d9bd6bf629e6912cdb"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#a260507920498e0d9bd6bf629e6912cdb">&#9670;&nbsp;</a></span>removeCDGNode() <span class="overload">[1/2]</span></h2>
+<div class="memitem">
+<div class="memproto">
+<table class="mlabels">
+  <tr>
+  <td class="mlabels-left">
+      <table class="memname">
+        <tr>
+          <td class="memname">void SVF::CDG::removeCDGNode </td>
+          <td>(</td>
+          <td class="paramtype"><a class="el" href="classSVF_1_1CDGNode.html">CDGNode</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>  </td>
+  </tr>
+</table>
+</div><div class="memdoc">
+<p>Remove a <a class="el" href="classSVF_1_1CDGNode.html">CDGNode</a>. </p>
+<p class="definition">Definition at line <a class="el" href="CDG_8h_source.html#l00238">238</a> of file <a class="el" href="CDG_8h_source.html">CDG.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00239"></a><span class="lineno">  239</span>&#160;    {</div>
+<div class="line"><a name="l00240"></a><span class="lineno">  240</span>&#160;        std::set&lt;CDGEdge *&gt; temp;</div>
+<div class="line"><a name="l00241"></a><span class="lineno">  241</span>&#160;        <span class="keywordflow">for</span> (CDGEdge *e: node-&gt;getInEdges())</div>
+<div class="line"><a name="l00242"></a><span class="lineno">  242</span>&#160;            temp.insert(e);</div>
+<div class="line"><a name="l00243"></a><span class="lineno">  243</span>&#160;        <span class="keywordflow">for</span> (CDGEdge *e: node-&gt;getOutEdges())</div>
+<div class="line"><a name="l00244"></a><span class="lineno">  244</span>&#160;            temp.insert(e);</div>
+<div class="line"><a name="l00245"></a><span class="lineno">  245</span>&#160;        <span class="keywordflow">for</span> (CDGEdge *e: temp)</div>
+<div class="line"><a name="l00246"></a><span class="lineno">  246</span>&#160;        {</div>
+<div class="line"><a name="l00247"></a><span class="lineno">  247</span>&#160;            <a class="code" href="classSVF_1_1CDG.html#afd04ca26b53407aceffe1c507d345f95">removeCDGEdge</a>(e);</div>
+<div class="line"><a name="l00248"></a><span class="lineno">  248</span>&#160;        }</div>
+<div class="line"><a name="l00249"></a><span class="lineno">  249</span>&#160;        <a class="code" href="classSVF_1_1GenericGraph.html#a1817b65e76052f11e36a67d6b9efd915">removeGNode</a>(node);</div>
+<div class="line"><a name="l00250"></a><span class="lineno">  250</span>&#160;    }</div>
+</div><!-- fragment -->
+</div>
+</div>
+<a id="a3ff150908e40b1b39799e46317c805fc"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#a3ff150908e40b1b39799e46317c805fc">&#9670;&nbsp;</a></span>removeCDGNode() <span class="overload">[2/2]</span></h2>
+<div class="memitem">
+<div class="memproto">
+<table class="mlabels">
+  <tr>
+  <td class="mlabels-left">
+      <table class="memname">
+        <tr>
+          <td class="memname">bool SVF::CDG::removeCDGNode </td>
+          <td>(</td>
+          <td class="paramtype"><a class="el" href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">NodeID</a>&#160;</td>
+          <td class="paramname"><em>id</em></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>Remove node from nodeID. </p>
+<p class="definition">Definition at line <a class="el" href="CDG_8h_source.html#l00253">253</a> of file <a class="el" href="CDG_8h_source.html">CDG.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00254"></a><span class="lineno">  254</span>&#160;    {</div>
+<div class="line"><a name="l00255"></a><span class="lineno">  255</span>&#160;        <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1CDG.html#a965a30b1323fa9c9013760d410516e0e">hasCDGNode</a>(<span class="keywordtype">id</span>))</div>
+<div class="line"><a name="l00256"></a><span class="lineno">  256</span>&#160;        {</div>
+<div class="line"><a name="l00257"></a><span class="lineno">  257</span>&#160;            <a class="code" href="classSVF_1_1CDG.html#a260507920498e0d9bd6bf629e6912cdb">removeCDGNode</a>(<a class="code" href="classSVF_1_1CDG.html#a61c0aa5c27014d3e20d7d6ec6ace9216">getCDGNode</a>(<span class="keywordtype">id</span>));</div>
+<div class="line"><a name="l00258"></a><span class="lineno">  258</span>&#160;            <span class="keywordflow">return</span> <span class="keyword">true</span>;</div>
+<div class="line"><a name="l00259"></a><span class="lineno">  259</span>&#160;        }</div>
+<div class="line"><a name="l00260"></a><span class="lineno">  260</span>&#160;        <span class="keywordflow">return</span> <span class="keyword">false</span>;</div>
+<div class="line"><a name="l00261"></a><span class="lineno">  261</span>&#160;    }</div>
+</div><!-- fragment -->
+</div>
+</div>
+<a id="a37a615eda0e530f2c784e0dfc5936723"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#a37a615eda0e530f2c784e0dfc5936723">&#9670;&nbsp;</a></span>view()</h2>
+<div class="memitem">
+<div class="memproto">
+<table class="mlabels">
+  <tr>
+  <td class="mlabels-left">
+      <table class="memname">
+        <tr>
+          <td class="memname">void SVF::CDG::view </td>
+          <td>(</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>  </td>
+  </tr>
+</table>
+</div><div class="memdoc">
+<p>View graph from the debugger. </p>
+<p class="definition">Definition at line <a class="el" href="CDG_8h_source.html#l00217">217</a> of file <a class="el" href="CDG_8h_source.html">CDG.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00218"></a><span class="lineno">  218</span>&#160;    {</div>
+<div class="line"><a name="l00219"></a><span class="lineno">  219</span>&#160;        <a class="code" href="namespaceSVF.html#a4582a7d33a5631a5a38973f50035327e">SVF::ViewGraph</a>(<span class="keyword">this</span>, <span class="stringliteral">&quot;Control Dependence Graph&quot;</span>);</div>
+<div class="line"><a name="l00220"></a><span class="lineno">  220</span>&#160;    }</div>
+</div><!-- fragment -->
+</div>
+</div>
+<h2 class="groupheader">Member Data Documentation</h2>
+<a id="a70b59b33f4266b22cc58fa832ded900a"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#a70b59b33f4266b22cc58fa832ded900a">&#9670;&nbsp;</a></span>controlDg</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="classSVF_1_1CDG.html">CDG</a> * CDG::controlDg = nullptr</td>
+        </tr>
+      </table>
+  </td>
+  <td class="mlabels-right">
+<span class="mlabels"><span class="mlabel">static</span><span class="mlabel">private</span></span>  </td>
+  </tr>
+</table>
+</div><div class="memdoc">
+<p>Singleton pattern here </p>
+<p class="definition">Definition at line <a class="el" href="CDG_8h_source.html#l00138">138</a> of file <a class="el" href="CDG_8h_source.html">CDG.h</a>.</p>
+</div>
+</div>
+<hr/>The documentation for this class was generated from the following files:<ul>
+<li>/home/runner/work/SVF/SVF/svf/include/Graphs/<a class="el" href="CDG_8h_source.html">CDG.h</a></li>
+<li>/home/runner/work/SVF/SVF/svf/lib/Graphs/<a class="el" href="CDG_8cpp_source.html">CDG.cpp</a></li>
+</ul>
+</div><!-- contents -->
+<div class="ttc" id="aclassSVF_1_1CDG_html_a646aa0a899d8cc45df96c0a60c85011e"><div class="ttname"><a href="classSVF_1_1CDG.html#a646aa0a899d8cc45df96c0a60c85011e">SVF::CDG::CDG</a></div><div class="ttdeci">CDG()</div><div class="ttdoc">Constructor.</div><div class="ttdef"><b>Definition:</b> <a href="CDG_8h_source.html#l00140">CDG.h:140</a></div></div>
+<div class="ttc" id="aclassSVF_1_1CDGNode_html"><div class="ttname"><a href="classSVF_1_1CDGNode.html">SVF::CDGNode</a></div><div class="ttdef"><b>Definition:</b> <a href="CDG_8h_source.html#l00089">CDG.h:89</a></div></div>
+<div class="ttc" id="aclassSVF_1_1CDG_html_ac7bef71609f90258f6bcb159afa9503c"><div class="ttname"><a href="classSVF_1_1CDG.html#ac7bef71609f90258f6bcb159afa9503c">SVF::CDG::addCDGEdge</a></div><div class="ttdeci">bool addCDGEdge(CDGEdge *edge)</div><div class="ttdoc">Add CDG edge.</div><div class="ttdef"><b>Definition:</b> <a href="CDG_8h_source.html#l00264">CDG.h:264</a></div></div>
+<div class="ttc" id="aclassSVF_1_1CDG_html_afd04ca26b53407aceffe1c507d345f95"><div class="ttname"><a href="classSVF_1_1CDG.html#afd04ca26b53407aceffe1c507d345f95">SVF::CDG::removeCDGEdge</a></div><div class="ttdeci">void removeCDGEdge(CDGEdge *edge)</div><div class="ttdoc">Remove a control dependence edge.</div><div class="ttdef"><b>Definition:</b> <a href="CDG_8h_source.html#l00230">CDG.h:230</a></div></div>
+<div class="ttc" id="aclassSVF_1_1GenericNode_html_ac3e55ef37aefb411ea4c87b1aa3b1895"><div class="ttname"><a href="classSVF_1_1GenericNode.html#ac3e55ef37aefb411ea4c87b1aa3b1895">SVF::GenericNode::getId</a></div><div class="ttdeci">NodeID getId() const</div><div class="ttdoc">Get ID.</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00180">GenericGraph.h:180</a></div></div>
+<div class="ttc" id="aclassSVF_1_1GenericGraph_html_a0a8831a5429005ff9d71adbd6bf3994f"><div class="ttname"><a href="classSVF_1_1GenericGraph.html#a0a8831a5429005ff9d71adbd6bf3994f">SVF::GenericGraph::addGNode</a></div><div class="ttdeci">void addGNode(NodeID id, NodeType *node)</div><div class="ttdoc">Add a Node.</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00399">GenericGraph.h:399</a></div></div>
+<div class="ttc" id="anamespaceSVF_html_a4582a7d33a5631a5a38973f50035327e"><div class="ttname"><a href="namespaceSVF.html#a4582a7d33a5631a5a38973f50035327e">SVF::ViewGraph</a></div><div class="ttdeci">void ViewGraph(const GraphType &amp;G, const std::string &amp;name, bool ShortNames=false, GraphProgram::Name Program=GraphProgram::DOT)</div><div class="ttdef"><b>Definition:</b> <a href="GraphWriter_8h_source.html#l00371">GraphWriter.h:371</a></div></div>
+<div class="ttc" id="aclassSVF_1_1GenericGraph_html_a2f2bca8219c7d769f6d2937e5cd40d14"><div class="ttname"><a href="classSVF_1_1GenericGraph.html#a2f2bca8219c7d769f6d2937e5cd40d14">SVF::GenericGraph::incEdgeNum</a></div><div class="ttdeci">void incEdgeNum()</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00446">GenericGraph.h:446</a></div></div>
+<div class="ttc" id="aclassSVF_1_1GenericGraph_html_a47a1ef8b67b0c92f78b4457dc3bbfe71"><div class="ttname"><a href="classSVF_1_1GenericGraph.html#a47a1ef8b67b0c92f78b4457dc3bbfe71">SVF::GenericGraph::IDToNodeMap</a></div><div class="ttdeci">IDToNodeMapTy IDToNodeMap</div><div class="ttdoc">node map</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00452">GenericGraph.h:452</a></div></div>
+<div class="ttc" id="aclassSVF_1_1GenericGraph_html_a1817b65e76052f11e36a67d6b9efd915"><div class="ttname"><a href="classSVF_1_1GenericGraph.html#a1817b65e76052f11e36a67d6b9efd915">SVF::GenericGraph::removeGNode</a></div><div class="ttdeci">void removeGNode(NodeType *node)</div><div class="ttdoc">Delete a node.</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00421">GenericGraph.h:421</a></div></div>
+<div class="ttc" id="aclassSVF_1_1CDG_html_a70b59b33f4266b22cc58fa832ded900a"><div class="ttname"><a href="classSVF_1_1CDG.html#a70b59b33f4266b22cc58fa832ded900a">SVF::CDG::controlDg</a></div><div class="ttdeci">static CDG * controlDg</div><div class="ttdef"><b>Definition:</b> <a href="CDG_8h_source.html#l00138">CDG.h:138</a></div></div>
+<div class="ttc" id="anamespaceSVF_html_ae6c7046834fe00382052ece7d06eb0ac"><div class="ttname"><a href="namespaceSVF.html#ae6c7046834fe00382052ece7d06eb0ac">SVF::nodes</a></div><div class="ttdeci">iter_range&lt; typename GenericGraphTraits&lt; GraphType &gt;::nodes_iterator &gt; nodes(const GraphType &amp;G)</div><div class="ttdef"><b>Definition:</b> <a href="GraphTraits_8h_source.html#l00111">GraphTraits.h:111</a></div></div>
+<div class="ttc" id="aclassSVF_1_1CDG_html_a260507920498e0d9bd6bf629e6912cdb"><div class="ttname"><a href="classSVF_1_1CDG.html#a260507920498e0d9bd6bf629e6912cdb">SVF::CDG::removeCDGNode</a></div><div class="ttdeci">void removeCDGNode(CDGNode *node)</div><div class="ttdoc">Remove a CDGNode.</div><div class="ttdef"><b>Definition:</b> <a href="CDG_8h_source.html#l00238">CDG.h:238</a></div></div>
+<div class="ttc" id="aclassSVF_1_1CDGEdge_html_ae9624672c9dc368f8ae2a091ca7523c5"><div class="ttname"><a href="classSVF_1_1CDGEdge.html#ae9624672c9dc368f8ae2a091ca7523c5">SVF::CDGEdge::insertBranchCondition</a></div><div class="ttdeci">void insertBranchCondition(const SVFValue *pNode, s32_t branchID)</div><div class="ttdef"><b>Definition:</b> <a href="CDG_8h_source.html#l00076">CDG.h:76</a></div></div>
+<div class="ttc" id="aclassSVF_1_1GenericGraph_html_a43c9c773bfa17abf481c33073e30d01b"><div class="ttname"><a href="classSVF_1_1GenericGraph.html#a43c9c773bfa17abf481c33073e30d01b">SVF::GenericGraph::getGNode</a></div><div class="ttdeci">NodeType * getGNode(NodeID id) const</div><div class="ttdoc">Get a node.</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00406">GenericGraph.h:406</a></div></div>
+<div class="ttc" id="aclassSVF_1_1CDG_html_a965a30b1323fa9c9013760d410516e0e"><div class="ttname"><a href="classSVF_1_1CDG.html#a965a30b1323fa9c9013760d410516e0e">SVF::CDG::hasCDGNode</a></div><div class="ttdeci">bool hasCDGNode(NodeID id) const</div><div class="ttdoc">Whether has the CDGNode.</div><div class="ttdef"><b>Definition:</b> <a href="CDG_8h_source.html#l00178">CDG.h:178</a></div></div>
+<div class="ttc" id="anamespaceSVF_1_1SVFUtil_html_aed0b0b9f035057552a6a82154fd88e61"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#aed0b0b9f035057552a6a82154fd88e61">SVF::SVFUtil::outs</a></div><div class="ttdeci">std::ostream &amp; outs()</div><div class="ttdoc">Overwrite llvm::outs()</div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8h_source.html#l00050">SVFUtil.h:50</a></div></div>
+<div class="ttc" id="aclassSVF_1_1CDGEdge_html"><div class="ttname"><a href="classSVF_1_1CDGEdge.html">SVF::CDGEdge</a></div><div class="ttdef"><b>Definition:</b> <a href="CDG_8h_source.html#l00042">CDG.h:42</a></div></div>
+<div class="ttc" id="aclassSVF_1_1GenericGraph_html_a6885064afa211958af7b73f0233284e5"><div class="ttname"><a href="classSVF_1_1GenericGraph.html#a6885064afa211958af7b73f0233284e5">SVF::GenericGraph::hasGNode</a></div><div class="ttdeci">bool hasGNode(NodeID id) const</div><div class="ttdoc">Has a node.</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00414">GenericGraph.h:414</a></div></div>
+<div class="ttc" id="aclassSVF_1_1GraphPrinter_html_a014217fb0d05c8f2a2f1a6c5b19d3e10"><div class="ttname"><a href="classSVF_1_1GraphPrinter.html#a014217fb0d05c8f2a2f1a6c5b19d3e10">SVF::GraphPrinter::WriteGraphToFile</a></div><div class="ttdeci">static void WriteGraphToFile(SVF::OutStream &amp;O, const std::string &amp;GraphName, const GraphType &amp;GT, bool simple=false)</div><div class="ttdef"><b>Definition:</b> <a href="GraphPrinter_8h_source.html#l00056">GraphPrinter.h:56</a></div></div>
+<div class="ttc" id="aclassSVF_1_1CDG_html_a3cb3a5f88b8c38e53e314d7806e5efb6"><div class="ttname"><a href="classSVF_1_1CDG.html#a3cb3a5f88b8c38e53e314d7806e5efb6">SVF::CDG::hasCDGEdge</a></div><div class="ttdeci">bool hasCDGEdge(CDGNode *src, CDGNode *dst)</div><div class="ttdoc">Whether we has a CDG edge.</div><div class="ttdef"><b>Definition:</b> <a href="CDG_8h_source.html#l00184">CDG.h:184</a></div></div>
+<div class="ttc" id="aclassSVF_1_1CDG_html_aede6e10b06e7f5581dd7c042d5304b37"><div class="ttname"><a href="classSVF_1_1CDG.html#aede6e10b06e7f5581dd7c042d5304b37">SVF::CDG::getCDGEdge</a></div><div class="ttdeci">CDGEdge * getCDGEdge(const CDGNode *src, const CDGNode *dst)</div><div class="ttdoc">Get a control dependence edge according to src and dst.</div><div class="ttdef"><b>Definition:</b> <a href="CDG_8h_source.html#l00199">CDG.h:199</a></div></div>
+<div class="ttc" id="aclassSVF_1_1CDG_html_a61c0aa5c27014d3e20d7d6ec6ace9216"><div class="ttname"><a href="classSVF_1_1CDG.html#a61c0aa5c27014d3e20d7d6ec6ace9216">SVF::CDG::getCDGNode</a></div><div class="ttdeci">CDGNode * getCDGNode(NodeID id) const</div><div class="ttdoc">Get a CDG node.</div><div class="ttdef"><b>Definition:</b> <a href="CDG_8h_source.html#l00170">CDG.h:170</a></div></div>
+<!-- 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.17
+</small></address>
+</body>
+</html>