Pinned Repositories
analyzer
Static analysis framework for C
bench
The benchmark suite
cil
C Intermediate Language
gconfig
goblint.github.com
GitHub Pages
GobPie
Goblint IDE integration via MagpieBridge
gobview
Frontend for goblint written with jsoo-react
GobWeb
Website for the Static Analyzer Goblint
linux-headers
plugin
The Eclipse Plug-In
Goblint Project's Repositories
goblint/analyzer
Static analysis framework for C
goblint/cil
C Intermediate Language
goblint/GobPie
Goblint IDE integration via MagpieBridge
goblint/bench
The benchmark suite
goblint/GobWeb
Website for the Static Analyzer Goblint
goblint/gconfig
goblint/GobExec
GobExec – because BenchExec isn't enough
goblint/goblint.github.com
GitHub Pages
goblint/gobview
Frontend for goblint written with jsoo-react
goblint/linux-headers
goblint/plugin
The Eclipse Plug-In
goblint/action
GitHub action for analyzing C code using Goblint
goblint/g2html
Goblint XML result to HTML converter
goblint/gobcron
Goblint Analyzer nightly 6:30h benchmark for regression testing. Results go to Zulip. Implemented via bash scripts with various helpers.
goblint/goblint-http-server
Now included in Gobview
goblint/logo
Goblint logos
goblint/musl
Unofficial mirror of etalabs musl repository.
goblint/oslc4j-goblint
goblint/sv-witnesses
Goblint-specific extensions to SV-COMP witnesses
goblint/testing-framework
Testing framework for Goblint
goblint/Zarith
The Zarith library implements arithmetic and logical operations over arbitrary-precision integers and rational numbers. The implementation, based on GMP, is very efficient.