svf-tools 1.0.348 → 1.0.352

package/SVF-doxygen/html/html/classSVF_1_1SVFGOPT.html

@@ -454,11 +454,11 @@ Protected Member Functions</h2></td></tr>
 <tr class="memitem:a3544cc0380964f238c964a0e7b417862 inherit pro_methods_classSVF_1_1VFG"><td class="memItemLeft" align="right" valign="top">void&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1VFG.html#a3544cc0380964f238c964a0e7b417862">addVFGNodes</a> ()</td></tr>
 <tr class="memdesc:a3544cc0380964f238c964a0e7b417862 inherit pro_methods_classSVF_1_1VFG"><td class="mdescLeft">&#160;</td><td class="mdescRight">Create <a class="el" href="classSVF_1_1VFG.html">VFG</a> nodes.  <a href="classSVF_1_1VFG.html#a3544cc0380964f238c964a0e7b417862">More...</a><br /></td></tr>
 <tr class="separator:a3544cc0380964f238c964a0e7b417862 inherit pro_methods_classSVF_1_1VFG"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:a77c2855e80d85ee122e3ee076402d864 inherit pro_methods_classSVF_1_1VFG"><td class="memItemLeft" align="right" valign="top">virtual <a class="el" href="classSVF_1_1SVFStmt.html#a8cd7b6c6fd8b030b1421d95a086359f4">PAGEdge::SVFStmtSetTy</a> &amp;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1VFG.html#a77c2855e80d85ee122e3ee076402d864">getPAGEdgeSet</a> (<a class="el" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9">PAGEdge::PEDGEK</a> <a class="el" href="classSVF_1_1VFG.html#a3867c591a231bad0aa2e6ab7c095a42f">kind</a>)</td></tr>
-<tr class="memdesc:a77c2855e80d85ee122e3ee076402d864 inherit pro_methods_classSVF_1_1VFG"><td class="mdescLeft">&#160;</td><td class="mdescRight">Get PAGEdge set.  <a href="classSVF_1_1VFG.html#a77c2855e80d85ee122e3ee076402d864">More...</a><br /></td></tr>
-<tr class="separator:a77c2855e80d85ee122e3ee076402d864 inherit pro_methods_classSVF_1_1VFG"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:a0b71873131a63eb6ee47ed2f66e3154a inherit pro_methods_classSVF_1_1VFG"><td class="memItemLeft" align="right" valign="top">virtual bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1VFG.html#a0b71873131a63eb6ee47ed2f66e3154a">isInterestedPAGNode</a> (const <a class="el" href="namespaceSVF.html#a733b44f64a95e6e13e7379120d7a3eea">PAGNode</a> *node) const</td></tr>
-<tr class="separator:a0b71873131a63eb6ee47ed2f66e3154a inherit pro_methods_classSVF_1_1VFG"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a2e182f7e90a3519a2147a300470a88f1 inherit pro_methods_classSVF_1_1VFG"><td class="memItemLeft" align="right" valign="top">virtual <a class="el" href="classSVF_1_1SVFStmt.html#a8cd7b6c6fd8b030b1421d95a086359f4">SVFStmt::SVFStmtSetTy</a> &amp;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1VFG.html#a2e182f7e90a3519a2147a300470a88f1">getPAGEdgeSet</a> (<a class="el" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9">SVFStmt::PEDGEK</a> <a class="el" href="classSVF_1_1VFG.html#a3867c591a231bad0aa2e6ab7c095a42f">kind</a>)</td></tr>
+<tr class="memdesc:a2e182f7e90a3519a2147a300470a88f1 inherit pro_methods_classSVF_1_1VFG"><td class="mdescLeft">&#160;</td><td class="mdescRight">Get PAGEdge set.  <a href="classSVF_1_1VFG.html#a2e182f7e90a3519a2147a300470a88f1">More...</a><br /></td></tr>
+<tr class="separator:a2e182f7e90a3519a2147a300470a88f1 inherit pro_methods_classSVF_1_1VFG"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a85360d0242ea7d2ec7da670f2cc17962 inherit pro_methods_classSVF_1_1VFG"><td class="memItemLeft" align="right" valign="top">virtual bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1VFG.html#a85360d0242ea7d2ec7da670f2cc17962">isInterestedPAGNode</a> (const <a class="el" href="classSVF_1_1SVFVar.html">SVFVar</a> *node) const</td></tr>
+<tr class="separator:a85360d0242ea7d2ec7da670f2cc17962 inherit pro_methods_classSVF_1_1VFG"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:adedaba0713164e10ce6273b2947535e0 inherit pro_methods_classSVF_1_1VFG"><td class="memItemLeft" align="right" valign="top">void&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1VFG.html#adedaba0713164e10ce6273b2947535e0">connectDirectVFGEdges</a> ()</td></tr>
 <tr class="memdesc:adedaba0713164e10ce6273b2947535e0 inherit pro_methods_classSVF_1_1VFG"><td class="mdescLeft">&#160;</td><td class="mdescRight">Create edges between <a class="el" href="classSVF_1_1VFG.html">VFG</a> nodes within a function.  <a href="classSVF_1_1VFG.html#adedaba0713164e10ce6273b2947535e0">More...</a><br /></td></tr>
 <tr class="separator:adedaba0713164e10ce6273b2947535e0 inherit pro_methods_classSVF_1_1VFG"><td class="memSeparator" colspan="2">&#160;</td></tr>
@@ -1719,7 +1719,7 @@ Additional Inherited Members</h2></td></tr>
 <div class="ttc" id="namespaceSVF_html_a71d4e214e049f02bf26537cba6328673"><div class="ttname"><a href="namespaceSVF.html#a71d4e214e049f02bf26537cba6328673">SVF::PHISVFGNode</a></div><div class="ttdeci">PHIVFGNode PHISVFGNode</div><div class="ttdef"><b>Definition:</b> <a href="SVFG_8h_source.html#l00056">SVFG.h:56</a></div></div>
 <div class="ttc" id="classSVF_1_1SVFG_html_abd917826bf50ed409a307ce00562c97d"><div class="ttname"><a href="classSVF_1_1SVFG.html#abd917826bf50ed409a307ce00562c97d">SVF::SVFG::getDef</a></div><div class="ttdeci">NodeID getDef(const PAGNode *pagNode) const</div><div class="ttdef"><b>Definition:</b> <a href="SVFG_8h_source.html#l00350">SVFG.h:350</a></div></div>
 <div class="ttc" id="classSVF_1_1SVFGOPT_html_a30a4165300d0b7ac9b31d9f9c496d943"><div class="ttname"><a href="classSVF_1_1SVFGOPT.html#a30a4165300d0b7ac9b31d9f9c496d943">SVF::SVFGOPT::addInterPHIOperands</a></div><div class="ttdeci">void addInterPHIOperands(PHISVFGNode *phi, const PAGNode *operand)</div><div class="ttdef"><b>Definition:</b> <a href="SVFGOPT_8h_source.html#l00238">SVFGOPT.h:238</a></div></div>
-<div class="ttc" id="classSVF_1_1VFG_html_aa01f63b17acdd52122a7f1ade329ccea"><div class="ttname"><a href="classSVF_1_1VFG.html#aa01f63b17acdd52122a7f1ade329ccea">SVF::VFG::addCallEdge</a></div><div class="ttdeci">VFGEdge * addCallEdge(NodeID srcId, NodeID dstId, CallSiteID csId)</div><div class="ttdef"><b>Definition:</b> <a href="VFG_8cpp_source.html#l00564">VFG.cpp:564</a></div></div>
+<div class="ttc" id="classSVF_1_1VFG_html_aa01f63b17acdd52122a7f1ade329ccea"><div class="ttname"><a href="classSVF_1_1VFG.html#aa01f63b17acdd52122a7f1ade329ccea">SVF::VFG::addCallEdge</a></div><div class="ttdeci">VFGEdge * addCallEdge(NodeID srcId, NodeID dstId, CallSiteID csId)</div><div class="ttdef"><b>Definition:</b> <a href="VFG_8cpp_source.html#l00557">VFG.cpp:557</a></div></div>
 <div class="ttc" id="namespaceSVF_html_aa4745cf70b26e17d59752356f0b19dd9"><div class="ttname"><a href="namespaceSVF.html#aa4745cf70b26e17d59752356f0b19dd9">SVF::SVFGEdge</a></div><div class="ttdeci">VFGEdge SVFGEdge</div><div class="ttdef"><b>Definition:</b> <a href="SVFG_8h_source.html#l00040">SVFG.h:40</a></div></div>
 </div><!-- fragment -->
 </div>
