npm i --silent svf-lib --prefix ${HOME}
git clone https://github.com/SVF-tools/SVF-example.git
source ./env.sh
cmake the project (cmake -DCMAKE_BUILD_TYPE=Debug .
for debug build)
cmake .
make
./bin/svf-ex example.ll
npm i --silent svf-lib --prefix ${HOME}
git clone https://github.com/SVF-tools/SVF-example.git
source ./env.sh
cmake the project (cmake -DCMAKE_BUILD_TYPE=Debug .
for debug build)
cmake .
make
./bin/svf-ex example.ll