svf-tools 1.0.320 → 1.0.324

package/SVF-doxygen/html/html/classSVF_1_1IRGraph.html

@@ -87,10 +87,10 @@ Inheritance diagram for SVF::IRGraph:</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:ae9547730a27575194977b240647e8ce2"><td class="memItemLeft" align="right" valign="top">typedef <a class="el" href="namespaceSVF.html#af739db846e47ba6b2fd15eaad31ab7fb">Set</a>&lt; const <a class="el" href="classSVF_1_1SVFStmt.html">SVFStmt</a> * &gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1IRGraph.html#ae9547730a27575194977b240647e8ce2">PAGEdgeSet</a></td></tr>
-<tr class="separator:ae9547730a27575194977b240647e8ce2"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:a833015e6a332b0d97b9a7de37dce5fab"><td class="memItemLeft" align="right" valign="top">typedef <a class="el" href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">Map</a>&lt; const <a class="el" href="namespaceSVF.html#a90b263fd2f541eca78135078114cabda">Value</a> *, <a class="el" href="classSVF_1_1IRGraph.html#ae9547730a27575194977b240647e8ce2">PAGEdgeSet</a> &gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1IRGraph.html#a833015e6a332b0d97b9a7de37dce5fab">ValueToEdgeMap</a></td></tr>
-<tr class="separator:a833015e6a332b0d97b9a7de37dce5fab"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a28ea8f85b0923d00364a010c1fd4e416"><td class="memItemLeft" align="right" valign="top">typedef <a class="el" href="namespaceSVF.html#af739db846e47ba6b2fd15eaad31ab7fb">Set</a>&lt; const <a class="el" href="classSVF_1_1SVFStmt.html">SVFStmt</a> * &gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1IRGraph.html#a28ea8f85b0923d00364a010c1fd4e416">SVFStmtSet</a></td></tr>
+<tr class="separator:a28ea8f85b0923d00364a010c1fd4e416"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:addfc2131699f5ecee3a45d65cda46c24"><td class="memItemLeft" align="right" valign="top">typedef <a class="el" href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">Map</a>&lt; const <a class="el" href="namespaceSVF.html#a90b263fd2f541eca78135078114cabda">Value</a> *, <a class="el" href="classSVF_1_1IRGraph.html#a28ea8f85b0923d00364a010c1fd4e416">SVFStmtSet</a> &gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1IRGraph.html#addfc2131699f5ecee3a45d65cda46c24">ValueToEdgeMap</a></td></tr>
+<tr class="separator:addfc2131699f5ecee3a45d65cda46c24"><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; SVFVar, SVFStmt &gt;</a></td></tr>
 <tr class="memitem:a86c50fc6775fd29f88df2cb4646bb211 inherit pub_types_classSVF_1_1GenericGraph"><td class="memItemLeft" align="right" valign="top">typedef <a class="el" href="classSVF_1_1SVFVar.html">SVFVar</a>&#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>
@@ -114,9 +114,9 @@ Public Member Functions</h2></td></tr>
 <tr class="memitem:a41423da58a07b344bc7ca8dd96d48f98"><td class="memItemLeft" align="right" valign="top">bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1IRGraph.html#a41423da58a07b344bc7ca8dd96d48f98">isBuiltFromFile</a> ()</td></tr>
 <tr class="memdesc:a41423da58a07b344bc7ca8dd96d48f98"><td class="mdescLeft">&#160;</td><td class="mdescRight">Whether this <a class="el" href="classSVF_1_1SVFIR.html">SVFIR</a> built from a txt file.  <a href="#a41423da58a07b344bc7ca8dd96d48f98">More...</a><br /></td></tr>
 <tr class="separator:a41423da58a07b344bc7ca8dd96d48f98"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:aa9aca34170ac4308359a4c8c3466dcd0"><td class="memItemLeft" align="right" valign="top">const <a class="el" href="classSVF_1_1IRGraph.html#ae9547730a27575194977b240647e8ce2">PAGEdgeSet</a> &amp;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1IRGraph.html#aa9aca34170ac4308359a4c8c3466dcd0">getValueEdges</a> (const <a class="el" href="namespaceSVF.html#a90b263fd2f541eca78135078114cabda">Value</a> *V)</td></tr>
-<tr class="memdesc:aa9aca34170ac4308359a4c8c3466dcd0"><td class="mdescLeft">&#160;</td><td class="mdescRight">Get all <a class="el" href="classSVF_1_1SVFIR.html">SVFIR</a> Edges that corresponds to an LLVM value.  <a href="#aa9aca34170ac4308359a4c8c3466dcd0">More...</a><br /></td></tr>
-<tr class="separator:aa9aca34170ac4308359a4c8c3466dcd0"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a7710f6795d971d7a8b5683835c4c0fb8"><td class="memItemLeft" align="right" valign="top">const <a class="el" href="classSVF_1_1IRGraph.html#a28ea8f85b0923d00364a010c1fd4e416">SVFStmtSet</a> &amp;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1IRGraph.html#a7710f6795d971d7a8b5683835c4c0fb8">getValueEdges</a> (const <a class="el" href="namespaceSVF.html#a90b263fd2f541eca78135078114cabda">Value</a> *V)</td></tr>
+<tr class="memdesc:a7710f6795d971d7a8b5683835c4c0fb8"><td class="mdescLeft">&#160;</td><td class="mdescRight">Get all <a class="el" href="classSVF_1_1SVFIR.html">SVFIR</a> Edges that corresponds to an LLVM value.  <a href="#a7710f6795d971d7a8b5683835c4c0fb8">More...</a><br /></td></tr>
+<tr class="separator:a7710f6795d971d7a8b5683835c4c0fb8"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:abffddd41cc308b9b3bd5ad4a7f8f1624"><td class="memItemLeft" align="right" valign="top"><a class="el" href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">NodeID</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1IRGraph.html#abffddd41cc308b9b3bd5ad4a7f8f1624">getValueNode</a> (const <a class="el" href="namespaceSVF.html#a90b263fd2f541eca78135078114cabda">Value</a> *V)</td></tr>
 <tr class="separator:abffddd41cc308b9b3bd5ad4a7f8f1624"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:aceb17dfbe137658625e16291127267d1"><td class="memItemLeft" align="right" valign="top">bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1IRGraph.html#aceb17dfbe137658625e16291127267d1">hasValueNode</a> (const <a class="el" href="namespaceSVF.html#a90b263fd2f541eca78135078114cabda">Value</a> *V)</td></tr>
@@ -230,10 +230,10 @@ Protected Member Functions</h2></td></tr>
 </table><table class="memberdecls">
 <tr class="heading"><td colspan="2"><h2 class="groupheader"><a name="pro-attribs"></a>
 Protected Attributes</h2></td></tr>
-<tr class="memitem:a6efd8215ac2484a16a9ab2afbde290b4"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1SVFStmt.html#a47a67e8aaae7059e353841a40b89e936">SVFStmt::PAGKindToEdgeSetMapTy</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1IRGraph.html#a6efd8215ac2484a16a9ab2afbde290b4">PAGEdgeKindToSetMap</a></td></tr>
-<tr class="separator:a6efd8215ac2484a16a9ab2afbde290b4"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:a780372b8241dc1c76e31b0340d5d2401"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1SVFStmt.html#a47a67e8aaae7059e353841a40b89e936">SVFStmt::PAGKindToEdgeSetMapTy</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1IRGraph.html#a780372b8241dc1c76e31b0340d5d2401">PTAPAGEdgeKindToSetMap</a></td></tr>
-<tr class="separator:a780372b8241dc1c76e31b0340d5d2401"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a3db2c4e2823f16d78c86596da284acd1"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1SVFStmt.html#a93fc6c4c991931c78c48500c2db50f66">SVFStmt::KindToSVFStmtMapTy</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1IRGraph.html#a3db2c4e2823f16d78c86596da284acd1">KindToSVFStmtSetMap</a></td></tr>
+<tr class="separator:a3db2c4e2823f16d78c86596da284acd1"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:ae0a9b81717fd834bbd109c4b69aaff9d"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1SVFStmt.html#a93fc6c4c991931c78c48500c2db50f66">SVFStmt::KindToSVFStmtMapTy</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1IRGraph.html#ae0a9b81717fd834bbd109c4b69aaff9d">KindToPTASVFStmtSetMap</a></td></tr>
+<tr class="separator:ae0a9b81717fd834bbd109c4b69aaff9d"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:a7750a2b2a98bb39fc5f67af4e0c12379"><td class="memItemLeft" align="right" valign="top">bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1IRGraph.html#a7750a2b2a98bb39fc5f67af4e0c12379">fromFile</a></td></tr>
 <tr class="memdesc:a7750a2b2a98bb39fc5f67af4e0c12379"><td class="mdescLeft">&#160;</td><td class="mdescRight">Whether the <a class="el" href="classSVF_1_1SVFIR.html">SVFIR</a> is built according to user specified data from a txt file.  <a href="#a7750a2b2a98bb39fc5f67af4e0c12379">More...</a><br /></td></tr>
 <tr class="separator:a7750a2b2a98bb39fc5f67af4e0c12379"><td class="memSeparator" colspan="2">&#160;</td></tr>
