svf-tools 1.0.1044 → 1.0.1045

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "svf-tools",
-  "version": "1.0.1044",
+  "version": "1.0.1045",
   "description": "* <b>[TypeClone](https://github.com/SVF-tools/SVF/wiki/TypeClone) published in our [ECOOP paper](https://yuleisui.github.io/publications/ecoop20.pdf) is now available in SVF </b> * <b>SVF now uses a single script for its build. Just type [`source ./build.sh`](https://github.com/SVF-tools/SVF/blob/master/build.sh) in your terminal, that's it!</b> * <b>SVF now supports LLVM-10.0.0! </b> * <b>We thank [bsauce](https://github.com/bsauce) for writing a user manual of SVF ([link1](https://www.jianshu.com/p/068a08ec749c) and [link2](https://www.jianshu.com/p/777c30d4240e)) in Chinese </b> * <b>SVF now supports LLVM-9.0.0 (Thank [Byoungyoung Lee](https://github.com/SVF-tools/SVF/issues/142) for his help!). </b> * <b>SVF now supports a set of [field-sensitive pointer analyses](https://yuleisui.github.io/publications/sas2019a.pdf). </b> * <b>[Use SVF as an external lib](https://github.com/SVF-tools/SVF/wiki/Using-SVF-as-a-lib-in-your-own-tool) for your own project (Contributed by [Hongxu Chen](https://github.com/HongxuChen)). </b> * <b>SVF now supports LLVM-7.0.0. </b> * <b>SVF now supports Docker. [Try SVF in Docker](https://github.com/SVF-tools/SVF/wiki/Try-SVF-in-Docker)! </b> * <b>SVF now supports [LLVM-6.0.0](https://github.com/svf-tools/SVF/pull/38) (Contributed by [Jack Anthony](https://github.com/jackanth)). </b> * <b>SVF now supports [LLVM-4.0.0](https://github.com/svf-tools/SVF/pull/23) (Contributed by Jared Carlson. Thank [Jared](https://github.com/jcarlson23) and [Will](https://github.com/dtzWill) for their in-depth [discussions](https://github.com/svf-tools/SVF/pull/18) about updating SVF!) </b> * <b>SVF now supports analysis for C++ programs.</b> <br />",
   "main": "index.js",
   "scripts": {

package/svf/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/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/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/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/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/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/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/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/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/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/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/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/svf/lib/SVFIR/SVFValue.cpp

@@ -152,7 +152,7 @@ bool SVFLoopAndDomInfo::isLoopHeader(const SVFBasicBlock* bb) const
 }
 
 __attribute__((weak))
-const std::string SVFBaseNode::valueOnlyToString() const
+const std::string SVFValue::valueOnlyToString() const
 {
     assert("SVFBaseNode::valueOnlyToString should be implemented or supported by fronted" && false);
     abort();

package/svf-llvm/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-llvm/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