svf-tools 1.0.905 → 1.0.907

package/SVF-doxygen/html/functions_p.html

@@ -175,12 +175,12 @@ $(function() {
 <li>PAGPrint
 : <a class="el" href="classSVF_1_1Options.html#a7c6053f2341a500a8caca61607303b6e">SVF::Options</a>
 </li>
-<li>pagReadFromTXT()
-: <a class="el" href="classSVF_1_1SVFModule.html#a1357c876eccedd58b3abe68875b3a570">SVF::SVFModule</a>
-</li>
 <li>pagReadFromTxt
 : <a class="el" href="classSVF_1_1SVFModule.html#a2547331e2c32b077d5876e609cb7f48f">SVF::SVFModule</a>
 </li>
+<li>pagReadFromTXT()
+: <a class="el" href="classSVF_1_1SVFModule.html#a1357c876eccedd58b3abe68875b3a570">SVF::SVFModule</a>
+</li>
 <li>pairheadmap
 : <a class="el" href="classSVF_1_1MTASVFGBuilder.html#af65f6553c6a7184401e249d777cd520e">SVF::MTASVFGBuilder</a>
 </li>
@@ -269,9 +269,6 @@ $(function() {
 <li>PCG()
 : <a class="el" href="classSVF_1_1PCG.html#a482925e80c66f258e0fb863ee6948081">SVF::PCG</a>
 </li>
-<li>pcToString()
-: <a class="el" href="classSVF_1_1ConsExeState.html#a3905e71e489f8caf29e378364ea6e593">SVF::ConsExeState</a>
-</li>
 <li>pdtBBsMap
 : <a class="el" href="classSVF_1_1SVFLoopAndDomInfo.html#a522e9d29a83ebd76ec208b76b8fd6cc0">SVF::SVFLoopAndDomInfo</a>
 </li>
@@ -398,12 +395,12 @@ $(function() {
 <li>Phi
 : <a class="el" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a6b3cd98eeb47c8475e7ee64480dcdee9">SVF::SVFStmt</a>
 </li>
-<li>phiNodeMap
-: <a class="el" href="classSVF_1_1SVFIR.html#a41abf665421dbfaef508b1eba0c91fb9">SVF::SVFIR</a>
-</li>
 <li>PHINodeMap
 : <a class="el" href="classSVF_1_1SVFIR.html#a08a05dfa6b9734936bb92b3969dbce3b">SVF::SVFIR</a>
 </li>
+<li>phiNodeMap
+: <a class="el" href="classSVF_1_1SVFIR.html#a41abf665421dbfaef508b1eba0c91fb9">SVF::SVFIR</a>
+</li>
 <li>PHISet
 : <a class="el" href="classSVF_1_1MemSSA.html#a8a5d3597f3dba9744e170cc8c32bf25f">SVF::MemSSA</a>
 , <a class="el" href="classSVF_1_1SVFG.html#aef7ee9d802934d51b3761663bdaf0c05">SVF::SVFG</a>
@@ -629,11 +626,9 @@ $(function() {
 : <a class="el" href="classSVF_1_1Options.html#aab85f2c2ceb235b1291301f33154d182">SVF::Options</a>
 </li>
 <li>printExprValues()
-: <a class="el" href="classSVF_1_1ConsExeState.html#aa9892fc61571c173598cd73598c589fa">SVF::ConsExeState</a>
-, <a class="el" href="classSVF_1_1ExeState.html#a06245a3061b7a52488d593b9faeddbe0">SVF::ExeState</a>
-, <a class="el" href="classSVF_1_1IntervalESBase.html#a4c0ede557a333bfea3f5d4a9a4dc8a9e">SVF::IntervalESBase</a>
-, <a class="el" href="classSVF_1_1IntervalExeState.html#aa6adb9becbc2541198708823e3e35c9d">SVF::IntervalExeState</a>
+: <a class="el" href="classSVF_1_1AbstractState.html#a00c811d7ef05476b7699c66a10eb4944">SVF::AbstractState</a>
 , <a class="el" href="classSVF_1_1RelExeState.html#a3537b1534a643af880ad6e474e00dc7b">SVF::RelExeState</a>
+, <a class="el" href="classSVF_1_1SparseAbstractState.html#acf7c9f1f3e4344d03d34686806f522f4">SVF::SparseAbstractState</a>
 </li>
 <li>PrintFieldWithBasePrefix
 : <a class="el" href="classSVF_1_1Options.html#a404f9785ed3e592e0c36d91cd6730655">SVF::Options</a>
@@ -648,7 +643,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1GraphPrinter.html#adfa13bfbe85566fa5917280c5d2444da">SVF::GraphPrinter</a>
 </li>
 <li>printIndCSTargets()
-: <a class="el" href="classSVF_1_1PointerAnalysis.html#a84edebc59e29f2cc1b89a699b8641f30">SVF::PointerAnalysis</a>
+: <a class="el" href="classSVF_1_1PointerAnalysis.html#a062f1f2d6d47694caa9ac64a9e68c7b3">SVF::PointerAnalysis</a>
 </li>
 <li>printInterleaving()
 : <a class="el" href="classSVF_1_1MHP.html#a22f7dc5043fed97f1b4b273b8b710415">SVF::MHP</a>
@@ -695,7 +690,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1PersistentPointsToCache.html#a7d101df4e73b8fbf9ec0df25190417b5">SVF::PersistentPointsToCache&lt; Data &gt;</a>
 </li>
 <li>printTable()
-: <a class="el" href="classSVF_1_1IntervalESBase.html#a14e210bd24b2104afb36ad50a0899c09">SVF::IntervalESBase</a>
+: <a class="el" href="classSVF_1_1AbstractState.html#a61a9a3873426ad522d0b4c16eb2ac67b">SVF::AbstractState</a>
 </li>
 <li>printTDFuns()
 : <a class="el" href="classSVF_1_1PCG.html#af8af0a2a2159261bf05abe226c43006e">SVF::PCG</a>
@@ -889,12 +884,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>
@@ -906,19 +901,21 @@ $(function() {
 <li>PTAStat()
 : <a class="el" href="classSVF_1_1PTAStat.html#ac9b65b591200c16c420fbd26710b448f">SVF::PTAStat</a>
 </li>
-<li>PTATY
-: <a class="el" href="classSVF_1_1PointerAnalysis.html#a0b182ac680cce0547dbe7714c870ca85">SVF::PointerAnalysis</a>
-</li>
 <li>ptaTy
 : <a class="el" href="classSVF_1_1PointerAnalysis.html#ade83738ac754d5ffc2a3b497b600cad4">SVF::PointerAnalysis</a>
 </li>
+<li>PTATY
+: <a class="el" href="classSVF_1_1PointerAnalysis.html#a0b182ac680cce0547dbe7714c870ca85">SVF::PointerAnalysis</a>
+</li>
 <li>PTAVector
 : <a class="el" href="classSVF_1_1DDAPass.html#acc7ad5d3266cb3e24fba0b4db186348a">SVF::DDAPass</a>
-, <a class="el" href="classSVF_1_1WPAPass.html#ad4e3d480ebcc6bbbb7bcc8dc3df8663e">SVF::WPAPass</a>
 </li>
 <li>ptaVector
 : <a class="el" href="classSVF_1_1WPAPass.html#a72a66ae158793f5d1bcb37b655db4446">SVF::WPAPass</a>
 </li>
+<li>PTAVector
+: <a class="el" href="classSVF_1_1WPAPass.html#ad4e3d480ebcc6bbbb7bcc8dc3df8663e">SVF::WPAPass</a>
+</li>
 <li>PTBackingType
 : <a class="el" href="classSVF_1_1BVDataPTAImpl.html#ad76328a8543b02784992afc2d5501d8a">SVF::BVDataPTAImpl</a>
 </li>
@@ -984,18 +981,18 @@ $(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#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>ptrToBVPtsMap
+: <a class="el" href="classSVF_1_1CondPTAImpl.html#a30b9ee7b1dcd04285f92cf7accd05b2e">SVF::CondPTAImpl&lt; Cond &gt;</a>
 </li>
 <li>ptrToCPtsMap
 : <a class="el" href="classSVF_1_1CondPTAImpl.html#a61167fcdb2005090de1b38e53450431a">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>
 <li>ptrToId
 : <a class="el" href="classSVF_1_1WriterPtrPool.html#a9ad8e70372f0a86cb5027588a008abfe">SVF::WriterPtrPool&lt; T &gt;</a>
 </li>
@@ -1016,11 +1013,15 @@ $(function() {
 , <a class="el" href="classSVF_1_1FlowSensitiveStat.html#a1b605e86f33e79f7d7cd88dc54f2c19e">SVF::FlowSensitiveStat</a>
 , <a class="el" href="classSVF_1_1MutableDFPTData.html#ae7456fccd4c95227cdd7163176703205">SVF::MutableDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 , <a class="el" href="classSVF_1_1MutableDiffPTData.html#a5d64ef2d4b9ab65cc7a9e33bb6fe47cf">SVF::MutableDiffPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
-, <a class="el" href="classSVF_1_1MutablePTData.html#ad74cc6c81c4a95f6ba4e89352bccee3e">SVF::MutablePTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 </li>
 <li>ptsMap
 : <a class="el" href="classSVF_1_1MutablePTData.html#a5ee6e307acd4edbf4f7c2b063032d942">SVF::MutablePTData&lt; Key, KeySet, Data, DataSet &gt;</a>
-, <a class="el" href="classSVF_1_1PersistentPTData.html#a483c690c6cf19e258bdf7bb13e77976e">SVF::PersistentPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
+</li>
+<li>PtsMap
+: <a class="el" href="classSVF_1_1MutablePTData.html#ad74cc6c81c4a95f6ba4e89352bccee3e">SVF::MutablePTData&lt; Key, KeySet, Data, DataSet &gt;</a>
+</li>
+<li>ptsMap
+: <a class="el" href="classSVF_1_1PersistentPTData.html#a483c690c6cf19e258bdf7bb13e77976e">SVF::PersistentPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 </li>
 <li>PtsMapConstIter
 : <a class="el" href="classSVF_1_1MutableDFPTData.html#a3f234abc0def4815a03de164fa258f24">SVF::MutableDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
@@ -1070,7 +1071,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#a625cd9d7ca85c0581af13e9e0c16960e">SVF::TCT</a>
+, <a class="el" href="classSVF_1_1TCT.html#aa98a5b427a92eca1e043efcdf7945169">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

@@ -125,7 +125,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#af379c833b8e0c16ed7b41a76bb8e51d6">SVF::SVFIRReader</a>
+: <a class="el" href="classSVF_1_1SVFIRReader.html#a83838ee6098cf3b0893b8325cfc3ffdd">SVF::SVFIRReader</a>
 </li>
 <li>readPrecision()
 : <a class="el" href="classSVF_1_1MTASVFGBuilder.html#a5532751632ece036b3d6741908573b36">SVF::MTASVFGBuilder</a>
@@ -178,7 +178,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1MTASVFGBuilder.html#a97179139a6395a7062d3200c23d4b69d">SVF::MTASVFGBuilder</a>
 </li>
 <li>recursiveCallPass()
-: <a class="el" href="classSVF_1_1AbstractExecution.html#aa220cdcd1653998d684ec14fe729932d">SVF::AbstractExecution</a>
+: <a class="el" href="classSVF_1_1AbstractInterpretation.html#a0e36af6b826b9eacf183aebd0b8c5f1f">SVF::AbstractInterpretation</a>
 </li>
 <li>redundantGepNodes
 : <a class="el" href="classSVF_1_1AndersenBase.html#a6c3d6b4c004d9e43690c3807502eed74">SVF::AndersenBase</a>
@@ -210,9 +210,9 @@ $(function() {
 : <a class="el" href="classSVF_1_1NodeIDAllocator_1_1Clusterer.html#a7d34542f34a8e8008119c3d61943daa2">SVF::NodeIDAllocator::Clusterer</a>
 </li>
 <li>RelationSolver
-: <a class="el" href="classSVF_1_1IntervalESBase.html#a44841fb4ad23542383ea77bf1ffda65f">SVF::IntervalESBase</a>
-, <a class="el" href="classSVF_1_1IntervalExeState.html#a44841fb4ad23542383ea77bf1ffda65f">SVF::IntervalExeState</a>
+: <a class="el" href="classSVF_1_1AbstractState.html#a44841fb4ad23542383ea77bf1ffda65f">SVF::AbstractState</a>
 , <a class="el" href="classSVF_1_1RelationSolver.html#aaee624b8260da9ba0de027d80b01d984">SVF::RelationSolver</a>
+, <a class="el" href="classSVF_1_1SparseAbstractState.html#a44841fb4ad23542383ea77bf1ffda65f">SVF::SparseAbstractState</a>
 </li>
 <li>RELATIONTYPE
 : <a class="el" href="classSVF_1_1CHGraph.html#a2a1da7f262a2f11653fb583154a93a22">SVF::CHGraph</a>
@@ -577,7 +577,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#a0af89e939e91a980a083f931b209aea0">SVF::RetPE</a>
+: <a class="el" href="classSVF_1_1RetPE.html#a80129364e04411956caf75077bdbd89a">SVF::RetPE</a>
 </li>
 <li>retPEBegin()
 : <a class="el" href="classSVF_1_1FormalRetVFGNode.html#ad81c6e6579293352ecb59345538b2132">SVF::FormalRetVFGNode</a>
@@ -620,21 +620,17 @@ $(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
 : <a class="el" href="classSVF_1_1PersistentPTData.html#a7b43ad5045ebdaa86f2587ea3f2f9563">SVF::PersistentPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 </li>
-<li>RevPtsMap
-: <a class="el" href="classSVF_1_1PersistentPTData.html#aad89172e6e99d5ee576faa7bc74b36d8">SVF::PersistentPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
-</li>
 <li>rid
 : <a class="el" href="classSVF_1_1MemRegion.html#aeb8ba1e0c907aeb3de84d8bd899c98b4">SVF::MemRegion</a>
 </li>
@@ -655,10 +651,10 @@ $(function() {
 : <a class="el" href="classSVF_1_1ProgSlice.html#ada13c2389d43973ff7db18b7fca90087">SVF::ProgSlice</a>
 </li>
 <li>RSY()
-: <a class="el" href="classSVF_1_1RelationSolver.html#a657af041f883e7b1a3f9892453a2c4cf">SVF::RelationSolver</a>
+: <a class="el" href="classSVF_1_1RelationSolver.html#a0bc76a5f96dab54e1c9678312579d51a">SVF::RelationSolver</a>
 </li>
 <li>RSY_time()
-: <a class="el" href="classSymblicAbstractionTest.html#abaa1ae92b79979cfabee1a2b8a284f80">SymblicAbstractionTest</a>
+: <a class="el" href="classSymblicAbstractionTest.html#a96a651463812ee4cdb597926ba3dc1cf">SymblicAbstractionTest</a>
 </li>
 <li>rthdToChildren
 : <a class="el" href="classSVF_1_1MTAResultValidator.html#a542f2f41c90698270687fc7858a26555">SVF::MTAResultValidator</a>
@@ -673,7 +669,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1MTAResultValidator.html#ab386260dd6bbaeacde10e5c81f07502c">SVF::MTAResultValidator</a>
 </li>
 <li>runOnModule()
-: <a class="el" href="classSVF_1_1AbstractExecution.html#ac848658bb3069193b1c7b08199b3d4c7">SVF::AbstractExecution</a>
+: <a class="el" href="classSVF_1_1AbstractInterpretation.html#a971a676fb15da74d37de14725bab40b0">SVF::AbstractInterpretation</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,14 +68,13 @@ $(function() {
 : <a class="el" href="classSVF_1_1NumericLiteral.html#a6ed0bfe0bbecc1a403434aa70744691c">SVF::NumericLiteral</a>
 </li>
 <li>AEAPI
-: <a class="el" href="classSVF_1_1AbstractExecution.html#ac0bcb586dffbfadeb33f501cafbaa1c9">SVF::AbstractExecution</a>
+: <a class="el" href="classSVF_1_1AbstractInterpretation.html#ac0bcb586dffbfadeb33f501cafbaa1c9">SVF::AbstractInterpretation</a>
 </li>
 <li>AEStat
-: <a class="el" href="classSVF_1_1AbstractExecution.html#adc6fd1004f4277cb4d6c8bb0dacf3208">SVF::AbstractExecution</a>
+: <a class="el" href="classSVF_1_1AbstractInterpretation.html#adc6fd1004f4277cb4d6c8bb0dacf3208">SVF::AbstractInterpretation</a>
 </li>
 <li>ashr
 : <a class="el" href="classSVF_1_1BoundedZ3Expr.html#a9d53b6b9f55f308ef2c661d2a8ecb41d">SVF::BoundedZ3Expr</a>
-, <a class="el" href="classSVF_1_1SingleAbsValue.html#a48568c2eb6d4b6088b7e1fd976730259">SVF::SingleAbsValue</a>
 , <a class="el" href="classSVF_1_1Z3Expr.html#a5c3347a21592e43e36d421ea5cae6bc9">SVF::Z3Expr</a>
 </li>
 </ul>

package/SVF-doxygen/html/functions_rela_b.html

@@ -66,7 +66,6 @@ $(function() {
 <h3><a id="index_b"></a>- b -</h3><ul>
 <li>bv2int
 : <a class="el" href="classSVF_1_1BoundedZ3Expr.html#a5ee6157debdd7b34108d7375c8b6bef1">SVF::BoundedZ3Expr</a>
-, <a class="el" href="classSVF_1_1SingleAbsValue.html#a9e6498ae2ea330a9eb10bbc2030014b7">SVF::SingleAbsValue</a>
 , <a class="el" href="classSVF_1_1Z3Expr.html#a349068a6c6c45f42ee3fedb0a487c06a">SVF::Z3Expr</a>
 </li>
 <li>BVDataPTAImpl

package/SVF-doxygen/html/functions_rela_e.html

@@ -67,7 +67,6 @@ $(function() {
 <li>eq
 : <a class="el" href="classSVF_1_1BoundedZ3Expr.html#a28383f3eb45a8525f3aaf41969752b0d">SVF::BoundedZ3Expr</a>
 , <a class="el" href="classSVF_1_1NumericLiteral.html#ab3e76e79e2113319688aad96db30b5ed">SVF::NumericLiteral</a>
-, <a class="el" href="classSVF_1_1SingleAbsValue.html#a3e67fddad6aaec53320da2f8fb8d0f6b">SVF::SingleAbsValue</a>
 , <a class="el" href="classSVF_1_1Z3Expr.html#ac50b99fca5e04e9c0d134e6371797402">SVF::Z3Expr</a>
 </li>
 <li>ExternalPAG

package/SVF-doxygen/html/functions_rela_i.html

@@ -72,7 +72,6 @@ $(function() {
 </li>
 <li>int2bv
 : <a class="el" href="classSVF_1_1BoundedZ3Expr.html#a002c3eb0160f7f4f4821d4e964b43b1a">SVF::BoundedZ3Expr</a>
-, <a class="el" href="classSVF_1_1SingleAbsValue.html#a85b292d471c58f37360e0d03b3e4744f">SVF::SingleAbsValue</a>
 , <a class="el" href="classSVF_1_1Z3Expr.html#acd9b5e77162c26753085386661b40517">SVF::Z3Expr</a>
 </li>
 <li>IRGraph
@@ -81,7 +80,6 @@ $(function() {
 <li>ite
 : <a class="el" href="classSVF_1_1BoundedZ3Expr.html#a68a7ca754cc6653b6576d57da7aeb5f1">SVF::BoundedZ3Expr</a>
 , <a class="el" href="classSVF_1_1NumericLiteral.html#af3544c0025b1796bce75891cf9c4e28a">SVF::NumericLiteral</a>
-, <a class="el" href="classSVF_1_1SingleAbsValue.html#a47aea8b38603cc7cd1dee9eac7e28d4e">SVF::SingleAbsValue</a>
 , <a class="el" href="classSVF_1_1Z3Expr.html#a93492128e2c619ef9e5b15a7d022bc45">SVF::Z3Expr</a>
 </li>
 </ul>

package/SVF-doxygen/html/functions_rela_l.html

@@ -75,7 +75,6 @@ $(function() {
 </li>
 <li>lshr
 : <a class="el" href="classSVF_1_1BoundedZ3Expr.html#adc4486fb78e2efbd67be311903917117">SVF::BoundedZ3Expr</a>
-, <a class="el" href="classSVF_1_1SingleAbsValue.html#afd0286acbccb8b7630ca2e086ea303b2">SVF::SingleAbsValue</a>
 </li>
 </ul>
 </div><!-- contents -->

package/SVF-doxygen/html/functions_rela_o.html

@@ -67,63 +67,53 @@ $(function() {
 <li>operator!
 : <a class="el" href="classSVF_1_1BoundedZ3Expr.html#a6b8aac161a98a48003abb778414bd293">SVF::BoundedZ3Expr</a>
 , <a class="el" href="classSVF_1_1NumericLiteral.html#ad68b36d4cf69e4f627226a738d5d8a29">SVF::NumericLiteral</a>
-, <a class="el" href="classSVF_1_1SingleAbsValue.html#ac1943aa4e51a3a748df209785eb42e22">SVF::SingleAbsValue</a>
 , <a class="el" href="classSVF_1_1Z3Expr.html#ac2b4e7b63f15e6780d25107b61f208ca">SVF::Z3Expr</a>
 </li>
 <li>operator!=
 : <a class="el" href="classSVF_1_1BoundedZ3Expr.html#a578526517c1c2e642e1e8e16959006ff">SVF::BoundedZ3Expr</a>
 , <a class="el" href="classSVF_1_1NumericLiteral.html#ad0b83965d54dd9a94b0ec0a87ef8aa83">SVF::NumericLiteral</a>
-, <a class="el" href="classSVF_1_1SingleAbsValue.html#a7fa4b919dfe1ae877298aea3b25f2b45">SVF::SingleAbsValue</a>
 , <a class="el" href="classSVF_1_1Z3Expr.html#a180b9776e8388839bf321be33b8c0cb3">SVF::Z3Expr</a>
 </li>
 <li>operator%
 : <a class="el" href="classSVF_1_1BoundedZ3Expr.html#a5a2ed0a2efbf142be0c61f31e5abaece">SVF::BoundedZ3Expr</a>
 , <a class="el" href="classSVF_1_1NumericLiteral.html#a82340a506f381d4dad620cfd524aeb39">SVF::NumericLiteral</a>
-, <a class="el" href="classSVF_1_1SingleAbsValue.html#a2c21237267a01d1621e51d1a5ece28ee">SVF::SingleAbsValue</a>
 , <a class="el" href="classSVF_1_1Z3Expr.html#a2abad89a9cfb36d8b782a099931501ad">SVF::Z3Expr</a>
 </li>
 <li>operator&amp;
 : <a class="el" href="classSVF_1_1BoundedZ3Expr.html#ab71c961185c859a25940a6ef4335905c">SVF::BoundedZ3Expr</a>
 , <a class="el" href="classSVF_1_1NumericLiteral.html#a7139e461f2ac323b7e275f40dfd684da">SVF::NumericLiteral</a>
-, <a class="el" href="classSVF_1_1SingleAbsValue.html#a99f9503d4daab12b3c4817b237c0a0fb">SVF::SingleAbsValue</a>
 , <a class="el" href="classSVF_1_1Z3Expr.html#a65530f951359b30eab4794508d061e9c">SVF::Z3Expr</a>
 </li>
 <li>operator&amp;&amp;
 : <a class="el" href="classSVF_1_1BoundedZ3Expr.html#a4a36f2c5a084341a176cb81b2dec8280">SVF::BoundedZ3Expr</a>
 , <a class="el" href="classSVF_1_1NumericLiteral.html#af57d038fab712a70aab7a6984ec2ba67">SVF::NumericLiteral</a>
-, <a class="el" href="classSVF_1_1SingleAbsValue.html#a2e6442d5f27a3a9f42d90315f3365577">SVF::SingleAbsValue</a>
 , <a class="el" href="classSVF_1_1Z3Expr.html#ad9520b22c40c629150d6e3e1a3cc4950">SVF::Z3Expr</a>
 </li>
 <li>operator*
 : <a class="el" href="classSVF_1_1BoundedZ3Expr.html#a35c2b00e17dc8cf8d2f0371bf4b54f4c">SVF::BoundedZ3Expr</a>
 , <a class="el" href="classSVF_1_1NumericLiteral.html#acd6b5117399b0572133d3d94dc064acf">SVF::NumericLiteral</a>
-, <a class="el" href="classSVF_1_1SingleAbsValue.html#a37ed586cebb42c8c11f48dd28f33894b">SVF::SingleAbsValue</a>
 , <a class="el" href="classSVF_1_1Z3Expr.html#a6732f9ac81422756d10b5fdd6ffaab3e">SVF::Z3Expr</a>
 </li>
 <li>operator+
 : <a class="el" href="classSVF_1_1BoundedZ3Expr.html#af55de92eb3ca95f812bc3964622319aa">SVF::BoundedZ3Expr</a>
 , <a class="el" href="classSVF_1_1iter__facade__base.html#a56831a09ff0a972cfb02376aaab2caab">SVF::iter_facade_base&lt; DerivedT, IteratorCategoryT, T, DifferenceTypeT, PointerT, ReferenceT &gt;</a>
 , <a class="el" href="classSVF_1_1NumericLiteral.html#a1a06b5b2e22ba2265d57b6f0c9ed9d84">SVF::NumericLiteral</a>
-, <a class="el" href="classSVF_1_1SingleAbsValue.html#aadd133298bbe7c823ad90d0288a73f44">SVF::SingleAbsValue</a>
 , <a class="el" href="classSVF_1_1Z3Expr.html#af86e0c01602b78f64933b06e43a48e06">SVF::Z3Expr</a>
 </li>
 <li>operator-
 : <a class="el" href="classSVF_1_1BoundedZ3Expr.html#a7f80f976d048c166b61118a71f307c15">SVF::BoundedZ3Expr</a>
 , <a class="el" href="classSVF_1_1NumericLiteral.html#aecb4c8bd2c66a906a4b4556c80838d1d">SVF::NumericLiteral</a>
-, <a class="el" href="classSVF_1_1SingleAbsValue.html#af84760e6047ee76380c0d092d1e45fca">SVF::SingleAbsValue</a>
 , <a class="el" href="classSVF_1_1Z3Expr.html#aea407969f346ed1692cac584e9d8d265">SVF::Z3Expr</a>
 </li>
 <li>operator/
 : <a class="el" href="classSVF_1_1BoundedZ3Expr.html#afc5612cec82001939b3b14b0d0b18702">SVF::BoundedZ3Expr</a>
 , <a class="el" href="classSVF_1_1NumericLiteral.html#a7b25cbee3dc405cb9c3e16305f263407">SVF::NumericLiteral</a>
-, <a class="el" href="classSVF_1_1SingleAbsValue.html#ad13d4fe654afd7ab08d27111b0b732bb">SVF::SingleAbsValue</a>
 , <a class="el" href="classSVF_1_1Z3Expr.html#a978668e0c0cc3b1fd261e02b5d7d96d4">SVF::Z3Expr</a>
 </li>
 <li>operator&lt;
 : <a class="el" href="classSVF_1_1BoundedZ3Expr.html#aaf3f27863e2d7776798776e64d72af39">SVF::BoundedZ3Expr</a>
 , <a class="el" href="classSVF_1_1iter__adaptor__base.html#a0a4477a210b9d5ce260ca3790cfe9779">SVF::iter_adaptor_base&lt; DerivedT, WrappedIteratorT, IteratorCategoryT, T, DifferenceTypeT, PointerT, ReferenceT &gt;</a>
 , <a class="el" href="classSVF_1_1NumericLiteral.html#a8f4a1492bdce0c3d04c50c746279272d">SVF::NumericLiteral</a>
-, <a class="el" href="classSVF_1_1SingleAbsValue.html#ac380461334e98c6834ffecdad8c0d620">SVF::SingleAbsValue</a>
 , <a class="el" href="classSVF_1_1Z3Expr.html#a9bc83c762453afc4602b1fef8ea8725d">SVF::Z3Expr</a>
 </li>
 <li>operator&lt;&lt;
@@ -134,7 +124,6 @@ $(function() {
 , <a class="el" href="classSVF_1_1NumericLiteral.html#adfd0722351b93c3ab7ffd4147e278f7d">SVF::NumericLiteral</a>
 , <a class="el" href="classSVF_1_1PTACallGraphEdge.html#a28737afd36ff7c2c6062883b20a572e5">SVF::PTACallGraphEdge</a>
 , <a class="el" href="classSVF_1_1PTACallGraphNode.html#a340e93b40e7cbf6f0d23df399a9b9fff">SVF::PTACallGraphNode</a>
-, <a class="el" href="classSVF_1_1SingleAbsValue.html#a817749cc657573d527c177d42b2f4950">SVF::SingleAbsValue</a>
 , <a class="el" href="classSVF_1_1SVFStmt.html#a02c04239d33d2334f5835bff50994dba">SVF::SVFStmt</a>
 , <a class="el" href="classSVF_1_1SVFValue.html#ae37edaf15e8c1fab59c70c86ad29a509">SVF::SVFValue</a>
 , <a class="el" href="classSVF_1_1SVFVar.html#aeea492411a86c65bcce4a1ef956b3dbe">SVF::SVFVar</a>
@@ -148,26 +137,22 @@ $(function() {
 <li>operator&lt;=
 : <a class="el" href="classSVF_1_1BoundedZ3Expr.html#a97619cb4969f335ac2f234d969884467">SVF::BoundedZ3Expr</a>
 , <a class="el" href="classSVF_1_1NumericLiteral.html#af40973365cb681abc4cc63c4fb2a6d07">SVF::NumericLiteral</a>
-, <a class="el" href="classSVF_1_1SingleAbsValue.html#a999468e7e071876182afc0e8f7ed6fb5">SVF::SingleAbsValue</a>
 , <a class="el" href="classSVF_1_1Z3Expr.html#a979529cf9531d2331d02b5db4b27535f">SVF::Z3Expr</a>
 </li>
 <li>operator==
 : <a class="el" href="classSVF_1_1BoundedZ3Expr.html#a98662c8823a81602fb00cb2be74b578d">SVF::BoundedZ3Expr</a>
 , <a class="el" href="classSVF_1_1iter__adaptor__base.html#a0cfce21cb7aa24062dd921a9a5bace3a">SVF::iter_adaptor_base&lt; DerivedT, WrappedIteratorT, IteratorCategoryT, T, DifferenceTypeT, PointerT, ReferenceT &gt;</a>
 , <a class="el" href="classSVF_1_1NumericLiteral.html#a1ed3cffe1d4ee076b8683f40806619ed">SVF::NumericLiteral</a>
-, <a class="el" href="classSVF_1_1SingleAbsValue.html#a3f5221ce5f81dbed135b3d4745d4493e">SVF::SingleAbsValue</a>
 , <a class="el" href="classSVF_1_1Z3Expr.html#a900309288fa5d43376d80e414f85dc45">SVF::Z3Expr</a>
 </li>
 <li>operator&gt;
 : <a class="el" href="classSVF_1_1BoundedZ3Expr.html#a86c18d9a2d9250690d7e988f7bb0a8b9">SVF::BoundedZ3Expr</a>
 , <a class="el" href="classSVF_1_1NumericLiteral.html#ad99ed283f2b7875f13aea347fa2c8b54">SVF::NumericLiteral</a>
-, <a class="el" href="classSVF_1_1SingleAbsValue.html#affc856ad42b2ebd5ee0adc28542d25e4">SVF::SingleAbsValue</a>
 , <a class="el" href="classSVF_1_1Z3Expr.html#a20cbf950bacc51e56c74918af268ed76">SVF::Z3Expr</a>
 </li>
 <li>operator&gt;=
 : <a class="el" href="classSVF_1_1BoundedZ3Expr.html#ac284f14cea9ceff9ee9e49cf7a2b6366">SVF::BoundedZ3Expr</a>
 , <a class="el" href="classSVF_1_1NumericLiteral.html#ab0cb27a9c31ce20500babb0dff9b87bf">SVF::NumericLiteral</a>
-, <a class="el" href="classSVF_1_1SingleAbsValue.html#ab6dbdbac2c0552901d621c86603ced2a">SVF::SingleAbsValue</a>
 , <a class="el" href="classSVF_1_1Z3Expr.html#a707735e67c852191e4e2a689a1a84858">SVF::Z3Expr</a>
 </li>
 <li>operator&gt;&gt;
@@ -176,19 +161,16 @@ $(function() {
 <li>operator^
 : <a class="el" href="classSVF_1_1BoundedZ3Expr.html#a2442520c94777a402b1d35c112964071">SVF::BoundedZ3Expr</a>
 , <a class="el" href="classSVF_1_1NumericLiteral.html#aa4b036114c2980f578c359fff6f4e604">SVF::NumericLiteral</a>
-, <a class="el" href="classSVF_1_1SingleAbsValue.html#adff66a9b6bb69424cef4894f7b75d958">SVF::SingleAbsValue</a>
 , <a class="el" href="classSVF_1_1Z3Expr.html#ae6419d6772044a2db7faf0ea0b848d12">SVF::Z3Expr</a>
 </li>
 <li>operator|
 : <a class="el" href="classSVF_1_1BoundedZ3Expr.html#aa8bc79a4735a44f6f59085df3a9d636c">SVF::BoundedZ3Expr</a>
 , <a class="el" href="classSVF_1_1NumericLiteral.html#a24e0085eb116dfcf0744af5531dbaf05">SVF::NumericLiteral</a>
-, <a class="el" href="classSVF_1_1SingleAbsValue.html#a9e181a02c4bd3f622bde912914b64715">SVF::SingleAbsValue</a>
 , <a class="el" href="classSVF_1_1Z3Expr.html#a1f29d0ff58e6969e394f5b06017138de">SVF::Z3Expr</a>
 </li>
 <li>operator||
 : <a class="el" href="classSVF_1_1BoundedZ3Expr.html#a660b38aa9458137fad4dde4224f6ab63">SVF::BoundedZ3Expr</a>
 , <a class="el" href="classSVF_1_1NumericLiteral.html#ab5decc89d3b8a4f5a171b8a01a1afef8">SVF::NumericLiteral</a>
-, <a class="el" href="classSVF_1_1SingleAbsValue.html#a11daa7e49c0a3b813e6f362c518ba8b0">SVF::SingleAbsValue</a>
 , <a class="el" href="classSVF_1_1Z3Expr.html#a31327900a231526ff8f62be87c5f309d">SVF::Z3Expr</a>
 </li>
 </ul>

package/SVF-doxygen/html/functions_rela_r.html

@@ -68,8 +68,8 @@ $(function() {
 : <a class="el" href="classSVF_1_1SVFG.html#a67654d252e9e93b74e35ba247048b41a">SVF::SVFG</a>
 </li>
 <li>RelationSolver
-: <a class="el" href="classSVF_1_1IntervalESBase.html#a44841fb4ad23542383ea77bf1ffda65f">SVF::IntervalESBase</a>
-, <a class="el" href="classSVF_1_1IntervalExeState.html#a44841fb4ad23542383ea77bf1ffda65f">SVF::IntervalExeState</a>
+: <a class="el" href="classSVF_1_1AbstractState.html#a44841fb4ad23542383ea77bf1ffda65f">SVF::AbstractState</a>
+, <a class="el" href="classSVF_1_1SparseAbstractState.html#a44841fb4ad23542383ea77bf1ffda65f">SVF::SparseAbstractState</a>
 </li>
 </ul>
 </div><!-- contents -->

package/SVF-doxygen/html/functions_rela_s.html

@@ -69,7 +69,6 @@ $(function() {
 </li>
 <li>shl
 : <a class="el" href="classSVF_1_1BoundedZ3Expr.html#a416f47980daf109467f3b2dddd50e047">SVF::BoundedZ3Expr</a>
-, <a class="el" href="classSVF_1_1SingleAbsValue.html#a42eed004077d61a0c062e1752844d0a6">SVF::SingleAbsValue</a>
 , <a class="el" href="classSVF_1_1Z3Expr.html#a7b6e7cd3b0b8681a4f4885e658632dce">SVF::Z3Expr</a>
 </li>
 <li>SVFFunction
@@ -81,14 +80,10 @@ $(function() {
 <li>SVFIR
 : <a class="el" href="classSVF_1_1SVFVar.html#a6dbb40e8ee92033b77440c44acd8a868">SVF::SVFVar</a>
 </li>
-<li>SVFIR2ConsExeState
-: <a class="el" href="classSVF_1_1ConsExeState.html#a67e2d14fede9218351f5edaff5981f4d">SVF::ConsExeState</a>
-</li>
-<li>SVFIR2ItvExeState
-: <a class="el" href="classSVF_1_1ExeState.html#af1ac478aba3f3858d5f6f4b15a9f73a6">SVF::ExeState</a>
-, <a class="el" href="classSVF_1_1IntervalESBase.html#af1ac478aba3f3858d5f6f4b15a9f73a6">SVF::IntervalESBase</a>
-, <a class="el" href="classSVF_1_1IntervalExeState.html#af1ac478aba3f3858d5f6f4b15a9f73a6">SVF::IntervalExeState</a>
-, <a class="el" href="classSVF_1_1RelExeState.html#af1ac478aba3f3858d5f6f4b15a9f73a6">SVF::RelExeState</a>
+<li>SVFIR2AbsState
+: <a class="el" href="classSVF_1_1AbstractState.html#a25fc4decbaf702ef771219564ec64c2a">SVF::AbstractState</a>
+, <a class="el" href="classSVF_1_1RelExeState.html#a25fc4decbaf702ef771219564ec64c2a">SVF::RelExeState</a>
+, <a class="el" href="classSVF_1_1SparseAbstractState.html#a25fc4decbaf702ef771219564ec64c2a">SVF::SparseAbstractState</a>
 </li>
 <li>SVFIRBuilder
 : <a class="el" href="classSVF_1_1LLVMModuleSet.html#a46fadea4d08baefc8fbc1d8928da7f6b">SVF::LLVMModuleSet</a>