@@ -241,7 +241,7 @@ Protected Attributes</h2></td></tr>
 <tr class="separator:a80cf14bf43accb89cb82490b4f173598"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:a9f68ffe75e3d9457092ac2368aa08a27"><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_1IRGraph.html#a9f68ffe75e3d9457092ac2368aa08a27">totalPTAPAGEdge</a></td></tr>
 <tr class="separator:a9f68ffe75e3d9457092ac2368aa08a27"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:a1308b5d3001c6676e8a8be6a8b118704"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1IRGraph.html#a833015e6a332b0d97b9a7de37dce5fab">ValueToEdgeMap</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1IRGraph.html#a1308b5d3001c6676e8a8be6a8b118704">valueToEdgeMap</a></td></tr>
+<tr class="memitem:a1308b5d3001c6676e8a8be6a8b118704"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1IRGraph.html#addfc2131699f5ecee3a45d65cda46c24">ValueToEdgeMap</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1IRGraph.html#a1308b5d3001c6676e8a8be6a8b118704">valueToEdgeMap</a></td></tr>
 <tr class="memdesc:a1308b5d3001c6676e8a8be6a8b118704"><td class="mdescLeft">&#160;</td><td class="mdescRight">Map llvm::Values to all corresponding PAGEdges.  <a href="#a1308b5d3001c6676e8a8be6a8b118704">More...</a><br /></td></tr>
 <tr class="separator:a1308b5d3001c6676e8a8be6a8b118704"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:a679145e7bf818b0a19005dc8e2845fe1"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1SymbolTableInfo.html">SymbolTableInfo</a> *&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1IRGraph.html#a679145e7bf818b0a19005dc8e2845fe1">symInfo</a></td></tr>
@@ -265,14 +265,14 @@ Additional Inherited Members</h2></td></tr>
 <div class="textblock">
 <p class="definition">Definition at line <a class="el" href="IRGraph_8h_source.html#l00048">48</a> of file <a class="el" href="IRGraph_8h_source.html">IRGraph.h</a>.</p>
 </div><h2 class="groupheader">Member Typedef Documentation</h2>
-<a id="ae9547730a27575194977b240647e8ce2"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#ae9547730a27575194977b240647e8ce2">&#9670;&nbsp;</a></span>PAGEdgeSet</h2>
+<a id="a28ea8f85b0923d00364a010c1fd4e416"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#a28ea8f85b0923d00364a010c1fd4e416">&#9670;&nbsp;</a></span>SVFStmtSet</h2>
 
 <div class="memitem">
 <div class="memproto">
       <table class="memname">
         <tr>
-          <td class="memname">typedef <a class="el" href="namespaceSVF.html#af739db846e47ba6b2fd15eaad31ab7fb">Set</a>&lt;const <a class="el" href="classSVF_1_1SVFStmt.html">SVFStmt</a>*&gt; <a class="el" href="classSVF_1_1IRGraph.html#ae9547730a27575194977b240647e8ce2">SVF::IRGraph::PAGEdgeSet</a></td>
+          <td class="memname">typedef <a class="el" href="namespaceSVF.html#af739db846e47ba6b2fd15eaad31ab7fb">Set</a>&lt;const <a class="el" href="classSVF_1_1SVFStmt.html">SVFStmt</a>*&gt; <a class="el" href="classSVF_1_1IRGraph.html#a28ea8f85b0923d00364a010c1fd4e416">SVF::IRGraph::SVFStmtSet</a></td>
         </tr>
       </table>
 </div><div class="memdoc">
@@ -281,14 +281,14 @@ Additional Inherited Members</h2></td></tr>
 
 </div>
 </div>
-<a id="a833015e6a332b0d97b9a7de37dce5fab"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#a833015e6a332b0d97b9a7de37dce5fab">&#9670;&nbsp;</a></span>ValueToEdgeMap</h2>
+<a id="addfc2131699f5ecee3a45d65cda46c24"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#addfc2131699f5ecee3a45d65cda46c24">&#9670;&nbsp;</a></span>ValueToEdgeMap</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;const <a class="el" href="namespaceSVF.html#a90b263fd2f541eca78135078114cabda">Value</a>*,<a class="el" href="classSVF_1_1IRGraph.html#ae9547730a27575194977b240647e8ce2">PAGEdgeSet</a>&gt; <a class="el" href="classSVF_1_1IRGraph.html#a833015e6a332b0d97b9a7de37dce5fab">SVF::IRGraph::ValueToEdgeMap</a></td>
+          <td class="memname">typedef <a class="el" href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">Map</a>&lt;const <a class="el" href="namespaceSVF.html#a90b263fd2f541eca78135078114cabda">Value</a>*,<a class="el" href="classSVF_1_1IRGraph.html#a28ea8f85b0923d00364a010c1fd4e416">SVFStmtSet</a>&gt; <a class="el" href="classSVF_1_1IRGraph.html#addfc2131699f5ecee3a45d65cda46c24">SVF::IRGraph::ValueToEdgeMap</a></td>
         </tr>
       </table>
 </div><div class="memdoc">
@@ -323,12 +323,12 @@ Additional Inherited Members</h2></td></tr>
 </div><div class="memdoc">
 
 <p class="definition">Definition at line <a class="el" href="IRGraph_8h_source.html#l00094">94</a> of file <a class="el" href="IRGraph_8h_source.html">IRGraph.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00094"></a><span class="lineno">   94</span>&#160;                               : <a class="code" href="classSVF_1_1IRGraph.html#a7750a2b2a98bb39fc5f67af4e0c12379">fromFile</a>(buildFromFile), <a class="code" href="classSVF_1_1IRGraph.html#a80cf14bf43accb89cb82490b4f173598">nodeNumAfterPAGBuild</a>(0), <a class="code" href="classSVF_1_1IRGraph.html#a9f68ffe75e3d9457092ac2368aa08a27">totalPTAPAGEdge</a>(0){</div><div class="line"><a name="l00095"></a><span class="lineno">   95</span>&#160;        <a class="code" href="classSVF_1_1IRGraph.html#a679145e7bf818b0a19005dc8e2845fe1">symInfo</a> = <a class="code" href="classSVF_1_1SymbolTableInfo.html#a267169023fc4f8dd66b145f7231fec11">SymbolTableInfo::SymbolInfo</a>();</div><div class="line"><a name="l00096"></a><span class="lineno">   96</span>&#160;        <span class="comment">// insert dummy value if a correct value cannot be found</span></div><div class="line"><a name="l00097"></a><span class="lineno">   97</span>&#160;        <a class="code" href="classSVF_1_1IRGraph.html#a1308b5d3001c6676e8a8be6a8b118704">valueToEdgeMap</a>[<span class="keyword">nullptr</span>] = <a class="code" href="classSVF_1_1IRGraph.html#ae9547730a27575194977b240647e8ce2">PAGEdgeSet</a>();</div><div class="line"><a name="l00098"></a><span class="lineno">   98</span>&#160;    }</div><div class="ttc" id="classSVF_1_1IRGraph_html_ae9547730a27575194977b240647e8ce2"><div class="ttname"><a href="classSVF_1_1IRGraph.html#ae9547730a27575194977b240647e8ce2">SVF::IRGraph::PAGEdgeSet</a></div><div class="ttdeci">Set&lt; const SVFStmt * &gt; PAGEdgeSet</div><div class="ttdef"><b>Definition:</b> <a href="IRGraph_8h_source.html#l00051">IRGraph.h:51</a></div></div>
