svf-tools 1.0.875 → 1.0.877

package/SVF-doxygen/html/functions_h.html

@@ -81,7 +81,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>
@@ -93,7 +93,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>
@@ -106,7 +106,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>
@@ -136,7 +136,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>
@@ -145,10 +145,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()
@@ -229,7 +229,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()
@@ -267,7 +267,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>
@@ -300,7 +300,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>
@@ -420,7 +420,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>
@@ -542,7 +542,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_i.html

@@ -334,7 +334,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1SaberCondAllocator.html#a5335280b02e1fab5a0404ba902eb0937">SVF::SaberCondAllocator</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>IndirectCallLimit
 : <a class="el" href="classSVF_1_1Options.html#aa5bae1db07c401517c1c0f8fd9f2deef">SVF::Options</a>
@@ -439,7 +439,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()
@@ -1099,7 +1099,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>
@@ -1128,7 +1128,7 @@ $(function() {
 , <a class="el" href="classOptionMap.html#a9efba3b88013aa1745f47ab42d71c726">OptionMap&lt; T &gt;</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#a970676d884d66da9fce00fe5b60c96ba">SVF::SaberCheckerAPI</a>
@@ -1178,7 +1178,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>
@@ -1190,7 +1190,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>
@@ -1250,7 +1250,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()
@@ -1502,7 +1502,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_m.html

@@ -110,7 +110,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1Options.html#abcb6796d45722562546f33b2745a0418">SVF::Options</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#a8bb7ffa8dd185c52e6c150f9bc995511">SVF::TCT</a>

package/SVF-doxygen/html/functions_n.html

@@ -80,7 +80,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_p.html

@@ -888,12 +888,12 @@ $(function() {
 <li>PTACGNodeSet
 : <a class="el" href="classSVF_1_1TCT.html#afb579a5bdcc0a1c6b075bb9aae36c237">SVF::TCT</a>
 </li>
-<li>PTAImplTy
-: <a class="el" href="classSVF_1_1PointerAnalysis.html#ac0c0855918cb2cdc3d8ebc175acfbd4d">SVF::PointerAnalysis</a>
-</li>
 <li>ptaImplTy
 : <a class="el" href="classSVF_1_1PointerAnalysis.html#a5d3c3094e263bf16a4f312a118c1bd36">SVF::PointerAnalysis</a>
 </li>
+<li>PTAImplTy
+: <a class="el" href="classSVF_1_1PointerAnalysis.html#ac0c0855918cb2cdc3d8ebc175acfbd4d">SVF::PointerAnalysis</a>
+</li>
 <li>PTAName()
 : <a class="el" href="classSVF_1_1Andersen.html#ad92dbecc91170b235180e59ba307acda">SVF::Andersen</a>
 , <a class="el" href="classSVF_1_1ContextDDA.html#afb0ab7fc43e6f0331072419e39ae0606">SVF::ContextDDA</a>
@@ -983,12 +983,12 @@ $(function() {
 : <a class="el" href="classSVF_1_1ReaderPtrPool.html#a705d5d5fe6ebfb94157453b3403aaaaa">SVF::ReaderPtrPool&lt; T &gt;</a>
 , <a class="el" href="classSVF_1_1WriterPtrPool.html#a7a3246f7158330ed49088205610e042f">SVF::WriterPtrPool&lt; T &gt;</a>
 </li>
-<li>PtrToBVPtsMap
-: <a class="el" href="classSVF_1_1CondPTAImpl.html#aba828ca8e2aa2bd71b78be8b45a48c9b">SVF::CondPTAImpl&lt; Cond &gt;</a>
-</li>
 <li>ptrToBVPtsMap
 : <a class="el" href="classSVF_1_1CondPTAImpl.html#a30b9ee7b1dcd04285f92cf7accd05b2e">SVF::CondPTAImpl&lt; Cond &gt;</a>
 </li>
+<li>PtrToBVPtsMap
+: <a class="el" href="classSVF_1_1CondPTAImpl.html#aba828ca8e2aa2bd71b78be8b45a48c9b">SVF::CondPTAImpl&lt; Cond &gt;</a>
+</li>
 <li>PtrToCPtsMap
 : <a class="el" href="classSVF_1_1CondPTAImpl.html#a5043e9d9255d31777d038c48c809bb09">SVF::CondPTAImpl&lt; Cond &gt;</a>
 </li>
@@ -1070,7 +1070,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1ForkJoinAnalysis.html#a028734f4520172aa5abed48628b44dc3">SVF::ForkJoinAnalysis</a>
 , <a class="el" href="classSVF_1_1LockAnalysis.html#ac5993b55304d38e077d19c4ac2d680f0">SVF::LockAnalysis</a>
 , <a class="el" href="classSVF_1_1MHP.html#a68a2ad4480af7d40bd604d81afbc3d0b">SVF::MHP</a>
-, <a class="el" href="classSVF_1_1TCT.html#aa98a5b427a92eca1e043efcdf7945169">SVF::TCT</a>
+, <a class="el" href="classSVF_1_1TCT.html#a625cd9d7ca85c0581af13e9e0c16960e">SVF::TCT</a>
 </li>
 <li>pushIntoWorklist()
 : <a class="el" href="classSVF_1_1CFLSolver.html#aa6123d73f71b9148d7aafb2ec58bbb34">SVF::CFLSolver</a>

package/SVF-doxygen/html/functions_r.html

@@ -122,7 +122,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1Options.html#ae1776c9fb7d163153443b1ff2a7350a8">SVF::Options</a>
 </li>
 <li>readJson()
-: <a class="el" href="classSVF_1_1SVFIRReader.html#abdb701b360803217f31baa66ca42d147">SVF::SVFIRReader</a>
+: <a class="el" href="classSVF_1_1SVFIRReader.html#af379c833b8e0c16ed7b41a76bb8e51d6">SVF::SVFIRReader</a>
 </li>
 <li>readPrecision()
 : <a class="el" href="classSVF_1_1MTASVFGBuilder.html#a5532751632ece036b3d6741908573b36">SVF::MTASVFGBuilder</a>
@@ -175,7 +175,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>redundantGepNodes
 : <a class="el" href="classSVF_1_1AndersenBase.html#a6c3d6b4c004d9e43690c3807502eed74">SVF::AndersenBase</a>
@@ -585,7 +585,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1RetCFGEdge.html#ad4bbb9881dff7b715c7a70b92baf376c">SVF::RetCFGEdge</a>
 </li>
 <li>RetPE()
-: <a class="el" href="classSVF_1_1RetPE.html#a80129364e04411956caf75077bdbd89a">SVF::RetPE</a>
+: <a class="el" href="classSVF_1_1RetPE.html#aa6378c78b2cc253ab036d54aaca11f85">SVF::RetPE</a>
 </li>
 <li>retPEBegin()
 : <a class="el" href="classSVF_1_1FormalRetVFGNode.html#ad81c6e6579293352ecb59345538b2132">SVF::FormalRetVFGNode</a>
@@ -628,14 +628,12 @@ $(function() {
 <li>reverseNodeMapping
 : <a class="el" href="classSVF_1_1PointsTo.html#a1ae4abe690d21eb5aaf2154243b604c1">SVF::PointsTo</a>
 </li>
-<li>RevPtsMap
-: <a class="el" href="classSVF_1_1MutablePTData.html#a6d491581d17876625d0265cd26acd8e1">SVF::MutablePTData&lt; Key, KeySet, Data, DataSet &gt;</a>
-</li>
 <li>revPtsMap
 : <a class="el" href="classSVF_1_1MutablePTData.html#ad8c9fc1b290372ed9c68e54687724b64">SVF::MutablePTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 </li>
 <li>RevPtsMap
-: <a class="el" href="classSVF_1_1PersistentDiffPTData.html#ac008ee5f7e4d286f9e76d85989358305">SVF::PersistentDiffPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
+: <a class="el" href="classSVF_1_1MutablePTData.html#a6d491581d17876625d0265cd26acd8e1">SVF::MutablePTData&lt; Key, KeySet, Data, DataSet &gt;</a>
+, <a class="el" href="classSVF_1_1PersistentDiffPTData.html#ac008ee5f7e4d286f9e76d85989358305">SVF::PersistentDiffPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 , <a class="el" href="classSVF_1_1PersistentPTData.html#aad89172e6e99d5ee576faa7bc74b36d8">SVF::PersistentPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 </li>
 <li>revPtsMap
@@ -679,7 +677,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1MTAResultValidator.html#ab386260dd6bbaeacde10e5c81f07502c">SVF::MTAResultValidator</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_rela.html

@@ -68,10 +68,10 @@ $(function() {
 : <a class="el" href="classSVF_1_1NumericLiteral.html#a6ed0bfe0bbecc1a403434aa70744691c">SVF::NumericLiteral</a>
 </li>
 <li>AEAPI
-: <a class="el" href="classSVF_1_1AE.html#ac0bcb586dffbfadeb33f501cafbaa1c9">SVF::AE</a>
+: <a class="el" href="classSVF_1_1AbstractExecution.html#ac0bcb586dffbfadeb33f501cafbaa1c9">SVF::AbstractExecution</a>
 </li>
 <li>AEStat
-: <a class="el" href="classSVF_1_1AE.html#adc6fd1004f4277cb4d6c8bb0dacf3208">SVF::AE</a>
+: <a class="el" href="classSVF_1_1AbstractExecution.html#adc6fd1004f4277cb4d6c8bb0dacf3208">SVF::AbstractExecution</a>
 </li>
 <li>ashr
 : <a class="el" href="classSVF_1_1BoundedZ3Expr.html#a9d53b6b9f55f308ef2c661d2a8ecb41d">SVF::BoundedZ3Expr</a>

package/SVF-doxygen/html/functions_s.html

@@ -727,10 +727,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>
@@ -1026,12 +1026,12 @@ $(function() {
 <li>StoreVFGNode()
 : <a class="el" href="classSVF_1_1StoreVFGNode.html#ab4b9182cb0f2ef7dfc1e15789a311ecd">SVF::StoreVFGNode</a>
 </li>
-<li>strategy
-: <a class="el" href="classSVF_1_1NodeIDAllocator.html#a44420802f9db288515ee09771c3edd4d">SVF::NodeIDAllocator</a>
-</li>
 <li>Strategy
 : <a class="el" href="classSVF_1_1NodeIDAllocator.html#a8cf553cd07768aad3f3b91bf3d7c6228">SVF::NodeIDAllocator</a>
 </li>
+<li>strategy
+: <a class="el" href="classSVF_1_1NodeIDAllocator.html#a44420802f9db288515ee09771c3edd4d">SVF::NodeIDAllocator</a>
+</li>
 <li>STRCAT
 : <a class="el" href="classSVF_1_1AEAPI.html#a29ab312d273e6c9c32a40d61861afb04ab8167323edeff68403cf4ceb7e8133d9">SVF::AEAPI</a>
 </li>
@@ -1560,11 +1560,13 @@ $(function() {
 , <a class="el" href="classSVF_1_1LLVMModuleSet.html#a43832e93a42ae43d44b0cc160981678f">SVF::LLVMModuleSet</a>
 , <a class="el" href="classSVF_1_1SVFIR.html#a8bfa675eed3c60a21134faa8e0b9e6b9">SVF::SVFIR</a>
 , <a class="el" href="classSVF_1_1SVFIRBuilder.html#a6ca1b9d5bb267806f8aaae5a94ed36cc">SVF::SVFIRBuilder</a>
-, <a class="el" href="classSVF_1_1SVFModule.html#ad81c63b60d030828262ea375917cc189">SVF::SVFModule</a>
 </li>
 <li>SVFModule()
 : <a class="el" href="classSVF_1_1SVFModule.html#a0438953758cecab4ebe1b48895639eb8">SVF::SVFModule</a>
 </li>
+<li>svfModule
+: <a class="el" href="classSVF_1_1SVFModule.html#ad81c63b60d030828262ea375917cc189">SVF::SVFModule</a>
+</li>
 <li>svfModuleFieldJson
 : <a class="el" href="classSVF_1_1SVFModuleReader.html#a5258ef11a30116a8c7cdd366faa6568c">SVF::SVFModuleReader</a>
 </li>
@@ -1655,7 +1657,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860e">SVF::SVFValue</a>
 </li>
 <li>SVFValue()
-: <a class="el" href="classSVF_1_1SVFValue.html#a5860aa7cc16de3c221f06742d0d832dd">SVF::SVFValue</a>
+: <a class="el" href="classSVF_1_1SVFValue.html#af38497e11745949a8a1eeead143efd58">SVF::SVFValue</a>
 </li>
 <li>SVFValue2LLVMValue
 : <a class="el" href="classSVF_1_1LLVMModuleSet.html#a7f8e61cf5d838d7a2e862bc6955f16be">SVF::LLVMModuleSet</a>
@@ -1687,7 +1689,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1CFLGraphBuilder.html#a2ab271d42ab82aea2adf8b0e641aa39c">SVF::CFLGraphBuilder</a>
 , <a class="el" href="classSVF_1_1CFLSolver.html#a6c5e6474c6dfe0a067d397ea66c24dac">SVF::CFLSolver</a>
 , <a class="el" href="classSVF_1_1GrammarBase.html#a760208fb9737e766deb79d593ab86a3c">SVF::GrammarBase</a>
-, <a class="el" href="structSVF_1_1GrammarBase_1_1Symbol.html#ad8268060892644d15b13f84124bc1eaf">SVF::GrammarBase::Symbol</a>
+, <a class="el" href="structSVF_1_1GrammarBase_1_1Symbol.html#aa37072e1a6c0875305260c7c2414d767">SVF::GrammarBase::Symbol</a>
 </li>
 <li>SymbolInfo()
 : <a class="el" href="classSVF_1_1SymbolTableInfo.html#a267169023fc4f8dd66b145f7231fec11">SVF::SymbolTableInfo</a>

package/SVF-doxygen/html/functions_t.html

@@ -181,18 +181,18 @@ $(function() {
 , <a class="el" href="classSVF_1_1ThreadAPI.html#a2faebd2e481362b11ccce4256f81c32d">SVF::ThreadAPI</a>
 , <a class="el" href="classSVF_1_1ThreadCallGraph.html#af1146c3d8e8b8885a1c48701e5b5a27f">SVF::ThreadCallGraph</a>
 </li>
-<li>TDAPIMap
-: <a class="el" href="classSVF_1_1SaberCheckerAPI.html#a7acbb76087b863393e0214c77bb934b2">SVF::SaberCheckerAPI</a>
-</li>
 <li>tdAPIMap
 : <a class="el" href="classSVF_1_1SaberCheckerAPI.html#a62471599cba4bde20d2696a91fa064ec">SVF::SaberCheckerAPI</a>
 </li>
 <li>TDAPIMap
-: <a class="el" href="classSVF_1_1ThreadAPI.html#abad7c113fd56c30537444ae4bdff2144">SVF::ThreadAPI</a>
+: <a class="el" href="classSVF_1_1SaberCheckerAPI.html#a7acbb76087b863393e0214c77bb934b2">SVF::SaberCheckerAPI</a>
 </li>
 <li>tdAPIMap
 : <a class="el" href="classSVF_1_1ThreadAPI.html#a4277abaae24b43d83470054c247f479c">SVF::ThreadAPI</a>
 </li>
+<li>TDAPIMap
+: <a class="el" href="classSVF_1_1ThreadAPI.html#abad7c113fd56c30537444ae4bdff2144">SVF::ThreadAPI</a>
+</li>
 <li>TDDead
 : <a class="el" href="classSVF_1_1ForkJoinAnalysis.html#a8d40e687caf8999369621ed385dfc631ad5af2a561c196e33d88fc63363d0d8f4">SVF::ForkJoinAnalysis</a>
 </li>
@@ -779,12 +779,12 @@ $(function() {
 <li>typeinfo
 : <a class="el" href="classSVF_1_1SVFType.html#a86ea48a882823de2e3e906220dc0111e">SVF::SVFType</a>
 </li>
-<li>typeLocSetsMap
-: <a class="el" href="classSVF_1_1SVFIR.html#a63ede1d8d381b91f81b93965dcffa288">SVF::SVFIR</a>
-</li>
 <li>TypeLocSetsMap
 : <a class="el" href="classSVF_1_1SVFIR.html#ad74ca54e6d62d4410038ef900ea8f150">SVF::SVFIR</a>
 </li>
+<li>typeLocSetsMap
+: <a class="el" href="classSVF_1_1SVFIR.html#a63ede1d8d381b91f81b93965dcffa288">SVF::SVFIR</a>
+</li>
 <li>TypeMap
 : <a class="el" href="classSVF_1_1POCRSolver.html#ac4d92529d21db89c547e20e886060b0f">SVF::POCRSolver</a>
 </li>

package/SVF-doxygen/html/functions_type_c.html

@@ -87,7 +87,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1PTACallGraphNode.html#a9cc3b4b46aaf45fd6d08a4995957646c">SVF::PTACallGraphNode</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>
 , <a class="el" href="classSVF_1_1PointerAnalysis.html#ac4ad73782f42f90ad7ac9c66edb27c69">SVF::PointerAnalysis</a>
 </li>

package/SVF-doxygen/html/functions_v.html

@@ -227,13 +227,11 @@ $(function() {
 </li>
 <li>varToAddrs()
 : <a class="el" href="classSVF_1_1ConsExeState.html#aa3f16fb06541184e49ef4f4ea95d894c">SVF::ConsExeState</a>
+, <a class="el" href="classSVF_1_1ExeState.html#aa01e978f41f4134257b380994e3b8409">SVF::ExeState</a>
 </li>
 <li>VarToAddrs
 : <a class="el" href="classSVF_1_1ExeState.html#a09f34aca79479221305769cae307feef">SVF::ExeState</a>
 </li>
-<li>varToAddrs()
-: <a class="el" href="classSVF_1_1ExeState.html#aa01e978f41f4134257b380994e3b8409">SVF::ExeState</a>
-</li>
 <li>VarToPropNodeMap
 : <a class="el" href="classSVF_1_1VersionedFlowSensitive.html#a9ee5add09f2b446c6c6bcb84da0f75b3">SVF::VersionedFlowSensitive</a>
 </li>

package/SVF-doxygen/html/functions_vars.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_w.html

@@ -83,7 +83,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1Options.html#ab25f7ec430ba1d41597fc409b758b193">SVF::Options</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_~.html

@@ -64,6 +64,9 @@ $(function() {
 <div class="textblock">Here is a list of all class members with links to the classes they belong to:</div>
 
 <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>