goblint/gobcron

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

Language: Shell - Size: 37.1 KB - Last synced: 5 days ago - Pushed: 5 days ago - Stars: 0 - Forks: 0

goblint/bench

The benchmark suite

Language: C - Size: 99.4 MB - Last synced: 8 days ago - Pushed: 9 days ago - Stars: 4 - Forks: 5

goblint/analyzer

Static analysis framework for C

Language: OCaml - Size: 35.8 MB - Last synced: 16 days ago - Pushed: 17 days ago - Stars: 151 - Forks: 70

goblint/cil Fork of cil-project/cil

C Intermediate Language

Language: OCaml - Size: 33.6 MB - Last synced: 16 days ago - Pushed: about 2 months ago - Stars: 39 - Forks: 15

goblint/testing-framework

Testing framework for Goblint

Language: Python - Size: 32.2 KB - Last synced: about 2 months ago - Pushed: over 2 years ago - Stars: 0 - Forks: 0

goblint/sv-witnesses Fork of sosy-lab/sv-witnesses

Goblint-specific extensions to SV-COMP witnesses

Size: 323 KB - Last synced: about 2 months ago - Pushed: over 1 year ago - Stars: 0 - Forks: 0

goblint/musl Fork of bminor/musl

Unofficial mirror of etalabs musl repository.

Language: C - Size: 5.17 MB - Last synced: about 2 months ago - Pushed: over 4 years ago - Stars: 0 - Forks: 0

goblint/logo

Goblint logos

Size: 84 KB - Last synced: about 2 months ago - Pushed: about 1 year ago - Stars: 0 - Forks: 0

goblint/oslc4j-goblint 📦

Language: Java - Size: 9.46 MB - Last synced: about 2 months ago - Pushed: about 10 years ago - Stars: 0 - Forks: 0

goblint/linux-headers

Language: C - Size: 6.59 MB - Last synced: about 2 months ago - Pushed: almost 8 years ago - Stars: 1 - Forks: 0

goblint/action

GitHub action for analyzing C code using Goblint

Size: 2.93 KB - Last synced: about 2 months ago - Pushed: over 2 years ago - Stars: 0 - Forks: 0

goblint/GobPie

Goblint IDE integration via MagpieBridge

Language: Java - Size: 517 KB - Last synced: about 2 months ago - Pushed: 2 months ago - Stars: 5 - Forks: 3

goblint/gobview

Frontend for goblint written with jsoo-react

Language: Reason - Size: 10.1 MB - Last synced: 16 days ago - Pushed: about 1 month ago - Stars: 1 - Forks: 5

goblint/goblint-http-server 📦

Now included in Gobview

Language: OCaml - Size: 16.6 KB - Last synced: about 2 months ago - Pushed: about 2 years ago - Stars: 0 - Forks: 0

goblint/goblint.github.com 📦

GitHub Pages

Language: HTML - Size: 3.53 MB - Last synced: 16 days ago - Pushed: almost 3 years ago - Stars: 1 - Forks: 0

goblint/plugin 📦

The Eclipse Plug-In

Language: Java - Size: 352 KB - Last synced: 16 days ago - Pushed: over 12 years ago - Stars: 1 - Forks: 2

goblint/gconfig 📦

Language: Java - Size: 129 KB - Last synced: 16 days ago - Pushed: over 12 years ago - Stars: 1 - Forks: 0

goblint/GobWeb

Website for the Static Analyzer Goblint

Language: TypeScript - Size: 16.1 MB - Last synced: about 1 month ago - Pushed: about 1 month ago - Stars: 3 - Forks: 0

goblint/GobExec

GobExec – because BenchExec isn't enough

Language: Python - Size: 119 KB - Last synced: 8 days ago - Pushed: 9 days ago - Stars: 1 - Forks: 1

goblint/g2html

Goblint XML result to HTML converter

Language: Java - Size: 673 KB - Last synced: 16 days ago - Pushed: 2 months ago - Stars: 0 - Forks: 3

goblint/Zarith Fork of ocaml/Zarith

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

Size: 554 KB - Last synced: 16 days ago - Pushed: almost 3 years ago - Stars: 0 - Forks: 0