-<div class="ttc" id="classSVF_1_1IRGraph_html_a679145e7bf818b0a19005dc8e2845fe1"><div class="ttname"><a href="classSVF_1_1IRGraph.html#a679145e7bf818b0a19005dc8e2845fe1">SVF::IRGraph::symInfo</a></div><div class="ttdeci">SymbolTableInfo * symInfo</div><div class="ttdef"><b>Definition:</b> <a href="IRGraph_8h_source.html#l00061">IRGraph.h:61</a></div></div>
+<div class="fragment"><div class="line"><a name="l00094"></a><span class="lineno">   94</span>&#160;                               : <a class="code" href="classSVF_1_1IRGraph.html#a7750a2b2a98bb39fc5f67af4e0c12379">fromFile</a>(buildFromFile), <a class="code" href="classSVF_1_1IRGraph.html#a80cf14bf43accb89cb82490b4f173598">nodeNumAfterPAGBuild</a>(0), <a class="code" href="classSVF_1_1IRGraph.html#a9f68ffe75e3d9457092ac2368aa08a27">totalPTAPAGEdge</a>(0){</div><div class="line"><a name="l00095"></a><span class="lineno">   95</span>&#160;        <a class="code" href="classSVF_1_1IRGraph.html#a679145e7bf818b0a19005dc8e2845fe1">symInfo</a> = <a class="code" href="classSVF_1_1SymbolTableInfo.html#a267169023fc4f8dd66b145f7231fec11">SymbolTableInfo::SymbolInfo</a>();</div><div class="line"><a name="l00096"></a><span class="lineno">   96</span>&#160;        <span class="comment">// insert dummy value if a correct value cannot be found</span></div><div class="line"><a name="l00097"></a><span class="lineno">   97</span>&#160;        <a class="code" href="classSVF_1_1IRGraph.html#a1308b5d3001c6676e8a8be6a8b118704">valueToEdgeMap</a>[<span class="keyword">nullptr</span>] = <a class="code" href="classSVF_1_1IRGraph.html#a28ea8f85b0923d00364a010c1fd4e416">SVFStmtSet</a>();</div><div class="line"><a name="l00098"></a><span class="lineno">   98</span>&#160;    }</div><div class="ttc" id="classSVF_1_1IRGraph_html_a679145e7bf818b0a19005dc8e2845fe1"><div class="ttname"><a href="classSVF_1_1IRGraph.html#a679145e7bf818b0a19005dc8e2845fe1">SVF::IRGraph::symInfo</a></div><div class="ttdeci">SymbolTableInfo * symInfo</div><div class="ttdef"><b>Definition:</b> <a href="IRGraph_8h_source.html#l00061">IRGraph.h:61</a></div></div>
 <div class="ttc" id="classSVF_1_1IRGraph_html_a1308b5d3001c6676e8a8be6a8b118704"><div class="ttname"><a href="classSVF_1_1IRGraph.html#a1308b5d3001c6676e8a8be6a8b118704">SVF::IRGraph::valueToEdgeMap</a></div><div class="ttdeci">ValueToEdgeMap valueToEdgeMap</div><div class="ttdoc">Map llvm::Values to all corresponding PAGEdges. </div><div class="ttdef"><b>Definition:</b> <a href="IRGraph_8h_source.html#l00060">IRGraph.h:60</a></div></div>
 <div class="ttc" id="classSVF_1_1IRGraph_html_a9f68ffe75e3d9457092ac2368aa08a27"><div class="ttname"><a href="classSVF_1_1IRGraph.html#a9f68ffe75e3d9457092ac2368aa08a27">SVF::IRGraph::totalPTAPAGEdge</a></div><div class="ttdeci">u32_t totalPTAPAGEdge</div><div class="ttdef"><b>Definition:</b> <a href="IRGraph_8h_source.html#l00059">IRGraph.h:59</a></div></div>
 <div class="ttc" id="classSVF_1_1IRGraph_html_a80cf14bf43accb89cb82490b4f173598"><div class="ttname"><a href="classSVF_1_1IRGraph.html#a80cf14bf43accb89cb82490b4f173598">SVF::IRGraph::nodeNumAfterPAGBuild</a></div><div class="ttdeci">NodeID nodeNumAfterPAGBuild</div><div class="ttdef"><b>Definition:</b> <a href="IRGraph_8h_source.html#l00058">IRGraph.h:58</a></div></div>
 <div class="ttc" id="classSVF_1_1SymbolTableInfo_html_a267169023fc4f8dd66b145f7231fec11"><div class="ttname"><a href="classSVF_1_1SymbolTableInfo.html#a267169023fc4f8dd66b145f7231fec11">SVF::SymbolTableInfo::SymbolInfo</a></div><div class="ttdeci">static SymbolTableInfo * SymbolInfo()</div><div class="ttdoc">Singleton design here to make sure we only have one instance during any analysis. ...</div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8cpp_source.html#l00059">SymbolTableInfo.cpp:59</a></div></div>
+<div class="ttc" id="classSVF_1_1IRGraph_html_a28ea8f85b0923d00364a010c1fd4e416"><div class="ttname"><a href="classSVF_1_1IRGraph.html#a28ea8f85b0923d00364a010c1fd4e416">SVF::IRGraph::SVFStmtSet</a></div><div class="ttdeci">Set&lt; const SVFStmt * &gt; SVFStmtSet</div><div class="ttdef"><b>Definition:</b> <a href="IRGraph_8h_source.html#l00051">IRGraph.h:51</a></div></div>
 <div class="ttc" id="classSVF_1_1IRGraph_html_a7750a2b2a98bb39fc5f67af4e0c12379"><div class="ttname"><a href="classSVF_1_1IRGraph.html#a7750a2b2a98bb39fc5f67af4e0c12379">SVF::IRGraph::fromFile</a></div><div class="ttdeci">bool fromFile</div><div class="ttdoc">Whether the SVFIR is built according to user specified data from a txt file. </div><div class="ttdef"><b>Definition:</b> <a href="IRGraph_8h_source.html#l00057">IRGraph.h:57</a></div></div>
 </div><!-- fragment -->
 </div>
@@ -923,8 +923,8 @@ Additional Inherited Members</h2></td></tr>
 </div><!-- fragment -->
 </div>
 </div>
-<a id="aa9aca34170ac4308359a4c8c3466dcd0"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#aa9aca34170ac4308359a4c8c3466dcd0">&#9670;&nbsp;</a></span>getValueEdges()</h2>
+<a id="a7710f6795d971d7a8b5683835c4c0fb8"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#a7710f6795d971d7a8b5683835c4c0fb8">&#9670;&nbsp;</a></span>getValueEdges()</h2>
 
 <div class="memitem">
 <div class="memproto">
@@ -933,7 +933,7 @@ Additional Inherited Members</h2></td></tr>
   <td class="mlabels-left">
       <table class="memname">
         <tr>
-          <td class="memname">const <a class="el" href="classSVF_1_1IRGraph.html#ae9547730a27575194977b240647e8ce2">PAGEdgeSet</a>&amp; SVF::IRGraph::getValueEdges </td>
+          <td class="memname">const <a class="el" href="classSVF_1_1IRGraph.html#a28ea8f85b0923d00364a010c1fd4e416">SVFStmtSet</a>&amp; SVF::IRGraph::getValueEdges </td>
           <td>(</td>
           <td class="paramtype">const <a class="el" href="namespaceSVF.html#a90b263fd2f541eca78135078114cabda">Value</a> *&#160;</td>
           <td class="paramname"><em>V</em></td><td>)</td>
@@ -1095,9 +1095,9 @@ Additional Inherited Members</h2></td></tr>
 <p>Return an inter-procedural edge if found </p>
 
 <p class="definition">Definition at line <a class="el" href="IRGraph_8cpp_source.html#l00085">85</a> of file <a class="el" href="IRGraph_8cpp_source.html">IRGraph.cpp</a>.</p>