@@ -1836,7 +1836,7 @@ Additional Inherited Members</h2></td></tr>
 
 <p class="definition">Definition at line <a class="el" href="SVFGOPT_8h_source.html#l00101">101</a> of file <a class="el" href="SVFGOPT_8h_source.html">SVFGOPT.h</a>.</p>
 <div class="fragment"><div class="line"><a name="l00102"></a><span class="lineno">  102</span>&#160;    {</div><div class="line"><a name="l00103"></a><span class="lineno">  103</span>&#160;        <a class="code" href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">NodeID</a> phiId = <a class="code" href="classSVF_1_1SVFG.html#abd917826bf50ed409a307ce00562c97d">getDef</a>(cs_ret);</div><div class="line"><a name="l00104"></a><span class="lineno">  104</span>&#160;        <a class="code" href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">NodeID</a> retdef = <a class="code" href="classSVF_1_1SVFG.html#abd917826bf50ed409a307ce00562c97d">getDef</a>(fun_ret);</div><div class="line"><a name="l00108"></a><span class="lineno">  108</span>&#160;        <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1VFG.html#a25c2bbbc2e966e2aaa59a5b83363557a">pag</a>-&gt;<a class="code" href="classSVF_1_1SVFIR.html#a5de67390d38bfacd5b63b776a0ecbfff">isPhiNode</a>(fun_ret)==<span class="keyword">false</span>)</div><div class="line"><a name="l00109"></a><span class="lineno">  109</span>&#160;            <span class="keywordflow">return</span>;</div><div class="line"><a name="l00110"></a><span class="lineno">  110</span>&#160;</div><div class="line"><a name="l00111"></a><span class="lineno">  111</span>&#160;        <a class="code" href="namespaceSVF.html#aa4745cf70b26e17d59752356f0b19dd9">SVFGEdge</a>* edge = <a class="code" href="classSVF_1_1VFG.html#a27ac8d60de7be75e831b4a28f8f8f1d2">addRetEdge</a>(retdef, phiId, csId);</div><div class="line"><a name="l00112"></a><span class="lineno">  112</span>&#160;        <span class="keywordflow">if</span> (edge != <span class="keyword">nullptr</span>)</div><div class="line"><a name="l00113"></a><span class="lineno">  113</span>&#160;        {</div><div class="line"><a name="l00114"></a><span class="lineno">  114</span>&#160;            <a class="code" href="namespaceSVF.html#a71d4e214e049f02bf26537cba6328673">PHISVFGNode</a>* phi = SVFUtil::cast&lt;PHISVFGNode&gt;(<a class="code" href="classSVF_1_1SVFG.html#a7ace06b6c893b31f7dec2abe54e33e11">getSVFGNode</a>(phiId));</div><div class="line"><a name="l00115"></a><span class="lineno">  115</span>&#160;            <a class="code" href="classSVF_1_1SVFGOPT.html#a30a4165300d0b7ac9b31d9f9c496d943">addInterPHIOperands</a>(phi, fun_ret);</div><div class="line"><a name="l00116"></a><span class="lineno">  116</span>&#160;            edges.insert(edge);</div><div class="line"><a name="l00117"></a><span class="lineno">  117</span>&#160;        }</div><div class="line"><a name="l00118"></a><span class="lineno">  118</span>&#160;    }</div><div class="ttc" id="namespaceSVF_html_a43a65e0d33af3c743294f7a1139d2301"><div class="ttname"><a href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">SVF::NodeID</a></div><div class="ttdeci">unsigned NodeID</div><div class="ttdef"><b>Definition:</b> <a href="MTAResultValidator_8h_source.html#l00018">MTAResultValidator.h:18</a></div></div>
-<div class="ttc" id="classSVF_1_1VFG_html_a27ac8d60de7be75e831b4a28f8f8f1d2"><div class="ttname"><a href="classSVF_1_1VFG.html#a27ac8d60de7be75e831b4a28f8f8f1d2">SVF::VFG::addRetEdge</a></div><div class="ttdeci">VFGEdge * addRetEdge(NodeID srcId, NodeID dstId, CallSiteID csId)</div><div class="ttdef"><b>Definition:</b> <a href="VFG_8cpp_source.html#l00583">VFG.cpp:583</a></div></div>
+<div class="ttc" id="classSVF_1_1VFG_html_a27ac8d60de7be75e831b4a28f8f8f1d2"><div class="ttname"><a href="classSVF_1_1VFG.html#a27ac8d60de7be75e831b4a28f8f8f1d2">SVF::VFG::addRetEdge</a></div><div class="ttdeci">VFGEdge * addRetEdge(NodeID srcId, NodeID dstId, CallSiteID csId)</div><div class="ttdef"><b>Definition:</b> <a href="VFG_8cpp_source.html#l00576">VFG.cpp:576</a></div></div>
 <div class="ttc" id="classSVF_1_1SVFG_html_a7ace06b6c893b31f7dec2abe54e33e11"><div class="ttname"><a href="classSVF_1_1SVFG.html#a7ace06b6c893b31f7dec2abe54e33e11">SVF::SVFG::getSVFGNode</a></div><div class="ttdeci">SVFGNode * getSVFGNode(NodeID id) const</div><div class="ttdoc">Get a SVFG node. </div><div class="ttdef"><b>Definition:</b> <a href="SVFG_8h_source.html#l00150">SVFG.h:150</a></div></div>
 <div class="ttc" id="namespaceSVF_html_a71d4e214e049f02bf26537cba6328673"><div class="ttname"><a href="namespaceSVF.html#a71d4e214e049f02bf26537cba6328673">SVF::PHISVFGNode</a></div><div class="ttdeci">PHIVFGNode PHISVFGNode</div><div class="ttdef"><b>Definition:</b> <a href="SVFG_8h_source.html#l00056">SVFG.h:56</a></div></div>
 <div class="ttc" id="classSVF_1_1SVFIR_html_a5de67390d38bfacd5b63b776a0ecbfff"><div class="ttname"><a href="classSVF_1_1SVFIR.html#a5de67390d38bfacd5b63b776a0ecbfff">SVF::SVFIR::isPhiNode</a></div><div class="ttdeci">bool isPhiNode(const SVFVar *node) const</div><div class="ttdoc">Whether this SVFVar is a result operand a of phi node. </div><div class="ttdef"><b>Definition:</b> <a href="SVFIR_8h_source.html#l00209">SVFIR.h:209</a></div></div>
@@ -2338,7 +2338,7 @@ Additional Inherited Members</h2></td></tr>
 <div class="ttc" id="classSVF_1_1GenericNode_html_aa4f103330118c8976bf95e4bf53416eb"><div class="ttname"><a href="classSVF_1_1GenericNode.html#aa4f103330118c8976bf95e4bf53416eb">SVF::GenericNode::OutEdgeBegin</a></div><div class="ttdeci">iterator OutEdgeBegin()</div><div class="ttdoc">iterators </div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00202">GenericGraph.h:202</a></div></div>
 <div class="ttc" id="classSVF_1_1VFG_html_a5f82b3c2e8e6412e2781b960ffa98387"><div class="ttname"><a href="classSVF_1_1VFG.html#a5f82b3c2e8e6412e2781b960ffa98387">SVF::VFG::getCallSiteID</a></div><div class="ttdeci">CallSiteID getCallSiteID(const CallICFGNode *cs, const SVFFunction *func) const</div><div class="ttdoc">Get callsite given a callsiteID. </div><div class="ttdef"><b>Definition:</b> <a href="VFG_8h_source.html#l00178">VFG.h:178</a></div></div>
 <div class="ttc" id="util_8h_html_a07d17d6d5d1074c0969bc5d3c3d1d84a"><div class="ttname"><a href="util_8h.html#a07d17d6d5d1074c0969bc5d3c3d1d84a">assert</a></div><div class="ttdeci">#define assert(ex)</div><div class="ttdef"><b>Definition:</b> <a href="util_8h_source.html#l00141">util.h:141</a></div></div>
-<div class="ttc" id="classSVF_1_1VFG_html_a27ac8d60de7be75e831b4a28f8f8f1d2"><div class="ttname"><a href="classSVF_1_1VFG.html#a27ac8d60de7be75e831b4a28f8f8f1d2">SVF::VFG::addRetEdge</a></div><div class="ttdeci">VFGEdge * addRetEdge(NodeID srcId, NodeID dstId, CallSiteID csId)</div><div class="ttdef"><b>Definition:</b> <a href="VFG_8cpp_source.html#l00583">VFG.cpp:583</a></div></div>
+<div class="ttc" id="classSVF_1_1VFG_html_a27ac8d60de7be75e831b4a28f8f8f1d2"><div class="ttname"><a href="classSVF_1_1VFG.html#a27ac8d60de7be75e831b4a28f8f8f1d2">SVF::VFG::addRetEdge</a></div><div class="ttdeci">VFGEdge * addRetEdge(NodeID srcId, NodeID dstId, CallSiteID csId)</div><div class="ttdef"><b>Definition:</b> <a href="VFG_8cpp_source.html#l00576">VFG.cpp:576</a></div></div>
 <div class="ttc" id="classSVF_1_1ICFGNode_html_ae526280cca2d6cbb2868c80461bc16da"><div class="ttname"><a href="classSVF_1_1ICFGNode.html#ae526280cca2d6cbb2868c80461bc16da">SVF::ICFGNode::getFun</a></div><div class="ttdeci">virtual const SVFFunction * getFun() const</div><div class="ttdoc">Return the function of this ICFGNode. </div><div class="ttdef"><b>Definition:</b> <a href="ICFGNode_8h_source.html#l00080">ICFGNode.h:80</a></div></div>
 <div class="ttc" id="classSVF_1_1GenericNode_html_ae5b113921530eee6afe58a65d8e5b3a7"><div class="ttname"><a href="classSVF_1_1GenericNode.html#ae5b113921530eee6afe58a65d8e5b3a7">SVF::GenericNode::InEdgeBegin</a></div><div class="ttdeci">iterator InEdgeBegin()</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00210">GenericGraph.h:210</a></div></div>
 <div class="ttc" id="classSVF_1_1CallDirSVFGEdge_html"><div class="ttname"><a href="classSVF_1_1CallDirSVFGEdge.html">SVF::CallDirSVFGEdge</a></div><div class="ttdef"><b>Definition:</b> <a href="VFGEdge_8h_source.html#l00211">VFGEdge.h:211</a></div></div>
