Skip to content

@goblint Goblint Project

Change the repository type filter

All

    Repositories list

    21 repositories

    • analyzer

      Public
      Static analysis framework for C
      cstatic-code-analysisstatic-analysisocamlprogram-analysissoftware-verificationabstract-interpretationrace-detectionrace-conditions
      OCaml
      •
      MIT License
      •76•185•197•38•Updated Dec 25, 2024Dec 25, 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 Dec 24, 2024Dec 24, 2024

    • GobWeb

      Public
      Website for the Static Analyzer Goblint
      TypeScript
      •0•3•2•0•Updated Dec 16, 2024Dec 16, 2024

    • gobview

      Public
      Frontend for goblint written with jsoo-react
      Reason
      •5•2•6•6•Updated Nov 29, 2024Nov 29, 2024

    • cil

      Public
      C Intermediate Language
      OCaml
      •
      Other
      •93•146•28•3•Updated Nov 26, 2024Nov 26, 2024

    • GobPie

      Public
      Goblint IDE integration via MagpieBridge
      vscodevscode-extension
      Java
      •
      MIT License
      •4•8•8•3•Updated Oct 31, 2024Oct 31, 2024

    • bench

      Public
      The benchmark suite
      C
      •6•4•37•7•Updated Oct 25, 2024Oct 25, 2024

    • GobExec

      Public
      GobExec – because BenchExec isn't enough
      Python
      •1•1•15•0•Updated Jul 28, 2024Jul 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-analysisactionsactiongithub-actions
      0•1•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
      •70•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
      •130•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