svf-tools 1.0.905 → 1.0.907

package/SVF-doxygen/html/functions_func_h.html

@@ -87,7 +87,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1TCT.html#aac0c4c3f1c7cb1d89ebd2a3da2d49bd3">SVF::TCT</a>
 </li>
 <li>handleCallSite()
-: <a class="el" href="classSVF_1_1AbstractExecution.html#a6cbc336372afb947c783fb14c45426df">SVF::AbstractExecution</a>
+: <a class="el" href="classSVF_1_1AbstractInterpretation.html#abbb4e49644121f6b038fd8fb4d7b0034">SVF::AbstractInterpretation</a>
 </li>
 <li>handleCallsiteModRef()
 : <a class="el" href="classSVF_1_1MRGenerator.html#acbf0be131b1fc5d0366157d300d1aa68">SVF::MRGenerator</a>
@@ -100,7 +100,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1AndersenSCD.html#aa0a496376f7bea2c417ef83c51d19a61">SVF::AndersenSCD</a>
 </li>
 <li>handleCycle()
-: <a class="el" href="classSVF_1_1AbstractExecution.html#a609f7f047d88f8a2f44cd783668dc179">SVF::AbstractExecution</a>
+: <a class="el" href="classSVF_1_1AbstractInterpretation.html#a71dff5d6a5b291014c0a65d3a6d7c8c1">SVF::AbstractInterpretation</a>
 </li>
 <li>handleDIBasicType()
 : <a class="el" href="classSVF_1_1DCHGraph.html#a86bf48776ccf53092f4cb742cf95f8eb">SVF::DCHGraph</a>
@@ -118,7 +118,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1DCHGraph.html#a671f379ae54eef247b5e013478eb3f0c">SVF::DCHGraph</a>
 </li>
 <li>handleExtAPI()
-: <a class="el" href="classSVF_1_1AbstractExecution.html#ae002abb8711300ff52200f78f1463369">SVF::AbstractExecution</a>
+: <a class="el" href="classSVF_1_1AbstractInterpretation.html#a6cac9b69d85111a5a26373ec848a3282">SVF::AbstractInterpretation</a>
 , <a class="el" href="classSVF_1_1BufOverflowChecker.html#a1ed3cb0a1a118d9e505b192841a58dde">SVF::BufOverflowChecker</a>
 </li>
 <li>handleExtCall()
@@ -130,7 +130,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1MHP.html#a8a95f8ae419b66310ce6f572caea2ca5">SVF::MHP</a>
 </li>
 <li>handleFunc()
-: <a class="el" href="classSVF_1_1AbstractExecution.html#adb88a8be0bc1c1ac2d1546e9191c6f93">SVF::AbstractExecution</a>
+: <a class="el" href="classSVF_1_1AbstractInterpretation.html#a2e2253149e2bf114825a4e838118e012">SVF::AbstractInterpretation</a>
 </li>
 <li>handleGlobalCE()
 : <a class="el" href="classSVF_1_1SymbolTableBuilder.html#a72732ec0392d9d5b900fc12177890779">SVF::SymbolTableBuilder</a>
