svf-lib 1.0.2225 → 1.0.2226

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 (11) hide show
  1. package/SVF-linux/Release-build/bin/ae +0 -0
  2. package/SVF-linux/Release-build/bin/cfl +0 -0
  3. package/SVF-linux/Release-build/bin/dvf +0 -0
  4. package/SVF-linux/Release-build/bin/llvm2svf +0 -0
  5. package/SVF-linux/Release-build/bin/mta +0 -0
  6. package/SVF-linux/Release-build/bin/saber +0 -0
  7. package/SVF-linux/Release-build/bin/svf-ex +0 -0
  8. package/SVF-linux/Release-build/bin/wpa +0 -0
  9. package/SVF-linux/Release-build/include/SVF-LLVM/ObjTypeInference.h +2 -0
  10. package/SVF-linux/Release-build/lib/libSvfLLVM.a +0 -0
  11. package/package.json +1 -1
package/SVF-linux/Release-build/bin/ae CHANGED
Binary file
package/SVF-linux/Release-build/bin/cfl CHANGED
Binary file
package/SVF-linux/Release-build/bin/dvf CHANGED
Binary file
package/SVF-linux/Release-build/bin/mta CHANGED
Binary file
package/SVF-linux/Release-build/bin/saber CHANGED
Binary file
package/SVF-linux/Release-build/bin/svf-ex CHANGED
Binary file
package/SVF-linux/Release-build/bin/wpa CHANGED
Binary file
package/SVF-linux/Release-build/include/SVF-LLVM/ObjTypeInference.h CHANGED
@@ -70,6 +70,8 @@ public:
70
70
  /// get or infer the type of the object pointed by the value
71
71
  const Type *inferObjType(const Value *var);
72
72
 
73
+ const Type *inferPointsToType(const Value *var);
74
+
73
75
  /// validate type inference
74
76
  void validateTypeCheck(const CallBase *cs);
75
77
 
package/package.json CHANGED
@@ -1,6 +1,6 @@
1
1
  {
2
2
  "name": "svf-lib",
3
- "version": "1.0.2225",
3
+ "version": "1.0.2226",
4
4
  "description": "SVF's npm support",
5
5
  "main": "index.js",
6
6
  "scripts": {