@@ -2347,7 +2347,7 @@ Additional Inherited Members</h2></td></tr>
 <div class="ttc" id="classSVF_1_1ActualParmVFGNode_html_a8932b197a076ab3069a9fe8b73e7fc32"><div class="ttname"><a href="classSVF_1_1ActualParmVFGNode.html#a8932b197a076ab3069a9fe8b73e7fc32">SVF::ActualParmVFGNode::getParam</a></div><div class="ttdeci">const PAGNode * getParam() const</div><div class="ttdoc">Return parameter. </div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00849">VFGNode.h:849</a></div></div>
 <div class="ttc" id="classSVF_1_1VFGNode_html_a8b320525e5a0ed93030d578030761124"><div class="ttname"><a href="classSVF_1_1VFGNode.html#a8b320525e5a0ed93030d578030761124">SVF::VFGNode::iterator</a></div><div class="ttdeci">VFGEdge::VFGEdgeSetTy::iterator iterator</div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00059">VFGNode.h:59</a></div></div>
 <div class="ttc" id="classSVF_1_1GenericNode_html_afe6a7b286d9af4992f41b59612fd2900"><div class="ttname"><a href="classSVF_1_1GenericNode.html#afe6a7b286d9af4992f41b59612fd2900">SVF::GenericNode::InEdgeEnd</a></div><div class="ttdeci">iterator InEdgeEnd()</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00214">GenericGraph.h:214</a></div></div>
-<div class="ttc" id="classSVF_1_1VFG_html_a3c97d77bc0348471d6c098d5655f15b2"><div class="ttname"><a href="classSVF_1_1VFG.html#a3c97d77bc0348471d6c098d5655f15b2">SVF::VFG::addIntraDirectVFEdge</a></div><div class="ttdeci">VFGEdge * addIntraDirectVFEdge(NodeID srcId, NodeID dstId)</div><div class="ttdef"><b>Definition:</b> <a href="VFG_8cpp_source.html#l00540">VFG.cpp:540</a></div></div>
+<div class="ttc" id="classSVF_1_1VFG_html_a3c97d77bc0348471d6c098d5655f15b2"><div class="ttname"><a href="classSVF_1_1VFG.html#a3c97d77bc0348471d6c098d5655f15b2">SVF::VFG::addIntraDirectVFEdge</a></div><div class="ttdeci">VFGEdge * addIntraDirectVFEdge(NodeID srcId, NodeID dstId)</div><div class="ttdef"><b>Definition:</b> <a href="VFG_8cpp_source.html#l00533">VFG.cpp:533</a></div></div>
 <div class="ttc" id="classSVF_1_1FormalRetVFGNode_html_a62a894e71fcf7a3db19c0488d96a7262"><div class="ttname"><a href="classSVF_1_1FormalRetVFGNode.html#a62a894e71fcf7a3db19c0488d96a7262">SVF::FormalRetVFGNode::getRet</a></div><div class="ttdeci">const PAGNode * getRet() const</div><div class="ttdoc">Return value at callee. </div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l01019">VFGNode.h:1019</a></div></div>
 <div class="ttc" id="classSVF_1_1SVFGOPT_html_ac15b3c2cb127b17ebad3a30fc04b6f40"><div class="ttname"><a href="classSVF_1_1SVFGOPT.html#ac15b3c2cb127b17ebad3a30fc04b6f40">SVF::SVFGOPT::removeAllEdges</a></div><div class="ttdeci">void removeAllEdges(const SVFGNode *node)</div><div class="ttdoc">Remove edges of a SVFG node. </div><div class="ttdef"><b>Definition:</b> <a href="SVFGOPT_8h_source.html#l00330">SVFGOPT.h:330</a></div></div>
 <div class="ttc" id="classSVF_1_1ActualRetVFGNode_html"><div class="ttname"><a href="classSVF_1_1ActualRetVFGNode.html">SVF::ActualRetVFGNode</a></div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00948">VFGNode.h:948</a></div></div>
@@ -2355,7 +2355,7 @@ Additional Inherited Members</h2></td></tr>
 <div class="ttc" id="classSVF_1_1VFGNode_html_a3c558955f60c237c558d8faafed781e8"><div class="ttname"><a href="classSVF_1_1VFGNode.html#a3c558955f60c237c558d8faafed781e8">SVF::VFGNode::const_iterator</a></div><div class="ttdeci">VFGEdge::VFGEdgeSetTy::const_iterator const_iterator</div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00060">VFGNode.h:60</a></div></div>
 <div class="ttc" id="classSVF_1_1ActualParmVFGNode_html_ab153944a366488c5f7e91d61561e9c0e"><div class="ttname"><a href="classSVF_1_1ActualParmVFGNode.html#ab153944a366488c5f7e91d61561e9c0e">SVF::ActualParmVFGNode::getCallSite</a></div><div class="ttdeci">const CallICFGNode * getCallSite() const</div><div class="ttdoc">Return callsite. </div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00843">VFGNode.h:843</a></div></div>
 <div class="ttc" id="classSVF_1_1SVFGOPT_html_a30a4165300d0b7ac9b31d9f9c496d943"><div class="ttname"><a href="classSVF_1_1SVFGOPT.html#a30a4165300d0b7ac9b31d9f9c496d943">SVF::SVFGOPT::addInterPHIOperands</a></div><div class="ttdeci">void addInterPHIOperands(PHISVFGNode *phi, const PAGNode *operand)</div><div class="ttdef"><b>Definition:</b> <a href="SVFGOPT_8h_source.html#l00238">SVFGOPT.h:238</a></div></div>
-<div class="ttc" id="classSVF_1_1VFG_html_aa01f63b17acdd52122a7f1ade329ccea"><div class="ttname"><a href="classSVF_1_1VFG.html#aa01f63b17acdd52122a7f1ade329ccea">SVF::VFG::addCallEdge</a></div><div class="ttdeci">VFGEdge * addCallEdge(NodeID srcId, NodeID dstId, CallSiteID csId)</div><div class="ttdef"><b>Definition:</b> <a href="VFG_8cpp_source.html#l00564">VFG.cpp:564</a></div></div>
+<div class="ttc" id="classSVF_1_1VFG_html_aa01f63b17acdd52122a7f1ade329ccea"><div class="ttname"><a href="classSVF_1_1VFG.html#aa01f63b17acdd52122a7f1ade329ccea">SVF::VFG::addCallEdge</a></div><div class="ttdeci">VFGEdge * addCallEdge(NodeID srcId, NodeID dstId, CallSiteID csId)</div><div class="ttdef"><b>Definition:</b> <a href="VFG_8cpp_source.html#l00557">VFG.cpp:557</a></div></div>
 <div class="ttc" id="classSVF_1_1GenericNode_html_ac3e55ef37aefb411ea4c87b1aa3b1895"><div class="ttname"><a href="classSVF_1_1GenericNode.html#ac3e55ef37aefb411ea4c87b1aa3b1895">SVF::GenericNode::getId</a></div><div class="ttdeci">NodeID getId() const</div><div class="ttdoc">Get ID. </div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00165">GenericGraph.h:165</a></div></div>
 <div class="ttc" id="classSVF_1_1FormalRetVFGNode_html_a68d9c5d58e2282b2891c93203233fd93"><div class="ttname"><a href="classSVF_1_1FormalRetVFGNode.html#a68d9c5d58e2282b2891c93203233fd93">SVF::FormalRetVFGNode::getFun</a></div><div class="ttdeci">const SVFFunction * getFun() const override</div><div class="ttdoc">Function. </div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l01024">VFGNode.h:1024</a></div></div>
 <div class="ttc" id="classSVF_1_1FormalParmVFGNode_html"><div class="ttname"><a href="classSVF_1_1FormalParmVFGNode.html">SVF::FormalParmVFGNode</a></div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00881">VFGNode.h:881</a></div></div>

package/SVF-doxygen/html/html/classSVF_1_1SVFGStat.html

@@ -352,7 +352,7 @@ Additional Inherited Members</h2></td></tr>
 <tr class="memitem:af6a6e3ea4c7f8e1c984bea8d5fb9a7c0 inherit pub_static_attribs_classSVF_1_1PTAStat"><td class="memItemLeft" align="right" valign="top">static const char *&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1PTAStat.html#af6a6e3ea4c7f8e1c984bea8d5fb9a7c0">MaxStructSize</a> = &quot;MaxStructSize&quot;</td></tr>
 <tr class="memdesc:af6a6e3ea4c7f8e1c984bea8d5fb9a7c0 inherit pub_static_attribs_classSVF_1_1PTAStat"><td class="mdescLeft">&#160;</td><td class="mdescRight">Max struct size.  <a href="classSVF_1_1PTAStat.html#af6a6e3ea4c7f8e1c984bea8d5fb9a7c0">More...</a><br /></td></tr>
 <tr class="separator:af6a6e3ea4c7f8e1c984bea8d5fb9a7c0 inherit pub_static_attribs_classSVF_1_1PTAStat"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:a3afc0a36232a0388d8aa42c68219cb26 inherit pub_static_attribs_classSVF_1_1PTAStat"><td class="memItemLeft" align="right" valign="top">static const char *&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1PTAStat.html#a3afc0a36232a0388d8aa42c68219cb26">TotalNumOfEdges</a> = &quot;TotalPAGEdges&quot;</td></tr>
+<tr class="memitem:a3afc0a36232a0388d8aa42c68219cb26 inherit pub_static_attribs_classSVF_1_1PTAStat"><td class="memItemLeft" align="right" valign="top">static const char *&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1PTAStat.html#a3afc0a36232a0388d8aa42c68219cb26">TotalNumOfEdges</a> = &quot;TotalSVFStmts&quot;</td></tr>
 <tr class="memdesc:a3afc0a36232a0388d8aa42c68219cb26 inherit pub_static_attribs_classSVF_1_1PTAStat"><td class="mdescLeft">&#160;</td><td class="mdescRight">Total <a class="el" href="classSVF_1_1SVFIR.html">SVFIR</a> edge number.  <a href="classSVF_1_1PTAStat.html#a3afc0a36232a0388d8aa42c68219cb26">More...</a><br /></td></tr>
 <tr class="separator:a3afc0a36232a0388d8aa42c68219cb26 inherit pub_static_attribs_classSVF_1_1PTAStat"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:ac5bf59a0a7a760c9fec5f22dedec5eb6 inherit pub_static_attribs_classSVF_1_1PTAStat"><td class="memItemLeft" align="right" valign="top">static const char *&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1PTAStat.html#ac5bf59a0a7a760c9fec5f22dedec5eb6">NumOfAddrs</a> = &quot;AddrsNum&quot;</td></tr>
