svf-lib 1.0.2214 → 1.0.2215

package/SVF-osx/Release-build/include/Graphs/BasicBlockG.h

@@ -115,9 +115,9 @@ public:
 
     }
 
-    static inline bool classof(const SVFBaseNode* node)
+    static inline bool classof(const SVFValue* node)
     {
-        return node->getNodeKind() == SVFBaseNode::BasicBlockKd;
+        return node->getNodeKind() == SVFValue::BasicBlockKd;
     }
 
     static inline bool classof(const SVFBasicBlock* node)

package/SVF-osx/Release-build/include/Graphs/CDG.h

@@ -126,7 +126,7 @@ public:
         return node->getNodeKind() == CDNodeKd;
     }
 
-    static inline bool classof(const SVFBaseNode* node)
+    static inline bool classof(const SVFValue* node)
     {
         return node->getNodeKind() == CDNodeKd;
     }

package/SVF-osx/Release-build/include/Graphs/CFLGraph.h

@@ -160,7 +160,7 @@ public:
         return node->getNodeKind() == CFLNodeKd;
     }
 
-    static inline bool classof(const SVFBaseNode* node)
+    static inline bool classof(const SVFValue* node)
     {
         return node->getNodeKind() == CFLNodeKd;
     }

package/SVF-osx/Release-build/include/Graphs/CHG.h

@@ -204,7 +204,7 @@ public:
         return node->getNodeKind() == CHNodeKd;
     }
 
-    static inline bool classof(const SVFBaseNode* node)
+    static inline bool classof(const SVFValue* node)
     {
         return node->getNodeKind() == CHNodeKd;
     }

package/SVF-osx/Release-build/include/Graphs/CallGraph.h

@@ -221,7 +221,7 @@ public:
         return node->getNodeKind() == CallNodeKd;
     }
 
-    static inline bool classof(const SVFBaseNode* node)
+    static inline bool classof(const SVFValue* node)
     {
         return node->getNodeKind() == CallNodeKd;
     }

package/SVF-osx/Release-build/include/Graphs/ConsGNode.h

@@ -406,7 +406,7 @@ public:
         return node->getNodeKind() == ConstraintNodeKd;
     }
 
-    static inline bool classof(const SVFBaseNode* node)
+    static inline bool classof(const SVFValue* node)
     {
         return node->getNodeKind() == ConstraintNodeKd;
     }

package/SVF-osx/Release-build/include/Graphs/GenericGraph.h

@@ -140,7 +140,7 @@ protected:
  * Generic node on the graph as base class
  */
 template<class NodeTy,class EdgeTy>
-class GenericNode: public SVFBaseNode
+class GenericNode: public SVFValue
 {
     friend class SVFIRWriter;
     friend class SVFIRReader;
@@ -163,7 +163,7 @@ private:
 
 public:
     /// Constructor
-    GenericNode(NodeID i, GNodeK k, const SVFType* svfType = nullptr): SVFBaseNode(i, k, svfType)
+    GenericNode(NodeID i, GNodeK k, const SVFType* svfType = nullptr): SVFValue(i, k, svfType)
     {
 
     }
@@ -327,7 +327,7 @@ public:
         return true;
     }
 
-    static inline bool classof(const SVFBaseNode*)
+    static inline bool classof(const SVFValue*)
     {
         return true;
     }

package/SVF-osx/Release-build/include/Graphs/ICFGNode.h

@@ -137,7 +137,7 @@ public:
         return isICFGNodeKinds(node->getNodeKind());
     }
 
-    static inline bool classof(const SVFBaseNode* node)
+    static inline bool classof(const SVFValue* node)
     {
         return isICFGNodeKinds(node->getNodeKind());
     }
@@ -261,7 +261,7 @@ public:
         return isInterICFGNodeKind(node->getNodeKind());
     }
 
-    static inline bool classof(const SVFBaseNode* node)
+    static inline bool classof(const SVFValue* node)
     {
         return isInterICFGNodeKind(node->getNodeKind());
     }
@@ -331,7 +331,7 @@ public:
         return node->getNodeKind() == FunEntryBlock;
     }
 
-    static inline bool classof(const SVFBaseNode*node)
+    static inline bool classof(const SVFValue*node)
     {
         return node->getNodeKind() == FunEntryBlock;
     }
@@ -399,7 +399,7 @@ public:
         return node->getNodeKind() == FunExitBlock;
     }
 
-    static inline bool classof(const SVFBaseNode*node)
+    static inline bool classof(const SVFValue*node)
     {
         return node->getNodeKind() == FunExitBlock;
     }
@@ -571,7 +571,7 @@ public:
         return node->getNodeKind() == FunCallBlock;
     }
 
-    static inline bool classof(const SVFBaseNode*node)
+    static inline bool classof(const SVFValue*node)
     {
         return node->getNodeKind() == FunCallBlock;
     }
@@ -650,7 +650,7 @@ public:
     {
         return node->getNodeKind() == FunRetBlock;
     }
-    static inline bool classof(const SVFBaseNode*node)
+    static inline bool classof(const SVFValue*node)
     {
         return node->getNodeKind() == FunRetBlock;
     }

package/SVF-osx/Release-build/include/Graphs/VFGNode.h

