svf-lib 1.0.2663 → 1.0.2665

package/SVF-linux-aarch64/include/SVFIR/SVFIR.h

@@ -707,12 +707,6 @@ private:
         return addNode(node);
     }
 
-    inline NodeID addConstantAggValNode(const NodeID i, const ICFGNode* icfgNode, const SVFType* svfType)
-    {
-        SVFVar* node = new ConstAggValVar(i, icfgNode, svfType);
-        return addNode(node);
-    }
-
     inline NodeID addConstantDataValNode(const NodeID i, const ICFGNode* icfgNode, const SVFType* type)
     {
         SVFVar* node = new ConstDataValVar(i, icfgNode, type);
@@ -777,11 +771,6 @@ private:
         GlobalObjVar* gObj = new GlobalObjVar(i, ti, node);
         return addBaseObjNode(gObj);
     }
-    inline NodeID addConstantAggObjNode(const NodeID i, ObjTypeInfo* ti, const ICFGNode* node)
-    {
-        ConstAggObjVar* conObj = new ConstAggObjVar(i, ti, node);
-        return addBaseObjNode(conObj);
-    }
     inline NodeID addConstantDataObjNode(const NodeID i, ObjTypeInfo* ti, const ICFGNode* node)
     {
         ConstDataObjVar* conObj = new ConstDataObjVar(i, ti, node);

package/SVF-linux-aarch64/include/SVFIR/SVFValue.h

@@ -70,7 +70,6 @@ public:
         RetValNode,              // ├── Represents a return value node
         VarargValNode,           // ├── Represents a variadic argument node
         GlobalValNode,           // ├── Represents a global variable node
-        ConstAggValNode,         // ├── Represents a constant aggregate value node
         // │   └─ Subclass: ConstDataValVar
         ConstDataValNode,        // │   ├── Represents a constant data variable
         BlackHoleValNode,        // │   ├── Represents a black hole node
@@ -92,7 +91,6 @@ public:
         HeapObjNode,             // │   ├── Represents a heap object
         StackObjNode,            // │   ├── Represents a stack object
         GlobalObjNode,           // │   ├── Represents a global object
-        ConstAggObjNode,         // │   ├── Represents a constant aggregate object
         // │   └─ Subclass: ConstDataObjVar
         ConstDataObjNode,        // │   ├── Represents a constant data object
         ConstFPObjNode,          // │   ├── Represents a constant floating-point object
@@ -230,7 +228,7 @@ protected:
 
     static inline bool isSVFVarKind(GNodeK n)
     {
-        static_assert(DummyObjNode - ValNode == 28,
+        static_assert(DummyObjNode - ValNode == 26,
                       "The number of SVFVarKinds has changed, make sure the "
                       "range is correct");
 
@@ -239,7 +237,7 @@ protected:
 
     static inline bool isValVarKinds(GNodeK n)
     {
-        static_assert(AsmPCValNode - ValNode == 15,
+        static_assert(AsmPCValNode - ValNode == 14,
                       "The number of ValVarKinds has changed, make sure the "
                       "range is correct");
         return n <= AsmPCValNode && n >= ValNode;
@@ -256,7 +254,7 @@ protected:
 
     static inline bool isObjVarKinds(GNodeK n)
     {
-        static_assert(DummyObjNode - ObjNode == 12,
+        static_assert(DummyObjNode - ObjNode == 11,
                       "The number of ObjVarKinds has changed, make sure the "
                       "range is correct");
         return n <= DummyObjNode && n >= ObjNode;
@@ -264,7 +262,7 @@ protected:
 
     static inline bool isBaseObjVarKinds(GNodeK n)
     {
-        static_assert(DummyObjNode - BaseObjNode == 10,
+        static_assert(DummyObjNode - BaseObjNode == 9,
                       "The number of BaseObjVarKinds has changed, make sure the "
                       "range is correct");
         return n <= DummyObjNode && n >= BaseObjNode;

package/SVF-linux-aarch64/include/SVFIR/SVFVariables.h

@@ -1367,58 +1367,6 @@ public:
     virtual const std::string toString() const;
 };
 
-class ConstAggValVar: public ValVar
-{
-    friend class GraphDBClient;
-
-
-public:
-    ///  Methods for support type inquiry through isa, cast, and dyn_cast:
-    //@{
-    static inline bool classof(const ConstAggValVar*)
-    {
-        return true;
-    }
-    static inline bool classof(const ValVar* node)
-    {
-        return node->getNodeKind() == ConstAggValNode;
-    }
-    static inline bool classof(const SVFVar* node)
-    {
-        return node->getNodeKind() == ConstAggValNode;
-    }
-    static inline bool classof(const GenericPAGNodeTy* node)
-    {
-        return node->getNodeKind() == ConstAggValNode;
-    }
-    static inline bool classof(const SVFValue* node)
-    {
-        return node->getNodeKind() == ConstAggValNode;
-    }
-    //@}
-
-    /// Constructor
-    ConstAggValVar(NodeID i, const ICFGNode* icn, const SVFType* svfTy)
-        : ValVar(i, svfTy, icn, ConstAggValNode)
-    {
-        type = svfTy;
-    }
-
-
-    virtual bool isConstDataOrAggData() const
-    {
-        return true;
-    }
-
-    virtual bool isConstDataOrAggDataButNotNullPtr() const
-    {
-        return true;
-    }
-
-    virtual const std::string toString() const;
-};
-
-
 class ConstDataValVar : public ValVar
 {
     friend class GraphDBClient;
@@ -1725,61 +1673,6 @@ public:
     virtual const std::string toString() const;
 };
 
-class ConstAggObjVar : public BaseObjVar
-{
-    friend class GraphDBClient;
-
-
-public:
-    ///  Methods for support type inquiry through isa, cast, and dyn_cast:
-    //@{
-    static inline bool classof(const ConstAggObjVar*)
-    {
-        return true;
-    }
-    static inline bool classof(const BaseObjVar* node)
-    {
-        return node->getNodeKind() == ConstAggObjNode;
-    }
-
-    static inline bool classof(const ObjVar* node)
-    {
-        return node->getNodeKind() == ConstAggObjNode;
-    }
-    static inline bool classof(const SVFVar* node)
-    {
-        return node->getNodeKind() == ConstAggObjNode;
-    }
-    static inline bool classof(const GenericPAGNodeTy* node)
-    {
-        return node->getNodeKind() == ConstAggObjNode;
-    }
-    static inline bool classof(const SVFValue* node)
-    {
-        return node->getNodeKind() == ConstAggObjNode;
-    }
-    //@}
-
-    /// Constructor
-    ConstAggObjVar(NodeID i, ObjTypeInfo* ti, const ICFGNode* node)
-        : BaseObjVar(i,  ti, node, ConstAggObjNode)
-    {
-
-    }
-
-    virtual bool isConstDataOrAggData() const
-    {
-        return true;
-    }
-
-    virtual bool isConstDataOrAggDataButNotNullPtr() const
-    {
-        return true;
-    }
-
-    virtual const std::string toString() const;
-};
-
 class ConstDataObjVar : public BaseObjVar
 {
     friend class GraphDBClient;

package/SVF-osx/include/SVFIR/SVFIR.h

@@ -707,12 +707,6 @@ private:
         return addNode(node);
     }
 
-    inline NodeID addConstantAggValNode(const NodeID i, const ICFGNode* icfgNode, const SVFType* svfType)
-    {
-        SVFVar* node = new ConstAggValVar(i, icfgNode, svfType);
-        return addNode(node);
-    }
-
     inline NodeID addConstantDataValNode(const NodeID i, const ICFGNode* icfgNode, const SVFType* type)
     {
         SVFVar* node = new ConstDataValVar(i, icfgNode, type);
@@ -777,11 +771,6 @@ private:
         GlobalObjVar* gObj = new GlobalObjVar(i, ti, node);
         return addBaseObjNode(gObj);
     }
-    inline NodeID addConstantAggObjNode(const NodeID i, ObjTypeInfo* ti, const ICFGNode* node)
-    {
-        ConstAggObjVar* conObj = new ConstAggObjVar(i, ti, node);
-        return addBaseObjNode(conObj);
-    }
     inline NodeID addConstantDataObjNode(const NodeID i, ObjTypeInfo* ti, const ICFGNode* node)
     {
         ConstDataObjVar* conObj = new ConstDataObjVar(i, ti, node);

package/SVF-osx/include/SVFIR/SVFValue.h

@@ -70,7 +70,6 @@ public:
         RetValNode,              // ├── Represents a return value node
         VarargValNode,           // ├── Represents a variadic argument node
         GlobalValNode,           // ├── Represents a global variable node
-        ConstAggValNode,         // ├── Represents a constant aggregate value node
         // │   └─ Subclass: ConstDataValVar
         ConstDataValNode,        // │   ├── Represents a constant data variable
         BlackHoleValNode,        // │   ├── Represents a black hole node
@@ -92,7 +91,6 @@ public:
         HeapObjNode,             // │   ├── Represents a heap object
         StackObjNode,            // │   ├── Represents a stack object
         GlobalObjNode,           // │   ├── Represents a global object
-        ConstAggObjNode,         // │   ├── Represents a constant aggregate object
         // │   └─ Subclass: ConstDataObjVar
         ConstDataObjNode,        // │   ├── Represents a constant data object
         ConstFPObjNode,          // │   ├── Represents a constant floating-point object
@@ -230,7 +228,7 @@ protected:
 
     static inline bool isSVFVarKind(GNodeK n)
     {
-        static_assert(DummyObjNode - ValNode == 28,
+        static_assert(DummyObjNode - ValNode == 26,
                       "The number of SVFVarKinds has changed, make sure the "
                       "range is correct");
 
@@ -239,7 +237,7 @@ protected:
 
     static inline bool isValVarKinds(GNodeK n)
     {
-        static_assert(AsmPCValNode - ValNode == 15,
+        static_assert(AsmPCValNode - ValNode == 14,
                       "The number of ValVarKinds has changed, make sure the "
                       "range is correct");
         return n <= AsmPCValNode && n >= ValNode;
@@ -256,7 +254,7 @@ protected:
 
     static inline bool isObjVarKinds(GNodeK n)
     {
-        static_assert(DummyObjNode - ObjNode == 12,
+        static_assert(DummyObjNode - ObjNode == 11,
                       "The number of ObjVarKinds has changed, make sure the "
                       "range is correct");
         return n <= DummyObjNode && n >= ObjNode;
@@ -264,7 +262,7 @@ protected:
 
     static inline bool isBaseObjVarKinds(GNodeK n)
     {
-        static_assert(DummyObjNode - BaseObjNode == 10,
+        static_assert(DummyObjNode - BaseObjNode == 9,
                       "The number of BaseObjVarKinds has changed, make sure the "
                       "range is correct");
         return n <= DummyObjNode && n >= BaseObjNode;

package/SVF-osx/include/SVFIR/SVFVariables.h

@@ -1367,58 +1367,6 @@ public:
     virtual const std::string toString() const;
 };
 
-class ConstAggValVar: public ValVar
-{
-    friend class GraphDBClient;
-
-
-public:
-    ///  Methods for support type inquiry through isa, cast, and dyn_cast:
-    //@{
-    static inline bool classof(const ConstAggValVar*)
-    {
-        return true;
-    }
-    static inline bool classof(const ValVar* node)
-    {
-        return node->getNodeKind() == ConstAggValNode;
-    }
-    static inline bool classof(const SVFVar* node)
-    {
-        return node->getNodeKind() == ConstAggValNode;
-    }
-    static inline bool classof(const GenericPAGNodeTy* node)
-    {
-        return node->getNodeKind() == ConstAggValNode;
-    }
-    static inline bool classof(const SVFValue* node)
-    {
-        return node->getNodeKind() == ConstAggValNode;
-    }
-    //@}
-
-    /// Constructor
-    ConstAggValVar(NodeID i, const ICFGNode* icn, const SVFType* svfTy)
-        : ValVar(i, svfTy, icn, ConstAggValNode)
-    {
-        type = svfTy;
-    }
-
-
-    virtual bool isConstDataOrAggData() const
-    {
-        return true;
-    }
-
-    virtual bool isConstDataOrAggDataButNotNullPtr() const
-    {
-        return true;
-    }
-
-    virtual const std::string toString() const;
-};
-
-
 class ConstDataValVar : public ValVar
 {
     friend class GraphDBClient;
@@ -1725,61 +1673,6 @@ public:
     virtual const std::string toString() const;
 };
 
-class ConstAggObjVar : public BaseObjVar
-{
-    friend class GraphDBClient;
-
-
-public:
-    ///  Methods for support type inquiry through isa, cast, and dyn_cast:
-    //@{
-    static inline bool classof(const ConstAggObjVar*)
-    {
-        return true;
-    }
-    static inline bool classof(const BaseObjVar* node)
-    {
-        return node->getNodeKind() == ConstAggObjNode;
-    }
-
-    static inline bool classof(const ObjVar* node)
-    {
-        return node->getNodeKind() == ConstAggObjNode;
-    }
-    static inline bool classof(const SVFVar* node)
-    {
-        return node->getNodeKind() == ConstAggObjNode;
-    }
-    static inline bool classof(const GenericPAGNodeTy* node)
-    {
-        return node->getNodeKind() == ConstAggObjNode;
-    }
-    static inline bool classof(const SVFValue* node)
-    {
-        return node->getNodeKind() == ConstAggObjNode;
-    }
-    //@}
-
-    /// Constructor
-    ConstAggObjVar(NodeID i, ObjTypeInfo* ti, const ICFGNode* node)
-        : BaseObjVar(i,  ti, node, ConstAggObjNode)
-    {
-
-    }
-
-    virtual bool isConstDataOrAggData() const
-    {
-        return true;
-    }
-
-    virtual bool isConstDataOrAggDataButNotNullPtr() const
-    {
-        return true;
-    }
-
-    virtual const std::string toString() const;
-};
-
 class ConstDataObjVar : public BaseObjVar
 {
     friend class GraphDBClient;

package/package.json

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