Demo project to try out GobPie extension in VSCode Links to related projects: Goblint analyzer GobPie extension for VSCode To try out the extension: Install the extension by following the instructions in GobPie project Open the demo project in VSCode Save any .c file to start an analysis