The Wayback Machine - https://web.archive.org/web/20230331123014/https://github.com/goblint

Goblint Project

Pinned

analyzer Public

Static analysis framework for C

OCaml 114 53
cil Public

Forked from cil-project/cil

C Intermediate Language

OCaml 29 11

Repositories

analyzer Public
Static analysis framework for C

OCaml 114 MIT 53 95 (14 issues need help) 20 Updated Mar 31, 2023
GobPie Public
Goblint IDE integration via MagpieBridge

Java 4 MIT 1 7 (2 issues need help) 3 Updated Mar 29, 2023
cil Public
C Intermediate Language

OCaml 29 81 17 4 Updated Mar 28, 2023
bench Public
The benchmark suite

C 4 4 32 8 Updated Mar 27, 2023
gobview Public
Frontend for goblint written with jsoo-react

Reason 2 2 6 (1 issue needs help) 2 Updated Mar 14, 2023
logo Public
Goblint logos

0 0 0 0 Updated Feb 23, 2023
GobWeb Public
Website for the Static Analyzer Goblint

TypeScript 3 0 5 0 Updated Jan 24, 2023
GobExec Public
GobExec – because BenchExec isn't enough

Python 1 1 16 0 Updated Oct 28, 2022
sv-witnesses Public
Goblint-specific extensions to SV-COMP witnesses

Python 0 Apache-2.0 9 0 0 Updated Sep 2, 2022
g2html Public
Goblint XML result to HTML converter

Java 0 2 1 0 Updated Sep 2, 2022

View all repositories

People

Top languages

Loading…

Most used topics

Loading…