svf-tools 1.0.478 → 1.0.481

package/SVF-doxygen/html/html/classSVF_1_1ThreadAPI.html

@@ -224,7 +224,7 @@ Private Member Functions</h2></td></tr>
 <tr class="memitem:a4535862f26efff9f45236000507932c9"><td class="memItemLeft" align="right" valign="top">void&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1ThreadAPI.html#a4535862f26efff9f45236000507932c9">init</a> ()</td></tr>
 <tr class="memdesc:a4535862f26efff9f45236000507932c9"><td class="mdescLeft">&#160;</td><td class="mdescRight">Initialize the map.  <a href="#a4535862f26efff9f45236000507932c9">More...</a><br /></td></tr>
 <tr class="separator:a4535862f26efff9f45236000507932c9"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:a768a655dffc5fcf1d63e2a0b3f2930f4"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1ThreadAPI.html#a38a7516702c55ab418167b7c850516b3">TD_TYPE</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1ThreadAPI.html#a768a655dffc5fcf1d63e2a0b3f2930f4">getType</a> (const <a class="el" href="classSVF_1_1SVFFunction.html">SVFFunction</a> *<a class="el" href="CFLGrammarDev_8txt.html#a5526c6e27f7632db909dee64f361d2c9">F</a>) const</td></tr>
+<tr class="memitem:a768a655dffc5fcf1d63e2a0b3f2930f4"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1ThreadAPI.html#a38a7516702c55ab418167b7c850516b3">TD_TYPE</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1ThreadAPI.html#a768a655dffc5fcf1d63e2a0b3f2930f4">getType</a> (const <a class="el" href="classSVF_1_1SVFFunction.html">SVFFunction</a> *<a class="el" href="CFLGrammar_8txt.html#acc7b4cf736579c4d83be2316d5a9e5f2">F</a>) const</td></tr>
 <tr class="memdesc:a768a655dffc5fcf1d63e2a0b3f2930f4"><td class="mdescLeft">&#160;</td><td class="mdescRight">Get the function type if it is a threadAPI function.  <a href="#a768a655dffc5fcf1d63e2a0b3f2930f4">More...</a><br /></td></tr>
 <tr class="separator:a768a655dffc5fcf1d63e2a0b3f2930f4"><td class="memSeparator" colspan="2">&#160;</td></tr>
 </table><table class="memberdecls">
@@ -1018,7 +1018,7 @@ Static Private Attributes</h2></td></tr>
 <p class="definition">Definition at line <a class="el" href="ThreadAPI_8h_source.html#l00089">89</a> of file <a class="el" href="ThreadAPI_8h_source.html">ThreadAPI.h</a>.</p>
 <div class="fragment"><div class="line"><a name="l00090"></a><span class="lineno">   90</span>&#160;    {</div><div class="line"><a name="l00091"></a><span class="lineno">   91</span>&#160;        <span class="keywordflow">if</span>(<a class="code" href="CFLGrammar_8txt.html#acc7b4cf736579c4d83be2316d5a9e5f2">F</a>)</div><div class="line"><a name="l00092"></a><span class="lineno">   92</span>&#160;        {</div><div class="line"><a name="l00093"></a><span class="lineno">   93</span>&#160;            TDAPIMap::const_iterator it= <a class="code" href="classSVF_1_1ThreadAPI.html#a4277abaae24b43d83470054c247f479c">tdAPIMap</a>.find(<a class="code" href="CFLGrammar_8txt.html#acc7b4cf736579c4d83be2316d5a9e5f2">F</a>-&gt;getName());</div><div class="line"><a name="l00094"></a><span class="lineno">   94</span>&#160;            <span class="keywordflow">if</span>(it != <a class="code" href="classSVF_1_1ThreadAPI.html#a4277abaae24b43d83470054c247f479c">tdAPIMap</a>.end())</div><div class="line"><a name="l00095"></a><span class="lineno">   95</span>&#160;                <span class="keywordflow">return</span> it-&gt;second;</div><div class="line"><a name="l00096"></a><span class="lineno">   96</span>&#160;        }</div><div class="line"><a name="l00097"></a><span class="lineno">   97</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1ThreadAPI.html#a38a7516702c55ab418167b7c850516b3a5953e882e253807e49aa229e64e001b8">TD_DUMMY</a>;</div><div class="line"><a name="l00098"></a><span class="lineno">   98</span>&#160;    }</div><div class="ttc" id="classSVF_1_1ThreadAPI_html_a38a7516702c55ab418167b7c850516b3a5953e882e253807e49aa229e64e001b8"><div class="ttname"><a href="classSVF_1_1ThreadAPI.html#a38a7516702c55ab418167b7c850516b3a5953e882e253807e49aa229e64e001b8">SVF::ThreadAPI::TD_DUMMY</a></div><div class="ttdef"><b>Definition:</b> <a href="ThreadAPI_8h_source.html#l00049">ThreadAPI.h:49</a></div></div>
 <div class="ttc" id="classSVF_1_1ThreadAPI_html_a4277abaae24b43d83470054c247f479c"><div class="ttname"><a href="classSVF_1_1ThreadAPI.html#a4277abaae24b43d83470054c247f479c">SVF::ThreadAPI::tdAPIMap</a></div><div class="ttdeci">TDAPIMap tdAPIMap</div><div class="ttdoc">API map, from a string to threadAPI type. </div><div class="ttdef"><b>Definition:</b> <a href="ThreadAPI_8h_source.html#l00074">ThreadAPI.h:74</a></div></div>