@@ -810,17 +810,17 @@ Additional Inherited Members</h2></td></tr>
 </div><div class="memdoc">
 
 <p class="definition">Definition at line <a class="el" href="SVFGStat_8cpp_source.html#l00303">303</a> of file <a class="el" href="SVFGStat_8cpp_source.html">SVFGStat.cpp</a>.</p>
-<div class="fragment"><div class="line"><a name="l00304"></a><span class="lineno">  304</span>&#160;{</div><div class="line"><a name="l00305"></a><span class="lineno">  305</span>&#160;    <span class="comment">// Incoming edge</span></div><div class="line"><a name="l00306"></a><span class="lineno">  306</span>&#160;    <span class="keyword">const</span> <a class="code" href="classSVF_1_1VFGEdge.html#a557334ef75bb5479b045f68c27b38701">SVFGEdge::SVFGEdgeSetTy</a>&amp; inEdges = node-&gt;<a class="code" href="classSVF_1_1GenericNode.html#afc8b5f86d7795b6a0dfc0687d942d79b">getInEdges</a>();</div><div class="line"><a name="l00307"></a><span class="lineno">  307</span>&#160;    <span class="comment">// total in edge</span></div><div class="line"><a name="l00308"></a><span class="lineno">  308</span>&#160;    <span class="keywordflow">if</span> (inEdges.size() &gt; <a class="code" href="classSVF_1_1SVFGStat.html#a3b50e2a1fa53126b6c372c9b8c87df28">maxInDegree</a>)</div><div class="line"><a name="l00309"></a><span class="lineno">  309</span>&#160;        <a class="code" href="classSVF_1_1SVFGStat.html#a3b50e2a1fa53126b6c372c9b8c87df28">maxInDegree</a> = inEdges.size();</div><div class="line"><a name="l00310"></a><span class="lineno">  310</span>&#160;    <a class="code" href="classSVF_1_1SVFGStat.html#a7929d8ba565ecb04efd236ccb19a4658">totalInEdge</a> += inEdges.size();</div><div class="line"><a name="l00311"></a><span class="lineno">  311</span>&#160;</div><div class="line"><a name="l00312"></a><span class="lineno">  312</span>&#160;    <span class="comment">// indirect in edge</span></div><div class="line"><a name="l00313"></a><span class="lineno">  313</span>&#160;    <a class="code" href="namespaceSVF.html#a2db29836a72e8d86e9baa6d8d55d2978">Size_t</a> indInEdges = 0;</div><div class="line"><a name="l00314"></a><span class="lineno">  314</span>&#160;    SVFGEdge::SVFGEdgeSetTy::const_iterator edgeIt = inEdges.begin();</div><div class="line"><a name="l00315"></a><span class="lineno">  315</span>&#160;    SVFGEdge::SVFGEdgeSetTy::const_iterator edgeEit = inEdges.end();</div><div class="line"><a name="l00316"></a><span class="lineno">  316</span>&#160;    <span class="keywordflow">for</span> (; edgeIt != edgeEit; ++edgeIt)</div><div class="line"><a name="l00317"></a><span class="lineno">  317</span>&#160;    {</div><div class="line"><a name="l00318"></a><span class="lineno">  318</span>&#160;        <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1IndirectSVFGEdge.html">IndirectSVFGEdge</a>* edge = SVFUtil::dyn_cast&lt;IndirectSVFGEdge&gt;(*edgeIt))</div><div class="line"><a name="l00319"></a><span class="lineno">  319</span>&#160;        {</div><div class="line"><a name="l00320"></a><span class="lineno">  320</span>&#160;            indInEdges++;</div><div class="line"><a name="l00321"></a><span class="lineno">  321</span>&#160;            nodeHasIndInEdge.insert(node-&gt;<a class="code" href="classSVF_1_1GenericNode.html#ac3e55ef37aefb411ea4c87b1aa3b1895">getId</a>());</div><div class="line"><a name="l00322"></a><span class="lineno">  322</span>&#160;            <span class="comment">// get edge&#39;s weight</span></div><div class="line"><a name="l00323"></a><span class="lineno">  323</span>&#160;            <span class="comment">// TODO: try a new method to calculate weight.</span></div><div class="line"><a name="l00324"></a><span class="lineno">  324</span>&#160;            <span class="keyword">const</span> <a class="code" href="namespaceSVF.html#a740396763e377643790c8b803ab3e4ea">NodeBS</a>&amp; cpts = edge-&gt;getPointsTo();</div><div class="line"><a name="l00325"></a><span class="lineno">  325</span>&#160;            <a class="code" href="classSVF_1_1SVFGStat.html#a5f0c72186ee16f5e88782b5edc9fa5b1">avgWeight</a> += cpts.count();</div><div class="line"><a name="l00326"></a><span class="lineno">  326</span>&#160;            <a class="code" href="classSVF_1_1SVFGStat.html#a0a39eb7aab584cc285c32545ddb57ad8">totalIndEdgeLabels</a> += cpts.count();</div><div class="line"><a name="l00327"></a><span class="lineno">  327</span>&#160;        }</div><div class="line"><a name="l00328"></a><span class="lineno">  328</span>&#160;</div><div class="line"><a name="l00329"></a><span class="lineno">  329</span>&#160;        <span class="keywordflow">if</span> (SVFUtil::isa&lt;CallDirSVFGEdge&gt;(*edgeIt))</div><div class="line"><a name="l00330"></a><span class="lineno">  330</span>&#160;            <a class="code" href="classSVF_1_1SVFGStat.html#a1e93c866f3d780cb1cfdaf1dd143ea24">totalDirCallEdge</a>++;</div><div class="line"><a name="l00331"></a><span class="lineno">  331</span>&#160;        <span class="keywordflow">else</span> <span class="keywordflow">if</span> (SVFUtil::isa&lt;CallIndSVFGEdge&gt;(*edgeIt))</div><div class="line"><a name="l00332"></a><span class="lineno">  332</span>&#160;            <a class="code" href="classSVF_1_1SVFGStat.html#a0f37f7f530e3fd494c9d6bb477ca68d5">totalIndCallEdge</a>++;</div><div class="line"><a name="l00333"></a><span class="lineno">  333</span>&#160;        <span class="keywordflow">else</span> <span class="keywordflow">if</span> (SVFUtil::isa&lt;RetDirSVFGEdge&gt;(*edgeIt))</div><div class="line"><a name="l00334"></a><span class="lineno">  334</span>&#160;            <a class="code" href="classSVF_1_1SVFGStat.html#a63bd38fa93d665037932bcda3cc342c6">totalDirRetEdge</a>++;</div><div class="line"><a name="l00335"></a><span class="lineno">  335</span>&#160;        <span class="keywordflow">else</span> <span class="keywordflow">if</span> (SVFUtil::isa&lt;RetIndSVFGEdge&gt;(*edgeIt))</div><div class="line"><a name="l00336"></a><span class="lineno">  336</span>&#160;            <a class="code" href="classSVF_1_1SVFGStat.html#afd0f43a7d7138a8013930fd103ce7c47">totalIndRetEdge</a>++;</div><div class="line"><a name="l00337"></a><span class="lineno">  337</span>&#160;    }</div><div class="line"><a name="l00338"></a><span class="lineno">  338</span>&#160;</div><div class="line"><a name="l00339"></a><span class="lineno">  339</span>&#160;    <span class="keywordflow">if</span> (indInEdges &gt; <a class="code" href="classSVF_1_1SVFGStat.html#abb5d525ff05e003039a4879505940264">maxIndInDegree</a>)</div><div class="line"><a name="l00340"></a><span class="lineno">  340</span>&#160;        <a class="code" href="classSVF_1_1SVFGStat.html#abb5d525ff05e003039a4879505940264">maxIndInDegree</a> = indInEdges;</div><div class="line"><a name="l00341"></a><span class="lineno">  341</span>&#160;    <a class="code" href="classSVF_1_1SVFGStat.html#a8cd6254435994d9aea27b5519491fc6a">totalIndInEdge</a> += indInEdges;</div><div class="line"><a name="l00342"></a><span class="lineno">  342</span>&#160;</div><div class="line"><a name="l00343"></a><span class="lineno">  343</span>&#160;    <span class="comment">/*-----------------------------------------------------*/</span></div><div class="line"><a name="l00344"></a><span class="lineno">  344</span>&#160;</div><div class="line"><a name="l00345"></a><span class="lineno">  345</span>&#160;    <span class="comment">// Outgoing edge</span></div><div class="line"><a name="l00346"></a><span class="lineno">  346</span>&#160;    <span class="keyword">const</span> <a class="code" href="classSVF_1_1VFGEdge.html#a557334ef75bb5479b045f68c27b38701">SVFGEdge::SVFGEdgeSetTy</a>&amp; outEdges = node-&gt;<a class="code" href="classSVF_1_1GenericNode.html#a2d9cd758d6f8c5189d9b90b74f43e009">getOutEdges</a>();</div><div class="line"><a name="l00347"></a><span class="lineno">  347</span>&#160;    <span class="comment">// total out edge</span></div><div class="line"><a name="l00348"></a><span class="lineno">  348</span>&#160;    <span class="keywordflow">if</span> (outEdges.size() &gt; <a class="code" href="classSVF_1_1SVFGStat.html#a846cfa8d900219368ff12942ff0a0fa1">maxOutDegree</a>)</div><div class="line"><a name="l00349"></a><span class="lineno">  349</span>&#160;        <a class="code" href="classSVF_1_1SVFGStat.html#a846cfa8d900219368ff12942ff0a0fa1">maxOutDegree</a> = outEdges.size();</div><div class="line"><a name="l00350"></a><span class="lineno">  350</span>&#160;    <a class="code" href="classSVF_1_1SVFGStat.html#a18211427d08f70d252512d387763ce4a">totalOutEdge</a> += outEdges.size();</div><div class="line"><a name="l00351"></a><span class="lineno">  351</span>&#160;</div><div class="line"><a name="l00352"></a><span class="lineno">  352</span>&#160;    <span class="comment">// indirect out edge</span></div><div class="line"><a name="l00353"></a><span class="lineno">  353</span>&#160;    <a class="code" href="namespaceSVF.html#a2db29836a72e8d86e9baa6d8d55d2978">Size_t</a> indOutEdges = 0;</div><div class="line"><a name="l00354"></a><span class="lineno">  354</span>&#160;    edgeIt = outEdges.begin();</div><div class="line"><a name="l00355"></a><span class="lineno">  355</span>&#160;    edgeEit = outEdges.end();</div><div class="line"><a name="l00356"></a><span class="lineno">  356</span>&#160;    <span class="keywordflow">for</span> (; edgeIt != edgeEit; ++edgeIt)</div><div class="line"><a name="l00357"></a><span class="lineno">  357</span>&#160;    {</div><div class="line"><a name="l00358"></a><span class="lineno">  358</span>&#160;        <span class="keywordflow">if</span> ((*edgeIt)-&gt;isIndirectVFGEdge())</div><div class="line"><a name="l00359"></a><span class="lineno">  359</span>&#160;        {</div><div class="line"><a name="l00360"></a><span class="lineno">  360</span>&#160;            indOutEdges++;</div><div class="line"><a name="l00361"></a><span class="lineno">  361</span>&#160;            nodeHasIndOutEdge.insert(node-&gt;<a class="code" href="classSVF_1_1GenericNode.html#ac3e55ef37aefb411ea4c87b1aa3b1895">getId</a>());</div><div class="line"><a name="l00362"></a><span class="lineno">  362</span>&#160;        }</div><div class="line"><a name="l00363"></a><span class="lineno">  363</span>&#160;    }</div><div class="line"><a name="l00364"></a><span class="lineno">  364</span>&#160;</div><div class="line"><a name="l00365"></a><span class="lineno">  365</span>&#160;    <span class="keywordflow">if</span> (indOutEdges &gt; <a class="code" href="classSVF_1_1SVFGStat.html#a1fce01df52d7a682555c638411d37280">maxIndOutDegree</a>)</div><div class="line"><a name="l00366"></a><span class="lineno">  366</span>&#160;        <a class="code" href="classSVF_1_1SVFGStat.html#a1fce01df52d7a682555c638411d37280">maxIndOutDegree</a> = indOutEdges;</div><div class="line"><a name="l00367"></a><span class="lineno">  367</span>&#160;    <a class="code" href="classSVF_1_1SVFGStat.html#a982ce49695344bcde4cbbb445de69c8d">totalIndOutEdge</a> += indOutEdges;</div><div class="line"><a name="l00368"></a><span class="lineno">  368</span>&#160;}</div><div class="ttc" id="classSVF_1_1GenericNode_html_afc8b5f86d7795b6a0dfc0687d942d79b"><div class="ttname"><a href="classSVF_1_1GenericNode.html#afc8b5f86d7795b6a0dfc0687d942d79b">SVF::GenericNode::getInEdges</a></div><div class="ttdeci">const GEdgeSetTy &amp; getInEdges() const</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00182">GenericGraph.h:182</a></div></div>
+<div class="fragment"><div class="line"><a name="l00304"></a><span class="lineno">  304</span>&#160;{</div><div class="line"><a name="l00305"></a><span class="lineno">  305</span>&#160;    <span class="comment">// Incoming edge</span></div><div class="line"><a name="l00306"></a><span class="lineno">  306</span>&#160;    <span class="keyword">const</span> <a class="code" href="classSVF_1_1VFGEdge.html#a557334ef75bb5479b045f68c27b38701">SVFGEdge::SVFGEdgeSetTy</a>&amp; inEdges = node-&gt;<a class="code" href="classSVF_1_1GenericNode.html#afc8b5f86d7795b6a0dfc0687d942d79b">getInEdges</a>();</div><div class="line"><a name="l00307"></a><span class="lineno">  307</span>&#160;    <span class="comment">// total in edge</span></div><div class="line"><a name="l00308"></a><span class="lineno">  308</span>&#160;    <span class="keywordflow">if</span> (inEdges.size() &gt; <a class="code" href="classSVF_1_1SVFGStat.html#a3b50e2a1fa53126b6c372c9b8c87df28">maxInDegree</a>)</div><div class="line"><a name="l00309"></a><span class="lineno">  309</span>&#160;        <a class="code" href="classSVF_1_1SVFGStat.html#a3b50e2a1fa53126b6c372c9b8c87df28">maxInDegree</a> = inEdges.size();</div><div class="line"><a name="l00310"></a><span class="lineno">  310</span>&#160;    <a class="code" href="classSVF_1_1SVFGStat.html#a7929d8ba565ecb04efd236ccb19a4658">totalInEdge</a> += inEdges.size();</div><div class="line"><a name="l00311"></a><span class="lineno">  311</span>&#160;</div><div class="line"><a name="l00312"></a><span class="lineno">  312</span>&#160;    <span class="comment">// indirect in edge</span></div><div class="line"><a name="l00313"></a><span class="lineno">  313</span>&#160;    <a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> indInEdges = 0;</div><div class="line"><a name="l00314"></a><span class="lineno">  314</span>&#160;    SVFGEdge::SVFGEdgeSetTy::const_iterator edgeIt = inEdges.begin();</div><div class="line"><a name="l00315"></a><span class="lineno">  315</span>&#160;    SVFGEdge::SVFGEdgeSetTy::const_iterator edgeEit = inEdges.end();</div><div class="line"><a name="l00316"></a><span class="lineno">  316</span>&#160;    <span class="keywordflow">for</span> (; edgeIt != edgeEit; ++edgeIt)</div><div class="line"><a name="l00317"></a><span class="lineno">  317</span>&#160;    {</div><div class="line"><a name="l00318"></a><span class="lineno">  318</span>&#160;        <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1IndirectSVFGEdge.html">IndirectSVFGEdge</a>* edge = SVFUtil::dyn_cast&lt;IndirectSVFGEdge&gt;(*edgeIt))</div><div class="line"><a name="l00319"></a><span class="lineno">  319</span>&#160;        {</div><div class="line"><a name="l00320"></a><span class="lineno">  320</span>&#160;            indInEdges++;</div><div class="line"><a name="l00321"></a><span class="lineno">  321</span>&#160;            nodeHasIndInEdge.insert(node-&gt;<a class="code" href="classSVF_1_1GenericNode.html#ac3e55ef37aefb411ea4c87b1aa3b1895">getId</a>());</div><div class="line"><a name="l00322"></a><span class="lineno">  322</span>&#160;            <span class="comment">// get edge&#39;s weight</span></div><div class="line"><a name="l00323"></a><span class="lineno">  323</span>&#160;            <span class="comment">// TODO: try a new method to calculate weight.</span></div><div class="line"><a name="l00324"></a><span class="lineno">  324</span>&#160;            <span class="keyword">const</span> <a class="code" href="namespaceSVF.html#a740396763e377643790c8b803ab3e4ea">NodeBS</a>&amp; cpts = edge-&gt;getPointsTo();</div><div class="line"><a name="l00325"></a><span class="lineno">  325</span>&#160;            <a class="code" href="classSVF_1_1SVFGStat.html#a5f0c72186ee16f5e88782b5edc9fa5b1">avgWeight</a> += cpts.count();</div><div class="line"><a name="l00326"></a><span class="lineno">  326</span>&#160;            <a class="code" href="classSVF_1_1SVFGStat.html#a0a39eb7aab584cc285c32545ddb57ad8">totalIndEdgeLabels</a> += cpts.count();</div><div class="line"><a name="l00327"></a><span class="lineno">  327</span>&#160;        }</div><div class="line"><a name="l00328"></a><span class="lineno">  328</span>&#160;</div><div class="line"><a name="l00329"></a><span class="lineno">  329</span>&#160;        <span class="keywordflow">if</span> (SVFUtil::isa&lt;CallDirSVFGEdge&gt;(*edgeIt))</div><div class="line"><a name="l00330"></a><span class="lineno">  330</span>&#160;            <a class="code" href="classSVF_1_1SVFGStat.html#a1e93c866f3d780cb1cfdaf1dd143ea24">totalDirCallEdge</a>++;</div><div class="line"><a name="l00331"></a><span class="lineno">  331</span>&#160;        <span class="keywordflow">else</span> <span class="keywordflow">if</span> (SVFUtil::isa&lt;CallIndSVFGEdge&gt;(*edgeIt))</div><div class="line"><a name="l00332"></a><span class="lineno">  332</span>&#160;            <a class="code" href="classSVF_1_1SVFGStat.html#a0f37f7f530e3fd494c9d6bb477ca68d5">totalIndCallEdge</a>++;</div><div class="line"><a name="l00333"></a><span class="lineno">  333</span>&#160;        <span class="keywordflow">else</span> <span class="keywordflow">if</span> (SVFUtil::isa&lt;RetDirSVFGEdge&gt;(*edgeIt))</div><div class="line"><a name="l00334"></a><span class="lineno">  334</span>&#160;            <a class="code" href="classSVF_1_1SVFGStat.html#a63bd38fa93d665037932bcda3cc342c6">totalDirRetEdge</a>++;</div><div class="line"><a name="l00335"></a><span class="lineno">  335</span>&#160;        <span class="keywordflow">else</span> <span class="keywordflow">if</span> (SVFUtil::isa&lt;RetIndSVFGEdge&gt;(*edgeIt))</div><div class="line"><a name="l00336"></a><span class="lineno">  336</span>&#160;            <a class="code" href="classSVF_1_1SVFGStat.html#afd0f43a7d7138a8013930fd103ce7c47">totalIndRetEdge</a>++;</div><div class="line"><a name="l00337"></a><span class="lineno">  337</span>&#160;    }</div><div class="line"><a name="l00338"></a><span class="lineno">  338</span>&#160;</div><div class="line"><a name="l00339"></a><span class="lineno">  339</span>&#160;    <span class="keywordflow">if</span> (indInEdges &gt; <a class="code" href="classSVF_1_1SVFGStat.html#abb5d525ff05e003039a4879505940264">maxIndInDegree</a>)</div><div class="line"><a name="l00340"></a><span class="lineno">  340</span>&#160;        <a class="code" href="classSVF_1_1SVFGStat.html#abb5d525ff05e003039a4879505940264">maxIndInDegree</a> = indInEdges;</div><div class="line"><a name="l00341"></a><span class="lineno">  341</span>&#160;    <a class="code" href="classSVF_1_1SVFGStat.html#a8cd6254435994d9aea27b5519491fc6a">totalIndInEdge</a> += indInEdges;</div><div class="line"><a name="l00342"></a><span class="lineno">  342</span>&#160;</div><div class="line"><a name="l00343"></a><span class="lineno">  343</span>&#160;    <span class="comment">/*-----------------------------------------------------*/</span></div><div class="line"><a name="l00344"></a><span class="lineno">  344</span>&#160;</div><div class="line"><a name="l00345"></a><span class="lineno">  345</span>&#160;    <span class="comment">// Outgoing edge</span></div><div class="line"><a name="l00346"></a><span class="lineno">  346</span>&#160;    <span class="keyword">const</span> <a class="code" href="classSVF_1_1VFGEdge.html#a557334ef75bb5479b045f68c27b38701">SVFGEdge::SVFGEdgeSetTy</a>&amp; outEdges = node-&gt;<a class="code" href="classSVF_1_1GenericNode.html#a2d9cd758d6f8c5189d9b90b74f43e009">getOutEdges</a>();</div><div class="line"><a name="l00347"></a><span class="lineno">  347</span>&#160;    <span class="comment">// total out edge</span></div><div class="line"><a name="l00348"></a><span class="lineno">  348</span>&#160;    <span class="keywordflow">if</span> (outEdges.size() &gt; <a class="code" href="classSVF_1_1SVFGStat.html#a846cfa8d900219368ff12942ff0a0fa1">maxOutDegree</a>)</div><div class="line"><a name="l00349"></a><span class="lineno">  349</span>&#160;        <a class="code" href="classSVF_1_1SVFGStat.html#a846cfa8d900219368ff12942ff0a0fa1">maxOutDegree</a> = outEdges.size();</div><div class="line"><a name="l00350"></a><span class="lineno">  350</span>&#160;    <a class="code" href="classSVF_1_1SVFGStat.html#a18211427d08f70d252512d387763ce4a">totalOutEdge</a> += outEdges.size();</div><div class="line"><a name="l00351"></a><span class="lineno">  351</span>&#160;</div><div class="line"><a name="l00352"></a><span class="lineno">  352</span>&#160;    <span class="comment">// indirect out edge</span></div><div class="line"><a name="l00353"></a><span class="lineno">  353</span>&#160;    <a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> indOutEdges = 0;</div><div class="line"><a name="l00354"></a><span class="lineno">  354</span>&#160;    edgeIt = outEdges.begin();</div><div class="line"><a name="l00355"></a><span class="lineno">  355</span>&#160;    edgeEit = outEdges.end();</div><div class="line"><a name="l00356"></a><span class="lineno">  356</span>&#160;    <span class="keywordflow">for</span> (; edgeIt != edgeEit; ++edgeIt)</div><div class="line"><a name="l00357"></a><span class="lineno">  357</span>&#160;    {</div><div class="line"><a name="l00358"></a><span class="lineno">  358</span>&#160;        <span class="keywordflow">if</span> ((*edgeIt)-&gt;isIndirectVFGEdge())</div><div class="line"><a name="l00359"></a><span class="lineno">  359</span>&#160;        {</div><div class="line"><a name="l00360"></a><span class="lineno">  360</span>&#160;            indOutEdges++;</div><div class="line"><a name="l00361"></a><span class="lineno">  361</span>&#160;            nodeHasIndOutEdge.insert(node-&gt;<a class="code" href="classSVF_1_1GenericNode.html#ac3e55ef37aefb411ea4c87b1aa3b1895">getId</a>());</div><div class="line"><a name="l00362"></a><span class="lineno">  362</span>&#160;        }</div><div class="line"><a name="l00363"></a><span class="lineno">  363</span>&#160;    }</div><div class="line"><a name="l00364"></a><span class="lineno">  364</span>&#160;</div><div class="line"><a name="l00365"></a><span class="lineno">  365</span>&#160;    <span class="keywordflow">if</span> (indOutEdges &gt; <a class="code" href="classSVF_1_1SVFGStat.html#a1fce01df52d7a682555c638411d37280">maxIndOutDegree</a>)</div><div class="line"><a name="l00366"></a><span class="lineno">  366</span>&#160;        <a class="code" href="classSVF_1_1SVFGStat.html#a1fce01df52d7a682555c638411d37280">maxIndOutDegree</a> = indOutEdges;</div><div class="line"><a name="l00367"></a><span class="lineno">  367</span>&#160;    <a class="code" href="classSVF_1_1SVFGStat.html#a982ce49695344bcde4cbbb445de69c8d">totalIndOutEdge</a> += indOutEdges;</div><div class="line"><a name="l00368"></a><span class="lineno">  368</span>&#160;}</div><div class="ttc" id="classSVF_1_1GenericNode_html_afc8b5f86d7795b6a0dfc0687d942d79b"><div class="ttname"><a href="classSVF_1_1GenericNode.html#afc8b5f86d7795b6a0dfc0687d942d79b">SVF::GenericNode::getInEdges</a></div><div class="ttdeci">const GEdgeSetTy &amp; getInEdges() const</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00182">GenericGraph.h:182</a></div></div>
 <div class="ttc" id="classSVF_1_1SVFGStat_html_a8cd6254435994d9aea27b5519491fc6a"><div class="ttname"><a href="classSVF_1_1SVFGStat.html#a8cd6254435994d9aea27b5519491fc6a">SVF::SVFGStat::totalIndInEdge</a></div><div class="ttdeci">int totalIndInEdge</div><div class="ttdoc">Total number of indirect SVFG edges. </div><div class="ttdef"><b>Definition:</b> <a href="SVFGStat_8h_source.html#l00195">SVFGStat.h:195</a></div></div>
 <div class="ttc" id="classSVF_1_1SVFGStat_html_a18211427d08f70d252512d387763ce4a"><div class="ttname"><a href="classSVF_1_1SVFGStat.html#a18211427d08f70d252512d387763ce4a">SVF::SVFGStat::totalOutEdge</a></div><div class="ttdeci">int totalOutEdge</div><div class="ttdoc">Total number of outgoing SVFG edges. </div><div class="ttdef"><b>Definition:</b> <a href="SVFGStat_8h_source.html#l00194">SVFGStat.h:194</a></div></div>
 <div class="ttc" id="classSVF_1_1VFGEdge_html_a557334ef75bb5479b045f68c27b38701"><div class="ttname"><a href="classSVF_1_1VFGEdge.html#a557334ef75bb5479b045f68c27b38701">SVF::VFGEdge::SVFGEdgeSetTy</a></div><div class="ttdeci">VFGEdgeSetTy SVFGEdgeSetTy</div><div class="ttdef"><b>Definition:</b> <a href="VFGEdge_8h_source.html#l00118">VFGEdge.h:118</a></div></div>
 <div class="ttc" id="classSVF_1_1SVFGStat_html_abb5d525ff05e003039a4879505940264"><div class="ttname"><a href="classSVF_1_1SVFGStat.html#abb5d525ff05e003039a4879505940264">SVF::SVFGStat::maxIndInDegree</a></div><div class="ttdeci">int maxIndInDegree</div><div class="ttdoc">max indirect in degrees of SVFG nodes. </div><div class="ttdef"><b>Definition:</b> <a href="SVFGStat_8h_source.html#l00213">SVFGStat.h:213</a></div></div>
 <div class="ttc" id="classSVF_1_1SVFGStat_html_a846cfa8d900219368ff12942ff0a0fa1"><div class="ttname"><a href="classSVF_1_1SVFGStat.html#a846cfa8d900219368ff12942ff0a0fa1">SVF::SVFGStat::maxOutDegree</a></div><div class="ttdeci">unsigned maxOutDegree</div><div class="ttdoc">max out degrees of SVFG nodes. </div><div class="ttdef"><b>Definition:</b> <a href="SVFGStat_8h_source.html#l00209">SVFGStat.h:209</a></div></div>
