svf-tools 1.0.549 → 1.0.550
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/ExtAPI_8cpp_source.html +38 -41
- package/SVF-doxygen/html/html/ExtAPI_8h_source.html +70 -81
- package/SVF-doxygen/html/html/SVFIRBuilder_8cpp_source.html +2 -4
- package/SVF-doxygen/html/html/SVFIRBuilder_8h_source.html +9 -10
- package/SVF-doxygen/html/html/SVFUtil_8h_source.html +7 -7
- package/SVF-doxygen/html/html/classSVF_1_1ExtAPI-members.html +24 -36
- package/SVF-doxygen/html/html/classSVF_1_1ExtAPI.html +141 -224
- package/SVF-doxygen/html/html/classSVF_1_1ExtAPI_1_1Operation-members.html +8 -7
- package/SVF-doxygen/html/html/classSVF_1_1ExtAPI_1_1Operation.html +81 -56
- package/SVF-doxygen/html/html/classSVF_1_1SVFIRBuilder-members.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1SVFIRBuilder.html +60 -76
- package/SVF-doxygen/html/html/functions_a.html +6 -9
- package/SVF-doxygen/html/html/functions_c.html +2 -2
- package/SVF-doxygen/html/html/functions_e.html +2 -35
- package/SVF-doxygen/html/html/functions_enum.html +0 -3
- package/SVF-doxygen/html/html/functions_eval_e.html +0 -30
- package/SVF-doxygen/html/html/functions_f.html +3 -3
- package/SVF-doxygen/html/html/functions_func_g.html +20 -17
- package/SVF-doxygen/html/html/functions_func_o.html +1 -1
- package/SVF-doxygen/html/html/functions_func_p.html +3 -3
- package/SVF-doxygen/html/html/functions_func_s.html +10 -13
- package/SVF-doxygen/html/html/functions_g.html +21 -18
- package/SVF-doxygen/html/html/functions_i.html +6 -6
- package/SVF-doxygen/html/html/functions_l.html +3 -3
- package/SVF-doxygen/html/html/functions_o.html +20 -17
- package/SVF-doxygen/html/html/functions_p.html +12 -14
- package/SVF-doxygen/html/html/functions_r.html +7 -5
- package/SVF-doxygen/html/html/functions_s.html +22 -23
- package/SVF-doxygen/html/html/functions_t.html +7 -5
- package/SVF-doxygen/html/html/functions_v.html +6 -6
- package/SVF-doxygen/html/html/functions_vars_a.html +0 -3
- package/SVF-doxygen/html/html/functions_vars_o.html +7 -4
- package/SVF-doxygen/html/html/search/all_1.js +0 -1
- package/SVF-doxygen/html/html/search/all_10.js +10 -10
- package/SVF-doxygen/html/html/search/all_11.js +2 -2
- package/SVF-doxygen/html/html/search/all_12.js +7 -8
- package/SVF-doxygen/html/html/search/all_13.js +2 -2
- package/SVF-doxygen/html/html/search/all_14.js +1 -1
- package/SVF-doxygen/html/html/search/all_15.js +3 -3
- package/SVF-doxygen/html/html/search/all_16.js +1 -1
- package/SVF-doxygen/html/html/search/all_3.js +1 -1
- package/SVF-doxygen/html/html/search/all_5.js +0 -11
- package/SVF-doxygen/html/html/search/all_6.js +1 -1
- package/SVF-doxygen/html/html/search/all_7.js +5 -4
- package/SVF-doxygen/html/html/search/all_9.js +2 -2
- package/SVF-doxygen/html/html/search/all_c.js +3 -3
- package/SVF-doxygen/html/html/search/all_e.js +4 -4
- package/SVF-doxygen/html/html/search/all_f.js +6 -4
- package/SVF-doxygen/html/html/search/enums_3.js +0 -1
- package/SVF-doxygen/html/html/search/enumvalues_4.js +1 -11
- package/SVF-doxygen/html/html/search/functions_11.js +1 -2
- package/SVF-doxygen/html/html/search/functions_6.js +5 -4
- package/SVF-doxygen/html/html/search/functions_e.js +1 -1
- package/SVF-doxygen/html/html/search/functions_f.js +2 -2
- package/SVF-doxygen/html/html/search/variables_1.js +0 -1
- package/SVF-doxygen/html/html/search/variables_13.js +1 -1
- package/SVF-doxygen/html/html/search/variables_14.js +1 -1
- package/SVF-doxygen/html/html/search/variables_e.js +3 -3
- package/SVF-doxygen/html/html/search/variables_f.js +3 -2
- package/include/SVF-FE/SVFIRBuilder.h +1 -1
- package/include/Util/ExtAPI.h +17 -42
- package/include/Util/ExtAPI.json +1013 -989
- package/lib/SVF-FE/SVFIRBuilder.cpp +122 -222
- package/lib/Util/ExtAPI.cpp +53 -68
- package/package.json +1 -1
|
@@ -69,14 +69,15 @@ $(function() {
|
|
|
69
69
|
|
|
70
70
|
<p>This is the complete list of members for <a class="el" href="classSVF_1_1ExtAPI_1_1Operation.html">SVF::ExtAPI::Operation</a>, including all inherited members.</p>
|
|
71
71
|
<table class="directory">
|
|
72
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ExtAPI_1_1Operation.html#
|
|
73
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1ExtAPI_1_1Operation.html#
|
|
74
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ExtAPI_1_1Operation.html#
|
|
75
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1ExtAPI_1_1Operation.html#
|
|
72
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ExtAPI_1_1Operation.html#aca70af83508022bb19bcefaf007a4467">getOperands</a>()</td><td class="entry"><a class="el" href="classSVF_1_1ExtAPI_1_1Operation.html">SVF::ExtAPI::Operation</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
73
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1ExtAPI_1_1Operation.html#ae2b5f412aae6d3aa1c769579b377636a">getOperandStr</a>()</td><td class="entry"><a class="el" href="classSVF_1_1ExtAPI_1_1Operation.html">SVF::ExtAPI::Operation</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
74
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ExtAPI_1_1Operation.html#a2344036fc095c47072ee4c1fb4955745">getOperator</a>()</td><td class="entry"><a class="el" href="classSVF_1_1ExtAPI_1_1Operation.html">SVF::ExtAPI::Operation</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
75
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1ExtAPI_1_1Operation.html#a1e8979a53cf1edb5df00a5f28b6c19e9">op</a></td><td class="entry"><a class="el" href="classSVF_1_1ExtAPI_1_1Operation.html">SVF::ExtAPI::Operation</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
|
|
76
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ExtAPI_1_1Operation.html#ae3539c507b6284b849c136418507e72b">operands</a></td><td class="entry"><a class="el" href="classSVF_1_1ExtAPI_1_1Operation.html">SVF::ExtAPI::Operation</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
|
|
77
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1ExtAPI_1_1Operation.html#a56d03123021f1f628361a4080fa573ce">operandStr</a></td><td class="entry"><a class="el" href="classSVF_1_1ExtAPI_1_1Operation.html">SVF::ExtAPI::Operation</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
|
|
76
78
|
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ExtAPI_1_1Operation.html#a453f37464f5c6261e22e845948f36c94">Operation</a>()</td><td class="entry"><a class="el" href="classSVF_1_1ExtAPI_1_1Operation.html">SVF::ExtAPI::Operation</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
77
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1ExtAPI_1_1Operation.html#
|
|
78
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ExtAPI_1_1Operation.html#
|
|
79
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1ExtAPI_1_1Operation.html#ab602429a772a2d6942cfb18eef10a09a">setOperation</a>(std::string op)</td><td class="entry"><a class="el" href="classSVF_1_1ExtAPI_1_1Operation.html">SVF::ExtAPI::Operation</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
79
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1ExtAPI_1_1Operation.html#a6fe4cc69b9181548940cbc67f7b6b315">Operation</a>(std::string opn, std::vector< std::string > varstr)</td><td class="entry"><a class="el" href="classSVF_1_1ExtAPI_1_1Operation.html">SVF::ExtAPI::Operation</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
80
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ExtAPI_1_1Operation.html#a901c5524219bee81a00414d7c92c26f8">setOperands</a>(std::vector< NodeID > vars)</td><td class="entry"><a class="el" href="classSVF_1_1ExtAPI_1_1Operation.html">SVF::ExtAPI::Operation</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
80
81
|
</table></div><!-- contents -->
|
|
81
82
|
<!-- start footer part -->
|
|
82
83
|
<hr class="footer"/><address class="footer"><small>
|
|
@@ -77,27 +77,29 @@ $(function() {
|
|
|
77
77
|
Public Member Functions</h2></td></tr>
|
|
78
78
|
<tr class="memitem:a453f37464f5c6261e22e845948f36c94"><td class="memItemLeft" align="right" valign="top"> </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1ExtAPI_1_1Operation.html#a453f37464f5c6261e22e845948f36c94">Operation</a> ()</td></tr>
|
|
79
79
|
<tr class="separator:a453f37464f5c6261e22e845948f36c94"><td class="memSeparator" colspan="2"> </td></tr>
|
|
80
|
-
<tr class="memitem:
|
|
81
|
-
<tr class="separator:
|
|
82
|
-
<tr class="memitem:
|
|
83
|
-
<tr class="separator:
|
|
84
|
-
<tr class="memitem:
|
|
85
|
-
<tr class="separator:
|
|
86
|
-
<tr class="memitem:
|
|
87
|
-
<tr class="separator:
|
|
88
|
-
<tr class="memitem:
|
|
89
|
-
<tr class="separator:
|
|
80
|
+
<tr class="memitem:a6fe4cc69b9181548940cbc67f7b6b315"><td class="memItemLeft" align="right" valign="top"> </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1ExtAPI_1_1Operation.html#a6fe4cc69b9181548940cbc67f7b6b315">Operation</a> (<a class="el" href="cJSON_8cpp.html#ae1adbce218e7a9d09164012443191d24">std::string</a> opn, std::vector< <a class="el" href="cJSON_8cpp.html#ae1adbce218e7a9d09164012443191d24">std::string</a> > varstr)</td></tr>
|
|
81
|
+
<tr class="separator:a6fe4cc69b9181548940cbc67f7b6b315"><td class="memSeparator" colspan="2"> </td></tr>
|
|
82
|
+
<tr class="memitem:a2344036fc095c47072ee4c1fb4955745"><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="classSVF_1_1ExtAPI_1_1Operation.html#a2344036fc095c47072ee4c1fb4955745">getOperator</a> ()</td></tr>
|
|
83
|
+
<tr class="separator:a2344036fc095c47072ee4c1fb4955745"><td class="memSeparator" colspan="2"> </td></tr>
|
|
84
|
+
<tr class="memitem:ae2b5f412aae6d3aa1c769579b377636a"><td class="memItemLeft" align="right" valign="top">std::vector< <a class="el" href="cJSON_8cpp.html#ae1adbce218e7a9d09164012443191d24">std::string</a> > </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1ExtAPI_1_1Operation.html#ae2b5f412aae6d3aa1c769579b377636a">getOperandStr</a> ()</td></tr>
|
|
85
|
+
<tr class="separator:ae2b5f412aae6d3aa1c769579b377636a"><td class="memSeparator" colspan="2"> </td></tr>
|
|
86
|
+
<tr class="memitem:aca70af83508022bb19bcefaf007a4467"><td class="memItemLeft" align="right" valign="top">std::vector< <a class="el" href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">NodeID</a> > </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1ExtAPI_1_1Operation.html#aca70af83508022bb19bcefaf007a4467">getOperands</a> ()</td></tr>
|
|
87
|
+
<tr class="separator:aca70af83508022bb19bcefaf007a4467"><td class="memSeparator" colspan="2"> </td></tr>
|
|
88
|
+
<tr class="memitem:a901c5524219bee81a00414d7c92c26f8"><td class="memItemLeft" align="right" valign="top">void </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1ExtAPI_1_1Operation.html#a901c5524219bee81a00414d7c92c26f8">setOperands</a> (std::vector< <a class="el" href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">NodeID</a> > vars)</td></tr>
|
|
89
|
+
<tr class="separator:a901c5524219bee81a00414d7c92c26f8"><td class="memSeparator" colspan="2"> </td></tr>
|
|
90
90
|
</table><table class="memberdecls">
|
|
91
91
|
<tr class="heading"><td colspan="2"><h2 class="groupheader"><a name="pri-attribs"></a>
|
|
92
92
|
Private Attributes</h2></td></tr>
|
|
93
|
-
<tr class="memitem:
|
|
94
|
-
<tr class="separator:
|
|
95
|
-
<tr class="memitem:
|
|
96
|
-
<tr class="separator:
|
|
93
|
+
<tr class="memitem:a1e8979a53cf1edb5df00a5f28b6c19e9"><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="classSVF_1_1ExtAPI_1_1Operation.html#a1e8979a53cf1edb5df00a5f28b6c19e9">op</a></td></tr>
|
|
94
|
+
<tr class="separator:a1e8979a53cf1edb5df00a5f28b6c19e9"><td class="memSeparator" colspan="2"> </td></tr>
|
|
95
|
+
<tr class="memitem:a56d03123021f1f628361a4080fa573ce"><td class="memItemLeft" align="right" valign="top">std::vector< <a class="el" href="cJSON_8cpp.html#ae1adbce218e7a9d09164012443191d24">std::string</a> > </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1ExtAPI_1_1Operation.html#a56d03123021f1f628361a4080fa573ce">operandStr</a></td></tr>
|
|
96
|
+
<tr class="separator:a56d03123021f1f628361a4080fa573ce"><td class="memSeparator" colspan="2"> </td></tr>
|
|
97
|
+
<tr class="memitem:ae3539c507b6284b849c136418507e72b"><td class="memItemLeft" align="right" valign="top">std::vector< <a class="el" href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">NodeID</a> > </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1ExtAPI_1_1Operation.html#ae3539c507b6284b849c136418507e72b">operands</a></td></tr>
|
|
98
|
+
<tr class="separator:ae3539c507b6284b849c136418507e72b"><td class="memSeparator" colspan="2"> </td></tr>
|
|
97
99
|
</table>
|
|
98
100
|
<a name="details" id="details"></a><h2 class="groupheader">Detailed Description</h2>
|
|
99
101
|
<div class="textblock">
|
|
100
|
-
<p class="definition">Definition at line <a class="el" href="ExtAPI_8h_source.html#
|
|
102
|
+
<p class="definition">Definition at line <a class="el" href="ExtAPI_8h_source.html#l00202">202</a> of file <a class="el" href="ExtAPI_8h_source.html">ExtAPI.h</a>.</p>
|
|
101
103
|
</div><h2 class="groupheader">Constructor & Destructor Documentation</h2>
|
|
102
104
|
<a id="a453f37464f5c6261e22e845948f36c94"></a>
|
|
103
105
|
<h2 class="memtitle"><span class="permalink"><a href="#a453f37464f5c6261e22e845948f36c94">◆ </a></span>Operation() <span class="overload">[1/2]</span></h2>
|
|
@@ -122,12 +124,12 @@ Private Attributes</h2></td></tr>
|
|
|
122
124
|
</table>
|
|
123
125
|
</div><div class="memdoc">
|
|
124
126
|
|
|
125
|
-
<p class="definition">Definition at line <a class="el" href="ExtAPI_8h_source.html#
|
|
126
|
-
<div class="fragment"><div class="line"><a name="
|
|
127
|
+
<p class="definition">Definition at line <a class="el" href="ExtAPI_8h_source.html#l00205">205</a> of file <a class="el" href="ExtAPI_8h_source.html">ExtAPI.h</a>.</p>
|
|
128
|
+
<div class="fragment"><div class="line"><a name="l00205"></a><span class="lineno"> 205</span> {};</div></div><!-- fragment -->
|
|
127
129
|
</div>
|
|
128
130
|
</div>
|
|
129
|
-
<a id="
|
|
130
|
-
<h2 class="memtitle"><span class="permalink"><a href="#
|
|
131
|
+
<a id="a6fe4cc69b9181548940cbc67f7b6b315"></a>
|
|
132
|
+
<h2 class="memtitle"><span class="permalink"><a href="#a6fe4cc69b9181548940cbc67f7b6b315">◆ </a></span>Operation() <span class="overload">[2/2]</span></h2>
|
|
131
133
|
|
|
132
134
|
<div class="memitem">
|
|
133
135
|
<div class="memproto">
|
|
@@ -139,13 +141,13 @@ Private Attributes</h2></td></tr>
|
|
|
139
141
|
<td class="memname">SVF::ExtAPI::Operation::Operation </td>
|
|
140
142
|
<td>(</td>
|
|
141
143
|
<td class="paramtype"><a class="el" href="cJSON_8cpp.html#ae1adbce218e7a9d09164012443191d24">std::string</a> </td>
|
|
142
|
-
<td class="paramname"><em>
|
|
144
|
+
<td class="paramname"><em>opn</em>, </td>
|
|
143
145
|
</tr>
|
|
144
146
|
<tr>
|
|
145
147
|
<td class="paramkey"></td>
|
|
146
148
|
<td></td>
|
|
147
149
|
<td class="paramtype">std::vector< <a class="el" href="cJSON_8cpp.html#ae1adbce218e7a9d09164012443191d24">std::string</a> > </td>
|
|
148
|
-
<td class="paramname"><em>
|
|
150
|
+
<td class="paramname"><em>varstr</em> </td>
|
|
149
151
|
</tr>
|
|
150
152
|
<tr>
|
|
151
153
|
<td></td>
|
|
@@ -160,15 +162,15 @@ Private Attributes</h2></td></tr>
|
|
|
160
162
|
</table>
|
|
161
163
|
</div><div class="memdoc">
|
|
162
164
|
|
|
163
|
-
<p class="definition">Definition at line <a class="el" href="ExtAPI_8h_source.html#
|
|
164
|
-
<div class="fragment"><div class="line"><a name="
|
|
165
|
-
<div class="ttc" id="
|
|
165
|
+
<p class="definition">Definition at line <a class="el" href="ExtAPI_8h_source.html#l00207">207</a> of file <a class="el" href="ExtAPI_8h_source.html">ExtAPI.h</a>.</p>
|
|
166
|
+
<div class="fragment"><div class="line"><a name="l00207"></a><span class="lineno"> 207</span> : <a class="code" href="classSVF_1_1ExtAPI_1_1Operation.html#a1e8979a53cf1edb5df00a5f28b6c19e9">op</a>(opn), <a class="code" href="classSVF_1_1ExtAPI_1_1Operation.html#a56d03123021f1f628361a4080fa573ce">operandStr</a>(varstr) {};</div><div class="ttc" id="classSVF_1_1ExtAPI_1_1Operation_html_a56d03123021f1f628361a4080fa573ce"><div class="ttname"><a href="classSVF_1_1ExtAPI_1_1Operation.html#a56d03123021f1f628361a4080fa573ce">SVF::ExtAPI::Operation::operandStr</a></div><div class="ttdeci">std::vector< std::string > operandStr</div><div class="ttdef"><b>Definition:</b> <a href="ExtAPI_8h_source.html#l00231">ExtAPI.h:231</a></div></div>
|
|
167
|
+
<div class="ttc" id="classSVF_1_1ExtAPI_1_1Operation_html_a1e8979a53cf1edb5df00a5f28b6c19e9"><div class="ttname"><a href="classSVF_1_1ExtAPI_1_1Operation.html#a1e8979a53cf1edb5df00a5f28b6c19e9">SVF::ExtAPI::Operation::op</a></div><div class="ttdeci">std::string op</div><div class="ttdef"><b>Definition:</b> <a href="ExtAPI_8h_source.html#l00230">ExtAPI.h:230</a></div></div>
|
|
166
168
|
</div><!-- fragment -->
|
|
167
169
|
</div>
|
|
168
170
|
</div>
|
|
169
171
|
<h2 class="groupheader">Member Function Documentation</h2>
|
|
170
|
-
<a id="
|
|
171
|
-
<h2 class="memtitle"><span class="permalink"><a href="#
|
|
172
|
+
<a id="aca70af83508022bb19bcefaf007a4467"></a>
|
|
173
|
+
<h2 class="memtitle"><span class="permalink"><a href="#aca70af83508022bb19bcefaf007a4467">◆ </a></span>getOperands()</h2>
|
|
172
174
|
|
|
173
175
|
<div class="memitem">
|
|
174
176
|
<div class="memproto">
|
|
@@ -177,7 +179,7 @@ Private Attributes</h2></td></tr>
|
|
|
177
179
|
<td class="mlabels-left">
|
|
178
180
|
<table class="memname">
|
|
179
181
|
<tr>
|
|
180
|
-
<td class="memname">std::vector<<a class="el" href="
|
|
182
|
+
<td class="memname">std::vector<<a class="el" href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">NodeID</a>> SVF::ExtAPI::Operation::getOperands </td>
|
|
181
183
|
<td>(</td>
|
|
182
184
|
<td class="paramname"></td><td>)</td>
|
|
183
185
|
<td></td>
|
|
@@ -190,13 +192,13 @@ Private Attributes</h2></td></tr>
|
|
|
190
192
|
</table>
|
|
191
193
|
</div><div class="memdoc">
|
|
192
194
|
|
|
193
|
-
<p class="definition">Definition at line <a class="el" href="ExtAPI_8h_source.html#
|
|
194
|
-
<div class="fragment"><div class="line"><a name="
|
|
195
|
+
<p class="definition">Definition at line <a class="el" href="ExtAPI_8h_source.html#l00219">219</a> of file <a class="el" href="ExtAPI_8h_source.html">ExtAPI.h</a>.</p>
|
|
196
|
+
<div class="fragment"><div class="line"><a name="l00220"></a><span class="lineno"> 220</span>  {</div><div class="line"><a name="l00221"></a><span class="lineno"> 221</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1ExtAPI_1_1Operation.html#ae3539c507b6284b849c136418507e72b">operands</a>;</div><div class="line"><a name="l00222"></a><span class="lineno"> 222</span>  }</div><div class="ttc" id="classSVF_1_1ExtAPI_1_1Operation_html_ae3539c507b6284b849c136418507e72b"><div class="ttname"><a href="classSVF_1_1ExtAPI_1_1Operation.html#ae3539c507b6284b849c136418507e72b">SVF::ExtAPI::Operation::operands</a></div><div class="ttdeci">std::vector< NodeID > operands</div><div class="ttdef"><b>Definition:</b> <a href="ExtAPI_8h_source.html#l00232">ExtAPI.h:232</a></div></div>
|
|
195
197
|
</div><!-- fragment -->
|
|
196
198
|
</div>
|
|
197
199
|
</div>
|
|
198
|
-
<a id="
|
|
199
|
-
<h2 class="memtitle"><span class="permalink"><a href="#
|
|
200
|
+
<a id="ae2b5f412aae6d3aa1c769579b377636a"></a>
|
|
201
|
+
<h2 class="memtitle"><span class="permalink"><a href="#ae2b5f412aae6d3aa1c769579b377636a">◆ </a></span>getOperandStr()</h2>
|
|
200
202
|
|
|
201
203
|
<div class="memitem">
|
|
202
204
|
<div class="memproto">
|
|
@@ -205,7 +207,7 @@ Private Attributes</h2></td></tr>
|
|
|
205
207
|
<td class="mlabels-left">
|
|
206
208
|
<table class="memname">
|
|
207
209
|
<tr>
|
|
208
|
-
<td class="memname"
|
|
210
|
+
<td class="memname">std::vector<<a class="el" href="cJSON_8cpp.html#ae1adbce218e7a9d09164012443191d24">std::string</a>> SVF::ExtAPI::Operation::getOperandStr </td>
|
|
209
211
|
<td>(</td>
|
|
210
212
|
<td class="paramname"></td><td>)</td>
|
|
211
213
|
<td></td>
|
|
@@ -218,13 +220,13 @@ Private Attributes</h2></td></tr>
|
|
|
218
220
|
</table>
|
|
219
221
|
</div><div class="memdoc">
|
|
220
222
|
|
|
221
|
-
<p class="definition">Definition at line <a class="el" href="ExtAPI_8h_source.html#
|
|
222
|
-
<div class="fragment"><div class="line"><a name="
|
|
223
|
+
<p class="definition">Definition at line <a class="el" href="ExtAPI_8h_source.html#l00214">214</a> of file <a class="el" href="ExtAPI_8h_source.html">ExtAPI.h</a>.</p>
|
|
224
|
+
<div class="fragment"><div class="line"><a name="l00215"></a><span class="lineno"> 215</span>  {</div><div class="line"><a name="l00216"></a><span class="lineno"> 216</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1ExtAPI_1_1Operation.html#a56d03123021f1f628361a4080fa573ce">operandStr</a>;</div><div class="line"><a name="l00217"></a><span class="lineno"> 217</span>  }</div><div class="ttc" id="classSVF_1_1ExtAPI_1_1Operation_html_a56d03123021f1f628361a4080fa573ce"><div class="ttname"><a href="classSVF_1_1ExtAPI_1_1Operation.html#a56d03123021f1f628361a4080fa573ce">SVF::ExtAPI::Operation::operandStr</a></div><div class="ttdeci">std::vector< std::string > operandStr</div><div class="ttdef"><b>Definition:</b> <a href="ExtAPI_8h_source.html#l00231">ExtAPI.h:231</a></div></div>
|
|
223
225
|
</div><!-- fragment -->
|
|
224
226
|
</div>
|
|
225
227
|
</div>
|
|
226
|
-
<a id="
|
|
227
|
-
<h2 class="memtitle"><span class="permalink"><a href="#
|
|
228
|
+
<a id="a2344036fc095c47072ee4c1fb4955745"></a>
|
|
229
|
+
<h2 class="memtitle"><span class="permalink"><a href="#a2344036fc095c47072ee4c1fb4955745">◆ </a></span>getOperator()</h2>
|
|
228
230
|
|
|
229
231
|
<div class="memitem">
|
|
230
232
|
<div class="memproto">
|
|
@@ -233,10 +235,9 @@ Private Attributes</h2></td></tr>
|
|
|
233
235
|
<td class="mlabels-left">
|
|
234
236
|
<table class="memname">
|
|
235
237
|
<tr>
|
|
236
|
-
<td class="memname">
|
|
238
|
+
<td class="memname"><a class="el" href="cJSON_8cpp.html#ae1adbce218e7a9d09164012443191d24">std::string</a> SVF::ExtAPI::Operation::getOperator </td>
|
|
237
239
|
<td>(</td>
|
|
238
|
-
<td class="
|
|
239
|
-
<td class="paramname"><em>ags</em></td><td>)</td>
|
|
240
|
+
<td class="paramname"></td><td>)</td>
|
|
240
241
|
<td></td>
|
|
241
242
|
</tr>
|
|
242
243
|
</table>
|
|
@@ -247,13 +248,13 @@ Private Attributes</h2></td></tr>
|
|
|
247
248
|
</table>
|
|
248
249
|
</div><div class="memdoc">
|
|
249
250
|
|
|
250
|
-
<p class="definition">Definition at line <a class="el" href="ExtAPI_8h_source.html#
|
|
251
|
-
<div class="fragment"><div class="line"><a name="
|
|
251
|
+
<p class="definition">Definition at line <a class="el" href="ExtAPI_8h_source.html#l00209">209</a> of file <a class="el" href="ExtAPI_8h_source.html">ExtAPI.h</a>.</p>
|
|
252
|
+
<div class="fragment"><div class="line"><a name="l00210"></a><span class="lineno"> 210</span>  {</div><div class="line"><a name="l00211"></a><span class="lineno"> 211</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1ExtAPI_1_1Operation.html#a1e8979a53cf1edb5df00a5f28b6c19e9">op</a>;</div><div class="line"><a name="l00212"></a><span class="lineno"> 212</span>  }</div><div class="ttc" id="classSVF_1_1ExtAPI_1_1Operation_html_a1e8979a53cf1edb5df00a5f28b6c19e9"><div class="ttname"><a href="classSVF_1_1ExtAPI_1_1Operation.html#a1e8979a53cf1edb5df00a5f28b6c19e9">SVF::ExtAPI::Operation::op</a></div><div class="ttdeci">std::string op</div><div class="ttdef"><b>Definition:</b> <a href="ExtAPI_8h_source.html#l00230">ExtAPI.h:230</a></div></div>
|
|
252
253
|
</div><!-- fragment -->
|
|
253
254
|
</div>
|
|
254
255
|
</div>
|
|
255
|
-
<a id="
|
|
256
|
-
<h2 class="memtitle"><span class="permalink"><a href="#
|
|
256
|
+
<a id="a901c5524219bee81a00414d7c92c26f8"></a>
|
|
257
|
+
<h2 class="memtitle"><span class="permalink"><a href="#a901c5524219bee81a00414d7c92c26f8">◆ </a></span>setOperands()</h2>
|
|
257
258
|
|
|
258
259
|
<div class="memitem">
|
|
259
260
|
<div class="memproto">
|
|
@@ -262,10 +263,10 @@ Private Attributes</h2></td></tr>
|
|
|
262
263
|
<td class="mlabels-left">
|
|
263
264
|
<table class="memname">
|
|
264
265
|
<tr>
|
|
265
|
-
<td class="memname">void SVF::ExtAPI::Operation::
|
|
266
|
+
<td class="memname">void SVF::ExtAPI::Operation::setOperands </td>
|
|
266
267
|
<td>(</td>
|
|
267
|
-
<td class="paramtype"
|
|
268
|
-
<td class="paramname"><em>
|
|
268
|
+
<td class="paramtype">std::vector< <a class="el" href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">NodeID</a> > </td>
|
|
269
|
+
<td class="paramname"><em>vars</em></td><td>)</td>
|
|
269
270
|
<td></td>
|
|
270
271
|
</tr>
|
|
271
272
|
</table>
|
|
@@ -276,14 +277,14 @@ Private Attributes</h2></td></tr>
|
|
|
276
277
|
</table>
|
|
277
278
|
</div><div class="memdoc">
|
|
278
279
|
|
|
279
|
-
<p class="definition">Definition at line <a class="el" href="ExtAPI_8h_source.html#
|
|
280
|
-
<div class="fragment"><div class="line"><a name="
|
|
280
|
+
<p class="definition">Definition at line <a class="el" href="ExtAPI_8h_source.html#l00224">224</a> of file <a class="el" href="ExtAPI_8h_source.html">ExtAPI.h</a>.</p>
|
|
281
|
+
<div class="fragment"><div class="line"><a name="l00225"></a><span class="lineno"> 225</span>  {</div><div class="line"><a name="l00226"></a><span class="lineno"> 226</span>  <a class="code" href="classSVF_1_1ExtAPI_1_1Operation.html#ae3539c507b6284b849c136418507e72b">operands</a> = vars;</div><div class="line"><a name="l00227"></a><span class="lineno"> 227</span>  }</div><div class="ttc" id="classSVF_1_1ExtAPI_1_1Operation_html_ae3539c507b6284b849c136418507e72b"><div class="ttname"><a href="classSVF_1_1ExtAPI_1_1Operation.html#ae3539c507b6284b849c136418507e72b">SVF::ExtAPI::Operation::operands</a></div><div class="ttdeci">std::vector< NodeID > operands</div><div class="ttdef"><b>Definition:</b> <a href="ExtAPI_8h_source.html#l00232">ExtAPI.h:232</a></div></div>
|
|
281
282
|
</div><!-- fragment -->
|
|
282
283
|
</div>
|
|
283
284
|
</div>
|
|
284
285
|
<h2 class="groupheader">Member Data Documentation</h2>
|
|
285
|
-
<a id="
|
|
286
|
-
<h2 class="memtitle"><span class="permalink"><a href="#
|
|
286
|
+
<a id="a1e8979a53cf1edb5df00a5f28b6c19e9"></a>
|
|
287
|
+
<h2 class="memtitle"><span class="permalink"><a href="#a1e8979a53cf1edb5df00a5f28b6c19e9">◆ </a></span>op</h2>
|
|
287
288
|
|
|
288
289
|
<div class="memitem">
|
|
289
290
|
<div class="memproto">
|
|
@@ -292,7 +293,7 @@ Private Attributes</h2></td></tr>
|
|
|
292
293
|
<td class="mlabels-left">
|
|
293
294
|
<table class="memname">
|
|
294
295
|
<tr>
|
|
295
|
-
<td class="memname"
|
|
296
|
+
<td class="memname"><a class="el" href="cJSON_8cpp.html#ae1adbce218e7a9d09164012443191d24">std::string</a> SVF::ExtAPI::Operation::op</td>
|
|
296
297
|
</tr>
|
|
297
298
|
</table>
|
|
298
299
|
</td>
|
|
@@ -302,12 +303,36 @@ Private Attributes</h2></td></tr>
|
|
|
302
303
|
</table>
|
|
303
304
|
</div><div class="memdoc">
|
|
304
305
|
|
|
305
|
-
<p class="definition">Definition at line <a class="el" href="ExtAPI_8h_source.html#
|
|
306
|
+
<p class="definition">Definition at line <a class="el" href="ExtAPI_8h_source.html#l00230">230</a> of file <a class="el" href="ExtAPI_8h_source.html">ExtAPI.h</a>.</p>
|
|
307
|
+
|
|
308
|
+
</div>
|
|
309
|
+
</div>
|
|
310
|
+
<a id="ae3539c507b6284b849c136418507e72b"></a>
|
|
311
|
+
<h2 class="memtitle"><span class="permalink"><a href="#ae3539c507b6284b849c136418507e72b">◆ </a></span>operands</h2>
|
|
312
|
+
|
|
313
|
+
<div class="memitem">
|
|
314
|
+
<div class="memproto">
|
|
315
|
+
<table class="mlabels">
|
|
316
|
+
<tr>
|
|
317
|
+
<td class="mlabels-left">
|
|
318
|
+
<table class="memname">
|
|
319
|
+
<tr>
|
|
320
|
+
<td class="memname">std::vector<<a class="el" href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">NodeID</a>> SVF::ExtAPI::Operation::operands</td>
|
|
321
|
+
</tr>
|
|
322
|
+
</table>
|
|
323
|
+
</td>
|
|
324
|
+
<td class="mlabels-right">
|
|
325
|
+
<span class="mlabels"><span class="mlabel">private</span></span> </td>
|
|
326
|
+
</tr>
|
|
327
|
+
</table>
|
|
328
|
+
</div><div class="memdoc">
|
|
329
|
+
|
|
330
|
+
<p class="definition">Definition at line <a class="el" href="ExtAPI_8h_source.html#l00232">232</a> of file <a class="el" href="ExtAPI_8h_source.html">ExtAPI.h</a>.</p>
|
|
306
331
|
|
|
307
332
|
</div>
|
|
308
333
|
</div>
|
|
309
|
-
<a id="
|
|
310
|
-
<h2 class="memtitle"><span class="permalink"><a href="#
|
|
334
|
+
<a id="a56d03123021f1f628361a4080fa573ce"></a>
|
|
335
|
+
<h2 class="memtitle"><span class="permalink"><a href="#a56d03123021f1f628361a4080fa573ce">◆ </a></span>operandStr</h2>
|
|
311
336
|
|
|
312
337
|
<div class="memitem">
|
|
313
338
|
<div class="memproto">
|
|
@@ -316,7 +341,7 @@ Private Attributes</h2></td></tr>
|
|
|
316
341
|
<td class="mlabels-left">
|
|
317
342
|
<table class="memname">
|
|
318
343
|
<tr>
|
|
319
|
-
<td class="memname"
|
|
344
|
+
<td class="memname">std::vector<<a class="el" href="cJSON_8cpp.html#ae1adbce218e7a9d09164012443191d24">std::string</a>> SVF::ExtAPI::Operation::operandStr</td>
|
|
320
345
|
</tr>
|
|
321
346
|
</table>
|
|
322
347
|
</td>
|
|
@@ -326,7 +351,7 @@ Private Attributes</h2></td></tr>
|
|
|
326
351
|
</table>
|
|
327
352
|
</div><div class="memdoc">
|
|
328
353
|
|
|
329
|
-
<p class="definition">Definition at line <a class="el" href="ExtAPI_8h_source.html#
|
|
354
|
+
<p class="definition">Definition at line <a class="el" href="ExtAPI_8h_source.html#l00231">231</a> of file <a class="el" href="ExtAPI_8h_source.html">ExtAPI.h</a>.</p>
|
|
330
355
|
|
|
331
356
|
</div>
|
|
332
357
|
</div>
|
|
@@ -114,7 +114,7 @@ $(function() {
|
|
|
114
114
|
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIRBuilder.html#ae7fcd2050a57a43bfed2c7fd1c41d250">InitialGlobal</a>(const GlobalVariable *gvar, Constant *C, u32_t offset)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIRBuilder.html">SVF::SVFIRBuilder</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
|
|
115
115
|
<tr><td class="entry"><a class="el" href="classSVF_1_1SVFIRBuilder.html#af4b18e8e1fdfb117cb5dd1a81cea4b71">initialiseNodes</a>()</td><td class="entry"><a class="el" href="classSVF_1_1SVFIRBuilder.html">SVF::SVFIRBuilder</a></td><td class="entry"></td></tr>
|
|
116
116
|
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIRBuilder.html#a4ea94b0a8d6da904ff9a6c1b0341b9cb">pag</a></td><td class="entry"><a class="el" href="classSVF_1_1SVFIRBuilder.html">SVF::SVFIRBuilder</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
|
|
117
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1SVFIRBuilder.html#
|
|
117
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1SVFIRBuilder.html#a8f4716f34bc0738ed9dec756113f0a37">parseOperations</a>(std::vector< ExtAPI::Operation > &operations, CallSite cs)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIRBuilder.html">SVF::SVFIRBuilder</a></td><td class="entry"><span class="mlabel">protected</span><span class="mlabel">virtual</span></td></tr>
|
|
118
118
|
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIRBuilder.html#a5adf8baa546292434ba1fec48db2d0a7">processCE</a>(const Value *val)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIRBuilder.html">SVF::SVFIRBuilder</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
|
|
119
119
|
<tr><td class="entry"><a class="el" href="classSVF_1_1SVFIRBuilder.html#a09baa8c7246853c3faaed85b38f0da60">sanityCheck</a>()</td><td class="entry"><a class="el" href="classSVF_1_1SVFIRBuilder.html">SVF::SVFIRBuilder</a></td><td class="entry"></td></tr>
|
|
120
120
|
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIRBuilder.html#abc394c99f0905c958a230412134eda01">setCurrentBBAndValueForPAGEdge</a>(PAGEdge *edge)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIRBuilder.html">SVF::SVFIRBuilder</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
|