-<div class="ttc" id="CFLGrammar_8txt_html_acc7b4cf736579c4d83be2316d5a9e5f2"><div class="ttname"><a href="CFLGrammar_8txt.html#acc7b4cf736579c4d83be2316d5a9e5f2">F</a></div><div class="ttdeci">V Fbar V F</div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8txt_source.html#l00014">CFLGrammar.txt:14</a></div></div>
+<div class="ttc" id="CFLGrammar_8txt_html_acc7b4cf736579c4d83be2316d5a9e5f2"><div class="ttname"><a href="CFLGrammar_8txt.html#acc7b4cf736579c4d83be2316d5a9e5f2">F</a></div><div class="ttdeci">V Fbar V F</div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8txt_source.html#l00013">CFLGrammar.txt:13</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>

package/SVF-doxygen/html/html/classSVF_1_1VariantGepCGEdge.html

@@ -201,7 +201,7 @@ Additional Inherited Members</h2></td></tr>
 <a name="details" id="details"></a><h2 class="groupheader">Detailed Description</h2>
 <div class="textblock"><p>Gep edge with variant offset size </p>
 
-<p class="definition">Definition at line <a class="el" href="ConsGEdge_8h_source.html#l00316">316</a> of file <a class="el" href="ConsGEdge_8h_source.html">ConsGEdge.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="ConsGEdge_8h_source.html#l00317">317</a> of file <a class="el" href="ConsGEdge_8h_source.html">ConsGEdge.h</a>.</p>
 </div><h2 class="groupheader">Constructor &amp; Destructor Documentation</h2>
 <a id="abfea1a5cc983b1773b307c8dcd42dd02"></a>
 <h2 class="memtitle"><span class="permalink"><a href="#abfea1a5cc983b1773b307c8dcd42dd02">&#9670;&nbsp;</a></span>VariantGepCGEdge() <span class="overload">[1/3]</span></h2>
@@ -300,8 +300,8 @@ Additional Inherited Members</h2></td></tr>
 
 <p>Constructor. </p>
 
