svf-lib 1.0.921 → 1.0.924

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

@@ -44,7 +44,7 @@ class VFGStat;
 class CallICFGNode;
 
 /*!
- * Interprocedural Control-Flow Graph (VFG)
+ *  Value Flow Graph (VFG)
  */
 typedef GenericGraph<VFGNode,VFGEdge> GenericVFGTy;
 class VFG : public GenericVFGTy

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

@@ -53,6 +53,9 @@ public:
     {
         return cpts;
     }
+
+    inline const NodeBS getDefSVFVars() const override;
+
     /// Methods for support type inquiry through isa, cast, and dyn_cast:
     //@{
     static inline bool classof(const MRSVFGNode *)
@@ -81,7 +84,7 @@ public:
     }
     //@}
 
-    virtual const std::string toString() const;
+    virtual const std::string toString() const override;
 };
 
 /*
@@ -491,6 +494,8 @@ public:
     }
     //@}
 
+    const NodeBS getDefSVFVars() const override;
+
 private:
     const NodeID object;
     const Version version;

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

@@ -44,7 +44,7 @@ class VFGStat;
 class CallICFGNode;
 
 /*!
- * Interprocedural Control-Flow Graph (VFG)
+ *  Value Flow Graph (VFG)
  */
 typedef GenericGraph<VFGNode,VFGEdge> GenericVFGTy;
 class VFG : public GenericVFGTy

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

@@ -31,7 +31,7 @@
 #define INCLUDE_UTIL_VFGNODE_H_
 
 #include "Graphs/GenericGraph.h"
-#include "Graphs/VFGEdge.h"
+#include "Graphs/SVFGEdge.h"
 #include "Graphs/ICFGNode.h"
 #include "MemoryModel/SVFIR.h"
 
@@ -92,6 +92,9 @@ public:
         return nullptr;
     }
 
+    /// Return the left hand side SVF Vars
+    virtual const NodeBS getDefSVFVars() const = 0;
+
     /// Overloading operator << for dumping ICFG node ID
     //@{
     friend OutStream& operator<< (OutStream &o, const VFGNode &node)
@@ -226,6 +229,8 @@ public:
     }
     //@}
 
+    const NodeBS getDefSVFVars() const override;
+
     const std::string toString() const override;
 };
 
@@ -265,6 +270,8 @@ public:
     }
     //@}
 
+    const NodeBS getDefSVFVars() const override;
+
     const std::string toString() const override;
 };
 
@@ -304,6 +311,8 @@ public:
     }
     //@}
 
+    const NodeBS getDefSVFVars() const override;
+
     const std::string toString() const override;
 };
 
@@ -376,6 +385,9 @@ public:
         return opVers.end();
     }
     //@}
+
+    const NodeBS getDefSVFVars() const override;
+
     const Value* getValue() const override;
     const std::string toString() const override;
 };
@@ -449,6 +461,8 @@ public:
     }
     //@}
 
+    const NodeBS getDefSVFVars() const override;
+
     const Value* getValue() const override;
     const std::string toString() const override;
 };
@@ -525,7 +539,9 @@ public:
     }
     //@}
 
-    virtual const std::string toString() const;
+    const NodeBS getDefSVFVars() const override;
+
+    virtual const std::string toString() const override;
 };
 
 /*
@@ -560,7 +576,7 @@ public:
     }
     //@}
 
-    /// Return the branch statement 
+    /// Return the branch statement
     const BranchStmt* getBranchStmt() const{
         return brstmt;
     }
@@ -576,6 +592,9 @@ public:
         return brstmt->getSuccessor(i);
     }
     ///@}
+
+    const NodeBS getDefSVFVars() const override;
+
     virtual const std::string toString() const override;
 };
 
@@ -615,6 +634,8 @@ public:
     }
     //@}
 
+    const NodeBS getDefSVFVars() const override;
+
     const std::string toString() const override;
 };
 
@@ -686,6 +707,8 @@ public:
     }
     //@}
 
+    const NodeBS getDefSVFVars() const override;
+
     const Value* getValue() const override;
     const std::string toString() const override;
 };
@@ -777,6 +800,8 @@ public:
     }
     //@}
 
+    const NodeBS getDefSVFVars() const override;
+
     const std::string toString() const override;
 };
 
@@ -871,6 +896,8 @@ public:
     }
     //@}
 
+    const NodeBS getDefSVFVars() const override;
+
     const std::string toString() const override;
 };
 
@@ -939,6 +966,8 @@ public:
     }
     //@}
 
+    const NodeBS getDefSVFVars() const override;
+
     const std::string toString() const override;
 };
 
@@ -995,6 +1024,8 @@ public:
     }
     //@}
 
+    const NodeBS getDefSVFVars() const override;
+
     const std::string toString() const override;
 };
 
@@ -1059,6 +1090,8 @@ public:
     }
     //@}
 
+    const NodeBS getDefSVFVars() const override;
+
     const std::string toString() const override;
 };
 
@@ -1164,6 +1197,8 @@ public:
     }
     //@}
 
+    const NodeBS getDefSVFVars() const override;
+
     const std::string toString() const override;
 };
 

package/package.json

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