svf-tools 1.0.905 → 1.0.907

package/SVF-doxygen/html/functions_i.html

@@ -341,7 +341,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1SaberCondAllocator.html#a5335280b02e1fab5a0404ba902eb0937">SVF::SaberCondAllocator</a>
 </li>
 <li>indirectCallFunPass()
-: <a class="el" href="classSVF_1_1AbstractExecution.html#accf5896d39647e41e1408fa90935b650">SVF::AbstractExecution</a>
+: <a class="el" href="classSVF_1_1AbstractInterpretation.html#a8a711cc127a422b4fa8e8fd781811c3f">SVF::AbstractInterpretation</a>
 </li>
 <li>IndirectCallLimit
 : <a class="el" href="classSVF_1_1Options.html#aa5bae1db07c401517c1c0f8fd9f2deef">SVF::Options</a>
@@ -436,14 +436,11 @@ $(function() {
 <li>initDomTree()
 : <a class="el" href="classSVF_1_1LLVMModuleSet.html#a8ba9092747108e0289014d52465a692d">SVF::LLVMModuleSet</a>
 </li>
-<li>initExeState()
-: <a class="el" href="classSVF_1_1ConsExeState.html#a5a1da3b1c8cdc3b3e07fe20124f6eeea">SVF::ConsExeState</a>
-</li>
 <li>initExtAPIBufOverflowCheckRules()
 : <a class="el" href="classSVF_1_1BufOverflowChecker.html#aed959fce840cbea32d3567ee1ac01e82">SVF::BufOverflowChecker</a>
 </li>
 <li>initExtFunMap()
-: <a class="el" href="classSVF_1_1AbstractExecution.html#a5715b1a5994715f19b17687b9e91d7c8">SVF::AbstractExecution</a>
+: <a class="el" href="classSVF_1_1AbstractInterpretation.html#ab18fe64117c1692d94ce0e0ee44e940b">SVF::AbstractInterpretation</a>
 , <a class="el" href="classSVF_1_1BufOverflowChecker.html#af0e2276001df7d51c45b22d5d11ca09b">SVF::BufOverflowChecker</a>
 </li>
 <li>initFromThreadAPI()
@@ -490,8 +487,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1SVFGOPT.html#ae825e01893d3304379f72380d314f09c">SVF::SVFGOPT</a>
 </li>
 <li>initObjVar()
-: <a class="el" href="classSVF_1_1SVFIR2ConsExeState.html#a4537a3df1217e01d024c3a24f7b5a2f0">SVF::SVFIR2ConsExeState</a>
-, <a class="el" href="classSVF_1_1SVFIR2ItvExeState.html#a646fa58f61db6abd98d0a04af1fab88d">SVF::SVFIR2ItvExeState</a>
+: <a class="el" href="classSVF_1_1SVFIR2AbsState.html#ae1490bd3f93a4fcbb2390a3f30539b8a">SVF::SVFIR2AbsState</a>
 </li>
 <li>initSnks()
 : <a class="el" href="classSVF_1_1LeakChecker.html#a36613a8c07cbc3d50a764c9f37162d6c">SVF::LeakChecker</a>
@@ -511,8 +507,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1LLVMModuleSet.html#ac6a5540354696f4c9170e0a5832ba70e">SVF::LLVMModuleSet</a>
 </li>
 <li>initSVFVar()
-: <a class="el" href="classSVF_1_1SVFIR2ConsExeState.html#a75ff754930798c901714d3b0f2c6e857">SVF::SVFIR2ConsExeState</a>
-, <a class="el" href="classSVF_1_1SVFIR2ItvExeState.html#af5d05c5316127cfe8d975a3a0a23798b">SVF::SVFIR2ItvExeState</a>
+: <a class="el" href="classSVF_1_1SVFIR2AbsState.html#aaecd2f39d5038009cb41b849fd8fe55f">SVF::SVFIR2AbsState</a>
 </li>
 <li>initTypeInfo()
 : <a class="el" href="classSVF_1_1SymbolTableBuilder.html#ae938564e6a36848cb848a5badc15a1de">SVF::SymbolTableBuilder</a>
@@ -522,27 +517,20 @@ $(function() {
 , <a class="el" href="classSVF_1_1WPASolver.html#a7195381c3aab04890139b4fe2c561909">SVF::WPASolver&lt; GraphType &gt;</a>
 </li>
 <li>inLocalLocToAddrsTable()
-: <a class="el" href="classSVF_1_1ConsExeState.html#af8f2b698dd97793b0124cd5a4ac4d035">SVF::ConsExeState</a>
-, <a class="el" href="classSVF_1_1IntervalExeState.html#ad675e973daeb7d366cf7e3cd3c0b13fb">SVF::IntervalExeState</a>
+: <a class="el" href="classSVF_1_1SparseAbstractState.html#a305f15a7f14ddd25fbd04af951ba51d5">SVF::SparseAbstractState</a>
 </li>
 <li>inLocalLocToValTable()
-: <a class="el" href="classSVF_1_1ConsExeState.html#a8da7bf977911ca6d3bd27f38ef852321">SVF::ConsExeState</a>
-, <a class="el" href="classSVF_1_1IntervalExeState.html#a6fdad70e3a0b39e146f0b93f24f055c6">SVF::IntervalExeState</a>
+: <a class="el" href="classSVF_1_1SparseAbstractState.html#a93745c889710032518ea4af76b4afa96">SVF::SparseAbstractState</a>
 </li>
 <li>inLocToAddrsTable()
-: <a class="el" href="classSVF_1_1ConsExeState.html#a1effca0f87f2180e160600ee5528b12f">SVF::ConsExeState</a>
-, <a class="el" href="classSVF_1_1ExeState.html#a54168f48a6c1fe983d20efce06a35710">SVF::ExeState</a>
-, <a class="el" href="classSVF_1_1IntervalESBase.html#a6c517028bddfa9f4617950a02f347ce8">SVF::IntervalESBase</a>
-, <a class="el" href="classSVF_1_1IntervalExeState.html#af61110c081ca71f9348e8dfff5aa76e4">SVF::IntervalExeState</a>
-, <a class="el" href="classSVF_1_1SVFIR2ConsExeState.html#a2b04cb226b28d577fa860a4cbf11b5c3">SVF::SVFIR2ConsExeState</a>
-, <a class="el" href="classSVF_1_1SVFIR2ItvExeState.html#a174523c405d7a7d7dbbcbaa43c335665">SVF::SVFIR2ItvExeState</a>
+: <a class="el" href="classSVF_1_1AbstractState.html#aff46e9d0fb20cedd54323c808d06f7cf">SVF::AbstractState</a>
+, <a class="el" href="classSVF_1_1SparseAbstractState.html#ad28955676ab059f0c175cbff8bf097b5">SVF::SparseAbstractState</a>
+, <a class="el" href="classSVF_1_1SVFIR2AbsState.html#a8eb06c3e65594dbcb602ec472258f09c">SVF::SVFIR2AbsState</a>
 </li>
 <li>inLocToValTable()
-: <a class="el" href="classSVF_1_1ConsExeState.html#a4481c80fcf9c64f23e8a216dfc01869a">SVF::ConsExeState</a>
-, <a class="el" href="classSVF_1_1IntervalESBase.html#a8926e8fe328e3a3596fee42e06130da7">SVF::IntervalESBase</a>
-, <a class="el" href="classSVF_1_1IntervalExeState.html#a50aee49f7f34e05f7e2cb28ae55099f8">SVF::IntervalExeState</a>
-, <a class="el" href="classSVF_1_1SVFIR2ConsExeState.html#a73a8f1354e22d41078abe3466b202df2">SVF::SVFIR2ConsExeState</a>
-, <a class="el" href="classSVF_1_1SVFIR2ItvExeState.html#a808fdc8ff7637d1c9515e71815548983">SVF::SVFIR2ItvExeState</a>
+: <a class="el" href="classSVF_1_1AbstractState.html#aa2ac2ba25a9859232717ee22192feb35">SVF::AbstractState</a>
+, <a class="el" href="classSVF_1_1SparseAbstractState.html#a931b900daaedf35965631b6492248940">SVF::SparseAbstractState</a>
+, <a class="el" href="classSVF_1_1SVFIR2AbsState.html#a847a9d505d3ed722b5b3d32cbcbd72ee">SVF::SVFIR2AbsState</a>
 </li>
 <li>inloop
 : <a class="el" href="classSVF_1_1CxtThread.html#a2066520689094db3c4a88f5a7fc4ec0c">SVF::CxtThread</a>
@@ -570,6 +558,9 @@ $(function() {
 <li>insert()
 : <a class="el" href="classSVF_1_1AddressValue.html#a40c67147606ab95dd3318d0fe821d8c0">SVF::AddressValue</a>
 </li>
+<li>insertAddr()
+: <a class="el" href="structSVF_1_1AbstractValue.html#a5cc67e56c658a6833b1bf9235f2a73ba">SVF::AbstractValue</a>
+</li>
 <li>insertAttribute()
 : <a class="el" href="classSVF_1_1GrammarBase.html#aa188ee22955b98c31abbf2b339b64d20">SVF::GrammarBase</a>
 </li>
@@ -582,9 +573,6 @@ $(function() {
 <li>insertEdge_h()
 : <a class="el" href="classSVF_1_1POCRHybridSolver.html#a122025228d5ca57e287f7fe85f279765">SVF::POCRHybridSolver</a>
 </li>
-<li>insertKeyNode()
-: <a class="el" href="classSVF_1_1SymState.html#ad3dd094395543f5459c6cbde859ab775">SVF::SymState</a>
-</li>
 <li>insertNonterminalKind()
 : <a class="el" href="classSVF_1_1GrammarBase.html#ac15b20ef3698ddab09c4c60e302ea4a0">SVF::GrammarBase</a>
 </li>
@@ -683,7 +671,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>int8Type()
@@ -760,18 +747,14 @@ $(function() {
 , <a class="el" href="classSVF_1_1SparseBitVector.html#a8b481ef53a27a351affecab90310b1ef">SVF::SparseBitVector&lt; ElementSize &gt;</a>
 , <a class="el" href="structSVF_1_1SparseBitVectorElement.html#ac721b283253b7bd96fedd5f12c079699">SVF::SparseBitVectorElement&lt; ElementSize &gt;</a>
 </li>
-<li>Interval2NumValue()
-: <a class="el" href="classSVF_1_1IntervalESBase.html#a2ff42e1ba569614cc86f8a3af65b7c41">SVF::IntervalESBase</a>
-</li>
-<li>IntervalESBase()
-: <a class="el" href="classSVF_1_1IntervalESBase.html#a2da3f0da084f66f5b82c86e6650fd903">SVF::IntervalESBase</a>
+<li>interval
+: <a class="el" href="structSVF_1_1AbstractValue.html#a6cbe0b567ba824136654627002e32930">SVF::AbstractValue</a>
 </li>
-<li>IntervalExeState()
-: <a class="el" href="classSVF_1_1IntervalExeState.html#adce87f96e58b25bd6ff046e6608f4d2c">SVF::IntervalExeState</a>
+<li>Interval2NumValue()
+: <a class="el" href="classSVF_1_1AbstractState.html#a55ef37a2d9636d030feaaac041a1b081">SVF::AbstractState</a>
 </li>
-<li>IntervalK
-: <a class="el" href="classSVF_1_1AbstractValue.html#afc79860ce75455825ff75d1fef804c16ae3efe972f0ed2983803d380f57e2546a">SVF::AbstractValue</a>
-, <a class="el" href="classSVF_1_1ExeState.html#a259b93247e06141077b2c1ae15efcbb8a39d5fb8ca9906072253f8af46b916351">SVF::ExeState</a>
+<li>IntervalType
+: <a class="el" href="structSVF_1_1AbstractValue.html#af93f4b54b34e74579ad177ead629b53aa97bb2c581577ed42ccfdf07dde0305f4">SVF::AbstractValue</a>
 </li>
 <li>IntervalValue()
 : <a class="el" href="classSVF_1_1IntervalValue.html#ad51535cb50a03df7a439b4e5b5d305f0">SVF::IntervalValue</a>
@@ -839,19 +822,14 @@ $(function() {
 : <a class="el" href="classSVF_1_1VersionedFlowSensitive.html#a3d44a343a2e3f5d276fd1b069c92e112">SVF::VersionedFlowSensitive</a>
 </li>
 <li>inVarToAddrsTable()
-: <a class="el" href="classSVF_1_1ConsExeState.html#a755fbe99c6d02b6a7897dad86f46c580">SVF::ConsExeState</a>
-, <a class="el" href="classSVF_1_1ExeState.html#a6dfff6d4302faeb80c78a512f32b529f">SVF::ExeState</a>
-, <a class="el" href="classSVF_1_1IntervalESBase.html#a551d07983a89971d4e2422e6be850d4f">SVF::IntervalESBase</a>
-, <a class="el" href="classSVF_1_1IntervalExeState.html#ad485a35730353c0e945bc84a034d9e45">SVF::IntervalExeState</a>
-, <a class="el" href="classSVF_1_1SVFIR2ConsExeState.html#a849978e7839b365fd2cf335e5840031a">SVF::SVFIR2ConsExeState</a>
-, <a class="el" href="classSVF_1_1SVFIR2ItvExeState.html#a999c358b80dd07591b0432eaa41c20c9">SVF::SVFIR2ItvExeState</a>
+: <a class="el" href="classSVF_1_1AbstractState.html#aa34516a95191c5ec56ce44a117e8b018">SVF::AbstractState</a>
+, <a class="el" href="classSVF_1_1SparseAbstractState.html#a41a0ffbedd20ce499bc04bbd9c1894e1">SVF::SparseAbstractState</a>
+, <a class="el" href="classSVF_1_1SVFIR2AbsState.html#a62baa9403069a9b1e010eaeb2f6b9b34">SVF::SVFIR2AbsState</a>
 </li>
 <li>inVarToValTable()
-: <a class="el" href="classSVF_1_1ConsExeState.html#ad42a15421be927dbb4eb7efb10548850">SVF::ConsExeState</a>
-, <a class="el" href="classSVF_1_1IntervalESBase.html#aa240089b9af05b9a0406451b94ed41e0">SVF::IntervalESBase</a>
-, <a class="el" href="classSVF_1_1IntervalExeState.html#aab316a63c25483eefc38bed0a86a0e7e">SVF::IntervalExeState</a>
-, <a class="el" href="classSVF_1_1SVFIR2ConsExeState.html#a734006d65a35034fa2d32282c7dce47f">SVF::SVFIR2ConsExeState</a>
-, <a class="el" href="classSVF_1_1SVFIR2ItvExeState.html#a8380eb5e2424c8c7bd290962f04a17ba">SVF::SVFIR2ItvExeState</a>
+: <a class="el" href="classSVF_1_1AbstractState.html#ab4d209d0739f2c45dbc2a7e61318e2e3">SVF::AbstractState</a>
+, <a class="el" href="classSVF_1_1SparseAbstractState.html#a4f24d346d2ea4ed98f5516ba671d338b">SVF::SparseAbstractState</a>
+, <a class="el" href="classSVF_1_1SVFIR2AbsState.html#a26afaf14db3b2a56e2d325630e5ba841">SVF::SVFIR2AbsState</a>
 </li>
 <li>Inverse()
 : <a class="el" href="structSVF_1_1Inverse.html#a9bff8acbcb891eeaeb6a9324312358a0">SVF::Inverse&lt; GraphType &gt;</a>
@@ -883,14 +861,16 @@ $(function() {
 : <a class="el" href="classSVF_1_1ExtAPI.html#a21f45c806672255c044d39490990eae2">SVF::ExtAPI</a>
 </li>
 <li>is_infinite()
-: <a class="el" href="classSVF_1_1BoundedZ3Expr.html#aaea0231e6991c9463efab58fa802e342">SVF::BoundedZ3Expr</a>
+: <a class="el" href="structSVF_1_1AbstractValue.html#a587f301cfc248178260271e11185078d">SVF::AbstractValue</a>
+, <a class="el" href="classSVF_1_1BoundedZ3Expr.html#aaea0231e6991c9463efab58fa802e342">SVF::BoundedZ3Expr</a>
 , <a class="el" href="classSVF_1_1IntervalValue.html#a3dba35c84607bd3ed4e62a90ae2799cf">SVF::IntervalValue</a>
 </li>
 <li>is_infinity()
 : <a class="el" href="classSVF_1_1NumericLiteral.html#ac4acd8ca01d2aa1715c18beb46b0ae1d">SVF::NumericLiteral</a>
 </li>
 <li>is_int()
-: <a class="el" href="classSVF_1_1BoundedZ3Expr.html#a58d8ae08daa2fca500f71dee768f8306">SVF::BoundedZ3Expr</a>
+: <a class="el" href="structSVF_1_1AbstractValue.html#a88f80b1cd16e064e999eaa0506234f2c">SVF::AbstractValue</a>
+, <a class="el" href="classSVF_1_1BoundedZ3Expr.html#a58d8ae08daa2fca500f71dee768f8306">SVF::BoundedZ3Expr</a>
 , <a class="el" href="classSVF_1_1IntervalValue.html#a20d391da7bcd46a14c5ec1960aee2536">SVF::IntervalValue</a>
 , <a class="el" href="classSVF_1_1NumericLiteral.html#a75fc2abc930b9405130106a51c29f314">SVF::NumericLiteral</a>
 </li>
@@ -907,7 +887,8 @@ $(function() {
 : <a class="el" href="classSVF_1_1NumericLiteral.html#a1e693e837e8d67ce76a03ec243c94f15">SVF::NumericLiteral</a>
 </li>
 <li>is_numeral()
-: <a class="el" href="classSVF_1_1IntervalValue.html#a523826aede7ad22736beed0c8223b6b0">SVF::IntervalValue</a>
+: <a class="el" href="structSVF_1_1AbstractValue.html#aae73e4c65c0324946849f03881f05c3b">SVF::AbstractValue</a>
+, <a class="el" href="classSVF_1_1IntervalValue.html#a523826aede7ad22736beed0c8223b6b0">SVF::IntervalValue</a>
 , <a class="el" href="classSVF_1_1Z3Expr.html#ad1802109545427278e3a8bde52e016b0">SVF::Z3Expr</a>
 </li>
 <li>is_plus_infinite()
@@ -917,7 +898,8 @@ $(function() {
 : <a class="el" href="classSVF_1_1NumericLiteral.html#a538deb0b9e88fd99b9768f5775e58ca7">SVF::NumericLiteral</a>
 </li>
 <li>is_real()
-: <a class="el" href="classSVF_1_1BoundedZ3Expr.html#a20cc4c32610c776082cb7910488f4c42">SVF::BoundedZ3Expr</a>
+: <a class="el" href="structSVF_1_1AbstractValue.html#a2388a9f102316fb80ba93a6daef3d2a1">SVF::AbstractValue</a>
+, <a class="el" href="classSVF_1_1BoundedZ3Expr.html#a20cc4c32610c776082cb7910488f4c42">SVF::BoundedZ3Expr</a>
 , <a class="el" href="classSVF_1_1IntervalValue.html#aef151a05c0f4a2a1aa3f9091f5258ee6">SVF::IntervalValue</a>
 , <a class="el" href="classSVF_1_1NumericLiteral.html#a2fe2eb429c125e33014bab7e21c77b9e">SVF::NumericLiteral</a>
 </li>
@@ -928,7 +910,8 @@ $(function() {
 : <a class="el" href="classSVF_1_1BoundedZ3Expr.html#a69384aac86c966e7ae8609f5ea97361c">SVF::BoundedZ3Expr</a>
 </li>
 <li>is_zero()
-: <a class="el" href="classSVF_1_1BoundedZ3Expr.html#ae1a0bc98b18563c87136dea2a60f67be">SVF::BoundedZ3Expr</a>
+: <a class="el" href="structSVF_1_1AbstractValue.html#acf117a1aa32d70b3e38802b79b82e31f">SVF::AbstractValue</a>
+, <a class="el" href="classSVF_1_1BoundedZ3Expr.html#ae1a0bc98b18563c87136dea2a60f67be">SVF::BoundedZ3Expr</a>
 , <a class="el" href="classSVF_1_1IntervalValue.html#a970b85f66d80cfc8ca56a8846c921afa">SVF::IntervalValue</a>
 , <a class="el" href="classSVF_1_1NumericLiteral.html#a8d874a7b6396e8af210c4a36d3234d71">SVF::NumericLiteral</a>
 </li>
@@ -938,6 +921,9 @@ $(function() {
 <li>isActualRetPHI()
 : <a class="el" href="classSVF_1_1InterPHIVFGNode.html#aacfd7f1e99e246283191f41d44567ed4">SVF::InterPHIVFGNode</a>
 </li>
+<li>isAddr()
+: <a class="el" href="structSVF_1_1AbstractValue.html#aa3699151c57c0401092ce12fd9e7b982">SVF::AbstractValue</a>
+</li>
 <li>isAgg()
 : <a class="el" href="classSVF_1_1DCHGraph.html#a9d2be5aec5216cbc1d1709b41f79c44b">SVF::DCHGraph</a>
 </li>
@@ -1019,13 +1005,9 @@ $(function() {
 , <a class="el" href="classOptionBase.html#acd2a32f510c026154665f7d874f3f362">OptionBase</a>
 </li>
 <li>isBottom()
-: <a class="el" href="classSVF_1_1AbstractValue.html#aafe29c4c572b851ce8031f5cd81600c5">SVF::AbstractValue</a>
-, <a class="el" href="classSVF_1_1AddressValue.html#a8d723e05901bec417fec967972c6d6f2">SVF::AddressValue</a>
-, <a class="el" href="classSVF_1_1IntervalValue.html#af8be90fc1b61103187908dce4ba68001">SVF::IntervalValue</a>
-, <a class="el" href="classSVF_1_1SingleAbsValue.html#a6750df64509e3dbaf3d75ed2ebc859ec">SVF::SingleAbsValue</a>
-</li>
-<li>isBottomAbsValue()
-: <a class="el" href="classSVF_1_1SingleAbsValue.html#a5ece7dbaa27e73795a89adb90afe60fe">SVF::SingleAbsValue</a>
+: <a class="el" href="structSVF_1_1AbstractValue.html#a8b1af972fa8a4e40347990d179ec1c52">SVF::AbstractValue</a>
+, <a class="el" href="classSVF_1_1AddressValue.html#a95338ecda5ff5b6e75934db032caaf2c">SVF::AddressValue</a>
+, <a class="el" href="classSVF_1_1IntervalValue.html#a674f9bb98053f8658e246863d6561072">SVF::IntervalValue</a>
 </li>
 <li>isBuiltFromFile()
 : <a class="el" href="classSVF_1_1IRGraph.html#a41423da58a07b344bc7ca8dd96d48f98">SVF::IRGraph</a>
@@ -1049,7 +1031,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1VFGEdge.html#a4352297ef44c4eff1efe2f348cce6fe9">SVF::VFGEdge</a>
 </li>
 <li>isCandidateFun()
-: <a class="el" href="classSVF_1_1TCT.html#aa69b82c888c8193e97f9e95c62ac99d4">SVF::TCT</a>
+: <a class="el" href="classSVF_1_1TCT.html#a013f7fa94f9383b3d0e46b79c0a52a8f">SVF::TCT</a>
 </li>
 <li>isCFGEdge()
 : <a class="el" href="classSVF_1_1ICFGEdge.html#a3d3813be0b873335b17bb590e130d173">SVF::ICFGEdge</a>
@@ -1112,7 +1094,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1SVFGOPT.html#a0e78edc04f5e8bfcca7a3f04f7568665">SVF::SVFGOPT</a>
 </li>
 <li>isDirectCall()
-: <a class="el" href="classSVF_1_1AbstractExecution.html#aec702d92bbba9e847a9b3eada060a2c5">SVF::AbstractExecution</a>
+: <a class="el" href="classSVF_1_1AbstractInterpretation.html#a14c758bcbbc7d8197c5fa1851720b663">SVF::AbstractInterpretation</a>
 </li>
 <li>isDirectCallEdge()
 : <a class="el" href="classSVF_1_1PTACallGraphEdge.html#a8c46ccaa41f6792ca4a31a56548a554a">SVF::PTACallGraphEdge</a>
@@ -1141,7 +1123,7 @@ $(function() {
 , <a class="el" href="classOptionMap.html#a9efba3b88013aa1745f47ab42d71c726">OptionMap&lt; T &gt;</a>
 </li>
 <li>isExtCall()
-: <a class="el" href="classSVF_1_1AbstractExecution.html#a319fe24ebb925f70fde574d5b17c3b98">SVF::AbstractExecution</a>
+: <a class="el" href="classSVF_1_1AbstractInterpretation.html#a2eb84610d9a9eca6565e4a8a1e1156d1">SVF::AbstractInterpretation</a>
 </li>
 <li>isFClose()
 : <a class="el" href="classSVF_1_1SaberCheckerAPI.html#a970676d884d66da9fce00fe5b60c96ba">SVF::SaberCheckerAPI</a>
@@ -1169,7 +1151,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1PCG.html#a767a7ea009067e7f82bb70b29688a144">SVF::PCG</a>
 </li>
 <li>isFOpen()
-: <a class="el" href="classSVF_1_1SaberCheckerAPI.html#a0977378f6f2a782041c97912762deb5f">SVF::SaberCheckerAPI</a>
+: <a class="el" href="classSVF_1_1SaberCheckerAPI.html#a50b572a89b800c3520f77d6f1094c066">SVF::SaberCheckerAPI</a>
 </li>
 <li>isForksite()
 : <a class="el" href="classSVF_1_1ThreadCallGraph.html#a07d3db6ffe8d75effd6fbc3856c484fe">SVF::ThreadCallGraph</a>
@@ -1191,7 +1173,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1PhiStmt.html#a8e55ddef627096c78bb2c8b6f9c77140">SVF::PhiStmt</a>
 </li>
 <li>isFunEntry()
-: <a class="el" href="classSVF_1_1AbstractExecution.html#a76595e5d1a25c6c012f949f2d94c5ab6">SVF::AbstractExecution</a>
+: <a class="el" href="classSVF_1_1AbstractInterpretation.html#a156687481295e019887c5ea309360347">SVF::AbstractInterpretation</a>
 </li>
 <li>isFunEntrySVFGNode()
 : <a class="el" href="classSVF_1_1SVFG.html#ae2cff3c963136f474fac0a66aa8cff7b">SVF::SVFG</a>
@@ -1203,7 +1185,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1SVFIR.html#a9235a60e7332c8416e113e7360441d97">SVF::SVFIR</a>
 </li>
 <li>isGlobalEntry()
-: <a class="el" href="classSVF_1_1AbstractExecution.html#a1b2ea55ebd7c09a83bf1051c0c189bb8">SVF::AbstractExecution</a>
+: <a class="el" href="classSVF_1_1AbstractInterpretation.html#abcbfff7e33ef9d901bb37e64fe2ba53c">SVF::AbstractInterpretation</a>
 </li>
 <li>isGlobalObj()
 : <a class="el" href="classSVF_1_1MemObj.html#a40462512a99eb258d8cd442c38d812b4">SVF::MemObj</a>
@@ -1263,7 +1245,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1TCTNode.html#a42dde4c3714cc5605f7c0e76cfd4a74c">SVF::TCTNode</a>
 </li>
 <li>isIndirectCall()
-: <a class="el" href="classSVF_1_1AbstractExecution.html#ad1baaa8eaad68b215f63941776e79ccf">SVF::AbstractExecution</a>
+: <a class="el" href="classSVF_1_1AbstractInterpretation.html#a330379cef58219f72f4ec4c12a6d86ea">SVF::AbstractInterpretation</a>
 , <a class="el" href="classSVF_1_1CallICFGNode.html#aa11226a2e4fa6a7b1d78006cc8ca0518">SVF::CallICFGNode</a>
 </li>
 <li>isIndirectCallEdge()
@@ -1285,7 +1267,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1CxtThread.html#a39230596cd1c927353eaaee071eb16c6">SVF::CxtThread</a>
 </li>
 <li>isInLoop()
-: <a class="el" href="classSVF_1_1ICFG.html#ac0600b9ff2521ec2b205dc35c276397d">SVF::ICFG</a>
+: <a class="el" href="classSVF_1_1ICFG.html#ae115e70bf53f25c0ca6b1f22acccf5b5">SVF::ICFG</a>
 , <a class="el" href="classSVF_1_1SVFLoop.html#af2433fcc43f4e22fdf97ca2672a5dfa3">SVF::SVFLoop</a>
 </li>
 <li>isInloop()
@@ -1302,7 +1284,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1LockAnalysis.html#aa759d7cf2aa537a375daef4c637e597e">SVF::LockAnalysis</a>
 </li>
 <li>isInSameCSSpan()
-: <a class="el" href="classSVF_1_1LockAnalysis.html#a1c23ab16b5c7ab5bb482a5828e615bbb">SVF::LockAnalysis</a>
+: <a class="el" href="classSVF_1_1LockAnalysis.html#a8595b976bf60d161561e5494257aa179">SVF::LockAnalysis</a>
 </li>
 <li>isInSameSpan()
 : <a class="el" href="classSVF_1_1LockAnalysis.html#a1c1b63a8bd7449ebeb2c31b0532e9337">SVF::LockAnalysis</a>
@@ -1325,6 +1307,9 @@ $(function() {
 <li>isInterestedPAGNode()
 : <a class="el" href="classSVF_1_1VFG.html#a85360d0242ea7d2ec7da670f2cc17962">SVF::VFG</a>
 </li>
+<li>isInterval()
+: <a class="el" href="structSVF_1_1AbstractValue.html#a59fd82887144949f24a4515cff6211e4">SVF::AbstractValue</a>
+</li>
 <li>isIntraCFGEdge()
 : <a class="el" href="classSVF_1_1ICFGEdge.html#a4e6d228dfc678618a423e8293877f04c">SVF::ICFGEdge</a>
 </li>
@@ -1381,7 +1366,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1TCT.html#ab6c2beac6b9f1e4fc1fdd4d657232389">SVF::TCT</a>
 </li>
 <li>isMemAlloc()
-: <a class="el" href="classSVF_1_1SaberCheckerAPI.html#a71cbe5fbf582d0801f604595d3dfb416">SVF::SaberCheckerAPI</a>
+: <a class="el" href="classSVF_1_1SaberCheckerAPI.html#acd2486bcf4cf413e63afed7884a0719e">SVF::SaberCheckerAPI</a>
 </li>
 <li>isMemcpy()
 : <a class="el" href="classSVF_1_1MTAAnnotator.html#aee9e5ebac543d9a2aab511410b047898">SVF::MTAAnnotator</a>
@@ -1433,17 +1418,11 @@ $(function() {
 : <a class="el" href="classSVF_1_1SVFFunction.html#ac85bdf04fd784e22a89426955d28e3d6">SVF::SVFFunction</a>
 </li>
 <li>isNullPtr()
-: <a class="el" href="classSVF_1_1ExeState.html#a8edd5f30ab971ce893ffdb39d8b6a265">SVF::ExeState</a>
+: <a class="el" href="classSVF_1_1AbstractState.html#aad7588fead712273f6679d00759c06ea">SVF::AbstractState</a>
 , <a class="el" href="classSVF_1_1SVFIR.html#a18ca66c199b910b15f1bfa77dcc98c30">SVF::SVFIR</a>
 , <a class="el" href="classSVF_1_1SVFValue.html#ac29e2f5e75cc6916be6a663ca6d51177">SVF::SVFValue</a>
 , <a class="el" href="classSVF_1_1SymbolTableInfo.html#ad095e4a569d399cadc03ce864f61c394">SVF::SymbolTableInfo</a>
 </li>
-<li>isNullState()
-: <a class="el" href="classSVF_1_1ConsExeState.html#a08f64cf55802c4ddbc1e01b06ce55dec">SVF::ConsExeState</a>
-</li>
-<li>isNullSymState()
-: <a class="el" href="classSVF_1_1SymState.html#a9817e6ac4387d6a6fe5f67e2ce753a88">SVF::SymState</a>
-</li>
 <li>isOutICFGEdge()
 : <a class="el" href="classSVF_1_1SVFLoop.html#a5b2ff96defd83686c2737cafa0e1cc83">SVF::SVFLoop</a>
 </li>
@@ -1475,7 +1454,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1LockAnalysis.html#ae912e35cddd4235a663f84f70c3881e7">SVF::LockAnalysis</a>
 </li>
 <li>isProtectedByCommonCxtLock()
-: <a class="el" href="classSVF_1_1LockAnalysis.html#a32c0c5bdd676302f1c9e797d540278d8">SVF::LockAnalysis</a>
+: <a class="el" href="classSVF_1_1LockAnalysis.html#a3e2e629a588b44ed39e529babb59a4f9">SVF::LockAnalysis</a>
 </li>
 <li>isProtectedByCommonLock()
 : <a class="el" href="classSVF_1_1LockAnalysis.html#a213bd0dfeba620498dabcfa4fa3a018c">SVF::LockAnalysis</a>
@@ -1522,7 +1501,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1MHP.html#a0356a8ccc53999549fb369f67faad306">SVF::MHP</a>
 </li>
 <li>isRecursiveCall()
-: <a class="el" href="classSVF_1_1AbstractExecution.html#a6b92cdb6c5d3ae425955864536f2cba7">SVF::AbstractExecution</a>
+: <a class="el" href="classSVF_1_1AbstractInterpretation.html#a0e2af184576d9673f535fe80deb944f6">SVF::AbstractInterpretation</a>
 </li>
 <li>isRetCFGEdge()
 : <a class="el" href="classSVF_1_1ICFGEdge.html#ae3e7a6596de9fd3a25a28242a06ddd80">SVF::ICFGEdge</a>
@@ -1563,12 +1542,12 @@ $(function() {
 <li>isSigned()
 : <a class="el" href="classSVF_1_1SVFIntegerType.html#a535874e5c49f686dd6ae99304ecd6821">SVF::SVFIntegerType</a>
 </li>
-<li>IsSimple
-: <a class="el" href="structSVF_1_1DefaultDOTGraphTraits.html#abf5957e894bacd69c9ead5a80a330626">SVF::DefaultDOTGraphTraits</a>
-</li>
 <li>isSimple()
 : <a class="el" href="structSVF_1_1DefaultDOTGraphTraits.html#acc82bc6228128e5bb98a6b00d6dc5f77">SVF::DefaultDOTGraphTraits</a>
 </li>
+<li>IsSimple
+: <a class="el" href="structSVF_1_1DefaultDOTGraphTraits.html#abf5957e894bacd69c9ead5a80a330626">SVF::DefaultDOTGraphTraits</a>
+</li>
 <li>isSingleFieldObj()
 : <a class="el" href="classSVF_1_1ConstraintGraph.html#a38fd07dd86f6187a7671f9f85565fccc">SVF::ConstraintGraph</a>
 </li>
@@ -1643,21 +1622,15 @@ $(function() {
 <li>isSVFGNodeInCycle()
 : <a class="el" href="classSVF_1_1DDAVFSolver.html#add7daee4a0ecae479a5ab015130c8c93">SVF::DDAVFSolver&lt; CVar, CPtSet, DPIm &gt;</a>
 </li>
-<li>isSym()
-: <a class="el" href="classSVF_1_1SingleAbsValue.html#a948aca85133c7045d508b8ee33dabe91">SVF::SingleAbsValue</a>
-</li>
-<li>isSymbolAbsValue()
-: <a class="el" href="classSVF_1_1SingleAbsValue.html#adea2bf196a9717c252f33f2707510d12">SVF::SingleAbsValue</a>
-</li>
 <li>isTailofSpan()
-: <a class="el" href="classSVF_1_1MTASVFGBuilder.html#a9c8681767551575a18ee141f7336db05">SVF::MTASVFGBuilder</a>
+: <a class="el" href="classSVF_1_1MTASVFGBuilder.html#ac8339229ade604f4205b111bfc99f23f">SVF::MTASVFGBuilder</a>
 </li>
 <li>isTDAcquire()
 : <a class="el" href="classSVF_1_1LockAnalysis.html#ab8376e0cbdff101b7b981141637e3da3">SVF::LockAnalysis</a>
-, <a class="el" href="classSVF_1_1ThreadAPI.html#a742161b465774d74306df68a2bbe95e8">SVF::ThreadAPI</a>
+, <a class="el" href="classSVF_1_1ThreadAPI.html#a608f0cb60a665745748b6a6654a6e837">SVF::ThreadAPI</a>
 </li>
 <li>isTDBarWait()
-: <a class="el" href="classSVF_1_1ThreadAPI.html#a62a5d4709eb9f1e4e9dd20b87dac8c42">SVF::ThreadAPI</a>
+: <a class="el" href="classSVF_1_1ThreadAPI.html#af3aa58dc83dca382162df67c12169585">SVF::ThreadAPI</a>
 </li>
 <li>isTDExit()
 : <a class="el" href="classSVF_1_1ThreadAPI.html#a22d6c0cf0ba19af0661b106a8859024f">SVF::ThreadAPI</a>
@@ -1666,7 +1639,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1ForkJoinAnalysis.html#a66965759d876309c64faf4b755afc2a7">SVF::ForkJoinAnalysis</a>
 , <a class="el" href="classSVF_1_1LockAnalysis.html#a6039a72839e5eaf27c4c19c2e8316321">SVF::LockAnalysis</a>
 , <a class="el" href="classSVF_1_1MHP.html#a7af8320c524acaf3cf004ff37f9b4e42">SVF::MHP</a>
-, <a class="el" href="classSVF_1_1ThreadAPI.html#a261eb3c2f7e44a81edf4feddfc65a3cc">SVF::ThreadAPI</a>
+, <a class="el" href="classSVF_1_1ThreadAPI.html#a4bacbfb6648de8196217c83b5d73b876">SVF::ThreadAPI</a>
 </li>
 <li>isTDJoin()
 : <a class="el" href="classSVF_1_1ForkJoinAnalysis.html#a97151d74790b2853249d0cc94bb0904f">SVF::ForkJoinAnalysis</a>
@@ -1700,13 +1673,9 @@ $(function() {
 : <a class="el" href="structSVF_1_1cppUtil_1_1DemangledName.html#af6117df8aec7f4c077058fa8f00b0243">SVF::cppUtil::DemangledName</a>
 </li>
 <li>isTop()
-: <a class="el" href="classSVF_1_1AbstractValue.html#a8f470d727f665e3244b222df1eb724b6">SVF::AbstractValue</a>
-, <a class="el" href="classSVF_1_1AddressValue.html#a3ead18a9602057bb034f8fc447715a06">SVF::AddressValue</a>
-, <a class="el" href="classSVF_1_1IntervalValue.html#a977128211266b93e58e298a7ac29a059">SVF::IntervalValue</a>
-, <a class="el" href="classSVF_1_1SingleAbsValue.html#aab5acb2ae0dfaa7f50dd32b9d43f9de9">SVF::SingleAbsValue</a>
-</li>
-<li>isTopAbsValue()
-: <a class="el" href="classSVF_1_1SingleAbsValue.html#a5749cbe2d0966e65046ce84a78fcba07">SVF::SingleAbsValue</a>
+: <a class="el" href="structSVF_1_1AbstractValue.html#a0eb8246346ebc25e5f263901d7e0c408">SVF::AbstractValue</a>
+, <a class="el" href="classSVF_1_1AddressValue.html#a91f2a42df382c7123c80cbab99a791e6">SVF::AddressValue</a>
+, <a class="el" href="classSVF_1_1IntervalValue.html#a1fc899db5c37229692782406ad56f34f">SVF::IntervalValue</a>
 </li>
 <li>isTopLevelPtrStmt()
 : <a class="el" href="classSVF_1_1DDAVFSolver.html#a7b35588de00e322afd742041bf735571">SVF::DDAVFSolver&lt; CVar, CPtSet, DPIm &gt;</a>
@@ -1720,6 +1689,9 @@ $(function() {
 <li>isUnconditional()
 : <a class="el" href="classSVF_1_1BranchStmt.html#a038d65e38fe792fec4050d3d1c9c5180">SVF::BranchStmt</a>
 </li>
+<li>isUnknown()
+: <a class="el" href="structSVF_1_1AbstractValue.html#a61516b8cd3550afd29f80fbe8c9146ff">SVF::AbstractValue</a>
+</li>
 <li>isUnreachable()
 : <a class="el" href="classSVF_1_1SVFLoopAndDomInfo.html#aac4d533d1c7abfefbd54507357e240f4">SVF::SVFLoopAndDomInfo</a>
 </li>
@@ -1752,11 +1724,10 @@ $(function() {
 : <a class="el" href="classSVF_1_1CallSite.html#a427a38e580db4bf04c9d716762243c89">SVF::CallSite</a>
 </li>
 <li>isVirtualMemAddress()
-: <a class="el" href="classSVF_1_1AddressValue.html#ab76f47f97262d40dbbee12f466f746e8">SVF::AddressValue</a>
-, <a class="el" href="classSVF_1_1ExeState.html#abfaad70395d9f4416f297887c84f7df4">SVF::ExeState</a>
+: <a class="el" href="classSVF_1_1AbstractState.html#ad3eefae77eb1fc4bbcfe70b0f2f51dd4">SVF::AbstractState</a>
+, <a class="el" href="classSVF_1_1AddressValue.html#ab76f47f97262d40dbbee12f466f746e8">SVF::AddressValue</a>
 , <a class="el" href="classSVF_1_1RelExeState.html#adc3ed92ba80bb95326cbbe675a278879">SVF::RelExeState</a>
-, <a class="el" href="classSVF_1_1SVFIR2ConsExeState.html#a0abd7ac1b44cb8ecf73dc19c9957f502">SVF::SVFIR2ConsExeState</a>
-, <a class="el" href="classSVF_1_1SVFIR2ItvExeState.html#ae48cc31474d2c1cbc581b8f7ed433a14">SVF::SVFIR2ItvExeState</a>
+, <a class="el" href="classSVF_1_1SVFIR2AbsState.html#a3bbf4cda2e3892c7359279337fab7d24">SVF::SVFIR2AbsState</a>
 </li>
 <li>isVisited()
 : <a class="el" href="classSVF_1_1CSC.html#a2913a7a83deae0b91f1f42dc45c4f3b2">SVF::CSC</a>
@@ -1783,14 +1754,13 @@ $(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>
 <li>Iter
 : <a class="el" href="classSVF_1_1SparseBitVector_1_1SparseBitVectorIterator.html#a3627077086baa18bd0ae25efd981c18f">SVF::SparseBitVector&lt; ElementSize &gt;::SparseBitVectorIterator</a>
 </li>
 <li>iter_adaptor_base()
-: <a class="el" href="classSVF_1_1iter__adaptor__base.html#aae17978dbc68365513742c0ed6dd6e77">SVF::iter_adaptor_base&lt; DerivedT, WrappedIteratorT, IteratorCategoryT, T, DifferenceTypeT, PointerT, ReferenceT &gt;</a>
+: <a class="el" href="classSVF_1_1iter__adaptor__base.html#ad3e91fd59221ddbdc889bc081159f611">SVF::iter_adaptor_base&lt; DerivedT, WrappedIteratorT, IteratorCategoryT, T, DifferenceTypeT, PointerT, ReferenceT &gt;</a>
 </li>
 <li>iter_facade_base
 : <a class="el" href="classSVF_1_1iter__facade__base_1_1ReferenceProxy.html#ab4717ea89d08ac05464fa95bc7f50ac6">SVF::iter_facade_base&lt; DerivedT, IteratorCategoryT, T, DifferenceTypeT, PointerT, ReferenceT &gt;::ReferenceProxy</a>

package/SVF-doxygen/html/functions_j.html

@@ -65,9 +65,9 @@ $(function() {
 
 <h3><a id="index_j"></a>- j -</h3><ul>
 <li>join_with()
-: <a class="el" href="classSVF_1_1AddressValue.html#acad5216bdc02a234d57abfe9ae72a12a">SVF::AddressValue</a>
+: <a class="el" href="structSVF_1_1AbstractValue.html#a52a8a738896179a148581e1060a2ed66">SVF::AbstractValue</a>
+, <a class="el" href="classSVF_1_1AddressValue.html#acad5216bdc02a234d57abfe9ae72a12a">SVF::AddressValue</a>
 , <a class="el" href="classSVF_1_1IntervalValue.html#a3771eb932069dcad8212009efc411b99">SVF::IntervalValue</a>
-, <a class="el" href="classSVF_1_1SingleAbsValue.html#aee10058065f8c8be04b6e27fb18b4a00">SVF::SingleAbsValue</a>
 </li>
 <li>JoinEdgeSet
 : <a class="el" href="classSVF_1_1ThreadCallGraph.html#aa9e07204488ec8f0f83f4e218b6ce6bd">SVF::ThreadCallGraph</a>
@@ -86,10 +86,8 @@ $(function() {
 : <a class="el" href="classSVF_1_1TCT.html#a5b1f44ffa732607a7800728befa5bc57">SVF::TCT</a>
 </li>
 <li>joinWith()
-: <a class="el" href="classSVF_1_1ConsExeState.html#a8f2668196be5ecbc061d5b43caa43cae">SVF::ConsExeState</a>
-, <a class="el" href="classSVF_1_1ExeState.html#a60464bebe5f257bbe1356eee149524c0">SVF::ExeState</a>
-, <a class="el" href="classSVF_1_1IntervalESBase.html#adc0db607e4c0f117760535df67b91fbd">SVF::IntervalESBase</a>
-, <a class="el" href="classSVF_1_1IntervalExeState.html#a46ef74cd1412790b088f1d7320f57a9f">SVF::IntervalExeState</a>
+: <a class="el" href="classSVF_1_1AbstractState.html#a413cb1d009e2a080960bb2432e193d0c">SVF::AbstractState</a>
+, <a class="el" href="classSVF_1_1SparseAbstractState.html#abd860957dd1cd5577c7ea893be904c1b">SVF::SparseAbstractState</a>
 </li>
 <li>json
 : <a class="el" href="structerror.html#a9b123855d5dd48e86de846588462b39f">error</a>

package/SVF-doxygen/html/functions_k.html

@@ -76,12 +76,6 @@ $(function() {
 <li>keepContextSelfCycle
 : <a class="el" href="classSVF_1_1SVFGOPT.html#ac68a53c567929ba8b69c00e3e8d9d30f">SVF::SVFGOPT</a>
 </li>
-<li>KeyNodes
-: <a class="el" href="classSVF_1_1SymState.html#a5673a4c91533436a993164aa477ff3d8">SVF::SymState</a>
-</li>
-<li>KeyNodesSet
-: <a class="el" href="classSVF_1_1SymState.html#adb33bdc2c5b70a0f35d29d213ebf7957">SVF::SymState</a>
-</li>
 <li>KeyToIDMap
 : <a class="el" href="classSVF_1_1PersistentDFPTData.html#aee8871b4895d38bccb9078ad540f9f0f">SVF::PersistentDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 , <a class="el" href="classSVF_1_1PersistentDiffPTData.html#a4e706309fe4bb40b4424251888363215">SVF::PersistentDiffPTData&lt; Key, KeySet, Data, DataSet &gt;</a>

package/SVF-doxygen/html/functions_l.html

@@ -77,7 +77,8 @@ $(function() {
 : <a class="el" href="classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338acabda313a5aed435375e5168c2b621247e">SVF::CmpStmt</a>
 </li>
 <li>lb()
-: <a class="el" href="classSVF_1_1IntervalValue.html#a0df07a2659cbf3a918de5b0d7c407264">SVF::IntervalValue</a>
+: <a class="el" href="structSVF_1_1AbstractValue.html#a6c979397d4efb5b37e3b2bf9feba5648">SVF::AbstractValue</a>
+, <a class="el" href="classSVF_1_1IntervalValue.html#a0df07a2659cbf3a918de5b0d7c407264">SVF::IntervalValue</a>
 </li>
 <li>ldnodeSet
 : <a class="el" href="classSVF_1_1MTASVFGBuilder.html#a6dfa9807255258f324557d188adea9b2">SVF::MTASVFGBuilder</a>
@@ -93,14 +94,13 @@ $(function() {
 , <a class="el" href="structprintbuffer.html#a1a679f8b6fe9b413fb3a87203b0f5bc8">printbuffer</a>
 </li>
 <li>leq()
-: <a class="el" href="classSVF_1_1BoundedZ3Expr.html#af962942fbf3341f0679959cfd810d3a5">SVF::BoundedZ3Expr</a>
+: <a class="el" href="structSVF_1_1AbstractValue.html#aa6e16f5019574480ff3de58509541b31">SVF::AbstractValue</a>
+, <a class="el" href="classSVF_1_1BoundedZ3Expr.html#af962942fbf3341f0679959cfd810d3a5">SVF::BoundedZ3Expr</a>
 , <a class="el" href="classSVF_1_1IntervalValue.html#a2dd004dda59ee5271081afd082374039">SVF::IntervalValue</a>
 , <a class="el" href="classSVF_1_1NumericLiteral.html#aa01880cdfc3b9504bef63a3bf315c54b">SVF::NumericLiteral</a>
-, <a class="el" href="classSVF_1_1SingleAbsValue.html#aea878187748d809fdcc2568273a8d65b">SVF::SingleAbsValue</a>
 </li>
 <li>lessThanVarToValMap()
-: <a class="el" href="classSVF_1_1ConsExeState.html#a4878ea0f5c2cc014ac2f5ecbc6534466">SVF::ConsExeState</a>
-, <a class="el" href="classSVF_1_1IntervalESBase.html#af1837e907961eb3594b817b62b9ea9a3">SVF::IntervalESBase</a>
+: <a class="el" href="classSVF_1_1AbstractState.html#a943e87d9e3bf7332e7dbb3a00aeb996a">SVF::AbstractState</a>
 , <a class="el" href="classSVF_1_1RelExeState.html#a1bc5dc440ad614fd7b4804bfa88c37c0">SVF::RelExeState</a>
 </li>
 <li>List()
@@ -170,15 +170,14 @@ $(function() {
 : <a class="el" href="classSVF_1_1LLVMModuleSet.html#a20d9bddbd56a38fd2159a020039dab0f">SVF::LLVMModuleSet</a>
 </li>
 <li>load()
-: <a class="el" href="classSVF_1_1ConsExeState.html#a2fa6360da2149684a9771fdbfae71a66">SVF::ConsExeState</a>
+: <a class="el" href="classSVF_1_1AbstractState.html#aa057c4c27e613d239161c04daf3a46d0">SVF::AbstractState</a>
 </li>
 <li>Load
 : <a class="el" href="classSVF_1_1ConstraintEdge.html#a663af27955ba0c545f34fa1f076b7375a1bdeb9a06641d16b43391120812b40b2">SVF::ConstraintEdge</a>
 </li>
 <li>load()
-: <a class="el" href="classSVF_1_1IntervalESBase.html#a93c2088eacb3859d5e54899d3fa6b45f">SVF::IntervalESBase</a>
-, <a class="el" href="classSVF_1_1IntervalExeState.html#a960ec3359dfcb5e89fb66120c868ac5e">SVF::IntervalExeState</a>
-, <a class="el" href="classSVF_1_1RelExeState.html#aa550a580be3278d19f759b3a644baea5">SVF::RelExeState</a>
+: <a class="el" href="classSVF_1_1RelExeState.html#aa550a580be3278d19f759b3a644baea5">SVF::RelExeState</a>
+, <a class="el" href="classSVF_1_1SparseAbstractState.html#a9e428ac8cc2b3b59b7dc4b164eb8b1c0">SVF::SparseAbstractState</a>
 </li>
 <li>Load
 : <a class="el" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a62ac8480c43fcc657c631ec0003b15d5">SVF::SVFStmt</a>
@@ -187,12 +186,6 @@ $(function() {
 <li>load2MuSetMap
 : <a class="el" href="classSVF_1_1MemSSA.html#a5cf94edea3a5c35b3c1d9c6ae4b5f9d6">SVF::MemSSA</a>
 </li>
-<li>loadAddrs()
-: <a class="el" href="classSVF_1_1ConsExeState.html#a865998aed7e292ebd15532506eadea55">SVF::ConsExeState</a>
-, <a class="el" href="classSVF_1_1ExeState.html#a9e0fd700bea1ac741d96b4f52fd4756f">SVF::ExeState</a>
-, <a class="el" href="classSVF_1_1IntervalESBase.html#a1a012a83e3c2808e24ba8d5da4fbd85b">SVF::IntervalESBase</a>
-, <a class="el" href="classSVF_1_1IntervalExeState.html#ad17ceaf8058043151ae0f23b3415458a">SVF::IntervalExeState</a>
-</li>
 <li>LoadCGEdge()
 : <a class="el" href="classSVF_1_1LoadCGEdge.html#a74ccf27a1e90fb8f47e9cecf7bd38cf7">SVF::LoadCGEdge</a>
 </li>
@@ -326,9 +319,8 @@ $(function() {
 <li>LocMemModel
 : <a class="el" href="classSVF_1_1Options.html#a198e0d500ae635c709c406bbec604050">SVF::Options</a>
 </li>
-<li>locToAddrs()
-: <a class="el" href="classSVF_1_1ConsExeState.html#a4136ad2172772347e8d6aedc2f8b811e">SVF::ConsExeState</a>
-, <a class="el" href="classSVF_1_1ExeState.html#ad2f921623e41209c6702534c98431403">SVF::ExeState</a>
+<li>LocToAbsValMap
+: <a class="el" href="classSVF_1_1AbstractState.html#a046e475067c101430f87d67965ecfb08">SVF::AbstractState</a>
 </li>
 <li>locToDpmSetMap
 : <a class="el" href="classSVF_1_1DDAVFSolver.html#aa724698d499615bce7caf8f312b746a7">SVF::DDAVFSolver&lt; CVar, CPtSet, DPIm &gt;</a>
@@ -336,13 +328,8 @@ $(function() {
 <li>LocToDPMVecMap
 : <a class="el" href="classSVF_1_1DDAVFSolver.html#aab76f98ae4f0c1f62f101ac5c5fdbf83">SVF::DDAVFSolver&lt; CVar, CPtSet, DPIm &gt;</a>
 </li>
-<li>locToString()
-: <a class="el" href="classSVF_1_1ConsExeState.html#a2c4c9f57bf31e8716bbfced40931fe5d">SVF::ConsExeState</a>
-</li>
 <li>LocToValMap
-: <a class="el" href="classSVF_1_1ConsExeState.html#a559fb9ebd9c5ca18bb0b9ea062cd27db">SVF::ConsExeState</a>
-, <a class="el" href="classSVF_1_1IntervalESBase.html#a2c8cf00ffaa36fed2e634adbaff7b412">SVF::IntervalESBase</a>
-, <a class="el" href="classSVF_1_1RelExeState.html#aae7d4cc75071ce34d68bd4e1709bd2c8">SVF::RelExeState</a>
+: <a class="el" href="classSVF_1_1RelExeState.html#aae7d4cc75071ce34d68bd4e1709bd2c8">SVF::RelExeState</a>
 </li>
 <li>LocVersionMap
 : <a class="el" href="classSVF_1_1VersionedFlowSensitive.html#aa689d29ead80303b1ef1e1a91f31c296">SVF::VersionedFlowSensitive</a>
@@ -395,7 +382,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>
 <li>LSRelation
 : <a class="el" href="classSVF_1_1AccessPath.html#aabb6c9600fac408f36b9fde013597245">SVF::AccessPath</a>