svf-tools 1.0.1285 → 1.0.1287

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "svf-tools",
-  "version": "1.0.1285",
+  "version": "1.0.1287",
   "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/SVFIR/SVFIR.h

@@ -849,10 +849,6 @@ private:
     {
         return addValNode(new IntrinsicValVar(i, type));
     }
-    inline NodeID addBasicBlockValNode(NodeID i, const SVFType* type)
-    {
-        return addValNode(new BasicBlockValVar(i, type));
-    }
     inline NodeID addAsmPCValNode(NodeID i, const SVFType* type)
     {
         return addValNode(new AsmPCValVar(i, type));

package/svf/include/SVFIR/SVFValue.h

@@ -81,7 +81,6 @@ public:
         // │   └─ Subclass: DummyValVar
         DummyValNode,            // │   └── Dummy node for uninitialized values
         IntrinsicValNode,        // │   └── LLVM intrinsic call instruction (e.g. llvm.dbg.declare)
-        BasicBlockValNode,       // │   └── LLVM BasicBlock (label operand of br/switch)
         AsmPCValNode,            // │   └── InlineAsm, DSOLocalEquivalent, NoCFIValue
 
         // └─ Subclass: ObjVar (Object variable nodes)
@@ -232,7 +231,7 @@ protected:
 
     static inline bool isSVFVarKind(GNodeK n)
     {
-        static_assert(DummyObjNode - ValNode == 29,
+        static_assert(DummyObjNode - ValNode == 28,
                       "The number of SVFVarKinds has changed, make sure the "
                       "range is correct");
 
@@ -241,7 +240,7 @@ protected:
 
     static inline bool isValVarKinds(GNodeK n)
     {
-        static_assert(AsmPCValNode - ValNode == 16,
+        static_assert(AsmPCValNode - ValNode == 15,
                       "The number of ValVarKinds has changed, make sure the "
                       "range is correct");
         return n <= AsmPCValNode && n >= ValNode;

package/svf/include/SVFIR/SVFVariables.h

@@ -2220,46 +2220,6 @@ public:
     virtual const std::string toString() const;
 };
 
-/*
- * Represents an LLVM BasicBlock (label operand of br/switch).
- * Collected into valSyms as a branch operand but has no ICFGNode.
- */
-class BasicBlockValVar: public ValVar
-{
-    friend class GraphDBClient;
-
-public:
-    static inline bool classof(const BasicBlockValVar*)
-    {
-        return true;
-    }
-    static inline bool classof(const SVFVar* node)
-    {
-        return node->getNodeKind() == SVFVar::BasicBlockValNode;
-    }
-    static inline bool classof(const ValVar* node)
-    {
-        return node->getNodeKind() == SVFVar::BasicBlockValNode;
-    }
-    static inline bool classof(const GenericPAGNodeTy* node)
-    {
-        return node->getNodeKind() == SVFVar::BasicBlockValNode;
-    }
-    static inline bool classof(const SVFValue* node)
-    {
-        return node->getNodeKind() == SVFVar::BasicBlockValNode;
-    }
-
-    BasicBlockValVar(NodeID i, const SVFType* svfType)
-        : ValVar(i, svfType, nullptr, BasicBlockValNode) {}
-
-    inline const std::string getValueName() const
-    {
-        return "basicBlockVal";
-    }
-    virtual const std::string toString() const;
-};
-
 /*
  * Represents InlineAsm, DSOLocalEquivalent, and NoCFIValue.
  * These are non-instruction values related to inline assembly,

package/svf/lib/SVFIR/SVFVariables.cpp

@@ -104,7 +104,6 @@ ValVar::ValVar(NodeID i, const SVFType* svfType, const ICFGNode* node, PNODEK ty
              SVFUtil::isa<FunValVar>(this) ||
              SVFUtil::isa<DummyValVar>(this) ||
              SVFUtil::isa<IntrinsicValVar>(this) ||
-             SVFUtil::isa<BasicBlockValVar>(this) ||
              SVFUtil::isa<AsmPCValVar>(this))
     {
         // These ValVar subclasses don't require an ICFGNode.
@@ -568,14 +567,6 @@ const std::string IntrinsicValVar::toString() const
     return rawstr.str();
 }
 
-const std::string BasicBlockValVar::toString() const
-{
-    std::string str;
-    std::stringstream rawstr(str);
-    rawstr << "BasicBlockValVar ID: " << getId();
-    return rawstr.str();
-}
-
 const std::string AsmPCValVar::toString() const
 {
     std::string str;

package/svf-llvm/lib/SVFIRBuilder.cpp

@@ -510,10 +510,6 @@ void SVFIRBuilder::initialiseValVars()
         {
             pag->addConstantAggValNode(iter->second, icfgNode, llvmModuleSet()->getSVFType(llvmValue->getType()));
         }
-        else if (SVFUtil::isa<BasicBlock>(llvmValue))
-        {
-            pag->addBasicBlockValNode(iter->second, llvmModuleSet()->getSVFType(llvmValue->getType()));
-        }
         else if (SVFUtil::isa<InlineAsm>(llvmValue) ||
                  SVFUtil::isa<DSOLocalEquivalent>(llvmValue) ||
                  SVFUtil::isa<NoCFIValue>(llvmValue))

package/svf-llvm/lib/SymbolTableBuilder.cpp

@@ -298,10 +298,15 @@ void SymbolTableBuilder::collectSym(const Value* val)
 void SymbolTableBuilder::collectVal(const Value* val)
 {
     // collect and record special sym here
-    if (LLVMUtil::isNullPtrSym(val) || LLVMUtil::isBlackholeSym(val))
+    if (
+        LLVMUtil::isNullPtrSym(val) ||
+        LLVMUtil::isBlackholeSym(val) ||
+        SVFUtil::isa<BasicBlock>(val)
+    )
     {
         return;
     }
+
     LLVMModuleSet::ValueToIDMapTy::iterator iter = llvmModuleSet()->valSymMap.find(val);
     if (iter == llvmModuleSet()->valSymMap.end())
     {