svf-tools 1.0.752 → 1.0.754

package/SVF-doxygen/html/html/classes.html

@@ -488,36 +488,36 @@ $(function() {
 <td valign="top"><a class="el" href="classSVF_1_1POCRAlias.html">POCRAlias</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td>
 <td valign="top"><a class="el" href="classSVF_1_1TCTEdge.html">TCTEdge</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td>
 </tr>
-<tr><td valign="top"><a class="el" href="classSVF_1_1CFLAlias.html">CFLAlias</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td>
+<tr><td valign="top"><a class="el" href="classSVF_1_1CFGrammar.html">CFGrammar</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td>
 <td valign="top"><a class="el" href="classSVF_1_1IntraMSSAPHISVFGNode.html">IntraMSSAPHISVFGNode</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td>
 <td valign="top"><a class="el" href="classSVF_1_1POCRHybrid.html">POCRHybrid</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td>
 <td valign="top"><a class="el" href="classSVF_1_1TCTNode.html">TCTNode</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td>
 </tr>
-<tr><td valign="top"><a class="el" href="classSVF_1_1CFLBase.html">CFLBase</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td>
+<tr><td valign="top"><a class="el" href="classSVF_1_1CFLAlias.html">CFLAlias</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td>
 <td valign="top"><a class="el" href="classllvm_1_1generic__bridge__gep__type__iterator.html">generic_bridge_gep_type_iterator</a> (<a class="el" href="namespacellvm.html">llvm</a>)&#160;&#160;&#160;</td>
 <td valign="top"><a class="el" href="classSVF_1_1IntraPHIVFGNode.html">IntraPHIVFGNode</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td>
 <td valign="top"><a class="el" href="classSVF_1_1POCRHybridSolver.html">POCRHybridSolver</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td>
 <td valign="top"><a class="el" href="classSVF_1_1TDForkPE.html">TDForkPE</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td>
 </tr>
-<tr><td valign="top"><a class="el" href="classSVF_1_1CFLEdge.html">CFLEdge</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td>
+<tr><td valign="top"><a class="el" href="classSVF_1_1CFLBase.html">CFLBase</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td>
 <td valign="top"><a class="el" href="classSVF_1_1GenericBug.html">GenericBug</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td>
 <td valign="top"><a class="el" href="structSVF_1_1Inverse.html">Inverse</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td>
 <td valign="top"><a class="el" href="classSVF_1_1POCRSolver.html">POCRSolver</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td>
 <td valign="top"><a class="el" href="classSVF_1_1TDJoinPE.html">TDJoinPE</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td>
 </tr>
-<tr><td valign="top"><a class="el" href="classSVF_1_1CFLFIFOWorkList.html">CFLFIFOWorkList</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td>
+<tr><td valign="top"><a class="el" href="classSVF_1_1CFLEdge.html">CFLEdge</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td>
 <td valign="top"><a class="el" href="classSVF_1_1GenericEdge.html">GenericEdge</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td>
 <td valign="top"><a class="el" href="classSVF_1_1IRGraph.html">IRGraph</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td>
 <td valign="top"><a class="el" href="structSVF_1_1pointee__iter.html">pointee_iter</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td>
 <td valign="top"><a class="el" href="classSVF_1_1ThreadAPI.html">ThreadAPI</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td>
 </tr>
-<tr><td valign="top"><a class="el" href="classSVF_1_1CFLGramGraphChecker.html">CFLGramGraphChecker</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td>
+<tr><td valign="top"><a class="el" href="classSVF_1_1CFLFIFOWorkList.html">CFLFIFOWorkList</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td>
 <td valign="top"><a class="el" href="classSVF_1_1GenericGraph.html">GenericGraph</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td>
 <td valign="top"><a class="el" href="structSVF_1_1SVFUtil_1_1is__iterable.html">is_iterable</a> (<a class="el" href="namespaceSVF_1_1SVFUtil.html">SVF::SVFUtil</a>)&#160;&#160;&#160;</td>
 <td valign="top"><a class="el" href="classSVF_1_1pointer__iterator.html">pointer_iterator</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td>
 <td valign="top"><a class="el" href="classSVF_1_1ThreadCallGraph.html">ThreadCallGraph</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td>
 </tr>
-<tr><td valign="top"><a class="el" href="classSVF_1_1CFLGrammar.html">CFLGrammar</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td>
+<tr><td valign="top"><a class="el" href="classSVF_1_1CFLGramGraphChecker.html">CFLGramGraphChecker</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td>
 <td valign="top"><a class="el" href="classSVF_1_1GenericGraphReader.html">GenericGraphReader</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td>
 <td valign="top"><a class="el" href="structSVF_1_1SVFUtil_1_1is__iterable_3_01T_00_01void__t_3_01decltype_07std_1_1begin_07std_1_1dec794949348c8e1e00603fd8633b6dd1f3.html">is_iterable&lt; T, void_t&lt; decltype(std::begin(std::declval&lt; T &amp; &gt;()) !=std::end(std::declval&lt; T &amp; &gt;()))&gt; &gt;</a> (<a class="el" href="namespaceSVF_1_1SVFUtil.html">SVF::SVFUtil</a>)&#160;&#160;&#160;</td>
 <td valign="top"><a class="el" href="classSVF_1_1PointerAnalysis.html">PointerAnalysis</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td>

package/SVF-doxygen/html/html/dir_1b8e404556d3e8597ae60437f0a084bf.html

@@ -70,18 +70,23 @@ $(function() {
 </div><!--header-->
 <div class="contents">
 <table class="memberdecls">
+<tr class="heading"><td colspan="2"><h2 class="groupheader"><a name="subdirs"></a>
+Directories</h2></td></tr>
+<tr class="memitem:dir_7de7f3d0ab1cbd78bc64b135e4cd18be"><td class="memItemLeft" align="right" valign="top">directory &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="dir_7de7f3d0ab1cbd78bc64b135e4cd18be.html">grammar</a></td></tr>
+<tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
+</table><table class="memberdecls">
 <tr class="heading"><td colspan="2"><h2 class="groupheader"><a name="files"></a>
 Files</h2></td></tr>
 <tr class="memitem:CFGNormalizer_8h"><td class="memItemLeft" align="right" valign="top">file &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="CFGNormalizer_8h.html">CFGNormalizer.h</a> <a href="CFGNormalizer_8h_source.html">[code]</a></td></tr>
 <tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:CFGrammar_8h"><td class="memItemLeft" align="right" valign="top">file &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="CFGrammar_8h.html">CFGrammar.h</a> <a href="CFGrammar_8h_source.html">[code]</a></td></tr>
+<tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:CFLAlias_8h"><td class="memItemLeft" align="right" valign="top">file &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="CFLAlias_8h.html">CFLAlias.h</a> <a href="CFLAlias_8h_source.html">[code]</a></td></tr>
 <tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:CFLBase_8h"><td class="memItemLeft" align="right" valign="top">file &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="CFLBase_8h.html">CFLBase.h</a> <a href="CFLBase_8h_source.html">[code]</a></td></tr>
 <tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:CFLGramGraphChecker_8h"><td class="memItemLeft" align="right" valign="top">file &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="CFLGramGraphChecker_8h.html">CFLGramGraphChecker.h</a> <a href="CFLGramGraphChecker_8h_source.html">[code]</a></td></tr>
 <tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:CFLGrammar_8h"><td class="memItemLeft" align="right" valign="top">file &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="CFLGrammar_8h.html">CFLGrammar.h</a> <a href="CFLGrammar_8h_source.html">[code]</a></td></tr>
-<tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:CFLGraphBuilder_8h"><td class="memItemLeft" align="right" valign="top">file &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="CFLGraphBuilder_8h.html">CFLGraphBuilder.h</a> <a href="CFLGraphBuilder_8h_source.html">[code]</a></td></tr>
 <tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:CFLSolver_8h"><td class="memItemLeft" align="right" valign="top">file &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="CFLSolver_8h.html">CFLSolver.h</a> <a href="CFLSolver_8h_source.html">[code]</a></td></tr>

package/SVF-doxygen/html/html/dir_7de7f3d0ab1cbd78bc64b135e4cd18be.html

@@ -0,0 +1,80 @@
+<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "https://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
+<html xmlns="http://www.w3.org/1999/xhtml">
+<head>
+<meta http-equiv="Content-Type" content="text/xhtml;charset=UTF-8"/>
+<meta http-equiv="X-UA-Compatible" content="IE=9"/>
+<meta name="generator" content="Doxygen 1.8.17"/>
+<meta name="viewport" content="width=device-width, initial-scale=1"/>
+<title>Static Value-Flow Analysis: /home/runner/work/SVF/SVF/svf/include/CFL/grammar Directory Reference</title>
+<link href="tabs.css" rel="stylesheet" type="text/css"/>
+<script type="text/javascript" src="jquery.js"></script>
+<script type="text/javascript" src="dynsections.js"></script>
+<link href="search/search.css" rel="stylesheet" type="text/css"/>
+<script type="text/javascript" src="search/searchdata.js"></script>
+<script type="text/javascript" src="search/search.js"></script>
+<link href="doxygen.css" rel="stylesheet" type="text/css" />
+</head>
+<body>
+<div id="top"><!-- do not remove this div, it is closed by doxygen! -->
+<div id="titlearea">
+<table cellspacing="0" cellpadding="0">
+ <tbody>
+ <tr style="height: 56px;">
+  <td id="projectalign" style="padding-left: 0.5em;">
+   <div id="projectname">Static Value-Flow Analysis
+   </div>
+  </td>
+ </tr>
+ </tbody>
+</table>
+</div>
+<!-- end header part -->
+<!-- Generated by Doxygen 1.8.17 -->
+<script type="text/javascript">
+/* @license magnet:?xt=urn:btih:cf05388f2679ee054f2beb29a391d25f4e673ac3&amp;dn=gpl-2.0.txt GPL-v2 */
+var searchBox = new SearchBox("searchBox", "search",false,'Search');
+/* @license-end */
+</script>
+<script type="text/javascript" src="menudata.js"></script>
+<script type="text/javascript" src="menu.js"></script>
+<script type="text/javascript">
+/* @license magnet:?xt=urn:btih:cf05388f2679ee054f2beb29a391d25f4e673ac3&amp;dn=gpl-2.0.txt GPL-v2 */
+$(function() {
+  initMenu('',true,false,'search.php','Search');
+  $(document).ready(function() { init_search(); });
+});
+/* @license-end */</script>
+<div id="main-nav"></div>
+<!-- window showing the filter options -->
+<div id="MSearchSelectWindow"
+     onmouseover="return searchBox.OnSearchSelectShow()"
+     onmouseout="return searchBox.OnSearchSelectHide()"
+     onkeydown="return searchBox.OnSearchSelectKey(event)">
+</div>
+
+<!-- iframe showing the search results (closed by default) -->
+<div id="MSearchResultsWindow">
+<iframe src="javascript:void(0)" frameborder="0" 
+        name="MSearchResults" id="MSearchResults">
+</iframe>
+</div>
+
+<div id="nav-path" class="navpath">
+  <ul>
+<li class="navelem"><a class="el" href="dir_f984cfbe93434e3daf67f2a9bd6d521f.html">svf</a></li><li class="navelem"><a class="el" href="dir_390f2a6be5eff59a6919ecbd9cc9f31d.html">include</a></li><li class="navelem"><a class="el" href="dir_1b8e404556d3e8597ae60437f0a084bf.html">CFL</a></li><li class="navelem"><a class="el" href="dir_7de7f3d0ab1cbd78bc64b135e4cd18be.html">grammar</a></li>  </ul>
+</div>
+</div><!-- top -->
+<div class="header">
+  <div class="headertitle">
+<div class="title">grammar Directory Reference</div>  </div>
+</div><!--header-->
+<div class="contents">
+</div><!-- contents -->
+<!-- start footer part -->
+<hr class="footer"/><address class="footer"><small>
+Generated by &#160;<a href="http://www.doxygen.org/index.html">
+<img class="footer" src="doxygen.png" alt="doxygen"/>
+</a> 1.8.17
+</small></address>
+</body>
+</html>

package/SVF-doxygen/html/html/dir_8a9c8659eb68b9cbd3fead4690588a47.html

@@ -74,12 +74,12 @@ $(function() {
 Files</h2></td></tr>
 <tr class="memitem:CFGNormalizer_8cpp"><td class="memItemLeft" align="right" valign="top">file &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="CFGNormalizer_8cpp.html">CFGNormalizer.cpp</a> <a href="CFGNormalizer_8cpp_source.html">[code]</a></td></tr>
 <tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:CFGrammar_8cpp"><td class="memItemLeft" align="right" valign="top">file &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="CFGrammar_8cpp.html">CFGrammar.cpp</a> <a href="CFGrammar_8cpp_source.html">[code]</a></td></tr>
+<tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:CFLAlias_8cpp"><td class="memItemLeft" align="right" valign="top">file &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="CFLAlias_8cpp.html">CFLAlias.cpp</a> <a href="CFLAlias_8cpp_source.html">[code]</a></td></tr>
 <tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:CFLBase_8cpp"><td class="memItemLeft" align="right" valign="top">file &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="CFLBase_8cpp.html">CFLBase.cpp</a> <a href="CFLBase_8cpp_source.html">[code]</a></td></tr>
 <tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:CFLGrammar_8cpp"><td class="memItemLeft" align="right" valign="top">file &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="CFLGrammar_8cpp.html">CFLGrammar.cpp</a> <a href="CFLGrammar_8cpp_source.html">[code]</a></td></tr>
-<tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:CFLGraphBuilder_8cpp"><td class="memItemLeft" align="right" valign="top">file &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="CFLGraphBuilder_8cpp.html">CFLGraphBuilder.cpp</a> <a href="CFLGraphBuilder_8cpp_source.html">[code]</a></td></tr>
 <tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:CFLSolver_8cpp"><td class="memItemLeft" align="right" valign="top">file &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="CFLSolver_8cpp.html">CFLSolver.cpp</a> <a href="CFLSolver_8cpp_source.html">[code]</a></td></tr>

package/SVF-doxygen/html/html/files.html

@@ -86,16 +86,17 @@ $(function() {
 <tr id="row_0_0_0_13_" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="SymState_8h_source.html"><span class="icondoc"></span></a><a class="el" href="SymState_8h.html" target="_self">SymState.h</a></td><td class="desc"></td></tr>
 <tr id="row_0_0_0_14_" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="WTO_8h_source.html"><span class="icondoc"></span></a><a class="el" href="WTO_8h.html" target="_self">WTO.h</a></td><td class="desc"></td></tr>
 <tr id="row_0_0_1_"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span id="arr_0_0_1_" class="arrow" onclick="toggleFolder('0_0_1_')">&#9658;</span><span id="img_0_0_1_" class="iconfclosed" onclick="toggleFolder('0_0_1_')">&#160;</span><a class="el" href="dir_1b8e404556d3e8597ae60437f0a084bf.html" target="_self">CFL</a></td><td class="desc"></td></tr>
-<tr id="row_0_0_1_0_" class="even" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="CFGNormalizer_8h_source.html"><span class="icondoc"></span></a><a class="el" href="CFGNormalizer_8h.html" target="_self">CFGNormalizer.h</a></td><td class="desc"></td></tr>
-<tr id="row_0_0_1_1_" class="even" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="CFLAlias_8h_source.html"><span class="icondoc"></span></a><a class="el" href="CFLAlias_8h.html" target="_self">CFLAlias.h</a></td><td class="desc"></td></tr>
-<tr id="row_0_0_1_2_" class="even" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="CFLBase_8h_source.html"><span class="icondoc"></span></a><a class="el" href="CFLBase_8h.html" target="_self">CFLBase.h</a></td><td class="desc"></td></tr>
-<tr id="row_0_0_1_3_" class="even" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="CFLGramGraphChecker_8h_source.html"><span class="icondoc"></span></a><a class="el" href="CFLGramGraphChecker_8h.html" target="_self">CFLGramGraphChecker.h</a></td><td class="desc"></td></tr>
-<tr id="row_0_0_1_4_" class="even" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="CFLGrammar_8h_source.html"><span class="icondoc"></span></a><a class="el" href="CFLGrammar_8h.html" target="_self">CFLGrammar.h</a></td><td class="desc"></td></tr>
-<tr id="row_0_0_1_5_" class="even" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="CFLGraphBuilder_8h_source.html"><span class="icondoc"></span></a><a class="el" href="CFLGraphBuilder_8h.html" target="_self">CFLGraphBuilder.h</a></td><td class="desc"></td></tr>
-<tr id="row_0_0_1_6_" class="even" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="CFLSolver_8h_source.html"><span class="icondoc"></span></a><a class="el" href="CFLSolver_8h.html" target="_self">CFLSolver.h</a></td><td class="desc"></td></tr>
-<tr id="row_0_0_1_7_" class="even" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="CFLStat_8h_source.html"><span class="icondoc"></span></a><a class="el" href="CFLStat_8h.html" target="_self">CFLStat.h</a></td><td class="desc"></td></tr>
-<tr id="row_0_0_1_8_" class="even" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="CFLVF_8h_source.html"><span class="icondoc"></span></a><a class="el" href="CFLVF_8h.html" target="_self">CFLVF.h</a></td><td class="desc"></td></tr>
-<tr id="row_0_0_1_9_" class="even" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="GrammarBuilder_8h_source.html"><span class="icondoc"></span></a><a class="el" href="GrammarBuilder_8h.html" target="_self">GrammarBuilder.h</a></td><td class="desc"></td></tr>
+<tr id="row_0_0_1_0_" class="even" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><span class="icondoc"></span><a class="el" href="dir_7de7f3d0ab1cbd78bc64b135e4cd18be.html" target="_self">grammar</a></td><td class="desc"></td></tr>
+<tr id="row_0_0_1_1_" class="even" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="CFGNormalizer_8h_source.html"><span class="icondoc"></span></a><a class="el" href="CFGNormalizer_8h.html" target="_self">CFGNormalizer.h</a></td><td class="desc"></td></tr>
+<tr id="row_0_0_1_2_" class="even" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="CFGrammar_8h_source.html"><span class="icondoc"></span></a><a class="el" href="CFGrammar_8h.html" target="_self">CFGrammar.h</a></td><td class="desc"></td></tr>
+<tr id="row_0_0_1_3_" class="even" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="CFLAlias_8h_source.html"><span class="icondoc"></span></a><a class="el" href="CFLAlias_8h.html" target="_self">CFLAlias.h</a></td><td class="desc"></td></tr>
+<tr id="row_0_0_1_4_" class="even" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="CFLBase_8h_source.html"><span class="icondoc"></span></a><a class="el" href="CFLBase_8h.html" target="_self">CFLBase.h</a></td><td class="desc"></td></tr>
+<tr id="row_0_0_1_5_" class="even" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="CFLGramGraphChecker_8h_source.html"><span class="icondoc"></span></a><a class="el" href="CFLGramGraphChecker_8h.html" target="_self">CFLGramGraphChecker.h</a></td><td class="desc"></td></tr>
+<tr id="row_0_0_1_6_" class="even" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="CFLGraphBuilder_8h_source.html"><span class="icondoc"></span></a><a class="el" href="CFLGraphBuilder_8h.html" target="_self">CFLGraphBuilder.h</a></td><td class="desc"></td></tr>
+<tr id="row_0_0_1_7_" class="even" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="CFLSolver_8h_source.html"><span class="icondoc"></span></a><a class="el" href="CFLSolver_8h.html" target="_self">CFLSolver.h</a></td><td class="desc"></td></tr>
+<tr id="row_0_0_1_8_" class="even" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="CFLStat_8h_source.html"><span class="icondoc"></span></a><a class="el" href="CFLStat_8h.html" target="_self">CFLStat.h</a></td><td class="desc"></td></tr>
+<tr id="row_0_0_1_9_" class="even" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="CFLVF_8h_source.html"><span class="icondoc"></span></a><a class="el" href="CFLVF_8h.html" target="_self">CFLVF.h</a></td><td class="desc"></td></tr>
+<tr id="row_0_0_1_10_" class="even" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="GrammarBuilder_8h_source.html"><span class="icondoc"></span></a><a class="el" href="GrammarBuilder_8h.html" target="_self">GrammarBuilder.h</a></td><td class="desc"></td></tr>
 <tr id="row_0_0_2_" class="even"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span id="arr_0_0_2_" class="arrow" onclick="toggleFolder('0_0_2_')">&#9658;</span><span id="img_0_0_2_" class="iconfclosed" onclick="toggleFolder('0_0_2_')">&#160;</span><a class="el" href="dir_bdae418e222376af7bbb677cb952ac5b.html" target="_self">DDA</a></td><td class="desc"></td></tr>
 <tr id="row_0_0_2_0_" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="ContextDDA_8h_source.html"><span class="icondoc"></span></a><a class="el" href="ContextDDA_8h.html" target="_self">ContextDDA.h</a></td><td class="desc"></td></tr>
 <tr id="row_0_0_2_1_" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="DDAClient_8h_source.html"><span class="icondoc"></span></a><a class="el" href="DDAClient_8h.html" target="_self">DDAClient.h</a></td><td class="desc"></td></tr>
@@ -230,9 +231,9 @@ $(function() {
 <tr id="row_0_1_0_9_" class="even" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="SymState_8cpp_source.html"><span class="icondoc"></span></a><a class="el" href="SymState_8cpp.html" target="_self">SymState.cpp</a></td><td class="desc"></td></tr>
 <tr id="row_0_1_1_" class="even"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span id="arr_0_1_1_" class="arrow" onclick="toggleFolder('0_1_1_')">&#9658;</span><span id="img_0_1_1_" class="iconfclosed" onclick="toggleFolder('0_1_1_')">&#160;</span><a class="el" href="dir_8a9c8659eb68b9cbd3fead4690588a47.html" target="_self">CFL</a></td><td class="desc"></td></tr>
 <tr id="row_0_1_1_0_" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="CFGNormalizer_8cpp_source.html"><span class="icondoc"></span></a><a class="el" href="CFGNormalizer_8cpp.html" target="_self">CFGNormalizer.cpp</a></td><td class="desc"></td></tr>
-<tr id="row_0_1_1_1_" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="CFLAlias_8cpp_source.html"><span class="icondoc"></span></a><a class="el" href="CFLAlias_8cpp.html" target="_self">CFLAlias.cpp</a></td><td class="desc"></td></tr>
-<tr id="row_0_1_1_2_" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="CFLBase_8cpp_source.html"><span class="icondoc"></span></a><a class="el" href="CFLBase_8cpp.html" target="_self">CFLBase.cpp</a></td><td class="desc"></td></tr>
-<tr id="row_0_1_1_3_" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="CFLGrammar_8cpp_source.html"><span class="icondoc"></span></a><a class="el" href="CFLGrammar_8cpp.html" target="_self">CFLGrammar.cpp</a></td><td class="desc"></td></tr>
+<tr id="row_0_1_1_1_" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="CFGrammar_8cpp_source.html"><span class="icondoc"></span></a><a class="el" href="CFGrammar_8cpp.html" target="_self">CFGrammar.cpp</a></td><td class="desc"></td></tr>
+<tr id="row_0_1_1_2_" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="CFLAlias_8cpp_source.html"><span class="icondoc"></span></a><a class="el" href="CFLAlias_8cpp.html" target="_self">CFLAlias.cpp</a></td><td class="desc"></td></tr>
+<tr id="row_0_1_1_3_" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="CFLBase_8cpp_source.html"><span class="icondoc"></span></a><a class="el" href="CFLBase_8cpp.html" target="_self">CFLBase.cpp</a></td><td class="desc"></td></tr>
 <tr id="row_0_1_1_4_" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="CFLGraphBuilder_8cpp_source.html"><span class="icondoc"></span></a><a class="el" href="CFLGraphBuilder_8cpp.html" target="_self">CFLGraphBuilder.cpp</a></td><td class="desc"></td></tr>
 <tr id="row_0_1_1_5_" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="CFLSolver_8cpp_source.html"><span class="icondoc"></span></a><a class="el" href="CFLSolver_8cpp.html" target="_self">CFLSolver.cpp</a></td><td class="desc"></td></tr>
 <tr id="row_0_1_1_6_" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="CFLStat_8cpp_source.html"><span class="icondoc"></span></a><a class="el" href="CFLStat_8cpp.html" target="_self">CFLStat.cpp</a></td><td class="desc"></td></tr>

package/SVF-doxygen/html/html/functions_a.html

@@ -199,7 +199,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1LLVMModuleSet.html#a5595ec3f7582934dc499770825bf5373">SVF::LLVMModuleSet</a>
 </li>
 <li>addAttribute()
-: <a class="el" href="classSVF_1_1CFLGraphBuilder.html#adaa843018284f854ed0ad3bcb1460a01">SVF::CFLGraphBuilder</a>
+: <a class="el" href="classSVF_1_1CFLGraphBuilder.html#af05b577fbb64082d80ca4cfa2e2bc4f1">SVF::CFLGraphBuilder</a>
 </li>
 <li>addBackICFGEdge()
 : <a class="el" href="classSVF_1_1SVFLoop.html#a03c6de676a1d8f99687ea973b9b25d58">SVF::SVFLoop</a>
@@ -214,12 +214,12 @@ $(function() {
 : <a class="el" href="classSVF_1_1LLVMModuleSet.html#a3eaadb33cd21d0bd868526b5ddb051d9">SVF::LLVMModuleSet</a>
 </li>
 <li>addBiCFLEdge()
-: <a class="el" href="classSVF_1_1AliasCFLGraphBuilder.html#ae7a9f2103c68829290c1bd5fd9cde321">SVF::AliasCFLGraphBuilder</a>
-, <a class="el" href="classSVF_1_1VFCFLGraphBuilder.html#a83cacee4212afcc7c472b1307627e022">SVF::VFCFLGraphBuilder</a>
+: <a class="el" href="classSVF_1_1AliasCFLGraphBuilder.html#a3069f804d6e63c5d74dc0b4d7399d43e">SVF::AliasCFLGraphBuilder</a>
+, <a class="el" href="classSVF_1_1VFCFLGraphBuilder.html#a5d1beb9f3fb72fbf8857f97d97085ad0">SVF::VFCFLGraphBuilder</a>
 </li>
 <li>addBiGepCFLEdge()
-: <a class="el" href="classSVF_1_1AliasCFLGraphBuilder.html#a715213d0b521b676832ec73b38d2014e">SVF::AliasCFLGraphBuilder</a>
-, <a class="el" href="classSVF_1_1VFCFLGraphBuilder.html#a72a7868442168c5b0978deb10722ba84">SVF::VFCFLGraphBuilder</a>
+: <a class="el" href="classSVF_1_1AliasCFLGraphBuilder.html#aa998adcd267038210c2ed93148d00333">SVF::AliasCFLGraphBuilder</a>
+, <a class="el" href="classSVF_1_1VFCFLGraphBuilder.html#abc399874243614198b0742d1e76b945c">SVF::VFCFLGraphBuilder</a>
 </li>
 <li>addBinaryOPEdge()
 : <a class="el" href="classSVF_1_1SVFIRBuilder.html#a3f954c61381fe31088e791772c334105">SVF::SVFIRBuilder</a>

package/SVF-doxygen/html/html/functions_b.html

@@ -117,7 +117,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338aca163b0f2adc52334e5a1083d59d6bc5d9">SVF::CmpStmt</a>
 </li>
 <li>barReplace()
-: <a class="el" href="classSVF_1_1CFGNormalizer.html#ad56aa4b7f6eba0c873ea18f83c398bc5">SVF::CFGNormalizer</a>
+: <a class="el" href="classSVF_1_1CFGNormalizer.html#a099b05cb4240787859832971f376863f">SVF::CFGNormalizer</a>
 </li>
 <li>base
 : <a class="el" href="classSVF_1_1GepObjVar.html#aff50e1d96403eeacaa64f7adb07ce0a5">SVF::GepObjVar</a>
@@ -388,7 +388,7 @@ $(function() {
 <li>build()
 : <a class="el" href="classSVF_1_1CFBasicBlockGBuilder.html#a99e4116e416962d1a2f3eb9b09d253b5">SVF::CFBasicBlockGBuilder</a>
 , <a class="el" href="classSVF_1_1CFBasicBlockGWTO.html#a6cc2cb7b203e16b9cc8f5e121f39bd9f">SVF::CFBasicBlockGWTO</a>
-, <a class="el" href="classSVF_1_1CFLGraphBuilder.html#ab0d2bd46dd1c3be10c04f573e9365757">SVF::CFLGraphBuilder</a>
+, <a class="el" href="classSVF_1_1CFLGraphBuilder.html#a2e97c964eb1e187a931f17da9672815f">SVF::CFLGraphBuilder</a>
 , <a class="el" href="classSVF_1_1GrammarBuilder.html#a23d03b2cd348d85bda1ee582dded6505">SVF::GrammarBuilder</a>
 , <a class="el" href="classSVF_1_1ICFGBuilder.html#ae66565ee32fff4ef5f0157e867333250">SVF::ICFGBuilder</a>
 , <a class="el" href="classSVF_1_1LLVMLoopAnalysis.html#a17e4805c2db146430c58af35625a388d">SVF::LLVMLoopAnalysis</a>
@@ -403,7 +403,6 @@ $(function() {
 </li>
 <li>buildBigraph()
 : <a class="el" href="classSVF_1_1AliasCFLGraphBuilder.html#ab19243c4aceffce7b257f3d8cb3050fd">SVF::AliasCFLGraphBuilder</a>
-, <a class="el" href="classSVF_1_1CFLGraphBuilder.html#a0184dc6e00c60106034492d012d0a938">SVF::CFLGraphBuilder</a>
 , <a class="el" href="classSVF_1_1VFCFLGraphBuilder.html#acd5ade19c0e058bfb41a1a8dd84748e1">SVF::VFCFLGraphBuilder</a>
 </li>
 <li>buildBiPEGgraph()
@@ -449,10 +448,13 @@ $(function() {
 : <a class="el" href="classSVF_1_1VersionedFlowSensitive.html#a3407cc82ef9806e26b79edb677979014">SVF::VersionedFlowSensitive</a>
 </li>
 <li>buildFromDot()
-: <a class="el" href="classSVF_1_1CFLGraphBuilder.html#a6c9fa25204550dc5bea1cae52a61472b">SVF::CFLGraphBuilder</a>
+: <a class="el" href="classSVF_1_1CFLGraphBuilder.html#a1e3b5220f536443019ea25262169498a">SVF::CFLGraphBuilder</a>
 </li>
-<li>buildFromTextFile()
-: <a class="el" href="classSVF_1_1CFLGraphBuilder.html#acc19ccb854db14637c97f4ed99810da9">SVF::CFLGraphBuilder</a>
+<li>buildFromJson()
+: <a class="el" href="classSVF_1_1CFLGraphBuilder.html#aa1a24c858e46b68e9f6a99668d880f6a">SVF::CFLGraphBuilder</a>
+</li>
+<li>buildFromText()
+: <a class="el" href="classSVF_1_1CFLGraphBuilder.html#aea046c5f1971069a50100afe7ffed89f">SVF::CFLGraphBuilder</a>
 </li>
 <li>buildFullSVFG()
 : <a class="el" href="classSVF_1_1SVFGBuilder.html#a54a713e3989597b11cee70864d0197bd">SVF::SVFGBuilder</a>
@@ -511,7 +513,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1LLVMLoopAnalysis.html#ad036bf2b7354dd106edce47939b64c78">SVF::LLVMLoopAnalysis</a>
 </li>
 <li>buildSVFModule()
-: <a class="el" href="classSVF_1_1LLVMModuleSet.html#a1f8e769251c89433311eeb6f98d115e9">SVF::LLVMModuleSet</a>
+: <a class="el" href="classSVF_1_1LLVMModuleSet.html#ae919327019b5014f64b754dbdeb07f75">SVF::LLVMModuleSet</a>
 </li>
 <li>buildSymbolTable()
 : <a class="el" href="classSVF_1_1LLVMModuleSet.html#a15e97e3f2ba62d3fe444bb17cd637dbd">SVF::LLVMModuleSet</a>

package/SVF-doxygen/html/html/functions_c.html

@@ -475,6 +475,9 @@ $(function() {
 <li>CFGNormalizer()
 : <a class="el" href="classSVF_1_1CFGNormalizer.html#ab1c19d6347ed694f52ded7defafeffe3">SVF::CFGNormalizer</a>
 </li>
+<li>CFGrammar()
+: <a class="el" href="classSVF_1_1CFGrammar.html#a6955bde4faa1d7b5d1f092c242a11a1b">SVF::CFGrammar</a>
+</li>
 <li>CFLAlias()
 : <a class="el" href="classSVF_1_1CFLAlias.html#aae1dbf8d8c413eb7812ca428edfbae48">SVF::CFLAlias</a>
 </li>
@@ -508,9 +511,6 @@ $(function() {
 <li>CFLFSCS_WPA
 : <a class="el" href="classSVF_1_1PointerAnalysis.html#a0b182ac680cce0547dbe7714c870ca85ab87dcf990c05d31f91b9bfdfcfb54b7d">SVF::PointerAnalysis</a>
 </li>
-<li>CFLGrammar()
-: <a class="el" href="classSVF_1_1CFLGrammar.html#ad124b5e229216515b34b8d9b5d04e067">SVF::CFLGrammar</a>
-</li>
 <li>CFLGrammarStat()
 : <a class="el" href="classSVF_1_1CFLStat.html#a1fbe39f511320df60f54235bd7842257">SVF::CFLStat</a>
 </li>
@@ -530,7 +530,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1CFLNode.html#a235dcc5d8115d8450230638ce68070d6">SVF::CFLNode</a>
 </li>
 <li>CFLSolver()
-: <a class="el" href="classSVF_1_1CFLSolver.html#a394ecf58da040648dda4adb8d0e7d75b">SVF::CFLSolver</a>
+: <a class="el" href="classSVF_1_1CFLSolver.html#afcb585bec6a86f29e9781a5e7ef21dc4">SVF::CFLSolver</a>
 </li>
 <li>CFLSolverStat()
 : <a class="el" href="classSVF_1_1CFLStat.html#aced1956e5d8b47cdfea62b9d3ce8d8d6">SVF::CFLStat</a>
@@ -747,7 +747,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1CallPE.html#a6df0149f79122c5a7d517f75d0235e73">SVF::CallPE</a>
 , <a class="el" href="classSVF_1_1CFBasicBlockGWTOCycle.html#acce909c4c082749affec7b0d3ceb394a">SVF::CFBasicBlockGWTOCycle</a>
 , <a class="el" href="classSVF_1_1CFBasicBlockGWTONode.html#a2d94a3f6bd93d6b3806ec03de3eb1576">SVF::CFBasicBlockGWTONode</a>
-, <a class="el" href="classSVF_1_1CFLGrammar.html#a866db9b7ba6569421fa8a9e3c64c2eab">SVF::CFLGrammar</a>
+, <a class="el" href="classSVF_1_1CFGrammar.html#ac004251a16c0af22fe6775b7908d2a33">SVF::CFGrammar</a>
 , <a class="el" href="classSVF_1_1CHGraph.html#ae7e9f1a3c524d80c77b2a75f877dc2d6">SVF::CHGraph</a>
 , <a class="el" href="classSVF_1_1CmpStmt.html#adec661dd23b7806b35abba2d44aebc61">SVF::CmpStmt</a>
 , <a class="el" href="classSVF_1_1CmpVFGNode.html#ab1248b063654318677471fb10af16fd7">SVF::CmpVFGNode</a>

package/SVF-doxygen/html/html/functions_d.html

@@ -487,7 +487,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1CallCHI.html#ac6a1f2f1c897c647d9b070cb56c61a41">SVF::CallCHI&lt; Cond &gt;</a>
 , <a class="el" href="classSVF_1_1CallMU.html#af08ecc9c2b75737e88690fb2319fcf57">SVF::CallMU&lt; Cond &gt;</a>
 , <a class="el" href="classSVF_1_1CFBasicBlockGraph.html#a41494b39a562ee1788f91bc39776604f">SVF::CFBasicBlockGraph</a>
-, <a class="el" href="classSVF_1_1CFLGrammar.html#aa663563ea03e11371d67ff4673e98a54">SVF::CFLGrammar</a>
+, <a class="el" href="classSVF_1_1CFGrammar.html#a032e6a1ccff5444f0c849309ac2ad23f">SVF::CFGrammar</a>
 , <a class="el" href="classSVF_1_1CFLGraph.html#ab32869931e46babcfaa6791efe2ba91e">SVF::CFLGraph</a>
 , <a class="el" href="classSVF_1_1CHGraph.html#a29351163649618332394fc72cc35212f">SVF::CHGraph</a>
 , <a class="el" href="classSVF_1_1CondPointsToSet.html#a52392deae4011c4353a259c873efc0d6">SVF::CondPointsToSet&lt; Cond &gt;</a>

package/SVF-doxygen/html/html/functions_e.html

@@ -68,13 +68,13 @@ $(function() {
 : <a class="el" href="classSVF_1_1Z3Expr.html#ae14d9fa0613b196420b90d20cc8df041">SVF::Z3Expr</a>
 </li>
 <li>ebnf_bin()
-: <a class="el" href="classSVF_1_1CFGNormalizer.html#a8906f8bfe0a4a431f355b825f15efbe0">SVF::CFGNormalizer</a>
+: <a class="el" href="classSVF_1_1CFGNormalizer.html#a163ded39f15b19d6d1726621ba8b83d0">SVF::CFGNormalizer</a>
 </li>
 <li>ebnfBracketMatch()
-: <a class="el" href="classSVF_1_1CFGNormalizer.html#a8eddaa57527c0e5e538b1d207da7adc0">SVF::CFGNormalizer</a>
+: <a class="el" href="classSVF_1_1CFGNormalizer.html#ad5711bb556e7e793841daa5a94372fcf">SVF::CFGNormalizer</a>
 </li>
 <li>ebnfSignReplace()
-: <a class="el" href="classSVF_1_1CFGNormalizer.html#a37f4a6a11af608439596752d20667648">SVF::CFGNormalizer</a>
+: <a class="el" href="classSVF_1_1CFGNormalizer.html#a2c128a0c3f7307694f757d2dd87b09f5">SVF::CFGNormalizer</a>
 </li>
 <li>EBNFSigns
 : <a class="el" href="classSVF_1_1GrammarBase.html#a7909a5f90ed1678a178f18259f0b66a9">SVF::GrammarBase</a>
@@ -367,7 +367,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1FlowSensitiveStat.html#ab11996ab5606f51c977b9b1385c13d71">SVF::FlowSensitiveStat</a>
 </li>
 <li>epsilonProds
-: <a class="el" href="classSVF_1_1CFLGrammar.html#a4d9770a2b935bcad74ae551389925f74">SVF::CFLGrammar</a>
+: <a class="el" href="classSVF_1_1CFGrammar.html#a66a41e0f9a4c6112a686584e7d48d1e6">SVF::CFGrammar</a>
 </li>
 <li>eq
 : <a class="el" href="classSVF_1_1BoundedZ3Expr.html#a28383f3eb45a8525f3aaf41969752b0d">SVF::BoundedZ3Expr</a>

package/SVF-doxygen/html/html/functions_f.html

@@ -170,7 +170,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1SVFIRReader.html#a176a1ff069006c017494f91ad05642bc">SVF::SVFIRReader</a>
 </li>
 <li>fillAttribute()
-: <a class="el" href="classSVF_1_1CFGNormalizer.html#a06d53343154ade7bc1a21e424f67c7b0">SVF::CFGNormalizer</a>
+: <a class="el" href="classSVF_1_1CFGNormalizer.html#ae77b2be1c819e5c4f3225c64be585aa8">SVF::CFGNormalizer</a>
 </li>
 <li>fillObjs()
 : <a class="el" href="classSVF_1_1GenericGraphReader.html#ad522d9c637abd8bfce92d2d0a565584b">SVF::GenericGraphReader&lt; NodeTy, EdgeTy &gt;</a>
@@ -263,7 +263,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1Options.html#a12e88ce4ba3d39017203ec4cd3ccccea">SVF::Options</a>
 </li>
 <li>firstRHSToProds
-: <a class="el" href="classSVF_1_1CFLGrammar.html#a4422a52119e7b0ee346a93d8820854dd">SVF::CFLGrammar</a>
+: <a class="el" href="classSVF_1_1CFGrammar.html#a02117195df31a99b3fa3250ba33425c5">SVF::CFGrammar</a>
 </li>
 <li>fja
 : <a class="el" href="classSVF_1_1MHP.html#a98857a1837cef5519c938d07bb771a60">SVF::MHP</a>

package/SVF-doxygen/html/html/functions_func.html

@@ -160,7 +160,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1LLVMModuleSet.html#a5595ec3f7582934dc499770825bf5373">SVF::LLVMModuleSet</a>
 </li>
 <li>addAttribute()
-: <a class="el" href="classSVF_1_1CFLGraphBuilder.html#adaa843018284f854ed0ad3bcb1460a01">SVF::CFLGraphBuilder</a>
+: <a class="el" href="classSVF_1_1CFLGraphBuilder.html#af05b577fbb64082d80ca4cfa2e2bc4f1">SVF::CFLGraphBuilder</a>
 </li>
 <li>addBackICFGEdge()
 : <a class="el" href="classSVF_1_1SVFLoop.html#a03c6de676a1d8f99687ea973b9b25d58">SVF::SVFLoop</a>
@@ -175,12 +175,12 @@ $(function() {
 : <a class="el" href="classSVF_1_1LLVMModuleSet.html#a3eaadb33cd21d0bd868526b5ddb051d9">SVF::LLVMModuleSet</a>
 </li>
 <li>addBiCFLEdge()
-: <a class="el" href="classSVF_1_1AliasCFLGraphBuilder.html#ae7a9f2103c68829290c1bd5fd9cde321">SVF::AliasCFLGraphBuilder</a>
-, <a class="el" href="classSVF_1_1VFCFLGraphBuilder.html#a83cacee4212afcc7c472b1307627e022">SVF::VFCFLGraphBuilder</a>
+: <a class="el" href="classSVF_1_1AliasCFLGraphBuilder.html#a3069f804d6e63c5d74dc0b4d7399d43e">SVF::AliasCFLGraphBuilder</a>
+, <a class="el" href="classSVF_1_1VFCFLGraphBuilder.html#a5d1beb9f3fb72fbf8857f97d97085ad0">SVF::VFCFLGraphBuilder</a>
 </li>
 <li>addBiGepCFLEdge()
-: <a class="el" href="classSVF_1_1AliasCFLGraphBuilder.html#a715213d0b521b676832ec73b38d2014e">SVF::AliasCFLGraphBuilder</a>
-, <a class="el" href="classSVF_1_1VFCFLGraphBuilder.html#a72a7868442168c5b0978deb10722ba84">SVF::VFCFLGraphBuilder</a>
+: <a class="el" href="classSVF_1_1AliasCFLGraphBuilder.html#aa998adcd267038210c2ed93148d00333">SVF::AliasCFLGraphBuilder</a>
+, <a class="el" href="classSVF_1_1VFCFLGraphBuilder.html#abc399874243614198b0742d1e76b945c">SVF::VFCFLGraphBuilder</a>
 </li>
 <li>addBinaryOPEdge()
 : <a class="el" href="classSVF_1_1SVFIRBuilder.html#a3f954c61381fe31088e791772c334105">SVF::SVFIRBuilder</a>

package/SVF-doxygen/html/html/functions_func_b.html

@@ -101,7 +101,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1SrcSnkDDA.html#a32cc8a131b2448b5e8e1fe65d99fd286">SVF::SrcSnkDDA</a>
 </li>
 <li>barReplace()
-: <a class="el" href="classSVF_1_1CFGNormalizer.html#ad56aa4b7f6eba0c873ea18f83c398bc5">SVF::CFGNormalizer</a>
+: <a class="el" href="classSVF_1_1CFGNormalizer.html#a099b05cb4240787859832971f376863f">SVF::CFGNormalizer</a>
 </li>
 <li>begin()
 : <a class="el" href="classllvm_1_1generic__bridge__gep__type__iterator.html#aabd833b8eca182f681462209c9f24f1a">llvm::generic_bridge_gep_type_iterator&lt; ItTy &gt;</a>
@@ -176,8 +176,8 @@ $(function() {
 <li>build()
 : <a class="el" href="classSVF_1_1CFBasicBlockGBuilder.html#a99e4116e416962d1a2f3eb9b09d253b5">SVF::CFBasicBlockGBuilder</a>
 , <a class="el" href="classSVF_1_1CFBasicBlockGWTO.html#a6cc2cb7b203e16b9cc8f5e121f39bd9f">SVF::CFBasicBlockGWTO</a>
-, <a class="el" href="classSVF_1_1CFLGraphBuilder.html#ab0d2bd46dd1c3be10c04f573e9365757">SVF::CFLGraphBuilder</a>
-, <a class="el" href="classSVF_1_1GrammarBuilder.html#a23d03b2cd348d85bda1ee582dded6505">SVF::GrammarBuilder</a>
+, <a class="el" href="classSVF_1_1CFLGraphBuilder.html#a27b247b46ce0b467459fcc2d53f50383">SVF::CFLGraphBuilder</a>
+, <a class="el" href="classSVF_1_1GrammarBuilder.html#a11bd8225be12650c811ba968cc3935b3">SVF::GrammarBuilder</a>
 , <a class="el" href="classSVF_1_1ICFGBuilder.html#ae66565ee32fff4ef5f0157e867333250">SVF::ICFGBuilder</a>
 , <a class="el" href="classSVF_1_1LLVMLoopAnalysis.html#a17e4805c2db146430c58af35625a388d">SVF::LLVMLoopAnalysis</a>
 , <a class="el" href="classSVF_1_1LLVMModuleSet.html#af8edfe08027020f14b81b44362c6018e">SVF::LLVMModuleSet</a>
@@ -191,7 +191,6 @@ $(function() {
 </li>
 <li>buildBigraph()
 : <a class="el" href="classSVF_1_1AliasCFLGraphBuilder.html#ab19243c4aceffce7b257f3d8cb3050fd">SVF::AliasCFLGraphBuilder</a>
-, <a class="el" href="classSVF_1_1CFLGraphBuilder.html#a0184dc6e00c60106034492d012d0a938">SVF::CFLGraphBuilder</a>
 , <a class="el" href="classSVF_1_1VFCFLGraphBuilder.html#acd5ade19c0e058bfb41a1a8dd84748e1">SVF::VFCFLGraphBuilder</a>
 </li>
 <li>buildBiPEGgraph()
@@ -237,10 +236,13 @@ $(function() {
 : <a class="el" href="classSVF_1_1VersionedFlowSensitive.html#a3407cc82ef9806e26b79edb677979014">SVF::VersionedFlowSensitive</a>
 </li>
 <li>buildFromDot()
-: <a class="el" href="classSVF_1_1CFLGraphBuilder.html#a6c9fa25204550dc5bea1cae52a61472b">SVF::CFLGraphBuilder</a>
+: <a class="el" href="classSVF_1_1CFLGraphBuilder.html#a1e3b5220f536443019ea25262169498a">SVF::CFLGraphBuilder</a>
 </li>
-<li>buildFromTextFile()
-: <a class="el" href="classSVF_1_1CFLGraphBuilder.html#acc19ccb854db14637c97f4ed99810da9">SVF::CFLGraphBuilder</a>
+<li>buildFromJson()
+: <a class="el" href="classSVF_1_1CFLGraphBuilder.html#aa1a24c858e46b68e9f6a99668d880f6a">SVF::CFLGraphBuilder</a>
+</li>
+<li>buildFromText()
+: <a class="el" href="classSVF_1_1CFLGraphBuilder.html#aea046c5f1971069a50100afe7ffed89f">SVF::CFLGraphBuilder</a>
 </li>
 <li>buildFullSVFG()
 : <a class="el" href="classSVF_1_1SVFGBuilder.html#a54a713e3989597b11cee70864d0197bd">SVF::SVFGBuilder</a>

package/SVF-doxygen/html/html/functions_func_c.html

@@ -155,6 +155,9 @@ $(function() {
 <li>CFGNormalizer()
 : <a class="el" href="classSVF_1_1CFGNormalizer.html#ab1c19d6347ed694f52ded7defafeffe3">SVF::CFGNormalizer</a>
 </li>
+<li>CFGrammar()
+: <a class="el" href="classSVF_1_1CFGrammar.html#a6955bde4faa1d7b5d1f092c242a11a1b">SVF::CFGrammar</a>
+</li>
 <li>CFLAlias()
 : <a class="el" href="classSVF_1_1CFLAlias.html#aae1dbf8d8c413eb7812ca428edfbae48">SVF::CFLAlias</a>
 </li>
@@ -167,9 +170,6 @@ $(function() {
 <li>CFLFIFOWorkList()
 : <a class="el" href="classSVF_1_1CFLFIFOWorkList.html#a1246a16c404664f0f17e8333eaae2511">SVF::CFLFIFOWorkList&lt; Data &gt;</a>
 </li>
-<li>CFLGrammar()
-: <a class="el" href="classSVF_1_1CFLGrammar.html#ad124b5e229216515b34b8d9b5d04e067">SVF::CFLGrammar</a>
-</li>
 <li>CFLGrammarStat()
 : <a class="el" href="classSVF_1_1CFLStat.html#a1fbe39f511320df60f54235bd7842257">SVF::CFLStat</a>
 </li>
@@ -183,7 +183,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1CFLNode.html#a235dcc5d8115d8450230638ce68070d6">SVF::CFLNode</a>
 </li>
 <li>CFLSolver()
-: <a class="el" href="classSVF_1_1CFLSolver.html#a394ecf58da040648dda4adb8d0e7d75b">SVF::CFLSolver</a>
+: <a class="el" href="classSVF_1_1CFLSolver.html#afcb585bec6a86f29e9781a5e7ef21dc4">SVF::CFLSolver</a>
 </li>
 <li>CFLSolverStat()
 : <a class="el" href="classSVF_1_1CFLStat.html#aced1956e5d8b47cdfea62b9d3ce8d8d6">SVF::CFLStat</a>
@@ -268,7 +268,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1CallPE.html#a6df0149f79122c5a7d517f75d0235e73">SVF::CallPE</a>
 , <a class="el" href="classSVF_1_1CFBasicBlockGWTOCycle.html#acce909c4c082749affec7b0d3ceb394a">SVF::CFBasicBlockGWTOCycle</a>
 , <a class="el" href="classSVF_1_1CFBasicBlockGWTONode.html#a2d94a3f6bd93d6b3806ec03de3eb1576">SVF::CFBasicBlockGWTONode</a>
-, <a class="el" href="classSVF_1_1CFLGrammar.html#a866db9b7ba6569421fa8a9e3c64c2eab">SVF::CFLGrammar</a>
+, <a class="el" href="classSVF_1_1CFGrammar.html#ac004251a16c0af22fe6775b7908d2a33">SVF::CFGrammar</a>
 , <a class="el" href="classSVF_1_1CHGraph.html#ae7e9f1a3c524d80c77b2a75f877dc2d6">SVF::CHGraph</a>
 , <a class="el" href="classSVF_1_1CmpStmt.html#adec661dd23b7806b35abba2d44aebc61">SVF::CmpStmt</a>
 , <a class="el" href="classSVF_1_1CmpVFGNode.html#ab1248b063654318677471fb10af16fd7">SVF::CmpVFGNode</a>

package/SVF-doxygen/html/html/functions_func_d.html

@@ -235,7 +235,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1CallCHI.html#ac6a1f2f1c897c647d9b070cb56c61a41">SVF::CallCHI&lt; Cond &gt;</a>
 , <a class="el" href="classSVF_1_1CallMU.html#af08ecc9c2b75737e88690fb2319fcf57">SVF::CallMU&lt; Cond &gt;</a>
 , <a class="el" href="classSVF_1_1CFBasicBlockGraph.html#a41494b39a562ee1788f91bc39776604f">SVF::CFBasicBlockGraph</a>
-, <a class="el" href="classSVF_1_1CFLGrammar.html#aa663563ea03e11371d67ff4673e98a54">SVF::CFLGrammar</a>
+, <a class="el" href="classSVF_1_1CFGrammar.html#a032e6a1ccff5444f0c849309ac2ad23f">SVF::CFGrammar</a>
 , <a class="el" href="classSVF_1_1CFLGraph.html#ab32869931e46babcfaa6791efe2ba91e">SVF::CFLGraph</a>
 , <a class="el" href="classSVF_1_1CHGraph.html#a29351163649618332394fc72cc35212f">SVF::CHGraph</a>
 , <a class="el" href="classSVF_1_1CondPointsToSet.html#a52392deae4011c4353a259c873efc0d6">SVF::CondPointsToSet&lt; Cond &gt;</a>

package/SVF-doxygen/html/html/functions_func_e.html

@@ -65,13 +65,13 @@ $(function() {
 
 <h3><a id="index_e"></a>- e -</h3><ul>
 <li>ebnf_bin()
-: <a class="el" href="classSVF_1_1CFGNormalizer.html#a8906f8bfe0a4a431f355b825f15efbe0">SVF::CFGNormalizer</a>
+: <a class="el" href="classSVF_1_1CFGNormalizer.html#a163ded39f15b19d6d1726621ba8b83d0">SVF::CFGNormalizer</a>
 </li>
 <li>ebnfBracketMatch()
-: <a class="el" href="classSVF_1_1CFGNormalizer.html#a8eddaa57527c0e5e538b1d207da7adc0">SVF::CFGNormalizer</a>
+: <a class="el" href="classSVF_1_1CFGNormalizer.html#ad5711bb556e7e793841daa5a94372fcf">SVF::CFGNormalizer</a>
 </li>
 <li>ebnfSignReplace()
-: <a class="el" href="classSVF_1_1CFGNormalizer.html#a37f4a6a11af608439596752d20667648">SVF::CFGNormalizer</a>
+: <a class="el" href="classSVF_1_1CFGNormalizer.html#a2c128a0c3f7307694f757d2dd87b09f5">SVF::CFGNormalizer</a>
 </li>
 <li>ecUnion()
 : <a class="el" href="classSVF_1_1Steensgaard.html#a191e77e62916d868b2af730264e26dd8">SVF::Steensgaard</a>

package/SVF-doxygen/html/html/functions_func_f.html

@@ -83,7 +83,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1SVFIRReader.html#a1df7181316cdd6f9d7f5c140cfdfe7b6">SVF::SVFIRReader</a>
 </li>
 <li>fillAttribute()
-: <a class="el" href="classSVF_1_1CFGNormalizer.html#a06d53343154ade7bc1a21e424f67c7b0">SVF::CFGNormalizer</a>
+: <a class="el" href="classSVF_1_1CFGNormalizer.html#ae77b2be1c819e5c4f3225c64be585aa8">SVF::CFGNormalizer</a>
 </li>
 <li>fillObjs()
 : <a class="el" href="classSVF_1_1GenericGraphReader.html#ad522d9c637abd8bfce92d2d0a565584b">SVF::GenericGraphReader&lt; NodeTy, EdgeTy &gt;</a>