npm - svf-tools - Versions diffs - 1.0.749 → 1.0.751 - Mend

svf-tools 1.0.749 → 1.0.751

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

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

@@ -137,7 +137,7 @@ Friends</h2></td></tr>
 </table>
 <a name="details" id="details"></a><h2 class="groupheader">Detailed Description</h2>
 <div class="textblock">
-<p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l01098">1098</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l01069">1069</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
 </div><h2 class="groupheader">Constructor &amp; Destructor Documentation</h2>
 <a id="a78cb1b17796c2a696c61dece024a876f"></a>
 <h2 class="memtitle"><span class="permalink"><a href="#a78cb1b17796c2a696c61dece024a876f">&#9670;&nbsp;</a></span>CallSite() <span class="overload">[1/2]</span></h2>
@@ -164,8 +164,8 @@ Friends</h2></td></tr>
 <p>Constructs empty <a class="el" href="classSVF_1_1CallSite.html">CallSite</a> (for SVFIRReader/deserialization) </p>
-<p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l01106">1106</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l01106"></a><span class="lineno"> 1106</span>&#160;: <a class="code" href="classSVF_1_1CallSite.html#a3de20fdb58def4ea6af2d635f0d2e730">CB</a>{} {}</div>
+<p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l01077">1077</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l01077"></a><span class="lineno"> 1077</span>&#160;: <a class="code" href="classSVF_1_1CallSite.html#a3de20fdb58def4ea6af2d635f0d2e730">CB</a>{} {}</div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -193,11 +193,11 @@ Friends</h2></td></tr>
 </table>
 </div><div class="memdoc">
-<p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l01109">1109</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l01109"></a><span class="lineno"> 1109</span>&#160;                                      : <a class="code" href="classSVF_1_1CallSite.html#a3de20fdb58def4ea6af2d635f0d2e730">CB</a>(SVFUtil::dyn_cast&lt;SVFCallInst&gt;(I))</div>
-<div class="line"><a name="l01110"></a><span class="lineno"> 1110</span>&#160;    {</div>
-<div class="line"><a name="l01111"></a><span class="lineno"> 1111</span>&#160;        assert(<a class="code" href="classSVF_1_1CallSite.html#a3de20fdb58def4ea6af2d635f0d2e730">CB</a> &amp;&amp; <span class="stringliteral">&quot;not a callsite?&quot;</span>);</div>
-<div class="line"><a name="l01112"></a><span class="lineno"> 1112</span>&#160;    }</div>
+<p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l01080">1080</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l01080"></a><span class="lineno"> 1080</span>&#160;                                      : <a class="code" href="classSVF_1_1CallSite.html#a3de20fdb58def4ea6af2d635f0d2e730">CB</a>(SVFUtil::dyn_cast&lt;SVFCallInst&gt;(I))</div>
+<div class="line"><a name="l01081"></a><span class="lineno"> 1081</span>&#160;    {</div>
+<div class="line"><a name="l01082"></a><span class="lineno"> 1082</span>&#160;        assert(<a class="code" href="classSVF_1_1CallSite.html#a3de20fdb58def4ea6af2d635f0d2e730">CB</a> &amp;&amp; <span class="stringliteral">&quot;not a callsite?&quot;</span>);</div>
+<div class="line"><a name="l01083"></a><span class="lineno"> 1083</span>&#160;    }</div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -225,10 +225,10 @@ Friends</h2></td></tr>
 </table>
 </div><div class="memdoc">
-<p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l01129">1129</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l01130"></a><span class="lineno"> 1130</span>&#160;    {</div>
-<div class="line"><a name="l01131"></a><span class="lineno"> 1131</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1CallSite.html#a3de20fdb58def4ea6af2d635f0d2e730">CB</a>-&gt;<a class="code" href="classSVF_1_1SVFCallInst.html#af19bc370764b552b5ce55c9967bd5a1e">arg_empty</a>();</div>
-<div class="line"><a name="l01132"></a><span class="lineno"> 1132</span>&#160;    }</div>
+<p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l01100">1100</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l01101"></a><span class="lineno"> 1101</span>&#160;    {</div>
+<div class="line"><a name="l01102"></a><span class="lineno"> 1102</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1CallSite.html#a3de20fdb58def4ea6af2d635f0d2e730">CB</a>-&gt;<a class="code" href="classSVF_1_1SVFCallInst.html#af19bc370764b552b5ce55c9967bd5a1e">arg_empty</a>();</div>
+<div class="line"><a name="l01103"></a><span class="lineno"> 1103</span>&#160;    }</div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -255,10 +255,10 @@ Friends</h2></td></tr>
 </table>
 </div><div class="memdoc">