-<p class="definition">Definition at line <a class="el" href="ConsGEdge_8h_source.html#l00345">345</a> of file <a class="el" href="ConsGEdge_8h_source.html">ConsGEdge.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00346"></a><span class="lineno">  346</span>&#160;        : <a class="code" href="classSVF_1_1GepCGEdge.html#a17660f0d48006b9ee1d095218c5ab4a0">GepCGEdge</a>(s,d,<a class="code" href="classSVF_1_1ConstraintEdge.html#a663af27955ba0c545f34fa1f076b7375ae5df3ce07dd670b48916f7b8ab33ae5a">VariantGep</a>,<span class="keywordtype">id</span>)</div><div class="line"><a name="l00347"></a><span class="lineno">  347</span>&#160;    {}</div><div class="ttc" id="classSVF_1_1ConstraintEdge_html_a663af27955ba0c545f34fa1f076b7375ae5df3ce07dd670b48916f7b8ab33ae5a"><div class="ttname"><a href="classSVF_1_1ConstraintEdge.html#a663af27955ba0c545f34fa1f076b7375ae5df3ce07dd670b48916f7b8ab33ae5a">SVF::ConstraintEdge::VariantGep</a></div><div class="ttdef"><b>Definition:</b> <a href="ConsGEdge_8h_source.html#l00056">ConsGEdge.h:56</a></div></div>
+<p class="definition">Definition at line <a class="el" href="ConsGEdge_8h_source.html#l00346">346</a> of file <a class="el" href="ConsGEdge_8h_source.html">ConsGEdge.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00347"></a><span class="lineno">  347</span>&#160;        : <a class="code" href="classSVF_1_1GepCGEdge.html#a17660f0d48006b9ee1d095218c5ab4a0">GepCGEdge</a>(s,d,<a class="code" href="classSVF_1_1ConstraintEdge.html#a663af27955ba0c545f34fa1f076b7375ae5df3ce07dd670b48916f7b8ab33ae5a">VariantGep</a>,<span class="keywordtype">id</span>)</div><div class="line"><a name="l00348"></a><span class="lineno">  348</span>&#160;    {}</div><div class="ttc" id="classSVF_1_1ConstraintEdge_html_a663af27955ba0c545f34fa1f076b7375ae5df3ce07dd670b48916f7b8ab33ae5a"><div class="ttname"><a href="classSVF_1_1ConstraintEdge.html#a663af27955ba0c545f34fa1f076b7375ae5df3ce07dd670b48916f7b8ab33ae5a">SVF::ConstraintEdge::VariantGep</a></div><div class="ttdef"><b>Definition:</b> <a href="ConsGEdge_8h_source.html#l00056">ConsGEdge.h:56</a></div></div>
 <div class="ttc" id="classSVF_1_1GepCGEdge_html_a17660f0d48006b9ee1d095218c5ab4a0"><div class="ttname"><a href="classSVF_1_1GepCGEdge.html#a17660f0d48006b9ee1d095218c5ab4a0">SVF::GepCGEdge::GepCGEdge</a></div><div class="ttdeci">GepCGEdge()</div><div class="ttdoc">place holder </div></div>
 </div><!-- fragment -->
 </div>
@@ -333,8 +333,8 @@ Additional Inherited Members</h2></td></tr>
 
 <p>Methods for support type inquiry through isa, cast, and dyn_cast: </p>
 
-<p class="definition">Definition at line <a class="el" href="ConsGEdge_8h_source.html#l00326">326</a> of file <a class="el" href="ConsGEdge_8h_source.html">ConsGEdge.h</a>.</p>
-<div class="fragment"><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;        <span class="keywordflow">return</span> <span class="keyword">true</span>;</div><div class="line"><a name="l00329"></a><span class="lineno">  329</span>&#160;    }</div></div><!-- fragment -->
+<p class="definition">Definition at line <a class="el" href="ConsGEdge_8h_source.html#l00327">327</a> of file <a class="el" href="ConsGEdge_8h_source.html">ConsGEdge.h</a>.</p>
+<div class="fragment"><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">return</span> <span class="keyword">true</span>;</div><div class="line"><a name="l00330"></a><span class="lineno">  330</span>&#160;    }</div></div><!-- fragment -->
 </div>
 </div>
 <a id="ae83d829f94cb886ddf36cddb75fb17df"></a>
