0. Install npm, zlib, unzip, cmake, gcc, nodejs (if you machine does not have these libs)

sudo apt-get install zlib1g-dev unzip cmake gcc g++ nodejs python3

1. Install SVF and its dependence (LLVM pre-built binary) via npm

npm i --silent svf-lib --prefix ${HOME}

2. Clone repository

git clone https://github.com/SVF-tools/SVF-example.git

3. Setup SVF environment and build your project

source ./env.sh

cmake the project (cmake -DCMAKE_BUILD_TYPE=Debug . for debug build)

cmake . && make

4. Analyze a bc file using svf-ex.py

clang -S -c -g -fno-discard-value-names -emit-llvm example.c -o example.ll
python3 ./py/svf-ex.py example.ll