+<div class="ttc" id="namespaceSVF_html_ad42bff8d0a7d60a085aa32d10f4955af"><div class="ttname"><a href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">SVF::u32_t</a></div><div class="ttdeci">unsigned u32_t</div><div class="ttdef"><b>Definition:</b> <a href="SVFBasicTypes_8h_source.html#l00075">SVFBasicTypes.h:75</a></div></div>
 <div class="ttc" id="classSVF_1_1SVFGStat_html_afd0f43a7d7138a8013930fd103ce7c47"><div class="ttname"><a href="classSVF_1_1SVFGStat.html#afd0f43a7d7138a8013930fd103ce7c47">SVF::SVFGStat::totalIndRetEdge</a></div><div class="ttdeci">int totalIndRetEdge</div><div class="ttdef"><b>Definition:</b> <a href="SVFGStat_8h_source.html#l00200">SVFGStat.h:200</a></div></div>
 <div class="ttc" id="classSVF_1_1SVFGStat_html_a0f37f7f530e3fd494c9d6bb477ca68d5"><div class="ttname"><a href="classSVF_1_1SVFGStat.html#a0f37f7f530e3fd494c9d6bb477ca68d5">SVF::SVFGStat::totalIndCallEdge</a></div><div class="ttdeci">int totalIndCallEdge</div><div class="ttdef"><b>Definition:</b> <a href="SVFGStat_8h_source.html#l00199">SVFGStat.h:199</a></div></div>
 <div class="ttc" id="classSVF_1_1SVFGStat_html_a3b50e2a1fa53126b6c372c9b8c87df28"><div class="ttname"><a href="classSVF_1_1SVFGStat.html#a3b50e2a1fa53126b6c372c9b8c87df28">SVF::SVFGStat::maxInDegree</a></div><div class="ttdeci">unsigned maxInDegree</div><div class="ttdoc">max in degrees of SVFG nodes. </div><div class="ttdef"><b>Definition:</b> <a href="SVFGStat_8h_source.html#l00208">SVFGStat.h:208</a></div></div>
 <div class="ttc" id="classSVF_1_1SVFGStat_html_a63bd38fa93d665037932bcda3cc342c6"><div class="ttname"><a href="classSVF_1_1SVFGStat.html#a63bd38fa93d665037932bcda3cc342c6">SVF::SVFGStat::totalDirRetEdge</a></div><div class="ttdeci">int totalDirRetEdge</div><div class="ttdef"><b>Definition:</b> <a href="SVFGStat_8h_source.html#l00202">SVFGStat.h:202</a></div></div>
