svf-lib 1.0.2007 → 1.0.2008

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-osx/Release-build/bin/ae +0 -0
  2. package/SVF-osx/Release-build/bin/svf-ex +0 -0
  3. package/SVF-osx/Release-build/include/AE/Svfexe/SVFIR2AbsState.h +1 -3
  4. package/SVF-osx/Release-build/lib/libSvfCore.a +0 -0
  5. package/SVF-osx/Release-build/lib/libSvfLLVM.a +0 -0
  6. package/package.json +1 -1
package/SVF-osx/Release-build/bin/ae CHANGED
Binary file
package/SVF-osx/Release-build/bin/svf-ex CHANGED
Binary file
package/SVF-osx/Release-build/include/AE/Svfexe/SVFIR2AbsState.h CHANGED
@@ -96,10 +96,8 @@ public:
96
96
 
97
97
 
98
98
  /// Init ObjVar
99
- void initObjVar(AbstractState& es, const ObjVar *objVar, u32_t varId);
99
+ void initObjVar(AbstractState& as, const ObjVar* var);
100
100
 
101
- /// Init SVFVar
102
- void initSVFVar(AbstractState& es, u32_t varId);
103
101
 
104
102
  inline AbstractValue &getAddrs(AbstractState& es, u32_t id)
105
103
  {
package/package.json CHANGED
@@ -1,6 +1,6 @@
1
1
  {
2
2
  "name": "svf-lib",
3
- "version": "1.0.2007",
3
+ "version": "1.0.2008",
4
4
  "description": "SVF's npm support",
5
5
  "main": "index.js",
6
6
  "scripts": {