Setup Guide

Getting Started

We provide the following ways to build SVF from its source code:

(1) Build SVF using cmake (tested on both Ubuntu and MacOS)

git clone https://github.com/SVF-tools/SVF.git
cd SVF
source ./build.sh

(2) Build SVF using npm (tested on both Ubuntu and MacOS)

sudo npm install svf-tools -g --unsafe-perm

(3) Build SVF using Docker

git clone https://github.com/SVF-tools/SVF.git
cd SVF
docker build -t "svf" .

(4) CLion

Follow the above link to another documentation page.

(5) Build SVF using NPM via Windows Linux Subsystem (WSL)

Follow Microsoft's guide on how to install WSL.
Once WSL is installed the below lines can simply run from any windows command prompt at it will bind the necessary commands into WSL.

wsl
sudo apt-get update -y
sudo apt-get upgrade -y
sudo apt-get install clang -y
curl -sL https://deb.nodesource.com/setup_12.x | sudo -E bash -
sudo apt install nodejs -y
sudo apt install npm -y
sudo apt-get install cmake -y
sudo npm install svf-tools -g --unsafe-perm

Once installed when in your working directory simply run the wsl command to enter wsl, then you can access the svf-tools commands.
This has been tested with Windows v10.0.18363 + Ubuntu 20.04 LTS

---

The above installation guide has been tested on OSX 10.10.3 and Ubuntu 14.04, but it should work on most Linux-based systems.