@@ -112,7 +112,7 @@ public:
     }
 
 
-    static inline bool classof(const SVFBaseNode* node)
+    static inline bool classof(const SVFValue* node)
     {
         return isVFGNodeKinds(node->getNodeKind());
     }
@@ -184,7 +184,7 @@ public:
     {
         return isStmtVFGNodeKinds(node->getNodeKind());
     }
-    static inline bool classof(const SVFBaseNode*node)
+    static inline bool classof(const SVFValue*node)
     {
         return isStmtVFGNodeKinds(node->getNodeKind());
     }
@@ -228,7 +228,7 @@ public:
     {
         return node->getNodeKind() == Load;
     }
-    static inline bool classof(const SVFBaseNode*node)
+    static inline bool classof(const SVFValue*node)
     {
         return node->getNodeKind() == Load;
     }
@@ -273,7 +273,7 @@ public:
     {
         return node->getNodeKind() == Store;
     }
-    static inline bool classof(const SVFBaseNode*node)
+    static inline bool classof(const SVFValue*node)
     {
         return node->getNodeKind() == Store;
     }
@@ -318,7 +318,7 @@ public:
     {
         return node->getNodeKind() == Copy;
     }
-    static inline bool classof(const SVFBaseNode*node)
+    static inline bool classof(const SVFValue*node)
     {
         return node->getNodeKind() == Copy;
     }
@@ -364,7 +364,7 @@ public:
     {
         return node->getNodeKind() == Cmp;
     }
-    static inline bool classof(const SVFBaseNode*node)
+    static inline bool classof(const SVFValue*node)
     {
         return node->getNodeKind() == Cmp;
     }
@@ -441,7 +441,7 @@ public:
     {
         return node->getNodeKind() == BinaryOp;
     }
-    static inline bool classof(const SVFBaseNode*node)
+    static inline bool classof(const SVFValue*node)
     {
         return node->getNodeKind() == BinaryOp;
     }
@@ -515,7 +515,7 @@ public:
     {
         return node->getNodeKind() == UnaryOp;
     }
-    static inline bool classof(const SVFBaseNode*node)
+    static inline bool classof(const SVFValue*node)
     {
         return node->getNodeKind() == UnaryOp;
     }
@@ -587,7 +587,7 @@ public:
     {
         return node->getNodeKind() == Branch;
     }
-    static inline bool classof(const SVFBaseNode*node)
+    static inline bool classof(const SVFValue*node)
     {
         return node->getNodeKind() == Branch;
     }
@@ -653,7 +653,7 @@ public:
     {
         return node->getNodeKind() == Gep;
     }
-    static inline bool classof(const SVFBaseNode*node)
+    static inline bool classof(const SVFValue*node)
     {
         return node->getNodeKind() == Gep;
     }
@@ -730,7 +730,7 @@ public:
     {
         return isPHIVFGNodeKinds(node->getNodeKind());
     }
-    static inline bool classof(const SVFBaseNode*node)
+    static inline bool classof(const SVFValue*node)
     {
         return isPHIVFGNodeKinds(node->getNodeKind());
     }
@@ -790,7 +790,7 @@ public:
     {
         return node->getNodeKind() == TIntraPhi;
     }
-    static inline bool classof(const SVFBaseNode*node)
+    static inline bool classof(const SVFValue*node)
     {
         return node->getNodeKind() == TIntraPhi;
     }
@@ -831,7 +831,7 @@ public:
     {
         return node->getNodeKind() == Addr;
     }
-    static inline bool classof(const SVFBaseNode*node)
+    static inline bool classof(const SVFValue*node)
     {
         return node->getNodeKind() == Addr;
     }
@@ -875,7 +875,7 @@ public:
     {
         return isArgumentVFGNodeKinds(node->getNodeKind());
     }
-    static inline bool classof(const SVFBaseNode*node)
+    static inline bool classof(const SVFValue*node)
     {
         return isArgumentVFGNodeKinds(node->getNodeKind());
     }
@@ -929,7 +929,7 @@ public:
     {
         return node->getNodeKind() == AParm;
     }
-    static inline bool classof(const SVFBaseNode*node)
+    static inline bool classof(const SVFValue*node)
     {
         return node->getNodeKind() == AParm;
     }
@@ -1003,7 +1003,7 @@ public:
     {
         return node->getNodeKind() == FParm;
     }
-    static inline bool classof(const SVFBaseNode*node)
+    static inline bool classof(const SVFValue*node)
     {
         return node->getNodeKind() == FParm;
     }
@@ -1065,7 +1065,7 @@ public:
     {
         return node->getNodeKind() == ARet;
     }
-    static inline bool classof(const SVFBaseNode*node)
+    static inline bool classof(const SVFValue*node)
     {
         return node->getNodeKind() == ARet;
     }
@@ -1135,7 +1135,7 @@ public:
     {
         return node->getNodeKind() == FRet;
     }
-    static inline bool classof(const SVFBaseNode*node)
+    static inline bool classof(const SVFValue*node)
     {
         return node->getNodeKind() == FRet;
     }
@@ -1198,7 +1198,7 @@ public:
     {
         return node->getNodeKind() == TInterPhi;
     }