-<div class="ttc" id="namespaceSVF_html_a2db29836a72e8d86e9baa6d8d55d2978"><div class="ttname"><a href="namespaceSVF.html#a2db29836a72e8d86e9baa6d8d55d2978">SVF::Size_t</a></div><div class="ttdeci">signed long Size_t</div><div class="ttdef"><b>Definition:</b> <a href="SVFBasicTypes_8h_source.html#l00078">SVFBasicTypes.h:78</a></div></div>
 <div class="ttc" id="classSVF_1_1GenericNode_html_a2d9cd758d6f8c5189d9b90b74f43e009"><div class="ttname"><a href="classSVF_1_1GenericNode.html#a2d9cd758d6f8c5189d9b90b74f43e009">SVF::GenericNode::getOutEdges</a></div><div class="ttdeci">const GEdgeSetTy &amp; getOutEdges() const</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00178">GenericGraph.h:178</a></div></div>
 <div class="ttc" id="classSVF_1_1SVFGStat_html_a1fce01df52d7a682555c638411d37280"><div class="ttname"><a href="classSVF_1_1SVFGStat.html#a1fce01df52d7a682555c638411d37280">SVF::SVFGStat::maxIndOutDegree</a></div><div class="ttdeci">int maxIndOutDegree</div><div class="ttdoc">max indirect out degrees of SVFG nodes. </div><div class="ttdef"><b>Definition:</b> <a href="SVFGStat_8h_source.html#l00214">SVFGStat.h:214</a></div></div>
 <div class="ttc" id="classSVF_1_1SVFGStat_html_a0a39eb7aab584cc285c32545ddb57ad8"><div class="ttname"><a href="classSVF_1_1SVFGStat.html#a0a39eb7aab584cc285c32545ddb57ad8">SVF::SVFGStat::totalIndEdgeLabels</a></div><div class="ttdeci">int totalIndEdgeLabels</div><div class="ttdoc">Total number of l –o–&gt; lp. </div><div class="ttdef"><b>Definition:</b> <a href="SVFGStat_8h_source.html#l00197">SVFGStat.h:197</a></div></div>

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

