npm - svf-tools - Versions diffs - 1.0.752 → 1.0.753 - Mend

svf-tools 1.0.752 → 1.0.753

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.

Files changed (25) hide show

package/SVF-doxygen/html/html/classSVF_1_1ConsExeState.html CHANGED Viewed

@@ -2803,7 +2803,7 @@ Additional Inherited Members</h2></td></tr>
 <div class="ttc" id="aclassSVF_1_1SingleAbsValue_html_a70528ca5e4ad67b593104a7b2bba17c6"><div class="ttname"><a href="classSVF_1_1SingleAbsValue.html#a70528ca5e4ad67b593104a7b2bba17c6">SVF::SingleAbsValue::topConstant</a></div><div class="ttdeci">static SingleAbsValue topConstant()</div><div class="ttdef"><b>Definition:</b> <a href="SingleAbsValue_8h_source.html#l00053">SingleAbsValue.h:53</a></div></div>
 <div class="ttc" id="aclassSVF_1_1ConsExeState_html_a990f50ae338a2e332d333bb3fc04c520"><div class="ttname"><a href="classSVF_1_1ConsExeState.html#a990f50ae338a2e332d333bb3fc04c520">SVF::ConsExeState::getVarToVal</a></div><div class="ttdeci">const VarToValMap &amp; getVarToVal() const</div><div class="ttdef"><b>Definition:</b> <a href="ConsExeState_8h_source.html#l00339">ConsExeState.h:339</a></div></div>
 <div class="ttc" id="aclassSVF_1_1ConsExeState_html_ac3ea5c4d65fac8934276a1ad12c97d06"><div class="ttname"><a href="classSVF_1_1ConsExeState.html#ac3ea5c4d65fac8934276a1ad12c97d06">SVF::ConsExeState::globalConsES</a></div><div class="ttdeci">static ConsExeState globalConsES</div><div class="ttdef"><b>Definition:</b> <a href="ConsExeState_8h_source.html#l00055">ConsExeState.h:55</a></div></div>
-<div class="ttc" id="aclassSVF_1_1BoundedZ3Expr_html_ae1a0bc98b18563c87136dea2a60f67be"><div class="ttname"><a href="classSVF_1_1BoundedZ3Expr.html#ae1a0bc98b18563c87136dea2a60f67be">SVF::BoundedZ3Expr::is_zero</a></div><div class="ttdeci">bool is_zero() const</div><div class="ttdef"><b>Definition:</b> <a href="BoundedZ3Expr_8h_source.html#l00113">BoundedZ3Expr.h:113</a></div></div>
+<div class="ttc" id="aclassSVF_1_1BoundedZ3Expr_html_ae1a0bc98b18563c87136dea2a60f67be"><div class="ttname"><a href="classSVF_1_1BoundedZ3Expr.html#ae1a0bc98b18563c87136dea2a60f67be">SVF::BoundedZ3Expr::is_zero</a></div><div class="ttdeci">bool is_zero() const</div><div class="ttdef"><b>Definition:</b> <a href="BoundedZ3Expr_8h_source.html#l00114">BoundedZ3Expr.h:114</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFIR_html_a37cfa2aa4e7b98ef9dc8179f581a2362"><div class="ttname"><a href="classSVF_1_1SVFIR.html#a37cfa2aa4e7b98ef9dc8179f581a2362">SVF::SVFIR::getPAG</a></div><div class="ttdeci">static SVFIR * getPAG(bool buildFromFile=false)</div><div class="ttdoc">Singleton design here to make sure we only have one instance during any analysis.</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR_8h_source.html#l00113">SVFIR.h:113</a></div></div>
 <div class="ttc" id="aclassSVF_1_1ConsExeState_html_a4878ea0f5c2cc014ac2f5ecbc6534466"><div class="ttname"><a href="classSVF_1_1ConsExeState.html#a4878ea0f5c2cc014ac2f5ecbc6534466">SVF::ConsExeState::lessThanVarToValMap</a></div><div class="ttdeci">static bool lessThanVarToValMap(const VarToValMap &amp;lhs, const VarToValMap &amp;rhs)</div><div class="ttdoc">Whether lhs is less than rhs.</div><div class="ttdef"><b>Definition:</b> <a href="ConsExeState_8cpp_source.html#l00559">ConsExeState.cpp:559</a></div></div>
 <div class="ttc" id="aclassSVF_1_1ConsExeState_html_adbf80e78f27a30f257fa8790f1cb78f5"><div class="ttname"><a href="classSVF_1_1ConsExeState.html#adbf80e78f27a30f257fa8790f1cb78f5">SVF::ConsExeState::store</a></div><div class="ttdeci">bool store(const SingleAbsValue &amp;loc, const SingleAbsValue &amp;value)</div><div class="ttdoc">Store value to location.</div><div class="ttdef"><b>Definition:</b> <a href="ConsExeState_8cpp_source.html#l00508">ConsExeState.cpp:508</a></div></div>

package/SVF-doxygen/html/html/classSVF_1_1NumericLiteral.html CHANGED Viewed

@@ -2187,30 +2187,30 @@ Friends</h2></td></tr>
 </ul>
 </div><!-- contents -->
 <div class="ttc" id="aclassSVF_1_1NumericLiteral_html_a221061ec858e5c51b222164a6c4f8152"><div class="ttname"><a href="classSVF_1_1NumericLiteral.html#a221061ec858e5c51b222164a6c4f8152">SVF::NumericLiteral::getNumeral</a></div><div class="ttdeci">int64_t getNumeral() const</div><div class="ttdoc">Return Numeral.</div><div class="ttdef"><b>Definition:</b> <a href="NumericLiteral_8h_source.html#l00120">NumericLiteral.h:120</a></div></div>
-<div class="ttc" id="aclassSVF_1_1BoundedZ3Expr_html_a1b58a124940bbc4da8c09f2b63b24b0c"><div class="ttname"><a href="classSVF_1_1BoundedZ3Expr.html#a1b58a124940bbc4da8c09f2b63b24b0c">SVF::BoundedZ3Expr::is_plus_infinite</a></div><div class="ttdeci">bool is_plus_infinite() const</div><div class="ttdef"><b>Definition:</b> <a href="BoundedZ3Expr_8h_source.html#l00073">BoundedZ3Expr.h:73</a></div></div>
+<div class="ttc" id="aclassSVF_1_1BoundedZ3Expr_html_a1b58a124940bbc4da8c09f2b63b24b0c"><div class="ttname"><a href="classSVF_1_1BoundedZ3Expr.html#a1b58a124940bbc4da8c09f2b63b24b0c">SVF::BoundedZ3Expr::is_plus_infinite</a></div><div class="ttdeci">bool is_plus_infinite() const</div><div class="ttdef"><b>Definition:</b> <a href="BoundedZ3Expr_8h_source.html#l00074">BoundedZ3Expr.h:74</a></div></div>
 <div class="ttc" id="aclassSVF_1_1NumericLiteral_html_ae3d91383159a67b9f5e102581229560a"><div class="ttname"><a href="classSVF_1_1NumericLiteral.html#ae3d91383159a67b9f5e102581229560a">SVF::NumericLiteral::_n</a></div><div class="ttdeci">BoundedZ3Expr _n</div><div class="ttdef"><b>Definition:</b> <a href="NumericLiteral_8h_source.html#l00043">NumericLiteral.h:43</a></div></div>
 <div class="ttc" id="aclassSVF_1_1NumericLiteral_html_a68e409232bf4bf0bbd688e36e8f526ee"><div class="ttname"><a href="classSVF_1_1NumericLiteral.html#a68e409232bf4bf0bbd688e36e8f526ee">SVF::NumericLiteral::NumericLiteral</a></div><div class="ttdeci">NumericLiteral()=delete</div><div class="ttdoc">Default constructor.</div></div>
 <div class="ttc" id="aclassSVF_1_1Z3Expr_html_a1da8e647e12c0e105271eadbd72f437e"><div class="ttname"><a href="classSVF_1_1Z3Expr.html#a1da8e647e12c0e105271eadbd72f437e">SVF::Z3Expr::to_string</a></div><div class="ttdeci">const std::string to_string() const</div><div class="ttdef"><b>Definition:</b> <a href="Z3Expr_8h_source.html#l00115">Z3Expr.h:115</a></div></div>