@@ -139,10 +139,10 @@ $(function() {
 : <a class="el" href="classSVF_1_1SymbolTableBuilder.html#a1efd9406182eb86b1ee4829c931b566d">SVF::SymbolTableBuilder</a>
 </li>
 <li>handleGlobalNode()
-: <a class="el" href="classSVF_1_1AbstractExecution.html#a7efff2047b2b6017fdd210a8679817cd">SVF::AbstractExecution</a>
+: <a class="el" href="classSVF_1_1AbstractInterpretation.html#a276182afcfe95235ebd2d452424e87e7">SVF::AbstractInterpretation</a>
 </li>
 <li>handleICFGNode()
-: <a class="el" href="classSVF_1_1AbstractExecution.html#a714fa1f4794008f630de415414cf8bfd">SVF::AbstractExecution</a>
+: <a class="el" href="classSVF_1_1AbstractInterpretation.html#a9b179466955023f275b6692b59048846">SVF::AbstractInterpretation</a>
 , <a class="el" href="classSVF_1_1BufOverflowChecker.html#afa6b30220b0b3261205a909def9ca44e">SVF::BufOverflowChecker</a>
 </li>
 <li>handleIndCall()
@@ -171,10 +171,10 @@ $(function() {
 , <a class="el" href="classSVF_1_1AndersenSCD.html#a7ae683eb8c607a0e742b44e3019b8cbc">SVF::AndersenSCD</a>
 </li>
 <li>handleMemcpy()
-: <a class="el" href="classSVF_1_1AbstractExecution.html#a37c0e12879d3320857a288191e6d2202">SVF::AbstractExecution</a>
+: <a class="el" href="classSVF_1_1AbstractInterpretation.html#adf02c5bf1b86f00163b114a78e03120c">SVF::AbstractInterpretation</a>
 </li>
 <li>handleMemset()
-: <a class="el" href="classSVF_1_1AbstractExecution.html#ad70015e99339c3beb3a911c0ff6f0144">SVF::AbstractExecution</a>
+: <a class="el" href="classSVF_1_1AbstractInterpretation.html#a568e2247536de76694dabfc5a5052b57">SVF::AbstractInterpretation</a>
 </li>
 <li>handleNonCandidateFun()
 : <a class="el" href="classSVF_1_1MHP.html#a2c1e4fac7b810021939ed26307d37816">SVF::MHP</a>
@@ -217,26 +217,26 @@ $(function() {
 : <a class="el" href="classSVF_1_1MTASVFGBuilder.html#a1802d8ed854bef817afa748d2bbcea05">SVF::MTASVFGBuilder</a>
 </li>
 <li>handleStrcat()
-: <a class="el" href="classSVF_1_1AbstractExecution.html#a28c04e0a985eda44fe8532c44c7e05bb">SVF::AbstractExecution</a>
+: <a class="el" href="classSVF_1_1AbstractInterpretation.html#acba90e968cebacca3da78ac765df33ef">SVF::AbstractInterpretation</a>
 </li>
 <li>handleStrcpy()
-: <a class="el" href="classSVF_1_1AbstractExecution.html#a0ed5456bdeaff7ab4e1decdff8ae2afb">SVF::AbstractExecution</a>
+: <a class="el" href="classSVF_1_1AbstractInterpretation.html#ac941d1eb9b1216c8334d0685a471b774">SVF::AbstractInterpretation</a>
 </li>
 <li>handleSVFStatement()
-: <a class="el" href="classSVF_1_1AbstractExecution.html#a1d725fe50a7084bfa18bd47b941af885">SVF::AbstractExecution</a>
+: <a class="el" href="classSVF_1_1AbstractInterpretation.html#a896d04a02951947bc228bf97b2c00313">SVF::AbstractInterpretation</a>
 , <a class="el" href="classSVF_1_1BufOverflowChecker.html#a0b79c3694a08100d2d8d1b8109998131">SVF::BufOverflowChecker</a>
 </li>
 <li>handleTypedef()
 : <a class="el" href="classSVF_1_1DCHGraph.html#a6d97a772afe16c1483e65eea81f82603">SVF::DCHGraph</a>
 </li>
 <li>handleWTONode()
-: <a class="el" href="classSVF_1_1AbstractExecution.html#a6c06e39df9b60a25480b4f485d1c2cbb">SVF::AbstractExecution</a>
+: <a class="el" href="classSVF_1_1AbstractInterpretation.html#a80d663262a8d909ef5756391cdd82246">SVF::AbstractInterpretation</a>
 </li>
 <li>HareParForEdge()
 : <a class="el" href="classSVF_1_1HareParForEdge.html#a097ccd687d7ca511a4a453dd56b7c665">SVF::HareParForEdge</a>
 </li>
 <li>has_bottom()
-: <a class="el" href="classSVF_1_1IntervalESBase.html#a2387b671954d5c1fdd4b08b71ffa0e6c">SVF::IntervalESBase</a>
+: <a class="el" href="classSVF_1_1AbstractState.html#a52aa9356624716fcaecc3c55bf7043c4">SVF::AbstractState</a>
 </li>
 <li>has_static()
 : <a class="el" href="classSVF_1_1ExtAPI.html#a9ba485eb5c452f8fb273c625126bad96">SVF::ExtAPI</a>
@@ -260,7 +260,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1VFG.html#a88f6468b9b43bbb06ef757d884580a50">SVF::VFG</a>
 </li>
 <li>hasBranchES()
-: <a class="el" href="classSVF_1_1AbstractExecution.html#a28df4f2bd5b337468f254cd609adb25f">SVF::AbstractExecution</a>
+: <a class="el" href="classSVF_1_1AbstractInterpretation.html#a8095a9c37c9ca4b96f2279df6f59bbf9">SVF::AbstractInterpretation</a>
 </li>
 <li>hasCallGraphEdge()
 : <a class="el" href="classSVF_1_1PTACallGraph.html#af8df9ca6d906453fa3f7168aa84fd087">SVF::PTACallGraph</a>
@@ -287,7 +287,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1MemSSA.html#abfb338ce36ad46a9654d50dd6e2b07f1">SVF::MemSSA</a>
 </li>
 <li>hasCmpBranchES()
-: <a class="el" href="classSVF_1_1AbstractExecution.html#ac7a25ad5cbc1a6132869ae54b805f73a">SVF::AbstractExecution</a>
+: <a class="el" href="classSVF_1_1AbstractInterpretation.html#ae0c0148baf6f7510bf8e70ee3ad626bf">SVF::AbstractInterpretation</a>
 </li>
 <li>hasConstraintNode()
 : <a class="el" href="classSVF_1_1ConstraintGraph.html#aad6c37476edfd9ae92dc8c0d004d782d">SVF::ConstraintGraph</a>
@@ -377,20 +377,18 @@ $(function() {
 , <a class="el" href="classSVF_1_1TCT.html#adb2025048dc69f0689f526c58df29802">SVF::TCT</a>
 </li>
 <li>hash()
-: <a class="el" href="classSVF_1_1ConsExeState.html#a374e087ef40804ed00a631ed22e91590">SVF::ConsExeState</a>
+: <a class="el" href="classSVF_1_1AbstractState.html#a38608261ed9a3f7b25cd68748456924b">SVF::AbstractState</a>
 , <a class="el" href="classSVF_1_1CoreBitVector.html#af979ecb48d3d5296bce5bd0b4676e359">SVF::CoreBitVector</a>
-, <a class="el" href="classSVF_1_1ExeState.html#a2e63af0f29d04484c09cca217b799986">SVF::ExeState</a>
-, <a class="el" href="classSVF_1_1IntervalESBase.html#a2ecbba4a55776562262b6ddc9f0d9101">SVF::IntervalESBase</a>
-, <a class="el" href="classSVF_1_1IntervalExeState.html#a85b0e711160d67ea84f426025b980dce">SVF::IntervalExeState</a>
 , <a class="el" href="classSVF_1_1PointsTo.html#a32b52339998976ec5bdd9f2cc7ed9e3f">SVF::PointsTo</a>
 , <a class="el" href="classSVF_1_1RelExeState.html#a021da964784427cfb9f4353e2678ce73">SVF::RelExeState</a>
+, <a class="el" href="classSVF_1_1SparseAbstractState.html#a1b8fd82fa6d63135a32acd33e3618354">SVF::SparseAbstractState</a>
 , <a class="el" href="classSVF_1_1Z3Expr.html#a631cb7cee0e1f9b7204b9293f4e516a9">SVF::Z3Expr</a>
 </li>
 <li>hasICFGNode()
 : <a class="el" href="classSVF_1_1ICFG.html#a16c2ed1f9e28c84669b14dc48fb3c01a">SVF::ICFG</a>
 </li>
 <li>hasIncomingEdge()
-: <a class="el" href="classSVF_1_1GenericNode.html#a06a7373b11143e709784de784fa476fe">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a>
+: <a class="el" href="classSVF_1_1GenericNode.html#add6b6b3bd45a9460335c5db9eda821b8">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a>
 </li>
 <li>hasIncomingEdges()
 : <a class="el" href="classSVF_1_1SVFVar.html#a747b2c92c81d32fcd357e80d2d8fe7cc">SVF::SVFVar</a>
@@ -406,7 +404,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1PTACallGraph.html#a71a63c53a093ea8e450fb53fd60c9424">SVF::PTACallGraph</a>
 </li>
 <li>hasInEdgesES()
-: <a class="el" href="classSVF_1_1AbstractExecution.html#a6f02cd1885c0879cb88149c91998291f">SVF::AbstractExecution</a>
+: <a class="el" href="classSVF_1_1AbstractInterpretation.html#adb96deda4bbb81956a6cfa5740503cb7">SVF::AbstractInterpretation</a>
 </li>
 <li>hasInterICFGEdge()
 : <a class="el" href="classSVF_1_1ICFG.html#a86535e50d1feba706b19491d905baef1">SVF::ICFG</a>
@@ -435,7 +433,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1TCT.html#a59125bb4878bc347dbdbc74aa6ec4cdf">SVF::TCT</a>
 </li>
 <li>hasLabeledEdge()
-: <a class="el" href="classSVF_1_1IRGraph.html#a1c999e2fd771e4fda192af096e3ec92c">SVF::IRGraph</a>
+: <a class="el" href="classSVF_1_1IRGraph.html#a192e584440eb141e0d35d8fed671bbe0">SVF::IRGraph</a>
 </li>
 <li>hasLoop()
 : <a class="el" href="classSVF_1_1TCT.html#a103d85882e753fe90893a4f0e78dda26">SVF::TCT</a>
@@ -527,7 +525,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1SymbolTableInfo.html#af678e138df136d6f3cd53826dfa4486c">SVF::SymbolTableInfo</a>
 </li>
 <li>hasSwitchBranchES()
-: <a class="el" href="classSVF_1_1AbstractExecution.html#adc740771e712644d08f95fc6c488c1af">SVF::AbstractExecution</a>
+: <a class="el" href="classSVF_1_1AbstractInterpretation.html#ad5e8e749aec9d1c040c6be7eb26748e2">SVF::AbstractInterpretation</a>
 </li>
 <li>hasTCTNode()
 : <a class="el" href="classSVF_1_1TCT.html#a5d5a753b4d2633e3aaf58859274ffe7a">SVF::TCT</a>
@@ -539,7 +537,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1ICFG.html#a29fb70d6638765ce291c5a8a11fbea64">SVF::ICFG</a>
 </li>
 <li>hasThreadJoinEdge()
-: <a class="el" href="classSVF_1_1ThreadCallGraph.html#a5f7c92af1a4ce33e4746f5b65c9c8421">SVF::ThreadCallGraph</a>
+: <a class="el" href="classSVF_1_1ThreadCallGraph.html#a98214e970762f43d0e9ad719961b4021">SVF::ThreadCallGraph</a>
 </li>
 <li>hasThreadStmtSet()
 : <a class="el" href="classSVF_1_1MHP.html#a27d031e9c7c4706d7ee1750668e83b99">SVF::MHP</a>

package/SVF-doxygen/html/functions_func_i.html

@@ -147,7 +147,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1CoreBitVector.html#ad73fca28bd4882eaa70817023a632d35">SVF::CoreBitVector</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>indirectCallsBegin()
 : <a class="el" href="classSVF_1_1PTACallGraphEdge.html#afbdb582d20ab953b2de1f3efacb74679">SVF::PTACallGraphEdge</a>
@@ -214,14 +214,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()
@@ -268,8 +265,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>
@@ -289,8 +285,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>
@@ -300,27 +295,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>inSameCallGraphSCC()
 : <a class="el" href="classSVF_1_1PointerAnalysis.html#ae58c2b25494ec51e714c83c6cfd5dd67">SVF::PointerAnalysis</a>
@@ -333,6 +321,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>
@@ -345,9 +336,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>
@@ -414,13 +402,7 @@ $(function() {
 , <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>
-<li>IntervalExeState()
-: <a class="el" href="classSVF_1_1IntervalExeState.html#adce87f96e58b25bd6ff046e6608f4d2c">SVF::IntervalExeState</a>
+: <a class="el" href="classSVF_1_1AbstractState.html#a55ef37a2d9636d030feaaac041a1b081">SVF::AbstractState</a>
 </li>
 <li>IntervalValue()
 : <a class="el" href="classSVF_1_1IntervalValue.html#ad51535cb50a03df7a439b4e5b5d305f0">SVF::IntervalValue</a>
@@ -453,19 +435,14 @@ $(function() {
 : <a class="el" href="classSVF_1_1IntraPHIVFGNode.html#a65222075e49bb88601a6f1ac51cdace3">SVF::IntraPHIVFGNode</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>
@@ -486,14 +463,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>
@@ -510,7 +489,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()
@@ -520,7 +500,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>
@@ -531,7 +512,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>
@@ -541,6 +523,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>
@@ -619,13 +604,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>
@@ -709,7 +690,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>
@@ -734,7 +715,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1SaberCondAllocator.html#aa9027574586fd4fbb12039f595ecec71">SVF::SaberCondAllocator</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>
@@ -784,7 +765,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>
@@ -796,7 +777,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>
@@ -856,7 +837,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()
@@ -918,6 +899,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>
@@ -971,7 +955,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#a512741dffe68d4bbb761c5c178ea8c67">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>
@@ -1020,17 +1004,11 @@ $(function() {
 : <a class="el" href="classSVF_1_1MRGenerator.html#a2cf20660f2fd686fa3cabd046c4a10bf">SVF::MRGenerator</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>
@@ -1062,7 +1040,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#a3e2e629a588b44ed39e529babb59a4f9">SVF::LockAnalysis</a>
+: <a class="el" href="classSVF_1_1LockAnalysis.html#a32c0c5bdd676302f1c9e797d540278d8">SVF::LockAnalysis</a>
 </li>
 <li>isProtectedByCommonLock()
 : <a class="el" href="classSVF_1_1LockAnalysis.html#a213bd0dfeba620498dabcfa4fa3a018c">SVF::LockAnalysis</a>
@@ -1103,7 +1081,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>
@@ -1215,21 +1193,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#af8ea2da28e9818d4f9e4e9528997f023">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#a3e175d985de53d0aadb026168e8a1a0e">SVF::ThreadAPI</a>
@@ -1238,7 +1210,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>
@@ -1247,7 +1219,7 @@ $(function() {
 </li>
 <li>isTDRelease()
 : <a class="el" href="classSVF_1_1LockAnalysis.html#ad1184e1c2d583fa0b03bd1892152925a">SVF::LockAnalysis</a>
-, <a class="el" href="classSVF_1_1ThreadAPI.html#a1d5c84fd83e120820bfb3458e0231fdf">SVF::ThreadAPI</a>
+, <a class="el" href="classSVF_1_1ThreadAPI.html#a1bba2e9df7a74e7e2f728267ff4bfe0f">SVF::ThreadAPI</a>
 </li>
 <li>isTemplate()
 : <a class="el" href="classSVF_1_1CHNode.html#aff23fda93401c60422a4a5a08d77d749">SVF::CHNode</a>
@@ -1269,13 +1241,9 @@ $(function() {
 : <a class="el" href="classSVF_1_1VFGEdge.html#ace832abe1ec87e3e2338944061d09ea4">SVF::VFGEdge</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>
@@ -1286,6 +1254,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>
@@ -1318,11 +1289,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>
@@ -1347,7 +1317,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1CopyStmt.html#a3b86c7bb4d9d59af3195537a932958b9">SVF::CopyStmt</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_range()
 : <a class="el" href="classSVF_1_1iter__range.html#aa4d5bc9762f2d7686b9ab36078e0a319">SVF::iter_range&lt; IteratorT &gt;</a>

package/SVF-doxygen/html/functions_func_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>joinsitesBegin()
 : <a class="el" href="classSVF_1_1ThreadCallGraph.html#a98ecfe14be2d38d292b5919716cdd29d">SVF::ThreadCallGraph</a>
@@ -76,10 +76,8 @@ $(function() {
 : <a class="el" href="classSVF_1_1ThreadCallGraph.html#a50502f398e5eac9c6da3e26ea6052057">SVF::ThreadCallGraph</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>jsonAddContentToObject()
 : <a class="el" href="classSVF_1_1SVFIRWriter.html#a65591d58a251b7f7384126aabccd64a1">SVF::SVFIRWriter</a>