goblintversion
Static analysis framework for C
Goblint is a sound static analysis framework for C programs using abstract interpretation. It specializes in thread-modular verification of multi-threaded programs, especially regarding data races. Goblint includes analyses for assertions, overflows, deadlocks, etc and can be extended with new analyses.
| Tags | program analysis program verification static analysis abstract interpretation C data race analysis concurrency |
|---|---|
| Authors | Simmo Saan, Michael Schwarz, Julian Erhard, Sarah Tilscher, Karoliine Holter, Ralf Vogler, Kalmer Apinis and Vesal Vojdani |
| License | MIT |
| Published | |
| Homepage | https://goblint.in.tum.de |
| Issue Tracker | https://github.com/goblint/analyzer/issues |
| Maintainers | Simmo Saan <simmo.saan@gmail.com>, Michael Schwarz <michael.schwarz93@gmail.com> and Karoliine Holter <karoliine.holter@ut.ee> |
| Available | os-family != "bsd" & os-distribution != "alpine" & (arch != "arm64" | os = "macos") |
| Dependencies |
|
| Optional dependencies | |
| Conflicts |
|
| Source [http] | https://github.com/goblint/analyzer/releases/download/v2.5.0/goblint-2.5.0.tbz sha256=452d8491527aea21f2cbb11defcc14ba0daf9fdb6bdb9fc0af73e56eac57b916 sha512=1993cd45c4c7fe124ca6e157f07d17ec50fab5611b270a434ed1b7fb2910aa85a8e6eaaa77dad770430710aafb2f6d676c774dd33942d921f23e2f9854486551 |
| Edit | https://github.com/ocaml/opam-repository/tree/master/packages/goblint/goblint.2.5.0/opam |
No package is dependent
