svf-lib 1.0.2227 → 1.0.2228

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 (13) 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/lib/cmake/SVF/SVFConfig.cmake +1 -1
  10. package/SVF-linux/Release-build/lib/extapi.bc +1 -1
  11. package/SVF-linux/Release-build/lib/libSvfCore.so +0 -0
  12. package/SVF-linux/Release-build/lib/libSvfLLVM.so.16 +0 -0
  13. 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/lib/cmake/SVF/SVFConfig.cmake CHANGED
@@ -52,7 +52,7 @@ set(SVF_ENABLE_ASSERTIONS "true")
52
52
  set(SVF_BUILD_TYPE "Release")
53
53
  set(SVF_CXX_STANDARD "17")
54
54
 
55
- set(SVF_ENABLE_RTTI "OFF")
55
+ set(SVF_ENABLE_RTTI "ON")
56
56
  set(SVF_ENABLE_EXCEPTIONS "OFF")
57
57
 
58
58
 
package/SVF-linux/Release-build/lib/extapi.bc CHANGED
@@ -2446,4 +2446,4 @@ attributes #4 = { noinline nounwind willreturn memory(read) uwtable "frame-point
2446
2446
  !2 = !{i32 7, !"PIE Level", i32 2}
2447
2447
  !3 = !{i32 7, !"uwtable", i32 2}
2448
2448
  !4 = !{i32 7, !"frame-pointer", i32 2}
2449
- !5 = !{!"clang version 16.0.4 (https://github.com/llvm/llvm-project ae42196bc493ffe877a7e3dff8be32035dea4d07)"}
2449
+ !5 = !{!"clang version 16.0.4 (https://github.com/SVF-tools/SVF.git 2f558e4699a6cc47d222f386943216d3df7fb7b3)"}
package/package.json CHANGED
@@ -1,6 +1,6 @@
1
1
  {
2
2
  "name": "svf-lib",
3
- "version": "1.0.2227",
3
+ "version": "1.0.2228",
4
4
  "description": "SVF's npm support",
5
5
  "main": "index.js",
6
6
  "scripts": {