svf-lib 1.0.770 → 1.0.774

package/SVF-linux/include/Graphs/ICFG.h

@@ -46,6 +46,8 @@ typedef GenericGraph<ICFGNode,ICFGEdge> GenericICFGTy;
 class ICFG : public GenericICFGTy
 {
 
+friend class ICFGBuilder;
+
 public:
 
     typedef Map<NodeID, ICFGNode *> ICFGNodeIDToNodeMapTy;
@@ -109,7 +111,7 @@ public:
     /// update ICFG for indirect calls
     void updateCallGraph(PTACallGraph* callgraph);
 
-public:
+protected:
     /// Remove a SVFG edge
     inline void removeICFGEdge(ICFGEdge* edge)
     {
@@ -157,6 +159,7 @@ public:
         addGNode(node->getId(),node);
     }
 
+public:
     /// Get a basic block ICFGNode
     /// TODO:: need to fix the assertions
     //@{
@@ -172,11 +175,10 @@ public:
 
     FunExitBlockNode* getFunExitBlockNode(const SVFFunction*  fun);
 
-    GlobalBlockNode* getGlobalBlockNode() const
+    inline GlobalBlockNode* getGlobalBlockNode() const
     {
         return globalBlockNode;
     }
-    
     //@}
 
 private:

package/SVF-linux/include/Graphs/ICFGNode.h

@@ -365,11 +365,11 @@ class CallBlockNode : public InterBlockNode
 {
 
 public:
-    typedef std::vector<const SVFVar *> ActualParmVFGNodeVec;
+    typedef std::vector<const SVFVar *> ActualParmNodeVec;
 private:
     const Instruction* cs;
     const RetBlockNode* ret;
-    ActualParmVFGNodeVec APNodes;
+    ActualParmNodeVec APNodes;
 public:
     CallBlockNode(NodeID id, const Instruction* c) : InterBlockNode(id, FunCallBlock), cs(c), ret(nullptr)
     {
@@ -415,7 +415,7 @@ public:
     }
 
     /// Return the set of actual parameters
-    inline const ActualParmVFGNodeVec &getActualParms() const
+    inline const ActualParmNodeVec &getActualParms() const
     {
         return APNodes;
     }

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

@@ -293,9 +293,6 @@ protected:
     virtual void validateExpectedFailureTests(std::string fun);
     //@}
 
-    /// Whether to dump the graph for debugging purpose
-    bool dumpGraph();
-
     /// Reset all object node as field-sensitive.
     void resetObjFieldSensitive();
 

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

@@ -753,6 +753,11 @@ public:
     void addOpVar(SVFVar* op){
         opVars.push_back(op);
     }
+
+    /// Return true if this is a phi at the function exit 
+    /// to receive one or multiple return values of this function
+    bool isFunctionRetPhi() const;
+
     virtual const std::string toString() const override;
 };
 

package/SVF-osx/include/Graphs/ICFGNode.h

@@ -365,11 +365,11 @@ class CallBlockNode : public InterBlockNode
 {
 
 public:
-    typedef std::vector<const SVFVar *> ActualParmVFGNodeVec;
+    typedef std::vector<const SVFVar *> ActualParmNodeVec;
 private:
     const Instruction* cs;
     const RetBlockNode* ret;
-    ActualParmVFGNodeVec APNodes;
+    ActualParmNodeVec APNodes;
 public:
     CallBlockNode(NodeID id, const Instruction* c) : InterBlockNode(id, FunCallBlock), cs(c), ret(nullptr)
     {
@@ -415,7 +415,7 @@ public:
     }
 
     /// Return the set of actual parameters
-    inline const ActualParmVFGNodeVec &getActualParms() const
+    inline const ActualParmNodeVec &getActualParms() const
     {
         return APNodes;
     }

package/package.json

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