Repositories list

• analyzer

  Public
  Static analysis framework for C

  cstatic-code-analysisstatic-analysis+ 6

  cstatic-code-analysisstatic-analysisocamlprogram-analysissoftware-verificationabstract-interpretationrace-detectionrace-conditions

  OCaml

  •

  MIT License

  •8888 forks•239239 stars•227227 issues•5656 pull requests•Updated Apr 25, 2026Apr 25, 2026

• bench

  Public
  The benchmark suite

  C

  •77 forks•44 stars•4040 issues•99 pull requests•Updated Apr 16, 2026Apr 16, 2026

• cil

  Public
  C Intermediate Language

  OCaml

  •

  Other

  •102102 forks•159159 stars•3232 issues•99 pull requests•Updated Apr 12, 2026Apr 12, 2026

• GobWeb

  Public
  Website for the Static Analyzer Goblint

  TypeScript

  •00 forks•33 stars•00 issues•00 pull requests•Updated Mar 13, 2026Mar 13, 2026

• GobPie

  Public
  Goblint IDE integration via MagpieBridge

  vscodevscode-extension

  vscodevscode-extension

  Java

  •

  MIT License

  •44 forks•77 stars•99 issues•33 pull requests•Updated Mar 5, 2026Mar 5, 2026

• gobcron

  Public
  Goblint Analyzer nightly 6:30h benchmark for regression testing. Results go to Zulip. Implemented via bash scripts with various helpers.

  Shell

  •00 forks•00 stars•00 issues•00 pull requests•Updated Jan 25, 2026Jan 25, 2026

• gobview

  Public
  Frontend for goblint written with jsoo-react

  Reason

  •55 forks•33 stars•66 issues•44 pull requests•Updated Nov 27, 2025Nov 27, 2025

• GobExec

  Public
  GobExec – because BenchExec isn't enough

  Python

  •11 fork•11 star•1515 issues•00 pull requests•Updated May 29, 2025May 29, 2025

• logo

  Public
  Goblint logos

  Creative Commons Attribution 4.0 International

  •00 forks•00 stars•00 issues•00 pull requests•Updated Mar 4, 2025Mar 4, 2025

• g2html

  Public
  Goblint XML result to HTML converter

  Java

  •33 forks•00 stars•11 issue•00 pull requests•Updated Mar 8, 2024Mar 8, 2024

• sv-witnesses

  Public
  Goblint-specific extensions to SV-COMP witnesses

  Python

  •

  Apache License 2.0

  •88 forks•00 stars•00 issues•00 pull requests•Updated Sep 2, 2022Sep 2, 2022

• goblint-http-server

  Public archive
  Now included in Gobview

  OCaml

  •

  ISC License

  •00 forks•00 stars•00 issues•00 pull requests•Updated Apr 11, 2022Apr 11, 2022

• action

  Public
  GitHub action for analyzing C code using Goblint

  cstatic-code-analysisstatic-analysis+ 3

  cstatic-code-analysisstatic-analysisactionsactiongithub-actions

  00 forks•11 star•11 issue•00 pull requests•Updated Nov 23, 2021Nov 23, 2021

• testing-framework

  Public
  Testing framework for Goblint

  Python

  •00 forks•00 stars•00 issues•00 pull requests•Updated Oct 15, 2021Oct 15, 2021

• Zarith

  Public
  The Zarith library implements arithmetic and logical operations over arbitrary-precision integers and rational numbers. The implementation, based on GMP, is ver…

  OCaml

  •

  Other

  •8080 forks•00 stars•00 issues•00 pull requests•Updated Aug 5, 2021Aug 5, 2021

• goblint.github.com

  Public archive
  GitHub Pages

  HTML

  •00 forks•11 star•00 issues•00 pull requests•Updated May 19, 2021May 19, 2021

• musl

  Public
  Unofficial mirror of etalabs musl repository.

  C

  •

  Other

  •140140 forks•00 stars•00 issues•00 pull requests•Updated Nov 6, 2019Nov 6, 2019

• linux-headers

  Public
  C

  •00 forks•11 star•00 issues•00 pull requests•Updated Jul 28, 2016Jul 28, 2016

• oslc4j-goblint

  Public archive
  Java

  •00 forks•00 stars•00 issues•00 pull requests•Updated Mar 28, 2014Mar 28, 2014

• gconfig

  Public archive
  Java

  •00 forks•11 star•00 issues•00 pull requests•Updated Oct 18, 2011Oct 18, 2011

• plugin

  Public archive
  The Eclipse Plug-In

  Java

  •22 forks•11 star•00 issues•00 pull requests•Updated Sep 30, 2011Sep 30, 2011