-<div class="fragment"><div class="line"><a name="l00086"></a><span class="lineno">   86</span>&#160;{</div><div class="line"><a name="l00087"></a><span class="lineno">   87</span>&#160;    <a class="code" href="classSVF_1_1SVFStmt.html">SVFStmt</a> edge(src,dst,<a class="code" href="classSVF_1_1SVFStmt.html#a4513c6e66b46c36219ba6d7403f3eb00">SVFStmt::makeEdgeFlagWithCallInst</a>(kind,callInst));</div><div class="line"><a name="l00088"></a><span class="lineno">   88</span>&#160;    SVFStmt::PAGEdgeSetTy::iterator it = <a class="code" href="classSVF_1_1IRGraph.html#a6efd8215ac2484a16a9ab2afbde290b4">PAGEdgeKindToSetMap</a>[kind].find(&amp;edge);</div><div class="line"><a name="l00089"></a><span class="lineno">   89</span>&#160;    <span class="keywordflow">if</span> (it != <a class="code" href="classSVF_1_1IRGraph.html#a6efd8215ac2484a16a9ab2afbde290b4">PAGEdgeKindToSetMap</a>[kind].<a class="code" href="classSVF_1_1GenericGraph.html#a4bef15157423cef48dc7333a803cd27d">end</a>())</div><div class="line"><a name="l00090"></a><span class="lineno">   90</span>&#160;    {</div><div class="line"><a name="l00091"></a><span class="lineno">   91</span>&#160;        <span class="keywordflow">return</span> *it;</div><div class="line"><a name="l00092"></a><span class="lineno">   92</span>&#160;    }</div><div class="line"><a name="l00093"></a><span class="lineno">   93</span>&#160;    <span class="keywordflow">return</span> <span class="keyword">nullptr</span>;</div><div class="line"><a name="l00094"></a><span class="lineno">   94</span>&#160;}</div><div class="ttc" id="classSVF_1_1SVFStmt_html_a4513c6e66b46c36219ba6d7403f3eb00"><div class="ttname"><a href="classSVF_1_1SVFStmt.html#a4513c6e66b46c36219ba6d7403f3eb00">SVF::SVFStmt::makeEdgeFlagWithCallInst</a></div><div class="ttdeci">static GEdgeFlag makeEdgeFlagWithCallInst(GEdgeKind k, const ICFGNode *cs)</div><div class="ttdoc">Compute the unique edgeFlag value from edge kind and call site Instruction. </div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00148">SVFStatements.h:148</a></div></div>
+<div class="fragment"><div class="line"><a name="l00086"></a><span class="lineno">   86</span>&#160;{</div><div class="line"><a name="l00087"></a><span class="lineno">   87</span>&#160;    <a class="code" href="classSVF_1_1SVFStmt.html">SVFStmt</a> edge(src,dst,<a class="code" href="classSVF_1_1SVFStmt.html#a4513c6e66b46c36219ba6d7403f3eb00">SVFStmt::makeEdgeFlagWithCallInst</a>(kind,callInst));</div><div class="line"><a name="l00088"></a><span class="lineno">   88</span>&#160;    SVFStmt::SVFStmtSetTy::iterator it = <a class="code" href="classSVF_1_1IRGraph.html#a3db2c4e2823f16d78c86596da284acd1">KindToSVFStmtSetMap</a>[kind].find(&amp;edge);</div><div class="line"><a name="l00089"></a><span class="lineno">   89</span>&#160;    <span class="keywordflow">if</span> (it != <a class="code" href="classSVF_1_1IRGraph.html#a3db2c4e2823f16d78c86596da284acd1">KindToSVFStmtSetMap</a>[kind].<a class="code" href="classSVF_1_1GenericGraph.html#a4bef15157423cef48dc7333a803cd27d">end</a>())</div><div class="line"><a name="l00090"></a><span class="lineno">   90</span>&#160;    {</div><div class="line"><a name="l00091"></a><span class="lineno">   91</span>&#160;        <span class="keywordflow">return</span> *it;</div><div class="line"><a name="l00092"></a><span class="lineno">   92</span>&#160;    }</div><div class="line"><a name="l00093"></a><span class="lineno">   93</span>&#160;    <span class="keywordflow">return</span> <span class="keyword">nullptr</span>;</div><div class="line"><a name="l00094"></a><span class="lineno">   94</span>&#160;}</div><div class="ttc" id="classSVF_1_1SVFStmt_html_a4513c6e66b46c36219ba6d7403f3eb00"><div class="ttname"><a href="classSVF_1_1SVFStmt.html#a4513c6e66b46c36219ba6d7403f3eb00">SVF::SVFStmt::makeEdgeFlagWithCallInst</a></div><div class="ttdeci">static GEdgeFlag makeEdgeFlagWithCallInst(GEdgeKind k, const ICFGNode *cs)</div><div class="ttdoc">Compute the unique edgeFlag value from edge kind and call site Instruction. </div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00148">SVFStatements.h:148</a></div></div>
 <div class="ttc" id="classSVF_1_1GenericGraph_html_a4bef15157423cef48dc7333a803cd27d"><div class="ttname"><a href="classSVF_1_1GenericGraph.html#a4bef15157423cef48dc7333a803cd27d">SVF::GenericGraph&lt; SVFVar, SVFStmt &gt;::end</a></div><div class="ttdeci">iterator end()</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00365">GenericGraph.h:365</a></div></div>
-<div class="ttc" id="classSVF_1_1IRGraph_html_a6efd8215ac2484a16a9ab2afbde290b4"><div class="ttname"><a href="classSVF_1_1IRGraph.html#a6efd8215ac2484a16a9ab2afbde290b4">SVF::IRGraph::PAGEdgeKindToSetMap</a></div><div class="ttdeci">SVFStmt::PAGKindToEdgeSetMapTy PAGEdgeKindToSetMap</div><div class="ttdef"><b>Definition:</b> <a href="IRGraph_8h_source.html#l00055">IRGraph.h:55</a></div></div>
+<div class="ttc" id="classSVF_1_1IRGraph_html_a3db2c4e2823f16d78c86596da284acd1"><div class="ttname"><a href="classSVF_1_1IRGraph.html#a3db2c4e2823f16d78c86596da284acd1">SVF::IRGraph::KindToSVFStmtSetMap</a></div><div class="ttdeci">SVFStmt::KindToSVFStmtMapTy KindToSVFStmtSetMap</div><div class="ttdef"><b>Definition:</b> <a href="IRGraph_8h_source.html#l00055">IRGraph.h:55</a></div></div>
 <div class="ttc" id="classSVF_1_1SVFStmt_html"><div class="ttname"><a href="classSVF_1_1SVFStmt.html">SVF::SVFStmt</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00047">SVFStatements.h:47</a></div></div>
 </div><!-- fragment -->
 </div>
@@ -1152,9 +1152,9 @@ Additional Inherited Members</h2></td></tr>
 <p>Return an <a class="el" href="classSVF_1_1MultiOpndStmt.html">MultiOpndStmt</a> if found </p>
 
 <p class="definition">Definition at line <a class="el" href="IRGraph_8cpp_source.html#l00071">71</a> of file <a class="el" href="IRGraph_8cpp_source.html">IRGraph.cpp</a>.</p>
