svf-lib 1.0.1061 → 1.0.1064

package/SVF-linux/include/MemoryModel/PointerAnalysis.h

@@ -76,7 +76,6 @@ public:
         CSSummary_WPA,		///< Summary based context sensitive WPA
         FSDATAFLOW_WPA,	///< Traditional Dataflow-based flow sensitive WPA
         FSSPARSE_WPA,		///< Sparse flow sensitive WPA
-        FSTBHC_WPA,		///< Sparse flow-sensitive type-based heap cloning WPA
         VFS_WPA,		///< Versioned sparse flow-sensitive WPA
         FSCS_WPA,			///< Flow-, context- sensitive WPA
         CFLFICI_WPA,		///< Flow-, context-, insensitive CFL-reachability-based analysis

package/SVF-linux/include/MemoryModel/SVFVariables.h

@@ -58,7 +58,6 @@ public:
     /// GepValNode: tempory gep obj node for field sensitivity
     /// FIObjNode: for field insensitive analysis
     /// DummyValNode and DummyObjNode: for non-llvm-value node
-    /// Clone*Node: objects created by TBHC.
     enum PNODEK
     {
         ValNode,
@@ -70,9 +69,6 @@ public:
         FIObjNode,
         DummyValNode,
         DummyObjNode,
-        CloneGepObjNode,   // NOTE: only used for TBHC.
-        CloneFIObjNode,    // NOTE: only used for TBHC.
-        CloneDummyObjNode  // NOTE: only used for TBHC.
     };
 
 
@@ -327,20 +323,14 @@ public:
         return node->getNodeKind() == SVFVar::ObjNode ||
                node->getNodeKind() == SVFVar::GepObjNode ||
                node->getNodeKind() == SVFVar::FIObjNode ||
-               node->getNodeKind() == SVFVar::DummyObjNode ||
-               node->getNodeKind() == SVFVar::CloneGepObjNode ||
-               node->getNodeKind() == SVFVar::CloneFIObjNode ||
-               node->getNodeKind() == SVFVar::CloneDummyObjNode;
+               node->getNodeKind() == SVFVar::DummyObjNode;
     }
     static inline bool classof(const GenericPAGNodeTy *node)
     {
         return node->getNodeKind() == SVFVar::ObjNode ||
                node->getNodeKind() == SVFVar::GepObjNode ||
                node->getNodeKind() == SVFVar::FIObjNode ||
-               node->getNodeKind() == SVFVar::DummyObjNode ||
-               node->getNodeKind() == SVFVar::CloneGepObjNode ||
-               node->getNodeKind() == SVFVar::CloneFIObjNode ||
-               node->getNodeKind() == SVFVar::CloneDummyObjNode;
+               node->getNodeKind() == SVFVar::DummyObjNode;
     }
     //@}
 
@@ -448,18 +438,15 @@ public:
     }
     static inline bool classof(const ObjVar * node)
     {
-        return node->getNodeKind() == SVFVar::GepObjNode
-               || node->getNodeKind() == SVFVar::CloneGepObjNode;
+        return node->getNodeKind() == SVFVar::GepObjNode;
     }
     static inline bool classof(const SVFVar *node)
     {
-        return node->getNodeKind() == SVFVar::GepObjNode
-               || node->getNodeKind() == SVFVar::CloneGepObjNode;
+        return node->getNodeKind() == SVFVar::GepObjNode;
     }
     static inline bool classof(const GenericPAGNodeTy *node)
     {
-        return node->getNodeKind() == SVFVar::GepObjNode
-               || node->getNodeKind() == SVFVar::CloneGepObjNode;
+        return node->getNodeKind() == SVFVar::GepObjNode;
     }
     //@}
 
@@ -527,18 +514,15 @@ public:
     }
     static inline bool classof(const ObjVar * node)
     {
-        return node->getNodeKind() == SVFVar::FIObjNode
-               || node->getNodeKind() == SVFVar::CloneFIObjNode;
+        return node->getNodeKind() == SVFVar::FIObjNode;
     }
     static inline bool classof(const SVFVar *node)
     {
-        return node->getNodeKind() == SVFVar::FIObjNode
-               || node->getNodeKind() == SVFVar::CloneFIObjNode;
+        return node->getNodeKind() == SVFVar::FIObjNode;
     }
     static inline bool classof(const GenericPAGNodeTy *node)
     {
-        return node->getNodeKind() == SVFVar::FIObjNode
-               || node->getNodeKind() == SVFVar::CloneFIObjNode;
+        return node->getNodeKind() == SVFVar::FIObjNode;
     }
     //@}
 
