svf-tools 1.0.581 → 1.0.583

package/SVF-doxygen/html/html/CFLGrammar_8txt.html

@@ -69,42 +69,16 @@ $(function() {
 Variables</h2></td></tr>
 <tr class="memitem:ad8c410068267cc7ccd0765a7bd51a2bf"><td class="memItemLeft" align="right" valign="top">Start&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="CFLGrammar_8txt.html#ad8c410068267cc7ccd0765a7bd51a2bf">__pad0__</a></td></tr>
 <tr class="separator:ad8c410068267cc7ccd0765a7bd51a2bf"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:a7669ee67a0563250c1efaa24d130e1ac"><td class="memItemLeft" align="right" valign="top"><a class="el" href="CFLGrammar_8txt.html#a00967427d1c110ffcc82ea2a966f4564">F</a> <a class="el" href="CFLGrammar_8txt.html#a00967427d1c110ffcc82ea2a966f4564">F</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="CFLGrammar_8txt.html#a7669ee67a0563250c1efaa24d130e1ac">copy</a></td></tr>
-<tr class="separator:a7669ee67a0563250c1efaa24d130e1ac"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:ae2f9fbd0bf92e7dad02a6c5fa9323621"><td class="memItemLeft" align="right" valign="top"><a class="el" href="CFLGrammar_8txt.html#a00967427d1c110ffcc82ea2a966f4564">F</a> <a class="el" href="CFLGrammar_8txt.html#aae7baac9bf1fe49869f5ab76e07bfd05">addr</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="CFLGrammar_8txt.html#ae2f9fbd0bf92e7dad02a6c5fa9323621">Memflow</a></td></tr>
-<tr class="separator:ae2f9fbd0bf92e7dad02a6c5fa9323621"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:af94ae7efab42c57589a313f6cc7ada63"><td class="memItemLeft" align="right" valign="top"><a class="el" href="CFLGrammar_8txt.html#a00967427d1c110ffcc82ea2a966f4564">F</a> <a class="el" href="CFLGrammar_8txt.html#a00967427d1c110ffcc82ea2a966f4564">F</a> <a class="el" href="CFLGrammar_8txt.html#a92d5a256d74eadeb5bfa131b84067f0d">store</a> V&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="CFLGrammar_8txt.html#af94ae7efab42c57589a313f6cc7ada63">load</a></td></tr>
-<tr class="separator:af94ae7efab42c57589a313f6cc7ada63"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:a114c2e5cd44b3ea4720e9191ed819f3b"><td class="memItemLeft" align="right" valign="top"><a class="el" href="PEGGrammar_8txt.html#a381299bc74db18cd7c54b9e856fca447">Fbar</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="CFLGrammar_8txt.html#a114c2e5cd44b3ea4720e9191ed819f3b">epsilon</a></td></tr>
-<tr class="separator:a114c2e5cd44b3ea4720e9191ed819f3b"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:afb129e761aae1ddaa005123832b88cd2"><td class="memItemLeft" align="right" valign="top">Fbar copybar&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="CFLGrammar_8txt.html#afb129e761aae1ddaa005123832b88cd2">Fbar</a></td></tr>
-<tr class="separator:afb129e761aae1ddaa005123832b88cd2"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:aaaa1a1b432fa23f6a02aab2fbd2ef7f5"><td class="memItemLeft" align="right" valign="top"><a class="el" href="PEGGrammar_8txt.html#a381299bc74db18cd7c54b9e856fca447">Fbar</a> Memflowbar&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="CFLGrammar_8txt.html#aaaa1a1b432fa23f6a02aab2fbd2ef7f5">addrbar</a></td></tr>
-<tr class="separator:aaaa1a1b432fa23f6a02aab2fbd2ef7f5"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:a48eaeeebe78c32844d92122831012be2"><td class="memItemLeft" align="right" valign="top"><a class="el" href="PEGGrammar_8txt.html#a381299bc74db18cd7c54b9e856fca447">Fbar</a> <a class="el" href="CFLGrammar_8txt.html#a2c36e7a55e36ff3a2f5a4c55d4e1cf18">loadbar</a> Memflowbar&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="CFLGrammar_8txt.html#a48eaeeebe78c32844d92122831012be2">storebar</a></td></tr>
-<tr class="separator:a48eaeeebe78c32844d92122831012be2"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:a00967427d1c110ffcc82ea2a966f4564"><td class="memItemLeft" align="right" valign="top">V <a class="el" href="PEGGrammar_8txt.html#a381299bc74db18cd7c54b9e856fca447">Fbar</a> V&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="CFLGrammar_8txt.html#a00967427d1c110ffcc82ea2a966f4564">F</a></td></tr>
-<tr class="separator:a00967427d1c110ffcc82ea2a966f4564"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:aae7baac9bf1fe49869f5ab76e07bfd05"><td class="memItemLeft" align="right" valign="top">V <a class="el" href="PEGGrammar_8txt.html#ac0ba65b20304c39926bf018842207e87">addrbar</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="CFLGrammar_8txt.html#aae7baac9bf1fe49869f5ab76e07bfd05">addr</a></td></tr>
-<tr class="separator:aae7baac9bf1fe49869f5ab76e07bfd05"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:a717bc437ac0cf29d051c8affc5b865ec"><td class="memItemLeft" align="right" valign="top">V <a class="el" href="CFLGrammar_8txt.html#a6e01259893f22cb0da6728f279ccd3e7">gepbar_i</a> V&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="CFLGrammar_8txt.html#a717bc437ac0cf29d051c8affc5b865ec">gep_i</a></td></tr>
-<tr class="separator:a717bc437ac0cf29d051c8affc5b865ec"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:a6ee570f12a515fbe082cd58b4fed1556"><td class="memItemLeft" align="right" valign="top">V gepbarpath V&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="CFLGrammar_8txt.html#a6ee570f12a515fbe082cd58b4fed1556">gep_0</a></td></tr>
-<tr class="separator:a6ee570f12a515fbe082cd58b4fed1556"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:a3c0f58fdc2a0351764cef84c2a761477"><td class="memItemLeft" align="right" valign="top"><a class="el" href="cJSON_8cpp.html#a7669ee67a0563250c1efaa24d130e1ac">copy</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="CFLGrammar_8txt.html#a3c0f58fdc2a0351764cef84c2a761477">vgep</a></td></tr>
-<tr class="separator:a3c0f58fdc2a0351764cef84c2a761477"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:a5cb31e8d975de240d0e0c173cb7f407f"><td class="memItemLeft" align="right" valign="top">copybar&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="CFLGrammar_8txt.html#a5cb31e8d975de240d0e0c173cb7f407f">vgepbar</a></td></tr>
-<tr class="separator:a5cb31e8d975de240d0e0c173cb7f407f"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:aea5ba88546e9986acc645ae45372e621"><td class="memItemLeft" align="right" valign="top">gep_1 <a class="el" href="PEGGrammar_8txt.html#a4c44ba149afa8531399b34ff202e7486">gep_0</a> <a class="el" href="CFLGrammar_8txt.html#a00967427d1c110ffcc82ea2a966f4564">F</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="CFLGrammar_8txt.html#aea5ba88546e9986acc645ae45372e621">gep_1</a></td></tr>
-<tr class="separator:aea5ba88546e9986acc645ae45372e621"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:add91b668073700b532153fd7f8fd4cda"><td class="memItemLeft" align="right" valign="top">gepbar_1 gepbar_1 <a class="el" href="PEGGrammar_8txt.html#a381299bc74db18cd7c54b9e856fca447">Fbar</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="CFLGrammar_8txt.html#add91b668073700b532153fd7f8fd4cda">gepbar_0</a></td></tr>
-<tr class="separator:add91b668073700b532153fd7f8fd4cda"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:a92d5a256d74eadeb5bfa131b84067f0d"><td class="memItemLeft" align="right" valign="top"><a class="el" href="CFLGrammar_8txt.html#ae2f9fbd0bf92e7dad02a6c5fa9323621">Memflow</a> <a class="el" href="CFLGrammar_8txt.html#af94ae7efab42c57589a313f6cc7ada63">load</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="CFLGrammar_8txt.html#a92d5a256d74eadeb5bfa131b84067f0d">store</a></td></tr>
-<tr class="separator:a92d5a256d74eadeb5bfa131b84067f0d"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:a6e01259893f22cb0da6728f279ccd3e7"><td class="memItemLeft" align="right" valign="top"><a class="el" href="CFLGrammar_8txt.html#ae2f9fbd0bf92e7dad02a6c5fa9323621">Memflow</a> <a class="el" href="CFLGrammar_8txt.html#a717bc437ac0cf29d051c8affc5b865ec">gep_i</a> <a class="el" href="CFLGrammar_8txt.html#ae2f9fbd0bf92e7dad02a6c5fa9323621">Memflow</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="CFLGrammar_8txt.html#a6e01259893f22cb0da6728f279ccd3e7">gepbar_i</a></td></tr>
-<tr class="separator:a6e01259893f22cb0da6728f279ccd3e7"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:a2c36e7a55e36ff3a2f5a4c55d4e1cf18"><td class="memItemLeft" align="right" valign="top">Memflowbar <a class="el" href="CFLGrammar_8txt.html#a48eaeeebe78c32844d92122831012be2">storebar</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="CFLGrammar_8txt.html#a2c36e7a55e36ff3a2f5a4c55d4e1cf18">loadbar</a></td></tr>
-<tr class="separator:a2c36e7a55e36ff3a2f5a4c55d4e1cf18"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a07b9538bf6c870253aed4d379891604c"><td class="memItemLeft" align="right" valign="top"><a class="el" href="PEGGrammar_8txt.html#a381299bc74db18cd7c54b9e856fca447">Fbar</a> <a class="el" href="VFG_8txt.html#ac5f2eebeadca57b6dd4a532ba5f01757">epsilon</a> copybar <a class="el" href="PEGGrammar_8txt.html#a381299bc74db18cd7c54b9e856fca447">Fbar</a> Memflowbar <a class="el" href="PEGGrammar_8txt.html#ac0ba65b20304c39926bf018842207e87">addrbar</a> loadbar V storebar <a class="el" href="PEGGrammar_8txt.html#a381299bc74db18cd7c54b9e856fca447">Fbar</a> loadbar Memflowbar&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="CFLGrammar_8txt.html#a07b9538bf6c870253aed4d379891604c">storebar</a></td></tr>
+<tr class="separator:a07b9538bf6c870253aed4d379891604c"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a70678866f928eaca8c8322d57a451d0a"><td class="memItemLeft" align="right" valign="top">V <a class="el" href="PEGGrammar_8txt.html#a381299bc74db18cd7c54b9e856fca447">Fbar</a> V F <a class="el" href="PEGGrammar_8txt.html#ac0ba65b20304c39926bf018842207e87">addrbar</a> addr gepbar_i V gep_i gepbarpath V <a class="el" href="PEGGrammar_8txt.html#a4c44ba149afa8531399b34ff202e7486">gep_0</a> gepbar_i F gep_i gepbar_i <a class="el" href="PEGGrammar_8txt.html#a381299bc74db18cd7c54b9e856fca447">Fbar</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="CFLGrammar_8txt.html#a70678866f928eaca8c8322d57a451d0a">gep_i</a></td></tr>
+<tr class="separator:a70678866f928eaca8c8322d57a451d0a"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a05d200d7269d0c361b89b3c235275f7b"><td class="memItemLeft" align="right" valign="top"><a class="el" href="cJSON_8cpp.html#a7669ee67a0563250c1efaa24d130e1ac">copy</a> vgep； copybar&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="CFLGrammar_8txt.html#a05d200d7269d0c361b89b3c235275f7b">vgepbar</a></td></tr>
+<tr class="separator:a05d200d7269d0c361b89b3c235275f7b"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a9a4e1871fa395956be13e1d7a5089719"><td class="memItemLeft" align="right" valign="top">gep_1 <a class="el" href="PEGGrammar_8txt.html#a4c44ba149afa8531399b34ff202e7486">gep_0</a> F vgep <a class="el" href="PEGGrammar_8txt.html#a4c44ba149afa8531399b34ff202e7486">gep_0</a> F&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="CFLGrammar_8txt.html#a9a4e1871fa395956be13e1d7a5089719">gep_1</a></td></tr>
+<tr class="separator:a9a4e1871fa395956be13e1d7a5089719"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a2bd2d1614b7b4f376c61366b17c0637d"><td class="memItemLeft" align="right" valign="top">gepbar_1 gepbar_1 <a class="el" href="PEGGrammar_8txt.html#a381299bc74db18cd7c54b9e856fca447">Fbar</a> gepbar_0 <a class="el" href="CFLGrammar_8txt.html#a05d200d7269d0c361b89b3c235275f7b">vgepbar</a> <a class="el" href="PEGGrammar_8txt.html#a381299bc74db18cd7c54b9e856fca447">Fbar</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="CFLGrammar_8txt.html#a2bd2d1614b7b4f376c61366b17c0637d">gepbar_0</a></td></tr>
+<tr class="separator:a2bd2d1614b7b4f376c61366b17c0637d"><td class="memSeparator" colspan="2">&#160;</td></tr>
 </table>
 <h2 class="groupheader">Variable Documentation</h2>
 <a id="ad8c410068267cc7ccd0765a7bd51a2bf"></a>
@@ -123,62 +97,14 @@ Variables</h2></td></tr>
 
 </div>
 </div>
-<a id="aae7baac9bf1fe49869f5ab76e07bfd05"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#aae7baac9bf1fe49869f5ab76e07bfd05">&#9670;&nbsp;</a></span>addr</h2>
+<a id="a9a4e1871fa395956be13e1d7a5089719"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#a9a4e1871fa395956be13e1d7a5089719">&#9670;&nbsp;</a></span>gep_1</h2>
 
 <div class="memitem">
 <div class="memproto">
       <table class="memname">
         <tr>
-          <td class="memname">V <a class="el" href="PEGGrammar_8txt.html#ac0ba65b20304c39926bf018842207e87">addrbar</a> addr</td>
-        </tr>
-      </table>
-</div><div class="memdoc">
-
-<p class="definition">Definition at line <a class="el" href="CFLGrammar_8txt_source.html#l00017">17</a> of file <a class="el" href="CFLGrammar_8txt_source.html">CFLGrammar.txt</a>.</p>
-
-</div>
-</div>
-<a id="aaaa1a1b432fa23f6a02aab2fbd2ef7f5"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#aaaa1a1b432fa23f6a02aab2fbd2ef7f5">&#9670;&nbsp;</a></span>addrbar</h2>
-
-<div class="memitem">
-<div class="memproto">
-      <table class="memname">
-        <tr>
-          <td class="memname"><a class="el" href="PEGGrammar_8txt.html#a381299bc74db18cd7c54b9e856fca447">Fbar</a> Memflowbar addrbar</td>
-        </tr>
-      </table>
-</div><div class="memdoc">
-
-<p class="definition">Definition at line <a class="el" href="CFLGrammar_8txt_source.html#l00013">13</a> of file <a class="el" href="CFLGrammar_8txt_source.html">CFLGrammar.txt</a>.</p>
-
-</div>
-</div>
-<a id="a7669ee67a0563250c1efaa24d130e1ac"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#a7669ee67a0563250c1efaa24d130e1ac">&#9670;&nbsp;</a></span>copy</h2>
-
-<div class="memitem">
-<div class="memproto">
-      <table class="memname">
-        <tr>
-          <td class="memname"><a class="el" href="cJSON_8cpp.html#a15f779a174654a93596726f6eb6b57fe">return</a> copy</td>
-        </tr>
-      </table>
-</div><div class="memdoc">
-
-<p class="definition">Definition at line <a class="el" href="CFLGrammar_8txt_source.html#l00007">7</a> of file <a class="el" href="CFLGrammar_8txt_source.html">CFLGrammar.txt</a>.</p>
-
-</div>
-</div>
-<a id="a114c2e5cd44b3ea4720e9191ed819f3b"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#a114c2e5cd44b3ea4720e9191ed819f3b">&#9670;&nbsp;</a></span>epsilon</h2>
-
-<div class="memitem">
-<div class="memproto">
-      <table class="memname">
-        <tr>
-          <td class="memname"><a class="el" href="PEGGrammar_8txt.html#a381299bc74db18cd7c54b9e856fca447">Fbar</a> epsilon</td>
+          <td class="memname">gep_1 <a class="el" href="PEGGrammar_8txt.html#a4c44ba149afa8531399b34ff202e7486">gep_0</a> F vgep <a class="el" href="PEGGrammar_8txt.html#a4c44ba149afa8531399b34ff202e7486">gep_0</a> F gep_1</td>
         </tr>
       </table>
 </div><div class="memdoc">
@@ -187,158 +113,14 @@ Variables</h2></td></tr>
 
 </div>
 </div>
-<a id="a00967427d1c110ffcc82ea2a966f4564"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#a00967427d1c110ffcc82ea2a966f4564">&#9670;&nbsp;</a></span>F</h2>
-
-<div class="memitem">
-<div class="memproto">
-      <table class="memname">
-        <tr>
-          <td class="memname">Memflowbar Memflowbar F</td>
-        </tr>
-      </table>
-</div><div class="memdoc">
-
-<p class="definition">Definition at line <a class="el" href="CFLGrammar_8txt_source.html#l00016">16</a> of file <a class="el" href="CFLGrammar_8txt_source.html">CFLGrammar.txt</a>.</p>
-
-</div>
-</div>
-<a id="afb129e761aae1ddaa005123832b88cd2"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#afb129e761aae1ddaa005123832b88cd2">&#9670;&nbsp;</a></span>Fbar</h2>
-
-<div class="memitem">
-<div class="memproto">
-      <table class="memname">
-        <tr>
-          <td class="memname">Memflowbar <a class="el" href="CFLGrammar_8txt.html#a00967427d1c110ffcc82ea2a966f4564">F</a> Memflowbar Fbar</td>
-        </tr>
-      </table>
-</div><div class="memdoc">
-
-<p class="definition">Definition at line <a class="el" href="CFLGrammar_8txt_source.html#l00012">12</a> of file <a class="el" href="CFLGrammar_8txt_source.html">CFLGrammar.txt</a>.</p>
-
-</div>
-</div>
-<a id="a6ee570f12a515fbe082cd58b4fed1556"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#a6ee570f12a515fbe082cd58b4fed1556">&#9670;&nbsp;</a></span>gep_0</h2>
-
-<div class="memitem">
-<div class="memproto">
-      <table class="memname">
-        <tr>
-          <td class="memname">V gepbarpath V gep_0</td>
-        </tr>
-      </table>
-</div><div class="memdoc">
-
-<p class="definition">Definition at line <a class="el" href="CFLGrammar_8txt_source.html#l00019">19</a> of file <a class="el" href="CFLGrammar_8txt_source.html">CFLGrammar.txt</a>.</p>
-
-</div>
-</div>
-<a id="aea5ba88546e9986acc645ae45372e621"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#aea5ba88546e9986acc645ae45372e621">&#9670;&nbsp;</a></span>gep_1</h2>
-
-<div class="memitem">
-<div class="memproto">
-      <table class="memname">
-        <tr>
-          <td class="memname">gep_1 <a class="el" href="PEGGrammar_8txt.html#a4c44ba149afa8531399b34ff202e7486">gep_0</a> <a class="el" href="CFLGrammar_8txt.html#a00967427d1c110ffcc82ea2a966f4564">F</a> gep_1</td>
-        </tr>
-      </table>
-</div><div class="memdoc">
-
-<p class="definition">Definition at line <a class="el" href="CFLGrammar_8txt_source.html#l00024">24</a> of file <a class="el" href="CFLGrammar_8txt_source.html">CFLGrammar.txt</a>.</p>
-
-</div>
-</div>
-<a id="a717bc437ac0cf29d051c8affc5b865ec"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#a717bc437ac0cf29d051c8affc5b865ec">&#9670;&nbsp;</a></span>gep_i</h2>
-
-<div class="memitem">
-<div class="memproto">
-      <table class="memname">
-        <tr>
-          <td class="memname">Memflowbar <a class="el" href="CFLGrammar_8txt.html#a6e01259893f22cb0da6728f279ccd3e7">gepbar_i</a> Memflowbar gep_i</td>
-        </tr>
-      </table>
-</div><div class="memdoc">
-
-<p class="definition">Definition at line <a class="el" href="CFLGrammar_8txt_source.html#l00018">18</a> of file <a class="el" href="CFLGrammar_8txt_source.html">CFLGrammar.txt</a>.</p>
-
-</div>
-</div>
-<a id="add91b668073700b532153fd7f8fd4cda"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#add91b668073700b532153fd7f8fd4cda">&#9670;&nbsp;</a></span>gepbar_0</h2>
-
-<div class="memitem">
-<div class="memproto">
-      <table class="memname">
-        <tr>
-          <td class="memname">gepbarpath gepbarpath gepbar_0</td>
-        </tr>
-      </table>
-</div><div class="memdoc">
-
-<p class="definition">Definition at line <a class="el" href="CFLGrammar_8txt_source.html#l00025">25</a> of file <a class="el" href="CFLGrammar_8txt_source.html">CFLGrammar.txt</a>.</p>
-
-</div>
-</div>
-<a id="a6e01259893f22cb0da6728f279ccd3e7"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#a6e01259893f22cb0da6728f279ccd3e7">&#9670;&nbsp;</a></span>gepbar_i</h2>
-
-<div class="memitem">
-<div class="memproto">
-      <table class="memname">
-        <tr>
-          <td class="memname">Memflowbar <a class="el" href="CFLGrammar_8txt.html#a717bc437ac0cf29d051c8affc5b865ec">gep_i</a> Memflowbar gepbar_i</td>
-        </tr>
-      </table>
-</div><div class="memdoc">
-
-<p class="definition">Definition at line <a class="el" href="CFLGrammar_8txt_source.html#l00033">33</a> of file <a class="el" href="CFLGrammar_8txt_source.html">CFLGrammar.txt</a>.</p>
-
-</div>
-</div>
-<a id="af94ae7efab42c57589a313f6cc7ada63"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#af94ae7efab42c57589a313f6cc7ada63">&#9670;&nbsp;</a></span>load</h2>
-
-<div class="memitem">
-<div class="memproto">
-      <table class="memname">
-        <tr>
-          <td class="memname"><a class="el" href="CFLGrammar_8txt.html#a00967427d1c110ffcc82ea2a966f4564">F</a> <a class="el" href="CFLGrammar_8txt.html#a92d5a256d74eadeb5bfa131b84067f0d">store</a> <a class="el" href="CFLGrammar_8txt.html#ae2f9fbd0bf92e7dad02a6c5fa9323621">Memflow</a> load</td>
-        </tr>
-      </table>
-</div><div class="memdoc">
-
-<p class="definition">Definition at line <a class="el" href="CFLGrammar_8txt_source.html#l00009">9</a> of file <a class="el" href="CFLGrammar_8txt_source.html">CFLGrammar.txt</a>.</p>
-
-</div>
-</div>
-<a id="a2c36e7a55e36ff3a2f5a4c55d4e1cf18"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#a2c36e7a55e36ff3a2f5a4c55d4e1cf18">&#9670;&nbsp;</a></span>loadbar</h2>
-
-<div class="memitem">
-<div class="memproto">
-      <table class="memname">
-        <tr>
-          <td class="memname">Memflowbar <a class="el" href="CFLGrammar_8txt.html#a48eaeeebe78c32844d92122831012be2">storebar</a> loadbar</td>
-        </tr>
-      </table>
-</div><div class="memdoc">
-
-<p class="definition">Definition at line <a class="el" href="CFLGrammar_8txt_source.html#l00035">35</a> of file <a class="el" href="CFLGrammar_8txt_source.html">CFLGrammar.txt</a>.</p>
-
-</div>
-</div>
-<a id="ae2f9fbd0bf92e7dad02a6c5fa9323621"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#ae2f9fbd0bf92e7dad02a6c5fa9323621">&#9670;&nbsp;</a></span>Memflow</h2>
+<a id="a70678866f928eaca8c8322d57a451d0a"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#a70678866f928eaca8c8322d57a451d0a">&#9670;&nbsp;</a></span>gep_i</h2>
 
 <div class="memitem">
 <div class="memproto">
       <table class="memname">
         <tr>
-          <td class="memname">Memflow <a class="el" href="PEGGrammar_8txt.html#a381299bc74db18cd7c54b9e856fca447">Fbar</a> Memflow</td>
+          <td class="memname">Memflowbar <a class="el" href="CFLGrammar_8txt.html#a07b9538bf6c870253aed4d379891604c">storebar</a> loadbar Memflowbar F F Memflowbar <a class="el" href="PEGGrammar_8txt.html#a381299bc74db18cd7c54b9e856fca447">Fbar</a> gep_i Memflowbar gepbar_i gepbar_i Memflowbar gep_i</td>
         </tr>
       </table>
 </div><div class="memdoc">
@@ -347,67 +129,51 @@ Variables</h2></td></tr>
 
 </div>
 </div>
-<a id="a92d5a256d74eadeb5bfa131b84067f0d"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#a92d5a256d74eadeb5bfa131b84067f0d">&#9670;&nbsp;</a></span>store</h2>
-
-<div class="memitem">
-<div class="memproto">
-      <table class="memname">
-        <tr>
-          <td class="memname"><a class="el" href="CFLGrammar_8txt.html#ae2f9fbd0bf92e7dad02a6c5fa9323621">Memflow</a> <a class="el" href="CFLGrammar_8txt.html#af94ae7efab42c57589a313f6cc7ada63">load</a> store</td>
-        </tr>
-      </table>
-</div><div class="memdoc">
-
-<p class="definition">Definition at line <a class="el" href="CFLGrammar_8txt_source.html#l00030">30</a> of file <a class="el" href="CFLGrammar_8txt_source.html">CFLGrammar.txt</a>.</p>
-
-</div>
-</div>
-<a id="a48eaeeebe78c32844d92122831012be2"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#a48eaeeebe78c32844d92122831012be2">&#9670;&nbsp;</a></span>storebar</h2>
+<a id="a2bd2d1614b7b4f376c61366b17c0637d"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#a2bd2d1614b7b4f376c61366b17c0637d">&#9670;&nbsp;</a></span>gepbar_0</h2>
 
 <div class="memitem">
 <div class="memproto">
       <table class="memname">
         <tr>
-          <td class="memname"><a class="el" href="PEGGrammar_8txt.html#a381299bc74db18cd7c54b9e856fca447">Fbar</a> <a class="el" href="CFLGrammar_8txt.html#a2c36e7a55e36ff3a2f5a4c55d4e1cf18">loadbar</a> Memflowbar storebar</td>
+          <td class="memname">gepbarpath gepbar_0 gepbar_0 gepbarpath gepbar_0</td>
         </tr>
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="CFLGrammar_8txt_source.html#l00015">15</a> of file <a class="el" href="CFLGrammar_8txt_source.html">CFLGrammar.txt</a>.</p>
+<p class="definition">Definition at line <a class="el" href="CFLGrammar_8txt_source.html#l00012">12</a> of file <a class="el" href="CFLGrammar_8txt_source.html">CFLGrammar.txt</a>.</p>
 
 </div>
 </div>
-<a id="a3c0f58fdc2a0351764cef84c2a761477"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#a3c0f58fdc2a0351764cef84c2a761477">&#9670;&nbsp;</a></span>vgep</h2>
+<a id="a07b9538bf6c870253aed4d379891604c"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#a07b9538bf6c870253aed4d379891604c">&#9670;&nbsp;</a></span>storebar</h2>
 
 <div class="memitem">
 <div class="memproto">
       <table class="memname">
         <tr>
-          <td class="memname"><a class="el" href="CFLGrammar_8txt.html#aea5ba88546e9986acc645ae45372e621">gep_1</a> <a class="el" href="PEGGrammar_8txt.html#a4c44ba149afa8531399b34ff202e7486">gep_0</a> <a class="el" href="CFLGrammar_8txt.html#a00967427d1c110ffcc82ea2a966f4564">F</a> vgep</td>
+          <td class="memname"><a class="el" href="PEGGrammar_8txt.html#a381299bc74db18cd7c54b9e856fca447">Fbar</a> <a class="el" href="VFG_8txt.html#ac5f2eebeadca57b6dd4a532ba5f01757">epsilon</a> copybar <a class="el" href="PEGGrammar_8txt.html#a381299bc74db18cd7c54b9e856fca447">Fbar</a> Memflowbar <a class="el" href="PEGGrammar_8txt.html#ac0ba65b20304c39926bf018842207e87">addrbar</a> loadbar V storebar <a class="el" href="PEGGrammar_8txt.html#a381299bc74db18cd7c54b9e856fca447">Fbar</a> loadbar Memflowbar storebar</td>
         </tr>
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="CFLGrammar_8txt_source.html#l00022">22</a> of file <a class="el" href="CFLGrammar_8txt_source.html">CFLGrammar.txt</a>.</p>
+<p class="definition">Definition at line <a class="el" href="CFLGrammar_8txt_source.html#l00007">7</a> of file <a class="el" href="CFLGrammar_8txt_source.html">CFLGrammar.txt</a>.</p>
 
 </div>
 </div>
-<a id="a5cb31e8d975de240d0e0c173cb7f407f"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#a5cb31e8d975de240d0e0c173cb7f407f">&#9670;&nbsp;</a></span>vgepbar</h2>
+<a id="a05d200d7269d0c361b89b3c235275f7b"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#a05d200d7269d0c361b89b3c235275f7b">&#9670;&nbsp;</a></span>vgepbar</h2>
 
 <div class="memitem">
 <div class="memproto">
       <table class="memname">
         <tr>
-          <td class="memname">copybar vgepbar</td>
+          <td class="memname"><a class="el" href="cJSON_8cpp.html#a7669ee67a0563250c1efaa24d130e1ac">copy</a> vgep； copybar vgepbar</td>
         </tr>
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="CFLGrammar_8txt_source.html#l00023">23</a> of file <a class="el" href="CFLGrammar_8txt_source.html">CFLGrammar.txt</a>.</p>
+<p class="definition">Definition at line <a class="el" href="CFLGrammar_8txt_source.html#l00010">10</a> of file <a class="el" href="CFLGrammar_8txt_source.html">CFLGrammar.txt</a>.</p>
 
 </div>
 </div>

package/SVF-doxygen/html/html/CFLGraphBuilder_8cpp_source.html

@@ -79,7 +79,7 @@ $(function() {
 <div class="ttc" id="classSVF_1_1Options_html_a79dff5235e82e1313fa4b053f866f357"><div class="ttname"><a href="classSVF_1_1Options.html#a79dff5235e82e1313fa4b053f866f357">SVF::Options::FlexSymMap</a></div><div class="ttdeci">static const llvm::cl::opt&lt; bool &gt; FlexSymMap</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00255">Options.h:255</a></div></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#l00019">MTAResultValidator.h:19</a></div></div>
 <div class="ttc" id="classSVF_1_1ConstraintGraph_html"><div class="ttname"><a href="classSVF_1_1ConstraintGraph.html">SVF::ConstraintGraph</a></div><div class="ttdef"><b>Definition:</b> <a href="ConsG_8h_source.html#l00044">ConsG.h:44</a></div></div>
-<div class="ttc" id="classSVF_1_1CFLGraph_html"><div class="ttname"><a href="classSVF_1_1CFLGraph.html">SVF::CFLGraph</a></div><div class="ttdef"><b>Definition:</b> <a href="CFLGraph_8h_source.html#l00086">CFLGraph.h:86</a></div></div>
+<div class="ttc" id="classSVF_1_1CFLGraph_html"><div class="ttname"><a href="classSVF_1_1CFLGraph.html">SVF::CFLGraph</a></div><div class="ttdef"><b>Definition:</b> <a href="CFLGraph_8h_source.html#l00155">CFLGraph.h:155</a></div></div>
 <div class="ttc" id="Util_2BasicTypes_8h_html"><div class="ttname"><a href="Util_2BasicTypes_8h.html">BasicTypes.h</a></div></div>
 <div class="ttc" id="classSVF_1_1AliasCFLGraphBuilder_html_ab19243c4aceffce7b257f3d8cb3050fd"><div class="ttname"><a href="classSVF_1_1AliasCFLGraphBuilder.html#ab19243c4aceffce7b257f3d8cb3050fd">SVF::AliasCFLGraphBuilder::buildBigraph</a></div><div class="ttdeci">CFLGraph * buildBigraph(ConstraintGraph *graph, Kind startKind, GrammarBase *grammar)</div><div class="ttdoc">Build Bidirectional graph by copying nodes and edges from const graph inherited from GenericGraph...</div><div class="ttdef"><b>Definition:</b> <a href="CFLGraphBuilder_8cpp_source.html#l00162">CFLGraphBuilder.cpp:162</a></div></div>
 <div class="ttc" id="classSVF_1_1NormalGepCGEdge_html"><div class="ttname"><a href="classSVF_1_1NormalGepCGEdge.html">SVF::NormalGepCGEdge</a></div><div class="ttdef"><b>Definition:</b> <a href="ConsGEdge_8h_source.html#l00265">ConsGEdge.h:265</a></div></div>
@@ -87,7 +87,7 @@ $(function() {
 <div class="ttc" id="classSVF_1_1CFLGraph_html_a58b944d0f2c11868e17223acdb35f82c"><div class="ttname"><a href="classSVF_1_1CFLGraph.html#a58b944d0f2c11868e17223acdb35f82c">SVF::CFLGraph::addCFLNode</a></div><div class="ttdeci">virtual void addCFLNode(NodeID id, CFLNode *node)</div><div class="ttdef"><b>Definition:</b> <a href="CFLGraph_8cpp_source.html#l00042">CFLGraph.cpp:42</a></div></div>
 <div class="ttc" id="classSVF_1_1VFGEdge_html_a156ae6a8b3a033f505c18c6b162e7cf5a8383c27feab3f1acc67cacef9744c04a"><div class="ttname"><a href="classSVF_1_1VFGEdge.html#a156ae6a8b3a033f505c18c6b162e7cf5a8383c27feab3f1acc67cacef9744c04a">SVF::VFGEdge::CallDirVF</a></div><div class="ttdef"><b>Definition:</b> <a href="VFGEdge_8h_source.html#l00055">VFGEdge.h:55</a></div></div>
 <div class="ttc" id="classSVF_1_1CallIndSVFGEdge_html"><div class="ttname"><a href="classSVF_1_1CallIndSVFGEdge.html">SVF::CallIndSVFGEdge</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFGEdge_8h_source.html#l00126">SVFGEdge.h:126</a></div></div>
-<div class="ttc" id="classSVF_1_1GrammarBase_html_a8921a7d7a006e31f13d88b8c808c931b"><div class="ttname"><a href="classSVF_1_1GrammarBase.html#a8921a7d7a006e31f13d88b8c808c931b">SVF::GrammarBase::getStartKind</a></div><div class="ttdeci">Kind getStartKind()</div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8h_source.html#l00195">CFLGrammar.h:195</a></div></div>
+<div class="ttc" id="classSVF_1_1GrammarBase_html_a8921a7d7a006e31f13d88b8c808c931b"><div class="ttname"><a href="classSVF_1_1GrammarBase.html#a8921a7d7a006e31f13d88b8c808c931b">SVF::GrammarBase::getStartKind</a></div><div class="ttdeci">Kind getStartKind()</div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8h_source.html#l00205">CFLGrammar.h:205</a></div></div>
 <div class="ttc" id="classSVF_1_1VFGEdge_html_a156ae6a8b3a033f505c18c6b162e7cf5a8288c583cfcbfdf9aa2ac2103c0e7191"><div class="ttname"><a href="classSVF_1_1VFGEdge.html#a156ae6a8b3a033f505c18c6b162e7cf5a8288c583cfcbfdf9aa2ac2103c0e7191">SVF::VFGEdge::RetDirVF</a></div><div class="ttdef"><b>Definition:</b> <a href="VFGEdge_8h_source.html#l00056">VFGEdge.h:56</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>
 <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#l00085">SVFBasicTypes.h:85</a></div></div>
@@ -98,7 +98,7 @@ $(function() {
 <div class="ttc" id="classSVF_1_1VFGEdge_html_a156ae6a8b3a033f505c18c6b162e7cf5a978c857fcc06d2f988bc9ce16ce10145"><div class="ttname"><a href="classSVF_1_1VFGEdge.html#a156ae6a8b3a033f505c18c6b162e7cf5a978c857fcc06d2f988bc9ce16ce10145">SVF::VFGEdge::CallIndVF</a></div><div class="ttdef"><b>Definition:</b> <a href="VFGEdge_8h_source.html#l00057">VFGEdge.h:57</a></div></div>
 <div class="ttc" id="classSVF_1_1ConstraintEdge_html_a663af27955ba0c545f34fa1f076b7375acfd0a194af0da66162545f0089eb4baa"><div class="ttname"><a href="classSVF_1_1ConstraintEdge.html#a663af27955ba0c545f34fa1f076b7375acfd0a194af0da66162545f0089eb4baa">SVF::ConstraintEdge::NormalGep</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_1GenericGraph_html_a4bef15157423cef48dc7333a803cd27d"><div class="ttname"><a href="classSVF_1_1GenericGraph.html#a4bef15157423cef48dc7333a803cd27d">SVF::GenericGraph::end</a></div><div class="ttdeci">iterator end()</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00369">GenericGraph.h:369</a></div></div>
-<div class="ttc" id="classSVF_1_1CFLNode_html"><div class="ttname"><a href="classSVF_1_1CFLNode.html">SVF::CFLNode</a></div><div class="ttdef"><b>Definition:</b> <a href="CFLGraph_8h_source.html#l00074">CFLGraph.h:74</a></div></div>
+<div class="ttc" id="classSVF_1_1CFLNode_html"><div class="ttname"><a href="classSVF_1_1CFLNode.html">SVF::CFLNode</a></div><div class="ttdef"><b>Definition:</b> <a href="CFLGraph_8h_source.html#l00076">CFLGraph.h:76</a></div></div>
 <div class="ttc" id="classSVF_1_1GenericGraph_html_a6885064afa211958af7b73f0233284e5"><div class="ttname"><a href="classSVF_1_1GenericGraph.html#a6885064afa211958af7b73f0233284e5">SVF::GenericGraph::hasGNode</a></div><div class="ttdeci">bool hasGNode(NodeID id) const</div><div class="ttdoc">Has a node. </div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00399">GenericGraph.h:399</a></div></div>
 <div class="ttc" id="namespaceSVF_html_af739db846e47ba6b2fd15eaad31ab7fb"><div class="ttname"><a href="namespaceSVF.html#af739db846e47ba6b2fd15eaad31ab7fb">SVF::Set</a></div><div class="ttdeci">std::unordered_set&lt; Key, Hash, KeyEqual, Allocator &gt; Set</div><div class="ttdef"><b>Definition:</b> <a href="SVFBasicTypes_8h_source.html#l00105">SVFBasicTypes.h:105</a></div></div>
 <div class="ttc" id="classSVF_1_1ConstraintEdge_html_a663af27955ba0c545f34fa1f076b7375a29b0aa3353f866ef1655ab6d4716feb9"><div class="ttname"><a href="classSVF_1_1ConstraintEdge.html#a663af27955ba0c545f34fa1f076b7375a29b0aa3353f866ef1655ab6d4716feb9">SVF::ConstraintEdge::Copy</a></div><div class="ttdef"><b>Definition:</b> <a href="ConsGEdge_8h_source.html#l00056">ConsGEdge.h:56</a></div></div>
@@ -120,7 +120,7 @@ $(function() {
 <div class="ttc" id="classSVF_1_1VFGEdge_html_a156ae6a8b3a033f505c18c6b162e7cf5aae3168b6bc9141e4a1f3723eae4f3375"><div class="ttname"><a href="classSVF_1_1VFGEdge.html#a156ae6a8b3a033f505c18c6b162e7cf5aae3168b6bc9141e4a1f3723eae4f3375">SVF::VFGEdge::TheadMHPIndirectVF</a></div><div class="ttdef"><b>Definition:</b> <a href="VFGEdge_8h_source.html#l00059">VFGEdge.h:59</a></div></div>
 <div class="ttc" id="classSVF_1_1ConstraintEdge_html_a663af27955ba0c545f34fa1f076b7375a20d6a102ddc06257a822ffffcc5a3b47"><div class="ttname"><a href="classSVF_1_1ConstraintEdge.html#a663af27955ba0c545f34fa1f076b7375a20d6a102ddc06257a822ffffcc5a3b47">SVF::ConstraintEdge::Store</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_1AliasCFLGraphBuilder_html_ae7a9f2103c68829290c1bd5fd9cde321"><div class="ttname"><a href="classSVF_1_1AliasCFLGraphBuilder.html#ae7a9f2103c68829290c1bd5fd9cde321">SVF::AliasCFLGraphBuilder::addBiCFLEdge</a></div><div class="ttdeci">void addBiCFLEdge(CFLGraph *cflGraph, ConstraintNode *src, ConstraintNode *dst, CFLGrammar::Kind label)</div><div class="ttdoc">Handle edge except for the GEP. </div><div class="ttdef"><b>Definition:</b> <a href="CFLGraphBuilder_8cpp_source.html#l00386">CFLGraphBuilder.cpp:386</a></div></div>
-<div class="ttc" id="classSVF_1_1GrammarBase_html_af418e1033618da75e974a04ee1d7e275"><div class="ttname"><a href="classSVF_1_1GrammarBase.html#af418e1033618da75e974a04ee1d7e275">SVF::GrammarBase::getAttributedKind</a></div><div class="ttdeci">static Kind getAttributedKind(Attribute attribute, Kind kind)</div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8h_source.html#l00253">CFLGrammar.h:253</a></div></div>
+<div class="ttc" id="classSVF_1_1GrammarBase_html_af418e1033618da75e974a04ee1d7e275"><div class="ttname"><a href="classSVF_1_1GrammarBase.html#af418e1033618da75e974a04ee1d7e275">SVF::GrammarBase::getAttributedKind</a></div><div class="ttdeci">static Kind getAttributedKind(Attribute attribute, Kind kind)</div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8h_source.html#l00265">CFLGrammar.h:265</a></div></div>
 <div class="ttc" id="classSVF_1_1CallIndSVFGEdge_html_a3742b87170e0b48edc71ffdd6e5350aa"><div class="ttname"><a href="classSVF_1_1CallIndSVFGEdge.html#a3742b87170e0b48edc71ffdd6e5350aa">SVF::CallIndSVFGEdge::getCallSiteId</a></div><div class="ttdeci">CallSiteID getCallSiteId() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFGEdge_8h_source.html#l00136">SVFGEdge.h:136</a></div></div>
 <div class="ttc" id="classSVF_1_1GrammarBase_html_a7aef5c42fbd8a62dd4a541cc0e8e8187"><div class="ttname"><a href="classSVF_1_1GrammarBase.html#a7aef5c42fbd8a62dd4a541cc0e8e8187">SVF::GrammarBase::Kind</a></div><div class="ttdeci">u32_t Kind</div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8h_source.html#l00039">CFLGrammar.h:39</a></div></div>
 <div class="ttc" id="classSVF_1_1SVFG_html"><div class="ttname"><a href="classSVF_1_1SVFG.html">SVF::SVFG</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFG_8h_source.html#l00065">SVFG.h:65</a></div></div>
@@ -129,7 +129,7 @@ $(function() {
 <div class="ttc" id="classSVF_1_1CFLGraphBuilder_html_a5159cea5bc8d69715782ac5f56965a90"><div class="ttname"><a href="classSVF_1_1CFLGraphBuilder.html#a5159cea5bc8d69715782ac5f56965a90">SVF::CFLGraphBuilder::kind2AttrsMap</a></div><div class="ttdeci">Map&lt; CFLGrammar::Kind, Set&lt; CFLGrammar::Attribute &gt; &gt; kind2AttrsMap</div><div class="ttdef"><b>Definition:</b> <a href="CFLGraphBuilder_8h_source.html#l00052">CFLGraphBuilder.h:52</a></div></div>
 <div class="ttc" id="namespaceSVF_1_1SVFUtil_html_a8182be247907420db00837cef9bcfa70"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#a8182be247907420db00837cef9bcfa70">SVF::SVFUtil::dyn_cast</a></div><div class="ttdeci">LLVM_NODISCARD std::enable_if&lt;!is_simple_type&lt; Y &gt;::value, typename cast_retty&lt; X, const Y &gt;::ret_type &gt;::type dyn_cast(const Y &amp;Val)</div><div class="ttdef"><b>Definition:</b> <a href="Casting_8h_source.html#l00343">Casting.h:343</a></div></div>
 <div class="ttc" id="classSVF_1_1CFLGraphBuilder_html_a7117dbeceeef7a9fcaeee0a84a171590"><div class="ttname"><a href="classSVF_1_1CFLGraphBuilder.html#a7117dbeceeef7a9fcaeee0a84a171590">SVF::CFLGraphBuilder::label2KindMap</a></div><div class="ttdeci">Map&lt; std::string, Kind &gt; label2KindMap</div><div class="ttdef"><b>Definition:</b> <a href="CFLGraphBuilder_8h_source.html#l00050">CFLGraphBuilder.h:50</a></div></div>
-<div class="ttc" id="classSVF_1_1CFLEdge_html_acab367a1633d00afdafadf3f3a43e0c8"><div class="ttname"><a href="classSVF_1_1CFLEdge.html#acab367a1633d00afdafadf3f3a43e0c8">SVF::CFLEdge::getEdgeKind</a></div><div class="ttdeci">GEdgeKind getEdgeKind() const</div><div class="ttdef"><b>Definition:</b> <a href="CFLGraph_8h_source.html#l00056">CFLGraph.h:56</a></div></div>
+<div class="ttc" id="classSVF_1_1CFLEdge_html_acab367a1633d00afdafadf3f3a43e0c8"><div class="ttname"><a href="classSVF_1_1CFLEdge.html#acab367a1633d00afdafadf3f3a43e0c8">SVF::CFLEdge::getEdgeKind</a></div><div class="ttdeci">GEdgeKind getEdgeKind() const</div><div class="ttdef"><b>Definition:</b> <a href="CFLGraph_8h_source.html#l00058">CFLGraph.h:58</a></div></div>
 <div class="ttc" id="classSVF_1_1RetIndSVFGEdge_html_a04f211a0e3e21f60a299a744d3d1e452"><div class="ttname"><a href="classSVF_1_1RetIndSVFGEdge.html#a04f211a0e3e21f60a299a744d3d1e452">SVF::RetIndSVFGEdge::getCallSiteId</a></div><div class="ttdeci">CallSiteID getCallSiteId() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFGEdge_8h_source.html#l00175">SVFGEdge.h:175</a></div></div>
 <div class="ttc" id="classSVF_1_1NormalGepCGEdge_html_a79033645683ead9a7404cd35fd936092"><div class="ttname"><a href="classSVF_1_1NormalGepCGEdge.html#a79033645683ead9a7404cd35fd936092">SVF::NormalGepCGEdge::classof</a></div><div class="ttdeci">static bool classof(const NormalGepCGEdge *)</div><div class="ttdoc">Methods for support type inquiry through isa, cast, and dyn_cast: </div><div class="ttdef"><b>Definition:</b> <a href="ConsGEdge_8h_source.html#l00277">ConsGEdge.h:277</a></div></div>
 <div class="ttc" id="classSVF_1_1VFGEdge_html_a156ae6a8b3a033f505c18c6b162e7cf5aa80551154bcfbfa84f02df32ead6b1b0"><div class="ttname"><a href="classSVF_1_1VFGEdge.html#a156ae6a8b3a033f505c18c6b162e7cf5aa80551154bcfbfa84f02df32ead6b1b0">SVF::VFGEdge::IntraIndirectVF</a></div><div class="ttdef"><b>Definition:</b> <a href="VFGEdge_8h_source.html#l00054">VFGEdge.h:54</a></div></div>