Edit the source code in the left window. You can switch files by clicking on the filename in the top left and writing it manually or clicking the paperclip to choose existing files.
Each step of the analysis algorithm is shown in a tab in the right window.
The transpiled code can be executed with the play button in the top left.
Building from source to run locally
Build the Docker container with docker build . from the root directory.
Run the Docker container with docker run [image id].
The web app should be running on port 80. Visit http://localhost.