-<div class="ttc" id="aclassSVF_1_1BoundedZ3Expr_html_a9ab647fded972e0d0ed346bc94d0a73c"><div class="ttname"><a href="classSVF_1_1BoundedZ3Expr.html#a9ab647fded972e0d0ed346bc94d0a73c">SVF::BoundedZ3Expr::plus_infinity</a></div><div class="ttdeci">static BoundedZ3Expr plus_infinity()</div><div class="ttdef"><b>Definition:</b> <a href="BoundedZ3Expr_8h_source.html#l00098">BoundedZ3Expr.h:98</a></div></div>
+<div class="ttc" id="aclassSVF_1_1BoundedZ3Expr_html_a9ab647fded972e0d0ed346bc94d0a73c"><div class="ttname"><a href="classSVF_1_1BoundedZ3Expr.html#a9ab647fded972e0d0ed346bc94d0a73c">SVF::BoundedZ3Expr::plus_infinity</a></div><div class="ttdeci">static BoundedZ3Expr plus_infinity()</div><div class="ttdef"><b>Definition:</b> <a href="BoundedZ3Expr_8h_source.html#l00099">BoundedZ3Expr.h:99</a></div></div>
 <div class="ttc" id="aclassSVF_1_1NumericLiteral_html_ab3e76e79e2113319688aad96db30b5ed"><div class="ttname"><a href="classSVF_1_1NumericLiteral.html#ab3e76e79e2113319688aad96db30b5ed">SVF::NumericLiteral::eq</a></div><div class="ttdeci">friend bool eq(const NumericLiteral &amp;lhs, const NumericLiteral &amp;rhs)</div><div class="ttdef"><b>Definition:</b> <a href="NumericLiteral_8h_source.html#l00384">NumericLiteral.h:384</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_a90c87bed7210246db310dbecc61326ac"><div class="ttname"><a href="classSVF_1_1BoundedZ3Expr.html#a90c87bed7210246db310dbecc61326ac">SVF::BoundedZ3Expr::is_minus_infinite</a></div><div class="ttdeci">bool is_minus_infinite() const</div><div class="ttdef"><b>Definition:</b> <a href="BoundedZ3Expr_8h_source.html#l00078">BoundedZ3Expr.h:78</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#l00109">BoundedZ3Expr.h:109</a></div></div>
+<div class="ttc" id="aclassSVF_1_1BoundedZ3Expr_html_a90c87bed7210246db310dbecc61326ac"><div class="ttname"><a href="classSVF_1_1BoundedZ3Expr.html#a90c87bed7210246db310dbecc61326ac">SVF::BoundedZ3Expr::is_minus_infinite</a></div><div class="ttdeci">bool is_minus_infinite() const</div><div class="ttdef"><b>Definition:</b> <a href="BoundedZ3Expr_8h_source.html#l00079">BoundedZ3Expr.h:79</a></div></div>
 <div class="ttc" id="aclassSVF_1_1NumericLiteral_html_ac4acd8ca01d2aa1715c18beb46b0ae1d"><div class="ttname"><a href="classSVF_1_1NumericLiteral.html#ac4acd8ca01d2aa1715c18beb46b0ae1d">SVF::NumericLiteral::is_infinity</a></div><div class="ttdeci">bool is_infinity() const</div><div class="ttdoc">Check if this is infinity (either of plus/minus)</div><div class="ttdef"><b>Definition:</b> <a href="NumericLiteral_8h_source.html#l00108">NumericLiteral.h:108</a></div></div>
-<div class="ttc" id="aclassSVF_1_1BoundedZ3Expr_html_a950c44fafa34b36a16e5913b6a9ea51d"><div class="ttname"><a href="classSVF_1_1BoundedZ3Expr.html#a950c44fafa34b36a16e5913b6a9ea51d">SVF::BoundedZ3Expr::getNumeral</a></div><div class="ttdeci">int64_t getNumeral() const</div><div class="ttdoc">Return Numeral.</div><div class="ttdef"><b>Definition:</b> <a href="BoundedZ3Expr_8h_source.html#l00355">BoundedZ3Expr.h:355</a></div></div>
-<div class="ttc" id="aclassSVF_1_1BoundedZ3Expr_html_acce45e2300e0c1871efec36e727ed77d"><div class="ttname"><a href="classSVF_1_1BoundedZ3Expr.html#acce45e2300e0c1871efec36e727ed77d">SVF::BoundedZ3Expr::geq</a></div><div class="ttdeci">BoundedZ3Expr geq(const BoundedZ3Expr &amp;rhs) const</div><div class="ttdef"><b>Definition:</b> <a href="BoundedZ3Expr_8h_source.html#l00133">BoundedZ3Expr.h:133</a></div></div>
-<div class="ttc" id="aclassSVF_1_1BoundedZ3Expr_html_a69384aac86c966e7ae8609f5ea97361c"><div class="ttname"><a href="classSVF_1_1BoundedZ3Expr.html#a69384aac86c966e7ae8609f5ea97361c">SVF::BoundedZ3Expr::is_true</a></div><div class="ttdeci">bool is_true() const</div><div class="ttdef"><b>Definition:</b> <a href="BoundedZ3Expr_8h_source.html#l00349">BoundedZ3Expr.h:349</a></div></div>
-<div class="ttc" id="aclassSVF_1_1BoundedZ3Expr_html_ae1a0bc98b18563c87136dea2a60f67be"><div class="ttname"><a href="classSVF_1_1BoundedZ3Expr.html#ae1a0bc98b18563c87136dea2a60f67be">SVF::BoundedZ3Expr::is_zero</a></div><div class="ttdeci">bool is_zero() const</div><div class="ttdef"><b>Definition:</b> <a href="BoundedZ3Expr_8h_source.html#l00113">BoundedZ3Expr.h:113</a></div></div>
+<div class="ttc" id="aclassSVF_1_1BoundedZ3Expr_html_a950c44fafa34b36a16e5913b6a9ea51d"><div class="ttname"><a href="classSVF_1_1BoundedZ3Expr.html#a950c44fafa34b36a16e5913b6a9ea51d">SVF::BoundedZ3Expr::getNumeral</a></div><div class="ttdeci">int64_t getNumeral() const</div><div class="ttdoc">Return Numeral.</div><div class="ttdef"><b>Definition:</b> <a href="BoundedZ3Expr_8h_source.html#l00350">BoundedZ3Expr.h:350</a></div></div>
+<div class="ttc" id="aclassSVF_1_1BoundedZ3Expr_html_acce45e2300e0c1871efec36e727ed77d"><div class="ttname"><a href="classSVF_1_1BoundedZ3Expr.html#acce45e2300e0c1871efec36e727ed77d">SVF::BoundedZ3Expr::geq</a></div><div class="ttdeci">BoundedZ3Expr geq(const BoundedZ3Expr &amp;rhs) const</div><div class="ttdef"><b>Definition:</b> <a href="BoundedZ3Expr_8h_source.html#l00134">BoundedZ3Expr.h:134</a></div></div>
+<div class="ttc" id="aclassSVF_1_1BoundedZ3Expr_html_a69384aac86c966e7ae8609f5ea97361c"><div class="ttname"><a href="classSVF_1_1BoundedZ3Expr.html#a69384aac86c966e7ae8609f5ea97361c">SVF::BoundedZ3Expr::is_true</a></div><div class="ttdeci">bool is_true() const</div><div class="ttdef"><b>Definition:</b> <a href="BoundedZ3Expr_8h_source.html#l00344">BoundedZ3Expr.h:344</a></div></div>
+<div class="ttc" id="aclassSVF_1_1BoundedZ3Expr_html_ae1a0bc98b18563c87136dea2a60f67be"><div class="ttname"><a href="classSVF_1_1BoundedZ3Expr.html#ae1a0bc98b18563c87136dea2a60f67be">SVF::BoundedZ3Expr::is_zero</a></div><div class="ttdeci">bool is_zero() const</div><div class="ttdef"><b>Definition:</b> <a href="BoundedZ3Expr_8h_source.html#l00114">BoundedZ3Expr.h:114</a></div></div>
 <div class="ttc" id="aclassSVF_1_1NumericLiteral_html_af3544c0025b1796bce75891cf9c4e28a"><div class="ttname"><a href="classSVF_1_1NumericLiteral.html#af3544c0025b1796bce75891cf9c4e28a">SVF::NumericLiteral::ite</a></div><div class="ttdeci">friend NumericLiteral ite(const NumericLiteral &amp;cond, const NumericLiteral &amp;lhs, const NumericLiteral &amp;rhs)</div><div class="ttdoc">Return ite? lhs : rhs.</div><div class="ttdef"><b>Definition:</b> <a href="NumericLiteral_8h_source.html#l00368">NumericLiteral.h:368</a></div></div>
