svf-tools 1.0.559 → 1.0.560
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/SVF-doxygen/html/html/CFLGrammar_8txt.html +8 -8
- package/SVF-doxygen/html/html/CFLGraphBuilder_8cpp_source.html +10 -1
- package/SVF-doxygen/html/html/CFLGraphBuilder_8h_source.html +3 -1
- package/SVF-doxygen/html/html/PEGGrammar_8txt.html +14 -32
- package/SVF-doxygen/html/html/classSVF_1_1AliasCFLGraphBuilder-members.html +13 -10
- package/SVF-doxygen/html/html/classSVF_1_1AliasCFLGraphBuilder.html +190 -2
- package/SVF-doxygen/html/html/functions_a.html +11 -5
- package/SVF-doxygen/html/html/functions_c.html +21 -18
- package/SVF-doxygen/html/html/functions_f.html +3 -3
- package/SVF-doxygen/html/html/functions_func.html +16 -10
- package/SVF-doxygen/html/html/functions_func_c.html +19 -16
- package/SVF-doxygen/html/html/functions_func_s.html +1 -1
- package/SVF-doxygen/html/html/functions_i.html +3 -3
- package/SVF-doxygen/html/html/functions_l.html +3 -3
- package/SVF-doxygen/html/html/functions_o.html +3 -3
- package/SVF-doxygen/html/html/functions_p.html +3 -3
- package/SVF-doxygen/html/html/functions_r.html +3 -7
- package/SVF-doxygen/html/html/functions_s.html +18 -16
- package/SVF-doxygen/html/html/functions_t.html +3 -3
- package/SVF-doxygen/html/html/functions_v.html +3 -3
- package/SVF-doxygen/html/html/globals_g.html +3 -3
- package/SVF-doxygen/html/html/globals_v.html +1 -2
- package/SVF-doxygen/html/html/globals_vars.html +3 -4
- package/SVF-doxygen/html/html/search/all_1.js +2 -0
- package/SVF-doxygen/html/html/search/all_10.js +4 -4
- package/SVF-doxygen/html/html/search/all_11.js +1 -1
- package/SVF-doxygen/html/html/search/all_12.js +12 -12
- package/SVF-doxygen/html/html/search/all_13.js +3 -3
- package/SVF-doxygen/html/html/search/all_15.js +3 -3
- package/SVF-doxygen/html/html/search/all_3.js +1 -0
- package/SVF-doxygen/html/html/search/all_6.js +1 -1
- package/SVF-doxygen/html/html/search/all_7.js +2 -2
- package/SVF-doxygen/html/html/search/all_9.js +1 -1
- package/SVF-doxygen/html/html/search/all_c.js +3 -3
- package/SVF-doxygen/html/html/search/all_e.js +2 -2
- package/SVF-doxygen/html/html/search/all_f.js +1 -1
- package/SVF-doxygen/html/html/search/functions_0.js +2 -0
- package/SVF-doxygen/html/html/search/functions_11.js +1 -1
- package/SVF-doxygen/html/html/search/functions_2.js +1 -0
- package/SVF-doxygen/html/html/search/variables_15.js +1 -1
- package/SVF-doxygen/html/html/search/variables_7.js +2 -2
- package/SVF-doxygen/html/html/search/variables_e.js +1 -1
- package/include/CFL/CFLGraphBuilder.h +9 -0
- package/include/CFL/PEGGrammar.txt +4 -8
- package/lib/CFL/CFLGraphBuilder.cpp +44 -0
- package/package.json +1 -1
|
@@ -66,12 +66,13 @@ $(function() {
|
|
|
66
66
|
<div class="title">CFLGraphBuilder.h</div> </div>
|
|
67
67
|
</div><!--header-->
|
|
68
68
|
<div class="contents">
|
|
69
|
-
<a href="CFLGraphBuilder_8h.html">Go to the documentation of this file.</a><div class="fragment"><div class="line"><a name="l00001"></a><span class="lineno"> 1</span> <span class="comment">//===----- CFLGraphBuilder.h -- CFL Graph Builder --------------//</span></div><div class="line"><a name="l00002"></a><span class="lineno"> 2</span> <span class="comment">//</span></div><div class="line"><a name="l00003"></a><span class="lineno"> 3</span> <span class="comment">// SVF: Static Value-Flow Analysis</span></div><div class="line"><a name="l00004"></a><span class="lineno"> 4</span> <span class="comment">//</span></div><div class="line"><a name="l00005"></a><span class="lineno"> 5</span> <span class="comment">// Copyright (C) <2013-> <Yulei Sui></span></div><div class="line"><a name="l00006"></a><span class="lineno"> 6</span> <span class="comment">//</span></div><div class="line"><a name="l00007"></a><span class="lineno"> 7</span> </div><div class="line"><a name="l00008"></a><span class="lineno"> 8</span> <span class="comment">// This program is free software: you can redistribute it and/or modify</span></div><div class="line"><a name="l00009"></a><span class="lineno"> 9</span> <span class="comment">// it under the terms of the GNU General Public License as published by</span></div><div class="line"><a name="l00010"></a><span class="lineno"> 10</span> <span class="comment">// the Free Software Foundation, either version 3 of the License, or</span></div><div class="line"><a name="l00011"></a><span class="lineno"> 11</span> <span class="comment">// (at your option) any later version.</span></div><div class="line"><a name="l00012"></a><span class="lineno"> 12</span> </div><div class="line"><a name="l00013"></a><span class="lineno"> 13</span> <span class="comment">// This program is distributed in the hope that it will be useful,</span></div><div class="line"><a name="l00014"></a><span class="lineno"> 14</span> <span class="comment">// but WITHOUT ANY WARRANTY; without even the implied warranty of</span></div><div class="line"><a name="l00015"></a><span class="lineno"> 15</span> <span class="comment">// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the</span></div><div class="line"><a name="l00016"></a><span class="lineno"> 16</span> <span class="comment">// GNU General Public License for more details.</span></div><div class="line"><a name="l00017"></a><span class="lineno"> 17</span> </div><div class="line"><a name="l00018"></a><span class="lineno"> 18</span> <span class="comment">// You should have received a copy of the GNU General Public License</span></div><div class="line"><a name="l00019"></a><span class="lineno"> 19</span> <span class="comment">// along with this program. If not, see <http://www.gnu.org/licenses/>.</span></div><div class="line"><a name="l00020"></a><span class="lineno"> 20</span> <span class="comment">//</span></div><div class="line"><a name="l00021"></a><span class="lineno"> 21</span> <span class="comment">//===----------------------------------------------------------------------===//</span></div><div class="line"><a name="l00022"></a><span class="lineno"> 22</span> </div><div class="line"><a name="l00023"></a><span class="lineno"> 23</span> <span class="comment">/*</span></div><div class="line"><a name="l00024"></a><span class="lineno"> 24</span> <span class="comment"> * CFLGraphBuilder.h</span></div><div class="line"><a name="l00025"></a><span class="lineno"> 25</span> <span class="comment"> *</span></div><div class="line"><a name="l00026"></a><span class="lineno"> 26</span> <span class="comment"> * Created on: May 22, 2022</span></div><div class="line"><a name="l00027"></a><span class="lineno"> 27</span> <span class="comment"> * Author: Pei Xu</span></div><div class="line"><a name="l00028"></a><span class="lineno"> 28</span> <span class="comment"> */</span></div><div class="line"><a name="l00029"></a><span class="lineno"> 29</span> </div><div class="line"><a name="l00030"></a><span class="lineno"> 30</span> <span class="preprocessor">#ifndef INCLUDE_CFL_CFLGRAPHBUILDER_H_</span></div><div class="line"><a name="l00031"></a><span class="lineno"> 31</span> <span class="preprocessor">#define INCLUDE_CFL_CFLGRAPHBUILDER_H_</span></div><div class="line"><a name="l00032"></a><span class="lineno"> 32</span> </div><div class="line"><a name="l00033"></a><span class="lineno"> 33</span> <span class="preprocessor">#include "<a class="code" href="CFLGrammar_8h.html">CFL/CFLGrammar.h</a>"</span></div><div class="line"><a name="l00034"></a><span class="lineno"> 34</span> <span class="preprocessor">#include "<a class="code" href="CFLGraph_8h.html">Graphs/CFLGraph.h</a>"</span></div><div class="line"><a name="l00035"></a><span class="lineno"> 35</span> <span class="keyword">namespace </span><a class="code" href="namespaceSVF.html">SVF</a></div><div class="line"><a name="l00036"></a><span class="lineno"> 36</span> {</div><div class="line"><a name="l00037"></a><span class="lineno"> 37</span> </div><div class="line"><a name="l00043"></a><span class="lineno"><a class="line" href="classSVF_1_1CFLGraphBuilder.html"> 43</a></span> <span class="keyword">class </span><a class="code" href="classSVF_1_1CFLGraphBuilder.html">CFLGraphBuilder</a></div><div class="line"><a name="l00044"></a><span class="lineno"> 44</span> {</div><div class="line"><a name="l00045"></a><span class="lineno"> 45</span> <span class="keyword">protected</span>:</div><div class="line"><a name="l00046"></a><span class="lineno"><a class="line" href="classSVF_1_1CFLGraphBuilder.html#a20299631d2b85507af6d81861736db5e"> 46</a></span>  <span class="keyword">typedef</span> <a class="code" href="classSVF_1_1GrammarBase.html#a7aef5c42fbd8a62dd4a541cc0e8e8187">CFLGrammar::Kind</a> <a class="code" href="classSVF_1_1CFLGraphBuilder.html#a20299631d2b85507af6d81861736db5e">Kind</a>;</div><div class="line"><a name="l00047"></a><span class="lineno"><a class="line" href="classSVF_1_1CFLGraphBuilder.html#a36c5b874527e7694f7fb2fd7291da0da"> 47</a></span>  <span class="keyword">typedef</span> <a class="code" href="structSVF_1_1GrammarBase_1_1Symbol.html">CFLGrammar::Symbol</a> <a class="code" href="classSVF_1_1CFLGraphBuilder.html#a36c5b874527e7694f7fb2fd7291da0da">Symbol</a>;</div><div class="line"><a name="l00048"></a><span class="lineno"><a class="line" href="classSVF_1_1CFLGraphBuilder.html#a7117dbeceeef7a9fcaeee0a84a171590"> 48</a></span>  <a class="code" href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">Map<std::string, Kind></a> <a class="code" href="classSVF_1_1CFLGraphBuilder.html#a7117dbeceeef7a9fcaeee0a84a171590">label2KindMap</a>;</div><div class="line"><a name="l00049"></a><span class="lineno"><a class="line" href="classSVF_1_1CFLGraphBuilder.html#a461ff21d73f60cf96a3e36672d4c6a6c"> 49</a></span>  <a class="code" href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">Map<Kind, std::string></a> <a class="code" href="classSVF_1_1CFLGraphBuilder.html#a461ff21d73f60cf96a3e36672d4c6a6c">kind2LabelMap</a>;</div><div class="line"><a name="l00050"></a><span class="lineno"><a class="line" href="classSVF_1_1CFLGraphBuilder.html#a5159cea5bc8d69715782ac5f56965a90"> 50</a></span>  <a class="code" href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">Map<CFLGrammar::Kind, Set<CFLGrammar::Attribute></a>> <a class="code" href="classSVF_1_1CFLGraphBuilder.html#a5159cea5bc8d69715782ac5f56965a90">kind2AttrsMap</a>;</div><div class="line"><a name="l00051"></a><span class="lineno"><a class="line" href="classSVF_1_1CFLGraphBuilder.html#a91f1f0e8abc8d781eaf8b1a4f025c18e"> 51</a></span>  <span class="keywordtype">bool</span> <a class="code" href="classSVF_1_1CFLGraphBuilder.html#a91f1f0e8abc8d781eaf8b1a4f025c18e">externMap</a>;</div><div class="line"><a name="l00052"></a><span class="lineno"><a class="line" href="classSVF_1_1CFLGraphBuilder.html#aad408d6ecb776fd763c9b9221a1bed18"> 52</a></span>  Kind <a class="code" href="classSVF_1_1CFLGraphBuilder.html#aad408d6ecb776fd763c9b9221a1bed18">current</a>;</div><div class="line"><a name="l00053"></a><span class="lineno"> 53</span> </div><div class="line"><a name="l00054"></a><span class="lineno"> 54</span> <span class="keyword">public</span>:</div><div class="line"><a name="l00056"></a><span class="lineno"> 56</span>  <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1CFLGraphBuilder.html#adaa843018284f854ed0ad3bcb1460a01">addAttribute</a>(<a class="code" href="classSVF_1_1GrammarBase.html#a7aef5c42fbd8a62dd4a541cc0e8e8187">CFLGrammar::Kind</a> kind, <a class="code" href="classSVF_1_1GrammarBase.html#ab070e5449d26e347b957d8b994d0303f">CFLGrammar::Attribute</a> attribute);</div><div class="line"><a name="l00057"></a><span class="lineno"> 57</span> </div><div class="line"><a name="l00059"></a><span class="lineno"> 59</span>  <span class="keyword">template</span><<span class="keyword">class</span> N, <span class="keyword">class</span> E></div><div class="line"><a name="l00060"></a><span class="lineno"><a class="line" href="classSVF_1_1CFLGraphBuilder.html#ab0d2bd46dd1c3be10c04f573e9365757"> 60</a></span>  <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1CFLGraphBuilder.html#ab0d2bd46dd1c3be10c04f573e9365757">build</a>(<a class="code" href="classSVF_1_1GenericGraph.html">GenericGraph<N,E></a>* graph, <a class="code" href="classSVF_1_1CFLGraph.html">CFLGraph</a>* cflGraph)</div><div class="line"><a name="l00061"></a><span class="lineno"> 61</span>  {</div><div class="line"><a name="l00062"></a><span class="lineno"> 62</span>  <span class="keywordflow">for</span>(<span class="keyword">auto</span> it = graph-><a class="code" href="classSVF_1_1GenericGraph.html#a0d9744b1b0e7a09a6f7af29188e243b7">begin</a>(); it!= graph-><a class="code" href="classSVF_1_1GenericGraph.html#a4bef15157423cef48dc7333a803cd27d">end</a>(); it++)</div><div class="line"><a name="l00063"></a><span class="lineno"> 63</span>  {</div><div class="line"><a name="l00064"></a><span class="lineno"> 64</span>  <a class="code" href="classSVF_1_1CFLNode.html">CFLNode</a>* node = <span class="keyword">new</span> <a class="code" href="classSVF_1_1CFLNode.html">CFLNode</a>((*it).first);</div><div class="line"><a name="l00065"></a><span class="lineno"> 65</span>  cflGraph-><a class="code" href="classSVF_1_1CFLGraph.html#a58b944d0f2c11868e17223acdb35f82c">addCFLNode</a>((*it).first, node);</div><div class="line"><a name="l00066"></a><span class="lineno"> 66</span>  }</div><div class="line"><a name="l00067"></a><span class="lineno"> 67</span>  <span class="keywordflow">for</span>(<span class="keyword">auto</span> it = graph-><a class="code" href="classSVF_1_1GenericGraph.html#a0d9744b1b0e7a09a6f7af29188e243b7">begin</a>(); it!= graph-><a class="code" href="classSVF_1_1GenericGraph.html#a4bef15157423cef48dc7333a803cd27d">end</a>(); it++)</div><div class="line"><a name="l00068"></a><span class="lineno"> 68</span>  {</div><div class="line"><a name="l00069"></a><span class="lineno"> 69</span>  N* node = (*it).second;</div><div class="line"><a name="l00070"></a><span class="lineno"> 70</span>  <span class="keywordflow">for</span>(E* edge : node->getOutEdges())</div><div class="line"><a name="l00071"></a><span class="lineno"> 71</span>  {</div><div class="line"><a name="l00072"></a><span class="lineno"> 72</span>  cflGraph-><a class="code" href="classSVF_1_1CFLGraph.html#a9eea8083dbeaf898948595b1d75cfee2">addCFLEdge</a>(cflGraph-><a class="code" href="classSVF_1_1GenericGraph.html#a43c9c773bfa17abf481c33073e30d01b">getGNode</a>(edge->getSrcID()), cflGraph-><a class="code" href="classSVF_1_1GenericGraph.html#a43c9c773bfa17abf481c33073e30d01b">getGNode</a>(edge->getDstID()), edge->getEdgeKind());</div><div class="line"><a name="l00073"></a><span class="lineno"> 73</span>  }</div><div class="line"><a name="l00074"></a><span class="lineno"> 74</span>  }</div><div class="line"><a name="l00075"></a><span class="lineno"> 75</span>  }</div><div class="line"><a name="l00076"></a><span class="lineno"> 76</span> </div><div class="line"><a name="l00078"></a><span class="lineno"> 78</span>  <span class="keyword">template</span><<span class="keyword">class</span> N, <span class="keyword">class</span> E></div><div class="line"><a name="l00079"></a><span class="lineno"><a class="line" href="classSVF_1_1CFLGraphBuilder.html#a0184dc6e00c60106034492d012d0a938"> 79</a></span>  <a class="code" href="classSVF_1_1CFLGraph.html">CFLGraph</a>* <a class="code" href="classSVF_1_1CFLGraphBuilder.html#a0184dc6e00c60106034492d012d0a938">buildBigraph</a>(<a class="code" href="classSVF_1_1GenericGraph.html">GenericGraph<N,E></a>* graph, Kind startKind, <a class="code" href="classSVF_1_1GrammarBase.html">GrammarBase</a> *grammar)</div><div class="line"><a name="l00080"></a><span class="lineno"> 80</span>  {</div><div class="line"><a name="l00081"></a><span class="lineno"> 81</span>  <a class="code" href="classSVF_1_1CFLGraph.html">CFLGraph</a> *cflGraph = <span class="keyword">new</span> <a class="code" href="classSVF_1_1CFLGraph.html">CFLGraph</a>(startKind);</div><div class="line"><a name="l00082"></a><span class="lineno"> 82</span>  externMap = <span class="keyword">true</span>;</div><div class="line"><a name="l00083"></a><span class="lineno"> 83</span>  <span class="keywordflow">for</span>(<span class="keyword">auto</span> pairV : grammar-><a class="code" href="classSVF_1_1GrammarBase.html#a44232dfc5b9a13dfe9b72ff18634ab37">getTerminals</a>())</div><div class="line"><a name="l00084"></a><span class="lineno"> 84</span>  {</div><div class="line"><a name="l00085"></a><span class="lineno"> 85</span>  <span class="keywordflow">if</span>(label2KindMap.find(pairV.first) == label2KindMap.end())</div><div class="line"><a name="l00086"></a><span class="lineno"> 86</span>  {</div><div class="line"><a name="l00087"></a><span class="lineno"> 87</span>  label2KindMap.insert(pairV);</div><div class="line"><a name="l00088"></a><span class="lineno"> 88</span>  }</div><div class="line"><a name="l00089"></a><span class="lineno"> 89</span>  <span class="keywordflow">if</span>(kind2LabelMap.find(pairV.second) == kind2LabelMap.end())</div><div class="line"><a name="l00090"></a><span class="lineno"> 90</span>  {</div><div class="line"><a name="l00091"></a><span class="lineno"> 91</span>  kind2LabelMap.insert(make_pair(pairV.second, pairV.first));</div><div class="line"><a name="l00092"></a><span class="lineno"> 92</span>  }</div><div class="line"><a name="l00093"></a><span class="lineno"> 93</span>  }</div><div class="line"><a name="l00094"></a><span class="lineno"> 94</span>  <span class="keywordflow">for</span>(<span class="keyword">auto</span> pairV : grammar-><a class="code" href="classSVF_1_1GrammarBase.html#a04140ef06feee613506529fd8c23665e">getNonterminals</a>())</div><div class="line"><a name="l00095"></a><span class="lineno"> 95</span>  {</div><div class="line"><a name="l00096"></a><span class="lineno"> 96</span>  <span class="keywordflow">if</span>(label2KindMap.find(pairV.first) == label2KindMap.end())</div><div class="line"><a name="l00097"></a><span class="lineno"> 97</span>  {</div><div class="line"><a name="l00098"></a><span class="lineno"> 98</span>  label2KindMap.insert(pairV);</div><div class="line"><a name="l00099"></a><span class="lineno"> 99</span>  }</div><div class="line"><a name="l00100"></a><span class="lineno"> 100</span>  <span class="keywordflow">if</span>(kind2LabelMap.find(pairV.second) == kind2LabelMap.end())</div><div class="line"><a name="l00101"></a><span class="lineno"> 101</span>  {</div><div class="line"><a name="l00102"></a><span class="lineno"> 102</span>  kind2LabelMap.insert(make_pair(pairV.second, pairV.first));</div><div class="line"><a name="l00103"></a><span class="lineno"> 103</span>  }</div><div class="line"><a name="l00104"></a><span class="lineno"> 104</span>  }</div><div class="line"><a name="l00105"></a><span class="lineno"> 105</span>  <span class="keywordflow">for</span>(<span class="keyword">auto</span> it = graph-><a class="code" href="classSVF_1_1GenericGraph.html#a0d9744b1b0e7a09a6f7af29188e243b7">begin</a>(); it!= graph-><a class="code" href="classSVF_1_1GenericGraph.html#a4bef15157423cef48dc7333a803cd27d">end</a>(); it++)</div><div class="line"><a name="l00106"></a><span class="lineno"> 106</span>  {</div><div class="line"><a name="l00107"></a><span class="lineno"> 107</span>  <a class="code" href="classSVF_1_1CFLNode.html">CFLNode</a>* node = <span class="keyword">new</span> <a class="code" href="classSVF_1_1CFLNode.html">CFLNode</a>((*it).first);</div><div class="line"><a name="l00108"></a><span class="lineno"> 108</span>  cflGraph-><a class="code" href="classSVF_1_1CFLGraph.html#a58b944d0f2c11868e17223acdb35f82c">addCFLNode</a>((*it).first, node);</div><div class="line"><a name="l00109"></a><span class="lineno"> 109</span>  }</div><div class="line"><a name="l00110"></a><span class="lineno"> 110</span>  <span class="keywordflow">for</span>(<span class="keyword">auto</span> it = graph-><a class="code" href="classSVF_1_1GenericGraph.html#a0d9744b1b0e7a09a6f7af29188e243b7">begin</a>(); it!= graph-><a class="code" href="classSVF_1_1GenericGraph.html#a4bef15157423cef48dc7333a803cd27d">end</a>(); it++)</div><div class="line"><a name="l00111"></a><span class="lineno"> 111</span>  {</div><div class="line"><a name="l00112"></a><span class="lineno"> 112</span>  N* node = (*it).second;</div><div class="line"><a name="l00113"></a><span class="lineno"> 113</span>  <span class="keywordflow">for</span>(E* edge : node->getOutEdges())</div><div class="line"><a name="l00114"></a><span class="lineno"> 114</span>  {</div><div class="line"><a name="l00115"></a><span class="lineno"> 115</span>  <a class="code" href="classSVF_1_1GrammarBase.html#a7aef5c42fbd8a62dd4a541cc0e8e8187">CFLGrammar::Kind</a> edgeLabel = edge->getEdgeKind();</div><div class="line"><a name="l00116"></a><span class="lineno"> 116</span>  cflGraph-><a class="code" href="classSVF_1_1CFLGraph.html#a9eea8083dbeaf898948595b1d75cfee2">addCFLEdge</a>(cflGraph-><a class="code" href="classSVF_1_1GenericGraph.html#a43c9c773bfa17abf481c33073e30d01b">getGNode</a>(edge->getSrcID()), cflGraph-><a class="code" href="classSVF_1_1GenericGraph.html#a43c9c773bfa17abf481c33073e30d01b">getGNode</a>(edge->getDstID()), edgeLabel);</div><div class="line"><a name="l00117"></a><span class="lineno"> 117</span>  <a class="code" href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">std::string</a> key = kind2LabelMap[edge->getEdgeKind()];</div><div class="line"><a name="l00118"></a><span class="lineno"> 118</span>  key.append(<span class="stringliteral">"bar"</span>);</div><div class="line"><a name="l00119"></a><span class="lineno"> 119</span>  cflGraph-><a class="code" href="classSVF_1_1CFLGraph.html#a9eea8083dbeaf898948595b1d75cfee2">addCFLEdge</a>(cflGraph-><a class="code" href="classSVF_1_1GenericGraph.html#a43c9c773bfa17abf481c33073e30d01b">getGNode</a>(edge->getDstID()), cflGraph-><a class="code" href="classSVF_1_1GenericGraph.html#a43c9c773bfa17abf481c33073e30d01b">getGNode</a>(edge->getSrcID()), label2KindMap[key]);</div><div class="line"><a name="l00120"></a><span class="lineno"> 120</span>  }</div><div class="line"><a name="l00121"></a><span class="lineno"> 121</span>  }</div><div class="line"><a name="l00122"></a><span class="lineno"> 122</span>  <span class="keywordflow">return</span> cflGraph;</div><div class="line"><a name="l00123"></a><span class="lineno"> 123</span>  }</div><div class="line"><a name="l00124"></a><span class="lineno"> 124</span> </div><div class="line"><a name="l00126"></a><span class="lineno"> 126</span>  <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1CFLGraphBuilder.html#ab0d2bd46dd1c3be10c04f573e9365757">build</a>(<a class="code" href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">std::string</a> filename, <a class="code" href="classSVF_1_1CFLGraph.html">CFLGraph</a>* cflGraph);</div><div class="line"><a name="l00127"></a><span class="lineno"> 127</span> </div><div class="line"><a name="l00129"></a><span class="lineno"> 129</span>  <a class="code" href="classSVF_1_1CFLGraph.html">CFLGraph</a> *<a class="code" href="classSVF_1_1CFLGraphBuilder.html#a6c9fa25204550dc5bea1cae52a61472b">buildFromDot</a>(<a class="code" href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">std::string</a> filename, <a class="code" href="classSVF_1_1GrammarBase.html">GrammarBase</a> *grammar);</div><div class="line"><a name="l00130"></a><span class="lineno"> 130</span> </div><div class="line"><a name="l00131"></a><span class="lineno"><a class="line" href="classSVF_1_1CFLGraphBuilder.html#afd384231987ab2be138ddb4a8590bc53"> 131</a></span>  <a class="code" href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">Map<std::string, Kind></a>& <a class="code" href="classSVF_1_1CFLGraphBuilder.html#afd384231987ab2be138ddb4a8590bc53">getLabel2KindMap</a>()</div><div class="line"><a name="l00132"></a><span class="lineno"> 132</span>  {</div><div class="line"><a name="l00133"></a><span class="lineno"> 133</span>  <span class="keywordflow">return</span> this-><a class="code" href="classSVF_1_1CFLGraphBuilder.html#a7117dbeceeef7a9fcaeee0a84a171590">label2KindMap</a>;</div><div class="line"><a name="l00134"></a><span class="lineno"> 134</span>  }</div><div class="line"><a name="l00135"></a><span class="lineno"> 135</span> </div><div class="line"><a name="l00136"></a><span class="lineno"><a class="line" href="classSVF_1_1CFLGraphBuilder.html#ac8482350ceb21d626dcf1f30db737acd"> 136</a></span>  <a class="code" href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">Map<Kind, std::string></a>& <a class="code" href="classSVF_1_1CFLGraphBuilder.html#ac8482350ceb21d626dcf1f30db737acd">getKind2LabelMap</a>()</div><div class="line"><a name="l00137"></a><span class="lineno"> 137</span>  {</div><div class="line"><a name="l00138"></a><span class="lineno"> 138</span>  <span class="keywordflow">return</span> this-><a class="code" href="classSVF_1_1CFLGraphBuilder.html#a461ff21d73f60cf96a3e36672d4c6a6c">kind2LabelMap</a>;</div><div class="line"><a name="l00139"></a><span class="lineno"> 139</span>  }</div><div class="line"><a name="l00140"></a><span class="lineno"> 140</span> </div><div class="line"><a name="l00141"></a><span class="lineno"><a class="line" href="classSVF_1_1CFLGraphBuilder.html#a61d935099e0f8408fb2f2f91001cb2fd"> 141</a></span>  <a class="code" href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">Map<CFLGrammar::Kind, Set<CFLGrammar::Attribute></a>>& <a class="code" href="classSVF_1_1CFLGraphBuilder.html#a61d935099e0f8408fb2f2f91001cb2fd">getKind2AttrsMap</a>()</div><div class="line"><a name="l00142"></a><span class="lineno"> 142</span>  {</div><div class="line"><a name="l00143"></a><span class="lineno"> 143</span>  <span class="keywordflow">return</span> this-><a class="code" href="classSVF_1_1CFLGraphBuilder.html#a5159cea5bc8d69715782ac5f56965a90">kind2AttrsMap</a>;</div><div class="line"><a name="l00144"></a><span class="lineno"> 144</span>  }</div><div class="line"><a name="l00145"></a><span class="lineno"> 145</span> </div><div class="line"><a name="l00146"></a><span class="lineno"> 146</span> </div><div class="line"><a name="l00147"></a><span class="lineno"> 147</span> };</div><div class="line"><a name="l00148"></a><span class="lineno"> 148</span> </div><div class="line"><a name="l00149"></a><span class="lineno"><a class="line" href="classSVF_1_1AliasCFLGraphBuilder.html"> 149</a></span> <span class="keyword">class </span><a class="code" href="classSVF_1_1AliasCFLGraphBuilder.html">AliasCFLGraphBuilder</a> : <span class="keyword">public</span> <a class="code" href="classSVF_1_1CFLGraphBuilder.html">CFLGraphBuilder</a></div><div class="line"><a name="l00150"></a><span class="lineno"> 150</span> {</div><div class="line"><a name="l00151"></a><span class="lineno"> 151</span> <span class="keyword">public</span>:</div><div class="line"><a name="l00153"></a><span class="lineno"> 153</span>  <a class="code" href="classSVF_1_1CFLGraph.html">CFLGraph</a>* <a class="code" href="classSVF_1_1CFLGraphBuilder.html#a0184dc6e00c60106034492d012d0a938">buildBigraph</a>(<a class="code" href="classSVF_1_1ConstraintGraph.html">ConstraintGraph</a> *graph, <a class="code" href="classSVF_1_1CFLGraphBuilder.html#a20299631d2b85507af6d81861736db5e">Kind</a> startKind, <a class="code" href="classSVF_1_1GrammarBase.html">GrammarBase</a> *grammar);</div><div class="line"><a name="l00154"></a><span class="lineno"> 154</span> </div><div class="line"><a name="l00157"></a><span class="lineno"> 157</span>  <a class="code" href="classSVF_1_1CFLGraph.html">CFLGraph</a>* buildBiPEGgraph(<a class="code" href="classSVF_1_1ConstraintGraph.html">ConstraintGraph</a> *graph, <a class="code" href="classSVF_1_1CFLGraphBuilder.html#a20299631d2b85507af6d81861736db5e">Kind</a> startKind, <a class="code" href="classSVF_1_1GrammarBase.html">GrammarBase</a> *grammar, <a class="code" href="classSVF_1_1SVFIR.html">SVFIR</a>* pag);</div><div class="line"><a name="l00158"></a><span class="lineno"> 158</span> };</div><div class="line"><a name="l00159"></a><span class="lineno"> 159</span> </div><div class="line"><a name="l00160"></a><span class="lineno"> 160</span> }<span class="comment">// SVF</span></div><div class="line"><a name="l00161"></a><span class="lineno"> 161</span> </div><div class="line"><a name="l00162"></a><span class="lineno"> 162</span> <span class="preprocessor">#endif </span><span class="comment">/* INCLUDE_CFL_CFLGRAPHBUILDER_H_*/</span><span class="preprocessor"></span></div><div class="ttc" id="classSVF_1_1GenericGraph_html_a0d9744b1b0e7a09a6f7af29188e243b7"><div class="ttname"><a href="classSVF_1_1GenericGraph.html#a0d9744b1b0e7a09a6f7af29188e243b7">SVF::GenericGraph::begin</a></div><div class="ttdeci">iterator begin()</div><div class="ttdoc">Iterators. </div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00365">GenericGraph.h:365</a></div></div>
|
|
69
|
+
<a href="CFLGraphBuilder_8h.html">Go to the documentation of this file.</a><div class="fragment"><div class="line"><a name="l00001"></a><span class="lineno"> 1</span> <span class="comment">//===----- CFLGraphBuilder.h -- CFL Graph Builder --------------//</span></div><div class="line"><a name="l00002"></a><span class="lineno"> 2</span> <span class="comment">//</span></div><div class="line"><a name="l00003"></a><span class="lineno"> 3</span> <span class="comment">// SVF: Static Value-Flow Analysis</span></div><div class="line"><a name="l00004"></a><span class="lineno"> 4</span> <span class="comment">//</span></div><div class="line"><a name="l00005"></a><span class="lineno"> 5</span> <span class="comment">// Copyright (C) <2013-> <Yulei Sui></span></div><div class="line"><a name="l00006"></a><span class="lineno"> 6</span> <span class="comment">//</span></div><div class="line"><a name="l00007"></a><span class="lineno"> 7</span> </div><div class="line"><a name="l00008"></a><span class="lineno"> 8</span> <span class="comment">// This program is free software: you can redistribute it and/or modify</span></div><div class="line"><a name="l00009"></a><span class="lineno"> 9</span> <span class="comment">// it under the terms of the GNU General Public License as published by</span></div><div class="line"><a name="l00010"></a><span class="lineno"> 10</span> <span class="comment">// the Free Software Foundation, either version 3 of the License, or</span></div><div class="line"><a name="l00011"></a><span class="lineno"> 11</span> <span class="comment">// (at your option) any later version.</span></div><div class="line"><a name="l00012"></a><span class="lineno"> 12</span> </div><div class="line"><a name="l00013"></a><span class="lineno"> 13</span> <span class="comment">// This program is distributed in the hope that it will be useful,</span></div><div class="line"><a name="l00014"></a><span class="lineno"> 14</span> <span class="comment">// but WITHOUT ANY WARRANTY; without even the implied warranty of</span></div><div class="line"><a name="l00015"></a><span class="lineno"> 15</span> <span class="comment">// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the</span></div><div class="line"><a name="l00016"></a><span class="lineno"> 16</span> <span class="comment">// GNU General Public License for more details.</span></div><div class="line"><a name="l00017"></a><span class="lineno"> 17</span> </div><div class="line"><a name="l00018"></a><span class="lineno"> 18</span> <span class="comment">// You should have received a copy of the GNU General Public License</span></div><div class="line"><a name="l00019"></a><span class="lineno"> 19</span> <span class="comment">// along with this program. If not, see <http://www.gnu.org/licenses/>.</span></div><div class="line"><a name="l00020"></a><span class="lineno"> 20</span> <span class="comment">//</span></div><div class="line"><a name="l00021"></a><span class="lineno"> 21</span> <span class="comment">//===----------------------------------------------------------------------===//</span></div><div class="line"><a name="l00022"></a><span class="lineno"> 22</span> </div><div class="line"><a name="l00023"></a><span class="lineno"> 23</span> <span class="comment">/*</span></div><div class="line"><a name="l00024"></a><span class="lineno"> 24</span> <span class="comment"> * CFLGraphBuilder.h</span></div><div class="line"><a name="l00025"></a><span class="lineno"> 25</span> <span class="comment"> *</span></div><div class="line"><a name="l00026"></a><span class="lineno"> 26</span> <span class="comment"> * Created on: May 22, 2022</span></div><div class="line"><a name="l00027"></a><span class="lineno"> 27</span> <span class="comment"> * Author: Pei Xu</span></div><div class="line"><a name="l00028"></a><span class="lineno"> 28</span> <span class="comment"> */</span></div><div class="line"><a name="l00029"></a><span class="lineno"> 29</span> </div><div class="line"><a name="l00030"></a><span class="lineno"> 30</span> <span class="preprocessor">#ifndef INCLUDE_CFL_CFLGRAPHBUILDER_H_</span></div><div class="line"><a name="l00031"></a><span class="lineno"> 31</span> <span class="preprocessor">#define INCLUDE_CFL_CFLGRAPHBUILDER_H_</span></div><div class="line"><a name="l00032"></a><span class="lineno"> 32</span> </div><div class="line"><a name="l00033"></a><span class="lineno"> 33</span> <span class="preprocessor">#include "<a class="code" href="CFLGrammar_8h.html">CFL/CFLGrammar.h</a>"</span></div><div class="line"><a name="l00034"></a><span class="lineno"> 34</span> <span class="preprocessor">#include "<a class="code" href="CFLGraph_8h.html">Graphs/CFLGraph.h</a>"</span></div><div class="line"><a name="l00035"></a><span class="lineno"> 35</span> <span class="keyword">namespace </span><a class="code" href="namespaceSVF.html">SVF</a></div><div class="line"><a name="l00036"></a><span class="lineno"> 36</span> {</div><div class="line"><a name="l00037"></a><span class="lineno"> 37</span> </div><div class="line"><a name="l00043"></a><span class="lineno"><a class="line" href="classSVF_1_1CFLGraphBuilder.html"> 43</a></span> <span class="keyword">class </span><a class="code" href="classSVF_1_1CFLGraphBuilder.html">CFLGraphBuilder</a></div><div class="line"><a name="l00044"></a><span class="lineno"> 44</span> {</div><div class="line"><a name="l00045"></a><span class="lineno"> 45</span> <span class="keyword">protected</span>:</div><div class="line"><a name="l00046"></a><span class="lineno"><a class="line" href="classSVF_1_1CFLGraphBuilder.html#a20299631d2b85507af6d81861736db5e"> 46</a></span>  <span class="keyword">typedef</span> <a class="code" href="classSVF_1_1GrammarBase.html#a7aef5c42fbd8a62dd4a541cc0e8e8187">CFLGrammar::Kind</a> <a class="code" href="classSVF_1_1CFLGraphBuilder.html#a20299631d2b85507af6d81861736db5e">Kind</a>;</div><div class="line"><a name="l00047"></a><span class="lineno"><a class="line" href="classSVF_1_1CFLGraphBuilder.html#a36c5b874527e7694f7fb2fd7291da0da"> 47</a></span>  <span class="keyword">typedef</span> <a class="code" href="structSVF_1_1GrammarBase_1_1Symbol.html">CFLGrammar::Symbol</a> <a class="code" href="classSVF_1_1CFLGraphBuilder.html#a36c5b874527e7694f7fb2fd7291da0da">Symbol</a>;</div><div class="line"><a name="l00048"></a><span class="lineno"><a class="line" href="classSVF_1_1CFLGraphBuilder.html#a7117dbeceeef7a9fcaeee0a84a171590"> 48</a></span>  <a class="code" href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">Map<std::string, Kind></a> <a class="code" href="classSVF_1_1CFLGraphBuilder.html#a7117dbeceeef7a9fcaeee0a84a171590">label2KindMap</a>;</div><div class="line"><a name="l00049"></a><span class="lineno"><a class="line" href="classSVF_1_1CFLGraphBuilder.html#a461ff21d73f60cf96a3e36672d4c6a6c"> 49</a></span>  <a class="code" href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">Map<Kind, std::string></a> <a class="code" href="classSVF_1_1CFLGraphBuilder.html#a461ff21d73f60cf96a3e36672d4c6a6c">kind2LabelMap</a>;</div><div class="line"><a name="l00050"></a><span class="lineno"><a class="line" href="classSVF_1_1CFLGraphBuilder.html#a5159cea5bc8d69715782ac5f56965a90"> 50</a></span>  <a class="code" href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">Map<CFLGrammar::Kind, Set<CFLGrammar::Attribute></a>> <a class="code" href="classSVF_1_1CFLGraphBuilder.html#a5159cea5bc8d69715782ac5f56965a90">kind2AttrsMap</a>;</div><div class="line"><a name="l00051"></a><span class="lineno"><a class="line" href="classSVF_1_1CFLGraphBuilder.html#a91f1f0e8abc8d781eaf8b1a4f025c18e"> 51</a></span>  <span class="keywordtype">bool</span> <a class="code" href="classSVF_1_1CFLGraphBuilder.html#a91f1f0e8abc8d781eaf8b1a4f025c18e">externMap</a>;</div><div class="line"><a name="l00052"></a><span class="lineno"><a class="line" href="classSVF_1_1CFLGraphBuilder.html#aad408d6ecb776fd763c9b9221a1bed18"> 52</a></span>  Kind <a class="code" href="classSVF_1_1CFLGraphBuilder.html#aad408d6ecb776fd763c9b9221a1bed18">current</a>;</div><div class="line"><a name="l00053"></a><span class="lineno"> 53</span> </div><div class="line"><a name="l00054"></a><span class="lineno"> 54</span> <span class="keyword">public</span>:</div><div class="line"><a name="l00056"></a><span class="lineno"> 56</span>  <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1CFLGraphBuilder.html#adaa843018284f854ed0ad3bcb1460a01">addAttribute</a>(<a class="code" href="classSVF_1_1GrammarBase.html#a7aef5c42fbd8a62dd4a541cc0e8e8187">CFLGrammar::Kind</a> kind, <a class="code" href="classSVF_1_1GrammarBase.html#ab070e5449d26e347b957d8b994d0303f">CFLGrammar::Attribute</a> attribute);</div><div class="line"><a name="l00057"></a><span class="lineno"> 57</span> </div><div class="line"><a name="l00059"></a><span class="lineno"> 59</span>  <span class="keyword">template</span><<span class="keyword">class</span> N, <span class="keyword">class</span> E></div><div class="line"><a name="l00060"></a><span class="lineno"><a class="line" href="classSVF_1_1CFLGraphBuilder.html#ab0d2bd46dd1c3be10c04f573e9365757"> 60</a></span>  <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1CFLGraphBuilder.html#ab0d2bd46dd1c3be10c04f573e9365757">build</a>(<a class="code" href="classSVF_1_1GenericGraph.html">GenericGraph<N,E></a>* graph, <a class="code" href="classSVF_1_1CFLGraph.html">CFLGraph</a>* cflGraph)</div><div class="line"><a name="l00061"></a><span class="lineno"> 61</span>  {</div><div class="line"><a name="l00062"></a><span class="lineno"> 62</span>  <span class="keywordflow">for</span>(<span class="keyword">auto</span> it = graph-><a class="code" href="classSVF_1_1GenericGraph.html#a0d9744b1b0e7a09a6f7af29188e243b7">begin</a>(); it!= graph-><a class="code" href="classSVF_1_1GenericGraph.html#a4bef15157423cef48dc7333a803cd27d">end</a>(); it++)</div><div class="line"><a name="l00063"></a><span class="lineno"> 63</span>  {</div><div class="line"><a name="l00064"></a><span class="lineno"> 64</span>  <a class="code" href="classSVF_1_1CFLNode.html">CFLNode</a>* node = <span class="keyword">new</span> <a class="code" href="classSVF_1_1CFLNode.html">CFLNode</a>((*it).first);</div><div class="line"><a name="l00065"></a><span class="lineno"> 65</span>  cflGraph-><a class="code" href="classSVF_1_1CFLGraph.html#a58b944d0f2c11868e17223acdb35f82c">addCFLNode</a>((*it).first, node);</div><div class="line"><a name="l00066"></a><span class="lineno"> 66</span>  }</div><div class="line"><a name="l00067"></a><span class="lineno"> 67</span>  <span class="keywordflow">for</span>(<span class="keyword">auto</span> it = graph-><a class="code" href="classSVF_1_1GenericGraph.html#a0d9744b1b0e7a09a6f7af29188e243b7">begin</a>(); it!= graph-><a class="code" href="classSVF_1_1GenericGraph.html#a4bef15157423cef48dc7333a803cd27d">end</a>(); it++)</div><div class="line"><a name="l00068"></a><span class="lineno"> 68</span>  {</div><div class="line"><a name="l00069"></a><span class="lineno"> 69</span>  N* node = (*it).second;</div><div class="line"><a name="l00070"></a><span class="lineno"> 70</span>  <span class="keywordflow">for</span>(E* edge : node->getOutEdges())</div><div class="line"><a name="l00071"></a><span class="lineno"> 71</span>  {</div><div class="line"><a name="l00072"></a><span class="lineno"> 72</span>  cflGraph-><a class="code" href="classSVF_1_1CFLGraph.html#a9eea8083dbeaf898948595b1d75cfee2">addCFLEdge</a>(cflGraph-><a class="code" href="classSVF_1_1GenericGraph.html#a43c9c773bfa17abf481c33073e30d01b">getGNode</a>(edge->getSrcID()), cflGraph-><a class="code" href="classSVF_1_1GenericGraph.html#a43c9c773bfa17abf481c33073e30d01b">getGNode</a>(edge->getDstID()), edge->getEdgeKind());</div><div class="line"><a name="l00073"></a><span class="lineno"> 73</span>  }</div><div class="line"><a name="l00074"></a><span class="lineno"> 74</span>  }</div><div class="line"><a name="l00075"></a><span class="lineno"> 75</span>  }</div><div class="line"><a name="l00076"></a><span class="lineno"> 76</span> </div><div class="line"><a name="l00078"></a><span class="lineno"> 78</span>  <span class="keyword">template</span><<span class="keyword">class</span> N, <span class="keyword">class</span> E></div><div class="line"><a name="l00079"></a><span class="lineno"><a class="line" href="classSVF_1_1CFLGraphBuilder.html#a0184dc6e00c60106034492d012d0a938"> 79</a></span>  <a class="code" href="classSVF_1_1CFLGraph.html">CFLGraph</a>* <a class="code" href="classSVF_1_1CFLGraphBuilder.html#a0184dc6e00c60106034492d012d0a938">buildBigraph</a>(<a class="code" href="classSVF_1_1GenericGraph.html">GenericGraph<N,E></a>* graph, Kind startKind, <a class="code" href="classSVF_1_1GrammarBase.html">GrammarBase</a> *grammar)</div><div class="line"><a name="l00080"></a><span class="lineno"> 80</span>  {</div><div class="line"><a name="l00081"></a><span class="lineno"> 81</span>  <a class="code" href="classSVF_1_1CFLGraph.html">CFLGraph</a> *cflGraph = <span class="keyword">new</span> <a class="code" href="classSVF_1_1CFLGraph.html">CFLGraph</a>(startKind);</div><div class="line"><a name="l00082"></a><span class="lineno"> 82</span>  externMap = <span class="keyword">true</span>;</div><div class="line"><a name="l00083"></a><span class="lineno"> 83</span>  <span class="keywordflow">for</span>(<span class="keyword">auto</span> pairV : grammar-><a class="code" href="classSVF_1_1GrammarBase.html#a44232dfc5b9a13dfe9b72ff18634ab37">getTerminals</a>())</div><div class="line"><a name="l00084"></a><span class="lineno"> 84</span>  {</div><div class="line"><a name="l00085"></a><span class="lineno"> 85</span>  <span class="keywordflow">if</span>(label2KindMap.find(pairV.first) == label2KindMap.end())</div><div class="line"><a name="l00086"></a><span class="lineno"> 86</span>  {</div><div class="line"><a name="l00087"></a><span class="lineno"> 87</span>  label2KindMap.insert(pairV);</div><div class="line"><a name="l00088"></a><span class="lineno"> 88</span>  }</div><div class="line"><a name="l00089"></a><span class="lineno"> 89</span>  <span class="keywordflow">if</span>(kind2LabelMap.find(pairV.second) == kind2LabelMap.end())</div><div class="line"><a name="l00090"></a><span class="lineno"> 90</span>  {</div><div class="line"><a name="l00091"></a><span class="lineno"> 91</span>  kind2LabelMap.insert(make_pair(pairV.second, pairV.first));</div><div class="line"><a name="l00092"></a><span class="lineno"> 92</span>  }</div><div class="line"><a name="l00093"></a><span class="lineno"> 93</span>  }</div><div class="line"><a name="l00094"></a><span class="lineno"> 94</span>  <span class="keywordflow">for</span>(<span class="keyword">auto</span> pairV : grammar-><a class="code" href="classSVF_1_1GrammarBase.html#a04140ef06feee613506529fd8c23665e">getNonterminals</a>())</div><div class="line"><a name="l00095"></a><span class="lineno"> 95</span>  {</div><div class="line"><a name="l00096"></a><span class="lineno"> 96</span>  <span class="keywordflow">if</span>(label2KindMap.find(pairV.first) == label2KindMap.end())</div><div class="line"><a name="l00097"></a><span class="lineno"> 97</span>  {</div><div class="line"><a name="l00098"></a><span class="lineno"> 98</span>  label2KindMap.insert(pairV);</div><div class="line"><a name="l00099"></a><span class="lineno"> 99</span>  }</div><div class="line"><a name="l00100"></a><span class="lineno"> 100</span>  <span class="keywordflow">if</span>(kind2LabelMap.find(pairV.second) == kind2LabelMap.end())</div><div class="line"><a name="l00101"></a><span class="lineno"> 101</span>  {</div><div class="line"><a name="l00102"></a><span class="lineno"> 102</span>  kind2LabelMap.insert(make_pair(pairV.second, pairV.first));</div><div class="line"><a name="l00103"></a><span class="lineno"> 103</span>  }</div><div class="line"><a name="l00104"></a><span class="lineno"> 104</span>  }</div><div class="line"><a name="l00105"></a><span class="lineno"> 105</span>  <span class="keywordflow">for</span>(<span class="keyword">auto</span> it = graph-><a class="code" href="classSVF_1_1GenericGraph.html#a0d9744b1b0e7a09a6f7af29188e243b7">begin</a>(); it!= graph-><a class="code" href="classSVF_1_1GenericGraph.html#a4bef15157423cef48dc7333a803cd27d">end</a>(); it++)</div><div class="line"><a name="l00106"></a><span class="lineno"> 106</span>  {</div><div class="line"><a name="l00107"></a><span class="lineno"> 107</span>  <a class="code" href="classSVF_1_1CFLNode.html">CFLNode</a>* node = <span class="keyword">new</span> <a class="code" href="classSVF_1_1CFLNode.html">CFLNode</a>((*it).first);</div><div class="line"><a name="l00108"></a><span class="lineno"> 108</span>  cflGraph-><a class="code" href="classSVF_1_1CFLGraph.html#a58b944d0f2c11868e17223acdb35f82c">addCFLNode</a>((*it).first, node);</div><div class="line"><a name="l00109"></a><span class="lineno"> 109</span>  }</div><div class="line"><a name="l00110"></a><span class="lineno"> 110</span>  <span class="keywordflow">for</span>(<span class="keyword">auto</span> it = graph-><a class="code" href="classSVF_1_1GenericGraph.html#a0d9744b1b0e7a09a6f7af29188e243b7">begin</a>(); it!= graph-><a class="code" href="classSVF_1_1GenericGraph.html#a4bef15157423cef48dc7333a803cd27d">end</a>(); it++)</div><div class="line"><a name="l00111"></a><span class="lineno"> 111</span>  {</div><div class="line"><a name="l00112"></a><span class="lineno"> 112</span>  N* node = (*it).second;</div><div class="line"><a name="l00113"></a><span class="lineno"> 113</span>  <span class="keywordflow">for</span>(E* edge : node->getOutEdges())</div><div class="line"><a name="l00114"></a><span class="lineno"> 114</span>  {</div><div class="line"><a name="l00115"></a><span class="lineno"> 115</span>  <a class="code" href="classSVF_1_1GrammarBase.html#a7aef5c42fbd8a62dd4a541cc0e8e8187">CFLGrammar::Kind</a> edgeLabel = edge->getEdgeKind();</div><div class="line"><a name="l00116"></a><span class="lineno"> 116</span>  cflGraph-><a class="code" href="classSVF_1_1CFLGraph.html#a9eea8083dbeaf898948595b1d75cfee2">addCFLEdge</a>(cflGraph-><a class="code" href="classSVF_1_1GenericGraph.html#a43c9c773bfa17abf481c33073e30d01b">getGNode</a>(edge->getSrcID()), cflGraph-><a class="code" href="classSVF_1_1GenericGraph.html#a43c9c773bfa17abf481c33073e30d01b">getGNode</a>(edge->getDstID()), edgeLabel);</div><div class="line"><a name="l00117"></a><span class="lineno"> 117</span>  <a class="code" href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">std::string</a> key = kind2LabelMap[edge->getEdgeKind()];</div><div class="line"><a name="l00118"></a><span class="lineno"> 118</span>  key.append(<span class="stringliteral">"bar"</span>);</div><div class="line"><a name="l00119"></a><span class="lineno"> 119</span>  cflGraph-><a class="code" href="classSVF_1_1CFLGraph.html#a9eea8083dbeaf898948595b1d75cfee2">addCFLEdge</a>(cflGraph-><a class="code" href="classSVF_1_1GenericGraph.html#a43c9c773bfa17abf481c33073e30d01b">getGNode</a>(edge->getDstID()), cflGraph-><a class="code" href="classSVF_1_1GenericGraph.html#a43c9c773bfa17abf481c33073e30d01b">getGNode</a>(edge->getSrcID()), label2KindMap[key]);</div><div class="line"><a name="l00120"></a><span class="lineno"> 120</span>  }</div><div class="line"><a name="l00121"></a><span class="lineno"> 121</span>  }</div><div class="line"><a name="l00122"></a><span class="lineno"> 122</span>  <span class="keywordflow">return</span> cflGraph;</div><div class="line"><a name="l00123"></a><span class="lineno"> 123</span>  }</div><div class="line"><a name="l00124"></a><span class="lineno"> 124</span> </div><div class="line"><a name="l00126"></a><span class="lineno"> 126</span>  <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1CFLGraphBuilder.html#ab0d2bd46dd1c3be10c04f573e9365757">build</a>(<a class="code" href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">std::string</a> filename, <a class="code" href="classSVF_1_1CFLGraph.html">CFLGraph</a>* cflGraph);</div><div class="line"><a name="l00127"></a><span class="lineno"> 127</span> </div><div class="line"><a name="l00129"></a><span class="lineno"> 129</span>  <a class="code" href="classSVF_1_1CFLGraph.html">CFLGraph</a> *<a class="code" href="classSVF_1_1CFLGraphBuilder.html#a6c9fa25204550dc5bea1cae52a61472b">buildFromDot</a>(<a class="code" href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">std::string</a> filename, <a class="code" href="classSVF_1_1GrammarBase.html">GrammarBase</a> *grammar);</div><div class="line"><a name="l00130"></a><span class="lineno"> 130</span> </div><div class="line"><a name="l00131"></a><span class="lineno"><a class="line" href="classSVF_1_1CFLGraphBuilder.html#afd384231987ab2be138ddb4a8590bc53"> 131</a></span>  <a class="code" href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">Map<std::string, Kind></a>& <a class="code" href="classSVF_1_1CFLGraphBuilder.html#afd384231987ab2be138ddb4a8590bc53">getLabel2KindMap</a>()</div><div class="line"><a name="l00132"></a><span class="lineno"> 132</span>  {</div><div class="line"><a name="l00133"></a><span class="lineno"> 133</span>  <span class="keywordflow">return</span> this-><a class="code" href="classSVF_1_1CFLGraphBuilder.html#a7117dbeceeef7a9fcaeee0a84a171590">label2KindMap</a>;</div><div class="line"><a name="l00134"></a><span class="lineno"> 134</span>  }</div><div class="line"><a name="l00135"></a><span class="lineno"> 135</span> </div><div class="line"><a name="l00136"></a><span class="lineno"><a class="line" href="classSVF_1_1CFLGraphBuilder.html#ac8482350ceb21d626dcf1f30db737acd"> 136</a></span>  <a class="code" href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">Map<Kind, std::string></a>& <a class="code" href="classSVF_1_1CFLGraphBuilder.html#ac8482350ceb21d626dcf1f30db737acd">getKind2LabelMap</a>()</div><div class="line"><a name="l00137"></a><span class="lineno"> 137</span>  {</div><div class="line"><a name="l00138"></a><span class="lineno"> 138</span>  <span class="keywordflow">return</span> this-><a class="code" href="classSVF_1_1CFLGraphBuilder.html#a461ff21d73f60cf96a3e36672d4c6a6c">kind2LabelMap</a>;</div><div class="line"><a name="l00139"></a><span class="lineno"> 139</span>  }</div><div class="line"><a name="l00140"></a><span class="lineno"> 140</span> </div><div class="line"><a name="l00141"></a><span class="lineno"><a class="line" href="classSVF_1_1CFLGraphBuilder.html#a61d935099e0f8408fb2f2f91001cb2fd"> 141</a></span>  <a class="code" href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">Map<CFLGrammar::Kind, Set<CFLGrammar::Attribute></a>>& <a class="code" href="classSVF_1_1CFLGraphBuilder.html#a61d935099e0f8408fb2f2f91001cb2fd">getKind2AttrsMap</a>()</div><div class="line"><a name="l00142"></a><span class="lineno"> 142</span>  {</div><div class="line"><a name="l00143"></a><span class="lineno"> 143</span>  <span class="keywordflow">return</span> this-><a class="code" href="classSVF_1_1CFLGraphBuilder.html#a5159cea5bc8d69715782ac5f56965a90">kind2AttrsMap</a>;</div><div class="line"><a name="l00144"></a><span class="lineno"> 144</span>  }</div><div class="line"><a name="l00145"></a><span class="lineno"> 145</span> </div><div class="line"><a name="l00146"></a><span class="lineno"> 146</span> </div><div class="line"><a name="l00147"></a><span class="lineno"> 147</span> };</div><div class="line"><a name="l00148"></a><span class="lineno"> 148</span> </div><div class="line"><a name="l00149"></a><span class="lineno"><a class="line" href="classSVF_1_1AliasCFLGraphBuilder.html"> 149</a></span> <span class="keyword">class </span><a class="code" href="classSVF_1_1AliasCFLGraphBuilder.html">AliasCFLGraphBuilder</a> : <span class="keyword">public</span> <a class="code" href="classSVF_1_1CFLGraphBuilder.html">CFLGraphBuilder</a></div><div class="line"><a name="l00150"></a><span class="lineno"> 150</span> {</div><div class="line"><a name="l00151"></a><span class="lineno"> 151</span> <span class="keyword">public</span>:</div><div class="line"><a name="l00153"></a><span class="lineno"> 153</span>  <a class="code" href="classSVF_1_1CFLGraph.html">CFLGraph</a>* <a class="code" href="classSVF_1_1CFLGraphBuilder.html#a0184dc6e00c60106034492d012d0a938">buildBigraph</a>(<a class="code" href="classSVF_1_1ConstraintGraph.html">ConstraintGraph</a> *graph, <a class="code" href="classSVF_1_1CFLGraphBuilder.html#a20299631d2b85507af6d81861736db5e">Kind</a> startKind, <a class="code" href="classSVF_1_1GrammarBase.html">GrammarBase</a> *grammar);</div><div class="line"><a name="l00154"></a><span class="lineno"> 154</span> </div><div class="line"><a name="l00157"></a><span class="lineno"> 157</span>  <a class="code" href="classSVF_1_1CFLGraph.html">CFLGraph</a>* buildBiPEGgraph(<a class="code" href="classSVF_1_1ConstraintGraph.html">ConstraintGraph</a> *graph, <a class="code" href="classSVF_1_1CFLGraphBuilder.html#a20299631d2b85507af6d81861736db5e">Kind</a> startKind, <a class="code" href="classSVF_1_1GrammarBase.html">GrammarBase</a> *grammar, <a class="code" href="classSVF_1_1SVFIR.html">SVFIR</a>* pag);</div><div class="line"><a name="l00158"></a><span class="lineno"> 158</span> </div><div class="line"><a name="l00159"></a><span class="lineno"> 159</span> <span class="keyword">private</span>:</div><div class="line"><a name="l00160"></a><span class="lineno"> 160</span>  <span class="keywordtype">void</span> connectVGep(<a class="code" href="classSVF_1_1CFLGraph.html">CFLGraph</a> *cflGraph, <a class="code" href="classSVF_1_1ConstraintGraph.html">ConstraintGraph</a> *graph, <a class="code" href="classSVF_1_1ConstraintNode.html">ConstraintNode</a> *src, <a class="code" href="classSVF_1_1ConstraintNode.html">ConstraintNode</a> *dst, <a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> level, <a class="code" href="classSVF_1_1SVFIR.html">SVFIR</a>* pag);</div><div class="line"><a name="l00161"></a><span class="lineno"> 161</span> </div><div class="line"><a name="l00163"></a><span class="lineno"> 163</span>  <span class="keywordtype">void</span> addBiCFLEdge(<a class="code" href="classSVF_1_1CFLGraph.html">CFLGraph</a> *cflGraph, <a class="code" href="classSVF_1_1ConstraintNode.html">ConstraintNode</a>* src, <a class="code" href="classSVF_1_1ConstraintNode.html">ConstraintNode</a>* dst, <a class="code" href="classSVF_1_1GrammarBase.html#a7aef5c42fbd8a62dd4a541cc0e8e8187">CFLGrammar::Kind</a> label);</div><div class="line"><a name="l00164"></a><span class="lineno"> 164</span> </div><div class="line"><a name="l00166"></a><span class="lineno"> 166</span>  <span class="keywordtype">void</span> addBiGepCFLEdge(<a class="code" href="classSVF_1_1CFLGraph.html">CFLGraph</a> *cflGraph, <a class="code" href="classSVF_1_1ConstraintNode.html">ConstraintNode</a>* src, <a class="code" href="classSVF_1_1ConstraintNode.html">ConstraintNode</a>* dst, <a class="code" href="classSVF_1_1GrammarBase.html#ab070e5449d26e347b957d8b994d0303f">CFLGrammar::Attribute</a> attri);</div><div class="line"><a name="l00167"></a><span class="lineno"> 167</span> };</div><div class="line"><a name="l00168"></a><span class="lineno"> 168</span> </div><div class="line"><a name="l00169"></a><span class="lineno"> 169</span> }<span class="comment">// SVF</span></div><div class="line"><a name="l00170"></a><span class="lineno"> 170</span> </div><div class="line"><a name="l00171"></a><span class="lineno"> 171</span> <span class="preprocessor">#endif </span><span class="comment">/* INCLUDE_CFL_CFLGRAPHBUILDER_H_*/</span><span class="preprocessor"></span></div><div class="ttc" id="classSVF_1_1GenericGraph_html_a0d9744b1b0e7a09a6f7af29188e243b7"><div class="ttname"><a href="classSVF_1_1GenericGraph.html#a0d9744b1b0e7a09a6f7af29188e243b7">SVF::GenericGraph::begin</a></div><div class="ttdeci">iterator begin()</div><div class="ttdoc">Iterators. </div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00365">GenericGraph.h:365</a></div></div>
|
|
70
70
|
<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>
|
|
71
71
|
<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>
|
|
72
72
|
<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>
|
|
73
73
|
<div class="ttc" id="classSVF_1_1AliasCFLGraphBuilder_html"><div class="ttname"><a href="classSVF_1_1AliasCFLGraphBuilder.html">SVF::AliasCFLGraphBuilder</a></div><div class="ttdef"><b>Definition:</b> <a href="CFLGraphBuilder_8h_source.html#l00149">CFLGraphBuilder.h:149</a></div></div>
|
|
74
74
|
<div class="ttc" id="namespaceSVF_html_a8234d4b959abc9123993bcff4eee34c1"><div class="ttname"><a href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">SVF::Map</a></div><div class="ttdeci">std::unordered_map< Key, Value, Hash, KeyEqual, Allocator > Map</div><div class="ttdef"><b>Definition:</b> <a href="SVFBasicTypes_8h_source.html#l00110">SVFBasicTypes.h:110</a></div></div>
|
|
75
|
+
<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>
|
|
75
76
|
<div class="ttc" id="classSVF_1_1GrammarBase_html_a04140ef06feee613506529fd8c23665e"><div class="ttname"><a href="classSVF_1_1GrammarBase.html#a04140ef06feee613506529fd8c23665e">SVF::GrammarBase::getNonterminals</a></div><div class="ttdeci">Map< std::string, Kind > & getNonterminals()</div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8h_source.html#l00160">CFLGrammar.h:160</a></div></div>
|
|
76
77
|
<div class="ttc" id="classSVF_1_1CFLGraphBuilder_html"><div class="ttname"><a href="classSVF_1_1CFLGraphBuilder.html">SVF::CFLGraphBuilder</a></div><div class="ttdef"><b>Definition:</b> <a href="CFLGraphBuilder_8h_source.html#l00043">CFLGraphBuilder.h:43</a></div></div>
|
|
77
78
|
<div class="ttc" id="classSVF_1_1CFLGraph_html_a9eea8083dbeaf898948595b1d75cfee2"><div class="ttname"><a href="classSVF_1_1CFLGraph.html#a9eea8083dbeaf898948595b1d75cfee2">SVF::CFLGraph::addCFLEdge</a></div><div class="ttdeci">virtual const CFLEdge * addCFLEdge(CFLNode *src, CFLNode *dst, CFLEdge::GEdgeFlag label)</div><div class="ttdef"><b>Definition:</b> <a href="CFLGraph_8cpp_source.html#l00047">CFLGraph.cpp:47</a></div></div>
|
|
@@ -84,6 +85,7 @@ $(function() {
|
|
|
84
85
|
<div class="ttc" id="CFLGrammar_8h_html"><div class="ttname"><a href="CFLGrammar_8h.html">CFLGrammar.h</a></div></div>
|
|
85
86
|
<div class="ttc" id="classSVF_1_1CFLGraphBuilder_html_a6c9fa25204550dc5bea1cae52a61472b"><div class="ttname"><a href="classSVF_1_1CFLGraphBuilder.html#a6c9fa25204550dc5bea1cae52a61472b">SVF::CFLGraphBuilder::buildFromDot</a></div><div class="ttdeci">CFLGraph * buildFromDot(std::string filename, GrammarBase *grammar)</div><div class="ttdoc">Build graph from Dot. </div><div class="ttdef"><b>Definition:</b> <a href="CFLGraphBuilder_8cpp_source.html#l00059">CFLGraphBuilder.cpp:59</a></div></div>
|
|
86
87
|
<div class="ttc" id="classSVF_1_1GrammarBase_html"><div class="ttname"><a href="classSVF_1_1GrammarBase.html">SVF::GrammarBase</a></div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8h_source.html#l00036">CFLGrammar.h:36</a></div></div>
|
|
88
|
+
<div class="ttc" id="classSVF_1_1ConstraintNode_html"><div class="ttname"><a href="classSVF_1_1ConstraintNode.html">SVF::ConstraintNode</a></div><div class="ttdef"><b>Definition:</b> <a href="ConsGNode_8h_source.html#l00040">ConsGNode.h:40</a></div></div>
|
|
87
89
|
<div class="ttc" id="classSVF_1_1CFLGraphBuilder_html_afd384231987ab2be138ddb4a8590bc53"><div class="ttname"><a href="classSVF_1_1CFLGraphBuilder.html#afd384231987ab2be138ddb4a8590bc53">SVF::CFLGraphBuilder::getLabel2KindMap</a></div><div class="ttdeci">Map< std::string, Kind > & getLabel2KindMap()</div><div class="ttdef"><b>Definition:</b> <a href="CFLGraphBuilder_8h_source.html#l00131">CFLGraphBuilder.h:131</a></div></div>
|
|
88
90
|
<div class="ttc" id="classSVF_1_1CFLGraphBuilder_html_ab0d2bd46dd1c3be10c04f573e9365757"><div class="ttname"><a href="classSVF_1_1CFLGraphBuilder.html#ab0d2bd46dd1c3be10c04f573e9365757">SVF::CFLGraphBuilder::build</a></div><div class="ttdeci">void build(GenericGraph< N, E > *graph, CFLGraph *cflGraph)</div><div class="ttdoc">Build graph by copying nodes and edges from any graph inherited from GenericGraph. </div><div class="ttdef"><b>Definition:</b> <a href="CFLGraphBuilder_8h_source.html#l00060">CFLGraphBuilder.h:60</a></div></div>
|
|
89
91
|
<div class="ttc" id="classSVF_1_1CFLGraphBuilder_html_a36c5b874527e7694f7fb2fd7291da0da"><div class="ttname"><a href="classSVF_1_1CFLGraphBuilder.html#a36c5b874527e7694f7fb2fd7291da0da">SVF::CFLGraphBuilder::Symbol</a></div><div class="ttdeci">CFLGrammar::Symbol Symbol</div><div class="ttdef"><b>Definition:</b> <a href="CFLGraphBuilder_8h_source.html#l00047">CFLGraphBuilder.h:47</a></div></div>
|
|
@@ -83,16 +83,14 @@ Variables</h2></td></tr>
|
|
|
83
83
|
<tr class="separator:a36f63c7a581bf6d351f835c6127a2519"><td class="memSeparator" colspan="2"> </td></tr>
|
|
84
84
|
<tr class="memitem:aa92a4b37b902f3a59efef16528e4f905"><td class="memItemLeft" align="right" valign="top">Fbar Copybar </td><td class="memItemRight" valign="bottom"><a class="el" href="PEGGrammar_8txt.html#aa92a4b37b902f3a59efef16528e4f905">Fbar</a></td></tr>
|
|
85
85
|
<tr class="separator:aa92a4b37b902f3a59efef16528e4f905"><td class="memSeparator" colspan="2"> </td></tr>
|
|
86
|
-
<tr class="memitem:
|
|
87
|
-
<tr class="separator:
|
|
88
|
-
<tr class="memitem:a74e2e5aac99754fa661689592e053e27"><td class="memItemLeft" align="right" valign="top">Gepbar_1 <a class="el" href="CFLGrammar_8txt.html#ae239ca8fb918fa812492fe369202225d">Vgepbar</a> <a class="el" href="PEGGrammar_8txt.html#aa92a4b37b902f3a59efef16528e4f905">Fbar</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="PEGGrammar_8txt.html#a74e2e5aac99754fa661689592e053e27">Gepbar_0</a></td></tr>
|
|
89
|
-
<tr class="separator:a74e2e5aac99754fa661689592e053e27"><td class="memSeparator" colspan="2"> </td></tr>
|
|
90
|
-
<tr class="memitem:ace8178aa913f2a15d4b3f12778dfc6f1"><td class="memItemLeft" align="right" valign="top">Gep_3 </td><td class="memItemRight" valign="bottom"><a class="el" href="PEGGrammar_8txt.html#ace8178aa913f2a15d4b3f12778dfc6f1">Gep_0</a></td></tr>
|
|
91
|
-
<tr class="separator:ace8178aa913f2a15d4b3f12778dfc6f1"><td class="memSeparator" colspan="2"> </td></tr>
|
|
86
|
+
<tr class="memitem:ab2278962121baf68c9efd38abb522942"><td class="memItemLeft" align="right" valign="top">ArrayPath Gepbar_0 </td><td class="memItemRight" valign="bottom"><a class="el" href="PEGGrammar_8txt.html#ab2278962121baf68c9efd38abb522942">Gepbar_0</a></td></tr>
|
|
87
|
+
<tr class="separator:ab2278962121baf68c9efd38abb522942"><td class="memSeparator" colspan="2"> </td></tr>
|
|
92
88
|
<tr class="memitem:aceb4ff2aa6371c1133bbcd5309b0bed1"><td class="memItemLeft" align="right" valign="top">Memcpy <a class="el" href="PEGGrammar_8txt.html#a43cf87c9fa668dbee3d5e626a136c8fe">Addrbar</a> V </td><td class="memItemRight" valign="bottom"><a class="el" href="PEGGrammar_8txt.html#aceb4ff2aa6371c1133bbcd5309b0bed1">Addr</a></td></tr>
|
|
93
89
|
<tr class="separator:aceb4ff2aa6371c1133bbcd5309b0bed1"><td class="memSeparator" colspan="2"> </td></tr>
|
|
94
90
|
<tr class="memitem:aa3f2c8659adb9738e29e47d3a607ff1e"><td class="memItemLeft" align="right" valign="top">Memcpy <a class="el" href="PEGGrammar_8txt.html#af184db68cfa45428afdc186dd62e32a3">Gep_i</a> Memcpy </td><td class="memItemRight" valign="bottom"><a class="el" href="PEGGrammar_8txt.html#aa3f2c8659adb9738e29e47d3a607ff1e">Gepbar_i</a></td></tr>
|
|
95
91
|
<tr class="separator:aa3f2c8659adb9738e29e47d3a607ff1e"><td class="memSeparator" colspan="2"> </td></tr>
|
|
92
|
+
<tr class="memitem:aedc3573eed4e9af781034300bff32d69"><td class="memItemLeft" align="right" valign="top">V ArrayPath V </td><td class="memItemRight" valign="bottom"><a class="el" href="PEGGrammar_8txt.html#aedc3573eed4e9af781034300bff32d69">Gep_0</a></td></tr>
|
|
93
|
+
<tr class="separator:aedc3573eed4e9af781034300bff32d69"><td class="memSeparator" colspan="2"> </td></tr>
|
|
96
94
|
</table>
|
|
97
95
|
<h2 class="groupheader">Variable Documentation</h2>
|
|
98
96
|
<a id="ad8c410068267cc7ccd0765a7bd51a2bf"></a>
|
|
@@ -123,7 +121,7 @@ Variables</h2></td></tr>
|
|
|
123
121
|
</table>
|
|
124
122
|
</div><div class="memdoc">
|
|
125
123
|
|
|
126
|
-
<p class="definition">Definition at line <a class="el" href="PEGGrammar_8txt_source.html#
|
|
124
|
+
<p class="definition">Definition at line <a class="el" href="PEGGrammar_8txt_source.html#l00019">19</a> of file <a class="el" href="PEGGrammar_8txt_source.html">PEGGrammar.txt</a>.</p>
|
|
127
125
|
|
|
128
126
|
</div>
|
|
129
127
|
</div>
|
|
@@ -207,19 +205,19 @@ Variables</h2></td></tr>
|
|
|
207
205
|
|
|
208
206
|
</div>
|
|
209
207
|
</div>
|
|
210
|
-
<a id="
|
|
211
|
-
<h2 class="memtitle"><span class="permalink"><a href="#
|
|
208
|
+
<a id="aedc3573eed4e9af781034300bff32d69"></a>
|
|
209
|
+
<h2 class="memtitle"><span class="permalink"><a href="#aedc3573eed4e9af781034300bff32d69">◆ </a></span>Gep_0</h2>
|
|
212
210
|
|
|
213
211
|
<div class="memitem">
|
|
214
212
|
<div class="memproto">
|
|
215
213
|
<table class="memname">
|
|
216
214
|
<tr>
|
|
217
|
-
<td class="memname">V
|
|
215
|
+
<td class="memname">V ArrayPath V Gep_0</td>
|
|
218
216
|
</tr>
|
|
219
217
|
</table>
|
|
220
218
|
</div><div class="memdoc">
|
|
221
219
|
|
|
222
|
-
<p class="definition">Definition at line <a class="el" href="PEGGrammar_8txt_source.html#
|
|
220
|
+
<p class="definition">Definition at line <a class="el" href="PEGGrammar_8txt_source.html#l00024">24</a> of file <a class="el" href="PEGGrammar_8txt_source.html">PEGGrammar.txt</a>.</p>
|
|
223
221
|
|
|
224
222
|
</div>
|
|
225
223
|
</div>
|
|
@@ -239,19 +237,19 @@ Variables</h2></td></tr>
|
|
|
239
237
|
|
|
240
238
|
</div>
|
|
241
239
|
</div>
|
|
242
|
-
<a id="
|
|
243
|
-
<h2 class="memtitle"><span class="permalink"><a href="#
|
|
240
|
+
<a id="ab2278962121baf68c9efd38abb522942"></a>
|
|
241
|
+
<h2 class="memtitle"><span class="permalink"><a href="#ab2278962121baf68c9efd38abb522942">◆ </a></span>Gepbar_0</h2>
|
|
244
242
|
|
|
245
243
|
<div class="memitem">
|
|
246
244
|
<div class="memproto">
|
|
247
245
|
<table class="memname">
|
|
248
246
|
<tr>
|
|
249
|
-
<td class="memname">
|
|
247
|
+
<td class="memname">ArrayPath ArrayPath Gepbar_0</td>
|
|
250
248
|
</tr>
|
|
251
249
|
</table>
|
|
252
250
|
</div><div class="memdoc">
|
|
253
251
|
|
|
254
|
-
<p class="definition">Definition at line <a class="el" href="PEGGrammar_8txt_source.html#
|
|
252
|
+
<p class="definition">Definition at line <a class="el" href="PEGGrammar_8txt_source.html#l00017">17</a> of file <a class="el" href="PEGGrammar_8txt_source.html">PEGGrammar.txt</a>.</p>
|
|
255
253
|
|
|
256
254
|
</div>
|
|
257
255
|
</div>
|
|
@@ -267,7 +265,7 @@ Variables</h2></td></tr>
|
|
|
267
265
|
</table>
|
|
268
266
|
</div><div class="memdoc">
|
|
269
267
|
|
|
270
|
-
<p class="definition">Definition at line <a class="el" href="PEGGrammar_8txt_source.html#
|
|
268
|
+
<p class="definition">Definition at line <a class="el" href="PEGGrammar_8txt_source.html#l00020">20</a> of file <a class="el" href="PEGGrammar_8txt_source.html">PEGGrammar.txt</a>.</p>
|
|
271
269
|
|
|
272
270
|
</div>
|
|
273
271
|
</div>
|
|
@@ -285,22 +283,6 @@ Variables</h2></td></tr>
|
|
|
285
283
|
|
|
286
284
|
<p class="definition">Definition at line <a class="el" href="PEGGrammar_8txt_source.html#l00010">10</a> of file <a class="el" href="PEGGrammar_8txt_source.html">PEGGrammar.txt</a>.</p>
|
|
287
285
|
|
|
288
|
-
</div>
|
|
289
|
-
</div>
|
|
290
|
-
<a id="ab5d65f36b081efc4f36dc7086db1fc2c"></a>
|
|
291
|
-
<h2 class="memtitle"><span class="permalink"><a href="#ab5d65f36b081efc4f36dc7086db1fc2c">◆ </a></span>Vgep</h2>
|
|
292
|
-
|
|
293
|
-
<div class="memitem">
|
|
294
|
-
<div class="memproto">
|
|
295
|
-
<table class="memname">
|
|
296
|
-
<tr>
|
|
297
|
-
<td class="memname"><a class="el" href="CFLGrammar_8txt.html#a92c75ced313339aea5e3e0c9f0726e5a">Gep_1</a> <a class="el" href="PEGGrammar_8txt.html#ace8178aa913f2a15d4b3f12778dfc6f1">Gep_0</a> <a class="el" href="PEGGrammar_8txt.html#acc7b4cf736579c4d83be2316d5a9e5f2">F</a> Vgep</td>
|
|
298
|
-
</tr>
|
|
299
|
-
</table>
|
|
300
|
-
</div><div class="memdoc">
|
|
301
|
-
|
|
302
|
-
<p class="definition">Definition at line <a class="el" href="PEGGrammar_8txt_source.html#l00017">17</a> of file <a class="el" href="PEGGrammar_8txt_source.html">PEGGrammar.txt</a>.</p>
|
|
303
|
-
|
|
304
286
|
</div>
|
|
305
287
|
</div>
|
|
306
288
|
</div><!-- contents -->
|
|
@@ -70,22 +70,25 @@ $(function() {
|
|
|
70
70
|
<p>This is the complete list of members for <a class="el" href="classSVF_1_1AliasCFLGraphBuilder.html">SVF::AliasCFLGraphBuilder</a>, including all inherited members.</p>
|
|
71
71
|
<table class="directory">
|
|
72
72
|
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1CFLGraphBuilder.html#adaa843018284f854ed0ad3bcb1460a01">addAttribute</a>(CFLGrammar::Kind kind, CFLGrammar::Attribute attribute)</td><td class="entry"><a class="el" href="classSVF_1_1CFLGraphBuilder.html">SVF::CFLGraphBuilder</a></td><td class="entry"></td></tr>
|
|
73
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1AliasCFLGraphBuilder.html#ae7a9f2103c68829290c1bd5fd9cde321">addBiCFLEdge</a>(CFLGraph *cflGraph, ConstraintNode *src, ConstraintNode *dst, CFLGrammar::Kind label)</td><td class="entry"><a class="el" href="classSVF_1_1AliasCFLGraphBuilder.html">SVF::AliasCFLGraphBuilder</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
|
|
74
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1AliasCFLGraphBuilder.html#a715213d0b521b676832ec73b38d2014e">addBiGepCFLEdge</a>(CFLGraph *cflGraph, ConstraintNode *src, ConstraintNode *dst, CFLGrammar::Attribute attri)</td><td class="entry"><a class="el" href="classSVF_1_1AliasCFLGraphBuilder.html">SVF::AliasCFLGraphBuilder</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
|
|
73
75
|
<tr><td class="entry"><a class="el" href="classSVF_1_1CFLGraphBuilder.html#ab0d2bd46dd1c3be10c04f573e9365757">build</a>(GenericGraph< N, E > *graph, CFLGraph *cflGraph)</td><td class="entry"><a class="el" href="classSVF_1_1CFLGraphBuilder.html">SVF::CFLGraphBuilder</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
74
76
|
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1CFLGraphBuilder.html#a5944c6a36e150a50a54aedd622c43ff9">build</a>(std::string filename, CFLGraph *cflGraph)</td><td class="entry"><a class="el" href="classSVF_1_1CFLGraphBuilder.html">SVF::CFLGraphBuilder</a></td><td class="entry"></td></tr>
|
|
75
77
|
<tr><td class="entry"><a class="el" href="classSVF_1_1AliasCFLGraphBuilder.html#ab19243c4aceffce7b257f3d8cb3050fd">buildBigraph</a>(ConstraintGraph *graph, Kind startKind, GrammarBase *grammar)</td><td class="entry"><a class="el" href="classSVF_1_1AliasCFLGraphBuilder.html">SVF::AliasCFLGraphBuilder</a></td><td class="entry"></td></tr>
|
|
76
78
|
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1CFLGraphBuilder.html#a0184dc6e00c60106034492d012d0a938">SVF::CFLGraphBuilder::buildBigraph</a>(GenericGraph< N, E > *graph, Kind startKind, GrammarBase *grammar)</td><td class="entry"><a class="el" href="classSVF_1_1CFLGraphBuilder.html">SVF::CFLGraphBuilder</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
77
79
|
<tr><td class="entry"><a class="el" href="classSVF_1_1AliasCFLGraphBuilder.html#ac74b55198d73acebb9843fd13c1fd880">buildBiPEGgraph</a>(ConstraintGraph *graph, Kind startKind, GrammarBase *grammar, SVFIR *pag)</td><td class="entry"><a class="el" href="classSVF_1_1AliasCFLGraphBuilder.html">SVF::AliasCFLGraphBuilder</a></td><td class="entry"></td></tr>
|
|
78
80
|
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1CFLGraphBuilder.html#a6c9fa25204550dc5bea1cae52a61472b">buildFromDot</a>(std::string filename, GrammarBase *grammar)</td><td class="entry"><a class="el" href="classSVF_1_1CFLGraphBuilder.html">SVF::CFLGraphBuilder</a></td><td class="entry"></td></tr>
|
|
79
|
-
<tr><td class="entry"><a class="el" href="
|
|
80
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1CFLGraphBuilder.html#
|
|
81
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1CFLGraphBuilder.html#
|
|
82
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1CFLGraphBuilder.html#
|
|
83
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1CFLGraphBuilder.html#
|
|
84
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1CFLGraphBuilder.html#
|
|
85
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1CFLGraphBuilder.html#
|
|
86
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1CFLGraphBuilder.html#
|
|
87
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1CFLGraphBuilder.html#
|
|
88
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1CFLGraphBuilder.html#
|
|
81
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1AliasCFLGraphBuilder.html#a9feeeca8a919b19693e48d6a382c8871">connectVGep</a>(CFLGraph *cflGraph, ConstraintGraph *graph, ConstraintNode *src, ConstraintNode *dst, u32_t level, SVFIR *pag)</td><td class="entry"><a class="el" href="classSVF_1_1AliasCFLGraphBuilder.html">SVF::AliasCFLGraphBuilder</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
|
|
82
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1CFLGraphBuilder.html#aad408d6ecb776fd763c9b9221a1bed18">current</a></td><td class="entry"><a class="el" href="classSVF_1_1CFLGraphBuilder.html">SVF::CFLGraphBuilder</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
|
|
83
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1CFLGraphBuilder.html#a91f1f0e8abc8d781eaf8b1a4f025c18e">externMap</a></td><td class="entry"><a class="el" href="classSVF_1_1CFLGraphBuilder.html">SVF::CFLGraphBuilder</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
|
|
84
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1CFLGraphBuilder.html#a61d935099e0f8408fb2f2f91001cb2fd">getKind2AttrsMap</a>()</td><td class="entry"><a class="el" href="classSVF_1_1CFLGraphBuilder.html">SVF::CFLGraphBuilder</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
85
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1CFLGraphBuilder.html#ac8482350ceb21d626dcf1f30db737acd">getKind2LabelMap</a>()</td><td class="entry"><a class="el" href="classSVF_1_1CFLGraphBuilder.html">SVF::CFLGraphBuilder</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
86
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1CFLGraphBuilder.html#afd384231987ab2be138ddb4a8590bc53">getLabel2KindMap</a>()</td><td class="entry"><a class="el" href="classSVF_1_1CFLGraphBuilder.html">SVF::CFLGraphBuilder</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
87
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1CFLGraphBuilder.html#a20299631d2b85507af6d81861736db5e">Kind</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1CFLGraphBuilder.html">SVF::CFLGraphBuilder</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
|
|
88
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1CFLGraphBuilder.html#a5159cea5bc8d69715782ac5f56965a90">kind2AttrsMap</a></td><td class="entry"><a class="el" href="classSVF_1_1CFLGraphBuilder.html">SVF::CFLGraphBuilder</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
|
|
89
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1CFLGraphBuilder.html#a461ff21d73f60cf96a3e36672d4c6a6c">kind2LabelMap</a></td><td class="entry"><a class="el" href="classSVF_1_1CFLGraphBuilder.html">SVF::CFLGraphBuilder</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
|
|
90
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1CFLGraphBuilder.html#a7117dbeceeef7a9fcaeee0a84a171590">label2KindMap</a></td><td class="entry"><a class="el" href="classSVF_1_1CFLGraphBuilder.html">SVF::CFLGraphBuilder</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
|
|
91
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1CFLGraphBuilder.html#a36c5b874527e7694f7fb2fd7291da0da">Symbol</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1CFLGraphBuilder.html">SVF::CFLGraphBuilder</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
|
|
89
92
|
</table></div><!-- contents -->
|
|
90
93
|
<!-- start footer part -->
|
|
91
94
|
<hr class="footer"/><address class="footer"><small>
|