svf-lib 1.0.1862 → 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/SVF-osx/svf/include/Graphs/CHG.h

@@ -350,8 +350,8 @@ struct GenericGraphTraits<SVF::CHNode*>
 /// for inverse traversal.
 template <>
 struct GenericGraphTraits<Inverse<SVF::CHNode*>>
-    : public GenericGraphTraits<
-      Inverse<SVF::GenericNode<SVF::CHNode, SVF::CHEdge>*>>
+            : public GenericGraphTraits<
+              Inverse<SVF::GenericNode<SVF::CHNode, SVF::CHEdge>*>>
 {
 };
 

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

@@ -115,7 +115,7 @@ nodes(const GraphType &G)
 }
 template <class GraphType>
 iter_range<typename GenericGraphTraits<Inverse<GraphType>>::nodes_iterator>
-inverse_nodes(const GraphType &G)
+        inverse_nodes(const GraphType &G)
 {
     return make_range(GenericGraphTraits<Inverse<GraphType>>::nodes_begin(G),
                       GenericGraphTraits<Inverse<GraphType>>::nodes_end(G));
@@ -131,7 +131,7 @@ children(const typename GenericGraphTraits<GraphType>::NodeRef &G)
 
 template <class GraphType>
 iter_range<typename GenericGraphTraits<Inverse<GraphType>>::ChildIteratorType>
-inverse_children(const typename GenericGraphTraits<GraphType>::NodeRef &G)
+        inverse_children(const typename GenericGraphTraits<GraphType>::NodeRef &G)
 {
     return make_range(GenericGraphTraits<Inverse<GraphType>>::child_begin(G),
                       GenericGraphTraits<Inverse<GraphType>>::child_end(G));

package/SVF-osx/svf/include/Util/Casting.h

@@ -382,7 +382,7 @@ inline typename cast_retty<X, Y *>::ret_type cast(Y *Val)
 
 template <class X, class Y>
 inline typename cast_retty<X, std::unique_ptr<Y>>::ret_type
-cast(std::unique_ptr<Y> &&Val)
+        cast(std::unique_ptr<Y> &&Val)
 {
     assert(SVFUtil::isa<X>(Val.get()) && "cast<Ty>() argument of incompatible type!");
     using ret_type = typename cast_retty<X, std::unique_ptr<Y>>::ret_type;

package/SVF-osx/svf/include/Util/NodeIDAllocator.h

@@ -192,8 +192,8 @@ public:
 
         // From all the candidates, returns the best mapping for pointsToSets (points-to set -> # occurrences).
         static inline std::pair<hclust_fast_methods, std::vector<NodeID>> determineBestMapping(
-            const std::vector<std::pair<hclust_fast_methods, std::vector<NodeID>>> &candidates,
-            Map<PointsTo, unsigned> pointsToSets, const std::string &evalSubtitle, double &evalTime);
+                    const std::vector<std::pair<hclust_fast_methods, std::vector<NodeID>>> &candidates,
+                    Map<PointsTo, unsigned> pointsToSets, const std::string &evalSubtitle, double &evalTime);
 
     };
 };

package/SVF-osx/svf/include/Util/iterator.h

@@ -352,7 +352,7 @@ struct pointee_iter
 template <typename RangeT, typename WrappedIteratorT =
           decltype(std::begin(std::declval<RangeT>()))>
 iter_range<pointee_iter<WrappedIteratorT>>
-make_pointee_range(RangeT &&Range)
+                                        make_pointee_range(RangeT &&Range)
 {
     using PointeeIteratorT = pointee_iter<WrappedIteratorT>;
     return make_range(PointeeIteratorT(std::begin(std::forward<RangeT>(Range))),
@@ -388,7 +388,7 @@ public:
 template <typename RangeT, typename WrappedIteratorT =
           decltype(std::begin(std::declval<RangeT>()))>
 iter_range<pointer_iterator<WrappedIteratorT>>
-make_pointer_range(RangeT &&Range)
+        make_pointer_range(RangeT &&Range)
 {
     using PointerIteratorT = pointer_iterator<WrappedIteratorT>;
     return make_range(PointerIteratorT(std::begin(std::forward<RangeT>(Range))),

package/package.json

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