@@ -705,18 +689,15 @@ public:
     }
     static inline bool classof(const SVFVar *node)
     {
-        return node->getNodeKind() == SVFVar::DummyObjNode
-               || node->getNodeKind() == SVFVar::CloneDummyObjNode;
+        return node->getNodeKind() == SVFVar::DummyObjNode;
     }
     static inline bool classof(const ObjVar *node)
     {
-        return node->getNodeKind() == SVFVar::DummyObjNode
-               || node->getNodeKind() == SVFVar::CloneDummyObjNode;
+        return node->getNodeKind() == SVFVar::DummyObjNode;
     }
     static inline bool classof(const GenericPAGNodeTy *node)
     {
-        return node->getNodeKind() == SVFVar::DummyObjNode
-               || node->getNodeKind() == SVFVar::CloneDummyObjNode;
+        return node->getNodeKind() == SVFVar::DummyObjNode;
     }
     //@}
 
@@ -735,116 +716,6 @@ public:
     virtual const std::string toString() const;
 };
 
-/*
- * Clone object node for dummy objects.
- */
-class CloneDummyObjVar: public DummyObjVar
-{
-public:
-    //@{ Methods to support type inquiry through isa, cast, and dyn_cast:
-    static inline bool classof(const CloneDummyObjVar *)
-    {
-        return true;
-    }
-    static inline bool classof(const SVFVar *node)
-    {
-        return node->getNodeKind() == SVFVar::CloneDummyObjNode;
-    }
-    static inline bool classof(const GenericPAGNodeTy *node)
-    {
-        return node->getNodeKind() == SVFVar::CloneDummyObjNode;
-    }
-    //@}
-
-    /// Constructor
-    CloneDummyObjVar(NodeID i, const MemObj* m, PNODEK ty = CloneDummyObjNode)
-        : DummyObjVar(i, m, ty)
-    {
-    }
-
-    /// Return name of this node
-    inline const std::string getValueName() const
-    {
-        return "clone of " + ObjVar::getValueName();
-    }
-
-    virtual const std::string toString() const;
-};
-
-/*
- * Clone object for GEP objects.
- */
-class CloneGepObjVar : public GepObjVar
-{
-public:
-    //@{ Methods to support type inquiry through isa, cast, and dyn_cast:
-    static inline bool classof(const CloneGepObjVar *)
-    {
-        return true;
-    }
-    static inline bool classof(const SVFVar *node)
-    {
-        return node->getNodeKind() == SVFVar::CloneGepObjNode;
-    }
-    static inline bool classof(const GenericPAGNodeTy *node)
-    {
-        return node->getNodeKind() == SVFVar::CloneGepObjNode;
-    }
-    //@}
-
-    /// Constructor
-    CloneGepObjVar(const MemObj* mem, NodeID i, const LocationSet& l, PNODEK ty = CloneGepObjNode) :
-        GepObjVar(mem, i, l, ty)
-    {
-    }
-
-    /// Return name of this node
-    inline const std::string getValueName() const
-    {
-        return "clone (gep) of " + GepObjVar::getValueName();
-    }
-
-    virtual const std::string toString() const;
-};
-
-/*
- * Clone object for FI objects.
- */
-class CloneFIObjVar : public FIObjVar
-{
-public:
-    //@{ Methods to support type inquiry through isa, cast, and dyn_cast:
-    static inline bool classof(const CloneFIObjVar *)
-    {
-        return true;
-    }
-    static inline bool classof(const SVFVar *node)
-    {
-        return node->getNodeKind() == SVFVar::CloneFIObjNode;
-    }
-    static inline bool classof(const GenericPAGNodeTy *node)
-    {
-        return node->getNodeKind() == SVFVar::CloneFIObjNode;
-    }
-    //@}
-
-    /// Constructor
-    CloneFIObjVar(const Value* val, NodeID i, const MemObj* mem, PNODEK ty = CloneFIObjNode) :
-        FIObjVar(val, i, mem, ty)
-    {
-    }
-
-    /// Return name of this node
-    inline const std::string getValueName() const
-    {
-        return "clone (FI) of " + FIObjVar::getValueName();
-    }
-
-    virtual const std::string toString() const;
-};
-
 } // End namespace SVF
 
-
-
 #endif /* OBJECTANDSYMBOL_H_ */

package/SVF-linux/include/SVF-FE/LLVMModule.h

@@ -208,30 +208,6 @@ public:
         return getModuleNum() == 0;
     }
 