@@ -73,7 +73,7 @@ $(function() {
   <tr><td class="entry"><a class="el" href="classSVF_1_1SVFValue.html#a2ba3206a8461ef82713264e235128826">getKind</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1SVFValue.html">SVF::SVFValue</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
   <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFValue.html#adc15c1f7a77158142156fba7524e89c9">getName</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1SVFValue.html">SVF::SVFValue</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
   <tr><td class="entry"><a class="el" href="classSVF_1_1SVFValue.html#a50f77757ac9c37a9501eb48deccdfef1">getValue</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1SVFValue.html">SVF::SVFValue</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
-  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFValue.html#a7e98da47d88c46dfd2c7124c43f6a885">GNodeK</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1SVFValue.html">SVF::SVFValue</a></td><td class="entry"></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFValue.html#a96b29b0f3f0048278b3ec9aa6b6540c4">GNodeK</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1SVFValue.html">SVF::SVFValue</a></td><td class="entry"></td></tr>
   <tr><td class="entry"><a class="el" href="classSVF_1_1SVFValue.html#ac64744d3e0c41be76ceef4b5715050b5">operator!=</a>(SVFValue *rhs) const</td><td class="entry"><a class="el" href="classSVF_1_1SVFValue.html">SVF::SVFValue</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
   <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFValue.html#abaa61e04b128feff7216d3ecdf4feefa">operator()</a>(const SVFValue *lhs, const SVFValue *rhs) const</td><td class="entry"><a class="el" href="classSVF_1_1SVFValue.html">SVF::SVFValue</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
   <tr><td class="entry"><a class="el" href="classSVF_1_1SVFValue.html#aa171d1126f4ac00c3310d58d9b77c587">operator==</a>(SVFValue *rhs) const</td><td class="entry"><a class="el" href="classSVF_1_1SVFValue.html">SVF::SVFValue</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>

package/SVF-doxygen/html/html/classSVF_1_1SVFGlobal.html

@@ -89,7 +89,7 @@ Public Member Functions</h2></td></tr>
 <tr class="memitem:a2a85562586efde20be8ac1ccbd1a5ee6 inherit pub_methods_classSVF_1_1SVFValue"><td class="memItemLeft" align="right" valign="top">&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFValue.html#a2a85562586efde20be8ac1ccbd1a5ee6">SVFValue</a> (const llvm::StringRef &amp;val, <a class="el" href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860e">SVFValKind</a> k)</td></tr>
 <tr class="memdesc:a2a85562586efde20be8ac1ccbd1a5ee6 inherit pub_methods_classSVF_1_1SVFValue"><td class="mdescLeft">&#160;</td><td class="mdescRight">Constructor.  <a href="classSVF_1_1SVFValue.html#a2a85562586efde20be8ac1ccbd1a5ee6">More...</a><br /></td></tr>
 <tr class="separator:a2a85562586efde20be8ac1ccbd1a5ee6 inherit pub_methods_classSVF_1_1SVFValue"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:a2ba3206a8461ef82713264e235128826 inherit pub_methods_classSVF_1_1SVFValue"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1SVFValue.html#a7e98da47d88c46dfd2c7124c43f6a885">GNodeK</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFValue.html#a2ba3206a8461ef82713264e235128826">getKind</a> () const</td></tr>
+<tr class="memitem:a2ba3206a8461ef82713264e235128826 inherit pub_methods_classSVF_1_1SVFValue"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1SVFValue.html#a96b29b0f3f0048278b3ec9aa6b6540c4">GNodeK</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFValue.html#a2ba3206a8461ef82713264e235128826">getKind</a> () const</td></tr>
 <tr class="memdesc:a2ba3206a8461ef82713264e235128826 inherit pub_methods_classSVF_1_1SVFValue"><td class="mdescLeft">&#160;</td><td class="mdescRight">Get the type of this <a class="el" href="classSVF_1_1SVFValue.html">SVFValue</a>.  <a href="classSVF_1_1SVFValue.html#a2ba3206a8461ef82713264e235128826">More...</a><br /></td></tr>
 <tr class="separator:a2ba3206a8461ef82713264e235128826 inherit pub_methods_classSVF_1_1SVFValue"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:adc15c1f7a77158142156fba7524e89c9 inherit pub_methods_classSVF_1_1SVFValue"><td class="memItemLeft" align="right" valign="top">const llvm::StringRef&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFValue.html#adc15c1f7a77158142156fba7524e89c9">getName</a> () const</td></tr>
@@ -117,8 +117,8 @@ Additional Inherited Members</h2></td></tr>
 <br />
  }</td></tr>
 <tr class="separator:afb50ea5aeea7a0608a3c9335aea6860e inherit pub_types_classSVF_1_1SVFValue"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:a7e98da47d88c46dfd2c7124c43f6a885 inherit pub_types_classSVF_1_1SVFValue"><td class="memItemLeft" align="right" valign="top">typedef <a class="el" href="namespaceSVF.html#a9b707002523ece2ac54ca893ee9a2d4e">s32_t</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFValue.html#a7e98da47d88c46dfd2c7124c43f6a885">GNodeK</a></td></tr>
-<tr class="separator:a7e98da47d88c46dfd2c7124c43f6a885 inherit pub_types_classSVF_1_1SVFValue"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a96b29b0f3f0048278b3ec9aa6b6540c4 inherit pub_types_classSVF_1_1SVFValue"><td class="memItemLeft" align="right" valign="top">typedef <a class="el" href="namespaceSVF.html#abe09d99af006554a5c00803e9a89f9a6">s64_t</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFValue.html#a96b29b0f3f0048278b3ec9aa6b6540c4">GNodeK</a></td></tr>
+<tr class="separator:a96b29b0f3f0048278b3ec9aa6b6540c4 inherit pub_types_classSVF_1_1SVFValue"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="inherit_header pub_static_methods_classSVF_1_1SVFValue"><td colspan="2" onclick="javascript:toggleInherit('pub_static_methods_classSVF_1_1SVFValue')"><img src="closed.png" alt="-"/>&#160;Static Public Member Functions inherited from <a class="el" href="classSVF_1_1SVFValue.html">SVF::SVFValue</a></td></tr>
 <tr class="memitem:a1f2c6271dfefc6db685569e6c0cbedf5 inherit pub_static_methods_classSVF_1_1SVFValue"><td class="memItemLeft" align="right" valign="top">static bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFValue.html#a1f2c6271dfefc6db685569e6c0cbedf5">classof</a> (const <a class="el" href="classSVF_1_1SVFValue.html">SVFValue</a> *node)</td></tr>
 <tr class="separator:a1f2c6271dfefc6db685569e6c0cbedf5 inherit pub_static_methods_classSVF_1_1SVFValue"><td class="memSeparator" colspan="2">&#160;</td></tr>

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

@@ -99,7 +99,7 @@ $(function() {
   <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#af4a5fd9ecddb1447207335917adccd68">addIndirectCallsites</a>(const CallICFGNode *cs, NodeID funPtr)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">private</span></td></tr>
   <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a3837804b2622baf7e6991aa993286e9e">addLoadStmt</a>(NodeID src, NodeID dst)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
   <tr><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html#a685f1a8a35aa5dc9c298e3b0e2ccf007">addNode</a>(SVFVar *node, NodeID i)</td><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html">SVF::IRGraph</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">protected</span></td></tr>
-  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a2a851ff7011e3bd71c36be5c7198a1f4">addNormalGepStmt</a>(NodeID src, NodeID dst, const LocationSet &amp;ls)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a460011093c6426b98236c8381b1df0a0">addNormalGepStmt</a>(NodeID src, NodeID dst, const LocationSet &amp;ls)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
   <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a83bc8ecf4c5d10af10af3c8c44b9882d">addObjNode</a>(const Value *val, NodeID i)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">private</span></td></tr>
   <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a3a5d8b7f6286ec31b5a9038c88779151">addObjNode</a>(const Value *, SVFVar *node, NodeID i)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">private</span></td></tr>
   <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#af6b4b35214d0e526dee13dadbb6326d0">addPhiStmt</a>(NodeID res, NodeID opnd)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
@@ -116,7 +116,7 @@ $(function() {
   <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a3face8a526a33d82ef7cde7602030bc9">addValNode</a>(const Value *, SVFVar *node, NodeID i)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">private</span></td></tr>
   <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a6ade5bf3edc7b6c3faafc3e5ff3d0538">addVarargNode</a>(const SVFFunction *val, NodeID i)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">private</span></td></tr>
   <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a078c01295f47bf12f1a2b8abfab8b28d">addVarargNode</a>(const SVFFunction *, SVFVar *node, NodeID i)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">private</span></td></tr>
-  <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#abbd4b6430444a91e991636abf189c00b">addVariantGepStmt</a>(NodeID src, NodeID dst, const LocationSet &amp;ls)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a996574dbe5d5d79b1dc24cf5dc4145de">addVariantGepStmt</a>(NodeID src, NodeID dst, const LocationSet &amp;ls)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
   <tr class="even"><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; SVFVar, SVFStmt &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#a3385b008ae03444404c1e392fd47f1d6">begin</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html">SVF::GenericGraph&lt; SVFVar, SVFStmt &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_1SVFIR.html#aa0920f5f967efdb89e23f12d31b112a2">callSiteArgsListMap</a></td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
@@ -165,9 +165,9 @@ $(function() {
   <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#aa530e33657f68fc2e8eae9435ce430cb">getCallSiteSet</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
   <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html#ac5da3a0cbe040a45d719b6f6a23aed91">getConstantNode</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html">SVF::IRGraph</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
   <tr><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html#aceae1e4e49a1d2e63ef3d71a7e5ef3eb">getConstantObj</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html">SVF::IRGraph</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
-  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#af7a98a5eb789178594063140c85cd21f">getFieldObjNodeNum</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a3bbaafd80dfcae6ccc82c3d8b9d303ea">getFieldObjNodeNum</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
   <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a42d1e2f0213fb6e54c56cc0695b57cb0">getFieldsAfterCollapse</a>(NodeID id)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"></td></tr>
-  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a4b4592e3187bb6583aba63b2f374754e">getFieldValNodeNum</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a8a24e0bf9f95fc1519d4013e0e82dec9">getFieldValNodeNum</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
   <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a2878e202045b7f2c817185e8bf95d354">getFIObjVar</a>(const MemObj *obj) const</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
   <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#ac9f860028c8cbd364720888084701628">getFIObjVar</a>(NodeID id) const</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
   <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#aa148e3e14ebad8460e32079f2f44413a">getFunArgsList</a>(const SVFFunction *func) const</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
@@ -196,11 +196,11 @@ $(function() {
   <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a2dd4d5f704906270af13e7a07f900eb1">getObject</a>(NodeID id) const</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
   <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a25b86c16d11b4d50ccc28ead525687ae">getObject</a>(const ObjVar *node) const</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
   <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html#aba13ca47865614e45321c1ae53e640c1">getObjectNode</a>(const Value *V)</td><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html">SVF::IRGraph</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
-  <tr><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html#a8e9b2e37b36433c01e90d54a4edbf7f3">getObjectNodeNum</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html">SVF::IRGraph</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html#a82528aff779ccf8f723f57507dd2d991">getObjectNodeNum</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html">SVF::IRGraph</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
   <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a37cfa2aa4e7b98ef9dc8179f581a2362">getPAG</a>(bool buildFromFile=false)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</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_1IRGraph.html#a2fda1df53e53c0098d99f36d8f6f0998">getPAGEdgeNum</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html">SVF::IRGraph</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
-  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html#a973fb40e0eb600a7f90884767e036a96">getPAGNodeNum</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html">SVF::IRGraph</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
-  <tr><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html#ad4860fe89aa3a11c73aac3ed60f712cb">getPTAPAGEdgeNum</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html">SVF::IRGraph</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html#a821df0fcb66e4f0a5b10c295c24b7c2c">getPAGEdgeNum</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html">SVF::IRGraph</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html#afa015e79aa68b102db44b5a0fd653dc6">getPAGNodeNum</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html">SVF::IRGraph</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html#a51485004eb28aab6620801205d13ef1b">getPTAPAGEdgeNum</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html">SVF::IRGraph</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
   <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#abb91ed47d5c13d0ad7eec35164e37988">getPTASVFStmtList</a>(const ICFGNode *inst)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
   <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a65a4af3d6f0bfc11e31f020bb2966576">getPTASVFStmtSet</a>(SVFStmt::PEDGEK kind)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
   <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html#a96010999a4e5013beb1c37ef753ff910">getReturnNode</a>(const SVFFunction *func) const</td><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html">SVF::IRGraph</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
@@ -210,7 +210,7 @@ $(function() {
   <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; SVFVar, SVFStmt &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
   <tr><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html#a7710f6795d971d7a8b5683835c4c0fb8">getValueEdges</a>(const Value *V)</td><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html">SVF::IRGraph</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
   <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html#abffddd41cc308b9b3bd5ad4a7f8f1624">getValueNode</a>(const Value *V)</td><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html">SVF::IRGraph</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
-  <tr><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html#a4c8ef6e30a33ecbdc4024e201237ae22">getValueNodeNum</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html">SVF::IRGraph</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html#a0212f3fe2f37363e8060f292c8cf7668">getValueNodeNum</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html">SVF::IRGraph</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
   <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html#a8b10c318674a47035d617b3ade4f069b">getVarargNode</a>(const SVFFunction *func) const</td><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html">SVF::IRGraph</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
   <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a71b51492b00e66e36266b9a76a842323">globSVFStmtSet</a></td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
   <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a2375f49c77f2285a6316e7540b051a0f">handleBlackHole</a>(bool b)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">static</span></td></tr>
@@ -256,7 +256,7 @@ $(function() {
   <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#aa5b08d987b37d35e73de88da10a97bc4">NodeLocationSetMap</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"></td></tr>
   <tr><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html#a38122734cbe71551a420dfb7fee2012e">nodeNum</a></td><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html">SVF::GenericGraph&lt; SVFVar, SVFStmt &gt;</a></td><td class="entry"></td></tr>
   <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html#a80cf14bf43accb89cb82490b4f173598">nodeNumAfterPAGBuild</a></td><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html">SVF::IRGraph</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
-  <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#ab0d0aa216dbf7cc8f5b8030d5217e89c">NodeOffset</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#ad69ce40d95681d1bd8503e08228609c4">NodeOffset</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"></td></tr>
   <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#ae683914bce36e2d387bc0bc97dfcb14d">NodeOffsetMap</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"></td></tr>
   <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#ab715a8e83a4ec45fb86298fef3eda95a">NodePairSetMap</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"></td></tr>
   <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a654236d64abc2ca95982da7b4408b52d">NodeToNodeMap</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"></td></tr>