Skip to content

Installing WebSVF

Jump to bottom
Prashant Shrestha edited this page Oct 30, 2020 · 1 revision

Local Installation

Building WebSVF Extension

If you cannot find it in VScode market, you can build it by yourself. To build WebSVF, you need to clone the source code repository and use VS Code Extension Manager to install the SVFTOOLS

# Clone from WebSVF repo
git clone https://github.com/SVF-tools/WebSVF --depth 1 

# Go to SVFTOOLS directory 
cd ./WebSVF/src/SVFTOOLS

# Install dependencies
yarn

# Install the Visual Studio Code Extension Manager
npm install -g vsce 

# Generate a .vsix file
vsce package

Enable the SVFTOOLS extension

This building process will output a svftools-[version].vsix file, which could be used to generate the extension.

  1. Click on the Extensions icon in the Activity Bar on the side of VS Code
  2. Click more to install extension from the generated .vsix file

Clone this wiki locally