-    /// Returns true if all LLVM modules are compiled with ctir.
-    bool allCTir(void) const
-    {
-        // Iterate over all modules. If a single module does not have the correct ctir module flag,
-        // short-circuit and return false.
-        for (u32_t i = 0; i < getModuleNum(); ++i)
-        {
-            llvm::Metadata *ctirModuleFlag = llvmModuleSet->getModule(i)->getModuleFlag(cppUtil::ctir::derefMDName);
-            if (ctirModuleFlag == nullptr)
-            {
-                return false;
-            }
-
-            llvm::ConstantAsMetadata *flagConstMetadata = SVFUtil::dyn_cast<llvm::ConstantAsMetadata>(ctirModuleFlag);
-            ConstantInt *flagConstInt = SVFUtil::dyn_cast<ConstantInt>(flagConstMetadata->getValue());
-            if (flagConstInt->getZExtValue() != cppUtil::ctir::moduleFlagValue)
-            {
-                return false;
-            }
-        }
-
-        return true;
-    }
-
 private:
     void loadModules(const std::vector<std::string> &moduleNameVec);
     void addSVFMain();

package/SVF-linux/include/Util/Options.h

@@ -237,13 +237,6 @@ public:
     static const llvm::cl::opt<bool> PtsDiff;
     static const llvm::cl::opt<bool> MergePWC;
 
-    // FlowSensitive.cpp
-    static const llvm::cl::opt<bool> CTirAliasEval;
-
-    //FlowSensitiveTBHC.cpp
-    static const llvm::cl::opt<bool> TBHCStoreReuse;
-    static const llvm::cl::opt<bool> TBHCAllReuse;
-
     // WPAPass.cpp
     static const llvm::cl::opt<bool> AnderSVFG;
     static const llvm::cl::opt<bool> SABERFULLSVFG;

package/SVF-linux/include/WPA/FlowSensitive.h

@@ -240,10 +240,6 @@ protected:
     /// Return TRUE if this is a strong update STORE statement.
     bool isStrongUpdate(const SVFGNode* node, NodeID& singleton);
 
-    /// Prints some easily parseable stats on aliasing of relevant CTir TL PTS.
-    /// Format: eval-ctir-aliases #TOTAL_TESTS #MAY_ALIAS #NO_ALIAS
-    virtual void printCTirAliasStats(void);
-
     /// Fills may/noAliases for the location/pointer pairs in cmp.
     virtual void countAliases(Set<std::pair<NodeID, NodeID>> cmp, unsigned *mayAliases, unsigned *noAliases);
 

package/SVF-osx/include/MemoryModel/PointerAnalysis.h

@@ -76,7 +76,6 @@ public:
         CSSummary_WPA,		///< Summary based context sensitive WPA
         FSDATAFLOW_WPA,	///< Traditional Dataflow-based flow sensitive WPA
         FSSPARSE_WPA,		///< Sparse flow sensitive WPA
-        FSTBHC_WPA,		///< Sparse flow-sensitive type-based heap cloning WPA
         VFS_WPA,		///< Versioned sparse flow-sensitive WPA
         FSCS_WPA,			///< Flow-, context- sensitive WPA
         CFLFICI_WPA,		///< Flow-, context-, insensitive CFL-reachability-based analysis

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

@@ -58,7 +58,6 @@ public:
     /// GepValNode: tempory gep obj node for field sensitivity
     /// FIObjNode: for field insensitive analysis
     /// DummyValNode and DummyObjNode: for non-llvm-value node
-    /// Clone*Node: objects created by TBHC.
     enum PNODEK
     {
         ValNode,
@@ -70,9 +69,6 @@ public:
         FIObjNode,
         DummyValNode,
         DummyObjNode,
-        CloneGepObjNode,   // NOTE: only used for TBHC.
-        CloneFIObjNode,    // NOTE: only used for TBHC.
-        CloneDummyObjNode  // NOTE: only used for TBHC.
     };
 
 
@@ -327,20 +323,14 @@ public:
         return node->getNodeKind() == SVFVar::ObjNode ||
                node->getNodeKind() == SVFVar::GepObjNode ||
                node->getNodeKind() == SVFVar::FIObjNode ||
-               node->getNodeKind() == SVFVar::DummyObjNode ||
-               node->getNodeKind() == SVFVar::CloneGepObjNode ||
-               node->getNodeKind() == SVFVar::CloneFIObjNode ||
-               node->getNodeKind() == SVFVar::CloneDummyObjNode;
+               node->getNodeKind() == SVFVar::DummyObjNode;
     }
     static inline bool classof(const GenericPAGNodeTy *node)
     {
         return node->getNodeKind() == SVFVar::ObjNode ||
                node->getNodeKind() == SVFVar::GepObjNode ||
                node->getNodeKind() == SVFVar::FIObjNode ||
-               node->getNodeKind() == SVFVar::DummyObjNode ||
-               node->getNodeKind() == SVFVar::CloneGepObjNode ||
-               node->getNodeKind() == SVFVar::CloneFIObjNode ||
-               node->getNodeKind() == SVFVar::CloneDummyObjNode;
+               node->getNodeKind() == SVFVar::DummyObjNode;
     }
     //@}
 
