npm - svf-tools - Versions diffs - 1.0.341 → 1.0.345 - Mend

svf-tools 1.0.341 → 1.0.345

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

Files changed (465) hide show

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

@@ -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>

package/SVF-doxygen/html/html/classSVF_1_1ThreadCallGraph-members.html CHANGED Viewed

@@ -70,38 +70,38 @@ $(function() {
 <p>This is the complete list of members for <a class="el" href="classSVF_1_1ThreadCallGraph.html">SVF::ThreadCallGraph</a>, including all inherited members.</p>
 <table class="directory">
   <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1PTACallGraph.html#a8a1621038edeb847bfc5a4a7be7620a3">addCallGraphNode</a>(const SVFFunction *fun)</td><td class="entry"><a class="el" href="classSVF_1_1PTACallGraph.html">SVF::PTACallGraph</a></td><td class="entry"></td></tr>
-  <tr><td class="entry"><a class="el" href="classSVF_1_1PTACallGraph.html#a72efe87a80f84a3945a93431d9414d3d">addCallSite</a>(const CallBlockNode *cs, const SVFFunction *callee)</td><td class="entry"><a class="el" href="classSVF_1_1PTACallGraph.html">SVF::PTACallGraph</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
-  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1PTACallGraph.html#ab0da49175c64d8e2fccd19680d79771e">addDirectCallGraphEdge</a>(const CallBlockNode *call, const SVFFunction *callerFun, const SVFFunction *calleeFun)</td><td class="entry"><a class="el" href="classSVF_1_1PTACallGraph.html">SVF::PTACallGraph</a></td><td class="entry"></td></tr>
-  <tr><td class="entry"><a class="el" href="classSVF_1_1ThreadCallGraph.html#a92e5a3154a98e12bdbbe4e0d39e62b3e">addDirectForkEdge</a>(const CallBlockNode *cs)</td><td class="entry"><a class="el" href="classSVF_1_1ThreadCallGraph.html">SVF::ThreadCallGraph</a></td><td class="entry"></td></tr>
-  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ThreadCallGraph.html#a62476a033fb54314da61dff6981bf229">addDirectJoinEdge</a>(const CallBlockNode *cs, const CallSiteSet &amp;forksite)</td><td class="entry"><a class="el" href="classSVF_1_1ThreadCallGraph.html">SVF::ThreadCallGraph</a></td><td class="entry"></td></tr>
-  <tr><td class="entry"><a class="el" href="classSVF_1_1ThreadCallGraph.html#a700ec3fd1c9d89a7176e05b2f1949aef">addDirectParForEdge</a>(const CallBlockNode *cs)</td><td class="entry"><a class="el" href="classSVF_1_1ThreadCallGraph.html">SVF::ThreadCallGraph</a></td><td class="entry"></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1PTACallGraph.html#a979359fc784e647c574de90c7af2cf40">addCallSite</a>(const CallICFGNode *cs, const SVFFunction *callee)</td><td class="entry"><a class="el" href="classSVF_1_1PTACallGraph.html">SVF::PTACallGraph</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1PTACallGraph.html#a69bf382a228644d1c683b436930ee6df">addDirectCallGraphEdge</a>(const CallICFGNode *call, const SVFFunction *callerFun, const SVFFunction *calleeFun)</td><td class="entry"><a class="el" href="classSVF_1_1PTACallGraph.html">SVF::PTACallGraph</a></td><td class="entry"></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1ThreadCallGraph.html#a19e505dbca2d2b5128762b223b9a7114">addDirectForkEdge</a>(const CallICFGNode *cs)</td><td class="entry"><a class="el" href="classSVF_1_1ThreadCallGraph.html">SVF::ThreadCallGraph</a></td><td class="entry"></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ThreadCallGraph.html#a8e1a6710a05e08b9ed87e373bd5bd0ee">addDirectJoinEdge</a>(const CallICFGNode *cs, const CallSiteSet &amp;forksite)</td><td class="entry"><a class="el" href="classSVF_1_1ThreadCallGraph.html">SVF::ThreadCallGraph</a></td><td class="entry"></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1ThreadCallGraph.html#ae942f7d46198207219e5ce8287497262">addDirectParForEdge</a>(const CallICFGNode *cs)</td><td class="entry"><a class="el" href="classSVF_1_1ThreadCallGraph.html">SVF::ThreadCallGraph</a></td><td class="entry"></td></tr>
   <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1PTACallGraph.html#a3154bbc421fc85649e786ed67ca03750">addEdge</a>(PTACallGraphEdge *edge)</td><td class="entry"><a class="el" href="classSVF_1_1PTACallGraph.html">SVF::PTACallGraph</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
-  <tr><td class="entry"><a class="el" href="classSVF_1_1ThreadCallGraph.html#a6e2ebab64fd01e40e7100162fe544b04">addForksite</a>(const CallBlockNode *cs)</td><td class="entry"><a class="el" href="classSVF_1_1ThreadCallGraph.html">SVF::ThreadCallGraph</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1ThreadCallGraph.html#a563ebb1ece0adb4bafe5e14b2a024a91">addForksite</a>(const CallICFGNode *cs)</td><td class="entry"><a class="el" href="classSVF_1_1ThreadCallGraph.html">SVF::ThreadCallGraph</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
   <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html#a0a8831a5429005ff9d71adbd6bf3994f">addGNode</a>(NodeID id, NodeType *node)</td><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html">SVF::GenericGraph&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_1ThreadCallGraph.html#a845258d0d19de3dda573521a34dbf705">addHareParForEdgeSetMap</a>(const CallBlockNode *cs, HareParForEdge *edge)</td><td class="entry"><a class="el" href="classSVF_1_1ThreadCallGraph.html">SVF::ThreadCallGraph</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
-  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1PTACallGraph.html#a09d0b8461ec0e678e1e69368b0f66b02">addIndirectCallGraphEdge</a>(const CallBlockNode *cs, const SVFFunction *callerFun, const SVFFunction *calleeFun)</td><td class="entry"><a class="el" href="classSVF_1_1PTACallGraph.html">SVF::PTACallGraph</a></td><td class="entry"></td></tr>
-  <tr><td class="entry"><a class="el" href="classSVF_1_1ThreadCallGraph.html#a2b0ccaaf219533907c0733b050628100">addIndirectForkEdge</a>(const CallBlockNode *cs, const SVFFunction *callee)</td><td class="entry"><a class="el" href="classSVF_1_1ThreadCallGraph.html">SVF::ThreadCallGraph</a></td><td class="entry"></td></tr>
-  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ThreadCallGraph.html#a349b7fce76822de0c13118d9fdcd3db9">addIndirectParForEdge</a>(const CallBlockNode *cs, const SVFFunction *callee)</td><td class="entry"><a class="el" href="classSVF_1_1ThreadCallGraph.html">SVF::ThreadCallGraph</a></td><td class="entry"></td></tr>
-  <tr><td class="entry"><a class="el" href="classSVF_1_1ThreadCallGraph.html#ae72e4e29bfda892f059f719454f6fcd2">addJoinsite</a>(const CallBlockNode *cs)</td><td class="entry"><a class="el" href="classSVF_1_1ThreadCallGraph.html">SVF::ThreadCallGraph</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
-  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ThreadCallGraph.html#a9daa0817e1f88a2478d7094646c72e13">addParForSite</a>(const CallBlockNode *cs)</td><td class="entry"><a class="el" href="classSVF_1_1ThreadCallGraph.html">SVF::ThreadCallGraph</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
-  <tr><td class="entry"><a class="el" href="classSVF_1_1ThreadCallGraph.html#a29d3e4d720f61b4c29fee9691cedff96">addThreadForkEdgeSetMap</a>(const CallBlockNode *cs, ThreadForkEdge *edge)</td><td class="entry"><a class="el" href="classSVF_1_1ThreadCallGraph.html">SVF::ThreadCallGraph</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
-  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ThreadCallGraph.html#a70a03bcaa6386ef39188acb6b2aa9d5a">addThreadJoinEdgeSetMap</a>(const CallBlockNode *cs, ThreadJoinEdge *edge)</td><td class="entry"><a class="el" href="classSVF_1_1ThreadCallGraph.html">SVF::ThreadCallGraph</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1ThreadCallGraph.html#aae1caa7231ab9436db98403d6a175149">addHareParForEdgeSetMap</a>(const CallICFGNode *cs, HareParForEdge *edge)</td><td class="entry"><a class="el" href="classSVF_1_1ThreadCallGraph.html">SVF::ThreadCallGraph</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1PTACallGraph.html#a46416c668e2f0099394e79f685ede758">addIndirectCallGraphEdge</a>(const CallICFGNode *cs, const SVFFunction *callerFun, const SVFFunction *calleeFun)</td><td class="entry"><a class="el" href="classSVF_1_1PTACallGraph.html">SVF::PTACallGraph</a></td><td class="entry"></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1ThreadCallGraph.html#a579dd874301280f7c9750c2a22f065c7">addIndirectForkEdge</a>(const CallICFGNode *cs, const SVFFunction *callee)</td><td class="entry"><a class="el" href="classSVF_1_1ThreadCallGraph.html">SVF::ThreadCallGraph</a></td><td class="entry"></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ThreadCallGraph.html#a9258b680de64d8d2fdd1cb9aed8ae428">addIndirectParForEdge</a>(const CallICFGNode *cs, const SVFFunction *callee)</td><td class="entry"><a class="el" href="classSVF_1_1ThreadCallGraph.html">SVF::ThreadCallGraph</a></td><td class="entry"></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1ThreadCallGraph.html#a795d504a098634b1725af272b37e46e7">addJoinsite</a>(const CallICFGNode *cs)</td><td class="entry"><a class="el" href="classSVF_1_1ThreadCallGraph.html">SVF::ThreadCallGraph</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ThreadCallGraph.html#a69719915e8c23e3afd6766daea946ffe">addParForSite</a>(const CallICFGNode *cs)</td><td class="entry"><a class="el" href="classSVF_1_1ThreadCallGraph.html">SVF::ThreadCallGraph</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1ThreadCallGraph.html#ab20211a66583387f0da4769bee65e300">addThreadForkEdgeSetMap</a>(const CallICFGNode *cs, ThreadForkEdge *edge)</td><td class="entry"><a class="el" href="classSVF_1_1ThreadCallGraph.html">SVF::ThreadCallGraph</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ThreadCallGraph.html#a7100a68c27a965927975e26bb06e061c">addThreadJoinEdgeSetMap</a>(const CallICFGNode *cs, ThreadJoinEdge *edge)</td><td class="entry"><a class="el" href="classSVF_1_1ThreadCallGraph.html">SVF::ThreadCallGraph</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
   <tr><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html#a0d9744b1b0e7a09a6f7af29188e243b7">begin</a>()</td><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html">SVF::GenericGraph&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_1GenericGraph.html#a3385b008ae03444404c1e392fd47f1d6">begin</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html">SVF::GenericGraph&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_1PTACallGraph.html#a47bfbae96294592f4e6060deddbe5700">CallEdgeMap</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1PTACallGraph.html">SVF::PTACallGraph</a></td><td class="entry"></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1PTACallGraph.html#a4948c9e7ff7f1c86d0f27c49e7208aa3">CallEdgeMap</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1PTACallGraph.html">SVF::PTACallGraph</a></td><td class="entry"></td></tr>
   <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1PTACallGraph.html#a9b7f6979a95244c620fdb791e053237b">CallGraphEdgeConstIter</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1PTACallGraph.html">SVF::PTACallGraph</a></td><td class="entry"></td></tr>
   <tr><td class="entry"><a class="el" href="classSVF_1_1PTACallGraph.html#a2f28a1ce0c7d6a0bc2fc2627e90acf1c">CallGraphEdgeIter</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1PTACallGraph.html">SVF::PTACallGraph</a></td><td class="entry"></td></tr>
   <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1PTACallGraph.html#a1ad288117daa4031e195eb35d805cac6">CallGraphEdgeSet</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1PTACallGraph.html">SVF::PTACallGraph</a></td><td class="entry"></td></tr>
   <tr><td class="entry"><a class="el" href="classSVF_1_1PTACallGraph.html#af0e1a940677fb7f6c4aaef2f9c46c3e5">callGraphNodeNum</a></td><td class="entry"><a class="el" href="classSVF_1_1PTACallGraph.html">SVF::PTACallGraph</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
   <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1PTACallGraph.html#ab29003352d8152b9d0fd37919ac212c5">callinstToCallGraphEdgesMap</a></td><td class="entry"><a class="el" href="classSVF_1_1PTACallGraph.html">SVF::PTACallGraph</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
-  <tr><td class="entry"><a class="el" href="classSVF_1_1PTACallGraph.html#a16d115dd425ec02ab6d91c711fab7fd9">CallInstToCallGraphEdgesMap</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1PTACallGraph.html">SVF::PTACallGraph</a></td><td class="entry"></td></tr>
-  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ThreadCallGraph.html#ad0d6585b7d26cd4597466a79e2fedacd">CallInstToForkEdgesMap</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1ThreadCallGraph.html">SVF::ThreadCallGraph</a></td><td class="entry"></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1PTACallGraph.html#a09245c929079024095cfe0d6570b70e8">CallInstToCallGraphEdgesMap</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1PTACallGraph.html">SVF::PTACallGraph</a></td><td class="entry"></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ThreadCallGraph.html#aec88ec07a721b120290a7dde94ae1b51">CallInstToForkEdgesMap</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1ThreadCallGraph.html">SVF::ThreadCallGraph</a></td><td class="entry"></td></tr>
   <tr><td class="entry"><a class="el" href="classSVF_1_1ThreadCallGraph.html#a42a088dba9cda7a7718685f80f52c928">callinstToHareParForEdgesMap</a></td><td class="entry"><a class="el" href="classSVF_1_1ThreadCallGraph.html">SVF::ThreadCallGraph</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
-  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ThreadCallGraph.html#a2f24d314b211151182bee38b61731749">CallInstToJoinEdgesMap</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1ThreadCallGraph.html">SVF::ThreadCallGraph</a></td><td class="entry"></td></tr>
-  <tr><td class="entry"><a class="el" href="classSVF_1_1ThreadCallGraph.html#ac6eb68444968f7bfc3e1e16099454cab">CallInstToParForEdgesMap</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1ThreadCallGraph.html">SVF::ThreadCallGraph</a></td><td class="entry"></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ThreadCallGraph.html#ab446ddd20cf46eeb76fcd5789faef521">CallInstToJoinEdgesMap</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1ThreadCallGraph.html">SVF::ThreadCallGraph</a></td><td class="entry"></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1ThreadCallGraph.html#aba9d3e04e923cc787ab46a1f7eebb554">CallInstToParForEdgesMap</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1ThreadCallGraph.html">SVF::ThreadCallGraph</a></td><td class="entry"></td></tr>
   <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ThreadCallGraph.html#a79ba3df9d85eed3c9a55e6797fdcb9b9">callinstToThreadForkEdgesMap</a></td><td class="entry"><a class="el" href="classSVF_1_1ThreadCallGraph.html">SVF::ThreadCallGraph</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
   <tr><td class="entry"><a class="el" href="classSVF_1_1ThreadCallGraph.html#af2009968716a3785322e664a712cbb60">callinstToThreadJoinEdgesMap</a></td><td class="entry"><a class="el" href="classSVF_1_1ThreadCallGraph.html">SVF::ThreadCallGraph</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
-  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1PTACallGraph.html#a1d1ea71cb29e190ad3c6817810bd57c7">CallSitePair</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1PTACallGraph.html">SVF::PTACallGraph</a></td><td class="entry"></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1PTACallGraph.html#a178d9971028e8ce26ab8894c5c6b5784">CallSitePair</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1PTACallGraph.html">SVF::PTACallGraph</a></td><td class="entry"></td></tr>
   <tr><td class="entry"><a class="el" href="classSVF_1_1ThreadCallGraph.html#a0d560b811f8df1a710c627e1ac100155">CallSiteSet</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1ThreadCallGraph.html">SVF::ThreadCallGraph</a></td><td class="entry"></td></tr>
   <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1PTACallGraph.html#ae4e3e5f108bc1e47af8f58d2e43345d2">CallSiteToIdMap</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1PTACallGraph.html">SVF::PTACallGraph</a></td><td class="entry"></td></tr>
   <tr><td class="entry"><a class="el" href="classSVF_1_1ThreadCallGraph.html#a8c6eef5a291bd0c65cc2f816767795f1">CallToInstMap</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1ThreadCallGraph.html">SVF::ThreadCallGraph</a></td><td class="entry"></td></tr>
@@ -125,27 +125,27 @@ $(function() {
   <tr><td class="entry"><a class="el" href="classSVF_1_1PTACallGraph.html#a049bc978a93f0db1fe91efb6feb22b14">FunToCallGraphNodeMap</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1PTACallGraph.html">SVF::PTACallGraph</a></td><td class="entry"></td></tr>
   <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html#aa5837cddbbd63c5a8ac5725bcecb192f">GenericGraph</a>()</td><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html">SVF::GenericGraph&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_1PTACallGraph.html#a80070e2f50ed1036d334250841215ca8">getAllCallSitesInvokingCallee</a>(const SVFFunction *callee, PTACallGraphEdge::CallInstSet &amp;csSet)</td><td class="entry"><a class="el" href="classSVF_1_1PTACallGraph.html">SVF::PTACallGraph</a></td><td class="entry"></td></tr>
-  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1PTACallGraph.html#acf542e7e581ffa8453066f4c8cdfb65c">getCallEdgeBegin</a>(const CallBlockNode *inst) const</td><td class="entry"><a class="el" href="classSVF_1_1PTACallGraph.html">SVF::PTACallGraph</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
-  <tr><td class="entry"><a class="el" href="classSVF_1_1PTACallGraph.html#abfa1f3777d16597392385cf7d8bac472">getCallEdgeEnd</a>(const CallBlockNode *inst) const</td><td class="entry"><a class="el" href="classSVF_1_1PTACallGraph.html">SVF::PTACallGraph</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1PTACallGraph.html#a4ed2fd37007de9c873d5e197a0b3bd4e">getCallEdgeBegin</a>(const CallICFGNode *inst) const</td><td class="entry"><a class="el" href="classSVF_1_1PTACallGraph.html">SVF::PTACallGraph</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1PTACallGraph.html#a170a33ac22673dfd363c3e3b96987737">getCallEdgeEnd</a>(const CallICFGNode *inst) const</td><td class="entry"><a class="el" href="classSVF_1_1PTACallGraph.html">SVF::PTACallGraph</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
   <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1PTACallGraph.html#aacd5f35171717cb4d758c17bef828a0f">getCalleeOfCallSite</a>(CallSiteID id) const</td><td class="entry"><a class="el" href="classSVF_1_1PTACallGraph.html">SVF::PTACallGraph</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
-  <tr><td class="entry"><a class="el" href="classSVF_1_1PTACallGraph.html#a486f79252c216eb5a9f4c09261a24ae2">getCallees</a>(const CallBlockNode *cs, FunctionSet &amp;callees)</td><td class="entry"><a class="el" href="classSVF_1_1PTACallGraph.html">SVF::PTACallGraph</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1PTACallGraph.html#a317e09edb29b110cf4273009551d31ec">getCallees</a>(const CallICFGNode *cs, FunctionSet &amp;callees)</td><td class="entry"><a class="el" href="classSVF_1_1PTACallGraph.html">SVF::PTACallGraph</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
   <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1PTACallGraph.html#a42035e9669204ddd5d38583db21af3d7">getCallerOfCallSite</a>(CallSiteID id) const</td><td class="entry"><a class="el" href="classSVF_1_1PTACallGraph.html">SVF::PTACallGraph</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
   <tr><td class="entry"><a class="el" href="classSVF_1_1PTACallGraph.html#aaab54c670518d9d6790707f76ea76aa1">getCallGraphNode</a>(NodeID id) const</td><td class="entry"><a class="el" href="classSVF_1_1PTACallGraph.html">SVF::PTACallGraph</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
   <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1PTACallGraph.html#ae3ee76be0e959a736c868dc7e0128077">getCallGraphNode</a>(const SVFFunction *fun) const</td><td class="entry"><a class="el" href="classSVF_1_1PTACallGraph.html">SVF::PTACallGraph</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
   <tr><td class="entry"><a class="el" href="classSVF_1_1PTACallGraph.html#a368306a46d84ccc6d07d94833aded629">getCallInstToCallGraphEdgesMap</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1PTACallGraph.html">SVF::PTACallGraph</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
-  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1PTACallGraph.html#a2c8b1674f1f942a3b5aa77b7abccb229">getCallSite</a>(CallSiteID id) const</td><td class="entry"><a class="el" href="classSVF_1_1PTACallGraph.html">SVF::PTACallGraph</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
-  <tr><td class="entry"><a class="el" href="classSVF_1_1PTACallGraph.html#afb2daec804e81f0beb72fbc805d1c82a">getCallSiteID</a>(const CallBlockNode *cs, const SVFFunction *callee) const</td><td class="entry"><a class="el" href="classSVF_1_1PTACallGraph.html">SVF::PTACallGraph</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1PTACallGraph.html#a16e0017ad3a2d36d7efbc4383e394154">getCallSite</a>(CallSiteID id) const</td><td class="entry"><a class="el" href="classSVF_1_1PTACallGraph.html">SVF::PTACallGraph</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1PTACallGraph.html#a711bd8ad385f8454fbfcd20f134efe1b">getCallSiteID</a>(const CallICFGNode *cs, const SVFFunction *callee) const</td><td class="entry"><a class="el" href="classSVF_1_1PTACallGraph.html">SVF::PTACallGraph</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
   <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1PTACallGraph.html#a9155629ddc58f71c6a6f2aec978e4610">getCallSitePair</a>(CallSiteID id) const</td><td class="entry"><a class="el" href="classSVF_1_1PTACallGraph.html">SVF::PTACallGraph</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
   <tr><td class="entry"><a class="el" href="classSVF_1_1PTACallGraph.html#a0d2544130cc2cdc3ac418c975c278eb2">getDirCallSitesInvokingCallee</a>(const SVFFunction *callee, PTACallGraphEdge::CallInstSet &amp;csSet)</td><td class="entry"><a class="el" href="classSVF_1_1PTACallGraph.html">SVF::PTACallGraph</a></td><td class="entry"></td></tr>
-  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ThreadCallGraph.html#af33e1701215e9818b22f11789746821e">getForkEdgeBegin</a>(const CallBlockNode *cs) const</td><td class="entry"><a class="el" href="classSVF_1_1ThreadCallGraph.html">SVF::ThreadCallGraph</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
-  <tr><td class="entry"><a class="el" href="classSVF_1_1ThreadCallGraph.html#a43513b641e4f05ec165db78e3ac55fef">getForkEdgeEnd</a>(const CallBlockNode *cs) const</td><td class="entry"><a class="el" href="classSVF_1_1ThreadCallGraph.html">SVF::ThreadCallGraph</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ThreadCallGraph.html#a8721610a39212613ad55bbd46a35c576">getForkEdgeBegin</a>(const CallICFGNode *cs) const</td><td class="entry"><a class="el" href="classSVF_1_1ThreadCallGraph.html">SVF::ThreadCallGraph</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1ThreadCallGraph.html#a8351e7ab445cb7faf0209d1fbc63fce1">getForkEdgeEnd</a>(const CallICFGNode *cs) const</td><td class="entry"><a class="el" href="classSVF_1_1ThreadCallGraph.html">SVF::ThreadCallGraph</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
   <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html#a43c9c773bfa17abf481c33073e30d01b">getGNode</a>(NodeID id) const</td><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html">SVF::GenericGraph&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_1PTACallGraph.html#a2634a24621ab93fae7ec1cf94a8cba0b">getGraphEdge</a>(PTACallGraphNode *src, PTACallGraphNode *dst, PTACallGraphEdge::CEDGEK kind, CallSiteID csId)</td><td class="entry"><a class="el" href="classSVF_1_1PTACallGraph.html">SVF::PTACallGraph</a></td><td class="entry"></td></tr>
   <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1PTACallGraph.html#ad49fa2a288945f6910deb11acdf6a42d">getIndCallMap</a>()</td><td class="entry"><a class="el" href="classSVF_1_1PTACallGraph.html">SVF::PTACallGraph</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
   <tr><td class="entry"><a class="el" href="classSVF_1_1PTACallGraph.html#a9a4b0c6672288b9201ab254b4c49548d">getIndCallSitesInvokingCallee</a>(const SVFFunction *callee, PTACallGraphEdge::CallInstSet &amp;csSet)</td><td class="entry"><a class="el" href="classSVF_1_1PTACallGraph.html">SVF::PTACallGraph</a></td><td class="entry"></td></tr>
-  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1PTACallGraph.html#a88bec70a6bf5c1c41bc4efd035ef0e08">getIndCSCallees</a>(const CallBlockNode *cs) const</td><td class="entry"><a class="el" href="classSVF_1_1PTACallGraph.html">SVF::PTACallGraph</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
-  <tr><td class="entry"><a class="el" href="classSVF_1_1ThreadCallGraph.html#ad6215527f01188f8e65fe8616e92dbc2">getJoinEdgeBegin</a>(const CallBlockNode *cs) const</td><td class="entry"><a class="el" href="classSVF_1_1ThreadCallGraph.html">SVF::ThreadCallGraph</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
-  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ThreadCallGraph.html#a17b7b3f0bdb4a52166b8509bd90499ba">getJoinEdgeEnd</a>(const CallBlockNode *cs) const</td><td class="entry"><a class="el" href="classSVF_1_1ThreadCallGraph.html">SVF::ThreadCallGraph</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1PTACallGraph.html#ac106536778c829d6925d6ed2149aeb44">getIndCSCallees</a>(const CallICFGNode *cs) const</td><td class="entry"><a class="el" href="classSVF_1_1PTACallGraph.html">SVF::PTACallGraph</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1ThreadCallGraph.html#af848d7cb8a9f756ff45cca45adbf3b84">getJoinEdgeBegin</a>(const CallICFGNode *cs) const</td><td class="entry"><a class="el" href="classSVF_1_1ThreadCallGraph.html">SVF::ThreadCallGraph</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ThreadCallGraph.html#a811d7d13c05c71bd816621a9a8765365">getJoinEdgeEnd</a>(const CallICFGNode *cs) const</td><td class="entry"><a class="el" href="classSVF_1_1ThreadCallGraph.html">SVF::ThreadCallGraph</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
   <tr><td class="entry"><a class="el" href="classSVF_1_1ThreadCallGraph.html#aa8be8d48d680b3f2e61b2d8af5e9eddc">getJoinSites</a>(const PTACallGraphNode *routine, InstSet &amp;csSet)</td><td class="entry"><a class="el" href="classSVF_1_1ThreadCallGraph.html">SVF::ThreadCallGraph</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
   <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1PTACallGraph.html#ac6a294ec1c88862c8f7d54000f04e1f7">getKind</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1PTACallGraph.html">SVF::PTACallGraph</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
   <tr><td class="entry"><a class="el" href="classSVF_1_1ThreadCallGraph.html#aa847760765aae18bcb93b260a881441b">getNumOfForksite</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1ThreadCallGraph.html">SVF::ThreadCallGraph</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
@@ -156,24 +156,24 @@ $(function() {
   <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1PTACallGraph.html#aab4214b734d00f5db59385535419ca58">getTotalCallSiteNumber</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1PTACallGraph.html">SVF::PTACallGraph</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
   <tr><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html#a29cab1426b0000bd87c026ab8c9979c0">getTotalEdgeNum</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html">SVF::GenericGraph&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_1GenericGraph.html#a8c8d16036008f87c7811586047599858">getTotalNodeNum</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html">SVF::GenericGraph&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_1PTACallGraph.html#afdd308d681cb2a57e9473186f431db61">hasCallGraphEdge</a>(const CallBlockNode *inst) const</td><td class="entry"><a class="el" href="classSVF_1_1PTACallGraph.html">SVF::PTACallGraph</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
-  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1PTACallGraph.html#a236d1269b1b560e09f22e0197f6f1ad7">hasCallSiteID</a>(const CallBlockNode *cs, const SVFFunction *callee) const</td><td class="entry"><a class="el" href="classSVF_1_1PTACallGraph.html">SVF::PTACallGraph</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1PTACallGraph.html#af8df9ca6d906453fa3f7168aa84fd087">hasCallGraphEdge</a>(const CallICFGNode *inst) const</td><td class="entry"><a class="el" href="classSVF_1_1PTACallGraph.html">SVF::PTACallGraph</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1PTACallGraph.html#aa8dbda3e46533680173e55d396f36756">hasCallSiteID</a>(const CallICFGNode *cs, const SVFFunction *callee) const</td><td class="entry"><a class="el" href="classSVF_1_1PTACallGraph.html">SVF::PTACallGraph</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
   <tr><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html#a6885064afa211958af7b73f0233284e5">hasGNode</a>(NodeID id) const</td><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html">SVF::GenericGraph&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_1PTACallGraph.html#a6d29a39440d8f6290e2e8b7322b965fb">hasGraphEdge</a>(PTACallGraphNode *src, PTACallGraphNode *dst, PTACallGraphEdge::CEDGEK kind, CallSiteID csId) const</td><td class="entry"><a class="el" href="classSVF_1_1PTACallGraph.html">SVF::PTACallGraph</a></td><td class="entry"></td></tr>
-  <tr><td class="entry"><a class="el" href="classSVF_1_1PTACallGraph.html#ac46ec4fe0094145c5fdb81394f1dd644">hasIndCSCallees</a>(const CallBlockNode *cs) const</td><td class="entry"><a class="el" href="classSVF_1_1PTACallGraph.html">SVF::PTACallGraph</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
-  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ThreadCallGraph.html#ac528526e77b995de0cd5e718503f42ed">hasThreadForkEdge</a>(const CallBlockNode *cs) const</td><td class="entry"><a class="el" href="classSVF_1_1ThreadCallGraph.html">SVF::ThreadCallGraph</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
-  <tr><td class="entry"><a class="el" href="classSVF_1_1ThreadCallGraph.html#ac591fcd46254a0d809dac16ee15ab12e">hasThreadJoinEdge</a>(const CallBlockNode *cs) const</td><td class="entry"><a class="el" href="classSVF_1_1ThreadCallGraph.html">SVF::ThreadCallGraph</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
-  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ThreadCallGraph.html#a10f3f07059d0534e391093372fcd708d">hasThreadJoinEdge</a>(const CallBlockNode *call, PTACallGraphNode *joinFunNode, PTACallGraphNode *threadRoutineFunNode, CallSiteID csId) const</td><td class="entry"><a class="el" href="classSVF_1_1ThreadCallGraph.html">SVF::ThreadCallGraph</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1PTACallGraph.html#a71a63c53a093ea8e450fb53fd60c9424">hasIndCSCallees</a>(const CallICFGNode *cs) const</td><td class="entry"><a class="el" href="classSVF_1_1PTACallGraph.html">SVF::PTACallGraph</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ThreadCallGraph.html#a933a6a2f0a0c6364e8df1bc65a07192f">hasThreadForkEdge</a>(const CallICFGNode *cs) const</td><td class="entry"><a class="el" href="classSVF_1_1ThreadCallGraph.html">SVF::ThreadCallGraph</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1ThreadCallGraph.html#a5f7c92af1a4ce33e4746f5b65c9c8421">hasThreadJoinEdge</a>(const CallICFGNode *cs) const</td><td class="entry"><a class="el" href="classSVF_1_1ThreadCallGraph.html">SVF::ThreadCallGraph</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ThreadCallGraph.html#a98214e970762f43d0e9ad719961b4021">hasThreadJoinEdge</a>(const CallICFGNode *call, PTACallGraphNode *joinFunNode, PTACallGraphNode *threadRoutineFunNode, CallSiteID csId) const</td><td class="entry"><a class="el" href="classSVF_1_1ThreadCallGraph.html">SVF::ThreadCallGraph</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
   <tr><td class="entry"><a class="el" href="classSVF_1_1PTACallGraph.html#a5f626f5c9254b9e643d943e59068efba">IdToCallSiteMap</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1PTACallGraph.html">SVF::PTACallGraph</a></td><td class="entry"></td></tr>
   <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html#a47a1ef8b67b0c92f78b4457dc3bbfe71">IDToNodeMap</a></td><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html">SVF::GenericGraph&lt; NodeTy, EdgeTy &gt;</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
   <tr><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html#ab9027b190f50ceefc90094e4f967f269">IDToNodeMapTy</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html">SVF::GenericGraph&lt; NodeTy, EdgeTy &gt;</a></td><td class="entry"></td></tr>
   <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html#a2f2bca8219c7d769f6d2937e5cd40d14">incEdgeNum</a>()</td><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html">SVF::GenericGraph&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_1GenericGraph.html#a7388dabef7300e77adf33f3999639f21">incNodeNum</a>()</td><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html">SVF::GenericGraph&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_1ThreadCallGraph.html#ad48fad1fec75346c9eb79bbd6e8caee4">InstSet</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1ThreadCallGraph.html">SVF::ThreadCallGraph</a></td><td class="entry"></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ThreadCallGraph.html#a57b69bfb5d468bd1a81a55468f845de0">InstSet</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1ThreadCallGraph.html">SVF::ThreadCallGraph</a></td><td class="entry"></td></tr>
   <tr><td class="entry"><a class="el" href="classSVF_1_1ThreadCallGraph.html#af952209ad8f7ae0c0f58c87d97f57ee9">InstVector</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1ThreadCallGraph.html">SVF::ThreadCallGraph</a></td><td class="entry"></td></tr>
-  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ThreadCallGraph.html#aa5c29ac668359942a9bc31cacd0cd9c4">isForksite</a>(const CallBlockNode *csInst)</td><td class="entry"><a class="el" href="classSVF_1_1ThreadCallGraph.html">SVF::ThreadCallGraph</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
-  <tr><td class="entry"><a class="el" href="classSVF_1_1ThreadCallGraph.html#ac9dde4936d04321a17656af1af1108da">isJoinsite</a>(const CallBlockNode *csInst)</td><td class="entry"><a class="el" href="classSVF_1_1ThreadCallGraph.html">SVF::ThreadCallGraph</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
-  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ThreadCallGraph.html#af5ad00c7a5362aa288bddf4824601ab8">isParForSite</a>(const CallBlockNode *csInst)</td><td class="entry"><a class="el" href="classSVF_1_1ThreadCallGraph.html">SVF::ThreadCallGraph</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ThreadCallGraph.html#a07d3db6ffe8d75effd6fbc3856c484fe">isForksite</a>(const CallICFGNode *csInst)</td><td class="entry"><a class="el" href="classSVF_1_1ThreadCallGraph.html">SVF::ThreadCallGraph</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1ThreadCallGraph.html#ac75a38384cda8379c32b4d01d4d5d20a">isJoinsite</a>(const CallICFGNode *csInst)</td><td class="entry"><a class="el" href="classSVF_1_1ThreadCallGraph.html">SVF::ThreadCallGraph</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ThreadCallGraph.html#ae18f0b3245694145f6d9262ee28c6453">isParForSite</a>(const CallICFGNode *csInst)</td><td class="entry"><a class="el" href="classSVF_1_1ThreadCallGraph.html">SVF::ThreadCallGraph</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
   <tr><td class="entry"><a class="el" href="classSVF_1_1PTACallGraph.html#aa03df6b1ebf7f8356a47fa074d3f91a4">isReachableBetweenFunctions</a>(const SVFFunction *srcFn, const SVFFunction *dstFn) const</td><td class="entry"><a class="el" href="classSVF_1_1PTACallGraph.html">SVF::PTACallGraph</a></td><td class="entry"></td></tr>
   <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html#ac213302cf5c7cdf3b66f7b18649d0fbc">iterator</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html">SVF::GenericGraph&lt; NodeTy, EdgeTy &gt;</a></td><td class="entry"></td></tr>
   <tr><td class="entry"><a class="el" href="classSVF_1_1ThreadCallGraph.html#aa9e07204488ec8f0f83f4e218b6ce6bd">JoinEdgeSet</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1ThreadCallGraph.html">SVF::ThreadCallGraph</a></td><td class="entry"></td></tr>