goblintversion Documentation on ocaml.org
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, Michael Petter, Ali Rasim Kocal, Ralf Vogler, Kalmer Apinis and Vesal Vojdani |
| License | MIT |
| Published | |
| Homepage | https://goblint.in.tum.de |
| Issue Tracker | https://github.com/goblint/analyzer/issues |
| Documentation | https://goblint.readthedocs.io/en/latest/ |
| 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.8.0/goblint-2.8.0.tbz sha256=9175eec0143102243964e34a0786584fd590c60422009259c705a89a27f88de4 sha512=9d760007dd8d003cf596516444ed7acc7370fc3d446e75ac71b0176522c3baae090410762f9035e7aae4f6b0e394bf28bb5b1c08ca0476920b94aa919ef04f42 |
| Edit | https://github.com/ocaml/opam-repository/tree/master/packages/goblint/goblint.2.8.0/opam |
No package is dependent