-<div class="ttc" id="aclassSVF_1_1BoundedZ3Expr_html_a033ae449eba6157a1506f716cecc1a7b"><div class="ttname"><a href="classSVF_1_1BoundedZ3Expr.html#a033ae449eba6157a1506f716cecc1a7b">SVF::BoundedZ3Expr::minus_infinity</a></div><div class="ttdeci">static BoundedZ3Expr minus_infinity()</div><div class="ttdef"><b>Definition:</b> <a href="BoundedZ3Expr_8h_source.html#l00103">BoundedZ3Expr.h:103</a></div></div>
+<div class="ttc" id="aclassSVF_1_1BoundedZ3Expr_html_a033ae449eba6157a1506f716cecc1a7b"><div class="ttname"><a href="classSVF_1_1BoundedZ3Expr.html#a033ae449eba6157a1506f716cecc1a7b">SVF::BoundedZ3Expr::minus_infinity</a></div><div class="ttdeci">static BoundedZ3Expr minus_infinity()</div><div class="ttdef"><b>Definition:</b> <a href="BoundedZ3Expr_8h_source.html#l00104">BoundedZ3Expr.h:104</a></div></div>
 <div class="ttc" id="aclassSVF_1_1NumericLiteral_html_a42f5bdc956614b4c431f7045f744ac7d"><div class="ttname"><a href="classSVF_1_1NumericLiteral.html#a42f5bdc956614b4c431f7045f744ac7d">SVF::NumericLiteral::plus_infinity</a></div><div class="ttdeci">static NumericLiteral plus_infinity()</div><div class="ttdef"><b>Definition:</b> <a href="NumericLiteral_8h_source.html#l00075">NumericLiteral.h:75</a></div></div>
 <div class="ttc" id="anamespaceSVF_html_a9b707002523ece2ac54ca893ee9a2d4e"><div class="ttname"><a href="namespaceSVF.html#a9b707002523ece2ac54ca893ee9a2d4e">SVF::s32_t</a></div><div class="ttdeci">signed s32_t</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00052">SVFType.h:52</a></div></div>
 <div class="ttc" id="aclassSVF_1_1NumericLiteral_html_a1e693e837e8d67ce76a03ec243c94f15"><div class="ttname"><a href="classSVF_1_1NumericLiteral.html#a1e693e837e8d67ce76a03ec243c94f15">SVF::NumericLiteral::is_minus_infinity</a></div><div class="ttdeci">bool is_minus_infinity() const</div><div class="ttdoc">Check if this is minus infinity.</div><div class="ttdef"><b>Definition:</b> <a href="NumericLiteral_8h_source.html#l00096">NumericLiteral.h:96</a></div></div>
 <div class="ttc" id="anamespaceSVF_1_1SVFUtil_html_a72502f7f536418621485e90ab98c2016"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#a72502f7f536418621485e90ab98c2016">SVF::SVFUtil::move</a></div><div class="ttdeci">constexpr std::remove_reference&lt; T &gt;::type &amp;&amp; move(T &amp;&amp;t) noexcept</div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8h_source.html#l00670">SVFUtil.h:670</a></div></div>
 <div class="ttc" id="aclassSVF_1_1NumericLiteral_html_ac0872619aefd1f680d08d3ec4360537c"><div class="ttname"><a href="classSVF_1_1NumericLiteral.html#ac0872619aefd1f680d08d3ec4360537c">SVF::NumericLiteral::minus_infinity</a></div><div class="ttdeci">static NumericLiteral minus_infinity()</div><div class="ttdef"><b>Definition:</b> <a href="NumericLiteral_8h_source.html#l00080">NumericLiteral.h:80</a></div></div>
-<div class="ttc" id="aclassSVF_1_1BoundedZ3Expr_html_af962942fbf3341f0679959cfd810d3a5"><div class="ttname"><a href="classSVF_1_1BoundedZ3Expr.html#af962942fbf3341f0679959cfd810d3a5">SVF::BoundedZ3Expr::leq</a></div><div class="ttdeci">BoundedZ3Expr leq(const BoundedZ3Expr &amp;rhs) const</div><div class="ttdef"><b>Definition:</b> <a href="BoundedZ3Expr_8h_source.html#l00128">BoundedZ3Expr.h:128</a></div></div>
+<div class="ttc" id="aclassSVF_1_1BoundedZ3Expr_html_af962942fbf3341f0679959cfd810d3a5"><div class="ttname"><a href="classSVF_1_1BoundedZ3Expr.html#af962942fbf3341f0679959cfd810d3a5">SVF::BoundedZ3Expr::leq</a></div><div class="ttdeci">BoundedZ3Expr leq(const BoundedZ3Expr &amp;rhs) const</div><div class="ttdef"><b>Definition:</b> <a href="BoundedZ3Expr_8h_source.html#l00129">BoundedZ3Expr.h:129</a></div></div>
 <div class="ttc" id="aclassSVF_1_1NumericLiteral_html_aa01880cdfc3b9504bef63a3bf315c54b"><div class="ttname"><a href="classSVF_1_1NumericLiteral.html#aa01880cdfc3b9504bef63a3bf315c54b">SVF::NumericLiteral::leq</a></div><div class="ttdeci">bool leq(const NumericLiteral &amp;rhs) const</div><div class="ttdoc">Less then or equal.</div><div class="ttdef"><b>Definition:</b> <a href="NumericLiteral_8h_source.html#l00132">NumericLiteral.h:132</a></div></div>
 <div class="ttc" id="aclassSVF_1_1NumericLiteral_html_a538deb0b9e88fd99b9768f5775e58ca7"><div class="ttname"><a href="classSVF_1_1NumericLiteral.html#a538deb0b9e88fd99b9768f5775e58ca7">SVF::NumericLiteral::is_plus_infinity</a></div><div class="ttdeci">bool is_plus_infinity() const</div><div class="ttdoc">Check if this is plus infinity.</div><div class="ttdef"><b>Definition:</b> <a href="NumericLiteral_8h_source.html#l00102">NumericLiteral.h:102</a></div></div>
