svf-lib 1.0.2555 → 1.0.2556

package/SVF-osx/include/AE/Svfexe/AbstractInterpretation.h

@@ -189,16 +189,6 @@ public:
         return abstractTrace[node];
     }
 
-    // ---- Def/Use site queries (sparsity-aware) ------------------------
-
-    virtual Set<const ICFGNode*> getUseSitesOfObjVar(const ObjVar* obj, const ICFGNode* node) const;
-    virtual Set<const ICFGNode*> getUseSitesOfValVar(const ValVar* var) const;
-    virtual const ICFGNode* getDefSiteOfValVar(const ValVar* var) const;
-    virtual const ICFGNode* getDefSiteOfObjVar(const ObjVar* obj, const ICFGNode* node) const;
-
-    /// Propagate an ObjVar's abstract value from defSite to all its use-sites.
-    void propagateObjVarAbsVal(const ObjVar* var, const ICFGNode* defSite);
-
 protected:
     /// Factory-only construction.  External callers must use getAEInstance();
     /// `SparseAbstractInterpretation` reaches this via its own ctor.

package/SVF-osx/include/AE/Svfexe/SparseAbstractInterpretation.h

@@ -98,10 +98,14 @@ public:
     bool hasAbsValue(const ValVar* var, const ICFGNode* node) const override;
     using SemiSparseAbstractInterpretation::hasAbsValue;
 
-    Set<const ICFGNode*> getUseSitesOfObjVar(const ObjVar* obj, const ICFGNode* node) const override;
-    Set<const ICFGNode*> getUseSitesOfValVar(const ValVar* var) const override;
-    const ICFGNode* getDefSiteOfValVar(const ValVar* var) const override;
-    const ICFGNode* getDefSiteOfObjVar(const ObjVar* obj, const ICFGNode* node) const override;
+    const Set<const ICFGNode*> getUseSitesOfValVar(const ValVar* var) const;
+    const ICFGNode* getDefSiteOfValVar(const ValVar* var) const;
+    /// Given an ObjVar and its def-site ICFGNode, find all use-site ICFGNodes
+    /// by following outgoing IndirectSVFGEdges whose pts contains the ObjVar
+    const Set<const ICFGNode*> getDefSiteOfObjVar(const ObjVar* obj, const ICFGNode* node) const;
+    /// Given an ObjVar and its def-site ICFGNode, find all use-site ICFGNodes
+    /// by following outgoing IndirectSVFGEdges whose pts contains the ObjVar
+    const Set<const ICFGNode*> getUseSitesOfObjVar(const ObjVar* obj, const ICFGNode* node) const;
 
 protected:
     /// Build the SVFG on top of the semi-sparse precompute.

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

@@ -179,21 +179,21 @@ public:
         return hasDef(valVar) && hasSVFGNode(getDef(valVar));
     }
 
-    /// Given a ValVar and its SVFGNode, find the definition-site ICFGNode
+    /// Given a ValVar and its SVFGNode, find the definition-site SVFGNode
     /// by following incoming direct VFGEdges (asserts unique definition)
-    const ICFGNode* getDefSiteOfValVar(const ValVar* var) const;
+    const SVFGNode* getDefSiteOfValVar(const ValVar* var) const;
 
-    /// Given an ObjVar and its use-site ICFGNode, find the definition-site ICFGNode
+    /// Given an ObjVar and its use-site SVFGNode, find the definition-site ICFGNode
     /// by following incoming IndirectSVFGEdges whose pts contains the ObjVar (asserts unique definition)
-    const ICFGNode* getDefSiteOfObjVar(const ObjVar* obj, const ICFGNode* node) const;
+    const Set<const SVFGNode*> getDefSiteOfObjVar(const ObjVar* obj, const SVFGNode* node) const;
 
-    /// Given a ValVar, find all use-site ICFGNodes
+    /// Given a ValVar, find all use-site SVFGNodes
     /// by following outgoing direct VFGEdges from its unique definition SVFGNode
-    const Set<const ICFGNode*> getUseSitesOfValVar(const ValVar* var) const;
+    const Set<const SVFGNode*> getUseSitesOfValVar(const ValVar* var) const;
 
-    /// Given an ObjVar and its def-site ICFGNode, find all use-site ICFGNodes
+    /// Given an ObjVar and its def-site SVFGNodes, find all use-site SVFGNodes
     /// by following outgoing IndirectSVFGEdges whose pts contains the ObjVar
-    const Set<const ICFGNode*> getUseSitesOfObjVar(const ObjVar* obj, const ICFGNode* node) const;
+    const Set<const SVFGNode*> getUseSitesOfObjVar(const ObjVar* obj, const SVFGNode* node) const;
 
     /// Perform statistics
     void performStat();

package/package.json

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