Skip to content
/ WebSVF Public
forked from SVF-tools/WebSVF

WebSVF : Online Learning and Teaching Platform for Code Analysis based on SVF

Notifications You must be signed in to change notification settings

Ian36/WebSVF

 
 

Repository files navigation

WebSVF 2.0

https://websvftechnology.com

WebSVF 2.0 Framework Techstack

  • Frontend: ReactJS
  • Backend: Express JS
  • Database: MongoDB

App Architecture

Alt text

Pre-requisite

Initial Setup

For /analysis routes

  • The /analysis routes work using SVF.
  • Ubuntu 18.04 is recommended for optimal use.
  • To setup LLVM, Clang and SVF run the following command to install them using WebSVF-backend:
    • sudo apt install zlib
    • sudo apt-get install libxml2
    • sudo apt-get install libxml2-dev
    • sudo apt-get install libtinfo5
    • sudo apt-get install -y libtinfo-dev
    • sudo npm install -g https://github.com/renecruces/WebSVF-backend.git
    • sudo create-analysis --install-all

For Developers:

  • An individual mongo atlas account needs to be set up as well in order to run the app with backend. For this:
    • Navigate to /WebSVF2-0/config/
    • create a creds.js file and add the details. For template, refer to creds_sample.js

Starting the App

  • Navigate to /WebSVF2-0/
  • run npm install to initialise the app
  • To start the app run npm start

About

WebSVF : Online Learning and Teaching Platform for Code Analysis based on SVF

Resources

Stars

Watchers

Forks

Packages

No packages published

Languages

  • TypeScript 88.8%
  • CSS 5.7%
  • HTML 5.5%