svf-lib 1.0.1935 → 1.0.1936

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 (7) hide show
  1. package/SVF-osx/Release-build/bin/ae +0 -0
  2. package/SVF-osx/Release-build/include/AE/Svfexe/AbstractInterpretation.h +1 -1
  3. package/SVF-osx/Release-build/include/AE/Svfexe/SVFIR2AbsState.h +1 -1
  4. package/SVF-osx/Release-build/lib/cmake/SVF/SVFConfig.cmake +10 -10
  5. package/SVF-osx/Release-build/lib/libSvfCore.a +0 -0
  6. package/SVF-osx/Release-build/lib/libSvfLLVM.a +0 -0
  7. package/package.json +1 -1
package/SVF-osx/Release-build/bin/ae CHANGED
Binary file
package/SVF-osx/Release-build/include/AE/Svfexe/AbstractInterpretation.h CHANGED
@@ -342,7 +342,7 @@ protected:
342
342
  SVFIR* _svfir;
343
343
  PTACallGraph* _callgraph;
344
344
  /// Execution State, used to store the Interval Value of every SVF variable
345
- SVFIR2AbsState* _svfir2ExeState;
345
+ SVFIR2AbsState* _svfir2AbsState;
346
346
  AEAPI* _api{nullptr};
347
347
 
348
348
  ICFG* _icfg;
package/SVF-osx/Release-build/include/AE/Svfexe/SVFIR2AbsState.h CHANGED
@@ -51,7 +51,7 @@ public:
51
51
  _es = es;
52
52
  }
53
53
 
54
- AbstractState& getEs()
54
+ AbstractState& getAbsState()
55
55
  {
56
56
  return _es;
57
57
  }
package/SVF-osx/Release-build/lib/cmake/SVF/SVFConfig.cmake CHANGED
@@ -3,7 +3,7 @@
3
3
  ####### Any changes to this file will be overwritten by the next CMake run ####
4
4
  ####### The input file was .config.cmake.in ########
5
5
 
6
- get_filename_component(PACKAGE_PREFIX_DIR "${CMAKE_CURRENT_LIST_DIR}/../../../" ABSOLUTE)
6
+ get_filename_component(PACKAGE_${CMAKE_FIND_PACKAGE_NAME}_COUNTER_1 "${CMAKE_CURRENT_LIST_DIR}/../../../" ABSOLUTE)
7
7
 
8
8
  macro(set_and_check _var _file)
9
9
  set(${_var} "${_file}")
@@ -24,23 +24,23 @@ endmacro()
24
24
 
25
25
  ####################################################################################
26
26
 
27
- set_and_check(SVF_INSTALL_ROOT "${PACKAGE_PREFIX_DIR}")
28
- set_and_check(SVF_INSTALL_BIN_DIR "${PACKAGE_PREFIX_DIR}/bin")
29
- set_and_check(SVF_INSTALL_LIB_DIR "${PACKAGE_PREFIX_DIR}/lib")
27
+ set_and_check(SVF_INSTALL_ROOT "${PACKAGE_${CMAKE_FIND_PACKAGE_NAME}_COUNTER_1}")
28
+ set_and_check(SVF_INSTALL_BIN_DIR "${PACKAGE_${CMAKE_FIND_PACKAGE_NAME}_COUNTER_1}/bin")
29
+ set_and_check(SVF_INSTALL_LIB_DIR "${PACKAGE_${CMAKE_FIND_PACKAGE_NAME}_COUNTER_1}/lib")
30
30
 
31
- set(SVF_INCLUDE_PATH "${PACKAGE_PREFIX_DIR}/../svf/include")
32
- set(SVF_LLVM_INCLUDE_PATH "${PACKAGE_PREFIX_DIR}/../svf-llvm/include")
31
+ set(SVF_INCLUDE_PATH "${PACKAGE_${CMAKE_FIND_PACKAGE_NAME}_COUNTER_1}/../svf/include")
32
+ set(SVF_LLVM_INCLUDE_PATH "${PACKAGE_${CMAKE_FIND_PACKAGE_NAME}_COUNTER_1}/../svf-llvm/include")
33
33
 
34
34
  if(EXISTS ${SVF_INCLUDE_PATH} AND EXISTS ${SVF_LLVM_INCLUDE_PATH})
35
- set(SVF_INSTALL_INCLUDE_DIR "${SVF_INCLUDE_PATH};${SVF_LLVM_INCLUDE_PATH};${PACKAGE_PREFIX_DIR}/include")
35
+ set(SVF_INSTALL_INCLUDE_DIR "${SVF_INCLUDE_PATH};${SVF_LLVM_INCLUDE_PATH};${PACKAGE_${CMAKE_FIND_PACKAGE_NAME}_COUNTER_1}/include")
36
36
  else()
37
- set_and_check(SVF_INSTALL_INCLUDE_DIR "${PACKAGE_PREFIX_DIR}/include")
37
+ set_and_check(SVF_INSTALL_INCLUDE_DIR "${PACKAGE_${CMAKE_FIND_PACKAGE_NAME}_COUNTER_1}/include")
38
38
  endif()
39
39
 
40
40
  message(STATUS "SVF_INSTALL_INCLUDE_DIR is set to: ${SVF_INSTALL_INCLUDE_DIR}")
41
41
 
42
- set_and_check(SVF_INSTALL_EXTAPI_DIR "${PACKAGE_PREFIX_DIR}/lib")
43
- set_and_check(SVF_INSTALL_EXTAPI_FILE "${PACKAGE_PREFIX_DIR}/lib/extapi.bc")
42
+ set_and_check(SVF_INSTALL_EXTAPI_DIR "${PACKAGE_${CMAKE_FIND_PACKAGE_NAME}_COUNTER_1}/lib")
43
+ set_and_check(SVF_INSTALL_EXTAPI_FILE "${PACKAGE_${CMAKE_FIND_PACKAGE_NAME}_COUNTER_1}/lib/extapi.bc")
44
44
 
45
45
  set(SVF_SANITIZE "")
46
46
 
package/package.json CHANGED
@@ -1,6 +1,6 @@
1
1
  {
2
2
  "name": "svf-lib",
3
- "version": "1.0.1935",
3
+ "version": "1.0.1936",
4
4
  "description": "SVF's npm support",
5
5
  "main": "index.js",
6
6
  "scripts": {