svf-lib 1.0.1863 → 1.0.1864

package/SVF-osx/svf/include/AE/Svfexe/{AE.h → AbstractExecution.h}

@@ -35,14 +35,14 @@
 
 namespace SVF
 {
-class AE;
+class AbstractExecution;
 class AEStat;
 class AEAPI;
 
 
 enum class AEKind
 {
-    AE,
+    AbstractExecution,
     BufOverflowChecker
 };
 
@@ -51,7 +51,7 @@ class AEStat : public SVFStat
 {
 public:
     void countStateSize();
-    AEStat(AE *ae): _ae(ae)
+    AEStat(AbstractExecution *ae): _ae(ae)
     {
         startTime = getClk(true);
     }
@@ -69,7 +69,7 @@ public:
     void reportBug();
 
 public:
-    AE *_ae;
+    AbstractExecution *_ae;
     s32_t count{0};
     std::string memory_usage;
     std::string memUsage;
@@ -103,8 +103,7 @@ public:
 
 };
 
-// AE: Abstract Execution
-class AE
+class AbstractExecution
 {
     friend class AEStat;
     friend class AEAPI;
@@ -112,7 +111,7 @@ class AE
 public:
     typedef SCCDetection<PTACallGraph *> CallGraphSCC;
     /// Constructor
-    AE();
+    AbstractExecution();
 
     virtual void initExtAPI();
 
@@ -120,14 +119,14 @@ public:
 
 
     /// Destructor
-    virtual ~AE();
+    virtual ~AbstractExecution();
 
     /// Program entry
     void analyse();
 
-    static bool classof(const AE* ae)
+    static bool classof(const AbstractExecution* ae)
     {
-        return ae->getKind() == AEKind::AE;
+        return ae->getKind() == AEKind::AbstractExecution;
     }
 
     AEKind getKind() const
@@ -286,7 +285,7 @@ public:
     enum ExtAPIType { UNCLASSIFIED, MEMCPY, MEMSET, STRCPY, STRCAT };
     static bool classof(const AEAPI* api)
     {
-        return api->getKind() == AEKind::AE;
+        return api->getKind() == AEKind::AbstractExecution;
     }
 
     /**
@@ -295,10 +294,10 @@ public:
     * @param ae Abstract Execution or its subclass
     * @param stat AEStat
     */
-    AEAPI(AE* ae, AEStat* stat): _ae(ae), _stat(stat)
+    AEAPI(AbstractExecution* ae, AEStat* stat): _ae(ae), _stat(stat)
     {
         initExtFunMap();
-        _kind = AEKind::AE;
+        _kind = AEKind::AbstractExecution;
     }
 
     virtual ~AEAPI() {}
@@ -421,7 +420,7 @@ protected:
 
 
 protected:
-    AE* _ae;
+    AbstractExecution* _ae;
     AEStat* _stat;
     SVFIR* _svfir;
     AEKind _kind;

package/SVF-osx/svf/include/AE/Svfexe/BufOverflowChecker.h

@@ -25,7 +25,7 @@
 // Created by Jiawei Wang on 2024/1/12.
 //
 
-#include "AE.h"
+#include "AE/Svfexe/AbstractExecution.h"
 
 namespace SVF
 {
@@ -101,7 +101,7 @@ class BufOverflowCheckerAPI: public AEAPI
 {
 public:
     BufOverflowCheckerAPI() = delete;
-    BufOverflowCheckerAPI(AE * ae, AEStat * stat): AEAPI(ae, stat)
+    BufOverflowCheckerAPI(AbstractExecution * ae, AEStat * stat): AEAPI(ae, stat)
     {
         initExtFunMap();
         initExtAPIBufOverflowCheckRules();
@@ -167,17 +167,17 @@ public:
     Map<std::string, std::vector<std::pair<u32_t, u32_t>>> _extAPIBufOverflowCheckRules;
 };
 
-class BufOverflowChecker: public AE
+class BufOverflowChecker: public AbstractExecution
 {
     friend BufOverflowCheckerAPI;
 
 public:
-    BufOverflowChecker() : AE()
+    BufOverflowChecker() : AbstractExecution()
     {
         _kind = AEKind::BufOverflowChecker;
     }
 
-    static bool classof(const AE* ae)
+    static bool classof(const AbstractExecution* ae)
     {
         return ae->getKind() == AEKind::BufOverflowChecker;
     }

package/SVF-osx/svf/include/Graphs/CFBasicBlockG.h

@@ -258,49 +258,6 @@ public:
     }
     //@}
 
-    /// Iterators used for SCC detection, overwrite it in child class if necessory
-    //@{
-    virtual inline iterator directOutEdgeBegin()
-    {
-        return OutEdges.begin();
-    }
-
-    virtual inline iterator directOutEdgeEnd()
-    {
-        return OutEdges.end();
-    }
-
-    virtual inline iterator directInEdgeBegin()
-    {
-        return InEdges.begin();
-    }
-
-    virtual inline iterator directInEdgeEnd()
-    {
-        return InEdges.end();
-    }
-
-    virtual inline const_iterator directOutEdgeBegin() const
-    {
-        return OutEdges.begin();
-    }
-
-    virtual inline const_iterator directOutEdgeEnd() const
-    {
-        return OutEdges.end();
-    }
-
-    virtual inline const_iterator directInEdgeBegin() const
-    {
-        return InEdges.begin();
-    }
-
-    virtual inline const_iterator directInEdgeEnd() const
-    {
-        return InEdges.end();
-    }
-    //@}
-
     /// Add incoming and outgoing edges
     //@{
     inline bool addIncomingEdge(CFBasicBlockEdge *inEdge)

package/package.json

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