svf-lib 1.0.2507 → 1.0.2509

package/SVF-linux-aarch64/include/AE/Core/AbstractState.h

@@ -300,6 +300,8 @@ public:
 
     void printAbstractState() const;
 
+    std::string toString() const;
+
     u32_t hash() const;
 
     // lhs == rhs for varToValMap

package/SVF-linux-aarch64/include/AE/Svfexe/AbstractInterpretation.h

@@ -109,11 +109,11 @@ public:
         detectors.push_back(std::move(detector));
     }
 
-    /// Retrieve the abstract state from the trace for a given ICFG node; asserts if no trace exists
-    AbstractState& getAbstractState(const ICFGNode* node);
-
-    /// Check if an abstract state exists in the trace for a given ICFG node
-    bool hasAbstractState(const ICFGNode* node);
+    /// Retrieve SVFVar given its ID; asserts if no such variable exists
+    inline const SVFVar* getSVFVar(NodeID varId) const
+    {
+        return svfir->getSVFVar(varId);
+    }
 
     /// Retrieve abstract value for a top-level variable at a given ICFG node
     const AbstractValue& getAbstractValue(const ICFGNode* node, const ValVar* var);
@@ -124,6 +124,24 @@ public:
     /// Retrieve abstract value for any SVF variable at a given ICFG node
     const AbstractValue& getAbstractValue(const ICFGNode* node, const SVFVar* var);
 
+    /// Set abstract value for a top-level variable at a given ICFG node
+    void updateAbstractValue(const ICFGNode* node, const ValVar* var, const AbstractValue& val);
+
+    /// Set abstract value for an address-taken variable at a given ICFG node
+    void updateAbstractValue(const ICFGNode* node, const ObjVar* var, const AbstractValue& val);
+
+    /// Set abstract value for any SVF variable at a given ICFG node
+    void updateAbstractValue(const ICFGNode* node, const SVFVar* var, const AbstractValue& val);
+
+    /// Propagate an ObjVar's abstract value from defSite to all its use-site ICFGNodes via SVFG
+    void propagateObjVarAbsVal(const ObjVar* var, const ICFGNode* defSite);
+
+    /// Retrieve the abstract state from the trace for a given ICFG node; asserts if no trace exists
+    AbstractState& getAbstractState(const ICFGNode* node);
+
+    /// Check if an abstract state exists in the trace for a given ICFG node
+    bool hasAbstractState(const ICFGNode* node);
+
     /// Retrieve abstract state filtered to specific top-level variables
     void getAbstractState(const ICFGNode* node, const Set<const ValVar*>& vars, AbstractState& result);
 

package/SVF-linux-aarch64/include/AE/Svfexe/PreAnalysis.h

@@ -65,6 +65,12 @@ public:
     {
         return callGraphSCC;
     }
+    SVFG* getSVFG() const
+    {
+        return svfg;
+    }
+    /// Given an ObjVar and its def-site ICFGNode, find all use-site ICFGNodes
+    const Set<const ICFGNode*> getUseSitesOfObjVar(const ObjVar* obj, const ICFGNode* node) const;
 
     /// Build WTO for each function using call graph SCC
     void initWTO();
@@ -78,6 +84,7 @@ public:
 private:
     SVFIR* svfir;
     ICFG* icfg;
+    SVFG* svfg;
     AndersenWaveDiff* pta;
     CallGraph* callGraph;
     CallGraphSCC* callGraphSCC;

package/SVF-linux-aarch64/include/Graphs/SVFG.h

@@ -181,19 +181,19 @@ public:
 
     /// Given a ValVar and its SVFGNode, find the definition-site ICFGNode
     /// by following incoming direct VFGEdges (asserts unique definition)
-    const ICFGNode* getDefSiteOfValVar(const ValVar* var, const SVFGNode* node) const;
+    const ICFGNode* getDefSiteOfValVar(const ValVar* var) const;
 
-    /// Given an ObjVar and its SVFGNode, find the definition-site ICFGNode
+    /// Given an ObjVar and its use-site ICFGNode, find the definition-site ICFGNode
     /// by following incoming IndirectSVFGEdges whose pts contains the ObjVar (asserts unique definition)
-    const ICFGNode* getDefSiteOfObjVar(const ObjVar* obj, const SVFGNode* node) const;
+    const ICFGNode* getDefSiteOfObjVar(const ObjVar* obj, const ICFGNode* node) const;
 
-    /// Given a ValVar and its SVFStmt, find all use-site ICFGNodes
-    /// by following outgoing direct VFGEdges from its definition SVFGNode
-    const Set<const ICFGNode*> getUseSitesOfValVar(const ValVar* var, const SVFGNode* vNode) const;
+    /// Given a ValVar, find all use-site ICFGNodes
+    /// by following outgoing direct VFGEdges from its unique definition SVFGNode
+    const Set<const ICFGNode*> getUseSitesOfValVar(const ValVar* var) const;
 
-    /// Given an ObjVar and its SVFStmt, find all use-site ICFGNodes
+    /// 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 SVFGNode* vNode) const;
+    const Set<const ICFGNode*> getUseSitesOfObjVar(const ObjVar* obj, const ICFGNode* node) const;
 
     /// Perform statistics
     void performStat();

package/SVF-linux-aarch64/include/Util/Options.h

@@ -240,6 +240,7 @@ public:
     static const Option<u32_t> LoopBound;
 
     // Abstract Execution
