svf-tools 1.0.905 → 1.0.907

package/SVF-doxygen/html/classSVF_1_1LLVMModuleSet.html

@@ -4693,7 +4693,7 @@ Friends</h2></td></tr>
 <div class="ttc" id="aclassSVF_1_1LLVMModuleSet_html_a0b46a2a5ff2165d17993a071d9cc82c1"><div class="ttname"><a href="classSVF_1_1LLVMModuleSet.html#a0b46a2a5ff2165d17993a071d9cc82c1">SVF::LLVMModuleSet::getLLVMGlobalFunctions</a></div><div class="ttdeci">std::vector&lt; const Function * &gt; getLLVMGlobalFunctions(const GlobalVariable *global)</div><div class="ttdef"><b>Definition:</b> <a href="LLVMModule_8cpp_source.html#l00602">LLVMModule.cpp:602</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFStat_html_aa4950ec26b66a085ad38ac154b789db5"><div class="ttname"><a href="classSVF_1_1SVFStat.html#aa4950ec26b66a085ad38ac154b789db5">SVF::SVFStat::timeOfBuildingLLVMModule</a></div><div class="ttdeci">static double timeOfBuildingLLVMModule</div><div class="ttdef"><b>Definition:</b> <a href="SVFStat_8h_source.html#l00093">SVFStat.h:93</a></div></div>
 <div class="ttc" id="anamespaceSVF_html_a0fd33072b099f61eaa642e94ed0c03fc"><div class="ttname"><a href="namespaceSVF.html#a0fd33072b099f61eaa642e94ed0c03fc">SVF::GlobalAlias</a></div><div class="ttdeci">llvm::GlobalAlias GlobalAlias</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00128">BasicTypes.h:128</a></div></div>
-<div class="ttc" id="anamespaceSVF_html_aedd9d023a68dddd66314be63bb8e48d2"><div class="ttname"><a href="namespaceSVF.html#aedd9d023a68dddd66314be63bb8e48d2">SVF::operator&gt;</a></div><div class="ttdeci">IntervalValue operator&gt;(const IntervalValue &amp;lhs, const IntervalValue &amp;rhs)</div><div class="ttdef"><b>Definition:</b> <a href="IntervalValue_8h_source.html#l00633">IntervalValue.h:633</a></div></div>
+<div class="ttc" id="anamespaceSVF_html_aedd9d023a68dddd66314be63bb8e48d2"><div class="ttname"><a href="namespaceSVF.html#aedd9d023a68dddd66314be63bb8e48d2">SVF::operator&gt;</a></div><div class="ttdeci">IntervalValue operator&gt;(const IntervalValue &amp;lhs, const IntervalValue &amp;rhs)</div><div class="ttdef"><b>Definition:</b> <a href="IntervalValue_8h_source.html#l00619">IntervalValue.h:619</a></div></div>
 <div class="ttc" id="aclassSVF_1_1StInfo_html_a00339d1d7074e9222776801ce8689f6b"><div class="ttname"><a href="classSVF_1_1StInfo.html#a00339d1d7074e9222776801ce8689f6b">SVF::StInfo::addFldWithType</a></div><div class="ttdeci">void addFldWithType(u32_t fldIdx, const SVFType *type, u32_t elemIdx)</div><div class="ttdoc">Add field index and element index and their corresponding type.</div></div>
 <div class="ttc" id="aclassSVF_1_1SVFFunction_html_a2731567cd10e2c499c812c33d01a412e"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#a2731567cd10e2c499c812c33d01a412e">SVF::SVFFunction::setAnnotations</a></div><div class="ttdeci">void setAnnotations(std::vector&lt; std::string &gt; &amp;annotations)</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00471">SVFValue.h:471</a></div></div>
 <div class="ttc" id="aclassSVF_1_1LLVMModuleSet_html_af8edfe08027020f14b81b44362c6018e"><div class="ttname"><a href="classSVF_1_1LLVMModuleSet.html#af8edfe08027020f14b81b44362c6018e">SVF::LLVMModuleSet::build</a></div><div class="ttdeci">void build()</div><div class="ttdef"><b>Definition:</b> <a href="LLVMModule_8cpp_source.html#l00150">LLVMModule.cpp:150</a></div></div>

