sudo apt-get install zlib1g-dev unzip cmake gcc g++ libtinfo5 nodejs wget libncurses5-dev

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

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

source ./env.sh

cmake . && make

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