-    static inline bool classof(const SVFBaseNode*node)
+    static inline bool classof(const SVFValue*node)
     {
         return node->getNodeKind() == TInterPhi;
     }
@@ -1250,7 +1250,7 @@ public:
     {
         return node->getNodeKind() == NPtr;
     }
-    static inline bool classof(const SVFBaseNode*node)
+    static inline bool classof(const SVFValue*node)
     {
         return node->getNodeKind() == NPtr;
     }

package/SVF-osx/Release-build/include/MTA/TCT.h

@@ -134,7 +134,7 @@ public:
     {
         return node->getNodeKind() == TCTNodeKd;
     }
-    static inline bool classof(const SVFBaseNode*node)
+    static inline bool classof(const SVFValue*node)
     {
         return node->getNodeKind() == TCTNodeKd;
     }

package/SVF-osx/Release-build/include/SVF-LLVM/BreakConstantExpr.h

@@ -15,7 +15,7 @@
 #ifndef BREAKCONSTANTGEPS_H
 #define BREAKCONSTANTGEPS_H
 
-#include "SVF-LLVM/SVFValue.h"
+#include "SVF-LLVM/SVFLLVMValue.h"
 
 namespace SVF
 {

package/SVF-osx/Release-build/include/SVF-LLVM/CppUtil.h

@@ -30,7 +30,7 @@
 #ifndef CPPUtil_H_
 #define CPPUtil_H_
 
-#include "SVF-LLVM/SVFValue.h"
+#include "SVF-LLVM/SVFLLVMValue.h"
 #include "SVF-LLVM/BasicTypes.h"
 
 namespace SVF

package/SVF-osx/Release-build/include/SVF-LLVM/LLVMModule.h

@@ -31,7 +31,7 @@
 #define INCLUDE_SVF_FE_LLVMMODULE_H_
 
 #include "SVF-LLVM/BasicTypes.h"
-#include "SVF-LLVM/SVFValue.h"
+#include "SVF-LLVM/SVFLLVMValue.h"
 #include "SVF-LLVM/SVFModule.h"
 #include "Util/Options.h"
 #include "Graphs/BasicBlockG.h"
@@ -61,8 +61,8 @@ public:
     typedef Map<const Argument*, SVFArgument*> LLVMArgument2SVFArgumentMap;
     typedef Map<const Constant*, SVFConstant*> LLVMConst2SVFConstMap;
     typedef Map<const Value*, SVFOtherValue*> LLVMValue2SVFOtherValueMap;
-    typedef Map<const SVFValue*, const Value*> SVFValue2LLVMValueMap;
-    typedef Map<const SVFBaseNode*, const Value*> SVFBaseNode2LLVMValueMap;
+    typedef Map<const SVFLLVMValue*, const Value*> SVFValue2LLVMValueMap;
+    typedef Map<const SVFValue*, const Value*> SVFBaseNode2LLVMValueMap;
     typedef Map<const Type*, SVFType*> LLVMType2SVFTypeMap;
     typedef Map<const Type*, StInfo*> Type2TypeInfoMap;
     typedef Map<std::string, std::vector<std::string>> Fun2AnnoMap;
@@ -75,7 +75,7 @@ public:
 
     /// llvm value to sym id map
     /// local (%) and global (@) identifiers are pointer types which have a value node id.
-    typedef OrderedMap<const SVFValue*, NodeID> ValueToIDMapTy;
+    typedef OrderedMap<const SVFLLVMValue*, NodeID> ValueToIDMapTy;
 
     typedef OrderedMap<const SVFFunction*, NodeID> FunToIDMapTy;
 
@@ -208,13 +208,13 @@ public:
 
     /// Get SVFIR Node according to LLVM value
     ///getNode - Return the node corresponding to the specified pointer.
-    NodeID getValueNode(const SVFValue* V);
+    NodeID getValueNode(const SVFLLVMValue* V);
 
-    bool hasValueNode(const SVFValue* V);
+    bool hasValueNode(const SVFLLVMValue* V);
 
     /// getObject - Return the obj node id refer to the memory object for the
     /// specified global, heap or alloca instruction according to llvm value.
-    NodeID getObjectNode(const SVFValue* V);
+    NodeID getObjectNode(const SVFLLVMValue* V);
 
     void dumpSymTable();
 
@@ -285,16 +285,16 @@ public:
         setValueAttr(ov,svfov);
     }
 
-    SVFValue* getSVFValue(const Value* value);
+    SVFLLVMValue* getSVFValue(const Value* value);
 
-    const Value* getLLVMValue(const SVFValue* value) const
+    const Value* getLLVMValue(const SVFLLVMValue* value) const
     {
         SVFValue2LLVMValueMap::const_iterator it = SVFValue2LLVMValue.find(value);
         assert(it!=SVFValue2LLVMValue.end() && "can't find corresponding llvm value!");
         return it->second;
     }
 
