svf-lib 1.0.2465 → 1.0.2467

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 (23) hide show
  1. package/SVF-linux-x86_64/include/Util/config.h +1 -1
  2. package/SVF-linux-x86_64/lib/cmake/SVF/SVFConfig.cmake +1 -1
  3. package/SVF-linux-x86_64/lib/cmake/SVF/SVFConfigVersion.cmake +1 -1
  4. package/SVF-linux-x86_64/lib/cmake/SVF/SVFTargets-release.cmake +4 -4
  5. package/SVF-linux-x86_64/lib/pkgconfig/SVF.pc +1 -1
  6. package/SVF-osx/bin/ae +0 -0
  7. package/SVF-osx/bin/cfl +0 -0
  8. package/SVF-osx/bin/dvf +0 -0
  9. package/SVF-osx/bin/llvm2svf +0 -0
  10. package/SVF-osx/bin/mta +0 -0
  11. package/SVF-osx/bin/saber +0 -0
  12. package/SVF-osx/bin/svf-ex +0 -0
  13. package/SVF-osx/bin/wpa +0 -0
  14. package/SVF-osx/include/Util/config.h +1 -1
  15. package/SVF-osx/lib/cmake/SVF/SVFConfig.cmake +1 -1
  16. package/SVF-osx/lib/cmake/SVF/SVFConfigVersion.cmake +1 -1
  17. package/SVF-osx/lib/cmake/SVF/SVFTargets-release.cmake +4 -4
  18. package/SVF-osx/lib/{libSvfCore.3.2.dylib → libSvfCore.3.3.dylib} +0 -0
  19. package/SVF-osx/lib/{libSvfLLVM.3.2.dylib → libSvfLLVM.3.3.dylib} +0 -0
  20. package/SVF-osx/lib/pkgconfig/SVF.pc +1 -1
  21. package/package.json +1 -1
  22. /package/SVF-linux-x86_64/lib/{libSvfCore.so.3.2 → libSvfCore.so.3.3} +0 -0
  23. /package/SVF-linux-x86_64/lib/{libSvfLLVM.so.3.2 → libSvfLLVM.so.3.3} +0 -0
package/SVF-linux-x86_64/include/Util/config.h CHANGED
@@ -9,7 +9,7 @@
9
9
  #define SVF_CONFIG_H_IN
10
10
 
11
11
  // Expose base properties of this SVF instance
12
- #define SVF_VERSION "3.2"
12
+ #define SVF_VERSION "3.3"
13
13
  #define SVF_BUILD_TYPE "Release"
14
14
  #define SVF_C_STANDARD "11"
15
15
  #define SVF_CXX_STANDARD "17"
