svf-tools 1.0.875 → 1.0.877

package/SVF-doxygen/html/functions_d.html

@@ -310,7 +310,7 @@ $(function() {
 : <a class="el" href="structSVF_1_1GenericGraphTraits_3_01SVF_1_1GenericNode_3_01NodeTy_00_01EdgeTy_01_4_01_5_01_4.html#a543da98c9818fbfd235152beab355e9c">SVF::GenericGraphTraits&lt; SVF::GenericNode&lt; NodeTy, EdgeTy &gt; * &gt;</a>
 </li>
 <li>directCallFunPass()
-: <a class="el" href="classSVF_1_1AE.html#a73a42726f0c1af6d081b57bdbf143b0f">SVF::AE</a>
+: <a class="el" href="classSVF_1_1AbstractExecution.html#aff1c9582db75361b68aaaf0c4b8b6f0d">SVF::AbstractExecution</a>
 </li>
 <li>directCalls
 : <a class="el" href="classSVF_1_1PTACallGraphEdge.html#a2f3e4b61225c4ca37b0f70e3edc61920">SVF::PTACallGraphEdge</a>
@@ -325,13 +325,11 @@ $(function() {
 : <a class="el" href="classSVF_1_1ConstraintGraph.html#a1be3ebb84b3d334daf98f7e6f5b82256">SVF::ConstraintGraph</a>
 </li>
 <li>directInEdgeBegin()
-: <a class="el" href="classSVF_1_1CFBasicBlockNode.html#accc815b1ebcf66eb596d17a2e7e75403">SVF::CFBasicBlockNode</a>
-, <a class="el" href="classSVF_1_1ConstraintNode.html#a66c58fc9e29b9e2c88cb7e3216415c9f">SVF::ConstraintNode</a>
+: <a class="el" href="classSVF_1_1ConstraintNode.html#a66c58fc9e29b9e2c88cb7e3216415c9f">SVF::ConstraintNode</a>
 , <a class="el" href="classSVF_1_1GenericNode.html#a4ab1f2e5db301e4a37215905a22e6476">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a>
 </li>
 <li>directInEdgeEnd()
-: <a class="el" href="classSVF_1_1CFBasicBlockNode.html#a29971b81bdf81bb079718ac15b387ead">SVF::CFBasicBlockNode</a>
-, <a class="el" href="classSVF_1_1ConstraintNode.html#aed4e0b2ede72717491747158c2e2702f">SVF::ConstraintNode</a>
+: <a class="el" href="classSVF_1_1ConstraintNode.html#aed4e0b2ede72717491747158c2e2702f">SVF::ConstraintNode</a>
 , <a class="el" href="classSVF_1_1GenericNode.html#a19599627ba095b5452373284deab7f6c">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a>
 </li>
 <li>directInEdges
@@ -341,13 +339,11 @@ $(function() {
 : <a class="el" href="classSVF_1_1ForkJoinAnalysis.html#abf5b499f93a658636d09a62d14a47cad">SVF::ForkJoinAnalysis</a>
 </li>
 <li>directOutEdgeBegin()
-: <a class="el" href="classSVF_1_1CFBasicBlockNode.html#abea5a96ff067636ae8d3766329695055">SVF::CFBasicBlockNode</a>
-, <a class="el" href="classSVF_1_1ConstraintNode.html#a5be4bd33793fe159397c16a80a05b570">SVF::ConstraintNode</a>
+: <a class="el" href="classSVF_1_1ConstraintNode.html#a5be4bd33793fe159397c16a80a05b570">SVF::ConstraintNode</a>
 , <a class="el" href="classSVF_1_1GenericNode.html#aa0e258d3a92dae367f2809a6f16c80db">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a>
 </li>
 <li>directOutEdgeEnd()
-: <a class="el" href="classSVF_1_1CFBasicBlockNode.html#a77bac962599c92286edee26a1d430624">SVF::CFBasicBlockNode</a>
-, <a class="el" href="classSVF_1_1ConstraintNode.html#ae3465d3c949ec59e243b30ad0ecd256d">SVF::ConstraintNode</a>
+: <a class="el" href="classSVF_1_1ConstraintNode.html#ae3465d3c949ec59e243b30ad0ecd256d">SVF::ConstraintNode</a>
 , <a class="el" href="classSVF_1_1GenericNode.html#a5950d69d4ba6c2122dd06b93911e4992">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a>
 </li>
 <li>directOutEdges
@@ -510,7 +506,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1CallMU.html#af08ecc9c2b75737e88690fb2319fcf57">SVF::CallMU&lt; Cond &gt;</a>
 , <a class="el" href="classSVF_1_1CDG.html#a8c83310df697174ac18d7392c241dc15">SVF::CDG</a>
 , <a class="el" href="classSVF_1_1CFBasicBlockGraph.html#a41494b39a562ee1788f91bc39776604f">SVF::CFBasicBlockGraph</a>
-, <a class="el" href="classSVF_1_1CFGrammar.html#ab417de2cfd096477e288742b2967cded">SVF::CFGrammar</a>
+, <a class="el" href="classSVF_1_1CFGrammar.html#a032e6a1ccff5444f0c849309ac2ad23f">SVF::CFGrammar</a>
 , <a class="el" href="classSVF_1_1CFLGraph.html#ab32869931e46babcfaa6791efe2ba91e">SVF::CFLGraph</a>
 , <a class="el" href="classSVF_1_1CHGraph.html#a29351163649618332394fc72cc35212f">SVF::CHGraph</a>
 , <a class="el" href="classSVF_1_1CondPointsToSet.html#a52392deae4011c4353a259c873efc0d6">SVF::CondPointsToSet&lt; Cond &gt;</a>
@@ -580,7 +576,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1Options.html#ae7ccfb3d1308e205e5014849dcc43d9a">SVF::Options</a>
 </li>
 <li>dumpInterlev()
-: <a class="el" href="classSVF_1_1MTAResultValidator.html#a1af033b5742fa9cc1e4f9873184775b7">SVF::MTAResultValidator</a>
+: <a class="el" href="classSVF_1_1MTAResultValidator.html#af88ed1c0aefc313eb50f7d6755c03be4">SVF::MTAResultValidator</a>
 </li>
 <li>DumpJson
 : <a class="el" href="classSVF_1_1Options.html#a3f5235cbdaab1bf53b9144d335c9c3d4">SVF::Options</a>

package/SVF-doxygen/html/functions_e.html

@@ -393,7 +393,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1ExtAPI.html#a3ce3e67c96a65484d8077d9e3a9efa7d">SVF::ExtAPI</a>
 </li>
 <li>extCallPass()
-: <a class="el" href="classSVF_1_1AE.html#ace878a11d6eb7b65d6876f6d9a69b89e">SVF::AE</a>
+: <a class="el" href="classSVF_1_1AbstractExecution.html#acf4a6c3fe5a2239512acb791b9aba854">SVF::AbstractExecution</a>
 </li>
 <li>extendBackward()
 : <a class="el" href="classSVF_1_1CoreBitVector.html#ab6d789e3c68390a9026fd4f8c4cf344a">SVF::CoreBitVector</a>

package/SVF-doxygen/html/functions_func.html

@@ -67,8 +67,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#a56c3cfc51a812f4a9b3171371d3efa60">SVF::AbstractValue</a>
+: <a class="el" href="classSVF_1_1AbstractValue.html#a40a7792f8cf21c268990d546ccc0a378">SVF::AbstractValue</a>
 </li>
 <li>accept()
 : <a class="el" href="classSVF_1_1WTO.html#af2ac6543be66a6ca5911f49f16c341c4">SVF::WTO&lt; GraphT &gt;</a>
@@ -716,7 +719,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1VFG.html#a59bc855eb8591d88e0898e14d4f4b607">SVF::VFG</a>
 </li>
 <li>addObjNode()
-: <a class="el" href="classSVF_1_1SVFIR.html#a20ded5829d5975dfaca33f9c64113fe6">SVF::SVFIR</a>
+: <a class="el" href="classSVF_1_1SVFIR.html#af9b5c67ca0d91ed20d6ee2d44c1acbd1">SVF::SVFIR</a>
 </li>
 <li>addOffsetVarAndGepTypePair()
 : <a class="el" href="classSVF_1_1AccessPath.html#a2358a8194b5e2c4bcbb5218dee7fcbcd">SVF::AccessPath</a>
@@ -839,7 +842,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1MutablePTData.html#ad3175d9c02d8a9f6ad1752ccf3e468cb">SVF::MutablePTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 </li>
 <li>AddrStmt()
-: <a class="el" href="classSVF_1_1AddrStmt.html#a0fa28f3a081cd6d32801ab245b6e95ae">SVF::AddrStmt</a>
+: <a class="el" href="classSVF_1_1AddrStmt.html#a2576465276cd68b6d2029e1838c3b487">SVF::AddrStmt</a>
 </li>
 <li>AddrVFGNode()
 : <a class="el" href="classSVF_1_1AddrVFGNode.html#ae83e51310f51cfb9cd7e2bb2002d758a">SVF::AddrVFGNode</a>
@@ -885,7 +888,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>
@@ -1028,10 +1031,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#a6ade5bf3edc7b6c3faafc3e5ff3d0538">SVF::SVFIR</a>
+: <a class="el" href="classSVF_1_1SVFIR.html#a078c01295f47bf12f1a2b8abfab8b28d">SVF::SVFIR</a>
 </li>
 <li>addVariantGepCGEdge()
 : <a class="el" href="classSVF_1_1ConstraintGraph.html#a6902cabb252b1eaadb3c8220b4581a2f">SVF::ConstraintGraph</a>
@@ -1064,14 +1067,11 @@ $(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_1AEAPI.html#a680ff8e8913aafa7bea9ceea4a262a72">SVF::AEAPI</a>
+: <a class="el" href="classSVF_1_1AEAPI.html#aef0e9a5ff5633dc6fb96bab35484df2a">SVF::AEAPI</a>
 </li>
 <li>AEStat()
-: <a class="el" href="classSVF_1_1AEStat.html#a447ba17fd7010ba730288fa8b0253821">SVF::AEStat</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>
@@ -1114,7 +1114,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>
@@ -1221,7 +1221,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#a41bf9092cbdfccb9724bd58e10aa51a6">SVF::AssignStmt</a>
+: <a class="el" href="classSVF_1_1AssignStmt.html#abc65520cc2b9608c97374829eb475c57">SVF::AssignStmt</a>
 </li>
 <li>atEnd()
 : <a class="el" href="classSVF_1_1CoreBitVector_1_1CoreBitVectorIterator.html#ad3af46dcfb0e2846587eb5a71f38161f">SVF::CoreBitVector::CoreBitVectorIterator</a>

package/SVF-doxygen/html/functions_func_c.html

@@ -254,14 +254,14 @@ $(function() {
 : <a class="el" href="classSVF_1_1CHNode.html#aa80276c1d5160a401232a310554fd934">SVF::CHNode</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#a0167fa7b59571c07b2cbec08905f6629">SVF::AndersenBase</a>
@@ -272,7 +272,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>
@@ -884,13 +884,13 @@ $(function() {
 : <a class="el" href="classSVF_1_1CopyStmt.html#a63b808e82e75562c53e4371cc3d7ed1e">SVF::CopyStmt</a>
 </li>
 <li>CopyVFGNode()
-: <a class="el" href="classSVF_1_1CopyVFGNode.html#aee4a402546b3df92412a5252c9608818">SVF::CopyVFGNode</a>
+: <a class="el" href="classSVF_1_1CopyVFGNode.html#a0f3f697a0053bf5847db95f526bec1e7">SVF::CopyVFGNode</a>
 </li>
 <li>CoreBitVector()
-: <a class="el" href="classSVF_1_1CoreBitVector.html#a93f42d767c99bdf788dc4df4881751c5">SVF::CoreBitVector</a>
+: <a class="el" href="classSVF_1_1CoreBitVector.html#a57b3db689583b652ab1426c04a66c4ae">SVF::CoreBitVector</a>
 </li>
 <li>CoreBitVectorIterator()
-: <a class="el" href="classSVF_1_1CoreBitVector_1_1CoreBitVectorIterator.html#ae209179f396c8b5b788ff6d2c437e5d6">SVF::CoreBitVector::CoreBitVectorIterator</a>
+: <a class="el" href="classSVF_1_1CoreBitVector_1_1CoreBitVectorIterator.html#a66b4a85853791c4e1537a4bdbc7a2f90">SVF::CoreBitVector::CoreBitVectorIterator</a>
 </li>
 <li>count()
 : <a class="el" href="classSVF_1_1CondStdSet.html#aa19e82905537f3ae41f64fce070ee555">SVF::CondStdSet&lt; Element &gt;</a>
@@ -1023,10 +1023,10 @@ $(function() {
 <li>csHasVtblsBasedonCHA()
 : <a class="el" href="classSVF_1_1CHGraph.html#acd4907aa926a4c7fdc3964700d721f79">SVF::CHGraph</a>
 , <a class="el" href="classSVF_1_1CommonCHGraph.html#aff7363feebc20267dad7230666b583b1">SVF::CommonCHGraph</a>
-, <a class="el" href="classSVF_1_1DCHGraph.html#a2fef8f7209f100c7a266cf3102b1219b">SVF::DCHGraph</a>
+, <a class="el" href="classSVF_1_1DCHGraph.html#afc7235305640be3d6dbae8199d5c8611">SVF::DCHGraph</a>
 </li>
 <li>CxtDPItem()
-: <a class="el" href="classSVF_1_1CxtDPItem.html#a1c2b14fd60bd4902bfc520c9ba08c6e8">SVF::CxtDPItem</a>
+: <a class="el" href="classSVF_1_1CxtDPItem.html#ab2adb60f776ed2cde73253ff367e14cf">SVF::CxtDPItem</a>
 </li>
 <li>CxtProc()
 : <a class="el" href="classSVF_1_1CxtProc.html#ac1ca3a049f6d0f8a0548a153cc903aa0">SVF::CxtProc</a>
@@ -1038,16 +1038,16 @@ $(function() {
 : <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>CxtThread()
-: <a class="el" href="classSVF_1_1CxtThread.html#ad05fb5464900d6d444c1fd3a6e0d9280">SVF::CxtThread</a>
+: <a class="el" href="classSVF_1_1CxtThread.html#ac6af46ba08bbad4454358298fd2557d3">SVF::CxtThread</a>
 </li>
 <li>CxtThreadProc()
 : <a class="el" href="classSVF_1_1CxtThreadProc.html#a1c7dd7740266a07d354df537a9167bcc">SVF::CxtThreadProc</a>
 </li>
 <li>CxtThreadStmt()
-: <a class="el" href="classSVF_1_1CxtThreadStmt.html#a5a4392f444e5fe64a1387c134935893d">SVF::CxtThreadStmt</a>
+: <a class="el" href="classSVF_1_1CxtThreadStmt.html#ab5487e3f330bb18685281c5effcecfbb">SVF::CxtThreadStmt</a>
 </li>
 <li>cxtToStr()
 : <a class="el" href="classSVF_1_1CxtProc.html#ac53f22f1e9547b15b8998d83290f4281">SVF::CxtProc</a>

package/SVF-doxygen/html/functions_func_d.html

@@ -158,7 +158,7 @@ $(function() {
 : <a class="el" href="structSVF_1_1GenericGraphTraits_3_01SVF_1_1GenericNode_3_01NodeTy_00_01EdgeTy_01_4_01_5_01_4.html#a543da98c9818fbfd235152beab355e9c">SVF::GenericGraphTraits&lt; SVF::GenericNode&lt; NodeTy, EdgeTy &gt; * &gt;</a>
 </li>
 <li>directCallFunPass()
-: <a class="el" href="classSVF_1_1AE.html#a73a42726f0c1af6d081b57bdbf143b0f">SVF::AE</a>
+: <a class="el" href="classSVF_1_1AbstractExecution.html#aff1c9582db75361b68aaaf0c4b8b6f0d">SVF::AbstractExecution</a>
 </li>
 <li>directCallsBegin()
 : <a class="el" href="classSVF_1_1PTACallGraphEdge.html#a750e50a9022451e406c4819979edffa5">SVF::PTACallGraphEdge</a>
@@ -167,23 +167,19 @@ $(function() {
 : <a class="el" href="classSVF_1_1PTACallGraphEdge.html#acc4fcacefdc9be9a214dfcc455fe7970">SVF::PTACallGraphEdge</a>
 </li>
 <li>directInEdgeBegin()
-: <a class="el" href="classSVF_1_1CFBasicBlockNode.html#accc815b1ebcf66eb596d17a2e7e75403">SVF::CFBasicBlockNode</a>
-, <a class="el" href="classSVF_1_1ConstraintNode.html#a66c58fc9e29b9e2c88cb7e3216415c9f">SVF::ConstraintNode</a>
+: <a class="el" href="classSVF_1_1ConstraintNode.html#a66c58fc9e29b9e2c88cb7e3216415c9f">SVF::ConstraintNode</a>
 , <a class="el" href="classSVF_1_1GenericNode.html#a4ab1f2e5db301e4a37215905a22e6476">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a>
 </li>
 <li>directInEdgeEnd()
-: <a class="el" href="classSVF_1_1CFBasicBlockNode.html#a29971b81bdf81bb079718ac15b387ead">SVF::CFBasicBlockNode</a>
-, <a class="el" href="classSVF_1_1ConstraintNode.html#aed4e0b2ede72717491747158c2e2702f">SVF::ConstraintNode</a>
+: <a class="el" href="classSVF_1_1ConstraintNode.html#aed4e0b2ede72717491747158c2e2702f">SVF::ConstraintNode</a>
 , <a class="el" href="classSVF_1_1GenericNode.html#a19599627ba095b5452373284deab7f6c">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a>
 </li>
 <li>directOutEdgeBegin()
-: <a class="el" href="classSVF_1_1CFBasicBlockNode.html#abea5a96ff067636ae8d3766329695055">SVF::CFBasicBlockNode</a>
-, <a class="el" href="classSVF_1_1ConstraintNode.html#a5be4bd33793fe159397c16a80a05b570">SVF::ConstraintNode</a>
+: <a class="el" href="classSVF_1_1ConstraintNode.html#a5be4bd33793fe159397c16a80a05b570">SVF::ConstraintNode</a>
 , <a class="el" href="classSVF_1_1GenericNode.html#aa0e258d3a92dae367f2809a6f16c80db">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a>
 </li>
 <li>directOutEdgeEnd()
-: <a class="el" href="classSVF_1_1CFBasicBlockNode.html#a77bac962599c92286edee26a1d430624">SVF::CFBasicBlockNode</a>
-, <a class="el" href="classSVF_1_1ConstraintNode.html#ae3465d3c949ec59e243b30ad0ecd256d">SVF::ConstraintNode</a>
+: <a class="el" href="classSVF_1_1ConstraintNode.html#ae3465d3c949ec59e243b30ad0ecd256d">SVF::ConstraintNode</a>
 , <a class="el" href="classSVF_1_1GenericNode.html#a5950d69d4ba6c2122dd06b93911e4992">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a>
 </li>
 <li>DirectSVFGEdge()
@@ -245,7 +241,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1DoubleFreeChecker.html#ac9d147b16442bb4746f66cffe46a070a">SVF::DoubleFreeChecker</a>
 </li>
 <li>DPItem()
-: <a class="el" href="classSVF_1_1DPItem.html#a715b7de4a392d8c389e611e27f8b9184">SVF::DPItem</a>
+: <a class="el" href="classSVF_1_1DPItem.html#ac5dbe11ebf512e6dccdfa1eceba04fe8">SVF::DPItem</a>
 </li>
 <li>DummyObjVar()
 : <a class="el" href="classSVF_1_1DummyObjVar.html#ae5e65493edff2eca47a901b15ee0dff7">SVF::DummyObjVar</a>
@@ -322,7 +318,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1DDAVFSolver.html#aa4dc73ea65f736282a413a9d286141e5">SVF::DDAVFSolver&lt; CVar, CPtSet, DPIm &gt;</a>
 </li>
 <li>dumpCxt()
-: <a class="el" href="classSVF_1_1MTAResultValidator.html#ae7d61becd14123f60976fd7261d0c84d">SVF::MTAResultValidator</a>
+: <a class="el" href="classSVF_1_1MTAResultValidator.html#a073f442fd9441d95731b7b7b92675ec7">SVF::MTAResultValidator</a>
 , <a class="el" href="classSVF_1_1TCT.html#aa86c4422e17cf00408444f18687d555b">SVF::TCT</a>
 </li>
 <li>dumpInterlev()

package/SVF-doxygen/html/functions_func_e.html

@@ -220,7 +220,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1ExtAPI.html#ab793be4b6f8f0a025599e76f5df2a4eb">SVF::ExtAPI</a>
 </li>
 <li>extCallPass()
-: <a class="el" href="classSVF_1_1AE.html#ace878a11d6eb7b65d6876f6d9a69b89e">SVF::AE</a>
+: <a class="el" href="classSVF_1_1AbstractExecution.html#acf4a6c3fe5a2239512acb791b9aba854">SVF::AbstractExecution</a>
 </li>
 <li>extendBackward()
 : <a class="el" href="classSVF_1_1CoreBitVector.html#ab6d789e3c68390a9026fd4f8c4cf344a">SVF::CoreBitVector</a>

package/SVF-doxygen/html/functions_func_g.html

@@ -1586,7 +1586,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1SymState.html#a2916e86763235f565f2a3276631d0d30">SVF::SymState</a>
 </li>
 <li>getKind()
-: <a class="el" href="classSVF_1_1AE.html#a07d335f05d024374a51f44ce1d2e1e66">SVF::AE</a>
+: <a class="el" href="classSVF_1_1AbstractExecution.html#a6c381287424a3623cfdae5a75d2a9c9b">SVF::AbstractExecution</a>
 , <a class="el" href="classSVF_1_1AEAPI.html#ab549486e45e0c775c75f0f8749797a1c">SVF::AEAPI</a>
 , <a class="el" href="classSVF_1_1CommonCHGraph.html#adf2a02fff9d7dd9fc9d92121e5e28f8b">SVF::CommonCHGraph</a>
 , <a class="el" href="classSVF_1_1PTACallGraph.html#ac6a294ec1c88862c8f7d54000f04e1f7">SVF::PTACallGraph</a>

package/SVF-doxygen/html/functions_func_h.html

@@ -78,7 +78,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1SVFIR.html#a2375f49c77f2285a6316e7540b051a0f">SVF::SVFIR</a>
 </li>
 <li>handleBlock()
-: <a class="el" href="classSVF_1_1AE.html#a35bf2f790c9f70de415f0e8ed0825f03">SVF::AE</a>
+: <a class="el" href="classSVF_1_1AbstractExecution.html#a4715ec6b1aefdfd600fda8324cde2a66">SVF::AbstractExecution</a>
 </li>
 <li>handleCall()
 : <a class="el" href="classSVF_1_1ForkJoinAnalysis.html#ab636777379aca0b53a06e4888d4b4c6b">SVF::ForkJoinAnalysis</a>
@@ -90,7 +90,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1TCT.html#aac0c4c3f1c7cb1d89ebd2a3da2d49bd3">SVF::TCT</a>
 </li>
 <li>handleCallSite()
-: <a class="el" href="classSVF_1_1AE.html#a2932ef96c91842775edfd41ca9f7877a">SVF::AE</a>
+: <a class="el" href="classSVF_1_1AbstractExecution.html#a6cbc336372afb947c783fb14c45426df">SVF::AbstractExecution</a>
 </li>
 <li>handleCallsiteModRef()
 : <a class="el" href="classSVF_1_1MRGenerator.html#acbf0be131b1fc5d0366157d300d1aa68">SVF::MRGenerator</a>
@@ -103,7 +103,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1AndersenSCD.html#aa0a496376f7bea2c417ef83c51d19a61">SVF::AndersenSCD</a>
 </li>
 <li>handleCycle()
-: <a class="el" href="classSVF_1_1AE.html#a36fa552f80d5b54c6a09b9a42173f049">SVF::AE</a>
+: <a class="el" href="classSVF_1_1AbstractExecution.html#af4579490ced0a02537850d62891cf5bc">SVF::AbstractExecution</a>
 </li>
 <li>handleDIBasicType()
 : <a class="el" href="classSVF_1_1DCHGraph.html#a86bf48776ccf53092f4cb742cf95f8eb">SVF::DCHGraph</a>
@@ -133,7 +133,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1MHP.html#a8a95f8ae419b66310ce6f572caea2ca5">SVF::MHP</a>
 </li>
 <li>handleFunc()
-: <a class="el" href="classSVF_1_1AE.html#a8954be38503e67915c4a53c45cc6d348">SVF::AE</a>
+: <a class="el" href="classSVF_1_1AbstractExecution.html#adb88a8be0bc1c1ac2d1546e9191c6f93">SVF::AbstractExecution</a>
 </li>
 <li>handleGlobalCE()
 : <a class="el" href="classSVF_1_1SymbolTableBuilder.html#a72732ec0392d9d5b900fc12177890779">SVF::SymbolTableBuilder</a>
@@ -142,10 +142,10 @@ $(function() {
 : <a class="el" href="classSVF_1_1SymbolTableBuilder.html#a1efd9406182eb86b1ee4829c931b566d">SVF::SymbolTableBuilder</a>
 </li>
 <li>handleGlobalNode()
-: <a class="el" href="classSVF_1_1AE.html#a32b4306ddf6c18c03bcd6f76ae08d110">SVF::AE</a>
+: <a class="el" href="classSVF_1_1AbstractExecution.html#a7efff2047b2b6017fdd210a8679817cd">SVF::AbstractExecution</a>
 </li>
 <li>handleICFGNode()
-: <a class="el" href="classSVF_1_1AE.html#aefab5dde7df823dc4038fe3f1918624d">SVF::AE</a>
+: <a class="el" href="classSVF_1_1AbstractExecution.html#a714fa1f4794008f630de415414cf8bfd">SVF::AbstractExecution</a>
 , <a class="el" href="classSVF_1_1BufOverflowChecker.html#a13b4beca209f7d306cf0a6065987a489">SVF::BufOverflowChecker</a>
 </li>
 <li>handleIndCall()
@@ -226,7 +226,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1AEAPI.html#a13abbe8b8622df63e7f160732bc1cbfc">SVF::AEAPI</a>
 </li>
 <li>handleSVFStatement()
-: <a class="el" href="classSVF_1_1AE.html#a0fdd00ba2e2c826043bb481e67fae397">SVF::AE</a>
+: <a class="el" href="classSVF_1_1AbstractExecution.html#a1d725fe50a7084bfa18bd47b941af885">SVF::AbstractExecution</a>
 , <a class="el" href="classSVF_1_1BufOverflowChecker.html#a0b79c3694a08100d2d8d1b8109998131">SVF::BufOverflowChecker</a>
 </li>
 <li>handleTypedef()
@@ -260,7 +260,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1VFG.html#a88f6468b9b43bbb06ef757d884580a50">SVF::VFG</a>
 </li>
 <li>hasBranchES()
-: <a class="el" href="classSVF_1_1AE.html#a00ac22eda723a826de3623da11f9c031">SVF::AE</a>
+: <a class="el" href="classSVF_1_1AbstractExecution.html#a28df4f2bd5b337468f254cd609adb25f">SVF::AbstractExecution</a>
 </li>
 <li>hasCallGraphEdge()
 : <a class="el" href="classSVF_1_1PTACallGraph.html#af8df9ca6d906453fa3f7168aa84fd087">SVF::PTACallGraph</a>
@@ -293,7 +293,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1MemSSA.html#abfb338ce36ad46a9654d50dd6e2b07f1">SVF::MemSSA</a>
 </li>
 <li>hasCmpBranchES()
-: <a class="el" href="classSVF_1_1AE.html#ab9b3f0404e789f51c20a8c4ec6b85e7d">SVF::AE</a>
+: <a class="el" href="classSVF_1_1AbstractExecution.html#ac7a25ad5cbc1a6132869ae54b805f73a">SVF::AbstractExecution</a>
 </li>
 <li>hasConstraintNode()
 : <a class="el" href="classSVF_1_1ConstraintGraph.html#aad6c37476edfd9ae92dc8c0d004d782d">SVF::ConstraintGraph</a>
@@ -413,7 +413,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1PTACallGraph.html#a71a63c53a093ea8e450fb53fd60c9424">SVF::PTACallGraph</a>
 </li>
 <li>hasInEdgesES()
-: <a class="el" href="classSVF_1_1AE.html#a7856903dc023d1b0f6b3d932e15debbb">SVF::AE</a>
+: <a class="el" href="classSVF_1_1AbstractExecution.html#ac73335ecb1efc6c50775a205c618201f">SVF::AbstractExecution</a>
 </li>
 <li>hasInterICFGEdge()
 : <a class="el" href="classSVF_1_1ICFG.html#a86535e50d1feba706b19491d905baef1">SVF::ICFG</a>
@@ -535,7 +535,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1SymbolTableInfo.html#af678e138df136d6f3cd53826dfa4486c">SVF::SymbolTableInfo</a>
 </li>
 <li>hasSwitchBranchES()
-: <a class="el" href="classSVF_1_1AE.html#a897c5a4f35abfc45f3038b27eefdce6a">SVF::AE</a>
+: <a class="el" href="classSVF_1_1AbstractExecution.html#adc740771e712644d08f95fc6c488c1af">SVF::AbstractExecution</a>
 </li>
 <li>hasTCTNode()
 : <a class="el" href="classSVF_1_1TCT.html#a5d5a753b4d2633e3aaf58859274ffe7a">SVF::TCT</a>

package/SVF-doxygen/html/functions_func_i.html

@@ -144,7 +144,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1CoreBitVector.html#ad73fca28bd4882eaa70817023a632d35">SVF::CoreBitVector</a>
 </li>
 <li>indirectCallFunPass()
-: <a class="el" href="classSVF_1_1AE.html#a0e37d1d2a135f330eaa028c79d2ed3c6">SVF::AE</a>
+: <a class="el" href="classSVF_1_1AbstractExecution.html#accf5896d39647e41e1408fa90935b650">SVF::AbstractExecution</a>
 </li>
 <li>indirectCallsBegin()
 : <a class="el" href="classSVF_1_1PTACallGraphEdge.html#afbdb582d20ab953b2de1f3efacb74679">SVF::PTACallGraphEdge</a>
@@ -220,7 +220,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1ConsExeState.html#a5a1da3b1c8cdc3b3e07fe20124f6eeea">SVF::ConsExeState</a>
 </li>
 <li>initExtAPI()
-: <a class="el" href="classSVF_1_1AE.html#ae9a622c55a3d6527687583c99719aa84">SVF::AE</a>
+: <a class="el" href="classSVF_1_1AbstractExecution.html#a4bf7be47ddc0ba53ec4a5e87f300763f">SVF::AbstractExecution</a>
 , <a class="el" href="classSVF_1_1BufOverflowChecker.html#a4787d2e56aa374763656b7942f0ed52f">SVF::BufOverflowChecker</a>
 </li>
 <li>initExtAPIBufOverflowCheckRules()
@@ -702,7 +702,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1SVFGOPT.html#a0e78edc04f5e8bfcca7a3f04f7568665">SVF::SVFGOPT</a>
 </li>
 <li>isDirectCall()
-: <a class="el" href="classSVF_1_1AE.html#a884793b7229359f3bb7489a0f6b361fb">SVF::AE</a>
+: <a class="el" href="classSVF_1_1AbstractExecution.html#aec702d92bbba9e847a9b3eada060a2c5">SVF::AbstractExecution</a>
 </li>
 <li>isDirectCallEdge()
 : <a class="el" href="classSVF_1_1PTACallGraphEdge.html#a8c46ccaa41f6792ca4a31a56548a554a">SVF::PTACallGraphEdge</a>
@@ -727,7 +727,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1SaberCondAllocator.html#aa9027574586fd4fbb12039f595ecec71">SVF::SaberCondAllocator</a>
 </li>
 <li>isExtCall()
-: <a class="el" href="classSVF_1_1AE.html#af610521d67e43cffaa0b199aa066b745">SVF::AE</a>
+: <a class="el" href="classSVF_1_1AbstractExecution.html#a319fe24ebb925f70fde574d5b17c3b98">SVF::AbstractExecution</a>
 </li>
 <li>isFClose()
 : <a class="el" href="classSVF_1_1SaberCheckerAPI.html#a534bfe077af19b111c1b7bc3c5a065e6">SVF::SaberCheckerAPI</a>
@@ -777,7 +777,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1PhiStmt.html#a8e55ddef627096c78bb2c8b6f9c77140">SVF::PhiStmt</a>
 </li>
 <li>isFunEntry()
-: <a class="el" href="classSVF_1_1AE.html#ae380d4545744b0aea40829c233c5688f">SVF::AE</a>
+: <a class="el" href="classSVF_1_1AbstractExecution.html#ab807fd4f914cd35a07fe19bb0d7f9860">SVF::AbstractExecution</a>
 </li>
 <li>isFunEntrySVFGNode()
 : <a class="el" href="classSVF_1_1SVFG.html#ae2cff3c963136f474fac0a66aa8cff7b">SVF::SVFG</a>
@@ -789,7 +789,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1SVFIR.html#a9235a60e7332c8416e113e7360441d97">SVF::SVFIR</a>
 </li>
 <li>isGlobalEntry()
-: <a class="el" href="classSVF_1_1AE.html#a6f53ff515b4eeb3536285e17ecc5de7d">SVF::AE</a>
+: <a class="el" href="classSVF_1_1AbstractExecution.html#ac8af7bb8a5442ffd885249cecc5c0f02">SVF::AbstractExecution</a>
 </li>
 <li>isGlobalObj()
 : <a class="el" href="classSVF_1_1MemObj.html#a40462512a99eb258d8cd442c38d812b4">SVF::MemObj</a>
@@ -849,7 +849,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1TCTNode.html#a42dde4c3714cc5605f7c0e76cfd4a74c">SVF::TCTNode</a>
 </li>
 <li>isIndirectCall()
-: <a class="el" href="classSVF_1_1AE.html#abdc29b2fbf93859ff673c2804bee1476">SVF::AE</a>
+: <a class="el" href="classSVF_1_1AbstractExecution.html#ad1baaa8eaad68b215f63941776e79ccf">SVF::AbstractExecution</a>
 , <a class="el" href="classSVF_1_1CallICFGNode.html#aa11226a2e4fa6a7b1d78006cc8ca0518">SVF::CallICFGNode</a>
 </li>
 <li>isIndirectCallEdge()
@@ -1089,7 +1089,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1MHP.html#a0356a8ccc53999549fb369f67faad306">SVF::MHP</a>
 </li>
 <li>isRecursiveCall()
-: <a class="el" href="classSVF_1_1AE.html#a217f0101ab2bd9f408873c7cf5195033">SVF::AE</a>
+: <a class="el" href="classSVF_1_1AbstractExecution.html#a6b92cdb6c5d3ae425955864536f2cba7">SVF::AbstractExecution</a>
 </li>
 <li>isRetCFGEdge()
 : <a class="el" href="classSVF_1_1ICFGEdge.html#ae3e7a6596de9fd3a25a28242a06ddd80">SVF::ICFGEdge</a>

package/SVF-doxygen/html/functions_func_m.html

@@ -95,7 +95,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1LockAnalysis.html#a375cb175ec0068bacaa64cf40a49d485">SVF::LockAnalysis</a>
 </li>
 <li>markRecursiveFuns()
-: <a class="el" href="classSVF_1_1AE.html#a287d0d18395dd36aaf35219bf1e22abc">SVF::AE</a>
+: <a class="el" href="classSVF_1_1AbstractExecution.html#ae641b5687513661a2542e8318430d760">SVF::AbstractExecution</a>
 </li>
 <li>markRelProcs()
 : <a class="el" href="classSVF_1_1TCT.html#a0938016193057ff47dbd6b8308e804c5">SVF::TCT</a>

package/SVF-doxygen/html/functions_func_n.html

@@ -74,7 +74,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1SVFIR2ItvExeState.html#a103b55536f1cec38edb2f169d3f94675">SVF::SVFIR2ItvExeState</a>
 </li>
 <li>narrowFixpointPass()
-: <a class="el" href="classSVF_1_1AE.html#ac313b4c6b28e956732e8c5fca14e5a49">SVF::AE</a>
+: <a class="el" href="classSVF_1_1AbstractExecution.html#a331ce1725ac1441f5624a2211021f967">SVF::AbstractExecution</a>
 </li>
 <li>narrowing()
 : <a class="el" href="classSVF_1_1IntervalESBase.html#a3f8da19a79bfdc37c38e659a94371aba">SVF::IntervalESBase</a>

package/SVF-doxygen/html/functions_func_r.html

@@ -121,7 +121,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1MTASVFGBuilder.html#a97179139a6395a7062d3200c23d4b69d">SVF::MTASVFGBuilder</a>
 </li>
 <li>recursiveCallPass()
-: <a class="el" href="classSVF_1_1AE.html#a1c714f4639a9c6f1834337314d79f3e2">SVF::AE</a>
+: <a class="el" href="classSVF_1_1AbstractExecution.html#aa220cdcd1653998d684ec14fe729932d">SVF::AbstractExecution</a>
 </li>
 <li>ReferenceProxy()
 : <a class="el" href="classSVF_1_1iter__facade__base_1_1ReferenceProxy.html#aabce5b9a8700ecf1415a92ce45b384a2">SVF::iter_facade_base&lt; DerivedT, IteratorCategoryT, T, DifferenceTypeT, PointerT, ReferenceT &gt;::ReferenceProxy</a>
@@ -471,7 +471,7 @@ $(function() {
 : <a class="el" href="classSymblicAbstractionTest.html#abaa1ae92b79979cfabee1a2b8a284f80">SymblicAbstractionTest</a>
 </li>
 <li>runOnModule()
-: <a class="el" href="classSVF_1_1AE.html#ab404cbecd02b801e4cd660dd3c7e712d">SVF::AE</a>
+: <a class="el" href="classSVF_1_1AbstractExecution.html#a7a9a6b46b24d044316f609f71344e2bb">SVF::AbstractExecution</a>
 , <a class="el" href="classSVF_1_1BreakConstantGEPs.html#ae99ceb7923161d54e7d0a687f4f68e1a">SVF::BreakConstantGEPs</a>
 , <a class="el" href="classSVF_1_1DDAPass.html#aca46f1d464f5766ae666661a164a51a9">SVF::DDAPass</a>
 , <a class="el" href="classSVF_1_1DoubleFreeChecker.html#a6ae08976bd1a82f4370ff373b898f49e">SVF::DoubleFreeChecker</a>

package/SVF-doxygen/html/functions_func_s.html

@@ -609,10 +609,10 @@ $(function() {
 : <a class="el" href="classSVF_1_1SVFModuleWriter.html#a0e12ffecb37a42d766522dc65da481e6">SVF::SVFModuleWriter</a>
 </li>
 <li>SkipRecursiveCall()
-: <a class="el" href="classSVF_1_1AE.html#acd1953cfb43aede834b12f9121137a82">SVF::AE</a>
+: <a class="el" href="classSVF_1_1AbstractExecution.html#a97c5745ddcd0ce72e65dee09ff7afb42">SVF::AbstractExecution</a>
 </li>
 <li>SkipRecursiveFunc()
-: <a class="el" href="classSVF_1_1AE.html#a679dccaead0b6e03d30143f9bf60efb0">SVF::AE</a>
+: <a class="el" href="classSVF_1_1AbstractExecution.html#a7e1c3edfa546182ad394116b37b834f9">SVF::AbstractExecution</a>
 </li>
 <li>sliceState()
 : <a class="el" href="classSVF_1_1IntervalESBase.html#a2c15de9b10a74fbcb171ff2f328ce7f2">SVF::IntervalESBase</a>

package/SVF-doxygen/html/functions_func_w.html

@@ -77,7 +77,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1SVFIR2ItvExeState.html#a198fd724be35f415851a2467c3930f76">SVF::SVFIR2ItvExeState</a>
 </li>
 <li>widenFixpointPass()
-: <a class="el" href="classSVF_1_1AE.html#a807888659d9db03d97b2a10916390fcc">SVF::AE</a>
+: <a class="el" href="classSVF_1_1AbstractExecution.html#aa964763a5e9e99276707bd6678d1f37f">SVF::AbstractExecution</a>
 </li>
 <li>widening()
 : <a class="el" href="classSVF_1_1IntervalESBase.html#a9a167f67476d2e080cc6e31d127ee715">SVF::IntervalESBase</a>

package/SVF-doxygen/html/functions_func_~.html

@@ -64,6 +64,9 @@ $(function() {
  
 
 <h3><a id="index__7E"></a>- ~ -</h3><ul>
+<li>~AbstractExecution()
+: <a class="el" href="classSVF_1_1AbstractExecution.html#a6771ac262e5fdbac0006b293cde47398">SVF::AbstractExecution</a>
+</li>
 <li>~AbstractValue()
 : <a class="el" href="classSVF_1_1AbstractValue.html#ab6901c81e0a0153120de25876b44e3c4">SVF::AbstractValue</a>
 </li>
@@ -73,9 +76,6 @@ $(function() {
 <li>~AddressValue()
 : <a class="el" href="classSVF_1_1AddressValue.html#a02c3b3a09780abe8fdaadf190c2b569e">SVF::AddressValue</a>
 </li>
-<li>~AE()
-: <a class="el" href="classSVF_1_1AE.html#a874c32d2be14eaaac5cd302342f7cf0a">SVF::AE</a>
-</li>
 <li>~AEAPI()
 : <a class="el" href="classSVF_1_1AEAPI.html#a1b878ba64873caf341984d788d7b4d2a">SVF::AEAPI</a>
 </li>

package/SVF-doxygen/html/functions_g.html

@@ -1657,7 +1657,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1SymState.html#a2916e86763235f565f2a3276631d0d30">SVF::SymState</a>
 </li>
 <li>getKind()
-: <a class="el" href="classSVF_1_1AE.html#a07d335f05d024374a51f44ce1d2e1e66">SVF::AE</a>
+: <a class="el" href="classSVF_1_1AbstractExecution.html#a6c381287424a3623cfdae5a75d2a9c9b">SVF::AbstractExecution</a>
 , <a class="el" href="classSVF_1_1AEAPI.html#ab549486e45e0c775c75f0f8749797a1c">SVF::AEAPI</a>
 , <a class="el" href="classSVF_1_1CommonCHGraph.html#adf2a02fff9d7dd9fc9d92121e5e28f8b">SVF::CommonCHGraph</a>
 , <a class="el" href="classSVF_1_1PTACallGraph.html#ac6a294ec1c88862c8f7d54000f04e1f7">SVF::PTACallGraph</a>