-    const Value* getLLVMValue(const SVFBaseNode* value) const
+    const Value* getLLVMValue(const SVFValue* value) const
     {
         SVFBaseNode2LLVMValueMap ::const_iterator it = SVFBaseNode2LLVMValue.find(value);
         assert(it != SVFBaseNode2LLVMValue.end() && "can't find corresponding llvm value!");
@@ -536,8 +536,8 @@ private:
     void initSVFFunction();
     void initSVFBasicBlock(const Function* func);
     void initDomTree(SVFFunction* func, const Function* f);
-    void setValueAttr(const Value* val, SVFValue* value);
-    void addToSVFVar2LLVMValueMap(const Value* val, SVFBaseNode* svfBaseNode);
+    void setValueAttr(const Value* val, SVFLLVMValue* value);
+    void addToSVFVar2LLVMValueMap(const Value* val, SVFValue* svfBaseNode);
     void buildFunToFunMap();
     void buildGlobalDefToRepMap();
     /// Invoke llvm passes to modify module

package/SVF-osx/Release-build/include/SVF-LLVM/LLVMUtil.h

@@ -32,7 +32,7 @@
 
 #include "Util/SVFUtil.h"
 #include "SVF-LLVM/BasicTypes.h"
-#include "SVF-LLVM/SVFValue.h"
+#include "SVF-LLVM/SVFLLVMValue.h"
 #include "Util/ThreadAPI.h"
 
 namespace SVF
@@ -377,7 +377,7 @@ inline bool isConstDataOrAggData(const Value* val)
 const Value* getGlobalRep(const Value* val);
 
 /// Check whether this value points-to a constant object
-bool isConstantObjSym(const SVFValue* val);
+bool isConstantObjSym(const SVFLLVMValue* val);
 
 /// Check whether this value points-to a constant object
 bool isConstantObjSym(const Value* val);

package/SVF-osx/Release-build/include/SVF-LLVM/ObjTypeInference.h

@@ -32,7 +32,7 @@
 
 #include "Util/SVFUtil.h"
 #include "SVF-LLVM/BasicTypes.h"
-#include "SVF-LLVM/SVFValue.h"
+#include "SVF-LLVM/SVFLLVMValue.h"
 #include "Util/ThreadAPI.h"
 
 namespace SVF

package/SVF-osx/Release-build/include/SVF-LLVM/SVFIRBuilder.h

@@ -50,7 +50,7 @@ private:
     SVFIR* pag;
     SVFModule* svfModule;
     const SVFBasicBlock* curBB;	///< Current basic block during SVFIR construction when visiting the module
-    const SVFValue* curVal;	///< Current Value during SVFIR construction when visiting the module
+    const SVFLLVMValue* curVal;	///< Current Value during SVFIR construction when visiting the module
 
 public:
     /// Constructor
@@ -93,14 +93,14 @@ public:
         processCE(V);
 
         // strip off the constant cast and return the value node
-        SVFValue* svfVal = llvmModuleSet()->getSVFValue(V);
+        SVFLLVMValue* svfVal = llvmModuleSet()->getSVFValue(V);
         return llvmModuleSet()->getValueNode(svfVal);
     }
 
     /// GetObject - Return the object node (stack/global/heap/function) according to a LLVM Value
     inline NodeID getObjectNode(const Value* V)
     {
-        SVFValue* svfVal = llvmModuleSet()->getSVFValue(V);
+        SVFLLVMValue* svfVal = llvmModuleSet()->getSVFValue(V);
         return llvmModuleSet()->getObjectNode(svfVal);
     }
 
@@ -246,12 +246,12 @@ protected:
         curBB = (bb == nullptr? nullptr : llvmModuleSet()->getSVFBasicBlock(bb));
         curVal = (val == nullptr ? nullptr: llvmModuleSet()->getSVFValue(val));
     }
-    inline void setCurrentLocation(const SVFValue* val, const SVFBasicBlock* bb)
+    inline void setCurrentLocation(const SVFLLVMValue* val, const SVFBasicBlock* bb)
     {
         curBB = bb;
         curVal = val;
     }
-    inline const SVFValue* getCurrentValue() const
+    inline const SVFLLVMValue* getCurrentValue() const
     {
         return curVal;
     }
