svf-tools 1.0.340 → 1.0.344

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

@@ -74,7 +74,7 @@ $(function() {
   <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9ad58f5e59c55e1ffd23b83d16224fed13">BinaryOp</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html">SVF::SVFStmt</a></td><td class="entry"></td></tr>
   <tr><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9ad52703e3ec09b6a4f565e5d82279b6a3">Branch</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html">SVF::SVFStmt</a></td><td class="entry"></td></tr>
   <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a97ca16eba4c5f92e16388f0cdbcfcc00">Call</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html">SVF::SVFStmt</a></td><td class="entry"></td></tr>
-  <tr><td class="entry"><a class="el" href="classSVF_1_1CallPE.html#a74951537cff8b14c1cf8eb706fca5049">CallPE</a>(SVFVar *s, SVFVar *d, const CallBlockNode *i, GEdgeKind k=SVFStmt::Call)</td><td class="entry"><a class="el" href="classSVF_1_1CallPE.html">SVF::CallPE</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1CallPE.html#af84a1badb8734b54bf01b2b5b89af091">CallPE</a>(SVFVar *s, SVFVar *d, const CallICFGNode *i, GEdgeKind k=SVFStmt::Call)</td><td class="entry"><a class="el" href="classSVF_1_1CallPE.html">SVF::CallPE</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
   <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1TDForkPE.html#a79317f2ac92ace129a1ccf802406498d">classof</a>(const TDForkPE *)</td><td class="entry"><a class="el" href="classSVF_1_1TDForkPE.html">SVF::TDForkPE</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">static</span></td></tr>
   <tr><td class="entry"><a class="el" href="classSVF_1_1TDForkPE.html#a68f16df5a9b44dd2492c33fb0a1b5f0c">classof</a>(const SVFStmt *edge)</td><td class="entry"><a class="el" href="classSVF_1_1TDForkPE.html">SVF::TDForkPE</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">static</span></td></tr>
   <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1TDForkPE.html#a9e160158fe61958bcd6ef2a7da559018">classof</a>(const GenericPAGEdgeTy *edge)</td><td class="entry"><a class="el" href="classSVF_1_1TDForkPE.html">SVF::TDForkPE</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">static</span></td></tr>
@@ -89,8 +89,8 @@ $(function() {
   <tr><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html#a7eb93c9018c80057672a8ce71615dc0d">GEdgeKind</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html">SVF::GenericEdge&lt; NodeTy &gt;</a></td><td class="entry"></td></tr>
   <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html#a6764973569c281d483afab17a75cb4dc">GenericEdge</a>(NodeTy *s, NodeTy *d, GEdgeFlag k)</td><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html">SVF::GenericEdge&lt; NodeTy &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
   <tr><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html#a793c53e0b4f9a58099c096f0a0856495">getBB</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html">SVF::SVFStmt</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
-  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1CallPE.html#ac8f25219948d3a6ff205048e746338d5">getCallInst</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1CallPE.html">SVF::CallPE</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
-  <tr><td class="entry"><a class="el" href="classSVF_1_1CallPE.html#a6a7a917cd6f1235b9453c9672f38c0ef">getCallSite</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1CallPE.html">SVF::CallPE</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1CallPE.html#aa50cca8bd91ffb135a7998b58ad7966f">getCallInst</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1CallPE.html">SVF::CallPE</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1CallPE.html#ab548c22dfbfeeaeb8ffe83417b396c09">getCallSite</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1CallPE.html">SVF::CallPE</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
   <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html#ad9edb45e74ae675d9da82f5acf02d56e">SVF::SVFStmt::getDstID</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html">SVF::GenericEdge&lt; NodeTy &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
   <tr><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html#aeaa31a2c8479e831b36ce2e2582ceb86">SVF::SVFStmt::getDstNode</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html">SVF::GenericEdge&lt; NodeTy &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_1SVFStmt.html#af7bb0d687fc61cae1de639c88e472491">getEdgeID</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html">SVF::SVFStmt</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
@@ -127,7 +127,7 @@ $(function() {
   <tr><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html#a8cd7b6c6fd8b030b1421d95a086359f4">SVFStmtSetTy</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html">SVF::SVFStmt</a></td><td class="entry"></td></tr>
   <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1TDForkPE.html#a8d474c87f2f641336064270536fae8ae">TDForkPE</a>()</td><td class="entry"><a class="el" href="classSVF_1_1TDForkPE.html">SVF::TDForkPE</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
   <tr><td class="entry"><a class="el" href="classSVF_1_1TDForkPE.html#ad55687afd603a027c4d7124061fce40b">TDForkPE</a>(const TDForkPE &amp;)</td><td class="entry"><a class="el" href="classSVF_1_1TDForkPE.html">SVF::TDForkPE</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
-  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1TDForkPE.html#ab9b4bb3ea203b7c444fad6187fe77682">TDForkPE</a>(SVFVar *s, SVFVar *d, const CallBlockNode *i)</td><td class="entry"><a class="el" href="classSVF_1_1TDForkPE.html">SVF::TDForkPE</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1TDForkPE.html#ae84750b6511817b2db33d11c59d0f5bc">TDForkPE</a>(SVFVar *s, SVFVar *d, const CallICFGNode *i)</td><td class="entry"><a class="el" href="classSVF_1_1TDForkPE.html">SVF::TDForkPE</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
   <tr><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a375b956af2119d7abca8f1995f7701fd">ThreadFork</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html">SVF::SVFStmt</a></td><td class="entry"></td></tr>
   <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a3c3f8883c2d3b50aef6331d5da97ffb0">ThreadJoin</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html">SVF::SVFStmt</a></td><td class="entry"></td></tr>
   <tr><td class="entry"><a class="el" href="classSVF_1_1TDForkPE.html#aa385dc7e7e439cb4d8ee1524c8fbf9fe">toString</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1TDForkPE.html">SVF::TDForkPE</a></td><td class="entry"><span class="mlabel">virtual</span></td></tr>

package/SVF-doxygen/html/html/classSVF_1_1TDForkPE.html

@@ -87,20 +87,20 @@ Inheritance diagram for SVF::TDForkPE:</div>
 <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:ab9b4bb3ea203b7c444fad6187fe77682"><td class="memItemLeft" align="right" valign="top">&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1TDForkPE.html#ab9b4bb3ea203b7c444fad6187fe77682">TDForkPE</a> (<a class="el" href="classSVF_1_1SVFVar.html">SVFVar</a> *s, <a class="el" href="classSVF_1_1SVFVar.html">SVFVar</a> *d, const <a class="el" href="classSVF_1_1CallBlockNode.html">CallBlockNode</a> *i)</td></tr>
-<tr class="memdesc:ab9b4bb3ea203b7c444fad6187fe77682"><td class="mdescLeft">&#160;</td><td class="mdescRight">constructor  <a href="#ab9b4bb3ea203b7c444fad6187fe77682">More...</a><br /></td></tr>
-<tr class="separator:ab9b4bb3ea203b7c444fad6187fe77682"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:ae84750b6511817b2db33d11c59d0f5bc"><td class="memItemLeft" align="right" valign="top">&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1TDForkPE.html#ae84750b6511817b2db33d11c59d0f5bc">TDForkPE</a> (<a class="el" href="classSVF_1_1SVFVar.html">SVFVar</a> *s, <a class="el" href="classSVF_1_1SVFVar.html">SVFVar</a> *d, const <a class="el" href="classSVF_1_1CallICFGNode.html">CallICFGNode</a> *i)</td></tr>
+<tr class="memdesc:ae84750b6511817b2db33d11c59d0f5bc"><td class="mdescLeft">&#160;</td><td class="mdescRight">constructor  <a href="#ae84750b6511817b2db33d11c59d0f5bc">More...</a><br /></td></tr>
+<tr class="separator:ae84750b6511817b2db33d11c59d0f5bc"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:aa385dc7e7e439cb4d8ee1524c8fbf9fe"><td class="memItemLeft" align="right" valign="top">virtual const std::string&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1TDForkPE.html#aa385dc7e7e439cb4d8ee1524c8fbf9fe">toString</a> () const</td></tr>
 <tr class="separator:aa385dc7e7e439cb4d8ee1524c8fbf9fe"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="inherit_header pub_methods_classSVF_1_1CallPE"><td colspan="2" onclick="javascript:toggleInherit('pub_methods_classSVF_1_1CallPE')"><img src="closed.png" alt="-"/>&#160;Public Member Functions inherited from <a class="el" href="classSVF_1_1CallPE.html">SVF::CallPE</a></td></tr>
-<tr class="memitem:a74951537cff8b14c1cf8eb706fca5049 inherit pub_methods_classSVF_1_1CallPE"><td class="memItemLeft" align="right" valign="top">&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CallPE.html#a74951537cff8b14c1cf8eb706fca5049">CallPE</a> (<a class="el" href="classSVF_1_1SVFVar.html">SVFVar</a> *s, <a class="el" href="classSVF_1_1SVFVar.html">SVFVar</a> *d, const <a class="el" href="classSVF_1_1CallBlockNode.html">CallBlockNode</a> *i, <a class="el" href="classSVF_1_1GenericEdge.html#a7eb93c9018c80057672a8ce71615dc0d">GEdgeKind</a> k=<a class="el" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a97ca16eba4c5f92e16388f0cdbcfcc00">SVFStmt::Call</a>)</td></tr>
-<tr class="memdesc:a74951537cff8b14c1cf8eb706fca5049 inherit pub_methods_classSVF_1_1CallPE"><td class="mdescLeft">&#160;</td><td class="mdescRight">constructor  <a href="classSVF_1_1CallPE.html#a74951537cff8b14c1cf8eb706fca5049">More...</a><br /></td></tr>
-<tr class="separator:a74951537cff8b14c1cf8eb706fca5049 inherit pub_methods_classSVF_1_1CallPE"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:ac8f25219948d3a6ff205048e746338d5 inherit pub_methods_classSVF_1_1CallPE"><td class="memItemLeft" align="right" valign="top">const <a class="el" href="classSVF_1_1CallBlockNode.html">CallBlockNode</a> *&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CallPE.html#ac8f25219948d3a6ff205048e746338d5">getCallInst</a> () const</td></tr>
-<tr class="memdesc:ac8f25219948d3a6ff205048e746338d5 inherit pub_methods_classSVF_1_1CallPE"><td class="mdescLeft">&#160;</td><td class="mdescRight">Get method for the call instruction.  <a href="classSVF_1_1CallPE.html#ac8f25219948d3a6ff205048e746338d5">More...</a><br /></td></tr>
-<tr class="separator:ac8f25219948d3a6ff205048e746338d5 inherit pub_methods_classSVF_1_1CallPE"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:a6a7a917cd6f1235b9453c9672f38c0ef inherit pub_methods_classSVF_1_1CallPE"><td class="memItemLeft" align="right" valign="top">const <a class="el" href="classSVF_1_1CallBlockNode.html">CallBlockNode</a> *&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CallPE.html#a6a7a917cd6f1235b9453c9672f38c0ef">getCallSite</a> () const</td></tr>
-<tr class="separator:a6a7a917cd6f1235b9453c9672f38c0ef inherit pub_methods_classSVF_1_1CallPE"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:af84a1badb8734b54bf01b2b5b89af091 inherit pub_methods_classSVF_1_1CallPE"><td class="memItemLeft" align="right" valign="top">&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CallPE.html#af84a1badb8734b54bf01b2b5b89af091">CallPE</a> (<a class="el" href="classSVF_1_1SVFVar.html">SVFVar</a> *s, <a class="el" href="classSVF_1_1SVFVar.html">SVFVar</a> *d, const <a class="el" href="classSVF_1_1CallICFGNode.html">CallICFGNode</a> *i, <a class="el" href="classSVF_1_1GenericEdge.html#a7eb93c9018c80057672a8ce71615dc0d">GEdgeKind</a> k=<a class="el" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a97ca16eba4c5f92e16388f0cdbcfcc00">SVFStmt::Call</a>)</td></tr>
+<tr class="memdesc:af84a1badb8734b54bf01b2b5b89af091 inherit pub_methods_classSVF_1_1CallPE"><td class="mdescLeft">&#160;</td><td class="mdescRight">constructor  <a href="classSVF_1_1CallPE.html#af84a1badb8734b54bf01b2b5b89af091">More...</a><br /></td></tr>
+<tr class="separator:af84a1badb8734b54bf01b2b5b89af091 inherit pub_methods_classSVF_1_1CallPE"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:aa50cca8bd91ffb135a7998b58ad7966f inherit pub_methods_classSVF_1_1CallPE"><td class="memItemLeft" align="right" valign="top">const <a class="el" href="classSVF_1_1CallICFGNode.html">CallICFGNode</a> *&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CallPE.html#aa50cca8bd91ffb135a7998b58ad7966f">getCallInst</a> () const</td></tr>
+<tr class="memdesc:aa50cca8bd91ffb135a7998b58ad7966f inherit pub_methods_classSVF_1_1CallPE"><td class="mdescLeft">&#160;</td><td class="mdescRight">Get method for the call instruction.  <a href="classSVF_1_1CallPE.html#aa50cca8bd91ffb135a7998b58ad7966f">More...</a><br /></td></tr>
+<tr class="separator:aa50cca8bd91ffb135a7998b58ad7966f inherit pub_methods_classSVF_1_1CallPE"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:ab548c22dfbfeeaeb8ffe83417b396c09 inherit pub_methods_classSVF_1_1CallPE"><td class="memItemLeft" align="right" valign="top">const <a class="el" href="classSVF_1_1CallICFGNode.html">CallICFGNode</a> *&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CallPE.html#ab548c22dfbfeeaeb8ffe83417b396c09">getCallSite</a> () const</td></tr>
+<tr class="separator:ab548c22dfbfeeaeb8ffe83417b396c09 inherit pub_methods_classSVF_1_1CallPE"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="inherit_header pub_methods_classSVF_1_1AssignStmt"><td colspan="2" onclick="javascript:toggleInherit('pub_methods_classSVF_1_1AssignStmt')"><img src="closed.png" alt="-"/>&#160;Public Member Functions inherited from <a class="el" href="classSVF_1_1AssignStmt.html">SVF::AssignStmt</a></td></tr>
 <tr class="memitem:ad03d28d16754c9049dd4d0ad3b6c1e28 inherit pub_methods_classSVF_1_1AssignStmt"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1SVFVar.html">SVFVar</a> *&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1AssignStmt.html#ad03d28d16754c9049dd4d0ad3b6c1e28">getRHSVar</a> () const</td></tr>
 <tr class="separator:ad03d28d16754c9049dd4d0ad3b6c1e28 inherit pub_methods_classSVF_1_1AssignStmt"><td class="memSeparator" colspan="2">&#160;</td></tr>
@@ -331,8 +331,8 @@ Additional Inherited Members</h2></td></tr>
 
 </div>
 </div>
-<a id="ab9b4bb3ea203b7c444fad6187fe77682"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#ab9b4bb3ea203b7c444fad6187fe77682">&#9670;&nbsp;</a></span>TDForkPE() <span class="overload">[3/3]</span></h2>
+<a id="ae84750b6511817b2db33d11c59d0f5bc"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#ae84750b6511817b2db33d11c59d0f5bc">&#9670;&nbsp;</a></span>TDForkPE() <span class="overload">[3/3]</span></h2>
 
 <div class="memitem">
 <div class="memproto">
@@ -355,7 +355,7 @@ Additional Inherited Members</h2></td></tr>
         <tr>
           <td class="paramkey"></td>
           <td></td>
-          <td class="paramtype">const <a class="el" href="classSVF_1_1CallBlockNode.html">CallBlockNode</a> *&#160;</td>
+          <td class="paramtype">const <a class="el" href="classSVF_1_1CallICFGNode.html">CallICFGNode</a> *&#160;</td>
           <td class="paramname"><em>i</em>&#160;</td>
         </tr>
         <tr>
@@ -374,7 +374,7 @@ Additional Inherited Members</h2></td></tr>
 <p>constructor </p>
 
 <p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l01002">1002</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l01002"></a><span class="lineno"> 1002</span>&#160;                                                           :</div><div class="line"><a name="l01003"></a><span class="lineno"> 1003</span>&#160;        <a class="code" href="classSVF_1_1CallPE.html#a5e6271f5697a32b57efeccfedc61e331">CallPE</a>(s,d,i,<a class="code" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a375b956af2119d7abca8f1995f7701fd">SVFStmt::ThreadFork</a>)</div><div class="line"><a name="l01004"></a><span class="lineno"> 1004</span>&#160;    {</div><div class="line"><a name="l01005"></a><span class="lineno"> 1005</span>&#160;    }</div><div class="ttc" id="classSVF_1_1CallPE_html_a5e6271f5697a32b57efeccfedc61e331"><div class="ttname"><a href="classSVF_1_1CallPE.html#a5e6271f5697a32b57efeccfedc61e331">SVF::CallPE::CallPE</a></div><div class="ttdeci">CallPE()</div><div class="ttdoc">place holder </div></div>
+<div class="fragment"><div class="line"><a name="l01002"></a><span class="lineno"> 1002</span>&#160;                                                          :</div><div class="line"><a name="l01003"></a><span class="lineno"> 1003</span>&#160;        <a class="code" href="classSVF_1_1CallPE.html#a5e6271f5697a32b57efeccfedc61e331">CallPE</a>(s,d,i,<a class="code" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a375b956af2119d7abca8f1995f7701fd">SVFStmt::ThreadFork</a>)</div><div class="line"><a name="l01004"></a><span class="lineno"> 1004</span>&#160;    {</div><div class="line"><a name="l01005"></a><span class="lineno"> 1005</span>&#160;    }</div><div class="ttc" id="classSVF_1_1CallPE_html_a5e6271f5697a32b57efeccfedc61e331"><div class="ttname"><a href="classSVF_1_1CallPE.html#a5e6271f5697a32b57efeccfedc61e331">SVF::CallPE::CallPE</a></div><div class="ttdeci">CallPE()</div><div class="ttdoc">place holder </div></div>
 <div class="ttc" id="classSVF_1_1SVFStmt_html_a0ab8621e75e75f03425c323b3ed62ce9a375b956af2119d7abca8f1995f7701fd"><div class="ttname"><a href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a375b956af2119d7abca8f1995f7701fd">SVF::SVFStmt::ThreadFork</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00056">SVFStatements.h:56</a></div></div>
 </div><!-- fragment -->
 </div>
@@ -521,13 +521,13 @@ Additional Inherited Members</h2></td></tr>
 
 <p>Reimplemented from <a class="el" href="classSVF_1_1CallPE.html#aecdf349bde9547dae7eb88c6cfd34bab">SVF::CallPE</a>.</p>
 
-<p class="definition">Definition at line <a class="el" href="SVFStatements_8cpp_source.html#l00229">229</a> of file <a class="el" href="SVFStatements_8cpp_source.html">SVFStatements.cpp</a>.</p>
-<div class="fragment"><div class="line"><a name="l00229"></a><span class="lineno">  229</span>&#160;                                        {</div><div class="line"><a name="l00230"></a><span class="lineno">  230</span>&#160;    std::string str;</div><div class="line"><a name="l00231"></a><span class="lineno">  231</span>&#160;    <a class="code" href="namespaceSVF.html#a726981481ac082dcda3e4921416b65a0">raw_string_ostream</a> rawstr(str);</div><div class="line"><a name="l00232"></a><span class="lineno">  232</span>&#160;    rawstr &lt;&lt; <span class="stringliteral">&quot;TDForkPE: [&quot;</span> &lt;&lt; <a class="code" href="classSVF_1_1AssignStmt.html#a98f731be7be9bc8e7fd09f5c2204c840">getLHSVarID</a>() &lt;&lt; <span class="stringliteral">&quot;&lt;--&quot;</span> &lt;&lt; <a class="code" href="classSVF_1_1AssignStmt.html#a4cec89489e82c60c287cae3327f3f01d">getRHSVarID</a>() &lt;&lt; <span class="stringliteral">&quot;]\t&quot;</span>;</div><div class="line"><a name="l00233"></a><span class="lineno">  233</span>&#160;    <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1Options.html#a8eba08052f7af57b762155a58844480c">Options::PAGDotGraphShorter</a>) {</div><div class="line"><a name="l00234"></a><span class="lineno">  234</span>&#160;        rawstr &lt;&lt; <span class="stringliteral">&quot;\n&quot;</span>;</div><div class="line"><a name="l00235"></a><span class="lineno">  235</span>&#160;    }</div><div class="line"><a name="l00236"></a><span class="lineno">  236</span>&#160;    rawstr &lt;&lt; <a class="code" href="namespaceSVF_1_1SVFUtil.html#a7486fd8e5350879ed1cbd835c0d4e191">value2String</a>(<a class="code" href="classSVF_1_1SVFStmt.html#a65ee8b43a3a4999eb112a197d1a9f882">getValue</a>());</div><div class="line"><a name="l00237"></a><span class="lineno">  237</span>&#160;    <span class="keywordflow">return</span> rawstr.str();</div><div class="line"><a name="l00238"></a><span class="lineno">  238</span>&#160;}</div><div class="ttc" id="classSVF_1_1SVFStmt_html_a65ee8b43a3a4999eb112a197d1a9f882"><div class="ttname"><a href="classSVF_1_1SVFStmt.html#a65ee8b43a3a4999eb112a197d1a9f882">SVF::SVFStmt::getValue</a></div><div class="ttdeci">const Value * getValue() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00116">SVFStatements.h:116</a></div></div>
+<p class="definition">Definition at line <a class="el" href="SVFStatements_8cpp_source.html#l00233">233</a> of file <a class="el" href="SVFStatements_8cpp_source.html">SVFStatements.cpp</a>.</p>
+<div class="fragment"><div class="line"><a name="l00233"></a><span class="lineno">  233</span>&#160;                                        {</div><div class="line"><a name="l00234"></a><span class="lineno">  234</span>&#160;    std::string str;</div><div class="line"><a name="l00235"></a><span class="lineno">  235</span>&#160;    <a class="code" href="namespaceSVF.html#a726981481ac082dcda3e4921416b65a0">raw_string_ostream</a> rawstr(str);</div><div class="line"><a name="l00236"></a><span class="lineno">  236</span>&#160;    rawstr &lt;&lt; <span class="stringliteral">&quot;TDForkPE: [Var&quot;</span> &lt;&lt; <a class="code" href="classSVF_1_1AssignStmt.html#a98f731be7be9bc8e7fd09f5c2204c840">getLHSVarID</a>() &lt;&lt; <span class="stringliteral">&quot; &lt;-- Var&quot;</span> &lt;&lt; <a class="code" href="classSVF_1_1AssignStmt.html#a4cec89489e82c60c287cae3327f3f01d">getRHSVarID</a>() &lt;&lt; <span class="stringliteral">&quot;]\t&quot;</span>;</div><div class="line"><a name="l00237"></a><span class="lineno">  237</span>&#160;    <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1Options.html#a63c2ff1420867ea4ef0a94d28b3f0558">Options::ShowSVFIRValue</a>) {</div><div class="line"><a name="l00238"></a><span class="lineno">  238</span>&#160;        rawstr &lt;&lt; <span class="stringliteral">&quot;\n&quot;</span>;</div><div class="line"><a name="l00239"></a><span class="lineno">  239</span>&#160;        rawstr &lt;&lt; <a class="code" href="namespaceSVF_1_1SVFUtil.html#a7486fd8e5350879ed1cbd835c0d4e191">value2String</a>(<a class="code" href="classSVF_1_1SVFStmt.html#a65ee8b43a3a4999eb112a197d1a9f882">getValue</a>());</div><div class="line"><a name="l00240"></a><span class="lineno">  240</span>&#160;    }</div><div class="line"><a name="l00241"></a><span class="lineno">  241</span>&#160;    <span class="keywordflow">return</span> rawstr.str();</div><div class="line"><a name="l00242"></a><span class="lineno">  242</span>&#160;}</div><div class="ttc" id="classSVF_1_1SVFStmt_html_a65ee8b43a3a4999eb112a197d1a9f882"><div class="ttname"><a href="classSVF_1_1SVFStmt.html#a65ee8b43a3a4999eb112a197d1a9f882">SVF::SVFStmt::getValue</a></div><div class="ttdeci">const Value * getValue() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00116">SVFStatements.h:116</a></div></div>
 <div class="ttc" id="classSVF_1_1AssignStmt_html_a4cec89489e82c60c287cae3327f3f01d"><div class="ttname"><a href="classSVF_1_1AssignStmt.html#a4cec89489e82c60c287cae3327f3f01d">SVF::AssignStmt::getRHSVarID</a></div><div class="ttdeci">NodeID getRHSVarID() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00256">SVFStatements.h:256</a></div></div>
-<div class="ttc" id="classSVF_1_1Options_html_a8eba08052f7af57b762155a58844480c"><div class="ttname"><a href="classSVF_1_1Options.html#a8eba08052f7af57b762155a58844480c">SVF::Options::PAGDotGraphShorter</a></div><div class="ttdeci">static const llvm::cl::opt&lt; bool &gt; PAGDotGraphShorter</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00134">Options.h:134</a></div></div>
 <div class="ttc" id="namespaceSVF_html_a726981481ac082dcda3e4921416b65a0"><div class="ttname"><a href="namespaceSVF.html#a726981481ac082dcda3e4921416b65a0">SVF::raw_string_ostream</a></div><div class="ttdeci">llvm::raw_string_ostream raw_string_ostream</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00100">BasicTypes.h:100</a></div></div>
 <div class="ttc" id="classSVF_1_1AssignStmt_html_a98f731be7be9bc8e7fd09f5c2204c840"><div class="ttname"><a href="classSVF_1_1AssignStmt.html#a98f731be7be9bc8e7fd09f5c2204c840">SVF::AssignStmt::getLHSVarID</a></div><div class="ttdeci">NodeID getLHSVarID() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00259">SVFStatements.h:259</a></div></div>
-<div class="ttc" id="namespaceSVF_1_1SVFUtil_html_a7486fd8e5350879ed1cbd835c0d4e191"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#a7486fd8e5350879ed1cbd835c0d4e191">SVF::SVFUtil::value2String</a></div><div class="ttdeci">const std::string value2String(const Value *value)</div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8cpp_source.html#l00388">SVFUtil.cpp:388</a></div></div>
+<div class="ttc" id="namespaceSVF_1_1SVFUtil_html_a7486fd8e5350879ed1cbd835c0d4e191"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#a7486fd8e5350879ed1cbd835c0d4e191">SVF::SVFUtil::value2String</a></div><div class="ttdeci">const std::string value2String(const Value *value)</div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8cpp_source.html#l00390">SVFUtil.cpp:390</a></div></div>
+<div class="ttc" id="classSVF_1_1Options_html_a63c2ff1420867ea4ef0a94d28b3f0558"><div class="ttname"><a href="classSVF_1_1Options.html#a63c2ff1420867ea4ef0a94d28b3f0558">SVF::Options::ShowSVFIRValue</a></div><div class="ttdeci">static const llvm::cl::opt&lt; bool &gt; ShowSVFIRValue</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00134">Options.h:134</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>

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

@@ -88,8 +88,8 @@ $(function() {
   <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html#a7eb93c9018c80057672a8ce71615dc0d">GEdgeKind</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html">SVF::GenericEdge&lt; NodeTy &gt;</a></td><td class="entry"></td></tr>
   <tr><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html#a6764973569c281d483afab17a75cb4dc">GenericEdge</a>(NodeTy *s, NodeTy *d, GEdgeFlag k)</td><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html">SVF::GenericEdge&lt; NodeTy &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_1SVFStmt.html#a793c53e0b4f9a58099c096f0a0856495">getBB</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html">SVF::SVFStmt</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
-  <tr><td class="entry"><a class="el" href="classSVF_1_1RetPE.html#ac28900a70a604bbba2b4cdab09709226">getCallInst</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1RetPE.html">SVF::RetPE</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
-  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1RetPE.html#a1495bfc171fa21980712f1d729a6b175">getCallSite</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1RetPE.html">SVF::RetPE</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1RetPE.html#a9bbf558ffc8e3c1136e20d18d4c95f42">getCallInst</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1RetPE.html">SVF::RetPE</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1RetPE.html#ab03f10c0375846a733f3257736a84f9d">getCallSite</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1RetPE.html">SVF::RetPE</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
   <tr><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html#ad9edb45e74ae675d9da82f5acf02d56e">SVF::SVFStmt::getDstID</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html">SVF::GenericEdge&lt; NodeTy &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_1GenericEdge.html#aeaa31a2c8479e831b36ce2e2582ceb86">SVF::SVFStmt::getDstNode</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html">SVF::GenericEdge&lt; NodeTy &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
   <tr><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html#af7bb0d687fc61cae1de639c88e472491">getEdgeID</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html">SVF::SVFStmt</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
@@ -118,7 +118,7 @@ $(function() {
   <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9">PEDGEK</a> enum name</td><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html">SVF::SVFStmt</a></td><td class="entry"></td></tr>
   <tr><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a6b3cd98eeb47c8475e7ee64480dcdee9">Phi</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html">SVF::SVFStmt</a></td><td class="entry"></td></tr>
   <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a8d269a45adf13e69468f0357222ab2af">Ret</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html">SVF::SVFStmt</a></td><td class="entry"></td></tr>
-  <tr><td class="entry"><a class="el" href="classSVF_1_1RetPE.html#a03739021e33640699ab54220c9a7f16d">RetPE</a>(SVFVar *s, SVFVar *d, const CallBlockNode *i, GEdgeKind k=SVFStmt::Ret)</td><td class="entry"><a class="el" href="classSVF_1_1RetPE.html">SVF::RetPE</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1RetPE.html#afed855f9ee0dfddc4808672ae32263b2">RetPE</a>(SVFVar *s, SVFVar *d, const CallICFGNode *i, GEdgeKind k=SVFStmt::Ret)</td><td class="entry"><a class="el" href="classSVF_1_1RetPE.html">SVF::RetPE</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
   <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html#a852730edf374d18a3fb3985211ed7623">setBB</a>(const BasicBlock *bb)</td><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html">SVF::SVFStmt</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
   <tr><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html#adb92a92f5c878576dff26cb38eab8c8c">setICFGNode</a>(ICFGNode *node)</td><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html">SVF::SVFStmt</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
   <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html#a24dddb4e346a6e569908e3efe8a6ecc0">setValue</a>(const Value *val)</td><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html">SVF::SVFStmt</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
@@ -127,7 +127,7 @@ $(function() {
   <tr><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html#a8cd7b6c6fd8b030b1421d95a086359f4">SVFStmtSetTy</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html">SVF::SVFStmt</a></td><td class="entry"></td></tr>
   <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1TDJoinPE.html#a3a7edc9b921598336ff2bbb6412e2160">TDJoinPE</a>()</td><td class="entry"><a class="el" href="classSVF_1_1TDJoinPE.html">SVF::TDJoinPE</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
   <tr><td class="entry"><a class="el" href="classSVF_1_1TDJoinPE.html#a6f1714c9ef2483173ee6026b34eb10ae">TDJoinPE</a>(const TDJoinPE &amp;)</td><td class="entry"><a class="el" href="classSVF_1_1TDJoinPE.html">SVF::TDJoinPE</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
-  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1TDJoinPE.html#a0f995bd01463f201d7760641275dc33a">TDJoinPE</a>(SVFVar *s, SVFVar *d, const CallBlockNode *i)</td><td class="entry"><a class="el" href="classSVF_1_1TDJoinPE.html">SVF::TDJoinPE</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1TDJoinPE.html#afb9137169d75204a09975a219334b752">TDJoinPE</a>(SVFVar *s, SVFVar *d, const CallICFGNode *i)</td><td class="entry"><a class="el" href="classSVF_1_1TDJoinPE.html">SVF::TDJoinPE</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
   <tr><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a375b956af2119d7abca8f1995f7701fd">ThreadFork</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html">SVF::SVFStmt</a></td><td class="entry"></td></tr>
   <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a3c3f8883c2d3b50aef6331d5da97ffb0">ThreadJoin</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html">SVF::SVFStmt</a></td><td class="entry"></td></tr>
   <tr><td class="entry"><a class="el" href="classSVF_1_1TDJoinPE.html#accac29adba7ca4883ae161c223a1703d">toString</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1TDJoinPE.html">SVF::TDJoinPE</a></td><td class="entry"><span class="mlabel">virtual</span></td></tr>

package/SVF-doxygen/html/html/classSVF_1_1TDJoinPE.html

@@ -87,20 +87,20 @@ Inheritance diagram for SVF::TDJoinPE:</div>
 <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:a0f995bd01463f201d7760641275dc33a"><td class="memItemLeft" align="right" valign="top">&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1TDJoinPE.html#a0f995bd01463f201d7760641275dc33a">TDJoinPE</a> (<a class="el" href="classSVF_1_1SVFVar.html">SVFVar</a> *s, <a class="el" href="classSVF_1_1SVFVar.html">SVFVar</a> *d, const <a class="el" href="classSVF_1_1CallBlockNode.html">CallBlockNode</a> *i)</td></tr>
-<tr class="memdesc:a0f995bd01463f201d7760641275dc33a"><td class="mdescLeft">&#160;</td><td class="mdescRight">Constructor.  <a href="#a0f995bd01463f201d7760641275dc33a">More...</a><br /></td></tr>
-<tr class="separator:a0f995bd01463f201d7760641275dc33a"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:afb9137169d75204a09975a219334b752"><td class="memItemLeft" align="right" valign="top">&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1TDJoinPE.html#afb9137169d75204a09975a219334b752">TDJoinPE</a> (<a class="el" href="classSVF_1_1SVFVar.html">SVFVar</a> *s, <a class="el" href="classSVF_1_1SVFVar.html">SVFVar</a> *d, const <a class="el" href="classSVF_1_1CallICFGNode.html">CallICFGNode</a> *i)</td></tr>
+<tr class="memdesc:afb9137169d75204a09975a219334b752"><td class="mdescLeft">&#160;</td><td class="mdescRight">Constructor.  <a href="#afb9137169d75204a09975a219334b752">More...</a><br /></td></tr>
+<tr class="separator:afb9137169d75204a09975a219334b752"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:accac29adba7ca4883ae161c223a1703d"><td class="memItemLeft" align="right" valign="top">virtual const std::string&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1TDJoinPE.html#accac29adba7ca4883ae161c223a1703d">toString</a> () const</td></tr>
 <tr class="separator:accac29adba7ca4883ae161c223a1703d"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="inherit_header pub_methods_classSVF_1_1RetPE"><td colspan="2" onclick="javascript:toggleInherit('pub_methods_classSVF_1_1RetPE')"><img src="closed.png" alt="-"/>&#160;Public Member Functions inherited from <a class="el" href="classSVF_1_1RetPE.html">SVF::RetPE</a></td></tr>
-<tr class="memitem:a03739021e33640699ab54220c9a7f16d inherit pub_methods_classSVF_1_1RetPE"><td class="memItemLeft" align="right" valign="top">&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1RetPE.html#a03739021e33640699ab54220c9a7f16d">RetPE</a> (<a class="el" href="classSVF_1_1SVFVar.html">SVFVar</a> *s, <a class="el" href="classSVF_1_1SVFVar.html">SVFVar</a> *d, const <a class="el" href="classSVF_1_1CallBlockNode.html">CallBlockNode</a> *i, <a class="el" href="classSVF_1_1GenericEdge.html#a7eb93c9018c80057672a8ce71615dc0d">GEdgeKind</a> k=<a class="el" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a8d269a45adf13e69468f0357222ab2af">SVFStmt::Ret</a>)</td></tr>
-<tr class="memdesc:a03739021e33640699ab54220c9a7f16d inherit pub_methods_classSVF_1_1RetPE"><td class="mdescLeft">&#160;</td><td class="mdescRight">constructor  <a href="classSVF_1_1RetPE.html#a03739021e33640699ab54220c9a7f16d">More...</a><br /></td></tr>
-<tr class="separator:a03739021e33640699ab54220c9a7f16d inherit pub_methods_classSVF_1_1RetPE"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:ac28900a70a604bbba2b4cdab09709226 inherit pub_methods_classSVF_1_1RetPE"><td class="memItemLeft" align="right" valign="top">const <a class="el" href="classSVF_1_1CallBlockNode.html">CallBlockNode</a> *&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1RetPE.html#ac28900a70a604bbba2b4cdab09709226">getCallInst</a> () const</td></tr>
-<tr class="memdesc:ac28900a70a604bbba2b4cdab09709226 inherit pub_methods_classSVF_1_1RetPE"><td class="mdescLeft">&#160;</td><td class="mdescRight">Get method for call instruction at caller.  <a href="classSVF_1_1RetPE.html#ac28900a70a604bbba2b4cdab09709226">More...</a><br /></td></tr>
-<tr class="separator:ac28900a70a604bbba2b4cdab09709226 inherit pub_methods_classSVF_1_1RetPE"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:a1495bfc171fa21980712f1d729a6b175 inherit pub_methods_classSVF_1_1RetPE"><td class="memItemLeft" align="right" valign="top">const <a class="el" href="classSVF_1_1CallBlockNode.html">CallBlockNode</a> *&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1RetPE.html#a1495bfc171fa21980712f1d729a6b175">getCallSite</a> () const</td></tr>
-<tr class="separator:a1495bfc171fa21980712f1d729a6b175 inherit pub_methods_classSVF_1_1RetPE"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:afed855f9ee0dfddc4808672ae32263b2 inherit pub_methods_classSVF_1_1RetPE"><td class="memItemLeft" align="right" valign="top">&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1RetPE.html#afed855f9ee0dfddc4808672ae32263b2">RetPE</a> (<a class="el" href="classSVF_1_1SVFVar.html">SVFVar</a> *s, <a class="el" href="classSVF_1_1SVFVar.html">SVFVar</a> *d, const <a class="el" href="classSVF_1_1CallICFGNode.html">CallICFGNode</a> *i, <a class="el" href="classSVF_1_1GenericEdge.html#a7eb93c9018c80057672a8ce71615dc0d">GEdgeKind</a> k=<a class="el" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a8d269a45adf13e69468f0357222ab2af">SVFStmt::Ret</a>)</td></tr>
+<tr class="memdesc:afed855f9ee0dfddc4808672ae32263b2 inherit pub_methods_classSVF_1_1RetPE"><td class="mdescLeft">&#160;</td><td class="mdescRight">constructor  <a href="classSVF_1_1RetPE.html#afed855f9ee0dfddc4808672ae32263b2">More...</a><br /></td></tr>
+<tr class="separator:afed855f9ee0dfddc4808672ae32263b2 inherit pub_methods_classSVF_1_1RetPE"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a9bbf558ffc8e3c1136e20d18d4c95f42 inherit pub_methods_classSVF_1_1RetPE"><td class="memItemLeft" align="right" valign="top">const <a class="el" href="classSVF_1_1CallICFGNode.html">CallICFGNode</a> *&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1RetPE.html#a9bbf558ffc8e3c1136e20d18d4c95f42">getCallInst</a> () const</td></tr>
+<tr class="memdesc:a9bbf558ffc8e3c1136e20d18d4c95f42 inherit pub_methods_classSVF_1_1RetPE"><td class="mdescLeft">&#160;</td><td class="mdescRight">Get method for call instruction at caller.  <a href="classSVF_1_1RetPE.html#a9bbf558ffc8e3c1136e20d18d4c95f42">More...</a><br /></td></tr>
+<tr class="separator:a9bbf558ffc8e3c1136e20d18d4c95f42 inherit pub_methods_classSVF_1_1RetPE"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:ab03f10c0375846a733f3257736a84f9d inherit pub_methods_classSVF_1_1RetPE"><td class="memItemLeft" align="right" valign="top">const <a class="el" href="classSVF_1_1CallICFGNode.html">CallICFGNode</a> *&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1RetPE.html#ab03f10c0375846a733f3257736a84f9d">getCallSite</a> () const</td></tr>
+<tr class="separator:ab03f10c0375846a733f3257736a84f9d inherit pub_methods_classSVF_1_1RetPE"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="inherit_header pub_methods_classSVF_1_1AssignStmt"><td colspan="2" onclick="javascript:toggleInherit('pub_methods_classSVF_1_1AssignStmt')"><img src="closed.png" alt="-"/>&#160;Public Member Functions inherited from <a class="el" href="classSVF_1_1AssignStmt.html">SVF::AssignStmt</a></td></tr>
 <tr class="memitem:ad03d28d16754c9049dd4d0ad3b6c1e28 inherit pub_methods_classSVF_1_1AssignStmt"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1SVFVar.html">SVFVar</a> *&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1AssignStmt.html#ad03d28d16754c9049dd4d0ad3b6c1e28">getRHSVar</a> () const</td></tr>
 <tr class="separator:ad03d28d16754c9049dd4d0ad3b6c1e28 inherit pub_methods_classSVF_1_1AssignStmt"><td class="memSeparator" colspan="2">&#160;</td></tr>
@@ -331,8 +331,8 @@ Additional Inherited Members</h2></td></tr>
 
 </div>
 </div>
-<a id="a0f995bd01463f201d7760641275dc33a"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#a0f995bd01463f201d7760641275dc33a">&#9670;&nbsp;</a></span>TDJoinPE() <span class="overload">[3/3]</span></h2>
+<a id="afb9137169d75204a09975a219334b752"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#afb9137169d75204a09975a219334b752">&#9670;&nbsp;</a></span>TDJoinPE() <span class="overload">[3/3]</span></h2>
 
 <div class="memitem">
 <div class="memproto">
@@ -355,7 +355,7 @@ Additional Inherited Members</h2></td></tr>
         <tr>
           <td class="paramkey"></td>
           <td></td>
-          <td class="paramtype">const <a class="el" href="classSVF_1_1CallBlockNode.html">CallBlockNode</a> *&#160;</td>
+          <td class="paramtype">const <a class="el" href="classSVF_1_1CallICFGNode.html">CallICFGNode</a> *&#160;</td>
           <td class="paramname"><em>i</em>&#160;</td>
         </tr>
         <tr>
@@ -374,7 +374,7 @@ Additional Inherited Members</h2></td></tr>
 <p>Constructor. </p>
 
 <p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l01040">1040</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l01040"></a><span class="lineno"> 1040</span>&#160;                                                           :</div><div class="line"><a name="l01041"></a><span class="lineno"> 1041</span>&#160;        <a class="code" href="classSVF_1_1RetPE.html#ab4da5e54fec989eab5640acc8c4fe215">RetPE</a>(s,d,i,<a class="code" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a3c3f8883c2d3b50aef6331d5da97ffb0">SVFStmt::ThreadJoin</a>)</div><div class="line"><a name="l01042"></a><span class="lineno"> 1042</span>&#160;    {</div><div class="line"><a name="l01043"></a><span class="lineno"> 1043</span>&#160;    }</div><div class="ttc" id="classSVF_1_1RetPE_html_ab4da5e54fec989eab5640acc8c4fe215"><div class="ttname"><a href="classSVF_1_1RetPE.html#ab4da5e54fec989eab5640acc8c4fe215">SVF::RetPE::RetPE</a></div><div class="ttdeci">RetPE()</div><div class="ttdoc">place holder </div></div>
+<div class="fragment"><div class="line"><a name="l01040"></a><span class="lineno"> 1040</span>&#160;                                                          :</div><div class="line"><a name="l01041"></a><span class="lineno"> 1041</span>&#160;        <a class="code" href="classSVF_1_1RetPE.html#ab4da5e54fec989eab5640acc8c4fe215">RetPE</a>(s,d,i,<a class="code" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a3c3f8883c2d3b50aef6331d5da97ffb0">SVFStmt::ThreadJoin</a>)</div><div class="line"><a name="l01042"></a><span class="lineno"> 1042</span>&#160;    {</div><div class="line"><a name="l01043"></a><span class="lineno"> 1043</span>&#160;    }</div><div class="ttc" id="classSVF_1_1RetPE_html_ab4da5e54fec989eab5640acc8c4fe215"><div class="ttname"><a href="classSVF_1_1RetPE.html#ab4da5e54fec989eab5640acc8c4fe215">SVF::RetPE::RetPE</a></div><div class="ttdeci">RetPE()</div><div class="ttdoc">place holder </div></div>
 <div class="ttc" id="classSVF_1_1SVFStmt_html_a0ab8621e75e75f03425c323b3ed62ce9a3c3f8883c2d3b50aef6331d5da97ffb0"><div class="ttname"><a href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a3c3f8883c2d3b50aef6331d5da97ffb0">SVF::SVFStmt::ThreadJoin</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00056">SVFStatements.h:56</a></div></div>
 </div><!-- fragment -->
 </div>
@@ -521,13 +521,13 @@ Additional Inherited Members</h2></td></tr>
 
 <p>Reimplemented from <a class="el" href="classSVF_1_1RetPE.html#a68aa24dcabeae26bcc4184110fbb50ef">SVF::RetPE</a>.</p>
 
-<p class="definition">Definition at line <a class="el" href="SVFStatements_8cpp_source.html#l00240">240</a> of file <a class="el" href="SVFStatements_8cpp_source.html">SVFStatements.cpp</a>.</p>
-<div class="fragment"><div class="line"><a name="l00240"></a><span class="lineno">  240</span>&#160;                                        {</div><div class="line"><a name="l00241"></a><span class="lineno">  241</span>&#160;    std::string str;</div><div class="line"><a name="l00242"></a><span class="lineno">  242</span>&#160;    <a class="code" href="namespaceSVF.html#a726981481ac082dcda3e4921416b65a0">raw_string_ostream</a> rawstr(str);</div><div class="line"><a name="l00243"></a><span class="lineno">  243</span>&#160;    rawstr &lt;&lt; <span class="stringliteral">&quot;TDJoinPE: [&quot;</span> &lt;&lt; <a class="code" href="classSVF_1_1AssignStmt.html#a98f731be7be9bc8e7fd09f5c2204c840">getLHSVarID</a>() &lt;&lt; <span class="stringliteral">&quot;&lt;--&quot;</span> &lt;&lt; <a class="code" href="classSVF_1_1AssignStmt.html#a4cec89489e82c60c287cae3327f3f01d">getRHSVarID</a>() &lt;&lt; <span class="stringliteral">&quot;]\t&quot;</span>;</div><div class="line"><a name="l00244"></a><span class="lineno">  244</span>&#160;    <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1Options.html#a8eba08052f7af57b762155a58844480c">Options::PAGDotGraphShorter</a>) {</div><div class="line"><a name="l00245"></a><span class="lineno">  245</span>&#160;        rawstr &lt;&lt; <span class="stringliteral">&quot;\n&quot;</span>;</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;    rawstr &lt;&lt; <a class="code" href="namespaceSVF_1_1SVFUtil.html#a7486fd8e5350879ed1cbd835c0d4e191">value2String</a>(<a class="code" href="classSVF_1_1SVFStmt.html#a65ee8b43a3a4999eb112a197d1a9f882">getValue</a>());</div><div class="line"><a name="l00248"></a><span class="lineno">  248</span>&#160;    <span class="keywordflow">return</span> rawstr.str();</div><div class="line"><a name="l00249"></a><span class="lineno">  249</span>&#160;}</div><div class="ttc" id="classSVF_1_1SVFStmt_html_a65ee8b43a3a4999eb112a197d1a9f882"><div class="ttname"><a href="classSVF_1_1SVFStmt.html#a65ee8b43a3a4999eb112a197d1a9f882">SVF::SVFStmt::getValue</a></div><div class="ttdeci">const Value * getValue() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00116">SVFStatements.h:116</a></div></div>
+<p class="definition">Definition at line <a class="el" href="SVFStatements_8cpp_source.html#l00244">244</a> of file <a class="el" href="SVFStatements_8cpp_source.html">SVFStatements.cpp</a>.</p>
+<div class="fragment"><div class="line"><a name="l00244"></a><span class="lineno">  244</span>&#160;                                        {</div><div class="line"><a name="l00245"></a><span class="lineno">  245</span>&#160;    std::string str;</div><div class="line"><a name="l00246"></a><span class="lineno">  246</span>&#160;    <a class="code" href="namespaceSVF.html#a726981481ac082dcda3e4921416b65a0">raw_string_ostream</a> rawstr(str);</div><div class="line"><a name="l00247"></a><span class="lineno">  247</span>&#160;    rawstr &lt;&lt; <span class="stringliteral">&quot;TDJoinPE: [Var&quot;</span> &lt;&lt; <a class="code" href="classSVF_1_1AssignStmt.html#a98f731be7be9bc8e7fd09f5c2204c840">getLHSVarID</a>() &lt;&lt; <span class="stringliteral">&quot; &lt;-- Var&quot;</span> &lt;&lt; <a class="code" href="classSVF_1_1AssignStmt.html#a4cec89489e82c60c287cae3327f3f01d">getRHSVarID</a>() &lt;&lt; <span class="stringliteral">&quot;]\t&quot;</span>;</div><div class="line"><a name="l00248"></a><span class="lineno">  248</span>&#160;    <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1Options.html#a63c2ff1420867ea4ef0a94d28b3f0558">Options::ShowSVFIRValue</a>) {</div><div class="line"><a name="l00249"></a><span class="lineno">  249</span>&#160;        rawstr &lt;&lt; <span class="stringliteral">&quot;\n&quot;</span>;</div><div class="line"><a name="l00250"></a><span class="lineno">  250</span>&#160;        rawstr &lt;&lt; <a class="code" href="namespaceSVF_1_1SVFUtil.html#a7486fd8e5350879ed1cbd835c0d4e191">value2String</a>(<a class="code" href="classSVF_1_1SVFStmt.html#a65ee8b43a3a4999eb112a197d1a9f882">getValue</a>());</div><div class="line"><a name="l00251"></a><span class="lineno">  251</span>&#160;    }</div><div class="line"><a name="l00252"></a><span class="lineno">  252</span>&#160;    <span class="keywordflow">return</span> rawstr.str();</div><div class="line"><a name="l00253"></a><span class="lineno">  253</span>&#160;}</div><div class="ttc" id="classSVF_1_1SVFStmt_html_a65ee8b43a3a4999eb112a197d1a9f882"><div class="ttname"><a href="classSVF_1_1SVFStmt.html#a65ee8b43a3a4999eb112a197d1a9f882">SVF::SVFStmt::getValue</a></div><div class="ttdeci">const Value * getValue() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00116">SVFStatements.h:116</a></div></div>
 <div class="ttc" id="classSVF_1_1AssignStmt_html_a4cec89489e82c60c287cae3327f3f01d"><div class="ttname"><a href="classSVF_1_1AssignStmt.html#a4cec89489e82c60c287cae3327f3f01d">SVF::AssignStmt::getRHSVarID</a></div><div class="ttdeci">NodeID getRHSVarID() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00256">SVFStatements.h:256</a></div></div>
-<div class="ttc" id="classSVF_1_1Options_html_a8eba08052f7af57b762155a58844480c"><div class="ttname"><a href="classSVF_1_1Options.html#a8eba08052f7af57b762155a58844480c">SVF::Options::PAGDotGraphShorter</a></div><div class="ttdeci">static const llvm::cl::opt&lt; bool &gt; PAGDotGraphShorter</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00134">Options.h:134</a></div></div>
 <div class="ttc" id="namespaceSVF_html_a726981481ac082dcda3e4921416b65a0"><div class="ttname"><a href="namespaceSVF.html#a726981481ac082dcda3e4921416b65a0">SVF::raw_string_ostream</a></div><div class="ttdeci">llvm::raw_string_ostream raw_string_ostream</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00100">BasicTypes.h:100</a></div></div>
 <div class="ttc" id="classSVF_1_1AssignStmt_html_a98f731be7be9bc8e7fd09f5c2204c840"><div class="ttname"><a href="classSVF_1_1AssignStmt.html#a98f731be7be9bc8e7fd09f5c2204c840">SVF::AssignStmt::getLHSVarID</a></div><div class="ttdeci">NodeID getLHSVarID() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00259">SVFStatements.h:259</a></div></div>
-<div class="ttc" id="namespaceSVF_1_1SVFUtil_html_a7486fd8e5350879ed1cbd835c0d4e191"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#a7486fd8e5350879ed1cbd835c0d4e191">SVF::SVFUtil::value2String</a></div><div class="ttdeci">const std::string value2String(const Value *value)</div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8cpp_source.html#l00388">SVFUtil.cpp:388</a></div></div>
+<div class="ttc" id="namespaceSVF_1_1SVFUtil_html_a7486fd8e5350879ed1cbd835c0d4e191"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#a7486fd8e5350879ed1cbd835c0d4e191">SVF::SVFUtil::value2String</a></div><div class="ttdeci">const std::string value2String(const Value *value)</div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8cpp_source.html#l00390">SVFUtil.cpp:390</a></div></div>
+<div class="ttc" id="classSVF_1_1Options_html_a63c2ff1420867ea4ef0a94d28b3f0558"><div class="ttname"><a href="classSVF_1_1Options.html#a63c2ff1420867ea4ef0a94d28b3f0558">SVF::Options::ShowSVFIRValue</a></div><div class="ttdeci">static const llvm::cl::opt&lt; bool &gt; ShowSVFIRValue</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00134">Options.h:134</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>