svf-lib 1.0.2526 → 1.0.2528

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

@@ -156,9 +156,10 @@ private:
     /// Initialize abstract state for the global ICFG node and process global statements
     virtual void handleGlobalNode();
 
-    /// Propagate the post-state of a node to all its intra-procedural successors
-    void propagateToSuccessor(const ICFGNode* node,
-                              const Set<const ICFGNode*>* withinSet = nullptr);
+    /// Pull-based state merge: read abstractTrace[pred] for each predecessor,
+    /// apply branch refinement for conditional IntraCFGEdges, and join into
+    /// abstractTrace[node]. Returns true if at least one predecessor had state.
+    bool mergeStatesFromPredecessors(const ICFGNode* node);
 
     /// Check if the branch on intraEdge is feasible under abstract state as
     bool isBranchFeasible(const IntraCFGEdge* intraEdge, AbstractState& as);
@@ -242,7 +243,7 @@ private:
     // there data should be shared with subclasses
     Map<std::string, std::function<void(const CallICFGNode*)>> func_map;
 
-    Map<const ICFGNode*, AbstractState> abstractTrace; // abstract states for nodes (pre-state before execution, post-state after)
+    Map<const ICFGNode*, AbstractState> abstractTrace; // abstract states for nodes
     Set<const ICFGNode*> allAnalyzedNodes; // All nodes ever analyzed (across all entry points)
     std::string moduleName;
 

package/SVF-osx/include/SVFIR/SVFVariables.h

@@ -260,12 +260,7 @@ class ValVar: public SVFVar
 
 private:
     const ICFGNode* icfgNode; // icfgnode related to valvar
-protected:
 
-    inline void setICFGNode(const ICFGNode* icfgNode)
-    {
-        this->icfgNode = icfgNode;
-    }
 public:
     /// Methods for support type inquiry through isa, cast, and dyn_cast:
     //@{
@@ -617,11 +612,6 @@ public:
         return icfgNode;
     }
 
-    inline void setICFGNode(const ICFGNode* node)
-    {
-        icfgNode = node;
-    }
-
     /// Return name of a LLVM value
     inline const std::string getValueName() const
     {

package/package.json

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