Make sure you have the following software installed
- Maven
- Java 8
- Node 14
- VS Code
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 insrc
Code for task 4 using WALA: https://github.com/MagpieBridge/TutorialWithWALA