-<div class="ttc" id="aclassSVF_1_1BoundedZ3Expr_html_a7f5158affedda8ddf53ec6cb442a6297"><div class="ttname"><a href="classSVF_1_1BoundedZ3Expr.html#a7f5158affedda8ddf53ec6cb442a6297">SVF::BoundedZ3Expr::simplify</a></div><div class="ttdeci">BoundedZ3Expr simplify() const</div><div class="ttdef"><b>Definition:</b> <a href="BoundedZ3Expr_8h_source.html#l00344">BoundedZ3Expr.h:344</a></div></div>
+<div class="ttc" id="aclassSVF_1_1BoundedZ3Expr_html_a7f5158affedda8ddf53ec6cb442a6297"><div class="ttname"><a href="classSVF_1_1BoundedZ3Expr.html#a7f5158affedda8ddf53ec6cb442a6297">SVF::BoundedZ3Expr::simplify</a></div><div class="ttdeci">BoundedZ3Expr simplify() const</div><div class="ttdef"><b>Definition:</b> <a href="BoundedZ3Expr_8h_source.html#l00339">BoundedZ3Expr.h:339</a></div></div>
 <!-- start footer part -->
 <hr class="footer"/><address class="footer"><small>
 Generated by &#160;<a href="http://www.doxygen.org/index.html">

package/SVF-doxygen/html/html/classSVF_1_1SingleAbsValue.html CHANGED Viewed

@@ -2276,8 +2276,8 @@ Additional Inherited Members</h2></td></tr>
 <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_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_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_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_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_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#l00059">BoundedZ3Expr.h:59</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#l00109">BoundedZ3Expr.h:109</a></div></div>
 <div class="ttc" id="acJSON_8cpp_html_ab6e2ea6dc7bd57d1483413449998230a"><div class="ttname"><a href="cJSON_8cpp.html#ab6e2ea6dc7bd57d1483413449998230a">n</a></div><div class="ttdeci">cJSON * n</div><div class="ttdef"><b>Definition:</b> <a href="cJSON_8cpp_source.html#l02558">cJSON.cpp:2558</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SingleAbsValue_html_a47aea8b38603cc7cd1dee9eac7e28d4e"><div class="ttname"><a href="classSVF_1_1SingleAbsValue.html#a47aea8b38603cc7cd1dee9eac7e28d4e">SVF::SingleAbsValue::ite</a></div><div class="ttdeci">friend SingleAbsValue ite(const SingleAbsValue &amp;cond, const SingleAbsValue &amp;lhs, const SingleAbsValue &amp;rhs)</div><div class="ttdef"><b>Definition:</b> <a href="SingleAbsValue_8h_source.html#l00430">SingleAbsValue.h:430</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SingleAbsValue_html_adea2bf196a9717c252f33f2707510d12"><div class="ttname"><a href="classSVF_1_1SingleAbsValue.html#adea2bf196a9717c252f33f2707510d12">SVF::SingleAbsValue::isSymbolAbsValue</a></div><div class="ttdeci">static bool isSymbolAbsValue(const SingleAbsValue &amp;expr)</div><div class="ttdef"><b>Definition:</b> <a href="SingleAbsValue_8h_source.html#l00119">SingleAbsValue.h:119</a></div></div>
@@ -2291,7 +2291,7 @@ Additional Inherited Members</h2></td></tr>
 <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_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#l00119">BoundedZ3Expr.h:119</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_afd0286acbccb8b7630ca2e086ea303b2"><div class="ttname"><a href="classSVF_1_1SingleAbsValue.html#afd0286acbccb8b7630ca2e086ea303b2">SVF::SingleAbsValue::lshr</a></div><div class="ttdeci">friend SingleAbsValue lshr(const SingleAbsValue &amp;lhs, const SingleAbsValue &amp;rhs)</div><div class="ttdef"><b>Definition:</b> <a href="SingleAbsValue_8h_source.html#l00346">SingleAbsValue.h:346</a></div></div>
 <!-- start footer part -->

package/SVF-doxygen/html/html/globals_defs.html CHANGED Viewed