-<p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l01125">1125</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l01126"></a><span class="lineno"> 1126</span>&#160;    {</div>
-<div class="line"><a name="l01127"></a><span class="lineno"> 1127</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1CallSite.html#a3de20fdb58def4ea6af2d635f0d2e730">CB</a>-&gt;<a class="code" href="classSVF_1_1SVFCallInst.html#a496d0e963f0f6a4f9c08183fa91792b0">arg_size</a>();</div>
-<div class="line"><a name="l01128"></a><span class="lineno"> 1128</span>&#160;    }</div>
+<p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l01096">1096</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l01097"></a><span class="lineno"> 1097</span>&#160;    {</div>
+<div class="line"><a name="l01098"></a><span class="lineno"> 1098</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1CallSite.html#a3de20fdb58def4ea6af2d635f0d2e730">CB</a>-&gt;<a class="code" href="classSVF_1_1SVFCallInst.html#a496d0e963f0f6a4f9c08183fa91792b0">arg_size</a>();</div>
+<div class="line"><a name="l01099"></a><span class="lineno"> 1099</span>&#160;    }</div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -286,10 +286,10 @@ Friends</h2></td></tr>
 </table>
 </div><div class="memdoc">
-<p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l01133">1133</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l01134"></a><span class="lineno"> 1134</span>&#160;    {</div>
-<div class="line"><a name="l01135"></a><span class="lineno"> 1135</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1CallSite.html#a3de20fdb58def4ea6af2d635f0d2e730">CB</a>-&gt;<a class="code" href="classSVF_1_1SVFCallInst.html#a3cbb4b4089c8b27d01da15f2d2f22e14">getArgOperand</a>(i);</div>
-<div class="line"><a name="l01136"></a><span class="lineno"> 1136</span>&#160;    }</div>
+<p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l01104">1104</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l01105"></a><span class="lineno"> 1105</span>&#160;    {</div>
+<div class="line"><a name="l01106"></a><span class="lineno"> 1106</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1CallSite.html#a3de20fdb58def4ea6af2d635f0d2e730">CB</a>-&gt;<a class="code" href="classSVF_1_1SVFCallInst.html#a3cbb4b4089c8b27d01da15f2d2f22e14">getArgOperand</a>(i);</div>
+<div class="line"><a name="l01107"></a><span class="lineno"> 1107</span>&#160;    }</div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -317,10 +317,10 @@ Friends</h2></td></tr>
 </table>
 </div><div class="memdoc">
-<p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l01117">1117</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l01118"></a><span class="lineno"> 1118</span>&#160;    {</div>
-<div class="line"><a name="l01119"></a><span class="lineno"> 1119</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1CallSite.html#a3de20fdb58def4ea6af2d635f0d2e730">CB</a>-&gt;<a class="code" href="classSVF_1_1SVFCallInst.html#a3cbb4b4089c8b27d01da15f2d2f22e14">getArgOperand</a>(ArgNo);</div>
-<div class="line"><a name="l01120"></a><span class="lineno"> 1120</span>&#160;    }</div>
+<p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l01088">1088</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l01089"></a><span class="lineno"> 1089</span>&#160;    {</div>
+<div class="line"><a name="l01090"></a><span class="lineno"> 1090</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1CallSite.html#a3de20fdb58def4ea6af2d635f0d2e730">CB</a>-&gt;<a class="code" href="classSVF_1_1SVFCallInst.html#a3cbb4b4089c8b27d01da15f2d2f22e14">getArgOperand</a>(ArgNo);</div>
+<div class="line"><a name="l01091"></a><span class="lineno"> 1091</span>&#160;    }</div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -347,10 +347,10 @@ Friends</h2></td></tr>
 </table>
 </div><div class="memdoc">
-<p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l01141">1141</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l01142"></a><span class="lineno"> 1142</span>&#160;    {</div>
-<div class="line"><a name="l01143"></a><span class="lineno"> 1143</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1CallSite.html#a3de20fdb58def4ea6af2d635f0d2e730">CB</a>-&gt;<a class="code" href="classSVF_1_1SVFCallInst.html#ab654651e3117e8480544615fb1574766">getCalledFunction</a>();</div>
-<div class="line"><a name="l01144"></a><span class="lineno"> 1144</span>&#160;    }</div>
+<p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l01112">1112</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l01113"></a><span class="lineno"> 1113</span>&#160;    {</div>
+<div class="line"><a name="l01114"></a><span class="lineno"> 1114</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1CallSite.html#a3de20fdb58def4ea6af2d635f0d2e730">CB</a>-&gt;<a class="code" href="classSVF_1_1SVFCallInst.html#ab654651e3117e8480544615fb1574766">getCalledFunction</a>();</div>
+<div class="line"><a name="l01115"></a><span class="lineno"> 1115</span>&#160;    }</div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -377,10 +377,10 @@ Friends</h2></td></tr>
 </table>
 </div><div class="memdoc">
