svf-lib 1.0.2637 → 1.0.2638

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

@@ -201,6 +201,16 @@ public:
     /// Similar to getPts, this also needs to be implemented in child classes.
     virtual const NodeSet& getRevPts(NodeID nodeId) = 0;
 
+    /// Convenience bool wrappers: return true if the two operands may/must/partial alias
+    inline bool mayAlias(const SVFVar* V1, const SVFVar* V2)
+    {
+        return alias(V1, V2)!= AliasResult::NoAlias;
+    }
+    inline bool mayAlias(NodeID node1, NodeID node2)
+    {
+        return alias(node1, node2)!= AliasResult::NoAlias;
+    }
+
     /// Print targets of a function pointer
     void printIndCSTargets(const CallICFGNode* cs, const FunctionSet& targets);
 

package/SVF-linux-x86_64/include/MemoryModel/PointerAnalysisImpl.h

@@ -221,6 +221,12 @@ public:
     /// Interface expose to users of our pointer analysis, given two pts
     virtual AliasResult alias(const PointsTo& pts1, const PointsTo& pts2);
 
+    /// Convenience bool wrappers: return true if the two operands may/must/partial alias
+    inline bool mayAlias(const PointsTo& pts1, const PointsTo& pts2)
+    {
+        return alias(pts1, pts2)!= AliasResult::NoAlias;
+    }
+
     /// dump and debug, print out conditional pts
     //@{
     void dumpCPts() override

package/package.json

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