jerhard

Pinned Repositories

analyzer
Static analysis framework for C
Language:OCaml172 19 63172
bench
The benchmark suite
Language:C4 14 386
goblint.github.com
GitHub Pages
Language:HTML1 18 00
GobWeb
Website for the Static Analyzer Goblint
Language:TypeScript3 4 300
analyzer
The goblint static analysis framework
Language:OCaml00
Goblint
An Incremental Version of Goblint
Language:OCaml00
test-commits
Script for testing incremental / reluctant Goblint on a pair of commits
Language:Shell00
Artemis
Artemis - Interactive Learning with Automated Feedback
Language:Java487 21 2.5k288
po-lab-2018
Master-Lab: Program Optimization Lab (IN2106, IN0012)
Language:C++5 8 604

jerhard's Repositories

jerhard/analyzer
The goblint static analysis framework
Language:OCaml00
jerhard/Goblint
An Incremental Version of Goblint
Language:OCaml00
jerhard/test-commits
Script for testing incremental / reluctant Goblint on a pair of commits
Language:Shell00