-<p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l01145">1145</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l01146"></a><span class="lineno"> 1146</span>&#160;    {</div>
-<div class="line"><a name="l01147"></a><span class="lineno"> 1147</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1CallSite.html#a3de20fdb58def4ea6af2d635f0d2e730">CB</a>-&gt;<a class="code" href="classSVF_1_1SVFCallInst.html#a61f00e0fde32e5dbe78958d172dd9fd3">getCalledOperand</a>();</div>
-<div class="line"><a name="l01148"></a><span class="lineno"> 1148</span>&#160;    }</div>
+<p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l01116">1116</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l01117"></a><span class="lineno"> 1117</span>&#160;    {</div>
+<div class="line"><a name="l01118"></a><span class="lineno"> 1118</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1CallSite.html#a3de20fdb58def4ea6af2d635f0d2e730">CB</a>-&gt;<a class="code" href="classSVF_1_1SVFCallInst.html#a61f00e0fde32e5dbe78958d172dd9fd3">getCalledOperand</a>();</div>
+<div class="line"><a name="l01119"></a><span class="lineno"> 1119</span>&#160;    }</div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -407,10 +407,10 @@ Friends</h2></td></tr>
 </table>
 </div><div class="memdoc">
-<p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l01149">1149</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l01150"></a><span class="lineno"> 1150</span>&#160;    {</div>
-<div class="line"><a name="l01151"></a><span class="lineno"> 1151</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1CallSite.html#a3de20fdb58def4ea6af2d635f0d2e730">CB</a>-&gt;<a class="code" href="classSVF_1_1SVFCallInst.html#a76a8bb676e8c99ca518cbdf704678558">getCaller</a>();</div>
-<div class="line"><a name="l01152"></a><span class="lineno"> 1152</span>&#160;    }</div>
+<p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l01120">1120</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l01121"></a><span class="lineno"> 1121</span>&#160;    {</div>
+<div class="line"><a name="l01122"></a><span class="lineno"> 1122</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1CallSite.html#a3de20fdb58def4ea6af2d635f0d2e730">CB</a>-&gt;<a class="code" href="classSVF_1_1SVFCallInst.html#a76a8bb676e8c99ca518cbdf704678558">getCaller</a>();</div>
+<div class="line"><a name="l01123"></a><span class="lineno"> 1123</span>&#160;    }</div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -437,11 +437,11 @@ Friends</h2></td></tr>
 </table>
 </div><div class="memdoc">
-<p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l01166">1166</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l01167"></a><span class="lineno"> 1167</span>&#160;    {</div>
-<div class="line"><a name="l01168"></a><span class="lineno"> 1168</span>&#160;        assert(<a class="code" href="classSVF_1_1CallSite.html#a427a38e580db4bf04c9d716762243c89">isVirtualCall</a>() &amp;&amp; <span class="stringliteral">&quot;not a virtual call?&quot;</span>);</div>
-<div class="line"><a name="l01169"></a><span class="lineno"> 1169</span>&#160;        <span class="keywordflow">return</span> SVFUtil::cast&lt;SVFVirtualCallInst&gt;(<a class="code" href="classSVF_1_1CallSite.html#a3de20fdb58def4ea6af2d635f0d2e730">CB</a>)-&gt;getFunIdxInVtable();</div>
-<div class="line"><a name="l01170"></a><span class="lineno"> 1170</span>&#160;    }</div>
+<p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l01137">1137</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l01138"></a><span class="lineno"> 1138</span>&#160;    {</div>
+<div class="line"><a name="l01139"></a><span class="lineno"> 1139</span>&#160;        assert(<a class="code" href="classSVF_1_1CallSite.html#a427a38e580db4bf04c9d716762243c89">isVirtualCall</a>() &amp;&amp; <span class="stringliteral">&quot;not a virtual call?&quot;</span>);</div>
+<div class="line"><a name="l01140"></a><span class="lineno"> 1140</span>&#160;        <span class="keywordflow">return</span> SVFUtil::cast&lt;SVFVirtualCallInst&gt;(<a class="code" href="classSVF_1_1CallSite.html#a3de20fdb58def4ea6af2d635f0d2e730">CB</a>)-&gt;getFunIdxInVtable();</div>
+<div class="line"><a name="l01141"></a><span class="lineno"> 1141</span>&#160;    }</div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -468,11 +468,11 @@ Friends</h2></td></tr>
 </table>
 </div><div class="memdoc">
