- First time run:
- Run Goblint with additional
python3 -m http.server --directory result 8080or
npx http-server -c-1 result.
- Inspect results at http://localhost:8080/index.xml.
Modern browsers' security settings forbid some file access which is necessary for g2html to work, hence the need for serving the results via Python's
http.server (or similar).
For the initial setup:
- Install Node.js (preferably ≥ 12.0.0) and npm (≥ 5.2.0)
make setup_gobviewin the analyzer directory
To build GobView (also for development):
dune build gobviewin the analyzer directory to build the web UI
The executable for the http-server can then be found in the directory
./_build/default/gobview/goblint-http-server. It takes the analyzer directory and additional Goblint configurations such as the files to be analyzed as parameters. Run it e.g. with the following command:\
./_build/default/gobview/goblint-http-server/goblint_http.exe -with-goblint ../analyzer/goblint -goblint --set files[+] "../analyzer/tests/regression/00-sanity/01-assert.c"