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