Skip to content
@goblint

Goblint Project

Pinned Loading

  1. analyzer analyzer Public

    Static analysis framework for C

    OCaml 160 72

  2. cil cil Public

    Forked from cil-project/cil

    C Intermediate Language

    OCaml 39 15

Repositories

Showing 10 of 21 repositories
  • analyzer Public

    Static analysis framework for C

    goblint/analyzer’s past year of commit activity
    OCaml 160 MIT 72 186 (31 issues need help) 41 Updated Jul 9, 2024
  • bench Public

    The benchmark suite

    goblint/bench’s past year of commit activity
    C 4 5 36 9 Updated Jul 8, 2024
  • gobview Public

    Frontend for goblint written with jsoo-react

    goblint/gobview’s past year of commit activity
    Reason 1 5 6 7 Updated Jul 8, 2024
  • GobWeb Public

    Website for the Static Analyzer Goblint

    goblint/GobWeb’s past year of commit activity
    TypeScript 3 0 2 1 Updated Jun 28, 2024
  • gobcron Public

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

    goblint/gobcron’s past year of commit activity
    Shell 0 0 0 0 Updated Jun 28, 2024
  • GobPie Public

    Goblint IDE integration via MagpieBridge

    goblint/GobPie’s past year of commit activity
    Java 5 MIT 3 8 1 Updated Jun 27, 2024
  • GobExec Public

    GobExec – because BenchExec isn't enough

    goblint/GobExec’s past year of commit activity
    Python 1 1 20 1 Updated May 13, 2024
  • cil Public Forked from cil-project/cil

    C Intermediate Language

    goblint/cil’s past year of commit activity
    OCaml 39 123 27 (1 issue needs help) 3 Updated Mar 26, 2024
  • g2html Public

    Goblint XML result to HTML converter

    goblint/g2html’s past year of commit activity
    Java 0 3 1 0 Updated Mar 8, 2024
  • logo Public

    Goblint logos

    goblint/logo’s past year of commit activity
    0 0 0 0 Updated Feb 23, 2023
View all repositories

Top languages

Loading…

Most used topics

Loading…