svf-tools 1.0.694 → 1.0.696

package/CMakeLists.txt

@@ -24,6 +24,9 @@ if(SVF_ENABLE_ASSERTIONS)
   add_compile_options("-UNDEBUG")
 endif()
 
+# Turn this on if you need symbols (e.g., use them for backtrace debugging)
+# add_link_options("-rdynamic")
+
 option(SVF_COVERAGE "Create coverage build")
 if(SVF_COVERAGE OR DEFINED ENV{SVF_COVERAGE})
   add_compile_options("-fprofile-arcs" "-ftest-coverage")

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "svf-tools",
-  "version": "1.0.694",
+  "version": "1.0.696",
   "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/CHG.h

@@ -78,6 +78,7 @@ typedef GenericEdge<CHNode> GenericCHEdgeTy;
 class CHEdge: public GenericCHEdgeTy
 {
     friend class SVFIRWriter;
+    friend class SVFIRReader;
 
 public:
     typedef enum
@@ -107,6 +108,7 @@ typedef GenericNode<CHNode, CHEdge> GenericCHNodeTy;
 class CHNode: public GenericCHNodeTy
 {
     friend class SVFIRWriter;
+    friend class SVFIRReader;
 
 public:
     typedef enum
@@ -118,7 +120,7 @@ public:
 
     typedef std::vector<const SVFFunction*> FuncVector;
 
-    CHNode (const std::string name, NodeID i = 0, GNodeK k = 0):
+    CHNode (const std::string& name, NodeID i = 0, GNodeK k = 0):
         GenericCHNodeTy(i, k), vtable(nullptr), className(name), flags(0)
     {
     }
@@ -213,6 +215,7 @@ typedef GenericGraph<CHNode, CHEdge> GenericCHGraphTy;
 class CHGraph: public CommonCHGraph, public GenericCHGraphTy
 {
     friend class SVFIRWriter;
+    friend class SVFIRReader;
     friend class CHGBuilder;
 
 public:

package/svf/include/Graphs/GenericGraph.h

@@ -39,6 +39,7 @@ namespace SVF
 /// Forward declaration of some friend classes
 ///@{
 template <typename, typename> class GenericGraphWriter;
+template <typename, typename> class GenericGraphReader;
 ///@}
 
 /*!
@@ -48,6 +49,7 @@ template<class NodeTy>
 class GenericEdge
 {
     friend class SVFIRWriter;
+    friend class SVFIRReader;
 
 public:
     /// Node type
@@ -139,6 +141,7 @@ template<class NodeTy,class EdgeTy>
 class GenericNode
 {
     friend class SVFIRWriter;
+    friend class SVFIRReader;
 
 public:
     typedef NodeTy NodeType;
@@ -341,7 +344,9 @@ template<class NodeTy, class EdgeTy>
 class GenericGraph
 {
     friend class SVFIRWriter;
+    friend class SVFIRReader;
     friend class GenericGraphWriter<NodeTy, EdgeTy>;
+    friend class GenericGraphReader<NodeTy, EdgeTy>;
 
 public:
     typedef NodeTy NodeType;

package/svf/include/Graphs/ICFG.h

@@ -48,6 +48,7 @@ class ICFG : public GenericICFGTy
 {
     friend class ICFGBuilder;
     friend class SVFIRWriter;
+    friend class SVFIRReader;
 
 public:
 

package/svf/include/Graphs/ICFGEdge.h

@@ -44,6 +44,7 @@ typedef GenericEdge<ICFGNode> GenericICFGEdgeTy;
 class ICFGEdge : public GenericICFGEdgeTy
 {
     friend class SVFIRWriter;
+    friend class SVFIRReader;
 
 public:
     /// ten types of ICFG edge
@@ -112,6 +113,7 @@ public:
 class IntraCFGEdge : public ICFGEdge
 {
     friend class SVFIRWriter;
+    friend class SVFIRReader;
 
 public:
     /// Constructor
@@ -174,6 +176,7 @@ private:
 class CallCFGEdge : public ICFGEdge
 {
     friend class SVFIRWriter;
+    friend class SVFIRReader;
 
 private:
     const SVFInstruction* cs;
@@ -224,6 +227,7 @@ public:
 class RetCFGEdge : public ICFGEdge
 {
     friend class SVFIRWriter;
+    friend class SVFIRReader;
 
 private:
     const SVFInstruction* cs;

package/svf/include/Graphs/ICFGNode.h

@@ -54,6 +54,7 @@ typedef GenericNode<ICFGNode, ICFGEdge> GenericICFGNodeTy;
 class ICFGNode : public GenericICFGNodeTy
 {
     friend class SVFIRWriter;
+    friend class SVFIRReader;
 
 public:
     /// 22 kinds of ICFG node
@@ -79,7 +80,6 @@ public:
     /// Constructor
     ICFGNode(NodeID i, ICFGNodeK k) : GenericICFGNodeTy(i, k), fun(nullptr), bb(nullptr)
     {
-
     }
 
     /// Return the function of this ICFGNode
@@ -151,7 +151,6 @@ class GlobalICFGNode : public ICFGNode
 public:
     GlobalICFGNode(NodeID id) : ICFGNode(id, GlobalBlock)
     {
-        bb = nullptr;
     }
 
     /// Methods for support type inquiry through isa, cast, and dyn_cast:
@@ -181,9 +180,13 @@ public:
 class IntraICFGNode : public ICFGNode
 {
     friend class SVFIRWriter;
+    friend class SVFIRReader;
 private:
     const SVFInstruction *inst;
 
+    /// Constructor to create empty IntraICFGNode (for SVFIRReader/deserialization)
+    IntraICFGNode(NodeID id) : ICFGNode(id, IntraBlock), inst(nullptr) {}
+
 public:
     IntraICFGNode(NodeID id, const SVFInstruction *i) : ICFGNode(id, IntraBlock), inst(i)
     {
@@ -258,11 +261,16 @@ public:
 class FunEntryICFGNode : public InterICFGNode
 {
     friend class SVFIRWriter;
+    friend class SVFIRReader;
 
 public:
     typedef std::vector<const SVFVar *> FormalParmNodeVec;
 private:
     FormalParmNodeVec FPNodes;
+
+    /// Constructor to create empty FunEntryICFGNode (for SVFIRReader/deserialization)
+    FunEntryICFGNode(NodeID id) : InterICFGNode(id, FunEntryBlock) {}
+
 public:
     FunEntryICFGNode(NodeID id, const SVFFunction* f);
 
@@ -316,9 +324,14 @@ public:
 class FunExitICFGNode : public InterICFGNode
 {
     friend class SVFIRWriter;
+    friend class SVFIRReader;
 
 private:
     const SVFVar *formalRet;
+
+    /// Constructor to create empty FunExitICFGNode (for SVFIRReader/deserialization)
+    FunExitICFGNode(NodeID id) : InterICFGNode(id, FunExitBlock), formalRet{} {}
+
 public:
     FunExitICFGNode(NodeID id, const SVFFunction* f);
 
@@ -372,6 +385,7 @@ public:
 class CallICFGNode : public InterICFGNode
 {
     friend class SVFIRWriter;
+    friend class SVFIRReader;
 
 public:
     typedef std::vector<const SVFVar *> ActualParmNodeVec;
@@ -379,6 +393,10 @@ private:
     const SVFInstruction* cs;
     const RetICFGNode* ret;
     ActualParmNodeVec APNodes;
+
+    /// Constructor to create empty CallICFGNode (for SVFIRReader/deserialization)
+    CallICFGNode(NodeID id) : InterICFGNode(id, FunCallBlock), cs{}, ret{} {}
+
 public:
     CallICFGNode(NodeID id, const SVFInstruction* c)
         : InterICFGNode(id, FunCallBlock), cs(c), ret(nullptr)
@@ -469,11 +487,19 @@ public:
 class RetICFGNode : public InterICFGNode
 {
     friend class SVFIRWriter;
+    friend class SVFIRReader;
 
 private:
     const SVFInstruction* cs;
     const SVFVar *actualRet;
     const CallICFGNode* callBlockNode;
+
+    /// Constructor to create empty RetICFGNode (for SVFIRReader/deserialization)
+    RetICFGNode(NodeID id)
+        : InterICFGNode(id, FunRetBlock), cs{}, actualRet{}, callBlockNode{}
+    {
+    }
+
 public:
     RetICFGNode(NodeID id, const SVFInstruction* c, CallICFGNode* cb) :
         InterICFGNode(id, FunRetBlock), cs(c), actualRet(nullptr), callBlockNode(cb)

package/svf/include/Graphs/IRGraph.h

@@ -50,6 +50,7 @@ typedef SVFStmt PAGEdge;
 class IRGraph : public GenericGraph<SVFVar, SVFStmt>
 {
     friend class SVFIRWriter;
+    friend class SVFIRReader;
 
 public:
     typedef Set<const SVFStmt*> SVFStmtSet;

package/svf/include/MemoryModel/LocationSet.h

@@ -53,6 +53,7 @@ class LocationSet
 {
     friend class SymbolTableInfo;
     friend class SVFIRWriter;
+    friend class SVFIRReader;
 
 public:
     enum LSRelation

package/svf/include/MemoryModel/SVFLoop.h

@@ -38,6 +38,7 @@ namespace SVF
 class SVFLoop
 {
     friend class SVFIRWriter;
+    friend class SVFIRReader;
 
     typedef Set<const ICFGEdge *> ICFGEdgeSet;
     typedef Set<const ICFGNode *> ICFGNodeSet;

package/svf/include/SVFIR/SVFIR.h

@@ -47,6 +47,7 @@ class SVFIR : public IRGraph
     friend class PAGBuilderFromFile;
     friend class TypeBasedHeapCloning;
     friend class SVFIRWriter;
+    friend class SVFIRReader;
 
 public:
     typedef Set<const CallICFGNode*> CallSiteSet;