svf-tools 1.0.621 → 1.0.623
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/ConditionalPT_8h_source.html +1 -1
- package/SVF-doxygen/html/html/ExtAPI_8cpp_source.html +19 -19
- package/SVF-doxygen/html/html/ExtAPI_8h_source.html +52 -52
- package/SVF-doxygen/html/html/IntervalValue_8h_source.html +17 -15
- package/SVF-doxygen/html/html/LLVMModule_8cpp_source.html +1 -1
- package/SVF-doxygen/html/html/MSSAMuChi_8h_source.html +2 -2
- package/SVF-doxygen/html/html/MemRegion_8cpp_source.html +1 -1
- package/SVF-doxygen/html/html/PointsTo_8cpp_source.html +3 -3
- package/SVF-doxygen/html/html/PointsTo_8h_source.html +3 -3
- package/SVF-doxygen/html/html/SVFGOPT_8h_source.html +3 -3
- package/SVF-doxygen/html/html/SVFG_8cpp_source.html +22 -22
- package/SVF-doxygen/html/html/SVFG_8h_source.html +37 -36
- package/SVF-doxygen/html/html/SVFIRBuilder_8cpp_source.html +1 -1
- package/SVF-doxygen/html/html/SVFValue_8h_source.html +1 -1
- package/SVF-doxygen/html/html/SparseBitVector_8h_source.html +3 -3
- package/SVF-doxygen/html/html/VersionedFlowSensitive_8cpp_source.html +2 -2
- package/SVF-doxygen/html/html/WTO_8h_source.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1ExtAPI.html +83 -83
- package/SVF-doxygen/html/html/classSVF_1_1ExtAPI_1_1Operation.html +17 -17
- package/SVF-doxygen/html/html/classSVF_1_1IntervalValue-members.html +5 -4
- package/SVF-doxygen/html/html/classSVF_1_1IntervalValue.html +32 -0
- package/SVF-doxygen/html/html/classSVF_1_1LLVMModuleSet.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1SVFG-members.html +96 -95
- package/SVF-doxygen/html/html/classSVF_1_1SVFG.html +157 -121
- package/SVF-doxygen/html/html/classSVF_1_1SVFGOPT-members.html +116 -115
- package/SVF-doxygen/html/html/classSVF_1_1SVFGOPT.html +13 -10
- package/SVF-doxygen/html/html/classSVF_1_1SVFIRBuilder.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1VersionedFlowSensitive.html +2 -2
- package/SVF-doxygen/html/html/fastcluster__dm_8cpp_8inc_source.html +1 -1
- package/SVF-doxygen/html/html/functions_c.html +6 -6
- package/SVF-doxygen/html/html/functions_func_h.html +7 -4
- package/SVF-doxygen/html/html/functions_func_i.html +2 -2
- package/SVF-doxygen/html/html/functions_func_t.html +1 -0
- package/SVF-doxygen/html/html/functions_h.html +5 -2
- package/SVF-doxygen/html/html/functions_i.html +4 -4
- 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 +9 -15
- package/SVF-doxygen/html/html/functions_s.html +15 -13
- package/SVF-doxygen/html/html/functions_t.html +7 -6
- package/SVF-doxygen/html/html/functions_v.html +3 -3
- package/SVF-doxygen/html/html/namespaceSVF.html +30 -30
- package/SVF-doxygen/html/html/search/all_10.js +5 -5
- package/SVF-doxygen/html/html/search/all_11.js +2 -2
- package/SVF-doxygen/html/html/search/all_12.js +8 -8
- package/SVF-doxygen/html/html/search/all_13.js +5 -5
- package/SVF-doxygen/html/html/search/all_15.js +2 -2
- package/SVF-doxygen/html/html/search/all_16.js +1 -1
- package/SVF-doxygen/html/html/search/all_3.js +2 -2
- package/SVF-doxygen/html/html/search/all_7.js +1 -1
- package/SVF-doxygen/html/html/search/all_8.js +1 -0
- package/SVF-doxygen/html/html/search/all_9.js +3 -3
- package/SVF-doxygen/html/html/search/all_b.js +1 -1
- package/SVF-doxygen/html/html/search/all_c.js +1 -1
- package/SVF-doxygen/html/html/search/all_f.js +1 -1
- package/SVF-doxygen/html/html/search/functions_11.js +1 -1
- package/SVF-doxygen/html/html/search/functions_12.js +1 -1
- package/SVF-doxygen/html/html/search/functions_7.js +1 -0
- package/SVF-doxygen/html/html/search/functions_8.js +1 -1
- package/SVF-doxygen/html/html/search/variables_13.js +3 -3
- package/SVF-doxygen/html/html/search/variables_7.js +1 -1
- package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01SVF_1_1SVFG_01_5_01_4.html +2 -2
- package/include/AbstractExecution/IntervalValue.h +5 -0
- package/include/Graphs/SVFG.h +6 -0
- package/include/Util/ExtAPI.h +65 -40
- package/package.json +1 -1
|
@@ -99,7 +99,7 @@ Private Attributes</h2></td></tr>
|
|
|
99
99
|
</table>
|
|
100
100
|
<a name="details" id="details"></a><h2 class="groupheader">Detailed Description</h2>
|
|
101
101
|
<div class="textblock">
|
|
102
|
-
<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#l00227">227</a> of file <a class="el" href="ExtAPI_8h_source.html">ExtAPI.h</a>.</p>
|
|
103
103
|
</div><h2 class="groupheader">Constructor & Destructor Documentation</h2>
|
|
104
104
|
<a id="a453f37464f5c6261e22e845948f36c94"></a>
|
|
105
105
|
<h2 class="memtitle"><span class="permalink"><a href="#a453f37464f5c6261e22e845948f36c94">◆ </a></span>Operation() <span class="overload">[1/2]</span></h2>
|
|
@@ -124,8 +124,8 @@ Private Attributes</h2></td></tr>
|
|
|
124
124
|
</table>
|
|
125
125
|
</div><div class="memdoc">
|
|
126
126
|
|
|
127
|
-
<p class="definition">Definition at line <a class="el" href="ExtAPI_8h_source.html#
|
|
128
|
-
<div class="fragment"><div class="line"><a name="
|
|
127
|
+
<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>
|
|
128
|
+
<div class="fragment"><div class="line"><a name="l00230"></a><span class="lineno"> 230</span> {};</div></div><!-- fragment -->
|
|
129
129
|
</div>
|
|
130
130
|
</div>
|
|
131
131
|
<a id="a6fe4cc69b9181548940cbc67f7b6b315"></a>
|
|
@@ -162,9 +162,9 @@ Private Attributes</h2></td></tr>
|
|
|
162
162
|
</table>
|
|
163
163
|
</div><div class="memdoc">
|
|
164
164
|
|
|
165
|
-
<p class="definition">Definition at line <a class="el" href="ExtAPI_8h_source.html#
|
|
166
|
-
<div class="fragment"><div class="line"><a name="
|
|
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#
|
|
165
|
+
<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>
|
|
166
|
+
<div class="fragment"><div class="line"><a name="l00232"></a><span class="lineno"> 232</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#l00256">ExtAPI.h:256</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#l00255">ExtAPI.h:255</a></div></div>
|
|
168
168
|
</div><!-- fragment -->
|
|
169
169
|
</div>
|
|
170
170
|
</div>
|
|
@@ -192,8 +192,8 @@ Private Attributes</h2></td></tr>
|
|
|
192
192
|
</table>
|
|
193
193
|
</div><div class="memdoc">
|
|
194
194
|
|
|
195
|
-
<p class="definition">Definition at line <a class="el" href="ExtAPI_8h_source.html#
|
|
196
|
-
<div class="fragment"><div class="line"><a name="
|
|
195
|
+
<p class="definition">Definition at line <a class="el" href="ExtAPI_8h_source.html#l00244">244</a> of file <a class="el" href="ExtAPI_8h_source.html">ExtAPI.h</a>.</p>
|
|
196
|
+
<div class="fragment"><div class="line"><a name="l00245"></a><span class="lineno"> 245</span>  {</div><div class="line"><a name="l00246"></a><span class="lineno"> 246</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="l00247"></a><span class="lineno"> 247</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#l00257">ExtAPI.h:257</a></div></div>
|
|
197
197
|
</div><!-- fragment -->
|
|
198
198
|
</div>
|
|
199
199
|
</div>
|
|
@@ -220,8 +220,8 @@ Private Attributes</h2></td></tr>
|
|
|
220
220
|
</table>
|
|
221
221
|
</div><div class="memdoc">
|
|
222
222
|
|
|
223
|
-
<p class="definition">Definition at line <a class="el" href="ExtAPI_8h_source.html#
|
|
224
|
-
<div class="fragment"><div class="line"><a name="
|
|
223
|
+
<p class="definition">Definition at line <a class="el" href="ExtAPI_8h_source.html#l00239">239</a> of file <a class="el" href="ExtAPI_8h_source.html">ExtAPI.h</a>.</p>
|
|
224
|
+
<div class="fragment"><div class="line"><a name="l00240"></a><span class="lineno"> 240</span>  {</div><div class="line"><a name="l00241"></a><span class="lineno"> 241</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="l00242"></a><span class="lineno"> 242</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#l00256">ExtAPI.h:256</a></div></div>
|
|
225
225
|
</div><!-- fragment -->
|
|
226
226
|
</div>
|
|
227
227
|
</div>
|
|
@@ -248,8 +248,8 @@ Private Attributes</h2></td></tr>
|
|
|
248
248
|
</table>
|
|
249
249
|
</div><div class="memdoc">
|
|
250
250
|
|
|
251
|
-
<p class="definition">Definition at line <a class="el" href="ExtAPI_8h_source.html#
|
|
252
|
-
<div class="fragment"><div class="line"><a name="
|
|
251
|
+
<p class="definition">Definition at line <a class="el" href="ExtAPI_8h_source.html#l00234">234</a> of file <a class="el" href="ExtAPI_8h_source.html">ExtAPI.h</a>.</p>
|
|
252
|
+
<div class="fragment"><div class="line"><a name="l00235"></a><span class="lineno"> 235</span>  {</div><div class="line"><a name="l00236"></a><span class="lineno"> 236</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="l00237"></a><span class="lineno"> 237</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#l00255">ExtAPI.h:255</a></div></div>
|
|
253
253
|
</div><!-- fragment -->
|
|
254
254
|
</div>
|
|
255
255
|
</div>
|
|
@@ -277,8 +277,8 @@ Private Attributes</h2></td></tr>
|
|
|
277
277
|
</table>
|
|
278
278
|
</div><div class="memdoc">
|
|
279
279
|
|
|
280
|
-
<p class="definition">Definition at line <a class="el" href="ExtAPI_8h_source.html#
|
|
281
|
-
<div class="fragment"><div class="line"><a name="
|
|
280
|
+
<p class="definition">Definition at line <a class="el" href="ExtAPI_8h_source.html#l00249">249</a> of file <a class="el" href="ExtAPI_8h_source.html">ExtAPI.h</a>.</p>
|
|
281
|
+
<div class="fragment"><div class="line"><a name="l00250"></a><span class="lineno"> 250</span>  {</div><div class="line"><a name="l00251"></a><span class="lineno"> 251</span>  <a class="code" href="classSVF_1_1ExtAPI_1_1Operation.html#ae3539c507b6284b849c136418507e72b">operands</a> = vars;</div><div class="line"><a name="l00252"></a><span class="lineno"> 252</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#l00257">ExtAPI.h:257</a></div></div>
|
|
282
282
|
</div><!-- fragment -->
|
|
283
283
|
</div>
|
|
284
284
|
</div>
|
|
@@ -303,7 +303,7 @@ Private Attributes</h2></td></tr>
|
|
|
303
303
|
</table>
|
|
304
304
|
</div><div class="memdoc">
|
|
305
305
|
|
|
306
|
-
<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#l00255">255</a> of file <a class="el" href="ExtAPI_8h_source.html">ExtAPI.h</a>.</p>
|
|
307
307
|
|
|
308
308
|
</div>
|
|
309
309
|
</div>
|
|
@@ -327,7 +327,7 @@ Private Attributes</h2></td></tr>
|
|
|
327
327
|
</table>
|
|
328
328
|
</div><div class="memdoc">
|
|
329
329
|
|
|
330
|
-
<p class="definition">Definition at line <a class="el" href="ExtAPI_8h_source.html#
|
|
330
|
+
<p class="definition">Definition at line <a class="el" href="ExtAPI_8h_source.html#l00257">257</a> of file <a class="el" href="ExtAPI_8h_source.html">ExtAPI.h</a>.</p>
|
|
331
331
|
|
|
332
332
|
</div>
|
|
333
333
|
</div>
|
|
@@ -351,7 +351,7 @@ Private Attributes</h2></td></tr>
|
|
|
351
351
|
</table>
|
|
352
352
|
</div><div class="memdoc">
|
|
353
353
|
|
|
354
|
-
<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#l00256">256</a> of file <a class="el" href="ExtAPI_8h_source.html">ExtAPI.h</a>.</p>
|
|
355
355
|
|
|
356
356
|
</div>
|
|
357
357
|
</div>
|
|
@@ -124,10 +124,11 @@ $(function() {
|
|
|
124
124
|
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1IntervalValue.html#aa3b742bd0116a6b7bf290286902b470b">setUb</a>(const NumericLiteral &ub)</td><td class="entry"><a class="el" href="classSVF_1_1IntervalValue.html">SVF::IntervalValue</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
125
125
|
<tr><td class="entry"><a class="el" href="classSVF_1_1IntervalValue.html#a8de8e78efcee26d74fe3d34c405dee0a">setValue</a>(const NumericLiteral &lb, const NumericLiteral &ub)</td><td class="entry"><a class="el" href="classSVF_1_1IntervalValue.html">SVF::IntervalValue</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
126
126
|
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1IntervalValue.html#add3acad151d5af6c9a5f692f7a01e65b">top</a>()</td><td class="entry"><a class="el" href="classSVF_1_1IntervalValue.html">SVF::IntervalValue</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">static</span></td></tr>
|
|
127
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1IntervalValue.html#
|
|
128
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1IntervalValue.html#
|
|
129
|
-
<tr><td class="entry"><a class="el" href="
|
|
130
|
-
<tr class="even"><td class="entry"><a class="el" href="
|
|
127
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1IntervalValue.html#af5ee3e3b58d9661217ab6f08ffb98bbd">toString</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1IntervalValue.html">SVF::IntervalValue</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
128
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1IntervalValue.html#adac2dc2c9f744a071ad3f0175ed40cd9">ub</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1IntervalValue.html">SVF::IntervalValue</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
129
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1IntervalValue.html#ab7ddcc29a116944a91db24af90d4c144">widen_with</a>(const IntervalValue &other)</td><td class="entry"><a class="el" href="classSVF_1_1IntervalValue.html">SVF::IntervalValue</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
130
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1AbstractValue.html#ab6901c81e0a0153120de25876b44e3c4">~AbstractValue</a>()=default</td><td class="entry"><a class="el" href="classSVF_1_1AbstractValue.html">SVF::AbstractValue</a></td><td class="entry"><span class="mlabel">virtual</span></td></tr>
|
|
131
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1IntervalValue.html#afcd424e419fe66750c47df21774bb22c">~IntervalValue</a>() override=default</td><td class="entry"><a class="el" href="classSVF_1_1IntervalValue.html">SVF::IntervalValue</a></td><td class="entry"></td></tr>
|
|
131
132
|
</table></div><!-- contents -->
|
|
132
133
|
<!-- start footer part -->
|
|
133
134
|
<hr class="footer"/><address class="footer"><small>
|
|
@@ -192,6 +192,8 @@ Public Member Functions</h2></td></tr>
|
|
|
192
192
|
<tr class="separator:afcb91d48a79aeba3c78c1a41b0730a73"><td class="memSeparator" colspan="2"> </td></tr>
|
|
193
193
|
<tr class="memitem:ac4896347f704db07695f4b8dfc42aad7"><td class="memItemLeft" align="right" valign="top">void </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1IntervalValue.html#ac4896347f704db07695f4b8dfc42aad7">dump</a> (std::ostream &o) const</td></tr>
|
|
194
194
|
<tr class="separator:ac4896347f704db07695f4b8dfc42aad7"><td class="memSeparator" colspan="2"> </td></tr>
|
|
195
|
+
<tr class="memitem:af5ee3e3b58d9661217ab6f08ffb98bbd"><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_1IntervalValue.html#af5ee3e3b58d9661217ab6f08ffb98bbd">toString</a> () const</td></tr>
|
|
196
|
+
<tr class="separator:af5ee3e3b58d9661217ab6f08ffb98bbd"><td class="memSeparator" colspan="2"> </td></tr>
|
|
195
197
|
<tr class="inherit_header pub_methods_classSVF_1_1AbstractValue"><td colspan="2" onclick="javascript:toggleInherit('pub_methods_classSVF_1_1AbstractValue')"><img src="closed.png" alt="-"/> Public Member Functions inherited from <a class="el" href="classSVF_1_1AbstractValue.html">SVF::AbstractValue</a></td></tr>
|
|
196
198
|
<tr class="memitem:a56c3cfc51a812f4a9b3171371d3efa60 inherit pub_methods_classSVF_1_1AbstractValue"><td class="memItemLeft" align="right" valign="top"> </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1AbstractValue.html#a56c3cfc51a812f4a9b3171371d3efa60">AbstractValue</a> (<a class="el" href="classSVF_1_1AbstractValue.html#afc79860ce75455825ff75d1fef804c16">AbstractValueK</a> kind)</td></tr>
|
|
197
199
|
<tr class="separator:a56c3cfc51a812f4a9b3171371d3efa60 inherit pub_methods_classSVF_1_1AbstractValue"><td class="memSeparator" colspan="2"> </td></tr>
|
|
@@ -1721,6 +1723,36 @@ Additional Inherited Members</h2></td></tr>
|
|
|
1721
1723
|
</div><!-- fragment -->
|
|
1722
1724
|
</div>
|
|
1723
1725
|
</div>
|
|
1726
|
+
<a id="af5ee3e3b58d9661217ab6f08ffb98bbd"></a>
|
|
1727
|
+
<h2 class="memtitle"><span class="permalink"><a href="#af5ee3e3b58d9661217ab6f08ffb98bbd">◆ </a></span>toString()</h2>
|
|
1728
|
+
|
|
1729
|
+
<div class="memitem">
|
|
1730
|
+
<div class="memproto">
|
|
1731
|
+
<table class="mlabels">
|
|
1732
|
+
<tr>
|
|
1733
|
+
<td class="mlabels-left">
|
|
1734
|
+
<table class="memname">
|
|
1735
|
+
<tr>
|
|
1736
|
+
<td class="memname"><a class="el" href="cJSON_8cpp.html#ae1adbce218e7a9d09164012443191d24">std::string</a> SVF::IntervalValue::toString </td>
|
|
1737
|
+
<td>(</td>
|
|
1738
|
+
<td class="paramname"></td><td>)</td>
|
|
1739
|
+
<td> const</td>
|
|
1740
|
+
</tr>
|
|
1741
|
+
</table>
|
|
1742
|
+
</td>
|
|
1743
|
+
<td class="mlabels-right">
|
|
1744
|
+
<span class="mlabels"><span class="mlabel">inline</span></span> </td>
|
|
1745
|
+
</tr>
|
|
1746
|
+
</table>
|
|
1747
|
+
</div><div class="memdoc">
|
|
1748
|
+
|
|
1749
|
+
<p class="definition">Definition at line <a class="el" href="IntervalValue_8h_source.html#l00437">437</a> of file <a class="el" href="IntervalValue_8h_source.html">IntervalValue.h</a>.</p>
|
|
1750
|
+
<div class="fragment"><div class="line"><a name="l00438"></a><span class="lineno"> 438</span>  {</div><div class="line"><a name="l00439"></a><span class="lineno"> 439</span>  <span class="keywordflow">return</span> <span class="stringliteral">"["</span> + std::to_string(<a class="code" href="classSVF_1_1IntervalValue.html#a0df07a2659cbf3a918de5b0d7c407264">lb</a>().<a class="code" href="classSVF_1_1IntervalValue.html#afdd64a5e008ec06b346db178b9d02454">getNumeral</a>()) + <span class="stringliteral">", "</span> + std::to_string(<a class="code" href="classSVF_1_1IntervalValue.html#adac2dc2c9f744a071ad3f0175ed40cd9">ub</a>().<a class="code" href="classSVF_1_1IntervalValue.html#afdd64a5e008ec06b346db178b9d02454">getNumeral</a>()) + <span class="stringliteral">"]"</span>;</div><div class="line"><a name="l00440"></a><span class="lineno"> 440</span>  }</div><div class="ttc" id="classSVF_1_1IntervalValue_html_a0df07a2659cbf3a918de5b0d7c407264"><div class="ttname"><a href="classSVF_1_1IntervalValue.html#a0df07a2659cbf3a918de5b0d7c407264">SVF::IntervalValue::lb</a></div><div class="ttdeci">const NumericLiteral & lb() const</div><div class="ttdoc">Return the lower bound. </div><div class="ttdef"><b>Definition:</b> <a href="IntervalValue_8h_source.html#l00214">IntervalValue.h:214</a></div></div>
|
|
1751
|
+
<div class="ttc" id="classSVF_1_1IntervalValue_html_adac2dc2c9f744a071ad3f0175ed40cd9"><div class="ttname"><a href="classSVF_1_1IntervalValue.html#adac2dc2c9f744a071ad3f0175ed40cd9">SVF::IntervalValue::ub</a></div><div class="ttdeci">const NumericLiteral & ub() const</div><div class="ttdoc">Return the upper bound. </div><div class="ttdef"><b>Definition:</b> <a href="IntervalValue_8h_source.html#l00221">IntervalValue.h:221</a></div></div>
|
|
1752
|
+
<div class="ttc" id="classSVF_1_1IntervalValue_html_afdd64a5e008ec06b346db178b9d02454"><div class="ttname"><a href="classSVF_1_1IntervalValue.html#afdd64a5e008ec06b346db178b9d02454">SVF::IntervalValue::getNumeral</a></div><div class="ttdeci">double getNumeral() const</div><div class="ttdoc">Return. </div><div class="ttdef"><b>Definition:</b> <a href="IntervalValue_8h_source.html#l00259">IntervalValue.h:259</a></div></div>
|
|
1753
|
+
</div><!-- fragment -->
|
|
1754
|
+
</div>
|
|
1755
|
+
</div>
|
|
1724
1756
|
<a id="adac2dc2c9f744a071ad3f0175ed40cd9"></a>
|
|
1725
1757
|
<h2 class="memtitle"><span class="permalink"><a href="#adac2dc2c9f744a071ad3f0175ed40cd9">◆ </a></span>ub()</h2>
|
|
1726
1758
|
|
|
@@ -1629,7 +1629,7 @@ Static Private Attributes</h2></td></tr>
|
|
|
1629
1629
|
<div class="fragment"><div class="line"><a name="l00462"></a><span class="lineno"> 462</span> {</div><div class="line"><a name="l00463"></a><span class="lineno"> 463</span>  <span class="comment">// This function is used to extract constructor and destructor functions</span></div><div class="line"><a name="l00464"></a><span class="lineno"> 464</span>  <span class="comment">// sorted by their priority from @llvm.global_ctors or @llvm.global_dtors.</span></div><div class="line"><a name="l00465"></a><span class="lineno"> 465</span>  <span class="comment">// For example, given following @llvm.global_ctors, the returning sorted</span></div><div class="line"><a name="l00466"></a><span class="lineno"> 466</span>  <span class="comment">// function list should be [ctor3, ctor1, ctor2].</span></div><div class="line"><a name="l00467"></a><span class="lineno"> 467</span>  <span class="comment">// ------------------------------------------------------------------</span></div><div class="line"><a name="l00468"></a><span class="lineno"> 468</span>  <span class="comment">// ; Each struct in the array is {priority, function, associated data}</span></div><div class="line"><a name="l00469"></a><span class="lineno"> 469</span>  <span class="comment">//</span></div><div class="line"><a name="l00470"></a><span class="lineno"> 470</span>  <span class="comment">// @llvm.global_ctors = appending global [2 x { i32, void ()*, i8* }]</span></div><div class="line"><a name="l00471"></a><span class="lineno"> 471</span>  <span class="comment">// [{ i32, void ()*, i8* } { i32 1234, void ()* @ctor1.cpp, i8* null },</span></div><div class="line"><a name="l00472"></a><span class="lineno"> 472</span>  <span class="comment">// { i32, void ()*, i8* } { i32 2345, void ()* @ctor2.cpp, i8* null },</span></div><div class="line"><a name="l00473"></a><span class="lineno"> 473</span>  <span class="comment">// { i32, void ()*, i8* } { i32 345, void ()* @ctor3.cpp, i8* null }]</span></div><div class="line"><a name="l00474"></a><span class="lineno"> 474</span>  <span class="comment">// ------------------------------------------------------------------</span></div><div class="line"><a name="l00475"></a><span class="lineno"> 475</span>  <span class="comment">// TODO: According to LLVM language reference, if the third field is</span></div><div class="line"><a name="l00476"></a><span class="lineno"> 476</span>  <span class="comment">// non-null, and points to a global variable or function, the initializer</span></div><div class="line"><a name="l00477"></a><span class="lineno"> 477</span>  <span class="comment">// function will only run if the associated data from the current module is</span></div><div class="line"><a name="l00478"></a><span class="lineno"> 478</span>  <span class="comment">// not discarded. However the associated data is currently ignored.</span></div><div class="line"><a name="l00479"></a><span class="lineno"> 479</span> </div><div class="line"><a name="l00480"></a><span class="lineno"> 480</span> </div><div class="line"><a name="l00481"></a><span class="lineno"> 481</span>  <span class="comment">// This class is used for the priority queue that sorts the functions by</span></div><div class="line"><a name="l00482"></a><span class="lineno"> 482</span>  <span class="comment">// their priority. Each object of this class stands for an item in the</span></div><div class="line"><a name="l00483"></a><span class="lineno"> 483</span>  <span class="comment">// function array.</span></div><div class="line"><a name="l00484"></a><span class="lineno"> 484</span>  <span class="keyword">class </span>LLVMGlobalFunction</div><div class="line"><a name="l00485"></a><span class="lineno"> 485</span>  {</div><div class="line"><a name="l00486"></a><span class="lineno"> 486</span>  <span class="keyword">public</span>:</div><div class="line"><a name="l00487"></a><span class="lineno"> 487</span>  <a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> priority;</div><div class="line"><a name="l00488"></a><span class="lineno"> 488</span>  <span class="keyword">const</span> <a class="code" href="namespaceSVF.html#a5faee14fa1dd41447bc73ac365fe33c1">Function</a>* func;</div><div class="line"><a name="l00489"></a><span class="lineno"> 489</span>  LLVMGlobalFunction() {};</div><div class="line"><a name="l00490"></a><span class="lineno"> 490</span>  LLVMGlobalFunction(<a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> _priority, <span class="keyword">const</span> <a class="code" href="namespaceSVF.html#a5faee14fa1dd41447bc73ac365fe33c1">Function</a>* _func)</div><div class="line"><a name="l00491"></a><span class="lineno"> 491</span>  : priority(_priority), func(_func) {};</div><div class="line"><a name="l00492"></a><span class="lineno"> 492</span>  <span class="keywordtype">bool</span> <a class="code" href="namespaceSVF.html#aedd9d023a68dddd66314be63bb8e48d2">operator></a>(<span class="keyword">const</span> LLVMGlobalFunction &other)<span class="keyword"> const</span></div><div class="line"><a name="l00493"></a><span class="lineno"> 493</span> <span class="keyword"> </span>{</div><div class="line"><a name="l00494"></a><span class="lineno"> 494</span>  <span class="keywordflow">if</span> (priority != other.priority)</div><div class="line"><a name="l00495"></a><span class="lineno"> 495</span>  {</div><div class="line"><a name="l00496"></a><span class="lineno"> 496</span>  <span class="keywordflow">return</span> priority > other.priority;</div><div class="line"><a name="l00497"></a><span class="lineno"> 497</span>  }</div><div class="line"><a name="l00498"></a><span class="lineno"> 498</span>  <span class="keywordflow">else</span></div><div class="line"><a name="l00499"></a><span class="lineno"> 499</span>  {</div><div class="line"><a name="l00500"></a><span class="lineno"> 500</span>  <span class="keywordflow">return</span> func > other.func;</div><div class="line"><a name="l00501"></a><span class="lineno"> 501</span>  }</div><div class="line"><a name="l00502"></a><span class="lineno"> 502</span>  }</div><div class="line"><a name="l00503"></a><span class="lineno"> 503</span>  };</div><div class="line"><a name="l00504"></a><span class="lineno"> 504</span> </div><div class="line"><a name="l00505"></a><span class="lineno"> 505</span>  std::priority_queue<LLVMGlobalFunction, std::vector<LLVMGlobalFunction>,</div><div class="line"><a name="l00506"></a><span class="lineno"> 506</span>  greater<LLVMGlobalFunction>></div><div class="line"><a name="l00507"></a><span class="lineno"> 507</span>  queue;</div><div class="line"><a name="l00508"></a><span class="lineno"> 508</span>  std::vector<const Function* > result;</div><div class="line"><a name="l00509"></a><span class="lineno"> 509</span> </div><div class="line"><a name="l00510"></a><span class="lineno"> 510</span>  <span class="comment">// The @llvm.global_ctors/dtors global variable is an array of struct. Each</span></div><div class="line"><a name="l00511"></a><span class="lineno"> 511</span>  <span class="comment">// struct has three fields: {i32 priority, void ()* @ctor/dtor, i8* @data}.</span></div><div class="line"><a name="l00512"></a><span class="lineno"> 512</span>  <span class="comment">// First get the array here.</span></div><div class="line"><a name="l00513"></a><span class="lineno"> 513</span>  <span class="keywordflow">if</span>(<span class="keyword">const</span> <a class="code" href="namespaceSVF.html#a5ae718cba37d8e34d2946530dc098c8e">ConstantArray</a> *globalFuncArray =</div><div class="line"><a name="l00514"></a><span class="lineno"> 514</span>  SVFUtil::dyn_cast<ConstantArray>(global->getInitializer()))</div><div class="line"><a name="l00515"></a><span class="lineno"> 515</span>  {</div><div class="line"><a name="l00516"></a><span class="lineno"> 516</span>  <span class="comment">// Get each struct in the array.</span></div><div class="line"><a name="l00517"></a><span class="lineno"> 517</span>  <span class="keywordflow">for</span> (<span class="keywordtype">unsigned</span> <span class="keywordtype">int</span> i = 0; i < globalFuncArray->getNumOperands(); ++i)</div><div class="line"><a name="l00518"></a><span class="lineno"> 518</span>  {</div><div class="line"><a name="l00519"></a><span class="lineno"> 519</span>  <span class="keywordflow">if</span> (</div><div class="line"><a name="l00520"></a><span class="lineno"> 520</span>  <span class="keyword">const</span> <a class="code" href="namespaceSVF.html#a2b28f48dde0a9a91d251e654ce1f9477">ConstantStruct</a> *globalFuncItem =</div><div class="line"><a name="l00521"></a><span class="lineno"> 521</span>  SVFUtil::dyn_cast<ConstantStruct>(</div><div class="line"><a name="l00522"></a><span class="lineno"> 522</span>  globalFuncArray->getOperand(i)))</div><div class="line"><a name="l00523"></a><span class="lineno"> 523</span>  {</div><div class="line"><a name="l00524"></a><span class="lineno"> 524</span> </div><div class="line"><a name="l00525"></a><span class="lineno"> 525</span>  <span class="comment">// Extract priority and function from the struct</span></div><div class="line"><a name="l00526"></a><span class="lineno"> 526</span>  <span class="keyword">const</span> <a class="code" href="namespaceSVF.html#adefcb50414ea999d70cea5ccdbcb98d7">ConstantInt</a>* priority = <a class="code" href="namespaceSVF_1_1SVFUtil.html#af6e96694d983643a66c238cce01bff0e">SVFUtil::dyn_cast</a><<a class="code" href="namespaceSVF.html#adefcb50414ea999d70cea5ccdbcb98d7">ConstantInt</a>>(</div><div class="line"><a name="l00527"></a><span class="lineno"> 527</span>  globalFuncItem->getOperand(0));</div><div class="line"><a name="l00528"></a><span class="lineno"> 528</span>  <span class="keyword">const</span> <a class="code" href="namespaceSVF.html#a5faee14fa1dd41447bc73ac365fe33c1">Function</a>* func = <a class="code" href="namespaceSVF_1_1SVFUtil.html#af6e96694d983643a66c238cce01bff0e">SVFUtil::dyn_cast</a><<a class="code" href="namespaceSVF.html#a5faee14fa1dd41447bc73ac365fe33c1">Function</a>>(</div><div class="line"><a name="l00529"></a><span class="lineno"> 529</span>  globalFuncItem->getOperand(1));</div><div class="line"><a name="l00530"></a><span class="lineno"> 530</span> </div><div class="line"><a name="l00531"></a><span class="lineno"> 531</span>  <span class="keywordflow">if</span> (priority && func)</div><div class="line"><a name="l00532"></a><span class="lineno"> 532</span>  {</div><div class="line"><a name="l00533"></a><span class="lineno"> 533</span>  queue.push(LLVMGlobalFunction(priority</div><div class="line"><a name="l00534"></a><span class="lineno"> 534</span>  ->getZExtValue(),</div><div class="line"><a name="l00535"></a><span class="lineno"> 535</span>  func));</div><div class="line"><a name="l00536"></a><span class="lineno"> 536</span>  }</div><div class="line"><a name="l00537"></a><span class="lineno"> 537</span>  }</div><div class="line"><a name="l00538"></a><span class="lineno"> 538</span>  }</div><div class="line"><a name="l00539"></a><span class="lineno"> 539</span>  }</div><div class="line"><a name="l00540"></a><span class="lineno"> 540</span> </div><div class="line"><a name="l00541"></a><span class="lineno"> 541</span>  <span class="comment">// Generate a sorted vector of functions from the priority queue.</span></div><div class="line"><a name="l00542"></a><span class="lineno"> 542</span>  <span class="keywordflow">while</span> (!queue.empty())</div><div class="line"><a name="l00543"></a><span class="lineno"> 543</span>  {</div><div class="line"><a name="l00544"></a><span class="lineno"> 544</span>  result.push_back(queue.top().func);</div><div class="line"><a name="l00545"></a><span class="lineno"> 545</span>  queue.pop();</div><div class="line"><a name="l00546"></a><span class="lineno"> 546</span>  }</div><div class="line"><a name="l00547"></a><span class="lineno"> 547</span>  <span class="keywordflow">return</span> result;</div><div class="line"><a name="l00548"></a><span class="lineno"> 548</span> }</div><div class="ttc" id="namespaceSVF_html_a5ae718cba37d8e34d2946530dc098c8e"><div class="ttname"><a href="namespaceSVF.html#a5ae718cba37d8e34d2946530dc098c8e">SVF::ConstantArray</a></div><div class="ttdeci">llvm::ConstantArray ConstantArray</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00097">BasicTypes.h:97</a></div></div>
|
|
1630
1630
|
<div class="ttc" id="namespaceSVF_1_1SVFUtil_html_af6e96694d983643a66c238cce01bff0e"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#af6e96694d983643a66c238cce01bff0e">SVF::SVFUtil::dyn_cast</a></div><div class="ttdeci">LLVM_NODISCARD std::enable_if_t<!is_simple_type< Y >::value, typename cast_retty< X, const Y >::ret_type > dyn_cast(const Y &Val)</div><div class="ttdef"><b>Definition:</b> <a href="Casting_8h_source.html#l00405">Casting.h:405</a></div></div>
|
|
1631
1631
|
<div class="ttc" id="namespaceSVF_html_adefcb50414ea999d70cea5ccdbcb98d7"><div class="ttname"><a href="namespaceSVF.html#adefcb50414ea999d70cea5ccdbcb98d7">SVF::ConstantInt</a></div><div class="ttdeci">llvm::ConstantInt ConstantInt</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00099">BasicTypes.h:99</a></div></div>
|
|
1632
|
-
<div class="ttc" id="namespaceSVF_html_aedd9d023a68dddd66314be63bb8e48d2"><div class="ttname"><a href="namespaceSVF.html#aedd9d023a68dddd66314be63bb8e48d2">SVF::operator></a></div><div class="ttdeci">IntervalValue operator>(const IntervalValue &lhs, const IntervalValue &rhs)</div><div class="ttdoc">Greater than IntervalValues. </div><div class="ttdef"><b>Definition:</b> <a href="IntervalValue_8h_source.html#
|
|
1632
|
+
<div class="ttc" id="namespaceSVF_html_aedd9d023a68dddd66314be63bb8e48d2"><div class="ttname"><a href="namespaceSVF.html#aedd9d023a68dddd66314be63bb8e48d2">SVF::operator></a></div><div class="ttdeci">IntervalValue operator>(const IntervalValue &lhs, const IntervalValue &rhs)</div><div class="ttdoc">Greater than IntervalValues. </div><div class="ttdef"><b>Definition:</b> <a href="IntervalValue_8h_source.html#l00564">IntervalValue.h:564</a></div></div>
|
|
1633
1633
|
<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="SVFType_8h_source.html#l00050">SVFType.h:50</a></div></div>
|
|
1634
1634
|
<div class="ttc" id="namespaceSVF_html_a5faee14fa1dd41447bc73ac365fe33c1"><div class="ttname"><a href="namespaceSVF.html#a5faee14fa1dd41447bc73ac365fe33c1">SVF::Function</a></div><div class="ttdeci">llvm::Function Function</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00059">BasicTypes.h:59</a></div></div>
|
|
1635
1635
|
<div class="ttc" id="namespaceSVF_html_a2b28f48dde0a9a91d251e654ce1f9477"><div class="ttname"><a href="namespaceSVF.html#a2b28f48dde0a9a91d251e654ce1f9477">SVF::ConstantStruct</a></div><div class="ttdeci">llvm::ConstantStruct ConstantStruct</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00080">BasicTypes.h:80</a></div></div>
|