svf-tools 1.0.564 → 1.0.565

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (79) hide show
  1. package/SVF-doxygen/html/html/BreakConstantExpr_8h_source.html +1 -2
  2. package/SVF-doxygen/html/html/CFGNormalizer_8cpp_source.html +11 -10
  3. package/SVF-doxygen/html/html/CFGNormalizer_8h_source.html +10 -9
  4. package/SVF-doxygen/html/html/CFLGrammar_8txt.html +37 -37
  5. package/SVF-doxygen/html/html/CHGBuilder_8cpp_source.html +1 -2
  6. package/SVF-doxygen/html/html/CHGBuilder_8h_source.html +1 -2
  7. package/SVF-doxygen/html/html/CPPUtil_8h.html +4 -4
  8. package/SVF-doxygen/html/html/LLVMModule_8cpp_source.html +1 -2
  9. package/SVF-doxygen/html/html/MTAResultValidator_8h_source.html +1 -2
  10. package/SVF-doxygen/html/html/PEGGrammar_8txt.html +37 -138
  11. package/SVF-doxygen/html/html/SVFUtil_8h.html +1 -1
  12. package/SVF-doxygen/html/html/SaberCondAllocator_8cpp_source.html +1 -2
  13. package/SVF-doxygen/html/html/Util_2BasicTypes_8h.html +1 -1
  14. package/SVF-doxygen/html/html/classSVF_1_1Andersen.html +1 -1
  15. package/SVF-doxygen/html/html/classSVF_1_1AndersenSCD.html +1 -1
  16. package/SVF-doxygen/html/html/classSVF_1_1AndersenSFR.html +1 -1
  17. package/SVF-doxygen/html/html/classSVF_1_1AndersenWaveDiff.html +1 -1
  18. package/SVF-doxygen/html/html/classSVF_1_1BreakConstantGEPs.html +1 -1
  19. package/SVF-doxygen/html/html/classSVF_1_1CFGNormalizer-members.html +12 -11
  20. package/SVF-doxygen/html/html/classSVF_1_1CFGNormalizer.html +63 -28
  21. package/SVF-doxygen/html/html/classSVF_1_1CFLAlias.html +1 -1
  22. package/SVF-doxygen/html/html/classSVF_1_1CHGBuilder.html +7 -10
  23. package/SVF-doxygen/html/html/classSVF_1_1ExtAPI.html +12 -12
  24. package/SVF-doxygen/html/html/classSVF_1_1LLVMModuleSet.html +1 -2
  25. package/SVF-doxygen/html/html/classSVF_1_1MTA.html +1 -1
  26. package/SVF-doxygen/html/html/classSVF_1_1MergeFunctionRets.html +2 -3
  27. package/SVF-doxygen/html/html/classSVF_1_1SVFIRBuilder.html +2 -2
  28. package/SVF-doxygen/html/html/classSVF_1_1SaberCheckerAPI.html +1 -1
  29. package/SVF-doxygen/html/html/classSVF_1_1ThreadAPI.html +1 -1
  30. package/SVF-doxygen/html/html/functions_b.html +12 -9
  31. package/SVF-doxygen/html/html/functions_func_b.html +5 -2
  32. package/SVF-doxygen/html/html/functions_func_s.html +1 -1
  33. package/SVF-doxygen/html/html/functions_i.html +3 -3
  34. package/SVF-doxygen/html/html/functions_l.html +6 -6
  35. package/SVF-doxygen/html/html/functions_o.html +3 -3
  36. package/SVF-doxygen/html/html/functions_p.html +14 -14
  37. package/SVF-doxygen/html/html/functions_s.html +7 -7
  38. package/SVF-doxygen/html/html/functions_w.html +11 -11
  39. package/SVF-doxygen/html/html/globals_a.html +0 -1
  40. package/SVF-doxygen/html/html/globals_c.html +5 -6
  41. package/SVF-doxygen/html/html/globals_e.html +0 -1
  42. package/SVF-doxygen/html/html/globals_f.html +2 -3
  43. package/SVF-doxygen/html/html/globals_func.html +3 -0
  44. package/SVF-doxygen/html/html/globals_g.html +5 -7
  45. package/SVF-doxygen/html/html/globals_m.html +3 -6
  46. package/SVF-doxygen/html/html/globals_vars.html +10 -19
  47. package/SVF-doxygen/html/html/namespaceSVF.html +2 -2
  48. package/SVF-doxygen/html/html/namespaceSVF_1_1SVFUtil.html +1 -1
  49. package/SVF-doxygen/html/html/namespaceSVF_1_1cppUtil.html +4 -4
  50. package/SVF-doxygen/html/html/search/all_1.js +1 -1
  51. package/SVF-doxygen/html/html/search/all_10.js +6 -6
  52. package/SVF-doxygen/html/html/search/all_11.js +1 -1
  53. package/SVF-doxygen/html/html/search/all_12.js +8 -8
  54. package/SVF-doxygen/html/html/search/all_13.js +4 -4
  55. package/SVF-doxygen/html/html/search/all_16.js +1 -1
  56. package/SVF-doxygen/html/html/search/all_2.js +1 -0
  57. package/SVF-doxygen/html/html/search/all_3.js +1 -1
  58. package/SVF-doxygen/html/html/search/all_5.js +1 -1
  59. package/SVF-doxygen/html/html/search/all_6.js +2 -2
  60. package/SVF-doxygen/html/html/search/all_7.js +4 -4
  61. package/SVF-doxygen/html/html/search/all_9.js +1 -1
  62. package/SVF-doxygen/html/html/search/all_c.js +3 -3
  63. package/SVF-doxygen/html/html/search/all_d.js +1 -1
  64. package/SVF-doxygen/html/html/search/all_e.js +1 -1
  65. package/SVF-doxygen/html/html/search/all_f.js +1 -1
  66. package/SVF-doxygen/html/html/search/functions_1.js +1 -0
  67. package/SVF-doxygen/html/html/search/functions_11.js +1 -1
  68. package/SVF-doxygen/html/html/search/functions_5.js +1 -0
  69. package/SVF-doxygen/html/html/search/variables_1.js +1 -1
  70. package/SVF-doxygen/html/html/search/variables_13.js +2 -2
  71. package/SVF-doxygen/html/html/search/variables_3.js +1 -1
  72. package/SVF-doxygen/html/html/search/variables_5.js +1 -1
  73. package/SVF-doxygen/html/html/search/variables_6.js +2 -2
  74. package/SVF-doxygen/html/html/search/variables_7.js +4 -4
  75. package/SVF-doxygen/html/html/search/variables_d.js +1 -1
  76. package/include/CFL/CFGNormalizer.h +3 -1
  77. package/include/CFL/PEGGrammar.txt +5 -18
  78. package/lib/CFL/CFGNormalizer.cpp +57 -6
  79. package/package.json +1 -1