-<p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l01171">1171</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l01172"></a><span class="lineno"> 1172</span>&#160;    {</div>
-<div class="line"><a name="l01173"></a><span class="lineno"> 1173</span>&#160;        assert(<a class="code" href="classSVF_1_1CallSite.html#a427a38e580db4bf04c9d716762243c89">isVirtualCall</a>() &amp;&amp; <span class="stringliteral">&quot;not a virtual call?&quot;</span>);</div>
-<div class="line"><a name="l01174"></a><span class="lineno"> 1174</span>&#160;        <span class="keywordflow">return</span> SVFUtil::cast&lt;SVFVirtualCallInst&gt;(<a class="code" href="classSVF_1_1CallSite.html#a3de20fdb58def4ea6af2d635f0d2e730">CB</a>)-&gt;getFunNameOfVirtualCall();</div>
-<div class="line"><a name="l01175"></a><span class="lineno"> 1175</span>&#160;    }</div>
+<p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l01142">1142</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l01143"></a><span class="lineno"> 1143</span>&#160;    {</div>
+<div class="line"><a name="l01144"></a><span class="lineno"> 1144</span>&#160;        assert(<a class="code" href="classSVF_1_1CallSite.html#a427a38e580db4bf04c9d716762243c89">isVirtualCall</a>() &amp;&amp; <span class="stringliteral">&quot;not a virtual call?&quot;</span>);</div>
+<div class="line"><a name="l01145"></a><span class="lineno"> 1145</span>&#160;        <span class="keywordflow">return</span> SVFUtil::cast&lt;SVFVirtualCallInst&gt;(<a class="code" href="classSVF_1_1CallSite.html#a3de20fdb58def4ea6af2d635f0d2e730">CB</a>)-&gt;getFunNameOfVirtualCall();</div>
+<div class="line"><a name="l01146"></a><span class="lineno"> 1146</span>&#160;    }</div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -499,10 +499,10 @@ Friends</h2></td></tr>
 </table>
 </div><div class="memdoc">
-<p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l01113">1113</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l01114"></a><span class="lineno"> 1114</span>&#160;    {</div>
-<div class="line"><a name="l01115"></a><span class="lineno"> 1115</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1CallSite.html#a3de20fdb58def4ea6af2d635f0d2e730">CB</a>;</div>
-<div class="line"><a name="l01116"></a><span class="lineno"> 1116</span>&#160;    }</div>
+<p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l01084">1084</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l01085"></a><span class="lineno"> 1085</span>&#160;    {</div>
+<div class="line"><a name="l01086"></a><span class="lineno"> 1086</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1CallSite.html#a3de20fdb58def4ea6af2d635f0d2e730">CB</a>;</div>
+<div class="line"><a name="l01087"></a><span class="lineno"> 1087</span>&#160;    }</div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -529,10 +529,10 @@ Friends</h2></td></tr>
 </table>
 </div><div class="memdoc">
-<p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l01137">1137</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l01138"></a><span class="lineno"> 1138</span>&#160;    {</div>
-<div class="line"><a name="l01139"></a><span class="lineno"> 1139</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1CallSite.html#a3de20fdb58def4ea6af2d635f0d2e730">CB</a>-&gt;<a class="code" href="classSVF_1_1SVFCallInst.html#a496d0e963f0f6a4f9c08183fa91792b0">arg_size</a>();</div>
-<div class="line"><a name="l01140"></a><span class="lineno"> 1140</span>&#160;    }</div>
+<p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l01108">1108</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l01109"></a><span class="lineno"> 1109</span>&#160;    {</div>
+<div class="line"><a name="l01110"></a><span class="lineno"> 1110</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1CallSite.html#a3de20fdb58def4ea6af2d635f0d2e730">CB</a>-&gt;<a class="code" href="classSVF_1_1SVFCallInst.html#a496d0e963f0f6a4f9c08183fa91792b0">arg_size</a>();</div>
+<div class="line"><a name="l01111"></a><span class="lineno"> 1111</span>&#160;    }</div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -559,10 +559,10 @@ Friends</h2></td></tr>
 </table>
 </div><div class="memdoc">
