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 |
| 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.4.0/goblint-2.4.0.tbz sha256=99b78e6def71534d195eef9084baa26d8334b36084e120aa6afb300c9bf8afa6 sha512=f3162bd95a03c00358a2991f6152fc6169205bfb4c55e2c483e98cc3935673df9656d025b6f1ea0fa5f1bd0aee037d4f483966b0d2907e3fa9bf11a93a3392af |
| Edit | https://github.com/ocaml/opam-repository/tree/master/packages/goblint/goblint.2.4.0/opam |
No package is dependent