-<div class="fragment"><div class="line"><a name="l00072"></a><span class="lineno">   72</span>&#160;{</div><div class="line"><a name="l00073"></a><span class="lineno">   73</span>&#160;    <a class="code" href="classSVF_1_1SVFStmt.html">SVFStmt</a> edge(src,op1,<a class="code" href="classSVF_1_1SVFStmt.html#a3b20523aed66ac8943d7d00ff777137b">SVFStmt::makeEdgeFlagWithAddionalOpnd</a>(kind,op2));</div><div class="line"><a name="l00074"></a><span class="lineno">   74</span>&#160;    SVFStmt::PAGEdgeSetTy::iterator it = <a class="code" href="classSVF_1_1IRGraph.html#a6efd8215ac2484a16a9ab2afbde290b4">PAGEdgeKindToSetMap</a>[kind].find(&amp;edge);</div><div class="line"><a name="l00075"></a><span class="lineno">   75</span>&#160;    <span class="keywordflow">if</span> (it != <a class="code" href="classSVF_1_1IRGraph.html#a6efd8215ac2484a16a9ab2afbde290b4">PAGEdgeKindToSetMap</a>[kind].<a class="code" href="classSVF_1_1GenericGraph.html#a4bef15157423cef48dc7333a803cd27d">end</a>())</div><div class="line"><a name="l00076"></a><span class="lineno">   76</span>&#160;    {</div><div class="line"><a name="l00077"></a><span class="lineno">   77</span>&#160;        <span class="keywordflow">return</span> *it;</div><div class="line"><a name="l00078"></a><span class="lineno">   78</span>&#160;    }</div><div class="line"><a name="l00079"></a><span class="lineno">   79</span>&#160;    <span class="keywordflow">return</span> <span class="keyword">nullptr</span>;</div><div class="line"><a name="l00080"></a><span class="lineno">   80</span>&#160;}</div><div class="ttc" id="classSVF_1_1GenericGraph_html_a4bef15157423cef48dc7333a803cd27d"><div class="ttname"><a href="classSVF_1_1GenericGraph.html#a4bef15157423cef48dc7333a803cd27d">SVF::GenericGraph&lt; SVFVar, SVFStmt &gt;::end</a></div><div class="ttdeci">iterator end()</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00365">GenericGraph.h:365</a></div></div>
+<div class="fragment"><div class="line"><a name="l00072"></a><span class="lineno">   72</span>&#160;{</div><div class="line"><a name="l00073"></a><span class="lineno">   73</span>&#160;    <a class="code" href="classSVF_1_1SVFStmt.html">SVFStmt</a> edge(src,op1,<a class="code" href="classSVF_1_1SVFStmt.html#a3b20523aed66ac8943d7d00ff777137b">SVFStmt::makeEdgeFlagWithAddionalOpnd</a>(kind,op2));</div><div class="line"><a name="l00074"></a><span class="lineno">   74</span>&#160;    SVFStmt::SVFStmtSetTy::iterator it = <a class="code" href="classSVF_1_1IRGraph.html#a3db2c4e2823f16d78c86596da284acd1">KindToSVFStmtSetMap</a>[kind].find(&amp;edge);</div><div class="line"><a name="l00075"></a><span class="lineno">   75</span>&#160;    <span class="keywordflow">if</span> (it != <a class="code" href="classSVF_1_1IRGraph.html#a3db2c4e2823f16d78c86596da284acd1">KindToSVFStmtSetMap</a>[kind].<a class="code" href="classSVF_1_1GenericGraph.html#a4bef15157423cef48dc7333a803cd27d">end</a>())</div><div class="line"><a name="l00076"></a><span class="lineno">   76</span>&#160;    {</div><div class="line"><a name="l00077"></a><span class="lineno">   77</span>&#160;        <span class="keywordflow">return</span> *it;</div><div class="line"><a name="l00078"></a><span class="lineno">   78</span>&#160;    }</div><div class="line"><a name="l00079"></a><span class="lineno">   79</span>&#160;    <span class="keywordflow">return</span> <span class="keyword">nullptr</span>;</div><div class="line"><a name="l00080"></a><span class="lineno">   80</span>&#160;}</div><div class="ttc" id="classSVF_1_1GenericGraph_html_a4bef15157423cef48dc7333a803cd27d"><div class="ttname"><a href="classSVF_1_1GenericGraph.html#a4bef15157423cef48dc7333a803cd27d">SVF::GenericGraph&lt; SVFVar, SVFStmt &gt;::end</a></div><div class="ttdeci">iterator end()</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00365">GenericGraph.h:365</a></div></div>
 <div class="ttc" id="classSVF_1_1SVFStmt_html_a3b20523aed66ac8943d7d00ff777137b"><div class="ttname"><a href="classSVF_1_1SVFStmt.html#a3b20523aed66ac8943d7d00ff777137b">SVF::SVFStmt::makeEdgeFlagWithAddionalOpnd</a></div><div class="ttdeci">static GEdgeFlag makeEdgeFlagWithAddionalOpnd(GEdgeKind k, const SVFVar *var)</div><div class="ttdoc">Compute the unique edgeFlag value from edge kind and second variable operand for MultiOpndStmt. </div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00139">SVFStatements.h:139</a></div></div>
-<div class="ttc" id="classSVF_1_1IRGraph_html_a6efd8215ac2484a16a9ab2afbde290b4"><div class="ttname"><a href="classSVF_1_1IRGraph.html#a6efd8215ac2484a16a9ab2afbde290b4">SVF::IRGraph::PAGEdgeKindToSetMap</a></div><div class="ttdeci">SVFStmt::PAGKindToEdgeSetMapTy PAGEdgeKindToSetMap</div><div class="ttdef"><b>Definition:</b> <a href="IRGraph_8h_source.html#l00055">IRGraph.h:55</a></div></div>
+<div class="ttc" id="classSVF_1_1IRGraph_html_a3db2c4e2823f16d78c86596da284acd1"><div class="ttname"><a href="classSVF_1_1IRGraph.html#a3db2c4e2823f16d78c86596da284acd1">SVF::IRGraph::KindToSVFStmtSetMap</a></div><div class="ttdeci">SVFStmt::KindToSVFStmtMapTy KindToSVFStmtSetMap</div><div class="ttdef"><b>Definition:</b> <a href="IRGraph_8h_source.html#l00055">IRGraph.h:55</a></div></div>
 <div class="ttc" id="classSVF_1_1SVFStmt_html"><div class="ttname"><a href="classSVF_1_1SVFStmt.html">SVF::SVFStmt</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00047">SVFStatements.h:47</a></div></div>
 </div><!-- fragment -->
 </div>
@@ -1201,8 +1201,8 @@ Additional Inherited Members</h2></td></tr>
 <p>Return true if it is an intra-procedural edge </p>
 
 <p class="definition">Definition at line <a class="el" href="IRGraph_8cpp_source.html#l00057">57</a> of file <a class="el" href="IRGraph_8cpp_source.html">IRGraph.cpp</a>.</p>
