svf-tools 1.0.875 → 1.0.877

package/SVF-doxygen/html/globals.html

@@ -108,10 +108,10 @@ $(function() {
 : <a class="el" href="extapi_8c.html#a4d41ebdaac1e767baa35d0094eb18874">extapi.c</a>
 </li>
 <li>_reverse_predicate
-: <a class="el" href="AE_8cpp.html#a6baa35cec0782ac3179849752a732e5c">AE.cpp</a>
+: <a class="el" href="AbstractExecution_8cpp.html#a6baa35cec0782ac3179849752a732e5c">AbstractExecution.cpp</a>
 </li>
 <li>_switch_lhsrhs_predicate
-: <a class="el" href="AE_8cpp.html#a3b70282b79998dcb9f6df78370bc1fe9">AE.cpp</a>
+: <a class="el" href="AbstractExecution_8cpp.html#a3b70282b79998dcb9f6df78370bc1fe9">AbstractExecution.cpp</a>
 </li>
 <li>_ZNSsC1EPKcRKSaIcE()
 : <a class="el" href="extapi_8c.html#a00b6e8788e5ccb56e08aee530246215e">extapi.c</a>

package/SVF-doxygen/html/globals_defs.html

@@ -420,7 +420,7 @@ $(function() {
 
 <h3><a id="index_s"></a>- s -</h3><ul>
 <li>SSE_FUNC_PROCESS
-: <a class="el" href="AE_8cpp.html#a6ded577f411d8dd34071fba96989f93a">AE.cpp</a>
+: <a class="el" href="AbstractExecution_8cpp.html#a6ded577f411d8dd34071fba96989f93a">AbstractExecution.cpp</a>
 </li>
 <li>STATIC_OBJECT
 : <a class="el" href="extapi_8c.html#a3fca2c30a16a7d2fd2efc60687f74995">extapi.c</a>

package/SVF-doxygen/html/globals_s.html

@@ -83,7 +83,7 @@ $(function() {
 : <a class="el" href="CppUtil_8cpp.html#a63632e75877f12057e5b0dad97ec7a48">CppUtil.cpp</a>
 </li>
 <li>SSE_FUNC_PROCESS
-: <a class="el" href="AE_8cpp.html#a6ded577f411d8dd34071fba96989f93a">AE.cpp</a>
+: <a class="el" href="AbstractExecution_8cpp.html#a6ded577f411d8dd34071fba96989f93a">AbstractExecution.cpp</a>
 </li>
 <li>STATIC_OBJECT
 : <a class="el" href="extapi_8c.html#a3fca2c30a16a7d2fd2efc60687f74995">extapi.c</a>

package/SVF-doxygen/html/globals_vars.html

@@ -76,10 +76,10 @@ $(function() {
 : <a class="el" href="VFGGrammar_8txt.html#a9bc898061ee651a5b11d0571ce6dec48">VFGGrammar.txt</a>
 </li>
 <li>_reverse_predicate
-: <a class="el" href="AE_8cpp.html#a6baa35cec0782ac3179849752a732e5c">AE.cpp</a>
+: <a class="el" href="AbstractExecution_8cpp.html#a6baa35cec0782ac3179849752a732e5c">AbstractExecution.cpp</a>
 </li>
 <li>_switch_lhsrhs_predicate
-: <a class="el" href="AE_8cpp.html#a3b70282b79998dcb9f6df78370bc1fe9">AE.cpp</a>
+: <a class="el" href="AbstractExecution_8cpp.html#a3b70282b79998dcb9f6df78370bc1fe9">AbstractExecution.cpp</a>
 </li>
 </ul>
 

package/SVF-doxygen/html/hierarchy.html

@@ -67,17 +67,17 @@ $(function() {
 <div class="contents">
 <div class="textblock">This inheritance list is sorted roughly, but not completely, alphabetically:</div><div class="directory">
 <div class="levels">[detail level <span onclick="javascript:toggleLevel(1);">1</span><span onclick="javascript:toggleLevel(2);">2</span><span onclick="javascript:toggleLevel(3);">3</span><span onclick="javascript:toggleLevel(4);">4</span><span onclick="javascript:toggleLevel(5);">5</span><span onclick="javascript:toggleLevel(6);">6</span>]</div><table class="directory">
-<tr id="row_0_" class="even"><td class="entry"><span style="width:0px;display:inline-block;">&#160;</span><span id="arr_0_" class="arrow" onclick="toggleFolder('0_')">&#9658;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1AbstractValue.html" target="_self">SVF::AbstractValue</a></td><td class="desc"></td></tr>
-<tr id="row_0_0_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1AddressValue.html" target="_self">SVF::AddressValue</a></td><td class="desc"></td></tr>
-<tr id="row_0_1_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1IntervalValue.html" target="_self">SVF::IntervalValue</a></td><td class="desc"></td></tr>
-<tr id="row_1_"><td class="entry"><span style="width:16px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1RaceResultValidator_1_1AccessPair.html" target="_self">SVF::RaceResultValidator::AccessPair</a></td><td class="desc"></td></tr>
-<tr id="row_2_" class="even"><td class="entry"><span style="width:16px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1AccessPath.html" target="_self">SVF::AccessPath</a></td><td class="desc"></td></tr>
-<tr id="row_3_"><td class="entry"><span style="width:16px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="structSVF_1_1SVFUtil_1_1add__const__past__pointer.html" target="_self">SVF::SVFUtil::add_const_past_pointer&lt; T, Enable &gt;</a></td><td class="desc"></td></tr>
-<tr id="row_4_" class="even"><td class="entry"><span style="width:16px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="structSVF_1_1SVFUtil_1_1add__const__past__pointer_3_01T_00_01std_1_1enable__if__t_3_01std_1_1is_7fffc8df953a67082a10c9027356ecdf.html" target="_self">SVF::SVFUtil::add_const_past_pointer&lt; T, std::enable_if_t&lt; std::is_pointer&lt; T &gt;::value &gt; &gt;</a></td><td class="desc"></td></tr>
-<tr id="row_5_"><td class="entry"><span style="width:16px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="structSVF_1_1SVFUtil_1_1add__lvalue__reference__if__not__pointer.html" target="_self">SVF::SVFUtil::add_lvalue_reference_if_not_pointer&lt; T, Enable &gt;</a></td><td class="desc">If T is a pointer, just return it. If it is not, return T&amp; </td></tr>
-<tr id="row_6_" class="even"><td class="entry"><span style="width:16px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="structSVF_1_1SVFUtil_1_1add__lvalue__reference__if__not__pointer_3_01T_00_01std_1_1enable__if__t915410d772a4855ec3d21a633a25ee09.html" target="_self">SVF::SVFUtil::add_lvalue_reference_if_not_pointer&lt; T, std::enable_if_t&lt; std::is_pointer&lt; T &gt;::value &gt; &gt;</a></td><td class="desc"></td></tr>
-<tr id="row_7_"><td class="entry"><span style="width:0px;display:inline-block;">&#160;</span><span id="arr_7_" class="arrow" onclick="toggleFolder('7_')">&#9658;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1AE.html" target="_self">SVF::AE</a></td><td class="desc"></td></tr>
-<tr id="row_7_0_" class="even" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1BufOverflowChecker.html" target="_self">SVF::BufOverflowChecker</a></td><td class="desc"></td></tr>
+<tr id="row_0_" class="even"><td class="entry"><span style="width:0px;display:inline-block;">&#160;</span><span id="arr_0_" class="arrow" onclick="toggleFolder('0_')">&#9658;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1AbstractExecution.html" target="_self">SVF::AbstractExecution</a></td><td class="desc"></td></tr>
+<tr id="row_0_0_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1BufOverflowChecker.html" target="_self">SVF::BufOverflowChecker</a></td><td class="desc"></td></tr>
+<tr id="row_1_"><td class="entry"><span style="width:0px;display:inline-block;">&#160;</span><span id="arr_1_" class="arrow" onclick="toggleFolder('1_')">&#9658;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1AbstractValue.html" target="_self">SVF::AbstractValue</a></td><td class="desc"></td></tr>
+<tr id="row_1_0_" class="even" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1AddressValue.html" target="_self">SVF::AddressValue</a></td><td class="desc"></td></tr>
+<tr id="row_1_1_" class="even" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1IntervalValue.html" target="_self">SVF::IntervalValue</a></td><td class="desc"></td></tr>
+<tr id="row_2_" class="even"><td class="entry"><span style="width:16px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1RaceResultValidator_1_1AccessPair.html" target="_self">SVF::RaceResultValidator::AccessPair</a></td><td class="desc"></td></tr>
+<tr id="row_3_"><td class="entry"><span style="width:16px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1AccessPath.html" target="_self">SVF::AccessPath</a></td><td class="desc"></td></tr>
+<tr id="row_4_" class="even"><td class="entry"><span style="width:16px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="structSVF_1_1SVFUtil_1_1add__const__past__pointer.html" target="_self">SVF::SVFUtil::add_const_past_pointer&lt; T, Enable &gt;</a></td><td class="desc"></td></tr>
+<tr id="row_5_"><td class="entry"><span style="width:16px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="structSVF_1_1SVFUtil_1_1add__const__past__pointer_3_01T_00_01std_1_1enable__if__t_3_01std_1_1is_7fffc8df953a67082a10c9027356ecdf.html" target="_self">SVF::SVFUtil::add_const_past_pointer&lt; T, std::enable_if_t&lt; std::is_pointer&lt; T &gt;::value &gt; &gt;</a></td><td class="desc"></td></tr>
+<tr id="row_6_" class="even"><td class="entry"><span style="width:16px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="structSVF_1_1SVFUtil_1_1add__lvalue__reference__if__not__pointer.html" target="_self">SVF::SVFUtil::add_lvalue_reference_if_not_pointer&lt; T, Enable &gt;</a></td><td class="desc">If T is a pointer, just return it. If it is not, return T&amp; </td></tr>
+<tr id="row_7_"><td class="entry"><span style="width:16px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="structSVF_1_1SVFUtil_1_1add__lvalue__reference__if__not__pointer_3_01T_00_01std_1_1enable__if__t915410d772a4855ec3d21a633a25ee09.html" target="_self">SVF::SVFUtil::add_lvalue_reference_if_not_pointer&lt; T, std::enable_if_t&lt; std::is_pointer&lt; T &gt;::value &gt; &gt;</a></td><td class="desc"></td></tr>
 <tr id="row_8_" class="even"><td class="entry"><span style="width:0px;display:inline-block;">&#160;</span><span id="arr_8_" class="arrow" onclick="toggleFolder('8_')">&#9658;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1AEAPI.html" target="_self">SVF::AEAPI</a></td><td class="desc"></td></tr>
 <tr id="row_8_0_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1BufOverflowCheckerAPI.html" target="_self">SVF::BufOverflowCheckerAPI</a></td><td class="desc"></td></tr>
 <tr id="row_9_"><td class="entry"><span style="width:0px;display:inline-block;">&#160;</span><span id="arr_9_" class="arrow" onclick="toggleFolder('9_')">&#9658;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1Annotator.html" target="_self">SVF::Annotator</a></td><td class="desc"></td></tr>
@@ -640,7 +640,7 @@ $(function() {
 <tr id="row_277_"><td class="entry"><span style="width:16px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1SVFModuleReader.html" target="_self">SVF::SVFModuleReader</a></td><td class="desc"></td></tr>
 <tr id="row_278_" class="even"><td class="entry"><span style="width:16px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1SVFModuleWriter.html" target="_self">SVF::SVFModuleWriter</a></td><td class="desc"></td></tr>
 <tr id="row_279_"><td class="entry"><span style="width:0px;display:inline-block;">&#160;</span><span id="arr_279_" class="arrow" onclick="toggleFolder('279_')">&#9658;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1SVFStat.html" target="_self">SVF::SVFStat</a></td><td class="desc"></td></tr>
-<tr id="row_279_0_" class="even" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1AEStat.html" target="_self">SVF::AEStat</a></td><td class="desc"><a class="el" href="classSVF_1_1AEStat.html" title="AEStat: Statistic for AE.">AEStat</a>: Statistic for <a class="el" href="classSVF_1_1AE.html">AE</a> </td></tr>
+<tr id="row_279_0_" class="even" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1AEStat.html" target="_self">SVF::AEStat</a></td><td class="desc"><a class="el" href="classSVF_1_1AEStat.html" title="AEStat: Statistic for AE.">AEStat</a>: Statistic for AE </td></tr>
 <tr id="row_279_1_" class="even" style="display:none;"><td class="entry"><span style="width:16px;display:inline-block;">&#160;</span><span id="arr_279_1_" class="arrow" onclick="toggleFolder('279_1_')">&#9658;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1PTAStat.html" target="_self">SVF::PTAStat</a></td><td class="desc"></td></tr>
 <tr id="row_279_1_0_" class="even" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1AndersenStat.html" target="_self">SVF::AndersenStat</a></td><td class="desc"></td></tr>
 <tr id="row_279_1_1_" class="even" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1CFLStat.html" target="_self">SVF::CFLStat</a></td><td class="desc"></td></tr>

package/SVF-doxygen/html/namespaceSVF.html

@@ -90,6 +90,8 @@ Namespaces</h2></td></tr>
 </table><table class="memberdecls">
 <tr class="heading"><td colspan="2"><h2 class="groupheader"><a name="nested-classes"></a>
 Classes</h2></td></tr>
+<tr class="memitem:"><td class="memItemLeft" align="right" valign="top">class &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1AbstractExecution.html">AbstractExecution</a></td></tr>
+<tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:"><td class="memItemLeft" align="right" valign="top">class &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1AbstractValue.html">AbstractValue</a></td></tr>
 <tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:"><td class="memItemLeft" align="right" valign="top">class &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1AccessPath.html">AccessPath</a></td></tr>
@@ -110,12 +112,10 @@ Classes</h2></td></tr>
 <tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:"><td class="memItemLeft" align="right" valign="top">class &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1AddrVFGNode.html">AddrVFGNode</a></td></tr>
 <tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:"><td class="memItemLeft" align="right" valign="top">class &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1AE.html">AE</a></td></tr>
-<tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:"><td class="memItemLeft" align="right" valign="top">class &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1AEAPI.html">AEAPI</a></td></tr>
 <tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:"><td class="memItemLeft" align="right" valign="top">class &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1AEStat.html">AEStat</a></td></tr>
-<tr class="memdesc:"><td class="mdescLeft">&#160;</td><td class="mdescRight"><a class="el" href="classSVF_1_1AEStat.html" title="AEStat: Statistic for AE.">AEStat</a>: Statistic for <a class="el" href="classSVF_1_1AE.html">AE</a>.  <a href="classSVF_1_1AEStat.html#details">More...</a><br /></td></tr>
+<tr class="memdesc:"><td class="mdescLeft">&#160;</td><td class="mdescRight"><a class="el" href="classSVF_1_1AEStat.html" title="AEStat: Statistic for AE.">AEStat</a>: Statistic for AE.  <a href="classSVF_1_1AEStat.html#details">More...</a><br /></td></tr>
 <tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:"><td class="memItemLeft" align="right" valign="top">class &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1AliasCFLGraphBuilder.html">AliasCFLGraphBuilder</a></td></tr>
 <tr class="memdesc:"><td class="mdescLeft">&#160;</td><td class="mdescRight"><a class="el" href="classSVF_1_1AliasCFLGraphBuilder.html" title="AliasCFLGraphBuilder: a CFLGraphBuilder specialized for handling aliasing.">AliasCFLGraphBuilder</a>: a <a class="el" href="classSVF_1_1CFLGraphBuilder.html">CFLGraphBuilder</a> specialized for handling aliasing.  <a href="classSVF_1_1AliasCFLGraphBuilder.html#details">More...</a><br /></td></tr>
@@ -1467,7 +1467,7 @@ Typedefs</h2></td></tr>
 </table><table class="memberdecls">
 <tr class="heading"><td colspan="2"><h2 class="groupheader"><a name="enum-members"></a>
 Enumerations</h2></td></tr>
-<tr class="memitem:a41375daa7cc99317d0aa2a21dc643b88"><td class="memItemLeft" align="right" valign="top">enum &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF.html#a41375daa7cc99317d0aa2a21dc643b88">AEKind</a> { <a class="el" href="namespaceSVF.html#a41375daa7cc99317d0aa2a21dc643b88aea8a1a99f6c94c275a58dcd78f418c1f">AEKind::AE</a>, 
+<tr class="memitem:a41375daa7cc99317d0aa2a21dc643b88"><td class="memItemLeft" align="right" valign="top">enum &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF.html#a41375daa7cc99317d0aa2a21dc643b88">AEKind</a> { <a class="el" href="namespaceSVF.html#a41375daa7cc99317d0aa2a21dc643b88a53d18d0ea8b11173db3d2f60f838ffe1">AEKind::AbstractExecution</a>, 
 <a class="el" href="namespaceSVF.html#a41375daa7cc99317d0aa2a21dc643b88aa5aa2ddadb5f0392b52dcbe487fe0ecd">AEKind::BufOverflowChecker</a>
  }</td></tr>
 <tr class="separator:a41375daa7cc99317d0aa2a21dc643b88"><td class="memSeparator" colspan="2">&#160;</td></tr>
@@ -3036,7 +3036,7 @@ Functions</h2></td></tr>
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#l00354">354</a> of file <a class="el" href="CFBasicBlockG_8h_source.html">CFBasicBlockG.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#l00311">311</a> of file <a class="el" href="CFBasicBlockG_8h_source.html">CFBasicBlockG.h</a>.</p>
 
 </div>
 </div>
@@ -5375,13 +5375,13 @@ template&lt;typename Key , typename Hash  = Hash&lt;Key&gt;, typename KeyEqual
 </table>
 </div><div class="memdoc">
 <table class="fieldtable">
-<tr><th colspan="2">Enumerator</th></tr><tr><td class="fieldname"><a id="a41375daa7cc99317d0aa2a21dc643b88aea8a1a99f6c94c275a58dcd78f418c1f"></a>AE&#160;</td><td class="fielddoc"></td></tr>
+<tr><th colspan="2">Enumerator</th></tr><tr><td class="fieldname"><a id="a41375daa7cc99317d0aa2a21dc643b88a53d18d0ea8b11173db3d2f60f838ffe1"></a>AbstractExecution&#160;</td><td class="fielddoc"></td></tr>
 <tr><td class="fieldname"><a id="a41375daa7cc99317d0aa2a21dc643b88aa5aa2ddadb5f0392b52dcbe487fe0ecd"></a>BufOverflowChecker&#160;</td><td class="fielddoc"></td></tr>
 </table>
 
-<p class="definition">Definition at line <a class="el" href="AE_8h_source.html#l00043">43</a> of file <a class="el" href="AE_8h_source.html">AE.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="AbstractExecution_8h_source.html#l00043">43</a> of file <a class="el" href="AbstractExecution_8h_source.html">AbstractExecution.h</a>.</p>
 <div class="fragment"><div class="line"><a name="l00044"></a><span class="lineno">   44</span>&#160;{</div>
-<div class="line"><a name="l00045"></a><span class="lineno">   45</span>&#160;    <a class="code" href="namespaceSVF.html#a41375daa7cc99317d0aa2a21dc643b88aea8a1a99f6c94c275a58dcd78f418c1f">AE</a>,</div>
+<div class="line"><a name="l00045"></a><span class="lineno">   45</span>&#160;    <a class="code" href="namespaceSVF.html#a41375daa7cc99317d0aa2a21dc643b88a53d18d0ea8b11173db3d2f60f838ffe1">AbstractExecution</a>,</div>
 <div class="line"><a name="l00046"></a><span class="lineno">   46</span>&#160;    <a class="code" href="namespaceSVF.html#a41375daa7cc99317d0aa2a21dc643b88aa5aa2ddadb5f0392b52dcbe487fe0ecd">BufOverflowChecker</a></div>
 <div class="line"><a name="l00047"></a><span class="lineno">   47</span>&#160;};</div>
 </div><!-- fragment -->
@@ -8945,6 +8945,7 @@ template&lt;typename GraphType &gt; </div>
 <div class="ttc" id="aclassSVF_1_1MSSADEF_html_ab3070e4293ceb5ca9c25702f76ac427c"><div class="ttname"><a href="classSVF_1_1MSSADEF.html#ab3070e4293ceb5ca9c25702f76ac427c">SVF::MSSADEF::getMR</a></div><div class="ttdeci">const MemRegion * getMR() const</div><div class="ttdoc">Return memory region.</div><div class="ttdef"><b>Definition:</b> <a href="MSSAMuChi_8h_source.html#l00354">MSSAMuChi.h:354</a></div></div>
 <div class="ttc" id="astructcJSON_html_aa6b47e9a4b0e0a26f519b1a2b6739983"><div class="ttname"><a href="structcJSON.html#aa6b47e9a4b0e0a26f519b1a2b6739983">cJSON::string</a></div><div class="ttdeci">char * string</div><div class="ttdef"><b>Definition:</b> <a href="cJSON_8h_source.html#l00122">cJSON.h:122</a></div></div>
 <div class="ttc" id="acJSON_8cpp_html_ae71e2aec89bf140e6430cb7d5ca417c5"><div class="ttname"><a href="cJSON_8cpp.html#ae71e2aec89bf140e6430cb7d5ca417c5">print</a></div><div class="ttdeci">static unsigned char * print(const cJSON *const item, cJSON_bool format, const internal_hooks *const hooks)</div><div class="ttdef"><b>Definition:</b> <a href="cJSON_8cpp_source.html#l01189">cJSON.cpp:1189</a></div></div>
+<div class="ttc" id="anamespaceSVF_html_a41375daa7cc99317d0aa2a21dc643b88a53d18d0ea8b11173db3d2f60f838ffe1"><div class="ttname"><a href="namespaceSVF.html#a41375daa7cc99317d0aa2a21dc643b88a53d18d0ea8b11173db3d2f60f838ffe1">SVF::AEKind::AbstractExecution</a></div><div class="ttdeci">@ AbstractExecution</div></div>
 <div class="ttc" id="acJSON_8h_html_a6288dae99eabb0a393b1d4974e01cde7"><div class="ttname"><a href="cJSON_8h.html#a6288dae99eabb0a393b1d4974e01cde7">number</a></div><div class="ttdeci">const char *const const double number</div><div class="ttdef"><b>Definition:</b> <a href="cJSON_8h_source.html#l00268">cJSON.h:268</a></div></div>
 <div class="ttc" id="anamespaceSVF_html_a90b263fd2f541eca78135078114cabda"><div class="ttname"><a href="namespaceSVF.html#a90b263fd2f541eca78135078114cabda">SVF::Value</a></div><div class="ttdeci">llvm::Value Value</div><div class="ttdoc">LLVM Basic classes.</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00081">BasicTypes.h:81</a></div></div>
 <div class="ttc" id="anamespaceSVF_html_af95793adab8fb9aa19e19027e73372a6"><div class="ttname"><a href="namespaceSVF.html#af95793adab8fb9aa19e19027e73372a6">SVF::operator&lt;&lt;</a></div><div class="ttdeci">IntervalValue operator&lt;&lt;(const IntervalValue &amp;lhs, const IntervalValue &amp;rhs)</div><div class="ttdoc">Left binary shift of IntervalValues.</div><div class="ttdef"><b>Definition:</b> <a href="IntervalValue_8h_source.html#l00784">IntervalValue.h:784</a></div></div>
@@ -8960,7 +8961,6 @@ template&lt;typename GraphType &gt; </div>
 <div class="ttc" id="anamespaceSVF_html_a165cd8904ba9f1ae6e0fa1752ba78caaaac7938d40cfc2307e2bf325d28e7884e"><div class="ttname"><a href="namespaceSVF.html#a165cd8904ba9f1ae6e0fa1752ba78caaaac7938d40cfc2307e2bf325d28e7884e">SVF::BuildDirection::plain</a></div><div class="ttdeci">@ plain</div></div>
 <div class="ttc" id="anamespaceSVF_html_a33124cbc57355f15793da18e69f6b9d7"><div class="ttname"><a href="namespaceSVF.html#a33124cbc57355f15793da18e69f6b9d7">SVF::jsonIsNumber</a></div><div class="ttdeci">bool jsonIsNumber(const cJSON *item)</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8cpp_source.html#l00836">SVFFileSystem.cpp:836</a></div></div>
 <div class="ttc" id="anamespaceSVF_html_ae27267f89add1338fd5afe3a38f61ebd"><div class="ttname"><a href="namespaceSVF.html#ae27267f89add1338fd5afe3a38f61ebd">SVF::WriteGraph</a></div><div class="ttdeci">std::ofstream &amp; WriteGraph(std::ofstream &amp;O, const GraphType &amp;G, bool ShortNames=false)</div><div class="ttdef"><b>Definition:</b> <a href="GraphWriter_8h_source.html#l00328">GraphWriter.h:328</a></div></div>
-<div class="ttc" id="anamespaceSVF_html_a41375daa7cc99317d0aa2a21dc643b88aea8a1a99f6c94c275a58dcd78f418c1f"><div class="ttname"><a href="namespaceSVF.html#a41375daa7cc99317d0aa2a21dc643b88aea8a1a99f6c94c275a58dcd78f418c1f">SVF::AEKind::AE</a></div><div class="ttdeci">@ AE</div></div>
 <div class="ttc" id="aSVFFileSystem_8h_html_abe7df84818bd194fefc80d766e0998da"><div class="ttname"><a href="SVFFileSystem_8h.html#abe7df84818bd194fefc80d766e0998da">JSON_KEY</a></div><div class="ttdeci">#define JSON_KEY(json)</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8h_source.html#l00064">SVFFileSystem.h:64</a></div></div>
 <div class="ttc" id="astructcJSON_html_ade862b880379b5e2a591f7326401fa8d"><div class="ttname"><a href="structcJSON.html#ade862b880379b5e2a591f7326401fa8d">cJSON::next</a></div><div class="ttdeci">struct cJSON * next</div><div class="ttdef"><b>Definition:</b> <a href="cJSON_8h_source.html#l00106">cJSON.h:106</a></div></div>
 <div class="ttc" id="aSVFFileSystem_8cpp_html_aee01a3d251dee6a05d621f5265d92e84"><div class="ttname"><a href="SVFFileSystem_8cpp.html#aee01a3d251dee6a05d621f5265d92e84">humanReadableOption</a></div><div class="ttdeci">static const Option&lt; bool &gt; humanReadableOption(&quot;human-readable&quot;, &quot;Whether to output human-readable JSON&quot;, true)</div></div>

package/SVF-doxygen/html/search/all_0.js

@@ -17,7 +17,7 @@ var searchData=
   ['_5faccessub_14',['_accessUb',['../structSVF_1_1BufOverflowException.html#acd607960043c7073d32220e7e3c1a5b9',1,'SVF::BufOverflowException']]],
   ['_5faddrs_15',['_addrs',['../classSVF_1_1AddressValue.html#aa2fb34da617be0cc5ccf4a1d404e32e5',1,'SVF::AddressValue']]],
   ['_5faddrtogep_16',['_addrToGep',['../classSVF_1_1BufOverflowCheckerAPI.html#a9bd2a222c9f63c589df5a8d2076ffe03',1,'SVF::BufOverflowCheckerAPI']]],
-  ['_5fae_17',['_ae',['../classSVF_1_1AEStat.html#a5270c59a538881996429837436b3ec4f',1,'SVF::AEStat::_ae()'],['../classSVF_1_1AEAPI.html#a6cd87d552b2bd81252ef62c624a56b36',1,'SVF::AEAPI::_ae()']]],
+  ['_5fae_17',['_ae',['../classSVF_1_1AEStat.html#adbce526127c9cc83d642cde2a1e77ff7',1,'SVF::AEStat::_ae()'],['../classSVF_1_1AEAPI.html#a33b63d79de59e0015097c43978162ded',1,'SVF::AEAPI::_ae()']]],
   ['_5fallcomponents_18',['_allComponents',['../classSVF_1_1WTO.html#a649f1a93b6fd51553f6e144f2fe99542',1,'SVF::WTO']]],
   ['_5falloclb_19',['_allocLb',['../structSVF_1_1BufOverflowException.html#ac7acc98da0c61a5b9835125bf3d2999d',1,'SVF::BufOverflowException']]],
   ['_5falloctoclsnamesources_20',['_allocToClsNameSources',['../classSVF_1_1ObjTypeInference.html#af71dbc1499fd7a7adf08c1629b2535b2',1,'SVF::ObjTypeInference']]],
@@ -25,8 +25,8 @@ var searchData=
   ['_5fallocvar_22',['_allocVar',['../structSVF_1_1BufOverflowException.html#a3227be2f0eed6dd0215aa47ea484205c',1,'SVF::BufOverflowException']]],
   ['_5fanatimecycleperquery_23',['_AnaTimeCyclePerQuery',['../classSVF_1_1DDAStat.html#aae8366a4876154fa66298c7bf0fc47c4',1,'SVF::DDAStat']]],
   ['_5fanatimeperquery_24',['_AnaTimePerQuery',['../classSVF_1_1DDAStat.html#a2b788792447d4bccceff2426b45a21b2',1,'SVF::DDAStat']]],
-  ['_5fander_25',['_ander',['../classSVF_1_1AE.html#adf16189aa7eb2a2d6e140723657a5f42',1,'SVF::AE::_ander()'],['../classSVF_1_1DDAVFSolver.html#aa1d1b6e8cc23f0a6d3935cbe4f02cbdf',1,'SVF::DDAVFSolver::_ander()']]],
-  ['_5fapi_26',['_api',['../classSVF_1_1AE.html#ae421183ec34d08f02a484f3c025e10d7',1,'SVF::AE']]],
+  ['_5fander_25',['_ander',['../classSVF_1_1AbstractExecution.html#a53f3b9c51ed8648f14ecb703e9fe67ae',1,'SVF::AbstractExecution::_ander()'],['../classSVF_1_1DDAVFSolver.html#aa1d1b6e8cc23f0a6d3935cbe4f02cbdf',1,'SVF::DDAVFSolver::_ander()']]],
+  ['_5fapi_26',['_api',['../classSVF_1_1AbstractExecution.html#a26f8c21bd96ae22ca2e72af6fbfa410c',1,'SVF::AbstractExecution']]],
   ['_5favgaddrtakenvarptssize_27',['_AvgAddrTakenVarPtsSize',['../classSVF_1_1FlowSensitiveStat.html#a08bfa021eab91d647932aa790d300bbc',1,'SVF::FlowSensitiveStat']]],
   ['_5favginoutptssize_28',['_AvgInOutPtsSize',['../classSVF_1_1FlowSensitiveStat.html#af45e08caf715cca450390ffc2fddb049',1,'SVF::FlowSensitiveStat']]],
   ['_5favgnumofdpmatsvfgnode_29',['_AvgNumOfDPMAtSVFGNode',['../classSVF_1_1DDAStat.html#a36eafce8cdbb6492f6dd550606cfbd81',1,'SVF::DDAStat']]],
@@ -35,12 +35,12 @@ var searchData=
   ['_5favgversionptssize_32',['_AvgVersionPtsSize',['../classSVF_1_1VersionedFlowSensitiveStat.html#a2e3c24fbb1faaf345e6806e99a07f782',1,'SVF::VersionedFlowSensitiveStat']]],
   ['_5fbr_5fcond_33',['_br_cond',['../classSVF_1_1SVFIR2ItvExeState.html#a76bc62f9bcaf8a0513ffd11ccc23bc3b',1,'SVF::SVFIR2ItvExeState']]],
   ['_5fbranchcondition_34',['_branchCondition',['../classSVF_1_1SymState.html#acb13a8b241647b36ccd77b5efffb132e',1,'SVF::SymState']]],
-  ['_5fbugloc_35',['_bugLoc',['../classSVF_1_1AE.html#a1194ad55118ba76071d858d66c964241',1,'SVF::AE']]],
-  ['_5fcallgraph_36',['_callgraph',['../classSVF_1_1AE.html#a6af90d43786ee86b68e374840d7ecfa4',1,'SVF::AE::_callgraph()'],['../classSVF_1_1DDAVFSolver.html#abf24080617c6a74abed9f0bb0bc9c0c5',1,'SVF::DDAVFSolver::_callGraph()']]],
+  ['_5fbugloc_35',['_bugLoc',['../classSVF_1_1AbstractExecution.html#a790c178f8c29eecfc256a5dfd97d1637',1,'SVF::AbstractExecution']]],
+  ['_5fcallgraph_36',['_callgraph',['../classSVF_1_1AbstractExecution.html#a39439604f7d397f620a7639884ea5b50',1,'SVF::AbstractExecution::_callgraph()'],['../classSVF_1_1DDAVFSolver.html#abf24080617c6a74abed9f0bb0bc9c0c5',1,'SVF::DDAVFSolver::_callGraph()']]],
   ['_5fcallgraphscc_37',['_callGraphSCC',['../classSVF_1_1DDAVFSolver.html#a4c307d486756daa1e79595b1e9edc40a',1,'SVF::DDAVFSolver']]],
-  ['_5fcallsitestack_38',['_callSiteStack',['../classSVF_1_1AE.html#a89e523198459de07937a9961f57db2d1',1,'SVF::AE']]],
+  ['_5fcallsitestack_38',['_callSiteStack',['../classSVF_1_1AbstractExecution.html#ab9d6ebcf67ec473ce7ad5910c74eddc1',1,'SVF::AbstractExecution']]],
   ['_5fcfbasicblockg_39',['_CFBasicBlockG',['../classSVF_1_1CFBasicBlockGBuilder.html#a4a298a45e54cbaf41cdf44aeea1a63f3',1,'SVF::CFBasicBlockGBuilder']]],
-  ['_5fcfblockg_40',['_CFBlockG',['../classSVF_1_1AE.html#ac84bb2f46da8ea5c56ad872460babc73',1,'SVF::AE']]],
+  ['_5fcfblockg_40',['_CFBlockG',['../classSVF_1_1AbstractExecution.html#a640e6714576772f9f1bac826ba93707d',1,'SVF::AbstractExecution']]],
   ['_5fcheckpoint_5fnames_41',['_checkpoint_names',['../classSVF_1_1AEAPI.html#ace3e82bcfbb4495a765e01d75a58dc3f',1,'SVF::AEAPI']]],
   ['_5fcheckpoints_42',['_checkpoints',['../classSVF_1_1AEAPI.html#ad364ccca2d91efa83263fad7ed196361',1,'SVF::AEAPI']]],
   ['_5fclient_43',['_client',['../classSVF_1_1ContextDDA.html#ae3b04859ed69c47302177988aa68a70b',1,'SVF::ContextDDA::_client()'],['../classSVF_1_1DDAPass.html#a8bb61315bc5d1816f4e07140864af47f',1,'SVF::DDAPass::_client()'],['../classSVF_1_1FlowDDA.html#a0e10ce1de61977d2fbb3ad2f64df64b9',1,'SVF::FlowDDA::_client()']]],
@@ -58,19 +58,19 @@ var searchData=
   ['_5fexestate_55',['_exeState',['../classSVF_1_1SymState.html#a10f55ddb22731a3c50bff12c6afdbd50',1,'SVF::SymState']]],
   ['_5fextapibufoverflowcheckrules_56',['_extAPIBufOverflowCheckRules',['../classSVF_1_1BufOverflowCheckerAPI.html#adf5b059cb16c8f35146166269f9e1ebc',1,'SVF::BufOverflowCheckerAPI']]],
   ['_5ffunc_5fmap_57',['_func_map',['../classSVF_1_1AEAPI.html#ab47136a3fee89fa6cad5ddb95306f27f',1,'SVF::AEAPI']]],
-  ['_5ffunctowto_58',['_funcToWTO',['../classSVF_1_1AE.html#a4875502f665eeb28e996f6c18d1c1e84',1,'SVF::AE']]],
+  ['_5ffunctowto_58',['_funcToWTO',['../classSVF_1_1AbstractExecution.html#a91a2739c4fec2cc29c560bcf8e5e420e',1,'SVF::AbstractExecution']]],
   ['_5fgraph_59',['_graph',['../classSVF_1_1SCCDetection.html#a2123596f26729d61b241cf468d8925d8',1,'SVF::SCCDetection::_graph()'],['../classSVF_1_1WTO.html#ae8e57cc333199bc8b5aaff0a825eed47',1,'SVF::WTO::_graph()'],['../classSVF_1_1SrcSnkSolver.html#a87242199e12fce5c5978ed0a4baa6b09',1,'SVF::SrcSnkSolver::_graph()'],['../classSVF_1_1GraphReachSolver.html#af486b67b972d797107ec82f3f7988668',1,'SVF::GraphReachSolver::_graph()'],['../classSVF_1_1WPASolver.html#a87e9adb7fb0e0a42abaf90adac27a9c0',1,'SVF::WPASolver::_graph()']]],
   ['_5fhead_60',['_head',['../classSVF_1_1WTOCycle.html#a1f54ed975152670e16280f8b12aebc66',1,'SVF::WTOCycle']]],
   ['_5fheads_61',['_heads',['../classSVF_1_1WTOCycleDepth.html#a6d7bd6b0da1527da8c85aab87462fba8',1,'SVF::WTOCycleDepth']]],
   ['_5fi_62',['_I',['../classSVF_1_1SCCDetection.html#a9105051438f60587df95a9dba618d008',1,'SVF::SCCDetection::_I()'],['../classSVF_1_1CSC.html#af58e474ee7605663fd04fce58dc029d1',1,'SVF::CSC::_I()']]],
-  ['_5ficfg_63',['_icfg',['../classSVF_1_1AE.html#a55786c19c8201ac735afa84618a65286',1,'SVF::AE']]],
+  ['_5ficfg_63',['_icfg',['../classSVF_1_1AbstractExecution.html#ab5021d59a929f4eaf5e59d911036d201',1,'SVF::AbstractExecution']]],
   ['_5ficfgedge_64',['_icfgEdge',['../classSVF_1_1CFBasicBlockEdge.html#a90d4a0b67bea812b4258719906ba03ab',1,'SVF::CFBasicBlockEdge']]],
   ['_5ficfgnode_65',['_icfgNode',['../classSVF_1_1CDGNode.html#a57d10ca10f4f5ac763f80515781b44ba',1,'SVF::CDGNode']]],
   ['_5ficfgnodes_66',['_icfgNodes',['../classSVF_1_1CFBasicBlockNode.html#a72e47a6254620d0b65a8d1182777440a',1,'SVF::CFBasicBlockNode']]],
   ['_5finscc_67',['_inSCC',['../classSVF_1_1SCCDetection_1_1GNodeSCCInfo.html#af3290b2321a70b3acd00927afe87911d',1,'SVF::SCCDetection::GNodeSCCInfo']]],
   ['_5fispwcnode_68',['_isPWCNode',['../classSVF_1_1ConstraintNode.html#ab93b0083cd84702900dcdc853e511275',1,'SVF::ConstraintNode']]],
   ['_5fkeynodesset_69',['_keyNodesSet',['../classSVF_1_1SymState.html#a55fdbbd612acf5f95b59a6b4b8650e43',1,'SVF::SymState']]],
-  ['_5fkind_70',['_kind',['../classSVF_1_1AbstractValue.html#a9405e2725442f2f641f729038efbe172',1,'SVF::AbstractValue::_kind()'],['../classSVF_1_1ExeState.html#a2545017305d54f6416ba48cb45e43cb8',1,'SVF::ExeState::_kind()'],['../classSVF_1_1AE.html#a2e3ab03a8f75497f9cc4060fb571c76c',1,'SVF::AE::_kind()'],['../classSVF_1_1AEAPI.html#ac647ce8e5e4e14303a4c8c8fc6321492',1,'SVF::AEAPI::_kind()']]],
+  ['_5fkind_70',['_kind',['../classSVF_1_1AbstractValue.html#a9405e2725442f2f641f729038efbe172',1,'SVF::AbstractValue::_kind()'],['../classSVF_1_1ExeState.html#a2545017305d54f6416ba48cb45e43cb8',1,'SVF::ExeState::_kind()'],['../classSVF_1_1AbstractExecution.html#ad36d48c0ef82de915d9339c4f47cbd70',1,'SVF::AbstractExecution::_kind()'],['../classSVF_1_1AEAPI.html#ac647ce8e5e4e14303a4c8c8fc6321492',1,'SVF::AEAPI::_kind()']]],
   ['_5fla_71',['_la',['../classSVF_1_1LockResultValidator.html#ae68afb4d129dc6cecfc3561f6a17c798',1,'SVF::LockResultValidator']]],
   ['_5flb_72',['_lb',['../classSVF_1_1IntervalValue.html#a0827c976d921894e89ca4ac88ecf3f95',1,'SVF::IntervalValue']]],
   ['_5floctoaddrs_73',['_locToAddrs',['../classSVF_1_1ExeState.html#a79866a547dc4805d3fefdfd528d2df2a',1,'SVF::ExeState']]],
@@ -86,14 +86,14 @@ var searchData=
   ['_5fmaxversionptssize_83',['_MaxVersionPtsSize',['../classSVF_1_1VersionedFlowSensitiveStat.html#a8c4bfeab6bb30a16689d3c3c54a1057d',1,'SVF::VersionedFlowSensitiveStat']]],
   ['_5fmaxversions_84',['_MaxVersions',['../classSVF_1_1VersionedFlowSensitiveStat.html#aacce301a2c2613591dcd2afaccfcb380',1,'SVF::VersionedFlowSensitiveStat']]],
   ['_5fmod_85',['_mod',['../classSVF_1_1LockResultValidator.html#a2e3ded56c4e1e1a2a0b28c0d44011b61',1,'SVF::LockResultValidator']]],
-  ['_5fmodulename_86',['_moduleName',['../classSVF_1_1AE.html#aba45a74b04d97ffc0853830148258a64',1,'SVF::AE']]],
+  ['_5fmodulename_86',['_moduleName',['../classSVF_1_1AbstractExecution.html#a18903b2257e3a2aeec53d79bcf83e7d5',1,'SVF::AbstractExecution']]],
   ['_5fmsg_87',['_msg',['../structSVF_1_1BufOverflowException.html#add564a4b3a2d36953936f217e794ded0',1,'SVF::BufOverflowException']]],
   ['_5fn_88',['_n',['../classSVF_1_1NumericLiteral.html#ae3d91383159a67b9f5e102581229560a',1,'SVF::NumericLiteral']]],
   ['_5fnode_89',['_node',['../classSVF_1_1WTONode.html#aa673666e3776f7b75b341dc1695841e9',1,'SVF::WTONode']]],
   ['_5fnodecontrolmap_90',['_nodeControlMap',['../classSVF_1_1CDGBuilder.html#a0774da5d81fe9e454800c63f2ada4a00',1,'SVF::CDGBuilder']]],
   ['_5fnodedependentonmap_91',['_nodeDependentOnMap',['../classSVF_1_1CDGBuilder.html#ae62cf8bbe09fcccbace46375f5b043f8',1,'SVF::CDGBuilder']]],
   ['_5fnodesccauxinfo_92',['_NodeSCCAuxInfo',['../classSVF_1_1SCCDetection.html#a55e1ac9dff59ff78d02e8799d306215b',1,'SVF::SCCDetection']]],
-  ['_5fnodetobuginfo_93',['_nodeToBugInfo',['../classSVF_1_1AE.html#a4ed21da186c37ab4e6a24ea26db2b5f2',1,'SVF::AE']]],
+  ['_5fnodetobuginfo_93',['_nodeToBugInfo',['../classSVF_1_1AbstractExecution.html#a55737f5c82afce29a816eb21070a2bc1',1,'SVF::AbstractExecution']]],
   ['_5fnodetocdn_94',['_nodeToCDN',['../classSVF_1_1WTO.html#a54d8c25df36b0c44d52369c4294a1ed8',1,'SVF::WTO']]],
   ['_5fnodetodepth_95',['_nodeToDepth',['../classSVF_1_1WTO.html#ab6eebbf5ab6f6c3ee157e22da10620e9',1,'SVF::WTO']]],
   ['_5fnodetowtocycledepth_96',['_nodeToWTOCycleDepth',['../classSVF_1_1WTO_1_1WTOCycleDepthBuilder.html#a853dc3f6646858f76de023925d9d6bce',1,'SVF::WTO::WTOCycleDepthBuilder']]],
@@ -135,31 +135,31 @@ var searchData=
   ['_5fnumusedversions_132',['_NumUsedVersions',['../classSVF_1_1VersionedFlowSensitiveStat.html#ac938f088c33346ad01ace37160ea8e81',1,'SVF::VersionedFlowSensitiveStat']]],
   ['_5fnumversions_133',['_NumVersions',['../classSVF_1_1VersionedFlowSensitiveStat.html#a7efe89e95b5989f861d934d52d0bbce0',1,'SVF::VersionedFlowSensitiveStat']]],
   ['_5fpag_134',['_pag',['../classSVF_1_1DDAVFSolver.html#a5521918cc06c182c821b9fae8136e4fe',1,'SVF::DDAVFSolver']]],
-  ['_5fpostes_135',['_postES',['../classSVF_1_1AE.html#a69447e3793aeb9aa6142081cef318dae',1,'SVF::AE']]],
+  ['_5fpostes_135',['_postES',['../classSVF_1_1AbstractExecution.html#a740648f04067e6587eab8f328d57ce2c',1,'SVF::AbstractExecution']]],
   ['_5fpotentialnumofvarhaveinoutpts_136',['_PotentialNumOfVarHaveINOUTPts',['../classSVF_1_1FlowSensitiveStat.html#a08ea2c3d891337992291123a1bb4da97',1,'SVF::FlowSensitiveStat']]],
-  ['_5fprees_137',['_preES',['../classSVF_1_1AE.html#a3a5cf09267a453cdd4f197ca27495b23',1,'SVF::AE']]],
+  ['_5fprees_137',['_preES',['../classSVF_1_1AbstractExecution.html#a209315b8ebebe7fae08ad978bc82f228',1,'SVF::AbstractExecution']]],
   ['_5fpta_138',['_pta',['../classSVF_1_1DDAPass.html#a7a4bd29396855329972f928107521c86',1,'SVF::DDAPass::_pta()'],['../classSVF_1_1WPAPass.html#a0b57d86a5305aefcd6c8ae4e328d3ab0',1,'SVF::WPAPass::_pta()']]],
   ['_5fptenditer_139',['_ptEndIter',['../classSVF_1_1CondPointsToSet_1_1CondPtsSetIterator.html#ae5fe9ff25c62386cbdd97d30b64b6972',1,'SVF::CondPointsToSet::CondPtsSetIterator']]],
   ['_5fptiter_140',['_ptIter',['../classSVF_1_1CondPointsToSet_1_1CondPtsSetIterator.html#a2b34cb72c2ecc8e4fc7071b6ed814df9',1,'SVF::CondPointsToSet::CondPtsSetIterator']]],
-  ['_5frecoder_141',['_recoder',['../classSVF_1_1AE.html#a73f74f2e9ecfd6870e98edee1ab6889c',1,'SVF::AE']]],
-  ['_5frecursivefuns_142',['_recursiveFuns',['../classSVF_1_1AE.html#a82004cf1fd1bd22cdfe3ca3193f7dbae',1,'SVF::AE']]],
+  ['_5frecoder_141',['_recoder',['../classSVF_1_1AbstractExecution.html#a5ed683d635bd05f0bee10436d20deb31',1,'SVF::AbstractExecution']]],
+  ['_5frecursivefuns_142',['_recursiveFuns',['../classSVF_1_1AbstractExecution.html#ac7b2e6bdccab5a507c9e8db8ea4682d3',1,'SVF::AbstractExecution']]],
   ['_5freles_143',['_relEs',['../classSVF_1_1SVFIR2ItvExeState.html#ab8bd2de9d86489845f5a74727040b217',1,'SVF::SVFIR2ItvExeState']]],
   ['_5frep_144',['_rep',['../classSVF_1_1SCCDetection_1_1GNodeSCCInfo.html#a99f3c75c72892cf364b808ff7e773a51',1,'SVF::SCCDetection::GNodeSCCInfo']]],
-  ['_5freverse_5fpredicate_145',['_reverse_predicate',['../AE_8cpp.html#a6baa35cec0782ac3179849752a732e5c',1,'AE.cpp']]],
+  ['_5freverse_5fpredicate_145',['_reverse_predicate',['../AbstractExecution_8cpp.html#a6baa35cec0782ac3179849752a732e5c',1,'AbstractExecution.cpp']]],
   ['_5fs_146',['_S',['../classSVF_1_1CSC.html#a44dbda27203499770ed1315366218c51',1,'SVF::CSC']]],
   ['_5fscc_147',['_scc',['../classSVF_1_1CSC.html#ad6639daea8a19a920c88af332a420d00',1,'SVF::CSC']]],
   ['_5fss_148',['_SS',['../classSVF_1_1SCCDetection.html#a0e9ca6d916963160fb4ae9acec1c1fe9',1,'SVF::SCCDetection']]],
   ['_5fstack_149',['_stack',['../classSVF_1_1WTO.html#a333df66435d9c4444ff7f729ca9d0050',1,'SVF::WTO']]],
-  ['_5fstat_150',['_stat',['../classSVF_1_1AE.html#ae4ad6dac726a01baf3e25d2cc1e35ffc',1,'SVF::AE::_stat()'],['../classSVF_1_1AEAPI.html#afed1d221bdb876046ec036f1cae53fd3',1,'SVF::AEAPI::_stat()']]],
+  ['_5fstat_150',['_stat',['../classSVF_1_1AbstractExecution.html#a74a55a4d4941c85bdfed81f060049bf0',1,'SVF::AbstractExecution::_stat()'],['../classSVF_1_1AEAPI.html#afed1d221bdb876046ec036f1cae53fd3',1,'SVF::AEAPI::_stat()']]],
   ['_5fstrongupdatestores_151',['_StrongUpdateStores',['../classSVF_1_1DDAStat.html#ad53ad7a958c05b45624d2859a6a9e647',1,'SVF::DDAStat']]],
   ['_5fsubnodes_152',['_subNodes',['../classSVF_1_1SCCDetection_1_1GNodeSCCInfo.html#a859c0fc55f0fad4f0dfbe5ed41bd7400',1,'SVF::SCCDetection::GNodeSCCInfo']]],
   ['_5fsvfcontrolmap_153',['_svfcontrolMap',['../classSVF_1_1CDGBuilder.html#ab24b985813e362f9470593e615c4c613',1,'SVF::CDGBuilder']]],
   ['_5fsvfdependentonmap_154',['_svfdependentOnMap',['../classSVF_1_1CDGBuilder.html#a243ef2e6fa014ab5814a2200f92cc93e',1,'SVF::CDGBuilder']]],
   ['_5fsvfg_155',['_svfg',['../classSVF_1_1DDAVFSolver.html#a74d83f06e8fc0ecedc1e1846030c99c6',1,'SVF::DDAVFSolver::_svfg()'],['../classSVF_1_1WPAPass.html#ac0f6d1221ee66ac17d0b201d73d7e28a',1,'SVF::WPAPass::_svfg()']]],
   ['_5fsvfgscc_156',['_svfgSCC',['../classSVF_1_1DDAVFSolver.html#a54f5d4972238ae69f19c9da3b9f51644',1,'SVF::DDAVFSolver']]],
-  ['_5fsvfir_157',['_svfir',['../classSVF_1_1AE.html#af42ae42a73107e29133c481f94a9161f',1,'SVF::AE::_svfir()'],['../classSVF_1_1AEAPI.html#ae983d887ccf66c7f21b4712b37ab5f60',1,'SVF::AEAPI::_svfir()'],['../classSVF_1_1SVFIR2ItvExeState.html#a4359c73e131a44f899c694fad25b7e1a',1,'SVF::SVFIR2ItvExeState::_svfir()']]],
-  ['_5fsvfir2exestate_158',['_svfir2ExeState',['../classSVF_1_1AE.html#abea70264606aa7687d4b93e13155f96f',1,'SVF::AE']]],
-  ['_5fswitch_5flhsrhs_5fpredicate_159',['_switch_lhsrhs_predicate',['../AE_8cpp.html#a3b70282b79998dcb9f6df78370bc1fe9',1,'AE.cpp']]],
+  ['_5fsvfir_157',['_svfir',['../classSVF_1_1AbstractExecution.html#a49742e8c3a8fe598a0945a8d8ff394d0',1,'SVF::AbstractExecution::_svfir()'],['../classSVF_1_1AEAPI.html#ae983d887ccf66c7f21b4712b37ab5f60',1,'SVF::AEAPI::_svfir()'],['../classSVF_1_1SVFIR2ItvExeState.html#a4359c73e131a44f899c694fad25b7e1a',1,'SVF::SVFIR2ItvExeState::_svfir()']]],
+  ['_5fsvfir2exestate_158',['_svfir2ExeState',['../classSVF_1_1AbstractExecution.html#a5e24bceb3d6961117651dbc65e9a097a',1,'SVF::AbstractExecution']]],
+  ['_5fswitch_5flhsrhs_5fpredicate_159',['_switch_lhsrhs_predicate',['../AbstractExecution_8cpp.html#a3b70282b79998dcb9f6df78370bc1fe9',1,'AbstractExecution.cpp']]],
   ['_5ft_160',['_T',['../classSVF_1_1SCCDetection.html#a0373c80345ffb147ba9a5f57e96d7745',1,'SVF::SCCDetection']]],
   ['_5fthisptrclassnames_161',['_thisPtrClassNames',['../classSVF_1_1ObjTypeInference.html#a82a1d348f80d3034fab1c32b8ff9637b',1,'SVF::ObjTypeInference']]],
   ['_5ftotalcfbasicblockedge_162',['_totalCFBasicBlockEdge',['../classSVF_1_1CFBasicBlockGraph.html#a307a47681c72267f6e90d7009d1b3c6b',1,'SVF::CFBasicBlockGraph']]],