@@ -448,18 +438,15 @@ public:
     }
     static inline bool classof(const ObjVar * node)
     {
-        return node->getNodeKind() == SVFVar::GepObjNode
-               || node->getNodeKind() == SVFVar::CloneGepObjNode;
+        return node->getNodeKind() == SVFVar::GepObjNode;
     }
     static inline bool classof(const SVFVar *node)
     {
-        return node->getNodeKind() == SVFVar::GepObjNode
-               || node->getNodeKind() == SVFVar::CloneGepObjNode;
+        return node->getNodeKind() == SVFVar::GepObjNode;
     }
     static inline bool classof(const GenericPAGNodeTy *node)
     {
-        return node->getNodeKind() == SVFVar::GepObjNode
-               || node->getNodeKind() == SVFVar::CloneGepObjNode;
+        return node->getNodeKind() == SVFVar::GepObjNode;
     }
     //@}
 
@@ -527,18 +514,15 @@ public:
     }
     static inline bool classof(const ObjVar * node)
     {
-        return node->getNodeKind() == SVFVar::FIObjNode
-               || node->getNodeKind() == SVFVar::CloneFIObjNode;
+        return node->getNodeKind() == SVFVar::FIObjNode;
     }
     static inline bool classof(const SVFVar *node)
     {
-        return node->getNodeKind() == SVFVar::FIObjNode
-               || node->getNodeKind() == SVFVar::CloneFIObjNode;
+        return node->getNodeKind() == SVFVar::FIObjNode;
     }
     static inline bool classof(const GenericPAGNodeTy *node)
     {
-        return node->getNodeKind() == SVFVar::FIObjNode
-               || node->getNodeKind() == SVFVar::CloneFIObjNode;
+        return node->getNodeKind() == SVFVar::FIObjNode;
     }
     //@}
 
@@ -705,18 +689,15 @@ public:
     }
     static inline bool classof(const SVFVar *node)
     {
-        return node->getNodeKind() == SVFVar::DummyObjNode
-               || node->getNodeKind() == SVFVar::CloneDummyObjNode;
+        return node->getNodeKind() == SVFVar::DummyObjNode;
     }
     static inline bool classof(const ObjVar *node)
     {
-        return node->getNodeKind() == SVFVar::DummyObjNode
-               || node->getNodeKind() == SVFVar::CloneDummyObjNode;
+        return node->getNodeKind() == SVFVar::DummyObjNode;
     }
     static inline bool classof(const GenericPAGNodeTy *node)
     {
-        return node->getNodeKind() == SVFVar::DummyObjNode
-               || node->getNodeKind() == SVFVar::CloneDummyObjNode;
+        return node->getNodeKind() == SVFVar::DummyObjNode;
     }
     //@}
 
@@ -735,116 +716,6 @@ public:
     virtual const std::string toString() const;
 };
 
