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.
- package/SVF-doxygen/html/html/BreakConstantExpr_8h_source.html +1 -2
- package/SVF-doxygen/html/html/CFGNormalizer_8cpp_source.html +11 -10
- package/SVF-doxygen/html/html/CFGNormalizer_8h_source.html +10 -9
- package/SVF-doxygen/html/html/CFLGrammar_8txt.html +37 -37
- package/SVF-doxygen/html/html/CHGBuilder_8cpp_source.html +1 -2
- package/SVF-doxygen/html/html/CHGBuilder_8h_source.html +1 -2
- package/SVF-doxygen/html/html/CPPUtil_8h.html +4 -4
- package/SVF-doxygen/html/html/LLVMModule_8cpp_source.html +1 -2
- package/SVF-doxygen/html/html/MTAResultValidator_8h_source.html +1 -2
- package/SVF-doxygen/html/html/PEGGrammar_8txt.html +37 -138
- package/SVF-doxygen/html/html/SVFUtil_8h.html +1 -1
- package/SVF-doxygen/html/html/SaberCondAllocator_8cpp_source.html +1 -2
- package/SVF-doxygen/html/html/Util_2BasicTypes_8h.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1Andersen.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1AndersenSCD.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1AndersenSFR.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1AndersenWaveDiff.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1BreakConstantGEPs.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1CFGNormalizer-members.html +12 -11
- package/SVF-doxygen/html/html/classSVF_1_1CFGNormalizer.html +63 -28
- package/SVF-doxygen/html/html/classSVF_1_1CFLAlias.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1CHGBuilder.html +7 -10
- package/SVF-doxygen/html/html/classSVF_1_1ExtAPI.html +12 -12
- package/SVF-doxygen/html/html/classSVF_1_1LLVMModuleSet.html +1 -2
- package/SVF-doxygen/html/html/classSVF_1_1MTA.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1MergeFunctionRets.html +2 -3
- package/SVF-doxygen/html/html/classSVF_1_1SVFIRBuilder.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1SaberCheckerAPI.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1ThreadAPI.html +1 -1
- package/SVF-doxygen/html/html/functions_b.html +12 -9
- package/SVF-doxygen/html/html/functions_func_b.html +5 -2
- 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 +6 -6
- package/SVF-doxygen/html/html/functions_o.html +3 -3
- package/SVF-doxygen/html/html/functions_p.html +14 -14
- package/SVF-doxygen/html/html/functions_s.html +7 -7
- package/SVF-doxygen/html/html/functions_w.html +11 -11
- package/SVF-doxygen/html/html/globals_a.html +0 -1
- package/SVF-doxygen/html/html/globals_c.html +5 -6
- package/SVF-doxygen/html/html/globals_e.html +0 -1
- package/SVF-doxygen/html/html/globals_f.html +2 -3
- package/SVF-doxygen/html/html/globals_func.html +3 -0
- package/SVF-doxygen/html/html/globals_g.html +5 -7
- package/SVF-doxygen/html/html/globals_m.html +3 -6
- package/SVF-doxygen/html/html/globals_vars.html +10 -19
- package/SVF-doxygen/html/html/namespaceSVF.html +2 -2
- package/SVF-doxygen/html/html/namespaceSVF_1_1SVFUtil.html +1 -1
- package/SVF-doxygen/html/html/namespaceSVF_1_1cppUtil.html +4 -4
- package/SVF-doxygen/html/html/search/all_1.js +1 -1
- package/SVF-doxygen/html/html/search/all_10.js +6 -6
- package/SVF-doxygen/html/html/search/all_11.js +1 -1
- package/SVF-doxygen/html/html/search/all_12.js +8 -8
- package/SVF-doxygen/html/html/search/all_13.js +4 -4
- package/SVF-doxygen/html/html/search/all_16.js +1 -1
- package/SVF-doxygen/html/html/search/all_2.js +1 -0
- package/SVF-doxygen/html/html/search/all_3.js +1 -1
- package/SVF-doxygen/html/html/search/all_5.js +1 -1
- package/SVF-doxygen/html/html/search/all_6.js +2 -2
- package/SVF-doxygen/html/html/search/all_7.js +4 -4
- 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_d.js +1 -1
- package/SVF-doxygen/html/html/search/all_e.js +1 -1
- package/SVF-doxygen/html/html/search/all_f.js +1 -1
- package/SVF-doxygen/html/html/search/functions_1.js +1 -0
- package/SVF-doxygen/html/html/search/functions_11.js +1 -1
- package/SVF-doxygen/html/html/search/functions_5.js +1 -0
- package/SVF-doxygen/html/html/search/variables_1.js +1 -1
- package/SVF-doxygen/html/html/search/variables_13.js +2 -2
- package/SVF-doxygen/html/html/search/variables_3.js +1 -1
- package/SVF-doxygen/html/html/search/variables_5.js +1 -1
- package/SVF-doxygen/html/html/search/variables_6.js +2 -2
- package/SVF-doxygen/html/html/search/variables_7.js +4 -4
- package/SVF-doxygen/html/html/search/variables_d.js +1 -1
- package/include/CFL/CFGNormalizer.h +3 -1
- package/include/CFL/PEGGrammar.txt +5 -18
- package/lib/CFL/CFGNormalizer.cpp +57 -6
- 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> |
|
|
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"> </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"> </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 </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"> </td></tr>
|
|
72
|
-
<tr class="memitem:a43cf87c9fa668dbee3d5e626a136c8fe"><td class="memItemLeft" align="right" valign="top"
|
|
78
|
+
<tr class="memitem:a43cf87c9fa668dbee3d5e626a136c8fe"><td class="memItemLeft" align="right" valign="top">M <a class="el" href="CFLGrammar_8txt.html#a017fa6c558fa1eff0a13180c8340aba8">Addr</a> V </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"> </td></tr>
|
|
74
|
-
<tr class="memitem:
|
|
75
|
-
<tr class="separator:
|
|
76
|
-
<tr class="memitem:
|
|
77
|
-
<tr class="separator:
|
|
78
|
-
<tr class="memitem:
|
|
79
|
-
<tr class="separator:
|
|
80
|
-
<tr class="memitem:a114c2e5cd44b3ea4720e9191ed819f3b"><td class="memItemLeft" align="right" valign="top">V </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"> </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> </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"> </td></tr>
|
|
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
|
-
<tr class="separator:aa92a4b37b902f3a59efef16528e4f905"><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>
|
|
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>
|
|
89
|
-
<tr class="separator:aceb4ff2aa6371c1133bbcd5309b0bed1"><td class="memSeparator" colspan="2"> </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 </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"> </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>
|
|
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 </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"> </td></tr>
|
|
82
|
+
<tr class="memitem:aaab9e4b252aa2de33bb0019bc388164d"><td class="memItemLeft" align="right" valign="top">ArrayPath Gepbar_0 Gepbar_0 ArrayPath </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"> </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 </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"> </td></tr>
|
|
94
86
|
</table>
|
|
95
|
-
<h2 class="groupheader">
|
|
96
|
-
<a id="
|
|
97
|
-
<h2 class="memtitle"><span class="permalink"><a href="#
|
|
87
|
+
<h2 class="groupheader">Function Documentation</h2>
|
|
88
|
+
<a id="a8cdc0a8a1b4a7aefe08370ca9395993c"></a>
|
|
89
|
+
<h2 class="memtitle"><span class="permalink"><a href="#a8cdc0a8a1b4a7aefe08370ca9395993c">◆ </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">
|
|
95
|
+
<td class="memname">Fbar </td>
|
|
96
|
+
<td>(</td>
|
|
97
|
+
<td class="paramtype">M ? </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
|
-
<
|
|
113
|
-
<
|
|
106
|
+
<h2 class="groupheader">Variable Documentation</h2>
|
|
107
|
+
<a id="ad8c410068267cc7ccd0765a7bd51a2bf"></a>
|
|
108
|
+
<h2 class="memtitle"><span class="permalink"><a href="#ad8c410068267cc7ccd0765a7bd51a2bf">◆ </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">
|
|
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#
|
|
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"
|
|
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">◆ </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">◆ </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">◆ </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="
|
|
193
|
-
<h2 class="memtitle"><span class="permalink"><a href="#
|
|
139
|
+
<a id="aee5c79fee9c1ec4a4aa9d34ab57045a0"></a>
|
|
140
|
+
<h2 class="memtitle"><span class="permalink"><a href="#aee5c79fee9c1ec4a4aa9d34ab57045a0">◆ </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#
|
|
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#
|
|
205
|
-
|
|
206
|
-
</div>
|
|
207
|
-
</div>
|
|
208
|
-
<a id="aedc3573eed4e9af781034300bff32d69"></a>
|
|
209
|
-
<h2 class="memtitle"><span class="permalink"><a href="#aedc3573eed4e9af781034300bff32d69">◆ </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="
|
|
225
|
-
<h2 class="memtitle"><span class="permalink"><a href="#
|
|
155
|
+
<a id="ac43027733e3d0a01bde9269f9d27779a"></a>
|
|
156
|
+
<h2 class="memtitle"><span class="permalink"><a href="#ac43027733e3d0a01bde9269f9d27779a">◆ </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#
|
|
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="
|
|
241
|
-
<h2 class="memtitle"><span class="permalink"><a href="#
|
|
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">◆ </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">◆ </a></span>M</h2>
|
|
171
|
+
<a id="aaab9e4b252aa2de33bb0019bc388164d"></a>
|
|
172
|
+
<h2 class="memtitle"><span class="permalink"><a href="#aaab9e4b252aa2de33bb0019bc388164d">◆ </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"
|
|
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> </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"> </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"> </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> </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="
|
|
283
|
+
<tr class="memitem:a86c1c8bdfc1075c07c631525555194d2"><td class="memItemLeft" align="right" valign="top"><a class="el" href="cJSON_8cpp.html#ae1adbce218e7a9d09164012443191d24">std::string</a> </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"> </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> </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"> </td></tr>
|