Repositories list

• analyzer

  Public
  Static analysis framework for C

  cstatic-code-analysisstatic-analysis+ 6ocamlprogram-analysissoftware-verificationabstract-interpretationrace-detectionrace-conditions

  OCaml

  •

  MIT License

  •72•173•197•36•Updated Oct 5, 2024Oct 5, 2024

• cil

  Public
  C Intermediate Language

  OCaml

  •

  Other

  •87•43•25•4•Updated Oct 2, 2024Oct 2, 2024

• bench

  Public
  The benchmark suite

  C

  •6•4•37•8•Updated Sep 17, 2024Sep 17, 2024

• GobPie

  Public
  Goblint IDE integration via MagpieBridge

  vscodevscode-extension

  Java

  •

  MIT License

  •4•8•8•1•Updated Sep 13, 2024Sep 13, 2024

• gobview

  Public
  Frontend for goblint written with jsoo-react

  Reason

  •5•2•6•7•Updated Aug 2, 2024Aug 2, 2024

• GobWeb

  Public
  Website for the Static Analyzer Goblint

  TypeScript

  •0•3•3•0•Updated Jul 28, 2024Jul 28, 2024

• GobExec

  Public
  GobExec – because BenchExec isn't enough

  Python

  •1•1•15•0•Updated Jul 28, 2024Jul 28, 2024

• gobcron

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

  Shell

  •0•0•1•0•Updated Jun 28, 2024Jun 28, 2024

• g2html

  Public
  Goblint XML result to HTML converter

  Java

  •3•0•1•0•Updated Mar 8, 2024Mar 8, 2024

• logo

  Public
  Goblint logos

  0•0•0•0•Updated Feb 23, 2023Feb 23, 2023

• sv-witnesses

  Public
  Goblint-specific extensions to SV-COMP witnesses

  Python

  •

  Apache License 2.0

  •9•0•0•0•Updated Sep 2, 2022Sep 2, 2022

• goblint-http-server

  Public archive
  Now included in Gobview

  OCaml

  •

  ISC License

  •0•0•0•0•Updated Apr 11, 2022Apr 11, 2022

• action

  Public
  GitHub action for analyzing C code using Goblint

  cstatic-code-analysisstatic-analysis+ 3actionsactiongithub-actions

  0•0•1•0•Updated Nov 23, 2021Nov 23, 2021

• testing-framework

  Public
  Testing framework for Goblint

  Python

  •0•0•0•0•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 very efficient.

  OCaml

  •

  Other

  •69•0•0•0•Updated Aug 5, 2021Aug 5, 2021

• goblint.github.com

  Public archive
  GitHub Pages

  HTML

  •0•1•0•0•Updated May 19, 2021May 19, 2021

• musl

  Public
  Unofficial mirror of etalabs musl repository.

  C

  •

  Other

  •129•0•0•0•Updated Nov 6, 2019Nov 6, 2019

• linux-headers

  Public
  C

  •0•1•0•0•Updated Jul 28, 2016Jul 28, 2016

• oslc4j-goblint

  Public archive
  Java

  •0•0•0•0•Updated Mar 28, 2014Mar 28, 2014

• gconfig

  Public archive
  Java

  •0•1•0•0•Updated Oct 18, 2011Oct 18, 2011

• plugin

  Public archive
  The Eclipse Plug-In

  Java

  •2•1•0•0•Updated Sep 30, 2011Sep 30, 2011