-/*
- * Clone object node for dummy objects.
- */
-class CloneDummyObjVar: public DummyObjVar
-{
-public:
-    //@{ Methods to support type inquiry through isa, cast, and dyn_cast:
-    static inline bool classof(const CloneDummyObjVar *)
-    {
-        return true;
-    }
-    static inline bool classof(const SVFVar *node)
-    {
-        return node->getNodeKind() == SVFVar::CloneDummyObjNode;
-    }
-    static inline bool classof(const GenericPAGNodeTy *node)
-    {
-        return node->getNodeKind() == SVFVar::CloneDummyObjNode;
-    }
-    //@}
-
-    /// Constructor
-    CloneDummyObjVar(NodeID i, const MemObj* m, PNODEK ty = CloneDummyObjNode)
-        : DummyObjVar(i, m, ty)
-    {
-    }
-
-    /// Return name of this node
-    inline const std::string getValueName() const
-    {
-        return "clone of " + ObjVar::getValueName();
-    }
-
-    virtual const std::string toString() const;
-};
-
-/*
- * Clone object for GEP objects.
- */
-class CloneGepObjVar : public GepObjVar
-{
-public:
-    //@{ Methods to support type inquiry through isa, cast, and dyn_cast:
-    static inline bool classof(const CloneGepObjVar *)
-    {
-        return true;
-    }
-    static inline bool classof(const SVFVar *node)
-    {
-        return node->getNodeKind() == SVFVar::CloneGepObjNode;
-    }
-    static inline bool classof(const GenericPAGNodeTy *node)
-    {
-        return node->getNodeKind() == SVFVar::CloneGepObjNode;
-    }
-    //@}
-
-    /// Constructor
-    CloneGepObjVar(const MemObj* mem, NodeID i, const LocationSet& l, PNODEK ty = CloneGepObjNode) :
-        GepObjVar(mem, i, l, ty)
-    {
-    }
-
-    /// Return name of this node
-    inline const std::string getValueName() const
-    {
-        return "clone (gep) of " + GepObjVar::getValueName();
-    }
-
-    virtual const std::string toString() const;
-};
-
-/*
- * Clone object for FI objects.
- */
-class CloneFIObjVar : public FIObjVar
-{
-public:
-    //@{ Methods to support type inquiry through isa, cast, and dyn_cast:
-    static inline bool classof(const CloneFIObjVar *)
-    {
-        return true;
-    }
-    static inline bool classof(const SVFVar *node)
-    {
-        return node->getNodeKind() == SVFVar::CloneFIObjNode;
-    }
-    static inline bool classof(const GenericPAGNodeTy *node)
-    {
-        return node->getNodeKind() == SVFVar::CloneFIObjNode;
-    }
-    //@}
-
-    /// Constructor
-    CloneFIObjVar(const Value* val, NodeID i, const MemObj* mem, PNODEK ty = CloneFIObjNode) :
-        FIObjVar(val, i, mem, ty)
-    {
-    }
-
-    /// Return name of this node
-    inline const std::string getValueName() const
-    {
-        return "clone (FI) of " + FIObjVar::getValueName();
-    }
-
-    virtual const std::string toString() const;
-};
-
 } // End namespace SVF
 
-
-
 #endif /* OBJECTANDSYMBOL_H_ */

package/SVF-osx/include/SVF-FE/LLVMModule.h

@@ -208,30 +208,6 @@ public:
         return getModuleNum() == 0;
     }
 
-    /// Returns true if all LLVM modules are compiled with ctir.
-    bool allCTir(void) const
-    {
-        // Iterate over all modules. If a single module does not have the correct ctir module flag,
-        // short-circuit and return false.
-        for (u32_t i = 0; i < getModuleNum(); ++i)
-        {
-            llvm::Metadata *ctirModuleFlag = llvmModuleSet->getModule(i)->getModuleFlag(cppUtil::ctir::derefMDName);
-            if (ctirModuleFlag == nullptr)
-            {
-                return false;
-            }
-
-            llvm::ConstantAsMetadata *flagConstMetadata = SVFUtil::dyn_cast<llvm::ConstantAsMetadata>(ctirModuleFlag);
-            ConstantInt *flagConstInt = SVFUtil::dyn_cast<ConstantInt>(flagConstMetadata->getValue());
-            if (flagConstInt->getZExtValue() != cppUtil::ctir::moduleFlagValue)
-            {
-                return false;
-            }
-        }
-
-        return true;
-    }
-
 private:
     void loadModules(const std::vector<std::string> &moduleNameVec);
     void addSVFMain();

package/SVF-osx/include/Util/Options.h

@@ -237,13 +237,6 @@ public:
     static const llvm::cl::opt<bool> PtsDiff;
     static const llvm::cl::opt<bool> MergePWC;
 
-    // FlowSensitive.cpp
-    static const llvm::cl::opt<bool> CTirAliasEval;
-
-    //FlowSensitiveTBHC.cpp
-    static const llvm::cl::opt<bool> TBHCStoreReuse;
-    static const llvm::cl::opt<bool> TBHCAllReuse;
-
     // WPAPass.cpp
     static const llvm::cl::opt<bool> AnderSVFG;
     static const llvm::cl::opt<bool> SABERFULLSVFG;

package/SVF-osx/include/WPA/FlowSensitive.h

@@ -240,10 +240,6 @@ protected:
     /// Return TRUE if this is a strong update STORE statement.
     bool isStrongUpdate(const SVFGNode* node, NodeID& singleton);
 
-    /// Prints some easily parseable stats on aliasing of relevant CTir TL PTS.
-    /// Format: eval-ctir-aliases #TOTAL_TESTS #MAY_ALIAS #NO_ALIAS
-    virtual void printCTirAliasStats(void);
-
     /// Fills may/noAliases for the location/pointer pairs in cmp.
     virtual void countAliases(Set<std::pair<NodeID, NodeID>> cmp, unsigned *mayAliases, unsigned *noAliases);
 

package/package.json

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