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
|
@@ -162,7 +162,7 @@ $(function() {
|
|
|
162
162
|
<div class="ttc" id="classSVF_1_1SVFValue_html_afb50ea5aeea7a0608a3c9335aea6860ea46330181ad60cd2f0766fb392063ee21"><div class="ttname"><a href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860ea46330181ad60cd2f0766fb392063ee21">SVF::SVFValue::SVFArg</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00163">SVFValue.h:163</a></div></div>
|
|
163
163
|
<div class="ttc" id="classSVF_1_1SVFConstantData_html"><div class="ttname"><a href="classSVF_1_1SVFConstantData.html">SVF::SVFConstantData</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00856">SVFValue.h:856</a></div></div>
|
|
164
164
|
<div class="ttc" id="classSVF_1_1SVFFunction_html_a1e9dc1d660e3626540b7501194bb12ea"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#a1e9dc1d660e3626540b7501194bb12ea">SVF::SVFFunction::isUncalled</a></div><div class="ttdeci">bool isUncalled</div><div class="ttdoc">return true if this function is address-taken (for indirect call purposes) </div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00271">SVFValue.h:271</a></div></div>
|
|
165
|
-
<div class="ttc" id="namespaceSVF_html_af95793adab8fb9aa19e19027e73372a6"><div class="ttname"><a href="namespaceSVF.html#af95793adab8fb9aa19e19027e73372a6">SVF::operator<<</a></div><div class="ttdeci">IntervalValue operator<<(const IntervalValue &lhs, const IntervalValue &rhs)</div><div class="ttdoc">Left binary shift of IntervalValues. </div><div class="ttdef"><b>Definition:</b> <a href="IntervalValue_8h_source.html#
|
|
165
|
+
<div class="ttc" id="namespaceSVF_html_af95793adab8fb9aa19e19027e73372a6"><div class="ttname"><a href="namespaceSVF.html#af95793adab8fb9aa19e19027e73372a6">SVF::operator<<</a></div><div class="ttdeci">IntervalValue operator<<(const IntervalValue &lhs, const IntervalValue &rhs)</div><div class="ttdoc">Left binary shift of IntervalValues. </div><div class="ttdef"><b>Definition:</b> <a href="IntervalValue_8h_source.html#l00719">IntervalValue.h:719</a></div></div>
|
|
166
166
|
<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>
|
|
167
167
|
<div class="ttc" id="classSVF_1_1SVFFunction_html_a3a482ac970b808b932f9f50f0e0703e5"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#a3a482ac970b808b932f9f50f0e0703e5">SVF::SVFFunction::front</a></div><div class="ttdeci">const SVFBasicBlock * front() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00379">SVFValue.h:379</a></div></div>
|
|
168
168
|
<div class="ttc" id="classSVF_1_1SVFConstantNullPtr_html_ab1b6b67fc90132d8ddbac873ced2f76e"><div class="ttname"><a href="classSVF_1_1SVFConstantNullPtr.html#ab1b6b67fc90132d8ddbac873ced2f76e">SVF::SVFConstantNullPtr::classof</a></div><div class="ttdeci">static bool classof(const SVFValue *node)</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00949">SVFValue.h:949</a></div></div>
|
|
@@ -86,16 +86,16 @@ $(function() {
|
|
|
86
86
|
<div class="ttc" id="classSVF_1_1SparseBitVector_html_a28d0e5b43ad556d079b5b0ec58e898e4"><div class="ttname"><a href="classSVF_1_1SparseBitVector.html#a28d0e5b43ad556d079b5b0ec58e898e4">SVF::SparseBitVector::intersectWithComplement</a></div><div class="ttdeci">void intersectWithComplement(const SparseBitVector< ElementSize > *RHS1, const SparseBitVector< ElementSize > *RHS2)</div><div class="ttdef"><b>Definition:</b> <a href="SparseBitVector_8h_source.html#l01017">SparseBitVector.h:1017</a></div></div>
|
|
87
87
|
<div class="ttc" id="classSVF_1_1SparseBitVector_html_ada7cb2e144c2fccd0d50138778b152dd"><div class="ttname"><a href="classSVF_1_1SparseBitVector.html#ada7cb2e144c2fccd0d50138778b152dd">SVF::SparseBitVector::CurrElementIter</a></div><div class="ttdeci">ElementListIter CurrElementIter</div><div class="ttdef"><b>Definition:</b> <a href="SparseBitVector_8h_source.html#l00468">SparseBitVector.h:468</a></div></div>
|
|
88
88
|
<div class="ttc" id="classSVF_1_1SparseBitVector_1_1SparseBitVectorIterator_html_a5448a6bdf09ef6a45d7c8e84648221ea"><div class="ttname"><a href="classSVF_1_1SparseBitVector_1_1SparseBitVectorIterator.html#a5448a6bdf09ef6a45d7c8e84648221ea">SVF::SparseBitVector::SparseBitVectorIterator::operator!=</a></div><div class="ttdeci">bool operator!=(const SparseBitVectorIterator &RHS) const</div><div class="ttdef"><b>Definition:</b> <a href="SparseBitVector_8h_source.html#l00660">SparseBitVector.h:660</a></div></div>
|
|
89
|
-
<div class="ttc" id="namespaceSVF_html_a4bddb7dbd28d3c0deb3cd35e48179a36"><div class="ttname"><a href="namespaceSVF.html#a4bddb7dbd28d3c0deb3cd35e48179a36">SVF::operator-</a></div><div class="ttdeci">IntervalValue operator-(const IntervalValue &lhs, const IntervalValue &rhs)</div><div class="ttdoc">Substract IntervalValues. </div><div class="ttdef"><b>Definition:</b> <a href="IntervalValue_8h_source.html#
|
|
89
|
+
<div class="ttc" id="namespaceSVF_html_a4bddb7dbd28d3c0deb3cd35e48179a36"><div class="ttname"><a href="namespaceSVF.html#a4bddb7dbd28d3c0deb3cd35e48179a36">SVF::operator-</a></div><div class="ttdeci">IntervalValue operator-(const IntervalValue &lhs, const IntervalValue &rhs)</div><div class="ttdoc">Substract IntervalValues. </div><div class="ttdef"><b>Definition:</b> <a href="IntervalValue_8h_source.html#l00463">IntervalValue.h:463</a></div></div>
|
|
90
90
|
<div class="ttc" id="classSVF_1_1SparseBitVector_html_a48668ff6f168162bd8f13cf860749090"><div class="ttname"><a href="classSVF_1_1SparseBitVector.html#a48668ff6f168162bd8f13cf860749090">SVF::SparseBitVector::operator|=</a></div><div class="ttdeci">bool operator|=(const SparseBitVector &RHS)</div><div class="ttdef"><b>Definition:</b> <a href="SparseBitVector_8h_source.html#l00799">SparseBitVector.h:799</a></div></div>
|
|
91
91
|
<div class="ttc" id="structSVF_1_1LeadingZerosCounter_html"><div class="ttname"><a href="structSVF_1_1LeadingZerosCounter.html">SVF::LeadingZerosCounter</a></div><div class="ttdef"><b>Definition:</b> <a href="SparseBitVector_8h_source.html#l00102">SparseBitVector.h:102</a></div></div>
|
|
92
92
|
<div class="ttc" id="classSVF_1_1SparseBitVector_html_a112f2ede1240c95f9fe810f2882fab80"><div class="ttname"><a href="classSVF_1_1SparseBitVector.html#a112f2ede1240c95f9fe810f2882fab80">SVF::SparseBitVector::test</a></div><div class="ttdeci">bool test(unsigned Idx) const</div><div class="ttdef"><b>Definition:</b> <a href="SparseBitVector_8h_source.html#l00700">SparseBitVector.h:700</a></div></div>
|
|
93
93
|
<div class="ttc" id="classSVF_1_1SparseBitVector_html_ad5337b5aeed50f8b7ffd56b14ee25c9f"><div class="ttname"><a href="classSVF_1_1SparseBitVector.html#ad5337b5aeed50f8b7ffd56b14ee25c9f">SVF::SparseBitVector::reset</a></div><div class="ttdeci">void reset(unsigned Idx)</div><div class="ttdef"><b>Definition:</b> <a href="SparseBitVector_8h_source.html#l00716">SparseBitVector.h:716</a></div></div>
|
|
94
|
-
<div class="ttc" id="namespaceSVF_html_aeb5348e052254496cad4e036073c3941"><div class="ttname"><a href="namespaceSVF.html#aeb5348e052254496cad4e036073c3941">SVF::operator &</a></div><div class="ttdeci">IntervalValue operator &(const IntervalValue &lhs, const IntervalValue &rhs)</div><div class="ttdoc">Bitwise AND of IntervalValues. </div><div class="ttdef"><b>Definition:</b> <a href="IntervalValue_8h_source.html#
|
|
94
|
+
<div class="ttc" id="namespaceSVF_html_aeb5348e052254496cad4e036073c3941"><div class="ttname"><a href="namespaceSVF.html#aeb5348e052254496cad4e036073c3941">SVF::operator &</a></div><div class="ttdeci">IntervalValue operator &(const IntervalValue &lhs, const IntervalValue &rhs)</div><div class="ttdoc">Bitwise AND of IntervalValues. </div><div class="ttdef"><b>Definition:</b> <a href="IntervalValue_8h_source.html#l00775">IntervalValue.h:775</a></div></div>
|
|
95
95
|
<div class="ttc" id="classSVF_1_1SparseBitVector_html_a8b481ef53a27a351affecab90310b1ef"><div class="ttname"><a href="classSVF_1_1SparseBitVector.html#a8b481ef53a27a351affecab90310b1ef">SVF::SparseBitVector::intersectWithComplement</a></div><div class="ttdeci">bool intersectWithComplement(const SparseBitVector &RHS)</div><div class="ttdef"><b>Definition:</b> <a href="SparseBitVector_8h_source.html#l00897">SparseBitVector.h:897</a></div></div>
|
|
96
96
|
<div class="ttc" id="classSVF_1_1SparseBitVector_html_a9f96e6a886fa69e07cda5dbfaed8b7c9"><div class="ttname"><a href="classSVF_1_1SparseBitVector.html#a9f96e6a886fa69e07cda5dbfaed8b7c9">SVF::SparseBitVector::count</a></div><div class="ttdeci">unsigned count() const</div><div class="ttdef"><b>Definition:</b> <a href="SparseBitVector_8h_source.html#l01096">SparseBitVector.h:1096</a></div></div>
|
|
97
97
|
<div class="ttc" id="classSVF_1_1SparseBitVector_html_a06eeb5543eb160e08f9a41e30b52d963"><div class="ttname"><a href="classSVF_1_1SparseBitVector.html#a06eeb5543eb160e08f9a41e30b52d963">SVF::SparseBitVector::find_first</a></div><div class="ttdeci">int find_first() const</div><div class="ttdef"><b>Definition:</b> <a href="SparseBitVector_8h_source.html#l01073">SparseBitVector.h:1073</a></div></div>
|
|
98
|
-
<div class="ttc" id="namespaceSVF_html_abed4354cf0282ae30b8330c0e91008d8"><div class="ttname"><a href="namespaceSVF.html#abed4354cf0282ae30b8330c0e91008d8">SVF::operator|</a></div><div class="ttdeci">IntervalValue operator|(const IntervalValue &lhs, const IntervalValue &rhs)</div><div class="ttdoc">Bitwise OR of IntervalValues. </div><div class="ttdef"><b>Definition:</b> <a href="IntervalValue_8h_source.html#
|
|
98
|
+
<div class="ttc" id="namespaceSVF_html_abed4354cf0282ae30b8330c0e91008d8"><div class="ttname"><a href="namespaceSVF.html#abed4354cf0282ae30b8330c0e91008d8">SVF::operator|</a></div><div class="ttdeci">IntervalValue operator|(const IntervalValue &lhs, const IntervalValue &rhs)</div><div class="ttdoc">Bitwise OR of IntervalValues. </div><div class="ttdef"><b>Definition:</b> <a href="IntervalValue_8h_source.html#l00802">IntervalValue.h:802</a></div></div>
|
|
99
99
|
<div class="ttc" id="namespaceSVF_html_a9d6c986a34096a3552a6385ccbb724e4"><div class="ttname"><a href="namespaceSVF.html#a9d6c986a34096a3552a6385ccbb724e4">SVF::operator&=</a></div><div class="ttdeci">bool operator&=(SparseBitVector< ElementSize > *LHS, const SparseBitVector< ElementSize > &RHS)</div><div class="ttdef"><b>Definition:</b> <a href="SparseBitVector_8h_source.html#l01136">SparseBitVector.h:1136</a></div></div>
|
|
100
100
|
<div class="ttc" id="structSVF_1_1SparseBitVectorElement_html_ae63d6fcc488ad3cdcddf35edb4e9c827"><div class="ttname"><a href="structSVF_1_1SparseBitVectorElement.html#ae63d6fcc488ad3cdcddf35edb4e9c827">SVF::SparseBitVectorElement::index</a></div><div class="ttdeci">unsigned index() const</div><div class="ttdef"><b>Definition:</b> <a href="SparseBitVector_8h_source.html#l00262">SparseBitVector.h:262</a></div></div>
|
|
101
101
|
<div class="ttc" id="classSVF_1_1SparseBitVector_1_1SparseBitVectorIterator_html_aae6ff6aada3863feb736619d4f8dba16"><div class="ttname"><a href="classSVF_1_1SparseBitVector_1_1SparseBitVectorIterator.html#aae6ff6aada3863feb736619d4f8dba16">SVF::SparseBitVector::SparseBitVectorIterator::BitNumber</a></div><div class="ttdeci">unsigned BitNumber</div><div class="ttdef"><b>Definition:</b> <a href="SparseBitVector_8h_source.html#l00539">SparseBitVector.h:539</a></div></div>
|