@@ -263,7 +263,7 @@ protected:
     /// Add global black hole Address edge
     void addGlobalBlackHoleAddrEdge(NodeID node, const ConstantExpr *int2Ptrce)
     {
-        const SVFValue* cval = getCurrentValue();
+        const SVFLLVMValue* cval = getCurrentValue();
         const SVFBasicBlock* cbb = getCurrentBB();
         setCurrentLocation(int2Ptrce,nullptr);
         addBlackHoleAddrEdge(node);

package/SVF-osx/Release-build/include/SVF-LLVM/{SVFValue.h → SVFLLVMValue.h}

@@ -50,7 +50,7 @@ class SVFArgument;
 class SVFFunction;
 class SVFType;
 
-class SVFValue
+class SVFLLVMValue
 {
     friend class SVFIRWriter;
     friend class SVFIRReader;
@@ -89,7 +89,7 @@ protected:
     std::string name;       ///< Short name of value for printing & debugging
     std::string sourceLoc;  ///< Source code information of this value
     /// Constructor without name
-    SVFValue(const SVFType* ty, SVFValKind k)
+    SVFLLVMValue(const SVFType* ty, SVFValKind k)
         : kind(k), ptrInUncalledFun(false),
           constDataOrAggData(SVFConstData == k), type(ty), sourceLoc("NoLoc")
     {
@@ -107,8 +107,8 @@ protected:
     }
     ///@}
 public:
-    SVFValue() = delete;
-    virtual ~SVFValue() = default;
+    SVFLLVMValue() = delete;
+    virtual ~SVFLLVMValue() = default;
 
     /// Get the type of this SVFValue
     inline GNodeK getKind() const
@@ -160,7 +160,7 @@ public:
 
     /// Overloading operator << for dumping ICFG node ID
     //@{
-    friend OutStream& operator<<(OutStream &os, const SVFValue &value)
+    friend OutStream& operator<<(OutStream &os, const SVFLLVMValue &value)
     {
         return os << value.toString();
     }
@@ -169,7 +169,7 @@ public:
 
 class ArgValVar;
 
-class SVFFunction : public SVFValue
+class SVFFunction : public SVFLLVMValue
 {
     friend class LLVMModuleSet;
     friend class SVFIRWriter;
@@ -225,7 +225,7 @@ public:
     SVFFunction(void) = delete;
     virtual ~SVFFunction();
 
-    static inline bool classof(const SVFValue *node)
+    static inline bool classof(const SVFLLVMValue *node)
     {
         return node->getKind() == SVFFunc;
     }
@@ -399,7 +399,7 @@ public:
 class ICFGNode;
 class FunObjVar;
 
-class SVFInstruction : public SVFValue
+class SVFInstruction : public SVFLLVMValue
 {
     friend class SVFIRWriter;
     friend class SVFIRReader;
@@ -415,7 +415,7 @@ public:
                    bool isRet, SVFValKind k = SVFInst);
     SVFInstruction(void) = delete;
 
-    static inline bool classof(const SVFValue *node)
+    static inline bool classof(const SVFLLVMValue *node)
     {
         return node->getKind() == SVFInst ||
                node->getKind() == SVFCall ||
@@ -446,17 +446,17 @@ class SVFCallInst : public SVFInstruction
     friend class SVFIRBuilder;
 
 private:
-    std::vector<const SVFValue*> args;
+    std::vector<const SVFLLVMValue*> args;
     bool varArg;
-    const SVFValue* calledVal;
+    const SVFLLVMValue* calledVal;
 
 protected:
     ///@{ attributes to be set only through Module builders e.g., LLVMModule
-    inline void addArgument(const SVFValue* a)
+    inline void addArgument(const SVFLLVMValue* a)
     {
         args.push_back(a);
     }
-    inline void setCalledOperand(const SVFValue* v)
+    inline void setCalledOperand(const SVFLLVMValue* v)
     {
         calledVal = v;
     }
@@ -469,7 +469,7 @@ public:
     }
     SVFCallInst(void) = delete;
 
-    static inline bool classof(const SVFValue *node)
+    static inline bool classof(const SVFLLVMValue *node)
     {
         return node->getKind() == SVFCall || node->getKind() == SVFVCall;
     }
@@ -485,7 +485,7 @@ public:
     {
         return args.empty();
     }
-    inline const SVFValue* getArgOperand(u32_t i) const
+    inline const SVFLLVMValue* getArgOperand(u32_t i) const
     {
         assert(i < arg_size() && "out of bound access of the argument");
         return args[i];
@@ -494,7 +494,7 @@ public:
     {
         return arg_size();
     }
-    inline const SVFValue* getCalledOperand() const
+    inline const SVFLLVMValue* getCalledOperand() const
     {
         return calledVal;
     }
@@ -512,17 +512,17 @@ public:
     }
 };
 
-class SVFConstant : public SVFValue
+class SVFConstant : public SVFLLVMValue
 {
     friend class SVFIRWriter;
     friend class SVFIRReader;
 public:
-    SVFConstant(const SVFType* ty, SVFValKind k = SVFConst): SVFValue(ty, k)
+    SVFConstant(const SVFType* ty, SVFValKind k = SVFConst): SVFLLVMValue(ty, k)
     {
     }
     SVFConstant() = delete;
 
-    static inline bool classof(const SVFValue *node)
+    static inline bool classof(const SVFLLVMValue *node)
     {
         return node->getKind() == SVFConst ||
                node->getKind() == SVFGlob ||
@@ -542,16 +542,16 @@ class SVFGlobalValue : public SVFConstant
     friend class LLVMModuleSet;
 
 private:
-    const SVFValue* realDefGlobal;  /// the definition of a function across multiple modules
+    const SVFLLVMValue* realDefGlobal;  /// the definition of a function across multiple modules
 
 protected:
-    inline void setDefGlobalForMultipleModule(const SVFValue* defg)
+    inline void setDefGlobalForMultipleModule(const SVFLLVMValue* defg)
     {
         realDefGlobal = defg;
     }
 
 public:
-    SVFGlobalValue(const SVFType* ty): SVFConstant(ty, SVFValue::SVFGlob), realDefGlobal(nullptr)
+    SVFGlobalValue(const SVFType* ty): SVFConstant(ty, SVFLLVMValue::SVFGlob), realDefGlobal(nullptr)
     {
     }
     SVFGlobalValue(std::string&& name, const SVFType* ty) : SVFGlobalValue(ty)
@@ -560,13 +560,13 @@ public:
     }
     SVFGlobalValue() = delete;
 
-    inline const SVFValue* getDefGlobalForMultipleModule() const
+    inline const SVFLLVMValue* getDefGlobalForMultipleModule() const
     {
         if(realDefGlobal==nullptr)
             return this;
         return realDefGlobal;
     }
-    static inline bool classof(const SVFValue *node)
+    static inline bool classof(const SVFLLVMValue *node)
     {
         return node->getKind() == SVFGlob;
     }
@@ -576,7 +576,7 @@ public:
     }
 };
 
-class SVFArgument : public SVFValue
+class SVFArgument : public SVFLLVMValue
 {
     friend class SVFIRWriter;
     friend class SVFIRReader;
@@ -587,7 +587,7 @@ private:
 public:
     SVFArgument(const SVFType* ty, const SVFFunction* fun, u32_t argNo,
                 bool uncalled)
-        : SVFValue(ty, SVFValue::SVFArg), fun(fun), argNo(argNo),
+        : SVFLLVMValue(ty, SVFLLVMValue::SVFArg), fun(fun), argNo(argNo),
           uncalled(uncalled)
     {
     }
@@ -610,7 +610,7 @@ public:
         return uncalled;
     }
 
-    static inline bool classof(const SVFValue *node)
+    static inline bool classof(const SVFLLVMValue *node)
     {
         return node->getKind() == SVFArg;
     }
@@ -627,7 +627,7 @@ public:
     }
     SVFConstantData() = delete;
 