package/SVF-linux-x86_64/lib/cmake/SVF/SVFConfig.cmake CHANGED
@@ -32,7 +32,7 @@ list(PREPEND CMAKE_MODULE_PATH "${CMAKE_CURRENT_LIST_DIR}" "${CMAKE_CURRENT_LIST
32
32
  include("${CMAKE_CURRENT_LIST_DIR}/SVFTargets.cmake")
33
33
 
34
34
  # Set basic variables from this SVF build
35
- set(SVF_VERSION 3.2)
35
+ set(SVF_VERSION 3.3)
36
36
  set(SVF_BUILD_TYPE Release)
37
37
  set(SVF_SHARED_LIBS ON)
38
38
  set(SVF_C_STANDARD 11)
package/SVF-linux-x86_64/lib/cmake/SVF/SVFConfigVersion.cmake CHANGED
@@ -7,7 +7,7 @@
7
7
  # PACKAGE_VERSION_COMPATIBLE if the current version is >= requested version.
8
8
  # The variable CVF_VERSION must be set before calling configure_file().
9
9
 
10
- set(PACKAGE_VERSION "3.2")
10
+ set(PACKAGE_VERSION "3.3")
11
11
 
12
12
  if (PACKAGE_FIND_VERSION_RANGE)
13
13
  # Package version must be in the requested version range
package/SVF-linux-x86_64/lib/cmake/SVF/SVFTargets-release.cmake CHANGED
@@ -8,22 +8,22 @@ set(CMAKE_IMPORT_FILE_VERSION 1)
8
8
  # Import target "SVF::SvfCore" for configuration "Release"
9
9
  set_property(TARGET SVF::SvfCore APPEND PROPERTY IMPORTED_CONFIGURATIONS RELEASE)
10
10
  set_target_properties(SVF::SvfCore PROPERTIES
11
- IMPORTED_LOCATION_RELEASE "${_IMPORT_PREFIX}/lib/libSvfCore.so.3.2"
11
+ IMPORTED_LOCATION_RELEASE "${_IMPORT_PREFIX}/lib/libSvfCore.so.3.3"
12
12
  IMPORTED_SONAME_RELEASE "libSvfCore.so.3"
13
13
  )
14
14
 
15
15
  list(APPEND _cmake_import_check_targets SVF::SvfCore )
16
- list(APPEND _cmake_import_check_files_for_SVF::SvfCore "${_IMPORT_PREFIX}/lib/libSvfCore.so.3.2" )
16
+ list(APPEND _cmake_import_check_files_for_SVF::SvfCore "${_IMPORT_PREFIX}/lib/libSvfCore.so.3.3" )
17
17
 
18
18
  # Import target "SVF::SvfLLVM" for configuration "Release"
19
19
  set_property(TARGET SVF::SvfLLVM APPEND PROPERTY IMPORTED_CONFIGURATIONS RELEASE)
20
20
  set_target_properties(SVF::SvfLLVM PROPERTIES
21
- IMPORTED_LOCATION_RELEASE "${_IMPORT_PREFIX}/lib/libSvfLLVM.so.3.2"
21
+ IMPORTED_LOCATION_RELEASE "${_IMPORT_PREFIX}/lib/libSvfLLVM.so.3.3"
22
22
  IMPORTED_SONAME_RELEASE "libSvfLLVM.so.3"
23
23
  )
24
24
 
25
25
  list(APPEND _cmake_import_check_targets SVF::SvfLLVM )
26
- list(APPEND _cmake_import_check_files_for_SVF::SvfLLVM "${_IMPORT_PREFIX}/lib/libSvfLLVM.so.3.2" )
26
+ list(APPEND _cmake_import_check_files_for_SVF::SvfLLVM "${_IMPORT_PREFIX}/lib/libSvfLLVM.so.3.3" )
27
27
 
28
28
  # Import target "SVF::ae" for configuration "Release"
29
29
  set_property(TARGET SVF::ae APPEND PROPERTY IMPORTED_CONFIGURATIONS RELEASE)
package/SVF-linux-x86_64/lib/pkgconfig/SVF.pc CHANGED
@@ -6,7 +6,7 @@ includedir=${exec_prefix}/include
6
6
 
7
7
  Name: SVF
8
8
  Description: SVF Points to Analysis Framework
9
- Version: 3.2
9
+ Version: 3.3
10
10
  Requires: z3
11
11
  Libs: -L${libdir} -lSvfCore -lSvfLLVM
12
12
  Cflags: -I${includedir}
package/SVF-osx/bin/ae CHANGED
Binary file
package/SVF-osx/bin/cfl CHANGED
Binary file
package/SVF-osx/bin/dvf CHANGED
Binary file
package/SVF-osx/bin/llvm2svf CHANGED
Binary file
package/SVF-osx/bin/mta CHANGED
Binary file
package/SVF-osx/bin/saber CHANGED
Binary file
package/SVF-osx/bin/svf-ex CHANGED
Binary file
package/SVF-osx/bin/wpa CHANGED
Binary file
package/SVF-osx/include/Util/config.h CHANGED
@@ -9,7 +9,7 @@
9
9
  #define SVF_CONFIG_H_IN
10
10
 
11
11
  // Expose base properties of this SVF instance
12
- #define SVF_VERSION "3.2"
12
+ #define SVF_VERSION "3.3"
13
13
  #define SVF_BUILD_TYPE "Release"
14
14
  #define SVF_C_STANDARD "11"
15
15
  #define SVF_CXX_STANDARD "17"
package/SVF-osx/lib/cmake/SVF/SVFConfig.cmake CHANGED
@@ -32,7 +32,7 @@ list(PREPEND CMAKE_MODULE_PATH "${CMAKE_CURRENT_LIST_DIR}" "${CMAKE_CURRENT_LIST
32
32
  include("${CMAKE_CURRENT_LIST_DIR}/SVFTargets.cmake")
33
33
 
34
34
  # Set basic variables from this SVF build
35
- set(SVF_VERSION 3.2)
35
+ set(SVF_VERSION 3.3)
36
36
  set(SVF_BUILD_TYPE Release)
37
37
  set(SVF_SHARED_LIBS ON)
38
38
  set(SVF_C_STANDARD 11)
package/SVF-osx/lib/cmake/SVF/SVFConfigVersion.cmake CHANGED
@@ -7,7 +7,7 @@
7
7
  # PACKAGE_VERSION_COMPATIBLE if the current version is >= requested version.
8
8
  # The variable CVF_VERSION must be set before calling configure_file().
9
9
 
10
- set(PACKAGE_VERSION "3.2")
10
+ set(PACKAGE_VERSION "3.3")
11
11
 
12
12
  if (PACKAGE_FIND_VERSION_RANGE)
13
13
  # Package version must be in the requested version range
package/SVF-osx/lib/cmake/SVF/SVFTargets-release.cmake CHANGED
@@ -8,22 +8,22 @@ set(CMAKE_IMPORT_FILE_VERSION 1)
8
8
  # Import target "SVF::SvfCore" for configuration "Release"
9
9
  set_property(TARGET SVF::SvfCore APPEND PROPERTY IMPORTED_CONFIGURATIONS RELEASE)
10
10
  set_target_properties(SVF::SvfCore PROPERTIES
11
- IMPORTED_LOCATION_RELEASE "${_IMPORT_PREFIX}/lib/libSvfCore.3.2.dylib"
11
+ IMPORTED_LOCATION_RELEASE "${_IMPORT_PREFIX}/lib/libSvfCore.3.3.dylib"
12
12
  IMPORTED_SONAME_RELEASE "@rpath/libSvfCore.3.dylib"
13
13
  )
14
14
 
15
15
  list(APPEND _cmake_import_check_targets SVF::SvfCore )
16
- list(APPEND _cmake_import_check_files_for_SVF::SvfCore "${_IMPORT_PREFIX}/lib/libSvfCore.3.2.dylib" )
16
+ list(APPEND _cmake_import_check_files_for_SVF::SvfCore "${_IMPORT_PREFIX}/lib/libSvfCore.3.3.dylib" )
17
17
 
18
18
  # Import target "SVF::SvfLLVM" for configuration "Release"
19
19
  set_property(TARGET SVF::SvfLLVM APPEND PROPERTY IMPORTED_CONFIGURATIONS RELEASE)
20
20
  set_target_properties(SVF::SvfLLVM PROPERTIES
21
- IMPORTED_LOCATION_RELEASE "${_IMPORT_PREFIX}/lib/libSvfLLVM.3.2.dylib"
21
+ IMPORTED_LOCATION_RELEASE "${_IMPORT_PREFIX}/lib/libSvfLLVM.3.3.dylib"
22
22
  IMPORTED_SONAME_RELEASE "@rpath/libSvfLLVM.3.dylib"
23
23
  )
24
24
 
25
25
  list(APPEND _cmake_import_check_targets SVF::SvfLLVM )
26
- list(APPEND _cmake_import_check_files_for_SVF::SvfLLVM "${_IMPORT_PREFIX}/lib/libSvfLLVM.3.2.dylib" )
26
+ list(APPEND _cmake_import_check_files_for_SVF::SvfLLVM "${_IMPORT_PREFIX}/lib/libSvfLLVM.3.3.dylib" )
27
27
 
28
28
  # Import target "SVF::ae" for configuration "Release"
29
29
  set_property(TARGET SVF::ae APPEND PROPERTY IMPORTED_CONFIGURATIONS RELEASE)
package/SVF-osx/lib/pkgconfig/SVF.pc CHANGED
@@ -6,7 +6,7 @@ includedir=${exec_prefix}/include
6
6
 
7
7
  Name: SVF
8
8
  Description: SVF Points to Analysis Framework
9
- Version: 3.2
9
+ Version: 3.3
10
10
  Requires: z3
11
11
  Libs: -L${libdir} -lSvfCore -lSvfLLVM
12
12
  Cflags: -I${includedir}
package/package.json CHANGED
@@ -1,6 +1,6 @@
1
1
  {
2
2
  "name": "svf-lib",
3
- "version": "1.0.2465",
3
+ "version": "1.0.2467",
4
4
  "description": "SVF's npm support",
5
5
  "main": "index.js",
6
6
  "scripts": {