Merge pull request #1426 from bjjwwang/rmexestate

remove ExeState and rename SVFIR2ItvExeState to SVFIR2AbsState
SVF-tools · Apr 4, 2024 · b42a495 · b42a495
2 parents 70e9af8 + 65b6f20
commit b42a495
Show file tree

Hide file tree

Showing 19 changed files with 66 additions and 3,201 deletions.
diff --git a/svf-llvm/tools/Example/svf-ex.cpp b/svf-llvm/tools/Example/svf-ex.cpp
@@ -26,7 +26,7 @@
  // Author: Yulei Sui,
  */
 
-#include "AE/Svfexe/SVFIR2ItvExeState.h"
+#include "AE/Svfexe/SVFIR2AbsState.h"
 #include "Graphs/SVFG.h"
 #include "SVF-LLVM/LLVMUtil.h"
 #include "SVF-LLVM/SVFIRBuilder.h"
@@ -77,7 +77,7 @@ std::string printPts(PointerAnalysis* pta, const SVFValue* svfval)
  */
 void traverseOnSVFStmt(const ICFGNode* node)
 {
-    SVFIR2ItvExeState* svfir2ExeState = new SVFIR2ItvExeState(SVFIR::getPAG());
+    SVFIR2AbsState* svfir2ExeState = new SVFIR2AbsState(SVFIR::getPAG());
     for (const SVFStmt* stmt: node->getSVFStmts())
     {
         if (const AddrStmt *addr = SVFUtil::dyn_cast<AddrStmt>(stmt))

diff --git a/svf/include/AE/Core/AbstractState.h b/svf/include/AE/Core/AbstractState.h
@@ -43,7 +43,6 @@
 #ifndef Z3_EXAMPLE_INTERVAL_DOMAIN_H
 #define Z3_EXAMPLE_INTERVAL_DOMAIN_H
 
-#include "AE/Core/ExeState.h"
 #include "AE/Core/IntervalValue.h"
 #include "AE/Core/AbstractValue.h"
 #include "Util/Z3Expr.h"
@@ -54,7 +53,7 @@ namespace SVF
 {
 class AbstractState
 {
-    friend class SVFIR2ItvExeState;
+    friend class SVFIR2AbsState;
     friend class RelationSolver;
 public:
     typedef Map<u32_t, AbstractValue> VarToAbsValMap;
@@ -439,7 +438,7 @@ class AbstractState
 
 class SparseAbstractState : public AbstractState
 {
-    friend class SVFIR2ItvExeState;
+    friend class SVFIR2AbsState;
     friend class RelationSolver;
 
 public: