svf-lib 1.0.2452 → 1.0.2453

package/SVF-linux-x86_64/include/SVFIR/SVFVariables.h

@@ -52,6 +52,7 @@ class SVFVar : public GenericPAGNodeTy
     friend class IRGraph;
     friend class SVFIR;
     friend class VFG;
+    friend class GraphDBClient;
 
 public:
     /// Node kinds for SVFIR variables:
@@ -71,8 +72,16 @@ protected:
     SVFStmt::KindToSVFStmtMapTy InEdgeKindToSetMap;
     SVFStmt::KindToSVFStmtMapTy OutEdgeKindToSetMap;
 
-    /// Empty constructor for deserialization
-    SVFVar(NodeID i, PNODEK k) : GenericPAGNodeTy(i, k) {}
+    inline const SVFStmt::KindToSVFStmtMapTy& getInEdgeKindToSetMap() const
+    {
+        return InEdgeKindToSetMap;
+    }
+
+
+    inline const SVFStmt::KindToSVFStmtMapTy& getOutEdgeKindToSetMap() const
+    {
+        return OutEdgeKindToSetMap;
+    }
 
 
 public:
@@ -247,10 +256,16 @@ public:
  */
 class ValVar: public SVFVar
 {
+    friend class GraphDBClient;
 
 private:
     const ICFGNode* icfgNode; // icfgnode related to valvar
+protected:
 
+    inline void setICFGNode(const ICFGNode* icfgNode)
+    {
+        this->icfgNode = icfgNode;
+    }
 public:
     /// Methods for support type inquiry through isa, cast, and dyn_cast:
     //@{
@@ -291,6 +306,9 @@ public:
     virtual const FunObjVar* getFunction() const;
 
     virtual const std::string toString() const;
+
+    std::string getValVarNodeFieldsStmt() const;
+
 };
 
 /*
@@ -298,6 +316,7 @@ public:
  */
 class ObjVar: public SVFVar
 {
+    friend class GraphDBClient;
 
 protected:
     /// Constructor
@@ -333,6 +352,9 @@ public:
     }
 
     virtual const std::string toString() const;
+
+    std::string getObjVarNodeFieldsStmt() const;
+
 };
 
 
@@ -344,6 +366,7 @@ public:
  */
 class ArgValVar: public ValVar
 {
+    friend class GraphDBClient;
 
 private:
     const FunObjVar* cgNode;
@@ -384,6 +407,11 @@ public:
         return getName() + " (argument valvar)";
     }
 
+    inline void addCGNodeFromDB(const FunObjVar* cgNode)
+    {
+        this->cgNode = cgNode;
+    }
+
     virtual const FunObjVar* getFunction() const;
 
     const FunObjVar* getParent() const;
