svf-tools 1.0.905 → 1.0.907

package/SVF-doxygen/html/functions_g.html

@@ -68,7 +68,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1GraphWriter.html#a0ac109f9b3c3b3fe3cb61bbef09e0d29">SVF::GraphWriter&lt; GraphType &gt;</a>
 </li>
 <li>gamma_hat()
-: <a class="el" href="classSVF_1_1RelationSolver.html#af860063ccaeca043bac84eb9eb2cf80a">SVF::RelationSolver</a>
+: <a class="el" href="classSVF_1_1RelationSolver.html#a04f145c44a67ebda99ccc5a3081239ff">SVF::RelationSolver</a>
 </li>
 <li>gatherAggs()
 : <a class="el" href="classSVF_1_1DCHGraph.html#a8fcbea9435a77beb27ad64d5a3175b0b">SVF::DCHGraph</a>
@@ -196,13 +196,13 @@ $(function() {
 : <a class="el" href="classSVF_1_1GepVFGNode.html#a0c5d942e163a732ce78af81327e73ab2">SVF::GepVFGNode</a>
 </li>
 <li>geq()
-: <a class="el" href="classSVF_1_1BoundedZ3Expr.html#acce45e2300e0c1871efec36e727ed77d">SVF::BoundedZ3Expr</a>
+: <a class="el" href="structSVF_1_1AbstractValue.html#a2149ff7a710668c55ad4eb2878df9a56">SVF::AbstractValue</a>
+, <a class="el" href="classSVF_1_1BoundedZ3Expr.html#acce45e2300e0c1871efec36e727ed77d">SVF::BoundedZ3Expr</a>
 , <a class="el" href="classSVF_1_1IntervalValue.html#a312f9257f8562fce510c1257d8a6e4df">SVF::IntervalValue</a>
 , <a class="el" href="classSVF_1_1NumericLiteral.html#ab8ea498ca849eb969e721772d432b29d">SVF::NumericLiteral</a>
-, <a class="el" href="classSVF_1_1SingleAbsValue.html#a1cd0c6b14e0cdfb82aba7f8b8734e72a">SVF::SingleAbsValue</a>
 </li>
 <li>geqVarToValMap()
-: <a class="el" href="classSVF_1_1IntervalESBase.html#a7f8254581235c03a3fad17e51d00db0c">SVF::IntervalESBase</a>
+: <a class="el" href="classSVF_1_1AbstractState.html#a16486a0c6d9a1bb1ac19673b41a16a0e">SVF::AbstractState</a>
 </li>
 <li>get()
 : <a class="el" href="classSVF_1_1NodeIDAllocator.html#a2bd3ca30fc9669d9a0327544bdb4557b">SVF::NodeIDAllocator</a>
@@ -225,12 +225,6 @@ $(function() {
 <li>get_sort()
 : <a class="el" href="classSVF_1_1Z3Expr.html#a8b2b5fa74704d776a2cd415b599a1393">SVF::Z3Expr</a>
 </li>
-<li>getAbstractState()
-: <a class="el" href="classSVF_1_1SymState.html#ace7b6c80e86443e8bda390d8281be250">SVF::SymState</a>
-</li>
-<li>getAbstractValueKind()
-: <a class="el" href="classSVF_1_1AbstractValue.html#a74bc740e894dfbdb2253bedc2851dd2e">SVF::AbstractValue</a>
-</li>
 <li>getAccessLb()
 : <a class="el" href="structSVF_1_1BufOverflowException.html#a9c169e68b0c793909d643e3e266434fe">SVF::BufOverflowException</a>
 </li>
@@ -281,11 +275,9 @@ $(function() {
 : <a class="el" href="classSVF_1_1ConstraintNode.html#a9058618987da9d21156cea72a5d5ddad">SVF::ConstraintNode</a>
 </li>
 <li>getAddrs()
-: <a class="el" href="classSVF_1_1ConsExeState.html#a17ba209c5045d53c7df66d5cf031f8a4">SVF::ConsExeState</a>
-, <a class="el" href="classSVF_1_1ExeState.html#a3b340ae2aad86f6125d24b42ec8901d0">SVF::ExeState</a>
-, <a class="el" href="classSVF_1_1IntervalESBase.html#a5b199cda24038f6f60fe4fa6b6d6bb76">SVF::IntervalESBase</a>
-, <a class="el" href="classSVF_1_1IntervalExeState.html#a056e0db56033ac4dc041e6d82d614dbd">SVF::IntervalExeState</a>
-, <a class="el" href="classSVF_1_1SVFIR2ItvExeState.html#a48fec38aad1c2a9a140ee94e9fdd7e9b">SVF::SVFIR2ItvExeState</a>
+: <a class="el" href="structSVF_1_1AbstractValue.html#ab1fe6a57f784971b3bc603dbfda746e8">SVF::AbstractValue</a>
+, <a class="el" href="classSVF_1_1SparseAbstractState.html#a6749b39cd32b138578f7ff12669d36c3">SVF::SparseAbstractState</a>
+, <a class="el" href="classSVF_1_1SVFIR2AbsState.html#aa3e62b9ef912def502b95992199f5d8c">SVF::SVFIR2AbsState</a>
 </li>
 <li>getAggs()
 : <a class="el" href="classSVF_1_1DCHGraph.html#a159e158c794fff115d5642b85963f43b">SVF::DCHGraph</a>
@@ -305,7 +297,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1SVFIR.html#a7276e82b4648ed0e1b3d1b8b37b24089">SVF::SVFIR</a>
 </li>
 <li>getAllocaInstByteSize()
-: <a class="el" href="classSVF_1_1AbstractExecution.html#a598cb7b97bae122d0015c03b72beee9d">SVF::AbstractExecution</a>
+: <a class="el" href="classSVF_1_1AbstractInterpretation.html#a0e8b546f608417e218c2fab5a5893135">SVF::AbstractInterpretation</a>
 </li>
 <li>getAllocLb()
 : <a class="el" href="structSVF_1_1BufOverflowException.html#af8a7272c33f826f0079d5a31f6c5d547">SVF::BufOverflowException</a>
@@ -446,9 +438,6 @@ $(function() {
 <li>getBranchCond()
 : <a class="el" href="classSVF_1_1SaberCondAllocator.html#a7d5ec3597ef0befe3b928c04db706d7a">SVF::SaberCondAllocator</a>
 </li>
-<li>getBranchCondition()
-: <a class="el" href="classSVF_1_1SymState.html#a0705ae2a96a3ea5aa07cc2db928946bc">SVF::SymState</a>
-</li>
 <li>getBranchConditions()
 : <a class="el" href="classSVF_1_1CDGEdge.html#aedf54ed1ce3b77c3565390ddc52bd438">SVF::CDGEdge</a>
 </li>
@@ -485,7 +474,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1CondPTAImpl.html#a94f3e4d073b8c5bab3c46058ddba3f43">SVF::CondPTAImpl&lt; Cond &gt;</a>
 </li>
 <li>getByteOffset()
-: <a class="el" href="classSVF_1_1SVFIR2ItvExeState.html#a335922caf105ee72cd9d66a451ae3d4e">SVF::SVFIR2ItvExeState</a>
+: <a class="el" href="classSVF_1_1SVFIR2AbsState.html#a21e927af79c73460ff5629cbd4961163">SVF::SVFIR2AbsState</a>
 </li>
 <li>getByteSize()
 : <a class="el" href="classSVF_1_1SVFType.html#a95b8031f1e15d49c7d68628be1d05aae">SVF::SVFType</a>
@@ -783,12 +772,10 @@ $(function() {
 , <a class="el" href="classSVF_1_1CxtProc.html#a99b0f68b4cbd733f91eea33aa3e64eb7">SVF::CxtProc</a>
 , <a class="el" href="classSVF_1_1CxtStmt.html#a3ce19b8f2de2e199ed4165dbe9d21f28">SVF::CxtStmt</a>
 , <a class="el" href="classSVF_1_1CxtThread.html#a93d75593046e26eafcf1af3a596bba4a">SVF::CxtThread</a>
-, <a class="el" href="classSVF_1_1ExeState.html#a35a28ef0a8acd14f44e6755eff424d9d">SVF::ExeState</a>
 , <a class="el" href="classSVF_1_1LLVMModuleSet.html#ac1a9d20d62066ec4e181fad223669e32">SVF::LLVMModuleSet</a>
 , <a class="el" href="classSVF_1_1NumericLiteral.html#a32f68f45719c8be05357d7622dd66f6b">SVF::NumericLiteral</a>
 , <a class="el" href="classSVF_1_1RelExeState.html#a9f41158b546faa706bc40c061cfa79be">SVF::RelExeState</a>
-, <a class="el" href="classSVF_1_1SingleAbsValue.html#ae0c7a037d08c7759f577ef8e76fb733e">SVF::SingleAbsValue</a>
-, <a class="el" href="classSVF_1_1SVFIR2ItvExeState.html#aff392b7d4b703223338700209c2567cd">SVF::SVFIR2ItvExeState</a>
+, <a class="el" href="classSVF_1_1SVFIR2AbsState.html#a36a428b990477a204cd73151680259a2">SVF::SVFIR2AbsState</a>
 , <a class="el" href="classSVF_1_1Z3Expr.html#acfdff582a0188678c10939165a40df30">SVF::Z3Expr</a>
 , <a class="el" href="classSymblicAbstractionTest.html#ab41926db0c2711a98319c8d544c7c7e2">SymblicAbstractionTest</a>
 </li>
@@ -1119,8 +1106,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1CFGrammar.html#a79d4babef29a8206379a0fc4017d5f29">SVF::CFGrammar</a>
 </li>
 <li>getEs()
-: <a class="el" href="classSVF_1_1SVFIR2ConsExeState.html#ae6ce6caa5645ae5c7cb24e094d4be78f">SVF::SVFIR2ConsExeState</a>
-, <a class="el" href="classSVF_1_1SVFIR2ItvExeState.html#a56434326130c8127c823097ad764947b">SVF::SVFIR2ItvExeState</a>
+: <a class="el" href="classSVF_1_1SVFIR2AbsState.html#a260c4ccfd79a2b9dbd580fa2030ac238">SVF::SVFIR2AbsState</a>
 </li>
 <li>getEscapObjviaGlobals()
 : <a class="el" href="classSVF_1_1MRGenerator.html#add22c9a95478dea21148e87c8dfc584a">SVF::MRGenerator</a>
@@ -1140,12 +1126,6 @@ $(function() {
 <li>getEventType()
 : <a class="el" href="classSVF_1_1SVFBugEvent.html#a7ded0022f3852a08a05c67aeae77162f">SVF::SVFBugEvent</a>
 </li>
-<li>getExecutionState()
-: <a class="el" href="classSVF_1_1SymState.html#aaaaa4e2a25d1cce483272a5da91886bd">SVF::SymState</a>
-</li>
-<li>getExeStateKind()
-: <a class="el" href="classSVF_1_1ExeState.html#ab7f7de02202838bb9e3da5410983cfb1">SVF::ExeState</a>
-</li>
 <li>getExitBB()
 : <a class="el" href="classSVF_1_1SVFFunction.html#ac4c28c8d205d354f3a982119f29f2aac">SVF::SVFFunction</a>
 </li>
@@ -1183,9 +1163,6 @@ $(function() {
 <li>getFalseValue()
 : <a class="el" href="classSVF_1_1SelectStmt.html#af64d7855e352a0afb5d2e98a8622a4ad">SVF::SelectStmt</a>
 </li>
-<li>getFalseZ3Expr()
-: <a class="el" href="classSVF_1_1ConsExeState.html#a4997055a5a0a87db5420c569a43a9376">SVF::ConsExeState</a>
-</li>
 <li>getFieldJson()
 : <a class="el" href="classSVF_1_1GenericGraphReader.html#a8da8ebe9e599e8319f737d168978ae4d">SVF::GenericGraphReader&lt; NodeTy, EdgeTy &gt;</a>
 , <a class="el" href="classSVF_1_1SVFModuleReader.html#afce6ca7086e086be62013bc2b90b34bc">SVF::SVFModuleReader</a>
@@ -1283,13 +1260,13 @@ $(function() {
 : <a class="el" href="classSVF_1_1ProgSlice.html#aae54f4e8a827f55abe08762b69d9f84b">SVF::ProgSlice</a>
 </li>
 <li>getFPToSIntValue()
-: <a class="el" href="classSVF_1_1SVFIR2ItvExeState.html#ad53e6d2fc9d1410df236584bb66c585a">SVF::SVFIR2ItvExeState</a>
+: <a class="el" href="classSVF_1_1SVFIR2AbsState.html#af48bab5352f5d1927aa467e1eb59c09f">SVF::SVFIR2AbsState</a>
 </li>
 <li>getFPToUIntValue()
-: <a class="el" href="classSVF_1_1SVFIR2ItvExeState.html#a25165fdbe2b56b34ee8ab094bbe89494">SVF::SVFIR2ItvExeState</a>
+: <a class="el" href="classSVF_1_1SVFIR2AbsState.html#ae6a36e79bdc4506f9f011ad100125444">SVF::SVFIR2AbsState</a>
 </li>
 <li>getFPTruncValue()
-: <a class="el" href="classSVF_1_1SVFIR2ItvExeState.html#ad633ce5462cf878b4bc9e6e5ab079354">SVF::SVFIR2ItvExeState</a>
+: <a class="el" href="classSVF_1_1SVFIR2AbsState.html#a5ba833f2f98f5b1b1a8a7ff7ecdb72b9">SVF::SVFIR2AbsState</a>
 </li>
 <li>getFPValue()
 : <a class="el" href="classSVF_1_1SVFConstantFP.html#aeb4e17aacb17c53ff5663175dd762abc">SVF::SVFConstantFP</a>
@@ -1395,8 +1372,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1ConstraintNode.html#ac645cf2114161981cd4465c83cbc31f5">SVF::ConstraintNode</a>
 </li>
 <li>getGepObjAddress()
-: <a class="el" href="classSVF_1_1SVFIR2ConsExeState.html#afff5713e758d8f698d0cb5e2a341e16f">SVF::SVFIR2ConsExeState</a>
-, <a class="el" href="classSVF_1_1SVFIR2ItvExeState.html#af8d06156bcbb61beb305ed8096319966">SVF::SVFIR2ItvExeState</a>
+: <a class="el" href="classSVF_1_1SVFIR2AbsState.html#a10a83572bf5dee369b54cda74f402073">SVF::SVFIR2AbsState</a>
 </li>
 <li>getGepObjNodeMap()
 : <a class="el" href="classSVF_1_1SVFIR.html#ac1674bd25a17cae24141e6bff24a411e">SVF::SVFIR</a>
@@ -1406,9 +1382,6 @@ $(function() {
 , <a class="el" href="classSVF_1_1PointerAnalysis.html#aac6ccf3dc313e3c6761bb57316829da8">SVF::PointerAnalysis</a>
 , <a class="el" href="classSVF_1_1SVFIR.html#ae18425df0631aefca7dd4b799f6f524a">SVF::SVFIR</a>
 </li>
-<li>getGepOffset()
-: <a class="el" href="classSVF_1_1SVFIR2ConsExeState.html#ae7720cdcb509ecfccbda141986643684">SVF::SVFIR2ConsExeState</a>
-</li>
 <li>getGepOutEdges()
 : <a class="el" href="classSVF_1_1ConstraintNode.html#a19d3d2c996ba821227a836717e5443c8">SVF::ConstraintNode</a>
 </li>
@@ -1571,11 +1544,10 @@ $(function() {
 : <a class="el" href="classSVF_1_1MHP.html#a653460ed316804bea377eecdde412d36">SVF::MHP</a>
 </li>
 <li>getInternalID()
-: <a class="el" href="classSVF_1_1AddressValue.html#a3be7a2e3ec3215b67cd60f122d2cd10e">SVF::AddressValue</a>
-, <a class="el" href="classSVF_1_1ExeState.html#ab72f3bc855feeda75e11768ab03ad84e">SVF::ExeState</a>
+: <a class="el" href="classSVF_1_1AbstractState.html#aaabe5850dbf1620c6058f5ac6cb169b6">SVF::AbstractState</a>
+, <a class="el" href="classSVF_1_1AddressValue.html#a3be7a2e3ec3215b67cd60f122d2cd10e">SVF::AddressValue</a>
 , <a class="el" href="classSVF_1_1RelExeState.html#ab03410a5a0014d77d4f95f3a0bf45bfd">SVF::RelExeState</a>
-, <a class="el" href="classSVF_1_1SVFIR2ConsExeState.html#aecf3751401ad00024b0c7204b9385397">SVF::SVFIR2ConsExeState</a>
-, <a class="el" href="classSVF_1_1SVFIR2ItvExeState.html#a66c426719f583653cb70189f01d6fda5">SVF::SVFIR2ItvExeState</a>
+, <a class="el" href="classSVF_1_1SVFIR2AbsState.html#ac37760566b534d89a61d789b00efb993">SVF::SVFIR2AbsState</a>
 </li>
 <li>getInternalNode()
 : <a class="el" href="classSVF_1_1PointsTo.html#aeda7466cdd9f77978981e2a518baa863">SVF::PointsTo</a>
@@ -1583,6 +1555,9 @@ $(function() {
 <li>getIntersList()
 : <a class="el" href="classSVF_1_1IntraDisjointMRG.html#aa8c653e895ff0889615cdbf349be7652">SVF::IntraDisjointMRG</a>
 </li>
+<li>getInterval()
+: <a class="el" href="structSVF_1_1AbstractValue.html#acbcec6f55d23e6cd278fe8572a68f393">SVF::AbstractValue</a>
+</li>
 <li>getInterVFEdgeAtIndCSFromAInToFIn()
 : <a class="el" href="classSVF_1_1SVFG.html#afbaf925e1e165f75161999229fa5f782">SVF::SVFG</a>
 </li>
@@ -1599,13 +1574,11 @@ $(function() {
 : <a class="el" href="classSVF_1_1SVFG.html#a49fc2c505720d5cfa57231529d1c7534">SVF::SVFG</a>
 </li>
 <li>getIntNumeral()
-: <a class="el" href="classSVF_1_1BoundedZ3Expr.html#a38f6609bbf9faf010ee5b3c317db5506">SVF::BoundedZ3Expr</a>
+: <a class="el" href="structSVF_1_1AbstractValue.html#ac9149740b6c33f33e70cc2aa4f89040e">SVF::AbstractValue</a>
+, <a class="el" href="classSVF_1_1BoundedZ3Expr.html#a38f6609bbf9faf010ee5b3c317db5506">SVF::BoundedZ3Expr</a>
 , <a class="el" href="classSVF_1_1IntervalValue.html#a4f9d13c0f642fcad6ddb86ea79fac6e3">SVF::IntervalValue</a>
 , <a class="el" href="classSVF_1_1NumericLiteral.html#a8e19113913c2aa236ab35d3bdd49541c">SVF::NumericLiteral</a>
 </li>
-<li>getIntOneZ3Expr()
-: <a class="el" href="classSVF_1_1ConsExeState.html#abc69e7a4742ed1a925d7b0b72d2b9497">SVF::ConsExeState</a>
-</li>
 <li>getIntraBlock()
 : <a class="el" href="classSVF_1_1ICFG.html#afeee2b61f8a84e1276f8955c4f6cf22d">SVF::ICFG</a>
 </li>
@@ -1624,11 +1597,8 @@ $(function() {
 <li>getIntraVFGEdge()
 : <a class="el" href="classSVF_1_1VFG.html#ae1348fd6d196ee8a6bd8d98022464d50">SVF::VFG</a>
 </li>
-<li>getIntZeroZ3Expr()
-: <a class="el" href="classSVF_1_1ConsExeState.html#a7c96f8b3a9ba3d6d648a59388ef26ca6">SVF::ConsExeState</a>
-</li>
 <li>getItvOfFlattenedElemIndex()
-: <a class="el" href="classSVF_1_1SVFIR2ItvExeState.html#a6e4e3eeca9d25fb5eab496faeb6264c3">SVF::SVFIR2ItvExeState</a>
+: <a class="el" href="classSVF_1_1SVFIR2AbsState.html#a928b35a6ea960a94470b0983008bfa9d">SVF::SVFIR2AbsState</a>
 </li>
 <li>getJoinEdgeBegin()
 : <a class="el" href="classSVF_1_1ThreadCallGraph.html#af848d7cb8a9f756ff45cca45adbf3b84">SVF::ThreadCallGraph</a>
@@ -1651,11 +1621,8 @@ $(function() {
 <li>getJoinSites()
 : <a class="el" href="classSVF_1_1ThreadCallGraph.html#aa8be8d48d680b3f2e61b2d8af5e9eddc">SVF::ThreadCallGraph</a>
 </li>
-<li>getKeyNodesSet()
-: <a class="el" href="classSVF_1_1SymState.html#a2916e86763235f565f2a3276631d0d30">SVF::SymState</a>
-</li>
 <li>getKind()
-: <a class="el" href="classSVF_1_1AbstractExecution.html#a6c381287424a3623cfdae5a75d2a9c9b">SVF::AbstractExecution</a>
+: <a class="el" href="classSVF_1_1AbstractInterpretation.html#a5a17c9de696332a712879d1a7bc77fb5">SVF::AbstractInterpretation</a>
 , <a class="el" href="classSVF_1_1CommonCHGraph.html#adf2a02fff9d7dd9fc9d92121e5e28f8b">SVF::CommonCHGraph</a>
 , <a class="el" href="classSVF_1_1PTACallGraph.html#ac6a294ec1c88862c8f7d54000f04e1f7">SVF::PTACallGraph</a>
 , <a class="el" href="classSVF_1_1SVFType.html#a4bc7962d519c1c0380b5a6a144c91c51">SVF::SVFType</a>
@@ -1737,10 +1704,6 @@ $(function() {
 : <a class="el" href="classSVF_1_1GenericBug.html#abbc86875488c27e53e5c36e95c472b20">SVF::GenericBug</a>
 , <a class="el" href="classSVF_1_1StmtDPItem.html#a3616c94c4394b61c757ffcd39888d5b9">SVF::StmtDPItem&lt; LocCond &gt;</a>
 </li>
-<li>getLocAddrs()
-: <a class="el" href="classSVF_1_1IntervalESBase.html#a04145be14d0b0f60eb0f357e0ec7a92c">SVF::IntervalESBase</a>
-, <a class="el" href="classSVF_1_1IntervalExeState.html#a053ad8e95d16e2ec047c64258c2021f2">SVF::IntervalExeState</a>
-</li>
 <li>getLockAnalysis()
 : <a class="el" href="classSVF_1_1MTA.html#a76ea96c430365132011f1a4edf0d5570">SVF::MTA</a>
 </li>
@@ -1751,23 +1714,15 @@ $(function() {
 : <a class="el" href="classSVF_1_1LockAnalysis.html#aa3c4548e8f8e47cd716081bda2574ff3">SVF::LockAnalysis</a>
 , <a class="el" href="classSVF_1_1ThreadAPI.html#a758955bf256ab9c16fb9f17e23cc25e0">SVF::ThreadAPI</a>
 </li>
-<li>getLocToAddrs()
-: <a class="el" href="classSVF_1_1ExeState.html#aa7b897b107d722909f9de9dcbabad7cf">SVF::ExeState</a>
-</li>
 <li>getLocToDPMVecMap()
 : <a class="el" href="classSVF_1_1DDAVFSolver.html#ad849ae4509e88832f784c748468ab959">SVF::DDAVFSolver&lt; CVar, CPtSet, DPIm &gt;</a>
 </li>
 <li>getLocToVal()
-: <a class="el" href="classSVF_1_1ConsExeState.html#adf45b2d4b73220e80a1265f4e1b1ee35">SVF::ConsExeState</a>
-, <a class="el" href="classSVF_1_1IntervalESBase.html#af7451ea87d5117a90b5912a1e6f34e10">SVF::IntervalESBase</a>
+: <a class="el" href="classSVF_1_1AbstractState.html#ab409b0084c202ddf437b45873d6992c6">SVF::AbstractState</a>
 , <a class="el" href="classSVF_1_1RelExeState.html#a3eb51c26ae9c87e1457d6515e6d537f9">SVF::RelExeState</a>
 </li>
-<li>getLocVal()
-: <a class="el" href="classSVF_1_1IntervalESBase.html#a844658f360b23a9872a74082f7600535">SVF::IntervalESBase</a>
-, <a class="el" href="classSVF_1_1IntervalExeState.html#ad955967016e901391aaa0c3170ff43b6">SVF::IntervalExeState</a>
-</li>
 <li>getLoop()
-: <a class="el" href="classSVF_1_1TCT.html#a35f0fd73e0d752a426284eb4406ecca2">SVF::TCT</a>
+: <a class="el" href="classSVF_1_1TCT.html#af227b820ee93765e6b5c9eb9aad30c91">SVF::TCT</a>
 </li>
 <li>getLoopAndDomInfo()
 : <a class="el" href="classSVF_1_1SVFFunction.html#a5798ecc742ee74e357d13eea751258c4">SVF::SVFFunction</a>
@@ -1836,8 +1791,8 @@ $(function() {
 : <a class="el" href="classSVF_1_1MRGenerator.html#ae487d7b800d7536b578095c9f140ac80">SVF::MRGenerator</a>
 </li>
 <li>getModRefInfo()
-: <a class="el" href="classSVF_1_1MRGenerator.html#ac14c99ee6064fc9cf30120a83c78e702">SVF::MRGenerator</a>
-, <a class="el" href="classSVF_1_1WPAPass.html#af402037fa1a5cffee0db9b97f49d3473">SVF::WPAPass</a>
+: <a class="el" href="classSVF_1_1MRGenerator.html#a3604b6e29860be15ea5b5dc028b84af8">SVF::MRGenerator</a>
+, <a class="el" href="classSVF_1_1WPAPass.html#a081be672a9fc1b1fd93f00d390b8fc95">SVF::WPAPass</a>
 </li>
 <li>getModSideEffectOfCallSite()
 : <a class="el" href="classSVF_1_1MRGenerator.html#a1535832f5b1ae3178fea950bf71fdd99">SVF::MRGenerator</a>
@@ -2002,9 +1957,6 @@ $(function() {
 : <a class="el" href="classSVF_1_1CallSite.html#a6b7a7e6da24425a3b15aa1803c673288">SVF::CallSite</a>
 , <a class="el" href="classSVF_1_1SVFCallInst.html#ab8ea07e329ce09b1874d482465724121">SVF::SVFCallInst</a>
 </li>
-<li>getNumber()
-: <a class="el" href="classSVF_1_1ConsExeState.html#a3efeeb8311b868c4a7fc2df69f061317">SVF::ConsExeState</a>
-</li>
 <li>getNumeral()
 : <a class="el" href="classSVF_1_1BoundedZ3Expr.html#af62c2d6bc40080b9728c107cf317184b">SVF::BoundedZ3Expr</a>
 , <a class="el" href="classSVF_1_1IntervalValue.html#ae081b5c462f8ed5b306719822e35cea9">SVF::IntervalValue</a>
@@ -2176,7 +2128,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1RaceResultValidator.html#afdd89e26a7c168762bfe85746252827f">SVF::RaceResultValidator</a>
 </li>
 <li>getOutputforInterlevAnalysis()
-: <a class="el" href="classSVF_1_1MTAResultValidator.html#a9f7c30f6bb29630101b034009f7d944c">SVF::MTAResultValidator</a>
+: <a class="el" href="classSVF_1_1MTAResultValidator.html#ac24a8a6922d9dc9edecab3bc45bc9204">SVF::MTAResultValidator</a>
 </li>
 <li>getPAG()
 : <a class="el" href="classSVF_1_1FSMPTA.html#ad93ee6450a9eb498369bf63acc9f6578">SVF::FSMPTA</a>
@@ -2251,7 +2203,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1MemSSA.html#a82ab0d35c95aeefbc4dfc8eb59033dca">SVF::MemSSA</a>
 </li>
 <li>getPointeeElement()
-: <a class="el" href="classSVF_1_1AbstractExecution.html#a888fd56160afe0d431c47bcf10674dc0">SVF::AbstractExecution</a>
+: <a class="el" href="classSVF_1_1AbstractInterpretation.html#a2057e8e1c0aaf39e74f0a8fb2a1b580c">SVF::AbstractInterpretation</a>
 </li>
 <li>getPointsTo()
 : <a class="el" href="classSVF_1_1IndirectSVFGEdge.html#a30aca718d25924f1babdf348bb0ace71">SVF::IndirectSVFGEdge</a>
@@ -2265,7 +2217,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1WriterPtrPool.html#a5df00a28f394187fee526a96a4065a78">SVF::WriterPtrPool&lt; T &gt;</a>
 </li>
 <li>getPostDomTreeMap()
-: <a class="el" href="classSVF_1_1SVFLoopAndDomInfo.html#ad07f95e790b5c3a50c864155aa20a083">SVF::SVFLoopAndDomInfo</a>
+: <a class="el" href="classSVF_1_1SVFLoopAndDomInfo.html#a6b87fa0530b6d94f201a0989b35c2277">SVF::SVFLoopAndDomInfo</a>
 </li>
 <li>getPredecessors()
 : <a class="el" href="classSVF_1_1SVFBasicBlock.html#ac6fabc508f6b64127bb597f7b2110231">SVF::SVFBasicBlock</a>
@@ -2274,7 +2226,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1CmpStmt.html#aa6a21fb1cfbc263bb38651176c495632">SVF::CmpStmt</a>
 </li>
 <li>getPredInstructions()
-: <a class="el" href="classSVF_1_1SVFInstruction.html#acc18d048b6f6b07bf1786980bb2d74f8">SVF::SVFInstruction</a>
+: <a class="el" href="classSVF_1_1SVFInstruction.html#a51c967b9e808b077562fbf25a04bafdc">SVF::SVFInstruction</a>
 </li>
 <li>getPredMap()
 : <a class="el" href="classSVF_1_1POCRSolver.html#a585aa205c1da08d33aac52552a8a1a75">SVF::POCRSolver</a>
@@ -2284,8 +2236,8 @@ $(function() {
 </li>
 <li>getPreviousMemoryAccessInst()
 : <a class="el" href="classSVF_1_1LockResultValidator.html#aaca2654ba49d2f79c9404a476b5b3079">SVF::LockResultValidator</a>
-, <a class="el" href="classSVF_1_1MTAResultValidator.html#a2ddf3189b3f90986752282b1c6bd003d">SVF::MTAResultValidator</a>
-, <a class="el" href="classSVF_1_1RaceResultValidator.html#ad029f7a9a5161191a44d1e841f9d6114">SVF::RaceResultValidator</a>
+, <a class="el" href="classSVF_1_1MTAResultValidator.html#ab3ba3c6d9c40e97febdab0e7d4ad9a3e">SVF::MTAResultValidator</a>
+, <a class="el" href="classSVF_1_1RaceResultValidator.html#a869debcc97519e8b89725dfa53ad4b70">SVF::RaceResultValidator</a>
 </li>
 <li>getPrevNodes()
 : <a class="el" href="classSVF_1_1MTASVFGBuilder.html#a7b034f9f8f01823ecfb7f6c17e47b502">SVF::MTASVFGBuilder</a>
@@ -2354,7 +2306,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1PersistentDFPTData.html#a2adbaa59c46d611a448594b74745e986">SVF::PersistentDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 , <a class="el" href="classSVF_1_1PersistentDiffPTData.html#ab1246073bd0e0395528f8ec53281e315">SVF::PersistentDiffPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 , <a class="el" href="classSVF_1_1PersistentPTData.html#a82621bb9b53ccb479cb7278df9a4e366">SVF::PersistentPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
-, <a class="el" href="classSVF_1_1PersistentVersionedPTData.html#abcfcbbb3fab89b89168409c1f714e1ed">SVF::PersistentVersionedPTData&lt; Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet &gt;</a>
+, <a class="el" href="classSVF_1_1PersistentVersionedPTData.html#ae705d46ac78d39f0779c0bf05e39f8b3">SVF::PersistentVersionedPTData&lt; Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet &gt;</a>
 , <a class="el" href="classSVF_1_1PointerAnalysis.html#a4dfb43679e9fa794ebad99b6584c32ec">SVF::PointerAnalysis</a>
 , <a class="el" href="classSVF_1_1PTData.html#a9ae6037637d8b9acb323333f491f4a7d">SVF::PTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 , <a class="el" href="classSVF_1_1Steensgaard.html#adbcb9af660ab9bb0202bd32342280486">SVF::Steensgaard</a>
@@ -2371,7 +2323,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1IntraDisjointMRG.html#ae3c857c056f4e6e863843bafba7fdea1">SVF::IntraDisjointMRG</a>
 </li>
 <li>getRangeLimitFromType()
-: <a class="el" href="classSVF_1_1SVFIR2ItvExeState.html#afbb9ff1f2c47d2afda117bf63a80a1a7">SVF::SVFIR2ItvExeState</a>
+: <a class="el" href="classSVF_1_1SVFIR2AbsState.html#a4e032a5e0898f0e349927d5a86c8477c">SVF::SVFIR2AbsState</a>
 </li>
 <li>getRawProductions()
 : <a class="el" href="classSVF_1_1GrammarBase.html#a4561438149716c91178ea013686f66ae">SVF::GrammarBase</a>
@@ -2381,7 +2333,8 @@ $(function() {
 , <a class="el" href="classSVF_1_1SVFLoopAndDomInfo.html#a95099f1b621c4f0d6d53798d7eab4e3b">SVF::SVFLoopAndDomInfo</a>
 </li>
 <li>getRealNumeral()
-: <a class="el" href="classSVF_1_1BoundedZ3Expr.html#aa9305d8e1b9ba3201522704f39295d90">SVF::BoundedZ3Expr</a>
+: <a class="el" href="structSVF_1_1AbstractValue.html#a46a5222d34abc6a195f414adc208092b">SVF::AbstractValue</a>
+, <a class="el" href="classSVF_1_1BoundedZ3Expr.html#aa9305d8e1b9ba3201522704f39295d90">SVF::BoundedZ3Expr</a>
 , <a class="el" href="classSVF_1_1IntervalValue.html#aa13c0ab01450d10c9603ea46f0fe3293">SVF::IntervalValue</a>
 , <a class="el" href="classSVF_1_1NumericLiteral.html#aa69f9536301d6529eb1d0caaec2fcc63">SVF::NumericLiteral</a>
 </li>
@@ -2398,7 +2351,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1MemRegion.html#a99f106d47fd67f1ae53e144d72a223c9">SVF::MemRegion</a>
 </li>
 <li>getRelEs()
-: <a class="el" href="classSVF_1_1SVFIR2ItvExeState.html#a26f2ed7999321f7037be625a9ebef226">SVF::SVFIR2ItvExeState</a>
+: <a class="el" href="classSVF_1_1SVFIR2AbsState.html#ae2ee40a59aec3fb7c7abc4ddb7784bcf">SVF::SVFIR2AbsState</a>
 </li>
 <li>getReliantVersions()
 : <a class="el" href="classSVF_1_1VersionedFlowSensitive.html#ae83c62a01196991d116ef5c36cb51e31">SVF::VersionedFlowSensitive</a>
@@ -2450,7 +2403,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1ICFGBuilder.html#a31a2810fe664f45da147f4bd0a0410d6">SVF::ICFGBuilder</a>
 </li>
 <li>getRetParmAtJoinedSite()
-: <a class="el" href="classSVF_1_1ThreadAPI.html#acbd4d2403cc9ebb01b82844d8c4eeb54">SVF::ThreadAPI</a>
+: <a class="el" href="classSVF_1_1ThreadAPI.html#a24e1734230ec053c218d4d4774b9bfd0">SVF::ThreadAPI</a>
 </li>
 <li>getRetPE()
 : <a class="el" href="classSVF_1_1RetCFGEdge.html#af84bf360ca641711a3c625de86feb603">SVF::RetCFGEdge</a>
@@ -2517,7 +2470,7 @@ $(function() {
 </li>
 <li>getSExtValue()
 : <a class="el" href="classSVF_1_1SVFConstantInt.html#a73f04bdfc19261b65164b98787bc2ed4">SVF::SVFConstantInt</a>
-, <a class="el" href="classSVF_1_1SVFIR2ItvExeState.html#a5d65dbc9a43181494a32d41a03065685">SVF::SVFIR2ItvExeState</a>
+, <a class="el" href="classSVF_1_1SVFIR2AbsState.html#aa925878721ae7028c3edae0c7fe8e127">SVF::SVFIR2AbsState</a>
 </li>
 <li>getSiblingThread()
 : <a class="el" href="classSVF_1_1TCT.html#a60e63f6ddfe78c4cf4fd3a70875b727f">SVF::TCT</a>
@@ -2540,7 +2493,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1SrcSnkDDA.html#a1145c601df2e3dec1e32e43613447b96">SVF::SrcSnkDDA</a>
 </li>
 <li>getSIntToFPValue()
-: <a class="el" href="classSVF_1_1SVFIR2ItvExeState.html#ad3b0ac993ccfb0846f62aeb5eaf62b30">SVF::SVFIR2ItvExeState</a>
+: <a class="el" href="classSVF_1_1SVFIR2AbsState.html#af38b6e392cfd91b3516f2bc9feacce34">SVF::SVFIR2AbsState</a>
 </li>
 <li>getSolver()
 : <a class="el" href="classSVF_1_1Z3Expr.html#a16721e960145864d0835eb95f2ae4681">SVF::Z3Expr</a>
@@ -2644,7 +2597,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1MTAResultValidator.html#a75057911bf08c167ead4232c4a2b25f4">SVF::MTAResultValidator</a>
 </li>
 <li>getStrlen()
-: <a class="el" href="classSVF_1_1AbstractExecution.html#a99be86146ad4ddbdb900cdb6b324f943">SVF::AbstractExecution</a>
+: <a class="el" href="classSVF_1_1AbstractInterpretation.html#a5bba3c0570d73acc743742a30af1b0b4">SVF::AbstractInterpretation</a>
 </li>
 <li>getStrongUpdateStores()
 : <a class="el" href="classSVF_1_1DDAStat.html#a26b018fc5677e33876bee1200c270e60">SVF::DDAStat</a>
@@ -2676,10 +2629,10 @@ $(function() {
 : <a class="el" href="classSVF_1_1SVFInstruction.html#a281d6b024afeeb96bac281eb23ce3f1f">SVF::SVFInstruction</a>
 </li>
 <li>getSuccMap()
-: <a class="el" href="classSVF_1_1POCRSolver.html#aac57a7a39ba314e5f16977848417e652">SVF::POCRSolver</a>
+: <a class="el" href="classSVF_1_1POCRSolver.html#ab0c8049934aab960ee734db76086016a">SVF::POCRSolver</a>
 </li>
 <li>getSuccNodes()
-: <a class="el" href="classSVF_1_1MTASVFGBuilder.html#a7033805052c8fae5cd0104fdd9e345c0">SVF::MTASVFGBuilder</a>
+: <a class="el" href="classSVF_1_1MTASVFGBuilder.html#a8164ae39b494115142767abc29cebd53">SVF::MTASVFGBuilder</a>
 </li>
 <li>getSuccs()
 : <a class="el" href="classSVF_1_1POCRSolver.html#ac3ee0745b684b851c3bac9b55bcbb7b9">SVF::POCRSolver</a>
@@ -2697,7 +2650,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1LLVMModuleSet.html#a25821b0feeb3b08e00ec9d444520b727">SVF::LLVMModuleSet</a>
 </li>
 <li>getSVFFunction()
-: <a class="el" href="classSVF_1_1LLVMModuleSet.html#a50fc24901350df9db890ba16a9b87e33">SVF::LLVMModuleSet</a>
+: <a class="el" href="classSVF_1_1LLVMModuleSet.html#a6ff4127e778810f613e594782643ad22">SVF::LLVMModuleSet</a>
 , <a class="el" href="classSVF_1_1SVFModule.html#afdb11f5fcbb6e7ed2689e3387bb78850">SVF::SVFModule</a>
 </li>
 <li>getSVFG()
@@ -2794,7 +2747,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1ThreadAPI.html#a8c6617f2df59ff166b13242060707013">SVF::ThreadAPI</a>
 </li>
 <li>getTaskFuncAtHareParForSite()
-: <a class="el" href="classSVF_1_1ThreadAPI.html#ae72d7dcd1e0836e5d1c5a2c682abe31c">SVF::ThreadAPI</a>
+: <a class="el" href="classSVF_1_1ThreadAPI.html#ab15b12637a557b53b92e9087eaf66cd6">SVF::ThreadAPI</a>
 </li>
 <li>getTCG()
 : <a class="el" href="classSVF_1_1ForkJoinAnalysis.html#a8ad9b8cb0e6300b2ffc55244e53cece6">SVF::ForkJoinAnalysis</a>
@@ -2863,14 +2816,12 @@ $(function() {
 <li>getTrueValue()
 : <a class="el" href="classSVF_1_1SelectStmt.html#a537c03b08444da34c26b9e989bb0e568">SVF::SelectStmt</a>
 </li>
-<li>getTrueZ3Expr()
-: <a class="el" href="classSVF_1_1ConsExeState.html#a823502a869baf70a07294e265601cf2f">SVF::ConsExeState</a>
-</li>
 <li>getTruncValue()
-: <a class="el" href="classSVF_1_1SVFIR2ItvExeState.html#a15dbee007f3afb718a202f50fa87177f">SVF::SVFIR2ItvExeState</a>
+: <a class="el" href="classSVF_1_1SVFIR2AbsState.html#a38a62cdec2fac4ad2e64b86b4eb3b0bf">SVF::SVFIR2AbsState</a>
 </li>
 <li>getType()
-: <a class="el" href="classSVF_1_1CallSite.html#a93e70225ce9c55ca65ea9d5cf737206f">SVF::CallSite</a>
+: <a class="el" href="structSVF_1_1AbstractValue.html#aa4eedea82ef602431a17973afadff0a6">SVF::AbstractValue</a>
+, <a class="el" href="classSVF_1_1CallSite.html#a93e70225ce9c55ca65ea9d5cf737206f">SVF::CallSite</a>
 , <a class="el" href="classSVF_1_1DCHNode.html#aaf4036d892bdae02a01d31bfe3db2153">SVF::DCHNode</a>
 , <a class="el" href="classSVF_1_1GepObjVar.html#a1134621fcfa81732f882784aa4197e11">SVF::GepObjVar</a>
 , <a class="el" href="classSVF_1_1GepValVar.html#a1e2309d2f36422a15216f9916325e554">SVF::GepValVar</a>
@@ -2902,7 +2853,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1SVFArrayType.html#a28da1169748e38b891133b76568a2759">SVF::SVFArrayType</a>
 </li>
 <li>getUIntToFPValue()
-: <a class="el" href="classSVF_1_1SVFIR2ItvExeState.html#aaeef5c66931c38f2ea2002b53b255530">SVF::SVFIR2ItvExeState</a>
+: <a class="el" href="classSVF_1_1SVFIR2AbsState.html#ae247497ab346e612f645d39041b2ce32">SVF::SVFIR2AbsState</a>
 </li>
 <li>getUnaryOPVFGNode()
 : <a class="el" href="classSVF_1_1VFG.html#a1ba67eb17437a1a47c230614c1e3d9fd">SVF::VFG</a>
@@ -2961,12 +2912,8 @@ $(function() {
 <li>getVariabledKind()
 : <a class="el" href="classSVF_1_1GrammarBase.html#ad7321168f53baa55098f7c714ec53f1e">SVF::GrammarBase</a>
 </li>
-<li>getVarToAddrs()
-: <a class="el" href="classSVF_1_1ExeState.html#a0710c9cc1a3c40c95cd362d49bea459b">SVF::ExeState</a>
-</li>
 <li>getVarToVal()
-: <a class="el" href="classSVF_1_1ConsExeState.html#a990f50ae338a2e332d333bb3fc04c520">SVF::ConsExeState</a>
-, <a class="el" href="classSVF_1_1IntervalESBase.html#a903797577ba99ef57879774a3849bbfe">SVF::IntervalESBase</a>
+: <a class="el" href="classSVF_1_1AbstractState.html#a4e4525823fd31c718216c698ed6e0a06">SVF::AbstractState</a>
 , <a class="el" href="classSVF_1_1RelExeState.html#a9c64d2699cb67cdf8d1c3c23aebf2c4a">SVF::RelExeState</a>
 </li>
 <li>getVersion()
@@ -3027,11 +2974,10 @@ $(function() {
 : <a class="el" href="classSVF_1_1CHNode.html#a5df1cf4d51bf3406d188c96bc9aae0af">SVF::CHNode</a>
 </li>
 <li>getVirtualMemAddress()
-: <a class="el" href="classSVF_1_1AddressValue.html#aa6ccc9882f89804cd6566e3dfe3dfdc8">SVF::AddressValue</a>
-, <a class="el" href="classSVF_1_1ExeState.html#a2f01e583abcdeb236a11e85c7a8aafdc">SVF::ExeState</a>
+: <a class="el" href="classSVF_1_1AbstractState.html#aa594b7f3d1590073a88bcc73918dde39">SVF::AbstractState</a>
+, <a class="el" href="classSVF_1_1AddressValue.html#aa6ccc9882f89804cd6566e3dfe3dfdc8">SVF::AddressValue</a>
 , <a class="el" href="classSVF_1_1RelExeState.html#a24408ea140a8d0b5a9fdd1d9d2fbd296">SVF::RelExeState</a>
-, <a class="el" href="classSVF_1_1SVFIR2ConsExeState.html#a83b1f0b78e6cd7e45721d32a0998c3a7">SVF::SVFIR2ConsExeState</a>
-, <a class="el" href="classSVF_1_1SVFIR2ItvExeState.html#a0c4be1dd8e7a2877c0cc76c404f6945a">SVF::SVFIR2ItvExeState</a>
+, <a class="el" href="classSVF_1_1SVFIR2AbsState.html#a63d855cf3342454ce5154fa7605f9935">SVF::SVFIR2AbsState</a>
 </li>
 <li>getVTable()
 : <a class="el" href="classSVF_1_1CHNode.html#aa49ae91e2dd45c94f3d7694eb7e6737b">SVF::CHNode</a>
@@ -3049,13 +2995,13 @@ $(function() {
 </li>
 <li>getZExtValue()
 : <a class="el" href="classSVF_1_1SVFConstantInt.html#aabc3c47a6e4036bf993fe29fa195bf1e">SVF::SVFConstantInt</a>
-, <a class="el" href="classSVF_1_1SVFIR2ItvExeState.html#a1fba1d6d8b8d4de37e644ee229a0e5c5">SVF::SVFIR2ItvExeState</a>
+, <a class="el" href="classSVF_1_1SVFIR2AbsState.html#ad78244e7e7b203619e8065598e0d519d">SVF::SVFIR2AbsState</a>
 </li>
 <li>global_begin()
-: <a class="el" href="classSVF_1_1SVFModule.html#af81c6deed3978562f83f120119c6aad2">SVF::SVFModule</a>
+: <a class="el" href="classSVF_1_1SVFModule.html#a4dc32c583d29d74d052eaa5665b0b70e">SVF::SVFModule</a>
 </li>
 <li>global_end()
-: <a class="el" href="classSVF_1_1SVFModule.html#afa9068e662918f6649d5ca25340a3ae2">SVF::SVFModule</a>
+: <a class="el" href="classSVF_1_1SVFModule.html#a8a34164634d6ad9a7b76175907c8c44b">SVF::SVFModule</a>
 </li>
 <li>global_iterator
 : <a class="el" href="classSVF_1_1SVFModule.html#a4cf1ca2e9f045a0520b0a8a6cd5993f2">SVF::SVFModule</a>
@@ -3069,9 +3015,6 @@ $(function() {
 <li>globalBlockNode
 : <a class="el" href="classSVF_1_1ICFG.html#a8e43b27d4484a4acb575e4c1c6c8fd02">SVF::ICFG</a>
 </li>
-<li>globalConsES
-: <a class="el" href="classSVF_1_1ConsExeState.html#ac3ea5c4d65fac8934276a1ad12c97d06">SVF::ConsExeState</a>
-</li>
 <li>GlobalDefToRepMap
 : <a class="el" href="classSVF_1_1LLVMModuleSet.html#ae2a1fa0b908cf372c50af90e62c4bf2b">SVF::LLVMModuleSet</a>
 </li>
@@ -3079,13 +3022,13 @@ $(function() {
 : <a class="el" href="classSVF_1_1LLVMModuleSet.html#a4dc808f3f69a87c74933d1f6183d1459">SVF::LLVMModuleSet</a>
 </li>
 <li>globalES
-: <a class="el" href="classSVF_1_1IntervalExeState.html#a92b1b163493a74a31d30a261128edd05">SVF::IntervalExeState</a>
+: <a class="el" href="classSVF_1_1SparseAbstractState.html#a1683fd7da77812137b839b8c417200fe">SVF::SparseAbstractState</a>
 </li>
 <li>GlobalICFGNode()
 : <a class="el" href="classSVF_1_1GlobalICFGNode.html#a01e8a9844fcad1cc5faa22d8b0e0efd7">SVF::GlobalICFGNode</a>
 </li>
 <li>globalNulladdrs
-: <a class="el" href="classSVF_1_1SVFIR2ItvExeState.html#a1579525f7cf7779aba58c4bdde2be4b0">SVF::SVFIR2ItvExeState</a>
+: <a class="el" href="classSVF_1_1SVFIR2AbsState.html#a46a2f2eedd729f4764f630d72391ec97">SVF::SVFIR2AbsState</a>
 </li>
 <li>GlobalSet
 : <a class="el" href="classSVF_1_1SVFModule.html#a4ff4bbd1771615757fc6575282046e30">SVF::SVFModule</a>