svf-lib 1.0.2236 → 1.0.2237

package/llvm_install.sh

@@ -1,15 +1,19 @@
 #!/bin/bash
 SVFHOME=$(pwd)
 sysOS=`uname -s`
+arch=`uname -m`
 MajorLLVMVer=16
 LLVMVer=${MajorLLVMVer}.0.0
-UbuntuLLVM_RTTI="https://github.com/SVF-tools/SVF/releases/download/SVF-3.0/llvm-${LLVMVer}-ubuntu24-rtti-amd64.tar.gz"
+UbuntuLLVM_RTTI="https://github.com/SVF-tools/SVF/releases/download/SVF-3.0/llvm-${LLVMVer}-ubuntu24-rtti-x86-64.tar.gz"
+UbuntuArmLLVM_RTTI="https://github.com/SVF-tools/SVF/releases/download/SVF-3.0/llvm-${LLVMVer}-ubuntu24-rtti-x86-64.tar.gz"
+
+UbuntuZ3Arm="https://github.com/SVF-tools/SVF-npm/raw/prebuilt-libs/z3-4.8.7-aarch64-ubuntu.zip"
 UbuntuZ3="https://github.com/Z3Prover/z3/releases/download/z3-4.8.8/z3-4.8.8-x64-ubuntu-16.04.zip"
 Z3Home="z3.obj"
 LLVMHome="llvm-${LLVMVer}.obj"
 
 # resume softlink libSvfLLVM.so since npm pack would ignore softlink
-ln -sf libSvfLLVM.so.16 "$SVFHOME/SVF-linux/Release-build/lib/libSvfLLVM.so"
+ln -sf libSvfLLVM.so.16 "$SVFHOME/SVF-linux-${arch}/Release-build/lib/libSvfLLVM.so"
 
 cd $SVFHOME
 cd ..
@@ -49,15 +53,23 @@ then
        ln -s $(brew --prefix llvm@${MajorLLVMVer})/* $install_path/$LLVMHome
 elif [[ $sysOS == "Linux" ]]
 then
-       if [ ! -d "$install_path/$LLVMHome" ]
-       then
-       		echo 'Downloading LLVM binary for Ubuntu'
-      		wget -c $UbuntuLLVM_RTTI -O llvm-ubuntu.tar.xz
-      		mkdir $install_path/$LLVMHome 
-		echo 'Unzipping LLVM binary for Ubuntu'
-		tar -xf "llvm-ubuntu.tar.xz" -C $install_path/$LLVMHome --strip-components 1
-		rm llvm-ubuntu.tar.xz
-       fi
+     if [[ $arch == "aarch64" ]]
+     then
+       echo 'Downloading LLVM binary for Ubuntu arm64'
+       LLVM_URL=$UbuntuArmLLVM_RTTI
+     else
+       echo 'Downloading LLVM binary for Ubuntu x86_64'
+       LLVM_URL=$UbuntuLLVM_RTTI
+     fi
+     if [ ! -d "$install_path/$LLVMHome" ]
+     then
+         echo 'Downloading LLVM binary for Ubuntu'
+         wget -c $LLVM_URL -O llvm-ubuntu.tar.xz
+         mkdir $install_path/$LLVMHome
+		     echo 'Unzipping LLVM binary for Ubuntu'
+		     tar -xf "llvm-ubuntu.tar.xz" -C $install_path/$LLVMHome --strip-components 1
+		     rm llvm-ubuntu.tar.xz
+     fi
 else
 	echo 'not support llvm builds in OS other than Ubuntu and Mac'
 fi
@@ -84,14 +96,22 @@ then
        fi
 elif [[ $sysOS == "Linux" ]]
 then
+       if [[ $arch == "aarch64" ]]
+       then
+         echo 'Downloading z3 binary for Ubuntu arm64'
+         urlZ3=$UbuntuZ3Arm
+       else
+         echo 'Downloading z3 binary for Ubuntu x86_64'
+         urlZ3=$UbuntuZ3
+       fi
        if [ ! -d "$install_path/$Z3Home" ]
        then
        		echo 'Downloading z3 binary for Ubuntu'
-      		wget -c $UbuntuZ3 -O z3.zip
-      		mkdir $install_path/$Z3Home 
-		echo 'Unzipping z3 binary for Ubuntu'
-        unzip -q "z3.zip" && mv ./z3-*/* $install_path/$Z3Home/
-		rm z3.zip
+      		wget -c $urlZ3 -O z3.zip
+      		mkdir $install_path/$Z3Home
+          echo 'Unzipping z3 binary for Ubuntu'
+          unzip -q "z3.zip" && mv ./z3-*/* $install_path/$Z3Home/
+          rm z3.zip
        fi
 else
 	echo 'not support z3 builds in OS other than Ubuntu and Mac'
@@ -102,11 +122,11 @@ export SVF_DIR="$install_path/SVF"
 echo "SVF_DIR=$SVF_DIR"
 
 if [[ $sysOS == "Darwin" ]]
-then 
+then
 ln -s $install_path/svf-lib/SVF-osx $SVF_DIR
 echo -e "Build your own project with the following cmake command:\n cmake -DSVF_DIR=$SVF_DIR -DLLVM_DIR=$LLVM_DIR"
 elif [[ $sysOS == "Linux" ]]
-then 
-ln -s $install_path/svf-lib/SVF-linux $SVF_DIR
+then
+ln -s $install_path/svf-lib/SVF-linux-${arch} $SVF_DIR
 echo -e "Build your own project with the following cmake command:\n cmake -DSVF_DIR=$SVF_DIR -DLLVM_DIR=$LLVM_DIR"
 fi

package/package.json

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