svf-tools 1.0.898 → 1.0.900

package/SVF-doxygen/html/AbstractExecution_8cpp_source.html

@@ -2018,7 +2018,7 @@ $(function() {
 <div class="ttc" id="aclassSVF_1_1IntervalESBase_html_af7451ea87d5117a90b5912a1e6f34e10"><div class="ttname"><a href="classSVF_1_1IntervalESBase.html#af7451ea87d5117a90b5912a1e6f34e10">SVF::IntervalESBase::getLocToVal</a></div><div class="ttdeci">const LocToValMap &amp; getLocToVal() const</div><div class="ttdoc">get loc2val map</div><div class="ttdef"><b>Definition:</b> <a href="IntervalExeState_8h_source.html#l00195">IntervalExeState.h:195</a></div></div>
 <div class="ttc" id="aclassSVF_1_1FILOWorkList_html_a071a624c91def82a4bbbf3806c7b7eea"><div class="ttname"><a href="classSVF_1_1FILOWorkList.html#a071a624c91def82a4bbbf3806c7b7eea">SVF::FILOWorkList::empty</a></div><div class="ttdeci">bool empty() const</div><div class="ttdef"><b>Definition:</b> <a href="WorkList_8h_source.html#l00238">WorkList.h:238</a></div></div>
 <div class="ttc" id="aclassSVF_1_1AddressValue_html"><div class="ttname"><a href="classSVF_1_1AddressValue.html">SVF::AddressValue</a></div><div class="ttdef"><b>Definition:</b> <a href="AddressValue_8h_source.html#l00043">AddressValue.h:43</a></div></div>
-<div class="ttc" id="aclassSVF_1_1NumericLiteral_html_a8e19113913c2aa236ab35d3bdd49541c"><div class="ttname"><a href="classSVF_1_1NumericLiteral.html#a8e19113913c2aa236ab35d3bdd49541c">SVF::NumericLiteral::getIntNumeral</a></div><div class="ttdeci">s64_t getIntNumeral() const</div><div class="ttdef"><b>Definition:</b> <a href="NumericLiteral_8h_source.html#l00142">NumericLiteral.h:142</a></div></div>
+<div class="ttc" id="aclassSVF_1_1NumericLiteral_html_a8e19113913c2aa236ab35d3bdd49541c"><div class="ttname"><a href="classSVF_1_1NumericLiteral.html#a8e19113913c2aa236ab35d3bdd49541c">SVF::NumericLiteral::getIntNumeral</a></div><div class="ttdeci">s64_t getIntNumeral() const</div><div class="ttdef"><b>Definition:</b> <a href="NumericLiteral_8h_source.html#l00148">NumericLiteral.h:148</a></div></div>
 <div class="ttc" id="aclassSVF_1_1AEStat_html"><div class="ttname"><a href="classSVF_1_1AEStat.html">SVF::AEStat</a></div><div class="ttdoc">AEStat: Statistic for AE.</div><div class="ttdef"><b>Definition:</b> <a href="AbstractExecution_8h_source.html#l00053">AbstractExecution.h:53</a></div></div>
 <div class="ttc" id="aclassSVF_1_1AbstractExecution_html_adb88a8be0bc1c1ac2d1546e9191c6f93"><div class="ttname"><a href="classSVF_1_1AbstractExecution.html#adb88a8be0bc1c1ac2d1546e9191c6f93">SVF::AbstractExecution::handleFunc</a></div><div class="ttdeci">virtual void handleFunc(const SVFFunction *func)</div><div class="ttdoc">handle user defined function, ext function is not included.</div><div class="ttdef"><b>Definition:</b> <a href="AbstractExecution_8cpp_source.html#l00843">AbstractExecution.cpp:843</a></div></div>
 <div class="ttc" id="aWorkList_8h_html"><div class="ttname"><a href="WorkList_8h.html">WorkList.h</a></div></div>

package/SVF-doxygen/html/BoundedZ3Expr_8cpp_source.html

@@ -134,14 +134,14 @@ $(function() {
 <div class="line"><a name="l00063"></a><span class="lineno">   63</span>&#160;    }</div>
 <div class="line"><a name="l00064"></a><span class="lineno">   64</span>&#160;}</div>
 </div><!-- fragment --></div><!-- contents -->
-<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="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_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="aBoundedZ3Expr_8h_html"><div class="ttname"><a href="BoundedZ3Expr_8h.html">BoundedZ3Expr.h</a></div></div>
 <div class="ttc" id="aclassSVF_1_1Z3Expr_html"><div class="ttname"><a href="classSVF_1_1Z3Expr.html">SVF::Z3Expr</a></div><div class="ttdef"><b>Definition:</b> <a href="Z3Expr_8h_source.html#l00038">Z3Expr.h:38</a></div></div>
 <div class="ttc" id="aOptions_8h_html"><div class="ttname"><a href="Options_8h.html">Options.h</a></div></div>
-<div class="ttc" id="aclassSVF_1_1BoundedZ3Expr_html_aaea0231e6991c9463efab58fa802e342"><div class="ttname"><a href="classSVF_1_1BoundedZ3Expr.html#aaea0231e6991c9463efab58fa802e342">SVF::BoundedZ3Expr::is_infinite</a></div><div class="ttdeci">bool is_infinite() const</div><div class="ttdef"><b>Definition:</b> <a href="BoundedZ3Expr_8h_source.html#l00083">BoundedZ3Expr.h:83</a></div></div>
-<div class="ttc" id="aclassSVF_1_1BoundedZ3Expr_html_af62c2d6bc40080b9728c107cf317184b"><div class="ttname"><a href="classSVF_1_1BoundedZ3Expr.html#af62c2d6bc40080b9728c107cf317184b">SVF::BoundedZ3Expr::getNumeral</a></div><div class="ttdeci">s64_t getNumeral() const</div><div class="ttdoc">Return Numeral.</div><div class="ttdef"><b>Definition:</b> <a href="BoundedZ3Expr_8h_source.html#l00376">BoundedZ3Expr.h:376</a></div></div>
+<div class="ttc" id="aclassSVF_1_1BoundedZ3Expr_html_aaea0231e6991c9463efab58fa802e342"><div class="ttname"><a href="classSVF_1_1BoundedZ3Expr.html#aaea0231e6991c9463efab58fa802e342">SVF::BoundedZ3Expr::is_infinite</a></div><div class="ttdeci">bool is_infinite() const</div><div class="ttdef"><b>Definition:</b> <a href="BoundedZ3Expr_8h_source.html#l00085">BoundedZ3Expr.h:85</a></div></div>
+<div class="ttc" id="aclassSVF_1_1BoundedZ3Expr_html_af62c2d6bc40080b9728c107cf317184b"><div class="ttname"><a href="classSVF_1_1BoundedZ3Expr.html#af62c2d6bc40080b9728c107cf317184b">SVF::BoundedZ3Expr::getNumeral</a></div><div class="ttdeci">s64_t getNumeral() const</div><div class="ttdoc">Return Numeral.</div><div class="ttdef"><b>Definition:</b> <a href="BoundedZ3Expr_8h_source.html#l00378">BoundedZ3Expr.h:378</a></div></div>
 <div class="ttc" id="aclassSVF_1_1BoundedZ3Expr_html_a15706e4f0708a2de70118c2df8c869c7"><div class="ttname"><a href="classSVF_1_1BoundedZ3Expr.html#a15706e4f0708a2de70118c2df8c869c7">SVF::BoundedZ3Expr::bvLen</a></div><div class="ttdeci">s64_t bvLen() const</div><div class="ttdef"><b>Definition:</b> <a href="BoundedZ3Expr_8cpp_source.html#l00034">BoundedZ3Expr.cpp:34</a></div></div>
 <div class="ttc" id="aclassSVF_1_1BoundedZ3Expr_html_ab5c21e9cce17bc0887ed5f3678810b34"><div class="ttname"><a href="classSVF_1_1BoundedZ3Expr.html#ab5c21e9cce17bc0887ed5f3678810b34">SVF::BoundedZ3Expr::BoundedZ3Expr</a></div><div class="ttdeci">BoundedZ3Expr()=default</div></div>
 <div class="ttc" id="anamespaceSVF_html_ad781b0b14e89773e774072b280658ef3"><div class="ttname"><a href="namespaceSVF.html#ad781b0b14e89773e774072b280658ef3">SVF::s64_t</a></div><div class="ttdeci">signed long long s64_t</div><div class="ttdef"><b>Definition:</b> <a href="GeneralType_8h_source.html#l00049">GeneralType.h:49</a></div></div>