A Web Frontend for Goblint.
It allows inspecting the analyzed files and results of an analysis run with Goblint. It is based on jsoo-react and was originally developed by Alex Micheli for his Bachelor's thesis at TUM i2, significantly extended by Kerem Cakirer, and is now maintained by the Goblint team.
Http-Server for the communication between GobView and Goblint in server mode. It also serves the files for the web page.
Follow the instructions in the Read the Docs.