svf-tools 1.0.897 → 1.0.899

package/SVF-doxygen/html/SingleAbsValue_8h_source.html

@@ -546,21 +546,21 @@ $(function() {
 <div class="ttc" id="aclassSVF_1_1SingleAbsValue_html_a0e7dde6b5ae9a605230a49b3216ea6e8"><div class="ttname"><a href="classSVF_1_1SingleAbsValue.html#a0e7dde6b5ae9a605230a49b3216ea6e8">SVF::SingleAbsValue::bottomConstant</a></div><div class="ttdeci">static SingleAbsValue bottomConstant()</div><div class="ttdef"><b>Definition:</b> <a href="SingleAbsValue_8h_source.html#l00058">SingleAbsValue.h:58</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SingleAbsValue_html_a5ece7dbaa27e73795a89adb90afe60fe"><div class="ttname"><a href="classSVF_1_1SingleAbsValue.html#a5ece7dbaa27e73795a89adb90afe60fe">SVF::SingleAbsValue::isBottomAbsValue</a></div><div class="ttdeci">static bool isBottomAbsValue(const SingleAbsValue &amp;expr)</div><div class="ttdef"><b>Definition:</b> <a href="SingleAbsValue_8h_source.html#l00099">SingleAbsValue.h:99</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SingleAbsValue_html_aea878187748d809fdcc2568273a8d65b"><div class="ttname"><a href="classSVF_1_1SingleAbsValue.html#aea878187748d809fdcc2568273a8d65b">SVF::SingleAbsValue::leq</a></div><div class="ttdeci">bool leq(const SingleAbsValue &amp;rhs) const</div><div class="ttdoc">Less then or equal.</div><div class="ttdef"><b>Definition:</b> <a href="SingleAbsValue_8h_source.html#l00125">SingleAbsValue.h:125</a></div></div>
-<div class="ttc" id="aclassSVF_1_1Z3Expr_html_a57c199ba2c3c6a6d44a86e0b1429be55"><div class="ttname"><a href="classSVF_1_1Z3Expr.html#a57c199ba2c3c6a6d44a86e0b1429be55">SVF::Z3Expr::getExpr</a></div><div class="ttdeci">const z3::expr &amp; getExpr() const</div><div class="ttdef"><b>Definition:</b> <a href="Z3Expr_8h_source.html#l00079">Z3Expr.h:79</a></div></div>
+<div class="ttc" id="aclassSVF_1_1Z3Expr_html_a57c199ba2c3c6a6d44a86e0b1429be55"><div class="ttname"><a href="classSVF_1_1Z3Expr.html#a57c199ba2c3c6a6d44a86e0b1429be55">SVF::Z3Expr::getExpr</a></div><div class="ttdeci">const z3::expr &amp; getExpr() const</div><div class="ttdef"><b>Definition:</b> <a href="Z3Expr_8h_source.html#l00086">Z3Expr.h:86</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SingleAbsValue_html_aeb599c1bda7697fd9c52bf6438fdcee9"><div class="ttname"><a href="classSVF_1_1SingleAbsValue.html#aeb599c1bda7697fd9c52bf6438fdcee9">SVF::SingleAbsValue::SingleAbsValue</a></div><div class="ttdeci">SingleAbsValue(s32_t i)</div><div class="ttdef"><b>Definition:</b> <a href="SingleAbsValue_8h_source.html#l00028">SingleAbsValue.h:28</a></div></div>
 <div class="ttc" id="anamespaceSVF_html"><div class="ttname"><a href="namespaceSVF.html">SVF</a></div><div class="ttdoc">for isBitcode</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00067">BasicTypes.h:67</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SingleAbsValue_html_a89a127d236878ac142ce881df41ef793"><div class="ttname"><a href="classSVF_1_1SingleAbsValue.html#a89a127d236878ac142ce881df41ef793">SVF::SingleAbsValue::operator=</a></div><div class="ttdeci">SingleAbsValue &amp; operator=(const SingleAbsValue &amp;rhs)</div><div class="ttdef"><b>Definition:</b> <a href="SingleAbsValue_8h_source.html#l00032">SingleAbsValue.h:32</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SingleAbsValue_html_a9e181a02c4bd3f622bde912914b64715"><div class="ttname"><a href="classSVF_1_1SingleAbsValue.html#a9e181a02c4bd3f622bde912914b64715">SVF::SingleAbsValue::operator|</a></div><div class="ttdeci">friend SingleAbsValue operator|(const SingleAbsValue &amp;lhs, const SingleAbsValue &amp;rhs)</div><div class="ttdef"><b>Definition:</b> <a href="SingleAbsValue_8h_source.html#l00307">SingleAbsValue.h:307</a></div></div>
-<div class="ttc" id="aclassSVF_1_1Z3Expr_html_a631cb7cee0e1f9b7204b9293f4e516a9"><div class="ttname"><a href="classSVF_1_1Z3Expr.html#a631cb7cee0e1f9b7204b9293f4e516a9">SVF::Z3Expr::hash</a></div><div class="ttdeci">u32_t hash() const</div><div class="ttdoc">get hash id</div><div class="ttdef"><b>Definition:</b> <a href="Z3Expr_8h_source.html#l00110">Z3Expr.h:110</a></div></div>
+<div class="ttc" id="aclassSVF_1_1Z3Expr_html_a631cb7cee0e1f9b7204b9293f4e516a9"><div class="ttname"><a href="classSVF_1_1Z3Expr.html#a631cb7cee0e1f9b7204b9293f4e516a9">SVF::Z3Expr::hash</a></div><div class="ttdeci">u32_t hash() const</div><div class="ttdoc">get hash id</div><div class="ttdef"><b>Definition:</b> <a href="Z3Expr_8h_source.html#l00117">Z3Expr.h:117</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SingleAbsValue_html_a7009d1a2517b29dda0bb58e5676687c2"><div class="ttname"><a href="classSVF_1_1SingleAbsValue.html#a7009d1a2517b29dda0bb58e5676687c2">SVF::SingleAbsValue::simplify</a></div><div class="ttdeci">SingleAbsValue simplify() const</div><div class="ttdef"><b>Definition:</b> <a href="SingleAbsValue_8h_source.html#l00458">SingleAbsValue.h:458</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SingleAbsValue_html_a37ed586cebb42c8c11f48dd28f33894b"><div class="ttname"><a href="classSVF_1_1SingleAbsValue.html#a37ed586cebb42c8c11f48dd28f33894b">SVF::SingleAbsValue::operator*</a></div><div class="ttdeci">friend SingleAbsValue operator*(const SingleAbsValue &amp;lhs, const SingleAbsValue &amp;rhs)</div><div class="ttdef"><b>Definition:</b> <a href="SingleAbsValue_8h_source.html#l00241">SingleAbsValue.h:241</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SingleAbsValue_html_aee10058065f8c8be04b6e27fb18b4a00"><div class="ttname"><a href="classSVF_1_1SingleAbsValue.html#aee10058065f8c8be04b6e27fb18b4a00">SVF::SingleAbsValue::join_with</a></div><div class="ttdeci">void join_with(const SingleAbsValue &amp;other)</div><div class="ttdef"><b>Definition:</b> <a href="SingleAbsValue_8h_source.html#l00063">SingleAbsValue.h:63</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SingleAbsValue_html_a817749cc657573d527c177d42b2f4950"><div class="ttname"><a href="classSVF_1_1SingleAbsValue.html#a817749cc657573d527c177d42b2f4950">SVF::SingleAbsValue::operator&lt;&lt;</a></div><div class="ttdeci">friend std::ostream &amp; operator&lt;&lt;(std::ostream &amp;out, const SingleAbsValue &amp;expr)</div><div class="ttdef"><b>Definition:</b> <a href="SingleAbsValue_8h_source.html#l00447">SingleAbsValue.h:447</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SingleAbsValue_html_a48568c2eb6d4b6088b7e1fd976730259"><div class="ttname"><a href="classSVF_1_1SingleAbsValue.html#a48568c2eb6d4b6088b7e1fd976730259">SVF::SingleAbsValue::ashr</a></div><div class="ttdeci">friend SingleAbsValue ashr(const SingleAbsValue &amp;lhs, const SingleAbsValue &amp;rhs)</div><div class="ttdef"><b>Definition:</b> <a href="SingleAbsValue_8h_source.html#l00322">SingleAbsValue.h:322</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SingleAbsValue_html_a99f9503d4daab12b3c4817b237c0a0fb"><div class="ttname"><a href="classSVF_1_1SingleAbsValue.html#a99f9503d4daab12b3c4817b237c0a0fb">SVF::SingleAbsValue::operator&amp;</a></div><div class="ttdeci">friend SingleAbsValue operator&amp;(const SingleAbsValue &amp;lhs, const SingleAbsValue &amp;rhs)</div><div class="ttdef"><b>Definition:</b> <a href="SingleAbsValue_8h_source.html#l00293">SingleAbsValue.h:293</a></div></div>
-<div class="ttc" id="aclassSVF_1_1BoundedZ3Expr_html_aeed1aed239b2f80be8da4870f89c31d4"><div class="ttname"><a href="classSVF_1_1BoundedZ3Expr.html#aeed1aed239b2f80be8da4870f89c31d4">SVF::BoundedZ3Expr::operator=</a></div><div class="ttdeci">BoundedZ3Expr &amp; operator=(const BoundedZ3Expr &amp;rhs)</div><div class="ttdef"><b>Definition:</b> <a href="BoundedZ3Expr_8h_source.html#l00058">BoundedZ3Expr.h:58</a></div></div>
+<div class="ttc" id="aclassSVF_1_1BoundedZ3Expr_html_aeed1aed239b2f80be8da4870f89c31d4"><div class="ttname"><a href="classSVF_1_1BoundedZ3Expr.html#aeed1aed239b2f80be8da4870f89c31d4">SVF::BoundedZ3Expr::operator=</a></div><div class="ttdeci">BoundedZ3Expr &amp; operator=(const BoundedZ3Expr &amp;rhs)</div><div class="ttdef"><b>Definition:</b> <a href="BoundedZ3Expr_8h_source.html#l00060">BoundedZ3Expr.h:60</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SingleAbsValue_html_a7fa4b919dfe1ae877298aea3b25f2b45"><div class="ttname"><a href="classSVF_1_1SingleAbsValue.html#a7fa4b919dfe1ae877298aea3b25f2b45">SVF::SingleAbsValue::operator!=</a></div><div class="ttdeci">friend SingleAbsValue operator!=(const SingleAbsValue &amp;lhs, const SingleAbsValue &amp;rhs)</div><div class="ttdef"><b>Definition:</b> <a href="SingleAbsValue_8h_source.html#l00157">SingleAbsValue.h:157</a></div></div>
-<div class="ttc" id="aclassSVF_1_1BoundedZ3Expr_html_af40c5e287f17eace7182557f46501b29"><div class="ttname"><a href="classSVF_1_1BoundedZ3Expr.html#af40c5e287f17eace7182557f46501b29">SVF::BoundedZ3Expr::getContext</a></div><div class="ttdeci">static z3::context &amp; getContext()</div><div class="ttdef"><b>Definition:</b> <a href="BoundedZ3Expr_8h_source.html#l00108">BoundedZ3Expr.h:108</a></div></div>
+<div class="ttc" id="aclassSVF_1_1BoundedZ3Expr_html_af40c5e287f17eace7182557f46501b29"><div class="ttname"><a href="classSVF_1_1BoundedZ3Expr.html#af40c5e287f17eace7182557f46501b29">SVF::BoundedZ3Expr::getContext</a></div><div class="ttdeci">static z3::context &amp; getContext()</div><div class="ttdef"><b>Definition:</b> <a href="BoundedZ3Expr_8h_source.html#l00110">BoundedZ3Expr.h:110</a></div></div>
 <div class="ttc" id="aclassSVF_1_1BoundedZ3Expr_html"><div class="ttname"><a href="classSVF_1_1BoundedZ3Expr.html">SVF::BoundedZ3Expr</a></div><div class="ttdef"><b>Definition:</b> <a href="BoundedZ3Expr_8h_source.html#l00042">BoundedZ3Expr.h:42</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SingleAbsValue_html_ad13d4fe654afd7ab08d27111b0b732bb"><div class="ttname"><a href="classSVF_1_1SingleAbsValue.html#ad13d4fe654afd7ab08d27111b0b732bb">SVF::SingleAbsValue::operator/</a></div><div class="ttdeci">friend SingleAbsValue operator/(const SingleAbsValue &amp;lhs, const SingleAbsValue &amp;rhs)</div><div class="ttdef"><b>Definition:</b> <a href="SingleAbsValue_8h_source.html#l00255">SingleAbsValue.h:255</a></div></div>
 <div class="ttc" id="aBoundedZ3Expr_8h_html"><div class="ttname"><a href="BoundedZ3Expr_8h.html">BoundedZ3Expr.h</a></div></div>
@@ -589,14 +589,14 @@ $(function() {
 <div class="ttc" id="aclassSVF_1_1SingleAbsValue_html_a9e6498ae2ea330a9eb10bbc2030014b7"><div class="ttname"><a href="classSVF_1_1SingleAbsValue.html#a9e6498ae2ea330a9eb10bbc2030014b7">SVF::SingleAbsValue::bv2int</a></div><div class="ttdeci">friend SingleAbsValue bv2int(const SingleAbsValue &amp;e, bool isSigned)</div><div class="ttdef"><b>Definition:</b> <a href="SingleAbsValue_8h_source.html#l00370">SingleAbsValue.h:370</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SingleAbsValue_html_a2c21237267a01d1621e51d1a5ece28ee"><div class="ttname"><a href="classSVF_1_1SingleAbsValue.html#a2c21237267a01d1621e51d1a5ece28ee">SVF::SingleAbsValue::operator%</a></div><div class="ttdeci">friend SingleAbsValue operator%(const SingleAbsValue &amp;lhs, const SingleAbsValue &amp;rhs)</div><div class="ttdef"><b>Definition:</b> <a href="SingleAbsValue_8h_source.html#l00269">SingleAbsValue.h:269</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SingleAbsValue_html_aadd133298bbe7c823ad90d0288a73f44"><div class="ttname"><a href="classSVF_1_1SingleAbsValue.html#aadd133298bbe7c823ad90d0288a73f44">SVF::SingleAbsValue::operator+</a></div><div class="ttdeci">friend SingleAbsValue operator+(const SingleAbsValue &amp;lhs, const SingleAbsValue &amp;rhs)</div><div class="ttdef"><b>Definition:</b> <a href="SingleAbsValue_8h_source.html#l00217">SingleAbsValue.h:217</a></div></div>
-<div class="ttc" id="aclassSVF_1_1Z3Expr_html_ad1802109545427278e3a8bde52e016b0"><div class="ttname"><a href="classSVF_1_1Z3Expr.html#ad1802109545427278e3a8bde52e016b0">SVF::Z3Expr::is_numeral</a></div><div class="ttdeci">bool is_numeral() const</div><div class="ttdef"><b>Definition:</b> <a href="Z3Expr_8h_source.html#l00120">Z3Expr.h:120</a></div></div>
+<div class="ttc" id="aclassSVF_1_1Z3Expr_html_ad1802109545427278e3a8bde52e016b0"><div class="ttname"><a href="classSVF_1_1Z3Expr.html#ad1802109545427278e3a8bde52e016b0">SVF::Z3Expr::is_numeral</a></div><div class="ttdeci">bool is_numeral() const</div><div class="ttdef"><b>Definition:</b> <a href="Z3Expr_8h_source.html#l00127">Z3Expr.h:127</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SingleAbsValue_html_a3e67fddad6aaec53320da2f8fb8d0f6b"><div class="ttname"><a href="classSVF_1_1SingleAbsValue.html#a3e67fddad6aaec53320da2f8fb8d0f6b">SVF::SingleAbsValue::eq</a></div><div class="ttdeci">friend bool eq(const SingleAbsValue &amp;lhs, const SingleAbsValue &amp;rhs)</div><div class="ttdef"><b>Definition:</b> <a href="SingleAbsValue_8h_source.html#l00453">SingleAbsValue.h:453</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SingleAbsValue_html_a42eed004077d61a0c062e1752844d0a6"><div class="ttname"><a href="classSVF_1_1SingleAbsValue.html#a42eed004077d61a0c062e1752844d0a6">SVF::SingleAbsValue::shl</a></div><div class="ttdeci">friend SingleAbsValue shl(const SingleAbsValue &amp;lhs, const SingleAbsValue &amp;rhs)</div><div class="ttdef"><b>Definition:</b> <a href="SingleAbsValue_8h_source.html#l00334">SingleAbsValue.h:334</a></div></div>
 <div class="ttc" id="aclassSVF_1_1Z3Expr_html_ae14d9fa0613b196420b90d20cc8df041"><div class="ttname"><a href="classSVF_1_1Z3Expr.html#ae14d9fa0613b196420b90d20cc8df041">SVF::Z3Expr::e</a></div><div class="ttdeci">z3::expr e</div><div class="ttdef"><b>Definition:</b> <a href="Z3Expr_8h_source.html#l00045">Z3Expr.h:45</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SingleAbsValue_html_affc856ad42b2ebd5ee0adc28542d25e4"><div class="ttname"><a href="classSVF_1_1SingleAbsValue.html#affc856ad42b2ebd5ee0adc28542d25e4">SVF::SingleAbsValue::operator&gt;</a></div><div class="ttdeci">friend SingleAbsValue operator&gt;(const SingleAbsValue &amp;lhs, const SingleAbsValue &amp;rhs)</div><div class="ttdef"><b>Definition:</b> <a href="SingleAbsValue_8h_source.html#l00169">SingleAbsValue.h:169</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SingleAbsValue_html_ab5e10abb06e9ead59de170d0128b3531"><div class="ttname"><a href="classSVF_1_1SingleAbsValue.html#ab5e10abb06e9ead59de170d0128b3531">SVF::SingleAbsValue::SingleAbsValue</a></div><div class="ttdeci">SingleAbsValue()=default</div></div>
 <div class="ttc" id="aclassSVF_1_1SingleAbsValue_html_ac1943aa4e51a3a748df209785eb42e22"><div class="ttname"><a href="classSVF_1_1SingleAbsValue.html#ac1943aa4e51a3a748df209785eb42e22">SVF::SingleAbsValue::operator!</a></div><div class="ttdeci">friend SingleAbsValue operator!(const SingleAbsValue &amp;lhs)</div><div class="ttdef"><b>Definition:</b> <a href="SingleAbsValue_8h_source.html#l00418">SingleAbsValue.h:418</a></div></div>
-<div class="ttc" id="aclassSVF_1_1BoundedZ3Expr_html_a9ee4ca16a8031420afec9f446ecdf24c"><div class="ttname"><a href="classSVF_1_1BoundedZ3Expr.html#a9ee4ca16a8031420afec9f446ecdf24c">SVF::BoundedZ3Expr::isZero</a></div><div class="ttdeci">static bool isZero(const BoundedZ3Expr &amp;expr)</div><div class="ttdef"><b>Definition:</b> <a href="BoundedZ3Expr_8h_source.html#l00118">BoundedZ3Expr.h:118</a></div></div>
+<div class="ttc" id="aclassSVF_1_1BoundedZ3Expr_html_a9ee4ca16a8031420afec9f446ecdf24c"><div class="ttname"><a href="classSVF_1_1BoundedZ3Expr.html#a9ee4ca16a8031420afec9f446ecdf24c">SVF::BoundedZ3Expr::isZero</a></div><div class="ttdeci">static bool isZero(const BoundedZ3Expr &amp;expr)</div><div class="ttdef"><b>Definition:</b> <a href="BoundedZ3Expr_8h_source.html#l00120">BoundedZ3Expr.h:120</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SingleAbsValue_html_a0f0a092868104d0f8e0c4c16ec07009b"><div class="ttname"><a href="classSVF_1_1SingleAbsValue.html#a0f0a092868104d0f8e0c4c16ec07009b">SVF::SingleAbsValue::SingleAbsValue</a></div><div class="ttdeci">SingleAbsValue(const BoundedZ3Expr &amp;z3Bound)</div><div class="ttdef"><b>Definition:</b> <a href="SingleAbsValue_8h_source.html#l00024">SingleAbsValue.h:24</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SingleAbsValue_html_afef13058a5d730798bd8b10cdf3e5ea3"><div class="ttname"><a href="classSVF_1_1SingleAbsValue.html#afef13058a5d730798bd8b10cdf3e5ea3">SVF::SingleAbsValue::set_to_top</a></div><div class="ttdeci">void set_to_top()</div><div class="ttdef"><b>Definition:</b> <a href="SingleAbsValue_8h_source.html#l00089">SingleAbsValue.h:89</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SingleAbsValue_html"><div class="ttname"><a href="classSVF_1_1SingleAbsValue.html">SVF::SingleAbsValue</a></div><div class="ttdef"><b>Definition:</b> <a href="SingleAbsValue_8h_source.html#l00016">SingleAbsValue.h:16</a></div></div>

package/SVF-doxygen/html/SparseBitVector_8h_source.html

@@ -1275,7 +1275,7 @@ $(function() {
 <div class="ttc" id="aclassSVF_1_1SparseBitVector_html"><div class="ttname"><a href="classSVF_1_1SparseBitVector.html">SVF::SparseBitVector</a></div><div class="ttdef"><b>Definition:</b> <a href="SparseBitVector_8h_source.html#l00459">SparseBitVector.h:459</a></div></div>
 <div class="ttc" id="astructSVF_1_1SparseBitVectorElement_html_a6d81176f07f369b38da34e624710b387"><div class="ttname"><a href="structSVF_1_1SparseBitVectorElement.html#a6d81176f07f369b38da34e624710b387">SVF::SparseBitVectorElement::intersectWithComplement</a></div><div class="ttdeci">void intersectWithComplement(const SparseBitVectorElement &amp;RHS1, const SparseBitVectorElement &amp;RHS2, bool &amp;BecameZero)</div><div class="ttdef"><b>Definition:</b> <a href="SparseBitVector_8h_source.html#l00441">SparseBitVector.h:441</a></div></div>
 <div class="ttc" id="astructSVF_1_1SparseBitVectorElement_html_a2281ff5a0a492064cff864d4c246cbc2"><div class="ttname"><a href="structSVF_1_1SparseBitVectorElement.html#a2281ff5a0a492064cff864d4c246cbc2">SVF::SparseBitVectorElement::find_first</a></div><div class="ttdeci">int find_first() const</div><div class="ttdoc">find_first - Returns the index of the first set bit.</div><div class="ttdef"><b>Definition:</b> <a href="SparseBitVector_8h_source.html#l00315">SparseBitVector.h:315</a></div></div>
-<div class="ttc" id="anamespaceSVF_html_abed4354cf0282ae30b8330c0e91008d8"><div class="ttname"><a href="namespaceSVF.html#abed4354cf0282ae30b8330c0e91008d8">SVF::operator|</a></div><div class="ttdeci">IntervalValue operator|(const IntervalValue &amp;lhs, const IntervalValue &amp;rhs)</div><div class="ttdoc">Bitwise OR of IntervalValues.</div><div class="ttdef"><b>Definition:</b> <a href="IntervalValue_8h_source.html#l00868">IntervalValue.h:868</a></div></div>
+<div class="ttc" id="anamespaceSVF_html_abed4354cf0282ae30b8330c0e91008d8"><div class="ttname"><a href="namespaceSVF.html#abed4354cf0282ae30b8330c0e91008d8">SVF::operator|</a></div><div class="ttdeci">IntervalValue operator|(const IntervalValue &amp;lhs, const IntervalValue &amp;rhs)</div><div class="ttdoc">Bitwise OR of IntervalValues.</div><div class="ttdef"><b>Definition:</b> <a href="IntervalValue_8h_source.html#l00920">IntervalValue.h:920</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SparseBitVector_html_ab094576b73de3c8580ea152f90d63636"><div class="ttname"><a href="classSVF_1_1SparseBitVector.html#ab094576b73de3c8580ea152f90d63636">SVF::SparseBitVector::Elements</a></div><div class="ttdeci">ElementList Elements</div><div class="ttdef"><b>Definition:</b> <a href="SparseBitVector_8h_source.html#l00472">SparseBitVector.h:472</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SparseBitVector_html_a9cb4261779da0cbeb8d09b8fbd5cf557"><div class="ttname"><a href="classSVF_1_1SparseBitVector.html#a9cb4261779da0cbeb8d09b8fbd5cf557">SVF::SparseBitVector::SparseBitVector</a></div><div class="ttdeci">SparseBitVector(const SparseBitVector &amp;RHS)</div><div class="ttdef"><b>Definition:</b> <a href="SparseBitVector_8h_source.html#l00679">SparseBitVector.h:679</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SparseBitVector_1_1SparseBitVectorIterator_html_abc3768e05459a1d0a2d2220858a7a53d"><div class="ttname"><a href="classSVF_1_1SparseBitVector_1_1SparseBitVectorIterator.html#abc3768e05459a1d0a2d2220858a7a53d">SVF::SparseBitVector::SparseBitVectorIterator::Bits</a></div><div class="ttdeci">SparseBitVectorElement&lt; ElementSize &gt;::BitWord Bits</div><div class="ttdef"><b>Definition:</b> <a href="SparseBitVector_8h_source.html#l00553">SparseBitVector.h:553</a></div></div>
@@ -1289,10 +1289,10 @@ $(function() {
 <div class="ttc" id="aclassSVF_1_1SparseBitVector_html_a1558d1431f987fa42e99126e171a5a00"><div class="ttname"><a href="classSVF_1_1SparseBitVector.html#a1558d1431f987fa42e99126e171a5a00">SVF::SparseBitVector::operator&amp;=</a></div><div class="ttdeci">bool operator&amp;=(const SparseBitVector &amp;RHS)</div><div class="ttdef"><b>Definition:</b> <a href="SparseBitVector_8h_source.html#l00844">SparseBitVector.h:844</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SparseBitVector_1_1SparseBitVectorIterator_html_ab1f0f55fdfef6b2d64d0a715483f5da4"><div class="ttname"><a href="classSVF_1_1SparseBitVector_1_1SparseBitVectorIterator.html#ab1f0f55fdfef6b2d64d0a715483f5da4">SVF::SparseBitVector::SparseBitVectorIterator::operator*</a></div><div class="ttdeci">unsigned operator*() const</div><div class="ttdef"><b>Definition:</b> <a href="SparseBitVector_8h_source.html#l00653">SparseBitVector.h:653</a></div></div>
 <div class="ttc" id="astructSVF_1_1SparseBitVectorElement_html_ad9e38352db094adcdfb2964f325d9e53"><div class="ttname"><a href="structSVF_1_1SparseBitVectorElement.html#ad9e38352db094adcdfb2964f325d9e53">SVF::SparseBitVectorElement::size_type</a></div><div class="ttdeci">unsigned size_type</div><div class="ttdef"><b>Definition:</b> <a href="SparseBitVector_8h_source.html#l00224">SparseBitVector.h:224</a></div></div>
-<div class="ttc" id="anamespaceSVF_html_a8ca7e84917358976240bc88c3cceb0c2"><div class="ttname"><a href="namespaceSVF.html#a8ca7e84917358976240bc88c3cceb0c2">SVF::operator&amp;</a></div><div class="ttdeci">IntervalValue operator&amp;(const IntervalValue &amp;lhs, const IntervalValue &amp;rhs)</div><div class="ttdoc">Bitwise AND of IntervalValues.</div><div class="ttdef"><b>Definition:</b> <a href="IntervalValue_8h_source.html#l00841">IntervalValue.h:841</a></div></div>
+<div class="ttc" id="anamespaceSVF_html_a8ca7e84917358976240bc88c3cceb0c2"><div class="ttname"><a href="namespaceSVF.html#a8ca7e84917358976240bc88c3cceb0c2">SVF::operator&amp;</a></div><div class="ttdeci">IntervalValue operator&amp;(const IntervalValue &amp;lhs, const IntervalValue &amp;rhs)</div><div class="ttdoc">Bitwise AND of IntervalValues.</div><div class="ttdef"><b>Definition:</b> <a href="IntervalValue_8h_source.html#l00893">IntervalValue.h:893</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SparseBitVector_1_1SparseBitVectorIterator_html_a7fc92990c6a09c33c3676ab47807bc68"><div class="ttname"><a href="classSVF_1_1SparseBitVector_1_1SparseBitVectorIterator.html#a7fc92990c6a09c33c3676ab47807bc68">SVF::SparseBitVector::SparseBitVectorIterator::operator==</a></div><div class="ttdeci">bool operator==(const SparseBitVectorIterator &amp;RHS) const</div><div class="ttdef"><b>Definition:</b> <a href="SparseBitVector_8h_source.html#l00658">SparseBitVector.h:658</a></div></div>
 <div class="ttc" id="anamespaceSVF_html_a68ad438785ef7186d76378b98dc83543"><div class="ttname"><a href="namespaceSVF.html#a68ad438785ef7186d76378b98dc83543">SVF::operator&amp;=</a></div><div class="ttdeci">bool operator&amp;=(SparseBitVector&lt; ElementSize &gt; *LHS, const SparseBitVector&lt; ElementSize &gt; &amp;RHS)</div><div class="ttdef"><b>Definition:</b> <a href="SparseBitVector_8h_source.html#l01144">SparseBitVector.h:1144</a></div></div>
-<div class="ttc" id="anamespaceSVF_html_a4bddb7dbd28d3c0deb3cd35e48179a36"><div class="ttname"><a href="namespaceSVF.html#a4bddb7dbd28d3c0deb3cd35e48179a36">SVF::operator-</a></div><div class="ttdeci">IntervalValue operator-(const IntervalValue &amp;lhs, const IntervalValue &amp;rhs)</div><div class="ttdoc">Subtract IntervalValues.</div><div class="ttdef"><b>Definition:</b> <a href="IntervalValue_8h_source.html#l00477">IntervalValue.h:477</a></div></div>
+<div class="ttc" id="anamespaceSVF_html_a4bddb7dbd28d3c0deb3cd35e48179a36"><div class="ttname"><a href="namespaceSVF.html#a4bddb7dbd28d3c0deb3cd35e48179a36">SVF::operator-</a></div><div class="ttdeci">IntervalValue operator-(const IntervalValue &amp;lhs, const IntervalValue &amp;rhs)</div><div class="ttdoc">Subtract IntervalValues.</div><div class="ttdef"><b>Definition:</b> <a href="IntervalValue_8h_source.html#l00529">IntervalValue.h:529</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SparseBitVector_1_1SparseBitVectorIterator_html_aa28c3c88d66d8bc3dbf96e2f4bd84fab"><div class="ttname"><a href="classSVF_1_1SparseBitVector_1_1SparseBitVectorIterator.html#aa28c3c88d66d8bc3dbf96e2f4bd84fab">SVF::SparseBitVector::SparseBitVectorIterator::AtEnd</a></div><div class="ttdeci">bool AtEnd</div><div class="ttdef"><b>Definition:</b> <a href="SparseBitVector_8h_source.html#l00539">SparseBitVector.h:539</a></div></div>
 <div class="ttc" id="astructSVF_1_1SparseBitVectorElement_html_a8484d923c29872843b0d0ffcebf4d112"><div class="ttname"><a href="structSVF_1_1SparseBitVectorElement.html#a8484d923c29872843b0d0ffcebf4d112">SVF::SparseBitVectorElement::operator==</a></div><div class="ttdeci">bool operator==(const SparseBitVectorElement &amp;RHS) const</div><div class="ttdef"><b>Definition:</b> <a href="SparseBitVector_8h_source.html#l00245">SparseBitVector.h:245</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SparseBitVector_1_1SparseBitVectorIterator_html_a6b139db78c9cba017df0fa468bee713a"><div class="ttname"><a href="classSVF_1_1SparseBitVector_1_1SparseBitVectorIterator.html#a6b139db78c9cba017df0fa468bee713a">SVF::SparseBitVector::SparseBitVectorIterator::WordNumber</a></div><div class="ttdeci">unsigned WordNumber</div><div class="ttdef"><b>Definition:</b> <a href="SparseBitVector_8h_source.html#l00550">SparseBitVector.h:550</a></div></div>

package/SVF-doxygen/html/SrcSnkDDA_8cpp_source.html

@@ -415,7 +415,7 @@ $(function() {
 <div class="ttc" id="aclassSVF_1_1SVFModule_html"><div class="ttname"><a href="classSVF_1_1SVFModule.html">SVF::SVFModule</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFModule_8h_source.html#l00040">SVFModule.h:40</a></div></div>
 <div class="ttc" id="anamespaceSVF_1_1SVFUtil_html_aed0b0b9f035057552a6a82154fd88e61"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#aed0b0b9f035057552a6a82154fd88e61">SVF::SVFUtil::outs</a></div><div class="ttdeci">std::ostream &amp; outs()</div><div class="ttdoc">Overwrite llvm::outs()</div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8h_source.html#l00050">SVFUtil.h:50</a></div></div>
 <div class="ttc" id="aclassSVF_1_1GepVFGNode_html"><div class="ttname"><a href="classSVF_1_1GepVFGNode.html">SVF::GepVFGNode</a></div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00594">VFGNode.h:594</a></div></div>
-<div class="ttc" id="anamespaceSVF_html_a03d88a0302bcd253387690f13f693f64"><div class="ttname"><a href="namespaceSVF.html#a03d88a0302bcd253387690f13f693f64">SVF::CallSiteID</a></div><div class="ttdeci">unsigned CallSiteID</div><div class="ttdef"><b>Definition:</b> <a href="GeneralType_8h_source.html#l00054">GeneralType.h:54</a></div></div>
+<div class="ttc" id="anamespaceSVF_html_a03d88a0302bcd253387690f13f693f64"><div class="ttname"><a href="namespaceSVF.html#a03d88a0302bcd253387690f13f693f64">SVF::CallSiteID</a></div><div class="ttdeci">unsigned CallSiteID</div><div class="ttdef"><b>Definition:</b> <a href="GeneralType_8h_source.html#l00058">GeneralType.h:58</a></div></div>
 <div class="ttc" id="aclassSVF_1_1VFGNode_html_a3c558955f60c237c558d8faafed781e8"><div class="ttname"><a href="classSVF_1_1VFGNode.html#a3c558955f60c237c558d8faafed781e8">SVF::VFGNode::const_iterator</a></div><div class="ttdeci">VFGEdge::VFGEdgeSetTy::const_iterator const_iterator</div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00060">VFGNode.h:60</a></div></div>
 <div class="ttc" id="aclassSVF_1_1FIFOWorkList_html"><div class="ttname"><a href="classSVF_1_1FIFOWorkList.html">SVF::FIFOWorkList</a></div><div class="ttdef"><b>Definition:</b> <a href="WorkList_8h_source.html#l00137">WorkList.h:137</a></div></div>
 <div class="ttc" id="aclassSVF_1_1VFGEdge_html"><div class="ttname"><a href="classSVF_1_1VFGEdge.html">SVF::VFGEdge</a></div><div class="ttdef"><b>Definition:</b> <a href="VFGEdge_8h_source.html#l00044">VFGEdge.h:44</a></div></div>

package/SVF-doxygen/html/SrcSnkDDA_8h_source.html

@@ -377,7 +377,7 @@ $(function() {
 <div class="ttc" id="aclassSVF_1_1SrcSnkDDA_html_ac12d813bcba4ec70de5e9048bbe16afc"><div class="ttname"><a href="classSVF_1_1SrcSnkDDA.html#ac12d813bcba4ec70de5e9048bbe16afc">SVF::SrcSnkDDA::analyze</a></div><div class="ttdeci">virtual void analyze(SVFModule *module)</div><div class="ttdoc">Start analysis here.</div><div class="ttdef"><b>Definition:</b> <a href="SrcSnkDDA_8cpp_source.html#l00061">SrcSnkDDA.cpp:61</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SrcSnkDDA_html_ad28ffe435790d36ad872cddc213ea799"><div class="ttname"><a href="classSVF_1_1SrcSnkDDA.html#ad28ffe435790d36ad872cddc213ea799">SVF::SrcSnkDDA::addToCurBackwardSlice</a></div><div class="ttdeci">void addToCurBackwardSlice(const SVFGNode *node)</div><div class="ttdef"><b>Definition:</b> <a href="SrcSnkDDA_8h_source.html#l00167">SrcSnkDDA.h:167</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SrcSnkDDA_html_a4bde70a5d9dbf5a9234a93aaeaaacb94"><div class="ttname"><a href="classSVF_1_1SrcSnkDDA.html#a4bde70a5d9dbf5a9234a93aaeaaacb94">SVF::SrcSnkDDA::isInCurForwardSlice</a></div><div class="ttdeci">bool isInCurForwardSlice(const SVFGNode *node)</div><div class="ttdef"><b>Definition:</b> <a href="SrcSnkDDA_8h_source.html#l00155">SrcSnkDDA.h:155</a></div></div>
-<div class="ttc" id="anamespaceSVF_html_af739db846e47ba6b2fd15eaad31ab7fb"><div class="ttname"><a href="namespaceSVF.html#af739db846e47ba6b2fd15eaad31ab7fb">SVF::Set</a></div><div class="ttdeci">std::unordered_set&lt; Key, Hash, KeyEqual, Allocator &gt; Set</div><div class="ttdef"><b>Definition:</b> <a href="GeneralType_8h_source.html#l00092">GeneralType.h:92</a></div></div>
+<div class="ttc" id="anamespaceSVF_html_af739db846e47ba6b2fd15eaad31ab7fb"><div class="ttname"><a href="namespaceSVF.html#af739db846e47ba6b2fd15eaad31ab7fb">SVF::Set</a></div><div class="ttdeci">std::unordered_set&lt; Key, Hash, KeyEqual, Allocator &gt; Set</div><div class="ttdef"><b>Definition:</b> <a href="GeneralType_8h_source.html#l00096">GeneralType.h:96</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SaberSVFGBuilder_html_afbcd75844af51ff51c09c377f80a49cf"><div class="ttname"><a href="classSVF_1_1SaberSVFGBuilder.html#afbcd75844af51ff51c09c377f80a49cf">SVF::SaberSVFGBuilder::isGlobalSVFGNode</a></div><div class="ttdeci">bool isGlobalSVFGNode(const SVFGNode *node) const</div><div class="ttdef"><b>Definition:</b> <a href="SaberSVFGBuilder_8h_source.html#l00057">SaberSVFGBuilder.h:57</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SrcSnkDDA_html_a4f37c66db2588cd691353a9ad1a4d5b1"><div class="ttname"><a href="classSVF_1_1SrcSnkDDA.html#a4f37c66db2588cd691353a9ad1a4d5b1">SVF::SrcSnkDDA::getPAG</a></div><div class="ttdeci">SVFIR * getPAG() const</div><div class="ttdoc">Get SVFIR.</div><div class="ttdef"><b>Definition:</b> <a href="SrcSnkDDA_8h_source.html#l00120">SrcSnkDDA.h:120</a></div></div>
 <div class="ttc" id="anamespaceSVF_html"><div class="ttname"><a href="namespaceSVF.html">SVF</a></div><div class="ttdoc">for isBitcode</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00067">BasicTypes.h:67</a></div></div>
@@ -460,7 +460,7 @@ $(function() {
 <div class="ttc" id="aclassSVF_1_1ProgSlice_html_a5a4b7f34001cc90f9b60222caee1bde6"><div class="ttname"><a href="classSVF_1_1ProgSlice.html#a5a4b7f34001cc90f9b60222caee1bde6">SVF::ProgSlice::inForwardSlice</a></div><div class="ttdeci">bool inForwardSlice(const SVFGNode *node)</div><div class="ttdef"><b>Definition:</b> <a href="ProgSlice_8h_source.html#l00095">ProgSlice.h:95</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SaberCondAllocator_html"><div class="ttname"><a href="classSVF_1_1SaberCondAllocator.html">SVF::SaberCondAllocator</a></div><div class="ttdef"><b>Definition:</b> <a href="SaberCondAllocator_8h_source.html#l00046">SaberCondAllocator.h:46</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SrcSnkDDA_html_a47a4be28c625bf4d079a04ac24132165"><div class="ttname"><a href="classSVF_1_1SrcSnkDDA.html#a47a4be28c625bf4d079a04ac24132165">SVF::SrcSnkDDA::CallSiteSet</a></div><div class="ttdeci">Set&lt; const CallICFGNode * &gt; CallSiteSet</div><div class="ttdef"><b>Definition:</b> <a href="SrcSnkDDA_8h_source.html#l00064">SrcSnkDDA.h:64</a></div></div>
-<div class="ttc" id="anamespaceSVF_html_a8234d4b959abc9123993bcff4eee34c1"><div class="ttname"><a href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">SVF::Map</a></div><div class="ttdeci">std::unordered_map&lt; Key, Value, Hash, KeyEqual, Allocator &gt; Map</div><div class="ttdef"><b>Definition:</b> <a href="GeneralType_8h_source.html#l00097">GeneralType.h:97</a></div></div>
+<div class="ttc" id="anamespaceSVF_html_a8234d4b959abc9123993bcff4eee34c1"><div class="ttname"><a href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">SVF::Map</a></div><div class="ttdeci">std::unordered_map&lt; Key, Value, Hash, KeyEqual, Allocator &gt; Map</div><div class="ttdef"><b>Definition:</b> <a href="GeneralType_8h_source.html#l00101">GeneralType.h:101</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SrcSnkDDA_html_a9c276e24d13cd1e8e5fbad10b46047f8"><div class="ttname"><a href="classSVF_1_1SrcSnkDDA.html#a9c276e24d13cd1e8e5fbad10b46047f8">SVF::SrcSnkDDA::addToSinks</a></div><div class="ttdeci">void addToSinks(const SVFGNode *node)</div><div class="ttdef"><b>Definition:</b> <a href="SrcSnkDDA_8h_source.html#l00234">SrcSnkDDA.h:234</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SrcSnkDDA_html_acae985068ff1c20fb81c4c9ba730aaba"><div class="ttname"><a href="classSVF_1_1SrcSnkDDA.html#acae985068ff1c20fb81c4c9ba730aaba">SVF::SrcSnkDDA::dumpSlices</a></div><div class="ttdeci">void dumpSlices()</div><div class="ttdoc">Dump SVFG with annotated slice information.</div><div class="ttdef"><b>Definition:</b> <a href="SrcSnkDDA_8cpp_source.html#l00295">SrcSnkDDA.cpp:295</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SrcSnkDDA_html_a8883b9a42106ed8c55835d2ba9a579cd"><div class="ttname"><a href="classSVF_1_1SrcSnkDDA.html#a8883b9a42106ed8c55835d2ba9a579cd">SVF::SrcSnkDDA::initialize</a></div><div class="ttdeci">virtual void initialize(SVFModule *module)</div><div class="ttdoc">Initialize analysis.</div><div class="ttdef"><b>Definition:</b> <a href="SrcSnkDDA_8cpp_source.html#l00041">SrcSnkDDA.cpp:41</a></div></div>

package/SVF-doxygen/html/Steensgaard_8cpp_source.html

@@ -349,7 +349,7 @@ $(function() {
 <div class="ttc" id="aclassSVF_1_1Steensgaard_html_a86e82b92b1a5029c3c9499c7bd7b9ae0"><div class="ttname"><a href="classSVF_1_1Steensgaard.html#a86e82b92b1a5029c3c9499c7bd7b9ae0">SVF::Steensgaard::updateCallGraph</a></div><div class="ttdeci">virtual bool updateCallGraph(const CallSiteToFunPtrMap &amp;callsites)</div><div class="ttdoc">Update call graph for the input indirect callsites.</div><div class="ttdef"><b>Definition:</b> <a href="Steensgaard_8cpp_source.html#l00127">Steensgaard.cpp:127</a></div></div>
 <div class="ttc" id="aclassSVF_1_1ConstraintEdge_html"><div class="ttname"><a href="classSVF_1_1ConstraintEdge.html">SVF::ConstraintEdge</a></div><div class="ttdef"><b>Definition:</b> <a href="ConsGEdge_8h_source.html#l00048">ConsGEdge.h:48</a></div></div>
 <div class="ttc" id="aclassSVF_1_1RetICFGNode_html"><div class="ttname"><a href="classSVF_1_1RetICFGNode.html">SVF::RetICFGNode</a></div><div class="ttdef"><b>Definition:</b> <a href="ICFGNode_8h_source.html#l00487">ICFGNode.h:487</a></div></div>
-<div class="ttc" id="anamespaceSVF_html_af739db846e47ba6b2fd15eaad31ab7fb"><div class="ttname"><a href="namespaceSVF.html#af739db846e47ba6b2fd15eaad31ab7fb">SVF::Set</a></div><div class="ttdeci">std::unordered_set&lt; Key, Hash, KeyEqual, Allocator &gt; Set</div><div class="ttdef"><b>Definition:</b> <a href="GeneralType_8h_source.html#l00092">GeneralType.h:92</a></div></div>
+<div class="ttc" id="anamespaceSVF_html_af739db846e47ba6b2fd15eaad31ab7fb"><div class="ttname"><a href="namespaceSVF.html#af739db846e47ba6b2fd15eaad31ab7fb">SVF::Set</a></div><div class="ttdeci">std::unordered_set&lt; Key, Hash, KeyEqual, Allocator &gt; Set</div><div class="ttdef"><b>Definition:</b> <a href="GeneralType_8h_source.html#l00096">GeneralType.h:96</a></div></div>
 <div class="ttc" id="aclassSVF_1_1Steensgaard_html_a04530669bc548ae13bd8908fe4dbd3d2"><div class="ttname"><a href="classSVF_1_1Steensgaard.html#a04530669bc548ae13bd8908fe4dbd3d2">SVF::Steensgaard::steens</a></div><div class="ttdeci">static Steensgaard * steens</div><div class="ttdef"><b>Definition:</b> <a href="Steensgaard_8h_source.html#l00134">Steensgaard.h:134</a></div></div>
 <div class="ttc" id="anamespaceSVF_html"><div class="ttname"><a href="namespaceSVF.html">SVF</a></div><div class="ttdoc">for isBitcode</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00067">BasicTypes.h:67</a></div></div>
 <div class="ttc" id="anamespaceSVF_1_1SVFUtil_html_a9815a5b31ac7dc21239d08e5b9f61106"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#a9815a5b31ac7dc21239d08e5b9f61106">SVF::SVFUtil::getSVFCallSite</a></div><div class="ttdeci">CallSite getSVFCallSite(const SVFInstruction *inst)</div><div class="ttdoc">Return LLVM callsite given an instruction.</div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8h_source.html#l00196">SVFUtil.h:196</a></div></div>
@@ -375,7 +375,7 @@ $(function() {
 <div class="ttc" id="aclassSVF_1_1SVFVar_html"><div class="ttname"><a href="classSVF_1_1SVFVar.html">SVF::SVFVar</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFVariables_8h_source.html#l00045">SVFVariables.h:45</a></div></div>
 <div class="ttc" id="aSteensgaard_8h_html"><div class="ttname"><a href="Steensgaard_8h.html">Steensgaard.h</a></div></div>
 <div class="ttc" id="aclassSVF_1_1Steensgaard_html_a3524c3a9c166065d30bd8582d17d7534"><div class="ttname"><a href="classSVF_1_1Steensgaard.html#a3524c3a9c166065d30bd8582d17d7534">SVF::Steensgaard::heapAllocatorViaIndCall</a></div><div class="ttdeci">void heapAllocatorViaIndCall(CallSite cs, NodePairSet &amp;cpySrcNodes)</div><div class="ttdef"><b>Definition:</b> <a href="Steensgaard_8cpp_source.html#l00159">Steensgaard.cpp:159</a></div></div>
-<div class="ttc" id="anamespaceSVF_html_ac82022f3f81965c3ce9b26c299f537a7"><div class="ttname"><a href="namespaceSVF.html#ac82022f3f81965c3ce9b26c299f537a7">SVF::NodePairSet</a></div><div class="ttdeci">Set&lt; NodePair &gt; NodePairSet</div><div class="ttdef"><b>Definition:</b> <a href="GeneralType_8h_source.html#l00110">GeneralType.h:110</a></div></div>
+<div class="ttc" id="anamespaceSVF_html_ac82022f3f81965c3ce9b26c299f537a7"><div class="ttname"><a href="namespaceSVF.html#ac82022f3f81965c3ce9b26c299f537a7">SVF::NodePairSet</a></div><div class="ttdeci">Set&lt; NodePair &gt; NodePairSet</div><div class="ttdef"><b>Definition:</b> <a href="GeneralType_8h_source.html#l00114">GeneralType.h:114</a></div></div>
 <div class="ttc" id="aclassSVF_1_1Steensgaard_html_a155de712a16162bdf419e8dec6fd6949"><div class="ttname"><a href="classSVF_1_1Steensgaard.html#a155de712a16162bdf419e8dec6fd6949">SVF::Steensgaard::connectCaller2CalleeParams</a></div><div class="ttdeci">void connectCaller2CalleeParams(CallSite cs, const SVFFunction *F, NodePairSet &amp;cpySrcNodes)</div><div class="ttdoc">Connect formal and actual parameters for indirect callsites.</div><div class="ttdef"><b>Definition:</b> <a href="Steensgaard_8cpp_source.html#l00190">Steensgaard.cpp:190</a></div></div>
 <div class="ttc" id="aclassSVF_1_1ConstraintNode_html"><div class="ttname"><a href="classSVF_1_1ConstraintNode.html">SVF::ConstraintNode</a></div><div class="ttdef"><b>Definition:</b> <a href="ConsGNode_8h_source.html#l00040">ConsGNode.h:40</a></div></div>
 <div class="ttc" id="aclassSVF_1_1Steensgaard_html_a191e77e62916d868b2af730264e26dd8"><div class="ttname"><a href="classSVF_1_1Steensgaard.html#a191e77e62916d868b2af730264e26dd8">SVF::Steensgaard::ecUnion</a></div><div class="ttdeci">void ecUnion(NodeID id, NodeID ec)</div><div class="ttdoc">merge node into equiv class and merge node's pts into ec's pts</div><div class="ttdef"><b>Definition:</b> <a href="Steensgaard_8cpp_source.html#l00095">Steensgaard.cpp:95</a></div></div>

package/SVF-doxygen/html/Steensgaard_8h_source.html

@@ -195,11 +195,11 @@ $(function() {
 </div><!-- fragment --></div><!-- contents -->
 <div class="ttc" id="aclassSVF_1_1Steensgaard_html_a86e82b92b1a5029c3c9499c7bd7b9ae0"><div class="ttname"><a href="classSVF_1_1Steensgaard.html#a86e82b92b1a5029c3c9499c7bd7b9ae0">SVF::Steensgaard::updateCallGraph</a></div><div class="ttdeci">virtual bool updateCallGraph(const CallSiteToFunPtrMap &amp;callsites)</div><div class="ttdoc">Update call graph for the input indirect callsites.</div><div class="ttdef"><b>Definition:</b> <a href="Steensgaard_8cpp_source.html#l00127">Steensgaard.cpp:127</a></div></div>
 <div class="ttc" id="aclassSVF_1_1Steensgaard_html_a7f975fd9a694f4b06bab8f3deef9d60b"><div class="ttname"><a href="classSVF_1_1Steensgaard.html#a7f975fd9a694f4b06bab8f3deef9d60b">SVF::Steensgaard::NodeToEquivClassMap</a></div><div class="ttdeci">Map&lt; NodeID, NodeID &gt; NodeToEquivClassMap</div><div class="ttdef"><b>Definition:</b> <a href="Steensgaard_8h_source.html#l00024">Steensgaard.h:24</a></div></div>
-<div class="ttc" id="anamespaceSVF_html_aedf0d6718ca176e0b9e17ab4b30729c6"><div class="ttname"><a href="namespaceSVF.html#aedf0d6718ca176e0b9e17ab4b30729c6">SVF::OrderedMap</a></div><div class="ttdeci">std::map&lt; Key, Value, Compare, Allocator &gt; OrderedMap</div><div class="ttdef"><b>Definition:</b> <a href="GeneralType_8h_source.html#l00105">GeneralType.h:105</a></div></div>
+<div class="ttc" id="anamespaceSVF_html_aedf0d6718ca176e0b9e17ab4b30729c6"><div class="ttname"><a href="namespaceSVF.html#aedf0d6718ca176e0b9e17ab4b30729c6">SVF::OrderedMap</a></div><div class="ttdeci">std::map&lt; Key, Value, Compare, Allocator &gt; OrderedMap</div><div class="ttdef"><b>Definition:</b> <a href="GeneralType_8h_source.html#l00109">GeneralType.h:109</a></div></div>
 <div class="ttc" id="aclassSVF_1_1PTData_html_af7aa22f11558c12ff16612174e2221dd"><div class="ttname"><a href="classSVF_1_1PTData.html#af7aa22f11558c12ff16612174e2221dd">SVF::PTData::unionPts</a></div><div class="ttdeci">virtual bool unionPts(const Key &amp;dstVar, const Key &amp;srcVar)=0</div><div class="ttdoc">Performs pts(dstVar) = pts(dstVar) U pts(srcVar).</div></div>
 <div class="ttc" id="aclassSVF_1_1ConstraintGraph_html_a60bb27100e8c264be2add004069d1758"><div class="ttname"><a href="classSVF_1_1ConstraintGraph.html#a60bb27100e8c264be2add004069d1758">SVF::ConstraintGraph::addCopyCGEdge</a></div><div class="ttdeci">CopyCGEdge * addCopyCGEdge(NodeID src, NodeID dst)</div><div class="ttdoc">Add Copy edge.</div><div class="ttdef"><b>Definition:</b> <a href="ConsG_8cpp_source.html#l00210">ConsG.cpp:210</a></div></div>
 <div class="ttc" id="anamespaceSVF_html_ae9c142945ea31b6c70bceb93eb6f3ca4"><div class="ttname"><a href="namespaceSVF.html#ae9c142945ea31b6c70bceb93eb6f3ca4">SVF::WPAConstraintSolver</a></div><div class="ttdeci">WPASolver&lt; ConstraintGraph * &gt; WPAConstraintSolver</div><div class="ttdef"><b>Definition:</b> <a href="Andersen_8h_source.html#l00048">Andersen.h:48</a></div></div>
-<div class="ttc" id="anamespaceSVF_html_af739db846e47ba6b2fd15eaad31ab7fb"><div class="ttname"><a href="namespaceSVF.html#af739db846e47ba6b2fd15eaad31ab7fb">SVF::Set</a></div><div class="ttdeci">std::unordered_set&lt; Key, Hash, KeyEqual, Allocator &gt; Set</div><div class="ttdef"><b>Definition:</b> <a href="GeneralType_8h_source.html#l00092">GeneralType.h:92</a></div></div>
+<div class="ttc" id="anamespaceSVF_html_af739db846e47ba6b2fd15eaad31ab7fb"><div class="ttname"><a href="namespaceSVF.html#af739db846e47ba6b2fd15eaad31ab7fb">SVF::Set</a></div><div class="ttdeci">std::unordered_set&lt; Key, Hash, KeyEqual, Allocator &gt; Set</div><div class="ttdef"><b>Definition:</b> <a href="GeneralType_8h_source.html#l00096">GeneralType.h:96</a></div></div>
 <div class="ttc" id="aclassSVF_1_1Steensgaard_html_a04530669bc548ae13bd8908fe4dbd3d2"><div class="ttname"><a href="classSVF_1_1Steensgaard.html#a04530669bc548ae13bd8908fe4dbd3d2">SVF::Steensgaard::steens</a></div><div class="ttdeci">static Steensgaard * steens</div><div class="ttdef"><b>Definition:</b> <a href="Steensgaard_8h_source.html#l00134">Steensgaard.h:134</a></div></div>
 <div class="ttc" id="aclassSVF_1_1Steensgaard_html_a61524c5a3521939b1546c78c68730c20"><div class="ttname"><a href="classSVF_1_1Steensgaard.html#a61524c5a3521939b1546c78c68730c20">SVF::Steensgaard::unionPts</a></div><div class="ttdeci">virtual bool unionPts(NodeID id, const PointsTo &amp;target)</div><div class="ttdoc">pts(id) = pts(id) U target</div><div class="ttdef"><b>Definition:</b> <a href="Steensgaard_8h_source.html#l00077">Steensgaard.h:77</a></div></div>
 <div class="ttc" id="anamespaceSVF_html"><div class="ttname"><a href="namespaceSVF.html">SVF</a></div><div class="ttdoc">for isBitcode</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00067">BasicTypes.h:67</a></div></div>
@@ -224,7 +224,7 @@ $(function() {
 <div class="ttc" id="aclassSVF_1_1Steensgaard_html_a95ed4be99e201058cb6d994250d2629f"><div class="ttname"><a href="classSVF_1_1Steensgaard.html#a95ed4be99e201058cb6d994250d2629f">SVF::Steensgaard::getSubNodes</a></div><div class="ttdeci">Set&lt; NodeID &gt; &amp; getSubNodes(NodeID id)</div><div class="ttdef"><b>Definition:</b> <a href="Steensgaard_8h_source.html#l00103">Steensgaard.h:103</a></div></div>
 <div class="ttc" id="aclassSVF_1_1BVDataPTAImpl_html_ae94cea78b71fb75837ee2a17b5ed0e81"><div class="ttname"><a href="classSVF_1_1BVDataPTAImpl.html#ae94cea78b71fb75837ee2a17b5ed0e81">SVF::BVDataPTAImpl::getPTDataTy</a></div><div class="ttdeci">PTDataTy * getPTDataTy() const</div><div class="ttdoc">Get points-to data structure.</div><div class="ttdef"><b>Definition:</b> <a href="PointerAnalysisImpl_8h_source.html#l00155">PointerAnalysisImpl.h:155</a></div></div>
 <div class="ttc" id="aclassSVF_1_1Steensgaard_html_a3524c3a9c166065d30bd8582d17d7534"><div class="ttname"><a href="classSVF_1_1Steensgaard.html#a3524c3a9c166065d30bd8582d17d7534">SVF::Steensgaard::heapAllocatorViaIndCall</a></div><div class="ttdeci">void heapAllocatorViaIndCall(CallSite cs, NodePairSet &amp;cpySrcNodes)</div><div class="ttdef"><b>Definition:</b> <a href="Steensgaard_8cpp_source.html#l00159">Steensgaard.cpp:159</a></div></div>
-<div class="ttc" id="anamespaceSVF_html_ac82022f3f81965c3ce9b26c299f537a7"><div class="ttname"><a href="namespaceSVF.html#ac82022f3f81965c3ce9b26c299f537a7">SVF::NodePairSet</a></div><div class="ttdeci">Set&lt; NodePair &gt; NodePairSet</div><div class="ttdef"><b>Definition:</b> <a href="GeneralType_8h_source.html#l00110">GeneralType.h:110</a></div></div>
+<div class="ttc" id="anamespaceSVF_html_ac82022f3f81965c3ce9b26c299f537a7"><div class="ttname"><a href="namespaceSVF.html#ac82022f3f81965c3ce9b26c299f537a7">SVF::NodePairSet</a></div><div class="ttdeci">Set&lt; NodePair &gt; NodePairSet</div><div class="ttdef"><b>Definition:</b> <a href="GeneralType_8h_source.html#l00114">GeneralType.h:114</a></div></div>
 <div class="ttc" id="aclassSVF_1_1Steensgaard_html_a155de712a16162bdf419e8dec6fd6949"><div class="ttname"><a href="classSVF_1_1Steensgaard.html#a155de712a16162bdf419e8dec6fd6949">SVF::Steensgaard::connectCaller2CalleeParams</a></div><div class="ttdeci">void connectCaller2CalleeParams(CallSite cs, const SVFFunction *F, NodePairSet &amp;cpySrcNodes)</div><div class="ttdoc">Connect formal and actual parameters for indirect callsites.</div><div class="ttdef"><b>Definition:</b> <a href="Steensgaard_8cpp_source.html#l00190">Steensgaard.cpp:190</a></div></div>
 <div class="ttc" id="aclassSVF_1_1Steensgaard_html_a375a16c7538866fcebfecf228f7ee63d"><div class="ttname"><a href="classSVF_1_1Steensgaard.html#a375a16c7538866fcebfecf228f7ee63d">SVF::Steensgaard::releaseSteensgaard</a></div><div class="ttdeci">static void releaseSteensgaard()</div><div class="ttdef"><b>Definition:</b> <a href="Steensgaard_8h_source.html#l00042">Steensgaard.h:42</a></div></div>
 <div class="ttc" id="aclassSVF_1_1Steensgaard_html_a191e77e62916d868b2af730264e26dd8"><div class="ttname"><a href="classSVF_1_1Steensgaard.html#a191e77e62916d868b2af730264e26dd8">SVF::Steensgaard::ecUnion</a></div><div class="ttdeci">void ecUnion(NodeID id, NodeID ec)</div><div class="ttdoc">merge node into equiv class and merge node's pts into ec's pts</div><div class="ttdef"><b>Definition:</b> <a href="Steensgaard_8cpp_source.html#l00095">Steensgaard.cpp:95</a></div></div>
@@ -240,7 +240,7 @@ $(function() {
 <div class="ttc" id="aclassSVF_1_1Steensgaard_html_ada542b3e393f23938d37e479008e8cc0"><div class="ttname"><a href="classSVF_1_1Steensgaard.html#ada542b3e393f23938d37e479008e8cc0">SVF::Steensgaard::processAllAddr</a></div><div class="ttdeci">void processAllAddr()</div><div class="ttdef"><b>Definition:</b> <a href="Steensgaard_8cpp_source.html#l00105">Steensgaard.cpp:105</a></div></div>
 <div class="ttc" id="aclassSVF_1_1PointerAnalysis_html_ad95c842964e6ca46e51fb763fefec585"><div class="ttname"><a href="classSVF_1_1PointerAnalysis.html#ad95c842964e6ca46e51fb763fefec585">SVF::PointerAnalysis::CallSiteToFunPtrMap</a></div><div class="ttdeci">SVFIR::CallSiteToFunPtrMap CallSiteToFunPtrMap</div><div class="ttdef"><b>Definition:</b> <a href="PointerAnalysis_8h_source.html#l00103">PointerAnalysis.h:103</a></div></div>
 <div class="ttc" id="aclassSVF_1_1Steensgaard_html_ac79e21396243dfa969136daee5ecdbd4"><div class="ttname"><a href="classSVF_1_1Steensgaard.html#ac79e21396243dfa969136daee5ecdbd4">SVF::Steensgaard::Steensgaard</a></div><div class="ttdeci">Steensgaard(SVFIR *_pag)</div><div class="ttdoc">Constructor.</div><div class="ttdef"><b>Definition:</b> <a href="Steensgaard_8h_source.html#l00029">Steensgaard.h:29</a></div></div>
-<div class="ttc" id="anamespaceSVF_html_a8234d4b959abc9123993bcff4eee34c1"><div class="ttname"><a href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">SVF::Map</a></div><div class="ttdeci">std::unordered_map&lt; Key, Value, Hash, KeyEqual, Allocator &gt; Map</div><div class="ttdef"><b>Definition:</b> <a href="GeneralType_8h_source.html#l00097">GeneralType.h:97</a></div></div>
+<div class="ttc" id="anamespaceSVF_html_a8234d4b959abc9123993bcff4eee34c1"><div class="ttname"><a href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">SVF::Map</a></div><div class="ttdeci">std::unordered_map&lt; Key, Value, Hash, KeyEqual, Allocator &gt; Map</div><div class="ttdef"><b>Definition:</b> <a href="GeneralType_8h_source.html#l00101">GeneralType.h:101</a></div></div>
 <div class="ttc" id="aclassSVF_1_1PointsTo_html"><div class="ttname"><a href="classSVF_1_1PointsTo.html">SVF::PointsTo</a></div><div class="ttdef"><b>Definition:</b> <a href="PointsTo_8h_source.html#l00028">PointsTo.h:28</a></div></div>
 <div class="ttc" id="aclassSVF_1_1Steensgaard_html_abcb15d923ebbf289672b54b6f0963e03"><div class="ttname"><a href="classSVF_1_1Steensgaard.html#abcb15d923ebbf289672b54b6f0963e03">SVF::Steensgaard::addSubNode</a></div><div class="ttdeci">void addSubNode(NodeID node, NodeID sub)</div><div class="ttdef"><b>Definition:</b> <a href="Steensgaard_8h_source.html#l00108">Steensgaard.h:108</a></div></div>
 <div class="ttc" id="aclassSVF_1_1AndersenBase_html_a944966086ecb716184c8cdcc43db5751"><div class="ttname"><a href="classSVF_1_1AndersenBase.html#a944966086ecb716184c8cdcc43db5751">SVF::AndersenBase::analyze</a></div><div class="ttdeci">virtual void analyze() override</div><div class="ttdoc">Andersen analysis.</div><div class="ttdef"><b>Definition:</b> <a href="Andersen_8cpp_source.html#l00133">Andersen.cpp:133</a></div></div>

package/SVF-doxygen/html/SymState_8h_source.html

@@ -279,12 +279,12 @@ $(function() {
 <div class="ttc" id="aclassSVF_1_1SymState_html_adb33bdc2c5b70a0f35d29d213ebf7957"><div class="ttname"><a href="classSVF_1_1SymState.html#adb33bdc2c5b70a0f35d29d213ebf7957">SVF::SymState::KeyNodesSet</a></div><div class="ttdeci">Set&lt; KeyNodes &gt; KeyNodesSet</div><div class="ttdef"><b>Definition:</b> <a href="SymState_8h_source.html#l00045">SymState.h:45</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SymState_html_a2916e86763235f565f2a3276631d0d30"><div class="ttname"><a href="classSVF_1_1SymState.html#a2916e86763235f565f2a3276631d0d30">SVF::SymState::getKeyNodesSet</a></div><div class="ttdeci">const KeyNodesSet &amp; getKeyNodesSet() const</div><div class="ttdef"><b>Definition:</b> <a href="SymState_8h_source.html#l00109">SymState.h:109</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SymState_html_aaaaa4e2a25d1cce483272a5da91886bd"><div class="ttname"><a href="classSVF_1_1SymState.html#aaaaa4e2a25d1cce483272a5da91886bd">SVF::SymState::getExecutionState</a></div><div class="ttdeci">const ConsExeState &amp; getExecutionState() const</div><div class="ttdef"><b>Definition:</b> <a href="SymState_8h_source.html#l00165">SymState.h:165</a></div></div>
-<div class="ttc" id="anamespaceSVF_html_af739db846e47ba6b2fd15eaad31ab7fb"><div class="ttname"><a href="namespaceSVF.html#af739db846e47ba6b2fd15eaad31ab7fb">SVF::Set</a></div><div class="ttdeci">std::unordered_set&lt; Key, Hash, KeyEqual, Allocator &gt; Set</div><div class="ttdef"><b>Definition:</b> <a href="GeneralType_8h_source.html#l00092">GeneralType.h:92</a></div></div>
+<div class="ttc" id="anamespaceSVF_html_af739db846e47ba6b2fd15eaad31ab7fb"><div class="ttname"><a href="namespaceSVF.html#af739db846e47ba6b2fd15eaad31ab7fb">SVF::Set</a></div><div class="ttdeci">std::unordered_set&lt; Key, Hash, KeyEqual, Allocator &gt; Set</div><div class="ttdef"><b>Definition:</b> <a href="GeneralType_8h_source.html#l00096">GeneralType.h:96</a></div></div>
 <div class="ttc" id="anamespaceSVF_html"><div class="ttname"><a href="namespaceSVF.html">SVF</a></div><div class="ttdoc">for isBitcode</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00067">BasicTypes.h:67</a></div></div>
 <div class="ttc" id="aclassSVF_1_1ConsExeState_html_a08f64cf55802c4ddbc1e01b06ce55dec"><div class="ttname"><a href="classSVF_1_1ConsExeState.html#a08f64cf55802c4ddbc1e01b06ce55dec">SVF::ConsExeState::isNullState</a></div><div class="ttdeci">bool isNullState() const</div><div class="ttdoc">Whether state is null state (uninitialized state)</div><div class="ttdef"><b>Definition:</b> <a href="ConsExeState_8h_source.html#l00207">ConsExeState.h:207</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SymState_html_af41520fdb48700f86231047d1db5d482"><div class="ttname"><a href="classSVF_1_1SymState.html#af41520fdb48700f86231047d1db5d482">SVF::SymState::TypeState</a></div><div class="ttdeci">std::string TypeState</div><div class="ttdef"><b>Definition:</b> <a href="SymState_8h_source.html#l00043">SymState.h:43</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SymState_html_a10f55ddb22731a3c50bff12c6afdbd50"><div class="ttname"><a href="classSVF_1_1SymState.html#a10f55ddb22731a3c50bff12c6afdbd50">SVF::SymState::_exeState</a></div><div class="ttdeci">ConsExeState _exeState</div><div class="ttdoc">Execution state: values of variables.</div><div class="ttdef"><b>Definition:</b> <a href="SymState_8h_source.html#l00048">SymState.h:48</a></div></div>
-<div class="ttc" id="astructSVF_1_1Hash_html"><div class="ttname"><a href="structSVF_1_1Hash.html">SVF::Hash</a></div><div class="ttdoc">provide extra hash function for std::pair handling</div><div class="ttdef"><b>Definition:</b> <a href="GeneralType_8h_source.html#l00062">GeneralType.h:62</a></div></div>
+<div class="ttc" id="astructSVF_1_1Hash_html"><div class="ttname"><a href="structSVF_1_1Hash.html">SVF::Hash</a></div><div class="ttdoc">provide extra hash function for std::pair handling</div><div class="ttdef"><b>Definition:</b> <a href="GeneralType_8h_source.html#l00066">GeneralType.h:66</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SymState_html_acb13a8b241647b36ccd77b5efffb132e"><div class="ttname"><a href="classSVF_1_1SymState.html#acb13a8b241647b36ccd77b5efffb132e">SVF::SymState::_branchCondition</a></div><div class="ttdeci">Z3Expr _branchCondition</div><div class="ttdoc">The branches current state passes.</div><div class="ttdef"><b>Definition:</b> <a href="SymState_8h_source.html#l00054">SymState.h:54</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SymState_html_a188a2f94614d913913127d839b9884ee"><div class="ttname"><a href="classSVF_1_1SymState.html#a188a2f94614d913913127d839b9884ee">SVF::SymState::getExecutionState</a></div><div class="ttdeci">ConsExeState &amp; getExecutionState()</div><div class="ttdef"><b>Definition:</b> <a href="SymState_8h_source.html#l00170">SymState.h:170</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SymState_html_aebbd79fb6a6fe93f9550b81048d69333"><div class="ttname"><a href="classSVF_1_1SymState.html#aebbd79fb6a6fe93f9550b81048d69333">SVF::SymState::operator=</a></div><div class="ttdeci">SymState &amp; operator=(SymState &amp;&amp;rhs) noexcept</div><div class="ttdoc">Move operator=.</div><div class="ttdef"><b>Definition:</b> <a href="SymState_8h_source.html#l00097">SymState.h:97</a></div></div>

package/SVF-doxygen/html/SymbolTableBuilder_8cpp_source.html

@@ -987,7 +987,7 @@ $(function() {
 <div class="ttc" id="anamespaceSVF_1_1SVFUtil_html_a0d7588578735679773493ff2d5e458e1"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#a0d7588578735679773493ff2d5e458e1">SVF::SVFUtil::increaseStackSize</a></div><div class="ttdeci">void increaseStackSize()</div><div class="ttdoc">Increase the stack size limit.</div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8cpp_source.html#l00227">SVFUtil.cpp:227</a></div></div>
 <div class="ttc" id="aclassSVF_1_1Options_html_a320a86694c42b92d0dd599d7825c7ca4"><div class="ttname"><a href="classSVF_1_1Options.html#a320a86694c42b92d0dd599d7825c7ca4">SVF::Options::EnableTypeCheck</a></div><div class="ttdeci">static const Option&lt; bool &gt; EnableTypeCheck</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00131">Options.h:131</a></div></div>
 <div class="ttc" id="anamespaceSVF_html_a412280b134578905248ce0122c5db7c9"><div class="ttname"><a href="namespaceSVF.html#a412280b134578905248ce0122c5db7c9">SVF::SwitchInst</a></div><div class="ttdeci">llvm::SwitchInst SwitchInst</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00155">BasicTypes.h:155</a></div></div>
-<div class="ttc" id="aclassSVF_1_1LLVMModuleSet_html_a5f0bd932f3129a9c565f3a09711f7b99"><div class="ttname"><a href="classSVF_1_1LLVMModuleSet.html#a5f0bd932f3129a9c565f3a09711f7b99">SVF::LLVMModuleSet::getSVFType</a></div><div class="ttdeci">SVFType * getSVFType(const Type *T)</div><div class="ttdoc">Get or create SVFType and typeinfo.</div><div class="ttdef"><b>Definition:</b> <a href="LLVMModule_8cpp_source.html#l01358">LLVMModule.cpp:1358</a></div></div>
+<div class="ttc" id="aclassSVF_1_1LLVMModuleSet_html_a5f0bd932f3129a9c565f3a09711f7b99"><div class="ttname"><a href="classSVF_1_1LLVMModuleSet.html#a5f0bd932f3129a9c565f3a09711f7b99">SVF::LLVMModuleSet::getSVFType</a></div><div class="ttdeci">SVFType * getSVFType(const Type *T)</div><div class="ttdoc">Get or create SVFType and typeinfo.</div><div class="ttdef"><b>Definition:</b> <a href="LLVMModule_8cpp_source.html#l01377">LLVMModule.cpp:1377</a></div></div>
 <div class="ttc" id="anamespaceSVF_1_1LLVMUtil_html_ad8ee8de153df3f1bbdebb67185a2731c"><div class="ttname"><a href="namespaceSVF_1_1LLVMUtil.html#ad8ee8de153df3f1bbdebb67185a2731c">SVF::LLVMUtil::isConstantObjSym</a></div><div class="ttdeci">bool isConstantObjSym(const SVFValue *val)</div><div class="ttdoc">Check whether this value points-to a constant object.</div><div class="ttdef"><b>Definition:</b> <a href="LLVMUtil_8cpp_source.html#l00852">LLVMUtil.cpp:852</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SymbolTableBuilder_html_abc8b35d432db78bd5282010c7c800d70"><div class="ttname"><a href="classSVF_1_1SymbolTableBuilder.html#abc8b35d432db78bd5282010c7c800d70">SVF::SymbolTableBuilder::collectVal</a></div><div class="ttdeci">void collectVal(const Value *val)</div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableBuilder_8cpp_source.html#l00289">SymbolTableBuilder.cpp:289</a></div></div>
 <div class="ttc" id="aclassSVF_1_1LLVMModuleSet_html_a50fc24901350df9db890ba16a9b87e33"><div class="ttname"><a href="classSVF_1_1LLVMModuleSet.html#a50fc24901350df9db890ba16a9b87e33">SVF::LLVMModuleSet::getSVFFunction</a></div><div class="ttdeci">SVFFunction * getSVFFunction(const Function *fun) const</div><div class="ttdef"><b>Definition:</b> <a href="LLVMModule_8h_source.html#l00205">LLVMModule.h:205</a></div></div>
@@ -1067,7 +1067,7 @@ $(function() {
 <div class="ttc" id="anamespaceSVF_html_ac4e93e1fec646ff222940a663843921b"><div class="ttname"><a href="namespaceSVF.html#ac4e93e1fec646ff222940a663843921b">SVF::GetElementPtrInst</a></div><div class="ttdeci">llvm::GetElementPtrInst GetElementPtrInst</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00162">BasicTypes.h:162</a></div></div>
 <div class="ttc" id="aclassSVF_1_1ObjTypeInfo_html_a91b41b7ade5871362b77a2ef566b2830af5f94b2a41dab25fa08c94a989fb9515"><div class="ttname"><a href="classSVF_1_1ObjTypeInfo.html#a91b41b7ade5871362b77a2ef566b2830af5f94b2a41dab25fa08c94a989fb9515">SVF::ObjTypeInfo::FUNCTION_OBJ</a></div><div class="ttdeci">@ FUNCTION_OBJ</div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8h_source.html#l00487">SymbolTableInfo.h:487</a></div></div>
 <div class="ttc" id="anamespaceSVF_html_a8ad3aa124fabddc2fdd07c50403d70a9"><div class="ttname"><a href="namespaceSVF.html#a8ad3aa124fabddc2fdd07c50403d70a9">SVF::ConstantDataSequential</a></div><div class="ttdeci">llvm::ConstantDataSequential ConstantDataSequential</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00119">BasicTypes.h:119</a></div></div>
-<div class="ttc" id="aclassSVF_1_1LLVMModuleSet_html_a610a7777a48132caadec167c8109f044"><div class="ttname"><a href="classSVF_1_1LLVMModuleSet.html#a610a7777a48132caadec167c8109f044">SVF::LLVMModuleSet::getLLVMType</a></div><div class="ttdeci">const Type * getLLVMType(const SVFType *T) const</div><div class="ttdoc">Get LLVM Type.</div><div class="ttdef"><b>Definition:</b> <a href="LLVMModule_8cpp_source.html#l01344">LLVMModule.cpp:1344</a></div></div>
+<div class="ttc" id="aclassSVF_1_1LLVMModuleSet_html_a610a7777a48132caadec167c8109f044"><div class="ttname"><a href="classSVF_1_1LLVMModuleSet.html#a610a7777a48132caadec167c8109f044">SVF::LLVMModuleSet::getLLVMType</a></div><div class="ttdeci">const Type * getLLVMType(const SVFType *T) const</div><div class="ttdoc">Get LLVM Type.</div><div class="ttdef"><b>Definition:</b> <a href="LLVMModule_8cpp_source.html#l01363">LLVMModule.cpp:1363</a></div></div>
 <div class="ttc" id="aclassSVF_1_1NodeIDAllocator_html_a26b5e09e10448694435f74a8b622a7e8"><div class="ttname"><a href="classSVF_1_1NodeIDAllocator.html#a26b5e09e10448694435f74a8b622a7e8">SVF::NodeIDAllocator::allocateValueId</a></div><div class="ttdeci">NodeID allocateValueId(void)</div><div class="ttdoc">Allocate a value ID as determined by the strategy.</div><div class="ttdef"><b>Definition:</b> <a href="NodeIDAllocator_8cpp_source.html#l00128">NodeIDAllocator.cpp:128</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SymbolTableBuilder_html_a31190ba1934f945abe8a1b4fcbb636b3"><div class="ttname"><a href="classSVF_1_1SymbolTableBuilder.html#a31190ba1934f945abe8a1b4fcbb636b3">SVF::SymbolTableBuilder::createObjTypeInfo</a></div><div class="ttdeci">ObjTypeInfo * createObjTypeInfo(const Value *val)</div><div class="ttdoc">Create an objectInfo based on LLVM value.</div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableBuilder_8cpp_source.html#l00627">SymbolTableBuilder.cpp:627</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SymbolTableBuilder_html_a5db9e476132b0a653c7995b61def4065"><div class="ttname"><a href="classSVF_1_1SymbolTableBuilder.html#a5db9e476132b0a653c7995b61def4065">SVF::SymbolTableBuilder::createBlkObj</a></div><div class="ttdeci">MemObj * createBlkObj(SymID symId)</div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableBuilder_8cpp_source.html#l00047">SymbolTableBuilder.cpp:47</a></div></div>
@@ -1082,7 +1082,7 @@ $(function() {
 <div class="ttc" id="anamespaceSVF_1_1SVFUtil_html_aed0b0b9f035057552a6a82154fd88e61"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#aed0b0b9f035057552a6a82154fd88e61">SVF::SVFUtil::outs</a></div><div class="ttdeci">std::ostream &amp; outs()</div><div class="ttdoc">Overwrite llvm::outs()</div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8h_source.html#l00050">SVFUtil.h:50</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SymbolTableBuilder_html_a42c69bc9ee71cc0ff322c1701b7e07bd"><div class="ttname"><a href="classSVF_1_1SymbolTableBuilder.html#a42c69bc9ee71cc0ff322c1701b7e07bd">SVF::SymbolTableBuilder::collectSVFTypeInfo</a></div><div class="ttdeci">void collectSVFTypeInfo(const Value *val)</div><div class="ttdoc">collect the syms</div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableBuilder_8cpp_source.html#l00240">SymbolTableBuilder.cpp:240</a></div></div>
 <div class="ttc" id="anamespaceSVF_html_afc1b50355821e7299df03b026e36f1df"><div class="ttname"><a href="namespaceSVF.html#afc1b50355821e7299df03b026e36f1df">SVF::User</a></div><div class="ttdeci">llvm::User User</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00142">BasicTypes.h:142</a></div></div>
-<div class="ttc" id="anamespaceSVF_html_ad11fe2412b2182365a662ff0e4639b48"><div class="ttname"><a href="namespaceSVF.html#ad11fe2412b2182365a662ff0e4639b48">SVF::SymID</a></div><div class="ttdeci">unsigned SymID</div><div class="ttdef"><b>Definition:</b> <a href="GeneralType_8h_source.html#l00053">GeneralType.h:53</a></div></div>
+<div class="ttc" id="anamespaceSVF_html_ad11fe2412b2182365a662ff0e4639b48"><div class="ttname"><a href="namespaceSVF.html#ad11fe2412b2182365a662ff0e4639b48">SVF::SymID</a></div><div class="ttdeci">unsigned SymID</div><div class="ttdef"><b>Definition:</b> <a href="GeneralType_8h_source.html#l00057">GeneralType.h:57</a></div></div>
 <div class="ttc" id="aclassllvm_1_1generic__bridge__gep__type__iterator_html"><div class="ttname"><a href="classllvm_1_1generic__bridge__gep__type__iterator.html">llvm::generic_bridge_gep_type_iterator</a></div><div class="ttdef"><b>Definition:</b> <a href="GEPTypeBridgeIterator_8h_source.html#l00017">GEPTypeBridgeIterator.h:17</a></div></div>
 <div class="ttc" id="aclassSVF_1_1ObjTypeInfo_html_aaffd94b311238f183031a525376c55a2"><div class="ttname"><a href="classSVF_1_1ObjTypeInfo.html#aaffd94b311238f183031a525376c55a2">SVF::ObjTypeInfo::getType</a></div><div class="ttdeci">const SVFType * getType() const</div><div class="ttdoc">Get LLVM type.</div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8h_source.html#l00527">SymbolTableInfo.h:527</a></div></div>
 <div class="ttc" id="aclassSVF_1_1ObjTypeInfo_html_a91b41b7ade5871362b77a2ef566b2830a4e7606afe2dabdef9c9836ae798a9d98"><div class="ttname"><a href="classSVF_1_1ObjTypeInfo.html#a91b41b7ade5871362b77a2ef566b2830a4e7606afe2dabdef9c9836ae798a9d98">SVF::ObjTypeInfo::STATIC_OBJ</a></div><div class="ttdeci">@ STATIC_OBJ</div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8h_source.html#l00489">SymbolTableInfo.h:489</a></div></div>
@@ -1094,7 +1094,7 @@ $(function() {
 <div class="ttc" id="aclassSVF_1_1ObjTypeInfo_html_a91b41b7ade5871362b77a2ef566b2830ad2ba0edfac1460f3fd89e7a6c4c4691b"><div class="ttname"><a href="classSVF_1_1ObjTypeInfo.html#a91b41b7ade5871362b77a2ef566b2830ad2ba0edfac1460f3fd89e7a6c4c4691b">SVF::ObjTypeInfo::GLOBVAR_OBJ</a></div><div class="ttdeci">@ GLOBVAR_OBJ</div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8h_source.html#l00488">SymbolTableInfo.h:488</a></div></div>
 <div class="ttc" id="aNodeIDAllocator_8h_html"><div class="ttname"><a href="NodeIDAllocator_8h.html">NodeIDAllocator.h</a></div></div>
 <div class="ttc" id="anamespaceSVF_1_1SVFUtil_html_a93ac673b885633849fa484938405ca75"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#a93ac673b885633849fa484938405ca75">SVF::SVFUtil::isHeapAllocExtCall</a></div><div class="ttdeci">bool isHeapAllocExtCall(const CallSite cs)</div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8h_source.html#l00454">SVFUtil.h:454</a></div></div>
-<div class="ttc" id="aclassSVF_1_1LLVMModuleSet_html_afdd77bc1fca91f70b2ec362f1dacd392"><div class="ttname"><a href="classSVF_1_1LLVMModuleSet.html#afdd77bc1fca91f70b2ec362f1dacd392">SVF::LLVMModuleSet::getSVFValue</a></div><div class="ttdeci">SVFValue * getSVFValue(const Value *value)</div><div class="ttdef"><b>Definition:</b> <a href="LLVMModule_8cpp_source.html#l01321">LLVMModule.cpp:1321</a></div></div>
+<div class="ttc" id="aclassSVF_1_1LLVMModuleSet_html_afdd77bc1fca91f70b2ec362f1dacd392"><div class="ttname"><a href="classSVF_1_1LLVMModuleSet.html#afdd77bc1fca91f70b2ec362f1dacd392">SVF::LLVMModuleSet::getSVFValue</a></div><div class="ttdeci">SVFValue * getSVFValue(const Value *value)</div><div class="ttdef"><b>Definition:</b> <a href="LLVMModule_8cpp_source.html#l01340">LLVMModule.cpp:1340</a></div></div>
 <div class="ttc" id="anamespaceSVF_1_1LLVMUtil_html_ab5fc50624b5fe83b676b14bec4b99685"><div class="ttname"><a href="namespaceSVF_1_1LLVMUtil.html#ab5fc50624b5fe83b676b14bec4b99685">SVF::LLVMUtil::isGepConstantExpr</a></div><div class="ttdeci">const ConstantExpr * isGepConstantExpr(const Value *val)</div><div class="ttdoc">Return corresponding constant expression, otherwise return nullptr.</div><div class="ttdef"><b>Definition:</b> <a href="LLVMUtil_8h_source.html#l00184">LLVMUtil.h:184</a></div></div>
 <div class="ttc" id="aclassSVF_1_1Options_html_aaab923c093730b1670a54f09340b1bd5"><div class="ttname"><a href="classSVF_1_1Options.html#aaab923c093730b1670a54f09340b1bd5">SVF::Options::MaxFieldLimit</a></div><div class="ttdeci">static const Option&lt; u32_t &gt; MaxFieldLimit</div><div class="ttdoc">Maximum number of field derivations for an object.</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00038">Options.h:38</a></div></div>
 <div class="ttc" id="aclassSVF_1_1Options_html_a18dd95e01a50aa82165c46a3801053c5"><div class="ttname"><a href="classSVF_1_1Options.html#a18dd95e01a50aa82165c46a3801053c5">SVF::Options::ModelConsts</a></div><div class="ttdeci">static const Option&lt; bool &gt; ModelConsts</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00206">Options.h:206</a></div></div>

package/SVF-doxygen/html/SymbolTableBuilder_8h_source.html

@@ -217,7 +217,7 @@ $(function() {
 <div class="ttc" id="aclassSVF_1_1SymbolTableBuilder_html"><div class="ttname"><a href="classSVF_1_1SymbolTableBuilder.html">SVF::SymbolTableBuilder</a></div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableBuilder_8h_source.html#l00044">SymbolTableBuilder.h:44</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SymbolTableBuilder_html_a42c69bc9ee71cc0ff322c1701b7e07bd"><div class="ttname"><a href="classSVF_1_1SymbolTableBuilder.html#a42c69bc9ee71cc0ff322c1701b7e07bd">SVF::SymbolTableBuilder::collectSVFTypeInfo</a></div><div class="ttdeci">void collectSVFTypeInfo(const Value *val)</div><div class="ttdoc">collect the syms</div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableBuilder_8cpp_source.html#l00240">SymbolTableBuilder.cpp:240</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SymbolTableInfo_html"><div class="ttname"><a href="classSVF_1_1SymbolTableInfo.html">SVF::SymbolTableInfo</a></div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8h_source.html#l00047">SymbolTableInfo.h:47</a></div></div>
-<div class="ttc" id="anamespaceSVF_html_ad11fe2412b2182365a662ff0e4639b48"><div class="ttname"><a href="namespaceSVF.html#ad11fe2412b2182365a662ff0e4639b48">SVF::SymID</a></div><div class="ttdeci">unsigned SymID</div><div class="ttdef"><b>Definition:</b> <a href="GeneralType_8h_source.html#l00053">GeneralType.h:53</a></div></div>
+<div class="ttc" id="anamespaceSVF_html_ad11fe2412b2182365a662ff0e4639b48"><div class="ttname"><a href="namespaceSVF.html#ad11fe2412b2182365a662ff0e4639b48">SVF::SymID</a></div><div class="ttdeci">unsigned SymID</div><div class="ttdef"><b>Definition:</b> <a href="GeneralType_8h_source.html#l00057">GeneralType.h:57</a></div></div>
 <div class="ttc" id="aclassSVF_1_1ObjTypeInference_html"><div class="ttname"><a href="classSVF_1_1ObjTypeInference.html">SVF::ObjTypeInference</a></div><div class="ttdef"><b>Definition:</b> <a href="ObjTypeInference_8h_source.html#l00040">ObjTypeInference.h:40</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SymbolTableBuilder_html_aef0bb1e88d0b69313c673318f7b7cb5f"><div class="ttname"><a href="classSVF_1_1SymbolTableBuilder.html#aef0bb1e88d0b69313c673318f7b7cb5f">SVF::SymbolTableBuilder::buildMemModel</a></div><div class="ttdeci">void buildMemModel(SVFModule *svfModule)</div><div class="ttdoc">Start building memory model.</div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableBuilder_8cpp_source.html#l00075">SymbolTableBuilder.cpp:75</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SymbolTableBuilder_html_ae938564e6a36848cb848a5badc15a1de"><div class="ttname"><a href="classSVF_1_1SymbolTableBuilder.html#ae938564e6a36848cb848a5badc15a1de">SVF::SymbolTableBuilder::initTypeInfo</a></div><div class="ttdeci">void initTypeInfo(ObjTypeInfo *typeinfo, const Value *value, const Type *ty)</div><div class="ttdoc">Initialize TypeInfo based on LLVM Value.</div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableBuilder_8cpp_source.html#l00846">SymbolTableBuilder.cpp:846</a></div></div>

package/SVF-doxygen/html/SymbolTableInfo_8cpp_source.html

@@ -565,11 +565,11 @@ $(function() {
 <div class="line"><a name="l00543"></a><span class="lineno">  543</span>&#160;}</div>
 </div><!-- fragment --></div><!-- contents -->
 <div class="ttc" id="aclassSVF_1_1SymbolTableInfo_html_af8fdaaa03cd2ae9b7d50f57bc678b8ba"><div class="ttname"><a href="classSVF_1_1SymbolTableInfo.html#af8fdaaa03cd2ae9b7d50f57bc678b8ba">SVF::SymbolTableInfo::mod</a></div><div class="ttdeci">SVFModule * mod</div><div class="ttdoc">Module.</div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8h_source.html#l00092">SymbolTableInfo.h:92</a></div></div>
-<div class="ttc" id="anamespaceSVF_html_a5c4820681ef340339ddded756eb82ae1"><div class="ttname"><a href="namespaceSVF.html#a5c4820681ef340339ddded756eb82ae1">SVF::APOffset</a></div><div class="ttdeci">s64_t APOffset</div><div class="ttdef"><b>Definition:</b> <a href="GeneralType_8h_source.html#l00056">GeneralType.h:56</a></div></div>
+<div class="ttc" id="anamespaceSVF_html_a5c4820681ef340339ddded756eb82ae1"><div class="ttname"><a href="namespaceSVF.html#a5c4820681ef340339ddded756eb82ae1">SVF::APOffset</a></div><div class="ttdeci">s64_t APOffset</div><div class="ttdef"><b>Definition:</b> <a href="GeneralType_8h_source.html#l00060">GeneralType.h:60</a></div></div>
 <div class="ttc" id="aclassSVF_1_1ObjTypeInfo_html_a40d6703875b370aed2c6dc41c0594af5"><div class="ttname"><a href="classSVF_1_1ObjTypeInfo.html#a40d6703875b370aed2c6dc41c0594af5">SVF::ObjTypeInfo::isVarStruct</a></div><div class="ttdeci">bool isVarStruct()</div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8h_source.html#l00615">SymbolTableInfo.h:615</a></div></div>
 <div class="ttc" id="aclassSVF_1_1MemObj_html_a41d85883d44ad77832b020455951c6fc"><div class="ttname"><a href="classSVF_1_1MemObj.html#a41d85883d44ad77832b020455951c6fc">SVF::MemObj::isFieldInsensitive</a></div><div class="ttdeci">bool isFieldInsensitive() const</div><div class="ttdoc">Return true if its field limit is 0.</div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8cpp_source.html#l00435">SymbolTableInfo.cpp:435</a></div></div>
 <div class="ttc" id="aclassSVF_1_1ObjTypeInfo_html_a9d791c6c48a323844d7b7aa8600d77f1"><div class="ttname"><a href="classSVF_1_1ObjTypeInfo.html#a9d791c6c48a323844d7b7aa8600d77f1">SVF::ObjTypeInfo::isConstantByteSize</a></div><div class="ttdeci">bool isConstantByteSize() const</div><div class="ttdoc">Check if byte size is a const value.</div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8h_source.html#l00571">SymbolTableInfo.h:571</a></div></div>
-<div class="ttc" id="anamespaceSVF_html_aedf0d6718ca176e0b9e17ab4b30729c6"><div class="ttname"><a href="namespaceSVF.html#aedf0d6718ca176e0b9e17ab4b30729c6">SVF::OrderedMap</a></div><div class="ttdeci">std::map&lt; Key, Value, Compare, Allocator &gt; OrderedMap</div><div class="ttdef"><b>Definition:</b> <a href="GeneralType_8h_source.html#l00105">GeneralType.h:105</a></div></div>
+<div class="ttc" id="anamespaceSVF_html_aedf0d6718ca176e0b9e17ab4b30729c6"><div class="ttname"><a href="namespaceSVF.html#aedf0d6718ca176e0b9e17ab4b30729c6">SVF::OrderedMap</a></div><div class="ttdeci">std::map&lt; Key, Value, Compare, Allocator &gt; OrderedMap</div><div class="ttdef"><b>Definition:</b> <a href="GeneralType_8h_source.html#l00109">GeneralType.h:109</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SymbolTableInfo_html_a9f4cf6914b400b9f69c7852f13c496a9"><div class="ttname"><a href="classSVF_1_1SymbolTableInfo.html#a9f4cf6914b400b9f69c7852f13c496a9">SVF::SymbolTableInfo::dump</a></div><div class="ttdeci">virtual void dump()</div><div class="ttdoc">Another debug method.</div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8cpp_source.html#l00325">SymbolTableInfo.cpp:325</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SymbolTableInfo_html_aeab14702eabde827923a692cba8f7f8a"><div class="ttname"><a href="classSVF_1_1SymbolTableInfo.html#aeab14702eabde827923a692cba8f7f8a">SVF::SymbolTableInfo::objMap</a></div><div class="ttdeci">IDToMemMapTy objMap</div><div class="ttdoc">map a memory sym id to its obj</div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8h_source.html#l00086">SymbolTableInfo.h:86</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFValue_html_ac29e2f5e75cc6916be6a663ca6d51177"><div class="ttname"><a href="classSVF_1_1SVFValue.html#ac29e2f5e75cc6916be6a663ca6d51177">SVF::SVFValue::isNullPtr</a></div><div class="ttdeci">bool isNullPtr() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00272">SVFValue.h:272</a></div></div>
@@ -651,7 +651,7 @@ $(function() {
 <div class="ttc" id="aclassSVF_1_1MemObj_html_ab9637ea9acd1f8ae4933b4ab2b997e5c"><div class="ttname"><a href="classSVF_1_1MemObj.html#ab9637ea9acd1f8ae4933b4ab2b997e5c">SVF::MemObj::setFieldInsensitive</a></div><div class="ttdeci">void setFieldInsensitive()</div><div class="ttdoc">Set the memory object to be field insensitive.</div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8cpp_source.html#l00441">SymbolTableInfo.cpp:441</a></div></div>
 <div class="ttc" id="aclassSVF_1_1MemObj_html_a7f828731597450f1d43b61413ab0e7bb"><div class="ttname"><a href="classSVF_1_1MemObj.html#a7f828731597450f1d43b61413ab0e7bb">SVF::MemObj::isConstantArray</a></div><div class="ttdeci">bool isConstantArray() const</div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8cpp_source.html#l00496">SymbolTableInfo.cpp:496</a></div></div>
 <div class="ttc" id="aclassSVF_1_1ObjTypeInfo_html_ac99fa14fdf7bc0dd3e9ff36c7a3a351f"><div class="ttname"><a href="classSVF_1_1ObjTypeInfo.html#ac99fa14fdf7bc0dd3e9ff36c7a3a351f">SVF::ObjTypeInfo::isFunction</a></div><div class="ttdeci">bool isFunction()</div><div class="ttdoc">Object attributes.</div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8h_source.html#l00590">SymbolTableInfo.h:590</a></div></div>
-<div class="ttc" id="anamespaceSVF_html_ad11fe2412b2182365a662ff0e4639b48"><div class="ttname"><a href="namespaceSVF.html#ad11fe2412b2182365a662ff0e4639b48">SVF::SymID</a></div><div class="ttdeci">unsigned SymID</div><div class="ttdef"><b>Definition:</b> <a href="GeneralType_8h_source.html#l00053">GeneralType.h:53</a></div></div>
+<div class="ttc" id="anamespaceSVF_html_ad11fe2412b2182365a662ff0e4639b48"><div class="ttname"><a href="namespaceSVF.html#ad11fe2412b2182365a662ff0e4639b48">SVF::SymID</a></div><div class="ttdeci">unsigned SymID</div><div class="ttdef"><b>Definition:</b> <a href="GeneralType_8h_source.html#l00057">GeneralType.h:57</a></div></div>
 <div class="ttc" id="aclassSVF_1_1ObjTypeInfo_html_aaffd94b311238f183031a525376c55a2"><div class="ttname"><a href="classSVF_1_1ObjTypeInfo.html#aaffd94b311238f183031a525376c55a2">SVF::ObjTypeInfo::getType</a></div><div class="ttdeci">const SVFType * getType() const</div><div class="ttdoc">Get LLVM type.</div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8h_source.html#l00527">SymbolTableInfo.h:527</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFValue_html_a4a0cfe3a8f37d33ffcdca3d66026dcc3"><div class="ttname"><a href="classSVF_1_1SVFValue.html#a4a0cfe3a8f37d33ffcdca3d66026dcc3">SVF::SVFValue::toString</a></div><div class="ttdeci">std::string toString() const</div><div class="ttdoc">Needs to be implemented by a SVF front end.</div><div class="ttdef"><b>Definition:</b> <a href="LLVMUtil_8cpp_source.html#l00931">LLVMUtil.cpp:931</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SymbolTableInfo_html_a87cc3289dd69e5378487dd9ae2c9e82e"><div class="ttname"><a href="classSVF_1_1SymbolTableInfo.html#a87cc3289dd69e5378487dd9ae2c9e82e">SVF::SymbolTableInfo::destroy</a></div><div class="ttdeci">void destroy()</div><div class="ttdoc">Clean up memory.</div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8cpp_source.html#l00142">SymbolTableInfo.cpp:142</a></div></div>

package/SVF-doxygen/html/SymbolTableInfo_8h_source.html

@@ -619,7 +619,7 @@ $(function() {
 </div><!-- fragment --></div><!-- contents -->
 <div class="ttc" id="aclassSVF_1_1SymbolTableInfo_html_af8fdaaa03cd2ae9b7d50f57bc678b8ba"><div class="ttname"><a href="classSVF_1_1SymbolTableInfo.html#af8fdaaa03cd2ae9b7d50f57bc678b8ba">SVF::SymbolTableInfo::mod</a></div><div class="ttdeci">SVFModule * mod</div><div class="ttdoc">Module.</div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8h_source.html#l00092">SymbolTableInfo.h:92</a></div></div>
 <div class="ttc" id="aclassSVF_1_1MemObj_html_a1a8601b72b6e6df211db1fffdd54c48b"><div class="ttname"><a href="classSVF_1_1MemObj.html#a1a8601b72b6e6df211db1fffdd54c48b">SVF::MemObj::operator==</a></div><div class="ttdeci">bool operator==(const MemObj &amp;mem) const</div><div class="ttdoc">Operator overloading.</div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8h_source.html#l00466">SymbolTableInfo.h:466</a></div></div>
-<div class="ttc" id="anamespaceSVF_html_a5c4820681ef340339ddded756eb82ae1"><div class="ttname"><a href="namespaceSVF.html#a5c4820681ef340339ddded756eb82ae1">SVF::APOffset</a></div><div class="ttdeci">s64_t APOffset</div><div class="ttdef"><b>Definition:</b> <a href="GeneralType_8h_source.html#l00056">GeneralType.h:56</a></div></div>
+<div class="ttc" id="anamespaceSVF_html_a5c4820681ef340339ddded756eb82ae1"><div class="ttname"><a href="namespaceSVF.html#a5c4820681ef340339ddded756eb82ae1">SVF::APOffset</a></div><div class="ttdeci">s64_t APOffset</div><div class="ttdef"><b>Definition:</b> <a href="GeneralType_8h_source.html#l00060">GeneralType.h:60</a></div></div>
 <div class="ttc" id="aclassSVF_1_1ObjTypeInfo_html_a433ce3b67d4fed4925bc057d5a085ff3"><div class="ttname"><a href="classSVF_1_1ObjTypeInfo.html#a433ce3b67d4fed4925bc057d5a085ff3">SVF::ObjTypeInfo::ObjTypeInfo</a></div><div class="ttdeci">ObjTypeInfo(const SVFType *t, u32_t max)</div><div class="ttdoc">Constructors.</div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8cpp_source.html#l00044">SymbolTableInfo.cpp:44</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SymbolTableInfo_html_a72be32d606db86090067159de44e01ec"><div class="ttname"><a href="classSVF_1_1SymbolTableInfo.html#a72be32d606db86090067159de44e01ec">SVF::SymbolTableInfo::addStInfo</a></div><div class="ttdeci">void addStInfo(StInfo *stInfo)</div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8h_source.html#l00352">SymbolTableInfo.h:352</a></div></div>
 <div class="ttc" id="aclassSVF_1_1ObjTypeInfo_html_a40d6703875b370aed2c6dc41c0594af5"><div class="ttname"><a href="classSVF_1_1ObjTypeInfo.html#a40d6703875b370aed2c6dc41c0594af5">SVF::ObjTypeInfo::isVarStruct</a></div><div class="ttdeci">bool isVarStruct()</div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8h_source.html#l00615">SymbolTableInfo.h:615</a></div></div>
@@ -628,7 +628,7 @@ $(function() {
 <div class="ttc" id="aclassSVF_1_1MemObj_html_a41d85883d44ad77832b020455951c6fc"><div class="ttname"><a href="classSVF_1_1MemObj.html#a41d85883d44ad77832b020455951c6fc">SVF::MemObj::isFieldInsensitive</a></div><div class="ttdeci">bool isFieldInsensitive() const</div><div class="ttdoc">Return true if its field limit is 0.</div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8cpp_source.html#l00435">SymbolTableInfo.cpp:435</a></div></div>
 <div class="ttc" id="aclassSVF_1_1ObjTypeInfo_html_a9d791c6c48a323844d7b7aa8600d77f1"><div class="ttname"><a href="classSVF_1_1ObjTypeInfo.html#a9d791c6c48a323844d7b7aa8600d77f1">SVF::ObjTypeInfo::isConstantByteSize</a></div><div class="ttdeci">bool isConstantByteSize() const</div><div class="ttdoc">Check if byte size is a const value.</div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8h_source.html#l00571">SymbolTableInfo.h:571</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SymbolTableInfo_html_aebf96274e1ad2a523981487839a3025e"><div class="ttname"><a href="classSVF_1_1SymbolTableInfo.html#aebf96274e1ad2a523981487839a3025e">SVF::SymbolTableInfo::getBlkObj</a></div><div class="ttdeci">MemObj * getBlkObj() const</div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8h_source.html#l00174">SymbolTableInfo.h:174</a></div></div>
-<div class="ttc" id="anamespaceSVF_html_aedf0d6718ca176e0b9e17ab4b30729c6"><div class="ttname"><a href="namespaceSVF.html#aedf0d6718ca176e0b9e17ab4b30729c6">SVF::OrderedMap</a></div><div class="ttdeci">std::map&lt; Key, Value, Compare, Allocator &gt; OrderedMap</div><div class="ttdef"><b>Definition:</b> <a href="GeneralType_8h_source.html#l00105">GeneralType.h:105</a></div></div>
+<div class="ttc" id="anamespaceSVF_html_aedf0d6718ca176e0b9e17ab4b30729c6"><div class="ttname"><a href="namespaceSVF.html#aedf0d6718ca176e0b9e17ab4b30729c6">SVF::OrderedMap</a></div><div class="ttdeci">std::map&lt; Key, Value, Compare, Allocator &gt; OrderedMap</div><div class="ttdef"><b>Definition:</b> <a href="GeneralType_8h_source.html#l00109">GeneralType.h:109</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SymbolTableInfo_html_a9f4cf6914b400b9f69c7852f13c496a9"><div class="ttname"><a href="classSVF_1_1SymbolTableInfo.html#a9f4cf6914b400b9f69c7852f13c496a9">SVF::SymbolTableInfo::dump</a></div><div class="ttdeci">virtual void dump()</div><div class="ttdoc">Another debug method.</div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8cpp_source.html#l00325">SymbolTableInfo.cpp:325</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SymbolTableInfo_html_aeab14702eabde827923a692cba8f7f8a"><div class="ttname"><a href="classSVF_1_1SymbolTableInfo.html#aeab14702eabde827923a692cba8f7f8a">SVF::SymbolTableInfo::objMap</a></div><div class="ttdeci">IDToMemMapTy objMap</div><div class="ttdoc">map a memory sym id to its obj</div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8h_source.html#l00086">SymbolTableInfo.h:86</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SymbolTableInfo_html_afd2cf6ef6d7f2a583c709a72067be89ba1e6cc9ef0abd047b183382f2681cd4c1"><div class="ttname"><a href="classSVF_1_1SymbolTableInfo.html#afd2cf6ef6d7f2a583c709a72067be89ba1e6cc9ef0abd047b183382f2681cd4c1">SVF::SymbolTableInfo::NullPtr</a></div><div class="ttdeci">@ NullPtr</div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8h_source.html#l00058">SymbolTableInfo.h:58</a></div></div>
@@ -639,7 +639,7 @@ $(function() {
 <div class="ttc" id="aclassSVF_1_1SymbolTableInfo_html_afd2cf6ef6d7f2a583c709a72067be89ba23583f8cf79d3fd142f8550664ad8247"><div class="ttname"><a href="classSVF_1_1SymbolTableInfo.html#afd2cf6ef6d7f2a583c709a72067be89ba23583f8cf79d3fd142f8550664ad8247">SVF::SymbolTableInfo::ValSymbol</a></div><div class="ttdeci">@ ValSymbol</div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8h_source.html#l00062">SymbolTableInfo.h:62</a></div></div>
 <div class="ttc" id="aclassSVF_1_1ObjTypeInfo_html_ae26937ca2107517e6ede8eb6d76b95d5"><div class="ttname"><a href="classSVF_1_1ObjTypeInfo.html#ae26937ca2107517e6ede8eb6d76b95d5">SVF::ObjTypeInfo::resetTypeForHeapStaticObj</a></div><div class="ttdeci">void resetTypeForHeapStaticObj(const SVFType *type)</div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8cpp_source.html#l00050">SymbolTableInfo.cpp:50</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SymbolTableInfo_html_ad1741e65d47c39e03049c6d7265961af"><div class="ttname"><a href="classSVF_1_1SymbolTableInfo.html#ad1741e65d47c39e03049c6d7265961af">SVF::SymbolTableInfo::ValueToIDMapTy</a></div><div class="ttdeci">OrderedMap&lt; const SVFValue *, SymID &gt; ValueToIDMapTy</div><div class="ttdoc">various maps defined</div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8h_source.html#l00072">SymbolTableInfo.h:72</a></div></div>
-<div class="ttc" id="anamespaceSVF_html_af739db846e47ba6b2fd15eaad31ab7fb"><div class="ttname"><a href="namespaceSVF.html#af739db846e47ba6b2fd15eaad31ab7fb">SVF::Set</a></div><div class="ttdeci">std::unordered_set&lt; Key, Hash, KeyEqual, Allocator &gt; Set</div><div class="ttdef"><b>Definition:</b> <a href="GeneralType_8h_source.html#l00092">GeneralType.h:92</a></div></div>
+<div class="ttc" id="anamespaceSVF_html_af739db846e47ba6b2fd15eaad31ab7fb"><div class="ttname"><a href="namespaceSVF.html#af739db846e47ba6b2fd15eaad31ab7fb">SVF::Set</a></div><div class="ttdeci">std::unordered_set&lt; Key, Hash, KeyEqual, Allocator &gt; Set</div><div class="ttdef"><b>Definition:</b> <a href="GeneralType_8h_source.html#l00096">GeneralType.h:96</a></div></div>
 <div class="ttc" id="aclassSVF_1_1ObjTypeInfo_html_a91b41b7ade5871362b77a2ef566b2830a5e5bc3a1838476fbd80c52720c9d103e"><div class="ttname"><a href="classSVF_1_1ObjTypeInfo.html#a91b41b7ade5871362b77a2ef566b2830a5e5bc3a1838476fbd80c52720c9d103e">SVF::ObjTypeInfo::CONST_DATA</a></div><div class="ttdeci">@ CONST_DATA</div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8h_source.html#l00497">SymbolTableInfo.h:497</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SymbolTableInfo_html_afd2cf6ef6d7f2a583c709a72067be89ba58703da9c0d4819869447b6a25dcff00"><div class="ttname"><a href="classSVF_1_1SymbolTableInfo.html#afd2cf6ef6d7f2a583c709a72067be89ba58703da9c0d4819869447b6a25dcff00">SVF::SymbolTableInfo::ObjSymbol</a></div><div class="ttdeci">@ ObjSymbol</div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8h_source.html#l00063">SymbolTableInfo.h:63</a></div></div>
 <div class="ttc" id="aclassSVF_1_1ObjTypeInfo_html_aa2855b69150287e5f04a7a683dc4c91f"><div class="ttname"><a href="classSVF_1_1ObjTypeInfo.html#aa2855b69150287e5f04a7a683dc4c91f">SVF::ObjTypeInfo::isGlobalObj</a></div><div class="ttdeci">bool isGlobalObj()</div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8h_source.html#l00594">SymbolTableInfo.h:594</a></div></div>
@@ -752,7 +752,7 @@ $(function() {
 <div class="ttc" id="aclassSVF_1_1MemObj_html_ab9637ea9acd1f8ae4933b4ab2b997e5c"><div class="ttname"><a href="classSVF_1_1MemObj.html#ab9637ea9acd1f8ae4933b4ab2b997e5c">SVF::MemObj::setFieldInsensitive</a></div><div class="ttdeci">void setFieldInsensitive()</div><div class="ttdoc">Set the memory object to be field insensitive.</div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8cpp_source.html#l00441">SymbolTableInfo.cpp:441</a></div></div>
 <div class="ttc" id="aclassSVF_1_1MemObj_html_a7f828731597450f1d43b61413ab0e7bb"><div class="ttname"><a href="classSVF_1_1MemObj.html#a7f828731597450f1d43b61413ab0e7bb">SVF::MemObj::isConstantArray</a></div><div class="ttdeci">bool isConstantArray() const</div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8cpp_source.html#l00496">SymbolTableInfo.cpp:496</a></div></div>
 <div class="ttc" id="aclassSVF_1_1ObjTypeInfo_html_ac99fa14fdf7bc0dd3e9ff36c7a3a351f"><div class="ttname"><a href="classSVF_1_1ObjTypeInfo.html#ac99fa14fdf7bc0dd3e9ff36c7a3a351f">SVF::ObjTypeInfo::isFunction</a></div><div class="ttdeci">bool isFunction()</div><div class="ttdoc">Object attributes.</div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8h_source.html#l00590">SymbolTableInfo.h:590</a></div></div>
-<div class="ttc" id="anamespaceSVF_html_ad11fe2412b2182365a662ff0e4639b48"><div class="ttname"><a href="namespaceSVF.html#ad11fe2412b2182365a662ff0e4639b48">SVF::SymID</a></div><div class="ttdeci">unsigned SymID</div><div class="ttdef"><b>Definition:</b> <a href="GeneralType_8h_source.html#l00053">GeneralType.h:53</a></div></div>
+<div class="ttc" id="anamespaceSVF_html_ad11fe2412b2182365a662ff0e4639b48"><div class="ttname"><a href="namespaceSVF.html#ad11fe2412b2182365a662ff0e4639b48">SVF::SymID</a></div><div class="ttdeci">unsigned SymID</div><div class="ttdef"><b>Definition:</b> <a href="GeneralType_8h_source.html#l00057">GeneralType.h:57</a></div></div>
 <div class="ttc" id="aclassSVF_1_1ObjTypeInfo_html_aaffd94b311238f183031a525376c55a2"><div class="ttname"><a href="classSVF_1_1ObjTypeInfo.html#aaffd94b311238f183031a525376c55a2">SVF::ObjTypeInfo::getType</a></div><div class="ttdeci">const SVFType * getType() const</div><div class="ttdoc">Get LLVM type.</div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8h_source.html#l00527">SymbolTableInfo.h:527</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SymbolTableInfo_html_afb06da4d5f8c75c039b0a05a31d4beb3"><div class="ttname"><a href="classSVF_1_1SymbolTableInfo.html#afb06da4d5f8c75c039b0a05a31d4beb3">SVF::SymbolTableInfo::getRetSym</a></div><div class="ttdeci">SymID getRetSym(const SVFFunction *val) const</div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8h_source.html#l00230">SymbolTableInfo.h:230</a></div></div>
 <div class="ttc" id="aclassSVF_1_1ObjTypeInfo_html_a91b41b7ade5871362b77a2ef566b2830a4e7606afe2dabdef9c9836ae798a9d98"><div class="ttname"><a href="classSVF_1_1ObjTypeInfo.html#a91b41b7ade5871362b77a2ef566b2830a4e7606afe2dabdef9c9836ae798a9d98">SVF::ObjTypeInfo::STATIC_OBJ</a></div><div class="ttdeci">@ STATIC_OBJ</div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8h_source.html#l00489">SymbolTableInfo.h:489</a></div></div>

package/SVF-doxygen/html/TCT_8cpp_source.html

@@ -615,7 +615,7 @@ $(function() {
 <div class="ttc" id="aclassSVF_1_1TCT_html_a35f0fd73e0d752a426284eb4406ecca2"><div class="ttname"><a href="classSVF_1_1TCT.html#a35f0fd73e0d752a426284eb4406ecca2">SVF::TCT::getLoop</a></div><div class="ttdeci">const LoopBBs &amp; getLoop(const SVFInstruction *inst)</div><div class="ttdoc">Get loop for an instruction.</div></div>
 <div class="ttc" id="aclassSVF_1_1GenericEdge_html_ab47ca533c415841ef75456cbad439589"><div class="ttname"><a href="classSVF_1_1GenericEdge.html#ab47ca533c415841ef75456cbad439589">SVF::GenericEdge::getSrcNode</a></div><div class="ttdeci">NodeType * getSrcNode() const</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00097">GenericGraph.h:97</a></div></div>
 <div class="ttc" id="aclassSVF_1_1GenericNode_html_afe6a7b286d9af4992f41b59612fd2900"><div class="ttname"><a href="classSVF_1_1GenericNode.html#afe6a7b286d9af4992f41b59612fd2900">SVF::GenericNode::InEdgeEnd</a></div><div class="ttdeci">iterator InEdgeEnd()</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00229">GenericGraph.h:229</a></div></div>
-<div class="ttc" id="anamespaceSVF_html_af739db846e47ba6b2fd15eaad31ab7fb"><div class="ttname"><a href="namespaceSVF.html#af739db846e47ba6b2fd15eaad31ab7fb">SVF::Set</a></div><div class="ttdeci">std::unordered_set&lt; Key, Hash, KeyEqual, Allocator &gt; Set</div><div class="ttdef"><b>Definition:</b> <a href="GeneralType_8h_source.html#l00092">GeneralType.h:92</a></div></div>
+<div class="ttc" id="anamespaceSVF_html_af739db846e47ba6b2fd15eaad31ab7fb"><div class="ttname"><a href="namespaceSVF.html#af739db846e47ba6b2fd15eaad31ab7fb">SVF::Set</a></div><div class="ttdeci">std::unordered_set&lt; Key, Hash, KeyEqual, Allocator &gt; Set</div><div class="ttdef"><b>Definition:</b> <a href="GeneralType_8h_source.html#l00096">GeneralType.h:96</a></div></div>
 <div class="ttc" id="anamespaceSVF_html"><div class="ttname"><a href="namespaceSVF.html">SVF</a></div><div class="ttdoc">for isBitcode</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00067">BasicTypes.h:67</a></div></div>
 <div class="ttc" id="anamespaceSVF_1_1SVFUtil_html_a9815a5b31ac7dc21239d08e5b9f61106"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#a9815a5b31ac7dc21239d08e5b9f61106">SVF::SVFUtil::getSVFCallSite</a></div><div class="ttdeci">CallSite getSVFCallSite(const SVFInstruction *inst)</div><div class="ttdoc">Return LLVM callsite given an instruction.</div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8h_source.html#l00196">SVFUtil.h:196</a></div></div>
 <div class="ttc" id="acJSON_8cpp_html_ae71e2aec89bf140e6430cb7d5ca417c5"><div class="ttname"><a href="cJSON_8cpp.html#ae71e2aec89bf140e6430cb7d5ca417c5">print</a></div><div class="ttdeci">static unsigned char * print(const cJSON *const item, cJSON_bool format, const internal_hooks *const hooks)</div><div class="ttdef"><b>Definition:</b> <a href="cJSON_8cpp_source.html#l01189">cJSON.cpp:1189</a></div></div>
@@ -675,7 +675,7 @@ $(function() {
 <div class="ttc" id="aclassSVF_1_1TCT_html_ad15753a9c20d738325e5c0edea6c9c56"><div class="ttname"><a href="classSVF_1_1TCT.html#ad15753a9c20d738325e5c0edea6c9c56">SVF::TCT::collectMultiForkedThreads</a></div><div class="ttdeci">void collectMultiForkedThreads()</div><div class="ttdef"><b>Definition:</b> <a href="TCT_8cpp_source.html#l00206">TCT.cpp:206</a></div></div>
 <div class="ttc" id="aclassSVF_1_1TCTNode_html_a4541cd85dcde2ce789ea411ebb1d89c7"><div class="ttname"><a href="classSVF_1_1TCTNode.html#a4541cd85dcde2ce789ea411ebb1d89c7">SVF::TCTNode::isInloop</a></div><div class="ttdeci">bool isInloop() const</div><div class="ttdoc">inloop, incycle attributes</div><div class="ttdef"><b>Definition:</b> <a href="TCT_8h_source.html#l00108">TCT.h:108</a></div></div>
 <div class="ttc" id="astructSVF_1_1DOTGraphTraits_3_01TCT_01_5_01_4_html_aa3077dc4ff70cb2cf07dd5d4ad96c224"><div class="ttname"><a href="structSVF_1_1DOTGraphTraits_3_01TCT_01_5_01_4.html#aa3077dc4ff70cb2cf07dd5d4ad96c224">SVF::DOTGraphTraits&lt; TCT * &gt;::NodeType</a></div><div class="ttdeci">TCTNode NodeType</div><div class="ttdef"><b>Definition:</b> <a href="TCT_8cpp_source.html#l00570">TCT.cpp:570</a></div></div>
-<div class="ttc" id="anamespaceSVF_html_ab700523619b089b952498f39a7f5b6b1"><div class="ttname"><a href="namespaceSVF.html#ab700523619b089b952498f39a7f5b6b1">SVF::CallStrCxt</a></div><div class="ttdeci">std::vector&lt; u32_t &gt; CallStrCxt</div><div class="ttdef"><b>Definition:</b> <a href="GeneralType_8h_source.html#l00118">GeneralType.h:118</a></div></div>
+<div class="ttc" id="anamespaceSVF_html_ab700523619b089b952498f39a7f5b6b1"><div class="ttname"><a href="namespaceSVF.html#ab700523619b089b952498f39a7f5b6b1">SVF::CallStrCxt</a></div><div class="ttdeci">std::vector&lt; u32_t &gt; CallStrCxt</div><div class="ttdef"><b>Definition:</b> <a href="GeneralType_8h_source.html#l00122">GeneralType.h:122</a></div></div>
 <div class="ttc" id="aclassSVF_1_1TCT_html_a716c97a80c483c571ca7a03b9acce3e8"><div class="ttname"><a href="classSVF_1_1TCT.html#a716c97a80c483c571ca7a03b9acce3e8">SVF::TCT::dump</a></div><div class="ttdeci">void dump(const std::string &amp;filename)</div><div class="ttdoc">Dump the graph.</div><div class="ttdef"><b>Definition:</b> <a href="TCT_8cpp_source.html#l00512">TCT.cpp:512</a></div></div>
 <div class="ttc" id="anamespaceSVF_1_1SVFUtil_html_aed0b0b9f035057552a6a82154fd88e61"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#aed0b0b9f035057552a6a82154fd88e61">SVF::SVFUtil::outs</a></div><div class="ttdeci">std::ostream &amp; outs()</div><div class="ttdoc">Overwrite llvm::outs()</div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8h_source.html#l00050">SVFUtil.h:50</a></div></div>
 <div class="ttc" id="aclassSVF_1_1TCT_html_a276da0e6bbe3e4fe9d1dd051ddd8d81b"><div class="ttname"><a href="classSVF_1_1TCT.html#a276da0e6bbe3e4fe9d1dd051ddd8d81b">SVF::TCT::collectLoopInfoForJoin</a></div><div class="ttdeci">void collectLoopInfoForJoin()</div><div class="ttdoc">Handle join site in loop.</div><div class="ttdef"><b>Definition:</b> <a href="TCT_8cpp_source.html#l00313">TCT.cpp:313</a></div></div>
@@ -683,7 +683,7 @@ $(function() {
 <div class="ttc" id="aclassSVF_1_1PTACallGraphEdge_html_a750e50a9022451e406c4819979edffa5"><div class="ttname"><a href="classSVF_1_1PTACallGraphEdge.html#a750e50a9022451e406c4819979edffa5">SVF::PTACallGraphEdge::directCallsBegin</a></div><div class="ttdeci">CallInstSet::const_iterator directCallsBegin() const</div><div class="ttdoc">Iterators for direct and indirect callsites.</div><div class="ttdef"><b>Definition:</b> <a href="PTACallGraph_8h_source.html#l00122">PTACallGraph.h:122</a></div></div>
 <div class="ttc" id="aclassSVF_1_1GraphPrinter_html_a014217fb0d05c8f2a2f1a6c5b19d3e10"><div class="ttname"><a href="classSVF_1_1GraphPrinter.html#a014217fb0d05c8f2a2f1a6c5b19d3e10">SVF::GraphPrinter::WriteGraphToFile</a></div><div class="ttdeci">static void WriteGraphToFile(SVF::OutStream &amp;O, const std::string &amp;GraphName, const GraphType &amp;GT, bool simple=false)</div><div class="ttdef"><b>Definition:</b> <a href="GraphPrinter_8h_source.html#l00056">GraphPrinter.h:56</a></div></div>
 <div class="ttc" id="astructSVF_1_1DOTGraphTraits_3_01TCT_01_5_01_4_html_a3d08fde6e4bc42a6405e6104a833293f"><div class="ttname"><a href="structSVF_1_1DOTGraphTraits_3_01TCT_01_5_01_4.html#a3d08fde6e4bc42a6405e6104a833293f">SVF::DOTGraphTraits&lt; TCT * &gt;::getEdgeAttributes</a></div><div class="ttdeci">static std::string getEdgeAttributes(TCTNode *node, EdgeIter EI, TCT *csThreadTree)</div><div class="ttdef"><b>Definition:</b> <a href="TCT_8cpp_source.html#l00603">TCT.cpp:603</a></div></div>
-<div class="ttc" id="anamespaceSVF_html_a03d88a0302bcd253387690f13f693f64"><div class="ttname"><a href="namespaceSVF.html#a03d88a0302bcd253387690f13f693f64">SVF::CallSiteID</a></div><div class="ttdeci">unsigned CallSiteID</div><div class="ttdef"><b>Definition:</b> <a href="GeneralType_8h_source.html#l00054">GeneralType.h:54</a></div></div>
+<div class="ttc" id="anamespaceSVF_html_a03d88a0302bcd253387690f13f693f64"><div class="ttname"><a href="namespaceSVF.html#a03d88a0302bcd253387690f13f693f64">SVF::CallSiteID</a></div><div class="ttdeci">unsigned CallSiteID</div><div class="ttdef"><b>Definition:</b> <a href="GeneralType_8h_source.html#l00058">GeneralType.h:58</a></div></div>
 <div class="ttc" id="aclassSVF_1_1GenericGraph_html_a5dfa3f178d4abf37177d0d74ff4c6a97"><div class="ttname"><a href="classSVF_1_1GenericGraph.html#a5dfa3f178d4abf37177d0d74ff4c6a97">SVF::GenericGraph::const_iterator</a></div><div class="ttdeci">IDToNodeMapTy::const_iterator const_iterator</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00360">GenericGraph.h:360</a></div></div>
 <div class="ttc" id="aclassSVF_1_1FIFOWorkList_html"><div class="ttname"><a href="classSVF_1_1FIFOWorkList.html">SVF::FIFOWorkList</a></div><div class="ttdef"><b>Definition:</b> <a href="WorkList_8h_source.html#l00137">WorkList.h:137</a></div></div>
 <div class="ttc" id="aclassSVF_1_1TCTNode_html"><div class="ttname"><a href="classSVF_1_1TCTNode.html">SVF::TCTNode</a></div><div class="ttdef"><b>Definition:</b> <a href="TCT_8h_source.html#l00085">TCT.h:85</a></div></div>