-    static inline bool classof(const SVFValue *node)
+    static inline bool classof(const SVFLLVMValue *node)
     {
         return node->getKind() == SVFConstData ||
                node->getKind() == SVFConstInt ||
@@ -654,12 +654,12 @@ private:
     s64_t sval;
 public:
     SVFConstantInt(const SVFType* ty, u64_t z, s64_t s)
-        : SVFConstantData(ty, SVFValue::SVFConstInt), zval(z), sval(s)
+        : SVFConstantData(ty, SVFLLVMValue::SVFConstInt), zval(z), sval(s)
     {
     }
     SVFConstantInt() = delete;
 
-    static inline bool classof(const SVFValue *node)
+    static inline bool classof(const SVFLLVMValue *node)
     {
         return node->getKind() == SVFConstInt;
     }
@@ -687,7 +687,7 @@ private:
     float dval;
 public:
     SVFConstantFP(const SVFType* ty, double d)
-        : SVFConstantData(ty, SVFValue::SVFConstFP), dval(d)
+        : SVFConstantData(ty, SVFLLVMValue::SVFConstFP), dval(d)
     {
     }
     SVFConstantFP() = delete;
@@ -696,7 +696,7 @@ public:
     {
         return dval;
     }
-    static inline bool classof(const SVFValue *node)
+    static inline bool classof(const SVFLLVMValue *node)
     {
         return node->getKind() == SVFConstFP;
     }
@@ -713,12 +713,12 @@ class SVFConstantNullPtr : public SVFConstantData
 
 public:
     SVFConstantNullPtr(const SVFType* ty)
-        : SVFConstantData(ty, SVFValue::SVFNullPtr)
+        : SVFConstantData(ty, SVFLLVMValue::SVFNullPtr)
     {
     }
     SVFConstantNullPtr() = delete;
 
-    static inline bool classof(const SVFValue *node)
+    static inline bool classof(const SVFLLVMValue *node)
     {
         return node->getKind() == SVFNullPtr;
     }
@@ -735,12 +735,12 @@ class SVFBlackHoleValue : public SVFConstantData
 
 public:
     SVFBlackHoleValue(const SVFType* ty)
-        : SVFConstantData(ty, SVFValue::SVFBlackHole)
+        : SVFConstantData(ty, SVFLLVMValue::SVFBlackHole)
     {
     }
     SVFBlackHoleValue() = delete;
 
-    static inline bool classof(const SVFValue *node)
+    static inline bool classof(const SVFLLVMValue *node)
     {
         return node->getKind() == SVFBlackHole;
     }
@@ -750,18 +750,18 @@ public:
     }
 };
 