@@ -361,8 +361,8 @@ Additional Inherited Members</h2></td></tr>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="ConsGEdge_8h_source.html#l00330">330</a> of file <a class="el" href="ConsGEdge_8h_source.html">ConsGEdge.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00331"></a><span class="lineno">  331</span>&#160;    {</div><div class="line"><a name="l00332"></a><span class="lineno">  332</span>&#160;        <span class="keywordflow">return</span> edge-&gt;getEdgeKind() == <a class="code" href="classSVF_1_1ConstraintEdge.html#a663af27955ba0c545f34fa1f076b7375ae5df3ce07dd670b48916f7b8ab33ae5a">VariantGep</a>;</div><div class="line"><a name="l00333"></a><span class="lineno">  333</span>&#160;    }</div><div class="ttc" id="classSVF_1_1ConstraintEdge_html_a663af27955ba0c545f34fa1f076b7375ae5df3ce07dd670b48916f7b8ab33ae5a"><div class="ttname"><a href="classSVF_1_1ConstraintEdge.html#a663af27955ba0c545f34fa1f076b7375ae5df3ce07dd670b48916f7b8ab33ae5a">SVF::ConstraintEdge::VariantGep</a></div><div class="ttdef"><b>Definition:</b> <a href="ConsGEdge_8h_source.html#l00056">ConsGEdge.h:56</a></div></div>
+<p class="definition">Definition at line <a class="el" href="ConsGEdge_8h_source.html#l00331">331</a> of file <a class="el" href="ConsGEdge_8h_source.html">ConsGEdge.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00332"></a><span class="lineno">  332</span>&#160;    {</div><div class="line"><a name="l00333"></a><span class="lineno">  333</span>&#160;        <span class="keywordflow">return</span> edge-&gt;getEdgeKind() == <a class="code" href="classSVF_1_1ConstraintEdge.html#a663af27955ba0c545f34fa1f076b7375ae5df3ce07dd670b48916f7b8ab33ae5a">VariantGep</a>;</div><div class="line"><a name="l00334"></a><span class="lineno">  334</span>&#160;    }</div><div class="ttc" id="classSVF_1_1ConstraintEdge_html_a663af27955ba0c545f34fa1f076b7375ae5df3ce07dd670b48916f7b8ab33ae5a"><div class="ttname"><a href="classSVF_1_1ConstraintEdge.html#a663af27955ba0c545f34fa1f076b7375ae5df3ce07dd670b48916f7b8ab33ae5a">SVF::ConstraintEdge::VariantGep</a></div><div class="ttdef"><b>Definition:</b> <a href="ConsGEdge_8h_source.html#l00056">ConsGEdge.h:56</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -390,8 +390,8 @@ Additional Inherited Members</h2></td></tr>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="ConsGEdge_8h_source.html#l00334">334</a> of file <a class="el" href="ConsGEdge_8h_source.html">ConsGEdge.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00335"></a><span class="lineno">  335</span>&#160;    {</div><div class="line"><a name="l00336"></a><span class="lineno">  336</span>&#160;        <span class="keywordflow">return</span> edge-&gt;getEdgeKind() == <a class="code" href="classSVF_1_1ConstraintEdge.html#a663af27955ba0c545f34fa1f076b7375ae5df3ce07dd670b48916f7b8ab33ae5a">VariantGep</a>;</div><div class="line"><a name="l00337"></a><span class="lineno">  337</span>&#160;    }</div><div class="ttc" id="classSVF_1_1ConstraintEdge_html_a663af27955ba0c545f34fa1f076b7375ae5df3ce07dd670b48916f7b8ab33ae5a"><div class="ttname"><a href="classSVF_1_1ConstraintEdge.html#a663af27955ba0c545f34fa1f076b7375ae5df3ce07dd670b48916f7b8ab33ae5a">SVF::ConstraintEdge::VariantGep</a></div><div class="ttdef"><b>Definition:</b> <a href="ConsGEdge_8h_source.html#l00056">ConsGEdge.h:56</a></div></div>
+<p class="definition">Definition at line <a class="el" href="ConsGEdge_8h_source.html#l00335">335</a> of file <a class="el" href="ConsGEdge_8h_source.html">ConsGEdge.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00336"></a><span class="lineno">  336</span>&#160;    {</div><div class="line"><a name="l00337"></a><span class="lineno">  337</span>&#160;        <span class="keywordflow">return</span> edge-&gt;getEdgeKind() == <a class="code" href="classSVF_1_1ConstraintEdge.html#a663af27955ba0c545f34fa1f076b7375ae5df3ce07dd670b48916f7b8ab33ae5a">VariantGep</a>;</div><div class="line"><a name="l00338"></a><span class="lineno">  338</span>&#160;    }</div><div class="ttc" id="classSVF_1_1ConstraintEdge_html_a663af27955ba0c545f34fa1f076b7375ae5df3ce07dd670b48916f7b8ab33ae5a"><div class="ttname"><a href="classSVF_1_1ConstraintEdge.html#a663af27955ba0c545f34fa1f076b7375ae5df3ce07dd670b48916f7b8ab33ae5a">SVF::ConstraintEdge::VariantGep</a></div><div class="ttdef"><b>Definition:</b> <a href="ConsGEdge_8h_source.html#l00056">ConsGEdge.h:56</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -419,8 +419,8 @@ Additional Inherited Members</h2></td></tr>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="ConsGEdge_8h_source.html#l00338">338</a> of file <a class="el" href="ConsGEdge_8h_source.html">ConsGEdge.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00339"></a><span class="lineno">  339</span>&#160;    {</div><div class="line"><a name="l00340"></a><span class="lineno">  340</span>&#160;        <span class="keywordflow">return</span> edge-&gt;getEdgeKind() == <a class="code" href="classSVF_1_1ConstraintEdge.html#a663af27955ba0c545f34fa1f076b7375ae5df3ce07dd670b48916f7b8ab33ae5a">VariantGep</a>;</div><div class="line"><a name="l00341"></a><span class="lineno">  341</span>&#160;    }</div><div class="ttc" id="classSVF_1_1ConstraintEdge_html_a663af27955ba0c545f34fa1f076b7375ae5df3ce07dd670b48916f7b8ab33ae5a"><div class="ttname"><a href="classSVF_1_1ConstraintEdge.html#a663af27955ba0c545f34fa1f076b7375ae5df3ce07dd670b48916f7b8ab33ae5a">SVF::ConstraintEdge::VariantGep</a></div><div class="ttdef"><b>Definition:</b> <a href="ConsGEdge_8h_source.html#l00056">ConsGEdge.h:56</a></div></div>
+<p class="definition">Definition at line <a class="el" href="ConsGEdge_8h_source.html#l00339">339</a> of file <a class="el" href="ConsGEdge_8h_source.html">ConsGEdge.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00340"></a><span class="lineno">  340</span>&#160;    {</div><div class="line"><a name="l00341"></a><span class="lineno">  341</span>&#160;        <span class="keywordflow">return</span> edge-&gt;getEdgeKind() == <a class="code" href="classSVF_1_1ConstraintEdge.html#a663af27955ba0c545f34fa1f076b7375ae5df3ce07dd670b48916f7b8ab33ae5a">VariantGep</a>;</div><div class="line"><a name="l00342"></a><span class="lineno">  342</span>&#160;    }</div><div class="ttc" id="classSVF_1_1ConstraintEdge_html_a663af27955ba0c545f34fa1f076b7375ae5df3ce07dd670b48916f7b8ab33ae5a"><div class="ttname"><a href="classSVF_1_1ConstraintEdge.html#a663af27955ba0c545f34fa1f076b7375ae5df3ce07dd670b48916f7b8ab33ae5a">SVF::ConstraintEdge::VariantGep</a></div><div class="ttdef"><b>Definition:</b> <a href="ConsGEdge_8h_source.html#l00056">ConsGEdge.h:56</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>