-<p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l01121">1121</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l01122"></a><span class="lineno"> 1122</span>&#160;    {</div>
-<div class="line"><a name="l01123"></a><span class="lineno"> 1123</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1CallSite.html#a3de20fdb58def4ea6af2d635f0d2e730">CB</a>-&gt;<a class="code" href="classSVF_1_1SVFValue.html#a11f2d9b6e969ede6fca2c204cc15b821">getType</a>();</div>
-<div class="line"><a name="l01124"></a><span class="lineno"> 1124</span>&#160;    }</div>
+<p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l01092">1092</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l01093"></a><span class="lineno"> 1093</span>&#160;    {</div>
+<div class="line"><a name="l01094"></a><span class="lineno"> 1094</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1CallSite.html#a3de20fdb58def4ea6af2d635f0d2e730">CB</a>-&gt;<a class="code" href="classSVF_1_1SVFValue.html#a11f2d9b6e969ede6fca2c204cc15b821">getType</a>();</div>
+<div class="line"><a name="l01095"></a><span class="lineno"> 1095</span>&#160;    }</div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -589,11 +589,11 @@ Friends</h2></td></tr>
 </table>
 </div><div class="memdoc">
-<p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l01161">1161</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l01162"></a><span class="lineno"> 1162</span>&#160;    {</div>
-<div class="line"><a name="l01163"></a><span class="lineno"> 1163</span>&#160;        assert(<a class="code" href="classSVF_1_1CallSite.html#a427a38e580db4bf04c9d716762243c89">isVirtualCall</a>() &amp;&amp; <span class="stringliteral">&quot;not a virtual call?&quot;</span>);</div>
-<div class="line"><a name="l01164"></a><span class="lineno"> 1164</span>&#160;        <span class="keywordflow">return</span> SVFUtil::cast&lt;SVFVirtualCallInst&gt;(<a class="code" href="classSVF_1_1CallSite.html#a3de20fdb58def4ea6af2d635f0d2e730">CB</a>)-&gt;getVtablePtr();</div>
-<div class="line"><a name="l01165"></a><span class="lineno"> 1165</span>&#160;    }</div>
+<p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l01132">1132</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l01133"></a><span class="lineno"> 1133</span>&#160;    {</div>
+<div class="line"><a name="l01134"></a><span class="lineno"> 1134</span>&#160;        assert(<a class="code" href="classSVF_1_1CallSite.html#a427a38e580db4bf04c9d716762243c89">isVirtualCall</a>() &amp;&amp; <span class="stringliteral">&quot;not a virtual call?&quot;</span>);</div>
+<div class="line"><a name="l01135"></a><span class="lineno"> 1135</span>&#160;        <span class="keywordflow">return</span> SVFUtil::cast&lt;SVFVirtualCallInst&gt;(<a class="code" href="classSVF_1_1CallSite.html#a3de20fdb58def4ea6af2d635f0d2e730">CB</a>)-&gt;getVtablePtr();</div>
+<div class="line"><a name="l01136"></a><span class="lineno"> 1136</span>&#160;    }</div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -620,10 +620,10 @@ Friends</h2></td></tr>
 </table>
 </div><div class="memdoc">
-<p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l01153">1153</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l01154"></a><span class="lineno"> 1154</span>&#160;    {</div>
-<div class="line"><a name="l01155"></a><span class="lineno"> 1155</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1CallSite.html#a3de20fdb58def4ea6af2d635f0d2e730">CB</a>-&gt;<a class="code" href="classSVF_1_1SVFCallInst.html#a292de585e06f0f2fe3278c74630f3c05">isVarArg</a>();</div>
-<div class="line"><a name="l01156"></a><span class="lineno"> 1156</span>&#160;    }</div>
+<p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l01124">1124</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l01125"></a><span class="lineno"> 1125</span>&#160;    {</div>
+<div class="line"><a name="l01126"></a><span class="lineno"> 1126</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1CallSite.html#a3de20fdb58def4ea6af2d635f0d2e730">CB</a>-&gt;<a class="code" href="classSVF_1_1SVFCallInst.html#a292de585e06f0f2fe3278c74630f3c05">isVarArg</a>();</div>
+<div class="line"><a name="l01127"></a><span class="lineno"> 1127</span>&#160;    }</div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -650,10 +650,10 @@ Friends</h2></td></tr>
 </table>
 </div><div class="memdoc">