-class SVFOtherValue : public SVFValue
+class SVFOtherValue : public SVFLLVMValue
 {
     friend class SVFIRWriter;
     friend class SVFIRReader;
 public:
-    SVFOtherValue(const SVFType* ty, SVFValKind k = SVFValue::SVFOther)
-        : SVFValue(ty, k)
+    SVFOtherValue(const SVFType* ty, SVFValKind k = SVFLLVMValue::SVFOther)
+        : SVFLLVMValue(ty, k)
     {
     }
     SVFOtherValue() = delete;
 
-    static inline bool classof(const SVFValue *node)
+    static inline bool classof(const SVFLLVMValue *node)
     {
         return node->getKind() == SVFOther || node->getKind() == SVFMetaAsValue;
     }
@@ -776,12 +776,12 @@ class SVFMetadataAsValue : public SVFOtherValue
     friend class SVFIRReader;
 public:
     SVFMetadataAsValue(const SVFType* ty)
-        : SVFOtherValue(ty, SVFValue::SVFMetaAsValue)
+        : SVFOtherValue(ty, SVFLLVMValue::SVFMetaAsValue)
     {
     }
     SVFMetadataAsValue() = delete;
 
-    static inline bool classof(const SVFValue *node)
+    static inline bool classof(const SVFLLVMValue *node)
     {
         return node->getKind() == SVFMetaAsValue;
     }
@@ -796,7 +796,7 @@ public:
 /// Converts an SVFValue to corresponding LLVM::Value, then get the string
 /// representation of it. Use it only when you are debugging. Don't use
 /// it in any SVF algorithm because it relies on information stored in LLVM bc.
-std::string dumpLLVMValue(const SVFValue* svfValue);
+std::string dumpLLVMValue(const SVFLLVMValue* svfValue);
 
 
 

package/SVF-osx/Release-build/include/SVF-LLVM/SVFModule.h

@@ -30,7 +30,7 @@
 #ifndef INCLUDE_SVFMODULE_H_
 #define INCLUDE_SVFMODULE_H_
 
-#include "SVF-LLVM/SVFValue.h"
+#include "SVF-LLVM/SVFLLVMValue.h"
 #include "Util/NodeIDAllocator.h"
 #include "Util/ThreadAPI.h"
 

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

@@ -38,7 +38,7 @@ namespace SVF
 {
 
 
-class SVFBaseNode
+class SVFValue
 {
 
 public:
@@ -149,7 +149,7 @@ public:
     };
 
 
-    SVFBaseNode(NodeID i, GNodeK k, const SVFType* ty = nullptr): id(i),nodeKind(k), type(ty)
+    SVFValue(NodeID i, GNodeK k, const SVFType* ty = nullptr): id(i),nodeKind(k), type(ty)
     {
 
     }

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

@@ -177,7 +177,7 @@ public:
         return isSVFVarKind(node->getNodeKind());
     }
 
-    static inline bool classof(const SVFBaseNode* node)
+    static inline bool classof(const SVFValue* node)
     {
         return isSVFVarKind(node->getNodeKind());
     }
@@ -270,7 +270,7 @@ public:
     {
         return isValVarKinds(node->getNodeKind());
     }
-    static inline bool classof(const SVFBaseNode* node)
+    static inline bool classof(const SVFValue* node)
     {
         return isValVarKinds(node->getNodeKind());
     }
@@ -328,7 +328,7 @@ public:
     {
         return isObjVarKinds(node->getNodeKind());
     }
-    static inline bool classof(const SVFBaseNode* node)
+    static inline bool classof(const SVFValue* node)
     {
         return isObjVarKinds(node->getNodeKind());
     }
@@ -382,7 +382,7 @@ public:
     {
         return node->getNodeKind() == ArgValNode;
     }
-    static inline bool classof(const SVFBaseNode* node)
+    static inline bool classof(const SVFValue* node)
     {
         return node->getNodeKind() == ArgValNode;
     }
@@ -454,7 +454,7 @@ public:
     {
         return node->getNodeKind() == SVFVar::GepValNode;
     }
-    static inline bool classof(const SVFBaseNode* node)
+    static inline bool classof(const SVFValue* node)
     {
         return node->getNodeKind() == SVFVar::GepValNode;
     }
@@ -551,7 +551,7 @@ public:
     {
         return isBaseObjVarKinds(node->getNodeKind());
     }
-    static inline bool classof(const SVFBaseNode* node)
+    static inline bool classof(const SVFValue* node)
     {
         return isBaseObjVarKinds(node->getNodeKind());
     }
@@ -754,7 +754,7 @@ public:
     {
         return node->getNodeKind() == SVFVar::GepObjNode;
     }
-    static inline bool classof(const SVFBaseNode* node)
+    static inline bool classof(const SVFValue* node)
     {
         return node->getNodeKind() == SVFVar::GepObjNode;
     }
@@ -863,7 +863,7 @@ public:
     {
         return node->getNodeKind() == HeapObjNode;
     }
-    static inline bool classof(const SVFBaseNode* node)
+    static inline bool classof(const SVFValue* node)
     {
         return node->getNodeKind() == HeapObjNode;
     }
@@ -926,7 +926,7 @@ public:
     {
         return node->getNodeKind() == StackObjNode;
     }
-    static inline bool classof(const SVFBaseNode* node)
+    static inline bool classof(const SVFValue* node)
     {
         return node->getNodeKind() == StackObjNode;
     }
@@ -1006,7 +1006,7 @@ public:
     {
         return node->getNodeKind() == FunObjNode;
     }
-    static inline bool classof(const SVFBaseNode* node)
+    static inline bool classof(const SVFValue* node)
     {
         return node->getNodeKind() == FunObjNode;
     }
@@ -1245,7 +1245,7 @@ public:
     {
         return node->getNodeKind() == FunValNode;
     }
-    static inline bool classof(const SVFBaseNode* node)
+    static inline bool classof(const SVFValue* node)
     {
         return node->getNodeKind() == FunValNode;
     }
@@ -1294,7 +1294,7 @@ public:
     {
         return node->getNodeKind() == GlobalValNode;
     }
-    static inline bool classof(const SVFBaseNode* node)
+    static inline bool classof(const SVFValue* node)
     {
         return node->getNodeKind() == GlobalValNode;
     }
@@ -1335,7 +1335,7 @@ public:
     {
         return node->getNodeKind() == ConstAggValNode;
     }
-    static inline bool classof(const SVFBaseNode* node)
+    static inline bool classof(const SVFValue* node)
     {
         return node->getNodeKind() == ConstAggValNode;
     }
@@ -1387,7 +1387,7 @@ public:
     {
         return isConstantDataValVar(node->getNodeKind());
     }
-    static inline bool classof(const SVFBaseNode* node)
+    static inline bool classof(const SVFValue* node)
     {
         return isConstantDataValVar(node->getNodeKind());
     }
@@ -1442,7 +1442,7 @@ public:
     {
         return node->getNodeKind() == BlackHoleValNode;
     }
-    static inline bool classof(const SVFBaseNode* node)
+    static inline bool classof(const SVFValue* node)
     {
         return node->getNodeKind() == BlackHoleValNode;
     }
@@ -1496,7 +1496,7 @@ public:
     {
         return node->getNodeKind() == ConstFPValNode;
     }
-    static inline bool classof(const SVFBaseNode* node)
+    static inline bool classof(const SVFValue* node)
     {
         return node->getNodeKind() == ConstFPValNode;
     }
@@ -1548,7 +1548,7 @@ public:
     {
         return node->getNodeKind() == ConstIntValNode;
     }
-    static inline bool classof(const SVFBaseNode* node)
+    static inline bool classof(const SVFValue* node)
     {
         return node->getNodeKind() == ConstIntValNode;
     }
@@ -1602,7 +1602,7 @@ public:
     {
         return node->getNodeKind() == ConstNullptrValNode;
     }
-    static inline bool classof(const SVFBaseNode* node)
+    static inline bool classof(const SVFValue* node)
     {
         return node->getNodeKind() == ConstNullptrValNode;
     }
@@ -1655,7 +1655,7 @@ public:
     {
         return node->getNodeKind() == GlobalObjNode;
     }
-    static inline bool classof(const SVFBaseNode* node)
+    static inline bool classof(const SVFValue* node)
     {
         return node->getNodeKind() == GlobalObjNode;
     }
@@ -1701,7 +1701,7 @@ public:
     {
         return node->getNodeKind() == ConstAggObjNode;
     }
-    static inline bool classof(const SVFBaseNode* node)
+    static inline bool classof(const SVFValue* node)
     {
         return node->getNodeKind() == ConstAggObjNode;
     }
@@ -1759,7 +1759,7 @@ public:
         return isConstantDataObjVarKinds(node->getNodeKind());
     }
 
