Prerequisites

Make sure you have the following software installed

  • Maven
  • Java 8
  • Node 14
  • VS Code

Structure

  • src: tutorial code of a MagpieBridge-based server.
  • vscode: VS code extension using the MagpieBridge-based server.
  • testProject: project contains issues that can be detected by the analyses implemented in src

Code for task 4 using WALA: https://github.com/MagpieBridge/TutorialWithWALA