svf-lib 1.0.822 → 1.0.826

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 (6) hide show
  1. package/SVF-linux/Release-build/lib/libSvf.a +0 -0
  2. package/SVF-linux/include/MemoryModel/LocationSet.h +1 -1
  3. package/SVF-linux/include/SVF-FE/SVFIRBuilder.h +3 -0
  4. package/SVF-osx/Release-build/lib/CUDD/libCudd.a +0 -0
  5. package/SVF-osx/Release-build/lib/libSvf.a +0 -0
  6. package/package.json +1 -1
package/SVF-linux/include/MemoryModel/LocationSet.h CHANGED
@@ -86,7 +86,7 @@ public:
86
86
 
87
87
  /// Copy Constructor
88
88
  LocationSet(const LocationSet& ls)
89
- : fldIdx(ls.fldIdx)
89
+ : fldIdx(ls.fldIdx), offsetValues(ls.getOffsetValueVec())
90
90
  {
91
91
  }
92
92
 
package/SVF-linux/include/SVF-FE/SVFIRBuilder.h CHANGED
@@ -139,6 +139,9 @@ public:
139
139
  /// Handle indirect call
140
140
  void handleIndCall(CallSite cs);
141
141
 
142
+ /// Update SVFIR given a call graph (creating new CallPE and RetPE for resolved indirect calls)
143
+ void updateCallGraph(PTACallGraph* callgraph);
144
+
142
145
  /// Handle external call
143
146
  //@{
144
147
  virtual void handleExtCall(CallSite cs, const SVFFunction *F);
package/SVF-osx/Release-build/lib/libSvf.a CHANGED
Binary file
package/package.json CHANGED
@@ -1,6 +1,6 @@
1
1
  {
2
2
  "name": "svf-lib",
3
- "version": "1.0.822",
3
+ "version": "1.0.826",
4
4
  "description": "SVF's npm support",
5
5
  "main": "index.js",
6
6
  "scripts": {