@@ -410,11 +438,14 @@ public:
  */
 class GepValVar: public ValVar
 {
+    friend class GraphDBClient;
 
 private:
     AccessPath ap;	// AccessPath
     const ValVar* base;	// base node
     const SVFType* gepValType;
+    NodeID llvmVarID;
+
 
 public:
     /// Methods for support type inquiry through isa, cast, and dyn_cast:
@@ -439,6 +470,16 @@ public:
     {
         return node->getNodeKind() == SVFVar::GepValNode;
     }
+
+    inline const AccessPath& getAccessPath() const
+    {
+        return ap;
+    }
+
+    inline const void setAccessPath(const AccessPath* ap)
+    {
+        this->ap = *ap;
+    }
     //@}
 
     /// Constructor
@@ -456,6 +497,10 @@ public:
     {
         return base;
     }
+    inline void setBaseNode(const ValVar* baseNode)
+    {
+        base = baseNode;
+    }
 
     /// Return name of a LLVM value
     inline const std::string getValueName() const
@@ -494,6 +539,18 @@ public:
     {
         return base->isConstDataOrAggData();
     }
+
+    /// Get the LLVM variable ID associated with this GepValVar
+    inline NodeID getLLVMVarInstID() const
+    {
+        return llvmVarID;
+    }
+
+    /// Set the LLVM variable ID associated with this GepValVar
+    inline void setLLVMVarInstID(NodeID id)
+    {
+        llvmVarID = id;
+    }
 };
 
 /*
@@ -502,6 +559,8 @@ public:
 class BaseObjVar : public ObjVar
 {
     friend class SVFIRBuilder;
+    friend class GraphDBClient;
+
 private:
     ObjTypeInfo* typeInfo;
 
@@ -543,12 +602,26 @@ public:
         return this;
     }
 
+    inline const ObjTypeInfo* getTypeInfo() const
+    {
+        return typeInfo;
+    }
+    inline ObjTypeInfo* getTypeInfo()
+    {
+        return typeInfo;
+    }
+
     /// Get the ICFGNode related to the creation of this object
     inline const ICFGNode* getICFGNode() const
     {
         return icfgNode;
     }
 
+    inline void setICFGNode(const ICFGNode* node)
+    {
+        icfgNode = node;
+    }
+
     /// Return name of a LLVM value
     inline const std::string getValueName() const
     {
@@ -563,6 +636,12 @@ public:
         return id;
     }
 
+    /// Get obj type
+    const SVFType* getType() const
+    {
+        return typeInfo->getType();
+    }
+
     /// Get the number of elements of this object
     u32_t getNumOfElements() const
     {
@@ -691,6 +770,8 @@ public:
  */
 class GepObjVar: public ObjVar
 {
+    friend class GraphDBClient;
+
 
 private:
     APOffset apOffset = 0;
@@ -795,6 +876,8 @@ public:
 class HeapObjVar: public BaseObjVar
 {
 
+    friend class GraphDBClient;
+
 public:
     ///  Methods for support type inquiry through isa, cast, and dyn_cast:
     //@{
@@ -851,6 +934,9 @@ public:
 class StackObjVar: public BaseObjVar
 {
 
+    friend class GraphDBClient;
+
+
 public:
     ///  Methods for support type inquiry through isa, cast, and dyn_cast:
     //@{
@@ -902,6 +988,27 @@ class FunObjVar : public BaseObjVar
 {
     friend class SVFIRBuilder;
     friend class LLVMModuleSet;
+    friend class GraphDBClient;
+
+protected:
+
+    inline void updateExitBlock(SVFBasicBlock *bb)
+    {
+        exitBlock = bb;
+    }
+
+    inline void setLoopAndDomInfo(SVFLoopAndDomInfo *ld)
+    {
+        loopAndDom = ld;
+    }
+    inline bool getIsNotRet() const
+    {
+        return isNotRet;
+    }
+    inline const std::vector<const ArgValVar*> &getArgs() const
+    {
+        return allArgs;
+    }
 
 public:
     typedef SVFLoopAndDomInfo::BBSet BBSet;
@@ -925,6 +1032,7 @@ private:
     std::vector<const ArgValVar*> allArgs;    /// all formal arguments of this function
     const SVFBasicBlock *exitBlock;             /// a 'single' basic block having no successors and containing return instruction in a function
 
+
 public:
     ///  Methods for support type inquiry through isa, cast, and dyn_cast:
     //@{
@@ -1139,7 +1247,6 @@ public:
         assert (idx < allArgs.size() && "getArg() out of range!");
         return allArgs[idx];
     }
-
     inline const SVFBasicBlock* front() const
     {
         return getEntryBlock();
@@ -1171,6 +1278,14 @@ public:
 class FunValVar : public ValVar
 {
 
+    friend class GraphDBClient;
+
+protected:
+    inline void setFunction(const FunObjVar* cgn)
+    {
+        funObjVar = cgn;
+    }
+
 private:
     const FunObjVar* funObjVar;
 
@@ -1220,6 +1335,8 @@ public:
 
 class GlobalValVar : public ValVar
 {
+    friend class GraphDBClient;
+
 
 public:
     ///  Methods for support type inquiry through isa, cast, and dyn_cast:
@@ -1259,6 +1376,8 @@ public:
 
 class ConstAggValVar: public ValVar
 {
+    friend class GraphDBClient;
+
 
 public:
     ///  Methods for support type inquiry through isa, cast, and dyn_cast:
@@ -1309,6 +1428,8 @@ public:
 
 class ConstDataValVar : public ValVar
 {
+    friend class GraphDBClient;
+
 
 public:
     ///  Methods for support type inquiry through isa, cast, and dyn_cast:
@@ -1359,6 +1480,7 @@ public:
 class BlackHoleValVar : public ConstDataValVar
 {
 
+    friend class GraphDBClient;
 public:
     ///  Methods for support type inquiry through isa, cast, and dyn_cast:
     //@{
@@ -1409,6 +1531,8 @@ public:
 class ConstFPValVar : public ConstDataValVar
 {
 
+    friend class GraphDBClient;
+
 private:
     double dval;
 
@@ -1459,6 +1583,9 @@ public:
 class ConstIntValVar : public ConstDataValVar
 {
 
+    friend class GraphDBClient;
+
+
 private:
     u64_t zval;
     s64_t sval;
@@ -1514,6 +1641,7 @@ public:
 
 class ConstNullPtrValVar : public ConstDataValVar
 {
+    friend class GraphDBClient;
 
 public:
     ///  Methods for support type inquiry through isa, cast, and dyn_cast:
@@ -1561,6 +1689,8 @@ public:
 
 class GlobalObjVar : public BaseObjVar
 {
+    friend class GraphDBClient;
+
 
 public:
     ///  Methods for support type inquiry through isa, cast, and dyn_cast:
@@ -1604,6 +1734,8 @@ public:
 
 class ConstAggObjVar : public BaseObjVar
 {
+    friend class GraphDBClient;
+
 
 public:
     ///  Methods for support type inquiry through isa, cast, and dyn_cast:
@@ -1657,6 +1789,7 @@ public:
 
 class ConstDataObjVar : public BaseObjVar
 {
+    friend class GraphDBClient;
 
 public:
     //@{ Methods for support type inquiry through isa, cast, and dyn_cast:
@@ -1709,6 +1842,9 @@ public:
 class ConstFPObjVar : public ConstDataObjVar
 {
 
+    friend class GraphDBClient;
+
+
 private:
     float dval;
 
@@ -1766,6 +1902,10 @@ public:
 class ConstIntObjVar : public ConstDataObjVar
 {
 
+    friend class GraphDBClient;
+
+
+
 private:
     u64_t zval;
     s64_t sval;
@@ -1829,6 +1969,8 @@ public:
 class ConstNullPtrObjVar : public ConstDataObjVar
 {
 
+    friend class GraphDBClient;
+
 public:
     //@{ Methods for support type inquiry through isa, cast, and dyn_cast:
     static inline bool classof(const ConstNullPtrObjVar*)
@@ -1881,6 +2023,13 @@ public:
  */
 class RetValPN : public ValVar
 {
+    friend class GraphDBClient;
+
+protected:
+    inline void setCallGraphNode(const FunObjVar* node)
+    {
+        callGraphNode = node;
+    }
 
 private:
     const FunObjVar* callGraphNode;
@@ -1934,6 +2083,13 @@ public:
 class VarArgValPN : public ValVar
 {
 
+    friend class GraphDBClient;
+
+protected:
+    inline void setCallGraphNode(const FunObjVar* node)
+    {
+        callGraphNode = node;
+    }
 private:
     const FunObjVar* callGraphNode;
 
@@ -1984,6 +2140,7 @@ public:
  */
 class DummyValVar: public ValVar
 {
+    friend class GraphDBClient;
 
 public:
     //@{ Methods for support type inquiry through isa, cast, and dyn_cast:
@@ -2035,6 +2192,9 @@ public:
 class DummyObjVar: public BaseObjVar
 {
 
+    friend class GraphDBClient;
+
+
 public:
     //@{ Methods for support type inquiry through isa, cast, and dyn_cast:
     static inline bool classof(const DummyObjVar*)
@@ -2086,4 +2246,4 @@ public:
 
 } // End namespace SVF
 
-#endif /* INCLUDE_SVFIR_SVFVARIABLE_H_ */
+#endif /* INCLUDE_SVFIR_SVFVARIABLE_H_ */

package/SVF-linux-x86_64/include/Util/ExtAPI.h

@@ -47,6 +47,7 @@ class ExtAPI
 {
     friend class LLVMModuleSet;
     friend class SVFIRBuilder;
+    friend class GraphDBClient;
 
 private:
 

package/SVF-linux-x86_64/include/Util/NodeIDAllocator.h

@@ -89,6 +89,17 @@ public:
         ++numNodes;
     }
 
+    inline void increaseNumOfValues()
+    {
+        ++numValues;
+        ++numNodes;
+    }
+
+    inline int getNumOfNodes()
+    {
+        return numNodes;
+    }
+
 private:
     /// Builds a node ID allocator with the strategy specified on the command line.
     NodeIDAllocator(void);

package/SVF-linux-x86_64/include/Util/SVFLoopAndDomInfo.h

@@ -41,6 +41,7 @@ namespace SVF
 class SVFLoopAndDomInfo
 {
 
+    friend class GraphDBClient;
 public:
     typedef Set<const SVFBasicBlock*> BBSet;
     typedef std::vector<const SVFBasicBlock*> BBList;
@@ -55,6 +56,42 @@ private:
     Map<const SVFBasicBlock*, u32_t> bb2PdomLevel;  ///< map a BasicBlock to its level in pdom tree, used in findNearestCommonPDominator
     Map<const SVFBasicBlock*, const SVFBasicBlock*> bb2PIdom;  ///< map a BasicBlock to its immediate dominator in pdom tree, used in findNearestCommonPDominator
 
+protected:
+    inline void setDomTreeMap(Map<const SVFBasicBlock*,BBSet>& dtMap)
+    {
+        dtBBsMap = dtMap;
+    }
+
+    inline void setPostDomTreeMap(Map<const SVFBasicBlock*,BBSet>& pdtMap)
+    {
+        pdtBBsMap = pdtMap;
+    }
+
+    inline void setDomFrontierMap(Map<const SVFBasicBlock*,BBSet>& dfMap)
+    {
+        dfBBsMap = dfMap;
+    }
+
+    inline void setBB2LoopMap(Map<const SVFBasicBlock*, LoopBBs>& bb2Loop)
+    {
+        bb2LoopMap = bb2Loop;
+    }
+
+    inline void setBB2PdomLevel(Map<const SVFBasicBlock*, u32_t>& bb2Pdom)
+    {
+        bb2PdomLevel = bb2Pdom;
+    }
+
+    inline void setBB2PIdom(Map<const SVFBasicBlock*, const SVFBasicBlock*>& bb2PIdomMap)
+    {
+        bb2PIdom = bb2PIdomMap;
+    }
+
+    inline const Map<const SVFBasicBlock*, LoopBBs>& getBB2LoopMap() const
+    {
+        return bb2LoopMap;
+    }
+
 public:
     SVFLoopAndDomInfo()
     {

package/package.json

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