svf-tools 1.0.875 → 1.0.877

package/SVF-doxygen/html/classes.html

@@ -79,97 +79,97 @@ $(function() {
 <td valign="top"><a class="el" href="classSVF_1_1LLVMModuleSet.html">LLVMModuleSet</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td>
 <td valign="top"><a class="el" href="classSVF_1_1SparseBitVector_1_1SparseBitVectorIterator.html">SparseBitVector::SparseBitVectorIterator</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td>
 </tr>
-<tr><td valign="top"><a class="el" href="classSVF_1_1AbstractValue.html">AbstractValue</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td>
+<tr><td valign="top"><a class="el" href="classSVF_1_1AbstractExecution.html">AbstractExecution</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td>
 <td valign="top"><a class="el" href="classSVF_1_1CxtStmtDPItem.html">CxtStmtDPItem</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td>
 <td valign="top"><a class="el" href="classSVF_1_1GepCGEdge.html">GepCGEdge</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td>
 <td valign="top"><a class="el" href="classSVF_1_1LoadCGEdge.html">LoadCGEdge</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td>
 <td valign="top"><a class="el" href="classSVF_1_1SrcSnkDDA.html">SrcSnkDDA</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td>
 </tr>
-<tr><td valign="top"><a class="el" href="classSVF_1_1RaceResultValidator_1_1AccessPair.html">RaceResultValidator::AccessPair</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td>
+<tr><td valign="top"><a class="el" href="classSVF_1_1AbstractValue.html">AbstractValue</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td>
 <td valign="top"><a class="el" href="classSVF_1_1CxtThread.html">CxtThread</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td>
 <td valign="top"><a class="el" href="classSVF_1_1GepObjVar.html">GepObjVar</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td>
 <td valign="top"><a class="el" href="classSVF_1_1LoadMU.html">LoadMU</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td>
 <td valign="top"><a class="el" href="classSVF_1_1SrcSnkSolver.html">SrcSnkSolver</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td>
 </tr>
-<tr><td valign="top"><a class="el" href="classSVF_1_1AccessPath.html">AccessPath</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td>
+<tr><td valign="top"><a class="el" href="classSVF_1_1RaceResultValidator_1_1AccessPair.html">RaceResultValidator::AccessPair</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td>
 <td valign="top"><a class="el" href="classSVF_1_1CxtThreadProc.html">CxtThreadProc</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td>
 <td valign="top"><a class="el" href="classSVF_1_1GepStmt.html">GepStmt</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td>
 <td valign="top"><a class="el" href="classSVF_1_1LoadStmt.html">LoadStmt</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td>
 <td valign="top"><a class="el" href="classSVF_1_1Steensgaard.html">Steensgaard</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td>
 </tr>
-<tr><td valign="top"><a class="el" href="classSVF_1_1ActualINSVFGNode.html">ActualINSVFGNode</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td>
+<tr><td valign="top"><a class="el" href="classSVF_1_1AccessPath.html">AccessPath</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td>
 <td valign="top"><a class="el" href="classSVF_1_1CxtThreadStmt.html">CxtThreadStmt</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td>
 <td valign="top"><a class="el" href="classSVF_1_1GepValVar.html">GepValVar</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td>
 <td valign="top"><a class="el" href="classSVF_1_1LoadVFGNode.html">LoadVFGNode</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td>
 <td valign="top"><a class="el" href="classSVF_1_1StInfo.html">StInfo</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td>
 </tr>
-<tr><td valign="top"><a class="el" href="classSVF_1_1ActualOUTSVFGNode.html">ActualOUTSVFGNode</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td>
+<tr><td valign="top"><a class="el" href="classSVF_1_1ActualINSVFGNode.html">ActualINSVFGNode</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td>
 <td rowspan="2" valign="bottom"><a name="letter_d"></a><table border="0" cellspacing="0" cellpadding="0"><tr><td><div class="ah">&#160;&#160;d&#160;&#160;</div></td></tr></table>
 </td>
 <td valign="top"><a class="el" href="classSVF_1_1GepVFGNode.html">GepVFGNode</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td>
 <td valign="top"><a class="el" href="classSVF_1_1LockAnalysis.html">LockAnalysis</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td>
 <td valign="top"><a class="el" href="classSVF_1_1StmtDPItem.html">StmtDPItem</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td>
 </tr>
-<tr><td valign="top"><a class="el" href="classSVF_1_1ActualParmVFGNode.html">ActualParmVFGNode</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td>
+<tr><td valign="top"><a class="el" href="classSVF_1_1ActualOUTSVFGNode.html">ActualOUTSVFGNode</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td>
 <td valign="top"><a class="el" href="classSVF_1_1GlobalICFGNode.html">GlobalICFGNode</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td>
 <td valign="top"><a class="el" href="classSVF_1_1LockResultValidator.html">LockResultValidator</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td>
 <td valign="top"><a class="el" href="classSVF_1_1StmtVFGNode.html">StmtVFGNode</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td>
 </tr>
-<tr><td valign="top"><a class="el" href="classSVF_1_1ActualRetVFGNode.html">ActualRetVFGNode</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td>
+<tr><td valign="top"><a class="el" href="classSVF_1_1ActualParmVFGNode.html">ActualParmVFGNode</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td>
 <td valign="top"><a class="el" href="classSVF_1_1DCHEdge.html">DCHEdge</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td>
 <td valign="top"><a class="el" href="classSVF_1_1SCCDetection_1_1GNodeSCCInfo.html">SCCDetection::GNodeSCCInfo</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td>
 <td rowspan="2" valign="bottom"><a name="letter_m"></a><table border="0" cellspacing="0" cellpadding="0"><tr><td><div class="ah">&#160;&#160;m&#160;&#160;</div></td></tr></table>
 </td>
 <td valign="top"><a class="el" href="classSVF_1_1StoreCGEdge.html">StoreCGEdge</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td>
 </tr>
-<tr><td valign="top"><a class="el" href="structSVF_1_1SVFUtil_1_1add__const__past__pointer.html">add_const_past_pointer</a> (<a class="el" href="namespaceSVF_1_1SVFUtil.html">SVF::SVFUtil</a>)&#160;&#160;&#160;</td>
+<tr><td valign="top"><a class="el" href="classSVF_1_1ActualRetVFGNode.html">ActualRetVFGNode</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td>
 <td valign="top"><a class="el" href="classSVF_1_1DCHGraph.html">DCHGraph</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td>
 <td valign="top"><a class="el" href="classSVF_1_1GrammarBase.html">GrammarBase</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td>
 <td valign="top"><a class="el" href="classSVF_1_1StoreCHI.html">StoreCHI</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td>
 </tr>
-<tr><td valign="top"><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">add_const_past_pointer&lt; T, std::enable_if_t&lt; std::is_pointer&lt; T &gt;::value &gt; &gt;</a> (<a class="el" href="namespaceSVF_1_1SVFUtil.html">SVF::SVFUtil</a>)&#160;&#160;&#160;</td>
+<tr><td valign="top"><a class="el" href="structSVF_1_1SVFUtil_1_1add__const__past__pointer.html">add_const_past_pointer</a> (<a class="el" href="namespaceSVF_1_1SVFUtil.html">SVF::SVFUtil</a>)&#160;&#160;&#160;</td>
 <td valign="top"><a class="el" href="classSVF_1_1DCHNode.html">DCHNode</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td>
 <td valign="top"><a class="el" href="classSVF_1_1GrammarBuilder.html">GrammarBuilder</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td>
 <td valign="top"><a class="el" href="structSVF_1_1SVFUtil_1_1make__void.html">make_void</a> (<a class="el" href="namespaceSVF_1_1SVFUtil.html">SVF::SVFUtil</a>)&#160;&#160;&#160;</td>
 <td valign="top"><a class="el" href="classSVF_1_1StoreStmt.html">StoreStmt</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td>
 </tr>
-<tr><td valign="top"><a class="el" href="structSVF_1_1SVFUtil_1_1add__lvalue__reference__if__not__pointer.html">add_lvalue_reference_if_not_pointer</a> (<a class="el" href="namespaceSVF_1_1SVFUtil.html">SVF::SVFUtil</a>)&#160;&#160;&#160;</td>
+<tr><td valign="top"><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">add_const_past_pointer&lt; T, std::enable_if_t&lt; std::is_pointer&lt; T &gt;::value &gt; &gt;</a> (<a class="el" href="namespaceSVF_1_1SVFUtil.html">SVF::SVFUtil</a>)&#160;&#160;&#160;</td>
 <td valign="top"><a class="el" href="classSVF_1_1DDAClient.html">DDAClient</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td>
 <td valign="top"><a class="el" href="classSVF_1_1GraphPrinter.html">GraphPrinter</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td>
 <td valign="top"><a class="el" href="classSVF_1_1mapped__iter.html">mapped_iter</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td>
 <td valign="top"><a class="el" href="classSVF_1_1StoreVFGNode.html">StoreVFGNode</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td>
 </tr>
-<tr><td valign="top"><a class="el" href="structSVF_1_1SVFUtil_1_1add__lvalue__reference__if__not__pointer_3_01T_00_01std_1_1enable__if__t915410d772a4855ec3d21a633a25ee09.html">add_lvalue_reference_if_not_pointer&lt; T, std::enable_if_t&lt; std::is_pointer&lt; T &gt;::value &gt; &gt;</a> (<a class="el" href="namespaceSVF_1_1SVFUtil.html">SVF::SVFUtil</a>)&#160;&#160;&#160;</td>
+<tr><td valign="top"><a class="el" href="structSVF_1_1SVFUtil_1_1add__lvalue__reference__if__not__pointer.html">add_lvalue_reference_if_not_pointer</a> (<a class="el" href="namespaceSVF_1_1SVFUtil.html">SVF::SVFUtil</a>)&#160;&#160;&#160;</td>
 <td valign="top"><a class="el" href="classSVF_1_1DDAPass.html">DDAPass</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td>
 <td valign="top"><a class="el" href="classSVF_1_1GraphReachSolver.html">GraphReachSolver</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td>
 <td valign="top"><a class="el" href="classSVF_1_1MemObj.html">MemObj</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td>
 <td valign="top"><a class="el" href="classSVF_1_1SVFArgument.html">SVFArgument</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td>
 </tr>
-<tr><td valign="top"><a class="el" href="classSVF_1_1AddrCGEdge.html">AddrCGEdge</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td>
+<tr><td valign="top"><a class="el" href="structSVF_1_1SVFUtil_1_1add__lvalue__reference__if__not__pointer_3_01T_00_01std_1_1enable__if__t915410d772a4855ec3d21a633a25ee09.html">add_lvalue_reference_if_not_pointer&lt; T, std::enable_if_t&lt; std::is_pointer&lt; T &gt;::value &gt; &gt;</a> (<a class="el" href="namespaceSVF_1_1SVFUtil.html">SVF::SVFUtil</a>)&#160;&#160;&#160;</td>
 <td valign="top"><a class="el" href="classSVF_1_1DDAStat.html">DDAStat</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td>
 <td valign="top"><a class="el" href="classSVF_1_1GraphWriter.html">GraphWriter</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td>
 <td valign="top"><a class="el" href="classSVF_1_1MemRegion.html">MemRegion</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td>
 <td valign="top"><a class="el" href="classSVF_1_1SVFArrayType.html">SVFArrayType</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td>
 </tr>
-<tr><td valign="top"><a class="el" href="classSVF_1_1AddressValue.html">AddressValue</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td>
+<tr><td valign="top"><a class="el" href="classSVF_1_1AddrCGEdge.html">AddrCGEdge</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td>
 <td valign="top"><a class="el" href="classSVF_1_1DDAVFSolver.html">DDAVFSolver</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td>
 <td rowspan="2" valign="bottom"><a name="letter_h"></a><table border="0" cellspacing="0" cellpadding="0"><tr><td><div class="ah">&#160;&#160;h&#160;&#160;</div></td></tr></table>
 </td>
 <td valign="top"><a class="el" href="classSVF_1_1MemSSA.html">MemSSA</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td>
 <td valign="top"><a class="el" href="classSVF_1_1SVFBasicBlock.html">SVFBasicBlock</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td>
 </tr>
-<tr><td valign="top"><a class="el" href="classSVF_1_1AddrStmt.html">AddrStmt</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td>
+<tr><td valign="top"><a class="el" href="classSVF_1_1AddressValue.html">AddressValue</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td>
 <td valign="top"><a class="el" href="structSVF_1_1DefaultDOTGraphTraits.html">DefaultDOTGraphTraits</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td>
 <td valign="top"><a class="el" href="classSVF_1_1MemSSAStat.html">MemSSAStat</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td>
 <td valign="top"><a class="el" href="classSVF_1_1SVFBlackHoleValue.html">SVFBlackHoleValue</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td>
 </tr>
-<tr><td valign="top"><a class="el" href="classSVF_1_1AddrVFGNode.html">AddrVFGNode</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td>
+<tr><td valign="top"><a class="el" href="classSVF_1_1AddrStmt.html">AddrStmt</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td>
 <td valign="top"><a class="el" href="structSVF_1_1cppUtil_1_1DemangledName.html">DemangledName</a> (<a class="el" href="namespaceSVF_1_1cppUtil.html">SVF::cppUtil</a>)&#160;&#160;&#160;</td>
 <td valign="top"><a class="el" href="classSVF_1_1HareParForEdge.html">HareParForEdge</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td>
 <td valign="top"><a class="el" href="classSVF_1_1MergeFunctionRets.html">MergeFunctionRets</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td>
 <td valign="top"><a class="el" href="classSVF_1_1SVFBugEvent.html">SVFBugEvent</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td>
 </tr>
-<tr><td valign="top"><a class="el" href="classSVF_1_1AE.html">AE</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td>
+<tr><td valign="top"><a class="el" href="classSVF_1_1AddrVFGNode.html">AddrVFGNode</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td>
 <td valign="top"><a class="el" href="classSVF_1_1DFPTData.html">DFPTData</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td>
 <td valign="top"><a class="el" href="structSVF_1_1has__edgetype.html">has_edgetype</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td>
 <td valign="top"><a class="el" href="classSVF_1_1MHP.html">MHP</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td>

package/SVF-doxygen/html/dir_81caa96ab1d3de93b353e2bbe80e6067.html

@@ -72,7 +72,7 @@ $(function() {
 <table class="memberdecls">
 <tr class="heading"><td colspan="2"><h2 class="groupheader"><a name="files"></a>
 Files</h2></td></tr>
-<tr class="memitem:AE_8cpp"><td class="memItemLeft" align="right" valign="top">file &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="AE_8cpp.html">AE.cpp</a> <a href="AE_8cpp_source.html">[code]</a></td></tr>
+<tr class="memitem:AbstractExecution_8cpp"><td class="memItemLeft" align="right" valign="top">file &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="AbstractExecution_8cpp.html">AbstractExecution.cpp</a> <a href="AbstractExecution_8cpp_source.html">[code]</a></td></tr>
 <tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:BufOverflowChecker_8cpp"><td class="memItemLeft" align="right" valign="top">file &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="BufOverflowChecker_8cpp.html">BufOverflowChecker.cpp</a> <a href="BufOverflowChecker_8cpp_source.html">[code]</a></td></tr>
 <tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>

package/SVF-doxygen/html/dir_fbec400583b4bd6c5f2e89c86c5943a6.html

@@ -72,7 +72,7 @@ $(function() {
 <table class="memberdecls">
 <tr class="heading"><td colspan="2"><h2 class="groupheader"><a name="files"></a>
 Files</h2></td></tr>
-<tr class="memitem:AE_8h"><td class="memItemLeft" align="right" valign="top">file &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="AE_8h.html">AE.h</a> <a href="AE_8h_source.html">[code]</a></td></tr>
+<tr class="memitem:AbstractExecution_8h"><td class="memItemLeft" align="right" valign="top">file &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="AbstractExecution_8h.html">AbstractExecution.h</a> <a href="AbstractExecution_8h_source.html">[code]</a></td></tr>
 <tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:BufOverflowChecker_8h"><td class="memItemLeft" align="right" valign="top">file &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="BufOverflowChecker_8h.html">BufOverflowChecker.h</a> <a href="BufOverflowChecker_8h_source.html">[code]</a></td></tr>
 <tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>

package/SVF-doxygen/html/files.html

@@ -86,7 +86,7 @@ $(function() {
 <tr id="row_0_0_0_0_12_" style="display:none;"><td class="entry"><span style="width:80px;display:inline-block;">&#160;</span><a href="SingleAbsValue_8h_source.html"><span class="icondoc"></span></a><a class="el" href="SingleAbsValue_8h.html" target="_self">SingleAbsValue.h</a></td><td class="desc"></td></tr>
 <tr id="row_0_0_0_0_13_" style="display:none;"><td class="entry"><span style="width:80px;display:inline-block;">&#160;</span><a href="SymState_8h_source.html"><span class="icondoc"></span></a><a class="el" href="SymState_8h.html" target="_self">SymState.h</a></td><td class="desc"></td></tr>
 <tr id="row_0_0_0_1_" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;">&#160;</span><span id="arr_0_0_0_1_" class="arrow" onclick="toggleFolder('0_0_0_1_')">&#9658;</span><span id="img_0_0_0_1_" class="iconfclosed" onclick="toggleFolder('0_0_0_1_')">&#160;</span><a class="el" href="dir_fbec400583b4bd6c5f2e89c86c5943a6.html" target="_self">Svfexe</a></td><td class="desc"></td></tr>
-<tr id="row_0_0_0_1_0_" style="display:none;"><td class="entry"><span style="width:80px;display:inline-block;">&#160;</span><a href="AE_8h_source.html"><span class="icondoc"></span></a><a class="el" href="AE_8h.html" target="_self">AE.h</a></td><td class="desc"></td></tr>
+<tr id="row_0_0_0_1_0_" style="display:none;"><td class="entry"><span style="width:80px;display:inline-block;">&#160;</span><a href="AbstractExecution_8h_source.html"><span class="icondoc"></span></a><a class="el" href="AbstractExecution_8h.html" target="_self">AbstractExecution.h</a></td><td class="desc"></td></tr>
 <tr id="row_0_0_0_1_1_" style="display:none;"><td class="entry"><span style="width:80px;display:inline-block;">&#160;</span><a href="BufOverflowChecker_8h_source.html"><span class="icondoc"></span></a><a class="el" href="BufOverflowChecker_8h.html" target="_self">BufOverflowChecker.h</a></td><td class="desc"></td></tr>
 <tr id="row_0_0_0_1_2_" style="display:none;"><td class="entry"><span style="width:80px;display:inline-block;">&#160;</span><a href="SVFIR2ConsExeState_8h_source.html"><span class="icondoc"></span></a><a class="el" href="SVFIR2ConsExeState_8h.html" target="_self">SVFIR2ConsExeState.h</a></td><td class="desc"></td></tr>
 <tr id="row_0_0_0_1_3_" style="display:none;"><td class="entry"><span style="width:80px;display:inline-block;">&#160;</span><a href="SVFIR2ItvExeState_8h_source.html"><span class="icondoc"></span></a><a class="el" href="SVFIR2ItvExeState_8h.html" target="_self">SVFIR2ItvExeState.h</a></td><td class="desc"></td></tr>
@@ -239,7 +239,7 @@ $(function() {
 <tr id="row_0_1_0_0_6_" class="even" style="display:none;"><td class="entry"><span style="width:80px;display:inline-block;">&#160;</span><a href="SVFIR2Relation_8cpp_source.html"><span class="icondoc"></span></a><a class="el" href="SVFIR2Relation_8cpp.html" target="_self">SVFIR2Relation.cpp</a></td><td class="desc"></td></tr>
 <tr id="row_0_1_0_0_7_" class="even" style="display:none;"><td class="entry"><span style="width:80px;display:inline-block;">&#160;</span><a href="SymState_8cpp_source.html"><span class="icondoc"></span></a><a class="el" href="SymState_8cpp.html" target="_self">SymState.cpp</a></td><td class="desc"></td></tr>
 <tr id="row_0_1_0_1_" class="even" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;">&#160;</span><span id="arr_0_1_0_1_" class="arrow" onclick="toggleFolder('0_1_0_1_')">&#9658;</span><span id="img_0_1_0_1_" class="iconfclosed" onclick="toggleFolder('0_1_0_1_')">&#160;</span><a class="el" href="dir_81caa96ab1d3de93b353e2bbe80e6067.html" target="_self">Svfexe</a></td><td class="desc"></td></tr>
-<tr id="row_0_1_0_1_0_" class="even" style="display:none;"><td class="entry"><span style="width:80px;display:inline-block;">&#160;</span><a href="AE_8cpp_source.html"><span class="icondoc"></span></a><a class="el" href="AE_8cpp.html" target="_self">AE.cpp</a></td><td class="desc"></td></tr>
+<tr id="row_0_1_0_1_0_" class="even" style="display:none;"><td class="entry"><span style="width:80px;display:inline-block;">&#160;</span><a href="AbstractExecution_8cpp_source.html"><span class="icondoc"></span></a><a class="el" href="AbstractExecution_8cpp.html" target="_self">AbstractExecution.cpp</a></td><td class="desc"></td></tr>
 <tr id="row_0_1_0_1_1_" class="even" style="display:none;"><td class="entry"><span style="width:80px;display:inline-block;">&#160;</span><a href="BufOverflowChecker_8cpp_source.html"><span class="icondoc"></span></a><a class="el" href="BufOverflowChecker_8cpp.html" target="_self">BufOverflowChecker.cpp</a></td><td class="desc"></td></tr>
 <tr id="row_0_1_0_1_2_" class="even" style="display:none;"><td class="entry"><span style="width:80px;display:inline-block;">&#160;</span><a href="SVFIR2ConsExeState_8cpp_source.html"><span class="icondoc"></span></a><a class="el" href="SVFIR2ConsExeState_8cpp.html" target="_self">SVFIR2ConsExeState.cpp</a></td><td class="desc"></td></tr>
 <tr id="row_0_1_0_1_3_" class="even" style="display:none;"><td class="entry"><span style="width:80px;display:inline-block;">&#160;</span><a href="SVFIR2ItvExeState_8cpp_source.html"><span class="icondoc"></span></a><a class="el" href="SVFIR2ItvExeState_8cpp.html" target="_self">SVFIR2ItvExeState.cpp</a></td><td class="desc"></td></tr>

package/SVF-doxygen/html/functions.html

@@ -77,8 +77,8 @@ $(function() {
 : <a class="el" href="classSVF_1_1BufOverflowCheckerAPI.html#a9bd2a222c9f63c589df5a8d2076ffe03">SVF::BufOverflowCheckerAPI</a>
 </li>
 <li>_ae
-: <a class="el" href="classSVF_1_1AEAPI.html#a6cd87d552b2bd81252ef62c624a56b36">SVF::AEAPI</a>
-, <a class="el" href="classSVF_1_1AEStat.html#a5270c59a538881996429837436b3ec4f">SVF::AEStat</a>
+: <a class="el" href="classSVF_1_1AEAPI.html#a33b63d79de59e0015097c43978162ded">SVF::AEAPI</a>
+, <a class="el" href="classSVF_1_1AEStat.html#adbce526127c9cc83d642cde2a1e77ff7">SVF::AEStat</a>
 </li>
 <li>_allComponents
 : <a class="el" href="classSVF_1_1WTO.html#a649f1a93b6fd51553f6e144f2fe99542">SVF::WTO&lt; GraphT &gt;</a>
@@ -102,11 +102,11 @@ $(function() {
 : <a class="el" href="classSVF_1_1DDAStat.html#a2b788792447d4bccceff2426b45a21b2">SVF::DDAStat</a>
 </li>
 <li>_ander
-: <a class="el" href="classSVF_1_1AE.html#adf16189aa7eb2a2d6e140723657a5f42">SVF::AE</a>
+: <a class="el" href="classSVF_1_1AbstractExecution.html#a53f3b9c51ed8648f14ecb703e9fe67ae">SVF::AbstractExecution</a>
 , <a class="el" href="classSVF_1_1DDAVFSolver.html#aa1d1b6e8cc23f0a6d3935cbe4f02cbdf">SVF::DDAVFSolver&lt; CVar, CPtSet, DPIm &gt;</a>
 </li>
 <li>_api
-: <a class="el" href="classSVF_1_1AE.html#ae421183ec34d08f02a484f3c025e10d7">SVF::AE</a>
+: <a class="el" href="classSVF_1_1AbstractExecution.html#a26f8c21bd96ae22ca2e72af6fbfa410c">SVF::AbstractExecution</a>
 </li>
 <li>_AvgAddrTakenVarPtsSize
 : <a class="el" href="classSVF_1_1FlowSensitiveStat.html#a08bfa021eab91d647932aa790d300bbc">SVF::FlowSensitiveStat</a>
@@ -135,10 +135,10 @@ $(function() {
 : <a class="el" href="classSVF_1_1SymState.html#acb13a8b241647b36ccd77b5efffb132e">SVF::SymState</a>
 </li>
 <li>_bugLoc
-: <a class="el" href="classSVF_1_1AE.html#a1194ad55118ba76071d858d66c964241">SVF::AE</a>
+: <a class="el" href="classSVF_1_1AbstractExecution.html#a790c178f8c29eecfc256a5dfd97d1637">SVF::AbstractExecution</a>
 </li>
 <li>_callgraph
-: <a class="el" href="classSVF_1_1AE.html#a6af90d43786ee86b68e374840d7ecfa4">SVF::AE</a>
+: <a class="el" href="classSVF_1_1AbstractExecution.html#a39439604f7d397f620a7639884ea5b50">SVF::AbstractExecution</a>
 </li>
 <li>_callGraph
 : <a class="el" href="classSVF_1_1DDAVFSolver.html#abf24080617c6a74abed9f0bb0bc9c0c5">SVF::DDAVFSolver&lt; CVar, CPtSet, DPIm &gt;</a>
@@ -147,13 +147,13 @@ $(function() {
 : <a class="el" href="classSVF_1_1DDAVFSolver.html#a4c307d486756daa1e79595b1e9edc40a">SVF::DDAVFSolver&lt; CVar, CPtSet, DPIm &gt;</a>
 </li>
 <li>_callSiteStack
-: <a class="el" href="classSVF_1_1AE.html#a89e523198459de07937a9961f57db2d1">SVF::AE</a>
+: <a class="el" href="classSVF_1_1AbstractExecution.html#ab9d6ebcf67ec473ce7ad5910c74eddc1">SVF::AbstractExecution</a>
 </li>
 <li>_CFBasicBlockG
 : <a class="el" href="classSVF_1_1CFBasicBlockGBuilder.html#a4a298a45e54cbaf41cdf44aeea1a63f3">SVF::CFBasicBlockGBuilder</a>
 </li>
 <li>_CFBlockG
-: <a class="el" href="classSVF_1_1AE.html#ac84bb2f46da8ea5c56ad872460babc73">SVF::AE</a>
+: <a class="el" href="classSVF_1_1AbstractExecution.html#a640e6714576772f9f1bac826ba93707d">SVF::AbstractExecution</a>
 </li>
 <li>_checkpoint_names
 : <a class="el" href="classSVF_1_1AEAPI.html#ace3e82bcfbb4495a765e01d75a58dc3f">SVF::AEAPI</a>
@@ -212,7 +212,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1AEAPI.html#ab47136a3fee89fa6cad5ddb95306f27f">SVF::AEAPI</a>
 </li>
 <li>_funcToWTO
-: <a class="el" href="classSVF_1_1AE.html#a4875502f665eeb28e996f6c18d1c1e84">SVF::AE</a>
+: <a class="el" href="classSVF_1_1AbstractExecution.html#a91a2739c4fec2cc29c560bcf8e5e420e">SVF::AbstractExecution</a>
 </li>
 <li>_graph
 : <a class="el" href="classSVF_1_1GraphReachSolver.html#af486b67b972d797107ec82f3f7988668">SVF::GraphReachSolver&lt; GraphType, DPIm &gt;</a>
@@ -232,7 +232,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1SCCDetection.html#a9105051438f60587df95a9dba618d008">SVF::SCCDetection&lt; GraphType &gt;</a>
 </li>
 <li>_icfg
-: <a class="el" href="classSVF_1_1AE.html#a55786c19c8201ac735afa84618a65286">SVF::AE</a>
+: <a class="el" href="classSVF_1_1AbstractExecution.html#ab5021d59a929f4eaf5e59d911036d201">SVF::AbstractExecution</a>
 </li>
 <li>_icfgEdge
 : <a class="el" href="classSVF_1_1CFBasicBlockEdge.html#a90d4a0b67bea812b4258719906ba03ab">SVF::CFBasicBlockEdge</a>
@@ -253,8 +253,8 @@ $(function() {
 : <a class="el" href="classSVF_1_1SymState.html#a55fdbbd612acf5f95b59a6b4b8650e43">SVF::SymState</a>
 </li>
 <li>_kind
-: <a class="el" href="classSVF_1_1AbstractValue.html#a9405e2725442f2f641f729038efbe172">SVF::AbstractValue</a>
-, <a class="el" href="classSVF_1_1AE.html#a2e3ab03a8f75497f9cc4060fb571c76c">SVF::AE</a>
+: <a class="el" href="classSVF_1_1AbstractExecution.html#ad36d48c0ef82de915d9339c4f47cbd70">SVF::AbstractExecution</a>
+, <a class="el" href="classSVF_1_1AbstractValue.html#a9405e2725442f2f641f729038efbe172">SVF::AbstractValue</a>
 , <a class="el" href="classSVF_1_1AEAPI.html#ac647ce8e5e4e14303a4c8c8fc6321492">SVF::AEAPI</a>
 , <a class="el" href="classSVF_1_1ExeState.html#a2545017305d54f6416ba48cb45e43cb8">SVF::ExeState</a>
 </li>
@@ -309,7 +309,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1LockResultValidator.html#a2e3ded56c4e1e1a2a0b28c0d44011b61">SVF::LockResultValidator</a>
 </li>
 <li>_moduleName
-: <a class="el" href="classSVF_1_1AE.html#aba45a74b04d97ffc0853830148258a64">SVF::AE</a>
+: <a class="el" href="classSVF_1_1AbstractExecution.html#a18903b2257e3a2aeec53d79bcf83e7d5">SVF::AbstractExecution</a>
 </li>
 <li>_msg
 : <a class="el" href="structSVF_1_1BufOverflowException.html#add564a4b3a2d36953936f217e794ded0">SVF::BufOverflowException</a>
@@ -330,7 +330,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1SCCDetection.html#a55e1ac9dff59ff78d02e8799d306215b">SVF::SCCDetection&lt; GraphType &gt;</a>
 </li>
 <li>_nodeToBugInfo
-: <a class="el" href="classSVF_1_1AE.html#a4ed21da186c37ab4e6a24ea26db2b5f2">SVF::AE</a>
+: <a class="el" href="classSVF_1_1AbstractExecution.html#a55737f5c82afce29a816eb21070a2bc1">SVF::AbstractExecution</a>
 </li>
 <li>_nodeToCDN
 : <a class="el" href="classSVF_1_1WTO.html#a54d8c25df36b0c44d52369c4294a1ed8">SVF::WTO&lt; GraphT &gt;</a>
@@ -462,13 +462,13 @@ $(function() {
 : <a class="el" href="classSVF_1_1DDAVFSolver.html#a5521918cc06c182c821b9fae8136e4fe">SVF::DDAVFSolver&lt; CVar, CPtSet, DPIm &gt;</a>
 </li>
 <li>_postES
-: <a class="el" href="classSVF_1_1AE.html#a69447e3793aeb9aa6142081cef318dae">SVF::AE</a>
+: <a class="el" href="classSVF_1_1AbstractExecution.html#a740648f04067e6587eab8f328d57ce2c">SVF::AbstractExecution</a>
 </li>
 <li>_PotentialNumOfVarHaveINOUTPts
 : <a class="el" href="classSVF_1_1FlowSensitiveStat.html#a08ea2c3d891337992291123a1bb4da97">SVF::FlowSensitiveStat</a>
 </li>
 <li>_preES
-: <a class="el" href="classSVF_1_1AE.html#a3a5cf09267a453cdd4f197ca27495b23">SVF::AE</a>
+: <a class="el" href="classSVF_1_1AbstractExecution.html#a209315b8ebebe7fae08ad978bc82f228">SVF::AbstractExecution</a>
 </li>
 <li>_pta
 : <a class="el" href="classSVF_1_1DDAPass.html#a7a4bd29396855329972f928107521c86">SVF::DDAPass</a>
@@ -481,10 +481,10 @@ $(function() {
 : <a class="el" href="classSVF_1_1CondPointsToSet_1_1CondPtsSetIterator.html#a2b34cb72c2ecc8e4fc7071b6ed814df9">SVF::CondPointsToSet&lt; Cond &gt;::CondPtsSetIterator</a>
 </li>
 <li>_recoder
-: <a class="el" href="classSVF_1_1AE.html#a73f74f2e9ecfd6870e98edee1ab6889c">SVF::AE</a>
+: <a class="el" href="classSVF_1_1AbstractExecution.html#a5ed683d635bd05f0bee10436d20deb31">SVF::AbstractExecution</a>
 </li>
 <li>_recursiveFuns
-: <a class="el" href="classSVF_1_1AE.html#a82004cf1fd1bd22cdfe3ca3193f7dbae">SVF::AE</a>
+: <a class="el" href="classSVF_1_1AbstractExecution.html#ac7b2e6bdccab5a507c9e8db8ea4682d3">SVF::AbstractExecution</a>
 </li>
 <li>_relEs
 : <a class="el" href="classSVF_1_1SVFIR2ItvExeState.html#ab8bd2de9d86489845f5a74727040b217">SVF::SVFIR2ItvExeState</a>
@@ -505,7 +505,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1WTO.html#a333df66435d9c4444ff7f729ca9d0050">SVF::WTO&lt; GraphT &gt;</a>
 </li>
 <li>_stat
-: <a class="el" href="classSVF_1_1AE.html#ae4ad6dac726a01baf3e25d2cc1e35ffc">SVF::AE</a>
+: <a class="el" href="classSVF_1_1AbstractExecution.html#a74a55a4d4941c85bdfed81f060049bf0">SVF::AbstractExecution</a>
 , <a class="el" href="classSVF_1_1AEAPI.html#afed1d221bdb876046ec036f1cae53fd3">SVF::AEAPI</a>
 </li>
 <li>_StrongUpdateStores
@@ -528,12 +528,12 @@ $(function() {
 : <a class="el" href="classSVF_1_1DDAVFSolver.html#a54f5d4972238ae69f19c9da3b9f51644">SVF::DDAVFSolver&lt; CVar, CPtSet, DPIm &gt;</a>
 </li>
 <li>_svfir
-: <a class="el" href="classSVF_1_1AE.html#af42ae42a73107e29133c481f94a9161f">SVF::AE</a>
+: <a class="el" href="classSVF_1_1AbstractExecution.html#a49742e8c3a8fe598a0945a8d8ff394d0">SVF::AbstractExecution</a>
 , <a class="el" href="classSVF_1_1AEAPI.html#ae983d887ccf66c7f21b4712b37ab5f60">SVF::AEAPI</a>
 , <a class="el" href="classSVF_1_1SVFIR2ItvExeState.html#a4359c73e131a44f899c694fad25b7e1a">SVF::SVFIR2ItvExeState</a>
 </li>
 <li>_svfir2ExeState
-: <a class="el" href="classSVF_1_1AE.html#abea70264606aa7687d4b93e13155f96f">SVF::AE</a>
+: <a class="el" href="classSVF_1_1AbstractExecution.html#a5e24bceb3d6961117651dbc65e9a097a">SVF::AbstractExecution</a>
 </li>
 <li>_T
 : <a class="el" href="classSVF_1_1SCCDetection.html#a0373c80345ffb147ba9a5f57e96d7745">SVF::SCCDetection&lt; GraphType &gt;</a>

package/SVF-doxygen/html/functions_a.html

@@ -70,8 +70,11 @@ $(function() {
 <li>abstract_consequence()
 : <a class="el" href="classSVF_1_1RelationSolver.html#a012d18ece2c66ba6e784ae9578171369">SVF::RelationSolver</a>
 </li>
+<li>AbstractExecution()
+: <a class="el" href="classSVF_1_1AbstractExecution.html#a84d8fedb7e9d23e92ffcb74b4cfbf78c">SVF::AbstractExecution</a>
+</li>
 <li>AbstractValue()
-: <a class="el" href="classSVF_1_1AbstractValue.html#a40a7792f8cf21c268990d546ccc0a378">SVF::AbstractValue</a>
+: <a class="el" href="classSVF_1_1AbstractValue.html#a56c3cfc51a812f4a9b3171371d3efa60">SVF::AbstractValue</a>
 </li>
 <li>AbstractValueK
 : <a class="el" href="classSVF_1_1AbstractValue.html#afc79860ce75455825ff75d1fef804c16">SVF::AbstractValue</a>
@@ -729,7 +732,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1VFG.html#a373e7066630719ffb7c62681f2c2a74e">SVF::VFG</a>
 </li>
 <li>addMDTag()
-: <a class="el" href="classSVF_1_1Annotator.html#ad1424270d91f70dee1461b6301ce8091">SVF::Annotator</a>
+: <a class="el" href="classSVF_1_1Annotator.html#ade321f69e1a727f1be15860e01effa43">SVF::Annotator</a>
 </li>
 <li>AddModelFlag
 : <a class="el" href="classSVF_1_1Options.html#aac637c9746749320a4ebd6af36212c56">SVF::Options</a>
@@ -860,7 +863,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1PersistentDFPTData.html#a99bc747e5a23b8d97a320fe1e0bf926f">SVF::PersistentDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 , <a class="el" href="classSVF_1_1PersistentDiffPTData.html#a6b5160708567c63cf9acf0b204a1bcf7">SVF::PersistentDiffPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 , <a class="el" href="classSVF_1_1PersistentPTData.html#a46c5bffbcae1494d5acb5e2d76f1501c">SVF::PersistentPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
-, <a class="el" href="classSVF_1_1PersistentVersionedPTData.html#aca91b22bed509c3b26efee746126f917">SVF::PersistentVersionedPTData&lt; Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet &gt;</a>
+, <a class="el" href="classSVF_1_1PersistentVersionedPTData.html#a3ca0f6fcfdf2f8c471ea47501bec08fe">SVF::PersistentVersionedPTData&lt; Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet &gt;</a>
 , <a class="el" href="classSVF_1_1PTData.html#ac1b9dc035fb0bdf468c7d14b9f9d437a">SVF::PTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 , <a class="el" href="classSVF_1_1VersionedPTData.html#ae00316730227769a39b22d3df1b6d38a">SVF::VersionedPTData&lt; Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet &gt;</a>
 </li>
@@ -891,7 +894,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1ConstraintNode.html#af05accba5a61957323bc2fd409b6f6e0">SVF::ConstraintNode</a>
 </li>
 <li>AddressValue()
-: <a class="el" href="classSVF_1_1AddressValue.html#ad66b4fda1ac1a177d3877cf1927aa291">SVF::AddressValue</a>
+: <a class="el" href="classSVF_1_1AddressValue.html#a2a1d67c5e7224503932782b0ce47e6a5">SVF::AddressValue</a>
 </li>
 <li>addRetBlock()
 : <a class="el" href="classSVF_1_1ICFG.html#ac58aa82eb74616a6608ff51d92f5baf6">SVF::ICFG</a>
@@ -983,7 +986,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1ConstraintGraph.html#a633666953f8d6675961981c4eab1adb0">SVF::ConstraintGraph</a>
 </li>
 <li>AddStoreCHI()
-: <a class="el" href="classSVF_1_1MemSSA.html#a3a2dde7ee3aaf6f66038a6b5ae7255a0">SVF::MemSSA</a>
+: <a class="el" href="classSVF_1_1MemSSA.html#a0b60dea5024b7303e7d9f223dd45fc7c">SVF::MemSSA</a>
 </li>
 <li>addStoreEdge()
 : <a class="el" href="classSVF_1_1SVFIRBuilder.html#a30f043eeca79259d84b97e265110f018">SVF::SVFIRBuilder</a>
@@ -1132,10 +1135,10 @@ $(function() {
 : <a class="el" href="classSVF_1_1VFG.html#a65c88a6c20380b715ac8b6c31e68afed">SVF::VFG</a>
 </li>
 <li>addValNode()
-: <a class="el" href="classSVF_1_1SVFIR.html#ac792c1f8b385515a8cc0a0303d40f212">SVF::SVFIR</a>
+: <a class="el" href="classSVF_1_1SVFIR.html#af298651d6ef2030ca13ae6a9db622eb4">SVF::SVFIR</a>
 </li>
 <li>addVarargNode()
-: <a class="el" href="classSVF_1_1SVFIR.html#a078c01295f47bf12f1a2b8abfab8b28d">SVF::SVFIR</a>
+: <a class="el" href="classSVF_1_1SVFIR.html#a6ade5bf3edc7b6c3faafc3e5ff3d0538">SVF::SVFIR</a>
 </li>
 <li>addVariantGepCGEdge()
 : <a class="el" href="classSVF_1_1ConstraintGraph.html#a6902cabb252b1eaadb3c8220b4581a2f">SVF::ConstraintGraph</a>
@@ -1168,16 +1171,13 @@ $(function() {
 <li>AdvanceToNextNonZero()
 : <a class="el" href="classSVF_1_1SparseBitVector_1_1SparseBitVectorIterator.html#a346d500f11666f4746237f42a8d67fc1">SVF::SparseBitVector&lt; ElementSize &gt;::SparseBitVectorIterator</a>
 </li>
-<li>AE()
-: <a class="el" href="classSVF_1_1AE.html#a8fe629685887b4982e50b6764da3f1d8">SVF::AE</a>
-</li>
 <li>AEAPI
-: <a class="el" href="classSVF_1_1AE.html#ac0bcb586dffbfadeb33f501cafbaa1c9">SVF::AE</a>
-, <a class="el" href="classSVF_1_1AEAPI.html#a680ff8e8913aafa7bea9ceea4a262a72">SVF::AEAPI</a>
+: <a class="el" href="classSVF_1_1AbstractExecution.html#ac0bcb586dffbfadeb33f501cafbaa1c9">SVF::AbstractExecution</a>
+, <a class="el" href="classSVF_1_1AEAPI.html#aef0e9a5ff5633dc6fb96bab35484df2a">SVF::AEAPI</a>
 </li>
 <li>AEStat
-: <a class="el" href="classSVF_1_1AE.html#adc6fd1004f4277cb4d6c8bb0dacf3208">SVF::AE</a>
-, <a class="el" href="classSVF_1_1AEStat.html#a447ba17fd7010ba730288fa8b0253821">SVF::AEStat</a>
+: <a class="el" href="classSVF_1_1AbstractExecution.html#adc6fd1004f4277cb4d6c8bb0dacf3208">SVF::AbstractExecution</a>
+, <a class="el" href="classSVF_1_1AEStat.html#a1e297f15d582d8c94c128a146ec92e1d">SVF::AEStat</a>
 </li>
 <li>alias()
 : <a class="el" href="classSVF_1_1BVDataPTAImpl.html#a236d3e9c894fd7c34c8d7a77ac11dd48">SVF::BVDataPTAImpl</a>
@@ -1301,7 +1301,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1ProgSlice.html#aa7979418bed24fcecfc6fa04532cd586">SVF::ProgSlice</a>
 </li>
 <li>analyse()
-: <a class="el" href="classSVF_1_1AE.html#aebeebd4b20fe3475acd9c90bc83efd92">SVF::AE</a>
+: <a class="el" href="classSVF_1_1AbstractExecution.html#a46364bb8814f7bf6ddd492aa7dc58ffb">SVF::AbstractExecution</a>
 </li>
 <li>analyze()
 : <a class="el" href="classSVF_1_1AndersenBase.html#a944966086ecb716184c8cdcc43db5751">SVF::AndersenBase</a>
@@ -1312,7 +1312,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1LockAnalysis.html#ad1516b6cb1dbd06b8dff04ae3c944621">SVF::LockAnalysis</a>
 , <a class="el" href="classSVF_1_1LockResultValidator.html#a88ff3ed1398a0b847d71a4c0352ed66d">SVF::LockResultValidator</a>
 , <a class="el" href="classSVF_1_1MHP.html#a02457fa6e3c85c897ec3b3d8db18cc4b">SVF::MHP</a>
-, <a class="el" href="classSVF_1_1MTAResultValidator.html#a462f1554e058b656861abfb0aa2e47ff">SVF::MTAResultValidator</a>
+, <a class="el" href="classSVF_1_1MTAResultValidator.html#a13073beef204314602c2dc92ec473484">SVF::MTAResultValidator</a>
 , <a class="el" href="classSVF_1_1PCG.html#a50b677ec622247a464cee7f0f45c5a53">SVF::PCG</a>
 , <a class="el" href="classSVF_1_1PointerAnalysis.html#ae1e217dc18be0ce70bee5ad930cb54c6">SVF::PointerAnalysis</a>
 , <a class="el" href="classSVF_1_1RaceResultValidator.html#ab8a261120a7f6520d22a6f5cdf2257e9">SVF::RaceResultValidator</a>
@@ -1496,7 +1496,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1ConsExeState.html#a673a2b823a1c3ea46f38e3956ca143e8">SVF::ConsExeState</a>
 </li>
 <li>AssignStmt()
-: <a class="el" href="classSVF_1_1AssignStmt.html#abc65520cc2b9608c97374829eb475c57">SVF::AssignStmt</a>
+: <a class="el" href="classSVF_1_1AssignStmt.html#a41bf9092cbdfccb9724bd58e10aa51a6">SVF::AssignStmt</a>
 </li>
 <li>atEnd
 : <a class="el" href="classSVF_1_1CondPointsToSet_1_1CondPtsSetIterator.html#ad22614f30570619802e23715d1d5eaf0">SVF::CondPointsToSet&lt; Cond &gt;::CondPtsSetIterator</a>

package/SVF-doxygen/html/functions_b.html

@@ -400,7 +400,7 @@ $(function() {
 </li>
 <li>BufOverflowCheckerAPI
 : <a class="el" href="classSVF_1_1BufOverflowChecker.html#a563fed00ad732985dbe7a7e2c6525e6a">SVF::BufOverflowChecker</a>
-, <a class="el" href="classSVF_1_1BufOverflowCheckerAPI.html#a8a041289be216a8b05fa95e03088ef05">SVF::BufOverflowCheckerAPI</a>
+, <a class="el" href="classSVF_1_1BufOverflowCheckerAPI.html#a97dddad0d473fc3fdacc0c9ae6976531">SVF::BufOverflowCheckerAPI</a>
 </li>
 <li>BufOverflowException()
 : <a class="el" href="structSVF_1_1BufOverflowException.html#a3b4548e9ff028f4de2aee57ac9f8a6a2">SVF::BufOverflowException</a>

package/SVF-doxygen/html/functions_c.html

@@ -149,7 +149,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1PTACallGraph.html#af0e1a940677fb7f6c4aaef2f9c46c3e5">SVF::PTACallGraph</a>
 </li>
 <li>CallGraphSCC
-: <a class="el" href="classSVF_1_1AE.html#a038dbdfcc6d78f1263a6766b498ef3f7">SVF::AE</a>
+: <a class="el" href="classSVF_1_1AbstractExecution.html#a8ad0f3d5a0c9de60eff91fcc0dd44aae">SVF::AbstractExecution</a>
 , <a class="el" href="classSVF_1_1DDAVFSolver.html#af6e05e87ba8d6b6ae65807803b1b0221">SVF::DDAVFSolver&lt; CVar, CPtSet, DPIm &gt;</a>
 </li>
 <li>callGraphSCC
@@ -717,14 +717,14 @@ $(function() {
 : <a class="el" href="classSVF_1_1CHGraph.html#adb99b732d20cfc8cc0f078cda6753bc0">SVF::CHGraph</a>
 </li>
 <li>classof()
-: <a class="el" href="classSVF_1_1ActualINSVFGNode.html#a73ccbee2a81439e70ea0c096d113a89b">SVF::ActualINSVFGNode</a>
+: <a class="el" href="classSVF_1_1AbstractExecution.html#a9c23029833558b082c613fa5e0f14c0d">SVF::AbstractExecution</a>
+, <a class="el" href="classSVF_1_1ActualINSVFGNode.html#a73ccbee2a81439e70ea0c096d113a89b">SVF::ActualINSVFGNode</a>
 , <a class="el" href="classSVF_1_1ActualOUTSVFGNode.html#a810b526c35918ed894c8dc2f95d44cb3">SVF::ActualOUTSVFGNode</a>
 , <a class="el" href="classSVF_1_1ActualParmVFGNode.html#a5d0c195ba42dc0dd48a360cba326d502">SVF::ActualParmVFGNode</a>
 , <a class="el" href="classSVF_1_1ActualRetVFGNode.html#ab814b942e8ba02ed51f11ea6fcadd608">SVF::ActualRetVFGNode</a>
 , <a class="el" href="classSVF_1_1AddrCGEdge.html#a541102364cd692d5f53a6aaef8b41965">SVF::AddrCGEdge</a>
 , <a class="el" href="classSVF_1_1AddrStmt.html#a32e129c9f7aa16be8c5c8569989f691f">SVF::AddrStmt</a>
 , <a class="el" href="classSVF_1_1AddrVFGNode.html#a5ad9c37ae429e0ac4c4fae224364f177">SVF::AddrVFGNode</a>
-, <a class="el" href="classSVF_1_1AE.html#af4fe85e7d6a6d0b928dc4404e06f516d">SVF::AE</a>
 , <a class="el" href="classSVF_1_1AEAPI.html#a31545025fcf62a0c6680ba99666f7b01">SVF::AEAPI</a>
 , <a class="el" href="classSVF_1_1Andersen.html#aaec53980b25ed769fa9a985860f810b5">SVF::Andersen</a>
 , <a class="el" href="classSVF_1_1AndersenBase.html#afa4d710b093a6c7a33cb1aef823781f0">SVF::AndersenBase</a>
@@ -735,7 +735,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1BranchStmt.html#a750ffca6648fafedfb271fb90d975847">SVF::BranchStmt</a>
 , <a class="el" href="classSVF_1_1BranchVFGNode.html#abaeefcd88c47e21065947f7587af2181">SVF::BranchVFGNode</a>
 , <a class="el" href="classSVF_1_1BufferOverflowBug.html#a236e3cf3e81ec4248547b3011323e45f">SVF::BufferOverflowBug</a>
-, <a class="el" href="classSVF_1_1BufOverflowChecker.html#af8bf39f9fa9dbee39c30fb54e9af7caa">SVF::BufOverflowChecker</a>
+, <a class="el" href="classSVF_1_1BufOverflowChecker.html#ace460f7684aedf51c9907c995b94b653">SVF::BufOverflowChecker</a>
 , <a class="el" href="classSVF_1_1BufOverflowCheckerAPI.html#a9832ccaca3754bfd4acc2a851c8e0cb4">SVF::BufOverflowCheckerAPI</a>
 , <a class="el" href="classSVF_1_1BVDataPTAImpl.html#a6ba68138c10d1fbe5be6346c8dfeca74">SVF::BVDataPTAImpl</a>
 , <a class="el" href="classSVF_1_1CallCFGEdge.html#a38b56212fb58934ee50079b1e69ad5ff">SVF::CallCFGEdge</a>
@@ -1524,7 +1524,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1LeakChecker.html#a42f54433e5ca60928f3c329ab545842da1524077f4425b7e2d6cc32917a02c356">SVF::LeakChecker</a>
 </li>
 <li>ContextCond()
-: <a class="el" href="classSVF_1_1ContextCond.html#a5f31275f74ff9eb5734481f36275c6d9">SVF::ContextCond</a>
+: <a class="el" href="classSVF_1_1ContextCond.html#a9ddc22484df27618c5095445f33b4cf1">SVF::ContextCond</a>
 </li>
 <li>ContextDDA()
 : <a class="el" href="classSVF_1_1ContextDDA.html#ac73213825d188fb4d1105ddc472fde05">SVF::ContextDDA</a>
@@ -1876,7 +1876,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1Options.html#a3bbd106de519cb8d00f33e82f14d279b">SVF::Options</a>
 </li>
 <li>CxtDPItem()
-: <a class="el" href="classSVF_1_1CxtDPItem.html#a673749f246b002b33ca3718a566779ca">SVF::CxtDPItem</a>
+: <a class="el" href="classSVF_1_1CxtDPItem.html#ab2adb60f776ed2cde73253ff367e14cf">SVF::CxtDPItem</a>
 </li>
 <li>cxtJoinInLoop
 : <a class="el" href="classSVF_1_1ForkJoinAnalysis.html#a63da48d338683ec95709a6bd95238707">SVF::ForkJoinAnalysis</a>
@@ -1896,12 +1896,12 @@ $(function() {
 <li>CxtLockProcVec
 : <a class="el" href="classSVF_1_1LockAnalysis.html#a058f3518f0b861c46c99095922e373f0">SVF::LockAnalysis</a>
 </li>
-<li>CxtLockSet
-: <a class="el" href="classSVF_1_1LockAnalysis.html#a0716c155b42b3ae7a6c8d7593bb6ac83">SVF::LockAnalysis</a>
-</li>
 <li>cxtLockset
 : <a class="el" href="classSVF_1_1LockAnalysis.html#a3081e7c7165908ed4aa282f398c5236d">SVF::LockAnalysis</a>
 </li>
+<li>CxtLockSet
+: <a class="el" href="classSVF_1_1LockAnalysis.html#a0716c155b42b3ae7a6c8d7593bb6ac83">SVF::LockAnalysis</a>
+</li>
 <li>cxtLockSet
 : <a class="el" href="classSVF_1_1LockResultValidator.html#a51e6f48be9f2a65b390e4e0350eb12a9">SVF::LockResultValidator</a>
 </li>
@@ -1918,16 +1918,16 @@ $(function() {
 : <a class="el" href="classSVF_1_1LockAnalysis.html#a2fd796765f16cc7094f36d68c0ff70a0">SVF::LockAnalysis</a>
 </li>
 <li>CxtProc()
-: <a class="el" href="classSVF_1_1CxtProc.html#a25a80c93a6aeb1112a846d6c588364cc">SVF::CxtProc</a>
+: <a class="el" href="classSVF_1_1CxtProc.html#ac1ca3a049f6d0f8a0548a153cc903aa0">SVF::CxtProc</a>
 </li>
 <li>cxtSize()
 : <a class="el" href="classSVF_1_1ContextCond.html#a20f15a1661f928ab80bacaf8f5c497b1">SVF::ContextCond</a>
 </li>
 <li>CxtStmt()
-: <a class="el" href="classSVF_1_1CxtStmt.html#ad976db5b794019bb68ccc9a35349fb41">SVF::CxtStmt</a>
+: <a class="el" href="classSVF_1_1CxtStmt.html#a1fa357ea71dee45deac94141ef8cdd32">SVF::CxtStmt</a>
 </li>
 <li>CxtStmtDPItem()
-: <a class="el" href="classSVF_1_1CxtStmtDPItem.html#a5c3bd4e8f26bfdc863baeb1241a557d1">SVF::CxtStmtDPItem&lt; LocCond &gt;</a>
+: <a class="el" href="classSVF_1_1CxtStmtDPItem.html#a595d44fa92f4ebef2fe789873fd357e0">SVF::CxtStmtDPItem&lt; LocCond &gt;</a>
 </li>
 <li>cxtStmtList
 : <a class="el" href="classSVF_1_1ForkJoinAnalysis.html#acccf53d174cac3275da0d79c89a73916">SVF::ForkJoinAnalysis</a>
@@ -1937,12 +1937,12 @@ $(function() {
 <li>CxtStmtSet
 : <a class="el" href="classSVF_1_1LockAnalysis.html#a42ed881d4cd79eae099266a9e171aeb2">SVF::LockAnalysis</a>
 </li>
-<li>CxtStmtToAliveFlagMap
-: <a class="el" href="classSVF_1_1ForkJoinAnalysis.html#acdc652faba35e45820cce0cdd20ea99c">SVF::ForkJoinAnalysis</a>
-</li>
 <li>cxtStmtToAliveFlagMap
 : <a class="el" href="classSVF_1_1ForkJoinAnalysis.html#aa31b3f3d51b963ccd475e66b77143dba">SVF::ForkJoinAnalysis</a>
 </li>
+<li>CxtStmtToAliveFlagMap
+: <a class="el" href="classSVF_1_1ForkJoinAnalysis.html#acdc652faba35e45820cce0cdd20ea99c">SVF::ForkJoinAnalysis</a>
+</li>
 <li>CxtStmtToCxtLockS
 : <a class="el" href="classSVF_1_1LockResultValidator.html#a284e4c4d5d84da5ebe0938cad8490dfc">SVF::LockResultValidator</a>
 </li>
@@ -1979,7 +1979,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1TCT.html#a23df579f18d4ea4b0f47272091ddc43e">SVF::TCT</a>
 </li>
 <li>CxtThreadStmt()
-: <a class="el" href="classSVF_1_1CxtThreadStmt.html#ab5487e3f330bb18685281c5effcecfbb">SVF::CxtThreadStmt</a>
+: <a class="el" href="classSVF_1_1CxtThreadStmt.html#a5a4392f444e5fe64a1387c134935893d">SVF::CxtThreadStmt</a>
 </li>
 <li>CxtThreadStmtSet
 : <a class="el" href="classSVF_1_1MHP.html#a28031502c4f8f0d4012c0827c57efb32">SVF::MHP</a>