Static analysis framework for C
OCaml 252 90
Forked from cil-project/cil
C Intermediate Language
OCaml 162 25
There was an error while loading. Please reload this page.
Goblint Analyzer nightly 6:30h benchmark for regression testing. Results go to Zulip. Implemented via bash scripts with various helpers.
The benchmark suite
Frontend for goblint written with jsoo-react
Website for the Static Analyzer Goblint
Goblint IDE integration via MagpieBridge
GobExec – because BenchExec isn't enough
Goblint logos
Goblint XML result to HTML converter
Loading…
