svf-tools 1.0.905 → 1.0.907

package/SVF-doxygen/html/functions_s.html

@@ -117,12 +117,12 @@ $(function() {
 <li>SB_SLICESOURCE
 : <a class="el" href="classSVF_1_1Annotator.html#a01900f5ada5948361cc18857aee26744">SVF::Annotator</a>
 </li>
-<li>sbv
-: <a class="el" href="classSVF_1_1PointsTo.html#aecd6b98c0687de59aebb297ec38a7084">SVF::PointsTo</a>
-</li>
 <li>SBV
 : <a class="el" href="classSVF_1_1PointsTo.html#a8f757f92ebf0a2ebdb5e6b001606923eacccb6e19f3e8db5f5b5b8858b22da61a">SVF::PointsTo</a>
 </li>
+<li>sbv
+: <a class="el" href="classSVF_1_1PointsTo.html#aecd6b98c0687de59aebb297ec38a7084">SVF::PointsTo</a>
+</li>
 <li>sbvIt
 : <a class="el" href="classSVF_1_1PointsTo_1_1PointsToIterator.html#a735a2a9f0c3f4bc3997edf11b133c0f9">SVF::PointsTo::PointsToIterator</a>
 </li>
@@ -131,13 +131,11 @@ $(function() {
 </li>
 <li>SCC
 : <a class="el" href="classSVF_1_1MRGenerator.html#af8d52e6c9884c6e1abc6dbcbc5e32629">SVF::MRGenerator</a>
+, <a class="el" href="classSVF_1_1WPASolver.html#a1352953966be14b2a1d6244f35e74a33">SVF::WPASolver&lt; GraphType &gt;</a>
 </li>
 <li>scc
 : <a class="el" href="classSVF_1_1WPASolver.html#a1d3b2a21385c775f355e188e2abe345e">SVF::WPASolver&lt; GraphType &gt;</a>
 </li>
-<li>SCC
-: <a class="el" href="classSVF_1_1WPASolver.html#a1352953966be14b2a1d6244f35e74a33">SVF::WPASolver&lt; GraphType &gt;</a>
-</li>
 <li>sccCandidates
 : <a class="el" href="classSVF_1_1AndersenSCD.html#aeb0b3644c3bfbfa5768b92c99aeeef40">SVF::AndersenSCD</a>
 </li>
@@ -209,14 +207,12 @@ $(function() {
 : <a class="el" href="classSVF_1_1BoundedZ3Expr.html#ad781e43e6d1e1fd2392e51737b7898b9">SVF::BoundedZ3Expr</a>
 </li>
 <li>set_to_bottom()
-: <a class="el" href="classSVF_1_1IntervalValue.html#ac763bab0b6fedbe5ec5b345c7b260e30">SVF::IntervalValue</a>
+: <a class="el" href="structSVF_1_1AbstractValue.html#a4336345336e3515aae635daa66d89d96">SVF::AbstractValue</a>
+, <a class="el" href="classSVF_1_1IntervalValue.html#ac763bab0b6fedbe5ec5b345c7b260e30">SVF::IntervalValue</a>
 </li>
 <li>set_to_top()
-: <a class="el" href="classSVF_1_1IntervalValue.html#a8a9edd3eb9c31ecff090953301bf822d">SVF::IntervalValue</a>
-, <a class="el" href="classSVF_1_1SingleAbsValue.html#afef13058a5d730798bd8b10cdf3e5ea3">SVF::SingleAbsValue</a>
-</li>
-<li>setAbsState()
-: <a class="el" href="classSVF_1_1SymState.html#a1f946132843a9bdf5099b243613079be">SVF::SymState</a>
+: <a class="el" href="structSVF_1_1AbstractValue.html#a3fe75cb81e297f8437206635f8dc3575">SVF::AbstractValue</a>
+, <a class="el" href="classSVF_1_1IntervalValue.html#a8a9edd3eb9c31ecff090953301bf822d">SVF::IntervalValue</a>
 </li>
 <li>setAccessLb()
 : <a class="el" href="structSVF_1_1BufOverflowException.html#a5ba160b90bcd053ca2bb25484dfa0147">SVF::BufOverflowException</a>
@@ -256,7 +252,6 @@ $(function() {
 </li>
 <li>setBranchCondition()
 : <a class="el" href="classSVF_1_1IntraCFGEdge.html#ad7b35b7c9abb07122eaa8517dae56508">SVF::IntraCFGEdge</a>
-, <a class="el" href="classSVF_1_1SymState.html#aae6109025931aea5d066a62058f584a6">SVF::SymState</a>
 </li>
 <li>setByteSizeOfObj()
 : <a class="el" href="classSVF_1_1ObjTypeInfo.html#ac093156bfb46c07675ae201f449cdca0">SVF::ObjTypeInfo</a>
@@ -341,8 +336,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1SVFIRReader.html#aec95a42a5e46be50457fb3a8e9de7fbf">SVF::SVFIRReader</a>
 </li>
 <li>setEs()
-: <a class="el" href="classSVF_1_1SVFIR2ConsExeState.html#a7421cab74f02c7ab54aefb3242ed6c77">SVF::SVFIR2ConsExeState</a>
-, <a class="el" href="classSVF_1_1SVFIR2ItvExeState.html#a2e9ecde8db07741daa112649c432cbfd">SVF::SVFIR2ItvExeState</a>
+: <a class="el" href="classSVF_1_1SVFIR2AbsState.html#a05c1e3d5240466dda229080df6cb48f5">SVF::SVFIR2AbsState</a>
 </li>
 <li>setExitBlock()
 : <a class="el" href="classSVF_1_1SVFFunction.html#abd458bb5a035d3f7db32fac5f01b57f3">SVF::SVFFunction</a>
@@ -403,14 +397,12 @@ $(function() {
 <li>setIsUncalledFunction()
 : <a class="el" href="classSVF_1_1SVFFunction.html#a37f89063b55ff657a07e186224338ce8">SVF::SVFFunction</a>
 </li>
-<li>setKeyNodesSet()
-: <a class="el" href="classSVF_1_1SymState.html#a2b4bdce23c28d5f635db6b48ce9aba11">SVF::SymState</a>
-</li>
 <li>setKindToAttrsMap()
 : <a class="el" href="classSVF_1_1GrammarBase.html#a082342020848e545c983df4d5ec6720a">SVF::GrammarBase</a>
 </li>
 <li>setLb()
-: <a class="el" href="classSVF_1_1IntervalValue.html#adf3cae41adaeb62c3b5da19e81adbb5d">SVF::IntervalValue</a>
+: <a class="el" href="structSVF_1_1AbstractValue.html#a46e4b0c8fbe6d15cb5a37f14d45a9628">SVF::AbstractValue</a>
+, <a class="el" href="classSVF_1_1IntervalValue.html#adf3cae41adaeb62c3b5da19e81adbb5d">SVF::IntervalValue</a>
 </li>
 <li>setLoc()
 : <a class="el" href="classSVF_1_1StmtDPItem.html#a9ba9ab1013a36530369aa6d684397f4f">SVF::StmtDPItem&lt; LocCond &gt;</a>
@@ -536,7 +528,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1ProgSlice.html#a397632ce0c523c4a54c5dc578606d14d">SVF::ProgSlice</a>
 </li>
 <li>setRelEs()
-: <a class="el" href="classSVF_1_1SVFIR2ItvExeState.html#af0b6abd2310a9bf0311760b290114341">SVF::SVFIR2ItvExeState</a>
+: <a class="el" href="classSVF_1_1SVFIR2AbsState.html#ab58a5cc7a2bc6c38e87c8e5beb725b7a">SVF::SVFIR2AbsState</a>
 </li>
 <li>setRep()
 : <a class="el" href="classSVF_1_1ConstraintGraph.html#abea65bf6dd43aa312082f8d4c7c3e3cb">SVF::ConstraintGraph</a>
@@ -600,13 +592,15 @@ $(function() {
 : <a class="el" href="classSVF_1_1SVFArrayType.html#a56179bc4c145adce210adab80c61be7a">SVF::SVFArrayType</a>
 </li>
 <li>setUb()
-: <a class="el" href="classSVF_1_1IntervalValue.html#aa3b742bd0116a6b7bf290286902b470b">SVF::IntervalValue</a>
+: <a class="el" href="structSVF_1_1AbstractValue.html#a06ea85e55fe086044b5b7fe6ae8e6be0">SVF::AbstractValue</a>
+, <a class="el" href="classSVF_1_1IntervalValue.html#aa3b742bd0116a6b7bf290286902b470b">SVF::IntervalValue</a>
 </li>
 <li>setVals()
 : <a class="el" href="classSVF_1_1AddressValue.html#a0fed06401997d4259d7ef183343f1949">SVF::AddressValue</a>
 </li>
 <li>setValue()
 : <a class="el" href="classOption.html#ab40684f5ece904e9b81180ca1012b0b6">Option&lt; T &gt;</a>
+, <a class="el" href="structSVF_1_1AbstractValue.html#a5055f8071b2e44176912f950598f8b00">SVF::AbstractValue</a>
 , <a class="el" href="classSVF_1_1IntervalValue.html#a8de8e78efcee26d74fe3d34c405dee0a">SVF::IntervalValue</a>
 , <a class="el" href="classSVF_1_1SVFStmt.html#a6ae58a22d43361904c7033f5c790da38">SVF::SVFStmt</a>
 </li>
@@ -667,7 +661,6 @@ $(function() {
 </li>
 <li>shl
 : <a class="el" href="classSVF_1_1BoundedZ3Expr.html#a416f47980daf109467f3b2dddd50e047">SVF::BoundedZ3Expr</a>
-, <a class="el" href="classSVF_1_1SingleAbsValue.html#a42eed004077d61a0c062e1752844d0a6">SVF::SingleAbsValue</a>
 , <a class="el" href="classSVF_1_1Z3Expr.html#a7b6e7cd3b0b8681a4f4885e658632dce">SVF::Z3Expr</a>
 </li>
 <li>ShowHiddenNode
@@ -685,21 +678,14 @@ $(function() {
 </li>
 <li>simplify()
 : <a class="el" href="classSVF_1_1BoundedZ3Expr.html#a7f5158affedda8ddf53ec6cb442a6297">SVF::BoundedZ3Expr</a>
-, <a class="el" href="classSVF_1_1SingleAbsValue.html#a7009d1a2517b29dda0bb58e5676687c2">SVF::SingleAbsValue</a>
 , <a class="el" href="classSVF_1_1Z3Expr.html#afb3478316592a395c6d473791b5a0981">SVF::Z3Expr</a>
 </li>
-<li>SingleAbsValue()
-: <a class="el" href="classSVF_1_1SingleAbsValue.html#ab5e10abb06e9ead59de170d0128b3531">SVF::SingleAbsValue</a>
-</li>
 <li>SingleCondVar
 : <a class="el" href="classSVF_1_1CondPointsToSet.html#a0ef73bd2c1b42439ee6f265e07f17514">SVF::CondPointsToSet&lt; Cond &gt;</a>
 </li>
 <li>singleRHSToProds
 : <a class="el" href="classSVF_1_1CFGrammar.html#a727061855e5c86525e7ea1a165b97346">SVF::CFGrammar</a>
 </li>
-<li>SingleValueK
-: <a class="el" href="classSVF_1_1ExeState.html#a259b93247e06141077b2c1ae15efcbb8acb163848414937d2331958216330a20e">SVF::ExeState</a>
-</li>
 <li>sinks
 : <a class="el" href="classSVF_1_1ProgSlice.html#ab4da58e7c4cd2c80b4830efeaa896f80">SVF::ProgSlice</a>
 , <a class="el" href="classSVF_1_1SrcSnkDDA.html#aaffd4b48be1f99e0450b23f20f034b1e">SVF::SrcSnkDDA</a>
@@ -732,13 +718,13 @@ $(function() {
 : <a class="el" href="classSVF_1_1SVFModuleWriter.html#a0e12ffecb37a42d766522dc65da481e6">SVF::SVFModuleWriter</a>
 </li>
 <li>SkipRecursiveCall()
-: <a class="el" href="classSVF_1_1AbstractExecution.html#a97c5745ddcd0ce72e65dee09ff7afb42">SVF::AbstractExecution</a>
+: <a class="el" href="classSVF_1_1AbstractInterpretation.html#af966130d5cb8d7db786c3ec056cc2dd4">SVF::AbstractInterpretation</a>
 </li>
 <li>SkipRecursiveFunc()
-: <a class="el" href="classSVF_1_1AbstractExecution.html#a7e1c3edfa546182ad394116b37b834f9">SVF::AbstractExecution</a>
+: <a class="el" href="classSVF_1_1AbstractInterpretation.html#a2b0a2f7a662909d999634d0ec08cb29c">SVF::AbstractInterpretation</a>
 </li>
 <li>sliceState()
-: <a class="el" href="classSVF_1_1IntervalESBase.html#a2c15de9b10a74fbcb171ff2f328ce7f2">SVF::IntervalESBase</a>
+: <a class="el" href="classSVF_1_1AbstractState.html#ae9897b85e3cb2dc675d3a2df76c44878">SVF::AbstractState</a>
 </li>
 <li>solve()
 : <a class="el" href="classSVF_1_1CFLAlias.html#a5b7d65e7e74d596d61a1aad75e53cf27">SVF::CFLAlias</a>
@@ -791,6 +777,9 @@ $(function() {
 <li>sourcesEnd()
 : <a class="el" href="classSVF_1_1SrcSnkDDA.html#ad0cb9de24cbc99d148f63b694dc3908e">SVF::SrcSnkDDA</a>
 </li>
+<li>SparseAbstractState()
+: <a class="el" href="classSVF_1_1SparseAbstractState.html#aa73e2d5deebe585ca5cedc55e79f3b04">SVF::SparseAbstractState</a>
+</li>
 <li>SparseBitVector()
 : <a class="el" href="classSVF_1_1SparseBitVector.html#a4f618377a31eba119de672b0be4936bc">SVF::SparseBitVector&lt; ElementSize &gt;</a>
 </li>
@@ -946,14 +935,13 @@ $(function() {
 : <a class="el" href="classSVF_1_1MTASVFGBuilder.html#a772436f5edc7b4bed3a3e8f0e55ac5ce">SVF::MTASVFGBuilder</a>
 </li>
 <li>store()
-: <a class="el" href="classSVF_1_1ConsExeState.html#adbf80e78f27a30f257fa8790f1cb78f5">SVF::ConsExeState</a>
+: <a class="el" href="classSVF_1_1AbstractState.html#a1f935ea8ab16b04699284bf92bbbb23c">SVF::AbstractState</a>
 </li>
 <li>Store
 : <a class="el" href="classSVF_1_1ConstraintEdge.html#a663af27955ba0c545f34fa1f076b7375a20d6a102ddc06257a822ffffcc5a3b47">SVF::ConstraintEdge</a>
 </li>
 <li>store()
-: <a class="el" href="classSVF_1_1IntervalESBase.html#adb26b186ee31bce7449a7b36faa24cc2">SVF::IntervalESBase</a>
-, <a class="el" href="classSVF_1_1RelExeState.html#a3a2d5de4c61fab8b277308a186795a13">SVF::RelExeState</a>
+: <a class="el" href="classSVF_1_1RelExeState.html#a3a2d5de4c61fab8b277308a186795a13">SVF::RelExeState</a>
 </li>
 <li>Store
 : <a class="el" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9aa0f700b514c431ec5329aec49df56dcc">SVF::SVFStmt</a>
@@ -962,9 +950,6 @@ $(function() {
 <li>store2ChiSetMap
 : <a class="el" href="classSVF_1_1MemSSA.html#a73d7465cf166d9ffa9d234d15edb375a">SVF::MemSSA</a>
 </li>
-<li>storeAddrs()
-: <a class="el" href="classSVF_1_1ExeState.html#a99f4437a7e350fec131d48f52082d672">SVF::ExeState</a>
-</li>
 <li>StoreCGEdge()
 : <a class="el" href="classSVF_1_1StoreCGEdge.html#a667b277ef845b866d3b11a7fbfce0815">SVF::StoreCGEdge</a>
 </li>
@@ -1010,12 +995,12 @@ $(function() {
 <li>StoresToMRsMap
 : <a class="el" href="classSVF_1_1MRGenerator.html#afacb458ca832ef459e873b7d90134a8c">SVF::MRGenerator</a>
 </li>
-<li>storesToPointsToMap
-: <a class="el" href="classSVF_1_1MRGenerator.html#a7d86f708743a59aa31c0a9fd6de45dac">SVF::MRGenerator</a>
-</li>
 <li>StoresToPointsToMap
 : <a class="el" href="classSVF_1_1MRGenerator.html#a357e1654e30b2f91f6ea30ea5a52e91d">SVF::MRGenerator</a>
 </li>
+<li>storesToPointsToMap
+: <a class="el" href="classSVF_1_1MRGenerator.html#a7d86f708743a59aa31c0a9fd6de45dac">SVF::MRGenerator</a>
+</li>
 <li>storeTime
 : <a class="el" href="classSVF_1_1FlowSensitive.html#a82b76087363b26fbe749653935569de7">SVF::FlowSensitive</a>
 </li>
@@ -1038,10 +1023,10 @@ $(function() {
 : <a class="el" href="classSVF_1_1NodeIDAllocator.html#a8cf553cd07768aad3f3b91bf3d7c6228">SVF::NodeIDAllocator</a>
 </li>
 <li>STRCAT
-: <a class="el" href="classSVF_1_1AbstractExecution.html#a442fb8eda087f72aa61816213dea43afadcda19decab7b2d85523b1fdbceb23e6">SVF::AbstractExecution</a>
+: <a class="el" href="classSVF_1_1AbstractInterpretation.html#a13fdb4a6a6d09e3504fdad16b88616daae8dad405c06383859d8db715fd455317">SVF::AbstractInterpretation</a>
 </li>
 <li>STRCPY
-: <a class="el" href="classSVF_1_1AbstractExecution.html#a442fb8eda087f72aa61816213dea43afac9539311eec734c966b719990e869b12">SVF::AbstractExecution</a>
+: <a class="el" href="classSVF_1_1AbstractInterpretation.html#a13fdb4a6a6d09e3504fdad16b88616daa93c9b2a9dc4bdfba5a7b23cfa5f80ccb">SVF::AbstractInterpretation</a>
 </li>
 <li>stride
 : <a class="el" href="classSVF_1_1StInfo.html#a6c52ecbeeeeb0dda019c68aec687f2c2">SVF::StInfo</a>
@@ -1065,7 +1050,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1FlowSensitive.html#a8ebe4342c1496b906ee1b6450558c3e8">SVF::FlowSensitive</a>
 </li>
 <li>strRead()
-: <a class="el" href="classSVF_1_1AbstractExecution.html#a63044080ddea89905bc9a4336eb8b2a7">SVF::AbstractExecution</a>
+: <a class="el" href="classSVF_1_1AbstractInterpretation.html#a7dfd11b987d9ff9528277e23191ed95d">SVF::AbstractInterpretation</a>
 </li>
 <li>strToKind()
 : <a class="el" href="classSVF_1_1GrammarBase.html#a3aae4b70e2ee0238808a2126265a2e24">SVF::GrammarBase</a>
@@ -1117,7 +1102,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860ea46330181ad60cd2f0766fb392063ee21">SVF::SVFValue</a>
 </li>
 <li>SVFArgument()
-: <a class="el" href="classSVF_1_1SVFArgument.html#aeeed6b5a59c5bf4eb4af77ec2345dccf">SVF::SVFArgument</a>
+: <a class="el" href="classSVF_1_1SVFArgument.html#a97816023e6da0a37bc1e2878c11eb123">SVF::SVFArgument</a>
 </li>
 <li>SVFArrayTy
 : <a class="el" href="classSVF_1_1SVFType.html#a333e01a9c431c8f53bd2fc597bd5c40cac8c846ff3208d07a4a39c7a21433c6a5">SVF::SVFType</a>
@@ -1135,7 +1120,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860eabd75e113e24174dece49fed343d362fa">SVF::SVFValue</a>
 </li>
 <li>SVFBlackHoleValue()
-: <a class="el" href="classSVF_1_1SVFBlackHoleValue.html#ac057a29cad0944d1b359e6cd23adcec2">SVF::SVFBlackHoleValue</a>
+: <a class="el" href="classSVF_1_1SVFBlackHoleValue.html#a6d94a1c1c0f229165e3327a09521e28c">SVF::SVFBlackHoleValue</a>
 </li>
 <li>SVFBugEvent()
 : <a class="el" href="classSVF_1_1SVFBugEvent.html#af012270169f767655456ae0e09add06a">SVF::SVFBugEvent</a>
@@ -1153,7 +1138,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860ea6dc72702914085c82deb38699b5a6f66">SVF::SVFValue</a>
 </li>
 <li>SVFConstant()
-: <a class="el" href="classSVF_1_1SVFConstant.html#a3aacbc8f43aec414af229be6a9622a08">SVF::SVFConstant</a>
+: <a class="el" href="classSVF_1_1SVFConstant.html#a71fcd1abcde6dfc35f2da9fb25227165">SVF::SVFConstant</a>
 </li>
 <li>SVFConstantData()
 : <a class="el" href="classSVF_1_1SVFConstantData.html#a1ea9ae8d6d2b29c8357132b40de45bf0">SVF::SVFConstantData</a>
@@ -1165,7 +1150,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1SVFConstantInt.html#a66b861e33c5a3911ecd8e6e4441cb664">SVF::SVFConstantInt</a>
 </li>
 <li>SVFConstantNullPtr()
-: <a class="el" href="classSVF_1_1SVFConstantNullPtr.html#a299954e2cad5ee41b51fcff4a92439b3">SVF::SVFConstantNullPtr</a>
+: <a class="el" href="classSVF_1_1SVFConstantNullPtr.html#ae853223a57df1816c3d382113b7b7b70">SVF::SVFConstantNullPtr</a>
 </li>
 <li>SVFConstData
 : <a class="el" href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860eab88017aa421080f4f7a033b2fa37f9ca">SVF::SVFValue</a>
@@ -1181,7 +1166,7 @@ $(function() {
 </li>
 <li>SVFFunction
 : <a class="el" href="classSVF_1_1SVFBasicBlock.html#afcfae770b6ed1235cc1aa6c123b3a048">SVF::SVFBasicBlock</a>
-, <a class="el" href="classSVF_1_1SVFFunction.html#a7e965c21a8afe7fca32d0f41b16361cf">SVF::SVFFunction</a>
+, <a class="el" href="classSVF_1_1SVFFunction.html#a494434af0d933dfd926bedcb8937f0f8">SVF::SVFFunction</a>
 </li>
 <li>SVFFunctionTy
 : <a class="el" href="classSVF_1_1SVFType.html#a333e01a9c431c8f53bd2fc597bd5c40ca01274de074f51be05f2ad6b2d0ca9dd6">SVF::SVFType</a>
@@ -1263,12 +1248,12 @@ $(function() {
 : <a class="el" href="classSVF_1_1ProgSlice.html#af41c438baa739406a35bcb2e9ba431dd">SVF::ProgSlice</a>
 , <a class="el" href="classSVF_1_1SrcSnkDDA.html#ad6935e27bbd95d26a01b22b879efed58">SVF::SrcSnkDDA</a>
 </li>
-<li>SVFGNodeToCondMap
-: <a class="el" href="classSVF_1_1ProgSlice.html#adaf0bb2e3104c9d86d997b2e7c93275e">SVF::ProgSlice</a>
-</li>
 <li>svfgNodeToCondMap
 : <a class="el" href="classSVF_1_1ProgSlice.html#aeda61b2786b128e8c45089de60dcafce">SVF::ProgSlice</a>
 </li>
+<li>SVFGNodeToCondMap
+: <a class="el" href="classSVF_1_1ProgSlice.html#adaf0bb2e3104c9d86d997b2e7c93275e">SVF::ProgSlice</a>
+</li>
 <li>SVFGNodeToCSIDMap
 : <a class="el" href="classSVF_1_1LeakChecker.html#a90c7275babe222f006233d2f2d2b6700">SVF::LeakChecker</a>
 </li>
@@ -1321,7 +1306,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860eacb5f1f872986a8f8bccd9a3b3904e9dd">SVF::SVFValue</a>
 </li>
 <li>SVFInstruction()
-: <a class="el" href="classSVF_1_1SVFInstruction.html#a7d81c86ea5e1f8e313457862e19c2a3c">SVF::SVFInstruction</a>
+: <a class="el" href="classSVF_1_1SVFInstruction.html#a976cc9df05994e7e1b11fcdd22febcc5">SVF::SVFInstruction</a>
 </li>
 <li>SVFIntegerTy
 : <a class="el" href="classSVF_1_1SVFType.html#a333e01a9c431c8f53bd2fc597bd5c40cae2025d3e9d7943027c74ae6bba3fff22">SVF::SVFType</a>
@@ -1341,16 +1326,11 @@ $(function() {
 <li>SVFIR
 : <a class="el" href="classSVF_1_1SVFVar.html#a6dbb40e8ee92033b77440c44acd8a868">SVF::SVFVar</a>
 </li>
-<li>SVFIR2ConsExeState
-: <a class="el" href="classSVF_1_1ConsExeState.html#a67e2d14fede9218351f5edaff5981f4d">SVF::ConsExeState</a>
-, <a class="el" href="classSVF_1_1SVFIR2ConsExeState.html#a3575711760c3973aef0061975ca9436a">SVF::SVFIR2ConsExeState</a>
-</li>
-<li>SVFIR2ItvExeState
-: <a class="el" href="classSVF_1_1ExeState.html#af1ac478aba3f3858d5f6f4b15a9f73a6">SVF::ExeState</a>
-, <a class="el" href="classSVF_1_1IntervalESBase.html#af1ac478aba3f3858d5f6f4b15a9f73a6">SVF::IntervalESBase</a>
-, <a class="el" href="classSVF_1_1IntervalExeState.html#af1ac478aba3f3858d5f6f4b15a9f73a6">SVF::IntervalExeState</a>
-, <a class="el" href="classSVF_1_1RelExeState.html#af1ac478aba3f3858d5f6f4b15a9f73a6">SVF::RelExeState</a>
-, <a class="el" href="classSVF_1_1SVFIR2ItvExeState.html#a3c9285321cc0c4e1c46a31be9433192f">SVF::SVFIR2ItvExeState</a>
+<li>SVFIR2AbsState
+: <a class="el" href="classSVF_1_1AbstractState.html#a25fc4decbaf702ef771219564ec64c2a">SVF::AbstractState</a>
+, <a class="el" href="classSVF_1_1RelExeState.html#a25fc4decbaf702ef771219564ec64c2a">SVF::RelExeState</a>
+, <a class="el" href="classSVF_1_1SparseAbstractState.html#a25fc4decbaf702ef771219564ec64c2a">SVF::SparseAbstractState</a>
+, <a class="el" href="classSVF_1_1SVFIR2AbsState.html#a0141f9c8689e906a082f3566cb5d2cb6">SVF::SVFIR2AbsState</a>
 </li>
 <li>SVFIRBuilder
 : <a class="el" href="classSVF_1_1LLVMModuleSet.html#a46fadea4d08baefc8fbc1d8928da7f6b">SVF::LLVMModuleSet</a>
@@ -1565,13 +1545,11 @@ $(function() {
 , <a class="el" href="classSVF_1_1LLVMModuleSet.html#a43832e93a42ae43d44b0cc160981678f">SVF::LLVMModuleSet</a>
 , <a class="el" href="classSVF_1_1SVFIR.html#a8bfa675eed3c60a21134faa8e0b9e6b9">SVF::SVFIR</a>
 , <a class="el" href="classSVF_1_1SVFIRBuilder.html#a6ca1b9d5bb267806f8aaae5a94ed36cc">SVF::SVFIRBuilder</a>
+, <a class="el" href="classSVF_1_1SVFModule.html#ad81c63b60d030828262ea375917cc189">SVF::SVFModule</a>
 </li>
 <li>SVFModule()
 : <a class="el" href="classSVF_1_1SVFModule.html#a0438953758cecab4ebe1b48895639eb8">SVF::SVFModule</a>
 </li>
-<li>svfModule
-: <a class="el" href="classSVF_1_1SVFModule.html#ad81c63b60d030828262ea375917cc189">SVF::SVFModule</a>
-</li>
 <li>svfModuleFieldJson
 : <a class="el" href="classSVF_1_1SVFModuleReader.html#a5258ef11a30116a8c7cdd366faa6568c">SVF::SVFModuleReader</a>
 </li>
@@ -1662,7 +1640,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860e">SVF::SVFValue</a>
 </li>
 <li>SVFValue()
-: <a class="el" href="classSVF_1_1SVFValue.html#a5860aa7cc16de3c221f06742d0d832dd">SVF::SVFValue</a>
+: <a class="el" href="classSVF_1_1SVFValue.html#af38497e11745949a8a1eeead143efd58">SVF::SVFValue</a>
 </li>
 <li>SVFValue2LLVMValue
 : <a class="el" href="classSVF_1_1LLVMModuleSet.html#a7f8e61cf5d838d7a2e862bc6955f16be">SVF::LLVMModuleSet</a>
@@ -1723,9 +1701,6 @@ $(function() {
 , <a class="el" href="classSVF_1_1SymbolTableBuilder.html#a3100246d9b0a58e53f2dbc8acf231afb">SVF::SymbolTableBuilder</a>
 , <a class="el" href="classSVF_1_1SymbolTableInfo.html#a4fbb8ea4b4796d10d13c027b7455505c">SVF::SymbolTableInfo</a>
 </li>
-<li>SymState()
-: <a class="el" href="classSVF_1_1SymState.html#a0362da88a176f1d814068ebeeeb0e665">SVF::SymState</a>
-</li>
 <li>symTabFieldJson
 : <a class="el" href="classSVF_1_1SymbolTableInfoReader.html#a4ebfcabecee32b0a226c2c57f6411a3c">SVF::SymbolTableInfoReader</a>
 </li>

package/SVF-doxygen/html/functions_t.html

@@ -458,20 +458,20 @@ $(function() {
 : <a class="el" href="classSVF_1_1PointsTo.html#ad1d19d52800341484a136c6d5e0112ea">SVF::PointsTo</a>
 </li>
 <li>top()
-: <a class="el" href="classSVF_1_1IntervalESBase.html#a33fd0e4a654dd4f5b7762b0088e11674">SVF::IntervalESBase</a>
+: <a class="el" href="classSVF_1_1AbstractState.html#ac34dc4e111967507950bd5afe4a59ea0">SVF::AbstractState</a>
 , <a class="el" href="classSVF_1_1IntervalValue.html#add3acad151d5af6c9a5f692f7a01e65b">SVF::IntervalValue</a>
 </li>
-<li>topConstant()
-: <a class="el" href="classSVF_1_1SingleAbsValue.html#a70528ca5e4ad67b593104a7b2bba17c6">SVF::SingleAbsValue</a>
-</li>
 <li>topoNodeStack()
 : <a class="el" href="classSVF_1_1SCCDetection.html#a6502c0a765ac1653474ffee651949f93">SVF::SCCDetection&lt; GraphType &gt;</a>
 </li>
 <li>toString()
-: <a class="el" href="classSVF_1_1ActualINSVFGNode.html#a5f583665f7e094dc4f7c387f4522a1a5">SVF::ActualINSVFGNode</a>
+: <a class="el" href="classSVF_1_1AbstractState.html#a7c802c006225a50b1d83b5f78d0891fa">SVF::AbstractState</a>
+, <a class="el" href="structSVF_1_1AbstractValue.html#a998b5052a94a9621dc83483b8866bbbc">SVF::AbstractValue</a>
+, <a class="el" href="classSVF_1_1ActualINSVFGNode.html#a5f583665f7e094dc4f7c387f4522a1a5">SVF::ActualINSVFGNode</a>
 , <a class="el" href="classSVF_1_1ActualOUTSVFGNode.html#a460d0d6f338c33e39d810f7921237b5c">SVF::ActualOUTSVFGNode</a>
 , <a class="el" href="classSVF_1_1ActualParmVFGNode.html#a60d6ce4c4fe2cf54be45e58b2b93c9f6">SVF::ActualParmVFGNode</a>
 , <a class="el" href="classSVF_1_1ActualRetVFGNode.html#a4d1e7df32604becd2e2b60fe2e5cfbfa">SVF::ActualRetVFGNode</a>
+, <a class="el" href="classSVF_1_1AddressValue.html#a25db03df057262182a42cc394f0c7e1d">SVF::AddressValue</a>
 , <a class="el" href="classSVF_1_1AddrStmt.html#abf9453ed58c6946640a85be31512c0e8">SVF::AddrStmt</a>
 , <a class="el" href="classSVF_1_1AddrVFGNode.html#ac26fbce400355f43fdc22ad88a8d9067">SVF::AddrVFGNode</a>
 , <a class="el" href="classSVF_1_1ArgumentVFGNode.html#a3c10cd63e18f79ccc66f4687d05cb8c5">SVF::ArgumentVFGNode</a>
@@ -491,14 +491,12 @@ $(function() {
 , <a class="el" href="classSVF_1_1CmpVFGNode.html#aa08c4475c47beb0d026acab859d68117">SVF::CmpVFGNode</a>
 , <a class="el" href="classSVF_1_1CondStdSet.html#a07267b0a4f7cfeaa6d1f7d722932c4d5">SVF::CondStdSet&lt; Element &gt;</a>
 , <a class="el" href="classSVF_1_1CondVar.html#a4baf5fb20288491c96827177f9965cc4">SVF::CondVar&lt; Cond &gt;</a>
-, <a class="el" href="classSVF_1_1ConsExeState.html#a4553e0d059ea66f9a0287454686eb558">SVF::ConsExeState</a>
 , <a class="el" href="classSVF_1_1ContextCond.html#a5f73451064b22bc1aab91b22ddea1eee">SVF::ContextCond</a>
 , <a class="el" href="classSVF_1_1CopyStmt.html#ad72ccb8ab29258b7c0fb54c48e8dec3a">SVF::CopyStmt</a>
 , <a class="el" href="classSVF_1_1CopyVFGNode.html#ad86bbc5ec4a9ea226364a84e04724b37">SVF::CopyVFGNode</a>
 , <a class="el" href="classSVF_1_1DirectSVFGEdge.html#aa8d70214eb0242c3f2baaa506c12852c">SVF::DirectSVFGEdge</a>
 , <a class="el" href="classSVF_1_1DummyObjVar.html#a0888335fe157af01e647b79043c7ae40">SVF::DummyObjVar</a>
 , <a class="el" href="classSVF_1_1DummyValVar.html#a4da61151fed6a64cc361d69276d00b84">SVF::DummyValVar</a>
-, <a class="el" href="classSVF_1_1ExeState.html#af58dd98bbad68a7c72e16831be26c677">SVF::ExeState</a>
 , <a class="el" href="classSVF_1_1FIObjVar.html#ad383a7468348cf040e9dcd8515848595">SVF::FIObjVar</a>
 , <a class="el" href="classSVF_1_1FormalINSVFGNode.html#a4022ecd01a88758b5fa7d22856c89745">SVF::FormalINSVFGNode</a>
 , <a class="el" href="classSVF_1_1FormalOUTSVFGNode.html#a45b1aafb8a2464c868c5249b37e9ff0a">SVF::FormalOUTSVFGNode</a>
@@ -516,7 +514,6 @@ $(function() {
 , <a class="el" href="classSVF_1_1IndirectSVFGEdge.html#a33e6221e5005fda68903f4cdadf58ce8">SVF::IndirectSVFGEdge</a>
 , <a class="el" href="classSVF_1_1InterMSSAPHISVFGNode.html#a286e9064de854a84bdd2efe8f7d73688">SVF::InterMSSAPHISVFGNode</a>
 , <a class="el" href="classSVF_1_1InterPHIVFGNode.html#aff35aebdc8d955df160e51da7b666a7e">SVF::InterPHIVFGNode</a>
-, <a class="el" href="classSVF_1_1IntervalESBase.html#ab5d7ac23f8334fa32ae0a78c8f1d9fa9">SVF::IntervalESBase</a>
 , <a class="el" href="classSVF_1_1IntervalValue.html#a5d73cc2aa0a6ed49e8301fa7b0cd5045">SVF::IntervalValue</a>
 , <a class="el" href="classSVF_1_1IntraCFGEdge.html#a1e63286b4d6f757ac1220f5f03ae62de">SVF::IntraCFGEdge</a>
 , <a class="el" href="classSVF_1_1IntraDirSVFGEdge.html#a1c8dc17717409aa42749181aafd155aa">SVF::IntraDirSVFGEdge</a>
@@ -650,78 +647,67 @@ $(function() {
 : <a class="el" href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75ac0bc801ca111129101616fbd39cce950">SVF::VFGNode</a>
 </li>
 <li>traceMemoryAllocationSize()
-: <a class="el" href="classSVF_1_1AbstractExecution.html#a2484783853c5a266223882f66e683fa9">SVF::AbstractExecution</a>
+: <a class="el" href="classSVF_1_1AbstractInterpretation.html#ac9e8bc430cd530e47811e28f5a9fe963">SVF::AbstractInterpretation</a>
 </li>
 <li>translateAddr()
-: <a class="el" href="classSVF_1_1SVFIR2ConsExeState.html#a9d58c0c1698247018eac3c30c1202ba2">SVF::SVFIR2ConsExeState</a>
-, <a class="el" href="classSVF_1_1SVFIR2ItvExeState.html#af7f42ee51b03b1aaaee18f10eec0c2b9">SVF::SVFIR2ItvExeState</a>
+: <a class="el" href="classSVF_1_1SVFIR2AbsState.html#a21593731d5c76fe84a553037cfb4f558">SVF::SVFIR2AbsState</a>
 </li>
 <li>translateBinary()
-: <a class="el" href="classSVF_1_1SVFIR2ConsExeState.html#a82d969e6f521e59f0d57da0a19e67a0a">SVF::SVFIR2ConsExeState</a>
-, <a class="el" href="classSVF_1_1SVFIR2ItvExeState.html#a449ee8f244120866037c7f6d2ee5fc13">SVF::SVFIR2ItvExeState</a>
+: <a class="el" href="classSVF_1_1SVFIR2AbsState.html#a43a5d141547d1ceb37be60ce9647af91">SVF::SVFIR2AbsState</a>
 </li>
 <li>translateBinaryRel()
-: <a class="el" href="classSVF_1_1SVFIR2ItvExeState.html#aca887785abc037c61cca1eaad9613339">SVF::SVFIR2ItvExeState</a>
+: <a class="el" href="classSVF_1_1SVFIR2AbsState.html#aba122108bcba27e86c3b9079125698a2">SVF::SVFIR2AbsState</a>
 </li>
 <li>translateCall()
-: <a class="el" href="classSVF_1_1SVFIR2ConsExeState.html#a57adf31d54810533526d6e33bdeb386c">SVF::SVFIR2ConsExeState</a>
-, <a class="el" href="classSVF_1_1SVFIR2ItvExeState.html#adb82778157e0f5e7a2ea4d803bcd07ad">SVF::SVFIR2ItvExeState</a>
+: <a class="el" href="classSVF_1_1SVFIR2AbsState.html#a216039856e097a03cc158ce5729f1790">SVF::SVFIR2AbsState</a>
 </li>
 <li>translateCallRel()
-: <a class="el" href="classSVF_1_1SVFIR2ItvExeState.html#a2b03588d7d74af8818ddac6596a0f384">SVF::SVFIR2ItvExeState</a>
+: <a class="el" href="classSVF_1_1SVFIR2AbsState.html#a1ea10ebb9cf317029ef3d45fca71d24d">SVF::SVFIR2AbsState</a>
 </li>
 <li>translateCmp()
-: <a class="el" href="classSVF_1_1SVFIR2ConsExeState.html#a373227923e37d7dcb100ef9de613e400">SVF::SVFIR2ConsExeState</a>
-, <a class="el" href="classSVF_1_1SVFIR2ItvExeState.html#aac5cc8767eb750bf121f1897788dee24">SVF::SVFIR2ItvExeState</a>
+: <a class="el" href="classSVF_1_1SVFIR2AbsState.html#ad574a6e7e28daebcd074021d831a1d1a">SVF::SVFIR2AbsState</a>
 </li>
 <li>translateCmpRel()
-: <a class="el" href="classSVF_1_1SVFIR2ItvExeState.html#a89e3c835e16459e8b90e4a67127fa5da">SVF::SVFIR2ItvExeState</a>
+: <a class="el" href="classSVF_1_1SVFIR2AbsState.html#ad44dba4fb64a2a664d315f7c71d095d4">SVF::SVFIR2AbsState</a>
 </li>
 <li>translateCopy()
-: <a class="el" href="classSVF_1_1SVFIR2ConsExeState.html#a59c19a473a07918f59356c4a3b65cc8e">SVF::SVFIR2ConsExeState</a>
-, <a class="el" href="classSVF_1_1SVFIR2ItvExeState.html#afcf2f81101f1b9580d82b5c2efb83999">SVF::SVFIR2ItvExeState</a>
+: <a class="el" href="classSVF_1_1SVFIR2AbsState.html#a860fd3feafa0e76b53d4972f8c187dcd">SVF::SVFIR2AbsState</a>
 </li>
 <li>translateCopyRel()
-: <a class="el" href="classSVF_1_1SVFIR2ItvExeState.html#a9a971203ef834c8e8591fc745ae5a17d">SVF::SVFIR2ItvExeState</a>
+: <a class="el" href="classSVF_1_1SVFIR2AbsState.html#ac232760ba4cfe4d5f7d9502ac00780fd">SVF::SVFIR2AbsState</a>
 </li>
 <li>translateGep()
-: <a class="el" href="classSVF_1_1SVFIR2ConsExeState.html#a766ff7a17d51294fea7e01068fbd028c">SVF::SVFIR2ConsExeState</a>
-, <a class="el" href="classSVF_1_1SVFIR2ItvExeState.html#aa274b5b4e18c28ec8035ca1b073aacfc">SVF::SVFIR2ItvExeState</a>
+: <a class="el" href="classSVF_1_1SVFIR2AbsState.html#a934d7f60b5610bc39c5319dab927aa1b">SVF::SVFIR2AbsState</a>
 </li>
 <li>translateLoad()
-: <a class="el" href="classSVF_1_1SVFIR2ConsExeState.html#a7a547d67559f2d01ead77986bbd6863b">SVF::SVFIR2ConsExeState</a>
-, <a class="el" href="classSVF_1_1SVFIR2ItvExeState.html#a8f2a564370d9b9fb05e139c45eeaba68">SVF::SVFIR2ItvExeState</a>
+: <a class="el" href="classSVF_1_1SVFIR2AbsState.html#a79839998d6db869a690ab63fdf635873">SVF::SVFIR2AbsState</a>
 </li>
 <li>translateLoadRel()
-: <a class="el" href="classSVF_1_1SVFIR2ItvExeState.html#a3d9eeed61b6ef79b65c5c52c9ae82c04">SVF::SVFIR2ItvExeState</a>
+: <a class="el" href="classSVF_1_1SVFIR2AbsState.html#aff94d5675005beef8a3c761839d4a94b">SVF::SVFIR2AbsState</a>
 </li>
 <li>translatePhi()
-: <a class="el" href="classSVF_1_1SVFIR2ConsExeState.html#ab97b728bca0f6831bb33f1e9196936e6">SVF::SVFIR2ConsExeState</a>
-, <a class="el" href="classSVF_1_1SVFIR2ItvExeState.html#ae00e5398cbeb9aa1cfc464da4250a91e">SVF::SVFIR2ItvExeState</a>
+: <a class="el" href="classSVF_1_1SVFIR2AbsState.html#a21a24cc4e0c9e4750332e6faa036f6f2">SVF::SVFIR2AbsState</a>
 </li>
 <li>translatePhiRel()
-: <a class="el" href="classSVF_1_1SVFIR2ItvExeState.html#af00e05b7e479cf79c2bd71dea212799d">SVF::SVFIR2ItvExeState</a>
+: <a class="el" href="classSVF_1_1SVFIR2AbsState.html#a31f7fd30718aa9e0e4a1da5c6baed114">SVF::SVFIR2AbsState</a>
 </li>
 <li>translateRet()
-: <a class="el" href="classSVF_1_1SVFIR2ConsExeState.html#af1b17f60a22dc1da4b9f1430c5f07d1a">SVF::SVFIR2ConsExeState</a>
-, <a class="el" href="classSVF_1_1SVFIR2ItvExeState.html#a31e299f91eed29d1a8db3b884d57d1dc">SVF::SVFIR2ItvExeState</a>
+: <a class="el" href="classSVF_1_1SVFIR2AbsState.html#a9cdb7cc614bd71884304c627f141fd3d">SVF::SVFIR2AbsState</a>
 </li>
 <li>translateRetRel()
-: <a class="el" href="classSVF_1_1SVFIR2ItvExeState.html#a8a20d2bafff92a5b8983a1566ed598d6">SVF::SVFIR2ItvExeState</a>
+: <a class="el" href="classSVF_1_1SVFIR2AbsState.html#aee3c4eed017d379ebc1724fa395c6d92">SVF::SVFIR2AbsState</a>
 </li>
 <li>translateSelect()
-: <a class="el" href="classSVF_1_1SVFIR2ConsExeState.html#a15b7e99f0bff4de254239c10820550c0">SVF::SVFIR2ConsExeState</a>
-, <a class="el" href="classSVF_1_1SVFIR2ItvExeState.html#a604126e59364cb56b44a88cae5afbfb8">SVF::SVFIR2ItvExeState</a>
+: <a class="el" href="classSVF_1_1SVFIR2AbsState.html#a05ee8c5925b490f24f0d7662d0e00d42">SVF::SVFIR2AbsState</a>
 </li>
 <li>translateSelectRel()
-: <a class="el" href="classSVF_1_1SVFIR2ItvExeState.html#a4a5e92df30da02bdb396fc6daad591fb">SVF::SVFIR2ItvExeState</a>
+: <a class="el" href="classSVF_1_1SVFIR2AbsState.html#a562b6b73c7d6c2157ba369c4e25b0ed1">SVF::SVFIR2AbsState</a>
 </li>
 <li>translateStore()
-: <a class="el" href="classSVF_1_1SVFIR2ConsExeState.html#a9541d935efa7fce9cf9d204050e2a918">SVF::SVFIR2ConsExeState</a>
-, <a class="el" href="classSVF_1_1SVFIR2ItvExeState.html#aed2e41879bae8389c49e69356b7aaac5">SVF::SVFIR2ItvExeState</a>
+: <a class="el" href="classSVF_1_1SVFIR2AbsState.html#a4d5f3771dbe847f883594a0b1c2e246f">SVF::SVFIR2AbsState</a>
 </li>
 <li>translateStoreRel()
-: <a class="el" href="classSVF_1_1SVFIR2ItvExeState.html#ac57d2a609c1159b4f653965eadce58cc">SVF::SVFIR2ItvExeState</a>
+: <a class="el" href="classSVF_1_1SVFIR2AbsState.html#a9ab9226636ccfc53d59017ad5e5a6ab7">SVF::SVFIR2AbsState</a>
 </li>
 <li>traverseDendrogram()
 : <a class="el" href="classSVF_1_1NodeIDAllocator_1_1Clusterer.html#abd44e3b07b0482bacf6b1a080fe650c6">SVF::NodeIDAllocator::Clusterer</a>
@@ -734,16 +720,17 @@ $(function() {
 </li>
 <li>type
 : <a class="el" href="structcJSON.html#ab13084c574681593b12f6e0a3db0dcfc">cJSON</a>
+, <a class="el" href="structSVF_1_1AbstractValue.html#a219b0185874ff32fc2b1b3de50638613">SVF::AbstractValue</a>
 , <a class="el" href="classSVF_1_1MSSADEF.html#a9e8a03dc2c2f76ef6bc095f21911f5b6">SVF::MSSADEF</a>
 , <a class="el" href="classSVF_1_1MSSAMU.html#a3cbe5ca0cb91090ef0e8b331e2f15f7c">SVF::MSSAMU&lt; Cond &gt;</a>
 , <a class="el" href="classSVF_1_1ObjTypeInfo.html#a3620a491a32ff0af93f0d92f55911498">SVF::ObjTypeInfo</a>
-, <a class="el" href="classSVF_1_1PointsTo.html#aaa9c956187f2c04a7a242ce440d1416f">SVF::PointsTo</a>
 </li>
 <li>Type
 : <a class="el" href="classSVF_1_1PointsTo.html#a8f757f92ebf0a2ebdb5e6b001606923e">SVF::PointsTo</a>
 </li>
 <li>type
-: <a class="el" href="structSVF_1_1SVFUtil_1_1add__const__past__pointer.html#a52fe829ad016bca3285dfba2b5b68d35">SVF::SVFUtil::add_const_past_pointer&lt; T, Enable &gt;</a>
+: <a class="el" href="classSVF_1_1PointsTo.html#aaa9c956187f2c04a7a242ce440d1416f">SVF::PointsTo</a>
+, <a class="el" href="structSVF_1_1SVFUtil_1_1add__const__past__pointer.html#a52fe829ad016bca3285dfba2b5b68d35">SVF::SVFUtil::add_const_past_pointer&lt; T, Enable &gt;</a>
 , <a class="el" href="structSVF_1_1SVFUtil_1_1add__const__past__pointer_3_01T_00_01std_1_1enable__if__t_3_01std_1_1is_7fffc8df953a67082a10c9027356ecdf.html#a6c70a94bde914aa0ca86e4fd9f6c1179">SVF::SVFUtil::add_const_past_pointer&lt; T, std::enable_if_t&lt; std::is_pointer&lt; T &gt;::value &gt; &gt;</a>
 , <a class="el" href="structSVF_1_1SVFUtil_1_1add__lvalue__reference__if__not__pointer.html#a871b0a9d4f1c68caca4d8e8b9ce29079">SVF::SVFUtil::add_lvalue_reference_if_not_pointer&lt; T, Enable &gt;</a>
 , <a class="el" href="structSVF_1_1SVFUtil_1_1add__lvalue__reference__if__not__pointer_3_01T_00_01std_1_1enable__if__t915410d772a4855ec3d21a633a25ee09.html#a7930ae77015a1bef7da45e112a92cbce">SVF::SVFUtil::add_lvalue_reference_if_not_pointer&lt; T, std::enable_if_t&lt; std::is_pointer&lt; T &gt;::value &gt; &gt;</a>
@@ -801,9 +788,6 @@ $(function() {
 <li>typeSizeDiffTest()
 : <a class="el" href="classSVF_1_1ObjTypeInference.html#a99eaaef89f214fc8587349361600b44d">SVF::ObjTypeInference</a>
 </li>
-<li>TypeState
-: <a class="el" href="classSVF_1_1SymState.html#af41520fdb48700f86231047d1db5d482">SVF::SymState</a>
-</li>
 </ul>
 </div><!-- contents -->
 <!-- start footer part -->

package/SVF-doxygen/html/functions_type.html

@@ -73,11 +73,6 @@ $(function() {
 <li>ActualParmNodeVec
 : <a class="el" href="classSVF_1_1CallICFGNode.html#aa9bdf2b575f08976dcd0ba815a70f841">SVF::CallICFGNode</a>
 </li>
-<li>Addrs
-: <a class="el" href="classSVF_1_1ExeState.html#a78038dd4884a501cfc94f073021eac96">SVF::ExeState</a>
-, <a class="el" href="classSVF_1_1SVFIR2ConsExeState.html#a7c892fb77ff402212af4ab30301f0f9d">SVF::SVFIR2ConsExeState</a>
-, <a class="el" href="classSVF_1_1SVFIR2ItvExeState.html#a85f206bddccb2d644ef20f60ea17c9f3">SVF::SVFIR2ItvExeState</a>
-</li>
 <li>AddrSet
 : <a class="el" href="classSVF_1_1AddressValue.html#a58a1b87857377f372782a7873e5d4ea6">SVF::AddressValue</a>
 </li>

package/SVF-doxygen/html/functions_type_c.html

@@ -87,7 +87,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1PTACallGraphNode.html#a9cc3b4b46aaf45fd6d08a4995957646c">SVF::PTACallGraphNode</a>
 </li>
 <li>CallGraphSCC
-: <a class="el" href="classSVF_1_1AbstractExecution.html#a39c711b4657459d03ec67ae536bdec4d">SVF::AbstractExecution</a>
+: <a class="el" href="classSVF_1_1AbstractInterpretation.html#a3c1b3407928ab39c68300e9d8f225d46">SVF::AbstractInterpretation</a>
 , <a class="el" href="classSVF_1_1DDAVFSolver.html#af6e05e87ba8d6b6ae65807803b1b0221">SVF::DDAVFSolver&lt; CVar, CPtSet, DPIm &gt;</a>
 , <a class="el" href="classSVF_1_1PointerAnalysis.html#ac4ad73782f42f90ad7ac9c66edb27c69">SVF::PointerAnalysis</a>
 </li>

package/SVF-doxygen/html/functions_type_k.html

@@ -64,12 +64,6 @@ $(function() {
  
 
 <h3><a id="index_k"></a>- k -</h3><ul>
-<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_type_l.html

@@ -121,13 +121,14 @@ $(function() {
 : <a class="el" href="classSVF_1_1LockAnalysis.html#a07b7d49e1fbe3e5dc694b6aadbee05b8">SVF::LockAnalysis</a>
 , <a class="el" href="classSVF_1_1MHP.html#a08ba219ec02b07b1bbd91a88ebb4acd7">SVF::MHP</a>
 </li>
+<li>LocToAbsValMap
+: <a class="el" href="classSVF_1_1AbstractState.html#a046e475067c101430f87d67965ecfb08">SVF::AbstractState</a>
+</li>
 <li>LocToDPMVecMap
 : <a class="el" href="classSVF_1_1DDAVFSolver.html#aab76f98ae4f0c1f62f101ac5c5fdbf83">SVF::DDAVFSolver&lt; CVar, CPtSet, DPIm &gt;</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>

package/SVF-doxygen/html/functions_type_t.html

@@ -103,9 +103,6 @@ $(function() {
 <li>TypeMap
 : <a class="el" href="classSVF_1_1POCRSolver.html#ac4d92529d21db89c547e20e886060b0f">SVF::POCRSolver</a>
 </li>
-<li>TypeState
-: <a class="el" href="classSVF_1_1SymState.html#af41520fdb48700f86231047d1db5d482">SVF::SymState</a>
-</li>
 </ul>
 </div><!-- contents -->
 <!-- start footer part -->