svf-tools 1.0.621 → 1.0.622
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/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/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_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_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/package.json +1 -1
|
@@ -140,7 +140,7 @@ $(function() {
|
|
|
140
140
|
<div class="ttc" id="classSVF_1_1Wto_html_a503a7df03292b0dae0f3e3b690b409f5"><div class="ttname"><a href="classSVF_1_1Wto.html#a503a7df03292b0dae0f3e3b690b409f5">SVF::Wto::accept</a></div><div class="ttdeci">void accept(WtoComponentVisitor *v)</div><div class="ttdoc">Accept the given visitor. </div><div class="ttdef"><b>Definition:</b> <a href="WTO_8h_source.html#l00571">WTO.h:571</a></div></div>
|
|
141
141
|
<div class="ttc" id="classSVF_1_1Wto_1_1TailBuilder_html_acc1ca95d9e12778011ae564a3aa03ae5"><div class="ttname"><a href="classSVF_1_1Wto_1_1TailBuilder.html#acc1ca95d9e12778011ae564a3aa03ae5">SVF::Wto::TailBuilder::TailBuilder</a></div><div class="ttdeci">TailBuilder(NestingTable &nesting_table, NodeRefList &tails, const SVFBasicBlock *head, const WtoNestingT &headNesting)</div><div class="ttdef"><b>Definition:</b> <a href="WTO_8h_source.html#l00654">WTO.h:654</a></div></div>
|
|
142
142
|
<div class="ttc" id="classSVF_1_1WtoCycle_html_aa7a2ac6bdf4dafd3ac71239615f95297"><div class="ttname"><a href="classSVF_1_1WtoCycle.html#aa7a2ac6bdf4dafd3ac71239615f95297">SVF::WtoCycle::WtoComponentRefList</a></div><div class="ttdeci">std::list< WtoComponentPtr > WtoComponentRefList</div><div class="ttdef"><b>Definition:</b> <a href="WTO_8h_source.html#l00366">WTO.h:366</a></div></div>
|
|
143
|
-
<div class="ttc" id="namespaceSVF_html_a1dab362b7d3da3375b60c94e78275293"><div class="ttname"><a href="namespaceSVF.html#a1dab362b7d3da3375b60c94e78275293">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#
|
|
143
|
+
<div class="ttc" id="namespaceSVF_html_a1dab362b7d3da3375b60c94e78275293"><div class="ttname"><a href="namespaceSVF.html#a1dab362b7d3da3375b60c94e78275293">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#l00680">IntervalValue.h:680</a></div></div>
|
|
144
144
|
<div class="ttc" id="classSVF_1_1WtoCycle_html_ac15dc9e260d77ade331ded9ca05e74ff"><div class="ttname"><a href="classSVF_1_1WtoCycle.html#ac15dc9e260d77ade331ded9ca05e74ff">SVF::WtoCycle::accept</a></div><div class="ttdeci">void accept(WtoComponentVisitor *v) const override</div><div class="ttdoc">Accept the given visitor. </div><div class="ttdef"><b>Definition:</b> <a href="WTO_8h_source.html#l00403">WTO.h:403</a></div></div>
|
|
145
145
|
<div class="ttc" id="classSVF_1_1Wto_html_a061f421f885f12e4080479401a440839"><div class="ttname"><a href="classSVF_1_1Wto.html#a061f421f885f12e4080479401a440839">SVF::Wto::~Wto</a></div><div class="ttdeci">~Wto()</div><div class="ttdoc">Destructor. </div><div class="ttdef"><b>Definition:</b> <a href="WTO_8h_source.html#l00510">WTO.h:510</a></div></div>
|
|
146
146
|
<div class="ttc" id="classSVF_1_1Wto_html_aa08d1aee433382c432945313a213113a"><div class="ttname"><a href="classSVF_1_1Wto.html#aa08d1aee433382c432945313a213113a">SVF::Wto::build_tails</a></div><div class="ttdeci">virtual void build_tails()</div><div class="ttdoc">Build the tails for each loop. </div><div class="ttdef"><b>Definition:</b> <a href="WTO_8h_source.html#l00827">WTO.h:827</a></div></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>
|
|
@@ -210,101 +210,102 @@ $(function() {
|
|
|
210
210
|
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFG.html#ad9cc1581261182b56ae232d9a9b13296">hasCallSiteChi</a>(const CallICFGNode *cs) const</td><td class="entry"><a class="el" href="classSVF_1_1SVFG.html">SVF::SVFG</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">protected</span></td></tr>
|
|
211
211
|
<tr><td class="entry"><a class="el" href="classSVF_1_1SVFG.html#a842f6f2325c9e93ea96367e9cf624ee8">hasCallSiteMu</a>(const CallICFGNode *cs) const</td><td class="entry"><a class="el" href="classSVF_1_1SVFG.html">SVF::SVFG</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">protected</span></td></tr>
|
|
212
212
|
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFG.html#a926c79813d5cfbd16201832024b95190">hasDef</a>(const PAGNode *pagNode) const</td><td class="entry"><a class="el" href="classSVF_1_1SVFG.html">SVF::SVFG</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">protected</span></td></tr>
|
|
213
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1SVFG.html#
|
|
214
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFG.html#
|
|
215
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1SVFG.html#
|
|
216
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFG.html#
|
|
217
|
-
<tr><td class="entry"><a class="el" href="
|
|
218
|
-
<tr class="even"><td class="entry"><a class="el" href="
|
|
219
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1VFG.html#
|
|
220
|
-
<tr class="even"><td class="entry"><a class="el" href="
|
|
221
|
-
<tr><td class="entry"><a class="el" href="
|
|
222
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1VFG.html#
|
|
223
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1VFG.html#
|
|
224
|
-
<tr class="even"><td class="entry"><a class="el" href="
|
|
225
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html#
|
|
226
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html#
|
|
227
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html#
|
|
228
|
-
<tr class="even"><td class="entry"><a class="el" href="
|
|
229
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1SVFG.html#
|
|
230
|
-
<tr class="even"><td class="entry"><a class="el" href="
|
|
231
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1VFG.html#
|
|
232
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1VFG.html#
|
|
233
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1VFG.html#
|
|
234
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1VFG.html#
|
|
235
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1VFG.html#
|
|
236
|
-
<tr class="even"><td class="entry"><a class="el" href="
|
|
237
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1SVFG.html#
|
|
238
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFG.html#
|
|
239
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1SVFG.html#
|
|
240
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFG.html#
|
|
241
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1SVFG.html#
|
|
242
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFG.html#
|
|
243
|
-
<tr><td class="entry"><a class="el" href="
|
|
244
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html#
|
|
245
|
-
<tr><td class="entry"><a class="el" href="
|
|
246
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1VFG.html#
|
|
247
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1VFG.html#
|
|
248
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1VFG.html#
|
|
249
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1VFG.html#
|
|
250
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1VFG.html#
|
|
251
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1VFG.html#
|
|
252
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1VFG.html#
|
|
253
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1VFG.html#
|
|
254
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1VFG.html#
|
|
255
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1VFG.html#
|
|
256
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1VFG.html#
|
|
257
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1VFG.html#
|
|
258
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1VFG.html#
|
|
259
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1VFG.html#
|
|
260
|
-
<tr class="even"><td class="entry"><a class="el" href="
|
|
261
|
-
<tr><td class="entry"><a class="el" href="
|
|
262
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1VFG.html#
|
|
263
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1VFG.html#
|
|
264
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1VFG.html#
|
|
265
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1VFG.html#
|
|
266
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1VFG.html#
|
|
267
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1VFG.html#
|
|
268
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1VFG.html#
|
|
269
|
-
<tr><td class="entry"><a class="el" href="
|
|
270
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFG.html#
|
|
271
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1SVFG.html#
|
|
272
|
-
<tr class="even"><td class="entry"><a class="el" href="
|
|
273
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1VFG.html#
|
|
274
|
-
<tr class="even"><td class="entry"><a class="el" href="
|
|
275
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1SVFG.html#
|
|
276
|
-
<tr class="even"><td class="entry"><a class="el" href="
|
|
277
|
-
<tr><td class="entry"><a class="el" href="
|
|
278
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFG.html#
|
|
279
|
-
<tr><td class="entry"><a class="el" href="
|
|
280
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1VFG.html#
|
|
281
|
-
<tr><td class="entry"><a class="el" href="
|
|
282
|
-
<tr class="even"><td class="entry"><a class="el" href="
|
|
283
|
-
<tr><td class="entry"><a class="el" href="
|
|
284
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFG.html#
|
|
285
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1SVFG.html#
|
|
286
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFG.html#
|
|
287
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1SVFG.html#
|
|
288
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFG.html#
|
|
289
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1SVFG.html#
|
|
290
|
-
<tr class="even"><td class="entry"><a class="el" href="
|
|
291
|
-
<tr><td class="entry"><a class="el" href="
|
|
292
|
-
<tr class="even"><td class="entry"><a class="el" href="
|
|
293
|
-
<tr><td class="entry"><a class="el" href="
|
|
294
|
-
<tr class="even"><td class="entry"><a class="el" href="
|
|
295
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1VFG.html#
|
|
296
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1VFG.html#
|
|
297
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1VFG.html#
|
|
298
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1VFG.html#
|
|
299
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1VFG.html#
|
|
300
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1VFG.html#
|
|
301
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1VFG.html#
|
|
302
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1VFG.html#
|
|
303
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1VFG.html#
|
|
304
|
-
<tr class="even"><td class="entry"><a class="el" href="
|
|
305
|
-
<tr><td class="entry"><a class="el" href="
|
|
306
|
-
<tr class="even"><td class="entry"><a class="el" href="
|
|
307
|
-
<tr><td class="entry"><a class="el" href="
|
|
213
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1SVFG.html#ad2d19c5b80b01c8a7bb41100bb156279">hasDefSVFGNode</a>(const PAGNode *pagNode) const</td><td class="entry"><a class="el" href="classSVF_1_1SVFG.html">SVF::SVFG</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
214
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFG.html#a65f28035e0fa5bebf76d28612b2f8ba8">hasFormalINSVFGNodes</a>(const SVFFunction *fun) const</td><td class="entry"><a class="el" href="classSVF_1_1SVFG.html">SVF::SVFG</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
215
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1SVFG.html#a1f8c60ad57bf473e0186b794d666b5c2">hasFormalOUTSVFGNodes</a>(const SVFFunction *fun) const</td><td class="entry"><a class="el" href="classSVF_1_1SVFG.html">SVF::SVFG</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
216
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFG.html#a23ca21b90feca5e7d00c9ba9f489374a">hasFuncEntryChi</a>(const SVFFunction *func) const</td><td class="entry"><a class="el" href="classSVF_1_1SVFG.html">SVF::SVFG</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">protected</span></td></tr>
|
|
217
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1SVFG.html#a32378226c18a0b1e22271a2338a635f6">hasFuncRetMu</a>(const SVFFunction *func) const</td><td class="entry"><a class="el" href="classSVF_1_1SVFG.html">SVF::SVFG</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">protected</span></td></tr>
|
|
218
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html#a6885064afa211958af7b73f0233284e5">hasGNode</a>(NodeID id) const</td><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html">SVF::GenericGraph< NodeTy, EdgeTy ></a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
219
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1VFG.html#ad86631f70bd702b5635bdbeab7d884b9">hasInterVFGEdge</a>(VFGNode *src, VFGNode *dst, VFGEdge::VFGEdgeK kind, CallSiteID csId)</td><td class="entry"><a class="el" href="classSVF_1_1VFG.html">SVF::VFG</a></td><td class="entry"></td></tr>
|
|
220
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1VFG.html#ac34c4529229404617c346f81cc6c141f">hasIntraVFGEdge</a>(VFGNode *src, VFGNode *dst, VFGEdge::VFGEdgeK kind)</td><td class="entry"><a class="el" href="classSVF_1_1VFG.html">SVF::VFG</a></td><td class="entry"></td></tr>
|
|
221
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1SVFG.html#a1b9d1ad76785ae0eb07979aa75325640">hasSVFGNode</a>(NodeID id) const</td><td class="entry"><a class="el" href="classSVF_1_1SVFG.html">SVF::SVFG</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
222
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1VFG.html#aead3b463d9aa2fae5845d97896bd18ba">hasThreadVFGEdge</a>(VFGNode *src, VFGNode *dst, VFGEdge::VFGEdgeK kind)</td><td class="entry"><a class="el" href="classSVF_1_1VFG.html">SVF::VFG</a></td><td class="entry"></td></tr>
|
|
223
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1VFG.html#a30eb9d717ad5bc8a9109a7bdef38f4a1">hasVFGNode</a>(NodeID id) const</td><td class="entry"><a class="el" href="classSVF_1_1VFG.html">SVF::VFG</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
224
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1VFG.html#a76af43e28630eb56a1aa5971f516d43d">hasVFGNodes</a>(const SVFFunction *fun) const</td><td class="entry"><a class="el" href="classSVF_1_1VFG.html">SVF::VFG</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
225
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html#a47a1ef8b67b0c92f78b4457dc3bbfe71">IDToNodeMap</a></td><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html">SVF::GenericGraph< NodeTy, EdgeTy ></a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
|
|
226
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html#afe017704d73445211fecaf7f3853010e">IDToNodeMapTy</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html">SVF::GenericGraph< NodeTy, EdgeTy ></a></td><td class="entry"></td></tr>
|
|
227
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html#a2f2bca8219c7d769f6d2937e5cd40d14">incEdgeNum</a>()</td><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html">SVF::GenericGraph< NodeTy, EdgeTy ></a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
228
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html#a7388dabef7300e77adf33f3999639f21">incNodeNum</a>()</td><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html">SVF::GenericGraph< NodeTy, EdgeTy ></a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
229
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1SVFG.html#ad189e45b0c810e68566ccc3bdb3f2e59">isCallSiteRetSVFGNode</a>(const SVFGNode *node) const</td><td class="entry"><a class="el" href="classSVF_1_1SVFG.html">SVF::SVFG</a></td><td class="entry"></td></tr>
|
|
230
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFG.html#ae2cff3c963136f474fac0a66aa8cff7b">isFunEntrySVFGNode</a>(const SVFGNode *node) const</td><td class="entry"><a class="el" href="classSVF_1_1SVFG.html">SVF::SVFG</a></td><td class="entry"></td></tr>
|
|
231
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1VFG.html#a8994194bca2edfd9528880390de795ab">isFunEntryVFGNode</a>(const VFGNode *node) const</td><td class="entry"><a class="el" href="classSVF_1_1VFG.html">SVF::VFG</a></td><td class="entry"></td></tr>
|
|
232
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1VFG.html#a85360d0242ea7d2ec7da670f2cc17962">isInterestedPAGNode</a>(const SVFVar *node) const</td><td class="entry"><a class="el" href="classSVF_1_1VFG.html">SVF::VFG</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">protected</span><span class="mlabel">virtual</span></td></tr>
|
|
233
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1VFG.html#a8ddf15d89a1b11a7f7720b671f4f0295">isPhiCopyEdge</a>(const PAGEdge *copy) const</td><td class="entry"><a class="el" href="classSVF_1_1VFG.html">SVF::VFG</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">protected</span></td></tr>
|
|
234
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1VFG.html#a268ec1495cbe4adb51fa50d28a4cba3d">isPtrOnlySVFG</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1VFG.html">SVF::VFG</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
235
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1VFG.html#a241d0489bf0315460e2b07db87e7847c">iterator</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1VFG.html">SVF::VFG</a></td><td class="entry"></td></tr>
|
|
236
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1VFG.html#a3867c591a231bad0aa2e6ab7c095a42f">kind</a></td><td class="entry"><a class="el" href="classSVF_1_1VFG.html">SVF::VFG</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
|
|
237
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1SVFG.html#a86d4a41a881a3d2e5def103d7ba8bb2f">LOADMU</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1SVFG.html">SVF::SVFG</a></td><td class="entry"></td></tr>
|
|
238
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFG.html#aa6a563cab8678b2256ca6ae7838285c8">mssa</a></td><td class="entry"><a class="el" href="classSVF_1_1SVFG.html">SVF::SVFG</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
|
|
239
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1SVFG.html#aafa1b445bd3578daaba8f82e517745f1">MSSAVarToDefMap</a></td><td class="entry"><a class="el" href="classSVF_1_1SVFG.html">SVF::SVFG</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
|
|
240
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFG.html#ac84d3749671f177b14749a825e36efe3">MSSAVarToDefMapTy</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1SVFG.html">SVF::SVFG</a></td><td class="entry"></td></tr>
|
|
241
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1SVFG.html#ac0e43f4a2043538c9046f95826caa725">MTASVFGBuilder</a> class</td><td class="entry"><a class="el" href="classSVF_1_1SVFG.html">SVF::SVFG</a></td><td class="entry"><span class="mlabel">friend</span></td></tr>
|
|
242
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFG.html#a7f4deffe7e13352b8c13eab110c834cc">MU</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1SVFG.html">SVF::SVFG</a></td><td class="entry"></td></tr>
|
|
243
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1SVFG.html#acdbe1c510273107b708935061b6c4127">MUSet</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1SVFG.html">SVF::SVFG</a></td><td class="entry"></td></tr>
|
|
244
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html#a38122734cbe71551a420dfb7fee2012e">nodeNum</a></td><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html">SVF::GenericGraph< NodeTy, EdgeTy ></a></td><td class="entry"></td></tr>
|
|
245
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html#a86c50fc6775fd29f88df2cb4646bb211">NodeType</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html">SVF::GenericGraph< NodeTy, EdgeTy ></a></td><td class="entry"></td></tr>
|
|
246
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1VFG.html#a25c2bbbc2e966e2aaa59a5b83363557a">pag</a></td><td class="entry"><a class="el" href="classSVF_1_1VFG.html">SVF::VFG</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
|
|
247
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1VFG.html#a462fe6eefc55a436f90f91adeb34726f">PAGEdgeToStmtVFGNodeMap</a></td><td class="entry"><a class="el" href="classSVF_1_1VFG.html">SVF::VFG</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
|
|
248
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1VFG.html#ab37b067a59b52c472a284eabbeba43ff">PAGEdgeToStmtVFGNodeMapTy</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1VFG.html">SVF::VFG</a></td><td class="entry"></td></tr>
|
|
249
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1VFG.html#ab12de81e2912f06551ca7a6693f5046b">PAGNodeSet</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1VFG.html">SVF::VFG</a></td><td class="entry"></td></tr>
|
|
250
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1VFG.html#a8b256a40e690f31b7a56308d55bad45a">PAGNodeToActualParmMap</a></td><td class="entry"><a class="el" href="classSVF_1_1VFG.html">SVF::VFG</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
|
|
251
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1VFG.html#a6d0a91e8c2cd18d846870c7e062a1bb4">PAGNodeToActualParmMapTy</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1VFG.html">SVF::VFG</a></td><td class="entry"></td></tr>
|
|
252
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1VFG.html#a28c5f7e331a437e09682b972769acf66">PAGNodeToActualRetMap</a></td><td class="entry"><a class="el" href="classSVF_1_1VFG.html">SVF::VFG</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
|
|
253
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1VFG.html#a999654aa377639db5c1e40f603e655a7">PAGNodeToActualRetMapTy</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1VFG.html">SVF::VFG</a></td><td class="entry"></td></tr>
|
|
254
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1VFG.html#a0f554fd778b338cbd7e4272eaefc96f6">PAGNodeToBinaryOPVFGNodeMap</a></td><td class="entry"><a class="el" href="classSVF_1_1VFG.html">SVF::VFG</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
|
|
255
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1VFG.html#a7cefa553955e208d6eb4fcd01ed3c383">PAGNodeToBinaryOPVFGNodeMapTy</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1VFG.html">SVF::VFG</a></td><td class="entry"></td></tr>
|
|
256
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1VFG.html#af8c8d0eb778a2a94a33c0b97ee3704c1">PAGNodeToBranchVFGNodeMap</a></td><td class="entry"><a class="el" href="classSVF_1_1VFG.html">SVF::VFG</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
|
|
257
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1VFG.html#a6ec1a8b02ece25aa165699e10fac7991">PAGNodeToBranchVFGNodeMapTy</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1VFG.html">SVF::VFG</a></td><td class="entry"></td></tr>
|
|
258
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1VFG.html#a9a16c7a7b0df273c1dcbe6ba3aef8fde">PAGNodeToCmpVFGNodeMap</a></td><td class="entry"><a class="el" href="classSVF_1_1VFG.html">SVF::VFG</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
|
|
259
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1VFG.html#a9c2446f54d3738b6c0e65632a1200ba0">PAGNodeToCmpVFGNodeMapTy</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1VFG.html">SVF::VFG</a></td><td class="entry"></td></tr>
|
|
260
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1VFG.html#ac89b3917ed73ac70aac6205af8f7a4fe">PAGNodeToDefMap</a></td><td class="entry"><a class="el" href="classSVF_1_1VFG.html">SVF::VFG</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
|
|
261
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1SVFG.html#a2590182f3b28c7fc8b2b53c09ec4305c">PAGNodeToDefMapTy</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1SVFG.html">SVF::SVFG</a></td><td class="entry"></td></tr>
|
|
262
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1VFG.html#ad014bc47ceba578c368da19e2d86b8f8">PAGNodeToFormalParmMap</a></td><td class="entry"><a class="el" href="classSVF_1_1VFG.html">SVF::VFG</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
|
|
263
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1VFG.html#a6eb72d2fe080def018d09604fe3affcf">PAGNodeToFormalParmMapTy</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1VFG.html">SVF::VFG</a></td><td class="entry"></td></tr>
|
|
264
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1VFG.html#a190a59a119215dbb2556735ba3213a2a">PAGNodeToFormalRetMap</a></td><td class="entry"><a class="el" href="classSVF_1_1VFG.html">SVF::VFG</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
|
|
265
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1VFG.html#a52dac90d700a2377b657ec34d3ad2241">PAGNodeToFormalRetMapTy</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1VFG.html">SVF::VFG</a></td><td class="entry"></td></tr>
|
|
266
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1VFG.html#a598bc7a6863a6eccc3e089b63e9add17">PAGNodeToIntraPHIVFGNodeMap</a></td><td class="entry"><a class="el" href="classSVF_1_1VFG.html">SVF::VFG</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
|
|
267
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1VFG.html#aeed3eca629b10554f40b1d2b478580d4">PAGNodeToPHIVFGNodeMapTy</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1VFG.html">SVF::VFG</a></td><td class="entry"></td></tr>
|
|
268
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1VFG.html#ac7083aa233d8e3820d6eb8e922f0c051">PAGNodeToUnaryOPVFGNodeMap</a></td><td class="entry"><a class="el" href="classSVF_1_1VFG.html">SVF::VFG</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
|
|
269
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1VFG.html#acfcd84ac6bedde4e7e74abdeb9233474">PAGNodeToUnaryOPVFGNodeMapTy</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1VFG.html">SVF::VFG</a></td><td class="entry"></td></tr>
|
|
270
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFG.html#adc9fbb4553472b238d6c3bb5062279cb">performStat</a>()</td><td class="entry"><a class="el" href="classSVF_1_1SVFG.html">SVF::SVFG</a></td><td class="entry"></td></tr>
|
|
271
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1SVFG.html#aef7ee9d802934d51b3761663bdaf0c05">PHISet</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1SVFG.html">SVF::SVFG</a></td><td class="entry"></td></tr>
|
|
272
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFG.html#a0d6cfa496e6885fe31b6b7a651fa01a8">pta</a></td><td class="entry"><a class="el" href="classSVF_1_1SVFG.html">SVF::SVFG</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
|
|
273
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1VFG.html#ac2e2f555975063da3fa1932ac35802c6ada8562b20e8d888a4b421c200957294d">PTRONLYSVFG</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1VFG.html">SVF::VFG</a></td><td class="entry"></td></tr>
|
|
274
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1VFG.html#ac2e2f555975063da3fa1932ac35802c6a8ed0b9aea88fbbbe91f33301bea0c9dd">PTRONLYSVFG_OPT</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1VFG.html">SVF::VFG</a></td><td class="entry"></td></tr>
|
|
275
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1SVFG.html#a67654d252e9e93b74e35ba247048b41a">RcSvfgBuilder</a> class</td><td class="entry"><a class="el" href="classSVF_1_1SVFG.html">SVF::SVFG</a></td><td class="entry"><span class="mlabel">friend</span></td></tr>
|
|
276
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFG.html#a9da50b8f467066b478143af64f7c9858">readFile</a>(const std::string &filename)</td><td class="entry"><a class="el" href="classSVF_1_1SVFG.html">SVF::SVFG</a></td><td class="entry"><span class="mlabel">virtual</span></td></tr>
|
|
277
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html#a1817b65e76052f11e36a67d6b9efd915">removeGNode</a>(NodeType *node)</td><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html">SVF::GenericGraph< NodeTy, EdgeTy ></a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
278
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFG.html#a931d8b82e10a54d68c68cf6bd80264be">removeSVFGEdge</a>(SVFGEdge *edge)</td><td class="entry"><a class="el" href="classSVF_1_1SVFG.html">SVF::SVFG</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
279
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1SVFG.html#a700c5fc6c1cb4136e55196fe3d393b8b">removeSVFGNode</a>(SVFGNode *node)</td><td class="entry"><a class="el" href="classSVF_1_1SVFG.html">SVF::SVFG</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
280
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1VFG.html#aeb24b155fe31813b2e6dc0564f55738a">removeVFGEdge</a>(VFGEdge *edge)</td><td class="entry"><a class="el" href="classSVF_1_1VFG.html">SVF::VFG</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
281
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1VFG.html#a122aa5ad874170ef644cee8705f1ef3e">removeVFGNode</a>(VFGNode *node)</td><td class="entry"><a class="el" href="classSVF_1_1VFG.html">SVF::VFG</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
282
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFG.html#a047573d70182da351b9e3bbf66ca0056">RETMU</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1SVFG.html">SVF::SVFG</a></td><td class="entry"></td></tr>
|
|
283
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1VFG.html#abf966182c28f0521dcd161aa299e453d">RetPESet</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1VFG.html">SVF::VFG</a></td><td class="entry"></td></tr>
|
|
284
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFG.html#a93a4287b55425abc188e5f5f2de54297">SaberSVFGBuilder</a> class</td><td class="entry"><a class="el" href="classSVF_1_1SVFG.html">SVF::SVFG</a></td><td class="entry"><span class="mlabel">friend</span></td></tr>
|
|
285
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1SVFG.html#accd1cbd26c9b194971f3107a57a0ab2e">setDef</a>(const PAGNode *pagNode, const SVFGNode *node)</td><td class="entry"><a class="el" href="classSVF_1_1SVFG.html">SVF::SVFG</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">protected</span></td></tr>
|
|
286
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFG.html#aa3ebc066d376e7ed508d2bce49fa864d">setDef</a>(const MRVer *mvar, const SVFGNode *node)</td><td class="entry"><a class="el" href="classSVF_1_1SVFG.html">SVF::SVFG</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">protected</span></td></tr>
|
|
287
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1SVFG.html#ad5c1415f488ec4412d5457262269eff3">stat</a></td><td class="entry"><a class="el" href="classSVF_1_1SVFG.html">SVF::SVFG</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
|
|
288
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFG.html#ad14cdbb3f1df1f716aa03b4d39f4e52b">STORECHI</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1SVFG.html">SVF::SVFG</a></td><td class="entry"></td></tr>
|
|
289
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1SVFG.html#a07d48490eda50ee6d31f295150409cf3">SVFG</a>(std::unique_ptr< MemSSA > mssa, VFGK k)</td><td class="entry"><a class="el" href="classSVF_1_1SVFG.html">SVF::SVFG</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
|
|
290
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFG.html#ab2f81db3935389480baa5cb14e15e9d7">SVFGBuilder</a> class</td><td class="entry"><a class="el" href="classSVF_1_1SVFG.html">SVF::SVFG</a></td><td class="entry"><span class="mlabel">friend</span></td></tr>
|
|
291
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1VFG.html#ac97ef8c479556f9ca2c40cd4d8a18694">SVFGEdgeSetTy</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1VFG.html">SVF::VFG</a></td><td class="entry"></td></tr>
|
|
292
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFG.html#a3d04ce1429b1edf90c9c0833e3b5a4a9">SVFGNodeIDToNodeMapTy</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1SVFG.html">SVF::SVFG</a></td><td class="entry"></td></tr>
|
|
293
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1VFG.html#a8e3633597a4dca714df20e0720b31f1e">SVFStmtSet</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1VFG.html">SVF::VFG</a></td><td class="entry"></td></tr>
|
|
294
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFG.html#a665c93b68f49078c281270a028d04445">TaintSVFGBuilder</a> class</td><td class="entry"><a class="el" href="classSVF_1_1SVFG.html">SVF::SVFG</a></td><td class="entry"><span class="mlabel">friend</span></td></tr>
|
|
295
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1VFG.html#acb181d4f9faa40578c80e2018e2742b8">totalVFGNode</a></td><td class="entry"><a class="el" href="classSVF_1_1VFG.html">SVF::VFG</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
|
|
296
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1VFG.html#a0c0a7c8f0bd27bc9e88ce54c0809b11b">updateCallGraph</a>(PointerAnalysis *pta)</td><td class="entry"><a class="el" href="classSVF_1_1VFG.html">SVF::VFG</a></td><td class="entry"></td></tr>
|
|
297
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1VFG.html#a8ba98bb3d888ec5ff40f511da14b37bc">VFG</a>(PTACallGraph *callgraph, VFGK k=FULLSVFG)</td><td class="entry"><a class="el" href="classSVF_1_1VFG.html">SVF::VFG</a></td><td class="entry"></td></tr>
|
|
298
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1VFG.html#a0bdac7337a393ad2e21a33ec1978ca3f">VFGEdgeSetTy</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1VFG.html">SVF::VFG</a></td><td class="entry"></td></tr>
|
|
299
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1VFG.html#ac2e2f555975063da3fa1932ac35802c6">VFGK</a> enum name</td><td class="entry"><a class="el" href="classSVF_1_1VFG.html">SVF::VFG</a></td><td class="entry"></td></tr>
|
|
300
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1VFG.html#aca5b658b87728ac8bd7e562d51e771f8">VFGNodeIDToNodeMapTy</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1VFG.html">SVF::VFG</a></td><td class="entry"></td></tr>
|
|
301
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1VFG.html#a3037ca34a555ebdb4fbf0e86291dc4ea">VFGNodeIter</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1VFG.html">SVF::VFG</a></td><td class="entry"></td></tr>
|
|
302
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1VFG.html#a43f4002b0beb00ed2026f7edd9ebbb1c">VFGNodes</a>(const SVFFunction *fun) const</td><td class="entry"><a class="el" href="classSVF_1_1VFG.html">SVF::VFG</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
303
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1VFG.html#a03d388eec513f713f5e0d06f920168db">VFGNodeSet</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1VFG.html">SVF::VFG</a></td><td class="entry"></td></tr>
|
|
304
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1VFG.html#ae4350f68e960bfef87f44587628b1929">view</a>()</td><td class="entry"><a class="el" href="classSVF_1_1VFG.html">SVF::VFG</a></td><td class="entry"></td></tr>
|
|
305
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1SVFG.html#a7ce9ec638995467c211958262be08ee1">writeToFile</a>(const std::string &filename)</td><td class="entry"><a class="el" href="classSVF_1_1SVFG.html">SVF::SVFG</a></td><td class="entry"><span class="mlabel">virtual</span></td></tr>
|
|
306
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html#a3b94850d788a1b8da45e9b8bf2f2df2c">~GenericGraph</a>()</td><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html">SVF::GenericGraph< NodeTy, EdgeTy ></a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
|
|
307
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1SVFG.html#a710a36fc3f4ad15010c4469abcd032e5">~SVFG</a>()</td><td class="entry"><a class="el" href="classSVF_1_1SVFG.html">SVF::SVFG</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
|
|
308
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1VFG.html#a66f439ffebda7a81925514b77199154b">~VFG</a>()</td><td class="entry"><a class="el" href="classSVF_1_1VFG.html">SVF::VFG</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
|
|
308
309
|
</table></div><!-- contents -->
|
|
309
310
|
<!-- start footer part -->
|
|
310
311
|
<hr class="footer"/><address class="footer"><small>
|