package/SVF-doxygen/html/classSVF_1_1ObjTypeInference.html

@@ -1721,7 +1721,7 @@ Private Attributes</h2></td></tr>
 <div class="ttc" id="anamespaceSVF_1_1cppUtil_html_afd5fcc8fe98df5f057ff2e04c68b49b5"><div class="ttname"><a href="namespaceSVF_1_1cppUtil.html#afd5fcc8fe98df5f057ff2e04c68b49b5">SVF::cppUtil::isDynCast</a></div><div class="ttdeci">bool isDynCast(const Function *foo)</div><div class="ttdoc">whether foo is a cpp dyncast function</div><div class="ttdef"><b>Definition:</b> <a href="CppUtil_8cpp_source.html#l00842">CppUtil.cpp:842</a></div></div>
 <div class="ttc" id="aObjTypeInference_8cpp_html_a54176d0866e198769367b0dc65e049b5"><div class="ttname"><a href="ObjTypeInference_8cpp.html#a54176d0866e198769367b0dc65e049b5">ABORT_MSG</a></div><div class="ttdeci">#define ABORT_MSG(msg)</div><div class="ttdef"><b>Definition:</b> <a href="ObjTypeInference_8cpp_source.html#l00044">ObjTypeInference.cpp:44</a></div></div>
 <div class="ttc" id="aclassSVF_1_1FILOWorkList_html_a3fd9acb6d09fd142bfd402fdf8cac93b"><div class="ttname"><a href="classSVF_1_1FILOWorkList.html#a3fd9acb6d09fd142bfd402fdf8cac93b">SVF::FILOWorkList::pop</a></div><div class="ttdeci">Data pop()</div><div class="ttdef"><b>Definition:</b> <a href="WorkList_8h_source.html#l00272">WorkList.h:272</a></div></div>
-<div class="ttc" id="aclassSVF_1_1FILOWorkList_html"><div class="ttname"><a href="classSVF_1_1FILOWorkList.html">SVF::FILOWorkList</a></div><div class="ttdef"><b>Definition:</b> <a href="AbstractExecution_8h_source.html#l00044">AbstractExecution.h:44</a></div></div>
+<div class="ttc" id="aclassSVF_1_1FILOWorkList_html"><div class="ttname"><a href="classSVF_1_1FILOWorkList.html">SVF::FILOWorkList</a></div><div class="ttdef"><b>Definition:</b> <a href="AbstractInterpretation_8h_source.html#l00042">AbstractInterpretation.h:42</a></div></div>
 <div class="ttc" id="aclassSVF_1_1Options_html_aaab923c093730b1670a54f09340b1bd5"><div class="ttname"><a href="classSVF_1_1Options.html#aaab923c093730b1670a54f09340b1bd5">SVF::Options::MaxFieldLimit</a></div><div class="ttdeci">static const Option&lt; u32_t &gt; MaxFieldLimit</div><div class="ttdoc">Maximum number of field derivations for an object.</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00038">Options.h:38</a></div></div>
 <div class="ttc" id="aclassSVF_1_1ObjTypeInference_html_a72da2d7f06e8fee67dc5b3c451fa5dee"><div class="ttname"><a href="classSVF_1_1ObjTypeInference.html#a72da2d7f06e8fee67dc5b3c451fa5dee">SVF::ObjTypeInference::getArgPosInCall</a></div><div class="ttdeci">u32_t getArgPosInCall(const CallBase *callBase, const Value *arg)</div><div class="ttdef"><b>Definition:</b> <a href="ObjTypeInference_8cpp_source.html#l00577">ObjTypeInference.cpp:577</a></div></div>
 <div class="ttc" id="aclassSVF_1_1ObjTypeInference_html_ad9ceac3c884a08ce0ae4fef4b488a7c5"><div class="ttname"><a href="classSVF_1_1ObjTypeInference.html#ad9ceac3c884a08ce0ae4fef4b488a7c5">SVF::ObjTypeInference::_valueToType</a></div><div class="ttdeci">ValueToType _valueToType</div><div class="ttdef"><b>Definition:</b> <a href="ObjTypeInference_8h_source.html#l00056">ObjTypeInference.h:56</a></div></div>

