Skip to content

Configure IDE

Yulei Sui edited this page Jun 2, 2025 · 20 revisions

Course set up for labs and assignments

We provide two ways to set up your programming environment for labs and assignments. This involves downloading and compiling SVF and Software-Security-Analysis (SSA) repositories.

CPP Implementation (Recommended)

  1. Build SVF and SSA from scratch on your local machine (CPP)
  2. Download the repositories from our pre-built docker image

Python Implementation

  1. Build SVF and SSA from scratch on your local machine (Python)
  2. Download the repositories from our pre-built docker image
Clone this wiki locally