@@ -59,69 +59,64 @@ $(function() {
59
59
  </div><!-- top -->
60
60
  <div class="header">
61
61
  <div class="summary">
62
+ <a href="#func-members">Functions</a> &#124;
62
63
  <a href="#var-members">Variables</a> </div>
63
64
  <div class="headertitle">
64
65
  <div class="title">/home/runner/work/SVF/SVF/include/CFL/PEGGrammar.txt File Reference</div> </div>
65
66
  </div><!--header-->
66
67
  <div class="contents">
67
68
  <table class="memberdecls">
69
+ <tr class="heading"><td colspan="2"><h2 class="groupheader"><a name="func-members"></a>
70
+ Functions</h2></td></tr>
71
+ <tr class="memitem:a8cdc0a8a1b4a7aefe08370ca9395993c"><td class="memItemLeft" align="right" valign="top">&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="PEGGrammar_8txt.html#a8cdc0a8a1b4a7aefe08370ca9395993c">Fbar</a> (M ? Copybar) *</td></tr>
72
+ <tr class="separator:a8cdc0a8a1b4a7aefe08370ca9395993c"><td class="memSeparator" colspan="2">&#160;</td></tr>
73
+ </table><table class="memberdecls">
68
74
  <tr class="heading"><td colspan="2"><h2 class="groupheader"><a name="var-members"></a>
69
75
  Variables</h2></td></tr>
70
76
  <tr class="memitem:ad8c410068267cc7ccd0765a7bd51a2bf"><td class="memItemLeft" align="right" valign="top">Start&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="PEGGrammar_8txt.html#ad8c410068267cc7ccd0765a7bd51a2bf">__pad0__</a></td></tr>
71
77
  <tr class="separator:ad8c410068267cc7ccd0765a7bd51a2bf"><td class="memSeparator" colspan="2">&#160;</td></tr>
72
- <tr class="memitem:a43cf87c9fa668dbee3d5e626a136c8fe"><td class="memItemLeft" align="right" valign="top"><a class="el" href="PEGGrammar_8txt.html#abd600039647a1e73c88e7161fa6eb989">M</a> <a class="el" href="PEGGrammar_8txt.html#aceb4ff2aa6371c1133bbcd5309b0bed1">Addr</a> V&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="PEGGrammar_8txt.html#a43cf87c9fa668dbee3d5e626a136c8fe">Addrbar</a></td></tr>
78
+ <tr class="memitem:a43cf87c9fa668dbee3d5e626a136c8fe"><td class="memItemLeft" align="right" valign="top">M <a class="el" href="CFLGrammar_8txt.html#a017fa6c558fa1eff0a13180c8340aba8">Addr</a> V&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="PEGGrammar_8txt.html#a43cf87c9fa668dbee3d5e626a136c8fe">Addrbar</a></td></tr>
73
79
  <tr class="separator:a43cf87c9fa668dbee3d5e626a136c8fe"><td class="memSeparator" colspan="2">&#160;</td></tr>
74
- <tr class="memitem:acc7b4cf736579c4d83be2316d5a9e5f2"><td class="memItemLeft" align="right" valign="top">V <a class="el" href="PEGGrammar_8txt.html#aa92a4b37b902f3a59efef16528e4f905">Fbar</a> V&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="PEGGrammar_8txt.html#acc7b4cf736579c4d83be2316d5a9e5f2">F</a></td></tr>
75
- <tr class="separator:acc7b4cf736579c4d83be2316d5a9e5f2"><td class="memSeparator" colspan="2">&#160;</td></tr>
76
- <tr class="memitem:af184db68cfa45428afdc186dd62e32a3"><td class="memItemLeft" align="right" valign="top">V <a class="el" href="PEGGrammar_8txt.html#aa3f2c8659adb9738e29e47d3a607ff1e">Gepbar_i</a> V&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="PEGGrammar_8txt.html#af184db68cfa45428afdc186dd62e32a3">Gep_i</a></td></tr>
77
- <tr class="separator:af184db68cfa45428afdc186dd62e32a3"><td class="memSeparator" colspan="2">&#160;</td></tr>
78
- <tr class="memitem:abd600039647a1e73c88e7161fa6eb989"><td class="memItemLeft" align="right" valign="top">V&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="PEGGrammar_8txt.html#abd600039647a1e73c88e7161fa6eb989">M</a></td></tr>
79
- <tr class="separator:abd600039647a1e73c88e7161fa6eb989"><td class="memSeparator" colspan="2">&#160;</td></tr>
80
- <tr class="memitem:a114c2e5cd44b3ea4720e9191ed819f3b"><td class="memItemLeft" align="right" valign="top">V&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="PEGGrammar_8txt.html#a114c2e5cd44b3ea4720e9191ed819f3b">epsilon</a></td></tr>
81
- <tr class="separator:a114c2e5cd44b3ea4720e9191ed819f3b"><td class="memSeparator" colspan="2">&#160;</td></tr>
82
- <tr class="memitem:a36f63c7a581bf6d351f835c6127a2519"><td class="memItemLeft" align="right" valign="top"><a class="el" href="PEGGrammar_8txt.html#acc7b4cf736579c4d83be2316d5a9e5f2">F</a> <a class="el" href="PEGGrammar_8txt.html#acc7b4cf736579c4d83be2316d5a9e5f2">F</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="PEGGrammar_8txt.html#a36f63c7a581bf6d351f835c6127a2519">Copy</a></td></tr>
83
- <tr class="separator:a36f63c7a581bf6d351f835c6127a2519"><td class="memSeparator" colspan="2">&#160;</td></tr>
84
- <tr class="memitem:aa92a4b37b902f3a59efef16528e4f905"><td class="memItemLeft" align="right" valign="top">Fbar Copybar&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="PEGGrammar_8txt.html#aa92a4b37b902f3a59efef16528e4f905">Fbar</a></td></tr>
85
- <tr class="separator:aa92a4b37b902f3a59efef16528e4f905"><td class="memSeparator" colspan="2">&#160;</td></tr>
86
- <tr class="memitem:ab2278962121baf68c9efd38abb522942"><td class="memItemLeft" align="right" valign="top">ArrayPath Gepbar_0&#160;</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">&#160;</td></tr>
88
- <tr class="memitem:aceb4ff2aa6371c1133bbcd5309b0bed1"><td class="memItemLeft" align="right" valign="top">Memcpy <a class="el" href="PEGGrammar_8txt.html#a43cf87c9fa668dbee3d5e626a136c8fe">Addrbar</a> V&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="PEGGrammar_8txt.html#aceb4ff2aa6371c1133bbcd5309b0bed1">Addr</a></td></tr>
89
- <tr class="separator:aceb4ff2aa6371c1133bbcd5309b0bed1"><td class="memSeparator" colspan="2">&#160;</td></tr>
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&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="PEGGrammar_8txt.html#aa3f2c8659adb9738e29e47d3a607ff1e">Gepbar_i</a></td></tr>
91
- <tr class="separator:aa3f2c8659adb9738e29e47d3a607ff1e"><td class="memSeparator" colspan="2">&#160;</td></tr>
92
- <tr class="memitem:aedc3573eed4e9af781034300bff32d69"><td class="memItemLeft" align="right" valign="top">V ArrayPath V&#160;</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">&#160;</td></tr>
80
+ <tr class="memitem:ac43027733e3d0a01bde9269f9d27779a"><td class="memItemLeft" align="right" valign="top">V <a class="el" href="PEGGrammar_8txt.html#a8cdc0a8a1b4a7aefe08370ca9395993c">Fbar</a> V <a class="el" href="CFLGrammar_8txt.html#a00967427d1c110ffcc82ea2a966f4564">F</a> <a class="el" href="CFLGrammar_8txt.html#a1e1e10a9f0c4b902df72da76a308ae21">Gepbar_i</a> V <a class="el" href="CFLGrammar_8txt.html#a653086130f70f043218d296d00529455">Gep_i</a> M <a class="el" href="CFLGrammar_8txt.html#a114c2e5cd44b3ea4720e9191ed819f3b">epsilon</a> <a class="el" href="CFLGrammar_8txt.html#a1e1e10a9f0c4b902df72da76a308ae21">Gepbar_i</a> Memcpy <a class="el" href="CFLGrammar_8txt.html#a653086130f70f043218d296d00529455">Gep_i</a> <a class="el" href="CFLGrammar_8txt.html#a653086130f70f043218d296d00529455">Gep_i</a> Memcpy <a class="el" href="CFLGrammar_8txt.html#a1e1e10a9f0c4b902df72da76a308ae21">Gepbar_i</a> ArrayPath V&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="PEGGrammar_8txt.html#ac43027733e3d0a01bde9269f9d27779a">Gep_0</a></td></tr>
81
+ <tr class="separator:ac43027733e3d0a01bde9269f9d27779a"><td class="memSeparator" colspan="2">&#160;</td></tr>
82
+ <tr class="memitem:aaab9e4b252aa2de33bb0019bc388164d"><td class="memItemLeft" align="right" valign="top">ArrayPath Gepbar_0 Gepbar_0 ArrayPath&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="PEGGrammar_8txt.html#aaab9e4b252aa2de33bb0019bc388164d">Gepbar_0</a></td></tr>
83
+ <tr class="separator:aaab9e4b252aa2de33bb0019bc388164d"><td class="memSeparator" colspan="2">&#160;</td></tr>
84
+ <tr class="memitem:aee5c79fee9c1ec4a4aa9d34ab57045a0"><td class="memItemLeft" align="right" valign="top">Memcpy <a class="el" href="PEGGrammar_8txt.html#a43cf87c9fa668dbee3d5e626a136c8fe">Addrbar</a> V <a class="el" href="CFLGrammar_8txt.html#a017fa6c558fa1eff0a13180c8340aba8">Addr</a> <a class="el" href="CFLGrammar_8txt.html#a653086130f70f043218d296d00529455">Gep_i</a> Memcpy <a class="el" href="CFLGrammar_8txt.html#a1e1e10a9f0c4b902df72da76a308ae21">Gepbar_i</a> <a class="el" href="CFLGrammar_8txt.html#a00967427d1c110ffcc82ea2a966f4564">F</a> Memcpy&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="PEGGrammar_8txt.html#aee5c79fee9c1ec4a4aa9d34ab57045a0">Fbar</a></td></tr>
85
+ <tr class="separator:aee5c79fee9c1ec4a4aa9d34ab57045a0"><td class="memSeparator" colspan="2">&#160;</td></tr>
94
86
  </table>
95
- <h2 class="groupheader">Variable Documentation</h2>
96
- <a id="ad8c410068267cc7ccd0765a7bd51a2bf"></a>
97
- <h2 class="memtitle"><span class="permalink"><a href="#ad8c410068267cc7ccd0765a7bd51a2bf">&#9670;&nbsp;</a></span>__pad0__</h2>
87
+ <h2 class="groupheader">Function Documentation</h2>
88
+ <a id="a8cdc0a8a1b4a7aefe08370ca9395993c"></a>
89
+ <h2 class="memtitle"><span class="permalink"><a href="#a8cdc0a8a1b4a7aefe08370ca9395993c">&#9670;&nbsp;</a></span>Fbar()</h2>
98
90
 
99
91
  <div class="memitem">
100
92
  <div class="memproto">
101
93
  <table class="memname">
102
94
  <tr>
103
- <td class="memname">Start __pad0__</td>
95
+ <td class="memname">Fbar </td>
96
+ <td>(</td>
97
+ <td class="paramtype">M ?&#160;</td>
98
+ <td class="paramname"><em>Copybar</em></td><td>)</td>
99
+ <td></td>
104
100
  </tr>
105
101
  </table>
106
102
  </div><div class="memdoc">
107
103
 
108
- <p class="definition">Definition at line <a class="el" href="PEGGrammar_8txt_source.html#l00006">6</a> of file <a class="el" href="PEGGrammar_8txt_source.html">PEGGrammar.txt</a>.</p>
109
-
110
104
  </div>
111
105
  </div>
112
- <a id="aceb4ff2aa6371c1133bbcd5309b0bed1"></a>
113
- <h2 class="memtitle"><span class="permalink"><a href="#aceb4ff2aa6371c1133bbcd5309b0bed1">&#9670;&nbsp;</a></span>Addr</h2>
106
+ <h2 class="groupheader">Variable Documentation</h2>
107
+ <a id="ad8c410068267cc7ccd0765a7bd51a2bf"></a>
108
+ <h2 class="memtitle"><span class="permalink"><a href="#ad8c410068267cc7ccd0765a7bd51a2bf">&#9670;&nbsp;</a></span>__pad0__</h2>
114
109
 
115
110
  <div class="memitem">
116
111
  <div class="memproto">
117
112
  <table class="memname">
118
113
  <tr>
119
- <td class="memname">Memcpy <a class="el" href="PEGGrammar_8txt.html#a43cf87c9fa668dbee3d5e626a136c8fe">Addrbar</a> V Addr</td>
114
+ <td class="memname">Start __pad0__</td>
120
115
  </tr>
121
116
  </table>
122
117
  </div><div class="memdoc">
123
118
 
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>
119
+ <p class="definition">Definition at line <a class="el" href="PEGGrammar_8txt_source.html#l00006">6</a> of file <a class="el" href="PEGGrammar_8txt_source.html">PEGGrammar.txt</a>.</p>
125
120
 
126
121
  </div>
127
122
  </div>
@@ -132,55 +127,7 @@ Variables</h2></td></tr>
132
127
  <div class="memproto">
133
128
  <table class="memname">
134
129
  <tr>
135
- <td class="memname"><a class="el" href="PEGGrammar_8txt.html#abd600039647a1e73c88e7161fa6eb989">M</a> <a class="el" href="PEGGrammar_8txt.html#aceb4ff2aa6371c1133bbcd5309b0bed1">Addr</a> V Addrbar</td>
136
- </tr>
137
- </table>
138
- </div><div class="memdoc">
139
-
140
- <p class="definition">Definition at line <a class="el" href="PEGGrammar_8txt_source.html#l00007">7</a> of file <a class="el" href="PEGGrammar_8txt_source.html">PEGGrammar.txt</a>.</p>
141
-
142
- </div>
143
- </div>
144
- <a id="a36f63c7a581bf6d351f835c6127a2519"></a>
145
- <h2 class="memtitle"><span class="permalink"><a href="#a36f63c7a581bf6d351f835c6127a2519">&#9670;&nbsp;</a></span>Copy</h2>
146
-
147
- <div class="memitem">
148
- <div class="memproto">
149
- <table class="memname">
150
- <tr>
151
- <td class="memname"><a class="el" href="PEGGrammar_8txt.html#acc7b4cf736579c4d83be2316d5a9e5f2">F</a> <a class="el" href="PEGGrammar_8txt.html#acc7b4cf736579c4d83be2316d5a9e5f2">F</a> Copy</td>
152
- </tr>
153
- </table>
154
- </div><div class="memdoc">
155
-
156
- <p class="definition">Definition at line <a class="el" href="PEGGrammar_8txt_source.html#l00012">12</a> of file <a class="el" href="PEGGrammar_8txt_source.html">PEGGrammar.txt</a>.</p>
157
-
158
- </div>
159
- </div>
160
- <a id="a114c2e5cd44b3ea4720e9191ed819f3b"></a>
161
- <h2 class="memtitle"><span class="permalink"><a href="#a114c2e5cd44b3ea4720e9191ed819f3b">&#9670;&nbsp;</a></span>epsilon</h2>
162
-
163
- <div class="memitem">
164
- <div class="memproto">
165
- <table class="memname">
166
- <tr>
167
- <td class="memname"><a class="el" href="PEGGrammar_8txt.html#aa92a4b37b902f3a59efef16528e4f905">Fbar</a> epsilon</td>
168
- </tr>
169
- </table>
170
- </div><div class="memdoc">
171
-
172
- <p class="definition">Definition at line <a class="el" href="PEGGrammar_8txt_source.html#l00011">11</a> of file <a class="el" href="PEGGrammar_8txt_source.html">PEGGrammar.txt</a>.</p>
173
-
174
- </div>
175
- </div>
176
- <a id="acc7b4cf736579c4d83be2316d5a9e5f2"></a>
177
- <h2 class="memtitle"><span class="permalink"><a href="#acc7b4cf736579c4d83be2316d5a9e5f2">&#9670;&nbsp;</a></span>F</h2>
178
-
179
- <div class="memitem">
180
- <div class="memproto">
181
- <table class="memname">
182
- <tr>
183
- <td class="memname">V <a class="el" href="PEGGrammar_8txt.html#aa92a4b37b902f3a59efef16528e4f905">Fbar</a> V F</td>
130
+ <td class="memname">M <a class="el" href="CFLGrammar_8txt.html#a017fa6c558fa1eff0a13180c8340aba8">Addr</a> V Addrbar</td>
184
131
  </tr>
185
132
  </table>
186
133
  </div><div class="memdoc">
@@ -189,46 +136,30 @@ Variables</h2></td></tr>
189
136
 
190
137
  </div>
191
138
  </div>
192
- <a id="aa92a4b37b902f3a59efef16528e4f905"></a>
193
- <h2 class="memtitle"><span class="permalink"><a href="#aa92a4b37b902f3a59efef16528e4f905">&#9670;&nbsp;</a></span>Fbar</h2>
139
+ <a id="aee5c79fee9c1ec4a4aa9d34ab57045a0"></a>
140
+ <h2 class="memtitle"><span class="permalink"><a href="#aee5c79fee9c1ec4a4aa9d34ab57045a0">&#9670;&nbsp;</a></span>Fbar</h2>
194
141
 
195
142
  <div class="memitem">
196
143
  <div class="memproto">
197
144
  <table class="memname">
198
145
  <tr>
199
- <td class="memname">Memcpy <a class="el" href="PEGGrammar_8txt.html#acc7b4cf736579c4d83be2316d5a9e5f2">F</a> Memcpy Fbar</td>
146
+ <td class="memname">Memcpy <a class="el" href="PEGGrammar_8txt.html#a43cf87c9fa668dbee3d5e626a136c8fe">Addrbar</a> V <a class="el" href="CFLGrammar_8txt.html#a017fa6c558fa1eff0a13180c8340aba8">Addr</a> <a class="el" href="CFLGrammar_8txt.html#a653086130f70f043218d296d00529455">Gep_i</a> Memcpy <a class="el" href="CFLGrammar_8txt.html#a1e1e10a9f0c4b902df72da76a308ae21">Gepbar_i</a> <a class="el" href="CFLGrammar_8txt.html#a00967427d1c110ffcc82ea2a966f4564">F</a> Memcpy Fbar</td>
200
147
  </tr>
201
148
  </table>
202
149
  </div><div class="memdoc">
203
150
 
204
- <p class="definition">Definition at line <a class="el" href="PEGGrammar_8txt_source.html#l00015">15</a> of file <a class="el" href="PEGGrammar_8txt_source.html">PEGGrammar.txt</a>.</p>
205
-
206
- </div>
207
- </div>
208
- <a id="aedc3573eed4e9af781034300bff32d69"></a>
209
- <h2 class="memtitle"><span class="permalink"><a href="#aedc3573eed4e9af781034300bff32d69">&#9670;&nbsp;</a></span>Gep_0</h2>
210
-
211
- <div class="memitem">
212
- <div class="memproto">
213
- <table class="memname">
214
- <tr>
215
- <td class="memname">V ArrayPath V Gep_0</td>
216
- </tr>
217
- </table>
218
- </div><div class="memdoc">
219
-
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>
151
+ <p class="definition">Definition at line <a class="el" href="PEGGrammar_8txt_source.html#l00011">11</a> of file <a class="el" href="PEGGrammar_8txt_source.html">PEGGrammar.txt</a>.</p>
221
152
 
222
153
  </div>
223
154
  </div>
224
- <a id="af184db68cfa45428afdc186dd62e32a3"></a>
225
- <h2 class="memtitle"><span class="permalink"><a href="#af184db68cfa45428afdc186dd62e32a3">&#9670;&nbsp;</a></span>Gep_i</h2>
155
+ <a id="ac43027733e3d0a01bde9269f9d27779a"></a>
156
+ <h2 class="memtitle"><span class="permalink"><a href="#ac43027733e3d0a01bde9269f9d27779a">&#9670;&nbsp;</a></span>Gep_0</h2>
226
157
 
227
158
  <div class="memitem">
228
159
  <div class="memproto">
229
160
  <table class="memname">
230
161
  <tr>
231
- <td class="memname">V <a class="el" href="PEGGrammar_8txt.html#aa3f2c8659adb9738e29e47d3a607ff1e">Gepbar_i</a> Memcpy Gep_i</td>
162
+ <td class="memname">V <a class="el" href="PEGGrammar_8txt.html#a8cdc0a8a1b4a7aefe08370ca9395993c">Fbar</a> V <a class="el" href="CFLGrammar_8txt.html#a00967427d1c110ffcc82ea2a966f4564">F</a> <a class="el" href="CFLGrammar_8txt.html#a1e1e10a9f0c4b902df72da76a308ae21">Gepbar_i</a> V <a class="el" href="CFLGrammar_8txt.html#a653086130f70f043218d296d00529455">Gep_i</a> M <a class="el" href="CFLGrammar_8txt.html#a114c2e5cd44b3ea4720e9191ed819f3b">epsilon</a> <a class="el" href="CFLGrammar_8txt.html#a1e1e10a9f0c4b902df72da76a308ae21">Gepbar_i</a> Memcpy <a class="el" href="CFLGrammar_8txt.html#a653086130f70f043218d296d00529455">Gep_i</a> <a class="el" href="CFLGrammar_8txt.html#a653086130f70f043218d296d00529455">Gep_i</a> Memcpy <a class="el" href="CFLGrammar_8txt.html#a1e1e10a9f0c4b902df72da76a308ae21">Gepbar_i</a> ArrayPath V Gep_0</td>
232
163
  </tr>
233
164
  </table>
234
165
  </div><div class="memdoc">
@@ -237,46 +168,14 @@ Variables</h2></td></tr>
237
168
 
238
169
  </div>
239
170
  </div>
240
- <a id="ab2278962121baf68c9efd38abb522942"></a>
241
- <h2 class="memtitle"><span class="permalink"><a href="#ab2278962121baf68c9efd38abb522942">&#9670;&nbsp;</a></span>Gepbar_0</h2>
242
-
243
- <div class="memitem">
244
- <div class="memproto">
245
- <table class="memname">
246
- <tr>
247
- <td class="memname">ArrayPath ArrayPath Gepbar_0</td>
248
- </tr>
249
- </table>
250
- </div><div class="memdoc">
251
-
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>
253
-
254
- </div>
255
- </div>
256
- <a id="aa3f2c8659adb9738e29e47d3a607ff1e"></a>
257
- <h2 class="memtitle"><span class="permalink"><a href="#aa3f2c8659adb9738e29e47d3a607ff1e">&#9670;&nbsp;</a></span>Gepbar_i</h2>
258
-
259
- <div class="memitem">
260
- <div class="memproto">
261
- <table class="memname">
262
- <tr>
263
- <td class="memname">V <a class="el" href="PEGGrammar_8txt.html#af184db68cfa45428afdc186dd62e32a3">Gep_i</a> Memcpy Gepbar_i</td>
264
- </tr>
265
- </table>
266
- </div><div class="memdoc">
267
-
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>
269
-
270
- </div>
271
- </div>
272
- <a id="abd600039647a1e73c88e7161fa6eb989"></a>
273
- <h2 class="memtitle"><span class="permalink"><a href="#abd600039647a1e73c88e7161fa6eb989">&#9670;&nbsp;</a></span>M</h2>
171
+ <a id="aaab9e4b252aa2de33bb0019bc388164d"></a>
172
+ <h2 class="memtitle"><span class="permalink"><a href="#aaab9e4b252aa2de33bb0019bc388164d">&#9670;&nbsp;</a></span>Gepbar_0</h2>
274
173
 
275
174
  <div class="memitem">
276
175
  <div class="memproto">
277
176
  <table class="memname">
278
177
  <tr>
279
- <td class="memname"><a class="el" href="PEGGrammar_8txt.html#acc7b4cf736579c4d83be2316d5a9e5f2">F</a> <a class="el" href="PEGGrammar_8txt.html#acc7b4cf736579c4d83be2316d5a9e5f2">F</a> <a class="el" href="PEGGrammar_8txt.html#a36f63c7a581bf6d351f835c6127a2519">Copy</a> M</td>
178
+ <td class="memname">ArrayPath Gepbar_0 Gepbar_0 ArrayPath Gepbar_0</td>
280
179
  </tr>
281
180
  </table>
282
181
  </div><div class="memdoc">
@@ -280,7 +280,7 @@ Functions</h2></td></tr>
280
280
  <tr class="memitem:a28c0ede7e4765d2a686fc8ae0f5641a4"><td class="memItemLeft" align="right" valign="top"><a class="el" href="cJSON_8cpp.html#ae1adbce218e7a9d09164012443191d24">std::string</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF_1_1SVFUtil.html#a28c0ede7e4765d2a686fc8ae0f5641a4">SVF::SVFUtil::getSourceLoc</a> (const <a class="el" href="namespaceSVF.html#a90b263fd2f541eca78135078114cabda">Value</a> *val)</td></tr>
281
281
  <tr class="memdesc:a28c0ede7e4765d2a686fc8ae0f5641a4"><td class="mdescLeft">&#160;</td><td class="mdescRight">Return source code including line number and file name from debug information. <a href="namespaceSVF_1_1SVFUtil.html#a28c0ede7e4765d2a686fc8ae0f5641a4">More...</a><br /></td></tr>
282
282
  <tr class="separator:a28c0ede7e4765d2a686fc8ae0f5641a4"><td class="memSeparator" colspan="2">&#160;</td></tr>
283
- <tr class="memitem:a86c1c8bdfc1075c07c631525555194d2"><td class="memItemLeft" align="right" valign="top"><a class="el" href="cJSON_8cpp.html#ae1adbce218e7a9d09164012443191d24">std::string</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF_1_1SVFUtil.html#a86c1c8bdfc1075c07c631525555194d2">SVF::SVFUtil::getSourceLocOfFunction</a> (const <a class="el" href="namespaceSVF.html#a5faee14fa1dd41447bc73ac365fe33c1">Function</a> *<a class="el" href="PEGGrammar_8txt.html#acc7b4cf736579c4d83be2316d5a9e5f2">F</a>)</td></tr>
283
+ <tr class="memitem:a86c1c8bdfc1075c07c631525555194d2"><td class="memItemLeft" align="right" valign="top"><a class="el" href="cJSON_8cpp.html#ae1adbce218e7a9d09164012443191d24">std::string</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF_1_1SVFUtil.html#a86c1c8bdfc1075c07c631525555194d2">SVF::SVFUtil::getSourceLocOfFunction</a> (const <a class="el" href="namespaceSVF.html#a5faee14fa1dd41447bc73ac365fe33c1">Function</a> *<a class="el" href="CFLGrammar_8txt.html#a00967427d1c110ffcc82ea2a966f4564">F</a>)</td></tr>
284
284
  <tr class="separator:a86c1c8bdfc1075c07c631525555194d2"><td class="memSeparator" colspan="2">&#160;</td></tr>
285
285
  <tr class="memitem:a7486fd8e5350879ed1cbd835c0d4e191"><td class="memItemLeft" align="right" valign="top">const <a class="el" href="cJSON_8cpp.html#ae1adbce218e7a9d09164012443191d24">std::string</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF_1_1SVFUtil.html#a7486fd8e5350879ed1cbd835c0d4e191">SVF::SVFUtil::value2String</a> (const <a class="el" href="namespaceSVF.html#a90b263fd2f541eca78135078114cabda">Value</a> *value)</td></tr>
286
286
  <tr class="separator:a7486fd8e5350879ed1cbd835c0d4e191"><td class="memSeparator" colspan="2">&#160;</td></tr>