We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
Static analysis framework for C
OCaml 199 81
Forked from cil-project/cil
C Intermediate Language
OCaml 147 20
There was an error while loading. Please reload this page.
The benchmark suite
Frontend for goblint written with jsoo-react
GobExec – because BenchExec isn't enough
Goblint Analyzer nightly 6:30h benchmark for regression testing. Results go to Zulip. Implemented via bash scripts with various helpers.
Goblint logos
Website for the Static Analyzer Goblint
Goblint IDE integration via MagpieBridge
Goblint XML result to HTML converter