svf-tools 1.0.905 → 1.0.907

package/SVF-doxygen/html/functions_type_v.html

@@ -102,16 +102,14 @@ $(function() {
 <li>VariableAttribute
 : <a class="el" href="classSVF_1_1GrammarBase.html#a716ce662e6a3f2febf3ab378c4217759">SVF::GrammarBase</a>
 </li>
-<li>VarToAddrs
-: <a class="el" href="classSVF_1_1ExeState.html#a09f34aca79479221305769cae307feef">SVF::ExeState</a>
+<li>VarToAbsValMap
+: <a class="el" href="classSVF_1_1AbstractState.html#ab8e7d112c380f0c3fe66b487af90c03e">SVF::AbstractState</a>
 </li>
 <li>VarToPropNodeMap
 : <a class="el" href="classSVF_1_1VersionedFlowSensitive.html#a9ee5add09f2b446c6c6bcb84da0f75b3">SVF::VersionedFlowSensitive</a>
 </li>
 <li>VarToValMap
-: <a class="el" href="classSVF_1_1ConsExeState.html#a64a755f61886ef3f43f48c47eb76e9cc">SVF::ConsExeState</a>
-, <a class="el" href="classSVF_1_1IntervalESBase.html#a02e3d5f7074c4f77338edc9a7add95d8">SVF::IntervalESBase</a>
-, <a class="el" href="classSVF_1_1RelExeState.html#afcdf0c842f48a35cf19b2f7887174e98">SVF::RelExeState</a>
+: <a class="el" href="classSVF_1_1RelExeState.html#afcdf0c842f48a35cf19b2f7887174e98">SVF::RelExeState</a>
 </li>
 <li>VersionedKeyToIDMap
 : <a class="el" href="classSVF_1_1PersistentVersionedPTData.html#a2ee473a1654b7d134a602268a2b70248">SVF::PersistentVersionedPTData&lt; Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet &gt;</a>

package/SVF-doxygen/html/functions_u.html

@@ -65,7 +65,8 @@ $(function() {
 
 <h3><a id="index_u"></a>- u -</h3><ul>
 <li>ub()
-: <a class="el" href="classSVF_1_1IntervalValue.html#adac2dc2c9f744a071ad3f0175ed40cd9">SVF::IntervalValue</a>
+: <a class="el" href="structSVF_1_1AbstractValue.html#aecd8d41379dd6496772537ad51d1cb02">SVF::AbstractValue</a>
+, <a class="el" href="classSVF_1_1IntervalValue.html#adac2dc2c9f744a071ad3f0175ed40cd9">SVF::IntervalValue</a>
 </li>
 <li>UDiv
 : <a class="el" href="classSVF_1_1BinaryOPStmt.html#a2f647224242dd87099104e0fdc994de6ad2f8b02de2c62175d3341be92a925250">SVF::BinaryOPStmt</a>
@@ -78,7 +79,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75a31dae52a5c31284a8fe54294bd34a5dc">SVF::VFGNode</a>
 </li>
 <li>UnaryOPStmt()
-: <a class="el" href="classSVF_1_1UnaryOPStmt.html#a2b91333ac3d4b5e1099590aeb15d38ba">SVF::UnaryOPStmt</a>
+: <a class="el" href="classSVF_1_1UnaryOPStmt.html#aaad7785c0e6ea468cf7df8eb39cfe327">SVF::UnaryOPStmt</a>
 </li>
 <li>UnaryOPVFGNode()
 : <a class="el" href="classSVF_1_1UnaryOPVFGNode.html#ae5298888e597b2a379f9c9ebb5bd9132">SVF::UnaryOPVFGNode</a>
@@ -87,7 +88,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1SVFArgument.html#a758fa3cd9354ec069f0fe569251da7cd">SVF::SVFArgument</a>
 </li>
 <li>UNCLASSIFIED
-: <a class="el" href="classSVF_1_1AbstractExecution.html#a442fb8eda087f72aa61816213dea43afa12d7009fd0108df805ee49182fe12ccc">SVF::AbstractExecution</a>
+: <a class="el" href="classSVF_1_1AbstractInterpretation.html#a13fdb4a6a6d09e3504fdad16b88616daad20658cd0f68b92583461b0b1f68d543">SVF::AbstractInterpretation</a>
 </li>
 <li>UnifyFunctionExit()
 : <a class="el" href="classSVF_1_1MergeFunctionRets.html#a8c04750179ee48d283c5db4d84b3eca1">SVF::MergeFunctionRets</a>
@@ -103,7 +104,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1Andersen.html#ab7dadfd4d810be4863f03ed996b3b3c4">SVF::Andersen</a>
 , <a class="el" href="classSVF_1_1BVDataPTAImpl.html#ae7073c07bfd7912f888d54d4652c7cc2">SVF::BVDataPTAImpl</a>
 , <a class="el" href="classSVF_1_1CondPTAImpl.html#a1a95d1d6ac48157c896d9895cff697b4">SVF::CondPTAImpl&lt; Cond &gt;</a>
-, <a class="el" href="classSVF_1_1MutableDFPTData.html#a8b30798ad9485a88238cc340e5da3db7">SVF::MutableDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
+, <a class="el" href="classSVF_1_1MutableDFPTData.html#ab675653138960b16f23c801298e80f48">SVF::MutableDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 , <a class="el" href="classSVF_1_1MutableDiffPTData.html#a1596ef828786325ca06a3f5bada31757">SVF::MutableDiffPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 , <a class="el" href="classSVF_1_1MutablePTData.html#a08528faf56bf68fd0ddbb6c5ffa3d24f">SVF::MutablePTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 , <a class="el" href="classSVF_1_1MutableVersionedPTData.html#ae79628fc101567ba84215b624dd00c01">SVF::MutableVersionedPTData&lt; Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet &gt;</a>
@@ -140,6 +141,9 @@ $(function() {
 <li>uniqueUnions
 : <a class="el" href="classSVF_1_1PersistentPointsToCache.html#aacebdd87b1dd45250391d035b032f9d4">SVF::PersistentPointsToCache&lt; Data &gt;</a>
 </li>
+<li>UnknownType
+: <a class="el" href="structSVF_1_1AbstractValue.html#af93f4b54b34e74579ad177ead629b53aa3a7df767184a0bf01de99351747f545a">SVF::AbstractValue</a>
+</li>
 <li>unlocksites
 : <a class="el" href="classSVF_1_1LockAnalysis.html#aec459af1d1624df55ffc95cd75655780">SVF::LockAnalysis</a>
 </li>

package/SVF-doxygen/html/functions_v.html

@@ -144,12 +144,12 @@ $(function() {
 <li>ValueToClassNames
 : <a class="el" href="classSVF_1_1ObjTypeInference.html#ae23313c88149711f2ce74a2c6d3e9da8">SVF::ObjTypeInference</a>
 </li>
-<li>ValueToEdgeMap
-: <a class="el" href="classSVF_1_1IRGraph.html#a6247c1b1f6b92ce684c39af760878bbc">SVF::IRGraph</a>
-</li>
 <li>valueToEdgeMap
 : <a class="el" href="classSVF_1_1IRGraph.html#a1308b5d3001c6676e8a8be6a8b118704">SVF::IRGraph</a>
 </li>
+<li>ValueToEdgeMap
+: <a class="el" href="classSVF_1_1IRGraph.html#a6247c1b1f6b92ce684c39af760878bbc">SVF::IRGraph</a>
+</li>
 <li>ValueToIDMapTy
 : <a class="el" href="classSVF_1_1SymbolTableInfo.html#ad1741e65d47c39e03049c6d7265961af">SVF::SymbolTableInfo</a>
 </li>
@@ -168,12 +168,12 @@ $(function() {
 <li>ValVar()
 : <a class="el" href="classSVF_1_1ValVar.html#a5c097c0686df4897325bbdbb4067d6e5">SVF::ValVar</a>
 </li>
-<li>var2LabelMap
-: <a class="el" href="classSVF_1_1SVFStmt.html#a24c64109d27ef7549d1c7a07c391e007">SVF::SVFStmt</a>
-</li>
 <li>Var2LabelMap
 : <a class="el" href="classSVF_1_1SVFStmt.html#ad178ccbc7800527c3dc406ad5fa069bb">SVF::SVFStmt</a>
 </li>
+<li>var2LabelMap
+: <a class="el" href="classSVF_1_1SVFStmt.html#a24c64109d27ef7549d1c7a07c391e007">SVF::SVFStmt</a>
+</li>
 <li>VAR_ARRAY_OBJ
 : <a class="el" href="classSVF_1_1ObjTypeInfo.html#a91b41b7ade5871362b77a2ef566b2830adedc43e0fcaebf433120869aa9307b1c">SVF::ObjTypeInfo</a>
 </li>
@@ -225,23 +225,14 @@ $(function() {
 <li>varKills
 : <a class="el" href="classSVF_1_1MemSSA.html#ae64f97a984765a43f05df26b57a43a43">SVF::MemSSA</a>
 </li>
-<li>varToAddrs()
-: <a class="el" href="classSVF_1_1ConsExeState.html#aa3f16fb06541184e49ef4f4ea95d894c">SVF::ConsExeState</a>
-, <a class="el" href="classSVF_1_1ExeState.html#aa01e978f41f4134257b380994e3b8409">SVF::ExeState</a>
-</li>
-<li>VarToAddrs
-: <a class="el" href="classSVF_1_1ExeState.html#a09f34aca79479221305769cae307feef">SVF::ExeState</a>
+<li>VarToAbsValMap
+: <a class="el" href="classSVF_1_1AbstractState.html#ab8e7d112c380f0c3fe66b487af90c03e">SVF::AbstractState</a>
 </li>
 <li>VarToPropNodeMap
 : <a class="el" href="classSVF_1_1VersionedFlowSensitive.html#a9ee5add09f2b446c6c6bcb84da0f75b3">SVF::VersionedFlowSensitive</a>
 </li>
-<li>varToString()
-: <a class="el" href="classSVF_1_1ConsExeState.html#a000e1c5692e4027b38569898f683bada">SVF::ConsExeState</a>
-</li>
 <li>VarToValMap
-: <a class="el" href="classSVF_1_1ConsExeState.html#a64a755f61886ef3f43f48c47eb76e9cc">SVF::ConsExeState</a>
-, <a class="el" href="classSVF_1_1IntervalESBase.html#a02e3d5f7074c4f77338edc9a7add95d8">SVF::IntervalESBase</a>
-, <a class="el" href="classSVF_1_1RelExeState.html#afcdf0c842f48a35cf19b2f7887174e98">SVF::RelExeState</a>
+: <a class="el" href="classSVF_1_1RelExeState.html#afcdf0c842f48a35cf19b2f7887174e98">SVF::RelExeState</a>
 </li>
 <li>vCallVtblPtr
 : <a class="el" href="classSVF_1_1SVFVirtualCallInst.html#a7a0f92c37fd42989b0d01b78c37d7c2f">SVF::SVFVirtualCallInst</a>
@@ -379,7 +370,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1SVFIRReader.html#ae46f4cf64824aa037447540ad60b239c">SVF::SVFIRReader</a>
 </li>
 <li>virtToJson()
-: <a class="el" href="classSVF_1_1SVFIRWriter.html#aef21822272ff9a57cdeb4a8b7a326047">SVF::SVFIRWriter</a>
+: <a class="el" href="classSVF_1_1SVFIRWriter.html#aa31d36234ac21e5d67586cd601ccd85a">SVF::SVFIRWriter</a>
 </li>
 <li>virtualFunctionToIDMap
 : <a class="el" href="classSVF_1_1CHGraph.html#a70a2bab82563a910d32a9169030596c0">SVF::CHGraph</a>
@@ -395,7 +386,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1SCCDetection.html#af799d7043e501e43e04e51fd4d6c6571">SVF::SCCDetection&lt; GraphType &gt;</a>
 , <a class="el" href="classSVF_1_1VersionedFlowSensitive_1_1SCC.html#abbac2470771fc7dbc702eda9031bcad8">SVF::VersionedFlowSensitive::SCC</a>
 , <a class="el" href="classSVF_1_1WTO.html#a56259113c30312e5052d0d8c0d4d6b77">SVF::WTO&lt; GraphT &gt;</a>
-, <a class="el" href="classSVF_1_1WTO_1_1WTOCycleDepthBuilder.html#aad99b0e8004bb36b9a4ba81ea16c5d90">SVF::WTO&lt; GraphT &gt;::WTOCycleDepthBuilder</a>
+, <a class="el" href="classSVF_1_1WTO_1_1WTOCycleDepthBuilder.html#a51be6e437a0d715e2571242c4dde1794">SVF::WTO&lt; GraphT &gt;::WTOCycleDepthBuilder</a>
 , <a class="el" href="classSVF_1_1WTOComponentVisitor.html#ae7390104473ed5b4fa18f2b3af689d5c">SVF::WTOComponentVisitor&lt; GraphT &gt;</a>
 </li>
 <li>visitAllocaInst()

package/SVF-doxygen/html/functions_vars.html

@@ -77,7 +77,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1BufOverflowChecker.html#a0088456e712c555cbfba6203aec38037">SVF::BufOverflowChecker</a>
 </li>
 <li>_ae
-: <a class="el" href="classSVF_1_1AEStat.html#adbce526127c9cc83d642cde2a1e77ff7">SVF::AEStat</a>
+: <a class="el" href="classSVF_1_1AEStat.html#aeba2d77291837b9615c4f8b014cacfeb">SVF::AEStat</a>
 </li>
 <li>_allComponents
 : <a class="el" href="classSVF_1_1WTO.html#a649f1a93b6fd51553f6e144f2fe99542">SVF::WTO&lt; GraphT &gt;</a>
@@ -98,11 +98,11 @@ $(function() {
 : <a class="el" href="classSVF_1_1DDAStat.html#a2b788792447d4bccceff2426b45a21b2">SVF::DDAStat</a>
 </li>
 <li>_ander
-: <a class="el" href="classSVF_1_1AbstractExecution.html#a53f3b9c51ed8648f14ecb703e9fe67ae">SVF::AbstractExecution</a>
+: <a class="el" href="classSVF_1_1AbstractInterpretation.html#abc0d4715611b8f4a61e1da82658ef95f">SVF::AbstractInterpretation</a>
 , <a class="el" href="classSVF_1_1DDAVFSolver.html#aa1d1b6e8cc23f0a6d3935cbe4f02cbdf">SVF::DDAVFSolver&lt; CVar, CPtSet, DPIm &gt;</a>
 </li>
 <li>_api
-: <a class="el" href="classSVF_1_1AbstractExecution.html#a26f8c21bd96ae22ca2e72af6fbfa410c">SVF::AbstractExecution</a>
+: <a class="el" href="classSVF_1_1AbstractInterpretation.html#a00154ebaceda1be070b38803c1a82535">SVF::AbstractInterpretation</a>
 </li>
 <li>_AvgAddrTakenVarPtsSize
 : <a class="el" href="classSVF_1_1FlowSensitiveStat.html#a08bfa021eab91d647932aa790d300bbc">SVF::FlowSensitiveStat</a>
@@ -125,16 +125,13 @@ $(function() {
 : <a class="el" href="classSVF_1_1VersionedFlowSensitiveStat.html#a2e3c24fbb1faaf345e6806e99a07f782">SVF::VersionedFlowSensitiveStat</a>
 </li>
 <li>_br_cond
-: <a class="el" href="classSVF_1_1SVFIR2ItvExeState.html#a76bc62f9bcaf8a0513ffd11ccc23bc3b">SVF::SVFIR2ItvExeState</a>
-</li>
-<li>_branchCondition
-: <a class="el" href="classSVF_1_1SymState.html#acb13a8b241647b36ccd77b5efffb132e">SVF::SymState</a>
+: <a class="el" href="classSVF_1_1SVFIR2AbsState.html#a55246cb0b2493c9edc05029cc6a114dd">SVF::SVFIR2AbsState</a>
 </li>
 <li>_bugLoc
-: <a class="el" href="classSVF_1_1AbstractExecution.html#a790c178f8c29eecfc256a5dfd97d1637">SVF::AbstractExecution</a>
+: <a class="el" href="classSVF_1_1AbstractInterpretation.html#a2a5e0a88ebef4ae740983726e7f1b5eb">SVF::AbstractInterpretation</a>
 </li>
 <li>_callgraph
-: <a class="el" href="classSVF_1_1AbstractExecution.html#a39439604f7d397f620a7639884ea5b50">SVF::AbstractExecution</a>
+: <a class="el" href="classSVF_1_1AbstractInterpretation.html#adf3fad75a4f96aefe5c25e3405509fbe">SVF::AbstractInterpretation</a>
 </li>
 <li>_callGraph
 : <a class="el" href="classSVF_1_1DDAVFSolver.html#abf24080617c6a74abed9f0bb0bc9c0c5">SVF::DDAVFSolver&lt; CVar, CPtSet, DPIm &gt;</a>
@@ -143,13 +140,13 @@ $(function() {
 : <a class="el" href="classSVF_1_1DDAVFSolver.html#a4c307d486756daa1e79595b1e9edc40a">SVF::DDAVFSolver&lt; CVar, CPtSet, DPIm &gt;</a>
 </li>
 <li>_callSiteStack
-: <a class="el" href="classSVF_1_1AbstractExecution.html#ab9d6ebcf67ec473ce7ad5910c74eddc1">SVF::AbstractExecution</a>
+: <a class="el" href="classSVF_1_1AbstractInterpretation.html#a9885b50cf28b65bebb488442085fab26">SVF::AbstractInterpretation</a>
 </li>
 <li>_checkpoint_names
-: <a class="el" href="classSVF_1_1AbstractExecution.html#a32abc52bc54745027aa2daa67a8278f3">SVF::AbstractExecution</a>
+: <a class="el" href="classSVF_1_1AbstractInterpretation.html#a2a1e1b72ed740cef4c3e57e3e32c3f75">SVF::AbstractInterpretation</a>
 </li>
 <li>_checkpoints
-: <a class="el" href="classSVF_1_1AbstractExecution.html#a0a64bef0cc898059c50f6aec470cc6d9">SVF::AbstractExecution</a>
+: <a class="el" href="classSVF_1_1AbstractInterpretation.html#a219313e979d779221116c1bc45becc1b">SVF::AbstractInterpretation</a>
 </li>
 <li>_client
 : <a class="el" href="classSVF_1_1ContextDDA.html#ae3b04859ed69c47302177988aa68a70b">SVF::ContextDDA</a>
@@ -189,20 +186,16 @@ $(function() {
 : <a class="el" href="classSVF_1_1WTO.html#a5853e7a33044635877b8f07de05ff047">SVF::WTO&lt; GraphT &gt;</a>
 </li>
 <li>_es
-: <a class="el" href="classSVF_1_1SVFIR2ConsExeState.html#a89c8aeb1b6f0d1f953e756760f72c224">SVF::SVFIR2ConsExeState</a>
-, <a class="el" href="classSVF_1_1SVFIR2ItvExeState.html#ab6b5ed878ce12016424c48c6252a764e">SVF::SVFIR2ItvExeState</a>
-</li>
-<li>_exeState
-: <a class="el" href="classSVF_1_1SymState.html#a10f55ddb22731a3c50bff12c6afdbd50">SVF::SymState</a>
+: <a class="el" href="classSVF_1_1SVFIR2AbsState.html#aefdc1e49328ae897c1cf28aeb107f45b">SVF::SVFIR2AbsState</a>
 </li>
 <li>_extAPIBufOverflowCheckRules
 : <a class="el" href="classSVF_1_1BufOverflowChecker.html#af83b65ed98cd4e0f6cd92962e7392d4d">SVF::BufOverflowChecker</a>
 </li>
 <li>_func_map
-: <a class="el" href="classSVF_1_1AbstractExecution.html#ac1742440725909fee77526726424d135">SVF::AbstractExecution</a>
+: <a class="el" href="classSVF_1_1AbstractInterpretation.html#aa27d0ef684deec1f5385fdb0d4c64827">SVF::AbstractInterpretation</a>
 </li>
 <li>_funcToWTO
-: <a class="el" href="classSVF_1_1AbstractExecution.html#ade8434d8f0f5d832842d60b7a56fa64f">SVF::AbstractExecution</a>
+: <a class="el" href="classSVF_1_1AbstractInterpretation.html#af41aa555a5b607ae7700263ac72f8dbb">SVF::AbstractInterpretation</a>
 </li>
 <li>_graph
 : <a class="el" href="classSVF_1_1GraphReachSolver.html#af486b67b972d797107ec82f3f7988668">SVF::GraphReachSolver&lt; GraphType, DPIm &gt;</a>
@@ -222,7 +215,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1SCCDetection.html#a9105051438f60587df95a9dba618d008">SVF::SCCDetection&lt; GraphType &gt;</a>
 </li>
 <li>_icfg
-: <a class="el" href="classSVF_1_1AbstractExecution.html#ab5021d59a929f4eaf5e59d911036d201">SVF::AbstractExecution</a>
+: <a class="el" href="classSVF_1_1AbstractInterpretation.html#ab988e460fe92f0ba3c4cbee8e0c480a0">SVF::AbstractInterpretation</a>
 </li>
 <li>_icfgNode
 : <a class="el" href="classSVF_1_1CDGNode.html#a57d10ca10f4f5ac763f80515781b44ba">SVF::CDGNode</a>
@@ -233,13 +226,8 @@ $(function() {
 <li>_isPWCNode
 : <a class="el" href="classSVF_1_1ConstraintNode.html#ab93b0083cd84702900dcdc853e511275">SVF::ConstraintNode</a>
 </li>
-<li>_keyNodesSet
-: <a class="el" href="classSVF_1_1SymState.html#a55fdbbd612acf5f95b59a6b4b8650e43">SVF::SymState</a>
-</li>
 <li>_kind
-: <a class="el" href="classSVF_1_1AbstractExecution.html#ad36d48c0ef82de915d9339c4f47cbd70">SVF::AbstractExecution</a>
-, <a class="el" href="classSVF_1_1AbstractValue.html#a9405e2725442f2f641f729038efbe172">SVF::AbstractValue</a>
-, <a class="el" href="classSVF_1_1ExeState.html#a2545017305d54f6416ba48cb45e43cb8">SVF::ExeState</a>
+: <a class="el" href="classSVF_1_1AbstractInterpretation.html#a5d3b15c3cdb9c8e91b942924bf8aee21">SVF::AbstractInterpretation</a>
 </li>
 <li>_la
 : <a class="el" href="classSVF_1_1LockResultValidator.html#ae68afb4d129dc6cecfc3561f6a17c798">SVF::LockResultValidator</a>
@@ -247,15 +235,11 @@ $(function() {
 <li>_lb
 : <a class="el" href="classSVF_1_1IntervalValue.html#a0827c976d921894e89ca4ac88ecf3f95">SVF::IntervalValue</a>
 </li>
-<li>_locToAddrs
-: <a class="el" href="classSVF_1_1ExeState.html#a79866a547dc4805d3fefdfd528d2df2a">SVF::ExeState</a>
-</li>
-<li>_locToItvVal
-: <a class="el" href="classSVF_1_1IntervalESBase.html#acba74693030fca248521412c552e3dcc">SVF::IntervalESBase</a>
+<li>_locToAbsVal
+: <a class="el" href="classSVF_1_1AbstractState.html#aade30bb08f86b3f74e7aa9cdc60c92a3">SVF::AbstractState</a>
 </li>
 <li>_locToVal
-: <a class="el" href="classSVF_1_1ConsExeState.html#a987e69694742dafb49eb697bfde5cd19">SVF::ConsExeState</a>
-, <a class="el" href="classSVF_1_1RelExeState.html#ab2bae973796c52765500b506844286e4">SVF::RelExeState</a>
+: <a class="el" href="classSVF_1_1RelExeState.html#ab2bae973796c52765500b506844286e4">SVF::RelExeState</a>
 </li>
 <li>_MaxAddrTakenVarPts
 : <a class="el" href="classSVF_1_1FlowSensitiveStat.html#a7c88e2528a93511ba8dde4805cadcd30">SVF::FlowSensitiveStat</a>
@@ -292,7 +276,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1LockResultValidator.html#a2e3ded56c4e1e1a2a0b28c0d44011b61">SVF::LockResultValidator</a>
 </li>
 <li>_moduleName
-: <a class="el" href="classSVF_1_1AbstractExecution.html#a18903b2257e3a2aeec53d79bcf83e7d5">SVF::AbstractExecution</a>
+: <a class="el" href="classSVF_1_1AbstractInterpretation.html#afefc0098ecd9bc01ce270a4a6f251b0c">SVF::AbstractInterpretation</a>
 </li>
 <li>_msg
 : <a class="el" href="structSVF_1_1BufOverflowException.html#add564a4b3a2d36953936f217e794ded0">SVF::BufOverflowException</a>
@@ -313,7 +297,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1SCCDetection.html#a55e1ac9dff59ff78d02e8799d306215b">SVF::SCCDetection&lt; GraphType &gt;</a>
 </li>
 <li>_nodeToBugInfo
-: <a class="el" href="classSVF_1_1AbstractExecution.html#a04e812385041270901af0f2cb599fa96">SVF::AbstractExecution</a>
+: <a class="el" href="classSVF_1_1AbstractInterpretation.html#a09aa739395388f64fcb3d539d58d2041">SVF::AbstractInterpretation</a>
 </li>
 <li>_nodeToCDN
 : <a class="el" href="classSVF_1_1WTO.html#a54d8c25df36b0c44d52369c4294a1ed8">SVF::WTO&lt; GraphT &gt;</a>
@@ -447,14 +431,14 @@ $(function() {
 <li>_pag
 : <a class="el" href="classSVF_1_1DDAVFSolver.html#a5521918cc06c182c821b9fae8136e4fe">SVF::DDAVFSolver&lt; CVar, CPtSet, DPIm &gt;</a>
 </li>
-<li>_postES
-: <a class="el" href="classSVF_1_1AbstractExecution.html#a9c6a5b802710efe11b34df45a3f8f73b">SVF::AbstractExecution</a>
+<li>_postAbstractTrace
+: <a class="el" href="classSVF_1_1AbstractInterpretation.html#a8a7a673452ccba14e5aa025313dd9832">SVF::AbstractInterpretation</a>
 </li>
 <li>_PotentialNumOfVarHaveINOUTPts
 : <a class="el" href="classSVF_1_1FlowSensitiveStat.html#a08ea2c3d891337992291123a1bb4da97">SVF::FlowSensitiveStat</a>
 </li>
-<li>_preES
-: <a class="el" href="classSVF_1_1AbstractExecution.html#a86d304f1a16689234d091da4e6e967a7">SVF::AbstractExecution</a>
+<li>_preAbstractTrace
+: <a class="el" href="classSVF_1_1AbstractInterpretation.html#aeeb85346212cabd5ae70e19041131094">SVF::AbstractInterpretation</a>
 </li>
 <li>_pta
 : <a class="el" href="classSVF_1_1DDAPass.html#a7a4bd29396855329972f928107521c86">SVF::DDAPass</a>
@@ -467,13 +451,13 @@ $(function() {
 : <a class="el" href="classSVF_1_1CondPointsToSet_1_1CondPtsSetIterator.html#a2b34cb72c2ecc8e4fc7071b6ed814df9">SVF::CondPointsToSet&lt; Cond &gt;::CondPtsSetIterator</a>
 </li>
 <li>_recoder
-: <a class="el" href="classSVF_1_1AbstractExecution.html#a5ed683d635bd05f0bee10436d20deb31">SVF::AbstractExecution</a>
+: <a class="el" href="classSVF_1_1AbstractInterpretation.html#a8e4f0c5f527e321369a19a0b37124079">SVF::AbstractInterpretation</a>
 </li>
 <li>_recursiveFuns
-: <a class="el" href="classSVF_1_1AbstractExecution.html#ac7b2e6bdccab5a507c9e8db8ea4682d3">SVF::AbstractExecution</a>
+: <a class="el" href="classSVF_1_1AbstractInterpretation.html#a9b5e58476c372570551da971d22c5c02">SVF::AbstractInterpretation</a>
 </li>
 <li>_relEs
-: <a class="el" href="classSVF_1_1SVFIR2ItvExeState.html#ab8bd2de9d86489845f5a74727040b217">SVF::SVFIR2ItvExeState</a>
+: <a class="el" href="classSVF_1_1SVFIR2AbsState.html#a592f4fe473d0159a3fbdac3bc35b424e">SVF::SVFIR2AbsState</a>
 </li>
 <li>_rep
 : <a class="el" href="classSVF_1_1SCCDetection_1_1GNodeSCCInfo.html#a99f3c75c72892cf364b808ff7e773a51">SVF::SCCDetection&lt; GraphType &gt;::GNodeSCCInfo</a>
@@ -494,7 +478,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1WTO.html#a333df66435d9c4444ff7f729ca9d0050">SVF::WTO&lt; GraphT &gt;</a>
 </li>
 <li>_stat
-: <a class="el" href="classSVF_1_1AbstractExecution.html#a74a55a4d4941c85bdfed81f060049bf0">SVF::AbstractExecution</a>
+: <a class="el" href="classSVF_1_1AbstractInterpretation.html#a75e493e6b9db3e29428794432d293bc2">SVF::AbstractInterpretation</a>
 </li>
 <li>_StrongUpdateStores
 : <a class="el" href="classSVF_1_1DDAStat.html#ad53ad7a958c05b45624d2859a6a9e647">SVF::DDAStat</a>
@@ -517,11 +501,11 @@ $(function() {
 : <a class="el" href="classSVF_1_1DDAVFSolver.html#a54f5d4972238ae69f19c9da3b9f51644">SVF::DDAVFSolver&lt; CVar, CPtSet, DPIm &gt;</a>
 </li>
 <li>_svfir
-: <a class="el" href="classSVF_1_1AbstractExecution.html#a49742e8c3a8fe598a0945a8d8ff394d0">SVF::AbstractExecution</a>
-, <a class="el" href="classSVF_1_1SVFIR2ItvExeState.html#a4359c73e131a44f899c694fad25b7e1a">SVF::SVFIR2ItvExeState</a>
+: <a class="el" href="classSVF_1_1AbstractInterpretation.html#a618fc324a6c205d7e1b471bd850377a9">SVF::AbstractInterpretation</a>
+, <a class="el" href="classSVF_1_1SVFIR2AbsState.html#a80a0f0a20e993c6fcffc89f9de409f44">SVF::SVFIR2AbsState</a>
 </li>
 <li>_svfir2ExeState
-: <a class="el" href="classSVF_1_1AbstractExecution.html#a5e24bceb3d6961117651dbc65e9a097a">SVF::AbstractExecution</a>
+: <a class="el" href="classSVF_1_1AbstractInterpretation.html#af78f068a373ebb6a2f14dcde980a9dae">SVF::AbstractInterpretation</a>
 </li>
 <li>_T
 : <a class="el" href="classSVF_1_1SCCDetection.html#a0373c80345ffb147ba9a5f57e96d7745">SVF::SCCDetection&lt; GraphType &gt;</a>
@@ -570,9 +554,6 @@ $(function() {
 <li>_type
 : <a class="el" href="classSVF_1_1WTOComponent.html#a1da81c85c89d975b6df9dafdb32dc788">SVF::WTOComponent&lt; GraphT &gt;</a>
 </li>
-<li>_typeState
-: <a class="el" href="classSVF_1_1SymState.html#aaf72b784ae851cec1c6676f2f8f9038b">SVF::SymState</a>
-</li>
 <li>_ub
 : <a class="el" href="classSVF_1_1IntervalValue.html#a3c00a3b16192645f667a88bf636f01ff">SVF::IntervalValue</a>
 </li>
@@ -588,15 +569,11 @@ $(function() {
 <li>_valueToType
 : <a class="el" href="classSVF_1_1ObjTypeInference.html#ad9ceac3c884a08ce0ae4fef4b488a7c5">SVF::ObjTypeInference</a>
 </li>
-<li>_varToAddrs
-: <a class="el" href="classSVF_1_1ExeState.html#ad317f2ae2e599a131a6fd9f415f5d712">SVF::ExeState</a>
-</li>
-<li>_varToItvVal
-: <a class="el" href="classSVF_1_1IntervalESBase.html#ad2288306aed7301ccd30e55410c7b428">SVF::IntervalESBase</a>
+<li>_varToAbsVal
+: <a class="el" href="classSVF_1_1AbstractState.html#a6a49c75fb6b35159dcf1763b4484d335">SVF::AbstractState</a>
 </li>
 <li>_varToVal
-: <a class="el" href="classSVF_1_1ConsExeState.html#a07b135c218f56fdab8ef8504190563df">SVF::ConsExeState</a>
-, <a class="el" href="classSVF_1_1RelExeState.html#ab4cede761cb0bdc082da8e53cd2d5b06">SVF::RelExeState</a>
+: <a class="el" href="classSVF_1_1RelExeState.html#ab4cede761cb0bdc082da8e53cd2d5b06">SVF::RelExeState</a>
 </li>
 <li>_visited
 : <a class="el" href="classSVF_1_1CSC.html#a98bf29b1b9a1ffee14fe65a7f6b56672">SVF::CSC</a>

package/SVF-doxygen/html/functions_vars_a.html

@@ -109,6 +109,9 @@ $(function() {
 <li>AddModelFlag
 : <a class="el" href="classSVF_1_1Options.html#aac637c9746749320a4ebd6af36212c56">SVF::Options</a>
 </li>
+<li>addr
+: <a class="el" href="structSVF_1_1AbstractValue.html#a14167db89d63bdd80778c5c46f8a3568">SVF::AbstractValue</a>
+</li>
 <li>AddrCGEdgeSet
 : <a class="el" href="classSVF_1_1ConstraintGraph.html#a5bbd6df25027d26911f5d8d6a10881dc">SVF::ConstraintGraph</a>
 </li>

package/SVF-doxygen/html/functions_vars_g.html

@@ -100,17 +100,14 @@ $(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>
 <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>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>

package/SVF-doxygen/html/functions_vars_i.html

@@ -255,6 +255,9 @@ $(function() {
 <li>intersectionCache
 : <a class="el" href="classSVF_1_1PersistentPointsToCache.html#a525fbb49c91040c078fbcaaae2339ef2">SVF::PersistentPointsToCache&lt; Data &gt;</a>
 </li>
+<li>interval
+: <a class="el" href="structSVF_1_1AbstractValue.html#a6cbe0b567ba824136654627002e32930">SVF::AbstractValue</a>
+</li>
 <li>IntraLock
 : <a class="el" href="classSVF_1_1Options.html#af6d92cd4372cd952e6d955cfc9be0ccb">SVF::Options</a>
 </li>

package/SVF-doxygen/html/functions_vars_t.html

@@ -282,6 +282,7 @@ $(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>

package/SVF-doxygen/html/functions_w.html

@@ -74,24 +74,25 @@ $(function() {
 : <a class="el" href="structSVF_1_1BufOverflowException.html#a4eb54eb3943f96e60f89d2fdd99f08c0">SVF::BufOverflowException</a>
 </li>
 <li>widen_with()
-: <a class="el" href="classSVF_1_1IntervalValue.html#ab7ddcc29a116944a91db24af90d4c144">SVF::IntervalValue</a>
+: <a class="el" href="structSVF_1_1AbstractValue.html#a707f6afd5eaa421981bba96318f1b644">SVF::AbstractValue</a>
+, <a class="el" href="classSVF_1_1IntervalValue.html#ab7ddcc29a116944a91db24af90d4c144">SVF::IntervalValue</a>
 </li>
 <li>widenAddrs()
-: <a class="el" href="classSVF_1_1SVFIR2ItvExeState.html#a198fd724be35f415851a2467c3930f76">SVF::SVFIR2ItvExeState</a>
+: <a class="el" href="classSVF_1_1SVFIR2AbsState.html#a72c49e5c07eacfeeb494f26c761ec257">SVF::SVFIR2AbsState</a>
 </li>
 <li>WidenDelay
 : <a class="el" href="classSVF_1_1Options.html#ab25f7ec430ba1d41597fc409b758b193">SVF::Options</a>
 </li>
 <li>widenFixpointPass()
-: <a class="el" href="classSVF_1_1AbstractExecution.html#a438c0702d8b1e074c3db37025377b2a7">SVF::AbstractExecution</a>
+: <a class="el" href="classSVF_1_1AbstractInterpretation.html#a58cb8f82b313eeed2055c1cf04643a42">SVF::AbstractInterpretation</a>
 </li>
 <li>widening()
-: <a class="el" href="classSVF_1_1IntervalESBase.html#a9a167f67476d2e080cc6e31d127ee715">SVF::IntervalESBase</a>
-, <a class="el" href="classSVF_1_1IntervalExeState.html#abc8edb74e55f40dbc7bb5182d4ef1199">SVF::IntervalExeState</a>
+: <a class="el" href="classSVF_1_1AbstractState.html#afd37c4419cfc79b6765fa243fcbea573">SVF::AbstractState</a>
+, <a class="el" href="classSVF_1_1SparseAbstractState.html#a5782c4b128b1f7ee75296d19778502b3">SVF::SparseAbstractState</a>
 </li>
 <li>widenWith()
-: <a class="el" href="classSVF_1_1IntervalESBase.html#a2db6b5360cf8e90dbd4174ad0382ec56">SVF::IntervalESBase</a>
-, <a class="el" href="classSVF_1_1IntervalExeState.html#acfbe4dbb85e802a0456b7223a26280d3">SVF::IntervalExeState</a>
+: <a class="el" href="classSVF_1_1AbstractState.html#a8d2a6e895d17181324cdeb9e2cf8f1de">SVF::AbstractState</a>
+, <a class="el" href="classSVF_1_1SparseAbstractState.html#a5a431c16fd9e6a113a764dfb33995141">SVF::SparseAbstractState</a>
 </li>
 <li>Word
 : <a class="el" href="classSVF_1_1CoreBitVector.html#aaee26ffc13d05cd57f0fd7e4c2ea875c">SVF::CoreBitVector</a>
@@ -218,7 +219,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1VersionedFlowSensitive.html#ab2c21cc1e4cd4d7dbc12b6bd9f34d971">SVF::VersionedFlowSensitive</a>
 </li>
 <li>WTO()
-: <a class="el" href="classSVF_1_1WTO.html#a0a8be6a1d8bd92d38eec429f68ce0414">SVF::WTO&lt; GraphT &gt;</a>
+: <a class="el" href="classSVF_1_1WTO.html#a8455eb5252fb82df098af03ebca76044">SVF::WTO&lt; GraphT &gt;</a>
 </li>
 <li>WTOComponent()
 : <a class="el" href="classSVF_1_1WTOComponent.html#a5ef3384996e29f5f38490b4266b19f01">SVF::WTOComponent&lt; GraphT &gt;</a>
@@ -239,7 +240,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1WTOCycle.html#adaa4b0f063eaf6f1bd02da38fd3b29de">SVF::WTOCycle&lt; GraphT &gt;</a>
 </li>
 <li>WTOComponentVisitor()
-: <a class="el" href="classSVF_1_1WTOComponentVisitor.html#a5f777a348f19da93c6a171b9fedab820">SVF::WTOComponentVisitor&lt; GraphT &gt;</a>
+: <a class="el" href="classSVF_1_1WTOComponentVisitor.html#a829bc3b32dcb5740da40c5cff75680d9">SVF::WTOComponentVisitor&lt; GraphT &gt;</a>
 </li>
 <li>WTOCT
 : <a class="el" href="classSVF_1_1WTOComponent.html#a3c2b9ef6ae6a3d47b0bba929f12560f7">SVF::WTOComponent&lt; GraphT &gt;</a>
@@ -248,7 +249,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1WTOCycle.html#a19ad36eef78d46348ca75c5d2e12519b">SVF::WTOCycle&lt; GraphT &gt;</a>
 </li>
 <li>WTOCycleDepth()
-: <a class="el" href="classSVF_1_1WTOCycleDepth.html#a515c00e2a0997640874856d4eae419fb">SVF::WTOCycleDepth&lt; GraphT &gt;</a>
+: <a class="el" href="classSVF_1_1WTOCycleDepth.html#a949e2ee782c346339a1ddaa868c8abaf">SVF::WTOCycleDepth&lt; GraphT &gt;</a>
 </li>
 <li>WTOCycleDepthBuilder()
 : <a class="el" href="classSVF_1_1WTO_1_1WTOCycleDepthBuilder.html#a6cf986992bb78e6e3aa2e75b883c01c9">SVF::WTO&lt; GraphT &gt;::WTOCycleDepthBuilder</a>

package/SVF-doxygen/html/functions_z.html

@@ -68,8 +68,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1Z3Expr.html#abda8e52003e163cda25d75a4cb520290">SVF::Z3Expr</a>
 </li>
 <li>z3Expr2NumValue()
-: <a class="el" href="classSVF_1_1ConsExeState.html#ad8cd07a607743e8cbbf59bd5882c5043">SVF::ConsExeState</a>
-, <a class="el" href="classSVF_1_1RelExeState.html#accb15cf8109eec2a7cc497badcdbaa57">SVF::RelExeState</a>
+: <a class="el" href="classSVF_1_1RelExeState.html#accb15cf8109eec2a7cc497badcdbaa57">SVF::RelExeState</a>
 </li>
 <li>ZEXT
 : <a class="el" href="classSVF_1_1CopyStmt.html#ae041bbd93e3839193fd7ffe9611a4ca1a16c9ba88473e39f9a105b74b016af046">SVF::CopyStmt</a>

package/SVF-doxygen/html/functions_~.html

@@ -64,11 +64,14 @@ $(function() {
 <div class="textblock">Here is a list of all class members with links to the classes they belong to:</div>
 
 <h3><a id="index__7E"></a>- ~ -</h3><ul>
-<li>~AbstractExecution()
-: <a class="el" href="classSVF_1_1AbstractExecution.html#a6771ac262e5fdbac0006b293cde47398">SVF::AbstractExecution</a>
+<li>~AbstractInterpretation()
+: <a class="el" href="classSVF_1_1AbstractInterpretation.html#aae29a8da31fddd069cb0e19cc2f78d46">SVF::AbstractInterpretation</a>
+</li>
+<li>~AbstractState()
+: <a class="el" href="classSVF_1_1AbstractState.html#ab956eb2731209fa52a8e4812d3ab8b37">SVF::AbstractState</a>
 </li>
 <li>~AbstractValue()
-: <a class="el" href="classSVF_1_1AbstractValue.html#ab6901c81e0a0153120de25876b44e3c4">SVF::AbstractValue</a>
+: <a class="el" href="structSVF_1_1AbstractValue.html#a823a022bef32def0c326708da7801671">SVF::AbstractValue</a>
 </li>
 <li>~AccessPath()
 : <a class="el" href="classSVF_1_1AccessPath.html#adb4dab1b3184c78fb7808dff867c7a0a">SVF::AccessPath</a>
@@ -160,9 +163,6 @@ $(function() {
 <li>~CondVar()
 : <a class="el" href="classSVF_1_1CondVar.html#aad76f894d96617fb153cff0c875899a6">SVF::CondVar&lt; Cond &gt;</a>
 </li>
-<li>~ConsExeState()
-: <a class="el" href="classSVF_1_1ConsExeState.html#a7c8106f2fd388145018dd4dc77dd1e93">SVF::ConsExeState</a>
-</li>
 <li>~ConstraintEdge()
 : <a class="el" href="classSVF_1_1ConstraintEdge.html#a6eebfb3d2ff4f4fafc433b25d3762160">SVF::ConstraintEdge</a>
 </li>
@@ -229,9 +229,6 @@ $(function() {
 <li>~EntryCHI()
 : <a class="el" href="classSVF_1_1EntryCHI.html#ac198f01dd7ebac778367b63081ae487b">SVF::EntryCHI&lt; Cond &gt;</a>
 </li>
-<li>~ExeState()
-: <a class="el" href="classSVF_1_1ExeState.html#a56dc11162e701d8d48ea354f9d380167">SVF::ExeState</a>
-</li>
 <li>~FIFOWorkList()
 : <a class="el" href="classSVF_1_1FIFOWorkList.html#a1471fb927833748ab34fe0ef3cf0eada">SVF::FIFOWorkList&lt; Data &gt;</a>
 </li>
@@ -289,14 +286,8 @@ $(function() {
 <li>~InterDisjointMRG()
 : <a class="el" href="classSVF_1_1InterDisjointMRG.html#a664e831aa98e3c894e794273fbb78591">SVF::InterDisjointMRG</a>
 </li>
-<li>~IntervalESBase()
-: <a class="el" href="classSVF_1_1IntervalESBase.html#a765e98325842f6df15255af9a8036e8c">SVF::IntervalESBase</a>
-</li>
-<li>~IntervalExeState()
-: <a class="el" href="classSVF_1_1IntervalExeState.html#a9e6006e0f0a4039cf65f9e79be6eea49">SVF::IntervalExeState</a>
-</li>
 <li>~IntervalValue()
-: <a class="el" href="classSVF_1_1IntervalValue.html#afcd424e419fe66750c47df21774bb22c">SVF::IntervalValue</a>
+: <a class="el" href="classSVF_1_1IntervalValue.html#a8fc5e1a30d60fd01fd3ddf3d5ec0e306">SVF::IntervalValue</a>
 </li>
 <li>~IntraDisjointMRG()
 : <a class="el" href="classSVF_1_1IntraDisjointMRG.html#ad92695f6ff2cb62f58b48d68b0b6fb0e">SVF::IntraDisjointMRG</a>
@@ -454,6 +445,9 @@ $(function() {
 <li>~SaberSVFGBuilder()
 : <a class="el" href="classSVF_1_1SaberSVFGBuilder.html#a1400bd13453c77defbd085f5bb334bca">SVF::SaberSVFGBuilder</a>
 </li>
+<li>~SparseAbstractState()
+: <a class="el" href="classSVF_1_1SparseAbstractState.html#a2d2bc6344ab3a450fa27cfc92d1397b8">SVF::SparseAbstractState</a>
+</li>
 <li>~SrcSnkDDA()
 : <a class="el" href="classSVF_1_1SrcSnkDDA.html#a5a87fbdbf9469f3bdd4c955f31f4c4f9">SVF::SrcSnkDDA</a>
 </li>
@@ -499,9 +493,6 @@ $(function() {
 <li>~SVFIR()
 : <a class="el" href="classSVF_1_1SVFIR.html#a3d62b2a06fe1ec531cbde12131fa31df">SVF::SVFIR</a>
 </li>
-<li>~SVFIR2ConsExeState()
-: <a class="el" href="classSVF_1_1SVFIR2ConsExeState.html#a63ff43fb519f5cd2b17956e193606421">SVF::SVFIR2ConsExeState</a>
-</li>
 <li>~SVFIRBuilder()
 : <a class="el" href="classSVF_1_1SVFIRBuilder.html#a5a04b9d97ad5f6e761bcc4779c96104e">SVF::SVFIRBuilder</a>
 </li>
@@ -535,9 +526,6 @@ $(function() {
 <li>~SymbolTableInfo()
 : <a class="el" href="classSVF_1_1SymbolTableInfo.html#a6efac0ae8ebf2865067136675be5a340">SVF::SymbolTableInfo</a>
 </li>
-<li>~SymState()
-: <a class="el" href="classSVF_1_1SymState.html#a9f7af4c2fafaf24e345c28ba1992857c">SVF::SymState</a>
-</li>
 <li>~TCT()
 : <a class="el" href="classSVF_1_1TCT.html#aee699da702973dd42398b42a2ec65e59">SVF::TCT</a>
 </li>

package/SVF-doxygen/html/globals.html

@@ -108,10 +108,10 @@ $(function() {
 : <a class="el" href="extapi_8c.html#a4d41ebdaac1e767baa35d0094eb18874">extapi.c</a>
 </li>
 <li>_reverse_predicate
-: <a class="el" href="AbstractExecution_8cpp.html#a6baa35cec0782ac3179849752a732e5c">AbstractExecution.cpp</a>
+: <a class="el" href="AbstractInterpretation_8cpp.html#a6baa35cec0782ac3179849752a732e5c">AbstractInterpretation.cpp</a>
 </li>
 <li>_switch_lhsrhs_predicate
-: <a class="el" href="AbstractExecution_8cpp.html#a3b70282b79998dcb9f6df78370bc1fe9">AbstractExecution.cpp</a>
+: <a class="el" href="AbstractInterpretation_8cpp.html#a3b70282b79998dcb9f6df78370bc1fe9">AbstractInterpretation.cpp</a>
 </li>
 <li>_ZNSsC1EPKcRKSaIcE()
 : <a class="el" href="extapi_8c.html#a00b6e8788e5ccb56e08aee530246215e">extapi.c</a>