-<p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l01157">1157</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l01158"></a><span class="lineno"> 1158</span>&#160;    {</div>
-<div class="line"><a name="l01159"></a><span class="lineno"> 1159</span>&#160;        <span class="keywordflow">return</span> SVFUtil::isa&lt;SVFVirtualCallInst&gt;(<a class="code" href="classSVF_1_1CallSite.html#a3de20fdb58def4ea6af2d635f0d2e730">CB</a>);</div>
-<div class="line"><a name="l01160"></a><span class="lineno"> 1160</span>&#160;    }</div>
+<p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l01128">1128</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l01129"></a><span class="lineno"> 1129</span>&#160;    {</div>
+<div class="line"><a name="l01130"></a><span class="lineno"> 1130</span>&#160;        <span class="keywordflow">return</span> SVFUtil::isa&lt;SVFVirtualCallInst&gt;(<a class="code" href="classSVF_1_1CallSite.html#a3de20fdb58def4ea6af2d635f0d2e730">CB</a>);</div>
+<div class="line"><a name="l01131"></a><span class="lineno"> 1131</span>&#160;    }</div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -681,10 +681,10 @@ Friends</h2></td></tr>
 </table>
 </div><div class="memdoc">
-<p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l01180">1180</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l01181"></a><span class="lineno"> 1181</span>&#160;    {</div>
-<div class="line"><a name="l01182"></a><span class="lineno"> 1182</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1CallSite.html#a3de20fdb58def4ea6af2d635f0d2e730">CB</a> != CS.CB;</div>
-<div class="line"><a name="l01183"></a><span class="lineno"> 1183</span>&#160;    }</div>
+<p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l01151">1151</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l01152"></a><span class="lineno"> 1152</span>&#160;    {</div>
+<div class="line"><a name="l01153"></a><span class="lineno"> 1153</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1CallSite.html#a3de20fdb58def4ea6af2d635f0d2e730">CB</a> != CS.CB;</div>
+<div class="line"><a name="l01154"></a><span class="lineno"> 1154</span>&#160;    }</div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -712,10 +712,10 @@ Friends</h2></td></tr>
 </table>
 </div><div class="memdoc">
-<p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l01184">1184</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l01185"></a><span class="lineno"> 1185</span>&#160;    {</div>
-<div class="line"><a name="l01186"></a><span class="lineno"> 1186</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1CallSite.html#ac2a0091dab3543a398da890b947e42ef">getInstruction</a>() &lt; CS.getInstruction();</div>
-<div class="line"><a name="l01187"></a><span class="lineno"> 1187</span>&#160;    }</div>
+<p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l01155">1155</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l01156"></a><span class="lineno"> 1156</span>&#160;    {</div>
+<div class="line"><a name="l01157"></a><span class="lineno"> 1157</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1CallSite.html#ac2a0091dab3543a398da890b947e42ef">getInstruction</a>() &lt; CS.getInstruction();</div>
+<div class="line"><a name="l01158"></a><span class="lineno"> 1158</span>&#160;    }</div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -743,10 +743,10 @@ Friends</h2></td></tr>
 </table>
 </div><div class="memdoc">
-<p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l01176">1176</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l01177"></a><span class="lineno"> 1177</span>&#160;    {</div>
-<div class="line"><a name="l01178"></a><span class="lineno"> 1178</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1CallSite.html#a3de20fdb58def4ea6af2d635f0d2e730">CB</a> == CS.CB;</div>
-<div class="line"><a name="l01179"></a><span class="lineno"> 1179</span>&#160;    }</div>
+<p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l01147">1147</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l01148"></a><span class="lineno"> 1148</span>&#160;    {</div>
+<div class="line"><a name="l01149"></a><span class="lineno"> 1149</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1CallSite.html#a3de20fdb58def4ea6af2d635f0d2e730">CB</a> == CS.CB;</div>
+<div class="line"><a name="l01150"></a><span class="lineno"> 1150</span>&#160;    }</div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -771,7 +771,7 @@ Friends</h2></td></tr>
 </table>
 </div><div class="memdoc">
-<p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l01100">1100</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l01071">1071</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
 </div>
 </div>
@@ -796,7 +796,7 @@ Friends</h2></td></tr>
 </table>
 </div><div class="memdoc">
-<p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l01103">1103</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l01074">1074</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
 </div>
 </div>
@@ -804,17 +804,17 @@ Friends</h2></td></tr>
 <li>/home/runner/work/SVF/SVF/svf/include/SVFIR/<a class="el" href="SVFValue_8h_source.html">SVFValue.h</a></li>
 </ul>
 </div><!-- contents -->