-<div class="fragment"><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;    <a class="code" href="classSVF_1_1SVFStmt.html">SVFStmt</a> edge(src,dst,kind);</div><div class="line"><a name="l00060"></a><span class="lineno">   60</span>&#160;    SVFStmt::PAGEdgeSetTy::iterator it = <a class="code" href="classSVF_1_1IRGraph.html#a6efd8215ac2484a16a9ab2afbde290b4">PAGEdgeKindToSetMap</a>[kind].find(&amp;edge);</div><div class="line"><a name="l00061"></a><span class="lineno">   61</span>&#160;    <span class="keywordflow">if</span> (it != <a class="code" href="classSVF_1_1IRGraph.html#a6efd8215ac2484a16a9ab2afbde290b4">PAGEdgeKindToSetMap</a>[kind].<a class="code" href="classSVF_1_1GenericGraph.html#a4bef15157423cef48dc7333a803cd27d">end</a>())</div><div class="line"><a name="l00062"></a><span class="lineno">   62</span>&#160;    {</div><div class="line"><a name="l00063"></a><span class="lineno">   63</span>&#160;        <span class="keywordflow">return</span> *it;</div><div class="line"><a name="l00064"></a><span class="lineno">   64</span>&#160;    }</div><div class="line"><a name="l00065"></a><span class="lineno">   65</span>&#160;    <span class="keywordflow">return</span> <span class="keyword">nullptr</span>;</div><div class="line"><a name="l00066"></a><span class="lineno">   66</span>&#160;}</div><div class="ttc" id="classSVF_1_1GenericGraph_html_a4bef15157423cef48dc7333a803cd27d"><div class="ttname"><a href="classSVF_1_1GenericGraph.html#a4bef15157423cef48dc7333a803cd27d">SVF::GenericGraph&lt; SVFVar, SVFStmt &gt;::end</a></div><div class="ttdeci">iterator end()</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00365">GenericGraph.h:365</a></div></div>
-<div class="ttc" id="classSVF_1_1IRGraph_html_a6efd8215ac2484a16a9ab2afbde290b4"><div class="ttname"><a href="classSVF_1_1IRGraph.html#a6efd8215ac2484a16a9ab2afbde290b4">SVF::IRGraph::PAGEdgeKindToSetMap</a></div><div class="ttdeci">SVFStmt::PAGKindToEdgeSetMapTy PAGEdgeKindToSetMap</div><div class="ttdef"><b>Definition:</b> <a href="IRGraph_8h_source.html#l00055">IRGraph.h:55</a></div></div>
+<div class="fragment"><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;    <a class="code" href="classSVF_1_1SVFStmt.html">SVFStmt</a> edge(src,dst,kind);</div><div class="line"><a name="l00060"></a><span class="lineno">   60</span>&#160;    SVFStmt::SVFStmtSetTy::iterator it = <a class="code" href="classSVF_1_1IRGraph.html#a3db2c4e2823f16d78c86596da284acd1">KindToSVFStmtSetMap</a>[kind].find(&amp;edge);</div><div class="line"><a name="l00061"></a><span class="lineno">   61</span>&#160;    <span class="keywordflow">if</span> (it != <a class="code" href="classSVF_1_1IRGraph.html#a3db2c4e2823f16d78c86596da284acd1">KindToSVFStmtSetMap</a>[kind].<a class="code" href="classSVF_1_1GenericGraph.html#a4bef15157423cef48dc7333a803cd27d">end</a>())</div><div class="line"><a name="l00062"></a><span class="lineno">   62</span>&#160;    {</div><div class="line"><a name="l00063"></a><span class="lineno">   63</span>&#160;        <span class="keywordflow">return</span> *it;</div><div class="line"><a name="l00064"></a><span class="lineno">   64</span>&#160;    }</div><div class="line"><a name="l00065"></a><span class="lineno">   65</span>&#160;    <span class="keywordflow">return</span> <span class="keyword">nullptr</span>;</div><div class="line"><a name="l00066"></a><span class="lineno">   66</span>&#160;}</div><div class="ttc" id="classSVF_1_1GenericGraph_html_a4bef15157423cef48dc7333a803cd27d"><div class="ttname"><a href="classSVF_1_1GenericGraph.html#a4bef15157423cef48dc7333a803cd27d">SVF::GenericGraph&lt; SVFVar, SVFStmt &gt;::end</a></div><div class="ttdeci">iterator end()</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00365">GenericGraph.h:365</a></div></div>
+<div class="ttc" id="classSVF_1_1IRGraph_html_a3db2c4e2823f16d78c86596da284acd1"><div class="ttname"><a href="classSVF_1_1IRGraph.html#a3db2c4e2823f16d78c86596da284acd1">SVF::IRGraph::KindToSVFStmtSetMap</a></div><div class="ttdeci">SVFStmt::KindToSVFStmtMapTy KindToSVFStmtSetMap</div><div class="ttdef"><b>Definition:</b> <a href="IRGraph_8h_source.html#l00055">IRGraph.h:55</a></div></div>
 <div class="ttc" id="classSVF_1_1SVFStmt_html"><div class="ttname"><a href="classSVF_1_1SVFStmt.html">SVF::SVFStmt</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00047">SVFStatements.h:47</a></div></div>
 </div><!-- fragment -->
 </div>
@@ -1304,8 +1304,8 @@ Additional Inherited Members</h2></td></tr>
 <p>Map a value to a set of edges. </p>
 
 <p class="definition">Definition at line <a class="el" href="IRGraph_8h_source.html#l00081">81</a> of file <a class="el" href="IRGraph_8h_source.html">IRGraph.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00082"></a><span class="lineno">   82</span>&#160;    {</div><div class="line"><a name="l00083"></a><span class="lineno">   83</span>&#160;        <span class="keyword">auto</span> inserted = <a class="code" href="classSVF_1_1IRGraph.html#a1308b5d3001c6676e8a8be6a8b118704">valueToEdgeMap</a>.emplace(V, <a class="code" href="classSVF_1_1IRGraph.html#ae9547730a27575194977b240647e8ce2">PAGEdgeSet</a>{edge});</div><div class="line"><a name="l00084"></a><span class="lineno">   84</span>&#160;        <span class="keywordflow">if</span> (!inserted.second) {</div><div class="line"><a name="l00085"></a><span class="lineno">   85</span>&#160;            inserted.first-&gt;second.emplace(edge);</div><div class="line"><a name="l00086"></a><span class="lineno">   86</span>&#160;        }</div><div class="line"><a name="l00087"></a><span class="lineno">   87</span>&#160;    }</div><div class="ttc" id="classSVF_1_1IRGraph_html_ae9547730a27575194977b240647e8ce2"><div class="ttname"><a href="classSVF_1_1IRGraph.html#ae9547730a27575194977b240647e8ce2">SVF::IRGraph::PAGEdgeSet</a></div><div class="ttdeci">Set&lt; const SVFStmt * &gt; PAGEdgeSet</div><div class="ttdef"><b>Definition:</b> <a href="IRGraph_8h_source.html#l00051">IRGraph.h:51</a></div></div>
-<div class="ttc" id="classSVF_1_1IRGraph_html_a1308b5d3001c6676e8a8be6a8b118704"><div class="ttname"><a href="classSVF_1_1IRGraph.html#a1308b5d3001c6676e8a8be6a8b118704">SVF::IRGraph::valueToEdgeMap</a></div><div class="ttdeci">ValueToEdgeMap valueToEdgeMap</div><div class="ttdoc">Map llvm::Values to all corresponding PAGEdges. </div><div class="ttdef"><b>Definition:</b> <a href="IRGraph_8h_source.html#l00060">IRGraph.h:60</a></div></div>
+<div class="fragment"><div class="line"><a name="l00082"></a><span class="lineno">   82</span>&#160;    {</div><div class="line"><a name="l00083"></a><span class="lineno">   83</span>&#160;        <span class="keyword">auto</span> inserted = <a class="code" href="classSVF_1_1IRGraph.html#a1308b5d3001c6676e8a8be6a8b118704">valueToEdgeMap</a>.emplace(V, <a class="code" href="classSVF_1_1IRGraph.html#a28ea8f85b0923d00364a010c1fd4e416">SVFStmtSet</a>{edge});</div><div class="line"><a name="l00084"></a><span class="lineno">   84</span>&#160;        <span class="keywordflow">if</span> (!inserted.second) {</div><div class="line"><a name="l00085"></a><span class="lineno">   85</span>&#160;            inserted.first-&gt;second.emplace(edge);</div><div class="line"><a name="l00086"></a><span class="lineno">   86</span>&#160;        }</div><div class="line"><a name="l00087"></a><span class="lineno">   87</span>&#160;    }</div><div class="ttc" id="classSVF_1_1IRGraph_html_a1308b5d3001c6676e8a8be6a8b118704"><div class="ttname"><a href="classSVF_1_1IRGraph.html#a1308b5d3001c6676e8a8be6a8b118704">SVF::IRGraph::valueToEdgeMap</a></div><div class="ttdeci">ValueToEdgeMap valueToEdgeMap</div><div class="ttdoc">Map llvm::Values to all corresponding PAGEdges. </div><div class="ttdef"><b>Definition:</b> <a href="IRGraph_8h_source.html#l00060">IRGraph.h:60</a></div></div>
+<div class="ttc" id="classSVF_1_1IRGraph_html_a28ea8f85b0923d00364a010c1fd4e416"><div class="ttname"><a href="classSVF_1_1IRGraph.html#a28ea8f85b0923d00364a010c1fd4e416">SVF::IRGraph::SVFStmtSet</a></div><div class="ttdeci">Set&lt; const SVFStmt * &gt; SVFStmtSet</div><div class="ttdef"><b>Definition:</b> <a href="IRGraph_8h_source.html#l00051">IRGraph.h:51</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -1387,8 +1387,8 @@ Additional Inherited Members</h2></td></tr>
 
 </div>
 </div>
-<a id="a80cf14bf43accb89cb82490b4f173598"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#a80cf14bf43accb89cb82490b4f173598">&#9670;&nbsp;</a></span>nodeNumAfterPAGBuild</h2>
+<a id="ae0a9b81717fd834bbd109c4b69aaff9d"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#ae0a9b81717fd834bbd109c4b69aaff9d">&#9670;&nbsp;</a></span>KindToPTASVFStmtSetMap</h2>
 
 <div class="memitem">
 <div class="memproto">
@@ -1397,7 +1397,7 @@ Additional Inherited Members</h2></td></tr>
   <td class="mlabels-left">
       <table class="memname">
         <tr>
