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.
![@dependabot[bot]](https://avatars.githubusercontent.com/in/29110?s=64&v=4){kind=small}
