svf-lib 1.0.1774 → 1.0.1776

package/SVF-linux/Release-build/include/Util/config.h

@@ -1,8 +1,21 @@
 #ifndef CONFIG_H_IN
 #define CONFIG_H_IN
 
-#define PROJECT_PATH "/home/runner/work/SVF/SVF"
-#define BUILD_TYPE "Release-build"
-#define EXTAPI_DIR PROJECT_PATH "/Release-build/svf-llvm"
+// Directory structure of SVF build
+#define SVF_ROOT "/home/runner/work/SVF/SVF"
+#define SVF_BUILD_DIR "/home/runner/work/SVF/SVF/Release-build"
+#define SVF_INSTALL_DIR "/usr/local"
+#define SVF_BIN_DIR SVF_INSTALL_DIR "/bin"
+#define SVF_LIB_DIR SVF_INSTALL_DIR "/lib"
+#define SVF_INCLUDE_DIR SVF_INSTALL_DIR "/include"
+#define SVF_EXTAPI_DIR SVF_INCLUDE_DIR "/SVF-LLVM"
+#define SVF_EXTAPI_BC SVF_EXTAPI_DIR "/extapi.bc"
+
+// Build properties of current SVF build
+#define SVF_BUILD_TYPE "Release"
+/* #undef SVF_ASSERT_MODE */
+/* #undef SVF_COVERAGE */
+/* #undef SVF_SANITIZE */
+
 
 #endif

package/SVF-linux/svf/include/Util/ExtAPI.h

@@ -38,8 +38,6 @@
 
 /// For a more detailed explanation of how External APIs are handled in SVF, please refer to the SVF Wiki: https://github.com/SVF-tools/SVF/wiki/Handling-External-APIs-with-extapi.c
 
-#define DEFAULT_EXTAPI_BC_PATH "/svf-llvm/extapi.bc" // Default path to extapi.bc through the SVF build method(e.g. source ./build.sh)
-
 namespace SVF
 {
 

package/SVF-osx/svf/include/WPA/AndersenPWC.h

@@ -121,7 +121,7 @@ public:
     {
         if (sfrAndersen == nullptr)
         {
-            new AndersenSFR(_pag);
+            sfrAndersen = new AndersenSFR(_pag);
             sfrAndersen->analyze();
             return sfrAndersen;
         }

package/package.json

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