svf-lib 1.0.1926 → 1.0.1928

package/SVF-linux/Release-build/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 @@ protected:
 
 class SparseAbstractState : public AbstractState
 {
-    friend class SVFIR2ItvExeState;
+    friend class SVFIR2AbsState;
     friend class RelationSolver;
 
 public:

package/SVF-linux/Release-build/include/AE/Core/IntervalValue.h

@@ -32,6 +32,7 @@
 #define Z3_EXAMPLE_IntervalValue_H
 
 #include "AE/Core/NumericLiteral.h"
+#include <sstream>
 
 namespace SVF
 {

package/SVF-linux/Release-build/include/AE/Core/RelExeState.h

@@ -38,7 +38,7 @@ namespace SVF
 
 class RelExeState
 {
-    friend class SVFIR2ItvExeState;
+    friend class SVFIR2AbsState;
 
 public:
     typedef Map<u32_t, Z3Expr> VarToValMap;

package/SVF-linux/Release-build/include/AE/Svfexe/AbstractInterpretation.h

@@ -28,17 +28,16 @@
 // Created by Jiawei Wang on 2024/1/10.
 //
 
-#include "Util/SVFBugReport.h"
 #include "AE/Core/ICFGWTO.h"
+#include "AE/Svfexe/SVFIR2AbsState.h"
+#include "Util/SVFBugReport.h"
 #include "WPA/Andersen.h"
-#include "AE/Svfexe/SVFIR2ItvExeState.h"
 
 namespace SVF
 {
 class AbstractInterpretation;
 class AEStat;
 class AEAPI;
-class ExeState;
 
 template<typename T> class FILOWorkList;
 
@@ -343,7 +342,7 @@ protected:
     SVFIR* _svfir;
     PTACallGraph* _callgraph;
     /// Execution State, used to store the Interval Value of every SVF variable
-    SVFIR2ItvExeState* _svfir2ExeState;
+    SVFIR2AbsState* _svfir2ExeState;
     AEAPI* _api{nullptr};
 
     ICFG* _icfg;

package/SVF-linux/Release-build/include/AE/Svfexe/ICFGSimplification.h

@@ -27,9 +27,8 @@
 //
 // Created by Jiawei Wang on 2024/2/25.
 //
+#include "AE/Svfexe/SVFIR2AbsState.h"
 #include "Graphs/ICFG.h"
-#include "AE/Svfexe/SVFIR2ItvExeState.h"
-
 
 namespace SVF
 {

package/SVF-linux/Release-build/include/AE/Svfexe/{SVFIR2ItvExeState.h → SVFIR2AbsState.h}

@@ -1,4 +1,4 @@
-//===- SVFIR2ItvExeState.h -- SVF IR Translation to Interval Domain-----//
+//===- SVFIR2AbsState.h -- SVF IR Translation to Interval Domain-----//
 //
 //                     SVF: Static Value-Flow Analysis
 //
@@ -23,7 +23,7 @@
 // 46th International Conference on Software Engineering. (ICSE24)
 //===----------------------------------------------------------------------===//
 /*
- * SVFIR2ItvExeState.h
+ * SVFIR2AbsState.h
  *
  *  Created on: Aug 7, 2022
  *      Author: Jiawei Wang, Xiao Cheng
@@ -34,25 +34,24 @@
 #define Z3_EXAMPLE_SVFIR2ITVEXESTATE_H
 
 #include "AE/Core/AbstractState.h"
-#include "AE/Core/ExeState.h"
 #include "AE/Core/RelExeState.h"
 #include "SVFIR/SVFIR.h"
 
 namespace SVF
 {
-class SVFIR2ItvExeState
+class SVFIR2AbsState
 {
 public:
     static AbstractValue globalNulladdrs;
 public:
-    SVFIR2ItvExeState(SVFIR *ir) : _svfir(ir) {}
+    SVFIR2AbsState(SVFIR *ir) : _svfir(ir) {}
 
     void setEs(const SparseAbstractState&es)
     {
         _es = es;
     }
 
-    SparseAbstractState&getEs()
+    SparseAbstractState& getEs()
     {
         return _es;
     }
@@ -172,19 +171,19 @@ public:
     /// Return the internal index if idx is an address otherwise return the value of idx
     static inline u32_t getInternalID(u32_t idx)
     {
-        return ExeState::getInternalID(idx);
+        return AbstractState::getInternalID(idx);
     }
 
     /// The physical address starts with 0x7f...... + idx
     static inline u32_t getVirtualMemAddress(u32_t idx)
     {
-        return ExeState::getVirtualMemAddress(idx);
+        return AbstractState::getVirtualMemAddress(idx);
     }
 
     /// Check bit value of val start with 0x7F000000, filter by 0xFF000000
     static inline bool isVirtualMemAddress(u32_t val)
     {
-        return ExeState::isVirtualMemAddress(val);
+        return AbstractState::isVirtualMemAddress(val);
     }
 
 protected:

package/SVF-osx/Release-build/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 @@ protected:
 
 class SparseAbstractState : public AbstractState
 {
-    friend class SVFIR2ItvExeState;
+    friend class SVFIR2AbsState;
     friend class RelationSolver;
 
 public:

package/SVF-osx/Release-build/include/AE/Core/IntervalValue.h

@@ -32,6 +32,7 @@
 #define Z3_EXAMPLE_IntervalValue_H
 
 #include "AE/Core/NumericLiteral.h"
+#include <sstream>
 
 namespace SVF
 {

package/SVF-osx/Release-build/include/AE/Core/RelExeState.h

@@ -38,7 +38,7 @@ namespace SVF
 
 class RelExeState
 {
-    friend class SVFIR2ItvExeState;
+    friend class SVFIR2AbsState;
 
 public:
     typedef Map<u32_t, Z3Expr> VarToValMap;

package/SVF-osx/Release-build/include/AE/Svfexe/AbstractInterpretation.h

@@ -28,17 +28,16 @@
 // Created by Jiawei Wang on 2024/1/10.
 //
 
-#include "Util/SVFBugReport.h"
 #include "AE/Core/ICFGWTO.h"
+#include "AE/Svfexe/SVFIR2AbsState.h"
+#include "Util/SVFBugReport.h"
 #include "WPA/Andersen.h"
-#include "AE/Svfexe/SVFIR2ItvExeState.h"
 
 namespace SVF
 {
 class AbstractInterpretation;
 class AEStat;
 class AEAPI;
-class ExeState;
 
 template<typename T> class FILOWorkList;
 
@@ -343,7 +342,7 @@ protected:
     SVFIR* _svfir;
     PTACallGraph* _callgraph;
     /// Execution State, used to store the Interval Value of every SVF variable
-    SVFIR2ItvExeState* _svfir2ExeState;
+    SVFIR2AbsState* _svfir2ExeState;
     AEAPI* _api{nullptr};
 
     ICFG* _icfg;

package/SVF-osx/Release-build/include/AE/Svfexe/ICFGSimplification.h

@@ -27,9 +27,8 @@
 //
 // Created by Jiawei Wang on 2024/2/25.
 //
+#include "AE/Svfexe/SVFIR2AbsState.h"
 #include "Graphs/ICFG.h"
-#include "AE/Svfexe/SVFIR2ItvExeState.h"
-
 
 namespace SVF
 {

package/SVF-osx/Release-build/include/AE/Svfexe/{SVFIR2ItvExeState.h → SVFIR2AbsState.h}

@@ -1,4 +1,4 @@
-//===- SVFIR2ItvExeState.h -- SVF IR Translation to Interval Domain-----//
+//===- SVFIR2AbsState.h -- SVF IR Translation to Interval Domain-----//
 //
 //                     SVF: Static Value-Flow Analysis
 //
@@ -23,7 +23,7 @@
 // 46th International Conference on Software Engineering. (ICSE24)
 //===----------------------------------------------------------------------===//
 /*
- * SVFIR2ItvExeState.h
+ * SVFIR2AbsState.h
  *
  *  Created on: Aug 7, 2022
  *      Author: Jiawei Wang, Xiao Cheng
@@ -34,25 +34,24 @@
 #define Z3_EXAMPLE_SVFIR2ITVEXESTATE_H
 
 #include "AE/Core/AbstractState.h"
-#include "AE/Core/ExeState.h"
 #include "AE/Core/RelExeState.h"
 #include "SVFIR/SVFIR.h"
 
 namespace SVF
 {
-class SVFIR2ItvExeState
+class SVFIR2AbsState
 {
 public:
     static AbstractValue globalNulladdrs;
 public:
-    SVFIR2ItvExeState(SVFIR *ir) : _svfir(ir) {}
+    SVFIR2AbsState(SVFIR *ir) : _svfir(ir) {}
 
     void setEs(const SparseAbstractState&es)
     {
         _es = es;
     }
 
-    SparseAbstractState&getEs()
+    SparseAbstractState& getEs()
     {
         return _es;
     }
@@ -172,19 +171,19 @@ public:
     /// Return the internal index if idx is an address otherwise return the value of idx
     static inline u32_t getInternalID(u32_t idx)
     {
-        return ExeState::getInternalID(idx);
+        return AbstractState::getInternalID(idx);
     }
 
     /// The physical address starts with 0x7f...... + idx
     static inline u32_t getVirtualMemAddress(u32_t idx)
     {
-        return ExeState::getVirtualMemAddress(idx);
+        return AbstractState::getVirtualMemAddress(idx);
     }
 
     /// Check bit value of val start with 0x7F000000, filter by 0xFF000000
     static inline bool isVirtualMemAddress(u32_t val)
     {
-        return ExeState::isVirtualMemAddress(val);
+        return AbstractState::isVirtualMemAddress(val);
     }
 
 protected:

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "svf-lib",
-  "version": "1.0.1926",
+  "version": "1.0.1928",
   "description": "SVF's npm support",
   "main": "index.js",
   "scripts": {