-          <td class="memname"><a class="el" href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">NodeID</a> SVF::IRGraph::nodeNumAfterPAGBuild</td>
+          <td class="memname"><a class="el" href="classSVF_1_1SVFStmt.html#a93fc6c4c991931c78c48500c2db50f66">SVFStmt::KindToSVFStmtMapTy</a> SVF::IRGraph::KindToPTASVFStmtSetMap</td>
         </tr>
       </table>
   </td>
@@ -1407,12 +1407,12 @@ Additional Inherited Members</h2></td></tr>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="IRGraph_8h_source.html#l00058">58</a> of file <a class="el" href="IRGraph_8h_source.html">IRGraph.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="IRGraph_8h_source.html#l00056">56</a> of file <a class="el" href="IRGraph_8h_source.html">IRGraph.h</a>.</p>
 
 </div>
 </div>
-<a id="a6efd8215ac2484a16a9ab2afbde290b4"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#a6efd8215ac2484a16a9ab2afbde290b4">&#9670;&nbsp;</a></span>PAGEdgeKindToSetMap</h2>
+<a id="a3db2c4e2823f16d78c86596da284acd1"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#a3db2c4e2823f16d78c86596da284acd1">&#9670;&nbsp;</a></span>KindToSVFStmtSetMap</h2>
 
 <div class="memitem">
 <div class="memproto">
@@ -1421,7 +1421,7 @@ Additional Inherited Members</h2></td></tr>
   <td class="mlabels-left">
       <table class="memname">
         <tr>
-          <td class="memname"><a class="el" href="classSVF_1_1SVFStmt.html#a47a67e8aaae7059e353841a40b89e936">SVFStmt::PAGKindToEdgeSetMapTy</a> SVF::IRGraph::PAGEdgeKindToSetMap</td>
+          <td class="memname"><a class="el" href="classSVF_1_1SVFStmt.html#a93fc6c4c991931c78c48500c2db50f66">SVFStmt::KindToSVFStmtMapTy</a> SVF::IRGraph::KindToSVFStmtSetMap</td>
         </tr>
       </table>
   </td>
@@ -1435,8 +1435,8 @@ Additional Inherited Members</h2></td></tr>
 
 </div>
 </div>
-<a id="a780372b8241dc1c76e31b0340d5d2401"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#a780372b8241dc1c76e31b0340d5d2401">&#9670;&nbsp;</a></span>PTAPAGEdgeKindToSetMap</h2>
+<a id="a80cf14bf43accb89cb82490b4f173598"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#a80cf14bf43accb89cb82490b4f173598">&#9670;&nbsp;</a></span>nodeNumAfterPAGBuild</h2>
 
 <div class="memitem">
 <div class="memproto">
@@ -1445,7 +1445,7 @@ Additional Inherited Members</h2></td></tr>
   <td class="mlabels-left">
       <table class="memname">
         <tr>
-          <td class="memname"><a class="el" href="classSVF_1_1SVFStmt.html#a47a67e8aaae7059e353841a40b89e936">SVFStmt::PAGKindToEdgeSetMapTy</a> SVF::IRGraph::PTAPAGEdgeKindToSetMap</td>
+          <td class="memname"><a class="el" href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">NodeID</a> SVF::IRGraph::nodeNumAfterPAGBuild</td>
         </tr>
       </table>
   </td>
@@ -1455,7 +1455,7 @@ Additional Inherited Members</h2></td></tr>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="IRGraph_8h_source.html#l00056">56</a> of file <a class="el" href="IRGraph_8h_source.html">IRGraph.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="IRGraph_8h_source.html#l00058">58</a> of file <a class="el" href="IRGraph_8h_source.html">IRGraph.h</a>.</p>
 
 </div>
 </div>
@@ -1517,7 +1517,7 @@ Additional Inherited Members</h2></td></tr>
   <td class="mlabels-left">
       <table class="memname">
         <tr>
-          <td class="memname"><a class="el" href="classSVF_1_1IRGraph.html#a833015e6a332b0d97b9a7de37dce5fab">ValueToEdgeMap</a> SVF::IRGraph::valueToEdgeMap</td>
+          <td class="memname"><a class="el" href="classSVF_1_1IRGraph.html#addfc2131699f5ecee3a45d65cda46c24">ValueToEdgeMap</a> SVF::IRGraph::valueToEdgeMap</td>
         </tr>
       </table>
   </td>

package/SVF-doxygen/html/html/classSVF_1_1InterBlockNode-members.html

@@ -102,7 +102,7 @@ $(function() {
   <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#afc8b5f86d7795b6a0dfc0687d942d79b">getInEdges</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
   <tr><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#a391e996d695b114530120723da1d003e">getNodeKind</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
   <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#a2d9cd758d6f8c5189d9b90b74f43e009">getOutEdges</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
-  <tr><td class="entry"><a class="el" href="classSVF_1_1ICFGNode.html#a9d195144cc118279695880625615d8ad">getPAGEdges</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1ICFGNode.html">SVF::ICFGNode</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1ICFGNode.html#a23707d08fd5cfcb5db72ff4ef0b864ff">getPAGEdges</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1ICFGNode.html">SVF::ICFGNode</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
   <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ICFGNode.html#abcc53637a634f7ec92b9c7861b941601">getVFGNodes</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1ICFGNode.html">SVF::ICFGNode</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
   <tr><td class="entry"><a class="el" href="classSVF_1_1ICFGNode.html#a74f598c1c86b023680bb2685aa8ab376ac93cf90864e69a21cbaefccbd48b8648">GlobalBlock</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1ICFGNode.html">SVF::ICFGNode</a></td><td class="entry"></td></tr>
   <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#a363b90ab02cce2ebc3ede8e5b7cc141c">GNodeK</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a></td><td class="entry"></td></tr>
@@ -124,11 +124,11 @@ $(function() {
   <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#a50219c203fb5a8a44fe22428699f26e7">OutEdgeBegin</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
   <tr><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#a19a3366fd8a58290d0c740c46c3dcb3d">OutEdgeEnd</a>()</td><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
   <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#ace88b6c7561f61f747ff08f61e2c18bc">OutEdgeEnd</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
-  <tr><td class="entry"><a class="el" href="classSVF_1_1ICFGNode.html#a28d8761acb346956fafbaf98394de1b6">PAGEdgeList</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1ICFGNode.html">SVF::ICFGNode</a></td><td class="entry"></td></tr>
-  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ICFGNode.html#ab4c08610a97e122bac840e602cbb1cbb">pagEdges</a></td><td class="entry"><a class="el" href="classSVF_1_1ICFGNode.html">SVF::ICFGNode</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
-  <tr><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#a56dff05dc2b3c5664d3b8fc1c6c927d5">removeIncomingEdge</a>(EdgeType *edge)</td><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
-  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#a7c6192cb176bda3fad1819711302e468">removeOutgoingEdge</a>(EdgeType *edge)</td><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
-  <tr><td class="entry"><a class="el" href="classSVF_1_1ICFGNode.html#a2c39225f7b5ca0c392ea7afc3cec1fdb">RetPESet</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1ICFGNode.html">SVF::ICFGNode</a></td><td class="entry"></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1ICFGNode.html#a12ce3aabc1bd3bae7caa9be9ec0a6a71">pagEdges</a></td><td class="entry"><a class="el" href="classSVF_1_1ICFGNode.html">SVF::ICFGNode</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#a56dff05dc2b3c5664d3b8fc1c6c927d5">removeIncomingEdge</a>(EdgeType *edge)</td><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#a7c6192cb176bda3fad1819711302e468">removeOutgoingEdge</a>(EdgeType *edge)</td><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ICFGNode.html#a2c39225f7b5ca0c392ea7afc3cec1fdb">RetPESet</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1ICFGNode.html">SVF::ICFGNode</a></td><td class="entry"></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1ICFGNode.html#aa84a3724426f08a0e31ecdbc99114072">SVFStmtList</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1ICFGNode.html">SVF::ICFGNode</a></td><td class="entry"></td></tr>
   <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ICFGNode.html#af1b6fd9ea200ab0ff51d48a4872c921a">toString</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1ICFGNode.html">SVF::ICFGNode</a></td><td class="entry"><span class="mlabel">virtual</span></td></tr>
   <tr><td class="entry"><a class="el" href="classSVF_1_1ICFGNode.html#a53a4a33b8ea241f46b37111905a48169">VFGNodeList</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1ICFGNode.html">SVF::ICFGNode</a></td><td class="entry"></td></tr>
   <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ICFGNode.html#a57f9be13188a6cd53b30489f791e40d3">VFGNodes</a></td><td class="entry"><a class="el" href="classSVF_1_1ICFGNode.html">SVF::ICFGNode</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>

package/SVF-doxygen/html/html/classSVF_1_1InterBlockNode.html

@@ -111,8 +111,8 @@ Public Member Functions</h2></td></tr>
 <tr class="separator:abcc53637a634f7ec92b9c7861b941601 inherit pub_methods_classSVF_1_1ICFGNode"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:a820364ef4158270478e9c09e11b6c2ea inherit pub_methods_classSVF_1_1ICFGNode"><td class="memItemLeft" align="right" valign="top">void&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1ICFGNode.html#a820364ef4158270478e9c09e11b6c2ea">addPAGEdge</a> (const <a class="el" href="classSVF_1_1SVFStmt.html">SVFStmt</a> *edge)</td></tr>
 <tr class="separator:a820364ef4158270478e9c09e11b6c2ea inherit pub_methods_classSVF_1_1ICFGNode"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:a9d195144cc118279695880625615d8ad inherit pub_methods_classSVF_1_1ICFGNode"><td class="memItemLeft" align="right" valign="top">const <a class="el" href="classSVF_1_1ICFGNode.html#a28d8761acb346956fafbaf98394de1b6">PAGEdgeList</a> &amp;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1ICFGNode.html#a9d195144cc118279695880625615d8ad">getPAGEdges</a> () const</td></tr>
-<tr class="separator:a9d195144cc118279695880625615d8ad inherit pub_methods_classSVF_1_1ICFGNode"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a23707d08fd5cfcb5db72ff4ef0b864ff inherit pub_methods_classSVF_1_1ICFGNode"><td class="memItemLeft" align="right" valign="top">const <a class="el" href="classSVF_1_1ICFGNode.html#aa84a3724426f08a0e31ecdbc99114072">SVFStmtList</a> &amp;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1ICFGNode.html#a23707d08fd5cfcb5db72ff4ef0b864ff">getPAGEdges</a> () const</td></tr>
+<tr class="separator:a23707d08fd5cfcb5db72ff4ef0b864ff inherit pub_methods_classSVF_1_1ICFGNode"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="inherit_header pub_methods_classSVF_1_1GenericNode"><td colspan="2" onclick="javascript:toggleInherit('pub_methods_classSVF_1_1GenericNode')"><img src="closed.png" alt="-"/>&#160;Public Member Functions inherited from <a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a></td></tr>
 <tr class="memitem:acdca5baae3e9e4208a60322fec9c9d3f inherit pub_methods_classSVF_1_1GenericNode"><td class="memItemLeft" align="right" valign="top">&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GenericNode.html#acdca5baae3e9e4208a60322fec9c9d3f">GenericNode</a> (<a class="el" href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">NodeID</a> i, <a class="el" href="classSVF_1_1GenericNode.html#a363b90ab02cce2ebc3ede8e5b7cc141c">GNodeK</a> k)</td></tr>
 <tr class="memdesc:acdca5baae3e9e4208a60322fec9c9d3f inherit pub_methods_classSVF_1_1GenericNode"><td class="mdescLeft">&#160;</td><td class="mdescRight">Constructor.  <a href="classSVF_1_1GenericNode.html#acdca5baae3e9e4208a60322fec9c9d3f">More...</a><br /></td></tr>
@@ -219,8 +219,8 @@ Additional Inherited Members</h2></td></tr>
 <tr class="separator:a2c39225f7b5ca0c392ea7afc3cec1fdb inherit pub_types_classSVF_1_1ICFGNode"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:a53a4a33b8ea241f46b37111905a48169 inherit pub_types_classSVF_1_1ICFGNode"><td class="memItemLeft" align="right" valign="top">typedef std::list&lt; const <a class="el" href="classSVF_1_1VFGNode.html">VFGNode</a> * &gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1ICFGNode.html#a53a4a33b8ea241f46b37111905a48169">VFGNodeList</a></td></tr>
 <tr class="separator:a53a4a33b8ea241f46b37111905a48169 inherit pub_types_classSVF_1_1ICFGNode"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:a28d8761acb346956fafbaf98394de1b6 inherit pub_types_classSVF_1_1ICFGNode"><td class="memItemLeft" align="right" valign="top">typedef std::list&lt; const <a class="el" href="classSVF_1_1SVFStmt.html">SVFStmt</a> * &gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1ICFGNode.html#a28d8761acb346956fafbaf98394de1b6">PAGEdgeList</a></td></tr>
-<tr class="separator:a28d8761acb346956fafbaf98394de1b6 inherit pub_types_classSVF_1_1ICFGNode"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:aa84a3724426f08a0e31ecdbc99114072 inherit pub_types_classSVF_1_1ICFGNode"><td class="memItemLeft" align="right" valign="top">typedef std::list&lt; const <a class="el" href="classSVF_1_1SVFStmt.html">SVFStmt</a> * &gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1ICFGNode.html#aa84a3724426f08a0e31ecdbc99114072">SVFStmtList</a></td></tr>
+<tr class="separator:aa84a3724426f08a0e31ecdbc99114072 inherit pub_types_classSVF_1_1ICFGNode"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="inherit_header pub_types_classSVF_1_1GenericNode"><td colspan="2" onclick="javascript:toggleInherit('pub_types_classSVF_1_1GenericNode')"><img src="closed.png" alt="-"/>&#160;Public Types inherited from <a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a></td></tr>
 <tr class="memitem:ad63e862eb1d1369bd69318fe698e4a22 inherit pub_types_classSVF_1_1GenericNode"><td class="memItemLeft" align="right" valign="top">typedef NodeTy&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GenericNode.html#ad63e862eb1d1369bd69318fe698e4a22">NodeType</a></td></tr>
 <tr class="separator:ad63e862eb1d1369bd69318fe698e4a22 inherit pub_types_classSVF_1_1GenericNode"><td class="memSeparator" colspan="2">&#160;</td></tr>
@@ -242,8 +242,8 @@ Additional Inherited Members</h2></td></tr>
 <tr class="separator:ad3c5171fed4e28cfd35c1a6fb9697005 inherit pro_attribs_classSVF_1_1ICFGNode"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:a57f9be13188a6cd53b30489f791e40d3 inherit pro_attribs_classSVF_1_1ICFGNode"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1ICFGNode.html#a53a4a33b8ea241f46b37111905a48169">VFGNodeList</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1ICFGNode.html#a57f9be13188a6cd53b30489f791e40d3">VFGNodes</a></td></tr>
 <tr class="separator:a57f9be13188a6cd53b30489f791e40d3 inherit pro_attribs_classSVF_1_1ICFGNode"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:ab4c08610a97e122bac840e602cbb1cbb inherit pro_attribs_classSVF_1_1ICFGNode"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1ICFGNode.html#a28d8761acb346956fafbaf98394de1b6">PAGEdgeList</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1ICFGNode.html#ab4c08610a97e122bac840e602cbb1cbb">pagEdges</a></td></tr>
-<tr class="separator:ab4c08610a97e122bac840e602cbb1cbb inherit pro_attribs_classSVF_1_1ICFGNode"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a12ce3aabc1bd3bae7caa9be9ec0a6a71 inherit pro_attribs_classSVF_1_1ICFGNode"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1ICFGNode.html#aa84a3724426f08a0e31ecdbc99114072">SVFStmtList</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1ICFGNode.html#a12ce3aabc1bd3bae7caa9be9ec0a6a71">pagEdges</a></td></tr>
+<tr class="separator:a12ce3aabc1bd3bae7caa9be9ec0a6a71 inherit pro_attribs_classSVF_1_1ICFGNode"><td class="memSeparator" colspan="2">&#160;</td></tr>
 </table>
 <a name="details" id="details"></a><h2 class="groupheader">Detailed Description</h2>
 <div class="textblock">