@@ -386,6 +386,13 @@ $(function() {
 </ul>
+<h3><a id="index_m"></a>- m -</h3><ul>
+<li>MaxBvLen
+: <a class="el" href="BoundedZ3Expr_8h.html#adf05e95ec112057aa9e9abf8616e40c7">BoundedZ3Expr.h</a>
+</li>
+</ul>
 <h3><a id="index_n"></a>- n -</h3><ul>
 <li>NAN
 : <a class="el" href="cJSON_8cpp.html#a8abfcc76130f3f991d124dd22d7e69bc">cJSON.cpp</a>

package/SVF-doxygen/html/html/globals_m.html CHANGED Viewed

@@ -67,12 +67,15 @@ $(function() {
 <li>main()
 : <a class="el" href="cfl_8cpp.html#a3c04138a5bfe5d72780bb7e82a18e627">cfl.cpp</a>
 , <a class="el" href="dda_8cpp.html#a3c04138a5bfe5d72780bb7e82a18e627">dda.cpp</a>
+, <a class="el" href="llvm2svf_8cpp.html#a3c04138a5bfe5d72780bb7e82a18e627">llvm2svf.cpp</a>
 , <a class="el" href="wpa_8cpp.html#a3c04138a5bfe5d72780bb7e82a18e627">wpa.cpp</a>
 , <a class="el" href="saber_8cpp.html#a3c04138a5bfe5d72780bb7e82a18e627">saber.cpp</a>
 , <a class="el" href="mta_8cpp.html#a3c04138a5bfe5d72780bb7e82a18e627">mta.cpp</a>
-, <a class="el" href="llvm2svf_8cpp.html#a3c04138a5bfe5d72780bb7e82a18e627">llvm2svf.cpp</a>
 , <a class="el" href="svf-ex_8cpp.html#a3c04138a5bfe5d72780bb7e82a18e627">svf-ex.cpp</a>
 </li>
+<li>MaxBvLen
+: <a class="el" href="BoundedZ3Expr_8h.html#adf05e95ec112057aa9e9abf8616e40c7">BoundedZ3Expr.h</a>
+</li>
 <li>minify_string()
 : <a class="el" href="cJSON_8cpp.html#a569f331078de59d01dee9351fa106e3b">cJSON.cpp</a>
 </li>

package/SVF-doxygen/html/html/menudata.js CHANGED Viewed

@@ -338,6 +338,7 @@ var menudata={children:[
 {text:"j",url:"globals_defs.html#index_j"},
 {text:"k",url:"globals_defs.html#index_k"},
 {text:"l",url:"globals_defs.html#index_l"},
+{text:"m",url:"globals_defs.html#index_m"},
 {text:"n",url:"globals_defs.html#index_n"},
 {text:"r",url:"globals_defs.html#index_r"},
 {text:"s",url:"globals_defs.html#index_s"},

package/SVF-doxygen/html/html/search/all_13.js CHANGED Viewed

@@ -170,7 +170,7 @@ var searchData=
   ['true_5780',['true',['../cJSON_8cpp.html#a930920b2bc42824a5c03be681830f4b2',1,'true():&#160;cJSON.cpp'],['../cJSON_8cpp.html#a930920b2bc42824a5c03be681830f4b2',1,'true():&#160;cJSON.cpp']]],
   ['truebranch_5foperands_5781',['trueBranch_operands',['../classSVF_1_1ExtAPI_1_1ExtOperation.html#a8f818e8eb7ac88c05ff9a23db76c411a',1,'SVF::ExtAPI::ExtOperation']]],
   ['twopi_5782',['TWOPI',['../namespaceSVF_1_1GraphProgram.html#a10f45758abb5c1ef51b0ba38d18efd37ac6a6eaaa34322cf54953ba390895f0c5',1,'SVF::GraphProgram']]],
-  ['type_5783',['Type',['../classSVF_1_1PointsTo.html#a8f757f92ebf0a2ebdb5e6b001606923e',1,'SVF::PointsTo::Type()'],['../structSVF_1_1SVFUtil_1_1add__const__past__pointer.html#a52fe829ad016bca3285dfba2b5b68d35',1,'SVF::SVFUtil::add_const_past_pointer::type()'],['../structSVF_1_1SVFUtil_1_1add__const__past__pointer_3_01T_00_01std_1_1enable__if__t_3_01std_1_1is_7fffc8df953a67082a10c9027356ecdf.html#a6c70a94bde914aa0ca86e4fd9f6c1179',1,'SVF::SVFUtil::add_const_past_pointer&lt; T, std::enable_if_t&lt; std::is_pointer&lt; T &gt;::value &gt; &gt;::type()'],['../structSVF_1_1SVFUtil_1_1add__lvalue__reference__if__not__pointer.html#a871b0a9d4f1c68caca4d8e8b9ce29079',1,'SVF::SVFUtil::add_lvalue_reference_if_not_pointer::type()'],['../structSVF_1_1SVFUtil_1_1add__lvalue__reference__if__not__pointer_3_01T_00_01std_1_1enable__if__t915410d772a4855ec3d21a633a25ee09.html#a7930ae77015a1bef7da45e112a92cbce',1,'SVF::SVFUtil::add_lvalue_reference_if_not_pointer&lt; T, std::enable_if_t&lt; std::is_pointer&lt; T &gt;::value &gt; &gt;::type()'],['../structSVF_1_1SVFUtil_1_1make__void.html#ac2eb79d0fe9a0f94eb1992600ba91e36',1,'SVF::SVFUtil::make_void::type()'],['../classSVF_1_1PointsTo.html#aaa9c956187f2c04a7a242ce440d1416f',1,'SVF::PointsTo::type()'],['../classSVF_1_1MSSAMU.html#a3cbe5ca0cb91090ef0e8b331e2f15f7c',1,'SVF::MSSAMU::type()'],['../classSVF_1_1MSSADEF.html#a9e8a03dc2c2f76ef6bc095f21911f5b6',1,'SVF::MSSADEF::type()'],['../classSVF_1_1SVFValue.html#afcbdd027f9e6e35a7269f04f5fc77a78',1,'SVF::SVFValue::type()'],['../classSVF_1_1ObjTypeInfo.html#a3620a491a32ff0af93f0d92f55911498',1,'SVF::ObjTypeInfo::type()'],['../structcJSON.html#ab13084c574681593b12f6e0a3db0dcfc',1,'cJSON::type()'],['../cJSON_8cpp.html#a3f9a0d3265a6254722587175dac3e4dc',1,'type():&#160;cJSON.cpp'],['../namespaceSVF.html#a1d008c0666c145622b81d427be64c52d',1,'SVF::Type()']]],
+  ['type_5783',['Type',['../classSVF_1_1PointsTo.html#a8f757f92ebf0a2ebdb5e6b001606923e',1,'SVF::PointsTo::Type()'],['../structSVF_1_1SVFUtil_1_1add__const__past__pointer.html#a52fe829ad016bca3285dfba2b5b68d35',1,'SVF::SVFUtil::add_const_past_pointer::type()'],['../structSVF_1_1SVFUtil_1_1add__const__past__pointer_3_01T_00_01std_1_1enable__if__t_3_01std_1_1is_7fffc8df953a67082a10c9027356ecdf.html#a6c70a94bde914aa0ca86e4fd9f6c1179',1,'SVF::SVFUtil::add_const_past_pointer&lt; T, std::enable_if_t&lt; std::is_pointer&lt; T &gt;::value &gt; &gt;::type()'],['../structSVF_1_1SVFUtil_1_1add__lvalue__reference__if__not__pointer.html#a871b0a9d4f1c68caca4d8e8b9ce29079',1,'SVF::SVFUtil::add_lvalue_reference_if_not_pointer::type()'],['../structSVF_1_1SVFUtil_1_1add__lvalue__reference__if__not__pointer_3_01T_00_01std_1_1enable__if__t915410d772a4855ec3d21a633a25ee09.html#a7930ae77015a1bef7da45e112a92cbce',1,'SVF::SVFUtil::add_lvalue_reference_if_not_pointer&lt; T, std::enable_if_t&lt; std::is_pointer&lt; T &gt;::value &gt; &gt;::type()'],['../structSVF_1_1SVFUtil_1_1make__void.html#ac2eb79d0fe9a0f94eb1992600ba91e36',1,'SVF::SVFUtil::make_void::type()'],['../classSVF_1_1PointsTo.html#aaa9c956187f2c04a7a242ce440d1416f',1,'SVF::PointsTo::type()'],['../classSVF_1_1MSSAMU.html#a3cbe5ca0cb91090ef0e8b331e2f15f7c',1,'SVF::MSSAMU::type()'],['../classSVF_1_1MSSADEF.html#a9e8a03dc2c2f76ef6bc095f21911f5b6',1,'SVF::MSSADEF::type()'],['../classSVF_1_1SVFValue.html#afcbdd027f9e6e35a7269f04f5fc77a78',1,'SVF::SVFValue::type()'],['../classSVF_1_1ObjTypeInfo.html#a3620a491a32ff0af93f0d92f55911498',1,'SVF::ObjTypeInfo::type()'],['../structcJSON.html#ab13084c574681593b12f6e0a3db0dcfc',1,'cJSON::type()'],['../namespaceSVF.html#a1d008c0666c145622b81d427be64c52d',1,'SVF::Type()'],['../cJSON_8cpp.html#a3f9a0d3265a6254722587175dac3e4dc',1,'type():&#160;cJSON.cpp']]],
   ['type2typeinfo_5784',['Type2TypeInfo',['../classSVF_1_1LLVMModuleSet.html#af2c555af91679d9e6d3009547ee11486',1,'SVF::LLVMModuleSet']]],
   ['type2typeinfomap_5785',['Type2TypeInfoMap',['../classSVF_1_1LLVMModuleSet.html#a3c2eb10a20604bf794d2d10f2cffb116',1,'SVF::LLVMModuleSet']]],
   ['type_5fpair_5786',['type_pair',['../classSVF_1_1ExtAPI.html#a95ac45d2367b3d3124d5d98958e74cc5',1,'SVF::ExtAPI']]],

package/SVF-doxygen/html/html/search/all_d.js CHANGED Viewed

@@ -29,7 +29,7 @@ var searchData=
   ['matchcontext_4037',['matchContext',['../classSVF_1_1ContextCond.html#ab816f854687999b8c01f5c02fcf6b8af',1,'SVF::ContextCond::matchContext()'],['../classSVF_1_1CxtStmtDPItem.html#a35c0c0d5194983769e313d6e31b3d7ec',1,'SVF::CxtStmtDPItem::matchContext()'],['../classSVF_1_1CxtDPItem.html#ad386861998e54ec754ca62f358f03e6a',1,'SVF::CxtDPItem::matchContext()']]],
   ['matchcxt_4038',['matchCxt',['../classSVF_1_1MTAResultValidator.html#a6306899b5360e106dd090bea571027bf',1,'SVF::MTAResultValidator::matchCxt()'],['../classSVF_1_1LockAnalysis.html#a78eb13118f947fb1d84e274bb0f46695',1,'SVF::LockAnalysis::matchCxt()'],['../classSVF_1_1MHP.html#a3dc4c80d60039ce5f73583ce32784d82',1,'SVF::MHP::matchCxt()'],['../classSVF_1_1ForkJoinAnalysis.html#ac95b1600aa524c3e607eebcf9d50df0e',1,'SVF::ForkJoinAnalysis::matchCxt()'],['../classSVF_1_1MTAResultValidator.html#a3207f67c8046e64ffd7beb4d5cd6c0e0',1,'SVF::MTAResultValidator::matchCxt()'],['../classSVF_1_1TCT.html#a9b1a5a9feb8cd97b37ee49727536a549',1,'SVF::TCT::matchCxt()']]],
   ['max_4039',['max',['../classSVF_1_1NumericLiteral.html#a9e7a696842de2a4fae08a75d72a807ec',1,'SVF::NumericLiteral::max()'],['../classSVF_1_1NumericLiteral.html#abeb6260917a412282ddd174bd835cfa2',1,'SVF::NumericLiteral::max(std::vector&lt; NumericLiteral &gt; &amp;_l)']]],
-  ['maxbvlen_4040',['MaxBVLen',['../classSVF_1_1Options.html#a71461051f5fe6b4cc33103746525b23f',1,'SVF::Options']]],
+  ['maxbvlen_4040',['MaxBVLen',['../classSVF_1_1Options.html#a71461051f5fe6b4cc33103746525b23f',1,'SVF::Options::MaxBVLen()'],['../BoundedZ3Expr_8h.html#adf05e95ec112057aa9e9abf8616e40c7',1,'MaxBvLen():&#160;BoundedZ3Expr.h']]],
   ['maxcontextlen_4041',['MaxContextLen',['../classSVF_1_1Options.html#a6237da3f4e264fa8b63c11d621f39e71',1,'SVF::Options']]],
   ['maxcxtsize_4042',['MaxCxtSize',['../classSVF_1_1TCT.html#aaae41663b1d1f4d38b047c50c156defb',1,'SVF::TCT']]],
   ['maxfieldlimit_4043',['MaxFieldLimit',['../classSVF_1_1Options.html#aaab923c093730b1670a54f09340b1bd5',1,'SVF::Options']]],

package/SVF-doxygen/html/html/search/defines_b.js CHANGED Viewed

@@ -1,5 +1,4 @@
 var searchData=
 [
-  ['nan_13137',['NAN',['../cJSON_8cpp.html#a8abfcc76130f3f991d124dd22d7e69bc',1,'cJSON.cpp']]],
-  ['native_5fint_5fsize_13138',['NATIVE_INT_SIZE',['../SVFType_8h.html#ab8ca0fd9d0caa6817d305cae0f1cf022',1,'SVFType.h']]]
+  ['maxbvlen_13137',['MaxBvLen',['../BoundedZ3Expr_8h.html#adf05e95ec112057aa9e9abf8616e40c7',1,'BoundedZ3Expr.h']]]
 ];

package/SVF-doxygen/html/html/search/defines_c.js CHANGED Viewed

@@ -1,5 +1,5 @@
 var searchData=
 [
-  ['read_5fcreate_5fedge_5ffwd_13139',['READ_CREATE_EDGE_FWD',['../SVFFileSystem_8cpp.html#a30d1c3675b87f06ba8a58a010ae55fec',1,'SVFFileSystem.cpp']]],
-  ['read_5fcreate_5fnode_5ffwd_13140',['READ_CREATE_NODE_FWD',['../SVFFileSystem_8cpp.html#ad9bbbc9c38a358d29b606dcf38c851ad',1,'SVFFileSystem.cpp']]]
+  ['nan_13138',['NAN',['../cJSON_8cpp.html#a8abfcc76130f3f991d124dd22d7e69bc',1,'cJSON.cpp']]],
+  ['native_5fint_5fsize_13139',['NATIVE_INT_SIZE',['../SVFType_8h.html#ab8ca0fd9d0caa6817d305cae0f1cf022',1,'SVFType.h']]]
 ];

package/SVF-doxygen/html/html/search/defines_d.js CHANGED Viewed

@@ -1,9 +1,5 @@
 var searchData=
 [
-  ['static_5fstrlen_13141',['static_strlen',['../cJSON_8cpp.html#a5714bac836668a1b9af55465b78531ef',1,'cJSON.cpp']]],
-  ['svf_5fdebug_5fwith_5ftype_13142',['SVF_DEBUG_WITH_TYPE',['../SVFType_8h.html#af4959f3b61c766337464db7a1d3da399',1,'SVFType.h']]],
-  ['svf_5fglobal_5fctors_13143',['SVF_GLOBAL_CTORS',['../LLVMModule_8cpp.html#aa18802f2f60ef8030c66a42f20f285af',1,'LLVMModule.cpp']]],
-  ['svf_5fglobal_5fdtors_13144',['SVF_GLOBAL_DTORS',['../LLVMModule_8cpp.html#a9fd6e28e6ed93f65a20a348ab0646320',1,'LLVMModule.cpp']]],
-  ['svf_5fmain_5ffunc_5fname_13145',['SVF_MAIN_FUNC_NAME',['../LLVMModule_8cpp.html#a10ab7c7da3a458495d8528b9e90d714b',1,'LLVMModule.cpp']]],
-  ['svfir_5fdebug_13146',['SVFIR_DEBUG',['../SVFFileSystem_8h.html#a9b0b85a19311bdaea6d6174812eef0d9',1,'SVFFileSystem.h']]]
+  ['read_5fcreate_5fedge_5ffwd_13140',['READ_CREATE_EDGE_FWD',['../SVFFileSystem_8cpp.html#a30d1c3675b87f06ba8a58a010ae55fec',1,'SVFFileSystem.cpp']]],
+  ['read_5fcreate_5fnode_5ffwd_13141',['READ_CREATE_NODE_FWD',['../SVFFileSystem_8cpp.html#ad9bbbc9c38a358d29b606dcf38c851ad',1,'SVFFileSystem.cpp']]]
 ];

package/SVF-doxygen/html/html/search/defines_e.js CHANGED Viewed

@@ -1,6 +1,9 @@
 var searchData=
 [
-  ['threadapi_5fcpp_5f_13147',['THREADAPI_CPP_',['../ThreadAPI_8cpp.html#a2edb48ac961ebb1eb8937424c6b273f1',1,'ThreadAPI.cpp']]],
-  ['timeinterval_13148',['TIMEINTERVAL',['../SVFType_8h.html#a1aeda3370621dc00e9a0fe8e7aabc736',1,'SVFType.h']]],
-  ['true_13149',['true',['../cJSON_8cpp.html#a930920b2bc42824a5c03be681830f4b2',1,'cJSON.cpp']]]
+  ['static_5fstrlen_13142',['static_strlen',['../cJSON_8cpp.html#a5714bac836668a1b9af55465b78531ef',1,'cJSON.cpp']]],
+  ['svf_5fdebug_5fwith_5ftype_13143',['SVF_DEBUG_WITH_TYPE',['../SVFType_8h.html#af4959f3b61c766337464db7a1d3da399',1,'SVFType.h']]],
+  ['svf_5fglobal_5fctors_13144',['SVF_GLOBAL_CTORS',['../LLVMModule_8cpp.html#aa18802f2f60ef8030c66a42f20f285af',1,'LLVMModule.cpp']]],
+  ['svf_5fglobal_5fdtors_13145',['SVF_GLOBAL_DTORS',['../LLVMModule_8cpp.html#a9fd6e28e6ed93f65a20a348ab0646320',1,'LLVMModule.cpp']]],
+  ['svf_5fmain_5ffunc_5fname_13146',['SVF_MAIN_FUNC_NAME',['../LLVMModule_8cpp.html#a10ab7c7da3a458495d8528b9e90d714b',1,'LLVMModule.cpp']]],
+  ['svfir_5fdebug_13147',['SVFIR_DEBUG',['../SVFFileSystem_8h.html#a9b0b85a19311bdaea6d6174812eef0d9',1,'SVFFileSystem.h']]]
 ];

package/SVF-doxygen/html/html/search/defines_f.html CHANGED Viewed

@@ -1,7 +1,7 @@
-<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
+<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "https://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
 <html><head><title></title>
 <meta http-equiv="Content-Type" content="text/xhtml;charset=UTF-8"/>
-<meta name="generator" content="Doxygen 1.8.13"/>
+<meta name="generator" content="Doxygen 1.8.17"/>
 <link rel="stylesheet" type="text/css" href="search.css"/>
 <script type="text/javascript" src="defines_f.js"></script>
 <script type="text/javascript" src="search.js"></script>
@@ -11,15 +11,19 @@
 <div class="SRStatus" id="Loading">Loading...</div>
 <div id="SRResults"></div>
 <script type="text/javascript"><!--
+/* @license magnet:?xt=urn:btih:cf05388f2679ee054f2beb29a391d25f4e673ac3&amp;dn=gpl-2.0.txt GPL-v2 */
 createResults();
+/* @license-end */
 --></script>
 <div class="SRStatus" id="Searching">Searching...</div>
 <div class="SRStatus" id="NoMatches">No Matches</div>
 <script type="text/javascript"><!--
+/* @license magnet:?xt=urn:btih:cf05388f2679ee054f2beb29a391d25f4e673ac3&amp;dn=gpl-2.0.txt GPL-v2 */
 document.getElementById("Loading").style.display="none";
 document.getElementById("NoMatches").style.display="none";
 var searchResults = new SearchResults("searchResults");
 searchResults.Search();
+/* @license-end */
 --></script>
 </div>
 </body>

package/SVF-doxygen/html/html/search/defines_f.js CHANGED Viewed

@@ -1,29 +1,6 @@
 var searchData=
 [
-  ['sizeof_5fint',['SIZEOF_INT',['../mtr_8h.html#a44184cf844a916eee78598ab35fc966b',1,'SIZEOF_INT():&#160;mtr.h'],['../util_8h.html#a44184cf844a916eee78598ab35fc966b',1,'SIZEOF_INT():&#160;util.h']]],
-  ['sizeof_5flong',['SIZEOF_LONG',['../cudd_8h.html#a22aece5d034fd9040a3d01c3797fdfe7',1,'SIZEOF_LONG():&#160;cudd.h'],['../util_8h.html#a22aece5d034fd9040a3d01c3797fdfe7',1,'SIZEOF_LONG():&#160;util.h']]],
-  ['sizeof_5fvoid_5fp',['SIZEOF_VOID_P',['../mtr_8h.html#a92616c6df51185d4cf143d10fe85739c',1,'SIZEOF_VOID_P():&#160;mtr.h'],['../util_8h.html#a92616c6df51185d4cf143d10fe85739c',1,'SIZEOF_VOID_P():&#160;util.h']]],
-  ['st_5fcount',['st_count',['../st_8h.html#a140c61cab2720a1fa326c92be40c62d8',1,'st.h']]],
-  ['st_5fdefault_5fgrow_5ffactor',['ST_DEFAULT_GROW_FACTOR',['../st_8h.html#a05bb01984da349eeeb8eed0ce43c38a5',1,'st.h']]],
-  ['st_5fdefault_5finit_5ftable_5fsize',['ST_DEFAULT_INIT_TABLE_SIZE',['../st_8h.html#a311df13f4d458054df7d87ca22782ab2',1,'st.h']]],
-  ['st_5fdefault_5fmax_5fdensity',['ST_DEFAULT_MAX_DENSITY',['../st_8h.html#a4f884be75490db2c92e409a0209fdbcb',1,'st.h']]],
-  ['st_5fdefault_5freorder_5fflag',['ST_DEFAULT_REORDER_FLAG',['../st_8h.html#a933aaa48b6a156a000befde073a24e4c',1,'st.h']]],
-  ['st_5fforeach_5fitem',['st_foreach_item',['../st_8h.html#aea51027ca2b7197709990fb086e12c2c',1,'st.h']]],
-  ['st_5fforeach_5fitem_5fint',['st_foreach_item_int',['../st_8h.html#a437227772bc9c4c0ec636f5723654a4c',1,'st.h']]],
-  ['st_5fis_5fmember',['st_is_member',['../st_8h.html#a3e18b4a4f91b4188aa376a15ca372b9c',1,'st.h']]],
-  ['st_5fnumcmp',['ST_NUMCMP',['../st_8c.html#a2796b8bc2a5f15834d61a3519ad149d5',1,'st.c']]],
-  ['st_5fnumhash',['ST_NUMHASH',['../st_8c.html#a76573cced143d429f99bfb5e286c621e',1,'st.c']]],
-  ['st_5fout_5fof_5fmem',['ST_OUT_OF_MEM',['../st_8h.html#a1276d6ae80c20ae2ec082db7c502ef75',1,'st.h']]],
-  ['st_5fptrhash',['ST_PTRHASH',['../st_8c.html#a524a1efaf5df2432aa5bf96e35546164',1,'st.c']]],
-  ['st_5fshift',['st_shift',['../st_8c.html#ab2920f4cebe075a6fda8b299fce9f762',1,'st.c']]],
-  ['stab_5fdiv',['STAB_DIV',['../cuddInt_8c.html#a2f73d503bb99c5e8d750f9152caa5926',1,'cuddInt.c']]],
-  ['stab_5fsize',['STAB_SIZE',['../cuddInt_8c.html#ab2d303f24064e7fe8aa868d2e8850ab2',1,'cuddInt.c']]],
-  ['static_5fstrlen',['static_strlen',['../cJSON_8cpp.html#a5714bac836668a1b9af55465b78531ef',1,'cJSON.cpp']]],
-  ['statline',['statLine',['../cuddInt_8h.html#a94289b59164b0be08fdb041e6f847fd4',1,'cuddInt.h']]],
-  ['stop_5ftemp',['STOP_TEMP',['../cuddInt_8c.html#a325542c76e61adb1cebccf04f755bf52',1,'cuddInt.c']]],
-  ['storedd',['STOREDD',['../cuddInt_8c.html#ad90b4208ba9aa22e8f37b1ce723cdcf5',1,'cuddInt.c']]],
-  ['strsav',['strsav',['../util_8h.html#aed0348fcfd6ce9ab80a01d192c91fc82',1,'util.h']]],
-  ['svf_5fglobal_5fctors',['SVF_GLOBAL_CTORS',['../LLVMModule_8cpp.html#aa18802f2f60ef8030c66a42f20f285af',1,'LLVMModule.cpp']]],
-  ['svf_5fglobal_5fdtors',['SVF_GLOBAL_DTORS',['../LLVMModule_8cpp.html#a9fd6e28e6ed93f65a20a348ab0646320',1,'LLVMModule.cpp']]],
-  ['svf_5fmain_5ffunc_5fname',['SVF_MAIN_FUNC_NAME',['../LLVMModule_8cpp.html#a10ab7c7da3a458495d8528b9e90d714b',1,'LLVMModule.cpp']]]
+  ['threadapi_5fcpp_5f_13148',['THREADAPI_CPP_',['../ThreadAPI_8cpp.html#a2edb48ac961ebb1eb8937424c6b273f1',1,'ThreadAPI.cpp']]],
+  ['timeinterval_13149',['TIMEINTERVAL',['../SVFType_8h.html#a1aeda3370621dc00e9a0fe8e7aabc736',1,'SVFType.h']]],
+  ['true_13150',['true',['../cJSON_8cpp.html#a930920b2bc42824a5c03be681830f4b2',1,'cJSON.cpp']]]
 ];

package/SVF-doxygen/html/html/search/searchdata.js CHANGED Viewed

@@ -10,7 +10,7 @@ var indexSectionsWithContent =
   7: "abcdehilmnoprstvwz",
   8: "abcdefghilmnoprstuvwxz",
   9: "abcdefgilmoprstv",
-  10: "abcdefhijklnrst"
+  10: "abcdefhijklmnrst"
 };
 var indexSectionNames =

package/SVF-doxygen/html/html/structstd_1_1hash_3_01SVF_1_1BoundedZ3Expr_01_4.html CHANGED Viewed

@@ -86,7 +86,7 @@ Public Member Functions</h2></td></tr>
 <a name="details" id="details"></a><h2 class="groupheader">Detailed Description</h2>
 <div class="textblock"><p>Specialise hash for ConZ3Expr. </p>
-<p class="definition">Definition at line <a class="el" href="BoundedZ3Expr_8h_source.html#l00389">389</a> of file <a class="el" href="BoundedZ3Expr_8h_source.html">BoundedZ3Expr.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="BoundedZ3Expr_8h_source.html#l00384">384</a> of file <a class="el" href="BoundedZ3Expr_8h_source.html">BoundedZ3Expr.h</a>.</p>
 </div><h2 class="groupheader">Member Function Documentation</h2>
 <a id="a232e38e5365af047f57631b121a04e66"></a>
 <h2 class="memtitle"><span class="permalink"><a href="#a232e38e5365af047f57631b121a04e66">&#9670;&nbsp;</a></span>operator()()</h2>
@@ -112,10 +112,10 @@ Public Member Functions</h2></td></tr>
 </table>
 </div><div class="memdoc">
-<p class="definition">Definition at line <a class="el" href="BoundedZ3Expr_8h_source.html#l00391">391</a> of file <a class="el" href="BoundedZ3Expr_8h_source.html">BoundedZ3Expr.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00392"></a><span class="lineno">  392</span>&#160;    {</div>
-<div class="line"><a name="l00393"></a><span class="lineno">  393</span>&#160;        <span class="keywordflow">return</span> z3Expr.<a class="code" href="classSVF_1_1Z3Expr.html#a631cb7cee0e1f9b7204b9293f4e516a9">hash</a>();</div>
-<div class="line"><a name="l00394"></a><span class="lineno">  394</span>&#160;    }</div>
+<p class="definition">Definition at line <a class="el" href="BoundedZ3Expr_8h_source.html#l00386">386</a> of file <a class="el" href="BoundedZ3Expr_8h_source.html">BoundedZ3Expr.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00387"></a><span class="lineno">  387</span>&#160;    {</div>
+<div class="line"><a name="l00388"></a><span class="lineno">  388</span>&#160;        <span class="keywordflow">return</span> z3Expr.<a class="code" href="classSVF_1_1Z3Expr.html#a631cb7cee0e1f9b7204b9293f4e516a9">hash</a>();</div>
+<div class="line"><a name="l00389"></a><span class="lineno">  389</span>&#160;    }</div>
 </div><!-- fragment -->
 </div>
 </div>

package/package.json CHANGED Viewed

@@ -1,6 +1,6 @@
 {
   "name": "svf-tools",
-  "version": "1.0.752",
+  "version": "1.0.753",
   "description": "* <b>[TypeClone](https://github.com/SVF-tools/SVF/wiki/TypeClone) published in our [ECOOP paper](https://yuleisui.github.io/publications/ecoop20.pdf) is now available in SVF </b> * <b>SVF now uses a single script for its build. Just type [`source ./build.sh`](https://github.com/SVF-tools/SVF/blob/master/build.sh) in your terminal, that's it!</b> * <b>SVF now supports LLVM-10.0.0! </b> * <b>We thank [bsauce](https://github.com/bsauce) for writing a user manual of SVF ([link1](https://www.jianshu.com/p/068a08ec749c) and [link2](https://www.jianshu.com/p/777c30d4240e)) in Chinese </b> * <b>SVF now supports LLVM-9.0.0 (Thank [Byoungyoung Lee](https://github.com/SVF-tools/SVF/issues/142) for his help!). </b> * <b>SVF now supports a set of [field-sensitive pointer analyses](https://yuleisui.github.io/publications/sas2019a.pdf). </b> * <b>[Use SVF as an external lib](https://github.com/SVF-tools/SVF/wiki/Using-SVF-as-a-lib-in-your-own-tool) for your own project (Contributed by [Hongxu Chen](https://github.com/HongxuChen)). </b> * <b>SVF now supports LLVM-7.0.0. </b> * <b>SVF now supports Docker. [Try SVF in Docker](https://github.com/SVF-tools/SVF/wiki/Try-SVF-in-Docker)! </b> * <b>SVF now supports [LLVM-6.0.0](https://github.com/svf-tools/SVF/pull/38) (Contributed by [Jack Anthony](https://github.com/jackanth)). </b> * <b>SVF now supports [LLVM-4.0.0](https://github.com/svf-tools/SVF/pull/23) (Contributed by Jared Carlson. Thank [Jared](https://github.com/jcarlson23) and [Will](https://github.com/dtzWill) for their in-depth [discussions](https://github.com/svf-tools/SVF/pull/18) about updating SVF!) </b> * <b>SVF now supports analysis for C++ programs.</b> <br />",
   "main": "index.js",
   "scripts": {

package/svf/include/AbstractExecution/BoundedZ3Expr.h CHANGED Viewed

@@ -29,6 +29,7 @@
 #ifndef SVF_BOUNDEDZ3EXPR_H
 #define SVF_BOUNDEDZ3EXPR_H
+#define MaxBvLen 64
 #include "Util/Z3Expr.h"
@@ -248,20 +249,17 @@ public:
     friend BoundedZ3Expr operator^(const BoundedZ3Expr &lhs, const BoundedZ3Expr &rhs)
     {
-        const auto &maxBvLen = std::max(lhs.bvLen(), rhs.bvLen());
-        return bv2int(int2bv(maxBvLen, lhs.getExpr()) ^ int2bv(maxBvLen, rhs.getExpr()), true);
+        return bv2int(int2bv(MaxBvLen, lhs.getExpr()) ^ int2bv(MaxBvLen, rhs.getExpr()), true);
     }
     friend BoundedZ3Expr operator&(const BoundedZ3Expr &lhs, const BoundedZ3Expr &rhs)
     {
-        const auto &maxBvLen = std::max(lhs.bvLen(), rhs.bvLen());
-        return bv2int(int2bv(maxBvLen, lhs.getExpr()) & int2bv(maxBvLen, rhs.getExpr()), true);
+        return bv2int(int2bv(MaxBvLen, lhs.getExpr()) & int2bv(MaxBvLen, rhs.getExpr()), true);
     }
     friend BoundedZ3Expr operator|(const BoundedZ3Expr &lhs, const BoundedZ3Expr &rhs)
     {
-        const auto &maxBvLen = std::max(lhs.bvLen(), rhs.bvLen());
-        return bv2int(int2bv(maxBvLen, lhs.getExpr()) | int2bv(maxBvLen, rhs.getExpr()), true);
+        return bv2int(int2bv(MaxBvLen, lhs.getExpr()) | int2bv(MaxBvLen, rhs.getExpr()), true);
     }
     friend BoundedZ3Expr ashr(const BoundedZ3Expr &lhs, const BoundedZ3Expr &rhs)
@@ -274,8 +272,7 @@ public:
             return ite(lhs.getExpr() >= 0, BoundedZ3Expr(0), BoundedZ3Expr(-1));
         else
         {
-            const auto &maxBvLen = std::max(lhs.bvLen(), rhs.bvLen());
-            return bv2int(ashr(int2bv(maxBvLen, lhs.getExpr()), int2bv(maxBvLen, rhs.getExpr())), true);
+            return bv2int(ashr(int2bv(MaxBvLen, lhs.getExpr()), int2bv(MaxBvLen, rhs.getExpr())), true);
         }
     }
@@ -289,15 +286,13 @@ public:
             return ite(lhs.getExpr() >= 0, plus_infinity(), minus_infinity());
         else
         {
-            const auto &maxBvLen = std::max(lhs.bvLen(), rhs.bvLen());
-            return bv2int(shl(int2bv(maxBvLen, lhs.getExpr()), int2bv(maxBvLen, rhs.getExpr())), true);
+            return bv2int(shl(int2bv(MaxBvLen, lhs.getExpr()), int2bv(MaxBvLen, rhs.getExpr())), true);
         }
     }
     friend BoundedZ3Expr lshr(const BoundedZ3Expr &lhs, const BoundedZ3Expr &rhs)
     {
-        const auto &maxBvLen = std::max(lhs.bvLen(), rhs.bvLen());
-        return bv2int(lshr(int2bv(maxBvLen, lhs.getExpr()), int2bv(maxBvLen, rhs.getExpr())), true);
+        return bv2int(lshr(int2bv(MaxBvLen, lhs.getExpr()), int2bv(MaxBvLen, rhs.getExpr())), true);
     }
     friend BoundedZ3Expr int2bv(u32_t n, const BoundedZ3Expr &e)
@@ -394,3 +389,4 @@ struct std::hash<SVF::BoundedZ3Expr>
     }
 };
 #endif //SVF_BOUNDEDZ3EXPR_H