package/SVF-doxygen/html/classSVF_1_1RelExeState-members.html

@@ -104,7 +104,7 @@ $(function() {
   <tr><td class="entry"><a class="el" href="classSVF_1_1RelExeState.html#a0d2f6c9fe4a54b9a7c6d7167e24e1425">RelExeState</a>(RelExeState &amp;&amp;rhs) noexcept</td><td class="entry"><a class="el" href="classSVF_1_1RelExeState.html">SVF::RelExeState</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
   <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1RelExeState.html#a3a2d5de4c61fab8b277308a186795a13">store</a>(const Z3Expr &amp;loc, const Z3Expr &amp;value)</td><td class="entry"><a class="el" href="classSVF_1_1RelExeState.html">SVF::RelExeState</a></td><td class="entry"></td></tr>
   <tr><td class="entry"><a class="el" href="classSVF_1_1RelExeState.html#a29be58e0074d7495c36713fd96832823">store</a>(u32_t objId, const Z3Expr &amp;z3Expr)</td><td class="entry"><a class="el" href="classSVF_1_1RelExeState.html">SVF::RelExeState</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">protected</span></td></tr>
-  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1RelExeState.html#af1ac478aba3f3858d5f6f4b15a9f73a6">SVFIR2ItvExeState</a> class</td><td class="entry"><a class="el" href="classSVF_1_1RelExeState.html">SVF::RelExeState</a></td><td class="entry"><span class="mlabel">friend</span></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1RelExeState.html#a25fc4decbaf702ef771219564ec64c2a">SVFIR2AbsState</a> class</td><td class="entry"><a class="el" href="classSVF_1_1RelExeState.html">SVF::RelExeState</a></td><td class="entry"><span class="mlabel">friend</span></td></tr>
   <tr><td class="entry"><a class="el" href="classSVF_1_1RelExeState.html#a8045abc5e96d0c7b373587c796180d3e">toZ3Expr</a>(u32_t varId) const</td><td class="entry"><a class="el" href="classSVF_1_1RelExeState.html">SVF::RelExeState</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
   <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1RelExeState.html#afcdf0c842f48a35cf19b2f7887174e98">VarToValMap</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1RelExeState.html">SVF::RelExeState</a></td><td class="entry"></td></tr>
   <tr><td class="entry"><a class="el" href="classSVF_1_1RelExeState.html#accb15cf8109eec2a7cc497badcdbaa57">z3Expr2NumValue</a>(const Z3Expr &amp;e)</td><td class="entry"><a class="el" href="classSVF_1_1RelExeState.html">SVF::RelExeState</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">static</span></td></tr>

package/SVF-doxygen/html/classSVF_1_1RelExeState.html

@@ -189,8 +189,8 @@ Private Member Functions</h2></td></tr>
 </table><table class="memberdecls">
 <tr class="heading"><td colspan="2"><h2 class="groupheader"><a name="friends"></a>
 Friends</h2></td></tr>
-<tr class="memitem:af1ac478aba3f3858d5f6f4b15a9f73a6"><td class="memItemLeft" align="right" valign="top">class&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1RelExeState.html#af1ac478aba3f3858d5f6f4b15a9f73a6">SVFIR2ItvExeState</a></td></tr>
-<tr class="separator:af1ac478aba3f3858d5f6f4b15a9f73a6"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a25fc4decbaf702ef771219564ec64c2a"><td class="memItemLeft" align="right" valign="top">class&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1RelExeState.html#a25fc4decbaf702ef771219564ec64c2a">SVFIR2AbsState</a></td></tr>
+<tr class="separator:a25fc4decbaf702ef771219564ec64c2a"><td class="memSeparator" colspan="2">&#160;</td></tr>
 </table>
 <a name="details" id="details"></a><h2 class="groupheader">Detailed Description</h2>
 <div class="textblock">
@@ -1419,8 +1419,8 @@ Friends</h2></td></tr>
 </div>
 </div>
 <h2 class="groupheader">Friends And Related Function Documentation</h2>
-<a id="af1ac478aba3f3858d5f6f4b15a9f73a6"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#af1ac478aba3f3858d5f6f4b15a9f73a6">&#9670;&nbsp;</a></span>SVFIR2ItvExeState</h2>
+<a id="a25fc4decbaf702ef771219564ec64c2a"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#a25fc4decbaf702ef771219564ec64c2a">&#9670;&nbsp;</a></span>SVFIR2AbsState</h2>
 
 <div class="memitem">
 <div class="memproto">
@@ -1429,7 +1429,7 @@ Friends</h2></td></tr>
   <td class="mlabels-left">
       <table class="memname">
         <tr>
-          <td class="memname">friend class <a class="el" href="classSVF_1_1SVFIR2ItvExeState.html">SVFIR2ItvExeState</a></td>
+          <td class="memname">friend class <a class="el" href="classSVF_1_1SVFIR2AbsState.html">SVFIR2AbsState</a></td>
         </tr>
       </table>
   </td>
@@ -1514,19 +1514,19 @@ Friends</h2></td></tr>
 <div class="ttc" id="aclassSVF_1_1RelExeState_html_af32619ee086ab307c68923f7c66896aa"><div class="ttname"><a href="classSVF_1_1RelExeState.html#af32619ee086ab307c68923f7c66896aa">SVF::RelExeState::extractCmpVars</a></div><div class="ttdeci">void extractCmpVars(const Z3Expr &amp;expr, Set&lt; u32_t &gt; &amp;res)</div><div class="ttdoc">Extract all related SVFVar IDs based on compare expr.</div><div class="ttdef"><b>Definition:</b> <a href="RelExeState_8cpp_source.html#l00066">RelExeState.cpp:66</a></div></div>
 <div class="ttc" id="aclassSVF_1_1RelExeState_html_a9f41158b546faa706bc40c061cfa79be"><div class="ttname"><a href="classSVF_1_1RelExeState.html#a9f41158b546faa706bc40c061cfa79be">SVF::RelExeState::getContext</a></div><div class="ttdeci">static z3::context &amp; getContext()</div><div class="ttdef"><b>Definition:</b> <a href="RelExeState_8h_source.html#l00095">RelExeState.h:95</a></div></div>
 <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_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_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#l00224">AddressValue.h:224</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>
 <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="GeneralType_8h_source.html#l00047">GeneralType.h:47</a></div></div>
 <div class="ttc" id="aclassSVF_1_1RelExeState_html_ace3b86d12ed10af211d5902ec3fa2e5a"><div class="ttname"><a href="classSVF_1_1RelExeState.html#ace3b86d12ed10af211d5902ec3fa2e5a">SVF::RelExeState::getZ3Expr</a></div><div class="ttdeci">virtual Z3Expr &amp; getZ3Expr(u32_t varId)</div><div class="ttdoc">Return Z3 expression eagerly based on SVFVar ID.</div><div class="ttdef"><b>Definition:</b> <a href="RelExeState_8h_source.html#l00144">RelExeState.h:144</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#l00621">SVFUtil.h:621</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_1AddressValue_html_ab76f47f97262d40dbbee12f466f746e8"><div class="ttname"><a href="classSVF_1_1AddressValue.html#ab76f47f97262d40dbbee12f466f746e8">SVF::AddressValue::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="AddressValue_8h_source.html#l00211">AddressValue.h:211</a></div></div>
+<div class="ttc" id="aclassSVF_1_1AddressValue_html_ab76f47f97262d40dbbee12f466f746e8"><div class="ttname"><a href="classSVF_1_1AddressValue.html#ab76f47f97262d40dbbee12f466f746e8">SVF::AddressValue::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="AddressValue_8h_source.html#l00218">AddressValue.h:218</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#l00127">Z3Expr.h:127</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>
-<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_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#l00212">AddressValue.h:212</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>
 <!-- start footer part -->

package/SVF-doxygen/html/classSVF_1_1RelationSolver-members.html

@@ -72,17 +72,17 @@ $(function() {
 
 <p>This is the complete list of members for <a class="el" href="classSVF_1_1RelationSolver.html">SVF::RelationSolver</a>, including all inherited members.</p>
 <table class="directory">
-  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1RelationSolver.html#a012d18ece2c66ba6e784ae9578171369">abstract_consequence</a>(const IntervalESBase &amp;lower, const IntervalESBase &amp;upper, const IntervalESBase &amp;domain) const</td><td class="entry"><a class="el" href="classSVF_1_1RelationSolver.html">SVF::RelationSolver</a></td><td class="entry"></td></tr>
-  <tr><td class="entry"><a class="el" href="classSVF_1_1RelationSolver.html#ac4abc5e1eb3b638710572c958162c22c">beta</a>(const Map&lt; u32_t, s32_t &gt; &amp;sigma, const IntervalESBase &amp;exeState) const</td><td class="entry"><a class="el" href="classSVF_1_1RelationSolver.html">SVF::RelationSolver</a></td><td class="entry"></td></tr>
-  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1RelationSolver.html#a0df88638c5e3f8cd56d34088b96199f1">bilateral</a>(const IntervalESBase &amp;domain, const Z3Expr &amp;phi, u32_t descend_check=0)</td><td class="entry"><a class="el" href="classSVF_1_1RelationSolver.html">SVF::RelationSolver</a></td><td class="entry"></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1RelationSolver.html#a575995a08ab7d186e03e9632398500ce">abstract_consequence</a>(const AbstractState &amp;lower, const AbstractState &amp;upper, const AbstractState &amp;domain) const</td><td class="entry"><a class="el" href="classSVF_1_1RelationSolver.html">SVF::RelationSolver</a></td><td class="entry"></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1RelationSolver.html#a342d3c7d5192449fb10e9c3bab2de24f">beta</a>(const Map&lt; u32_t, s32_t &gt; &amp;sigma, const AbstractState &amp;exeState) const</td><td class="entry"><a class="el" href="classSVF_1_1RelationSolver.html">SVF::RelationSolver</a></td><td class="entry"></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1RelationSolver.html#a23c59e437950b139dde49f11eb45b63a">bilateral</a>(const AbstractState &amp;domain, const Z3Expr &amp;phi, u32_t descend_check=0)</td><td class="entry"><a class="el" href="classSVF_1_1RelationSolver.html">SVF::RelationSolver</a></td><td class="entry"></td></tr>
   <tr><td class="entry"><a class="el" href="classSVF_1_1RelationSolver.html#aaae7ac9ed7d0e17f39948c37b867ada9">BoxedOptSolver</a>(const Z3Expr &amp;phi, Map&lt; u32_t, NumericLiteral &gt; &amp;ret, Map&lt; u32_t, NumericLiteral &gt; &amp;low_values, Map&lt; u32_t, NumericLiteral &gt; &amp;high_values)</td><td class="entry"><a class="el" href="classSVF_1_1RelationSolver.html">SVF::RelationSolver</a></td><td class="entry"></td></tr>
-  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1RelationSolver.html#a7e827609a1d69c6517f1a3eee0326fc3">BS</a>(const IntervalESBase &amp;domain, const Z3Expr &amp;phi)</td><td class="entry"><a class="el" href="classSVF_1_1RelationSolver.html">SVF::RelationSolver</a></td><td class="entry"></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1RelationSolver.html#a98f7e3ae9f43aea178d77a58ac8e927f">BS</a>(const AbstractState &amp;domain, const Z3Expr &amp;phi)</td><td class="entry"><a class="el" href="classSVF_1_1RelationSolver.html">SVF::RelationSolver</a></td><td class="entry"></td></tr>
   <tr><td class="entry"><a class="el" href="classSVF_1_1RelationSolver.html#a7ace50c6e53a79f0e329badb63570f92">decide_cpa_ext</a>(const Z3Expr &amp;phi, Map&lt; u32_t, Z3Expr &gt; &amp;, Map&lt; u32_t, NumericLiteral &gt; &amp;, Map&lt; u32_t, NumericLiteral &gt; &amp;, Map&lt; u32_t, NumericLiteral &gt; &amp;, Map&lt; u32_t, NumericLiteral &gt; &amp;)</td><td class="entry"><a class="el" href="classSVF_1_1RelationSolver.html">SVF::RelationSolver</a></td><td class="entry"></td></tr>
-  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1RelationSolver.html#af860063ccaeca043bac84eb9eb2cf80a">gamma_hat</a>(const IntervalESBase &amp;exeState) const</td><td class="entry"><a class="el" href="classSVF_1_1RelationSolver.html">SVF::RelationSolver</a></td><td class="entry"></td></tr>
-  <tr><td class="entry"><a class="el" href="classSVF_1_1RelationSolver.html#a93a034bb18001abc278d6986706024af">gamma_hat</a>(const IntervalESBase &amp;alpha, const IntervalESBase &amp;exeState) const</td><td class="entry"><a class="el" href="classSVF_1_1RelationSolver.html">SVF::RelationSolver</a></td><td class="entry"></td></tr>
-  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1RelationSolver.html#aff6752947e73cd0559b5a340547c9016">gamma_hat</a>(u32_t id, const IntervalESBase &amp;exeState) const</td><td class="entry"><a class="el" href="classSVF_1_1RelationSolver.html">SVF::RelationSolver</a></td><td class="entry"></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1RelationSolver.html#a04f145c44a67ebda99ccc5a3081239ff">gamma_hat</a>(const AbstractState &amp;exeState) const</td><td class="entry"><a class="el" href="classSVF_1_1RelationSolver.html">SVF::RelationSolver</a></td><td class="entry"></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1RelationSolver.html#a84a60a6b89d86e38887192c56052dbe4">gamma_hat</a>(const AbstractState &amp;alpha, const AbstractState &amp;exeState) const</td><td class="entry"><a class="el" href="classSVF_1_1RelationSolver.html">SVF::RelationSolver</a></td><td class="entry"></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1RelationSolver.html#abd0c8cd1b840799cc4c17c3476da6788">gamma_hat</a>(u32_t id, const AbstractState &amp;exeState) const</td><td class="entry"><a class="el" href="classSVF_1_1RelationSolver.html">SVF::RelationSolver</a></td><td class="entry"></td></tr>
   <tr><td class="entry"><a class="el" href="classSVF_1_1RelationSolver.html#aaee624b8260da9ba0de027d80b01d984">RelationSolver</a>()=default</td><td class="entry"><a class="el" href="classSVF_1_1RelationSolver.html">SVF::RelationSolver</a></td><td class="entry"></td></tr>
-  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1RelationSolver.html#a657af041f883e7b1a3f9892453a2c4cf">RSY</a>(const IntervalESBase &amp;domain, const Z3Expr &amp;phi)</td><td class="entry"><a class="el" href="classSVF_1_1RelationSolver.html">SVF::RelationSolver</a></td><td class="entry"></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1RelationSolver.html#a0bc76a5f96dab54e1c9678312579d51a">RSY</a>(const AbstractState &amp;domain, const Z3Expr &amp;phi)</td><td class="entry"><a class="el" href="classSVF_1_1RelationSolver.html">SVF::RelationSolver</a></td><td class="entry"></td></tr>
   <tr><td class="entry"><a class="el" href="classSVF_1_1RelationSolver.html#af621897ab66f6475d5ee043ef2e33623">toZ3Expr</a>(u32_t varId) const</td><td class="entry"><a class="el" href="classSVF_1_1RelationSolver.html">SVF::RelationSolver</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
   <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1RelationSolver.html#af00aee55faf18a994dc5558ca4bf4932">updateMap</a>(Map&lt; u32_t, NumericLiteral &gt; &amp;map, u32_t key, const NumericLiteral &amp;value)</td><td class="entry"><a class="el" href="classSVF_1_1RelationSolver.html">SVF::RelationSolver</a></td><td class="entry"></td></tr>
 </table></div><!-- contents -->