svf-tools 1.0.898 → 1.0.899

package/SVF-doxygen/html/Options_8cpp_source.html

@@ -923,7 +923,15 @@ $(function() {
 <div class="line"><a name="l00853"></a><span class="lineno">  853</span>&#160;    <span class="stringliteral">&quot;run-uncall-fun&quot;</span>,<span class="stringliteral">&quot;Skip Gep Unknown Index&quot;</span>,<span class="keyword">false</span>);</div>
 <div class="line"><a name="l00854"></a><span class="lineno">  854</span>&#160;<span class="keyword">const</span> <a class="code" href="classOption.html">Option&lt;bool&gt;</a> <a class="code" href="classSVF_1_1Options.html#a76555ba4522accb66d9d38b700e203e0">Options::ICFGMergeAdjacentNodes</a>(</div>
 <div class="line"><a name="l00855"></a><span class="lineno">  855</span>&#160;    <span class="stringliteral">&quot;icfg-merge-adjnodes&quot;</span>,<span class="stringliteral">&quot;ICFG Simplification - Merge Adjacent Nodes in the Same Basic Block.&quot;</span>,<span class="keyword">false</span>);</div>
-<div class="line"><a name="l00856"></a><span class="lineno">  856</span>&#160;} <span class="comment">// namespace SVF.</span></div>
+<div class="line"><a name="l00856"></a><span class="lineno">  856</span>&#160; </div>
+<div class="line"><a name="l00857"></a><span class="lineno">  857</span>&#160; </div>
+<div class="line"><a name="l00858"></a><span class="lineno">  858</span>&#160;<span class="keyword">const</span> <a class="code" href="classOption.html">Option&lt;u32_t&gt;</a> <a class="code" href="classSVF_1_1Options.html#a922c40a80ef055f7f861948d2158f8a7">Options::AEPrecision</a>(</div>
+<div class="line"><a name="l00859"></a><span class="lineno">  859</span>&#160;    <span class="stringliteral">&quot;precision&quot;</span>,</div>
+<div class="line"><a name="l00860"></a><span class="lineno">  860</span>&#160;    <span class="stringliteral">&quot;symbolic abstraction precision for float&quot;</span>,</div>
+<div class="line"><a name="l00861"></a><span class="lineno">  861</span>&#160;    0</div>
+<div class="line"><a name="l00862"></a><span class="lineno">  862</span>&#160;);</div>
+<div class="line"><a name="l00863"></a><span class="lineno">  863</span>&#160; </div>
+<div class="line"><a name="l00864"></a><span class="lineno">  864</span>&#160;} <span class="comment">// namespace SVF.</span></div>
 </div><!-- fragment --></div><!-- contents -->
 <div class="ttc" id="aclassSVF_1_1Options_html_a6237da3f4e264fa8b63c11d621f39e71"><div class="ttname"><a href="classSVF_1_1Options.html#a6237da3f4e264fa8b63c11d621f39e71">SVF::Options::MaxContextLen</a></div><div class="ttdeci">static const Option&lt; u32_t &gt; MaxContextLen</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00085">Options.h:85</a></div></div>
 <div class="ttc" id="aclassSVF_1_1Options_html_ab7741246d969021c9afc448b084699af"><div class="ttname"><a href="classSVF_1_1Options.html#ab7741246d969021c9afc448b084699af">SVF::Options::OPTSVFG</a></div><div class="ttdeci">static Option&lt; bool &gt; OPTSVFG</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00149">Options.h:149</a></div></div>
@@ -1043,6 +1051,7 @@ $(function() {
 <div class="ttc" id="aclassSVF_1_1Options_html_a4f022e2f997d25ec50842b4248147336"><div class="ttname"><a href="classSVF_1_1Options.html#a4f022e2f997d25ec50842b4248147336">SVF::Options::FSAnno</a></div><div class="ttdeci">static const Option&lt; bool &gt; FSAnno</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00169">Options.h:169</a></div></div>
 <div class="ttc" id="aclassSVF_1_1Options_html_a28af43961cb29a7dea50be2ab332cc75"><div class="ttname"><a href="classSVF_1_1Options.html#a28af43961cb29a7dea50be2ab332cc75">SVF::Options::ClockType</a></div><div class="ttdeci">static const OptionMap&lt; enum PTAStat::ClockType &gt; ClockType</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00024">Options.h:24</a></div></div>
 <div class="ttc" id="aclassSVF_1_1Options_html_aaa27474452c68545e883d02a334cab70"><div class="ttname"><a href="classSVF_1_1Options.html#aaa27474452c68545e883d02a334cab70">SVF::Options::AllPairMHP</a></div><div class="ttdeci">static const Option&lt; bool &gt; AllPairMHP</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00179">Options.h:179</a></div></div>
+<div class="ttc" id="aclassSVF_1_1Options_html_a922c40a80ef055f7f861948d2158f8a7"><div class="ttname"><a href="classSVF_1_1Options.html#a922c40a80ef055f7f861948d2158f8a7">SVF::Options::AEPrecision</a></div><div class="ttdeci">static const Option&lt; u32_t &gt; AEPrecision</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00279">Options.h:279</a></div></div>
 <div class="ttc" id="aclassSVF_1_1Options_html_a7ef3e2cd417646e9d06e0da16ff6c516"><div class="ttname"><a href="classSVF_1_1Options.html#a7ef3e2cd417646e9d06e0da16ff6c516">SVF::Options::CFLSVFG</a></div><div class="ttdeci">static const Option&lt; bool &gt; CFLSVFG</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00255">Options.h:255</a></div></div>
 <div class="ttc" id="afastcluster_8h_html_a4205a14ad66b3320d2e94c61d74913dda3ab72664fc61704a1ba46bddbc347115"><div class="ttname"><a href="fastcluster_8h.html#a4205a14ad66b3320d2e94c61d74913dda3ab72664fc61704a1ba46bddbc347115">HCLUST_METHOD_AVERAGE</a></div><div class="ttdeci">@ HCLUST_METHOD_AVERAGE</div><div class="ttdef"><b>Definition:</b> <a href="fastcluster_8h_source.html#l00072">fastcluster.h:72</a></div></div>
 <div class="ttc" id="aclassSVF_1_1Options_html_a2f4f7e10e3f4f11645aafe63edeef26c"><div class="ttname"><a href="classSVF_1_1Options.html#a2f4f7e10e3f4f11645aafe63edeef26c">SVF::Options::POCRAlias</a></div><div class="ttdeci">static const Option&lt; bool &gt; POCRAlias</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00256">Options.h:256</a></div></div>

package/SVF-doxygen/html/Options_8h_source.html

@@ -316,10 +316,13 @@ $(function() {
 <div class="line"><a name="l00274"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#abbdf86ddc2fb37d03b7ef7a9bcc4ce29">  274</a></span>&#160;    <span class="keyword">static</span> <span class="keyword">const</span> <a class="code" href="classOption.html">Option&lt;bool&gt;</a> <a class="code" href="classSVF_1_1Options.html#abbdf86ddc2fb37d03b7ef7a9bcc4ce29">RunUncallFuncs</a>;</div>
 <div class="line"><a name="l00275"></a><span class="lineno">  275</span>&#160; </div>
 <div class="line"><a name="l00276"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a76555ba4522accb66d9d38b700e203e0">  276</a></span>&#160;    <span class="keyword">static</span> <span class="keyword">const</span> <a class="code" href="classOption.html">Option&lt;bool&gt;</a> <a class="code" href="classSVF_1_1Options.html#a76555ba4522accb66d9d38b700e203e0">ICFGMergeAdjacentNodes</a>;</div>
-<div class="line"><a name="l00277"></a><span class="lineno">  277</span>&#160;};</div>
-<div class="line"><a name="l00278"></a><span class="lineno">  278</span>&#160;}  <span class="comment">// namespace SVF</span></div>
-<div class="line"><a name="l00279"></a><span class="lineno">  279</span>&#160; </div>
-<div class="line"><a name="l00280"></a><span class="lineno">  280</span>&#160;<span class="preprocessor">#endif  // ifdef OPTIONS_H_</span></div>
+<div class="line"><a name="l00277"></a><span class="lineno">  277</span>&#160; </div>
+<div class="line"><a name="l00278"></a><span class="lineno">  278</span>&#160;    <span class="comment">// float precision for symbolic abstraction</span></div>
+<div class="line"><a name="l00279"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a922c40a80ef055f7f861948d2158f8a7">  279</a></span>&#160;    <span class="keyword">static</span> <span class="keyword">const</span> <a class="code" href="classOption.html">Option&lt;u32_t&gt;</a> <a class="code" href="classSVF_1_1Options.html#a922c40a80ef055f7f861948d2158f8a7">AEPrecision</a>;</div>
+<div class="line"><a name="l00280"></a><span class="lineno">  280</span>&#160;};</div>
+<div class="line"><a name="l00281"></a><span class="lineno">  281</span>&#160;}  <span class="comment">// namespace SVF</span></div>
+<div class="line"><a name="l00282"></a><span class="lineno">  282</span>&#160; </div>
+<div class="line"><a name="l00283"></a><span class="lineno">  283</span>&#160;<span class="preprocessor">#endif  // ifdef OPTIONS_H_</span></div>
 </div><!-- fragment --></div><!-- contents -->
 <div class="ttc" id="aclassSVF_1_1Options_html_a6237da3f4e264fa8b63c11d621f39e71"><div class="ttname"><a href="classSVF_1_1Options.html#a6237da3f4e264fa8b63c11d621f39e71">SVF::Options::MaxContextLen</a></div><div class="ttdeci">static const Option&lt; u32_t &gt; MaxContextLen</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00085">Options.h:85</a></div></div>
 <div class="ttc" id="aclassSVF_1_1Options_html_ab7741246d969021c9afc448b084699af"><div class="ttname"><a href="classSVF_1_1Options.html#ab7741246d969021c9afc448b084699af">SVF::Options::OPTSVFG</a></div><div class="ttdeci">static Option&lt; bool &gt; OPTSVFG</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00149">Options.h:149</a></div></div>
@@ -429,6 +432,7 @@ $(function() {
 <div class="ttc" id="aclassSVF_1_1Options_html_a28af43961cb29a7dea50be2ab332cc75"><div class="ttname"><a href="classSVF_1_1Options.html#a28af43961cb29a7dea50be2ab332cc75">SVF::Options::ClockType</a></div><div class="ttdeci">static const OptionMap&lt; enum PTAStat::ClockType &gt; ClockType</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00024">Options.h:24</a></div></div>
 <div class="ttc" id="aclassSVF_1_1Options_html_aaa27474452c68545e883d02a334cab70"><div class="ttname"><a href="classSVF_1_1Options.html#aaa27474452c68545e883d02a334cab70">SVF::Options::AllPairMHP</a></div><div class="ttdeci">static const Option&lt; bool &gt; AllPairMHP</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00179">Options.h:179</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="aclassSVF_1_1Options_html_a922c40a80ef055f7f861948d2158f8a7"><div class="ttname"><a href="classSVF_1_1Options.html#a922c40a80ef055f7f861948d2158f8a7">SVF::Options::AEPrecision</a></div><div class="ttdeci">static const Option&lt; u32_t &gt; AEPrecision</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00279">Options.h:279</a></div></div>
 <div class="ttc" id="aclassSVF_1_1Options_html_a7ef3e2cd417646e9d06e0da16ff6c516"><div class="ttname"><a href="classSVF_1_1Options.html#a7ef3e2cd417646e9d06e0da16ff6c516">SVF::Options::CFLSVFG</a></div><div class="ttdeci">static const Option&lt; bool &gt; CFLSVFG</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00255">Options.h:255</a></div></div>
 <div class="ttc" id="aMemSSA_8h_html"><div class="ttname"><a href="MemSSA_8h.html">MemSSA.h</a></div></div>
 <div class="ttc" id="aclassSVF_1_1Options_html_a2f4f7e10e3f4f11645aafe63edeef26c"><div class="ttname"><a href="classSVF_1_1Options.html#a2f4f7e10e3f4f11645aafe63edeef26c">SVF::Options::POCRAlias</a></div><div class="ttdeci">static const Option&lt; bool &gt; POCRAlias</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00256">Options.h:256</a></div></div>

package/SVF-doxygen/html/RelExeState_8cpp_source.html

@@ -246,10 +246,10 @@ $(function() {
 <div class="ttc" id="aclassSVF_1_1RelExeState_html_a3a2d5de4c61fab8b277308a186795a13"><div class="ttname"><a href="classSVF_1_1RelExeState.html#a3a2d5de4c61fab8b277308a186795a13">SVF::RelExeState::store</a></div><div class="ttdeci">void store(const Z3Expr &amp;loc, const Z3Expr &amp;value)</div><div class="ttdoc">Store value to location.</div><div class="ttdef"><b>Definition:</b> <a href="RelExeState_8cpp_source.html#l00170">RelExeState.cpp:170</a></div></div>
 <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="aRelExeState_8h_html"><div class="ttname"><a href="RelExeState_8h.html">RelExeState.h</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="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_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_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#l00122">Z3Expr.h:122</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_a1bc5dc440ad614fd7b4804bfa88c37c0"><div class="ttname"><a href="classSVF_1_1RelExeState.html#a1bc5dc440ad614fd7b4804bfa88c37c0">SVF::RelExeState::lessThanVarToValMap</a></div><div class="ttdeci">bool lessThanVarToValMap(const VarToValMap &amp;lhs, const VarToValMap &amp;rhs) const</div><div class="ttdef"><b>Definition:</b> <a href="RelExeState_8cpp_source.html#l00149">RelExeState.cpp:149</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>
@@ -263,9 +263,9 @@ $(function() {
 <div class="ttc" id="aclassSVF_1_1RelExeState_html_a3537b1534a643af880ad6e474e00dc7b"><div class="ttname"><a href="classSVF_1_1RelExeState.html#a3537b1534a643af880ad6e474e00dc7b">SVF::RelExeState::printExprValues</a></div><div class="ttdeci">void printExprValues()</div><div class="ttdoc">Print values of all expressions.</div><div class="ttdef"><b>Definition:</b> <a href="RelExeState_8cpp_source.html#l00196">RelExeState.cpp:196</a></div></div>
 <div class="ttc" id="aclassSVF_1_1RelExeState_html_a3393f160508c33e68ebedd042d1d296f"><div class="ttname"><a href="classSVF_1_1RelExeState.html#a3393f160508c33e68ebedd042d1d296f">SVF::RelExeState::extractSubVars</a></div><div class="ttdeci">void extractSubVars(const Z3Expr &amp;expr, Set&lt; u32_t &gt; &amp;res)</div><div class="ttdoc">Extract sub SVFVar IDs of a Z3Expr.</div><div class="ttdef"><b>Definition:</b> <a href="RelExeState_8cpp_source.html#l00045">RelExeState.cpp:45</a></div></div>
 <div class="ttc" id="aclassSVF_1_1RelExeState_html_ac280dc7a1db7dc80f9c85921215e4c97"><div class="ttname"><a href="classSVF_1_1RelExeState.html#ac280dc7a1db7dc80f9c85921215e4c97">SVF::RelExeState::operator&lt;</a></div><div class="ttdeci">bool operator&lt;(const RelExeState &amp;rhs) const</div><div class="ttdoc">Overloading Operator==.</div><div class="ttdef"><b>Definition:</b> <a href="RelExeState_8cpp_source.html#l00130">RelExeState.cpp: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#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_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="acJSON_8h_html_ac76cea59d438ba893d2f82aabb367d14"><div class="ttname"><a href="cJSON_8h.html#ac76cea59d438ba893d2f82aabb367d14">item</a></div><div class="ttdeci">cJSON * item</div><div class="ttdef"><b>Definition:</b> <a href="cJSON_8h_source.html#l00222">cJSON.h:222</a></div></div>

package/SVF-doxygen/html/RelExeState_8h_source.html

@@ -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,11 +319,11 @@ $(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>

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 -->