-    static inline bool classof(const SVFBaseNode* node)
+    static inline bool classof(const SVFValue* node)
     {
         return isConstantDataObjVarKinds(node->getNodeKind());
     }
@@ -1826,7 +1826,7 @@ public:
         return node->getNodeKind() == SVFVar::ConstFPObjNode;
     }
 
-    static inline bool classof(const SVFBaseNode* node)
+    static inline bool classof(const SVFValue* node)
     {
         return node->getNodeKind() == SVFVar::ConstFPObjNode;
     }
@@ -1890,7 +1890,7 @@ public:
         return node->getNodeKind() == SVFVar::ConstIntObjNode;
     }
 
-    static inline bool classof(const SVFBaseNode* node)
+    static inline bool classof(const SVFValue* node)
     {
         return node->getNodeKind() == SVFVar::ConstIntObjNode;
     }
@@ -1956,7 +1956,7 @@ public:
         return node->getNodeKind() == SVFVar::ConstNullptrObjNode;
     }
 
-    static inline bool classof(const SVFBaseNode* node)
+    static inline bool classof(const SVFValue* node)
     {
         return node->getNodeKind() == SVFVar::ConstNullptrObjNode;
     }
@@ -2005,7 +2005,7 @@ public:
     {
         return node->getNodeKind() == SVFVar::RetValNode;
     }
-    static inline bool classof(const SVFBaseNode* node)
+    static inline bool classof(const SVFValue* node)
     {
         return node->getNodeKind() == SVFVar::RetValNode;
     }
@@ -2062,7 +2062,7 @@ public:
     {
         return node->getNodeKind() == SVFVar::VarargValNode;
     }
-    static inline bool classof(const SVFBaseNode* node)
+    static inline bool classof(const SVFValue* node)
     {
         return node->getNodeKind() == SVFVar::VarargValNode;
     }
@@ -2112,7 +2112,7 @@ public:
     {
         return node->getNodeKind() == SVFVar::DummyValNode;
     }
-    static inline bool classof(const SVFBaseNode* node)
+    static inline bool classof(const SVFValue* node)
     {
         return node->getNodeKind() == SVFVar::DummyValNode;
     }
@@ -2173,7 +2173,7 @@ public:
         return node->getNodeKind() == SVFVar::DummyObjNode;
     }
 
-    static inline bool classof(const SVFBaseNode* node)
+    static inline bool classof(const SVFValue* node)
     {
         return node->getNodeKind() == SVFVar::DummyObjNode;
     }

package/package.json

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