svf-tools 1.0.897 → 1.0.899

package/SVF-doxygen/html/RelExeState_8h_source.html

@@ -286,10 +286,10 @@ $(function() {
 <div class="ttc" id="aclassSVF_1_1RelExeState_html_a9c64d2699cb67cdf8d1c3c23aebf2c4a"><div class="ttname"><a href="classSVF_1_1RelExeState.html#a9c64d2699cb67cdf8d1c3c23aebf2c4a">SVF::RelExeState::getVarToVal</a></div><div class="ttdeci">const VarToValMap &amp; getVarToVal() const</div><div class="ttdef"><b>Definition:</b> <a href="RelExeState_8h_source.html#l00100">RelExeState.h:100</a></div></div>
 <div class="ttc" id="aclassSVF_1_1RelExeState_html_a0d2f6c9fe4a54b9a7c6d7167e24e1425"><div class="ttname"><a href="classSVF_1_1RelExeState.html#a0d2f6c9fe4a54b9a7c6d7167e24e1425">SVF::RelExeState::RelExeState</a></div><div class="ttdeci">RelExeState(RelExeState &amp;&amp;rhs) noexcept</div><div class="ttdef"><b>Definition:</b> <a href="RelExeState_8h_source.html#l00066">RelExeState.h:66</a></div></div>
 <div class="ttc" id="aclassSVF_1_1RelExeState_html_ab03410a5a0014d77d4f95f3a0bf45bfd"><div class="ttname"><a href="classSVF_1_1RelExeState.html#ab03410a5a0014d77d4f95f3a0bf45bfd">SVF::RelExeState::getInternalID</a></div><div class="ttdeci">static u32_t getInternalID(u32_t idx)</div><div class="ttdoc">Return the internal index if idx is an address otherwise return the value of idx.</div><div class="ttdef"><b>Definition:</b> <a href="RelExeState_8h_source.html#l00183">RelExeState.h:183</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_1RelExeState_html_a021da964784427cfb9f4353e2678ce73"><div class="ttname"><a href="classSVF_1_1RelExeState.html#a021da964784427cfb9f4353e2678ce73">SVF::RelExeState::hash</a></div><div class="ttdeci">u32_t hash() const</div><div class="ttdef"><b>Definition:</b> <a href="RelExeState_8h_source.html#l00115">RelExeState.h:115</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_1Z3Expr_html_acfdff582a0188678c10939165a40df30"><div class="ttname"><a href="classSVF_1_1Z3Expr.html#acfdff582a0188678c10939165a40df30">SVF::Z3Expr::getContext</a></div><div class="ttdeci">static z3::context &amp; getContext()</div><div class="ttdoc">Get z3 context, singleton design here to make sure we only have one context.</div><div class="ttdef"><b>Definition:</b> <a href="Z3Expr_8cpp_source.html#l00066">Z3Expr.cpp:66</a></div></div>
 <div class="ttc" id="aclassSVF_1_1RelExeState_html_afcdf0c842f48a35cf19b2f7887174e98"><div class="ttname"><a href="classSVF_1_1RelExeState.html#afcdf0c842f48a35cf19b2f7887174e98">SVF::RelExeState::VarToValMap</a></div><div class="ttdeci">Map&lt; u32_t, Z3Expr &gt; VarToValMap</div><div class="ttdef"><b>Definition:</b> <a href="RelExeState_8h_source.html#l00044">RelExeState.h:44</a></div></div>
 <div class="ttc" id="aclassSVF_1_1RelExeState_html_a8045abc5e96d0c7b373587c796180d3e"><div class="ttname"><a href="classSVF_1_1RelExeState.html#a8045abc5e96d0c7b373587c796180d3e">SVF::RelExeState::toZ3Expr</a></div><div class="ttdeci">virtual Z3Expr toZ3Expr(u32_t varId) const</div><div class="ttdoc">Return Z3 expression lazily based on SVFVar ID.</div><div class="ttdef"><b>Definition:</b> <a href="RelExeState_8h_source.html#l00150">RelExeState.h:150</a></div></div>
@@ -304,7 +304,7 @@ $(function() {
 <div class="ttc" id="aclassSVF_1_1RelExeState_html_adc3ed92ba80bb95326cbbe675a278879"><div class="ttname"><a href="classSVF_1_1RelExeState.html#adc3ed92ba80bb95326cbbe675a278879">SVF::RelExeState::isVirtualMemAddress</a></div><div class="ttdeci">static bool isVirtualMemAddress(u32_t val)</div><div class="ttdoc">Check bit value of val start with 0x7F000000, filter by 0xFF000000.</div><div class="ttdef"><b>Definition:</b> <a href="RelExeState_8h_source.html#l00177">RelExeState.h:177</a></div></div>
 <div class="ttc" id="aclassSVF_1_1RelExeState_html_ac07371e3f4f62530088cd8e6b5f0ba4e"><div class="ttname"><a href="classSVF_1_1RelExeState.html#ac07371e3f4f62530088cd8e6b5f0ba4e">SVF::RelExeState::operator==</a></div><div class="ttdeci">bool operator==(const RelExeState &amp;rhs) const</div><div class="ttdoc">Overloading Operator==.</div><div class="ttdef"><b>Definition:</b> <a href="RelExeState_8cpp_source.html#l00119">RelExeState.cpp:119</a></div></div>
 <div class="ttc" id="aclassSVF_1_1AddressValue_html_a3be7a2e3ec3215b67cd60f122d2cd10e"><div class="ttname"><a href="classSVF_1_1AddressValue.html#a3be7a2e3ec3215b67cd60f122d2cd10e">SVF::AddressValue::getInternalID</a></div><div class="ttdeci">static u32_t getInternalID(u32_t idx)</div><div class="ttdoc">Return the internal index if idx is an address otherwise return the value of idx.</div><div class="ttdef"><b>Definition:</b> <a href="AddressValue_8h_source.html#l00217">AddressValue.h:217</a></div></div>
-<div class="ttc" id="aclassSVF_1_1Z3Expr_html_ad94bbaa31e6df4e8b8238d69b8f4ae06"><div class="ttname"><a href="classSVF_1_1Z3Expr.html#ad94bbaa31e6df4e8b8238d69b8f4ae06">SVF::Z3Expr::get_numeral_int64</a></div><div class="ttdeci">int64_t get_numeral_int64() const</div><div class="ttdef"><b>Definition:</b> <a href="Z3Expr_8h_source.html#l00135">Z3Expr.h:135</a></div></div>
+<div class="ttc" id="aclassSVF_1_1Z3Expr_html_ad94bbaa31e6df4e8b8238d69b8f4ae06"><div class="ttname"><a href="classSVF_1_1Z3Expr.html#ad94bbaa31e6df4e8b8238d69b8f4ae06">SVF::Z3Expr::get_numeral_int64</a></div><div class="ttdeci">int64_t get_numeral_int64() const</div><div class="ttdef"><b>Definition:</b> <a href="Z3Expr_8h_source.html#l00142">Z3Expr.h:142</a></div></div>
 <div class="ttc" id="aclassSVF_1_1RelExeState_html_a1fe9d8a646640f9995d92bf8a577cd20"><div class="ttname"><a href="classSVF_1_1RelExeState.html#a1fe9d8a646640f9995d92bf8a577cd20">SVF::RelExeState::operator=</a></div><div class="ttdeci">RelExeState &amp; operator=(RelExeState &amp;&amp;rhs) noexcept</div><div class="ttdef"><b>Definition:</b> <a href="RelExeState_8h_source.html#l00072">RelExeState.h:72</a></div></div>
 <div class="ttc" id="aclassSVF_1_1RelExeState_html_aa550a580be3278d19f759b3a644baea5"><div class="ttname"><a href="classSVF_1_1RelExeState.html#aa550a580be3278d19f759b3a644baea5">SVF::RelExeState::load</a></div><div class="ttdeci">Z3Expr &amp; load(const Z3Expr &amp;loc)</div><div class="ttdoc">Load value at location.</div><div class="ttdef"><b>Definition:</b> <a href="RelExeState_8cpp_source.html#l00183">RelExeState.cpp:183</a></div></div>
 <div class="ttc" id="aclassSVF_1_1RelExeState_html_accb15cf8109eec2a7cc497badcdbaa57"><div class="ttname"><a href="classSVF_1_1RelExeState.html#accb15cf8109eec2a7cc497badcdbaa57">SVF::RelExeState::z3Expr2NumValue</a></div><div class="ttdeci">static s32_t z3Expr2NumValue(const Z3Expr &amp;e)</div><div class="ttdoc">Return int value from an expression if it is a numeral, otherwise return an approximate value.</div><div class="ttdef"><b>Definition:</b> <a href="RelExeState_8h_source.html#l00189">RelExeState.h:189</a></div></div>
@@ -319,18 +319,18 @@ $(function() {
 <div class="ttc" id="astructstd_1_1hash_3_01SVF_1_1RelExeState_01_4_html_aea05ac3204b21682cf1accec34645d88"><div class="ttname"><a href="structstd_1_1hash_3_01SVF_1_1RelExeState_01_4.html#aea05ac3204b21682cf1accec34645d88">std::hash&lt; SVF::RelExeState &gt;::operator()</a></div><div class="ttdeci">size_t operator()(const SVF::RelExeState &amp;exeState) const</div><div class="ttdef"><b>Definition:</b> <a href="RelExeState_8h_source.html#l00219">RelExeState.h:219</a></div></div>
 <div class="ttc" id="aclassSVF_1_1RelExeState_html_a72ec0766984f31168ad59a4ee23bcc9d"><div class="ttname"><a href="classSVF_1_1RelExeState.html#a72ec0766984f31168ad59a4ee23bcc9d">SVF::RelExeState::load</a></div><div class="ttdeci">Z3Expr &amp; load(u32_t objId)</div><div class="ttdef"><b>Definition:</b> <a href="RelExeState_8h_source.html#l00209">RelExeState.h:209</a></div></div>
 <div class="ttc" id="aclassSVF_1_1RelExeState_html_ae6ececb2e5bca174b46450d841ac51fa"><div class="ttname"><a href="classSVF_1_1RelExeState.html#ae6ececb2e5bca174b46450d841ac51fa">SVF::RelExeState::operator!=</a></div><div class="ttdeci">bool operator!=(const RelExeState &amp;rhs) const</div><div class="ttdoc">Overloading Operator!=.</div><div class="ttdef"><b>Definition:</b> <a href="RelExeState_8h_source.html#l00086">RelExeState.h:86</a></div></div>
-<div class="ttc" id="aclassSVF_1_1Z3Expr_html_afb3478316592a395c6d473791b5a0981"><div class="ttname"><a href="classSVF_1_1Z3Expr.html#afb3478316592a395c6d473791b5a0981">SVF::Z3Expr::simplify</a></div><div class="ttdeci">Z3Expr simplify() const</div><div class="ttdef"><b>Definition:</b> <a href="Z3Expr_8h_source.html#l00130">Z3Expr.h:130</a></div></div>
+<div class="ttc" id="aclassSVF_1_1Z3Expr_html_afb3478316592a395c6d473791b5a0981"><div class="ttname"><a href="classSVF_1_1Z3Expr.html#afb3478316592a395c6d473791b5a0981">SVF::Z3Expr::simplify</a></div><div class="ttdeci">Z3Expr simplify() const</div><div class="ttdef"><b>Definition:</b> <a href="Z3Expr_8h_source.html#l00137">Z3Expr.h:137</a></div></div>
 <div class="ttc" id="aclassSVF_1_1RelExeState_html_a3eb51c26ae9c87e1457d6515e6d537f9"><div class="ttname"><a href="classSVF_1_1RelExeState.html#a3eb51c26ae9c87e1457d6515e6d537f9">SVF::RelExeState::getLocToVal</a></div><div class="ttdeci">const LocToValMap &amp; getLocToVal() const</div><div class="ttdef"><b>Definition:</b> <a href="RelExeState_8h_source.html#l00105">RelExeState.h:105</a></div></div>
 <div class="ttc" id="aclassSVF_1_1RelExeState_html_a482bd4d7143e7d78a22f276bf5a4f30f"><div class="ttname"><a href="classSVF_1_1RelExeState.html#a482bd4d7143e7d78a22f276bf5a4f30f">SVF::RelExeState::RelExeState</a></div><div class="ttdeci">RelExeState(const RelExeState &amp;rhs)</div><div class="ttdef"><b>Definition:</b> <a href="RelExeState_8h_source.html#l00057">RelExeState.h:57</a></div></div>
 <div class="ttc" id="aclassSVF_1_1RelExeState_html_a0078db58922ddbf5a9ec9641ed6f4544"><div class="ttname"><a href="classSVF_1_1RelExeState.html#a0078db58922ddbf5a9ec9641ed6f4544">SVF::RelExeState::RelExeState</a></div><div class="ttdeci">RelExeState(VarToValMap &amp;varToVal, LocToValMap &amp;locToVal)</div><div class="ttdef"><b>Definition:</b> <a href="RelExeState_8h_source.html#l00054">RelExeState.h:54</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_1RelExeState_html"><div class="ttname"><a href="classSVF_1_1RelExeState.html">SVF::RelExeState</a></div><div class="ttdef"><b>Definition:</b> <a href="RelExeState_8h_source.html#l00039">RelExeState.h:39</a></div></div>
 <div class="ttc" id="aclassSVF_1_1RelExeState_html_ab798aa0dfa3f71a53a6860dc84e92210"><div class="ttname"><a href="classSVF_1_1RelExeState.html#ab798aa0dfa3f71a53a6860dc84e92210">SVF::RelExeState::buildRelZ3Expr</a></div><div class="ttdeci">Z3Expr buildRelZ3Expr(u32_t cmp, s32_t succ, Set&lt; u32_t &gt; &amp;vars, Set&lt; u32_t &gt; &amp;initVars)</div><div class="ttdoc">Build relational Z3Expr.</div><div class="ttdef"><b>Definition:</b> <a href="RelExeState_8cpp_source.html#l00090">RelExeState.cpp:90</a></div></div>
 <div class="ttc" id="aclassSVF_1_1AddressValue_html_aa6ccc9882f89804cd6566e3dfe3dfdc8"><div class="ttname"><a href="classSVF_1_1AddressValue.html#aa6ccc9882f89804cd6566e3dfe3dfdc8">SVF::AddressValue::getVirtualMemAddress</a></div><div class="ttdeci">static u32_t getVirtualMemAddress(u32_t idx)</div><div class="ttdoc">The physical address starts with 0x7f...... + idx.</div><div class="ttdef"><b>Definition:</b> <a href="AddressValue_8h_source.html#l00205">AddressValue.h:205</a></div></div>
 <div class="ttc" id="aclassSVF_1_1RelExeState_html_ab2bae973796c52765500b506844286e4"><div class="ttname"><a href="classSVF_1_1RelExeState.html#ab2bae973796c52765500b506844286e4">SVF::RelExeState::_locToVal</a></div><div class="ttdeci">LocToValMap _locToVal</div><div class="ttdef"><b>Definition:</b> <a href="RelExeState_8h_source.html#l00049">RelExeState.h:49</a></div></div>
 <div class="ttc" id="aclassSVF_1_1RelExeState_html_ab4cede761cb0bdc082da8e53cd2d5b06"><div class="ttname"><a href="classSVF_1_1RelExeState.html#ab4cede761cb0bdc082da8e53cd2d5b06">SVF::RelExeState::_varToVal</a></div><div class="ttdeci">VarToValMap _varToVal</div><div class="ttdef"><b>Definition:</b> <a href="RelExeState_8h_source.html#l00048">RelExeState.h:48</a></div></div>
 <div class="ttc" id="aclassSVF_1_1RelExeState_html_aae7d4cc75071ce34d68bd4e1709bd2c8"><div class="ttname"><a href="classSVF_1_1RelExeState.html#aae7d4cc75071ce34d68bd4e1709bd2c8">SVF::RelExeState::LocToValMap</a></div><div class="ttdeci">VarToValMap LocToValMap</div><div class="ttdef"><b>Definition:</b> <a href="RelExeState_8h_source.html#l00045">RelExeState.h:45</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="aAddressValue_8h_html"><div class="ttname"><a href="AddressValue_8h.html">AddressValue.h</a></div></div>
 <div class="ttc" id="anamespaceSVF_html_ad42bff8d0a7d60a085aa32d10f4955af"><div class="ttname"><a href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">SVF::u32_t</a></div><div class="ttdeci">unsigned u32_t</div><div class="ttdef"><b>Definition:</b> <a href="GeneralType_8h_source.html#l00046">GeneralType.h:46</a></div></div>
 <div class="ttc" id="aZ3Expr_8h_html"><div class="ttname"><a href="Z3Expr_8h.html">Z3Expr.h</a></div></div>

package/SVF-doxygen/html/RelationSolver_8cpp.html

@@ -70,6 +70,8 @@ $(function() {
 </div><!--header-->
 <div class="contents">
 <div class="textblock"><code>#include &quot;<a class="el" href="RelationSolver_8h_source.html">AE/Core/RelationSolver.h</a>&quot;</code><br />
+<code>#include &lt;cmath&gt;</code><br />
+<code>#include &quot;<a class="el" href="Options_8h_source.html">Util/Options.h</a>&quot;</code><br />
 </div>
 <p><a href="RelationSolver_8cpp_source.html">Go to the source code of this file.</a></p>
 </div><!-- contents -->