svf-lib 1.0.2522 → 1.0.2523

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (3) hide show
  1. package/SVF-linux-aarch64/include/AE/Svfexe/AbstractInterpretation.h +2 -2
  2. package/SVF-linux-aarch64/lib/libSvfCore.so.3.3 +0 -0
  3. package/package.json +1 -1
package/SVF-linux-aarch64/include/AE/Svfexe/AbstractInterpretation.h CHANGED
@@ -116,7 +116,7 @@ public:
116
116
  }
117
117
 
118
118
  /// Retrieve abstract value for a top-level variable at a given ICFG node
119
- const AbstractValue& getAbstractValue(const ICFGNode* node, const ValVar* var);
119
+ const AbstractValue& getAbstractValue(const ValVar* var);
120
120
 
121
121
  /// Retrieve abstract value for an address-taken variable at a given ICFG node
122
122
  const AbstractValue& getAbstractValue(const ICFGNode* node, const ObjVar* var);
@@ -125,7 +125,7 @@ public:
125
125
  const AbstractValue& getAbstractValue(const ICFGNode* node, const SVFVar* var);
126
126
 
127
127
  /// Set abstract value for a top-level variable at a given ICFG node
128
- void updateAbstractValue(const ICFGNode* node, const ValVar* var, const AbstractValue& val);
128
+ void updateAbstractValue(const ValVar* var, const AbstractValue& val);
129
129
 
130
130
  /// Set abstract value for an address-taken variable at a given ICFG node
131
131
  void updateAbstractValue(const ICFGNode* node, const ObjVar* var, const AbstractValue& val);
package/package.json CHANGED
@@ -1,6 +1,6 @@
1
1
  {
2
2
  "name": "svf-lib",
3
- "version": "1.0.2522",
3
+ "version": "1.0.2523",
4
4
  "description": "SVF's npm support",
5
5
  "main": "index.js",
6
6
  "scripts": {