-<div class="ttc" id="aclassSVF_1_1SVFCallInst_html_a3cbb4b4089c8b27d01da15f2d2f22e14"><div class="ttname"><a href="classSVF_1_1SVFCallInst.html#a3cbb4b4089c8b27d01da15f2d2f22e14">SVF::SVFCallInst::getArgOperand</a></div><div class="ttdeci">const SVFValue * getArgOperand(u32_t i) const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00712">SVFValue.h:712</a></div></div>
-<div class="ttc" id="aclassSVF_1_1CallSite_html_a3de20fdb58def4ea6af2d635f0d2e730"><div class="ttname"><a href="classSVF_1_1CallSite.html#a3de20fdb58def4ea6af2d635f0d2e730">SVF::CallSite::CB</a></div><div class="ttdeci">const SVFCallInst * CB</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l01103">SVFValue.h:1103</a></div></div>
+<div class="ttc" id="aclassSVF_1_1SVFCallInst_html_a3cbb4b4089c8b27d01da15f2d2f22e14"><div class="ttname"><a href="classSVF_1_1SVFCallInst.html#a3cbb4b4089c8b27d01da15f2d2f22e14">SVF::SVFCallInst::getArgOperand</a></div><div class="ttdeci">const SVFValue * getArgOperand(u32_t i) const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00702">SVFValue.h:702</a></div></div>
+<div class="ttc" id="aclassSVF_1_1CallSite_html_a3de20fdb58def4ea6af2d635f0d2e730"><div class="ttname"><a href="classSVF_1_1CallSite.html#a3de20fdb58def4ea6af2d635f0d2e730">SVF::CallSite::CB</a></div><div class="ttdeci">const SVFCallInst * CB</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l01074">SVFValue.h:1074</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFValue_html_a11f2d9b6e969ede6fca2c204cc15b821"><div class="ttname"><a href="classSVF_1_1SVFValue.html#a11f2d9b6e969ede6fca2c204cc15b821">SVF::SVFValue::getType</a></div><div class="ttdeci">virtual const SVFType * getType() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00229">SVFValue.h:229</a></div></div>
-<div class="ttc" id="aclassSVF_1_1SVFCallInst_html_a76a8bb676e8c99ca518cbdf704678558"><div class="ttname"><a href="classSVF_1_1SVFCallInst.html#a76a8bb676e8c99ca518cbdf704678558">SVF::SVFCallInst::getCaller</a></div><div class="ttdeci">const SVFFunction * getCaller() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00733">SVFValue.h:733</a></div></div>
-<div class="ttc" id="aclassSVF_1_1SVFCallInst_html_af19bc370764b552b5ce55c9967bd5a1e"><div class="ttname"><a href="classSVF_1_1SVFCallInst.html#af19bc370764b552b5ce55c9967bd5a1e">SVF::SVFCallInst::arg_empty</a></div><div class="ttdeci">bool arg_empty() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00708">SVFValue.h:708</a></div></div>
-<div class="ttc" id="aclassSVF_1_1CallSite_html_a427a38e580db4bf04c9d716762243c89"><div class="ttname"><a href="classSVF_1_1CallSite.html#a427a38e580db4bf04c9d716762243c89">SVF::CallSite::isVirtualCall</a></div><div class="ttdeci">bool isVirtualCall() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l01157">SVFValue.h:1157</a></div></div>
-<div class="ttc" id="aclassSVF_1_1SVFCallInst_html_a61f00e0fde32e5dbe78958d172dd9fd3"><div class="ttname"><a href="classSVF_1_1SVFCallInst.html#a61f00e0fde32e5dbe78958d172dd9fd3">SVF::SVFCallInst::getCalledOperand</a></div><div class="ttdeci">const SVFValue * getCalledOperand() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00721">SVFValue.h:721</a></div></div>
-<div class="ttc" id="aclassSVF_1_1CallSite_html_ac2a0091dab3543a398da890b947e42ef"><div class="ttname"><a href="classSVF_1_1CallSite.html#ac2a0091dab3543a398da890b947e42ef">SVF::CallSite::getInstruction</a></div><div class="ttdeci">const SVFInstruction * getInstruction() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l01113">SVFValue.h:1113</a></div></div>
-<div class="ttc" id="aclassSVF_1_1SVFCallInst_html_a292de585e06f0f2fe3278c74630f3c05"><div class="ttname"><a href="classSVF_1_1SVFCallInst.html#a292de585e06f0f2fe3278c74630f3c05">SVF::SVFCallInst::isVarArg</a></div><div class="ttdeci">bool isVarArg() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00725">SVFValue.h:725</a></div></div>
-<div class="ttc" id="aclassSVF_1_1SVFCallInst_html_ab654651e3117e8480544615fb1574766"><div class="ttname"><a href="classSVF_1_1SVFCallInst.html#ab654651e3117e8480544615fb1574766">SVF::SVFCallInst::getCalledFunction</a></div><div class="ttdeci">const SVFFunction * getCalledFunction() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00729">SVFValue.h:729</a></div></div>
-<div class="ttc" id="aclassSVF_1_1SVFCallInst_html_a496d0e963f0f6a4f9c08183fa91792b0"><div class="ttname"><a href="classSVF_1_1SVFCallInst.html#a496d0e963f0f6a4f9c08183fa91792b0">SVF::SVFCallInst::arg_size</a></div><div class="ttdeci">u32_t arg_size() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00704">SVFValue.h:704</a></div></div>
+<div class="ttc" id="aclassSVF_1_1SVFCallInst_html_a76a8bb676e8c99ca518cbdf704678558"><div class="ttname"><a href="classSVF_1_1SVFCallInst.html#a76a8bb676e8c99ca518cbdf704678558">SVF::SVFCallInst::getCaller</a></div><div class="ttdeci">const SVFFunction * getCaller() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00723">SVFValue.h:723</a></div></div>
+<div class="ttc" id="aclassSVF_1_1SVFCallInst_html_af19bc370764b552b5ce55c9967bd5a1e"><div class="ttname"><a href="classSVF_1_1SVFCallInst.html#af19bc370764b552b5ce55c9967bd5a1e">SVF::SVFCallInst::arg_empty</a></div><div class="ttdeci">bool arg_empty() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00698">SVFValue.h:698</a></div></div>
+<div class="ttc" id="aclassSVF_1_1CallSite_html_a427a38e580db4bf04c9d716762243c89"><div class="ttname"><a href="classSVF_1_1CallSite.html#a427a38e580db4bf04c9d716762243c89">SVF::CallSite::isVirtualCall</a></div><div class="ttdeci">bool isVirtualCall() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l01128">SVFValue.h:1128</a></div></div>
+<div class="ttc" id="aclassSVF_1_1SVFCallInst_html_a61f00e0fde32e5dbe78958d172dd9fd3"><div class="ttname"><a href="classSVF_1_1SVFCallInst.html#a61f00e0fde32e5dbe78958d172dd9fd3">SVF::SVFCallInst::getCalledOperand</a></div><div class="ttdeci">const SVFValue * getCalledOperand() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00711">SVFValue.h:711</a></div></div>
+<div class="ttc" id="aclassSVF_1_1CallSite_html_ac2a0091dab3543a398da890b947e42ef"><div class="ttname"><a href="classSVF_1_1CallSite.html#ac2a0091dab3543a398da890b947e42ef">SVF::CallSite::getInstruction</a></div><div class="ttdeci">const SVFInstruction * getInstruction() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l01084">SVFValue.h:1084</a></div></div>
+<div class="ttc" id="aclassSVF_1_1SVFCallInst_html_a292de585e06f0f2fe3278c74630f3c05"><div class="ttname"><a href="classSVF_1_1SVFCallInst.html#a292de585e06f0f2fe3278c74630f3c05">SVF::SVFCallInst::isVarArg</a></div><div class="ttdeci">bool isVarArg() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00715">SVFValue.h:715</a></div></div>
+<div class="ttc" id="aclassSVF_1_1SVFCallInst_html_ab654651e3117e8480544615fb1574766"><div class="ttname"><a href="classSVF_1_1SVFCallInst.html#ab654651e3117e8480544615fb1574766">SVF::SVFCallInst::getCalledFunction</a></div><div class="ttdeci">const SVFFunction * getCalledFunction() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00719">SVFValue.h:719</a></div></div>
+<div class="ttc" id="aclassSVF_1_1SVFCallInst_html_a496d0e963f0f6a4f9c08183fa91792b0"><div class="ttname"><a href="classSVF_1_1SVFCallInst.html#a496d0e963f0f6a4f9c08183fa91792b0">SVF::SVFCallInst::arg_size</a></div><div class="ttdeci">u32_t arg_size() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00694">SVFValue.h:694</a></div></div>
 <!-- start footer part -->
 <hr class="footer"/><address class="footer"><small>
 Generated by &#160;<a href="http://www.doxygen.org/index.html">