Skip to content

Pinned Loading

  1. analyzer Public

    Static analysis framework for C

    OCaml 195 77

  2. cil Public

    Forked from cil-project/cil

    C Intermediate Language

    OCaml 147 20

Repositories

Showing 10 of 21 repositories
  • analyzer Public

    Static analysis framework for C

    OCaml 195 MIT 77 196 (30 issues need help) 34 Updated Mar 8, 2025
  • 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 0 0 Updated Mar 7, 2025
  • bench Public

    The benchmark suite

    C 4 6 37 8 Updated Mar 7, 2025
  • logo Public

    Goblint logos

    0 CC-BY-4.0 0 0 0 Updated Mar 4, 2025
  • gobview Public

    Frontend for goblint written with jsoo-react

    Reason 3 5 6 6 Updated Jan 30, 2025
  • GobWeb Public

    Website for the Static Analyzer Goblint

    TypeScript 3 0 2 0 Updated Jan 23, 2025
  • cil Public Forked from cil-project/cil

    C Intermediate Language

    OCaml 147 133 29 (1 issue needs help) 3 Updated Jan 17, 2025
  • GobPie Public

    Goblint IDE integration via MagpieBridge

    Java 8 MIT 4 8 3 Updated Dec 27, 2024
  • GobExec Public

    GobExec – because BenchExec isn't enough

    Python 1 1 15 0 Updated Jul 28, 2024
  • g2html Public

    Goblint XML result to HTML converter

    Java 0 3 1 0 Updated Mar 8, 2024

Top languages

Loading…

Most used topics

Loading…