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.6.0/goblint-2.6.0.tbz sha256=20d5b7332a9f6072ab9ba86c4a53b898eaf681286c56a8805c41850bbf3ddf41 sha512=7c7685cfcd9aa866bc40e813df2bfcb3c79b3d40e615d8d6d0939c5798b9d70dd7f2ba87a741f5ba0ce891e9d254627207fb28057f1f2f6611e4e0d128fd6a71 |
| Edit | https://github.com/ocaml/opam-repository/tree/master/packages/goblint/goblint.2.6.0/opam |
No package is dependent