+    static const Option<bool> SparseAE;
     static const Option<u32_t> WidenDelay;
     /// recursion handling mode, Default: TOP
     static const OptionMap<u32_t> HandleRecur;

package/SVF-osx/include/AE/Core/AbstractState.h

@@ -300,6 +300,8 @@ public:
 
     void printAbstractState() const;
 
+    std::string toString() const;
+
     u32_t hash() const;
 
     // lhs == rhs for varToValMap

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

@@ -109,11 +109,11 @@ public:
         detectors.push_back(std::move(detector));
     }
 
-    /// Retrieve the abstract state from the trace for a given ICFG node; asserts if no trace exists
-    AbstractState& getAbstractState(const ICFGNode* node);
-
-    /// Check if an abstract state exists in the trace for a given ICFG node
-    bool hasAbstractState(const ICFGNode* node);
+    /// Retrieve SVFVar given its ID; asserts if no such variable exists
+    inline const SVFVar* getSVFVar(NodeID varId) const
+    {
+        return svfir->getSVFVar(varId);
+    }
 
     /// Retrieve abstract value for a top-level variable at a given ICFG node
     const AbstractValue& getAbstractValue(const ICFGNode* node, const ValVar* var);
@@ -124,6 +124,24 @@ public:
     /// Retrieve abstract value for any SVF variable at a given ICFG node
     const AbstractValue& getAbstractValue(const ICFGNode* node, const SVFVar* var);
 
+    /// Set abstract value for a top-level variable at a given ICFG node
+    void updateAbstractValue(const ICFGNode* node, const ValVar* var, const AbstractValue& val);
+
+    /// Set abstract value for an address-taken variable at a given ICFG node
+    void updateAbstractValue(const ICFGNode* node, const ObjVar* var, const AbstractValue& val);
+
+    /// Set abstract value for any SVF variable at a given ICFG node
+    void updateAbstractValue(const ICFGNode* node, const SVFVar* var, const AbstractValue& val);
+
+    /// Propagate an ObjVar's abstract value from defSite to all its use-site ICFGNodes via SVFG
+    void propagateObjVarAbsVal(const ObjVar* var, const ICFGNode* defSite);
+
+    /// Retrieve the abstract state from the trace for a given ICFG node; asserts if no trace exists
+    AbstractState& getAbstractState(const ICFGNode* node);
+
+    /// Check if an abstract state exists in the trace for a given ICFG node
+    bool hasAbstractState(const ICFGNode* node);
+
     /// Retrieve abstract state filtered to specific top-level variables
     void getAbstractState(const ICFGNode* node, const Set<const ValVar*>& vars, AbstractState& result);
 

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

@@ -65,6 +65,12 @@ public:
     {
         return callGraphSCC;
     }
+    SVFG* getSVFG() const
+    {
+        return svfg;
+    }
+    /// Given an ObjVar and its def-site ICFGNode, find all use-site ICFGNodes
+    const Set<const ICFGNode*> getUseSitesOfObjVar(const ObjVar* obj, const ICFGNode* node) const;
 
     /// Build WTO for each function using call graph SCC
     void initWTO();
@@ -78,6 +84,7 @@ public:
 private:
     SVFIR* svfir;
     ICFG* icfg;
+    SVFG* svfg;
     AndersenWaveDiff* pta;
     CallGraph* callGraph;
     CallGraphSCC* callGraphSCC;

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

@@ -181,19 +181,19 @@ public:
 
     /// Given a ValVar and its SVFGNode, find the definition-site ICFGNode
     /// by following incoming direct VFGEdges (asserts unique definition)
-    const ICFGNode* getDefSiteOfValVar(const ValVar* var, const SVFGNode* node) const;
+    const ICFGNode* getDefSiteOfValVar(const ValVar* var) const;
 
-    /// Given an ObjVar and its SVFGNode, find the definition-site ICFGNode
+    /// Given an ObjVar and its use-site ICFGNode, find the definition-site ICFGNode
     /// by following incoming IndirectSVFGEdges whose pts contains the ObjVar (asserts unique definition)
-    const ICFGNode* getDefSiteOfObjVar(const ObjVar* obj, const SVFGNode* node) const;
+    const ICFGNode* getDefSiteOfObjVar(const ObjVar* obj, const ICFGNode* node) const;
 
-    /// Given a ValVar and its SVFStmt, find all use-site ICFGNodes
-    /// by following outgoing direct VFGEdges from its definition SVFGNode
-    const Set<const ICFGNode*> getUseSitesOfValVar(const ValVar* var, const SVFGNode* vNode) const;
+    /// Given a ValVar, find all use-site ICFGNodes
+    /// by following outgoing direct VFGEdges from its unique definition SVFGNode
+    const Set<const ICFGNode*> getUseSitesOfValVar(const ValVar* var) const;
 
-    /// Given an ObjVar and its SVFStmt, find all use-site ICFGNodes
+    /// 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 SVFGNode* vNode) const;
+    const Set<const ICFGNode*> getUseSitesOfObjVar(const ObjVar* obj, const ICFGNode* node) const;
 
     /// Perform statistics
     void performStat();

package/SVF-osx/include/Util/Options.h

@@ -240,6 +240,7 @@ public:
     static const Option<u32_t> LoopBound;
 
     // Abstract Execution
+    static const Option<bool> SparseAE;
     static const Option<u32_t> WidenDelay;
     /// recursion handling mode, Default: TOP
     static const OptionMap<u32_t> HandleRecur;

package/package.json

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