svf-lib 1.0.2560 → 1.0.2562

package/SVF-linux-aarch64/include/SVF-LLVM/LLVMUtil.h

@@ -33,6 +33,7 @@
 #include "Util/SVFUtil.h"
 #include "SVF-LLVM/BasicTypes.h"
 #include "Util/ThreadAPI.h"
+#include "Util/Options.h"
 
 namespace SVF
 {
@@ -112,7 +113,8 @@ const Function* getProgFunction(const std::string& funName);
 /// Check whether a function is an entry function (i.e., main)
 inline bool isProgEntryFunction(const Function* fun)
 {
-    return fun && fun->getName() == "main";
+    const char* main_name=Options::SVFMain() ? "svf.main" : "main";
+    return fun && fun->getName() == main_name;
 }
 
 /// Check whether this value is a black hole

package/SVF-linux-aarch64/include/Util/Options.h

@@ -177,7 +177,7 @@ public:
 
     // LLVMModule.cpp
     static const Option<std::string> Graphtxt;
-    static const Option<bool> SVFMain;
+    static Option<bool> SVFMain;
 
     // SymbolTableInfo.cpp
     static const Option<bool> LocMemModel;

package/SVF-linux-x86_64/include/Util/config.h

@@ -9,7 +9,7 @@
 #define SVF_CONFIG_H_IN
 
 // Expose base properties of this SVF instance
-#define SVF_VERSION "3.3"
+#define SVF_VERSION "3.4"
 #define SVF_BUILD_TYPE "Release"
 #define SVF_C_STANDARD "11"
 #define SVF_CXX_STANDARD "17"

package/SVF-linux-x86_64/lib/cmake/SVF/SVFConfig.cmake

@@ -32,7 +32,7 @@ list(PREPEND CMAKE_MODULE_PATH "${CMAKE_CURRENT_LIST_DIR}" "${CMAKE_CURRENT_LIST
 include("${CMAKE_CURRENT_LIST_DIR}/SVFTargets.cmake")
 
 # Set basic variables from this SVF build
-set(SVF_VERSION 3.3)
+set(SVF_VERSION 3.4)
 set(SVF_BUILD_TYPE Release)
 set(SVF_SHARED_LIBS ON)
 set(SVF_C_STANDARD 11)

package/SVF-linux-x86_64/lib/cmake/SVF/SVFConfigVersion.cmake

@@ -7,7 +7,7 @@
 # PACKAGE_VERSION_COMPATIBLE if the current version is >= requested version.
 # The variable CVF_VERSION must be set before calling configure_file().
 
-set(PACKAGE_VERSION "3.3")
+set(PACKAGE_VERSION "3.4")
 
 if (PACKAGE_FIND_VERSION_RANGE)
   # Package version must be in the requested version range

package/SVF-linux-x86_64/lib/cmake/SVF/SVFTargets-release.cmake

@@ -8,22 +8,22 @@ set(CMAKE_IMPORT_FILE_VERSION 1)
 # Import target "SVF::SvfCore" for configuration "Release"
 set_property(TARGET SVF::SvfCore APPEND PROPERTY IMPORTED_CONFIGURATIONS RELEASE)
 set_target_properties(SVF::SvfCore PROPERTIES
-  IMPORTED_LOCATION_RELEASE "${_IMPORT_PREFIX}/lib/libSvfCore.so.3.3"
+  IMPORTED_LOCATION_RELEASE "${_IMPORT_PREFIX}/lib/libSvfCore.so.3.4"
   IMPORTED_SONAME_RELEASE "libSvfCore.so.3"
   )
 
 list(APPEND _cmake_import_check_targets SVF::SvfCore )
-list(APPEND _cmake_import_check_files_for_SVF::SvfCore "${_IMPORT_PREFIX}/lib/libSvfCore.so.3.3" )
+list(APPEND _cmake_import_check_files_for_SVF::SvfCore "${_IMPORT_PREFIX}/lib/libSvfCore.so.3.4" )
 
 # Import target "SVF::SvfLLVM" for configuration "Release"
 set_property(TARGET SVF::SvfLLVM APPEND PROPERTY IMPORTED_CONFIGURATIONS RELEASE)
 set_target_properties(SVF::SvfLLVM PROPERTIES
-  IMPORTED_LOCATION_RELEASE "${_IMPORT_PREFIX}/lib/libSvfLLVM.so.3.3"
+  IMPORTED_LOCATION_RELEASE "${_IMPORT_PREFIX}/lib/libSvfLLVM.so.3.4"
   IMPORTED_SONAME_RELEASE "libSvfLLVM.so.3"
   )
 
 list(APPEND _cmake_import_check_targets SVF::SvfLLVM )
-list(APPEND _cmake_import_check_files_for_SVF::SvfLLVM "${_IMPORT_PREFIX}/lib/libSvfLLVM.so.3.3" )
+list(APPEND _cmake_import_check_files_for_SVF::SvfLLVM "${_IMPORT_PREFIX}/lib/libSvfLLVM.so.3.4" )
 
 # Import target "SVF::ae" for configuration "Release"
 set_property(TARGET SVF::ae APPEND PROPERTY IMPORTED_CONFIGURATIONS RELEASE)

package/SVF-linux-x86_64/lib/pkgconfig/SVF.pc

@@ -6,7 +6,7 @@ includedir=${exec_prefix}/include
 
 Name: SVF
 Description: SVF Points to Analysis Framework
-Version: 3.3
+Version: 3.4
 Requires: z3
 Libs: -L${libdir} -lSvfCore -lSvfLLVM
 Cflags: -I${includedir}

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "svf-lib",
-  "version": "1.0.2560",
+  "version": "1.0.2562",
   "description": "SVF's npm support",
   "main": "index.js",
   "scripts": {